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-3717447-1338188705.wbo>
0.00/0.01 c original problem has 2008 variables (2008 bin, 0 int, 0 impl, 0 cont) and 2708 constraints
0.00/0.01 c problem read in 0.01
0.00/0.03 c presolving:
0.00/0.05 c (round 1) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 136 impls, 7 clqs
0.06/0.09 c (round 2) 53 del vars, 121 del conss, 0 add conss, 1777 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 136 impls, 7 clqs
0.09/0.10 c (round 3) 118 del vars, 162 del conss, 0 add conss, 1789 chg bounds, 82 chg sides, 0 chg coeffs, 0 upgd conss, 136 impls, 7 clqs
0.09/0.12 c (round 4) 130 del vars, 162 del conss, 0 add conss, 1789 chg bounds, 82 chg sides, 0 chg coeffs, 899 upgd conss, 136 impls, 7 clqs
0.09/0.13 c (round 5) 130 del vars, 177 del conss, 0 add conss, 1789 chg bounds, 82 chg sides, 0 chg coeffs, 899 upgd conss, 136 impls, 7 clqs
0.09/0.14 c (0.1s) probing: 51/1943 (2.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.15 c presolving (6 rounds):
0.09/0.15 c 130 deleted vars, 177 deleted constraints, 0 added constraints, 1789 tightened bounds, 0 added holes, 82 changed sides, 0 changed coefficients
0.09/0.15 c 1848 implications, 7 cliques
0.09/0.15 c presolved problem has 3655 variables (1943 bin, 0 int, 1712 impl, 0 cont) and 4308 constraints
0.09/0.15 c 43 constraints of type <setppc>
0.09/0.15 c 1712 constraints of type <linear>
0.09/0.15 c 1712 constraints of type <indicator>
0.09/0.15 c 841 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.13
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 2.1.1.4
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1797
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 13950
0.09/0.15 c
0.09/0.15 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.15 c # [type: int, range: [1,2], default: 1]
0.09/0.15 c timing/clocktype = 2
0.09/0.15 c
0.09/0.15 c # belongs reading time to solving time?
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c timing/reading = TRUE
0.09/0.15 c
0.09/0.15 c # force restart if we have a max FS instance and gap is 1?
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/indicator/forcerestart = TRUE
0.09/0.15 c
0.09/0.15 c # priority of branching rule <inference>
0.09/0.15 c # [type: int, range: [-536870912,536870911], default: 1000]
0.09/0.15 c branching/inference/priority = 1000000
0.09/0.15 c
0.09/0.15 c # frequency offset for calling primal heuristic <coefdiving>
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1]
0.09/0.15 c heuristics/coefdiving/freqofs = 0
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c heuristics/shiftandpropagate/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c heuristics/undercover/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <indrounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c heuristics/indrounding/freq = 1
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.19/0.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.20 c 0.2s| 1 | 0 | 113 | - | 14M| 0 | 28 |3655 |4308 |3655 |4308 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.50/0.53 c 0.5s| 1 | 0 | 579 | - | 14M| 0 | 37 |3655 |4308 |3655 |4313 | 5 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.65 c 0.7s| 1 | 0 | 604 | - | 14M| 0 | 39 |3655 |4308 |3655 |4315 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.78 c 0.8s| 1 | 0 | 645 | - | 15M| 0 | 42 |3655 |4308 |3655 |4317 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf
0.99/1.03 c 1.0s| 1 | 0 | 672 | - | 15M| 0 | 47 |3655 |4308 |3655 |4318 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf
1.39/1.42 c 1.4s| 1 | 0 | 697 | - | 15M| 0 | 50 |3655 |4308 |3655 |4319 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
1.79/1.80 c 1.8s| 1 | 0 | 719 | - | 16M| 0 | 52 |3655 |4308 |3655 |4320 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
2.09/2.17 o 452
2.09/2.17 c c 2.2s| 1 | 0 | 1700 | - | 16M| 0 | - |3655 |4308 |3655 |4320 | 12 | 0 | 0 | 0.000000e+00 | 4.520000e+02 | Inf
2.20/2.26 c 2.3s| 1 | 0 | 1700 | - | 16M| 0 | 52 |3655 |4308 |3655 |4320 | 12 | 0 | 0 | 0.000000e+00 | 4.520000e+02 | Inf
2.20/2.27 o 193
2.20/2.27 c 6 2.3s| 1 | 0 | 1700 | - | 16M| 0 | 52 |3655 |4308 |3655 |4320 | 12 | 0 | 0 | 0.000000e+00 | 1.930000e+02 | Inf
2.59/2.65 c 2.6s| 1 | 0 | 1728 | - | 16M| 0 | 47 |3655 |4308 |3655 |4321 | 13 | 0 | 0 | 0.000000e+00 | 1.930000e+02 | Inf
2.59/2.65 c 2.7s| 1 | 2 | 1728 | - | 16M| 0 | 47 |3655 |4308 |3655 |4321 | 13 | 0 | 0 | 0.000000e+00 | 1.930000e+02 | Inf
2.68/2.79 o 82
2.68/2.79 c p 2.8s| 6 | 7 | 2523 | 355.2 | 16M| 5 | - |3655 |4308 |3655 |4317 | 13 | 0 | 0 | 0.000000e+00 | 8.200000e+01 | Inf
4.09/4.13 o 37
4.09/4.13 c o 4.1s| 16 | 17 | 9968 | 614.7 | 17M| 5 | 0 |3655 |3967 |3655 |4317 | 13 | 5 | 0 | 0.000000e+00 | 3.700000e+01 | Inf
7.19/7.22 c 7.2s| 100 | 79 | 19027 | 184.6 | 17M| 20 | 33 |3655 |3301 |3655 |4317 | 13 | 95 | 0 | 0.000000e+00 | 3.700000e+01 | Inf
8.18/8.29 o 30
8.18/8.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.18/8.29 c * 8.3s| 143 | 94 | 22086 | 150.3 | 18M| 20 | - |3655 |3351 |3655 |4317 | 13 | 145 | 0 | 0.000000e+00 | 3.000000e+01 | Inf
9.28/9.39 c 9.4s| 200 | 120 | 25899 | 126.4 | 18M| 20 | 20 |3655 |3274 |3655 |4317 | 13 | 206 | 0 | 0.000000e+00 | 3.000000e+01 | Inf
10.19/10.27 o 24
10.19/10.27 c 510.3s| 269 | 126 | 28468 | 103.4 | 18M| 20 | 26 |3655 |3321 |3655 |4317 | 13 | 254 | 0 | 0.000000e+00 | 2.400000e+01 | Inf
10.88/10.95 c 11.0s| 300 | 139 | 31523 | 102.9 | 18M| 20 | - |3655 |3257 | 0 | 0 | 13 | 286 | 0 | 0.000000e+00 | 2.400000e+01 | Inf
11.79/11.85 c 11.9s| 400 | 162 | 34621 | 84.9 | 19M| 23 | - |3655 |3319 |3655 |4317 | 13 | 357 | 0 | 0.000000e+00 | 2.400000e+01 | Inf
12.10/12.11 o 18
12.10/12.11 c c12.1s| 439 | 140 | 35410 | 79.1 | 19M| 23 | - |3655 |3356 |3655 |4317 | 13 | 404 | 0 | 0.000000e+00 | 1.800000e+01 | Inf
12.89/12.97 c 13.0s| 500 | 144 | 37623 | 73.9 | 19M| 23 | 24 |3655 |3317 |3655 |4317 | 13 | 491 | 0 | 0.000000e+00 | 1.800000e+01 | Inf
13.89/13.94 c 13.9s| 600 | 151 | 41060 | 67.3 | 19M| 25 | 25 |3655 |3345 |3655 |4317 | 13 | 567 | 0 | 0.000000e+00 | 1.800000e+01 | Inf
14.58/14.67 c 14.7s| 700 | 152 | 43239 | 60.8 | 19M| 26 | 21 |3655 |3394 |3655 |4317 | 13 | 651 | 0 | 0.000000e+00 | 1.800000e+01 | Inf
15.59/15.60 c 15.6s| 800 | 185 | 46663 | 57.5 | 19M| 26 | 33 |3655 |3449 |3655 |4317 | 13 | 731 | 0 | 0.000000e+00 | 1.800000e+01 | Inf
16.59/16.67 c 16.7s| 900 | 218 | 49493 | 54.2 | 19M| 29 | 25 |3655 |3491 |3655 |4317 | 13 | 812 | 0 | 0.000000e+00 | 1.800000e+01 | Inf
17.49/17.53 o 4
17.49/17.53 c *17.5s| 997 | 114 | 51877 | 51.3 | 18M| 29 | - |3655 |3617 |3655 |4317 | 13 | 963 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
17.49/17.53 c Forcing restart, since 1541 binary variables among 1712 have been fixed.
17.49/17.54 c (run 1, node 998) performing user restart
17.49/17.54 c
17.49/17.54 c (restart) converted 1721 cuts from the global cut pool into linear constraints
17.49/17.54 c
17.49/17.55 c presolving:
17.49/17.58 c (round 1) 3336 del vars, 1905 del conss, 0 add conss, 228 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1946 impls, 21 clqs
17.59/17.64 c (round 2) 3339 del vars, 2026 del conss, 0 add conss, 231 chg bounds, 35 chg sides, 0 chg coeffs, 1 upgd conss, 1948 impls, 22 clqs
17.59/17.67 c (round 3) 3342 del vars, 2031 del conss, 0 add conss, 231 chg bounds, 35 chg sides, 0 chg coeffs, 1 upgd conss, 1948 impls, 22 clqs
17.59/17.70 c (round 4) 3342 del vars, 2031 del conss, 0 add conss, 231 chg bounds, 35 chg sides, 0 chg coeffs, 1638 upgd conss, 1948 impls, 22 clqs
17.69/17.72 c (round 5) 3342 del vars, 2089 del conss, 0 add conss, 231 chg bounds, 35 chg sides, 1 chg coeffs, 1638 upgd conss, 1948 impls, 22 clqs
17.69/17.75 c presolving (6 rounds):
17.69/17.75 c 3342 deleted vars, 2089 deleted constraints, 0 added constraints, 231 tightened bounds, 0 added holes, 35 changed sides, 1 changed coefficients
17.69/17.75 c 1948 implications, 22 cliques
17.69/17.75 c presolved problem has 313 variables (272 bin, 0 int, 41 impl, 0 cont) and 3249 constraints
17.69/17.75 c 41 constraints of type <varbound>
17.69/17.75 c 10 constraints of type <knapsack>
17.69/17.75 c 22 constraints of type <setppc>
17.69/17.75 c 41 constraints of type <linear>
17.69/17.75 c 41 constraints of type <indicator>
17.69/17.75 c 3078 constraints of type <logicor>
17.69/17.75 c 16 constraints of type <bounddisjunction>
17.69/17.75 c transformed objective value is always integral (scale: 1)
17.69/17.75 c Presolving Time: 0.33
17.69/17.75 c
17.69/17.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.69/17.76 c 17.8s| 1 | 0 | 51988 | - | 12M| 0 | 45 | 313 |3249 | 313 |2546 | 0 | 963 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
17.79/17.82 c 17.8s| 1 | 0 | 52012 | - | 13M| 0 | 49 | 313 |3249 | 313 |2550 | 4 | 963 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
17.79/17.82 c 17.8s| 1 | 2 | 52012 | - | 13M| 0 | 49 | 313 |3249 | 313 |2550 | 4 | 963 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
18.28/18.37 c 18.4s| 100 | 24 | 55988 | 50.3 | 13M| 22 | 32 | 313 |3318 | 313 |2500 | 4 |1036 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
18.69/18.71 c 18.7s| 200 | 30 | 58003 | 47.7 | 13M| 23 | 29 | 313 |3379 | 313 |2500 | 4 |1101 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
19.08/19.11 c 19.1s| 300 | 39 | 60513 | 46.0 | 13M| 25 | - | 313 |3423 | 313 |2500 | 4 |1165 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
19.49/19.52 c 19.5s| 400 | 46 | 63187 | 44.6 | 13M| 25 | 37 | 313 |3458 | 313 |2500 | 4 |1223 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
20.19/20.26 c 20.3s| 500 | 74 | 68633 | 45.3 | 13M| 25 | - | 313 |3481 | 313 |2500 | 4 |1287 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
20.49/20.54 c 20.5s| 600 | 81 | 70543 | 43.6 | 13M| 28 | 33 | 313 |3509 | 313 |2500 | 4 |1343 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
20.68/20.79 c 20.8s| 700 | 86 | 72182 | 42.0 | 13M| 30 | 28 | 313 |3541 | 313 |2500 | 4 |1392 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
20.99/21.02 c 21.0s| 800 | 88 | 73548 | 40.5 | 13M| 30 | 24 | 313 |3585 | 313 |2500 | 4 |1468 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
21.28/21.32 c 21.3s| 900 | 93 | 75542 | 39.4 | 13M| 30 | 34 | 313 |3636 | 313 |2500 | 4 |1539 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
21.68/21.71 c 21.7s| 1000 | 101 | 78230 | 38.7 | 13M| 30 | 29 | 313 |3654 | 313 |2500 | 4 |1580 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
21.89/22.00 c 22.0s| 1100 | 106 | 80235 | 37.9 | 13M| 30 | - | 313 |3697 | 313 |2500 | 4 |1647 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
22.29/22.38 c 22.4s| 1200 | 112 | 82216 | 37.0 | 13M| 30 | - | 313 |3723 | 0 | 0 | 4 |1694 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
22.68/22.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
22.68/22.71 c 22.7s| 1300 | 118 | 84062 | 36.2 | 13M| 31 | - | 313 |3783 | 313 |2500 | 4 |1777 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
22.99/23.03 c 23.0s| 1400 | 119 | 86228 | 35.6 | 13M| 31 | 46 | 313 |3827 | 313 |2500 | 4 |1852 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
23.39/23.45 c 23.4s| 1500 | 125 | 88970 | 35.3 | 13M| 33 | 33 | 313 |3902 | 313 |2500 | 4 |1936 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
23.69/23.76 c 23.8s| 1600 | 130 | 91129 | 34.8 | 13M| 33 | 34 | 313 |3920 | 313 |2500 | 4 |1986 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
24.08/24.16 c 24.2s| 1700 | 123 | 93649 | 34.4 | 13M| 33 | - | 313 |3957 | 313 |2500 | 4 |2066 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
24.48/24.52 c 24.5s| 1800 | 120 | 95800 | 33.9 | 13M| 33 | - | 313 |4005 | 313 |2500 | 4 |2140 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
24.69/24.79 c 24.8s| 1900 | 120 | 97556 | 33.4 | 14M| 33 | - | 313 |4020 | 313 |2500 | 4 |2189 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
25.09/25.10 c 25.1s| 2000 | 122 | 99541 | 32.9 | 14M| 33 | - | 313 |4038 | 313 |2500 | 4 |2234 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
25.39/25.44 c 25.4s| 2100 | 126 |101880 | 32.6 | 14M| 33 | 39 | 313 |4056 | 313 |2500 | 4 |2287 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
25.69/25.77 c 25.8s| 2200 | 128 |104035 | 32.3 | 14M| 33 | - | 313 |4091 | 313 |2500 | 4 |2351 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
25.99/26.09 c 26.1s| 2300 | 123 |105954 | 31.9 | 14M| 35 | - | 313 |4113 | 313 |2500 | 4 |2408 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
26.40/26.43 c 26.4s| 2400 | 126 |107788 | 31.5 | 14M| 36 | - | 313 |4142 | 313 |2500 | 4 |2459 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
26.68/26.76 c 26.8s| 2500 | 121 |109724 | 31.1 | 14M| 39 | 35 | 313 |4177 | 313 |2500 | 4 |2528 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
26.89/26.96 c 27.0s| 2600 | 123 |110896 | 30.6 | 14M| 39 | 28 | 313 |4271 | 313 |2500 | 4 |2646 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
27.08/27.18 c 27.2s| 2700 | 121 |112296 | 30.1 | 14M| 39 | 32 | 313 |4355 | 313 |2500 | 4 |2747 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
27.39/27.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.39/27.46 c 27.5s| 2800 | 115 |113867 | 29.8 | 14M| 39 | - | 313 |4433 | 313 |2500 | 4 |2845 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
27.69/27.75 c 27.8s| 2900 | 115 |115775 | 29.5 | 14M| 39 | - | 313 |4452 | 313 |2500 | 4 |2895 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
27.99/28.08 c 28.1s| 3000 | 119 |117903 | 29.3 | 14M| 39 | - | 313 |4495 | 0 | 0 | 4 |2956 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
28.38/28.40 c 28.4s| 3100 | 115 |120068 | 29.1 | 14M| 39 | 32 | 313 |4522 | 313 |2500 | 4 |3023 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
28.69/28.77 c 28.8s| 3200 | 112 |122518 | 29.0 | 14M| 39 | - | 313 |4548 | 313 |2500 | 4 |3097 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
29.08/29.13 c 29.1s| 3300 | 107 |124710 | 28.8 | 14M| 39 | 40 | 313 |4573 | 313 |2500 | 4 |3168 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
29.39/29.45 c 29.5s| 3400 | 116 |127184 | 28.7 | 14M| 39 | - | 313 |4599 | 313 |2500 | 4 |3223 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
29.79/29.84 c 29.8s| 3500 | 124 |129649 | 28.6 | 14M| 39 | - | 313 |4639 | 313 |2500 | 4 |3293 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
30.18/30.25 c 30.3s| 3600 | 120 |132349 | 28.6 | 14M| 39 | 40 | 313 |4684 | 313 |2500 | 4 |3362 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
30.58/30.67 c 30.7s| 3700 | 119 |135180 | 28.6 | 14M| 39 | - | 313 |4740 | 313 |2500 | 4 |3431 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
30.99/31.08 c 31.1s| 3800 | 128 |138113 | 28.6 | 14M| 39 | 19 | 313 |4722 | 313 |2500 | 4 |3492 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
31.28/31.39 c 31.4s| 3900 | 132 |140146 | 28.4 | 14M| 39 | - | 313 |4730 | 313 |2500 | 4 |3541 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
31.69/31.78 c 31.8s| 4000 | 148 |142458 | 28.3 | 14M| 39 | 37 | 313 |4721 | 313 |2500 | 4 |3582 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
32.08/32.18 c 32.2s| 4100 | 156 |144877 | 28.3 | 14M| 39 | - | 313 |4734 | 313 |2500 | 4 |3631 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
32.49/32.52 c 32.5s| 4200 | 158 |147059 | 28.1 | 14M| 39 | 36 | 313 |4752 | 313 |2500 | 4 |3703 | 0 | 0.000000e+00 | 4.000000e+00 | Inf
32.68/32.75 o 2
32.68/32.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.68/32.75 c 532.8s| 4281 | 161 |148655 | 28.0 | 14M| 39 | - | 313 |4763 | 313 |2500 | 4 |3750 | 0 | 0.000000e+00 | 2.000000e+00 | Inf
32.78/32.80 c 32.8s| 4300 | 160 |148991 | 28.0 | 14M| 39 | 34 | 313 |4704 | 313 |2500 | 4 |3758 | 0 | 0.000000e+00 | 2.000000e+00 | Inf
33.09/33.16 c 33.2s| 4400 | 169 |151799 | 28.0 | 14M| 39 | - | 313 |4725 | 313 |2500 | 4 |3820 | 0 | 0.000000e+00 | 2.000000e+00 | Inf
33.39/33.47 c 33.5s| 4500 | 176 |153640 | 27.8 | 14M| 39 | 32 | 313 |4708 | 313 |2500 | 4 |3880 | 0 | 0.000000e+00 | 2.000000e+00 | Inf
33.68/33.78 c 33.8s| 4600 | 187 |155771 | 27.7 | 14M| 39 | 25 | 313 |4749 | 313 |2500 | 4 |3933 | 0 | 0.000000e+00 | 2.000000e+00 | Inf
34.09/34.10 c 34.1s| 4700 | 189 |158037 | 27.6 | 14M| 39 | 22 | 313 |4766 | 313 |2500 | 4 |4008 | 0 | 0.000000e+00 | 2.000000e+00 | Inf
34.38/34.48 c 34.5s| 4800 | 201 |160507 | 27.5 | 14M| 39 | 32 | 313 |4761 | 313 |2500 | 4 |4056 | 0 | 0.000000e+00 | 2.000000e+00 | Inf
34.79/34.88 c 34.9s| 4900 | 205 |162695 | 27.4 | 14M| 39 | 36 | 313 |4787 | 313 |2500 | 4 |4105 | 0 | 0.000000e+00 | 2.000000e+00 | Inf
35.19/35.22 c 35.2s| 5000 | 220 |165125 | 27.4 | 14M| 39 | 36 | 313 |4795 | 313 |2500 | 4 |4138 | 0 | 0.000000e+00 | 2.000000e+00 | Inf
35.48/35.56 c 35.6s| 5100 | 223 |167457 | 27.3 | 14M| 39 | - | 313 |4836 | 313 |2500 | 4 |4192 | 0 | 0.000000e+00 | 2.000000e+00 | Inf
35.88/35.93 c 35.9s| 5200 | 230 |169777 | 27.3 | 14M| 39 | - | 313 |4854 | 313 |2500 | 4 |4252 | 0 | 0.000000e+00 | 2.000000e+00 | Inf
36.07/36.18 o 1
36.07/36.18 c Forcing restart, since the absolute gap is 1.000000.
36.07/36.18 c 536.2s| 5291 | 182 |171415 | 27.1 | 14M| 39 | - | 313 |4879 | 313 |2500 | 4 |4305 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
36.07/36.18 c (run 2, node 5291) performing user restart
36.07/36.18 c
36.07/36.18 c (restart) converted 44 cuts from the global cut pool into linear constraints
36.07/36.18 c
36.07/36.19 c presolving:
36.18/36.23 c (round 1) 42 del vars, 37 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1948 impls, 22 clqs
36.18/36.25 c (round 2) 42 del vars, 37 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 44 upgd conss, 1948 impls, 22 clqs
36.18/36.29 c (round 3) 42 del vars, 59 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 44 upgd conss, 1948 impls, 22 clqs
36.28/36.32 c (round 4) 42 del vars, 59 del conss, 0 add conss, 20 chg bounds, 0 chg sides, 0 chg coeffs, 44 upgd conss, 1948 impls, 22 clqs
36.28/36.33 c (round 5) 82 del vars, 100 del conss, 0 add conss, 40 chg bounds, 0 chg sides, 0 chg coeffs, 44 upgd conss, 1948 impls, 22 clqs
36.28/36.34 c (round 6) 82 del vars, 100 del conss, 0 add conss, 40 chg bounds, 0 chg sides, 0 chg coeffs, 64 upgd conss, 1948 impls, 22 clqs
36.28/36.37 c (round 7) 82 del vars, 102 del conss, 0 add conss, 40 chg bounds, 0 chg sides, 0 chg coeffs, 64 upgd conss, 1948 impls, 22 clqs
36.28/36.40 c presolving (8 rounds):
36.28/36.40 c 82 deleted vars, 102 deleted constraints, 0 added constraints, 40 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
36.28/36.40 c 1948 implications, 22 cliques
36.28/36.40 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 4821 constraints
36.28/36.40 c 13 constraints of type <knapsack>
36.28/36.40 c 22 constraints of type <setppc>
36.28/36.40 c 4771 constraints of type <logicor>
36.28/36.40 c 15 constraints of type <bounddisjunction>
36.28/36.40 c transformed objective value is always integral (scale: 1)
36.28/36.40 c Presolving Time: 0.55
36.28/36.40 c
36.38/36.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.38/36.41 c 36.4s| 1 | 0 |171487 | - | 14M| 0 | 38 | 231 |4821 | 231 |2465 | 0 |4305 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
36.38/36.46 c 36.5s| 1 | 0 |171516 | - | 14M| 0 | 42 | 231 |4821 | 231 |2469 | 4 |4305 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
36.38/36.46 c 36.5s| 1 | 2 |171516 | - | 14M| 0 | 42 | 231 |4821 | 231 |2469 | 4 |4305 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
36.98/37.06 c 37.1s| 100 | 25 |175244 | 27.3 | 14M| 22 | 49 | 231 |4880 | 231 |2456 | 4 |4367 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
37.48/37.51 c 37.5s| 200 | 44 |178398 | 27.3 | 14M| 22 | - | 231 |4896 | 231 |2456 | 4 |4422 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
37.88/37.99 c 38.0s| 300 | 43 |181525 | 27.4 | 14M| 22 | - | 231 |4787 | 231 |2456 | 4 |4489 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
38.28/38.31 c 38.3s| 400 | 45 |183441 | 27.3 | 14M| 22 | 30 | 231 |4733 | 231 |2456 | 4 |4548 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
38.48/38.60 c 38.6s| 500 | 39 |185314 | 27.2 | 14M| 27 | - | 231 |4727 | 231 |2456 | 4 |4616 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
38.87/38.98 c 39.0s| 600 | 53 |188057 | 27.2 | 14M| 28 | - | 231 |4747 | 231 |2456 | 4 |4671 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
39.27/39.30 c 39.3s| 700 | 52 |190145 | 27.1 | 14M| 29 | 35 | 231 |4798 | 231 |2456 | 4 |4741 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
39.69/39.73 c 39.7s| 800 | 61 |193230 | 27.1 | 14M| 29 | 36 | 231 |4835 | 231 |2456 | 4 |4797 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
39.98/40.07 c 40.1s| 900 | 76 |195673 | 27.1 | 14M| 29 | - | 231 |4884 | 231 |2456 | 4 |4857 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
40.28/40.39 c 40.4s| 1000 | 74 |197802 | 27.0 | 14M| 33 | - | 231 |4932 | 231 |2456 | 4 |4931 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
40.69/40.71 c 40.7s| 1100 | 70 |200076 | 27.0 | 14M| 33 | - | 231 |4962 | 231 |2456 | 4 |4989 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
41.07/41.10 c 41.1s| 1200 | 80 |202663 | 26.9 | 14M| 33 | - | 231 |4956 | 231 |2456 | 4 |5051 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
41.38/41.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.38/41.40 c 41.4s| 1300 | 80 |204661 | 26.8 | 14M| 36 | - | 231 |4920 | 231 |2456 | 4 |5101 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
41.68/41.73 c 41.7s| 1400 | 85 |206976 | 26.8 | 14M| 36 | 34 | 231 |4915 | 231 |2456 | 4 |5159 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
41.98/42.09 c 42.1s| 1500 | 96 |209438 | 26.8 | 14M| 36 | - | 231 |4938 | 231 |2456 | 4 |5219 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
42.28/42.38 c 42.4s| 1600 | 94 |211438 | 26.7 | 14M| 36 | - | 231 |4981 | 231 |2456 | 4 |5271 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
42.68/42.73 c 42.7s| 1700 | 94 |213907 | 26.7 | 15M| 36 | 36 | 231 |5024 | 231 |2456 | 4 |5333 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
42.98/43.08 c 43.1s| 1800 | 92 |216449 | 26.6 | 15M| 36 | - | 231 |5052 | 231 |2456 | 4 |5398 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
43.38/43.42 c 43.4s| 1900 | 98 |218918 | 26.6 | 15M| 36 | - | 231 |5102 | 231 |2456 | 4 |5469 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
43.67/43.78 c 43.8s| 2000 | 99 |221316 | 26.6 | 15M| 36 | 32 | 231 |5171 | 231 |2456 | 4 |5559 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
43.98/44.07 c 44.1s| 2100 | 97 |223220 | 26.5 | 15M| 36 | 32 | 231 |5227 | 231 |2456 | 4 |5631 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
44.38/44.46 c 44.5s| 2200 | 102 |226194 | 26.5 | 15M| 36 | 40 | 231 |5279 | 231 |2456 | 4 |5697 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
44.78/44.84 c 44.8s| 2300 | 100 |228756 | 26.5 | 15M| 36 | - | 231 |5297 | 231 |2456 | 4 |5763 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
45.08/45.13 c 45.1s| 2400 | 102 |230754 | 26.4 | 15M| 36 | 42 | 231 |5306 | 231 |2456 | 4 |5816 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
45.37/45.44 c 45.4s| 2500 | 97 |232759 | 26.4 | 15M| 36 | - | 231 |5305 | 231 |2456 | 4 |5882 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
45.67/45.79 c 45.8s| 2600 | 93 |235078 | 26.3 | 15M| 36 | - | 231 |5303 | 231 |2456 | 4 |5958 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
45.97/46.09 c 46.1s| 2700 | 85 |237081 | 26.3 | 15M| 36 | - | 231 |5312 | 231 |2456 | 4 |6024 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
46.47/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.47/46.50 c 46.5s| 2800 | 89 |239607 | 26.3 | 15M| 36 | 41 | 231 |5297 | 231 |2456 | 4 |6096 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
46.77/46.81 c 46.8s| 2900 | 90 |241772 | 26.2 | 15M| 36 | 33 | 231 |5328 | 231 |2456 | 4 |6171 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
47.07/47.15 c 47.2s| 3000 | 92 |244004 | 26.2 | 15M| 36 | 38 | 231 |5344 | 231 |2456 | 4 |6235 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
47.47/47.54 c 47.5s| 3100 | 102 |247099 | 26.2 | 15M| 36 | - | 231 |5390 | 231 |2456 | 4 |6302 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
47.87/47.90 c 47.9s| 3200 | 103 |249422 | 26.2 | 15M| 36 | 34 | 231 |5450 | 231 |2456 | 4 |6371 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
48.27/48.30 c 48.3s| 3300 | 111 |252325 | 26.2 | 15M| 37 | 38 | 231 |5448 | 231 |2456 | 4 |6431 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
48.57/48.64 c 48.6s| 3400 | 116 |254791 | 26.2 | 15M| 37 | - | 231 |5428 | 231 |2456 | 4 |6498 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
48.97/49.03 c 49.0s| 3500 | 132 |257691 | 26.2 | 15M| 37 | - | 231 |5415 | 231 |2456 | 4 |6568 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
49.27/49.32 c 49.3s| 3600 | 137 |259769 | 26.2 | 15M| 37 | - | 231 |5402 | 231 |2456 | 4 |6628 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
49.57/49.67 c 49.7s| 3700 | 151 |262031 | 26.1 | 15M| 37 | 34 | 231 |5307 | 231 |2456 | 4 |6682 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
49.97/50.02 c 50.0s| 3800 | 160 |264322 | 26.1 | 15M| 37 | - | 231 |5268 | 231 |2456 | 4 |6743 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
50.27/50.36 c 50.4s| 3900 | 178 |266762 | 26.1 | 15M| 37 | 45 | 231 |5251 | 231 |2456 | 4 |6796 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
50.68/50.75 c 50.8s| 4000 | 199 |269223 | 26.1 | 15M| 37 | - | 231 |5290 | 231 |2456 | 4 |6868 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
50.97/51.08 c 51.1s| 4100 | 213 |271666 | 26.1 | 15M| 37 | 26 | 231 |5333 | 231 |2456 | 4 |6927 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
51.37/51.41 c 51.4s| 4200 | 235 |274037 | 26.0 | 15M| 37 | - | 231 |5400 | 231 |2456 | 4 |7007 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
51.68/51.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.68/51.77 c 51.8s| 4300 | 240 |276200 | 26.0 | 15M| 37 | 33 | 231 |5459 | 231 |2456 | 4 |7071 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
52.07/52.13 c 52.1s| 4400 | 245 |278689 | 26.0 | 15M| 37 | - | 231 |5512 | 231 |2456 | 4 |7134 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
52.27/52.38 c 52.4s| 4500 | 249 |280511 | 25.9 | 15M| 37 | 32 | 231 |5591 | 231 |2456 | 4 |7220 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
52.57/52.67 c 52.7s| 4600 | 249 |282631 | 25.9 | 15M| 37 | 35 | 231 |5656 | 231 |2456 | 4 |7294 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
52.88/52.99 c 53.0s| 4700 | 250 |284864 | 25.8 | 15M| 37 | 34 | 231 |5729 | 231 |2456 | 4 |7382 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
53.27/53.34 c 53.3s| 4800 | 244 |287212 | 25.8 | 15M| 37 | - | 231 |5784 | 231 |2456 | 4 |7456 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
53.57/53.68 c 53.7s| 4900 | 243 |289554 | 25.8 | 15M| 37 | 37 | 231 |5851 | 231 |2456 | 4 |7539 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
53.88/53.98 c 54.0s| 5000 | 230 |291697 | 25.8 | 15M| 37 | - | 231 |5884 | 231 |2456 | 4 |7612 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
54.17/54.23 c 54.2s| 5100 | 223 |293356 | 25.7 | 15M| 37 | 40 | 231 |5913 | 231 |2456 | 4 |7692 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
54.47/54.53 c 54.5s| 5200 | 241 |295387 | 25.6 | 15M| 37 | 21 | 231 |5959 | 231 |2456 | 4 |7759 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
54.77/54.83 c 54.8s| 5300 | 237 |297234 | 25.6 | 15M| 37 | - | 231 |6017 | 231 |2456 | 4 |7836 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
55.07/55.12 c 55.1s| 5400 | 233 |299084 | 25.5 | 15M| 37 | - | 231 |6058 | 231 |2456 | 4 |7903 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
55.37/55.47 c 55.5s| 5500 | 233 |300847 | 25.4 | 15M| 37 | - | 231 |6116 | 231 |2456 | 4 |7980 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
55.66/55.76 c 55.8s| 5600 | 236 |302787 | 25.4 | 15M| 37 | 20 | 231 |6178 | 231 |2456 | 4 |8052 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
55.97/56.10 c 56.1s| 5700 | 246 |305429 | 25.4 | 15M| 37 | 25 | 231 |6255 | 231 |2456 | 4 |8134 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
56.36/56.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.36/56.43 c 56.4s| 5800 | 236 |307566 | 25.4 | 15M| 37 | - | 231 |6302 | 231 |2456 | 4 |8207 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
56.67/56.72 c 56.7s| 5900 | 226 |309435 | 25.3 | 15M| 37 | - | 231 |6340 | 231 |2456 | 4 |8278 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
57.06/57.13 c 57.1s| 6000 | 241 |312120 | 25.3 | 15M| 37 | - | 231 |6365 | 231 |2456 | 4 |8345 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
57.36/57.46 c 57.5s| 6100 | 235 |314287 | 25.3 | 15M| 37 | - | 231 |6422 | 231 |2456 | 4 |8409 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
57.67/57.72 c 57.7s| 6200 | 223 |316048 | 25.2 | 15M| 37 | 34 | 231 |6463 | 231 |2456 | 4 |8472 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
57.86/57.99 c 58.0s| 6300 | 215 |317867 | 25.2 | 15M| 37 | - | 231 |6510 | 231 |2456 | 4 |8547 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
58.16/58.28 c 58.3s| 6400 | 202 |319743 | 25.1 | 15M| 37 | - | 231 |6502 | 231 |2456 | 4 |8628 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
58.46/58.59 c 58.6s| 6500 | 202 |322006 | 25.1 | 15M| 37 | 31 | 231 |6538 | 231 |2456 | 4 |8695 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
58.87/58.90 c 58.9s| 6600 | 200 |324208 | 25.1 | 15M| 37 | 30 | 231 |6586 | 231 |2456 | 4 |8757 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
59.16/59.23 c 59.2s| 6700 | 196 |326305 | 25.0 | 15M| 38 | 27 | 231 |6598 | 231 |2456 | 4 |8825 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
59.47/59.55 c 59.6s| 6800 | 177 |328308 | 25.0 | 15M| 38 | - | 231 |6579 | 231 |2456 | 4 |8899 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
59.86/59.94 c 59.9s| 6900 | 199 |331313 | 25.0 | 15M| 38 | 35 | 231 |6497 | 231 |2456 | 4 |8957 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
60.27/60.35 c 60.3s| 7000 | 199 |334230 | 25.1 | 15M| 38 | 34 | 231 |6465 | 231 |2456 | 4 |9026 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
60.57/60.67 c 60.7s| 7100 | 197 |336681 | 25.1 | 15M| 38 | - | 231 |6463 | 231 |2456 | 4 |9083 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
60.97/61.04 c 61.0s| 7200 | 204 |339399 | 25.1 | 15M| 38 | - | 231 |6444 | 231 |2456 | 4 |9144 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
61.26/61.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.26/61.37 c 61.4s| 7300 | 204 |341583 | 25.1 | 15M| 38 | 41 | 231 |6443 | 231 |2456 | 4 |9208 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
61.67/61.79 c 61.8s| 7400 | 210 |344467 | 25.1 | 15M| 38 | - | 231 |6433 | 231 |2456 | 4 |9270 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
61.97/62.08 c 62.1s| 7500 | 208 |346506 | 25.1 | 15M| 38 | 25 | 231 |6445 | 231 |2456 | 4 |9316 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
62.26/62.39 c 62.4s| 7600 | 207 |348698 | 25.0 | 15M| 38 | - | 231 |6453 | 231 |2456 | 4 |9363 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
62.67/62.76 c 62.8s| 7700 | 215 |351283 | 25.0 | 15M| 38 | 43 | 231 |6462 | 231 |2456 | 4 |9411 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
62.96/63.06 c 63.1s| 7800 | 215 |353495 | 25.0 | 15M| 38 | 36 | 231 |6492 | 231 |2456 | 4 |9465 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
63.37/63.43 c 63.4s| 7900 | 221 |356338 | 25.0 | 15M| 38 | 35 | 231 |6525 | 231 |2456 | 4 |9532 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
63.66/63.74 c 63.7s| 8000 | 213 |358540 | 25.0 | 15M| 38 | 42 | 231 |6554 | 231 |2456 | 4 |9594 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
63.96/64.05 c 64.1s| 8100 | 221 |360592 | 25.0 | 16M| 38 | 28 | 231 |6578 | 231 |2456 | 4 |9648 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
64.26/64.39 c 64.4s| 8200 | 221 |363051 | 25.0 | 16M| 38 | - | 231 |6626 | 231 |2456 | 4 |9704 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
64.66/64.79 c 64.8s| 8300 | 223 |365235 | 25.0 | 16M| 38 | 37 | 231 |6667 | 231 |2456 | 4 |9751 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
64.97/65.07 c 65.1s| 8400 | 219 |367420 | 24.9 | 16M| 38 | - | 231 |6710 | 231 |2456 | 4 |9795 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
65.27/65.39 c 65.4s| 8500 | 220 |369628 | 24.9 | 16M| 38 | 34 | 231 |6742 | 231 |2456 | 4 |9858 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
65.66/65.71 c 65.7s| 8600 | 228 |371859 | 24.9 | 16M| 38 | 37 | 231 |6743 | 231 |2456 | 4 |9924 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
65.97/66.03 c 66.0s| 8700 | 234 |374107 | 24.9 | 16M| 38 | 37 | 231 |6764 | 231 |2456 | 4 |9997 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
66.26/66.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.26/66.35 c 66.4s| 8800 | 249 |376426 | 24.9 | 16M| 38 | - | 231 |6799 | 231 |2456 | 4 | 10k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
66.57/66.63 c 66.6s| 8900 | 243 |378458 | 24.9 | 16M| 38 | - | 231 |6864 | 231 |2456 | 4 | 10k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
66.97/67.08 c 67.1s| 9000 | 252 |381498 | 24.9 | 16M| 38 | - | 231 |6908 | 231 |2456 | 4 | 10k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
67.26/67.31 c 67.3s| 9100 | 254 |383188 | 24.8 | 16M| 38 | - | 231 |6959 | 231 |2456 | 4 | 10k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
67.56/67.66 c 67.7s| 9200 | 261 |385551 | 24.8 | 16M| 38 | 32 | 231 |7017 | 231 |2456 | 4 | 10k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
67.87/67.95 c 67.9s| 9300 | 265 |387701 | 24.8 | 16M| 38 | 40 | 231 |7076 | 231 |2456 | 4 | 10k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
68.17/68.27 c 68.3s| 9400 | 264 |389943 | 24.8 | 16M| 38 | 29 | 231 |7148 | 231 |2456 | 4 | 10k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
68.47/68.57 c 68.6s| 9500 | 264 |392176 | 24.8 | 16M| 38 | 29 | 231 |7206 | 231 |2456 | 4 | 10k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
68.76/68.87 c 68.9s| 9600 | 261 |394418 | 24.8 | 16M| 38 | 43 | 231 |7249 | 231 |2456 | 4 | 10k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
69.17/69.25 c 69.3s| 9700 | 267 |397121 | 24.8 | 16M| 38 | - | 231 |7307 | 231 |2456 | 4 | 10k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
69.47/69.53 c 69.5s| 9800 | 268 |399118 | 24.7 | 16M| 38 | - | 231 |7373 | 231 |2456 | 4 | 10k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
69.87/69.91 c 69.9s| 9900 | 262 |401641 | 24.8 | 16M| 38 | - | 231 |7415 | 231 |2456 | 4 | 10k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
70.06/70.19 c 70.2s| 10000 | 270 |403682 | 24.7 | 16M| 38 | - | 231 |7430 | 231 |2456 | 4 | 10k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
70.47/70.50 c 70.5s| 10100 | 266 |405811 | 24.7 | 16M| 38 | 39 | 231 |7458 | 231 |2456 | 4 | 10k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
70.77/70.89 c 70.9s| 10200 | 262 |408640 | 24.7 | 16M| 38 | - | 231 |7507 | 231 |2456 | 4 | 11k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
71.16/71.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.16/71.25 c 71.3s| 10300 | 269 |411313 | 24.7 | 16M| 38 | 42 | 231 |7541 | 231 |2456 | 4 | 11k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
71.66/71.73 c 71.7s| 10400 | 287 |414893 | 24.8 | 16M| 38 | - | 231 |7560 | 231 |2456 | 4 | 11k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
72.06/72.11 c 72.1s| 10500 | 295 |417715 | 24.8 | 16M| 38 | 39 | 231 |7586 | 231 |2456 | 4 | 11k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
72.36/72.45 c 72.4s| 10600 | 306 |420141 | 24.8 | 16M| 38 | 36 | 231 |7615 | 231 |2456 | 4 | 11k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
72.77/72.81 c 72.8s| 10700 | 324 |422622 | 24.8 | 16M| 38 | - | 231 |7651 | 231 |2456 | 4 | 11k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
72.96/73.08 c 73.1s| 10800 | 328 |424639 | 24.8 | 16M| 38 | - | 231 |7709 | 231 |2456 | 4 | 11k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
73.37/73.46 c 73.5s| 10900 | 331 |427196 | 24.8 | 16M| 40 | 23 | 231 |7774 | 231 |2456 | 4 | 11k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
73.67/73.71 c 73.7s| 11000 | 333 |428984 | 24.8 | 16M| 40 | 27 | 231 |7875 | 231 |2456 | 4 | 11k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
73.86/73.96 c 74.0s| 11100 | 340 |430728 | 24.7 | 16M| 40 | 30 | 231 |7947 | 231 |2456 | 4 | 11k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
74.16/74.23 c 74.2s| 11200 | 337 |432567 | 24.7 | 16M| 42 | - | 231 |8009 | 231 |2456 | 4 | 11k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
74.47/74.50 c 74.5s| 11300 | 339 |434248 | 24.6 | 16M| 43 | - | 231 |8082 | 231 |2456 | 4 | 11k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
74.66/74.79 c 74.8s| 11400 | 343 |436224 | 24.6 | 16M| 43 | 49 | 231 |8131 | 231 |2456 | 4 | 11k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
75.16/75.26 c 75.3s| 11500 | 365 |438806 | 24.6 | 17M| 43 | - | 231 |8155 | 231 |2456 | 4 | 11k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
75.46/75.59 c 75.6s| 11600 | 383 |441243 | 24.6 | 17M| 43 | 31 | 231 |8184 | 231 |2456 | 4 | 11k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
75.87/75.94 c 75.9s| 11700 | 388 |443796 | 24.6 | 17M| 43 | 40 | 231 |8230 | 231 |2456 | 4 | 12k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
76.16/76.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.16/76.26 c 76.3s| 11800 | 390 |446222 | 24.6 | 17M| 43 | - | 231 |8272 | 231 |2456 | 4 | 12k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
76.66/76.73 c 76.7s| 11900 | 405 |449766 | 24.7 | 17M| 43 | - | 231 |8324 | 231 |2456 | 4 | 12k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
76.97/77.08 c 77.1s| 12000 | 417 |452347 | 24.7 | 17M| 43 | 40 | 231 |8367 | 231 |2456 | 4 | 12k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
77.37/77.45 c 77.5s| 12100 | 425 |455137 | 24.7 | 17M| 43 | - | 231 |8405 | 231 |2456 | 4 | 12k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
77.76/77.80 c 77.8s| 12200 | 430 |457644 | 24.7 | 17M| 43 | - | 231 |8450 | 231 |2456 | 4 | 12k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
78.07/78.14 c 78.1s| 12300 | 434 |460053 | 24.7 | 17M| 43 | 31 | 231 |8489 | 231 |2456 | 4 | 12k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
78.47/78.51 c 78.5s| 12400 | 440 |462696 | 24.7 | 17M| 43 | 43 | 231 |8533 | 231 |2456 | 4 | 12k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
78.77/78.88 c 78.9s| 12500 | 442 |465463 | 24.7 | 17M| 43 | - | 231 |8578 | 231 |2456 | 4 | 12k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
79.06/79.16 c 79.2s| 12600 | 437 |467438 | 24.7 | 17M| 43 | 36 | 231 |8620 | 231 |2456 | 4 | 12k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
79.36/79.49 c 79.5s| 12700 | 439 |469734 | 24.7 | 17M| 43 | - | 231 |8636 | 231 |2456 | 4 | 12k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
79.76/79.82 c 79.8s| 12800 | 443 |472013 | 24.7 | 17M| 43 | - | 231 |8661 | 231 |2456 | 4 | 12k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
80.06/80.15 c 80.2s| 12900 | 449 |474362 | 24.7 | 17M| 43 | 38 | 231 |8700 | 231 |2456 | 4 | 12k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
80.37/80.49 c 80.5s| 13000 | 450 |476782 | 24.7 | 17M| 48 | - | 231 |8714 | 231 |2456 | 4 | 12k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
80.66/80.77 c 80.8s| 13100 | 446 |478773 | 24.6 | 17M| 49 | 33 | 231 |8752 | 231 |2456 | 4 | 12k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
81.06/81.16 c 81.2s| 13200 | 454 |481517 | 24.7 | 17M| 49 | 36 | 231 |8799 | 231 |2456 | 4 | 12k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
81.37/81.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.37/81.45 c 81.5s| 13300 | 452 |483699 | 24.6 | 17M| 49 | 28 | 231 |8832 | 231 |2456 | 4 | 13k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
81.77/81.82 c 81.8s| 13400 | 458 |486336 | 24.7 | 17M| 49 | 39 | 231 |8856 | 231 |2456 | 4 | 13k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
82.06/82.15 c 82.2s| 13500 | 454 |488505 | 24.6 | 17M| 49 | 37 | 231 |8881 | 231 |2456 | 4 | 13k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
82.37/82.41 c 82.4s| 13600 | 445 |490310 | 24.6 | 17M| 49 | - | 231 |8928 | 231 |2456 | 4 | 13k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
82.66/82.70 c 82.7s| 13700 | 442 |492396 | 24.6 | 17M| 49 | - | 231 |8960 | 231 |2456 | 4 | 13k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
82.86/82.98 c 83.0s| 13800 | 437 |494341 | 24.6 | 17M| 49 | 34 | 231 |8996 | 231 |2456 | 4 | 13k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
83.16/83.25 c 83.3s| 13900 | 439 |496342 | 24.5 | 17M| 49 | - | 231 |9017 | 231 |2456 | 4 | 13k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
83.46/83.55 c 83.6s| 14000 | 437 |498496 | 24.5 | 17M| 49 | 34 | 231 |9058 | 231 |2456 | 4 | 13k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
83.76/83.84 c 83.8s| 14100 | 440 |500406 | 24.5 | 17M| 49 | - | 231 |9103 | 231 |2456 | 4 | 13k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
84.06/84.15 c 84.2s| 14200 | 428 |502517 | 24.5 | 17M| 49 | 37 | 231 |9144 | 231 |2456 | 4 | 13k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
84.46/84.54 c 84.5s| 14300 | 437 |505114 | 24.5 | 17M| 49 | 40 | 231 |9174 | 231 |2456 | 4 | 13k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
84.76/84.86 c 84.9s| 14400 | 432 |507230 | 24.5 | 17M| 49 | 34 | 231 |9209 | 231 |2456 | 4 | 13k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
85.06/85.17 c 85.2s| 14500 | 430 |509386 | 24.5 | 17M| 49 | 20 | 231 |9239 | 231 |2456 | 4 | 13k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
85.36/85.49 c 85.5s| 14600 | 427 |511450 | 24.4 | 17M| 49 | 42 | 231 |9281 | 231 |2456 | 4 | 13k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
85.67/85.77 c 85.8s| 14700 | 426 |513606 | 24.4 | 17M| 49 | - | 231 |9298 | 231 |2456 | 4 | 13k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
86.06/86.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.06/86.10 c 86.1s| 14800 | 422 |515824 | 24.4 | 17M| 49 | 20 | 231 |9314 | 231 |2456 | 4 | 14k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
86.27/86.38 c 86.4s| 14900 | 423 |517579 | 24.4 | 17M| 49 | 34 | 231 |9335 | 231 |2456 | 4 | 14k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
86.57/86.69 c 86.7s| 15000 | 430 |519823 | 24.4 | 17M| 49 | 22 | 231 |9347 | 231 |2456 | 4 | 14k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
86.87/86.94 c 86.9s| 15100 | 424 |521514 | 24.3 | 17M| 49 | - | 231 |9395 | 231 |2456 | 4 | 14k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
87.17/87.23 c 87.2s| 15200 | 422 |523472 | 24.3 | 17M| 49 | - | 231 |9445 | 0 | 0 | 4 | 14k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
87.46/87.57 c 87.6s| 15300 | 416 |525757 | 24.3 | 17M| 49 | 33 | 231 |9462 | 231 |2456 | 4 | 14k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
87.86/87.96 c 88.0s| 15400 | 409 |528395 | 24.3 | 17M| 49 | 26 | 231 |9449 | 231 |2456 | 4 | 14k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
88.26/88.33 c 88.3s| 15500 | 421 |531336 | 24.3 | 17M| 49 | - | 231 |9490 | 231 |2456 | 4 | 14k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
88.56/88.65 c 88.7s| 15600 | 426 |533590 | 24.3 | 17M| 49 | 26 | 231 |9555 | 231 |2456 | 4 | 14k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
88.76/88.89 c 88.9s| 15700 | 426 |535344 | 24.3 | 17M| 49 | 31 | 231 |9628 | 231 |2456 | 4 | 14k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
89.17/89.21 c 89.2s| 15800 | 420 |537519 | 24.3 | 17M| 49 | 42 | 231 |9682 | 231 |2456 | 4 | 14k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
89.46/89.53 c 89.5s| 15900 | 426 |539720 | 24.3 | 17M| 49 | - | 231 |9687 | 0 | 0 | 4 | 14k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
89.76/89.82 c 89.8s| 16000 | 442 |541871 | 24.3 | 17M| 49 | 40 | 231 |9706 | 231 |2456 | 4 | 14k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
90.06/90.13 c 90.1s| 16100 | 444 |543933 | 24.3 | 18M| 49 | - | 231 |9742 | 231 |2456 | 4 | 14k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
90.36/90.44 c 90.4s| 16200 | 454 |546263 | 24.2 | 18M| 49 | 19 | 231 |9772 | 231 |2456 | 4 | 14k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
90.76/90.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.76/90.86 c 90.9s| 16300 | 459 |548884 | 24.3 | 18M| 49 | - | 231 |9764 | 0 | 0 | 4 | 15k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
91.06/91.19 c 91.2s| 16400 | 461 |551130 | 24.2 | 18M| 51 | - | 231 |9789 | 231 |2456 | 4 | 15k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
91.36/91.48 c 91.5s| 16500 | 472 |553364 | 24.2 | 18M| 51 | 43 | 231 |9779 | 231 |2456 | 4 | 15k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
91.76/91.84 c 91.8s| 16600 | 487 |555953 | 24.2 | 18M| 51 | - | 231 |9780 | 231 |2456 | 4 | 15k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
92.16/92.26 c 92.3s| 16700 | 503 |559061 | 24.3 | 18M| 51 | - | 231 |9793 | 231 |2456 | 4 | 15k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
92.47/92.59 c 92.6s| 16800 | 505 |561531 | 24.3 | 18M| 51 | 31 | 231 |9814 | 231 |2456 | 4 | 15k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
92.86/92.90 c 92.9s| 16900 | 510 |563643 | 24.3 | 18M| 51 | - | 231 |9851 | 231 |2456 | 4 | 15k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
93.16/93.23 c 93.2s| 17000 | 520 |566196 | 24.3 | 18M| 51 | - | 231 |9875 | 231 |2456 | 4 | 15k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
93.57/93.60 c 93.6s| 17100 | 527 |568881 | 24.3 | 18M| 51 | 43 | 231 |9902 | 231 |2456 | 4 | 15k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
93.96/94.01 c 94.0s| 17200 | 535 |571871 | 24.3 | 18M| 51 | 41 | 231 |9928 | 231 |2456 | 4 | 15k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
94.46/94.50 c 94.5s| 17300 | 555 |575275 | 24.3 | 18M| 51 | - | 231 |9970 | 231 |2456 | 4 | 15k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
94.76/94.88 c 94.9s| 17400 | 569 |578302 | 24.4 | 18M| 51 | - | 231 | 10k| 231 |2456 | 4 | 15k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
95.06/95.13 c 95.1s| 17500 | 573 |580075 | 24.3 | 18M| 51 | 29 | 231 | 10k| 231 |2456 | 4 | 15k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
95.36/95.45 c 95.5s| 17600 | 578 |582445 | 24.3 | 18M| 51 | - | 231 | 10k| 231 |2456 | 4 | 15k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
95.66/95.75 c 95.8s| 17700 | 581 |584650 | 24.3 | 18M| 51 | 46 | 231 | 10k| 231 |2456 | 4 | 15k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
95.96/96.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
95.96/96.08 c 96.1s| 17800 | 579 |587005 | 24.3 | 18M| 51 | - | 231 | 10k| 231 |2456 | 4 | 15k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
96.56/96.62 c 96.6s| 17900 | 575 |589700 | 24.3 | 18M| 51 | - | 231 | 10k| 231 |2456 | 4 | 15k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
96.87/96.97 c 97.0s| 18000 | 583 |592197 | 24.3 | 18M| 51 | 36 | 231 | 10k| 231 |2456 | 4 | 16k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
97.16/97.27 c 97.3s| 18100 | 583 |594376 | 24.3 | 18M| 51 | - | 231 | 10k| 231 |2456 | 4 | 16k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
97.46/97.58 c 97.6s| 18200 | 593 |596598 | 24.3 | 18M| 51 | 29 | 231 | 10k| 231 |2456 | 4 | 16k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
97.86/97.93 c 97.9s| 18300 | 590 |598893 | 24.3 | 18M| 51 | 37 | 231 | 10k| 231 |2456 | 4 | 16k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
98.05/98.19 c 98.2s| 18400 | 591 |600729 | 24.3 | 18M| 51 | - | 231 | 10k| 231 |2456 | 4 | 16k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
98.46/98.54 c 98.5s| 18500 | 593 |603327 | 24.3 | 18M| 51 | - | 231 | 10k| 231 |2456 | 4 | 16k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
98.76/98.85 c 98.9s| 18600 | 598 |605820 | 24.3 | 18M| 51 | 46 | 231 | 10k| 231 |2456 | 4 | 16k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
99.16/99.25 c 99.3s| 18700 | 598 |608779 | 24.3 | 18M| 51 | 49 | 231 | 10k| 231 |2456 | 4 | 16k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
99.46/99.54 c 99.5s| 18800 | 600 |610812 | 24.3 | 18M| 51 | 34 | 231 | 10k| 231 |2456 | 4 | 16k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
99.76/99.87 c 99.9s| 18900 | 596 |613052 | 24.3 | 18M| 51 | - | 231 | 10k| 231 |2456 | 4 | 16k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
100.16/100.24 c 100s| 19000 | 594 |615789 | 24.3 | 18M| 51 | 31 | 231 | 10k| 231 |2456 | 4 | 16k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
100.46/100.54 c 101s| 19100 | 589 |617936 | 24.3 | 18M| 51 | 38 | 231 | 10k| 231 |2456 | 4 | 16k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
100.76/100.87 c 101s| 19200 | 591 |620137 | 24.3 | 18M| 51 | - | 231 | 10k| 231 |2456 | 4 | 16k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
101.05/101.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
101.05/101.19 c 101s| 19300 | 599 |622450 | 24.3 | 18M| 51 | - | 231 | 10k| 231 |2456 | 4 | 16k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
101.55/101.62 c 102s| 19400 | 613 |625259 | 24.3 | 18M| 51 | - | 231 | 10k| 231 |2456 | 4 | 16k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
101.86/101.96 c 102s| 19500 | 616 |627676 | 24.3 | 18M| 51 | - | 231 | 10k| 231 |2456 | 4 | 16k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
102.16/102.22 c 102s| 19600 | 614 |629483 | 24.3 | 18M| 51 | - | 231 | 10k| 231 |2456 | 4 | 16k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
102.46/102.55 c 103s| 19700 | 613 |631775 | 24.3 | 18M| 51 | 30 | 231 | 10k| 231 |2456 | 4 | 17k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
102.76/102.81 c 103s| 19800 | 607 |633686 | 24.3 | 18M| 51 | - | 231 | 10k| 0 | 0 | 4 | 17k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
103.06/103.15 c 103s| 19900 | 597 |635941 | 24.2 | 18M| 51 | - | 231 | 10k| 231 |2456 | 4 | 17k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
103.36/103.48 c 103s| 20000 | 605 |638293 | 24.2 | 18M| 51 | - | 231 | 10k| 231 |2456 | 4 | 17k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
103.66/103.79 c 104s| 20100 | 614 |640315 | 24.2 | 18M| 51 | 39 | 231 | 10k| 231 |2456 | 4 | 17k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
104.06/104.13 c 104s| 20200 | 614 |642856 | 24.2 | 19M| 51 | - | 231 | 10k| 231 |2456 | 4 | 17k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
104.36/104.43 c 104s| 20300 | 612 |645183 | 24.2 | 19M| 51 | 29 | 231 | 10k| 231 |2456 | 4 | 17k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
104.56/104.69 c 105s| 20400 | 612 |646838 | 24.2 | 19M| 51 | - | 231 | 10k| 231 |2456 | 4 | 17k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
104.86/104.96 c 105s| 20500 | 611 |648629 | 24.2 | 19M| 51 | - | 231 | 10k| 231 |2456 | 4 | 17k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
105.25/105.31 c 105s| 20600 | 611 |651066 | 24.2 | 19M| 51 | 46 | 231 | 10k| 231 |2456 | 4 | 17k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
105.56/105.61 c 106s| 20700 | 605 |653069 | 24.2 | 19M| 51 | - | 231 | 10k| 231 |2456 | 4 | 17k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
105.96/106.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
105.96/106.02 c 106s| 20800 | 611 |656123 | 24.2 | 19M| 51 | - | 231 | 10k| 231 |2456 | 4 | 17k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
106.26/106.39 c 106s| 20900 | 618 |658627 | 24.2 | 19M| 51 | 46 | 231 | 10k| 231 |2456 | 4 | 17k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
106.56/106.67 c 107s| 21000 | 624 |660753 | 24.2 | 19M| 51 | - | 231 | 10k| 231 |2456 | 4 | 17k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
106.96/107.03 c 107s| 21100 | 625 |663181 | 24.2 | 19M| 51 | - | 231 | 10k| 231 |2456 | 4 | 17k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
107.26/107.31 c 107s| 21200 | 630 |665085 | 24.2 | 19M| 51 | 40 | 231 | 10k| 231 |2456 | 4 | 17k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
107.56/107.62 c 108s| 21300 | 630 |667168 | 24.1 | 19M| 51 | 31 | 231 | 10k| 231 |2456 | 4 | 17k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
107.86/107.93 c 108s| 21400 | 616 |669246 | 24.1 | 19M| 51 | 29 | 231 | 10k| 231 |2456 | 4 | 18k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
108.15/108.26 c 108s| 21500 | 604 |671443 | 24.1 | 19M| 51 | 36 | 231 | 10k| 231 |2456 | 4 | 18k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
108.46/108.52 c 109s| 21600 | 604 |673256 | 24.1 | 19M| 51 | - | 231 | 10k| 231 |2456 | 4 | 18k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
108.75/108.80 c 109s| 21700 | 601 |675191 | 24.1 | 19M| 51 | 29 | 231 | 10k| 231 |2456 | 4 | 18k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
109.06/109.15 c 109s| 21800 | 602 |677703 | 24.1 | 19M| 51 | - | 231 | 10k| 231 |2456 | 4 | 18k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
109.46/109.54 c 110s| 21900 | 604 |680487 | 24.1 | 19M| 51 | 41 | 231 | 10k| 231 |2456 | 4 | 18k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
109.85/109.92 c 110s| 22000 | 606 |683468 | 24.1 | 19M| 51 | - | 231 | 10k| 231 |2456 | 4 | 18k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
110.16/110.28 c 110s| 22100 | 607 |686152 | 24.1 | 19M| 51 | 42 | 231 | 10k| 231 |2456 | 4 | 18k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
110.56/110.62 c 111s| 22200 | 599 |688525 | 24.1 | 19M| 52 | - | 231 | 10k| 231 |2456 | 4 | 18k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
110.86/110.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
110.86/110.91 c 111s| 22300 | 600 |690539 | 24.1 | 19M| 52 | 41 | 231 | 10k| 231 |2456 | 4 | 18k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
111.17/111.20 c 111s| 22400 | 594 |692500 | 24.1 | 19M| 52 | - | 231 | 10k| 231 |2456 | 4 | 18k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
111.45/111.56 c 112s| 22500 | 586 |694873 | 24.1 | 19M| 52 | 33 | 231 | 10k| 231 |2456 | 4 | 18k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
111.86/111.92 c 112s| 22600 | 588 |697552 | 24.1 | 19M| 52 | 37 | 231 | 10k| 231 |2456 | 4 | 18k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
112.16/112.26 c 112s| 22700 | 591 |699852 | 24.1 | 19M| 52 | - | 231 | 10k| 231 |2456 | 4 | 18k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
112.46/112.59 c 113s| 22800 | 591 |702335 | 24.1 | 19M| 52 | 39 | 231 | 10k| 231 |2456 | 4 | 18k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
112.85/112.92 c 113s| 22900 | 597 |704742 | 24.1 | 19M| 52 | 32 | 231 | 10k| 231 |2456 | 4 | 18k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
113.27/113.31 c 113s| 23000 | 601 |707608 | 24.1 | 19M| 52 | 36 | 231 | 10k| 231 |2456 | 4 | 18k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
113.56/113.63 c 114s| 23100 | 587 |709800 | 24.1 | 19M| 52 | 33 | 231 | 10k| 231 |2456 | 4 | 19k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
113.85/113.94 c 114s| 23200 | 588 |712192 | 24.1 | 19M| 52 | 38 | 231 | 10k| 231 |2456 | 4 | 19k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
114.15/114.27 c 114s| 23300 | 582 |714439 | 24.1 | 19M| 52 | - | 231 | 10k| 0 | 0 | 4 | 19k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
114.56/114.61 c 115s| 23400 | 582 |716956 | 24.1 | 19M| 52 | 36 | 231 | 10k| 231 |2456 | 4 | 19k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
114.85/114.94 c 115s| 23500 | 578 |719201 | 24.1 | 19M| 52 | - | 231 | 10k| 231 |2456 | 4 | 19k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
115.16/115.24 c 115s| 23600 | 578 |721141 | 24.1 | 19M| 54 | - | 231 | 10k| 231 |2456 | 4 | 19k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
115.36/115.50 c 115s| 23700 | 578 |723013 | 24.1 | 19M| 64 | - | 231 | 10k| 231 |2456 | 4 | 19k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
115.76/115.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
115.76/115.82 c 116s| 23800 | 583 |725230 | 24.1 | 19M| 64 | 38 | 231 | 10k| 231 |2456 | 4 | 19k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
116.06/116.18 c 116s| 23900 | 588 |727703 | 24.1 | 19M| 64 | 34 | 231 | 10k| 231 |2456 | 4 | 19k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
116.46/116.54 c 117s| 24000 | 593 |730295 | 24.1 | 19M| 64 | 39 | 231 | 10k| 231 |2456 | 4 | 19k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
116.75/116.83 c 117s| 24100 | 596 |732427 | 24.1 | 19M| 64 | 44 | 231 | 10k| 231 |2456 | 4 | 19k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
117.16/117.21 c 117s| 24200 | 606 |735080 | 24.1 | 19M| 64 | 29 | 231 | 10k| 231 |2456 | 4 | 19k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
117.46/117.54 c 118s| 24300 | 611 |737246 | 24.1 | 19M| 64 | - | 231 | 10k| 231 |2456 | 4 | 19k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
117.66/117.80 c 118s| 24400 | 611 |739200 | 24.1 | 19M| 64 | - | 231 | 10k| 231 |2456 | 4 | 19k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
117.96/118.09 c 118s| 24500 | 615 |741069 | 24.0 | 19M| 64 | 29 | 231 | 10k| 231 |2456 | 4 | 19k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
118.26/118.38 c 118s| 24600 | 614 |743186 | 24.0 | 19M| 64 | - | 231 | 10k| 231 |2456 | 4 | 19k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
118.56/118.70 c 119s| 24700 | 609 |745327 | 24.0 | 19M| 64 | - | 231 | 10k| 231 |2456 | 4 | 20k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
118.96/119.01 c 119s| 24800 | 609 |747481 | 24.0 | 19M| 64 | 38 | 231 | 10k| 231 |2456 | 4 | 20k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
119.25/119.33 c 119s| 24900 | 609 |749734 | 24.0 | 19M| 64 | 36 | 231 | 10k| 231 |2456 | 4 | 20k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
119.56/119.65 c 120s| 25000 | 605 |751841 | 24.0 | 19M| 64 | 26 | 231 | 10k| 231 |2456 | 4 | 20k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
119.86/119.91 c 120s| 25100 | 605 |753607 | 24.0 | 19M| 64 | - | 231 | 11k| 0 | 0 | 4 | 20k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
120.16/120.24 c 120s| 25200 | 597 |755752 | 24.0 | 19M| 64 | - | 231 | 11k| 231 |2456 | 4 | 20k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
120.45/120.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
120.45/120.51 c 121s| 25300 | 587 |757621 | 24.0 | 19M| 64 | - | 231 | 10k| 231 |2456 | 4 | 20k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
120.76/120.88 c 121s| 25400 | 581 |760374 | 24.0 | 19M| 64 | 35 | 231 | 10k| 231 |2456 | 4 | 20k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
121.06/121.13 c 121s| 25500 | 577 |762083 | 23.9 | 19M| 64 | - | 231 | 10k| 231 |2456 | 4 | 20k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
121.36/121.43 c 121s| 25600 | 571 |764240 | 23.9 | 19M| 64 | 27 | 231 | 10k| 231 |2456 | 4 | 20k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
121.55/121.69 c 122s| 25700 | 566 |766134 | 23.9 | 19M| 64 | - | 231 | 10k| 231 |2456 | 4 | 20k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
121.96/122.00 c 122s| 25800 | 555 |768284 | 23.9 | 19M| 64 | - | 231 | 10k| 231 |2456 | 4 | 20k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
122.26/122.33 c 122s| 25900 | 553 |770499 | 23.9 | 19M| 64 | - | 231 | 10k| 231 |2456 | 4 | 20k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
122.55/122.61 c 123s| 26000 | 553 |772543 | 23.9 | 19M| 64 | 30 | 231 | 10k| 231 |2456 | 4 | 20k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
122.85/122.94 c 123s| 26100 | 553 |774753 | 23.9 | 19M| 64 | - | 231 | 10k| 231 |2456 | 4 | 20k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
123.06/123.19 c 123s| 26200 | 553 |776549 | 23.9 | 19M| 64 | 31 | 231 | 10k| 231 |2456 | 4 | 20k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
123.35/123.47 c 123s| 26300 | 550 |778545 | 23.9 | 19M| 64 | 34 | 231 | 10k| 231 |2456 | 4 | 21k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
123.65/123.77 c 124s| 26400 | 554 |780559 | 23.8 | 19M| 64 | - | 231 | 10k| 0 | 0 | 4 | 21k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
123.96/124.02 c 124s| 26500 | 557 |782346 | 23.8 | 19M| 64 | 25 | 231 | 10k| 231 |2456 | 4 | 21k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
124.26/124.34 c 124s| 26600 | 560 |784566 | 23.8 | 19M| 64 | - | 231 | 10k| 231 |2456 | 4 | 21k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
124.55/124.62 c 125s| 26700 | 557 |786748 | 23.8 | 19M| 64 | - | 231 | 11k| 231 |2456 | 4 | 21k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
124.75/124.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
124.75/124.88 c 125s| 26800 | 551 |788532 | 23.8 | 19M| 64 | 34 | 231 | 11k| 231 |2456 | 4 | 21k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
125.16/125.21 c 125s| 26900 | 545 |790716 | 23.8 | 19M| 64 | - | 231 | 11k| 231 |2456 | 4 | 21k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
125.36/125.50 c 125s| 27000 | 541 |792703 | 23.8 | 19M| 64 | - | 231 | 11k| 231 |2456 | 4 | 21k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
125.75/125.81 c 126s| 27100 | 545 |794817 | 23.8 | 19M| 64 | 29 | 231 | 11k| 231 |2456 | 4 | 21k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
126.06/126.10 c 126s| 27200 | 545 |796940 | 23.8 | 19M| 64 | - | 231 | 10k| 231 |2456 | 4 | 21k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
126.26/126.39 c 126s| 27300 | 543 |798989 | 23.8 | 19M| 64 | 29 | 231 | 11k| 231 |2456 | 4 | 21k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
126.65/126.73 c 127s| 27400 | 536 |801260 | 23.8 | 19M| 64 | - | 231 | 11k| 231 |2456 | 4 | 21k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
126.96/127.02 c 127s| 27500 | 538 |803394 | 23.7 | 19M| 64 | - | 231 | 11k| 231 |2456 | 4 | 21k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
127.26/127.36 c 127s| 27600 | 542 |805801 | 23.8 | 19M| 64 | - | 231 | 11k| 231 |2456 | 4 | 21k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
127.56/127.70 c 128s| 27700 | 540 |808122 | 23.7 | 19M| 64 | 45 | 231 | 11k| 231 |2456 | 4 | 21k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
127.96/128.01 c 128s| 27800 | 544 |810367 | 23.7 | 19M| 64 | - | 231 | 11k| 231 |2456 | 4 | 21k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
128.25/128.35 c 128s| 27900 | 543 |812765 | 23.7 | 19M| 64 | - | 231 | 11k| 231 |2456 | 4 | 21k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
128.56/128.68 c 129s| 28000 | 541 |814989 | 23.7 | 19M| 64 | 33 | 231 | 11k| 231 |2456 | 4 | 22k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
128.95/129.01 c 129s| 28100 | 538 |817407 | 23.7 | 19M| 64 | - | 231 | 11k| 231 |2456 | 4 | 22k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
129.16/129.30 c 129s| 28200 | 529 |819393 | 23.7 | 19M| 64 | - | 231 | 11k| 231 |2456 | 4 | 22k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
129.55/129.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
129.55/129.64 c 130s| 28300 | 531 |821659 | 23.7 | 19M| 64 | 29 | 231 | 11k| 231 |2456 | 4 | 22k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
129.87/129.99 c 130s| 28400 | 524 |824100 | 23.7 | 19M| 64 | 32 | 231 | 11k| 231 |2456 | 4 | 22k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
130.25/130.36 c 130s| 28500 | 516 |826799 | 23.7 | 19M| 64 | - | 231 | 11k| 231 |2456 | 4 | 22k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
130.55/130.64 c 131s| 28600 | 512 |828695 | 23.7 | 19M| 64 | 36 | 231 | 11k| 231 |2456 | 4 | 22k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
130.86/130.97 c 131s| 28700 | 503 |830825 | 23.7 | 19M| 64 | - | 231 | 11k| 0 | 0 | 4 | 22k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
131.16/131.28 c 131s| 28800 | 500 |833007 | 23.7 | 19M| 64 | 33 | 231 | 11k| 231 |2456 | 4 | 22k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
131.46/131.52 c 132s| 28900 | 494 |834684 | 23.7 | 19M| 64 | 39 | 231 | 11k| 231 |2456 | 4 | 22k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
131.76/131.86 c 132s| 29000 | 492 |836755 | 23.7 | 19M| 64 | 33 | 231 | 11k| 231 |2456 | 4 | 22k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
132.06/132.18 c 132s| 29100 | 488 |839104 | 23.7 | 19M| 64 | 48 | 231 | 11k| 231 |2456 | 4 | 22k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
132.35/132.50 c 132s| 29200 | 480 |841342 | 23.7 | 19M| 64 | - | 231 | 11k| 231 |2456 | 4 | 22k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
132.66/132.79 c 133s| 29300 | 470 |843237 | 23.7 | 19M| 64 | - | 231 | 11k| 0 | 0 | 4 | 22k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
132.95/133.08 c 133s| 29400 | 461 |845172 | 23.7 | 18M| 64 | - | 231 | 11k| 231 |2456 | 4 | 22k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
133.25/133.37 c 133s| 29500 | 449 |847123 | 23.6 | 18M| 64 | - | 231 | 11k| 231 |2456 | 4 | 22k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
133.56/133.66 c 134s| 29600 | 449 |849103 | 23.6 | 18M| 64 | 41 | 231 | 11k| 231 |2456 | 4 | 23k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
133.95/134.01 c 134s| 29700 | 444 |851540 | 23.6 | 18M| 64 | - | 231 | 11k| 231 |2456 | 4 | 23k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
134.26/134.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
134.26/134.38 c 134s| 29800 | 446 |854147 | 23.6 | 18M| 64 | 41 | 231 | 10k| 231 |2456 | 4 | 23k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
134.55/134.69 c 135s| 29900 | 440 |856067 | 23.6 | 18M| 64 | 25 | 231 | 10k| 231 |2456 | 4 | 23k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
134.86/134.96 c 135s| 30000 | 429 |857939 | 23.6 | 18M| 64 | - | 231 | 10k| 231 |2456 | 4 | 23k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
135.15/135.25 c 135s| 30100 | 423 |859837 | 23.6 | 18M| 64 | - | 231 | 10k| 0 | 0 | 4 | 23k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
135.45/135.55 c 136s| 30200 | 424 |861988 | 23.6 | 18M| 64 | - | 231 | 10k| 231 |2456 | 4 | 23k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
135.85/135.92 c 136s| 30300 | 417 |864333 | 23.6 | 18M| 64 | 33 | 231 | 10k| 231 |2456 | 4 | 23k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
136.06/136.19 c 136s| 30400 | 422 |866263 | 23.6 | 18M| 64 | 41 | 231 | 10k| 231 |2456 | 4 | 23k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
136.36/136.50 c 137s| 30500 | 416 |868447 | 23.6 | 18M| 64 | 41 | 231 | 10k| 231 |2456 | 4 | 23k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
136.76/136.82 c 137s| 30600 | 420 |870672 | 23.6 | 18M| 64 | - | 231 | 10k| 231 |2456 | 4 | 23k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
137.05/137.18 c 137s| 30700 | 423 |872892 | 23.6 | 18M| 64 | 25 | 231 | 10k| 231 |2456 | 4 | 23k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
137.36/137.48 c 137s| 30800 | 421 |875136 | 23.6 | 18M| 64 | 34 | 231 | 10k| 231 |2456 | 4 | 23k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
137.75/137.81 c 138s| 30900 | 421 |877606 | 23.6 | 18M| 64 | 40 | 231 | 10k| 231 |2456 | 4 | 23k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
138.05/138.14 c 138s| 31000 | 419 |880222 | 23.6 | 18M| 64 | - | 231 | 10k| 231 |2456 | 4 | 23k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
138.35/138.44 c 138s| 31100 | 421 |882330 | 23.6 | 18M| 64 | - | 231 | 10k| 231 |2456 | 4 | 23k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
138.66/138.74 c 139s| 31200 | 423 |884504 | 23.6 | 18M| 64 | - | 231 | 10k| 231 |2456 | 4 | 23k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
139.05/139.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
139.05/139.10 c 139s| 31300 | 423 |886829 | 23.6 | 18M| 64 | - | 231 | 10k| 231 |2456 | 4 | 24k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
139.35/139.44 c 139s| 31400 | 423 |889112 | 23.6 | 18M| 64 | - | 231 | 10k| 231 |2456 | 4 | 24k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
139.66/139.76 c 140s| 31500 | 425 |891369 | 23.6 | 18M| 64 | - | 231 | 10k| 231 |2456 | 4 | 24k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
140.06/140.13 c 140s| 31600 | 429 |893852 | 23.6 | 18M| 64 | 29 | 231 | 10k| 231 |2456 | 4 | 24k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
140.35/140.43 c 140s| 31700 | 425 |896004 | 23.6 | 18M| 64 | - | 231 | 10k| 231 |2456 | 4 | 24k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
140.65/140.76 c 141s| 31800 | 429 |898217 | 23.6 | 18M| 64 | 37 | 231 | 10k| 231 |2456 | 4 | 24k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
140.95/141.06 c 141s| 31900 | 430 |900232 | 23.5 | 18M| 64 | - | 231 | 10k| 231 |2456 | 4 | 24k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
141.35/141.40 c 141s| 32000 | 428 |902619 | 23.5 | 18M| 64 | - | 231 | 10k| 231 |2456 | 4 | 24k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
141.66/141.72 c 142s| 32100 | 441 |904881 | 23.5 | 18M| 64 | - | 231 | 10k| 231 |2456 | 4 | 24k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
141.96/142.06 c 142s| 32200 | 433 |907218 | 23.5 | 18M| 64 | 34 | 231 | 10k| 231 |2456 | 4 | 24k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
142.25/142.34 c 142s| 32300 | 433 |909330 | 23.5 | 18M| 64 | 32 | 231 | 10k| 231 |2456 | 4 | 24k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
142.66/142.70 c 143s| 32400 | 433 |911976 | 23.5 | 18M| 64 | 42 | 231 | 10k| 231 |2456 | 4 | 24k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
142.96/143.05 c 143s| 32500 | 431 |914701 | 23.6 | 18M| 64 | - | 231 | 10k| 231 |2456 | 4 | 24k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
143.35/143.44 c 143s| 32600 | 431 |917483 | 23.6 | 18M| 64 | 23 | 231 | 10k| 231 |2456 | 4 | 24k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
143.75/143.81 c 144s| 32700 | 433 |920029 | 23.6 | 18M| 64 | 30 | 231 | 10k| 231 |2456 | 4 | 24k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
143.95/144.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
143.95/144.09 c 144s| 32800 | 418 |922105 | 23.6 | 18M| 64 | - | 231 | 11k| 231 |2456 | 4 | 25k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
144.35/144.40 c 144s| 32900 | 410 |924268 | 23.6 | 18M| 64 | 37 | 231 | 11k| 231 |2456 | 4 | 25k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
144.65/144.75 c 145s| 33000 | 411 |926748 | 23.6 | 18M| 64 | 41 | 231 | 10k| 231 |2456 | 4 | 25k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
144.95/145.05 c 145s| 33100 | 415 |928754 | 23.6 | 18M| 64 | 31 | 231 | 10k| 231 |2456 | 4 | 25k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
145.35/145.43 c 145s| 33200 | 425 |931487 | 23.6 | 18M| 64 | - | 231 | 10k| 231 |2456 | 4 | 25k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
145.65/145.76 c 146s| 33300 | 433 |933676 | 23.6 | 18M| 64 | 25 | 231 | 10k| 231 |2456 | 4 | 25k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
145.95/146.07 c 146s| 33400 | 445 |936036 | 23.6 | 18M| 64 | - | 231 | 10k| 231 |2456 | 4 | 25k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
146.36/146.43 c 146s| 33500 | 447 |938334 | 23.6 | 18M| 64 | - | 231 | 10k| 231 |2456 | 4 | 25k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
146.65/146.75 c 147s| 33600 | 453 |940754 | 23.6 | 18M| 64 | - | 231 | 10k| 231 |2456 | 4 | 25k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
146.96/147.09 c 147s| 33700 | 453 |942988 | 23.6 | 18M| 64 | 33 | 231 | 11k| 231 |2456 | 4 | 25k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
147.25/147.37 c 147s| 33800 | 453 |945060 | 23.6 | 19M| 64 | - | 231 | 11k| 231 |2456 | 4 | 25k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
147.55/147.68 c 148s| 33900 | 459 |947346 | 23.5 | 19M| 64 | - | 231 | 11k| 231 |2456 | 4 | 25k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
147.95/148.02 c 148s| 34000 | 458 |949697 | 23.5 | 19M| 64 | 29 | 231 | 11k| 231 |2456 | 4 | 25k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
148.25/148.37 c 148s| 34100 | 454 |952065 | 23.5 | 19M| 64 | 37 | 231 | 11k| 231 |2456 | 4 | 25k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
148.56/148.67 c 149s| 34200 | 450 |954192 | 23.5 | 19M| 64 | 27 | 231 | 11k| 231 |2456 | 4 | 25k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
148.85/148.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
148.85/148.99 c 149s| 34300 | 453 |956340 | 23.5 | 19M| 64 | 48 | 231 | 11k| 231 |2456 | 4 | 25k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
149.25/149.31 c 149s| 34400 | 451 |958640 | 23.5 | 19M| 64 | 35 | 231 | 11k| 231 |2456 | 4 | 25k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
149.55/149.66 c 150s| 34500 | 446 |960993 | 23.5 | 19M| 64 | - | 231 | 11k| 231 |2456 | 4 | 26k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
149.85/149.97 c 150s| 34600 | 446 |963031 | 23.5 | 19M| 64 | 35 | 231 | 11k| 231 |2456 | 4 | 26k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
150.25/150.31 c 150s| 34700 | 446 |965368 | 23.5 | 19M| 64 | 25 | 231 | 11k| 231 |2456 | 4 | 26k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
150.55/150.65 c 151s| 34800 | 452 |967605 | 23.5 | 19M| 64 | 26 | 231 | 11k| 231 |2456 | 4 | 26k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
150.85/150.98 c 151s| 34900 | 450 |970087 | 23.5 | 19M| 64 | 42 | 231 | 11k| 231 |2456 | 4 | 26k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
151.25/151.33 c 151s| 35000 | 444 |972233 | 23.5 | 19M| 64 | 45 | 231 | 11k| 231 |2456 | 4 | 26k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
151.55/151.63 c 152s| 35100 | 432 |974264 | 23.5 | 19M| 64 | - | 231 | 11k| 231 |2456 | 4 | 26k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
151.86/151.96 c 152s| 35200 | 432 |976389 | 23.5 | 19M| 64 | 40 | 231 | 11k| 231 |2456 | 4 | 26k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
152.25/152.30 c 152s| 35300 | 420 |978649 | 23.5 | 19M| 64 | - | 231 | 11k| 231 |2456 | 4 | 26k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
152.55/152.62 c 153s| 35400 | 418 |980760 | 23.5 | 19M| 64 | 29 | 231 | 11k| 231 |2456 | 4 | 26k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
152.75/152.88 c 153s| 35500 | 418 |982749 | 23.5 | 19M| 64 | - | 231 | 11k| 231 |2456 | 4 | 26k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
153.05/153.19 c 153s| 35600 | 408 |984843 | 23.5 | 19M| 64 | 30 | 231 | 11k| 231 |2456 | 4 | 26k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
153.45/153.51 c 154s| 35700 | 410 |986909 | 23.5 | 19M| 64 | 22 | 231 | 11k| 231 |2456 | 4 | 26k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
153.75/153.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
153.75/153.82 c 154s| 35800 | 398 |988797 | 23.5 | 19M| 64 | 37 | 231 | 11k| 231 |2456 | 4 | 26k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
153.95/154.05 c 154s| 35900 | 396 |990391 | 23.5 | 19M| 64 | 33 | 231 | 11k| 231 |2456 | 4 | 26k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
154.25/154.37 c 154s| 36000 | 392 |992585 | 23.4 | 19M| 64 | 35 | 231 | 11k| 231 |2456 | 4 | 26k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
154.55/154.68 c 155s| 36100 | 389 |994691 | 23.4 | 19M| 64 | 44 | 231 | 11k| 231 |2456 | 4 | 27k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
154.85/154.96 c 155s| 36200 | 377 |996517 | 23.4 | 18M| 64 | - | 231 | 11k| 231 |2456 | 4 | 27k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
155.16/155.27 c 155s| 36300 | 373 |998506 | 23.4 | 18M| 64 | - | 231 | 11k| 231 |2456 | 4 | 27k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
155.55/155.61 c 156s| 36400 | 371 | 1000k| 23.4 | 18M| 64 | - | 231 | 11k| 231 |2456 | 4 | 27k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
155.85/155.90 c 156s| 36500 | 363 | 1002k| 23.4 | 18M| 64 | 33 | 231 | 11k| 231 |2456 | 4 | 27k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
156.05/156.18 c 156s| 36600 | 355 | 1004k| 23.4 | 18M| 64 | 43 | 231 | 11k| 231 |2456 | 4 | 27k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
156.45/156.53 c 157s| 36700 | 360 | 1007k| 23.4 | 18M| 64 | 27 | 231 | 11k| 231 |2456 | 4 | 27k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
156.75/156.83 c 157s| 36800 | 357 | 1009k| 23.4 | 18M| 64 | - | 231 | 11k| 0 | 0 | 4 | 27k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
157.05/157.16 c 157s| 36900 | 364 | 1011k| 23.4 | 18M| 64 | 39 | 231 | 11k| 231 |2456 | 4 | 27k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
157.45/157.54 c 158s| 37000 | 365 | 1014k| 23.4 | 18M| 64 | - | 231 | 11k| 0 | 0 | 4 | 27k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
157.75/157.83 c 158s| 37100 | 363 | 1016k| 23.4 | 18M| 64 | - | 231 | 11k| 0 | 0 | 4 | 27k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
158.05/158.12 c 158s| 37200 | 361 | 1018k| 23.4 | 18M| 64 | 38 | 231 | 11k| 231 |2456 | 4 | 27k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
158.36/158.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
158.36/158.46 c 158s| 37300 | 361 | 1020k| 23.4 | 18M| 64 | - | 231 | 11k| 231 |2456 | 4 | 27k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
158.65/158.78 c 159s| 37400 | 362 | 1022k| 23.4 | 18M| 64 | - | 231 | 11k| 231 |2456 | 4 | 27k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
158.95/159.08 c 159s| 37500 | 363 | 1024k| 23.4 | 18M| 64 | 33 | 231 | 11k| 231 |2456 | 4 | 28k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
159.25/159.36 c 159s| 37600 | 363 | 1026k| 23.4 | 18M| 64 | 33 | 231 | 11k| 231 |2456 | 4 | 28k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
159.65/159.73 c 160s| 37700 | 361 | 1029k| 23.4 | 19M| 64 | 20 | 231 | 11k| 231 |2456 | 4 | 28k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
159.95/160.06 c 160s| 37800 | 362 | 1031k| 23.4 | 19M| 64 | - | 231 | 11k| 0 | 0 | 4 | 28k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
160.25/160.36 c 160s| 37900 | 361 | 1034k| 23.4 | 19M| 64 | 34 | 231 | 11k| 231 |2456 | 4 | 28k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
160.66/160.71 c 161s| 38000 | 359 | 1036k| 23.4 | 19M| 64 | - | 231 | 12k| 231 |2456 | 4 | 28k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
161.05/161.11 c 161s| 38100 | 359 | 1039k| 23.4 | 19M| 64 | 38 | 231 | 12k| 231 |2456 | 4 | 28k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
161.35/161.43 c 161s| 38200 | 357 | 1042k| 23.4 | 19M| 64 | - | 231 | 12k| 231 |2456 | 4 | 28k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
161.65/161.80 c 162s| 38300 | 357 | 1044k| 23.4 | 19M| 64 | 27 | 231 | 12k| 231 |2456 | 4 | 28k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
161.95/162.06 c 162s| 38400 | 356 | 1046k| 23.4 | 19M| 64 | - | 231 | 12k| 231 |2456 | 4 | 28k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
162.25/162.33 c 162s| 38500 | 357 | 1048k| 23.4 | 19M| 64 | 20 | 231 | 12k| 231 |2456 | 4 | 28k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
162.45/162.52 c 163s| 38600 | 358 | 1049k| 23.4 | 19M| 64 | 16 | 231 | 12k| 231 |2456 | 4 | 28k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
162.65/162.76 c 163s| 38700 | 359 | 1050k| 23.3 | 19M| 64 | 29 | 231 | 12k| 231 |2456 | 4 | 29k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
162.95/163.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
162.95/163.01 c 163s| 38800 | 361 | 1052k| 23.3 | 19M| 64 | 33 | 231 | 12k| 231 |2456 | 4 | 29k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
163.24/163.30 c 163s| 38900 | 363 | 1054k| 23.3 | 19M| 64 | - | 231 | 12k| 231 |2456 | 4 | 29k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
163.45/163.55 c 164s| 39000 | 368 | 1056k| 23.3 | 19M| 64 | - | 231 | 12k| 231 |2456 | 4 | 29k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
163.75/163.86 c 164s| 39100 | 366 | 1058k| 23.3 | 19M| 64 | - | 231 | 12k| 231 |2456 | 4 | 29k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
164.05/164.11 c 164s| 39200 | 371 | 1060k| 23.3 | 19M| 64 | - | 231 | 12k| 231 |2456 | 4 | 29k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
164.25/164.39 c 164s| 39300 | 361 | 1062k| 23.3 | 19M| 64 | 35 | 231 | 12k| 231 |2456 | 4 | 29k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
164.55/164.68 c 165s| 39400 | 358 | 1064k| 23.3 | 19M| 64 | 22 | 231 | 12k| 231 |2456 | 4 | 29k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
164.85/164.99 c 165s| 39500 | 350 | 1066k| 23.3 | 19M| 64 | 31 | 231 | 12k| 231 |2456 | 4 | 29k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
165.25/165.32 c 165s| 39600 | 353 | 1068k| 23.3 | 19M| 64 | - | 231 | 12k| 231 |2456 | 4 | 29k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
165.45/165.59 c 166s| 39700 | 354 | 1070k| 23.3 | 19M| 64 | 35 | 231 | 12k| 231 |2456 | 4 | 29k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
165.84/165.95 c 166s| 39800 | 354 | 1073k| 23.3 | 19M| 64 | - | 231 | 12k| 231 |2456 | 4 | 29k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
166.15/166.29 c 166s| 39900 | 356 | 1075k| 23.3 | 19M| 64 | 38 | 231 | 12k| 231 |2456 | 4 | 29k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
166.54/166.65 c 167s| 40000 | 352 | 1077k| 23.3 | 19M| 64 | - | 231 | 12k| 231 |2456 | 4 | 29k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
166.74/166.89 c 167s| 40100 | 356 | 1079k| 23.3 | 19M| 64 | 36 | 231 | 13k| 231 |2456 | 4 | 29k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
167.15/167.23 c 167s| 40200 | 359 | 1082k| 23.3 | 19M| 64 | 27 | 231 | 13k| 231 |2456 | 4 | 30k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
167.45/167.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
167.45/167.53 c 168s| 40300 | 362 | 1084k| 23.3 | 19M| 64 | 41 | 231 | 13k| 231 |2456 | 4 | 30k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
167.85/167.90 c 168s| 40400 | 353 | 1086k| 23.3 | 19M| 64 | - | 231 | 13k| 231 |2456 | 4 | 30k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
168.15/168.22 c 168s| 40500 | 349 | 1089k| 23.3 | 19M| 64 | 38 | 231 | 13k| 231 |2456 | 4 | 30k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
168.44/168.56 c 169s| 40600 | 343 | 1091k| 23.3 | 19M| 64 | 34 | 231 | 13k| 231 |2456 | 4 | 30k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
168.75/168.85 c 169s| 40700 | 338 | 1093k| 23.3 | 19M| 64 | - | 231 | 13k| 231 |2456 | 4 | 30k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
169.05/169.17 c 169s| 40800 | 330 | 1095k| 23.3 | 19M| 64 | - | 231 | 13k| 231 |2456 | 4 | 30k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
169.45/169.53 c 170s| 40900 | 318 | 1098k| 23.3 | 19M| 64 | 40 | 231 | 12k| 231 |2456 | 4 | 30k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
169.75/169.82 c 170s| 41000 | 316 | 1100k| 23.2 | 19M| 64 | - | 231 | 12k| 231 |2456 | 4 | 30k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
170.15/170.20 c 170s| 41100 | 308 | 1102k| 23.3 | 19M| 64 | - | 231 | 12k| 231 |2456 | 4 | 30k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
170.35/170.49 c 170s| 41200 | 305 | 1104k| 23.2 | 19M| 64 | 39 | 231 | 12k| 231 |2456 | 4 | 30k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
170.75/170.81 c 171s| 41300 | 303 | 1106k| 23.2 | 19M| 64 | 40 | 231 | 12k| 231 |2456 | 4 | 30k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
170.95/171.07 c 171s| 41400 | 299 | 1108k| 23.2 | 19M| 64 | - | 231 | 12k| 231 |2456 | 4 | 30k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
171.35/171.41 c 171s| 41500 | 301 | 1110k| 23.2 | 19M| 64 | 36 | 231 | 12k| 231 |2456 | 4 | 30k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
171.66/171.78 c 172s| 41600 | 297 | 1113k| 23.2 | 18M| 64 | - | 231 | 12k| 231 |2456 | 4 | 30k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
171.95/172.09 c 172s| 41700 | 305 | 1115k| 23.2 | 18M| 64 | - | 231 | 12k| 231 |2456 | 4 | 30k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
172.24/172.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
172.24/172.39 c 172s| 41800 | 309 | 1117k| 23.2 | 18M| 64 | 33 | 231 | 12k| 231 |2456 | 4 | 30k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
172.54/172.68 c 173s| 41900 | 310 | 1119k| 23.2 | 19M| 64 | - | 231 | 12k| 231 |2456 | 4 | 31k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
172.94/173.02 c 173s| 42000 | 310 | 1122k| 23.2 | 19M| 64 | - | 231 | 12k| 231 |2456 | 4 | 31k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
173.25/173.34 c 173s| 42100 | 310 | 1124k| 23.2 | 19M| 64 | - | 231 | 12k| 231 |2456 | 4 | 31k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
173.65/173.70 c 174s| 42200 | 316 | 1127k| 23.2 | 19M| 64 | - | 231 | 12k| 231 |2456 | 4 | 31k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
173.95/174.08 c 174s| 42300 | 328 | 1129k| 23.2 | 19M| 64 | 36 | 231 | 12k| 231 |2456 | 4 | 31k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
174.34/174.43 c 174s| 42400 | 317 | 1132k| 23.2 | 19M| 64 | - | 231 | 12k| 231 |2456 | 4 | 31k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
174.65/174.78 c 175s| 42500 | 310 | 1134k| 23.2 | 19M| 64 | - | 231 | 12k| 231 |2456 | 4 | 31k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
174.95/175.09 c 175s| 42600 | 306 | 1136k| 23.2 | 19M| 64 | - | 231 | 12k| 231 |2456 | 4 | 31k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
175.35/175.45 c 175s| 42700 | 306 | 1139k| 23.2 | 19M| 64 | 36 | 231 | 12k| 231 |2456 | 4 | 31k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
175.65/175.74 c 176s| 42800 | 311 | 1141k| 23.2 | 19M| 64 | 24 | 231 | 12k| 231 |2456 | 4 | 31k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
175.95/176.05 c 176s| 42900 | 303 | 1143k| 23.2 | 19M| 64 | 39 | 231 | 12k| 231 |2456 | 4 | 31k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
176.25/176.37 c 176s| 43000 | 294 | 1145k| 23.2 | 19M| 64 | 24 | 231 | 12k| 231 |2456 | 4 | 31k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
176.54/176.67 c 177s| 43100 | 297 | 1147k| 23.2 | 19M| 64 | - | 231 | 12k| 231 |2456 | 4 | 31k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
176.85/176.98 c 177s| 43200 | 305 | 1150k| 23.2 | 19M| 64 | 36 | 231 | 12k| 231 |2456 | 4 | 31k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
177.25/177.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
177.25/177.35 c 177s| 43300 | 306 | 1152k| 23.2 | 19M| 64 | - | 231 | 12k| 231 |2456 | 4 | 31k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
177.64/177.71 c 178s| 43400 | 308 | 1154k| 23.2 | 19M| 64 | - | 231 | 12k| 231 |2456 | 4 | 31k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
177.95/178.00 c 178s| 43500 | 310 | 1157k| 23.2 | 19M| 64 | 38 | 231 | 12k| 231 |2456 | 4 | 31k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
178.26/178.38 c 178s| 43600 | 314 | 1159k| 23.2 | 19M| 64 | 37 | 231 | 12k| 231 |2456 | 4 | 31k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
178.64/178.75 c 179s| 43700 | 313 | 1162k| 23.2 | 19M| 64 | - | 231 | 12k| 231 |2456 | 4 | 32k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
178.95/179.09 c 179s| 43800 | 303 | 1164k| 23.2 | 19M| 64 | - | 231 | 12k| 231 |2456 | 4 | 32k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
179.35/179.45 c 179s| 43900 | 294 | 1167k| 23.2 | 19M| 64 | 40 | 231 | 12k| 231 |2456 | 4 | 32k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
179.64/179.74 c 180s| 44000 | 294 | 1169k| 23.2 | 19M| 64 | 39 | 231 | 12k| 231 |2456 | 4 | 32k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
179.95/180.08 c 180s| 44100 | 284 | 1171k| 23.2 | 19M| 64 | 37 | 231 | 12k| 231 |2456 | 4 | 32k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
180.25/180.39 c 180s| 44200 | 280 | 1173k| 23.2 | 19M| 64 | - | 231 | 12k| 231 |2456 | 4 | 32k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
180.54/180.67 c 181s| 44300 | 280 | 1175k| 23.2 | 19M| 64 | - | 231 | 12k| 231 |2456 | 4 | 32k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
180.85/180.96 c 181s| 44400 | 276 | 1177k| 23.2 | 19M| 64 | - | 231 | 12k| 231 |2456 | 4 | 32k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
181.15/181.29 c 181s| 44500 | 270 | 1179k| 23.2 | 19M| 64 | 30 | 231 | 12k| 231 |2456 | 4 | 32k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
181.45/181.54 c 182s| 44600 | 268 | 1181k| 23.2 | 19M| 64 | 37 | 231 | 12k| 231 |2456 | 4 | 32k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
181.74/181.86 c 182s| 44700 | 270 | 1183k| 23.2 | 19M| 64 | - | 231 | 12k| 0 | 0 | 4 | 32k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
182.05/182.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
182.05/182.13 c 182s| 44800 | 272 | 1185k| 23.2 | 19M| 64 | - | 231 | 12k| 231 |2456 | 4 | 32k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
182.35/182.42 c 182s| 44900 | 271 | 1187k| 23.2 | 19M| 64 | 32 | 231 | 12k| 231 |2456 | 4 | 32k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
182.65/182.72 c 183s| 45000 | 278 | 1189k| 23.2 | 19M| 64 | 30 | 231 | 12k| 231 |2456 | 4 | 32k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
182.85/182.99 c 183s| 45100 | 273 | 1191k| 23.2 | 19M| 64 | 33 | 231 | 12k| 231 |2456 | 4 | 32k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
183.15/183.23 c 183s| 45200 | 267 | 1193k| 23.2 | 19M| 64 | 34 | 231 | 12k| 231 |2456 | 4 | 33k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
183.45/183.56 c 184s| 45300 | 264 | 1195k| 23.2 | 19M| 64 | - | 231 | 12k| 231 |2456 | 4 | 33k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
183.75/183.89 c 184s| 45400 | 268 | 1197k| 23.2 | 18M| 64 | 31 | 231 | 12k| 231 |2456 | 4 | 33k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
184.15/184.20 c 184s| 45500 | 268 | 1200k| 23.2 | 18M| 64 | 33 | 231 | 12k| 231 |2456 | 4 | 33k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
184.45/184.54 c 185s| 45600 | 263 | 1202k| 23.2 | 18M| 64 | 47 | 231 | 12k| 231 |2456 | 4 | 33k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
184.75/184.84 c 185s| 45700 | 267 | 1204k| 23.2 | 18M| 64 | 42 | 231 | 12k| 231 |2456 | 4 | 33k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
185.04/185.19 c 185s| 45800 | 257 | 1207k| 23.2 | 18M| 64 | - | 231 | 12k| 231 |2456 | 4 | 33k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
185.45/185.50 c 186s| 45900 | 251 | 1209k| 23.2 | 18M| 64 | - | 231 | 12k| 231 |2456 | 4 | 33k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
185.65/185.79 c 186s| 46000 | 251 | 1211k| 23.1 | 18M| 64 | 34 | 231 | 12k| 231 |2456 | 4 | 33k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
186.05/186.14 c 186s| 46100 | 253 | 1213k| 23.1 | 18M| 64 | - | 231 | 12k| 231 |2456 | 4 | 33k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
186.35/186.41 c 186s| 46200 | 251 | 1215k| 23.1 | 18M| 64 | 30 | 231 | 12k| 231 |2456 | 4 | 33k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
186.64/186.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
186.64/186.72 c 187s| 46300 | 251 | 1217k| 23.1 | 18M| 64 | 37 | 231 | 12k| 231 |2456 | 4 | 33k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
186.95/187.02 c 187s| 46400 | 251 | 1219k| 23.1 | 18M| 64 | 40 | 231 | 12k| 231 |2456 | 4 | 33k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
187.25/187.31 c 187s| 46500 | 244 | 1221k| 23.1 | 18M| 64 | - | 231 | 12k| 0 | 0 | 4 | 33k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
187.45/187.59 c 188s| 46600 | 241 | 1223k| 23.1 | 18M| 64 | - | 231 | 12k| 231 |2456 | 4 | 33k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
187.85/187.91 c 188s| 46700 | 228 | 1225k| 23.1 | 18M| 64 | 46 | 231 | 12k| 231 |2456 | 4 | 33k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
188.05/188.18 c 188s| 46800 | 220 | 1227k| 23.1 | 18M| 64 | - | 231 | 12k| 231 |2456 | 4 | 34k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
188.44/188.51 c 189s| 46900 | 217 | 1229k| 23.1 | 18M| 65 | 42 | 231 | 11k| 231 |2456 | 4 | 34k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
188.75/188.84 c 189s| 47000 | 217 | 1232k| 23.1 | 18M| 65 | - | 231 | 12k| 231 |2456 | 4 | 34k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
189.04/189.10 c 189s| 47100 | 226 | 1233k| 23.1 | 18M| 65 | - | 231 | 12k| 231 |2456 | 4 | 34k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
189.25/189.37 c 189s| 47200 | 220 | 1235k| 23.1 | 18M| 65 | - | 231 | 12k| 231 |2456 | 4 | 34k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
189.64/189.73 c 190s| 47300 | 208 | 1238k| 23.1 | 18M| 65 | 28 | 231 | 12k| 231 |2456 | 4 | 34k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
189.95/190.01 c 190s| 47400 | 202 | 1239k| 23.1 | 18M| 65 | 39 | 231 | 11k| 231 |2456 | 4 | 34k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
190.25/190.31 c 190s| 47500 | 204 | 1242k| 23.1 | 18M| 65 | 37 | 231 | 11k| 231 |2456 | 4 | 34k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
190.55/190.68 c 191s| 47600 | 199 | 1244k| 23.1 | 18M| 65 | - | 231 | 11k| 231 |2456 | 4 | 34k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
190.95/191.01 c 191s| 47700 | 200 | 1246k| 23.1 | 18M| 65 | - | 231 | 11k| 231 |2456 | 4 | 34k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
191.25/191.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
191.25/191.38 c 191s| 47800 | 200 | 1249k| 23.1 | 18M| 65 | 37 | 231 | 11k| 231 |2456 | 4 | 34k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
191.64/191.75 c 192s| 47900 | 199 | 1252k| 23.1 | 18M| 65 | 35 | 231 | 11k| 231 |2456 | 4 | 34k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
192.04/192.12 c 192s| 48000 | 199 | 1254k| 23.1 | 18M| 65 | 48 | 231 | 11k| 231 |2456 | 4 | 34k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
192.34/192.49 c 192s| 48100 | 199 | 1257k| 23.1 | 18M| 65 | 39 | 231 | 11k| 231 |2456 | 4 | 35k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
192.75/192.87 c 193s| 48200 | 202 | 1260k| 23.1 | 18M| 65 | 40 | 231 | 11k| 231 |2456 | 4 | 35k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
193.04/193.18 c 193s| 48300 | 207 | 1262k| 23.1 | 18M| 65 | - | 231 | 11k| 0 | 0 | 4 | 35k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
193.45/193.58 c 194s| 48400 | 204 | 1264k| 23.1 | 18M| 65 | 38 | 231 | 11k| 231 |2456 | 4 | 35k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
193.75/193.88 c 194s| 48500 | 201 | 1267k| 23.1 | 18M| 65 | 39 | 231 | 12k| 231 |2456 | 4 | 35k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
194.14/194.24 c 194s| 48600 | 200 | 1269k| 23.1 | 18M| 65 | - | 231 | 12k| 231 |2456 | 4 | 35k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
194.55/194.63 c 195s| 48700 | 200 | 1272k| 23.1 | 18M| 65 | - | 231 | 12k| 231 |2456 | 4 | 35k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
194.84/194.96 c 195s| 48800 | 197 | 1275k| 23.1 | 18M| 65 | - | 231 | 12k| 231 |2456 | 4 | 35k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
195.24/195.34 c 195s| 48900 | 193 | 1277k| 23.1 | 18M| 65 | - | 231 | 12k| 0 | 0 | 4 | 35k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
195.54/195.64 c 196s| 49000 | 200 | 1279k| 23.1 | 18M| 65 | 41 | 231 | 12k| 231 |2456 | 4 | 35k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
195.85/195.95 c 196s| 49100 | 188 | 1281k| 23.1 | 18M| 65 | 39 | 231 | 12k| 231 |2456 | 4 | 35k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
196.15/196.27 c 196s| 49200 | 176 | 1283k| 23.1 | 18M| 65 | - | 231 | 11k| 231 |2456 | 4 | 35k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
196.44/196.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
196.44/196.55 c 197s| 49300 | 178 | 1285k| 23.1 | 18M| 65 | 29 | 231 | 11k| 231 |2456 | 4 | 35k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
196.74/196.88 c 197s| 49400 | 171 | 1287k| 23.1 | 18M| 65 | 38 | 231 | 11k| 231 |2456 | 4 | 35k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
197.05/197.17 c 197s| 49500 | 169 | 1289k| 23.1 | 18M| 65 | - | 231 | 11k| 231 |2456 | 4 | 36k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
197.35/197.46 c 197s| 49600 | 170 | 1291k| 23.1 | 18M| 65 | 35 | 231 | 11k| 231 |2456 | 4 | 36k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
197.65/197.76 c 198s| 49700 | 157 | 1293k| 23.1 | 18M| 65 | - | 231 | 11k| 231 |2456 | 4 | 36k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
198.05/198.19 c 198s| 49800 | 167 | 1296k| 23.1 | 18M| 65 | - | 231 | 11k| 231 |2456 | 4 | 36k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
198.44/198.52 c 199s| 49900 | 167 | 1299k| 23.1 | 18M| 65 | - | 231 | 11k| 0 | 0 | 4 | 36k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
198.74/198.87 c 199s| 50000 | 162 | 1301k| 23.1 | 18M| 65 | - | 231 | 11k| 231 |2456 | 4 | 36k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
199.05/199.17 c 199s| 50100 | 144 | 1303k| 23.1 | 18M| 65 | - | 231 | 11k| 231 |2456 | 4 | 36k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
199.45/199.52 c 200s| 50200 | 132 | 1305k| 23.1 | 17M| 65 | 33 | 231 | 10k| 231 |2456 | 4 | 36k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
199.74/199.87 c 200s| 50300 | 132 | 1308k| 23.1 | 17M| 65 | - | 231 | 10k| 231 |2456 | 4 | 36k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
200.04/200.17 c 200s| 50400 | 134 | 1310k| 23.1 | 17M| 65 | - | 231 | 10k| 231 |2456 | 4 | 36k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
200.44/200.55 c 201s| 50500 | 140 | 1312k| 23.1 | 17M| 65 | - | 231 | 10k| 231 |2456 | 4 | 36k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
200.84/200.94 c 201s| 50600 | 150 | 1315k| 23.1 | 17M| 65 | 34 | 231 | 10k| 231 |2456 | 4 | 36k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
201.25/201.32 c 201s| 50700 | 153 | 1318k| 23.1 | 17M| 65 | 24 | 231 |9986 | 231 |2456 | 4 | 36k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
201.54/201.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
201.54/201.62 c 202s| 50800 | 147 | 1320k| 23.1 | 17M| 65 | - | 231 |9999 | 231 |2456 | 4 | 36k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
201.84/201.96 c 202s| 50900 | 150 | 1322k| 23.1 | 17M| 65 | - | 231 |9947 | 231 |2456 | 4 | 36k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
202.14/202.27 c 202s| 51000 | 158 | 1324k| 23.1 | 17M| 65 | - | 231 |9905 | 231 |2456 | 4 | 36k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
202.55/202.60 c 203s| 51100 | 160 | 1327k| 23.1 | 17M| 65 | 39 | 231 |9898 | 231 |2456 | 4 | 37k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
202.85/202.91 c 203s| 51200 | 163 | 1329k| 23.1 | 17M| 65 | 25 | 231 |9925 | 231 |2456 | 4 | 37k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
203.14/203.22 c 203s| 51300 | 165 | 1331k| 23.1 | 17M| 65 | - | 231 |9956 | 231 |2456 | 4 | 37k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
203.34/203.50 c 204s| 51400 | 166 | 1333k| 23.1 | 17M| 65 | 31 | 231 | 10k| 231 |2456 | 4 | 37k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
203.75/203.83 c 204s| 51500 | 169 | 1336k| 23.1 | 17M| 65 | 33 | 231 | 10k| 231 |2456 | 4 | 37k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
204.04/204.17 c 204s| 51600 | 175 | 1338k| 23.1 | 17M| 65 | - | 231 | 10k| 231 |2456 | 4 | 37k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
204.44/204.58 c 205s| 51700 | 176 | 1341k| 23.1 | 17M| 65 | - | 231 | 10k| 231 |2456 | 4 | 37k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
204.84/204.93 c 205s| 51800 | 186 | 1343k| 23.1 | 17M| 65 | 36 | 231 | 10k| 231 |2456 | 4 | 37k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
205.24/205.34 c 205s| 51900 | 198 | 1346k| 23.1 | 17M| 65 | 51 | 231 | 10k| 231 |2456 | 4 | 37k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
205.55/205.66 c 206s| 52000 | 207 | 1349k| 23.1 | 18M| 65 | 44 | 231 | 10k| 231 |2456 | 4 | 37k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
205.84/205.95 c 206s| 52100 | 205 | 1351k| 23.1 | 18M| 65 | 31 | 231 | 10k| 231 |2456 | 4 | 37k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
206.24/206.30 c 206s| 52200 | 203 | 1353k| 23.1 | 18M| 65 | - | 231 | 10k| 231 |2456 | 4 | 37k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
206.55/206.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
206.55/206.65 c 207s| 52300 | 203 | 1355k| 23.1 | 18M| 65 | 43 | 231 | 10k| 231 |2456 | 4 | 37k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
206.85/206.92 c 207s| 52400 | 202 | 1357k| 23.1 | 18M| 65 | 43 | 231 | 10k| 231 |2456 | 4 | 37k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
207.24/207.30 c 207s| 52500 | 197 | 1360k| 23.1 | 18M| 65 | - | 231 | 10k| 231 |2456 | 4 | 38k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
207.44/207.59 c 208s| 52600 | 200 | 1362k| 23.1 | 18M| 65 | 37 | 231 | 10k| 231 |2456 | 4 | 38k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
207.85/207.91 c 208s| 52700 | 199 | 1364k| 23.1 | 18M| 65 | 41 | 231 | 10k| 231 |2456 | 4 | 38k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
208.14/208.21 c 208s| 52800 | 201 | 1366k| 23.1 | 18M| 65 | 36 | 231 | 10k| 231 |2456 | 4 | 38k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
208.44/208.55 c 209s| 52900 | 196 | 1368k| 23.1 | 18M| 65 | - | 231 | 10k| 231 |2456 | 4 | 38k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
208.75/208.89 c 209s| 53000 | 198 | 1371k| 23.1 | 18M| 65 | - | 231 | 10k| 231 |2456 | 4 | 38k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
209.05/209.19 c 209s| 53100 | 198 | 1373k| 23.1 | 18M| 65 | - | 231 | 10k| 231 |2456 | 4 | 38k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
209.34/209.49 c 209s| 53200 | 197 | 1375k| 23.1 | 18M| 65 | 41 | 231 | 10k| 231 |2456 | 4 | 38k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
209.74/209.85 c 210s| 53300 | 201 | 1377k| 23.1 | 18M| 65 | 40 | 231 | 10k| 231 |2456 | 4 | 38k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
210.05/210.20 c 210s| 53400 | 201 | 1380k| 23.1 | 18M| 65 | - | 231 | 10k| 0 | 0 | 4 | 38k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
210.44/210.54 c 211s| 53500 | 197 | 1382k| 23.1 | 18M| 65 | - | 231 | 10k| 231 |2456 | 4 | 38k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
210.84/210.91 c 211s| 53600 | 194 | 1384k| 23.1 | 18M| 65 | - | 231 | 10k| 231 |2456 | 4 | 38k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
211.04/211.19 c 211s| 53700 | 195 | 1386k| 23.1 | 18M| 65 | 42 | 231 | 10k| 231 |2456 | 4 | 38k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
211.44/211.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
211.44/211.55 c 212s| 53800 | 187 | 1389k| 23.1 | 18M| 65 | 44 | 231 | 10k| 231 |2456 | 4 | 38k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
211.74/211.86 c 212s| 53900 | 181 | 1391k| 23.1 | 18M| 65 | 28 | 231 | 11k| 231 |2456 | 4 | 38k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
212.04/212.19 c 212s| 54000 | 175 | 1393k| 23.1 | 18M| 65 | 48 | 231 | 11k| 231 |2456 | 4 | 38k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
212.45/212.57 c 213s| 54100 | 176 | 1396k| 23.1 | 18M| 65 | 35 | 231 | 11k| 231 |2456 | 4 | 39k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
212.75/212.85 c 213s| 54200 | 171 | 1398k| 23.1 | 18M| 65 | 28 | 231 | 11k| 231 |2456 | 4 | 39k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
213.04/213.19 c 213s| 54300 | 165 | 1400k| 23.1 | 18M| 65 | - | 231 | 11k| 231 |2456 | 4 | 39k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
213.45/213.50 c 214s| 54400 | 163 | 1402k| 23.1 | 18M| 65 | - | 231 | 11k| 231 |2456 | 4 | 39k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
213.74/213.82 c 214s| 54500 | 166 | 1405k| 23.1 | 18M| 65 | - | 231 | 11k| 0 | 0 | 4 | 39k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
214.04/214.15 c 214s| 54600 | 163 | 1407k| 23.1 | 18M| 65 | - | 231 | 11k| 231 |2456 | 4 | 39k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
214.34/214.47 c 214s| 54700 | 159 | 1409k| 23.1 | 18M| 65 | 43 | 231 | 11k| 231 |2456 | 4 | 39k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
214.64/214.78 c 215s| 54800 | 158 | 1411k| 23.1 | 18M| 65 | - | 231 | 11k| 231 |2456 | 4 | 39k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
214.94/215.09 c 215s| 54900 | 161 | 1413k| 23.1 | 18M| 65 | - | 231 | 11k| 231 |2456 | 4 | 39k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
215.34/215.42 c 215s| 55000 | 161 | 1415k| 23.1 | 18M| 65 | - | 231 | 11k| 231 |2456 | 4 | 39k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
215.54/215.69 c 216s| 55100 | 161 | 1417k| 23.1 | 18M| 65 | 42 | 231 | 11k| 231 |2456 | 4 | 39k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
215.84/215.96 c 216s| 55200 | 164 | 1419k| 23.1 | 18M| 65 | 36 | 231 | 11k| 231 |2456 | 4 | 39k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
216.14/216.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
216.14/216.26 c 216s| 55300 | 165 | 1421k| 23.1 | 18M| 65 | 25 | 231 | 11k| 231 |2456 | 4 | 39k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
216.54/216.61 c 217s| 55400 | 165 | 1424k| 23.1 | 18M| 65 | 38 | 231 | 11k| 231 |2456 | 4 | 39k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
216.84/216.91 c 217s| 55500 | 165 | 1426k| 23.1 | 18M| 65 | 31 | 231 | 11k| 231 |2456 | 4 | 40k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
217.14/217.25 c 217s| 55600 | 157 | 1428k| 23.1 | 18M| 65 | - | 231 | 11k| 231 |2456 | 4 | 40k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
217.54/217.60 c 218s| 55700 | 155 | 1431k| 23.1 | 18M| 65 | - | 231 | 11k| 231 |2456 | 4 | 40k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
217.85/217.93 c 218s| 55800 | 155 | 1433k| 23.1 | 18M| 65 | - | 231 | 11k| 231 |2456 | 4 | 40k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
218.14/218.26 c 218s| 55900 | 150 | 1435k| 23.1 | 18M| 65 | - | 231 | 11k| 0 | 0 | 4 | 40k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
218.44/218.57 c 219s| 56000 | 152 | 1437k| 23.1 | 18M| 65 | 49 | 231 | 11k| 231 |2456 | 4 | 40k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
218.85/218.91 c 219s| 56100 | 152 | 1440k| 23.1 | 18M| 65 | - | 231 | 11k| 231 |2456 | 4 | 40k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
219.14/219.25 c 219s| 56200 | 148 | 1442k| 23.1 | 18M| 65 | 33 | 231 | 11k| 231 |2456 | 4 | 40k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
219.64/219.71 c 220s| 56300 | 146 | 1444k| 23.1 | 18M| 65 | 44 | 231 | 11k| 231 |2456 | 4 | 40k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
219.95/220.00 c 220s| 56400 | 146 | 1446k| 23.1 | 18M| 65 | 34 | 231 | 11k| 231 |2456 | 4 | 40k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
220.24/220.34 c 220s| 56500 | 145 | 1448k| 23.1 | 18M| 65 | 31 | 231 | 11k| 231 |2456 | 4 | 40k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
220.54/220.67 c 221s| 56600 | 137 | 1451k| 23.1 | 18M| 65 | 27 | 231 | 11k| 231 |2456 | 4 | 40k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
220.84/220.93 c 221s| 56700 | 133 | 1452k| 23.0 | 18M| 65 | - | 231 | 11k| 231 |2456 | 4 | 40k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
221.15/221.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
221.15/221.29 c 221s| 56800 | 127 | 1455k| 23.1 | 18M| 65 | 45 | 231 | 11k| 231 |2456 | 4 | 40k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
221.54/221.64 c 222s| 56900 | 119 | 1457k| 23.1 | 18M| 65 | 30 | 231 | 11k| 231 |2456 | 4 | 40k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
221.84/221.97 c 222s| 57000 | 121 | 1460k| 23.1 | 18M| 65 | 34 | 231 | 11k| 231 |2456 | 4 | 41k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
222.24/222.35 c 222s| 57100 | 128 | 1462k| 23.1 | 18M| 65 | 31 | 231 | 10k| 231 |2456 | 4 | 41k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
222.54/222.69 c 223s| 57200 | 129 | 1464k| 23.1 | 18M| 65 | 42 | 231 | 10k| 231 |2456 | 4 | 41k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
222.94/223.08 c 223s| 57300 | 136 | 1467k| 23.1 | 18M| 65 | - | 231 | 10k| 0 | 0 | 4 | 41k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
223.24/223.40 c 223s| 57400 | 140 | 1469k| 23.1 | 18M| 65 | - | 231 | 10k| 231 |2456 | 4 | 41k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
223.54/223.67 c 224s| 57500 | 141 | 1471k| 23.1 | 18M| 65 | 19 | 231 | 10k| 231 |2456 | 4 | 41k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
223.84/223.96 c 224s| 57600 | 141 | 1473k| 23.1 | 18M| 65 | 36 | 231 | 10k| 231 |2456 | 4 | 41k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
224.24/224.30 c 224s| 57700 | 143 | 1476k| 23.1 | 18M| 65 | 32 | 231 | 10k| 231 |2456 | 4 | 41k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
224.54/224.62 c 225s| 57800 | 137 | 1478k| 23.1 | 18M| 65 | 41 | 231 | 10k| 231 |2456 | 4 | 41k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
224.84/224.97 c 225s| 57900 | 121 | 1480k| 23.1 | 18M| 65 | 31 | 231 | 11k| 231 |2456 | 4 | 41k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
225.14/225.23 c 225s| 58000 | 120 | 1482k| 23.0 | 18M| 65 | 32 | 231 | 10k| 231 |2456 | 4 | 41k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
225.45/225.53 c 226s| 58100 | 108 | 1484k| 23.0 | 18M| 65 | 35 | 231 | 10k| 231 |2456 | 4 | 41k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
225.84/225.98 c 226s| 58200 | 100 | 1487k| 23.0 | 17M| 65 | - | 231 | 10k| 231 |2456 | 4 | 41k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
226.14/226.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
226.14/226.29 c 226s| 58300 | 97 | 1489k| 23.0 | 17M| 65 | - | 231 | 10k| 231 |2456 | 4 | 42k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
226.44/226.60 c 227s| 58400 | 91 | 1491k| 23.0 | 17M| 65 | 34 | 231 | 10k| 231 |2456 | 4 | 42k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
226.84/226.92 c 227s| 58500 | 95 | 1493k| 23.0 | 17M| 65 | 28 | 231 | 10k| 231 |2456 | 4 | 42k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
227.04/227.19 c 227s| 58600 | 77 | 1495k| 23.0 | 17M| 65 | - | 231 | 10k| 231 |2456 | 4 | 42k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
227.54/227.62 c 228s| 58700 | 79 | 1498k| 23.0 | 17M| 65 | - | 231 | 10k| 231 |2456 | 4 | 42k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
227.84/227.94 c 228s| 58800 | 85 | 1500k| 23.0 | 17M| 65 | 34 | 231 |9886 | 231 |2456 | 4 | 42k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
228.14/228.29 c 228s| 58900 | 84 | 1503k| 23.0 | 17M| 65 | - | 231 |9791 | 231 |2456 | 4 | 42k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
228.44/228.56 c 229s| 59000 | 92 | 1504k| 23.0 | 17M| 65 | - | 231 |9796 | 231 |2456 | 4 | 42k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
228.75/228.89 c 229s| 59100 | 95 | 1507k| 23.0 | 17M| 65 | 37 | 231 |9748 | 231 |2456 | 4 | 42k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
229.14/229.23 c 229s| 59200 | 103 | 1509k| 23.0 | 17M| 65 | - | 231 |9668 | 231 |2456 | 4 | 42k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
229.44/229.54 c 230s| 59300 | 108 | 1511k| 23.0 | 17M| 65 | 35 | 231 |9631 | 231 |2456 | 4 | 42k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
229.74/229.83 c 230s| 59400 | 108 | 1513k| 23.0 | 17M| 65 | 42 | 231 |9586 | 231 |2456 | 4 | 42k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
230.04/230.18 c 230s| 59500 | 126 | 1516k| 23.0 | 17M| 65 | 38 | 231 |9522 | 231 |2456 | 4 | 42k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
230.44/230.54 c 231s| 59600 | 132 | 1518k| 23.0 | 17M| 65 | 33 | 231 |9476 | 231 |2456 | 4 | 42k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
230.74/230.88 c 231s| 59700 | 139 | 1521k| 23.0 | 17M| 65 | - | 231 |9454 | 231 |2456 | 4 | 42k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
231.14/231.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
231.14/231.26 c 231s| 59800 | 144 | 1523k| 23.0 | 17M| 65 | 44 | 231 |9472 | 231 |2456 | 4 | 43k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
231.44/231.54 c 232s| 59900 | 145 | 1525k| 23.0 | 17M| 65 | - | 231 |9516 | 231 |2456 | 4 | 43k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
231.73/231.83 c 232s| 60000 | 140 | 1527k| 23.0 | 17M| 65 | 35 | 231 |9579 | 231 |2456 | 4 | 43k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
232.05/232.19 c 232s| 60100 | 142 | 1530k| 23.0 | 17M| 65 | 39 | 231 |9628 | 231 |2456 | 4 | 43k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
232.44/232.55 c 233s| 60200 | 142 | 1532k| 23.0 | 17M| 65 | 41 | 231 |9678 | 231 |2456 | 4 | 43k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
232.74/232.89 c 233s| 60300 | 149 | 1535k| 23.0 | 17M| 65 | 25 | 231 |9716 | 231 |2456 | 4 | 43k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
233.04/233.19 c 233s| 60400 | 141 | 1537k| 23.0 | 17M| 65 | 43 | 231 |9759 | 231 |2456 | 4 | 43k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
233.34/233.49 c 233s| 60500 | 138 | 1539k| 23.0 | 17M| 65 | 39 | 231 |9822 | 231 |2456 | 4 | 43k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
233.74/233.82 c 234s| 60600 | 127 | 1541k| 23.0 | 17M| 65 | - | 231 |9874 | 231 |2456 | 4 | 43k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
234.03/234.13 c 234s| 60700 | 122 | 1544k| 23.0 | 17M| 65 | 20 | 231 |9904 | 231 |2456 | 4 | 43k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
234.35/234.48 c 234s| 60800 | 120 | 1546k| 23.0 | 17M| 65 | 35 | 231 |9909 | 231 |2456 | 4 | 43k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
234.64/234.78 c 235s| 60900 | 124 | 1548k| 23.0 | 17M| 65 | - | 231 |9942 | 231 |2456 | 4 | 43k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
235.04/235.10 c 235s| 61000 | 118 | 1550k| 23.0 | 17M| 65 | 37 | 231 |9953 | 231 |2456 | 4 | 43k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
235.35/235.41 c 235s| 61100 | 109 | 1552k| 23.0 | 17M| 65 | - | 231 |9989 | 231 |2456 | 4 | 43k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
235.64/235.78 c 236s| 61200 | 99 | 1555k| 23.0 | 17M| 65 | 27 | 231 |9982 | 231 |2456 | 4 | 43k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
235.94/236.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
235.94/236.05 c 236s| 61300 | 88 | 1557k| 23.0 | 17M| 65 | 42 | 231 |9992 | 231 |2456 | 4 | 44k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
236.34/236.40 c 236s| 61400 | 84 | 1559k| 23.0 | 17M| 65 | 29 | 231 | 10k| 231 |2456 | 4 | 44k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
236.64/236.75 c 237s| 61500 | 75 | 1561k| 23.0 | 17M| 65 | - | 231 | 10k| 231 |2456 | 4 | 44k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
236.93/237.05 c 237s| 61600 | 72 | 1563k| 23.0 | 17M| 65 | - | 231 |9965 | 231 |2456 | 4 | 44k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
237.24/237.37 c 237s| 61700 | 72 | 1565k| 23.0 | 17M| 65 | 34 | 231 | 10k| 231 |2456 | 4 | 44k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
237.54/237.66 c 238s| 61800 | 66 | 1567k| 23.0 | 17M| 65 | - | 231 |9952 | 231 |2456 | 4 | 44k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
237.94/238.01 c 238s| 61900 | 64 | 1570k| 23.0 | 17M| 65 | 34 | 231 |9930 | 231 |2456 | 4 | 44k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
238.24/238.30 c 238s| 62000 | 58 | 1572k| 23.0 | 17M| 65 | - | 231 |9700 | 231 |2456 | 4 | 44k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
238.53/238.65 c 239s| 62100 | 51 | 1574k| 23.0 | 17M| 65 | 41 | 231 |9679 | 231 |2456 | 4 | 44k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
238.84/238.92 c 239s| 62200 | 45 | 1576k| 23.0 | 17M| 65 | - | 231 |9625 | 0 | 0 | 4 | 44k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
239.14/239.25 c 239s| 62300 | 24 | 1578k| 23.0 | 17M| 65 | 49 | 231 |9341 | 231 |2456 | 4 | 44k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
239.43/239.56 c 240s| 62400 | 16 | 1580k| 23.0 | 17M| 65 | - | 231 |9304 | 231 |2456 | 4 | 44k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
239.84/239.91 c 240s| 62500 | 12 | 1582k| 23.0 | 17M| 65 | - | 231 |9128 | 231 |2456 | 4 | 44k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
240.03/240.17 c
240.03/240.17 c SCIP Status : problem is solved [optimal solution found]
240.03/240.17 c Solving Time (sec) : 240.17
240.03/240.17 c Solving Nodes : 62576 (total of 68865 nodes in 3 runs)
240.03/240.17 c Primal Bound : +1.00000000000000e+00 (11 solutions)
240.03/240.17 c Dual Bound : +1.00000000000000e+00
240.03/240.17 c Gap : 0.00 %
240.03/240.17 s OPTIMUM FOUND
240.03/240.17 v -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210
240.03/240.17 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189
240.03/240.17 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
240.03/240.17 v -x167 -x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 x147
240.03/240.17 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125
240.03/240.17 v -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 -x104
240.03/240.17 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
240.03/240.17 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 x54
240.03/240.17 v -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
240.03/240.17 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
240.03/240.17 v -x1
240.03/240.17 c SCIP Status : problem is solved [optimal solution found]
240.03/240.17 c Total Time : 240.17
240.03/240.17 c solving : 240.17
240.03/240.17 c presolving : 0.55 (included in solving)
240.03/240.17 c reading : 0.01 (included in solving)
240.03/240.17 c copying : 0.38 (17 #copies) (minimal 0.01, maximal 0.04, average 0.02)
240.03/240.17 c Original Problem :
240.03/240.17 c Problem name : HOME/instance-3717447-1338188705.wbo
240.03/240.17 c Variables : 2008 (2008 binary, 0 integer, 0 implicit integer, 0 continuous)
240.03/240.17 c Constraints : 2708 initial, 2708 maximal
240.03/240.17 c Objective sense : minimize
240.03/240.17 c Presolved Problem :
240.03/240.17 c Problem name : t_HOME/instance-3717447-1338188705.wbo
240.03/240.17 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
240.03/240.17 c Constraints : 4821 initial, 13206 maximal
240.03/240.17 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
240.03/240.17 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
240.03/240.17 c trivial : 0.00 0.00 3238 0 0 0 0 0 0 0 0
240.03/240.17 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
240.03/240.17 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
240.03/240.17 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
240.03/240.17 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
240.03/240.17 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
240.03/240.17 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
240.03/240.17 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
240.03/240.17 c pseudoobj : 0.00 0.00 0 0 0 20 0 0 0 0 0
240.03/240.17 c probing : 0.01 0.00 0 0 0 0 0 0 0 0 0
240.03/240.17 c varbound : 0.00 0.00 0 0 0 20 0 40 0 0 0
240.03/240.17 c knapsack : 0.01 0.00 0 0 0 0 0 0 0 0 1
240.03/240.17 c setppc : 0.00 0.00 0 0 0 0 0 75 0 0 0
240.03/240.17 c linear : 0.14 0.00 248 0 0 2020 0 1873 0 117 0
240.03/240.17 c indicator : 0.00 0.00 68 0 0 0 0 316 0 0 0
240.03/240.17 c logicor : 0.33 0.02 0 0 0 0 0 64 0 0 0
240.03/240.17 c bounddisjunction : 0.00 0.00 0 0 0 0 0 0 0 0 0
240.03/240.17 c root node : - - 3151 - - 3151 - - - - -
240.03/240.17 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
240.03/240.17 c integral : 0 0 0 0 35112 0 35270 0 0 0 0 0 70216
240.03/240.17 c knapsack : 13 13 2 300270 0 0 34459 94679 418 169818 3 0 0
240.03/240.17 c setppc : 22 22 9 306720 2 0 28272 691169 1444 366967 0 0 0
240.03/240.17 c logicor : 4771+ 13175 9 174981 2 0 99 267887 2594 470268 2 0 0
240.03/240.17 c bounddisjunction : 15 15 0 16827 0 0 0 0 0 0 0 0 0
240.03/240.17 c countsols : 0 0 0 0 2 0 17 0 0 0 0 0 0
240.03/240.17 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
240.03/240.17 c integral : 0.65 0.00 0.00 0.00 0.30 0.00 0.35 0.00
240.03/240.17 c knapsack : 3.28 0.00 0.01 3.04 0.00 0.00 0.12 0.11
240.03/240.17 c setppc : 1.94 0.00 0.00 1.19 0.00 0.00 0.09 0.66
240.03/240.17 c logicor : 6.25 0.02 0.00 5.82 0.00 0.00 0.00 0.41
240.03/240.17 c bounddisjunction : 0.04 0.00 0.00 0.04 0.00 0.00 0.00 0.00
240.03/240.17 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
240.03/240.17 c Propagators : #Propagate #ResProp Cutoffs DomReds
240.03/240.17 c rootredcost : 8 0 0 1343
240.03/240.17 c pseudoobj : 31510 86 3 2087
240.03/240.17 c vbounds : 1539 175 0 33398
240.03/240.17 c redcost : 35875 0 0 57483
240.03/240.17 c probing : 0 0 0 0
240.03/240.17 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
240.03/240.17 c rootredcost : 0.27 0.00 0.00 0.27 0.00
240.03/240.17 c pseudoobj : 0.33 0.00 0.00 0.32 0.01
240.03/240.17 c vbounds : 0.42 0.00 0.00 0.42 0.00
240.03/240.17 c redcost : 0.47 0.00 0.00 0.47 0.00
240.03/240.17 c probing : 0.01 0.00 0.01 0.00 0.00
240.03/240.17 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
240.03/240.17 c propagation : 0.35 4566 4508 21581 23.8 121 19.6 -
240.03/240.17 c infeasible LP : 4.25 31163 30094 178959 34.3 167 19.1 0
240.03/240.17 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
240.03/240.17 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
240.03/240.17 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
240.03/240.17 c applied globally : - - - 41586 19.4 - - -
240.03/240.17 c applied locally : - - - 3339 35.4 - - -
240.03/240.17 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
240.03/240.17 c cut pool : 0.00 0 - - 0 - (maximal pool size: 92)
240.03/240.17 c closecuts : 0.00 0.00 0 0 0 0 0
240.03/240.17 c impliedbounds : 0.00 0.00 9 0 0 0 0
240.03/240.17 c intobj : 0.00 0.00 0 0 0 0 0
240.03/240.17 c gomory : 0.57 0.00 9 0 0 300 0
240.03/240.17 c cgmip : 0.00 0.00 0 0 0 0 0
240.03/240.17 c strongcg : 0.67 0.00 9 0 0 4047 0
240.03/240.17 c cmir : 0.21 0.00 9 0 0 2 0
240.03/240.17 c flowcover : 0.32 0.00 9 0 0 3 0
240.03/240.17 c clique : 0.01 0.00 9 0 0 0 0
240.03/240.17 c zerohalf : 0.00 0.00 0 0 0 0 0
240.03/240.17 c mcf : 0.00 0.00 3 0 0 0 0
240.03/240.17 c oddcycle : 0.00 0.00 0 0 0 0 0
240.03/240.17 c rapidlearning : 0.16 0.00 1 0 0 0 0
240.03/240.17 c Pricers : ExecTime SetupTime Calls Vars
240.03/240.17 c problem variables: 0.00 - 0 0
240.03/240.17 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
240.03/240.17 c inference : 0.22 0.00 35108 0 0 0 0 70216
240.03/240.17 c relpscost : 0.00 0.00 0 0 0 0 0 0
240.03/240.17 c pscost : 0.00 0.00 0 0 0 0 0 0
240.03/240.17 c mostinf : 0.00 0.00 0 0 0 0 0 0
240.03/240.17 c leastinf : 0.00 0.00 0 0 0 0 0 0
240.03/240.17 c fullstrong : 0.00 0.00 0 0 0 0 0 0
240.03/240.17 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
240.03/240.17 c random : 0.00 0.00 0 0 0 0 0 0
240.03/240.17 c Primal Heuristics : ExecTime SetupTime Calls Found
240.03/240.17 c LP solutions : 0.00 - - 2
240.03/240.17 c pseudo solutions : 0.00 - - 0
240.03/240.17 c oneopt : 0.07 0.00 8 0
240.03/240.17 c feaspump : 0.08 0.00 1 0
240.03/240.17 c guideddiving : 0.62 0.00 20 0
240.03/240.17 c crossover : 1.09 0.00 10 0
240.03/240.17 c objpscostdiving : 1.33 0.00 25 1
240.03/240.17 c rootsoldiving : 1.02 0.00 25 0
240.03/240.17 c pscostdiving : 1.07 0.00 50 1
240.03/240.17 c fracdiving : 2.43 0.00 50 0
240.03/240.17 c linesearchdiving : 0.77 0.00 50 0
240.03/240.17 c veclendiving : 1.40 0.00 50 0
240.03/240.17 c smallcard : 0.00 0.00 0 0
240.03/240.17 c trivial : 0.00 0.00 2 0
240.03/240.17 c shiftandpropagate: 0.00 0.00 0 0
240.03/240.17 c simplerounding : 0.10 0.00 35127 0
240.03/240.17 c zirounding : 0.77 0.00 15 0
240.03/240.17 c rounding : 0.35 0.00 2585 0
240.03/240.17 c shifting : 0.31 0.00 797 0
240.03/240.17 c intshifting : 0.00 0.00 0 0
240.03/240.17 c twoopt : 0.00 0.00 0 0
240.03/240.17 c indoneopt : 0.21 0.00 11 1
240.03/240.17 c indtwoopt : 0.00 0.00 0 0
240.03/240.17 c fixandinfer : 0.00 0.00 0 0
240.03/240.17 c clique : 0.00 0.00 0 0
240.03/240.17 c coefdiving : 26.67 0.00 745 2
240.03/240.17 c indcoefdiving : 0.00 0.00 0 0
240.03/240.17 c indrounding : 1.95 0.00 35107 4
240.03/240.17 c nlpdiving : 0.00 0.00 0 0
240.03/240.17 c intdiving : 0.00 0.00 0 0
240.03/240.17 c actconsdiving : 0.00 0.00 0 0
240.03/240.17 c octane : 0.00 0.00 0 0
240.03/240.17 c rens : 0.08 0.00 1 0
240.03/240.17 c rins : 0.00 0.00 0 0
240.03/240.17 c localbranching : 0.00 0.00 0 0
240.03/240.17 c mutation : 0.00 0.00 0 0
240.03/240.17 c dins : 0.00 0.00 0 0
240.03/240.17 c vbounds : 0.00 0.00 0 0
240.03/240.17 c undercover : 0.00 0.00 0 0
240.03/240.17 c subnlp : 0.06 0.00 0 0
240.03/240.17 c trysol : 0.09 0.00 0 0
240.03/240.17 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
240.03/240.17 c primal LP : 0.00 3 0 0.00 - 0.00 3
240.03/240.17 c dual LP : 160.48 66891 1439397 21.84 8969.28 0.52 973
240.03/240.17 c lex dual LP : 0.00 0 0 0.00 -
240.03/240.17 c barrier LP : 0.00 0 0 0.00 - 0.00 0
240.03/240.17 c diving/probing LP: 26.35 33413 145103 4.34 5506.12
240.03/240.17 c strong branching : 0.00 0 0 0.00 -
240.03/240.17 c (at root node) : - 0 0 0.00 -
240.03/240.17 c conflict analysis: 0.00 0 0 0.00 -
240.03/240.17 c B&B Tree :
240.03/240.17 c number of runs : 3
240.03/240.17 c nodes : 62576
240.03/240.17 c nodes (total) : 68865
240.03/240.17 c nodes left : 0
240.03/240.17 c max depth : 65
240.03/240.17 c max depth (total): 65
240.03/240.17 c backtracks : 8886 (14.2%)
240.03/240.17 c delayed cutoffs : 676
240.03/240.17 c repropagations : 97666 (144139 domain reductions, 580 cutoffs)
240.03/240.17 c avg switch length: 5.00
240.03/240.17 c switching time : 6.68
240.03/240.17 c Solution :
240.03/240.17 c Solutions found : 11 (10 improvements)
240.03/240.17 c First Solution : +4.52000000000000e+02 (in run 1, after 1 nodes, 2.17 seconds, depth 180, found by <coefdiving>)
240.03/240.17 c Primal Bound : +1.00000000000000e+00 (in run 2, after 5291 nodes, 36.18 seconds, depth 20, found by <indrounding>)
240.03/240.17 c Dual Bound : +1.00000000000000e+00
240.03/240.17 c Gap : 0.00 %
240.03/240.17 c Root Dual Bound : +0.00000000000000e+00
240.03/240.17 c Root Iterations : 960
240.03/240.19 c Time complete: 240.13.
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-3717447-1338188705/watcher-3717447-1338188705 -o /tmp/evaluation-result-3717447-1338188705/solver-3717447-1338188705 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717447-1338188705.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.00 2.00 1.96 3/176 14002
/proc/meminfo: memFree=31198448/32873844 swapFree=7112/7112
[pid=14002] ppid=14000 vsize=10592 CPUtime=0 cores=0,2,4,6
/proc/14002/stat : 14002 (scip-2.1.1.4fix) R 14000 14002 10153 0 -1 4202496 1415 0 0 0 0 0 0 0 20 0 1 0 284995354 10846208 1370 33554432000 4194304 10173063 140737482180272 140736452633672 7545739 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14002/statm: 2686 1378 416 1460 0 1217 0
[startup+0.0744519 s]
/proc/loadavg: 2.00 2.00 1.96 3/176 14002
/proc/meminfo: memFree=31198448/32873844 swapFree=7112/7112
[pid=14002] ppid=14000 vsize=31944 CPUtime=0.06 cores=0,2,4,6
/proc/14002/stat : 14002 (scip-2.1.1.4fix) R 14000 14002 10153 0 -1 4202496 6704 0 0 0 2 4 0 0 20 0 1 0 284995354 32710656 6402 33554432000 4194304 10173063 140737482180272 140736452633672 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14002/statm: 7986 6402 562 1460 0 6517 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 31944
[startup+0.100304 s]
/proc/loadavg: 2.00 2.00 1.96 3/176 14002
/proc/meminfo: memFree=31198448/32873844 swapFree=7112/7112
[pid=14002] ppid=14000 vsize=31944 CPUtime=0.09 cores=0,2,4,6
/proc/14002/stat : 14002 (scip-2.1.1.4fix) R 14000 14002 10153 0 -1 4202496 6730 0 0 0 3 6 0 0 20 0 1 0 284995354 32710656 6428 33554432000 4194304 10173063 140737482180272 140736452633672 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14002/statm: 7986 6428 571 1460 0 6517 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31944
[startup+0.30028 s]
/proc/loadavg: 2.00 2.00 1.96 3/176 14002
/proc/meminfo: memFree=31198448/32873844 swapFree=7112/7112
[pid=14002] ppid=14000 vsize=46888 CPUtime=0.29 cores=0,2,4,6
/proc/14002/stat : 14002 (scip-2.1.1.4fix) R 14000 14002 10153 0 -1 4202496 10796 0 0 0 16 13 0 0 20 0 1 0 284995354 48013312 10401 33554432000 4194304 10173063 140737482180272 140737482176648 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14002/statm: 11722 10401 784 1460 0 10253 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46888
[startup+0.700286 s]
/proc/loadavg: 2.00 2.00 1.96 3/176 14002
/proc/meminfo: memFree=31198448/32873844 swapFree=7112/7112
[pid=14002] ppid=14000 vsize=50760 CPUtime=0.69 cores=0,2,4,6
/proc/14002/stat : 14002 (scip-2.1.1.4fix) R 14000 14002 10153 0 -1 4202496 19424 0 0 0 35 34 0 0 20 0 1 0 284995354 51978240 11483 33554432000 4194304 10173063 140737482180272 140737482176648 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14002/statm: 12690 11483 846 1460 0 11221 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50760
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 1.96 3/176 14003
/proc/meminfo: memFree=31153412/32873844 swapFree=7112/7112
[pid=14002] ppid=14000 vsize=57068 CPUtime=1.49 cores=0,2,4,6
/proc/14002/stat : 14002 (scip-2.1.1.4fix) R 14000 14002 10153 0 -1 4202496 20842 0 0 0 85 64 0 0 20 0 1 0 284995354 58437632 12901 33554432000 4194304 10173063 140737482180272 140737482175224 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14002/statm: 14267 12901 846 1460 0 12798 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 57068
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 1.96 3/176 14003
/proc/meminfo: memFree=31133456/32873844 swapFree=7112/7112
[pid=14002] ppid=14000 vsize=60040 CPUtime=3.09 cores=0,2,4,6
/proc/14002/stat : 14002 (scip-2.1.1.4fix) R 14000 14002 10153 0 -1 4202496 27800 0 0 0 231 78 0 0 20 0 1 0 284995354 61480960 13742 33554432000 4194304 10173063 140737482180272 140737482176360 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14002/statm: 15010 13742 848 1460 0 13541 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 60040
[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 1.96 3/176 14003
/proc/meminfo: memFree=31144120/32873844 swapFree=7112/7112
[pid=14002] ppid=14000 vsize=61824 CPUtime=6.29 cores=0,2,4,6
/proc/14002/stat : 14002 (scip-2.1.1.4fix) R 14000 14002 10153 0 -1 4202496 28286 0 0 0 548 81 0 0 20 0 1 0 284995354 63307776 14228 33554432000 4194304 10173063 140737482180272 140737482175096 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14002/statm: 15456 14228 854 1460 0 13987 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 61824
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 14004
/proc/meminfo: memFree=31141028/32873844 swapFree=7112/7112
[pid=14002] ppid=14000 vsize=65224 CPUtime=12.68 cores=0,2,4,6
/proc/14002/stat : 14002 (scip-2.1.1.4fix) R 14000 14002 10153 0 -1 4202496 29148 0 0 0 1177 91 0 0 20 0 1 0 284995354 66789376 15087 33554432000 4194304 10173063 140737482180272 140737482173944 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14002/statm: 16306 15087 856 1460 0 14837 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 65224
[startup+25.5003 s]
/proc/loadavg: 2.07 2.02 1.97 3/177 14004
/proc/meminfo: memFree=31137060/32873844 swapFree=7112/7112
[pid=14002] ppid=14000 vsize=67744 CPUtime=25.49 cores=0,2,4,6
/proc/14002/stat : 14002 (scip-2.1.1.4fix) R 14000 14002 10153 0 -1 4202496 40427 0 0 0 2412 137 0 0 20 0 1 0 284995354 69369856 15815 33554432000 4194304 10173063 140737482180272 140737482173912 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14002/statm: 16936 15815 886 1460 0 15467 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 67744
[startup+51.1003 s]
/proc/loadavg: 2.05 2.01 1.97 3/177 14042
/proc/meminfo: memFree=31150636/32873844 swapFree=7112/7112
[pid=14002] ppid=14000 vsize=69216 CPUtime=51.07 cores=0,2,4,6
/proc/14002/stat : 14002 (scip-2.1.1.4fix) R 14000 14002 10153 0 -1 4202496 54883 0 0 0 4854 253 0 0 20 0 1 0 284995354 70877184 16347 33554432000 4194304 10173063 140737482180272 140737482172888 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14002/statm: 17304 16347 887 1460 0 15835 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 69216
[startup+102.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/177 14042
/proc/meminfo: memFree=31140352/32873844 swapFree=7112/7112
[pid=14002] ppid=14000 vsize=72316 CPUtime=102.26 cores=0,2,4,6
/proc/14002/stat : 14002 (scip-2.1.1.4fix) R 14000 14002 10153 0 -1 4202496 85496 0 0 0 9753 473 0 0 20 0 1 0 284995354 74051584 17444 33554432000 4194304 10173063 140737482180272 140737482176744 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14002/statm: 18079 17444 887 1460 0 16610 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 72316
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 14042
/proc/meminfo: memFree=31127252/32873844 swapFree=7112/7112
[pid=14002] ppid=14000 vsize=73660 CPUtime=162.25 cores=0,2,4,6
/proc/14002/stat : 14002 (scip-2.1.1.4fix) R 14000 14002 10153 0 -1 4202496 88987 0 0 0 15457 768 0 0 20 0 1 0 284995354 75427840 17764 33554432000 4194304 10173063 140737482180272 140737482176248 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14002/statm: 18415 17764 887 1460 0 16946 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 73660
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 14042
/proc/meminfo: memFree=31123516/32873844 swapFree=7112/7112
[pid=14002] ppid=14000 vsize=74296 CPUtime=222.24 cores=0,2,4,6
/proc/14002/stat : 14002 (scip-2.1.1.4fix) R 14000 14002 10153 0 -1 4202496 97850 0 0 0 21138 1086 0 0 20 0 1 0 284995354 76079104 17926 33554432000 4194304 10173063 140737482180272 140737482173208 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14002/statm: 18574 17926 887 1460 0 17105 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 74296
Solver just ended. Dumping a history of the last processes samples
[startup+230.4 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 14042
/proc/meminfo: memFree=31123576/32873844 swapFree=7112/7112
[pid=14002] ppid=14000 vsize=74628 CPUtime=230.34 cores=0,2,4,6
/proc/14002/stat : 14002 (scip-2.1.1.4fix) R 14000 14002 10153 0 -1 4202496 97946 0 0 0 21903 1131 0 0 20 0 1 0 284995354 76419072 18021 33554432000 4194304 10173063 140737482180272 140737482173576 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14002/statm: 18657 18021 887 1460 0 17188 0
Current children cumulated CPU time (s) 230.34
Current children cumulated vsize (KiB) 74628
[startup+236.8 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 14042
/proc/meminfo: memFree=31123700/32873844 swapFree=7112/7112
[pid=14002] ppid=14000 vsize=74792 CPUtime=236.74 cores=0,2,4,6
/proc/14002/stat : 14002 (scip-2.1.1.4fix) R 14000 14002 10153 0 -1 4202496 97999 0 0 0 22512 1162 0 0 20 0 1 0 284995354 76587008 18074 33554432000 4194304 10173063 140737482180272 140737482175096 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14002/statm: 18698 18074 887 1460 0 17229 0
Current children cumulated CPU time (s) 236.74
Current children cumulated vsize (KiB) 74792
[startup+238.4 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 14042
/proc/meminfo: memFree=31123576/32873844 swapFree=7112/7112
[pid=14002] ppid=14000 vsize=74792 CPUtime=238.34 cores=0,2,4,6
/proc/14002/stat : 14002 (scip-2.1.1.4fix) R 14000 14002 10153 0 -1 4202496 98001 0 0 0 22664 1170 0 0 20 0 1 0 284995354 76587008 18076 33554432000 4194304 10173063 140737482180272 140737482176760 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14002/statm: 18698 18076 887 1460 0 17229 0
Current children cumulated CPU time (s) 238.34
Current children cumulated vsize (KiB) 74792
[startup+239.2 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 14042
/proc/meminfo: memFree=31123576/32873844 swapFree=7112/7112
[pid=14002] ppid=14000 vsize=74792 CPUtime=239.14 cores=0,2,4,6
/proc/14002/stat : 14002 (scip-2.1.1.4fix) R 14000 14002 10153 0 -1 4202496 98003 0 0 0 22740 1174 0 0 20 0 1 0 284995354 76587008 18078 33554432000 4194304 10173063 140737482180272 140737482173912 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14002/statm: 18698 18078 887 1460 0 17229 0
Current children cumulated CPU time (s) 239.14
Current children cumulated vsize (KiB) 74792
[startup+239.6 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 14042
/proc/meminfo: memFree=31123576/32873844 swapFree=7112/7112
[pid=14002] ppid=14000 vsize=74924 CPUtime=239.54 cores=0,2,4,6
/proc/14002/stat : 14002 (scip-2.1.1.4fix) R 14000 14002 10153 0 -1 4202496 98004 0 0 0 22778 1176 0 0 20 0 1 0 284995354 76722176 18079 33554432000 4194304 10173063 140737482180272 140737482173912 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14002/statm: 18731 18079 887 1460 0 17262 0
Current children cumulated CPU time (s) 239.54
Current children cumulated vsize (KiB) 74924
[startup+240 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 14042
/proc/meminfo: memFree=31123576/32873844 swapFree=7112/7112
[pid=14002] ppid=14000 vsize=74924 CPUtime=239.94 cores=0,2,4,6
/proc/14002/stat : 14002 (scip-2.1.1.4fix) R 14000 14002 10153 0 -1 4202496 98004 0 0 0 22816 1178 0 0 20 0 1 0 284995354 76722176 18079 33554432000 4194304 10173063 140737482180272 140737482173912 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14002/statm: 18731 18079 887 1460 0 17262 0
Current children cumulated CPU time (s) 239.94
Current children cumulated vsize (KiB) 74924
[startup+240.1 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 14042
/proc/meminfo: memFree=31123576/32873844 swapFree=7112/7112
[pid=14002] ppid=14000 vsize=74924 CPUtime=240.03 cores=0,2,4,6
/proc/14002/stat : 14002 (scip-2.1.1.4fix) R 14000 14002 10153 0 -1 4202496 98005 0 0 0 22825 1178 0 0 20 0 1 0 284995354 76722176 18080 33554432000 4194304 10173063 140737482180272 140737482173912 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14002/statm: 18731 18080 887 1460 0 17262 0
Current children cumulated CPU time (s) 240.03
Current children cumulated vsize (KiB) 74924
Child status: 0
Real time (s): 240.198
CPU time (s): 240.145
CPU user time (s): 228.346
CPU system time (s): 11.7992
CPU usage (%): 99.978
Max. virtual memory (cumulated for all children) (KiB): 97776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 228.346
system time used= 11.7992
maximum resident set size= 106356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98009
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= 259
runsolver used 0.365944 second user time and 0.978851 second system time
The end