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: a3bf3a4-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-3693271-1338031572.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.19/0.27 o 0
0.19/0.28 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.19/0.28 c presolving:
0.58/0.62 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.79/0.89 c (0.9s) probing: 51/945 (5.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.79/0.89 c (0.9s) probing aborted: 50/50 successive totally useless probings
0.89/0.91 c presolving (2 rounds):
0.89/0.91 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.89/0.91 c 117248 implications, 0 cliques
0.89/0.91 c presolved problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58624 constraints
0.89/0.91 c 58624 constraints of type <setppc>
0.89/0.91 c transformed objective value is always integral (scale: 1)
0.89/0.91 c Presolving Time: 0.74
0.89/0.91 c - non default parameters ----------------------------------------------------------------------
0.89/0.91 c # SCIP version 2.1.1.4
0.89/0.91 c
0.89/0.91 c # maximal time in seconds to run
0.89/0.91 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.91 c limits/time = 1797
0.89/0.91 c
0.89/0.91 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.91 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.91 c limits/memory = 13950
0.89/0.91 c
0.89/0.91 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.89/0.91 c # [type: int, range: [1,2], default: 1]
0.89/0.91 c timing/clocktype = 2
0.89/0.91 c
0.89/0.91 c # belongs reading time to solving time?
0.89/0.91 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.91 c timing/reading = TRUE
0.89/0.91 c
0.89/0.91 c -----------------------------------------------------------------------------------------------
0.89/0.91 c start solving
0.89/0.92 c
1.59/1.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.59/1.60 c t 1.6s| 1 | 0 | 946 | - | 70M| 0 | 945 | 945 | 58k| 945 | 58k| 0 | 0 | 0 |-4.725000e+02 | 0.000000e+00 | Inf
1.59/1.64 o -1
1.59/1.64 c R 1.6s| 1 | 0 | 946 | - | 70M| 0 | 945 | 945 | 58k| 945 | 58k| 0 | 0 | 0 |-4.725000e+02 |-1.000000e+00 | Large
1.59/1.69 o -2
1.59/1.69 c s 1.7s| 1 | 0 | 946 | - | 70M| 0 | 945 | 945 | 58k| 945 | 58k| 0 | 0 | 0 |-4.725000e+02 |-2.000000e+00 | Large
2.79/2.84 c 2.8s| 1 | 0 | 1217 | - | 70M| 0 | 887 | 945 | 58k| 945 | 58k| 7 | 0 | 0 |-4.435000e+02 |-2.000000e+00 | Large
2.79/2.85 o -30
2.79/2.85 c b 2.8s| 1 | 0 | 1217 | - | 70M| 0 | 887 | 945 | 58k| 945 | 58k| 7 | 0 | 0 |-4.435000e+02 |-3.000000e+01 |1378.33%
4.08/4.14 c 4.1s| 1 | 0 | 1427 | - | 70M| 0 | 829 | 945 | 58k| 945 | 58k| 32 | 0 | 0 |-4.145000e+02 |-3.000000e+01 |1281.67%
5.69/5.78 c 5.8s| 1 | 0 | 1660 | - | 70M| 0 | 774 | 945 | 58k| 945 | 58k| 55 | 0 | 0 |-3.870000e+02 |-3.000000e+01 |1190.00%
7.89/7.90 c 7.9s| 1 | 0 | 2079 | - | 70M| 0 | 724 | 945 | 58k| 945 | 58k| 72 | 0 | 0 |-3.620000e+02 |-3.000000e+01 |1106.67%
10.49/10.60 c 10.6s| 1 | 0 | 2424 | - | 70M| 0 | 683 | 945 | 58k| 945 | 58k| 88 | 0 | 0 |-3.415000e+02 |-3.000000e+01 |1038.33%
12.69/12.72 c 12.7s| 1 | 0 | 2659 | - | 70M| 0 | 641 | 945 | 58k| 945 | 58k| 101 | 0 | 0 |-3.205000e+02 |-3.000000e+01 | 968.33%
14.99/15.07 c 15.1s| 1 | 0 | 2927 | - | 70M| 0 | 597 | 945 | 58k| 945 | 58k| 113 | 0 | 0 |-2.985000e+02 |-3.000000e+01 | 895.00%
17.49/17.51 c 17.5s| 1 | 0 | 3211 | - | 70M| 0 | 564 | 945 | 58k| 945 | 58k| 126 | 0 | 0 |-2.805000e+02 |-3.000000e+01 | 835.00%
19.79/19.85 c 19.8s| 1 | 0 | 3670 | - | 70M| 0 | 520 | 945 | 58k| 945 | 58k| 139 | 0 | 0 |-2.600000e+02 |-3.000000e+01 | 766.67%
22.49/22.56 c 22.6s| 1 | 0 | 4603 | - | 70M| 0 | 485 | 945 | 58k| 945 | 58k| 151 | 0 | 0 |-2.425000e+02 |-3.000000e+01 | 708.33%
22.99/23.07 c 23.1s| 1 | 0 | 4871 | - | 70M| 0 | 445 | 945 | 58k| 945 | 58k| 164 | 0 | 0 |-2.225000e+02 |-3.000000e+01 | 641.67%
25.19/25.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.19/25.21 c 25.2s| 1 | 0 | 7272 | - | 70M| 0 | 401 | 945 | 58k| 945 | 58k| 180 | 0 | 0 |-2.005000e+02 |-3.000000e+01 | 568.33%
26.68/26.72 c 26.7s| 1 | 0 | 8894 | - | 70M| 0 | 349 | 945 | 58k| 945 | 58k| 188 | 0 | 0 |-1.745000e+02 |-3.000000e+01 | 481.67%
28.18/28.23 c 28.2s| 1 | 0 | 11020 | - | 70M| 0 | 295 | 945 | 58k| 945 | 58k| 200 | 0 | 0 |-1.475000e+02 |-3.000000e+01 | 391.67%
29.28/29.35 c 29.3s| 1 | 0 | 12380 | - | 70M| 0 | 263 | 945 | 58k| 945 | 58k| 210 | 0 | 0 |-1.315000e+02 |-3.000000e+01 | 338.33%
29.78/29.84 c 29.8s| 1 | 0 | 12712 | - | 71M| 0 | 245 | 945 | 58k| 945 | 58k| 217 | 0 | 0 |-1.225000e+02 |-3.000000e+01 | 308.33%
31.59/31.60 c 31.6s| 1 | 0 | 14985 | - | 71M| 0 | 213 | 945 | 58k| 945 | 58k| 227 | 0 | 0 |-1.065000e+02 |-3.000000e+01 | 255.00%
31.99/32.08 c 32.1s| 1 | 0 | 15329 | - | 71M| 0 | 197 | 945 | 58k| 945 | 58k| 235 | 0 | 0 |-9.850000e+01 |-3.000000e+01 | 228.33%
33.18/33.23 c 33.2s| 1 | 0 | 16863 | - | 71M| 0 | 175 | 945 | 58k| 945 | 58k| 248 | 0 | 0 |-8.750000e+01 |-3.000000e+01 | 191.67%
33.99/34.05 c 34.1s| 1 | 0 | 17689 | - | 71M| 0 | 159 | 945 | 58k| 945 | 58k| 255 | 0 | 0 |-7.950000e+01 |-3.000000e+01 | 165.00%
34.58/34.62 c 34.6s| 1 | 0 | 18692 | - | 71M| 0 | 138 | 945 | 58k| 945 | 58k| 259 | 0 | 0 |-6.550000e+01 |-3.000000e+01 | 118.33%
35.08/35.13 c 35.1s| 1 | 0 | 19733 | - | 71M| 0 | 128 | 945 | 58k| 945 | 58k| 265 | 0 | 0 |-5.900000e+01 |-3.000000e+01 | 96.67%
35.38/35.42 c 35.4s| 1 | 0 | 20157 | - | 71M| 0 | 97 | 945 | 58k| 945 | 58k| 268 | 0 | 0 |-4.850000e+01 |-3.000000e+01 | 61.67%
35.38/35.47 c 35.5s| 1 | 0 | 20188 | - | 71M| 0 | 91 | 945 | 58k| 945 | 58k| 273 | 0 | 0 |-4.550000e+01 |-3.000000e+01 | 51.67%
35.48/35.51 c 35.5s| 1 | 0 | 20194 | - | 71M| 0 | 91 | 945 | 58k| 945 | 58k| 279 | 0 | 0 |-4.550000e+01 |-3.000000e+01 | 51.67%
35.48/35.56 c 35.6s| 1 | 0 | 20231 | - | 71M| 0 | 103 | 945 | 58k| 945 | 58k| 286 | 0 | 0 |-4.550000e+01 |-3.000000e+01 | 51.67%
35.58/35.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.58/35.60 c 35.6s| 1 | 0 | 20245 | - | 71M| 0 | 103 | 945 | 58k| 945 | 58k| 292 | 0 | 0 |-4.550000e+01 |-3.000000e+01 | 51.67%
35.58/35.63 c 35.6s| 1 | 0 | 20250 | - | 71M| 0 | 91 | 945 | 58k| 945 | 58k| 296 | 0 | 0 |-4.550000e+01 |-3.000000e+01 | 51.67%
35.68/35.72 c 35.7s| 1 | 0 | 20296 | - | 71M| 0 | 117 | 945 | 58k| 945 | 58k| 302 | 0 | 0 |-4.533333e+01 |-3.000000e+01 | 51.11%
35.68/35.77 c 35.8s| 1 | 0 | 20325 | - | 71M| 0 | 119 | 945 | 58k| 945 | 58k| 314 | 0 | 0 |-4.533333e+01 |-3.000000e+01 | 51.11%
35.78/35.85 c 35.8s| 1 | 0 | 20376 | - | 71M| 0 | 132 | 945 | 58k| 945 | 58k| 322 | 0 | 0 |-4.533333e+01 |-3.000000e+01 | 51.11%
35.88/35.94 c 35.9s| 1 | 0 | 20437 | - | 71M| 0 | 135 | 945 | 58k| 945 | 58k| 331 | 0 | 0 |-4.533333e+01 |-3.000000e+01 | 51.11%
35.98/36.02 c 36.0s| 1 | 0 | 20486 | - | 71M| 0 | 139 | 945 | 58k| 945 | 58k| 342 | 0 | 0 |-4.533333e+01 |-3.000000e+01 | 51.11%
35.98/36.08 c 36.1s| 1 | 0 | 20510 | - | 71M| 0 | 141 | 945 | 58k| 945 | 58k| 348 | 0 | 0 |-4.533333e+01 |-3.000000e+01 | 51.11%
40.59/40.64 c 40.6s| 1 | 2 | 20510 | - | 71M| 0 | 141 | 945 | 58k| 945 | 58k| 348 | 0 | 21 |-4.533333e+01 |-3.000000e+01 | 51.11%
56.68/56.72 o -31
56.68/56.72 c c56.7s| 8 | 9 | 21425 | 130.7 | 73M| 7 | - | 945 | 58k| 945 | 58k| 348 | 0 | 193 |-4.533333e+01 |-3.100000e+01 | 46.24%
56.68/56.74 o -32
56.68/56.74 c c56.7s| 8 | 9 | 21427 | 131.0 | 73M| 7 | - | 945 | 58k| 945 | 58k| 348 | 0 | 193 |-4.533333e+01 |-3.200000e+01 | 41.67%
72.78/72.85 o -33
72.78/72.85 c p72.8s| 14 | 15 | 22214 | 131.1 | 73M| 7 | - | 945 | 58k| 945 | 58k| 348 | 0 | 349 |-4.500000e+01 |-3.300000e+01 | 36.36%
85.26/85.33 o -34
85.26/85.33 c f85.3s| 19 | 20 | 23256 | 152.6 | 74M| 7 | - | 945 | 58k| 945 | 58k| 348 | 0 | 467 |-4.500000e+01 |-3.400000e+01 | 32.35%
151.25/151.31 o -35
151.25/151.31 c l 151s| 67 | 68 | 26992 | 98.2 | 77M| 17 | - | 945 | 58k| 945 | 58k| 348 | 0 |1276 |-4.500000e+01 |-3.500000e+01 | 28.57%
171.26/171.36 o -36
171.26/171.36 c c 171s| 91 | 88 | 28989 | 94.2 | 78M| 19 | - | 945 | 58k| 945 | 58k| 348 | 0 |1498 |-4.500000e+01 |-3.600000e+01 | 25.00%
171.85/171.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
171.85/171.93 c 172s| 100 | 97 | 29436 | 90.2 | 78M| 19 | 75 | 945 | 58k| 945 | 58k| 348 | 0 |1498 |-4.500000e+01 |-3.600000e+01 | 25.00%
176.05/176.18 o -37
176.05/176.18 c l 176s| 141 | 134 | 32702 | 87.1 | 80M| 22 | - | 945 | 58k| 945 | 58k| 348 | 0 |1505 |-4.500000e+01 |-3.700000e+01 | 21.62%
182.05/182.16 c 182s| 200 | 181 | 36420 | 79.9 | 81M| 26 | 69 | 945 | 58k| 945 | 58k| 348 | 0 |1524 |-4.500000e+01 |-3.700000e+01 | 21.62%
184.45/184.58 o -38
184.45/184.58 c c 185s| 236 | 197 | 37959 | 74.3 | 81M| 29 | - | 945 | 58k| 945 | 58k| 348 | 0 |1533 |-4.500000e+01 |-3.800000e+01 | 18.42%
188.45/188.51 c 189s| 300 | 235 | 40951 | 68.4 | 82M| 36 | 74 | 945 | 58k| 945 | 58k| 348 | 0 |1542 |-4.500000e+01 |-3.800000e+01 | 18.42%
198.75/198.87 c 199s| 400 | 315 | 47398 | 67.4 | 85M| 36 | 106 | 945 | 58k| 945 | 58k| 348 | 0 |1586 |-4.500000e+01 |-3.800000e+01 | 18.42%
200.45/200.53 o -40
200.45/200.53 c c 201s| 429 | 257 | 48410 | 65.2 | 85M| 36 | - | 945 | 58k| 945 | 58k| 348 | 0 |1591 |-4.500000e+01 |-4.000000e+01 | 12.50%
205.75/205.86 c 206s| 500 | 304 | 51826 | 62.8 | 86M| 36 | 71 | 945 | 58k| 945 | 58k| 348 | 0 |1617 |-4.500000e+01 |-4.000000e+01 | 12.50%
214.65/214.79 c 215s| 600 | 352 | 57816 | 62.3 | 88M| 36 | 131 | 945 | 58k| 945 | 58k| 348 | 0 |1649 |-4.500000e+01 |-4.000000e+01 | 12.50%
222.24/222.32 c 222s| 700 | 404 | 62332 | 59.8 | 90M| 36 | 70 | 945 | 58k| 945 | 58k| 348 | 0 |1686 |-4.500000e+01 |-4.000000e+01 | 12.50%
227.95/228.03 c 228s| 800 | 448 | 65834 | 56.7 | 91M| 39 | 121 | 945 | 58k| 945 | 58k| 348 | 0 |1713 |-4.500000e+01 |-4.000000e+01 | 12.50%
235.85/235.95 c 236s| 900 | 506 | 70602 | 55.7 | 93M| 39 | 75 | 945 | 58k| 945 | 58k| 348 | 0 |1751 |-4.500000e+01 |-4.000000e+01 | 12.50%
242.54/242.70 c 243s| 1000 | 558 | 75639 | 55.2 | 95M| 46 | 125 | 945 | 58k| 945 | 58k| 348 | 0 |1766 |-4.500000e+01 |-4.000000e+01 | 12.50%
253.24/253.30 c 253s| 1100 | 658 | 82236 | 56.2 | 97M| 53 | 107 | 945 | 58k| 945 | 58k| 348 | 0 |1792 |-4.500000e+01 |-4.000000e+01 | 12.50%
268.74/268.88 c 269s| 1200 | 756 | 92900 | 60.4 | 99M| 53 | 90 | 945 | 58k| 945 | 58k| 348 | 0 |1822 |-4.500000e+01 |-4.000000e+01 | 12.50%
278.94/279.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
278.94/279.08 c 279s| 1300 | 854 | 99025 | 60.4 | 102M| 53 | 85 | 945 | 58k| 945 | 58k| 348 | 0 |1848 |-4.500000e+01 |-4.000000e+01 | 12.50%
289.54/289.65 c 290s| 1400 | 952 |106292 | 61.3 | 105M| 53 | 95 | 945 | 58k| 945 | 58k| 348 | 0 |1874 |-4.500000e+01 |-4.000000e+01 | 12.50%
306.43/306.55 c 307s| 1500 | 1050 |116829 | 64.3 | 107M| 53 | 81 | 945 | 58k| 945 | 58k| 348 | 0 |1917 |-4.500000e+01 |-4.000000e+01 | 12.50%
324.83/324.95 c 325s| 1600 | 1148 |129911 | 68.4 | 110M| 53 | 111 | 945 | 58k| 945 | 58k| 348 | 0 |1969 |-4.500000e+01 |-4.000000e+01 | 12.50%
335.83/335.97 c 336s| 1700 | 1234 |137942 | 69.1 | 113M| 53 | 73 | 945 | 58k| 945 | 58k| 348 | 0 |2004 |-4.500000e+01 |-4.000000e+01 | 12.50%
350.42/350.57 c 351s| 1800 | 1332 |147139 | 70.4 | 115M| 53 | 114 | 945 | 58k| 945 | 58k| 348 | 0 |2042 |-4.500000e+01 |-4.000000e+01 | 12.50%
367.73/367.87 c 368s| 1900 | 1428 |159411 | 73.1 | 118M| 53 | 105 | 945 | 58k| 945 | 58k| 348 | 0 |2079 |-4.500000e+01 |-4.000000e+01 | 12.50%
385.32/385.44 c 385s| 2000 | 1528 |172331 | 75.9 | 121M| 53 | 72 | 945 | 58k| 945 | 58k| 348 | 0 |2105 |-4.500000e+01 |-4.000000e+01 | 12.50%
406.61/406.79 c 407s| 2100 | 1620 |186304 | 79.0 | 124M| 53 | 72 | 945 | 58k| 945 | 58k| 348 | 0 |2183 |-4.500000e+01 |-4.000000e+01 | 12.50%
425.52/425.61 c 426s| 2200 | 1716 |200707 | 81.9 | 126M| 53 | 74 | 945 | 58k| 945 | 58k| 348 | 0 |2207 |-4.500000e+01 |-4.000000e+01 | 12.50%
440.92/441.08 c 441s| 2300 | 1806 |211966 | 83.3 | 129M| 53 | 60 | 945 | 58k| 945 | 58k| 348 | 0 |2229 |-4.500000e+01 |-4.000000e+01 | 12.50%
454.22/454.37 c 454s| 2400 | 1892 |222317 | 84.1 | 132M| 53 | 74 | 945 | 58k| 945 | 58k| 348 | 0 |2257 |-4.500000e+01 |-4.000000e+01 | 12.50%
467.81/467.91 c 468s| 2500 | 1988 |233345 | 85.2 | 135M| 53 | 86 | 945 | 58k| 945 | 58k| 348 | 0 |2283 |-4.500000e+01 |-4.000000e+01 | 12.50%
484.31/484.40 c 484s| 2600 | 2078 |246140 | 86.8 | 137M| 53 | 68 | 945 | 58k| 945 | 58k| 348 | 0 |2300 |-4.500000e+01 |-4.000000e+01 | 12.50%
498.80/498.91 c 499s| 2700 | 2164 |257955 | 88.0 | 140M| 53 | 130 | 945 | 58k| 945 | 58k| 348 | 0 |2319 |-4.500000e+01 |-4.000000e+01 | 12.50%
511.00/511.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
511.00/511.17 c 511s| 2800 | 2248 |267853 | 88.4 | 142M| 53 | 82 | 945 | 58k| 945 | 58k| 348 | 0 |2325 |-4.500000e+01 |-4.000000e+01 | 12.50%
520.90/521.08 c 521s| 2900 | 2334 |276476 | 88.3 | 144M| 53 | 52 | 945 | 58k| 945 | 58k| 348 | 0 |2332 |-4.500000e+01 |-4.000000e+01 | 12.50%
534.70/534.86 c 535s| 3000 | 2422 |287722 | 89.1 | 147M| 53 | 93 | 945 | 58k| 945 | 58k| 348 | 0 |2343 |-4.500000e+01 |-4.000000e+01 | 12.50%
545.20/545.31 c 545s| 3100 | 2514 |295942 | 88.9 | 149M| 53 | 103 | 945 | 58k| 945 | 58k| 348 | 0 |2347 |-4.500000e+01 |-4.000000e+01 | 12.50%
557.49/557.60 c 558s| 3200 | 2596 |305357 | 89.0 | 151M| 56 | 88 | 945 | 58k| 945 | 58k| 348 | 0 |2351 |-4.500000e+01 |-4.000000e+01 | 12.50%
570.80/570.90 c 571s| 3300 | 2686 |316294 | 89.7 | 154M| 56 | 70 | 945 | 58k| 945 | 58k| 348 | 0 |2372 |-4.500000e+01 |-4.000000e+01 | 12.50%
585.59/585.75 c 586s| 3400 | 2768 |325675 | 89.8 | 156M| 56 | 118 | 945 | 58k| 945 | 58k| 348 | 0 |2411 |-4.500000e+01 |-4.000000e+01 | 12.50%
602.28/602.41 c 602s| 3500 | 2852 |337149 | 90.5 | 159M| 56 | 101 | 945 | 58k| 945 | 58k| 348 | 0 |2465 |-4.500000e+01 |-4.000000e+01 | 12.50%
613.99/614.11 c 614s| 3600 | 2930 |345811 | 90.4 | 161M| 56 | 122 | 945 | 58k| 945 | 58k| 348 | 0 |2489 |-4.500000e+01 |-4.000000e+01 | 12.50%
630.28/630.43 c 630s| 3700 | 3022 |357997 | 91.2 | 164M| 56 | 66 | 945 | 58k| 945 | 58k| 348 | 0 |2545 |-4.500000e+01 |-4.000000e+01 | 12.50%
644.08/644.25 c 644s| 3800 | 3106 |368502 | 91.6 | 166M| 56 | 63 | 945 | 58k| 945 | 58k| 348 | 0 |2581 |-4.500000e+01 |-4.000000e+01 | 12.50%
661.37/661.56 c 662s| 3900 | 3194 |379982 | 92.2 | 169M| 56 | 113 | 945 | 58k| 945 | 58k| 348 | 0 |2630 |-4.500000e+01 |-4.000000e+01 | 12.50%
676.57/676.78 c 677s| 4000 | 3276 |391694 | 92.8 | 172M| 56 | 85 | 945 | 58k| 945 | 58k| 348 | 0 |2678 |-4.500000e+01 |-4.000000e+01 | 12.50%
690.87/691.03 c 691s| 4100 | 3360 |401538 | 93.0 | 174M| 56 | 94 | 945 | 58k| 945 | 58k| 348 | 0 |2719 |-4.500000e+01 |-4.000000e+01 | 12.50%
710.57/710.76 c 711s| 4200 | 3444 |414120 | 93.7 | 176M| 56 | 120 | 945 | 58k| 945 | 58k| 348 | 0 |2760 |-4.500000e+01 |-4.000000e+01 | 12.50%
726.66/726.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
726.66/726.83 c 727s| 4300 | 3530 |426500 | 94.4 | 179M| 56 | 97 | 945 | 58k| 945 | 58k| 348 | 0 |2782 |-4.500000e+01 |-4.000000e+01 | 12.50%
738.76/738.97 c 739s| 4400 | 3618 |436074 | 94.5 | 181M| 56 | 83 | 945 | 58k| 945 | 58k| 348 | 0 |2789 |-4.500000e+01 |-4.000000e+01 | 12.50%
754.96/755.11 c 755s| 4500 | 3710 |449832 | 95.4 | 184M| 56 | 114 | 945 | 58k| 945 | 58k| 348 | 0 |2801 |-4.500000e+01 |-4.000000e+01 | 12.50%
770.06/770.29 c 770s| 4600 | 3798 |462063 | 96.0 | 187M| 56 | 91 | 945 | 58k| 945 | 58k| 348 | 0 |2814 |-4.500000e+01 |-4.000000e+01 | 12.50%
782.86/783.00 c 783s| 4700 | 3886 |473242 | 96.3 | 189M| 56 | 69 | 945 | 58k| 945 | 58k| 348 | 0 |2816 |-4.500000e+01 |-4.000000e+01 | 12.50%
795.36/795.52 c 796s| 4800 | 3968 |483162 | 96.4 | 192M| 56 | 92 | 945 | 58k| 945 | 58k| 348 | 0 |2820 |-4.500000e+01 |-4.000000e+01 | 12.50%
800.26/800.42 o -41
800.26/800.42 c p 800s| 4839 | 3476 |487372 | 96.5 | 184M| 56 | - | 945 | 58k| 945 | 58k| 348 | 0 |2821 |-4.500000e+01 |-4.100000e+01 | 9.76%
806.36/806.60 c 807s| 4900 | 3523 |493443 | 96.5 | 185M| 56 | 91 | 945 | 58k| 945 | 58k| 348 | 0 |2823 |-4.500000e+01 |-4.100000e+01 | 9.76%
815.75/815.99 c 816s| 5000 | 3591 |501205 | 96.2 | 188M| 56 | 76 | 945 | 58k| 945 | 58k| 348 | 0 |2827 |-4.500000e+01 |-4.100000e+01 | 9.76%
829.35/829.53 c 830s| 5100 | 3677 |512281 | 96.4 | 190M| 56 | 108 | 945 | 58k| 945 | 58k| 348 | 0 |2829 |-4.500000e+01 |-4.100000e+01 | 9.76%
841.15/841.39 c 841s| 5200 | 3759 |522728 | 96.6 | 193M| 56 | 66 | 945 | 58k| 945 | 58k| 348 | 0 |2831 |-4.500000e+01 |-4.100000e+01 | 9.76%
854.24/854.43 c 854s| 5300 | 3845 |532886 | 96.7 | 195M| 56 | 90 | 945 | 58k| 945 | 58k| 348 | 0 |2844 |-4.500000e+01 |-4.100000e+01 | 9.76%
866.94/867.18 c 867s| 5400 | 3901 |542090 | 96.6 | 197M| 56 | 80 | 945 | 58k| 945 | 58k| 348 | 0 |2883 |-4.500000e+01 |-4.100000e+01 | 9.76%
878.94/879.11 c 879s| 5500 | 3967 |549561 | 96.2 | 199M| 56 | 84 | 945 | 58k| 945 | 58k| 348 | 0 |2921 |-4.500000e+01 |-4.100000e+01 | 9.76%
888.64/888.82 c 889s| 5600 | 4021 |556148 | 95.7 | 201M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |2960 |-4.500000e+01 |-4.100000e+01 | 9.76%
900.04/900.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
900.04/900.26 c 900s| 5700 | 4081 |564693 | 95.5 | 202M| 59 | 93 | 945 | 58k| 945 | 58k| 348 | 0 |2987 |-4.500000e+01 |-4.100000e+01 | 9.76%
912.13/912.37 c 912s| 5800 | 4141 |573429 | 95.3 | 204M| 59 | 63 | 945 | 58k| 945 | 58k| 348 | 0 |3029 |-4.500000e+01 |-4.100000e+01 | 9.76%
922.03/922.22 c 922s| 5900 | 4201 |580452 | 94.9 | 206M| 59 | 97 | 945 | 58k| 945 | 58k| 348 | 0 |3062 |-4.500000e+01 |-4.100000e+01 | 9.76%
934.23/934.49 c 934s| 6000 | 4265 |588819 | 94.7 | 208M| 59 | 71 | 945 | 58k| 945 | 58k| 348 | 0 |3094 |-4.500000e+01 |-4.100000e+01 | 9.76%
944.64/944.88 c 945s| 6100 | 4321 |595701 | 94.3 | 209M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3135 |-4.500000e+01 |-4.100000e+01 | 9.76%
955.13/955.38 c 955s| 6200 | 4377 |602982 | 94.0 | 211M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3166 |-4.500000e+01 |-4.100000e+01 | 9.76%
965.02/965.20 c 965s| 6300 | 4421 |610289 | 93.6 | 212M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3195 |-4.500000e+01 |-4.100000e+01 | 9.76%
974.92/975.16 c 975s| 6400 | 4487 |617511 | 93.3 | 214M| 59 | 52 | 945 | 58k| 945 | 58k| 348 | 0 |3232 |-4.500000e+01 |-4.100000e+01 | 9.76%
986.22/986.45 c 986s| 6500 | 4551 |625210 | 93.0 | 216M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3271 |-4.500000e+01 |-4.100000e+01 | 9.76%
993.03/993.25 c 993s| 6600 | 4597 |630448 | 92.4 | 218M| 59 | 76 | 945 | 58k| 945 | 58k| 348 | 0 |3295 |-4.500000e+01 |-4.100000e+01 | 9.76%
1004.22/1004.42 c 1004s| 6700 | 4665 |639738 | 92.4 | 220M| 59 | 94 | 945 | 58k| 945 | 58k| 348 | 0 |3310 |-4.500000e+01 |-4.100000e+01 | 9.76%
1014.61/1014.80 c 1015s| 6800 | 4737 |646959 | 92.1 | 222M| 59 | 79 | 945 | 58k| 945 | 58k| 348 | 0 |3323 |-4.500000e+01 |-4.100000e+01 | 9.76%
1024.12/1024.39 c 1024s| 6900 | 4797 |654857 | 91.9 | 223M| 59 | 59 | 945 | 58k| 945 | 58k| 348 | 0 |3335 |-4.500000e+01 |-4.100000e+01 | 9.76%
1031.81/1032.02 c 1032s| 7000 | 4857 |661830 | 91.6 | 225M| 59 | 76 | 945 | 58k| 945 | 58k| 348 | 0 |3337 |-4.500000e+01 |-4.100000e+01 | 9.76%
1043.62/1043.85 c 1044s| 7100 | 4915 |673101 | 91.9 | 227M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3342 |-4.500000e+01 |-4.100000e+01 | 9.76%
1053.01/1053.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1053.01/1053.28 c 1053s| 7200 | 4977 |681212 | 91.8 | 228M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3346 |-4.500000e+01 |-4.100000e+01 | 9.76%
1059.41/1059.63 c 1060s| 7300 | 5033 |687019 | 91.3 | 230M| 59 | 65 | 945 | 58k| 945 | 58k| 348 | 0 |3347 |-4.500000e+01 |-4.100000e+01 | 9.76%
1067.31/1067.54 c 1068s| 7400 | 5093 |693982 | 91.0 | 232M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3351 |-4.500000e+01 |-4.100000e+01 | 9.76%
1074.42/1074.69 c 1075s| 7500 | 5145 |701410 | 90.8 | 233M| 59 | 61 | 945 | 58k| 945 | 58k| 348 | 0 |3354 |-4.500000e+01 |-4.100000e+01 | 9.76%
1080.11/1080.32 c 1080s| 7600 | 5191 |706846 | 90.3 | 234M| 59 | 96 | 945 | 58k| 945 | 58k| 348 | 0 |3356 |-4.500000e+01 |-4.100000e+01 | 9.76%
1087.01/1087.26 c 1087s| 7700 | 5237 |713300 | 90.0 | 236M| 59 | 86 | 945 | 58k| 945 | 58k| 348 | 0 |3358 |-4.500000e+01 |-4.100000e+01 | 9.76%
1093.71/1093.91 c 1094s| 7800 | 5283 |718390 | 89.5 | 237M| 59 | 78 | 945 | 58k| 945 | 58k| 348 | 0 |3360 |-4.500000e+01 |-4.100000e+01 | 9.76%
1099.20/1099.40 c 1099s| 7900 | 5321 |723949 | 89.1 | 239M| 59 | 80 | 945 | 58k| 945 | 58k| 348 | 0 |3360 |-4.500000e+01 |-4.100000e+01 | 9.76%
1107.91/1108.18 c 1108s| 8000 | 5381 |731632 | 88.9 | 240M| 59 | 103 | 945 | 58k| 945 | 58k| 348 | 0 |3361 |-4.500000e+01 |-4.100000e+01 | 9.76%
1118.50/1118.75 c 1119s| 8100 | 5441 |739989 | 88.8 | 242M| 59 | 94 | 945 | 58k| 945 | 58k| 348 | 0 |3379 |-4.500000e+01 |-4.100000e+01 | 9.76%
1129.60/1129.85 c 1130s| 8200 | 5507 |747829 | 88.7 | 244M| 59 | 103 | 945 | 58k| 945 | 58k| 348 | 0 |3407 |-4.500000e+01 |-4.100000e+01 | 9.76%
1138.40/1138.63 c 1139s| 8300 | 5555 |754371 | 88.4 | 245M| 59 | 90 | 945 | 58k| 945 | 58k| 348 | 0 |3443 |-4.500000e+01 |-4.100000e+01 | 9.76%
1150.70/1150.90 c 1151s| 8400 | 5615 |763605 | 88.5 | 247M| 59 | 112 | 945 | 58k| 945 | 58k| 348 | 0 |3464 |-4.500000e+01 |-4.100000e+01 | 9.76%
1160.50/1160.70 c 1161s| 8500 | 5667 |770244 | 88.2 | 249M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3505 |-4.500000e+01 |-4.100000e+01 | 9.76%
1169.39/1169.61 c 1170s| 8600 | 5723 |778140 | 88.1 | 251M| 59 | 62 | 945 | 58k| 945 | 58k| 348 | 0 |3532 |-4.500000e+01 |-4.100000e+01 | 9.76%
1179.00/1179.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1179.00/1179.29 c 1179s| 8700 | 5781 |784804 | 87.9 | 252M| 59 | 92 | 945 | 58k| 945 | 58k| 348 | 0 |3570 |-4.500000e+01 |-4.100000e+01 | 9.76%
1189.10/1189.32 c 1189s| 8800 | 5841 |792534 | 87.7 | 254M| 59 | 89 | 945 | 58k| 945 | 58k| 348 | 0 |3588 |-4.500000e+01 |-4.100000e+01 | 9.76%
1197.49/1197.78 c 1198s| 8900 | 5887 |798871 | 87.5 | 255M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3619 |-4.500000e+01 |-4.100000e+01 | 9.76%
1206.40/1206.66 c 1207s| 9000 | 5939 |804850 | 87.2 | 257M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3657 |-4.500000e+01 |-4.100000e+01 | 9.76%
1215.39/1215.61 c 1216s| 9100 | 5995 |811721 | 87.0 | 258M| 59 | 95 | 945 | 58k| 945 | 58k| 348 | 0 |3692 |-4.500000e+01 |-4.100000e+01 | 9.76%
1224.79/1225.07 c 1225s| 9200 | 6057 |818519 | 86.7 | 260M| 59 | 64 | 945 | 58k| 945 | 58k| 348 | 0 |3728 |-4.500000e+01 |-4.100000e+01 | 9.76%
1232.49/1232.77 c 1233s| 9300 | 6097 |825088 | 86.5 | 261M| 59 | 97 | 945 | 58k| 945 | 58k| 348 | 0 |3750 |-4.500000e+01 |-4.100000e+01 | 9.76%
1242.08/1242.39 c 1242s| 9400 | 6145 |832118 | 86.4 | 263M| 59 | 84 | 945 | 58k| 945 | 58k| 348 | 0 |3787 |-4.500000e+01 |-4.100000e+01 | 9.76%
1251.49/1251.75 c 1252s| 9500 | 6197 |839138 | 86.2 | 264M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3815 |-4.500000e+01 |-4.100000e+01 | 9.76%
1265.98/1266.22 c 1266s| 9600 | 6271 |849793 | 86.4 | 266M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3845 |-4.500000e+01 |-4.100000e+01 | 9.76%
1272.67/1272.97 c 1273s| 9700 | 6305 |855979 | 86.1 | 267M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3857 |-4.500000e+01 |-4.100000e+01 | 9.76%
1279.77/1280.02 c 1280s| 9800 | 6357 |862115 | 85.9 | 269M| 59 | 72 | 945 | 58k| 945 | 58k| 348 | 0 |3865 |-4.500000e+01 |-4.100000e+01 | 9.76%
1286.18/1286.40 c 1286s| 9900 | 6403 |868353 | 85.6 | 270M| 59 | 87 | 945 | 58k| 945 | 58k| 348 | 0 |3873 |-4.500000e+01 |-4.100000e+01 | 9.76%
1293.67/1293.97 c 1294s| 10000 | 6445 |874309 | 85.4 | 272M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3879 |-4.500000e+01 |-4.100000e+01 | 9.76%
1299.77/1300.04 c 1300s| 10100 | 6489 |880153 | 85.1 | 273M| 59 | 71 | 945 | 58k| 945 | 58k| 348 | 0 |3880 |-4.500000e+01 |-4.100000e+01 | 9.76%
1309.57/1309.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1309.57/1309.89 c 1310s| 10200 | 6537 |889997 | 85.3 | 274M| 59 | 92 | 945 | 58k| 945 | 58k| 348 | 0 |3891 |-4.500000e+01 |-4.100000e+01 | 9.76%
1317.97/1318.29 c 1318s| 10300 | 6605 |897635 | 85.2 | 276M| 59 | 77 | 945 | 58k| 945 | 58k| 348 | 0 |3893 |-4.500000e+01 |-4.100000e+01 | 9.76%
1326.87/1327.19 c 1327s| 10400 | 6663 |904682 | 85.0 | 278M| 59 | 81 | 945 | 58k| 945 | 58k| 348 | 0 |3895 |-4.500000e+01 |-4.100000e+01 | 9.76%
1333.87/1334.13 c 1334s| 10500 | 6719 |911441 | 84.9 | 280M| 59 | 60 | 945 | 58k| 945 | 58k| 348 | 0 |3897 |-4.500000e+01 |-4.100000e+01 | 9.76%
1340.87/1341.18 c 1341s| 10600 | 6767 |917841 | 84.7 | 281M| 59 | 119 | 945 | 58k| 945 | 58k| 348 | 0 |3899 |-4.500000e+01 |-4.100000e+01 | 9.76%
1350.16/1350.46 c 1350s| 10700 | 6817 |925889 | 84.6 | 282M| 59 | 65 | 945 | 58k| 945 | 58k| 348 | 0 |3899 |-4.500000e+01 |-4.100000e+01 | 9.76%
1358.66/1358.91 c 1359s| 10800 | 6871 |933869 | 84.6 | 284M| 59 | 83 | 945 | 58k| 945 | 58k| 348 | 0 |3903 |-4.500000e+01 |-4.100000e+01 | 9.76%
1365.26/1365.57 c 1366s| 10900 | 6931 |940432 | 84.4 | 286M| 59 | 77 | 945 | 58k| 945 | 58k| 348 | 0 |3904 |-4.500000e+01 |-4.100000e+01 | 9.76%
1372.16/1372.45 c 1372s| 11000 | 6991 |947052 | 84.2 | 287M| 59 | 50 | 945 | 58k| 945 | 58k| 348 | 0 |3905 |-4.500000e+01 |-4.100000e+01 | 9.76%
1379.17/1379.49 c 1379s| 11100 | 7047 |954549 | 84.2 | 289M| 59 | 80 | 945 | 58k| 945 | 58k| 348 | 0 |3905 |-4.500000e+01 |-4.100000e+01 | 9.76%
1388.56/1388.89 c 1389s| 11200 | 7113 |963066 | 84.2 | 291M| 59 | 110 | 945 | 58k| 945 | 58k| 348 | 0 |3906 |-4.500000e+01 |-4.100000e+01 | 9.76%
1398.06/1398.32 c 1398s| 11300 | 7175 |971734 | 84.2 | 293M| 59 | 123 | 945 | 58k| 945 | 58k| 348 | 0 |3926 |-4.500000e+01 |-4.100000e+01 | 9.76%
1408.26/1408.58 c 1409s| 11400 | 7235 |978888 | 84.1 | 294M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3958 |-4.500000e+01 |-4.100000e+01 | 9.76%
1415.26/1415.54 c 1416s| 11500 | 7279 |983662 | 83.8 | 295M| 59 | 61 | 945 | 58k| 945 | 58k| 348 | 0 |3987 |-4.500000e+01 |-4.100000e+01 | 9.76%
1424.95/1425.27 c 1425s| 11600 | 7337 |991258 | 83.7 | 297M| 59 | 98 | 945 | 58k| 945 | 58k| 348 | 0 |4011 |-4.500000e+01 |-4.100000e+01 | 9.76%
1435.76/1436.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1435.76/1436.05 c 1436s| 11700 | 7385 |999555 | 83.7 | 299M| 59 | 71 | 945 | 58k| 945 | 58k| 348 | 0 |4053 |-4.500000e+01 |-4.100000e+01 | 9.76%
1443.65/1443.99 c 1444s| 11800 | 7437 | 1006k| 83.6 | 300M| 59 | 71 | 945 | 58k| 945 | 58k| 348 | 0 |4065 |-4.500000e+01 |-4.100000e+01 | 9.76%
1453.15/1453.47 c 1453s| 11900 | 7493 | 1013k| 83.4 | 302M| 59 | 72 | 945 | 58k| 945 | 58k| 348 | 0 |4090 |-4.500000e+01 |-4.100000e+01 | 9.76%
1462.15/1462.45 c 1462s| 12000 | 7541 | 1019k| 83.3 | 303M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |4134 |-4.500000e+01 |-4.100000e+01 | 9.76%
1473.45/1473.77 c 1474s| 12100 | 7603 | 1027k| 83.2 | 305M| 59 | 60 | 945 | 58k| 945 | 58k| 348 | 0 |4164 |-4.500000e+01 |-4.100000e+01 | 9.76%
1484.75/1485.04 c 1485s| 12200 | 7661 | 1036k| 83.3 | 306M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |4181 |-4.500000e+01 |-4.100000e+01 | 9.76%
1498.54/1498.89 c 1499s| 12300 | 7727 | 1046k| 83.5 | 308M| 59 | 89 | 945 | 58k| 945 | 58k| 348 | 0 |4224 |-4.500000e+01 |-4.100000e+01 | 9.76%
1510.84/1511.11 c 1511s| 12400 | 7789 | 1055k| 83.5 | 310M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |4271 |-4.500000e+01 |-4.100000e+01 | 9.76%
1519.95/1520.23 c 1520s| 12500 | 7843 | 1062k| 83.4 | 311M| 59 | 91 | 945 | 58k| 945 | 58k| 348 | 0 |4293 |-4.500000e+01 |-4.100000e+01 | 9.76%
1528.75/1529.08 c 1529s| 12600 | 7899 | 1069k| 83.3 | 313M| 59 | 60 | 945 | 58k| 945 | 58k| 348 | 0 |4322 |-4.500000e+01 |-4.100000e+01 | 9.76%
1539.34/1539.61 c 1540s| 12700 | 7969 | 1077k| 83.2 | 315M| 59 | 83 | 945 | 58k| 945 | 58k| 348 | 0 |4355 |-4.500000e+01 |-4.100000e+01 | 9.76%
1546.83/1547.19 c 1547s| 12800 | 8013 | 1083k| 83.0 | 316M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |4379 |-4.500000e+01 |-4.100000e+01 | 9.76%
1557.34/1557.60 c 1558s| 12900 | 8065 | 1090k| 83.0 | 318M| 59 | 107 | 945 | 58k| 945 | 58k| 348 | 0 |4407 |-4.500000e+01 |-4.100000e+01 | 9.76%
1566.53/1566.87 c 1567s| 13000 | 8127 | 1098k| 83.0 | 320M| 59 | 85 | 945 | 58k| 945 | 58k| 348 | 0 |4435 |-4.500000e+01 |-4.100000e+01 | 9.76%
1576.23/1576.57 c 1577s| 13100 | 8189 | 1106k| 82.9 | 322M| 59 | 90 | 945 | 58k| 945 | 58k| 348 | 0 |4447 |-4.500000e+01 |-4.100000e+01 | 9.76%
1582.93/1583.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1582.93/1583.28 c 1583s| 13200 | 8235 | 1112k| 82.8 | 323M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |4453 |-4.500000e+01 |-4.100000e+01 | 9.76%
1591.53/1591.88 c 1592s| 13300 | 8295 | 1119k| 82.7 | 324M| 59 | 72 | 945 | 58k| 945 | 58k| 348 | 0 |4466 |-4.500000e+01 |-4.100000e+01 | 9.76%
1604.02/1604.37 c 1604s| 13400 | 8355 | 1130k| 82.9 | 326M| 59 | 92 | 945 | 58k| 945 | 58k| 348 | 0 |4472 |-4.500000e+01 |-4.100000e+01 | 9.76%
1609.93/1610.24 c 1610s| 13500 | 8395 | 1136k| 82.7 | 327M| 59 | 79 | 945 | 58k| 945 | 58k| 348 | 0 |4475 |-4.500000e+01 |-4.100000e+01 | 9.76%
1621.03/1621.39 c 1621s| 13600 | 8457 | 1146k| 82.8 | 329M| 59 | 104 | 945 | 58k| 945 | 58k| 348 | 0 |4481 |-4.500000e+01 |-4.100000e+01 | 9.76%
1630.12/1630.42 c 1630s| 13700 | 8521 | 1154k| 82.8 | 330M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |4486 |-4.500000e+01 |-4.100000e+01 | 9.76%
1639.62/1639.92 c 1640s| 13800 | 8581 | 1163k| 82.8 | 332M| 59 | 73 | 945 | 58k| 945 | 58k| 348 | 0 |4489 |-4.500000e+01 |-4.100000e+01 | 9.76%
1648.52/1648.86 c 1649s| 13900 | 8637 | 1170k| 82.8 | 334M| 59 | 96 | 945 | 58k| 945 | 58k| 348 | 0 |4490 |-4.500000e+01 |-4.100000e+01 | 9.76%
1656.41/1656.72 c 1657s| 14000 | 8685 | 1178k| 82.7 | 335M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |4491 |-4.500000e+01 |-4.100000e+01 | 9.76%
1662.62/1662.90 c 1663s| 14100 | 8737 | 1184k| 82.6 | 336M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |4492 |-4.500000e+01 |-4.100000e+01 | 9.76%
1670.82/1671.19 c 1671s| 14200 | 8795 | 1192k| 82.5 | 338M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |4493 |-4.500000e+01 |-4.100000e+01 | 9.76%
1677.02/1677.30 c 1677s| 14300 | 8841 | 1197k| 82.3 | 339M| 59 | 108 | 945 | 58k| 945 | 58k| 348 | 0 |4495 |-4.500000e+01 |-4.100000e+01 | 9.76%
1685.41/1685.78 c 1686s| 14400 | 8899 | 1205k| 82.3 | 341M| 59 | 82 | 945 | 58k| 945 | 58k| 348 | 0 |4496 |-4.500000e+01 |-4.100000e+01 | 9.76%
1693.81/1694.18 c 1694s| 14500 | 8963 | 1213k| 82.3 | 343M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |4496 |-4.500000e+01 |-4.100000e+01 | 9.76%
1700.51/1700.86 c 1701s| 14600 | 9009 | 1219k| 82.1 | 344M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |4497 |-4.500000e+01 |-4.100000e+01 | 9.76%
1709.51/1709.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1709.51/1709.80 c 1710s| 14700 | 9059 | 1227k| 82.1 | 345M| 59 | 111 | 945 | 58k| 945 | 58k| 348 | 0 |4497 |-4.500000e+01 |-4.100000e+01 | 9.76%
1722.00/1722.33 c 1722s| 14800 | 9121 | 1238k| 82.3 | 347M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |4497 |-4.500000e+01 |-4.100000e+01 | 9.76%
1730.90/1731.27 c 1731s| 14900 | 9167 | 1245k| 82.2 | 349M| 59 | 69 | 945 | 58k| 945 | 58k| 348 | 0 |4528 |-4.500000e+01 |-4.100000e+01 | 9.76%
1738.80/1739.12 c 1739s| 15000 | 9225 | 1251k| 82.1 | 350M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |4569 |-4.500000e+01 |-4.100000e+01 | 9.76%
1746.99/1747.31 c 1747s| 15100 | 9279 | 1258k| 82.0 | 352M| 59 | 58 | 945 | 58k| 945 | 58k| 348 | 0 |4589 |-4.500000e+01 |-4.100000e+01 | 9.76%
1754.60/1754.92 c 1755s| 15200 | 9315 | 1264k| 81.8 | 353M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |4620 |-4.500000e+01 |-4.100000e+01 | 9.76%
1761.90/1762.21 c 1762s| 15300 | 9369 | 1270k| 81.7 | 354M| 59 | 98 | 945 | 58k| 945 | 58k| 348 | 0 |4640 |-4.500000e+01 |-4.100000e+01 | 9.76%
1772.20/1772.54 c 1773s| 15400 | 9431 | 1278k| 81.7 | 356M| 59 | 100 | 945 | 58k| 945 | 58k| 348 | 0 |4668 |-4.500000e+01 |-4.100000e+01 | 9.76%
1782.09/1782.41 c 1782s| 15500 | 9481 | 1286k| 81.7 | 357M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |4701 |-4.500000e+01 |-4.100000e+01 | 9.76%
1790.19/1790.53 c 1791s| 15600 | 9531 | 1292k| 81.6 | 358M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |4725 |-4.500000e+01 |-4.100000e+01 | 9.76%
1796.69/1797.01 c
1796.69/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.01 c Solving Time (sec) : 1797.01
1796.69/1797.01 c Solving Nodes : 15677
1796.69/1797.01 c Primal Bound : -4.10000000000000e+01 (555 solutions)
1796.69/1797.01 c Dual Bound : -4.50000000000000e+01
1796.69/1797.01 c Gap : 9.76 %
1796.69/1797.02 s SATISFIABLE
1796.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/1797.02 v -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732
1796.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/1797.02 v -x943 -x944 -x945
1796.69/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.02 c Total Time : 1797.01
1796.69/1797.02 c solving : 1797.01
1796.69/1797.02 c presolving : 0.74 (included in solving)
1796.69/1797.02 c reading : 0.13 (included in solving)
1796.69/1797.02 c copying : 0.86 (11 #copies) (minimal 0.08, maximal 0.08, average 0.08)
1796.69/1797.02 c Original Problem :
1796.69/1797.02 c Problem name : HOME/instance-3693271-1338031572.opb
1796.69/1797.02 c Variables : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.02 c Constraints : 58624 initial, 58624 maximal
1796.69/1797.02 c Objective sense : minimize
1796.69/1797.02 c Presolved Problem :
1796.69/1797.02 c Problem name : t_HOME/instance-3693271-1338031572.opb
1796.69/1797.02 c Variables : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.02 c Constraints : 58624 initial, 58624 maximal
1796.69/1797.02 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.69/1797.02 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c components : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c pseudoobj : 0.00 0.02 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c probing : 0.22 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c setppc : 0.06 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c linear : 0.31 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c root node : - - 0 - - 0 - - - - -
1796.69/1797.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.69/1797.02 c integral : 0 0 0 0 13154 0 560 0 16 371 0 0 25876
1796.69/1797.02 c setppc : 58624 58624 34 59160 0 0 555 0 0 441447 0 0 0
1796.69/1797.02 c countsols : 0 0 0 0 0 0 558 0 0 0 0 0 0
1796.69/1797.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.69/1797.02 c integral : 325.29 0.00 0.00 0.00 325.28 0.00 0.01 0.00
1796.69/1797.02 c setppc : 13.17 0.00 0.11 12.11 0.00 0.00 0.95 0.00
1796.69/1797.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.69/1797.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.69/1797.02 c rootredcost : 11 0 0 0
1796.69/1797.02 c pseudoobj : 72266 0 0 0
1796.69/1797.02 c vbounds : 0 0 0 0
1796.69/1797.02 c redcost : 13228 0 0 47
1796.69/1797.02 c probing : 0 0 0 0
1796.69/1797.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.69/1797.02 c rootredcost : 0.04 0.00 0.00 0.04 0.00
1796.69/1797.02 c pseudoobj : 6.16 0.02 0.00 6.14 0.00
1796.69/1797.02 c vbounds : 0.03 0.00 0.00 0.03 0.00
1796.69/1797.02 c redcost : 0.23 0.00 0.00 0.23 0.00
1796.69/1797.02 c probing : 0.22 0.00 0.22 0.00 0.00
1796.69/1797.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.69/1797.02 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.02 c applied globally : - - - 0 0.0 - - -
1796.69/1797.02 c applied locally : - - - 0 0.0 - - -
1796.69/1797.02 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.69/1797.02 c cut pool : 0.00 33 - - 57 - (maximal pool size: 680)
1796.69/1797.02 c closecuts : 0.00 0.00 0 0 0 0 0
1796.69/1797.02 c impliedbounds : 0.02 0.00 34 0 0 0 0
1796.69/1797.02 c intobj : 0.00 0.00 0 0 0 0 0
1796.69/1797.02 c gomory : 0.20 0.00 10 0 0 500 0
1796.69/1797.02 c cgmip : 0.00 0.00 0 0 0 0 0
1796.69/1797.02 c strongcg : 3.71 0.00 20 0 0 10000 0
1796.69/1797.02 c cmir : 6.55 0.00 10 0 0 0 0
1796.69/1797.02 c flowcover : 7.21 0.00 10 0 0 0 0
1796.69/1797.02 c clique : 0.96 0.00 34 0 0 292 0
1796.69/1797.02 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.69/1797.02 c mcf : 0.26 0.00 1 0 0 0 0
1796.69/1797.02 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.69/1797.02 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.69/1797.02 c Pricers : ExecTime SetupTime Calls Vars
1796.69/1797.02 c problem variables: 0.00 - 0 0
1796.69/1797.02 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.69/1797.02 c relpscost : 325.25 0.00 13154 16 371 0 0 25876
1796.69/1797.02 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c inference : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c random : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.69/1797.02 c LP solutions : 0.00 - - 0
1796.69/1797.02 c pseudo solutions : 0.00 - - 0
1796.69/1797.02 c oneopt : 0.09 0.00 11 1
1796.69/1797.02 c crossover : 3.01 0.00 10 1
1796.69/1797.02 c rootsoldiving : 35.12 0.00 95 94
1796.69/1797.02 c veclendiving : 156.41 0.00 190 9
1796.69/1797.02 c linesearchdiving : 50.21 0.00 190 21
1796.69/1797.02 c coefdiving : 96.23 0.00 190 33
1796.69/1797.02 c pscostdiving : 48.12 0.00 190 36
1796.69/1797.02 c smallcard : 0.00 0.00 0 0
1796.69/1797.02 c trivial : 0.01 0.00 2 1
1796.69/1797.02 c shiftandpropagate: 0.00 0.00 0 0
1796.69/1797.02 c simplerounding : 0.26 0.00 13188 51
1796.69/1797.02 c zirounding : 22.06 0.00 6101 122
1796.69/1797.02 c rounding : 14.44 0.00 5055 1
1796.69/1797.02 c shifting : 3.78 0.00 1221 1
1796.69/1797.02 c intshifting : 0.00 0.00 0 0
1796.69/1797.02 c twoopt : 0.00 0.00 0 0
1796.69/1797.02 c indoneopt : 0.01 0.00 0 0
1796.69/1797.02 c indtwoopt : 0.00 0.00 0 0
1796.69/1797.02 c fixandinfer : 0.00 0.00 0 0
1796.69/1797.02 c feaspump : 0.00 0.00 0 0
1796.69/1797.02 c clique : 0.00 0.00 0 0
1796.69/1797.02 c indrounding : 0.00 0.00 0 0
1796.69/1797.02 c indcoefdiving : 0.00 0.00 0 0
1796.69/1797.02 c fracdiving : 99.18 0.00 135 20
1796.69/1797.02 c nlpdiving : 0.00 0.00 0 0
1796.69/1797.02 c intdiving : 0.00 0.00 0 0
1796.69/1797.02 c actconsdiving : 0.00 0.00 0 0
1796.69/1797.02 c objpscostdiving : 79.00 0.00 96 155
1796.69/1797.02 c guideddiving : 64.27 0.00 87 8
1796.69/1797.02 c octane : 0.00 0.00 0 0
1796.69/1797.02 c rens : 1.72 0.00 1 1
1796.69/1797.02 c rins : 0.00 0.00 0 0
1796.69/1797.02 c localbranching : 0.00 0.00 0 0
1796.69/1797.02 c mutation : 0.00 0.00 0 0
1796.69/1797.02 c dins : 0.00 0.00 0 0
1796.69/1797.02 c vbounds : 0.00 0.00 0 0
1796.69/1797.02 c undercover : 0.00 0.00 0 0
1796.69/1797.02 c subnlp : 0.01 0.00 0 0
1796.69/1797.02 c trysol : 0.01 0.00 0 0
1796.69/1797.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.69/1797.02 c primal LP : 0.06 5 0 0.00 0.00 0.06 5
1796.69/1797.02 c dual LP : 654.96 16141 861196 54.13 1314.88 2.47 230
1796.69/1797.02 c lex dual LP : 0.00 0 0 0.00 -
1796.69/1797.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.69/1797.02 c diving/probing LP: 505.91 25590 436509 17.06 862.82
1796.69/1797.02 c strong branching : 322.93 4752 311503 65.55 964.63
1796.69/1797.02 c (at root node) : - 21 2179 103.76 -
1796.69/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1796.69/1797.02 c B&B Tree :
1796.69/1797.02 c number of runs : 1
1796.69/1797.02 c nodes : 15677
1796.69/1797.02 c nodes (total) : 15677
1796.69/1797.02 c nodes left : 9570
1796.69/1797.02 c max depth : 59
1796.69/1797.02 c max depth (total): 59
1796.69/1797.02 c backtracks : 2273 (14.5%)
1796.69/1797.02 c delayed cutoffs : 0
1796.69/1797.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.69/1797.02 c avg switch length: 6.07
1796.69/1797.02 c switching time : 25.72
1796.69/1797.02 c Solution :
1796.69/1797.02 c Solutions found : 555 (14 improvements)
1796.69/1797.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.26 seconds, depth 0, found by <trivial>)
1796.69/1797.02 c Primal Bound : -4.10000000000000e+01 (in run 1, after 4839 nodes, 800.41 seconds, depth 29, found by <pscostdiving>)
1796.69/1797.02 c Dual Bound : -4.50000000000000e+01
1796.69/1797.02 c Gap : 9.76 %
1796.69/1797.02 c Root Dual Bound : -4.53333333333333e+01
1796.69/1797.02 c Root Iterations : 20510
1796.89/1797.28 c Time complete: 1796.98.
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-3693271-1338031572/watcher-3693271-1338031572 -o /tmp/evaluation-result-3693271-1338031572/solver-3693271-1338031572 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693271-1338031572.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.02 2.03 1.97 3/176 32427
/proc/meminfo: memFree=29326852/32873844 swapFree=7384/7384
[pid=32427] ppid=32425 vsize=10712 CPUtime=0 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4sfi) R 32425 32427 31024 0 -1 4202496 1431 0 0 0 0 0 0 0 20 0 1 0 269282664 10969088 1386 33554432000 4194304 10169799 140736440284528 140736485536520 7543003 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32427/statm: 2678 1386 412 1459 0 1210 0
[startup+0.075824 s]
/proc/loadavg: 2.02 2.03 1.97 3/176 32427
/proc/meminfo: memFree=29326852/32873844 swapFree=7384/7384
[pid=32427] ppid=32425 vsize=20292 CPUtime=0.06 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4sfi) R 32425 32427 31024 0 -1 4202496 3830 0 0 0 6 0 0 0 20 0 1 0 269282664 20779008 3785 33554432000 4194304 10169799 140736440284528 140736440150264 7169050 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32427/statm: 5073 3785 412 1459 0 3605 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 20292
[startup+0.100259 s]
/proc/loadavg: 2.02 2.03 1.97 3/176 32427
/proc/meminfo: memFree=29326852/32873844 swapFree=7384/7384
[pid=32427] ppid=32425 vsize=24488 CPUtime=0.09 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4sfi) R 32425 32427 31024 0 -1 4202496 4886 0 0 0 9 0 0 0 20 0 1 0 269282664 25075712 4841 33554432000 4194304 10169799 140736440284528 140736440150264 5985175 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32427/statm: 6122 4841 412 1459 0 4654 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24488
[startup+0.300213 s]
/proc/loadavg: 2.02 2.03 1.97 3/176 32427
/proc/meminfo: memFree=29326852/32873844 swapFree=7384/7384
[pid=32427] ppid=32425 vsize=81056 CPUtime=0.29 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4sfi) R 32425 32427 31024 0 -1 4202496 20917 0 0 0 26 3 0 0 20 0 1 0 269282664 83001344 18568 33554432000 4194304 10169799 140736440284528 140736440281544 8961143 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/32427/statm: 20264 18568 545 1459 0 18796 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 81056
[startup+0.70023 s]
/proc/loadavg: 2.02 2.03 1.97 3/176 32427
/proc/meminfo: memFree=29326852/32873844 swapFree=7384/7384
[pid=32427] ppid=32425 vsize=105844 CPUtime=0.69 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4sfi) R 32425 32427 31024 0 -1 4202496 29498 0 0 0 60 9 0 0 20 0 1 0 269282664 108384256 24751 33554432000 4194304 10169799 140736440284528 140736440281544 4777685 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/32427/statm: 26461 24751 581 1459 0 24993 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 105844
[startup+1.50022 s]
/proc/loadavg: 2.02 2.03 1.97 3/177 32428
/proc/meminfo: memFree=29201376/32873844 swapFree=7384/7384
[pid=32427] ppid=32425 vsize=189888 CPUtime=1.48 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4sfi) R 32425 32427 31024 0 -1 4202496 47987 0 0 0 137 11 0 0 20 0 1 0 269282664 194445312 44250 33554432000 4194304 10169799 140736440284528 140736440279320 8009811 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/32427/statm: 47472 44250 724 1459 0 46004 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 189888
[startup+3.10021 s]
/proc/loadavg: 2.02 2.03 1.97 3/177 32428
/proc/meminfo: memFree=29143508/32873844 swapFree=7384/7384
[pid=32427] ppid=32425 vsize=197344 CPUtime=3.08 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4sfi) R 32425 32427 31024 0 -1 4202496 50949 0 0 0 294 14 0 0 20 0 1 0 269282664 202080256 46985 33554432000 4194304 10169799 140736440284528 140736440280520 7651905 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/32427/statm: 49336 46985 773 1459 0 47868 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 197344
[startup+6.30022 s]
/proc/loadavg: 2.02 2.03 1.97 3/177 32428
/proc/meminfo: memFree=29140160/32873844 swapFree=7384/7384
[pid=32427] ppid=32425 vsize=197344 CPUtime=6.29 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4sfi) R 32425 32427 31024 0 -1 4202496 51100 0 0 0 614 15 0 0 20 0 1 0 269282664 202080256 47136 33554432000 4194304 10169799 140736440284528 140736440281064 7271364 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32427/statm: 49336 47136 773 1459 0 47868 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 197344
[startup+12.7003 s]
/proc/loadavg: 2.02 2.02 1.97 3/177 32428
/proc/meminfo: memFree=29139664/32873844 swapFree=7384/7384
[pid=32427] ppid=32425 vsize=197344 CPUtime=12.69 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4sfi) R 32425 32427 31024 0 -1 4202496 51159 0 0 0 1254 15 0 0 20 0 1 0 269282664 202080256 47195 33554432000 4194304 10169799 140736440284528 140736440280840 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32427/statm: 49336 47195 774 1459 0 47868 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 197344
[startup+25.5002 s]
/proc/loadavg: 2.01 2.02 1.97 3/177 32428
/proc/meminfo: memFree=29138680/32873844 swapFree=7384/7384
[pid=32427] ppid=32425 vsize=198624 CPUtime=25.48 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4sfi) R 32425 32427 31024 0 -1 4202496 51548 0 0 0 2532 16 0 0 20 0 1 0 269282664 203390976 47584 33554432000 4194304 10169799 140736440284528 140736440280920 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32427/statm: 49656 47584 774 1459 0 48188 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 198624
[startup+51.1003 s]
/proc/loadavg: 2.01 2.02 1.97 3/177 32428
/proc/meminfo: memFree=29112736/32873844 swapFree=7384/7384
[pid=32427] ppid=32425 vsize=218748 CPUtime=51.08 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4sfi) R 32425 32427 31024 0 -1 4202496 63710 0 0 0 5080 28 0 0 20 0 1 0 269282664 223997952 53448 33554432000 4194304 10169799 140736440284528 140736440278856 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32427/statm: 54687 53448 823 1459 0 53219 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 218748
[startup+102.307 s]
/proc/loadavg: 2.00 2.02 1.97 3/177 32466
/proc/meminfo: memFree=28926296/32873844 swapFree=7384/7384
[pid=32427] ppid=32425 vsize=218748 CPUtime=102.27 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4sfi) R 32425 32427 31024 0 -1 4202496 63728 0 0 0 10192 35 0 0 20 0 1 0 269282664 223997952 53532 33554432000 4194304 10169799 140736440284528 140736440279224 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32427/statm: 54687 53532 823 1459 0 53219 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 218748
[startup+162.3 s]
/proc/loadavg: 2.03 2.03 1.97 3/177 32467
/proc/meminfo: memFree=28846668/32873844 swapFree=7384/7384
[pid=32427] ppid=32425 vsize=218748 CPUtime=162.26 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4sfi) R 32425 32427 31024 0 -1 4202496 63729 0 0 0 16182 44 0 0 20 0 1 0 269282664 223997952 53805 33554432000 4194304 10169799 140736440284528 140736440279592 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32427/statm: 54687 53805 823 1459 0 53219 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 218748
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/177 32467
/proc/meminfo: memFree=28855168/32873844 swapFree=7384/7384
[pid=32427] ppid=32425 vsize=209136 CPUtime=222.24 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4sfi) R 32425 32427 31024 0 -1 4202496 75182 0 0 0 22166 58 0 0 20 0 1 0 269282664 214155264 51402 33554432000 4194304 10169799 140736440284528 140736440279128 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32427/statm: 52284 51402 823 1459 0 50816 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 209136
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/178 32470
/proc/meminfo: memFree=28845104/32873844 swapFree=7384/7384
[pid=32427] ppid=32425 vsize=222216 CPUtime=282.24 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4sfi) R 32425 32427 31024 0 -1 4202496 93800 0 0 0 28151 73 0 0 20 0 1 0 269282664 227549184 53784 33554432000 4194304 10169799 140736440284528 140736440279512 5131754 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32427/statm: 55554 53784 823 1459 0 54086 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 222216
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/177 32470
/proc/meminfo: memFree=28830552/32873844 swapFree=7384/7384
[pid=32427] ppid=32425 vsize=237016 CPUtime=342.23 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4sfi) R 32425 32427 31024 0 -1 4202496 97278 0 0 0 34139 84 0 0 20 0 1 0 269282664 242704384 57220 33554432000 4194304 10169799 140736440284528 140736440278936 8883993 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32427/statm: 59254 57220 823 1459 0 57786 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 237016
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 32470
/proc/meminfo: memFree=28822120/32873844 swapFree=7384/7384
[pid=32427] ppid=32425 vsize=244104 CPUtime=402.22 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4sfi) R 32425 32427 31024 0 -1 4202496 115029 0 0 0 40122 100 0 0 20 0 1 0 269282664 249962496 59250 33554432000 4194304 10169799 140736440284528 140736440278984 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32427/statm: 61026 59250 827 1459 0 59558 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 244104
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 32471
/proc/meminfo: memFree=28809000/32873844 swapFree=7384/7384
[pid=32427] ppid=32425 vsize=257612 CPUtime=462.21 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4sfi) R 32425 32427 31024 0 -1 4202496 117700 0 0 0 46110 111 0 0 20 0 1 0 269282664 263794688 62539 33554432000 4194304 10169799 140736440284528 140736440278808 8035745 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32427/statm: 64403 62539 827 1459 0 62935 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 257612
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 32471
/proc/meminfo: memFree=28773784/32873844 swapFree=7384/7384
[pid=32427] ppid=32425 vsize=265668 CPUtime=522.2 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4sfi) R 32425 32427 31024 0 -1 4202496 119796 0 0 0 52099 121 0 0 20 0 1 0 269282664 272044032 64631 33554432000 4194304 10169799 140736440284528 140736440279592 7909146 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32427/statm: 66417 64631 827 1459 0 64949 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 265668
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 32471
/proc/meminfo: memFree=28759524/32873844 swapFree=7384/7384
[pid=32427] ppid=32425 vsize=280664 CPUtime=582.19 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4sfi) R 32425 32427 31024 0 -1 4202496 123506 0 0 0 58087 132 0 0 20 0 1 0 269282664 287399936 68280 33554432000 4194304 10169799 140736440284528 140736440279320 5616615 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32427/statm: 70166 68280 827 1459 0 68698 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 280664
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28676484/32873844 swapFree=7384/7384
[pid=32427] ppid=32425 vsize=370156 CPUtime=1122.1 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4sfi) R 32425 32427 31024 0 -1 4202496 246136 0 0 0 111938 272 0 0 20 0 1 0 269282664 379039744 90237 33554432000 4194304 10169799 140736440284528 140736440278984 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32427/statm: 92539 90237 827 1459 0 91071 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 370156
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 1.99 3/177 32476
/proc/meminfo: memFree=28669416/32873844 swapFree=7384/7384
[pid=32427] ppid=32425 vsize=376108 CPUtime=1182.09 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4sfi) R 32425 32427 31024 0 -1 4202496 247897 0 0 0 117925 284 0 0 20 0 1 0 269282664 385134592 91998 33554432000 4194304 10169799 140736440284528 140736440279320 8044781 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32427/statm: 94027 91998 827 1459 0 92559 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 376108
[startup+1242.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 32476
/proc/meminfo: memFree=28658684/32873844 swapFree=7384/7384
[pid=32427] ppid=32425 vsize=385000 CPUtime=1242.08 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4sfi) R 32425 32427 31024 0 -1 4202496 250377 0 0 0 123911 297 0 0 20 0 1 0 269282664 394240000 94664 33554432000 4194304 10169799 140736440284528 140736440278856 7909150 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32427/statm: 96250 94664 827 1459 0 94782 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 385000
[startup+1302.3 s]
/proc/loadavg: 2.13 2.04 2.00 3/177 32476
/proc/meminfo: memFree=28645664/32873844 swapFree=7384/7384
[pid=32427] ppid=32425 vsize=399236 CPUtime=1302.08 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4sfi) R 32425 32427 31024 0 -1 4202496 253576 0 0 0 129901 307 0 0 20 0 1 0 269282664 408817664 97857 33554432000 4194304 10169799 140736440284528 140736440279320 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32427/statm: 99809 97857 827 1459 0 98341 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 399236
[startup+1362.3 s]
/proc/loadavg: 2.12 2.05 2.00 3/177 32477
/proc/meminfo: memFree=28633200/32873844 swapFree=7384/7384
[pid=32427] ppid=32425 vsize=408264 CPUtime=1362.06 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4sfi) R 32425 32427 31024 0 -1 4202496 255834 0 0 0 135886 320 0 0 20 0 1 0 269282664 418062336 100109 33554432000 4194304 10169799 140736440284528 140736440279320 5120007 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32427/statm: 102066 100109 827 1459 0 100598 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 408264
[startup+1422.31 s]
/proc/loadavg: 2.10 2.06 2.01 3/177 32477
/proc/meminfo: memFree=28614908/32873844 swapFree=7384/7384
[pid=32427] ppid=32425 vsize=420216 CPUtime=1422.06 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4sfi) R 32425 32427 31024 0 -1 4202496 273269 0 0 0 141870 336 0 0 20 0 1 0 269282664 430301184 103305 33554432000 4194304 10169799 140736440284528 140736440280712 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32427/statm: 105054 103305 827 1459 0 103586 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 420216
[startup+1482.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/178 32480
/proc/meminfo: memFree=28596472/32873844 swapFree=7384/7384
[pid=32427] ppid=32425 vsize=429236 CPUtime=1482.04 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4sfi) R 32425 32427 31024 0 -1 4202496 275295 0 0 0 147855 349 0 0 20 0 1 0 269282664 439537664 105329 33554432000 4194304 10169799 140736440284528 140736440278600 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32427/statm: 107309 105329 827 1459 0 105841 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 429236
[startup+1542.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 32480
/proc/meminfo: memFree=28490460/32873844 swapFree=7384/7384
[pid=32427] ppid=32425 vsize=440392 CPUtime=1542.03 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4sfi) R 32425 32427 31024 0 -1 4202496 278058 0 0 0 153844 359 0 0 20 0 1 0 269282664 450961408 108090 33554432000 4194304 10169799 140736440284528 140736440279128 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32427/statm: 110098 108090 827 1459 0 108630 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 440392
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 32480
/proc/meminfo: memFree=28481160/32873844 swapFree=7384/7384
[pid=32427] ppid=32425 vsize=448504 CPUtime=1602.02 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4sfi) R 32425 32427 31024 0 -1 4202496 280397 0 0 0 159830 372 0 0 20 0 1 0 269282664 459268096 110427 33554432000 4194304 10169799 140736440284528 140736440279320 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32427/statm: 112126 110427 827 1459 0 110658 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 448504
[startup+1662.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 32481
/proc/meminfo: memFree=28471052/32873844 swapFree=7384/7384
[pid=32427] ppid=32425 vsize=460228 CPUtime=1662.01 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4sfi) R 32425 32427 31024 0 -1 4202496 282982 0 0 0 165818 383 0 0 20 0 1 0 269282664 471273472 113001 33554432000 4194304 10169799 140736440284528 140736440279320 7908936 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32427/statm: 115057 113001 827 1459 0 113589 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 460228
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 32481
/proc/meminfo: memFree=28457716/32873844 swapFree=7384/7384
[pid=32427] ppid=32425 vsize=473544 CPUtime=1722 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4sfi) R 32425 32427 31024 0 -1 4202496 286342 0 0 0 171805 395 0 0 20 0 1 0 269282664 484909056 116386 33554432000 4194304 10169799 140736440284528 140736440278328 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32427/statm: 118386 116386 827 1459 0 116918 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 473544
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 32481
/proc/meminfo: memFree=28445920/32873844 swapFree=7384/7384
[pid=32427] ppid=32425 vsize=484604 CPUtime=1781.99 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4sfi) R 32425 32427 31024 0 -1 4202496 288677 0 0 0 177790 409 0 0 20 0 1 0 269282664 496234496 119171 33554432000 4194304 10169799 140736440284528 140736440279352 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32427/statm: 121151 119171 827 1459 0 119683 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 484604
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 32481
/proc/meminfo: memFree=28445796/32873844 swapFree=7384/7384
[pid=32427] ppid=32425 vsize=484992 CPUtime=1785.19 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4sfi) R 32425 32427 31024 0 -1 4202496 288786 0 0 0 178110 409 0 0 20 0 1 0 269282664 496631808 119280 33554432000 4194304 10169799 140736440284528 140736440278856 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32427/statm: 121248 119280 827 1459 0 119780 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 484992
[startup+1791.91 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 32481
/proc/meminfo: memFree=28444928/32873844 swapFree=7384/7384
[pid=32427] ppid=32425 vsize=484992 CPUtime=1791.6 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4sfi) R 32425 32427 31024 0 -1 4202496 288929 0 0 0 178749 411 0 0 20 0 1 0 269282664 496631808 119423 33554432000 4194304 10169799 140736440284528 140736440278936 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32427/statm: 121248 119423 827 1459 0 119780 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 484992
[startup+1795.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 32481
/proc/meminfo: memFree=28444680/32873844 swapFree=7384/7384
[pid=32427] ppid=32425 vsize=484992 CPUtime=1794.79 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4sfi) R 32425 32427 31024 0 -1 4202496 288987 0 0 0 179068 411 0 0 20 0 1 0 269282664 496631808 119481 33554432000 4194304 10169799 140736440284528 140736440278936 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32427/statm: 121248 119481 827 1459 0 119780 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 484992
[startup+1795.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 32481
/proc/meminfo: memFree=28444680/32873844 swapFree=7384/7384
[pid=32427] ppid=32425 vsize=484992 CPUtime=1795.59 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4sfi) R 32425 32427 31024 0 -1 4202496 289020 0 0 0 179147 412 0 0 20 0 1 0 269282664 496631808 119514 33554432000 4194304 10169799 140736440284528 140736440278936 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32427/statm: 121248 119514 827 1459 0 119780 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (KiB) 484992
[startup+1796.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 32481
/proc/meminfo: memFree=28444556/32873844 swapFree=7384/7384
[pid=32427] ppid=32425 vsize=484992 CPUtime=1796.39 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4sfi) R 32425 32427 31024 0 -1 4202496 289033 0 0 0 179227 412 0 0 20 0 1 0 269282664 496631808 119527 33554432000 4194304 10169799 140736440284528 140736440278856 8030352 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32427/statm: 121248 119527 827 1459 0 119780 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 484992
[startup+1797.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 32481
/proc/meminfo: memFree=28444556/32873844 swapFree=7384/7384
[pid=32427] ppid=32425 vsize=484992 CPUtime=1796.79 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4sfi) R 32425 32427 31024 0 -1 4202496 289046 0 0 0 179267 412 0 0 20 0 1 0 269282664 496631808 119540 33554432000 4194304 10169799 140736440284528 140736440283608 5886483 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32427/statm: 121248 119540 829 1459 0 119780 0
Current children cumulated CPU time (s) 1796.79
Current children cumulated vsize (KiB) 484992
[startup+1797.2 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 32481
/proc/meminfo: memFree=28444556/32873844 swapFree=7384/7384
[pid=32427] ppid=32425 vsize=483384 CPUtime=1796.89 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4sfi) R 32425 32427 31024 0 -1 4202496 289046 0 0 0 179277 412 0 0 20 0 1 0 269282664 494985216 119138 33554432000 4194304 10169799 140736440284528 140736440283608 8961143 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32427/statm: 120846 119138 829 1459 0 119378 0
Current children cumulated CPU time (s) 1796.89
Current children cumulated vsize (KiB) 483384
Child status: 0
Real time (s): 1797.29
CPU time (s): 1796.99
CPU user time (s): 1792.85
CPU system time (s): 4.13337
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 484992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.85
system time used= 4.13337
maximum resident set size= 478160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 289048
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= 39
involuntary context switches= 2247
runsolver used 3.17552 second user time and 8.31274 second system time
The end