%------------------------------------------------------------------------------ % File : SOS---2.0 % Problem : FLD081-4 : TPTP v8.1.0. Bugfixed v2.1.0. % Transfm : none % Format : tptp:raw % Command : sos-script %s % Computer : n032.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:05 EDT 2022 % Result : Timeout 300.03s 300.21s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.09 % Problem : FLD081-4 : TPTP v8.1.0. Bugfixed v2.1.0. % 0.00/0.10 % Command : sos-script %s % 0.10/0.28 % Computer : n032.cluster.edu % 0.10/0.28 % Model : x86_64 x86_64 % 0.10/0.28 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.10/0.28 % Memory : 8042.1875MB % 0.10/0.28 % OS : Linux 3.10.0-693.el7.x86_64 % 0.10/0.29 % CPULimit : 300 % 0.10/0.29 % WCLimit : 600 % 0.10/0.29 % DateTime : Mon Jun 6 11:24:49 EDT 2022 % 0.10/0.29 % CPUTime : % 0.14/0.30 ----- Otter 3.2, August 2001 ----- % 0.14/0.30 The process was started by sandbox2 on n032.cluster.edu, % 0.14/0.30 Mon Jun 6 11:24:49 2022 % 0.14/0.30 The command was "./sos". The process ID is 30457. % 0.14/0.30 % 0.14/0.30 set(prolog_style_variables). % 0.14/0.30 set(auto). % 0.14/0.30 dependent: set(auto1). % 0.14/0.30 dependent: set(process_input). % 0.14/0.30 dependent: clear(print_kept). % 0.14/0.30 dependent: clear(print_new_demod). % 0.14/0.30 dependent: clear(print_back_demod). % 0.14/0.30 dependent: clear(print_back_sub). % 0.14/0.30 dependent: set(control_memory). % 0.14/0.30 dependent: assign(max_mem, 12000). % 0.14/0.30 dependent: assign(pick_given_ratio, 4). % 0.14/0.30 dependent: assign(stats_level, 1). % 0.14/0.30 dependent: assign(pick_semantic_ratio, 3). % 0.14/0.30 dependent: assign(sos_limit, 5000). % 0.14/0.30 dependent: assign(max_weight, 60). % 0.14/0.30 clear(print_given). % 0.14/0.30 % 0.14/0.30 list(usable). % 0.14/0.30 % 0.14/0.30 SCAN INPUT: prop=0, horn=0, equality=0, symmetry=0, max_lits=5. % 0.14/0.30 % 0.14/0.30 This is a non-Horn set without equality. The strategy % 0.14/0.30 will be ordered hyper_res, ur_res, unit deletion, and % 0.14/0.30 factoring, with satellites in sos and nuclei in usable. % 0.14/0.30 % 0.14/0.30 dependent: set(hyper_res). % 0.14/0.30 dependent: set(factor). % 0.14/0.30 dependent: set(unit_deletion). % 0.14/0.30 % 0.14/0.30 ------------> process usable: % 0.14/0.30 % 0.14/0.30 ------------> process sos: % 0.14/0.30 % 0.14/0.30 ======= end of input processing ======= % 0.14/0.37 % 0.14/0.37 Model 1 (0.00 seconds, 0 Inserts) % 0.14/0.37 % 0.14/0.37 Stopped by limit on number of solutions % 0.14/0.37 % 0.14/0.37 % 0.14/0.37 -------------- Softie stats -------------- % 0.14/0.37 % 0.14/0.37 UPDATE_STOP: 300 % 0.14/0.37 SFINDER_TIME_LIMIT: 2 % 0.14/0.37 SHORT_CLAUSE_CUTOFF: 4 % 0.14/0.37 number of clauses in intial UL: 48 % 0.14/0.37 number of clauses initially in problem: 62 % 0.14/0.37 percentage of clauses intially in UL: 77 % 0.14/0.37 percentage of distinct symbols occuring in initial UL: 75 % 0.14/0.37 percent of all initial clauses that are short: 100 % 0.14/0.37 absolute distinct symbol count: 16 % 0.14/0.37 distinct predicate count: 4 % 0.14/0.37 distinct function count: 4 % 0.14/0.37 distinct constant count: 8 % 0.14/0.37 % 0.14/0.37 ---------- no more Softie stats ---------- % 0.14/0.37 % 0.14/0.37 % 0.14/0.37 % 0.14/0.37 Model 2 (0.00 seconds, 0 Inserts) % 0.14/0.37 % 0.14/0.37 Stopped by limit on number of solutions % 0.14/0.37 % 0.14/0.37 =========== start of search =========== % 3.82/4.01 % 3.82/4.01 % 3.82/4.01 Changing weight limit from 60 to 12. % 3.82/4.01 % 3.82/4.01 Stopped by limit on insertions % 3.82/4.01 % 3.82/4.01 Model 3 [ 1 1 198 ] (0.00 seconds, 250000 Inserts) % 3.82/4.01 % 3.82/4.01 Stopped by limit on insertions % 3.84/4.01 % 3.84/4.01 Model 4 [ 1 1 130 ] (0.00 seconds, 250000 Inserts) % 3.84/4.01 % 3.84/4.01 Stopped by limit on insertions % 3.84/4.01 % 3.84/4.01 Model 5 [ 1 1 212 ] (0.00 seconds, 250000 Inserts) % 3.84/4.01 % 3.84/4.01 Stopped by limit on insertions % 3.84/4.01 % 3.84/4.01 Model 6 [ 1 2 171 ] (0.00 seconds, 250000 Inserts) % 3.84/4.01 % 3.84/4.01 Stopped by limit on insertions % 3.84/4.01 % 3.84/4.01 Model 7 [ 1 2 427 ] (0.00 seconds, 250000 Inserts) % 3.84/4.01 % 3.84/4.01 Stopped by limit on insertions % 3.84/4.01 % 3.84/4.01 Model 8 [ 2 1 109 ] (0.00 seconds, 250000 Inserts) % 3.84/4.01 % 3.84/4.01 Stopped by limit on insertions % 3.84/4.01 % 3.84/4.01 Model 9 [ 2 1 107 ] (0.00 seconds, 250000 Inserts) % 3.84/4.01 % 3.84/4.01 Stopped by limit on insertions % 3.84/4.01 % 3.84/4.01 Model 10 [ 9 1 168 ] (0.00 seconds, 250000 Inserts) % 3.84/4.01 % 3.84/4.01 Stopped by limit on insertions % 3.84/4.01 % 3.84/4.01 Model 11 [ 10 1 191 ] (0.00 seconds, 250000 Inserts) % 3.84/4.01 % 3.84/4.01 Stopped by limit on insertions % 3.84/4.02 % 3.84/4.02 Model 12 [ 9 1 109 ] (0.00 seconds, 250000 Inserts) % 3.84/4.02 % 3.84/4.02 Stopped by limit on insertions % 3.84/4.02 % 3.84/4.02 Model 13 [ 2 1 144 ] (0.00 seconds, 250000 Inserts) % 3.84/4.02 % 3.84/4.02 Stopped by limit on insertions % 3.84/4.02 % 3.84/4.02 Model 14 [ 3 1 108 ] (0.00 seconds, 250000 Inserts) % 3.84/4.02 % 3.84/4.02 Stopped by limit on insertions % 3.84/4.02 % 3.84/4.02 Model 15 [ 3 2 125 ] (0.00 seconds, 250000 Inserts) % 3.84/4.02 % 3.84/4.02 Stopped by limit on insertions % 3.84/4.02 % 3.84/4.02 Model 16 [ 4 2 222 ] (0.00 seconds, 250000 Inserts) % 3.84/4.02 % 3.84/4.02 Stopped by limit on insertions % 3.84/4.02 % 3.84/4.02 Model 17 [ 9 2 221 ] (0.00 seconds, 250000 Inserts) % 3.84/4.02 % 3.84/4.02 Stopped by limit on insertions % 3.84/4.02 % 3.84/4.02 Model 18 [ 4 1 456 ] (0.00 seconds, 250000 Inserts) % 3.84/4.02 % 3.84/4.02 Stopped by limit on insertions % 3.84/4.02 % 3.84/4.02 Model 19 [ 5 1 190 ] (0.00 seconds, 250000 Inserts) % 3.84/4.02 % 3.84/4.02 Stopped by limit on insertions % 3.84/4.02 % 3.84/4.02 Model 20 [ 4 1 428 ] (0.00 seconds, 250000 Inserts) % 3.84/4.02 % 3.84/4.02 Stopped by limit on insertions % 3.84/4.02 % 3.84/4.02 Model 21 [ 5 1 144 ] (0.00 seconds, 250000 Inserts) % 3.84/4.02 % 3.84/4.02 Stopped by limit on insertions % 3.84/4.02 % 3.84/4.02 Model 22 [ 4 1 142 ] (0.00 seconds, 250000 Inserts) % 3.84/4.02 % 3.84/4.02 Stopped by limit on insertions % 3.84/4.02 % 3.84/4.02 Model 23 [ 6 1 246 ] (0.00 seconds, 250000 Inserts) % 3.84/4.02 % 3.84/4.02 Stopped by limit on insertions % 3.84/4.02 % 3.84/4.02 Model 24 [ 15 1 196 ] (0.00 seconds, 250000 Inserts) % 3.84/4.02 % 3.84/4.02 Stopped by limit on insertions % 3.84/4.02 % 3.84/4.02 Model 25 [ 5 1 146 ] (0.00 seconds, 250000 Inserts) % 3.84/4.02 % 3.84/4.02 Stopped by limit on insertions % 3.84/4.02 % 3.84/4.02 Model 26 [ 6 1 7156 ] (0.00 seconds, 250000 Inserts) % 3.84/4.02 % 3.84/4.02 Stopped by limit on insertions % 3.84/4.02 % 3.84/4.02 Model 27 [ 23 2 249 ] (0.00 seconds, 250000 Inserts) % 3.84/4.02 % 3.84/4.02 Stopped by limit on insertions % 3.84/4.02 % 3.84/4.02 Model 28 [ 19 1 119 ] (0.00 seconds, 250000 Inserts) % 3.84/4.02 % 3.84/4.02 Stopped by limit on insertions % 3.84/4.02 % 3.84/4.02 Model 29 [ 7 1 192 ] (0.00 seconds, 250000 Inserts) % 3.84/4.02 % 3.84/4.02 Stopped by limit on insertions % 3.84/4.02 % 3.84/4.02 Model 30 [ 6 2 471 ] (0.00 seconds, 250000 Inserts) % 3.84/4.02 % 3.84/4.02 Stopped by limit on insertions % 3.84/4.02 % 3.84/4.02 Model 31 [ 5 1 109 ] (0.00 seconds, 250000 Inserts) % 3.84/4.02 % 3.84/4.02 Stopped by limit on insertions % 3.84/4.02 % 3.84/4.02 Model 32 [ 8 1 542 ] (0.00 seconds, 250000 Inserts) % 3.84/4.02 % 3.84/4.02 Stopped by limit on insertions % 3.84/4.02 % 3.84/4.02 Model 33 [ 7 2 23656 ] (0.00 seconds, 250000 Inserts) % 3.84/4.02 % 3.84/4.02 Stopped by limit on insertions % 3.84/4.02 % 3.84/4.02 Model 34 [ 4 2 277 ] (0.00 seconds, 250000 Inserts) % 3.84/4.02 % 3.84/4.02 Stopped by limit on insertions % 3.84/4.02 % 3.84/4.02 Model 35 [ 30 1 333 ] (0.00 seconds, 250000 Inserts) % 3.84/4.02 % 3.84/4.02 Stopped by limit on insertions % 3.84/4.02 % 3.84/4.02 Model 36 [ 4 1 149 ] (0.00 seconds, 250000 Inserts) % 3.84/4.02 % 3.84/4.02 Resetting weight limit to 12 after 45 givens. % 3.84/4.02 % 4.76/5.02 % 4.76/5.02 % 4.76/5.02 Changing weight limit from 12 to 10. % 4.76/5.02 % 4.76/5.02 Stopped by limit on insertions % 4.76/5.02 % 4.76/5.02 Model 37 [ 7 1 132 ] (0.00 seconds, 250000 Inserts) % 4.76/5.02 % 4.76/5.02 Stopped by limit on insertions % 4.76/5.02 % 4.76/5.02 Model 38 [ 8 9 190681 ] (0.00 seconds, 250000 Inserts) % 4.76/5.02 % 4.76/5.02 Stopped by limit on insertions % 4.76/5.02 % 4.76/5.02 Model 39 [ 9 4 65347 ] (0.00 seconds, 250000 Inserts) % 4.76/5.02 % 4.76/5.02 Stopped by limit on insertions % 4.76/5.02 % 4.76/5.02 Model 40 [ 11 1 561 ] (0.00 seconds, 250000 Inserts) % 4.76/5.02 % 4.76/5.02 Stopped by limit on insertions % 4.76/5.02 % 4.76/5.02 Model 41 [ 6 2 1636 ] (0.00 seconds, 250000 Inserts) % 4.76/5.02 % 4.76/5.02 Stopped by limit on insertions % 4.76/5.02 % 4.76/5.02 Model 42 [ 8 1 111 ] (0.00 seconds, 250000 Inserts) % 4.76/5.02 % 4.76/5.02 Resetting weight limit to 10 after 55 givens. % 4.76/5.02 % 5.36/5.60 % 5.36/5.60 % 5.36/5.60 Changing weight limit from 10 to 11. % 5.36/5.60 % 5.36/5.60 Stopped by limit on insertions % 5.36/5.60 % 5.36/5.60 Model 43 [ 30 2 118 ] (0.00 seconds, 250000 Inserts) % 5.36/5.60 % 5.36/5.60 Stopped by limit on insertions % 5.36/5.60 % 5.36/5.60 Model 44 [ 9 1 147 ] (0.00 seconds, 250000 Inserts) % 5.36/5.60 % 5.36/5.60 Stopped by limit on insertions % 5.36/5.60 % 5.36/5.60 Model 45 [ 10 4 37734 ] (0.00 seconds, 250000 Inserts) % 5.36/5.60 % 5.36/5.60 Resetting weight limit to 11 after 60 givens. % 5.36/5.60 % 6.13/6.37 % 6.13/6.37 % 6.13/6.37 Changing weight limit from 11 to 10. % 6.13/6.37 % 6.13/6.37 Stopped by limit on insertions % 6.13/6.37 % 6.13/6.37 Model 46 [ 8 15 227072 ] (0.00 seconds, 250000 Inserts) % 6.13/6.37 % 6.13/6.37 Stopped by limit on insertions % 6.13/6.37 % 6.13/6.37 Model 47 [ 42 1 143 ] (0.00 seconds, 250000 Inserts) % 6.13/6.37 % 6.13/6.37 Stopped by limit on insertions % 6.13/6.37 % 6.13/6.37 Model 48 [ 9 1 109 ] (0.00 seconds, 250000 Inserts) % 6.13/6.37 % 6.13/6.37 Stopped by limit on insertions % 6.13/6.37 % 6.13/6.37 Model 49 [ 40 1 108 ] (0.00 seconds, 250000 Inserts) % 6.13/6.37 % 6.13/6.37 Resetting weight limit to 10 after 65 givens. % 6.13/6.37 % 8.26/8.45 % 8.26/8.45 % 8.26/8.45 Changing weight limit from 10 to 11. % 8.26/8.45 % 8.26/8.45 Stopped by limit on insertions % 8.26/8.45 % 8.26/8.45 Model 50 [ 8 2 788 ] (0.00 seconds, 250000 Inserts) % 8.26/8.45 % 8.26/8.45 Stopped by limit on insertions % 8.26/8.45 % 8.26/8.45 Model 51 [ 14 19 232664 ] (0.00 seconds, 250000 Inserts) % 8.26/8.45 % 8.26/8.45 Stopped by limit on insertions % 8.26/8.45 % 8.26/8.45 Model 52 [ 7 21 229928 ] (0.00 seconds, 250000 Inserts) % 8.26/8.45 % 8.26/8.45 Stopped by limit on insertions % 8.26/8.45 % 8.26/8.45 Model 53 [ 42 2 123 ] (0.00 seconds, 250000 Inserts) % 8.26/8.45 % 8.26/8.45 Stopped by limit on insertions % 8.26/8.45 % 8.26/8.45 Model 54 [ 43 1 367 ] (0.00 seconds, 250000 Inserts) % 8.26/8.45 % 8.26/8.45 Stopped by limit on insertions % 8.26/8.45 % 8.26/8.45 Model 55 [ 13 18 213148 ] (0.00 seconds, 250000 Inserts) % 8.26/8.45 % 8.26/8.45 Stopped by limit on insertions % 8.26/8.45 % 8.26/8.45 Model 56 [ 13 4 28700 ] (0.00 seconds, 250000 Inserts) % 8.26/8.45 % 8.26/8.45 Stopped by limit on insertions % 8.26/8.45 % 8.26/8.45 Stopped by limit on insertions % 8.26/8.45 % 8.26/8.45 Model 57 [ 17 5 80419 ] (0.00 seconds, 250000 Inserts) % 8.26/8.45 % 8.26/8.45 Resetting weight limit to 11 after 75 givens. % 8.26/8.45 % 10.84/11.04 % 10.84/11.04 % 10.84/11.04 Changing weight limit from 11 to 7. % 10.84/11.04 % 10.84/11.04 Stopped by limit on insertions % 10.84/11.04 % 10.84/11.04 Model 58 [ 10 2 765 ] (0.00 seconds, 250000 Inserts) % 10.84/11.04 % 10.84/11.04 Stopped by limit on insertions % 10.84/11.04 % 10.84/11.04 Model 59 [ 48 1 288 ] (0.00 seconds, 250000 Inserts) % 10.84/11.04 % 10.84/11.04 Stopped by limit on insertions % 10.84/11.04 % 10.84/11.04 Model 60 [ 9 2 142 ] (0.00 seconds, 250000 Inserts) % 10.84/11.04 % 10.84/11.04 Stopped by limit on insertions % 10.84/11.04 % 10.84/11.04 Model 61 [ 51 1 320 ] (0.00 seconds, 250000 Inserts) % 10.84/11.04 % 10.84/11.04 Stopped by limit on insertions % 10.84/11.04 % 10.84/11.04 Model 62 [ 9 17 132378 ] (0.00 seconds, 250000 Inserts) % 10.84/11.04 % 10.84/11.04 Stopped by limit on insertions % 10.84/11.04 % 10.84/11.04 Model 63 [ 16 13 91849 ] (0.00 seconds, 250000 Inserts) % 10.84/11.04 % 10.84/11.04 Stopped by limit on insertions % 10.84/11.04 % 10.84/11.04 Model 64 [ 48 1 111 ] (0.00 seconds, 250000 Inserts) % 10.84/11.04 % 10.84/11.04 Stopped by limit on insertions % 10.84/11.04 % 10.84/11.04 Model 65 [ 17 26 242144 ] (0.00 seconds, 250000 Inserts) % 10.84/11.04 % 10.84/11.04 Stopped by limit on insertions % 10.84/11.04 % 10.84/11.04 Model 66 [ 12 1 657 ] (0.00 seconds, 250000 Inserts) % 10.84/11.04 % 10.84/11.04 Resetting weight limit to 7 after 85 givens. % 10.84/11.04 % 12.20/12.40 % 12.20/12.40 % 12.20/12.40 Changing weight limit from 7 to 8. % 12.20/12.40 % 12.20/12.40 Stopped by limit on insertions % 12.20/12.40 % 12.20/12.40 Model 67 [ 54 2 337 ] (0.00 seconds, 250000 Inserts) % 12.20/12.40 % 12.20/12.40 Stopped by limit on insertions % 12.20/12.40 % 12.20/12.40 Model 68 [ 14 26 219219 ] (0.00 seconds, 250000 Inserts) % 12.20/12.40 % 12.20/12.40 Stopped by limit on insertions % 12.20/12.40 % 12.20/12.40 Model 69 [ 15 16 128558 ] (0.00 seconds, 250000 Inserts) % 12.20/12.40 % 12.20/12.40 Stopped by limit on insertions % 12.20/12.40 % 12.20/12.40 Model 70 [ 16 7 48981 ] (0.00 seconds, 250000 Inserts) % 12.20/12.40 % 12.20/12.40 Resetting weight limit to 8 after 90 givens. % 12.20/12.40 % 13.94/14.13 % 13.94/14.13 % 13.94/14.13 Changing weight limit from 8 to 9. % 13.94/14.13 % 13.94/14.13 Stopped by limit on insertions % 13.94/14.13 % 13.94/14.13 Model 71 [ 10 2 229 ] (0.00 seconds, 250000 Inserts) % 13.94/14.13 % 13.94/14.13 Stopped by limit on insertions % 13.94/14.13 % 13.94/14.13 Model 72 [ 56 2 246 ] (0.00 seconds, 250000 Inserts) % 13.94/14.13 % 13.94/14.13 Stopped by limit on insertions % 13.94/14.13 % 13.94/14.13 Model 73 [ 11 1 328 ] (0.00 seconds, 250000 Inserts) % 13.94/14.13 % 13.94/14.13 Stopped by limit on insertions % 13.94/14.13 % 13.94/14.13 Model 74 [ 70 2 561 ] (0.00 seconds, 250000 Inserts) % 13.94/14.13 % 13.94/14.13 Stopped by limit on insertions % 13.94/14.13 % 13.94/14.13 Model 75 [ 11 1 155 ] (0.00 seconds, 250000 Inserts) % 13.94/14.13 % 13.94/14.13 Stopped by limit on insertions % 13.94/14.13 % 13.94/14.13 Model 76 [ 12 23 165158 ] (0.00 seconds, 250000 Inserts) % 13.94/14.13 % 13.94/14.13 Resetting weight limit to 9 after 100 givens. % 13.94/14.13 % 15.06/15.24 % 15.06/15.24 % 15.06/15.24 Changing weight limit from 9 to 7. % 15.06/15.24 % 15.06/15.24 Stopped by limit on insertions % 15.06/15.24 % 15.06/15.24 Model 77 [ 58 1 108 ] (0.00 seconds, 250000 Inserts) % 15.06/15.24 % 15.06/15.24 Stopped by limit on insertions % 15.06/15.24 % 15.06/15.24 Model 78 [ 7 1 202 ] (0.00 seconds, 250000 Inserts) % 15.06/15.24 % 15.06/15.24 Stopped by limit on insertions % 15.06/15.24 % 15.06/15.24 Model 79 [ 67 1 235 ] (0.00 seconds, 250000 Inserts) % 15.06/15.24 % 15.06/15.24 Stopped by limit on insertions % 15.06/15.24 % 15.06/15.24 Model 80 [ 13 1 194 ] (0.00 seconds, 250000 Inserts) % 15.06/15.24 % 15.06/15.24 Resetting weight limit to 7 after 105 givens. % 15.06/15.24 % 17.85/18.09 % 17.85/18.09 % 17.85/18.09 Changing weight limit from 7 to 8. % 17.85/18.09 % 17.85/18.09 Stopped by limit on insertions % 17.85/18.09 % 17.85/18.09 Model 81 [ 15 25 187016 ] (0.00 seconds, 250000 Inserts) % 17.85/18.09 % 17.85/18.09 Stopped by limit on insertions % 17.85/18.09 % 17.85/18.09 Model 82 [ 14 2 108 ] (0.00 seconds, 250000 Inserts) % 17.85/18.09 % 17.85/18.09 Stopped by limit on insertions % 17.85/18.09 % 17.85/18.09 Model 83 [ 13 1 141 ] (0.00 seconds, 250000 Inserts) % 17.85/18.09 % 17.85/18.09 Stopped by limit on insertions % 17.85/18.09 % 17.85/18.09 Model 84 [ 15 1 130 ] (0.00 seconds, 250000 Inserts) % 17.85/18.09 % 17.85/18.09 Stopped by limit on insertions % 17.85/18.09 % 17.85/18.09 Model 85 [ 77 1 286 ] (0.00 seconds, 250000 Inserts) % 17.85/18.09 % 17.85/18.09 Stopped by limit on insertions % 17.85/18.09 % 17.85/18.09 Model 86 [ 22 2 4218 ] (0.00 seconds, 250000 Inserts) % 17.85/18.09 % 17.85/18.09 Stopped by limit on insertions % 17.85/18.09 % 17.85/18.09 Model 87 [ 24 10 54027 ] (0.00 seconds, 250000 Inserts) % 17.85/18.09 % 17.85/18.09 Stopped by limit on insertions % 17.85/18.09 % 17.85/18.09 Model 88 [ 46 3 10348 ] (0.00 seconds, 250000 Inserts) % 17.85/18.09 % 17.85/18.09 Resetting weight limit to 8 after 115 givens. % 17.85/18.09 % 19.63/19.82 % 19.63/19.82 % 19.63/19.82 Changing weight limit from 8 to 7. % 19.63/19.82 % 19.63/19.82 Stopped by limit on insertions % 19.63/19.82 % 19.63/19.82 Model 89 [ 19 12 60429 ] (0.00 seconds, 250000 Inserts) % 19.63/19.82 % 19.63/19.82 Stopped by limit on insertions % 19.63/19.82 % 19.63/19.82 Model 90 [ 23 3 10925 ] (0.00 seconds, 250000 Inserts) % 19.63/19.82 % 19.63/19.82 Stopped by limit on insertions % 19.63/19.82 % 19.63/19.82 Model 91 [ 21 35 182965 ] (0.00 seconds, 250000 Inserts) % 19.63/19.82 % 19.63/19.82 Stopped by limit on insertions % 19.63/19.82 % 19.63/19.82 Model 92 [ 8 1 214 ] (0.00 seconds, 250000 Inserts) % 19.63/19.82 % 19.63/19.82 Resetting weight limit to 7 after 120 givens. % 19.63/19.82 % 27.05/27.26 % 27.05/27.26 % 27.05/27.26 Changing weight limit from 7 to 8. % 27.05/27.26 % 27.05/27.26 Stopped by limit on insertions % 27.05/27.26 % 27.05/27.26 Model 93 [ 79 1 114 ] (0.00 seconds, 250000 Inserts) % 27.05/27.26 % 27.05/27.26 Stopped by limit on insertions % 27.05/27.26 % 27.05/27.26 Model 94 [ 19 1 124 ] (0.00 seconds, 250000 Inserts) % 27.05/27.26 % 27.05/27.26 Stopped by limit on insertions % 27.05/27.26 % 27.05/27.26 Model 95 [ 12 2 142 ] (0.00 seconds, 250000 Inserts) % 27.05/27.26 % 27.05/27.26 Stopped by limit on insertions % 27.05/27.26 % 27.05/27.26 Model 96 [ 30 15 70870 ] (0.00 seconds, 250000 Inserts) % 27.05/27.26 % 27.05/27.26 Stopped by limit on insertions % 27.05/27.26 % 27.05/27.26 Model 97 [ 16 2 141 ] (0.00 seconds, 250000 Inserts) % 27.05/27.26 % 27.05/27.26 Stopped by limit on insertions % 27.05/27.26 % 27.05/27.26 Model 98 [ 18 4 15790 ] (0.00 seconds, 250000 Inserts) % 27.05/27.26 % 27.05/27.26 Stopped by limit on insertions % 27.05/27.26 % 27.05/27.26 Model 99 [ 13 1 146 ] (0.00 seconds, 250000 Inserts) % 27.05/27.26 % 27.05/27.26 Stopped by limit on insertions % 27.05/27.26 % 27.05/27.26 Model 100 [ 90 1 359 ] (0.00 seconds, 250000 Inserts) % 27.05/27.26 % 27.05/27.26 Stopped by limit on insertions % 27.05/27.26 % 27.05/27.26 Model 101 [ 23 1 125 ] (0.00 seconds, 250000 Inserts) % 27.05/27.26 % 27.05/27.26 Stopped by limit on insertions % 27.05/27.26 % 27.05/27.26 Model 102 [ 23 18 81808 ] (0.00 seconds, 250000 Inserts) % 27.05/27.26 % 27.05/27.26 Stopped by limit on insertions % 27.05/27.26 % 27.05/27.26 Model 103 [ 20 9 40620 ] (0.00 seconds, 250000 Inserts) % 27.05/27.26 % 27.05/27.26 Stopped by limit on insertions % 27.05/27.26 % 27.05/27.26 Model 104 [ 91 1 190 ] (0.00 seconds, 250000 Inserts) % 27.05/27.26 % 27.05/27.26 Stopped by limit on insertions % 27.05/27.26 % 27.05/27.26 Model 105 [ 89 25 104783 ] (0.00 seconds, 250000 Inserts) % 27.05/27.26 % 27.05/27.26 Stopped by limit on insertions % 27.05/27.26 % 27.05/27.26 Model 106 [ 24 45 220425 ] (0.00 seconds, 250000 Inserts) % 27.05/27.26 % 27.05/27.26 Stopped by limit on insertions % 27.05/27.26 % 27.05/27.26 Model 107 [ 19 2 109 ] (0.00 seconds, 250000 Inserts) % 27.05/27.26 % 27.05/27.26 Stopped by limit on insertions % 27.05/27.26 % 27.05/27.26 Model 108 [ 19 2 257 ] (0.00 seconds, 250000 Inserts) % 27.05/27.26 % 27.05/27.26 Stopped by limit on insertions % 27.05/27.26 % 27.05/27.26 Model 109 [ 24 43 201885 ] (0.00 seconds, 250000 Inserts) % 27.05/27.26 % 27.05/27.26 Resetting weight limit to 8 after 145 givens. % 27.05/27.26 % 32.14/32.37 % 32.14/32.37 % 32.14/32.37 Changing weight limit from 8 to 7. % 32.14/32.37 % 32.14/32.37 Stopped by limit on insertions % 32.14/32.37 % 32.14/32.37 Model 110 [ 21 2 667 ] (0.00 seconds, 250000 Inserts) % 32.14/32.37 % 32.14/32.37 Stopped by limit on insertions % 32.14/32.37 % 32.14/32.37 Model 111 [ 10 1 122 ] (0.00 seconds, 250000 Inserts) % 32.14/32.37 % 32.14/32.37 Stopped by limit on insertions % 32.14/32.37 % 32.14/32.37 Model 112 [ 99 1 127 ] (0.00 seconds, 250000 Inserts) % 32.14/32.37 % 32.14/32.37 Stopped by limit on insertions % 32.14/32.37 % 32.14/32.37 Stopped by limit on insertions % 32.14/32.37 % 32.14/32.37 Model 113 [ 16 1 158 ] (0.00 seconds, 250000 Inserts) % 32.14/32.37 % 32.14/32.37 Stopped by limit on insertions % 32.14/32.37 % 32.14/32.37 Model 114 [ 21 5 14904 ] (0.00 seconds, 250000 Inserts) % 32.14/32.37 % 32.14/32.37 Stopped by limit on insertions % 32.14/32.37 % 32.14/32.37 Model 115 [ 18 1 110 ] (0.00 seconds, 250000 Inserts) % 32.14/32.37 % 32.14/32.37 Stopped by limit on insertions % 32.14/32.37 % 32.14/32.37 Model 116 [ 25 2 108 ] (0.00 seconds, 250000 Inserts) % 32.14/32.37 % 32.14/32.37 Stopped by limit on insertions % 32.14/32.37 % 32.14/32.37 Model 117 [ 87 1 107 ] (0.00 seconds, 250000 Inserts) % 32.14/32.37 % 32.14/32.37 Stopped by limit on insertions % 32.14/32.37 % 32.14/32.37 Model 118 [ 36 17 58350 ] (0.00 seconds, 250000 Inserts) % 32.14/32.37 % 32.14/32.37 Stopped by limit on insertions % 32.14/32.37 % 32.14/32.37 Model 119 [ 18 1 107 ] (0.00 seconds, 250000 Inserts) % 32.14/32.37 % 32.14/32.37 Resetting weight limit to 7 after 170 givens. % 32.14/32.37 % 36.65/36.88 % 36.65/36.88 % 36.65/36.88 Changing weight limit from 7 to 8. % 36.65/36.88 % 36.65/36.88 Stopped by limit on insertions % 36.65/36.88 % 36.65/36.88 Model 120 [ 16 8 41665 ] (0.00 seconds, 250000 Inserts) % 36.65/36.88 % 36.65/36.88 Stopped by limit on insertions % 36.65/36.88 % 36.65/36.88 Model 121 [ 18 2 107 ] (0.00 seconds, 250000 Inserts) % 36.65/36.88 % 36.65/36.88 Stopped by limit on insertions % 36.65/36.88 % 36.65/36.88 Model 122 [ 101 5 12064 ] (0.00 seconds, 250000 Inserts) % 36.65/36.88 % 36.65/36.88 Stopped by limit on insertions % 36.65/36.88 % 36.65/36.88 Model 123 [ 11 2 544 ] (0.00 seconds, 250000 Inserts) % 36.65/36.88 % 36.65/36.88 Stopped by limit on insertions % 36.65/36.88 % 36.65/36.88 Model 124 [ 81 2 811 ] (0.00 seconds, 250000 Inserts) % 36.65/36.88 % 36.65/36.88 Stopped by limit on insertions % 36.65/36.88 % 36.65/36.88 Model 125 [ 23 47 129090 ] (0.00 seconds, 250000 Inserts) % 36.65/36.88 % 36.65/36.88 Stopped by limit on insertions % 36.65/36.88 % 36.65/36.88 Model 126 [ 40 28 75730 ] (0.00 seconds, 250000 Inserts) % 36.65/36.88 % 36.65/36.88 Resetting weight limit to 8 after 180 givens. % 36.65/36.88 % 39.41/39.66 % 39.41/39.66 % 39.41/39.66 Changing weight limit from 8 to 7. % 39.41/39.66 % 39.41/39.66 Stopped by limit on insertions % 39.41/39.66 % 39.41/39.66 Model 127 [ 39 28 76129 ] (0.00 seconds, 250000 Inserts) % 39.41/39.66 % 39.41/39.66 Stopped by limit on insertions % 39.41/39.66 % 39.41/39.66 Model 128 [ 21 1 112 ] (0.00 seconds, 250000 Inserts) % 39.41/39.66 % 39.41/39.66 Stopped by limit on insertions % 39.41/39.66 % 39.41/39.66 Model 129 [ 107 2 614 ] (0.00 seconds, 250000 Inserts) % 39.41/39.66 % 39.41/39.66 Stopped by limit on insertions % 39.41/39.66 % 39.41/39.66 Model 130 [ 20 2 639 ] (0.00 seconds, 250000 Inserts) % 39.41/39.66 % 39.41/39.66 Resetting weight limit to 7 after 185 givens. % 39.41/39.66 % 46.01/46.23 % 46.01/46.23 % 46.01/46.23 Changing weight limit from 7 to 6. % 46.01/46.23 % 46.01/46.23 Stopped by limit on insertions % 46.01/46.23 % 46.01/46.23 Model 131 [ 34 1 108 ] (0.00 seconds, 250000 Inserts) % 46.01/46.23 % 46.01/46.23 Stopped by limit on insertions % 46.01/46.23 % 46.01/46.23 Model 132 [ 22 2 140 ] (0.00 seconds, 250000 Inserts) % 46.01/46.23 % 46.01/46.23 Stopped by limit on insertions % 46.01/46.23 % 46.01/46.23 Model 133 [ 20 2 128 ] (0.00 seconds, 250000 Inserts) % 46.01/46.23 % 46.01/46.23 Stopped by limit on insertions % 46.01/46.23 % 46.01/46.23 Model 134 [ 25 2 322 ] (0.00 seconds, 250000 Inserts) % 46.01/46.23 % 46.01/46.23 Stopped by limit on insertions % 46.01/46.23 % 46.01/46.23 Model 135 [ 22 2 110 ] (0.00 seconds, 250000 Inserts) % 46.01/46.23 % 46.01/46.23 Stopped by limit on insertions % 46.01/46.23 % 46.01/46.23 Model 136 [ 99 2 518 ] (0.00 seconds, 250000 Inserts) % 46.01/46.23 % 46.01/46.23 Stopped by limit on insertions % 46.01/46.23 % 46.01/46.23 Model 137 [ 20 2 266 ] (0.00 seconds, 250000 Inserts) % 46.01/46.23 % 46.01/46.23 Stopped by limit on insertions % 46.01/46.23 % 46.01/46.23 Model 138 [ 109 2 156 ] (0.00 seconds, 250000 Inserts) % 46.01/46.23 % 46.01/46.23 Stopped by limit on insertions % 46.01/46.23 % 46.01/46.23 Model 139 [ 111 2 375 ] (0.00 seconds, 250000 Inserts) % 46.01/46.23 % 46.01/46.23 Stopped by limit on insertions % 46.01/46.23 % 46.01/46.23 Model 140 [ 113 2 281 ] (0.00 seconds, 250000 Inserts) % 46.01/46.23 % 46.01/46.23 Resetting weight limit to 6 after 205 givens. % 46.01/46.23 % 49.61/49.81 % 49.61/49.81 % 49.61/49.81 Changing weight limit from 6 to 7. % 49.61/49.81 % 49.61/49.81 Stopped by limit on insertions % 49.61/49.81 % 49.61/49.81 Model 141 [ 123 2 118 ] (0.00 seconds, 250000 Inserts) % 49.61/49.81 % 49.61/49.81 Stopped by limit on insertions % 49.61/49.81 % 49.61/49.81 Model 142 [ 31 2 630 ] (0.00 seconds, 250000 Inserts) % 49.61/49.81 % 49.61/49.81 Stopped by limit on insertions % 49.61/49.81 % 49.61/49.81 Model 143 [ 21 3 628 ] (0.00 seconds, 250000 Inserts) % 49.61/49.81 % 49.61/49.81 Stopped by limit on insertions % 49.61/49.81 % 49.61/49.81 Model 144 [ 23 2 242 ] (0.00 seconds, 250000 Inserts) % 49.61/49.81 % 49.61/49.81 Stopped by limit on insertions % 49.61/49.81 % 49.61/49.81 Model 145 [ 22 2 111 ] (0.00 seconds, 250000 Inserts) % 49.61/49.81 % 49.61/49.81 Resetting weight limit to 7 after 215 givens. % 49.61/49.81 % 49.61/49.82 % 49.61/49.82 % 49.61/49.82 Changing weight limit from 7 to 6. % 49.61/49.82 % 49.61/49.82 Resetting weight limit to 6 after 220 givens. % 49.61/49.82 % 51.63/51.89 % 51.63/51.89 % 51.63/51.89 Changing weight limit from 6 to 7. % 51.63/51.89 % 51.63/51.89 Stopped by limit on insertions % 51.63/51.89 % 51.63/51.89 Model 146 [ 36 34 82862 ] (0.00 seconds, 250000 Inserts) % 51.63/51.89 % 51.63/51.89 Stopped by limit on insertions % 51.63/51.89 % 51.63/51.89 Model 147 [ 27 87 224493 ] (0.00 seconds, 250000 Inserts) % 51.63/51.89 % 51.63/51.89 Resetting weight limit to 7 after 235 givens. % 51.63/51.89 % 55.42/55.63 % 55.42/55.63 % 55.42/55.63 Changing weight limit from 7 to 8. % 55.42/55.63 % 55.42/55.63 Stopped by limit on insertions % 55.42/55.63 % 55.42/55.63 Model 148 [ 21 1 114 ] (0.00 seconds, 250000 Inserts) % 55.42/55.63 % 55.42/55.63 Stopped by limit on insertions % 55.42/55.63 % 55.42/55.63 Model 149 [ 23 84 219410 ] (0.00 seconds, 250000 Inserts) % 55.42/55.63 % 55.42/55.63 Stopped by limit on insertions % 55.42/55.63 % 55.42/55.63 Model 150 [ 114 2 164 ] (0.00 seconds, 250000 Inserts) % 55.42/55.63 % 55.42/55.63 Stopped by limit on insertions % 55.42/55.63 % 55.42/55.63 Model 151 [ 36 62 129374 ] (0.00 seconds, 250000 Inserts) % 55.42/55.63 % 55.42/55.63 Resetting weight limit to 8 after 240 givens. % 55.42/55.63 % 57.52/57.76 % 57.52/57.76 % 57.52/57.76 Changing weight limit from 8 to 6. % 57.52/57.76 % 57.52/57.76 Stopped by limit on insertions % 57.52/57.76 % 57.52/57.76 Model 152 [ 26 2 304 ] (0.00 seconds, 250000 Inserts) % 57.52/57.76 % 57.52/57.76 Stopped by limit on insertions % 57.52/57.76 % 57.52/57.76 Model 153 [ 32 94 216105 ] (0.00 seconds, 250000 Inserts) % 57.52/57.76 % 57.52/57.76 Stopped by limit on insertions % 57.52/57.76 % 57.52/57.76 Model 154 [ 32 2 110 ] (0.00 seconds, 250000 Inserts) % 57.52/57.76 % 57.52/57.76 Resetting weight limit to 6 after 245 givens. % 57.52/57.76 % 65.40/65.60 % 65.40/65.60 % 65.40/65.60 Changing weight limit from 6 to 7. % 65.40/65.60 % 65.40/65.60 Stopped by limit on insertions % 65.40/65.60 % 65.40/65.60 Model 155 [ 113 2 194 ] (0.00 seconds, 250000 Inserts) % 65.40/65.60 % 65.40/65.60 Stopped by limit on insertions % 65.40/65.60 % 65.40/65.60 Model 156 [ 42 2 537 ] (0.00 seconds, 250000 Inserts) % 65.40/65.60 % 65.40/65.60 Stopped by limit on insertions % 65.40/65.60 % 65.40/65.60 Model 157 [ 123 2 336 ] (0.00 seconds, 250000 Inserts) % 65.40/65.60 % 65.40/65.60 Stopped by limit on insertions % 65.40/65.60 % 65.40/65.60 Model 158 [ 23 2 743 ] (0.00 seconds, 250000 Inserts) % 65.40/65.60 % 65.40/65.60 Stopped by limit on insertions % 65.40/65.60 % 65.40/65.60 Model 159 [ 139 13 26100 ] (0.00 seconds, 250000 Inserts) % 65.40/65.60 % 65.40/65.60 Stopped by limit on insertions % 65.40/65.60 % 65.40/65.60 Model 160 [ 42 2 697 ] (0.00 seconds, 250000 Inserts) % 65.40/65.60 % 65.40/65.60 Stopped by limit on insertions % 65.40/65.60 % 65.40/65.60 Model 161 [ 33 9 26371 ] (0.00 seconds, 250000 Inserts) % 65.40/65.60 % 65.40/65.60 Stopped by limit on insertions % 65.40/65.60 % 65.40/65.60 Model 162 [ 32 3 245 ] (0.00 seconds, 250000 Inserts) % 65.40/65.60 % 65.40/65.60 Stopped by limit on insertions % 65.40/65.60 % 65.40/65.60 Model 163 [ 40 38 67776 ] (0.00 seconds, 250000 Inserts) % 65.40/65.60 % 65.40/65.60 Resetting weight limit to 7 after 260 givens. % 65.40/65.60 % 66.11/66.36 % 66.11/66.36 % 66.11/66.36 Changing weight limit from 7 to 8. % 66.11/66.36 % 66.11/66.36 Stopped by limit on insertions % 66.11/66.36 % 66.11/66.36 Model 164 [ 27 2 350 ] (0.00 seconds, 250000 Inserts) % 66.11/66.36 % 66.11/66.36 Resetting weight limit to 8 after 265 givens. % 66.11/66.36 % 100.42/100.61 % 100.42/100.61 % 100.42/100.61 Changing weight limit from 8 to 9. % 100.42/100.61 % 100.42/100.61 Stopped by limit on insertions % 100.42/100.61 % 100.42/100.61 Model 165 [ 29 45 159350 ] (0.00 seconds, 250000 Inserts) % 100.42/100.61 % 100.42/100.61 Stopped by limit on insertions % 100.42/100.61 % 100.42/100.61 Model 166 [ 47 62 135439 ] (0.00 seconds, 250000 Inserts) % 100.42/100.61 % 100.42/100.61 Stopped by limit on insertions % 100.42/100.61 % 100.42/100.61 Model 167 [ 35 2 109 ] (0.00 seconds, 250000 Inserts) % 100.42/100.61 % 100.42/100.61 Stopped by limit on insertions % 100.42/100.61 % 100.42/100.61 Model 168 [ 135 3 1908 ] (0.00 seconds, 250000 Inserts) % 100.42/100.61 % 100.42/100.61 Stopped by limit on insertions % 100.42/100.61 % 100.42/100.61 Model 169 [ 49 72 126486 ] (0.00 seconds, 250000 Inserts) % 100.42/100.61 % 100.42/100.61 Stopped by limit on insertions % 100.42/100.61 % 100.42/100.61 Model 170 [ 31 14 38377 ] (0.00 seconds, 250000 Inserts) % 100.42/100.61 % 100.42/100.61 Stopped by limit on insertions % 100.42/100.61 % 100.42/100.61 Model 171 [ 21 2 146 ] (0.00 seconds, 250000 Inserts) % 100.42/100.61 % 100.42/100.61 Stopped by limit on insertions % 100.42/100.61 % 100.42/100.61 Model 172 [ 141 3 2833 ] (0.00 seconds, 250000 Inserts) % 100.42/100.61 % 100.42/100.61 Stopped by limit on insertions % 100.42/100.61 % 100.42/100.61 Model 173 [ 27 2 566 ] (0.00 seconds, 250000 Inserts) % 100.42/100.61 % 100.42/100.61 Stopped by limit on insertions % 100.42/100.61 % 100.42/100.61 Model 174 [ 45 2 107 ] (0.00 seconds, 250000 Inserts) % 100.42/100.61 % 100.42/100.61 Stopped by limit on insertions % 100.42/100.61 % 100.42/100.61 Model 175 [ 42 23 33585 ] (0.00 seconds, 250000 Inserts) % 100.42/100.61 % 100.42/100.61 Stopped by limit on insertions % 100.42/100.61 % 100.42/100.61 Model 176 [ 34 2 829 ] (0.00 seconds, 250000 Inserts) % 100.42/100.61 % 100.42/100.61 Stopped by limit on insertions % 100.42/100.61 % 100.42/100.61 Model 177 [ 149 3 1379 ] (0.00 seconds, 250000 Inserts) % 100.42/100.61 % 100.42/100.61 Stopped by limit on insertions % 100.42/100.61 % 100.42/100.61 Model 178 [ 37 39 108197 ] (0.00 seconds, 250000 Inserts) % 100.42/100.61 % 100.42/100.61 Stopped by limit on insertions % 100.42/100.61 % 100.42/100.61 Model 179 [ 25 2 693 ] (0.00 seconds, 250000 Inserts) % 100.42/100.61 % 100.42/100.61 Stopped by limit on insertions % 100.42/100.61 % 100.42/100.61 Model 180 [ 53 70 108570 ] (0.00 seconds, 250000 Inserts) % 100.42/100.61 % 100.42/100.61 Stopped by limit on insertions % 100.42/100.61 % 100.42/100.61 Model 181 [ 42 46 60566 ] (0.00 seconds, 250000 Inserts) % 100.42/100.61 % 100.42/100.61 Stopped by limit on insertions % 100.42/100.61 % 100.42/100.61 Model 182 [ 36 29 70289 ] (0.00 seconds, 250000 Inserts) % 100.42/100.61 % 100.42/100.61 Stopped by limit on insertions % 100.42/100.61 % 100.42/100.61 Model 183 [ 25 2 144 ] (0.00 seconds, 250000 Inserts) % 100.42/100.61 % 100.42/100.61 Stopped by limit on insertions % 100.42/100.61 % 100.42/100.61 Model 184 [ 32 29 41736 ] (0.00 seconds, 250000 Inserts) % 100.42/100.61 % 100.42/100.61 Stopped by limit on insertions % 100.42/100.61 % 100.42/100.61 Stopped by limit on insertions % 100.42/100.61 % 100.42/100.61 Model 185 [ 56 2 169 ] (0.00 seconds, 250000 Inserts) % 100.42/100.61 % 100.42/100.61 Stopped by limit on insertions % 100.42/100.61 % 100.42/100.61 Model 186 [ 23 9 21127 ] (0.00 seconds, 250000 Inserts) % 100.42/100.61 % 100.42/100.61 Stopped by limit on insertions % 100.42/100.61 % 100.42/100.61 Model 187 [ 135 3 1246 ] (0.00 seconds, 250000 Inserts) % 100.42/100.61 % 100.42/100.61 Stopped by limit on insertions % 100.42/100.61 % 100.42/100.61 Model 188 [ 30 2 788 ] (0.00 seconds, 250000 Inserts) % 100.42/100.61 % 100.42/100.61 Stopped by limit on insertions % 100.42/100.61 % 100.42/100.61 Stopped by limit on insertions % 100.42/100.61 % 100.42/100.61 Model 189 [ 167 2 166 ] (0.00 seconds, 250000 Inserts) % 100.42/100.61 % 100.42/100.61 Stopped by limit on insertions % 100.42/100.61 % 100.42/100.61 Model 190 [ 27 2 660 ] (0.00 seconds, 250000 Inserts) % 100.42/100.61 % 100.42/100.61 Stopped by limit on insertions % 100.42/100.61 % 100.42/100.61 Model 191 [ 163 2 190 ] (0.00 seconds, 250000 Inserts) % 100.42/100.61 % 100.42/100.61 Stopped by limit on insertions % 100.42/100.61 % 100.42/100.61 Model 192 [ 28 3 109 ] (0.00 seconds, 250000 Inserts) % 100.42/100.61 % 100.42/100.61 Stopped by limit on insertions % 100.42/100.61 % 100.42/100.61 Model 193 [ 159 2 177 ] (0.00 seconds, 250000 Inserts) % 100.42/100.61 % 100.42/100.61 Stopped by limit on insertions % 100.42/100.61 % 100.42/100.61 Model 194 [ 145 26 38759 ] (0.00 seconds, 250000 Inserts) % 100.42/100.61 % 100.42/100.61 Resetting weight limit to 9 after 430 givens. % 100.42/100.61 % 103.20/103.43 % 103.20/103.43 % 103.20/103.43 Changing weight limit from 9 to 8. % 103.20/103.43 % 103.20/103.43 Stopped by limit on insertions % 103.20/103.43 % 103.20/103.43 Model 195 [ 143 58 87365 ] (0.00 seconds, 250000 Inserts) % 103.20/103.43 % 103.20/103.43 Stopped by limit on insertions % 103.20/103.43 % 103.20/103.43 Model 196 [ 37 2 224 ] (0.00 seconds, 250000 Inserts) % 103.20/103.43 % 103.20/103.43 Resetting weight limit to 8 after 435 givens. % 103.20/103.43 % 105.55/105.76 % 105.55/105.76 % 105.55/105.76 Changing weight limit from 8 to 7. % 105.55/105.76 % 105.55/105.76 Modelling stopped after 300 given clauses and 0.00 seconds % 105.55/105.76 % 105.55/105.76 % 105.55/105.76 Resetting weight limit to 7 after 1395 givens. % 105.55/105.76 % 106.13/106.33 % 106.13/106.33 % 106.13/106.33 Changing weight limit from 7 to 8. % 106.13/106.33 % 106.13/106.33 Resetting weight limit to 8 after 1485 givens. % 106.13/106.33 % 106.13/106.36 % 106.13/106.36 % 106.13/106.36 Changing weight limit from 8 to 7. % 106.13/106.36 % 106.13/106.36 Resetting weight limit to 7 after 1495 givens. % 106.13/106.36 % 106.51/106.71 % 106.51/106.71 % 106.51/106.71 Changing weight limit from 7 to 8. % 106.51/106.71 % 106.51/106.71 Resetting weight limit to 8 after 1575 givens. % 106.51/106.71 % 106.51/106.73 % 106.51/106.73 % 106.51/106.73 Changing weight limit from 8 to 7. % 106.51/106.73 % 106.51/106.73 Resetting weight limit to 7 after 1580 givens. % 106.51/106.73 % 106.72/106.92 % 106.72/106.92 % 106.72/106.92 Changing weight limit from 7 to 6. % 106.72/106.92 % 106.72/106.92 Resetting weight limit to 6 after 1610 givens. % 106.72/106.92 % 107.03/107.23 % 107.03/107.23 % 107.03/107.23 Changing weight limit from 6 to 7. % 107.03/107.23 % 107.03/107.23 Resetting weight limit to 7 after 1665 givens. % 107.03/107.23 % 107.03/107.29 % 107.03/107.29 % 107.03/107.29 Changing weight limit from 7 to 6. % 107.03/107.29 % 107.03/107.29 Resetting weight limit to 6 after 1680 givens. % 107.03/107.29 % 107.23/107.41 % 107.23/107.41 % 107.23/107.41 Changing weight limit from 6 to 7. % 107.23/107.41 % 107.23/107.41 Resetting weight limit to 7 after 1705 givens. % 107.23/107.41 % 107.23/107.49 % 107.23/107.49 % 107.23/107.49 Changing weight limit from 7 to 6. % 107.23/107.49 % 107.23/107.49 Resetting weight limit to 6 after 1740 givens. % 107.23/107.49 % 107.32/107.58 % 107.32/107.58 % 107.32/107.58 Changing weight limit from 6 to 7. % 107.32/107.58 % 107.32/107.58 Resetting weight limit to 7 after 1785 givens. % 107.32/107.58 % 107.41/107.60 % 107.41/107.60 % 107.41/107.60 Changing weight limit from 7 to 6. % 107.41/107.60 % 107.41/107.60 Resetting weight limit to 6 after 1790 givens. % 107.41/107.60 % 107.53/107.71 % 107.53/107.71 % 107.53/107.71 Changing weight limit from 6 to 7. % 107.53/107.71 % 107.53/107.71 Resetting weight limit to 7 after 1835 givens. % 107.53/107.71 % 107.53/107.73 % 107.53/107.73 % 107.53/107.73 Changing weight limit from 7 to 8. % 107.53/107.73 % 107.53/107.73 Resetting weight limit to 8 after 1840 givens. % 107.53/107.73 % 107.53/107.74 % 107.53/107.74 % 107.53/107.74 Changing weight limit from 8 to 7. % 107.53/107.74 % 107.53/107.74 Resetting weight limit to 7 after 1845 givens. % 107.53/107.74 % 107.72/107.91 % 107.72/107.91 % 107.72/107.91 Changing weight limit from 7 to 8. % 107.72/107.91 % 107.72/107.91 Resetting weight limit to 8 after 1900 givens. % 107.72/107.91 % 107.72/107.96 % 107.72/107.96 % 107.72/107.96 Changing weight limit from 8 to 7. % 107.72/107.96 % 107.72/107.96 Resetting weight limit to 7 after 1905 givens. % 107.72/107.96 % 107.81/108.02 % 107.81/108.02 % 107.81/108.02 Changing weight limit from 7 to 8. % 107.81/108.02 % 107.81/108.02 Resetting weight limit to 8 after 1910 givens. % 107.81/108.02 % 107.81/108.07 % 107.81/108.07 % 107.81/108.07 Changing weight limit from 8 to 7. % 107.81/108.07 % 107.81/108.07 Resetting weight limit to 7 after 1915 givens. % 107.81/108.07 % 107.93/108.13 % 107.93/108.13 % 107.93/108.13 Changing weight limit from 7 to 8. % 107.93/108.13 % 107.93/108.13 Resetting weight limit to 8 after 1920 givens. % 107.93/108.13 % 107.93/108.18 % 107.93/108.18 % 107.93/108.18 Changing weight limit from 8 to 7. % 107.93/108.18 % 107.93/108.18 Resetting weight limit to 7 after 1925 givens. % 107.93/108.18 % 108.03/108.24 % 108.03/108.24 % 108.03/108.24 Changing weight limit from 7 to 8. % 108.03/108.24 % 108.03/108.24 Resetting weight limit to 8 after 1930 givens. % 108.03/108.24 % 108.11/108.29 % 108.11/108.29 % 108.11/108.29 Changing weight limit from 8 to 7. % 108.11/108.29 % 108.11/108.29 Resetting weight limit to 7 after 1935 givens. % 108.11/108.29 % 108.11/108.35 % 108.11/108.35 % 108.11/108.35 Changing weight limit from 7 to 8. % 108.11/108.35 % 108.11/108.35 Resetting weight limit to 8 after 1940 givens. % 108.11/108.35 % 108.22/108.41 % 108.22/108.41 % 108.22/108.41 Changing weight limit from 8 to 7. % 108.22/108.41 % 108.22/108.41 Resetting weight limit to 7 after 1945 givens. % 108.22/108.41 % 108.24/108.46 % 108.24/108.46 % 108.24/108.46 Changing weight limit from 7 to 8. % 108.24/108.46 % 108.24/108.46 Resetting weight limit to 8 after 1950 givens. % 108.24/108.46 % 108.33/108.52 % 108.33/108.52 % 108.33/108.52 Changing weight limit from 8 to 7. % 108.33/108.52 % 108.33/108.52 Resetting weight limit to 7 after 1955 givens. % 108.33/108.52 % 108.40/108.58 % 108.40/108.58 % 108.40/108.58 Changing weight limit from 7 to 8. % 108.40/108.58 % 108.40/108.58 Resetting weight limit to 8 after 1960 givens. % 108.40/108.58 % 108.40/108.64 % 108.40/108.64 % 108.40/108.64 Changing weight limit from 8 to 7. % 108.40/108.64 % 108.40/108.64 Resetting weight limit to 7 after 1965 givens. % 108.40/108.64 % 108.51/108.70 % 108.51/108.70 % 108.51/108.70 Changing weight limit from 7 to 8. % 108.51/108.70 % 108.51/108.70 Resetting weight limit to 8 after 1970 givens. % 108.51/108.70 % 108.55/108.76 % 108.55/108.76 % 108.55/108.76 Changing weight limit from 8 to 7. % 108.55/108.76 % 108.55/108.76 Resetting weight limit to 7 after 1975 givens. % 108.55/108.76 % 108.63/108.82 % 108.63/108.82 % 108.63/108.82 Changing weight limit from 7 to 8. % 108.63/108.82 % 108.63/108.82 Resetting weight limit to 8 after 1995 givens. % 108.63/108.82 % 108.63/108.83 % 108.63/108.83 % 108.63/108.83 Changing weight limit from 8 to 7. % 108.63/108.83 % 108.63/108.83 Resetting weight limit to 7 after 2000 givens. % 108.63/108.83 % 108.63/108.84 % 108.63/108.84 % 108.63/108.84 Changing weight limit from 7 to 8. % 108.63/108.84 % 108.63/108.84 Resetting weight limit to 8 after 2005 givens. % 108.63/108.84 % 108.63/108.86 % 108.63/108.86 % 108.63/108.86 Changing weight limit from 8 to 7. % 108.63/108.86 % 108.63/108.86 Resetting weight limit to 7 after 2010 givens. % 108.63/108.86 % 108.63/108.87 % 108.63/108.87 % 108.63/108.87 Changing weight limit from 7 to 8. % 108.63/108.87 % 108.63/108.87 Resetting weight limit to 8 after 2015 givens. % 108.63/108.87 % 108.69/108.88 % 108.69/108.88 % 108.69/108.88 Changing weight limit from 8 to 7. % 108.69/108.88 % 108.69/108.88 Resetting weight limit to 7 after 2020 givens. % 108.69/108.88 % 108.69/108.89 % 108.69/108.89 % 108.69/108.89 Changing weight limit from 7 to 8. % 108.69/108.89 % 108.69/108.89 Resetting weight limit to 8 after 2025 givens. % 108.69/108.89 % 108.69/108.91 % 108.69/108.91 % 108.69/108.91 Changing weight limit from 8 to 7. % 108.69/108.91 % 108.69/108.91 Resetting weight limit to 7 after 2030 givens. % 108.69/108.91 % 108.69/108.92 % 108.69/108.92 % 108.69/108.92 Changing weight limit from 7 to 8. % 108.69/108.92 % 108.69/108.92 Resetting weight limit to 8 after 2035 givens. % 108.69/108.92 % 108.69/108.93 % 108.69/108.93 % 108.69/108.93 Changing weight limit from 8 to 7. % 108.69/108.93 % 108.69/108.93 Resetting weight limit to 7 after 2040 givens. % 108.69/108.93 % 108.69/108.94 % 108.69/108.94 % 108.69/108.94 Changing weight limit from 7 to 8. % 108.69/108.94 % 108.69/108.94 Resetting weight limit to 8 after 2045 givens. % 108.69/108.94 % 108.69/108.95 % 108.69/108.95 % 108.69/108.95 Changing weight limit from 8 to 7. % 108.69/108.95 % 108.69/108.95 Resetting weight limit to 7 after 2050 givens. % 108.69/108.95 % 108.69/108.97 % 108.69/108.97 % 108.69/108.97 Changing weight limit from 7 to 8. % 108.69/108.97 % 108.69/108.97 Resetting weight limit to 8 after 2055 givens. % 108.69/108.97 % 108.80/108.98 % 108.80/108.98 % 108.80/108.98 Changing weight limit from 8 to 7. % 108.80/108.98 % 108.80/108.98 Resetting weight limit to 7 after 2060 givens. % 108.80/108.98 % 108.80/108.99 % 108.80/108.99 % 108.80/108.99 Changing weight limit from 7 to 8. % 108.80/108.99 % 108.80/108.99 Resetting weight limit to 8 after 2065 givens. % 108.80/108.99 % 108.82/109.00 % 108.82/109.00 % 108.82/109.00 Changing weight limit from 8 to 7. % 108.82/109.00 % 108.82/109.00 Resetting weight limit to 7 after 2070 givens. % 108.82/109.00 % 108.82/109.02 % 108.82/109.02 % 108.82/109.02 Changing weight limit from 7 to 8. % 108.82/109.02 % 108.82/109.02 Resetting weight limit to 8 after 2075 givens. % 108.82/109.02 % 108.84/109.03 % 108.84/109.03 % 108.84/109.03 Changing weight limit from 8 to 7. % 108.84/109.03 % 108.84/109.03 Resetting weight limit to 7 after 2080 givens. % 108.84/109.03 % 108.84/109.04 % 108.84/109.04 % 108.84/109.04 Changing weight limit from 7 to 8. % 108.84/109.04 % 108.84/109.04 Resetting weight limit to 8 after 2085 givens. % 108.84/109.04 % 108.84/109.05 % 108.84/109.05 % 108.84/109.05 Changing weight limit from 8 to 7. % 108.84/109.05 % 108.84/109.05 Resetting weight limit to 7 after 2090 givens. % 108.84/109.05 % 108.84/109.07 % 108.84/109.07 % 108.84/109.07 Changing weight limit from 7 to 8. % 108.84/109.07 % 108.84/109.07 Resetting weight limit to 8 after 2095 givens. % 108.84/109.07 % 108.84/109.08 % 108.84/109.08 % 108.84/109.08 Changing weight limit from 8 to 7. % 108.84/109.08 % 108.84/109.08 Resetting weight limit to 7 after 2100 givens. % 108.84/109.08 % 108.84/109.09 % 108.84/109.09 % 108.84/109.09 Changing weight limit from 7 to 8. % 108.84/109.09 % 108.84/109.09 Resetting weight limit to 8 after 2105 givens. % 108.84/109.09 % 108.84/109.10 % 108.84/109.10 % 108.84/109.10 Changing weight limit from 8 to 7. % 108.84/109.10 % 108.84/109.10 Resetting weight limit to 7 after 2110 givens. % 108.84/109.10 % 109.01/109.26 % 109.01/109.26 % 109.01/109.26 Changing weight limit from 7 to 8. % 109.01/109.26 % 109.01/109.26 Resetting weight limit to 8 after 2130 givens. % 109.01/109.26 % 109.12/109.32 % 109.12/109.32 % 109.12/109.32 Changing weight limit from 8 to 7. % 109.12/109.32 % 109.12/109.32 Resetting weight limit to 7 after 2135 givens. % 109.12/109.32 % 109.15/109.38 % 109.15/109.38 % 109.15/109.38 Changing weight limit from 7 to 8. % 109.15/109.38 % 109.15/109.38 Resetting weight limit to 8 after 2140 givens. % 109.15/109.38 % 109.24/109.45 % 109.24/109.45 % 109.24/109.45 Changing weight limit from 8 to 7. % 109.24/109.45 % 109.24/109.45 Resetting weight limit to 7 after 2145 givens. % 109.24/109.45 % 109.32/109.51 % 109.32/109.51 % 109.32/109.51 Changing weight limit from 7 to 8. % 109.32/109.51 % 109.32/109.51 Resetting weight limit to 8 after 2150 givens. % 109.32/109.51 % 109.32/109.57 % 109.32/109.57 % 109.32/109.57 Changing weight limit from 8 to 7. % 109.32/109.57 % 109.32/109.57 Resetting weight limit to 7 after 2155 givens. % 109.32/109.57 % 109.45/109.63 % 109.45/109.63 % 109.45/109.63 Changing weight limit from 7 to 8. % 109.45/109.63 % 109.45/109.63 Resetting weight limit to 8 after 2160 givens. % 109.45/109.63 % 109.45/109.70 % 109.45/109.70 % 109.45/109.70 Changing weight limit from 8 to 7. % 109.45/109.70 % 109.45/109.70 Resetting weight limit to 7 after 2165 givens. % 109.45/109.70 % 109.53/109.76 % 109.53/109.76 % 109.53/109.76 Changing weight limit from 7 to 8. % 109.53/109.76 % 109.53/109.76 Resetting weight limit to 8 after 2170 givens. % 109.53/109.76 % 109.60/109.83 % 109.60/109.83 % 109.60/109.83 Changing weight limit from 8 to 7. % 109.60/109.83 % 109.60/109.83 Resetting weight limit to 7 after 2175 givens. % 109.60/109.83 % 109.70/109.89 % 109.70/109.89 % 109.70/109.89 Changing weight limit from 7 to 8. % 109.70/109.89 % 109.70/109.89 Resetting weight limit to 8 after 2180 givens. % 109.70/109.89 % 109.73/109.92 % 109.73/109.92 % 109.73/109.92 Changing weight limit from 8 to 7. % 109.73/109.92 % 109.73/109.92 Resetting weight limit to 7 after 2185 givens. % 109.73/109.92 % 109.75/109.94 % 109.75/109.94 % 109.75/109.94 Changing weight limit from 7 to 8. % 109.75/109.94 % 109.75/109.94 Resetting weight limit to 8 after 2195 givens. % 109.75/109.94 % 110.11/110.35 % 110.11/110.35 % 110.11/110.35 Changing weight limit from 8 to 7. % 110.11/110.35 % 110.11/110.35 Resetting weight limit to 7 after 2235 givens. % 110.11/110.35 % 110.21/110.38 % 110.21/110.38 % 110.21/110.38 Changing weight limit from 7 to 8. % 110.21/110.38 % 110.21/110.38 Resetting weight limit to 8 after 2245 givens. % 110.21/110.38 % 113.23/113.44 % 113.23/113.44 % 113.23/113.44 Changing weight limit from 8 to 7. % 113.23/113.44 % 113.23/113.44 Resetting weight limit to 7 after 2550 givens. % 113.23/113.44 % 113.30/113.52 % 113.30/113.52 % 113.30/113.52 Changing weight limit from 7 to 8. % 113.30/113.52 % 113.30/113.52 Resetting weight limit to 8 after 2555 givens. % 113.30/113.52 % 113.40/113.60 % 113.40/113.60 % 113.40/113.60 Changing weight limit from 8 to 7. % 113.40/113.60 % 113.40/113.60 Resetting weight limit to 7 after 2560 givens. % 113.40/113.60 % 113.44/113.69 % 113.44/113.69 % 113.44/113.69 Changing weight limit from 7 to 8. % 113.44/113.69 % 113.44/113.69 Resetting weight limit to 8 after 2565 givens. % 113.44/113.69 % 113.53/113.77 % 113.53/113.77 % 113.53/113.77 Changing weight limit from 8 to 7. % 113.53/113.77 % 113.53/113.77 Resetting weight limit to 7 after 2570 givens. % 113.53/113.77 % 113.62/113.85 % 113.62/113.85 % 113.62/113.85 Changing weight limit from 7 to 8. % 113.62/113.85 % 113.62/113.85 Resetting weight limit to 8 after 2575 givens. % 113.62/113.85 % 113.73/113.93 % 113.73/113.93 % 113.73/113.93 Changing weight limit from 8 to 7. % 113.73/113.93 % 113.73/113.93 Resetting weight limit to 7 after 2580 givens. % 113.73/113.93 % 113.82/114.00 % 113.82/114.00 % 113.82/114.00 Changing weight limit from 7 to 8. % 113.82/114.00 % 113.82/114.00 Resetting weight limit to 8 after 2585 givens. % 113.82/114.00 % 114.32/114.50 % 114.32/114.50 % 114.32/114.50 Changing weight limit from 8 to 7. % 114.32/114.50 % 114.32/114.50 Resetting weight limit to 7 after 2615 givens. % 114.32/114.50 % 114.32/114.58 % 114.32/114.58 % 114.32/114.58 Changing weight limit from 7 to 8. % 114.32/114.58 % 114.32/114.58 Resetting weight limit to 8 after 2620 givens. % 114.32/114.58 % 114.42/114.67 % 114.42/114.67 % 114.42/114.67 Changing weight limit from 8 to 7. % 114.42/114.67 % 114.42/114.67 Resetting weight limit to 7 after 2625 givens. % 114.42/114.67 % 114.53/114.75 % 114.53/114.75 % 114.53/114.75 Changing weight limit from 7 to 8. % 114.53/114.75 % 114.53/114.75 Resetting weight limit to 8 after 2630 givens. % 114.53/114.75 % 114.62/114.84 % 114.62/114.84 % 114.62/114.84 Changing weight limit from 8 to 7. % 114.62/114.84 % 114.62/114.84 Resetting weight limit to 7 after 2635 givens. % 114.62/114.84 % 114.71/114.92 % 114.71/114.92 % 114.71/114.92 Changing weight limit from 7 to 8. % 114.71/114.92 % 114.71/114.92 Resetting weight limit to 8 after 2640 givens. % 114.71/114.92 % 114.82/115.01 % 114.82/115.01 % 114.82/115.01 Changing weight limit from 8 to 7. % 114.82/115.01 % 114.82/115.01 Resetting weight limit to 7 after 2645 givens. % 114.82/115.01 % 114.85/115.08 % 114.85/115.08 % 114.85/115.08 Changing weight limit from 7 to 8. % 114.85/115.08 % 114.85/115.08 Resetting weight limit to 8 after 2650 givens. % 114.85/115.08 % 117.94/118.16 % 117.94/118.16 % 117.94/118.16 Changing weight limit from 8 to 7. % 117.94/118.16 % 117.94/118.16 Resetting weight limit to 7 after 2840 givens. % 117.94/118.16 % 118.03/118.26 % 118.03/118.26 % 118.03/118.26 Changing weight limit from 7 to 8. % 118.03/118.26 % 118.03/118.26 Resetting weight limit to 8 after 2845 givens. % 118.03/118.26 % 118.12/118.36 % 118.12/118.36 % 118.12/118.36 Changing weight limit from 8 to 7. % 118.12/118.36 % 118.12/118.36 Resetting weight limit to 7 after 2850 givens. % 118.12/118.36 % 118.20/118.45 % 118.20/118.45 % 118.20/118.45 Changing weight limit from 7 to 8. % 118.20/118.45 % 118.20/118.45 Resetting weight limit to 8 after 2855 givens. % 118.20/118.45 % 118.33/118.56 % 118.33/118.56 % 118.33/118.56 Changing weight limit from 8 to 7. % 118.33/118.56 % 118.33/118.56 Resetting weight limit to 7 after 2860 givens. % 118.33/118.56 % 118.43/118.65 % 118.43/118.65 % 118.43/118.65 Changing weight limit from 7 to 8. % 118.43/118.65 % 118.43/118.65 Resetting weight limit to 8 after 2865 givens. % 118.43/118.65 % 119.09/119.28 % 119.09/119.28 % 119.09/119.28 Changing weight limit from 8 to 7. % 119.09/119.28 % 119.09/119.28 Resetting weight limit to 7 after 2930 givens. % 119.09/119.28 % 119.14/119.36 % 119.14/119.36 % 119.14/119.36 Changing weight limit from 7 to 8. % 119.14/119.36 % 119.14/119.36 Resetting weight limit to 8 after 2935 givens. % 119.14/119.36 % 119.79/120.00 % 119.79/120.00 % 119.79/120.00 Changing weight limit from 8 to 7. % 119.79/120.00 % 119.79/120.00 Resetting weight limit to 7 after 3000 givens. % 119.79/120.00 % 119.86/120.08 % 119.86/120.08 % 119.86/120.08 Changing weight limit from 7 to 8. % 119.86/120.08 % 119.86/120.08 Resetting weight limit to 8 after 3005 givens. % 119.86/120.08 % 120.02/120.25 % 120.02/120.25 % 120.02/120.25 Changing weight limit from 8 to 7. % 120.02/120.25 % 120.02/120.25 Resetting weight limit to 7 after 3015 givens. % 120.02/120.25 % 120.16/120.35 % 120.16/120.35 % 120.16/120.35 Changing weight limit from 7 to 8. % 120.16/120.35 % 120.16/120.35 Resetting weight limit to 8 after 3020 givens. % 120.16/120.35 % 120.25/120.46 % 120.25/120.46 % 120.25/120.46 Changing weight limit from 8 to 7. % 120.25/120.46 % 120.25/120.46 Resetting weight limit to 7 after 3025 givens. % 120.25/120.46 % 120.39/120.56 % 120.39/120.56 % 120.39/120.56 Changing weight limit from 7 to 8. % 120.39/120.56 % 120.39/120.56 Resetting weight limit to 8 after 3030 givens. % 120.39/120.56 % 120.47/120.67 % 120.47/120.67 % 120.47/120.67 Changing weight limit from 8 to 7. % 120.47/120.67 % 120.47/120.67 Resetting weight limit to 7 after 3035 givens. % 120.47/120.67 % 120.54/120.77 % 120.54/120.77 % 120.54/120.77 Changing weight limit from 7 to 8. % 120.54/120.77 % 120.54/120.77 Resetting weight limit to 8 after 3040 givens. % 120.54/120.77 % 120.70/120.88 % 120.70/120.88 % 120.70/120.88 Changing weight limit from 8 to 7. % 120.70/120.88 % 120.70/120.88 Resetting weight limit to 7 after 3045 givens. % 120.70/120.88 % 120.75/120.99 % 120.75/120.99 % 120.75/120.99 Changing weight limit from 7 to 8. % 120.75/120.99 % 120.75/120.99 Resetting weight limit to 8 after 3050 givens. % 120.75/120.99 % 120.91/121.10 % 120.91/121.10 % 120.91/121.10 Changing weight limit from 8 to 7. % 120.91/121.10 % 120.91/121.10 Resetting weight limit to 7 after 3055 givens. % 120.91/121.10 % 121.02/121.21 % 121.02/121.21 % 121.02/121.21 Changing weight limit from 7 to 8. % 121.02/121.21 % 121.02/121.21 Resetting weight limit to 8 after 3060 givens. % 121.02/121.21 % 121.14/121.32 % 121.14/121.32 % 121.14/121.32 Changing weight limit from 8 to 7. % 121.14/121.32 % 121.14/121.32 Resetting weight limit to 7 after 3065 givens. % 121.14/121.32 % 121.22/121.42 % 121.22/121.42 % 121.22/121.42 Changing weight limit from 7 to 8. % 121.22/121.42 % 121.22/121.42 Resetting weight limit to 8 after 3070 givens. % 121.22/121.42 % 121.34/121.53 % 121.34/121.53 % 121.34/121.53 Changing weight limit from 8 to 7. % 121.34/121.53 % 121.34/121.53 Resetting weight limit to 7 after 3075 givens. % 121.34/121.53 % 121.43/121.60 % 121.43/121.60 % 121.43/121.60 Changing weight limit from 7 to 8. % 121.43/121.60 % 121.43/121.60 Resetting weight limit to 8 after 3080 givens. % 121.43/121.60 % 125.93/126.10 % 125.93/126.10 % 125.93/126.10 Changing weight limit from 8 to 7. % 125.93/126.10 % 125.93/126.10 Resetting weight limit to 7 after 3275 givens. % 125.93/126.10 % 126.00/126.22 % 126.00/126.22 % 126.00/126.22 Changing weight limit from 7 to 8. % 126.00/126.22 % 126.00/126.22 Resetting weight limit to 8 after 3280 givens. % 126.00/126.22 % 126.15/126.34 % 126.15/126.34 % 126.15/126.34 Changing weight limit from 8 to 7. % 126.15/126.34 % 126.15/126.34 Resetting weight limit to 7 after 3285 givens. % 126.15/126.34 % 126.23/126.46 % 126.23/126.46 % 126.23/126.46 Changing weight limit from 7 to 8. % 126.23/126.46 % 126.23/126.46 Resetting weight limit to 8 after 3290 givens. % 126.23/126.46 % 126.42/126.59 % 126.42/126.59 % 126.42/126.59 Changing weight limit from 8 to 7. % 126.42/126.59 % 126.42/126.59 Resetting weight limit to 7 after 3295 givens. % 126.42/126.59 % 126.47/126.71 % 126.47/126.71 % 126.47/126.71 Changing weight limit from 7 to 8. % 126.47/126.71 % 126.47/126.71 Resetting weight limit to 8 after 3300 givens. % 126.47/126.71 % 126.61/126.83 % 126.61/126.83 % 126.61/126.83 Changing weight limit from 8 to 7. % 126.61/126.83 % 126.61/126.83 Resetting weight limit to 7 after 3305 givens. % 126.61/126.83 % 126.76/126.96 % 126.76/126.96 % 126.76/126.96 Changing weight limit from 7 to 8. % 126.76/126.96 % 126.76/126.96 Resetting weight limit to 8 after 3310 givens. % 126.76/126.96 % 126.85/127.08 % 126.85/127.08 % 126.85/127.08 Changing weight limit from 8 to 7. % 126.85/127.08 % 126.85/127.08 Resetting weight limit to 7 after 3315 givens. % 126.85/127.08 % 127.02/127.21 % 127.02/127.21 % 127.02/127.21 Changing weight limit from 7 to 8. % 127.02/127.21 % 127.02/127.21 Resetting weight limit to 8 after 3320 givens. % 127.02/127.21 % 127.13/127.33 % 127.13/127.33 % 127.13/127.33 Changing weight limit from 8 to 7. % 127.13/127.33 % 127.13/127.33 Resetting weight limit to 7 after 3325 givens. % 127.13/127.33 % 127.20/127.46 % 127.20/127.46 % 127.20/127.46 Changing weight limit from 7 to 8. % 127.20/127.46 % 127.20/127.46 Resetting weight limit to 8 after 3330 givens. % 127.20/127.46 % 127.37/127.58 % 127.37/127.58 % 127.37/127.58 Changing weight limit from 8 to 7. % 127.37/127.58 % 127.37/127.58 Resetting weight limit to 7 after 3335 givens. % 127.37/127.58 % 127.51/127.71 % 127.51/127.71 % 127.51/127.71 Changing weight limit from 7 to 8. % 127.51/127.71 % 127.51/127.71 Resetting weight limit to 8 after 3340 givens. % 127.51/127.71 % 127.65/127.84 % 127.65/127.84 % 127.65/127.84 Changing weight limit from 8 to 7. % 127.65/127.84 % 127.65/127.84 Resetting weight limit to 7 after 3345 givens. % 127.65/127.84 % 127.75/127.96 % 127.75/127.96 % 127.75/127.96 Changing weight limit from 7 to 8. % 127.75/127.96 % 127.75/127.96 Resetting weight limit to 8 after 3350 givens. % 127.75/127.96 % 127.91/128.09 % 127.91/128.09 % 127.91/128.09 Changing weight limit from 8 to 7. % 127.91/128.09 % 127.91/128.09 Resetting weight limit to 7 after 3355 givens. % 127.91/128.09 % 127.96/128.21 % 127.96/128.21 % 127.96/128.21 Changing weight limit from 7 to 8. % 127.96/128.21 % 127.96/128.21 Resetting weight limit to 8 after 3360 givens. % 127.96/128.21 % 128.13/128.34 % 128.13/128.34 % 128.13/128.34 Changing weight limit from 8 to 7. % 128.13/128.34 % 128.13/128.34 Resetting weight limit to 7 after 3365 givens. % 128.13/128.34 % 128.24/128.47 % 128.24/128.47 % 128.24/128.47 Changing weight limit from 7 to 8. % 128.24/128.47 % 128.24/128.47 Resetting weight limit to 8 after 3370 givens. % 128.24/128.47 % 128.42/128.60 % 128.42/128.60 % 128.42/128.60 Changing weight limit from 8 to 7. % 128.42/128.60 % 128.42/128.60 Resetting weight limit to 7 after 3375 givens. % 128.42/128.60 % 128.54/128.73 % 128.54/128.73 % 128.54/128.73 Changing weight limit from 7 to 8. % 128.54/128.73 % 128.54/128.73 Resetting weight limit to 8 after 3380 givens. % 128.54/128.73 % 128.65/128.86 % 128.65/128.86 % 128.65/128.86 Changing weight limit from 8 to 7. % 128.65/128.86 % 128.65/128.86 Resetting weight limit to 7 after 3385 givens. % 128.65/128.86 % 128.74/128.99 % 128.74/128.99 % 128.74/128.99 Changing weight limit from 7 to 8. % 128.74/128.99 % 128.74/128.99 Resetting weight limit to 8 after 3390 givens. % 128.74/128.99 % 128.91/129.12 % 128.91/129.12 % 128.91/129.12 Changing weight limit from 8 to 7. % 128.91/129.12 % 128.91/129.12 Resetting weight limit to 7 after 3395 givens. % 128.91/129.12 % 129.04/129.24 % 129.04/129.24 % 129.04/129.24 Changing weight limit from 7 to 8. % 129.04/129.24 % 129.04/129.24 Resetting weight limit to 8 after 3400 givens. % 129.04/129.24 % 131.61/131.86 % 131.61/131.86 % 131.61/131.86 Changing weight limit from 8 to 7. % 131.61/131.86 % 131.61/131.86 Resetting weight limit to 7 after 3500 givens. % 131.61/131.86 % 131.75/131.95 % 131.75/131.95 % 131.75/131.95 Changing weight limit from 7 to 8. % 131.75/131.95 % 131.75/131.95 Resetting weight limit to 8 after 3505 givens. % 131.75/131.95 % 131.91/132.08 % 131.91/132.08 % 131.91/132.08 Changing weight limit from 8 to 7. % 131.91/132.08 % 131.91/132.08 Resetting weight limit to 7 after 3510 givens. % 131.91/132.08 % 132.04/132.22 % 132.04/132.22 % 132.04/132.22 Changing weight limit from 7 to 8. % 132.04/132.22 % 132.04/132.22 Resetting weight limit to 8 after 3515 givens. % 132.04/132.22 % 132.15/132.36 % 132.15/132.36 % 132.15/132.36 Changing weight limit from 8 to 7. % 132.15/132.36 % 132.15/132.36 Resetting weight limit to 7 after 3520 givens. % 132.15/132.36 % 132.31/132.49 % 132.31/132.49 % 132.31/132.49 Changing weight limit from 7 to 8. % 132.31/132.49 % 132.31/132.49 Resetting weight limit to 8 after 3525 givens. % 132.31/132.49 % 132.46/132.63 % 132.46/132.63 % 132.46/132.63 Changing weight limit from 8 to 7. % 132.46/132.63 % 132.46/132.63 Resetting weight limit to 7 after 3530 givens. % 132.46/132.63 % 132.61/132.77 % 132.61/132.77 % 132.61/132.77 Changing weight limit from 7 to 8. % 132.61/132.77 % 132.61/132.77 Resetting weight limit to 8 after 3535 givens. % 132.61/132.77 % 132.68/132.91 % 132.68/132.91 % 132.68/132.91 Changing weight limit from 8 to 7. % 132.68/132.91 % 132.68/132.91 Resetting weight limit to 7 after 3540 givens. % 132.68/132.91 % 132.83/133.05 % 132.83/133.05 % 132.83/133.05 Changing weight limit from 7 to 8. % 132.83/133.05 % 132.83/133.05 Resetting weight limit to 8 after 3545 givens. % 132.83/133.05 % 132.98/133.19 % 132.98/133.19 % 132.98/133.19 Changing weight limit from 8 to 7. % 132.98/133.19 % 132.98/133.19 Resetting weight limit to 7 after 3550 givens. % 132.98/133.19 % 133.13/133.33 % 133.13/133.33 % 133.13/133.33 Changing weight limit from 7 to 8. % 133.13/133.33 % 133.13/133.33 Resetting weight limit to 8 after 3555 givens. % 133.13/133.33 % 133.29/133.47 % 133.29/133.47 % 133.29/133.47 Changing weight limit from 8 to 7. % 133.29/133.47 % 133.29/133.47 Resetting weight limit to 7 after 3560 givens. % 133.29/133.47 % 133.42/133.61 % 133.42/133.61 % 133.42/133.61 Changing weight limit from 7 to 8. % 133.42/133.61 % 133.42/133.61 Resetting weight limit to 8 after 3565 givens. % 133.42/133.61 % 133.59/133.75 % 133.59/133.75 % 133.59/133.75 Changing weight limit from 8 to 7. % 133.59/133.75 % 133.59/133.75 Resetting weight limit to 7 after 3570 givens. % 133.59/133.75 % 133.72/133.89 % 133.72/133.89 % 133.72/133.89 Changing weight limit from 7 to 8. % 133.72/133.89 % 133.72/133.89 Resetting weight limit to 8 after 3575 givens. % 133.72/133.89 % 133.86/134.03 % 133.86/134.03 % 133.86/134.03 Changing weight limit from 8 to 7. % 133.86/134.03 % 133.86/134.03 Resetting weight limit to 7 after 3580 givens. % 133.86/134.03 % 134.01/134.17 % 134.01/134.17 % 134.01/134.17 Changing weight limit from 7 to 8. % 134.01/134.17 % 134.01/134.17 Resetting weight limit to 8 after 3585 givens. % 134.01/134.17 % 134.12/134.31 % 134.12/134.31 % 134.12/134.31 Changing weight limit from 8 to 7. % 134.12/134.31 % 134.12/134.31 Resetting weight limit to 7 after 3590 givens. % 134.12/134.31 % 134.26/134.45 % 134.26/134.45 % 134.26/134.45 Changing weight limit from 7 to 8. % 134.26/134.45 % 134.26/134.45 Resetting weight limit to 8 after 3595 givens. % 134.26/134.45 % 134.43/134.60 % 134.43/134.60 % 134.43/134.60 Changing weight limit from 8 to 7. % 134.43/134.60 % 134.43/134.60 Resetting weight limit to 7 after 3600 givens. % 134.43/134.60 % 134.54/134.74 % 134.54/134.74 % 134.54/134.74 Changing weight limit from 7 to 8. % 134.54/134.74 % 134.54/134.74 Resetting weight limit to 8 after 3605 givens. % 134.54/134.74 % 134.70/134.89 % 134.70/134.89 % 134.70/134.89 Changing weight limit from 8 to 7. % 134.70/134.89 % 134.70/134.89 Resetting weight limit to 7 after 3610 givens. % 134.70/134.89 % 134.86/135.03 % 134.86/135.03 % 134.86/135.03 Changing weight limit from 7 to 8. % 134.86/135.03 % 134.86/135.03 Resetting weight limit to 8 after 3615 givens. % 134.86/135.03 % 135.01/135.18 % 135.01/135.18 % 135.01/135.18 Changing weight limit from 8 to 7. % 135.01/135.18 % 135.01/135.18 Resetting weight limit to 7 after 3620 givens. % 135.01/135.18 % 135.14/135.32 % 135.14/135.32 % 135.14/135.32 Changing weight limit from 7 to 8. % 135.14/135.32 % 135.14/135.32 Resetting weight limit to 8 after 3625 givens. % 135.14/135.32 % 135.22/135.47 % 135.22/135.47 % 135.22/135.47 Changing weight limit from 8 to 7. % 135.22/135.47 % 135.22/135.47 Resetting weight limit to 7 after 3630 givens. % 135.22/135.47 % 135.36/135.53 % 135.36/135.53 % 135.36/135.53 Changing weight limit from 7 to 8. % 135.36/135.53 % 135.36/135.53 Resetting weight limit to 8 after 3635 givens. % 135.36/135.53 % 135.45/135.67 % 135.45/135.67 % 135.45/135.67 Changing weight limit from 8 to 7. % 135.45/135.67 % 135.45/135.67 Resetting weight limit to 7 after 3640 givens. % 135.45/135.67 % 135.64/135.82 % 135.64/135.82 % 135.64/135.82 Changing weight limit from 7 to 8. % 135.64/135.82 % 135.64/135.82 Resetting weight limit to 8 after 3645 givens. % 135.64/135.82 % 135.75/135.97 % 135.75/135.97 % 135.75/135.97 Changing weight limit from 8 to 7. % 135.75/135.97 % 135.75/135.97 Resetting weight limit to 7 after 3650 givens. % 135.75/135.97 % 135.92/136.11 % 135.92/136.11 % 135.92/136.11 Changing weight limit from 7 to 8. % 135.92/136.11 % 135.92/136.11 Resetting weight limit to 8 after 3655 givens. % 135.92/136.11 % 136.07/136.26 % 136.07/136.26 % 136.07/136.26 Changing weight limit from 8 to 7. % 136.07/136.26 % 136.07/136.26 Resetting weight limit to 7 after 3660 givens. % 136.07/136.26 % 136.24/136.40 % 136.24/136.40 % 136.24/136.40 Changing weight limit from 7 to 8. % 136.24/136.40 % 136.24/136.40 Resetting weight limit to 8 after 3665 givens. % 136.24/136.40 % 136.37/136.55 % 136.37/136.55 % 136.37/136.55 Changing weight limit from 8 to 7. % 136.37/136.55 % 136.37/136.55 Resetting weight limit to 7 after 3670 givens. % 136.37/136.55 % 136.52/136.70 % 136.52/136.70 % 136.52/136.70 Changing weight limit from 7 to 8. % 136.52/136.70 % 136.52/136.70 Resetting weight limit to 8 after 3675 givens. % 136.52/136.70 % 136.67/136.85 % 136.67/136.85 % 136.67/136.85 Changing weight limit from 8 to 7. % 136.67/136.85 % 136.67/136.85 Resetting weight limit to 7 after 3680 givens. % 136.67/136.85 % 136.81/136.99 % 136.81/136.99 % 136.81/136.99 Changing weight limit from 7 to 8. % 136.81/136.99 % 136.81/136.99 Resetting weight limit to 8 after 3685 givens. % 136.81/136.99 % 136.97/137.14 % 136.97/137.14 % 136.97/137.14 Changing weight limit from 8 to 7. % 136.97/137.14 % 136.97/137.14 Resetting weight limit to 7 after 3690 givens. % 136.97/137.14 % 137.11/137.29 % 137.11/137.29 % 137.11/137.29 Changing weight limit from 7 to 8. % 137.11/137.29 % 137.11/137.29 Resetting weight limit to 8 after 3695 givens. % 137.11/137.29 % 137.18/137.38 % 137.18/137.38 % 137.18/137.38 Changing weight limit from 8 to 7. % 137.18/137.38 % 137.18/137.38 Resetting weight limit to 7 after 3700 givens. % 137.18/137.38 % 137.31/137.53 % 137.31/137.53 % 137.31/137.53 Changing weight limit from 7 to 8. % 137.31/137.53 % 137.31/137.53 Resetting weight limit to 8 after 3705 givens. % 137.31/137.53 % 137.48/137.68 % 137.48/137.68 % 137.48/137.68 Changing weight limit from 8 to 7. % 137.48/137.68 % 137.48/137.68 Resetting weight limit to 7 after 3710 givens. % 137.48/137.68 % 137.62/137.83 % 137.62/137.83 % 137.62/137.83 Changing weight limit from 7 to 8. % 137.62/137.83 % 137.62/137.83 Resetting weight limit to 8 after 3715 givens. % 137.62/137.83 % 137.77/137.98 % 137.77/137.98 % 137.77/137.98 Changing weight limit from 8 to 7. % 137.77/137.98 % 137.77/137.98 Resetting weight limit to 7 after 3720 givens. % 137.77/137.98 % 137.91/138.13 % 137.91/138.13 % 137.91/138.13 Changing weight limit from 7 to 8. % 137.91/138.13 % 137.91/138.13 Resetting weight limit to 8 after 3725 givens. % 137.91/138.13 % 138.07/138.28 % 138.07/138.28 % 138.07/138.28 Changing weight limit from 8 to 7. % 138.07/138.28 % 138.07/138.28 Resetting weight limit to 7 after 3730 givens. % 138.07/138.28 % 138.22/138.43 % 138.22/138.43 % 138.22/138.43 Changing weight limit from 7 to 8. % 138.22/138.43 % 138.22/138.43 Resetting weight limit to 8 after 3735 givens. % 138.22/138.43 % 138.35/138.59 % 138.35/138.59 % 138.35/138.59 Changing weight limit from 8 to 7. % 138.35/138.59 % 138.35/138.59 Resetting weight limit to 7 after 3740 givens. % 138.35/138.59 % 138.52/138.74 % 138.52/138.74 % 138.52/138.74 Changing weight limit from 7 to 8. % 138.52/138.74 % 138.52/138.74 Resetting weight limit to 8 after 3745 givens. % 138.52/138.74 % 138.67/138.89 % 138.67/138.89 % 138.67/138.89 Changing weight limit from 8 to 7. % 138.67/138.89 % 138.67/138.89 Resetting weight limit to 7 after 3750 givens. % 138.67/138.89 % 138.84/139.05 % 138.84/139.05 % 138.84/139.05 Changing weight limit from 7 to 8. % 138.84/139.05 % 138.84/139.05 Resetting weight limit to 8 after 3755 givens. % 138.84/139.05 % 138.96/139.20 % 138.96/139.20 % 138.96/139.20 Changing weight limit from 8 to 7. % 138.96/139.20 % 138.96/139.20 Resetting weight limit to 7 after 3760 givens. % 138.96/139.20 % 139.26/139.47 % 139.26/139.47 % 139.26/139.47 Changing weight limit from 7 to 8. % 139.26/139.47 % 139.26/139.47 Resetting weight limit to 8 after 3770 givens. % 139.26/139.47 % 139.43/139.63 % 139.43/139.63 % 139.43/139.63 Changing weight limit from 8 to 7. % 139.43/139.63 % 139.43/139.63 Resetting weight limit to 7 after 3775 givens. % 139.43/139.63 % 139.56/139.79 % 139.56/139.79 % 139.56/139.79 Changing weight limit from 7 to 8. % 139.56/139.79 % 139.56/139.79 Resetting weight limit to 8 after 3780 givens. % 139.56/139.79 % 139.73/139.94 % 139.73/139.94 % 139.73/139.94 Changing weight limit from 8 to 7. % 139.73/139.94 % 139.73/139.94 Resetting weight limit to 7 after 3785 givens. % 139.73/139.94 % 139.88/140.09 % 139.88/140.09 % 139.88/140.09 Changing weight limit from 7 to 8. % 139.88/140.09 % 139.88/140.09 Resetting weight limit to 8 after 3790 givens. % 139.88/140.09 % 140.02/140.25 % 140.02/140.25 % 140.02/140.25 Changing weight limit from 8 to 7. % 140.02/140.25 % 140.02/140.25 Resetting weight limit to 7 after 3795 givens. % 140.02/140.25 % 140.17/140.41 % 140.17/140.41 % 140.17/140.41 Changing weight limit from 7 to 8. % 140.17/140.41 % 140.17/140.41 Resetting weight limit to 8 after 3800 givens. % 140.17/140.41 % 140.32/140.56 % 140.32/140.56 % 140.32/140.56 Changing weight limit from 8 to 7. % 140.32/140.56 % 140.32/140.56 Resetting weight limit to 7 after 3805 givens. % 140.32/140.56 % 140.55/140.72 % 140.55/140.72 % 140.55/140.72 Changing weight limit from 7 to 8. % 140.55/140.72 % 140.55/140.72 Resetting weight limit to 8 after 3810 givens. % 140.55/140.72 % 140.69/140.88 % 140.69/140.88 % 140.69/140.88 Changing weight limit from 8 to 7. % 140.69/140.88 % 140.69/140.88 Resetting weight limit to 7 after 3815 givens. % 140.69/140.88 % 140.85/141.03 % 140.85/141.03 % 140.85/141.03 Changing weight limit from 7 to 8. % 140.85/141.03 % 140.85/141.03 Resetting weight limit to 8 after 3820 givens. % 140.85/141.03 % 141.01/141.19 % 141.01/141.19 % 141.01/141.19 Changing weight limit from 8 to 7. % 141.01/141.19 % 141.01/141.19 Resetting weight limit to 7 after 3825 givens. % 141.01/141.19 % 141.30/141.47 % 141.30/141.47 % 141.30/141.47 Changing weight limit from 7 to 8. % 141.30/141.47 % 141.30/141.47 Resetting weight limit to 8 after 3835 givens. % 141.30/141.47 % 141.45/141.63 % 141.45/141.63 % 141.45/141.63 Changing weight limit from 8 to 7. % 141.45/141.63 % 141.45/141.63 Resetting weight limit to 7 after 3840 givens. % 141.45/141.63 % 141.62/141.79 % 141.62/141.79 % 141.62/141.79 Changing weight limit from 7 to 8. % 141.62/141.79 % 141.62/141.79 Resetting weight limit to 8 after 3845 givens. % 141.62/141.79 % 141.75/141.95 % 141.75/141.95 % 141.75/141.95 Changing weight limit from 8 to 7. % 141.75/141.95 % 141.75/141.95 Resetting weight limit to 7 after 3850 givens. % 141.75/141.95 % 141.91/142.11 % 141.91/142.11 % 141.91/142.11 Changing weight limit from 7 to 8. % 141.91/142.11 % 141.91/142.11 Resetting weight limit to 8 after 3855 givens. % 141.91/142.11 % 142.06/142.27 % 142.06/142.27 % 142.06/142.27 Changing weight limit from 8 to 7. % 142.06/142.27 % 142.06/142.27 Resetting weight limit to 7 after 3860 givens. % 142.06/142.27 % 142.23/142.43 % 142.23/142.43 % 142.23/142.43 Changing weight limit from 7 to 8. % 142.23/142.43 % 142.23/142.43 Resetting weight limit to 8 after 3865 givens. % 142.23/142.43 % 142.35/142.59 % 142.35/142.59 % 142.35/142.59 Changing weight limit from 8 to 7. % 142.35/142.59 % 142.35/142.59 Resetting weight limit to 7 after 3870 givens. % 142.35/142.59 % 142.53/142.75 % 142.53/142.75 % 142.53/142.75 Changing weight limit from 7 to 8. % 142.53/142.75 % 142.53/142.75 Resetting weight limit to 8 after 3875 givens. % 142.53/142.75 % 142.66/142.92 % 142.66/142.92 % 142.66/142.92 Changing weight limit from 8 to 7. % 142.66/142.92 % 142.66/142.92 Resetting weight limit to 7 after 3880 givens. % 142.66/142.92 % 142.91/143.08 % 142.91/143.08 % 142.91/143.08 Changing weight limit from 7 to 8. % 142.91/143.08 % 142.91/143.08 Resetting weight limit to 8 after 3885 givens. % 142.91/143.08 % 143.06/143.24 % 143.06/143.24 % 143.06/143.24 Changing weight limit from 8 to 7. % 143.06/143.24 % 143.06/143.24 Resetting weight limit to 7 after 3890 givens. % 143.06/143.24 % 143.28/143.47 % 143.28/143.47 % 143.28/143.47 Changing weight limit from 7 to 8. % 143.28/143.47 % 143.28/143.47 Resetting weight limit to 8 after 3900 givens. % 143.28/143.47 % 144.41/144.58 % 144.41/144.58 % 144.41/144.58 Changing weight limit from 8 to 7. % 144.41/144.58 % 144.41/144.58 Resetting weight limit to 7 after 3935 givens. % 144.41/144.58 % 144.71/144.87 % 144.71/144.87 % 144.71/144.87 Changing weight limit from 7 to 8. % 144.71/144.87 % 144.71/144.87 Resetting weight limit to 8 after 3945 givens. % 144.71/144.87 % 144.86/145.04 % 144.86/145.04 % 144.86/145.04 Changing weight limit from 8 to 7. % 144.86/145.04 % 144.86/145.04 Resetting weight limit to 7 after 3950 givens. % 144.86/145.04 % 145.04/145.21 % 145.04/145.21 % 145.04/145.21 Changing weight limit from 7 to 8. % 145.04/145.21 % 145.04/145.21 Resetting weight limit to 8 after 3955 givens. % 145.04/145.21 % 145.16/145.35 % 145.16/145.35 % 145.16/145.35 Changing weight limit from 8 to 7. % 145.16/145.35 % 145.16/145.35 Resetting weight limit to 7 after 3965 givens. % 145.16/145.35 % 145.35/145.52 % 145.35/145.52 % 145.35/145.52 Changing weight limit from 7 to 8. % 145.35/145.52 % 145.35/145.52 Resetting weight limit to 8 after 3970 givens. % 145.35/145.52 % 145.46/145.68 % 145.46/145.68 % 145.46/145.68 Changing weight limit from 8 to 7. % 145.46/145.68 % 145.46/145.68 Resetting weight limit to 7 after 3975 givens. % 145.46/145.68 % 145.63/145.85 % 145.63/145.85 % 145.63/145.85 Changing weight limit from 7 to 8. % 145.63/145.85 % 145.63/145.85 Resetting weight limit to 8 after 3980 givens. % 145.63/145.85 % 145.85/146.02 % 145.85/146.02 % 145.85/146.02 Changing weight limit from 8 to 7. % 145.85/146.02 % 145.85/146.02 Resetting weight limit to 7 after 3985 givens. % 145.85/146.02 % 146.02/146.19 % 146.02/146.19 % 146.02/146.19 Changing weight limit from 7 to 8. % 146.02/146.19 % 146.02/146.19 Resetting weight limit to 8 after 3990 givens. % 146.02/146.19 % 146.16/146.36 % 146.16/146.36 % 146.16/146.36 Changing weight limit from 8 to 7. % 146.16/146.36 % 146.16/146.36 Resetting weight limit to 7 after 3995 givens. % 146.16/146.36 % 146.36/146.53 % 146.36/146.53 % 146.36/146.53 Changing weight limit from 7 to 8. % 146.36/146.53 % 146.36/146.53 Resetting weight limit to 8 after 4000 givens. % 146.36/146.53 % 146.45/146.63 % 146.45/146.63 % 146.45/146.63 Changing weight limit from 8 to 7. % 146.45/146.63 % 146.45/146.63 Resetting weight limit to 7 after 4005 givens. % 146.45/146.63 % 146.82/147.04 % 146.82/147.04 % 146.82/147.04 Changing weight limit from 7 to 8. % 146.82/147.04 % 146.82/147.04 Resetting weight limit to 8 after 4025 givens. % 146.82/147.04 % 146.91/147.08 % 146.91/147.08 % 146.91/147.08 Changing weight limit from 8 to 7. % 146.91/147.08 % 146.91/147.08 Resetting weight limit to 7 after 4030 givens. % 146.91/147.08 % 146.97/147.19 % 146.97/147.19 % 146.97/147.19 Changing weight limit from 7 to 8. % 146.97/147.19 % 146.97/147.19 Resetting weight limit to 8 after 4035 givens. % 146.97/147.19 % 148.63/148.81 % 148.63/148.81 % 148.63/148.81 Changing weight limit from 8 to 7. % 148.63/148.81 % 148.63/148.81 Resetting weight limit to 7 after 4095 givens. % 148.63/148.81 % 148.72/148.89 % 148.72/148.89 % 148.72/148.89 Changing weight limit from 7 to 8. % 148.72/148.89 % 148.72/148.89 Resetting weight limit to 8 after 4100 givens. % 148.72/148.89 % 148.86/149.03 % 148.86/149.03 % 148.86/149.03 Changing weight limit from 8 to 7. % 148.86/149.03 % 148.86/149.03 Resetting weight limit to 7 after 4105 givens. % 148.86/149.03 % 149.03/149.25 % 149.03/149.25 % 149.03/149.25 Changing weight limit from 7 to 8. % 149.03/149.25 % 149.03/149.25 Resetting weight limit to 8 after 4125 givens. % 149.03/149.25 % 149.33/149.50 % 149.33/149.50 % 149.33/149.50 Changing weight limit from 8 to 7. % 149.33/149.50 % 149.33/149.50 Resetting weight limit to 7 after 4135 givens. % 149.33/149.50 % 149.33/149.50 % 149.33/149.50 % 149.33/149.50 Changing weight limit from 7 to 8. % 149.33/149.50 % 149.33/149.50 Resetting weight limit to 8 after 4140 givens. % 149.33/149.50 % 150.37/150.57 % 150.37/150.57 % 150.37/150.57 Changing weight limit from 8 to 7. % 150.37/150.57 % 150.37/150.57 Resetting weight limit to 7 after 4180 givens. % 150.37/150.57 % 150.52/150.74 % 150.52/150.74 % 150.52/150.74 Changing weight limit from 7 to 8. % 150.52/150.74 % 150.52/150.74 Resetting weight limit to 8 after 4190 givens. % 150.52/150.74 % 150.75/150.91 % 150.75/150.91 % 150.75/150.91 Changing weight limit from 8 to 7. % 150.75/150.91 % 150.75/150.91 Resetting weight limit to 7 after 4195 givens. % 150.75/150.91 % 150.90/151.08 % 150.90/151.08 % 150.90/151.08 Changing weight limit from 7 to 8. % 150.90/151.08 % 150.90/151.08 Resetting weight limit to 8 after 4200 givens. % 150.90/151.08 % 151.04/151.22 % 151.04/151.22 % 151.04/151.22 Changing weight limit from 8 to 7. % 151.04/151.22 % 151.04/151.22 Resetting weight limit to 7 after 4205 givens. % 151.04/151.22 % 151.42/151.64 % 151.42/151.64 % 151.42/151.64 Changing weight limit from 7 to 8. % 151.42/151.64 % 151.42/151.64 Resetting weight limit to 8 after 4220 givens. % 151.42/151.64 % 151.56/151.78 % 151.56/151.78 % 151.56/151.78 Changing weight limit from 8 to 7. % 151.56/151.78 % 151.56/151.78 Resetting weight limit to 7 after 4225 givens. % 151.56/151.78 % 151.85/152.02 % 151.85/152.02 % 151.85/152.02 Changing weight limit from 7 to 8. % 151.85/152.02 % 151.85/152.02 Resetting weight limit to 8 after 4235 givens. % 151.85/152.02 % 152.15/152.34 % 152.15/152.34 % 152.15/152.34 Changing weight limit from 8 to 7. % 152.15/152.34 % 152.15/152.34 Resetting weight limit to 7 after 4245 givens. % 152.15/152.34 % 152.53/152.69 % 152.53/152.69 % 152.53/152.69 Changing weight limit from 7 to 8. % 152.53/152.69 % 152.53/152.69 Resetting weight limit to 8 after 4265 givens. % 152.53/152.69 % 152.55/152.73 % 152.55/152.73 % 152.55/152.73 Changing weight limit from 8 to 7. % 152.55/152.73 % 152.55/152.73 Resetting weight limit to 7 after 4270 givens. % 152.55/152.73 % 153.55/153.74 % 153.55/153.74 % 153.55/153.74 Changing weight limit from 7 to 8. % 153.55/153.74 % 153.55/153.74 Resetting weight limit to 8 after 4310 givens. % 153.55/153.74 % 153.75/153.92 % 153.75/153.92 % 153.75/153.92 Changing weight limit from 8 to 7. % 153.75/153.92 % 153.75/153.92 Resetting weight limit to 7 after 4315 givens. % 153.75/153.92 % 153.92/154.09 % 153.92/154.09 % 153.92/154.09 Changing weight limit from 7 to 8. % 153.92/154.09 % 153.92/154.09 Resetting weight limit to 8 after 4320 givens. % 153.92/154.09 % 154.07/154.27 % 154.07/154.27 % 154.07/154.27 Changing weight limit from 8 to 7. % 154.07/154.27 % 154.07/154.27 Resetting weight limit to 7 after 4325 givens. % 154.07/154.27 % 154.33/154.51 % 154.33/154.51 % 154.33/154.51 Changing weight limit from 7 to 8. % 154.33/154.51 % 154.33/154.51 Resetting weight limit to 8 after 4335 givens. % 154.33/154.51 % 154.52/154.69 % 154.52/154.69 % 154.52/154.69 Changing weight limit from 8 to 7. % 154.52/154.69 % 154.52/154.69 Resetting weight limit to 7 after 4340 givens. % 154.52/154.69 % 154.66/154.87 % 154.66/154.87 % 154.66/154.87 Changing weight limit from 7 to 8. % 154.66/154.87 % 154.66/154.87 Resetting weight limit to 8 after 4345 givens. % 154.66/154.87 % 155.25/155.46 % 155.25/155.46 % 155.25/155.46 Changing weight limit from 8 to 7. % 155.25/155.46 % 155.25/155.46 Resetting weight limit to 7 after 4375 givens. % 155.25/155.46 % 155.35/155.53 % 155.35/155.53 % 155.35/155.53 Changing weight limit from 7 to 8. % 155.35/155.53 % 155.35/155.53 Resetting weight limit to 8 after 4385 givens. % 155.35/155.53 % 155.35/155.53 % 155.35/155.53 % 155.35/155.53 Changing weight limit from 8 to 9. % 155.35/155.53 % 155.35/155.53 Resetting weight limit to 9 after 4390 givens. % 155.35/155.53 % 155.35/155.53 % 155.35/155.53 % 155.35/155.53 Changing weight limit from 9 to 10. % 155.35/155.53 % 155.35/155.53 Resetting weight limit to 10 after 4395 givens. % 155.35/155.53 % 155.35/155.53 % 155.35/155.53 % 155.35/155.53 Changing weight limit from 10 to 11. % 155.35/155.53 % 155.35/155.53 Resetting weight limit to 11 after 4400 givens. % 155.35/155.53 % 155.43/155.63 % 155.43/155.63 % 155.43/155.63 Changing weight limit from 11 to 8. % 155.43/155.63 % 155.43/155.63 Resetting weight limit to 8 after 4405 givens. % 155.43/155.63 % 156.13/156.35 % 156.13/156.35 % 156.13/156.35 Changing weight limit from 8 to 9. % 156.13/156.35 % 156.13/156.35 Resetting weight limit to 9 after 4485 givens. % 156.13/156.35 % 156.25/156.44 % 156.25/156.44 % 156.25/156.44 Changing weight limit from 9 to 10. % 156.25/156.44 % 156.25/156.44 Resetting weight limit to 10 after 4510 givens. % 156.25/156.44 % 156.43/156.66 % 156.43/156.66 % 156.43/156.66 Changing weight limit from 10 to 11. % 156.43/156.66 % 156.43/156.66 Resetting weight limit to 11 after 4605 givens. % 156.43/156.66 % 300.03/300.21 Wow, sos-wrapper got a signal XCPU %------------------------------------------------------------------------------