%------------------------------------------------------------------------------ % File : SOS---2.0 % Problem : LCL428-1 : TPTP v8.1.0. Bugfixed v5.5.0. % Transfm : none % Format : tptp:raw % Command : sos-script %s % Computer : n013.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:30:08 EDT 2022 % Result : Timeout 300.06s 300.20s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.13 % Problem : LCL428-1 : TPTP v8.1.0. Bugfixed v5.5.0. % 0.07/0.14 % Command : sos-script %s % 0.13/0.35 % Computer : n013.cluster.edu % 0.13/0.35 % Model : x86_64 x86_64 % 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.35 % Memory : 8042.1875MB % 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.35 % CPULimit : 300 % 0.13/0.35 % WCLimit : 600 % 0.13/0.35 % DateTime : Mon Jul 4 17:15:44 EDT 2022 % 0.13/0.35 % CPUTime : % 0.13/0.37 ----- Otter 3.2, August 2001 ----- % 0.13/0.37 The process was started by sandbox2 on n013.cluster.edu, % 0.13/0.37 Mon Jul 4 17:15:44 2022 % 0.13/0.37 The command was "./sos". The process ID is 12633. % 0.13/0.37 % 0.13/0.37 set(prolog_style_variables). % 0.13/0.37 set(auto). % 0.13/0.37 dependent: set(auto1). % 0.13/0.37 dependent: set(process_input). % 0.13/0.37 dependent: clear(print_kept). % 0.13/0.37 dependent: clear(print_new_demod). % 0.13/0.37 dependent: clear(print_back_demod). % 0.13/0.37 dependent: clear(print_back_sub). % 0.13/0.37 dependent: set(control_memory). % 0.13/0.37 dependent: assign(max_mem, 12000). % 0.13/0.37 dependent: assign(pick_given_ratio, 4). % 0.13/0.37 dependent: assign(stats_level, 1). % 0.13/0.37 dependent: assign(pick_semantic_ratio, 3). % 0.13/0.37 dependent: assign(sos_limit, 5000). % 0.13/0.37 dependent: assign(max_weight, 60). % 0.13/0.37 clear(print_given). % 0.13/0.37 % 0.13/0.37 list(usable). % 0.13/0.37 % 0.13/0.37 SCAN INPUT: prop=0, horn=1, equality=0, symmetry=0, max_lits=3. % 0.13/0.37 % 0.13/0.37 This is a Horn set without equality. The strategy will % 0.13/0.37 be hyperresolution, with satellites in sos and nuclei % 0.13/0.37 in usable. % 0.13/0.37 % 0.13/0.37 dependent: set(hyper_res). % 0.13/0.37 dependent: clear(order_hyper). % 0.13/0.37 % 0.13/0.37 ------------> process usable: % 0.13/0.37 % 0.13/0.37 ------------> process sos: % 0.13/0.37 % 0.13/0.37 ======= end of input processing ======= % 9.19/9.43 % 9.19/9.43 Model 1 (0.00 seconds, 0 Inserts) % 9.19/9.43 % 9.19/9.43 Stopped by limit on number of solutions % 9.19/9.43 % 9.19/9.43 % 9.19/9.43 -------------- Softie stats -------------- % 9.19/9.43 % 9.19/9.43 UPDATE_STOP: 300 % 9.19/9.43 SFINDER_TIME_LIMIT: 2 % 9.19/9.43 SHORT_CLAUSE_CUTOFF: 4 % 9.19/9.43 number of clauses in intial UL: 2 % 9.19/9.43 number of clauses initially in problem: 6 % 9.19/9.43 percentage of clauses intially in UL: 33 % 9.19/9.43 percentage of distinct symbols occuring in initial UL: 100 % 9.19/9.43 percent of all initial clauses that are short: 100 % 9.19/9.43 absolute distinct symbol count: 19 % 9.19/9.43 distinct predicate count: 1 % 9.19/9.43 distinct function count: 1 % 9.19/9.43 distinct constant count: 17 % 9.19/9.43 % 9.19/9.43 ---------- no more Softie stats ---------- % 9.19/9.43 % 9.19/9.43 % 9.19/9.43 % 9.19/9.43 Stopped by limit on insertions % 9.19/9.43 % 9.19/9.43 =========== start of search =========== % 69.82/70.04 % 69.82/70.04 % 69.82/70.04 Changing weight limit from 60 to 24. % 69.82/70.04 % 69.82/70.04 Stopped by limit on insertions % 69.82/70.04 % 69.82/70.04 Stopped by limit on insertions % 69.82/70.04 % 69.82/70.04 Stopped by limit on insertions % 69.82/70.04 % 69.82/70.04 Stopped by limit on insertions % 69.82/70.04 % 69.82/70.04 Stopped by limit on insertions % 69.82/70.04 % 69.82/70.04 Stopped by limit on insertions % 69.82/70.04 % 69.82/70.04 Stopped by limit on insertions % 69.82/70.04 % 69.82/70.04 Resetting weight limit to 24 after 100 givens. % 69.82/70.04 % 69.82/70.07 % 69.82/70.07 % 69.82/70.07 Changing weight limit from 24 to 22. % 69.82/70.07 % 69.82/70.07 Resetting weight limit to 22 after 105 givens. % 69.82/70.07 % 70.04/70.24 % 70.04/70.24 % 70.04/70.24 Changing weight limit from 22 to 20. % 70.04/70.24 % 70.04/70.24 Resetting weight limit to 20 after 130 givens. % 70.04/70.24 % 70.04/70.28 % 70.04/70.28 % 70.04/70.28 Changing weight limit from 20 to 21. % 70.04/70.28 % 70.04/70.28 Resetting weight limit to 21 after 150 givens. % 70.04/70.28 % 70.04/70.29 % 70.04/70.29 % 70.04/70.29 Changing weight limit from 21 to 20. % 70.04/70.29 % 70.04/70.29 Resetting weight limit to 20 after 155 givens. % 70.04/70.29 % 70.49/70.73 % 70.49/70.73 % 70.49/70.73 Changing weight limit from 20 to 18. % 70.49/70.73 % 70.49/70.73 Resetting weight limit to 18 after 255 givens. % 70.49/70.73 % 70.72/70.94 % 70.72/70.94 % 70.72/70.94 Changing weight limit from 18 to 19. % 70.72/70.94 % 70.72/70.94 Modelling stopped after 300 given clauses and 0.00 seconds % 70.72/70.94 % 70.72/70.94 % 70.72/70.94 Resetting weight limit to 19 after 355 givens. % 70.72/70.94 % 70.72/70.95 % 70.72/70.95 % 70.72/70.95 Changing weight limit from 19 to 20. % 70.72/70.95 % 70.72/70.95 Resetting weight limit to 20 after 360 givens. % 70.72/70.95 % 70.72/70.96 % 70.72/70.96 % 70.72/70.96 Changing weight limit from 20 to 18. % 70.72/70.96 % 70.72/70.96 Resetting weight limit to 18 after 365 givens. % 70.72/70.96 % 70.80/70.97 % 70.80/70.97 % 70.80/70.97 Changing weight limit from 18 to 19. % 70.80/70.97 % 70.80/70.97 Resetting weight limit to 19 after 370 givens. % 70.80/70.97 % 70.80/70.98 % 70.80/70.98 % 70.80/70.98 Changing weight limit from 19 to 20. % 70.80/70.98 % 70.80/70.98 Resetting weight limit to 20 after 375 givens. % 70.80/70.98 % 70.80/71.04 % 70.80/71.04 % 70.80/71.04 Changing weight limit from 20 to 18. % 70.80/71.04 % 70.80/71.04 Resetting weight limit to 18 after 395 givens. % 70.80/71.04 % 70.80/71.06 % 70.80/71.06 % 70.80/71.06 Changing weight limit from 18 to 19. % 70.80/71.06 % 70.80/71.06 Resetting weight limit to 19 after 405 givens. % 70.80/71.06 % 70.80/71.08 % 70.80/71.08 % 70.80/71.08 Changing weight limit from 19 to 18. % 70.80/71.08 % 70.80/71.08 Resetting weight limit to 18 after 410 givens. % 70.80/71.08 % 70.98/71.18 % 70.98/71.18 % 70.98/71.18 Changing weight limit from 18 to 19. % 70.98/71.18 % 70.98/71.18 Resetting weight limit to 19 after 455 givens. % 70.98/71.18 % 70.98/71.19 % 70.98/71.19 % 70.98/71.19 Changing weight limit from 19 to 18. % 70.98/71.19 % 70.98/71.19 Resetting weight limit to 18 after 460 givens. % 70.98/71.19 % 70.98/71.22 % 70.98/71.22 % 70.98/71.22 Changing weight limit from 18 to 19. % 70.98/71.22 % 70.98/71.22 Resetting weight limit to 19 after 475 givens. % 70.98/71.22 % 71.06/71.23 % 71.06/71.23 % 71.06/71.23 Changing weight limit from 19 to 18. % 71.06/71.23 % 71.06/71.23 Resetting weight limit to 18 after 480 givens. % 71.06/71.23 % 71.06/71.26 % 71.06/71.26 % 71.06/71.26 Changing weight limit from 18 to 19. % 71.06/71.26 % 71.06/71.26 Resetting weight limit to 19 after 495 givens. % 71.06/71.26 % 71.06/71.28 % 71.06/71.28 % 71.06/71.28 Changing weight limit from 19 to 20. % 71.06/71.28 % 71.06/71.28 Resetting weight limit to 20 after 500 givens. % 71.06/71.28 % 71.28/71.47 % 71.28/71.47 % 71.28/71.47 Changing weight limit from 20 to 18. % 71.28/71.47 % 71.28/71.47 Resetting weight limit to 18 after 550 givens. % 71.28/71.47 % 71.28/71.50 % 71.28/71.50 % 71.28/71.50 Changing weight limit from 18 to 19. % 71.28/71.50 % 71.28/71.50 Resetting weight limit to 19 after 560 givens. % 71.28/71.50 % 71.28/71.51 % 71.28/71.51 % 71.28/71.51 Changing weight limit from 19 to 20. % 71.28/71.51 % 71.28/71.51 Resetting weight limit to 20 after 565 givens. % 71.28/71.51 % 71.35/71.54 % 71.35/71.54 % 71.35/71.54 Changing weight limit from 20 to 18. % 71.35/71.54 % 71.35/71.54 Resetting weight limit to 18 after 570 givens. % 71.35/71.54 % 71.35/71.56 % 71.35/71.56 % 71.35/71.56 Changing weight limit from 18 to 19. % 71.35/71.56 % 71.35/71.56 Resetting weight limit to 19 after 575 givens. % 71.35/71.56 % 71.35/71.57 % 71.35/71.57 % 71.35/71.57 Changing weight limit from 19 to 18. % 71.35/71.57 % 71.35/71.57 Resetting weight limit to 18 after 580 givens. % 71.35/71.57 % 71.41/71.58 % 71.41/71.58 % 71.41/71.58 Changing weight limit from 18 to 19. % 71.41/71.58 % 71.41/71.58 Resetting weight limit to 19 after 585 givens. % 71.41/71.58 % 71.41/71.60 % 71.41/71.60 % 71.41/71.60 Changing weight limit from 19 to 20. % 71.41/71.60 % 71.41/71.60 Resetting weight limit to 20 after 590 givens. % 71.41/71.60 % 71.41/71.63 % 71.41/71.63 % 71.41/71.63 Changing weight limit from 20 to 18. % 71.41/71.63 % 71.41/71.63 Resetting weight limit to 18 after 595 givens. % 71.41/71.63 % 71.87/72.09 % 71.87/72.09 % 71.87/72.09 Changing weight limit from 18 to 19. % 71.87/72.09 % 71.87/72.09 Resetting weight limit to 19 after 715 givens. % 71.87/72.09 % 71.87/72.11 % 71.87/72.11 % 71.87/72.11 Changing weight limit from 19 to 18. % 71.87/72.11 % 71.87/72.11 Resetting weight limit to 18 after 720 givens. % 71.87/72.11 % 71.94/72.12 % 71.94/72.12 % 71.94/72.12 Changing weight limit from 18 to 19. % 71.94/72.12 % 71.94/72.12 Resetting weight limit to 19 after 725 givens. % 71.94/72.12 % 71.94/72.14 % 71.94/72.14 % 71.94/72.14 Changing weight limit from 19 to 18. % 71.94/72.14 % 71.94/72.14 Resetting weight limit to 18 after 730 givens. % 71.94/72.14 % 72.00/72.22 % 72.00/72.22 % 72.00/72.22 Changing weight limit from 18 to 19. % 72.00/72.22 % 72.00/72.22 Resetting weight limit to 19 after 750 givens. % 72.00/72.22 % 72.00/72.24 % 72.00/72.24 % 72.00/72.24 Changing weight limit from 19 to 20. % 72.00/72.24 % 72.00/72.24 Resetting weight limit to 20 after 755 givens. % 72.00/72.24 % 72.16/72.40 % 72.16/72.40 % 72.16/72.40 Changing weight limit from 20 to 18. % 72.16/72.40 % 72.16/72.40 Resetting weight limit to 18 after 780 givens. % 72.16/72.40 % 72.32/72.51 % 72.32/72.51 % 72.32/72.51 Changing weight limit from 18 to 19. % 72.32/72.51 % 72.32/72.51 Resetting weight limit to 19 after 810 givens. % 72.32/72.51 % 72.32/72.52 % 72.32/72.52 % 72.32/72.52 Changing weight limit from 19 to 18. % 72.32/72.52 % 72.32/72.52 Resetting weight limit to 18 after 815 givens. % 72.32/72.52 % 72.71/72.92 % 72.71/72.92 % 72.71/72.92 Changing weight limit from 18 to 19. % 72.71/72.92 % 72.71/72.92 Resetting weight limit to 19 after 910 givens. % 72.71/72.92 % 72.71/72.94 % 72.71/72.94 % 72.71/72.94 Changing weight limit from 19 to 18. % 72.71/72.94 % 72.71/72.94 Resetting weight limit to 18 after 915 givens. % 72.71/72.94 % 73.03/73.25 % 73.03/73.25 % 73.03/73.25 Changing weight limit from 18 to 19. % 73.03/73.25 % 73.03/73.25 Resetting weight limit to 19 after 985 givens. % 73.03/73.25 % 73.03/73.27 % 73.03/73.27 % 73.03/73.27 Changing weight limit from 19 to 18. % 73.03/73.27 % 73.03/73.27 Resetting weight limit to 18 after 990 givens. % 73.03/73.27 % 73.11/73.29 % 73.11/73.29 % 73.11/73.29 Changing weight limit from 18 to 19. % 73.11/73.29 % 73.11/73.29 Resetting weight limit to 19 after 995 givens. % 73.11/73.29 % 73.14/73.32 % 73.14/73.32 % 73.14/73.32 Changing weight limit from 19 to 18. % 73.14/73.32 % 73.14/73.32 Resetting weight limit to 18 after 1000 givens. % 73.14/73.32 % 73.14/73.38 % 73.14/73.38 % 73.14/73.38 Changing weight limit from 18 to 19. % 73.14/73.38 % 73.14/73.38 Resetting weight limit to 19 after 1015 givens. % 73.14/73.38 % 73.14/73.41 % 73.14/73.41 % 73.14/73.41 Changing weight limit from 19 to 20. % 73.14/73.41 % 73.14/73.41 Resetting weight limit to 20 after 1020 givens. % 73.14/73.41 % 73.34/73.56 % 73.34/73.56 % 73.34/73.56 Changing weight limit from 20 to 18. % 73.34/73.56 % 73.34/73.56 Resetting weight limit to 18 after 1030 givens. % 73.34/73.56 % 81.03/81.23 % 81.03/81.23 % 81.03/81.23 Changing weight limit from 18 to 19. % 81.03/81.23 % 81.03/81.23 Resetting weight limit to 19 after 2005 givens. % 81.03/81.23 % 81.06/81.27 % 81.06/81.27 % 81.06/81.27 Changing weight limit from 19 to 20. % 81.06/81.27 % 81.06/81.27 Resetting weight limit to 20 after 2010 givens. % 81.06/81.27 % 81.16/81.38 % 81.16/81.38 % 81.16/81.38 Changing weight limit from 20 to 18. % 81.16/81.38 % 81.16/81.38 Resetting weight limit to 18 after 2020 givens. % 81.16/81.38 % 81.59/81.78 % 81.59/81.78 % 81.59/81.78 Changing weight limit from 18 to 19. % 81.59/81.78 % 81.59/81.78 Resetting weight limit to 19 after 2060 givens. % 81.59/81.78 % 81.65/81.83 % 81.65/81.83 % 81.65/81.83 Changing weight limit from 19 to 18. % 81.65/81.83 % 81.65/81.83 Resetting weight limit to 18 after 2065 givens. % 81.65/81.83 % 81.68/81.88 % 81.68/81.88 % 81.68/81.88 Changing weight limit from 18 to 19. % 81.68/81.88 % 81.68/81.88 Resetting weight limit to 19 after 2070 givens. % 81.68/81.88 % 81.68/81.92 % 81.68/81.92 % 81.68/81.92 Changing weight limit from 19 to 20. % 81.68/81.92 % 81.68/81.92 Resetting weight limit to 20 after 2075 givens. % 81.68/81.92 % 81.81/82.02 % 81.81/82.02 % 81.81/82.02 Changing weight limit from 20 to 18. % 81.81/82.02 % 81.81/82.02 Resetting weight limit to 18 after 2080 givens. % 81.81/82.02 % 81.97/82.18 % 81.97/82.18 % 81.97/82.18 Changing weight limit from 18 to 19. % 81.97/82.18 % 81.97/82.18 Resetting weight limit to 19 after 2095 givens. % 81.97/82.18 % 82.05/82.23 % 82.05/82.23 % 82.05/82.23 Changing weight limit from 19 to 20. % 82.05/82.23 % 82.05/82.23 Resetting weight limit to 20 after 2100 givens. % 82.05/82.23 % 82.22/82.41 % 82.22/82.41 % 82.22/82.41 Changing weight limit from 20 to 18. % 82.22/82.41 % 82.22/82.41 Resetting weight limit to 18 after 2110 givens. % 82.22/82.41 % 82.29/82.45 % 82.29/82.45 % 82.29/82.45 Changing weight limit from 18 to 19. % 82.29/82.45 % 82.29/82.45 Resetting weight limit to 19 after 2115 givens. % 82.29/82.45 % 82.29/82.51 % 82.29/82.51 % 82.29/82.51 Changing weight limit from 19 to 20. % 82.29/82.51 % 82.29/82.51 Resetting weight limit to 20 after 2120 givens. % 82.29/82.51 % 82.50/82.69 % 82.50/82.69 % 82.50/82.69 Changing weight limit from 20 to 18. % 82.50/82.69 % 82.50/82.69 Resetting weight limit to 18 after 2130 givens. % 82.50/82.69 % 82.58/82.74 % 82.58/82.74 % 82.58/82.74 Changing weight limit from 18 to 19. % 82.58/82.74 % 82.58/82.74 Resetting weight limit to 19 after 2135 givens. % 82.58/82.74 % 82.58/82.79 % 82.58/82.79 % 82.58/82.79 Changing weight limit from 19 to 20. % 82.58/82.79 % 82.58/82.79 Resetting weight limit to 20 after 2140 givens. % 82.58/82.79 % 82.67/82.87 % 82.67/82.87 % 82.67/82.87 Changing weight limit from 20 to 18. % 82.67/82.87 % 82.67/82.87 Resetting weight limit to 18 after 2145 givens. % 82.67/82.87 % 83.33/83.53 % 83.33/83.53 % 83.33/83.53 Changing weight limit from 18 to 19. % 83.33/83.53 % 83.33/83.53 Resetting weight limit to 19 after 2205 givens. % 83.33/83.53 % 83.41/83.59 % 83.41/83.59 % 83.41/83.59 Changing weight limit from 19 to 20. % 83.41/83.59 % 83.41/83.59 Resetting weight limit to 20 after 2210 givens. % 83.41/83.59 % 84.27/84.47 % 84.27/84.47 % 84.27/84.47 Changing weight limit from 20 to 18. % 84.27/84.47 % 84.27/84.47 Resetting weight limit to 18 after 2260 givens. % 84.27/84.47 % 84.33/84.53 % 84.33/84.53 % 84.33/84.53 Changing weight limit from 18 to 19. % 84.33/84.53 % 84.33/84.53 Resetting weight limit to 19 after 2265 givens. % 84.33/84.53 % 84.40/84.60 % 84.40/84.60 % 84.40/84.60 Changing weight limit from 19 to 18. % 84.40/84.60 % 84.40/84.60 Resetting weight limit to 18 after 2270 givens. % 84.40/84.60 % 84.63/84.81 % 84.63/84.81 % 84.63/84.81 Changing weight limit from 18 to 19. % 84.63/84.81 % 84.63/84.81 Resetting weight limit to 19 after 2290 givens. % 84.63/84.81 % 84.69/84.87 % 84.69/84.87 % 84.69/84.87 Changing weight limit from 19 to 18. % 84.69/84.87 % 84.69/84.87 Resetting weight limit to 18 after 2295 givens. % 84.69/84.87 % 84.79/84.98 % 84.79/84.98 % 84.79/84.98 Changing weight limit from 18 to 19. % 84.79/84.98 % 84.79/84.98 Resetting weight limit to 19 after 2305 givens. % 84.79/84.98 % 84.87/85.04 % 84.87/85.04 % 84.87/85.04 Changing weight limit from 19 to 20. % 84.87/85.04 % 84.87/85.04 Resetting weight limit to 20 after 2310 givens. % 84.87/85.04 % 85.30/85.48 % 85.30/85.48 % 85.30/85.48 Changing weight limit from 20 to 18. % 85.30/85.48 % 85.30/85.48 Resetting weight limit to 18 after 2340 givens. % 85.30/85.48 % 85.39/85.59 % 85.39/85.59 % 85.39/85.59 Changing weight limit from 18 to 19. % 85.39/85.59 % 85.39/85.59 Resetting weight limit to 19 after 2350 givens. % 85.39/85.59 % 85.45/85.64 % 85.45/85.64 % 85.45/85.64 Changing weight limit from 19 to 20. % 85.45/85.64 % 85.45/85.64 Resetting weight limit to 20 after 2355 givens. % 85.45/85.64 % 85.69/85.85 % 85.69/85.85 % 85.69/85.85 Changing weight limit from 20 to 18. % 85.69/85.85 % 85.69/85.85 Resetting weight limit to 18 after 2365 givens. % 85.69/85.85 % 87.87/88.08 % 87.87/88.08 % 87.87/88.08 Changing weight limit from 18 to 19. % 87.87/88.08 % 87.87/88.08 Resetting weight limit to 19 after 2540 givens. % 87.87/88.08 % 87.96/88.14 % 87.96/88.14 % 87.96/88.14 Changing weight limit from 19 to 20. % 87.96/88.14 % 87.96/88.14 Resetting weight limit to 20 after 2545 givens. % 87.96/88.14 % 88.10/88.27 % 88.10/88.27 % 88.10/88.27 Changing weight limit from 20 to 18. % 88.10/88.27 % 88.10/88.27 Resetting weight limit to 18 after 2550 givens. % 88.10/88.27 % 88.15/88.33 % 88.15/88.33 % 88.15/88.33 Changing weight limit from 18 to 19. % 88.15/88.33 % 88.15/88.33 Resetting weight limit to 19 after 2555 givens. % 88.15/88.33 % 88.19/88.39 % 88.19/88.39 % 88.19/88.39 Changing weight limit from 19 to 18. % 88.19/88.39 % 88.19/88.39 Resetting weight limit to 18 after 2560 givens. % 88.19/88.39 % 88.26/88.45 % 88.26/88.45 % 88.26/88.45 Changing weight limit from 18 to 19. % 88.26/88.45 % 88.26/88.45 Resetting weight limit to 19 after 2565 givens. % 88.26/88.45 % 88.31/88.51 % 88.31/88.51 % 88.31/88.51 Changing weight limit from 19 to 18. % 88.31/88.51 % 88.31/88.51 Resetting weight limit to 18 after 2570 givens. % 88.31/88.51 % 88.40/88.58 % 88.40/88.58 % 88.40/88.58 Changing weight limit from 18 to 19. % 88.40/88.58 % 88.40/88.58 Resetting weight limit to 19 after 2575 givens. % 88.40/88.58 % 88.46/88.63 % 88.46/88.63 % 88.46/88.63 Changing weight limit from 19 to 20. % 88.46/88.63 % 88.46/88.63 Resetting weight limit to 20 after 2580 givens. % 88.46/88.63 % 88.98/89.17 % 88.98/89.17 % 88.98/89.17 Changing weight limit from 20 to 18. % 88.98/89.17 % 88.98/89.17 Resetting weight limit to 18 after 2610 givens. % 88.98/89.17 % 89.91/90.09 % 89.91/90.09 % 89.91/90.09 Changing weight limit from 18 to 19. % 89.91/90.09 % 89.91/90.09 Resetting weight limit to 19 after 2675 givens. % 89.91/90.09 % 89.96/90.15 % 89.96/90.15 % 89.96/90.15 Changing weight limit from 19 to 20. % 89.96/90.15 % 89.96/90.15 Resetting weight limit to 20 after 2680 givens. % 89.96/90.15 % 90.06/90.29 % 90.06/90.29 % 90.06/90.29 Changing weight limit from 20 to 18. % 90.06/90.29 % 90.06/90.29 Resetting weight limit to 18 after 2685 givens. % 90.06/90.29 % 90.83/91.06 % 90.83/91.06 % 90.83/91.06 Changing weight limit from 18 to 19. % 90.83/91.06 % 90.83/91.06 Resetting weight limit to 19 after 2740 givens. % 90.83/91.06 % 90.95/91.13 % 90.95/91.13 % 90.95/91.13 Changing weight limit from 19 to 20. % 90.95/91.13 % 90.95/91.13 Resetting weight limit to 20 after 2745 givens. % 90.95/91.13 % 91.67/91.85 % 91.67/91.85 % 91.67/91.85 Changing weight limit from 20 to 18. % 91.67/91.85 % 91.67/91.85 Resetting weight limit to 18 after 2785 givens. % 91.67/91.85 % 92.02/92.19 % 92.02/92.19 % 92.02/92.19 Changing weight limit from 18 to 19. % 92.02/92.19 % 92.02/92.19 Resetting weight limit to 19 after 2810 givens. % 92.02/92.19 % 92.02/92.26 % 92.02/92.26 % 92.02/92.26 Changing weight limit from 19 to 20. % 92.02/92.26 % 92.02/92.26 Resetting weight limit to 20 after 2815 givens. % 92.02/92.26 % 92.38/92.57 % 92.38/92.57 % 92.38/92.57 Changing weight limit from 20 to 18. % 92.38/92.57 % 92.38/92.57 Resetting weight limit to 18 after 2830 givens. % 92.38/92.57 % 92.55/92.72 % 92.55/92.72 % 92.55/92.72 Changing weight limit from 18 to 19. % 92.55/92.72 % 92.55/92.72 Resetting weight limit to 19 after 2840 givens. % 92.55/92.72 % 92.61/92.79 % 92.61/92.79 % 92.61/92.79 Changing weight limit from 19 to 20. % 92.61/92.79 % 92.61/92.79 Resetting weight limit to 20 after 2845 givens. % 92.61/92.79 % 93.07/93.33 % 93.07/93.33 % 93.07/93.33 Changing weight limit from 20 to 18. % 93.07/93.33 % 93.07/93.33 Resetting weight limit to 18 after 2870 givens. % 93.07/93.33 % 93.25/93.47 % 93.25/93.47 % 93.25/93.47 Changing weight limit from 18 to 19. % 93.25/93.47 % 93.25/93.47 Resetting weight limit to 19 after 2880 givens. % 93.25/93.47 % 93.35/93.54 % 93.35/93.54 % 93.35/93.54 Changing weight limit from 19 to 20. % 93.35/93.54 % 93.35/93.54 Resetting weight limit to 20 after 2885 givens. % 93.35/93.54 % 94.02/94.25 % 94.02/94.25 % 94.02/94.25 Changing weight limit from 20 to 18. % 94.02/94.25 % 94.02/94.25 Resetting weight limit to 18 after 2915 givens. % 94.02/94.25 % 94.15/94.32 % 94.15/94.32 % 94.15/94.32 Changing weight limit from 18 to 19. % 94.15/94.32 % 94.15/94.32 Resetting weight limit to 19 after 2920 givens. % 94.15/94.32 % 94.15/94.38 % 94.15/94.38 % 94.15/94.38 Changing weight limit from 19 to 20. % 94.15/94.38 % 94.15/94.38 Resetting weight limit to 20 after 2925 givens. % 94.15/94.38 % 95.81/96.00 % 95.81/96.00 % 95.81/96.00 Changing weight limit from 20 to 18. % 95.81/96.00 % 95.81/96.00 Resetting weight limit to 18 after 3005 givens. % 95.81/96.00 % 95.90/96.07 % 95.90/96.07 % 95.90/96.07 Changing weight limit from 18 to 19. % 95.90/96.07 % 95.90/96.07 Resetting weight limit to 19 after 3010 givens. % 95.90/96.07 % 95.97/96.15 % 95.97/96.15 % 95.97/96.15 Changing weight limit from 19 to 20. % 95.97/96.15 % 95.97/96.15 Resetting weight limit to 20 after 3015 givens. % 95.97/96.15 % 96.21/96.41 % 96.21/96.41 % 96.21/96.41 Changing weight limit from 20 to 18. % 96.21/96.41 % 96.21/96.41 Resetting weight limit to 18 after 3025 givens. % 96.21/96.41 % 96.80/96.97 % 96.80/96.97 % 96.80/96.97 Changing weight limit from 18 to 19. % 96.80/96.97 % 96.80/96.97 Resetting weight limit to 19 after 3060 givens. % 96.80/96.97 % 96.87/97.05 % 96.87/97.05 % 96.87/97.05 Changing weight limit from 19 to 18. % 96.87/97.05 % 96.87/97.05 Resetting weight limit to 18 after 3065 givens. % 96.87/97.05 % 96.95/97.12 % 96.95/97.12 % 96.95/97.12 Changing weight limit from 18 to 19. % 96.95/97.12 % 96.95/97.12 Resetting weight limit to 19 after 3070 givens. % 96.95/97.12 % 97.02/97.20 % 97.02/97.20 % 97.02/97.20 Changing weight limit from 19 to 20. % 97.02/97.20 % 97.02/97.20 Resetting weight limit to 20 after 3075 givens. % 97.02/97.20 % 97.24/97.41 % 97.24/97.41 % 97.24/97.41 Changing weight limit from 20 to 18. % 97.24/97.41 % 97.24/97.41 Resetting weight limit to 18 after 3080 givens. % 97.24/97.41 % 97.86/98.05 % 97.86/98.05 % 97.86/98.05 Changing weight limit from 18 to 19. % 97.86/98.05 % 97.86/98.05 Resetting weight limit to 19 after 3115 givens. % 97.86/98.05 % 97.96/98.13 % 97.96/98.13 % 97.96/98.13 Changing weight limit from 19 to 20. % 97.96/98.13 % 97.96/98.13 Resetting weight limit to 20 after 3120 givens. % 97.96/98.13 % 98.25/98.43 % 98.25/98.43 % 98.25/98.43 Changing weight limit from 20 to 18. % 98.25/98.43 % 98.25/98.43 Resetting weight limit to 18 after 3135 givens. % 98.25/98.43 % 98.27/98.50 % 98.27/98.50 % 98.27/98.50 Changing weight limit from 18 to 19. % 98.27/98.50 % 98.27/98.50 Resetting weight limit to 19 after 3140 givens. % 98.27/98.50 % 98.38/98.57 % 98.38/98.57 % 98.38/98.57 Changing weight limit from 19 to 18. % 98.38/98.57 % 98.38/98.57 Resetting weight limit to 18 after 3145 givens. % 98.38/98.57 % 98.44/98.65 % 98.44/98.65 % 98.44/98.65 Changing weight limit from 18 to 19. % 98.44/98.65 % 98.44/98.65 Resetting weight limit to 19 after 3150 givens. % 98.44/98.65 % 98.50/98.73 % 98.50/98.73 % 98.50/98.73 Changing weight limit from 19 to 20. % 98.50/98.73 % 98.50/98.73 Resetting weight limit to 20 after 3155 givens. % 98.50/98.73 % 99.07/99.27 % 99.07/99.27 % 99.07/99.27 Changing weight limit from 20 to 18. % 99.07/99.27 % 99.07/99.27 Resetting weight limit to 18 after 3180 givens. % 99.07/99.27 % 99.65/99.83 % 99.65/99.83 % 99.65/99.83 Changing weight limit from 18 to 19. % 99.65/99.83 % 99.65/99.83 Resetting weight limit to 19 after 3215 givens. % 99.65/99.83 % 99.70/99.91 % 99.70/99.91 % 99.70/99.91 Changing weight limit from 19 to 20. % 99.70/99.91 % 99.70/99.91 Resetting weight limit to 20 after 3220 givens. % 99.70/99.91 % 100.30/100.54 % 100.30/100.54 % 100.30/100.54 Changing weight limit from 20 to 18. % 100.30/100.54 % 100.30/100.54 Resetting weight limit to 18 after 3235 givens. % 100.30/100.54 % 100.43/100.63 % 100.43/100.63 % 100.43/100.63 Changing weight limit from 18 to 19. % 100.43/100.63 % 100.43/100.63 Resetting weight limit to 19 after 3240 givens. % 100.43/100.63 % 100.55/100.72 % 100.55/100.72 % 100.55/100.72 Changing weight limit from 19 to 18. % 100.55/100.72 % 100.55/100.72 Resetting weight limit to 18 after 3245 givens. % 100.55/100.72 % 100.72/100.89 % 100.72/100.89 % 100.72/100.89 Changing weight limit from 18 to 19. % 100.72/100.89 % 100.72/100.89 Resetting weight limit to 19 after 3255 givens. % 100.72/100.89 % 100.76/100.96 % 100.76/100.96 % 100.76/100.96 Changing weight limit from 19 to 18. % 100.76/100.96 % 100.76/100.96 Resetting weight limit to 18 after 3260 givens. % 100.76/100.96 % 101.04/101.21 % 101.04/101.21 % 101.04/101.21 Changing weight limit from 18 to 19. % 101.04/101.21 % 101.04/101.21 Resetting weight limit to 19 after 3275 givens. % 101.04/101.21 % 101.07/101.29 % 101.07/101.29 % 101.07/101.29 Changing weight limit from 19 to 18. % 101.07/101.29 % 101.07/101.29 Resetting weight limit to 18 after 3280 givens. % 101.07/101.29 % 101.24/101.45 % 101.24/101.45 % 101.24/101.45 Changing weight limit from 18 to 19. % 101.24/101.45 % 101.24/101.45 Resetting weight limit to 19 after 3290 givens. % 101.24/101.45 % 101.32/101.53 % 101.32/101.53 % 101.32/101.53 Changing weight limit from 19 to 20. % 101.32/101.53 % 101.32/101.53 Resetting weight limit to 20 after 3295 givens. % 101.32/101.53 % 101.46/101.69 % 101.46/101.69 % 101.46/101.69 Changing weight limit from 20 to 18. % 101.46/101.69 % 101.46/101.69 Resetting weight limit to 18 after 3300 givens. % 101.46/101.69 % 101.72/101.92 % 101.72/101.92 % 101.72/101.92 Changing weight limit from 18 to 19. % 101.72/101.92 % 101.72/101.92 Resetting weight limit to 19 after 3315 givens. % 101.72/101.92 % 101.81/102.00 % 101.81/102.00 % 101.81/102.00 Changing weight limit from 19 to 20. % 101.81/102.00 % 101.81/102.00 Resetting weight limit to 20 after 3320 givens. % 101.81/102.00 % 102.03/102.22 % 102.03/102.22 % 102.03/102.22 Changing weight limit from 20 to 18. % 102.03/102.22 % 102.03/102.22 Resetting weight limit to 18 after 3325 givens. % 102.03/102.22 % 102.10/102.30 % 102.10/102.30 % 102.10/102.30 Changing weight limit from 18 to 19. % 102.10/102.30 % 102.10/102.30 Resetting weight limit to 19 after 3330 givens. % 102.10/102.30 % 102.20/102.38 % 102.20/102.38 % 102.20/102.38 Changing weight limit from 19 to 20. % 102.20/102.38 % 102.20/102.38 Resetting weight limit to 20 after 3335 givens. % 102.20/102.38 % 102.37/102.56 % 102.37/102.56 % 102.37/102.56 Changing weight limit from 20 to 18. % 102.37/102.56 % 102.37/102.56 Resetting weight limit to 18 after 3340 givens. % 102.37/102.56 % 102.61/102.80 % 102.61/102.80 % 102.61/102.80 Changing weight limit from 18 to 19. % 102.61/102.80 % 102.61/102.80 Resetting weight limit to 19 after 3355 givens. % 102.61/102.80 % 102.68/102.88 % 102.68/102.88 % 102.68/102.88 Changing weight limit from 19 to 18. % 102.68/102.88 % 102.68/102.88 Resetting weight limit to 18 after 3360 givens. % 102.68/102.88 % 102.95/103.13 % 102.95/103.13 % 102.95/103.13 Changing weight limit from 18 to 19. % 102.95/103.13 % 102.95/103.13 Resetting weight limit to 19 after 3375 givens. % 102.95/103.13 % 102.98/103.21 % 102.98/103.21 % 102.98/103.21 Changing weight limit from 19 to 20. % 102.98/103.21 % 102.98/103.21 Resetting weight limit to 20 after 3380 givens. % 102.98/103.21 % 103.21/103.42 % 103.21/103.42 % 103.21/103.42 Changing weight limit from 20 to 18. % 103.21/103.42 % 103.21/103.42 Resetting weight limit to 18 after 3385 givens. % 103.21/103.42 % 103.29/103.51 % 103.29/103.51 % 103.29/103.51 Changing weight limit from 18 to 19. % 103.29/103.51 % 103.29/103.51 Resetting weight limit to 19 after 3390 givens. % 103.29/103.51 % 103.40/103.59 % 103.40/103.59 % 103.40/103.59 Changing weight limit from 19 to 18. % 103.40/103.59 % 103.40/103.59 Resetting weight limit to 18 after 3395 givens. % 103.40/103.59 % 103.49/103.67 % 103.49/103.67 % 103.49/103.67 Changing weight limit from 18 to 19. % 103.49/103.67 % 103.49/103.67 Resetting weight limit to 19 after 3400 givens. % 103.49/103.67 % 103.59/103.75 % 103.59/103.75 % 103.59/103.75 Changing weight limit from 19 to 20. % 103.59/103.75 % 103.59/103.75 Resetting weight limit to 20 after 3405 givens. % 103.59/103.75 % 108.56/108.73 % 108.56/108.73 % 108.56/108.73 Changing weight limit from 20 to 18. % 108.56/108.73 % 108.56/108.73 Resetting weight limit to 18 after 3585 givens. % 108.56/108.73 % 108.64/108.82 % 108.64/108.82 % 108.64/108.82 Changing weight limit from 18 to 19. % 108.64/108.82 % 108.64/108.82 Resetting weight limit to 19 after 3590 givens. % 108.64/108.82 % 108.71/108.91 % 108.71/108.91 % 108.71/108.91 Changing weight limit from 19 to 20. % 108.71/108.91 % 108.71/108.91 Resetting weight limit to 20 after 3595 givens. % 108.71/108.91 % 109.00/109.22 % 109.00/109.22 % 109.00/109.22 Changing weight limit from 20 to 18. % 109.00/109.22 % 109.00/109.22 Resetting weight limit to 18 after 3605 givens. % 109.00/109.22 % 109.30/109.56 % 109.30/109.56 % 109.30/109.56 Changing weight limit from 18 to 19. % 109.30/109.56 % 109.30/109.56 Resetting weight limit to 19 after 3625 givens. % 109.30/109.56 % 109.49/109.65 % 109.49/109.65 % 109.49/109.65 Changing weight limit from 19 to 20. % 109.49/109.65 % 109.49/109.65 Resetting weight limit to 20 after 3630 givens. % 109.49/109.65 % 111.33/111.56 % 111.33/111.56 % 111.33/111.56 Changing weight limit from 20 to 18. % 111.33/111.56 % 111.33/111.56 Resetting weight limit to 18 after 3695 givens. % 111.33/111.56 % 111.42/111.64 % 111.42/111.64 % 111.42/111.64 Changing weight limit from 18 to 19. % 111.42/111.64 % 111.42/111.64 Resetting weight limit to 19 after 3700 givens. % 111.42/111.64 % 111.57/111.73 % 111.57/111.73 % 111.57/111.73 Changing weight limit from 19 to 20. % 111.57/111.73 % 111.57/111.73 Resetting weight limit to 20 after 3705 givens. % 111.57/111.73 % 113.19/113.36 % 113.19/113.36 % 113.19/113.36 Changing weight limit from 20 to 18. % 113.19/113.36 % 113.19/113.36 Resetting weight limit to 18 after 3760 givens. % 113.19/113.36 % 113.27/113.46 % 113.27/113.46 % 113.27/113.46 Changing weight limit from 18 to 19. % 113.27/113.46 % 113.27/113.46 Resetting weight limit to 19 after 3765 givens. % 113.27/113.46 % 113.32/113.55 % 113.32/113.55 % 113.32/113.55 Changing weight limit from 19 to 20. % 113.32/113.55 % 113.32/113.55 Resetting weight limit to 20 after 3770 givens. % 113.32/113.55 % 115.22/115.40 % 115.22/115.40 % 115.22/115.40 Changing weight limit from 20 to 18. % 115.22/115.40 % 115.22/115.40 Resetting weight limit to 18 after 3830 givens. % 115.22/115.40 % 115.36/115.60 % 115.36/115.60 % 115.36/115.60 Changing weight limit from 18 to 19. % 115.36/115.60 % 115.36/115.60 Resetting weight limit to 19 after 3840 givens. % 115.36/115.60 % 115.52/115.69 % 115.52/115.69 % 115.52/115.69 Changing weight limit from 19 to 20. % 115.52/115.69 % 115.52/115.69 Resetting weight limit to 20 after 3845 givens. % 115.52/115.69 % 119.98/120.17 % 119.98/120.17 % 119.98/120.17 Changing weight limit from 20 to 18. % 119.98/120.17 % 119.98/120.17 Resetting weight limit to 18 after 3985 givens. % 119.98/120.17 % 120.29/120.48 % 120.29/120.48 % 120.29/120.48 Changing weight limit from 18 to 19. % 120.29/120.48 % 120.29/120.48 Resetting weight limit to 19 after 4000 givens. % 120.29/120.48 % 120.40/120.59 % 120.40/120.59 % 120.40/120.59 Changing weight limit from 19 to 20. % 120.40/120.59 % 120.40/120.59 Resetting weight limit to 20 after 4005 givens. % 120.40/120.59 % 122.14/122.30 % 122.14/122.30 % 122.14/122.30 Changing weight limit from 20 to 18. % 122.14/122.30 % 122.14/122.30 Resetting weight limit to 18 after 4060 givens. % 122.14/122.30 % 122.26/122.49 % 122.26/122.49 % 122.26/122.49 Changing weight limit from 18 to 19. % 122.26/122.49 % 122.26/122.49 Resetting weight limit to 19 after 4070 givens. % 122.26/122.49 % 122.42/122.61 % 122.42/122.61 % 122.42/122.61 Changing weight limit from 19 to 18. % 122.42/122.61 % 122.42/122.61 Resetting weight limit to 18 after 4075 givens. % 122.42/122.61 % 123.12/123.30 % 123.12/123.30 % 123.12/123.30 Changing weight limit from 18 to 19. % 123.12/123.30 % 123.12/123.30 Resetting weight limit to 19 after 4105 givens. % 123.12/123.30 % 123.23/123.41 % 123.23/123.41 % 123.23/123.41 Changing weight limit from 19 to 18. % 123.23/123.41 % 123.23/123.41 Resetting weight limit to 18 after 4110 givens. % 123.23/123.41 % 123.30/123.51 % 123.30/123.51 % 123.30/123.51 Changing weight limit from 18 to 19. % 123.30/123.51 % 123.30/123.51 Resetting weight limit to 19 after 4115 givens. % 123.30/123.51 % 123.43/123.62 % 123.43/123.62 % 123.43/123.62 Changing weight limit from 19 to 20. % 123.43/123.62 % 123.43/123.62 Resetting weight limit to 20 after 4120 givens. % 123.43/123.62 % 124.13/124.31 % 124.13/124.31 % 124.13/124.31 Changing weight limit from 20 to 18. % 124.13/124.31 % 124.13/124.31 Resetting weight limit to 18 after 4140 givens. % 124.13/124.31 % 124.45/124.61 % 124.45/124.61 % 124.45/124.61 Changing weight limit from 18 to 19. % 124.45/124.61 % 124.45/124.61 Resetting weight limit to 19 after 4155 givens. % 124.45/124.61 % 124.48/124.71 % 124.48/124.71 % 124.48/124.71 Changing weight limit from 19 to 18. % 124.48/124.71 % 124.48/124.71 Resetting weight limit to 18 after 4160 givens. % 124.48/124.71 % 125.27/125.49 % 125.27/125.49 % 125.27/125.49 Changing weight limit from 18 to 19. % 125.27/125.49 % 125.27/125.49 Resetting weight limit to 19 after 4195 givens. % 125.27/125.49 % 125.37/125.59 % 125.37/125.59 % 125.37/125.59 Changing weight limit from 19 to 18. % 125.37/125.59 % 125.37/125.59 Resetting weight limit to 18 after 4200 givens. % 125.37/125.59 % 125.65/125.81 % 125.65/125.81 % 125.65/125.81 Changing weight limit from 18 to 19. % 125.65/125.81 % 125.65/125.81 Resetting weight limit to 19 after 4210 givens. % 125.65/125.81 % 125.67/125.92 % 125.67/125.92 % 125.67/125.92 Changing weight limit from 19 to 20. % 125.67/125.92 % 125.67/125.92 Resetting weight limit to 20 after 4215 givens. % 125.67/125.92 % 126.27/126.41 % 126.27/126.41 % 126.27/126.41 Changing weight limit from 20 to 18. % 126.27/126.41 % 126.27/126.41 Resetting weight limit to 18 after 4230 givens. % 126.27/126.41 % 126.58/126.76 % 126.58/126.76 % 126.58/126.76 Changing weight limit from 18 to 19. % 126.58/126.76 % 126.58/126.76 Resetting weight limit to 19 after 4245 givens. % 126.58/126.76 % 126.67/126.86 % 126.67/126.86 % 126.67/126.86 Changing weight limit from 19 to 18. % 126.67/126.86 % 126.67/126.86 Resetting weight limit to 18 after 4250 givens. % 126.67/126.86 % 127.48/127.66 % 127.48/127.66 % 127.48/127.66 Changing weight limit from 18 to 19. % 127.48/127.66 % 127.48/127.66 Resetting weight limit to 19 after 4285 givens. % 127.48/127.66 % 127.60/127.75 % 127.60/127.75 % 127.60/127.75 Changing weight limit from 19 to 20. % 127.60/127.75 % 127.60/127.75 Resetting weight limit to 20 after 4290 givens. % 127.60/127.75 % 128.23/128.43 % 128.23/128.43 % 128.23/128.43 Changing weight limit from 20 to 18. % 128.23/128.43 % 128.23/128.43 Resetting weight limit to 18 after 4310 givens. % 128.23/128.43 % 128.81/128.97 % 128.81/128.97 % 128.81/128.97 Changing weight limit from 18 to 19. % 128.81/128.97 % 128.81/128.97 Resetting weight limit to 19 after 4335 givens. % 128.81/128.97 % 128.88/129.08 % 128.88/129.08 % 128.88/129.08 Changing weight limit from 19 to 18. % 128.88/129.08 % 128.88/129.08 Resetting weight limit to 18 after 4340 givens. % 128.88/129.08 % 128.97/129.19 % 128.97/129.19 % 128.97/129.19 Changing weight limit from 18 to 19. % 128.97/129.19 % 128.97/129.19 Resetting weight limit to 19 after 4345 givens. % 128.97/129.19 % 129.14/129.29 % 129.14/129.29 % 129.14/129.29 Changing weight limit from 19 to 20. % 129.14/129.29 % 129.14/129.29 Resetting weight limit to 20 after 4350 givens. % 129.14/129.29 % 129.26/129.47 % 129.26/129.47 % 129.26/129.47 Changing weight limit from 20 to 18. % 129.26/129.47 % 129.26/129.47 Resetting weight limit to 18 after 4355 givens. % 129.26/129.47 % 129.96/130.11 % 129.96/130.11 % 129.96/130.11 Changing weight limit from 18 to 19. % 129.96/130.11 % 129.96/130.11 Resetting weight limit to 19 after 4385 givens. % 129.96/130.11 % 130.04/130.22 % 130.04/130.22 % 130.04/130.22 Changing weight limit from 19 to 20. % 130.04/130.22 % 130.04/130.22 Resetting weight limit to 20 after 4390 givens. % 130.04/130.22 % 130.45/130.60 % 130.45/130.60 % 130.45/130.61 Changing weight limit from 20 to 18. % 130.45/130.61 % 130.45/130.61 Resetting weight limit to 18 after 4405 givens. % 130.45/130.61 % 130.57/130.72 % 130.57/130.72 % 130.57/130.72 Changing weight limit from 18 to 19. % 130.57/130.72 % 130.57/130.72 Resetting weight limit to 19 after 4410 givens. % 130.57/130.72 % 130.65/130.84 % 130.65/130.84 % 130.65/130.84 Changing weight limit from 19 to 18. % 130.65/130.84 % 130.65/130.84 Resetting weight limit to 18 after 4415 givens. % 130.65/130.84 % 130.93/131.09 % 130.93/131.09 % 130.93/131.09 Changing weight limit from 18 to 19. % 130.93/131.09 % 130.93/131.09 Resetting weight limit to 19 after 4425 givens. % 130.93/131.09 % 131.03/131.21 % 131.03/131.21 % 131.03/131.21 Changing weight limit from 19 to 20. % 131.03/131.21 % 131.03/131.21 Resetting weight limit to 20 after 4430 givens. % 131.03/131.21 % 131.38/131.54 % 131.38/131.54 % 131.39/131.54 Changing weight limit from 20 to 18. % 131.39/131.54 % 131.39/131.54 Resetting weight limit to 18 after 4440 givens. % 131.39/131.54 % 131.51/131.67 % 131.51/131.67 % 131.51/131.67 Changing weight limit from 18 to 19. % 131.51/131.67 % 131.51/131.67 Resetting weight limit to 19 after 4445 givens. % 131.51/131.67 % 131.60/131.78 % 131.60/131.78 % 131.60/131.78 Changing weight limit from 19 to 18. % 131.60/131.78 % 131.60/131.78 Resetting weight limit to 18 after 4450 givens. % 131.60/131.78 % 131.69/131.89 % 131.69/131.89 % 131.69/131.89 Changing weight limit from 18 to 19. % 131.69/131.89 % 131.69/131.89 Resetting weight limit to 19 after 4455 givens. % 131.69/131.89 % 131.83/132.01 % 131.83/132.01 % 131.83/132.01 Changing weight limit from 19 to 18. % 131.83/132.01 % 131.83/132.01 Resetting weight limit to 18 after 4460 givens. % 131.83/132.01 % 131.96/132.11 % 131.96/132.11 % 131.96/132.11 Changing weight limit from 18 to 19. % 131.96/132.11 % 131.96/132.11 Resetting weight limit to 19 after 4465 givens. % 131.96/132.11 % 132.08/132.23 % 132.08/132.23 % 132.08/132.23 Changing weight limit from 19 to 20. % 132.08/132.23 % 132.08/132.23 Resetting weight limit to 20 after 4470 givens. % 132.08/132.23 % 135.16/135.33 % 135.16/135.33 % 135.16/135.33 Changing weight limit from 20 to 18. % 135.16/135.33 % 135.16/135.33 Resetting weight limit to 18 after 4555 givens. % 135.16/135.33 % 135.23/135.43 % 135.23/135.43 % 135.23/135.43 Changing weight limit from 18 to 19. % 135.23/135.43 % 135.23/135.43 Resetting weight limit to 19 after 4560 givens. % 135.23/135.43 % 135.38/135.53 % 135.38/135.53 % 135.38/135.53 Changing weight limit from 19 to 18. % 135.38/135.53 % 135.38/135.53 Resetting weight limit to 18 after 4565 givens. % 135.38/135.53 % 135.47/135.63 % 135.47/135.63 % 135.47/135.63 Changing weight limit from 18 to 19. % 135.47/135.63 % 135.47/135.63 Resetting weight limit to 19 after 4570 givens. % 135.47/135.63 % 135.54/135.74 % 135.54/135.74 % 135.54/135.74 Changing weight limit from 19 to 18. % 135.54/135.74 % 135.54/135.74 Resetting weight limit to 18 after 4575 givens. % 135.54/135.74 % 135.78/135.95 % 135.78/135.95 % 135.78/135.95 Changing weight limit from 18 to 19. % 135.78/135.95 % 135.78/135.95 Resetting weight limit to 19 after 4585 givens. % 135.78/135.95 % 135.85/136.06 % 135.85/136.06 % 135.85/136.06 Changing weight limit from 19 to 20. % 135.85/136.06 % 135.85/136.06 Resetting weight limit to 20 after 4590 givens. % 135.85/136.06 % 138.72/138.88 % 138.72/138.88 % 138.72/138.88 Changing weight limit from 20 to 18. % 138.72/138.88 % 138.72/138.88 Resetting weight limit to 18 after 4675 givens. % 138.72/138.88 % 138.94/139.09 % 138.94/139.09 % 138.94/139.09 Changing weight limit from 18 to 19. % 138.94/139.09 % 138.94/139.09 Resetting weight limit to 19 after 4685 givens. % 138.94/139.09 % 139.01/139.20 % 139.01/139.20 % 139.01/139.20 Changing weight limit from 19 to 20. % 139.01/139.20 % 139.01/139.20 Resetting weight limit to 20 after 4690 givens. % 139.01/139.20 % 142.66/142.83 % 142.66/142.83 % 142.66/142.83 Changing weight limit from 20 to 18. % 142.66/142.83 % 142.66/142.83 Resetting weight limit to 18 after 4790 givens. % 142.66/142.83 % 142.77/142.94 % 142.77/142.94 % 142.77/142.94 Changing weight limit from 18 to 19. % 142.77/142.94 % 142.77/142.94 Resetting weight limit to 19 after 4795 givens. % 142.77/142.94 % 142.86/143.05 % 142.86/143.05 % 142.86/143.05 Changing weight limit from 19 to 20. % 142.86/143.05 % 142.86/143.05 Resetting weight limit to 20 after 4800 givens. % 142.86/143.05 % 145.74/145.91 % 145.74/145.91 % 145.74/145.91 Changing weight limit from 20 to 18. % 145.74/145.91 % 145.74/145.91 Resetting weight limit to 18 after 4875 givens. % 145.74/145.91 % 145.85/146.01 % 145.85/146.01 % 145.85/146.01 Changing weight limit from 18 to 19. % 145.85/146.01 % 145.85/146.01 Resetting weight limit to 19 after 4880 givens. % 145.85/146.01 % 145.87/146.11 % 145.87/146.11 % 145.87/146.11 Changing weight limit from 19 to 20. % 145.87/146.11 % 145.87/146.11 Resetting weight limit to 20 after 4885 givens. % 145.87/146.11 % 146.25/146.42 % 146.25/146.42 % 146.25/146.42 Changing weight limit from 20 to 18. % 146.25/146.42 % 146.25/146.42 Resetting weight limit to 18 after 4895 givens. % 146.25/146.42 % 146.47/146.64 % 146.47/146.64 % 146.47/146.64 Changing weight limit from 18 to 19. % 146.47/146.64 % 146.47/146.64 Resetting weight limit to 19 after 4905 givens. % 146.47/146.64 % 146.57/146.75 % 146.57/146.75 % 146.57/146.75 Changing weight limit from 19 to 20. % 146.57/146.75 % 146.57/146.75 Resetting weight limit to 20 after 4910 givens. % 146.57/146.75 % 146.74/146.98 % 146.74/146.98 % 146.74/146.98 Changing weight limit from 20 to 18. % 146.74/146.98 % 146.74/146.98 Resetting weight limit to 18 after 4915 givens. % 146.74/146.98 % 146.86/147.09 % 146.86/147.09 % 146.86/147.09 Changing weight limit from 18 to 19. % 146.86/147.09 % 146.86/147.09 Resetting weight limit to 19 after 4920 givens. % 146.86/147.09 % 147.05/147.21 % 147.05/147.21 % 147.05/147.21 Changing weight limit from 19 to 20. % 147.05/147.21 % 147.05/147.21 Resetting weight limit to 20 after 4925 givens. % 147.05/147.21 % 147.56/147.79 % 147.56/147.79 % 147.56/147.79 Changing weight limit from 20 to 18. % 147.56/147.79 % 147.56/147.79 Resetting weight limit to 18 after 4940 givens. % 147.56/147.79 % 147.75/147.90 % 147.75/147.90 % 147.75/147.90 Changing weight limit from 18 to 19. % 147.75/147.90 % 147.75/147.90 Resetting weight limit to 19 after 4945 givens. % 147.75/147.90 % 147.87/148.02 % 147.87/148.02 % 147.87/148.02 Changing weight limit from 19 to 18. % 147.87/148.02 % 147.87/148.02 Resetting weight limit to 18 after 4950 givens. % 147.87/148.02 % 148.16/148.36 % 148.16/148.36 % 148.16/148.36 Changing weight limit from 18 to 19. % 148.16/148.36 % 148.16/148.36 Resetting weight limit to 19 after 4965 givens. % 148.16/148.36 % 148.23/148.47 % 148.23/148.47 % 148.23/148.47 Changing weight limit from 19 to 20. % 148.23/148.47 % 148.23/148.47 Resetting weight limit to 20 after 4970 givens. % 148.23/148.47 % 152.47/152.70 % 152.47/152.70 % 152.47/152.70 Changing weight limit from 20 to 18. % 152.47/152.70 % 152.47/152.70 Resetting weight limit to 18 after 5075 givens. % 152.47/152.70 % 152.78/152.93 % 152.78/152.93 % 152.78/152.93 Changing weight limit from 18 to 19. % 152.78/152.93 % 152.78/152.93 Resetting weight limit to 19 after 5085 givens. % 152.78/152.93 % 152.87/153.06 % 152.87/153.06 % 152.87/153.06 Changing weight limit from 19 to 18. % 152.87/153.06 % 152.87/153.06 Resetting weight limit to 18 after 5090 givens. % 152.87/153.06 % 153.06/153.29 % 153.06/153.29 % 153.06/153.29 Changing weight limit from 18 to 19. % 153.06/153.29 % 153.06/153.29 Resetting weight limit to 19 after 5100 givens. % 153.06/153.29 % 153.25/153.40 % 153.25/153.40 % 153.25/153.40 Changing weight limit from 19 to 20. % 153.25/153.40 % 153.25/153.40 Resetting weight limit to 20 after 5105 givens. % 153.25/153.40 % 300.06/300.20 Wow, sos-wrapper got a signal XCPU %------------------------------------------------------------------------------