%------------------------------------------------------------------------------ % File : SOS---2.0 % Problem : FLD048-4 : TPTP v8.1.0. Bugfixed v2.1.0. % Transfm : none % Format : tptp:raw % Command : sos-script %s % Computer : n021.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:27:50 EDT 2022 % Result : Timeout 285.81s 286.03s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.11/0.12 % Problem : FLD048-4 : TPTP v8.1.0. Bugfixed v2.1.0. % 0.11/0.12 % Command : sos-script %s % 0.13/0.33 % Computer : n021.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 14:13:05 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 sandbox on n021.cluster.edu, % 0.13/0.35 Mon Jun 6 14:13:05 2022 % 0.13/0.35 The command was "./sos". The process ID is 20638. % 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.19/0.43 % 0.19/0.43 Model 1 (0.00 seconds, 0 Inserts) % 0.19/0.43 % 0.19/0.43 Stopped by limit on number of solutions % 0.19/0.43 % 0.19/0.43 % 0.19/0.43 -------------- Softie stats -------------- % 0.19/0.43 % 0.19/0.43 UPDATE_STOP: 300 % 0.19/0.43 SFINDER_TIME_LIMIT: 2 % 0.19/0.43 SHORT_CLAUSE_CUTOFF: 4 % 0.19/0.43 number of clauses in intial UL: 50 % 0.19/0.43 number of clauses initially in problem: 66 % 0.19/0.43 percentage of clauses intially in UL: 75 % 0.19/0.43 percentage of distinct symbols occuring in initial UL: 78 % 0.19/0.43 percent of all initial clauses that are short: 100 % 0.19/0.43 absolute distinct symbol count: 19 % 0.19/0.43 distinct predicate count: 4 % 0.19/0.43 distinct function count: 4 % 0.19/0.43 distinct constant count: 11 % 0.19/0.43 % 0.19/0.43 ---------- no more Softie stats ---------- % 0.19/0.43 % 0.19/0.43 % 0.19/0.43 % 0.19/0.43 Model 2 (0.00 seconds, 0 Inserts) % 0.19/0.43 % 0.19/0.43 Stopped by limit on number of solutions % 0.19/0.43 % 0.19/0.43 =========== start of search =========== % 3.34/3.55 % 3.34/3.55 % 3.34/3.55 Changing weight limit from 60 to 10. % 3.34/3.55 % 3.34/3.55 Stopped by limit on insertions % 3.34/3.55 % 3.34/3.55 Model 3 [ 2 2 257 ] (0.00 seconds, 250000 Inserts) % 3.34/3.55 % 3.34/3.55 Stopped by limit on insertions % 3.34/3.55 % 3.34/3.55 Model 4 [ 2 2 183 ] (0.00 seconds, 250000 Inserts) % 3.34/3.55 % 3.34/3.55 Stopped by limit on insertions % 3.34/3.55 % 3.34/3.55 Stopped by limit on insertions % 3.34/3.55 % 3.34/3.55 Model 5 [ 3 2 262 ] (0.00 seconds, 250000 Inserts) % 3.34/3.55 % 3.34/3.55 Stopped by limit on insertions % 3.34/3.55 % 3.34/3.55 Model 6 [ 4 1 195 ] (0.00 seconds, 250000 Inserts) % 3.34/3.55 % 3.34/3.55 Stopped by limit on insertions % 3.34/3.55 % 3.34/3.55 Model 7 [ 4 1 213 ] (0.00 seconds, 250000 Inserts) % 3.34/3.55 % 3.34/3.55 Stopped by limit on insertions % 3.34/3.55 % 3.34/3.55 Model 8 [ 4 1 217 ] (0.00 seconds, 250000 Inserts) % 3.34/3.55 % 3.34/3.55 Stopped by limit on insertions % 3.34/3.55 % 3.34/3.55 Model 9 [ 4 2 599 ] (0.00 seconds, 250000 Inserts) % 3.34/3.55 % 3.34/3.55 Stopped by limit on insertions % 3.34/3.55 % 3.34/3.55 Model 10 [ 4 1 388 ] (0.00 seconds, 250000 Inserts) % 3.34/3.55 % 3.34/3.55 Stopped by limit on insertions % 3.34/3.55 % 3.34/3.55 Model 11 [ 13 1 202 ] (0.00 seconds, 250000 Inserts) % 3.34/3.55 % 3.34/3.55 Stopped by limit on insertions % 3.34/3.55 % 3.34/3.55 Model 12 [ 13 2 289 ] (0.00 seconds, 250000 Inserts) % 3.34/3.55 % 3.34/3.55 Stopped by limit on insertions % 3.34/3.55 % 3.34/3.55 Model 13 [ 13 2 168 ] (0.00 seconds, 250000 Inserts) % 3.34/3.55 % 3.34/3.55 Stopped by limit on insertions % 3.34/3.55 % 3.34/3.55 Model 14 [ 4 1 537 ] (0.00 seconds, 250000 Inserts) % 3.34/3.55 % 3.34/3.55 Stopped by limit on insertions % 3.34/3.55 % 3.34/3.55 Model 15 [ 7 2 444 ] (0.00 seconds, 250000 Inserts) % 3.34/3.55 % 3.34/3.55 Stopped by limit on insertions % 3.34/3.55 % 3.34/3.55 Model 16 [ 6 2 134 ] (0.00 seconds, 250000 Inserts) % 3.34/3.55 % 3.34/3.55 Stopped by limit on insertions % 3.34/3.55 % 3.34/3.55 Model 17 [ 8 2 114 ] (0.00 seconds, 250000 Inserts) % 3.34/3.55 % 3.34/3.55 Stopped by limit on insertions % 3.34/3.55 % 3.34/3.55 Model 18 [ 5 2 163 ] (0.00 seconds, 250000 Inserts) % 3.34/3.55 % 3.34/3.55 Stopped by limit on insertions % 3.34/3.55 % 3.34/3.55 Model 19 [ 6 1 233 ] (0.00 seconds, 250000 Inserts) % 3.34/3.55 % 3.34/3.55 Stopped by limit on insertions % 3.34/3.55 % 3.34/3.55 Model 20 [ 6 1 4554 ] (0.00 seconds, 250000 Inserts) % 3.34/3.55 % 3.34/3.55 Stopped by limit on insertions % 3.34/3.55 % 3.34/3.55 Model 21 [ 5 1 120 ] (0.00 seconds, 250000 Inserts) % 3.34/3.55 % 3.34/3.55 Stopped by limit on insertions % 3.34/3.55 % 3.34/3.55 Model 22 [ 5 1 484 ] (0.00 seconds, 250000 Inserts) % 3.34/3.55 % 3.34/3.55 Stopped by limit on insertions % 3.34/3.55 % 3.34/3.55 Model 23 [ 21 1 270 ] (0.00 seconds, 250000 Inserts) % 3.34/3.55 % 3.34/3.55 Stopped by limit on insertions % 3.34/3.55 % 3.34/3.55 Model 24 [ 7 1 413 ] (0.00 seconds, 250000 Inserts) % 3.34/3.55 % 3.34/3.55 Stopped by limit on insertions % 3.34/3.55 % 3.34/3.55 Model 25 [ 6 3 109415 ] (0.00 seconds, 250000 Inserts) % 3.34/3.55 % 3.34/3.55 Stopped by limit on insertions % 3.34/3.55 % 3.34/3.55 Model 26 [ 27 1 143 ] (0.00 seconds, 250000 Inserts) % 3.34/3.55 % 3.34/3.55 Stopped by limit on insertions % 3.34/3.55 % 3.34/3.55 Model 27 [ 28 2 194 ] (0.00 seconds, 250000 Inserts) % 3.34/3.55 % 3.34/3.55 Stopped by limit on insertions % 3.34/3.55 % 3.34/3.55 Model 28 [ 7 1 308 ] (0.00 seconds, 250000 Inserts) % 3.34/3.55 % 3.34/3.55 Stopped by limit on insertions % 3.34/3.55 % 3.34/3.55 Model 29 [ 6 2 347 ] (0.00 seconds, 250000 Inserts) % 3.34/3.55 % 3.34/3.55 Stopped by limit on insertions % 3.34/3.55 % 3.34/3.55 Model 30 [ 6 2 400 ] (0.00 seconds, 250000 Inserts) % 3.34/3.55 % 3.34/3.55 Stopped by limit on insertions % 3.34/3.55 % 3.34/3.55 Model 31 [ 9 1 469 ] (0.00 seconds, 250000 Inserts) % 3.34/3.55 % 3.34/3.55 Stopped by limit on insertions % 3.34/3.55 % 3.34/3.55 Model 32 [ 29 1 193 ] (0.00 seconds, 250000 Inserts) % 3.34/3.55 % 3.34/3.55 Stopped by limit on insertions % 3.34/3.55 % 3.34/3.55 Model 33 [ 6 7 233411 ] (0.00 seconds, 250000 Inserts) % 3.34/3.55 % 3.34/3.55 Resetting weight limit to 10 after 40 givens. % 3.34/3.55 % 3.94/4.12 % 3.94/4.12 % 3.94/4.12 Changing weight limit from 10 to 11. % 3.94/4.12 % 3.94/4.12 Stopped by limit on insertions % 3.94/4.12 % 3.94/4.12 Model 34 [ 34 1 201 ] (0.00 seconds, 250000 Inserts) % 3.94/4.12 % 3.94/4.12 Stopped by limit on insertions % 3.94/4.12 % 3.94/4.12 Model 35 [ 8 1 208 ] (0.00 seconds, 250000 Inserts) % 3.94/4.12 % 3.94/4.12 Stopped by limit on insertions % 3.94/4.12 % 3.94/4.12 Model 36 [ 33 1 185 ] (0.00 seconds, 250000 Inserts) % 3.94/4.12 % 3.94/4.12 Stopped by limit on insertions % 3.94/4.12 % 3.94/4.12 Model 37 [ 27 1 232 ] (0.00 seconds, 250000 Inserts) % 3.94/4.12 % 3.94/4.12 Resetting weight limit to 11 after 45 givens. % 3.94/4.12 % 4.66/4.86 % 4.66/4.86 % 4.66/4.86 Changing weight limit from 11 to 10. % 4.66/4.86 % 4.66/4.86 Stopped by limit on insertions % 4.66/4.86 % 4.66/4.86 Model 38 [ 11 6 169410 ] (0.00 seconds, 250000 Inserts) % 4.66/4.86 % 4.66/4.86 Stopped by limit on insertions % 4.66/4.86 % 4.66/4.86 Model 39 [ 10 9 249637 ] (0.00 seconds, 250000 Inserts) % 4.66/4.86 % 4.66/4.86 Stopped by limit on insertions % 4.66/4.86 % 4.66/4.86 Model 40 [ 36 1 186 ] (0.00 seconds, 250000 Inserts) % 4.66/4.86 % 4.66/4.86 Stopped by limit on insertions % 4.66/4.86 % 4.66/4.86 Model 41 [ 6 1 426 ] (0.00 seconds, 250000 Inserts) % 4.66/4.86 % 4.66/4.86 Stopped by limit on insertions % 4.66/4.86 % 4.66/4.86 Model 42 [ 18 1 148 ] (0.00 seconds, 250000 Inserts) % 4.66/4.86 % 4.66/4.86 Resetting weight limit to 10 after 50 givens. % 4.66/4.86 % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 43 [ 15 2 1224 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 44 [ 9 5 112692 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 45 [ 38 1 198 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 46 [ 11 1 198 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 47 [ 13 17 241365 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 48 [ 11 6 112201 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 49 [ 10 1 304 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 50 [ 5 2 25869 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 51 [ 45 2 244 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 52 [ 46 1 127 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 53 [ 24 2 9161 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 54 [ 8 2 6255 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 55 [ 9 2 8882 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 56 [ 14 3 20052 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 57 [ 15 7 121970 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 58 [ 11 2 200 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 59 [ 20 2 12596 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 60 [ 13 1 1248 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 61 [ 50 1 306 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 62 [ 15 1 974 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 63 [ 17 4 85387 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 64 [ 51 1 447 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 65 [ 11 1 162 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 66 [ 18 1 164 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 67 [ 11 1 118 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 68 [ 67 2 602 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 69 [ 11 1 129 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 70 [ 11 2 218 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 71 [ 63 1 126 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 72 [ 18 13 106052 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 73 [ 21 2 548 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 74 [ 18 2 709 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 75 [ 72 1 131 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 76 [ 15 1 571 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 77 [ 74 2 166 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 78 [ 26 27 176215 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 79 [ 14 2 222 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 80 [ 82 1 112 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 81 [ 15 1 1129 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 82 [ 20 2 145 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 83 [ 18 1 216 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 84 [ 29 25 189096 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 85 [ 19 1 172 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 86 [ 70 2 255 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 14.73/14.94 Model 87 [ 36 17 144306 ] (0.00 seconds, 250000 Inserts) % 14.73/14.94 % 14.73/14.94 Stopped by limit on insertions % 14.73/14.94 % 35.33/35.52 Model 88 [ 80 2 625 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 89 [ 75 1 125 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 90 [ 23 20 121434 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 91 [ 28 2 1369 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 92 [ 23 1 354 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 93 [ 83 1 120 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 94 [ 33 36 219419 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 95 [ 82 1 119 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 96 [ 18 2 1255 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 97 [ 93 2 698 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 98 [ 31 2 1346 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 99 [ 18 1 207 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 100 [ 81 2 156 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 101 [ 20 1 155 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 102 [ 37 36 170496 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 103 [ 18 2 14302 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 104 [ 28 1 165 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 105 [ 95 2 874 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 106 [ 28 2 249 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 107 [ 24 47 212230 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 108 [ 18 1 320 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 109 [ 28 10 42558 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 110 [ 16 2 977 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 111 [ 84 4 24548 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 112 [ 34 2 2128 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 113 [ 94 1 194 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 114 [ 104 2 192 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 115 [ 35 9 35251 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 116 [ 23 2 1246 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 117 [ 37 35 233004 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 118 [ 110 2 177 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 119 [ 37 2 860 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 120 [ 113 1 196 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 121 [ 46 17 68879 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 122 [ 45 45 165694 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 123 [ 49 16 53123 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 124 [ 51 56 210011 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 125 [ 39 29 96271 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 126 [ 37 17 51900 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 127 [ 51 12 39461 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 128 [ 22 12 57144 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 129 [ 124 2 154 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 130 [ 105 1 130 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 131 [ 28 2 216 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 35.33/35.52 Model 132 [ 38 24 67299 ] (0.00 seconds, 250000 Inserts) % 35.33/35.52 % 35.33/35.52 Stopped by limit on insertions % 35.33/35.52 % 62.33/62.56 Model 133 [ 30 2 903 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 134 [ 30 2 809 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 135 [ 134 2 196 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 136 [ 36 1 120 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 137 [ 19 2 746 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 138 [ 20 2 3355 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 139 [ 129 2 367 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 140 [ 41 2 424 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 141 [ 39 2 359 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 142 [ 122 2 167 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 143 [ 43 68 218295 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 144 [ 38 60 169229 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 145 [ 37 45 111267 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 146 [ 44 2 788 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 147 [ 111 2 681 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 148 [ 33 2 156 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 149 [ 120 3 7085 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 150 [ 44 2 139 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 151 [ 119 2 3966 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 152 [ 39 11 31980 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 153 [ 34 29 73298 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 154 [ 40 2 534 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 155 [ 19 3 12839 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 156 [ 106 2 393 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 157 [ 33 2 520 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 158 [ 35 2 5098 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 159 [ 43 2 1031 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 160 [ 132 16 54118 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 161 [ 145 2 361 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 162 [ 28 4 15046 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 163 [ 48 29 74956 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 164 [ 35 1 121 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 165 [ 34 2 285 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 166 [ 44 2 254 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 167 [ 29 2 397 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 168 [ 40 98 206394 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 169 [ 44 39 101765 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 170 [ 143 5 13386 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 171 [ 43 97 229163 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 172 [ 139 2 230 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 173 [ 34 3 6030 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 174 [ 149 2 121 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 175 [ 29 2 343 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 176 [ 148 43 161766 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 177 [ 39 2 338 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 62.33/62.56 Model 178 [ 157 2 304 ] (0.00 seconds, 250000 Inserts) % 62.33/62.56 % 62.33/62.56 Stopped by limit on insertions % 62.33/62.56 % 95.00/95.24 Model 179 [ 42 14 2 % 95.00/95.24 % 95.00/95.24 Changing weight limit from 10 to 9. % 95.00/95.24 3473 ] (0.00 seconds, 250000 Inserts) % 95.00/95.24 % 95.00/95.24 Stopped by limit on insertions % 95.00/95.24 % 95.00/95.24 Model 180 [ 49 3 1348 ] (0.00 seconds, 250000 Inserts) % 95.00/95.24 % 95.00/95.24 Stopped by limit on insertions % 95.00/95.24 % 95.00/95.24 Model 181 [ 40 97 168147 ] (0.00 seconds, 250000 Inserts) % 95.00/95.24 % 95.00/95.24 Stopped by limit on insertions % 95.00/95.24 % 95.00/95.24 Model 182 [ 30 2 290 ] (0.00 seconds, 250000 Inserts) % 95.00/95.24 % 95.00/95.24 Stopped by limit on insertions % 95.00/95.24 % 95.00/95.24 Model 183 [ 142 9 20278 ] (0.00 seconds, 250000 Inserts) % 95.00/95.24 % 95.00/95.24 Stopped by limit on insertions % 95.00/95.24 % 95.00/95.24 Model 184 [ 43 106 224572 ] (0.00 seconds, 250000 Inserts) % 95.00/95.24 % 95.00/95.24 Stopped by limit on insertions % 95.00/95.24 % 95.00/95.24 Model 185 [ 44 3 750 ] (0.00 seconds, 250000 Inserts) % 95.00/95.24 % 95.00/95.24 Stopped by limit on insertions % 95.00/95.24 % 95.00/95.24 Model 186 [ 143 13 30708 ] (0.00 seconds, 250000 Inserts) % 95.00/95.24 % 95.00/95.24 Stopped by limit on insertions % 95.00/95.24 % 95.00/95.24 Model 187 [ 29 2 892 ] (0.00 seconds, 250000 Inserts) % 95.00/95.24 % 95.00/95.24 Stopped by limit on insertions % 95.00/95.24 % 95.00/95.24 Model 188 [ 127 23 64704 ] (0.00 seconds, 250000 Inserts) % 95.00/95.24 % 95.00/95.24 Stopped by limit on insertions % 95.00/95.24 % 95.00/95.24 Model 189 [ 53 109 217339 ] (0.00 seconds, 250000 Inserts) % 95.00/95.24 % 95.00/95.24 Stopped by limit on insertions % 95.00/95.24 % 95.00/95.24 Model 190 [ 39 8 44309 ] (0.00 seconds, 250000 Inserts) % 95.00/95.24 % 95.00/95.24 Stopped by limit on insertions % 95.00/95.24 % 95.00/95.24 Model 191 [ 146 13 26445 ] (0.00 seconds, 250000 Inserts) % 95.00/95.24 % 95.00/95.24 Stopped by limit on insertions % 95.00/95.24 % 95.00/95.24 Model 192 [ 57 138 238337 ] (0.00 seconds, 250000 Inserts) % 95.00/95.24 % 95.00/95.24 Stopped by limit on insertions % 95.00/95.24 % 95.00/95.24 Model 193 [ 50 2 756 ] (0.00 seconds, 250000 Inserts) % 95.00/95.24 % 95.00/95.24 Stopped by limit on insertions % 95.00/95.24 % 95.00/95.24 Model 194 [ 54 2 116 ] (0.00 seconds, 250000 Inserts) % 95.00/95.24 % 95.00/95.24 Stopped by limit on insertions % 95.00/95.24 % 95.00/95.24 Model 195 [ 172 2 408 ] (0.00 seconds, 250000 Inserts) % 95.00/95.24 % 95.00/95.24 Stopped by limit on insertions % 95.00/95.24 % 95.00/95.24 Model 196 [ 45 21 65543 ] (0.00 seconds, 250000 Inserts) % 95.00/95.24 % 95.00/95.24 Stopped by limit on insertions % 95.00/95.24 % 95.00/95.24 Model 197 [ 40 9 56113 ] (0.00 seconds, 250000 Inserts) % 95.00/95.24 % 95.00/95.24 Stopped by limit on insertions % 95.00/95.24 % 95.00/95.24 Model 198 [ 50 3 653 ] (0.00 seconds, 250000 Inserts) % 95.00/95.24 % 95.00/95.24 Stopped by limit on insertions % 95.00/95.24 % 95.00/95.24 Model 199 [ 40 3 1303 ] (0.00 seconds, 250000 Inserts) % 95.00/95.24 % 95.00/95.24 Stopped by limit on insertions % 95.00/95.24 % 95.00/95.24 Model 200 [ 51 2 227 ] (0.00 seconds, 250000 Inserts) % 95.00/95.24 % 95.00/95.24 Stopped by limit on insertions % 95.00/95.24 % 95.00/95.24 Model 201 [ 143 53 140332 ] (0.00 seconds, 250000 Inserts) % 95.00/95.24 % 95.00/95.24 Stopped by limit on insertions % 95.00/95.24 % 95.00/95.24 Model 202 [ 58 74 186003 ] (0.00 seconds, 250000 Inserts) % 95.00/95.24 % 95.00/95.24 Stopped by limit on insertions % 95.00/95.24 % 95.00/95.24 Model 203 [ 76 58 202289 ] (0.00 seconds, 250000 Inserts) % 95.00/95.24 % 95.00/95.24 Stopped by limit on insertions % 95.00/95.24 % 95.00/95.24 Model 204 [ 49 5 28724 ] (0.00 seconds, 250000 Inserts) % 95.00/95.24 % 95.00/95.24 Stopped by limit on insertions % 95.00/95.24 % 95.00/95.24 Model 205 [ 42 10 38823 ] (0.00 seconds, 250000 Inserts) % 95.00/95.24 % 95.00/95.24 Stopped by limit on insertions % 95.00/95.24 % 95.00/95.24 Model 206 [ 54 2 133 ] (0.00 seconds, 250000 Inserts) % 95.00/95.24 % 95.00/95.24 Stopped by limit on insertions % 95.00/95.24 % 95.00/95.24 Model 207 [ 187 2 345 ] (0.00 seconds, 250000 Inserts) % 95.00/95.24 % 95.00/95.24 Stopped by limit on insertions % 95.00/95.24 % 95.00/95.24 Model 208 [ 182 9 17419 ] (0.00 seconds, 250000 Inserts) % 95.00/95.24 % 95.00/95.24 Stopped by limit on insertions % 95.00/95.24 % 95.00/95.24 Model 209 [ 45 51 93843 ] (0.00 seconds, 250000 Inserts) % 95.00/95.24 % 95.00/95.24 Stopped by limit on insertions % 95.00/95.24 % 95.00/95.24 Model 210 [ 57 100 165430 ] (0.00 seconds, 250000 Inserts) % 95.00/95.24 % 95.00/95.24 Stopped by limit on insertions % 95.00/95.24 % 95.00/95.24 Model 211 [ 66 72 79453 ] (0.00 seconds, 250000 Inserts) % 95.00/95.24 % 95.00/95.24 Stopped by limit on insertions % 95.00/95.24 % 95.00/95.24 Model 212 [ 48 6 2216 ] (0.00 seconds, 250000 Inserts) % 95.00/95.24 % 95.00/95.24 Resetting weight limit to 9 after 305 givens. % 95.00/95.24 % 98.02/98.24 % 98.02/98.24 % 98.02/98.24 Changing weight limit from 9 to 8. % 98.02/98.24 % 98.02/98.24 Stopped by limit on insertions % 98.02/98.24 % 98.02/98.24 Model 213 [ 59 213 246092 ] (0.00 seconds, 250000 Inserts) % 98.02/98.24 % 98.02/98.24 Resetting weight limit to 8 after 320 givens. % 98.02/98.24 % 148.90/149.08 % 148.90/149.08 % 148.90/149.08 Changing weight limit from 8 to 7. % 148.90/149.08 % 148.90/149.08 Stopped by limit on insertions % 148.90/149.08 % 148.90/149.08 Model 214 [ 169 3 234 ] (0.00 seconds, 250000 Inserts) % 148.90/149.08 % 148.90/149.08 Stopped by limit on insertions % 148.90/149.08 % 148.90/149.08 Model 215 [ 36 5 951 ] (0.00 seconds, 250000 Inserts) % 148.90/149.08 % 148.90/149.08 Stopped by limit on insertions % 148.90/149.08 % 148.90/149.08 Model 216 [ 161 4 145 ] (0.00 seconds, 250000 Inserts) % 148.90/149.08 % 148.90/149.08 Stopped by limit on insertions % 148.90/149.08 % 148.90/149.08 Model 217 [ 46 34 28471 ] (0.00 seconds, 250000 Inserts) % 148.90/149.08 % 148.90/149.08 Stopped by limit on insertions % 148.90/149.08 % 148.90/149.08 Stopped by limit on insertions % 148.90/149.08 % 148.90/149.08 Model 218 [ 39 5 1187 ] (0.00 seconds, 250000 Inserts) % 148.90/149.08 % 148.90/149.08 Stopped by limit on insertions % 148.90/149.08 % 148.90/149.08 Model 219 [ 160 5 434 ] (0.00 seconds, 250000 Inserts) % 148.90/149.08 % 148.90/149.08 Stopped by limit on insertions % 148.90/149.08 % 148.90/149.08 Model 220 [ 57 4 712 ] (0.00 seconds, 250000 Inserts) % 148.90/149.08 % 148.90/149.08 Stopped by limit on insertions % 148.90/149.08 % 148.90/149.08 Model 221 [ 196 4 208 ] (0.00 seconds, 250000 Inserts) % 148.90/149.08 % 148.90/149.08 Stopped by limit on insertions % 148.90/149.08 % 148.90/149.08 Model 222 [ 40 19 15249 ] (0.00 seconds, 250000 Inserts) % 148.90/149.08 % 148.90/149.08 Stopped by limit on insertions % 148.90/149.08 % 148.90/149.08 Model 223 [ 190 4 153 ] (0.00 seconds, 250000 Inserts) % 148.90/149.08 % 148.90/149.08 Stopped by limit on insertions % 148.90/149.08 % 148.90/149.08 Model 224 [ 59 68 66251 ] (0.00 seconds, 250000 Inserts) % 148.90/149.08 % 148.90/149.08 Stopped by limit on insertions % 148.90/149.08 % 148.90/149.08 Model 225 [ 61 43 40165 ] (0.00 seconds, 250000 Inserts) % 148.90/149.08 % 148.90/149.08 Stopped by limit on insertions % 148.90/149.08 % 148.90/149.08 Model 226 [ 34 5 721 ] (0.00 seconds, 250000 Inserts) % 148.90/149.08 % 148.90/149.08 Stopped by limit on insertions % 148.90/149.08 % 148.90/149.08 Model 227 [ 182 103 126803 ] (0.00 seconds, 250000 Inserts) % 148.90/149.08 % 148.90/149.08 Stopped by limit on insertions % 148.90/149.08 % 148.90/149.08 Model 228 [ 44 5 1508 ] (0.00 seconds, 250000 Inserts) % 148.90/149.08 % 148.90/149.08 Stopped by limit on insertions % 148.90/149.08 % 148.90/149.08 Model 229 [ 84 47 64418 ] (0.00 seconds, 250000 Inserts) % 148.90/149.08 % 148.90/149.08 Stopped by limit on insertions % 148.90/149.08 % 148.90/149.08 Model 230 [ 39 3 284 ] (0.00 seconds, 250000 Inserts) % 148.90/149.08 % 148.90/149.08 Stopped by limit on insertions % 148.90/149.08 % 148.90/149.08 Model 231 [ 182 2 195 ] (0.00 seconds, 250000 Inserts) % 148.90/149.08 % 148.90/149.08 Stopped by limit on insertions % 148.90/149.08 % 148.90/149.08 Model 232 [ 43 3 287 ] (0.00 seconds, 250000 Inserts) % 148.90/149.08 % 148.90/149.08 Stopped by limit on insertions % 148.90/149.08 % 148.90/149.08 Model 233 [ 50 5 4402 ] (0.00 seconds, 250000 Inserts) % 148.90/149.08 % 148.90/149.08 Stopped by limit on insertions % 148.90/149.08 % 148.90/149.08 Model 234 [ 60 3 116 ] (0.00 seconds, 250000 Inserts) % 148.90/149.08 % 148.90/149.08 Stopped by limit on insertions % 148.90/149.08 % 148.90/149.08 Model 235 [ 43 3 387 ] (0.00 seconds, 250000 Inserts) % 148.90/149.08 % 148.90/149.08 Stopped by limit on insertions % 148.90/149.08 % 148.90/149.08 Model 236 [ 219 77 156187 ] (0.00 seconds, 250000 Inserts) % 148.90/149.08 % 148.90/149.08 Stopped by limit on insertions % 148.90/149.08 % 148.90/149.08 Model 237 [ 205 4 2559 ] (0.00 seconds, 250000 Inserts) % 148.90/149.08 % 148.90/149.08 Stopped by limit on insertions % 148.90/149.08 % 148.90/149.08 Model 238 [ 211 3 166 ] (0.00 seconds, 250000 Inserts) % 148.90/149.08 % 148.90/149.08 Stopped by limit on insertions % 148.90/149.08 % 148.90/149.08 Model 239 [ 42 3 1744 ] (0.00 seconds, 250000 Inserts) % 148.90/149.08 % 148.90/149.08 Stopped by limit on insertions % 148.90/149.08 % 148.90/149.08 Model 240 [ 222 2 145 ] (0.00 seconds, 250000 Inserts) % 148.90/149.08 % 148.90/149.08 Stopped by limit on insertions % 148.90/149.08 % 148.90/149.08 Model 241 [ 56 67 99384 ] (0.00 seconds, 250000 Inserts) % 148.90/149.08 % 148.90/149.08 Stopped by limit on insertions % 148.90/149.08 % 148.90/149.08 Model 242 [ 48 39 63129 ] (0.00 seconds, 250000 Inserts) % 148.90/149.08 % 148.90/149.08 Stopped by limit on insertions % 148.90/149.08 % 148.90/149.08 Model 243 [ 77 176 238713 ] (0.00 seconds, 250000 Inserts) % 148.90/149.08 % 148.90/149.08 Stopped by limit on insertions % 148.90/149.08 % 148.90/149.08 Model 244 [ 75 35 48137 ] (0.00 seconds, 250000 Inserts) % 148.90/149.08 % 148.90/149.08 Stopped by limit on insertions % 148.90/149.08 % 148.90/149.08 Model 245 [ 41 3 1254 ] (0.00 seconds, 250000 Inserts) % 148.90/149.08 % 148.90/149.08 Resetting weight limit to 7 after 370 givens. % 148.90/149.08 % 150.61/150.85 % 150.61/150.85 % 150.61/150.85 Changing weight limit from 7 to 8. % 150.61/150.85 % 150.61/150.85 Stopped by limit on insertions % 150.61/150.85 % 150.61/150.85 Model 246 [ 51 7 17868 ] (0.00 seconds, 250000 Inserts) % 150.61/150.85 % 150.61/150.85 Stopped by limit on insertions % 150.61/150.85 % 150.61/150.85 Stopped by limit on insertions % 150.61/150.85 % 150.61/150.85 Model 247 [ 53 2 707 ] (0.00 seconds, 250000 Inserts) % 150.61/150.85 % 150.61/150.85 Modelling stopped after 300 given clauses and 0.00 seconds % 150.61/150.85 % 150.61/150.85 % 150.61/150.85 Resetting weight limit to 8 after 525 givens. % 150.61/150.85 % 160.13/160.31 % 160.13/160.31 % 160.13/160.31 Changing weight limit from 8 to 7. % 160.13/160.31 % 160.13/160.31 Resetting weight limit to 7 after 2780 givens. % 160.13/160.31 % 167.72/167.95 % 167.72/167.95 % 167.72/167.95 Changing weight limit from 7 to 8. % 167.72/167.95 % 167.72/167.95 Resetting weight limit to 8 after 3340 givens. % 167.72/167.95 % 167.82/168.05 % 167.82/168.05 % 167.82/168.05 Changing weight limit from 8 to 7. % 167.82/168.05 % 167.82/168.05 Resetting weight limit to 7 after 3345 givens. % 167.82/168.05 % 167.90/168.14 % 167.90/168.14 % 167.90/168.14 Changing weight limit from 7 to 8. % 167.90/168.14 % 167.90/168.14 Resetting weight limit to 8 after 3350 givens. % 167.90/168.14 % 168.02/168.24 % 168.02/168.24 % 168.02/168.24 Changing weight limit from 8 to 7. % 168.02/168.24 % 168.02/168.24 Resetting weight limit to 7 after 3355 givens. % 168.02/168.24 % 168.12/168.33 % 168.12/168.33 % 168.12/168.33 Changing weight limit from 7 to 8. % 168.12/168.33 % 168.12/168.33 Resetting weight limit to 8 after 3360 givens. % 168.12/168.33 % 168.22/168.42 % 168.22/168.42 % 168.22/168.42 Changing weight limit from 8 to 7. % 168.22/168.42 % 168.22/168.42 Resetting weight limit to 7 after 3365 givens. % 168.22/168.42 % 168.32/168.52 % 168.32/168.52 % 168.32/168.52 Changing weight limit from 7 to 8. % 168.32/168.52 % 168.32/168.52 Resetting weight limit to 8 after 3370 givens. % 168.32/168.52 % 168.41/168.61 % 168.41/168.61 % 168.41/168.61 Changing weight limit from 8 to 7. % 168.41/168.61 % 168.41/168.61 Resetting weight limit to 7 after 3375 givens. % 168.41/168.61 % 168.52/168.71 % 168.52/168.71 % 168.52/168.71 Changing weight limit from 7 to 8. % 168.52/168.71 % 168.52/168.71 Resetting weight limit to 8 after 3380 givens. % 168.52/168.71 % 168.61/168.80 % 168.61/168.80 % 168.61/168.80 Changing weight limit from 8 to 7. % 168.61/168.80 % 168.61/168.80 Resetting weight limit to 7 after 3385 givens. % 168.61/168.80 % 168.71/168.90 % 168.71/168.90 % 168.71/168.90 Changing weight limit from 7 to 8. % 168.71/168.90 % 168.71/168.90 Resetting weight limit to 8 after 3390 givens. % 168.71/168.90 % 168.81/168.99 % 168.81/168.99 % 168.81/168.99 Changing weight limit from 8 to 7. % 168.81/168.99 % 168.81/168.99 Resetting weight limit to 7 after 3395 givens. % 168.81/168.99 % 168.83/169.09 % 168.83/169.09 % 168.83/169.09 Changing weight limit from 7 to 8. % 168.83/169.09 % 168.83/169.09 Resetting weight limit to 8 after 3400 givens. % 168.83/169.09 % 169.00/169.19 % 169.00/169.19 % 169.00/169.19 Changing weight limit from 8 to 7. % 169.00/169.19 % 169.00/169.19 Resetting weight limit to 7 after 3405 givens. % 169.00/169.19 % 169.10/169.28 % 169.10/169.28 % 169.10/169.28 Changing weight limit from 7 to 8. % 169.10/169.28 % 169.10/169.28 Resetting weight limit to 8 after 3410 givens. % 169.10/169.28 % 169.13/169.38 % 169.13/169.38 % 169.13/169.38 Changing weight limit from 8 to 7. % 169.13/169.38 % 169.13/169.38 Resetting weight limit to 7 after 3415 givens. % 169.13/169.38 % 169.21/169.48 % 169.21/169.48 % 169.21/169.48 Changing weight limit from 7 to 8. % 169.21/169.48 % 169.21/169.48 Resetting weight limit to 8 after 3420 givens. % 169.21/169.48 % 169.30/169.58 % 169.30/169.58 % 169.30/169.58 Changing weight limit from 8 to 7. % 169.30/169.58 % 169.30/169.58 Resetting weight limit to 7 after 3425 givens. % 169.30/169.58 % 169.44/169.67 % 169.44/169.67 % 169.44/169.67 Changing weight limit from 7 to 8. % 169.44/169.67 % 169.44/169.67 Resetting weight limit to 8 after 3430 givens. % 169.44/169.67 % 169.53/169.77 % 169.53/169.77 % 169.53/169.77 Changing weight limit from 8 to 7. % 169.53/169.77 % 169.53/169.77 Resetting weight limit to 7 after 3435 givens. % 169.53/169.77 % 169.74/169.93 % 169.74/169.93 % 169.74/169.93 Changing weight limit from 7 to 8. % 169.74/169.93 % 169.74/169.93 Resetting weight limit to 8 after 3445 givens. % 169.74/169.93 % 169.83/170.03 % 169.83/170.03 % 169.83/170.03 Changing weight limit from 8 to 7. % 169.83/170.03 % 169.83/170.03 Resetting weight limit to 7 after 3450 givens. % 169.83/170.03 % 169.91/170.13 % 169.91/170.13 % 169.91/170.13 Changing weight limit from 7 to 8. % 169.91/170.13 % 169.91/170.13 Resetting weight limit to 8 after 3455 givens. % 169.91/170.13 % 170.04/170.23 % 170.04/170.23 % 170.04/170.23 Changing weight limit from 8 to 7. % 170.04/170.23 % 170.04/170.23 Resetting weight limit to 7 after 3460 givens. % 170.04/170.23 % 170.12/170.33 % 170.12/170.33 % 170.12/170.33 Changing weight limit from 7 to 8. % 170.12/170.33 % 170.12/170.33 Resetting weight limit to 8 after 3465 givens. % 170.12/170.33 % 170.19/170.43 % 170.19/170.43 % 170.19/170.43 Changing weight limit from 8 to 7. % 170.19/170.43 % 170.19/170.43 Resetting weight limit to 7 after 3470 givens. % 170.19/170.43 % 170.34/170.53 % 170.34/170.53 % 170.34/170.53 Changing weight limit from 7 to 8. % 170.34/170.53 % 170.34/170.53 Resetting weight limit to 8 after 3475 givens. % 170.34/170.53 % 170.41/170.63 % 170.41/170.63 % 170.41/170.63 Changing weight limit from 8 to 7. % 170.41/170.63 % 170.41/170.63 Resetting weight limit to 7 after 3480 givens. % 170.41/170.63 % 170.50/170.73 % 170.50/170.73 % 170.50/170.73 Changing weight limit from 7 to 8. % 170.50/170.73 % 170.50/170.73 Resetting weight limit to 8 after 3485 givens. % 170.50/170.73 % 170.64/170.84 % 170.64/170.84 % 170.64/170.84 Changing weight limit from 8 to 7. % 170.64/170.84 % 170.64/170.84 Resetting weight limit to 7 after 3490 givens. % 170.64/170.84 % 170.72/170.94 % 170.72/170.94 % 170.72/170.94 Changing weight limit from 7 to 8. % 170.72/170.94 % 170.72/170.94 Resetting weight limit to 8 after 3495 givens. % 170.72/170.94 % 170.81/171.04 % 170.81/171.04 % 170.81/171.04 Changing weight limit from 8 to 7. % 170.81/171.04 % 170.81/171.04 Resetting weight limit to 7 after 3500 givens. % 170.81/171.04 % 170.93/171.14 % 170.93/171.14 % 170.93/171.14 Changing weight limit from 7 to 8. % 170.93/171.14 % 170.93/171.14 Resetting weight limit to 8 after 3505 givens. % 170.93/171.14 % 171.03/171.25 % 171.03/171.25 % 171.03/171.25 Changing weight limit from 8 to 7. % 171.03/171.25 % 171.03/171.25 Resetting weight limit to 7 after 3510 givens. % 171.03/171.25 % 171.12/171.35 % 171.12/171.35 % 171.12/171.35 Changing weight limit from 7 to 8. % 171.12/171.35 % 171.12/171.35 Resetting weight limit to 8 after 3515 givens. % 171.12/171.35 % 171.23/171.46 % 171.23/171.46 % 171.23/171.46 Changing weight limit from 8 to 7. % 171.23/171.46 % 171.23/171.46 Resetting weight limit to 7 after 3520 givens. % 171.23/171.46 % 171.31/171.56 % 171.31/171.56 % 171.31/171.56 Changing weight limit from 7 to 8. % 171.31/171.56 % 171.31/171.56 Resetting weight limit to 8 after 3525 givens. % 171.31/171.56 % 171.41/171.66 % 171.41/171.66 % 171.41/171.66 Changing weight limit from 8 to 7. % 171.41/171.66 % 171.41/171.66 Resetting weight limit to 7 after 3530 givens. % 171.41/171.66 % 171.52/171.77 % 171.52/171.77 % 171.52/171.77 Changing weight limit from 7 to 8. % 171.52/171.77 % 171.52/171.77 Resetting weight limit to 8 after 3535 givens. % 171.52/171.77 % 171.62/171.88 % 171.62/171.88 % 171.62/171.88 Changing weight limit from 8 to 7. % 171.62/171.88 % 171.62/171.88 Resetting weight limit to 7 after 3540 givens. % 171.62/171.88 % 171.71/171.98 % 171.71/171.98 % 171.71/171.98 Changing weight limit from 7 to 8. % 171.71/171.98 % 171.71/171.98 Resetting weight limit to 8 after 3545 givens. % 171.71/171.98 % 171.81/172.09 % 171.81/172.09 % 171.81/172.09 Changing weight limit from 8 to 7. % 171.81/172.09 % 171.81/172.09 Resetting weight limit to 7 after 3550 givens. % 171.81/172.09 % 172.01/172.19 % 172.01/172.19 % 172.01/172.19 Changing weight limit from 7 to 8. % 172.01/172.19 % 172.01/172.19 Resetting weight limit to 8 after 3555 givens. % 172.01/172.19 % 172.11/172.30 % 172.11/172.30 % 172.11/172.30 Changing weight limit from 8 to 7. % 172.11/172.30 % 172.11/172.30 Resetting weight limit to 7 after 3560 givens. % 172.11/172.30 % 172.21/172.40 % 172.21/172.40 % 172.21/172.40 Changing weight limit from 7 to 8. % 172.21/172.40 % 172.21/172.40 Resetting weight limit to 8 after 3565 givens. % 172.21/172.40 % 172.21/172.47 % 172.21/172.47 % 172.21/172.47 Changing weight limit from 8 to 7. % 172.21/172.47 % 172.21/172.47 Resetting weight limit to 7 after 3570 givens. % 172.21/172.47 % 172.33/172.58 % 172.33/172.58 % 172.33/172.58 Changing weight limit from 7 to 8. % 172.33/172.58 % 172.33/172.58 Resetting weight limit to 8 after 3575 givens. % 172.33/172.58 % 172.50/172.69 % 172.50/172.69 % 172.50/172.69 Changing weight limit from 8 to 7. % 172.50/172.69 % 172.50/172.69 Resetting weight limit to 7 after 3580 givens. % 172.50/172.69 % 172.61/172.79 % 172.61/172.79 % 172.61/172.79 Changing weight limit from 7 to 8. % 172.61/172.79 % 172.61/172.79 Resetting weight limit to 8 after 3585 givens. % 172.61/172.79 % 172.72/172.90 % 172.72/172.90 % 172.72/172.90 Changing weight limit from 8 to 7. % 172.72/172.90 % 172.72/172.90 Resetting weight limit to 7 after 3590 givens. % 172.72/172.90 % 172.80/173.01 % 172.80/173.01 % 172.80/173.01 Changing weight limit from 7 to 8. % 172.80/173.01 % 172.80/173.01 Resetting weight limit to 8 after 3595 givens. % 172.80/173.01 % 172.92/173.12 % 172.92/173.12 % 172.92/173.12 Changing weight limit from 8 to 7. % 172.92/173.12 % 172.92/173.12 Resetting weight limit to 7 after 3600 givens. % 172.92/173.12 % 173.03/173.23 % 173.03/173.23 % 173.03/173.23 Changing weight limit from 7 to 8. % 173.03/173.23 % 173.03/173.23 Resetting weight limit to 8 after 3605 givens. % 173.03/173.23 % 173.10/173.34 % 173.10/173.34 % 173.10/173.34 Changing weight limit from 8 to 7. % 173.10/173.34 % 173.10/173.34 Resetting weight limit to 7 after 3610 givens. % 173.10/173.34 % 173.24/173.43 % 173.24/173.43 % 173.24/173.43 Changing weight limit from 7 to 8. % 173.24/173.43 % 173.24/173.43 Resetting weight limit to 8 after 3615 givens. % 173.24/173.43 % 173.33/173.54 % 173.33/173.54 % 173.33/173.54 Changing weight limit from 8 to 7. % 173.33/173.54 % 173.33/173.54 Resetting weight limit to 7 after 3620 givens. % 173.33/173.54 % 173.40/173.65 % 173.40/173.65 % 173.40/173.65 Changing weight limit from 7 to 8. % 173.40/173.65 % 173.40/173.65 Resetting weight limit to 8 after 3625 givens. % 173.40/173.65 % 173.54/173.76 % 173.54/173.76 % 173.54/173.76 Changing weight limit from 8 to 7. % 173.54/173.76 % 173.54/173.76 Resetting weight limit to 7 after 3630 givens. % 173.54/173.76 % 173.62/173.87 % 173.62/173.87 % 173.62/173.87 Changing weight limit from 7 to 8. % 173.62/173.87 % 173.62/173.87 Resetting weight limit to 8 after 3635 givens. % 173.62/173.87 % 173.79/173.99 % 173.79/173.99 % 173.79/173.99 Changing weight limit from 8 to 7. % 173.79/173.99 % 173.79/173.99 Resetting weight limit to 7 after 3640 givens. % 173.79/173.99 % 173.84/174.10 % 173.84/174.10 % 173.84/174.10 Changing weight limit from 7 to 8. % 173.84/174.10 % 173.84/174.10 Resetting weight limit to 8 after 3645 givens. % 173.84/174.10 % 174.02/174.21 % 174.02/174.21 % 174.02/174.21 Changing weight limit from 8 to 7. % 174.02/174.21 % 174.02/174.21 Resetting weight limit to 7 after 3650 givens. % 174.02/174.21 % 174.14/174.32 % 174.14/174.32 % 174.14/174.32 Changing weight limit from 7 to 8. % 174.14/174.32 % 174.14/174.32 Resetting weight limit to 8 after 3655 givens. % 174.14/174.32 % 175.52/175.72 % 175.52/175.72 % 175.52/175.72 Changing weight limit from 8 to 7. % 175.52/175.72 % 175.52/175.72 Resetting weight limit to 7 after 3775 givens. % 175.52/175.72 % 175.62/175.83 % 175.62/175.83 % 175.62/175.83 Changing weight limit from 7 to 8. % 175.62/175.83 % 175.62/175.83 Resetting weight limit to 8 after 3780 givens. % 175.62/175.83 % 175.72/175.95 % 175.72/175.95 % 175.72/175.95 Changing weight limit from 8 to 7. % 175.72/175.95 % 175.72/175.95 Resetting weight limit to 7 after 3785 givens. % 175.72/175.95 % 175.84/176.06 % 175.84/176.06 % 175.84/176.06 Changing weight limit from 7 to 8. % 175.84/176.06 % 175.84/176.06 Resetting weight limit to 8 after 3790 givens. % 175.84/176.06 % 175.92/176.18 % 175.92/176.18 % 175.92/176.18 Changing weight limit from 8 to 7. % 175.92/176.18 % 175.92/176.18 Resetting weight limit to 7 after 3795 givens. % 175.92/176.18 % 176.12/176.30 % 176.12/176.30 % 176.12/176.30 Changing weight limit from 7 to 8. % 176.12/176.30 % 176.12/176.30 Resetting weight limit to 8 after 3800 givens. % 176.12/176.30 % 176.23/176.42 % 176.23/176.42 % 176.23/176.42 Changing weight limit from 8 to 7. % 176.23/176.42 % 176.23/176.42 Resetting weight limit to 7 after 3805 givens. % 176.23/176.42 % 176.31/176.53 % 176.31/176.53 % 176.31/176.53 Changing weight limit from 7 to 8. % 176.31/176.53 % 176.31/176.53 Resetting weight limit to 8 after 3810 givens. % 176.31/176.53 % 176.45/176.65 % 176.45/176.65 % 176.45/176.65 Changing weight limit from 8 to 7. % 176.45/176.65 % 176.45/176.65 Resetting weight limit to 7 after 3815 givens. % 176.45/176.65 % 176.54/176.77 % 176.54/176.77 % 176.54/176.77 Changing weight limit from 7 to 8. % 176.54/176.77 % 176.54/176.77 Resetting weight limit to 8 after 3820 givens. % 176.54/176.77 % 176.71/176.89 % 176.71/176.89 % 176.71/176.89 Changing weight limit from 8 to 7. % 176.71/176.89 % 176.71/176.89 Resetting weight limit to 7 after 3825 givens. % 176.71/176.89 % 176.75/177.00 % 176.75/177.00 % 176.75/177.00 Changing weight limit from 7 to 8. % 176.75/177.00 % 176.75/177.00 Resetting weight limit to 8 after 3830 givens. % 176.75/177.00 % 176.92/177.12 % 176.92/177.12 % 176.92/177.12 Changing weight limit from 8 to 7. % 176.92/177.12 % 176.92/177.12 Resetting weight limit to 7 after 3835 givens. % 176.92/177.12 % 177.05/177.24 % 177.05/177.24 % 177.05/177.24 Changing weight limit from 7 to 8. % 177.05/177.24 % 177.05/177.24 Resetting weight limit to 8 after 3840 givens. % 177.05/177.24 % 177.13/177.36 % 177.13/177.36 % 177.13/177.36 Changing weight limit from 8 to 7. % 177.13/177.36 % 177.13/177.36 Resetting weight limit to 7 after 3845 givens. % 177.13/177.36 % 177.29/177.48 % 177.29/177.48 % 177.29/177.48 Changing weight limit from 7 to 8. % 177.29/177.48 % 177.29/177.48 Resetting weight limit to 8 after 3850 givens. % 177.29/177.48 % 177.43/177.61 % 177.43/177.61 % 177.43/177.61 Changing weight limit from 8 to 7. % 177.43/177.61 % 177.43/177.61 Resetting weight limit to 7 after 3855 givens. % 177.43/177.61 % 177.51/177.72 % 177.51/177.72 % 177.51/177.72 Changing weight limit from 7 to 8. % 177.51/177.72 % 177.51/177.72 Resetting weight limit to 8 after 3860 givens. % 177.51/177.72 % 177.65/177.85 % 177.65/177.85 % 177.65/177.85 Changing weight limit from 8 to 7. % 177.65/177.85 % 177.65/177.85 Resetting weight limit to 7 after 3865 givens. % 177.65/177.85 % 177.74/177.97 % 177.74/177.97 % 177.74/177.97 Changing weight limit from 7 to 8. % 177.74/177.97 % 177.74/177.97 Resetting weight limit to 8 after 3870 givens. % 177.74/177.97 % 177.91/178.09 % 177.91/178.09 % 177.91/178.09 Changing weight limit from 8 to 7. % 177.91/178.09 % 177.91/178.09 Resetting weight limit to 7 after 3875 givens. % 177.91/178.09 % 178.04/178.21 % 178.04/178.21 % 178.04/178.21 Changing weight limit from 7 to 8. % 178.04/178.21 % 178.04/178.21 Resetting weight limit to 8 after 3880 givens. % 178.04/178.21 % 178.13/178.34 % 178.13/178.34 % 178.13/178.34 Changing weight limit from 8 to 7. % 178.13/178.34 % 178.13/178.34 Resetting weight limit to 7 after 3885 givens. % 178.13/178.34 % 178.23/178.46 % 178.23/178.46 % 178.23/178.46 Changing weight limit from 7 to 8. % 178.23/178.46 % 178.23/178.46 Resetting weight limit to 8 after 3890 givens. % 178.23/178.46 % 178.33/178.59 % 178.33/178.59 % 178.33/178.59 Changing weight limit from 8 to 7. % 178.33/178.59 % 178.33/178.59 Resetting weight limit to 7 after 3895 givens. % 178.33/178.59 % 178.53/178.71 % 178.53/178.71 % 178.53/178.71 Changing weight limit from 7 to 8. % 178.53/178.71 % 178.53/178.71 Resetting weight limit to 8 after 3900 givens. % 178.53/178.71 % 178.63/178.83 % 178.63/178.83 % 178.63/178.83 Changing weight limit from 8 to 7. % 178.63/178.83 % 178.63/178.83 Resetting weight limit to 7 after 3905 givens. % 178.63/178.83 % 178.83/179.03 % 178.83/179.03 % 178.83/179.03 Changing weight limit from 7 to 8. % 178.83/179.03 % 178.83/179.03 Resetting weight limit to 8 after 3915 givens. % 178.83/179.03 % 178.92/179.16 % 178.92/179.16 % 178.92/179.16 Changing weight limit from 8 to 7. % 178.92/179.16 % 178.92/179.16 Resetting weight limit to 7 after 3920 givens. % 178.92/179.16 % 179.02/179.28 % 179.02/179.28 % 179.02/179.28 Changing weight limit from 7 to 8. % 179.02/179.28 % 179.02/179.28 Resetting weight limit to 8 after 3925 givens. % 179.02/179.28 % 179.22/179.41 % 179.22/179.41 % 179.22/179.41 Changing weight limit from 8 to 7. % 179.22/179.41 % 179.22/179.41 Resetting weight limit to 7 after 3930 givens. % 179.22/179.41 % 179.34/179.54 % 179.34/179.54 % 179.34/179.54 Changing weight limit from 7 to 8. % 179.34/179.54 % 179.34/179.54 Resetting weight limit to 8 after 3935 givens. % 179.34/179.54 % 179.43/179.67 % 179.43/179.67 % 179.43/179.67 Changing weight limit from 8 to 7. % 179.43/179.67 % 179.43/179.67 Resetting weight limit to 7 after 3940 givens. % 179.43/179.67 % 179.61/179.80 % 179.61/179.80 % 179.61/179.80 Changing weight limit from 7 to 8. % 179.61/179.80 % 179.61/179.80 Resetting weight limit to 8 after 3945 givens. % 179.61/179.80 % 179.73/179.93 % 179.73/179.93 % 179.73/179.93 Changing weight limit from 8 to 7. % 179.73/179.93 % 179.73/179.93 Resetting weight limit to 7 after 3950 givens. % 179.73/179.93 % 179.96/180.16 % 179.96/180.16 % 179.96/180.16 Changing weight limit from 7 to 8. % 179.96/180.16 % 179.96/180.16 Resetting weight limit to 8 after 3960 givens. % 179.96/180.16 % 180.10/180.30 % 180.10/180.30 % 180.10/180.30 Changing weight limit from 8 to 7. % 180.10/180.30 % 180.10/180.30 Resetting weight limit to 7 after 3965 givens. % 180.10/180.30 % 180.26/180.43 % 180.26/180.43 % 180.26/180.43 Changing weight limit from 7 to 8. % 180.26/180.43 % 180.26/180.43 Resetting weight limit to 8 after 3970 givens. % 180.26/180.43 % 180.35/180.57 % 180.35/180.57 % 180.35/180.57 Changing weight limit from 8 to 7. % 180.35/180.57 % 180.35/180.57 Resetting weight limit to 7 after 3975 givens. % 180.35/180.57 % 180.52/180.70 % 180.52/180.70 % 180.52/180.70 Changing weight limit from 7 to 8. % 180.52/180.70 % 180.52/180.70 Resetting weight limit to 8 after 3980 givens. % 180.52/180.70 % 180.63/180.83 % 180.63/180.83 % 180.63/180.83 Changing weight limit from 8 to 7. % 180.63/180.83 % 180.63/180.83 Resetting weight limit to 7 after 3985 givens. % 180.63/180.83 % 180.69/180.96 % 180.69/180.96 % 180.69/180.96 Changing weight limit from 7 to 8. % 180.69/180.96 % 180.69/180.96 Resetting weight limit to 8 after 3990 givens. % 180.69/180.96 % 180.86/181.09 % 180.86/181.09 % 180.86/181.09 Changing weight limit from 8 to 7. % 180.86/181.09 % 180.86/181.09 Resetting weight limit to 7 after 3995 givens. % 180.86/181.09 % 181.00/181.22 % 181.00/181.22 % 181.00/181.22 Changing weight limit from 7 to 8. % 181.00/181.22 % 181.00/181.22 Resetting weight limit to 8 after 4000 givens. % 181.00/181.22 % 181.15/181.35 % 181.15/181.35 % 181.15/181.35 Changing weight limit from 8 to 7. % 181.15/181.35 % 181.15/181.35 Resetting weight limit to 7 after 4005 givens. % 181.15/181.35 % 181.24/181.48 % 181.24/181.48 % 181.24/181.48 Changing weight limit from 7 to 8. % 181.24/181.48 % 181.24/181.48 Resetting weight limit to 8 after 4010 givens. % 181.24/181.48 % 181.43/181.61 % 181.43/181.61 % 181.43/181.61 Changing weight limit from 8 to 7. % 181.43/181.61 % 181.43/181.61 Resetting weight limit to 7 after 4015 givens. % 181.43/181.61 % 181.55/181.74 % 181.55/181.74 % 181.55/181.74 Changing weight limit from 7 to 8. % 181.55/181.74 % 181.55/181.74 Resetting weight limit to 8 after 4020 givens. % 181.55/181.74 % 181.63/181.88 % 181.63/181.88 % 181.63/181.88 Changing weight limit from 8 to 7. % 181.63/181.88 % 181.63/181.88 Resetting weight limit to 7 after 4025 givens. % 181.63/181.88 % 181.75/182.01 % 181.75/182.01 % 181.75/182.01 Changing weight limit from 7 to 8. % 181.75/182.01 % 181.75/182.01 Resetting weight limit to 8 after 4030 givens. % 181.75/182.01 % 181.92/182.14 % 181.92/182.14 % 181.92/182.14 Changing weight limit from 8 to 7. % 181.92/182.14 % 181.92/182.14 Resetting weight limit to 7 after 4035 givens. % 181.92/182.14 % 182.04/182.27 % 182.04/182.27 % 182.04/182.27 Changing weight limit from 7 to 8. % 182.04/182.27 % 182.04/182.27 Resetting weight limit to 8 after 4040 givens. % 182.04/182.27 % 182.23/182.40 % 182.23/182.40 % 182.23/182.40 Changing weight limit from 8 to 7. % 182.23/182.40 % 182.23/182.40 Resetting weight limit to 7 after 4045 givens. % 182.23/182.40 % 182.43/182.62 % 182.43/182.62 % 182.43/182.62 Changing weight limit from 7 to 8. % 182.43/182.62 % 182.43/182.62 Resetting weight limit to 8 after 4055 givens. % 182.43/182.62 % 182.53/182.75 % 182.53/182.75 % 182.53/182.75 Changing weight limit from 8 to 7. % 182.53/182.75 % 182.53/182.75 Resetting weight limit to 7 after 4060 givens. % 182.53/182.75 % 182.62/182.88 % 182.62/182.88 % 182.62/182.88 Changing weight limit from 7 to 8. % 182.62/182.88 % 182.62/182.88 Resetting weight limit to 8 after 4065 givens. % 182.62/182.88 % 182.84/183.02 % 182.84/183.02 % 182.84/183.02 Changing weight limit from 8 to 7. % 182.84/183.02 % 182.84/183.02 Resetting weight limit to 7 after 4070 givens. % 182.84/183.02 % 182.91/183.15 % 182.91/183.15 % 182.91/183.15 Changing weight limit from 7 to 8. % 182.91/183.15 % 182.91/183.15 Resetting weight limit to 8 after 4075 givens. % 182.91/183.15 % 183.05/183.29 % 183.05/183.29 % 183.05/183.29 Changing weight limit from 8 to 7. % 183.05/183.29 % 183.05/183.29 Resetting weight limit to 7 after 4080 givens. % 183.05/183.29 % 183.22/183.42 % 183.22/183.42 % 183.22/183.42 Changing weight limit from 7 to 8. % 183.22/183.42 % 183.22/183.42 Resetting weight limit to 8 after 4085 givens. % 183.22/183.42 % 183.35/183.56 % 183.35/183.56 % 183.35/183.56 Changing weight limit from 8 to 7. % 183.35/183.56 % 183.35/183.56 Resetting weight limit to 7 after 4090 givens. % 183.35/183.56 % 183.61/183.80 % 183.61/183.80 % 183.61/183.80 Changing weight limit from 7 to 8. % 183.61/183.80 % 183.61/183.80 Resetting weight limit to 8 after 4100 givens. % 183.61/183.80 % 183.74/183.94 % 183.74/183.94 % 183.74/183.94 Changing weight limit from 8 to 7. % 183.74/183.94 % 183.74/183.94 Resetting weight limit to 7 after 4105 givens. % 183.74/183.94 % 183.90/184.08 % 183.90/184.08 % 183.90/184.08 Changing weight limit from 7 to 8. % 183.90/184.08 % 183.90/184.08 Resetting weight limit to 8 after 4110 givens. % 183.90/184.08 % 184.02/184.21 % 184.02/184.21 % 184.02/184.21 Changing weight limit from 8 to 7. % 184.02/184.21 % 184.02/184.21 Resetting weight limit to 7 after 4115 givens. % 184.02/184.21 % 184.09/184.35 % 184.09/184.35 % 184.09/184.35 Changing weight limit from 7 to 8. % 184.09/184.35 % 184.09/184.35 Resetting weight limit to 8 after 4120 givens. % 184.09/184.35 % 184.25/184.49 % 184.25/184.49 % 184.25/184.49 Changing weight limit from 8 to 7. % 184.25/184.49 % 184.25/184.49 Resetting weight limit to 7 after 4125 givens. % 184.25/184.49 % 184.41/184.62 % 184.41/184.62 % 184.41/184.62 Changing weight limit from 7 to 8. % 184.41/184.62 % 184.41/184.62 Resetting weight limit to 8 after 4130 givens. % 184.41/184.62 % 184.56/184.76 % 184.56/184.76 % 184.56/184.76 Changing weight limit from 8 to 7. % 184.56/184.76 % 184.56/184.76 Resetting weight limit to 7 after 4135 givens. % 184.56/184.76 % 184.72/184.90 % 184.72/184.90 % 184.72/184.90 Changing weight limit from 7 to 8. % 184.72/184.90 % 184.72/184.90 Resetting weight limit to 8 after 4140 givens. % 184.72/184.90 % 184.85/185.04 % 184.85/185.04 % 184.85/185.04 Changing weight limit from 8 to 7. % 184.85/185.04 % 184.85/185.04 Resetting weight limit to 7 after 4145 givens. % 184.85/185.04 % 184.94/185.18 % 184.94/185.18 % 184.94/185.18 Changing weight limit from 7 to 8. % 184.94/185.18 % 184.94/185.18 Resetting weight limit to 8 after 4150 givens. % 184.94/185.18 % 185.14/185.32 % 185.14/185.32 % 185.14/185.32 Changing weight limit from 8 to 7. % 185.14/185.32 % 185.14/185.32 Resetting weight limit to 7 after 4155 givens. % 185.14/185.32 % 185.23/185.46 % 185.23/185.46 % 185.23/185.46 Changing weight limit from 7 to 8. % 185.23/185.46 % 185.23/185.46 Resetting weight limit to 8 after 4160 givens. % 185.23/185.46 % 185.41/185.60 % 185.41/185.60 % 185.41/185.60 Changing weight limit from 8 to 7. % 185.41/185.60 % 185.41/185.60 Resetting weight limit to 7 after 4165 givens. % 185.41/185.60 % 185.55/185.74 % 185.55/185.74 % 185.55/185.74 Changing weight limit from 7 to 8. % 185.55/185.74 % 185.55/185.74 Resetting weight limit to 8 after 4170 givens. % 185.55/185.74 % 185.62/185.88 % 185.62/185.88 % 185.62/185.88 Changing weight limit from 8 to 7. % 185.62/185.88 % 185.62/185.88 Resetting weight limit to 7 after 4175 givens. % 185.62/185.88 % 185.83/186.02 % 185.83/186.02 % 185.83/186.02 Changing weight limit from 7 to 8. % 185.83/186.02 % 185.83/186.02 Resetting weight limit to 8 after 4180 givens. % 185.83/186.02 % 185.93/186.16 % 185.93/186.16 % 185.93/186.16 Changing weight limit from 8 to 7. % 185.93/186.16 % 185.93/186.16 Resetting weight limit to 7 after 4185 givens. % 185.93/186.16 % 186.11/186.30 % 186.11/186.30 % 186.11/186.30 Changing weight limit from 7 to 8. % 186.11/186.30 % 186.11/186.30 Resetting weight limit to 8 after 4190 givens. % 186.11/186.30 % 186.24/186.45 % 186.24/186.45 % 186.24/186.45 Changing weight limit from 8 to 7. % 186.24/186.45 % 186.24/186.45 Resetting weight limit to 7 after 4195 givens. % 186.24/186.45 % 186.40/186.59 % 186.40/186.59 % 186.40/186.59 Changing weight limit from 7 to 8. % 186.40/186.59 % 186.40/186.59 Resetting weight limit to 8 after 4200 givens. % 186.40/186.59 % 186.54/186.73 % 186.54/186.73 % 186.54/186.73 Changing weight limit from 8 to 7. % 186.54/186.73 % 186.54/186.73 Resetting weight limit to 7 after 4205 givens. % 186.54/186.73 % 186.61/186.87 % 186.61/186.87 % 186.61/186.87 Changing weight limit from 7 to 8. % 186.61/186.87 % 186.61/186.87 Resetting weight limit to 8 after 4210 givens. % 186.61/186.87 % 186.84/187.02 % 186.84/187.02 % 186.84/187.02 Changing weight limit from 8 to 7. % 186.84/187.02 % 186.84/187.02 Resetting weight limit to 7 after 4215 givens. % 186.84/187.02 % 186.91/187.16 % 186.91/187.16 % 186.91/187.16 Changing weight limit from 7 to 8. % 186.91/187.16 % 186.91/187.16 Resetting weight limit to 8 after 4220 givens. % 186.91/187.16 % 187.05/187.31 % 187.05/187.31 % 187.05/187.31 Changing weight limit from 8 to 7. % 187.05/187.31 % 187.05/187.31 Resetting weight limit to 7 after 4225 givens. % 187.05/187.31 % 187.35/187.53 % 187.35/187.53 % 187.35/187.53 Changing weight limit from 7 to 8. % 187.35/187.53 % 187.35/187.53 Resetting weight limit to 8 after 4235 givens. % 187.35/187.53 % 187.49/187.68 % 187.49/187.68 % 187.49/187.68 Changing weight limit from 8 to 7. % 187.49/187.68 % 187.49/187.68 Resetting weight limit to 7 after 4240 givens. % 187.49/187.68 % 187.61/187.82 % 187.61/187.82 % 187.61/187.82 Changing weight limit from 7 to 8. % 187.61/187.82 % 187.61/187.82 Resetting weight limit to 8 after 4245 givens. % 187.61/187.82 % 187.72/187.97 % 187.72/187.97 % 187.72/187.97 Changing weight limit from 8 to 7. % 187.72/187.97 % 187.72/187.97 Resetting weight limit to 7 after 4250 givens. % 187.72/187.97 % 187.93/188.11 % 187.93/188.11 % 187.93/188.11 Changing weight limit from 7 to 8. % 187.93/188.11 % 187.93/188.11 Resetting weight limit to 8 after 4255 givens. % 187.93/188.11 % 188.04/188.26 % 188.04/188.26 % 188.04/188.26 Changing weight limit from 8 to 7. % 188.04/188.26 % 188.04/188.26 Resetting weight limit to 7 after 4260 givens. % 188.04/188.26 % 188.20/188.40 % 188.20/188.40 % 188.20/188.40 Changing weight limit from 7 to 8. % 188.20/188.40 % 188.20/188.40 Resetting weight limit to 8 after 4265 givens. % 188.20/188.40 % 188.34/188.55 % 188.34/188.55 % 188.34/188.55 Changing weight limit from 8 to 7. % 188.34/188.55 % 188.34/188.55 Resetting weight limit to 7 after 4270 givens. % 188.34/188.55 % 188.51/188.70 % 188.51/188.70 % 188.51/188.70 Changing weight limit from 7 to 8. % 188.51/188.70 % 188.51/188.70 Resetting weight limit to 8 after 4275 givens. % 188.51/188.70 % 188.63/188.84 % 188.63/188.84 % 188.63/188.84 Changing weight limit from 8 to 7. % 188.63/188.84 % 188.63/188.84 Resetting weight limit to 7 after 4280 givens. % 188.63/188.84 % 188.82/188.99 % 188.82/188.99 % 188.82/188.99 Changing weight limit from 7 to 8. % 188.82/188.99 % 188.82/188.99 Resetting weight limit to 8 after 4285 givens. % 188.82/188.99 % 188.94/189.14 % 188.94/189.14 % 188.94/189.14 Changing weight limit from 8 to 7. % 188.94/189.14 % 188.94/189.14 Resetting weight limit to 7 after 4290 givens. % 188.94/189.14 % 189.02/189.28 % 189.02/189.28 % 189.02/189.28 Changing weight limit from 7 to 8. % 189.02/189.28 % 189.02/189.28 Resetting weight limit to 8 after 4295 givens. % 189.02/189.28 % 189.23/189.44 % 189.23/189.44 % 189.23/189.44 Changing weight limit from 8 to 7. % 189.23/189.44 % 189.23/189.44 Resetting weight limit to 7 after 4300 givens. % 189.23/189.44 % 189.32/189.58 % 189.32/189.58 % 189.32/189.58 Changing weight limit from 7 to 8. % 189.32/189.58 % 189.32/189.58 Resetting weight limit to 8 after 4305 givens. % 189.32/189.58 % 189.55/189.73 % 189.55/189.73 % 189.55/189.73 Changing weight limit from 8 to 7. % 189.55/189.73 % 189.55/189.73 Resetting weight limit to 7 after 4310 givens. % 189.55/189.73 % 189.63/189.88 % 189.63/189.88 % 189.63/189.88 Changing weight limit from 7 to 8. % 189.63/189.88 % 189.63/189.88 Resetting weight limit to 8 after 4315 givens. % 189.63/189.88 % 189.84/190.03 % 189.84/190.03 % 189.84/190.03 Changing weight limit from 8 to 7. % 189.84/190.03 % 189.84/190.03 Resetting weight limit to 7 after 4320 givens. % 189.84/190.03 % 189.93/190.18 % 189.93/190.18 % 189.93/190.18 Changing weight limit from 7 to 8. % 189.93/190.18 % 189.93/190.18 Resetting weight limit to 8 after 4325 givens. % 189.93/190.18 % 190.15/190.33 % 190.15/190.33 % 190.15/190.33 Changing weight limit from 8 to 7. % 190.15/190.33 % 190.15/190.33 Resetting weight limit to 7 after 4330 givens. % 190.15/190.33 % 190.31/190.48 % 190.31/190.48 % 190.31/190.48 Changing weight limit from 7 to 8. % 190.31/190.48 % 190.31/190.48 Resetting weight limit to 8 after 4335 givens. % 190.31/190.48 % 190.45/190.63 % 190.45/190.63 % 190.45/190.63 Changing weight limit from 8 to 7. % 190.45/190.63 % 190.45/190.63 Resetting weight limit to 7 after 4340 givens. % 190.45/190.63 % 190.60/190.78 % 190.60/190.78 % 190.60/190.78 Changing weight limit from 7 to 8. % 190.60/190.78 % 190.60/190.78 Resetting weight limit to 8 after 4345 givens. % 190.60/190.78 % 190.75/190.94 % 190.75/190.94 % 190.75/190.94 Changing weight limit from 8 to 7. % 190.75/190.94 % 190.75/190.94 Resetting weight limit to 7 after 4350 givens. % 190.75/190.94 % 190.89/191.09 % 190.89/191.09 % 190.89/191.09 Changing weight limit from 7 to 8. % 190.89/191.09 % 190.89/191.09 Resetting weight limit to 8 after 4355 givens. % 190.89/191.09 % 191.05/191.24 % 191.05/191.24 % 191.05/191.24 Changing weight limit from 8 to 7. % 191.05/191.24 % 191.05/191.24 Resetting weight limit to 7 after 4360 givens. % 191.05/191.24 % 191.20/191.39 % 191.20/191.39 % 191.20/191.39 Changing weight limit from 7 to 8. % 191.20/191.39 % 191.20/191.39 Resetting weight limit to 8 after 4365 givens. % 191.20/191.39 % 191.35/191.55 % 191.35/191.55 % 191.35/191.55 Changing weight limit from 8 to 7. % 191.35/191.55 % 191.35/191.55 Resetting weight limit to 7 after 4370 givens. % 191.35/191.55 % 191.52/191.70 % 191.52/191.70 % 191.52/191.70 Changing weight limit from 7 to 8. % 191.52/191.70 % 191.52/191.70 Resetting weight limit to 8 after 4375 givens. % 191.52/191.70 % 191.66/191.85 % 191.66/191.85 % 191.66/191.85 Changing weight limit from 8 to 7. % 191.66/191.85 % 191.66/191.85 Resetting weight limit to 7 after 4380 givens. % 191.66/191.85 % 191.82/192.00 % 191.82/192.00 % 191.82/192.00 Changing weight limit from 7 to 8. % 191.82/192.00 % 191.82/192.00 Resetting weight limit to 8 after 4385 givens. % 191.82/192.00 % 191.94/192.16 % 191.94/192.16 % 191.94/192.16 Changing weight limit from 8 to 7. % 191.94/192.16 % 191.94/192.16 Resetting weight limit to 7 after 4390 givens. % 191.94/192.16 % 192.12/192.31 % 192.12/192.31 % 192.12/192.31 Changing weight limit from 7 to 8. % 192.12/192.31 % 192.12/192.31 Resetting weight limit to 8 after 4395 givens. % 192.12/192.31 % 192.24/192.47 % 192.24/192.47 % 192.24/192.47 Changing weight limit from 8 to 7. % 192.24/192.47 % 192.24/192.47 Resetting weight limit to 7 after 4400 givens. % 192.24/192.47 % 192.42/192.62 % 192.42/192.62 % 192.42/192.62 Changing weight limit from 7 to 8. % 192.42/192.62 % 192.42/192.62 Resetting weight limit to 8 after 4405 givens. % 192.42/192.62 % 192.52/192.78 % 192.52/192.78 % 192.52/192.78 Changing weight limit from 8 to 7. % 192.52/192.78 % 192.52/192.78 Resetting weight limit to 7 after 4410 givens. % 192.52/192.78 % 192.73/192.93 % 192.73/192.93 % 192.73/192.93 Changing weight limit from 7 to 8. % 192.73/192.93 % 192.73/192.93 Resetting weight limit to 8 after 4415 givens. % 192.73/192.93 % 192.91/193.09 % 192.91/193.09 % 192.91/193.09 Changing weight limit from 8 to 7. % 192.91/193.09 % 192.91/193.09 Resetting weight limit to 7 after 4420 givens. % 192.91/193.09 % 193.04/193.24 % 193.04/193.24 % 193.04/193.24 Changing weight limit from 7 to 8. % 193.04/193.24 % 193.04/193.24 Resetting weight limit to 8 after 4425 givens. % 193.04/193.24 % 193.23/193.40 % 193.23/193.40 % 193.23/193.40 Changing weight limit from 8 to 7. % 193.23/193.40 % 193.23/193.40 Resetting weight limit to 7 after 4430 givens. % 193.23/193.40 % 193.34/193.56 % 193.34/193.56 % 193.34/193.56 Changing weight limit from 7 to 8. % 193.34/193.56 % 193.34/193.56 Resetting weight limit to 8 after 4435 givens. % 193.34/193.56 % 193.54/193.72 % 193.54/193.72 % 193.54/193.72 Changing weight limit from 8 to 7. % 193.54/193.72 % 193.54/193.72 Resetting weight limit to 7 after 4440 givens. % 193.54/193.72 % 193.63/193.87 % 193.63/193.87 % 193.63/193.87 Changing weight limit from 7 to 8. % 193.63/193.87 % 193.63/193.87 Resetting weight limit to 8 after 4445 givens. % 193.63/193.87 % 193.86/194.03 % 193.86/194.03 % 193.86/194.03 Changing weight limit from 8 to 7. % 193.86/194.03 % 193.86/194.03 Resetting weight limit to 7 after 4450 givens. % 193.86/194.03 % 194.10/194.29 % 194.10/194.29 % 194.10/194.29 Changing weight limit from 7 to 8. % 194.10/194.29 % 194.10/194.29 Resetting weight limit to 8 after 4460 givens. % 194.10/194.29 % 194.22/194.45 % 194.22/194.45 % 194.22/194.45 Changing weight limit from 8 to 7. % 194.22/194.45 % 194.22/194.45 Resetting weight limit to 7 after 4465 givens. % 194.22/194.45 % 194.42/194.62 % 194.42/194.62 % 194.42/194.62 Changing weight limit from 7 to 8. % 194.42/194.62 % 194.42/194.62 Resetting weight limit to 8 after 4470 givens. % 194.42/194.62 % 194.61/194.79 % 194.61/194.79 % 194.61/194.79 Changing weight limit from 8 to 7. % 194.61/194.79 % 194.61/194.79 Resetting weight limit to 7 after 4475 givens. % 194.61/194.79 % 194.75/194.95 % 194.75/194.95 % 194.75/194.95 Changing weight limit from 7 to 8. % 194.75/194.95 % 194.75/194.95 Resetting weight limit to 8 after 4480 givens. % 194.75/194.95 % 194.91/195.13 % 194.91/195.13 % 194.91/195.13 Changing weight limit from 8 to 7. % 194.91/195.13 % 194.91/195.13 Resetting weight limit to 7 after 4485 givens. % 194.91/195.13 % 195.06/195.31 % 195.06/195.31 % 195.06/195.31 Changing weight limit from 7 to 8. % 195.06/195.31 % 195.06/195.31 Resetting weight limit to 8 after 4490 givens. % 195.06/195.31 % 195.34/195.52 % 195.34/195.52 % 195.34/195.52 Changing weight limit from 8 to 7. % 195.34/195.52 % 195.34/195.52 Resetting weight limit to 7 after 4495 givens. % 195.34/195.52 % 195.60/195.79 % 195.60/195.79 % 195.60/195.79 Changing weight limit from 7 to 8. % 195.60/195.79 % 195.60/195.79 Resetting weight limit to 8 after 4500 givens. % 195.60/195.79 % 195.83/196.01 % 195.83/196.01 % 195.83/196.01 Changing weight limit from 8 to 7. % 195.83/196.01 % 195.83/196.01 Resetting weight limit to 7 after 4505 givens. % 195.83/196.01 % 196.13/196.30 % 196.13/196.30 % 196.13/196.30 Changing weight limit from 7 to 8. % 196.13/196.30 % 196.13/196.30 Resetting weight limit to 8 after 4515 givens. % 196.13/196.30 % 196.21/196.47 % 196.21/196.47 % 196.21/196.47 Changing weight limit from 8 to 7. % 196.21/196.47 % 196.21/196.47 Resetting weight limit to 7 after 4520 givens. % 196.21/196.47 % 196.43/196.63 % 196.43/196.63 % 196.43/196.63 Changing weight limit from 7 to 8. % 196.43/196.63 % 196.43/196.63 Resetting weight limit to 8 after 4525 givens. % 196.43/196.63 % 196.60/196.80 % 196.60/196.80 % 196.60/196.80 Changing weight limit from 8 to 7. % 196.60/196.80 % 196.60/196.80 Resetting weight limit to 7 after 4530 givens. % 196.60/196.80 % 196.82/197.01 % 196.82/197.01 % 196.82/197.01 Changing weight limit from 7 to 8. % 196.82/197.01 % 196.82/197.01 Resetting weight limit to 8 after 4545 givens. % 196.82/197.01 % 196.82/197.02 % 196.82/197.02 % 196.82/197.02 Changing weight limit from 8 to 7. % 196.82/197.02 % 196.82/197.02 Resetting weight limit to 7 after 4550 givens. % 196.82/197.02 % 196.90/197.08 % 196.90/197.08 % 196.90/197.08 Changing weight limit from 7 to 8. % 196.90/197.08 % 196.90/197.08 Resetting weight limit to 8 after 4555 givens. % 196.90/197.08 % 196.95/197.21 % 196.95/197.21 % 196.95/197.21 Changing weight limit from 8 to 7. % 196.95/197.21 % 196.95/197.21 Resetting weight limit to 7 after 4565 givens. % 196.95/197.21 % 197.26/197.51 % 197.26/197.51 % 197.26/197.51 Changing weight limit from 7 to 8. % 197.26/197.51 % 197.26/197.51 Resetting weight limit to 8 after 4600 givens. % 197.26/197.51 % 197.34/197.55 % 197.34/197.55 % 197.34/197.55 Changing weight limit from 8 to 7. % 197.34/197.55 % 197.34/197.55 Resetting weight limit to 7 after 4605 givens. % 197.34/197.55 % 197.50/197.69 % 197.50/197.69 % 197.50/197.69 Changing weight limit from 7 to 8. % 197.50/197.69 % 197.50/197.69 Resetting weight limit to 8 after 4620 givens. % 197.50/197.69 % 197.55/197.73 % 197.55/197.73 % 197.55/197.73 Changing weight limit from 8 to 7. % 197.55/197.73 % 197.55/197.73 Resetting weight limit to 7 after 4625 givens. % 197.55/197.73 % 197.93/198.11 % 197.93/198.11 % 197.93/198.11 Changing weight limit from 7 to 8. % 197.93/198.11 % 197.93/198.11 Resetting weight limit to 8 after 4690 givens. % 197.93/198.11 % 197.93/198.16 % 197.93/198.16 % 197.93/198.16 Changing weight limit from 8 to 7. % 197.93/198.16 % 197.93/198.16 Resetting weight limit to 7 after 4695 givens. % 197.93/198.16 % 198.74/198.92 % 198.74/198.92 % 198.74/198.92 Changing weight limit from 7 to 8. % 198.74/198.92 % 198.74/198.92 Resetting weight limit to 8 after 4750 givens. % 198.74/198.92 % 199.31/199.53 % 199.31/199.53 % 199.31/199.53 Changing weight limit from 8 to 7. % 199.31/199.53 % 199.31/199.53 Resetting weight limit to 7 after 4800 givens. % 199.31/199.53 % 199.43/199.67 % 199.43/199.67 % 199.43/199.67 Changing weight limit from 7 to 8. % 199.43/199.67 % 199.43/199.67 Resetting weight limit to 8 after 4805 givens. % 199.43/199.67 % 200.44/200.68 % 200.44/200.68 % 200.44/200.68 Changing weight limit from 8 to 7. % 200.44/200.68 % 200.44/200.68 Resetting weight limit to 7 after 4840 givens. % 200.44/200.68 % 200.74/200.92 % 200.74/200.92 % 200.74/200.92 Changing weight limit from 7 to 8. % 200.74/200.92 % 200.74/200.92 Resetting weight limit to 8 after 4850 givens. % 200.74/200.92 % 200.81/201.03 % 200.81/201.03 % 200.81/201.03 Changing weight limit from 8 to 7. % 200.81/201.03 % 200.81/201.03 Resetting weight limit to 7 after 4855 givens. % 200.81/201.03 % 201.10/201.31 % 201.10/201.31 % 201.10/201.31 Changing weight limit from 7 to 8. % 201.10/201.31 % 201.10/201.31 Resetting weight limit to 8 after 4865 givens. % 201.10/201.31 % 203.91/204.10 % 203.91/204.10 % 203.91/204.10 Changing weight limit from 8 to 7. % 203.91/204.10 % 203.91/204.10 Resetting weight limit to 7 after 4960 givens. % 203.91/204.10 % 203.91/204.11 % 203.91/204.11 % 203.91/204.11 Changing weight limit from 7 to 8. % 203.91/204.11 % 203.91/204.11 Resetting weight limit to 8 after 4965 givens. % 203.91/204.11 % 204.00/204.18 % 204.00/204.18 % 204.00/204.18 Changing weight limit from 8 to 7. % 204.00/204.18 % 204.00/204.18 Resetting weight limit to 7 after 4970 givens. % 204.00/204.18 % 204.14/204.32 % 204.14/204.32 % 204.14/204.32 Changing weight limit from 7 to 8. % 204.14/204.32 % 204.14/204.32 Resetting weight limit to 8 after 4975 givens. % 204.14/204.32 % 212.43/212.67 % 212.43/212.67 % 212.43/212.67 Changing weight limit from 8 to 7. % 212.43/212.67 % 212.43/212.67 Resetting weight limit to 7 after 5260 givens. % 212.43/212.67 % 212.51/212.75 % 212.51/212.75 % 212.51/212.75 Changing weight limit from 7 to 8. % 212.51/212.75 % 212.51/212.75 Resetting weight limit to 8 after 5265 givens. % 212.51/212.75 % 213.13/213.36 % 213.13/213.36 % 213.13/213.36 Changing weight limit from 8 to 9. % 213.13/213.36 % 213.13/213.36 Resetting weight limit to 9 after 5305 givens. % 213.13/213.36 % 213.34/213.53 % 213.34/213.53 % 213.34/213.53 Changing weight limit from 9 to 8. % 213.34/213.53 % 213.34/213.53 Resetting weight limit to 8 after 5310 givens. % 213.34/213.53 % 213.74/213.99 % 213.74/213.99 % 213.74/213.99 Changing weight limit from 8 to 9. % 213.74/213.99 % 213.74/213.99 Resetting weight limit to 9 after 5345 givens. % 213.74/213.99 % 213.94/214.11 % 213.94/214.11 % 213.94/214.11 Changing weight limit from 9 to 8. % 213.94/214.11 % 213.94/214.11 Resetting weight limit to 8 after 5350 givens. % 213.94/214.11 % 224.60/224.83 % 224.60/224.83 % 224.60/224.83 Changing weight limit from 8 to 9. % 224.60/224.83 % 224.60/224.83 Resetting weight limit to 9 after 5645 givens. % 224.60/224.83 % 224.82/225.01 % 224.82/225.01 % 224.82/225.01 Changing weight limit from 9 to 8. % 224.82/225.01 % 224.82/225.01 Resetting weight limit to 8 after 5650 givens. % 224.82/225.01 % 226.94/227.12 % 226.94/227.12 % 226.94/227.12 Changing weight limit from 8 to 9. % 226.94/227.12 % 226.94/227.12 Resetting weight limit to 9 after 5725 givens. % 226.94/227.12 % 227.03/227.27 % 227.03/227.27 % 227.03/227.27 Changing weight limit from 9 to 8. % 227.03/227.27 % 227.03/227.27 Resetting weight limit to 8 after 5730 givens. % 227.03/227.27 % 229.33/229.58 % 229.33/229.58 % 229.33/229.58 Changing weight limit from 8 to 9. % 229.33/229.58 % 229.33/229.58 Resetting weight limit to 9 after 5805 givens. % 229.33/229.58 % 229.43/229.69 % 229.43/229.69 % 229.43/229.69 Changing weight limit from 9 to 8. % 229.43/229.69 % 229.43/229.69 Resetting weight limit to 8 after 5810 givens. % 229.43/229.69 % 236.31/236.58 % 236.31/236.58 % 236.31/236.58 Changing weight limit from 8 to 7. % 236.31/236.58 % 236.31/236.58 Resetting weight limit to 7 after 6000 givens. % 236.31/236.58 % 236.71/236.99 % 236.71/236.99 % 236.71/236.99 Changing weight limit from 7 to 8. % 236.71/236.99 % 236.71/236.99 Resetting weight limit to 8 after 6045 givens. % 236.71/236.99 % 236.82/237.05 % 236.82/237.05 % 236.82/237.05 Changing weight limit from 8 to 7. % 236.82/237.05 % 236.82/237.05 Resetting weight limit to 7 after 6050 givens. % 236.82/237.05 % 238.05/238.27 % 238.05/238.27 % 238.05/238.27 Changing weight limit from 7 to 8. % 238.05/238.27 % 238.05/238.27 Resetting weight limit to 8 after 6150 givens. % 238.05/238.27 % 238.13/238.35 % 238.13/238.35 % 238.13/238.35 Changing weight limit from 8 to 7. % 238.13/238.35 % 238.13/238.35 Resetting weight limit to 7 after 6155 givens. % 238.13/238.35 % 238.20/238.43 % 238.20/238.43 % 238.20/238.43 Changing weight limit from 7 to 8. % 238.20/238.43 % 238.20/238.43 Resetting weight limit to 8 after 6160 givens. % 238.20/238.43 % 238.31/238.50 % 238.31/238.50 % 238.31/238.50 Changing weight limit from 8 to 7. % 238.31/238.50 % 238.31/238.50 Resetting weight limit to 7 after 6165 givens. % 238.31/238.50 % 238.48/238.74 % 238.48/238.74 % 238.48/238.74 Changing weight limit from 7 to 8. % 238.48/238.74 % 238.48/238.74 Resetting weight limit to 8 after 6185 givens. % 238.48/238.74 % 242.34/242.59 % 242.34/242.59 % 242.34/242.59 Changing weight limit from 8 to 9. % 242.34/242.59 % 242.34/242.59 Resetting weight limit to 9 after 6465 givens. % 242.34/242.59 % 242.43/242.65 % 242.43/242.65 % 242.43/242.65 Changing weight limit from 9 to 8. % 242.43/242.65 % 242.43/242.65 Resetting weight limit to 8 after 6470 givens. % 242.43/242.65 % 275.21/275.44 % 275.21/275.44 % 275.21/275.44 Changing weight limit from 8 to 9. % 275.21/275.44 % 275.21/275.44 Resetting weight limit to 9 after 8525 givens. % 275.21/275.44 % 275.51/275.73 % 275.51/275.73 % 275.51/275.73 Changing weight limit from 9 to 8. % 275.51/275.73 % 275.51/275.73 Resetting weight limit to 8 after 8530 givens. % 275.51/275.73 % 275.98/276.20 % 275.98/276.20 % 275.98/276.20 Changing weight limit from 8 to 9. % 275.98/276.20 % 275.98/276.20 Resetting weight limit to 9 after 8540 givens. % 275.98/276.20 % 276.28/276.49 % 276.28/276.49 % 276.28/276.49 Changing weight limit from 9 to 8. % 276.28/276.49 % 276.28/276.49 Resetting weight limit to 8 after 8545 givens. % 276.28/276.49 % 276.58/276.78 % 276.58/276.78 % 276.58/276.78 Changing weight limit from 8 to 9. % 276.58/276.78 % 276.58/276.78 Resetting weight limit to 9 after 8550 givens. % 276.58/276.78 % 276.87/277.07 % 276.87/277.07 % 276.87/277.07 Changing weight limit from 9 to 8. % 276.87/277.07 % 276.87/277.07 Resetting weight limit to 8 after 8555 givens. % 276.87/277.07 % 277.09/277.36 % 277.09/277.36 % 277.09/277.36 Changing weight limit from 8 to 9. % 277.09/277.36 % 277.09/277.36 Resetting weight limit to 9 after 8560 givens. % 277.09/277.36 % 277.41/277.66 % 277.41/277.66 % 277.41/277.66 Changing weight limit from 9 to 8. % 277.41/277.66 % 277.41/277.66 Resetting weight limit to 8 after 8565 givens. % 277.41/277.66 % 277.72/277.95 % 277.72/277.95 % 277.72/277.95 Changing weight limit from 8 to 9. % 277.72/277.95 % 277.72/277.95 Resetting weight limit to 9 after 8570 givens. % 277.72/277.95 % 278.01/278.25 % 278.01/278.25 % 278.01/278.25 Changing weight limit from 9 to 8. % 278.01/278.25 % 278.01/278.25 Resetting weight limit to 8 after 8575 givens. % 278.01/278.25 % 278.31/278.54 % 278.31/278.54 % 278.31/278.54 Changing weight limit from 8 to 9. % 278.31/278.54 % 278.31/278.54 Resetting weight limit to 9 after 8580 givens. % 278.31/278.54 % 278.62/278.83 % 278.62/278.83 % 278.62/278.83 Changing weight limit from 9 to 8. % 278.62/278.83 % 278.62/278.83 Resetting weight limit to 8 after 8585 givens. % 278.62/278.83 % 278.93/279.13 % 278.93/279.13 % 278.93/279.13 Changing weight limit from 8 to 9. % 278.93/279.13 % 278.93/279.13 Resetting weight limit to 9 after 8590 givens. % 278.93/279.13 % 279.23/279.42 % 279.23/279.42 % 279.23/279.42 Changing weight limit from 9 to 8. % 279.23/279.42 % 279.23/279.42 Resetting weight limit to 8 after 8595 givens. % 279.23/279.42 % 279.51/279.72 % 279.51/279.72 % 279.51/279.72 Changing weight limit from 8 to 9. % 279.51/279.72 % 279.51/279.72 Resetting weight limit to 9 after 8600 givens. % 279.51/279.72 % 279.81/280.02 % 279.81/280.02 % 279.81/280.02 Changing weight limit from 9 to 8. % 279.81/280.02 % 279.81/280.02 Resetting weight limit to 8 after 8605 givens. % 279.81/280.02 % 280.09/280.31 % 280.09/280.31 % 280.09/280.31 Changing weight limit from 8 to 9. % 280.09/280.31 % 280.09/280.31 Resetting weight limit to 9 after 8610 givens. % 280.09/280.31 % 280.39/280.61 % 280.39/280.61 % 280.39/280.61 Changing weight limit from 9 to 8. % 280.39/280.61 % 280.39/280.61 Resetting weight limit to 8 after 8615 givens. % 280.39/280.61 % 280.70/280.90 % 280.70/280.90 % 280.70/280.90 Changing weight limit from 8 to 9. % 280.70/280.90 % 280.70/280.90 Resetting weight limit to 9 after 8620 givens. % 280.70/280.90 % 280.99/281.20 % 280.99/281.20 % 280.99/281.20 Changing weight limit from 9 to 8. % 280.99/281.20 % 280.99/281.20 Resetting weight limit to 8 after 8625 givens. % 280.99/281.20 % 281.22/281.50 % 281.22/281.50 % 281.22/281.50 Changing weight limit from 8 to 9. % 281.22/281.50 % 281.22/281.50 Resetting weight limit to 9 after 8630 givens. % 281.22/281.50 % 281.61/281.81 % 281.61/281.81 % 281.61/281.81 Changing weight limit from 9 to 8. % 281.61/281.81 % 281.61/281.81 Resetting weight limit to 8 after 8635 givens. % 281.61/281.81 % 281.90/282.10 % 281.90/282.10 % 281.90/282.10 Changing weight limit from 8 to 9. % 281.90/282.10 % 281.90/282.10 Resetting weight limit to 9 after 8640 givens. % 281.90/282.10 % 282.11/282.40 % 282.11/282.40 % 282.11/282.40 Changing weight limit from 9 to 8. % 282.11/282.40 % 282.11/282.40 Resetting weight limit to 8 after 8645 givens. % 282.11/282.40 % 282.42/282.70 % 282.42/282.70 % 282.42/282.70 Changing weight limit from 8 to 9. % 282.42/282.70 % 282.42/282.70 Resetting weight limit to 9 after 8650 givens. % 282.42/282.70 % 282.73/283.00 % 282.73/283.00 % 282.73/283.00 Changing weight limit from 9 to 8. % 282.73/283.00 % 282.73/283.00 Resetting weight limit to 8 after 8655 givens. % 282.73/283.00 % 283.04/283.30 % 283.04/283.30 % 283.04/283.30 Changing weight limit from 8 to 9. % 283.04/283.30 % 283.04/283.30 Resetting weight limit to 9 after 8660 givens. % 283.04/283.30 % 283.34/283.60 % 283.34/283.60 % 283.34/283.60 Changing weight limit from 9 to 8. % 283.34/283.60 % 283.34/283.60 Resetting weight limit to 8 after 8665 givens. % 283.34/283.60 % 283.64/283.90 % 283.64/283.90 % 283.64/283.90 Changing weight limit from 8 to 9. % 283.64/283.90 % 283.64/283.90 Resetting weight limit to 9 after 8670 givens. % 283.64/283.90 % 283.94/284.21 % 283.94/284.21 % 283.94/284.21 Changing weight limit from 9 to 8. % 283.94/284.21 % 283.94/284.21 Resetting weight limit to 8 after 8675 givens. % 283.94/284.21 % 284.24/284.51 % 284.24/284.51 % 284.24/284.51 Changing weight limit from 8 to 9. % 284.24/284.51 % 284.24/284.51 Resetting weight limit to 9 after 8680 givens. % 284.24/284.51 % 284.63/284.81 % 284.63/284.81 % 284.63/284.81 Changing weight limit from 9 to 8. % 284.63/284.81 % 284.63/284.81 Resetting weight limit to 8 after 8685 givens. % 284.63/284.81 % 284.83/285.11 % 284.83/285.11 % 284.83/285.11 Changing weight limit from 8 to 9. % 284.83/285.11 % 284.83/285.11 Resetting weight limit to 9 after 8690 givens. % 284.83/285.11 % 285.22/285.42 % 285.22/285.42 % 285.22/285.42 Changing weight limit from 9 to 8. % 285.22/285.42 % 285.22/285.42 Resetting weight limit to 8 after 8695 givens. % 285.22/285.42 % 285.53/285.72 % 285.53/285.72 % 285.53/285.72 Changing weight limit from 8 to 9. % 285.53/285.72 % 285.53/285.72 Resetting weight limit to 9 after 8700 givens. % 285.53/285.72 % 285.81/286.03 % 285.81/286.03 % 285.81/286.03 Changing weight limit from 9 to 8. % 285.81/286.03 % 285.81/286.03 Resetting weight limit to 8 after 8705 givens. % 285.81/286.03 % 286.11/286.33 % 286.11/286.33 % 286.11/286.33 Changing weight limit from 8 to 9. % 286.11/286.33 % 286.11/286.33 Resetting weight limit to 9 after 8710 givens. % 286.11/286.33 % 286.40/286.64 % 286.40/286.64 % 286.40/286.64 Changing weight limit from 9 to 8. % 286.40/286.64 % 286.40/286.64 Resetting weight limit to 8 after 8715 givens. % 286.40/286.64 % 286.70/286.94 % 286.70/286.94 % 286.70/286.94 Changing weight limit from 8 to 9. % 286.70/286.94 % 286.70/286.94 Resetting weight limit to 9 after 8720 givens. % 286.70/286.94 % 287.01/287.25 % 287.01/287.25 % 287.01/287.25 Changing weight limit from 9 to 8. % 287.01/287.25 % 287.01/287.25 Resetting weight limit to 8 after 8725 givens. % 287.01/287.25 % 287.31/287.55 % 287.31/287.55 % 287.31/287.55 Changing weight limit from 8 to 9. % 287.31/287.55 % 287.31/287.55 Resetting weight limit to 9 after 8730 givens. % 287.31/287.55 % 287.59/287.86 % 287.59/287.86 % 287.59/287.86 Changing weight limit from 9 to 8. % 287.59/287.86 % 287.59/287.86 Resetting weight limit to 8 after 8735 givens. % 287.59/287.86 % 287.90/288.16 % 287.90/288.16 % 287.90/288.16 Changing weight limit from 8 to 9. % 287.90/288.16 % 287.90/288.16 Resetting weight limit to 9 after 8740 givens. % 287.90/288.16 % 288.21/288.47 % 288.21/288.47 % 288.21/288.47 Changing weight limit from 9 to 8. % 288.21/288.47 % 288.21/288.47 Resetting weight limit to 8 after 8745 givens. % 288.21/288.47 % 288.52/288.77 % 288.52/288.77 % 288.52/288.77 Changing weight limit from 8 to 9. % 288.52/288.77 % 288.52/288.77 Resetting weight limit to 9 after 8750 givens. % 288.52/288.77 % 288.81/289.08 % 288.81/289.08 % 288.81/289.08 Changing weight limit from 9 to 8. % 288.81/289.08 % 288.81/289.08 Resetting weight limit to 8 after 8755 givens. % 288.81/289.08 % 289.13/289.39 % 289.13/289.39 % 289.13/289.39 Changing weight limit from 8 to 9. % 289.13/289.39 % 289.13/289.39 Resetting weight limit to 9 after 8760 givens. % 289.13/289.39 % 289.42/289.70 % 289.42/289.70 % 289.42/289.70 Changing weight limit from 9 to 8. % 289.42/289.70 % 289.42/289.70 Resetting weight limit to 8 after 8765 givens. % 289.42/289.70 % 289.74/290.00 % 289.74/290.00 % 289.74/290.00 Changing weight limit from 8 to 9. % 289.74/290.00 % 289.74/290.00 Resetting weight limit to 9 after 8770 givens. % 289.74/290.00 % 290.12/290.31 % 290.12/290.31 % 290.12/290.31 Changing weight limit from 9 to 8. % 290.12/290.31 % 290.12/290.31 Resetting weight limit to 8 after 8775 givens. % 290.12/290.31 % 290.34/290.62 % 290.34/290.62 % 290.34/290.62 Changing weight limit from 8 to 9. % 290.34/290.62 % 290.34/290.62 Resetting weight limit to 9 after 8780 givens. % 290.34/290.62 % 290.74/290.93 % 290.74/290.93 % 290.74/290.93 Changing weight limit from 9 to 8. % 290.74/290.93 % 290.74/290.93 Resetting weight limit to 8 after 8785 givens. % 290.74/290.93 % 291.02/291.24 % 291.02/291.24 % 291.02/291.24 Changing weight limit from 8 to 9. % 291.02/291.24 % 291.02/291.24 Resetting weight limit to 9 after 8790 givens. % 291.02/291.24 % 291.32/291.55 % 291.32/291.55 % 291.32/291.55 Changing weight limit from 9 to 8. % 291.32/291.55 % 291.32/291.55 Resetting weight limit to 8 after 8795 givens. % 291.32/291.55 % 291.63/291.86 % 291.63/291.86 % 291.63/291.86 Changing weight limit from 8 to 9. % 291.63/291.86 % 291.63/291.86 Resetting weight limit to 9 after 8800 givens. % 291.63/291.86 % 291.93/292.18 % 291.93/292.18 % 291.93/292.18 Changing weight limit from 9 to 8. % 291.93/292.18 % 291.93/292.18 Resetting weight limit to 8 after 8805 givens. % 291.93/292.18 % 292.22/292.49 % 292.22/292.49 % 292.22/292.49 Changing weight limit from 8 to 9. % 292.22/292.49 % 292.22/292.49 Resetting weight limit to 9 after 8810 givens. % 292.22/292.49 % 292.61/292.80 % 292.61/292.80 % 292.61/292.80 Changing weight limit from 9 to 8. % 292.61/292.80 % 292.61/292.80 Resetting weight limit to 8 after 8815 givens. % 292.61/292.80 % 292.90/293.11 % 292.90/293.11 % 292.90/293.11 Changing weight limit from 8 to 9. % 292.90/293.11 % 292.90/293.11 Resetting weight limit to 9 after 8820 givens. % 292.90/293.11 % 293.20/293.43 % 293.20/293.43 % 293.20/293.43 Changing weight limit from 9 to 8. % 293.20/293.43 % 293.20/293.43 Resetting weight limit to 8 after 8825 givens. % 293.20/293.43 % 293.50/293.74 % 293.50/293.74 % 293.50/293.74 Changing weight limit from 8 to 9. % 293.50/293.74 % 293.50/293.74 Resetting weight limit to 9 after 8830 givens. % 293.50/293.74 % 293.80/294.06 % 293.80/294.06 % 293.80/294.06 Changing weight limit from 9 to 8. % 293.80/294.06 % 293.80/294.06 Resetting weight limit to 8 after 8835 givens. % 293.80/294.06 % 294.08/294.37 % 294.08/294.37 % 294.08/294.37 Changing weight limit from 8 to 9. % 294.08/294.37 % 294.08/294.37 Resetting weight limit to 9 after 8840 givens. % 294.08/294.37 % 294.50/294.68 % 294.50/294.68 % 294.50/294.68 Changing weight limit from 9 to 8. % 294.50/294.68 % 294.50/294.68 Resetting weight limit to 8 after 8845 givens. % 294.50/294.68 % 294.80/294.99 % 294.80/294.99 % 294.80/294.99 Changing weight limit from 8 to 9. % 294.80/294.99 % 294.80/294.99 Resetting weight limit to 9 after 8850 givens. % 294.80/294.99 % 295.12/295.31 % 295.12/295.31 % 295.12/295.31 Changing weight limit from 9 to 8. % 295.12/295.31 % 295.12/295.31 Resetting weight limit to 8 after 8855 givens. % 295.12/295.31 % 295.42/295.62 % 295.42/295.62 % 295.42/295.62 Changing weight limit from 8 to 9. % 295.42/295.62 % 295.42/295.62 Resetting weight limit to 9 after 8860 givens. % 295.42/295.62 % 295.71/295.94 % 295.71/295.94 % 295.71/295.94 Changing weight limit from 9 to 8. % 295.71/295.94 % 295.71/295.94 Resetting weight limit to 8 after 8865 givens. % 295.71/295.94 % 296.01/296.25 % 296.01/296.25 % 296.01/296.25 Changing weight limit from 8 to 9. % 296.01/296.25 % 296.01/296.25 Resetting weight limit to 9 after 8870 givens. % 296.01/296.25 % 296.32/296.57 % 296.32/296.57 % 296.32/296.57 Changing weight limit from 9 to 8. % 296.32/296.57 % 296.32/296.57 Resetting weight limit to 8 after 8875 givens. % 296.32/296.57 % 296.62/296.88 % 296.62/296.88 % 296.62/296.88 Changing weight limit from 8 to 9. % 296.62/296.88 % 296.62/296.88 Resetting weight limit to 9 after 8880 givens. % 296.62/296.88 % 296.93/297.20 % 296.93/297.20 % 296.93/297.20 Changing weight limit from 9 to 8. % 296.93/297.20 % 296.93/297.20 Resetting weight limit to 8 after 8885 givens. % 296.93/297.20 % 297.32/297.52 % 297.32/297.52 % 297.32/297.52 Changing weight limit from 8 to 9. % 297.32/297.52 % 297.32/297.52 Resetting weight limit to 9 after 8890 givens. % 297.32/297.52 % 297.62/297.84 % 297.62/297.84 % 297.62/297.84 Changing weight limit from 9 to 8. % 297.62/297.84 % 297.62/297.84 Resetting weight limit to 8 after 8895 givens. % 297.62/297.84 % 297.91/298.16 % 297.91/298.16 % 297.91/298.16 Changing weight limit from 8 to 9. % 297.91/298.16 % 297.91/298.16 Resetting weight limit to 9 after 8900 givens. % 297.91/298.16 % 298.23/298.48 % 298.23/298.48 % 298.23/298.48 Changing weight limit from 9 to 8. % 298.23/298.48 % 298.23/298.48 Resetting weight limit to 8 after 8905 givens. % 298.23/298.48 % 298.52/298.79 % 298.52/298.79 % 298.52/298.79 Changing weight limit from 8 to 9. % 298.52/298.79 % 298.52/298.79 Resetting weight limit to 9 after 8910 givens. % 298.52/298.79 % 298.91/299.12 % 298.91/299.12 % 298.91/299.12 Changing weight limit from 9 to 8. % 298.91/299.12 % 298.91/299.12 Resetting weight limit to 8 after 8915 givens. % 298.91/299.12 % 299.23/299.44 % 299.23/299.44 % 299.23/299.44 Changing weight limit from 8 to 9. % 299.23/299.44 % 299.23/299.44 Resetting weight limit to 9 after 8920 givens. % 299.23/299.44 % 299.51/299.76 % 299.51/299.76 % 299.51/299.76 Changing weight limit from 9 to 8. % 299.51/299.76 % 299.51/299.76 Resetting weight limit to 8 after 8925 givens. % 299.51/299.76 % 299.81/300.08 % 299.81/300.08 % 299.81/300.08 Changing weight limit from 8 to 9. % 299.81/300.08 % 299.81/300.08 Resetting weight limit to 9 after 8930 givens. % 299.81/300.08 % 300.02/300.22 Wow, sos-wrapper got a signal XCPU %------------------------------------------------------------------------------