%------------------------------------------------------------------------------ % 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 %------------------------------------------------------------------------------