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-3690939-1338018827.opb>
0.09/0.12 c original problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58624 constraints
0.09/0.12 c problem read in 0.12
0.19/0.26 o 0
0.19/0.26 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.19/0.26 c presolving:
0.69/0.73 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.99/1.06 c (1.1s) probing: 51/945 (5.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.99/1.06 c (1.1s) probing aborted: 50/50 successive totally useless probings
0.99/1.08 c presolving (2 rounds):
0.99/1.08 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.99/1.08 c 117248 implications, 0 cliques
0.99/1.08 c presolved problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58624 constraints
0.99/1.08 c 58624 constraints of type <setppc>
0.99/1.08 c transformed objective value is always integral (scale: 1)
0.99/1.08 c Presolving Time: 0.92
0.99/1.08 c - non default parameters ----------------------------------------------------------------------
0.99/1.08 c # SCIP version 2.1.1.4
0.99/1.08 c
0.99/1.08 c # maximal time in seconds to run
0.99/1.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.08 c limits/time = 1797
0.99/1.08 c
0.99/1.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.99/1.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.08 c limits/memory = 13950
0.99/1.08 c
0.99/1.08 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.99/1.08 c # [type: int, range: [1,2], default: 1]
0.99/1.08 c timing/clocktype = 2
0.99/1.08 c
0.99/1.08 c # belongs reading time to solving time?
0.99/1.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.08 c timing/reading = TRUE
0.99/1.08 c
0.99/1.08 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.99/1.08 c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.08 c separating/rapidlearning/freq = 0
0.99/1.08 c
0.99/1.08 c -----------------------------------------------------------------------------------------------
0.99/1.08 c start solving
0.99/1.09 c
1.69/1.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.69/1.74 c t 1.7s| 1 | 0 | 946 | - | 70M| 0 | 945 | 945 | 58k| 945 | 58k| 0 | 0 | 0 |-4.725000e+02 | 0.000000e+00 | Inf
1.69/1.78 o -1
1.69/1.78 c R 1.8s| 1 | 0 | 946 | - | 70M| 0 | 945 | 945 | 58k| 945 | 58k| 0 | 0 | 0 |-4.725000e+02 |-1.000000e+00 | Large
1.79/1.82 o -2
1.79/1.82 c s 1.8s| 1 | 0 | 946 | - | 70M| 0 | 945 | 945 | 58k| 945 | 58k| 0 | 0 | 0 |-4.725000e+02 |-2.000000e+00 | Large
2.98/3.01 c 3.0s| 1 | 0 | 1217 | - | 70M| 0 | 887 | 945 | 58k| 945 | 58k| 7 | 0 | 0 |-4.435000e+02 |-2.000000e+00 | Large
2.98/3.02 o -30
2.98/3.02 c b 3.0s| 1 | 0 | 1217 | - | 70M| 0 | 887 | 945 | 58k| 945 | 58k| 7 | 0 | 0 |-4.435000e+02 |-3.000000e+01 |1378.33%
4.19/4.29 c 4.3s| 1 | 0 | 1427 | - | 70M| 0 | 829 | 945 | 58k| 945 | 58k| 32 | 0 | 0 |-4.145000e+02 |-3.000000e+01 |1281.67%
5.88/5.94 c 5.9s| 1 | 0 | 1660 | - | 70M| 0 | 774 | 945 | 58k| 945 | 58k| 55 | 0 | 0 |-3.870000e+02 |-3.000000e+01 |1190.00%
7.98/8.07 c 8.1s| 1 | 0 | 2079 | - | 70M| 0 | 724 | 945 | 58k| 945 | 58k| 72 | 0 | 0 |-3.620000e+02 |-3.000000e+01 |1106.67%
10.69/10.78 c 10.8s| 1 | 0 | 2424 | - | 70M| 0 | 683 | 945 | 58k| 945 | 58k| 88 | 0 | 0 |-3.415000e+02 |-3.000000e+01 |1038.33%
12.89/12.92 c 12.9s| 1 | 0 | 2659 | - | 70M| 0 | 641 | 945 | 58k| 945 | 58k| 101 | 0 | 0 |-3.205000e+02 |-3.000000e+01 | 968.33%
15.18/15.28 c 15.3s| 1 | 0 | 2927 | - | 70M| 0 | 597 | 945 | 58k| 945 | 58k| 113 | 0 | 0 |-2.985000e+02 |-3.000000e+01 | 895.00%
17.68/17.73 c 17.7s| 1 | 0 | 3211 | - | 70M| 0 | 564 | 945 | 58k| 945 | 58k| 126 | 0 | 0 |-2.805000e+02 |-3.000000e+01 | 835.00%
19.99/20.10 c 20.1s| 1 | 0 | 3670 | - | 70M| 0 | 520 | 945 | 58k| 945 | 58k| 139 | 0 | 0 |-2.600000e+02 |-3.000000e+01 | 766.67%
22.79/22.83 c 22.8s| 1 | 0 | 4603 | - | 70M| 0 | 485 | 945 | 58k| 945 | 58k| 151 | 0 | 0 |-2.425000e+02 |-3.000000e+01 | 708.33%
23.28/23.34 c 23.3s| 1 | 0 | 4871 | - | 70M| 0 | 445 | 945 | 58k| 945 | 58k| 164 | 0 | 0 |-2.225000e+02 |-3.000000e+01 | 641.67%
25.48/25.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.48/25.54 c 25.5s| 1 | 0 | 7272 | - | 70M| 0 | 401 | 945 | 58k| 945 | 58k| 180 | 0 | 0 |-2.005000e+02 |-3.000000e+01 | 568.33%
27.08/27.10 c 27.1s| 1 | 0 | 8894 | - | 70M| 0 | 349 | 945 | 58k| 945 | 58k| 188 | 0 | 0 |-1.745000e+02 |-3.000000e+01 | 481.67%
28.59/28.65 c 28.6s| 1 | 0 | 11020 | - | 70M| 0 | 295 | 945 | 58k| 945 | 58k| 200 | 0 | 0 |-1.475000e+02 |-3.000000e+01 | 391.67%
29.78/29.80 c 29.8s| 1 | 0 | 12380 | - | 70M| 0 | 263 | 945 | 58k| 945 | 58k| 210 | 0 | 0 |-1.315000e+02 |-3.000000e+01 | 338.33%
30.18/30.29 c 30.3s| 1 | 0 | 12712 | - | 71M| 0 | 245 | 945 | 58k| 945 | 58k| 217 | 0 | 0 |-1.225000e+02 |-3.000000e+01 | 308.33%
32.09/32.11 c 32.1s| 1 | 0 | 14985 | - | 71M| 0 | 213 | 945 | 58k| 945 | 58k| 227 | 0 | 0 |-1.065000e+02 |-3.000000e+01 | 255.00%
32.59/32.60 c 32.6s| 1 | 0 | 15329 | - | 71M| 0 | 197 | 945 | 58k| 945 | 58k| 235 | 0 | 0 |-9.850000e+01 |-3.000000e+01 | 228.33%
33.68/33.78 c 33.8s| 1 | 0 | 16863 | - | 71M| 0 | 175 | 945 | 58k| 945 | 58k| 248 | 0 | 0 |-8.750000e+01 |-3.000000e+01 | 191.67%
34.58/34.63 c 34.6s| 1 | 0 | 17689 | - | 71M| 0 | 159 | 945 | 58k| 945 | 58k| 255 | 0 | 0 |-7.950000e+01 |-3.000000e+01 | 165.00%
35.19/35.21 c 35.2s| 1 | 0 | 18692 | - | 71M| 0 | 138 | 945 | 58k| 945 | 58k| 259 | 0 | 0 |-6.550000e+01 |-3.000000e+01 | 118.33%
35.69/35.74 c 35.7s| 1 | 0 | 19733 | - | 71M| 0 | 128 | 945 | 58k| 945 | 58k| 265 | 0 | 0 |-5.900000e+01 |-3.000000e+01 | 96.67%
35.98/36.03 c 36.0s| 1 | 0 | 20157 | - | 71M| 0 | 97 | 945 | 58k| 945 | 58k| 268 | 0 | 0 |-4.850000e+01 |-3.000000e+01 | 61.67%
35.98/36.09 c 36.1s| 1 | 0 | 20188 | - | 71M| 0 | 91 | 945 | 58k| 945 | 58k| 273 | 0 | 0 |-4.550000e+01 |-3.000000e+01 | 51.67%
36.08/36.12 c 36.1s| 1 | 0 | 20194 | - | 71M| 0 | 91 | 945 | 58k| 945 | 58k| 279 | 0 | 0 |-4.550000e+01 |-3.000000e+01 | 51.67%
36.08/36.18 c 36.2s| 1 | 0 | 20231 | - | 71M| 0 | 103 | 945 | 58k| 945 | 58k| 286 | 0 | 0 |-4.550000e+01 |-3.000000e+01 | 51.67%
36.19/36.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.19/36.22 c 36.2s| 1 | 0 | 20245 | - | 71M| 0 | 103 | 945 | 58k| 945 | 58k| 292 | 0 | 0 |-4.550000e+01 |-3.000000e+01 | 51.67%
36.19/36.25 c 36.2s| 1 | 0 | 20250 | - | 71M| 0 | 91 | 945 | 58k| 945 | 58k| 296 | 0 | 0 |-4.550000e+01 |-3.000000e+01 | 51.67%
36.29/36.33 c 36.3s| 1 | 0 | 20296 | - | 71M| 0 | 117 | 945 | 58k| 945 | 58k| 302 | 0 | 0 |-4.533333e+01 |-3.000000e+01 | 51.11%
36.29/36.38 c 36.4s| 1 | 0 | 20325 | - | 71M| 0 | 119 | 945 | 58k| 945 | 58k| 314 | 0 | 0 |-4.533333e+01 |-3.000000e+01 | 51.11%
36.38/36.47 c 36.5s| 1 | 0 | 20376 | - | 71M| 0 | 132 | 945 | 58k| 945 | 58k| 322 | 0 | 0 |-4.533333e+01 |-3.000000e+01 | 51.11%
36.48/36.55 c 36.6s| 1 | 0 | 20437 | - | 71M| 0 | 135 | 945 | 58k| 945 | 58k| 331 | 0 | 0 |-4.533333e+01 |-3.000000e+01 | 51.11%
36.58/36.64 c 36.6s| 1 | 0 | 20486 | - | 71M| 0 | 139 | 945 | 58k| 945 | 58k| 342 | 0 | 0 |-4.533333e+01 |-3.000000e+01 | 51.11%
36.68/36.70 c 36.7s| 1 | 0 | 20510 | - | 71M| 0 | 141 | 945 | 58k| 945 | 58k| 348 | 0 | 0 |-4.533333e+01 |-3.000000e+01 | 51.11%
41.38/41.49 c 41.5s| 1 | 2 | 20510 | - | 71M| 0 | 141 | 945 | 58k| 945 | 58k| 348 | 0 | 21 |-4.533333e+01 |-3.000000e+01 | 51.11%
57.78/57.81 o -31
57.78/57.81 c c57.8s| 8 | 9 | 21425 | 130.7 | 73M| 7 | - | 945 | 58k| 945 | 58k| 348 | 0 | 193 |-4.533333e+01 |-3.100000e+01 | 46.24%
57.78/57.83 o -32
57.78/57.83 c c57.8s| 8 | 9 | 21427 | 131.0 | 73M| 7 | - | 945 | 58k| 945 | 58k| 348 | 0 | 193 |-4.533333e+01 |-3.200000e+01 | 41.67%
74.17/74.20 o -33
74.17/74.20 c p74.2s| 14 | 15 | 22214 | 131.1 | 73M| 7 | - | 945 | 58k| 945 | 58k| 348 | 0 | 349 |-4.500000e+01 |-3.300000e+01 | 36.36%
86.56/86.65 o -34
86.56/86.65 c f86.7s| 19 | 20 | 23256 | 152.6 | 74M| 7 | - | 945 | 58k| 945 | 58k| 348 | 0 | 467 |-4.500000e+01 |-3.400000e+01 | 32.35%
153.35/153.48 o -35
153.35/153.48 c l 153s| 67 | 68 | 26992 | 98.2 | 77M| 17 | - | 945 | 58k| 945 | 58k| 348 | 0 |1276 |-4.500000e+01 |-3.500000e+01 | 28.57%
173.35/173.45 o -36
173.35/173.45 c c 173s| 91 | 88 | 28989 | 94.2 | 78M| 19 | - | 945 | 58k| 945 | 58k| 348 | 0 |1498 |-4.500000e+01 |-3.600000e+01 | 25.00%
173.95/174.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
173.95/174.01 c 174s| 100 | 97 | 29436 | 90.2 | 78M| 19 | 75 | 945 | 58k| 945 | 58k| 348 | 0 |1498 |-4.500000e+01 |-3.600000e+01 | 25.00%
178.15/178.25 o -37
178.15/178.25 c l 178s| 141 | 134 | 32702 | 87.1 | 80M| 22 | - | 945 | 58k| 945 | 58k| 348 | 0 |1505 |-4.500000e+01 |-3.700000e+01 | 21.62%
184.05/184.18 c 184s| 200 | 181 | 36420 | 79.9 | 81M| 26 | 69 | 945 | 58k| 945 | 58k| 348 | 0 |1524 |-4.500000e+01 |-3.700000e+01 | 21.62%
186.45/186.59 o -38
186.45/186.59 c c 187s| 236 | 197 | 37959 | 74.3 | 81M| 29 | - | 945 | 58k| 945 | 58k| 348 | 0 |1533 |-4.500000e+01 |-3.800000e+01 | 18.42%
190.45/190.51 c 191s| 300 | 235 | 40951 | 68.4 | 82M| 36 | 74 | 945 | 58k| 945 | 58k| 348 | 0 |1542 |-4.500000e+01 |-3.800000e+01 | 18.42%
200.74/200.84 c 201s| 400 | 315 | 47398 | 67.4 | 85M| 36 | 106 | 945 | 58k| 945 | 58k| 348 | 0 |1586 |-4.500000e+01 |-3.800000e+01 | 18.42%
202.35/202.49 o -40
202.35/202.49 c c 202s| 429 | 257 | 48410 | 65.2 | 85M| 36 | - | 945 | 58k| 945 | 58k| 348 | 0 |1591 |-4.500000e+01 |-4.000000e+01 | 12.50%
207.64/207.77 c 208s| 500 | 304 | 51826 | 62.8 | 86M| 36 | 71 | 945 | 58k| 945 | 58k| 348 | 0 |1617 |-4.500000e+01 |-4.000000e+01 | 12.50%
216.55/216.66 c 217s| 600 | 352 | 57816 | 62.3 | 88M| 36 | 131 | 945 | 58k| 945 | 58k| 348 | 0 |1649 |-4.500000e+01 |-4.000000e+01 | 12.50%
224.25/224.34 c 224s| 700 | 404 | 62332 | 59.8 | 90M| 36 | 70 | 945 | 58k| 945 | 58k| 348 | 0 |1686 |-4.500000e+01 |-4.000000e+01 | 12.50%
229.94/230.03 c 230s| 800 | 448 | 65834 | 56.7 | 91M| 39 | 121 | 945 | 58k| 945 | 58k| 348 | 0 |1713 |-4.500000e+01 |-4.000000e+01 | 12.50%
237.74/237.88 c 238s| 900 | 506 | 70602 | 55.7 | 93M| 39 | 75 | 945 | 58k| 945 | 58k| 348 | 0 |1751 |-4.500000e+01 |-4.000000e+01 | 12.50%
244.54/244.61 c 245s| 1000 | 558 | 75639 | 55.2 | 95M| 46 | 125 | 945 | 58k| 945 | 58k| 348 | 0 |1766 |-4.500000e+01 |-4.000000e+01 | 12.50%
255.24/255.34 c 255s| 1100 | 658 | 82236 | 56.2 | 97M| 53 | 107 | 945 | 58k| 945 | 58k| 348 | 0 |1792 |-4.500000e+01 |-4.000000e+01 | 12.50%
270.74/270.89 c 271s| 1200 | 756 | 92900 | 60.4 | 99M| 53 | 90 | 945 | 58k| 945 | 58k| 348 | 0 |1822 |-4.500000e+01 |-4.000000e+01 | 12.50%
281.03/281.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
281.03/281.12 c 281s| 1300 | 854 | 99025 | 60.4 | 102M| 53 | 85 | 945 | 58k| 945 | 58k| 348 | 0 |1848 |-4.500000e+01 |-4.000000e+01 | 12.50%
291.63/291.79 c 292s| 1400 | 952 |106292 | 61.3 | 105M| 53 | 95 | 945 | 58k| 945 | 58k| 348 | 0 |1874 |-4.500000e+01 |-4.000000e+01 | 12.50%
308.63/308.72 c 309s| 1500 | 1050 |116829 | 64.3 | 107M| 53 | 81 | 945 | 58k| 945 | 58k| 348 | 0 |1917 |-4.500000e+01 |-4.000000e+01 | 12.50%
327.02/327.12 c 327s| 1600 | 1148 |129911 | 68.4 | 110M| 53 | 111 | 945 | 58k| 945 | 58k| 348 | 0 |1969 |-4.500000e+01 |-4.000000e+01 | 12.50%
338.02/338.17 c 338s| 1700 | 1234 |137942 | 69.1 | 113M| 53 | 73 | 945 | 58k| 945 | 58k| 348 | 0 |2004 |-4.500000e+01 |-4.000000e+01 | 12.50%
352.72/352.87 c 353s| 1800 | 1332 |147139 | 70.4 | 115M| 53 | 114 | 945 | 58k| 945 | 58k| 348 | 0 |2042 |-4.500000e+01 |-4.000000e+01 | 12.50%
370.22/370.38 c 370s| 1900 | 1428 |159411 | 73.1 | 118M| 53 | 105 | 945 | 58k| 945 | 58k| 348 | 0 |2079 |-4.500000e+01 |-4.000000e+01 | 12.50%
387.72/387.83 c 388s| 2000 | 1528 |172331 | 75.9 | 121M| 53 | 72 | 945 | 58k| 945 | 58k| 348 | 0 |2105 |-4.500000e+01 |-4.000000e+01 | 12.50%
409.12/409.27 c 409s| 2100 | 1620 |186304 | 79.0 | 124M| 53 | 72 | 945 | 58k| 945 | 58k| 348 | 0 |2183 |-4.500000e+01 |-4.000000e+01 | 12.50%
428.01/428.15 c 428s| 2200 | 1716 |200707 | 81.9 | 126M| 53 | 74 | 945 | 58k| 945 | 58k| 348 | 0 |2207 |-4.500000e+01 |-4.000000e+01 | 12.50%
443.50/443.62 c 444s| 2300 | 1806 |211966 | 83.3 | 129M| 53 | 60 | 945 | 58k| 945 | 58k| 348 | 0 |2229 |-4.500000e+01 |-4.000000e+01 | 12.50%
456.81/456.98 c 457s| 2400 | 1892 |222317 | 84.1 | 132M| 53 | 74 | 945 | 58k| 945 | 58k| 348 | 0 |2257 |-4.500000e+01 |-4.000000e+01 | 12.50%
470.40/470.57 c 471s| 2500 | 1988 |233345 | 85.2 | 135M| 53 | 86 | 945 | 58k| 945 | 58k| 348 | 0 |2283 |-4.500000e+01 |-4.000000e+01 | 12.50%
487.01/487.16 c 487s| 2600 | 2078 |246140 | 86.8 | 137M| 53 | 68 | 945 | 58k| 945 | 58k| 348 | 0 |2300 |-4.500000e+01 |-4.000000e+01 | 12.50%
501.60/501.70 c 502s| 2700 | 2164 |257955 | 88.0 | 140M| 53 | 130 | 945 | 58k| 945 | 58k| 348 | 0 |2319 |-4.500000e+01 |-4.000000e+01 | 12.50%
513.90/514.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
513.90/514.05 c 514s| 2800 | 2248 |267853 | 88.4 | 142M| 53 | 82 | 945 | 58k| 945 | 58k| 348 | 0 |2325 |-4.500000e+01 |-4.000000e+01 | 12.50%
523.79/523.98 c 524s| 2900 | 2334 |276476 | 88.3 | 144M| 53 | 52 | 945 | 58k| 945 | 58k| 348 | 0 |2332 |-4.500000e+01 |-4.000000e+01 | 12.50%
537.59/537.78 c 538s| 3000 | 2422 |287722 | 89.1 | 147M| 53 | 93 | 945 | 58k| 945 | 58k| 348 | 0 |2343 |-4.500000e+01 |-4.000000e+01 | 12.50%
547.99/548.17 c 548s| 3100 | 2514 |295942 | 88.9 | 149M| 53 | 103 | 945 | 58k| 945 | 58k| 348 | 0 |2347 |-4.500000e+01 |-4.000000e+01 | 12.50%
560.39/560.58 c 561s| 3200 | 2596 |305357 | 89.0 | 151M| 56 | 88 | 945 | 58k| 945 | 58k| 348 | 0 |2351 |-4.500000e+01 |-4.000000e+01 | 12.50%
573.79/573.90 c 574s| 3300 | 2686 |316294 | 89.7 | 154M| 56 | 70 | 945 | 58k| 945 | 58k| 348 | 0 |2372 |-4.500000e+01 |-4.000000e+01 | 12.50%
588.49/588.69 c 589s| 3400 | 2768 |325675 | 89.8 | 156M| 56 | 118 | 945 | 58k| 945 | 58k| 348 | 0 |2411 |-4.500000e+01 |-4.000000e+01 | 12.50%
605.49/605.63 c 606s| 3500 | 2852 |337149 | 90.5 | 159M| 56 | 101 | 945 | 58k| 945 | 58k| 348 | 0 |2465 |-4.500000e+01 |-4.000000e+01 | 12.50%
617.18/617.36 c 617s| 3600 | 2930 |345811 | 90.4 | 161M| 56 | 122 | 945 | 58k| 945 | 58k| 348 | 0 |2489 |-4.500000e+01 |-4.000000e+01 | 12.50%
633.39/633.55 c 634s| 3700 | 3022 |357997 | 91.2 | 164M| 56 | 66 | 945 | 58k| 945 | 58k| 348 | 0 |2545 |-4.500000e+01 |-4.000000e+01 | 12.50%
647.28/647.45 c 647s| 3800 | 3106 |368502 | 91.6 | 166M| 56 | 63 | 945 | 58k| 945 | 58k| 348 | 0 |2581 |-4.500000e+01 |-4.000000e+01 | 12.50%
664.67/664.86 c 665s| 3900 | 3194 |379982 | 92.2 | 169M| 56 | 113 | 945 | 58k| 945 | 58k| 348 | 0 |2630 |-4.500000e+01 |-4.000000e+01 | 12.50%
679.97/680.10 c 680s| 4000 | 3276 |391694 | 92.8 | 172M| 56 | 85 | 945 | 58k| 945 | 58k| 348 | 0 |2678 |-4.500000e+01 |-4.000000e+01 | 12.50%
694.26/694.42 c 694s| 4100 | 3360 |401538 | 93.0 | 174M| 56 | 94 | 945 | 58k| 945 | 58k| 348 | 0 |2719 |-4.500000e+01 |-4.000000e+01 | 12.50%
713.97/714.14 c 714s| 4200 | 3444 |414120 | 93.7 | 176M| 56 | 120 | 945 | 58k| 945 | 58k| 348 | 0 |2760 |-4.500000e+01 |-4.000000e+01 | 12.50%
730.06/730.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
730.06/730.28 c 730s| 4300 | 3530 |426500 | 94.4 | 179M| 56 | 97 | 945 | 58k| 945 | 58k| 348 | 0 |2782 |-4.500000e+01 |-4.000000e+01 | 12.50%
742.16/742.34 c 742s| 4400 | 3618 |436074 | 94.5 | 181M| 56 | 83 | 945 | 58k| 945 | 58k| 348 | 0 |2789 |-4.500000e+01 |-4.000000e+01 | 12.50%
758.36/758.59 c 759s| 4500 | 3710 |449832 | 95.4 | 184M| 56 | 114 | 945 | 58k| 945 | 58k| 348 | 0 |2801 |-4.500000e+01 |-4.000000e+01 | 12.50%
773.55/773.77 c 774s| 4600 | 3798 |462063 | 96.0 | 187M| 56 | 91 | 945 | 58k| 945 | 58k| 348 | 0 |2814 |-4.500000e+01 |-4.000000e+01 | 12.50%
786.26/786.47 c 786s| 4700 | 3886 |473242 | 96.3 | 189M| 56 | 69 | 945 | 58k| 945 | 58k| 348 | 0 |2816 |-4.500000e+01 |-4.000000e+01 | 12.50%
798.86/799.04 c 799s| 4800 | 3968 |483162 | 96.4 | 192M| 56 | 92 | 945 | 58k| 945 | 58k| 348 | 0 |2820 |-4.500000e+01 |-4.000000e+01 | 12.50%
803.65/803.88 o -41
803.65/803.88 c p 804s| 4839 | 3476 |487372 | 96.5 | 184M| 56 | - | 945 | 58k| 945 | 58k| 348 | 0 |2821 |-4.500000e+01 |-4.100000e+01 | 9.76%
809.85/810.00 c 810s| 4900 | 3523 |493443 | 96.5 | 185M| 56 | 91 | 945 | 58k| 945 | 58k| 348 | 0 |2823 |-4.500000e+01 |-4.100000e+01 | 9.76%
819.15/819.39 c 819s| 5000 | 3591 |501205 | 96.2 | 188M| 56 | 76 | 945 | 58k| 945 | 58k| 348 | 0 |2827 |-4.500000e+01 |-4.100000e+01 | 9.76%
832.85/833.08 c 833s| 5100 | 3677 |512281 | 96.4 | 190M| 56 | 108 | 945 | 58k| 945 | 58k| 348 | 0 |2829 |-4.500000e+01 |-4.100000e+01 | 9.76%
844.85/845.01 c 845s| 5200 | 3759 |522728 | 96.6 | 193M| 56 | 66 | 945 | 58k| 945 | 58k| 348 | 0 |2831 |-4.500000e+01 |-4.100000e+01 | 9.76%
857.85/858.01 c 858s| 5300 | 3845 |532886 | 96.7 | 195M| 56 | 90 | 945 | 58k| 945 | 58k| 348 | 0 |2844 |-4.500000e+01 |-4.100000e+01 | 9.76%
870.54/870.73 c 871s| 5400 | 3901 |542090 | 96.6 | 197M| 56 | 80 | 945 | 58k| 945 | 58k| 348 | 0 |2883 |-4.500000e+01 |-4.100000e+01 | 9.76%
882.54/882.79 c 883s| 5500 | 3967 |549561 | 96.2 | 199M| 56 | 84 | 945 | 58k| 945 | 58k| 348 | 0 |2921 |-4.500000e+01 |-4.100000e+01 | 9.76%
892.43/892.66 c 893s| 5600 | 4021 |556148 | 95.7 | 201M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |2960 |-4.500000e+01 |-4.100000e+01 | 9.76%
903.74/903.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
903.74/903.93 c 904s| 5700 | 4081 |564693 | 95.5 | 202M| 59 | 93 | 945 | 58k| 945 | 58k| 348 | 0 |2987 |-4.500000e+01 |-4.100000e+01 | 9.76%
916.04/916.20 c 916s| 5800 | 4141 |573429 | 95.3 | 204M| 59 | 63 | 945 | 58k| 945 | 58k| 348 | 0 |3029 |-4.500000e+01 |-4.100000e+01 | 9.76%
925.83/926.00 c 926s| 5900 | 4201 |580452 | 94.9 | 206M| 59 | 97 | 945 | 58k| 945 | 58k| 348 | 0 |3062 |-4.500000e+01 |-4.100000e+01 | 9.76%
938.13/938.33 c 938s| 6000 | 4265 |588819 | 94.7 | 208M| 59 | 71 | 945 | 58k| 945 | 58k| 348 | 0 |3094 |-4.500000e+01 |-4.100000e+01 | 9.76%
948.63/948.83 c 949s| 6100 | 4321 |595701 | 94.3 | 209M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3135 |-4.500000e+01 |-4.100000e+01 | 9.76%
959.12/959.34 c 959s| 6200 | 4377 |602982 | 94.0 | 211M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3166 |-4.500000e+01 |-4.100000e+01 | 9.76%
968.93/969.19 c 969s| 6300 | 4421 |610289 | 93.6 | 212M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3195 |-4.500000e+01 |-4.100000e+01 | 9.76%
978.92/979.19 c 979s| 6400 | 4487 |617511 | 93.3 | 214M| 59 | 52 | 945 | 58k| 945 | 58k| 348 | 0 |3232 |-4.500000e+01 |-4.100000e+01 | 9.76%
990.22/990.45 c 990s| 6500 | 4551 |625210 | 93.0 | 216M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3271 |-4.500000e+01 |-4.100000e+01 | 9.76%
997.12/997.30 c 997s| 6600 | 4597 |630448 | 92.4 | 218M| 59 | 76 | 945 | 58k| 945 | 58k| 348 | 0 |3295 |-4.500000e+01 |-4.100000e+01 | 9.76%
1008.12/1008.34 c 1008s| 6700 | 4665 |639738 | 92.4 | 220M| 59 | 94 | 945 | 58k| 945 | 58k| 348 | 0 |3310 |-4.500000e+01 |-4.100000e+01 | 9.76%
1018.43/1018.69 c 1019s| 6800 | 4737 |646959 | 92.1 | 222M| 59 | 79 | 945 | 58k| 945 | 58k| 348 | 0 |3323 |-4.500000e+01 |-4.100000e+01 | 9.76%
1027.91/1028.13 c 1028s| 6900 | 4797 |654857 | 91.9 | 223M| 59 | 59 | 945 | 58k| 945 | 58k| 348 | 0 |3335 |-4.500000e+01 |-4.100000e+01 | 9.76%
1035.52/1035.73 c 1036s| 7000 | 4857 |661830 | 91.6 | 225M| 59 | 76 | 945 | 58k| 945 | 58k| 348 | 0 |3337 |-4.500000e+01 |-4.100000e+01 | 9.76%
1047.42/1047.63 c 1048s| 7100 | 4915 |673101 | 91.9 | 227M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3342 |-4.500000e+01 |-4.100000e+01 | 9.76%
1056.72/1056.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1056.72/1056.94 c 1057s| 7200 | 4977 |681212 | 91.8 | 228M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3346 |-4.500000e+01 |-4.100000e+01 | 9.76%
1063.11/1063.33 c 1063s| 7300 | 5033 |687019 | 91.3 | 230M| 59 | 65 | 945 | 58k| 945 | 58k| 348 | 0 |3347 |-4.500000e+01 |-4.100000e+01 | 9.76%
1071.01/1071.25 c 1071s| 7400 | 5093 |693982 | 91.0 | 232M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3351 |-4.500000e+01 |-4.100000e+01 | 9.76%
1078.21/1078.47 c 1078s| 7500 | 5145 |701410 | 90.8 | 233M| 59 | 61 | 945 | 58k| 945 | 58k| 348 | 0 |3354 |-4.500000e+01 |-4.100000e+01 | 9.76%
1083.91/1084.10 c 1084s| 7600 | 5191 |706846 | 90.3 | 234M| 59 | 96 | 945 | 58k| 945 | 58k| 348 | 0 |3356 |-4.500000e+01 |-4.100000e+01 | 9.76%
1090.92/1091.15 c 1091s| 7700 | 5237 |713300 | 90.0 | 236M| 59 | 86 | 945 | 58k| 945 | 58k| 348 | 0 |3358 |-4.500000e+01 |-4.100000e+01 | 9.76%
1097.51/1097.76 c 1098s| 7800 | 5283 |718390 | 89.5 | 237M| 59 | 78 | 945 | 58k| 945 | 58k| 348 | 0 |3360 |-4.500000e+01 |-4.100000e+01 | 9.76%
1102.90/1103.20 c 1103s| 7900 | 5321 |723949 | 89.1 | 239M| 59 | 80 | 945 | 58k| 945 | 58k| 348 | 0 |3360 |-4.500000e+01 |-4.100000e+01 | 9.76%
1111.70/1112.00 c 1112s| 8000 | 5381 |731632 | 88.9 | 240M| 59 | 103 | 945 | 58k| 945 | 58k| 348 | 0 |3361 |-4.500000e+01 |-4.100000e+01 | 9.76%
1122.30/1122.53 c 1123s| 8100 | 5441 |739989 | 88.8 | 242M| 59 | 94 | 945 | 58k| 945 | 58k| 348 | 0 |3379 |-4.500000e+01 |-4.100000e+01 | 9.76%
1133.40/1133.61 c 1134s| 8200 | 5507 |747829 | 88.7 | 244M| 59 | 103 | 945 | 58k| 945 | 58k| 348 | 0 |3407 |-4.500000e+01 |-4.100000e+01 | 9.76%
1142.10/1142.38 c 1142s| 8300 | 5555 |754371 | 88.4 | 245M| 59 | 90 | 945 | 58k| 945 | 58k| 348 | 0 |3443 |-4.500000e+01 |-4.100000e+01 | 9.76%
1154.50/1154.77 c 1155s| 8400 | 5615 |763605 | 88.5 | 247M| 59 | 112 | 945 | 58k| 945 | 58k| 348 | 0 |3464 |-4.500000e+01 |-4.100000e+01 | 9.76%
1164.39/1164.62 c 1165s| 8500 | 5667 |770244 | 88.2 | 249M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3505 |-4.500000e+01 |-4.100000e+01 | 9.76%
1173.29/1173.52 c 1174s| 8600 | 5723 |778140 | 88.1 | 251M| 59 | 62 | 945 | 58k| 945 | 58k| 348 | 0 |3532 |-4.500000e+01 |-4.100000e+01 | 9.76%
1182.89/1183.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1182.89/1183.17 c 1183s| 8700 | 5781 |784804 | 87.9 | 252M| 59 | 92 | 945 | 58k| 945 | 58k| 348 | 0 |3570 |-4.500000e+01 |-4.100000e+01 | 9.76%
1192.79/1193.09 c 1193s| 8800 | 5841 |792534 | 87.7 | 254M| 59 | 89 | 945 | 58k| 945 | 58k| 348 | 0 |3588 |-4.500000e+01 |-4.100000e+01 | 9.76%
1201.29/1201.55 c 1202s| 8900 | 5887 |798871 | 87.5 | 255M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3619 |-4.500000e+01 |-4.100000e+01 | 9.76%
1210.09/1210.39 c 1210s| 9000 | 5939 |804850 | 87.2 | 257M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3657 |-4.500000e+01 |-4.100000e+01 | 9.76%
1219.09/1219.33 c 1219s| 9100 | 5995 |811721 | 87.0 | 258M| 59 | 95 | 945 | 58k| 945 | 58k| 348 | 0 |3692 |-4.500000e+01 |-4.100000e+01 | 9.76%
1228.59/1228.82 c 1229s| 9200 | 6057 |818519 | 86.7 | 260M| 59 | 64 | 945 | 58k| 945 | 58k| 348 | 0 |3728 |-4.500000e+01 |-4.100000e+01 | 9.76%
1236.28/1236.53 c 1237s| 9300 | 6097 |825088 | 86.5 | 261M| 59 | 97 | 945 | 58k| 945 | 58k| 348 | 0 |3750 |-4.500000e+01 |-4.100000e+01 | 9.76%
1245.78/1246.09 c 1246s| 9400 | 6145 |832118 | 86.4 | 263M| 59 | 84 | 945 | 58k| 945 | 58k| 348 | 0 |3787 |-4.500000e+01 |-4.100000e+01 | 9.76%
1255.28/1255.50 c 1256s| 9500 | 6197 |839138 | 86.2 | 264M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3815 |-4.500000e+01 |-4.100000e+01 | 9.76%
1269.58/1269.81 c 1270s| 9600 | 6271 |849793 | 86.4 | 266M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3845 |-4.500000e+01 |-4.100000e+01 | 9.76%
1276.27/1276.54 c 1277s| 9700 | 6305 |855979 | 86.1 | 267M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3857 |-4.500000e+01 |-4.100000e+01 | 9.76%
1283.39/1283.61 c 1284s| 9800 | 6357 |862115 | 85.9 | 269M| 59 | 72 | 945 | 58k| 945 | 58k| 348 | 0 |3865 |-4.500000e+01 |-4.100000e+01 | 9.76%
1289.67/1289.99 c 1290s| 9900 | 6403 |868353 | 85.6 | 270M| 59 | 87 | 945 | 58k| 945 | 58k| 348 | 0 |3873 |-4.500000e+01 |-4.100000e+01 | 9.76%
1297.37/1297.60 c 1298s| 10000 | 6445 |874309 | 85.4 | 272M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3879 |-4.500000e+01 |-4.100000e+01 | 9.76%
1303.38/1303.60 c 1304s| 10100 | 6489 |880153 | 85.1 | 273M| 59 | 71 | 945 | 58k| 945 | 58k| 348 | 0 |3880 |-4.500000e+01 |-4.100000e+01 | 9.76%
1313.18/1313.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1313.18/1313.41 c 1313s| 10200 | 6537 |889997 | 85.3 | 274M| 59 | 92 | 945 | 58k| 945 | 58k| 348 | 0 |3891 |-4.500000e+01 |-4.100000e+01 | 9.76%
1321.57/1321.81 c 1322s| 10300 | 6605 |897635 | 85.2 | 276M| 59 | 77 | 945 | 58k| 945 | 58k| 348 | 0 |3893 |-4.500000e+01 |-4.100000e+01 | 9.76%
1330.37/1330.61 c 1331s| 10400 | 6663 |904682 | 85.0 | 278M| 59 | 81 | 945 | 58k| 945 | 58k| 348 | 0 |3895 |-4.500000e+01 |-4.100000e+01 | 9.76%
1337.28/1337.56 c 1338s| 10500 | 6719 |911441 | 84.9 | 280M| 59 | 60 | 945 | 58k| 945 | 58k| 348 | 0 |3897 |-4.500000e+01 |-4.100000e+01 | 9.76%
1344.27/1344.58 c 1345s| 10600 | 6767 |917841 | 84.7 | 281M| 59 | 119 | 945 | 58k| 945 | 58k| 348 | 0 |3899 |-4.500000e+01 |-4.100000e+01 | 9.76%
1353.56/1353.85 c 1354s| 10700 | 6817 |925889 | 84.6 | 282M| 59 | 65 | 945 | 58k| 945 | 58k| 348 | 0 |3899 |-4.500000e+01 |-4.100000e+01 | 9.76%
1362.06/1362.37 c 1362s| 10800 | 6871 |933869 | 84.6 | 284M| 59 | 83 | 945 | 58k| 945 | 58k| 348 | 0 |3903 |-4.500000e+01 |-4.100000e+01 | 9.76%
1368.76/1369.09 c 1369s| 10900 | 6931 |940432 | 84.4 | 286M| 59 | 77 | 945 | 58k| 945 | 58k| 348 | 0 |3904 |-4.500000e+01 |-4.100000e+01 | 9.76%
1375.77/1376.02 c 1376s| 11000 | 6991 |947052 | 84.2 | 287M| 59 | 50 | 945 | 58k| 945 | 58k| 348 | 0 |3905 |-4.500000e+01 |-4.100000e+01 | 9.76%
1382.76/1383.05 c 1383s| 11100 | 7047 |954549 | 84.2 | 289M| 59 | 80 | 945 | 58k| 945 | 58k| 348 | 0 |3905 |-4.500000e+01 |-4.100000e+01 | 9.76%
1392.16/1392.44 c 1392s| 11200 | 7113 |963066 | 84.2 | 291M| 59 | 110 | 945 | 58k| 945 | 58k| 348 | 0 |3906 |-4.500000e+01 |-4.100000e+01 | 9.76%
1401.66/1401.93 c 1402s| 11300 | 7175 |971734 | 84.2 | 293M| 59 | 123 | 945 | 58k| 945 | 58k| 348 | 0 |3926 |-4.500000e+01 |-4.100000e+01 | 9.76%
1411.86/1412.11 c 1412s| 11400 | 7235 |978888 | 84.1 | 294M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |3958 |-4.500000e+01 |-4.100000e+01 | 9.76%
1418.66/1418.98 c 1419s| 11500 | 7279 |983662 | 83.8 | 295M| 59 | 61 | 945 | 58k| 945 | 58k| 348 | 0 |3987 |-4.500000e+01 |-4.100000e+01 | 9.76%
1428.35/1428.67 c 1429s| 11600 | 7337 |991258 | 83.7 | 297M| 59 | 98 | 945 | 58k| 945 | 58k| 348 | 0 |4011 |-4.500000e+01 |-4.100000e+01 | 9.76%
1439.16/1439.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1439.16/1439.42 c 1439s| 11700 | 7385 |999555 | 83.7 | 299M| 59 | 71 | 945 | 58k| 945 | 58k| 348 | 0 |4053 |-4.500000e+01 |-4.100000e+01 | 9.76%
1447.05/1447.38 c 1447s| 11800 | 7437 | 1006k| 83.6 | 300M| 59 | 71 | 945 | 58k| 945 | 58k| 348 | 0 |4065 |-4.500000e+01 |-4.100000e+01 | 9.76%
1456.45/1456.77 c 1457s| 11900 | 7493 | 1013k| 83.4 | 302M| 59 | 72 | 945 | 58k| 945 | 58k| 348 | 0 |4090 |-4.500000e+01 |-4.100000e+01 | 9.76%
1465.35/1465.67 c 1466s| 12000 | 7541 | 1019k| 83.3 | 303M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |4134 |-4.500000e+01 |-4.100000e+01 | 9.76%
1476.75/1477.01 c 1477s| 12100 | 7603 | 1027k| 83.2 | 305M| 59 | 60 | 945 | 58k| 945 | 58k| 348 | 0 |4164 |-4.500000e+01 |-4.100000e+01 | 9.76%
1487.95/1488.27 c 1488s| 12200 | 7661 | 1036k| 83.3 | 306M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |4181 |-4.500000e+01 |-4.100000e+01 | 9.76%
1501.84/1502.11 c 1502s| 12300 | 7727 | 1046k| 83.5 | 308M| 59 | 89 | 945 | 58k| 945 | 58k| 348 | 0 |4224 |-4.500000e+01 |-4.100000e+01 | 9.76%
1514.05/1514.35 c 1514s| 12400 | 7789 | 1055k| 83.5 | 310M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |4271 |-4.500000e+01 |-4.100000e+01 | 9.76%
1523.15/1523.44 c 1523s| 12500 | 7843 | 1062k| 83.4 | 311M| 59 | 91 | 945 | 58k| 945 | 58k| 348 | 0 |4293 |-4.500000e+01 |-4.100000e+01 | 9.76%
1531.95/1532.28 c 1532s| 12600 | 7899 | 1069k| 83.3 | 313M| 59 | 60 | 945 | 58k| 945 | 58k| 348 | 0 |4322 |-4.500000e+01 |-4.100000e+01 | 9.76%
1542.54/1542.88 c 1543s| 12700 | 7969 | 1077k| 83.2 | 315M| 59 | 83 | 945 | 58k| 945 | 58k| 348 | 0 |4355 |-4.500000e+01 |-4.100000e+01 | 9.76%
1550.14/1550.48 c 1550s| 12800 | 8013 | 1083k| 83.0 | 316M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |4379 |-4.500000e+01 |-4.100000e+01 | 9.76%
1560.65/1560.90 c 1561s| 12900 | 8065 | 1090k| 83.0 | 318M| 59 | 107 | 945 | 58k| 945 | 58k| 348 | 0 |4407 |-4.500000e+01 |-4.100000e+01 | 9.76%
1569.94/1570.21 c 1570s| 13000 | 8127 | 1098k| 83.0 | 320M| 59 | 85 | 945 | 58k| 945 | 58k| 348 | 0 |4435 |-4.500000e+01 |-4.100000e+01 | 9.76%
1579.63/1579.97 c 1580s| 13100 | 8189 | 1106k| 82.9 | 322M| 59 | 90 | 945 | 58k| 945 | 58k| 348 | 0 |4447 |-4.500000e+01 |-4.100000e+01 | 9.76%
1586.33/1586.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1586.33/1586.68 c 1587s| 13200 | 8235 | 1112k| 82.8 | 323M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |4453 |-4.500000e+01 |-4.100000e+01 | 9.76%
1595.03/1595.31 c 1595s| 13300 | 8295 | 1119k| 82.7 | 324M| 59 | 72 | 945 | 58k| 945 | 58k| 348 | 0 |4466 |-4.500000e+01 |-4.100000e+01 | 9.76%
1607.53/1607.81 c 1608s| 13400 | 8355 | 1130k| 82.9 | 326M| 59 | 92 | 945 | 58k| 945 | 58k| 348 | 0 |4472 |-4.500000e+01 |-4.100000e+01 | 9.76%
1613.33/1613.68 c 1614s| 13500 | 8395 | 1136k| 82.7 | 327M| 59 | 79 | 945 | 58k| 945 | 58k| 348 | 0 |4475 |-4.500000e+01 |-4.100000e+01 | 9.76%
1624.52/1624.89 c 1625s| 13600 | 8457 | 1146k| 82.8 | 329M| 59 | 104 | 945 | 58k| 945 | 58k| 348 | 0 |4481 |-4.500000e+01 |-4.100000e+01 | 9.76%
1633.62/1633.96 c 1634s| 13700 | 8521 | 1154k| 82.8 | 330M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |4486 |-4.500000e+01 |-4.100000e+01 | 9.76%
1643.13/1643.45 c 1643s| 13800 | 8581 | 1163k| 82.8 | 332M| 59 | 73 | 945 | 58k| 945 | 58k| 348 | 0 |4489 |-4.500000e+01 |-4.100000e+01 | 9.76%
1652.02/1652.36 c 1652s| 13900 | 8637 | 1170k| 82.8 | 334M| 59 | 96 | 945 | 58k| 945 | 58k| 348 | 0 |4490 |-4.500000e+01 |-4.100000e+01 | 9.76%
1659.82/1660.18 c 1660s| 14000 | 8685 | 1178k| 82.7 | 335M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |4491 |-4.500000e+01 |-4.100000e+01 | 9.76%
1666.02/1666.39 c 1666s| 14100 | 8737 | 1184k| 82.6 | 336M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |4492 |-4.500000e+01 |-4.100000e+01 | 9.76%
1674.32/1674.68 c 1675s| 14200 | 8795 | 1192k| 82.5 | 338M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |4493 |-4.500000e+01 |-4.100000e+01 | 9.76%
1680.43/1680.79 c 1681s| 14300 | 8841 | 1197k| 82.3 | 339M| 59 | 108 | 945 | 58k| 945 | 58k| 348 | 0 |4495 |-4.500000e+01 |-4.100000e+01 | 9.76%
1688.91/1689.28 c 1689s| 14400 | 8899 | 1205k| 82.3 | 341M| 59 | 82 | 945 | 58k| 945 | 58k| 348 | 0 |4496 |-4.500000e+01 |-4.100000e+01 | 9.76%
1697.31/1697.64 c 1698s| 14500 | 8963 | 1213k| 82.3 | 343M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |4496 |-4.500000e+01 |-4.100000e+01 | 9.76%
1704.01/1704.35 c 1704s| 14600 | 9009 | 1219k| 82.1 | 344M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |4497 |-4.500000e+01 |-4.100000e+01 | 9.76%
1712.91/1713.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1712.91/1713.28 c 1713s| 14700 | 9059 | 1227k| 82.1 | 345M| 59 | 111 | 945 | 58k| 945 | 58k| 348 | 0 |4497 |-4.500000e+01 |-4.100000e+01 | 9.76%
1725.62/1725.92 c 1726s| 14800 | 9121 | 1238k| 82.3 | 347M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |4497 |-4.500000e+01 |-4.100000e+01 | 9.76%
1734.51/1734.83 c 1735s| 14900 | 9167 | 1245k| 82.2 | 349M| 59 | 69 | 945 | 58k| 945 | 58k| 348 | 0 |4528 |-4.500000e+01 |-4.100000e+01 | 9.76%
1742.41/1742.71 c 1743s| 15000 | 9225 | 1251k| 82.1 | 350M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |4569 |-4.500000e+01 |-4.100000e+01 | 9.76%
1750.50/1750.80 c 1751s| 15100 | 9279 | 1258k| 82.0 | 352M| 59 | 58 | 945 | 58k| 945 | 58k| 348 | 0 |4589 |-4.500000e+01 |-4.100000e+01 | 9.76%
1758.10/1758.41 c 1758s| 15200 | 9315 | 1264k| 81.8 | 353M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |4620 |-4.500000e+01 |-4.100000e+01 | 9.76%
1765.41/1765.72 c 1766s| 15300 | 9369 | 1270k| 81.7 | 354M| 59 | 98 | 945 | 58k| 945 | 58k| 348 | 0 |4640 |-4.500000e+01 |-4.100000e+01 | 9.76%
1775.80/1776.11 c 1776s| 15400 | 9431 | 1278k| 81.7 | 356M| 59 | 100 | 945 | 58k| 945 | 58k| 348 | 0 |4668 |-4.500000e+01 |-4.100000e+01 | 9.76%
1785.60/1785.97 c 1786s| 15500 | 9481 | 1286k| 81.7 | 357M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |4701 |-4.500000e+01 |-4.100000e+01 | 9.76%
1793.80/1794.10 c 1794s| 15600 | 9531 | 1292k| 81.6 | 358M| 59 | - | 945 | 58k| 945 | 58k| 348 | 0 |4725 |-4.500000e+01 |-4.100000e+01 | 9.76%
1796.70/1797.01 c
1796.70/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.01 c Solving Time (sec) : 1797.01
1796.70/1797.01 c Solving Nodes : 15644
1796.70/1797.01 c Primal Bound : -4.10000000000000e+01 (555 solutions)
1796.70/1797.01 c Dual Bound : -4.50000000000000e+01
1796.70/1797.01 c Gap : 9.76 %
1796.70/1797.02 s SATISFIABLE
1796.70/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.70/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.70/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.70/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.70/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.70/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.70/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.70/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.70/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.70/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.70/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.70/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.70/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.70/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.70/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.70/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.70/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.70/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.70/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.70/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.70/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.70/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.70/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.70/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.70/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.70/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.70/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.70/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.70/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.70/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.70/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.70/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.70/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.70/1797.02 v -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732
1796.70/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.70/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.70/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.70/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.70/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.70/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.70/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.70/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.70/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.70/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.70/1797.02 v -x943 -x944 -x945
1796.70/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.02 c Total Time : 1797.01
1796.70/1797.02 c solving : 1797.01
1796.70/1797.02 c presolving : 0.92 (included in solving)
1796.70/1797.02 c reading : 0.12 (included in solving)
1796.70/1797.02 c copying : 0.97 (11 #copies) (minimal 0.08, maximal 0.09, average 0.09)
1796.70/1797.02 c Original Problem :
1796.70/1797.02 c Problem name : HOME/instance-3690939-1338018827.opb
1796.70/1797.02 c Variables : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.02 c Constraints : 58624 initial, 58624 maximal
1796.70/1797.02 c Objective sense : minimize
1796.70/1797.02 c Presolved Problem :
1796.70/1797.02 c Problem name : t_HOME/instance-3690939-1338018827.opb
1796.70/1797.02 c Variables : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.02 c Constraints : 58624 initial, 58624 maximal
1796.70/1797.02 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.02 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.02 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.02 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.02 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.02 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.02 c components : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.02 c pseudoobj : 0.00 0.02 0 0 0 0 0 0 0 0 0
1796.70/1797.02 c probing : 0.21 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.02 c setppc : 0.13 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.02 c linear : 0.44 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.02 c root node : - - 0 - - 0 - - - - -
1796.70/1797.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.70/1797.02 c integral : 0 0 0 0 13127 0 560 0 16 369 0 0 25824
1796.70/1797.02 c setppc : 58624 58624 34 59053 0 0 555 0 0 440494 0 0 0
1796.70/1797.02 c countsols : 0 0 0 0 0 0 558 0 0 0 0 0 0
1796.70/1797.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.70/1797.02 c integral : 326.28 0.00 0.00 0.00 326.27 0.00 0.01 0.00
1796.70/1797.02 c setppc : 13.39 0.00 0.11 12.31 0.00 0.00 0.97 0.00
1796.70/1797.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.70/1797.02 c rootredcost : 11 0 0 0
1796.70/1797.02 c pseudoobj : 72131 0 0 0
1796.70/1797.02 c vbounds : 0 0 0 0
1796.70/1797.02 c redcost : 13198 0 0 45
1796.70/1797.02 c probing : 0 0 0 0
1796.70/1797.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.70/1797.02 c rootredcost : 0.08 0.00 0.00 0.08 0.00
1796.70/1797.02 c pseudoobj : 6.29 0.02 0.00 6.27 0.00
1796.70/1797.02 c vbounds : 0.06 0.00 0.00 0.06 0.00
1796.70/1797.02 c redcost : 0.26 0.00 0.00 0.26 0.00
1796.70/1797.02 c probing : 0.21 0.00 0.21 0.00 0.00
1796.70/1797.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.02 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.02 c applied globally : - - - 0 0.0 - - -
1796.70/1797.02 c applied locally : - - - 0 0.0 - - -
1796.70/1797.02 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.70/1797.02 c cut pool : 0.00 33 - - 57 - (maximal pool size: 680)
1796.70/1797.02 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.02 c impliedbounds : 0.02 0.00 34 0 0 0 0
1796.70/1797.02 c intobj : 0.00 0.00 0 0 0 0 0
1796.70/1797.02 c gomory : 0.24 0.00 10 0 0 500 0
1796.70/1797.02 c cgmip : 0.00 0.00 0 0 0 0 0
1796.70/1797.02 c strongcg : 3.75 0.00 20 0 0 10000 0
1796.70/1797.02 c cmir : 6.55 0.00 10 0 0 0 0
1796.70/1797.02 c flowcover : 7.23 0.00 10 0 0 0 0
1796.70/1797.02 c clique : 0.98 0.00 34 0 0 292 0
1796.70/1797.02 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.70/1797.02 c mcf : 0.24 0.00 1 0 0 0 0
1796.70/1797.02 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.70/1797.02 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.70/1797.02 c Pricers : ExecTime SetupTime Calls Vars
1796.70/1797.02 c problem variables: 0.00 - 0 0
1796.70/1797.02 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.02 c relpscost : 326.21 0.00 13127 16 369 0 0 25824
1796.70/1797.02 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.02 c inference : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.02 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.02 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.02 c random : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.02 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.70/1797.02 c LP solutions : 0.00 - - 0
1796.70/1797.02 c pseudo solutions : 0.00 - - 0
1796.70/1797.02 c feaspump : 0.00 0.00 0 0
1796.70/1797.02 c oneopt : 0.10 0.00 11 1
1796.70/1797.02 c crossover : 4.16 0.00 10 1
1796.70/1797.02 c guideddiving : 64.22 0.00 87 8
1796.70/1797.02 c fracdiving : 99.49 0.00 135 20
1796.70/1797.02 c coefdiving : 95.97 0.00 189 33
1796.70/1797.02 c pscostdiving : 47.74 0.00 189 36
1796.70/1797.02 c objpscostdiving : 78.23 0.00 95 155
1796.70/1797.02 c rootsoldiving : 34.85 0.00 95 94
1796.70/1797.02 c veclendiving : 155.90 0.00 190 9
1796.70/1797.02 c linesearchdiving : 50.58 0.00 190 21
1796.70/1797.02 c smallcard : 0.00 0.00 0 0
1796.70/1797.02 c trivial : 0.01 0.00 2 1
1796.70/1797.02 c shiftandpropagate: 0.00 0.00 0 0
1796.70/1797.02 c simplerounding : 0.30 0.00 13161 51
1796.70/1797.02 c zirounding : 22.24 0.00 6101 122
1796.70/1797.02 c rounding : 14.43 0.00 5051 1
1796.70/1797.02 c shifting : 3.79 0.00 1220 1
1796.70/1797.02 c intshifting : 0.00 0.00 0 0
1796.70/1797.02 c twoopt : 0.00 0.00 0 0
1796.70/1797.02 c indtwoopt : 0.00 0.00 0 0
1796.70/1797.02 c indoneopt : 0.04 0.00 0 0
1796.70/1797.02 c fixandinfer : 0.00 0.00 0 0
1796.70/1797.02 c clique : 0.00 0.00 0 0
1796.70/1797.02 c indrounding : 0.00 0.00 0 0
1796.70/1797.02 c indcoefdiving : 0.00 0.00 0 0
1796.70/1797.02 c nlpdiving : 0.00 0.00 0 0
1796.70/1797.02 c intdiving : 0.00 0.00 0 0
1796.70/1797.02 c actconsdiving : 0.00 0.00 0 0
1796.70/1797.02 c octane : 0.00 0.00 0 0
1796.70/1797.02 c rens : 1.88 0.00 1 1
1796.70/1797.02 c rins : 0.00 0.00 0 0
1796.70/1797.02 c localbranching : 0.00 0.00 0 0
1796.70/1797.02 c mutation : 0.00 0.00 0 0
1796.70/1797.02 c dins : 0.00 0.00 0 0
1796.70/1797.02 c vbounds : 0.00 0.00 0 0
1796.70/1797.02 c undercover : 0.00 0.00 0 0
1796.70/1797.02 c subnlp : 0.02 0.00 0 0
1796.70/1797.02 c trysol : 0.03 0.00 0 0
1796.70/1797.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.70/1797.02 c primal LP : 0.06 5 0 0.00 0.00 0.06 5
1796.70/1797.02 c dual LP : 655.51 16105 859049 54.11 1310.50 2.45 228
1796.70/1797.02 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.02 c diving/probing LP: 506.73 25558 435679 17.05 859.79
1796.70/1797.02 c strong branching : 323.88 4739 310760 65.58 959.50
1796.70/1797.02 c (at root node) : - 21 2179 103.76 -
1796.70/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.02 c B&B Tree :
1796.70/1797.02 c number of runs : 1
1796.70/1797.02 c nodes : 15644
1796.70/1797.02 c nodes (total) : 15644
1796.70/1797.02 c nodes left : 9551
1796.70/1797.02 c max depth : 59
1796.70/1797.02 c max depth (total): 59
1796.70/1797.02 c backtracks : 2268 (14.5%)
1796.70/1797.02 c delayed cutoffs : 0
1796.70/1797.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.70/1797.02 c avg switch length: 6.07
1796.70/1797.02 c switching time : 25.29
1796.70/1797.02 c Solution :
1796.70/1797.02 c Solutions found : 555 (14 improvements)
1796.70/1797.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.25 seconds, depth 0, found by <trivial>)
1796.70/1797.02 c Primal Bound : -4.10000000000000e+01 (in run 1, after 4839 nodes, 803.88 seconds, depth 29, found by <pscostdiving>)
1796.70/1797.02 c Dual Bound : -4.50000000000000e+01
1796.70/1797.02 c Gap : 9.76 %
1796.70/1797.02 c Root Dual Bound : -4.53333333333333e+01
1796.70/1797.02 c Root Iterations : 20510
1796.90/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-3690939-1338018827/watcher-3690939-1338018827 -o /tmp/evaluation-result-3690939-1338018827/solver-3690939-1338018827 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690939-1338018827.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.00 2.01 1.84 3/176 5943
/proc/meminfo: memFree=29138488/32873844 swapFree=7616/7616
[pid=5943] ppid=5941 vsize=10852 CPUtime=0 cores=0,2,4,6
/proc/5943/stat : 5943 (scip-2.1.1.4fix) R 5941 5943 5654 0 -1 4202496 1473 0 0 0 0 0 0 0 20 0 1 0 268008267 11112448 1428 33554432000 4194304 10173063 140733405456400 140733405455544 8800002 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5943/statm: 2713 1428 416 1460 0 1244 0
[startup+0.0963101 s]
/proc/loadavg: 2.00 2.01 1.84 3/176 5943
/proc/meminfo: memFree=29138488/32873844 swapFree=7616/7616
[pid=5943] ppid=5941 vsize=24696 CPUtime=0.08 cores=0,2,4,6
/proc/5943/stat : 5943 (scip-2.1.1.4fix) R 5941 5943 5654 0 -1 4202496 4928 0 0 0 8 0 0 0 20 0 1 0 268008267 25288704 4883 33554432000 4194304 10173063 140733405456400 140733405321576 8985008 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5943/statm: 6174 4883 416 1460 0 4705 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 24696
[startup+0.100374 s]
/proc/loadavg: 2.00 2.01 1.84 3/176 5943
/proc/meminfo: memFree=29138488/32873844 swapFree=7616/7616
[pid=5943] ppid=5941 vsize=24696 CPUtime=0.09 cores=0,2,4,6
/proc/5943/stat : 5943 (scip-2.1.1.4fix) R 5941 5943 5654 0 -1 4202496 4933 0 0 0 9 0 0 0 20 0 1 0 268008267 25288704 4888 33554432000 4194304 10173063 140733405456400 140733405321576 5479875 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5943/statm: 6174 4888 416 1460 0 4705 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24696
[startup+0.300283 s]
/proc/loadavg: 2.00 2.01 1.84 3/176 5943
/proc/meminfo: memFree=29138488/32873844 swapFree=7616/7616
[pid=5943] ppid=5941 vsize=81060 CPUtime=0.29 cores=0,2,4,6
/proc/5943/stat : 5943 (scip-2.1.1.4fix) R 5941 5943 5654 0 -1 4202496 20923 0 0 0 25 4 0 0 20 0 1 0 268008267 83005440 18574 33554432000 4194304 10173063 140733405456400 140733405321576 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5943/statm: 20265 18574 551 1460 0 18796 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 81060
[startup+0.700297 s]
/proc/loadavg: 2.00 2.01 1.84 3/176 5943
/proc/meminfo: memFree=29138488/32873844 swapFree=7616/7616
[pid=5943] ppid=5941 vsize=110776 CPUtime=0.69 cores=0,2,4,6
/proc/5943/stat : 5943 (scip-2.1.1.4fix) R 5941 5943 5654 0 -1 4202496 28741 0 0 0 50 19 0 0 20 0 1 0 268008267 113434624 25810 33554432000 4194304 10173063 140733405456400 140733405321576 7545739 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5943/statm: 27694 25840 560 1460 0 26225 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 110776
[startup+1.50037 s]
/proc/loadavg: 2.00 2.01 1.84 3/177 5944
/proc/meminfo: memFree=29041360/32873844 swapFree=7616/7616
[pid=5943] ppid=5941 vsize=186408 CPUtime=1.49 cores=0,2,4,6
/proc/5943/stat : 5943 (scip-2.1.1.4fix) R 5941 5943 5654 0 -1 4202496 47814 0 0 0 118 31 0 0 20 0 1 0 268008267 190881792 42553 33554432000 4194304 10173063 140733405456400 140733405452760 7706056 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5943/statm: 46602 42553 730 1460 0 45133 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 186408
[startup+3.10031 s]
/proc/loadavg: 2.00 2.01 1.84 3/177 5944
/proc/meminfo: memFree=28956412/32873844 swapFree=7616/7616
[pid=5943] ppid=5941 vsize=197348 CPUtime=3.08 cores=0,2,4,6
/proc/5943/stat : 5943 (scip-2.1.1.4fix) R 5941 5943 5654 0 -1 4202496 52602 0 0 0 264 44 0 0 20 0 1 0 268008267 202084352 46934 33554432000 4194304 10173063 140733405456400 140733405452968 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5943/statm: 49337 46934 777 1460 0 47868 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 197348
[startup+6.30024 s]
/proc/loadavg: 2.00 2.01 1.84 3/177 5944
/proc/meminfo: memFree=28952072/32873844 swapFree=7616/7616
[pid=5943] ppid=5941 vsize=197348 CPUtime=6.28 cores=0,2,4,6
/proc/5943/stat : 5943 (scip-2.1.1.4fix) R 5941 5943 5654 0 -1 4202496 52769 0 0 0 583 45 0 0 20 0 1 0 268008267 202084352 47101 33554432000 4194304 10173063 140733405456400 140733405451352 7274087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5943/statm: 49337 47101 779 1460 0 47868 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 197348
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 1.84 3/177 5944
/proc/meminfo: memFree=28950856/32873844 swapFree=7616/7616
[pid=5943] ppid=5941 vsize=197348 CPUtime=12.69 cores=0,2,4,6
/proc/5943/stat : 5943 (scip-2.1.1.4fix) R 5941 5943 5654 0 -1 4202496 52896 0 0 0 1223 46 0 0 20 0 1 0 268008267 202084352 47228 33554432000 4194304 10173063 140733405456400 140733405451560 7472877 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5943/statm: 49337 47228 780 1460 0 47868 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 197348
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 1.84 3/177 5944
/proc/meminfo: memFree=28949164/32873844 swapFree=7616/7616
[pid=5943] ppid=5941 vsize=198628 CPUtime=25.48 cores=0,2,4,6
/proc/5943/stat : 5943 (scip-2.1.1.4fix) R 5941 5943 5654 0 -1 4202496 53211 0 0 0 2501 47 0 0 20 0 1 0 268008267 203395072 47545 33554432000 4194304 10173063 140733405456400 140733405449656 8012679 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5943/statm: 49657 47545 781 1460 0 48188 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 198628
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.84 3/177 5982
/proc/meminfo: memFree=28720840/32873844 swapFree=7616/7616
[pid=5943] ppid=5941 vsize=218752 CPUtime=51.08 cores=0,2,4,6
/proc/5943/stat : 5943 (scip-2.1.1.4fix) R 5941 5943 5654 0 -1 4202496 65399 0 0 0 5034 74 0 0 20 0 1 0 268008267 224002048 53466 33554432000 4194304 10173063 140733405456400 140733405449528 8046931 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5943/statm: 54688 53466 831 1460 0 53219 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 218752
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 5982
/proc/meminfo: memFree=28647356/32873844 swapFree=7616/7616
[pid=5943] ppid=5941 vsize=218752 CPUtime=102.27 cores=0,2,4,6
/proc/5943/stat : 5943 (scip-2.1.1.4fix) R 5941 5943 5654 0 -1 4202496 65420 0 0 0 10144 83 0 0 20 0 1 0 268008267 224002048 53541 33554432000 4194304 10173063 140733405456400 140733405449528 7594585 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5943/statm: 54688 53541 832 1460 0 53219 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 218752
[startup+162.3 s]
/proc/loadavg: 2.04 2.01 1.86 3/177 5982
/proc/meminfo: memFree=28645840/32873844 swapFree=7616/7616
[pid=5943] ppid=5941 vsize=218752 CPUtime=162.25 cores=0,2,4,6
/proc/5943/stat : 5943 (scip-2.1.1.4fix) R 5941 5943 5654 0 -1 4202496 65421 0 0 0 16132 93 0 0 20 0 1 0 268008267 224002048 53814 33554432000 4194304 10173063 140733405456400 140733405449528 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5943/statm: 54688 53814 832 1460 0 53219 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 218752
[startup+222.3 s]
/proc/loadavg: 2.05 2.02 1.87 3/177 5982
/proc/meminfo: memFree=28654704/32873844 swapFree=7616/7616
[pid=5943] ppid=5941 vsize=209140 CPUtime=222.25 cores=0,2,4,6
/proc/5943/stat : 5943 (scip-2.1.1.4fix) R 5941 5943 5654 0 -1 4202496 76876 0 0 0 22102 123 0 0 20 0 1 0 268008267 214159360 51413 33554432000 4194304 10173063 140733405456400 140733405449656 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5943/statm: 52285 51413 834 1460 0 50816 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 209140
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 1.87 3/177 5983
/proc/meminfo: memFree=28645440/32873844 swapFree=7616/7616
[pid=5943] ppid=5941 vsize=222220 CPUtime=282.23 cores=0,2,4,6
/proc/5943/stat : 5943 (scip-2.1.1.4fix) R 5941 5943 5654 0 -1 4202496 95492 0 0 0 28071 152 0 0 20 0 1 0 268008267 227553280 53793 33554432000 4194304 10173063 140733405456400 140733405450072 7888464 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5943/statm: 55555 53793 835 1460 0 54086 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 222220
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.88 3/177 5983
/proc/meminfo: memFree=28642284/32873844 swapFree=7616/7616
[pid=5943] ppid=5941 vsize=237020 CPUtime=342.23 cores=0,2,4,6
/proc/5943/stat : 5943 (scip-2.1.1.4fix) R 5941 5943 5654 0 -1 4202496 98853 0 0 0 34056 167 0 0 20 0 1 0 268008267 242708480 57094 33554432000 4194304 10173063 140733405456400 140733405451432 7887760 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5943/statm: 59255 57094 835 1460 0 57786 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 237020
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.89 3/178 5986
/proc/meminfo: memFree=28597488/32873844 swapFree=7616/7616
[pid=5943] ppid=5941 vsize=244108 CPUtime=402.21 cores=0,2,4,6
/proc/5943/stat : 5943 (scip-2.1.1.4fix) R 5941 5943 5654 0 -1 4202496 116678 0 0 0 40024 197 0 0 20 0 1 0 268008267 249966592 59198 33554432000 4194304 10173063 140733405456400 140733405449496 8047285 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5943/statm: 61027 59198 838 1460 0 59558 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 244108
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/178 6009
/proc/meminfo: memFree=28586072/32873844 swapFree=7616/7616
[pid=5943] ppid=5941 vsize=257616 CPUtime=462.2 cores=0,2,4,6
/proc/5943/stat : 5943 (scip-2.1.1.4fix) R 5941 5943 5654 0 -1 4202496 119253 0 0 0 46006 214 0 0 20 0 1 0 268008267 263798784 62191 33554432000 4194304 10173063 140733405456400 140733405450040 7684821 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5943/statm: 64404 62191 838 1460 0 62935 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 257616
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 6009
/proc/meminfo: memFree=28575664/32873844 swapFree=7616/7616
[pid=5943] ppid=5941 vsize=265672 CPUtime=522.2 cores=0,2,4,6
/proc/5943/stat : 5943 (scip-2.1.1.4fix) R 5941 5943 5654 0 -1 4202496 121654 0 0 0 51993 227 0 0 20 0 1 0 268008267 272048128 64588 33554432000 4194304 10173063 140733405456400 140733405449672 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5943/statm: 66418 64588 838 1460 0 64949 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 265672
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 6010
/proc/meminfo: memFree=28561244/32873844 swapFree=7616/7616
[pid=5943] ppid=5941 vsize=279856 CPUtime=582.19 cores=0,2,4,6
/proc/5943/stat : 5943 (scip-2.1.1.4fix) R 5941 5943 5654 0 -1 4202496 125305 0 0 0 57977 242 0 0 20 0 1 0 268008267 286572544 68178 33554432000 4194304 10173063 140733405456400 140733405449384 8007083 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5943/statm: 69964 68178 838 1460 0 68495 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 279856
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28440068/32873844 swapFree=7616/7616
[pid=5943] ppid=5941 vsize=370160 CPUtime=1122.1 cores=0,2,4,6
/proc/5943/stat : 5943 (scip-2.1.1.4fix) R 5941 5943 5654 0 -1 4202496 248403 0 0 0 111743 467 0 0 20 0 1 0 268008267 379043840 90045 33554432000 4194304 10173063 140733405456400 140733405449528 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5943/statm: 92540 90045 838 1460 0 91071 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 370160
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 6015
/proc/meminfo: memFree=28428188/32873844 swapFree=7616/7616
[pid=5943] ppid=5941 vsize=376112 CPUtime=1182.09 cores=0,2,4,6
/proc/5943/stat : 5943 (scip-2.1.1.4fix) R 5941 5943 5654 0 -1 4202496 249736 0 0 0 117726 483 0 0 20 0 1 0 268008267 385138688 92124 33554432000 4194304 10173063 140733405456400 140733405449736 8886734 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5943/statm: 94028 92124 838 1460 0 92559 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 376112
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 6015
/proc/meminfo: memFree=28410952/32873844 swapFree=7616/7616
[pid=5943] ppid=5941 vsize=384852 CPUtime=1242.08 cores=0,2,4,6
/proc/5943/stat : 5943 (scip-2.1.1.4fix) R 5941 5943 5654 0 -1 4202496 251975 0 0 0 123710 498 0 0 20 0 1 0 268008267 394088448 94363 33554432000 4194304 10173063 140733405456400 140733405450024 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5943/statm: 96213 94363 838 1460 0 94744 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 384852
[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 1.92 3/177 6015
/proc/meminfo: memFree=28391236/32873844 swapFree=7616/7616
[pid=5943] ppid=5941 vsize=397452 CPUtime=1302.08 cores=0,2,4,6
/proc/5943/stat : 5943 (scip-2.1.1.4fix) R 5941 5943 5654 0 -1 4202496 255125 0 0 0 129695 513 0 0 20 0 1 0 268008267 406990848 97507 33554432000 4194304 10173063 140733405456400 140733405450120 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5943/statm: 99363 97507 838 1460 0 97894 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 397452
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/177 6015
/proc/meminfo: memFree=28373832/32873844 swapFree=7616/7616
[pid=5943] ppid=5941 vsize=408036 CPUtime=1362.06 cores=0,2,4,6
/proc/5943/stat : 5943 (scip-2.1.1.4fix) R 5941 5943 5654 0 -1 4202496 257651 0 0 0 135676 530 0 0 20 0 1 0 268008267 417828864 100027 33554432000 4194304 10173063 140733405456400 140733405449336 4926699 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5943/statm: 102009 100027 838 1460 0 100540 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 408036
[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 1.92 3/177 6015
/proc/meminfo: memFree=28347232/32873844 swapFree=7616/7616
[pid=5943] ppid=5941 vsize=420220 CPUtime=1422.06 cores=0,2,4,6
/proc/5943/stat : 5943 (scip-2.1.1.4fix) R 5941 5943 5654 0 -1 4202496 275138 0 0 0 141644 562 0 0 20 0 1 0 268008267 430305280 103275 33554432000 4194304 10173063 140733405456400 140733405449368 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5943/statm: 105055 103275 838 1460 0 103586 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 420220
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 6016
/proc/meminfo: memFree=28329996/32873844 swapFree=7616/7616
[pid=5943] ppid=5941 vsize=429240 CPUtime=1482.05 cores=0,2,4,6
/proc/5943/stat : 5943 (scip-2.1.1.4fix) R 5941 5943 5654 0 -1 4202496 277163 0 0 0 147627 578 0 0 20 0 1 0 268008267 439541760 105298 33554432000 4194304 10173063 140733405456400 140733405451432 5134464 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5943/statm: 107310 105298 838 1460 0 105841 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 429240
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 6016
/proc/meminfo: memFree=28314124/32873844 swapFree=7616/7616
[pid=5943] ppid=5941 vsize=440396 CPUtime=1542.04 cores=0,2,4,6
/proc/5943/stat : 5943 (scip-2.1.1.4fix) R 5941 5943 5654 0 -1 4202496 279804 0 0 0 153609 595 0 0 20 0 1 0 268008267 450965504 107937 33554432000 4194304 10173063 140733405456400 140733405449656 8886844 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5943/statm: 110099 107937 838 1460 0 108630 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 440396
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 6019
/proc/meminfo: memFree=28213936/32873844 swapFree=7616/7616
[pid=5943] ppid=5941 vsize=448508 CPUtime=1602.03 cores=0,2,4,6
/proc/5943/stat : 5943 (scip-2.1.1.4fix) R 5941 5943 5654 0 -1 4202496 282264 0 0 0 159592 611 0 0 20 0 1 0 268008267 459272192 110392 33554432000 4194304 10173063 140733405456400 140733405449640 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5943/statm: 112127 110392 838 1460 0 110658 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 448508
[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 1.93 3/177 6019
/proc/meminfo: memFree=28272808/32873844 swapFree=7616/7616
[pid=5943] ppid=5941 vsize=460232 CPUtime=1662.01 cores=0,2,4,6
/proc/5943/stat : 5943 (scip-2.1.1.4fix) R 5941 5943 5654 0 -1 4202496 284436 0 0 0 165577 624 0 0 20 0 1 0 268008267 471277568 113001 33554432000 4194304 10173063 140733405456400 140733405451768 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5943/statm: 115058 113001 838 1460 0 113589 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 460232
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/177 6019
/proc/meminfo: memFree=28252720/32873844 swapFree=7616/7616
[pid=5943] ppid=5941 vsize=473548 CPUtime=1722.01 cores=0,2,4,6
/proc/5943/stat : 5943 (scip-2.1.1.4fix) R 5941 5943 5654 0 -1 4202496 287705 0 0 0 171560 641 0 0 20 0 1 0 268008267 484913152 116258 33554432000 4194304 10173063 140733405456400 140733405451432 5122959 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5943/statm: 118387 116258 838 1460 0 116918 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 473548
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 6020
/proc/meminfo: memFree=28234120/32873844 swapFree=7616/7616
[pid=5943] ppid=5941 vsize=484608 CPUtime=1782 cores=0,2,4,6
/proc/5943/stat : 5943 (scip-2.1.1.4fix) R 5941 5943 5654 0 -1 4202496 290540 0 0 0 177541 659 0 0 20 0 1 0 268008267 496238592 119089 33554432000 4194304 10173063 140733405456400 140733405449528 7587422 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5943/statm: 121152 119089 838 1460 0 119683 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 484608
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 6020
/proc/meminfo: memFree=28233500/32873844 swapFree=7616/7616
[pid=5943] ppid=5941 vsize=484608 CPUtime=1785.2 cores=0,2,4,6
/proc/5943/stat : 5943 (scip-2.1.1.4fix) R 5941 5943 5654 0 -1 4202496 290594 0 0 0 177860 660 0 0 20 0 1 0 268008267 496238592 119143 33554432000 4194304 10173063 140733405456400 140733405449656 8846783 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5943/statm: 121152 119143 838 1460 0 119683 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 484608
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 6020
/proc/meminfo: memFree=28231640/32873844 swapFree=7616/7616
[pid=5943] ppid=5941 vsize=484996 CPUtime=1791.61 cores=0,2,4,6
/proc/5943/stat : 5943 (scip-2.1.1.4fix) R 5941 5943 5654 0 -1 4202496 290805 0 0 0 178499 662 0 0 20 0 1 0 268008267 496635904 119354 33554432000 4194304 10173063 140733405456400 140733405449656 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5943/statm: 121249 119354 838 1460 0 119780 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 484996
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 6020
/proc/meminfo: memFree=28231268/32873844 swapFree=7616/7616
[pid=5943] ppid=5941 vsize=484996 CPUtime=1794.8 cores=0,2,4,6
/proc/5943/stat : 5943 (scip-2.1.1.4fix) R 5941 5943 5654 0 -1 4202496 290848 0 0 0 178818 662 0 0 20 0 1 0 268008267 496635904 119397 33554432000 4194304 10173063 140733405456400 140733405451768 5122959 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5943/statm: 121249 119397 838 1460 0 119780 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 484996
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 6020
/proc/meminfo: memFree=28231268/32873844 swapFree=7616/7616
[pid=5943] ppid=5941 vsize=484996 CPUtime=1795.6 cores=0,2,4,6
/proc/5943/stat : 5943 (scip-2.1.1.4fix) R 5941 5943 5654 0 -1 4202496 290854 0 0 0 178897 663 0 0 20 0 1 0 268008267 496635904 119403 33554432000 4194304 10173063 140733405456400 140733405451768 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5943/statm: 121249 119403 838 1460 0 119780 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (KiB) 484996
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 6020
/proc/meminfo: memFree=28231020/32873844 swapFree=7616/7616
[pid=5943] ppid=5941 vsize=484996 CPUtime=1796.4 cores=0,2,4,6
/proc/5943/stat : 5943 (scip-2.1.1.4fix) R 5941 5943 5654 0 -1 4202496 290864 0 0 0 178977 663 0 0 20 0 1 0 268008267 496635904 119413 33554432000 4194304 10173063 140733405456400 140733405449528 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5943/statm: 121249 119413 838 1460 0 119780 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 484996
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 6020
/proc/meminfo: memFree=28231020/32873844 swapFree=7616/7616
[pid=5943] ppid=5941 vsize=484996 CPUtime=1796.8 cores=0,2,4,6
/proc/5943/stat : 5943 (scip-2.1.1.4fix) R 5941 5943 5654 0 -1 4202496 290867 0 0 0 179017 663 0 0 20 0 1 0 268008267 496635904 119416 33554432000 4194304 10173063 140733405456400 140733405453096 4928759 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5943/statm: 121249 119416 840 1460 0 119780 0
Current children cumulated CPU time (s) 1796.8
Current children cumulated vsize (KiB) 484996
[startup+1797.2 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 6020
/proc/meminfo: memFree=28231020/32873844 swapFree=7616/7616
[pid=5943] ppid=5941 vsize=483388 CPUtime=1796.9 cores=0,2,4,6
/proc/5943/stat : 5943 (scip-2.1.1.4fix) R 5941 5943 5654 0 -1 4202496 290867 0 0 0 179027 663 0 0 20 0 1 0 268008267 494989312 119014 33554432000 4194304 10173063 140733405456400 140733405453096 4903043 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5943/statm: 120847 119014 840 1460 0 119378 0
Current children cumulated CPU time (s) 1796.9
Current children cumulated vsize (KiB) 483388
Child status: 0
Real time (s): 1797.29
CPU time (s): 1796.99
CPU user time (s): 1790.35
CPU system time (s): 6.64199
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 484996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.35
system time used= 6.64199
maximum resident set size= 477664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 290869
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= 1858
runsolver used 5.9461 second user time and 14.9497 second system time
The end