0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3450685-1307107024.opb>
0.01/0.09 c original problem has 16772 variables (16772 bin, 0 int, 0 impl, 0 cont) and 17772 constraints
0.01/0.09 c problem read
0.01/0.09 c presolving settings loaded
0.09/0.18 o 0
0.09/0.18 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.09/0.18 c presolving:
0.29/0.32 c (round 1) 15772 del vars, 2000 del conss, 0 add conss, 15772 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 63088 impls, 0 clqs
0.29/0.37 c (round 2) 15772 del vars, 2000 del conss, 0 add conss, 15772 chg bounds, 0 chg sides, 0 chg coeffs, 15772 upgd conss, 94632 impls, 0 clqs
0.39/0.41 c (0.4s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.41 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.39/0.41 c presolving (3 rounds):
0.39/0.41 c 15772 deleted vars, 2000 deleted constraints, 0 added constraints, 15772 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.41 c 94632 implications, 0 cliques
0.39/0.41 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15772 constraints
0.39/0.41 c 15772 constraints of type <logicor>
0.39/0.41 c transformed objective value is always integral (scale: 1)
0.39/0.41 c Presolving Time: 0.26
0.39/0.41 c - non default parameters ----------------------------------------------------------------------
0.39/0.41 c # SCIP version 2.0.1.5
0.39/0.41 c
0.39/0.41 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.41 c conflict/interconss = 0
0.39/0.41 c
0.39/0.41 c # should binary conflicts be preferred?
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41 c conflict/preferbinary = TRUE
0.39/0.41 c
0.39/0.41 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.41 c constraints/agelimit = 1
0.39/0.41 c
0.39/0.41 c # should enforcement of pseudo solution be disabled?
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41 c constraints/disableenfops = TRUE
0.39/0.41 c
0.39/0.41 c # frequency for displaying node information lines
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.41 c display/freq = 10000
0.39/0.41 c
0.39/0.41 c # maximal time in seconds to run
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.41 c limits/time = 1800
0.39/0.41 c
0.39/0.41 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.41 c limits/memory = 13950
0.39/0.41 c
0.39/0.41 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.41 c # [type: int, range: [1,2], default: 1]
0.39/0.41 c timing/clocktype = 2
0.39/0.41 c
0.39/0.41 c # belongs reading time to solving time?
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41 c timing/reading = TRUE
0.39/0.41 c
0.39/0.41 c # should presolving try to simplify inequalities
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41 c constraints/linear/simplifyinequalities = TRUE
0.39/0.41 c
0.39/0.41 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41 c constraints/indicator/addCouplingCons = TRUE
0.39/0.41 c
0.39/0.41 c # should presolving try to simplify knapsacks
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.41 c
0.39/0.41 c -----------------------------------------------------------------------------------------------
0.39/0.41 c start solving
0.39/0.41 c
0.59/0.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.63 c t 0.6s| 1 | 0 | 1041 | - | 52M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
0.59/0.66 o -1
0.59/0.66 c R 0.7s| 1 | 0 | 1041 | - | 52M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
0.69/0.70 o -2
0.69/0.70 c s 0.7s| 1 | 0 | 1041 | - | 52M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
0.89/1.01 c 1.0s| 1 | 0 | 1261 | - | 52M| 0 | 991 |1000 | 15k|1000 | 15k| 12 | 0 | 0 |-4.955000e+02 |-2.000000e+00 | 99.60%
0.89/1.01 o -102
0.89/1.01 c b 1.0s| 1 | 0 | 1261 | - | 53M| 0 | 991 |1000 | 15k|1000 | 15k| 12 | 0 | 0 |-4.955000e+02 |-1.020000e+02 | 79.41%
1.29/1.38 c 1.4s| 1 | 0 | 1445 | - | 53M| 0 | 987 |1000 | 15k|1000 | 15k| 20 | 0 | 0 |-4.930000e+02 |-1.020000e+02 | 79.31%
1.69/1.79 c 1.8s| 1 | 0 | 1663 | - | 53M| 0 | 981 |1000 | 15k|1000 | 15k| 28 | 0 | 0 |-4.905000e+02 |-1.020000e+02 | 79.20%
2.21/2.23 c 2.2s| 1 | 0 | 2013 | - | 53M| 0 | 975 |1000 | 15k|1000 | 15k| 40 | 0 | 0 |-4.875000e+02 |-1.020000e+02 | 79.08%
2.59/2.64 c 2.6s| 1 | 0 | 2268 | - | 53M| 0 | 968 |1000 | 15k|1000 | 15k| 51 | 0 | 0 |-4.840000e+02 |-1.020000e+02 | 78.93%
2.99/3.06 c 3.1s| 1 | 0 | 2530 | - | 53M| 0 | 965 |1000 | 15k|1000 | 15k| 65 | 0 | 0 |-4.815000e+02 |-1.020000e+02 | 78.82%
3.69/3.73 c 3.7s| 1 | 0 | 3366 | - | 53M| 0 | 954 |1000 | 15k|1000 | 15k| 78 | 0 | 0 |-4.770000e+02 |-1.020000e+02 | 78.62%
4.19/4.24 c 4.2s| 1 | 0 | 3816 | - | 53M| 0 | 948 |1000 | 15k|1000 | 15k| 89 | 0 | 0 |-4.735000e+02 |-1.020000e+02 | 78.46%
4.69/4.76 c 4.8s| 1 | 0 | 4337 | - | 53M| 0 | 941 |1000 | 15k|1000 | 15k| 100 | 0 | 0 |-4.700000e+02 |-1.020000e+02 | 78.30%
5.29/5.35 c 5.3s| 1 | 0 | 4983 | - | 53M| 0 | 937 |1000 | 15k|1000 | 15k| 109 | 0 | 0 |-4.680000e+02 |-1.020000e+02 | 78.21%
6.19/6.23 c 6.2s| 1 | 0 | 6398 | - | 53M| 0 | 936 |1000 | 15k|1000 |1723 | 118 | 0 | 0 |-4.666250e+02 |-1.020000e+02 | 78.14%
6.40/6.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.40/6.40 c 6.4s| 1 | 0 | 6714 | - | 54M| 0 | 931 |1000 | 15k|1000 |1735 | 130 | 0 | 0 |-4.641250e+02 |-1.020000e+02 | 78.02%
6.61/6.64 c 6.6s| 1 | 0 | 7250 | - | 54M| 0 | 927 |1000 | 15k|1000 |1742 | 137 | 0 | 0 |-4.629792e+02 |-1.020000e+02 | 77.97%
6.79/6.88 c 6.9s| 1 | 0 | 7750 | - | 55M| 0 | 912 |1000 | 15k|1000 |2023 | 418 | 0 | 0 |-4.614167e+02 |-1.020000e+02 | 77.89%
7.09/7.13 c 7.1s| 1 | 0 | 8349 | - | 55M| 0 | 928 |1000 | 15k|1000 |2198 | 593 | 0 | 0 |-4.604167e+02 |-1.020000e+02 | 77.85%
7.39/7.47 c 7.5s| 1 | 0 | 8995 | - | 58M| 0 | 923 |1000 | 15k|1000 |2348 | 743 | 0 | 0 |-4.594583e+02 |-1.020000e+02 | 77.80%
7.79/7.88 c 7.9s| 1 | 0 | 10257 | - | 59M| 0 | 907 |1000 | 15k|1000 |2108 | 903 | 0 | 0 |-4.565000e+02 |-1.020000e+02 | 77.66%
8.09/8.13 c 8.1s| 1 | 0 | 10999 | - | 60M| 0 | 896 |1000 | 15k|1000 |2191 | 986 | 0 | 0 |-4.535000e+02 |-1.020000e+02 | 77.51%
8.19/8.29 c 8.3s| 1 | 0 | 11200 | - | 60M| 0 | 900 |1000 | 15k|1000 |2379 |1174 | 0 | 0 |-4.530000e+02 |-1.020000e+02 | 77.48%
8.59/8.63 c 8.6s| 1 | 0 | 12258 | - | 61M| 0 | 878 |1000 | 15k|1000 |2463 |1258 | 0 | 0 |-4.505000e+02 |-1.020000e+02 | 77.36%
8.80/8.86 c 8.9s| 1 | 0 | 12771 | - | 61M| 0 | 896 |1000 | 15k|1000 |2785 |1580 | 0 | 0 |-4.494000e+02 |-1.020000e+02 | 77.30%
9.09/9.19 c 9.2s| 1 | 0 | 14168 | - | 62M| 0 | 891 |1000 | 15k|1000 |2987 |1782 | 0 | 0 |-4.475000e+02 |-1.020000e+02 | 77.21%
9.49/9.50 c 9.5s| 1 | 0 | 15325 | - | 62M| 0 | 872 |1000 | 15k|1000 |2804 |1859 | 0 | 0 |-4.460000e+02 |-1.020000e+02 | 77.13%
9.69/9.79 c 9.8s| 1 | 0 | 16226 | - | 62M| 0 | 892 |1000 | 15k|1000 |3050 |2105 | 0 | 0 |-4.450000e+02 |-1.020000e+02 | 77.08%
10.09/10.10 c 10.1s| 1 | 0 | 17367 | - | 62M| 0 | 880 |1000 | 15k|1000 |3151 |2206 | 0 | 0 |-4.430000e+02 |-1.020000e+02 | 76.98%
10.39/10.46 c 10.5s| 1 | 0 | 19039 | - | 63M| 0 | 893 |1000 | 15k|1000 |3241 |2296 | 0 | 0 |-4.412500e+02 |-1.020000e+02 | 76.88%
10.79/10.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.79/10.80 c 10.8s| 1 | 0 | 19876 | - | 63M| 0 | 896 |1000 | 15k|1000 |3490 |2545 | 0 | 0 |-4.407500e+02 |-1.020000e+02 | 76.86%
11.19/11.28 c 11.3s| 1 | 0 | 21856 | - | 63M| 0 | 870 |1000 | 15k|1000 |3560 |2615 | 0 | 0 |-4.397500e+02 |-1.020000e+02 | 76.81%
11.69/11.74 c 11.7s| 1 | 0 | 23773 | - | 63M| 0 | 891 |1000 | 15k|1000 |2556 |2728 | 0 | 0 |-4.386875e+02 |-1.020000e+02 | 76.75%
12.00/12.02 c 12.0s| 1 | 0 | 24507 | - | 64M| 0 | 866 |1000 | 15k|1000 |2818 |2990 | 0 | 0 |-4.366667e+02 |-1.020000e+02 | 76.64%
12.29/12.33 c 12.3s| 1 | 0 | 26019 | - | 64M| 0 | 923 |1000 | 15k|1000 |2967 |3139 | 0 | 0 |-4.349722e+02 |-1.020000e+02 | 76.55%
12.89/12.99 c 13.0s| 1 | 0 | 26160 | - | 66M| 0 | 873 |1000 | 15k|1000 |4967 |5139 | 0 | 0 |-4.347500e+02 |-1.020000e+02 | 76.54%
13.39/13.42 c 13.4s| 1 | 0 | 27656 | - | 67M| 0 | 866 |1000 | 15k|1000 |4979 |5151 | 0 | 0 |-4.322500e+02 |-1.020000e+02 | 76.40%
13.69/13.72 c 13.7s| 1 | 0 | 28325 | - | 67M| 0 | 869 |1000 | 15k|1000 |5008 |5180 | 0 | 0 |-4.313750e+02 |-1.020000e+02 | 76.35%
13.89/13.95 c 13.9s| 1 | 0 | 28777 | - | 67M| 0 | 859 |1000 | 15k|1000 |3972 |5190 | 0 | 0 |-4.305000e+02 |-1.020000e+02 | 76.31%
14.20/14.22 c 14.2s| 1 | 0 | 29654 | - | 67M| 0 | 851 |1000 | 15k|1000 |4007 |5225 | 0 | 0 |-4.285000e+02 |-1.020000e+02 | 76.20%
14.49/14.55 c 14.6s| 1 | 0 | 30820 | - | 67M| 0 | 840 |1000 | 15k|1000 |4077 |5295 | 0 | 0 |-4.270000e+02 |-1.020000e+02 | 76.11%
14.79/14.82 c 14.8s| 1 | 0 | 31644 | - | 67M| 0 | 835 |1000 | 15k|1000 |4258 |5476 | 0 | 0 |-4.265000e+02 |-1.020000e+02 | 76.08%
15.09/15.16 c 15.2s| 1 | 0 | 32986 | - | 68M| 0 | 841 |1000 | 15k|1000 |4464 |5682 | 0 | 0 |-4.245000e+02 |-1.020000e+02 | 75.97%
15.59/15.66 c 15.7s| 1 | 0 | 35514 | - | 68M| 0 | 845 |1000 | 15k|1000 |4572 |5790 | 0 | 0 |-4.210000e+02 |-1.020000e+02 | 75.77%
16.09/16.12 c 16.1s| 1 | 0 | 37493 | - | 68M| 0 | 836 |1000 | 15k|1000 |3845 |6034 | 0 | 0 |-4.187500e+02 |-1.020000e+02 | 75.64%
16.40/16.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.40/16.45 c 16.4s| 1 | 0 | 38892 | - | 68M| 0 | 815 |1000 | 15k|1000 |3875 |6064 | 0 | 0 |-4.180000e+02 |-1.020000e+02 | 75.60%
16.59/16.67 c 16.7s| 1 | 0 | 39445 | - | 68M| 0 | 833 |1000 | 15k|1000 |4163 |6352 | 0 | 0 |-4.170000e+02 |-1.020000e+02 | 75.54%
17.00/17.05 c 17.1s| 1 | 0 | 40767 | - | 70M| 0 | 825 |1000 | 15k|1000 |4196 |6385 | 0 | 0 |-4.170000e+02 |-1.020000e+02 | 75.54%
18.29/18.37 c 18.4s| 1 | 0 | 48324 | - | 71M| 0 | 830 |1000 | 15k|1000 |4348 |6537 | 0 | 0 |-4.143333e+02 |-1.020000e+02 | 75.38%
18.71/18.72 c 18.7s| 1 | 0 | 49117 | - | 73M| 0 | 824 |1000 | 15k|1000 |4773 |6962 | 0 | 0 |-4.132500e+02 |-1.020000e+02 | 75.32%
19.19/19.29 c 19.3s| 1 | 0 | 51440 | - | 74M| 0 | 822 |1000 | 15k|1000 |2893 |7063 | 0 | 0 |-4.112500e+02 |-1.020000e+02 | 75.20%
19.70/19.76 c 19.8s| 1 | 0 | 53716 | - | 74M| 0 | 843 |1000 | 15k|1000 |3132 |7302 | 0 | 0 |-4.106250e+02 |-1.020000e+02 | 75.16%
20.29/20.35 c 20.3s| 1 | 0 | 55970 | - | 75M| 0 | 830 |1000 | 15k|1000 |3547 |7717 | 0 | 0 |-4.090000e+02 |-1.020000e+02 | 75.06%
21.09/21.13 c 21.1s| 1 | 0 | 59626 | - | 75M| 0 | 834 |1000 | 15k|1000 |3892 |8062 | 0 | 0 |-4.080000e+02 |-1.020000e+02 | 75.00%
21.90/21.93 c 21.9s| 1 | 0 | 63752 | - | 76M| 0 | 839 |1000 | 15k|1000 |4004 |8174 | 0 | 0 |-4.071250e+02 |-1.020000e+02 | 74.95%
23.19/23.20 c 23.2s| 1 | 0 | 71021 | - | 77M| 0 | 906 |1000 | 15k|1000 |4243 |8413 | 0 | 0 |-4.060087e+02 |-1.020000e+02 | 74.88%
23.69/23.70 c 23.7s| 1 | 0 | 71967 | - | 78M| 0 | 841 |1000 | 15k|1000 |5345 | 10k| 0 | 0 |-4.056597e+02 |-1.020000e+02 | 74.86%
24.39/24.48 c 24.5s| 1 | 0 | 74618 | - | 79M| 0 | 831 |1000 | 15k|1000 |5381 | 10k| 0 | 0 |-4.037143e+02 |-1.020000e+02 | 74.73%
24.90/24.98 c 25.0s| 1 | 0 | 76366 | - | 80M| 0 | 822 |1000 | 15k|1000 |5441 | 10k| 0 | 0 |-4.024167e+02 |-1.020000e+02 | 74.65%
25.99/26.02 c 26.0s| 1 | 0 | 80844 | - | 80M| 0 | 825 |1000 | 15k|1000 |5502 | 10k| 0 | 0 |-4.011000e+02 |-1.020000e+02 | 74.57%
26.60/26.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.60/26.62 c 26.6s| 1 | 0 | 82889 | - | 81M| 0 | 791 |1000 | 15k|1000 |5613 | 10k| 0 | 0 |-3.990000e+02 |-1.020000e+02 | 74.44%
26.79/26.85 c 26.8s| 1 | 0 | 83167 | - | 81M| 0 | 801 |1000 | 15k|1000 |5705 | 10k| 0 | 0 |-3.985000e+02 |-1.020000e+02 | 74.40%
27.99/28.06 c 28.1s| 1 | 0 | 88228 | - | 82M| 0 | 798 |1000 | 15k|1000 |4714 | 10k| 0 | 0 |-3.965000e+02 |-1.020000e+02 | 74.27%
28.39/28.41 c 28.4s| 1 | 0 | 89338 | - | 83M| 0 | 797 |1000 | 15k|1000 |4724 | 10k| 0 | 0 |-3.955000e+02 |-1.020000e+02 | 74.21%
28.79/28.88 c 28.9s| 1 | 0 | 91271 | - | 83M| 0 | 801 |1000 | 15k|1000 |4808 | 10k| 0 | 0 |-3.950000e+02 |-1.020000e+02 | 74.18%
29.71/29.78 c 29.8s| 1 | 0 | 95122 | - | 84M| 0 | 823 |1000 | 15k|1000 |4817 | 10k| 0 | 0 |-3.938333e+02 |-1.020000e+02 | 74.10%
30.19/30.22 c 30.2s| 1 | 0 | 96329 | - | 85M| 0 | 796 |1000 | 15k|1000 |5034 | 11k| 0 | 0 |-3.935000e+02 |-1.020000e+02 | 74.08%
30.59/30.63 c 30.6s| 1 | 0 | 97572 | - | 85M| 0 | 783 |1000 | 15k|1000 |5088 | 11k| 0 | 0 |-3.927500e+02 |-1.020000e+02 | 74.03%
31.59/31.60 c 31.6s| 1 | 0 |101005 | - | 85M| 0 | 792 |1000 | 15k|1000 |3748 | 11k| 0 | 0 |-3.917500e+02 |-1.020000e+02 | 73.96%
32.19/32.20 c 32.2s| 1 | 0 |103995 | - | 86M| 0 | 843 |1000 | 15k|1000 |3791 | 11k| 0 | 0 |-3.912143e+02 |-1.020000e+02 | 73.93%
32.69/32.73 c 32.7s| 1 | 0 |106139 | - | 87M| 0 | 814 |1000 | 15k|1000 |4170 | 11k| 0 | 0 |-3.905000e+02 |-1.020000e+02 | 73.88%
33.39/33.47 c 33.5s| 1 | 0 |109437 | - | 89M| 0 | 773 |1000 | 15k|1000 |4352 | 11k| 0 | 0 |-3.892500e+02 |-1.020000e+02 | 73.80%
34.10/34.17 c 34.2s| 1 | 0 |112774 | - | 89M| 0 | 784 |1000 | 15k|1000 |4436 | 11k| 0 | 0 |-3.883125e+02 |-1.020000e+02 | 73.73%
34.49/34.58 c 34.6s| 1 | 0 |114063 | - | 89M| 0 | 822 |1000 | 15k|1000 |4525 | 12k| 0 | 0 |-3.880000e+02 |-1.020000e+02 | 73.71%
35.39/35.45 c 35.5s| 1 | 0 |117127 | - | 90M| 0 | 781 |1000 | 15k|1000 |4265 | 12k| 0 | 0 |-3.877500e+02 |-1.020000e+02 | 73.69%
36.20/36.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.20/36.23 c 36.2s| 1 | 0 |120987 | - | 92M| 0 | 846 |1000 | 15k|1000 |4322 | 12k| 0 | 0 |-3.870948e+02 |-1.020000e+02 | 73.65%
36.59/36.68 c 36.7s| 1 | 0 |122575 | - | 93M| 0 | 853 |1000 | 15k|1000 |4459 | 12k| 0 | 0 |-3.866162e+02 |-1.020000e+02 | 73.62%
37.80/37.85 c 37.8s| 1 | 0 |126759 | - | 96M| 0 | 852 |1000 | 15k|1000 |4885 | 12k| 0 | 0 |-3.856771e+02 |-1.020000e+02 | 73.55%
38.40/38.44 c 38.4s| 1 | 0 |128479 | - | 97M| 0 | 875 |1000 | 15k|1000 |4977 | 12k| 0 | 0 |-3.854404e+02 |-1.020000e+02 | 73.54%
39.19/39.25 c 39.2s| 1 | 0 |129913 | - | 98M| 0 | 886 |1000 | 15k|1000 |5138 | 13k| 0 | 0 |-3.852285e+02 |-1.020000e+02 | 73.52%
40.60/40.67 c 40.7s| 1 | 0 |133442 | - | 98M| 0 | 889 |1000 | 15k|1000 |4608 | 13k| 0 | 0 |-3.840480e+02 |-1.020000e+02 | 73.44%
41.49/41.51 c 41.5s| 1 | 0 |135330 | - | 100M| 0 | 845 |1000 | 15k|1000 |4701 | 13k| 0 | 0 |-3.828353e+02 |-1.020000e+02 | 73.36%
42.09/42.10 c 42.1s| 1 | 0 |136798 | - | 103M| 0 | 824 |1000 | 15k|1000 |4798 | 13k| 0 | 0 |-3.818333e+02 |-1.020000e+02 | 73.29%
43.49/43.57 c 43.6s| 1 | 0 |141743 | - | 105M| 0 | 875 |1000 | 15k|1000 |4870 | 13k| 0 | 0 |-3.803825e+02 |-1.020000e+02 | 73.18%
44.29/44.35 c 44.4s| 1 | 0 |144196 | - | 108M| 0 | 881 |1000 | 15k|1000 |4986 | 13k| 0 | 0 |-3.789417e+02 |-1.020000e+02 | 73.08%
44.89/44.97 c 45.0s| 1 | 0 |146199 | - | 111M| 0 | 895 |1000 | 15k|1000 |5140 | 13k| 0 | 0 |-3.780944e+02 |-1.020000e+02 | 73.02%
45.59/45.67 c 45.7s| 1 | 0 |147673 | - | 114M| 0 | 885 |1000 | 15k|1000 |4952 | 13k| 0 | 0 |-3.772283e+02 |-1.020000e+02 | 72.96%
46.49/46.58 c 46.6s| 1 | 0 |149774 | - | 115M| 0 | 890 |1000 | 15k|1000 |4977 | 13k| 0 | 0 |-3.768228e+02 |-1.020000e+02 | 72.93%
47.59/47.68 c 47.7s| 1 | 0 |152079 | - | 116M| 0 | 901 |1000 | 15k|1000 |5055 | 13k| 0 | 0 |-3.760797e+02 |-1.020000e+02 | 72.88%
48.59/48.64 c 48.6s| 1 | 0 |153529 | - | 116M| 0 | 892 |1000 | 15k|1000 |5122 | 14k| 0 | 0 |-3.757222e+02 |-1.020000e+02 | 72.85%
49.79/49.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
49.79/49.89 c 49.9s| 1 | 0 |156160 | - | 116M| 0 | 889 |1000 | 15k|1000 |5137 | 14k| 0 | 0 |-3.754899e+02 |-1.020000e+02 | 72.84%
51.19/51.23 c 51.2s| 1 | 0 |158991 | - | 116M| 0 | 901 |1000 | 15k|1000 |5158 | 14k| 0 | 0 |-3.749194e+02 |-1.020000e+02 | 72.79%
53.29/53.35 c 53.4s| 1 | 0 |165312 | - | 116M| 0 | 910 |1000 | 15k|1000 |4749 | 14k| 0 | 0 |-3.738298e+02 |-1.020000e+02 | 72.71%
54.69/54.70 c 54.7s| 1 | 0 |167787 | - | 116M| 0 | 906 |1000 | 15k|1000 |4915 | 14k| 0 | 0 |-3.728006e+02 |-1.020000e+02 | 72.64%
56.00/56.05 c 56.1s| 1 | 0 |170731 | - | 116M| 0 | 912 |1000 | 15k|1000 |5072 | 14k| 0 | 0 |-3.719495e+02 |-1.020000e+02 | 72.58%
57.79/57.87 c 57.9s| 1 | 0 |175227 | - | 117M| 0 | 923 |1000 | 15k|1000 |5111 | 14k| 0 | 0 |-3.710019e+02 |-1.020000e+02 | 72.51%
59.49/59.53 c 59.5s| 1 | 0 |178287 | - | 117M| 0 | 907 |1000 | 15k|1000 |5256 | 14k| 0 | 0 |-3.701879e+02 |-1.020000e+02 | 72.45%
60.89/60.96 c 61.0s| 1 | 0 |180636 | - | 117M| 0 | 917 |1000 | 15k|1000 |5277 | 14k| 0 | 0 |-3.696791e+02 |-1.020000e+02 | 72.41%
62.39/62.48 c 62.5s| 1 | 0 |182913 | - | 117M| 0 | 918 |1000 | 15k|1000 |4984 | 14k| 0 | 0 |-3.690773e+02 |-1.020000e+02 | 72.36%
63.89/63.95 c 64.0s| 1 | 0 |185412 | - | 117M| 0 | 915 |1000 | 15k|1000 |5002 | 14k| 0 | 0 |-3.681867e+02 |-1.020000e+02 | 72.30%
65.49/65.59 c 65.6s| 1 | 0 |188889 | - | 118M| 0 | 903 |1000 | 15k|1000 |5117 | 14k| 0 | 0 |-3.668449e+02 |-1.020000e+02 | 72.20%
67.99/68.00 c 68.0s| 1 | 0 |195481 | - | 118M| 0 | 886 |1000 | 15k|1000 |5166 | 14k| 0 | 0 |-3.647155e+02 |-1.020000e+02 | 72.03%
69.79/69.85 c 69.8s| 1 | 0 |199927 | - | 118M| 0 | 925 |1000 | 15k|1000 |5220 | 14k| 0 | 0 |-3.636597e+02 |-1.020000e+02 | 71.95%
71.40/71.49 c 71.5s| 1 | 0 |202683 | - | 118M| 0 | 910 |1000 | 15k|1000 |5346 | 15k| 0 | 0 |-3.628047e+02 |-1.020000e+02 | 71.89%
73.60/73.65 c 73.6s| 1 | 0 |207601 | - | 119M| 0 | 906 |1000 | 15k|1000 |5217 | 15k| 0 | 0 |-3.620806e+02 |-1.020000e+02 | 71.83%
75.19/75.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
75.19/75.23 c 75.2s| 1 | 0 |210509 | - | 119M| 0 | 897 |1000 | 15k|1000 |5228 | 15k| 0 | 0 |-3.612913e+02 |-1.020000e+02 | 71.77%
76.69/76.74 c 76.7s| 1 | 0 |213693 | - | 119M| 0 | 924 |1000 | 15k|1000 |5309 | 15k| 0 | 0 |-3.600343e+02 |-1.020000e+02 | 71.67%
78.29/78.34 c 78.3s| 1 | 0 |216446 | - | 119M| 0 | 922 |1000 | 15k|1000 |5434 | 15k| 0 | 0 |-3.594631e+02 |-1.020000e+02 | 71.62%
80.49/80.56 c 80.6s| 1 | 0 |221490 | - | 119M| 0 | 934 |1000 | 15k|1000 |5532 | 15k| 0 | 0 |-3.586509e+02 |-1.020000e+02 | 71.56%
82.29/82.34 c 82.3s| 1 | 0 |224339 | - | 119M| 0 | 918 |1000 | 15k|1000 |5688 | 15k| 0 | 0 |-3.578697e+02 |-1.020000e+02 | 71.50%
84.19/84.20 c 84.2s| 1 | 0 |227755 | - | 119M| 0 | 927 |1000 | 15k|1000 |5536 | 15k| 0 | 0 |-3.570756e+02 |-1.020000e+02 | 71.43%
85.99/86.06 c 86.1s| 1 | 0 |230765 | - | 119M| 0 | 912 |1000 | 15k|1000 |5564 | 15k| 0 | 0 |-3.559048e+02 |-1.020000e+02 | 71.34%
87.79/87.86 c 87.9s| 1 | 0 |233758 | - | 118M| 0 | 905 |1000 | 15k|1000 |5605 | 15k| 0 | 0 |-3.547219e+02 |-1.020000e+02 | 71.25%
89.79/89.82 c 89.8s| 1 | 0 |237505 | - | 118M| 0 | 925 |1000 | 15k|1000 |5658 | 15k| 0 | 0 |-3.538173e+02 |-1.020000e+02 | 71.17%
91.59/91.65 c 91.7s| 1 | 0 |240660 | - | 118M| 0 | 911 |1000 | 15k|1000 |5710 | 15k| 0 | 0 |-3.532374e+02 |-1.020000e+02 | 71.12%
92.69/92.72 c 92.7s| 1 | 0 |242861 | - | 120M| 0 | 934 |1000 | 15k|1000 |5775 | 15k| 0 | 0 |-3.527987e+02 |-1.020000e+02 | 71.09%
94.39/94.47 c 94.5s| 1 | 0 |245233 | - | 120M| 0 | 921 |1000 | 15k|1000 |5598 | 16k| 0 | 0 |-3.524438e+02 |-1.020000e+02 | 71.06%
96.19/96.22 c 96.2s| 1 | 0 |247993 | - | 120M| 0 | 916 |1000 | 15k|1000 |5643 | 16k| 0 | 0 |-3.518675e+02 |-1.020000e+02 | 71.01%
98.19/98.25 c 98.2s| 1 | 0 |252087 | - | 119M| 0 | 941 |1000 | 15k|1000 |5699 | 16k| 0 | 0 |-3.512342e+02 |-1.020000e+02 | 70.96%
100.69/100.76 c 101s| 1 | 0 |257282 | - | 119M| 0 | 942 |1000 | 15k|1000 |5777 | 16k| 0 | 0 |-3.501743e+02 |-1.020000e+02 | 70.87%
102.79/102.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
102.79/102.89 c 103s| 1 | 0 |260432 | - | 117M| 0 | 942 |1000 | 15k|1000 |5899 | 16k| 0 | 0 |-3.492848e+02 |-1.020000e+02 | 70.80%
104.69/104.72 c 105s| 1 | 0 |262291 | - | 115M| 0 | 950 |1000 | 15k|1000 |5981 | 16k| 0 | 0 |-3.488277e+02 |-1.020000e+02 | 70.76%
106.99/107.00 c 107s| 1 | 0 |265783 | - | 115M| 0 | 950 |1000 | 15k|1000 |5809 | 16k| 0 | 0 |-3.482757e+02 |-1.020000e+02 | 70.71%
109.09/109.16 c 109s| 1 | 0 |268993 | - | 115M| 0 | 960 |1000 | 15k|1000 |5864 | 16k| 0 | 0 |-3.476128e+02 |-1.020000e+02 | 70.66%
111.69/111.72 c 112s| 1 | 0 |273586 | - | 114M| 0 | 967 |1000 | 15k|1000 |5956 | 16k| 0 | 0 |-3.468706e+02 |-1.020000e+02 | 70.59%
114.69/114.76 c 115s| 1 | 0 |279277 | - | 114M| 0 | 970 |1000 | 15k|1000 |6011 | 16k| 0 | 0 |-3.457433e+02 |-1.020000e+02 | 70.50%
116.89/116.97 c 117s| 1 | 0 |281694 | - | 113M| 0 | 956 |1000 | 15k|1000 |6082 | 16k| 0 | 0 |-3.452467e+02 |-1.020000e+02 | 70.46%
119.09/119.10 c 119s| 1 | 0 |283887 | - | 113M| 0 | 962 |1000 | 15k|1000 |6132 | 16k| 0 | 0 |-3.449535e+02 |-1.020000e+02 | 70.43%
121.49/121.58 c 122s| 1 | 0 |287424 | - | 113M| 0 | 972 |1000 | 15k|1000 |6006 | 16k| 0 | 0 |-3.443130e+02 |-1.020000e+02 | 70.38%
124.59/124.64 c 125s| 1 | 0 |292669 | - | 113M| 0 | 976 |1000 | 15k|1000 |6145 | 16k| 0 | 0 |-3.434852e+02 |-1.020000e+02 | 70.30%
127.19/127.24 c 127s| 1 | 0 |296153 | - | 113M| 0 | 973 |1000 | 15k|1000 |6241 | 16k| 0 | 0 |-3.426586e+02 |-1.020000e+02 | 70.23%
129.89/129.97 c 130s| 1 | 0 |300337 | - | 113M| 0 | 986 |1000 | 15k|1000 |6294 | 17k| 0 | 0 |-3.420318e+02 |-1.020000e+02 | 70.18%
132.89/132.91 c 133s| 1 | 0 |304271 | - | 113M| 0 | 986 |1000 | 15k|1000 |6381 | 17k| 0 | 0 |-3.416520e+02 |-1.020000e+02 | 70.15%
135.49/135.52 c 136s| 1 | 0 |307206 | - | 112M| 0 | 991 |1000 | 15k|1000 |6443 | 17k| 0 | 0 |-3.413871e+02 |-1.020000e+02 | 70.12%
138.09/138.12 c 138s| 1 | 0 |309777 | - | 112M| 0 | 986 |1000 | 15k|1000 |6302 | 17k| 0 | 0 |-3.411380e+02 |-1.020000e+02 | 70.10%
141.09/141.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
141.09/141.15 c 141s| 1 | 0 |313541 | - | 112M| 0 | 988 |1000 | 15k|1000 |6374 | 17k| 0 | 0 |-3.405295e+02 |-1.020000e+02 | 70.05%
143.69/143.75 c 144s| 1 | 0 |315925 | - | 111M| 0 | 989 |1000 | 15k|1000 |6411 | 17k| 0 | 0 |-3.401612e+02 |-1.020000e+02 | 70.01%
146.59/146.68 c 147s| 1 | 0 |319216 | - | 111M| 0 | 985 |1000 | 15k|1000 |6483 | 17k| 0 | 0 |-3.397831e+02 |-1.020000e+02 | 69.98%
149.29/149.32 c 149s| 1 | 0 |321908 | - | 111M| 0 | 989 |1000 | 15k|1000 |6507 | 17k| 0 | 0 |-3.392460e+02 |-1.020000e+02 | 69.93%
152.19/152.28 c 152s| 1 | 0 |324948 | - | 110M| 0 | 988 |1000 | 15k|1000 |6567 | 17k| 0 | 0 |-3.385374e+02 |-1.020000e+02 | 69.87%
155.20/155.24 c 155s| 1 | 0 |327822 | - | 110M| 0 | 988 |1000 | 15k|1000 |6445 | 17k| 0 | 0 |-3.378318e+02 |-1.020000e+02 | 69.81%
157.60/157.69 c 158s| 1 | 0 |329402 | - | 110M| 0 | 990 |1000 | 15k|1000 |6473 | 17k| 0 | 0 |-3.373531e+02 |-1.020000e+02 | 69.76%
160.69/160.77 c 161s| 1 | 0 |332960 | - | 110M| 0 | 991 |1000 | 15k|1000 |6516 | 17k| 0 | 0 |-3.368541e+02 |-1.020000e+02 | 69.72%
163.69/163.70 c 164s| 1 | 0 |335865 | - | 110M| 0 | 991 |1000 | 15k|1000 |6553 | 17k| 0 | 0 |-3.364949e+02 |-1.020000e+02 | 69.69%
167.21/167.23 c 167s| 1 | 0 |340328 | - | 110M| 0 | 991 |1000 | 15k|1000 |6575 | 17k| 0 | 0 |-3.357268e+02 |-1.020000e+02 | 69.62%
170.19/170.29 c 170s| 1 | 0 |343266 | - | 109M| 0 | 992 |1000 | 15k|1000 |6613 | 17k| 0 | 0 |-3.350771e+02 |-1.020000e+02 | 69.56%
173.19/173.27 c 173s| 1 | 0 |345955 | - | 109M| 0 | 992 |1000 | 15k|1000 |6554 | 17k| 0 | 0 |-3.347097e+02 |-1.020000e+02 | 69.53%
175.90/175.95 c 176s| 1 | 0 |348121 | - | 109M| 0 | 992 |1000 | 15k|1000 |6581 | 17k| 0 | 0 |-3.344060e+02 |-1.020000e+02 | 69.50%
178.89/178.91 c 179s| 1 | 0 |350999 | - | 108M| 0 | 993 |1000 | 15k|1000 |6608 | 17k| 0 | 0 |-3.340775e+02 |-1.020000e+02 | 69.47%
182.20/182.25 c 182s| 1 | 0 |355095 | - | 106M| 0 | 991 |1000 | 15k|1000 |6645 | 17k| 0 | 0 |-3.336728e+02 |-1.020000e+02 | 69.43%
185.00/185.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
185.00/185.05 c 185s| 1 | 0 |357494 | - | 105M| 0 | 994 |1000 | 15k|1000 |6675 | 17k| 0 | 0 |-3.332184e+02 |-1.020000e+02 | 69.39%
187.89/187.95 c 188s| 1 | 0 |360047 | - | 104M| 0 | 993 |1000 | 15k|1000 |6712 | 17k| 0 | 0 |-3.329381e+02 |-1.020000e+02 | 69.36%
190.50/190.55 c 191s| 1 | 0 |361503 | - | 104M| 0 | 994 |1000 | 15k|1000 |6651 | 17k| 0 | 0 |-3.326278e+02 |-1.020000e+02 | 69.34%
193.19/193.20 c 193s| 1 | 0 |363234 | - | 103M| 0 | 994 |1000 | 15k|1000 |6676 | 17k| 0 | 0 |-3.323479e+02 |-1.020000e+02 | 69.31%
196.00/196.09 c 196s| 1 | 0 |365652 | - | 103M| 0 | 992 |1000 | 15k|1000 |6700 | 17k| 0 | 0 |-3.319430e+02 |-1.020000e+02 | 69.27%
198.89/198.94 c 199s| 1 | 0 |367820 | - | 102M| 0 | 991 |1000 | 15k|1000 |6718 | 17k| 0 | 0 |-3.315515e+02 |-1.020000e+02 | 69.24%
201.40/201.46 c 201s| 1 | 0 |368946 | - | 101M| 0 | 990 |1000 | 15k|1000 |6737 | 18k| 0 | 0 |-3.313393e+02 |-1.020000e+02 | 69.22%
204.09/204.19 c 204s| 1 | 0 |370621 | - | 101M| 0 | 993 |1000 | 15k|1000 |6753 | 18k| 0 | 0 |-3.309832e+02 |-1.020000e+02 | 69.18%
206.90/206.97 c 207s| 1 | 0 |372608 | - | 99M| 0 | 993 |1000 | 15k|1000 |6671 | 18k| 0 | 0 |-3.307007e+02 |-1.020000e+02 | 69.16%
209.59/209.69 c 210s| 1 | 0 |374280 | - | 99M| 0 | 993 |1000 | 15k|1000 |6699 | 18k| 0 | 0 |-3.304571e+02 |-1.020000e+02 | 69.13%
212.50/212.59 c 213s| 1 | 0 |376218 | - | 98M| 0 | 994 |1000 | 15k|1000 |6723 | 18k| 0 | 0 |-3.301128e+02 |-1.020000e+02 | 69.10%
215.39/215.45 c 215s| 1 | 0 |377828 | - | 98M| 0 | 995 |1000 | 15k|1000 |6753 | 18k| 0 | 0 |-3.296417e+02 |-1.020000e+02 | 69.06%
218.20/218.29 c 218s| 1 | 0 |379846 | - | 97M| 0 | 994 |1000 | 15k|1000 |6783 | 18k| 0 | 0 |-3.293352e+02 |-1.020000e+02 | 69.03%
220.79/220.81 c 221s| 1 | 0 |380640 | - | 97M| 0 | 995 |1000 | 15k|1000 |6808 | 18k| 0 | 0 |-3.292532e+02 |-1.020000e+02 | 69.02%
224.10/224.15 c 224s| 1 | 0 |383676 | - | 96M| 0 | 997 |1000 | 15k|1000 |6761 | 18k| 0 | 0 |-3.286805e+02 |-1.020000e+02 | 68.97%
227.49/227.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
227.49/227.56 c 228s| 1 | 0 |387147 | - | 95M| 0 | 992 |1000 | 15k|1000 |6788 | 18k| 0 | 0 |-3.282689e+02 |-1.020000e+02 | 68.93%
230.30/230.33 c 230s| 1 | 0 |388505 | - | 95M| 0 | 996 |1000 | 15k|1000 |6813 | 18k| 0 | 0 |-3.279773e+02 |-1.020000e+02 | 68.90%
233.00/233.08 c 233s| 1 | 0 |389900 | - | 95M| 0 | 996 |1000 | 15k|1000 |6828 | 18k| 0 | 0 |-3.277935e+02 |-1.020000e+02 | 68.88%
235.90/235.94 c 236s| 1 | 0 |391379 | - | 94M| 0 | 998 |1000 | 15k|1000 |6843 | 18k| 0 | 0 |-3.275026e+02 |-1.020000e+02 | 68.86%
238.89/238.95 c 239s| 1 | 0 |393347 | - | 93M| 0 | 996 |1000 | 15k|1000 |6859 | 18k| 0 | 0 |-3.272045e+02 |-1.020000e+02 | 68.83%
242.39/242.40 c 242s| 1 | 0 |396578 | - | 93M| 0 | 997 |1000 | 15k|1000 |6831 | 18k| 0 | 0 |-3.268395e+02 |-1.020000e+02 | 68.79%
245.32/245.39 c 245s| 1 | 0 |398408 | - | 93M| 0 | 995 |1000 | 15k|1000 |6847 | 18k| 0 | 0 |-3.264090e+02 |-1.020000e+02 | 68.75%
248.09/248.19 c 248s| 1 | 0 |399890 | - | 92M| 0 | 998 |1000 | 15k|1000 |6875 | 18k| 0 | 0 |-3.261245e+02 |-1.020000e+02 | 68.72%
250.90/250.96 c 251s| 1 | 0 |401065 | - | 90M| 0 | 998 |1000 | 15k|1000 |6896 | 18k| 0 | 0 |-3.259014e+02 |-1.020000e+02 | 68.70%
253.59/253.65 c 254s| 1 | 0 |402210 | - | 90M| 0 | 998 |1000 | 15k|1000 |6913 | 18k| 0 | 0 |-3.256001e+02 |-1.020000e+02 | 68.67%
256.40/256.45 c 256s| 1 | 0 |403724 | - | 89M| 0 | 998 |1000 | 15k|1000 |6928 | 18k| 0 | 0 |-3.254151e+02 |-1.020000e+02 | 68.66%
259.20/259.22 c 259s| 1 | 0 |405029 | - | 88M| 0 | 996 |1000 | 15k|1000 |6890 | 18k| 0 | 0 |-3.250662e+02 |-1.020000e+02 | 68.62%
261.81/261.85 c 262s| 1 | 0 |405883 | - | 87M| 0 | 996 |1000 | 15k|1000 |6897 | 18k| 0 | 0 |-3.249138e+02 |-1.020000e+02 | 68.61%
264.49/264.54 c 265s| 1 | 0 |407114 | - | 85M| 0 | 997 |1000 | 15k|1000 |6915 | 18k| 0 | 0 |-3.247843e+02 |-1.020000e+02 | 68.59%
267.10/267.17 c 267s| 1 | 0 |408119 | - | 83M| 0 | 996 |1000 | 15k|1000 |6931 | 18k| 0 | 0 |-3.246169e+02 |-1.020000e+02 | 68.58%
269.70/269.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
269.70/269.79 c 270s| 1 | 0 |409062 | - | 81M| 0 | 995 |1000 | 15k|1000 |6942 | 18k| 0 | 0 |-3.244575e+02 |-1.020000e+02 | 68.56%
272.60/272.69 c 273s| 1 | 0 |410920 | - | 81M| 0 | 997 |1000 | 15k|1000 |6952 | 18k| 0 | 0 |-3.242294e+02 |-1.020000e+02 | 68.54%
275.19/275.27 c 275s| 1 | 0 |411898 | - | 80M| 0 | 997 |1000 | 15k|1000 |6909 | 18k| 0 | 0 |-3.240765e+02 |-1.020000e+02 | 68.53%
277.90/277.96 c 278s| 1 | 0 |413137 | - | 80M| 0 | 998 |1000 | 15k|1000 |6921 | 18k| 0 | 0 |-3.239114e+02 |-1.020000e+02 | 68.51%
280.40/280.47 c 280s| 1 | 0 |414007 | - | 77M| 0 | 998 |1000 | 15k|1000 |6937 | 18k| 0 | 0 |-3.237784e+02 |-1.020000e+02 | 68.50%
282.90/282.96 c 283s| 1 | 0 |414784 | - | 74M| 0 | 998 |1000 | 15k|1000 |6950 | 18k| 0 | 0 |-3.237095e+02 |-1.020000e+02 | 68.49%
285.50/285.50 c 286s| 1 | 0 |415755 | - | 70M| 0 | 997 |1000 | 15k|1000 |6960 | 18k| 0 | 0 |-3.236574e+02 |-1.020000e+02 | 68.49%
288.11/288.16 c 288s| 1 | 0 |417065 | - | 68M| 0 | 998 |1000 | 15k|1000 |6973 | 18k| 0 | 0 |-3.235870e+02 |-1.020000e+02 | 68.48%
290.89/290.93 c 291s| 1 | 0 |418749 | - | 65M| 0 | 999 |1000 | 15k|1000 |6925 | 18k| 0 | 0 |-3.233758e+02 |-1.020000e+02 | 68.46%
293.29/293.34 c 293s| 1 | 0 |419398 | - | 63M| 0 | 997 |1000 | 15k|1000 |6936 | 18k| 0 | 0 |-3.232995e+02 |-1.020000e+02 | 68.45%
295.70/295.79 c 296s| 1 | 0 |420221 | - | 63M| 0 | 997 |1000 | 15k|1000 |6950 | 18k| 0 | 0 |-3.232352e+02 |-1.020000e+02 | 68.44%
298.12/298.17 c 298s| 1 | 0 |420733 | - | 63M| 0 | 999 |1000 | 15k|1000 |6963 | 18k| 0 | 0 |-3.231862e+02 |-1.020000e+02 | 68.44%
300.40/300.42 c 300s| 1 | 0 |420935 | - | 63M| 0 | 999 |1000 | 15k|1000 |6970 | 18k| 0 | 0 |-3.231761e+02 |-1.020000e+02 | 68.44%
303.09/303.10 c 303s| 1 | 0 |422472 | - | 63M| 0 | 997 |1000 | 15k|1000 |6981 | 18k| 0 | 0 |-3.230731e+02 |-1.020000e+02 | 68.43%
305.50/305.58 c 306s| 1 | 0 |423329 | - | 63M| 0 | 966 |1000 | 15k|1000 |6933 | 18k| 0 | 0 |-3.230000e+02 |-1.020000e+02 | 68.42%
307.60/307.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
307.60/307.61 c 308s| 1 | 0 |423330 | - | 63M| 0 | 968 |1000 | 15k|1000 |6938 | 18k| 0 | 0 |-3.230000e+02 |-1.020000e+02 | 68.42%
309.50/309.59 c 310s| 1 | 0 |423332 | - | 63M| 0 | 977 |1000 | 15k|1000 |6943 | 18k| 0 | 0 |-3.230000e+02 |-1.020000e+02 | 68.42%
311.60/311.60 c 312s| 1 | 0 |423334 | - | 62M| 0 | 967 |1000 | 15k|1000 |6944 | 18k| 0 | 0 |-3.230000e+02 |-1.020000e+02 | 68.42%
313.51/313.58 c 314s| 1 | 0 |423335 | - | 62M| 0 | 969 |1000 | 15k|1000 |6946 | 18k| 0 | 0 |-3.230000e+02 |-1.020000e+02 | 68.42%
333.60/333.65 c 334s| 1 | 2 |423335 | - | 62M| 0 | 969 |1000 | 15k|1000 |6946 | 18k| 0 | 52 |-3.230000e+02 |-1.020000e+02 | 68.42%
1022.12/1022.14 c 1022s| 10000 | 10001 | 5158k| 473.5 | 81M| 71 | 150 |1000 | 15k|1000 |1144 |1085k| 0 |4134 |-3.188306e+02 |-1.020000e+02 | 68.01%
1452.23/1452.22 c 1452s| 20000 | 20001 | 8752k| 416.5 | 99M| 71 | 263 |1000 | 15k|1000 |1146 |2018k| 0 |6009 |-3.181419e+02 |-1.020000e+02 | 67.94%
1800.04/1800.01 c
1800.04/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.01 c Solving Time (sec) : 1800.01
1800.04/1800.01 c Solving Nodes : 29363
1800.04/1800.01 c Primal Bound : -1.02000000000000e+02 (419 solutions)
1800.04/1800.01 c Dual Bound : -3.17679344404389e+02
1800.04/1800.01 c Gap : 67.89 %
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3450685-1307107024/watcher-3450685-1307107024 -o /tmp/evaluation-result-3450685-1307107024/solver-3450685-1307107024 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450685-1307107024.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 2.02 1.99 2/498 21879
/proc/meminfo: memFree=26452132/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=14524 CPUtime=0 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 2639 0 0 0 0 0 0 0 25 0 1 0 900933129 14872576 2592 33554432000 4194304 9163163 140733244693424 18446744073709551615 8045195 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21879/statm: 3631 2592 415 1214 0 2413 0
[startup+0.021234 s]
/proc/loadavg: 1.92 2.02 1.99 2/498 21879
/proc/meminfo: memFree=26452132/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=19468 CPUtime=0.01 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 3885 0 0 0 1 0 0 0 25 0 1 0 900933129 19935232 3838 33554432000 4194304 9163163 140733244693424 18446744073709551615 4339518 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21879/statm: 4867 3838 415 1214 0 3649 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 19468
[startup+0.100212 s]
/proc/loadavg: 1.92 2.02 1.99 2/498 21879
/proc/meminfo: memFree=26452132/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=39020 CPUtime=0.09 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 8697 0 0 0 9 0 0 0 25 0 1 0 900933129 39956480 8649 33554432000 4194304 9163163 140733244693424 18446744073709551615 6922376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 9755 8650 447 1214 0 8537 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39020
[startup+0.301196 s]
/proc/loadavg: 1.92 2.02 1.99 2/498 21879
/proc/meminfo: memFree=26452132/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=73124 CPUtime=0.29 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 17151 0 0 0 28 1 0 0 25 0 1 0 900933129 74878976 16750 33554432000 4194304 9163163 140733244693424 18446744073709551615 18446744073699065863 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 18281 16750 526 1214 0 17063 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 73124
[startup+0.701109 s]
/proc/loadavg: 1.92 2.02 1.99 2/498 21879
/proc/meminfo: memFree=26452132/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=102760 CPUtime=0.69 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 25503 0 0 0 66 3 0 0 25 0 1 0 900933129 105226240 23717 33554432000 4194304 9163163 140733244693424 18446744073709551615 4693616 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 25690 23717 721 1214 0 24472 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 102760
[startup+1.50097 s]
/proc/loadavg: 1.92 2.02 1.99 3/499 21880
/proc/meminfo: memFree=26358260/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=104024 CPUtime=1.49 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 28605 0 0 0 145 4 0 0 25 0 1 0 900933129 106520576 24454 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 26006 24454 729 1214 0 24788 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 104024
[startup+3.10067 s]
/proc/loadavg: 1.92 2.02 1.99 3/499 21880
/proc/meminfo: memFree=26350204/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=112028 CPUtime=3.09 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 30830 0 0 0 304 5 0 0 25 0 1 0 900933129 114716672 26648 33554432000 4194304 9163163 140733244693424 18446744073709551615 4684206 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 28007 26648 814 1214 0 26789 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 112028
[startup+6.30108 s]
/proc/loadavg: 2.01 2.04 2.00 3/499 21880
/proc/meminfo: memFree=26343024/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=117620 CPUtime=6.29 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 32185 0 0 0 621 8 0 0 25 0 1 0 900933129 120442880 27881 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 29405 27881 701 1214 0 28187 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 117620
[startup+12.7009 s]
/proc/loadavg: 2.01 2.04 2.00 3/499 21880
/proc/meminfo: memFree=26313792/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=144896 CPUtime=12.69 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 39272 0 0 0 1249 20 0 0 25 0 1 0 900933129 148373504 34719 33554432000 4194304 9163163 140733244693424 18446744073709551615 6652401 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 36224 34719 744 1214 0 35006 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 144896
[startup+25.5005 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 21881
/proc/meminfo: memFree=26299552/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=159932 CPUtime=25.49 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 42960 0 0 0 2506 43 0 0 25 0 1 0 900933129 163770368 38217 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 39983 38217 724 1214 0 38765 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 159932
[startup+51.1008 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 21881
/proc/meminfo: memFree=26260512/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=200024 CPUtime=51.09 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 52938 0 0 0 5024 85 0 0 25 0 1 0 900933129 204824576 47949 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 50006 47949 702 1214 0 48788 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 200024
[startup+102.318 s]
/proc/loadavg: 2.04 2.04 2.00 3/499 21883
/proc/meminfo: memFree=26255588/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=203268 CPUtime=102.31 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 53779 0 0 0 10085 146 0 0 25 0 1 0 900933129 208146432 48781 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 50817 48781 702 1214 0 49599 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 203268
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 21884
/proc/meminfo: memFree=26254284/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=203268 CPUtime=162.29 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 53797 0 0 0 16024 205 0 0 25 0 1 0 900933129 208146432 48799 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 50817 48799 702 1214 0 49599 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 203268
[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 21886
/proc/meminfo: memFree=26257088/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=203268 CPUtime=222.3 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 53805 0 0 0 21978 252 0 0 25 0 1 0 900933129 208146432 48807 33554432000 4194304 9163163 140733244693424 18446744073709551615 6611656 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 50817 48807 702 1214 0 49599 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 203268
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 21888
/proc/meminfo: memFree=26258644/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=203268 CPUtime=282.29 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 53810 0 0 0 27932 297 0 0 25 0 1 0 900933129 208146432 48812 33554432000 4194304 9163163 140733244693424 18446744073709551615 6668685 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 50817 48812 702 1214 0 49599 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 203268
[startup+342.301 s]
/proc/loadavg: 2.09 2.04 2.01 3/499 21889
/proc/meminfo: memFree=26257344/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=204592 CPUtime=342.3 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 54176 0 0 0 33870 360 0 0 25 0 1 0 900933129 209502208 49178 33554432000 4194304 9163163 140733244693424 18446744073709551615 7390540 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 51148 49178 722 1214 0 49930 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 204592
[startup+402.301 s]
/proc/loadavg: 2.07 2.04 2.01 3/499 21891
/proc/meminfo: memFree=26257060/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=204592 CPUtime=402.3 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 54177 0 0 0 39678 552 0 0 25 0 1 0 900933129 209502208 49179 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 51148 49179 723 1214 0 49930 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 204592
[startup+462.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/499 21892
/proc/meminfo: memFree=26258536/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=202544 CPUtime=462.3 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 55634 0 0 0 45474 756 0 0 25 0 1 0 900933129 207405056 48724 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 50636 48724 731 1214 0 49418 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 202544
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/499 21894
/proc/meminfo: memFree=26258640/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=202544 CPUtime=522.3 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 55635 0 0 0 51254 976 0 0 25 0 1 0 900933129 207405056 48725 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 50636 48725 731 1214 0 49418 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 202544
[startup+582.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/499 21896
/proc/meminfo: memFree=26255140/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=202544 CPUtime=582.31 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 57838 0 0 0 57035 1196 0 0 25 0 1 0 900933129 207405056 48731 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 50636 48731 731 1214 0 49418 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 202544
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 21902
/proc/meminfo: memFree=26245008/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=202544 CPUtime=822.31 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 70860 0 0 0 80125 2106 0 0 25 0 1 0 900933129 207405056 48747 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 50636 48747 731 1214 0 49418 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 202544
[startup+882.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/499 21904
/proc/meminfo: memFree=26244124/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=203604 CPUtime=882.32 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 70869 0 0 0 85895 2337 0 0 25 0 1 0 900933129 208490496 48756 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 50901 48756 731 1214 0 49683 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 203604
[startup+942.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/499 21905
/proc/meminfo: memFree=26239760/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=203604 CPUtime=942.32 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 70873 0 0 0 91660 2572 0 0 25 0 1 0 900933129 208490496 48760 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 50901 48760 731 1214 0 49683 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 203604
[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/499 21907
/proc/meminfo: memFree=26235652/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=204440 CPUtime=1002.32 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 71054 0 0 0 97431 2801 0 0 25 0 1 0 900933129 209346560 48941 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 51110 48941 731 1214 0 49892 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 204440
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 21908
/proc/meminfo: memFree=26231044/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=207384 CPUtime=1062.33 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 71796 0 0 0 103203 3030 0 0 25 0 1 0 900933129 212361216 49674 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 51846 49674 731 1214 0 50628 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 207384
[startup+1122.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/499 21910
/proc/meminfo: memFree=26224572/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=211136 CPUtime=1122.33 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 72765 0 0 0 108971 3262 0 0 25 0 1 0 900933129 216203264 50625 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 52784 50625 731 1214 0 51566 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 211136
[startup+1182.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/499 21912
/proc/meminfo: memFree=26218728/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=212676 CPUtime=1182.33 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 73166 0 0 0 114730 3503 0 0 25 0 1 0 900933129 217780224 51025 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 53169 51025 731 1214 0 51951 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 212676
[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/499 21913
/proc/meminfo: memFree=26214368/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=214912 CPUtime=1242.33 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 73748 0 0 0 120489 3744 0 0 25 0 1 0 900933129 220069888 51606 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 53728 51606 731 1214 0 52510 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 214912
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 21915
/proc/meminfo: memFree=26208400/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=215564 CPUtime=1302.34 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 73899 0 0 0 126244 3990 0 0 25 0 1 0 900933129 220737536 51757 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 53891 51757 731 1214 0 52673 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 215564
[startup+1362.3 s]
/proc/loadavg: 1.51 1.89 1.96 2/493 21937
/proc/meminfo: memFree=26454736/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=219876 CPUtime=1362.33 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 81464 0 0 0 131938 4295 0 0 25 0 1 0 900933129 225153024 52834 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 54969 52834 731 1214 0 53751 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 219876
[startup+1422.32 s]
/proc/loadavg: 1.19 1.72 1.89 2/493 21939
/proc/meminfo: memFree=26450876/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=223544 CPUtime=1422.35 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 82433 0 0 0 137601 4634 0 0 25 0 1 0 900933129 228909056 53783 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 55886 53783 731 1214 0 54668 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 223544
[startup+1482.3 s]
/proc/loadavg: 1.07 1.59 1.84 2/493 21941
/proc/meminfo: memFree=26446140/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=228212 CPUtime=1482.33 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 83635 0 0 0 143272 4961 0 0 25 0 1 0 900933129 233689088 54954 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 57053 54954 731 1214 0 55835 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 228212
[startup+1542.3 s]
/proc/loadavg: 1.02 1.48 1.78 2/493 21942
/proc/meminfo: memFree=26442148/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=233432 CPUtime=1542.34 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 84911 0 0 0 148918 5316 0 0 25 0 1 0 900933129 239034368 56229 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 58358 56229 731 1214 0 57140 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 233432
[startup+1602.3 s]
/proc/loadavg: 1.01 1.39 1.73 2/493 21944
/proc/meminfo: memFree=26439768/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=235452 CPUtime=1602.34 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 92110 0 0 0 154566 5668 0 0 25 0 1 0 900933129 241102848 56783 33554432000 4194304 9163163 140733244693424 18446744073709551615 7447691 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 58863 56783 731 1214 0 57645 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 235452
[startup+1662.3 s]
/proc/loadavg: 1.10 1.35 1.69 2/493 21945
/proc/meminfo: memFree=26436260/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=239268 CPUtime=1662.34 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 93067 0 0 0 160229 6005 0 0 25 0 1 0 900933129 245010432 57740 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 59817 57740 731 1214 0 58599 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 239268
[startup+1722.3 s]
/proc/loadavg: 1.08 1.29 1.65 2/493 21947
/proc/meminfo: memFree=26433636/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=241756 CPUtime=1722.34 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 93688 0 0 0 165886 6348 0 0 25 0 1 0 900933129 247558144 58342 33554432000 4194304 9163163 140733244693424 18446744073709551615 6390986 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 60439 58342 731 1214 0 59221 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 241756
[startup+1782.3 s]
/proc/loadavg: 1.03 1.24 1.61 2/493 21949
/proc/meminfo: memFree=26430012/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=244020 CPUtime=1782.34 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 100733 0 0 0 171549 6685 0 0 25 0 1 0 900933129 249876480 58931 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 61005 58931 731 1214 0 59787 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 244020
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.02 1.22 1.59 2/493 21949
/proc/meminfo: memFree=26430752/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=244020 CPUtime=1800.05 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 100743 0 0 0 173221 6784 0 0 25 0 1 0 900933129 249876480 58941 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 61005 58941 731 1214 0 59787 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 244020
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.09
CPU user time (s): 1732.23
CPU system time (s): 67.8587
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 266532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1732.23
system time used= 67.8587
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100743
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 20830
runsolver used 8.02578 second user time and 20.8978 second system time
The end