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