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-3690416-1338016936.opb>
0.00/0.01 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.00/0.01 c problem read in 0.01
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.04 c (round 1) 0 del vars, 143 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs
0.00/0.04 c (round 2) 0 del vars, 143 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.00/0.05 c (round 3) 0 del vars, 264 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.00/0.06 c presolving (4 rounds):
0.00/0.06 c 0 deleted vars, 264 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06 c 242 implications, 22 cliques
0.00/0.06 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2443 constraints
0.00/0.06 c 1 constraints of type <knapsack>
0.00/0.06 c 22 constraints of type <setppc>
0.00/0.06 c 2420 constraints of type <logicor>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.05
0.00/0.06 c - non default parameters ----------------------------------------------------------------------
0.00/0.06 c # SCIP version 2.1.1.4
0.00/0.06 c
0.00/0.06 c # maximal time in seconds to run
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/time = 1797
0.00/0.06 c
0.00/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/memory = 13950
0.00/0.06 c
0.00/0.06 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c limits/solutions = 1
0.00/0.06 c
0.00/0.06 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.06 c separating/maxrounds = 1
0.00/0.06 c
0.00/0.06 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c separating/maxroundsroot = 5
0.00/0.06 c
0.00/0.06 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.06 c # [type: int, range: [1,2], default: 1]
0.00/0.06 c timing/clocktype = 2
0.00/0.06 c
0.00/0.06 c # belongs reading time to solving time?
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c timing/reading = TRUE
0.00/0.06 c
0.00/0.06 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.06 c constraints/knapsack/disaggregation = FALSE
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/coefdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.06 c heuristics/crossover/freq = -1
0.00/0.06 c
0.00/0.06 c # number of nodes added to the contingent of the total nodes
0.00/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.06 c heuristics/crossover/nodesofs = 750
0.00/0.06 c
0.00/0.06 c # number of nodes without incumbent change that heuristic should wait
0.00/0.06 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.06 c heuristics/crossover/nwaitingnodes = 100
0.00/0.06 c
0.00/0.06 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.06 c # [type: real, range: [0,1], default: 0.1]
0.00/0.06 c heuristics/crossover/nodesquot = 0.15
0.00/0.06 c
0.00/0.06 c # minimum percentage of integer variables that have to be fixed
0.00/0.06 c # [type: real, range: [0,1], default: 0.666]
0.00/0.06 c heuristics/crossover/minfixingrate = 0.5
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.06 c heuristics/feaspump/freq = -1
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/fracdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/guideddiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/intshifting/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/linesearchdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.06 c heuristics/objpscostdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.06 c # [type: real, range: [0,1], default: 0.01]
0.00/0.06 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/oneopt/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/pscostdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c heuristics/rens/freq = -1
0.00/0.06 c
0.00/0.06 c # minimum percentage of integer variables that have to be fixable
0.00/0.06 c # [type: real, range: [0,1], default: 0.5]
0.00/0.06 c heuristics/rens/minfixingrate = 0.3
0.00/0.06 c
0.00/0.06 c # number of nodes added to the contingent of the total nodes
0.00/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.06 c heuristics/rens/nodesofs = 2000
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.06 c heuristics/rootsoldiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.06 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/rounding/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c heuristics/shiftandpropagate/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/shifting/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/simplerounding/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/subnlp/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c heuristics/trivial/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/trysol/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c heuristics/undercover/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/veclendiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/zirounding/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c propagating/probing/maxprerounds = 0
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c separating/cmir/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c separating/flowcover/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c separating/rapidlearning/freq = 0
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/indoneopt/freq = -1
0.00/0.06 c
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c start solving
0.00/0.06 c
0.00/0.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.07 c 0.1s| 1 | 0 | 76 | - |3909k| 0 | 36 | 231 |2443 | 231 |2443 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 c 0.2s| 1 | 0 | 90 | - |4325k| 0 | 39 | 231 |2708 | 231 |2450 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.22 c 0.2s| 1 | 0 | 105 | - |4654k| 0 | 45 | 231 |2708 | 231 |2454 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.26 c 0.3s| 1 | 0 | 120 | - |5092k| 0 | 46 | 231 |2708 | 231 |2455 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.30 c 0.3s| 1 | 0 | 139 | - |5536k| 0 | 47 | 231 |2708 | 231 |2457 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.45 c 0.5s| 1 | 0 | 146 | - |5880k| 0 | 51 | 231 |2708 | 231 |2460 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.67 c 0.7s| 1 | 2 | 146 | - |5881k| 0 | 51 | 231 |2708 | 231 |2460 | 17 | 0 | 11 | 0.000000e+00 | -- | Inf
9.18/9.30 c 9.3s| 100 | 13 | 5108 | 50.1 |6028k| 23 | 35 | 231 |2742 | 231 |2453 | 17 | 37 |1524 | 0.000000e+00 | -- | Inf
10.39/10.42 c 10.4s| 200 | 23 | 7360 | 36.3 |6086k| 25 | - | 231 |2803 | 231 |2453 | 17 | 99 |1713 | 0.000000e+00 | -- | Inf
10.78/10.82 c 10.8s| 300 | 25 | 9190 | 30.2 |6113k| 25 | 31 | 231 |2860 | 231 |2453 | 17 | 156 |1756 | 0.000000e+00 | -- | Inf
11.08/11.15 c 11.1s| 400 | 25 | 10753 | 26.6 |6138k| 25 | - | 231 |2912 | 231 |2453 | 17 | 208 |1787 | 0.000000e+00 | -- | Inf
11.38/11.41 c 11.4s| 500 | 25 | 12336 | 24.4 |6161k| 25 | 26 | 231 |2978 | 231 |2453 | 17 | 274 |1804 | 0.000000e+00 | -- | Inf
11.69/11.76 c 11.8s| 600 | 25 | 14472 | 23.9 |6187k| 25 | 29 | 231 |3047 | 231 |2453 | 17 | 344 |1824 | 0.000000e+00 | -- | Inf
11.99/12.06 c 12.1s| 700 | 29 | 16287 | 23.1 |6218k| 25 | 31 | 231 |3108 | 231 |2453 | 17 | 405 |1843 | 0.000000e+00 | -- | Inf
12.19/12.29 c 12.3s| 800 | 25 | 17925 | 22.3 |6236k| 25 | - | 231 |3167 | 231 |2453 | 17 | 464 |1850 | 0.000000e+00 | -- | Inf
12.48/12.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.48/12.51 c 12.5s| 900 | 25 | 19398 | 21.4 |6265k| 38 | - | 231 |3229 | 231 |2453 | 17 | 526 |1855 | 0.000000e+00 | -- | Inf
12.68/12.71 c 12.7s| 1000 | 27 | 20886 | 20.8 |6299k| 38 | - | 231 |3290 | 0 | 0 | 17 | 587 |1857 | 0.000000e+00 | -- | Inf
12.89/12.91 c 12.9s| 1100 | 27 | 22269 | 20.1 |6319k| 38 | 20 | 231 |3363 | 231 |2453 | 17 | 662 |1863 | 0.000000e+00 | -- | Inf
13.09/13.14 c 13.1s| 1200 | 28 | 24079 | 20.0 |6337k| 38 | 34 | 231 |3412 | 231 |2453 | 17 | 714 |1866 | 0.000000e+00 | -- | Inf
13.28/13.37 c 13.4s| 1300 | 27 | 25706 | 19.7 |6361k| 38 | - | 231 |3467 | 231 |2453 | 17 | 770 |1871 | 0.000000e+00 | -- | Inf
13.58/13.60 c 13.6s| 1400 | 26 | 27427 | 19.5 |6382k| 38 | - | 231 |3539 | 231 |2453 | 17 | 844 |1873 | 0.000000e+00 | -- | Inf
13.78/13.83 c 13.8s| 1500 | 24 | 29046 | 19.3 |6398k| 38 | 35 | 231 |3602 | 231 |2453 | 17 | 909 |1878 | 0.000000e+00 | -- | Inf
13.98/14.06 c 14.1s| 1600 | 23 | 30722 | 19.1 |6424k| 38 | - | 231 |3661 | 231 |2453 | 17 | 972 |1879 | 0.000000e+00 | -- | Inf
14.28/14.35 c 14.3s| 1700 | 25 | 32886 | 19.3 |6450k| 38 | 37 | 231 |3719 | 231 |2453 | 17 |1033 |1885 | 0.000000e+00 | -- | Inf
14.49/14.56 c 14.6s| 1800 | 24 | 34542 | 19.1 |6477k| 38 | 25 | 231 |3801 | 231 |2453 | 17 |1116 |1885 | 0.000000e+00 | -- | Inf
14.68/14.79 c 14.8s| 1900 | 25 | 36350 | 19.1 |6512k| 38 | - | 231 |3863 | 231 |2453 | 17 |1181 |1888 | 0.000000e+00 | -- | Inf
14.99/15.02 c 15.0s| 2000 | 26 | 38198 | 19.0 |6530k| 38 | 43 | 231 |3925 | 231 |2453 | 17 |1247 |1889 | 0.000000e+00 | -- | Inf
15.18/15.24 c 15.2s| 2100 | 26 | 39979 | 19.0 |6558k| 38 | - | 231 |3991 | 231 |2453 | 17 |1319 |1889 | 0.000000e+00 | -- | Inf
15.48/15.53 c 15.5s| 2200 | 26 | 41832 | 19.0 |6584k| 38 | - | 231 |4046 | 231 |2453 | 17 |1380 |1901 | 0.000000e+00 | -- | Inf
15.68/15.77 c 15.8s| 2300 | 28 | 43418 | 18.8 |6612k| 38 | 34 | 231 |4103 | 231 |2453 | 17 |1450 |1911 | 0.000000e+00 | -- | Inf
15.98/16.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.98/16.09 c 16.1s| 2400 | 34 | 45317 | 18.8 |6655k| 38 | 25 | 231 |4156 | 231 |2453 | 17 |1513 |1928 | 0.000000e+00 | -- | Inf
16.38/16.41 c 16.4s| 2500 | 32 | 47165 | 18.8 |6669k| 38 | 35 | 231 |4211 | 231 |2453 | 17 |1574 |1949 | 0.000000e+00 | -- | Inf
16.68/16.73 c 16.7s| 2600 | 33 | 49145 | 18.9 |6695k| 38 | 28 | 231 |4268 | 231 |2453 | 17 |1639 |1966 | 0.000000e+00 | -- | Inf
16.97/17.04 c 17.0s| 2700 | 33 | 50734 | 18.7 |6719k| 38 | - | 231 |4316 | 231 |2453 | 17 |1700 |1987 | 0.000000e+00 | -- | Inf
17.28/17.33 c 17.3s| 2800 | 35 | 52490 | 18.7 |6740k| 38 | 27 | 231 |4371 | 231 |2453 | 17 |1758 |2003 | 0.000000e+00 | -- | Inf
17.48/17.59 c 17.6s| 2900 | 31 | 54087 | 18.6 |6752k| 38 | 34 | 231 |4427 | 231 |2453 | 17 |1820 |2014 | 0.000000e+00 | -- | Inf
17.78/17.87 c 17.9s| 3000 | 33 | 55540 | 18.5 |6785k| 38 | - | 231 |4478 | 0 | 0 | 17 |1880 |2035 | 0.000000e+00 | -- | Inf
17.97/18.06 c 18.1s| 3100 | 32 | 56853 | 18.3 |6805k| 38 | 35 | 231 |4543 | 231 |2453 | 17 |1960 |2038 | 0.000000e+00 | -- | Inf
18.28/18.32 c 18.3s| 3200 | 32 | 58530 | 18.3 |6822k| 38 | - | 231 |4577 | 231 |2453 | 17 |2019 |2045 | 0.000000e+00 | -- | Inf
18.47/18.54 c 18.5s| 3300 | 32 | 60106 | 18.2 |6837k| 38 | 38 | 231 |4629 | 231 |2453 | 17 |2096 |2047 | 0.000000e+00 | -- | Inf
18.67/18.75 c 18.7s| 3400 | 32 | 61614 | 18.1 |6855k| 38 | 34 | 231 |4673 | 231 |2453 | 17 |2174 |2049 | 0.000000e+00 | -- | Inf
18.88/18.97 c 19.0s| 3500 | 32 | 63265 | 18.0 |6872k| 38 | 30 | 231 |4716 | 231 |2453 | 17 |2248 |2050 | 0.000000e+00 | -- | Inf
19.08/19.19 c 19.2s| 3600 | 33 | 64886 | 18.0 |6903k| 38 | 21 | 231 |4792 | 231 |2453 | 17 |2338 |2051 | 0.000000e+00 | -- | Inf
19.38/19.41 c 19.4s| 3700 | 32 | 66580 | 18.0 |6921k| 38 | 19 | 231 |4863 | 231 |2453 | 17 |2429 |2054 | 0.000000e+00 | -- | Inf
19.57/19.65 c 19.7s| 3800 | 32 | 68388 | 18.0 |6947k| 38 | 24 | 231 |4939 | 231 |2453 | 17 |2525 |2058 | 0.000000e+00 | -- | Inf
19.77/19.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.77/19.85 c 19.9s| 3900 | 32 | 69948 | 17.9 |6969k| 38 | 32 | 231 |5002 | 231 |2453 | 17 |2597 |2058 | 0.000000e+00 | -- | Inf
19.97/20.08 c 20.1s| 4000 | 32 | 71552 | 17.9 |6994k| 38 | 33 | 231 |5068 | 231 |2453 | 17 |2676 |2061 | 0.000000e+00 | -- | Inf
20.27/20.30 c 20.3s| 4100 | 31 | 73197 | 17.8 |7018k| 38 | 29 | 231 |5134 | 231 |2453 | 17 |2751 |2063 | 0.000000e+00 | -- | Inf
20.47/20.52 c 20.5s| 4200 | 32 | 74964 | 17.8 |7043k| 38 | 29 | 231 |5197 | 231 |2453 | 17 |2821 |2065 | 0.000000e+00 | -- | Inf
20.67/20.76 c 20.8s| 4300 | 32 | 76828 | 17.8 |7071k| 38 | 34 | 231 |5261 | 231 |2453 | 17 |2892 |2066 | 0.000000e+00 | -- | Inf
20.87/20.98 c 21.0s| 4400 | 33 | 78460 | 17.8 |7088k| 38 | 28 | 231 |5314 | 231 |2453 | 17 |2950 |2067 | 0.000000e+00 | -- | Inf
21.07/21.20 c 21.2s| 4500 | 33 | 80192 | 17.8 |7112k| 38 | 33 | 231 |5380 | 231 |2453 | 17 |3017 |2067 | 0.000000e+00 | -- | Inf
21.38/21.41 c 21.4s| 4600 | 33 | 81856 | 17.8 |7138k| 38 | 29 | 231 |5440 | 231 |2453 | 17 |3084 |2067 | 0.000000e+00 | -- | Inf
21.57/21.64 c 21.6s| 4700 | 35 | 83711 | 17.8 |7177k| 38 | - | 231 |5507 | 231 |2453 | 17 |3154 |2068 | 0.000000e+00 | -- | Inf
21.87/21.97 c 22.0s| 4800 | 33 | 85571 | 17.8 |7197k| 38 | - | 231 |5566 | 231 |2453 | 17 |3221 |2093 | 0.000000e+00 | -- | Inf
22.17/22.28 c 22.3s| 4900 | 33 | 87616 | 17.9 |7214k| 38 | - | 231 |5609 | 231 |2453 | 17 |3279 |2106 | 0.000000e+00 | -- | Inf
22.57/22.60 c 22.6s| 5000 | 33 | 89597 | 17.9 |7229k| 38 | - | 231 |5651 | 231 |2453 | 17 |3340 |2126 | 0.000000e+00 | -- | Inf
22.87/22.95 c 22.9s| 5100 | 29 | 91608 | 17.9 |7247k| 38 | - | 231 |5705 | 231 |2453 | 17 |3412 |2150 | 0.000000e+00 | -- | Inf
23.17/23.21 c 23.2s| 5200 | 29 | 93387 | 17.9 |7278k| 38 | - | 231 |5757 | 231 |2453 | 17 |3473 |2160 | 0.000000e+00 | -- | Inf
23.37/23.49 c 23.5s| 5300 | 30 | 95142 | 17.9 |7310k| 38 | - | 231 |5823 | 231 |2453 | 17 |3555 |2175 | 0.000000e+00 | -- | Inf
23.77/23.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.77/23.80 c 23.8s| 5400 | 31 | 96962 | 17.9 |7332k| 38 | 31 | 231 |5885 | 231 |2453 | 17 |3629 |2194 | 0.000000e+00 | -- | Inf
24.07/24.12 c 24.1s| 5500 | 31 | 98957 | 18.0 |7352k| 38 | 33 | 231 |5939 | 231 |2453 | 17 |3694 |2212 | 0.000000e+00 | -- | Inf
24.38/24.44 c 24.4s| 5600 | 31 |100865 | 18.0 |7372k| 38 | 31 | 231 |5966 | 231 |2453 | 17 |3756 |2232 | 0.000000e+00 | -- | Inf
24.67/24.72 c 24.7s| 5700 | 32 |102417 | 17.9 |7393k| 38 | 25 | 231 |6024 | 231 |2453 | 17 |3833 |2250 | 0.000000e+00 | -- | Inf
24.97/25.03 c 25.0s| 5800 | 33 |104514 | 18.0 |7417k| 38 | 35 | 231 |6053 | 231 |2453 | 17 |3890 |2264 | 0.000000e+00 | -- | Inf
25.17/25.26 c 25.3s| 5900 | 39 |106112 | 18.0 |7453k| 38 | - | 231 |6091 | 231 |2453 | 17 |3969 |2269 | 0.000000e+00 | -- | Inf
25.37/25.44 c 25.4s| 6000 | 41 |107367 | 17.9 |7471k| 38 | 23 | 231 |6140 | 231 |2453 | 17 |4033 |2270 | 0.000000e+00 | -- | Inf
25.58/25.63 c 25.6s| 6100 | 39 |108689 | 17.8 |7490k| 38 | - | 231 |6194 | 231 |2453 | 17 |4097 |2272 | 0.000000e+00 | -- | Inf
25.77/25.84 c 25.8s| 6200 | 45 |110363 | 17.8 |7520k| 38 | 17 | 231 |6242 | 231 |2453 | 17 |4161 |2273 | 0.000000e+00 | -- | Inf
25.97/26.05 c 26.1s| 6300 | 43 |112030 | 17.8 |7542k| 38 | - | 231 |6309 | 231 |2453 | 17 |4243 |2274 | 0.000000e+00 | -- | Inf
26.17/26.23 c 26.2s| 6400 | 43 |113319 | 17.7 |7569k| 38 | - | 231 |6375 | 231 |2453 | 17 |4315 |2274 | 0.000000e+00 | -- | Inf
26.37/26.45 c 26.4s| 6500 | 46 |114936 | 17.7 |7597k| 38 | - | 231 |6429 | 231 |2453 | 17 |4377 |2275 | 0.000000e+00 | -- | Inf
26.58/26.67 c 26.7s| 6600 | 46 |116626 | 17.7 |7615k| 38 | - | 231 |6475 | 231 |2453 | 17 |4433 |2275 | 0.000000e+00 | -- | Inf
26.87/26.92 c 26.9s| 6700 | 42 |118675 | 17.7 |7629k| 38 | - | 231 |6536 | 231 |2453 | 17 |4501 |2275 | 0.000000e+00 | -- | Inf
27.06/27.15 c 27.2s| 6800 | 42 |120605 | 17.7 |7649k| 38 | 39 | 231 |6595 | 231 |2453 | 17 |4562 |2275 | 0.000000e+00 | -- | Inf
27.37/27.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.37/27.41 c 27.4s| 6900 | 40 |122666 | 17.8 |7674k| 38 | 38 | 231 |6645 | 231 |2453 | 17 |4635 |2276 | 0.000000e+00 | -- | Inf
27.57/27.65 c 27.6s| 7000 | 39 |124429 | 17.8 |7690k| 38 | 45 | 231 |6695 | 231 |2453 | 17 |4702 |2276 | 0.000000e+00 | -- | Inf
27.87/27.90 c 27.9s| 7100 | 41 |126409 | 17.8 |7720k| 38 | 39 | 231 |6734 | 231 |2453 | 17 |4771 |2278 | 0.000000e+00 | -- | Inf
28.07/28.13 c 28.1s| 7200 | 41 |128061 | 17.8 |7737k| 38 | 36 | 231 |6780 | 231 |2453 | 17 |4839 |2278 | 0.000000e+00 | -- | Inf
28.26/28.35 c 28.3s| 7300 | 41 |129736 | 17.8 |7760k| 38 | - | 231 |6847 | 231 |2453 | 17 |4933 |2278 | 0.000000e+00 | -- | Inf
28.46/28.58 c 28.6s| 7400 | 41 |131533 | 17.8 |7782k| 38 | - | 231 |6898 | 231 |2453 | 17 |5007 |2278 | 0.000000e+00 | -- | Inf
28.77/28.89 c 28.9s| 7500 | 41 |133674 | 17.8 |7810k| 38 | - | 231 |6937 | 231 |2453 | 17 |5074 |2284 | 0.000000e+00 | -- | Inf
29.16/29.20 c 29.2s| 7600 | 43 |135505 | 17.8 |7840k| 38 | 29 | 231 |6963 | 231 |2453 | 17 |5124 |2303 | 0.000000e+00 | -- | Inf
29.37/29.48 c 29.5s| 7700 | 43 |137267 | 17.8 |7854k| 38 | - | 231 |6985 | 231 |2453 | 17 |5180 |2317 | 0.000000e+00 | -- | Inf
29.66/29.79 c 29.8s| 7800 | 45 |139181 | 17.8 |7864k| 38 | 36 | 231 |7001 | 231 |2453 | 17 |5225 |2333 | 0.000000e+00 | -- | Inf
30.06/30.12 c 30.1s| 7900 | 47 |141264 | 17.9 |7874k| 38 | 30 | 231 |7014 | 231 |2453 | 17 |5272 |2353 | 0.000000e+00 | -- | Inf
30.36/30.40 c 30.4s| 8000 | 43 |143029 | 17.9 |7886k| 38 | - | 231 |7052 | 231 |2453 | 17 |5319 |2364 | 0.000000e+00 | -- | Inf
30.66/30.70 c 30.7s| 8100 | 41 |144881 | 17.9 |7892k| 38 | 33 | 231 |7092 | 231 |2453 | 17 |5365 |2386 | 0.000000e+00 | -- | Inf
30.86/31.00 c 31.0s| 8200 | 43 |146598 | 17.9 |7915k| 38 | - | 231 |7099 | 231 |2453 | 17 |5417 |2405 | 0.000000e+00 | -- | Inf
31.16/31.26 c 31.3s| 8300 | 45 |148152 | 17.8 |7921k| 38 | 22 | 231 |7114 | 231 |2453 | 17 |5477 |2420 | 0.000000e+00 | -- | Inf
31.46/31.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.46/31.54 c 31.5s| 8400 | 46 |150018 | 17.8 |7934k| 38 | 24 | 231 |7142 | 231 |2453 | 17 |5531 |2434 | 0.000000e+00 | -- | Inf
31.76/31.84 c 31.8s| 8500 | 45 |151994 | 17.9 |7943k| 38 | 29 | 231 |7175 | 231 |2453 | 17 |5583 |2451 | 0.000000e+00 | -- | Inf
32.07/32.12 c 32.1s| 8600 | 42 |153826 | 17.9 |7951k| 38 | 36 | 231 |7202 | 231 |2453 | 17 |5645 |2464 | 0.000000e+00 | -- | Inf
32.26/32.36 c 32.4s| 8700 | 46 |155388 | 17.8 |7966k| 38 | 26 | 231 |7203 | 231 |2453 | 17 |5703 |2473 | 0.000000e+00 | -- | Inf
32.46/32.56 c 32.6s| 8800 | 44 |156815 | 17.8 |7969k| 38 | 36 | 231 |7228 | 231 |2453 | 17 |5758 |2476 | 0.000000e+00 | -- | Inf
32.66/32.79 c 32.8s| 8900 | 44 |158502 | 17.8 |7977k| 38 | 38 | 231 |7253 | 231 |2453 | 17 |5814 |2479 | 0.000000e+00 | -- | Inf
32.96/33.01 c 33.0s| 9000 | 44 |160353 | 17.8 |7995k| 38 | 31 | 231 |7303 | 231 |2453 | 17 |5876 |2479 | 0.000000e+00 | -- | Inf
33.16/33.27 c 33.3s| 9100 | 44 |162375 | 17.8 |8013k| 38 | - | 231 |7330 | 231 |2453 | 17 |5933 |2480 | 0.000000e+00 | -- | Inf
33.46/33.50 c 33.5s| 9200 | 44 |164012 | 17.8 |8025k| 38 | 36 | 231 |7374 | 231 |2453 | 17 |5991 |2484 | 0.000000e+00 | -- | Inf
33.66/33.72 c 33.7s| 9300 | 42 |165750 | 17.8 |8040k| 38 | - | 231 |7419 | 231 |2453 | 17 |6053 |2486 | 0.000000e+00 | -- | Inf
33.86/33.98 c 34.0s| 9400 | 42 |167709 | 17.8 |8040k| 38 | - | 231 |7397 | 231 |2453 | 17 |6109 |2488 | 0.000000e+00 | -- | Inf
34.16/34.20 c 34.2s| 9500 | 46 |169393 | 17.8 |8050k| 38 | 40 | 231 |7378 | 231 |2453 | 17 |6176 |2488 | 0.000000e+00 | -- | Inf
34.36/34.44 c 34.4s| 9600 | 44 |171316 | 17.8 |8056k| 38 | - | 231 |7386 | 231 |2453 | 17 |6231 |2488 | 0.000000e+00 | -- | Inf
34.65/34.73 c 34.7s| 9700 | 44 |173730 | 17.9 |8065k| 38 | - | 231 |7403 | 231 |2453 | 17 |6290 |2488 | 0.000000e+00 | -- | Inf
34.96/35.00 c 35.0s| 9800 | 46 |175959 | 17.9 |8081k| 38 | 25 | 231 |7406 | 231 |2453 | 17 |6344 |2489 | 0.000000e+00 | -- | Inf
35.16/35.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.16/35.27 c 35.3s| 9900 | 44 |178148 | 18.0 |8085k| 38 | 40 | 231 |7438 | 231 |2453 | 17 |6396 |2490 | 0.000000e+00 | -- | Inf
35.47/35.52 c 35.5s| 10000 | 46 |180092 | 18.0 |8114k| 38 | - | 231 |7474 | 231 |2453 | 17 |6450 |2490 | 0.000000e+00 | -- | Inf
35.66/35.77 c 35.8s| 10100 | 48 |182065 | 18.0 |8132k| 38 | 14 | 231 |7512 | 231 |2453 | 17 |6503 |2491 | 0.000000e+00 | -- | Inf
35.96/36.01 c 36.0s| 10200 | 48 |184027 | 18.0 |8157k| 38 | - | 231 |7560 | 231 |2453 | 17 |6574 |2491 | 0.000000e+00 | -- | Inf
36.16/36.22 c 36.2s| 10300 | 47 |185619 | 18.0 |8166k| 38 | - | 231 |7610 | 231 |2453 | 17 |6633 |2491 | 0.000000e+00 | -- | Inf
36.35/36.48 c 36.5s| 10400 | 45 |187300 | 18.0 |8166k| 38 | 35 | 231 |7654 | 231 |2453 | 17 |6689 |2504 | 0.000000e+00 | -- | Inf
36.75/36.82 c 36.8s| 10500 | 45 |189200 | 18.0 |8185k| 38 | 34 | 231 |7697 | 231 |2453 | 17 |6746 |2526 | 0.000000e+00 | -- | Inf
36.95/37.05 c 37.1s| 10600 | 44 |190980 | 18.0 |8206k| 38 | - | 231 |7750 | 231 |2453 | 17 |6809 |2531 | 0.000000e+00 | -- | Inf
37.25/37.35 c 37.4s| 10700 | 45 |192738 | 18.0 |8224k| 38 | - | 231 |7789 | 231 |2453 | 17 |6862 |2552 | 0.000000e+00 | -- | Inf
37.45/37.57 c 37.6s| 10800 | 49 |194246 | 18.0 |8253k| 38 | - | 231 |7850 | 231 |2453 | 17 |6934 |2562 | 0.000000e+00 | -- | Inf
37.76/37.84 c 37.8s| 10900 | 46 |195991 | 18.0 |8266k| 38 | - | 231 |7896 | 231 |2453 | 17 |6984 |2574 | 0.000000e+00 | -- | Inf
38.06/38.10 c 38.1s| 11000 | 49 |197596 | 18.0 |8292k| 38 | 36 | 231 |7954 | 231 |2453 | 17 |7047 |2589 | 0.000000e+00 | -- | Inf
38.36/38.41 c 38.4s| 11100 | 47 |199507 | 18.0 |8308k| 38 | 31 | 231 |8000 | 231 |2453 | 17 |7101 |2608 | 0.000000e+00 | -- | Inf
38.55/38.68 c 38.7s| 11200 | 46 |201226 | 18.0 |8329k| 38 | - | 231 |8050 | 231 |2453 | 17 |7153 |2622 | 0.000000e+00 | -- | Inf
38.95/39.02 c 39.0s| 11300 | 50 |203344 | 18.0 |8351k| 38 | - | 231 |8083 | 231 |2453 | 17 |7211 |2642 | 0.000000e+00 | -- | Inf
39.26/39.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.26/39.32 c 39.3s| 11400 | 52 |205325 | 18.0 |8362k| 38 | 20 | 231 |8078 | 231 |2453 | 17 |7270 |2657 | 0.000000e+00 | -- | Inf
39.56/39.64 c 39.6s| 11500 | 54 |207281 | 18.0 |8375k| 38 | 20 | 231 |8079 | 231 |2453 | 17 |7331 |2676 | 0.000000e+00 | -- | Inf
39.86/39.95 c 39.9s| 11600 | 53 |209119 | 18.0 |8367k| 38 | 41 | 231 |8071 | 231 |2453 | 17 |7400 |2692 | 0.000000e+00 | -- | Inf
40.16/40.29 c 40.3s| 11700 | 53 |211209 | 18.0 |8377k| 38 | - | 231 |8067 | 231 |2453 | 17 |7481 |2710 | 0.000000e+00 | -- | Inf
40.46/40.59 c 40.6s| 11800 | 53 |213360 | 18.1 |8382k| 38 | 30 | 231 |8069 | 231 |2453 | 17 |7551 |2719 | 0.000000e+00 | -- | Inf
40.86/40.90 c 40.9s| 11900 | 57 |215634 | 18.1 |8413k| 38 | - | 231 |8105 | 231 |2453 | 17 |7618 |2728 | 0.000000e+00 | -- | Inf
41.05/41.17 c 41.2s| 12000 | 57 |217686 | 18.1 |8435k| 38 | - | 231 |8157 | 231 |2453 | 17 |7684 |2731 | 0.000000e+00 | -- | Inf
41.35/41.42 c 41.4s| 12100 | 57 |219614 | 18.1 |8457k| 38 | - | 231 |8215 | 231 |2453 | 17 |7751 |2732 | 0.000000e+00 | -- | Inf
41.56/41.67 c 41.7s| 12200 | 58 |221451 | 18.1 |8476k| 38 | 36 | 231 |8270 | 231 |2453 | 17 |7811 |2735 | 0.000000e+00 | -- | Inf
41.85/41.91 c 41.9s| 12300 | 58 |223317 | 18.1 |8502k| 38 | - | 231 |8325 | 231 |2453 | 17 |7878 |2735 | 0.000000e+00 | -- | Inf
42.06/42.15 c 42.2s| 12400 | 55 |225192 | 18.2 |8514k| 38 | 35 | 231 |8379 | 231 |2453 | 17 |7947 |2735 | 0.000000e+00 | -- | Inf
42.35/42.40 c 42.4s| 12500 | 51 |226962 | 18.1 |8537k| 38 | - | 231 |8421 | 231 |2453 | 17 |8011 |2739 | 0.000000e+00 | -- | Inf
42.55/42.61 c 42.6s| 12600 | 57 |228549 | 18.1 |8562k| 38 | 20 | 231 |8433 | 231 |2453 | 17 |8071 |2739 | 0.000000e+00 | -- | Inf
42.76/42.82 c 42.8s| 12700 | 54 |230169 | 18.1 |8581k| 38 | - | 231 |8488 | 231 |2453 | 17 |8137 |2739 | 0.000000e+00 | -- | Inf
42.96/43.04 c 43.0s| 12800 | 58 |231934 | 18.1 |8605k| 38 | 33 | 231 |8532 | 231 |2453 | 17 |8193 |2739 | 0.000000e+00 | -- | Inf
43.16/43.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.16/43.24 c 43.2s| 12900 | 55 |233447 | 18.1 |8615k| 38 | - | 231 |8563 | 231 |2453 | 17 |8250 |2739 | 0.000000e+00 | -- | Inf
43.35/43.48 c 43.5s| 13000 | 57 |235293 | 18.1 |8627k| 38 | 35 | 231 |8587 | 231 |2453 | 17 |8306 |2739 | 0.000000e+00 | -- | Inf
43.65/43.70 c 43.7s| 13100 | 58 |237024 | 18.1 |8650k| 38 | - | 231 |8624 | 231 |2453 | 17 |8370 |2739 | 0.000000e+00 | -- | Inf
43.85/43.91 c 43.9s| 13200 | 60 |238549 | 18.1 |8666k| 38 | 30 | 231 |8663 | 231 |2453 | 17 |8434 |2740 | 0.000000e+00 | -- | Inf
44.05/44.12 c 44.1s| 13300 | 56 |240223 | 18.1 |8672k| 38 | - | 231 |8690 | 231 |2453 | 17 |8494 |2740 | 0.000000e+00 | -- | Inf
44.26/44.35 c 44.4s| 13400 | 56 |242028 | 18.1 |8691k| 38 | - | 231 |8748 | 231 |2453 | 17 |8561 |2740 | 0.000000e+00 | -- | Inf
44.45/44.58 c 44.6s| 13500 | 55 |243842 | 18.1 |8700k| 38 | 38 | 231 |8764 | 231 |2453 | 17 |8632 |2740 | 0.000000e+00 | -- | Inf
44.75/44.81 c 44.8s| 13600 | 57 |245588 | 18.0 |8718k| 38 | 37 | 231 |8772 | 231 |2453 | 17 |8685 |2740 | 0.000000e+00 | -- | Inf
44.96/45.06 c 45.1s| 13700 | 57 |247446 | 18.1 |8720k| 38 | - | 231 |8731 | 231 |2453 | 17 |8741 |2741 | 0.000000e+00 | -- | Inf
45.26/45.32 c 45.3s| 13800 | 57 |249514 | 18.1 |8731k| 38 | - | 231 |8736 | 231 |2453 | 17 |8804 |2741 | 0.000000e+00 | -- | Inf
45.45/45.59 c 45.6s| 13900 | 59 |251726 | 18.1 |8733k| 38 | - | 231 |8721 | 231 |2453 | 17 |8877 |2742 | 0.000000e+00 | -- | Inf
45.75/45.82 c 45.8s| 14000 | 59 |253541 | 18.1 |8745k| 39 | - | 231 |8731 | 0 | 0 | 17 |8927 |2742 | 0.000000e+00 | -- | Inf
45.95/46.07 c 46.1s| 14100 | 59 |255501 | 18.1 |8741k| 39 | 32 | 231 |8732 | 231 |2453 | 17 |8980 |2742 | 0.000000e+00 | -- | Inf
46.25/46.30 c 46.3s| 14200 | 55 |257334 | 18.1 |8734k| 39 | - | 231 |8710 | 231 |2453 | 17 |9043 |2742 | 0.000000e+00 | -- | Inf
46.46/46.54 c 46.5s| 14300 | 55 |259220 | 18.1 |8733k| 39 | - | 231 |8720 | 231 |2453 | 17 |9104 |2742 | 0.000000e+00 | -- | Inf
46.65/46.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.65/46.77 c 46.8s| 14400 | 57 |261033 | 18.1 |8742k| 39 | - | 231 |8725 | 231 |2453 | 17 |9171 |2742 | 0.000000e+00 | -- | Inf
46.85/46.99 c 47.0s| 14500 | 57 |262762 | 18.1 |8750k| 39 | 29 | 231 |8745 | 231 |2453 | 17 |9238 |2742 | 0.000000e+00 | -- | Inf
47.15/47.20 c 47.2s| 14600 | 57 |264351 | 18.1 |8763k| 39 | 40 | 231 |8781 | 231 |2453 | 17 |9313 |2742 | 0.000000e+00 | -- | Inf
47.35/47.42 c 47.4s| 14700 | 58 |266044 | 18.1 |8781k| 39 | - | 231 |8810 | 231 |2453 | 17 |9380 |2742 | 0.000000e+00 | -- | Inf
47.56/47.62 c 47.6s| 14800 | 60 |267584 | 18.1 |8800k| 39 | - | 231 |8847 | 231 |2453 | 17 |9434 |2742 | 0.000000e+00 | -- | Inf
47.75/47.83 c 47.8s| 14900 | 61 |269164 | 18.1 |8824k| 39 | 18 | 231 |8907 | 231 |2453 | 17 |9498 |2742 | 0.000000e+00 | -- | Inf
47.95/48.04 c 48.0s| 15000 | 58 |270881 | 18.1 |8824k| 39 | 36 | 231 |8921 | 231 |2453 | 17 |9559 |2742 | 0.000000e+00 | -- | Inf
48.15/48.28 c 48.3s| 15100 | 58 |272792 | 18.1 |8844k| 39 | 31 | 231 |8966 | 231 |2453 | 17 |9623 |2742 | 0.000000e+00 | -- | Inf
48.45/48.53 c 48.5s| 15200 | 56 |274802 | 18.1 |8852k| 39 | 43 | 231 |9012 | 231 |2453 | 17 |9682 |2742 | 0.000000e+00 | -- | Inf
48.66/48.78 c 48.8s| 15300 | 58 |276983 | 18.1 |8881k| 39 | 27 | 231 |9067 | 231 |2453 | 17 |9746 |2742 | 0.000000e+00 | -- | Inf
48.95/49.02 c 49.0s| 15400 | 56 |278765 | 18.1 |8880k| 39 | 34 | 231 |9100 | 231 |2453 | 17 |9809 |2742 | 0.000000e+00 | -- | Inf
49.15/49.26 c 49.3s| 15500 | 56 |280705 | 18.1 |8901k| 39 | - | 231 |9097 | 231 |2453 | 17 |9857 |2742 | 0.000000e+00 | -- | Inf
49.45/49.50 c 49.5s| 15600 | 58 |282583 | 18.1 |8903k| 39 | 39 | 231 |9084 | 231 |2453 | 17 |9906 |2742 | 0.000000e+00 | -- | Inf
49.65/49.74 c 49.7s| 15700 | 57 |284566 | 18.1 |8903k| 39 | 36 | 231 |9082 | 231 |2453 | 17 |9952 |2742 | 0.000000e+00 | -- | Inf
49.85/49.99 c 50.0s| 15800 | 57 |286658 | 18.1 |8913k| 39 | - | 231 |9101 | 231 |2453 | 17 |9998 |2742 | 0.000000e+00 | -- | Inf
50.15/50.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.15/50.25 c 50.3s| 15900 | 55 |288910 | 18.2 |8923k| 39 | - | 231 |9143 | 231 |2453 | 17 | 10k|2742 | 0.000000e+00 | -- | Inf
50.35/50.48 c 50.5s| 16000 | 52 |290560 | 18.2 |8909k| 39 | 36 | 231 |9136 | 231 |2453 | 17 | 10k|2742 | 0.000000e+00 | -- | Inf
50.65/50.74 c 50.7s| 16100 | 52 |292573 | 18.2 |8938k| 39 | 29 | 231 |9097 | 231 |2453 | 17 | 10k|2742 | 0.000000e+00 | -- | Inf
50.86/50.97 c 51.0s| 16200 | 52 |294369 | 18.2 |8960k| 39 | - | 231 |9082 | 231 |2453 | 17 | 10k|2742 | 0.000000e+00 | -- | Inf
51.15/51.21 c 51.2s| 16300 | 52 |296200 | 18.2 |8961k| 39 | - | 231 |9089 | 231 |2453 | 17 | 10k|2742 | 0.000000e+00 | -- | Inf
51.35/51.45 c 51.4s| 16400 | 52 |298137 | 18.2 |8967k| 39 | - | 231 |9104 | 231 |2453 | 17 | 10k|2742 | 0.000000e+00 | -- | Inf
51.65/51.70 c 51.7s| 16500 | 51 |300145 | 18.2 |8970k| 39 | - | 231 |9122 | 231 |2453 | 17 | 10k|2742 | 0.000000e+00 | -- | Inf
51.85/51.93 c 51.9s| 16600 | 51 |301943 | 18.2 |8983k| 39 | - | 231 |9153 | 231 |2453 | 17 | 10k|2742 | 0.000000e+00 | -- | Inf
52.05/52.17 c 52.2s| 16700 | 57 |303719 | 18.2 |9005k| 39 | 28 | 231 |9158 | 231 |2453 | 17 | 10k|2742 | 0.000000e+00 | -- | Inf
52.25/52.38 c 52.4s| 16800 | 57 |305266 | 18.2 |9014k| 39 | 33 | 231 |9183 | 231 |2453 | 17 | 10k|2742 | 0.000000e+00 | -- | Inf
52.55/52.61 c 52.6s| 16900 | 59 |307062 | 18.2 |9036k| 39 | 30 | 231 |9234 | 231 |2453 | 17 | 10k|2742 | 0.000000e+00 | -- | Inf
52.75/52.83 c 52.8s| 17000 | 57 |308690 | 18.2 |9051k| 39 | 40 | 231 |9286 | 231 |2453 | 17 | 10k|2742 | 0.000000e+00 | -- | Inf
52.95/53.08 c 53.1s| 17100 | 65 |310619 | 18.2 |9088k| 39 | - | 231 |9323 | 231 |2453 | 17 | 10k|2742 | 0.000000e+00 | -- | Inf
53.25/53.31 c 53.3s| 17200 | 72 |312500 | 18.2 |9130k| 39 | 36 | 231 |9388 | 231 |2453 | 17 | 10k|2742 | 0.000000e+00 | -- | Inf
53.45/53.53 c 53.5s| 17300 | 68 |314058 | 18.1 |9147k| 39 | 29 | 231 |9461 | 231 |2453 | 17 | 11k|2742 | 0.000000e+00 | -- | Inf
53.65/53.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
53.65/53.73 c 53.7s| 17400 | 62 |315523 | 18.1 |9157k| 39 | - | 231 |9518 | 0 | 0 | 17 | 11k|2742 | 0.000000e+00 | -- | Inf
53.85/53.94 c 53.9s| 17500 | 63 |317081 | 18.1 |9173k| 39 | - | 231 |9567 | 231 |2453 | 17 | 11k|2742 | 0.000000e+00 | -- | Inf
54.05/54.15 c 54.2s| 17600 | 63 |318663 | 18.1 |9191k| 39 | - | 231 |9620 | 231 |2453 | 17 | 11k|2742 | 0.000000e+00 | -- | Inf
54.24/54.36 c 54.4s| 17700 | 64 |320214 | 18.1 |9208k| 39 | 39 | 231 |9670 | 231 |2453 | 17 | 11k|2742 | 0.000000e+00 | -- | Inf
54.44/54.58 c 54.6s| 17800 | 65 |321948 | 18.1 |9231k| 39 | - | 231 |9722 | 231 |2453 | 17 | 11k|2742 | 0.000000e+00 | -- | Inf
54.65/54.79 c 54.8s| 17900 | 69 |323573 | 18.1 |9271k| 39 | - | 231 |9790 | 0 | 0 | 17 | 11k|2742 | 0.000000e+00 | -- | Inf
54.85/54.99 c 55.0s| 18000 | 67 |325131 | 18.1 |9283k| 39 | 31 | 231 |9854 | 231 |2453 | 17 | 11k|2742 | 0.000000e+00 | -- | Inf
55.15/55.23 c 55.2s| 18100 | 65 |326945 | 18.1 |9306k| 39 | - | 231 |9921 | 231 |2453 | 17 | 11k|2742 | 0.000000e+00 | -- | Inf
55.35/55.45 c 55.4s| 18200 | 67 |328595 | 18.0 |9338k| 39 | - | 231 |9982 | 231 |2453 | 17 | 11k|2742 | 0.000000e+00 | -- | Inf
55.55/55.69 c 55.7s| 18300 | 67 |330455 | 18.1 |9361k| 39 | 16 | 231 | 10k| 231 |2453 | 17 | 11k|2742 | 0.000000e+00 | -- | Inf
55.85/55.92 c 55.9s| 18400 | 61 |332148 | 18.0 |9372k| 39 | - | 231 | 10k| 231 |2453 | 17 | 11k|2742 | 0.000000e+00 | -- | Inf
56.05/56.16 c 56.2s| 18500 | 60 |333999 | 18.0 |9392k| 39 | - | 231 | 10k| 231 |2453 | 17 | 11k|2742 | 0.000000e+00 | -- | Inf
56.26/56.38 c 56.4s| 18600 | 60 |335546 | 18.0 |9411k| 39 | - | 231 | 10k| 231 |2453 | 17 | 11k|2742 | 0.000000e+00 | -- | Inf
56.55/56.60 c 56.6s| 18700 | 62 |337153 | 18.0 |9424k| 39 | 27 | 231 | 10k| 231 |2453 | 17 | 11k|2742 | 0.000000e+00 | -- | Inf
56.74/56.86 c 56.9s| 18800 | 61 |339152 | 18.0 |9433k| 39 | - | 231 | 10k| 231 |2453 | 17 | 11k|2742 | 0.000000e+00 | -- | Inf
56.94/57.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.94/57.09 c 57.1s| 18900 | 64 |340871 | 18.0 |9429k| 39 | 37 | 231 | 10k| 231 |2453 | 17 | 12k|2742 | 0.000000e+00 | -- | Inf
57.25/57.35 c 57.4s| 19000 | 62 |342898 | 18.0 |9440k| 39 | - | 231 | 10k| 231 |2453 | 17 | 12k|2742 | 0.000000e+00 | -- | Inf
57.45/57.59 c 57.6s| 19100 | 63 |344689 | 18.0 |9448k| 39 | 32 | 231 | 10k| 231 |2453 | 17 | 12k|2742 | 0.000000e+00 | -- | Inf
57.74/57.83 c 57.8s| 19200 | 65 |346560 | 18.0 |9473k| 39 | 34 | 231 | 10k| 231 |2453 | 17 | 12k|2742 | 0.000000e+00 | -- | Inf
57.94/58.06 c 58.1s| 19300 | 64 |348320 | 18.0 |9491k| 39 | - | 231 | 10k| 231 |2453 | 17 | 12k|2742 | 0.000000e+00 | -- | Inf
58.25/58.31 c 58.3s| 19400 | 65 |350216 | 18.0 |9504k| 39 | 39 | 231 | 10k| 231 |2453 | 17 | 12k|2742 | 0.000000e+00 | -- | Inf
58.45/58.57 c 58.6s| 19500 | 67 |352268 | 18.1 |9536k| 39 | - | 231 | 10k| 231 |2453 | 17 | 12k|2742 | 0.000000e+00 | -- | Inf
58.74/58.81 c 58.8s| 19600 | 66 |354073 | 18.1 |9559k| 39 | - | 231 | 10k| 231 |2453 | 17 | 12k|2742 | 0.000000e+00 | -- | Inf
58.94/59.05 c 59.0s| 19700 | 64 |355897 | 18.1 |9585k| 39 | - | 231 | 10k| 231 |2453 | 17 | 12k|2742 | 0.000000e+00 | -- | Inf
59.15/59.28 c 59.3s| 19800 | 64 |357697 | 18.1 |9597k| 39 | - | 231 | 10k| 231 |2453 | 17 | 12k|2742 | 0.000000e+00 | -- | Inf
59.45/59.51 c 59.5s| 19900 | 68 |359474 | 18.1 |9629k| 39 | 36 | 231 | 10k| 231 |2453 | 17 | 12k|2742 | 0.000000e+00 | -- | Inf
59.65/59.74 c 59.7s| 20000 | 65 |361280 | 18.1 |9641k| 40 | 37 | 231 | 10k| 231 |2453 | 17 | 12k|2742 | 0.000000e+00 | -- | Inf
59.95/60.00 c 60.0s| 20100 | 63 |363275 | 18.1 |9645k| 40 | - | 231 | 10k| 231 |2453 | 17 | 12k|2742 | 0.000000e+00 | -- | Inf
60.15/60.23 c 60.2s| 20200 | 63 |364968 | 18.1 |9628k| 40 | 36 | 231 | 10k| 231 |2453 | 17 | 12k|2742 | 0.000000e+00 | -- | Inf
60.35/60.49 c 60.5s| 20300 | 65 |366955 | 18.1 |9616k| 40 | 37 | 231 | 10k| 231 |2453 | 17 | 13k|2742 | 0.000000e+00 | -- | Inf
60.65/60.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.65/60.74 c 60.7s| 20400 | 65 |368987 | 18.1 |9610k| 40 | - | 231 | 10k| 231 |2453 | 17 | 13k|2742 | 0.000000e+00 | -- | Inf
60.94/61.00 c 61.0s| 20500 | 65 |370889 | 18.1 |9610k| 40 | 32 | 231 | 10k| 231 |2453 | 17 | 13k|2742 | 0.000000e+00 | -- | Inf
61.14/61.26 c 61.3s| 20600 | 65 |372897 | 18.1 |9564k| 40 | 27 | 231 | 10k| 231 |2453 | 17 | 13k|2742 | 0.000000e+00 | -- | Inf
61.35/61.49 c 61.5s| 20700 | 65 |374706 | 18.1 |9526k| 40 | - | 231 | 10k| 231 |2453 | 17 | 13k|2742 | 0.000000e+00 | -- | Inf
61.65/61.70 c 61.7s| 20800 | 67 |376295 | 18.1 |9511k| 40 | - | 231 | 10k| 231 |2453 | 17 | 13k|2742 | 0.000000e+00 | -- | Inf
61.85/61.95 c 62.0s| 20900 | 67 |378287 | 18.1 |9495k| 40 | 27 | 231 |9994 | 231 |2453 | 17 | 13k|2742 | 0.000000e+00 | -- | Inf
62.04/62.18 c 62.2s| 21000 | 67 |380070 | 18.1 |9495k| 40 | 39 | 231 |9987 | 231 |2453 | 17 | 13k|2742 | 0.000000e+00 | -- | Inf
62.35/62.41 c 62.4s| 21100 | 69 |381764 | 18.1 |9499k| 40 | 33 | 231 |9965 | 231 |2453 | 17 | 13k|2742 | 0.000000e+00 | -- | Inf
62.55/62.66 c 62.7s| 21200 | 62 |383803 | 18.1 |9490k| 40 | - | 231 |9973 | 231 |2453 | 17 | 13k|2742 | 0.000000e+00 | -- | Inf
62.75/62.89 c 62.9s| 21300 | 60 |385498 | 18.1 |9483k| 40 | 36 | 231 |9983 | 231 |2453 | 17 | 13k|2742 | 0.000000e+00 | -- | Inf
62.95/63.09 c 63.1s| 21400 | 62 |387035 | 18.1 |9487k| 46 | - | 231 |9928 | 0 | 0 | 17 | 13k|2742 | 0.000000e+00 | -- | Inf
63.25/63.33 c 63.3s| 21500 | 66 |388940 | 18.1 |9449k| 46 | 18 | 231 |9806 | 231 |2453 | 17 | 13k|2742 | 0.000000e+00 | -- | Inf
63.44/63.51 c 63.5s| 21600 | 62 |390317 | 18.1 |9444k| 46 | - | 231 |9795 | 231 |2453 | 17 | 13k|2742 | 0.000000e+00 | -- | Inf
63.64/63.73 c 63.7s| 21700 | 66 |391976 | 18.1 |9436k| 46 | - | 231 |9744 | 231 |2453 | 17 | 13k|2742 | 0.000000e+00 | -- | Inf
63.85/63.91 c 63.9s| 21800 | 64 |393330 | 18.0 |9437k| 46 | - | 231 |9759 | 231 |2453 | 17 | 14k|2742 | 0.000000e+00 | -- | Inf
64.05/64.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.05/64.14 c 64.1s| 21900 | 64 |395062 | 18.0 |9417k| 46 | 34 | 231 |9699 | 231 |2453 | 17 | 14k|2742 | 0.000000e+00 | -- | Inf
64.25/64.38 c 64.4s| 22000 | 62 |396936 | 18.0 |9418k| 46 | - | 231 |9716 | 231 |2453 | 17 | 14k|2742 | 0.000000e+00 | -- | Inf
64.44/64.59 c 64.6s| 22100 | 62 |398595 | 18.0 |9413k| 46 | 34 | 231 |9710 | 231 |2453 | 17 | 14k|2742 | 0.000000e+00 | -- | Inf
64.75/64.81 c 64.8s| 22200 | 62 |400200 | 18.0 |9429k| 46 | - | 231 |9732 | 231 |2453 | 17 | 14k|2742 | 0.000000e+00 | -- | Inf
64.95/65.03 c 65.0s| 22300 | 62 |401884 | 18.0 |9428k| 46 | - | 231 |9730 | 231 |2453 | 17 | 14k|2742 | 0.000000e+00 | -- | Inf
65.15/65.26 c 65.3s| 22400 | 63 |403604 | 18.0 |9445k| 46 | - | 231 |9767 | 231 |2453 | 17 | 14k|2742 | 0.000000e+00 | -- | Inf
65.35/65.49 c 65.5s| 22500 | 65 |405497 | 18.0 |9464k| 46 | 25 | 231 |9818 | 231 |2453 | 17 | 14k|2742 | 0.000000e+00 | -- | Inf
65.64/65.70 c 65.7s| 22600 | 69 |407130 | 18.0 |9496k| 46 | - | 231 |9871 | 231 |2453 | 17 | 14k|2742 | 0.000000e+00 | -- | Inf
65.84/65.92 c 65.9s| 22700 | 70 |408771 | 18.0 |9508k| 46 | 23 | 231 |9917 | 231 |2453 | 17 | 14k|2742 | 0.000000e+00 | -- | Inf
66.04/66.14 c 66.1s| 22800 | 68 |410523 | 18.0 |9532k| 46 | - | 231 |9966 | 0 | 0 | 17 | 14k|2742 | 0.000000e+00 | -- | Inf
66.25/66.39 c 66.4s| 22900 | 65 |412489 | 18.0 |9539k| 46 | - | 231 | 10k| 231 |2453 | 17 | 14k|2742 | 0.000000e+00 | -- | Inf
66.55/66.61 c 66.6s| 23000 | 69 |414229 | 18.0 |9567k| 46 | 34 | 231 | 10k| 231 |2453 | 17 | 14k|2742 | 0.000000e+00 | -- | Inf
66.75/66.85 c 66.8s| 23100 | 68 |416073 | 18.0 |9583k| 46 | 22 | 231 | 10k| 231 |2453 | 17 | 14k|2742 | 0.000000e+00 | -- | Inf
66.94/67.08 c 67.1s| 23200 | 66 |417970 | 18.0 |9596k| 46 | 37 | 231 | 10k| 231 |2453 | 17 | 14k|2742 | 0.000000e+00 | -- | Inf
67.26/67.33 c 67.3s| 23300 | 67 |420017 | 18.0 |9618k| 46 | 29 | 231 | 10k| 231 |2453 | 17 | 14k|2742 | 0.000000e+00 | -- | Inf
67.45/67.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
67.45/67.59 c 67.6s| 23400 | 70 |422108 | 18.0 |9643k| 46 | 40 | 231 | 10k| 231 |2453 | 17 | 15k|2742 | 0.000000e+00 | -- | Inf
67.75/67.84 c 67.8s| 23500 | 72 |424144 | 18.0 |9676k| 46 | - | 231 | 10k| 231 |2453 | 17 | 15k|2742 | 0.000000e+00 | -- | Inf
67.94/68.06 c 68.1s| 23600 | 71 |425861 | 18.0 |9695k| 46 | - | 231 | 10k| 231 |2453 | 17 | 15k|2742 | 0.000000e+00 | -- | Inf
68.24/68.30 c 68.3s| 23700 | 73 |427852 | 18.0 |9721k| 46 | - | 231 | 10k| 231 |2453 | 17 | 15k|2742 | 0.000000e+00 | -- | Inf
68.45/68.54 c 68.5s| 23800 | 71 |429871 | 18.1 |9731k| 46 | 33 | 231 | 10k| 231 |2453 | 17 | 15k|2742 | 0.000000e+00 | -- | Inf
68.64/68.79 c 68.8s| 23900 | 72 |431866 | 18.1 |9760k| 46 | 34 | 231 | 10k| 231 |2453 | 17 | 15k|2742 | 0.000000e+00 | -- | Inf
68.95/69.00 c 69.0s| 24000 | 72 |433553 | 18.1 |9788k| 46 | 35 | 231 | 10k| 231 |2453 | 17 | 15k|2742 | 0.000000e+00 | -- | Inf
69.15/69.23 c 69.2s| 24100 | 68 |435356 | 18.1 |9810k| 46 | - | 231 | 10k| 231 |2453 | 17 | 15k|2742 | 0.000000e+00 | -- | Inf
69.35/69.46 c 69.5s| 24200 | 67 |437166 | 18.1 |9826k| 46 | - | 231 | 10k| 231 |2453 | 17 | 15k|2742 | 0.000000e+00 | -- | Inf
69.55/69.67 c 69.7s| 24300 | 65 |438788 | 18.1 |9847k| 46 | - | 231 | 10k| 231 |2453 | 17 | 15k|2742 | 0.000000e+00 | -- | Inf
69.74/69.88 c 69.9s| 24400 | 68 |440479 | 18.0 |9888k| 46 | - | 231 | 10k| 0 | 0 | 17 | 15k|2742 | 0.000000e+00 | -- | Inf
69.95/70.09 c 70.1s| 24500 | 69 |442076 | 18.0 |9908k| 46 | 23 | 231 | 10k| 231 |2453 | 17 | 15k|2742 | 0.000000e+00 | -- | Inf
70.25/70.32 c 70.3s| 24600 | 63 |443876 | 18.0 |9902k| 46 | - | 231 | 10k| 231 |2453 | 17 | 15k|2742 | 0.000000e+00 | -- | Inf
70.45/70.58 c 70.6s| 24700 | 61 |445872 | 18.0 |9894k| 46 | - | 231 | 10k| 231 |2453 | 17 | 15k|2742 | 0.000000e+00 | -- | Inf
70.74/70.80 c 70.8s| 24800 | 62 |447489 | 18.0 |9887k| 46 | 41 | 231 | 10k| 231 |2453 | 17 | 15k|2742 | 0.000000e+00 | -- | Inf
70.95/71.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.95/71.06 c 71.1s| 24900 | 62 |449453 | 18.0 |9862k| 46 | - | 231 | 10k| 231 |2453 | 17 | 16k|2742 | 0.000000e+00 | -- | Inf
71.15/71.29 c 71.3s| 25000 | 62 |451232 | 18.0 |9864k| 46 | - | 231 | 10k| 231 |2453 | 17 | 16k|2742 | 0.000000e+00 | -- | Inf
71.45/71.56 c 71.6s| 25100 | 60 |452970 | 18.0 |9865k| 46 | - | 231 | 10k| 231 |2453 | 17 | 16k|2751 | 0.000000e+00 | -- | Inf
71.75/71.87 c 71.9s| 25200 | 62 |454969 | 18.0 |9849k| 46 | - | 231 | 10k| 231 |2453 | 17 | 16k|2763 | 0.000000e+00 | -- | Inf
72.04/72.18 c 72.2s| 25300 | 64 |456860 | 18.1 |9840k| 46 | - | 231 | 10k| 231 |2453 | 17 | 16k|2779 | 0.000000e+00 | -- | Inf
72.34/72.48 c 72.5s| 25400 | 64 |458727 | 18.1 |9831k| 46 | - | 231 | 10k| 231 |2453 | 17 | 16k|2794 | 0.000000e+00 | -- | Inf
72.64/72.72 c 72.7s| 25500 | 65 |460133 | 18.0 |9831k| 46 | - | 231 | 10k| 0 | 0 | 17 | 16k|2806 | 0.000000e+00 | -- | Inf
72.85/72.98 c 73.0s| 25600 | 63 |461711 | 18.0 |9799k| 46 | 44 | 231 | 10k| 231 |2453 | 17 | 16k|2816 | 0.000000e+00 | -- | Inf
73.15/73.26 c 73.3s| 25700 | 63 |463397 | 18.0 |9789k| 46 | 36 | 231 | 10k| 231 |2453 | 17 | 16k|2831 | 0.000000e+00 | -- | Inf
73.44/73.52 c 73.5s| 25800 | 63 |465025 | 18.0 |9790k| 46 | 33 | 231 | 10k| 231 |2453 | 17 | 16k|2845 | 0.000000e+00 | -- | Inf
73.65/73.78 c 73.8s| 25900 | 63 |466732 | 18.0 |9807k| 46 | - | 231 | 10k| 231 |2453 | 17 | 16k|2857 | 0.000000e+00 | -- | Inf
73.95/74.07 c 74.1s| 26000 | 59 |468554 | 18.0 |9804k| 46 | - | 231 | 10k| 231 |2453 | 17 | 16k|2870 | 0.000000e+00 | -- | Inf
74.24/74.34 c 74.3s| 26100 | 61 |470179 | 18.0 |9776k| 46 | 25 | 231 | 10k| 231 |2453 | 17 | 16k|2880 | 0.000000e+00 | -- | Inf
74.54/74.62 c 74.6s| 26200 | 61 |471893 | 18.0 |9763k| 46 | - | 231 | 10k| 231 |2453 | 17 | 16k|2893 | 0.000000e+00 | -- | Inf
74.84/74.91 c 74.9s| 26300 | 57 |473664 | 18.0 |9734k| 46 | 41 | 231 | 10k| 231 |2453 | 17 | 16k|2907 | 0.000000e+00 | -- | Inf
75.06/75.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
75.06/75.19 c 75.2s| 26400 | 55 |475297 | 18.0 |9716k| 46 | - | 231 | 10k| 231 |2453 | 17 | 16k|2921 | 0.000000e+00 | -- | Inf
75.35/75.45 c 75.5s| 26500 | 59 |476894 | 18.0 |9723k| 46 | - | 231 | 10k| 231 |2453 | 17 | 16k|2933 | 0.000000e+00 | -- | Inf
75.65/75.74 c 75.7s| 26600 | 57 |478694 | 18.0 |9716k| 46 | 33 | 231 | 10k| 231 |2453 | 17 | 17k|2947 | 0.000000e+00 | -- | Inf
75.94/76.03 c 76.0s| 26700 | 55 |480534 | 18.0 |9681k| 46 | - | 231 | 10k| 231 |2453 | 17 | 17k|2960 | 0.000000e+00 | -- | Inf
76.24/76.31 c 76.3s| 26800 | 56 |482392 | 18.0 |9631k| 46 | - | 231 | 10k| 231 |2453 | 17 | 17k|2967 | 0.000000e+00 | -- | Inf
76.45/76.54 c 76.5s| 26900 | 56 |484011 | 18.0 |9621k| 46 | - | 231 |9949 | 231 |2453 | 17 | 17k|2973 | 0.000000e+00 | -- | Inf
76.65/76.79 c 76.8s| 27000 | 60 |485824 | 18.0 |9576k| 46 | 30 | 231 |9809 | 231 |2453 | 17 | 17k|2977 | 0.000000e+00 | -- | Inf
76.95/77.04 c 77.0s| 27100 | 58 |487668 | 18.0 |9542k| 46 | - | 231 |9704 | 231 |2453 | 17 | 17k|2980 | 0.000000e+00 | -- | Inf
77.15/77.26 c 77.3s| 27200 | 58 |489188 | 18.0 |9521k| 46 | - | 231 |9626 | 231 |2453 | 17 | 17k|2984 | 0.000000e+00 | -- | Inf
77.34/77.49 c 77.5s| 27300 | 58 |490926 | 18.0 |9523k| 46 | 28 | 231 |9641 | 231 |2453 | 17 | 17k|2985 | 0.000000e+00 | -- | Inf
77.65/77.74 c 77.7s| 27400 | 58 |492853 | 18.0 |9494k| 46 | 39 | 231 |9543 | 231 |2453 | 17 | 17k|2985 | 0.000000e+00 | -- | Inf
77.95/78.04 c 78.0s| 27500 | 58 |495170 | 18.0 |9465k| 46 | 30 | 231 |9459 | 231 |2453 | 17 | 17k|2991 | 0.000000e+00 | -- | Inf
78.15/78.27 c 78.3s| 27600 | 58 |497036 | 18.0 |9468k| 46 | - | 231 |9455 | 231 |2453 | 17 | 17k|2991 | 0.000000e+00 | -- | Inf
78.44/78.50 c 78.5s| 27700 | 58 |498889 | 18.0 |9483k| 46 | - | 231 |9501 | 231 |2453 | 17 | 17k|2991 | 0.000000e+00 | -- | Inf
78.64/78.75 c 78.8s| 27800 | 59 |500871 | 18.0 |9497k| 46 | - | 231 |9533 | 231 |2453 | 17 | 17k|2992 | 0.000000e+00 | -- | Inf
78.95/79.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
78.95/79.00 c 79.0s| 27900 | 59 |502861 | 18.0 |9509k| 46 | - | 231 |9557 | 231 |2453 | 17 | 17k|2992 | 0.000000e+00 | -- | Inf
79.14/79.24 c 79.2s| 28000 | 60 |504686 | 18.0 |9517k| 46 | 42 | 231 |9579 | 231 |2453 | 17 | 17k|2992 | 0.000000e+00 | -- | Inf
79.36/79.49 c 79.5s| 28100 | 58 |506620 | 18.0 |9530k| 46 | 36 | 231 |9620 | 231 |2453 | 17 | 17k|2992 | 0.000000e+00 | -- | Inf
79.65/79.75 c 79.7s| 28200 | 62 |508732 | 18.0 |9561k| 46 | - | 231 |9666 | 231 |2453 | 17 | 18k|2992 | 0.000000e+00 | -- | Inf
79.84/79.99 c 80.0s| 28300 | 61 |510623 | 18.0 |9557k| 46 | - | 231 |9662 | 231 |2453 | 17 | 18k|2992 | 0.000000e+00 | -- | Inf
80.14/80.22 c 80.2s| 28400 | 61 |512365 | 18.0 |9519k| 46 | 37 | 231 |9577 | 231 |2453 | 17 | 18k|2992 | 0.000000e+00 | -- | Inf
80.34/80.44 c 80.4s| 28500 | 59 |514075 | 18.0 |9516k| 46 | - | 231 |9555 | 231 |2453 | 17 | 18k|2992 | 0.000000e+00 | -- | Inf
80.55/80.68 c 80.7s| 28600 | 59 |515830 | 18.0 |9467k| 46 | - | 231 |9455 | 231 |2453 | 17 | 18k|2992 | 0.000000e+00 | -- | Inf
80.75/80.89 c 80.9s| 28700 | 59 |517310 | 18.0 |9464k| 46 | 30 | 231 |9458 | 231 |2453 | 17 | 18k|2992 | 0.000000e+00 | -- | Inf
81.04/81.19 c 81.2s| 28800 | 55 |519371 | 18.0 |9373k| 46 | - | 231 |9366 | 231 |2453 | 17 | 18k|3002 | 0.000000e+00 | -- | Inf
81.34/81.47 c 81.5s| 28900 | 56 |521165 | 18.0 |9333k| 46 | 19 | 231 |9251 | 231 |2453 | 17 | 18k|3011 | 0.000000e+00 | -- | Inf
81.65/81.75 c 81.7s| 29000 | 58 |522936 | 18.0 |9333k| 46 | 32 | 231 |9221 | 231 |2453 | 17 | 18k|3023 | 0.000000e+00 | -- | Inf
81.94/82.03 c 82.0s| 29100 | 59 |524797 | 18.0 |9334k| 46 | 28 | 231 |9220 | 231 |2453 | 17 | 18k|3035 | 0.000000e+00 | -- | Inf
82.14/82.29 c 82.3s| 29200 | 62 |526535 | 18.0 |9343k| 46 | - | 231 |9216 | 231 |2453 | 17 | 18k|3046 | 0.000000e+00 | -- | Inf
82.54/82.64 c 82.6s| 29300 | 60 |528743 | 18.0 |9358k| 46 | - | 231 |9258 | 231 |2453 | 17 | 18k|3066 | 0.000000e+00 | -- | Inf
82.85/82.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.85/82.93 c 82.9s| 29400 | 57 |530805 | 18.1 |9366k| 46 | - | 231 |9302 | 231 |2453 | 17 | 18k|3075 | 0.000000e+00 | -- | Inf
83.14/83.23 c 83.2s| 29500 | 59 |532801 | 18.1 |9390k| 46 | 29 | 231 |9369 | 231 |2453 | 17 | 18k|3088 | 0.000000e+00 | -- | Inf
83.44/83.51 c 83.5s| 29600 | 60 |534680 | 18.1 |9416k| 46 | 42 | 231 |9429 | 231 |2453 | 17 | 18k|3100 | 0.000000e+00 | -- | Inf
83.65/83.78 c 83.8s| 29700 | 61 |536479 | 18.1 |9441k| 46 | 37 | 231 |9490 | 231 |2453 | 17 | 19k|3112 | 0.000000e+00 | -- | Inf
83.95/84.09 c 84.1s| 29800 | 58 |538491 | 18.1 |9460k| 46 | - | 231 |9560 | 231 |2453 | 17 | 19k|3125 | 0.000000e+00 | -- | Inf
84.25/84.39 c 84.4s| 29900 | 56 |540417 | 18.1 |9482k| 46 | - | 231 |9625 | 231 |2453 | 17 | 19k|3139 | 0.000000e+00 | -- | Inf
84.55/84.68 c 84.7s| 30000 | 56 |542272 | 18.1 |9480k| 46 | 34 | 231 |9631 | 231 |2453 | 17 | 19k|3151 | 0.000000e+00 | -- | Inf
84.85/84.93 c 84.9s| 30100 | 56 |543900 | 18.1 |9479k| 46 | 39 | 231 |9629 | 231 |2453 | 17 | 19k|3160 | 0.000000e+00 | -- | Inf
85.14/85.23 c 85.2s| 30200 | 57 |545651 | 18.1 |9489k| 46 | 23 | 231 |9643 | 231 |2453 | 17 | 19k|3177 | 0.000000e+00 | -- | Inf
85.34/85.46 c 85.5s| 30300 | 55 |547136 | 18.1 |9495k| 46 | 38 | 231 |9650 | 231 |2453 | 17 | 19k|3187 | 0.000000e+00 | -- | Inf
85.55/85.68 c 85.7s| 30400 | 56 |548618 | 18.0 |9505k| 46 | - | 231 |9649 | 231 |2453 | 17 | 19k|3192 | 0.000000e+00 | -- | Inf
85.85/85.91 c 85.9s| 30500 | 56 |550230 | 18.0 |9488k| 46 | 35 | 231 |9606 | 231 |2453 | 17 | 19k|3197 | 0.000000e+00 | -- | Inf
86.05/86.15 c 86.1s| 30600 | 58 |552127 | 18.0 |9491k| 46 | 37 | 231 |9578 | 231 |2453 | 17 | 19k|3198 | 0.000000e+00 | -- | Inf
86.25/86.37 c 86.4s| 30700 | 56 |553847 | 18.0 |9495k| 46 | 29 | 231 |9587 | 231 |2453 | 17 | 19k|3199 | 0.000000e+00 | -- | Inf
86.44/86.59 c 86.6s| 30800 | 57 |555440 | 18.0 |9503k| 46 | - | 231 |9591 | 231 |2453 | 17 | 19k|3202 | 0.000000e+00 | -- | Inf
86.74/86.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.74/86.82 c 86.8s| 30900 | 60 |557241 | 18.0 |9511k| 46 | 29 | 231 |9602 | 231 |2453 | 17 | 19k|3204 | 0.000000e+00 | -- | Inf
86.94/87.05 c 87.1s| 31000 | 57 |559038 | 18.0 |9514k| 46 | 44 | 231 |9616 | 231 |2453 | 17 | 19k|3204 | 0.000000e+00 | -- | Inf
87.25/87.30 c 87.3s| 31100 | 57 |561037 | 18.0 |9532k| 46 | - | 231 |9650 | 231 |2453 | 17 | 19k|3205 | 0.000000e+00 | -- | Inf
87.45/87.56 c 87.6s| 31200 | 55 |563056 | 18.0 |9546k| 46 | - | 231 |9684 | 231 |2453 | 17 | 19k|3206 | 0.000000e+00 | -- | Inf
87.74/87.80 c 87.8s| 31300 | 53 |564863 | 18.0 |9525k| 46 | 39 | 231 |9652 | 231 |2453 | 17 | 20k|3207 | 0.000000e+00 | -- | Inf
87.94/88.03 c 88.0s| 31400 | 54 |566589 | 18.0 |9523k| 46 | 39 | 231 |9638 | 231 |2453 | 17 | 20k|3207 | 0.000000e+00 | -- | Inf
88.15/88.28 c 88.3s| 31500 | 58 |568610 | 18.0 |9516k| 46 | - | 231 |9564 | 231 |2453 | 17 | 20k|3207 | 0.000000e+00 | -- | Inf
88.44/88.51 c 88.5s| 31600 | 62 |570374 | 18.0 |9521k| 46 | 44 | 231 |9550 | 231 |2453 | 17 | 20k|3207 | 0.000000e+00 | -- | Inf
88.65/88.76 c 88.8s| 31700 | 62 |572225 | 18.0 |9501k| 46 | - | 231 |9464 | 231 |2453 | 17 | 20k|3207 | 0.000000e+00 | -- | Inf
88.84/88.98 c 89.0s| 31800 | 60 |573948 | 18.0 |9502k| 46 | - | 231 |9472 | 231 |2453 | 17 | 20k|3207 | 0.000000e+00 | -- | Inf
89.15/89.23 c 89.2s| 31900 | 58 |575820 | 18.0 |9494k| 46 | 46 | 231 |9463 | 231 |2453 | 17 | 20k|3207 | 0.000000e+00 | -- | Inf
89.35/89.43 c 89.4s| 32000 | 60 |577342 | 18.0 |9515k| 46 | 25 | 231 |9512 | 231 |2453 | 17 | 20k|3207 | 0.000000e+00 | -- | Inf
89.54/89.63 c 89.6s| 32100 | 56 |578786 | 18.0 |9509k| 46 | - | 231 |9514 | 231 |2453 | 17 | 20k|3207 | 0.000000e+00 | -- | Inf
89.75/89.85 c 89.9s| 32200 | 58 |580526 | 18.0 |9509k| 46 | - | 231 |9502 | 231 |2453 | 17 | 20k|3207 | 0.000000e+00 | -- | Inf
90.04/90.11 c 90.1s| 32300 | 62 |582606 | 18.0 |9532k| 46 | 28 | 231 |9530 | 231 |2453 | 17 | 20k|3207 | 0.000000e+00 | -- | Inf
90.24/90.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.24/90.35 c 90.4s| 32400 | 66 |584527 | 18.0 |9530k| 46 | - | 231 |9481 | 231 |2453 | 17 | 20k|3207 | 0.000000e+00 | -- | Inf
90.54/90.61 c 90.6s| 32500 | 67 |586202 | 18.0 |9540k| 46 | 28 | 231 |9510 | 231 |2453 | 17 | 20k|3219 | 0.000000e+00 | -- | Inf
90.74/90.89 c 90.9s| 32600 | 72 |588100 | 18.0 |9561k| 46 | 33 | 231 |9539 | 231 |2453 | 17 | 20k|3230 | 0.000000e+00 | -- | Inf
91.04/91.19 c 91.2s| 32700 | 69 |589929 | 18.0 |9570k| 46 | - | 231 |9581 | 231 |2453 | 17 | 20k|3245 | 0.000000e+00 | -- | Inf
91.34/91.44 c 91.4s| 32800 | 65 |591667 | 18.0 |9581k| 46 | - | 231 |9633 | 231 |2453 | 17 | 20k|3250 | 0.000000e+00 | -- | Inf
91.64/91.76 c 91.8s| 32900 | 65 |593488 | 18.0 |9589k| 46 | - | 231 |9657 | 231 |2453 | 17 | 21k|3272 | 0.000000e+00 | -- | Inf
91.94/92.05 c 92.1s| 33000 | 73 |595781 | 18.1 |9598k| 46 | 43 | 231 |9631 | 231 |2453 | 17 | 21k|3276 | 0.000000e+00 | -- | Inf
92.24/92.38 c 92.4s| 33100 | 76 |597812 | 18.1 |9615k| 46 | - | 231 |9646 | 231 |2453 | 17 | 21k|3292 | 0.000000e+00 | -- | Inf
92.55/92.64 c 92.6s| 33200 | 78 |599644 | 18.1 |9643k| 46 | 22 | 231 |9710 | 231 |2453 | 17 | 21k|3299 | 0.000000e+00 | -- | Inf
92.84/92.93 c 92.9s| 33300 | 78 |601649 | 18.1 |9661k| 46 | - | 231 |9747 | 231 |2453 | 17 | 21k|3312 | 0.000000e+00 | -- | Inf
93.14/93.27 c 93.3s| 33400 | 80 |603858 | 18.1 |9681k| 46 | 30 | 231 |9788 | 231 |2453 | 17 | 21k|3332 | 0.000000e+00 | -- | Inf
93.44/93.54 c 93.5s| 33500 | 79 |605783 | 18.1 |9695k| 46 | 34 | 231 |9836 | 231 |2453 | 17 | 21k|3340 | 0.000000e+00 | -- | Inf
93.74/93.82 c 93.8s| 33600 | 82 |607634 | 18.1 |9715k| 46 | 36 | 231 |9858 | 231 |2453 | 17 | 21k|3353 | 0.000000e+00 | -- | Inf
94.04/94.10 c 94.1s| 33700 | 82 |609431 | 18.1 |9733k| 46 | 38 | 231 |9898 | 231 |2453 | 17 | 21k|3366 | 0.000000e+00 | -- | Inf
94.35/94.41 c 94.4s| 33800 | 82 |611383 | 18.1 |9748k| 46 | 32 | 231 |9937 | 231 |2453 | 17 | 21k|3381 | 0.000000e+00 | -- | Inf
94.64/94.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
94.64/94.70 c 94.7s| 33900 | 85 |613249 | 18.1 |9772k| 46 | - | 231 |9979 | 231 |2453 | 17 | 21k|3394 | 0.000000e+00 | -- | Inf
94.85/94.95 c 95.0s| 34000 | 89 |614862 | 18.1 |9796k| 46 | 28 | 231 | 10k| 231 |2453 | 17 | 21k|3406 | 0.000000e+00 | -- | Inf
95.14/95.21 c 95.2s| 34100 | 87 |616504 | 18.1 |9815k| 46 | 32 | 231 | 10k| 231 |2453 | 17 | 21k|3417 | 0.000000e+00 | -- | Inf
95.34/95.42 c 95.4s| 34200 | 85 |618104 | 18.1 |9839k| 46 | - | 231 | 10k| 0 | 0 | 17 | 21k|3421 | 0.000000e+00 | -- | Inf
95.64/95.71 c 95.7s| 34300 | 87 |619955 | 18.1 |9863k| 46 | - | 231 | 10k| 231 |2453 | 17 | 21k|3437 | 0.000000e+00 | -- | Inf
95.85/95.94 c 95.9s| 34400 | 89 |621518 | 18.1 |9887k| 46 | 31 | 231 | 10k| 231 |2453 | 17 | 21k|3443 | 0.000000e+00 | -- | Inf
96.05/96.18 c 96.2s| 34500 | 88 |623134 | 18.1 |9912k| 46 | 36 | 231 | 10k| 231 |2453 | 17 | 22k|3449 | 0.000000e+00 | -- | Inf
96.34/96.42 c 96.4s| 34600 | 87 |625013 | 18.1 |9933k| 46 | 28 | 231 | 10k| 231 |2453 | 17 | 22k|3453 | 0.000000e+00 | -- | Inf
96.54/96.65 c 96.7s| 34700 | 83 |626687 | 18.1 |9951k| 46 | - | 231 | 10k| 231 |2453 | 17 | 22k|3456 | 0.000000e+00 | -- | Inf
96.84/96.91 c 96.9s| 34800 | 85 |628709 | 18.1 |9983k| 46 | - | 231 | 10k| 231 |2453 | 17 | 22k|3458 | 0.000000e+00 | -- | Inf
97.04/97.16 c 97.2s| 34900 | 83 |630568 | 18.1 |9994k| 46 | 34 | 231 | 10k| 231 |2453 | 17 | 22k|3460 | 0.000000e+00 | -- | Inf
97.25/97.39 c 97.4s| 35000 | 83 |632478 | 18.1 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 22k|3461 | 0.000000e+00 | -- | Inf
97.54/97.67 c 97.7s| 35100 | 83 |634759 | 18.1 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 22k|3464 | 0.000000e+00 | -- | Inf
97.84/97.92 c 97.9s| 35200 | 85 |636695 | 18.1 | 10M| 46 | 35 | 231 | 10k| 231 |2453 | 17 | 22k|3464 | 0.000000e+00 | -- | Inf
98.05/98.17 c 98.2s| 35300 | 87 |638659 | 18.1 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 22k|3465 | 0.000000e+00 | -- | Inf
98.34/98.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
98.34/98.40 c 98.4s| 35400 | 85 |640446 | 18.1 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 22k|3466 | 0.000000e+00 | -- | Inf
98.54/98.67 c 98.7s| 35500 | 85 |642636 | 18.1 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 22k|3466 | 0.000000e+00 | -- | Inf
98.74/98.89 c 98.9s| 35600 | 89 |644469 | 18.1 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 22k|3466 | 0.000000e+00 | -- | Inf
98.95/99.09 c 99.1s| 35700 | 91 |645999 | 18.1 | 10M| 46 | 23 | 231 | 10k| 231 |2453 | 17 | 22k|3466 | 0.000000e+00 | -- | Inf
99.25/99.34 c 99.3s| 35800 | 87 |647980 | 18.1 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 22k|3466 | 0.000000e+00 | -- | Inf
99.44/99.59 c 99.6s| 35900 | 93 |650021 | 18.1 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 22k|3466 | 0.000000e+00 | -- | Inf
99.74/99.81 c 99.8s| 36000 | 93 |651836 | 18.1 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 22k|3466 | 0.000000e+00 | -- | Inf
99.94/100.05 c 100s| 36100 | 95 |653768 | 18.1 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 22k|3466 | 0.000000e+00 | -- | Inf
100.24/100.30 c 100s| 36200 | 95 |655847 | 18.1 | 10M| 46 | 33 | 231 | 11k| 231 |2453 | 17 | 22k|3466 | 0.000000e+00 | -- | Inf
100.44/100.59 c 101s| 36300 | 95 |658275 | 18.1 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 23k|3466 | 0.000000e+00 | -- | Inf
100.74/100.84 c 101s| 36400 | 97 |660247 | 18.1 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 23k|3466 | 0.000000e+00 | -- | Inf
101.04/101.15 c 101s| 36500 | 99 |662456 | 18.1 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 23k|3475 | 0.000000e+00 | -- | Inf
101.34/101.44 c 101s| 36600 | 98 |664292 | 18.1 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 23k|3488 | 0.000000e+00 | -- | Inf
101.65/101.76 c 102s| 36700 | 102 |666462 | 18.2 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 23k|3498 | 0.000000e+00 | -- | Inf
101.94/102.04 c 102s| 36800 | 108 |668262 | 18.2 | 10M| 46 | 40 | 231 | 11k| 231 |2453 | 17 | 23k|3507 | 0.000000e+00 | -- | Inf
102.24/102.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
102.24/102.31 c 102s| 36900 | 110 |670228 | 18.2 | 10M| 46 | 37 | 231 | 11k| 231 |2453 | 17 | 23k|3516 | 0.000000e+00 | -- | Inf
102.44/102.58 c 103s| 37000 | 110 |672044 | 18.2 | 10M| 46 | 39 | 231 | 11k| 231 |2453 | 17 | 23k|3527 | 0.000000e+00 | -- | Inf
102.84/102.90 c 103s| 37100 | 107 |674125 | 18.2 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 23k|3540 | 0.000000e+00 | -- | Inf
103.05/103.18 c 103s| 37200 | 107 |676031 | 18.2 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 23k|3546 | 0.000000e+00 | -- | Inf
103.34/103.44 c 103s| 37300 | 111 |677720 | 18.2 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 23k|3559 | 0.000000e+00 | -- | Inf
103.65/103.70 c 104s| 37400 | 112 |679555 | 18.2 | 10M| 46 | 35 | 231 | 11k| 231 |2453 | 17 | 23k|3567 | 0.000000e+00 | -- | Inf
103.84/103.96 c 104s| 37500 | 112 |681273 | 18.2 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 23k|3576 | 0.000000e+00 | -- | Inf
104.14/104.26 c 104s| 37600 | 114 |683296 | 18.2 | 10M| 46 | 37 | 231 | 11k| 231 |2453 | 17 | 23k|3592 | 0.000000e+00 | -- | Inf
104.44/104.55 c 105s| 37700 | 112 |685269 | 18.2 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 23k|3606 | 0.000000e+00 | -- | Inf
104.75/104.86 c 105s| 37800 | 108 |687261 | 18.2 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 23k|3620 | 0.000000e+00 | -- | Inf
105.04/105.15 c 105s| 37900 | 109 |689175 | 18.2 | 10M| 46 | 31 | 231 | 11k| 231 |2453 | 17 | 23k|3631 | 0.000000e+00 | -- | Inf
105.34/105.45 c 105s| 38000 | 111 |691279 | 18.2 | 10M| 46 | 20 | 231 | 11k| 231 |2453 | 17 | 24k|3639 | 0.000000e+00 | -- | Inf
105.64/105.72 c 106s| 38100 | 106 |693101 | 18.2 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 24k|3645 | 0.000000e+00 | -- | Inf
105.85/105.97 c 106s| 38200 | 110 |694867 | 18.2 | 10M| 46 | 30 | 231 | 11k| 231 |2453 | 17 | 24k|3650 | 0.000000e+00 | -- | Inf
106.14/106.21 c 106s| 38300 | 108 |696650 | 18.2 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 24k|3652 | 0.000000e+00 | -- | Inf
106.34/106.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
106.34/106.45 c 106s| 38400 | 106 |698556 | 18.2 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 24k|3652 | 0.000000e+00 | -- | Inf
106.64/106.71 c 107s| 38500 | 108 |700448 | 18.2 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 24k|3657 | 0.000000e+00 | -- | Inf
106.84/106.96 c 107s| 38600 | 110 |702434 | 18.2 | 10M| 46 | 32 | 231 | 11k| 231 |2453 | 17 | 24k|3657 | 0.000000e+00 | -- | Inf
107.14/107.22 c 107s| 38700 | 109 |704567 | 18.2 | 10M| 46 | - | 231 | 12k| 231 |2453 | 17 | 24k|3657 | 0.000000e+00 | -- | Inf
107.34/107.45 c 107s| 38800 | 110 |706356 | 18.2 | 10M| 46 | 14 | 231 | 12k| 231 |2453 | 17 | 24k|3659 | 0.000000e+00 | -- | Inf
107.64/107.71 c 108s| 38900 | 106 |708368 | 18.2 | 10M| 46 | - | 231 | 12k| 231 |2453 | 17 | 24k|3659 | 0.000000e+00 | -- | Inf
107.84/107.99 c 108s| 39000 | 108 |710608 | 18.2 | 10M| 46 | - | 231 | 12k| 231 |2453 | 17 | 24k|3661 | 0.000000e+00 | -- | Inf
108.14/108.26 c 108s| 39100 | 112 |712616 | 18.2 | 10M| 46 | 32 | 231 | 12k| 231 |2453 | 17 | 24k|3665 | 0.000000e+00 | -- | Inf
108.44/108.52 c 109s| 39200 | 114 |714616 | 18.2 | 10M| 46 | 38 | 231 | 12k| 231 |2453 | 17 | 24k|3666 | 0.000000e+00 | -- | Inf
108.64/108.77 c 109s| 39300 | 114 |716662 | 18.2 | 10M| 46 | - | 231 | 12k| 231 |2453 | 17 | 24k|3666 | 0.000000e+00 | -- | Inf
108.94/109.08 c 109s| 39400 | 113 |719196 | 18.3 | 10M| 46 | - | 231 | 12k| 231 |2453 | 17 | 24k|3670 | 0.000000e+00 | -- | Inf
109.24/109.34 c 109s| 39500 | 115 |721248 | 18.3 | 10M| 46 | - | 231 | 12k| 231 |2453 | 17 | 24k|3671 | 0.000000e+00 | -- | Inf
109.54/109.63 c 110s| 39600 | 117 |723637 | 18.3 | 10M| 46 | 28 | 231 | 12k| 231 |2453 | 17 | 24k|3672 | 0.000000e+00 | -- | Inf
109.84/109.91 c 110s| 39700 | 111 |725996 | 18.3 | 10M| 46 | 34 | 231 | 12k| 231 |2453 | 17 | 24k|3672 | 0.000000e+00 | -- | Inf
110.04/110.17 c 110s| 39800 | 109 |727983 | 18.3 | 10M| 46 | - | 231 | 12k| 231 |2453 | 17 | 25k|3674 | 0.000000e+00 | -- | Inf
110.34/110.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
110.34/110.43 c 110s| 39900 | 107 |730089 | 18.3 | 10M| 47 | 34 | 231 | 12k| 231 |2453 | 17 | 25k|3674 | 0.000000e+00 | -- | Inf
110.54/110.68 c 111s| 40000 | 106 |732021 | 18.3 | 10M| 47 | 39 | 231 | 12k| 231 |2453 | 17 | 25k|3674 | 0.000000e+00 | -- | Inf
110.84/110.94 c 111s| 40100 | 109 |733981 | 18.3 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 25k|3674 | 0.000000e+00 | -- | Inf
111.04/111.19 c 111s| 40200 | 107 |736040 | 18.3 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 25k|3674 | 0.000000e+00 | -- | Inf
111.34/111.48 c 111s| 40300 | 109 |737945 | 18.3 | 10M| 47 | 32 | 231 | 12k| 231 |2453 | 17 | 25k|3682 | 0.000000e+00 | -- | Inf
111.64/111.78 c 112s| 40400 | 111 |740035 | 18.3 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 25k|3693 | 0.000000e+00 | -- | Inf
111.94/112.06 c 112s| 40500 | 111 |742004 | 18.3 | 10M| 47 | 26 | 231 | 12k| 231 |2453 | 17 | 25k|3701 | 0.000000e+00 | -- | Inf
112.24/112.36 c 112s| 40600 | 109 |744017 | 18.3 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 25k|3713 | 0.000000e+00 | -- | Inf
112.54/112.65 c 113s| 40700 | 109 |746009 | 18.3 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 25k|3724 | 0.000000e+00 | -- | Inf
112.84/112.94 c 113s| 40800 | 111 |748052 | 18.3 | 10M| 47 | - | 231 | 12k| 0 | 0 | 17 | 25k|3732 | 0.000000e+00 | -- | Inf
113.14/113.25 c 113s| 40900 | 111 |750055 | 18.3 | 10M| 47 | 38 | 231 | 12k| 231 |2453 | 17 | 25k|3746 | 0.000000e+00 | -- | Inf
113.34/113.50 c 113s| 41000 | 115 |751698 | 18.3 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 25k|3754 | 0.000000e+00 | -- | Inf
113.64/113.77 c 114s| 41100 | 114 |753497 | 18.3 | 10M| 47 | 31 | 231 | 12k| 231 |2453 | 17 | 25k|3765 | 0.000000e+00 | -- | Inf
113.94/114.05 c 114s| 41200 | 112 |755335 | 18.3 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 25k|3774 | 0.000000e+00 | -- | Inf
114.24/114.33 c 114s| 41300 | 114 |757261 | 18.3 | 10M| 47 | 35 | 231 | 12k| 231 |2453 | 17 | 25k|3784 | 0.000000e+00 | -- | Inf
114.54/114.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
114.54/114.60 c 115s| 41400 | 115 |759216 | 18.3 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 26k|3793 | 0.000000e+00 | -- | Inf
114.74/114.89 c 115s| 41500 | 117 |761198 | 18.3 | 10M| 47 | 30 | 231 | 12k| 231 |2453 | 17 | 26k|3805 | 0.000000e+00 | -- | Inf
115.03/115.14 c 115s| 41600 | 117 |762830 | 18.3 | 10M| 47 | 37 | 231 | 12k| 231 |2453 | 17 | 26k|3815 | 0.000000e+00 | -- | Inf
115.34/115.44 c 115s| 41700 | 123 |764919 | 18.3 | 10M| 47 | 28 | 231 | 12k| 231 |2453 | 17 | 26k|3826 | 0.000000e+00 | -- | Inf
115.65/115.72 c 116s| 41800 | 121 |766745 | 18.3 | 10M| 47 | 36 | 231 | 12k| 231 |2453 | 17 | 26k|3837 | 0.000000e+00 | -- | Inf
115.84/115.99 c 116s| 41900 | 119 |768656 | 18.3 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 26k|3845 | 0.000000e+00 | -- | Inf
116.24/116.32 c 116s| 42000 | 116 |770759 | 18.3 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 26k|3860 | 0.000000e+00 | -- | Inf
116.54/116.61 c 117s| 42100 | 118 |772794 | 18.4 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 26k|3872 | 0.000000e+00 | -- | Inf
116.75/116.89 c 117s| 42200 | 120 |774993 | 18.4 | 11M| 47 | 36 | 231 | 12k| 231 |2453 | 17 | 26k|3875 | 0.000000e+00 | -- | Inf
117.04/117.18 c 117s| 42300 | 117 |776896 | 18.4 | 11M| 47 | - | 231 | 12k| 231 |2453 | 17 | 26k|3889 | 0.000000e+00 | -- | Inf
117.34/117.45 c 117s| 42400 | 117 |778896 | 18.4 | 11M| 47 | - | 231 | 12k| 231 |2453 | 17 | 26k|3896 | 0.000000e+00 | -- | Inf
117.64/117.73 c 118s| 42500 | 115 |781018 | 18.4 | 11M| 47 | 42 | 231 | 12k| 231 |2453 | 17 | 26k|3901 | 0.000000e+00 | -- | Inf
117.94/118.01 c 118s| 42600 | 117 |782951 | 18.4 | 11M| 47 | - | 231 | 12k| 231 |2453 | 17 | 26k|3908 | 0.000000e+00 | -- | Inf
118.14/118.26 c 118s| 42700 | 111 |784862 | 18.4 | 11M| 47 | - | 231 | 12k| 231 |2453 | 17 | 26k|3909 | 0.000000e+00 | -- | Inf
118.44/118.53 c 119s| 42800 | 109 |786783 | 18.4 | 11M| 47 | - | 231 | 12k| 231 |2453 | 17 | 26k|3912 | 0.000000e+00 | -- | Inf
118.64/118.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
118.64/118.76 c 119s| 42900 | 110 |788434 | 18.4 | 11M| 47 | 40 | 231 | 12k| 231 |2453 | 17 | 26k|3914 | 0.000000e+00 | -- | Inf
118.94/119.03 c 119s| 43000 | 112 |790553 | 18.4 | 11M| 47 | 34 | 231 | 12k| 231 |2453 | 17 | 26k|3917 | 0.000000e+00 | -- | Inf
119.14/119.28 c 119s| 43100 | 110 |792413 | 18.4 | 11M| 47 | - | 231 | 12k| 231 |2453 | 17 | 27k|3917 | 0.000000e+00 | -- | Inf
119.34/119.49 c 119s| 43200 | 110 |794070 | 18.4 | 11M| 47 | 33 | 231 | 12k| 231 |2453 | 17 | 27k|3917 | 0.000000e+00 | -- | Inf
119.64/119.75 c 120s| 43300 | 111 |796123 | 18.4 | 11M| 47 | - | 231 | 12k| 231 |2453 | 17 | 27k|3917 | 0.000000e+00 | -- | Inf
119.94/120.04 c 120s| 43400 | 109 |798306 | 18.4 | 11M| 47 | 25 | 231 | 12k| 231 |2453 | 17 | 27k|3921 | 0.000000e+00 | -- | Inf
120.24/120.30 c 120s| 43500 | 107 |800324 | 18.4 | 11M| 47 | 20 | 231 | 12k| 231 |2453 | 17 | 27k|3921 | 0.000000e+00 | -- | Inf
120.44/120.56 c 121s| 43600 | 107 |802331 | 18.4 | 11M| 47 | 28 | 231 | 12k| 231 |2453 | 17 | 27k|3922 | 0.000000e+00 | -- | Inf
120.64/120.79 c 121s| 43700 | 107 |804108 | 18.4 | 11M| 47 | 34 | 231 | 12k| 231 |2453 | 17 | 27k|3922 | 0.000000e+00 | -- | Inf
120.94/121.02 c 121s| 43800 | 105 |805724 | 18.4 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 27k|3922 | 0.000000e+00 | -- | Inf
121.14/121.30 c 121s| 43900 | 107 |807913 | 18.4 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 27k|3922 | 0.000000e+00 | -- | Inf
121.43/121.52 c 122s| 44000 | 107 |809680 | 18.4 | 10M| 47 | 38 | 231 | 12k| 231 |2453 | 17 | 27k|3922 | 0.000000e+00 | -- | Inf
121.64/121.75 c 122s| 44100 | 106 |811483 | 18.4 | 10M| 47 | 41 | 231 | 12k| 231 |2453 | 17 | 27k|3922 | 0.000000e+00 | -- | Inf
121.84/121.99 c 122s| 44200 | 108 |813252 | 18.4 | 10M| 47 | 44 | 231 | 12k| 231 |2453 | 17 | 27k|3922 | 0.000000e+00 | -- | Inf
122.14/122.23 c 122s| 44300 | 110 |815177 | 18.4 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 27k|3922 | 0.000000e+00 | -- | Inf
122.34/122.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
122.34/122.47 c 122s| 44400 | 112 |816920 | 18.4 | 10M| 47 | 32 | 231 | 12k| 231 |2453 | 17 | 27k|3922 | 0.000000e+00 | -- | Inf
122.64/122.70 c 123s| 44500 | 110 |818760 | 18.4 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 27k|3922 | 0.000000e+00 | -- | Inf
122.84/122.91 c 123s| 44600 | 108 |820449 | 18.4 | 10M| 48 | - | 231 | 12k| 231 |2453 | 17 | 27k|3922 | 0.000000e+00 | -- | Inf
123.04/123.13 c 123s| 44700 | 110 |822140 | 18.4 | 10M| 48 | 26 | 231 | 12k| 231 |2453 | 17 | 27k|3922 | 0.000000e+00 | -- | Inf
123.24/123.40 c 123s| 44800 | 108 |824071 | 18.4 | 10M| 48 | 41 | 231 | 12k| 231 |2453 | 17 | 28k|3927 | 0.000000e+00 | -- | Inf
123.54/123.65 c 124s| 44900 | 108 |825877 | 18.4 | 10M| 48 | - | 231 | 12k| 231 |2453 | 17 | 28k|3933 | 0.000000e+00 | -- | Inf
123.84/123.97 c 124s| 45000 | 110 |828133 | 18.4 | 10M| 48 | 44 | 231 | 12k| 231 |2453 | 17 | 28k|3944 | 0.000000e+00 | -- | Inf
124.24/124.34 c 124s| 45100 | 104 |830500 | 18.4 | 10M| 48 | - | 231 | 12k| 231 |2453 | 17 | 28k|3962 | 0.000000e+00 | -- | Inf
124.55/124.64 c 125s| 45200 | 104 |832603 | 18.4 | 10M| 48 | - | 231 | 11k| 231 |2453 | 17 | 28k|3972 | 0.000000e+00 | -- | Inf
124.84/124.92 c 125s| 45300 | 106 |834505 | 18.4 | 10M| 48 | 27 | 231 | 11k| 231 |2453 | 17 | 28k|3979 | 0.000000e+00 | -- | Inf
125.04/125.19 c 125s| 45400 | 106 |836337 | 18.4 | 10M| 48 | - | 231 | 11k| 231 |2453 | 17 | 28k|3990 | 0.000000e+00 | -- | Inf
125.34/125.43 c 125s| 45500 | 106 |837758 | 18.4 | 10M| 48 | 28 | 231 | 11k| 231 |2453 | 17 | 28k|3999 | 0.000000e+00 | -- | Inf
125.65/125.73 c 126s| 45600 | 102 |839661 | 18.4 | 10M| 48 | - | 231 | 11k| 231 |2453 | 17 | 28k|4015 | 0.000000e+00 | -- | Inf
125.94/126.01 c 126s| 45700 | 104 |841400 | 18.4 | 10M| 48 | - | 231 | 11k| 231 |2453 | 17 | 28k|4023 | 0.000000e+00 | -- | Inf
126.14/126.28 c 126s| 45800 | 108 |843393 | 18.4 | 10M| 48 | 35 | 231 | 11k| 231 |2453 | 17 | 28k|4028 | 0.000000e+00 | -- | Inf
126.53/126.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
126.53/126.62 c 127s| 45900 | 114 |845569 | 18.4 | 10M| 48 | 43 | 231 | 11k| 231 |2453 | 17 | 28k|4044 | 0.000000e+00 | -- | Inf
126.84/126.93 c 127s| 46000 | 112 |847648 | 18.4 | 10M| 48 | - | 231 | 11k| 231 |2453 | 17 | 28k|4054 | 0.000000e+00 | -- | Inf
127.14/127.20 c 127s| 46100 | 108 |849553 | 18.4 | 10M| 48 | - | 231 | 11k| 231 |2453 | 17 | 28k|4059 | 0.000000e+00 | -- | Inf
127.43/127.50 c 128s| 46200 | 107 |851459 | 18.4 | 10M| 48 | - | 231 | 11k| 231 |2453 | 17 | 28k|4071 | 0.000000e+00 | -- | Inf
127.74/127.82 c 128s| 46300 | 107 |853682 | 18.4 | 10M| 48 | 44 | 231 | 11k| 231 |2453 | 17 | 28k|4082 | 0.000000e+00 | -- | Inf
128.04/128.14 c 128s| 46400 | 107 |855849 | 18.4 | 10M| 48 | - | 231 | 11k| 231 |2453 | 17 | 28k|4094 | 0.000000e+00 | -- | Inf
128.34/128.48 c 128s| 46500 | 105 |858103 | 18.5 | 10M| 48 | - | 231 | 11k| 231 |2453 | 17 | 29k|4107 | 0.000000e+00 | -- | Inf
128.64/128.79 c 129s| 46600 | 105 |860282 | 18.5 | 10M| 48 | 42 | 231 | 11k| 231 |2453 | 17 | 29k|4117 | 0.000000e+00 | -- | Inf
128.94/129.08 c 129s| 46700 | 108 |862381 | 18.5 | 10M| 48 | - | 231 | 11k| 231 |2453 | 17 | 29k|4125 | 0.000000e+00 | -- | Inf
129.24/129.36 c 129s| 46800 | 103 |864335 | 18.5 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 29k|4132 | 0.000000e+00 | -- | Inf
129.54/129.64 c 130s| 46900 | 107 |866588 | 18.5 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 29k|4135 | 0.000000e+00 | -- | Inf
129.83/129.91 c 130s| 47000 | 112 |868787 | 18.5 | 10M| 48 | 34 | 231 | 10k| 231 |2453 | 17 | 29k|4137 | 0.000000e+00 | -- | Inf
130.14/130.21 c 130s| 47100 | 110 |871079 | 18.5 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 29k|4141 | 0.000000e+00 | -- | Inf
130.44/130.51 c 131s| 47200 | 114 |873526 | 18.5 | 10M| 48 | 37 | 231 | 10k| 231 |2453 | 17 | 29k|4143 | 0.000000e+00 | -- | Inf
130.63/130.75 c 131s| 47300 | 114 |875491 | 18.5 | 10M| 48 | 17 | 231 | 10k| 231 |2453 | 17 | 29k|4143 | 0.000000e+00 | -- | Inf
130.83/130.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
130.83/130.97 c 131s| 47400 | 112 |877155 | 18.5 | 10M| 48 | 42 | 231 | 10k| 231 |2453 | 17 | 29k|4143 | 0.000000e+00 | -- | Inf
131.15/131.22 c 131s| 47500 | 114 |879166 | 18.5 | 10M| 48 | 34 | 231 | 10k| 231 |2453 | 17 | 29k|4143 | 0.000000e+00 | -- | Inf
131.34/131.46 c 131s| 47600 | 114 |881082 | 18.5 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 29k|4143 | 0.000000e+00 | -- | Inf
131.53/131.69 c 132s| 47700 | 122 |882879 | 18.5 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 29k|4143 | 0.000000e+00 | -- | Inf
131.84/131.95 c 132s| 47800 | 134 |885023 | 18.5 | 10M| 48 | 43 | 231 | 10k| 231 |2453 | 17 | 29k|4143 | 0.000000e+00 | -- | Inf
132.04/132.20 c 132s| 47900 | 136 |886926 | 18.5 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 29k|4143 | 0.000000e+00 | -- | Inf
132.34/132.41 c 132s| 48000 | 134 |888582 | 18.5 | 10M| 49 | - | 231 | 10k| 231 |2453 | 17 | 29k|4143 | 0.000000e+00 | -- | Inf
132.53/132.65 c 133s| 48100 | 134 |890482 | 18.5 | 10M| 49 | 40 | 231 | 10k| 231 |2453 | 17 | 29k|4143 | 0.000000e+00 | -- | Inf
132.83/132.90 c 133s| 48200 | 130 |892394 | 18.5 | 10M| 49 | - | 231 | 10k| 231 |2453 | 17 | 29k|4143 | 0.000000e+00 | -- | Inf
133.03/133.13 c 133s| 48300 | 127 |894126 | 18.5 | 10M| 49 | - | 231 | 10k| 231 |2453 | 17 | 30k|4143 | 0.000000e+00 | -- | Inf
133.24/133.37 c 133s| 48400 | 125 |896030 | 18.5 | 10M| 54 | - | 231 | 10k| 231 |2453 | 17 | 30k|4143 | 0.000000e+00 | -- | Inf
133.54/133.61 c 134s| 48500 | 122 |897951 | 18.5 | 10M| 54 | - | 231 | 10k| 231 |2453 | 17 | 30k|4143 | 0.000000e+00 | -- | Inf
133.74/133.84 c 134s| 48600 | 123 |899729 | 18.5 | 10M| 54 | 46 | 231 | 10k| 231 |2453 | 17 | 30k|4143 | 0.000000e+00 | -- | Inf
134.04/134.10 c 134s| 48700 | 122 |901769 | 18.5 | 10M| 54 | - | 231 | 10k| 231 |2453 | 17 | 30k|4143 | 0.000000e+00 | -- | Inf
134.23/134.35 c 134s| 48800 | 122 |903902 | 18.5 | 10M| 54 | - | 231 | 10k| 231 |2453 | 17 | 30k|4143 | 0.000000e+00 | -- | Inf
134.44/134.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
134.44/134.58 c 135s| 48900 | 122 |905655 | 18.5 | 10M| 54 | - | 231 | 10k| 231 |2453 | 17 | 30k|4143 | 0.000000e+00 | -- | Inf
134.73/134.80 c 135s| 49000 | 122 |907318 | 18.5 | 10M| 54 | 42 | 231 | 10k| 231 |2453 | 17 | 30k|4143 | 0.000000e+00 | -- | Inf
134.94/135.04 c 135s| 49100 | 119 |909186 | 18.5 | 10M| 54 | - | 231 | 10k| 231 |2453 | 17 | 30k|4143 | 0.000000e+00 | -- | Inf
135.24/135.32 c 135s| 49200 | 117 |910946 | 18.5 | 10M| 54 | - | 231 | 10k| 231 |2453 | 17 | 30k|4152 | 0.000000e+00 | -- | Inf
135.44/135.60 c 136s| 49300 | 119 |912844 | 18.5 | 10M| 54 | 23 | 231 | 10k| 231 |2453 | 17 | 30k|4160 | 0.000000e+00 | -- | Inf
135.73/135.89 c 136s| 49400 | 116 |914873 | 18.5 | 10M| 54 | - | 231 | 10k| 231 |2453 | 17 | 30k|4171 | 0.000000e+00 | -- | Inf
136.03/136.18 c 136s| 49500 | 118 |916933 | 18.5 | 10M| 54 | 25 | 231 | 10k| 231 |2453 | 17 | 30k|4179 | 0.000000e+00 | -- | Inf
136.34/136.45 c 136s| 49600 | 122 |918873 | 18.5 | 10M| 54 | - | 231 | 10k| 231 |2453 | 17 | 30k|4187 | 0.000000e+00 | -- | Inf
136.64/136.73 c 137s| 49700 | 120 |920758 | 18.5 | 10M| 54 | - | 231 | 10k| 231 |2453 | 17 | 30k|4199 | 0.000000e+00 | -- | Inf
136.94/137.00 c 137s| 49800 | 117 |922791 | 18.5 | 10M| 54 | 38 | 231 | 10k| 231 |2453 | 17 | 30k|4205 | 0.000000e+00 | -- | Inf
137.14/137.29 c 137s| 49900 | 115 |924597 | 18.5 | 10M| 54 | 35 | 231 | 10k| 231 |2453 | 17 | 30k|4217 | 0.000000e+00 | -- | Inf
137.44/137.54 c 138s| 50000 | 112 |926380 | 18.5 | 10M| 54 | 37 | 231 | 10k| 231 |2453 | 17 | 31k|4221 | 0.000000e+00 | -- | Inf
137.74/137.81 c 138s| 50100 | 112 |928165 | 18.5 | 10M| 54 | 26 | 231 | 10k| 231 |2453 | 17 | 31k|4228 | 0.000000e+00 | -- | Inf
137.94/138.09 c 138s| 50200 | 110 |930044 | 18.5 | 10M| 54 | - | 231 | 10k| 231 |2453 | 17 | 31k|4237 | 0.000000e+00 | -- | Inf
138.24/138.37 c 138s| 50300 | 108 |931930 | 18.5 | 10M| 54 | 39 | 231 | 10k| 231 |2453 | 17 | 31k|4247 | 0.000000e+00 | -- | Inf
138.54/138.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
138.54/138.65 c 139s| 50400 | 109 |933781 | 18.5 | 10M| 54 | - | 231 | 10k| 231 |2453 | 17 | 31k|4257 | 0.000000e+00 | -- | Inf
138.84/138.95 c 139s| 50500 | 109 |935732 | 18.5 | 10M| 54 | - | 231 | 10k| 231 |2453 | 17 | 31k|4270 | 0.000000e+00 | -- | Inf
139.13/139.26 c 139s| 50600 | 113 |937909 | 18.5 | 10M| 54 | 44 | 231 | 10k| 231 |2453 | 17 | 31k|4282 | 0.000000e+00 | -- | Inf
139.43/139.56 c 140s| 50700 | 113 |939891 | 18.5 | 10M| 54 | 39 | 231 | 10k| 231 |2453 | 17 | 31k|4295 | 0.000000e+00 | -- | Inf
139.74/139.84 c 140s| 50800 | 111 |941769 | 18.5 | 10M| 54 | 38 | 231 | 10k| 231 |2453 | 17 | 31k|4305 | 0.000000e+00 | -- | Inf
140.04/140.13 c 140s| 50900 | 113 |943646 | 18.5 | 10M| 54 | 33 | 231 | 10k| 231 |2453 | 17 | 31k|4316 | 0.000000e+00 | -- | Inf
140.34/140.42 c 140s| 51000 | 113 |945594 | 18.5 | 10M| 54 | 24 | 231 | 10k| 231 |2453 | 17 | 31k|4326 | 0.000000e+00 | -- | Inf
140.54/140.67 c 141s| 51100 | 111 |947436 | 18.5 | 10M| 54 | - | 231 | 10k| 231 |2453 | 17 | 31k|4332 | 0.000000e+00 | -- | Inf
140.84/140.94 c 141s| 51200 | 109 |949483 | 18.5 | 10M| 54 | - | 231 | 10k| 231 |2453 | 17 | 31k|4337 | 0.000000e+00 | -- | Inf
141.04/141.17 c 141s| 51300 | 111 |951308 | 18.5 | 10M| 54 | 45 | 231 | 10k| 231 |2453 | 17 | 31k|4339 | 0.000000e+00 | -- | Inf
141.34/141.46 c 141s| 51400 | 113 |953555 | 18.5 | 10M| 54 | 34 | 231 | 10k| 231 |2453 | 17 | 31k|4344 | 0.000000e+00 | -- | Inf
141.63/141.72 c 142s| 51500 | 119 |955535 | 18.6 | 10M| 54 | 41 | 231 | 10k| 231 |2453 | 17 | 31k|4347 | 0.000000e+00 | -- | Inf
141.94/142.00 c 142s| 51600 | 121 |957465 | 18.6 | 10M| 54 | - | 231 | 10k| 231 |2453 | 17 | 31k|4355 | 0.000000e+00 | -- | Inf
142.14/142.28 c 142s| 51700 | 123 |959662 | 18.6 | 10M| 54 | - | 231 | 10k| 231 |2453 | 17 | 32k|4357 | 0.000000e+00 | -- | Inf
142.44/142.54 c 143s| 51800 | 119 |961550 | 18.6 | 10M| 54 | 43 | 231 | 10k| 231 |2453 | 17 | 32k|4360 | 0.000000e+00 | -- | Inf
142.73/142.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
142.73/142.81 c 143s| 51900 | 121 |963637 | 18.6 | 10M| 54 | 34 | 231 | 10k| 231 |2453 | 17 | 32k|4362 | 0.000000e+00 | -- | Inf
142.94/143.06 c 143s| 52000 | 119 |965605 | 18.6 | 10M| 54 | - | 231 | 10k| 231 |2453 | 17 | 32k|4362 | 0.000000e+00 | -- | Inf
143.24/143.31 c 143s| 52100 | 115 |967521 | 18.6 | 10M| 54 | - | 231 | 10k| 231 |2453 | 17 | 32k|4362 | 0.000000e+00 | -- | Inf
143.43/143.54 c 144s| 52200 | 115 |969245 | 18.6 | 10M| 54 | - | 231 | 10k| 231 |2453 | 17 | 32k|4362 | 0.000000e+00 | -- | Inf
143.64/143.76 c 144s| 52300 | 115 |970979 | 18.6 | 10M| 54 | - | 231 | 10k| 231 |2453 | 17 | 32k|4362 | 0.000000e+00 | -- | Inf
143.83/143.99 c 144s| 52400 | 115 |972696 | 18.6 | 10M| 54 | - | 231 | 10k| 0 | 0 | 17 | 32k|4363 | 0.000000e+00 | -- | Inf
144.13/144.26 c 144s| 52500 | 114 |974844 | 18.6 | 10M| 54 | 36 | 231 | 10k| 231 |2453 | 17 | 32k|4363 | 0.000000e+00 | -- | Inf
144.34/144.48 c 144s| 52600 | 116 |976650 | 18.6 | 10M| 54 | 43 | 231 | 10k| 231 |2453 | 17 | 32k|4363 | 0.000000e+00 | -- | Inf
144.64/144.72 c 145s| 52700 | 116 |978611 | 18.6 | 10M| 54 | - | 231 | 10k| 231 |2453 | 17 | 32k|4363 | 0.000000e+00 | -- | Inf
144.84/144.96 c 145s| 52800 | 118 |980577 | 18.6 | 10M| 54 | 32 | 231 | 10k| 231 |2453 | 17 | 32k|4363 | 0.000000e+00 | -- | Inf
145.13/145.21 c 145s| 52900 | 120 |982738 | 18.6 | 10M| 54 | - | 231 | 10k| 231 |2453 | 17 | 32k|4363 | 0.000000e+00 | -- | Inf
145.34/145.43 c 145s| 53000 | 122 |984357 | 18.6 | 10M| 54 | - | 231 | 10k| 231 |2453 | 17 | 32k|4363 | 0.000000e+00 | -- | Inf
145.53/145.68 c 146s| 53100 | 124 |986398 | 18.6 | 10M| 54 | - | 231 | 10k| 231 |2453 | 17 | 32k|4363 | 0.000000e+00 | -- | Inf
145.83/145.91 c 146s| 53200 | 125 |988339 | 18.6 | 10M| 54 | 33 | 231 | 10k| 231 |2453 | 17 | 32k|4363 | 0.000000e+00 | -- | Inf
146.03/146.14 c 146s| 53300 | 124 |990176 | 18.6 | 10M| 54 | 37 | 231 | 10k| 231 |2453 | 17 | 32k|4363 | 0.000000e+00 | -- | Inf
146.23/146.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
146.23/146.37 c 146s| 53400 | 125 |992033 | 18.6 | 10M| 54 | - | 231 | 10k| 231 |2453 | 17 | 33k|4363 | 0.000000e+00 | -- | Inf
146.54/146.62 c 147s| 53500 | 127 |993995 | 18.6 | 10M| 54 | - | 231 | 10k| 231 |2453 | 17 | 33k|4363 | 0.000000e+00 | -- | Inf
146.74/146.86 c 147s| 53600 | 127 |995927 | 18.6 | 10M| 54 | 37 | 231 | 10k| 231 |2453 | 17 | 33k|4363 | 0.000000e+00 | -- | Inf
146.93/147.09 c 147s| 53700 | 124 |997609 | 18.6 | 10M| 54 | - | 231 | 10k| 231 |2453 | 17 | 33k|4363 | 0.000000e+00 | -- | Inf
147.23/147.31 c 147s| 53800 | 126 |999223 | 18.6 | 10M| 54 | 26 | 231 |9992 | 231 |2453 | 17 | 33k|4363 | 0.000000e+00 | -- | Inf
147.54/147.61 c 148s| 53900 | 124 | 1001k| 18.6 | 10M| 54 | 29 | 231 |9989 | 231 |2453 | 17 | 33k|4372 | 0.000000e+00 | -- | Inf
147.84/147.95 c 148s| 54000 | 126 | 1003k| 18.6 | 10M| 54 | - | 231 |9979 | 231 |2453 | 17 | 33k|4382 | 0.000000e+00 | -- | Inf
148.14/148.28 c 148s| 54100 | 128 | 1006k| 18.6 | 10M| 54 | - | 231 |9986 | 231 |2453 | 17 | 33k|4394 | 0.000000e+00 | -- | Inf
148.43/148.54 c 149s| 54200 | 132 | 1008k| 18.6 | 10M| 57 | 27 | 231 |9989 | 231 |2453 | 17 | 33k|4400 | 0.000000e+00 | -- | Inf
148.64/148.80 c 149s| 54300 | 127 | 1010k| 18.6 | 10M| 59 | - | 231 |9940 | 231 |2453 | 17 | 33k|4405 | 0.000000e+00 | -- | Inf
149.04/149.12 c 149s| 54400 | 123 | 1012k| 18.6 | 10M| 59 | - | 231 |9828 | 231 |2453 | 17 | 33k|4418 | 0.000000e+00 | -- | Inf
149.34/149.41 c 149s| 54500 | 123 | 1014k| 18.6 | 10M| 59 | 45 | 231 |9663 | 231 |2453 | 17 | 33k|4427 | 0.000000e+00 | -- | Inf
149.53/149.64 c 150s| 54600 | 125 | 1015k| 18.6 | 10M| 59 | - | 231 |9583 | 231 |2453 | 17 | 33k|4429 | 0.000000e+00 | -- | Inf
149.84/149.91 c 150s| 54700 | 123 | 1017k| 18.6 | 10M| 59 | - | 231 |9539 | 231 |2453 | 17 | 33k|4438 | 0.000000e+00 | -- | Inf
150.14/150.22 c 150s| 54800 | 125 | 1019k| 18.6 | 10M| 59 | 32 | 231 |9516 | 231 |2453 | 17 | 33k|4450 | 0.000000e+00 | -- | Inf
150.43/150.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
150.43/150.52 c 151s| 54900 | 125 | 1021k| 18.6 | 10M| 59 | 40 | 231 |9499 | 231 |2453 | 17 | 33k|4458 | 0.000000e+00 | -- | Inf
150.73/150.83 c 151s| 55000 | 127 | 1024k| 18.6 | 10M| 59 | - | 231 |9487 | 231 |2453 | 17 | 33k|4471 | 0.000000e+00 | -- | Inf
151.03/151.13 c 151s| 55100 | 129 | 1026k| 18.6 | 10M| 59 | 33 | 231 |9478 | 231 |2453 | 17 | 33k|4479 | 0.000000e+00 | -- | Inf
151.34/151.42 c 151s| 55200 | 125 | 1028k| 18.6 | 10M| 59 | 42 | 231 |9470 | 231 |2453 | 17 | 33k|4490 | 0.000000e+00 | -- | Inf
151.63/151.73 c 152s| 55300 | 125 | 1030k| 18.6 | 10M| 59 | 35 | 231 |9481 | 231 |2453 | 17 | 34k|4506 | 0.000000e+00 | -- | Inf
151.83/151.97 c 152s| 55400 | 120 | 1032k| 18.6 | 10M| 59 | - | 231 |9479 | 231 |2453 | 17 | 34k|4508 | 0.000000e+00 | -- | Inf
152.14/152.28 c 152s| 55500 | 120 | 1034k| 18.6 |9993k| 59 | - | 231 |9449 | 231 |2453 | 17 | 34k|4520 | 0.000000e+00 | -- | Inf
152.44/152.56 c 153s| 55600 | 120 | 1035k| 18.6 | 10M| 59 | - | 231 |9477 | 231 |2453 | 17 | 34k|4530 | 0.000000e+00 | -- | Inf
152.73/152.84 c 153s| 55700 | 118 | 1037k| 18.6 |9980k| 59 | - | 231 |9427 | 231 |2453 | 17 | 34k|4541 | 0.000000e+00 | -- | Inf
153.03/153.13 c 153s| 55800 | 116 | 1039k| 18.6 |9934k| 59 | 39 | 231 |9324 | 231 |2453 | 17 | 34k|4548 | 0.000000e+00 | -- | Inf
153.34/153.41 c 153s| 55900 | 114 | 1041k| 18.6 |9937k| 59 | - | 231 |9347 | 231 |2453 | 17 | 34k|4555 | 0.000000e+00 | -- | Inf
153.53/153.68 c 154s| 56000 | 114 | 1043k| 18.6 |9910k| 59 | 29 | 231 |9279 | 231 |2453 | 17 | 34k|4559 | 0.000000e+00 | -- | Inf
153.83/153.97 c 154s| 56100 | 112 | 1045k| 18.6 |9890k| 59 | - | 231 |9231 | 231 |2453 | 17 | 34k|4570 | 0.000000e+00 | -- | Inf
154.14/154.20 c 154s| 56200 | 114 | 1047k| 18.6 |9876k| 59 | 35 | 231 |9169 | 231 |2453 | 17 | 34k|4572 | 0.000000e+00 | -- | Inf
154.33/154.41 c 154s| 56300 | 112 | 1048k| 18.6 |9879k| 59 | 42 | 231 |9182 | 231 |2453 | 17 | 34k|4573 | 0.000000e+00 | -- | Inf
154.53/154.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
154.53/154.68 c 155s| 56400 | 112 | 1051k| 18.6 |9871k| 59 | 40 | 231 |9169 | 231 |2453 | 17 | 34k|4574 | 0.000000e+00 | -- | Inf
154.84/154.95 c 155s| 56500 | 108 | 1053k| 18.6 |9870k| 59 | - | 231 |9168 | 231 |2453 | 17 | 34k|4574 | 0.000000e+00 | -- | Inf
155.13/155.20 c 155s| 56600 | 110 | 1055k| 18.6 |9870k| 59 | - | 231 |9157 | 231 |2453 | 17 | 34k|4576 | 0.000000e+00 | -- | Inf
155.34/155.44 c 155s| 56700 | 110 | 1057k| 18.6 |9876k| 59 | - | 231 |9165 | 231 |2453 | 17 | 34k|4576 | 0.000000e+00 | -- | Inf
155.53/155.68 c 156s| 56800 | 113 | 1059k| 18.6 |9869k| 59 | 34 | 231 |9128 | 231 |2453 | 17 | 34k|4577 | 0.000000e+00 | -- | Inf
155.84/155.92 c 156s| 56900 | 108 | 1060k| 18.6 |9840k| 59 | - | 231 |9081 | 231 |2453 | 17 | 34k|4577 | 0.000000e+00 | -- | Inf
156.03/156.15 c 156s| 57000 | 106 | 1062k| 18.6 |9823k| 59 | - | 231 |9055 | 231 |2453 | 17 | 35k|4577 | 0.000000e+00 | -- | Inf
156.23/156.37 c 156s| 57100 | 106 | 1064k| 18.6 |9819k| 59 | 24 | 231 |9050 | 231 |2453 | 17 | 35k|4577 | 0.000000e+00 | -- | Inf
156.44/156.58 c 157s| 57200 | 104 | 1065k| 18.6 |9803k| 59 | - | 231 |9021 | 231 |2453 | 17 | 35k|4578 | 0.000000e+00 | -- | Inf
156.73/156.80 c 157s| 57300 | 108 | 1067k| 18.6 |9806k| 59 | 24 | 231 |8984 | 231 |2453 | 17 | 35k|4578 | 0.000000e+00 | -- | Inf
156.94/157.04 c 157s| 57400 | 107 | 1069k| 18.6 |9801k| 59 | - | 231 |8975 | 231 |2453 | 17 | 35k|4578 | 0.000000e+00 | -- | Inf
157.14/157.29 c 157s| 57500 | 107 | 1071k| 18.6 |9796k| 59 | 39 | 231 |8963 | 231 |2453 | 17 | 35k|4578 | 0.000000e+00 | -- | Inf
157.44/157.53 c 158s| 57600 | 111 | 1073k| 18.6 |9805k| 59 | 38 | 231 |8953 | 231 |2453 | 17 | 35k|4578 | 0.000000e+00 | -- | Inf
157.63/157.75 c 158s| 57700 | 109 | 1075k| 18.6 |9806k| 59 | - | 231 |8951 | 231 |2453 | 17 | 35k|4578 | 0.000000e+00 | -- | Inf
157.93/158.01 c 158s| 57800 | 107 | 1077k| 18.6 |9798k| 59 | - | 231 |8950 | 231 |2453 | 17 | 35k|4578 | 0.000000e+00 | -- | Inf
158.13/158.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
158.13/158.25 c 158s| 57900 | 107 | 1079k| 18.6 |9794k| 59 | - | 231 |8948 | 231 |2453 | 17 | 35k|4578 | 0.000000e+00 | -- | Inf
158.34/158.48 c 158s| 58000 | 107 | 1081k| 18.6 |9797k| 59 | 37 | 231 |8945 | 231 |2453 | 17 | 35k|4578 | 0.000000e+00 | -- | Inf
158.64/158.72 c 159s| 58100 | 107 | 1083k| 18.6 |9797k| 59 | 36 | 231 |8956 | 231 |2453 | 17 | 35k|4578 | 0.000000e+00 | -- | Inf
158.83/158.94 c 159s| 58200 | 105 | 1085k| 18.6 |9803k| 59 | - | 231 |8960 | 231 |2453 | 17 | 35k|4578 | 0.000000e+00 | -- | Inf
159.03/159.16 c 159s| 58300 | 103 | 1086k| 18.6 |9786k| 59 | 30 | 231 |8961 | 231 |2453 | 17 | 35k|4578 | 0.000000e+00 | -- | Inf
159.33/159.40 c 159s| 58400 | 103 | 1088k| 18.6 |9795k| 59 | 32 | 231 |8988 | 231 |2453 | 17 | 35k|4578 | 0.000000e+00 | -- | Inf
159.53/159.64 c 160s| 58500 | 99 | 1090k| 18.6 |9766k| 59 | 35 | 231 |8962 | 231 |2453 | 17 | 35k|4578 | 0.000000e+00 | -- | Inf
159.73/159.89 c 160s| 58600 | 99 | 1092k| 18.6 |9769k| 59 | - | 231 |8963 | 231 |2453 | 17 | 35k|4578 | 0.000000e+00 | -- | Inf
160.03/160.12 c 160s| 58700 | 100 | 1094k| 18.6 |9765k| 59 | - | 231 |8930 | 231 |2453 | 17 | 35k|4578 | 0.000000e+00 | -- | Inf
160.23/160.38 c 160s| 58800 | 101 | 1096k| 18.6 |9758k| 59 | 30 | 231 |8903 | 231 |2453 | 17 | 35k|4589 | 0.000000e+00 | -- | Inf
160.53/160.66 c 161s| 58900 | 99 | 1097k| 18.6 |9750k| 59 | - | 231 |8896 | 231 |2453 | 17 | 36k|4600 | 0.000000e+00 | -- | Inf
160.84/160.91 c 161s| 59000 | 97 | 1099k| 18.6 |9738k| 59 | - | 231 |8870 | 231 |2453 | 17 | 36k|4603 | 0.000000e+00 | -- | Inf
161.03/161.16 c 161s| 59100 | 95 | 1101k| 18.6 |9742k| 59 | - | 231 |8890 | 231 |2453 | 17 | 36k|4609 | 0.000000e+00 | -- | Inf
161.34/161.45 c 161s| 59200 | 95 | 1103k| 18.6 |9741k| 59 | - | 231 |8890 | 231 |2453 | 17 | 36k|4618 | 0.000000e+00 | -- | Inf
161.63/161.72 c 162s| 59300 | 95 | 1105k| 18.6 |9710k| 59 | 51 | 231 |8811 | 231 |2453 | 17 | 36k|4626 | 0.000000e+00 | -- | Inf
161.94/162.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
161.94/162.01 c 162s| 59400 | 95 | 1107k| 18.6 |9691k| 59 | - | 231 |8724 | 231 |2453 | 17 | 36k|4638 | 0.000000e+00 | -- | Inf
162.13/162.28 c 162s| 59500 | 96 | 1109k| 18.6 |9690k| 59 | - | 231 |8702 | 231 |2453 | 17 | 36k|4646 | 0.000000e+00 | -- | Inf
162.44/162.55 c 163s| 59600 | 96 | 1110k| 18.6 |9689k| 59 | 43 | 231 |8705 | 231 |2453 | 17 | 36k|4655 | 0.000000e+00 | -- | Inf
162.73/162.82 c 163s| 59700 | 96 | 1112k| 18.6 |9681k| 59 | 32 | 231 |8680 | 231 |2453 | 17 | 36k|4661 | 0.000000e+00 | -- | Inf
162.94/163.07 c 163s| 59800 | 94 | 1114k| 18.6 |9655k| 59 | 39 | 231 |8672 | 231 |2453 | 17 | 36k|4671 | 0.000000e+00 | -- | Inf
163.23/163.36 c 163s| 59900 | 91 | 1116k| 18.6 |9654k| 59 | 32 | 231 |8678 | 231 |2453 | 17 | 36k|4678 | 0.000000e+00 | -- | Inf
163.53/163.63 c 164s| 60000 | 89 | 1118k| 18.6 |9595k| 59 | 35 | 231 |8594 | 231 |2453 | 17 | 36k|4687 | 0.000000e+00 | -- | Inf
163.83/163.94 c 164s| 60100 | 85 | 1120k| 18.6 |9582k| 59 | - | 231 |8581 | 231 |2453 | 17 | 36k|4700 | 0.000000e+00 | -- | Inf
164.14/164.21 c 164s| 60200 | 83 | 1122k| 18.6 |9585k| 59 | - | 231 |8609 | 231 |2453 | 17 | 36k|4708 | 0.000000e+00 | -- | Inf
164.33/164.48 c 164s| 60300 | 79 | 1124k| 18.6 |9563k| 59 | - | 231 |8577 | 231 |2453 | 17 | 36k|4718 | 0.000000e+00 | -- | Inf
164.63/164.73 c 165s| 60400 | 79 | 1125k| 18.6 |9513k| 59 | 32 | 231 |8460 | 231 |2453 | 17 | 36k|4723 | 0.000000e+00 | -- | Inf
164.94/165.01 c 165s| 60500 | 81 | 1127k| 18.6 |9503k| 59 | 39 | 231 |8414 | 231 |2453 | 17 | 36k|4729 | 0.000000e+00 | -- | Inf
165.14/165.28 c 165s| 60600 | 76 | 1129k| 18.6 |9503k| 59 | - | 231 |8431 | 231 |2453 | 17 | 37k|4739 | 0.000000e+00 | -- | Inf
165.43/165.57 c 166s| 60700 | 78 | 1131k| 18.6 |9510k| 59 | 41 | 231 |8458 | 231 |2453 | 17 | 37k|4748 | 0.000000e+00 | -- | Inf
165.73/165.82 c 166s| 60800 | 78 | 1133k| 18.6 |9520k| 59 | 27 | 231 |8506 | 231 |2453 | 17 | 37k|4755 | 0.000000e+00 | -- | Inf
166.04/166.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
166.04/166.13 c 166s| 60900 | 79 | 1135k| 18.7 |9547k| 59 | 27 | 231 |8566 | 231 |2453 | 17 | 37k|4764 | 0.000000e+00 | -- | Inf
166.24/166.36 c 166s| 61000 | 79 | 1137k| 18.6 |9570k| 59 | - | 231 |8611 | 231 |2453 | 17 | 37k|4769 | 0.000000e+00 | -- | Inf
166.53/166.62 c 167s| 61100 | 79 | 1139k| 18.6 |9590k| 59 | - | 231 |8654 | 231 |2453 | 17 | 37k|4773 | 0.000000e+00 | -- | Inf
166.73/166.88 c 167s| 61200 | 81 | 1141k| 18.7 |9602k| 59 | 39 | 231 |8684 | 231 |2453 | 17 | 37k|4776 | 0.000000e+00 | -- | Inf
167.03/167.18 c 167s| 61300 | 75 | 1144k| 18.7 |9604k| 59 | 45 | 231 |8730 | 231 |2453 | 17 | 37k|4780 | 0.000000e+00 | -- | Inf
167.34/167.43 c 167s| 61400 | 76 | 1146k| 18.7 |9628k| 59 | 36 | 231 |8772 | 231 |2453 | 17 | 37k|4783 | 0.000000e+00 | -- | Inf
167.53/167.66 c 168s| 61500 | 76 | 1147k| 18.7 |9611k| 59 | 34 | 231 |8746 | 231 |2453 | 17 | 37k|4783 | 0.000000e+00 | -- | Inf
167.83/167.90 c 168s| 61600 | 74 | 1149k| 18.7 |9612k| 59 | 35 | 231 |8756 | 231 |2453 | 17 | 37k|4784 | 0.000000e+00 | -- | Inf
168.03/168.15 c 168s| 61700 | 74 | 1151k| 18.7 |9621k| 59 | - | 231 |8771 | 231 |2453 | 17 | 37k|4784 | 0.000000e+00 | -- | Inf
168.33/168.41 c 168s| 61800 | 76 | 1153k| 18.7 |9636k| 59 | - | 231 |8796 | 231 |2453 | 17 | 37k|4786 | 0.000000e+00 | -- | Inf
168.54/168.64 c 169s| 61900 | 76 | 1155k| 18.7 |9656k| 59 | 35 | 231 |8858 | 231 |2453 | 17 | 37k|4786 | 0.000000e+00 | -- | Inf
168.74/168.88 c 169s| 62000 | 78 | 1157k| 18.7 |9669k| 59 | 31 | 231 |8893 | 231 |2453 | 17 | 37k|4786 | 0.000000e+00 | -- | Inf
169.03/169.11 c 169s| 62100 | 77 | 1159k| 18.7 |9686k| 59 | 33 | 231 |8942 | 231 |2453 | 17 | 37k|4786 | 0.000000e+00 | -- | Inf
169.23/169.36 c 169s| 62200 | 76 | 1161k| 18.7 |9697k| 59 | 42 | 231 |8990 | 231 |2453 | 17 | 38k|4786 | 0.000000e+00 | -- | Inf
169.54/169.61 c 170s| 62300 | 76 | 1163k| 18.7 |9719k| 59 | - | 231 |9041 | 231 |2453 | 17 | 38k|4787 | 0.000000e+00 | -- | Inf
169.73/169.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
169.73/169.84 c 170s| 62400 | 78 | 1165k| 18.7 |9742k| 59 | 35 | 231 |9099 | 231 |2453 | 17 | 38k|4787 | 0.000000e+00 | -- | Inf
169.93/170.08 c 170s| 62500 | 74 | 1167k| 18.7 |9754k| 59 | - | 231 |9155 | 231 |2453 | 17 | 38k|4787 | 0.000000e+00 | -- | Inf
170.23/170.32 c 170s| 62600 | 80 | 1169k| 18.7 |9789k| 59 | - | 231 |9212 | 231 |2453 | 17 | 38k|4788 | 0.000000e+00 | -- | Inf
170.43/170.55 c 171s| 62700 | 82 | 1170k| 18.7 |9812k| 59 | 21 | 231 |9271 | 231 |2453 | 17 | 38k|4788 | 0.000000e+00 | -- | Inf
170.64/170.78 c 171s| 62800 | 82 | 1172k| 18.7 |9840k| 59 | - | 231 |9328 | 231 |2453 | 17 | 38k|4788 | 0.000000e+00 | -- | Inf
170.93/171.04 c 171s| 62900 | 82 | 1174k| 18.7 |9858k| 59 | 45 | 231 |9383 | 231 |2453 | 17 | 38k|4788 | 0.000000e+00 | -- | Inf
171.23/171.30 c 171s| 63000 | 82 | 1176k| 18.7 |9883k| 59 | - | 231 |9434 | 231 |2453 | 17 | 38k|4788 | 0.000000e+00 | -- | Inf
171.43/171.55 c 172s| 63100 | 87 | 1178k| 18.7 |9912k| 59 | - | 231 |9485 | 231 |2453 | 17 | 38k|4788 | 0.000000e+00 | -- | Inf
171.64/171.80 c 172s| 63200 | 86 | 1180k| 18.7 |9932k| 59 | 28 | 231 |9537 | 231 |2453 | 17 | 38k|4788 | 0.000000e+00 | -- | Inf
171.93/172.05 c 172s| 63300 | 79 | 1182k| 18.7 |9943k| 59 | - | 231 |9600 | 231 |2453 | 17 | 38k|4788 | 0.000000e+00 | -- | Inf
172.23/172.31 c 172s| 63400 | 78 | 1185k| 18.7 |9954k| 59 | 42 | 231 |9658 | 231 |2453 | 17 | 38k|4788 | 0.000000e+00 | -- | Inf
172.43/172.56 c 173s| 63500 | 75 | 1187k| 18.7 |9976k| 59 | - | 231 |9716 | 231 |2453 | 17 | 38k|4788 | 0.000000e+00 | -- | Inf
172.73/172.80 c 173s| 63600 | 77 | 1189k| 18.7 |9994k| 59 | 40 | 231 |9772 | 231 |2453 | 17 | 38k|4788 | 0.000000e+00 | -- | Inf
172.94/173.08 c 173s| 63700 | 74 | 1191k| 18.7 | 10M| 59 | 18 | 231 |9814 | 231 |2453 | 17 | 38k|4788 | 0.000000e+00 | -- | Inf
173.23/173.38 c 173s| 63800 | 73 | 1193k| 18.7 | 10M| 59 | 42 | 231 |9832 | 231 |2453 | 17 | 38k|4799 | 0.000000e+00 | -- | Inf
173.53/173.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
173.53/173.61 c 174s| 63900 | 73 | 1195k| 18.7 | 10M| 59 | 41 | 231 |9871 | 231 |2453 | 17 | 39k|4799 | 0.000000e+00 | -- | Inf
173.83/173.91 c 174s| 64000 | 72 | 1197k| 18.7 | 10M| 59 | - | 231 |9896 | 231 |2453 | 17 | 39k|4811 | 0.000000e+00 | -- | Inf
174.04/174.16 c 174s| 64100 | 72 | 1198k| 18.7 | 10M| 59 | - | 231 |9931 | 231 |2453 | 17 | 39k|4811 | 0.000000e+00 | -- | Inf
174.33/174.45 c 174s| 64200 | 69 | 1200k| 18.7 | 10M| 59 | - | 231 |9957 | 231 |2453 | 17 | 39k|4821 | 0.000000e+00 | -- | Inf
174.63/174.70 c 175s| 64300 | 71 | 1202k| 18.7 | 10M| 59 | - | 231 |9960 | 231 |2453 | 17 | 39k|4825 | 0.000000e+00 | -- | Inf
174.83/174.97 c 175s| 64400 | 71 | 1204k| 18.7 | 10M| 59 | 25 | 231 |9957 | 231 |2453 | 17 | 39k|4837 | 0.000000e+00 | -- | Inf
175.03/175.19 c 175s| 64500 | 73 | 1206k| 18.7 | 10M| 59 | - | 231 |9954 | 231 |2453 | 17 | 39k|4837 | 0.000000e+00 | -- | Inf
175.33/175.49 c 175s| 64600 | 73 | 1208k| 18.7 | 10M| 59 | 36 | 231 |9951 | 231 |2453 | 17 | 39k|4852 | 0.000000e+00 | -- | Inf
175.63/175.77 c 176s| 64700 | 71 | 1210k| 18.7 | 10M| 59 | - | 231 |9952 | 231 |2453 | 17 | 39k|4859 | 0.000000e+00 | -- | Inf
175.93/176.08 c 176s| 64800 | 71 | 1212k| 18.7 | 10M| 59 | - | 231 |9952 | 231 |2453 | 17 | 39k|4869 | 0.000000e+00 | -- | Inf
176.23/176.39 c 176s| 64900 | 68 | 1214k| 18.7 | 10M| 59 | - | 231 |9958 | 231 |2453 | 17 | 39k|4880 | 0.000000e+00 | -- | Inf
176.53/176.64 c 177s| 65000 | 69 | 1216k| 18.7 | 10M| 59 | 31 | 231 |9918 | 231 |2453 | 17 | 39k|4885 | 0.000000e+00 | -- | Inf
176.83/176.93 c 177s| 65100 | 71 | 1218k| 18.7 | 10M| 59 | 27 | 231 |9902 | 231 |2453 | 17 | 39k|4895 | 0.000000e+00 | -- | Inf
177.13/177.22 c 177s| 65200 | 67 | 1220k| 18.7 | 10M| 59 | 31 | 231 |9928 | 231 |2453 | 17 | 39k|4903 | 0.000000e+00 | -- | Inf
177.43/177.53 c 178s| 65300 | 67 | 1222k| 18.7 | 10M| 59 | 39 | 231 |9943 | 231 |2453 | 17 | 39k|4914 | 0.000000e+00 | -- | Inf
177.73/177.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
177.73/177.83 c 178s| 65400 | 63 | 1225k| 18.7 | 10M| 59 | - | 231 |9929 | 231 |2453 | 17 | 39k|4923 | 0.000000e+00 | -- | Inf
178.03/178.13 c 178s| 65500 | 65 | 1227k| 18.7 | 10M| 59 | 50 | 231 |9927 | 231 |2453 | 17 | 39k|4932 | 0.000000e+00 | -- | Inf
178.34/178.46 c 178s| 65600 | 65 | 1229k| 18.7 | 10M| 59 | 23 | 231 |9935 | 231 |2453 | 17 | 40k|4942 | 0.000000e+00 | -- | Inf
178.63/178.76 c 179s| 65700 | 63 | 1231k| 18.7 |9991k| 59 | 23 | 231 |9890 | 231 |2453 | 17 | 40k|4949 | 0.000000e+00 | -- | Inf
178.93/179.03 c 179s| 65800 | 65 | 1233k| 18.7 |9979k| 59 | 42 | 231 |9849 | 231 |2453 | 17 | 40k|4955 | 0.000000e+00 | -- | Inf
179.23/179.31 c 179s| 65900 | 61 | 1235k| 18.8 |9957k| 59 | 38 | 231 |9822 | 231 |2453 | 17 | 40k|4959 | 0.000000e+00 | -- | Inf
179.53/179.64 c 180s| 66000 | 61 | 1238k| 18.8 |9945k| 59 | 39 | 231 |9803 | 231 |2453 | 17 | 40k|4968 | 0.000000e+00 | -- | Inf
179.83/179.94 c 180s| 66100 | 57 | 1240k| 18.8 |9904k| 59 | - | 231 |9722 | 231 |2453 | 17 | 40k|4971 | 0.000000e+00 | -- | Inf
180.03/180.18 c 180s| 66200 | 57 | 1242k| 18.8 |9871k| 59 | - | 231 |9611 | 231 |2453 | 17 | 40k|4972 | 0.000000e+00 | -- | Inf
180.33/180.43 c 180s| 66300 | 55 | 1244k| 18.8 |9821k| 59 | - | 231 |9476 | 231 |2453 | 17 | 40k|4974 | 0.000000e+00 | -- | Inf
180.64/180.70 c 181s| 66400 | 57 | 1246k| 18.8 |9818k| 59 | - | 231 |9438 | 231 |2453 | 17 | 40k|4977 | 0.000000e+00 | -- | Inf
180.83/180.93 c 181s| 66500 | 59 | 1248k| 18.8 |9809k| 59 | 38 | 231 |9406 | 231 |2453 | 17 | 40k|4977 | 0.000000e+00 | -- | Inf
181.03/181.16 c 181s| 66600 | 59 | 1250k| 18.8 |9826k| 59 | - | 231 |9444 | 231 |2453 | 17 | 40k|4977 | 0.000000e+00 | -- | Inf
181.23/181.37 c 181s| 66700 | 58 | 1251k| 18.8 |9852k| 59 | - | 231 |9516 | 231 |2453 | 17 | 40k|4977 | 0.000000e+00 | -- | Inf
181.43/181.59 c 182s| 66800 | 58 | 1253k| 18.8 |9860k| 59 | 44 | 231 |9551 | 231 |2453 | 17 | 40k|4977 | 0.000000e+00 | -- | Inf
181.73/181.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
181.73/181.81 c 182s| 66900 | 58 | 1255k| 18.8 |9877k| 59 | 42 | 231 |9595 | 231 |2453 | 17 | 40k|4977 | 0.000000e+00 | -- | Inf
181.93/182.04 c 182s| 67000 | 59 | 1256k| 18.8 |9897k| 59 | 28 | 231 |9629 | 231 |2453 | 17 | 41k|4977 | 0.000000e+00 | -- | Inf
182.23/182.30 c 182s| 67100 | 57 | 1258k| 18.8 |9915k| 59 | - | 231 |9685 | 231 |2453 | 17 | 41k|4977 | 0.000000e+00 | -- | Inf
182.43/182.53 c 183s| 67200 | 61 | 1260k| 18.8 |9932k| 59 | 30 | 231 |9713 | 231 |2453 | 17 | 41k|4977 | 0.000000e+00 | -- | Inf
182.63/182.74 c 183s| 67300 | 62 | 1262k| 18.8 |9950k| 59 | 19 | 231 |9747 | 231 |2453 | 17 | 41k|4977 | 0.000000e+00 | -- | Inf
182.83/182.93 c 183s| 67400 | 63 | 1263k| 18.7 |9972k| 59 | 20 | 231 |9798 | 231 |2453 | 17 | 41k|4977 | 0.000000e+00 | -- | Inf
183.03/183.13 c 183s| 67500 | 63 | 1265k| 18.7 |9997k| 59 | - | 231 |9851 | 231 |2453 | 17 | 41k|4977 | 0.000000e+00 | -- | Inf
183.23/183.37 c 183s| 67600 | 58 | 1267k| 18.7 | 10M| 59 | - | 231 |9891 | 231 |2453 | 17 | 41k|4977 | 0.000000e+00 | -- | Inf
183.53/183.62 c 184s| 67700 | 61 | 1269k| 18.7 | 10M| 59 | - | 231 |9924 | 231 |2453 | 17 | 41k|4977 | 0.000000e+00 | -- | Inf
183.73/183.84 c 184s| 67800 | 63 | 1271k| 18.7 | 10M| 59 | 32 | 231 |9988 | 231 |2453 | 17 | 41k|4977 | 0.000000e+00 | -- | Inf
183.93/184.06 c 184s| 67900 | 61 | 1272k| 18.7 | 10M| 59 | 30 | 231 | 10k| 231 |2453 | 17 | 41k|4977 | 0.000000e+00 | -- | Inf
184.23/184.31 c 184s| 68000 | 62 | 1274k| 18.7 | 10M| 59 | - | 231 | 10k| 231 |2453 | 17 | 41k|4977 | 0.000000e+00 | -- | Inf
184.42/184.56 c 185s| 68100 | 61 | 1277k| 18.8 | 10M| 59 | - | 231 | 10k| 231 |2453 | 17 | 41k|4977 | 0.000000e+00 | -- | Inf
184.73/184.80 c 185s| 68200 | 61 | 1279k| 18.8 | 10M| 59 | - | 231 | 10k| 231 |2453 | 17 | 41k|4977 | 0.000000e+00 | -- | Inf
184.93/185.00 c 185s| 68300 | 59 | 1280k| 18.7 | 10M| 59 | - | 231 | 10k| 231 |2453 | 17 | 41k|4977 | 0.000000e+00 | -- | Inf
185.13/185.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
185.13/185.25 c 185s| 68400 | 59 | 1282k| 18.8 | 10M| 59 | - | 231 | 10k| 231 |2453 | 17 | 41k|4977 | 0.000000e+00 | -- | Inf
185.43/185.50 c 186s| 68500 | 56 | 1284k| 18.8 | 10M| 59 | 37 | 231 | 10k| 231 |2453 | 17 | 42k|4977 | 0.000000e+00 | -- | Inf
185.63/185.73 c 186s| 68600 | 57 | 1286k| 18.8 | 10M| 59 | - | 231 | 10k| 231 |2453 | 17 | 42k|4977 | 0.000000e+00 | -- | Inf
185.83/185.99 c 186s| 68700 | 55 | 1288k| 18.8 | 10M| 59 | - | 231 | 10k| 231 |2453 | 17 | 42k|4977 | 0.000000e+00 | -- | Inf
186.13/186.24 c 186s| 68800 | 57 | 1290k| 18.8 | 10M| 59 | 40 | 231 | 10k| 231 |2453 | 17 | 42k|4977 | 0.000000e+00 | -- | Inf
186.43/186.53 c 187s| 68900 | 57 | 1292k| 18.8 | 10M| 59 | - | 231 | 10k| 231 |2453 | 17 | 42k|4990 | 0.000000e+00 | -- | Inf
186.73/186.83 c 187s| 69000 | 57 | 1294k| 18.8 | 10M| 59 | - | 231 | 10k| 231 |2453 | 17 | 42k|4999 | 0.000000e+00 | -- | Inf
186.93/187.07 c 187s| 69100 | 57 | 1296k| 18.8 | 10M| 59 | 27 | 231 | 10k| 231 |2453 | 17 | 42k|4999 | 0.000000e+00 | -- | Inf
187.23/187.38 c 187s| 69200 | 57 | 1298k| 18.8 | 10M| 59 | 25 | 231 | 10k| 231 |2453 | 17 | 42k|5014 | 0.000000e+00 | -- | Inf
187.53/187.66 c 188s| 69300 | 55 | 1300k| 18.8 | 10M| 59 | - | 231 | 10k| 231 |2453 | 17 | 42k|5022 | 0.000000e+00 | -- | Inf
187.83/187.93 c 188s| 69400 | 57 | 1302k| 18.8 | 10M| 59 | 33 | 231 | 10k| 231 |2453 | 17 | 42k|5029 | 0.000000e+00 | -- | Inf
188.13/188.23 c 188s| 69500 | 55 | 1304k| 18.8 | 10M| 59 | 43 | 231 | 10k| 231 |2453 | 17 | 42k|5039 | 0.000000e+00 | -- | Inf
188.33/188.44 c 188s| 69600 | 53 | 1306k| 18.8 | 10M| 59 | - | 231 | 10k| 231 |2453 | 17 | 42k|5039 | 0.000000e+00 | -- | Inf
188.63/188.72 c 189s| 69700 | 57 | 1308k| 18.8 | 10M| 59 | 38 | 231 | 10k| 231 |2453 | 17 | 42k|5046 | 0.000000e+00 | -- | Inf
188.93/189.00 c 189s| 69800 | 53 | 1310k| 18.8 | 10M| 59 | 46 | 231 | 10k| 231 |2453 | 17 | 42k|5055 | 0.000000e+00 | -- | Inf
189.13/189.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
189.13/189.28 c 189s| 69900 | 51 | 1311k| 18.8 | 10M| 59 | - | 231 | 10k| 0 | 0 | 17 | 42k|5062 | 0.000000e+00 | -- | Inf
189.44/189.53 c 190s| 70000 | 50 | 1313k| 18.8 | 10M| 59 | 41 | 231 |9981 | 231 |2453 | 17 | 43k|5068 | 0.000000e+00 | -- | Inf
189.63/189.79 c 190s| 70100 | 48 | 1315k| 18.8 |9964k| 59 | 41 | 231 |9837 | 231 |2453 | 17 | 43k|5074 | 0.000000e+00 | -- | Inf
190.03/190.11 c 190s| 70200 | 48 | 1317k| 18.8 |9972k| 59 | - | 231 |9851 | 231 |2453 | 17 | 43k|5087 | 0.000000e+00 | -- | Inf
190.22/190.34 c 190s| 70300 | 49 | 1319k| 18.8 |9986k| 59 | 24 | 231 |9903 | 231 |2453 | 17 | 43k|5087 | 0.000000e+00 | -- | Inf
190.43/190.60 c 191s| 70400 | 48 | 1321k| 18.8 |9982k| 59 | - | 231 |9880 | 231 |2453 | 17 | 43k|5097 | 0.000000e+00 | -- | Inf
190.73/190.86 c 191s| 70500 | 48 | 1323k| 18.8 |9978k| 59 | - | 231 |9868 | 231 |2453 | 17 | 43k|5104 | 0.000000e+00 | -- | Inf
191.03/191.15 c 191s| 70600 | 50 | 1324k| 18.8 |9980k| 59 | 20 | 231 |9872 | 231 |2453 | 17 | 43k|5114 | 0.000000e+00 | -- | Inf
191.33/191.41 c 191s| 70700 | 46 | 1326k| 18.8 |9960k| 59 | - | 231 |9843 | 231 |2453 | 17 | 43k|5120 | 0.000000e+00 | -- | Inf
191.63/191.72 c 192s| 70800 | 48 | 1328k| 18.8 |9972k| 59 | 38 | 231 |9871 | 231 |2453 | 17 | 43k|5129 | 0.000000e+00 | -- | Inf
191.82/191.98 c 192s| 70900 | 46 | 1330k| 18.8 |9965k| 59 | - | 231 |9869 | 231 |2453 | 17 | 43k|5138 | 0.000000e+00 | -- | Inf
192.13/192.25 c 192s| 71000 | 44 | 1332k| 18.8 |9960k| 59 | 38 | 231 |9877 | 231 |2453 | 17 | 43k|5146 | 0.000000e+00 | -- | Inf
192.43/192.52 c 193s| 71100 | 44 | 1334k| 18.8 |9955k| 59 | - | 231 |9866 | 231 |2453 | 17 | 43k|5155 | 0.000000e+00 | -- | Inf
192.63/192.77 c 193s| 71200 | 48 | 1336k| 18.8 |9961k| 59 | 33 | 231 |9863 | 231 |2453 | 17 | 43k|5163 | 0.000000e+00 | -- | Inf
192.93/193.02 c 193s| 71300 | 47 | 1337k| 18.8 |9974k| 59 | - | 231 |9879 | 231 |2453 | 17 | 43k|5171 | 0.000000e+00 | -- | Inf
193.13/193.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
193.13/193.26 c 193s| 71400 | 47 | 1339k| 18.8 |9990k| 59 | - | 231 |9937 | 231 |2453 | 17 | 43k|5177 | 0.000000e+00 | -- | Inf
193.43/193.53 c 194s| 71500 | 49 | 1341k| 18.8 |9955k| 59 | - | 231 |9837 | 231 |2453 | 17 | 43k|5184 | 0.000000e+00 | -- | Inf
193.73/193.81 c 194s| 71600 | 49 | 1343k| 18.8 |9924k| 59 | 35 | 231 |9759 | 231 |2453 | 17 | 44k|5190 | 0.000000e+00 | -- | Inf
193.93/194.08 c 194s| 71700 | 49 | 1345k| 18.8 |9933k| 59 | - | 231 |9764 | 231 |2453 | 17 | 44k|5199 | 0.000000e+00 | -- | Inf
194.23/194.31 c 194s| 71800 | 49 | 1347k| 18.8 |9933k| 59 | 45 | 231 |9774 | 231 |2453 | 17 | 44k|5204 | 0.000000e+00 | -- | Inf
194.43/194.54 c 195s| 71900 | 49 | 1348k| 18.8 |9943k| 59 | - | 231 |9781 | 231 |2453 | 17 | 44k|5206 | 0.000000e+00 | -- | Inf
194.62/194.79 c 195s| 72000 | 50 | 1350k| 18.8 |9945k| 59 | 40 | 231 |9780 | 231 |2453 | 17 | 44k|5207 | 0.000000e+00 | -- | Inf
194.83/194.99 c 195s| 72100 | 52 | 1352k| 18.8 |9980k| 59 | 38 | 231 |9852 | 231 |2453 | 17 | 44k|5209 | 0.000000e+00 | -- | Inf
195.13/195.21 c 195s| 72200 | 51 | 1353k| 18.8 |9994k| 59 | 34 | 231 |9892 | 231 |2453 | 17 | 44k|5210 | 0.000000e+00 | -- | Inf
195.33/195.47 c 195s| 72300 | 48 | 1355k| 18.8 |9996k| 59 | - | 231 |9922 | 231 |2453 | 17 | 44k|5213 | 0.000000e+00 | -- | Inf
195.63/195.71 c 196s| 72400 | 46 | 1357k| 18.8 | 10M| 59 | 36 | 231 |9948 | 231 |2453 | 17 | 44k|5215 | 0.000000e+00 | -- | Inf
195.82/195.95 c 196s| 72500 | 47 | 1359k| 18.8 | 10M| 59 | 41 | 231 |9953 | 231 |2453 | 17 | 44k|5215 | 0.000000e+00 | -- | Inf
196.04/196.17 c 196s| 72600 | 46 | 1361k| 18.8 | 10M| 59 | - | 231 |9970 | 231 |2453 | 17 | 44k|5215 | 0.000000e+00 | -- | Inf
196.33/196.41 c 196s| 72700 | 44 | 1363k| 18.8 |9991k| 59 | 47 | 231 |9926 | 231 |2453 | 17 | 44k|5216 | 0.000000e+00 | -- | Inf
196.52/196.65 c 197s| 72800 | 44 | 1365k| 18.8 |9981k| 59 | 45 | 231 |9899 | 231 |2453 | 17 | 44k|5216 | 0.000000e+00 | -- | Inf
196.82/196.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
196.82/196.90 c 197s| 72900 | 42 | 1367k| 18.8 |9960k| 59 | 37 | 231 |9861 | 231 |2453 | 17 | 44k|5216 | 0.000000e+00 | -- | Inf
197.03/197.14 c 197s| 73000 | 41 | 1369k| 18.8 |9935k| 59 | - | 231 |9797 | 231 |2453 | 17 | 44k|5216 | 0.000000e+00 | -- | Inf
197.22/197.38 c 197s| 73100 | 40 | 1371k| 18.8 |9951k| 59 | - | 231 |9835 | 231 |2453 | 17 | 44k|5217 | 0.000000e+00 | -- | Inf
197.53/197.62 c 198s| 73200 | 40 | 1372k| 18.8 |9937k| 59 | - | 231 |9809 | 231 |2453 | 17 | 44k|5218 | 0.000000e+00 | -- | Inf
197.73/197.87 c 198s| 73300 | 38 | 1374k| 18.8 |9894k| 59 | - | 231 |9710 | 231 |2453 | 17 | 45k|5218 | 0.000000e+00 | -- | Inf
198.03/198.12 c 198s| 73400 | 37 | 1376k| 18.8 |9854k| 59 | - | 231 |9632 | 231 |2453 | 17 | 45k|5219 | 0.000000e+00 | -- | Inf
198.23/198.37 c 198s| 73500 | 37 | 1378k| 18.8 |9842k| 59 | 38 | 231 |9623 | 231 |2453 | 17 | 45k|5220 | 0.000000e+00 | -- | Inf
198.43/198.58 c 199s| 73600 | 36 | 1380k| 18.8 |9839k| 59 | - | 231 |9604 | 231 |2453 | 17 | 45k|5220 | 0.000000e+00 | -- | Inf
198.72/198.80 c 199s| 73700 | 39 | 1381k| 18.7 |9835k| 59 | 28 | 231 |9582 | 231 |2453 | 17 | 45k|5220 | 0.000000e+00 | -- | Inf
198.93/199.06 c 199s| 73800 | 37 | 1384k| 18.8 |9794k| 59 | 43 | 231 |9471 | 231 |2453 | 17 | 45k|5220 | 0.000000e+00 | -- | Inf
199.23/199.32 c 199s| 73900 | 38 | 1386k| 18.8 |9769k| 59 | 34 | 231 |9415 | 231 |2453 | 17 | 45k|5221 | 0.000000e+00 | -- | Inf
199.42/199.56 c 200s| 74000 | 38 | 1387k| 18.8 |9748k| 59 | 38 | 231 |9351 | 231 |2453 | 17 | 45k|5221 | 0.000000e+00 | -- | Inf
199.73/199.81 c 200s| 74100 | 36 | 1389k| 18.8 |9735k| 59 | 27 | 231 |9336 | 231 |2453 | 17 | 45k|5221 | 0.000000e+00 | -- | Inf
199.93/200.06 c 200s| 74200 | 36 | 1392k| 18.8 |9733k| 59 | 45 | 231 |9338 | 231 |2453 | 17 | 45k|5221 | 0.000000e+00 | -- | Inf
200.22/200.31 c 200s| 74300 | 34 | 1394k| 18.8 |9731k| 59 | 40 | 231 |9343 | 231 |2453 | 17 | 45k|5221 | 0.000000e+00 | -- | Inf
200.43/200.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
200.43/200.56 c 201s| 74400 | 30 | 1396k| 18.8 |9720k| 59 | - | 231 |9339 | 231 |2453 | 17 | 45k|5221 | 0.000000e+00 | -- | Inf
200.62/200.75 c 201s| 74500 | 31 | 1397k| 18.8 |9698k| 59 | - | 231 |9286 | 231 |2453 | 17 | 45k|5222 | 0.000000e+00 | -- | Inf
200.83/200.99 c 201s| 74600 | 29 | 1399k| 18.8 |9685k| 59 | - | 231 |9263 | 231 |2453 | 17 | 45k|5222 | 0.000000e+00 | -- | Inf
201.13/201.22 c 201s| 74700 | 30 | 1401k| 18.8 |9682k| 59 | 36 | 231 |9259 | 231 |2453 | 17 | 45k|5222 | 0.000000e+00 | -- | Inf
201.33/201.45 c 201s| 74800 | 30 | 1402k| 18.8 |9644k| 59 | 35 | 231 |9155 | 231 |2453 | 17 | 45k|5222 | 0.000000e+00 | -- | Inf
201.53/201.67 c 202s| 74900 | 30 | 1404k| 18.8 |9643k| 59 | 35 | 231 |9155 | 231 |2453 | 17 | 46k|5222 | 0.000000e+00 | -- | Inf
201.83/201.95 c 202s| 75000 | 30 | 1406k| 18.8 |9643k| 59 | 40 | 231 |9176 | 231 |2453 | 17 | 46k|5232 | 0.000000e+00 | -- | Inf
202.03/202.15 c 202s| 75100 | 30 | 1407k| 18.7 |9657k| 59 | - | 231 |9200 | 231 |2453 | 17 | 46k|5232 | 0.000000e+00 | -- | Inf
202.33/202.41 c 202s| 75200 | 31 | 1409k| 18.7 |9660k| 59 | 41 | 231 |9221 | 231 |2453 | 17 | 46k|5237 | 0.000000e+00 | -- | Inf
202.53/202.69 c 203s| 75300 | 33 | 1411k| 18.7 |9680k| 59 | 22 | 231 |9263 | 231 |2453 | 17 | 46k|5247 | 0.000000e+00 | -- | Inf
202.82/202.95 c 203s| 75400 | 29 | 1413k| 18.7 |9671k| 59 | 44 | 231 |9285 | 231 |2453 | 17 | 46k|5253 | 0.000000e+00 | -- | Inf
203.02/203.17 c 203s| 75500 | 31 | 1415k| 18.7 |9669k| 59 | - | 231 |9258 | 231 |2453 | 17 | 46k|5255 | 0.000000e+00 | -- | Inf
203.33/203.43 c 203s| 75600 | 33 | 1416k| 18.7 |9655k| 59 | 41 | 231 |9219 | 231 |2453 | 17 | 46k|5268 | 0.000000e+00 | -- | Inf
203.53/203.67 c 204s| 75700 | 37 | 1418k| 18.7 |9610k| 59 | 33 | 231 |9077 | 231 |2453 | 17 | 46k|5268 | 0.000000e+00 | -- | Inf
203.82/203.98 c 204s| 75800 | 37 | 1420k| 18.7 |9595k| 59 | 41 | 231 |9028 | 231 |2453 | 17 | 46k|5276 | 0.000000e+00 | -- | Inf
204.12/204.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
204.12/204.29 c 204s| 75900 | 39 | 1422k| 18.7 |9585k| 59 | 31 | 231 |8988 | 231 |2453 | 17 | 46k|5285 | 0.000000e+00 | -- | Inf
204.42/204.59 c 205s| 76000 | 37 | 1425k| 18.7 |9590k| 59 | - | 231 |9006 | 231 |2453 | 17 | 46k|5292 | 0.000000e+00 | -- | Inf
204.74/204.84 c 205s| 76100 | 39 | 1426k| 18.7 |9600k| 59 | 19 | 231 |9018 | 231 |2453 | 17 | 46k|5300 | 0.000000e+00 | -- | Inf
205.03/205.10 c 205s| 76200 | 39 | 1428k| 18.7 |9611k| 59 | 39 | 231 |9047 | 231 |2453 | 17 | 46k|5309 | 0.000000e+00 | -- | Inf
205.23/205.35 c 205s| 76300 | 37 | 1430k| 18.7 |9630k| 59 | - | 231 |9092 | 231 |2453 | 17 | 46k|5316 | 0.000000e+00 | -- | Inf
205.52/205.61 c 206s| 76400 | 37 | 1432k| 18.7 |9649k| 59 | - | 231 |9160 | 231 |2453 | 17 | 46k|5323 | 0.000000e+00 | -- | Inf
205.72/205.87 c 206s| 76500 | 39 | 1433k| 18.7 |9667k| 59 | 35 | 231 |9206 | 231 |2453 | 17 | 47k|5329 | 0.000000e+00 | -- | Inf
206.03/206.13 c 206s| 76600 | 37 | 1435k| 18.7 |9670k| 59 | 38 | 231 |9223 | 231 |2453 | 17 | 47k|5336 | 0.000000e+00 | -- | Inf
206.23/206.36 c 206s| 76700 | 37 | 1437k| 18.7 |9675k| 59 | - | 231 |9222 | 231 |2453 | 17 | 47k|5341 | 0.000000e+00 | -- | Inf
206.52/206.64 c 207s| 76800 | 35 | 1439k| 18.7 |9677k| 59 | 33 | 231 |9255 | 231 |2453 | 17 | 47k|5351 | 0.000000e+00 | -- | Inf
206.83/206.93 c 207s| 76900 | 37 | 1441k| 18.7 |9684k| 59 | 38 | 231 |9272 | 231 |2453 | 17 | 47k|5361 | 0.000000e+00 | -- | Inf
207.03/207.19 c 207s| 77000 | 39 | 1443k| 18.7 |9710k| 59 | - | 231 |9311 | 231 |2453 | 17 | 47k|5368 | 0.000000e+00 | -- | Inf
207.32/207.44 c 207s| 77100 | 37 | 1444k| 18.7 |9727k| 59 | 40 | 231 |9369 | 231 |2453 | 17 | 47k|5375 | 0.000000e+00 | -- | Inf
207.63/207.72 c 208s| 77200 | 38 | 1446k| 18.7 |9745k| 59 | 25 | 231 |9420 | 231 |2453 | 17 | 47k|5381 | 0.000000e+00 | -- | Inf
207.83/207.99 c 208s| 77300 | 38 | 1448k| 18.7 |9759k| 59 | 38 | 231 |9454 | 231 |2453 | 17 | 47k|5391 | 0.000000e+00 | -- | Inf
208.13/208.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
208.13/208.26 c 208s| 77400 | 40 | 1450k| 18.7 |9782k| 59 | 46 | 231 |9505 | 231 |2453 | 17 | 47k|5399 | 0.000000e+00 | -- | Inf
208.42/208.54 c 209s| 77500 | 38 | 1452k| 18.7 |9804k| 59 | - | 231 |9557 | 231 |2453 | 17 | 47k|5408 | 0.000000e+00 | -- | Inf
208.73/208.81 c 209s| 77600 | 41 | 1454k| 18.7 |9828k| 59 | - | 231 |9610 | 231 |2453 | 17 | 47k|5415 | 0.000000e+00 | -- | Inf
208.93/209.06 c 209s| 77700 | 42 | 1456k| 18.7 |9853k| 59 | - | 231 |9661 | 231 |2453 | 17 | 47k|5424 | 0.000000e+00 | -- | Inf
209.13/209.30 c 209s| 77800 | 46 | 1458k| 18.7 |9875k| 59 | 36 | 231 |9709 | 231 |2453 | 17 | 47k|5427 | 0.000000e+00 | -- | Inf
209.42/209.55 c 210s| 77900 | 46 | 1459k| 18.7 |9897k| 59 | - | 231 |9762 | 231 |2453 | 17 | 47k|5430 | 0.000000e+00 | -- | Inf
209.72/209.80 c 210s| 78000 | 44 | 1461k| 18.7 |9914k| 59 | - | 231 |9812 | 231 |2453 | 17 | 47k|5432 | 0.000000e+00 | -- | Inf
209.93/210.05 c 210s| 78100 | 40 | 1463k| 18.7 |9923k| 59 | - | 231 |9860 | 231 |2453 | 17 | 47k|5434 | 0.000000e+00 | -- | Inf
210.23/210.31 c 210s| 78200 | 40 | 1465k| 18.7 |9937k| 59 | - | 231 |9897 | 231 |2453 | 17 | 48k|5440 | 0.000000e+00 | -- | Inf
210.42/210.56 c 211s| 78300 | 40 | 1467k| 18.7 |9954k| 59 | - | 231 |9942 | 231 |2453 | 17 | 48k|5445 | 0.000000e+00 | -- | Inf
210.72/210.82 c 211s| 78400 | 38 | 1469k| 18.7 |9962k| 59 | - | 231 |9956 | 231 |2453 | 17 | 48k|5445 | 0.000000e+00 | -- | Inf
210.92/211.04 c 211s| 78500 | 36 | 1471k| 18.7 |9972k| 59 | - | 231 |9999 | 231 |2453 | 17 | 48k|5446 | 0.000000e+00 | -- | Inf
211.13/211.28 c 211s| 78600 | 34 | 1473k| 18.7 |9981k| 59 | - | 231 | 10k| 231 |2453 | 17 | 48k|5447 | 0.000000e+00 | -- | Inf
211.43/211.53 c 212s| 78700 | 34 | 1475k| 18.7 |9989k| 59 | 33 | 231 | 10k| 231 |2453 | 17 | 48k|5448 | 0.000000e+00 | -- | Inf
211.63/211.77 c 212s| 78800 | 34 | 1476k| 18.7 |9998k| 59 | - | 231 | 10k| 231 |2453 | 17 | 48k|5451 | 0.000000e+00 | -- | Inf
211.92/212.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
211.92/212.00 c 212s| 78900 | 32 | 1478k| 18.7 | 10M| 59 | - | 231 | 10k| 231 |2453 | 17 | 48k|5452 | 0.000000e+00 | -- | Inf
212.12/212.26 c 212s| 79000 | 30 | 1480k| 18.7 | 10M| 59 | - | 231 | 10k| 231 |2453 | 17 | 48k|5453 | 0.000000e+00 | -- | Inf
212.33/212.47 c 212s| 79100 | 32 | 1482k| 18.7 | 10M| 59 | 32 | 231 | 10k| 231 |2453 | 17 | 48k|5453 | 0.000000e+00 | -- | Inf
212.62/212.71 c 213s| 79200 | 30 | 1483k| 18.7 | 10M| 59 | 33 | 231 | 10k| 231 |2453 | 17 | 48k|5455 | 0.000000e+00 | -- | Inf
212.82/212.91 c 213s| 79300 | 28 | 1485k| 18.7 | 10M| 59 | - | 231 | 10k| 231 |2453 | 17 | 48k|5455 | 0.000000e+00 | -- | Inf
213.02/213.14 c 213s| 79400 | 28 | 1487k| 18.7 | 10M| 59 | 36 | 231 | 10k| 231 |2453 | 17 | 48k|5456 | 0.000000e+00 | -- | Inf
213.22/213.39 c 213s| 79500 | 28 | 1489k| 18.7 | 10M| 59 | - | 231 | 10k| 231 |2453 | 17 | 48k|5456 | 0.000000e+00 | -- | Inf
213.53/213.66 c 214s| 79600 | 28 | 1491k| 18.7 | 10M| 59 | - | 231 | 10k| 231 |2453 | 17 | 48k|5456 | 0.000000e+00 | -- | Inf
213.73/213.88 c 214s| 79700 | 28 | 1492k| 18.7 | 10M| 59 | 44 | 231 | 10k| 231 |2453 | 17 | 48k|5456 | 0.000000e+00 | -- | Inf
214.02/214.14 c 214s| 79800 | 28 | 1495k| 18.7 | 10M| 59 | - | 231 | 10k| 231 |2453 | 17 | 49k|5456 | 0.000000e+00 | -- | Inf
214.22/214.39 c 214s| 79900 | 26 | 1497k| 18.7 | 10M| 59 | - | 231 | 10k| 231 |2453 | 17 | 49k|5456 | 0.000000e+00 | -- | Inf
214.52/214.64 c 215s| 80000 | 28 | 1499k| 18.7 | 10M| 59 | - | 231 | 10k| 231 |2453 | 17 | 49k|5456 | 0.000000e+00 | -- | Inf
214.73/214.88 c 215s| 80100 | 30 | 1500k| 18.7 | 10M| 59 | 27 | 231 | 10k| 231 |2453 | 17 | 49k|5456 | 0.000000e+00 | -- | Inf
215.03/215.11 c 215s| 80200 | 28 | 1502k| 18.7 | 10M| 59 | - | 231 | 10k| 231 |2453 | 17 | 49k|5456 | 0.000000e+00 | -- | Inf
215.22/215.36 c 215s| 80300 | 30 | 1504k| 18.7 | 10M| 59 | 27 | 231 | 10k| 231 |2453 | 17 | 49k|5456 | 0.000000e+00 | -- | Inf
215.52/215.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
215.52/215.60 c 216s| 80400 | 28 | 1506k| 18.7 | 10M| 59 | - | 231 | 10k| 231 |2453 | 17 | 49k|5456 | 0.000000e+00 | -- | Inf
215.73/215.84 c 216s| 80500 | 26 | 1508k| 18.7 | 10M| 59 | - | 231 | 10k| 231 |2453 | 17 | 49k|5456 | 0.000000e+00 | -- | Inf
216.03/216.10 c 216s| 80600 | 28 | 1510k| 18.7 | 10M| 59 | - | 231 | 10k| 231 |2453 | 17 | 49k|5456 | 0.000000e+00 | -- | Inf
216.23/216.34 c 216s| 80700 | 27 | 1512k| 18.7 | 10M| 59 | - | 231 | 10k| 231 |2453 | 17 | 49k|5456 | 0.000000e+00 | -- | Inf
216.42/216.59 c 217s| 80800 | 25 | 1514k| 18.7 | 10M| 59 | 40 | 231 | 10k| 231 |2453 | 17 | 49k|5456 | 0.000000e+00 | -- | Inf
216.72/216.82 c 217s| 80900 | 25 | 1516k| 18.7 | 10M| 59 | 38 | 231 | 10k| 231 |2453 | 17 | 49k|5456 | 0.000000e+00 | -- | Inf
216.93/217.05 c 217s| 81000 | 24 | 1517k| 18.7 | 10M| 59 | 45 | 231 | 10k| 231 |2453 | 17 | 49k|5456 | 0.000000e+00 | -- | Inf
217.13/217.28 c 217s| 81100 | 25 | 1519k| 18.7 | 10M| 59 | 32 | 231 | 10k| 231 |2453 | 17 | 49k|5456 | 0.000000e+00 | -- | Inf
217.42/217.51 c 218s| 81200 | 23 | 1521k| 18.7 | 10M| 59 | 26 | 231 | 10k| 231 |2453 | 17 | 49k|5458 | 0.000000e+00 | -- | Inf
217.73/217.81 c 218s| 81300 | 23 | 1523k| 18.7 | 10M| 59 | 30 | 231 | 10k| 231 |2453 | 17 | 49k|5471 | 0.000000e+00 | -- | Inf
218.03/218.11 c 218s| 81400 | 21 | 1525k| 18.7 | 10M| 59 | 37 | 231 | 10k| 231 |2453 | 17 | 49k|5481 | 0.000000e+00 | -- | Inf
218.33/218.43 c 218s| 81500 | 22 | 1527k| 18.7 | 10M| 59 | - | 231 | 10k| 231 |2453 | 17 | 50k|5491 | 0.000000e+00 | -- | Inf
218.63/218.73 c 219s| 81600 | 24 | 1529k| 18.7 | 10M| 59 | 31 | 231 | 10k| 231 |2453 | 17 | 50k|5498 | 0.000000e+00 | -- | Inf
218.82/219.00 c 219s| 81700 | 16 | 1532k| 18.8 | 10M| 59 | 36 | 231 | 10k| 231 |2453 | 17 | 50k|5498 | 0.000000e+00 | -- | Inf
219.13/219.27 c 219s| 81800 | 16 | 1533k| 18.8 | 10M| 59 | - | 231 | 10k| 231 |2453 | 17 | 50k|5510 | 0.000000e+00 | -- | Inf
219.43/219.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
219.43/219.55 c 220s| 81900 | 18 | 1535k| 18.8 | 10M| 59 | 31 | 231 | 10k| 231 |2453 | 17 | 50k|5517 | 0.000000e+00 | -- | Inf
219.72/219.82 c 220s| 82000 | 15 | 1537k| 18.8 | 10M| 59 | - | 231 | 10k| 231 |2453 | 17 | 50k|5523 | 0.000000e+00 | -- | Inf
220.02/220.11 c 220s| 82100 | 16 | 1539k| 18.8 | 10M| 59 | 23 | 231 | 10k| 231 |2453 | 17 | 50k|5533 | 0.000000e+00 | -- | Inf
220.23/220.39 c 220s| 82200 | 16 | 1541k| 18.8 | 10M| 59 | 33 | 231 | 10k| 231 |2453 | 17 | 50k|5540 | 0.000000e+00 | -- | Inf
220.52/220.66 c 221s| 82300 | 16 | 1543k| 18.8 | 10M| 59 | - | 231 | 10k| 231 |2453 | 17 | 50k|5546 | 0.000000e+00 | -- | Inf
220.82/220.95 c 221s| 82400 | 13 | 1546k| 18.8 | 10M| 59 | - | 231 | 10k| 231 |2453 | 17 | 50k|5556 | 0.000000e+00 | -- | Inf
221.13/221.23 c 221s| 82500 | 15 | 1548k| 18.8 | 10M| 59 | 33 | 231 | 10k| 231 |2453 | 17 | 50k|5563 | 0.000000e+00 | -- | Inf
221.43/221.52 c 222s| 82600 | 14 | 1550k| 18.8 | 10M| 59 | - | 231 | 10k| 231 |2453 | 17 | 50k|5569 | 0.000000e+00 | -- | Inf
221.73/221.83 c 222s| 82700 | 16 | 1552k| 18.8 | 10M| 59 | 39 | 231 | 10k| 231 |2453 | 17 | 50k|5578 | 0.000000e+00 | -- | Inf
222.03/222.16 c 222s| 82800 | 11 | 1555k| 18.8 | 10M| 59 | - | 231 | 11k| 231 |2453 | 17 | 50k|5589 | 0.000000e+00 | -- | Inf
222.33/222.48 c 222s| 82900 | 11 | 1557k| 18.8 | 10M| 59 | - | 231 | 11k| 231 |2453 | 17 | 51k|5598 | 0.000000e+00 | -- | Inf
222.62/222.78 c 223s| 83000 | 13 | 1559k| 18.8 | 10M| 59 | 20 | 231 | 11k| 231 |2453 | 17 | 51k|5605 | 0.000000e+00 | -- | Inf
222.93/223.07 c 223s| 83100 | 11 | 1561k| 18.8 | 10M| 59 | 31 | 231 | 10k| 231 |2453 | 17 | 51k|5613 | 0.000000e+00 | -- | Inf
223.22/223.35 c 223s| 83200 | 9 | 1563k| 18.8 | 10M| 59 | - | 231 | 10k| 231 |2453 | 17 | 51k|5620 | 0.000000e+00 | -- | Inf
223.43/223.59 c 224s| 83300 | 8 | 1565k| 18.8 | 10M| 59 | - | 231 | 10k| 231 |2453 | 17 | 51k|5622 | 0.000000e+00 | -- | Inf
223.72/223.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
223.72/223.85 c 224s| 83400 | 6 | 1567k| 18.8 | 10M| 59 | 30 | 231 | 11k| 231 |2453 | 17 | 51k|5628 | 0.000000e+00 | -- | Inf
224.02/224.13 c 224s| 83500 | 6 | 1569k| 18.8 | 10M| 59 | 32 | 231 | 10k| 231 |2453 | 17 | 51k|5635 | 0.000000e+00 | -- | Inf
224.22/224.36 c 224s| 83600 | 8 | 1570k| 18.8 | 10M| 59 | 36 | 231 | 11k| 231 |2453 | 17 | 51k|5635 | 0.000000e+00 | -- | Inf
224.53/224.61 c 225s| 83700 | 5 | 1573k| 18.8 | 10M| 59 | - | 231 | 11k| 231 |2453 | 17 | 51k|5635 | 0.000000e+00 | -- | Inf
224.72/224.87 c 225s| 83800 | 5 | 1575k| 18.8 | 10M| 59 | - | 231 | 11k| 231 |2453 | 17 | 51k|5635 | 0.000000e+00 | -- | Inf
225.02/225.13 c 225s| 83900 | 8 | 1577k| 18.8 | 10M| 59 | - | 231 | 11k| 231 |2453 | 17 | 51k|5637 | 0.000000e+00 | -- | Inf
225.33/225.40 c 225s| 84000 | 8 | 1579k| 18.8 | 10M| 59 | 33 | 231 | 11k| 231 |2453 | 17 | 51k|5639 | 0.000000e+00 | -- | Inf
225.53/225.65 c 226s| 84100 | 11 | 1581k| 18.8 | 10M| 59 | 41 | 231 | 11k| 231 |2453 | 17 | 51k|5639 | 0.000000e+00 | -- | Inf
225.82/225.90 c 226s| 84200 | 7 | 1583k| 18.8 | 10M| 59 | 24 | 231 | 11k| 231 |2453 | 17 | 51k|5639 | 0.000000e+00 | -- | Inf
226.02/226.14 c 226s| 84300 | 4 | 1585k| 18.8 | 10M| 59 | - | 231 | 11k| 231 |2453 | 17 | 52k|5639 | 0.000000e+00 | -- | Inf
226.12/226.29 c
226.12/226.29 c SCIP Status : problem is solved [infeasible]
226.12/226.29 c Solving Time (sec) : 226.29
226.12/226.29 c Solving Nodes : 84357
226.12/226.29 c Primal Bound : +1.00000000000000e+20 (0 solutions)
226.12/226.29 c Dual Bound : +1.00000000000000e+20
226.12/226.29 c Gap : 0.00 %
226.12/226.29 s UNSATISFIABLE
226.12/226.29 c SCIP Status : problem is solved [infeasible]
226.12/226.29 c Total Time : 226.29
226.12/226.29 c solving : 226.29
226.12/226.29 c presolving : 0.05 (included in solving)
226.12/226.29 c reading : 0.01 (included in solving)
226.12/226.29 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
226.12/226.29 c Original Problem :
226.12/226.29 c Problem name : HOME/instance-3690416-1338016936.opb
226.12/226.29 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
226.12/226.29 c Constraints : 2707 initial, 2707 maximal
226.12/226.29 c Objective sense : minimize
226.12/226.29 c Presolved Problem :
226.12/226.29 c Problem name : t_HOME/instance-3690416-1338016936.opb
226.12/226.29 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
226.12/226.29 c Constraints : 2443 initial, 12765 maximal
226.12/226.29 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
226.12/226.29 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
226.12/226.29 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
226.12/226.29 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
226.12/226.29 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
226.12/226.29 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
226.12/226.29 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
226.12/226.29 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
226.12/226.29 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
226.12/226.29 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
226.12/226.29 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
226.12/226.29 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
226.12/226.29 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0
226.12/226.29 c setppc : 0.00 0.00 0 0 0 0 0 121 0 0 0
226.12/226.29 c linear : 0.02 0.00 0 0 0 0 0 143 0 0 0
226.12/226.29 c logicor : 0.02 0.00 0 0 0 0 0 0 0 0 0
226.12/226.29 c root node : - - 2 - - 2 - - - - -
226.12/226.29 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
226.12/226.29 c integral : 0 0 0 0 43859 0 1 0 172 2403 0 0 84720
226.12/226.29 c knapsack : 1 1 5 339075 0 0 0 15425 405 121466 0 0 0
226.12/226.29 c setppc : 22 22 5 338879 0 0 0 880950 1230 449675 0 0 0
226.12/226.29 c linear : 0+ 265 5 103940 0 0 0 369 0 4268 0 0 0
226.12/226.29 c logicor : 2420+ 12731 5 153181 0 0 0 312183 301 496527 0 0 0
226.12/226.29 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
226.12/226.29 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
226.12/226.29 c integral : 24.69 0.00 0.00 0.00 24.69 0.00 0.00 0.00
226.12/226.29 c knapsack : 0.31 0.00 0.00 0.29 0.00 0.00 0.00 0.02
226.12/226.29 c setppc : 1.27 0.00 0.00 1.07 0.00 0.00 0.00 0.21
226.12/226.29 c linear : 0.18 0.00 0.00 0.18 0.00 0.00 0.00 0.00
226.12/226.29 c logicor : 6.13 0.00 0.00 5.88 0.00 0.00 0.00 0.25
226.12/226.29 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
226.12/226.29 c Propagators : #Propagate #ResProp Cutoffs DomReds
226.12/226.29 c rootredcost : 0 0 0 0
226.12/226.29 c pseudoobj : 0 0 0 0
226.12/226.29 c vbounds : 0 0 0 0
226.12/226.29 c redcost : 43864 0 0 0
226.12/226.29 c probing : 0 0 0 0
226.12/226.29 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
226.12/226.29 c rootredcost : 0.06 0.00 0.00 0.06 0.00
226.12/226.29 c pseudoobj : 0.06 0.00 0.00 0.06 0.00
226.12/226.29 c vbounds : 0.05 0.00 0.00 0.05 0.00
226.12/226.29 c redcost : 0.18 0.00 0.00 0.18 0.00
226.12/226.29 c probing : 0.00 0.00 0.00 0.00 0.00
226.12/226.29 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
226.12/226.29 c propagation : 0.07 1936 1929 10143 21.9 23 21.0 -
226.12/226.29 c infeasible LP : 3.35 40248 39512 238060 33.4 102 18.0 0
226.12/226.29 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
226.12/226.29 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
226.12/226.29 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
226.12/226.29 c applied globally : - - - 47934 19.8 - - -
226.12/226.29 c applied locally : - - - 4129 35.1 - - -
226.12/226.29 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
226.12/226.29 c cut pool : 0.00 4 - - 306 - (maximal pool size: 515)
226.12/226.29 c closecuts : 0.00 0.00 0 0 0 0 0
226.12/226.29 c impliedbounds : 0.00 0.00 5 0 0 0 0
226.12/226.29 c intobj : 0.00 0.00 0 0 0 0 0
226.12/226.29 c gomory : 0.10 0.00 5 0 0 200 0
226.12/226.29 c cgmip : 0.00 0.00 0 0 0 0 0
226.12/226.29 c strongcg : 0.18 0.00 5 0 0 2500 0
226.12/226.29 c cmir : 0.00 0.00 0 0 0 0 0
226.12/226.29 c flowcover : 0.00 0.00 0 0 0 0 0
226.12/226.29 c clique : 0.00 0.00 5 0 0 0 0
226.12/226.29 c zerohalf : 0.00 0.00 0 0 0 0 0
226.12/226.29 c mcf : 0.00 0.00 1 0 0 0 0
226.12/226.29 c oddcycle : 0.00 0.00 0 0 0 0 0
226.12/226.29 c rapidlearning : 0.09 0.00 1 0 0 0 265
226.12/226.29 c Pricers : ExecTime SetupTime Calls Vars
226.12/226.29 c problem variables: 0.00 - 0 0
226.12/226.29 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
226.12/226.29 c relpscost : 24.66 0.00 43859 172 2403 0 0 84720
226.12/226.29 c pscost : 0.00 0.00 0 0 0 0 0 0
226.12/226.29 c inference : 0.00 0.00 0 0 0 0 0 0
226.12/226.29 c mostinf : 0.00 0.00 0 0 0 0 0 0
226.12/226.29 c leastinf : 0.00 0.00 0 0 0 0 0 0
226.12/226.29 c fullstrong : 0.00 0.00 0 0 0 0 0 0
226.12/226.29 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
226.12/226.29 c random : 0.00 0.00 0 0 0 0 0 0
226.12/226.29 c Primal Heuristics : ExecTime SetupTime Calls Found
226.12/226.29 c LP solutions : 0.00 - - 0
226.12/226.29 c pseudo solutions : 0.00 - - 0
226.12/226.29 c smallcard : 0.00 0.00 0 0
226.12/226.29 c trivial : 0.00 0.00 1 0
226.12/226.29 c shiftandpropagate: 0.00 0.00 0 0
226.12/226.29 c simplerounding : 0.00 0.00 0 0
226.12/226.29 c zirounding : 0.00 0.00 0 0
226.12/226.29 c rounding : 0.00 0.00 0 0
226.12/226.29 c shifting : 0.00 0.00 0 0
226.12/226.29 c intshifting : 0.00 0.00 0 0
226.12/226.29 c oneopt : 0.00 0.00 0 0
226.12/226.29 c twoopt : 0.00 0.00 0 0
226.12/226.29 c indtwoopt : 0.00 0.00 0 0
226.12/226.29 c indoneopt : 0.00 0.00 0 0
226.12/226.29 c fixandinfer : 0.00 0.00 0 0
226.12/226.29 c feaspump : 0.00 0.00 0 0
226.12/226.29 c clique : 0.00 0.00 0 0
226.12/226.29 c indrounding : 0.00 0.00 0 0
226.12/226.29 c indcoefdiving : 0.00 0.00 0 0
226.12/226.29 c coefdiving : 0.00 0.00 0 0
226.12/226.29 c pscostdiving : 0.00 0.00 0 0
226.12/226.29 c nlpdiving : 0.00 0.00 0 0
226.12/226.29 c fracdiving : 0.00 0.00 0 0
226.12/226.29 c veclendiving : 0.00 0.00 0 0
226.12/226.29 c intdiving : 0.00 0.00 0 0
226.12/226.29 c actconsdiving : 0.00 0.00 0 0
226.12/226.29 c objpscostdiving : 0.00 0.00 0 0
226.12/226.29 c rootsoldiving : 0.00 0.00 0 0
226.12/226.29 c linesearchdiving : 0.00 0.00 0 0
226.12/226.29 c guideddiving : 0.00 0.00 0 0
226.12/226.29 c octane : 0.00 0.00 0 0
226.12/226.29 c rens : 0.00 0.00 0 0
226.12/226.29 c rins : 0.00 0.00 0 0
226.12/226.29 c localbranching : 0.00 0.00 0 0
226.12/226.29 c mutation : 0.00 0.00 0 0
226.12/226.29 c crossover : 0.00 0.00 0 0
226.12/226.29 c dins : 0.00 0.00 0 0
226.12/226.29 c vbounds : 0.00 0.00 0 0
226.12/226.29 c undercover : 0.00 0.00 0 0
226.12/226.29 c subnlp : 0.00 0.00 0 0
226.12/226.29 c trysol : 0.00 0.00 0 0
226.12/226.29 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
226.12/226.29 c primal LP : 0.00 1 0 0.00 - 0.00 1
226.12/226.29 c dual LP : 170.05 84112 1586352 18.91 9328.49 0.08 218
226.12/226.29 c lex dual LP : 0.00 0 0 0.00 -
226.12/226.29 c barrier LP : 0.00 0 0 0.00 - 0.00 0
226.12/226.29 c diving/probing LP: 0.00 0 0 0.00 -
226.12/226.29 c strong branching : 23.97 5639 211025 37.42 8802.84
226.12/226.29 c (at root node) : - 11 2220 201.82 -
226.12/226.29 c conflict analysis: 0.00 0 0 0.00 -
226.12/226.29 c B&B Tree :
226.12/226.29 c number of runs : 1
226.12/226.29 c nodes : 84357
226.12/226.29 c nodes (total) : 84357
226.12/226.29 c nodes left : 0
226.12/226.29 c max depth : 59
226.12/226.29 c max depth (total): 59
226.12/226.29 c backtracks : 9218 (10.9%)
226.12/226.29 c delayed cutoffs : 364
226.12/226.29 c repropagations : 151436 (156363 domain reductions, 363 cutoffs)
226.12/226.29 c avg switch length: 5.24
226.12/226.29 c switching time : 6.92
226.12/226.29 c Solution :
226.12/226.29 c Solutions found : 0 (0 improvements)
226.12/226.29 c Primal Bound : infeasible
226.12/226.29 c Dual Bound : -
226.12/226.29 c Gap : 0.00 %
226.12/226.29 c Root Dual Bound : +0.00000000000000e+00
226.12/226.29 c Root Iterations : 146
226.22/226.31 c Time complete: 226.23.
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-3690416-1338016936/watcher-3690416-1338016936 -o /tmp/evaluation-result-3690416-1338016936/solver-3690416-1338016936 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690416-1338016936.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 4/174 31589
/proc/meminfo: memFree=29223056/32873624 swapFree=7104/7104
[pid=31589] ppid=31587 vsize=10132 CPUtime=0 cores=1,3,5,7
/proc/31589/stat : 31589 (scip-2.1.1.4fix) R 31587 31589 31545 0 -1 4202496 1267 0 0 0 0 0 0 0 20 0 1 0 267819082 10375168 1222 33554432000 4194304 10173063 140736972209552 140736976408520 7545739 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31589/statm: 2533 1222 413 1460 0 1064 0
[startup+0.0062021 s]
/proc/loadavg: 0.00 0.00 0.00 4/174 31589
/proc/meminfo: memFree=29223056/32873624 swapFree=7104/7104
[pid=31589] ppid=31587 vsize=10132 CPUtime=0 cores=1,3,5,7
/proc/31589/stat : 31589 (scip-2.1.1.4fix) R 31587 31589 31545 0 -1 4202496 1286 0 0 0 0 0 0 0 20 0 1 0 267819082 10375168 1240 33554432000 4194304 10173063 140736972209552 140736976408520 8800002 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31589/statm: 2533 1240 413 1460 0 1064 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10132
[startup+0.100131 s]
/proc/loadavg: 0.00 0.00 0.00 4/174 31589
/proc/meminfo: memFree=29223056/32873624 swapFree=7104/7104
[pid=31589] ppid=31587 vsize=30044 CPUtime=0.09 cores=1,3,5,7
/proc/31589/stat : 31589 (scip-2.1.1.4fix) R 31587 31589 31545 0 -1 4202496 6693 0 0 0 8 1 0 0 20 0 1 0 267819082 30765056 6350 33554432000 4194304 10173063 140736972209552 140736976408520 8800002 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31589/statm: 7544 6352 783 1460 0 6075 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30044
[startup+0.300208 s]
/proc/loadavg: 0.00 0.00 0.00 4/174 31589
/proc/meminfo: memFree=29223056/32873624 swapFree=7104/7104
[pid=31589] ppid=31587 vsize=47224 CPUtime=0.29 cores=1,3,5,7
/proc/31589/stat : 31589 (scip-2.1.1.4fix) R 31587 31589 31545 0 -1 4202496 10704 0 0 0 27 2 0 0 20 0 1 0 267819082 48357376 10359 33554432000 4194304 10173063 140736972209552 140736976408520 8963895 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31589/statm: 11806 10359 827 1460 0 10337 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 47224
[startup+0.700121 s]
/proc/loadavg: 0.00 0.00 0.00 4/174 31589
/proc/meminfo: memFree=29223056/32873624 swapFree=7104/7104
[pid=31589] ppid=31587 vsize=47392 CPUtime=0.69 cores=1,3,5,7
/proc/31589/stat : 31589 (scip-2.1.1.4fix) R 31587 31589 31545 0 -1 4202496 10749 0 0 0 67 2 0 0 20 0 1 0 267819082 48529408 10404 33554432000 4194304 10173063 140736972209552 140736972203000 8982074 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31589/statm: 11848 10404 832 1460 0 10379 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47392
[startup+1.5001 s]
/proc/loadavg: 0.00 0.00 0.00 3/175 31590
/proc/meminfo: memFree=29162620/32873624 swapFree=7104/7104
[pid=31589] ppid=31587 vsize=47392 CPUtime=1.49 cores=1,3,5,7
/proc/31589/stat : 31589 (scip-2.1.1.4fix) R 31587 31589 31545 0 -1 4202496 10749 0 0 0 147 2 0 0 20 0 1 0 267819082 48529408 10404 33554432000 4194304 10173063 140736972209552 140736972203000 8982074 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31589/statm: 11848 10404 832 1460 0 10379 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47392
[startup+3.1001 s]
/proc/loadavg: 0.00 0.00 0.00 3/175 31590
/proc/meminfo: memFree=29162248/32873624 swapFree=7104/7104
[pid=31589] ppid=31587 vsize=47392 CPUtime=3.09 cores=1,3,5,7
/proc/31589/stat : 31589 (scip-2.1.1.4fix) R 31587 31589 31545 0 -1 4202496 10751 0 0 0 306 3 0 0 20 0 1 0 267819082 48529408 10406 33554432000 4194304 10173063 140736972209552 140736972203000 8982074 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31589/statm: 11848 10406 834 1460 0 10379 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47392
[startup+6.30018 s]
/proc/loadavg: 0.16 0.03 0.01 3/175 31590
/proc/meminfo: memFree=29162128/32873624 swapFree=7104/7104
[pid=31589] ppid=31587 vsize=47392 CPUtime=6.28 cores=1,3,5,7
/proc/31589/stat : 31589 (scip-2.1.1.4fix) R 31587 31589 31545 0 -1 4202496 10752 0 0 0 623 5 0 0 20 0 1 0 267819082 48529408 10407 33554432000 4194304 10173063 140736972209552 140736972203464 7684736 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31589/statm: 11848 10407 835 1460 0 10379 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 47392
[startup+12.7002 s]
/proc/loadavg: 0.31 0.07 0.02 3/175 31590
/proc/meminfo: memFree=29161752/32873624 swapFree=7104/7104
[pid=31589] ppid=31587 vsize=47392 CPUtime=12.68 cores=1,3,5,7
/proc/31589/stat : 31589 (scip-2.1.1.4fix) R 31587 31589 31545 0 -1 4202496 10753 0 0 0 1259 9 0 0 20 0 1 0 267819082 48529408 10408 33554432000 4194304 10173063 140736972209552 140736972203192 8982074 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31589/statm: 11848 10408 836 1460 0 10379 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 47392
[startup+25.5002 s]
/proc/loadavg: 0.68 0.16 0.05 3/175 31590
/proc/meminfo: memFree=29160232/32873624 swapFree=7104/7104
[pid=31589] ppid=31587 vsize=47392 CPUtime=25.48 cores=1,3,5,7
/proc/31589/stat : 31589 (scip-2.1.1.4fix) R 31587 31589 31545 0 -1 4202496 10754 0 0 0 2526 22 0 0 20 0 1 0 267819082 48529408 10409 33554432000 4194304 10173063 140736972209552 140736972202904 8982074 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31589/statm: 11848 10409 836 1460 0 10379 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 47392
[startup+51.1003 s]
/proc/loadavg: 1.13 0.31 0.10 3/175 31590
/proc/meminfo: memFree=29156680/32873624 swapFree=7104/7104
[pid=31589] ppid=31587 vsize=47392 CPUtime=51.05 cores=1,3,5,7
/proc/31589/stat : 31589 (scip-2.1.1.4fix) R 31587 31589 31545 0 -1 4202496 10844 0 0 0 5059 46 0 0 20 0 1 0 267819082 48529408 11145 33554432000 4194304 10173063 140736972209552 140736972202536 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31589/statm: 11848 11145 836 1460 0 10379 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 47392
[startup+102.3 s]
/proc/loadavg: 1.62 0.56 0.20 3/175 31590
/proc/meminfo: memFree=29156956/32873624 swapFree=7104/7104
[pid=31589] ppid=31587 vsize=47392 CPUtime=102.24 cores=1,3,5,7
/proc/31589/stat : 31589 (scip-2.1.1.4fix) R 31587 31589 31545 0 -1 4202496 10844 0 0 0 10137 87 0 0 20 0 1 0 267819082 48529408 11145 33554432000 4194304 10173063 140736972209552 140736972203272 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31589/statm: 11848 11145 836 1460 0 10379 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 47392
[startup+162.3 s]
/proc/loadavg: 1.90 0.84 0.31 3/175 31590
/proc/meminfo: memFree=29157120/32873624 swapFree=7104/7104
[pid=31589] ppid=31587 vsize=47392 CPUtime=162.24 cores=1,3,5,7
/proc/31589/stat : 31589 (scip-2.1.1.4fix) R 31587 31589 31545 0 -1 4202496 10844 0 0 0 16085 139 0 0 20 0 1 0 267819082 48529408 11145 33554432000 4194304 10173063 140736972209552 140736972202408 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31589/statm: 11848 11145 836 1460 0 10379 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 47392
[startup+222.3 s]
/proc/loadavg: 1.96 1.05 0.42 3/175 31591
/proc/meminfo: memFree=29157156/32873624 swapFree=7104/7104
[pid=31589] ppid=31587 vsize=47392 CPUtime=222.22 cores=1,3,5,7
/proc/31589/stat : 31589 (scip-2.1.1.4fix) R 31587 31589 31545 0 -1 4202496 10846 0 0 0 22028 194 0 0 20 0 1 0 267819082 48529408 11147 33554432000 4194304 10173063 140736972209552 140736972203224 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31589/statm: 11848 11147 838 1460 0 10379 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 47392
Solver just ended. Dumping a history of the last processes samples
[startup+224.2 s]
/proc/loadavg: 1.96 1.05 0.42 3/175 31591
/proc/meminfo: memFree=29157156/32873624 swapFree=7104/7104
[pid=31589] ppid=31587 vsize=47392 CPUtime=224.12 cores=1,3,5,7
/proc/31589/stat : 31589 (scip-2.1.1.4fix) R 31587 31589 31545 0 -1 4202496 10846 0 0 0 22217 195 0 0 20 0 1 0 267819082 48529408 11147 33554432000 4194304 10173063 140736972209552 140736972203384 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31589/statm: 11848 11147 838 1460 0 10379 0
Current children cumulated CPU time (s) 224.12
Current children cumulated vsize (KiB) 47392
[startup+225 s]
/proc/loadavg: 1.96 1.05 0.42 3/175 31591
/proc/meminfo: memFree=29157160/32873624 swapFree=7104/7104
[pid=31589] ppid=31587 vsize=47392 CPUtime=224.92 cores=1,3,5,7
/proc/31589/stat : 31589 (scip-2.1.1.4fix) R 31587 31589 31545 0 -1 4202496 10846 0 0 0 22296 196 0 0 20 0 1 0 267819082 48529408 11147 33554432000 4194304 10173063 140736972209552 140736972202168 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31589/statm: 11848 11147 838 1460 0 10379 0
Current children cumulated CPU time (s) 224.92
Current children cumulated vsize (KiB) 47392
[startup+225.806 s]
/proc/loadavg: 1.96 1.06 0.43 3/175 31591
/proc/meminfo: memFree=29157160/32873624 swapFree=7104/7104
[pid=31589] ppid=31587 vsize=47392 CPUtime=225.73 cores=1,3,5,7
/proc/31589/stat : 31589 (scip-2.1.1.4fix) R 31587 31589 31545 0 -1 4202496 10846 0 0 0 22376 197 0 0 20 0 1 0 267819082 48529408 11147 33554432000 4194304 10173063 140736972209552 140736972202168 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31589/statm: 11848 11147 838 1460 0 10379 0
Current children cumulated CPU time (s) 225.73
Current children cumulated vsize (KiB) 47392
[startup+226.2 s]
/proc/loadavg: 1.96 1.06 0.43 3/175 31591
/proc/meminfo: memFree=29157160/32873624 swapFree=7104/7104
[pid=31589] ppid=31587 vsize=47392 CPUtime=226.12 cores=1,3,5,7
/proc/31589/stat : 31589 (scip-2.1.1.4fix) R 31587 31589 31545 0 -1 4202496 10846 0 0 0 22415 197 0 0 20 0 1 0 267819082 48529408 11147 33554432000 4194304 10173063 140736972209552 140736972202856 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31589/statm: 11848 11147 838 1460 0 10379 0
Current children cumulated CPU time (s) 226.12
Current children cumulated vsize (KiB) 47392
[startup+226.3 s]
/proc/loadavg: 1.96 1.06 0.43 3/175 31591
/proc/meminfo: memFree=29157160/32873624 swapFree=7104/7104
[pid=31589] ppid=31587 vsize=45980 CPUtime=226.22 cores=1,3,5,7
/proc/31589/stat : 31589 (scip-2.1.1.4fix) R 31587 31589 31545 0 -1 4202496 10849 0 0 0 22425 197 0 0 20 0 1 0 267819082 47083520 10797 33554432000 4194304 10173063 140736972209552 140736972202856 7550192 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31589/statm: 11495 10797 841 1460 0 10026 0
Current children cumulated CPU time (s) 226.22
Current children cumulated vsize (KiB) 45980
Child status: 0
Real time (s): 226.312
CPU time (s): 226.244
CPU user time (s): 224.266
CPU system time (s): 1.9777
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 47392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 224.266
system time used= 1.9777
maximum resident set size= 44600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10851
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= 17
involuntary context switches= 373
runsolver used 0.375942 second user time and 0.904862 second system time
The end