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-3717713-1338200295.wbo>
0.00/0.01 c original problem has 2938 variables (2938 bin, 0 int, 0 impl, 0 cont) and 2708 constraints
0.00/0.01 c problem read in 0.01
0.00/0.04 o 136367
0.00/0.04 c feasible solution found by trivial heuristic, objective value 1.363670e+05
0.00/0.04 c presolving:
0.00/0.05 c (round 1) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.06 c (round 2) 0 del vars, 1 del conss, 0 add conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.06/0.08 c (0.1s) probing: 51/2938 (1.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.06/0.08 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.06/0.08 c presolving (3 rounds):
0.06/0.08 c 0 deleted vars, 1 deleted constraints, 0 added constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.06/0.08 c 2707 implications, 0 cliques
0.06/0.08 c presolved problem has 5645 variables (2938 bin, 0 int, 2707 impl, 0 cont) and 5414 constraints
0.06/0.08 c 2707 constraints of type <linear>
0.06/0.08 c 2707 constraints of type <indicator>
0.06/0.08 c transformed objective value is always integral (scale: 1)
0.06/0.08 c Presolving Time: 0.06
0.06/0.08 c - non default parameters ----------------------------------------------------------------------
0.06/0.08 c # SCIP version 2.1.1.4
0.06/0.08 c
0.06/0.08 c # maximal time in seconds to run
0.06/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.06/0.08 c limits/time = 1797
0.06/0.08 c
0.06/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.06/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.06/0.08 c limits/memory = 13950
0.06/0.08 c
0.06/0.08 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.06/0.08 c # [type: int, range: [1,2], default: 1]
0.06/0.08 c timing/clocktype = 2
0.06/0.08 c
0.06/0.08 c # belongs reading time to solving time?
0.06/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.06/0.08 c timing/reading = TRUE
0.06/0.08 c
0.06/0.08 c # force restart if we have a max FS instance and gap is 1?
0.06/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.06/0.08 c constraints/indicator/forcerestart = TRUE
0.06/0.08 c
0.06/0.08 c # priority of branching rule <inference>
0.06/0.08 c # [type: int, range: [-536870912,536870911], default: 1000]
0.06/0.08 c branching/inference/priority = 1000000
0.06/0.08 c
0.06/0.08 c # frequency offset for calling primal heuristic <coefdiving>
0.06/0.08 c # [type: int, range: [0,2147483647], default: 1]
0.06/0.08 c heuristics/coefdiving/freqofs = 0
0.06/0.08 c
0.06/0.08 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.06/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.06/0.08 c heuristics/shiftandpropagate/freq = -1
0.06/0.08 c
0.06/0.08 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.06/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.06/0.08 c heuristics/undercover/freq = -1
0.06/0.08 c
0.06/0.08 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.06/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.06/0.08 c separating/rapidlearning/freq = 0
0.06/0.08 c
0.06/0.08 c # frequency for calling primal heuristic <indrounding> (-1: never, 0: only at depth freqofs)
0.06/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.06/0.08 c heuristics/indrounding/freq = 1
0.06/0.08 c
0.06/0.08 c -----------------------------------------------------------------------------------------------
0.06/0.08 c start solving
0.06/0.09 c
0.06/0.09 o 1389
0.06/0.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.06/0.09 c 6 0.1s| 1 | 0 | 0 | - | 14M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | -- | 1.389000e+03 | Inf
0.08/0.12 o 492
0.08/0.12 c 6 0.1s| 1 | 0 | 0 | - | 15M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | -- | 4.920000e+02 | Inf
0.08/0.16 c 0.2s| 1 | 0 | 220 | - | 19M| 0 | 31 |5645 |5414 |5645 |5414 | 0 | 0 | 0 | 0.000000e+00 | 4.920000e+02 | Inf
0.08/0.18 o 300
0.08/0.18 c 6 0.2s| 1 | 0 | 220 | - | 20M| 0 | 31 |5645 |5414 |5645 |5414 | 0 | 0 | 0 | 0.000000e+00 | 3.000000e+02 | Inf
0.79/0.86 o 221
0.79/0.86 c y 0.9s| 1 | 0 | 220 | - | 21M| 0 | 31 |5645 |5414 |5645 |5414 | 0 | 0 | 0 | 0.000000e+00 | 2.210000e+02 | Inf
0.79/0.90 c 0.9s| 1 | 0 | 249 | - | 20M| 0 | 40 |5645 |5414 |5645 |5415 | 1 | 0 | 0 | 0.000000e+00 | 2.210000e+02 | Inf
0.99/1.09 c 1.1s| 1 | 0 | 255 | - | 20M| 0 | 41 |5645 |5414 |5645 |5418 | 4 | 0 | 0 | 0.000000e+00 | 2.210000e+02 | Inf
1.28/1.33 c 1.3s| 1 | 0 | 275 | - | 20M| 0 | 43 |5645 |5414 |5645 |5419 | 5 | 0 | 0 | 0.000000e+00 | 2.210000e+02 | Inf
1.69/1.73 c 1.7s| 1 | 0 | 290 | - | 20M| 0 | 47 |5645 |5414 |5645 |5420 | 6 | 0 | 0 | 0.000000e+00 | 2.210000e+02 | Inf
2.09/2.19 c 2.2s| 1 | 0 | 322 | - | 20M| 0 | 53 |5645 |5414 |5645 |5421 | 7 | 0 | 0 | 0.000000e+00 | 2.210000e+02 | Inf
2.59/2.65 c 2.7s| 1 | 0 | 369 | - | 21M| 0 | 48 |5645 |5414 |5645 |5423 | 9 | 0 | 0 | 0.000000e+00 | 2.210000e+02 | Inf
3.38/3.48 c 3.5s| 1 | 2 | 2199 | - | 21M| 0 | 48 |5645 |5414 |5645 |5423 | 9 | 0 | 0 | 0.000000e+00 | 2.210000e+02 | Inf
3.89/3.91 o 28
3.89/3.91 c p 3.9s| 6 | 7 | 4301 | 786.4 | 22M| 5 | - |5645 |5414 |5645 |5422 | 9 | 0 | 0 | 0.000000e+00 | 2.800000e+01 | Inf
3.89/3.96 o 23
3.89/3.96 c 6 4.0s| 6 | 7 | 4378 | 801.8 | 22M| 5 | 49 |5645 |5415 |5645 |5422 | 9 | 1 | 0 | 0.000000e+00 | 2.300000e+01 | Inf
7.59/7.67 c 7.7s| 100 | 78 | 18253 | 180.6 | 23M| 20 | 25 |5645 |3362 |5645 |5422 | 9 | 79 | 0 | 0.000000e+00 | 2.300000e+01 | Inf
8.79/8.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.79/8.89 c 8.9s| 200 | 98 | 21927 | 108.3 | 24M| 21 | - |5645 |3454 | 0 | 0 | 9 | 171 | 0 | 0.000000e+00 | 2.300000e+01 | Inf
11.99/12.10 c 12.1s| 300 | 138 | 31234 | 103.2 | 24M| 21 | 42 |5645 |3552 |5645 |5422 | 9 | 269 | 0 | 0.000000e+00 | 2.300000e+01 | Inf
14.09/14.16 c 14.2s| 400 | 192 | 36709 | 91.1 | 25M| 21 | 29 |5645 |3654 |5645 |5422 | 9 | 371 | 0 | 0.000000e+00 | 2.300000e+01 | Inf
14.29/14.39 o 18
14.29/14.39 c f14.4s| 422 | 179 | 37310 | 87.7 | 25M| 21 | - |5645 |3675 |5645 |5422 | 9 | 392 | 0 | 0.000000e+00 | 1.800000e+01 | Inf
14.39/14.47 o 15
14.39/14.47 c l14.5s| 428 | 165 | 37409 | 86.7 | 25M| 21 | - |5645 |3551 |5645 |5422 | 9 | 399 | 0 | 0.000000e+00 | 1.500000e+01 | Inf
15.88/15.90 c 15.9s| 500 | 176 | 41182 | 81.8 | 25M| 22 | - |5645 |3527 |5645 |5422 | 9 | 447 | 0 | 0.000000e+00 | 1.500000e+01 | Inf
16.79/16.86 c 16.9s| 600 | 192 | 43594 | 72.2 | 25M| 24 | 12 |5645 |3607 |5645 |5422 | 9 | 527 | 0 | 0.000000e+00 | 1.500000e+01 | Inf
17.49/17.51 o 12
17.49/17.51 c 517.5s| 635 | 170 | 45215 | 70.7 | 25M| 24 | 2 |5645 |3651 |5645 |5422 | 9 | 571 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
18.19/18.29 c 18.3s| 700 | 180 | 47631 | 67.6 | 25M| 24 | - |5645 |3588 |5645 |5422 | 9 | 593 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
19.08/19.14 c 19.1s| 800 | 186 | 49747 | 61.8 | 25M| 26 | - |5645 |3650 |5645 |5422 | 9 | 655 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
20.08/20.17 c 20.2s| 900 | 202 | 52686 | 58.2 | 25M| 26 | - |5645 |3731 | 0 | 0 | 9 | 736 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
21.09/21.11 c 21.1s| 1000 | 199 | 54813 | 54.5 | 25M| 26 | 31 |5645 |3820 |5645 |5422 | 9 | 826 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
22.08/22.12 c 22.1s| 1100 | 206 | 57746 | 52.2 | 26M| 26 | - |5645 |3892 |5645 |5422 | 9 | 899 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
23.09/23.16 c 23.2s| 1200 | 224 | 60647 | 50.3 | 26M| 30 | 37 |5645 |3984 |5645 |5422 | 9 | 991 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
23.78/23.81 c 23.8s| 1300 | 231 | 62400 | 47.8 | 26M| 30 | - |5645 |4062 |5645 |5422 | 9 |1069 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
24.58/24.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.58/24.62 c 24.6s| 1400 | 243 | 64652 | 45.9 | 26M| 30 | 18 |5645 |4134 |5645 |5422 | 9 |1142 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
25.38/25.46 c 25.5s| 1500 | 245 | 67134 | 44.5 | 26M| 30 | - |5645 |4246 |5645 |5422 | 9 |1256 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
26.29/26.36 c 26.4s| 1600 | 248 | 68999 | 42.9 | 26M| 31 | 39 |5645 |4332 |5645 |5422 | 9 |1345 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
27.08/27.10 c 27.1s| 1700 | 253 | 71110 | 41.6 | 27M| 31 | 29 |5645 |4401 |5645 |5422 | 9 |1417 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
27.88/27.94 c 27.9s| 1800 | 267 | 73869 | 40.9 | 27M| 36 | - |5645 |4447 |5645 |5422 | 9 |1466 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
28.78/28.82 c 28.8s| 1900 | 280 | 76213 | 39.9 | 27M| 36 | 20 |5645 |4517 |5645 |5422 | 9 |1539 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
29.48/29.50 c 29.5s| 2000 | 282 | 78236 | 39.0 | 27M| 36 | 16 |5645 |4568 |5645 |5422 | 9 |1597 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
30.18/30.24 c 30.2s| 2100 | 290 | 80225 | 38.0 | 27M| 36 | 20 |5645 |4600 |5645 |5422 | 9 |1633 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
30.98/31.01 c 31.0s| 2200 | 290 | 82198 | 37.2 | 27M| 36 | - |5645 |4642 | 0 | 0 | 9 |1692 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
31.98/32.05 c 32.0s| 2300 | 314 | 85680 | 37.1 | 28M| 36 | 41 |5645 |4699 |5645 |5422 | 9 |1759 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
32.89/33.00 c 33.0s| 2400 | 331 | 88487 | 36.7 | 28M| 36 | - |5645 |4814 | 0 | 0 | 9 |1885 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
33.88/33.98 c 34.0s| 2500 | 335 | 91687 | 36.5 | 28M| 36 | - |5645 |4859 | 0 | 0 | 9 |1938 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
35.09/35.13 c 35.1s| 2600 | 349 | 95140 | 36.5 | 28M| 36 | - |5645 |4888 | 0 | 0 | 9 |1974 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
35.78/35.86 c 35.9s| 2700 | 352 | 97392 | 35.9 | 29M| 36 | - |5645 |4946 |5645 |5422 | 9 |2047 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
36.48/36.58 c 36.6s| 2800 | 356 | 99630 | 35.5 | 29M| 36 | 28 |5645 |4999 |5645 |5422 | 9 |2113 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
37.29/37.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.29/37.31 c 37.3s| 2900 | 357 |101871 | 35.0 | 29M| 36 | 21 |5645 |5041 |5645 |5422 | 9 |2161 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
37.98/38.08 c 38.1s| 3000 | 358 |104113 | 34.6 | 29M| 36 | 36 |5645 |5078 |5645 |5422 | 9 |2209 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
38.79/38.83 c 38.8s| 3100 | 361 |106214 | 34.2 | 29M| 36 | - |5645 |5137 |5645 |5422 | 9 |2291 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
39.58/39.67 c 39.7s| 3200 | 366 |108562 | 33.8 | 29M| 36 | - |5645 |5174 |5645 |5422 | 9 |2351 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
40.58/40.65 c 40.6s| 3300 | 366 |111616 | 33.7 | 29M| 36 | - |5645 |5214 |5645 |5422 | 9 |2414 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
41.38/41.49 c 41.5s| 3400 | 364 |113767 | 33.4 | 29M| 36 | - |5645 |5244 | 0 | 0 | 9 |2482 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
42.08/42.18 c 42.2s| 3500 | 357 |115597 | 32.9 | 29M| 36 | 31 |5645 |5294 |5645 |5422 | 9 |2565 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
43.18/43.24 c 43.2s| 3600 | 366 |118487 | 32.8 | 29M| 36 | - |5645 |5340 | 0 | 0 | 9 |2632 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
43.89/43.91 c 43.9s| 3700 | 372 |120682 | 32.5 | 29M| 36 | - |5645 |5379 | 0 | 0 | 9 |2682 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
44.58/44.66 c 44.7s| 3800 | 374 |123107 | 32.3 | 29M| 36 | 30 |5645 |5412 |5645 |5422 | 9 |2741 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
45.68/45.74 c 45.7s| 3900 | 387 |126507 | 32.4 | 30M| 36 | - |5645 |5438 | 0 | 0 | 9 |2794 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
46.98/47.01 c 47.0s| 4000 | 409 |130316 | 32.5 | 30M| 36 | - |5645 |5479 |5645 |5422 | 9 |2877 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
48.07/48.16 c 48.2s| 4100 | 431 |133711 | 32.5 | 30M| 36 | - |5645 |5538 |5645 |5422 | 9 |2961 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
49.18/49.24 c 49.2s| 4200 | 454 |136562 | 32.4 | 30M| 36 | 29 |5645 |5587 |5645 |5422 | 9 |3045 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
49.88/49.99 c 50.0s| 4300 | 460 |138761 | 32.2 | 31M| 36 | - |5645 |5645 |5645 |5422 | 9 |3119 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
50.98/51.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.98/51.07 c 51.1s| 4400 | 479 |141437 | 32.1 | 31M| 36 | 14 |5645 |5696 |5645 |5422 | 9 |3202 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
51.77/51.81 c 51.8s| 4500 | 486 |143152 | 31.7 | 31M| 36 | 33 |5645 |5703 |5645 |5422 | 9 |3284 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
52.79/52.81 c 52.8s| 4600 | 493 |145830 | 31.6 | 31M| 36 | 26 |5645 |5718 |5645 |5422 | 9 |3332 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
53.48/53.56 c 53.6s| 4700 | 504 |148104 | 31.4 | 31M| 36 | 25 |5645 |5741 |5645 |5422 | 9 |3396 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
54.38/54.40 c 54.4s| 4800 | 508 |150372 | 31.3 | 31M| 36 | 35 |5645 |5763 |5645 |5422 | 9 |3445 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
54.98/55.02 c 55.0s| 4900 | 512 |151881 | 30.9 | 32M| 36 | - |5645 |5812 |5645 |5422 | 9 |3511 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
55.57/55.68 c 55.7s| 5000 | 515 |153760 | 30.7 | 32M| 36 | - |5645 |5839 |5645 |5422 | 9 |3580 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
56.38/56.49 c 56.5s| 5100 | 519 |156275 | 30.6 | 32M| 36 | 33 |5645 |5917 |5645 |5422 | 9 |3677 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
57.47/57.51 c 57.5s| 5200 | 530 |159453 | 30.6 | 32M| 36 | - |5645 |5908 | 0 | 0 | 9 |3729 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
58.08/58.15 c 58.1s| 5300 | 520 |161164 | 30.3 | 32M| 36 | 41 |5645 |5924 |5645 |5422 | 9 |3829 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
59.29/59.36 c 59.4s| 5400 | 530 |164476 | 30.4 | 32M| 36 | 26 |5645 |5834 |5645 |5422 | 9 |3869 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
59.98/60.02 o 10
59.98/60.02 c f60.0s| 5485 | 478 |166082 | 30.2 | 31M| 36 | - |5645 |5869 |5645 |5422 | 9 |3934 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
59.98/60.03 c Forcing restart, since 2437 binary variables among 2707 have been fixed.
59.98/60.03 c (run 1, node 5486) performing user restart
59.98/60.03 c
59.98/60.04 c (restart) converted 2715 cuts from the global cut pool into linear constraints
59.98/60.04 c
59.98/60.05 c presolving:
59.98/60.09 c (round 1) 4932 del vars, 2516 del conss, 0 add conss, 49 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2949 impls, 19 clqs
60.28/60.31 c (round 2) 4949 del vars, 2761 del conss, 0 add conss, 66 chg bounds, 17 chg sides, 0 chg coeffs, 2 upgd conss, 2949 impls, 19 clqs
60.28/60.36 c (round 3) 4966 del vars, 2779 del conss, 0 add conss, 66 chg bounds, 17 chg sides, 0 chg coeffs, 2 upgd conss, 2951 impls, 19 clqs
60.39/60.42 c (round 4) 4966 del vars, 2779 del conss, 0 add conss, 66 chg bounds, 17 chg sides, 0 chg coeffs, 2579 upgd conss, 2951 impls, 19 clqs
60.39/60.47 c (round 5) 4966 del vars, 2880 del conss, 0 add conss, 66 chg bounds, 17 chg sides, 0 chg coeffs, 2579 upgd conss, 2951 impls, 19 clqs
60.48/60.59 c (round 6) 4966 del vars, 2893 del conss, 0 add conss, 66 chg bounds, 17 chg sides, 0 chg coeffs, 2579 upgd conss, 2951 impls, 19 clqs
60.58/60.62 c presolving (7 rounds):
60.58/60.62 c 4966 deleted vars, 2893 deleted constraints, 0 added constraints, 66 tightened bounds, 0 added holes, 17 changed sides, 0 changed coefficients
60.58/60.62 c 2951 implications, 19 cliques
60.58/60.62 c presolved problem has 679 variables (455 bin, 0 int, 224 impl, 0 cont) and 5690 constraints
60.58/60.62 c 224 constraints of type <varbound>
60.58/60.62 c 4 constraints of type <knapsack>
60.58/60.62 c 41 constraints of type <setppc>
60.58/60.62 c 229 constraints of type <linear>
60.58/60.62 c 224 constraints of type <indicator>
60.58/60.62 c 4923 constraints of type <logicor>
60.58/60.62 c 45 constraints of type <bounddisjunction>
60.58/60.62 c transformed objective value is always integral (scale: 1)
60.58/60.62 c Presolving Time: 0.64
60.58/60.63 c
60.58/60.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.58/60.64 c 60.6s| 1 | 0 |166163 | - | 20M| 0 | 34 | 679 |5690 | 679 |2931 | 0 |3934 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
60.58/60.68 c 60.7s| 1 | 0 |166198 | - | 20M| 0 | 47 | 679 |5690 | 679 |2950 | 19 |3934 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
60.58/60.68 c 60.7s| 1 | 2 |166198 | - | 20M| 0 | 47 | 679 |5690 | 679 |2950 | 19 |3934 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
60.98/61.02 c 61.0s| 100 | 41 |168470 | 30.1 | 21M| 26 | - | 679 |5766 | 679 |2712 | 19 |4013 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
61.68/61.70 c 61.7s| 200 | 58 |173013 | 30.4 | 21M| 26 | 36 | 679 |5803 | 679 |2712 | 19 |4106 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
62.07/62.12 c 62.1s| 300 | 78 |175819 | 30.3 | 21M| 28 | - | 679 |5748 | 0 | 0 | 19 |4168 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
62.38/62.48 c 62.5s| 400 | 93 |178168 | 30.2 | 21M| 28 | - | 679 |5687 | 0 | 0 | 19 |4228 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
62.58/62.69 c 62.7s| 500 | 93 |179401 | 29.9 | 21M| 33 | - | 679 |5688 | 679 |2712 | 19 |4300 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
62.97/63.02 c 63.0s| 600 | 95 |181272 | 29.7 | 21M| 34 | - | 679 |5682 | 679 |2712 | 19 |4379 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
63.28/63.39 c 63.4s| 700 | 103 |183613 | 29.6 | 21M| 34 | - | 679 |5619 | 679 |2712 | 19 |4434 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
63.58/63.64 c 63.6s| 800 | 105 |185010 | 29.4 | 21M| 34 | - | 679 |5612 | 0 | 0 | 19 |4530 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
64.07/64.10 c 64.1s| 900 | 120 |187897 | 29.4 | 21M| 34 | 27 | 679 |5624 | 679 |2712 | 19 |4598 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
64.38/64.43 c 64.4s| 1000 | 120 |190035 | 29.2 | 21M| 34 | - | 679 |5619 | 0 | 0 | 19 |4648 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
64.67/64.70 c 64.7s| 1100 | 121 |191809 | 29.1 | 21M| 44 | - | 679 |5652 | 679 |2712 | 19 |4714 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
64.97/65.08 c 65.1s| 1200 | 138 |194436 | 29.0 | 21M| 45 | 43 | 679 |5577 | 679 |2712 | 19 |4765 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
65.37/65.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
65.37/65.46 c 65.5s| 1300 | 146 |197201 | 29.0 | 21M| 45 | 26 | 679 |5539 | 679 |2712 | 19 |4821 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
65.78/65.83 c 65.8s| 1400 | 152 |199529 | 28.9 | 21M| 45 | - | 679 |5520 | 679 |2712 | 19 |4877 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
66.17/66.23 c 66.2s| 1500 | 163 |202090 | 28.9 | 22M| 45 | - | 679 |5514 | 0 | 0 | 19 |4928 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
66.48/66.56 c 66.6s| 1600 | 172 |204094 | 28.7 | 22M| 45 | - | 679 |5500 | 679 |2712 | 19 |5006 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
66.87/66.94 c 66.9s| 1700 | 176 |206467 | 28.7 | 22M| 45 | - | 679 |5521 | 679 |2712 | 19 |5085 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
67.18/67.28 c 67.3s| 1800 | 180 |208884 | 28.6 | 22M| 45 | 28 | 679 |5548 | 679 |2712 | 19 |5148 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
67.58/67.60 c 67.6s| 1900 | 175 |210839 | 28.5 | 22M| 45 | - | 679 |5575 | 0 | 0 | 19 |5230 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
67.97/68.03 c 68.0s| 2000 | 185 |213564 | 28.5 | 22M| 45 | 31 | 679 |5482 | 679 |2712 | 19 |5282 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
68.38/68.47 c 68.5s| 2100 | 202 |216484 | 28.5 | 22M| 45 | 38 | 679 |5353 | 679 |2712 | 19 |5322 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
68.67/68.78 c 68.8s| 2200 | 206 |218571 | 28.4 | 22M| 45 | - | 679 |5279 | 0 | 0 | 19 |5375 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
69.18/69.27 c 69.3s| 2300 | 222 |221722 | 28.4 | 22M| 45 | - | 679 |5214 | 679 |2712 | 19 |5440 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
69.47/69.56 c 69.6s| 2400 | 229 |223519 | 28.3 | 22M| 45 | 29 | 679 |5221 | 679 |2712 | 19 |5500 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
69.77/69.87 c 69.9s| 2500 | 233 |225398 | 28.2 | 22M| 45 | - | 679 |5303 | 679 |2712 | 19 |5595 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
70.18/70.26 c 70.3s| 2600 | 238 |228199 | 28.2 | 22M| 45 | 42 | 679 |5256 | 679 |2712 | 19 |5652 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
70.48/70.57 c 70.6s| 2700 | 241 |229899 | 28.0 | 22M| 45 | 33 | 679 |5239 | 679 |2712 | 19 |5718 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
70.88/70.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.88/70.93 c 70.9s| 2800 | 246 |232282 | 28.0 | 22M| 45 | - | 679 |5218 | 0 | 0 | 19 |5779 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
71.28/71.30 c 71.3s| 2900 | 256 |234569 | 27.9 | 22M| 45 | 34 | 679 |5173 | 679 |2712 | 19 |5834 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
71.57/71.65 c 71.6s| 3000 | 262 |236610 | 27.8 | 22M| 45 | 48 | 679 |5121 | 679 |2712 | 19 |5886 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
71.88/71.99 c 72.0s| 3100 | 271 |238915 | 27.8 | 22M| 45 | - | 679 |5069 | 679 |2712 | 19 |5939 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
72.27/72.31 c 72.3s| 3200 | 274 |240696 | 27.7 | 22M| 45 | - | 679 |5062 | 679 |2712 | 19 |6016 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
72.67/72.76 c 72.8s| 3300 | 279 |243624 | 27.7 | 22M| 45 | 24 | 679 |5077 | 679 |2712 | 19 |6081 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
72.98/73.08 c 73.1s| 3400 | 287 |245622 | 27.6 | 23M| 45 | 46 | 679 |5092 | 679 |2712 | 19 |6130 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
73.37/73.41 c 73.4s| 3500 | 284 |247717 | 27.5 | 23M| 45 | 21 | 679 |5094 | 679 |2712 | 19 |6197 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
73.58/73.68 c 73.7s| 3600 | 285 |249442 | 27.4 | 23M| 45 | 25 | 679 |5137 | 679 |2712 | 19 |6256 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
73.97/74.08 c 74.1s| 3700 | 293 |251858 | 27.4 | 23M| 45 | 32 | 679 |5184 | 679 |2712 | 19 |6341 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
74.38/74.46 c 74.5s| 3800 | 297 |254199 | 27.3 | 23M| 45 | 31 | 679 |5161 | 679 |2712 | 19 |6390 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
74.78/74.83 c 74.8s| 3900 | 319 |256856 | 27.3 | 23M| 45 | 41 | 679 |5140 | 679 |2712 | 19 |6432 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
75.18/75.26 c 75.3s| 4000 | 333 |259461 | 27.3 | 23M| 45 | 28 | 679 |5140 | 679 |2712 | 19 |6472 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
75.57/75.63 c 75.6s| 4100 | 351 |262336 | 27.3 | 23M| 45 | 31 | 679 |5141 | 679 |2712 | 19 |6506 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
75.88/75.97 c 76.0s| 4200 | 364 |264693 | 27.3 | 23M| 45 | 42 | 679 |5176 | 679 |2712 | 19 |6553 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
76.48/76.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.48/76.52 c 76.5s| 4300 | 397 |268361 | 27.4 | 23M| 45 | 38 | 679 |5180 | 679 |2712 | 19 |6590 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
76.77/76.86 c 76.9s| 4400 | 406 |270383 | 27.3 | 23M| 45 | 26 | 679 |5218 | 679 |2712 | 19 |6647 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
77.18/77.20 c 77.2s| 4500 | 412 |272691 | 27.3 | 23M| 45 | 26 | 679 |5243 | 679 |2712 | 19 |6695 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
77.47/77.52 c 77.5s| 4600 | 423 |274324 | 27.2 | 24M| 45 | - | 679 |5261 | 679 |2712 | 19 |6726 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
77.77/77.83 c 77.8s| 4700 | 432 |276374 | 27.1 | 24M| 45 | 41 | 679 |5315 | 679 |2712 | 19 |6801 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
78.17/78.20 c 78.2s| 4800 | 437 |278577 | 27.0 | 24M| 45 | 15 | 679 |5346 | 679 |2712 | 19 |6851 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
78.48/78.54 c 78.5s| 4900 | 442 |280801 | 27.0 | 24M| 45 | 32 | 679 |5386 | 679 |2712 | 19 |6912 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
78.77/78.83 c 78.8s| 5000 | 440 |282569 | 26.9 | 24M| 45 | 36 | 679 |5381 | 679 |2712 | 19 |6959 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
79.18/79.25 c 79.2s| 5100 | 457 |285300 | 26.9 | 24M| 45 | 32 | 679 |5286 | 679 |2712 | 19 |7019 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
79.48/79.52 c 79.5s| 5200 | 463 |286982 | 26.8 | 24M| 45 | 14 | 679 |5290 | 679 |2712 | 19 |7080 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
79.87/79.93 c 79.9s| 5300 | 466 |289403 | 26.8 | 24M| 45 | - | 679 |5253 | 679 |2712 | 19 |7147 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
79.98/80.09 o 4
79.98/80.09 c 580.1s| 5361 | 332 |290380 | 26.7 | 22M| 45 | - | 679 |5241 | 679 |2712 | 19 |7168 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
80.18/80.22 c 80.2s| 5400 | 334 |291175 | 26.7 | 22M| 45 | 16 | 679 |4863 | 679 |2712 | 19 |7195 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
80.47/80.50 c 80.5s| 5500 | 332 |293066 | 26.6 | 22M| 45 | 37 | 679 |4802 | 679 |2712 | 19 |7264 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
80.77/80.81 c 80.8s| 5600 | 331 |294901 | 26.6 | 22M| 45 | - | 679 |4763 | 679 |2712 | 19 |7362 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
81.08/81.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.08/81.19 c 81.2s| 5700 | 327 |296935 | 26.5 | 22M| 45 | - | 679 |4609 | 679 |2712 | 19 |7448 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
81.47/81.54 c 81.5s| 5800 | 335 |299298 | 26.5 | 22M| 45 | 41 | 679 |4567 | 679 |2712 | 19 |7519 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
81.77/81.86 c 81.9s| 5900 | 350 |301424 | 26.4 | 22M| 45 | 24 | 679 |4571 | 679 |2712 | 19 |7569 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
82.17/82.21 c 82.2s| 6000 | 337 |303384 | 26.4 | 22M| 45 | - | 679 |4580 | 0 | 0 | 19 |7639 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
82.48/82.57 c 82.6s| 6100 | 327 |305152 | 26.3 | 22M| 45 | - | 679 |4512 | 679 |2712 | 19 |7722 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
82.87/82.95 c 82.9s| 6200 | 333 |307346 | 26.3 | 22M| 45 | 37 | 679 |4491 | 679 |2712 | 19 |7805 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
83.18/83.27 c 83.3s| 6300 | 333 |309482 | 26.2 | 22M| 45 | - | 679 |4523 | 679 |2712 | 19 |7907 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
83.48/83.56 c 83.6s| 6400 | 336 |311379 | 26.2 | 22M| 45 | - | 679 |4529 | 679 |2712 | 19 |7967 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
83.77/83.88 c 83.9s| 6500 | 341 |313337 | 26.1 | 22M| 45 | - | 679 |4550 | 679 |2712 | 19 |8032 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
84.08/84.17 c 84.2s| 6600 | 343 |315283 | 26.0 | 22M| 45 | - | 679 |4620 | 0 | 0 | 19 |8135 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
84.47/84.56 c 84.6s| 6700 | 341 |317725 | 26.0 | 22M| 45 | 18 | 679 |4600 | 679 |2712 | 19 |8211 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
84.68/84.79 c 84.8s| 6800 | 342 |318958 | 25.9 | 22M| 45 | 40 | 679 |4635 | 679 |2712 | 19 |8296 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
85.08/85.19 c 85.2s| 6900 | 345 |320698 | 25.9 | 22M| 45 | - | 679 |4674 | 679 |2712 | 19 |8383 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
85.37/85.44 c 85.4s| 7000 | 343 |322204 | 25.8 | 22M| 45 | 22 | 679 |4706 | 679 |2712 | 19 |8457 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
85.68/85.77 c 85.8s| 7100 | 338 |324074 | 25.7 | 22M| 45 | 14 | 679 |4729 | 679 |2712 | 19 |8541 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
85.97/86.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
85.97/86.07 c 86.1s| 7200 | 340 |326072 | 25.7 | 22M| 45 | - | 679 |4782 | 0 | 0 | 19 |8604 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
86.28/86.36 c 86.4s| 7300 | 339 |327961 | 25.6 | 22M| 45 | 35 | 679 |4815 | 679 |2712 | 19 |8660 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
86.57/86.68 c 86.7s| 7400 | 336 |329903 | 25.6 | 22M| 45 | - | 679 |4853 | 679 |2712 | 19 |8733 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
86.88/86.97 c 87.0s| 7500 | 340 |331794 | 25.5 | 22M| 45 | 25 | 679 |4898 | 679 |2712 | 19 |8817 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
87.27/87.34 c 87.3s| 7600 | 337 |333998 | 25.5 | 22M| 45 | 38 | 679 |4948 | 679 |2712 | 19 |8908 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
87.67/87.70 c 87.7s| 7700 | 335 |336468 | 25.5 | 22M| 45 | - | 679 |4985 | 679 |2712 | 19 |8970 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
87.98/88.05 c 88.1s| 7800 | 329 |338564 | 25.4 | 22M| 45 | - | 679 |5005 | 679 |2712 | 19 |9077 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
88.27/88.37 c 88.4s| 7900 | 329 |340449 | 25.4 | 22M| 45 | - | 679 |5019 | 0 | 0 | 19 |9135 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
88.67/88.70 c 88.7s| 8000 | 333 |342588 | 25.4 | 22M| 45 | - | 679 |4957 | 679 |2712 | 19 |9188 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
88.98/89.06 c 89.1s| 8100 | 343 |344878 | 25.4 | 22M| 45 | 33 | 679 |4911 | 679 |2712 | 19 |9247 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
89.37/89.42 c 89.4s| 8200 | 347 |347250 | 25.3 | 22M| 45 | 31 | 679 |4916 | 679 |2712 | 19 |9333 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
89.68/89.75 c 89.7s| 8300 | 347 |349277 | 25.3 | 22M| 45 | - | 679 |4886 | 679 |2712 | 19 |9407 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
90.08/90.16 c 90.2s| 8400 | 362 |352236 | 25.3 | 22M| 45 | 40 | 679 |4805 | 679 |2712 | 19 |9484 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
90.67/90.70 c 90.7s| 8500 | 373 |355509 | 25.4 | 22M| 45 | 37 | 679 |4760 | 679 |2712 | 19 |9570 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
91.08/91.10 c 91.1s| 8600 | 377 |358165 | 25.4 | 22M| 45 | 24 | 679 |4750 | 679 |2712 | 19 |9631 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
91.38/91.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
91.38/91.44 c 91.4s| 8700 | 369 |360318 | 25.4 | 22M| 45 | - | 679 |4815 | 679 |2712 | 19 |9748 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
91.78/91.84 c 91.8s| 8800 | 371 |362905 | 25.4 | 22M| 45 | - | 679 |4854 | 679 |2712 | 19 |9861 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
92.17/92.29 c 92.3s| 8900 | 365 |365591 | 25.4 | 22M| 45 | - | 679 |4877 | 679 |2712 | 19 |9981 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
92.47/92.58 c 92.6s| 9000 | 359 |367562 | 25.3 | 22M| 45 | 32 | 679 |4884 | 679 |2712 | 19 | 10k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
92.87/92.99 c 93.0s| 9100 | 365 |369879 | 25.3 | 22M| 45 | - | 679 |4958 | 679 |2712 | 19 | 10k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
93.28/93.31 c 93.3s| 9200 | 365 |371905 | 25.3 | 22M| 45 | 33 | 679 |5043 | 679 |2712 | 19 | 10k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
93.57/93.66 c 93.7s| 9300 | 359 |373878 | 25.3 | 22M| 45 | 28 | 679 |5103 | 679 |2712 | 19 | 10k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
93.87/93.95 c 93.9s| 9400 | 357 |375646 | 25.2 | 22M| 45 | 31 | 679 |5100 | 679 |2712 | 19 | 10k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
94.37/94.40 c 94.4s| 9500 | 353 |378488 | 25.2 | 22M| 45 | 29 | 679 |5070 | 679 |2712 | 19 | 10k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
94.68/94.75 c 94.7s| 9600 | 357 |380668 | 25.2 | 22M| 45 | 23 | 679 |5068 | 679 |2712 | 19 | 10k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
95.07/95.10 c 95.1s| 9700 | 354 |383066 | 25.2 | 22M| 45 | 29 | 679 |5114 | 679 |2712 | 19 | 10k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
95.47/95.53 c 95.5s| 9800 | 355 |385909 | 25.2 | 22M| 45 | - | 679 |5175 | 679 |2712 | 19 | 10k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
95.77/95.84 c 95.8s| 9900 | 349 |388087 | 25.2 | 22M| 45 | 29 | 679 |5169 | 679 |2712 | 19 | 10k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
96.17/96.22 c 96.2s| 10000 | 348 |390437 | 25.2 | 22M| 45 | - | 679 |5224 | 679 |2712 | 19 | 10k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
96.47/96.58 c 96.6s| 10100 | 348 |392780 | 25.2 | 22M| 45 | 42 | 679 |5229 | 679 |2712 | 19 | 10k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
96.87/96.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
96.87/96.94 c 96.9s| 10200 | 343 |395151 | 25.2 | 22M| 45 | - | 679 |5243 | 679 |2712 | 19 | 10k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
97.18/97.28 c 97.3s| 10300 | 341 |397540 | 25.2 | 22M| 45 | - | 679 |5275 | 679 |2712 | 19 | 11k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
97.57/97.67 c 97.7s| 10400 | 342 |399990 | 25.2 | 22M| 45 | - | 679 |5276 | 679 |2712 | 19 | 11k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
97.97/98.08 c 98.1s| 10500 | 335 |402562 | 25.2 | 22M| 45 | 36 | 679 |5258 | 679 |2712 | 19 | 11k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
98.37/98.43 c 98.4s| 10600 | 331 |405011 | 25.2 | 22M| 45 | 35 | 679 |5267 | 679 |2712 | 19 | 11k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
98.68/98.72 c 98.7s| 10700 | 332 |406623 | 25.1 | 22M| 45 | 28 | 679 |5299 | 679 |2712 | 19 | 11k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
98.98/99.06 c 99.1s| 10800 | 331 |408836 | 25.1 | 22M| 45 | - | 679 |5331 | 679 |2712 | 19 | 11k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
99.27/99.33 c 99.3s| 10900 | 331 |410565 | 25.0 | 22M| 45 | - | 679 |5364 | 679 |2712 | 19 | 11k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
99.57/99.66 c 99.7s| 11000 | 337 |412592 | 25.0 | 22M| 45 | 42 | 679 |5402 | 679 |2712 | 19 | 11k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
99.87/99.95 c 100s| 11100 | 335 |414501 | 25.0 | 22M| 45 | - | 679 |5444 | 679 |2712 | 19 | 11k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
100.17/100.29 c 100s| 11200 | 329 |416521 | 24.9 | 22M| 45 | 39 | 679 |5503 | 679 |2712 | 19 | 11k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
100.47/100.58 c 101s| 11300 | 331 |418443 | 24.9 | 22M| 45 | - | 679 |5544 | 679 |2712 | 19 | 11k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
100.97/101.00 c 101s| 11400 | 337 |421079 | 24.9 | 22M| 45 | 27 | 679 |5572 | 679 |2712 | 19 | 11k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
101.18/101.28 c 101s| 11500 | 339 |422988 | 24.9 | 22M| 45 | 24 | 679 |5608 | 679 |2712 | 19 | 11k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
101.57/101.63 c 102s| 11600 | 341 |424930 | 24.8 | 23M| 45 | 32 | 679 |5661 | 679 |2712 | 19 | 12k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
101.87/101.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
101.87/101.96 c 102s| 11700 | 345 |427047 | 24.8 | 23M| 45 | 30 | 679 |5693 | 679 |2712 | 19 | 12k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
102.28/102.38 c 102s| 11800 | 349 |429696 | 24.8 | 23M| 45 | 42 | 679 |5734 | 679 |2712 | 19 | 12k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
102.67/102.71 c 103s| 11900 | 349 |431949 | 24.8 | 23M| 45 | 39 | 679 |5776 | 679 |2712 | 19 | 12k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
103.08/103.12 c 103s| 12000 | 349 |434561 | 24.8 | 23M| 45 | 37 | 679 |5826 | 679 |2712 | 19 | 12k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
103.38/103.43 c 103s| 12100 | 343 |436774 | 24.8 | 23M| 45 | - | 679 |5875 | 679 |2712 | 19 | 12k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
103.67/103.77 c 104s| 12200 | 341 |438781 | 24.8 | 23M| 45 | - | 679 |5937 | 679 |2712 | 19 | 12k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
104.07/104.15 c 104s| 12300 | 334 |441057 | 24.8 | 23M| 45 | - | 679 |5976 | 679 |2712 | 19 | 12k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
104.38/104.49 c 104s| 12400 | 325 |443334 | 24.8 | 23M| 45 | 23 | 679 |6000 | 679 |2712 | 19 | 12k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
104.78/104.85 c 105s| 12500 | 324 |445298 | 24.7 | 23M| 45 | - | 679 |6011 | 0 | 0 | 19 | 12k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
105.17/105.20 c 105s| 12600 | 321 |447866 | 24.7 | 23M| 45 | - | 679 |6010 | 0 | 0 | 19 | 12k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
105.47/105.55 c 106s| 12700 | 323 |450145 | 24.7 | 23M| 45 | - | 679 |5894 | 679 |2712 | 19 | 12k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
105.88/105.97 c 106s| 12800 | 324 |453104 | 24.8 | 22M| 45 | 26 | 679 |5808 | 679 |2712 | 19 | 12k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
106.28/106.34 c 106s| 12900 | 327 |455661 | 24.8 | 23M| 45 | - | 679 |5817 | 679 |2712 | 19 | 12k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
106.67/106.74 c 107s| 13000 | 329 |458579 | 24.8 | 23M| 45 | - | 679 |5858 | 679 |2712 | 19 | 13k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
107.27/107.31 c 107s| 13100 | 325 |462163 | 24.8 | 23M| 45 | - | 679 |5917 | 0 | 0 | 19 | 13k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
107.57/107.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
107.57/107.64 c 108s| 13200 | 332 |464475 | 24.8 | 23M| 45 | - | 679 |5964 | 679 |2712 | 19 | 13k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
107.87/107.91 c 108s| 13300 | 330 |466237 | 24.8 | 23M| 45 | - | 679 |6043 | 679 |2712 | 19 | 13k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
108.17/108.20 c 108s| 13400 | 325 |467924 | 24.8 | 23M| 45 | 32 | 679 |6111 | 679 |2712 | 19 | 13k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
108.37/108.46 c 108s| 13500 | 321 |469447 | 24.7 | 23M| 45 | - | 679 |6141 | 679 |2712 | 19 | 13k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
108.88/108.92 c 109s| 13600 | 330 |472598 | 24.7 | 23M| 45 | - | 679 |6151 | 679 |2712 | 19 | 13k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
109.17/109.24 c 109s| 13700 | 334 |474708 | 24.7 | 23M| 45 | - | 679 |6220 | 679 |2712 | 19 | 13k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
109.57/109.60 c 110s| 13800 | 330 |477038 | 24.7 | 23M| 47 | - | 679 |6300 | 679 |2712 | 19 | 13k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
109.87/109.91 c 110s| 13900 | 328 |479161 | 24.7 | 23M| 47 | 33 | 679 |6352 | 679 |2712 | 19 | 13k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
110.17/110.25 c 110s| 14000 | 324 |481140 | 24.7 | 23M| 47 | - | 679 |6394 | 679 |2712 | 19 | 14k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
110.47/110.56 c 111s| 14100 | 317 |483140 | 24.6 | 23M| 47 | 33 | 679 |6430 | 679 |2712 | 19 | 14k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
110.87/110.92 c 111s| 14200 | 313 |485401 | 24.6 | 23M| 47 | - | 679 |6399 | 679 |2712 | 19 | 14k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
111.27/111.31 c 111s| 14300 | 316 |487766 | 24.6 | 23M| 47 | - | 679 |6412 | 679 |2712 | 19 | 14k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
111.57/111.60 c 112s| 14400 | 320 |489536 | 24.6 | 23M| 47 | 31 | 679 |6488 | 679 |2712 | 19 | 14k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
111.77/111.89 c 112s| 14500 | 322 |491272 | 24.6 | 23M| 47 | 25 | 679 |6597 | 679 |2712 | 19 | 14k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
112.08/112.18 c 112s| 14600 | 322 |493168 | 24.5 | 23M| 47 | - | 679 |6691 | 679 |2712 | 19 | 14k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
112.37/112.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
112.37/112.49 c 112s| 14700 | 321 |495046 | 24.5 | 23M| 47 | - | 679 |6761 | 679 |2712 | 19 | 14k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
112.77/112.82 c 113s| 14800 | 319 |497023 | 24.5 | 23M| 47 | 26 | 679 |6836 | 679 |2712 | 19 | 14k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
113.07/113.13 c 113s| 14900 | 312 |498964 | 24.5 | 23M| 47 | - | 679 |6929 | 679 |2712 | 19 | 14k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
113.37/113.42 c 113s| 15000 | 308 |500737 | 24.4 | 23M| 47 | - | 679 |6940 | 679 |2712 | 19 | 15k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
113.57/113.68 c 114s| 15100 | 309 |502225 | 24.4 | 23M| 47 | 40 | 679 |6940 | 679 |2712 | 19 | 15k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
113.97/114.05 c 114s| 15200 | 304 |504561 | 24.4 | 23M| 47 | - | 679 |6993 | 679 |2712 | 19 | 15k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
114.38/114.42 c 114s| 15300 | 298 |506677 | 24.4 | 23M| 47 | - | 679 |6942 | 679 |2712 | 19 | 15k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
114.67/114.70 c 115s| 15400 | 284 |508413 | 24.3 | 23M| 47 | 25 | 679 |6886 | 679 |2712 | 19 | 15k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
114.97/115.04 c 115s| 15500 | 273 |510295 | 24.3 | 23M| 47 | - | 679 |6793 | 0 | 0 | 19 | 15k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
115.27/115.36 c 115s| 15600 | 273 |512444 | 24.3 | 23M| 47 | - | 679 |6532 | 679 |2712 | 19 | 15k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
115.67/115.78 c 116s| 15700 | 275 |515241 | 24.3 | 23M| 47 | 25 | 679 |6281 | 679 |2712 | 19 | 15k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
115.97/116.09 c 116s| 15800 | 272 |517076 | 24.3 | 23M| 47 | 35 | 679 |6266 | 679 |2712 | 19 | 15k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
116.27/116.39 c 116s| 15900 | 277 |518634 | 24.2 | 23M| 47 | - | 679 |6226 | 679 |2712 | 19 | 15k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
116.57/116.63 c 117s| 16000 | 281 |519985 | 24.2 | 23M| 47 | 23 | 679 |6227 | 679 |2712 | 19 | 15k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
116.76/116.89 c 117s| 16100 | 279 |521357 | 24.1 | 23M| 47 | 18 | 679 |6296 | 679 |2712 | 19 | 16k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
117.07/117.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
117.07/117.14 c 117s| 16200 | 284 |522914 | 24.1 | 23M| 47 | - | 679 |6259 | 679 |2712 | 19 | 16k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
117.27/117.36 c 117s| 16300 | 285 |524058 | 24.0 | 23M| 47 | 28 | 679 |6324 | 679 |2712 | 19 | 16k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
117.58/117.62 c 118s| 16400 | 284 |525556 | 24.0 | 23M| 47 | - | 679 |6331 | 679 |2712 | 19 | 16k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
117.87/117.98 c 118s| 16500 | 283 |527713 | 24.0 | 23M| 47 | - | 679 |6315 | 679 |2712 | 19 | 16k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
118.27/118.37 c 118s| 16600 | 282 |530155 | 24.0 | 23M| 47 | 39 | 679 |6223 | 679 |2712 | 19 | 16k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
118.57/118.67 c 119s| 16700 | 282 |532040 | 24.0 | 23M| 47 | - | 679 |6219 | 679 |2712 | 19 | 16k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
118.87/118.92 c 119s| 16800 | 286 |533587 | 23.9 | 23M| 47 | 41 | 679 |6252 | 679 |2712 | 19 | 16k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
119.07/119.18 c 119s| 16900 | 294 |535119 | 23.9 | 23M| 47 | 27 | 679 |6339 | 679 |2712 | 19 | 16k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
119.36/119.47 c 119s| 17000 | 291 |536621 | 23.8 | 23M| 47 | - | 679 |6429 | 679 |2712 | 19 | 16k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
119.67/119.77 c 120s| 17100 | 293 |538227 | 23.8 | 23M| 47 | - | 679 |6512 | 679 |2712 | 19 | 17k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
119.97/120.04 c 120s| 17200 | 296 |539987 | 23.8 | 23M| 47 | - | 679 |6577 | 679 |2712 | 19 | 17k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
120.27/120.33 c 120s| 17300 | 296 |541638 | 23.8 | 23M| 47 | 21 | 679 |6645 | 679 |2712 | 19 | 17k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
120.77/120.86 c 121s| 17400 | 306 |545138 | 23.8 | 23M| 47 | - | 679 |6622 | 679 |2712 | 19 | 17k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
121.17/121.26 c 121s| 17500 | 312 |547475 | 23.8 | 23M| 47 | - | 679 |6652 | 679 |2712 | 19 | 17k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
121.47/121.51 c 122s| 17600 | 312 |549019 | 23.8 | 23M| 47 | 32 | 679 |6716 | 679 |2712 | 19 | 17k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
121.67/121.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
121.67/121.79 c 122s| 17700 | 307 |550704 | 23.7 | 23M| 47 | - | 679 |6700 | 679 |2712 | 19 | 17k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
122.08/122.15 c 122s| 17800 | 307 |553028 | 23.7 | 23M| 47 | 35 | 679 |6769 | 679 |2712 | 19 | 17k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
122.47/122.55 c 123s| 17900 | 312 |555442 | 23.7 | 23M| 47 | - | 679 |6816 | 0 | 0 | 19 | 17k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
122.77/122.84 c 123s| 18000 | 321 |557428 | 23.7 | 23M| 47 | 19 | 679 |6833 | 679 |2712 | 19 | 17k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
123.08/123.18 c 123s| 18100 | 320 |558940 | 23.7 | 23M| 47 | - | 679 |6875 | 0 | 0 | 19 | 17k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
123.37/123.42 c 123s| 18200 | 328 |560326 | 23.6 | 23M| 47 | 22 | 679 |6946 | 679 |2712 | 19 | 18k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
123.67/123.72 c 124s| 18300 | 329 |562029 | 23.6 | 23M| 47 | - | 679 |6995 | 679 |2712 | 19 | 18k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
123.86/123.97 c 124s| 18400 | 335 |563444 | 23.6 | 23M| 47 | 29 | 679 |7057 | 679 |2712 | 19 | 18k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
124.18/124.25 c 124s| 18500 | 346 |565117 | 23.5 | 23M| 47 | 22 | 679 |7097 | 679 |2712 | 19 | 18k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
124.56/124.60 c 125s| 18600 | 352 |567100 | 23.5 | 23M| 47 | 24 | 679 |7163 | 679 |2712 | 19 | 18k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
124.77/124.86 c 125s| 18700 | 354 |568603 | 23.5 | 24M| 47 | 16 | 679 |7242 | 679 |2712 | 19 | 18k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
125.07/125.16 c 125s| 18800 | 350 |570480 | 23.5 | 24M| 47 | - | 679 |7313 | 679 |2712 | 19 | 18k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
125.37/125.43 c 125s| 18900 | 344 |572299 | 23.5 | 24M| 47 | - | 679 |7386 | 679 |2712 | 19 | 18k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
125.67/125.72 c 126s| 19000 | 343 |573979 | 23.4 | 24M| 47 | 32 | 679 |7451 | 679 |2712 | 19 | 18k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
125.97/126.02 c 126s| 19100 | 352 |575741 | 23.4 | 24M| 47 | - | 679 |7485 | 679 |2712 | 19 | 18k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
126.27/126.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
126.27/126.32 c 126s| 19200 | 348 |577502 | 23.4 | 24M| 47 | - | 679 |7494 | 679 |2712 | 19 | 19k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
126.27/126.39 o 3
126.27/126.39 c 5 126s| 19224 | 303 |577818 | 23.4 | 23M| 47 | - | 679 |7486 | 679 |2712 | 19 | 19k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
126.57/126.61 c 127s| 19300 | 307 |578871 | 23.3 | 23M| 47 | - | 679 |7357 | 679 |2712 | 19 | 19k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
126.77/126.89 c 127s| 19400 | 307 |580581 | 23.3 | 23M| 47 | 21 | 679 |7284 | 679 |2712 | 19 | 19k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
127.27/127.33 c 127s| 19500 | 309 |582678 | 23.3 | 23M| 47 | - | 679 |7268 | 679 |2712 | 19 | 19k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
127.57/127.60 c 128s| 19600 | 304 |584395 | 23.3 | 23M| 47 | - | 679 |7365 | 679 |2712 | 19 | 19k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
127.77/127.87 c 128s| 19700 | 303 |585812 | 23.2 | 23M| 47 | - | 679 |7390 | 679 |2712 | 19 | 19k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
128.07/128.18 c 128s| 19800 | 307 |587630 | 23.2 | 23M| 47 | 22 | 679 |7414 | 679 |2712 | 19 | 19k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
128.37/128.49 c 128s| 19900 | 310 |588669 | 23.2 | 23M| 47 | - | 679 |7438 | 679 |2712 | 19 | 19k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
128.77/128.88 c 129s| 20000 | 317 |591042 | 23.2 | 23M| 47 | - | 679 |7503 | 679 |2712 | 19 | 19k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
129.07/129.20 c 129s| 20100 | 322 |593046 | 23.2 | 24M| 47 | 33 | 679 |7595 | 679 |2712 | 19 | 19k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
129.47/129.59 c 130s| 20200 | 321 |595493 | 23.2 | 24M| 47 | - | 679 |7665 | 679 |2712 | 19 | 20k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
129.86/129.92 c 130s| 20300 | 315 |597097 | 23.1 | 24M| 47 | 30 | 679 |7687 | 679 |2712 | 19 | 20k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
130.06/130.17 c 130s| 20400 | 302 |598500 | 23.1 | 23M| 47 | - | 679 |7662 | 679 |2712 | 19 | 20k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
130.36/130.42 c 130s| 20500 | 290 |599839 | 23.1 | 23M| 47 | 29 | 679 |7681 | 679 |2712 | 19 | 20k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
130.67/130.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
130.67/130.75 c 131s| 20600 | 266 |601683 | 23.0 | 23M| 47 | - | 679 |7638 | 679 |2712 | 19 | 20k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
131.07/131.12 c 131s| 20700 | 268 |603952 | 23.0 | 23M| 47 | - | 679 |7727 | 679 |2712 | 19 | 20k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
131.37/131.43 c 131s| 20800 | 269 |606079 | 23.0 | 23M| 47 | 34 | 679 |7794 | 679 |2712 | 19 | 20k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
131.67/131.79 c 132s| 20900 | 261 |608264 | 23.0 | 23M| 47 | - | 679 |7836 | 679 |2712 | 19 | 20k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
132.07/132.15 c 132s| 21000 | 258 |610456 | 23.0 | 23M| 47 | - | 679 |7824 | 679 |2712 | 19 | 20k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
132.37/132.46 c 132s| 21100 | 246 |612314 | 23.0 | 23M| 47 | - | 679 |7776 | 679 |2712 | 19 | 20k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
132.67/132.75 c 133s| 21200 | 246 |613986 | 23.0 | 23M| 47 | - | 679 |7624 | 679 |2712 | 19 | 21k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
133.07/133.14 c 133s| 21300 | 246 |616343 | 23.0 | 23M| 47 | 29 | 679 |7585 | 679 |2712 | 19 | 21k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
133.47/133.50 c 133s| 21400 | 248 |618694 | 23.0 | 23M| 47 | 23 | 679 |7553 | 679 |2712 | 19 | 21k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
133.77/133.88 c 134s| 21500 | 245 |621090 | 23.0 | 23M| 47 | - | 679 |7656 | 679 |2712 | 19 | 21k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
134.08/134.17 c 134s| 21600 | 241 |623000 | 23.0 | 23M| 47 | 34 | 679 |7529 | 679 |2712 | 19 | 21k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
134.37/134.43 c 134s| 21700 | 228 |624284 | 22.9 | 23M| 47 | - | 679 |7543 | 679 |2712 | 19 | 21k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
134.67/134.72 c 135s| 21800 | 226 |625989 | 22.9 | 23M| 47 | 44 | 679 |7157 | 679 |2712 | 19 | 21k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
135.07/135.10 c 135s| 21900 | 228 |627917 | 22.9 | 23M| 47 | - | 679 |7064 | 679 |2712 | 19 | 21k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
135.27/135.35 c 135s| 22000 | 226 |629441 | 22.9 | 23M| 47 | - | 679 |7051 | 679 |2712 | 19 | 21k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
135.57/135.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
135.57/135.69 c 136s| 22100 | 225 |631574 | 22.9 | 23M| 47 | - | 679 |6977 | 679 |2712 | 19 | 22k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
135.97/136.07 c 136s| 22200 | 231 |634073 | 22.9 | 23M| 47 | 33 | 679 |6993 | 679 |2712 | 19 | 22k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
136.37/136.49 c 136s| 22300 | 232 |636487 | 22.9 | 23M| 48 | - | 679 |7017 | 679 |2712 | 19 | 22k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
136.76/136.83 c 137s| 22400 | 216 |638651 | 22.9 | 23M| 52 | - | 679 |7128 | 679 |2712 | 19 | 22k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
137.07/137.15 c 137s| 22500 | 214 |640714 | 22.9 | 23M| 52 | - | 679 |6828 | 679 |2712 | 19 | 22k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
137.47/137.53 c 138s| 22600 | 211 |643007 | 22.9 | 23M| 52 | 46 | 679 |6746 | 679 |2712 | 19 | 22k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
137.77/137.86 c 138s| 22700 | 213 |645331 | 22.9 | 22M| 52 | - | 679 |6596 | 679 |2712 | 19 | 22k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
138.07/138.14 c 138s| 22800 | 210 |647257 | 22.9 | 22M| 52 | - | 679 |6602 | 679 |2712 | 19 | 22k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
138.36/138.44 c 138s| 22900 | 199 |648971 | 22.8 | 22M| 52 | - | 679 |6312 | 679 |2712 | 19 | 22k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
138.67/138.75 c 139s| 23000 | 203 |651065 | 22.8 | 22M| 52 | - | 679 |6315 | 679 |2712 | 19 | 22k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
139.06/139.11 c 139s| 23100 | 203 |653332 | 22.8 | 22M| 52 | 32 | 679 |6359 | 679 |2712 | 19 | 22k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
139.37/139.41 c 139s| 23200 | 210 |655297 | 22.8 | 22M| 52 | 37 | 679 |6418 | 679 |2712 | 19 | 22k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
139.67/139.75 c 140s| 23300 | 212 |657779 | 22.8 | 22M| 52 | - | 679 |6489 | 679 |2712 | 19 | 22k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
140.07/140.11 c 140s| 23400 | 208 |660014 | 22.8 | 22M| 52 | 30 | 679 |6594 | 679 |2712 | 19 | 23k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
140.36/140.40 c 140s| 23500 | 205 |661915 | 22.8 | 22M| 52 | 25 | 679 |6662 | 679 |2712 | 19 | 23k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
140.67/140.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
140.67/140.75 c 141s| 23600 | 204 |664087 | 22.8 | 22M| 52 | 29 | 679 |6696 | 679 |2712 | 19 | 23k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
140.97/141.09 c 141s| 23700 | 204 |666234 | 22.8 | 23M| 52 | - | 679 |6741 | 679 |2712 | 19 | 23k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
141.37/141.43 c 141s| 23800 | 187 |668052 | 22.8 | 22M| 52 | 31 | 679 |6646 | 679 |2712 | 19 | 23k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
141.87/141.97 c 142s| 23900 | 200 |672502 | 22.9 | 22M| 52 | 27 | 679 |6650 | 679 |2712 | 19 | 23k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
142.26/142.30 c 142s| 24000 | 200 |674511 | 22.9 | 22M| 52 | 35 | 679 |6673 | 679 |2712 | 19 | 23k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
142.56/142.63 c 143s| 24100 | 196 |676460 | 22.8 | 22M| 52 | 28 | 679 |6721 | 679 |2712 | 19 | 23k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
142.77/142.89 c 143s| 24200 | 198 |678046 | 22.8 | 23M| 52 | 26 | 679 |6766 | 679 |2712 | 19 | 23k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
143.17/143.20 c 143s| 24300 | 196 |679840 | 22.8 | 23M| 52 | 31 | 679 |6818 | 679 |2712 | 19 | 23k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
143.57/143.61 c 144s| 24400 | 192 |682357 | 22.8 | 23M| 52 | 38 | 679 |6803 | 679 |2712 | 19 | 24k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
143.87/143.90 c 144s| 24500 | 196 |684238 | 22.8 | 23M| 52 | 25 | 679 |6814 | 679 |2712 | 19 | 24k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
144.07/144.17 c 144s| 24600 | 194 |685936 | 22.8 | 23M| 52 | - | 679 |6850 | 679 |2712 | 19 | 24k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
144.47/144.51 c 145s| 24700 | 204 |688122 | 22.8 | 23M| 52 | 24 | 679 |6848 | 679 |2712 | 19 | 24k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
144.76/144.84 c 145s| 24800 | 209 |690130 | 22.8 | 23M| 52 | 30 | 679 |6859 | 679 |2712 | 19 | 24k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
145.07/145.17 c 145s| 24900 | 204 |692277 | 22.8 | 23M| 52 | - | 679 |6916 | 679 |2712 | 19 | 24k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
145.47/145.52 c 146s| 25000 | 206 |694706 | 22.8 | 23M| 52 | 33 | 679 |6948 | 679 |2712 | 19 | 24k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
145.87/145.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
145.87/145.95 c 146s| 25100 | 208 |697494 | 22.8 | 23M| 52 | - | 679 |6988 | 679 |2712 | 19 | 24k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
146.17/146.30 c 146s| 25200 | 209 |699974 | 22.8 | 23M| 52 | - | 679 |7054 | 0 | 0 | 19 | 24k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
146.66/146.71 c 147s| 25300 | 224 |702626 | 22.8 | 23M| 52 | 34 | 679 |7106 | 679 |2712 | 19 | 24k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
146.97/147.09 c 147s| 25400 | 221 |705100 | 22.8 | 23M| 52 | 40 | 679 |7199 | 679 |2712 | 19 | 24k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
147.47/147.56 c 148s| 25500 | 224 |707476 | 22.8 | 23M| 52 | 41 | 679 |7244 | 679 |2712 | 19 | 25k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
147.86/147.90 c 148s| 25600 | 238 |709874 | 22.8 | 23M| 52 | 33 | 679 |7271 | 679 |2712 | 19 | 25k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
148.27/148.39 c 148s| 25700 | 239 |713059 | 22.9 | 23M| 52 | 35 | 679 |7320 | 679 |2712 | 19 | 25k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
148.67/148.72 c 149s| 25800 | 241 |715125 | 22.8 | 23M| 52 | 40 | 679 |7363 | 679 |2712 | 19 | 25k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
148.96/149.07 c 149s| 25900 | 236 |717234 | 22.8 | 23M| 52 | 34 | 679 |7466 | 679 |2712 | 19 | 25k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
149.36/149.42 c 149s| 26000 | 230 |719466 | 22.8 | 23M| 52 | - | 679 |7532 | 679 |2712 | 19 | 25k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
149.76/149.81 c 150s| 26100 | 225 |721957 | 22.8 | 23M| 52 | 28 | 679 |7537 | 679 |2712 | 19 | 25k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
150.06/150.17 c 150s| 26200 | 222 |724174 | 22.8 | 23M| 52 | - | 679 |7585 | 679 |2712 | 19 | 25k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
150.47/150.53 c 151s| 26300 | 229 |726402 | 22.8 | 23M| 52 | 25 | 679 |7652 | 679 |2712 | 19 | 25k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
150.76/150.82 c 151s| 26400 | 225 |728221 | 22.8 | 23M| 52 | 35 | 679 |7726 | 679 |2712 | 19 | 26k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
151.07/151.16 c 151s| 26500 | 222 |730200 | 22.8 | 23M| 52 | 34 | 679 |7692 | 679 |2712 | 19 | 26k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
151.36/151.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
151.36/151.47 c 151s| 26600 | 219 |732238 | 22.8 | 23M| 52 | 32 | 679 |7741 | 679 |2712 | 19 | 26k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
151.67/151.79 c 152s| 26700 | 213 |734135 | 22.8 | 23M| 52 | 27 | 679 |7734 | 679 |2712 | 19 | 26k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
152.06/152.16 c 152s| 26800 | 202 |736268 | 22.8 | 23M| 52 | - | 679 |7777 | 679 |2712 | 19 | 26k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
152.36/152.44 c 152s| 26900 | 201 |738096 | 22.8 | 23M| 52 | - | 679 |7854 | 0 | 0 | 19 | 26k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
152.77/152.85 c 153s| 27000 | 204 |740599 | 22.8 | 23M| 52 | - | 679 |7734 | 679 |2712 | 19 | 26k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
153.06/153.10 c 153s| 27100 | 205 |742130 | 22.8 | 23M| 52 | - | 679 |7755 | 679 |2712 | 19 | 26k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
153.36/153.40 c 153s| 27200 | 209 |744053 | 22.7 | 23M| 52 | - | 679 |7713 | 679 |2712 | 19 | 26k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
153.76/153.80 c 154s| 27300 | 209 |746342 | 22.8 | 23M| 52 | 32 | 679 |7536 | 679 |2712 | 19 | 26k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
154.06/154.10 c 154s| 27400 | 208 |748160 | 22.7 | 23M| 52 | 35 | 679 |7377 | 679 |2712 | 19 | 27k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
154.36/154.46 c 154s| 27500 | 214 |750720 | 22.7 | 23M| 52 | 38 | 679 |7320 | 679 |2712 | 19 | 27k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
154.66/154.78 c 155s| 27600 | 219 |752802 | 22.7 | 23M| 52 | - | 679 |7352 | 679 |2712 | 19 | 27k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
155.06/155.18 c 155s| 27700 | 220 |755424 | 22.7 | 23M| 52 | 30 | 679 |7421 | 679 |2712 | 19 | 27k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
155.56/155.62 c 156s| 27800 | 221 |758341 | 22.8 | 23M| 52 | 29 | 679 |7473 | 679 |2712 | 19 | 27k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
155.85/155.97 c 156s| 27900 | 213 |760741 | 22.8 | 23M| 52 | - | 679 |7467 | 679 |2712 | 19 | 27k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
156.17/156.27 c 156s| 28000 | 211 |762708 | 22.8 | 23M| 52 | 35 | 679 |7454 | 679 |2712 | 19 | 27k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
156.56/156.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
156.56/156.68 c 157s| 28100 | 210 |765566 | 22.8 | 23M| 52 | - | 679 |7452 | 679 |2712 | 19 | 27k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
156.96/157.03 c 157s| 28200 | 211 |768031 | 22.8 | 23M| 52 | 42 | 679 |7515 | 679 |2712 | 19 | 27k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
157.35/157.43 c 157s| 28300 | 212 |770620 | 22.8 | 23M| 52 | 44 | 679 |7593 | 679 |2712 | 19 | 27k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
157.76/157.86 c 158s| 28400 | 205 |773513 | 22.8 | 23M| 52 | 37 | 679 |7563 | 679 |2712 | 19 | 27k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
158.16/158.20 c 158s| 28500 | 207 |775742 | 22.8 | 23M| 52 | 40 | 679 |7521 | 679 |2712 | 19 | 27k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
158.56/158.65 c 159s| 28600 | 209 |778744 | 22.8 | 23M| 52 | 31 | 679 |7585 | 679 |2712 | 19 | 28k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
158.96/159.01 c 159s| 28700 | 211 |781290 | 22.8 | 23M| 52 | - | 679 |7657 | 679 |2712 | 19 | 28k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
159.36/159.46 c 159s| 28800 | 211 |784487 | 22.9 | 23M| 52 | 36 | 679 |7701 | 679 |2712 | 19 | 28k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
159.76/159.87 c 160s| 28900 | 210 |787350 | 22.9 | 23M| 52 | - | 679 |7771 | 679 |2712 | 19 | 28k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
160.26/160.30 c 160s| 29000 | 212 |790228 | 22.9 | 23M| 52 | 31 | 679 |7859 | 679 |2712 | 19 | 28k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
160.46/160.60 c 161s| 29100 | 210 |792203 | 22.9 | 23M| 52 | - | 679 |7896 | 0 | 0 | 19 | 28k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
160.86/160.94 c 161s| 29200 | 210 |794629 | 22.9 | 23M| 52 | 38 | 679 |7905 | 679 |2712 | 19 | 28k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
161.26/161.32 c 161s| 29300 | 206 |797298 | 22.9 | 23M| 52 | 33 | 679 |7989 | 679 |2712 | 19 | 28k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
161.56/161.63 c 162s| 29400 | 204 |799449 | 22.9 | 23M| 52 | - | 679 |8079 | 679 |2712 | 19 | 28k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
161.96/162.03 c 162s| 29500 | 205 |802004 | 22.9 | 23M| 52 | 31 | 679 |8178 | 679 |2712 | 19 | 29k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
162.26/162.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
162.26/162.39 c 162s| 29600 | 197 |804438 | 22.9 | 23M| 52 | - | 679 |8255 | 679 |2712 | 19 | 29k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
162.66/162.75 c 163s| 29700 | 194 |806617 | 22.9 | 23M| 52 | 36 | 679 |8111 | 679 |2712 | 19 | 29k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
162.96/163.06 c 163s| 29800 | 182 |808640 | 22.9 | 23M| 52 | 38 | 679 |7835 | 679 |2712 | 19 | 29k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
163.35/163.41 c 163s| 29900 | 168 |810660 | 22.9 | 23M| 52 | 42 | 679 |7574 | 679 |2712 | 19 | 29k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
163.66/163.72 c 164s| 30000 | 169 |812817 | 22.9 | 23M| 52 | 27 | 679 |7404 | 679 |2712 | 19 | 29k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
163.95/164.05 c 164s| 30100 | 153 |814684 | 22.9 | 23M| 52 | 18 | 679 |7158 | 679 |2712 | 19 | 29k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
164.36/164.46 c 164s| 30200 | 152 |817208 | 22.9 | 22M| 52 | - | 679 |6923 | 679 |2712 | 19 | 29k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
164.75/164.85 c 165s| 30300 | 161 |819826 | 22.9 | 22M| 52 | - | 679 |6938 | 679 |2712 | 19 | 29k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
165.26/165.37 c 165s| 30400 | 170 |823072 | 22.9 | 23M| 52 | - | 679 |6924 | 679 |2712 | 19 | 29k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
165.66/165.76 c 166s| 30500 | 185 |825813 | 22.9 | 23M| 52 | 32 | 679 |6845 | 679 |2712 | 19 | 29k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
165.96/166.06 c 166s| 30600 | 193 |827828 | 22.9 | 23M| 52 | 33 | 679 |6914 | 679 |2712 | 19 | 29k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
166.45/166.56 c 167s| 30700 | 210 |830894 | 22.9 | 23M| 52 | 34 | 679 |6965 | 679 |2712 | 19 | 30k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
166.85/166.92 c 167s| 30800 | 213 |833196 | 22.9 | 23M| 52 | 33 | 679 |7058 | 679 |2712 | 19 | 30k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
167.16/167.26 c 167s| 30900 | 215 |835575 | 23.0 | 23M| 52 | - | 679 |7131 | 679 |2712 | 19 | 30k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
167.55/167.66 c 168s| 31000 | 211 |838425 | 23.0 | 23M| 52 | - | 679 |7166 | 679 |2712 | 19 | 30k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
167.95/168.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
167.95/168.08 c 168s| 31100 | 213 |841011 | 23.0 | 23M| 52 | 32 | 679 |7204 | 679 |2712 | 19 | 30k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
168.36/168.43 c 168s| 31200 | 216 |843420 | 23.0 | 23M| 52 | 23 | 679 |7227 | 679 |2712 | 19 | 30k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
168.66/168.77 c 169s| 31300 | 210 |845643 | 23.0 | 23M| 52 | - | 679 |7305 | 679 |2712 | 19 | 30k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
169.05/169.16 c 169s| 31400 | 207 |848264 | 23.0 | 23M| 52 | - | 679 |7314 | 679 |2712 | 19 | 30k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
169.46/169.50 c 169s| 31500 | 199 |850511 | 23.0 | 23M| 52 | 31 | 679 |7324 | 679 |2712 | 19 | 30k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
169.65/169.78 c 170s| 31600 | 195 |852291 | 23.0 | 23M| 52 | 30 | 679 |7383 | 679 |2712 | 19 | 30k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
169.95/170.02 c 170s| 31700 | 192 |853702 | 22.9 | 23M| 52 | - | 679 |7477 | 679 |2712 | 19 | 31k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
170.25/170.32 c 170s| 31800 | 189 |855402 | 22.9 | 23M| 52 | - | 679 |7551 | 0 | 0 | 19 | 31k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
170.65/170.71 c 171s| 31900 | 184 |857140 | 22.9 | 23M| 52 | - | 679 |7603 | 679 |2712 | 19 | 31k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
170.95/171.05 c 171s| 32000 | 192 |859392 | 22.9 | 23M| 52 | - | 679 |7651 | 679 |2712 | 19 | 31k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
171.36/171.42 c 171s| 32100 | 191 |861812 | 22.9 | 23M| 52 | - | 679 |7727 | 679 |2712 | 19 | 31k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
171.75/171.82 c 172s| 32200 | 202 |864404 | 22.9 | 23M| 52 | 40 | 679 |7784 | 679 |2712 | 19 | 31k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
172.15/172.20 c 172s| 32300 | 203 |866680 | 22.9 | 23M| 52 | - | 679 |7831 | 679 |2712 | 19 | 31k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
172.45/172.55 c 173s| 32400 | 197 |869312 | 22.9 | 23M| 52 | - | 679 |7912 | 679 |2712 | 19 | 31k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
172.85/172.96 c 173s| 32500 | 194 |872194 | 22.9 | 23M| 52 | 35 | 679 |7986 | 679 |2712 | 19 | 31k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
173.25/173.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
173.25/173.33 c 173s| 32600 | 188 |874640 | 23.0 | 23M| 52 | 41 | 679 |8046 | 679 |2712 | 19 | 31k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
173.55/173.68 c 174s| 32700 | 183 |876674 | 22.9 | 23M| 52 | 28 | 679 |8140 | 679 |2712 | 19 | 31k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
173.85/173.95 c 174s| 32800 | 173 |878460 | 22.9 | 23M| 52 | - | 679 |8210 | 679 |2712 | 19 | 32k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
174.25/174.33 c 174s| 32900 | 177 |880754 | 22.9 | 23M| 52 | 34 | 679 |8281 | 679 |2712 | 19 | 32k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
174.65/174.72 c 175s| 33000 | 171 |883036 | 22.9 | 23M| 52 | 43 | 679 |8333 | 679 |2712 | 19 | 32k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
174.95/175.03 c 175s| 33100 | 164 |885039 | 22.9 | 23M| 52 | 28 | 679 |8326 | 679 |2712 | 19 | 32k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
175.25/175.35 c 175s| 33200 | 160 |887022 | 22.9 | 23M| 52 | - | 679 |8391 | 679 |2712 | 19 | 32k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
175.65/175.72 c 176s| 33300 | 159 |889428 | 22.9 | 23M| 52 | 35 | 679 |8431 | 679 |2712 | 19 | 32k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
175.95/176.04 c 176s| 33400 | 157 |891592 | 22.9 | 23M| 52 | - | 679 |8444 | 0 | 0 | 19 | 32k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
176.25/176.36 c 176s| 33500 | 152 |893487 | 22.9 | 23M| 52 | 34 | 679 |8459 | 679 |2712 | 19 | 32k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
176.65/176.76 c 177s| 33600 | 147 |896070 | 22.9 | 23M| 52 | - | 679 |8195 | 679 |2712 | 19 | 32k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
177.06/177.13 c 177s| 33700 | 149 |898218 | 22.9 | 23M| 52 | - | 679 |7994 | 679 |2712 | 19 | 32k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
177.35/177.41 c 177s| 33800 | 152 |900057 | 22.9 | 23M| 52 | 37 | 679 |7824 | 679 |2712 | 19 | 32k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
177.65/177.78 c 178s| 33900 | 154 |902424 | 22.9 | 23M| 52 | 34 | 679 |7674 | 679 |2712 | 19 | 33k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
177.95/178.06 c 178s| 34000 | 160 |904172 | 22.9 | 23M| 52 | - | 679 |7684 | 0 | 0 | 19 | 33k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
178.24/178.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
178.24/178.33 c 178s| 34100 | 161 |906033 | 22.9 | 23M| 52 | - | 679 |7728 | 0 | 0 | 19 | 33k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
178.55/178.62 c 179s| 34200 | 167 |907692 | 22.9 | 23M| 52 | 25 | 679 |7799 | 679 |2712 | 19 | 33k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
178.75/178.89 c 179s| 34300 | 169 |909514 | 22.8 | 23M| 52 | - | 679 |7835 | 679 |2712 | 19 | 33k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
179.15/179.21 c 179s| 34400 | 174 |911519 | 22.8 | 23M| 52 | 32 | 679 |7880 | 679 |2712 | 19 | 33k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
179.35/179.48 c 179s| 34500 | 171 |913175 | 22.8 | 23M| 52 | - | 679 |7948 | 679 |2712 | 19 | 33k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
179.65/179.78 c 180s| 34600 | 171 |915024 | 22.8 | 23M| 52 | 33 | 679 |7939 | 679 |2712 | 19 | 33k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
179.94/180.06 c 180s| 34700 | 173 |916900 | 22.8 | 23M| 52 | - | 679 |7973 | 679 |2712 | 19 | 33k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
180.35/180.43 c 180s| 34800 | 177 |919245 | 22.8 | 23M| 52 | - | 679 |7961 | 679 |2712 | 19 | 33k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
180.64/180.76 c 181s| 34900 | 177 |921569 | 22.8 | 23M| 52 | - | 679 |7982 | 679 |2712 | 19 | 33k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
181.05/181.17 c 181s| 35000 | 183 |924242 | 22.8 | 23M| 52 | - | 679 |8042 | 679 |2712 | 19 | 34k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
181.45/181.58 c 182s| 35100 | 188 |926394 | 22.8 | 23M| 52 | - | 679 |8085 | 679 |2712 | 19 | 34k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
181.75/181.82 c 182s| 35200 | 183 |927799 | 22.8 | 23M| 52 | 33 | 679 |8146 | 679 |2712 | 19 | 34k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
181.94/182.08 c 182s| 35300 | 187 |929391 | 22.8 | 23M| 52 | - | 679 |8220 | 679 |2712 | 19 | 34k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
182.34/182.42 c 182s| 35400 | 186 |931390 | 22.8 | 23M| 52 | - | 679 |8314 | 679 |2712 | 19 | 34k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
182.75/182.85 c 183s| 35500 | 191 |933907 | 22.8 | 23M| 52 | 35 | 679 |8347 | 679 |2712 | 19 | 34k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
183.04/183.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
183.04/183.10 c 183s| 35600 | 191 |935616 | 22.8 | 23M| 52 | 24 | 679 |8426 | 679 |2712 | 19 | 34k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
183.24/183.37 c 183s| 35700 | 187 |937348 | 22.7 | 23M| 52 | 28 | 679 |8471 | 679 |2712 | 19 | 34k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
183.65/183.77 c 184s| 35800 | 203 |939961 | 22.8 | 23M| 52 | 31 | 679 |8449 | 679 |2712 | 19 | 34k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
184.05/184.14 c 184s| 35900 | 215 |942349 | 22.8 | 23M| 52 | 33 | 679 |8505 | 679 |2712 | 19 | 34k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
184.34/184.46 c 184s| 36000 | 223 |944606 | 22.8 | 24M| 52 | 37 | 679 |8577 | 679 |2712 | 19 | 34k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
184.75/184.84 c 185s| 36100 | 229 |946959 | 22.8 | 24M| 52 | - | 679 |8674 | 679 |2712 | 19 | 35k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
185.05/185.18 c 185s| 36200 | 228 |949076 | 22.8 | 24M| 52 | 33 | 679 |8761 | 679 |2712 | 19 | 35k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
185.34/185.48 c 185s| 36300 | 217 |951025 | 22.7 | 24M| 52 | 38 | 679 |8815 | 679 |2712 | 19 | 35k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
185.75/185.88 c 186s| 36400 | 217 |953479 | 22.8 | 24M| 52 | - | 679 |8876 | 679 |2712 | 19 | 35k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
186.15/186.20 c 186s| 36500 | 219 |955486 | 22.7 | 24M| 52 | - | 679 |8941 | 679 |2712 | 19 | 35k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
186.44/186.53 c 187s| 36600 | 213 |957561 | 22.7 | 24M| 52 | 35 | 679 |9007 | 679 |2712 | 19 | 35k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
186.75/186.86 c 187s| 36700 | 211 |959671 | 22.7 | 24M| 52 | 38 | 679 |9038 | 679 |2712 | 19 | 35k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
187.14/187.23 c 187s| 36800 | 208 |961897 | 22.7 | 24M| 52 | 39 | 679 |9084 | 679 |2712 | 19 | 35k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
187.45/187.52 c 188s| 36900 | 201 |963830 | 22.7 | 24M| 52 | 38 | 679 |9175 | 679 |2712 | 19 | 35k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
187.74/187.87 c 188s| 37000 | 203 |966149 | 22.7 | 24M| 52 | 39 | 679 |9242 | 679 |2712 | 19 | 35k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
188.04/188.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
188.04/188.16 c 188s| 37100 | 199 |968046 | 22.7 | 24M| 52 | 25 | 679 |9317 | 679 |2712 | 19 | 36k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
188.34/188.48 c 188s| 37200 | 185 |970015 | 22.7 | 24M| 52 | - | 679 |9380 | 679 |2712 | 19 | 36k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
188.75/188.82 c 189s| 37300 | 182 |971932 | 22.7 | 24M| 52 | - | 679 |9340 | 679 |2712 | 19 | 36k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
189.05/189.16 c 189s| 37400 | 184 |974010 | 22.7 | 24M| 52 | - | 679 |9368 | 679 |2712 | 19 | 36k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
189.34/189.46 c 189s| 37500 | 181 |976054 | 22.7 | 24M| 52 | 30 | 679 |9435 | 679 |2712 | 19 | 36k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
189.65/189.75 c 190s| 37600 | 174 |977789 | 22.7 | 24M| 52 | 42 | 679 |9483 | 679 |2712 | 19 | 36k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
189.94/190.09 c 190s| 37700 | 162 |979955 | 22.7 | 24M| 52 | - | 679 |9524 | 679 |2712 | 19 | 36k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
190.25/190.39 c 190s| 37800 | 151 |981561 | 22.7 | 24M| 52 | 38 | 679 |9545 | 679 |2712 | 19 | 36k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
190.65/190.74 c 191s| 37900 | 146 |983374 | 22.7 | 24M| 52 | - | 679 |9530 | 0 | 0 | 19 | 36k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
191.04/191.13 c 191s| 38000 | 143 |985814 | 22.7 | 24M| 52 | 41 | 679 |9252 | 679 |2712 | 19 | 36k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
191.35/191.42 c 191s| 38100 | 153 |987767 | 22.7 | 24M| 52 | 16 | 679 |9166 | 679 |2712 | 19 | 37k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
191.64/191.78 c 192s| 38200 | 166 |989935 | 22.6 | 24M| 52 | - | 679 |9141 | 679 |2712 | 19 | 37k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
192.14/192.22 c 192s| 38300 | 182 |992756 | 22.7 | 24M| 52 | 34 | 679 |9085 | 679 |2712 | 19 | 37k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
192.44/192.51 c 193s| 38400 | 188 |994664 | 22.7 | 24M| 52 | 32 | 679 |9111 | 679 |2712 | 19 | 37k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
192.74/192.83 c 193s| 38500 | 190 |996409 | 22.6 | 24M| 52 | 30 | 679 |9162 | 679 |2712 | 19 | 37k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
193.04/193.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
193.04/193.15 c 193s| 38600 | 188 |998295 | 22.6 | 24M| 52 | - | 679 |9182 | 679 |2712 | 19 | 37k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
193.34/193.42 c 193s| 38700 | 194 |999986 | 22.6 | 24M| 52 | 18 | 679 |9213 | 679 |2712 | 19 | 37k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
193.64/193.71 c 194s| 38800 | 195 | 1001k| 22.6 | 24M| 52 | - | 679 |9202 | 679 |2712 | 19 | 37k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
193.94/194.04 c 194s| 38900 | 200 | 1003k| 22.6 | 24M| 52 | 16 | 679 |9219 | 679 |2712 | 19 | 37k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
194.24/194.32 c 194s| 39000 | 207 | 1005k| 22.6 | 24M| 52 | - | 679 |9249 | 679 |2712 | 19 | 37k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
194.44/194.58 c 195s| 39100 | 203 | 1006k| 22.6 | 24M| 52 | 30 | 679 |9299 | 679 |2712 | 19 | 37k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
194.74/194.88 c 195s| 39200 | 203 | 1008k| 22.6 | 24M| 52 | 30 | 679 |9330 | 679 |2712 | 19 | 37k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
195.14/195.23 c 195s| 39300 | 203 | 1011k| 22.6 | 24M| 52 | - | 679 |9372 | 679 |2712 | 19 | 37k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
195.34/195.49 c 195s| 39400 | 207 | 1012k| 22.6 | 24M| 52 | - | 679 |9435 | 679 |2712 | 19 | 38k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
195.75/195.85 c 196s| 39500 | 205 | 1015k| 22.6 | 24M| 52 | 34 | 679 |9500 | 679 |2712 | 19 | 38k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
196.04/196.15 c 196s| 39600 | 202 | 1016k| 22.5 | 24M| 52 | - | 679 |9556 | 679 |2712 | 19 | 38k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
196.34/196.47 c 196s| 39700 | 199 | 1019k| 22.5 | 24M| 52 | 43 | 679 |9577 | 679 |2712 | 19 | 38k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
196.74/196.82 c 197s| 39800 | 197 | 1021k| 22.5 | 24M| 52 | - | 679 |9613 | 679 |2712 | 19 | 38k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
197.14/197.20 c 197s| 39900 | 194 | 1023k| 22.5 | 24M| 52 | 29 | 679 |9653 | 679 |2712 | 19 | 38k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
197.44/197.50 c 197s| 40000 | 187 | 1025k| 22.5 | 24M| 52 | 35 | 679 |9692 | 679 |2712 | 19 | 38k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
197.74/197.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
197.74/197.86 c 198s| 40100 | 188 | 1027k| 22.5 | 24M| 52 | - | 679 |9728 | 679 |2712 | 19 | 38k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
198.04/198.18 c 198s| 40200 | 186 | 1030k| 22.5 | 24M| 52 | - | 679 |9751 | 679 |2712 | 19 | 38k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
198.44/198.52 c 199s| 40300 | 181 | 1032k| 22.5 | 24M| 52 | 31 | 679 |9775 | 679 |2712 | 19 | 38k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
198.74/198.80 c 199s| 40400 | 174 | 1033k| 22.5 | 24M| 52 | - | 679 |9808 | 679 |2712 | 19 | 38k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
198.95/199.08 c 199s| 40500 | 168 | 1035k| 22.5 | 24M| 52 | - | 679 |9843 | 679 |2712 | 19 | 38k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
199.34/199.46 c 199s| 40600 | 169 | 1038k| 22.5 | 24M| 52 | 30 | 679 |9914 | 679 |2712 | 19 | 39k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
199.64/199.78 c 200s| 40700 | 166 | 1040k| 22.5 | 24M| 52 | - | 679 |9985 | 679 |2712 | 19 | 39k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
200.04/200.11 c 200s| 40800 | 163 | 1042k| 22.5 | 24M| 52 | - | 679 | 10k| 679 |2712 | 19 | 39k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
200.34/200.41 c 200s| 40900 | 164 | 1044k| 22.5 | 24M| 52 | - | 679 | 10k| 679 |2712 | 19 | 39k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
200.64/200.74 c 201s| 41000 | 165 | 1046k| 22.5 | 24M| 52 | - | 679 | 10k| 679 |2712 | 19 | 39k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
201.04/201.10 c 201s| 41100 | 160 | 1048k| 22.5 | 24M| 52 | 22 | 679 | 10k| 679 |2712 | 19 | 39k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
201.25/201.39 c 201s| 41200 | 148 | 1050k| 22.5 | 24M| 52 | - | 679 | 10k| 679 |2712 | 19 | 39k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
201.64/201.70 c 202s| 41300 | 148 | 1052k| 22.5 | 24M| 52 | - | 679 | 10k| 679 |2712 | 19 | 39k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
202.04/202.12 c 202s| 41400 | 144 | 1055k| 22.5 | 24M| 52 | - | 679 | 10k| 679 |2712 | 19 | 39k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
202.34/202.43 c 202s| 41500 | 132 | 1057k| 22.5 | 24M| 52 | - | 679 | 10k| 679 |2712 | 19 | 39k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
202.64/202.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
202.64/202.75 c 203s| 41600 | 120 | 1059k| 22.5 | 24M| 52 | 39 | 679 |9532 | 679 |2712 | 19 | 39k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
203.14/203.21 c 203s| 41700 | 123 | 1061k| 22.5 | 23M| 52 | - | 679 |9032 | 679 |2712 | 19 | 40k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
203.54/203.67 c 204s| 41800 | 129 | 1064k| 22.5 | 23M| 52 | 38 | 679 |8206 | 679 |2712 | 19 | 40k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
203.94/204.06 c 204s| 41900 | 139 | 1066k| 22.5 | 23M| 52 | 29 | 679 |7684 | 679 |2712 | 19 | 40k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
204.24/204.35 c 204s| 42000 | 136 | 1068k| 22.5 | 23M| 52 | 39 | 679 |7327 | 679 |2712 | 19 | 40k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
204.44/204.58 c 205s| 42100 | 132 | 1069k| 22.5 | 23M| 52 | - | 679 |7226 | 679 |2712 | 19 | 40k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
204.84/204.96 c 205s| 42200 | 134 | 1072k| 22.5 | 23M| 52 | 22 | 679 |7042 | 679 |2712 | 19 | 40k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
205.24/205.31 c 205s| 42300 | 127 | 1074k| 22.5 | 23M| 52 | 43 | 679 |6956 | 679 |2712 | 19 | 40k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
205.54/205.63 c 206s| 42400 | 119 | 1076k| 22.5 | 23M| 52 | 36 | 679 |6904 | 679 |2712 | 19 | 40k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
205.84/205.97 c 206s| 42500 | 110 | 1078k| 22.5 | 22M| 52 | 25 | 679 |6862 | 679 |2712 | 19 | 40k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
206.24/206.33 c 206s| 42600 | 108 | 1080k| 22.5 | 22M| 52 | - | 679 |6733 | 679 |2712 | 19 | 40k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
206.54/206.63 c 207s| 42700 | 111 | 1082k| 22.5 | 22M| 52 | - | 679 |6694 | 0 | 0 | 19 | 40k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
206.84/206.99 c 207s| 42800 | 117 | 1085k| 22.5 | 22M| 52 | 33 | 679 |6677 | 679 |2712 | 19 | 40k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
207.24/207.32 c 207s| 42900 | 118 | 1087k| 22.5 | 22M| 52 | 31 | 679 |6755 | 679 |2712 | 19 | 41k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
207.54/207.68 c 208s| 43000 | 117 | 1089k| 22.5 | 23M| 52 | - | 679 |6835 | 679 |2712 | 19 | 41k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
207.84/207.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
207.84/207.98 c 208s| 43100 | 118 | 1091k| 22.5 | 23M| 52 | 45 | 679 |6875 | 679 |2712 | 19 | 41k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
208.14/208.28 c 208s| 43200 | 128 | 1093k| 22.5 | 23M| 52 | 26 | 679 |6923 | 679 |2712 | 19 | 41k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
208.44/208.59 c 209s| 43300 | 129 | 1095k| 22.4 | 23M| 52 | 35 | 679 |6968 | 679 |2712 | 19 | 41k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
208.74/208.89 c 209s| 43400 | 132 | 1097k| 22.4 | 23M| 52 | 18 | 679 |6961 | 679 |2712 | 19 | 41k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
209.14/209.20 c 209s| 43500 | 136 | 1099k| 22.4 | 23M| 52 | 30 | 679 |7034 | 679 |2712 | 19 | 41k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
209.44/209.55 c 210s| 43600 | 132 | 1102k| 22.4 | 23M| 52 | 33 | 679 |7123 | 679 |2712 | 19 | 41k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
209.84/209.90 c 210s| 43700 | 134 | 1104k| 22.4 | 23M| 52 | - | 679 |7141 | 679 |2712 | 19 | 41k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
210.13/210.27 c 210s| 43800 | 134 | 1106k| 22.4 | 23M| 52 | 24 | 679 |7176 | 679 |2712 | 19 | 41k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
210.54/210.63 c 211s| 43900 | 130 | 1108k| 22.4 | 23M| 52 | - | 679 |7204 | 679 |2712 | 19 | 41k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
210.84/210.91 c 211s| 44000 | 133 | 1110k| 22.4 | 23M| 52 | - | 679 |7272 | 679 |2712 | 19 | 41k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
211.15/211.20 c 211s| 44100 | 138 | 1112k| 22.4 | 23M| 52 | - | 679 |7332 | 679 |2712 | 19 | 42k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
211.54/211.61 c 212s| 44200 | 144 | 1115k| 22.4 | 23M| 52 | - | 679 |7402 | 679 |2712 | 19 | 42k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
211.94/212.01 c 212s| 44300 | 144 | 1117k| 22.4 | 23M| 52 | 39 | 679 |7509 | 679 |2712 | 19 | 42k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
212.25/212.31 c 212s| 44400 | 138 | 1119k| 22.4 | 23M| 52 | - | 679 |7612 | 679 |2712 | 19 | 42k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
212.54/212.64 c 213s| 44500 | 130 | 1122k| 22.4 | 23M| 52 | 35 | 679 |7669 | 679 |2712 | 19 | 42k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
212.84/212.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
212.84/212.94 c 213s| 44600 | 132 | 1124k| 22.4 | 23M| 52 | 38 | 679 |7716 | 679 |2712 | 19 | 42k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
213.34/213.42 c 213s| 44700 | 131 | 1126k| 22.4 | 23M| 52 | 39 | 679 |7743 | 679 |2712 | 19 | 42k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
213.64/213.74 c 214s| 44800 | 126 | 1128k| 22.4 | 23M| 52 | 29 | 679 |7742 | 679 |2712 | 19 | 42k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
213.93/214.03 c 214s| 44900 | 120 | 1130k| 22.4 | 23M| 52 | - | 679 |7724 | 0 | 0 | 19 | 42k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
214.14/214.28 c 214s| 45000 | 117 | 1131k| 22.4 | 23M| 52 | 39 | 679 |7736 | 679 |2712 | 19 | 42k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
214.44/214.56 c 215s| 45100 | 99 | 1133k| 22.4 | 23M| 52 | - | 679 |7743 | 679 |2712 | 19 | 42k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
214.74/214.87 c 215s| 45200 | 101 | 1134k| 22.4 | 23M| 52 | - | 679 |7347 | 679 |2712 | 19 | 43k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
215.04/215.18 c 215s| 45300 | 89 | 1136k| 22.4 | 23M| 52 | - | 679 |7216 | 679 |2712 | 19 | 43k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
215.34/215.47 c 215s| 45400 | 80 | 1138k| 22.4 | 22M| 52 | 32 | 679 |7006 | 679 |2712 | 19 | 43k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
215.64/215.79 c 216s| 45500 | 83 | 1140k| 22.4 | 22M| 52 | 28 | 679 |7006 | 679 |2712 | 19 | 43k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
215.94/216.06 c 216s| 45600 | 91 | 1142k| 22.3 | 22M| 52 | - | 679 |6913 | 679 |2712 | 19 | 43k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
216.14/216.29 c 216s| 45700 | 89 | 1143k| 22.3 | 22M| 52 | 39 | 679 |6887 | 679 |2712 | 19 | 43k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
216.44/216.55 c 217s| 45800 | 86 | 1144k| 22.3 | 22M| 52 | 33 | 679 |6960 | 679 |2712 | 19 | 43k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
216.65/216.79 c 217s| 45900 | 82 | 1146k| 22.3 | 22M| 52 | 21 | 679 |7041 | 679 |2712 | 19 | 43k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
216.94/217.06 c 217s| 46000 | 91 | 1148k| 22.3 | 23M| 52 | 23 | 679 |7080 | 679 |2712 | 19 | 43k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
217.24/217.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
217.24/217.30 c 217s| 46100 | 90 | 1149k| 22.3 | 23M| 52 | 18 | 679 |7144 | 679 |2712 | 19 | 43k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
217.54/217.60 c 218s| 46200 | 97 | 1151k| 22.3 | 23M| 52 | 28 | 679 |7163 | 679 |2712 | 19 | 43k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
217.84/217.93 c 218s| 46300 | 94 | 1153k| 22.3 | 23M| 52 | 35 | 679 |7196 | 679 |2712 | 19 | 44k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
218.14/218.24 c 218s| 46400 | 88 | 1155k| 22.3 | 23M| 52 | 27 | 679 |7232 | 679 |2712 | 19 | 44k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
218.44/218.57 c 219s| 46500 | 85 | 1158k| 22.3 | 23M| 52 | 43 | 679 |7317 | 679 |2712 | 19 | 44k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
218.75/218.83 c 219s| 46600 | 90 | 1159k| 22.3 | 23M| 52 | 24 | 679 |7358 | 679 |2712 | 19 | 44k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
219.04/219.11 c 219s| 46700 | 91 | 1161k| 22.2 | 23M| 52 | 37 | 679 |7442 | 679 |2712 | 19 | 44k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
219.34/219.46 c 219s| 46800 | 97 | 1163k| 22.2 | 23M| 52 | - | 679 |7498 | 679 |2712 | 19 | 44k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
219.74/219.85 c 220s| 46900 | 97 | 1166k| 22.3 | 23M| 52 | - | 679 |7609 | 679 |2712 | 19 | 44k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
220.04/220.10 c 220s| 47000 | 96 | 1167k| 22.2 | 23M| 52 | - | 679 |7665 | 679 |2712 | 19 | 44k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
220.33/220.41 c 220s| 47100 | 102 | 1169k| 22.2 | 23M| 52 | 31 | 679 |7751 | 679 |2712 | 19 | 44k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
220.64/220.78 c 221s| 47200 | 101 | 1172k| 22.2 | 23M| 52 | 28 | 679 |7857 | 679 |2712 | 19 | 44k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
221.13/221.22 c 221s| 47300 | 109 | 1175k| 22.3 | 23M| 52 | 34 | 679 |7896 | 679 |2712 | 19 | 45k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
221.44/221.50 c 221s| 47400 | 112 | 1176k| 22.2 | 23M| 52 | - | 679 |7929 | 679 |2712 | 19 | 45k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
221.63/221.79 c 222s| 47500 | 114 | 1178k| 22.2 | 23M| 52 | - | 679 |7713 | 679 |2712 | 19 | 45k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
222.04/222.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
222.04/222.11 c 222s| 47600 | 108 | 1180k| 22.2 | 23M| 52 | 33 | 679 |7700 | 679 |2712 | 19 | 45k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
222.44/222.50 c 222s| 47700 | 97 | 1183k| 22.2 | 23M| 52 | - | 679 |7733 | 0 | 0 | 19 | 45k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
222.63/222.70 c 223s| 47800 | 87 | 1184k| 22.2 | 23M| 52 | 29 | 679 |7813 | 679 |2712 | 19 | 45k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
222.84/222.95 c 223s| 47900 | 86 | 1185k| 22.2 | 23M| 52 | 24 | 679 |7885 | 679 |2712 | 19 | 45k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
223.14/223.26 c 223s| 48000 | 72 | 1187k| 22.2 | 23M| 52 | 24 | 679 |7912 | 679 |2712 | 19 | 45k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
223.44/223.58 c 224s| 48100 | 69 | 1189k| 22.2 | 23M| 52 | 37 | 679 |7848 | 679 |2712 | 19 | 45k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
223.83/223.92 c 224s| 48200 | 66 | 1191k| 22.2 | 23M| 52 | 41 | 679 |7915 | 679 |2712 | 19 | 45k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
224.14/224.23 c 224s| 48300 | 61 | 1194k| 22.2 | 23M| 52 | 46 | 679 |7844 | 679 |2712 | 19 | 45k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
224.43/224.54 c 225s| 48400 | 42 | 1195k| 22.2 | 23M| 52 | - | 679 |7627 | 0 | 0 | 19 | 46k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
224.74/224.84 c 225s| 48500 | 47 | 1197k| 22.2 | 23M| 52 | 23 | 679 |7615 | 679 |2712 | 19 | 46k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
225.04/225.15 c 225s| 48600 | 49 | 1199k| 22.2 | 23M| 52 | - | 679 |7633 | 679 |2712 | 19 | 46k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
225.23/225.37 c 225s| 48700 | 24 | 1200k| 22.2 | 22M| 52 | - | 679 |7528 | 0 | 0 | 19 | 46k| 0 | 1.351351e-01 | 3.000000e+00 |2120.00%
225.44/225.52 c
225.44/225.52 c SCIP Status : problem is solved [optimal solution found]
225.44/225.52 c Solving Time (sec) : 225.52
225.44/225.52 c Solving Nodes : 48778 (total of 54264 nodes in 2 runs)
225.44/225.52 c Primal Bound : +3.00000000000000e+00 (20 solutions)
225.44/225.52 c Dual Bound : +3.00000000000000e+00
225.44/225.52 c Gap : 0.00 %
225.44/225.52 s OPTIMUM FOUND
225.44/225.52 v -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210
225.44/225.52 v -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
225.44/225.52 v -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
225.44/225.52 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 -x147
225.44/225.52 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
225.44/225.52 v x125 -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105
225.44/225.52 v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80
225.44/225.52 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55
225.44/225.52 v -x54 -x53 x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
225.44/225.52 v -x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 x5 x4 -x3 -x2
225.44/225.52 v -x1
225.44/225.52 c SCIP Status : problem is solved [optimal solution found]
225.44/225.52 c Total Time : 225.52
225.44/225.52 c solving : 225.52
225.44/225.52 c presolving : 0.64 (included in solving)
225.44/225.52 c reading : 0.01 (included in solving)
225.44/225.52 c copying : 0.48 (20 #copies) (minimal 0.01, maximal 0.03, average 0.02)
225.44/225.52 c Original Problem :
225.44/225.52 c Problem name : HOME/instance-3717713-1338200295.wbo
225.44/225.52 c Variables : 2938 (2938 binary, 0 integer, 0 implicit integer, 0 continuous)
225.44/225.52 c Constraints : 2708 initial, 2708 maximal
225.44/225.52 c Objective sense : minimize
225.44/225.52 c Presolved Problem :
225.44/225.52 c Problem name : t_HOME/instance-3717713-1338200295.wbo
225.44/225.52 c Variables : 679 (455 binary, 0 integer, 224 implicit integer, 0 continuous)
225.44/225.52 c Constraints : 5690 initial, 10336 maximal
225.44/225.52 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
225.44/225.52 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
225.44/225.52 c trivial : 0.01 0.00 4900 0 0 0 0 0 0 0 0
225.44/225.52 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
225.44/225.52 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
225.44/225.52 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
225.44/225.52 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
225.44/225.52 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
225.44/225.52 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
225.44/225.52 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
225.44/225.52 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
225.44/225.52 c probing : 0.01 0.00 0 0 0 0 0 0 0 0 0
225.44/225.52 c varbound : 0.00 0.00 0 0 0 0 0 0 0 0 0
225.44/225.52 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0
225.44/225.52 c setppc : 0.00 0.00 0 0 0 0 0 101 0 0 0
225.44/225.52 c linear : 0.09 0.00 49 0 0 2773 0 2617 0 17 0
225.44/225.52 c indicator : 0.00 0.00 17 0 0 0 0 66 0 0 0
225.44/225.52 c logicor : 0.47 0.03 0 0 0 0 0 110 0 0 0
225.44/225.52 c bounddisjunction : 0.00 0.00 0 0 0 0 0 0 0 0 0
225.44/225.52 c root node : - - 5210 - - 5210 - - - - -
225.44/225.52 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
225.44/225.52 c integral : 0 0 0 0 28196 0 28283 0 0 0 0 0 56392
225.44/225.52 c varbound : 224 224 1 172306 0 0 0 748 0 112258 0 0 0
225.44/225.52 c knapsack : 4 4 1 172946 0 0 25070 19853 415 87296 0 0 0
225.44/225.52 c setppc : 41 41 1 172535 0 0 17507 310533 2710 259946 0 0 0
225.44/225.52 c linear : 229 229 7 190995 0 0 3212 61184 913 129323 0 0 0
225.44/225.52 c indicator : 224 224 0 189507 0 0 44 495 0 57598 0 0 0
225.44/225.52 c logicor : 4923+ 9879 1 128431 0 0 4 127559 2756 335311 18 0 0
225.44/225.52 c bounddisjunction : 45+ 71 0 29475 0 0 0 33 3 90 0 0 0
225.44/225.52 c countsols : 0 0 0 0 0 0 45 0 0 0 0 0 0
225.44/225.52 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
225.44/225.52 c integral : 0.90 0.00 0.00 0.00 0.21 0.00 0.69 0.00
225.44/225.52 c varbound : 0.34 0.00 0.00 0.34 0.00 0.00 0.00 0.00
225.44/225.52 c knapsack : 0.73 0.00 0.00 0.64 0.00 0.00 0.07 0.02
225.44/225.52 c setppc : 1.11 0.00 0.00 0.98 0.00 0.00 0.03 0.10
225.44/225.52 c linear : 3.00 0.00 0.00 2.21 0.00 0.00 0.73 0.05
225.44/225.52 c indicator : 0.69 0.00 0.00 0.64 0.00 0.00 0.04 0.00
225.44/225.52 c logicor : 4.86 0.03 0.00 4.74 0.00 0.00 0.00 0.10
225.44/225.52 c bounddisjunction : 0.07 0.00 0.00 0.07 0.00 0.00 0.00 0.00
225.44/225.52 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
225.44/225.52 c Propagators : #Propagate #ResProp Cutoffs DomReds
225.44/225.52 c rootredcost : 8 0 0 642
225.44/225.52 c pseudoobj : 222441 468 21 18465
225.44/225.52 c vbounds : 12957 1580 1 311576
225.44/225.52 c redcost : 35236 0 0 409579
225.44/225.52 c probing : 0 0 0 0
225.44/225.52 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
225.44/225.52 c rootredcost : 0.07 0.00 0.00 0.07 0.00
225.44/225.52 c pseudoobj : 0.29 0.00 0.00 0.27 0.02
225.44/225.52 c vbounds : 1.36 0.00 0.00 1.36 0.00
225.44/225.52 c redcost : 1.66 0.00 0.00 1.66 0.00
225.44/225.52 c probing : 0.01 0.00 0.01 0.00 0.00
225.44/225.52 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
225.44/225.52 c propagation : 0.24 6819 6738 27342 26.4 197 16.9 -
225.44/225.52 c infeasible LP : 1.74 13244 13227 74014 33.2 117 19.6 0
225.44/225.52 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
225.44/225.52 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
225.44/225.52 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
225.44/225.52 c applied globally : - - - 46351 28.2 - - -
225.44/225.52 c applied locally : - - - 0 0.0 - - -
225.44/225.52 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
225.44/225.52 c cut pool : 0.00 0 - - 0 - (maximal pool size: 310)
225.44/225.52 c closecuts : 0.00 0.00 0 0 0 0 0
225.44/225.52 c impliedbounds : 0.00 0.00 7 0 0 0 0
225.44/225.52 c intobj : 0.00 0.00 0 0 0 0 0
225.44/225.52 c gomory : 0.50 0.00 7 0 0 271 0
225.44/225.52 c cgmip : 0.00 0.00 0 0 0 0 0
225.44/225.52 c strongcg : 0.58 0.00 7 0 0 2741 0
225.44/225.52 c cmir : 0.30 0.00 7 0 0 0 0
225.44/225.52 c flowcover : 0.51 0.00 7 0 0 0 0
225.44/225.52 c clique : 0.00 0.00 2 0 0 0 0
225.44/225.52 c zerohalf : 0.00 0.00 0 0 0 0 0
225.44/225.52 c mcf : 0.00 0.00 2 0 0 0 0
225.44/225.52 c oddcycle : 0.00 0.00 0 0 0 0 0
225.44/225.52 c rapidlearning : 0.54 0.00 1 0 0 0 0
225.44/225.52 c Pricers : ExecTime SetupTime Calls Vars
225.44/225.52 c problem variables: 0.00 - 0 0
225.44/225.52 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
225.44/225.52 c inference : 0.18 0.00 28196 0 0 0 0 56392
225.44/225.52 c relpscost : 0.00 0.00 0 0 0 0 0 0
225.44/225.52 c pscost : 0.00 0.00 0 0 0 0 0 0
225.44/225.52 c mostinf : 0.00 0.00 0 0 0 0 0 0
225.44/225.52 c leastinf : 0.00 0.00 0 0 0 0 0 0
225.44/225.52 c fullstrong : 0.00 0.00 0 0 0 0 0 0
225.44/225.52 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
225.44/225.52 c random : 0.00 0.00 0 0 0 0 0 0
225.44/225.52 c Primal Heuristics : ExecTime SetupTime Calls Found
225.44/225.52 c LP solutions : 0.00 - - 0
225.44/225.52 c pseudo solutions : 0.00 - - 0
225.44/225.52 c feaspump : 0.00 0.00 0 0
225.44/225.52 c oneopt : 0.02 0.00 8 0
225.44/225.52 c indoneopt : 0.16 0.00 12 4
225.44/225.52 c crossover : 1.49 0.00 14 1
225.44/225.52 c fracdiving : 2.94 0.00 52 2
225.44/225.52 c veclendiving : 1.23 0.00 52 0
225.44/225.52 c guideddiving : 1.98 0.00 52 0
225.44/225.52 c pscostdiving : 1.89 0.00 52 1
225.44/225.52 c linesearchdiving : 0.79 0.00 52 1
225.44/225.52 c rootsoldiving : 1.30 0.00 27 0
225.44/225.52 c objpscostdiving : 1.25 0.00 27 0
225.44/225.52 c smallcard : 0.00 0.00 0 0
225.44/225.52 c trivial : 0.01 0.00 2 1
225.44/225.52 c shiftandpropagate: 0.00 0.00 0 0
225.44/225.52 c simplerounding : 0.25 0.00 28257 0
225.44/225.52 c zirounding : 0.19 0.00 1000 0
225.44/225.52 c rounding : 0.33 0.00 2336 0
225.44/225.52 c shifting : 0.33 0.00 677 0
225.44/225.52 c intshifting : 0.00 0.00 0 0
225.44/225.52 c twoopt : 0.00 0.00 0 0
225.44/225.52 c indtwoopt : 0.00 0.00 0 0
225.44/225.52 c fixandinfer : 0.00 0.00 0 0
225.44/225.52 c clique : 0.00 0.00 0 0
225.44/225.52 c coefdiving : 20.36 0.00 446 0
225.44/225.52 c indcoefdiving : 0.00 0.00 0 0
225.44/225.52 c indrounding : 7.32 0.00 28195 9
225.44/225.52 c nlpdiving : 0.00 0.00 0 0
225.44/225.52 c intdiving : 0.00 0.00 0 0
225.44/225.52 c actconsdiving : 0.00 0.00 0 0
225.44/225.52 c octane : 0.00 0.00 0 0
225.44/225.52 c rens : 0.10 0.00 1 0
225.44/225.52 c rins : 0.00 0.00 0 0
225.44/225.52 c localbranching : 0.00 0.00 0 0
225.44/225.52 c mutation : 0.00 0.00 0 0
225.44/225.52 c dins : 0.00 0.00 0 0
225.44/225.52 c vbounds : 0.00 0.00 0 0
225.44/225.52 c undercover : 0.00 0.00 0 0
225.44/225.52 c subnlp : 0.01 0.00 0 0
225.44/225.52 c trysol : 0.02 0.00 1 0
225.44/225.52 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
225.44/225.52 c primal LP : 0.00 2 0 0.00 - 0.00 2
225.44/225.52 c dual LP : 143.85 56730 1103082 22.33 7668.20 3.85 7323
225.44/225.52 c lex dual LP : 0.00 0 0 0.00 -
225.44/225.52 c barrier LP : 0.00 0 0 0.00 - 0.00 0
225.44/225.52 c diving/probing LP: 22.79 21749 98095 4.51 4303.55
225.44/225.52 c strong branching : 0.00 0 0 0.00 -
225.44/225.52 c (at root node) : - 0 0 0.00 -
225.44/225.52 c conflict analysis: 0.00 0 0 0.00 -
225.44/225.52 c B&B Tree :
225.44/225.52 c number of runs : 2
225.44/225.52 c nodes : 48778
225.44/225.52 c nodes (total) : 54264
225.44/225.52 c nodes left : 0
225.44/225.52 c max depth : 52
225.44/225.52 c max depth (total): 52
225.44/225.52 c backtracks : 6919 (14.2%)
225.44/225.52 c delayed cutoffs : 1146
225.44/225.52 c repropagations : 35713 (198106 domain reductions, 1094 cutoffs)
225.44/225.52 c avg switch length: 4.05
225.44/225.52 c switching time : 7.67
225.44/225.52 c Solution :
225.44/225.52 c Solutions found : 20 (13 improvements)
225.44/225.52 c First Solution : +1.36367000000000e+05 (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
225.44/225.52 c Primal Bound : +3.00000000000000e+00 (in run 2, after 19224 nodes, 126.39 seconds, depth 20, found by <indrounding>)
225.44/225.52 c Dual Bound : +3.00000000000000e+00
225.44/225.52 c Gap : 0.00 %
225.44/225.52 c Root Dual Bound : +0.00000000000000e+00
225.44/225.52 c Root Iterations : 470
225.44/225.55 c Time complete: 225.49.
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-3717713-1338200295/watcher-3717713-1338200295 -o /tmp/evaluation-result-3717713-1338200295/solver-3717713-1338200295 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717713-1338200295.wbo -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 2.00 3/176 4072
/proc/meminfo: memFree=27579056/32873648 swapFree=7104/7104
[pid=4072] ppid=4070 vsize=9160 CPUtime=0 cores=1,3,5,7
/proc/4072/stat : 4072 (scip-2.1.1.4fix) R 4070 4072 32675 0 -1 4202496 978 0 0 0 0 0 0 0 20 0 1 0 286154947 9379840 933 33554432000 4194304 10173063 140734332736368 140734332735224 8846909 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4072/statm: 2290 943 391 1460 0 821 0
[startup+0.0753789 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4072
/proc/meminfo: memFree=27579056/32873648 swapFree=7104/7104
[pid=4072] ppid=4070 vsize=36024 CPUtime=0.06 cores=1,3,5,7
/proc/4072/stat : 4072 (scip-2.1.1.4fix) R 4070 4072 32675 0 -1 4202496 7720 0 0 0 5 1 0 0 20 0 1 0 286154947 36888576 7418 33554432000 4194304 10173063 140734332736368 140734332735224 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4072/statm: 9006 7418 564 1460 0 7537 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 36024
[startup+0.100209 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4072
/proc/meminfo: memFree=27579056/32873648 swapFree=7104/7104
[pid=4072] ppid=4070 vsize=38748 CPUtime=0.08 cores=1,3,5,7
/proc/4072/stat : 4072 (scip-2.1.1.4fix) R 4070 4072 32675 0 -1 4202496 8385 0 0 0 7 1 0 0 20 0 1 0 286154947 39677952 8083 33554432000 4194304 10173063 140734332736368 140734332735224 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4072/statm: 9687 8083 630 1460 0 8218 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 38748
[startup+0.300169 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4072
/proc/meminfo: memFree=27579056/32873648 swapFree=7104/7104
[pid=4072] ppid=4070 vsize=50252 CPUtime=0.28 cores=1,3,5,7
/proc/4072/stat : 4072 (scip-2.1.1.4fix) R 4070 4072 32675 0 -1 4202496 11522 0 0 0 26 2 0 0 20 0 1 0 286154947 51458048 11093 33554432000 4194304 10173063 140734332736368 140734332731256 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4072/statm: 12563 11093 774 1460 0 11094 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 50252
[startup+0.700157 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4072
/proc/meminfo: memFree=27579056/32873648 swapFree=7104/7104
[pid=4072] ppid=4070 vsize=87532 CPUtime=0.69 cores=1,3,5,7
/proc/4072/stat : 4072 (scip-2.1.1.4fix) R 4070 4072 32675 0 -1 4202496 20473 0 0 0 65 4 0 0 20 0 1 0 286154947 89632768 20044 33554432000 4194304 10173063 140734332736368 140734332731256 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4072/statm: 21883 20044 807 1460 0 20414 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 87532
[startup+1.50016 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4073
/proc/meminfo: memFree=27503796/32873648 swapFree=7104/7104
[pid=4072] ppid=4070 vsize=84316 CPUtime=1.49 cores=1,3,5,7
/proc/4072/stat : 4072 (scip-2.1.1.4fix) R 4070 4072 32675 0 -1 4202496 21052 0 0 0 144 5 0 0 20 0 1 0 286154947 86339584 19765 33554432000 4194304 10173063 140734332736368 140734332731752 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4072/statm: 21079 19765 829 1460 0 19610 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84316
[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4073
/proc/meminfo: memFree=27502928/32873648 swapFree=7104/7104
[pid=4072] ppid=4070 vsize=84316 CPUtime=3.09 cores=1,3,5,7
/proc/4072/stat : 4072 (scip-2.1.1.4fix) R 4070 4072 32675 0 -1 4202496 21066 0 0 0 303 6 0 0 20 0 1 0 286154947 86339584 19779 33554432000 4194304 10173063 140734332736368 140734332731240 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4072/statm: 21079 19779 832 1460 0 19610 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84316
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4073
/proc/meminfo: memFree=27501484/32873648 swapFree=7104/7104
[pid=4072] ppid=4070 vsize=84316 CPUtime=6.29 cores=1,3,5,7
/proc/4072/stat : 4072 (scip-2.1.1.4fix) R 4070 4072 32675 0 -1 4202496 22733 0 0 0 621 8 0 0 20 0 1 0 286154947 86339584 19878 33554432000 4194304 10173063 140734332736368 140734332729288 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4072/statm: 21079 19878 847 1460 0 19610 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84316
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4073
/proc/meminfo: memFree=27501656/32873648 swapFree=7104/7104
[pid=4072] ppid=4070 vsize=84316 CPUtime=12.68 cores=1,3,5,7
/proc/4072/stat : 4072 (scip-2.1.1.4fix) R 4070 4072 32675 0 -1 4202496 24252 0 0 0 1255 13 0 0 20 0 1 0 286154947 86339584 19881 33554432000 4194304 10173063 140734332736368 140734332729624 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4072/statm: 21079 19881 848 1460 0 19610 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84316
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4073
/proc/meminfo: memFree=27501300/32873648 swapFree=7104/7104
[pid=4072] ppid=4070 vsize=84316 CPUtime=25.48 cores=1,3,5,7
/proc/4072/stat : 4072 (scip-2.1.1.4fix) R 4070 4072 32675 0 -1 4202496 28649 0 0 0 2528 20 0 0 20 0 1 0 286154947 86339584 19924 33554432000 4194304 10173063 140734332736368 140734332732296 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4072/statm: 21079 19924 875 1460 0 19610 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84316
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4073
/proc/meminfo: memFree=27500556/32873648 swapFree=7104/7104
[pid=4072] ppid=4070 vsize=84316 CPUtime=51.08 cores=1,3,5,7
/proc/4072/stat : 4072 (scip-2.1.1.4fix) R 4070 4072 32675 0 -1 4202496 46767 0 0 0 5066 42 0 0 20 0 1 0 286154947 86339584 19928 33554432000 4194304 10173063 140734332736368 140734332729496 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4072/statm: 21079 19928 875 1460 0 19610 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 84316
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4073
/proc/meminfo: memFree=27495036/32873648 swapFree=7104/7104
[pid=4072] ppid=4070 vsize=90336 CPUtime=102.28 cores=1,3,5,7
/proc/4072/stat : 4072 (scip-2.1.1.4fix) R 4070 4072 32675 0 -1 4202496 66981 0 0 0 10113 115 0 0 20 0 1 0 286154947 92504064 21371 33554432000 4194304 10173063 140734332736368 140734332729672 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4072/statm: 22584 21371 883 1460 0 21115 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 90336
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4077
/proc/meminfo: memFree=27495024/32873648 swapFree=7104/7104
[pid=4072] ppid=4070 vsize=91148 CPUtime=162.26 cores=1,3,5,7
/proc/4072/stat : 4072 (scip-2.1.1.4fix) R 4070 4072 32675 0 -1 4202496 101822 0 0 0 16014 212 0 0 20 0 1 0 286154947 93335552 21819 33554432000 4194304 10173063 140734332736368 140734332729624 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4072/statm: 22787 21819 883 1460 0 21318 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 91148
[startup+222.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 4077
/proc/meminfo: memFree=27493064/32873648 swapFree=7104/7104
[pid=4072] ppid=4070 vsize=92500 CPUtime=222.24 cores=1,3,5,7
/proc/4072/stat : 4072 (scip-2.1.1.4fix) R 4070 4072 32675 0 -1 4202496 116938 0 0 0 21919 305 0 0 20 0 1 0 286154947 94720000 22405 33554432000 4194304 10173063 140734332736368 140734332729304 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4072/statm: 23125 22405 883 1460 0 21656 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 92500
Solver just ended. Dumping a history of the last processes samples
[startup+223.9 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 4077
/proc/meminfo: memFree=27493064/32873648 swapFree=7104/7104
[pid=4072] ppid=4070 vsize=92500 CPUtime=223.83 cores=1,3,5,7
/proc/4072/stat : 4072 (scip-2.1.1.4fix) R 4070 4072 32675 0 -1 4202496 116938 0 0 0 22076 307 0 0 20 0 1 0 286154947 94720000 22405 33554432000 4194304 10173063 140734332736368 140734332728984 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4072/statm: 23125 22405 883 1460 0 21656 0
Current children cumulated CPU time (s) 223.83
Current children cumulated vsize (KiB) 92500
[startup+224.7 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 4077
/proc/meminfo: memFree=27493064/32873648 swapFree=7104/7104
[pid=4072] ppid=4070 vsize=92500 CPUtime=224.64 cores=1,3,5,7
/proc/4072/stat : 4072 (scip-2.1.1.4fix) R 4070 4072 32675 0 -1 4202496 116938 0 0 0 22155 309 0 0 20 0 1 0 286154947 94720000 22405 33554432000 4194304 10173063 140734332736368 140734332730088 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4072/statm: 23125 22405 883 1460 0 21656 0
Current children cumulated CPU time (s) 224.64
Current children cumulated vsize (KiB) 92500
[startup+225.1 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 4077
/proc/meminfo: memFree=27493064/32873648 swapFree=7104/7104
[pid=4072] ppid=4070 vsize=92500 CPUtime=225.04 cores=1,3,5,7
/proc/4072/stat : 4072 (scip-2.1.1.4fix) R 4070 4072 32675 0 -1 4202496 116938 0 0 0 22195 309 0 0 20 0 1 0 286154947 94720000 22405 33554432000 4194304 10173063 140734332736368 140734332730088 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4072/statm: 23125 22405 883 1460 0 21656 0
Current children cumulated CPU time (s) 225.04
Current children cumulated vsize (KiB) 92500
[startup+225.507 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 4077
/proc/meminfo: memFree=27492940/32873648 swapFree=7104/7104
[pid=4072] ppid=4070 vsize=92500 CPUtime=225.44 cores=1,3,5,7
/proc/4072/stat : 4072 (scip-2.1.1.4fix) R 4070 4072 32675 0 -1 4202496 116938 0 0 0 22235 309 0 0 20 0 1 0 286154947 94720000 22405 33554432000 4194304 10173063 140734332736368 140734332729624 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4072/statm: 23125 22405 883 1460 0 21656 0
Current children cumulated CPU time (s) 225.44
Current children cumulated vsize (KiB) 92500
Child status: 0
Real time (s): 225.551
CPU time (s): 225.497
CPU user time (s): 222.395
CPU system time (s): 3.10153
CPU usage (%): 99.9761
Max. virtual memory (cumulated for all children) (KiB): 122652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 222.395
system time used= 3.10153
maximum resident set size= 119004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116942
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= 28
involuntary context switches= 234
runsolver used 0.320951 second user time and 0.946856 second system time
The end