%------------------------------------------------------------------------------ % File : SOS---2.0 % Problem : LCL246-1 : TPTP v8.1.0. Bugfixed v2.3.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 : Sun Jul 17 14:29:05 EDT 2022 % Result : Timeout 300.08s 300.34s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.04/0.12 % Problem : LCL246-1 : TPTP v8.1.0. Bugfixed v2.3.0. % 0.04/0.13 % Command : sos-script %s % 0.12/0.34 % Computer : n021.cluster.edu % 0.12/0.34 % Model : x86_64 x86_64 % 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.12/0.34 % Memory : 8042.1875MB % 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.12/0.34 % CPULimit : 300 % 0.12/0.34 % WCLimit : 600 % 0.12/0.34 % DateTime : Mon Jul 4 23:37:17 EDT 2022 % 0.12/0.34 % CPUTime : % 0.12/0.36 ----- Otter 3.2, August 2001 ----- % 0.12/0.36 The process was started by sandbox2 on n021.cluster.edu, % 0.12/0.36 Mon Jul 4 23:37:17 2022 % 0.12/0.36 The command was "./sos". The process ID is 22627. % 0.12/0.36 % 0.12/0.36 set(prolog_style_variables). % 0.12/0.36 set(auto). % 0.12/0.36 dependent: set(auto1). % 0.12/0.36 dependent: set(process_input). % 0.12/0.36 dependent: clear(print_kept). % 0.12/0.36 dependent: clear(print_new_demod). % 0.12/0.36 dependent: clear(print_back_demod). % 0.12/0.36 dependent: clear(print_back_sub). % 0.12/0.36 dependent: set(control_memory). % 0.12/0.36 dependent: assign(max_mem, 12000). % 0.12/0.36 dependent: assign(pick_given_ratio, 4). % 0.12/0.36 dependent: assign(stats_level, 1). % 0.12/0.36 dependent: assign(pick_semantic_ratio, 3). % 0.12/0.36 dependent: assign(sos_limit, 5000). % 0.12/0.36 dependent: assign(max_weight, 60). % 0.12/0.36 clear(print_given). % 0.12/0.36 % 0.12/0.36 list(usable). % 0.12/0.36 % 0.12/0.36 SCAN INPUT: prop=0, horn=1, equality=0, symmetry=0, max_lits=3. % 0.12/0.36 % 0.12/0.36 This is a Horn set without equality. The strategy will % 0.12/0.36 be hyperresolution, with satellites in sos and nuclei % 0.12/0.36 in usable. % 0.12/0.36 % 0.12/0.36 dependent: set(hyper_res). % 0.12/0.36 dependent: clear(order_hyper). % 0.12/0.36 % 0.12/0.36 ------------> process usable: % 0.12/0.36 % 0.12/0.36 ------------> process sos: % 0.12/0.36 % 0.12/0.36 ======= end of input processing ======= % 0.19/0.39 % 0.19/0.39 Model 1 (0.00 seconds, 0 Inserts) % 0.19/0.39 % 0.19/0.39 Stopped by limit on number of solutions % 0.19/0.39 % 0.19/0.39 % 0.19/0.39 -------------- Softie stats -------------- % 0.19/0.39 % 0.19/0.39 UPDATE_STOP: 300 % 0.19/0.39 SFINDER_TIME_LIMIT: 2 % 0.19/0.39 SHORT_CLAUSE_CUTOFF: 4 % 0.19/0.39 number of clauses in intial UL: 4 % 0.19/0.39 number of clauses initially in problem: 9 % 0.19/0.39 percentage of clauses intially in UL: 44 % 0.19/0.39 percentage of distinct symbols occuring in initial UL: 100 % 0.19/0.39 percent of all initial clauses that are short: 100 % 0.19/0.39 absolute distinct symbol count: 6 % 0.19/0.39 distinct predicate count: 2 % 0.19/0.39 distinct function count: 2 % 0.19/0.39 distinct constant count: 2 % 0.19/0.39 % 0.19/0.39 ---------- no more Softie stats ---------- % 0.19/0.39 % 0.19/0.39 % 0.19/0.39 % 0.19/0.39 Model 2 (0.00 seconds, 0 Inserts) % 0.19/0.39 % 0.19/0.39 Stopped by limit on number of solutions % 0.19/0.39 % 0.19/0.39 =========== start of search =========== % 4.81/5.00 % 4.81/5.00 % 4.81/5.00 Changing weight limit from 60 to 57. % 4.81/5.00 % 4.81/5.00 Model 3 (0.00 seconds, 0 Inserts) % 4.81/5.00 % 4.81/5.00 Stopped by limit on number of solutions % 4.81/5.00 % 4.81/5.00 Stopped by limit on insertions % 4.81/5.00 % 4.81/5.00 Model 4 [ 12 1 46 ] (0.00 seconds, 250000 Inserts) % 4.81/5.00 % 4.81/5.00 Stopped by limit on insertions % 4.81/5.00 % 4.81/5.00 Model 5 [ 1 1 1123 ] (0.00 seconds, 250000 Inserts) % 4.81/5.00 % 4.81/5.00 Stopped by limit on insertions % 4.81/5.00 % 4.81/5.00 Model 6 [ 1 1 5806 ] (0.00 seconds, 250000 Inserts) % 4.81/5.00 % 4.81/5.00 Stopped by limit on insertions % 4.81/5.00 % 4.81/5.00 Stopped by limit on insertions % 4.81/5.00 % 4.81/5.00 Model 7 [ 1 1 4215 ] (0.00 seconds, 250000 Inserts) % 4.81/5.00 % 4.81/5.00 Modelling stopped after 300 given clauses and 0.00 seconds % 4.81/5.00 % 4.81/5.00 % 4.81/5.00 Resetting weight limit to 57 after 1365 givens. % 4.81/5.00 % 5.37/5.55 % 5.37/5.55 % 5.37/5.55 Changing weight limit from 57 to 47. % 5.37/5.55 % 5.37/5.55 Resetting weight limit to 47 after 2710 givens. % 5.37/5.55 % 5.37/5.56 % 5.37/5.56 % 5.37/5.56 Changing weight limit from 47 to 43. % 5.37/5.56 % 5.37/5.56 Resetting weight limit to 43 after 2715 givens. % 5.37/5.56 % 5.37/5.56 % 5.37/5.56 % 5.37/5.56 Changing weight limit from 43 to 37. % 5.37/5.56 % 5.37/5.56 Resetting weight limit to 37 after 2720 givens. % 5.37/5.56 % 5.37/5.57 % 5.37/5.57 % 5.37/5.57 Changing weight limit from 37 to 36. % 5.37/5.57 % 5.37/5.57 Resetting weight limit to 36 after 2730 givens. % 5.37/5.57 % 5.37/5.57 % 5.37/5.57 % 5.37/5.57 Changing weight limit from 36 to 35. % 5.37/5.57 % 5.37/5.57 Resetting weight limit to 35 after 2735 givens. % 5.37/5.57 % 5.37/5.58 % 5.37/5.58 % 5.37/5.58 Changing weight limit from 35 to 34. % 5.37/5.58 % 5.37/5.58 Resetting weight limit to 34 after 2750 givens. % 5.37/5.58 % 5.37/5.58 % 5.37/5.58 % 5.37/5.58 Changing weight limit from 34 to 33. % 5.37/5.58 % 5.37/5.58 Resetting weight limit to 33 after 2755 givens. % 5.37/5.58 % 5.37/5.59 % 5.37/5.59 % 5.37/5.59 Changing weight limit from 33 to 32. % 5.37/5.59 % 5.37/5.59 Resetting weight limit to 32 after 2780 givens. % 5.37/5.59 % 5.42/5.60 % 5.42/5.60 % 5.42/5.60 Changing weight limit from 32 to 31. % 5.42/5.60 % 5.42/5.60 Resetting weight limit to 31 after 2795 givens. % 5.42/5.60 % 5.42/5.62 % 5.42/5.62 % 5.42/5.62 Changing weight limit from 31 to 30. % 5.42/5.62 % 5.42/5.62 Resetting weight limit to 30 after 2830 givens. % 5.42/5.62 % 5.42/5.62 % 5.42/5.62 % 5.42/5.62 Changing weight limit from 30 to 29. % 5.42/5.62 % 5.42/5.62 Resetting weight limit to 29 after 2835 givens. % 5.42/5.62 % 5.42/5.63 % 5.42/5.63 % 5.42/5.63 Changing weight limit from 29 to 28. % 5.42/5.63 % 5.42/5.63 Resetting weight limit to 28 after 2850 givens. % 5.42/5.63 % 5.42/5.64 % 5.42/5.64 % 5.42/5.64 Changing weight limit from 28 to 27. % 5.42/5.64 % 5.42/5.64 Resetting weight limit to 27 after 2870 givens. % 5.42/5.64 % 5.48/5.67 % 5.48/5.67 % 5.48/5.67 Changing weight limit from 27 to 26. % 5.48/5.67 % 5.48/5.67 Resetting weight limit to 26 after 2910 givens. % 5.48/5.67 % 5.48/5.70 % 5.48/5.70 % 5.48/5.70 Changing weight limit from 26 to 25. % 5.48/5.70 % 5.48/5.70 Resetting weight limit to 25 after 2955 givens. % 5.48/5.70 % 5.58/5.77 % 5.58/5.77 % 5.58/5.77 Changing weight limit from 25 to 24. % 5.58/5.77 % 5.58/5.77 Resetting weight limit to 24 after 3080 givens. % 5.58/5.77 % 5.62/5.80 % 5.62/5.80 % 5.62/5.80 Changing weight limit from 24 to 23. % 5.62/5.80 % 5.62/5.80 Resetting weight limit to 23 after 3140 givens. % 5.62/5.80 % 5.67/5.91 % 5.67/5.91 % 5.67/5.91 Changing weight limit from 23 to 22. % 5.67/5.91 % 5.67/5.91 Resetting weight limit to 22 after 3300 givens. % 5.67/5.91 % 5.76/5.95 % 5.76/5.95 % 5.76/5.95 Changing weight limit from 22 to 21. % 5.76/5.95 % 5.76/5.95 Resetting weight limit to 21 after 3370 givens. % 5.76/5.95 % 5.87/6.15 % 5.87/6.15 % 5.87/6.15 Changing weight limit from 21 to 20. % 5.87/6.15 % 5.87/6.15 Resetting weight limit to 20 after 3715 givens. % 5.87/6.15 % 5.97/6.20 % 5.97/6.20 % 5.97/6.20 Changing weight limit from 20 to 19. % 5.97/6.20 % 5.97/6.20 Resetting weight limit to 19 after 3810 givens. % 5.97/6.20 % 6.36/6.59 % 6.36/6.59 % 6.36/6.59 Changing weight limit from 19 to 18. % 6.36/6.59 % 6.36/6.59 Resetting weight limit to 18 after 4545 givens. % 6.36/6.59 % 6.48/6.75 % 6.48/6.75 % 6.48/6.75 Changing weight limit from 18 to 17. % 6.48/6.75 % 6.48/6.75 Resetting weight limit to 17 after 5015 givens. % 6.48/6.75 % 9.27/9.45 % 9.27/9.45 % 9.27/9.45 Changing weight limit from 17 to 18. % 9.27/9.45 % 9.27/9.45 Resetting weight limit to 18 after 17140 givens. % 9.27/9.45 % 9.27/9.45 % 9.27/9.45 % 9.27/9.45 Changing weight limit from 18 to 17. % 9.27/9.45 % 9.27/9.45 Resetting weight limit to 17 after 17145 givens. % 9.27/9.45 % 9.27/9.45 % 9.27/9.45 % 9.27/9.45 Changing weight limit from 17 to 18. % 9.27/9.45 % 9.27/9.45 Resetting weight limit to 18 after 17160 givens. % 9.27/9.45 % 9.27/9.46 % 9.27/9.46 % 9.27/9.46 Changing weight limit from 18 to 17. % 9.27/9.46 % 9.27/9.46 Resetting weight limit to 17 after 17165 givens. % 9.27/9.46 % 9.27/9.46 % 9.27/9.46 % 9.27/9.46 Changing weight limit from 17 to 18. % 9.27/9.46 % 9.27/9.46 Resetting weight limit to 18 after 17175 givens. % 9.27/9.46 % 9.27/9.46 % 9.27/9.46 % 9.27/9.46 Changing weight limit from 18 to 17. % 9.27/9.46 % 9.27/9.46 Resetting weight limit to 17 after 17180 givens. % 9.27/9.46 % 9.27/9.46 % 9.27/9.46 % 9.27/9.46 Changing weight limit from 17 to 18. % 9.27/9.46 % 9.27/9.46 Resetting weight limit to 18 after 17185 givens. % 9.27/9.46 % 9.27/9.46 % 9.27/9.46 % 9.27/9.46 Changing weight limit from 18 to 17. % 9.27/9.46 % 9.27/9.46 Resetting weight limit to 17 after 17190 givens. % 9.27/9.46 % 9.27/9.47 % 9.27/9.47 % 9.27/9.47 Changing weight limit from 17 to 18. % 9.27/9.47 % 9.27/9.47 Resetting weight limit to 18 after 17225 givens. % 9.27/9.47 % 9.27/9.47 % 9.27/9.47 % 9.27/9.47 Changing weight limit from 18 to 17. % 9.27/9.47 % 9.27/9.47 Resetting weight limit to 17 after 17230 givens. % 9.27/9.47 % 9.27/9.47 % 9.27/9.47 % 9.27/9.47 Changing weight limit from 17 to 18. % 9.27/9.47 % 9.27/9.47 Resetting weight limit to 18 after 17245 givens. % 9.27/9.47 % 9.27/9.48 % 9.27/9.48 % 9.27/9.48 Changing weight limit from 18 to 17. % 9.27/9.48 % 9.27/9.48 Resetting weight limit to 17 after 17250 givens. % 9.27/9.48 % 9.27/9.49 % 9.27/9.49 % 9.27/9.49 Changing weight limit from 17 to 18. % 9.27/9.49 % 9.27/9.49 Resetting weight limit to 18 after 17305 givens. % 9.27/9.49 % 9.27/9.49 % 9.27/9.49 % 9.27/9.49 Changing weight limit from 18 to 17. % 9.27/9.49 % 9.27/9.49 Resetting weight limit to 17 after 17310 givens. % 9.27/9.49 % 9.31/9.49 % 9.31/9.49 % 9.31/9.49 Changing weight limit from 17 to 18. % 9.31/9.49 % 9.31/9.49 Resetting weight limit to 18 after 17325 givens. % 9.31/9.49 % 9.31/9.49 % 9.31/9.49 % 9.31/9.49 Changing weight limit from 18 to 17. % 9.31/9.49 % 9.31/9.49 Resetting weight limit to 17 after 17330 givens. % 9.31/9.49 % 9.31/9.50 % 9.31/9.50 % 9.31/9.50 Changing weight limit from 17 to 18. % 9.31/9.50 % 9.31/9.50 Resetting weight limit to 18 after 17345 givens. % 9.31/9.50 % 9.31/9.50 % 9.31/9.50 % 9.31/9.50 Changing weight limit from 18 to 17. % 9.31/9.50 % 9.31/9.50 Resetting weight limit to 17 after 17350 givens. % 9.31/9.50 % 9.31/9.50 % 9.31/9.50 % 9.31/9.50 Changing weight limit from 17 to 18. % 9.31/9.50 % 9.31/9.50 Resetting weight limit to 18 after 17365 givens. % 9.31/9.50 % 9.31/9.51 % 9.31/9.51 % 9.31/9.51 Changing weight limit from 18 to 17. % 9.31/9.51 % 9.31/9.51 Resetting weight limit to 17 after 17370 givens. % 9.31/9.51 % 9.31/9.51 % 9.31/9.51 % 9.31/9.51 Changing weight limit from 17 to 18. % 9.31/9.51 % 9.31/9.51 Resetting weight limit to 18 after 17405 givens. % 9.31/9.51 % 9.31/9.51 % 9.31/9.51 % 9.31/9.51 Changing weight limit from 18 to 17. % 9.31/9.51 % 9.31/9.51 Resetting weight limit to 17 after 17410 givens. % 9.31/9.51 % 9.31/9.52 % 9.31/9.52 % 9.31/9.52 Changing weight limit from 17 to 18. % 9.31/9.52 % 9.31/9.52 Resetting weight limit to 18 after 17425 givens. % 9.31/9.52 % 9.31/9.52 % 9.31/9.52 % 9.31/9.52 Changing weight limit from 18 to 17. % 9.31/9.52 % 9.31/9.52 Resetting weight limit to 17 after 17430 givens. % 9.31/9.52 % 9.31/9.52 % 9.31/9.52 % 9.31/9.52 Changing weight limit from 17 to 18. % 9.31/9.52 % 9.31/9.52 Resetting weight limit to 18 after 17445 givens. % 9.31/9.52 % 9.31/9.53 % 9.31/9.53 % 9.31/9.53 Changing weight limit from 18 to 17. % 9.31/9.53 % 9.31/9.53 Resetting weight limit to 17 after 17450 givens. % 9.31/9.53 % 9.31/9.53 % 9.31/9.53 % 9.31/9.53 Changing weight limit from 17 to 18. % 9.31/9.53 % 9.31/9.53 Resetting weight limit to 18 after 17465 givens. % 9.31/9.53 % 9.31/9.53 % 9.31/9.53 % 9.31/9.53 Changing weight limit from 18 to 17. % 9.31/9.53 % 9.31/9.53 Resetting weight limit to 17 after 17470 givens. % 9.31/9.53 % 9.31/9.53 % 9.31/9.53 % 9.31/9.53 Changing weight limit from 17 to 18. % 9.31/9.53 % 9.31/9.53 Resetting weight limit to 18 after 17475 givens. % 9.31/9.53 % 9.31/9.54 % 9.31/9.54 % 9.31/9.54 Changing weight limit from 18 to 17. % 9.31/9.54 % 9.31/9.54 Resetting weight limit to 17 after 17480 givens. % 9.31/9.54 % 9.31/9.54 % 9.31/9.54 % 9.31/9.54 Changing weight limit from 17 to 18. % 9.31/9.54 % 9.31/9.54 Resetting weight limit to 18 after 17485 givens. % 9.31/9.54 % 9.37/9.54 % 9.37/9.54 % 9.37/9.54 Changing weight limit from 18 to 17. % 9.37/9.54 % 9.37/9.54 Resetting weight limit to 17 after 17490 givens. % 9.37/9.54 % 9.38/9.56 % 9.38/9.56 % 9.38/9.56 Changing weight limit from 17 to 18. % 9.38/9.56 % 9.38/9.56 Resetting weight limit to 18 after 17545 givens. % 9.38/9.56 % 9.38/9.56 % 9.38/9.56 % 9.38/9.56 Changing weight limit from 18 to 17. % 9.38/9.56 % 9.38/9.56 Resetting weight limit to 17 after 17550 givens. % 9.38/9.56 % 9.38/9.56 % 9.38/9.56 % 9.38/9.56 Changing weight limit from 17 to 18. % 9.38/9.56 % 9.38/9.56 Resetting weight limit to 18 after 17565 givens. % 9.38/9.56 % 9.38/9.56 % 9.38/9.56 % 9.38/9.56 Changing weight limit from 18 to 17. % 9.38/9.56 % 9.38/9.56 Resetting weight limit to 17 after 17570 givens. % 9.38/9.56 % 9.38/9.57 % 9.38/9.57 % 9.38/9.57 Changing weight limit from 17 to 18. % 9.38/9.57 % 9.38/9.57 Resetting weight limit to 18 after 17605 givens. % 9.38/9.57 % 9.38/9.57 % 9.38/9.57 % 9.38/9.57 Changing weight limit from 18 to 17. % 9.38/9.57 % 9.38/9.57 Resetting weight limit to 17 after 17610 givens. % 9.38/9.57 % 9.38/9.57 % 9.38/9.57 % 9.38/9.57 Changing weight limit from 17 to 18. % 9.38/9.57 % 9.38/9.57 Resetting weight limit to 18 after 17615 givens. % 9.38/9.57 % 9.38/9.57 % 9.38/9.57 % 9.38/9.57 Changing weight limit from 18 to 17. % 9.38/9.57 % 9.38/9.57 Resetting weight limit to 17 after 17620 givens. % 9.38/9.57 % 9.38/9.58 % 9.38/9.58 % 9.38/9.58 Changing weight limit from 17 to 18. % 9.38/9.58 % 9.38/9.58 Resetting weight limit to 18 after 17625 givens. % 9.38/9.58 % 9.38/9.58 % 9.38/9.58 % 9.38/9.58 Changing weight limit from 18 to 17. % 9.38/9.58 % 9.38/9.58 Resetting weight limit to 17 after 17630 givens. % 9.38/9.58 % 9.38/9.58 % 9.38/9.58 % 9.38/9.58 Changing weight limit from 17 to 18. % 9.38/9.58 % 9.38/9.58 Resetting weight limit to 18 after 17645 givens. % 9.38/9.58 % 9.38/9.58 % 9.38/9.58 % 9.38/9.58 Changing weight limit from 18 to 17. % 9.38/9.58 % 9.38/9.58 Resetting weight limit to 17 after 17650 givens. % 9.38/9.58 % 9.38/9.60 % 9.38/9.60 % 9.38/9.60 Changing weight limit from 17 to 18. % 9.38/9.60 % 9.38/9.60 Resetting weight limit to 18 after 17725 givens. % 9.38/9.60 % 9.38/9.60 % 9.38/9.60 % 9.38/9.60 Changing weight limit from 18 to 17. % 9.38/9.60 % 9.38/9.60 Resetting weight limit to 17 after 17730 givens. % 9.38/9.60 % 9.43/9.60 % 9.43/9.60 % 9.43/9.60 Changing weight limit from 17 to 18. % 9.43/9.60 % 9.43/9.60 Resetting weight limit to 18 after 17765 givens. % 9.43/9.60 % 9.43/9.61 % 9.43/9.61 % 9.43/9.61 Changing weight limit from 18 to 17. % 9.43/9.61 % 9.43/9.61 Resetting weight limit to 17 after 17770 givens. % 9.43/9.61 % 9.43/9.61 % 9.43/9.61 % 9.43/9.61 Changing weight limit from 17 to 18. % 9.43/9.61 % 9.43/9.61 Resetting weight limit to 18 after 17795 givens. % 9.43/9.61 % 9.43/9.61 % 9.43/9.61 % 9.43/9.61 Changing weight limit from 18 to 17. % 9.43/9.61 % 9.43/9.61 Resetting weight limit to 17 after 17800 givens. % 9.43/9.61 % 9.43/9.61 % 9.43/9.61 % 9.43/9.61 Changing weight limit from 17 to 18. % 9.43/9.61 % 9.43/9.61 Resetting weight limit to 18 after 17805 givens. % 9.43/9.61 % 9.43/9.61 % 9.43/9.61 % 9.43/9.61 Changing weight limit from 18 to 17. % 9.43/9.61 % 9.43/9.61 Resetting weight limit to 17 after 17810 givens. % 9.43/9.61 % 9.43/9.62 % 9.43/9.62 % 9.43/9.62 Changing weight limit from 17 to 18. % 9.43/9.62 % 9.43/9.62 Resetting weight limit to 18 after 17825 givens. % 9.43/9.62 % 9.43/9.62 % 9.43/9.62 % 9.43/9.62 Changing weight limit from 18 to 17. % 9.43/9.62 % 9.43/9.62 Resetting weight limit to 17 after 17830 givens. % 9.43/9.62 % 9.43/9.62 % 9.43/9.62 % 9.43/9.62 Changing weight limit from 17 to 18. % 9.43/9.62 % 9.43/9.62 Resetting weight limit to 18 after 17845 givens. % 9.43/9.62 % 9.43/9.62 % 9.43/9.62 % 9.43/9.62 Changing weight limit from 18 to 17. % 9.43/9.62 % 9.43/9.62 Resetting weight limit to 17 after 17850 givens. % 9.43/9.62 % 9.43/9.64 % 9.43/9.64 % 9.43/9.64 Changing weight limit from 17 to 18. % 9.43/9.64 % 9.43/9.64 Resetting weight limit to 18 after 17905 givens. % 9.43/9.64 % 9.43/9.64 % 9.43/9.64 % 9.43/9.64 Changing weight limit from 18 to 17. % 9.43/9.64 % 9.43/9.64 Resetting weight limit to 17 after 17910 givens. % 9.43/9.64 % 9.43/9.64 % 9.43/9.64 % 9.43/9.64 Changing weight limit from 17 to 18. % 9.43/9.64 % 9.43/9.64 Resetting weight limit to 18 after 17925 givens. % 9.43/9.64 % 9.43/9.64 % 9.43/9.64 % 9.43/9.64 Changing weight limit from 18 to 17. % 9.43/9.64 % 9.43/9.64 Resetting weight limit to 17 after 17930 givens. % 9.43/9.64 % 9.43/9.65 % 9.43/9.65 % 9.43/9.65 Changing weight limit from 17 to 18. % 9.43/9.65 % 9.43/9.65 Resetting weight limit to 18 after 17965 givens. % 9.43/9.65 % 9.48/9.65 % 9.48/9.65 % 9.48/9.65 Changing weight limit from 18 to 17. % 9.48/9.65 % 9.48/9.65 Resetting weight limit to 17 after 17970 givens. % 9.48/9.65 % 9.48/9.65 % 9.48/9.65 % 9.48/9.65 Changing weight limit from 17 to 18. % 9.48/9.65 % 9.48/9.65 Resetting weight limit to 18 after 17985 givens. % 9.48/9.65 % 9.48/9.66 % 9.48/9.66 % 9.48/9.66 Changing weight limit from 18 to 17. % 9.48/9.66 % 9.48/9.66 Resetting weight limit to 17 after 17990 givens. % 9.48/9.66 % 9.48/9.66 % 9.48/9.66 % 9.48/9.66 Changing weight limit from 17 to 18. % 9.48/9.66 % 9.48/9.66 Resetting weight limit to 18 after 18005 givens. % 9.48/9.66 % 9.48/9.66 % 9.48/9.66 % 9.48/9.66 Changing weight limit from 18 to 17. % 9.48/9.66 % 9.48/9.66 Resetting weight limit to 17 after 18010 givens. % 9.48/9.66 % 9.48/9.66 % 9.48/9.66 % 9.48/9.66 Changing weight limit from 17 to 18. % 9.48/9.66 % 9.48/9.66 Resetting weight limit to 18 after 18025 givens. % 9.48/9.66 % 9.48/9.67 % 9.48/9.67 % 9.48/9.67 Changing weight limit from 18 to 17. % 9.48/9.67 % 9.48/9.67 Resetting weight limit to 17 after 18030 givens. % 9.48/9.67 % 9.48/9.67 % 9.48/9.67 % 9.48/9.67 Changing weight limit from 17 to 18. % 9.48/9.67 % 9.48/9.67 Resetting weight limit to 18 after 18045 givens. % 9.48/9.67 % 9.48/9.67 % 9.48/9.67 % 9.48/9.67 Changing weight limit from 18 to 17. % 9.48/9.67 % 9.48/9.67 Resetting weight limit to 17 after 18050 givens. % 9.48/9.67 % 9.48/9.67 % 9.48/9.67 % 9.48/9.67 Changing weight limit from 17 to 18. % 9.48/9.67 % 9.48/9.67 Resetting weight limit to 18 after 18065 givens. % 9.48/9.67 % 9.48/9.67 % 9.48/9.67 % 9.48/9.67 Changing weight limit from 18 to 17. % 9.48/9.67 % 9.48/9.67 Resetting weight limit to 17 after 18070 givens. % 9.48/9.67 % 9.48/9.68 % 9.48/9.68 % 9.48/9.68 Changing weight limit from 17 to 18. % 9.48/9.68 % 9.48/9.68 Resetting weight limit to 18 after 18085 givens. % 9.48/9.68 % 9.48/9.68 % 9.48/9.68 % 9.48/9.68 Changing weight limit from 18 to 17. % 9.48/9.68 % 9.48/9.68 Resetting weight limit to 17 after 18090 givens. % 9.48/9.68 % 9.48/9.68 % 9.48/9.68 % 9.48/9.68 Changing weight limit from 17 to 18. % 9.48/9.68 % 9.48/9.68 Resetting weight limit to 18 after 18100 givens. % 9.48/9.68 % 9.48/9.68 % 9.48/9.68 % 9.48/9.68 Changing weight limit from 18 to 19. % 9.48/9.68 % 9.48/9.68 Resetting weight limit to 19 after 18105 givens. % 9.48/9.68 % 9.48/9.68 % 9.48/9.68 % 9.48/9.68 Changing weight limit from 19 to 20. % 9.48/9.68 % 9.48/9.68 Resetting weight limit to 20 after 18110 givens. % 9.48/9.68 % 9.48/9.68 % 9.48/9.68 % 9.48/9.68 Changing weight limit from 20 to 19. % 9.48/9.68 % 9.48/9.68 Resetting weight limit to 19 after 18115 givens. % 9.48/9.68 % 9.48/9.69 % 9.48/9.69 % 9.48/9.69 Changing weight limit from 19 to 20. % 9.48/9.69 % 9.48/9.69 Resetting weight limit to 20 after 18125 givens. % 9.48/9.69 % 9.48/9.69 % 9.48/9.69 % 9.48/9.69 Changing weight limit from 20 to 19. % 9.48/9.69 % 9.48/9.69 Resetting weight limit to 19 after 18130 givens. % 9.48/9.69 % 9.48/9.69 % 9.48/9.69 % 9.48/9.69 Changing weight limit from 19 to 20. % 9.48/9.69 % 9.48/9.69 Resetting weight limit to 20 after 18145 givens. % 9.48/9.69 % 9.48/9.69 % 9.48/9.69 % 9.48/9.69 Changing weight limit from 20 to 19. % 9.48/9.69 % 9.48/9.69 Resetting weight limit to 19 after 18150 givens. % 9.48/9.69 % 9.48/9.70 % 9.48/9.70 % 9.48/9.70 Changing weight limit from 19 to 20. % 9.48/9.70 % 9.48/9.70 Resetting weight limit to 20 after 18165 givens. % 9.48/9.70 % 9.48/9.70 % 9.48/9.70 % 9.48/9.70 Changing weight limit from 20 to 19. % 9.48/9.70 % 9.48/9.70 Resetting weight limit to 19 after 18170 givens. % 9.48/9.70 % 9.48/9.71 % 9.48/9.71 % 9.48/9.71 Changing weight limit from 19 to 20. % 9.48/9.71 % 9.48/9.71 Resetting weight limit to 20 after 18195 givens. % 9.48/9.71 % 9.48/9.71 % 9.48/9.71 % 9.48/9.71 Changing weight limit from 20 to 21. % 9.48/9.71 % 9.48/9.71 Resetting weight limit to 21 after 18200 givens. % 9.48/9.71 % 9.48/9.71 % 9.48/9.71 % 9.48/9.71 Changing weight limit from 21 to 22. % 9.48/9.71 % 9.48/9.71 Resetting weight limit to 22 after 18205 givens. % 9.48/9.71 % 9.48/9.71 % 9.48/9.71 % 9.48/9.71 Changing weight limit from 22 to 23. % 9.48/9.71 % 9.48/9.71 Resetting weight limit to 23 after 18210 givens. % 9.48/9.71 % 9.48/9.71 % 9.48/9.71 % 9.48/9.71 Changing weight limit from 23 to 24. % 9.48/9.71 % 9.48/9.71 Resetting weight limit to 24 after 18215 givens. % 9.48/9.71 % 9.48/9.72 % 9.48/9.72 % 9.48/9.72 Changing weight limit from 24 to 25. % 9.48/9.72 % 9.48/9.72 Resetting weight limit to 25 after 18220 givens. % 9.48/9.72 % 9.48/9.72 % 9.48/9.72 % 9.48/9.72 Changing weight limit from 25 to 26. % 9.48/9.72 % 9.48/9.72 Resetting weight limit to 26 after 18225 givens. % 9.48/9.72 % 9.48/9.72 % 9.48/9.72 % 9.48/9.72 Changing weight limit from 26 to 23. % 9.48/9.72 % 9.48/9.72 Resetting weight limit to 23 after 18230 givens. % 9.48/9.72 % 9.48/9.72 % 9.48/9.72 % 9.48/9.72 Changing weight limit from 23 to 24. % 9.48/9.72 % 9.48/9.72 Resetting weight limit to 24 after 18235 givens. % 9.48/9.72 % 9.48/9.72 % 9.48/9.72 % 9.48/9.72 Changing weight limit from 24 to 23. % 9.48/9.72 % 9.48/9.72 Resetting weight limit to 23 after 18240 givens. % 9.48/9.72 % 9.48/9.72 % 9.48/9.72 % 9.48/9.72 Changing weight limit from 23 to 24. % 9.48/9.72 % 9.48/9.72 Resetting weight limit to 24 after 18245 givens. % 9.48/9.72 % 9.48/9.72 % 9.48/9.72 % 9.48/9.72 Changing weight limit from 24 to 23. % 9.48/9.72 % 9.48/9.72 Resetting weight limit to 23 after 18250 givens. % 9.48/9.72 % 9.48/9.73 % 9.48/9.73 % 9.48/9.73 Changing weight limit from 23 to 24. % 9.48/9.73 % 9.48/9.73 Resetting weight limit to 24 after 18265 givens. % 9.48/9.73 % 9.48/9.73 % 9.48/9.73 % 9.48/9.73 Changing weight limit from 24 to 23. % 9.48/9.73 % 9.48/9.73 Resetting weight limit to 23 after 18270 givens. % 9.48/9.73 % 9.48/9.73 % 9.48/9.73 % 9.48/9.73 Changing weight limit from 23 to 24. % 9.48/9.73 % 9.48/9.73 Resetting weight limit to 24 after 18285 givens. % 9.48/9.73 % 9.48/9.74 % 9.48/9.74 % 9.48/9.74 Changing weight limit from 24 to 23. % 9.48/9.74 % 9.48/9.74 Resetting weight limit to 23 after 18290 givens. % 9.48/9.74 % 9.58/9.75 % 9.58/9.75 % 9.58/9.75 Changing weight limit from 23 to 24. % 9.58/9.75 % 9.58/9.75 Resetting weight limit to 24 after 18325 givens. % 9.58/9.75 % 9.58/9.75 % 9.58/9.75 % 9.58/9.75 Changing weight limit from 24 to 23. % 9.58/9.75 % 9.58/9.75 Resetting weight limit to 23 after 18330 givens. % 9.58/9.75 % 9.58/9.76 % 9.58/9.76 % 9.58/9.76 Changing weight limit from 23 to 24. % 9.58/9.76 % 9.58/9.76 Resetting weight limit to 24 after 18345 givens. % 9.58/9.76 % 9.58/9.76 % 9.58/9.76 % 9.58/9.76 Changing weight limit from 24 to 23. % 9.58/9.76 % 9.58/9.76 Resetting weight limit to 23 after 18350 givens. % 9.58/9.76 % 9.58/9.76 % 9.58/9.76 % 9.58/9.76 Changing weight limit from 23 to 24. % 9.58/9.76 % 9.58/9.76 Resetting weight limit to 24 after 18365 givens. % 9.58/9.76 % 9.58/9.76 % 9.58/9.76 % 9.58/9.76 Changing weight limit from 24 to 25. % 9.58/9.76 % 9.58/9.76 Resetting weight limit to 25 after 18370 givens. % 9.58/9.76 % 9.58/9.77 % 9.58/9.77 % 9.58/9.77 Changing weight limit from 25 to 26. % 9.58/9.77 % 9.58/9.77 Resetting weight limit to 26 after 18375 givens. % 9.58/9.77 % 9.58/9.77 % 9.58/9.77 % 9.58/9.77 Changing weight limit from 26 to 23. % 9.58/9.77 % 9.58/9.77 Resetting weight limit to 23 after 18380 givens. % 9.58/9.77 % 9.58/9.77 % 9.58/9.77 % 9.58/9.77 Changing weight limit from 23 to 24. % 9.58/9.77 % 9.58/9.77 Resetting weight limit to 24 after 18385 givens. % 9.58/9.77 % 9.58/9.77 % 9.58/9.77 % 9.58/9.77 Changing weight limit from 24 to 23. % 9.58/9.77 % 9.58/9.77 Resetting weight limit to 23 after 18390 givens. % 9.58/9.77 % 9.58/9.78 % 9.58/9.78 % 9.58/9.78 Changing weight limit from 23 to 24. % 9.58/9.78 % 9.58/9.78 Resetting weight limit to 24 after 18405 givens. % 9.58/9.78 % 9.58/9.78 % 9.58/9.78 % 9.58/9.78 Changing weight limit from 24 to 23. % 9.58/9.78 % 9.58/9.78 Resetting weight limit to 23 after 18410 givens. % 9.58/9.78 % 9.58/9.78 % 9.58/9.78 % 9.58/9.78 Changing weight limit from 23 to 24. % 9.58/9.78 % 9.58/9.78 Resetting weight limit to 24 after 18415 givens. % 9.58/9.78 % 9.58/9.78 % 9.58/9.78 % 9.58/9.78 Changing weight limit from 24 to 23. % 9.58/9.78 % 9.58/9.78 Resetting weight limit to 23 after 18420 givens. % 9.58/9.78 % 9.58/9.78 % 9.58/9.78 % 9.58/9.78 Changing weight limit from 23 to 24. % 9.58/9.78 % 9.58/9.78 Resetting weight limit to 24 after 18425 givens. % 9.58/9.78 % 9.58/9.78 % 9.58/9.78 % 9.58/9.78 Changing weight limit from 24 to 23. % 9.58/9.78 % 9.58/9.78 Resetting weight limit to 23 after 18430 givens. % 9.58/9.78 % 9.58/9.79 % 9.58/9.79 % 9.58/9.79 Changing weight limit from 23 to 24. % 9.58/9.79 % 9.58/9.79 Resetting weight limit to 24 after 18445 givens. % 9.58/9.79 % 9.58/9.79 % 9.58/9.79 % 9.58/9.79 Changing weight limit from 24 to 23. % 9.58/9.79 % 9.58/9.79 Resetting weight limit to 23 after 18450 givens. % 9.58/9.79 % 9.58/9.80 % 9.58/9.80 % 9.58/9.80 Changing weight limit from 23 to 24. % 9.58/9.80 % 9.58/9.80 Resetting weight limit to 24 after 18465 givens. % 9.58/9.80 % 9.58/9.80 % 9.58/9.80 % 9.58/9.80 Changing weight limit from 24 to 25. % 9.58/9.80 % 9.58/9.80 Resetting weight limit to 25 after 18475 givens. % 9.58/9.80 % 9.58/9.80 % 9.58/9.80 % 9.58/9.80 Changing weight limit from 25 to 24. % 9.58/9.80 % 9.58/9.80 Resetting weight limit to 24 after 18480 givens. % 9.58/9.80 % 9.58/9.80 % 9.58/9.80 % 9.58/9.80 Changing weight limit from 24 to 25. % 9.58/9.80 % 9.58/9.80 Resetting weight limit to 25 after 18485 givens. % 9.58/9.80 % 9.64/9.81 % 9.64/9.81 % 9.64/9.81 Changing weight limit from 25 to 26. % 9.64/9.81 % 9.64/9.81 Resetting weight limit to 26 after 18505 givens. % 9.64/9.81 % 9.64/9.81 % 9.64/9.81 % 9.64/9.81 Changing weight limit from 26 to 25. % 9.64/9.81 % 9.64/9.81 Resetting weight limit to 25 after 18510 givens. % 9.64/9.81 % 9.64/9.84 % 9.64/9.84 % 9.64/9.84 Changing weight limit from 25 to 26. % 9.64/9.84 % 9.64/9.84 Resetting weight limit to 26 after 18575 givens. % 9.64/9.84 % 9.64/9.84 % 9.64/9.84 % 9.64/9.84 Changing weight limit from 26 to 25. % 9.64/9.84 % 9.64/9.84 Resetting weight limit to 25 after 18580 givens. % 9.64/9.84 % 10.47/10.65 % 10.47/10.65 % 10.47/10.65 Changing weight limit from 25 to 24. % 10.47/10.65 % 10.47/10.65 Resetting weight limit to 24 after 20495 givens. % 10.47/10.65 % 10.47/10.67 % 10.47/10.67 % 10.47/10.67 Changing weight limit from 24 to 23. % 10.47/10.67 % 10.47/10.67 Resetting weight limit to 23 after 20530 givens. % 10.47/10.67 % 10.61/10.84 % 10.61/10.84 % 10.61/10.84 Changing weight limit from 23 to 22. % 10.61/10.84 % 10.61/10.84 Resetting weight limit to 22 after 20765 givens. % 10.61/10.84 % 10.69/10.88 % 10.69/10.88 % 10.69/10.88 Changing weight limit from 22 to 21. % 10.69/10.88 % 10.69/10.88 Resetting weight limit to 21 after 20825 givens. % 10.69/10.88 % 11.60/11.80 % 11.60/11.80 % 11.60/11.80 Changing weight limit from 21 to 20. % 11.60/11.80 % 11.60/11.80 Resetting weight limit to 20 after 22300 givens. % 11.60/11.80 % 11.67/11.87 % 11.67/11.87 % 11.67/11.87 Changing weight limit from 20 to 19. % 11.67/11.87 % 11.67/11.87 Resetting weight limit to 19 after 22390 givens. % 11.67/11.87 % 23.13/23.31 % 23.13/23.31 % 23.13/23.31 Changing weight limit from 19 to 20. % 23.13/23.31 % 23.13/23.31 Resetting weight limit to 20 after 44825 givens. % 23.13/23.31 % 23.13/23.32 % 23.13/23.32 % 23.13/23.32 Changing weight limit from 20 to 19. % 23.13/23.32 % 23.13/23.32 Resetting weight limit to 19 after 44830 givens. % 23.13/23.32 % 23.13/23.32 % 23.13/23.32 % 23.13/23.32 Changing weight limit from 19 to 20. % 23.13/23.32 % 23.13/23.32 Resetting weight limit to 20 after 44845 givens. % 23.13/23.32 % 23.13/23.32 % 23.13/23.32 % 23.13/23.32 Changing weight limit from 20 to 19. % 23.13/23.32 % 23.13/23.32 Resetting weight limit to 19 after 44850 givens. % 23.13/23.32 % 23.13/23.33 % 23.13/23.33 % 23.13/23.33 Changing weight limit from 19 to 20. % 23.13/23.33 % 23.13/23.33 Resetting weight limit to 20 after 44865 givens. % 23.13/23.33 % 23.13/23.34 % 23.13/23.34 % 23.13/23.34 Changing weight limit from 20 to 19. % 23.13/23.34 % 23.13/23.34 Resetting weight limit to 19 after 44870 givens. % 23.13/23.34 % 23.13/23.34 % 23.13/23.34 % 23.13/23.34 Changing weight limit from 19 to 20. % 23.13/23.34 % 23.13/23.34 Resetting weight limit to 20 after 44880 givens. % 23.13/23.34 % 23.13/23.35 % 23.13/23.35 % 23.13/23.35 Changing weight limit from 20 to 19. % 23.13/23.35 % 23.13/23.35 Resetting weight limit to 19 after 44885 givens. % 23.13/23.35 % 23.18/23.41 % 23.18/23.41 % 23.18/23.41 Changing weight limit from 19 to 20. % 23.18/23.41 % 23.18/23.41 Resetting weight limit to 20 after 44965 givens. % 23.18/23.41 % 23.18/23.42 % 23.18/23.42 % 23.18/23.42 Changing weight limit from 20 to 19. % 23.18/23.42 % 23.18/23.42 Resetting weight limit to 19 after 44970 givens. % 23.18/23.42 % 23.18/23.43 % 23.18/23.43 % 23.18/23.43 Changing weight limit from 19 to 20. % 23.18/23.43 % 23.18/23.43 Resetting weight limit to 20 after 44985 givens. % 23.18/23.43 % 23.18/23.44 % 23.18/23.44 % 23.18/23.44 Changing weight limit from 20 to 19. % 23.18/23.44 % 23.18/23.44 Resetting weight limit to 19 after 44990 givens. % 23.18/23.44 % 23.18/23.45 % 23.18/23.45 % 23.18/23.45 Changing weight limit from 19 to 20. % 23.18/23.45 % 23.18/23.45 Resetting weight limit to 20 after 45005 givens. % 23.18/23.45 % 23.29/23.46 % 23.29/23.46 % 23.29/23.46 Changing weight limit from 20 to 19. % 23.29/23.46 % 23.29/23.46 Resetting weight limit to 19 after 45010 givens. % 23.29/23.46 % 23.29/23.46 % 23.29/23.46 % 23.29/23.46 Changing weight limit from 19 to 20. % 23.29/23.46 % 23.29/23.46 Resetting weight limit to 20 after 45025 givens. % 23.29/23.46 % 23.29/23.46 % 23.29/23.46 % 23.29/23.46 Changing weight limit from 20 to 19. % 23.29/23.46 % 23.29/23.46 Resetting weight limit to 19 after 45030 givens. % 23.29/23.46 % 23.29/23.47 % 23.29/23.47 % 23.29/23.47 Changing weight limit from 19 to 20. % 23.29/23.47 % 23.29/23.47 Resetting weight limit to 20 after 45045 givens. % 23.29/23.47 % 23.29/23.47 % 23.29/23.47 % 23.29/23.47 Changing weight limit from 20 to 19. % 23.29/23.47 % 23.29/23.47 Resetting weight limit to 19 after 45050 givens. % 23.29/23.47 % 23.33/23.50 % 23.33/23.50 % 23.33/23.50 Changing weight limit from 19 to 20. % 23.33/23.50 % 23.33/23.50 Resetting weight limit to 20 after 45085 givens. % 23.33/23.50 % 23.33/23.50 % 23.33/23.50 % 23.33/23.50 Changing weight limit from 20 to 19. % 23.33/23.50 % 23.33/23.50 Resetting weight limit to 19 after 45090 givens. % 23.33/23.50 % 23.33/23.51 % 23.33/23.51 % 23.33/23.51 Changing weight limit from 19 to 20. % 23.33/23.51 % 23.33/23.51 Resetting weight limit to 20 after 45105 givens. % 23.33/23.51 % 23.33/23.51 % 23.33/23.51 % 23.33/23.51 Changing weight limit from 20 to 19. % 23.33/23.51 % 23.33/23.51 Resetting weight limit to 19 after 45110 givens. % 23.33/23.51 % 23.33/23.52 % 23.33/23.52 % 23.33/23.52 Changing weight limit from 19 to 20. % 23.33/23.52 % 23.33/23.52 Resetting weight limit to 20 after 45120 givens. % 23.33/23.52 % 23.33/23.52 % 23.33/23.52 % 23.33/23.52 Changing weight limit from 20 to 19. % 23.33/23.52 % 23.33/23.52 Resetting weight limit to 19 after 45125 givens. % 23.33/23.52 % 23.46/23.64 % 23.46/23.64 % 23.46/23.64 Changing weight limit from 19 to 20. % 23.46/23.64 % 23.46/23.64 Resetting weight limit to 20 after 45285 givens. % 23.46/23.64 % 23.46/23.65 % 23.46/23.65 % 23.46/23.65 Changing weight limit from 20 to 19. % 23.46/23.65 % 23.46/23.65 Resetting weight limit to 19 after 45290 givens. % 23.46/23.65 % 23.52/23.68 % 23.52/23.68 % 23.52/23.68 Changing weight limit from 19 to 20. % 23.52/23.68 % 23.52/23.68 Resetting weight limit to 20 after 45325 givens. % 23.52/23.68 % 23.52/23.69 % 23.52/23.69 % 23.52/23.69 Changing weight limit from 20 to 19. % 23.52/23.69 % 23.52/23.69 Resetting weight limit to 19 after 45330 givens. % 23.52/23.69 % 23.52/23.73 % 23.52/23.73 % 23.52/23.73 Changing weight limit from 19 to 20. % 23.52/23.73 % 23.52/23.73 Resetting weight limit to 20 after 45385 givens. % 23.52/23.73 % 23.52/23.73 % 23.52/23.73 % 23.52/23.73 Changing weight limit from 20 to 19. % 23.52/23.73 % 23.52/23.73 Resetting weight limit to 19 after 45390 givens. % 23.52/23.73 % 23.62/23.78 % 23.62/23.78 % 23.62/23.78 Changing weight limit from 19 to 20. % 23.62/23.78 % 23.62/23.78 Resetting weight limit to 20 after 45485 givens. % 23.62/23.78 % 23.62/23.78 % 23.62/23.78 % 23.62/23.78 Changing weight limit from 20 to 19. % 23.62/23.78 % 23.62/23.78 Resetting weight limit to 19 after 45490 givens. % 23.62/23.78 % 23.62/23.81 % 23.62/23.81 % 23.62/23.81 Changing weight limit from 19 to 20. % 23.62/23.81 % 23.62/23.81 Resetting weight limit to 20 after 45525 givens. % 23.62/23.81 % 23.62/23.81 % 23.62/23.81 % 23.62/23.81 Changing weight limit from 20 to 19. % 23.62/23.81 % 23.62/23.81 Resetting weight limit to 19 after 45530 givens. % 23.62/23.81 % 23.68/23.88 % 23.68/23.88 % 23.68/23.88 Changing weight limit from 19 to 20. % 23.68/23.88 % 23.68/23.88 Resetting weight limit to 20 after 45625 givens. % 23.68/23.88 % 23.68/23.88 % 23.68/23.88 % 23.68/23.88 Changing weight limit from 20 to 19. % 23.68/23.88 % 23.68/23.88 Resetting weight limit to 19 after 45630 givens. % 23.68/23.88 % 23.68/23.90 % 23.68/23.90 % 23.68/23.90 Changing weight limit from 19 to 20. % 23.68/23.90 % 23.68/23.90 Resetting weight limit to 20 after 45660 givens. % 23.68/23.90 % 23.68/23.91 % 23.68/23.91 % 23.68/23.91 Changing weight limit from 20 to 19. % 23.68/23.91 % 23.68/23.91 Resetting weight limit to 19 after 45665 givens. % 23.68/23.91 % 23.76/23.95 % 23.76/23.95 % 23.76/23.95 Changing weight limit from 19 to 20. % 23.76/23.95 % 23.76/23.95 Resetting weight limit to 20 after 45725 givens. % 23.76/23.95 % 23.76/23.95 % 23.76/23.95 % 23.76/23.95 Changing weight limit from 20 to 19. % 23.76/23.95 % 23.76/23.95 Resetting weight limit to 19 after 45730 givens. % 23.76/23.95 % 23.76/23.97 % 23.76/23.97 % 23.76/23.97 Changing weight limit from 19 to 20. % 23.76/23.97 % 23.76/23.97 Resetting weight limit to 20 after 45765 givens. % 23.76/23.97 % 23.76/23.97 % 23.76/23.97 % 23.76/23.97 Changing weight limit from 20 to 19. % 23.76/23.97 % 23.76/23.97 Resetting weight limit to 19 after 45770 givens. % 23.76/23.97 % 23.81/24.01 % 23.81/24.01 % 23.81/24.01 Changing weight limit from 19 to 20. % 23.81/24.01 % 23.81/24.01 Resetting weight limit to 20 after 45825 givens. % 23.81/24.01 % 23.81/24.01 % 23.81/24.01 % 23.81/24.01 Changing weight limit from 20 to 19. % 23.81/24.01 % 23.81/24.01 Resetting weight limit to 19 after 45830 givens. % 23.81/24.01 % 23.81/24.04 % 23.81/24.04 % 23.81/24.04 Changing weight limit from 19 to 20. % 23.81/24.04 % 23.81/24.04 Resetting weight limit to 20 after 45865 givens. % 23.81/24.04 % 23.81/24.04 % 23.81/24.04 % 23.81/24.04 Changing weight limit from 20 to 19. % 23.81/24.04 % 23.81/24.04 Resetting weight limit to 19 after 45870 givens. % 23.81/24.04 % 23.89/24.06 % 23.89/24.06 % 23.89/24.06 Changing weight limit from 19 to 20. % 23.89/24.06 % 23.89/24.06 Resetting weight limit to 20 after 45905 givens. % 23.89/24.06 % 23.89/24.07 % 23.89/24.07 % 23.89/24.07 Changing weight limit from 20 to 19. % 23.89/24.07 % 23.89/24.07 Resetting weight limit to 19 after 45910 givens. % 23.89/24.07 % 23.89/24.07 % 23.89/24.07 % 23.89/24.07 Changing weight limit from 19 to 20. % 23.89/24.07 % 23.89/24.07 Resetting weight limit to 20 after 45925 givens. % 23.89/24.07 % 23.92/24.08 % 23.92/24.08 % 23.92/24.08 Changing weight limit from 20 to 19. % 23.92/24.08 % 23.92/24.08 Resetting weight limit to 19 after 45930 givens. % 23.92/24.08 % 23.92/24.11 % 23.92/24.11 % 23.92/24.11 Changing weight limit from 19 to 20. % 23.92/24.11 % 23.92/24.11 Resetting weight limit to 20 after 46000 givens. % 23.92/24.11 % 23.92/24.11 % 23.92/24.11 % 23.92/24.11 Changing weight limit from 20 to 19. % 23.92/24.11 % 23.92/24.11 Resetting weight limit to 19 after 46005 givens. % 23.92/24.11 % 23.92/24.12 % 23.92/24.12 % 23.92/24.12 Changing weight limit from 19 to 20. % 23.92/24.12 % 23.92/24.12 Resetting weight limit to 20 after 46015 givens. % 23.92/24.12 % 23.92/24.12 % 23.92/24.12 % 23.92/24.12 Changing weight limit from 20 to 21. % 23.92/24.12 % 23.92/24.12 Resetting weight limit to 21 after 46025 givens. % 23.92/24.12 % 23.92/24.12 % 23.92/24.12 % 23.92/24.12 Changing weight limit from 21 to 20. % 23.92/24.12 % 23.92/24.12 Resetting weight limit to 20 after 46030 givens. % 23.92/24.12 % 23.97/24.15 % 23.97/24.15 % 23.97/24.15 Changing weight limit from 20 to 21. % 23.97/24.15 % 23.97/24.15 Resetting weight limit to 21 after 46060 givens. % 23.97/24.15 % 23.97/24.15 % 23.97/24.15 % 23.97/24.15 Changing weight limit from 21 to 20. % 23.97/24.15 % 23.97/24.15 Resetting weight limit to 20 after 46065 givens. % 23.97/24.15 % 24.00/24.19 % 24.00/24.19 % 24.00/24.19 Changing weight limit from 20 to 21. % 24.00/24.19 % 24.00/24.19 Resetting weight limit to 21 after 46115 givens. % 24.00/24.19 % 24.00/24.23 % 24.00/24.23 % 24.00/24.23 Changing weight limit from 21 to 22. % 24.00/24.23 % 24.00/24.23 Resetting weight limit to 22 after 46145 givens. % 24.00/24.23 % 24.11/24.30 % 24.11/24.30 % 24.11/24.30 Changing weight limit from 22 to 23. % 24.11/24.30 % 24.11/24.30 Resetting weight limit to 23 after 46225 givens. % 24.11/24.30 % 24.11/24.30 % 24.11/24.30 % 24.11/24.30 Changing weight limit from 23 to 22. % 24.11/24.30 % 24.11/24.30 Resetting weight limit to 22 after 46230 givens. % 24.11/24.30 % 24.11/24.31 % 24.11/24.31 % 24.11/24.31 Changing weight limit from 22 to 23. % 24.11/24.31 % 24.11/24.31 Resetting weight limit to 23 after 46240 givens. % 24.11/24.31 % 24.11/24.33 % 24.11/24.33 % 24.11/24.33 Changing weight limit from 23 to 24. % 24.11/24.33 % 24.11/24.33 Resetting weight limit to 24 after 46260 givens. % 24.11/24.33 % 24.11/24.33 % 24.11/24.33 % 24.11/24.33 Changing weight limit from 24 to 23. % 24.11/24.33 % 24.11/24.33 Resetting weight limit to 23 after 46265 givens. % 24.11/24.33 % 24.11/24.34 % 24.11/24.34 % 24.11/24.34 Changing weight limit from 23 to 24. % 24.11/24.34 % 24.11/24.34 Resetting weight limit to 24 after 46275 givens. % 24.11/24.34 % 24.18/24.34 % 24.18/24.34 % 24.18/24.34 Changing weight limit from 24 to 23. % 24.18/24.34 % 24.18/24.34 Resetting weight limit to 23 after 46280 givens. % 24.18/24.34 % 24.20/24.38 % 24.20/24.38 % 24.20/24.38 Changing weight limit from 23 to 24. % 24.20/24.38 % 24.20/24.38 Resetting weight limit to 24 after 46325 givens. % 24.20/24.38 % 24.20/24.38 % 24.20/24.38 % 24.20/24.38 Changing weight limit from 24 to 23. % 24.20/24.38 % 24.20/24.38 Resetting weight limit to 23 after 46330 givens. % 24.20/24.38 % 24.20/24.41 % 24.20/24.41 % 24.20/24.41 Changing weight limit from 23 to 24. % 24.20/24.41 % 24.20/24.41 Resetting weight limit to 24 after 46365 givens. % 24.20/24.41 % 24.20/24.42 % 24.20/24.42 % 24.20/24.42 Changing weight limit from 24 to 23. % 24.20/24.42 % 24.20/24.42 Resetting weight limit to 23 after 46370 givens. % 24.20/24.42 % 24.26/24.45 % 24.26/24.45 % 24.26/24.45 Changing weight limit from 23 to 24. % 24.26/24.45 % 24.26/24.45 Resetting weight limit to 24 after 46395 givens. % 24.26/24.45 % 24.30/24.48 % 24.30/24.48 % 24.30/24.48 Changing weight limit from 24 to 25. % 24.30/24.48 % 24.30/24.48 Resetting weight limit to 25 after 46420 givens. % 24.30/24.48 % 24.30/24.51 % 24.30/24.51 % 24.30/24.51 Changing weight limit from 25 to 26. % 24.30/24.51 % 24.30/24.51 Resetting weight limit to 26 after 46445 givens. % 24.30/24.51 % 24.30/24.52 % 24.30/24.52 % 24.30/24.52 Changing weight limit from 26 to 25. % 24.30/24.52 % 24.30/24.52 Resetting weight limit to 25 after 46450 givens. % 24.30/24.52 % 24.30/24.53 % 24.30/24.53 % 24.30/24.53 Changing weight limit from 25 to 26. % 24.30/24.53 % 24.30/24.53 Resetting weight limit to 26 after 46460 givens. % 24.30/24.53 % 24.30/24.53 % 24.30/24.53 % 24.30/24.53 Changing weight limit from 26 to 25. % 24.30/24.53 % 24.30/24.53 Resetting weight limit to 25 after 46465 givens. % 24.30/24.53 % 26.96/27.12 % 26.96/27.12 % 26.96/27.12 Changing weight limit from 25 to 24. % 26.96/27.12 % 26.96/27.12 Resetting weight limit to 24 after 48875 givens. % 26.96/27.12 % 27.06/27.26 % 27.06/27.26 % 27.06/27.26 Changing weight limit from 24 to 23. % 27.06/27.26 % 27.06/27.26 Resetting weight limit to 23 after 48975 givens. % 27.06/27.26 % 28.21/28.40 % 28.21/28.40 % 28.21/28.40 Changing weight limit from 23 to 22. % 28.21/28.40 % 28.21/28.40 Resetting weight limit to 22 after 50040 givens. % 28.21/28.40 % 28.30/28.53 % 28.30/28.53 % 28.30/28.53 Changing weight limit from 22 to 21. % 28.30/28.53 % 28.30/28.53 Resetting weight limit to 21 after 50185 givens. % 28.30/28.53 % 300.08/300.34 Wow, sos-wrapper got a signal XCPU %------------------------------------------------------------------------------