0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3692105-1338032418.opb>
0.09/0.13 c original problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58624 constraints
0.09/0.13 c problem read in 0.13
0.09/0.19 o 0
0.19/0.20 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.19/0.20 c presolving:
0.49/0.51 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 58624 upgd conss, 117248 impls, 0 clqs
0.69/0.77 c (0.8s) probing: 51/945 (5.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.69/0.77 c (0.8s) probing aborted: 50/50 successive totally useless probings
0.69/0.78 c presolving (2 rounds):
0.69/0.78 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.69/0.78 c 117248 implications, 0 cliques
0.69/0.78 c presolved problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58624 constraints
0.69/0.78 c 58624 constraints of type <setppc>
0.69/0.78 c transformed objective value is always integral (scale: 1)
0.69/0.78 c Presolving Time: 0.59
0.69/0.78 c - non default parameters ----------------------------------------------------------------------
0.69/0.78 c # SCIP version 2.1.1.4
0.69/0.78 c
0.69/0.78 c # maximal time in seconds to run
0.69/0.78 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.78 c limits/time = 1797
0.69/0.78 c
0.69/0.78 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.69/0.78 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.78 c limits/memory = 13950
0.69/0.78 c
0.69/0.78 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.69/0.78 c # [type: int, range: [1,2], default: 1]
0.69/0.78 c timing/clocktype = 2
0.69/0.78 c
0.69/0.78 c # belongs reading time to solving time?
0.69/0.78 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.78 c timing/reading = TRUE
0.69/0.78 c
0.69/0.78 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.69/0.78 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.78 c separating/rapidlearning/freq = 0
0.69/0.78 c
0.69/0.78 c -----------------------------------------------------------------------------------------------
0.69/0.78 c start solving
0.79/0.80 c
1.39/1.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.39/1.43 c t 1.4s| 1 | 0 | 946 | - | 77M| 0 | 945 | 945 | 58k| 945 | 58k| 0 | 0 | 0 |-4.725000e+02 | 0.000000e+00 | Inf
1.39/1.47 o -1
1.39/1.47 c R 1.5s| 1 | 0 | 946 | - | 77M| 0 | 945 | 945 | 58k| 945 | 58k| 0 | 0 | 0 |-4.725000e+02 |-1.000000e+00 | Large
1.49/1.51 o -2
1.49/1.51 c s 1.5s| 1 | 0 | 946 | - | 77M| 0 | 945 | 945 | 58k| 945 | 58k| 0 | 0 | 0 |-4.725000e+02 |-2.000000e+00 | Large
2.59/2.61 c 2.6s| 1 | 0 | 1217 | - | 77M| 0 | 887 | 945 | 58k| 945 | 58k| 7 | 0 | 0 |-4.435000e+02 |-2.000000e+00 | Large
2.59/2.63 o -30
2.59/2.63 c b 2.6s| 1 | 0 | 1217 | - | 77M| 0 | 887 | 945 | 58k| 945 | 58k| 7 | 0 | 0 |-4.435000e+02 |-3.000000e+01 |1378.33%
3.79/3.88 c 3.9s| 1 | 0 | 1427 | - | 77M| 0 | 829 | 945 | 58k| 945 | 58k| 32 | 0 | 0 |-4.145000e+02 |-3.000000e+01 |1281.67%
5.50/5.53 c 5.5s| 1 | 0 | 1660 | - | 77M| 0 | 774 | 945 | 58k| 945 | 58k| 55 | 0 | 0 |-3.870000e+02 |-3.000000e+01 |1190.00%
7.60/7.64 c 7.6s| 1 | 0 | 2079 | - | 77M| 0 | 724 | 945 | 58k| 945 | 58k| 72 | 0 | 0 |-3.620000e+02 |-3.000000e+01 |1106.67%
10.29/10.34 c 10.3s| 1 | 0 | 2424 | - | 78M| 0 | 683 | 945 | 58k| 945 | 58k| 88 | 0 | 0 |-3.415000e+02 |-3.000000e+01 |1038.33%
12.39/12.47 c 12.5s| 1 | 0 | 2659 | - | 78M| 0 | 641 | 945 | 58k| 945 | 58k| 101 | 0 | 0 |-3.205000e+02 |-3.000000e+01 | 968.33%
14.79/14.81 c 14.8s| 1 | 0 | 2927 | - | 78M| 0 | 597 | 945 | 58k| 945 | 58k| 113 | 0 | 0 |-2.985000e+02 |-3.000000e+01 | 895.00%
17.19/17.25 c 17.3s| 1 | 0 | 3211 | - | 78M| 0 | 564 | 945 | 58k| 945 | 58k| 126 | 0 | 0 |-2.805000e+02 |-3.000000e+01 | 835.00%
19.58/19.60 c 19.6s| 1 | 0 | 3670 | - | 78M| 0 | 520 | 945 | 58k| 945 | 58k| 139 | 0 | 0 |-2.600000e+02 |-3.000000e+01 | 766.67%
22.28/22.32 c 22.3s| 1 | 0 | 4603 | - | 78M| 0 | 485 | 945 | 58k| 945 | 58k| 151 | 0 | 0 |-2.425000e+02 |-3.000000e+01 | 708.33%
22.78/22.82 c 22.8s| 1 | 0 | 4871 | - | 78M| 0 | 445 | 945 | 58k| 945 | 58k| 164 | 0 | 0 |-2.225000e+02 |-3.000000e+01 | 641.67%
24.88/24.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.88/24.97 c 25.0s| 1 | 0 | 7272 | - | 78M| 0 | 401 | 945 | 58k| 945 | 58k| 180 | 0 | 0 |-2.005000e+02 |-3.000000e+01 | 568.33%
26.48/26.50 c 26.5s| 1 | 0 | 8894 | - | 78M| 0 | 349 | 945 | 58k| 945 | 58k| 188 | 0 | 0 |-1.745000e+02 |-3.000000e+01 | 481.67%
27.99/28.03 c 28.0s| 1 | 0 | 11020 | - | 78M| 0 | 295 | 945 | 58k| 945 | 58k| 200 | 0 | 0 |-1.475000e+02 |-3.000000e+01 | 391.67%
29.09/29.16 c 29.2s| 1 | 0 | 12380 | - | 78M| 0 | 263 | 945 | 58k| 945 | 58k| 210 | 0 | 0 |-1.315000e+02 |-3.000000e+01 | 338.33%
29.59/29.65 c 29.6s| 1 | 0 | 12712 | - | 78M| 0 | 245 | 945 | 58k| 945 | 58k| 217 | 0 | 0 |-1.225000e+02 |-3.000000e+01 | 308.33%
31.38/31.42 c 31.4s| 1 | 0 | 14985 | - | 78M| 0 | 213 | 945 | 58k| 945 | 58k| 227 | 0 | 0 |-1.065000e+02 |-3.000000e+01 | 255.00%
31.79/31.90 c 31.9s| 1 | 0 | 15329 | - | 78M| 0 | 197 | 945 | 58k| 945 | 58k| 235 | 0 | 0 |-9.850000e+01 |-3.000000e+01 | 228.33%
32.99/33.05 c 33.0s| 1 | 0 | 16863 | - | 78M| 0 | 175 | 945 | 58k| 945 | 58k| 248 | 0 | 0 |-8.750000e+01 |-3.000000e+01 | 191.67%
33.89/33.90 c 33.9s| 1 | 0 | 17689 | - | 78M| 0 | 159 | 945 | 58k| 945 | 58k| 255 | 0 | 0 |-7.950000e+01 |-3.000000e+01 | 165.00%
34.39/34.47 c 34.5s| 1 | 0 | 18692 | - | 78M| 0 | 138 | 945 | 58k| 945 | 58k| 259 | 0 | 0 |-6.550000e+01 |-3.000000e+01 | 118.33%
34.88/34.98 c 35.0s| 1 | 0 | 19733 | - | 78M| 0 | 128 | 945 | 58k| 945 | 58k| 265 | 0 | 0 |-5.900000e+01 |-3.000000e+01 | 96.67%
35.19/35.27 c 35.3s| 1 | 0 | 20157 | - | 78M| 0 | 97 | 945 | 58k| 945 | 58k| 268 | 0 | 0 |-4.850000e+01 |-3.000000e+01 | 61.67%
35.28/35.33 c 35.3s| 1 | 0 | 20188 | - | 78M| 0 | 91 | 945 | 58k| 945 | 58k| 273 | 0 | 0 |-4.550000e+01 |-3.000000e+01 | 51.67%
35.28/35.36 c 35.4s| 1 | 0 | 20194 | - | 78M| 0 | 91 | 945 | 58k| 945 | 58k| 279 | 0 | 0 |-4.550000e+01 |-3.000000e+01 | 51.67%
35.38/35.42 c 35.4s| 1 | 0 | 20231 | - | 78M| 0 | 103 | 945 | 58k| 945 | 58k| 286 | 0 | 0 |-4.550000e+01 |-3.000000e+01 | 51.67%
35.38/35.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.38/35.46 c 35.5s| 1 | 0 | 20245 | - | 78M| 0 | 103 | 945 | 58k| 945 | 58k| 292 | 0 | 0 |-4.550000e+01 |-3.000000e+01 | 51.67%
35.38/35.49 c 35.5s| 1 | 0 | 20250 | - | 78M| 0 | 91 | 945 | 58k| 945 | 58k| 296 | 0 | 0 |-4.550000e+01 |-3.000000e+01 | 51.67%
35.48/35.58 c 35.6s| 1 | 0 | 20296 | - | 78M| 0 | 117 | 945 | 58k| 945 | 58k| 302 | 0 | 0 |-4.533333e+01 |-3.000000e+01 | 51.11%
35.58/35.63 c 35.6s| 1 | 0 | 20325 | - | 78M| 0 | 119 | 945 | 58k| 945 | 58k| 314 | 0 | 0 |-4.533333e+01 |-3.000000e+01 | 51.11%
35.68/35.71 c 35.7s| 1 | 0 | 20376 | - | 78M| 0 | 132 | 945 | 58k| 945 | 58k| 322 | 0 | 0 |-4.533333e+01 |-3.000000e+01 | 51.11%
35.78/35.80 c 35.8s| 1 | 0 | 20437 | - | 78M| 0 | 135 | 945 | 58k| 945 | 58k| 331 | 0 | 0 |-4.533333e+01 |-3.000000e+01 | 51.11%
35.78/35.88 c 35.9s| 1 | 0 | 20486 | - | 78M| 0 | 139 | 945 | 58k| 945 | 58k| 342 | 0 | 0 |-4.533333e+01 |-3.000000e+01 | 51.11%
35.88/35.94 c 35.9s| 1 | 0 | 20510 | - | 78M| 0 | 141 | 945 | 58k| 945 | 58k| 348 | 0 | 0 |-4.533333e+01 |-3.000000e+01 | 51.11%
40.48/40.52 c 40.5s| 1 | 2 | 20510 | - | 78M| 0 | 141 | 945 | 58k| 945 | 58k| 348 | 0 | 21 |-4.533333e+01 |-3.000000e+01 | 51.11%
56.68/56.74 o -31
56.68/56.74 c c56.7s| 8 | 9 | 21425 | 130.7 | 80M| 7 | - | 945 | 58k| 945 | 58k| 348 | 0 | 193 |-4.533333e+01 |-3.100000e+01 | 46.24%
56.68/56.76 o -32
56.68/56.76 c c56.8s| 8 | 9 | 21427 | 131.0 | 80M| 7 | - | 945 | 58k| 945 | 58k| 348 | 0 | 193 |-4.533333e+01 |-3.200000e+01 | 41.67%
72.88/72.96 o -33
72.88/72.96 c p73.0s| 14 | 15 | 22214 | 131.1 | 81M| 7 | - | 945 | 58k| 945 | 58k| 348 | 0 | 349 |-4.500000e+01 |-3.300000e+01 | 36.36%
85.48/85.56 o -34
85.48/85.56 c f85.6s| 19 | 20 | 23256 | 152.6 | 82M| 7 | - | 945 | 58k| 945 | 58k| 348 | 0 | 467 |-4.500000e+01 |-3.400000e+01 | 32.35%
152.77/152.82 o -35
152.77/152.82 c l 153s| 67 | 68 | 26992 | 98.2 | 85M| 17 | - | 945 | 58k| 945 | 58k| 348 | 0 |1276 |-4.500000e+01 |-3.500000e+01 | 28.57%
173.15/173.22 o -36
173.15/173.22 c c 173s| 91 | 88 | 28989 | 94.2 | 86M| 19 | - | 945 | 58k| 945 | 58k| 348 | 0 |1498 |-4.500000e+01 |-3.600000e+01 | 25.00%
173.76/173.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
173.76/173.85 c 174s| 100 | 97 | 29436 | 90.2 | 86M| 19 | 75 | 945 | 58k| 945 | 58k| 348 | 0 |1498 |-4.500000e+01 |-3.600000e+01 | 25.00%
178.35/178.49 o -37
178.35/178.49 c l 178s| 141 | 134 | 32702 | 87.1 | 87M| 22 | - | 945 | 58k| 945 | 58k| 348 | 0 |1505 |-4.500000e+01 |-3.700000e+01 | 21.62%
184.85/184.94 c 185s| 200 | 181 | 36420 | 79.9 | 88M| 26 | 69 | 945 | 58k| 945 | 58k| 348 | 0 |1524 |-4.500000e+01 |-3.700000e+01 | 21.62%
187.45/187.59 o -38
187.45/187.59 c c 188s| 236 | 197 | 37959 | 74.3 | 89M| 29 | - | 945 | 58k| 945 | 58k| 348 | 0 |1533 |-4.500000e+01 |-3.800000e+01 | 18.42%
191.85/191.96 c 192s| 300 | 235 | 40951 | 68.4 | 90M| 36 | 74 | 945 | 58k| 945 | 58k| 348 | 0 |1542 |-4.500000e+01 |-3.800000e+01 | 18.42%
203.35/203.42 c 203s| 400 | 315 | 47398 | 67.4 | 93M| 36 | 106 | 945 | 58k| 945 | 58k| 348 | 0 |1586 |-4.500000e+01 |-3.800000e+01 | 18.42%
205.24/205.36 o -40
205.24/205.36 c c 205s| 429 | 257 | 48410 | 65.2 | 92M| 36 | - | 945 | 58k| 945 | 58k| 348 | 0 |1591 |-4.500000e+01 |-4.000000e+01 | 12.50%
211.25/211.33 c 211s| 500 | 304 | 51826 | 62.8 | 94M| 36 | 71 | 945 | 58k| 945 | 58k| 348 | 0 |1617 |-4.500000e+01 |-4.000000e+01 | 12.50%
220.95/221.08 c 221s| 600 | 352 | 57816 | 62.3 | 95M| 36 | 131 | 945 | 58k| 945 | 58k| 348 | 0 |1649 |-4.500000e+01 |-4.000000e+01 | 12.50%
229.34/229.44 c 229s| 700 | 404 | 62332 | 59.8 | 97M| 36 | 70 | 945 | 58k| 945 | 58k| 348 | 0 |1686 |-4.500000e+01 |-4.000000e+01 | 12.50%
235.74/235.80 c 236s| 800 | 448 | 65834 | 56.7 | 98M| 39 | 121 | 945 | 58k| 945 | 58k| 348 | 0 |1713 |-4.500000e+01 |-4.000000e+01 | 12.50%
244.44/244.53 c 245s| 900 | 506 | 70602 | 55.7 | 100M| 39 | 75 | 945 | 58k| 945 | 58k| 348 | 0 |1751 |-4.500000e+01 |-4.000000e+01 | 12.50%
251.84/251.90 c 252s| 1000 | 558 | 75639 | 55.2 | 102M| 46 | 125 | 945 | 58k| 945 | 58k| 348 | 0 |1766 |-4.500000e+01 |-4.000000e+01 | 12.50%
263.53/263.70 c 264s| 1100 | 658 | 82236 | 56.2 | 104M| 53 | 107 | 945 | 58k| 945 | 58k| 348 | 0 |1792 |-4.500000e+01 |-4.000000e+01 | 12.50%
281.04/281.16 c 281s| 1200 | 756 | 92900 | 60.4 | 107M| 53 | 90 | 945 | 58k| 945 | 58k| 348 | 0 |1822 |-4.500000e+01 |-4.000000e+01 | 12.50%
292.54/292.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
292.54/292.63 c 293s| 1300 | 854 | 99025 | 60.4 | 109M| 53 | 85 | 945 | 58k| 945 | 58k| 348 | 0 |1848 |-4.500000e+01 |-4.000000e+01 | 12.50%
304.53/304.61 c 305s| 1400 | 952 |106292 | 61.3 | 112M| 53 | 95 | 945 | 58k| 945 | 58k| 348 | 0 |1874 |-4.500000e+01 |-4.000000e+01 | 12.50%
323.13/323.30 c 323s| 1500 | 1050 |116829 | 64.3 | 115M| 53 | 81 | 945 | 58k| 945 | 58k| 348 | 0 |1917 |-4.500000e+01 |-4.000000e+01 | 12.50%
343.62/343.75 c 344s| 1600 | 1148 |129911 | 68.4 | 118M| 53 | 111 | 945 | 58k| 945 | 58k| 348 | 0 |1969 |-4.500000e+01 |-4.000000e+01 | 12.50%
355.72/355.83 c 356s| 1700 | 1234 |137942 | 69.1 | 120M| 53 | 73 | 945 | 58k| 945 | 58k| 348 | 0 |2004 |-4.500000e+01 |-4.000000e+01 | 12.50%
372.21/372.37 c 372s| 1800 | 1332 |147139 | 70.4 | 123M| 53 | 114 | 945 | 58k| 945 | 58k| 348 | 0 |2042 |-4.500000e+01 |-4.000000e+01 | 12.50%
391.21/391.35 c 391s| 1900 | 1428 |159411 | 73.1 | 126M| 53 | 105 | 945 | 58k| 945 | 58k| 348 | 0 |2079 |-4.500000e+01 |-4.000000e+01 | 12.50%
410.61/410.80 c 411s| 2000 | 1528 |172331 | 75.9 | 129M| 53 | 72 | 945 | 58k| 945 | 58k| 348 | 0 |2105 |-4.500000e+01 |-4.000000e+01 | 12.50%
434.21/434.32 c 434s| 2100 | 1620 |186304 | 79.0 | 131M| 53 | 72 | 945 | 58k| 945 | 58k| 348 | 0 |2183 |-4.500000e+01 |-4.000000e+01 | 12.50%
455.21/455.36 c 455s| 2200 | 1716 |200707 | 81.9 | 134M| 53 | 74 | 945 | 58k| 945 | 58k| 348 | 0 |2207 |-4.500000e+01 |-4.000000e+01 | 12.50%
472.50/472.63 c 473s| 2300 | 1806 |211966 | 83.3 | 137M| 53 | 60 | 945 | 58k| 945 | 58k| 348 | 0 |2229 |-4.500000e+01 |-4.000000e+01 | 12.50%
487.30/487.46 c 487s| 2400 | 1892 |222317 | 84.1 | 139M| 53 | 74 | 945 | 58k| 945 | 58k| 348 | 0 |2257 |-4.500000e+01 |-4.000000e+01 | 12.50%
502.39/502.51 c 503s| 2500 | 1988 |233345 | 85.2 | 142M| 53 | 86 | 945 | 58k| 945 | 58k| 348 | 0 |2283 |-4.500000e+01 |-4.000000e+01 | 12.50%
520.69/520.87 c 521s| 2600 | 2078 |246140 | 86.8 | 145M| 53 | 68 | 945 | 58k| 945 | 58k| 348 | 0 |2300 |-4.500000e+01 |-4.000000e+01 | 12.50%
536.99/537.14 c 537s| 2700 | 2164 |257955 | 88.0 | 147M| 53 | 130 | 945 | 58k| 945 | 58k| 348 | 0 |2319 |-4.500000e+01 |-4.000000e+01 | 12.50%
550.79/550.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
550.79/550.98 c 551s| 2800 | 2248 |267853 | 88.4 | 150M| 53 | 82 | 945 | 58k| 945 | 58k| 348 | 0 |2325 |-4.500000e+01 |-4.000000e+01 | 12.50%
561.90/562.08 c 562s| 2900 | 2334 |276476 | 88.3 | 152M| 53 | 52 | 945 | 58k| 945 | 58k| 348 | 0 |2332 |-4.500000e+01 |-4.000000e+01 | 12.50%
577.40/577.57 c 578s| 3000 | 2422 |287722 | 89.1 | 154M| 53 | 93 | 945 | 58k| 945 | 58k| 348 | 0 |2343 |-4.500000e+01 |-4.000000e+01 | 12.50%
589.18/589.39 c 589s| 3100 | 2514 |295942 | 88.9 | 157M| 53 | 103 | 945 | 58k| 945 | 58k| 348 | 0 |2347 |-4.500000e+01 |-4.000000e+01 | 12.50%
603.18/603.32 c 603s| 3200 | 2596 |305357 | 89.0 | 159M| 56 | 88 | 945 | 58k| 945 | 58k| 348 | 0 |2351 |-4.500000e+01 |-4.000000e+01 | 12.50%
617.78/617.92 c 618s| 3300 | 2686 |316294 | 89.7 | 162M| 56 | 70 | 945 | 58k| 945 | 58k| 348 | 0 |2372 |-4.500000e+01 |-4.000000e+01 | 12.50%
634.49/634.60 c 635s| 3400 | 2768 |325675 | 89.8 | 164M| 56 | 118 | 945 | 58k| 945 | 58k| 348 | 0 |2411 |-4.500000e+01 |-4.000000e+01 | 12.50%
652.87/653.09 c 653s| 3500 | 2852 |337149 | 90.5 | 166M| 56 | 101 | 945 | 58k| 945 | 58k| 348 | 0 |2465 |-4.500000e+01 |-4.000000e+01 | 12.50%
666.07/666.22 c 666s| 3600 | 2930 |345811 | 90.4 | 168M| 56 | 122 | 945 | 58k| 945 | 58k| 348 | 0 |2489 |-4.500000e+01 |-4.000000e+01 | 12.50%
684.07/684.23 c 684s| 3700 | 3022 |357997 | 91.2 | 171M| 56 | 66 | 945 | 58k| 945 | 58k| 348 | 0 |2545 |-4.500000e+01 |-4.000000e+01 | 12.50%
699.47/699.65 c 700s| 3800 | 3106 |368502 | 91.6 | 174M| 56 | 63 | 945 | 58k| 945 | 58k| 348 | 0 |2581 |-4.500000e+01 |-4.000000e+01 | 12.50%
718.67/718.80 c 719s| 3900 | 3194 |379982 | 92.2 | 177M| 56 | 113 | 945 | 58k| 945 | 58k| 348 | 0 |2630 |-4.500000e+01 |-4.000000e+01 | 12.50%
735.56/735.71 c 736s| 4000 | 3276 |391694 | 92.8 | 179M| 56 | 85 | 945 | 58k| 945 | 58k| 348 | 0 |2678 |-4.500000e+01 |-4.000000e+01 | 12.50%
751.36/751.55 c 752s| 4100 | 3360 |401538 | 93.0 | 181M| 56 | 94 | 945 | 58k| 945 | 58k| 348 | 0 |2719 |-4.500000e+01 |-4.000000e+01 | 12.50%
773.45/773.61 c 774s| 4200 | 3444 |414120 | 93.7 | 184M| 56 | 120 | 945 | 58k| 945 | 58k| 348 | 0 |2760 |-4.500000e+01 |-4.000000e+01 | 12.50%
791.35/791.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
791.35/791.56 c 792s| 4300 | 3530 |426500 | 94.4 | 186M| 56 | 97 | 945 | 58k| 945 | 58k| 348 | 0 |2782 |-4.500000e+01 |-4.000000e+01 | 12.50%
804.95/805.17 c 805s| 4400 | 3618 |436074 | 94.5 | 189M| 56 | 83 | 945 | 58k| 945 | 58k| 348 | 0 |2789 |-4.500000e+01 |-4.000000e+01 | 12.50%
822.84/823.03 c 823s| 4500 | 3710 |449832 | 95.4 | 191M| 56 | 114 | 945 | 58k| 945 | 58k| 348 | 0 |2801 |-4.500000e+01 |-4.000000e+01 | 12.50%
839.75/839.97 c 840s| 4600 | 3798 |462063 | 96.0 | 194M| 56 | 91 | 945 | 58k| 945 | 58k| 348 | 0 |2814 |-4.500000e+01 |-4.000000e+01 | 12.50%
853.84/854.00 c 854s| 4700 | 3886 |473242 | 96.3 | 197M| 56 | 69 | 945 | 58k| 945 | 58k| 348 | 0 |2816 |-4.500000e+01 |-4.000000e+01 | 12.50%
867.83/868.05 c 868s| 4800 | 3968 |483162 | 96.4 | 199M| 56 | 92 | 945 | 58k| 945 | 58k| 348 | 0 |2820 |-4.500000e+01 |-4.000000e+01 | 12.50%
873.34/873.50 o -41
873.34/873.50 c p 873s| 4839 | 3476 |487372 | 96.5 | 192M| 56 | - | 945 | 58k| 945 | 58k| 348 | 0 |2821 |-4.500000e+01 |-4.100000e+01 | 9.76%
880.04/880.27 c 880s| 4900 | 3523 |493443 | 96.5 | 193M| 56 | 91 | 945 | 58k| 945 | 58k| 348 | 0 |2823 |-4.500000e+01 |-4.100000e+01 | 9.76%
890.63/890.83 c 891s| 5000 | 3591 |501205 | 96.2 | 195M| 56 | 76 | 945 | 58k| 945 | 58k| 348 | 0 |2827 |-4.500000e+01 |-4.100000e+01 | 9.76%
905.84/906.05 c 906s| 5100 | 3677 |512281 | 96.4 | 197M| 56 | 108 | 945 | 58k| 945 | 58k| 348 | 0 |2829 |-4.500000e+01 |-4.100000e+01 | 9.76%
919.13/919.30 c 919s| 5200 | 3759 |522728 | 96.6 | 200M| 56 | 66 | 945 | 58k| 945 | 58k| 348 | 0 |2831 |-4.500000e+01 |-4.100000e+01 | 9.76%
933.63/933.84 c 934s| 5300 | 3845 |532886 | 96.7 | 203M| 56 | 90 | 945 | 58k| 945 | 58k| 348 | 0 |2844 |-4.500000e+01 |-4.100000e+01 | 9.76%
947.33/947.57 c 948s| 5400 | 3901 |542090 | 96.6 | 205M| 56 | 80 | 945 | 58k| 945 | 58k| 348 | 0 |2883 |-4.500000e+01 |-4.100000e+01 | 9.76%
960.72/960.91 c 961s| 5500 | 3967 |549561 | 96.2 | 206M| 56 | 84 | 945 | 58k| 945 | 58k| 348 | 0 |2921 |-4.500000e+01 |-4.100000e+01 | 9.76%
971.32/971.57 c 972s| 5600 | 4021 |556148 | 95.7 | 208M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |2960 |-4.500000e+01 |-4.100000e+01 | 9.76%
983.62/983.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
983.62/983.88 c 984s| 5700 | 4081 |564693 | 95.5 | 210M| 59 | 93 | 945 | 58k| 945 | 58k| 348 | 0 |2987 |-4.500000e+01 |-4.100000e+01 | 9.76%
997.12/997.33 c 997s| 5800 | 4141 |573429 | 95.3 | 211M| 59 | 63 | 945 | 58k| 945 | 58k| 348 | 0 |3029 |-4.500000e+01 |-4.100000e+01 | 9.76%
1007.72/1007.98 c 1008s| 5900 | 4201 |580452 | 94.9 | 213M| 59 | 97 | 945 | 58k| 945 | 58k| 348 | 0 |3062 |-4.500000e+01 |-4.100000e+01 | 9.76%
1021.32/1021.54 c 1022s| 6000 | 4265 |588819 | 94.7 | 215M| 59 | 71 | 945 | 58k| 945 | 58k| 348 | 0 |3094 |-4.500000e+01 |-4.100000e+01 | 9.76%
1032.72/1032.90 c 1033s| 6100 | 4321 |595701 | 94.3 | 217M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3135 |-4.500000e+01 |-4.100000e+01 | 9.76%
1044.11/1044.37 c 1044s| 6200 | 4377 |602982 | 94.0 | 219M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3166 |-4.500000e+01 |-4.100000e+01 | 9.76%
1054.91/1055.17 c 1055s| 6300 | 4421 |610289 | 93.6 | 220M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3195 |-4.500000e+01 |-4.100000e+01 | 9.76%
1065.91/1066.15 c 1066s| 6400 | 4487 |617511 | 93.3 | 222M| 59 | 52 | 945 | 58k| 945 | 58k| 348 | 0 |3232 |-4.500000e+01 |-4.100000e+01 | 9.76%
1078.10/1078.36 c 1078s| 6500 | 4551 |625210 | 93.0 | 224M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3271 |-4.500000e+01 |-4.100000e+01 | 9.76%
1085.60/1085.85 c 1086s| 6600 | 4597 |630448 | 92.4 | 225M| 59 | 76 | 945 | 58k| 945 | 58k| 348 | 0 |3295 |-4.500000e+01 |-4.100000e+01 | 9.76%
1097.80/1098.01 c 1098s| 6700 | 4665 |639738 | 92.4 | 227M| 59 | 94 | 945 | 58k| 945 | 58k| 348 | 0 |3310 |-4.500000e+01 |-4.100000e+01 | 9.76%
1109.00/1109.27 c 1109s| 6800 | 4737 |646959 | 92.1 | 229M| 59 | 79 | 945 | 58k| 945 | 58k| 348 | 0 |3323 |-4.500000e+01 |-4.100000e+01 | 9.76%
1119.39/1119.68 c 1120s| 6900 | 4797 |654857 | 91.9 | 231M| 59 | 59 | 945 | 58k| 945 | 58k| 348 | 0 |3335 |-4.500000e+01 |-4.100000e+01 | 9.76%
1127.80/1128.05 c 1128s| 7000 | 4857 |661830 | 91.6 | 233M| 59 | 76 | 945 | 58k| 945 | 58k| 348 | 0 |3337 |-4.500000e+01 |-4.100000e+01 | 9.76%
1140.59/1140.82 c 1141s| 7100 | 4915 |673101 | 91.9 | 234M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3342 |-4.500000e+01 |-4.100000e+01 | 9.76%
1150.69/1150.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1150.69/1150.92 c 1151s| 7200 | 4977 |681212 | 91.8 | 236M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3346 |-4.500000e+01 |-4.100000e+01 | 9.76%
1157.79/1158.06 c 1158s| 7300 | 5033 |687019 | 91.3 | 237M| 59 | 65 | 945 | 58k| 945 | 58k| 348 | 0 |3347 |-4.500000e+01 |-4.100000e+01 | 9.76%
1166.38/1166.61 c 1167s| 7400 | 5093 |693982 | 91.0 | 239M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3351 |-4.500000e+01 |-4.100000e+01 | 9.76%
1174.09/1174.32 c 1174s| 7500 | 5145 |701410 | 90.8 | 241M| 59 | 61 | 945 | 58k| 945 | 58k| 348 | 0 |3354 |-4.500000e+01 |-4.100000e+01 | 9.76%
1180.09/1180.37 c 1180s| 7600 | 5191 |706846 | 90.3 | 242M| 59 | 96 | 945 | 58k| 945 | 58k| 348 | 0 |3356 |-4.500000e+01 |-4.100000e+01 | 9.76%
1187.79/1188.01 c 1188s| 7700 | 5237 |713300 | 90.0 | 243M| 59 | 86 | 945 | 58k| 945 | 58k| 348 | 0 |3358 |-4.500000e+01 |-4.100000e+01 | 9.76%
1195.28/1195.56 c 1196s| 7800 | 5283 |718390 | 89.5 | 245M| 59 | 78 | 945 | 58k| 945 | 58k| 348 | 0 |3360 |-4.500000e+01 |-4.100000e+01 | 9.76%
1201.29/1201.51 c 1202s| 7900 | 5321 |723949 | 89.1 | 246M| 59 | 80 | 945 | 58k| 945 | 58k| 348 | 0 |3360 |-4.500000e+01 |-4.100000e+01 | 9.76%
1211.09/1211.34 c 1211s| 8000 | 5381 |731632 | 88.9 | 248M| 59 | 103 | 945 | 58k| 945 | 58k| 348 | 0 |3361 |-4.500000e+01 |-4.100000e+01 | 9.76%
1222.68/1222.95 c 1223s| 8100 | 5441 |739989 | 88.8 | 250M| 59 | 94 | 945 | 58k| 945 | 58k| 348 | 0 |3379 |-4.500000e+01 |-4.100000e+01 | 9.76%
1235.09/1235.32 c 1235s| 8200 | 5507 |747829 | 88.7 | 252M| 59 | 103 | 945 | 58k| 945 | 58k| 348 | 0 |3407 |-4.500000e+01 |-4.100000e+01 | 9.76%
1244.58/1244.86 c 1245s| 8300 | 5555 |754371 | 88.4 | 253M| 59 | 90 | 945 | 58k| 945 | 58k| 348 | 0 |3443 |-4.500000e+01 |-4.100000e+01 | 9.76%
1258.38/1258.62 c 1259s| 8400 | 5615 |763605 | 88.5 | 255M| 59 | 112 | 945 | 58k| 945 | 58k| 348 | 0 |3464 |-4.500000e+01 |-4.100000e+01 | 9.76%
1269.27/1269.53 c 1270s| 8500 | 5667 |770244 | 88.2 | 256M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3505 |-4.500000e+01 |-4.100000e+01 | 9.76%
1278.97/1279.30 c 1279s| 8600 | 5723 |778140 | 88.1 | 258M| 59 | 62 | 945 | 58k| 945 | 58k| 348 | 0 |3532 |-4.500000e+01 |-4.100000e+01 | 9.76%
1289.77/1290.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1289.77/1290.07 c 1290s| 8700 | 5781 |784804 | 87.9 | 260M| 59 | 92 | 945 | 58k| 945 | 58k| 348 | 0 |3570 |-4.500000e+01 |-4.100000e+01 | 9.76%
1300.77/1301.07 c 1301s| 8800 | 5841 |792534 | 87.7 | 262M| 59 | 89 | 945 | 58k| 945 | 58k| 348 | 0 |3588 |-4.500000e+01 |-4.100000e+01 | 9.76%
1310.06/1310.32 c 1310s| 8900 | 5887 |798871 | 87.5 | 263M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3619 |-4.500000e+01 |-4.100000e+01 | 9.76%
1319.77/1320.06 c 1320s| 9000 | 5939 |804850 | 87.2 | 264M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3657 |-4.500000e+01 |-4.100000e+01 | 9.76%
1329.36/1329.68 c 1330s| 9100 | 5995 |811721 | 87.0 | 266M| 59 | 95 | 945 | 58k| 945 | 58k| 348 | 0 |3692 |-4.500000e+01 |-4.100000e+01 | 9.76%
1339.57/1339.84 c 1340s| 9200 | 6057 |818519 | 86.7 | 267M| 59 | 64 | 945 | 58k| 945 | 58k| 348 | 0 |3728 |-4.500000e+01 |-4.100000e+01 | 9.76%
1347.96/1348.20 c 1348s| 9300 | 6097 |825088 | 86.5 | 269M| 59 | 97 | 945 | 58k| 945 | 58k| 348 | 0 |3750 |-4.500000e+01 |-4.100000e+01 | 9.76%
1358.46/1358.70 c 1359s| 9400 | 6145 |832118 | 86.4 | 270M| 59 | 84 | 945 | 58k| 945 | 58k| 348 | 0 |3787 |-4.500000e+01 |-4.100000e+01 | 9.76%
1368.56/1368.80 c 1369s| 9500 | 6197 |839138 | 86.2 | 272M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3815 |-4.500000e+01 |-4.100000e+01 | 9.76%
1384.35/1384.62 c 1385s| 9600 | 6271 |849793 | 86.4 | 274M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3845 |-4.500000e+01 |-4.100000e+01 | 9.76%
1391.55/1391.89 c 1392s| 9700 | 6305 |855979 | 86.1 | 275M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3857 |-4.500000e+01 |-4.100000e+01 | 9.76%
1399.26/1399.51 c 1400s| 9800 | 6357 |862115 | 85.9 | 277M| 59 | 72 | 945 | 58k| 945 | 58k| 348 | 0 |3865 |-4.500000e+01 |-4.100000e+01 | 9.76%
1406.05/1406.35 c 1406s| 9900 | 6403 |868353 | 85.6 | 278M| 59 | 87 | 945 | 58k| 945 | 58k| 348 | 0 |3873 |-4.500000e+01 |-4.100000e+01 | 9.76%
1414.36/1414.62 c 1415s| 10000 | 6445 |874309 | 85.4 | 279M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3879 |-4.500000e+01 |-4.100000e+01 | 9.76%
1420.95/1421.28 c 1421s| 10100 | 6489 |880153 | 85.1 | 280M| 59 | 71 | 945 | 58k| 945 | 58k| 348 | 0 |3880 |-4.500000e+01 |-4.100000e+01 | 9.76%
1431.44/1431.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1431.44/1431.72 c 1432s| 10200 | 6537 |889997 | 85.3 | 282M| 59 | 92 | 945 | 58k| 945 | 58k| 348 | 0 |3891 |-4.500000e+01 |-4.100000e+01 | 9.76%
1440.45/1440.75 c 1441s| 10300 | 6605 |897635 | 85.2 | 284M| 59 | 77 | 945 | 58k| 945 | 58k| 348 | 0 |3893 |-4.500000e+01 |-4.100000e+01 | 9.76%
1450.25/1450.59 c 1451s| 10400 | 6663 |904682 | 85.0 | 285M| 59 | 81 | 945 | 58k| 945 | 58k| 348 | 0 |3895 |-4.500000e+01 |-4.100000e+01 | 9.76%
1457.85/1458.16 c 1458s| 10500 | 6719 |911441 | 84.9 | 287M| 59 | 60 | 945 | 58k| 945 | 58k| 348 | 0 |3897 |-4.500000e+01 |-4.100000e+01 | 9.76%
1465.44/1465.75 c 1466s| 10600 | 6767 |917841 | 84.7 | 288M| 59 | 119 | 945 | 58k| 945 | 58k| 348 | 0 |3899 |-4.500000e+01 |-4.100000e+01 | 9.76%
1475.34/1475.68 c 1476s| 10700 | 6817 |925889 | 84.6 | 290M| 59 | 65 | 945 | 58k| 945 | 58k| 348 | 0 |3899 |-4.500000e+01 |-4.100000e+01 | 9.76%
1484.75/1485.05 c 1485s| 10800 | 6871 |933869 | 84.6 | 292M| 59 | 83 | 945 | 58k| 945 | 58k| 348 | 0 |3903 |-4.500000e+01 |-4.100000e+01 | 9.76%
1491.94/1492.24 c 1492s| 10900 | 6931 |940432 | 84.4 | 293M| 59 | 77 | 945 | 58k| 945 | 58k| 348 | 0 |3904 |-4.500000e+01 |-4.100000e+01 | 9.76%
1499.33/1499.68 c 1500s| 11000 | 6991 |947052 | 84.2 | 295M| 59 | 50 | 945 | 58k| 945 | 58k| 348 | 0 |3905 |-4.500000e+01 |-4.100000e+01 | 9.76%
1506.94/1507.21 c 1507s| 11100 | 7047 |954549 | 84.2 | 296M| 59 | 80 | 945 | 58k| 945 | 58k| 348 | 0 |3905 |-4.500000e+01 |-4.100000e+01 | 9.76%
1517.23/1517.56 c 1518s| 11200 | 7113 |963066 | 84.2 | 298M| 59 | 110 | 945 | 58k| 945 | 58k| 348 | 0 |3906 |-4.500000e+01 |-4.100000e+01 | 9.76%
1527.33/1527.64 c 1528s| 11300 | 7175 |971734 | 84.2 | 300M| 59 | 123 | 945 | 58k| 945 | 58k| 348 | 0 |3926 |-4.500000e+01 |-4.100000e+01 | 9.76%
1538.33/1538.65 c 1539s| 11400 | 7235 |978888 | 84.1 | 302M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3958 |-4.500000e+01 |-4.100000e+01 | 9.76%
1545.83/1546.19 c 1546s| 11500 | 7279 |983662 | 83.8 | 303M| 59 | 61 | 945 | 58k| 945 | 58k| 348 | 0 |3987 |-4.500000e+01 |-4.100000e+01 | 9.76%
1556.43/1556.74 c 1557s| 11600 | 7337 |991258 | 83.7 | 305M| 59 | 98 | 945 | 58k| 945 | 58k| 348 | 0 |4011 |-4.500000e+01 |-4.100000e+01 | 9.76%
1567.93/1568.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1567.93/1568.22 c 1568s| 11700 | 7385 |999555 | 83.7 | 306M| 59 | 71 | 945 | 58k| 945 | 58k| 348 | 0 |4053 |-4.500000e+01 |-4.100000e+01 | 9.76%
1576.52/1576.81 c 1577s| 11800 | 7437 | 1006k| 83.6 | 307M| 59 | 71 | 945 | 58k| 945 | 58k| 348 | 0 |4065 |-4.500000e+01 |-4.100000e+01 | 9.76%
1586.82/1587.18 c 1587s| 11900 | 7493 | 1013k| 83.4 | 309M| 59 | 72 | 945 | 58k| 945 | 58k| 348 | 0 |4090 |-4.500000e+01 |-4.100000e+01 | 9.76%
1596.51/1596.84 c 1597s| 12000 | 7541 | 1019k| 83.3 | 310M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |4134 |-4.500000e+01 |-4.100000e+01 | 9.76%
1608.81/1609.20 c 1609s| 12100 | 7603 | 1027k| 83.2 | 312M| 59 | 60 | 945 | 58k| 945 | 58k| 348 | 0 |4164 |-4.500000e+01 |-4.100000e+01 | 9.76%
1621.42/1621.70 c 1622s| 12200 | 7661 | 1036k| 83.3 | 314M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |4181 |-4.500000e+01 |-4.100000e+01 | 9.76%
1636.21/1636.53 c 1637s| 12300 | 7727 | 1046k| 83.5 | 316M| 59 | 89 | 945 | 58k| 945 | 58k| 348 | 0 |4224 |-4.500000e+01 |-4.100000e+01 | 9.76%
1649.51/1649.89 c 1650s| 12400 | 7789 | 1055k| 83.5 | 318M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |4271 |-4.500000e+01 |-4.100000e+01 | 9.76%
1659.41/1659.74 c 1660s| 12500 | 7843 | 1062k| 83.4 | 319M| 59 | 91 | 945 | 58k| 945 | 58k| 348 | 0 |4293 |-4.500000e+01 |-4.100000e+01 | 9.76%
1669.01/1669.30 c 1669s| 12600 | 7899 | 1069k| 83.3 | 321M| 59 | 60 | 945 | 58k| 945 | 58k| 348 | 0 |4322 |-4.500000e+01 |-4.100000e+01 | 9.76%
1680.71/1681.04 c 1681s| 12700 | 7969 | 1077k| 83.2 | 322M| 59 | 83 | 945 | 58k| 945 | 58k| 348 | 0 |4355 |-4.500000e+01 |-4.100000e+01 | 9.76%
1688.90/1689.29 c 1689s| 12800 | 8013 | 1083k| 83.0 | 324M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |4379 |-4.500000e+01 |-4.100000e+01 | 9.76%
1700.21/1700.50 c 1701s| 12900 | 8065 | 1090k| 83.0 | 325M| 59 | 107 | 945 | 58k| 945 | 58k| 348 | 0 |4407 |-4.500000e+01 |-4.100000e+01 | 9.76%
1710.21/1710.59 c 1711s| 13000 | 8127 | 1098k| 83.0 | 327M| 59 | 85 | 945 | 58k| 945 | 58k| 348 | 0 |4435 |-4.500000e+01 |-4.100000e+01 | 9.76%
1720.90/1721.25 c 1721s| 13100 | 8189 | 1106k| 82.9 | 329M| 59 | 90 | 945 | 58k| 945 | 58k| 348 | 0 |4447 |-4.500000e+01 |-4.100000e+01 | 9.76%
1728.20/1728.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1728.20/1728.51 c 1729s| 13200 | 8235 | 1112k| 82.8 | 330M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |4453 |-4.500000e+01 |-4.100000e+01 | 9.76%
1737.39/1737.78 c 1738s| 13300 | 8295 | 1119k| 82.7 | 332M| 59 | 72 | 945 | 58k| 945 | 58k| 348 | 0 |4466 |-4.500000e+01 |-4.100000e+01 | 9.76%
1751.20/1751.54 c 1752s| 13400 | 8355 | 1130k| 82.9 | 333M| 59 | 92 | 945 | 58k| 945 | 58k| 348 | 0 |4472 |-4.500000e+01 |-4.100000e+01 | 9.76%
1757.50/1757.83 c 1758s| 13500 | 8395 | 1136k| 82.7 | 334M| 59 | 79 | 945 | 58k| 945 | 58k| 348 | 0 |4475 |-4.500000e+01 |-4.100000e+01 | 9.76%
1769.39/1769.73 c 1770s| 13600 | 8457 | 1146k| 82.8 | 336M| 59 | 104 | 945 | 58k| 945 | 58k| 348 | 0 |4481 |-4.500000e+01 |-4.100000e+01 | 9.76%
1779.39/1779.71 c 1780s| 13700 | 8521 | 1154k| 82.8 | 338M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |4486 |-4.500000e+01 |-4.100000e+01 | 9.76%
1789.59/1789.95 c 1790s| 13800 | 8581 | 1163k| 82.8 | 339M| 59 | 73 | 945 | 58k| 945 | 58k| 348 | 0 |4489 |-4.500000e+01 |-4.100000e+01 | 9.76%
1796.68/1797.00 c
1796.68/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.00 c Solving Time (sec) : 1797.00
1796.68/1797.00 c Solving Nodes : 13884
1796.68/1797.00 c Primal Bound : -4.10000000000000e+01 (543 solutions)
1796.68/1797.00 c Dual Bound : -4.50000000000000e+01
1796.68/1797.00 c Gap : 9.76 %
1796.68/1797.02 s SATISFIABLE
1796.68/1797.02 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1796.68/1797.02 v -x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53
1796.68/1797.02 v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78
1796.68/1797.02 v -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103
1796.68/1797.02 v -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
1796.68/1797.02 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145
1796.68/1797.02 v -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
1796.68/1797.02 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187
1796.68/1797.02 v -x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208
1796.68/1797.02 v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229
1796.68/1797.02 v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
1796.68/1797.02 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271
1796.68/1797.02 v -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292
1796.68/1797.02 v -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313
1796.68/1797.02 v -x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334
1796.68/1797.02 v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355
1796.68/1797.02 v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376
1796.68/1797.02 v -x377 x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397
1796.68/1797.02 v -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418
1796.68/1797.02 v -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439
1796.68/1797.02 v -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 -x460
1796.68/1797.02 v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481
1796.68/1797.02 v -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502
1796.68/1797.02 v -x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523
1796.68/1797.02 v -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 x543 -x544
1796.68/1797.02 v -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565
1796.68/1797.02 v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586
1796.68/1797.02 v -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 x602 -x603 -x604 -x605 -x606 -x607
1796.68/1797.02 v -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 -x628
1796.68/1797.02 v -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 x646 -x647 -x648 -x649
1796.68/1797.02 v -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 -x668 -x669 -x670
1796.68/1797.02 v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691
1796.68/1797.02 v -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 x711 -x712
1796.68/1797.02 v -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732
1796.68/1797.02 v -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 x752 -x753
1796.68/1797.02 v -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 -x769 -x770 -x771 -x772 -x773 -x774
1796.68/1797.02 v -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 x789 -x790 -x791 -x792 -x793 -x794 -x795
1796.68/1797.02 v -x796 -x797 -x798 -x799 -x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816
1796.68/1797.02 v -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837
1796.68/1797.02 v -x838 -x839 -x840 -x841 -x842 -x843 -x844 x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858
1796.68/1797.02 v -x859 -x860 -x861 -x862 -x863 -x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879
1796.68/1797.02 v -x880 -x881 -x882 -x883 x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900
1796.68/1797.02 v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921
1796.68/1797.02 v -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 -x941 -x942
1796.68/1797.02 v -x943 -x944 -x945
1796.68/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.02 c Total Time : 1797.00
1796.68/1797.02 c solving : 1797.00
1796.68/1797.02 c presolving : 0.59 (included in solving)
1796.68/1797.02 c reading : 0.13 (included in solving)
1796.68/1797.02 c copying : 0.86 (11 #copies) (minimal 0.07, maximal 0.08, average 0.08)
1796.68/1797.02 c Original Problem :
1796.68/1797.02 c Problem name : HOME/instance-3692105-1338032418.opb
1796.68/1797.02 c Variables : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.02 c Constraints : 58624 initial, 58624 maximal
1796.68/1797.02 c Objective sense : minimize
1796.68/1797.02 c Presolved Problem :
1796.68/1797.02 c Problem name : t_HOME/instance-3692105-1338032418.opb
1796.68/1797.02 c Variables : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.02 c Constraints : 58624 initial, 58624 maximal
1796.68/1797.02 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.68/1797.02 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c components : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c pseudoobj : 0.00 0.02 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c probing : 0.21 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c setppc : 0.05 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c linear : 0.28 0.02 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c root node : - - 0 - - 0 - - - - -
1796.68/1797.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.68/1797.02 c integral : 0 0 0 0 11764 0 548 0 12 322 0 0 23134
1796.68/1797.02 c setppc : 58624 58624 34 53574 0 0 543 0 0 396642 0 0 0
1796.68/1797.02 c countsols : 0 0 0 0 0 0 546 0 0 0 0 0 0
1796.68/1797.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.68/1797.02 c integral : 327.94 0.00 0.00 0.00 327.93 0.00 0.01 0.00
1796.68/1797.02 c setppc : 16.17 0.00 0.12 15.02 0.00 0.00 1.03 0.00
1796.68/1797.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.68/1797.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.68/1797.02 c rootredcost : 11 0 0 0
1796.68/1797.02 c pseudoobj : 65290 0 0 0
1796.68/1797.02 c vbounds : 0 0 0 0
1796.68/1797.02 c redcost : 11833 0 0 42
1796.68/1797.02 c probing : 0 0 0 0
1796.68/1797.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.68/1797.02 c rootredcost : 0.04 0.00 0.00 0.04 0.00
1796.68/1797.02 c pseudoobj : 5.15 0.02 0.00 5.13 0.00
1796.68/1797.02 c vbounds : 0.03 0.00 0.00 0.03 0.00
1796.68/1797.02 c redcost : 0.22 0.00 0.00 0.22 0.00
1796.68/1797.02 c probing : 0.21 0.00 0.21 0.00 0.00
1796.68/1797.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.68/1797.02 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.02 c applied globally : - - - 0 0.0 - - -
1796.68/1797.02 c applied locally : - - - 0 0.0 - - -
1796.68/1797.02 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.68/1797.02 c cut pool : 0.00 33 - - 57 - (maximal pool size: 680)
1796.68/1797.02 c closecuts : 0.00 0.00 0 0 0 0 0
1796.68/1797.02 c impliedbounds : 0.02 0.00 34 0 0 0 0
1796.68/1797.02 c intobj : 0.00 0.00 0 0 0 0 0
1796.68/1797.02 c gomory : 0.20 0.00 10 0 0 500 0
1796.68/1797.02 c cgmip : 0.00 0.00 0 0 0 0 0
1796.68/1797.02 c strongcg : 3.73 0.00 20 0 0 10000 0
1796.68/1797.02 c cmir : 6.52 0.00 10 0 0 0 0
1796.68/1797.02 c flowcover : 7.21 0.00 10 0 0 0 0
1796.68/1797.02 c clique : 0.95 0.00 34 0 0 292 0
1796.68/1797.02 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.68/1797.02 c mcf : 0.26 0.00 1 0 0 0 0
1796.68/1797.02 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.68/1797.02 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.68/1797.02 c Pricers : ExecTime SetupTime Calls Vars
1796.68/1797.02 c problem variables: 0.00 - 0 0
1796.68/1797.02 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.68/1797.02 c relpscost : 327.91 0.00 11764 12 322 0 0 23134
1796.68/1797.02 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.02 c inference : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.02 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.02 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.02 c random : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.02 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.68/1797.02 c LP solutions : 0.00 - - 0
1796.68/1797.02 c pseudo solutions : 0.00 - - 0
1796.68/1797.02 c oneopt : 0.09 0.00 11 1
1796.68/1797.02 c crossover : 2.89 0.00 10 1
1796.68/1797.02 c pscostdiving : 47.84 0.00 170 36
1796.68/1797.02 c veclendiving : 168.55 0.00 171 9
1796.68/1797.02 c linesearchdiving : 51.52 0.00 171 21
1796.68/1797.02 c objpscostdiving : 75.69 0.00 86 146
1796.68/1797.02 c rootsoldiving : 35.31 0.00 86 91
1796.68/1797.02 c smallcard : 0.00 0.00 0 0
1796.68/1797.02 c trivial : 0.01 0.00 2 1
1796.68/1797.02 c shiftandpropagate: 0.00 0.00 0 0
1796.68/1797.02 c simplerounding : 0.25 0.00 11798 51
1796.68/1797.02 c zirounding : 29.99 0.00 6101 122
1796.68/1797.02 c rounding : 18.53 0.00 4773 1
1796.68/1797.02 c shifting : 4.65 0.00 1130 1
1796.68/1797.02 c intshifting : 0.00 0.00 0 0
1796.68/1797.02 c twoopt : 0.00 0.00 0 0
1796.68/1797.02 c indoneopt : 0.01 0.00 0 0
1796.68/1797.02 c indtwoopt : 0.00 0.00 0 0
1796.68/1797.02 c fixandinfer : 0.00 0.00 0 0
1796.68/1797.02 c feaspump : 0.00 0.00 0 0
1796.68/1797.02 c clique : 0.00 0.00 0 0
1796.68/1797.02 c coefdiving : 96.85 0.00 171 33
1796.68/1797.02 c indcoefdiving : 0.00 0.00 0 0
1796.68/1797.02 c indrounding : 0.00 0.00 0 0
1796.68/1797.02 c fracdiving : 101.07 0.00 125 20
1796.68/1797.02 c nlpdiving : 0.00 0.00 0 0
1796.68/1797.02 c intdiving : 0.00 0.00 0 0
1796.68/1797.02 c actconsdiving : 0.00 0.00 0 0
1796.68/1797.02 c guideddiving : 63.81 0.00 81 8
1796.68/1797.02 c octane : 0.00 0.00 0 0
1796.68/1797.02 c rens : 1.71 0.00 1 1
1796.68/1797.02 c rins : 0.00 0.00 0 0
1796.68/1797.02 c localbranching : 0.00 0.00 0 0
1796.68/1797.02 c mutation : 0.00 0.00 0 0
1796.68/1797.02 c dins : 0.00 0.00 0 0
1796.68/1797.02 c vbounds : 0.00 0.00 0 0
1796.68/1797.02 c undercover : 0.00 0.00 0 0
1796.68/1797.02 c subnlp : 0.01 0.00 0 0
1796.68/1797.02 c trysol : 0.01 0.00 0 0
1796.68/1797.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.68/1797.02 c primal LP : 0.06 5 0 0.00 0.00 0.06 5
1796.68/1797.02 c dual LP : 620.34 14310 768611 54.50 1239.02 2.53 207
1796.68/1797.02 c lex dual LP : 0.00 0 0 0.00 -
1796.68/1797.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.68/1797.02 c diving/probing LP: 511.35 23575 399924 16.96 782.10
1796.68/1797.02 c strong branching : 325.57 4489 297516 66.28 913.84
1796.68/1797.02 c (at root node) : - 21 2179 103.76 -
1796.68/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1796.68/1797.02 c B&B Tree :
1796.68/1797.02 c number of runs : 1
1796.68/1797.02 c nodes : 13884
1796.68/1797.02 c nodes (total) : 13884
1796.68/1797.02 c nodes left : 8621
1796.68/1797.02 c max depth : 59
1796.68/1797.02 c max depth (total): 59
1796.68/1797.02 c backtracks : 2004 (14.4%)
1796.68/1797.02 c delayed cutoffs : 0
1796.68/1797.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.68/1797.02 c avg switch length: 6.01
1796.68/1797.02 c switching time : 27.83
1796.68/1797.02 c Solution :
1796.68/1797.02 c Solutions found : 543 (14 improvements)
1796.68/1797.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.19 seconds, depth 0, found by <trivial>)
1796.68/1797.02 c Primal Bound : -4.10000000000000e+01 (in run 1, after 4839 nodes, 873.49 seconds, depth 29, found by <pscostdiving>)
1796.68/1797.02 c Dual Bound : -4.50000000000000e+01
1796.68/1797.02 c Gap : 9.76 %
1796.68/1797.02 c Root Dual Bound : -4.53333333333333e+01
1796.68/1797.02 c Root Iterations : 20510
1796.88/1797.30 c Time complete: 1796.99.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3692105-1338032418/watcher-3692105-1338032418 -o /tmp/evaluation-result-3692105-1338032418/solver-3692105-1338032418 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692105-1338032418.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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: 2.01 2.01 2.00 3/177 2689
/proc/meminfo: memFree=28487016/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=13584 CPUtime=0 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 2163 0 0 0 0 0 0 0 20 0 1 0 269367832 13910016 2117 33554432000 4194304 10219143 140734649692368 140734618520040 7589947 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 3396 2117 421 1471 0 1916 0
[startup+0.035644 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2689
/proc/meminfo: memFree=28487016/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=20376 CPUtime=0.03 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 3853 0 0 0 3 0 0 0 20 0 1 0 269367832 20865024 3807 33554432000 4194304 10219143 140734649692368 140734649557032 5345762 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 5094 3807 421 1471 0 3614 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 20376
[startup+0.100271 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2689
/proc/meminfo: memFree=28487016/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=33108 CPUtime=0.09 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 7041 0 0 0 8 1 0 0 20 0 1 0 269367832 33902592 6995 33554432000 4194304 10219143 140734649692368 140734649557032 9029200 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 8277 6995 421 1471 0 6797 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33108
[startup+0.300239 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2689
/proc/meminfo: memFree=28487016/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=83504 CPUtime=0.28 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 19287 0 0 0 25 3 0 0 20 0 1 0 269367832 85508096 19241 33554432000 4194304 10219143 140734649692368 140734649557032 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 20876 19241 550 1471 0 19396 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 83504
[startup+0.70019 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2689
/proc/meminfo: memFree=28487016/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=99168 CPUtime=0.69 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 27738 0 0 0 61 8 0 0 20 0 1 0 269367832 101548032 23151 33554432000 4194304 10219143 140734649692368 140734649689144 4819174 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 24792 23151 584 1471 0 23312 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 99168
[startup+1.50018 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 2690
/proc/meminfo: memFree=28202880/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=190164 CPUtime=1.49 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 48795 0 0 0 138 11 0 0 20 0 1 0 269367832 194727936 44624 33554432000 4194304 10219143 140734649692368 140734649685128 5812738 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 47541 44624 741 1471 0 46061 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 190164
[startup+3.10015 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 2690
/proc/meminfo: memFree=28178208/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=190164 CPUtime=3.09 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 49627 0 0 0 296 13 0 0 20 0 1 0 269367832 194727936 45300 33554432000 4194304 10219143 140734649692368 140734649688728 7256996 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 47541 45300 775 1471 0 46061 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 190164
[startup+6.3001 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 2690
/proc/meminfo: memFree=28168352/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=190164 CPUtime=6.29 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 49877 0 0 0 616 13 0 0 20 0 1 0 269367832 194727936 45550 33554432000 4194304 10219143 140734649692368 140734649686008 7256983 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 47541 45550 777 1471 0 46061 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 190164
[startup+12.7002 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 2690
/proc/meminfo: memFree=28160680/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=190164 CPUtime=12.69 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 49965 0 0 0 1255 14 0 0 20 0 1 0 269367832 194727936 45638 33554432000 4194304 10219143 140734649692368 140734649685624 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 47541 45638 779 1471 0 46061 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 190164
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2690
/proc/meminfo: memFree=28155072/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=193428 CPUtime=25.48 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 50655 0 0 0 2533 15 0 0 20 0 1 0 269367832 198070272 46328 33554432000 4194304 10219143 140734649692368 140734649685624 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 48357 46328 779 1471 0 46877 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 193428
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2690
/proc/meminfo: memFree=28134584/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=186892 CPUtime=51.08 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 63226 0 0 0 5082 26 0 0 20 0 1 0 269367832 191377408 45514 33554432000 4194304 10219143 140734649692368 140734649685496 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 46723 45514 821 1471 0 45243 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 186892
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2691
/proc/meminfo: memFree=28133892/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=186892 CPUtime=102.28 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 63227 0 0 0 10195 33 0 0 20 0 1 0 269367832 191377408 45515 33554432000 4194304 10219143 140734649692368 140734649685816 8077296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 46723 45515 821 1471 0 45243 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 186892
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2691
/proc/meminfo: memFree=28132876/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=190560 CPUtime=162.26 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 63265 0 0 0 16183 43 0 0 20 0 1 0 269367832 195133440 45628 33554432000 4194304 10219143 140734649692368 140734649685816 7932672 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 47640 45628 821 1471 0 46160 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 190560
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2691
/proc/meminfo: memFree=28124764/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=199748 CPUtime=222.24 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 65066 0 0 0 22170 54 0 0 20 0 1 0 269367832 204541952 47944 33554432000 4194304 10219143 140734649692368 140734649685640 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 49937 47944 821 1471 0 48457 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 199748
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2691
/proc/meminfo: memFree=28105568/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=214280 CPUtime=282.24 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 103852 0 0 0 28149 75 0 0 20 0 1 0 269367832 219422720 51512 33554432000 4194304 10219143 140734649692368 140734649685352 7940541 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 53570 51512 821 1471 0 52090 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 214280
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2691
/proc/meminfo: memFree=28081636/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=225984 CPUtime=342.22 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 107028 0 0 0 34138 84 0 0 20 0 1 0 269367832 231407616 54678 33554432000 4194304 10219143 140734649692368 140734649687336 8091161 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 56496 54678 821 1471 0 55016 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 225984
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2692
/proc/meminfo: memFree=28060920/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=234584 CPUtime=402.21 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 124613 0 0 0 40122 99 0 0 20 0 1 0 269367832 240214016 57128 33554432000 4194304 10219143 140734649692368 140734649684968 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 58646 57128 826 1471 0 57166 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 234584
[startup+462.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 2693
/proc/meminfo: memFree=28046488/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=243292 CPUtime=462.2 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 126071 0 0 0 46111 109 0 0 20 0 1 0 269367832 249131008 59065 33554432000 4194304 10219143 140734649692368 140734649685688 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 60823 59065 826 1471 0 59343 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 243292
[startup+522.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 2693
/proc/meminfo: memFree=28022660/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=259944 CPUtime=522.19 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 129684 0 0 0 52098 121 0 0 20 0 1 0 269367832 266182656 62644 33554432000 4194304 10219143 140734649692368 140734649687400 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 64986 62644 826 1471 0 63506 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 259944
[startup+582.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 2693
/proc/meminfo: memFree=28007208/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=264356 CPUtime=582.18 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 131312 0 0 0 58088 130 0 0 20 0 1 0 269367832 270700544 64271 33554432000 4194304 10219143 140734649692368 140734649687736 7729032 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 66089 64271 826 1471 0 64609 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 264356
[startup+642.3 s]
################
# More data... #
################
[pid=2689] ppid=2687 vsize=380976 CPUtime=1362.06 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 260902 0 0 0 135907 299 0 0 20 0 1 0 269367832 390119424 93011 33554432000 4194304 10219143 140734649692368 140734649685672 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 95244 93011 826 1471 0 93764 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 380976
[startup+1422.31 s]
/proc/loadavg: 2.07 2.05 2.01 3/177 2725
/proc/meminfo: memFree=27742344/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=390788 CPUtime=1422.05 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 263570 0 0 0 141897 308 0 0 20 0 1 0 269367832 400166912 95675 33554432000 4194304 10219143 140734649692368 140734649687736 8090823 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 97697 95675 826 1471 0 96217 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 390788
[startup+1482.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/177 2725
/proc/meminfo: memFree=27721388/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=400408 CPUtime=1482.04 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 265822 0 0 0 147886 318 0 0 20 0 1 0 269367832 410017792 97919 33554432000 4194304 10219143 140734649692368 140734649686040 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 100102 97919 826 1471 0 98622 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 400408
[startup+1542.3 s]
/proc/loadavg: 2.10 2.06 2.00 3/177 2725
/proc/meminfo: memFree=27694236/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=412780 CPUtime=1542.03 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 285828 0 0 0 153869 334 0 0 20 0 1 0 269367832 422686720 101215 33554432000 4194304 10219143 140734649692368 140734649685544 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 103195 101215 826 1471 0 101715 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 412780
[startup+1602.3 s]
/proc/loadavg: 2.08 2.06 2.00 3/177 2725
/proc/meminfo: memFree=27675116/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=418784 CPUtime=1602.01 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 287112 0 0 0 159857 344 0 0 20 0 1 0 269367832 428834816 103019 33554432000 4194304 10219143 140734649692368 140734649685816 5184927 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 104696 103019 826 1471 0 103216 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 418784
[startup+1662.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 2726
/proc/meminfo: memFree=27659260/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=427676 CPUtime=1662.01 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 289139 0 0 0 165847 354 0 0 20 0 1 0 269367832 437940224 105046 33554432000 4194304 10219143 140734649692368 140734649685624 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 106919 105046 826 1471 0 105439 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 427676
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 2726
/proc/meminfo: memFree=27637188/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=438896 CPUtime=1721.99 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 291897 0 0 0 171831 368 0 0 20 0 1 0 269367832 449429504 107802 33554432000 4194304 10219143 140734649692368 140734649686008 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 109724 107802 826 1471 0 108244 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 438896
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 2726
/proc/meminfo: memFree=27614252/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=448272 CPUtime=1781.99 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 294313 0 0 0 177821 378 0 0 20 0 1 0 269367832 459030528 110209 33554432000 4194304 10219143 140734649692368 140734649687192 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 112068 110209 826 1471 0 110588 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 448272
############
# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (1796.88 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1796.88 s) to the 'lost time'.
[startup+1797.2 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 2729
/proc/meminfo: memFree=27610712/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=450868 CPUtime=1796.88 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 294937 0 0 0 179308 380 0 0 20 0 1 0 269367832 461688832 110833 33554432000 4194304 10219143 140734649692368 140734649687736 7594210 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 112717 110833 828 1471 0 111237 0
Current children cumulated CPU time (s) 1796.88
Current children cumulated vsize (KiB) 450868
[startup+1797.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/175 2736
/proc/meminfo: memFree=28114540/32873648 swapFree=6852/6852
[pid=2689] ppid=-1 vsize=0 CPUtime=0 cores=
/proc/2689/stat : -- couldn't open stat file --/proc/2689/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
#
############
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 2729
/proc/meminfo: memFree=27612492/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=450440 CPUtime=1785.19 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 294471 0 0 0 178141 378 0 0 20 0 1 0 269367832 461250560 110367 33554432000 4194304 10219143 140734649692368 140734649685624 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 112610 110367 826 1471 0 111130 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 450440
[startup+1791.91 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 2729
/proc/meminfo: memFree=27611012/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=450868 CPUtime=1791.6 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 294791 0 0 0 178781 379 0 0 20 0 1 0 269367832 461688832 110687 33554432000 4194304 10219143 140734649692368 140734649687400 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 112717 110687 826 1471 0 111237 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 450868
[startup+1795.1 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 2729
/proc/meminfo: memFree=27610992/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=450868 CPUtime=1794.79 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 294908 0 0 0 179099 380 0 0 20 0 1 0 269367832 461688832 110804 33554432000 4194304 10219143 140734649692368 140734649686008 7956094 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 112717 110804 826 1471 0 111237 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 450868
[startup+1796.7 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 2729
/proc/meminfo: memFree=27610712/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=450868 CPUtime=1796.38 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 294934 0 0 0 179258 380 0 0 20 0 1 0 269367832 461688832 110830 33554432000 4194304 10219143 140734649692368 140734649687736 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 112717 110830 826 1471 0 111237 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 450868
[startup+1797.1 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 2729
/proc/meminfo: memFree=27610712/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=450868 CPUtime=1796.78 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 294937 0 0 0 179298 380 0 0 20 0 1 0 269367832 461688832 110833 33554432000 4194304 10219143 140734649692368 140734649687736 4990656 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 112717 110833 828 1471 0 111237 0
Current children cumulated CPU time (s) 1796.78
Current children cumulated vsize (KiB) 450868
[startup+1797.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/175 2736
/proc/meminfo: memFree=28114540/32873648 swapFree=6852/6852
[pid=2689] ppid=-1 vsize=0 CPUtime=0 cores=
/proc/2689/stat : -- couldn't open stat file --/proc/2689/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2689 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=183394
# childrusage.ru_stime.tv_sec=3
# childrusage.ru_stime.tv_usec=819419
# CPU time returned by wait4() is 1797
# while last known CPU time is 0
#
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 1796.88
# lost CPU user time (s): 1793.08
# lost CPU system time (s): 3.8
Real time (s): 1797.31
CPU time (s): 1796.88
CPU user time (s): 1793.08
CPU system time (s): 3.8
CPU usage (%): 99.9763
Max. virtual memory (cumulated for all children) (KiB): 461328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.18
system time used= 3.81942
maximum resident set size= 457132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 294939
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= 43
involuntary context switches= 1879
runsolver used 3.19851 second user time and 8.5247 second system time
The end