TSTP Solution File: LCL926-1 by SOS---2.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : SOS---2.0
% Problem : LCL926-1 : TPTP v8.1.0. Released v6.4.0.
% Transfm : none
% Format : tptp:raw
% Command : sos-script %s
% Computer : n015.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:33:47 EDT 2022
% Result : Timeout 289.72s 289.98s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : LCL926-1 : TPTP v8.1.0. Released v6.4.0.
% 0.03/0.13 % Command : sos-script %s
% 0.13/0.34 % Computer : n015.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Mon Jul 4 20:56:31 EDT 2022
% 0.13/0.35 % CPUTime :
% 0.19/0.36 ----- Otter 3.2, August 2001 -----
% 0.19/0.36 The process was started by sandbox on n015.cluster.edu,
% 0.19/0.36 Mon Jul 4 20:56:32 2022
% 0.19/0.36 The command was "./sos". The process ID is 6831.
% 0.19/0.36
% 0.19/0.36 set(prolog_style_variables).
% 0.19/0.36 set(auto).
% 0.19/0.36 dependent: set(auto1).
% 0.19/0.36 dependent: set(process_input).
% 0.19/0.36 dependent: clear(print_kept).
% 0.19/0.36 dependent: clear(print_new_demod).
% 0.19/0.36 dependent: clear(print_back_demod).
% 0.19/0.36 dependent: clear(print_back_sub).
% 0.19/0.36 dependent: set(control_memory).
% 0.19/0.36 dependent: assign(max_mem, 12000).
% 0.19/0.36 dependent: assign(pick_given_ratio, 4).
% 0.19/0.36 dependent: assign(stats_level, 1).
% 0.19/0.36 dependent: assign(pick_semantic_ratio, 3).
% 0.19/0.36 dependent: assign(sos_limit, 5000).
% 0.19/0.36 dependent: assign(max_weight, 60).
% 0.19/0.36 clear(print_given).
% 0.19/0.36
% 0.19/0.36 list(usable).
% 0.19/0.36
% 0.19/0.36 SCAN INPUT: prop=0, horn=1, equality=0, symmetry=0, max_lits=3.
% 0.19/0.36
% 0.19/0.36 This is a Horn set without equality. The strategy will
% 0.19/0.36 be hyperresolution, with satellites in sos and nuclei
% 0.19/0.36 in usable.
% 0.19/0.36
% 0.19/0.36 dependent: set(hyper_res).
% 0.19/0.36 dependent: clear(order_hyper).
% 0.19/0.36
% 0.19/0.36 ------------> process usable:
% 0.19/0.36
% 0.19/0.36 ------------> process sos:
% 0.19/0.36
% 0.19/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: 2
% 0.19/0.39 number of clauses initially in problem: 7
% 0.19/0.39 percentage of clauses intially in UL: 28
% 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: 5
% 0.19/0.39 distinct predicate count: 1
% 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 =========== start of search ===========
% 2.34/2.55
% 2.34/2.55
% 2.34/2.55 Changing weight limit from 60 to 28.
% 2.34/2.55
% 2.34/2.55 Model 2 (0.00 seconds, 0 Inserts)
% 2.34/2.55
% 2.34/2.55 Stopped by limit on number of solutions
% 2.34/2.55
% 2.34/2.55 Model 3 (0.00 seconds, 0 Inserts)
% 2.34/2.55
% 2.34/2.55 Stopped by limit on number of solutions
% 2.34/2.55
% 2.34/2.55 Stopped by limit on insertions
% 2.34/2.55
% 2.34/2.55 Model 4 (0.00 seconds, 0 Inserts)
% 2.34/2.55
% 2.34/2.55 Stopped by limit on number of solutions
% 2.34/2.55
% 2.34/2.55 Resetting weight limit to 28 after 185 givens.
% 2.34/2.55
% 11.69/11.90
% 11.69/11.90
% 11.69/11.90 Changing weight limit from 28 to 26.
% 11.69/11.90
% 11.69/11.90 Resetting weight limit to 26 after 375 givens.
% 11.69/11.90
% 11.84/12.06
% 11.84/12.06
% 11.84/12.06 Changing weight limit from 26 to 22.
% 11.84/12.06
% 11.84/12.06 Resetting weight limit to 22 after 380 givens.
% 11.84/12.06
% 12.64/12.89
% 12.64/12.89
% 12.64/12.89 Changing weight limit from 22 to 20.
% 12.64/12.89
% 12.64/12.89 Resetting weight limit to 20 after 395 givens.
% 12.64/12.89
% 123.32/123.58
% 123.32/123.58
% 123.32/123.58 Changing weight limit from 20 to 21.
% 123.32/123.58
% 123.32/123.58 Modelling stopped after 300 given clauses and 0.00 seconds
% 123.32/123.58
% 123.32/123.58
% 123.32/123.58 Resetting weight limit to 21 after 22225 givens.
% 123.32/123.58
% 123.32/123.58
% 123.32/123.58
% 123.32/123.58 Changing weight limit from 21 to 20.
% 123.32/123.58
% 123.32/123.58 Resetting weight limit to 20 after 22230 givens.
% 123.32/123.58
% 123.49/123.69
% 123.49/123.69
% 123.49/123.69 Changing weight limit from 20 to 21.
% 123.49/123.69
% 123.49/123.69 Resetting weight limit to 21 after 22265 givens.
% 123.49/123.69
% 123.49/123.70
% 123.49/123.70
% 123.49/123.70 Changing weight limit from 21 to 20.
% 123.49/123.70
% 123.49/123.70 Resetting weight limit to 20 after 22270 givens.
% 123.49/123.70
% 123.49/123.75
% 123.49/123.75
% 123.49/123.75 Changing weight limit from 20 to 21.
% 123.49/123.75
% 123.49/123.75 Resetting weight limit to 21 after 22285 givens.
% 123.49/123.75
% 123.49/123.76
% 123.49/123.76
% 123.49/123.76 Changing weight limit from 21 to 20.
% 123.49/123.76
% 123.49/123.76 Resetting weight limit to 20 after 22290 givens.
% 123.49/123.76
% 123.62/123.88
% 123.62/123.88
% 123.62/123.88 Changing weight limit from 20 to 21.
% 123.62/123.88
% 123.62/123.88 Resetting weight limit to 21 after 22325 givens.
% 123.62/123.88
% 123.62/123.89
% 123.62/123.89
% 123.62/123.89 Changing weight limit from 21 to 20.
% 123.62/123.89
% 123.62/123.89 Resetting weight limit to 20 after 22330 givens.
% 123.62/123.89
% 124.79/125.05
% 124.79/125.05
% 124.79/125.05 Changing weight limit from 20 to 21.
% 124.79/125.05
% 124.79/125.05 Resetting weight limit to 21 after 22485 givens.
% 124.79/125.05
% 124.88/125.09
% 124.88/125.09
% 124.88/125.09 Changing weight limit from 21 to 20.
% 124.88/125.09
% 124.88/125.09 Resetting weight limit to 20 after 22490 givens.
% 124.88/125.09
% 125.84/126.10
% 125.84/126.10
% 125.84/126.10 Changing weight limit from 20 to 21.
% 125.84/126.10
% 125.84/126.10 Resetting weight limit to 21 after 22725 givens.
% 125.84/126.10
% 125.84/126.11
% 125.84/126.11
% 125.84/126.11 Changing weight limit from 21 to 20.
% 125.84/126.11
% 125.84/126.11 Resetting weight limit to 20 after 22730 givens.
% 125.84/126.11
% 125.94/126.15
% 125.94/126.15
% 125.94/126.15 Changing weight limit from 20 to 21.
% 125.94/126.15
% 125.94/126.15 Resetting weight limit to 21 after 22745 givens.
% 125.94/126.15
% 125.94/126.16
% 125.94/126.16
% 125.94/126.16 Changing weight limit from 21 to 20.
% 125.94/126.16
% 125.94/126.16 Resetting weight limit to 20 after 22750 givens.
% 125.94/126.16
% 125.99/126.24
% 125.99/126.24
% 125.99/126.24 Changing weight limit from 20 to 21.
% 125.99/126.24
% 125.99/126.24 Resetting weight limit to 21 after 22785 givens.
% 125.99/126.24
% 125.99/126.24
% 125.99/126.24
% 125.99/126.24 Changing weight limit from 21 to 20.
% 125.99/126.24
% 125.99/126.24 Resetting weight limit to 20 after 22790 givens.
% 125.99/126.24
% 125.99/126.27
% 125.99/126.27
% 125.99/126.27 Changing weight limit from 20 to 21.
% 125.99/126.27
% 125.99/126.27 Resetting weight limit to 21 after 22805 givens.
% 125.99/126.27
% 125.99/126.27
% 125.99/126.27
% 125.99/126.27 Changing weight limit from 21 to 20.
% 125.99/126.27
% 125.99/126.27 Resetting weight limit to 20 after 22810 givens.
% 125.99/126.27
% 126.07/126.28
% 126.07/126.28
% 126.07/126.28 Changing weight limit from 20 to 21.
% 126.07/126.28
% 126.07/126.28 Resetting weight limit to 21 after 22825 givens.
% 126.07/126.28
% 126.08/126.28
% 126.08/126.28
% 126.08/126.28 Changing weight limit from 21 to 20.
% 126.08/126.28
% 126.08/126.28 Resetting weight limit to 20 after 22830 givens.
% 126.08/126.28
% 126.38/126.61
% 126.38/126.61
% 126.38/126.61 Changing weight limit from 20 to 21.
% 126.38/126.61
% 126.38/126.61 Resetting weight limit to 21 after 22865 givens.
% 126.38/126.61
% 126.43/126.62
% 126.43/126.62
% 126.43/126.62 Changing weight limit from 21 to 20.
% 126.43/126.62
% 126.43/126.62 Resetting weight limit to 20 after 22870 givens.
% 126.43/126.62
% 126.59/126.83
% 126.59/126.83
% 126.59/126.83 Changing weight limit from 20 to 21.
% 126.59/126.83
% 126.59/126.83 Resetting weight limit to 21 after 22905 givens.
% 126.59/126.83
% 126.59/126.85
% 126.59/126.85
% 126.59/126.85 Changing weight limit from 21 to 20.
% 126.59/126.85
% 126.59/126.85 Resetting weight limit to 20 after 22910 givens.
% 126.59/126.85
% 126.59/126.87
% 126.59/126.87
% 126.59/126.87 Changing weight limit from 20 to 21.
% 126.59/126.87
% 126.59/126.87 Resetting weight limit to 21 after 22925 givens.
% 126.59/126.87
% 126.59/126.87
% 126.59/126.87
% 126.59/126.87 Changing weight limit from 21 to 20.
% 126.59/126.87
% 126.59/126.87 Resetting weight limit to 20 after 22930 givens.
% 126.59/126.87
% 126.80/127.00
% 126.80/127.00
% 126.80/127.00 Changing weight limit from 20 to 21.
% 126.80/127.00
% 126.80/127.00 Resetting weight limit to 21 after 22965 givens.
% 126.80/127.00
% 126.80/127.00
% 126.80/127.00
% 126.80/127.00 Changing weight limit from 21 to 20.
% 126.80/127.00
% 126.80/127.00 Resetting weight limit to 20 after 22970 givens.
% 126.80/127.00
% 126.80/127.03
% 126.80/127.03
% 126.80/127.03 Changing weight limit from 20 to 21.
% 126.80/127.03
% 126.80/127.03 Resetting weight limit to 21 after 22985 givens.
% 126.80/127.03
% 126.80/127.04
% 126.80/127.04
% 126.80/127.04 Changing weight limit from 21 to 20.
% 126.80/127.04
% 126.80/127.04 Resetting weight limit to 20 after 22990 givens.
% 126.80/127.04
% 126.88/127.08
% 126.88/127.08
% 126.88/127.08 Changing weight limit from 20 to 21.
% 126.88/127.08
% 126.88/127.08 Resetting weight limit to 21 after 23005 givens.
% 126.88/127.08
% 126.88/127.09
% 126.88/127.09
% 126.88/127.09 Changing weight limit from 21 to 20.
% 126.88/127.09
% 126.88/127.09 Resetting weight limit to 20 after 23010 givens.
% 126.88/127.09
% 127.40/127.64
% 127.40/127.64
% 127.40/127.64 Changing weight limit from 20 to 21.
% 127.40/127.64
% 127.40/127.64 Resetting weight limit to 21 after 23125 givens.
% 127.40/127.64
% 127.40/127.67
% 127.40/127.67
% 127.40/127.67 Changing weight limit from 21 to 20.
% 127.40/127.67
% 127.40/127.67 Resetting weight limit to 20 after 23130 givens.
% 127.40/127.67
% 127.81/128.04
% 127.81/128.04
% 127.81/128.04 Changing weight limit from 20 to 21.
% 127.81/128.04
% 127.81/128.04 Resetting weight limit to 21 after 23205 givens.
% 127.81/128.04
% 127.81/128.05
% 127.81/128.05
% 127.81/128.05 Changing weight limit from 21 to 20.
% 127.81/128.05
% 127.81/128.05 Resetting weight limit to 20 after 23210 givens.
% 127.81/128.05
% 128.02/128.29
% 128.02/128.29
% 128.02/128.29 Changing weight limit from 20 to 21.
% 128.02/128.29
% 128.02/128.29 Resetting weight limit to 21 after 23265 givens.
% 128.02/128.29
% 128.02/128.30
% 128.02/128.30
% 128.02/128.30 Changing weight limit from 21 to 20.
% 128.02/128.30
% 128.02/128.30 Resetting weight limit to 20 after 23270 givens.
% 128.02/128.30
% 128.11/128.35
% 128.11/128.35
% 128.11/128.35 Changing weight limit from 20 to 21.
% 128.11/128.35
% 128.11/128.35 Resetting weight limit to 21 after 23285 givens.
% 128.11/128.35
% 128.11/128.36
% 128.11/128.36
% 128.11/128.36 Changing weight limit from 21 to 20.
% 128.11/128.36
% 128.11/128.36 Resetting weight limit to 20 after 23290 givens.
% 128.11/128.36
% 128.20/128.44
% 128.20/128.44
% 128.20/128.44 Changing weight limit from 20 to 21.
% 128.20/128.44
% 128.20/128.44 Resetting weight limit to 21 after 23305 givens.
% 128.20/128.44
% 128.20/128.45
% 128.20/128.45
% 128.20/128.45 Changing weight limit from 21 to 20.
% 128.20/128.45
% 128.20/128.45 Resetting weight limit to 20 after 23310 givens.
% 128.20/128.45
% 128.34/128.53
% 128.34/128.53
% 128.34/128.53 Changing weight limit from 20 to 21.
% 128.34/128.53
% 128.34/128.53 Resetting weight limit to 21 after 23345 givens.
% 128.34/128.53
% 128.34/128.55
% 128.34/128.55
% 128.34/128.55 Changing weight limit from 21 to 20.
% 128.34/128.55
% 128.34/128.55 Resetting weight limit to 20 after 23350 givens.
% 128.34/128.55
% 128.57/128.78
% 128.57/128.78
% 128.57/128.78 Changing weight limit from 20 to 21.
% 128.57/128.78
% 128.57/128.78 Resetting weight limit to 21 after 23365 givens.
% 128.57/128.78
% 128.64/128.84
% 128.64/128.84
% 128.64/128.84 Changing weight limit from 21 to 20.
% 128.64/128.84
% 128.64/128.84 Resetting weight limit to 20 after 23370 givens.
% 128.64/128.84
% 129.33/129.56
% 129.33/129.56
% 129.33/129.56 Changing weight limit from 20 to 21.
% 129.33/129.56
% 129.33/129.56 Resetting weight limit to 21 after 23485 givens.
% 129.33/129.56
% 129.33/129.56
% 129.33/129.56
% 129.33/129.56 Changing weight limit from 21 to 20.
% 129.33/129.56
% 129.33/129.56 Resetting weight limit to 20 after 23490 givens.
% 129.33/129.56
% 129.39/129.61
% 129.39/129.61
% 129.39/129.61 Changing weight limit from 20 to 21.
% 129.39/129.61
% 129.39/129.61 Resetting weight limit to 21 after 23505 givens.
% 129.39/129.61
% 129.39/129.62
% 129.39/129.62
% 129.39/129.62 Changing weight limit from 21 to 20.
% 129.39/129.62
% 129.39/129.62 Resetting weight limit to 20 after 23510 givens.
% 129.39/129.62
% 129.39/129.64
% 129.39/129.64
% 129.39/129.64 Changing weight limit from 20 to 21.
% 129.39/129.64
% 129.39/129.64 Resetting weight limit to 21 after 23525 givens.
% 129.39/129.64
% 129.39/129.65
% 129.39/129.65
% 129.39/129.65 Changing weight limit from 21 to 20.
% 129.39/129.65
% 129.39/129.65 Resetting weight limit to 20 after 23530 givens.
% 129.39/129.65
% 129.52/129.73
% 129.52/129.73
% 129.52/129.73 Changing weight limit from 20 to 21.
% 129.52/129.73
% 129.52/129.73 Resetting weight limit to 21 after 23545 givens.
% 129.52/129.73
% 129.54/129.75
% 129.54/129.75
% 129.54/129.75 Changing weight limit from 21 to 20.
% 129.54/129.75
% 129.54/129.75 Resetting weight limit to 20 after 23550 givens.
% 129.54/129.75
% 129.54/129.81
% 129.54/129.81
% 129.54/129.81 Changing weight limit from 20 to 21.
% 129.54/129.81
% 129.54/129.81 Resetting weight limit to 21 after 23565 givens.
% 129.54/129.81
% 129.62/129.82
% 129.62/129.82
% 129.62/129.82 Changing weight limit from 21 to 20.
% 129.62/129.82
% 129.62/129.82 Resetting weight limit to 20 after 23570 givens.
% 129.62/129.82
% 130.00/130.21
% 130.00/130.21
% 130.00/130.21 Changing weight limit from 20 to 21.
% 130.00/130.21
% 130.00/130.21 Resetting weight limit to 21 after 23665 givens.
% 130.00/130.21
% 130.00/130.21
% 130.00/130.21
% 130.00/130.21 Changing weight limit from 21 to 20.
% 130.00/130.21
% 130.00/130.21 Resetting weight limit to 20 after 23670 givens.
% 130.00/130.21
% 130.21/130.43
% 130.21/130.43
% 130.21/130.43 Changing weight limit from 20 to 21.
% 130.21/130.43
% 130.21/130.43 Resetting weight limit to 21 after 23725 givens.
% 130.21/130.43
% 130.21/130.44
% 130.21/130.44
% 130.21/130.44 Changing weight limit from 21 to 20.
% 130.21/130.44
% 130.21/130.44 Resetting weight limit to 20 after 23730 givens.
% 130.21/130.44
% 130.28/130.49
% 130.28/130.49
% 130.28/130.49 Changing weight limit from 20 to 21.
% 130.28/130.49
% 130.28/130.49 Resetting weight limit to 21 after 23745 givens.
% 130.28/130.49
% 130.28/130.50
% 130.28/130.50
% 130.28/130.50 Changing weight limit from 21 to 20.
% 130.28/130.50
% 130.28/130.50 Resetting weight limit to 20 after 23750 givens.
% 130.28/130.50
% 131.22/131.46
% 131.22/131.46
% 131.22/131.46 Changing weight limit from 20 to 21.
% 131.22/131.46
% 131.22/131.46 Resetting weight limit to 21 after 23865 givens.
% 131.22/131.46
% 131.30/131.50
% 131.30/131.50
% 131.30/131.50 Changing weight limit from 21 to 20.
% 131.30/131.50
% 131.30/131.50 Resetting weight limit to 20 after 23870 givens.
% 131.30/131.50
% 131.42/131.68
% 131.42/131.68
% 131.42/131.68 Changing weight limit from 20 to 21.
% 131.42/131.68
% 131.42/131.68 Resetting weight limit to 21 after 23885 givens.
% 131.42/131.68
% 131.42/131.69
% 131.42/131.69
% 131.42/131.69 Changing weight limit from 21 to 20.
% 131.42/131.69
% 131.42/131.69 Resetting weight limit to 20 after 23890 givens.
% 131.42/131.69
% 131.60/131.84
% 131.60/131.84
% 131.60/131.84 Changing weight limit from 20 to 21.
% 131.60/131.84
% 131.60/131.84 Resetting weight limit to 21 after 23925 givens.
% 131.60/131.84
% 131.60/131.86
% 131.60/131.86
% 131.60/131.86 Changing weight limit from 21 to 20.
% 131.60/131.86
% 131.60/131.86 Resetting weight limit to 20 after 23930 givens.
% 131.60/131.86
% 131.71/131.91
% 131.71/131.91
% 131.71/131.91 Changing weight limit from 20 to 21.
% 131.71/131.91
% 131.71/131.91 Resetting weight limit to 21 after 23945 givens.
% 131.71/131.91
% 131.73/131.93
% 131.73/131.93
% 131.73/131.93 Changing weight limit from 21 to 20.
% 131.73/131.93
% 131.73/131.93 Resetting weight limit to 20 after 23950 givens.
% 131.73/131.93
% 132.94/133.17
% 132.94/133.17
% 132.94/133.17 Changing weight limit from 20 to 21.
% 132.94/133.17
% 132.94/133.17 Resetting weight limit to 21 after 24065 givens.
% 132.94/133.17
% 132.94/133.17
% 132.94/133.17
% 132.94/133.17 Changing weight limit from 21 to 20.
% 132.94/133.17
% 132.94/133.17 Resetting weight limit to 20 after 24070 givens.
% 132.94/133.17
% 133.08/133.30
% 133.08/133.30
% 133.08/133.30 Changing weight limit from 20 to 21.
% 133.08/133.30
% 133.08/133.30 Resetting weight limit to 21 after 24085 givens.
% 133.08/133.30
% 133.08/133.31
% 133.08/133.31
% 133.08/133.31 Changing weight limit from 21 to 20.
% 133.08/133.31
% 133.08/133.31 Resetting weight limit to 20 after 24090 givens.
% 133.08/133.31
% 133.24/133.44
% 133.24/133.44
% 133.24/133.44 Changing weight limit from 20 to 21.
% 133.24/133.44
% 133.24/133.44 Resetting weight limit to 21 after 24125 givens.
% 133.24/133.44
% 133.24/133.45
% 133.24/133.45
% 133.24/133.45 Changing weight limit from 21 to 20.
% 133.24/133.45
% 133.24/133.45 Resetting weight limit to 20 after 24130 givens.
% 133.24/133.45
% 133.32/133.53
% 133.32/133.53
% 133.32/133.53 Changing weight limit from 20 to 21.
% 133.32/133.53
% 133.32/133.53 Resetting weight limit to 21 after 24145 givens.
% 133.32/133.53
% 133.32/133.55
% 133.32/133.55
% 133.32/133.55 Changing weight limit from 21 to 20.
% 133.32/133.55
% 133.32/133.55 Resetting weight limit to 20 after 24150 givens.
% 133.32/133.55
% 133.62/133.87
% 133.62/133.87
% 133.62/133.87 Changing weight limit from 20 to 21.
% 133.62/133.87
% 133.62/133.87 Resetting weight limit to 21 after 24185 givens.
% 133.62/133.87
% 133.70/133.94
% 133.70/133.94
% 133.70/133.94 Changing weight limit from 21 to 20.
% 133.70/133.94
% 133.70/133.94 Resetting weight limit to 20 after 24190 givens.
% 133.70/133.94
% 134.02/134.27
% 134.02/134.27
% 134.02/134.27 Changing weight limit from 20 to 21.
% 134.02/134.27
% 134.02/134.27 Resetting weight limit to 21 after 24225 givens.
% 134.02/134.27
% 134.02/134.28
% 134.02/134.28
% 134.02/134.28 Changing weight limit from 21 to 20.
% 134.02/134.28
% 134.02/134.28 Resetting weight limit to 20 after 24230 givens.
% 134.02/134.28
% 134.20/134.40
% 134.20/134.40
% 134.20/134.40 Changing weight limit from 20 to 21.
% 134.20/134.40
% 134.20/134.40 Resetting weight limit to 21 after 24245 givens.
% 134.20/134.40
% 134.30/134.50
% 134.30/134.50
% 134.30/134.50 Changing weight limit from 21 to 20.
% 134.30/134.50
% 134.30/134.50 Resetting weight limit to 20 after 24250 givens.
% 134.30/134.50
% 134.71/134.90
% 134.71/134.90
% 134.71/134.90 Changing weight limit from 20 to 21.
% 134.71/134.90
% 134.71/134.90 Resetting weight limit to 21 after 24325 givens.
% 134.71/134.90
% 134.71/134.92
% 134.71/134.92
% 134.71/134.92 Changing weight limit from 21 to 20.
% 134.71/134.92
% 134.71/134.92 Resetting weight limit to 20 after 24330 givens.
% 134.71/134.92
% 134.92/135.13
% 134.92/135.13
% 134.92/135.13 Changing weight limit from 20 to 21.
% 134.92/135.13
% 134.92/135.13 Resetting weight limit to 21 after 24385 givens.
% 134.92/135.13
% 134.92/135.15
% 134.92/135.15
% 134.92/135.15 Changing weight limit from 21 to 20.
% 134.92/135.15
% 134.92/135.15 Resetting weight limit to 20 after 24390 givens.
% 134.92/135.15
% 134.92/135.19
% 134.92/135.19
% 134.92/135.19 Changing weight limit from 20 to 21.
% 134.92/135.19
% 134.92/135.19 Resetting weight limit to 21 after 24405 givens.
% 134.92/135.19
% 135.02/135.22
% 135.02/135.22
% 135.02/135.22 Changing weight limit from 21 to 20.
% 135.02/135.22
% 135.02/135.22 Resetting weight limit to 20 after 24410 givens.
% 135.02/135.22
% 135.02/135.27
% 135.02/135.27
% 135.02/135.27 Changing weight limit from 20 to 21.
% 135.02/135.27
% 135.02/135.27 Resetting weight limit to 21 after 24425 givens.
% 135.02/135.27
% 135.09/135.30
% 135.09/135.30
% 135.09/135.30 Changing weight limit from 21 to 20.
% 135.09/135.30
% 135.09/135.30 Resetting weight limit to 20 after 24430 givens.
% 135.09/135.30
% 135.09/135.36
% 135.09/135.36
% 135.09/135.36 Changing weight limit from 20 to 21.
% 135.09/135.36
% 135.09/135.36 Resetting weight limit to 21 after 24445 givens.
% 135.09/135.36
% 135.09/135.36
% 135.09/135.36
% 135.09/135.36 Changing weight limit from 21 to 20.
% 135.09/135.36
% 135.09/135.36 Resetting weight limit to 20 after 24450 givens.
% 135.09/135.36
% 135.21/135.41
% 135.21/135.41
% 135.21/135.41 Changing weight limit from 20 to 21.
% 135.21/135.41
% 135.21/135.41 Resetting weight limit to 21 after 24465 givens.
% 135.21/135.41
% 135.23/135.42
% 135.23/135.42
% 135.23/135.42 Changing weight limit from 21 to 20.
% 135.23/135.42
% 135.23/135.42 Resetting weight limit to 20 after 24470 givens.
% 135.23/135.42
% 135.39/135.65
% 135.39/135.65
% 135.39/135.65 Changing weight limit from 20 to 21.
% 135.39/135.65
% 135.39/135.65 Resetting weight limit to 21 after 24505 givens.
% 135.39/135.65
% 135.39/135.67
% 135.39/135.67
% 135.39/135.67 Changing weight limit from 21 to 20.
% 135.39/135.67
% 135.39/135.67 Resetting weight limit to 20 after 24510 givens.
% 135.39/135.67
% 135.62/135.85
% 135.62/135.85
% 135.62/135.85 Changing weight limit from 20 to 21.
% 135.62/135.85
% 135.62/135.85 Resetting weight limit to 21 after 24545 givens.
% 135.62/135.85
% 135.68/135.88
% 135.68/135.88
% 135.68/135.88 Changing weight limit from 21 to 20.
% 135.68/135.88
% 135.68/135.88 Resetting weight limit to 20 after 24550 givens.
% 135.68/135.88
% 135.77/135.96
% 135.77/135.96
% 135.77/135.96 Changing weight limit from 20 to 21.
% 135.77/135.96
% 135.77/135.96 Resetting weight limit to 21 after 24565 givens.
% 135.77/135.96
% 135.77/135.98
% 135.77/135.98
% 135.77/135.98 Changing weight limit from 21 to 20.
% 135.77/135.98
% 135.77/135.98 Resetting weight limit to 20 after 24570 givens.
% 135.77/135.98
% 135.82/136.03
% 135.82/136.03
% 135.82/136.03 Changing weight limit from 20 to 21.
% 135.82/136.03
% 135.82/136.03 Resetting weight limit to 21 after 24585 givens.
% 135.82/136.03
% 135.84/136.04
% 135.84/136.04
% 135.84/136.04 Changing weight limit from 21 to 20.
% 135.84/136.04
% 135.84/136.04 Resetting weight limit to 20 after 24590 givens.
% 135.84/136.04
% 135.84/136.07
% 135.84/136.07
% 135.84/136.07 Changing weight limit from 20 to 21.
% 135.84/136.07
% 135.84/136.07 Resetting weight limit to 21 after 24605 givens.
% 135.84/136.07
% 135.84/136.08
% 135.84/136.08
% 135.84/136.08 Changing weight limit from 21 to 20.
% 135.84/136.08
% 135.84/136.08 Resetting weight limit to 20 after 24610 givens.
% 135.84/136.08
% 135.84/136.11
% 135.84/136.11
% 135.84/136.11 Changing weight limit from 20 to 21.
% 135.84/136.11
% 135.84/136.11 Resetting weight limit to 21 after 24625 givens.
% 135.84/136.11
% 135.93/136.13
% 135.93/136.13
% 135.93/136.13 Changing weight limit from 21 to 20.
% 135.93/136.13
% 135.93/136.13 Resetting weight limit to 20 after 24630 givens.
% 135.93/136.13
% 135.99/136.21
% 135.99/136.21
% 135.99/136.21 Changing weight limit from 20 to 21.
% 135.99/136.21
% 135.99/136.21 Resetting weight limit to 21 after 24645 givens.
% 135.99/136.21
% 135.99/136.27
% 135.99/136.27
% 135.99/136.27 Changing weight limit from 21 to 20.
% 135.99/136.27
% 135.99/136.27 Resetting weight limit to 20 after 24650 givens.
% 135.99/136.27
% 136.15/136.35
% 136.15/136.35
% 136.15/136.35 Changing weight limit from 20 to 21.
% 136.15/136.35
% 136.15/136.35 Resetting weight limit to 21 after 24685 givens.
% 136.15/136.35
% 136.15/136.36
% 136.15/136.36
% 136.15/136.36 Changing weight limit from 21 to 20.
% 136.15/136.36
% 136.15/136.36 Resetting weight limit to 20 after 24690 givens.
% 136.15/136.36
% 136.72/136.93
% 136.72/136.93
% 136.72/136.93 Changing weight limit from 20 to 21.
% 136.72/136.93
% 136.72/136.93 Resetting weight limit to 21 after 24785 givens.
% 136.72/136.93
% 136.72/136.93
% 136.72/136.93
% 136.72/136.93 Changing weight limit from 21 to 20.
% 136.72/136.93
% 136.72/136.93 Resetting weight limit to 20 after 24790 givens.
% 136.72/136.93
% 136.74/136.98
% 136.74/136.98
% 136.74/136.98 Changing weight limit from 20 to 21.
% 136.74/136.98
% 136.74/136.98 Resetting weight limit to 21 after 24805 givens.
% 136.74/136.98
% 136.74/136.99
% 136.74/136.99
% 136.74/136.99 Changing weight limit from 21 to 20.
% 136.74/136.99
% 136.74/136.99 Resetting weight limit to 20 after 24810 givens.
% 136.74/136.99
% 136.84/137.04
% 136.84/137.04
% 136.84/137.04 Changing weight limit from 20 to 21.
% 136.84/137.04
% 136.84/137.04 Resetting weight limit to 21 after 24825 givens.
% 136.84/137.04
% 136.84/137.05
% 136.84/137.05
% 136.84/137.05 Changing weight limit from 21 to 20.
% 136.84/137.05
% 136.84/137.05 Resetting weight limit to 20 after 24830 givens.
% 136.84/137.05
% 136.90/137.10
% 136.90/137.10
% 136.90/137.10 Changing weight limit from 20 to 21.
% 136.90/137.10
% 136.90/137.10 Resetting weight limit to 21 after 24845 givens.
% 136.90/137.10
% 136.90/137.11
% 136.90/137.11
% 136.90/137.11 Changing weight limit from 21 to 20.
% 136.90/137.11
% 136.90/137.11 Resetting weight limit to 20 after 24850 givens.
% 136.90/137.11
% 136.90/137.14
% 136.90/137.14
% 136.90/137.14 Changing weight limit from 20 to 21.
% 136.90/137.14
% 136.90/137.14 Resetting weight limit to 21 after 24865 givens.
% 136.90/137.14
% 136.97/137.16
% 136.97/137.16
% 136.97/137.16 Changing weight limit from 21 to 20.
% 136.97/137.16
% 136.97/137.16 Resetting weight limit to 20 after 24870 givens.
% 136.97/137.16
% 137.03/137.21
% 137.03/137.21
% 137.03/137.21 Changing weight limit from 20 to 21.
% 137.03/137.21
% 137.03/137.21 Resetting weight limit to 21 after 24885 givens.
% 137.03/137.21
% 137.03/137.23
% 137.03/137.23
% 137.03/137.23 Changing weight limit from 21 to 20.
% 137.03/137.23
% 137.03/137.23 Resetting weight limit to 20 after 24890 givens.
% 137.03/137.23
% 137.05/137.27
% 137.05/137.27
% 137.05/137.27 Changing weight limit from 20 to 21.
% 137.05/137.27
% 137.05/137.27 Resetting weight limit to 21 after 24905 givens.
% 137.05/137.27
% 137.05/137.29
% 137.05/137.29
% 137.05/137.29 Changing weight limit from 21 to 20.
% 137.05/137.29
% 137.05/137.29 Resetting weight limit to 20 after 24910 givens.
% 137.05/137.29
% 137.14/137.38
% 137.14/137.38
% 137.14/137.38 Changing weight limit from 20 to 21.
% 137.14/137.38
% 137.14/137.38 Resetting weight limit to 21 after 24945 givens.
% 137.14/137.38
% 137.14/137.39
% 137.14/137.39
% 137.14/137.39 Changing weight limit from 21 to 20.
% 137.14/137.39
% 137.14/137.39 Resetting weight limit to 20 after 24950 givens.
% 137.14/137.39
% 137.29/137.48
% 137.29/137.48
% 137.29/137.48 Changing weight limit from 20 to 21.
% 137.29/137.48
% 137.29/137.48 Resetting weight limit to 21 after 25005 givens.
% 137.29/137.48
% 137.33/137.53
% 137.33/137.53
% 137.33/137.53 Changing weight limit from 21 to 20.
% 137.33/137.53
% 137.33/137.53 Resetting weight limit to 20 after 25010 givens.
% 137.33/137.53
% 137.33/137.57
% 137.33/137.57
% 137.33/137.57 Changing weight limit from 20 to 21.
% 137.33/137.57
% 137.33/137.57 Resetting weight limit to 21 after 25025 givens.
% 137.33/137.57
% 137.33/137.57
% 137.33/137.57
% 137.33/137.57 Changing weight limit from 21 to 20.
% 137.33/137.57
% 137.33/137.57 Resetting weight limit to 20 after 25030 givens.
% 137.33/137.57
% 137.41/137.65
% 137.41/137.65
% 137.41/137.65 Changing weight limit from 20 to 21.
% 137.41/137.65
% 137.41/137.65 Resetting weight limit to 21 after 25065 givens.
% 137.41/137.65
% 137.41/137.66
% 137.41/137.66
% 137.41/137.66 Changing weight limit from 21 to 20.
% 137.41/137.66
% 137.41/137.66 Resetting weight limit to 20 after 25070 givens.
% 137.41/137.66
% 137.50/137.70
% 137.50/137.70
% 137.50/137.70 Changing weight limit from 20 to 21.
% 137.50/137.70
% 137.50/137.70 Resetting weight limit to 21 after 25085 givens.
% 137.50/137.70
% 137.59/137.79
% 137.59/137.79
% 137.59/137.79 Changing weight limit from 21 to 20.
% 137.59/137.79
% 137.59/137.79 Resetting weight limit to 20 after 25090 givens.
% 137.59/137.79
% 142.49/142.67
% 142.49/142.67
% 142.49/142.67 Changing weight limit from 20 to 21.
% 142.49/142.67
% 142.49/142.67 Resetting weight limit to 21 after 26125 givens.
% 142.49/142.67
% 142.49/142.68
% 142.49/142.68
% 142.49/142.68 Changing weight limit from 21 to 20.
% 142.49/142.68
% 142.49/142.68 Resetting weight limit to 20 after 26130 givens.
% 142.49/142.68
% 142.49/142.74
% 142.49/142.74
% 142.49/142.74 Changing weight limit from 20 to 21.
% 142.49/142.74
% 142.49/142.74 Resetting weight limit to 21 after 26145 givens.
% 142.49/142.74
% 142.57/142.76
% 142.57/142.76
% 142.57/142.76 Changing weight limit from 21 to 20.
% 142.57/142.76
% 142.57/142.76 Resetting weight limit to 20 after 26150 givens.
% 142.57/142.76
% 147.54/147.77
% 147.54/147.77
% 147.54/147.77 Changing weight limit from 20 to 21.
% 147.54/147.77
% 147.54/147.77 Resetting weight limit to 21 after 27280 givens.
% 147.54/147.77
% 147.54/147.78
% 147.54/147.78
% 147.54/147.78 Changing weight limit from 21 to 20.
% 147.54/147.78
% 147.54/147.78 Resetting weight limit to 20 after 27285 givens.
% 147.54/147.78
% 148.41/148.62
% 148.41/148.62
% 148.41/148.62 Changing weight limit from 20 to 21.
% 148.41/148.62
% 148.41/148.62 Resetting weight limit to 21 after 27815 givens.
% 148.41/148.62
% 148.41/148.66
% 148.41/148.66
% 148.41/148.66 Changing weight limit from 21 to 22.
% 148.41/148.66
% 148.41/148.66 Resetting weight limit to 22 after 27820 givens.
% 148.41/148.66
% 156.59/156.77
% 156.59/156.77
% 156.59/156.77 Changing weight limit from 22 to 23.
% 156.59/156.77
% 156.59/156.77 Resetting weight limit to 23 after 30510 givens.
% 156.59/156.77
% 156.60/156.80
% 156.60/156.80
% 156.60/156.80 Changing weight limit from 23 to 22.
% 156.60/156.80
% 156.60/156.80 Resetting weight limit to 22 after 30515 givens.
% 156.60/156.80
% 156.64/156.83
% 156.64/156.83
% 156.64/156.83 Changing weight limit from 22 to 23.
% 156.64/156.83
% 156.64/156.83 Resetting weight limit to 23 after 30525 givens.
% 156.64/156.83
% 156.64/156.83
% 156.64/156.83
% 156.64/156.83 Changing weight limit from 23 to 24.
% 156.64/156.83
% 156.64/156.83 Resetting weight limit to 24 after 30530 givens.
% 156.64/156.83
% 156.64/156.84
% 156.64/156.84
% 156.64/156.84 Changing weight limit from 24 to 25.
% 156.64/156.84
% 156.64/156.84 Resetting weight limit to 25 after 30535 givens.
% 156.64/156.84
% 156.65/156.85
% 156.65/156.85
% 156.65/156.85 Changing weight limit from 25 to 24.
% 156.65/156.85
% 156.65/156.85 Resetting weight limit to 24 after 30540 givens.
% 156.65/156.85
% 165.88/166.15
% 165.88/166.15
% 165.88/166.15 Changing weight limit from 24 to 25.
% 165.88/166.15
% 165.88/166.15 Resetting weight limit to 25 after 33100 givens.
% 165.88/166.15
% 165.88/166.15
% 165.88/166.15
% 165.88/166.15 Changing weight limit from 25 to 26.
% 165.88/166.15
% 165.88/166.15 Resetting weight limit to 26 after 33105 givens.
% 165.88/166.15
% 166.00/166.19
% 166.00/166.19
% 166.00/166.19 Changing weight limit from 26 to 27.
% 166.00/166.19
% 166.00/166.19 Resetting weight limit to 27 after 33110 givens.
% 166.00/166.19
% 166.04/166.22
% 166.04/166.22
% 166.04/166.22 Changing weight limit from 27 to 26.
% 166.04/166.22
% 166.04/166.22 Resetting weight limit to 26 after 33115 givens.
% 166.04/166.22
% 180.55/180.82
% 180.55/180.82
% 180.55/180.82 Changing weight limit from 26 to 27.
% 180.55/180.82
% 180.55/180.82 Resetting weight limit to 27 after 35630 givens.
% 180.55/180.82
% 180.55/180.82
% 180.55/180.82
% 180.55/180.82 Changing weight limit from 27 to 28.
% 180.55/180.82
% 180.55/180.82 Resetting weight limit to 28 after 35635 givens.
% 180.55/180.82
% 180.64/180.86
% 180.64/180.86
% 180.64/180.86 Changing weight limit from 28 to 29.
% 180.64/180.86
% 180.64/180.86 Resetting weight limit to 29 after 35640 givens.
% 180.64/180.86
% 180.70/180.90
% 180.70/180.90
% 180.70/180.90 Changing weight limit from 29 to 30.
% 180.70/180.90
% 180.70/180.90 Resetting weight limit to 30 after 35645 givens.
% 180.70/180.90
% 180.81/181.00
% 180.81/181.00
% 180.81/181.00 Changing weight limit from 30 to 28.
% 180.81/181.00
% 180.81/181.00 Resetting weight limit to 28 after 35650 givens.
% 180.81/181.00
% 200.43/200.70
% 200.43/200.70
% 200.43/200.70 Changing weight limit from 28 to 29.
% 200.43/200.70
% 200.43/200.70 Resetting weight limit to 29 after 38140 givens.
% 200.43/200.70
% 200.43/200.71
% 200.43/200.71
% 200.43/200.71 Changing weight limit from 29 to 30.
% 200.43/200.71
% 200.43/200.71 Resetting weight limit to 30 after 38145 givens.
% 200.43/200.71
% 200.52/200.74
% 200.52/200.74
% 200.52/200.74 Changing weight limit from 30 to 31.
% 200.52/200.74
% 200.52/200.74 Resetting weight limit to 31 after 38150 givens.
% 200.52/200.74
% 200.52/200.78
% 200.52/200.78
% 200.52/200.78 Changing weight limit from 31 to 32.
% 200.52/200.78
% 200.52/200.78 Resetting weight limit to 32 after 38155 givens.
% 200.52/200.78
% 200.70/200.89
% 200.70/200.89
% 200.70/200.89 Changing weight limit from 32 to 30.
% 200.70/200.89
% 200.70/200.89 Resetting weight limit to 30 after 38160 givens.
% 200.70/200.89
% 222.21/222.46
% 222.21/222.46
% 222.21/222.46 Changing weight limit from 30 to 31.
% 222.21/222.46
% 222.21/222.46 Resetting weight limit to 31 after 40685 givens.
% 222.21/222.46
% 222.29/222.49
% 222.29/222.49
% 222.29/222.49 Changing weight limit from 31 to 30.
% 222.29/222.49
% 222.29/222.49 Resetting weight limit to 30 after 40690 givens.
% 222.29/222.49
% 222.29/222.55
% 222.29/222.55
% 222.29/222.55 Changing weight limit from 30 to 31.
% 222.29/222.55
% 222.29/222.55 Resetting weight limit to 31 after 40705 givens.
% 222.29/222.55
% 222.29/222.55
% 222.29/222.55
% 222.29/222.55 Changing weight limit from 31 to 32.
% 222.29/222.55
% 222.29/222.55 Resetting weight limit to 32 after 40710 givens.
% 222.29/222.55
% 222.39/222.59
% 222.39/222.59
% 222.39/222.59 Changing weight limit from 32 to 33.
% 222.39/222.59
% 222.39/222.59 Resetting weight limit to 33 after 40715 givens.
% 222.39/222.59
% 222.42/222.63
% 222.42/222.63
% 222.42/222.63 Changing weight limit from 33 to 34.
% 222.42/222.63
% 222.42/222.63 Resetting weight limit to 34 after 40720 givens.
% 222.42/222.63
% 222.60/222.81
% 222.60/222.81
% 222.60/222.81 Changing weight limit from 34 to 32.
% 222.60/222.81
% 222.60/222.81 Resetting weight limit to 32 after 40730 givens.
% 222.60/222.81
% 244.81/245.03
% 244.81/245.03
% 244.81/245.03 Changing weight limit from 32 to 33.
% 244.81/245.03
% 244.81/245.03 Resetting weight limit to 33 after 43225 givens.
% 244.81/245.03
% 244.81/245.03
% 244.81/245.03
% 244.81/245.03 Changing weight limit from 33 to 34.
% 244.81/245.03
% 244.81/245.03 Resetting weight limit to 34 after 43230 givens.
% 244.81/245.03
% 244.81/245.07
% 244.81/245.07
% 244.81/245.07 Changing weight limit from 34 to 35.
% 244.81/245.07
% 244.81/245.07 Resetting weight limit to 35 after 43235 givens.
% 244.81/245.07
% 244.88/245.11
% 244.88/245.11
% 244.88/245.11 Changing weight limit from 35 to 34.
% 244.88/245.11
% 244.88/245.11 Resetting weight limit to 34 after 43240 givens.
% 244.88/245.11
% 267.48/267.73
% 267.48/267.73
% 267.48/267.73 Changing weight limit from 34 to 35.
% 267.48/267.73
% 267.48/267.73 Resetting weight limit to 35 after 45730 givens.
% 267.48/267.73
% 267.48/267.73
% 267.48/267.73
% 267.48/267.73 Changing weight limit from 35 to 36.
% 267.48/267.73
% 267.48/267.74 Resetting weight limit to 36 after 45735 givens.
% 267.48/267.74
% 267.55/267.77
% 267.55/267.77
% 267.55/267.77 Changing weight limit from 36 to 37.
% 267.55/267.77
% 267.55/267.77 Resetting weight limit to 37 after 45740 givens.
% 267.55/267.77
% 267.55/267.81
% 267.55/267.81
% 267.55/267.81 Changing weight limit from 37 to 38.
% 267.55/267.81
% 267.55/267.81 Resetting weight limit to 38 after 45745 givens.
% 267.55/267.81
% 267.81/268.04
% 267.81/268.04
% 267.81/268.04 Changing weight limit from 38 to 36.
% 267.81/268.04
% 267.81/268.04 Resetting weight limit to 36 after 45750 givens.
% 267.81/268.04
% 289.72/289.98
% 289.72/289.98
% 289.72/289.98 Changing weight limit from 36 to 37.
% 289.72/289.98
% 289.72/289.98 Resetting weight limit to 37 after 48235 givens.
% 289.72/289.98
% 289.72/289.98
% 289.72/289.98
% 289.72/289.98 Changing weight limit from 37 to 38.
% 289.72/289.98
% 289.72/289.98 Resetting weight limit to 38 after 48240 givens.
% 289.72/289.98
% 289.78/290.02
% 289.78/290.02
% 289.78/290.02 Changing weight limit from 38 to 39.
% 289.78/290.02
% 289.78/290.02 Resetting weight limit to 39 after 48245 givens.
% 289.78/290.02
% 289.84/290.06
% 289.84/290.06
% 289.84/290.06 Changing weight limit from 39 to 40.
% 289.84/290.06
% 289.84/290.06 Resetting weight limit to 40 after 48250 givens.
% 289.84/290.06
% 290.07/290.35
% 290.07/290.35
% 290.07/290.35 Changing weight limit from 40 to 38.
% 290.07/290.35
% 290.07/290.35 Resetting weight limit to 38 after 48255 givens.
% 290.07/290.35
% 300.05/300.28 Wow, sos-wrapper got a signal XCPU
%------------------------------------------------------------------------------