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-3691332-1338024410.opb>
0.00/0.01 c original problem has 462 variables (462 bin, 0 int, 0 impl, 0 cont) and 5852 constraints
0.00/0.01 c problem read in 0.01
0.00/0.03 o 0
0.00/0.03 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.03 c presolving:
0.06/0.08 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 5852 upgd conss, 11704 impls, 0 clqs
0.09/0.10 c (0.1s) probing: 51/462 (11.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.10 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.10 c presolving (2 rounds):
0.09/0.10 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.10 c 11704 implications, 0 cliques
0.09/0.10 c presolved problem has 462 variables (462 bin, 0 int, 0 impl, 0 cont) and 5852 constraints
0.09/0.10 c 5852 constraints of type <setppc>
0.09/0.10 c transformed objective value is always integral (scale: 1)
0.09/0.10 c Presolving Time: 0.08
0.09/0.10 c - non default parameters ----------------------------------------------------------------------
0.09/0.10 c # SCIP version 2.1.1.4
0.09/0.10 c
0.09/0.10 c # maximal time in seconds to run
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/time = 1797
0.09/0.10 c
0.09/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/memory = 13950
0.09/0.10 c
0.09/0.10 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.10 c # [type: int, range: [1,2], default: 1]
0.09/0.10 c timing/clocktype = 2
0.09/0.10 c
0.09/0.10 c # belongs reading time to solving time?
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c timing/reading = TRUE
0.09/0.10 c
0.09/0.10 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.10 c separating/rapidlearning/freq = 0
0.09/0.10 c
0.09/0.10 c -----------------------------------------------------------------------------------------------
0.09/0.10 c start solving
0.09/0.11 c
0.09/0.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.15 c t 0.2s| 1 | 0 | 462 | - |7969k| 0 | 462 | 462 |5852 | 462 |5852 | 0 | 0 | 0 |-2.310000e+02 | 0.000000e+00 | Inf
0.09/0.16 o -1
0.09/0.16 c R 0.2s| 1 | 0 | 462 | - |7976k| 0 | 462 | 462 |5852 | 462 |5852 | 0 | 0 | 0 |-2.310000e+02 |-1.000000e+00 | Large
0.09/0.17 o -2
0.09/0.17 c s 0.2s| 1 | 0 | 462 | - |7981k| 0 | 462 | 462 |5852 | 462 |5852 | 0 | 0 | 0 |-2.310000e+02 |-2.000000e+00 | Large
0.29/0.37 o -46
0.29/0.37 c y 0.4s| 1 | 0 | 462 | - |8236k| 0 | 462 | 462 |5852 | 462 |5852 | 0 | 0 | 0 |-2.310000e+02 |-4.600000e+01 | 402.17%
0.39/0.42 c 0.4s| 1 | 0 | 652 | - |7993k| 0 | 435 | 462 |5852 | 462 |5859 | 7 | 0 | 0 |-2.175000e+02 |-4.600000e+01 | 372.83%
0.49/0.52 c 0.5s| 1 | 0 | 838 | - |8022k| 0 | 403 | 462 |5852 | 462 |5875 | 23 | 0 | 0 |-2.015000e+02 |-4.600000e+01 | 338.04%
0.59/0.66 c 0.7s| 1 | 0 | 1234 | - |8040k| 0 | 378 | 462 |5852 | 462 |5892 | 40 | 0 | 0 |-1.882500e+02 |-4.600000e+01 | 309.24%
0.69/0.77 c 0.8s| 1 | 0 | 1410 | - |8073k| 0 | 362 | 462 |5852 | 462 |5907 | 55 | 0 | 0 |-1.802500e+02 |-4.600000e+01 | 291.85%
0.79/0.86 c 0.9s| 1 | 0 | 1537 | - |8118k| 0 | 344 | 462 |5852 | 462 |5922 | 70 | 0 | 0 |-1.712500e+02 |-4.600000e+01 | 272.28%
0.89/0.96 c 1.0s| 1 | 0 | 1783 | - |8160k| 0 | 326 | 462 |5852 | 462 |5938 | 86 | 0 | 0 |-1.630000e+02 |-4.600000e+01 | 254.35%
0.99/1.06 c 1.1s| 1 | 0 | 2010 | - |8213k| 0 | 310 | 462 |5852 | 462 |5957 | 105 | 0 | 0 |-1.542500e+02 |-4.600000e+01 | 235.33%
1.19/1.20 c 1.2s| 1 | 0 | 2431 | - |8262k| 0 | 292 | 462 |5852 | 462 |5975 | 123 | 0 | 0 |-1.460000e+02 |-4.600000e+01 | 217.39%
1.29/1.33 c 1.3s| 1 | 0 | 2847 | - |8294k| 0 | 284 | 462 |5852 | 462 |5994 | 142 | 0 | 0 |-1.372500e+02 |-4.600000e+01 | 198.37%
1.39/1.45 c 1.5s| 1 | 0 | 3216 | - |8338k| 0 | 276 | 462 |5852 | 462 |6011 | 159 | 0 | 0 |-1.315000e+02 |-4.600000e+01 | 185.87%
1.48/1.58 c 1.6s| 1 | 0 | 3786 | - |8508k| 0 | 257 | 462 |5852 | 462 |6031 | 180 | 0 | 0 |-1.252500e+02 |-4.600000e+01 | 172.28%
1.58/1.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.58/1.65 c 1.7s| 1 | 0 | 4024 | - |8553k| 0 | 244 | 462 |5852 | 462 |6046 | 195 | 0 | 0 |-1.222500e+02 |-4.600000e+01 | 165.76%
1.79/1.83 c 1.8s| 1 | 0 | 4906 | - |8635k| 0 | 246 | 462 |5852 | 462 |6062 | 211 | 0 | 0 |-1.172500e+02 |-4.600000e+01 | 154.89%
1.89/1.94 c 1.9s| 1 | 0 | 5350 | - |8727k| 0 | 241 | 462 |5852 | 462 |6079 | 228 | 0 | 0 |-1.141667e+02 |-4.600000e+01 | 148.19%
2.09/2.16 c 2.2s| 1 | 0 | 6484 | - |9025k| 0 | 228 | 462 |5852 | 462 |6090 | 239 | 0 | 0 |-1.115000e+02 |-4.600000e+01 | 142.39%
2.39/2.44 c 2.4s| 1 | 0 | 7845 | - |9053k| 0 | 231 | 462 |5852 | 462 |6104 | 253 | 0 | 0 |-1.089167e+02 |-4.600000e+01 | 136.78%
2.48/2.55 c 2.6s| 1 | 0 | 8158 | - |9223k| 0 | 231 | 462 |5852 | 462 |6085 | 267 | 0 | 0 |-1.062500e+02 |-4.600000e+01 | 130.98%
2.69/2.77 c 2.8s| 1 | 0 | 9168 | - |9694k| 0 | 211 | 462 |5852 | 462 |6098 | 280 | 0 | 0 |-1.037500e+02 |-4.600000e+01 | 125.54%
2.89/2.97 c 3.0s| 1 | 0 | 10069 | - |9710k| 0 | 287 | 462 |5852 | 462 |6107 | 289 | 0 | 0 |-1.018056e+02 |-4.600000e+01 | 121.32%
3.20/3.21 c 3.2s| 1 | 0 | 11148 | - | 10M| 0 | 279 | 462 |5852 | 462 |6118 | 300 | 0 | 0 |-1.003333e+02 |-4.600000e+01 | 118.12%
3.30/3.34 c 3.3s| 1 | 0 | 11852 | - | 10M| 0 | 229 | 462 |5852 | 462 |6125 | 307 | 0 | 0 |-9.958333e+01 |-4.600000e+01 | 116.49%
3.49/3.50 c 3.5s| 1 | 0 | 12675 | - | 10M| 0 | 252 | 462 |5852 | 462 |6133 | 315 | 0 | 0 |-9.760771e+01 |-4.600000e+01 | 112.19%
3.49/3.59 c 3.6s| 1 | 0 | 13120 | - | 10M| 0 | 263 | 462 |5852 | 462 |6085 | 319 | 0 | 0 |-9.695264e+01 |-4.600000e+01 | 110.77%
3.69/3.74 c 3.7s| 1 | 0 | 13804 | - | 10M| 0 | 257 | 462 |5852 | 462 |6092 | 326 | 0 | 0 |-9.474383e+01 |-4.600000e+01 | 105.96%
3.79/3.83 c 3.8s| 1 | 0 | 14220 | - | 10M| 0 | 247 | 462 |5852 | 462 |6102 | 336 | 0 | 0 |-9.347222e+01 |-4.600000e+01 | 103.20%
3.99/4.02 c 4.0s| 1 | 0 | 15126 | - | 10M| 0 | 239 | 462 |5852 | 462 |6108 | 342 | 0 | 0 |-9.191667e+01 |-4.600000e+01 | 99.82%
4.19/4.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.19/4.28 c 4.3s| 1 | 0 | 16424 | - | 10M| 0 | 258 | 462 |5852 | 462 |6114 | 348 | 0 | 0 |-9.119936e+01 |-4.600000e+01 | 98.26%
4.39/4.42 c 4.4s| 1 | 0 | 17026 | - | 10M| 0 | 239 | 462 |5852 | 462 |6126 | 360 | 0 | 0 |-8.971026e+01 |-4.600000e+01 | 95.02%
4.48/4.55 c 4.6s| 1 | 0 | 17594 | - | 10M| 0 | 248 | 462 |5852 | 462 |6083 | 365 | 0 | 0 |-8.843552e+01 |-4.600000e+01 | 92.25%
4.58/4.62 c 4.6s| 1 | 0 | 17872 | - | 10M| 0 | 253 | 462 |5852 | 462 |6089 | 371 | 0 | 0 |-8.798921e+01 |-4.600000e+01 | 91.28%
4.68/4.76 c 4.8s| 1 | 0 | 18493 | - | 10M| 0 | 263 | 462 |5852 | 462 |6097 | 379 | 0 | 0 |-8.746912e+01 |-4.600000e+01 | 90.15%
4.79/4.86 c 4.9s| 1 | 0 | 18897 | - | 10M| 0 | 265 | 462 |5852 | 462 |6104 | 386 | 0 | 0 |-8.708809e+01 |-4.600000e+01 | 89.32%
4.89/4.99 c 5.0s| 1 | 0 | 19434 | - | 10M| 0 | 268 | 462 |5852 | 462 |6113 | 395 | 0 | 0 |-8.612702e+01 |-4.600000e+01 | 87.23%
5.09/5.14 c 5.1s| 1 | 0 | 20010 | - | 10M| 0 | 272 | 462 |5852 | 462 |6122 | 404 | 0 | 0 |-8.530897e+01 |-4.600000e+01 | 85.45%
5.29/5.30 c 5.3s| 1 | 0 | 20632 | - | 10M| 0 | 269 | 462 |5852 | 462 |6108 | 414 | 0 | 0 |-8.445210e+01 |-4.600000e+01 | 83.59%
5.29/5.39 c 5.4s| 1 | 0 | 20988 | - | 10M| 0 | 276 | 462 |5852 | 462 |6113 | 419 | 0 | 0 |-8.385111e+01 |-4.600000e+01 | 82.29%
5.69/5.70 c 5.7s| 1 | 0 | 22217 | - | 10M| 0 | 265 | 462 |5852 | 462 |6121 | 427 | 0 | 0 |-8.253545e+01 |-4.600000e+01 | 79.42%
5.88/5.90 c 5.9s| 1 | 0 | 22985 | - | 10M| 0 | 269 | 462 |5852 | 462 |6132 | 438 | 0 | 0 |-8.121773e+01 |-4.600000e+01 | 76.56%
5.98/6.06 c 6.1s| 1 | 0 | 23635 | - | 10M| 0 | 277 | 462 |5852 | 462 |6138 | 444 | 0 | 0 |-8.057077e+01 |-4.600000e+01 | 75.15%
6.18/6.23 c 6.2s| 1 | 0 | 24287 | - | 10M| 0 | 277 | 462 |5852 | 462 |6146 | 452 | 0 | 0 |-8.003718e+01 |-4.600000e+01 | 73.99%
6.38/6.41 c 6.4s| 1 | 0 | 24979 | - | 10M| 0 | 278 | 462 |5852 | 462 |6138 | 459 | 0 | 0 |-7.937705e+01 |-4.600000e+01 | 72.56%
6.60/6.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.60/6.62 c 6.6s| 1 | 0 | 25758 | - | 10M| 0 | 274 | 462 |5852 | 462 |6149 | 470 | 0 | 0 |-7.880668e+01 |-4.600000e+01 | 71.32%
6.89/6.91 c 6.9s| 1 | 0 | 26924 | - | 10M| 0 | 279 | 462 |5852 | 462 |6158 | 479 | 0 | 0 |-7.749169e+01 |-4.600000e+01 | 68.46%
6.99/7.06 c 7.1s| 1 | 0 | 27448 | - | 10M| 0 | 277 | 462 |5852 | 462 |6166 | 487 | 0 | 0 |-7.700466e+01 |-4.600000e+01 | 67.40%
7.19/7.28 c 7.3s| 1 | 0 | 28300 | - | 10M| 0 | 272 | 462 |5852 | 462 |6171 | 492 | 0 | 0 |-7.636239e+01 |-4.600000e+01 | 66.01%
7.39/7.45 c 7.5s| 1 | 0 | 28959 | - | 10M| 0 | 273 | 462 |5852 | 462 |6179 | 500 | 0 | 0 |-7.589836e+01 |-4.600000e+01 | 65.00%
7.59/7.68 c 7.7s| 1 | 0 | 29827 | - | 10M| 0 | 276 | 462 |5852 | 462 |6171 | 509 | 0 | 0 |-7.490180e+01 |-4.600000e+01 | 62.83%
7.78/7.88 c 7.9s| 1 | 0 | 30590 | - | 10M| 0 | 276 | 462 |5852 | 462 |6178 | 516 | 0 | 0 |-7.429691e+01 |-4.600000e+01 | 61.52%
8.09/8.18 c 8.2s| 1 | 0 | 31783 | - | 10M| 0 | 262 | 462 |5852 | 462 |6185 | 523 | 0 | 0 |-7.319820e+01 |-4.600000e+01 | 59.13%
8.29/8.36 c 8.4s| 1 | 0 | 32444 | - | 10M| 0 | 266 | 462 |5852 | 462 |6190 | 528 | 0 | 0 |-7.287040e+01 |-4.600000e+01 | 58.41%
8.49/8.54 c 8.5s| 1 | 0 | 33106 | - | 10M| 0 | 277 | 462 |5852 | 462 |6199 | 537 | 0 | 0 |-7.235723e+01 |-4.600000e+01 | 57.30%
8.69/8.71 c 8.7s| 1 | 0 | 33737 | - | 10M| 0 | 283 | 462 |5852 | 462 |6209 | 547 | 0 | 0 |-7.191718e+01 |-4.600000e+01 | 56.34%
8.89/8.98 c 9.0s| 1 | 0 | 34762 | - | 10M| 0 | 281 | 462 |5852 | 462 |6203 | 554 | 0 | 0 |-7.141592e+01 |-4.600000e+01 | 55.25%
9.08/9.17 c 9.2s| 1 | 0 | 35433 | - | 10M| 0 | 278 | 462 |5852 | 462 |6209 | 560 | 0 | 0 |-7.116849e+01 |-4.600000e+01 | 54.71%
9.18/9.28 c 9.3s| 1 | 0 | 35810 | - | 10M| 0 | 284 | 462 |5852 | 462 |6216 | 567 | 0 | 0 |-7.105210e+01 |-4.600000e+01 | 54.46%
9.29/9.37 c 9.4s| 1 | 0 | 36099 | - | 10M| 0 | 292 | 462 |5852 | 462 |6225 | 576 | 0 | 0 |-7.095229e+01 |-4.600000e+01 | 54.24%
9.39/9.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.39/9.45 c 9.5s| 1 | 0 | 36341 | - | 10M| 0 | 294 | 462 |5852 | 462 |6235 | 586 | 0 | 0 |-7.086284e+01 |-4.600000e+01 | 54.05%
9.49/9.52 c 9.5s| 1 | 0 | 36505 | - | 10M| 0 | 303 | 462 |5852 | 462 |6242 | 593 | 0 | 0 |-7.078477e+01 |-4.600000e+01 | 53.88%
9.49/9.59 c 9.6s| 1 | 0 | 36685 | - | 10M| 0 | 310 | 462 |5852 | 462 |6233 | 599 | 0 | 0 |-7.072820e+01 |-4.600000e+01 | 53.76%
9.59/9.66 c 9.7s| 1 | 0 | 36855 | - | 10M| 0 | 318 | 462 |5852 | 462 |6240 | 606 | 0 | 0 |-7.062617e+01 |-4.600000e+01 | 53.54%
9.69/9.70 c 9.7s| 1 | 0 | 36942 | - | 10M| 0 | 324 | 462 |5852 | 462 |6247 | 613 | 0 | 0 |-7.058073e+01 |-4.600000e+01 | 53.44%
9.69/9.76 c 9.8s| 1 | 0 | 37060 | - | 10M| 0 | 328 | 462 |5852 | 462 |6256 | 622 | 0 | 0 |-7.054266e+01 |-4.600000e+01 | 53.35%
9.79/9.81 c 9.8s| 1 | 0 | 37188 | - | 10M| 0 | 336 | 462 |5852 | 462 |6263 | 629 | 0 | 0 |-7.047311e+01 |-4.600000e+01 | 53.20%
9.79/9.88 c 9.9s| 1 | 0 | 37339 | - | 10M| 0 | 341 | 462 |5852 | 462 |6269 | 635 | 0 | 0 |-7.040425e+01 |-4.600000e+01 | 53.05%
9.89/9.95 c 10.0s| 1 | 0 | 37452 | - | 10M| 0 | 352 | 462 |5852 | 462 |6258 | 643 | 0 | 0 |-7.036138e+01 |-4.600000e+01 | 52.96%
9.98/10.01 c 10.0s| 1 | 0 | 37554 | - | 10M| 0 | 357 | 462 |5852 | 462 |6268 | 653 | 0 | 0 |-7.032750e+01 |-4.600000e+01 | 52.89%
9.98/10.08 c 10.1s| 1 | 0 | 37670 | - | 10M| 0 | 366 | 462 |5852 | 462 |6276 | 661 | 0 | 0 |-7.029728e+01 |-4.600000e+01 | 52.82%
10.08/10.14 c 10.1s| 1 | 0 | 37764 | - | 10M| 0 | 373 | 462 |5852 | 462 |6284 | 669 | 0 | 0 |-7.027058e+01 |-4.600000e+01 | 52.76%
10.08/10.18 c 10.2s| 1 | 0 | 37774 | - | 10M| 0 | 363 | 462 |5852 | 462 |6285 | 670 | 0 | 0 |-7.027043e+01 |-4.600000e+01 | 52.76%
18.88/18.99 c 19.0s| 1 | 2 | 37774 | - | 10M| 0 | 363 | 462 |5852 | 462 |6285 | 670 | 0 | 39 |-7.027043e+01 |-4.600000e+01 | 52.76%
36.98/37.03 o -49
36.98/37.03 c c37.0s| 6 | 7 | 45476 |1540.4 | 10M| 5 | - | 462 |5852 | 462 |6229 | 670 | 0 | 134 |-7.015478e+01 |-4.900000e+01 | 43.17%
36.98/37.04 o -50
36.98/37.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.98/37.04 c c37.0s| 6 | 7 | 45479 |1541.0 | 10M| 5 | - | 462 |5852 | 462 |6229 | 670 | 0 | 134 |-7.015478e+01 |-5.000000e+01 | 40.31%
36.98/37.04 o -53
36.98/37.04 c c37.0s| 6 | 7 | 45482 |1541.6 | 10M| 5 | - | 462 |5852 | 462 |6229 | 670 | 0 | 134 |-7.015478e+01 |-5.300000e+01 | 32.37%
36.98/37.04 o -54
36.98/37.04 c c37.0s| 6 | 7 | 45485 |1542.2 | 10M| 5 | - | 462 |5852 | 462 |6229 | 670 | 0 | 134 |-7.015478e+01 |-5.400000e+01 | 29.92%
62.59/62.64 o -60
62.59/62.64 c p62.6s| 18 | 19 | 52654 | 875.3 | 11M| 12 | - | 462 |5852 | 462 |6229 | 670 | 0 | 263 |-7.008963e+01 |-6.000000e+01 | 16.82%
78.28/78.30 c 78.3s| 100 | 101 |103958 | 668.5 | 11M| 16 | 200 | 462 |5852 | 462 |6229 | 670 | 0 | 287 |-7.006538e+01 |-6.000000e+01 | 16.78%
107.97/108.08 o -61
107.97/108.08 c l 108s| 152 | 153 |211234 |1148.7 | 12M| 16 | - | 462 |5852 | 462 |6229 | 670 | 0 | 309 |-6.997802e+01 |-6.100000e+01 | 14.72%
134.76/134.87 c 135s| 200 | 201 |300138 |1318.4 | 12M| 16 | 216 | 462 |5852 | 462 |6229 | 670 | 0 | 345 |-6.977431e+01 |-6.100000e+01 | 14.38%
161.37/161.46 o -62
161.37/161.46 c l 161s| 256 | 257 |392881 |1392.6 | 12M| 16 | - | 462 |5852 | 462 |6229 | 670 | 0 | 384 |-6.962437e+01 |-6.200000e+01 | 12.30%
177.46/177.58 c 178s| 300 | 301 |448922 |1375.1 | 12M| 16 | 178 | 462 |5852 | 462 |6229 | 670 | 0 | 404 |-6.957147e+01 |-6.200000e+01 | 12.21%
208.36/208.46 c 208s| 400 | 401 |567746 |1328.3 | 13M| 17 | 169 | 462 |5852 | 462 |6229 | 670 | 0 | 411 |-6.947996e+01 |-6.200000e+01 | 12.06%
233.05/233.12 c 233s| 500 | 493 |659195 |1245.3 | 13M| 18 | 274 | 462 |5852 | 462 |6229 | 670 | 0 | 430 |-6.943042e+01 |-6.200000e+01 | 11.98%
259.44/259.51 c 260s| 600 | 583 |747326 |1184.6 | 14M| 18 | 220 | 462 |5852 | 462 |6229 | 670 | 0 | 473 |-6.940479e+01 |-6.200000e+01 | 11.94%
286.63/286.75 c 287s| 700 | 683 |849789 |1161.7 | 14M| 18 | 280 | 462 |5852 | 462 |6229 | 670 | 0 | 487 |-6.940479e+01 |-6.200000e+01 | 11.94%
305.64/305.78 c 306s| 800 | 783 |923139 |1108.1 | 15M| 35 | 189 | 462 |5852 | 462 |6229 | 670 | 0 | 498 |-6.940380e+01 |-6.200000e+01 | 11.94%
318.33/318.47 c 318s| 900 | 849 |962136 |1028.2 | 15M| 42 | 186 | 462 |5852 | 462 |6229 | 670 | 0 | 528 |-6.933726e+01 |-6.200000e+01 | 11.83%
338.73/338.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
338.73/338.88 c 339s| 1000 | 931 | 1035k| 998.8 | 16M| 42 | - | 462 |5852 | 462 |6229 | 670 | 0 | 566 |-6.931483e+01 |-6.200000e+01 | 11.80%
352.42/352.58 c 353s| 1100 | 1017 | 1090k| 958.3 | 16M| 43 | 277 | 462 |5852 | 462 |6229 | 670 | 0 | 570 |-6.931483e+01 |-6.200000e+01 | 11.80%
365.42/365.55 c 366s| 1200 | 1097 | 1140k| 919.4 | 16M| 45 | 198 | 462 |5852 | 462 |6229 | 670 | 0 | 577 |-6.930777e+01 |-6.200000e+01 | 11.79%
389.82/389.99 c 390s| 1300 | 1197 | 1229k| 917.4 | 17M| 45 | 154 | 462 |5852 | 462 |6229 | 670 | 0 | 612 |-6.927042e+01 |-6.200000e+01 | 11.73%
409.31/409.41 c 409s| 1400 | 1295 | 1299k| 902.0 | 17M| 45 | 179 | 462 |5852 | 462 |6229 | 670 | 0 | 641 |-6.923835e+01 |-6.200000e+01 | 11.67%
414.21/414.37 c 414s| 1500 | 1345 | 1318k| 854.3 | 18M| 45 | 139 | 462 |5852 | 462 |6229 | 670 | 0 | 645 |-6.923452e+01 |-6.200000e+01 | 11.67%
418.61/418.76 c 419s| 1600 | 1367 | 1334k| 811.1 | 18M| 45 | - | 462 |5852 | 462 |6229 | 670 | 0 | 657 |-6.923012e+01 |-6.200000e+01 | 11.66%
425.11/425.22 c 425s| 1700 | 1403 | 1359k| 778.1 | 18M| 45 | 148 | 462 |5852 | 462 |6229 | 670 | 0 | 658 |-6.922406e+01 |-6.200000e+01 | 11.65%
429.31/429.49 c 429s| 1800 | 1435 | 1376k| 744.4 | 18M| 45 | 178 | 462 |5852 | 462 |6229 | 670 | 0 | 662 |-6.922215e+01 |-6.200000e+01 | 11.65%
436.31/436.48 c 436s| 1900 | 1493 | 1403k| 719.4 | 19M| 45 | - | 462 |5852 | 462 |6229 | 670 | 0 | 665 |-6.919803e+01 |-6.200000e+01 | 11.61%
441.02/441.16 c 441s| 2000 | 1513 | 1416k| 689.5 | 19M| 45 | - | 462 |5852 | 462 |6229 | 670 | 0 | 687 |-6.919712e+01 |-6.200000e+01 | 11.61%
446.81/446.97 c 447s| 2100 | 1539 | 1439k| 667.7 | 19M| 45 | 146 | 462 |5852 | 462 |6229 | 670 | 0 | 688 |-6.919143e+01 |-6.200000e+01 | 11.60%
455.60/455.70 c 456s| 2200 | 1571 | 1473k| 652.8 | 19M| 45 | - | 462 |5852 | 462 |6229 | 670 | 0 | 704 |-6.919044e+01 |-6.200000e+01 | 11.60%
461.71/461.86 c 462s| 2300 | 1599 | 1495k| 634.1 | 19M| 45 | 256 | 462 |5852 | 462 |6229 | 670 | 0 | 718 |-6.918517e+01 |-6.200000e+01 | 11.59%
467.10/467.26 c 467s| 2400 | 1625 | 1512k| 614.8 | 19M| 45 | 172 | 462 |5852 | 462 |6229 | 670 | 0 | 743 |-6.918503e+01 |-6.200000e+01 | 11.59%
484.10/484.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
484.10/484.24 c 484s| 2500 | 1693 | 1575k| 615.3 | 20M| 45 | - | 462 |5852 | 462 |6229 | 670 | 0 | 768 |-6.916671e+01 |-6.200000e+01 | 11.56%
489.90/490.09 c 490s| 2600 | 1741 | 1597k| 600.1 | 20M| 45 | 204 | 462 |5852 | 462 |6229 | 670 | 0 | 773 |-6.916384e+01 |-6.200000e+01 | 11.55%
497.20/497.36 c 497s| 2700 | 1785 | 1625k| 588.3 | 20M| 46 | 228 | 462 |5852 | 462 |6229 | 670 | 0 | 777 |-6.916241e+01 |-6.200000e+01 | 11.55%
504.70/504.87 c 505s| 2800 | 1835 | 1656k| 578.2 | 21M| 46 | - | 462 |5852 | 462 |6229 | 670 | 0 | 779 |-6.915624e+01 |-6.200000e+01 | 11.54%
513.60/513.75 c 514s| 2900 | 1887 | 1691k| 570.5 | 21M| 46 | 169 | 462 |5852 | 462 |6229 | 670 | 0 | 779 |-6.913599e+01 |-6.200000e+01 | 11.51%
519.59/519.71 c 520s| 3000 | 1935 | 1712k| 558.3 | 21M| 46 | 181 | 462 |5852 | 462 |6229 | 670 | 0 | 796 |-6.913572e+01 |-6.200000e+01 | 11.51%
527.50/527.62 c 528s| 3100 | 1975 | 1739k| 549.2 | 21M| 46 | 236 | 462 |5852 | 462 |6229 | 670 | 0 | 819 |-6.912929e+01 |-6.200000e+01 | 11.50%
540.00/540.13 c 540s| 3200 | 2033 | 1785k| 546.5 | 22M| 46 | - | 462 |5852 | 462 |6229 | 670 | 0 | 837 |-6.912761e+01 |-6.200000e+01 | 11.50%
557.99/558.10 c 558s| 3300 | 2115 | 1851k| 549.9 | 22M| 46 | 234 | 462 |5852 | 462 |6229 | 670 | 0 | 870 |-6.911491e+01 |-6.200000e+01 | 11.48%
569.29/569.47 c 569s| 3400 | 2183 | 1892k| 545.7 | 23M| 46 | 163 | 462 |5852 | 462 |6229 | 670 | 0 | 883 |-6.909174e+01 |-6.200000e+01 | 11.44%
581.28/581.46 c 581s| 3500 | 2265 | 1942k| 544.4 | 23M| 46 | 243 | 462 |5852 | 462 |6229 | 670 | 0 | 884 |-6.909174e+01 |-6.200000e+01 | 11.44%
591.28/591.43 c 591s| 3600 | 2343 | 1980k| 539.9 | 23M| 46 | 178 | 462 |5852 | 462 |6229 | 670 | 0 | 886 |-6.908453e+01 |-6.200000e+01 | 11.43%
610.39/610.55 c 611s| 3700 | 2407 | 2057k| 546.0 | 24M| 46 | 235 | 462 |5852 | 462 |6229 | 670 | 0 | 904 |-6.908206e+01 |-6.200000e+01 | 11.42%
619.09/619.22 c 619s| 3800 | 2461 | 2086k| 539.3 | 24M| 46 | 178 | 462 |5852 | 462 |6229 | 670 | 0 | 924 |-6.908121e+01 |-6.200000e+01 | 11.42%
634.59/634.78 c 635s| 3900 | 2531 | 2141k| 539.6 | 24M| 46 | 256 | 462 |5852 | 462 |6229 | 670 | 0 | 958 |-6.906969e+01 |-6.200000e+01 | 11.40%
642.08/642.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
642.08/642.20 c 642s| 4000 | 2581 | 2168k| 532.9 | 25M| 46 | 197 | 462 |5852 | 462 |6229 | 670 | 0 | 968 |-6.906969e+01 |-6.200000e+01 | 11.40%
652.38/652.59 c 653s| 4100 | 2645 | 2211k| 530.3 | 25M| 46 | 172 | 462 |5852 | 462 |6229 | 670 | 0 | 970 |-6.906913e+01 |-6.200000e+01 | 11.40%
663.38/663.58 c 664s| 4200 | 2711 | 2256k| 528.4 | 25M| 46 | 202 | 462 |5852 | 462 |6229 | 670 | 0 | 973 |-6.906148e+01 |-6.200000e+01 | 11.39%
671.07/671.28 c 671s| 4300 | 2785 | 2288k| 523.6 | 26M| 46 | 199 | 462 |5852 | 462 |6229 | 670 | 0 | 974 |-6.906009e+01 |-6.200000e+01 | 11.39%
682.27/682.42 c 682s| 4400 | 2835 | 2335k| 522.3 | 26M| 46 | 183 | 462 |5852 | 462 |6229 | 670 | 0 | 975 |-6.905812e+01 |-6.200000e+01 | 11.38%
690.37/690.52 c 691s| 4500 | 2887 | 2367k| 517.9 | 26M| 46 | - | 462 |5852 | 462 |6229 | 670 | 0 | 976 |-6.904005e+01 |-6.200000e+01 | 11.35%
702.87/703.01 c 703s| 4600 | 2955 | 2419k| 517.8 | 27M| 46 | 172 | 462 |5852 | 462 |6229 | 670 | 0 | 976 |-6.903819e+01 |-6.200000e+01 | 11.35%
711.07/711.23 c 711s| 4700 | 3019 | 2451k| 513.6 | 27M| 46 | 174 | 462 |5852 | 462 |6229 | 670 | 0 | 976 |-6.902583e+01 |-6.200000e+01 | 11.33%
724.67/724.83 c 725s| 4800 | 3087 | 2507k| 514.7 | 27M| 46 | 180 | 462 |5852 | 462 |6229 | 670 | 0 | 976 |-6.901637e+01 |-6.200000e+01 | 11.32%
736.76/736.97 c 737s| 4900 | 3177 | 2555k| 513.8 | 28M| 46 | 202 | 462 |5852 | 462 |6229 | 670 | 0 | 976 |-6.901362e+01 |-6.200000e+01 | 11.31%
744.06/744.21 c 744s| 5000 | 3215 | 2583k| 509.2 | 28M| 46 | 211 | 462 |5852 | 462 |6229 | 670 | 0 | 976 |-6.901348e+01 |-6.200000e+01 | 11.31%
749.96/750.17 c 750s| 5100 | 3269 | 2608k| 504.1 | 28M| 46 | - | 462 |5852 | 462 |6229 | 670 | 0 | 976 |-6.900332e+01 |-6.200000e+01 | 11.30%
766.46/766.65 c 767s| 5200 | 3349 | 2679k| 508.1 | 29M| 46 | 167 | 462 |5852 | 462 |6229 | 670 | 0 | 976 |-6.899801e+01 |-6.200000e+01 | 11.29%
772.96/773.11 c 773s| 5300 | 3395 | 2705k| 503.4 | 29M| 46 | 155 | 462 |5852 | 462 |6229 | 670 | 0 | 976 |-6.899736e+01 |-6.200000e+01 | 11.29%
779.76/779.96 c 780s| 5400 | 3451 | 2730k| 498.8 | 29M| 46 | 202 | 462 |5852 | 462 |6229 | 670 | 0 | 986 |-6.899566e+01 |-6.200000e+01 | 11.28%
795.06/795.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
795.06/795.23 c 795s| 5500 | 3515 | 2786k| 499.8 | 30M| 46 | 229 | 462 |5852 | 462 |6229 | 670 | 0 |1011 |-6.898899e+01 |-6.200000e+01 | 11.27%
804.55/804.77 c 805s| 5600 | 3567 | 2819k| 496.9 | 30M| 46 | 180 | 462 |5852 | 462 |6229 | 670 | 0 |1030 |-6.898351e+01 |-6.200000e+01 | 11.26%
818.16/818.32 c 818s| 5700 | 3647 | 2875k| 498.0 | 30M| 46 | - | 462 |5852 | 462 |6229 | 670 | 0 |1032 |-6.898351e+01 |-6.200000e+01 | 11.26%
829.16/829.32 c 829s| 5800 | 3707 | 2921k| 497.2 | 31M| 46 | - | 462 |5852 | 462 |6229 | 670 | 0 |1036 |-6.897882e+01 |-6.200000e+01 | 11.26%
842.55/842.72 c 843s| 5900 | 3767 | 2975k| 498.1 | 31M| 46 | - | 462 |5852 | 462 |6229 | 670 | 0 |1037 |-6.897121e+01 |-6.200000e+01 | 11.24%
852.04/852.21 c 852s| 6000 | 3839 | 3009k| 495.4 | 31M| 46 | 247 | 462 |5852 | 462 |6229 | 670 | 0 |1055 |-6.896649e+01 |-6.200000e+01 | 11.24%
863.25/863.50 c 863s| 6100 | 3893 | 3052k| 494.4 | 32M| 49 | 164 | 462 |5852 | 462 |6229 | 670 | 0 |1072 |-6.896586e+01 |-6.200000e+01 | 11.24%
877.04/877.28 c 877s| 6200 | 3961 | 3099k| 494.0 | 32M| 49 | 180 | 462 |5852 | 462 |6229 | 670 | 0 |1103 |-6.895248e+01 |-6.200000e+01 | 11.21%
888.65/888.81 c 889s| 6300 | 4029 | 3142k| 492.9 | 32M| 49 | 209 | 462 |5852 | 462 |6229 | 670 | 0 |1113 |-6.893369e+01 |-6.200000e+01 | 11.18%
896.24/896.50 c 897s| 6400 | 4085 | 3174k| 490.1 | 33M| 49 | 203 | 462 |5852 | 462 |6229 | 670 | 0 |1116 |-6.892973e+01 |-6.200000e+01 | 11.18%
915.04/915.22 c 915s| 6500 | 4185 | 3250k| 494.3 | 33M| 49 | 201 | 462 |5852 | 462 |6229 | 670 | 0 |1118 |-6.891078e+01 |-6.200000e+01 | 11.15%
927.14/927.38 c 927s| 6600 | 4283 | 3295k| 493.7 | 34M| 49 | 203 | 462 |5852 | 462 |6229 | 670 | 0 |1128 |-6.890518e+01 |-6.200000e+01 | 11.14%
944.34/944.58 c 945s| 6700 | 4369 | 3355k| 495.3 | 34M| 49 | 200 | 462 |5852 | 462 |6229 | 670 | 0 |1156 |-6.890165e+01 |-6.200000e+01 | 11.13%
953.44/953.68 c 954s| 6800 | 4425 | 3389k| 493.0 | 34M| 49 | 158 | 462 |5852 | 462 |6229 | 670 | 0 |1169 |-6.889977e+01 |-6.200000e+01 | 11.13%
962.43/962.66 c 963s| 6900 | 4483 | 3423k| 490.7 | 35M| 49 | 194 | 462 |5852 | 462 |6229 | 670 | 0 |1191 |-6.889884e+01 |-6.200000e+01 | 11.13%
974.02/974.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
974.02/974.20 c 974s| 7000 | 4557 | 3468k| 490.1 | 35M| 49 | 245 | 462 |5852 | 462 |6229 | 670 | 0 |1197 |-6.889196e+01 |-6.200000e+01 | 11.12%
981.52/981.74 c 982s| 7100 | 4607 | 3499k| 487.6 | 35M| 49 | - | 462 |5852 | 462 |6229 | 670 | 0 |1202 |-6.889196e+01 |-6.200000e+01 | 11.12%
997.82/998.08 c 998s| 7200 | 4691 | 3563k| 489.7 | 36M| 49 | - | 462 |5852 | 462 |6229 | 670 | 0 |1203 |-6.888638e+01 |-6.200000e+01 | 11.11%
1007.02/1007.22 c 1007s| 7300 | 4747 | 3603k| 488.5 | 36M| 49 | 168 | 462 |5852 | 462 |6229 | 670 | 0 |1203 |-6.888638e+01 |-6.200000e+01 | 11.11%
1016.62/1016.89 c 1017s| 7400 | 4821 | 3635k| 486.3 | 36M| 49 | 165 | 462 |5852 | 462 |6229 | 670 | 0 |1220 |-6.888582e+01 |-6.200000e+01 | 11.11%
1023.62/1023.89 c 1024s| 7500 | 4867 | 3661k| 483.3 | 37M| 49 | - | 462 |5852 | 462 |6229 | 670 | 0 |1235 |-6.888582e+01 |-6.200000e+01 | 11.11%
1038.22/1038.41 c 1038s| 7600 | 4949 | 3718k| 484.4 | 37M| 49 | 184 | 462 |5852 | 462 |6229 | 670 | 0 |1248 |-6.888582e+01 |-6.200000e+01 | 11.11%
1047.72/1047.95 c 1048s| 7700 | 5045 | 3757k| 483.1 | 38M| 49 | 185 | 462 |5852 | 462 |6229 | 670 | 0 |1252 |-6.888582e+01 |-6.200000e+01 | 11.11%
1054.50/1054.79 c 1055s| 7800 | 5127 | 3784k| 480.4 | 38M| 49 | 205 | 462 |5852 | 462 |6229 | 670 | 0 |1255 |-6.888582e+01 |-6.200000e+01 | 11.11%
1060.71/1060.97 c 1061s| 7900 | 5207 | 3810k| 477.6 | 38M| 49 | 201 | 462 |5852 | 462 |6229 | 670 | 0 |1255 |-6.888582e+01 |-6.200000e+01 | 11.11%
1071.81/1072.07 c 1072s| 8000 | 5293 | 3856k| 477.4 | 39M| 49 | 182 | 462 |5852 | 462 |6229 | 670 | 0 |1260 |-6.888401e+01 |-6.200000e+01 | 11.10%
1095.80/1096.00 c 1096s| 8100 | 5389 | 3950k| 483.1 | 39M| 49 | 167 | 462 |5852 | 462 |6229 | 670 | 0 |1282 |-6.886982e+01 |-6.200000e+01 | 11.08%
1105.20/1105.43 c 1105s| 8200 | 5475 | 3986k| 481.6 | 39M| 49 | 184 | 462 |5852 | 462 |6229 | 670 | 0 |1295 |-6.886817e+01 |-6.200000e+01 | 11.08%
1117.19/1117.40 c 1117s| 8300 | 5565 | 4025k| 480.6 | 40M| 49 | 180 | 462 |5852 | 462 |6229 | 670 | 0 |1315 |-6.885524e+01 |-6.200000e+01 | 11.06%
1121.99/1122.26 c 1122s| 8400 | 5601 | 4042k| 476.8 | 40M| 49 | - | 462 |5852 | 462 |6229 | 670 | 0 |1325 |-6.885341e+01 |-6.200000e+01 | 11.05%
1125.90/1126.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1125.90/1126.17 c 1126s| 8500 | 5635 | 4056k| 472.9 | 40M| 49 | 198 | 462 |5852 | 462 |6229 | 670 | 0 |1334 |-6.885245e+01 |-6.200000e+01 | 11.05%
1134.39/1134.65 c 1135s| 8600 | 5725 | 4092k| 471.5 | 41M| 49 | - | 462 |5852 | 462 |6229 | 670 | 0 |1341 |-6.885245e+01 |-6.200000e+01 | 11.05%
1138.59/1138.85 c 1139s| 8700 | 5773 | 4108k| 467.9 | 41M| 49 | 206 | 462 |5852 | 462 |6229 | 670 | 0 |1341 |-6.885245e+01 |-6.200000e+01 | 11.05%
1149.30/1149.52 c 1150s| 8800 | 5847 | 4150k| 467.4 | 41M| 49 | 186 | 462 |5852 | 462 |6229 | 670 | 0 |1345 |-6.884931e+01 |-6.200000e+01 | 11.05%
1163.99/1164.22 c 1164s| 8900 | 5947 | 4207k| 468.5 | 42M| 49 | 171 | 462 |5852 | 462 |6229 | 670 | 0 |1346 |-6.884177e+01 |-6.200000e+01 | 11.04%
1181.59/1181.86 c 1182s| 9000 | 6047 | 4277k| 471.1 | 42M| 49 | 176 | 462 |5852 | 462 |6229 | 670 | 0 |1357 |-6.883272e+01 |-6.200000e+01 | 11.02%
1190.29/1190.58 c 1191s| 9100 | 6117 | 4308k| 469.3 | 43M| 49 | - | 462 |5852 | 462 |6229 | 670 | 0 |1378 |-6.883227e+01 |-6.200000e+01 | 11.02%
1196.59/1196.84 c 1197s| 9200 | 6165 | 4334k| 467.1 | 43M| 52 | 170 | 462 |5852 | 462 |6229 | 670 | 0 |1378 |-6.882785e+01 |-6.200000e+01 | 11.01%
1202.79/1203.01 c 1203s| 9300 | 6225 | 4356k| 464.4 | 43M| 52 | 204 | 462 |5852 | 462 |6229 | 670 | 0 |1393 |-6.882785e+01 |-6.200000e+01 | 11.01%
1211.29/1211.56 c 1212s| 9400 | 6267 | 4389k| 463.0 | 43M| 52 | - | 462 |5852 | 462 |6229 | 670 | 0 |1406 |-6.882282e+01 |-6.200000e+01 | 11.00%
1220.28/1220.57 c 1221s| 9500 | 6329 | 4423k| 461.7 | 44M| 52 | 193 | 462 |5852 | 462 |6229 | 670 | 0 |1420 |-6.882245e+01 |-6.200000e+01 | 11.00%
1225.19/1225.43 c 1225s| 9600 | 6371 | 4442k| 458.8 | 44M| 52 | 189 | 462 |5852 | 462 |6229 | 670 | 0 |1425 |-6.882140e+01 |-6.200000e+01 | 11.00%
1234.78/1235.06 c 1235s| 9700 | 6439 | 4480k| 458.1 | 44M| 52 | 167 | 462 |5852 | 462 |6229 | 670 | 0 |1429 |-6.881671e+01 |-6.200000e+01 | 10.99%
1242.38/1242.64 c 1243s| 9800 | 6515 | 4512k| 456.6 | 45M| 52 | 222 | 462 |5852 | 462 |6229 | 670 | 0 |1429 |-6.881661e+01 |-6.200000e+01 | 10.99%
1249.78/1250.05 c 1250s| 9900 | 6569 | 4544k| 455.2 | 45M| 52 | 166 | 462 |5852 | 462 |6229 | 670 | 0 |1429 |-6.881255e+01 |-6.200000e+01 | 10.99%
1258.78/1259.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1258.78/1259.06 c 1259s| 10000 | 6629 | 4582k| 454.5 | 45M| 52 | 212 | 462 |5852 | 462 |6229 | 670 | 0 |1429 |-6.881255e+01 |-6.200000e+01 | 10.99%
1264.37/1264.60 c 1265s| 10100 | 6671 | 4605k| 452.3 | 45M| 52 | 157 | 462 |5852 | 462 |6229 | 670 | 0 |1429 |-6.881255e+01 |-6.200000e+01 | 10.99%
1269.88/1270.10 c 1270s| 10200 | 6701 | 4624k| 449.7 | 45M| 52 | 193 | 462 |5852 | 462 |6229 | 670 | 0 |1441 |-6.881255e+01 |-6.200000e+01 | 10.99%
1274.97/1275.22 c 1275s| 10300 | 6737 | 4644k| 447.3 | 46M| 52 | - | 462 |5852 | 462 |6229 | 670 | 0 |1448 |-6.881242e+01 |-6.200000e+01 | 10.99%
1283.07/1283.31 c 1283s| 10400 | 6779 | 4672k| 445.7 | 46M| 52 | - | 462 |5852 | 462 |6229 | 670 | 0 |1464 |-6.881089e+01 |-6.200000e+01 | 10.99%
1292.37/1292.66 c 1293s| 10500 | 6859 | 4708k| 444.9 | 46M| 52 | 166 | 462 |5852 | 462 |6229 | 670 | 0 |1475 |-6.880932e+01 |-6.200000e+01 | 10.98%
1297.27/1297.55 c 1298s| 10600 | 6911 | 4726k| 442.4 | 47M| 52 | 147 | 462 |5852 | 462 |6229 | 670 | 0 |1483 |-6.880919e+01 |-6.200000e+01 | 10.98%
1301.86/1302.12 c 1302s| 10700 | 6937 | 4744k| 439.9 | 47M| 52 | 176 | 462 |5852 | 462 |6229 | 670 | 0 |1495 |-6.880919e+01 |-6.200000e+01 | 10.98%
1306.57/1306.84 c 1307s| 10800 | 6985 | 4761k| 437.4 | 47M| 52 | 145 | 462 |5852 | 462 |6229 | 670 | 0 |1504 |-6.880803e+01 |-6.200000e+01 | 10.98%
1311.57/1311.82 c 1312s| 10900 | 6999 | 4778k| 434.9 | 47M| 52 | - | 462 |5852 | 462 |6229 | 670 | 0 |1513 |-6.880471e+01 |-6.200000e+01 | 10.98%
1317.67/1317.99 c 1318s| 11000 | 7023 | 4804k| 433.4 | 47M| 52 | 130 | 462 |5852 | 462 |6229 | 670 | 0 |1524 |-6.880447e+01 |-6.200000e+01 | 10.97%
1324.96/1325.25 c 1325s| 11100 | 7067 | 4832k| 432.0 | 47M| 52 | 208 | 462 |5852 | 462 |6229 | 670 | 0 |1532 |-6.880030e+01 |-6.200000e+01 | 10.97%
1328.96/1329.26 c 1329s| 11200 | 7109 | 4849k| 429.7 | 48M| 52 | 171 | 462 |5852 | 462 |6229 | 670 | 0 |1534 |-6.880030e+01 |-6.200000e+01 | 10.97%
1333.67/1333.95 c 1334s| 11300 | 7145 | 4867k| 427.5 | 48M| 52 | - | 462 |5852 | 462 |6229 | 670 | 0 |1537 |-6.879951e+01 |-6.200000e+01 | 10.97%
1339.76/1340.07 c 1340s| 11400 | 7181 | 4891k| 425.8 | 48M| 52 | 148 | 462 |5852 | 462 |6229 | 670 | 0 |1543 |-6.879950e+01 |-6.200000e+01 | 10.97%
1343.46/1343.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1343.46/1343.76 c 1344s| 11500 | 7207 | 4906k| 423.4 | 48M| 52 | 140 | 462 |5852 | 462 |6229 | 670 | 0 |1544 |-6.879631e+01 |-6.200000e+01 | 10.96%
1347.06/1347.39 c 1347s| 11600 | 7243 | 4921k| 421.0 | 48M| 52 | 168 | 462 |5852 | 462 |6229 | 670 | 0 |1546 |-6.879631e+01 |-6.200000e+01 | 10.96%
1353.16/1353.45 c 1353s| 11700 | 7265 | 4943k| 419.3 | 48M| 52 | 180 | 462 |5852 | 462 |6229 | 670 | 0 |1554 |-6.879448e+01 |-6.200000e+01 | 10.96%
1359.46/1359.75 c 1360s| 11800 | 7311 | 4969k| 418.0 | 49M| 52 | 144 | 462 |5852 | 462 |6229 | 670 | 0 |1554 |-6.879338e+01 |-6.200000e+01 | 10.96%
1365.76/1366.01 c 1366s| 11900 | 7355 | 4995k| 416.7 | 49M| 52 | 140 | 462 |5852 | 462 |6229 | 670 | 0 |1554 |-6.878701e+01 |-6.200000e+01 | 10.95%
1372.25/1372.54 c 1373s| 12000 | 7417 | 5022k| 415.4 | 49M| 52 | 181 | 462 |5852 | 462 |6229 | 670 | 0 |1554 |-6.878626e+01 |-6.200000e+01 | 10.95%
1385.46/1385.79 c 1386s| 12100 | 7505 | 5072k| 416.2 | 50M| 52 | 164 | 462 |5852 | 462 |6229 | 670 | 0 |1569 |-6.878626e+01 |-6.200000e+01 | 10.95%
1393.25/1393.56 c 1394s| 12200 | 7565 | 5099k| 414.9 | 50M| 52 | 177 | 462 |5852 | 462 |6229 | 670 | 0 |1583 |-6.878347e+01 |-6.200000e+01 | 10.94%
1396.55/1396.88 c 1397s| 12300 | 7583 | 5113k| 412.7 | 50M| 52 | 149 | 462 |5852 | 462 |6229 | 670 | 0 |1588 |-6.878347e+01 |-6.200000e+01 | 10.94%
1401.76/1402.08 c 1402s| 12400 | 7607 | 5132k| 410.9 | 50M| 52 | 167 | 462 |5852 | 462 |6229 | 670 | 0 |1602 |-6.878321e+01 |-6.200000e+01 | 10.94%
1406.05/1406.35 c 1406s| 12500 | 7617 | 5147k| 408.8 | 50M| 55 | 178 | 462 |5852 | 462 |6229 | 670 | 0 |1611 |-6.878246e+01 |-6.200000e+01 | 10.94%
1414.15/1414.43 c 1414s| 12600 | 7661 | 5179k| 408.1 | 51M| 55 | 176 | 462 |5852 | 462 |6229 | 670 | 0 |1619 |-6.878102e+01 |-6.200000e+01 | 10.94%
1422.25/1422.57 c 1423s| 12700 | 7693 | 5212k| 407.5 | 51M| 55 | - | 462 |5852 | 462 |6229 | 670 | 0 |1625 |-6.877593e+01 |-6.200000e+01 | 10.93%
1428.24/1428.59 c 1429s| 12800 | 7735 | 5236k| 406.2 | 51M| 56 | 199 | 462 |5852 | 462 |6229 | 670 | 0 |1629 |-6.877515e+01 |-6.200000e+01 | 10.93%
1437.14/1437.43 c 1437s| 12900 | 7805 | 5272k| 405.8 | 51M| 56 | 171 | 462 |5852 | 462 |6229 | 670 | 0 |1631 |-6.877381e+01 |-6.200000e+01 | 10.93%
1439.66/1439.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1439.66/1439.98 c 1440s| 13000 | 7827 | 5281k| 403.4 | 52M| 56 | - | 462 |5852 | 462 |6229 | 670 | 0 |1635 |-6.877381e+01 |-6.200000e+01 | 10.93%
1442.64/1442.97 c 1443s| 13100 | 7841 | 5293k| 401.2 | 52M| 56 | - | 462 |5852 | 462 |6229 | 670 | 0 |1635 |-6.877346e+01 |-6.200000e+01 | 10.92%
1446.45/1446.70 c 1447s| 13200 | 7861 | 5310k| 399.5 | 52M| 56 | 170 | 462 |5852 | 462 |6229 | 670 | 0 |1635 |-6.877322e+01 |-6.200000e+01 | 10.92%
1449.05/1449.31 c 1449s| 13300 | 7881 | 5320k| 397.2 | 52M| 56 | - | 462 |5852 | 462 |6229 | 670 | 0 |1635 |-6.877256e+01 |-6.200000e+01 | 10.92%
1454.15/1454.42 c 1454s| 13400 | 7903 | 5340k| 395.8 | 52M| 56 | - | 462 |5852 | 462 |6229 | 670 | 0 |1635 |-6.876768e+01 |-6.200000e+01 | 10.92%
1463.94/1464.27 c 1464s| 13500 | 7953 | 5380k| 395.8 | 52M| 56 | 161 | 462 |5852 | 462 |6229 | 670 | 0 |1638 |-6.876285e+01 |-6.200000e+01 | 10.91%
1472.44/1472.70 c 1473s| 13600 | 8005 | 5409k| 395.0 | 53M| 56 | - | 462 |5852 | 462 |6229 | 670 | 0 |1661 |-6.875986e+01 |-6.200000e+01 | 10.90%
1482.24/1482.51 c 1483s| 13700 | 8057 | 5448k| 395.0 | 53M| 56 | - | 462 |5852 | 462 |6229 | 670 | 0 |1673 |-6.875870e+01 |-6.200000e+01 | 10.90%
1490.84/1491.17 c 1491s| 13800 | 8119 | 5482k| 394.5 | 53M| 56 | 196 | 462 |5852 | 462 |6229 | 670 | 0 |1683 |-6.875805e+01 |-6.200000e+01 | 10.90%
1499.14/1499.46 c 1499s| 13900 | 8177 | 5510k| 393.7 | 53M| 56 | 153 | 462 |5852 | 462 |6229 | 670 | 0 |1699 |-6.875680e+01 |-6.200000e+01 | 10.90%
1502.35/1502.63 c 1503s| 14000 | 8201 | 5522k| 391.8 | 54M| 56 | 188 | 462 |5852 | 462 |6229 | 670 | 0 |1703 |-6.875680e+01 |-6.200000e+01 | 10.90%
1511.43/1511.74 c 1512s| 14100 | 8245 | 5560k| 391.7 | 54M| 56 | 161 | 462 |5852 | 462 |6229 | 670 | 0 |1712 |-6.875521e+01 |-6.200000e+01 | 10.90%
1516.54/1516.86 c 1517s| 14200 | 8275 | 5580k| 390.3 | 54M| 56 | - | 462 |5852 | 462 |6229 | 670 | 0 |1715 |-6.875312e+01 |-6.200000e+01 | 10.89%
1522.64/1522.93 c 1523s| 14300 | 8313 | 5603k| 389.3 | 54M| 56 | - | 462 |5852 | 462 |6229 | 670 | 0 |1717 |-6.875038e+01 |-6.200000e+01 | 10.89%
1528.53/1528.87 c 1529s| 14400 | 8337 | 5628k| 388.3 | 54M| 56 | - | 462 |5852 | 462 |6229 | 670 | 0 |1722 |-6.874976e+01 |-6.200000e+01 | 10.89%
1535.73/1536.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1535.73/1536.07 c 1536s| 14500 | 8393 | 5657k| 387.6 | 55M| 56 | - | 462 |5852 | 462 |6229 | 670 | 0 |1724 |-6.874923e+01 |-6.200000e+01 | 10.89%
1543.83/1544.12 c 1544s| 14600 | 8451 | 5689k| 387.2 | 55M| 56 | - | 462 |5852 | 462 |6229 | 670 | 0 |1725 |-6.874442e+01 |-6.200000e+01 | 10.88%
1549.83/1550.19 c 1550s| 14700 | 8507 | 5714k| 386.2 | 55M| 56 | 172 | 462 |5852 | 462 |6229 | 670 | 0 |1725 |-6.874226e+01 |-6.200000e+01 | 10.87%
1555.03/1555.33 c 1555s| 14800 | 8539 | 5736k| 385.0 | 56M| 56 | 177 | 462 |5852 | 462 |6229 | 670 | 0 |1726 |-6.874129e+01 |-6.200000e+01 | 10.87%
1563.02/1563.32 c 1563s| 14900 | 8583 | 5772k| 384.9 | 56M| 56 | 205 | 462 |5852 | 462 |6229 | 670 | 0 |1726 |-6.874129e+01 |-6.200000e+01 | 10.87%
1567.83/1568.16 c 1568s| 15000 | 8611 | 5787k| 383.4 | 56M| 56 | 157 | 462 |5852 | 462 |6229 | 670 | 0 |1740 |-6.873985e+01 |-6.200000e+01 | 10.87%
1574.02/1574.32 c 1574s| 15100 | 8665 | 5809k| 382.3 | 56M| 56 | 199 | 462 |5852 | 462 |6229 | 670 | 0 |1751 |-6.873951e+01 |-6.200000e+01 | 10.87%
1578.32/1578.66 c 1579s| 15200 | 8705 | 5826k| 380.9 | 56M| 56 | 160 | 462 |5852 | 462 |6229 | 670 | 0 |1751 |-6.873951e+01 |-6.200000e+01 | 10.87%
1582.03/1582.39 c 1582s| 15300 | 8727 | 5840k| 379.3 | 57M| 56 | - | 462 |5852 | 462 |6229 | 670 | 0 |1760 |-6.873951e+01 |-6.200000e+01 | 10.87%
1592.72/1593.08 c 1593s| 15400 | 8793 | 5879k| 379.3 | 57M| 56 | 140 | 462 |5852 | 462 |6229 | 670 | 0 |1778 |-6.873816e+01 |-6.200000e+01 | 10.87%
1597.72/1598.05 c 1598s| 15500 | 8823 | 5897k| 378.1 | 57M| 56 | 225 | 462 |5852 | 462 |6229 | 670 | 0 |1786 |-6.873794e+01 |-6.200000e+01 | 10.87%
1606.73/1607.03 c 1607s| 15600 | 8863 | 5934k| 378.0 | 57M| 56 | 235 | 462 |5852 | 462 |6229 | 670 | 0 |1795 |-6.873794e+01 |-6.200000e+01 | 10.87%
1615.92/1616.28 c 1616s| 15700 | 8915 | 5972k| 378.0 | 58M| 56 | 210 | 462 |5852 | 462 |6229 | 670 | 0 |1799 |-6.873727e+01 |-6.200000e+01 | 10.87%
1622.32/1622.67 c 1623s| 15800 | 8965 | 5998k| 377.3 | 58M| 56 | - | 462 |5852 | 462 |6229 | 670 | 0 |1800 |-6.873387e+01 |-6.200000e+01 | 10.86%
1628.52/1628.81 c 1629s| 15900 | 9005 | 6020k| 376.3 | 58M| 56 | 174 | 462 |5852 | 462 |6229 | 670 | 0 |1805 |-6.873254e+01 |-6.200000e+01 | 10.86%
1634.02/1634.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1634.02/1634.31 c 1634s| 16000 | 9049 | 6044k| 375.5 | 58M| 56 | 146 | 462 |5852 | 462 |6229 | 670 | 0 |1805 |-6.872943e+01 |-6.200000e+01 | 10.85%
1637.02/1637.34 c 1637s| 16100 | 9067 | 6056k| 373.9 | 58M| 56 | 170 | 462 |5852 | 462 |6229 | 670 | 0 |1805 |-6.872915e+01 |-6.200000e+01 | 10.85%
1640.22/1640.55 c 1641s| 16200 | 9085 | 6069k| 372.4 | 59M| 56 | 155 | 462 |5852 | 462 |6229 | 670 | 0 |1805 |-6.872819e+01 |-6.200000e+01 | 10.85%
1642.91/1643.26 c 1643s| 16300 | 9087 | 6080k| 370.7 | 59M| 56 | 168 | 462 |5852 | 462 |6229 | 670 | 0 |1805 |-6.872813e+01 |-6.200000e+01 | 10.85%
1649.73/1650.06 c 1650s| 16400 | 9111 | 6110k| 370.3 | 59M| 56 | 156 | 462 |5852 | 462 |6229 | 670 | 0 |1805 |-6.872700e+01 |-6.200000e+01 | 10.85%
1654.92/1655.22 c 1655s| 16500 | 9149 | 6131k| 369.3 | 59M| 56 | 162 | 462 |5852 | 462 |6229 | 670 | 0 |1805 |-6.872626e+01 |-6.200000e+01 | 10.85%
1657.72/1658.01 c 1658s| 16600 | 9171 | 6142k| 367.8 | 59M| 56 | 138 | 462 |5852 | 462 |6229 | 670 | 0 |1805 |-6.872626e+01 |-6.200000e+01 | 10.85%
1663.11/1663.48 c 1663s| 16700 | 9211 | 6161k| 366.7 | 59M| 56 | 197 | 462 |5852 | 462 |6229 | 670 | 0 |1815 |-6.872626e+01 |-6.200000e+01 | 10.85%
1671.31/1671.61 c 1672s| 16800 | 9271 | 6193k| 366.4 | 60M| 56 | 210 | 462 |5852 | 462 |6229 | 670 | 0 |1826 |-6.872611e+01 |-6.200000e+01 | 10.85%
1679.11/1679.48 c 1679s| 16900 | 9333 | 6221k| 366.0 | 60M| 56 | 198 | 462 |5852 | 462 |6229 | 670 | 0 |1841 |-6.872390e+01 |-6.200000e+01 | 10.84%
1684.61/1684.94 c 1685s| 17000 | 9365 | 6245k| 365.2 | 60M| 56 | 151 | 462 |5852 | 462 |6229 | 670 | 0 |1841 |-6.872306e+01 |-6.200000e+01 | 10.84%
1690.91/1691.26 c 1691s| 17100 | 9393 | 6266k| 364.3 | 60M| 56 | 168 | 462 |5852 | 462 |6229 | 670 | 0 |1856 |-6.872106e+01 |-6.200000e+01 | 10.84%
1694.82/1695.19 c 1695s| 17200 | 9411 | 6282k| 363.1 | 60M| 56 | - | 462 |5852 | 462 |6229 | 670 | 0 |1856 |-6.871721e+01 |-6.200000e+01 | 10.83%
1702.91/1703.27 c 1703s| 17300 | 9455 | 6310k| 362.6 | 61M| 56 | 208 | 462 |5852 | 462 |6229 | 670 | 0 |1867 |-6.871512e+01 |-6.200000e+01 | 10.83%
1712.10/1712.48 c 1712s| 17400 | 9517 | 6347k| 362.6 | 61M| 56 | 204 | 462 |5852 | 462 |6229 | 670 | 0 |1880 |-6.871173e+01 |-6.200000e+01 | 10.83%
1717.50/1717.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1717.50/1717.87 c 1718s| 17500 | 9555 | 6368k| 361.8 | 61M| 56 | 154 | 462 |5852 | 462 |6229 | 670 | 0 |1886 |-6.871173e+01 |-6.200000e+01 | 10.83%
1725.31/1725.65 c 1726s| 17600 | 9601 | 6401k| 361.6 | 61M| 56 | - | 462 |5852 | 462 |6229 | 670 | 0 |1889 |-6.871102e+01 |-6.200000e+01 | 10.82%
1732.61/1732.95 c 1733s| 17700 | 9643 | 6429k| 361.2 | 62M| 56 | - | 462 |5852 | 462 |6229 | 670 | 0 |1889 |-6.871015e+01 |-6.200000e+01 | 10.82%
1738.40/1738.77 c 1739s| 17800 | 9671 | 6453k| 360.5 | 62M| 56 | 143 | 462 |5852 | 462 |6229 | 670 | 0 |1889 |-6.870602e+01 |-6.200000e+01 | 10.82%
1741.71/1742.08 c 1742s| 17900 | 9683 | 6467k| 359.2 | 62M| 56 | - | 462 |5852 | 462 |6229 | 670 | 0 |1889 |-6.870562e+01 |-6.200000e+01 | 10.82%
1751.91/1752.28 c 1752s| 18000 | 9773 | 6508k| 359.5 | 62M| 56 | 167 | 462 |5852 | 462 |6229 | 670 | 0 |1890 |-6.870562e+01 |-6.200000e+01 | 10.82%
1760.71/1761.03 c 1761s| 18100 | 9855 | 6545k| 359.6 | 63M| 56 | - | 462 |5852 | 462 |6229 | 670 | 0 |1891 |-6.870277e+01 |-6.200000e+01 | 10.81%
1769.60/1769.98 c 1770s| 18200 | 9915 | 6582k| 359.6 | 63M| 56 | 174 | 462 |5852 | 462 |6229 | 670 | 0 |1893 |-6.870069e+01 |-6.200000e+01 | 10.81%
1772.10/1772.43 c 1772s| 18300 | 9945 | 6592k| 358.2 | 63M| 57 | 165 | 462 |5852 | 462 |6229 | 670 | 0 |1893 |-6.870069e+01 |-6.200000e+01 | 10.81%
1776.70/1777.04 c 1777s| 18400 | 9989 | 6608k| 357.1 | 63M| 57 | - | 462 |5852 | 462 |6229 | 670 | 0 |1903 |-6.870002e+01 |-6.200000e+01 | 10.81%
1780.61/1780.96 c 1781s| 18500 | 10013 | 6623k| 356.0 | 64M| 57 | 175 | 462 |5852 | 462 |6229 | 670 | 0 |1915 |-6.869874e+01 |-6.200000e+01 | 10.80%
1784.19/1784.56 c 1785s| 18600 | 10037 | 6636k| 354.8 | 64M| 57 | 173 | 462 |5852 | 462 |6229 | 670 | 0 |1919 |-6.869738e+01 |-6.200000e+01 | 10.80%
1791.90/1792.26 c 1792s| 18700 | 10091 | 6663k| 354.4 | 64M| 57 | 222 | 462 |5852 | 462 |6229 | 670 | 0 |1933 |-6.869624e+01 |-6.200000e+01 | 10.80%
1796.69/1797.01 c
1796.69/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.01 c Solving Time (sec) : 1797.01
1796.69/1797.01 c Solving Nodes : 18755
1796.69/1797.01 c Primal Bound : -6.20000000000000e+01 (621 solutions)
1796.69/1797.01 c Dual Bound : -6.86962406609696e+01
1796.69/1797.01 c Gap : 10.80 %
1796.69/1797.01 s SATISFIABLE
1796.69/1797.01 v -x462 -x461 x460 -x459 -x458 x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 x447 -x446 -x445 -x444 -x443 x442 -x441
1796.69/1797.01 v -x440 x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 x430 -x429 -x428 -x427 x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419
1796.69/1797.01 v -x418 -x417 x416 -x415 -x414 -x413 x412 -x411 -x410 -x409 -x408 x407 x406 -x405 -x404 -x403 -x402 -x401 -x400 x399 -x398
1796.69/1797.01 v -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377
1796.69/1797.01 v -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 x368 x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 x356 x355
1796.69/1797.01 v -x354 -x353 -x352 -x351 -x350 x349 -x348 -x347 -x346 -x345 -x344 -x343 x342 -x341 x340 -x339 -x338 -x337 -x336 -x335 -x334
1796.69/1797.01 v -x333 x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 x323 -x322 -x321 x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313
1796.69/1797.01 v -x312 -x311 -x310 x309 -x308 -x307 -x306 -x305 -x304 x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291
1796.69/1797.01 v -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270
1796.69/1797.01 v -x269 -x268 x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 x257 x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249
1796.69/1797.01 v -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 x229 -x228
1796.69/1797.01 v -x227 -x226 -x225 -x224 -x223 x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 x212 -x211 -x210 x209 -x208 -x207 -x206
1796.69/1797.01 v -x205 -x204 -x203 -x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189 -x188 -x187 x186 -x185
1796.69/1797.01 v -x184 -x183 x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 x170 -x169 -x168 -x167 -x166 -x165 -x164
1796.69/1797.01 v -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142
1796.69/1797.01 v -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 -x125 x124 -x123 -x122 -x121
1796.69/1797.01 v -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 x102 -x101 -x100
1796.69/1797.01 v -x99 -x98 -x97 -x96 -x95 -x94 x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 x80 -x79 -x78 -x77 x76 -x75
1796.69/1797.01 v -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 x53 -x52 -x51 x50 -x49
1796.69/1797.01 v -x48 -x47 -x46 -x45 x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 x29 -x28 -x27 x26 -x25 -x24 -x23
1796.69/1797.01 v x22 -x21 -x20 -x19 -x18 -x17 -x16 x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 x3 -x2 -x1
1796.69/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.01 c Total Time : 1797.01
1796.69/1797.01 c solving : 1797.01
1796.69/1797.01 c presolving : 0.08 (included in solving)
1796.69/1797.01 c reading : 0.01 (included in solving)
1796.69/1797.01 c copying : 0.12 (9 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.69/1797.01 c Original Problem :
1796.69/1797.01 c Problem name : HOME/instance-3691332-1338024410.opb
1796.69/1797.01 c Variables : 462 (462 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.01 c Constraints : 5852 initial, 5852 maximal
1796.69/1797.01 c Objective sense : minimize
1796.69/1797.01 c Presolved Problem :
1796.69/1797.01 c Problem name : t_HOME/instance-3691332-1338024410.opb
1796.69/1797.01 c Variables : 462 (462 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.01 c Constraints : 5852 initial, 5852 maximal
1796.69/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.69/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c probing : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c setppc : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c linear : 0.05 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c root node : - - 0 - - 0 - - - - -
1796.69/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.69/1797.01 c integral : 0 0 0 0 14618 0 626 0 15 227 0 0 28874
1796.69/1797.01 c setppc : 5852 5852 70 90041 0 2 621 0 0 190421 0 0 0
1796.69/1797.01 c countsols : 0 0 0 0 0 2 624 0 0 0 0 0 0
1796.69/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.69/1797.01 c integral : 159.29 0.00 0.00 0.00 159.29 0.00 0.00 0.00
1796.69/1797.01 c setppc : 5.28 0.00 0.02 5.20 0.00 0.00 0.05 0.00
1796.69/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.69/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.69/1797.01 c rootredcost : 8 0 0 0
1796.69/1797.01 c pseudoobj : 104610 0 0 0
1796.69/1797.01 c vbounds : 0 0 0 0
1796.69/1797.01 c redcost : 20424 0 0 70151
1796.69/1797.01 c probing : 0 0 0 0
1796.69/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.69/1797.01 c rootredcost : 0.09 0.00 0.00 0.09 0.00
1796.69/1797.01 c pseudoobj : 0.30 0.00 0.00 0.30 0.00
1796.69/1797.01 c vbounds : 0.09 0.00 0.00 0.09 0.00
1796.69/1797.01 c redcost : 0.43 0.00 0.00 0.43 0.00
1796.69/1797.01 c probing : 0.01 0.00 0.01 0.00 0.00
1796.69/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.69/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.01 c applied globally : - - - 0 0.0 - - -
1796.69/1797.01 c applied locally : - - - 0 0.0 - - -
1796.69/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.69/1797.01 c cut pool : 0.03 69 - - 87 - (maximal pool size: 1540)
1796.69/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c impliedbounds : 0.01 0.00 70 0 0 0 0
1796.69/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c gomory : 0.03 0.00 10 0 0 500 0
1796.69/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c strongcg : 0.57 0.00 20 0 0 9962 0
1796.69/1797.01 c cmir : 0.16 0.00 10 0 0 0 0
1796.69/1797.01 c flowcover : 0.14 0.00 10 0 0 0 0
1796.69/1797.01 c clique : 0.14 0.00 70 0 0 532 0
1796.69/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c mcf : 0.00 0.00 1 0 0 0 0
1796.69/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c rapidlearning : 0.15 0.00 1 0 0 0 0
1796.69/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.69/1797.01 c problem variables: 0.00 - 0 0
1796.69/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.69/1797.01 c relpscost : 159.23 0.00 14618 15 227 0 0 28874
1796.69/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c inference : 0.00 0.00 2 0 0 0 0 4
1796.69/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.69/1797.01 c LP solutions : 0.00 - - 0
1796.69/1797.01 c pseudo solutions : 0.00 - - 0
1796.69/1797.01 c feaspump : 0.00 0.00 0 0
1796.69/1797.01 c intshifting : 0.00 0.00 0 0
1796.69/1797.01 c oneopt : 0.02 0.00 5 0
1796.69/1797.01 c crossover : 0.53 0.00 7 2
1796.69/1797.01 c fracdiving : 65.99 0.00 45 6
1796.69/1797.01 c objpscostdiving : 84.50 0.00 47 136
1796.69/1797.01 c rootsoldiving : 71.37 0.00 89 160
1796.69/1797.01 c veclendiving : 77.96 0.00 192 3
1796.69/1797.01 c pscostdiving : 77.82 0.00 274 63
1796.69/1797.01 c coefdiving : 110.47 0.00 285 50
1796.69/1797.01 c linesearchdiving : 87.16 0.00 286 108
1796.69/1797.01 c smallcard : 0.00 0.00 0 0
1796.69/1797.01 c trivial : 0.00 0.00 2 1
1796.69/1797.01 c shiftandpropagate: 0.00 0.00 0 0
1796.69/1797.01 c simplerounding : 0.39 0.00 14687 42
1796.69/1797.01 c zirounding : 1.26 0.00 2301 46
1796.69/1797.01 c rounding : 8.04 0.00 5333 1
1796.69/1797.01 c shifting : 2.20 0.00 1341 1
1796.69/1797.01 c twoopt : 0.00 0.00 0 0
1796.69/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.69/1797.01 c indoneopt : 0.05 0.00 0 0
1796.69/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.69/1797.01 c clique : 0.00 0.00 0 0
1796.69/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.69/1797.01 c indrounding : 0.00 0.00 0 0
1796.69/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.69/1797.01 c intdiving : 0.00 0.00 0 0
1796.69/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.69/1797.01 c guideddiving : 64.88 0.00 49 1
1796.69/1797.01 c octane : 0.00 0.00 0 0
1796.69/1797.01 c rens : 0.02 0.00 0 0
1796.69/1797.01 c rins : 0.00 0.00 0 0
1796.69/1797.01 c localbranching : 0.00 0.00 0 0
1796.69/1797.01 c mutation : 0.00 0.00 0 0
1796.69/1797.01 c dins : 0.00 0.00 0 0
1796.69/1797.01 c vbounds : 0.00 0.00 0 0
1796.69/1797.01 c undercover : 0.00 0.00 0 0
1796.69/1797.01 c subnlp : 0.02 0.00 0 0
1796.69/1797.01 c trysol : 0.03 0.00 0 0
1796.69/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.69/1797.01 c primal LP : 0.05 11 0 0.00 0.00 0.05 11
1796.69/1797.01 c dual LP : 966.02 24863 3942347 207.61 4081.02 4.57 5874
1796.69/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.69/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.69/1797.01 c diving/probing LP: 617.38 44953 2738339 60.92 4435.40
1796.69/1797.01 c strong branching : 158.31 1940 551794 284.43 3485.54
1796.69/1797.01 c (at root node) : - 39 23787 609.92 -
1796.69/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.69/1797.01 c B&B Tree :
1796.69/1797.01 c number of runs : 1
1796.69/1797.01 c nodes : 18755
1796.69/1797.01 c nodes (total) : 18755
1796.69/1797.01 c nodes left : 10124
1796.69/1797.01 c max depth : 57
1796.69/1797.01 c max depth (total): 57
1796.69/1797.01 c backtracks : 3372 (18.0%)
1796.69/1797.01 c delayed cutoffs : 0
1796.69/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.69/1797.01 c avg switch length: 5.81
1796.69/1797.01 c switching time : 3.10
1796.69/1797.01 c Solution :
1796.69/1797.01 c Solutions found : 621 (11 improvements)
1796.69/1797.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1796.69/1797.01 c Primal Bound : -6.20000000000000e+01 (in run 1, after 256 nodes, 161.46 seconds, depth 43, found by <linesearchdiving>)
1796.69/1797.01 c Dual Bound : -6.86962406609696e+01
1796.69/1797.01 c Gap : 10.80 %
1796.69/1797.01 c Root Dual Bound : -7.02704326923077e+01
1796.69/1797.01 c Root Iterations : 37774
1796.69/1797.07 c Time complete: 1796.76.
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-3691332-1338024410/watcher-3691332-1338024410 -o /tmp/evaluation-result-3691332-1338024410/solver-3691332-1338024410 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691332-1338024410.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.99 3/176 866
/proc/meminfo: memFree=27935388/32873844 swapFree=6868/6868
[pid=866] ppid=864 vsize=8136 CPUtime=0 cores=1,3,5,7
/proc/866/stat : 866 (scip-2.1.1.4fix) R 864 866 31651 0 -1 4202496 814 0 0 0 0 0 0 0 20 0 1 0 268508039 8331264 768 33554432000 4194304 10173063 140737218106960 140737198659896 8846909 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 2034 776 392 1460 0 565 0
[startup+0.077927 s]
/proc/loadavg: 2.00 2.00 1.99 3/176 866
/proc/meminfo: memFree=27935388/32873844 swapFree=6868/6868
[pid=866] ppid=864 vsize=26284 CPUtime=0.06 cores=1,3,5,7
/proc/866/stat : 866 (scip-2.1.1.4fix) R 864 866 31651 0 -1 4202496 5374 0 0 0 5 1 0 0 20 0 1 0 268508039 26914816 5071 33554432000 4194304 10173063 140737218106960 140737217971496 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 6571 5071 561 1460 0 5102 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 26284
[startup+0.100335 s]
/proc/loadavg: 2.00 2.00 1.99 3/176 866
/proc/meminfo: memFree=27935388/32873844 swapFree=6868/6868
[pid=866] ppid=864 vsize=27532 CPUtime=0.09 cores=1,3,5,7
/proc/866/stat : 866 (scip-2.1.1.4fix) R 864 866 31651 0 -1 4202496 5895 0 0 0 6 3 0 0 20 0 1 0 268508039 28192768 5404 33554432000 4194304 10173063 140737218106960 140737217971496 4261637 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 6883 5404 581 1460 0 5414 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27532
[startup+0.300321 s]
/proc/loadavg: 2.00 2.00 1.99 3/176 866
/proc/meminfo: memFree=27935388/32873844 swapFree=6868/6868
[pid=866] ppid=864 vsize=53060 CPUtime=0.29 cores=1,3,5,7
/proc/866/stat : 866 (scip-2.1.1.4fix) R 864 866 31651 0 -1 4202496 12399 0 0 0 21 8 0 0 20 0 1 0 268508039 54333440 11721 33554432000 4194304 10173063 140737218106960 140737218101528 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 13265 11721 785 1460 0 11796 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53060
[startup+0.700273 s]
/proc/loadavg: 2.00 2.00 1.99 3/176 866
/proc/meminfo: memFree=27935388/32873844 swapFree=6868/6868
[pid=866] ppid=864 vsize=37904 CPUtime=0.69 cores=1,3,5,7
/proc/866/stat : 866 (scip-2.1.1.4fix) R 864 866 31651 0 -1 4202496 13099 0 0 0 59 10 0 0 20 0 1 0 268508039 38813696 8283 33554432000 4194304 10173063 140737218106960 140737218101528 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 9476 8283 822 1460 0 8007 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37904
[startup+1.50031 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 867
/proc/meminfo: memFree=27905340/32873844 swapFree=6868/6868
[pid=866] ppid=864 vsize=38504 CPUtime=1.48 cores=1,3,5,7
/proc/866/stat : 866 (scip-2.1.1.4fix) R 864 866 31651 0 -1 4202496 13316 0 0 0 138 10 0 0 20 0 1 0 268508039 39428096 8500 33554432000 4194304 10173063 140737218106960 140737218100600 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 9626 8500 823 1460 0 8157 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 38504
[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 867
/proc/meminfo: memFree=27902488/32873844 swapFree=6868/6868
[pid=866] ppid=864 vsize=44140 CPUtime=3.08 cores=1,3,5,7
/proc/866/stat : 866 (scip-2.1.1.4fix) R 864 866 31651 0 -1 4202496 14638 0 0 0 296 12 0 0 20 0 1 0 268508039 45199360 9783 33554432000 4194304 10173063 140737218106960 140737218100216 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 11035 9783 823 1460 0 9566 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 44140
[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 867
/proc/meminfo: memFree=27897892/32873844 swapFree=6868/6868
[pid=866] ppid=864 vsize=44140 CPUtime=6.28 cores=1,3,5,7
/proc/866/stat : 866 (scip-2.1.1.4fix) R 864 866 31651 0 -1 4202496 14734 0 0 0 614 14 0 0 20 0 1 0 268508039 45199360 9879 33554432000 4194304 10173063 140737218106960 140737218100216 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 11035 9879 823 1460 0 9566 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 44140
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 867
/proc/meminfo: memFree=27897404/32873844 swapFree=6868/6868
[pid=866] ppid=864 vsize=44804 CPUtime=12.68 cores=1,3,5,7
/proc/866/stat : 866 (scip-2.1.1.4fix) R 864 866 31651 0 -1 4202496 16351 0 0 0 1250 18 0 0 20 0 1 0 268508039 45879296 10029 33554432000 4194304 10173063 140737218106960 140737218100408 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 11201 10029 828 1460 0 9732 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 44804
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 867
/proc/meminfo: memFree=27897148/32873844 swapFree=6868/6868
[pid=866] ppid=864 vsize=44804 CPUtime=25.49 cores=1,3,5,7
/proc/866/stat : 866 (scip-2.1.1.4fix) R 864 866 31651 0 -1 4202496 16404 0 0 0 2523 26 0 0 20 0 1 0 268508039 45879296 10082 33554432000 4194304 10173063 140737218106960 140737218100456 8046938 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 11201 10082 830 1460 0 9732 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 44804
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 867
/proc/meminfo: memFree=27897612/32873844 swapFree=6868/6868
[pid=866] ppid=864 vsize=44716 CPUtime=51.08 cores=1,3,5,7
/proc/866/stat : 866 (scip-2.1.1.4fix) R 864 866 31651 0 -1 4202496 18206 0 0 0 5067 41 0 0 20 0 1 0 268508039 45789184 10045 33554432000 4194304 10173063 140737218106960 140737218100456 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 11179 10045 830 1460 0 9710 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 44716
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 868
/proc/meminfo: memFree=27881276/32873844 swapFree=6868/6868
[pid=866] ppid=864 vsize=46580 CPUtime=102.28 cores=1,3,5,7
/proc/866/stat : 866 (scip-2.1.1.4fix) R 864 866 31651 0 -1 4202496 19893 0 0 0 10153 75 0 0 20 0 1 0 268508039 47697920 10491 33554432000 4194304 10173063 140737218106960 140737218100312 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 11645 10491 833 1460 0 10176 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 46580
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 868
/proc/meminfo: memFree=27880312/32873844 swapFree=6868/6868
[pid=866] ppid=864 vsize=46924 CPUtime=162.26 cores=1,3,5,7
/proc/866/stat : 866 (scip-2.1.1.4fix) R 864 866 31651 0 -1 4202496 19962 0 0 0 16118 108 0 0 20 0 1 0 268508039 48050176 10560 33554432000 4194304 10173063 140737218106960 140737218099832 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 11731 10560 833 1460 0 10262 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 46924
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 909
/proc/meminfo: memFree=28640548/32873844 swapFree=6868/6868
[pid=866] ppid=864 vsize=48516 CPUtime=222.25 cores=1,3,5,7
/proc/866/stat : 866 (scip-2.1.1.4fix) R 864 866 31651 0 -1 4202496 22680 0 0 0 22079 146 0 0 20 0 1 0 268508039 49680384 10978 33554432000 4194304 10173063 140737218106960 140737218099624 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 12129 10978 833 1460 0 10660 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 48516
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 909
/proc/meminfo: memFree=28563396/32873844 swapFree=6868/6868
[pid=866] ppid=864 vsize=49252 CPUtime=282.23 cores=1,3,5,7
/proc/866/stat : 866 (scip-2.1.1.4fix) R 864 866 31651 0 -1 4202496 26957 0 0 0 28035 188 0 0 20 0 1 0 268508039 50434048 11489 33554432000 4194304 10173063 140737218106960 140737218099832 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 12313 11489 837 1460 0 10844 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 49252
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 909
/proc/meminfo: memFree=28434960/32873844 swapFree=6868/6868
[pid=866] ppid=864 vsize=51108 CPUtime=342.22 cores=1,3,5,7
/proc/866/stat : 866 (scip-2.1.1.4fix) R 864 866 31651 0 -1 4202496 31102 0 0 0 33991 231 0 0 20 0 1 0 268508039 52334592 11877 33554432000 4194304 10173063 140737218106960 140737218100264 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 12777 11877 837 1460 0 11308 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 51108
[startup+402.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 910
/proc/meminfo: memFree=28378336/32873844 swapFree=6868/6868
[pid=866] ppid=864 vsize=52576 CPUtime=402.21 cores=1,3,5,7
/proc/866/stat : 866 (scip-2.1.1.4fix) R 864 866 31651 0 -1 4202496 31484 0 0 0 39951 270 0 0 20 0 1 0 268508039 53837824 12259 33554432000 4194304 10173063 140737218106960 140737218099976 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 13144 12259 837 1460 0 11675 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 52576
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 910
/proc/meminfo: memFree=28286036/32873844 swapFree=6868/6868
[pid=866] ppid=864 vsize=55024 CPUtime=462.21 cores=1,3,5,7
/proc/866/stat : 866 (scip-2.1.1.4fix) R 864 866 31651 0 -1 4202496 35857 0 0 0 45906 315 0 0 20 0 1 0 268508039 56344576 12865 33554432000 4194304 10173063 140737218106960 140737218100408 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 13756 12865 841 1460 0 12287 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 55024
[startup+522.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 910
/proc/meminfo: memFree=28279832/32873844 swapFree=6868/6868
[pid=866] ppid=864 vsize=56672 CPUtime=522.19 cores=1,3,5,7
/proc/866/stat : 866 (scip-2.1.1.4fix) R 864 866 31651 0 -1 4202496 36313 0 0 0 51868 351 0 0 20 0 1 0 268508039 58032128 13321 33554432000 4194304 10173063 140737218106960 140737218100056 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 14168 13321 841 1460 0 12699 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 56672
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 910
/proc/meminfo: memFree=28274732/32873844 swapFree=6868/6868
[pid=866] ppid=864 vsize=59904 CPUtime=582.19 cores=1,3,5,7
/proc/866/stat : 866 (scip-2.1.1.4fix) R 864 866 31651 0 -1 4202496 40862 0 0 0 57827 392 0 0 20 0 1 0 268508039 61341696 14141 33554432000 4194304 10173063 140737218106960 140737218100312 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 14976 14141 841 1460 0 13507 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 59904
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28251992/32873844 swapFree=6868/6868
[pid=866] ppid=864 vsize=80904 CPUtime=1122.09 cores=1,3,5,7
/proc/866/stat : 866 (scip-2.1.1.4fix) R 864 866 31651 0 -1 4202496 54142 0 0 0 111477 732 0 0 20 0 1 0 268508039 82845696 19414 33554432000 4194304 10173063 140737218106960 140737218100216 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 20226 19414 841 1460 0 18757 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 80904
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 916
/proc/meminfo: memFree=28262108/32873844 swapFree=6868/6868
[pid=866] ppid=864 vsize=81120 CPUtime=1182.08 cores=1,3,5,7
/proc/866/stat : 866 (scip-2.1.1.4fix) R 864 866 31651 0 -1 4202496 54189 0 0 0 117436 772 0 0 20 0 1 0 268508039 83066880 19461 33554432000 4194304 10173063 140737218106960 140737218100216 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 20280 19461 841 1460 0 18811 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 81120
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 916
/proc/meminfo: memFree=28264716/32873844 swapFree=6868/6868
[pid=866] ppid=864 vsize=82608 CPUtime=1242.08 cores=1,3,5,7
/proc/866/stat : 866 (scip-2.1.1.4fix) R 864 866 31651 0 -1 4202496 54551 0 0 0 123398 810 0 0 20 0 1 0 268508039 84590592 19823 33554432000 4194304 10173063 140737218106960 140737218100600 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 20652 19823 841 1460 0 19183 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 82608
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 916
/proc/meminfo: memFree=28263424/32873844 swapFree=6868/6868
[pid=866] ppid=864 vsize=86720 CPUtime=1302.08 cores=1,3,5,7
/proc/866/stat : 866 (scip-2.1.1.4fix) R 864 866 31651 0 -1 4202496 55546 0 0 0 129358 850 0 0 20 0 1 0 268508039 88801280 20818 33554432000 4194304 10173063 140737218106960 140737218100216 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 21680 20818 841 1460 0 20211 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 86720
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 918
/proc/meminfo: memFree=28273720/32873844 swapFree=6868/6868
[pid=866] ppid=864 vsize=88276 CPUtime=1362.06 cores=1,3,5,7
/proc/866/stat : 866 (scip-2.1.1.4fix) R 864 866 31651 0 -1 4202496 55938 0 0 0 135314 892 0 0 20 0 1 0 268508039 90394624 21210 33554432000 4194304 10173063 140737218106960 140737218100216 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 22069 21210 841 1460 0 20600 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 88276
[startup+1422.31 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 921
/proc/meminfo: memFree=28367676/32873844 swapFree=6868/6868
[pid=866] ppid=864 vsize=92804 CPUtime=1422.05 cores=1,3,5,7
/proc/866/stat : 866 (scip-2.1.1.4fix) R 864 866 31651 0 -1 4202496 57024 0 0 0 141271 934 0 0 20 0 1 0 268508039 95031296 22296 33554432000 4194304 10173063 140737218106960 140737218101928 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 23201 22296 841 1460 0 21732 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 92804
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 921
/proc/meminfo: memFree=28355024/32873844 swapFree=6868/6868
[pid=866] ppid=864 vsize=94916 CPUtime=1482.04 cores=1,3,5,7
/proc/866/stat : 866 (scip-2.1.1.4fix) R 864 866 31651 0 -1 4202496 57575 0 0 0 147230 974 0 0 20 0 1 0 268508039 97193984 22847 33554432000 4194304 10173063 140737218106960 140737218100216 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 23729 22847 841 1460 0 22260 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 94916
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 921
/proc/meminfo: memFree=28242888/32873844 swapFree=6868/6868
[pid=866] ppid=864 vsize=96448 CPUtime=1542.03 cores=1,3,5,7
/proc/866/stat : 866 (scip-2.1.1.4fix) R 864 866 31651 0 -1 4202496 57994 0 0 0 153189 1014 0 0 20 0 1 0 268508039 98762752 23266 33554432000 4194304 10173063 140737218106960 140737218100408 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 24112 23266 841 1460 0 22643 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 96448
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 921
/proc/meminfo: memFree=28201652/32873844 swapFree=6868/6868
[pid=866] ppid=864 vsize=97720 CPUtime=1602.03 cores=1,3,5,7
/proc/866/stat : 866 (scip-2.1.1.4fix) R 864 866 31651 0 -1 4202496 58244 0 0 0 159150 1053 0 0 20 0 1 0 268508039 100065280 23516 33554432000 4194304 10173063 140737218106960 140737218100216 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 24430 23516 841 1460 0 22961 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 97720
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 922
/proc/meminfo: memFree=28198428/32873844 swapFree=6868/6868
[pid=866] ppid=864 vsize=100764 CPUtime=1662.01 cores=1,3,5,7
/proc/866/stat : 866 (scip-2.1.1.4fix) R 864 866 31651 0 -1 4202496 59008 0 0 0 165107 1094 0 0 20 0 1 0 268508039 103182336 24280 33554432000 4194304 10173063 140737218106960 140737218100216 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 25191 24280 841 1460 0 23722 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 100764
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 922
/proc/meminfo: memFree=28196568/32873844 swapFree=6868/6868
[pid=866] ppid=864 vsize=102760 CPUtime=1722 cores=1,3,5,7
/proc/866/stat : 866 (scip-2.1.1.4fix) R 864 866 31651 0 -1 4202496 63403 0 0 0 171072 1128 0 0 20 0 1 0 268508039 105226240 24781 33554432000 4194304 10173063 140737218106960 140737218100216 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 25690 24781 841 1460 0 24221 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 102760
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 922
/proc/meminfo: memFree=28194460/32873844 swapFree=6868/6868
[pid=866] ppid=864 vsize=104708 CPUtime=1782 cores=1,3,5,7
/proc/866/stat : 866 (scip-2.1.1.4fix) R 864 866 31651 0 -1 4202496 63878 0 0 0 177036 1164 0 0 20 0 1 0 268508039 107220992 25256 33554432000 4194304 10173063 140737218106960 140737218100216 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 26177 25256 841 1460 0 24708 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 104708
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 922
/proc/meminfo: memFree=28194272/32873844 swapFree=6868/6868
[pid=866] ppid=864 vsize=104708 CPUtime=1785.2 cores=1,3,5,7
/proc/866/stat : 866 (scip-2.1.1.4fix) R 864 866 31651 0 -1 4202496 63878 0 0 0 177353 1167 0 0 20 0 1 0 268508039 107220992 25256 33554432000 4194304 10173063 140737218106960 140737218100600 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 26177 25256 841 1460 0 24708 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 104708
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 922
/proc/meminfo: memFree=28194272/32873844 swapFree=6868/6868
[pid=866] ppid=864 vsize=104708 CPUtime=1791.61 cores=1,3,5,7
/proc/866/stat : 866 (scip-2.1.1.4fix) R 864 866 31651 0 -1 4202496 63883 0 0 0 177990 1171 0 0 20 0 1 0 268508039 107220992 25261 33554432000 4194304 10173063 140737218106960 140737218100216 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 26177 25261 841 1460 0 24708 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 104708
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 922
/proc/meminfo: memFree=28193520/32873844 swapFree=6868/6868
[pid=866] ppid=864 vsize=105532 CPUtime=1794.79 cores=1,3,5,7
/proc/866/stat : 866 (scip-2.1.1.4fix) R 864 866 31651 0 -1 4202496 64151 0 0 0 178307 1172 0 0 20 0 1 0 268508039 108064768 25529 33554432000 4194304 10173063 140737218106960 140737218100216 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 26383 25529 841 1460 0 24914 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 105532
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 922
/proc/meminfo: memFree=28193520/32873844 swapFree=6868/6868
[pid=866] ppid=864 vsize=105532 CPUtime=1795.59 cores=1,3,5,7
/proc/866/stat : 866 (scip-2.1.1.4fix) R 864 866 31651 0 -1 4202496 64151 0 0 0 178386 1173 0 0 20 0 1 0 268508039 108064768 25529 33554432000 4194304 10173063 140737218106960 140737218100264 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 26383 25529 841 1460 0 24914 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (KiB) 105532
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 922
/proc/meminfo: memFree=28193272/32873844 swapFree=6868/6868
[pid=866] ppid=864 vsize=105532 CPUtime=1796.39 cores=1,3,5,7
/proc/866/stat : 866 (scip-2.1.1.4fix) R 864 866 31651 0 -1 4202496 64151 0 0 0 178465 1174 0 0 20 0 1 0 268508039 108064768 25529 33554432000 4194304 10173063 140737218106960 140737218099480 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 26383 25529 841 1460 0 24914 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 105532
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 922
/proc/meminfo: memFree=28193272/32873844 swapFree=6868/6868
[pid=866] ppid=864 vsize=105532 CPUtime=1796.59 cores=1,3,5,7
/proc/866/stat : 866 (scip-2.1.1.4fix) R 864 866 31651 0 -1 4202496 64151 0 0 0 178485 1174 0 0 20 0 1 0 268508039 108064768 25529 33554432000 4194304 10173063 140737218106960 140737218099480 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 26383 25529 841 1460 0 24914 0
Current children cumulated CPU time (s) 1796.59
Current children cumulated vsize (KiB) 105532
[startup+1797 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 922
/proc/meminfo: memFree=28193272/32873844 swapFree=6868/6868
[pid=866] ppid=864 vsize=105532 CPUtime=1796.69 cores=1,3,5,7
/proc/866/stat : 866 (scip-2.1.1.4fix) R 864 866 31651 0 -1 4202496 64151 0 0 0 178495 1174 0 0 20 0 1 0 268508039 108064768 25529 33554432000 4194304 10173063 140737218106960 140737218099480 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 26383 25529 841 1460 0 24914 0
Current children cumulated CPU time (s) 1796.69
Current children cumulated vsize (KiB) 105532
Child status: 0
Real time (s): 1797.08
CPU time (s): 1796.78
CPU user time (s): 1785.03
CPU system time (s): 11.7492
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 116080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.03
system time used= 11.7492
maximum resident set size= 113656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64155
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= 26
involuntary context switches= 1948
runsolver used 3.01854 second user time and 8.47271 second system time
The end