%------------------------------------------------------------------------------ % File : SOS---2.0 % Problem : FLD096-4 : TPTP v8.1.0. Bugfixed v2.1.0. % Transfm : none % Format : tptp:raw % Command : sos-script %s % Computer : n023.cluster.edu % Model : x86_64 x86_64 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz % Memory : 8042.1875MB % OS : Linux 3.10.0-693.el7.x86_64 % CPULimit : 300s % WCLimit : 600s % DateTime : Sat Jul 16 02:28:10 EDT 2022 % Result : Timeout 300.07s 300.23s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.06/0.11 % Problem : FLD096-4 : TPTP v8.1.0. Bugfixed v2.1.0. % 0.06/0.12 % Command : sos-script %s % 0.13/0.33 % Computer : n023.cluster.edu % 0.13/0.33 % Model : x86_64 x86_64 % 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.33 % Memory : 8042.1875MB % 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.33 % CPULimit : 300 % 0.13/0.33 % WCLimit : 600 % 0.13/0.33 % DateTime : Mon Jun 6 18:46:09 EDT 2022 % 0.13/0.33 % CPUTime : % 0.13/0.35 ----- Otter 3.2, August 2001 ----- % 0.13/0.35 The process was started by sandbox2 on n023.cluster.edu, % 0.13/0.35 Mon Jun 6 18:46:09 2022 % 0.13/0.35 The command was "./sos". The process ID is 18772. % 0.13/0.35 % 0.13/0.35 set(prolog_style_variables). % 0.13/0.35 set(auto). % 0.13/0.35 dependent: set(auto1). % 0.13/0.35 dependent: set(process_input). % 0.13/0.35 dependent: clear(print_kept). % 0.13/0.35 dependent: clear(print_new_demod). % 0.13/0.35 dependent: clear(print_back_demod). % 0.13/0.35 dependent: clear(print_back_sub). % 0.13/0.35 dependent: set(control_memory). % 0.13/0.35 dependent: assign(max_mem, 12000). % 0.13/0.35 dependent: assign(pick_given_ratio, 4). % 0.13/0.35 dependent: assign(stats_level, 1). % 0.13/0.35 dependent: assign(pick_semantic_ratio, 3). % 0.13/0.35 dependent: assign(sos_limit, 5000). % 0.13/0.35 dependent: assign(max_weight, 60). % 0.13/0.35 clear(print_given). % 0.13/0.35 % 0.13/0.35 list(usable). % 0.13/0.35 % 0.13/0.35 SCAN INPUT: prop=0, horn=0, equality=0, symmetry=0, max_lits=5. % 0.13/0.35 % 0.13/0.35 This is a non-Horn set without equality. The strategy % 0.13/0.35 will be ordered hyper_res, ur_res, unit deletion, and % 0.13/0.35 factoring, with satellites in sos and nuclei in usable. % 0.13/0.35 % 0.13/0.35 dependent: set(hyper_res). % 0.13/0.35 dependent: set(factor). % 0.13/0.35 dependent: set(unit_deletion). % 0.13/0.35 % 0.13/0.35 ------------> process usable: % 0.13/0.35 % 0.13/0.35 ------------> process sos: % 0.13/0.35 % 0.13/0.35 ======= end of input processing ======= % 0.20/0.43 % 0.20/0.43 Model 1 (0.00 seconds, 0 Inserts) % 0.20/0.43 % 0.20/0.43 Stopped by limit on number of solutions % 0.20/0.43 % 0.20/0.43 % 0.20/0.43 -------------- Softie stats -------------- % 0.20/0.43 % 0.20/0.43 UPDATE_STOP: 300 % 0.20/0.43 SFINDER_TIME_LIMIT: 2 % 0.20/0.43 SHORT_CLAUSE_CUTOFF: 4 % 0.20/0.43 number of clauses in intial UL: 50 % 0.20/0.43 number of clauses initially in problem: 69 % 0.20/0.43 percentage of clauses intially in UL: 72 % 0.20/0.43 percentage of distinct symbols occuring in initial UL: 73 % 0.20/0.43 percent of all initial clauses that are short: 100 % 0.20/0.43 absolute distinct symbol count: 19 % 0.20/0.43 distinct predicate count: 4 % 0.20/0.43 distinct function count: 4 % 0.20/0.43 distinct constant count: 11 % 0.20/0.43 % 0.20/0.43 ---------- no more Softie stats ---------- % 0.20/0.43 % 0.20/0.43 % 0.20/0.43 % 0.20/0.43 Model 2 (0.00 seconds, 0 Inserts) % 0.20/0.43 % 0.20/0.43 Stopped by limit on number of solutions % 0.20/0.43 % 0.20/0.43 =========== start of search =========== % 4.70/4.90 % 4.70/4.90 % 4.70/4.90 Changing weight limit from 60 to 15. % 4.70/4.90 % 4.70/4.90 Stopped by limit on insertions % 4.70/4.90 % 4.70/4.90 Model 3 [ 1 1 279 ] (0.00 seconds, 250000 Inserts) % 4.70/4.90 % 4.70/4.90 Stopped by limit on insertions % 4.70/4.90 % 4.70/4.90 Model 4 [ 2 2 301 ] (0.00 seconds, 250000 Inserts) % 4.70/4.90 % 4.70/4.90 Stopped by limit on insertions % 4.70/4.90 % 4.70/4.90 Model 5 [ 3 2 255 ] (0.00 seconds, 250000 Inserts) % 4.70/4.90 % 4.70/4.90 Stopped by limit on insertions % 4.70/4.90 % 4.70/4.90 Model 6 [ 3 1 215 ] (0.00 seconds, 250000 Inserts) % 4.70/4.90 % 4.70/4.90 Stopped by limit on insertions % 4.70/4.90 % 4.70/4.90 Model 7 [ 3 1 181 ] (0.00 seconds, 250000 Inserts) % 4.70/4.90 % 4.70/4.90 Stopped by limit on insertions % 4.70/4.90 % 4.70/4.90 Model 8 [ 3 1 280 ] (0.00 seconds, 250000 Inserts) % 4.70/4.90 % 4.70/4.90 Stopped by limit on insertions % 4.70/4.90 % 4.70/4.90 Model 9 [ 4 1 152 ] (0.00 seconds, 250000 Inserts) % 4.70/4.90 % 4.70/4.90 Stopped by limit on insertions % 4.70/4.90 % 4.70/4.90 Model 10 [ 4 1 410 ] (0.00 seconds, 250000 Inserts) % 4.70/4.90 % 4.70/4.90 Stopped by limit on insertions % 4.70/4.90 % 4.70/4.90 Model 11 [ 5 2 1337 ] (0.00 seconds, 250000 Inserts) % 4.70/4.90 % 4.70/4.90 Stopped by limit on insertions % 4.70/4.90 % 4.70/4.90 Model 12 [ 4 1 153 ] (0.00 seconds, 250000 Inserts) % 4.70/4.90 % 4.70/4.90 Stopped by limit on insertions % 4.70/4.90 % 4.70/4.90 Model 13 [ 6 1 531 ] (0.00 seconds, 250000 Inserts) % 4.70/4.90 % 4.70/4.90 Stopped by limit on insertions % 4.70/4.90 % 4.70/4.90 Model 14 [ 14 1 161 ] (0.00 seconds, 250000 Inserts) % 4.70/4.90 % 4.70/4.90 Stopped by limit on insertions % 4.70/4.90 % 4.70/4.90 Model 15 [ 7 2 318 ] (0.00 seconds, 250000 Inserts) % 4.70/4.90 % 4.70/4.90 Stopped by limit on insertions % 4.70/4.90 % 4.70/4.90 Model 16 [ 15 1 146 ] (0.00 seconds, 250000 Inserts) % 4.70/4.90 % 4.70/4.90 Stopped by limit on insertions % 4.70/4.90 % 4.70/4.90 Model 17 [ 8 2 308 ] (0.00 seconds, 250000 Inserts) % 4.70/4.90 % 4.70/4.90 Stopped by limit on insertions % 4.70/4.90 % 4.70/4.90 Model 18 [ 5 1 492 ] (0.00 seconds, 250000 Inserts) % 4.70/4.90 % 4.70/4.90 Stopped by limit on insertions % 4.70/4.90 % 4.70/4.90 Model 19 [ 6 1 436 ] (0.00 seconds, 250000 Inserts) % 4.70/4.90 % 4.70/4.90 Stopped by limit on insertions % 4.70/4.90 % 4.70/4.90 Model 20 [ 17 1 159 ] (0.00 seconds, 250000 Inserts) % 4.70/4.90 % 4.70/4.90 Stopped by limit on insertions % 4.70/4.90 % 4.70/4.90 Model 21 [ 9 1 517 ] (0.00 seconds, 250000 Inserts) % 4.70/4.90 % 4.70/4.90 Stopped by limit on insertions % 4.70/4.90 % 4.70/4.90 Model 22 [ 8 1 430 ] (0.00 seconds, 250000 Inserts) % 4.70/4.90 % 4.70/4.90 Stopped by limit on insertions % 4.70/4.90 % 4.70/4.90 Model 23 [ 6 1 389 ] (0.00 seconds, 250000 Inserts) % 4.70/4.90 % 4.70/4.90 Stopped by limit on insertions % 4.70/4.90 % 4.70/4.90 Model 24 [ 11 1 203 ] (0.00 seconds, 250000 Inserts) % 4.70/4.90 % 4.70/4.90 Stopped by limit on insertions % 4.70/4.90 % 4.70/4.90 Model 25 [ 10 2 425 ] (0.00 seconds, 250000 Inserts) % 4.70/4.90 % 4.70/4.90 Stopped by limit on insertions % 4.70/4.90 % 4.70/4.90 Model 26 [ 8 2 8780 ] (0.00 seconds, 250000 Inserts) % 4.70/4.90 % 4.70/4.90 Stopped by limit on insertions % 4.70/4.90 % 4.70/4.90 Model 27 [ 8 2 474 ] (0.00 seconds, 250000 Inserts) % 4.70/4.90 % 4.70/4.90 Stopped by limit on insertions % 4.70/4.90 % 4.70/4.90 Model 28 [ 8 1 462 ] (0.00 seconds, 250000 Inserts) % 4.70/4.90 % 4.70/4.90 Stopped by limit on insertions % 4.70/4.90 % 4.70/4.90 Model 29 [ 28 2 150 ] (0.00 seconds, 250000 Inserts) % 4.70/4.90 % 4.70/4.90 Stopped by limit on insertions % 4.70/4.90 % 4.70/4.90 Model 30 [ 29 1 468 ] (0.00 seconds, 250000 Inserts) % 4.70/4.90 % 4.70/4.90 Stopped by limit on insertions % 4.70/4.90 % 4.70/4.90 Model 31 [ 10 1 114 ] (0.00 seconds, 250000 Inserts) % 4.70/4.90 % 4.70/4.90 Stopped by limit on insertions % 4.70/4.90 % 4.70/4.90 Model 32 [ 8 2 576 ] (0.00 seconds, 250000 Inserts) % 4.70/4.90 % 4.70/4.90 Stopped by limit on insertions % 4.70/4.90 % 4.70/4.90 Model 33 [ 8 1 1323 ] (0.00 seconds, 250000 Inserts) % 4.70/4.90 % 4.70/4.90 Stopped by limit on insertions % 4.70/4.90 % 4.70/4.90 Model 34 [ 9 2 46969 ] (0.00 seconds, 250000 Inserts) % 4.70/4.90 % 4.70/4.90 Stopped by limit on insertions % 4.70/4.90 % 4.70/4.90 Model 35 [ 7 1 171 ] (0.00 seconds, 250000 Inserts) % 4.70/4.90 % 4.70/4.90 Stopped by limit on insertions % 4.70/4.90 % 4.70/4.90 Model 36 [ 34 2 29075 ] (0.00 seconds, 250000 Inserts) % 4.70/4.90 % 4.70/4.90 Stopped by limit on insertions % 4.70/4.90 % 4.70/4.90 Model 37 [ 12 2 143 ] (0.00 seconds, 250000 Inserts) % 4.70/4.90 % 4.70/4.90 Stopped by limit on insertions % 4.70/4.90 % 4.70/4.90 Model 38 [ 8 2 201 ] (0.00 seconds, 250000 Inserts) % 4.70/4.90 % 4.70/4.90 Stopped by limit on insertions % 4.70/4.90 % 4.70/4.90 Model 39 [ 8 1 113 ] (0.00 seconds, 250000 Inserts) % 4.70/4.90 % 4.70/4.90 Stopped by limit on insertions % 4.70/4.90 % 4.70/4.90 Model 40 [ 11 1 1503 ] (0.00 seconds, 250000 Inserts) % 4.70/4.90 % 4.70/4.90 Stopped by limit on insertions % 4.70/4.90 % 4.70/4.90 Model 41 [ 11 2 109 ] (0.00 seconds, 250000 Inserts) % 4.70/4.90 % 4.70/4.90 Stopped by limit on insertions % 4.70/4.90 % 4.70/4.90 Model 42 [ 13 1 714 ] (0.00 seconds, 250000 Inserts) % 4.70/4.90 % 4.70/4.90 Resetting weight limit to 15 after 50 givens. % 4.70/4.90 % 5.88/6.09 % 5.88/6.09 % 5.88/6.09 Changing weight limit from 15 to 14. % 5.88/6.09 % 5.88/6.09 Stopped by limit on insertions % 5.88/6.09 % 5.88/6.09 Model 43 [ 35 1 149 ] (0.00 seconds, 250000 Inserts) % 5.88/6.09 % 5.88/6.09 Stopped by limit on insertions % 5.88/6.09 % 5.88/6.09 Model 44 [ 12 6 162064 ] (0.00 seconds, 250000 Inserts) % 5.88/6.09 % 5.88/6.09 Stopped by limit on insertions % 5.88/6.09 % 5.88/6.09 Model 45 [ 5 8 204704 ] (0.00 seconds, 250000 Inserts) % 5.88/6.09 % 5.88/6.09 Stopped by limit on insertions % 5.88/6.09 % 5.88/6.09 Model 46 [ 34 1 9297 ] (0.00 seconds, 250000 Inserts) % 5.88/6.09 % 5.88/6.09 Stopped by limit on insertions % 5.88/6.09 % 5.88/6.09 Model 47 [ 9 2 111 ] (0.00 seconds, 250000 Inserts) % 5.88/6.09 % 5.88/6.09 Stopped by limit on insertions % 5.88/6.09 % 5.88/6.09 Model 48 [ 37 1 152 ] (0.00 seconds, 250000 Inserts) % 5.88/6.09 % 5.88/6.09 Stopped by limit on insertions % 5.88/6.09 % 5.88/6.09 Model 49 [ 14 3 65705 ] (0.00 seconds, 250000 Inserts) % 5.88/6.09 % 5.88/6.09 Stopped by limit on insertions % 5.88/6.09 % 5.88/6.09 Model 50 [ 18 3 86091 ] (0.00 seconds, 250000 Inserts) % 5.88/6.09 % 5.88/6.09 Resetting weight limit to 14 after 60 givens. % 5.88/6.09 % 7.80/7.97 % 7.80/7.97 % 7.80/7.97 Changing weight limit from 14 to 10. % 7.80/7.97 % 7.80/7.97 Stopped by limit on insertions % 7.80/7.97 % 7.80/7.97 Model 51 [ 11 8 178771 ] (0.00 seconds, 250000 Inserts) % 7.80/7.97 % 7.80/7.97 Stopped by limit on insertions % 7.80/7.97 % 7.80/7.97 Model 52 [ 10 12 220075 ] (0.00 seconds, 250000 Inserts) % 7.80/7.97 % 7.80/7.97 Stopped by limit on insertions % 7.80/7.97 % 7.80/7.97 Model 53 [ 44 1 118 ] (0.00 seconds, 250000 Inserts) % 7.80/7.97 % 7.80/7.97 Stopped by limit on insertions % 7.80/7.97 % 7.80/7.97 Model 54 [ 39 2 114 ] (0.00 seconds, 250000 Inserts) % 7.80/7.97 % 7.80/7.97 Stopped by limit on insertions % 7.80/7.97 % 7.80/7.97 Model 55 [ 16 1 1976 ] (0.00 seconds, 250000 Inserts) % 7.80/7.97 % 7.80/7.97 Stopped by limit on insertions % 7.80/7.97 % 7.80/7.97 Model 56 [ 42 1 200 ] (0.00 seconds, 250000 Inserts) % 7.80/7.97 % 7.80/7.97 Stopped by limit on insertions % 7.80/7.97 % 7.80/7.97 Model 57 [ 23 2 928 ] (0.00 seconds, 250000 Inserts) % 7.80/7.97 % 7.80/7.97 Stopped by limit on insertions % 7.80/7.97 % 7.80/7.97 Stopped by limit on insertions % 7.80/7.97 % 7.80/7.97 Model 58 [ 12 7 109512 ] (0.00 seconds, 250000 Inserts) % 7.80/7.97 % 7.80/7.97 Stopped by limit on insertions % 7.80/7.97 % 7.80/7.97 Model 59 [ 10 2 457 ] (0.00 seconds, 250000 Inserts) % 7.80/7.97 % 7.80/7.97 Resetting weight limit to 10 after 75 givens. % 7.80/7.97 % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Model 60 [ 49 1 349 ] (0.00 seconds, 250000 Inserts) % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Model 61 [ 11 3 15514 ] (0.00 seconds, 250000 Inserts) % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Model 62 [ 16 1 111 ] (0.00 seconds, 250000 Inserts) % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Model 63 [ 8 1 135 ] (0.00 seconds, 250000 Inserts) % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Model 64 [ 50 2 183 ] (0.00 seconds, 250000 Inserts) % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Model 65 [ 26 11 152340 ] (0.00 seconds, 250000 Inserts) % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Model 66 [ 11 2 841 ] (0.00 seconds, 250000 Inserts) % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Model 67 [ 12 1 149 ] (0.00 seconds, 250000 Inserts) % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Model 68 [ 55 1 565 ] (0.00 seconds, 250000 Inserts) % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Model 69 [ 22 11 148447 ] (0.00 seconds, 250000 Inserts) % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Model 70 [ 24 4 37325 ] (0.00 seconds, 250000 Inserts) % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Model 71 [ 18 2 3437 ] (0.00 seconds, 250000 Inserts) % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Model 72 [ 58 1 309 ] (0.00 seconds, 250000 Inserts) % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Model 73 [ 13 2 605 ] (0.00 seconds, 250000 Inserts) % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Model 74 [ 60 1 184 ] (0.00 seconds, 250000 Inserts) % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Model 75 [ 54 1 111 ] (0.00 seconds, 250000 Inserts) % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Model 76 [ 52 8 95300 ] (0.00 seconds, 250000 Inserts) % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Model 77 [ 16 2 3928 ] (0.00 seconds, 250000 Inserts) % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Model 78 [ 23 1 830 ] (0.00 seconds, 250000 Inserts) % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Model 79 [ 21 25 220011 ] (0.00 seconds, 250000 Inserts) % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Model 80 [ 21 29 201703 ] (0.00 seconds, 250000 Inserts) % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Model 81 [ 63 2 138 ] (0.00 seconds, 250000 Inserts) % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Model 82 [ 15 2 109 ] (0.00 seconds, 250000 Inserts) % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Model 83 [ 65 2 683 ] (0.00 seconds, 250000 Inserts) % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Model 84 [ 21 2 212 ] (0.00 seconds, 250000 Inserts) % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Model 85 [ 77 33 174163 ] (0.00 seconds, 250000 Inserts) % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Model 86 [ 59 1 146 ] (0.00 seconds, 250000 Inserts) % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Model 87 [ 17 34 154927 ] (0.00 seconds, 250000 Inserts) % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Model 88 [ 35 25 112707 ] (0.00 seconds, 250000 Inserts) % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Model 89 [ 23 2 695 ] (0.00 seconds, 250000 Inserts) % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Model 90 [ 25 45 226731 ] (0.00 seconds, 250000 Inserts) % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Model 91 [ 29 23 94377 ] (0.00 seconds, 250000 Inserts) % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Model 92 [ 24 2 110 ] (0.00 seconds, 250000 Inserts) % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Model 93 [ 70 2 328 ] (0.00 seconds, 250000 Inserts) % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Model 94 [ 26 5 18048 ] (0.00 seconds, 250000 Inserts) % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Model 95 [ 24 10 29110 ] (0.00 seconds, 250000 Inserts) % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Model 96 [ 19 14 51516 ] (0.00 seconds, 250000 Inserts) % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Model 97 [ 11 2 165 ] (0.00 seconds, 250000 Inserts) % 25.70/25.88 % 25.70/25.88 Stopped by limit on insertions % 25.70/25.88 % 25.70/25.88 Model 98 [ 21 2 148 ] (0.00 seconds, 250000 Inserts) % 25.70/25.88 % 25.70/25.89 Stopped by limit on insertions % 25.70/25.89 % 25.70/25.89 Model 99 [ 16 2 526 ] (0.00 seconds, 250000 Inserts) % 25.70/25.89 % 25.70/25.89 Stopped by limit on insertions % 25.70/25.89 % 25.70/25.89 Model 100 [ 79 2 380 ] (0.00 seconds, 250000 Inserts) % 25.70/25.89 % 25.70/25.89 Stopped by limit on insertions % 25.70/25.89 % 25.70/25.89 Model 101 [ 14 3 972 ] (0.00 seconds, 250000 Inserts) % 25.70/25.89 % 25.70/25.89 Stopped by limit on insertions % 25.70/25.89 % 25.70/25.89 Model 102 [ 18 8 24734 ] (0.00 seconds, 250000 Inserts) % 25.70/25.89 % 25.70/25.89 Stopped by limit on insertions % 25.70/25.89 % 25.70/25.89 Model 103 [ 32 12 36020 ] (0.00 seconds, 250000 Inserts) % 25.70/25.89 % 25.70/25.89 Stopped by limit on insertions % 25.70/25.89 % 25.70/25.89 Model 104 [ 12 2 815 ] (0.00 seconds, 250000 Inserts) % 25.70/25.89 % 25.70/25.89 Stopped by limit on insertions % 25.70/25.89 % 25.70/25.89 Model 105 [ 89 2 221 ] (0.00 seconds, 250000 Inserts) % 25.70/25.89 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 106 [ 38 17 75568 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 107 [ 24 28 126616 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 108 [ 26 46 195851 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 109 [ 25 22 112133 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 110 [ 16 1 817 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 111 [ 28 4 12856 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 112 [ 22 2 819 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 113 [ 21 2 4195 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 114 [ 31 19 68016 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 115 [ 94 1 158 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 116 [ 25 15 59623 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 117 [ 20 2 113 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 118 [ 18 2 115 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 119 [ 19 1 137 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 120 [ 102 2 150 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 121 [ 31 64 226909 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 122 [ 25 12 60460 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 123 [ 106 2 198 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 124 [ 34 20 70033 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 125 [ 38 76 249964 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 126 [ 21 24 97279 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 127 [ 109 1 111 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 128 [ 39 26 80451 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 129 [ 26 2 202 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 130 [ 122 2 287 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 131 [ 16 55 241822 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 132 [ 25 1 176 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 133 [ 96 2 241 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 134 [ 26 1 224 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 135 [ 120 1 156 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 136 [ 103 2 159 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 137 [ 37 1 132 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 138 [ 34 2 864 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 139 [ 26 25 78520 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 140 [ 16 2 607 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 141 [ 132 2 573 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 142 [ 111 2 210 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 143 [ 36 36 102593 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 144 [ 39 59 211492 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 145 [ 26 17 50810 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 146 [ 38 1 848 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 147 [ 127 2 147 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 148 [ 26 2 161 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 149 [ 122 2 245 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 150 [ 54 8 16214 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 50.09/50.31 Stopped by limit on insertions % 50.09/50.31 % 50.09/50.31 Model 151 [ 29 1 154 ] (0.00 seconds, 250000 Inserts) % 50.09/50.31 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 152 [ 120 8 25957 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 153 [ 22 2 153 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 154 [ 142 2 537 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 155 [ 20 2 650 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 156 [ 35 64 181271 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 157 [ 37 7 13918 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 158 [ 28 2 427 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 159 [ 24 2 152 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 160 [ 45 2 524 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 161 [ 32 2 433 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 162 [ 50 111 237320 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 163 [ 46 1 219 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 164 [ 29 2 480 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 165 [ 155 2 935 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 166 [ 146 2 296 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 167 [ 46 3 2231 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 168 [ 33 15 32810 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 169 [ 26 2 147 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 170 [ 150 2 268 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 171 [ 29 3 4951 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 172 [ 139 2 558 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 173 [ 41 44 94947 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 174 [ 27 2 117 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 175 [ 135 10 19120 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 176 [ 30 2 147 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 177 [ 139 8 13567 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 178 [ 42 8 13074 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 179 [ 32 2 110 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 180 [ 151 2 147 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 181 [ 45 17 30279 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 182 [ 167 2 554 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 183 [ 59 130 230162 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 184 [ 38 23 40081 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 185 [ 33 2 540 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 186 [ 34 2 152 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 187 [ 30 2 687 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 188 [ 159 2 189 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 189 [ 34 2 418 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 190 [ 145 2 136 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 191 [ 61 103 178234 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 192 [ 42 2 267 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 193 [ 163 122 204625 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 194 [ 40 2 387 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 195 [ 50 3 902 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 89.88/90.04 Model 196 [ 42 2 279 ] (0.00 seconds, 250000 Inserts) % 89.88/90.04 % 89.88/90.04 Stopped by limit on insertions % 89.88/90.04 % 118.05/118.25 Model 197 [ 40 2 243 ] (0 % 118.05/118.25 % 118.05/118.25 Changing weight limit from 10 to 9. % 118.05/118.25 .00 seconds, 250000 Inserts) % 118.05/118.25 % 118.05/118.25 Stopped by limit on insertions % 118.05/118.25 % 118.05/118.25 Model 198 [ 37 2 184 ] (0.00 seconds, 250000 Inserts) % 118.05/118.25 % 118.05/118.25 Stopped by limit on insertions % 118.05/118.25 % 118.05/118.25 Stopped by limit on insertions % 118.05/118.25 % 118.05/118.25 Model 199 [ 44 3 8670 ] (0.00 seconds, 250000 Inserts) % 118.05/118.25 % 118.05/118.25 Stopped by limit on insertions % 118.05/118.25 % 118.05/118.25 Model 200 [ 173 42 74663 ] (0.00 seconds, 250000 Inserts) % 118.05/118.25 % 118.05/118.25 Stopped by limit on insertions % 118.05/118.25 % 118.05/118.25 Model 201 [ 37 2 116 ] (0.00 seconds, 250000 Inserts) % 118.05/118.25 % 118.05/118.25 Stopped by limit on insertions % 118.05/118.25 % 118.05/118.25 Model 202 [ 157 2 155 ] (0.00 seconds, 250000 Inserts) % 118.05/118.25 % 118.05/118.25 Stopped by limit on insertions % 118.05/118.25 % 118.05/118.25 Model 203 [ 51 148 227829 ] (0.00 seconds, 250000 Inserts) % 118.05/118.25 % 118.05/118.25 Stopped by limit on insertions % 118.05/118.25 % 118.05/118.25 Model 204 [ 62 74 109731 ] (0.00 seconds, 250000 Inserts) % 118.05/118.25 % 118.05/118.25 Stopped by limit on insertions % 118.05/118.25 % 118.05/118.25 Model 205 [ 52 2 116 ] (0.00 seconds, 250000 Inserts) % 118.05/118.25 % 118.05/118.25 Stopped by limit on insertions % 118.05/118.25 % 118.05/118.25 Model 206 [ 50 101 156781 ] (0.00 seconds, 250000 Inserts) % 118.05/118.25 % 118.05/118.25 Stopped by limit on insertions % 118.05/118.25 % 118.05/118.25 Model 207 [ 46 86 130550 ] (0.00 seconds, 250000 Inserts) % 118.05/118.25 % 118.05/118.25 Stopped by limit on insertions % 118.05/118.25 % 118.05/118.25 Model 208 [ 169 2 319 ] (0.00 seconds, 250000 Inserts) % 118.05/118.25 % 118.05/118.25 Stopped by limit on insertions % 118.05/118.25 % 118.05/118.25 Model 209 [ 35 8 21943 ] (0.00 seconds, 250000 Inserts) % 118.05/118.25 % 118.05/118.25 Stopped by limit on insertions % 118.05/118.25 % 118.05/118.25 Model 210 [ 34 2 229 ] (0.00 seconds, 250000 Inserts) % 118.05/118.25 % 118.05/118.25 Stopped by limit on insertions % 118.05/118.25 % 118.05/118.25 Model 211 [ 180 2 149 ] (0.00 seconds, 250000 Inserts) % 118.05/118.25 % 118.05/118.25 Stopped by limit on insertions % 118.05/118.25 % 118.05/118.25 Model 212 [ 56 111 164841 ] (0.00 seconds, 250000 Inserts) % 118.05/118.25 % 118.05/118.25 Stopped by limit on insertions % 118.05/118.25 % 118.05/118.25 Model 213 [ 41 67 120494 ] (0.00 seconds, 250000 Inserts) % 118.05/118.25 % 118.05/118.25 Stopped by limit on insertions % 118.05/118.25 % 118.05/118.25 Model 214 [ 164 2 350 ] (0.00 seconds, 250000 Inserts) % 118.05/118.25 % 118.05/118.25 Stopped by limit on insertions % 118.05/118.25 % 118.05/118.25 Model 215 [ 47 2 113 ] (0.00 seconds, 250000 Inserts) % 118.05/118.25 % 118.05/118.25 Stopped by limit on insertions % 118.05/118.25 % 118.05/118.25 Model 216 [ 36 29 114108 ] (0.00 seconds, 250000 Inserts) % 118.05/118.25 % 118.05/118.25 Stopped by limit on insertions % 118.05/118.25 % 118.05/118.25 Model 217 [ 44 155 249526 ] (0.00 seconds, 250000 Inserts) % 118.05/118.25 % 118.05/118.25 Stopped by limit on insertions % 118.05/118.25 % 118.05/118.25 Stopped by limit on insertions % 118.05/118.25 % 118.05/118.25 Model 218 [ 42 3 249 ] (0.00 seconds, 250000 Inserts) % 118.05/118.25 % 118.05/118.25 Stopped by limit on insertions % 118.05/118.25 % 118.05/118.25 Model 219 [ 175 2 197 ] (0.00 seconds, 250000 Inserts) % 118.05/118.25 % 118.05/118.25 Stopped by limit on insertions % 118.05/118.25 % 118.05/118.25 Model 220 [ 181 2 309 ] (0.00 seconds, 250000 Inserts) % 118.05/118.25 % 118.05/118.25 Stopped by limit on insertions % 118.05/118.25 % 118.05/118.25 Model 221 [ 38 3 841 ] (0.00 seconds, 250000 Inserts) % 118.05/118.25 % 118.05/118.25 Resetting weight limit to 9 after 320 givens. % 118.05/118.25 % 119.76/119.95 % 119.76/119.95 % 119.76/119.95 Changing weight limit from 9 to 7. % 119.76/119.95 % 119.76/119.95 Stopped by limit on insertions % 119.76/119.95 % 119.76/119.95 Model 222 [ 47 2 144 ] (0.00 seconds, 250000 Inserts) % 119.76/119.95 % 119.76/119.95 Stopped by limit on insertions % 119.76/119.95 % 119.76/119.95 Stopped by limit on insertions % 119.76/119.95 % 119.76/119.95 Model 223 [ 38 3 1233 ] (0.00 seconds, 250000 Inserts) % 119.76/119.95 % 119.76/119.95 Resetting weight limit to 7 after 325 givens. % 119.76/119.95 % 124.78/124.95 % 124.78/124.95 % 124.78/124.95 Changing weight limit from 7 to 8. % 124.78/124.95 % 124.78/124.95 Stopped by limit on insertions % 124.78/124.95 % 124.78/124.95 Model 224 [ 177 3 416 ] (0.00 seconds, 250000 Inserts) % 124.78/124.95 % 124.78/124.95 Stopped by limit on insertions % 124.78/124.95 % 124.78/124.95 Model 225 [ 40 3 756 ] (0.00 seconds, 250000 Inserts) % 124.78/124.95 % 124.78/124.95 Stopped by limit on insertions % 124.78/124.95 % 124.78/124.95 Model 226 [ 195 2 154 ] (0.00 seconds, 250000 Inserts) % 124.78/124.95 % 124.78/124.95 Stopped by limit on insertions % 124.78/124.95 % 124.78/124.95 Model 227 [ 40 40 64401 ] (0.00 seconds, 250000 Inserts) % 124.78/124.95 % 124.78/124.95 Resetting weight limit to 8 after 330 givens. % 124.78/124.95 % 129.41/129.64 % 129.41/129.64 % 129.41/129.64 Changing weight limit from 8 to 7. % 129.41/129.64 % 129.41/129.64 Stopped by limit on insertions % 129.41/129.64 % 129.41/129.64 Model 228 [ 215 3 327 ] (0.00 seconds, 250000 Inserts) % 129.41/129.64 % 129.41/129.64 Stopped by limit on insertions % 129.41/129.64 % 129.41/129.64 Model 229 [ 43 3 862 ] (0.00 seconds, 250000 Inserts) % 129.41/129.64 % 129.41/129.64 Stopped by limit on insertions % 129.41/129.64 % 129.41/129.64 Model 230 [ 41 3 246 ] (0.00 seconds, 250000 Inserts) % 129.41/129.64 % 129.41/129.64 Stopped by limit on insertions % 129.41/129.64 % 129.41/129.64 Model 231 [ 224 2 382 ] (0.00 seconds, 250000 Inserts) % 129.41/129.64 % 129.41/129.64 Stopped by limit on insertions % 129.41/129.64 % 129.41/129.64 Model 232 [ 34 3 658 ] (0.00 seconds, 250000 Inserts) % 129.41/129.64 % 129.41/129.64 Resetting weight limit to 7 after 335 givens. % 129.41/129.64 % 145.25/145.42 % 145.25/145.42 % 145.25/145.42 Changing weight limit from 7 to 8. % 145.25/145.42 % 145.25/145.42 Stopped by limit on insertions % 145.25/145.42 % 145.25/145.42 Model 233 [ 179 2 116 ] (0.00 seconds, 250000 Inserts) % 145.25/145.42 % 145.25/145.42 Stopped by limit on insertions % 145.25/145.42 % 145.25/145.42 Model 234 [ 64 152 195054 ] (0.00 seconds, 250000 Inserts) % 145.25/145.42 % 145.25/145.42 Stopped by limit on insertions % 145.25/145.42 % 145.25/145.42 Model 235 [ 45 3 1128 ] (0.00 seconds, 250000 Inserts) % 145.25/145.42 % 145.25/145.42 Stopped by limit on insertions % 145.25/145.42 % 145.25/145.42 Model 236 [ 76 127 162665 ] (0.00 seconds, 250000 Inserts) % 145.25/145.42 % 145.25/145.42 Stopped by limit on insertions % 145.25/145.42 % 145.25/145.42 Model 237 [ 195 32 48786 ] (0.00 seconds, 250000 Inserts) % 145.25/145.42 % 145.25/145.42 Stopped by limit on insertions % 145.25/145.42 % 145.25/145.42 Model 238 [ 50 122 200988 ] (0.00 seconds, 250000 Inserts) % 145.25/145.42 % 145.25/145.42 Stopped by limit on insertions % 145.25/145.42 % 145.25/145.42 Stopped by limit on insertions % 145.25/145.42 % 145.25/145.42 Stopped by limit on insertions % 145.25/145.42 % 145.25/145.42 Model 239 [ 63 2 139 ] (0.00 seconds, 250000 Inserts) % 145.25/145.42 % 145.25/145.42 Stopped by limit on insertions % 145.25/145.42 % 145.25/145.42 Model 240 [ 51 3 115 ] (0.00 seconds, 250000 Inserts) % 145.25/145.42 % 145.25/145.42 Stopped by limit on insertions % 145.25/145.42 % 145.25/145.42 Model 241 [ 204 8 10249 ] (0.00 seconds, 250000 Inserts) % 145.25/145.42 % 145.25/145.42 Stopped by limit on insertions % 145.25/145.42 % 145.25/145.42 Model 242 [ 61 14 15485 ] (0.00 seconds, 250000 Inserts) % 145.25/145.42 % 145.25/145.42 Resetting weight limit to 8 after 355 givens. % 145.25/145.42 % 300.07/300.23 Wow, sos-wrapper got a signal XCPU %------------------------------------------------------------------------------