Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed | SAT | -40 | 1796.96 | 1797.28 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb |
| MD5SUM | 49f1950e042362832bbb830f499dd3e3 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -45 |
| Best CPU time to get the best result obtained on this benchmark | 106.029 |
| 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 | 58245 |
| Number of constraints which are clauses | 58245 |
| 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: 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-3693272-1338031528.opb>
0.09/0.12 c original problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58245 constraints
0.09/0.12 c problem read in 0.12
0.19/0.25 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.49/0.58 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 58245 upgd conss, 116490 impls, 0 clqs
0.79/0.84 c (0.8s) probing: 51/945 (5.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.79/0.84 c (0.8s) probing aborted: 50/50 successive totally useless probings
0.79/0.85 c presolving (2 rounds):
0.79/0.85 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.79/0.85 c 116490 implications, 0 cliques
0.79/0.85 c presolved problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58245 constraints
0.79/0.85 c 58245 constraints of type <setppc>
0.79/0.85 c transformed objective value is always integral (scale: 1)
0.79/0.85 c Presolving Time: 0.70
0.79/0.85 c - non default parameters ----------------------------------------------------------------------
0.79/0.85 c # SCIP version 2.1.1.4
0.79/0.85 c
0.79/0.85 c # maximal time in seconds to run
0.79/0.85 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.85 c limits/time = 1797
0.79/0.85 c
0.79/0.85 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.79/0.85 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.85 c limits/memory = 13950
0.79/0.85 c
0.79/0.85 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.79/0.85 c # [type: int, range: [1,2], default: 1]
0.79/0.85 c timing/clocktype = 2
0.79/0.85 c
0.79/0.85 c # belongs reading time to solving time?
0.79/0.85 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.85 c timing/reading = TRUE
0.79/0.85 c
0.79/0.85 c -----------------------------------------------------------------------------------------------
0.79/0.85 c start solving
0.79/0.87 c
1.49/1.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.49/1.55 c t 1.6s| 1 | 0 | 948 | - | 69M| 0 | 945 | 945 | 58k| 945 | 58k| 0 | 0 | 0 |-4.725000e+02 | 0.000000e+00 | Inf
1.49/1.59 o -1
1.49/1.59 c R 1.6s| 1 | 0 | 948 | - | 69M| 0 | 945 | 945 | 58k| 945 | 58k| 0 | 0 | 0 |-4.725000e+02 |-1.000000e+00 | Large
2.29/2.34 c 2.3s| 1 | 0 | 1210 | - | 69M| 0 | 887 | 945 | 58k| 945 | 58k| 7 | 0 | 0 |-4.435000e+02 |-1.000000e+00 | Large
2.29/2.36 o -32
2.29/2.36 c b 2.4s| 1 | 0 | 1210 | - | 69M| 0 | 887 | 945 | 58k| 945 | 58k| 7 | 0 | 0 |-4.435000e+02 |-3.200000e+01 |1285.94%
3.49/3.51 c 3.5s| 1 | 0 | 1350 | - | 69M| 0 | 845 | 945 | 58k| 945 | 58k| 14 | 0 | 0 |-4.225000e+02 |-3.200000e+01 |1220.31%
4.99/5.00 c 5.0s| 1 | 0 | 1593 | - | 69M| 0 | 806 | 945 | 58k| 945 | 58k| 22 | 0 | 0 |-4.030000e+02 |-3.200000e+01 |1159.38%
6.69/6.74 c 6.7s| 1 | 0 | 1749 | - | 70M| 0 | 762 | 945 | 58k| 945 | 58k| 39 | 0 | 0 |-3.810000e+02 |-3.200000e+01 |1090.62%
8.79/8.81 c 8.8s| 1 | 0 | 1947 | - | 70M| 0 | 722 | 945 | 58k| 945 | 58k| 48 | 0 | 0 |-3.610000e+02 |-3.200000e+01 |1028.12%
10.89/10.92 c 10.9s| 1 | 0 | 2183 | - | 70M| 0 | 685 | 945 | 58k| 945 | 58k| 55 | 0 | 0 |-3.420000e+02 |-3.200000e+01 | 968.75%
12.98/13.04 c 13.0s| 1 | 0 | 2268 | - | 70M| 0 | 645 | 945 | 58k| 945 | 58k| 64 | 0 | 0 |-3.220000e+02 |-3.200000e+01 | 906.25%
15.39/15.49 c 15.5s| 1 | 0 | 2629 | - | 70M| 0 | 607 | 945 | 58k| 945 | 58k| 74 | 0 | 0 |-3.030000e+02 |-3.200000e+01 | 846.88%
18.08/18.18 c 18.2s| 1 | 0 | 2887 | - | 70M| 0 | 562 | 945 | 58k| 945 | 58k| 89 | 0 | 0 |-2.810000e+02 |-3.200000e+01 | 778.12%
20.58/20.61 c 20.6s| 1 | 0 | 3116 | - | 70M| 0 | 521 | 945 | 58k| 945 | 58k| 104 | 0 | 0 |-2.605000e+02 |-3.200000e+01 | 714.06%
20.98/21.05 c 21.0s| 1 | 0 | 3302 | - | 70M| 0 | 478 | 945 | 58k| 945 | 58k| 118 | 0 | 0 |-2.390000e+02 |-3.200000e+01 | 646.88%
21.78/21.80 c 21.8s| 1 | 0 | 3807 | - | 70M| 0 | 440 | 945 | 58k| 945 | 58k| 130 | 0 | 0 |-2.200000e+02 |-3.200000e+01 | 587.50%
22.78/22.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
22.78/22.88 c 22.9s| 1 | 0 | 5085 | - | 70M| 0 | 403 | 945 | 58k| 945 | 58k| 143 | 0 | 0 |-2.007500e+02 |-3.200000e+01 | 527.34%
23.18/23.28 c 23.3s| 1 | 0 | 5306 | - | 70M| 0 | 360 | 945 | 58k| 945 | 58k| 159 | 0 | 0 |-1.792500e+02 |-3.200000e+01 | 460.16%
24.28/24.32 c 24.3s| 1 | 0 | 6438 | - | 70M| 0 | 324 | 945 | 58k| 945 | 58k| 170 | 0 | 0 |-1.620000e+02 |-3.200000e+01 | 406.25%
24.98/25.01 c 25.0s| 1 | 0 | 7023 | - | 70M| 0 | 287 | 945 | 58k| 945 | 58k| 186 | 0 | 0 |-1.435000e+02 |-3.200000e+01 | 348.44%
26.48/26.50 c 26.5s| 1 | 0 | 9075 | - | 70M| 0 | 247 | 945 | 58k| 945 | 58k| 204 | 0 | 0 |-1.235000e+02 |-3.200000e+01 | 285.94%
27.08/27.11 c 27.1s| 1 | 0 | 9825 | - | 70M| 0 | 213 | 945 | 58k| 945 | 58k| 216 | 0 | 0 |-1.065000e+02 |-3.200000e+01 | 232.81%
27.78/27.82 c 27.8s| 1 | 0 | 10756 | - | 70M| 0 | 182 | 945 | 58k| 945 | 58k| 224 | 0 | 0 |-9.100000e+01 |-3.200000e+01 | 184.38%
28.08/28.18 c 28.2s| 1 | 0 | 11029 | - | 70M| 0 | 175 | 945 | 58k| 945 | 58k| 239 | 0 | 0 |-8.200000e+01 |-3.200000e+01 | 156.25%
28.18/28.28 c 28.3s| 1 | 0 | 11143 | - | 70M| 0 | 167 | 945 | 58k| 945 | 58k| 243 | 0 | 0 |-7.400000e+01 |-3.200000e+01 | 131.25%
28.88/28.97 c 29.0s| 1 | 0 | 12575 | - | 70M| 0 | 138 | 945 | 58k| 945 | 58k| 250 | 0 | 0 |-6.050000e+01 |-3.200000e+01 | 89.06%
29.08/29.11 c 29.1s| 1 | 0 | 12711 | - | 70M| 0 | 142 | 945 | 58k| 945 | 58k| 254 | 0 | 0 |-5.450000e+01 |-3.200000e+01 | 70.31%
29.18/29.24 c 29.2s| 1 | 0 | 12830 | - | 70M| 0 | 127 | 945 | 58k| 945 | 58k| 260 | 0 | 0 |-4.900000e+01 |-3.200000e+01 | 53.12%
29.38/29.44 c 29.4s| 1 | 0 | 13024 | - | 70M| 0 | 131 | 945 | 58k| 945 | 58k| 267 | 0 | 0 |-4.778571e+01 |-3.200000e+01 | 49.33%
29.48/29.50 c 29.5s| 1 | 0 | 13059 | - | 70M| 0 | 122 | 945 | 58k| 945 | 58k| 272 | 0 | 0 |-4.630000e+01 |-3.200000e+01 | 44.69%
29.48/29.57 c 29.6s| 1 | 0 | 13117 | - | 70M| 0 | 129 | 945 | 58k| 945 | 58k| 282 | 0 | 0 |-4.616667e+01 |-3.200000e+01 | 44.27%
29.59/29.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.59/29.65 c 29.7s| 1 | 0 | 13185 | - | 70M| 0 | 118 | 945 | 58k| 945 | 58k| 290 | 0 | 0 |-4.600000e+01 |-3.200000e+01 | 43.75%
29.69/29.76 c 29.8s| 1 | 0 | 13238 | - | 70M| 0 | 140 | 945 | 58k| 945 | 58k| 300 | 0 | 0 |-4.583333e+01 |-3.200000e+01 | 43.23%
29.78/29.83 c 29.8s| 1 | 0 | 13286 | - | 70M| 0 | 139 | 945 | 58k| 945 | 58k| 313 | 0 | 0 |-4.550000e+01 |-3.200000e+01 | 42.19%
29.78/29.87 c 29.9s| 1 | 0 | 13306 | - | 70M| 0 | 139 | 945 | 58k| 945 | 58k| 321 | 0 | 0 |-4.550000e+01 |-3.200000e+01 | 42.19%
29.88/29.97 c 30.0s| 1 | 0 | 13377 | - | 70M| 0 | 150 | 945 | 58k| 945 | 58k| 328 | 0 | 0 |-4.550000e+01 |-3.200000e+01 | 42.19%
30.08/30.10 c 30.1s| 1 | 0 | 13460 | - | 70M| 0 | 151 | 945 | 58k| 945 | 58k| 335 | 0 | 0 |-4.533333e+01 |-3.200000e+01 | 41.67%
30.18/30.21 c 30.2s| 1 | 0 | 13524 | - | 70M| 0 | 153 | 945 | 58k| 945 | 58k| 344 | 0 | 0 |-4.533333e+01 |-3.200000e+01 | 41.67%
30.28/30.36 c 30.4s| 1 | 0 | 13601 | - | 70M| 0 | 167 | 945 | 58k| 945 | 58k| 357 | 0 | 0 |-4.533333e+01 |-3.200000e+01 | 41.67%
30.38/30.48 c 30.5s| 1 | 0 | 13669 | - | 70M| 0 | 170 | 945 | 58k| 945 | 58k| 363 | 0 | 0 |-4.533333e+01 |-3.200000e+01 | 41.67%
30.58/30.61 c 30.6s| 1 | 0 | 13739 | - | 70M| 0 | 174 | 945 | 58k| 945 | 58k| 377 | 0 | 0 |-4.533333e+01 |-3.200000e+01 | 41.67%
30.79/30.81 c 30.8s| 1 | 0 | 13874 | - | 70M| 0 | 175 | 945 | 58k| 945 | 58k| 381 | 0 | 0 |-4.533333e+01 |-3.200000e+01 | 41.67%
44.68/44.78 c 44.8s| 1 | 2 | 13874 | - | 70M| 0 | 175 | 945 | 58k| 945 | 58k| 381 | 0 | 32 |-4.533333e+01 |-3.200000e+01 | 41.67%
130.97/131.08 o -33
130.97/131.08 c p 131s| 27 | 28 | 16595 | 104.7 | 73M| 14 | - | 945 | 58k| 945 | 58k| 381 | 0 | 569 |-4.533333e+01 |-3.300000e+01 | 37.37%
166.07/166.16 o -34
166.07/166.16 c f 166s| 41 | 42 | 17673 | 95.0 | 74M| 15 | - | 945 | 58k| 945 | 58k| 381 | 0 | 816 |-4.533333e+01 |-3.400000e+01 | 33.33%
177.66/177.75 c 178s| 100 | 101 | 23994 | 102.2 | 78M| 19 | 103 | 945 | 58k| 945 | 58k| 381 | 0 | 825 |-4.533333e+01 |-3.400000e+01 | 33.33%
187.16/187.26 o -35
187.16/187.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
187.16/187.26 c f 187s| 200 | 172 | 30096 | 81.5 | 80M| 26 | - | 945 | 58k| 945 | 58k| 381 | 0 | 858 |-4.533333e+01 |-3.500000e+01 | 29.52%
202.96/203.07 o -36
202.96/203.07 c p 203s| 298 | 262 | 38758 | 83.8 | 84M| 26 | - | 945 | 58k| 945 | 58k| 381 | 0 | 898 |-4.533333e+01 |-3.600000e+01 | 25.93%
203.06/203.18 c 203s| 300 | 264 | 38796 | 83.4 | 84M| 26 | 94 | 945 | 58k| 945 | 58k| 381 | 0 | 898 |-4.533333e+01 |-3.600000e+01 | 25.93%
211.45/211.52 c 212s| 400 | 348 | 44199 | 76.0 | 86M| 29 | 97 | 945 | 58k| 945 | 58k| 381 | 0 | 927 |-4.533333e+01 |-3.600000e+01 | 25.93%
219.96/220.05 c 220s| 500 | 432 | 49628 | 71.7 | 88M| 31 | 38 | 945 | 58k| 945 | 58k| 381 | 0 | 956 |-4.533333e+01 |-3.600000e+01 | 25.93%
233.54/233.62 c 234s| 600 | 524 | 57455 | 72.8 | 92M| 31 | 96 | 945 | 58k| 945 | 58k| 381 | 0 |1001 |-4.533333e+01 |-3.600000e+01 | 25.93%
237.35/237.50 o -38
237.35/237.50 c p 237s| 620 | 491 | 59636 | 73.9 | 92M| 31 | - | 945 | 58k| 945 | 58k| 381 | 0 |1011 |-4.533333e+01 |-3.800000e+01 | 19.30%
244.44/244.51 c 245s| 700 | 557 | 64499 | 72.4 | 94M| 31 | 82 | 945 | 58k| 945 | 58k| 381 | 0 |1030 |-4.533333e+01 |-3.800000e+01 | 19.30%
255.94/256.05 c 256s| 800 | 641 | 72025 | 72.8 | 97M| 31 | 98 | 945 | 58k| 945 | 58k| 381 | 0 |1073 |-4.533333e+01 |-3.800000e+01 | 19.30%
266.24/266.38 c 266s| 900 | 717 | 79258 | 72.7 | 100M| 33 | 56 | 945 | 58k| 945 | 58k| 381 | 0 |1110 |-4.533333e+01 |-3.800000e+01 | 19.30%
276.63/276.75 c 277s| 1000 | 797 | 85741 | 71.9 | 102M| 39 | 116 | 945 | 58k| 945 | 58k| 381 | 0 |1146 |-4.533333e+01 |-3.800000e+01 | 19.30%
287.92/288.02 c 288s| 1100 | 897 | 92529 | 71.6 | 104M| 43 | 90 | 945 | 58k| 945 | 58k| 381 | 0 |1173 |-4.533333e+01 |-3.800000e+01 | 19.30%
298.23/298.38 c 298s| 1200 | 997 | 99321 | 71.3 | 107M| 45 | 101 | 945 | 58k| 945 | 58k| 381 | 0 |1191 |-4.533333e+01 |-3.800000e+01 | 19.30%
307.42/307.52 o -39
307.42/307.52 c f 308s| 1281 | 1020 |105367 | 71.5 | 108M| 45 | - | 945 | 58k| 945 | 58k| 381 | 0 |1218 |-4.533333e+01 |-3.900000e+01 | 16.24%
308.32/308.48 c 308s| 1300 | 1039 |106129 | 71.0 | 108M| 45 | 80 | 945 | 58k| 945 | 58k| 381 | 0 |1218 |-4.533333e+01 |-3.900000e+01 | 16.24%
325.91/326.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
325.91/326.06 c 326s| 1400 | 1139 |118255 | 74.6 | 111M| 45 | 66 | 945 | 58k| 945 | 58k| 381 | 0 |1266 |-4.533333e+01 |-3.900000e+01 | 16.24%
344.32/344.41 c 344s| 1500 | 1239 |131797 | 78.7 | 114M| 45 | 70 | 945 | 58k| 945 | 58k| 381 | 0 |1293 |-4.533333e+01 |-3.900000e+01 | 16.24%
364.41/364.51 c 365s| 1600 | 1339 |145039 | 82.0 | 117M| 45 | 78 | 945 | 58k| 945 | 58k| 381 | 0 |1337 |-4.533333e+01 |-3.900000e+01 | 16.24%
380.61/380.74 c 381s| 1700 | 1439 |155691 | 83.5 | 120M| 45 | 90 | 945 | 58k| 945 | 58k| 381 | 0 |1380 |-4.533333e+01 |-3.900000e+01 | 16.24%
400.80/400.99 c 401s| 1800 | 1539 |168598 | 86.0 | 123M| 45 | 118 | 945 | 58k| 945 | 58k| 381 | 0 |1422 |-4.533333e+01 |-3.900000e+01 | 16.24%
419.01/419.12 c 419s| 1900 | 1639 |180163 | 87.6 | 126M| 45 | 64 | 945 | 58k| 945 | 58k| 381 | 0 |1467 |-4.533333e+01 |-3.900000e+01 | 16.24%
444.50/444.63 c 445s| 2000 | 1739 |196515 | 91.4 | 129M| 45 | 139 | 945 | 58k| 945 | 58k| 381 | 0 |1511 |-4.533333e+01 |-3.900000e+01 | 16.24%
469.99/470.16 c 470s| 2100 | 1839 |214452 | 95.6 | 133M| 45 | 103 | 945 | 58k| 945 | 58k| 381 | 0 |1572 |-4.533333e+01 |-3.900000e+01 | 16.24%
482.39/482.50 o -40
482.39/482.50 c l 483s| 2153 | 1820 |222362 | 96.9 | 134M| 45 | - | 945 | 58k| 945 | 58k| 381 | 0 |1600 |-4.533333e+01 |-4.000000e+01 | 13.33%
495.59/495.74 c 496s| 2200 | 1865 |231148 | 98.8 | 135M| 45 | 105 | 945 | 58k| 945 | 58k| 381 | 0 |1632 |-4.533333e+01 |-4.000000e+01 | 13.33%
523.98/524.11 c 524s| 2300 | 1965 |251698 | 103.4 | 139M| 45 | 124 | 945 | 58k| 945 | 58k| 381 | 0 |1688 |-4.533333e+01 |-4.000000e+01 | 13.33%
549.98/550.11 c 550s| 2400 | 2065 |268785 | 106.3 | 142M| 45 | 100 | 945 | 58k| 945 | 58k| 381 | 0 |1740 |-4.533333e+01 |-4.000000e+01 | 13.33%
569.77/569.91 c 570s| 2500 | 2163 |284091 | 108.1 | 145M| 45 | 97 | 945 | 58k| 945 | 58k| 381 | 0 |1752 |-4.533333e+01 |-4.000000e+01 | 13.33%
588.88/589.05 c 589s| 2600 | 2255 |299262 | 109.8 | 148M| 45 | 78 | 945 | 58k| 945 | 58k| 381 | 0 |1769 |-4.533333e+01 |-4.000000e+01 | 13.33%
612.17/612.30 c 612s| 2700 | 2353 |316094 | 112.0 | 151M| 45 | 83 | 945 | 58k| 945 | 58k| 381 | 0 |1777 |-4.533333e+01 |-4.000000e+01 | 13.33%
629.97/630.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
629.97/630.13 c 630s| 2800 | 2449 |332246 | 113.7 | 154M| 45 | 150 | 945 | 58k| 945 | 58k| 381 | 0 |1781 |-4.533333e+01 |-4.000000e+01 | 13.33%
646.26/646.40 c 646s| 2900 | 2539 |344571 | 114.1 | 156M| 45 | 115 | 945 | 58k| 945 | 58k| 381 | 0 |1782 |-4.533333e+01 |-4.000000e+01 | 13.33%
661.76/661.91 c 662s| 3000 | 2629 |357362 | 114.5 | 159M| 45 | 101 | 945 | 58k| 945 | 58k| 381 | 0 |1786 |-4.533333e+01 |-4.000000e+01 | 13.33%
682.36/682.51 c 683s| 3100 | 2721 |371759 | 115.5 | 161M| 45 | 55 | 945 | 58k| 945 | 58k| 381 | 0 |1792 |-4.533333e+01 |-4.000000e+01 | 13.33%
699.76/699.91 c 700s| 3200 | 2811 |385347 | 116.1 | 164M| 45 | 123 | 945 | 58k| 945 | 58k| 381 | 0 |1792 |-4.533333e+01 |-4.000000e+01 | 13.33%
719.05/719.22 c 719s| 3300 | 2907 |398461 | 116.6 | 167M| 45 | 129 | 945 | 58k| 945 | 58k| 381 | 0 |1834 |-4.533333e+01 |-4.000000e+01 | 13.33%
740.16/740.39 c 740s| 3400 | 3001 |412008 | 117.1 | 169M| 45 | 149 | 945 | 58k| 945 | 58k| 381 | 0 |1882 |-4.533333e+01 |-4.000000e+01 | 13.33%
756.55/756.79 c 757s| 3500 | 3099 |423418 | 117.0 | 172M| 45 | 68 | 945 | 58k| 945 | 58k| 381 | 0 |1936 |-4.533333e+01 |-4.000000e+01 | 13.33%
774.15/774.33 c 774s| 3600 | 3189 |436329 | 117.4 | 175M| 45 | - | 945 | 58k| 945 | 58k| 381 | 0 |1986 |-4.533333e+01 |-4.000000e+01 | 13.33%
795.84/796.05 c 796s| 3700 | 3279 |452928 | 118.7 | 178M| 47 | 83 | 945 | 58k| 945 | 58k| 381 | 0 |2052 |-4.533333e+01 |-4.000000e+01 | 13.33%
817.93/818.12 c 818s| 3800 | 3379 |468958 | 119.8 | 181M| 47 | 103 | 945 | 58k| 945 | 58k| 381 | 0 |2110 |-4.533333e+01 |-4.000000e+01 | 13.33%
837.83/838.03 c 838s| 3900 | 3467 |483448 | 120.4 | 184M| 47 | 72 | 945 | 58k| 945 | 58k| 381 | 0 |2153 |-4.533333e+01 |-4.000000e+01 | 13.33%
854.23/854.44 c 854s| 4000 | 3547 |496300 | 120.6 | 187M| 47 | 69 | 945 | 58k| 945 | 58k| 381 | 0 |2194 |-4.533333e+01 |-4.000000e+01 | 13.33%
871.23/871.47 c 871s| 4100 | 3635 |511481 | 121.4 | 189M| 47 | 148 | 945 | 58k| 945 | 58k| 381 | 0 |2206 |-4.533333e+01 |-4.000000e+01 | 13.33%
881.12/881.32 c 881s| 4200 | 3709 |520328 | 120.6 | 191M| 51 | 112 | 945 | 58k| 945 | 58k| 381 | 0 |2214 |-4.533333e+01 |-4.000000e+01 | 13.33%
897.43/897.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
897.43/897.61 c 898s| 4300 | 3797 |532393 | 120.6 | 194M| 51 | 110 | 945 | 58k| 945 | 58k| 381 | 0 |2229 |-4.533333e+01 |-4.000000e+01 | 13.33%
911.52/911.74 c 912s| 4400 | 3883 |544295 | 120.6 | 197M| 51 | 56 | 945 | 58k| 945 | 58k| 381 | 0 |2236 |-4.533333e+01 |-4.000000e+01 | 13.33%
922.92/923.12 c 923s| 4500 | 3959 |554093 | 120.1 | 199M| 51 | 56 | 945 | 58k| 945 | 58k| 381 | 0 |2248 |-4.533333e+01 |-4.000000e+01 | 13.33%
932.21/932.48 c 932s| 4600 | 4025 |562665 | 119.3 | 201M| 51 | 117 | 945 | 58k| 945 | 58k| 381 | 0 |2250 |-4.533333e+01 |-4.000000e+01 | 13.33%
944.72/944.96 c 945s| 4700 | 4101 |573159 | 119.0 | 203M| 51 | 85 | 945 | 58k| 945 | 58k| 381 | 0 |2256 |-4.533333e+01 |-4.000000e+01 | 13.33%
953.71/953.93 c 954s| 4800 | 4165 |580306 | 118.0 | 205M| 51 | 107 | 945 | 58k| 945 | 58k| 381 | 0 |2256 |-4.533333e+01 |-4.000000e+01 | 13.33%
963.31/963.56 c 964s| 4900 | 4229 |588538 | 117.3 | 207M| 51 | 66 | 945 | 58k| 945 | 58k| 381 | 0 |2258 |-4.533333e+01 |-4.000000e+01 | 13.33%
970.81/971.02 c 971s| 5000 | 4289 |594652 | 116.2 | 208M| 51 | 66 | 945 | 58k| 945 | 58k| 381 | 0 |2261 |-4.533333e+01 |-4.000000e+01 | 13.33%
979.41/979.68 c 980s| 5100 | 4353 |603151 | 115.6 | 210M| 51 | 78 | 945 | 58k| 945 | 58k| 381 | 0 |2262 |-4.533333e+01 |-4.000000e+01 | 13.33%
989.72/989.99 c 990s| 5200 | 4411 |610629 | 114.8 | 212M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |2297 |-4.533333e+01 |-4.000000e+01 | 13.33%
1001.50/1001.72 c 1002s| 5300 | 4475 |617173 | 113.9 | 214M| 51 | 110 | 945 | 58k| 945 | 58k| 381 | 0 |2354 |-4.533333e+01 |-4.000000e+01 | 13.33%
1014.80/1015.00 c 1015s| 5400 | 4545 |626435 | 113.5 | 215M| 51 | 82 | 945 | 58k| 945 | 58k| 381 | 0 |2374 |-4.533333e+01 |-4.000000e+01 | 13.33%
1021.20/1021.46 c 1021s| 5500 | 4581 |630553 | 112.1 | 216M| 51 | 82 | 945 | 58k| 945 | 58k| 381 | 0 |2409 |-4.533333e+01 |-4.000000e+01 | 13.33%
1033.10/1033.36 c 1033s| 5600 | 4647 |639543 | 111.7 | 218M| 51 | 117 | 945 | 58k| 945 | 58k| 381 | 0 |2457 |-4.533333e+01 |-4.000000e+01 | 13.33%
1044.80/1045.09 c 1045s| 5700 | 4717 |647973 | 111.3 | 221M| 51 | 85 | 945 | 58k| 945 | 58k| 381 | 0 |2494 |-4.533333e+01 |-4.000000e+01 | 13.33%
1055.19/1055.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1055.19/1055.41 c 1055s| 5800 | 4777 |655412 | 110.6 | 222M| 51 | 73 | 945 | 58k| 945 | 58k| 381 | 0 |2518 |-4.533333e+01 |-4.000000e+01 | 13.33%
1066.49/1066.79 c 1067s| 5900 | 4843 |663748 | 110.2 | 224M| 51 | 71 | 945 | 58k| 945 | 58k| 381 | 0 |2557 |-4.533333e+01 |-4.000000e+01 | 13.33%
1074.59/1074.80 c 1075s| 6000 | 4895 |669371 | 109.3 | 226M| 51 | 86 | 945 | 58k| 945 | 58k| 381 | 0 |2590 |-4.533333e+01 |-4.000000e+01 | 13.33%
1086.99/1087.29 c 1087s| 6100 | 4953 |677439 | 108.8 | 227M| 51 | 85 | 945 | 58k| 945 | 58k| 381 | 0 |2626 |-4.533333e+01 |-4.000000e+01 | 13.33%
1095.30/1095.53 c 1096s| 6200 | 4993 |683702 | 108.1 | 229M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |2655 |-4.533333e+01 |-4.000000e+01 | 13.33%
1105.78/1106.08 c 1106s| 6300 | 5047 |689904 | 107.3 | 230M| 51 | 98 | 945 | 58k| 945 | 58k| 381 | 0 |2698 |-4.533333e+01 |-4.000000e+01 | 13.33%
1120.18/1120.47 c 1120s| 6400 | 5117 |699852 | 107.2 | 232M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |2742 |-4.533333e+01 |-4.000000e+01 | 13.33%
1134.68/1134.94 c 1135s| 6500 | 5189 |710911 | 107.3 | 234M| 51 | 102 | 945 | 58k| 945 | 58k| 381 | 0 |2786 |-4.533333e+01 |-4.000000e+01 | 13.33%
1141.88/1142.12 c 1142s| 6600 | 5241 |717359 | 106.6 | 236M| 51 | 80 | 945 | 58k| 945 | 58k| 381 | 0 |2797 |-4.533333e+01 |-4.000000e+01 | 13.33%
1147.58/1147.89 c 1148s| 6700 | 5285 |722815 | 105.8 | 237M| 51 | 77 | 945 | 58k| 945 | 58k| 381 | 0 |2801 |-4.533333e+01 |-4.000000e+01 | 13.33%
1155.68/1155.93 c 1156s| 6800 | 5337 |730301 | 105.4 | 239M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |2802 |-4.533333e+01 |-4.000000e+01 | 13.33%
1163.48/1163.78 c 1164s| 6900 | 5391 |737027 | 104.8 | 240M| 51 | 96 | 945 | 58k| 945 | 58k| 381 | 0 |2815 |-4.533333e+01 |-4.000000e+01 | 13.33%
1170.08/1170.33 c 1170s| 7000 | 5441 |742959 | 104.2 | 242M| 51 | 96 | 945 | 58k| 945 | 58k| 381 | 0 |2818 |-4.533333e+01 |-4.000000e+01 | 13.33%
1180.27/1180.50 c 1180s| 7100 | 5499 |751885 | 104.0 | 243M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |2823 |-4.533333e+01 |-4.000000e+01 | 13.33%
1186.17/1186.43 c 1186s| 7200 | 5541 |757798 | 103.3 | 245M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |2824 |-4.533333e+01 |-4.000000e+01 | 13.33%
1193.97/1194.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1193.97/1194.28 c 1194s| 7300 | 5589 |765167 | 102.9 | 246M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |2824 |-4.533333e+01 |-4.000000e+01 | 13.33%
1203.47/1203.78 c 1204s| 7400 | 5651 |772853 | 102.6 | 248M| 51 | 77 | 945 | 58k| 945 | 58k| 381 | 0 |2828 |-4.533333e+01 |-4.000000e+01 | 13.33%
1217.97/1218.29 c 1218s| 7500 | 5715 |784760 | 102.8 | 249M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |2832 |-4.533333e+01 |-4.000000e+01 | 13.33%
1225.47/1225.76 c 1226s| 7600 | 5767 |791347 | 102.3 | 251M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |2834 |-4.533333e+01 |-4.000000e+01 | 13.33%
1232.16/1232.41 c 1232s| 7700 | 5809 |797479 | 101.8 | 252M| 51 | 70 | 945 | 58k| 945 | 58k| 381 | 0 |2835 |-4.533333e+01 |-4.000000e+01 | 13.33%
1241.07/1241.35 c 1241s| 7800 | 5879 |806074 | 101.6 | 254M| 51 | 83 | 945 | 58k| 945 | 58k| 381 | 0 |2836 |-4.533333e+01 |-4.000000e+01 | 13.33%
1250.47/1250.77 c 1251s| 7900 | 5945 |813784 | 101.3 | 256M| 51 | 70 | 945 | 58k| 945 | 58k| 381 | 0 |2836 |-4.533333e+01 |-4.000000e+01 | 13.33%
1258.66/1258.98 c 1259s| 8000 | 5997 |820494 | 100.8 | 258M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |2853 |-4.533333e+01 |-4.000000e+01 | 13.33%
1268.36/1268.66 c 1269s| 8100 | 6051 |827961 | 100.5 | 260M| 51 | 74 | 945 | 58k| 945 | 58k| 381 | 0 |2873 |-4.533333e+01 |-4.000000e+01 | 13.33%
1278.36/1278.61 c 1279s| 8200 | 6103 |835531 | 100.2 | 261M| 51 | 69 | 945 | 58k| 945 | 58k| 381 | 0 |2913 |-4.533333e+01 |-4.000000e+01 | 13.33%
1286.76/1287.08 c 1287s| 8300 | 6153 |841257 | 99.7 | 263M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |2949 |-4.533333e+01 |-4.000000e+01 | 13.33%
1297.25/1297.57 c 1298s| 8400 | 6205 |848631 | 99.4 | 264M| 51 | 114 | 945 | 58k| 945 | 58k| 381 | 0 |2981 |-4.533333e+01 |-4.000000e+01 | 13.33%
1309.36/1309.61 c 1310s| 8500 | 6271 |856964 | 99.2 | 266M| 51 | 84 | 945 | 58k| 945 | 58k| 381 | 0 |3015 |-4.533333e+01 |-4.000000e+01 | 13.33%
1322.15/1322.46 c 1322s| 8600 | 6333 |866308 | 99.1 | 268M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |3062 |-4.533333e+01 |-4.000000e+01 | 13.33%
1333.15/1333.49 c 1333s| 8700 | 6397 |875179 | 99.0 | 270M| 51 | 66 | 945 | 58k| 945 | 58k| 381 | 0 |3095 |-4.533333e+01 |-4.000000e+01 | 13.33%
1345.95/1346.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1345.95/1346.22 c 1346s| 8800 | 6473 |883923 | 98.9 | 272M| 51 | 84 | 945 | 58k| 945 | 58k| 381 | 0 |3139 |-4.533333e+01 |-4.000000e+01 | 13.33%
1357.65/1357.92 c 1358s| 8900 | 6533 |892390 | 98.7 | 274M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |3179 |-4.533333e+01 |-4.000000e+01 | 13.33%
1369.45/1369.75 c 1370s| 9000 | 6585 |900998 | 98.6 | 276M| 51 | 71 | 945 | 58k| 945 | 58k| 381 | 0 |3215 |-4.533333e+01 |-4.000000e+01 | 13.33%
1377.84/1378.18 c 1378s| 9100 | 6641 |907319 | 98.2 | 277M| 51 | 95 | 945 | 58k| 945 | 58k| 381 | 0 |3249 |-4.533333e+01 |-4.000000e+01 | 13.33%
1387.74/1388.02 c 1388s| 9200 | 6685 |914023 | 97.9 | 278M| 51 | 105 | 945 | 58k| 945 | 58k| 381 | 0 |3287 |-4.533333e+01 |-4.000000e+01 | 13.33%
1399.64/1399.96 c 1400s| 9300 | 6743 |923366 | 97.8 | 280M| 51 | 50 | 945 | 58k| 945 | 58k| 381 | 0 |3320 |-4.533333e+01 |-4.000000e+01 | 13.33%
1409.04/1409.33 c 1409s| 9400 | 6795 |929746 | 97.4 | 282M| 51 | 71 | 945 | 58k| 945 | 58k| 381 | 0 |3352 |-4.533333e+01 |-4.000000e+01 | 13.33%
1418.83/1419.17 c 1419s| 9500 | 6845 |937371 | 97.2 | 283M| 51 | 58 | 945 | 58k| 945 | 58k| 381 | 0 |3382 |-4.533333e+01 |-4.000000e+01 | 13.33%
1428.54/1428.84 c 1429s| 9600 | 6901 |945004 | 97.0 | 285M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |3399 |-4.533333e+01 |-4.000000e+01 | 13.33%
1439.23/1439.53 c 1440s| 9700 | 6971 |953681 | 96.9 | 287M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |3407 |-4.533333e+01 |-4.000000e+01 | 13.33%
1450.23/1450.50 c 1450s| 9800 | 7045 |963243 | 96.9 | 289M| 51 | 122 | 945 | 58k| 945 | 58k| 381 | 0 |3419 |-4.533333e+01 |-4.000000e+01 | 13.33%
1457.24/1457.56 c 1458s| 9900 | 7075 |969831 | 96.6 | 290M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |3422 |-4.533333e+01 |-4.000000e+01 | 13.33%
1466.73/1467.09 c 1467s| 10000 | 7141 |978084 | 96.4 | 292M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |3423 |-4.533333e+01 |-4.000000e+01 | 13.33%
1472.73/1473.00 c 1473s| 10100 | 7189 |983498 | 96.0 | 293M| 51 | 78 | 945 | 58k| 945 | 58k| 381 | 0 |3425 |-4.533333e+01 |-4.000000e+01 | 13.33%
1480.73/1481.06 c 1481s| 10200 | 7253 |991248 | 95.8 | 295M| 51 | 56 | 945 | 58k| 945 | 58k| 381 | 0 |3428 |-4.533333e+01 |-4.000000e+01 | 13.33%
1491.33/1491.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1491.33/1491.62 c 1492s| 10300 | 7319 | 1000k| 95.8 | 297M| 51 | 87 | 945 | 58k| 945 | 58k| 381 | 0 |3430 |-4.533333e+01 |-4.000000e+01 | 13.33%
1498.93/1499.28 c 1499s| 10400 | 7387 | 1007k| 95.6 | 299M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |3430 |-4.533333e+01 |-4.000000e+01 | 13.33%
1507.22/1507.50 c 1507s| 10500 | 7447 | 1014k| 95.3 | 301M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |3434 |-4.533333e+01 |-4.000000e+01 | 13.33%
1515.92/1516.25 c 1516s| 10600 | 7511 | 1023k| 95.2 | 302M| 51 | 112 | 945 | 58k| 945 | 58k| 381 | 0 |3437 |-4.533333e+01 |-4.000000e+01 | 13.33%
1524.42/1524.78 c 1525s| 10700 | 7565 | 1031k| 95.1 | 304M| 51 | 83 | 945 | 58k| 945 | 58k| 381 | 0 |3438 |-4.533333e+01 |-4.000000e+01 | 13.33%
1532.82/1533.13 c 1533s| 10800 | 7629 | 1038k| 94.9 | 306M| 51 | 122 | 945 | 58k| 945 | 58k| 381 | 0 |3438 |-4.533333e+01 |-4.000000e+01 | 13.33%
1539.22/1539.52 c 1540s| 10900 | 7685 | 1045k| 94.7 | 307M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |3438 |-4.530769e+01 |-4.000000e+01 | 13.27%
1545.22/1545.51 c 1546s| 11000 | 7733 | 1051k| 94.4 | 309M| 51 | 104 | 945 | 58k| 945 | 58k| 381 | 0 |3439 |-4.530000e+01 |-4.000000e+01 | 13.25%
1552.61/1552.93 c 1553s| 11100 | 7789 | 1059k| 94.2 | 310M| 51 | 91 | 945 | 58k| 945 | 58k| 381 | 0 |3440 |-4.530000e+01 |-4.000000e+01 | 13.25%
1562.31/1562.66 c 1563s| 11200 | 7857 | 1066k| 94.0 | 312M| 51 | 91 | 945 | 58k| 945 | 58k| 381 | 0 |3472 |-4.529630e+01 |-4.000000e+01 | 13.24%
1571.81/1572.17 c 1572s| 11300 | 7917 | 1072k| 93.7 | 314M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |3499 |-4.528571e+01 |-4.000000e+01 | 13.21%
1580.42/1580.79 c 1581s| 11400 | 7977 | 1079k| 93.5 | 315M| 51 | 88 | 945 | 58k| 945 | 58k| 381 | 0 |3538 |-4.528571e+01 |-4.000000e+01 | 13.21%
1591.51/1591.86 c 1592s| 11500 | 8035 | 1088k| 93.4 | 317M| 51 | 66 | 945 | 58k| 945 | 58k| 381 | 0 |3565 |-4.528571e+01 |-4.000000e+01 | 13.21%
1602.42/1602.75 c 1603s| 11600 | 8097 | 1096k| 93.3 | 319M| 51 | 75 | 945 | 58k| 945 | 58k| 381 | 0 |3598 |-4.527778e+01 |-4.000000e+01 | 13.19%
1612.10/1612.42 c 1612s| 11700 | 8161 | 1103k| 93.1 | 321M| 51 | 64 | 945 | 58k| 945 | 58k| 381 | 0 |3632 |-4.527778e+01 |-4.000000e+01 | 13.19%
1625.20/1625.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1625.20/1625.59 c 1626s| 11800 | 8227 | 1113k| 93.2 | 323M| 51 | 107 | 945 | 58k| 945 | 58k| 381 | 0 |3655 |-4.527778e+01 |-4.000000e+01 | 13.19%
1633.61/1633.97 c 1634s| 11900 | 8279 | 1118k| 92.8 | 324M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |3688 |-4.527778e+01 |-4.000000e+01 | 13.19%
1642.50/1642.87 c 1643s| 12000 | 8343 | 1125k| 92.6 | 326M| 51 | 87 | 945 | 58k| 945 | 58k| 381 | 0 |3712 |-4.525641e+01 |-4.000000e+01 | 13.14%
1652.30/1652.60 c 1653s| 12100 | 8409 | 1133k| 92.5 | 328M| 51 | 84 | 945 | 58k| 945 | 58k| 381 | 0 |3743 |-4.525000e+01 |-4.000000e+01 | 13.12%
1663.79/1664.10 c 1664s| 12200 | 8473 | 1141k| 92.5 | 330M| 51 | 102 | 945 | 58k| 945 | 58k| 381 | 0 |3787 |-4.525000e+01 |-4.000000e+01 | 13.12%
1677.10/1677.49 c 1677s| 12300 | 8539 | 1152k| 92.6 | 332M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |3812 |-4.522222e+01 |-4.000000e+01 | 13.06%
1687.00/1687.40 c 1687s| 12400 | 8593 | 1160k| 92.5 | 334M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |3833 |-4.522222e+01 |-4.000000e+01 | 13.06%
1698.19/1698.57 c 1699s| 12500 | 8657 | 1168k| 92.4 | 335M| 51 | 80 | 945 | 58k| 945 | 58k| 381 | 0 |3860 |-4.521053e+01 |-4.000000e+01 | 13.03%
1709.49/1709.83 c 1710s| 12600 | 8721 | 1176k| 92.3 | 337M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |3891 |-4.520833e+01 |-4.000000e+01 | 13.02%
1719.49/1719.87 c 1720s| 12700 | 8787 | 1184k| 92.2 | 339M| 51 | 103 | 945 | 58k| 945 | 58k| 381 | 0 |3921 |-4.520833e+01 |-4.000000e+01 | 13.02%
1729.58/1729.95 c 1730s| 12800 | 8835 | 1190k| 92.0 | 341M| 51 | 95 | 945 | 58k| 945 | 58k| 381 | 0 |3939 |-4.520833e+01 |-4.000000e+01 | 13.02%
1738.38/1738.78 c 1739s| 12900 | 8893 | 1198k| 91.8 | 342M| 51 | 71 | 945 | 58k| 945 | 58k| 381 | 0 |3950 |-4.516667e+01 |-4.000000e+01 | 12.92%
1743.78/1744.12 c 1744s| 13000 | 8933 | 1203k| 91.5 | 343M| 51 | 67 | 945 | 58k| 945 | 58k| 381 | 0 |3955 |-4.516667e+01 |-4.000000e+01 | 12.92%
1751.28/1751.61 c 1752s| 13100 | 9001 | 1210k| 91.3 | 345M| 51 | 64 | 945 | 58k| 945 | 58k| 381 | 0 |3964 |-4.516667e+01 |-4.000000e+01 | 12.92%
1759.38/1759.75 c 1760s| 13200 | 9059 | 1217k| 91.2 | 347M| 51 | 98 | 945 | 58k| 945 | 58k| 381 | 0 |3972 |-4.516667e+01 |-4.000000e+01 | 12.92%
1767.88/1768.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1767.88/1768.29 c 1768s| 13300 | 9133 | 1225k| 91.1 | 349M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |3975 |-4.513333e+01 |-4.000000e+01 | 12.83%
1777.58/1777.99 c 1778s| 13400 | 9189 | 1234k| 91.1 | 350M| 51 | 95 | 945 | 58k| 945 | 58k| 381 | 0 |3978 |-4.500000e+01 |-4.000000e+01 | 12.50%
1788.08/1788.45 c 1788s| 13500 | 9249 | 1244k| 91.1 | 352M| 51 | 74 | 945 | 58k| 945 | 58k| 381 | 0 |3979 |-4.500000e+01 |-4.000000e+01 | 12.50%
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 : 13592
1796.68/1797.00 c Primal Bound : -4.00000000000000e+01 (636 solutions)
1796.68/1797.00 c Dual Bound : -4.50000000000000e+01
1796.68/1797.00 c Gap : 12.50 %
1796.68/1797.01 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
1796.68/1797.02 v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438
1796.68/1797.02 v -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459
1796.68/1797.02 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
1796.68/1797.02 v x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 x497 -x498 -x499 -x500 -x501
1796.68/1797.02 v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522
1796.68/1797.02 v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543
1796.68/1797.02 v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564
1796.68/1797.02 v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585
1796.68/1797.02 v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606
1796.68/1797.02 v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627
1796.68/1797.02 v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648
1796.68/1797.02 v -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 -x668 -x669
1796.68/1797.02 v -x670 -x671 -x672 x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690
1796.68/1797.02 v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 x707 -x708 -x709 -x710 -x711
1796.68/1797.02 v -x712 -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.70 (included in solving)
1796.68/1797.02 c reading : 0.12 (included in solving)
1796.68/1797.02 c copying : 0.70 (9 #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-3693272-1338031528.opb
1796.68/1797.02 c Variables : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.02 c Constraints : 58245 initial, 58245 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-3693272-1338031528.opb
1796.68/1797.02 c Variables : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.02 c Constraints : 58245 initial, 58245 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.20 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.29 0.00 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 11662 0 641 0 9 207 0 0 23094
1796.68/1797.02 c setppc : 58245 58245 38 57425 0 0 636 0 0 405109 0 0 0
1796.68/1797.02 c countsols : 0 0 0 0 0 0 639 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 : 338.89 0.00 0.00 0.00 338.88 0.00 0.01 0.00
1796.68/1797.02 c setppc : 12.87 0.00 0.13 11.69 0.00 0.00 1.06 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 : 8 0 0 0
1796.68/1797.02 c pseudoobj : 69037 0 0 0
1796.68/1797.02 c vbounds : 0 0 0 0
1796.68/1797.02 c redcost : 11726 0 0 28
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 : 6.41 0.02 0.00 6.40 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.20 0.00 0.20 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 37 - - 103 - (maximal pool size: 569)
1796.68/1797.02 c closecuts : 0.00 0.00 0 0 0 0 0
1796.68/1797.02 c impliedbounds : 0.03 0.00 38 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.64 0.00 20 0 0 10000 0
1796.68/1797.02 c cmir : 6.44 0.00 10 0 0 0 0
1796.68/1797.02 c flowcover : 6.93 0.00 10 0 0 0 0
1796.68/1797.02 c clique : 0.95 0.00 38 0 0 349 0
1796.68/1797.02 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.68/1797.02 c mcf : 0.03 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 : 338.86 0.00 11662 9 207 0 0 23094
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.07 0.00 9 1
1796.68/1797.02 c crossover : 2.50 0.00 8 3
1796.68/1797.02 c fracdiving : 130.43 0.00 185 20
1796.68/1797.02 c linesearchdiving : 50.43 0.00 189 30
1796.68/1797.02 c rootsoldiving : 35.02 0.00 95 97
1796.68/1797.02 c veclendiving : 163.10 0.00 190 16
1796.68/1797.02 c pscostdiving : 51.96 0.00 190 31
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.28 0.00 11700 72
1796.68/1797.02 c zirounding : 31.19 0.00 8601 172
1796.68/1797.02 c rounding : 13.83 0.00 4708 1
1796.68/1797.02 c shifting : 2.08 0.00 604 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 : 67.54 0.00 130 26
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 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 objpscostdiving : 71.01 0.00 96 146
1796.68/1797.02 c guideddiving : 70.17 0.00 101 18
1796.68/1797.02 c octane : 0.00 0.00 0 0
1796.68/1797.02 c rens : 2.05 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.08 6 0 0.00 0.00 0.08 6
1796.68/1797.02 c dual LP : 641.64 13953 804879 58.60 1254.41 2.36 217
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: 515.19 26782 446577 16.67 866.83
1796.68/1797.02 c strong branching : 336.96 3979 313953 78.90 931.72
1796.68/1797.02 c (at root node) : - 32 10564 330.12 -
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 : 13592
1796.68/1797.02 c nodes (total) : 13592
1796.68/1797.02 c nodes left : 9305
1796.68/1797.02 c max depth : 51
1796.68/1797.02 c max depth (total): 51
1796.68/1797.02 c backtracks : 2043 (15.0%)
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: 5.95
1796.68/1797.02 c switching time : 22.72
1796.68/1797.02 c Solution :
1796.68/1797.02 c Solutions found : 636 (10 improvements)
1796.68/1797.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.25 seconds, depth 0, found by <trivial>)
1796.68/1797.02 c Primal Bound : -4.00000000000000e+01 (in run 1, after 2153 nodes, 482.50 seconds, depth 36, found by <linesearchdiving>)
1796.68/1797.02 c Dual Bound : -4.50000000000000e+01
1796.68/1797.02 c Gap : 12.50 %
1796.68/1797.02 c Root Dual Bound : -4.53333333333333e+01
1796.68/1797.02 c Root Iterations : 13874
1796.88/1797.27 c Time complete: 1796.96.
OK -40
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-3693272-1338031528/watcher-3693272-1338031528 -o /tmp/evaluation-result-3693272-1338031528/solver-3693272-1338031528 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693272-1338031528.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.02 2.01 1.92 3/175 4593 /proc/meminfo: memFree=28974868/32873660 swapFree=7108/7108 [pid=4593] ppid=4591 vsize=10716 CPUtime=0 cores=0,2,4,6 /proc/4593/stat : 4593 (scip-2.1.1.4sfi) R 4591 4593 3226 0 -1 4202496 1441 0 0 0 0 0 0 0 20 0 1 0 269278526 10973184 1396 33554432000 4194304 10169799 140736297669472 140733770077384 7543003 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/4593/statm: 2679 1396 412 1459 0 1211 0 [startup+0.0270659 s] /proc/loadavg: 2.02 2.01 1.92 3/175 4593 /proc/meminfo: memFree=28974868/32873660 swapFree=7108/7108 [pid=4593] ppid=4591 vsize=14368 CPUtime=0.02 cores=0,2,4,6 /proc/4593/stat : 4593 (scip-2.1.1.4sfi) R 4591 4593 3226 0 -1 4202496 2347 0 0 0 2 0 0 0 20 0 1 0 269278526 14712832 2302 33554432000 4194304 10169799 140736297669472 140733770077384 7169628 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/4593/statm: 3592 2302 412 1459 0 2124 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 14368 [startup+0.10023 s] /proc/loadavg: 2.02 2.01 1.92 3/175 4593 /proc/meminfo: memFree=28974868/32873660 swapFree=7108/7108 [pid=4593] ppid=4591 vsize=24696 CPUtime=0.09 cores=0,2,4,6 /proc/4593/stat : 4593 (scip-2.1.1.4sfi) R 4591 4593 3226 0 -1 4202496 4920 0 0 0 9 0 0 0 20 0 1 0 269278526 25288704 4876 33554432000 4194304 10169799 140736297669472 140733770077384 7543003 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/4593/statm: 6174 4879 412 1459 0 4706 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 24696 [startup+0.300215 s] /proc/loadavg: 2.02 2.01 1.92 3/175 4593 /proc/meminfo: memFree=28974868/32873660 swapFree=7108/7108 [pid=4593] ppid=4591 vsize=79704 CPUtime=0.29 cores=0,2,4,6 /proc/4593/stat : 4593 (scip-2.1.1.4sfi) R 4591 4593 3226 0 -1 4202496 20651 0 0 0 25 4 0 0 20 0 1 0 269278526 81616896 18194 33554432000 4194304 10169799 140736297669472 140733770077384 8961143 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/4593/statm: 19926 18194 545 1459 0 18458 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 79704 [startup+0.700226 s] /proc/loadavg: 2.02 2.01 1.92 3/175 4593 /proc/meminfo: memFree=28974868/32873660 swapFree=7108/7108 [pid=4593] ppid=4591 vsize=105384 CPUtime=0.69 cores=0,2,4,6 /proc/4593/stat : 4593 (scip-2.1.1.4sfi) R 4591 4593 3226 0 -1 4202496 28432 0 0 0 59 10 0 0 20 0 1 0 269278526 107913216 24606 33554432000 4194304 10169799 140736297669472 140736297667624 4778944 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/4593/statm: 26346 24606 581 1459 0 24878 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 105384 [startup+1.50023 s] /proc/loadavg: 2.02 2.01 1.92 4/177 4595 /proc/meminfo: memFree=28659488/32873660 swapFree=7108/7108 [pid=4593] ppid=4591 vsize=187632 CPUtime=1.49 cores=0,2,4,6 /proc/4593/stat : 4593 (scip-2.1.1.4sfi) R 4591 4593 3226 0 -1 4202496 48094 0 0 0 137 12 0 0 20 0 1 0 269278526 192135168 44429 33554432000 4194304 10169799 140736297669472 140736297662712 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/4593/statm: 46908 44429 724 1459 0 45440 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 187632 [startup+3.1002 s] /proc/loadavg: 2.02 2.01 1.92 4/177 4595 /proc/meminfo: memFree=28521180/32873660 swapFree=7108/7108 [pid=4593] ppid=4591 vsize=187760 CPUtime=3.09 cores=0,2,4,6 /proc/4593/stat : 4593 (scip-2.1.1.4sfi) R 4591 4593 3226 0 -1 4202496 50173 0 0 0 294 15 0 0 20 0 1 0 269278526 192266240 42917 33554432000 4194304 10169799 140736297669472 140736297665464 7280659 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/4593/statm: 46940 42917 774 1459 0 45472 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 187760 [startup+6.30022 s] /proc/loadavg: 2.01 2.01 1.92 4/177 4595 /proc/meminfo: memFree=28483976/32873660 swapFree=7108/7108 [pid=4593] ppid=4591 vsize=190864 CPUtime=6.28 cores=0,2,4,6 /proc/4593/stat : 4593 (scip-2.1.1.4sfi) R 4591 4593 3226 0 -1 4202496 51331 0 0 0 613 15 0 0 20 0 1 0 269278526 195444736 44075 33554432000 4194304 10169799 140736297669472 140736297666008 7280653 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4593/statm: 47716 44075 774 1459 0 46248 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 190864 [startup+12.7002 s] /proc/loadavg: 2.01 2.01 1.92 4/177 4595 /proc/meminfo: memFree=28477528/32873660 swapFree=7108/7108 [pid=4593] ppid=4591 vsize=193216 CPUtime=12.68 cores=0,2,4,6 /proc/4593/stat : 4593 (scip-2.1.1.4sfi) R 4591 4593 3226 0 -1 4202496 52055 0 0 0 1253 15 0 0 20 0 1 0 269278526 197853184 45310 33554432000 4194304 10169799 140736297669472 140736297665784 7280655 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4593/statm: 48304 45310 774 1459 0 46836 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 193216 [startup+25.5002 s] /proc/loadavg: 2.01 2.01 1.92 4/177 4595 /proc/meminfo: memFree=28471772/32873660 swapFree=7108/7108 [pid=4593] ppid=4591 vsize=195996 CPUtime=25.48 cores=0,2,4,6 /proc/4593/stat : 4593 (scip-2.1.1.4sfi) R 4591 4593 3226 0 -1 4202496 56481 0 0 0 2530 18 0 0 20 0 1 0 269278526 200699904 47000 33554432000 4194304 10169799 140736297669472 140736297663880 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4593/statm: 48999 47000 774 1459 0 47531 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 195996 [startup+51.1004 s] /proc/loadavg: 2.06 2.02 1.93 4/177 4595 /proc/meminfo: memFree=28447316/32873660 swapFree=7108/7108 [pid=4593] ppid=4591 vsize=217424 CPUtime=51.08 cores=0,2,4,6 /proc/4593/stat : 4593 (scip-2.1.1.4sfi) R 4591 4593 3226 0 -1 4202496 68669 0 0 0 5080 28 0 0 20 0 1 0 269278526 222642176 53007 33554432000 4194304 10169799 140736297669472 140736297663880 7978034 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4593/statm: 54356 53007 823 1459 0 52888 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 217424 [startup+102.307 s] /proc/loadavg: 2.07 2.03 1.93 4/178 4596 /proc/meminfo: memFree=28389840/32873660 swapFree=7108/7108 [pid=4593] ppid=4591 vsize=217424 CPUtime=102.28 cores=0,2,4,6 /proc/4593/stat : 4593 (scip-2.1.1.4sfi) R 4591 4593 3226 0 -1 4202496 68669 0 0 0 10192 36 0 0 20 0 1 0 269278526 222642176 53007 33554432000 4194304 10169799 140736297669472 140736297664456 8048560 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4593/statm: 54356 53007 823 1459 0 52888 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 217424 [startup+162.3 s] /proc/loadavg: 2.02 2.02 1.93 4/177 4597 /proc/meminfo: memFree=28387956/32873660 swapFree=7108/7108 [pid=4593] ppid=4591 vsize=217424 CPUtime=162.26 cores=0,2,4,6 /proc/4593/stat : 4593 (scip-2.1.1.4sfi) R 4591 4593 3226 0 -1 4202496 68669 0 0 0 16179 47 0 0 20 0 1 0 269278526 222642176 53007 33554432000 4194304 10169799 140736297669472 140736297664040 8044948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4593/statm: 54356 53007 823 1459 0 52888 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 217424 [startup+222.3 s] /proc/loadavg: 2.01 2.02 1.93 4/177 4597 /proc/meminfo: memFree=28387256/32873660 swapFree=7108/7108 [pid=4593] ppid=4591 vsize=217424 CPUtime=222.25 cores=0,2,4,6 /proc/4593/stat : 4593 (scip-2.1.1.4sfi) R 4591 4593 3226 0 -1 4202496 80161 0 0 0 22164 61 0 0 20 0 1 0 269278526 222642176 53040 33554432000 4194304 10169799 140736297669472 140736297664344 8009680 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4593/statm: 54356 53040 823 1459 0 52888 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 217424 [startup+282.3 s] /proc/loadavg: 2.00 2.01 1.93 4/178 4600 /proc/meminfo: memFree=28385868/32873660 swapFree=7108/7108 [pid=4593] ppid=4591 vsize=224720 CPUtime=282.23 cores=0,2,4,6 /proc/4593/stat : 4593 (scip-2.1.1.4sfi) R 4591 4593 3226 0 -1 4202496 95654 0 0 0 28147 76 0 0 20 0 1 0 269278526 230113280 53674 33554432000 4194304 10169799 140736297669472 140736297663880 7929392 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4593/statm: 56180 53674 827 1459 0 54712 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 224720 [startup+342.3 s] /proc/loadavg: 2.00 2.00 1.93 4/177 4600 /proc/meminfo: memFree=28373324/32873660 swapFree=7108/7108 [pid=4593] ppid=4591 vsize=233904 CPUtime=342.21 cores=0,2,4,6 /proc/4593/stat : 4593 (scip-2.1.1.4sfi) R 4591 4593 3226 0 -1 4202496 97937 0 0 0 34137 84 0 0 20 0 1 0 269278526 239517696 56643 33554432000 4194304 10169799 140736297669472 140736297663880 8009605 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4593/statm: 58476 56643 827 1459 0 57008 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 233904 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.93 4/177 4600 /proc/meminfo: memFree=28363028/32873660 swapFree=7108/7108 [pid=4593] ppid=4591 vsize=246156 CPUtime=402.21 cores=0,2,4,6 /proc/4593/stat : 4593 (scip-2.1.1.4sfi) R 4591 4593 3226 0 -1 4202496 100689 0 0 0 40125 96 0 0 20 0 1 0 269278526 252063744 59368 33554432000 4194304 10169799 140736297669472 140736297665448 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4593/statm: 61539 59368 827 1459 0 60071 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 246156 [startup+462.3 s] /proc/loadavg: 2.00 2.00 1.93 4/177 4601 /proc/meminfo: memFree=28353976/32873660 swapFree=7108/7108 [pid=4593] ppid=4591 vsize=254476 CPUtime=462.19 cores=0,2,4,6 /proc/4593/stat : 4593 (scip-2.1.1.4sfi) R 4591 4593 3226 0 -1 4202496 119538 0 0 0 46103 116 0 0 20 0 1 0 269278526 260583424 61525 33554432000 4194304 10169799 140736297669472 140736297664456 7912867 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4593/statm: 63619 61525 827 1459 0 62151 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 254476 [startup+522.3 s] /proc/loadavg: 2.00 2.00 1.93 4/177 4601 /proc/meminfo: memFree=28320744/32873660 swapFree=7108/7108 [pid=4593] ppid=4591 vsize=261904 CPUtime=522.18 cores=0,2,4,6 /proc/4593/stat : 4593 (scip-2.1.1.4sfi) R 4591 4593 3226 0 -1 4202496 121375 0 0 0 52092 126 0 0 20 0 1 0 269278526 268189696 63362 33554432000 4194304 10169799 140736297669472 140736297663864 8004362 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4593/statm: 65476 63362 827 1459 0 64008 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 261904 [startup+582.3 s] /proc/loadavg: 2.04 2.01 1.94 4/177 4601 /proc/meminfo: memFree=28310204/32873660 swapFree=7108/7108 [pid=4593] ppid=4591 vsize=270008 CPUtime=582.17 cores=0,2,4,6 /proc/4593/stat : 4593 (scip-2.1.1.4sfi) R 4591 4593 3226 0 -1 4202496 123773 0 0 0 58077 140 0 0 20 0 1 0 269278526 276488192 65751 33554432000 4194304 10169799 140736297669472 140736297664264 6865961 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4593/statm: 67502 65751 827 1459 0 66034 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 270008 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=28214004/32873660 swapFree=7108/7108 [pid=4593] ppid=4591 vsize=354972 CPUtime=1122.08 cores=0,2,4,6 /proc/4593/stat : 4593 (scip-2.1.1.4sfi) R 4591 4593 3226 0 -1 4202496 207339 0 0 0 111947 261 0 0 20 0 1 0 269278526 363491328 86101 33554432000 4194304 10169799 140736297669472 140736297663272 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4593/statm: 88743 86101 827 1459 0 87275 0 Current children cumulated CPU time (s) 1122.08 Current children cumulated vsize (KiB) 354972 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.95 4/177 4606 /proc/meminfo: memFree=28194908/32873660 swapFree=7108/7108 [pid=4593] ppid=4591 vsize=367108 CPUtime=1182.07 cores=0,2,4,6 /proc/4593/stat : 4593 (scip-2.1.1.4sfi) R 4591 4593 3226 0 -1 4202496 210891 0 0 0 117934 273 0 0 20 0 1 0 269278526 375918592 89630 33554432000 4194304 10169799 140736297669472 140736297664248 7703337 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4593/statm: 91777 89630 827 1459 0 90309 0 Current children cumulated CPU time (s) 1182.07 Current children cumulated vsize (KiB) 367108 [startup+1242.3 s] /proc/loadavg: 2.06 2.02 1.95 4/176 4606 /proc/meminfo: memFree=28177492/32873660 swapFree=7108/7108 [pid=4593] ppid=4591 vsize=375780 CPUtime=1242.07 cores=0,2,4,6 /proc/4593/stat : 4593 (scip-2.1.1.4sfi) R 4591 4593 3226 0 -1 4202496 213415 0 0 0 123921 286 0 0 20 0 1 0 269278526 384798720 92144 33554432000 4194304 10169799 140736297669472 140736297664264 8844031 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4593/statm: 93945 92144 827 1459 0 92477 0 Current children cumulated CPU time (s) 1242.07 Current children cumulated vsize (KiB) 375780 [startup+1302.3 s] /proc/loadavg: 2.02 2.01 1.95 4/177 4607 /proc/meminfo: memFree=28166188/32873660 swapFree=7108/7108 [pid=4593] ppid=4591 vsize=383892 CPUtime=1302.06 cores=0,2,4,6 /proc/4593/stat : 4593 (scip-2.1.1.4sfi) R 4591 4593 3226 0 -1 4202496 215444 0 0 0 129910 296 0 0 20 0 1 0 269278526 393105408 94173 33554432000 4194304 10169799 140736297669472 140736297664296 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4593/statm: 95973 94173 827 1459 0 94505 0 Current children cumulated CPU time (s) 1302.06 Current children cumulated vsize (KiB) 383892 [startup+1362.3 s] /proc/loadavg: 2.14 2.05 1.97 4/177 4608 /proc/meminfo: memFree=28148616/32873660 swapFree=7108/7108 [pid=4593] ppid=4591 vsize=400828 CPUtime=1362.05 cores=0,2,4,6 /proc/4593/stat : 4593 (scip-2.1.1.4sfi) R 4591 4593 3226 0 -1 4202496 219280 0 0 0 135898 307 0 0 20 0 1 0 269278526 410447872 98004 33554432000 4194304 10169799 140736297669472 140736297664264 7909150 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4593/statm: 100207 98004 827 1459 0 98739 0 Current children cumulated CPU time (s) 1362.05 Current children cumulated vsize (KiB) 400828 [startup+1422.31 s] /proc/loadavg: 2.13 2.07 1.98 4/177 4608 /proc/meminfo: memFree=28136960/32873660 swapFree=7108/7108 [pid=4593] ppid=4591 vsize=405896 CPUtime=1422.05 cores=0,2,4,6 /proc/4593/stat : 4593 (scip-2.1.1.4sfi) R 4591 4593 3226 0 -1 4202496 220819 0 0 0 141886 319 0 0 20 0 1 0 269278526 415637504 99543 33554432000 4194304 10169799 140736297669472 140736297664008 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4593/statm: 101474 99543 827 1459 0 100006 0 Current children cumulated CPU time (s) 1422.05 Current children cumulated vsize (KiB) 405896 [startup+1482.3 s] /proc/loadavg: 2.13 2.07 1.98 4/178 4611 /proc/meminfo: memFree=28123248/32873660 swapFree=7108/7108 [pid=4593] ppid=4591 vsize=418272 CPUtime=1482.03 cores=0,2,4,6 /proc/4593/stat : 4593 (scip-2.1.1.4sfi) R 4591 4593 3226 0 -1 4202496 238546 0 0 0 147867 336 0 0 20 0 1 0 269278526 428310528 102330 33554432000 4194304 10169799 140736297669472 140736297664264 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4593/statm: 104568 102330 827 1459 0 103100 0 Current children cumulated CPU time (s) 1482.03 Current children cumulated vsize (KiB) 418272 [startup+1542.3 s] /proc/loadavg: 2.04 2.05 1.98 4/177 4611 /proc/meminfo: memFree=28100500/32873660 swapFree=7108/7108 [pid=4593] ppid=4591 vsize=433064 CPUtime=1542.02 cores=0,2,4,6 /proc/4593/stat : 4593 (scip-2.1.1.4sfi) R 4591 4593 3226 0 -1 4202496 242479 0 0 0 153855 347 0 0 20 0 1 0 269278526 443457536 106403 33554432000 4194304 10169799 140736297669472 140736297663608 7703337 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4593/statm: 108266 106403 827 1459 0 106798 0 Current children cumulated CPU time (s) 1542.02 Current children cumulated vsize (KiB) 433064 [startup+1602.3 s] /proc/loadavg: 2.06 2.06 1.99 4/177 4611 /proc/meminfo: memFree=28083376/32873660 swapFree=7108/7108 [pid=4593] ppid=4591 vsize=448336 CPUtime=1602.01 cores=0,2,4,6 /proc/4593/stat : 4593 (scip-2.1.1.4sfi) R 4591 4593 3226 0 -1 4202496 245663 0 0 0 159843 358 0 0 20 0 1 0 269278526 459096064 109818 33554432000 4194304 10169799 140736297669472 140736297664072 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4593/statm: 112084 109818 827 1459 0 110616 0 Current children cumulated CPU time (s) 1602.01 Current children cumulated vsize (KiB) 448336 [startup+1662.3 s] /proc/loadavg: 2.02 2.04 1.99 4/177 4612 /proc/meminfo: memFree=28068372/32873660 swapFree=7108/7108 [pid=4593] ppid=4591 vsize=456204 CPUtime=1662 cores=0,2,4,6 /proc/4593/stat : 4593 (scip-2.1.1.4sfi) R 4591 4593 3226 0 -1 4202496 247830 0 0 0 165831 369 0 0 20 0 1 0 269278526 467152896 111945 33554432000 4194304 10169799 140736297669472 140736297665992 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4593/statm: 114051 111945 827 1459 0 112583 0 Current children cumulated CPU time (s) 1662 Current children cumulated vsize (KiB) 456204 [startup+1722.3 s] /proc/loadavg: 2.01 2.03 1.99 4/177 4612 /proc/meminfo: memFree=28054172/32873660 swapFree=7108/7108 [pid=4593] ppid=4591 vsize=466456 CPUtime=1721.99 cores=0,2,4,6 /proc/4593/stat : 4593 (scip-2.1.1.4sfi) R 4591 4593 3226 0 -1 4202496 250529 0 0 0 171818 381 0 0 20 0 1 0 269278526 477650944 114612 33554432000 4194304 10169799 140736297669472 140736297663928 7893601 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4593/statm: 116614 114612 827 1459 0 115146 0 Current children cumulated CPU time (s) 1721.99 Current children cumulated vsize (KiB) 466456 [startup+1782.3 s] /proc/loadavg: 2.00 2.03 1.99 4/177 4612 /proc/meminfo: memFree=28039024/32873660 swapFree=7108/7108 [pid=4593] ppid=4591 vsize=478768 CPUtime=1781.98 cores=0,2,4,6 /proc/4593/stat : 4593 (scip-2.1.1.4sfi) R 4591 4593 3226 0 -1 4202496 253514 0 0 0 177804 394 0 0 20 0 1 0 269278526 490258432 117590 33554432000 4194304 10169799 140736297669472 140736297663944 7907760 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4593/statm: 119692 117590 827 1459 0 118224 0 Current children cumulated CPU time (s) 1781.98 Current children cumulated vsize (KiB) 478768 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.02 1.99 4/177 4612 /proc/meminfo: memFree=28038028/32873660 swapFree=7108/7108 [pid=4593] ppid=4591 vsize=478768 CPUtime=1785.17 cores=0,2,4,6 /proc/4593/stat : 4593 (scip-2.1.1.4sfi) R 4591 4593 3226 0 -1 4202496 253592 0 0 0 178123 394 0 0 20 0 1 0 269278526 490258432 117668 33554432000 4194304 10169799 140736297669472 140736297665992 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4593/statm: 119692 117668 827 1459 0 118224 0 Current children cumulated CPU time (s) 1785.17 Current children cumulated vsize (KiB) 478768 [startup+1791.91 s] /proc/loadavg: 2.00 2.02 1.99 4/177 4612 /proc/meminfo: memFree=28036540/32873660 swapFree=7108/7108 [pid=4593] ppid=4591 vsize=478768 CPUtime=1791.58 cores=0,2,4,6 /proc/4593/stat : 4593 (scip-2.1.1.4sfi) R 4591 4593 3226 0 -1 4202496 253763 0 0 0 178763 395 0 0 20 0 1 0 269278526 490258432 117839 33554432000 4194304 10169799 140736297669472 140736297664264 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4593/statm: 119692 117839 827 1459 0 118224 0 Current children cumulated CPU time (s) 1791.58 Current children cumulated vsize (KiB) 478768 [startup+1795.1 s] /proc/loadavg: 2.00 2.02 1.99 4/177 4612 /proc/meminfo: memFree=28036044/32873660 swapFree=7108/7108 [pid=4593] ppid=4591 vsize=479540 CPUtime=1794.78 cores=0,2,4,6 /proc/4593/stat : 4593 (scip-2.1.1.4sfi) R 4591 4593 3226 0 -1 4202496 253896 0 0 0 179083 395 0 0 20 0 1 0 269278526 491048960 117972 33554432000 4194304 10169799 140736297669472 140736297667992 8004399 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4593/statm: 119885 117972 827 1459 0 118417 0 Current children cumulated CPU time (s) 1794.78 Current children cumulated vsize (KiB) 479540 [startup+1795.9 s] /proc/loadavg: 2.00 2.02 1.99 4/177 4612 /proc/meminfo: memFree=28036044/32873660 swapFree=7108/7108 [pid=4593] ppid=4591 vsize=479540 CPUtime=1795.57 cores=0,2,4,6 /proc/4593/stat : 4593 (scip-2.1.1.4sfi) R 4591 4593 3226 0 -1 4202496 253940 0 0 0 179162 395 0 0 20 0 1 0 269278526 491048960 118016 33554432000 4194304 10169799 140736297669472 140736297667992 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4593/statm: 119885 118016 827 1459 0 118417 0 Current children cumulated CPU time (s) 1795.57 Current children cumulated vsize (KiB) 479540 [startup+1796.7 s] /proc/loadavg: 2.00 2.02 1.99 4/177 4612 /proc/meminfo: memFree=28036044/32873660 swapFree=7108/7108 [pid=4593] ppid=4591 vsize=479540 CPUtime=1796.38 cores=0,2,4,6 /proc/4593/stat : 4593 (scip-2.1.1.4sfi) R 4591 4593 3226 0 -1 4202496 253991 0 0 0 179242 396 0 0 20 0 1 0 269278526 491048960 118067 33554432000 4194304 10169799 140736297669472 140736297663352 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4593/statm: 119885 118067 827 1459 0 118417 0 Current children cumulated CPU time (s) 1796.38 Current children cumulated vsize (KiB) 479540 [startup+1797.1 s] /proc/loadavg: 2.00 2.02 1.99 4/177 4612 /proc/meminfo: memFree=28036044/32873660 swapFree=7108/7108 [pid=4593] ppid=4591 vsize=479540 CPUtime=1796.78 cores=0,2,4,6 /proc/4593/stat : 4593 (scip-2.1.1.4sfi) R 4591 4593 3226 0 -1 4202496 253998 0 0 0 179282 396 0 0 20 0 1 0 269278526 491048960 118074 33554432000 4194304 10169799 140736297669472 140736297663352 4926032 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/4593/statm: 119885 118074 829 1459 0 118417 0 Current children cumulated CPU time (s) 1796.78 Current children cumulated vsize (KiB) 479540 [startup+1797.2 s] /proc/loadavg: 2.00 2.02 1.99 4/177 4612 /proc/meminfo: memFree=28036044/32873660 swapFree=7108/7108 [pid=4593] ppid=4591 vsize=476096 CPUtime=1796.88 cores=0,2,4,6 /proc/4593/stat : 4593 (scip-2.1.1.4sfi) R 4591 4593 3226 0 -1 4202496 253998 0 0 0 179292 396 0 0 20 0 1 0 269278526 487522304 117213 33554432000 4194304 10169799 140736297669472 140736297663352 8989847 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/4593/statm: 119024 117213 829 1459 0 117556 0 Current children cumulated CPU time (s) 1796.88 Current children cumulated vsize (KiB) 476096 Child status: 0 Real time (s): 1797.28 CPU time (s): 1796.96 CPU user time (s): 1792.99 CPU system time (s): 3.9714 CPU usage (%): 99.9826 Max. virtual memory (cumulated for all children) (KiB): 479540 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.99 system time used= 3.9714 maximum resident set size= 472296 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 254000 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= 44 involuntary context switches= 1882 runsolver used 5.73513 second user time and 15.2037 second system time The end
Begin job on node117 at 2012-05-26 13:25:28 IDJOB=3693272 IDBENCH=2250 IDSOLVER=2272 FILE ID=node117/3693272-1338031528 RUNJOBID= node117-1338029730-4452 PBS_JOBID= 14624354 Free space on /tmp= 71508 MiB SOLVER NAME= SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb COMMAND LINE= HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3693272-1338031528/watcher-3693272-1338031528 -o /tmp/evaluation-result-3693272-1338031528/solver-3693272-1338031528 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693272-1338031528.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 49f1950e042362832bbb830f499dd3e3 RANDOM SEED=187454939 node117.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 : 2667.148 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 : 5334.29 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 : 2667.148 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 : 2667.148 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 : 5331.91 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 : 2667.148 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.95 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 : 2667.148 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.91 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 : 2667.148 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.91 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 : 2667.148 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.91 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 : 2667.148 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: 32873660 kB MemFree: 28978652 kB Buffers: 261796 kB Cached: 2838200 kB SwapCached: 0 kB Active: 588148 kB Inactive: 2523496 kB Active(anon): 13876 kB Inactive(anon): 0 kB Active(file): 574272 kB Inactive(file): 2523496 kB Unevictable: 7108 kB Mlocked: 7108 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 31104 kB Writeback: 0 kB AnonPages: 176088 kB Mapped: 13952 kB Shmem: 200 kB Slab: 643868 kB SReclaimable: 88460 kB SUnreclaim: 555408 kB KernelStack: 1472 kB PageTables: 3616 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545684 kB Committed_AS: 106248 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 157696 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= 71480 MiB End job on node117 at 2012-05-26 13:55:25