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-3717716-1338201013.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 135864
0.00/0.04 c feasible solution found by trivial heuristic, objective value 1.358640e+05
0.00/0.04 c presolving:
0.00/0.06 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.07 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.00/0.09 c (0.1s) probing: 51/2938 (1.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.09 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.09 c presolving (3 rounds):
0.00/0.09 c 0 deleted vars, 1 deleted constraints, 0 added constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.09 c 2707 implications, 0 cliques
0.00/0.09 c presolved problem has 5645 variables (2938 bin, 0 int, 2707 impl, 0 cont) and 5414 constraints
0.00/0.09 c 2707 constraints of type <linear>
0.00/0.09 c 2707 constraints of type <indicator>
0.00/0.09 c transformed objective value is always integral (scale: 1)
0.00/0.09 c Presolving Time: 0.08
0.00/0.09 c - non default parameters ----------------------------------------------------------------------
0.00/0.09 c # SCIP version 2.1.1.4
0.00/0.09 c
0.00/0.09 c # maximal time in seconds to run
0.00/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.09 c limits/time = 1797
0.00/0.09 c
0.00/0.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.09 c limits/memory = 13950
0.00/0.09 c
0.00/0.09 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.09 c # [type: int, range: [1,2], default: 1]
0.00/0.09 c timing/clocktype = 2
0.00/0.09 c
0.00/0.09 c # belongs reading time to solving time?
0.00/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.09 c timing/reading = TRUE
0.00/0.09 c
0.00/0.09 c # force restart if we have a max FS instance and gap is 1?
0.00/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.09 c constraints/indicator/forcerestart = TRUE
0.00/0.09 c
0.00/0.09 c # priority of branching rule <inference>
0.00/0.09 c # [type: int, range: [-536870912,536870911], default: 1000]
0.00/0.09 c branching/inference/priority = 1000000
0.00/0.09 c
0.00/0.09 c # frequency offset for calling primal heuristic <coefdiving>
0.00/0.09 c # [type: int, range: [0,2147483647], default: 1]
0.00/0.09 c heuristics/coefdiving/freqofs = 0
0.00/0.09 c
0.00/0.09 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.09 c heuristics/shiftandpropagate/freq = -1
0.00/0.09 c
0.00/0.09 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.09 c heuristics/undercover/freq = -1
0.00/0.09 c
0.00/0.09 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.09 c separating/rapidlearning/freq = 0
0.00/0.09 c
0.00/0.09 c # frequency for calling primal heuristic <indrounding> (-1: never, 0: only at depth freqofs)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.09 c heuristics/indrounding/freq = 1
0.00/0.09 c
0.00/0.09 c -----------------------------------------------------------------------------------------------
0.00/0.09 c start solving
0.09/0.10 c
0.09/0.11 o 1140
0.09/0.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.11 c 6 0.1s| 1 | 0 | 0 | - | 14M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | -- | 1.140000e+03 | Inf
0.09/0.13 o 504
0.09/0.13 c 6 0.1s| 1 | 0 | 0 | - | 15M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | -- | 5.040000e+02 | Inf
0.09/0.17 c 0.2s| 1 | 0 | 228 | - | 19M| 0 | 34 |5645 |5414 |5645 |5414 | 0 | 0 | 0 | 0.000000e+00 | 5.040000e+02 | Inf
0.19/0.20 o 378
0.19/0.20 c 6 0.2s| 1 | 0 | 228 | - | 20M| 0 | 34 |5645 |5414 |5645 |5414 | 0 | 0 | 0 | 0.000000e+00 | 3.780000e+02 | Inf
0.89/0.94 o 267
0.89/0.94 c y 0.9s| 1 | 0 | 228 | - | 21M| 0 | 34 |5645 |5414 |5645 |5414 | 0 | 0 | 0 | 0.000000e+00 | 2.670000e+02 | Inf
0.89/0.97 c 1.0s| 1 | 0 | 251 | - | 20M| 0 | 45 |5645 |5414 |5645 |5417 | 3 | 0 | 0 | 0.000000e+00 | 2.670000e+02 | Inf
1.09/1.19 c 1.2s| 1 | 0 | 279 | - | 20M| 0 | 47 |5645 |5414 |5645 |5418 | 4 | 0 | 0 | 0.000000e+00 | 2.670000e+02 | Inf
1.39/1.42 c 1.4s| 1 | 0 | 294 | - | 21M| 0 | 48 |5645 |5414 |5645 |5420 | 6 | 0 | 0 | 0.000000e+00 | 2.670000e+02 | Inf
1.89/1.93 c 1.9s| 1 | 0 | 309 | - | 21M| 0 | 52 |5645 |5414 |5645 |5422 | 8 | 0 | 0 | 0.000000e+00 | 2.670000e+02 | Inf
2.20/2.22 c 2.2s| 1 | 0 | 325 | - | 21M| 0 | 54 |5645 |5414 |5645 |5425 | 11 | 0 | 0 | 0.000000e+00 | 2.670000e+02 | Inf
2.68/2.77 c 2.8s| 1 | 0 | 368 | - | 21M| 0 | 51 |5645 |5414 |5645 |5426 | 12 | 0 | 0 | 0.000000e+00 | 2.670000e+02 | Inf
3.40/3.44 c 3.4s| 1 | 2 | 1859 | - | 22M| 0 | 51 |5645 |5414 |5645 |5426 | 12 | 0 | 0 | 0.000000e+00 | 2.670000e+02 | Inf
3.79/3.87 o 210
3.79/3.87 c p 3.9s| 6 | 7 | 3428 | 612.0 | 22M| 5 | - |5645 |5414 |5645 |5422 | 12 | 0 | 0 | 0.000000e+00 | 2.100000e+02 | Inf
3.89/3.93 o 189
3.89/3.93 c 6 3.9s| 6 | 7 | 3574 | 641.2 | 22M| 5 | 50 |5645 |5414 |5645 |5422 | 12 | 0 | 0 | 0.000000e+00 | 1.890000e+02 | Inf
3.89/3.95 o 99
3.89/3.95 c 6 3.9s| 7 | 6 | 3574 | 534.3 | 22M| 5 | - |5645 |5414 | 0 | 0 | 12 | 0 | 0 | 0.000000e+00 | 9.900000e+01 | Inf
4.58/4.69 o 61
4.58/4.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.58/4.69 c v 4.7s| 8 | 9 | 5864 | 785.1 | 24M| 6 | - |5645 |5382 |5645 |5422 | 12 | 3 | 0 | 0.000000e+00 | 6.100000e+01 | Inf
7.29/7.35 o 55
7.29/7.35 c v 7.3s| 13 | 14 | 19618 |1604.2 | 24M| 6 | - |5645 |4359 |5645 |5422 | 12 | 29 | 0 | 0.000000e+00 | 5.500000e+01 | Inf
9.59/9.63 o 27
9.59/9.63 c g 9.6s| 43 | 36 | 25208 | 591.4 | 25M| 21 | - |5645 |4204 |5645 |5422 | 12 | 34 | 0 | 0.000000e+00 | 2.700000e+01 | Inf
10.28/10.31 c 10.3s| 100 | 57 | 26606 | 265.0 | 25M| 25 | 19 |5645 |3489 |5645 |5422 | 12 | 61 | 0 | 0.000000e+00 | 2.700000e+01 | Inf
12.49/12.50 c 12.5s| 200 | 88 | 34739 | 172.7 | 25M| 25 | - |5645 |3609 | 0 | 0 | 12 | 181 | 0 | 0.000000e+00 | 2.700000e+01 | Inf
13.89/13.95 o 24
13.89/13.95 c *14.0s| 278 | 105 | 38053 | 136.0 | 26M| 25 | - |5645 |3687 |5645 |5422 | 12 | 259 | 0 | 0.000000e+00 | 2.400000e+01 | Inf
14.09/14.13 c 14.1s| 300 | 105 | 38446 | 127.4 | 26M| 25 | - |5645 |3587 |5645 |5422 | 12 | 265 | 0 | 0.000000e+00 | 2.400000e+01 | Inf
15.19/15.20 o 19
15.19/15.20 c 515.2s| 400 | 97 | 40827 | 101.4 | 26M| 26 | 2 |5645 |3670 |5645 |5422 | 12 | 348 | 0 | 0.000000e+00 | 1.900000e+01 | Inf
16.08/16.16 c 16.2s| 500 | 110 | 43013 | 85.5 | 26M| 26 | 25 |5645 |3631 |5645 |5422 | 12 | 446 | 0 | 0.000000e+00 | 1.900000e+01 | Inf
16.98/17.01 o 16
16.98/17.01 c r17.0s| 575 | 97 | 45141 | 78.0 | 26M| 26 | 1 |5645 |3711 |5645 |5422 | 12 | 526 | 0 | 0.000000e+00 | 1.600000e+01 | Inf
17.28/17.36 c 17.4s| 600 | 106 | 46036 | 76.2 | 26M| 26 | - |5645 |3635 |5645 |5422 | 12 | 534 | 0 | 0.000000e+00 | 1.600000e+01 | Inf
18.19/18.24 c 18.2s| 700 | 116 | 48344 | 68.6 | 26M| 30 | 29 |5645 |3709 |5645 |5422 | 12 | 608 | 0 | 0.000000e+00 | 1.600000e+01 | Inf
19.29/19.31 c 19.3s| 800 | 125 | 50913 | 63.3 | 27M| 30 | 29 |5645 |3788 |5645 |5422 | 12 | 687 | 0 | 0.000000e+00 | 1.600000e+01 | Inf
20.09/20.17 c 20.2s| 900 | 159 | 53260 | 58.8 | 27M| 30 | 21 |5645 |3859 |5645 |5422 | 12 | 758 | 0 | 0.000000e+00 | 1.600000e+01 | Inf
20.99/21.07 c 21.1s| 1000 | 162 | 55639 | 55.3 | 27M| 30 | - |5645 |3912 |5645 |5422 | 12 | 811 | 0 | 0.000000e+00 | 1.600000e+01 | Inf
21.69/21.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.69/21.72 c 21.7s| 1100 | 162 | 57411 | 51.9 | 28M| 33 | 27 |5645 |3983 |5645 |5422 | 12 | 882 | 0 | 0.000000e+00 | 1.600000e+01 | Inf
22.49/22.58 c 22.6s| 1200 | 171 | 59719 | 49.5 | 28M| 35 | - |5645 |4052 | 0 | 0 | 12 | 951 | 0 | 0.000000e+00 | 1.600000e+01 | Inf
23.49/23.53 c 23.5s| 1300 | 179 | 62149 | 47.6 | 28M| 35 | - |5645 |4123 |5645 |5422 | 12 |1022 | 0 | 0.000000e+00 | 1.600000e+01 | Inf
24.49/24.50 c 24.5s| 1400 | 180 | 64372 | 45.7 | 28M| 35 | - |5645 |4162 | 0 | 0 | 12 |1062 | 0 | 0.000000e+00 | 1.600000e+01 | Inf
25.29/25.37 c 25.4s| 1500 | 188 | 66777 | 44.3 | 28M| 35 | - |5645 |4238 |5645 |5422 | 12 |1138 | 0 | 0.000000e+00 | 1.600000e+01 | Inf
26.09/26.13 c 26.1s| 1600 | 190 | 68659 | 42.7 | 28M| 35 | 30 |5645 |4310 |5645 |5422 | 12 |1210 | 0 | 0.000000e+00 | 1.600000e+01 | Inf
26.59/26.66 o 15
26.59/26.66 c c26.7s| 1658 | 183 | 70125 | 42.1 | 28M| 35 | - |5645 |4355 |5645 |5422 | 12 |1256 | 0 | 0.000000e+00 | 1.500000e+01 | Inf
27.28/27.31 c 27.3s| 1700 | 190 | 71552 | 41.9 | 29M| 35 | 29 |5645 |4365 |5645 |5422 | 12 |1298 | 0 | 0.000000e+00 | 1.500000e+01 | Inf
28.58/28.62 c 28.6s| 1800 | 186 | 74354 | 41.1 | 29M| 35 | - |5645 |4458 | 0 | 0 | 12 |1392 | 0 | 0.000000e+00 | 1.500000e+01 | Inf
29.79/29.84 c 29.8s| 1900 | 206 | 77362 | 40.5 | 29M| 35 | - |5645 |4553 |5645 |5422 | 12 |1489 | 0 | 0.000000e+00 | 1.500000e+01 | Inf
31.68/31.73 c 31.7s| 2000 | 219 | 81141 | 40.4 | 29M| 35 | - |5645 |4634 |5645 |5422 | 12 |1574 | 0 | 0.000000e+00 | 1.500000e+01 | Inf
33.69/33.71 c 33.7s| 2100 | 222 | 85716 | 40.7 | 29M| 35 | - |5645 |4695 |5645 |5422 | 12 |1639 | 0 | 0.000000e+00 | 1.500000e+01 | Inf
34.99/35.05 c 35.1s| 2200 | 239 | 89103 | 40.4 | 30M| 35 | - |5645 |4759 | 0 | 0 | 12 |1706 | 0 | 0.000000e+00 | 1.500000e+01 | Inf
36.38/36.42 c 36.4s| 2300 | 248 | 93218 | 40.4 | 30M| 35 | 34 |5645 |4799 |5645 |5422 | 12 |1756 | 0 | 0.000000e+00 | 1.500000e+01 | Inf
37.18/37.21 c 37.2s| 2400 | 260 | 95562 | 39.7 | 30M| 35 | - |5645 |4857 |5645 |5422 | 12 |1827 | 0 | 0.000000e+00 | 1.500000e+01 | Inf
37.28/37.32 o 8
37.28/37.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.28/37.32 c g37.3s| 2404 | 177 | 95865 | 39.7 | 28M| 35 | - |5645 |4855 |5645 |5422 | 12 |1827 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
37.28/37.33 c Forcing restart, since 2437 binary variables among 2707 have been fixed.
37.28/37.33 c (run 1, node 2405) performing user restart
37.28/37.33 c
37.28/37.34 c (restart) converted 2715 cuts from the global cut pool into linear constraints
37.28/37.34 c
37.28/37.35 c presolving:
37.28/37.40 c (round 1) 5048 del vars, 2753 del conss, 0 add conss, 196 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2945 impls, 19 clqs
37.49/37.51 c (round 2) 5057 del vars, 3003 del conss, 0 add conss, 205 chg bounds, 9 chg sides, 0 chg coeffs, 10 upgd conss, 2947 impls, 19 clqs
37.49/37.54 c (round 3) 5066 del vars, 3015 del conss, 0 add conss, 205 chg bounds, 9 chg sides, 0 chg coeffs, 10 upgd conss, 2959 impls, 19 clqs
37.49/37.59 c (round 4) 5066 del vars, 3018 del conss, 0 add conss, 205 chg bounds, 9 chg sides, 0 chg coeffs, 2588 upgd conss, 2959 impls, 19 clqs
37.68/37.70 c (round 5) 5066 del vars, 3159 del conss, 0 add conss, 205 chg bounds, 9 chg sides, 1 chg coeffs, 2588 upgd conss, 2959 impls, 19 clqs
37.68/37.74 c presolving (6 rounds):
37.68/37.74 c 5066 deleted vars, 3159 deleted constraints, 0 added constraints, 205 tightened bounds, 0 added holes, 9 changed sides, 1 changed coefficients
37.68/37.74 c 2959 implications, 19 cliques
37.68/37.74 c presolved problem has 579 variables (405 bin, 0 int, 174 impl, 0 cont) and 4415 constraints
37.68/37.74 c 174 constraints of type <varbound>
37.68/37.74 c 3 constraints of type <knapsack>
37.68/37.74 c 41 constraints of type <setppc>
37.68/37.74 c 178 constraints of type <linear>
37.68/37.74 c 174 constraints of type <indicator>
37.68/37.74 c 3786 constraints of type <logicor>
37.68/37.74 c 59 constraints of type <bounddisjunction>
37.68/37.74 c transformed objective value is always integral (scale: 1)
37.68/37.74 c Presolving Time: 0.48
37.68/37.74 c
37.68/37.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.68/37.76 c 37.8s| 1 | 0 | 95959 | - | 21M| 0 | 36 | 579 |4415 | 579 |2832 | 0 |1831 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
37.78/37.81 c 37.8s| 1 | 0 | 95982 | - | 21M| 0 | 45 | 579 |4415 | 579 |2842 | 10 |1831 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
37.78/37.81 c 37.8s| 1 | 2 | 95982 | - | 21M| 0 | 45 | 579 |4415 | 579 |2842 | 10 |1831 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
38.28/38.33 c 38.3s| 100 | 25 | 99061 | 39.4 | 21M| 19 | 20 | 579 |4467 | 579 |2655 | 10 |1883 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
38.78/38.83 c 38.8s| 200 | 32 |102808 | 39.3 | 22M| 19 | 32 | 579 |4562 | 579 |2655 | 10 |1989 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
39.08/39.10 c 39.1s| 300 | 31 |104385 | 38.4 | 22M| 24 | - | 579 |4604 | 579 |2655 | 10 |2085 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
39.39/39.45 c 39.5s| 400 | 45 |106423 | 37.8 | 22M| 24 | - | 579 |4619 | 579 |2655 | 10 |2157 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
39.68/39.75 c 39.8s| 500 | 48 |108036 | 37.0 | 22M| 24 | - | 579 |4650 | 579 |2655 | 10 |2254 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
39.98/40.00 c 40.0s| 600 | 54 |109321 | 36.2 | 22M| 24 | 29 | 579 |4722 | 579 |2655 | 10 |2354 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
40.18/40.28 c 40.3s| 700 | 58 |111031 | 35.6 | 22M| 25 | - | 579 |4768 | 579 |2655 | 10 |2436 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
40.49/40.56 c 40.6s| 800 | 61 |112721 | 35.0 | 22M| 25 | 26 | 579 |4816 | 579 |2655 | 10 |2524 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
40.79/40.85 c 40.9s| 900 | 53 |114558 | 34.5 | 22M| 27 | - | 579 |4867 | 579 |2655 | 10 |2633 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
41.08/41.16 c 41.2s| 1000 | 60 |116628 | 34.1 | 22M| 27 | 36 | 579 |4891 | 579 |2655 | 10 |2711 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
41.39/41.42 c 41.4s| 1100 | 64 |118350 | 33.6 | 22M| 27 | 21 | 579 |4948 | 579 |2655 | 10 |2797 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
41.68/41.70 c 41.7s| 1200 | 68 |119940 | 33.1 | 22M| 27 | 26 | 579 |5024 | 579 |2655 | 10 |2907 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
41.88/41.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.88/41.95 c 42.0s| 1300 | 70 |121542 | 32.7 | 22M| 27 | - | 579 |5079 | 579 |2655 | 10 |2981 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
42.19/42.28 c 42.3s| 1400 | 72 |123629 | 32.4 | 22M| 27 | 29 | 579 |5114 | 579 |2655 | 10 |3046 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
42.58/42.65 c 42.6s| 1500 | 78 |126126 | 32.2 | 22M| 31 | - | 579 |5120 | 579 |2655 | 10 |3090 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
42.89/42.93 c 42.9s| 1600 | 68 |127709 | 31.8 | 22M| 31 | - | 579 |5182 | 579 |2655 | 10 |3171 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
43.18/43.24 c 43.2s| 1700 | 65 |129709 | 31.5 | 22M| 31 | 22 | 579 |5216 | 579 |2655 | 10 |3246 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
43.48/43.52 c 43.5s| 1800 | 64 |131148 | 31.1 | 22M| 31 | 23 | 579 |5231 | 579 |2655 | 10 |3328 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
43.78/43.88 c 43.9s| 1900 | 74 |133315 | 30.9 | 22M| 31 | 31 | 579 |5246 | 579 |2655 | 10 |3386 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
44.08/44.18 c 44.2s| 2000 | 81 |135109 | 30.6 | 22M| 32 | 12 | 579 |5272 | 579 |2655 | 10 |3459 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
44.38/44.45 c 44.5s| 2100 | 84 |136885 | 30.3 | 22M| 32 | 26 | 579 |5306 | 579 |2655 | 10 |3504 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
44.68/44.76 c 44.8s| 2200 | 85 |138774 | 30.0 | 22M| 32 | - | 579 |5368 | 579 |2655 | 10 |3582 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
45.08/45.10 c 45.1s| 2300 | 91 |141082 | 29.9 | 22M| 32 | - | 579 |5429 | 579 |2655 | 10 |3664 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
45.28/45.39 c 45.4s| 2400 | 93 |142685 | 29.6 | 22M| 36 | - | 579 |5502 | 579 |2655 | 10 |3752 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
45.58/45.69 c 45.7s| 2500 | 86 |144388 | 29.3 | 22M| 36 | - | 579 |5574 | 579 |2655 | 10 |3842 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
45.88/45.96 c 46.0s| 2600 | 79 |145973 | 29.1 | 22M| 36 | 30 | 579 |5631 | 579 |2655 | 10 |3939 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
46.18/46.21 c 46.2s| 2700 | 78 |147304 | 28.8 | 22M| 36 | 20 | 579 |5626 | 579 |2655 | 10 |4020 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
46.48/46.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.48/46.50 c 46.5s| 2800 | 78 |148994 | 28.5 | 22M| 36 | 29 | 579 |5671 | 579 |2655 | 10 |4093 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
46.78/46.85 c 46.8s| 2900 | 81 |151001 | 28.4 | 22M| 36 | - | 579 |5688 | 0 | 0 | 10 |4185 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
47.08/47.16 c 47.2s| 3000 | 80 |153240 | 28.3 | 22M| 36 | - | 579 |5681 | 579 |2655 | 10 |4254 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
47.48/47.52 c 47.5s| 3100 | 82 |155330 | 28.1 | 22M| 36 | - | 579 |5656 | 579 |2655 | 10 |4310 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
47.68/47.76 c 47.8s| 3200 | 88 |156760 | 27.9 | 23M| 36 | - | 579 |5659 | 579 |2655 | 10 |4366 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
47.98/48.03 c 48.0s| 3300 | 85 |158254 | 27.7 | 23M| 36 | - | 579 |5677 | 579 |2655 | 10 |4427 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
48.28/48.32 c 48.3s| 3400 | 83 |159953 | 27.5 | 23M| 36 | - | 579 |5693 | 579 |2655 | 10 |4506 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
48.58/48.65 c 48.7s| 3500 | 86 |161872 | 27.3 | 23M| 36 | 35 | 579 |5701 | 579 |2655 | 10 |4571 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
48.88/48.97 c 49.0s| 3600 | 94 |164026 | 27.2 | 23M| 36 | 20 | 579 |5739 | 579 |2655 | 10 |4638 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
49.37/49.42 c 49.4s| 3700 | 98 |166433 | 27.2 | 23M| 36 | - | 579 |5807 | 579 |2655 | 10 |4734 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
49.68/49.73 c 49.7s| 3800 | 98 |168417 | 27.1 | 23M| 36 | - | 579 |5857 | 579 |2655 | 10 |4805 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
49.98/50.01 c 50.0s| 3900 | 105 |170289 | 26.9 | 23M| 36 | - | 579 |5891 | 0 | 0 | 10 |4860 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
50.18/50.27 c 50.3s| 4000 | 100 |171900 | 26.8 | 23M| 36 | - | 579 |5947 | 579 |2655 | 10 |4954 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
50.58/50.68 c 50.7s| 4100 | 102 |173992 | 26.7 | 23M| 36 | - | 579 |5994 | 0 | 0 | 10 |5041 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
50.98/51.01 c 51.0s| 4200 | 94 |175873 | 26.6 | 23M| 36 | - | 579 |6052 | 579 |2655 | 10 |5134 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
51.18/51.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.18/51.23 c 51.2s| 4300 | 103 |177082 | 26.3 | 23M| 36 | 20 | 579 |6081 | 579 |2655 | 10 |5211 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
51.47/51.50 c 51.5s| 4400 | 103 |178433 | 26.2 | 23M| 36 | - | 579 |6135 | 579 |2655 | 10 |5286 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
51.68/51.75 c 51.7s| 4500 | 107 |179668 | 26.0 | 23M| 36 | - | 579 |6191 | 0 | 0 | 10 |5395 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
51.97/52.07 c 52.1s| 4600 | 104 |181699 | 25.9 | 23M| 36 | 37 | 579 |6165 | 579 |2655 | 10 |5460 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
52.28/52.39 c 52.4s| 4700 | 104 |183490 | 25.8 | 23M| 36 | - | 579 |6168 | 0 | 0 | 10 |5535 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
52.57/52.60 c 52.6s| 4800 | 103 |184607 | 25.6 | 23M| 36 | - | 579 |6206 | 579 |2655 | 10 |5623 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
53.08/53.19 c 53.2s| 4900 | 104 |187816 | 25.6 | 23M| 36 | 40 | 579 |6157 | 579 |2655 | 10 |5713 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
53.58/53.60 c 53.6s| 5000 | 106 |190677 | 25.7 | 23M| 36 | 40 | 579 |6142 | 579 |2655 | 10 |5771 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
53.77/53.90 c 53.9s| 5100 | 113 |192730 | 25.6 | 23M| 36 | - | 579 |6125 | 579 |2655 | 10 |5843 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
54.18/54.25 c 54.3s| 5200 | 114 |194847 | 25.6 | 23M| 39 | - | 579 |6071 | 579 |2655 | 10 |5902 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
54.58/54.65 c 54.7s| 5300 | 120 |197334 | 25.6 | 23M| 39 | 30 | 579 |6054 | 579 |2655 | 10 |5953 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
54.58/54.67 o 6
54.58/54.67 c *54.7s| 5306 | 108 |197441 | 25.5 | 23M| 39 | - | 579 |6060 | 579 |2655 | 10 |5959 | 0 | 0.000000e+00 | 6.000000e+00 | Inf
54.88/54.93 c 54.9s| 5400 | 112 |199126 | 25.5 | 23M| 39 | - | 579 |5863 | 579 |2655 | 10 |6033 | 0 | 0.000000e+00 | 6.000000e+00 | Inf
54.99/55.05 o 4
54.99/55.05 c *55.0s| 5438 | 95 |199689 | 25.4 | 23M| 39 | - | 579 |5889 | 579 |2655 | 10 |6067 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
55.08/55.18 c 55.2s| 5500 | 92 |200447 | 25.3 | 23M| 39 | 30 | 579 |5769 | 579 |2655 | 10 |6130 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
55.48/55.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.48/55.56 c 55.6s| 5600 | 96 |202675 | 25.3 | 23M| 39 | 29 | 579 |5785 | 579 |2655 | 10 |6193 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
55.77/55.82 c 55.8s| 5700 | 94 |204136 | 25.1 | 23M| 39 | 35 | 579 |5836 | 579 |2655 | 10 |6282 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
56.09/56.14 c 56.1s| 5800 | 97 |206243 | 25.1 | 23M| 39 | 22 | 579 |5885 | 579 |2655 | 10 |6370 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
56.48/56.57 c 56.6s| 5900 | 103 |209113 | 25.1 | 23M| 39 | - | 579 |5881 | 579 |2655 | 10 |6437 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
56.88/56.94 c 56.9s| 6000 | 103 |211477 | 25.1 | 23M| 39 | - | 579 |5913 | 579 |2655 | 10 |6519 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
57.18/57.22 c 57.2s| 6100 | 103 |213237 | 25.0 | 23M| 39 | 34 | 579 |5944 | 579 |2655 | 10 |6603 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
57.58/57.65 c 57.6s| 6200 | 105 |215945 | 25.0 | 23M| 39 | - | 579 |5992 | 579 |2655 | 10 |6693 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
57.88/57.97 c 58.0s| 6300 | 111 |218155 | 25.0 | 23M| 39 | - | 579 |6025 | 579 |2655 | 10 |6767 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
58.18/58.28 c 58.3s| 6400 | 113 |220222 | 25.0 | 23M| 39 | 36 | 579 |5983 | 579 |2655 | 10 |6827 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
58.58/58.63 c 58.6s| 6500 | 115 |222567 | 24.9 | 23M| 39 | - | 579 |5975 | 579 |2655 | 10 |6897 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
58.87/58.94 c 58.9s| 6600 | 118 |224632 | 24.9 | 23M| 39 | - | 579 |5995 | 579 |2655 | 10 |6965 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
59.28/59.32 c 59.3s| 6700 | 123 |226740 | 24.9 | 23M| 39 | - | 579 |6037 | 579 |2655 | 10 |7033 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
59.67/59.78 c 59.8s| 6800 | 135 |229519 | 24.9 | 23M| 39 | - | 579 |5976 | 579 |2655 | 10 |7107 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
59.97/60.04 c 60.0s| 6900 | 127 |231037 | 24.8 | 23M| 39 | - | 579 |6013 | 579 |2655 | 10 |7211 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
60.37/60.42 c 60.4s| 7000 | 132 |233345 | 24.8 | 23M| 39 | - | 579 |5930 | 579 |2655 | 10 |7292 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
60.57/60.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.57/60.69 c 60.7s| 7100 | 132 |235054 | 24.7 | 23M| 39 | - | 579 |5972 | 0 | 0 | 10 |7382 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
60.97/61.03 c 61.0s| 7200 | 129 |237049 | 24.6 | 23M| 39 | 38 | 579 |6018 | 579 |2655 | 10 |7486 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
61.28/61.35 c 61.3s| 7300 | 133 |239093 | 24.6 | 23M| 39 | - | 579 |5922 | 579 |2655 | 10 |7552 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
61.58/61.65 c 61.7s| 7400 | 132 |240628 | 24.5 | 23M| 39 | 31 | 579 |5902 | 579 |2655 | 10 |7634 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
61.87/61.95 c 61.9s| 7500 | 132 |242212 | 24.4 | 23M| 39 | - | 579 |5979 | 579 |2655 | 10 |7733 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
62.37/62.41 c 62.4s| 7600 | 131 |244431 | 24.4 | 23M| 39 | - | 579 |6032 | 579 |2655 | 10 |7838 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
62.58/62.67 c 62.7s| 7700 | 127 |245981 | 24.3 | 23M| 39 | 31 | 579 |6063 | 579 |2655 | 10 |7911 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
62.87/62.98 c 63.0s| 7800 | 125 |247984 | 24.3 | 23M| 39 | 28 | 579 |6050 | 579 |2655 | 10 |7974 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
63.17/63.29 c 63.3s| 7900 | 127 |249960 | 24.2 | 23M| 39 | 29 | 579 |6110 | 579 |2655 | 10 |8057 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
63.67/63.72 c 63.7s| 8000 | 129 |251994 | 24.2 | 23M| 39 | - | 579 |6194 | 579 |2655 | 10 |8158 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
63.97/64.03 c 64.0s| 8100 | 127 |253903 | 24.1 | 23M| 39 | 27 | 579 |6279 | 579 |2655 | 10 |8250 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
64.27/64.36 c 64.4s| 8200 | 130 |255966 | 24.1 | 23M| 39 | - | 579 |6346 | 579 |2655 | 10 |8328 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
64.57/64.68 c 64.7s| 8300 | 125 |258093 | 24.1 | 23M| 39 | - | 579 |6418 | 579 |2655 | 10 |8422 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
64.88/64.99 c 65.0s| 8400 | 127 |260242 | 24.0 | 23M| 39 | - | 579 |6489 | 579 |2655 | 10 |8506 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
65.27/65.35 c 65.4s| 8500 | 133 |262238 | 24.0 | 23M| 39 | 25 | 579 |6555 | 579 |2655 | 10 |8604 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
65.58/65.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
65.58/65.60 c 65.6s| 8600 | 126 |263778 | 23.9 | 23M| 39 | - | 579 |6628 | 579 |2655 | 10 |8693 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
65.87/65.94 c 65.9s| 8700 | 127 |265903 | 23.9 | 23M| 39 | 30 | 579 |6682 | 579 |2655 | 10 |8780 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
66.28/66.36 c 66.4s| 8800 | 131 |267943 | 23.9 | 23M| 39 | - | 579 |6723 | 579 |2655 | 10 |8874 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
66.57/66.66 c 66.7s| 8900 | 132 |269883 | 23.8 | 23M| 39 | - | 579 |6761 | 579 |2655 | 10 |8948 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
66.97/67.01 c 67.0s| 9000 | 131 |271943 | 23.8 | 23M| 39 | - | 579 |6826 | 579 |2655 | 10 |9037 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
67.28/67.31 c 67.3s| 9100 | 133 |273799 | 23.8 | 24M| 39 | 42 | 579 |6890 | 579 |2655 | 10 |9116 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
67.47/67.56 c 67.6s| 9200 | 138 |275314 | 23.7 | 24M| 39 | - | 579 |6965 | 579 |2655 | 10 |9203 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
67.77/67.85 c 67.8s| 9300 | 131 |276851 | 23.6 | 24M| 39 | - | 579 |7036 | 579 |2655 | 10 |9292 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
68.18/68.22 c 68.2s| 9400 | 136 |279244 | 23.6 | 24M| 39 | - | 579 |7078 | 579 |2655 | 10 |9365 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
68.57/68.60 c 68.6s| 9500 | 135 |281623 | 23.6 | 24M| 39 | - | 579 |7131 | 579 |2655 | 10 |9437 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
68.87/68.99 c 69.0s| 9600 | 138 |284107 | 23.6 | 24M| 39 | - | 579 |7187 | 579 |2655 | 10 |9530 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
69.27/69.36 c 69.4s| 9700 | 141 |286393 | 23.6 | 24M| 39 | 42 | 579 |7226 | 579 |2655 | 10 |9600 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
69.67/69.70 c 69.7s| 9800 | 136 |288728 | 23.6 | 24M| 39 | - | 579 |7288 | 579 |2655 | 10 |9674 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
70.07/70.16 c 70.2s| 9900 | 134 |291380 | 23.6 | 24M| 39 | - | 579 |7295 | 579 |2655 | 10 |9756 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
70.38/70.43 c 70.4s| 10000 | 132 |293019 | 23.6 | 24M| 39 | 38 | 579 |7336 | 579 |2655 | 10 |9852 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
70.67/70.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.67/70.79 c 70.8s| 10100 | 130 |295196 | 23.6 | 24M| 39 | - | 579 |7367 | 0 | 0 | 10 |9943 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
71.07/71.12 c 71.1s| 10200 | 131 |297456 | 23.6 | 24M| 39 | 30 | 579 |7393 | 579 |2655 | 10 | 10k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
71.37/71.50 c 71.5s| 10300 | 128 |299756 | 23.6 | 24M| 39 | 42 | 579 |7447 | 579 |2655 | 10 | 10k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
71.87/71.91 c 71.9s| 10400 | 126 |302393 | 23.6 | 24M| 39 | 26 | 579 |7496 | 579 |2655 | 10 | 10k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
72.17/72.27 c 72.3s| 10500 | 124 |304611 | 23.6 | 24M| 39 | - | 579 |7558 | 579 |2655 | 10 | 10k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
72.67/72.72 c 72.7s| 10600 | 121 |307670 | 23.6 | 24M| 39 | - | 579 |7637 | 579 |2655 | 10 | 10k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
73.07/73.16 c 73.2s| 10700 | 127 |310743 | 23.7 | 24M| 39 | 39 | 579 |7709 | 579 |2655 | 10 | 10k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
73.37/73.44 c 73.4s| 10800 | 121 |312482 | 23.6 | 24M| 40 | - | 579 |7759 | 579 |2655 | 10 | 10k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
73.78/73.84 c 73.8s| 10900 | 126 |315123 | 23.6 | 24M| 40 | - | 579 |7650 | 0 | 0 | 10 | 10k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
74.07/74.19 c 74.2s| 11000 | 120 |317208 | 23.6 | 24M| 40 | 47 | 579 |7586 | 579 |2655 | 10 | 10k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
74.47/74.58 c 74.6s| 11100 | 118 |319642 | 23.6 | 24M| 40 | 21 | 579 |7505 | 579 |2655 | 10 | 10k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
74.77/74.89 c 74.9s| 11200 | 117 |321653 | 23.6 | 24M| 40 | 26 | 579 |7416 | 579 |2655 | 10 | 10k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
75.27/75.31 c 75.3s| 11300 | 120 |324190 | 23.6 | 24M| 40 | - | 579 |7330 | 579 |2655 | 10 | 10k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
75.57/75.61 c 75.6s| 11400 | 121 |326197 | 23.6 | 24M| 40 | 35 | 579 |7317 | 579 |2655 | 10 | 11k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
75.97/76.01 c 76.0s| 11500 | 116 |328760 | 23.6 | 24M| 40 | 34 | 579 |7325 | 579 |2655 | 10 | 11k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
76.27/76.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.27/76.35 c 76.3s| 11600 | 116 |330606 | 23.6 | 24M| 40 | - | 579 |7254 | 579 |2655 | 10 | 11k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
76.57/76.63 c 76.6s| 11700 | 124 |332279 | 23.5 | 24M| 40 | - | 579 |7264 | 579 |2655 | 10 | 11k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
76.86/76.94 c 76.9s| 11800 | 122 |333887 | 23.5 | 24M| 40 | - | 579 |7314 | 579 |2655 | 10 | 11k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
77.17/77.23 c 77.2s| 11900 | 114 |335408 | 23.4 | 24M| 40 | 39 | 579 |7286 | 579 |2655 | 10 | 11k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
77.37/77.49 c 77.5s| 12000 | 112 |336990 | 23.4 | 24M| 40 | - | 579 |7265 | 579 |2655 | 10 | 11k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
77.77/77.83 c 77.8s| 12100 | 117 |339191 | 23.4 | 24M| 40 | - | 579 |7262 | 579 |2655 | 10 | 11k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
78.08/78.17 c 78.2s| 12200 | 127 |341126 | 23.3 | 24M| 40 | 38 | 579 |7185 | 579 |2655 | 10 | 11k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
78.47/78.50 c 78.5s| 12300 | 130 |343483 | 23.3 | 24M| 40 | - | 579 |7247 | 579 |2655 | 10 | 11k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
78.77/78.85 c 78.8s| 12400 | 134 |345671 | 23.3 | 24M| 40 | 35 | 579 |7341 | 579 |2655 | 10 | 11k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
79.18/79.23 c 79.2s| 12500 | 135 |348275 | 23.3 | 24M| 40 | 34 | 579 |7361 | 579 |2655 | 10 | 12k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
79.46/79.51 c 79.5s| 12600 | 131 |350036 | 23.3 | 24M| 40 | 32 | 579 |7388 | 579 |2655 | 10 | 12k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
79.76/79.83 c 79.8s| 12700 | 131 |352023 | 23.3 | 24M| 40 | - | 579 |7439 | 579 |2655 | 10 | 12k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
80.07/80.18 c 80.2s| 12800 | 126 |354105 | 23.3 | 24M| 40 | 26 | 579 |7511 | 579 |2655 | 10 | 12k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
80.37/80.49 c 80.5s| 12900 | 117 |355919 | 23.2 | 24M| 40 | - | 579 |7469 | 579 |2655 | 10 | 12k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
80.76/80.89 c 80.9s| 13000 | 121 |358555 | 23.2 | 24M| 40 | - | 579 |7456 | 0 | 0 | 10 | 12k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
81.06/81.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.06/81.18 c 81.2s| 13100 | 128 |360379 | 23.2 | 24M| 40 | 12 | 579 |7439 | 579 |2655 | 10 | 12k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
81.37/81.46 c 81.5s| 13200 | 124 |362295 | 23.2 | 24M| 40 | 39 | 579 |7434 | 579 |2655 | 10 | 12k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
81.77/81.85 c 81.9s| 13300 | 128 |364702 | 23.2 | 24M| 40 | 38 | 579 |7456 | 579 |2655 | 10 | 12k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
82.06/82.18 c 82.2s| 13400 | 128 |367032 | 23.2 | 24M| 40 | - | 579 |7386 | 579 |2655 | 10 | 12k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
82.36/82.48 c 82.5s| 13500 | 128 |368713 | 23.2 | 24M| 40 | 33 | 579 |7426 | 579 |2655 | 10 | 12k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
82.76/82.90 c 82.9s| 13600 | 129 |370614 | 23.1 | 24M| 40 | 37 | 579 |7498 | 579 |2655 | 10 | 13k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
83.07/83.19 c 83.2s| 13700 | 125 |372260 | 23.1 | 24M| 40 | 29 | 579 |7531 | 579 |2655 | 10 | 13k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
83.36/83.47 c 83.5s| 13800 | 125 |374087 | 23.1 | 24M| 40 | - | 579 |7583 | 0 | 0 | 10 | 13k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
83.67/83.70 c 83.7s| 13900 | 125 |375353 | 23.0 | 24M| 40 | - | 579 |7606 | 0 | 0 | 10 | 13k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
83.96/84.00 c 84.0s| 14000 | 122 |377083 | 23.0 | 24M| 40 | - | 579 |7647 | 579 |2655 | 10 | 13k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
84.26/84.33 c 84.3s| 14100 | 126 |379118 | 22.9 | 24M| 40 | 23 | 579 |7667 | 579 |2655 | 10 | 13k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
84.56/84.61 c 84.6s| 14200 | 128 |380761 | 22.9 | 24M| 40 | 30 | 579 |7644 | 579 |2655 | 10 | 13k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
84.77/84.88 c 84.9s| 14300 | 130 |382323 | 22.9 | 24M| 40 | 35 | 579 |7667 | 579 |2655 | 10 | 13k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
85.06/85.13 c 85.1s| 14400 | 123 |383910 | 22.8 | 24M| 40 | 46 | 579 |7679 | 579 |2655 | 10 | 13k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
85.36/85.47 c 85.5s| 14500 | 127 |385852 | 22.8 | 24M| 40 | 35 | 579 |7650 | 579 |2655 | 10 | 13k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
85.77/85.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
85.77/85.82 c 85.8s| 14600 | 130 |387870 | 22.8 | 24M| 40 | 32 | 579 |7545 | 579 |2655 | 10 | 13k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
85.96/86.09 c 86.1s| 14700 | 133 |389564 | 22.7 | 24M| 40 | - | 579 |7554 | 0 | 0 | 10 | 14k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
86.27/86.35 c 86.3s| 14800 | 138 |391030 | 22.7 | 24M| 40 | - | 579 |7509 | 579 |2655 | 10 | 14k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
86.56/86.68 c 86.7s| 14900 | 145 |393161 | 22.7 | 24M| 40 | 45 | 579 |7492 | 579 |2655 | 10 | 14k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
86.87/86.99 c 87.0s| 15000 | 150 |395005 | 22.7 | 24M| 40 | 21 | 579 |7534 | 579 |2655 | 10 | 14k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
87.17/87.27 c 87.3s| 15100 | 154 |396651 | 22.6 | 24M| 40 | - | 579 |7538 | 579 |2655 | 10 | 14k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
87.56/87.63 c 87.6s| 15200 | 155 |398830 | 22.6 | 24M| 40 | - | 579 |7552 | 579 |2655 | 10 | 14k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
87.86/87.96 c 88.0s| 15300 | 152 |400665 | 22.6 | 24M| 40 | - | 579 |7570 | 579 |2655 | 10 | 14k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
88.17/88.26 c 88.3s| 15400 | 151 |402713 | 22.6 | 24M| 40 | - | 579 |7612 | 579 |2655 | 10 | 14k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
88.46/88.59 c 88.6s| 15500 | 145 |404809 | 22.6 | 24M| 40 | 40 | 579 |7651 | 579 |2655 | 10 | 14k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
88.77/88.86 c 88.9s| 15600 | 142 |406587 | 22.6 | 24M| 40 | 27 | 579 |7694 | 579 |2655 | 10 | 14k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
89.07/89.15 c 89.2s| 15700 | 137 |408487 | 22.5 | 24M| 40 | - | 579 |7750 | 579 |2655 | 10 | 14k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
89.36/89.49 c 89.5s| 15800 | 134 |410367 | 22.5 | 24M| 40 | - | 579 |7738 | 579 |2655 | 10 | 14k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
89.66/89.77 c 89.8s| 15900 | 141 |412164 | 22.5 | 24M| 40 | 31 | 579 |7793 | 579 |2655 | 10 | 14k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
89.96/90.06 c 90.1s| 16000 | 126 |413797 | 22.5 | 24M| 40 | - | 579 |7861 | 579 |2655 | 10 | 15k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
90.36/90.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.36/90.40 c 90.4s| 16100 | 123 |415928 | 22.5 | 24M| 40 | - | 579 |7861 | 579 |2655 | 10 | 15k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
90.66/90.70 c 90.7s| 16200 | 127 |418023 | 22.4 | 24M| 40 | 32 | 579 |7828 | 579 |2655 | 10 | 15k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
90.97/91.02 c 91.0s| 16300 | 128 |420197 | 22.4 | 24M| 40 | 39 | 579 |7842 | 579 |2655 | 10 | 15k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
91.26/91.37 c 91.4s| 16400 | 130 |422343 | 22.4 | 24M| 40 | 37 | 579 |7822 | 579 |2655 | 10 | 15k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
91.66/91.72 c 91.7s| 16500 | 127 |424657 | 22.4 | 24M| 40 | 36 | 579 |7857 | 579 |2655 | 10 | 15k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
91.96/92.01 c 92.0s| 16600 | 124 |426664 | 22.4 | 24M| 40 | 33 | 579 |7910 | 579 |2655 | 10 | 15k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
92.26/92.38 c 92.4s| 16700 | 122 |429023 | 22.4 | 24M| 40 | 30 | 579 |7872 | 579 |2655 | 10 | 15k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
92.67/92.71 c 92.7s| 16800 | 125 |431001 | 22.4 | 24M| 40 | 15 | 579 |7885 | 579 |2655 | 10 | 15k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
92.86/92.94 c 92.9s| 16900 | 121 |432301 | 22.4 | 24M| 40 | - | 579 |7893 | 579 |2655 | 10 | 15k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
93.16/93.22 c 93.2s| 17000 | 124 |433953 | 22.3 | 24M| 40 | 18 | 579 |7871 | 579 |2655 | 10 | 15k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
93.47/93.59 c 93.6s| 17100 | 128 |436137 | 22.3 | 24M| 40 | - | 579 |7876 | 0 | 0 | 10 | 15k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
93.77/93.84 c 93.8s| 17200 | 131 |437621 | 22.3 | 24M| 40 | - | 579 |7833 | 579 |2655 | 10 | 16k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
94.06/94.10 c 94.1s| 17300 | 136 |439142 | 22.3 | 24M| 40 | 18 | 579 |7816 | 579 |2655 | 10 | 16k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
94.26/94.34 c 94.3s| 17400 | 130 |440605 | 22.2 | 24M| 40 | - | 579 |7878 | 579 |2655 | 10 | 16k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
94.57/94.69 c 94.7s| 17500 | 132 |442702 | 22.2 | 24M| 40 | - | 579 |7922 | 579 |2655 | 10 | 16k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
94.86/94.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
94.86/94.96 c 95.0s| 17600 | 131 |444449 | 22.2 | 24M| 40 | - | 579 |7921 | 579 |2655 | 10 | 16k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
95.17/95.28 c 95.3s| 17700 | 133 |446672 | 22.2 | 24M| 40 | 35 | 579 |7972 | 579 |2655 | 10 | 16k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
95.46/95.58 c 95.6s| 17800 | 136 |448420 | 22.2 | 24M| 40 | 26 | 579 |8007 | 579 |2655 | 10 | 16k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
95.86/95.91 c 95.9s| 17900 | 135 |450448 | 22.2 | 24M| 40 | 31 | 579 |8062 | 579 |2655 | 10 | 16k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
96.16/96.28 c 96.3s| 18000 | 132 |452621 | 22.2 | 24M| 40 | - | 579 |8055 | 579 |2655 | 10 | 16k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
96.56/96.68 c 96.7s| 18100 | 125 |455131 | 22.2 | 24M| 40 | - | 579 |8113 | 579 |2655 | 10 | 16k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
96.87/96.96 c 97.0s| 18200 | 126 |456964 | 22.2 | 24M| 40 | 26 | 579 |8118 | 579 |2655 | 10 | 16k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
97.16/97.23 c 97.2s| 18300 | 126 |458682 | 22.1 | 24M| 40 | 31 | 579 |8189 | 579 |2655 | 10 | 17k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
97.46/97.55 c 97.6s| 18400 | 129 |460569 | 22.1 | 24M| 40 | - | 579 |8243 | 579 |2655 | 10 | 17k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
97.77/97.88 c 97.9s| 18500 | 136 |462786 | 22.1 | 24M| 40 | 37 | 579 |8129 | 579 |2655 | 10 | 17k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
98.16/98.24 c 98.2s| 18600 | 136 |465032 | 22.1 | 24M| 40 | 31 | 579 |8158 | 579 |2655 | 10 | 17k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
98.46/98.55 c 98.6s| 18700 | 137 |466832 | 22.1 | 24M| 40 | 23 | 579 |8155 | 579 |2655 | 10 | 17k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
98.66/98.77 c 98.8s| 18800 | 124 |468166 | 22.1 | 24M| 40 | - | 579 |8262 | 579 |2655 | 10 | 17k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
99.06/99.10 c 99.1s| 18900 | 126 |470126 | 22.0 | 24M| 40 | 27 | 579 |8254 | 579 |2655 | 10 | 17k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
99.26/99.35 c 99.4s| 19000 | 124 |471714 | 22.0 | 24M| 40 | - | 579 |8354 | 0 | 0 | 10 | 17k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
99.56/99.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
99.56/99.60 c 99.6s| 19100 | 125 |473172 | 22.0 | 25M| 40 | 33 | 579 |8381 | 579 |2655 | 10 | 17k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
99.86/99.96 c 100s| 19200 | 125 |475507 | 22.0 | 25M| 40 | - | 579 |8338 | 579 |2655 | 10 | 17k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
100.26/100.33 c 100s| 19300 | 127 |477682 | 22.0 | 25M| 40 | - | 579 |8338 | 579 |2655 | 10 | 18k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
100.56/100.63 c 101s| 19400 | 138 |479719 | 22.0 | 25M| 40 | - | 579 |8312 | 579 |2655 | 10 | 18k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
100.86/100.92 c 101s| 19500 | 149 |481615 | 22.0 | 25M| 40 | 31 | 579 |8272 | 579 |2655 | 10 | 18k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
101.16/101.24 c 101s| 19600 | 156 |483647 | 22.0 | 25M| 40 | 35 | 579 |8323 | 579 |2655 | 10 | 18k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
101.46/101.57 c 102s| 19700 | 160 |485871 | 22.0 | 25M| 40 | - | 579 |8212 | 579 |2655 | 10 | 18k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
101.76/101.84 c 102s| 19800 | 167 |487296 | 21.9 | 25M| 40 | - | 579 |8206 | 579 |2655 | 10 | 18k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
102.06/102.13 c 102s| 19900 | 171 |489193 | 21.9 | 25M| 40 | 39 | 579 |8093 | 579 |2655 | 10 | 18k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
102.46/102.53 c 103s| 20000 | 170 |491364 | 21.9 | 25M| 40 | 34 | 579 |8063 | 579 |2655 | 10 | 18k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
102.86/102.90 c 103s| 20100 | 171 |493425 | 21.9 | 25M| 40 | 31 | 579 |7966 | 579 |2655 | 10 | 18k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
103.06/103.18 c 103s| 20200 | 172 |495355 | 21.9 | 25M| 40 | - | 579 |7973 | 579 |2655 | 10 | 18k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
103.37/103.50 c 104s| 20300 | 173 |497559 | 21.9 | 25M| 40 | - | 579 |7998 | 579 |2655 | 10 | 18k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
103.66/103.79 c 104s| 20400 | 170 |499343 | 21.9 | 25M| 40 | - | 579 |8011 | 579 |2655 | 10 | 18k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
104.06/104.10 c 104s| 20500 | 166 |501176 | 21.9 | 25M| 40 | 37 | 579 |8018 | 579 |2655 | 10 | 18k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
104.35/104.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.35/104.47 c 104s| 20600 | 155 |503444 | 21.9 | 25M| 41 | - | 579 |8045 | 579 |2655 | 10 | 19k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
104.76/104.80 c 105s| 20700 | 156 |505447 | 21.9 | 25M| 41 | 40 | 579 |8094 | 579 |2655 | 10 | 19k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
105.06/105.14 c 105s| 20800 | 153 |507672 | 21.9 | 25M| 41 | - | 579 |8114 | 579 |2655 | 10 | 19k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
105.36/105.46 c 105s| 20900 | 143 |509757 | 21.9 | 25M| 41 | - | 579 |8136 | 579 |2655 | 10 | 19k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
105.76/105.81 c 106s| 21000 | 136 |511945 | 21.9 | 25M| 41 | 45 | 579 |8147 | 579 |2655 | 10 | 19k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
105.96/106.06 c 106s| 21100 | 134 |513432 | 21.8 | 25M| 41 | 30 | 579 |8181 | 579 |2655 | 10 | 19k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
106.26/106.35 c 106s| 21200 | 131 |515228 | 21.8 | 25M| 41 | 25 | 579 |8244 | 579 |2655 | 10 | 19k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
106.56/106.66 c 107s| 21300 | 118 |517124 | 21.8 | 24M| 41 | - | 579 |8271 | 0 | 0 | 10 | 19k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
106.86/106.97 c 107s| 21400 | 114 |519247 | 21.8 | 24M| 41 | - | 579 |8211 | 579 |2655 | 10 | 19k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
107.25/107.31 c 107s| 21500 | 112 |521162 | 21.8 | 24M| 41 | - | 579 |8172 | 579 |2655 | 10 | 19k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
107.46/107.57 c 108s| 21600 | 116 |522796 | 21.8 | 24M| 41 | - | 579 |8189 | 579 |2655 | 10 | 20k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
107.76/107.89 c 108s| 21700 | 111 |524748 | 21.8 | 24M| 41 | - | 579 |8167 | 0 | 0 | 10 | 20k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
108.16/108.23 c 108s| 21800 | 110 |526867 | 21.7 | 24M| 41 | - | 579 |8151 | 579 |2655 | 10 | 20k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
108.46/108.56 c 109s| 21900 | 108 |528980 | 21.7 | 24M| 41 | - | 579 |8177 | 579 |2655 | 10 | 20k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
108.86/108.94 c 109s| 22000 | 102 |531250 | 21.7 | 24M| 41 | - | 579 |8170 | 579 |2655 | 10 | 20k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
109.16/109.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
109.16/109.24 c 109s| 22100 | 104 |533170 | 21.7 | 24M| 41 | 36 | 579 |8162 | 579 |2655 | 10 | 20k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
109.46/109.58 c 110s| 22200 | 100 |535316 | 21.7 | 24M| 41 | 22 | 579 |8164 | 579 |2655 | 10 | 20k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
109.76/109.85 c 110s| 22300 | 103 |536985 | 21.7 | 24M| 41 | - | 579 |8105 | 579 |2655 | 10 | 20k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
110.06/110.11 c 110s| 22400 | 97 |538671 | 21.7 | 24M| 41 | - | 579 |8069 | 579 |2655 | 10 | 20k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
110.36/110.49 c 110s| 22500 | 97 |541100 | 21.7 | 24M| 41 | - | 579 |8010 | 0 | 0 | 10 | 20k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
110.76/110.80 c 111s| 22600 | 99 |543215 | 21.7 | 24M| 41 | 34 | 579 |8011 | 579 |2655 | 10 | 20k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
111.07/111.17 c 111s| 22700 | 87 |545523 | 21.7 | 24M| 41 | - | 579 |8014 | 0 | 0 | 10 | 21k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
111.46/111.53 c 112s| 22800 | 85 |547610 | 21.7 | 24M| 41 | - | 579 |7912 | 579 |2655 | 10 | 21k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
111.96/112.04 c 112s| 22900 | 119 |551077 | 21.8 | 24M| 41 | - | 579 |7845 | 579 |2655 | 10 | 21k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
112.27/112.34 c 112s| 23000 | 126 |552969 | 21.7 | 24M| 41 | - | 579 |7904 | 579 |2655 | 10 | 21k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
112.56/112.61 c 113s| 23100 | 127 |554503 | 21.7 | 24M| 41 | - | 579 |7960 | 579 |2655 | 10 | 21k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
112.76/112.87 c 113s| 23200 | 130 |556192 | 21.7 | 24M| 41 | 29 | 579 |8043 | 579 |2655 | 10 | 21k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
113.06/113.19 c 113s| 23300 | 126 |558027 | 21.7 | 24M| 41 | - | 579 |8117 | 579 |2655 | 10 | 21k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
113.46/113.51 c 114s| 23400 | 127 |559934 | 21.7 | 24M| 41 | 30 | 579 |8205 | 579 |2655 | 10 | 21k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
113.75/113.88 c 114s| 23500 | 124 |562127 | 21.7 | 24M| 41 | - | 579 |8287 | 579 |2655 | 10 | 21k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
114.06/114.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
114.06/114.10 c 114s| 23600 | 127 |563289 | 21.6 | 25M| 41 | - | 579 |8367 | 579 |2655 | 10 | 21k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
114.26/114.38 c 114s| 23700 | 133 |565007 | 21.6 | 25M| 41 | - | 579 |8415 | 0 | 0 | 10 | 21k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
114.66/114.74 c 115s| 23800 | 136 |567033 | 21.6 | 25M| 41 | - | 579 |8474 | 579 |2655 | 10 | 22k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
114.96/115.07 c 115s| 23900 | 137 |569239 | 21.6 | 25M| 41 | 28 | 579 |8521 | 579 |2655 | 10 | 22k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
115.36/115.40 c 115s| 24000 | 143 |571194 | 21.6 | 25M| 41 | - | 579 |8595 | 579 |2655 | 10 | 22k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
115.65/115.72 c 116s| 24100 | 146 |573224 | 21.6 | 25M| 41 | - | 579 |8637 | 579 |2655 | 10 | 22k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
116.06/116.12 c 116s| 24200 | 146 |575747 | 21.6 | 25M| 41 | 14 | 579 |8687 | 579 |2655 | 10 | 22k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
116.45/116.54 c 117s| 24300 | 149 |578321 | 21.6 | 25M| 41 | - | 579 |8763 | 579 |2655 | 10 | 22k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
116.76/116.84 c 117s| 24400 | 153 |580234 | 21.6 | 25M| 41 | 44 | 579 |8849 | 579 |2655 | 10 | 22k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
117.06/117.17 c 117s| 24500 | 162 |582606 | 21.6 | 25M| 44 | 27 | 579 |8902 | 579 |2655 | 10 | 22k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
117.36/117.47 c 117s| 24600 | 166 |584756 | 21.6 | 25M| 44 | 28 | 579 |8960 | 579 |2655 | 10 | 22k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
117.67/117.75 c 118s| 24700 | 156 |586480 | 21.6 | 25M| 44 | 37 | 579 |9027 | 579 |2655 | 10 | 22k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
118.05/118.10 c 118s| 24800 | 155 |588447 | 21.6 | 25M| 44 | - | 579 |9094 | 579 |2655 | 10 | 22k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
118.36/118.40 c 118s| 24900 | 160 |590333 | 21.6 | 25M| 44 | - | 579 |9152 | 579 |2655 | 10 | 23k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
118.55/118.64 c 119s| 25000 | 153 |591717 | 21.6 | 25M| 44 | 31 | 579 |9216 | 579 |2655 | 10 | 23k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
118.86/118.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
118.86/118.99 c 119s| 25100 | 153 |593709 | 21.6 | 25M| 44 | - | 579 |9283 | 579 |2655 | 10 | 23k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
119.16/119.27 c 119s| 25200 | 152 |595521 | 21.6 | 25M| 44 | - | 579 |9332 | 579 |2655 | 10 | 23k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
119.56/119.60 c 120s| 25300 | 153 |597641 | 21.6 | 25M| 44 | - | 579 |9330 | 0 | 0 | 10 | 23k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
119.86/119.93 c 120s| 25400 | 158 |599684 | 21.6 | 25M| 44 | - | 579 |9304 | 0 | 0 | 10 | 23k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
120.16/120.24 c 120s| 25500 | 150 |601472 | 21.5 | 25M| 44 | - | 579 |9282 | 579 |2655 | 10 | 23k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
120.46/120.53 c 121s| 25600 | 146 |603074 | 21.5 | 25M| 44 | 30 | 579 |9272 | 579 |2655 | 10 | 23k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
120.65/120.71 c 121s| 25700 | 145 |603996 | 21.5 | 25M| 44 | 37 | 579 |9303 | 579 |2655 | 10 | 23k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
120.97/121.09 c 121s| 25800 | 141 |606243 | 21.5 | 25M| 44 | 38 | 579 |9279 | 579 |2655 | 10 | 23k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
121.36/121.45 c 121s| 25900 | 137 |608404 | 21.5 | 25M| 44 | - | 579 |9309 | 579 |2655 | 10 | 23k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
121.66/121.71 c 122s| 26000 | 136 |610090 | 21.5 | 25M| 44 | 35 | 579 |9324 | 579 |2655 | 10 | 23k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
121.96/122.08 c 122s| 26100 | 142 |612352 | 21.5 | 25M| 44 | 27 | 579 |9194 | 579 |2655 | 10 | 23k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
122.25/122.37 c 122s| 26200 | 143 |613865 | 21.4 | 25M| 44 | 29 | 579 |9230 | 579 |2655 | 10 | 24k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
122.56/122.64 c 123s| 26300 | 141 |615642 | 21.4 | 25M| 44 | - | 579 |9237 | 579 |2655 | 10 | 24k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
122.85/122.91 c 123s| 26400 | 138 |617368 | 21.4 | 25M| 44 | 36 | 579 |9278 | 579 |2655 | 10 | 24k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
123.16/123.22 c 123s| 26500 | 128 |619072 | 21.4 | 25M| 44 | - | 579 |9319 | 0 | 0 | 10 | 24k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
123.36/123.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
123.36/123.45 c 123s| 26600 | 131 |620303 | 21.4 | 25M| 44 | 23 | 579 |9282 | 579 |2655 | 10 | 24k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
123.65/123.71 c 124s| 26700 | 128 |621918 | 21.4 | 25M| 44 | - | 579 |9340 | 0 | 0 | 10 | 24k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
123.86/123.94 c 124s| 26800 | 131 |623221 | 21.3 | 25M| 44 | 34 | 579 |9411 | 579 |2655 | 10 | 24k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
124.16/124.26 c 124s| 26900 | 123 |625111 | 21.3 | 25M| 44 | 33 | 579 |9488 | 579 |2655 | 10 | 24k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
124.46/124.52 c 125s| 27000 | 113 |626605 | 21.3 | 25M| 44 | 28 | 579 |9445 | 579 |2655 | 10 | 24k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
124.65/124.78 c 125s| 27100 | 111 |628124 | 21.3 | 25M| 44 | - | 579 |9464 | 579 |2655 | 10 | 24k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
125.06/125.11 c 125s| 27200 | 113 |629902 | 21.3 | 25M| 44 | - | 579 |9426 | 0 | 0 | 10 | 25k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
125.25/125.34 c 125s| 27300 | 109 |631224 | 21.2 | 25M| 44 | 37 | 579 |9412 | 579 |2655 | 10 | 25k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
125.55/125.65 c 126s| 27400 | 117 |633129 | 21.2 | 25M| 44 | 30 | 579 |9370 | 579 |2655 | 10 | 25k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
125.86/125.91 c 126s| 27500 | 126 |634679 | 21.2 | 25M| 44 | 30 | 579 |9384 | 579 |2655 | 10 | 25k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
126.15/126.20 c 126s| 27600 | 132 |636442 | 21.2 | 25M| 44 | - | 579 |9459 | 579 |2655 | 10 | 25k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
126.57/126.64 c 127s| 27700 | 158 |639114 | 21.2 | 25M| 44 | - | 579 |9467 | 579 |2655 | 10 | 25k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
126.76/126.88 c 127s| 27800 | 159 |640605 | 21.2 | 25M| 44 | - | 579 |9520 | 579 |2655 | 10 | 25k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
127.05/127.19 c 127s| 27900 | 163 |642566 | 21.2 | 25M| 44 | 31 | 579 |9568 | 579 |2655 | 10 | 25k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
127.45/127.54 c 128s| 28000 | 172 |644587 | 21.2 | 25M| 44 | 36 | 579 |9670 | 579 |2655 | 10 | 25k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
127.75/127.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
127.75/127.83 c 128s| 28100 | 176 |646562 | 21.2 | 26M| 44 | - | 579 |9751 | 579 |2655 | 10 | 25k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
128.06/128.15 c 128s| 28200 | 177 |648610 | 21.2 | 26M| 44 | 27 | 579 |9822 | 579 |2655 | 10 | 25k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
128.35/128.46 c 128s| 28300 | 173 |650350 | 21.2 | 26M| 44 | - | 579 |9868 | 579 |2655 | 10 | 26k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
128.66/128.73 c 129s| 28400 | 181 |652060 | 21.2 | 26M| 44 | 22 | 579 |9919 | 579 |2655 | 10 | 26k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
128.95/129.03 c 129s| 28500 | 182 |653694 | 21.1 | 26M| 44 | - | 579 |9970 | 0 | 0 | 10 | 26k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
129.16/129.27 c 129s| 28600 | 180 |655083 | 21.1 | 26M| 44 | - | 579 | 10k| 579 |2655 | 10 | 26k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
129.46/129.56 c 130s| 28700 | 184 |657018 | 21.1 | 26M| 44 | - | 579 | 10k| 579 |2655 | 10 | 26k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
129.86/129.93 c 130s| 28800 | 188 |659519 | 21.1 | 26M| 44 | 36 | 579 | 10k| 579 |2655 | 10 | 26k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
130.15/130.20 c 130s| 28900 | 197 |661319 | 21.1 | 26M| 45 | - | 579 | 10k| 579 |2655 | 10 | 26k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
130.36/130.45 c 130s| 29000 | 195 |662934 | 21.1 | 26M| 45 | 33 | 579 | 10k| 579 |2655 | 10 | 26k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
130.65/130.73 c 131s| 29100 | 193 |664867 | 21.1 | 26M| 45 | 27 | 579 | 10k| 579 |2655 | 10 | 26k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
130.96/131.00 c 131s| 29200 | 195 |666511 | 21.1 | 26M| 45 | 34 | 579 | 10k| 579 |2655 | 10 | 26k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
131.16/131.25 c 131s| 29300 | 199 |667975 | 21.1 | 26M| 45 | 31 | 579 | 10k| 579 |2655 | 10 | 26k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
131.46/131.54 c 132s| 29400 | 202 |669693 | 21.0 | 26M| 45 | - | 579 | 10k| 579 |2655 | 10 | 27k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
131.75/131.86 c 132s| 29500 | 196 |671552 | 21.0 | 26M| 45 | 33 | 579 | 10k| 579 |2655 | 10 | 27k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
132.06/132.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
132.06/132.15 c 132s| 29600 | 192 |673387 | 21.0 | 26M| 45 | - | 579 | 10k| 579 |2655 | 10 | 27k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
132.45/132.52 c 133s| 29700 | 195 |675641 | 21.0 | 26M| 45 | 27 | 579 | 10k| 579 |2655 | 10 | 27k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
132.75/132.82 c 133s| 29800 | 195 |677687 | 21.0 | 26M| 45 | - | 579 | 10k| 0 | 0 | 10 | 27k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
133.06/133.18 c 133s| 29900 | 190 |679769 | 21.0 | 26M| 45 | 39 | 579 | 10k| 579 |2655 | 10 | 27k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
133.35/133.45 c 133s| 30000 | 191 |681251 | 21.0 | 26M| 45 | 34 | 579 | 10k| 579 |2655 | 10 | 27k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
133.65/133.74 c 134s| 30100 | 187 |682922 | 21.0 | 26M| 45 | 37 | 579 | 10k| 579 |2655 | 10 | 27k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
133.96/134.09 c 134s| 30200 | 179 |685029 | 21.0 | 26M| 45 | 31 | 579 | 10k| 579 |2655 | 10 | 27k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
134.26/134.36 c 134s| 30300 | 171 |686541 | 21.0 | 26M| 45 | 26 | 579 | 10k| 579 |2655 | 10 | 27k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
134.55/134.66 c 135s| 30400 | 164 |688224 | 21.0 | 26M| 45 | - | 579 | 10k| 579 |2655 | 10 | 28k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
134.86/134.94 c 135s| 30500 | 157 |689840 | 21.0 | 26M| 45 | - | 579 | 10k| 579 |2655 | 10 | 28k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
135.15/135.28 c 135s| 30600 | 154 |692061 | 21.0 | 26M| 45 | - | 579 | 10k| 579 |2655 | 10 | 28k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
135.55/135.68 c 136s| 30700 | 151 |694579 | 21.0 | 26M| 45 | 30 | 579 | 10k| 579 |2655 | 10 | 28k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
135.85/135.95 c 136s| 30800 | 148 |696255 | 21.0 | 26M| 45 | - | 579 | 10k| 579 |2655 | 10 | 28k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
136.16/136.30 c 136s| 30900 | 138 |698343 | 21.0 | 26M| 45 | - | 579 | 10k| 579 |2655 | 10 | 28k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
136.46/136.53 c 137s| 31000 | 129 |699611 | 20.9 | 26M| 45 | - | 579 | 10k| 579 |2655 | 10 | 28k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
136.76/136.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
136.76/136.83 c 137s| 31100 | 123 |701566 | 20.9 | 26M| 45 | - | 579 | 10k| 0 | 0 | 10 | 28k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
137.05/137.14 c 137s| 31200 | 115 |703617 | 20.9 | 26M| 45 | - | 579 | 10k| 579 |2655 | 10 | 28k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
137.46/137.51 c 138s| 31300 | 113 |705946 | 20.9 | 26M| 45 | 36 | 579 | 10k| 579 |2655 | 10 | 28k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
137.66/137.74 c 138s| 31400 | 83 |707052 | 20.9 | 25M| 45 | - | 579 | 10k| 579 |2655 | 10 | 28k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
137.96/138.06 c 138s| 31500 | 89 |708867 | 20.9 | 25M| 45 | 11 | 579 | 10k| 579 |2655 | 10 | 29k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
138.15/138.27 c 138s| 31600 | 85 |710064 | 20.9 | 25M| 45 | 20 | 579 |9975 | 579 |2655 | 10 | 29k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
138.45/138.55 c 139s| 31700 | 87 |711737 | 20.9 | 25M| 45 | 23 | 579 | 10k| 579 |2655 | 10 | 29k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
138.75/138.83 c 139s| 31800 | 82 |713519 | 20.8 | 25M| 45 | - | 579 | 10k| 579 |2655 | 10 | 29k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
139.05/139.16 c 139s| 31900 | 85 |715567 | 20.8 | 25M| 45 | 39 | 579 | 10k| 579 |2655 | 10 | 29k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
139.46/139.51 c 140s| 32000 | 81 |717655 | 20.8 | 25M| 45 | - | 579 | 10k| 579 |2655 | 10 | 29k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
139.66/139.76 c 140s| 32100 | 77 |719055 | 20.8 | 25M| 45 | 36 | 579 |9930 | 579 |2655 | 10 | 29k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
139.95/140.08 c 140s| 32200 | 73 |720978 | 20.8 | 25M| 45 | - | 579 |9647 | 579 |2655 | 10 | 29k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
140.35/140.42 c 140s| 32300 | 78 |723118 | 20.8 | 25M| 45 | 33 | 579 |9442 | 579 |2655 | 10 | 29k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
140.65/140.71 c 141s| 32400 | 70 |724854 | 20.8 | 25M| 45 | - | 579 |9451 | 579 |2655 | 10 | 29k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
140.95/141.02 c 141s| 32500 | 61 |726493 | 20.8 | 25M| 45 | - | 579 |9060 | 579 |2655 | 10 | 29k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
141.36/141.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
141.36/141.40 c 141s| 32600 | 72 |729010 | 20.8 | 25M| 45 | 29 | 579 |8783 | 579 |2655 | 10 | 29k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
141.55/141.68 c 142s| 32700 | 80 |730804 | 20.8 | 25M| 45 | 33 | 579 |8736 | 579 |2655 | 10 | 30k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
142.06/142.11 c 142s| 32800 | 81 |732795 | 20.8 | 25M| 45 | - | 579 |8767 | 579 |2655 | 10 | 30k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
142.25/142.36 c 142s| 32900 | 88 |734367 | 20.8 | 25M| 45 | - | 579 |8864 | 579 |2655 | 10 | 30k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
142.56/142.69 c 143s| 33000 | 87 |736464 | 20.8 | 25M| 45 | 34 | 579 |8934 | 579 |2655 | 10 | 30k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
142.96/143.03 c 143s| 33100 | 85 |738500 | 20.8 | 25M| 45 | 24 | 579 |8995 | 579 |2655 | 10 | 30k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
143.16/143.29 c 143s| 33200 | 80 |740105 | 20.8 | 25M| 45 | - | 579 |9055 | 579 |2655 | 10 | 30k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
143.45/143.54 c 144s| 33300 | 79 |741587 | 20.8 | 25M| 45 | 30 | 579 |9103 | 579 |2655 | 10 | 30k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
143.76/143.83 c 144s| 33400 | 74 |743356 | 20.7 | 25M| 45 | 30 | 579 |9122 | 579 |2655 | 10 | 30k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
144.06/144.19 c 144s| 33500 | 73 |745634 | 20.8 | 25M| 45 | - | 579 |9016 | 0 | 0 | 10 | 30k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
144.36/144.46 c 144s| 33600 | 76 |747401 | 20.7 | 25M| 45 | - | 579 |9020 | 579 |2655 | 10 | 30k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
144.65/144.71 c 145s| 33700 | 80 |749025 | 20.7 | 25M| 45 | - | 579 |9050 | 579 |2655 | 10 | 30k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
144.95/145.05 c 145s| 33800 | 78 |751154 | 20.7 | 25M| 45 | - | 579 |9082 | 0 | 0 | 10 | 30k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
145.35/145.41 c 145s| 33900 | 83 |753405 | 20.7 | 25M| 45 | - | 579 |9111 | 0 | 0 | 10 | 31k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
145.66/145.78 c 146s| 34000 | 84 |755727 | 20.7 | 25M| 45 | - | 579 |9149 | 579 |2655 | 10 | 31k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
145.95/146.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
145.95/146.08 c 146s| 34100 | 82 |757679 | 20.7 | 25M| 45 | - | 579 |9191 | 579 |2655 | 10 | 31k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
146.26/146.39 c 146s| 34200 | 80 |759731 | 20.7 | 25M| 45 | 34 | 579 |9249 | 579 |2655 | 10 | 31k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
146.65/146.76 c 147s| 34300 | 80 |761990 | 20.7 | 25M| 45 | - | 579 |9305 | 579 |2655 | 10 | 31k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
146.96/147.09 c 147s| 34400 | 89 |764298 | 20.8 | 25M| 45 | - | 579 |9341 | 579 |2655 | 10 | 31k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
147.35/147.43 c 147s| 34500 | 94 |766301 | 20.8 | 25M| 45 | 33 | 579 |9393 | 579 |2655 | 10 | 31k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
147.65/147.75 c 148s| 34600 | 93 |768528 | 20.8 | 25M| 45 | 30 | 579 |9427 | 579 |2655 | 10 | 31k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
147.95/148.10 c 148s| 34700 | 94 |770508 | 20.8 | 25M| 45 | - | 579 |9495 | 579 |2655 | 10 | 31k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
148.26/148.39 c 148s| 34800 | 94 |772455 | 20.7 | 25M| 45 | 38 | 579 |9553 | 579 |2655 | 10 | 31k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
148.65/148.78 c 149s| 34900 | 87 |774786 | 20.8 | 25M| 45 | 34 | 579 |9635 | 579 |2655 | 10 | 31k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
149.05/149.16 c 149s| 35000 | 92 |777297 | 20.8 | 25M| 45 | 39 | 579 |9701 | 579 |2655 | 10 | 31k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
149.45/149.57 c 150s| 35100 | 98 |780107 | 20.8 | 25M| 45 | - | 579 |9756 | 579 |2655 | 10 | 32k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
149.85/149.90 c 150s| 35200 | 96 |782357 | 20.8 | 25M| 45 | 32 | 579 |9827 | 579 |2655 | 10 | 32k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
150.26/150.31 c 150s| 35300 | 94 |784917 | 20.8 | 25M| 45 | 34 | 579 |9885 | 579 |2655 | 10 | 32k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
150.55/150.62 c 151s| 35400 | 83 |786945 | 20.8 | 25M| 45 | 37 | 579 |9946 | 579 |2655 | 10 | 32k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
150.85/150.93 c 151s| 35500 | 79 |788633 | 20.8 | 25M| 45 | 33 | 579 |9949 | 579 |2655 | 10 | 32k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
151.15/151.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
151.15/151.24 c 151s| 35600 | 84 |790625 | 20.8 | 25M| 45 | 27 | 579 |9885 | 579 |2655 | 10 | 32k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
151.35/151.47 c 151s| 35700 | 89 |791959 | 20.8 | 25M| 45 | - | 579 |9899 | 0 | 0 | 10 | 32k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
151.65/151.79 c 152s| 35800 | 95 |793692 | 20.8 | 25M| 45 | 29 | 579 |9958 | 579 |2655 | 10 | 32k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
151.95/152.04 c 152s| 35900 | 97 |795159 | 20.7 | 25M| 45 | 30 | 579 |9967 | 579 |2655 | 10 | 32k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
152.35/152.42 c 152s| 36000 | 102 |797747 | 20.8 | 25M| 45 | 22 | 579 |9984 | 579 |2655 | 10 | 32k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
152.65/152.79 c 153s| 36100 | 107 |799913 | 20.8 | 25M| 45 | 34 | 579 | 10k| 579 |2655 | 10 | 32k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
153.15/153.20 c 153s| 36200 | 106 |802215 | 20.8 | 25M| 45 | - | 579 | 10k| 579 |2655 | 10 | 32k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
153.35/153.49 c 153s| 36300 | 106 |804080 | 20.8 | 25M| 45 | 26 | 579 | 10k| 579 |2655 | 10 | 32k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
153.75/153.82 c 154s| 36400 | 110 |806013 | 20.8 | 26M| 45 | - | 579 | 10k| 579 |2655 | 10 | 33k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
154.05/154.11 c 154s| 36500 | 117 |807642 | 20.7 | 26M| 45 | - | 579 | 10k| 579 |2655 | 10 | 33k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
154.35/154.41 c 154s| 36600 | 113 |809365 | 20.7 | 26M| 45 | - | 579 | 10k| 579 |2655 | 10 | 33k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
154.65/154.78 c 155s| 36700 | 131 |812043 | 20.8 | 26M| 45 | - | 579 | 10k| 579 |2655 | 10 | 33k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
155.06/155.18 c 155s| 36800 | 120 |814315 | 20.8 | 26M| 45 | - | 579 | 10k| 0 | 0 | 10 | 33k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
155.35/155.46 c 155s| 36900 | 119 |816140 | 20.8 | 26M| 45 | - | 579 | 10k| 579 |2655 | 10 | 33k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
155.65/155.76 c 156s| 37000 | 119 |817841 | 20.7 | 26M| 45 | - | 579 | 10k| 579 |2655 | 10 | 33k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
155.85/155.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
155.85/155.99 c 156s| 37100 | 121 |819245 | 20.7 | 26M| 45 | 33 | 579 | 10k| 579 |2655 | 10 | 33k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
156.25/156.36 c 156s| 37200 | 118 |821590 | 20.7 | 26M| 45 | - | 579 | 10k| 0 | 0 | 10 | 33k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
156.65/156.72 c 157s| 37300 | 122 |823938 | 20.7 | 26M| 45 | - | 579 | 10k| 579 |2655 | 10 | 33k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
156.95/157.00 c 157s| 37400 | 113 |825682 | 20.7 | 26M| 45 | - | 579 | 10k| 579 |2655 | 10 | 33k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
157.26/157.35 c 157s| 37500 | 109 |828045 | 20.7 | 26M| 45 | 37 | 579 | 10k| 579 |2655 | 10 | 34k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
157.65/157.72 c 158s| 37600 | 108 |830248 | 20.7 | 26M| 45 | 24 | 579 | 10k| 579 |2655 | 10 | 34k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
157.86/157.98 c 158s| 37700 | 120 |831866 | 20.7 | 26M| 45 | 26 | 579 | 10k| 579 |2655 | 10 | 34k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
158.15/158.27 c 158s| 37800 | 123 |833517 | 20.7 | 26M| 45 | - | 579 | 10k| 579 |2655 | 10 | 34k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
158.75/158.82 c 159s| 37900 | 142 |836751 | 20.7 | 26M| 45 | 37 | 579 | 10k| 579 |2655 | 10 | 34k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
159.15/159.20 c 159s| 38000 | 163 |839189 | 20.8 | 26M| 45 | 24 | 579 | 10k| 579 |2655 | 10 | 34k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
159.35/159.50 c 159s| 38100 | 170 |841115 | 20.8 | 26M| 45 | 21 | 579 | 10k| 579 |2655 | 10 | 34k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
159.75/159.80 c 160s| 38200 | 180 |843106 | 20.8 | 26M| 45 | 22 | 579 | 10k| 579 |2655 | 10 | 34k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
160.05/160.18 c 160s| 38300 | 183 |845441 | 20.8 | 26M| 45 | 39 | 579 | 10k| 579 |2655 | 10 | 34k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
160.56/160.66 c 161s| 38400 | 216 |848530 | 20.8 | 26M| 45 | 22 | 579 | 10k| 579 |2655 | 10 | 34k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
160.85/160.96 c 161s| 38500 | 226 |850627 | 20.8 | 26M| 45 | - | 579 | 10k| 579 |2655 | 10 | 34k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
161.35/161.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
161.35/161.41 c 161s| 38600 | 231 |853642 | 20.8 | 26M| 45 | 28 | 579 | 10k| 579 |2655 | 10 | 34k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
161.66/161.70 c 162s| 38700 | 229 |855695 | 20.8 | 26M| 45 | - | 579 | 10k| 579 |2655 | 10 | 35k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
161.85/161.99 c 162s| 38800 | 232 |857563 | 20.8 | 26M| 45 | - | 579 | 10k| 0 | 0 | 10 | 35k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
162.15/162.29 c 162s| 38900 | 234 |859565 | 20.8 | 26M| 45 | - | 579 | 10k| 579 |2655 | 10 | 35k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
162.45/162.54 c 163s| 39000 | 241 |861189 | 20.8 | 26M| 45 | 27 | 579 | 10k| 579 |2655 | 10 | 35k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
162.76/162.87 c 163s| 39100 | 239 |863282 | 20.8 | 27M| 45 | - | 579 | 10k| 579 |2655 | 10 | 35k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
163.05/163.13 c 163s| 39200 | 239 |864920 | 20.8 | 27M| 45 | - | 579 | 11k| 579 |2655 | 10 | 35k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
163.35/163.49 c 163s| 39300 | 251 |867055 | 20.8 | 27M| 45 | 38 | 579 | 11k| 579 |2655 | 10 | 35k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
163.75/163.82 c 164s| 39400 | 258 |869131 | 20.8 | 27M| 45 | 21 | 579 | 11k| 579 |2655 | 10 | 35k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
164.05/164.16 c 164s| 39500 | 263 |870982 | 20.8 | 27M| 45 | 27 | 579 | 11k| 579 |2655 | 10 | 35k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
164.35/164.43 c 164s| 39600 | 269 |872565 | 20.8 | 27M| 45 | 22 | 579 | 11k| 579 |2655 | 10 | 35k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
164.65/164.75 c 165s| 39700 | 266 |874301 | 20.8 | 27M| 45 | 35 | 579 | 11k| 579 |2655 | 10 | 36k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
164.95/165.02 c 165s| 39800 | 265 |875910 | 20.7 | 27M| 45 | 34 | 579 | 11k| 579 |2655 | 10 | 36k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
165.25/165.37 c 165s| 39900 | 274 |877940 | 20.7 | 27M| 45 | 29 | 579 | 11k| 579 |2655 | 10 | 36k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
165.55/165.67 c 166s| 40000 | 271 |879781 | 20.7 | 27M| 45 | 35 | 579 | 11k| 579 |2655 | 10 | 36k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
165.85/165.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
165.85/165.91 c 166s| 40100 | 276 |881061 | 20.7 | 27M| 45 | 27 | 579 | 11k| 579 |2655 | 10 | 36k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
166.06/166.17 c 166s| 40200 | 268 |882353 | 20.7 | 27M| 45 | 34 | 579 | 11k| 579 |2655 | 10 | 36k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
166.35/166.46 c 166s| 40300 | 279 |883984 | 20.7 | 27M| 45 | 49 | 579 | 11k| 579 |2655 | 10 | 36k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
166.65/166.78 o 3
166.65/166.78 c s 167s| 40400 | 268 |886029 | 20.7 | 27M| 45 | 2 | 579 | 11k| 579 |2655 | 10 | 36k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
167.05/167.12 c 167s| 40500 | 274 |887992 | 20.7 | 27M| 45 | 35 | 579 | 11k| 579 |2655 | 10 | 36k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
167.55/167.62 c 168s| 40600 | 286 |890219 | 20.7 | 27M| 45 | - | 579 | 11k| 579 |2655 | 10 | 36k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
167.84/167.92 c 168s| 40700 | 294 |892106 | 20.7 | 27M| 45 | - | 579 | 11k| 0 | 0 | 10 | 36k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
168.15/168.25 c 168s| 40800 | 299 |894263 | 20.7 | 27M| 45 | - | 579 | 11k| 0 | 0 | 10 | 37k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
168.55/168.64 c 169s| 40900 | 313 |896831 | 20.7 | 27M| 45 | 39 | 579 | 11k| 579 |2655 | 10 | 37k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
169.15/169.23 c 169s| 41000 | 318 |899280 | 20.7 | 27M| 45 | 35 | 579 | 11k| 579 |2655 | 10 | 37k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
169.55/169.62 c 170s| 41100 | 319 |901801 | 20.7 | 27M| 45 | 44 | 579 | 11k| 579 |2655 | 10 | 37k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
169.65/169.72 o 2
169.65/169.72 c * 170s| 41135 | 242 |902392 | 20.7 | 26M| 45 | - | 579 | 11k| 579 |2655 | 10 | 37k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
169.85/169.92 c 170s| 41200 | 260 |903753 | 20.7 | 26M| 45 | - | 579 | 11k| 579 |2655 | 10 | 37k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
170.25/170.38 c 170s| 41300 | 282 |906453 | 20.7 | 26M| 45 | - | 579 | 11k| 0 | 0 | 10 | 37k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
170.74/170.82 c 171s| 41400 | 285 |909006 | 20.7 | 26M| 45 | - | 579 | 11k| 579 |2655 | 10 | 37k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
171.15/171.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
171.15/171.21 c 171s| 41500 | 296 |911613 | 20.8 | 27M| 45 | 27 | 579 | 11k| 579 |2655 | 10 | 37k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
171.45/171.51 c 172s| 41600 | 298 |913695 | 20.8 | 27M| 45 | - | 579 | 11k| 579 |2655 | 10 | 37k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
171.75/171.89 c 172s| 41700 | 304 |916200 | 20.8 | 27M| 45 | - | 579 | 11k| 579 |2655 | 10 | 37k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
172.35/172.45 c 172s| 41800 | 309 |918828 | 20.8 | 27M| 45 | - | 579 | 11k| 579 |2655 | 10 | 37k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
172.66/172.79 c 173s| 41900 | 305 |921122 | 20.8 | 27M| 45 | 42 | 579 | 11k| 579 |2655 | 10 | 37k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
172.94/173.09 c 173s| 42000 | 310 |923187 | 20.8 | 27M| 45 | - | 579 | 11k| 0 | 0 | 10 | 38k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
173.34/173.47 c 173s| 42100 | 316 |925658 | 20.8 | 27M| 45 | 42 | 579 | 11k| 579 |2655 | 10 | 38k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
173.76/173.82 c 174s| 42200 | 308 |927885 | 20.8 | 27M| 45 | - | 579 | 11k| 579 |2655 | 10 | 38k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
174.05/174.11 c 174s| 42300 | 313 |929744 | 20.8 | 27M| 45 | 38 | 579 | 11k| 579 |2655 | 10 | 38k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
174.35/174.40 c 174s| 42400 | 316 |931631 | 20.8 | 27M| 49 | 31 | 579 | 11k| 579 |2655 | 10 | 38k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
174.65/174.73 c 175s| 42500 | 323 |933643 | 20.8 | 27M| 49 | 28 | 579 | 11k| 579 |2655 | 10 | 38k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
175.15/175.26 c 175s| 42600 | 324 |935878 | 20.8 | 27M| 49 | 36 | 579 | 11k| 579 |2655 | 10 | 38k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
175.45/175.52 c 176s| 42700 | 324 |937452 | 20.8 | 27M| 49 | - | 579 | 11k| 0 | 0 | 10 | 38k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
175.74/175.89 c 176s| 42800 | 320 |939636 | 20.8 | 27M| 49 | - | 579 | 11k| 579 |2655 | 10 | 38k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
176.25/176.30 c 176s| 42900 | 318 |942300 | 20.8 | 27M| 51 | - | 579 | 11k| 0 | 0 | 10 | 38k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
176.55/176.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
176.55/176.61 c 177s| 43000 | 310 |944399 | 20.8 | 27M| 51 | 35 | 579 | 11k| 579 |2655 | 10 | 39k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
176.94/177.04 c 177s| 43100 | 320 |947268 | 20.8 | 27M| 51 | - | 579 | 11k| 579 |2655 | 10 | 39k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
177.35/177.43 c 177s| 43200 | 328 |949987 | 20.8 | 27M| 51 | 39 | 579 | 12k| 579 |2655 | 10 | 39k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
177.65/177.79 c 178s| 43300 | 328 |952587 | 20.8 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 39k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
178.05/178.18 c 178s| 43400 | 332 |955313 | 20.8 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 39k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
178.55/178.67 c 179s| 43500 | 340 |958385 | 20.9 | 27M| 51 | 36 | 579 | 12k| 579 |2655 | 10 | 39k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
178.95/179.03 c 179s| 43600 | 338 |960988 | 20.9 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 39k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
179.36/179.48 c 179s| 43700 | 332 |964030 | 20.9 | 27M| 51 | - | 579 | 12k| 0 | 0 | 10 | 39k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
179.65/179.77 c 180s| 43800 | 328 |965855 | 20.9 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 39k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
180.05/180.16 c 180s| 43900 | 334 |968168 | 20.9 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 39k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
180.35/180.49 c 180s| 44000 | 343 |970490 | 20.9 | 27M| 51 | 39 | 579 | 12k| 579 |2655 | 10 | 39k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
180.75/180.89 c 181s| 44100 | 332 |973048 | 20.9 | 27M| 51 | 33 | 579 | 12k| 579 |2655 | 10 | 40k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
181.35/181.45 c 181s| 44200 | 334 |975362 | 20.9 | 27M| 51 | 36 | 579 | 12k| 579 |2655 | 10 | 40k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
181.65/181.79 c 182s| 44300 | 336 |977512 | 20.9 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 40k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
182.04/182.18 c 182s| 44400 | 339 |979946 | 20.9 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 40k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
182.34/182.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
182.34/182.47 c 182s| 44500 | 340 |981959 | 20.9 | 27M| 51 | 48 | 579 | 11k| 579 |2655 | 10 | 40k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
182.75/182.80 c 183s| 44600 | 340 |984053 | 20.9 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 40k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
182.95/183.08 c 183s| 44700 | 343 |985940 | 20.9 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 40k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
183.44/183.52 c 184s| 44800 | 348 |988779 | 20.9 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 40k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
183.85/183.90 c 184s| 44900 | 346 |991470 | 20.9 | 27M| 51 | - | 579 | 12k| 0 | 0 | 10 | 40k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
184.15/184.24 c 184s| 45000 | 335 |993676 | 21.0 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 40k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
184.54/184.65 c 185s| 45100 | 337 |996366 | 21.0 | 27M| 51 | 39 | 579 | 12k| 579 |2655 | 10 | 40k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
184.85/184.99 c 185s| 45200 | 341 |998823 | 21.0 | 27M| 51 | 43 | 579 | 12k| 579 |2655 | 10 | 40k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
185.35/185.41 c 185s| 45300 | 343 | 1001k| 21.0 | 27M| 51 | 27 | 579 | 12k| 579 |2655 | 10 | 40k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
185.74/185.82 c 186s| 45400 | 336 | 1004k| 21.0 | 27M| 51 | 43 | 579 | 12k| 579 |2655 | 10 | 40k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
186.05/186.14 c 186s| 45500 | 335 | 1006k| 21.0 | 27M| 51 | 24 | 579 | 12k| 579 |2655 | 10 | 41k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
186.45/186.52 c 187s| 45600 | 337 | 1008k| 21.0 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 41k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
186.85/186.95 c 187s| 45700 | 343 | 1011k| 21.0 | 27M| 51 | 29 | 579 | 12k| 579 |2655 | 10 | 41k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
187.25/187.31 c 187s| 45800 | 336 | 1014k| 21.0 | 27M| 51 | 42 | 579 | 12k| 579 |2655 | 10 | 41k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
187.55/187.68 c 188s| 45900 | 332 | 1016k| 21.0 | 27M| 51 | - | 579 | 12k| 0 | 0 | 10 | 41k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
187.95/188.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
187.95/188.01 c 188s| 46000 | 329 | 1018k| 21.0 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 41k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
188.25/188.39 c 188s| 46100 | 323 | 1021k| 21.0 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 41k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
188.64/188.70 c 189s| 46200 | 326 | 1023k| 21.0 | 27M| 51 | 31 | 579 | 12k| 579 |2655 | 10 | 41k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
188.95/189.00 c 189s| 46300 | 325 | 1025k| 21.0 | 27M| 51 | 33 | 579 | 12k| 579 |2655 | 10 | 41k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
189.25/189.39 c 189s| 46400 | 332 | 1027k| 21.0 | 27M| 51 | - | 579 | 11k| 579 |2655 | 10 | 41k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
189.54/189.69 c 190s| 46500 | 329 | 1029k| 21.0 | 27M| 51 | 46 | 579 | 11k| 579 |2655 | 10 | 41k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
189.94/190.06 c 190s| 46600 | 329 | 1031k| 21.0 | 27M| 51 | 44 | 579 | 11k| 579 |2655 | 10 | 41k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
190.35/190.41 c 190s| 46700 | 337 | 1034k| 21.1 | 27M| 51 | 29 | 579 | 11k| 579 |2655 | 10 | 42k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
190.65/190.73 c 191s| 46800 | 338 | 1036k| 21.1 | 27M| 51 | - | 579 | 11k| 579 |2655 | 10 | 42k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
190.95/191.06 c 191s| 46900 | 341 | 1038k| 21.1 | 27M| 51 | 35 | 579 | 11k| 579 |2655 | 10 | 42k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
191.35/191.46 c 191s| 47000 | 344 | 1040k| 21.1 | 27M| 51 | 33 | 579 | 11k| 579 |2655 | 10 | 42k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
191.64/191.78 c 192s| 47100 | 343 | 1043k| 21.1 | 27M| 51 | 28 | 579 | 11k| 579 |2655 | 10 | 42k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
191.95/192.10 c 192s| 47200 | 344 | 1045k| 21.1 | 27M| 51 | - | 579 | 11k| 0 | 0 | 10 | 42k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
192.25/192.40 c 192s| 47300 | 344 | 1047k| 21.1 | 27M| 51 | - | 579 | 11k| 579 |2655 | 10 | 42k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
192.84/192.96 c 193s| 47400 | 350 | 1049k| 21.1 | 27M| 51 | 36 | 579 | 11k| 579 |2655 | 10 | 42k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
193.15/193.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
193.15/193.28 c 193s| 47500 | 353 | 1051k| 21.1 | 27M| 51 | 30 | 579 | 11k| 579 |2655 | 10 | 42k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
193.55/193.66 c 194s| 47600 | 355 | 1053k| 21.1 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 42k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
193.95/194.05 c 194s| 47700 | 355 | 1056k| 21.1 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 42k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
194.35/194.40 c 194s| 47800 | 346 | 1058k| 21.1 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 42k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
194.55/194.70 c 195s| 47900 | 346 | 1060k| 21.1 | 27M| 51 | 33 | 579 | 12k| 579 |2655 | 10 | 42k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
194.95/195.06 c 195s| 48000 | 332 | 1062k| 21.1 | 27M| 51 | - | 579 | 12k| 0 | 0 | 10 | 43k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
195.34/195.42 c 195s| 48100 | 330 | 1064k| 21.1 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 43k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
195.75/195.81 c 196s| 48200 | 328 | 1067k| 21.1 | 27M| 51 | 35 | 579 | 12k| 579 |2655 | 10 | 43k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
196.05/196.16 c 196s| 48300 | 325 | 1069k| 21.1 | 27M| 51 | 27 | 579 | 12k| 579 |2655 | 10 | 43k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
196.45/196.50 c 196s| 48400 | 312 | 1072k| 21.1 | 27M| 51 | 45 | 579 | 12k| 579 |2655 | 10 | 43k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
196.75/196.89 c 197s| 48500 | 308 | 1074k| 21.1 | 27M| 51 | 31 | 579 | 12k| 579 |2655 | 10 | 43k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
197.14/197.26 c 197s| 48600 | 298 | 1077k| 21.1 | 27M| 51 | - | 579 | 12k| 0 | 0 | 10 | 43k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
197.55/197.61 c 198s| 48700 | 293 | 1079k| 21.1 | 27M| 51 | 35 | 579 | 12k| 579 |2655 | 10 | 43k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
197.85/197.96 c 198s| 48800 | 283 | 1081k| 21.1 | 27M| 51 | 24 | 579 | 12k| 579 |2655 | 10 | 43k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
198.24/198.31 c 198s| 48900 | 286 | 1083k| 21.1 | 27M| 51 | 18 | 579 | 12k| 579 |2655 | 10 | 43k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
198.45/198.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
198.45/198.59 c 199s| 49000 | 284 | 1085k| 21.1 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 43k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
198.85/198.90 c 199s| 49100 | 294 | 1087k| 21.1 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 43k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
199.16/199.25 c 199s| 49200 | 293 | 1090k| 21.1 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 44k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
199.54/199.61 c 200s| 49300 | 300 | 1092k| 21.1 | 27M| 51 | 38 | 579 | 12k| 579 |2655 | 10 | 44k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
199.85/199.92 c 200s| 49400 | 298 | 1094k| 21.1 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 44k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
200.05/200.20 c 200s| 49500 | 305 | 1096k| 21.1 | 27M| 51 | 28 | 579 | 12k| 579 |2655 | 10 | 44k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
200.45/200.55 c 201s| 49600 | 301 | 1098k| 21.1 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 44k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
200.74/200.89 c 201s| 49700 | 310 | 1101k| 21.1 | 27M| 51 | 39 | 579 | 12k| 579 |2655 | 10 | 44k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
201.04/201.17 c 201s| 49800 | 311 | 1102k| 21.1 | 27M| 51 | 29 | 579 | 12k| 579 |2655 | 10 | 44k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
201.45/201.53 c 202s| 49900 | 304 | 1105k| 21.1 | 27M| 51 | 33 | 579 | 12k| 579 |2655 | 10 | 44k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
201.75/201.89 c 202s| 50000 | 310 | 1107k| 21.1 | 27M| 51 | 34 | 579 | 12k| 579 |2655 | 10 | 44k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
202.05/202.19 c 202s| 50100 | 306 | 1109k| 21.1 | 28M| 51 | - | 579 | 12k| 579 |2655 | 10 | 44k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
202.45/202.56 c 203s| 50200 | 302 | 1111k| 21.1 | 28M| 51 | - | 579 | 12k| 579 |2655 | 10 | 44k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
202.75/202.89 c 203s| 50300 | 294 | 1113k| 21.1 | 27M| 51 | 36 | 579 | 12k| 579 |2655 | 10 | 44k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
203.15/203.24 c 203s| 50400 | 294 | 1115k| 21.1 | 28M| 51 | 30 | 579 | 12k| 579 |2655 | 10 | 45k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
203.45/203.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
203.45/203.55 c 204s| 50500 | 283 | 1118k| 21.1 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 45k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
203.84/203.94 c 204s| 50600 | 289 | 1120k| 21.1 | 28M| 51 | - | 579 | 12k| 579 |2655 | 10 | 45k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
204.15/204.21 c 204s| 50700 | 294 | 1122k| 21.1 | 28M| 51 | 45 | 579 | 12k| 579 |2655 | 10 | 45k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
204.45/204.59 c 205s| 50800 | 294 | 1124k| 21.1 | 28M| 51 | 37 | 579 | 12k| 579 |2655 | 10 | 45k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
204.94/205.00 c 205s| 50900 | 294 | 1127k| 21.1 | 28M| 51 | - | 579 | 12k| 579 |2655 | 10 | 45k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
205.24/205.36 c 205s| 51000 | 285 | 1129k| 21.1 | 28M| 51 | - | 579 | 13k| 0 | 0 | 10 | 45k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
205.65/205.71 c 206s| 51100 | 291 | 1131k| 21.1 | 28M| 51 | - | 579 | 12k| 0 | 0 | 10 | 45k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
205.94/206.08 c 206s| 51200 | 294 | 1134k| 21.1 | 28M| 51 | 20 | 579 | 12k| 579 |2655 | 10 | 45k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
206.34/206.42 c 206s| 51300 | 301 | 1136k| 21.2 | 28M| 51 | - | 579 | 12k| 0 | 0 | 10 | 45k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
206.75/206.86 c 207s| 51400 | 299 | 1139k| 21.2 | 28M| 51 | 30 | 579 | 12k| 579 |2655 | 10 | 45k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
207.04/207.18 c 207s| 51500 | 296 | 1141k| 21.2 | 28M| 51 | - | 579 | 12k| 579 |2655 | 10 | 45k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
207.45/207.51 c 208s| 51600 | 298 | 1143k| 21.2 | 28M| 51 | - | 579 | 12k| 579 |2655 | 10 | 46k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
207.75/207.87 c 208s| 51700 | 293 | 1145k| 21.2 | 28M| 51 | 34 | 579 | 12k| 579 |2655 | 10 | 46k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
208.04/208.19 c 208s| 51800 | 286 | 1147k| 21.2 | 28M| 51 | 45 | 579 | 13k| 579 |2655 | 10 | 46k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
208.45/208.56 c 209s| 51900 | 281 | 1149k| 21.2 | 28M| 51 | 27 | 579 | 13k| 579 |2655 | 10 | 46k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
208.85/208.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
208.85/208.91 c 209s| 52000 | 268 | 1151k| 21.2 | 27M| 51 | 45 | 579 | 12k| 579 |2655 | 10 | 46k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
209.24/209.32 c 209s| 52100 | 270 | 1154k| 21.2 | 27M| 51 | 35 | 579 | 12k| 579 |2655 | 10 | 46k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
209.64/209.71 c 210s| 52200 | 264 | 1157k| 21.2 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 46k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
209.94/210.04 c 210s| 52300 | 258 | 1159k| 21.2 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 46k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
210.34/210.40 c 210s| 52400 | 255 | 1161k| 21.2 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 46k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
210.65/210.76 c 211s| 52500 | 255 | 1163k| 21.2 | 27M| 51 | - | 579 | 12k| 0 | 0 | 10 | 46k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
211.05/211.14 c 211s| 52600 | 251 | 1166k| 21.2 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 46k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
211.44/211.53 c 212s| 52700 | 245 | 1168k| 21.2 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 47k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
211.84/211.93 c 212s| 52800 | 248 | 1171k| 21.2 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 47k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
212.14/212.27 c 212s| 52900 | 239 | 1174k| 21.2 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 47k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
212.54/212.66 c 213s| 53000 | 240 | 1176k| 21.2 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 47k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
213.05/213.13 c 213s| 53100 | 250 | 1179k| 21.2 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 47k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
213.45/213.54 c 214s| 53200 | 252 | 1182k| 21.3 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 47k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
213.84/213.95 c 214s| 53300 | 255 | 1185k| 21.3 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 47k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
214.35/214.41 c 214s| 53400 | 255 | 1188k| 21.3 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 47k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
214.64/214.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
214.64/214.76 c 215s| 53500 | 255 | 1190k| 21.3 | 27M| 51 | 34 | 579 | 12k| 579 |2655 | 10 | 47k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
215.04/215.13 c 215s| 53600 | 251 | 1193k| 21.3 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 47k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
215.55/215.61 c 216s| 53700 | 253 | 1196k| 21.3 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 47k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
216.04/216.17 c 216s| 53800 | 261 | 1200k| 21.3 | 27M| 51 | 46 | 579 | 12k| 579 |2655 | 10 | 47k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
216.34/216.48 c 216s| 53900 | 259 | 1202k| 21.3 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 48k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
216.74/216.89 c 217s| 54000 | 261 | 1205k| 21.4 | 27M| 51 | 37 | 579 | 12k| 579 |2655 | 10 | 48k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
217.24/217.31 c 217s| 54100 | 257 | 1207k| 21.4 | 27M| 51 | 21 | 579 | 12k| 579 |2655 | 10 | 48k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
217.55/217.67 c 218s| 54200 | 254 | 1210k| 21.4 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 48k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
217.94/218.09 c 218s| 54300 | 250 | 1213k| 21.4 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 48k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
218.44/218.50 c 218s| 54400 | 248 | 1215k| 21.4 | 27M| 51 | 37 | 579 | 12k| 579 |2655 | 10 | 48k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
218.74/218.84 c 219s| 54500 | 244 | 1218k| 21.4 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 48k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
219.14/219.20 c 219s| 54600 | 238 | 1220k| 21.4 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 48k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
219.45/219.55 c 220s| 54700 | 230 | 1222k| 21.4 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 48k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
219.84/219.91 c 220s| 54800 | 223 | 1225k| 21.4 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 48k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
220.14/220.21 c 220s| 54900 | 216 | 1226k| 21.4 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 48k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
220.44/220.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
220.44/220.59 c 221s| 55000 | 220 | 1229k| 21.4 | 27M| 51 | 37 | 579 | 12k| 579 |2655 | 10 | 48k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
220.74/220.85 c 221s| 55100 | 217 | 1230k| 21.4 | 27M| 51 | 37 | 579 | 12k| 579 |2655 | 10 | 49k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
221.04/221.19 c 221s| 55200 | 211 | 1233k| 21.4 | 27M| 51 | 27 | 579 | 12k| 579 |2655 | 10 | 49k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
221.35/221.47 c 221s| 55300 | 211 | 1234k| 21.4 | 27M| 51 | - | 579 | 12k| 0 | 0 | 10 | 49k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
221.75/221.83 c 222s| 55400 | 207 | 1236k| 21.4 | 27M| 51 | - | 579 | 12k| 0 | 0 | 10 | 49k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
222.04/222.19 c 222s| 55500 | 200 | 1239k| 21.4 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 49k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
222.44/222.54 c 223s| 55600 | 193 | 1241k| 21.4 | 27M| 51 | 40 | 579 | 12k| 579 |2655 | 10 | 49k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
222.84/222.97 c 223s| 55700 | 194 | 1244k| 21.4 | 27M| 51 | 36 | 579 | 12k| 579 |2655 | 10 | 49k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
223.14/223.30 c 223s| 55800 | 186 | 1246k| 21.4 | 27M| 51 | 47 | 579 | 12k| 579 |2655 | 10 | 49k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
223.54/223.68 c 224s| 55900 | 180 | 1248k| 21.4 | 27M| 51 | - | 579 | 12k| 0 | 0 | 10 | 49k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
223.84/223.98 c 224s| 56000 | 176 | 1250k| 21.4 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 49k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
224.24/224.35 c 224s| 56100 | 166 | 1253k| 21.4 | 27M| 51 | 39 | 579 | 12k| 579 |2655 | 10 | 50k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
224.54/224.68 c 225s| 56200 | 156 | 1254k| 21.4 | 27M| 51 | 27 | 579 | 12k| 579 |2655 | 10 | 50k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
224.94/225.00 c 225s| 56300 | 151 | 1257k| 21.4 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 50k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
225.24/225.34 c 225s| 56400 | 146 | 1259k| 21.4 | 27M| 51 | 40 | 579 | 12k| 579 |2655 | 10 | 50k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
225.54/225.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
225.54/225.67 c 226s| 56500 | 141 | 1261k| 21.4 | 27M| 51 | - | 579 | 12k| 0 | 0 | 10 | 50k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
225.94/226.03 c 226s| 56600 | 138 | 1263k| 21.4 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 50k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
226.24/226.35 c 226s| 56700 | 133 | 1265k| 21.4 | 27M| 51 | 30 | 579 | 12k| 579 |2655 | 10 | 50k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
226.65/226.70 c 227s| 56800 | 124 | 1267k| 21.4 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 50k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
226.94/227.01 c 227s| 56900 | 115 | 1269k| 21.4 | 27M| 51 | 31 | 579 | 12k| 579 |2655 | 10 | 50k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
227.24/227.36 c 227s| 57000 | 112 | 1271k| 21.4 | 27M| 51 | 30 | 579 | 12k| 579 |2655 | 10 | 50k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
227.64/227.72 c 228s| 57100 | 106 | 1273k| 21.4 | 27M| 51 | 40 | 579 | 12k| 579 |2655 | 10 | 50k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
227.94/228.01 c 228s| 57200 | 92 | 1274k| 21.4 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 51k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
228.24/228.32 c 228s| 57300 | 75 | 1276k| 21.4 | 27M| 51 | - | 579 | 12k| 0 | 0 | 10 | 51k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
228.54/228.65 c 229s| 57400 | 74 | 1278k| 21.4 | 27M| 51 | - | 579 | 12k| 579 |2655 | 10 | 51k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
228.94/229.05 c 229s| 57500 | 72 | 1281k| 21.4 | 27M| 51 | 22 | 579 | 12k| 579 |2655 | 10 | 51k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
229.24/229.33 c 229s| 57600 | 46 | 1282k| 21.4 | 26M| 51 | 38 | 579 | 12k| 579 |2655 | 10 | 51k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
229.54/229.60 c 230s| 57700 | 8 | 1283k| 21.3 | 25M| 51 | - | 579 | 10k| 579 |2655 | 10 | 51k| 0 | 1.500000e-01 | 2.000000e+00 |1233.33%
229.54/229.63 c
229.54/229.63 c SCIP Status : problem is solved [optimal solution found]
229.54/229.63 c Solving Time (sec) : 229.63
229.54/229.63 c Solving Nodes : 57707 (total of 60112 nodes in 2 runs)
229.54/229.63 c Primal Bound : +2.00000000000000e+00 (35 solutions)
229.54/229.63 c Dual Bound : +2.00000000000000e+00
229.54/229.63 c Gap : 0.00 %
229.54/229.63 s OPTIMUM FOUND
229.54/229.63 v -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210
229.54/229.63 v -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189
229.54/229.63 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
229.54/229.63 v -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
229.54/229.63 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 -x126
229.54/229.63 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
229.54/229.63 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
229.54/229.63 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
229.54/229.63 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
229.54/229.63 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
229.54/229.63 v -x1
229.54/229.63 c SCIP Status : problem is solved [optimal solution found]
229.54/229.63 c Total Time : 229.63
229.54/229.63 c solving : 229.63
229.54/229.63 c presolving : 0.48 (included in solving)
229.54/229.63 c reading : 0.01 (included in solving)
229.54/229.63 c copying : 0.73 (24 #copies) (minimal 0.01, maximal 0.05, average 0.03)
229.54/229.63 c Original Problem :
229.54/229.63 c Problem name : HOME/instance-3717716-1338201013.wbo
229.54/229.63 c Variables : 2938 (2938 binary, 0 integer, 0 implicit integer, 0 continuous)
229.54/229.63 c Constraints : 2708 initial, 2708 maximal
229.54/229.63 c Objective sense : minimize
229.54/229.63 c Presolved Problem :
229.54/229.63 c Problem name : t_HOME/instance-3717716-1338201013.wbo
229.54/229.63 c Variables : 579 (405 binary, 0 integer, 174 implicit integer, 0 continuous)
229.54/229.63 c Constraints : 4415 initial, 13082 maximal
229.54/229.63 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
229.54/229.63 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
229.54/229.63 c trivial : 0.01 0.00 4861 0 0 0 0 0 0 0 0
229.54/229.63 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
229.54/229.63 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
229.54/229.63 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
229.54/229.63 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
229.54/229.63 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
229.54/229.63 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
229.54/229.63 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
229.54/229.63 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
229.54/229.63 c probing : 0.01 0.00 0 0 0 0 0 0 0 0 0
229.54/229.63 c varbound : 0.00 0.00 0 0 0 0 0 0 0 0 0
229.54/229.63 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 1
229.54/229.63 c setppc : 0.00 0.00 0 0 0 0 0 108 0 0 0
229.54/229.63 c linear : 0.13 0.00 196 0 0 2912 0 2667 0 9 0
229.54/229.63 c indicator : 0.00 0.00 9 0 0 0 0 205 0 0 0
229.54/229.63 c logicor : 0.28 0.01 0 0 0 0 0 180 0 0 0
229.54/229.63 c bounddisjunction : 0.00 0.00 0 0 0 0 0 0 0 0 0
229.54/229.63 c root node : - - 5160 - - 5160 - - - - -
229.54/229.63 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
229.54/229.63 c integral : 0 0 0 0 31256 0 31370 0 0 0 0 0 62500
229.54/229.63 c varbound : 174 174 1 197625 0 0 0 715 0 109810 0 0 0
229.54/229.63 c knapsack : 3 3 1 198381 1 0 29875 15354 481 95312 0 0 0
229.54/229.63 c setppc : 41 41 1 197928 1 0 21759 394248 3781 310411 0 0 0
229.54/229.63 c linear : 178 178 7 205749 1 0 1494 52143 579 80409 0 0 0
229.54/229.63 c indicator : 174 174 0 204507 5 0 58 555 0 41759 0 0 0
229.54/229.63 c logicor : 3786+ 12714 1 143594 4 0 4 135114 3614 408111 1 0 0
229.54/229.63 c bounddisjunction : 59+ 181 0 47477 0 0 0 132 58 368 0 0 0
229.54/229.63 c countsols : 0 0 0 0 4 0 58 0 0 0 0 0 0
229.54/229.63 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
229.54/229.63 c integral : 0.88 0.00 0.00 0.00 0.28 0.00 0.60 0.00
229.54/229.63 c varbound : 0.45 0.00 0.00 0.45 0.00 0.00 0.00 0.00
229.54/229.63 c knapsack : 0.57 0.00 0.00 0.43 0.00 0.00 0.11 0.03
229.54/229.63 c setppc : 1.76 0.00 0.00 1.33 0.00 0.00 0.06 0.37
229.54/229.63 c linear : 1.99 0.00 0.00 1.55 0.00 0.00 0.36 0.07
229.54/229.63 c indicator : 0.76 0.00 0.00 0.70 0.00 0.00 0.05 0.00
229.54/229.63 c logicor : 6.10 0.01 0.00 5.90 0.00 0.00 0.00 0.19
229.54/229.63 c bounddisjunction : 0.19 0.00 0.00 0.18 0.00 0.00 0.00 0.00
229.54/229.63 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
229.54/229.63 c Propagators : #Propagate #ResProp Cutoffs DomReds
229.54/229.63 c rootredcost : 14 0 0 1522
229.54/229.63 c pseudoobj : 241341 517 33 27337
229.54/229.63 c vbounds : 14191 1476 3 297643
229.54/229.63 c redcost : 38643 0 0 390949
229.54/229.63 c probing : 0 0 0 0
229.54/229.63 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
229.54/229.63 c rootredcost : 0.20 0.00 0.00 0.20 0.00
229.54/229.63 c pseudoobj : 0.46 0.00 0.00 0.44 0.02
229.54/229.63 c vbounds : 1.16 0.00 0.00 1.15 0.00
229.54/229.63 c redcost : 1.36 0.00 0.00 1.36 0.00
229.54/229.63 c probing : 0.01 0.00 0.01 0.00 0.00
229.54/229.63 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
229.54/229.63 c propagation : 0.54 8549 8476 35118 28.2 276 18.3 -
229.54/229.63 c infeasible LP : 2.42 14451 14412 81683 34.6 110 19.6 0
229.54/229.63 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
229.54/229.63 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
229.54/229.63 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
229.54/229.63 c applied globally : - - - 51537 28.3 - - -
229.54/229.63 c applied locally : - - - 11 61.7 - - -
229.54/229.63 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
229.54/229.63 c cut pool : 0.00 0 - - 0 - (maximal pool size: 300)
229.54/229.63 c closecuts : 0.00 0.00 0 0 0 0 0
229.54/229.63 c impliedbounds : 0.00 0.00 7 0 0 0 0
229.54/229.63 c intobj : 0.00 0.00 0 0 0 0 0
229.54/229.63 c gomory : 0.43 0.00 7 0 0 250 0
229.54/229.63 c cgmip : 0.00 0.00 0 0 0 0 0
229.54/229.63 c strongcg : 0.61 0.00 7 0 0 3196 0
229.54/229.63 c cmir : 0.37 0.00 7 0 0 1 0
229.54/229.63 c flowcover : 0.55 0.00 7 0 0 1 0
229.54/229.63 c clique : 0.01 0.00 2 0 0 0 0
229.54/229.63 c zerohalf : 0.00 0.00 0 0 0 0 0
229.54/229.63 c mcf : 0.00 0.00 2 0 0 0 0
229.54/229.63 c oddcycle : 0.00 0.00 0 0 0 0 0
229.54/229.63 c rapidlearning : 0.59 0.00 1 0 0 0 0
229.54/229.63 c Pricers : ExecTime SetupTime Calls Vars
229.54/229.63 c problem variables: 0.00 - 0 0
229.54/229.63 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
229.54/229.63 c inference : 0.21 0.00 31250 0 0 0 0 62500
229.54/229.63 c relpscost : 0.00 0.00 0 0 0 0 0 0
229.54/229.63 c pscost : 0.00 0.00 0 0 0 0 0 0
229.54/229.63 c mostinf : 0.00 0.00 0 0 0 0 0 0
229.54/229.63 c leastinf : 0.00 0.00 0 0 0 0 0 0
229.54/229.63 c fullstrong : 0.00 0.00 0 0 0 0 0 0
229.54/229.63 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
229.54/229.63 c random : 0.00 0.00 0 0 0 0 0 0
229.54/229.63 c Primal Heuristics : ExecTime SetupTime Calls Found
229.54/229.63 c LP solutions : 0.00 - - 4
229.54/229.63 c pseudo solutions : 0.00 - - 0
229.54/229.63 c feaspump : 0.01 0.00 0 0
229.54/229.63 c oneopt : 0.06 0.00 14 0
229.54/229.63 c indoneopt : 0.31 0.00 19 5
229.54/229.63 c fracdiving : 1.53 0.00 40 0
229.54/229.63 c linesearchdiving : 0.59 0.00 40 0
229.54/229.63 c guideddiving : 2.16 0.00 40 2
229.54/229.63 c veclendiving : 1.26 0.00 40 2
229.54/229.63 c pscostdiving : 1.21 0.00 41 2
229.54/229.63 c rootsoldiving : 1.46 0.00 21 2
229.54/229.63 c objpscostdiving : 1.71 0.00 21 0
229.54/229.63 c crossover : 2.52 0.00 18 2
229.54/229.63 c coefdiving : 24.49 0.00 574 1
229.54/229.63 c smallcard : 0.00 0.00 0 0
229.54/229.63 c trivial : 0.01 0.00 2 1
229.54/229.63 c shiftandpropagate: 0.00 0.00 0 0
229.54/229.63 c simplerounding : 0.23 0.00 31289 1
229.54/229.63 c zirounding : 0.23 0.00 1000 0
229.54/229.63 c rounding : 0.34 0.00 2456 0
229.54/229.63 c shifting : 0.71 0.00 1682 3
229.54/229.63 c intshifting : 0.00 0.00 0 0
229.54/229.63 c twoopt : 0.00 0.00 0 0
229.54/229.63 c indtwoopt : 0.00 0.00 0 0
229.54/229.63 c fixandinfer : 0.00 0.00 0 0
229.54/229.63 c clique : 0.00 0.00 0 0
229.54/229.63 c indrounding : 5.43 0.00 31250 8
229.54/229.63 c indcoefdiving : 0.00 0.00 0 0
229.54/229.63 c nlpdiving : 0.00 0.00 0 0
229.54/229.63 c intdiving : 0.00 0.00 0 0
229.54/229.63 c actconsdiving : 0.00 0.00 0 0
229.54/229.63 c octane : 0.00 0.00 0 0
229.54/229.63 c rens : 0.11 0.00 1 0
229.54/229.63 c rins : 0.00 0.00 0 0
229.54/229.63 c localbranching : 0.00 0.00 0 0
229.54/229.63 c mutation : 0.00 0.00 0 0
229.54/229.63 c dins : 0.00 0.00 0 0
229.54/229.63 c vbounds : 0.00 0.00 0 0
229.54/229.63 c undercover : 0.00 0.00 0 0
229.54/229.63 c subnlp : 0.05 0.00 0 0
229.54/229.63 c trysol : 0.09 0.00 3 1
229.54/229.63 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
229.54/229.63 c primal LP : 0.00 2 0 0.00 - 0.00 2
229.54/229.63 c dual LP : 142.47 61777 1171054 21.69 8219.55 3.43 7775
229.54/229.63 c lex dual LP : 0.00 0 0 0.00 -
229.54/229.63 c barrier LP : 0.00 0 0 0.00 - 0.00 0
229.54/229.63 c diving/probing LP: 24.86 24168 112343 4.65 4519.50
229.54/229.63 c strong branching : 0.00 0 0 0.00 -
229.54/229.63 c (at root node) : - 0 0 0.00 -
229.54/229.63 c conflict analysis: 0.00 0 0 0.00 -
229.54/229.63 c B&B Tree :
229.54/229.63 c number of runs : 2
229.54/229.63 c nodes : 57707
229.54/229.63 c nodes (total) : 60112
229.54/229.63 c nodes left : 0
229.54/229.63 c max depth : 51
229.54/229.63 c max depth (total): 51
229.54/229.63 c backtracks : 8869 (15.4%)
229.54/229.63 c delayed cutoffs : 1852
229.54/229.63 c repropagations : 38804 (230088 domain reductions, 1747 cutoffs)
229.54/229.63 c avg switch length: 3.93
229.54/229.63 c switching time : 7.73
229.54/229.63 c Solution :
229.54/229.63 c Solutions found : 35 (20 improvements)
229.54/229.63 c First Solution : +1.35864000000000e+05 (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
229.54/229.63 c Primal Bound : +2.00000000000000e+00 (in run 2, after 41135 nodes, 169.72 seconds, depth 30, found by <relaxation>)
229.54/229.63 c Dual Bound : +2.00000000000000e+00
229.54/229.63 c Gap : 0.00 %
229.54/229.63 c Root Dual Bound : +0.00000000000000e+00
229.54/229.63 c Root Iterations : 485
229.54/229.66 c Time complete: 229.6.
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-3717716-1338201013/watcher-3717716-1338201013 -o /tmp/evaluation-result-3717716-1338201013/solver-3717716-1338201013 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717716-1338201013.wbo -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.11 2.04 2.01 3/177 2688
/proc/meminfo: memFree=30904820/32873844 swapFree=7620/7620
[pid=2688] ppid=2686 vsize=10560 CPUtime=0 cores=0,2,4,6
/proc/2688/stat : 2688 (scip-2.1.1.4fix) R 2686 2688 1906 0 -1 4202496 1374 0 0 0 0 0 0 0 20 0 1 0 286225632 10813440 1328 33554432000 4194304 10173063 140734463035696 140733988781560 7545739 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2688/statm: 2640 1339 416 1460 0 1171 0
[startup+0.101512 s]
/proc/loadavg: 2.11 2.04 2.01 3/177 2688
/proc/meminfo: memFree=30904820/32873844 swapFree=7620/7620
[pid=2688] ppid=2686 vsize=38240 CPUtime=0.09 cores=0,2,4,6
/proc/2688/stat : 2688 (scip-2.1.1.4fix) R 2686 2688 1906 0 -1 4202496 8304 0 0 0 5 4 0 0 20 0 1 0 286225632 39157760 8001 33554432000 4194304 10173063 140734463035696 140733988781560 5284403 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2688/statm: 9560 8001 618 1460 0 8091 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38240
[startup+0.200343 s]
/proc/loadavg: 2.11 2.04 2.01 3/177 2688
/proc/meminfo: memFree=30904820/32873844 swapFree=7620/7620
[pid=2688] ppid=2686 vsize=50020 CPUtime=0.19 cores=0,2,4,6
/proc/2688/stat : 2688 (scip-2.1.1.4fix) R 2686 2688 1906 0 -1 4202496 11411 0 0 0 14 5 0 0 20 0 1 0 286225632 51220480 10991 33554432000 4194304 10173063 140734463035696 140733988781560 4412235 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2688/statm: 12505 10991 753 1460 0 11036 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 50020
[startup+0.300325 s]
/proc/loadavg: 2.11 2.04 2.01 3/177 2688
/proc/meminfo: memFree=30904820/32873844 swapFree=7620/7620
[pid=2688] ppid=2686 vsize=50020 CPUtime=0.28 cores=0,2,4,6
/proc/2688/stat : 2688 (scip-2.1.1.4fix) R 2686 2688 1906 0 -1 4202496 11502 0 0 0 23 5 0 0 20 0 1 0 286225632 51220480 11073 33554432000 4194304 10173063 140734463035696 140733988781560 4289447 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2688/statm: 12505 11080 775 1460 0 11036 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 50020
[startup+0.700283 s]
/proc/loadavg: 2.11 2.04 2.01 3/177 2688
/proc/meminfo: memFree=30904820/32873844 swapFree=7620/7620
[pid=2688] ppid=2686 vsize=87156 CPUtime=0.69 cores=0,2,4,6
/proc/2688/stat : 2688 (scip-2.1.1.4fix) R 2686 2688 1906 0 -1 4202496 20392 0 0 0 57 12 0 0 20 0 1 0 286225632 89247744 19958 33554432000 4194304 10173063 140734463035696 140734463031656 8963895 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2688/statm: 21789 19958 807 1460 0 20320 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 87156
[startup+1.50027 s]
/proc/loadavg: 2.10 2.04 2.01 3/178 2689
/proc/meminfo: memFree=30826180/32873844 swapFree=7620/7620
[pid=2688] ppid=2686 vsize=88000 CPUtime=1.49 cores=0,2,4,6
/proc/2688/stat : 2688 (scip-2.1.1.4fix) R 2686 2688 1906 0 -1 4202496 20823 0 0 0 108 41 0 0 20 0 1 0 286225632 90112000 20368 33554432000 4194304 10173063 140734463035696 140734463030856 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2688/statm: 22000 20368 829 1460 0 20531 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 88000
[startup+3.10029 s]
/proc/loadavg: 2.10 2.04 2.01 3/178 2689
/proc/meminfo: memFree=30825164/32873844 swapFree=7620/7620
[pid=2688] ppid=2686 vsize=88000 CPUtime=3.09 cores=0,2,4,6
/proc/2688/stat : 2688 (scip-2.1.1.4fix) R 2686 2688 1906 0 -1 4202496 20985 0 0 0 219 90 0 0 20 0 1 0 286225632 90112000 20530 33554432000 4194304 10173063 140734463035696 140734463030616 8963895 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2688/statm: 22000 20530 832 1460 0 20531 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 88000
[startup+6.30028 s]
/proc/loadavg: 2.10 2.04 2.01 3/178 2689
/proc/meminfo: memFree=30824296/32873844 swapFree=7620/7620
[pid=2688] ppid=2686 vsize=88000 CPUtime=6.29 cores=0,2,4,6
/proc/2688/stat : 2688 (scip-2.1.1.4fix) R 2686 2688 1906 0 -1 4202496 21842 0 0 0 527 102 0 0 20 0 1 0 286225632 90112000 20686 33554432000 4194304 10173063 140734463035696 140734463028872 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2688/statm: 22000 20686 843 1460 0 20531 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 88000
[startup+12.7003 s]
/proc/loadavg: 2.08 2.04 2.01 3/178 2689
/proc/meminfo: memFree=30824064/32873844 swapFree=7620/7620
[pid=2688] ppid=2686 vsize=88000 CPUtime=12.68 cores=0,2,4,6
/proc/2688/stat : 2688 (scip-2.1.1.4fix) R 2686 2688 1906 0 -1 4202496 21881 0 0 0 1149 119 0 0 20 0 1 0 286225632 90112000 20725 33554432000 4194304 10173063 140734463035696 140734463028952 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2688/statm: 22000 20725 847 1460 0 20531 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 88000
[startup+25.5004 s]
/proc/loadavg: 2.07 2.03 2.00 3/178 2689
/proc/meminfo: memFree=30812044/32873844 swapFree=7620/7620
[pid=2688] ppid=2686 vsize=99332 CPUtime=25.48 cores=0,2,4,6
/proc/2688/stat : 2688 (scip-2.1.1.4fix) R 2686 2688 1906 0 -1 4202496 27039 0 0 0 2363 185 0 0 20 0 1 0 286225632 101715968 23561 33554432000 4194304 10173063 140734463035696 140734463029416 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2688/statm: 24833 23561 877 1460 0 23364 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 99332
[startup+51.1003 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 2690
/proc/meminfo: memFree=30810488/32873844 swapFree=7620/7620
[pid=2688] ppid=2686 vsize=99332 CPUtime=51.08 cores=0,2,4,6
/proc/2688/stat : 2688 (scip-2.1.1.4fix) R 2686 2688 1906 0 -1 4202496 34278 0 0 0 4735 373 0 0 20 0 1 0 286225632 101715968 23862 33554432000 4194304 10173063 140734463035696 140734463032168 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2688/statm: 24833 23862 884 1460 0 23364 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 99332
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 2690
/proc/meminfo: memFree=30806696/32873844 swapFree=7620/7620
[pid=2688] ppid=2686 vsize=100316 CPUtime=102.26 cores=0,2,4,6
/proc/2688/stat : 2688 (scip-2.1.1.4fix) R 2686 2688 1906 0 -1 4202496 48934 0 0 0 9306 920 0 0 20 0 1 0 286225632 102723584 24374 33554432000 4194304 10173063 140734463035696 140734463028952 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2688/statm: 25079 24374 884 1460 0 23610 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 100316
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 2690
/proc/meminfo: memFree=30806508/32873844 swapFree=7620/7620
[pid=2688] ppid=2686 vsize=99332 CPUtime=162.25 cores=0,2,4,6
/proc/2688/stat : 2688 (scip-2.1.1.4fix) R 2686 2688 1906 0 -1 4202496 54976 0 0 0 14779 1446 0 0 20 0 1 0 286225632 101715968 24128 33554432000 4194304 10173063 140734463035696 140734463032184 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2688/statm: 24833 24128 884 1460 0 23364 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 99332
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2690
/proc/meminfo: memFree=30805888/32873844 swapFree=7620/7620
[pid=2688] ppid=2686 vsize=99332 CPUtime=222.25 cores=0,2,4,6
/proc/2688/stat : 2688 (scip-2.1.1.4fix) R 2686 2688 1906 0 -1 4202496 109946 0 0 0 20248 1977 0 0 20 0 1 0 286225632 101715968 24128 33554432000 4194304 10173063 140734463035696 140734463029000 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2688/statm: 24833 24128 884 1460 0 23364 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 99332
Solver just ended. Dumping a history of the last processes samples
[startup+224 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2690
/proc/meminfo: memFree=30805888/32873844 swapFree=7620/7620
[pid=2688] ppid=2686 vsize=99332 CPUtime=223.94 cores=0,2,4,6
/proc/2688/stat : 2688 (scip-2.1.1.4fix) R 2686 2688 1906 0 -1 4202496 109946 0 0 0 20405 1989 0 0 20 0 1 0 286225632 101715968 24128 33554432000 4194304 10173063 140734463035696 140734463028952 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2688/statm: 24833 24128 884 1460 0 23364 0
Current children cumulated CPU time (s) 223.94
Current children cumulated vsize (KiB) 99332
[startup+227.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2690
/proc/meminfo: memFree=30805888/32873844 swapFree=7620/7620
[pid=2688] ppid=2686 vsize=99332 CPUtime=227.14 cores=0,2,4,6
/proc/2688/stat : 2688 (scip-2.1.1.4fix) R 2686 2688 1906 0 -1 4202496 109946 0 0 0 20691 2023 0 0 20 0 1 0 286225632 101715968 24128 33554432000 4194304 10173063 140734463035696 140734463032232 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2688/statm: 24833 24128 884 1460 0 23364 0
Current children cumulated CPU time (s) 227.14
Current children cumulated vsize (KiB) 99332
[startup+228.8 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2690
/proc/meminfo: memFree=30805888/32873844 swapFree=7620/7620
[pid=2688] ppid=2686 vsize=99332 CPUtime=228.75 cores=0,2,4,6
/proc/2688/stat : 2688 (scip-2.1.1.4fix) R 2686 2688 1906 0 -1 4202496 109946 0 0 0 20829 2046 0 0 20 0 1 0 286225632 101715968 24128 33554432000 4194304 10173063 140734463035696 140734463031320 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2688/statm: 24833 24128 884 1460 0 23364 0
Current children cumulated CPU time (s) 228.75
Current children cumulated vsize (KiB) 99332
[startup+229.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2690
/proc/meminfo: memFree=30805888/32873844 swapFree=7620/7620
[pid=2688] ppid=2686 vsize=99332 CPUtime=229.14 cores=0,2,4,6
/proc/2688/stat : 2688 (scip-2.1.1.4fix) R 2686 2688 1906 0 -1 4202496 109946 0 0 0 20862 2052 0 0 20 0 1 0 286225632 101715968 24128 33554432000 4194304 10173063 140734463035696 140734463031320 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2688/statm: 24833 24128 884 1460 0 23364 0
Current children cumulated CPU time (s) 229.14
Current children cumulated vsize (KiB) 99332
[startup+229.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2690
/proc/meminfo: memFree=30805888/32873844 swapFree=7620/7620
[pid=2688] ppid=2686 vsize=99332 CPUtime=229.54 cores=0,2,4,6
/proc/2688/stat : 2688 (scip-2.1.1.4fix) R 2686 2688 1906 0 -1 4202496 109946 0 0 0 20896 2058 0 0 20 0 1 0 286225632 101715968 24128 33554432000 4194304 10173063 140734463035696 140734463029336 8963895 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2688/statm: 24833 24128 884 1460 0 23364 0
Current children cumulated CPU time (s) 229.54
Current children cumulated vsize (KiB) 99332
Child status: 0
Real time (s): 229.66
CPU time (s): 229.61
CPU user time (s): 209.013
CPU system time (s): 20.5969
CPU usage (%): 99.9781
Max. virtual memory (cumulated for all children) (KiB): 140216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 209.013
system time used= 20.5969
maximum resident set size= 134672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109950
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= 25
involuntary context switches= 286
runsolver used 0.309952 second user time and 0.995848 second system time
The end