TSTP Solution File: SYO732+1 by SOS---2.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : SOS---2.0
% Problem : SYO732+1 : TPTP v8.1.0. Released v7.4.0.
% Transfm : none
% Format : tptp:raw
% Command : sos-script %s
% Computer : n023.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 : Thu Jul 21 19:50:36 EDT 2022
% Result : Timeout 292.04s 292.20s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : SYO732+1 : TPTP v8.1.0. Released v7.4.0.
% 0.07/0.12 % Command : sos-script %s
% 0.12/0.33 % Computer : n023.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Sat Jul 9 10:08:55 EDT 2022
% 0.12/0.33 % CPUTime :
% 0.12/0.35 ----- Otter 3.2, August 2001 -----
% 0.12/0.35 The process was started by sandbox2 on n023.cluster.edu,
% 0.12/0.35 Sat Jul 9 10:08:55 2022
% 0.12/0.35 The command was "./sos". The process ID is 25075.
% 0.12/0.35
% 0.12/0.35 set(prolog_style_variables).
% 0.12/0.35 set(auto).
% 0.12/0.35 dependent: set(auto1).
% 0.12/0.35 dependent: set(process_input).
% 0.12/0.35 dependent: clear(print_kept).
% 0.12/0.35 dependent: clear(print_new_demod).
% 0.12/0.35 dependent: clear(print_back_demod).
% 0.12/0.35 dependent: clear(print_back_sub).
% 0.12/0.35 dependent: set(control_memory).
% 0.12/0.35 dependent: assign(max_mem, 12000).
% 0.12/0.35 dependent: assign(pick_given_ratio, 4).
% 0.12/0.35 dependent: assign(stats_level, 1).
% 0.12/0.35 dependent: assign(pick_semantic_ratio, 3).
% 0.12/0.35 dependent: assign(sos_limit, 5000).
% 0.12/0.35 dependent: assign(max_weight, 60).
% 0.12/0.35 clear(print_given).
% 0.12/0.35
% 0.12/0.35 formula_list(usable).
% 0.12/0.35
% 0.12/0.35 SCAN INPUT: prop=0, horn=0, equality=0, symmetry=0, max_lits=5.
% 0.12/0.35
% 0.12/0.35 This is a non-Horn set without equality. The strategy
% 0.12/0.35 will be ordered hyper_res, ur_res, unit deletion, and
% 0.12/0.35 factoring, with satellites in sos and nuclei in usable.
% 0.12/0.35
% 0.12/0.35 dependent: set(hyper_res).
% 0.12/0.35 dependent: set(factor).
% 0.12/0.35 dependent: set(unit_deletion).
% 0.12/0.35
% 0.12/0.35 ------------> process usable:
% 0.12/0.35
% 0.12/0.35 ------------> process sos:
% 0.12/0.35
% 0.12/0.35 ======= end of input processing =======
% 0.12/0.38
% 0.12/0.38 Model 1 (0.00 seconds, 0 Inserts)
% 0.12/0.38
% 0.12/0.38 Stopped by limit on number of solutions
% 0.12/0.38
% 0.12/0.38
% 0.12/0.38 -------------- Softie stats --------------
% 0.12/0.38
% 0.12/0.38 UPDATE_STOP: 300
% 0.12/0.38 SFINDER_TIME_LIMIT: 2
% 0.12/0.38 SHORT_CLAUSE_CUTOFF: 4
% 0.12/0.38 number of clauses in intial UL: 17
% 0.12/0.38 number of clauses initially in problem: 24
% 0.12/0.38 percentage of clauses intially in UL: 70
% 0.12/0.38 percentage of distinct symbols occuring in initial UL: 88
% 0.12/0.38 percent of all initial clauses that are short: 100
% 0.12/0.38 absolute distinct symbol count: 17
% 0.12/0.38 distinct predicate count: 1
% 0.12/0.38 distinct function count: 7
% 0.12/0.38 distinct constant count: 9
% 0.12/0.38
% 0.12/0.38 ---------- no more Softie stats ----------
% 0.12/0.38
% 0.12/0.38
% 0.12/0.38
% 0.12/0.38 =========== start of search ===========
% 15.00/15.20
% 15.00/15.20
% 15.00/15.20 Changing weight limit from 60 to 22.
% 15.00/15.20
% 15.00/15.20 Stopped by limit on insertions
% 15.00/15.20
% 15.00/15.20 Stopped by limit on insertions
% 15.00/15.20
% 15.00/15.20 Stopped by limit on insertions
% 15.00/15.20
% 15.00/15.20 Stopped by limit on insertions
% 15.00/15.20
% 15.00/15.20 Stopped by limit on insertions
% 15.00/15.20
% 15.00/15.20 Stopped by limit on insertions
% 15.00/15.20
% 15.00/15.20 Stopped by limit on insertions
% 15.00/15.20
% 15.00/15.20 Stopped by limit on insertions
% 15.00/15.20
% 15.00/15.20 Stopped by limit on insertions
% 15.00/15.20
% 15.00/15.20 Stopped by limit on insertions
% 15.00/15.20
% 15.00/15.20 Stopped by limit on insertions
% 15.00/15.20
% 15.00/15.20 Stopped by limit on insertions
% 15.00/15.20
% 15.00/15.20 Stopped by limit on insertions
% 15.00/15.20
% 15.00/15.20 Stopped by limit on insertions
% 15.00/15.20
% 15.00/15.20 Stopped by limit on insertions
% 15.00/15.20
% 15.00/15.20 Stopped by limit on insertions
% 15.00/15.20
% 15.00/15.20 Stopped by limit on insertions
% 15.00/15.20
% 15.00/15.20 Stopped by limit on insertions
% 15.00/15.20
% 15.00/15.20 Stopped by limit on insertions
% 15.00/15.20
% 15.00/15.20 Stopped by limit on insertions
% 15.00/15.20
% 15.00/15.20 Stopped by limit on insertions
% 15.00/15.20
% 15.00/15.20 Stopped by limit on insertions
% 15.00/15.20
% 15.00/15.20 Stopped by limit on insertions
% 15.00/15.20
% 15.00/15.20 Stopped by limit on insertions
% 15.00/15.20
% 15.00/15.20 Stopped by limit on insertions
% 15.00/15.20
% 15.00/15.20 Stopped by limit on insertions
% 15.00/15.20
% 15.00/15.20 Stopped by limit on insertions
% 15.00/15.20
% 15.00/15.20 Resetting weight limit to 22 after 180 givens.
% 15.00/15.20
% 15.42/15.60
% 15.42/15.60
% 15.42/15.60 Changing weight limit from 22 to 23.
% 15.42/15.60
% 15.42/15.60 Resetting weight limit to 23 after 185 givens.
% 15.42/15.60
% 15.86/16.04
% 15.86/16.04
% 15.86/16.04 Changing weight limit from 23 to 24.
% 15.86/16.04
% 15.86/16.04 Resetting weight limit to 24 after 190 givens.
% 15.86/16.04
% 16.00/16.18
% 16.00/16.18
% 16.00/16.18 Changing weight limit from 24 to 21.
% 16.00/16.18
% 16.00/16.18 Resetting weight limit to 21 after 195 givens.
% 16.00/16.18
% 16.07/16.29
% 16.07/16.29
% 16.07/16.29 Changing weight limit from 21 to 20.
% 16.07/16.29
% 16.07/16.29 Resetting weight limit to 20 after 200 givens.
% 16.07/16.29
% 16.16/16.39
% 16.16/16.39
% 16.16/16.39 Changing weight limit from 20 to 19.
% 16.16/16.39
% 16.16/16.39 Resetting weight limit to 19 after 205 givens.
% 16.16/16.39
% 17.14/17.33
% 17.14/17.33
% 17.14/17.33 Changing weight limit from 19 to 17.
% 17.14/17.33
% 17.14/17.33 Stopped by limit on insertions
% 17.14/17.33
% 17.14/17.33 Resetting weight limit to 17 after 215 givens.
% 17.14/17.33
% 18.05/18.25
% 18.05/18.25
% 18.05/18.25 Changing weight limit from 17 to 16.
% 18.05/18.25
% 18.05/18.25 Stopped by limit on insertions
% 18.05/18.25
% 18.05/18.25 Resetting weight limit to 16 after 225 givens.
% 18.05/18.25
% 18.27/18.47
% 18.27/18.47
% 18.27/18.47 Changing weight limit from 16 to 15.
% 18.27/18.47
% 18.27/18.47 Resetting weight limit to 15 after 235 givens.
% 18.27/18.47
% 18.27/18.50
% 18.27/18.50
% 18.27/18.50 Changing weight limit from 15 to 14.
% 18.27/18.50
% 18.27/18.50 Resetting weight limit to 14 after 240 givens.
% 18.27/18.50
% 20.54/20.73
% 20.54/20.73
% 20.54/20.73 Changing weight limit from 14 to 13.
% 20.54/20.73
% 20.54/20.73 Stopped by limit on insertions
% 20.54/20.73
% 20.54/20.73 Stopped by limit on insertions
% 20.54/20.73
% 20.54/20.73 Resetting weight limit to 13 after 250 givens.
% 20.54/20.73
% 24.86/25.06
% 24.86/25.06
% 24.86/25.06 Changing weight limit from 13 to 12.
% 24.86/25.06
% 24.86/25.06 Stopped by limit on insertions
% 24.86/25.06
% 24.86/25.06 Stopped by limit on insertions
% 24.86/25.06
% 24.86/25.06 Stopped by limit on insertions
% 24.86/25.06
% 24.86/25.06 Stopped by limit on insertions
% 24.86/25.06
% 24.86/25.06 Resetting weight limit to 12 after 265 givens.
% 24.86/25.06
% 27.83/28.00
% 27.83/28.00
% 27.83/28.00 Changing weight limit from 12 to 11.
% 27.83/28.00
% 27.83/28.00 Stopped by limit on insertions
% 27.83/28.00
% 27.83/28.00 Stopped by limit on insertions
% 27.83/28.00
% 27.83/28.00 Stopped by limit on insertions
% 27.83/28.00
% 27.83/28.00 Resetting weight limit to 11 after 280 givens.
% 27.83/28.00
% 29.82/30.01
% 29.82/30.01
% 29.82/30.01 Changing weight limit from 11 to 10.
% 29.82/30.01
% 29.82/30.01 Stopped by limit on insertions
% 29.82/30.01
% 29.82/30.01 Modelling stopped after 300 given clauses and 0.00 seconds
% 29.82/30.01
% 29.82/30.01
% 29.82/30.01 Resetting weight limit to 10 after 300 givens.
% 29.82/30.01
% 29.94/30.11
% 29.94/30.11
% 29.94/30.11 Changing weight limit from 10 to 11.
% 29.94/30.11
% 29.94/30.11 Resetting weight limit to 11 after 315 givens.
% 29.94/30.11
% 29.94/30.13
% 29.94/30.13
% 29.94/30.13 Changing weight limit from 11 to 12.
% 29.94/30.13
% 29.94/30.13 Resetting weight limit to 12 after 320 givens.
% 29.94/30.13
% 29.94/30.14
% 29.94/30.14
% 29.94/30.14 Changing weight limit from 12 to 13.
% 29.94/30.14
% 29.94/30.14 Resetting weight limit to 13 after 325 givens.
% 29.94/30.14
% 29.94/30.15
% 29.94/30.15
% 29.94/30.15 Changing weight limit from 13 to 14.
% 29.94/30.15
% 29.94/30.15 Resetting weight limit to 14 after 330 givens.
% 29.94/30.15
% 29.94/30.16
% 29.94/30.16
% 29.94/30.16 Changing weight limit from 14 to 15.
% 29.94/30.16
% 29.94/30.16 Resetting weight limit to 15 after 335 givens.
% 29.94/30.16
% 30.03/30.24
% 30.03/30.24
% 30.03/30.24 Changing weight limit from 15 to 11.
% 30.03/30.24
% 30.03/30.24 Resetting weight limit to 11 after 340 givens.
% 30.03/30.24
% 30.03/30.26
% 30.03/30.26
% 30.03/30.26 Changing weight limit from 11 to 10.
% 30.03/30.26
% 30.03/30.26 Resetting weight limit to 10 after 350 givens.
% 30.03/30.26
% 30.25/30.44
% 30.25/30.44
% 30.25/30.44 Changing weight limit from 10 to 9.
% 30.25/30.44
% 30.25/30.44 Resetting weight limit to 9 after 410 givens.
% 30.25/30.44
% 30.35/30.53
% 30.35/30.53
% 30.35/30.53 Changing weight limit from 9 to 10.
% 30.35/30.53
% 30.35/30.53 Resetting weight limit to 10 after 430 givens.
% 30.35/30.53
% 30.35/30.54
% 30.35/30.54
% 30.35/30.54 Changing weight limit from 10 to 11.
% 30.35/30.54
% 30.35/30.54 Resetting weight limit to 11 after 435 givens.
% 30.35/30.54
% 30.35/30.55
% 30.35/30.55
% 30.35/30.55 Changing weight limit from 11 to 10.
% 30.35/30.55
% 30.35/30.55 Resetting weight limit to 10 after 440 givens.
% 30.35/30.55
% 30.35/30.56
% 30.35/30.56
% 30.35/30.56 Changing weight limit from 10 to 9.
% 30.35/30.56
% 30.35/30.56 Resetting weight limit to 9 after 445 givens.
% 30.35/30.56
% 30.82/31.00
% 30.82/31.00
% 30.82/31.00 Changing weight limit from 9 to 8.
% 30.82/31.00
% 30.82/31.00 Resetting weight limit to 8 after 580 givens.
% 30.82/31.00
% 31.26/31.47
% 31.26/31.47
% 31.26/31.47 Changing weight limit from 8 to 9.
% 31.26/31.47
% 31.26/31.47 Resetting weight limit to 9 after 760 givens.
% 31.26/31.47
% 31.26/31.49
% 31.26/31.49
% 31.26/31.49 Changing weight limit from 9 to 7.
% 31.26/31.49
% 31.26/31.49 Resetting weight limit to 7 after 765 givens.
% 31.26/31.49
% 31.44/31.61
% 31.44/31.61
% 31.44/31.61 Changing weight limit from 7 to 8.
% 31.44/31.61
% 31.44/31.61 Resetting weight limit to 8 after 795 givens.
% 31.44/31.61
% 31.47/31.68
% 31.47/31.68
% 31.47/31.68 Changing weight limit from 8 to 7.
% 31.47/31.68
% 31.47/31.68 Resetting weight limit to 7 after 810 givens.
% 31.47/31.68
% 31.56/31.76
% 31.56/31.76
% 31.56/31.76 Changing weight limit from 7 to 8.
% 31.56/31.76
% 31.56/31.76 Resetting weight limit to 8 after 835 givens.
% 31.56/31.76
% 31.62/31.85
% 31.62/31.85
% 31.62/31.85 Changing weight limit from 8 to 7.
% 31.62/31.85
% 31.62/31.85 Resetting weight limit to 7 after 860 givens.
% 31.62/31.85
% 31.70/31.87
% 31.70/31.87
% 31.70/31.87 Changing weight limit from 7 to 8.
% 31.70/31.87
% 31.70/31.87 Resetting weight limit to 8 after 880 givens.
% 31.70/31.87
% 31.70/31.88
% 31.70/31.88
% 31.70/31.88 Changing weight limit from 8 to 7.
% 31.70/31.88
% 31.70/31.88 Resetting weight limit to 7 after 890 givens.
% 31.70/31.88
% 31.70/31.89
% 31.70/31.89
% 31.70/31.89 Changing weight limit from 7 to 8.
% 31.70/31.89
% 31.70/31.89 Resetting weight limit to 8 after 900 givens.
% 31.70/31.89
% 31.70/31.89
% 31.70/31.89
% 31.70/31.89 Changing weight limit from 8 to 7.
% 31.70/31.89
% 31.70/31.89 Resetting weight limit to 7 after 905 givens.
% 31.70/31.89
% 31.70/31.90
% 31.70/31.90
% 31.70/31.90 Changing weight limit from 7 to 8.
% 31.70/31.90
% 31.70/31.90 Resetting weight limit to 8 after 910 givens.
% 31.70/31.90
% 31.92/32.14
% 31.92/32.14
% 31.92/32.14 Changing weight limit from 8 to 7.
% 31.92/32.14
% 31.92/32.14 Resetting weight limit to 7 after 1065 givens.
% 31.92/32.14
% 32.02/32.21
% 32.02/32.21
% 32.02/32.21 Changing weight limit from 7 to 8.
% 32.02/32.21
% 32.02/32.21 Resetting weight limit to 8 after 1085 givens.
% 32.02/32.21
% 32.20/32.42
% 32.20/32.42
% 32.20/32.42 Changing weight limit from 8 to 9.
% 32.20/32.42
% 32.20/32.42 Resetting weight limit to 9 after 1145 givens.
% 32.20/32.42
% 32.20/32.42
% 32.20/32.42
% 32.20/32.42 Changing weight limit from 9 to 8.
% 32.20/32.42
% 32.20/32.42 Resetting weight limit to 8 after 1150 givens.
% 32.20/32.42
% 32.38/32.59
% 32.38/32.59
% 32.38/32.59 Changing weight limit from 8 to 7.
% 32.38/32.59
% 32.38/32.59 Resetting weight limit to 7 after 1180 givens.
% 32.38/32.59
% 32.38/32.60
% 32.38/32.60
% 32.38/32.60 Changing weight limit from 7 to 8.
% 32.38/32.60
% 32.38/32.60 Resetting weight limit to 8 after 1190 givens.
% 32.38/32.60
% 32.38/32.61
% 32.38/32.61
% 32.38/32.61 Changing weight limit from 8 to 7.
% 32.38/32.61
% 32.38/32.61 Resetting weight limit to 7 after 1195 givens.
% 32.38/32.61
% 32.38/32.61
% 32.38/32.61
% 32.38/32.61 Changing weight limit from 7 to 8.
% 32.38/32.61
% 32.38/32.61 Resetting weight limit to 8 after 1200 givens.
% 32.38/32.61
% 32.44/32.61
% 32.44/32.61
% 32.44/32.61 Changing weight limit from 8 to 7.
% 32.44/32.61
% 32.44/32.61 Resetting weight limit to 7 after 1205 givens.
% 32.44/32.61
% 32.44/32.62
% 32.44/32.62
% 32.44/32.62 Changing weight limit from 7 to 8.
% 32.44/32.62
% 32.44/32.62 Resetting weight limit to 8 after 1210 givens.
% 32.44/32.62
% 32.51/32.70
% 32.51/32.70
% 32.51/32.70 Changing weight limit from 8 to 9.
% 32.51/32.70
% 32.51/32.70 Resetting weight limit to 9 after 1295 givens.
% 32.51/32.70
% 32.51/32.72
% 32.51/32.72
% 32.51/32.72 Changing weight limit from 9 to 8.
% 32.51/32.72
% 32.51/32.72 Resetting weight limit to 8 after 1310 givens.
% 32.51/32.72
% 32.66/32.87
% 32.66/32.87
% 32.66/32.87 Changing weight limit from 8 to 7.
% 32.66/32.87
% 32.66/32.87 Resetting weight limit to 7 after 1330 givens.
% 32.66/32.87
% 32.66/32.88
% 32.66/32.88
% 32.66/32.88 Changing weight limit from 7 to 8.
% 32.66/32.88
% 32.66/32.88 Resetting weight limit to 8 after 1335 givens.
% 32.66/32.88
% 32.90/33.11
% 32.90/33.11
% 32.90/33.11 Changing weight limit from 8 to 7.
% 32.90/33.11
% 32.90/33.11 Resetting weight limit to 7 after 1525 givens.
% 32.90/33.11
% 32.90/33.15
% 32.90/33.15
% 32.90/33.15 Changing weight limit from 7 to 8.
% 32.90/33.15
% 32.90/33.15 Resetting weight limit to 8 after 1545 givens.
% 32.90/33.15
% 33.06/33.24
% 33.06/33.24
% 33.06/33.24 Changing weight limit from 8 to 7.
% 33.06/33.24
% 33.06/33.24 Resetting weight limit to 7 after 1630 givens.
% 33.06/33.24
% 33.06/33.24
% 33.06/33.24
% 33.06/33.24 Changing weight limit from 7 to 8.
% 33.06/33.24
% 33.06/33.24 Resetting weight limit to 8 after 1635 givens.
% 33.06/33.24
% 33.06/33.26
% 33.06/33.26
% 33.06/33.26 Changing weight limit from 8 to 7.
% 33.06/33.26
% 33.06/33.26 Resetting weight limit to 7 after 1650 givens.
% 33.06/33.26
% 33.06/33.27
% 33.06/33.27
% 33.06/33.27 Changing weight limit from 7 to 8.
% 33.06/33.27
% 33.06/33.27 Resetting weight limit to 8 after 1665 givens.
% 33.06/33.27
% 33.06/33.30
% 33.06/33.30
% 33.06/33.30 Changing weight limit from 8 to 7.
% 33.06/33.30
% 33.06/33.30 Resetting weight limit to 7 after 1675 givens.
% 33.06/33.30
% 33.14/33.33
% 33.14/33.33
% 33.14/33.33 Changing weight limit from 7 to 8.
% 33.14/33.33
% 33.14/33.33 Resetting weight limit to 8 after 1685 givens.
% 33.14/33.33
% 33.21/33.42
% 33.21/33.42
% 33.21/33.42 Changing weight limit from 8 to 7.
% 33.21/33.42
% 33.21/33.42 Resetting weight limit to 7 after 1770 givens.
% 33.21/33.42
% 33.35/33.56
% 33.35/33.56
% 33.35/33.56 Changing weight limit from 7 to 8.
% 33.35/33.56
% 33.35/33.56 Resetting weight limit to 8 after 1910 givens.
% 33.35/33.56
% 33.35/33.61
% 33.35/33.61
% 33.35/33.61 Changing weight limit from 8 to 7.
% 33.35/33.61
% 33.35/33.61 Resetting weight limit to 7 after 1955 givens.
% 33.35/33.61
% 33.53/33.71
% 33.53/33.71
% 33.53/33.71 Changing weight limit from 7 to 8.
% 33.53/33.71
% 33.53/33.71 Resetting weight limit to 8 after 2040 givens.
% 33.53/33.71
% 33.53/33.72
% 33.53/33.72
% 33.53/33.72 Changing weight limit from 8 to 7.
% 33.53/33.72
% 33.53/33.72 Resetting weight limit to 7 after 2050 givens.
% 33.53/33.72
% 33.53/33.73
% 33.53/33.73
% 33.53/33.73 Changing weight limit from 7 to 8.
% 33.53/33.73
% 33.53/33.73 Resetting weight limit to 8 after 2065 givens.
% 33.53/33.73
% 33.53/33.74
% 33.53/33.74
% 33.53/33.74 Changing weight limit from 8 to 7.
% 33.53/33.74
% 33.53/33.74 Resetting weight limit to 7 after 2070 givens.
% 33.53/33.74
% 33.74/33.93
% 33.74/33.93
% 33.74/33.93 Changing weight limit from 7 to 8.
% 33.74/33.93
% 33.74/33.93 Resetting weight limit to 8 after 2200 givens.
% 33.74/33.93
% 33.74/33.94
% 33.74/33.94
% 33.74/33.94 Changing weight limit from 8 to 7.
% 33.74/33.94
% 33.74/33.94 Resetting weight limit to 7 after 2205 givens.
% 33.74/33.94
% 34.02/34.20
% 34.02/34.20
% 34.02/34.20 Changing weight limit from 7 to 8.
% 34.02/34.20
% 34.02/34.20 Resetting weight limit to 8 after 2435 givens.
% 34.02/34.20
% 34.02/34.20
% 34.02/34.20
% 34.02/34.20 Changing weight limit from 8 to 7.
% 34.02/34.20
% 34.02/34.20 Resetting weight limit to 7 after 2440 givens.
% 34.02/34.20
% 34.02/34.21
% 34.02/34.21
% 34.02/34.21 Changing weight limit from 7 to 8.
% 34.02/34.21
% 34.02/34.21 Resetting weight limit to 8 after 2445 givens.
% 34.02/34.21
% 34.02/34.23
% 34.02/34.23
% 34.02/34.23 Changing weight limit from 8 to 7.
% 34.02/34.23
% 34.02/34.23 Resetting weight limit to 7 after 2465 givens.
% 34.02/34.23
% 34.11/34.30
% 34.11/34.30
% 34.11/34.30 Changing weight limit from 7 to 8.
% 34.11/34.30
% 34.11/34.30 Resetting weight limit to 8 after 2510 givens.
% 34.11/34.30
% 34.13/34.30
% 34.13/34.30
% 34.13/34.30 Changing weight limit from 8 to 7.
% 34.13/34.30
% 34.13/34.30 Resetting weight limit to 7 after 2515 givens.
% 34.13/34.30
% 34.24/34.48
% 34.24/34.48
% 34.24/34.48 Changing weight limit from 7 to 8.
% 34.24/34.48
% 34.24/34.48 Resetting weight limit to 8 after 2645 givens.
% 34.24/34.48
% 34.32/34.51
% 34.32/34.51
% 34.32/34.51 Changing weight limit from 8 to 7.
% 34.32/34.51
% 34.32/34.51 Resetting weight limit to 7 after 2670 givens.
% 34.32/34.51
% 34.41/34.58
% 34.41/34.58
% 34.41/34.58 Changing weight limit from 7 to 8.
% 34.41/34.58
% 34.41/34.58 Resetting weight limit to 8 after 2725 givens.
% 34.41/34.58
% 34.45/34.63
% 34.45/34.63
% 34.45/34.63 Changing weight limit from 8 to 7.
% 34.45/34.63
% 34.45/34.63 Resetting weight limit to 7 after 2740 givens.
% 34.45/34.63
% 34.56/34.77
% 34.56/34.77
% 34.56/34.77 Changing weight limit from 7 to 8.
% 34.56/34.77
% 34.56/34.77 Resetting weight limit to 8 after 2860 givens.
% 34.56/34.77
% 34.56/34.78
% 34.56/34.78
% 34.56/34.78 Changing weight limit from 8 to 7.
% 34.56/34.78
% 34.56/34.78 Resetting weight limit to 7 after 2870 givens.
% 34.56/34.78
% 34.56/34.78
% 34.56/34.78
% 34.56/34.78 Changing weight limit from 7 to 8.
% 34.56/34.78
% 34.56/34.78 Resetting weight limit to 8 after 2875 givens.
% 34.56/34.78
% 35.62/35.81
% 35.62/35.81
% 35.62/35.81 Changing weight limit from 8 to 7.
% 35.62/35.81
% 35.62/35.81 Resetting weight limit to 7 after 3050 givens.
% 35.62/35.81
% 35.67/35.88
% 35.67/35.88
% 35.67/35.88 Changing weight limit from 7 to 8.
% 35.67/35.88
% 35.67/35.88 Resetting weight limit to 8 after 3075 givens.
% 35.67/35.88
% 35.67/35.89
% 35.67/35.89
% 35.67/35.89 Changing weight limit from 8 to 9.
% 35.67/35.89
% 35.67/35.89 Resetting weight limit to 9 after 3080 givens.
% 35.67/35.89
% 35.67/35.90
% 35.67/35.90
% 35.67/35.90 Changing weight limit from 9 to 8.
% 35.67/35.90
% 35.67/35.90 Resetting weight limit to 8 after 3085 givens.
% 35.67/35.90
% 36.56/36.77
% 36.56/36.77
% 36.56/36.77 Changing weight limit from 8 to 7.
% 36.56/36.77
% 36.56/36.77 Resetting weight limit to 7 after 3310 givens.
% 36.56/36.77
% 36.72/36.98
% 36.72/36.98
% 36.72/36.98 Changing weight limit from 7 to 8.
% 36.72/36.98
% 36.72/36.98 Resetting weight limit to 8 after 3320 givens.
% 36.72/36.98
% 36.85/37.06
% 36.85/37.06
% 36.85/37.06 Changing weight limit from 8 to 7.
% 36.85/37.06
% 36.85/37.06 Resetting weight limit to 7 after 3325 givens.
% 36.85/37.06
% 37.01/37.20
% 37.01/37.20
% 37.01/37.20 Changing weight limit from 7 to 8.
% 37.01/37.20
% 37.01/37.20 Resetting weight limit to 8 after 3340 givens.
% 37.01/37.20
% 37.25/37.42
% 37.25/37.42
% 37.25/37.42 Changing weight limit from 8 to 7.
% 37.25/37.42
% 37.25/37.42 Resetting weight limit to 7 after 3445 givens.
% 37.25/37.42
% 37.45/37.69
% 37.45/37.69
% 37.45/37.69 Changing weight limit from 7 to 8.
% 37.45/37.69
% 37.45/37.69 Resetting weight limit to 8 after 3575 givens.
% 37.45/37.69
% 37.45/37.70
% 37.45/37.70
% 37.45/37.70 Changing weight limit from 8 to 7.
% 37.45/37.70
% 37.45/37.70 Resetting weight limit to 7 after 3580 givens.
% 37.45/37.70
% 37.55/37.75
% 37.55/37.75
% 37.55/37.75 Changing weight limit from 7 to 8.
% 37.55/37.75
% 37.55/37.75 Resetting weight limit to 8 after 3620 givens.
% 37.55/37.75
% 37.55/37.75
% 37.55/37.75
% 37.55/37.75 Changing weight limit from 8 to 7.
% 37.55/37.75
% 37.55/37.75 Resetting weight limit to 7 after 3625 givens.
% 37.55/37.75
% 37.64/37.80
% 37.64/37.80
% 37.64/37.80 Changing weight limit from 7 to 8.
% 37.64/37.80
% 37.64/37.80 Resetting weight limit to 8 after 3665 givens.
% 37.64/37.80
% 42.23/42.42
% 42.23/42.42
% 42.23/42.42 Changing weight limit from 8 to 9.
% 42.23/42.42
% 42.23/42.42 Resetting weight limit to 9 after 5615 givens.
% 42.23/42.42
% 42.23/42.43
% 42.23/42.43
% 42.23/42.43 Changing weight limit from 9 to 8.
% 42.23/42.43
% 42.23/42.43 Resetting weight limit to 8 after 5620 givens.
% 42.23/42.43
% 44.04/44.24
% 44.04/44.24
% 44.04/44.24 Changing weight limit from 8 to 9.
% 44.04/44.24
% 44.04/44.24 Resetting weight limit to 9 after 6240 givens.
% 44.04/44.24
% 44.04/44.25
% 44.04/44.25
% 44.04/44.25 Changing weight limit from 9 to 8.
% 44.04/44.25
% 44.04/44.25 Resetting weight limit to 8 after 6245 givens.
% 44.04/44.25
% 44.57/44.78
% 44.57/44.78
% 44.57/44.78 Changing weight limit from 8 to 9.
% 44.57/44.78
% 44.57/44.78 Resetting weight limit to 9 after 6490 givens.
% 44.57/44.78
% 44.57/44.79
% 44.57/44.79
% 44.57/44.79 Changing weight limit from 9 to 8.
% 44.57/44.79
% 44.57/44.79 Resetting weight limit to 8 after 6495 givens.
% 44.57/44.79
% 45.02/45.19
% 45.02/45.19
% 45.02/45.19 Changing weight limit from 8 to 9.
% 45.02/45.19
% 45.02/45.19 Resetting weight limit to 9 after 6620 givens.
% 45.02/45.19
% 45.09/45.30
% 45.09/45.30
% 45.09/45.30 Changing weight limit from 9 to 8.
% 45.09/45.30
% 45.09/45.30 Resetting weight limit to 8 after 6650 givens.
% 45.09/45.30
% 45.22/45.40
% 45.22/45.40
% 45.22/45.40 Changing weight limit from 8 to 9.
% 45.22/45.40
% 45.22/45.40 Resetting weight limit to 9 after 6700 givens.
% 45.22/45.40
% 45.22/45.42
% 45.22/45.42
% 45.22/45.42 Changing weight limit from 9 to 8.
% 45.22/45.42
% 45.22/45.42 Resetting weight limit to 8 after 6705 givens.
% 45.22/45.42
% 45.22/45.43
% 45.22/45.43
% 45.22/45.43 Changing weight limit from 8 to 9.
% 45.22/45.43
% 45.22/45.43 Resetting weight limit to 9 after 6710 givens.
% 45.22/45.43
% 51.84/52.06
% 51.84/52.06
% 51.84/52.06 Changing weight limit from 9 to 10.
% 51.84/52.06
% 51.84/52.06 Resetting weight limit to 10 after 9280 givens.
% 51.84/52.06
% 51.91/52.07
% 51.91/52.07
% 51.91/52.07 Changing weight limit from 10 to 9.
% 51.91/52.07
% 51.91/52.07 Resetting weight limit to 9 after 9285 givens.
% 51.91/52.07
% 54.33/54.54
% 54.33/54.54
% 54.33/54.54 Changing weight limit from 9 to 10.
% 54.33/54.54
% 54.33/54.54 Resetting weight limit to 10 after 10000 givens.
% 54.33/54.54
% 54.33/54.55
% 54.33/54.55
% 54.33/54.55 Changing weight limit from 10 to 9.
% 54.33/54.55
% 54.33/54.55 Resetting weight limit to 9 after 10005 givens.
% 54.33/54.55
% 56.31/56.48
% 56.31/56.48
% 56.31/56.48 Changing weight limit from 9 to 10.
% 56.31/56.48
% 56.31/56.48 Resetting weight limit to 10 after 10395 givens.
% 56.31/56.48
% 56.31/56.49
% 56.31/56.49
% 56.31/56.49 Changing weight limit from 10 to 9.
% 56.31/56.49
% 56.31/56.49 Resetting weight limit to 9 after 10400 givens.
% 56.31/56.49
% 57.57/57.81
% 57.57/57.81
% 57.57/57.81 Changing weight limit from 9 to 10.
% 57.57/57.81
% 57.57/57.81 Resetting weight limit to 10 after 10890 givens.
% 57.57/57.81
% 57.66/57.82
% 57.66/57.82
% 57.66/57.82 Changing weight limit from 10 to 9.
% 57.66/57.82
% 57.66/57.82 Resetting weight limit to 9 after 10895 givens.
% 57.66/57.82
% 58.34/58.54
% 58.34/58.54
% 58.34/58.54 Changing weight limit from 9 to 10.
% 58.34/58.54
% 58.34/58.54 Resetting weight limit to 10 after 10970 givens.
% 58.34/58.54
% 76.63/76.86
% 76.63/76.86
% 76.63/76.86 Changing weight limit from 10 to 11.
% 76.63/76.86
% 76.63/76.86 Resetting weight limit to 11 after 14655 givens.
% 76.63/76.86
% 91.93/92.09
% 91.93/92.09
% 91.93/92.09 Changing weight limit from 11 to 12.
% 91.93/92.09
% 91.93/92.09 Resetting weight limit to 12 after 17755 givens.
% 91.93/92.09
% 91.94/92.10
% 91.94/92.10
% 91.94/92.10 Changing weight limit from 12 to 11.
% 91.94/92.10
% 91.94/92.10 Resetting weight limit to 11 after 17760 givens.
% 91.94/92.10
% 97.97/98.20
% 97.97/98.20
% 97.97/98.20 Changing weight limit from 11 to 12.
% 97.97/98.20
% 97.97/98.20 Resetting weight limit to 12 after 18885 givens.
% 97.97/98.20
% 98.07/98.22
% 98.07/98.22
% 98.07/98.22 Changing weight limit from 12 to 11.
% 98.07/98.22
% 98.07/98.22 Resetting weight limit to 11 after 18890 givens.
% 98.07/98.22
% 98.13/98.30
% 98.13/98.30
% 98.13/98.30 Changing weight limit from 11 to 12.
% 98.13/98.30
% 98.13/98.30 Resetting weight limit to 12 after 18920 givens.
% 98.13/98.30
% 98.13/98.32
% 98.13/98.32
% 98.13/98.32 Changing weight limit from 12 to 11.
% 98.13/98.32
% 98.13/98.32 Resetting weight limit to 11 after 18925 givens.
% 98.13/98.32
% 98.26/98.42
% 98.26/98.42
% 98.26/98.42 Changing weight limit from 11 to 12.
% 98.26/98.42
% 98.26/98.42 Resetting weight limit to 12 after 18960 givens.
% 98.26/98.42
% 98.27/98.44
% 98.27/98.44
% 98.27/98.44 Changing weight limit from 12 to 11.
% 98.27/98.44
% 98.27/98.44 Resetting weight limit to 11 after 18965 givens.
% 98.27/98.44
% 98.27/98.51
% 98.27/98.51
% 98.27/98.51 Changing weight limit from 11 to 12.
% 98.27/98.51
% 98.27/98.51 Resetting weight limit to 12 after 18990 givens.
% 98.27/98.51
% 98.37/98.53
% 98.37/98.53
% 98.37/98.53 Changing weight limit from 12 to 11.
% 98.37/98.53
% 98.37/98.53 Resetting weight limit to 11 after 18995 givens.
% 98.37/98.53
% 103.89/104.07
% 103.89/104.07
% 103.89/104.07 Changing weight limit from 11 to 12.
% 103.89/104.07
% 103.89/104.07 Resetting weight limit to 12 after 20145 givens.
% 103.89/104.07
% 103.89/104.09
% 103.89/104.09
% 103.89/104.09 Changing weight limit from 12 to 11.
% 103.89/104.09
% 103.89/104.09 Resetting weight limit to 11 after 20150 givens.
% 103.89/104.09
% 103.94/104.13
% 103.94/104.13
% 103.94/104.13 Changing weight limit from 11 to 12.
% 103.94/104.13
% 103.94/104.13 Resetting weight limit to 12 after 20165 givens.
% 103.94/104.13
% 104.00/104.15
% 104.00/104.15
% 104.00/104.15 Changing weight limit from 12 to 11.
% 104.00/104.15
% 104.00/104.15 Resetting weight limit to 11 after 20170 givens.
% 104.00/104.15
% 104.10/104.34
% 104.10/104.34
% 104.10/104.34 Changing weight limit from 11 to 12.
% 104.10/104.34
% 104.10/104.34 Resetting weight limit to 12 after 20210 givens.
% 104.10/104.34
% 104.19/104.35
% 104.19/104.35
% 104.19/104.35 Changing weight limit from 12 to 11.
% 104.19/104.35
% 104.19/104.35 Resetting weight limit to 11 after 20215 givens.
% 104.19/104.35
% 104.19/104.38
% 104.19/104.38
% 104.19/104.38 Changing weight limit from 11 to 12.
% 104.19/104.38
% 104.19/104.38 Resetting weight limit to 12 after 20225 givens.
% 104.19/104.38
% 128.41/128.58
% 128.41/128.58
% 128.41/128.58 Changing weight limit from 12 to 13.
% 128.41/128.58
% 128.41/128.58 Resetting weight limit to 13 after 24285 givens.
% 128.41/128.58
% 128.41/128.59
% 128.41/128.59
% 128.41/128.59 Changing weight limit from 13 to 12.
% 128.41/128.59
% 128.41/128.59 Resetting weight limit to 12 after 24290 givens.
% 128.41/128.59
% 128.58/128.79
% 128.58/128.79
% 128.58/128.79 Changing weight limit from 12 to 13.
% 128.58/128.79
% 128.58/128.79 Resetting weight limit to 13 after 24350 givens.
% 128.58/128.79
% 128.65/128.80
% 128.65/128.80
% 128.65/128.80 Changing weight limit from 13 to 12.
% 128.65/128.80
% 128.65/128.80 Resetting weight limit to 12 after 24355 givens.
% 128.65/128.80
% 132.47/132.63
% 132.47/132.63
% 132.47/132.63 Changing weight limit from 12 to 13.
% 132.47/132.63
% 132.47/132.63 Resetting weight limit to 13 after 25025 givens.
% 132.47/132.63
% 132.47/132.65
% 132.47/132.65
% 132.47/132.65 Changing weight limit from 13 to 12.
% 132.47/132.65
% 132.47/132.65 Resetting weight limit to 12 after 25030 givens.
% 132.47/132.65
% 132.47/132.67
% 132.47/132.67
% 132.47/132.67 Changing weight limit from 12 to 13.
% 132.47/132.67
% 132.47/132.67 Resetting weight limit to 13 after 25035 givens.
% 132.47/132.67
% 132.47/132.69
% 132.47/132.69
% 132.47/132.69 Changing weight limit from 13 to 12.
% 132.47/132.69
% 132.47/132.69 Resetting weight limit to 12 after 25040 givens.
% 132.47/132.69
% 132.57/132.77
% 132.57/132.77
% 132.57/132.77 Changing weight limit from 12 to 13.
% 132.57/132.77
% 132.57/132.77 Resetting weight limit to 13 after 25065 givens.
% 132.57/132.77
% 132.57/132.79
% 132.57/132.79
% 132.57/132.79 Changing weight limit from 13 to 12.
% 132.57/132.79
% 132.57/132.79 Resetting weight limit to 12 after 25070 givens.
% 132.57/132.79
% 133.48/133.67
% 133.48/133.67
% 133.48/133.67 Changing weight limit from 12 to 13.
% 133.48/133.67
% 133.48/133.67 Resetting weight limit to 13 after 25230 givens.
% 133.48/133.67
% 133.48/133.69
% 133.48/133.69
% 133.48/133.69 Changing weight limit from 13 to 12.
% 133.48/133.69
% 133.48/133.69 Resetting weight limit to 12 after 25235 givens.
% 133.48/133.69
% 134.33/134.50
% 134.33/134.50
% 134.33/134.50 Changing weight limit from 12 to 13.
% 134.33/134.50
% 134.33/134.50 Resetting weight limit to 13 after 25405 givens.
% 134.33/134.50
% 134.33/134.52
% 134.33/134.52
% 134.33/134.52 Changing weight limit from 13 to 12.
% 134.33/134.52
% 134.33/134.52 Resetting weight limit to 12 after 25410 givens.
% 134.33/134.52
% 134.97/135.14
% 134.97/135.14
% 134.97/135.14 Changing weight limit from 12 to 13.
% 134.97/135.14
% 134.97/135.14 Resetting weight limit to 13 after 25565 givens.
% 134.97/135.14
% 155.76/155.92
% 155.76/155.92
% 155.76/155.92 Changing weight limit from 13 to 14.
% 155.76/155.92
% 155.76/155.92 Resetting weight limit to 14 after 28770 givens.
% 155.76/155.92
% 155.76/155.95
% 155.76/155.95
% 155.76/155.95 Changing weight limit from 14 to 13.
% 155.76/155.95
% 155.76/155.95 Resetting weight limit to 13 after 28775 givens.
% 155.76/155.95
% 155.76/155.97
% 155.76/155.97
% 155.76/155.97 Changing weight limit from 13 to 14.
% 155.76/155.97
% 155.76/155.97 Resetting weight limit to 14 after 28780 givens.
% 155.76/155.97
% 155.83/156.01
% 155.83/156.01
% 155.83/156.01 Changing weight limit from 14 to 13.
% 155.83/156.01
% 155.83/156.01 Resetting weight limit to 13 after 28785 givens.
% 155.83/156.01
% 158.91/159.10
% 158.91/159.10
% 158.91/159.10 Changing weight limit from 13 to 14.
% 158.91/159.10
% 158.91/159.10 Resetting weight limit to 14 after 29090 givens.
% 158.91/159.10
% 158.91/159.13
% 158.91/159.13
% 158.91/159.13 Changing weight limit from 14 to 13.
% 158.91/159.13
% 158.91/159.13 Resetting weight limit to 13 after 29095 givens.
% 158.91/159.13
% 163.76/163.93
% 163.76/163.93
% 163.76/163.93 Changing weight limit from 13 to 14.
% 163.76/163.93
% 163.76/163.93 Resetting weight limit to 14 after 29470 givens.
% 163.76/163.93
% 163.76/163.96
% 163.76/163.96
% 163.76/163.96 Changing weight limit from 14 to 13.
% 163.76/163.96
% 163.76/163.96 Resetting weight limit to 13 after 29475 givens.
% 163.76/163.96
% 164.64/164.83
% 164.64/164.83
% 164.64/164.83 Changing weight limit from 13 to 14.
% 164.64/164.83
% 164.64/164.83 Resetting weight limit to 14 after 29575 givens.
% 164.64/164.83
% 164.68/164.85
% 164.68/164.85
% 164.68/164.85 Changing weight limit from 14 to 13.
% 164.68/164.85
% 164.68/164.85 Resetting weight limit to 13 after 29580 givens.
% 164.68/164.85
% 168.08/168.29
% 168.08/168.29
% 168.08/168.29 Changing weight limit from 13 to 14.
% 168.08/168.29
% 168.08/168.29 Resetting weight limit to 14 after 30080 givens.
% 168.08/168.29
% 194.16/194.33
% 194.16/194.33
% 194.16/194.33 Changing weight limit from 14 to 15.
% 194.16/194.33
% 194.16/194.33 Resetting weight limit to 15 after 32910 givens.
% 194.16/194.33
% 194.16/194.36
% 194.16/194.36
% 194.16/194.36 Changing weight limit from 15 to 14.
% 194.16/194.36
% 194.16/194.36 Resetting weight limit to 14 after 32915 givens.
% 194.16/194.36
% 196.76/197.00
% 196.76/197.00
% 196.76/197.00 Changing weight limit from 14 to 15.
% 196.76/197.00
% 196.76/197.00 Resetting weight limit to 15 after 33215 givens.
% 196.76/197.00
% 196.85/197.02
% 196.85/197.02
% 196.85/197.02 Changing weight limit from 15 to 14.
% 196.85/197.02
% 196.85/197.02 Resetting weight limit to 14 after 33220 givens.
% 196.85/197.02
% 201.35/201.55
% 201.35/201.55
% 201.35/201.55 Changing weight limit from 14 to 15.
% 201.35/201.55
% 201.35/201.55 Resetting weight limit to 15 after 33765 givens.
% 201.35/201.55
% 201.42/201.58
% 201.42/201.58
% 201.42/201.58 Changing weight limit from 15 to 14.
% 201.42/201.58
% 201.42/201.58 Resetting weight limit to 14 after 33770 givens.
% 201.42/201.58
% 202.78/203.02
% 202.78/203.02
% 202.78/203.02 Changing weight limit from 14 to 15.
% 202.78/203.02
% 202.78/203.02 Resetting weight limit to 15 after 33935 givens.
% 202.78/203.02
% 202.94/203.10
% 202.94/203.10
% 202.94/203.10 Changing weight limit from 15 to 14.
% 202.94/203.10
% 202.94/203.10 Resetting weight limit to 14 after 33945 givens.
% 202.94/203.10
% 203.94/204.14
% 203.94/204.14
% 203.94/204.14 Changing weight limit from 14 to 15.
% 203.94/204.14
% 203.94/204.14 Resetting weight limit to 15 after 34095 givens.
% 203.94/204.14
% 229.99/230.17
% 229.99/230.17
% 229.99/230.17 Changing weight limit from 15 to 16.
% 229.99/230.17
% 229.99/230.17 Resetting weight limit to 16 after 37200 givens.
% 229.99/230.17
% 229.99/230.20
% 229.99/230.20
% 229.99/230.20 Changing weight limit from 16 to 15.
% 229.99/230.20
% 229.99/230.20 Resetting weight limit to 15 after 37205 givens.
% 229.99/230.20
% 231.19/231.39
% 231.19/231.39
% 231.19/231.39 Changing weight limit from 15 to 16.
% 231.19/231.39
% 231.19/231.39 Resetting weight limit to 16 after 37390 givens.
% 231.19/231.39
% 250.38/250.62
% 250.38/250.62
% 250.38/250.62 Changing weight limit from 16 to 17.
% 250.38/250.62
% 250.38/250.62 Resetting weight limit to 17 after 40085 givens.
% 250.38/250.62
% 250.47/250.66
% 250.47/250.66
% 250.47/250.66 Changing weight limit from 17 to 16.
% 250.47/250.66
% 250.47/250.66 Resetting weight limit to 16 after 40090 givens.
% 250.47/250.66
% 251.81/251.97
% 251.81/251.97
% 251.81/251.97 Changing weight limit from 16 to 17.
% 251.81/251.97
% 251.81/251.97 Resetting weight limit to 17 after 40270 givens.
% 251.81/251.97
% 271.99/272.16
% 271.99/272.16
% 271.99/272.16 Changing weight limit from 17 to 18.
% 271.99/272.16
% 271.99/272.16 Resetting weight limit to 18 after 43045 givens.
% 271.99/272.16
% 271.99/272.20
% 271.99/272.20
% 271.99/272.20 Changing weight limit from 18 to 17.
% 271.99/272.20
% 271.99/272.20 Resetting weight limit to 17 after 43050 givens.
% 271.99/272.20
% 272.05/272.23
% 272.05/272.23
% 272.05/272.23 Changing weight limit from 17 to 18.
% 272.05/272.23
% 272.05/272.23 Resetting weight limit to 18 after 43055 givens.
% 272.05/272.23
% 272.12/272.34
% 272.12/272.34
% 272.12/272.34 Changing weight limit from 18 to 17.
% 272.12/272.34
% 272.12/272.34 Resetting weight limit to 17 after 43065 givens.
% 272.12/272.34
% 273.03/273.19
% 273.03/273.19
% 273.03/273.19 Changing weight limit from 17 to 18.
% 273.03/273.19
% 273.03/273.19 Resetting weight limit to 18 after 43160 givens.
% 273.03/273.19
% 292.04/292.20
% 292.04/292.20
% 292.04/292.20 Changing weight limit from 18 to 19.
% 292.04/292.20
% 292.04/292.20 Resetting weight limit to 19 after 45825 givens.
% 292.04/292.20
% 300.02/300.19 Wow, sos-wrapper got a signal XCPU
%------------------------------------------------------------------------------