TSTP Solution File: LCL670+1.001 by SOS---2.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : SOS---2.0
% Problem : LCL670+1.001 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : sos-script %s
% Computer : n009.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:31:54 EDT 2022
% Result : Timeout 296.63s 296.87s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : LCL670+1.001 : TPTP v8.1.0. Released v4.0.0.
% 0.06/0.12 % Command : sos-script %s
% 0.12/0.33 % Computer : n009.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 : Mon Jul 4 00:36:07 EDT 2022
% 0.12/0.33 % CPUTime :
% 0.12/0.38 ----- Otter 3.2, August 2001 -----
% 0.12/0.38 The process was started by sandbox on n009.cluster.edu,
% 0.12/0.38 Mon Jul 4 00:36:07 2022
% 0.12/0.38 The command was "./sos". The process ID is 23565.
% 0.12/0.38
% 0.12/0.38 set(prolog_style_variables).
% 0.12/0.38 set(auto).
% 0.12/0.38 dependent: set(auto1).
% 0.12/0.38 dependent: set(process_input).
% 0.12/0.38 dependent: clear(print_kept).
% 0.12/0.38 dependent: clear(print_new_demod).
% 0.12/0.38 dependent: clear(print_back_demod).
% 0.12/0.38 dependent: clear(print_back_sub).
% 0.12/0.38 dependent: set(control_memory).
% 0.12/0.38 dependent: assign(max_mem, 12000).
% 0.12/0.38 dependent: assign(pick_given_ratio, 4).
% 0.12/0.38 dependent: assign(stats_level, 1).
% 0.12/0.38 dependent: assign(pick_semantic_ratio, 3).
% 0.12/0.38 dependent: assign(sos_limit, 5000).
% 0.12/0.38 dependent: assign(max_weight, 60).
% 0.12/0.38 clear(print_given).
% 0.12/0.38
% 0.12/0.38 formula_list(usable).
% 0.12/0.38
% 0.12/0.38 SCAN INPUT: prop=0, horn=0, equality=0, symmetry=0, max_lits=8.
% 0.12/0.38
% 0.12/0.38 This is a non-Horn set without equality. The strategy
% 0.12/0.38 will be ordered hyper_res, ur_res, unit deletion, and
% 0.12/0.38 factoring, with satellites in sos and nuclei in usable.
% 0.12/0.38
% 0.12/0.38 dependent: set(hyper_res).
% 0.12/0.38 dependent: set(factor).
% 0.12/0.38 dependent: set(unit_deletion).
% 0.12/0.38
% 0.12/0.38 ------------> process usable:
% 0.12/0.38
% 0.12/0.38 ------------> process sos:
% 0.12/0.38
% 0.12/0.38 ======= end of input processing =======
% 0.68/0.89
% 0.68/0.89 Model 1 (0.00 seconds, 0 Inserts)
% 0.68/0.89
% 0.68/0.89 Stopped by limit on number of solutions
% 0.68/0.89
% 0.68/0.89
% 0.68/0.89 -------------- Softie stats --------------
% 0.68/0.89
% 0.68/0.89 UPDATE_STOP: 300
% 0.68/0.89 SFINDER_TIME_LIMIT: 2
% 0.68/0.89 SHORT_CLAUSE_CUTOFF: 4
% 0.68/0.89 number of clauses in intial UL: 182
% 0.68/0.89 number of clauses initially in problem: 187
% 0.68/0.89 percentage of clauses intially in UL: 97
% 0.68/0.89 percentage of distinct symbols occuring in initial UL: 95
% 0.68/0.89 percent of all initial clauses that are short: 100
% 0.68/0.89 absolute distinct symbol count: 20
% 0.68/0.89 distinct predicate count: 5
% 0.68/0.89 distinct function count: 10
% 0.68/0.89 distinct constant count: 5
% 0.68/0.89
% 0.68/0.89 ---------- no more Softie stats ----------
% 0.68/0.89
% 0.68/0.89
% 0.68/0.89
% 0.68/0.89 Stopped by limit on insertions
% 0.68/0.89
% 0.68/0.89 =========== start of search ===========
% 35.73/35.91
% 35.73/35.91
% 35.73/35.91 Changing weight limit from 60 to 59.
% 35.73/35.91
% 35.73/35.91 Model 2 (0.00 seconds, 0 Inserts)
% 35.73/35.91
% 35.73/35.91 Stopped by limit on number of solutions
% 35.73/35.91
% 35.73/35.91 Stopped by limit on insertions
% 35.73/35.91
% 35.73/35.91 Stopped by limit on insertions
% 35.73/35.91
% 35.73/35.91 Stopped by limit on insertions
% 35.73/35.91
% 35.73/35.91 Model 3 [ 1 0 8536 ] (0.00 seconds, 250000 Inserts)
% 35.73/35.91
% 35.73/35.91 Stopped by limit on insertions
% 35.73/35.91
% 35.73/35.91 Model 4 [ 1 0 7431 ] (0.00 seconds, 250000 Inserts)
% 35.73/35.91
% 35.73/35.91 Stopped by limit on insertions
% 35.73/35.91
% 35.73/35.91 Model 5 [ 1 1 7114 ] (0.00 seconds, 250000 Inserts)
% 35.73/35.91
% 35.73/35.91 Stopped by limit on insertions
% 35.73/35.91
% 35.73/35.91 Model 6 [ 2 0 2795 ] (0.00 seconds, 250000 Inserts)
% 35.73/35.91
% 35.73/35.91 Stopped by limit on insertions
% 35.73/35.91
% 35.73/35.91 Stopped by limit on insertions
% 35.73/35.91
% 35.73/35.91 Model 7 [ 1 3 30283 ] (0.00 seconds, 250000 Inserts)
% 35.73/35.91
% 35.73/35.91 Stopped by limit on insertions
% 35.73/35.91
% 35.73/35.91 Model 8 [ 3 1 3552 ] (0.00 seconds, 250000 Inserts)
% 35.73/35.91
% 35.73/35.91 Stopped by limit on insertions
% 35.73/35.91
% 35.73/35.91 Model 9 [ 2 6 60231 ] (0.00 seconds, 250000 Inserts)
% 35.73/35.91
% 35.73/35.91 Stopped by limit on insertions
% 35.73/35.91
% 35.73/35.91 Model 10 [ 1 0 1489 ] (0.00 seconds, 250000 Inserts)
% 35.73/35.91
% 35.73/35.91 Stopped by limit on insertions
% 35.73/35.91
% 35.73/35.91 Stopped by limit on insertions
% 35.73/35.91
% 35.73/35.91 Model 11 [ 6 1 14039 ] (0.00 seconds, 250000 Inserts)
% 35.73/35.91
% 35.73/35.91 Stopped by limit on insertions
% 35.73/35.91
% 35.73/35.91 Stopped by limit on insertions
% 35.73/35.91
% 35.73/35.91 Stopped by limit on insertions
% 35.73/35.91
% 35.73/35.91 Stopped by limit on insertions
% 35.73/35.91
% 35.73/35.91 Stopped by limit on insertions
% 35.73/35.91
% 35.73/35.91 Model 12 [ 1 4 36155 ] (0.00 seconds, 250000 Inserts)
% 35.73/35.91
% 35.73/35.91 Stopped by limit on insertions
% 35.73/35.91
% 35.73/35.91 Stopped by limit on insertions
% 35.73/35.91
% 35.73/35.91 Model 13 [ 5 0 2277 ] (0.00 seconds, 250000 Inserts)
% 35.73/35.91
% 35.73/35.91 Stopped by limit on insertions
% 35.73/35.91
% 35.73/35.91 Model 14 [ 1 0 2755 ] (0.00 seconds, 250000 Inserts)
% 35.73/35.91
% 35.73/35.91 Stopped by limit on insertions
% 35.73/35.91
% 35.73/35.91 Resetting weight limit to 59 after 600 givens.
% 35.73/35.91
% 36.44/36.64
% 36.44/36.64
% 36.44/36.64 Changing weight limit from 59 to 58.
% 36.44/36.64
% 36.44/36.64 Resetting weight limit to 58 after 605 givens.
% 36.44/36.64
% 36.44/36.72
% 36.44/36.72
% 36.44/36.72 Changing weight limit from 58 to 59.
% 36.44/36.72
% 36.44/36.72 Resetting weight limit to 59 after 610 givens.
% 36.44/36.72
% 36.84/37.03
% 36.84/37.03
% 36.84/37.03 Changing weight limit from 59 to 60.
% 36.84/37.03
% 36.84/37.03 Stopped by limit on insertions
% 36.84/37.03
% 36.84/37.03 Model 15 [ 1 0 1167 ] (0.00 seconds, 250000 Inserts)
% 36.84/37.03
% 36.84/37.03 Resetting weight limit to 60 after 615 givens.
% 36.84/37.03
% 38.45/38.70
% 38.45/38.70
% 38.45/38.70 Changing weight limit from 60 to 58.
% 38.45/38.70
% 38.45/38.70 Resetting weight limit to 58 after 630 givens.
% 38.45/38.70
% 38.62/38.80
% 38.62/38.80
% 38.62/38.80 Changing weight limit from 58 to 57.
% 38.62/38.80
% 38.62/38.80 Resetting weight limit to 57 after 635 givens.
% 38.62/38.80
% 39.33/39.58
% 39.33/39.58
% 39.33/39.58 Changing weight limit from 57 to 56.
% 39.33/39.58
% 39.33/39.58 Resetting weight limit to 56 after 645 givens.
% 39.33/39.58
% 40.21/40.40
% 40.21/40.40
% 40.21/40.40 Changing weight limit from 56 to 55.
% 40.21/40.40
% 40.21/40.40 Resetting weight limit to 55 after 660 givens.
% 40.21/40.40
% 40.21/40.46
% 40.21/40.46
% 40.21/40.46 Changing weight limit from 55 to 54.
% 40.21/40.46
% 40.21/40.46 Resetting weight limit to 54 after 665 givens.
% 40.21/40.46
% 40.81/41.04
% 40.81/41.04
% 40.81/41.04 Changing weight limit from 54 to 55.
% 40.81/41.04
% 40.81/41.04 Resetting weight limit to 55 after 680 givens.
% 40.81/41.04
% 41.19/41.40
% 41.19/41.40
% 41.19/41.40 Changing weight limit from 55 to 53.
% 41.19/41.40
% 41.19/41.40 Resetting weight limit to 53 after 685 givens.
% 41.19/41.40
% 41.40/41.63
% 41.40/41.63
% 41.40/41.63 Changing weight limit from 53 to 54.
% 41.40/41.63
% 41.40/41.63 Resetting weight limit to 54 after 695 givens.
% 41.40/41.63
% 41.50/41.71
% 41.50/41.71
% 41.50/41.71 Changing weight limit from 54 to 52.
% 41.50/41.71
% 41.50/41.71 Resetting weight limit to 52 after 700 givens.
% 41.50/41.71
% 41.62/41.82
% 41.62/41.82
% 41.62/41.82 Changing weight limit from 52 to 51.
% 41.62/41.82
% 41.62/41.82 Resetting weight limit to 51 after 705 givens.
% 41.62/41.82
% 42.00/42.26
% 42.00/42.26
% 42.00/42.26 Changing weight limit from 51 to 50.
% 42.00/42.26
% 42.00/42.26 Resetting weight limit to 50 after 715 givens.
% 42.00/42.26
% 42.31/42.52
% 42.31/42.52
% 42.31/42.52 Changing weight limit from 50 to 49.
% 42.31/42.52
% 42.31/42.52 Resetting weight limit to 49 after 725 givens.
% 42.31/42.52
% 43.20/43.48
% 43.20/43.48
% 43.20/43.48 Changing weight limit from 49 to 48.
% 43.20/43.48
% 43.20/43.48 Resetting weight limit to 48 after 735 givens.
% 43.20/43.48
% 43.83/44.03
% 43.83/44.03
% 43.83/44.03 Changing weight limit from 48 to 49.
% 43.83/44.03
% 43.83/44.03 Resetting weight limit to 49 after 740 givens.
% 43.83/44.03
% 44.14/44.34
% 44.14/44.34
% 44.14/44.34 Changing weight limit from 49 to 50.
% 44.14/44.34
% 44.14/44.34 Resetting weight limit to 50 after 745 givens.
% 44.14/44.34
% 49.09/49.33
% 49.09/49.33
% 49.09/49.33 Changing weight limit from 50 to 47.
% 49.09/49.33
% 49.09/49.33 Resetting weight limit to 47 after 750 givens.
% 49.09/49.33
% 52.68/52.91
% 52.68/52.91
% 52.68/52.91 Changing weight limit from 47 to 46.
% 52.68/52.91
% 52.68/52.91 Resetting weight limit to 46 after 775 givens.
% 52.68/52.91
% 55.65/55.86
% 55.65/55.86
% 55.65/55.86 Changing weight limit from 46 to 47.
% 55.65/55.86
% 55.65/55.86 Resetting weight limit to 47 after 800 givens.
% 55.65/55.86
% 55.74/55.96
% 55.74/55.96
% 55.74/55.96 Changing weight limit from 47 to 48.
% 55.74/55.96
% 55.74/55.96 Resetting weight limit to 48 after 805 givens.
% 55.74/55.96
% 55.90/56.09
% 55.90/56.09
% 55.90/56.09 Changing weight limit from 48 to 49.
% 55.90/56.09
% 55.90/56.09 Resetting weight limit to 49 after 810 givens.
% 55.90/56.09
% 56.25/56.45
% 56.25/56.45
% 56.25/56.45 Changing weight limit from 49 to 50.
% 56.25/56.45
% 56.25/56.45 Resetting weight limit to 50 after 815 givens.
% 56.25/56.45
% 56.71/56.91
% 56.71/56.91
% 56.71/56.91 Changing weight limit from 50 to 51.
% 56.71/56.91
% 56.71/56.91 Resetting weight limit to 51 after 820 givens.
% 56.71/56.91
% 56.79/57.04
% 56.79/57.04
% 56.79/57.04 Changing weight limit from 51 to 45.
% 56.79/57.04
% 56.79/57.04 Resetting weight limit to 45 after 825 givens.
% 56.79/57.04
% 57.20/57.48
% 57.20/57.48
% 57.20/57.48 Changing weight limit from 45 to 44.
% 57.20/57.48
% 57.20/57.48 Resetting weight limit to 44 after 835 givens.
% 57.20/57.48
% 58.23/58.44
% 58.23/58.44
% 58.23/58.44 Changing weight limit from 44 to 45.
% 58.23/58.44
% 58.23/58.44 Resetting weight limit to 45 after 840 givens.
% 58.23/58.44
% 58.50/58.72
% 58.50/58.72
% 58.50/58.72 Changing weight limit from 45 to 46.
% 58.50/58.72
% 58.50/58.72 Resetting weight limit to 46 after 845 givens.
% 58.50/58.72
% 58.74/58.95
% 58.74/58.95
% 58.74/58.95 Changing weight limit from 46 to 47.
% 58.74/58.95
% 58.74/58.95 Resetting weight limit to 47 after 850 givens.
% 58.74/58.95
% 59.29/59.52
% 59.29/59.52
% 59.29/59.52 Changing weight limit from 47 to 44.
% 59.29/59.52
% 59.29/59.52 Resetting weight limit to 44 after 855 givens.
% 59.29/59.52
% 60.05/60.28
% 60.05/60.28
% 60.05/60.28 Changing weight limit from 44 to 45.
% 60.05/60.28
% 60.05/60.28 Resetting weight limit to 45 after 865 givens.
% 60.05/60.28
% 60.50/60.77
% 60.50/60.77
% 60.50/60.77 Changing weight limit from 45 to 46.
% 60.50/60.77
% 60.50/60.77 Resetting weight limit to 46 after 870 givens.
% 60.50/60.77
% 61.33/61.57
% 61.33/61.57
% 61.33/61.57 Changing weight limit from 46 to 47.
% 61.33/61.57
% 61.33/61.57 Resetting weight limit to 47 after 875 givens.
% 61.33/61.57
% 61.74/61.97
% 61.74/61.97
% 61.74/61.97 Changing weight limit from 47 to 48.
% 61.74/61.97
% 61.74/61.97 Resetting weight limit to 48 after 880 givens.
% 61.74/61.97
% 61.91/62.15
% 61.91/62.15
% 61.91/62.15 Changing weight limit from 48 to 49.
% 61.91/62.15
% 61.91/62.15 Resetting weight limit to 49 after 885 givens.
% 61.91/62.15
% 62.13/62.37
% 62.13/62.37
% 62.13/62.37 Changing weight limit from 49 to 50.
% 62.13/62.37
% 62.13/62.37 Resetting weight limit to 50 after 890 givens.
% 62.13/62.37
% 68.40/68.63
% 68.40/68.63
% 68.40/68.63 Changing weight limit from 50 to 51.
% 68.40/68.63
% 68.40/68.63 Resetting weight limit to 51 after 895 givens.
% 68.40/68.63
% 68.93/69.21
% 68.93/69.21
% 68.93/69.21 Changing weight limit from 51 to 52.
% 68.93/69.21
% 68.93/69.21 Resetting weight limit to 52 after 900 givens.
% 68.93/69.21
% 71.25/71.46
% 71.25/71.46
% 71.25/71.46 Changing weight limit from 52 to 53.
% 71.25/71.46
% 71.25/71.46 Resetting weight limit to 53 after 905 givens.
% 71.25/71.46
% 71.82/72.02
% 71.82/72.02
% 71.82/72.02 Changing weight limit from 53 to 54.
% 71.82/72.02
% 71.82/72.02 Resetting weight limit to 54 after 910 givens.
% 71.82/72.02
% 73.92/74.10
% 73.92/74.10
% 73.92/74.10 Changing weight limit from 54 to 55.
% 73.92/74.10
% 73.92/74.10 Resetting weight limit to 55 after 915 givens.
% 73.92/74.10
% 74.04/74.29
% 74.04/74.29
% 74.04/74.29 Changing weight limit from 55 to 56.
% 74.04/74.29
% 74.04/74.29 Resetting weight limit to 56 after 920 givens.
% 74.04/74.29
% 74.35/74.59
% 74.35/74.59
% 74.35/74.59 Changing weight limit from 56 to 57.
% 74.35/74.59
% 74.35/74.59 Resetting weight limit to 57 after 925 givens.
% 74.35/74.59
% 74.65/74.85
% 74.65/74.85
% 74.65/74.85 Changing weight limit from 57 to 58.
% 74.65/74.85
% 74.65/74.85 Resetting weight limit to 58 after 930 givens.
% 74.65/74.85
% 88.31/88.51
% 88.31/88.51
% 88.31/88.51 Changing weight limit from 58 to 59.
% 88.31/88.51
% 88.31/88.51 Resetting weight limit to 59 after 935 givens.
% 88.31/88.51
% 88.90/89.09
% 88.90/89.09
% 88.90/89.09 Changing weight limit from 59 to 60.
% 88.90/89.09
% 88.90/89.09 Resetting weight limit to 60 after 940 givens.
% 88.90/89.09
% 104.83/105.01
% 104.83/105.01
% 104.83/105.01 Changing weight limit from 60 to 47.
% 104.83/105.01
% 104.83/105.01 Resetting weight limit to 47 after 990 givens.
% 104.83/105.01
% 105.04/105.27
% 105.04/105.27
% 105.04/105.27 Changing weight limit from 47 to 48.
% 105.04/105.27
% 105.04/105.27 Resetting weight limit to 48 after 995 givens.
% 105.04/105.27
% 105.54/105.80
% 105.54/105.80
% 105.54/105.80 Changing weight limit from 48 to 45.
% 105.54/105.80
% 105.54/105.80 Resetting weight limit to 45 after 1000 givens.
% 105.54/105.80
% 105.70/105.95
% 105.70/105.95
% 105.70/105.95 Changing weight limit from 45 to 46.
% 105.70/105.95
% 105.70/105.95 Resetting weight limit to 46 after 1005 givens.
% 105.70/105.95
% 106.02/106.24
% 106.02/106.24
% 106.02/106.24 Changing weight limit from 46 to 44.
% 106.02/106.24
% 106.02/106.24 Resetting weight limit to 44 after 1010 givens.
% 106.02/106.24
% 106.11/106.36
% 106.11/106.36
% 106.11/106.36 Changing weight limit from 44 to 45.
% 106.11/106.36
% 106.11/106.36 Resetting weight limit to 45 after 1015 givens.
% 106.11/106.36
% 108.26/108.47
% 108.26/108.47
% 108.26/108.47 Changing weight limit from 45 to 46.
% 108.26/108.47
% 108.26/108.47 Resetting weight limit to 46 after 1020 givens.
% 108.26/108.47
% 112.30/112.55
% 112.30/112.55
% 112.30/112.55 Changing weight limit from 46 to 47.
% 112.30/112.55
% 112.30/112.55 Resetting weight limit to 47 after 1025 givens.
% 112.30/112.55
% 112.45/112.66
% 112.45/112.66
% 112.45/112.66 Changing weight limit from 47 to 48.
% 112.45/112.66
% 112.45/112.66 Resetting weight limit to 48 after 1030 givens.
% 112.45/112.66
% 112.68/112.86
% 112.68/112.86
% 112.68/112.86 Changing weight limit from 48 to 49.
% 112.68/112.86
% 112.68/112.86 Resetting weight limit to 49 after 1035 givens.
% 112.68/112.86
% 112.90/113.12
% 112.90/113.12
% 112.90/113.12 Changing weight limit from 49 to 50.
% 112.90/113.12
% 112.90/113.12 Resetting weight limit to 50 after 1040 givens.
% 112.90/113.12
% 113.31/113.50
% 113.31/113.50
% 113.31/113.50 Changing weight limit from 50 to 51.
% 113.31/113.50
% 113.31/113.50 Resetting weight limit to 51 after 1045 givens.
% 113.31/113.50
% 113.50/113.76
% 113.50/113.76
% 113.50/113.76 Changing weight limit from 51 to 52.
% 113.50/113.76
% 113.50/113.76 Resetting weight limit to 52 after 1050 givens.
% 113.50/113.76
% 114.60/114.80
% 114.60/114.80
% 114.60/114.80 Changing weight limit from 52 to 53.
% 114.60/114.80
% 114.60/114.80 Resetting weight limit to 53 after 1055 givens.
% 114.60/114.80
% 114.89/115.16
% 114.89/115.16
% 114.89/115.16 Changing weight limit from 53 to 44.
% 114.89/115.16
% 114.89/115.16 Resetting weight limit to 44 after 1060 givens.
% 114.89/115.16
% 115.35/115.55
% 115.35/115.55
% 115.35/115.55 Changing weight limit from 44 to 45.
% 115.35/115.55
% 115.35/115.55 Resetting weight limit to 45 after 1065 givens.
% 115.35/115.55
% 115.65/115.84
% 115.65/115.84
% 115.65/115.84 Changing weight limit from 45 to 46.
% 115.65/115.84
% 115.65/115.84 Resetting weight limit to 46 after 1070 givens.
% 115.65/115.84
% 116.54/116.76
% 116.54/116.76
% 116.54/116.76 Changing weight limit from 46 to 47.
% 116.54/116.76
% 116.54/116.76 Resetting weight limit to 47 after 1075 givens.
% 116.54/116.76
% 117.43/117.69
% 117.43/117.69
% 117.43/117.69 Changing weight limit from 47 to 48.
% 117.43/117.69
% 117.43/117.69 Resetting weight limit to 48 after 1080 givens.
% 117.43/117.69
% 117.83/118.03
% 117.83/118.03
% 117.83/118.03 Changing weight limit from 48 to 49.
% 117.83/118.03
% 117.83/118.03 Resetting weight limit to 49 after 1085 givens.
% 117.83/118.03
% 119.00/119.25
% 119.00/119.25
% 119.00/119.25 Changing weight limit from 49 to 44.
% 119.00/119.25
% 119.00/119.25 Resetting weight limit to 44 after 1090 givens.
% 119.00/119.25
% 120.02/120.20
% 120.02/120.20
% 120.02/120.20 Changing weight limit from 44 to 45.
% 120.02/120.20
% 120.02/120.20 Resetting weight limit to 45 after 1095 givens.
% 120.02/120.20
% 124.51/124.71
% 124.51/124.71
% 124.51/124.71 Changing weight limit from 45 to 44.
% 124.51/124.71
% 124.51/124.71 Resetting weight limit to 44 after 1100 givens.
% 124.51/124.71
% 126.19/126.38
% 126.19/126.38
% 126.19/126.38 Changing weight limit from 44 to 45.
% 126.19/126.38
% 126.19/126.38 Resetting weight limit to 45 after 1110 givens.
% 126.19/126.38
% 129.10/129.34
% 129.10/129.34
% 129.10/129.34 Changing weight limit from 45 to 46.
% 129.10/129.34
% 129.10/129.34 Resetting weight limit to 46 after 1115 givens.
% 129.10/129.34
% 131.93/132.13
% 131.93/132.13
% 131.93/132.13 Changing weight limit from 46 to 47.
% 131.93/132.13
% 131.93/132.13 Resetting weight limit to 47 after 1120 givens.
% 131.93/132.13
% 132.11/132.32
% 132.11/132.32
% 132.11/132.32 Changing weight limit from 47 to 48.
% 132.11/132.32
% 132.11/132.32 Resetting weight limit to 48 after 1125 givens.
% 132.11/132.32
% 133.44/133.65
% 133.44/133.65
% 133.44/133.65 Changing weight limit from 48 to 49.
% 133.44/133.65
% 133.44/133.65 Resetting weight limit to 49 after 1130 givens.
% 133.44/133.65
% 135.93/136.21
% 135.93/136.21
% 135.93/136.21 Changing weight limit from 49 to 50.
% 135.93/136.21
% 135.93/136.21 Resetting weight limit to 50 after 1135 givens.
% 135.93/136.21
% 140.04/140.23
% 140.04/140.23
% 140.04/140.23 Changing weight limit from 50 to 51.
% 140.04/140.23
% 140.04/140.23 Resetting weight limit to 51 after 1140 givens.
% 140.04/140.23
% 140.85/141.06
% 140.85/141.06
% 140.85/141.06 Changing weight limit from 51 to 52.
% 140.85/141.06
% 140.85/141.06 Resetting weight limit to 52 after 1145 givens.
% 140.85/141.06
% 141.68/141.87
% 141.68/141.87
% 141.68/141.87 Changing weight limit from 52 to 44.
% 141.68/141.87
% 141.68/141.87 Resetting weight limit to 44 after 1150 givens.
% 141.68/141.87
% 143.54/143.74
% 143.54/143.74
% 143.54/143.74 Changing weight limit from 44 to 43.
% 143.54/143.74
% 143.54/143.74 Resetting weight limit to 43 after 1165 givens.
% 143.54/143.74
% 145.80/145.98
% 145.80/145.98
% 145.80/145.98 Changing weight limit from 43 to 44.
% 145.80/145.98
% 145.80/145.98 Resetting weight limit to 44 after 1170 givens.
% 145.80/145.98
% 146.11/146.38
% 146.11/146.38
% 146.11/146.38 Changing weight limit from 44 to 45.
% 146.11/146.38
% 146.11/146.38 Resetting weight limit to 45 after 1175 givens.
% 146.11/146.38
% 146.50/146.69
% 146.50/146.69
% 146.50/146.69 Changing weight limit from 45 to 46.
% 146.50/146.69
% 146.50/146.69 Resetting weight limit to 46 after 1180 givens.
% 146.50/146.69
% 149.02/149.21
% 149.02/149.21
% 149.02/149.21 Changing weight limit from 46 to 47.
% 149.02/149.21
% 149.02/149.21 Resetting weight limit to 47 after 1185 givens.
% 149.02/149.21
% 150.72/150.93
% 150.72/150.93
% 150.72/150.93 Changing weight limit from 47 to 48.
% 150.72/150.93
% 150.72/150.93 Resetting weight limit to 48 after 1190 givens.
% 150.72/150.93
% 153.81/154.01
% 153.81/154.01
% 153.81/154.01 Changing weight limit from 48 to 45.
% 153.81/154.01
% 153.81/154.01 Resetting weight limit to 45 after 1195 givens.
% 153.81/154.01
% 154.97/155.18
% 154.97/155.18
% 154.97/155.18 Changing weight limit from 45 to 44.
% 154.97/155.18
% 154.97/155.18 Resetting weight limit to 44 after 1200 givens.
% 154.97/155.18
% 156.64/156.88
% 156.64/156.88
% 156.64/156.88 Changing weight limit from 44 to 43.
% 156.64/156.88
% 156.64/156.88 Resetting weight limit to 43 after 1205 givens.
% 156.64/156.88
% 157.85/158.09
% 157.85/158.09
% 157.85/158.09 Changing weight limit from 43 to 44.
% 157.85/158.09
% 157.85/158.09 Resetting weight limit to 44 after 1210 givens.
% 157.85/158.09
% 158.83/159.03
% 158.83/159.03
% 158.83/159.03 Changing weight limit from 44 to 43.
% 158.83/159.03
% 158.83/159.03 Resetting weight limit to 43 after 1215 givens.
% 158.83/159.03
% 159.45/159.70
% 159.45/159.70
% 159.45/159.70 Changing weight limit from 43 to 44.
% 159.45/159.70
% 159.45/159.70 Resetting weight limit to 44 after 1220 givens.
% 159.45/159.70
% 160.33/160.58
% 160.33/160.58
% 160.33/160.58 Changing weight limit from 44 to 45.
% 160.33/160.58
% 160.33/160.58 Resetting weight limit to 45 after 1225 givens.
% 160.33/160.58
% 163.80/164.00
% 163.80/164.00
% 163.80/164.00 Changing weight limit from 45 to 46.
% 163.80/164.00
% 163.80/164.00 Resetting weight limit to 46 after 1230 givens.
% 163.80/164.00
% 166.11/166.31
% 166.11/166.31
% 166.11/166.31 Changing weight limit from 46 to 47.
% 166.11/166.31
% 166.11/166.31 Resetting weight limit to 47 after 1235 givens.
% 166.11/166.31
% 166.34/166.58
% 166.34/166.58
% 166.34/166.58 Changing weight limit from 47 to 48.
% 166.34/166.58
% 166.34/166.58 Resetting weight limit to 48 after 1240 givens.
% 166.34/166.58
% 167.49/167.71
% 167.49/167.71
% 167.49/167.71 Changing weight limit from 48 to 49.
% 167.49/167.71
% 167.49/167.71 Resetting weight limit to 49 after 1245 givens.
% 167.49/167.71
% 167.71/167.97
% 167.71/167.97
% 167.71/167.97 Changing weight limit from 49 to 50.
% 167.71/167.97
% 167.71/167.97 Resetting weight limit to 50 after 1250 givens.
% 167.71/167.97
% 170.08/170.32
% 170.08/170.32
% 170.08/170.32 Changing weight limit from 50 to 51.
% 170.08/170.32
% 170.08/170.32 Resetting weight limit to 51 after 1255 givens.
% 170.08/170.32
% 171.13/171.40
% 171.13/171.40
% 171.13/171.40 Changing weight limit from 51 to 52.
% 171.13/171.40
% 171.13/171.40 Resetting weight limit to 52 after 1260 givens.
% 171.13/171.40
% 171.44/171.66
% 171.44/171.66
% 171.44/171.66 Changing weight limit from 52 to 53.
% 171.44/171.66
% 171.44/171.66 Resetting weight limit to 53 after 1265 givens.
% 171.44/171.66
% 173.53/173.78
% 173.53/173.78
% 173.53/173.78 Changing weight limit from 53 to 54.
% 173.53/173.78
% 173.53/173.78 Resetting weight limit to 54 after 1270 givens.
% 173.53/173.78
% 176.23/176.51
% 176.23/176.51
% 176.23/176.51 Changing weight limit from 54 to 55.
% 176.23/176.51
% 176.23/176.51 Resetting weight limit to 55 after 1275 givens.
% 176.23/176.51
% 177.21/177.49
% 177.21/177.49
% 177.21/177.49 Changing weight limit from 55 to 56.
% 177.21/177.49
% 177.21/177.49 Resetting weight limit to 56 after 1280 givens.
% 177.21/177.49
% 179.61/179.87
% 179.61/179.87
% 179.61/179.87 Changing weight limit from 56 to 57.
% 179.61/179.87
% 179.61/179.87 Resetting weight limit to 57 after 1285 givens.
% 179.61/179.87
% 181.78/182.02
% 181.78/182.02
% 181.78/182.02 Changing weight limit from 57 to 58.
% 181.78/182.02
% 181.78/182.02 Resetting weight limit to 58 after 1290 givens.
% 181.78/182.02
% 183.09/183.30
% 183.09/183.30
% 183.09/183.30 Changing weight limit from 58 to 51.
% 183.09/183.30
% 183.09/183.30 Resetting weight limit to 51 after 1295 givens.
% 183.09/183.30
% 183.19/183.48
% 183.19/183.48
% 183.19/183.48 Changing weight limit from 51 to 52.
% 183.19/183.48
% 183.19/183.48 Resetting weight limit to 52 after 1300 givens.
% 183.19/183.48
% 183.59/183.83
% 183.59/183.83
% 183.59/183.83 Changing weight limit from 52 to 53.
% 183.59/183.83
% 183.59/183.83 Resetting weight limit to 53 after 1305 givens.
% 183.59/183.83
% 184.03/184.28
% 184.03/184.28
% 184.03/184.28 Changing weight limit from 53 to 54.
% 184.03/184.28
% 184.03/184.28 Resetting weight limit to 54 after 1310 givens.
% 184.03/184.28
% 184.32/184.57
% 184.32/184.57
% 184.32/184.57 Changing weight limit from 54 to 50.
% 184.32/184.57
% 184.32/184.57 Resetting weight limit to 50 after 1315 givens.
% 184.32/184.57
% 184.91/185.12
% 184.91/185.12
% 184.91/185.12 Changing weight limit from 50 to 49.
% 184.91/185.12
% 184.91/185.12 Resetting weight limit to 49 after 1325 givens.
% 184.91/185.12
% 187.32/187.56
% 187.32/187.56
% 187.32/187.56 Changing weight limit from 49 to 48.
% 187.32/187.56
% 187.32/187.56 Resetting weight limit to 48 after 1345 givens.
% 187.32/187.56
% 187.49/187.71
% 187.49/187.71
% 187.49/187.71 Changing weight limit from 48 to 47.
% 187.49/187.71
% 187.49/187.71 Resetting weight limit to 47 after 1350 givens.
% 187.49/187.71
% 188.48/188.68
% 188.48/188.68
% 188.48/188.68 Changing weight limit from 47 to 46.
% 188.48/188.68
% 188.48/188.68 Resetting weight limit to 46 after 1355 givens.
% 188.48/188.68
% 189.20/189.40
% 189.20/189.40
% 189.20/189.40 Changing weight limit from 46 to 44.
% 189.20/189.40
% 189.20/189.40 Resetting weight limit to 44 after 1365 givens.
% 189.20/189.40
% 189.80/190.04
% 189.80/190.04
% 189.80/190.04 Changing weight limit from 44 to 45.
% 189.80/190.04
% 189.80/190.04 Resetting weight limit to 45 after 1370 givens.
% 189.80/190.04
% 190.31/190.56
% 190.31/190.56
% 190.31/190.56 Changing weight limit from 45 to 44.
% 190.31/190.56
% 190.31/190.56 Resetting weight limit to 44 after 1375 givens.
% 190.31/190.56
% 190.79/191.01
% 190.79/191.01
% 190.79/191.01 Changing weight limit from 44 to 45.
% 190.79/191.01
% 190.79/191.01 Resetting weight limit to 45 after 1385 givens.
% 190.79/191.01
% 191.17/191.39
% 191.17/191.39
% 191.17/191.39 Changing weight limit from 45 to 44.
% 191.17/191.39
% 191.17/191.39 Resetting weight limit to 44 after 1390 givens.
% 191.17/191.39
% 193.10/193.35
% 193.10/193.35
% 193.10/193.35 Changing weight limit from 44 to 45.
% 193.10/193.35
% 193.10/193.35 Resetting weight limit to 45 after 1405 givens.
% 193.10/193.35
% 193.50/193.75
% 193.50/193.75
% 193.50/193.75 Changing weight limit from 45 to 46.
% 193.50/193.75
% 193.50/193.75 Resetting weight limit to 46 after 1410 givens.
% 193.50/193.75
% 193.91/194.12
% 193.91/194.12
% 193.91/194.12 Changing weight limit from 46 to 47.
% 193.91/194.12
% 193.91/194.12 Resetting weight limit to 47 after 1415 givens.
% 193.91/194.12
% 194.46/194.67
% 194.46/194.67
% 194.46/194.67 Changing weight limit from 47 to 43.
% 194.46/194.67
% 194.46/194.67 Resetting weight limit to 43 after 1420 givens.
% 194.46/194.67
% 195.42/195.64
% 195.42/195.64
% 195.42/195.64 Changing weight limit from 43 to 44.
% 195.42/195.64
% 195.42/195.64 Resetting weight limit to 44 after 1425 givens.
% 195.42/195.64
% 196.18/196.39
% 196.18/196.39
% 196.18/196.39 Changing weight limit from 44 to 45.
% 196.18/196.39
% 196.18/196.39 Resetting weight limit to 45 after 1430 givens.
% 196.18/196.39
% 197.32/197.57
% 197.32/197.57
% 197.32/197.57 Changing weight limit from 45 to 46.
% 197.32/197.57
% 197.32/197.57 Resetting weight limit to 46 after 1435 givens.
% 197.32/197.57
% 198.51/198.75
% 198.51/198.75
% 198.51/198.75 Changing weight limit from 46 to 47.
% 198.51/198.75
% 198.51/198.75 Resetting weight limit to 47 after 1440 givens.
% 198.51/198.75
% 199.49/199.76
% 199.49/199.76
% 199.49/199.76 Changing weight limit from 47 to 48.
% 199.49/199.76
% 199.49/199.76 Resetting weight limit to 48 after 1445 givens.
% 199.49/199.76
% 199.94/200.16
% 199.94/200.16
% 199.94/200.16 Changing weight limit from 48 to 49.
% 199.94/200.16
% 199.94/200.16 Resetting weight limit to 49 after 1450 givens.
% 199.94/200.16
% 200.41/200.62
% 200.41/200.62
% 200.41/200.62 Changing weight limit from 49 to 50.
% 200.41/200.62
% 200.41/200.62 Resetting weight limit to 50 after 1455 givens.
% 200.41/200.62
% 200.54/200.78
% 200.54/200.78
% 200.54/200.78 Changing weight limit from 50 to 51.
% 200.54/200.78
% 200.54/200.78 Resetting weight limit to 51 after 1460 givens.
% 200.54/200.78
% 200.93/201.13
% 200.93/201.13
% 200.93/201.13 Changing weight limit from 51 to 52.
% 200.93/201.13
% 200.93/201.13 Resetting weight limit to 52 after 1465 givens.
% 200.93/201.13
% 201.38/201.60
% 201.38/201.60
% 201.38/201.60 Changing weight limit from 52 to 53.
% 201.38/201.60
% 201.38/201.60 Resetting weight limit to 53 after 1470 givens.
% 201.38/201.60
% 203.62/203.85
% 203.62/203.85
% 203.62/203.85 Changing weight limit from 53 to 42.
% 203.62/203.85
% 203.62/203.85 Resetting weight limit to 42 after 1475 givens.
% 203.62/203.85
% 204.42/204.62
% 204.42/204.62
% 204.42/204.62 Changing weight limit from 42 to 43.
% 204.42/204.62
% 204.42/204.62 Resetting weight limit to 43 after 1480 givens.
% 204.42/204.62
% 206.82/207.10
% 206.82/207.10
% 206.82/207.10 Changing weight limit from 43 to 42.
% 206.82/207.10
% 206.82/207.10 Resetting weight limit to 42 after 1485 givens.
% 206.82/207.10
% 214.48/214.67
% 214.48/214.67
% 214.48/214.67 Changing weight limit from 42 to 41.
% 214.48/214.67
% 214.48/214.67 Resetting weight limit to 41 after 1500 givens.
% 214.48/214.67
% 219.52/219.78
% 219.52/219.78
% 219.52/219.78 Changing weight limit from 41 to 42.
% 219.52/219.78
% 219.52/219.78 Resetting weight limit to 42 after 1520 givens.
% 219.52/219.78
% 220.20/220.43
% 220.20/220.43
% 220.20/220.43 Changing weight limit from 42 to 43.
% 220.20/220.43
% 220.20/220.43 Resetting weight limit to 43 after 1525 givens.
% 220.20/220.43
% 221.48/221.67
% 221.48/221.67
% 221.48/221.67 Changing weight limit from 43 to 41.
% 221.48/221.67
% 221.48/221.67 Resetting weight limit to 41 after 1530 givens.
% 221.48/221.67
% 225.39/225.62
% 225.39/225.62
% 225.39/225.62 Changing weight limit from 41 to 40.
% 225.39/225.62
% 225.39/225.62 Resetting weight limit to 40 after 1545 givens.
% 225.39/225.62
% 237.61/237.85
% 237.61/237.85
% 237.61/237.85 Changing weight limit from 40 to 41.
% 237.61/237.85
% 237.61/237.85 Resetting weight limit to 41 after 1575 givens.
% 237.61/237.85
% 239.61/239.80
% 239.61/239.80
% 239.61/239.80 Changing weight limit from 41 to 42.
% 239.61/239.80
% 239.61/239.80 Resetting weight limit to 42 after 1580 givens.
% 239.61/239.80
% 244.74/244.93
% 244.74/244.93
% 244.74/244.93 Changing weight limit from 42 to 39.
% 244.74/244.93
% 244.74/244.93 Resetting weight limit to 39 after 1585 givens.
% 244.74/244.93
% 265.79/266.00
% 265.79/266.00
% 265.79/266.00 Changing weight limit from 39 to 40.
% 265.79/266.00
% 265.79/266.00 Resetting weight limit to 40 after 1620 givens.
% 265.79/266.00
% 270.54/270.75
% 270.54/270.75
% 270.54/270.75 Changing weight limit from 40 to 39.
% 270.54/270.75
% 270.54/270.75 Resetting weight limit to 39 after 1625 givens.
% 270.54/270.75
% 296.63/296.87
% 296.63/296.87
% 296.63/296.87 Changing weight limit from 39 to 38.
% 296.63/296.87
% 296.63/296.87 Resetting weight limit to 38 after 1650 givens.
% 296.63/296.87
% 300.01/300.21 Wow, sos-wrapper got a signal XCPU
%------------------------------------------------------------------------------