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: 947bdb7-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-3691576-1338021946.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.05 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.04/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.04/0.06 c presolving (4 rounds):
0.04/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.04/0.06 c 242 implications, 22 cliques
0.04/0.06 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2443 constraints
0.04/0.06 c 1 constraints of type <knapsack>
0.04/0.06 c 22 constraints of type <setppc>
0.04/0.06 c 2420 constraints of type <logicor>
0.04/0.06 c transformed objective value is always integral (scale: 1)
0.04/0.06 c Presolving Time: 0.05
0.04/0.06 c - non default parameters ----------------------------------------------------------------------
0.04/0.06 c # SCIP version 2.1.1.4
0.04/0.06 c
0.04/0.06 c # maximal time in seconds to run
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.06 c limits/time = 1797
0.04/0.06 c
0.04/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.06 c limits/memory = 13950
0.04/0.06 c
0.04/0.06 c # solving stops, if the given number of solutions were found (-1: no limit)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.04/0.06 c limits/solutions = 1
0.04/0.06 c
0.04/0.06 c # maximal number of separation rounds per node (-1: unlimited)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 5]
0.04/0.06 c separating/maxrounds = 1
0.04/0.06 c
0.04/0.06 c # maximal number of separation rounds in the root node (-1: unlimited)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.04/0.06 c separating/maxroundsroot = 5
0.04/0.06 c
0.04/0.06 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.04/0.06 c # [type: int, range: [1,2], default: 1]
0.04/0.06 c timing/clocktype = 2
0.04/0.06 c
0.04/0.06 c # belongs reading time to solving time?
0.04/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.06 c timing/reading = TRUE
0.04/0.06 c
0.04/0.06 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.04/0.06 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.04/0.06 c constraints/knapsack/disaggregation = FALSE
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.04/0.06 c heuristics/coefdiving/freq = -1
0.04/0.06 c
0.04/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.04/0.06 c heuristics/coefdiving/maxlpiterquot = 0.075
0.04/0.06 c
0.04/0.06 c # additional number of allowed LP iterations
0.04/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.06 c heuristics/coefdiving/maxlpiterofs = 1500
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 30]
0.04/0.06 c heuristics/crossover/freq = -1
0.04/0.06 c
0.04/0.06 c # number of nodes added to the contingent of the total nodes
0.04/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.04/0.06 c heuristics/crossover/nodesofs = 750
0.04/0.06 c
0.04/0.06 c # number of nodes without incumbent change that heuristic should wait
0.04/0.06 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.04/0.06 c heuristics/crossover/nwaitingnodes = 100
0.04/0.06 c
0.04/0.06 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.04/0.06 c # [type: real, range: [0,1], default: 0.1]
0.04/0.06 c heuristics/crossover/nodesquot = 0.15
0.04/0.06 c
0.04/0.06 c # minimum percentage of integer variables that have to be fixed
0.04/0.06 c # [type: real, range: [0,1], default: 0.666]
0.04/0.06 c heuristics/crossover/minfixingrate = 0.5
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.04/0.06 c heuristics/feaspump/freq = -1
0.04/0.06 c
0.04/0.06 c # additional number of allowed LP iterations
0.04/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.06 c heuristics/feaspump/maxlpiterofs = 2000
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.04/0.06 c heuristics/fracdiving/freq = -1
0.04/0.06 c
0.04/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.04/0.06 c heuristics/fracdiving/maxlpiterquot = 0.075
0.04/0.06 c
0.04/0.06 c # additional number of allowed LP iterations
0.04/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.06 c heuristics/fracdiving/maxlpiterofs = 1500
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.04/0.06 c heuristics/guideddiving/freq = -1
0.04/0.06 c
0.04/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.04/0.06 c heuristics/guideddiving/maxlpiterquot = 0.075
0.04/0.06 c
0.04/0.06 c # additional number of allowed LP iterations
0.04/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.06 c heuristics/guideddiving/maxlpiterofs = 1500
0.04/0.06 c
0.04/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.04/0.06 c heuristics/intdiving/maxlpiterquot = 0.075
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.04/0.06 c heuristics/intshifting/freq = -1
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.04/0.06 c heuristics/linesearchdiving/freq = -1
0.04/0.06 c
0.04/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.04/0.06 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.04/0.06 c
0.04/0.06 c # additional number of allowed LP iterations
0.04/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.06 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.04/0.06 c heuristics/objpscostdiving/freq = -1
0.04/0.06 c
0.04/0.06 c # maximal fraction of diving LP iterations compared to total iteration number
0.04/0.06 c # [type: real, range: [0,1], default: 0.01]
0.04/0.06 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.04/0.06 c
0.04/0.06 c # additional number of allowed LP iterations
0.04/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.06 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.04/0.06 c heuristics/oneopt/freq = -1
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.04/0.06 c heuristics/pscostdiving/freq = -1
0.04/0.06 c
0.04/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.04/0.06 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.04/0.06 c
0.04/0.06 c # additional number of allowed LP iterations
0.04/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.06 c heuristics/pscostdiving/maxlpiterofs = 1500
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.04/0.06 c heuristics/rens/freq = -1
0.04/0.06 c
0.04/0.06 c # minimum percentage of integer variables that have to be fixable
0.04/0.06 c # [type: real, range: [0,1], default: 0.5]
0.04/0.06 c heuristics/rens/minfixingrate = 0.3
0.04/0.06 c
0.04/0.06 c # number of nodes added to the contingent of the total nodes
0.04/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.04/0.06 c heuristics/rens/nodesofs = 2000
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.04/0.06 c heuristics/rootsoldiving/freq = -1
0.04/0.06 c
0.04/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.04/0.06 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.04/0.06 c
0.04/0.06 c # additional number of allowed LP iterations
0.04/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.06 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.04/0.06 c heuristics/rounding/freq = -1
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.04/0.06 c heuristics/shiftandpropagate/freq = -1
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.04/0.06 c heuristics/shifting/freq = -1
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.04/0.06 c heuristics/simplerounding/freq = -1
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.04/0.06 c heuristics/subnlp/freq = -1
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.04/0.06 c heuristics/trivial/freq = -1
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.04/0.06 c heuristics/trysol/freq = -1
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.04/0.06 c heuristics/undercover/freq = -1
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.04/0.06 c heuristics/veclendiving/freq = -1
0.04/0.06 c
0.04/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.04/0.06 c heuristics/veclendiving/maxlpiterquot = 0.075
0.04/0.06 c
0.04/0.06 c # additional number of allowed LP iterations
0.04/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.06 c heuristics/veclendiving/maxlpiterofs = 1500
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.04/0.06 c heuristics/zirounding/freq = -1
0.04/0.06 c
0.04/0.06 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.04/0.06 c propagating/probing/maxprerounds = 0
0.04/0.06 c
0.04/0.06 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.04/0.06 c separating/cmir/freq = -1
0.04/0.06 c
0.04/0.06 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.04/0.06 c separating/flowcover/freq = -1
0.04/0.06 c
0.04/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.04/0.06 c separating/rapidlearning/freq = 0
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.04/0.06 c heuristics/indoneopt/freq = -1
0.04/0.06 c
0.04/0.06 c -----------------------------------------------------------------------------------------------
0.04/0.06 c start solving
0.04/0.06 c
0.04/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.04/0.07 c 0.1s| 1 | 0 | 76 | - |4259k| 0 | 36 | 231 |2443 | 231 |2443 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.21 c 0.2s| 1 | 0 | 90 | - |4659k| 0 | 39 | 231 |2697 | 231 |2450 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.24 c 0.2s| 1 | 0 | 105 | - |4988k| 0 | 45 | 231 |2697 | 231 |2454 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.28 c 0.3s| 1 | 0 | 120 | - |5431k| 0 | 46 | 231 |2697 | 231 |2455 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.33 c 0.3s| 1 | 0 | 139 | - |5873k| 0 | 47 | 231 |2697 | 231 |2457 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.49 c 0.5s| 1 | 0 | 146 | - |6217k| 0 | 51 | 231 |2697 | 231 |2460 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.72 c 0.7s| 1 | 2 | 146 | - |6218k| 0 | 51 | 231 |2697 | 231 |2460 | 17 | 0 | 11 | 0.000000e+00 | -- | Inf
8.38/8.45 c 8.4s| 100 | 17 | 4731 | 46.3 |6366k| 14 | 29 | 231 |2710 | 231 |2453 | 17 | 14 |1524 | 0.000000e+00 | -- | Inf
9.79/9.84 c 9.8s| 200 | 30 | 6820 | 33.5 |6435k| 19 | 31 | 231 |2781 | 231 |2453 | 17 | 86 |1804 | 0.000000e+00 | -- | Inf
10.19/10.27 c 10.3s| 300 | 34 | 8658 | 28.5 |6472k| 23 | - | 231 |2828 | 231 |2453 | 17 | 133 |1854 | 0.000000e+00 | -- | Inf
10.48/10.58 c 10.6s| 400 | 34 | 10183 | 25.2 |6503k| 25 | - | 231 |2889 | 0 | 0 | 17 | 195 |1884 | 0.000000e+00 | -- | Inf
10.78/10.85 c 10.9s| 500 | 30 | 11598 | 22.9 |6510k| 25 | - | 231 |2941 | 231 |2453 | 17 | 247 |1907 | 0.000000e+00 | -- | Inf
11.08/11.13 c 11.1s| 600 | 32 | 13021 | 21.5 |6536k| 25 | - | 231 |2996 | 0 | 0 | 17 | 303 |1930 | 0.000000e+00 | -- | Inf
11.28/11.34 c 11.3s| 700 | 34 | 14372 | 20.4 |6563k| 25 | - | 231 |3059 | 0 | 0 | 17 | 367 |1937 | 0.000000e+00 | -- | Inf
11.48/11.57 c 11.6s| 800 | 34 | 15977 | 19.8 |6587k| 25 | - | 231 |3127 | 231 |2453 | 17 | 437 |1943 | 0.000000e+00 | -- | Inf
11.78/11.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.78/11.80 c 11.8s| 900 | 36 | 17617 | 19.4 |6613k| 25 | 28 | 231 |3193 | 231 |2453 | 17 | 505 |1948 | 0.000000e+00 | -- | Inf
11.99/12.04 c 12.0s| 1000 | 38 | 19397 | 19.3 |6658k| 25 | - | 231 |3278 | 231 |2453 | 17 | 593 |1956 | 0.000000e+00 | -- | Inf
12.28/12.35 c 12.4s| 1100 | 40 | 21335 | 19.3 |6687k| 25 | 33 | 231 |3357 | 231 |2453 | 17 | 675 |1973 | 0.000000e+00 | -- | Inf
12.58/12.64 c 12.6s| 1200 | 40 | 23230 | 19.3 |6708k| 28 | - | 231 |3416 | 231 |2453 | 17 | 739 |1986 | 0.000000e+00 | -- | Inf
12.89/12.92 c 12.9s| 1300 | 38 | 25096 | 19.2 |6736k| 28 | 30 | 231 |3502 | 231 |2453 | 17 | 825 |1998 | 0.000000e+00 | -- | Inf
13.09/13.13 c 13.1s| 1400 | 38 | 26756 | 19.0 |6777k| 28 | - | 231 |3582 | 0 | 0 | 17 | 913 |2000 | 0.000000e+00 | -- | Inf
13.28/13.36 c 13.4s| 1500 | 33 | 28338 | 18.8 |6792k| 28 | - | 231 |3649 | 231 |2453 | 17 | 980 |2004 | 0.000000e+00 | -- | Inf
13.48/13.58 c 13.6s| 1600 | 30 | 29981 | 18.7 |6808k| 28 | 36 | 231 |3718 | 231 |2453 | 17 |1053 |2006 | 0.000000e+00 | -- | Inf
13.88/13.93 c 13.9s| 1700 | 33 | 32131 | 18.8 |6841k| 28 | 30 | 231 |3775 | 231 |2453 | 17 |1120 |2024 | 0.000000e+00 | -- | Inf
14.19/14.23 c 14.2s| 1800 | 31 | 34287 | 19.0 |6858k| 28 | - | 231 |3831 | 231 |2453 | 17 |1187 |2033 | 0.000000e+00 | -- | Inf
14.48/14.50 c 14.5s| 1900 | 27 | 36404 | 19.1 |6868k| 28 | - | 231 |3884 | 231 |2453 | 17 |1252 |2037 | 0.000000e+00 | -- | Inf
14.68/14.76 c 14.8s| 2000 | 29 | 38209 | 19.0 |6893k| 28 | 35 | 231 |3945 | 231 |2453 | 17 |1326 |2042 | 0.000000e+00 | -- | Inf
14.98/15.00 c 15.0s| 2100 | 31 | 40169 | 19.1 |6928k| 28 | - | 231 |4013 | 231 |2453 | 17 |1405 |2043 | 0.000000e+00 | -- | Inf
15.18/15.25 c 15.2s| 2200 | 33 | 42128 | 19.1 |6958k| 28 | - | 231 |4081 | 231 |2453 | 17 |1480 |2045 | 0.000000e+00 | -- | Inf
15.39/15.48 c 15.5s| 2300 | 39 | 43948 | 19.1 |6988k| 28 | - | 231 |4131 | 231 |2453 | 17 |1535 |2046 | 0.000000e+00 | -- | Inf
15.68/15.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.68/15.74 c 15.7s| 2400 | 44 | 46013 | 19.1 |7015k| 28 | 35 | 231 |4186 | 231 |2453 | 17 |1594 |2049 | 0.000000e+00 | -- | Inf
15.88/15.98 c 16.0s| 2500 | 45 | 47954 | 19.1 |7040k| 30 | 35 | 231 |4239 | 231 |2453 | 17 |1649 |2049 | 0.000000e+00 | -- | Inf
16.18/16.20 c 16.2s| 2600 | 35 | 49616 | 19.0 |7042k| 32 | - | 231 |4301 | 231 |2453 | 17 |1718 |2049 | 0.000000e+00 | -- | Inf
16.39/16.41 c 16.4s| 2700 | 37 | 51175 | 18.9 |7064k| 32 | - | 231 |4349 | 231 |2453 | 17 |1782 |2049 | 0.000000e+00 | -- | Inf
16.58/16.65 c 16.7s| 2800 | 37 | 52737 | 18.8 |7079k| 32 | 32 | 231 |4396 | 231 |2453 | 17 |1843 |2059 | 0.000000e+00 | -- | Inf
16.88/16.98 c 17.0s| 2900 | 33 | 54814 | 18.9 |7098k| 32 | - | 231 |4460 | 231 |2453 | 17 |1919 |2079 | 0.000000e+00 | -- | Inf
17.18/17.25 c 17.2s| 3000 | 30 | 56419 | 18.8 |7114k| 32 | - | 231 |4511 | 231 |2453 | 17 |1978 |2090 | 0.000000e+00 | -- | Inf
17.48/17.51 c 17.5s| 3100 | 30 | 57983 | 18.7 |7132k| 32 | - | 231 |4574 | 231 |2453 | 17 |2047 |2106 | 0.000000e+00 | -- | Inf
17.68/17.77 c 17.8s| 3200 | 34 | 59522 | 18.6 |7161k| 32 | 25 | 231 |4633 | 231 |2453 | 17 |2117 |2121 | 0.000000e+00 | -- | Inf
17.98/18.04 c 18.0s| 3300 | 33 | 61082 | 18.5 |7178k| 32 | 26 | 231 |4686 | 231 |2453 | 17 |2179 |2142 | 0.000000e+00 | -- | Inf
18.28/18.32 c 18.3s| 3400 | 31 | 62986 | 18.5 |7197k| 32 | 22 | 231 |4739 | 231 |2453 | 17 |2240 |2156 | 0.000000e+00 | -- | Inf
18.59/18.61 c 18.6s| 3500 | 32 | 64854 | 18.5 |7214k| 32 | 34 | 231 |4790 | 231 |2453 | 17 |2312 |2168 | 0.000000e+00 | -- | Inf
18.88/18.90 c 18.9s| 3600 | 32 | 66906 | 18.5 |7239k| 32 | 33 | 231 |4843 | 231 |2453 | 17 |2376 |2177 | 0.000000e+00 | -- | Inf
19.08/19.16 c 19.2s| 3700 | 36 | 68849 | 18.6 |7265k| 32 | 29 | 231 |4886 | 231 |2453 | 17 |2434 |2183 | 0.000000e+00 | -- | Inf
19.28/19.38 c 19.4s| 3800 | 37 | 70575 | 18.5 |7287k| 32 | 17 | 231 |4939 | 231 |2453 | 17 |2494 |2185 | 0.000000e+00 | -- | Inf
19.48/19.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.48/19.59 c 19.6s| 3900 | 35 | 72214 | 18.5 |7298k| 32 | 27 | 231 |4994 | 231 |2453 | 17 |2556 |2185 | 0.000000e+00 | -- | Inf
19.79/19.83 c 19.8s| 4000 | 29 | 74007 | 18.5 |7294k| 32 | 40 | 231 |5046 | 231 |2453 | 17 |2612 |2190 | 0.000000e+00 | -- | Inf
19.98/20.08 c 20.1s| 4100 | 30 | 75730 | 18.4 |7312k| 32 | 42 | 231 |5071 | 231 |2453 | 17 |2672 |2195 | 0.000000e+00 | -- | Inf
20.28/20.32 c 20.3s| 4200 | 32 | 77584 | 18.4 |7342k| 32 | - | 231 |5108 | 231 |2453 | 17 |2735 |2195 | 0.000000e+00 | -- | Inf
20.48/20.58 c 20.6s| 4300 | 32 | 79671 | 18.5 |7360k| 32 | - | 231 |5159 | 231 |2453 | 17 |2802 |2196 | 0.000000e+00 | -- | Inf
20.79/20.82 c 20.8s| 4400 | 34 | 81488 | 18.5 |7388k| 32 | - | 231 |5207 | 231 |2453 | 17 |2867 |2198 | 0.000000e+00 | -- | Inf
20.98/21.06 c 21.1s| 4500 | 36 | 83434 | 18.5 |7406k| 32 | - | 231 |5244 | 231 |2453 | 17 |2926 |2198 | 0.000000e+00 | -- | Inf
21.18/21.28 c 21.3s| 4600 | 35 | 85191 | 18.5 |7413k| 32 | 37 | 231 |5281 | 231 |2453 | 17 |2982 |2198 | 0.000000e+00 | -- | Inf
21.48/21.53 c 21.5s| 4700 | 37 | 87120 | 18.5 |7437k| 32 | - | 231 |5319 | 231 |2453 | 17 |3043 |2198 | 0.000000e+00 | -- | Inf
21.58/21.68 c 21.7s| 4800 | 38 | 88258 | 18.4 |7455k| 32 | 23 | 231 |5378 | 231 |2453 | 17 |3110 |2198 | 0.000000e+00 | -- | Inf
21.78/21.90 c 21.9s| 4900 | 39 | 89986 | 18.3 |7473k| 32 | 30 | 231 |5426 | 231 |2453 | 17 |3163 |2198 | 0.000000e+00 | -- | Inf
22.08/22.17 c 22.2s| 5000 | 33 | 91735 | 18.3 |7482k| 32 | - | 231 |5475 | 231 |2453 | 17 |3228 |2208 | 0.000000e+00 | -- | Inf
22.38/22.45 c 22.5s| 5100 | 35 | 93729 | 18.4 |7506k| 32 | 24 | 231 |5525 | 231 |2453 | 17 |3283 |2217 | 0.000000e+00 | -- | Inf
22.68/22.74 c 22.7s| 5200 | 33 | 95560 | 18.4 |7521k| 32 | 38 | 231 |5578 | 231 |2453 | 17 |3348 |2231 | 0.000000e+00 | -- | Inf
22.99/23.04 c 23.0s| 5300 | 38 | 97378 | 18.3 |7548k| 32 | 27 | 231 |5611 | 231 |2453 | 17 |3399 |2247 | 0.000000e+00 | -- | Inf
23.18/23.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.18/23.29 c 23.3s| 5400 | 39 | 98819 | 18.3 |7571k| 32 | 16 | 231 |5660 | 231 |2453 | 17 |3462 |2263 | 0.000000e+00 | -- | Inf
23.38/23.49 c 23.5s| 5500 | 40 |100021 | 18.2 |7593k| 32 | 29 | 231 |5711 | 231 |2453 | 17 |3524 |2272 | 0.000000e+00 | -- | Inf
23.68/23.78 c 23.8s| 5600 | 33 |101723 | 18.1 |7585k| 33 | 38 | 231 |5756 | 231 |2453 | 17 |3585 |2289 | 0.000000e+00 | -- | Inf
23.98/24.10 c 24.1s| 5700 | 38 |103779 | 18.2 |7602k| 33 | 42 | 231 |5763 | 231 |2453 | 17 |3645 |2305 | 0.000000e+00 | -- | Inf
24.38/24.43 c 24.4s| 5800 | 38 |105907 | 18.2 |7609k| 33 | 34 | 231 |5777 | 231 |2453 | 17 |3699 |2318 | 0.000000e+00 | -- | Inf
24.68/24.75 c 24.7s| 5900 | 36 |107866 | 18.3 |7623k| 33 | 40 | 231 |5800 | 231 |2453 | 17 |3758 |2334 | 0.000000e+00 | -- | Inf
24.98/25.01 c 25.0s| 6000 | 40 |109774 | 18.3 |7650k| 33 | 35 | 231 |5835 | 231 |2453 | 17 |3823 |2339 | 0.000000e+00 | -- | Inf
25.18/25.28 c 25.3s| 6100 | 41 |111679 | 18.3 |7666k| 33 | 35 | 231 |5861 | 231 |2453 | 17 |3886 |2345 | 0.000000e+00 | -- | Inf
25.48/25.52 c 25.5s| 6200 | 42 |113391 | 18.3 |7688k| 33 | - | 231 |5908 | 231 |2453 | 17 |3950 |2349 | 0.000000e+00 | -- | Inf
25.68/25.74 c 25.7s| 6300 | 42 |115107 | 18.3 |7702k| 33 | 31 | 231 |5957 | 231 |2453 | 17 |4006 |2349 | 0.000000e+00 | -- | Inf
25.88/25.97 c 26.0s| 6400 | 41 |116674 | 18.2 |7721k| 33 | 36 | 231 |6002 | 231 |2453 | 17 |4092 |2353 | 0.000000e+00 | -- | Inf
26.08/26.19 c 26.2s| 6500 | 43 |118308 | 18.2 |7738k| 33 | 37 | 231 |6032 | 231 |2453 | 17 |4159 |2355 | 0.000000e+00 | -- | Inf
26.38/26.43 c 26.4s| 6600 | 43 |120185 | 18.2 |7763k| 33 | - | 231 |6059 | 231 |2453 | 17 |4225 |2355 | 0.000000e+00 | -- | Inf
26.57/26.64 c 26.6s| 6700 | 43 |121867 | 18.2 |7777k| 33 | 44 | 231 |6116 | 231 |2453 | 17 |4287 |2355 | 0.000000e+00 | -- | Inf
26.78/26.84 c 26.8s| 6800 | 44 |123350 | 18.1 |7808k| 36 | - | 231 |6163 | 231 |2453 | 17 |4345 |2356 | 0.000000e+00 | -- | Inf
26.97/27.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.97/27.05 c 27.0s| 6900 | 44 |124910 | 18.1 |7824k| 36 | - | 231 |6208 | 231 |2453 | 17 |4396 |2356 | 0.000000e+00 | -- | Inf
27.28/27.31 c 27.3s| 7000 | 48 |126862 | 18.1 |7840k| 36 | - | 231 |6210 | 231 |2453 | 17 |4446 |2356 | 0.000000e+00 | -- | Inf
27.48/27.55 c 27.5s| 7100 | 49 |128750 | 18.1 |7847k| 36 | - | 231 |6228 | 231 |2453 | 17 |4507 |2356 | 0.000000e+00 | -- | Inf
27.67/27.79 c 27.8s| 7200 | 51 |130624 | 18.1 |7867k| 36 | - | 231 |6257 | 231 |2453 | 17 |4553 |2356 | 0.000000e+00 | -- | Inf
27.98/28.04 c 28.0s| 7300 | 52 |132624 | 18.2 |7893k| 36 | - | 231 |6289 | 231 |2453 | 17 |4619 |2356 | 0.000000e+00 | -- | Inf
28.18/28.26 c 28.3s| 7400 | 55 |134318 | 18.1 |7922k| 36 | - | 231 |6349 | 231 |2453 | 17 |4691 |2356 | 0.000000e+00 | -- | Inf
28.38/28.46 c 28.5s| 7500 | 57 |135861 | 18.1 |7944k| 36 | 33 | 231 |6409 | 231 |2453 | 17 |4757 |2356 | 0.000000e+00 | -- | Inf
28.68/28.74 c 28.7s| 7600 | 51 |137444 | 18.1 |7942k| 36 | 39 | 231 |6457 | 231 |2453 | 17 |4817 |2371 | 0.000000e+00 | -- | Inf
28.88/29.00 c 29.0s| 7700 | 56 |139009 | 18.0 |7988k| 36 | - | 231 |6529 | 0 | 0 | 17 |4891 |2383 | 0.000000e+00 | -- | Inf
29.18/29.22 c 29.2s| 7800 | 55 |140380 | 18.0 |8007k| 38 | 30 | 231 |6599 | 231 |2453 | 17 |4964 |2392 | 0.000000e+00 | -- | Inf
29.47/29.53 c 29.5s| 7900 | 50 |142082 | 18.0 |8014k| 38 | - | 231 |6639 | 231 |2453 | 17 |5030 |2411 | 0.000000e+00 | -- | Inf
29.78/29.80 c 29.8s| 8000 | 50 |143836 | 18.0 |8025k| 38 | 34 | 231 |6667 | 231 |2453 | 17 |5091 |2420 | 0.000000e+00 | -- | Inf
29.97/30.09 c 30.1s| 8100 | 50 |145756 | 18.0 |8051k| 38 | - | 231 |6716 | 231 |2453 | 17 |5159 |2429 | 0.000000e+00 | -- | Inf
30.38/30.42 c 30.4s| 8200 | 50 |147794 | 18.0 |8060k| 38 | 24 | 231 |6733 | 231 |2453 | 17 |5217 |2446 | 0.000000e+00 | -- | Inf
30.68/30.73 c 30.7s| 8300 | 52 |149815 | 18.0 |8073k| 38 | 26 | 231 |6764 | 231 |2453 | 17 |5285 |2462 | 0.000000e+00 | -- | Inf
30.98/31.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.98/31.04 c 31.0s| 8400 | 49 |151754 | 18.1 |8088k| 38 | - | 231 |6819 | 231 |2453 | 17 |5351 |2479 | 0.000000e+00 | -- | Inf
31.28/31.33 c 31.3s| 8500 | 51 |153654 | 18.1 |8106k| 38 | 37 | 231 |6850 | 231 |2453 | 17 |5409 |2491 | 0.000000e+00 | -- | Inf
31.58/31.65 c 31.7s| 8600 | 51 |155818 | 18.1 |8111k| 38 | 38 | 231 |6888 | 231 |2453 | 17 |5476 |2505 | 0.000000e+00 | -- | Inf
31.88/31.93 c 31.9s| 8700 | 53 |157804 | 18.1 |8130k| 38 | 34 | 231 |6926 | 231 |2453 | 17 |5531 |2513 | 0.000000e+00 | -- | Inf
32.18/32.21 c 32.2s| 8800 | 55 |159726 | 18.1 |8153k| 38 | 16 | 231 |6967 | 231 |2453 | 17 |5596 |2519 | 0.000000e+00 | -- | Inf
32.48/32.50 c 32.5s| 8900 | 49 |161765 | 18.2 |8154k| 38 | - | 231 |6984 | 231 |2453 | 17 |5661 |2525 | 0.000000e+00 | -- | Inf
32.68/32.74 c 32.7s| 9000 | 50 |163618 | 18.2 |8170k| 38 | 31 | 231 |7030 | 231 |2453 | 17 |5738 |2527 | 0.000000e+00 | -- | Inf
32.88/32.98 c 33.0s| 9100 | 54 |165373 | 18.2 |8193k| 38 | 27 | 231 |7034 | 231 |2453 | 17 |5797 |2529 | 0.000000e+00 | -- | Inf
33.18/33.20 c 33.2s| 9200 | 52 |166997 | 18.1 |8219k| 38 | - | 231 |7089 | 231 |2453 | 17 |5863 |2529 | 0.000000e+00 | -- | Inf
33.38/33.40 c 33.4s| 9300 | 50 |168436 | 18.1 |8229k| 38 | - | 231 |7141 | 231 |2453 | 17 |5942 |2529 | 0.000000e+00 | -- | Inf
33.57/33.62 c 33.6s| 9400 | 52 |170021 | 18.1 |8252k| 38 | 35 | 231 |7206 | 231 |2453 | 17 |6021 |2531 | 0.000000e+00 | -- | Inf
33.78/33.86 c 33.9s| 9500 | 51 |171693 | 18.1 |8264k| 38 | 31 | 231 |7255 | 231 |2453 | 17 |6093 |2534 | 0.000000e+00 | -- | Inf
33.98/34.10 c 34.1s| 9600 | 53 |173527 | 18.1 |8292k| 38 | 26 | 231 |7308 | 231 |2453 | 17 |6168 |2536 | 0.000000e+00 | -- | Inf
34.17/34.29 c 34.3s| 9700 | 54 |174878 | 18.0 |8322k| 38 | - | 231 |7372 | 0 | 0 | 17 |6253 |2538 | 0.000000e+00 | -- | Inf
34.48/34.52 c 34.5s| 9800 | 56 |176803 | 18.0 |8337k| 38 | - | 231 |7405 | 231 |2453 | 17 |6317 |2539 | 0.000000e+00 | -- | Inf
34.68/34.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.68/34.75 c 34.7s| 9900 | 58 |178682 | 18.0 |8364k| 38 | - | 231 |7464 | 231 |2453 | 17 |6390 |2539 | 0.000000e+00 | -- | Inf
34.87/34.98 c 35.0s| 10000 | 53 |180484 | 18.0 |8379k| 38 | - | 231 |7530 | 231 |2453 | 17 |6471 |2539 | 0.000000e+00 | -- | Inf
35.18/35.21 c 35.2s| 10100 | 51 |182269 | 18.0 |8399k| 38 | - | 231 |7598 | 231 |2453 | 17 |6553 |2539 | 0.000000e+00 | -- | Inf
35.37/35.41 c 35.4s| 10200 | 50 |183769 | 18.0 |8420k| 38 | - | 231 |7667 | 231 |2453 | 17 |6635 |2539 | 0.000000e+00 | -- | Inf
35.58/35.64 c 35.6s| 10300 | 50 |185541 | 18.0 |8391k| 38 | 32 | 231 |7629 | 231 |2453 | 17 |6691 |2539 | 0.000000e+00 | -- | Inf
35.88/35.90 c 35.9s| 10400 | 50 |187628 | 18.0 |8402k| 38 | 32 | 231 |7640 | 231 |2453 | 17 |6745 |2539 | 0.000000e+00 | -- | Inf
36.07/36.14 c 36.1s| 10500 | 48 |189617 | 18.0 |8416k| 38 | - | 231 |7682 | 231 |2453 | 17 |6805 |2539 | 0.000000e+00 | -- | Inf
36.29/36.38 c 36.4s| 10600 | 50 |191550 | 18.1 |8437k| 38 | 30 | 231 |7732 | 231 |2453 | 17 |6866 |2539 | 0.000000e+00 | -- | Inf
36.58/36.60 c 36.6s| 10700 | 49 |193262 | 18.0 |8451k| 38 | - | 231 |7783 | 231 |2453 | 17 |6937 |2539 | 0.000000e+00 | -- | Inf
36.78/36.82 c 36.8s| 10800 | 49 |194900 | 18.0 |8476k| 38 | - | 231 |7843 | 231 |2453 | 17 |7007 |2539 | 0.000000e+00 | -- | Inf
36.97/37.04 c 37.0s| 10900 | 51 |196640 | 18.0 |8490k| 38 | 34 | 231 |7882 | 231 |2453 | 17 |7059 |2539 | 0.000000e+00 | -- | Inf
37.18/37.25 c 37.2s| 11000 | 47 |198301 | 18.0 |8513k| 38 | - | 231 |7946 | 231 |2453 | 17 |7132 |2539 | 0.000000e+00 | -- | Inf
37.38/37.49 c 37.5s| 11100 | 49 |200300 | 18.0 |8535k| 38 | 42 | 231 |8011 | 231 |2453 | 17 |7210 |2539 | 0.000000e+00 | -- | Inf
37.67/37.73 c 37.7s| 11200 | 57 |202325 | 18.1 |8581k| 38 | 31 | 231 |8071 | 231 |2453 | 17 |7275 |2539 | 0.000000e+00 | -- | Inf
37.88/37.97 c 38.0s| 11300 | 61 |204252 | 18.1 |8610k| 38 | 28 | 231 |8128 | 231 |2453 | 17 |7348 |2539 | 0.000000e+00 | -- | Inf
38.17/38.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.17/38.21 c 38.2s| 11400 | 56 |206112 | 18.1 |8631k| 38 | - | 231 |8200 | 231 |2453 | 17 |7427 |2539 | 0.000000e+00 | -- | Inf
38.39/38.45 c 38.5s| 11500 | 61 |208060 | 18.1 |8658k| 38 | 38 | 231 |8252 | 231 |2453 | 17 |7491 |2539 | 0.000000e+00 | -- | Inf
38.58/38.67 c 38.7s| 11600 | 65 |209717 | 18.1 |8693k| 38 | 26 | 231 |8319 | 231 |2453 | 17 |7560 |2539 | 0.000000e+00 | -- | Inf
38.78/38.89 c 38.9s| 11700 | 59 |211428 | 18.1 |8711k| 38 | - | 231 |8393 | 231 |2453 | 17 |7641 |2539 | 0.000000e+00 | -- | Inf
39.08/39.13 c 39.1s| 11800 | 60 |213218 | 18.1 |8750k| 38 | - | 231 |8469 | 231 |2453 | 17 |7721 |2539 | 0.000000e+00 | -- | Inf
39.28/39.36 c 39.4s| 11900 | 55 |215108 | 18.1 |8773k| 38 | - | 231 |8546 | 231 |2453 | 17 |7802 |2539 | 0.000000e+00 | -- | Inf
39.48/39.60 c 39.6s| 12000 | 54 |216893 | 18.1 |8774k| 38 | 39 | 231 |8558 | 231 |2453 | 17 |7862 |2539 | 0.000000e+00 | -- | Inf
39.77/39.81 c 39.8s| 12100 | 55 |218438 | 18.0 |8796k| 38 | - | 231 |8549 | 0 | 0 | 17 |7932 |2539 | 0.000000e+00 | -- | Inf
39.98/40.04 c 40.0s| 12200 | 56 |220308 | 18.0 |8785k| 38 | 27 | 231 |8528 | 231 |2453 | 17 |7986 |2539 | 0.000000e+00 | -- | Inf
40.18/40.25 c 40.2s| 12300 | 57 |221878 | 18.0 |8795k| 38 | 26 | 231 |8527 | 231 |2453 | 17 |8046 |2539 | 0.000000e+00 | -- | Inf
40.37/40.44 c 40.4s| 12400 | 54 |223253 | 18.0 |8798k| 38 | - | 231 |8529 | 231 |2453 | 17 |8104 |2539 | 0.000000e+00 | -- | Inf
40.59/40.66 c 40.7s| 12500 | 54 |224917 | 18.0 |8800k| 38 | 33 | 231 |8545 | 231 |2453 | 17 |8151 |2539 | 0.000000e+00 | -- | Inf
40.77/40.88 c 40.9s| 12600 | 52 |226662 | 18.0 |8806k| 38 | - | 231 |8565 | 231 |2453 | 17 |8203 |2539 | 0.000000e+00 | -- | Inf
41.08/41.10 c 41.1s| 12700 | 56 |228252 | 18.0 |8830k| 38 | - | 231 |8589 | 231 |2453 | 17 |8257 |2539 | 0.000000e+00 | -- | Inf
41.28/41.33 c 41.3s| 12800 | 62 |230029 | 18.0 |8860k| 38 | - | 231 |8623 | 0 | 0 | 17 |8312 |2539 | 0.000000e+00 | -- | Inf
41.47/41.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.47/41.56 c 41.6s| 12900 | 60 |231809 | 18.0 |8862k| 38 | 36 | 231 |8657 | 231 |2453 | 17 |8363 |2539 | 0.000000e+00 | -- | Inf
41.78/41.80 c 41.8s| 13000 | 59 |233691 | 18.0 |8870k| 38 | - | 231 |8672 | 231 |2453 | 17 |8416 |2539 | 0.000000e+00 | -- | Inf
41.97/42.04 c 42.0s| 13100 | 55 |235418 | 18.0 |8871k| 38 | 34 | 231 |8697 | 231 |2453 | 17 |8470 |2539 | 0.000000e+00 | -- | Inf
42.17/42.26 c 42.3s| 13200 | 55 |237114 | 18.0 |8886k| 38 | 35 | 231 |8732 | 231 |2453 | 17 |8523 |2539 | 0.000000e+00 | -- | Inf
42.38/42.47 c 42.5s| 13300 | 57 |238696 | 17.9 |8931k| 38 | - | 231 |8771 | 0 | 0 | 17 |8591 |2539 | 0.000000e+00 | -- | Inf
42.67/42.72 c 42.7s| 13400 | 64 |240616 | 17.9 |8957k| 38 | - | 231 |8759 | 0 | 0 | 17 |8652 |2539 | 0.000000e+00 | -- | Inf
42.88/42.94 c 42.9s| 13500 | 63 |242185 | 17.9 |8978k| 38 | - | 231 |8796 | 231 |2453 | 17 |8725 |2539 | 0.000000e+00 | -- | Inf
43.07/43.16 c 43.2s| 13600 | 71 |243949 | 17.9 |9010k| 38 | 28 | 231 |8817 | 231 |2453 | 17 |8795 |2539 | 0.000000e+00 | -- | Inf
43.28/43.38 c 43.4s| 13700 | 67 |245654 | 17.9 |9026k| 40 | - | 231 |8851 | 231 |2453 | 17 |8863 |2539 | 0.000000e+00 | -- | Inf
43.58/43.60 c 43.6s| 13800 | 70 |247327 | 17.9 |9038k| 40 | 31 | 231 |8876 | 231 |2453 | 17 |8918 |2539 | 0.000000e+00 | -- | Inf
43.78/43.81 c 43.8s| 13900 | 70 |248976 | 17.9 |9059k| 40 | - | 231 |8908 | 231 |2453 | 17 |8973 |2539 | 0.000000e+00 | -- | Inf
43.98/44.03 c 44.0s| 14000 | 74 |250639 | 17.9 |9097k| 40 | - | 231 |8962 | 231 |2453 | 17 |9036 |2539 | 0.000000e+00 | -- | Inf
44.17/44.23 c 44.2s| 14100 | 70 |252038 | 17.9 |9113k| 41 | - | 231 |9016 | 0 | 0 | 17 |9099 |2539 | 0.000000e+00 | -- | Inf
44.38/44.45 c 44.4s| 14200 | 70 |253672 | 17.9 |9133k| 41 | 29 | 231 |9071 | 231 |2453 | 17 |9159 |2539 | 0.000000e+00 | -- | Inf
44.58/44.67 c 44.7s| 14300 | 70 |255420 | 17.9 |9155k| 41 | 20 | 231 |9121 | 231 |2453 | 17 |9215 |2539 | 0.000000e+00 | -- | Inf
44.77/44.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
44.77/44.88 c 44.9s| 14400 | 67 |257066 | 17.8 |9172k| 41 | 39 | 231 |9177 | 231 |2453 | 17 |9281 |2539 | 0.000000e+00 | -- | Inf
44.98/45.09 c 45.1s| 14500 | 67 |258636 | 17.8 |9187k| 41 | 36 | 231 |9214 | 231 |2453 | 17 |9337 |2539 | 0.000000e+00 | -- | Inf
45.28/45.33 c 45.3s| 14600 | 64 |260403 | 17.8 |9207k| 41 | 38 | 231 |9253 | 231 |2453 | 17 |9399 |2539 | 0.000000e+00 | -- | Inf
45.47/45.56 c 45.6s| 14700 | 62 |262193 | 17.8 |9215k| 41 | - | 231 |9268 | 231 |2453 | 17 |9472 |2539 | 0.000000e+00 | -- | Inf
45.67/45.78 c 45.8s| 14800 | 58 |263802 | 17.8 |9230k| 41 | - | 231 |9304 | 231 |2453 | 17 |9547 |2539 | 0.000000e+00 | -- | Inf
45.97/46.00 c 46.0s| 14900 | 58 |265401 | 17.8 |9231k| 41 | - | 231 |9313 | 231 |2453 | 17 |9601 |2539 | 0.000000e+00 | -- | Inf
46.18/46.23 c 46.2s| 15000 | 58 |267193 | 17.8 |9239k| 41 | - | 231 |9306 | 231 |2453 | 17 |9677 |2539 | 0.000000e+00 | -- | Inf
46.37/46.44 c 46.4s| 15100 | 60 |268661 | 17.8 |9238k| 41 | 30 | 231 |9297 | 231 |2453 | 17 |9738 |2539 | 0.000000e+00 | -- | Inf
46.58/46.68 c 46.7s| 15200 | 58 |270458 | 17.8 |9243k| 41 | 30 | 231 |9304 | 231 |2453 | 17 |9794 |2539 | 0.000000e+00 | -- | Inf
46.87/46.93 c 46.9s| 15300 | 58 |272391 | 17.8 |9240k| 41 | 34 | 231 |9291 | 231 |2453 | 17 |9854 |2539 | 0.000000e+00 | -- | Inf
47.08/47.19 c 47.2s| 15400 | 54 |274447 | 17.8 |9222k| 41 | 36 | 231 |9279 | 231 |2453 | 17 |9918 |2539 | 0.000000e+00 | -- | Inf
47.37/47.44 c 47.4s| 15500 | 54 |276373 | 17.8 |9228k| 41 | 22 | 231 |9300 | 231 |2453 | 17 |9982 |2539 | 0.000000e+00 | -- | Inf
47.57/47.68 c 47.7s| 15600 | 56 |278248 | 17.8 |9247k| 41 | - | 231 |9309 | 231 |2453 | 17 | 10k|2539 | 0.000000e+00 | -- | Inf
47.88/47.93 c 47.9s| 15700 | 56 |280220 | 17.8 |9249k| 41 | 23 | 231 |9330 | 231 |2453 | 17 | 10k|2539 | 0.000000e+00 | -- | Inf
48.07/48.16 c 48.2s| 15800 | 54 |281920 | 17.8 |9258k| 41 | 36 | 231 |9368 | 231 |2453 | 17 | 10k|2539 | 0.000000e+00 | -- | Inf
48.38/48.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.38/48.41 c 48.4s| 15900 | 52 |283847 | 17.8 |9264k| 41 | 25 | 231 |9368 | 231 |2453 | 17 | 10k|2539 | 0.000000e+00 | -- | Inf
48.57/48.62 c 48.6s| 16000 | 49 |285403 | 17.8 |9254k| 41 | 37 | 231 |9356 | 231 |2453 | 17 | 10k|2539 | 0.000000e+00 | -- | Inf
48.78/48.86 c 48.9s| 16100 | 49 |287182 | 17.8 |9268k| 41 | 40 | 231 |9322 | 231 |2453 | 17 | 10k|2539 | 0.000000e+00 | -- | Inf
48.98/49.09 c 49.1s| 16200 | 49 |288833 | 17.8 |9271k| 41 | 26 | 231 |9295 | 231 |2453 | 17 | 10k|2539 | 0.000000e+00 | -- | Inf
49.17/49.27 c 49.3s| 16300 | 49 |290108 | 17.8 |9272k| 41 | - | 231 |9282 | 231 |2453 | 17 | 10k|2539 | 0.000000e+00 | -- | Inf
49.39/49.45 c 49.5s| 16400 | 50 |291344 | 17.8 |9267k| 41 | 32 | 231 |9268 | 231 |2453 | 17 | 10k|2539 | 0.000000e+00 | -- | Inf
49.57/49.69 c 49.7s| 16500 | 48 |293144 | 17.8 |9259k| 41 | 39 | 231 |9268 | 231 |2453 | 17 | 10k|2539 | 0.000000e+00 | -- | Inf
49.77/49.88 c 49.9s| 16600 | 49 |294475 | 17.7 |9270k| 41 | - | 231 |9276 | 231 |2453 | 17 | 10k|2539 | 0.000000e+00 | -- | Inf
50.08/50.11 c 50.1s| 16700 | 51 |296341 | 17.7 |9279k| 41 | 23 | 231 |9288 | 231 |2453 | 17 | 10k|2539 | 0.000000e+00 | -- | Inf
50.28/50.36 c 50.4s| 16800 | 49 |298235 | 17.7 |9269k| 41 | 39 | 231 |9277 | 231 |2453 | 17 | 10k|2539 | 0.000000e+00 | -- | Inf
50.48/50.59 c 50.6s| 16900 | 49 |299946 | 17.7 |9287k| 41 | 30 | 231 |9273 | 231 |2453 | 17 | 10k|2539 | 0.000000e+00 | -- | Inf
50.77/50.81 c 50.8s| 17000 | 49 |301532 | 17.7 |9292k| 41 | - | 231 |9264 | 231 |2453 | 17 | 10k|2539 | 0.000000e+00 | -- | Inf
50.97/51.04 c 51.0s| 17100 | 49 |303279 | 17.7 |9299k| 41 | 32 | 231 |9293 | 231 |2453 | 17 | 10k|2539 | 0.000000e+00 | -- | Inf
51.18/51.27 c 51.3s| 17200 | 49 |305088 | 17.7 |9297k| 41 | 32 | 231 |9282 | 231 |2453 | 17 | 11k|2539 | 0.000000e+00 | -- | Inf
51.47/51.52 c 51.5s| 17300 | 47 |307130 | 17.7 |9313k| 41 | - | 231 |9339 | 231 |2453 | 17 | 11k|2539 | 0.000000e+00 | -- | Inf
51.69/51.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.69/51.78 c 51.8s| 17400 | 50 |309250 | 17.8 |9330k| 41 | 28 | 231 |9366 | 231 |2453 | 17 | 11k|2539 | 0.000000e+00 | -- | Inf
51.97/52.00 c 52.0s| 17500 | 50 |310969 | 17.8 |9346k| 41 | - | 231 |9407 | 231 |2453 | 17 | 11k|2539 | 0.000000e+00 | -- | Inf
52.18/52.24 c 52.2s| 17600 | 50 |312849 | 17.8 |9364k| 41 | - | 231 |9456 | 231 |2453 | 17 | 11k|2539 | 0.000000e+00 | -- | Inf
52.37/52.46 c 52.5s| 17700 | 50 |314584 | 17.8 |9374k| 41 | 36 | 231 |9510 | 231 |2453 | 17 | 11k|2539 | 0.000000e+00 | -- | Inf
52.57/52.70 c 52.7s| 17800 | 50 |316480 | 17.8 |9401k| 41 | - | 231 |9574 | 231 |2453 | 17 | 11k|2539 | 0.000000e+00 | -- | Inf
52.88/52.96 c 53.0s| 17900 | 50 |318505 | 17.8 |9409k| 41 | 39 | 231 |9618 | 231 |2453 | 17 | 11k|2539 | 0.000000e+00 | -- | Inf
53.17/53.22 c 53.2s| 18000 | 54 |320592 | 17.8 |9441k| 41 | 26 | 231 |9671 | 231 |2453 | 17 | 11k|2539 | 0.000000e+00 | -- | Inf
53.37/53.46 c 53.5s| 18100 | 52 |322531 | 17.8 |9473k| 41 | - | 231 |9755 | 231 |2453 | 17 | 11k|2539 | 0.000000e+00 | -- | Inf
53.68/53.72 c 53.7s| 18200 | 52 |324609 | 17.8 |9501k| 41 | - | 231 |9833 | 231 |2453 | 17 | 11k|2539 | 0.000000e+00 | -- | Inf
53.88/53.98 c 54.0s| 18300 | 52 |326758 | 17.8 |9528k| 41 | - | 231 |9910 | 231 |2453 | 17 | 11k|2539 | 0.000000e+00 | -- | Inf
54.17/54.26 c 54.3s| 18400 | 52 |329066 | 17.9 |9562k| 41 | - | 231 |9998 | 231 |2453 | 17 | 11k|2539 | 0.000000e+00 | -- | Inf
54.48/54.54 c 54.5s| 18500 | 52 |331453 | 17.9 |9583k| 41 | - | 231 | 10k| 231 |2453 | 17 | 12k|2539 | 0.000000e+00 | -- | Inf
54.67/54.76 c 54.8s| 18600 | 52 |333161 | 17.9 |9610k| 41 | - | 231 | 10k| 231 |2453 | 17 | 12k|2539 | 0.000000e+00 | -- | Inf
54.88/55.00 c 55.0s| 18700 | 50 |335046 | 17.9 |9631k| 41 | 24 | 231 | 10k| 231 |2453 | 17 | 12k|2539 | 0.000000e+00 | -- | Inf
55.18/55.23 c 55.2s| 18800 | 50 |336850 | 17.9 |9669k| 41 | - | 231 | 10k| 231 |2453 | 17 | 12k|2539 | 0.000000e+00 | -- | Inf
55.48/55.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.48/55.50 c 55.5s| 18900 | 52 |339077 | 17.9 |9705k| 41 | 26 | 231 | 10k| 231 |2453 | 17 | 12k|2539 | 0.000000e+00 | -- | Inf
55.67/55.75 c 55.8s| 19000 | 51 |341049 | 17.9 |9727k| 41 | 35 | 231 | 10k| 231 |2453 | 17 | 12k|2539 | 0.000000e+00 | -- | Inf
55.98/56.01 c 56.0s| 19100 | 47 |343002 | 18.0 |9746k| 41 | - | 231 | 10k| 231 |2453 | 17 | 12k|2539 | 0.000000e+00 | -- | Inf
56.17/56.24 c 56.2s| 19200 | 49 |344811 | 18.0 |9783k| 41 | - | 231 | 10k| 231 |2453 | 17 | 12k|2539 | 0.000000e+00 | -- | Inf
56.37/56.49 c 56.5s| 19300 | 48 |346661 | 18.0 |9784k| 41 | 28 | 231 | 10k| 231 |2453 | 17 | 12k|2539 | 0.000000e+00 | -- | Inf
56.68/56.72 c 56.7s| 19400 | 48 |348439 | 18.0 |9801k| 41 | 36 | 231 | 10k| 231 |2453 | 17 | 12k|2539 | 0.000000e+00 | -- | Inf
56.88/56.97 c 57.0s| 19500 | 48 |350249 | 18.0 |9806k| 41 | 35 | 231 | 10k| 231 |2453 | 17 | 12k|2539 | 0.000000e+00 | -- | Inf
57.18/57.22 c 57.2s| 19600 | 48 |352197 | 18.0 |9816k| 41 | - | 231 | 10k| 231 |2453 | 17 | 12k|2539 | 0.000000e+00 | -- | Inf
57.38/57.46 c 57.5s| 19700 | 48 |354051 | 18.0 |9835k| 41 | - | 231 | 10k| 231 |2453 | 17 | 12k|2539 | 0.000000e+00 | -- | Inf
57.57/57.68 c 57.7s| 19800 | 48 |355743 | 18.0 |9841k| 41 | 31 | 231 | 10k| 231 |2453 | 17 | 12k|2539 | 0.000000e+00 | -- | Inf
57.88/57.91 c 57.9s| 19900 | 48 |357584 | 18.0 |9855k| 41 | 34 | 231 | 10k| 231 |2453 | 17 | 12k|2539 | 0.000000e+00 | -- | Inf
58.07/58.17 c 58.2s| 20000 | 50 |359622 | 18.0 |9871k| 41 | 37 | 231 | 10k| 231 |2453 | 17 | 13k|2539 | 0.000000e+00 | -- | Inf
58.37/58.43 c 58.4s| 20100 | 50 |361547 | 18.0 |9868k| 41 | 33 | 231 | 10k| 231 |2453 | 17 | 13k|2539 | 0.000000e+00 | -- | Inf
58.57/58.68 c 58.7s| 20200 | 50 |363395 | 18.0 |9853k| 41 | - | 231 | 10k| 231 |2453 | 17 | 13k|2539 | 0.000000e+00 | -- | Inf
58.88/58.95 c 58.9s| 20300 | 48 |365459 | 18.0 |9819k| 41 | - | 231 | 10k| 231 |2453 | 17 | 13k|2539 | 0.000000e+00 | -- | Inf
59.07/59.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
59.07/59.19 c 59.2s| 20400 | 48 |367134 | 18.0 |9777k| 41 | 45 | 231 | 10k| 231 |2453 | 17 | 13k|2539 | 0.000000e+00 | -- | Inf
59.38/59.43 c 59.4s| 20500 | 46 |368893 | 18.0 |9754k| 41 | - | 231 | 10k| 231 |2453 | 17 | 13k|2539 | 0.000000e+00 | -- | Inf
59.57/59.69 c 59.7s| 20600 | 50 |370991 | 18.0 |9745k| 41 | 31 | 231 | 10k| 231 |2453 | 17 | 13k|2539 | 0.000000e+00 | -- | Inf
59.87/59.94 c 59.9s| 20700 | 50 |372905 | 18.0 |9755k| 41 | 20 | 231 | 10k| 231 |2453 | 17 | 13k|2539 | 0.000000e+00 | -- | Inf
60.08/60.15 c 60.1s| 20800 | 51 |374552 | 18.0 |9769k| 41 | 32 | 231 | 10k| 231 |2453 | 17 | 13k|2539 | 0.000000e+00 | -- | Inf
60.28/60.36 c 60.4s| 20900 | 50 |376173 | 18.0 |9781k| 41 | 38 | 231 | 10k| 231 |2453 | 17 | 13k|2539 | 0.000000e+00 | -- | Inf
60.48/60.58 c 60.6s| 21000 | 49 |377877 | 18.0 |9789k| 41 | - | 231 | 10k| 231 |2453 | 17 | 13k|2539 | 0.000000e+00 | -- | Inf
60.77/60.80 c 60.8s| 21100 | 49 |379639 | 18.0 |9793k| 41 | 37 | 231 | 10k| 231 |2453 | 17 | 13k|2539 | 0.000000e+00 | -- | Inf
60.97/61.01 c 61.0s| 21200 | 49 |381151 | 18.0 |9810k| 41 | 34 | 231 | 10k| 231 |2453 | 17 | 13k|2539 | 0.000000e+00 | -- | Inf
61.18/61.23 c 61.2s| 21300 | 51 |382831 | 18.0 |9828k| 41 | 31 | 231 | 10k| 231 |2453 | 17 | 13k|2539 | 0.000000e+00 | -- | Inf
61.37/61.47 c 61.5s| 21400 | 49 |384736 | 18.0 |9843k| 41 | - | 231 | 10k| 231 |2453 | 17 | 13k|2539 | 0.000000e+00 | -- | Inf
61.58/61.67 c 61.7s| 21500 | 49 |386242 | 18.0 |9860k| 41 | 30 | 231 | 10k| 231 |2453 | 17 | 13k|2539 | 0.000000e+00 | -- | Inf
61.88/61.92 c 61.9s| 21600 | 49 |388170 | 18.0 |9881k| 41 | - | 231 | 10k| 231 |2453 | 17 | 13k|2539 | 0.000000e+00 | -- | Inf
62.07/62.17 c 62.2s| 21700 | 49 |390206 | 18.0 |9896k| 41 | 35 | 231 | 10k| 231 |2453 | 17 | 14k|2539 | 0.000000e+00 | -- | Inf
62.38/62.46 c 62.5s| 21800 | 46 |392107 | 18.0 |9890k| 41 | - | 231 | 10k| 0 | 0 | 17 | 14k|2548 | 0.000000e+00 | -- | Inf
62.68/62.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.68/62.70 c 62.7s| 21900 | 49 |393519 | 18.0 |9901k| 41 | 39 | 231 | 10k| 231 |2453 | 17 | 14k|2557 | 0.000000e+00 | -- | Inf
62.98/63.00 c 63.0s| 22000 | 47 |394991 | 17.9 |9912k| 41 | 27 | 231 | 10k| 231 |2453 | 17 | 14k|2575 | 0.000000e+00 | -- | Inf
63.17/63.23 c 63.2s| 22100 | 51 |396558 | 17.9 |9935k| 41 | 30 | 231 | 10k| 231 |2453 | 17 | 14k|2578 | 0.000000e+00 | -- | Inf
63.47/63.55 c 63.5s| 22200 | 49 |398341 | 17.9 |9953k| 41 | - | 231 | 10k| 231 |2453 | 17 | 14k|2599 | 0.000000e+00 | -- | Inf
63.78/63.80 c 63.8s| 22300 | 49 |400065 | 17.9 |9964k| 41 | 36 | 231 | 10k| 231 |2453 | 17 | 14k|2606 | 0.000000e+00 | -- | Inf
63.98/64.08 c 64.1s| 22400 | 47 |401676 | 17.9 |9982k| 41 | - | 231 | 10k| 231 |2453 | 17 | 14k|2618 | 0.000000e+00 | -- | Inf
64.27/64.34 c 64.3s| 22500 | 47 |403337 | 17.9 | 10M| 41 | - | 231 | 10k| 231 |2453 | 17 | 14k|2628 | 0.000000e+00 | -- | Inf
64.57/64.63 c 64.6s| 22600 | 49 |405078 | 17.9 | 10M| 41 | - | 231 | 10k| 231 |2453 | 17 | 14k|2643 | 0.000000e+00 | -- | Inf
64.88/64.90 c 64.9s| 22700 | 49 |406727 | 17.9 | 10M| 41 | 29 | 231 | 10k| 231 |2453 | 17 | 14k|2655 | 0.000000e+00 | -- | Inf
65.07/65.16 c 65.2s| 22800 | 48 |408221 | 17.9 | 10M| 41 | - | 231 | 10k| 231 |2453 | 17 | 14k|2669 | 0.000000e+00 | -- | Inf
65.37/65.45 c 65.5s| 22900 | 49 |409999 | 17.9 | 10M| 41 | 30 | 231 | 10k| 231 |2453 | 17 | 14k|2681 | 0.000000e+00 | -- | Inf
65.67/65.76 c 65.8s| 23000 | 48 |411717 | 17.9 | 10M| 41 | 36 | 231 | 10k| 231 |2453 | 17 | 14k|2697 | 0.000000e+00 | -- | Inf
65.98/66.01 c 66.0s| 23100 | 51 |413411 | 17.9 | 10M| 41 | 22 | 231 | 10k| 231 |2453 | 17 | 14k|2704 | 0.000000e+00 | -- | Inf
66.17/66.25 c 66.2s| 23200 | 50 |414771 | 17.9 | 10M| 41 | 22 | 231 | 10k| 231 |2453 | 17 | 14k|2715 | 0.000000e+00 | -- | Inf
66.37/66.49 c 66.5s| 23300 | 48 |416297 | 17.9 | 10M| 41 | - | 231 | 10k| 231 |2453 | 17 | 14k|2723 | 0.000000e+00 | -- | Inf
66.67/66.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.67/66.71 c 66.7s| 23400 | 49 |417700 | 17.8 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 15k|2728 | 0.000000e+00 | -- | Inf
66.87/66.92 c 66.9s| 23500 | 49 |419255 | 17.8 | 10M| 41 | 33 | 231 | 11k| 231 |2453 | 17 | 15k|2730 | 0.000000e+00 | -- | Inf
67.08/67.15 c 67.1s| 23600 | 46 |420822 | 17.8 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 15k|2732 | 0.000000e+00 | -- | Inf
67.27/67.39 c 67.4s| 23700 | 47 |422398 | 17.8 | 10M| 41 | 32 | 231 | 11k| 231 |2453 | 17 | 15k|2735 | 0.000000e+00 | -- | Inf
67.57/67.63 c 67.6s| 23800 | 49 |424173 | 17.8 | 10M| 41 | 32 | 231 | 10k| 231 |2453 | 17 | 15k|2736 | 0.000000e+00 | -- | Inf
67.78/67.85 c 67.8s| 23900 | 47 |425739 | 17.8 | 10M| 41 | 36 | 231 | 10k| 231 |2453 | 17 | 15k|2736 | 0.000000e+00 | -- | Inf
67.97/68.06 c 68.1s| 24000 | 47 |427285 | 17.8 | 10M| 41 | 32 | 231 | 10k| 231 |2453 | 17 | 15k|2739 | 0.000000e+00 | -- | Inf
68.27/68.30 c 68.3s| 24100 | 49 |428996 | 17.8 | 10M| 41 | 34 | 231 | 10k| 231 |2453 | 17 | 15k|2741 | 0.000000e+00 | -- | Inf
68.47/68.52 c 68.5s| 24200 | 49 |430580 | 17.8 | 10M| 41 | - | 231 | 10k| 0 | 0 | 17 | 15k|2742 | 0.000000e+00 | -- | Inf
68.67/68.77 c 68.8s| 24300 | 49 |432397 | 17.8 | 10M| 41 | - | 231 | 10k| 231 |2453 | 17 | 15k|2743 | 0.000000e+00 | -- | Inf
68.97/69.00 c 69.0s| 24400 | 49 |434214 | 17.8 | 10M| 41 | 22 | 231 | 10k| 231 |2453 | 17 | 15k|2743 | 0.000000e+00 | -- | Inf
69.18/69.24 c 69.2s| 24500 | 47 |436096 | 17.8 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 15k|2743 | 0.000000e+00 | -- | Inf
69.37/69.45 c 69.4s| 24600 | 50 |437696 | 17.8 | 10M| 41 | 32 | 231 | 11k| 231 |2453 | 17 | 15k|2743 | 0.000000e+00 | -- | Inf
69.57/69.67 c 69.7s| 24700 | 55 |439432 | 17.8 | 10M| 41 | 31 | 231 | 11k| 231 |2453 | 17 | 15k|2743 | 0.000000e+00 | -- | Inf
69.87/69.92 c 69.9s| 24800 | 49 |441331 | 17.8 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 15k|2743 | 0.000000e+00 | -- | Inf
70.07/70.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.07/70.16 c 70.2s| 24900 | 48 |443207 | 17.8 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 15k|2743 | 0.000000e+00 | -- | Inf
70.28/70.38 c 70.4s| 25000 | 48 |444934 | 17.8 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 16k|2743 | 0.000000e+00 | -- | Inf
70.58/70.60 c 70.6s| 25100 | 55 |446580 | 17.8 | 10M| 41 | 33 | 231 | 11k| 231 |2453 | 17 | 16k|2743 | 0.000000e+00 | -- | Inf
70.77/70.83 c 70.8s| 25200 | 49 |448036 | 17.8 | 10M| 41 | 33 | 231 | 11k| 231 |2453 | 17 | 16k|2752 | 0.000000e+00 | -- | Inf
71.08/71.15 c 71.1s| 25300 | 49 |449980 | 17.8 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 16k|2769 | 0.000000e+00 | -- | Inf
71.38/71.46 c 71.5s| 25400 | 49 |452095 | 17.8 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 16k|2780 | 0.000000e+00 | -- | Inf
71.67/71.75 c 71.7s| 25500 | 51 |453957 | 17.8 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 16k|2791 | 0.000000e+00 | -- | Inf
72.08/72.10 c 72.1s| 25600 | 49 |456004 | 17.8 | 10M| 41 | 27 | 231 | 11k| 231 |2453 | 17 | 16k|2811 | 0.000000e+00 | -- | Inf
72.27/72.35 c 72.4s| 25700 | 47 |457750 | 17.8 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 16k|2817 | 0.000000e+00 | -- | Inf
72.58/72.62 c 72.6s| 25800 | 47 |459352 | 17.8 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 16k|2831 | 0.000000e+00 | -- | Inf
72.78/72.88 c 72.9s| 25900 | 47 |460919 | 17.8 | 10M| 41 | 37 | 231 | 11k| 231 |2453 | 17 | 16k|2842 | 0.000000e+00 | -- | Inf
73.07/73.18 c 73.2s| 26000 | 49 |462904 | 17.8 | 10M| 41 | 34 | 231 | 11k| 231 |2453 | 17 | 16k|2853 | 0.000000e+00 | -- | Inf
73.37/73.42 c 73.4s| 26100 | 51 |464397 | 17.8 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 16k|2863 | 0.000000e+00 | -- | Inf
73.58/73.68 c 73.7s| 26200 | 52 |465961 | 17.8 | 10M| 41 | 25 | 231 | 11k| 231 |2453 | 17 | 16k|2874 | 0.000000e+00 | -- | Inf
73.87/73.95 c 74.0s| 26300 | 50 |467800 | 17.8 | 10M| 41 | 32 | 231 | 11k| 231 |2453 | 17 | 16k|2883 | 0.000000e+00 | -- | Inf
74.17/74.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
74.17/74.24 c 74.2s| 26400 | 46 |469687 | 17.8 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 16k|2895 | 0.000000e+00 | -- | Inf
74.48/74.55 c 74.5s| 26500 | 47 |471561 | 17.8 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 16k|2907 | 0.000000e+00 | -- | Inf
74.78/74.82 c 74.8s| 26600 | 47 |473332 | 17.8 | 10M| 41 | 20 | 231 | 11k| 231 |2453 | 17 | 17k|2916 | 0.000000e+00 | -- | Inf
75.07/75.10 c 75.1s| 26700 | 48 |475179 | 17.8 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 17k|2925 | 0.000000e+00 | -- | Inf
75.27/75.38 c 75.4s| 26800 | 48 |476990 | 17.8 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 17k|2937 | 0.000000e+00 | -- | Inf
75.47/75.59 c 75.6s| 26900 | 47 |478345 | 17.8 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 17k|2943 | 0.000000e+00 | -- | Inf
75.77/75.81 c 75.8s| 27000 | 46 |479852 | 17.8 | 10M| 41 | 38 | 231 | 11k| 231 |2453 | 17 | 17k|2948 | 0.000000e+00 | -- | Inf
75.98/76.08 c 76.1s| 27100 | 44 |481631 | 17.8 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 17k|2958 | 0.000000e+00 | -- | Inf
76.27/76.33 c 76.3s| 27200 | 44 |483380 | 17.8 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 17k|2960 | 0.000000e+00 | -- | Inf
76.47/76.53 c 76.5s| 27300 | 46 |484853 | 17.8 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 17k|2962 | 0.000000e+00 | -- | Inf
76.67/76.76 c 76.8s| 27400 | 46 |486573 | 17.8 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 17k|2963 | 0.000000e+00 | -- | Inf
76.87/77.00 c 77.0s| 27500 | 45 |488461 | 17.8 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 17k|2963 | 0.000000e+00 | -- | Inf
77.07/77.19 c 77.2s| 27600 | 45 |489844 | 17.7 | 10M| 41 | 26 | 231 | 11k| 231 |2453 | 17 | 17k|2963 | 0.000000e+00 | -- | Inf
77.37/77.41 c 77.4s| 27700 | 49 |491384 | 17.7 | 10M| 41 | 40 | 231 | 11k| 231 |2453 | 17 | 17k|2963 | 0.000000e+00 | -- | Inf
77.58/77.62 c 77.6s| 27800 | 44 |492918 | 17.7 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 17k|2963 | 0.000000e+00 | -- | Inf
77.87/77.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.87/77.92 c 77.9s| 27900 | 41 |495170 | 17.7 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 17k|2965 | 0.000000e+00 | -- | Inf
78.08/78.16 c 78.2s| 28000 | 42 |496914 | 17.7 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 17k|2965 | 0.000000e+00 | -- | Inf
78.27/78.39 c 78.4s| 28100 | 40 |498587 | 17.7 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 17k|2965 | 0.000000e+00 | -- | Inf
78.57/78.66 c 78.7s| 28200 | 46 |500785 | 17.8 | 10M| 41 | 23 | 231 | 11k| 231 |2453 | 17 | 18k|2965 | 0.000000e+00 | -- | Inf
78.87/78.90 c 78.9s| 28300 | 41 |502627 | 17.8 | 10M| 41 | - | 231 | 11k| 0 | 0 | 17 | 18k|2965 | 0.000000e+00 | -- | Inf
79.07/79.16 c 79.2s| 28400 | 43 |504608 | 17.8 | 10M| 41 | - | 231 | 10k| 231 |2453 | 17 | 18k|2965 | 0.000000e+00 | -- | Inf
79.27/79.36 c 79.4s| 28500 | 44 |506030 | 17.8 | 10M| 41 | - | 231 | 10k| 231 |2453 | 17 | 18k|2965 | 0.000000e+00 | -- | Inf
79.57/79.60 c 79.6s| 28600 | 46 |507840 | 17.8 | 10M| 41 | - | 231 | 10k| 231 |2453 | 17 | 18k|2965 | 0.000000e+00 | -- | Inf
79.77/79.82 c 79.8s| 28700 | 44 |509461 | 17.7 | 10M| 41 | - | 231 | 10k| 231 |2453 | 17 | 18k|2965 | 0.000000e+00 | -- | Inf
79.98/80.09 c 80.1s| 28800 | 47 |511006 | 17.7 | 10M| 41 | - | 231 | 10k| 231 |2453 | 17 | 18k|2977 | 0.000000e+00 | -- | Inf
80.28/80.31 c 80.3s| 28900 | 49 |512660 | 17.7 | 10M| 41 | 38 | 231 | 10k| 231 |2453 | 17 | 18k|2977 | 0.000000e+00 | -- | Inf
80.47/80.59 c 80.6s| 29000 | 49 |514238 | 17.7 | 10M| 41 | - | 231 | 10k| 231 |2453 | 17 | 18k|2989 | 0.000000e+00 | -- | Inf
80.67/80.80 c 80.8s| 29100 | 51 |515795 | 17.7 | 10M| 41 | 30 | 231 | 10k| 231 |2453 | 17 | 18k|2989 | 0.000000e+00 | -- | Inf
80.97/81.08 c 81.1s| 29200 | 51 |517647 | 17.7 | 10M| 41 | - | 231 | 10k| 231 |2453 | 17 | 18k|2999 | 0.000000e+00 | -- | Inf
81.28/81.35 c 81.4s| 29300 | 53 |519435 | 17.7 | 10M| 41 | 29 | 231 | 10k| 231 |2453 | 17 | 18k|3008 | 0.000000e+00 | -- | Inf
81.57/81.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.57/81.66 c 81.7s| 29400 | 51 |521228 | 17.7 | 10M| 41 | - | 231 | 10k| 231 |2453 | 17 | 18k|3026 | 0.000000e+00 | -- | Inf
81.87/81.94 c 81.9s| 29500 | 47 |523152 | 17.7 | 10M| 41 | - | 231 | 10k| 231 |2453 | 17 | 18k|3033 | 0.000000e+00 | -- | Inf
82.17/82.26 c 82.3s| 29600 | 50 |525232 | 17.7 | 10M| 41 | 24 | 231 | 10k| 231 |2453 | 17 | 18k|3047 | 0.000000e+00 | -- | Inf
82.48/82.51 c 82.5s| 29700 | 48 |526849 | 17.7 | 10M| 41 | - | 231 | 10k| 231 |2453 | 17 | 18k|3057 | 0.000000e+00 | -- | Inf
82.67/82.77 c 82.8s| 29800 | 49 |528498 | 17.7 | 10M| 41 | - | 231 | 10k| 231 |2453 | 17 | 18k|3067 | 0.000000e+00 | -- | Inf
82.97/83.02 c 83.0s| 29900 | 49 |530102 | 17.7 | 10M| 41 | 37 | 231 | 11k| 231 |2453 | 17 | 18k|3078 | 0.000000e+00 | -- | Inf
83.27/83.34 c 83.3s| 30000 | 47 |532230 | 17.7 | 10M| 41 | 36 | 231 | 11k| 231 |2453 | 17 | 19k|3092 | 0.000000e+00 | -- | Inf
83.58/83.61 c 83.6s| 30100 | 51 |533993 | 17.7 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 19k|3105 | 0.000000e+00 | -- | Inf
83.77/83.89 c 83.9s| 30200 | 49 |535737 | 17.7 | 10M| 41 | 31 | 231 | 11k| 231 |2453 | 17 | 19k|3117 | 0.000000e+00 | -- | Inf
84.07/84.17 c 84.2s| 30300 | 48 |537477 | 17.7 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 19k|3131 | 0.000000e+00 | -- | Inf
84.37/84.48 c 84.5s| 30400 | 48 |539237 | 17.7 | 10M| 41 | 41 | 231 | 11k| 231 |2453 | 17 | 19k|3151 | 0.000000e+00 | -- | Inf
84.68/84.77 c 84.8s| 30500 | 49 |541006 | 17.7 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 19k|3164 | 0.000000e+00 | -- | Inf
84.97/85.03 c 85.0s| 30600 | 53 |542920 | 17.7 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 19k|3170 | 0.000000e+00 | -- | Inf
85.17/85.26 c 85.3s| 30700 | 51 |544624 | 17.7 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 19k|3170 | 0.000000e+00 | -- | Inf
85.47/85.51 c 85.5s| 30800 | 57 |546524 | 17.7 | 10M| 41 | 29 | 231 | 11k| 231 |2453 | 17 | 19k|3173 | 0.000000e+00 | -- | Inf
85.68/85.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
85.68/85.77 c 85.8s| 30900 | 49 |548461 | 17.7 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 19k|3174 | 0.000000e+00 | -- | Inf
85.97/86.00 c 86.0s| 31000 | 53 |550146 | 17.7 | 10M| 41 | 41 | 231 | 11k| 231 |2453 | 17 | 19k|3177 | 0.000000e+00 | -- | Inf
86.17/86.27 c 86.3s| 31100 | 58 |552093 | 17.7 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 19k|3181 | 0.000000e+00 | -- | Inf
86.47/86.51 c 86.5s| 31200 | 59 |553817 | 17.7 | 10M| 41 | - | 231 | 11k| 0 | 0 | 17 | 19k|3184 | 0.000000e+00 | -- | Inf
86.67/86.77 c 86.8s| 31300 | 57 |555638 | 17.7 | 10M| 41 | 27 | 231 | 11k| 231 |2453 | 17 | 19k|3188 | 0.000000e+00 | -- | Inf
86.97/87.06 c 87.1s| 31400 | 55 |557412 | 17.7 | 10M| 41 | 31 | 231 | 11k| 231 |2453 | 17 | 19k|3197 | 0.000000e+00 | -- | Inf
87.27/87.32 c 87.3s| 31500 | 55 |559443 | 17.8 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 19k|3197 | 0.000000e+00 | -- | Inf
87.57/87.60 c 87.6s| 31600 | 55 |561517 | 17.8 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 19k|3198 | 0.000000e+00 | -- | Inf
87.77/87.84 c 87.8s| 31700 | 57 |563230 | 17.8 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 20k|3201 | 0.000000e+00 | -- | Inf
87.98/88.07 c 88.1s| 31800 | 59 |564952 | 17.8 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 20k|3203 | 0.000000e+00 | -- | Inf
88.27/88.31 c 88.3s| 31900 | 59 |566607 | 17.8 | 10M| 41 | 37 | 231 | 11k| 231 |2453 | 17 | 20k|3206 | 0.000000e+00 | -- | Inf
88.46/88.54 c 88.5s| 32000 | 61 |568310 | 17.8 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 20k|3207 | 0.000000e+00 | -- | Inf
88.67/88.73 c 88.7s| 32100 | 62 |569582 | 17.7 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 20k|3208 | 0.000000e+00 | -- | Inf
88.87/88.96 c 89.0s| 32200 | 64 |571283 | 17.7 | 10M| 41 | 29 | 231 | 11k| 231 |2453 | 17 | 20k|3211 | 0.000000e+00 | -- | Inf
89.07/89.17 c 89.2s| 32300 | 63 |572857 | 17.7 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 20k|3212 | 0.000000e+00 | -- | Inf
89.37/89.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
89.37/89.40 c 89.4s| 32400 | 59 |574596 | 17.7 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 20k|3213 | 0.000000e+00 | -- | Inf
89.57/89.63 c 89.6s| 32500 | 61 |576304 | 17.7 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 20k|3214 | 0.000000e+00 | -- | Inf
89.77/89.86 c 89.9s| 32600 | 65 |578105 | 17.7 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 20k|3214 | 0.000000e+00 | -- | Inf
90.07/90.11 c 90.1s| 32700 | 63 |579951 | 17.7 | 10M| 41 | 37 | 231 | 11k| 231 |2453 | 17 | 20k|3214 | 0.000000e+00 | -- | Inf
90.27/90.38 c 90.4s| 32800 | 64 |581898 | 17.7 | 10M| 41 | 38 | 231 | 11k| 231 |2453 | 17 | 20k|3219 | 0.000000e+00 | -- | Inf
90.67/90.70 c 90.7s| 32900 | 64 |583789 | 17.7 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 20k|3235 | 0.000000e+00 | -- | Inf
90.87/90.95 c 91.0s| 33000 | 63 |585500 | 17.7 | 10M| 41 | 30 | 231 | 11k| 231 |2453 | 17 | 20k|3241 | 0.000000e+00 | -- | Inf
91.17/91.22 c 91.2s| 33100 | 62 |587238 | 17.7 | 10M| 41 | 36 | 231 | 11k| 231 |2453 | 17 | 20k|3251 | 0.000000e+00 | -- | Inf
91.47/91.52 c 91.5s| 33200 | 62 |588982 | 17.7 | 10M| 41 | 40 | 231 | 11k| 231 |2453 | 17 | 20k|3269 | 0.000000e+00 | -- | Inf
91.67/91.73 c 91.7s| 33300 | 63 |590553 | 17.7 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 21k|3270 | 0.000000e+00 | -- | Inf
91.97/92.01 c 92.0s| 33400 | 65 |592201 | 17.7 | 10M| 41 | 25 | 231 | 11k| 231 |2453 | 17 | 21k|3284 | 0.000000e+00 | -- | Inf
92.17/92.27 c 92.3s| 33500 | 65 |593889 | 17.7 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 21k|3294 | 0.000000e+00 | -- | Inf
92.47/92.50 c 92.5s| 33600 | 63 |595144 | 17.7 | 10M| 41 | 35 | 231 | 11k| 231 |2453 | 17 | 21k|3308 | 0.000000e+00 | -- | Inf
92.67/92.74 c 92.7s| 33700 | 68 |596712 | 17.7 | 10M| 41 | 26 | 231 | 11k| 231 |2453 | 17 | 21k|3313 | 0.000000e+00 | -- | Inf
92.97/93.00 c 93.0s| 33800 | 66 |598166 | 17.7 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 21k|3326 | 0.000000e+00 | -- | Inf
93.17/93.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
93.17/93.28 c 93.3s| 33900 | 70 |600147 | 17.7 | 10M| 41 | 37 | 231 | 11k| 231 |2453 | 17 | 21k|3331 | 0.000000e+00 | -- | Inf
93.47/93.54 c 93.5s| 34000 | 68 |601791 | 17.7 | 10M| 41 | 22 | 231 | 12k| 231 |2453 | 17 | 21k|3341 | 0.000000e+00 | -- | Inf
93.67/93.79 c 93.8s| 34100 | 70 |603367 | 17.7 | 10M| 41 | - | 231 | 12k| 231 |2453 | 17 | 21k|3352 | 0.000000e+00 | -- | Inf
93.97/94.09 c 94.1s| 34200 | 71 |605184 | 17.7 | 10M| 41 | - | 231 | 12k| 231 |2453 | 17 | 21k|3368 | 0.000000e+00 | -- | Inf
94.27/94.32 c 94.3s| 34300 | 69 |606696 | 17.7 | 10M| 41 | - | 231 | 12k| 231 |2453 | 17 | 21k|3376 | 0.000000e+00 | -- | Inf
94.47/94.55 c 94.6s| 34400 | 74 |608147 | 17.7 | 10M| 41 | 28 | 231 | 12k| 231 |2453 | 17 | 21k|3384 | 0.000000e+00 | -- | Inf
94.77/94.84 c 94.8s| 34500 | 76 |610051 | 17.7 | 10M| 41 | - | 231 | 12k| 231 |2453 | 17 | 21k|3394 | 0.000000e+00 | -- | Inf
95.07/95.10 c 95.1s| 34600 | 80 |611708 | 17.7 | 10M| 41 | - | 231 | 12k| 231 |2453 | 17 | 21k|3406 | 0.000000e+00 | -- | Inf
95.27/95.36 c 95.4s| 34700 | 78 |613358 | 17.7 | 10M| 41 | 37 | 231 | 12k| 231 |2453 | 17 | 21k|3417 | 0.000000e+00 | -- | Inf
95.57/95.62 c 95.6s| 34800 | 84 |615015 | 17.7 | 10M| 41 | 18 | 231 | 12k| 231 |2453 | 17 | 21k|3426 | 0.000000e+00 | -- | Inf
95.76/95.85 c 95.8s| 34900 | 81 |616682 | 17.7 | 10M| 41 | - | 231 | 12k| 231 |2453 | 17 | 21k|3428 | 0.000000e+00 | -- | Inf
95.97/96.05 c 96.1s| 35000 | 83 |618146 | 17.7 | 10M| 41 | 37 | 231 | 12k| 231 |2453 | 17 | 21k|3430 | 0.000000e+00 | -- | Inf
96.17/96.29 c 96.3s| 35100 | 80 |619925 | 17.7 | 10M| 41 | 31 | 231 | 12k| 231 |2453 | 17 | 22k|3432 | 0.000000e+00 | -- | Inf
96.47/96.54 c 96.5s| 35200 | 74 |621779 | 17.7 | 10M| 41 | - | 231 | 12k| 231 |2453 | 17 | 22k|3436 | 0.000000e+00 | -- | Inf
96.67/96.79 c 96.8s| 35300 | 76 |623461 | 17.7 | 11M| 41 | 32 | 231 | 12k| 231 |2453 | 17 | 22k|3441 | 0.000000e+00 | -- | Inf
96.97/97.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
96.97/97.04 c 97.0s| 35400 | 81 |625365 | 17.7 | 11M| 41 | 20 | 231 | 12k| 231 |2453 | 17 | 22k|3442 | 0.000000e+00 | -- | Inf
97.27/97.30 c 97.3s| 35500 | 81 |627399 | 17.7 | 11M| 41 | 39 | 231 | 12k| 231 |2453 | 17 | 22k|3443 | 0.000000e+00 | -- | Inf
97.47/97.55 c 97.6s| 35600 | 81 |629438 | 17.7 | 11M| 41 | 31 | 231 | 12k| 231 |2453 | 17 | 22k|3444 | 0.000000e+00 | -- | Inf
97.78/97.81 c 97.8s| 35700 | 82 |631290 | 17.7 | 11M| 41 | 36 | 231 | 12k| 231 |2453 | 17 | 22k|3448 | 0.000000e+00 | -- | Inf
97.97/98.04 c 98.0s| 35800 | 78 |633001 | 17.7 | 11M| 41 | - | 231 | 12k| 231 |2453 | 17 | 22k|3449 | 0.000000e+00 | -- | Inf
98.17/98.29 c 98.3s| 35900 | 72 |634989 | 17.7 | 11M| 41 | - | 231 | 12k| 231 |2453 | 17 | 22k|3449 | 0.000000e+00 | -- | Inf
98.47/98.56 c 98.6s| 36000 | 78 |636743 | 17.7 | 11M| 41 | - | 231 | 12k| 231 |2453 | 17 | 22k|3454 | 0.000000e+00 | -- | Inf
98.66/98.79 c 98.8s| 36100 | 80 |638339 | 17.7 | 11M| 41 | - | 231 | 12k| 231 |2453 | 17 | 22k|3456 | 0.000000e+00 | -- | Inf
98.98/99.03 c 99.0s| 36200 | 79 |640056 | 17.7 | 11M| 41 | - | 231 | 12k| 231 |2453 | 17 | 22k|3458 | 0.000000e+00 | -- | Inf
99.17/99.28 c 99.3s| 36300 | 78 |641883 | 17.7 | 11M| 41 | 35 | 231 | 12k| 231 |2453 | 17 | 22k|3458 | 0.000000e+00 | -- | Inf
99.36/99.49 c 99.5s| 36400 | 78 |643448 | 17.7 | 11M| 41 | 30 | 231 | 12k| 231 |2453 | 17 | 22k|3458 | 0.000000e+00 | -- | Inf
99.67/99.73 c 99.7s| 36500 | 77 |645107 | 17.7 | 11M| 41 | 32 | 231 | 13k| 231 |2453 | 17 | 22k|3459 | 0.000000e+00 | -- | Inf
99.87/99.96 c 100s| 36600 | 77 |646704 | 17.7 | 11M| 41 | 32 | 231 | 13k| 231 |2453 | 17 | 22k|3460 | 0.000000e+00 | -- | Inf
100.07/100.18 c 100s| 36700 | 77 |648361 | 17.7 | 11M| 41 | 34 | 231 | 13k| 231 |2453 | 17 | 22k|3460 | 0.000000e+00 | -- | Inf
100.37/100.45 c 100s| 36800 | 69 |650361 | 17.7 | 11M| 41 | 33 | 231 | 13k| 231 |2453 | 17 | 22k|3460 | 0.000000e+00 | -- | Inf
100.57/100.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
100.57/100.70 c 101s| 36900 | 69 |652272 | 17.7 | 11M| 41 | - | 231 | 13k| 231 |2453 | 17 | 23k|3460 | 0.000000e+00 | -- | Inf
100.87/100.94 c 101s| 37000 | 73 |654063 | 17.7 | 11M| 41 | 21 | 231 | 13k| 231 |2453 | 17 | 23k|3460 | 0.000000e+00 | -- | Inf
101.17/101.22 c 101s| 37100 | 68 |655862 | 17.7 | 11M| 41 | - | 231 | 13k| 231 |2453 | 17 | 23k|3469 | 0.000000e+00 | -- | Inf
101.47/101.52 c 102s| 37200 | 68 |657821 | 17.7 | 11M| 41 | - | 231 | 13k| 231 |2453 | 17 | 23k|3478 | 0.000000e+00 | -- | Inf
101.67/101.80 c 102s| 37300 | 69 |659495 | 17.7 | 11M| 41 | 38 | 231 | 13k| 231 |2453 | 17 | 23k|3487 | 0.000000e+00 | -- | Inf
101.97/102.09 c 102s| 37400 | 71 |661643 | 17.7 | 11M| 41 | - | 231 | 13k| 231 |2453 | 17 | 23k|3492 | 0.000000e+00 | -- | Inf
102.27/102.36 c 102s| 37500 | 69 |663444 | 17.7 | 11M| 41 | 34 | 231 | 13k| 231 |2453 | 17 | 23k|3501 | 0.000000e+00 | -- | Inf
102.56/102.64 c 103s| 37600 | 73 |665109 | 17.7 | 11M| 41 | 25 | 231 | 13k| 231 |2453 | 17 | 23k|3510 | 0.000000e+00 | -- | Inf
102.87/102.91 c 103s| 37700 | 75 |666873 | 17.7 | 11M| 41 | - | 231 | 13k| 231 |2453 | 17 | 23k|3519 | 0.000000e+00 | -- | Inf
103.07/103.18 c 103s| 37800 | 75 |668542 | 17.7 | 11M| 41 | - | 231 | 13k| 231 |2453 | 17 | 23k|3529 | 0.000000e+00 | -- | Inf
103.37/103.46 c 103s| 37900 | 77 |670193 | 17.7 | 11M| 41 | 38 | 231 | 13k| 231 |2453 | 17 | 23k|3540 | 0.000000e+00 | -- | Inf
103.67/103.73 c 104s| 38000 | 79 |672080 | 17.7 | 11M| 41 | - | 231 | 13k| 231 |2453 | 17 | 23k|3549 | 0.000000e+00 | -- | Inf
103.96/104.00 c 104s| 38100 | 79 |673958 | 17.7 | 11M| 41 | 34 | 231 | 13k| 231 |2453 | 17 | 23k|3555 | 0.000000e+00 | -- | Inf
104.16/104.27 c 104s| 38200 | 77 |675661 | 17.7 | 11M| 41 | 34 | 231 | 13k| 231 |2453 | 17 | 23k|3566 | 0.000000e+00 | -- | Inf
104.48/104.51 c 105s| 38300 | 75 |677175 | 17.7 | 11M| 41 | - | 231 | 13k| 231 |2453 | 17 | 23k|3574 | 0.000000e+00 | -- | Inf
104.67/104.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.67/104.73 c 105s| 38400 | 80 |678539 | 17.7 | 11M| 41 | 19 | 231 | 13k| 231 |2453 | 17 | 23k|3580 | 0.000000e+00 | -- | Inf
104.87/104.92 c 105s| 38500 | 76 |679632 | 17.6 | 11M| 41 | - | 231 | 13k| 231 |2453 | 17 | 24k|3587 | 0.000000e+00 | -- | Inf
105.17/105.22 c 105s| 38600 | 78 |681481 | 17.7 | 11M| 41 | - | 231 | 13k| 231 |2453 | 17 | 24k|3601 | 0.000000e+00 | -- | Inf
105.36/105.48 c 105s| 38700 | 80 |683254 | 17.7 | 11M| 41 | 32 | 231 | 13k| 231 |2453 | 17 | 24k|3611 | 0.000000e+00 | -- | Inf
105.67/105.70 c 106s| 38800 | 79 |684714 | 17.6 | 11M| 41 | - | 231 | 13k| 231 |2453 | 17 | 24k|3617 | 0.000000e+00 | -- | Inf
105.86/105.94 c 106s| 38900 | 77 |686425 | 17.6 | 11M| 41 | - | 231 | 13k| 231 |2453 | 17 | 24k|3624 | 0.000000e+00 | -- | Inf
106.17/106.21 c 106s| 39000 | 81 |688353 | 17.6 | 11M| 41 | - | 231 | 13k| 231 |2453 | 17 | 24k|3630 | 0.000000e+00 | -- | Inf
106.37/106.46 c 106s| 39100 | 81 |690129 | 17.6 | 11M| 41 | 33 | 231 | 13k| 231 |2453 | 17 | 24k|3634 | 0.000000e+00 | -- | Inf
106.58/106.70 c 107s| 39200 | 79 |691777 | 17.6 | 11M| 41 | - | 231 | 13k| 231 |2453 | 17 | 24k|3640 | 0.000000e+00 | -- | Inf
106.87/106.93 c 107s| 39300 | 78 |693330 | 17.6 | 11M| 41 | - | 231 | 13k| 231 |2453 | 17 | 24k|3645 | 0.000000e+00 | -- | Inf
107.07/107.15 c 107s| 39400 | 79 |694890 | 17.6 | 11M| 41 | 32 | 231 | 13k| 231 |2453 | 17 | 24k|3649 | 0.000000e+00 | -- | Inf
107.27/107.39 c 107s| 39500 | 77 |696788 | 17.6 | 11M| 41 | - | 231 | 13k| 231 |2453 | 17 | 24k|3650 | 0.000000e+00 | -- | Inf
107.57/107.63 c 108s| 39600 | 77 |698341 | 17.6 | 11M| 41 | 32 | 231 | 13k| 231 |2453 | 17 | 24k|3654 | 0.000000e+00 | -- | Inf
107.77/107.85 c 108s| 39700 | 75 |699908 | 17.6 | 11M| 41 | 38 | 231 | 13k| 231 |2453 | 17 | 24k|3655 | 0.000000e+00 | -- | Inf
107.97/108.08 c 108s| 39800 | 77 |701512 | 17.6 | 11M| 41 | - | 231 | 14k| 231 |2453 | 17 | 24k|3657 | 0.000000e+00 | -- | Inf
108.26/108.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
108.26/108.31 c 108s| 39900 | 74 |703069 | 17.6 | 11M| 41 | - | 231 | 14k| 231 |2453 | 17 | 24k|3658 | 0.000000e+00 | -- | Inf
108.47/108.52 c 109s| 40000 | 78 |704555 | 17.6 | 11M| 41 | - | 231 | 14k| 231 |2453 | 17 | 24k|3659 | 0.000000e+00 | -- | Inf
108.66/108.70 c 109s| 40100 | 81 |705662 | 17.6 | 11M| 41 | 20 | 231 | 14k| 231 |2453 | 17 | 25k|3660 | 0.000000e+00 | -- | Inf
108.77/108.88 c 109s| 40200 | 79 |706955 | 17.6 | 11M| 41 | - | 231 | 14k| 231 |2453 | 17 | 25k|3661 | 0.000000e+00 | -- | Inf
109.07/109.10 c 109s| 40300 | 77 |708534 | 17.6 | 11M| 41 | 35 | 231 | 14k| 231 |2453 | 17 | 25k|3662 | 0.000000e+00 | -- | Inf
109.27/109.34 c 109s| 40400 | 81 |710264 | 17.6 | 11M| 41 | 27 | 231 | 14k| 231 |2453 | 17 | 25k|3663 | 0.000000e+00 | -- | Inf
109.47/109.59 c 110s| 40500 | 76 |712227 | 17.6 | 11M| 41 | - | 231 | 14k| 231 |2453 | 17 | 25k|3663 | 0.000000e+00 | -- | Inf
109.76/109.82 c 110s| 40600 | 73 |713832 | 17.6 | 11M| 41 | 41 | 231 | 14k| 231 |2453 | 17 | 25k|3663 | 0.000000e+00 | -- | Inf
109.97/110.05 c 110s| 40700 | 75 |715342 | 17.6 | 11M| 41 | 20 | 231 | 13k| 231 |2453 | 17 | 25k|3664 | 0.000000e+00 | -- | Inf
110.17/110.27 c 110s| 40800 | 73 |716885 | 17.6 | 11M| 41 | - | 231 | 13k| 231 |2453 | 17 | 25k|3664 | 0.000000e+00 | -- | Inf
110.46/110.51 c 111s| 40900 | 73 |718589 | 17.6 | 11M| 41 | 36 | 231 | 13k| 231 |2453 | 17 | 25k|3665 | 0.000000e+00 | -- | Inf
110.67/110.74 c 111s| 41000 | 69 |720180 | 17.6 | 11M| 41 | 32 | 231 | 13k| 231 |2453 | 17 | 25k|3665 | 0.000000e+00 | -- | Inf
110.87/110.94 c 111s| 41100 | 69 |721539 | 17.6 | 11M| 41 | - | 231 | 13k| 231 |2453 | 17 | 25k|3665 | 0.000000e+00 | -- | Inf
111.07/111.18 c 111s| 41200 | 71 |723321 | 17.6 | 11M| 41 | 33 | 231 | 12k| 231 |2453 | 17 | 25k|3665 | 0.000000e+00 | -- | Inf
111.37/111.40 c 111s| 41300 | 72 |725027 | 17.6 | 11M| 41 | - | 231 | 12k| 231 |2453 | 17 | 25k|3665 | 0.000000e+00 | -- | Inf
111.57/111.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.57/111.62 c 112s| 41400 | 69 |726791 | 17.6 | 11M| 41 | - | 231 | 12k| 231 |2453 | 17 | 25k|3665 | 0.000000e+00 | -- | Inf
111.76/111.85 c 112s| 41500 | 72 |728525 | 17.6 | 11M| 41 | 29 | 231 | 12k| 231 |2453 | 17 | 25k|3665 | 0.000000e+00 | -- | Inf
112.07/112.19 c 112s| 41600 | 73 |730706 | 17.6 | 11M| 41 | 31 | 231 | 12k| 231 |2453 | 17 | 25k|3684 | 0.000000e+00 | -- | Inf
112.36/112.44 c 112s| 41700 | 73 |732467 | 17.6 | 11M| 41 | 28 | 231 | 12k| 231 |2453 | 17 | 26k|3690 | 0.000000e+00 | -- | Inf
112.66/112.74 c 113s| 41800 | 67 |734338 | 17.6 | 11M| 41 | - | 231 | 12k| 231 |2453 | 17 | 26k|3701 | 0.000000e+00 | -- | Inf
112.97/113.02 c 113s| 41900 | 69 |735851 | 17.6 | 11M| 41 | - | 231 | 12k| 231 |2453 | 17 | 26k|3716 | 0.000000e+00 | -- | Inf
113.17/113.24 c 113s| 42000 | 72 |737375 | 17.6 | 11M| 41 | - | 231 | 12k| 231 |2453 | 17 | 26k|3716 | 0.000000e+00 | -- | Inf
113.46/113.55 c 114s| 42100 | 75 |739373 | 17.6 | 11M| 41 | - | 231 | 12k| 231 |2453 | 17 | 26k|3726 | 0.000000e+00 | -- | Inf
113.77/113.86 c 114s| 42200 | 74 |741292 | 17.6 | 11M| 41 | - | 231 | 12k| 231 |2453 | 17 | 26k|3738 | 0.000000e+00 | -- | Inf
114.07/114.15 c 114s| 42300 | 73 |743190 | 17.6 | 10M| 41 | 31 | 231 | 12k| 231 |2453 | 17 | 26k|3749 | 0.000000e+00 | -- | Inf
114.27/114.40 c 114s| 42400 | 76 |744755 | 17.6 | 10M| 41 | 22 | 231 | 12k| 231 |2453 | 17 | 26k|3759 | 0.000000e+00 | -- | Inf
114.57/114.67 c 115s| 42500 | 73 |746529 | 17.6 | 10M| 41 | - | 231 | 12k| 231 |2453 | 17 | 26k|3773 | 0.000000e+00 | -- | Inf
114.87/114.99 c 115s| 42600 | 73 |748649 | 17.6 | 10M| 41 | 39 | 231 | 11k| 231 |2453 | 17 | 26k|3784 | 0.000000e+00 | -- | Inf
115.16/115.27 c 115s| 42700 | 73 |750514 | 17.6 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 26k|3794 | 0.000000e+00 | -- | Inf
115.47/115.53 c 116s| 42800 | 75 |752249 | 17.6 | 10M| 41 | 33 | 231 | 11k| 231 |2453 | 17 | 26k|3802 | 0.000000e+00 | -- | Inf
115.76/115.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
115.76/115.80 c 116s| 42900 | 75 |754103 | 17.6 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 26k|3810 | 0.000000e+00 | -- | Inf
116.07/116.11 c 116s| 43000 | 72 |755943 | 17.6 | 10M| 41 | 25 | 231 | 11k| 231 |2453 | 17 | 26k|3827 | 0.000000e+00 | -- | Inf
116.36/116.41 c 116s| 43100 | 70 |757885 | 17.6 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 26k|3839 | 0.000000e+00 | -- | Inf
116.67/116.70 c 117s| 43200 | 68 |759773 | 17.6 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 26k|3849 | 0.000000e+00 | -- | Inf
116.87/116.98 c 117s| 43300 | 68 |761920 | 17.6 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 27k|3853 | 0.000000e+00 | -- | Inf
117.17/117.26 c 117s| 43400 | 68 |763768 | 17.6 | 10M| 41 | 34 | 231 | 11k| 231 |2453 | 17 | 27k|3861 | 0.000000e+00 | -- | Inf
117.47/117.50 c 117s| 43500 | 68 |765297 | 17.6 | 10M| 41 | 39 | 231 | 11k| 231 |2453 | 17 | 27k|3866 | 0.000000e+00 | -- | Inf
117.67/117.74 c 118s| 43600 | 67 |767079 | 17.6 | 10M| 46 | 34 | 231 | 11k| 231 |2453 | 17 | 27k|3868 | 0.000000e+00 | -- | Inf
117.86/117.99 c 118s| 43700 | 65 |768925 | 17.6 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 27k|3870 | 0.000000e+00 | -- | Inf
118.16/118.24 c 118s| 43800 | 63 |770688 | 17.6 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 27k|3874 | 0.000000e+00 | -- | Inf
118.47/118.50 c 118s| 43900 | 65 |772579 | 17.6 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 27k|3875 | 0.000000e+00 | -- | Inf
118.67/118.71 c 119s| 44000 | 71 |774149 | 17.6 | 10M| 46 | 32 | 231 | 10k| 231 |2453 | 17 | 27k|3875 | 0.000000e+00 | -- | Inf
118.87/118.93 c 119s| 44100 | 71 |775883 | 17.6 | 10M| 46 | 22 | 231 | 10k| 231 |2453 | 17 | 27k|3877 | 0.000000e+00 | -- | Inf
119.06/119.13 c 119s| 44200 | 72 |777299 | 17.6 | 10M| 46 | 27 | 231 | 10k| 231 |2453 | 17 | 27k|3877 | 0.000000e+00 | -- | Inf
119.27/119.33 c 119s| 44300 | 72 |778738 | 17.6 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 27k|3877 | 0.000000e+00 | -- | Inf
119.47/119.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
119.47/119.55 c 120s| 44400 | 74 |780431 | 17.6 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 27k|3879 | 0.000000e+00 | -- | Inf
119.66/119.77 c 120s| 44500 | 74 |782162 | 17.6 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 27k|3880 | 0.000000e+00 | -- | Inf
119.87/119.99 c 120s| 44600 | 74 |783782 | 17.6 | 10M| 46 | 40 | 231 | 11k| 231 |2453 | 17 | 27k|3881 | 0.000000e+00 | -- | Inf
120.17/120.22 c 120s| 44700 | 70 |785537 | 17.6 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 27k|3882 | 0.000000e+00 | -- | Inf
120.36/120.41 c 120s| 44800 | 68 |786896 | 17.6 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 27k|3882 | 0.000000e+00 | -- | Inf
120.56/120.62 c 121s| 44900 | 66 |788439 | 17.6 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 27k|3882 | 0.000000e+00 | -- | Inf
120.77/120.83 c 121s| 45000 | 70 |789854 | 17.5 | 10M| 46 | - | 231 | 11k| 0 | 0 | 17 | 28k|3882 | 0.000000e+00 | -- | Inf
120.97/121.08 c 121s| 45100 | 70 |791807 | 17.6 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 28k|3882 | 0.000000e+00 | -- | Inf
121.26/121.31 c 121s| 45200 | 71 |793617 | 17.6 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 28k|3882 | 0.000000e+00 | -- | Inf
121.46/121.55 c 122s| 45300 | 75 |795452 | 17.6 | 10M| 46 | 33 | 231 | 11k| 231 |2453 | 17 | 28k|3882 | 0.000000e+00 | -- | Inf
121.67/121.78 c 122s| 45400 | 71 |797276 | 17.6 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 28k|3882 | 0.000000e+00 | -- | Inf
121.86/122.00 c 122s| 45500 | 73 |798977 | 17.6 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 28k|3882 | 0.000000e+00 | -- | Inf
122.17/122.23 c 122s| 45600 | 75 |800826 | 17.6 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 28k|3882 | 0.000000e+00 | -- | Inf
122.37/122.43 c 122s| 45700 | 75 |802276 | 17.6 | 10M| 46 | 34 | 231 | 11k| 231 |2453 | 17 | 28k|3882 | 0.000000e+00 | -- | Inf
122.56/122.66 c 123s| 45800 | 75 |804123 | 17.6 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 28k|3882 | 0.000000e+00 | -- | Inf
122.86/122.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
122.86/122.96 c 123s| 45900 | 73 |805911 | 17.6 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 28k|3897 | 0.000000e+00 | -- | Inf
123.17/123.24 c 123s| 46000 | 73 |807918 | 17.6 | 10M| 46 | 39 | 231 | 11k| 231 |2453 | 17 | 28k|3905 | 0.000000e+00 | -- | Inf
123.46/123.53 c 124s| 46100 | 71 |809931 | 17.6 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 28k|3915 | 0.000000e+00 | -- | Inf
123.77/123.83 c 124s| 46200 | 73 |812051 | 17.6 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 28k|3927 | 0.000000e+00 | -- | Inf
124.06/124.14 c 124s| 46300 | 70 |814398 | 17.6 | 11M| 46 | - | 231 | 11k| 231 |2453 | 17 | 28k|3934 | 0.000000e+00 | -- | Inf
124.37/124.49 c 124s| 46400 | 70 |816806 | 17.6 | 11M| 46 | - | 231 | 11k| 231 |2453 | 17 | 28k|3949 | 0.000000e+00 | -- | Inf
124.76/124.80 c 125s| 46500 | 76 |818979 | 17.6 | 11M| 46 | 19 | 231 | 11k| 231 |2453 | 17 | 29k|3957 | 0.000000e+00 | -- | Inf
125.06/125.15 c 125s| 46600 | 74 |821312 | 17.6 | 11M| 46 | - | 231 | 12k| 231 |2453 | 17 | 29k|3973 | 0.000000e+00 | -- | Inf
125.37/125.46 c 125s| 46700 | 74 |823264 | 17.6 | 10M| 46 | 25 | 231 | 11k| 231 |2453 | 17 | 29k|3982 | 0.000000e+00 | -- | Inf
125.66/125.70 c 126s| 46800 | 75 |824896 | 17.6 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 29k|3987 | 0.000000e+00 | -- | Inf
125.86/125.95 c 126s| 46900 | 72 |826511 | 17.6 | 10M| 46 | 42 | 231 | 11k| 231 |2453 | 17 | 29k|3994 | 0.000000e+00 | -- | Inf
126.16/126.24 c 126s| 47000 | 69 |828406 | 17.6 | 10M| 46 | 39 | 231 | 11k| 231 |2453 | 17 | 29k|4005 | 0.000000e+00 | -- | Inf
126.47/126.54 c 127s| 47100 | 74 |830430 | 17.6 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 29k|4016 | 0.000000e+00 | -- | Inf
126.76/126.82 c 127s| 47200 | 73 |832257 | 17.6 | 10M| 46 | 35 | 231 | 11k| 231 |2453 | 17 | 29k|4024 | 0.000000e+00 | -- | Inf
127.07/127.10 c 127s| 47300 | 73 |834313 | 17.6 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 29k|4029 | 0.000000e+00 | -- | Inf
127.26/127.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
127.26/127.33 c 127s| 47400 | 74 |836102 | 17.6 | 10M| 46 | 36 | 231 | 11k| 231 |2453 | 17 | 29k|4031 | 0.000000e+00 | -- | Inf
127.47/127.57 c 128s| 47500 | 77 |838049 | 17.6 | 10M| 46 | 41 | 231 | 11k| 231 |2453 | 17 | 29k|4032 | 0.000000e+00 | -- | Inf
127.77/127.83 c 128s| 47600 | 75 |840002 | 17.6 | 10M| 46 | 36 | 231 | 11k| 231 |2453 | 17 | 29k|4034 | 0.000000e+00 | -- | Inf
127.96/128.08 c 128s| 47700 | 68 |841804 | 17.6 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 29k|4037 | 0.000000e+00 | -- | Inf
128.26/128.33 c 128s| 47800 | 76 |843782 | 17.6 | 10M| 46 | 16 | 231 | 11k| 231 |2453 | 17 | 29k|4037 | 0.000000e+00 | -- | Inf
128.46/128.59 c 129s| 47900 | 73 |845696 | 17.7 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 29k|4038 | 0.000000e+00 | -- | Inf
128.76/128.81 c 129s| 48000 | 72 |847295 | 17.6 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 30k|4038 | 0.000000e+00 | -- | Inf
128.96/129.04 c 129s| 48100 | 73 |849094 | 17.7 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 30k|4039 | 0.000000e+00 | -- | Inf
129.17/129.26 c 129s| 48200 | 71 |850712 | 17.6 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 30k|4040 | 0.000000e+00 | -- | Inf
129.36/129.48 c 129s| 48300 | 71 |852421 | 17.6 | 10M| 46 | - | 231 | 11k| 0 | 0 | 17 | 30k|4040 | 0.000000e+00 | -- | Inf
129.67/129.72 c 130s| 48400 | 71 |854052 | 17.6 | 10M| 46 | 37 | 231 | 11k| 231 |2453 | 17 | 30k|4040 | 0.000000e+00 | -- | Inf
129.86/129.94 c 130s| 48500 | 69 |855589 | 17.6 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 30k|4040 | 0.000000e+00 | -- | Inf
130.06/130.15 c 130s| 48600 | 69 |857152 | 17.6 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 30k|4040 | 0.000000e+00 | -- | Inf
130.27/130.37 c 130s| 48700 | 71 |858754 | 17.6 | 10M| 46 | 27 | 231 | 11k| 231 |2453 | 17 | 30k|4040 | 0.000000e+00 | -- | Inf
130.56/130.62 c 131s| 48800 | 70 |860627 | 17.6 | 10M| 46 | 40 | 231 | 11k| 231 |2453 | 17 | 30k|4040 | 0.000000e+00 | -- | Inf
130.77/130.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
130.77/130.84 c 131s| 48900 | 72 |862377 | 17.6 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 30k|4040 | 0.000000e+00 | -- | Inf
130.97/131.03 c 131s| 49000 | 74 |863694 | 17.6 | 10M| 46 | - | 231 | 11k| 0 | 0 | 17 | 30k|4041 | 0.000000e+00 | -- | Inf
131.16/131.25 c 131s| 49100 | 73 |865372 | 17.6 | 10M| 46 | 33 | 231 | 11k| 231 |2453 | 17 | 30k|4041 | 0.000000e+00 | -- | Inf
131.36/131.48 c 131s| 49200 | 72 |867056 | 17.6 | 10M| 46 | 30 | 231 | 11k| 231 |2453 | 17 | 30k|4042 | 0.000000e+00 | -- | Inf
131.66/131.72 c 132s| 49300 | 72 |868995 | 17.6 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 30k|4042 | 0.000000e+00 | -- | Inf
131.86/131.95 c 132s| 49400 | 73 |870668 | 17.6 | 10M| 46 | 24 | 231 | 11k| 231 |2453 | 17 | 30k|4042 | 0.000000e+00 | -- | Inf
132.06/132.18 c 132s| 49500 | 71 |872481 | 17.6 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 30k|4042 | 0.000000e+00 | -- | Inf
132.36/132.41 c 132s| 49600 | 75 |874299 | 17.6 | 11M| 46 | 27 | 231 | 12k| 231 |2453 | 17 | 31k|4042 | 0.000000e+00 | -- | Inf
132.56/132.65 c 133s| 49700 | 72 |876258 | 17.6 | 11M| 46 | - | 231 | 12k| 231 |2453 | 17 | 31k|4042 | 0.000000e+00 | -- | Inf
132.87/132.95 c 133s| 49800 | 69 |878199 | 17.6 | 11M| 46 | - | 231 | 12k| 231 |2453 | 17 | 31k|4056 | 0.000000e+00 | -- | Inf
133.16/133.22 c 133s| 49900 | 72 |879995 | 17.6 | 11M| 46 | 33 | 231 | 12k| 231 |2453 | 17 | 31k|4064 | 0.000000e+00 | -- | Inf
133.46/133.52 c 134s| 50000 | 74 |882167 | 17.6 | 11M| 46 | - | 231 | 12k| 231 |2453 | 17 | 31k|4073 | 0.000000e+00 | -- | Inf
133.76/133.80 c 134s| 50100 | 74 |884019 | 17.6 | 11M| 46 | - | 231 | 12k| 231 |2453 | 17 | 31k|4085 | 0.000000e+00 | -- | Inf
133.96/134.05 c 134s| 50200 | 75 |885599 | 17.6 | 11M| 46 | 35 | 231 | 12k| 231 |2453 | 17 | 31k|4094 | 0.000000e+00 | -- | Inf
134.26/134.31 c 134s| 50300 | 73 |887373 | 17.6 | 11M| 46 | - | 231 | 12k| 231 |2453 | 17 | 31k|4099 | 0.000000e+00 | -- | Inf
134.47/134.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
134.47/134.57 c 135s| 50400 | 73 |888897 | 17.6 | 11M| 46 | 33 | 231 | 12k| 231 |2453 | 17 | 31k|4110 | 0.000000e+00 | -- | Inf
134.76/134.81 c 135s| 50500 | 75 |890531 | 17.6 | 11M| 46 | 36 | 231 | 12k| 231 |2453 | 17 | 31k|4114 | 0.000000e+00 | -- | Inf
134.96/135.06 c 135s| 50600 | 73 |892182 | 17.6 | 10M| 46 | 40 | 231 | 12k| 231 |2453 | 17 | 31k|4121 | 0.000000e+00 | -- | Inf
135.26/135.32 c 135s| 50700 | 75 |893803 | 17.6 | 10M| 46 | 34 | 231 | 11k| 231 |2453 | 17 | 31k|4130 | 0.000000e+00 | -- | Inf
135.46/135.58 c 136s| 50800 | 75 |895499 | 17.6 | 10M| 46 | 32 | 231 | 11k| 231 |2453 | 17 | 31k|4139 | 0.000000e+00 | -- | Inf
135.76/135.82 c 136s| 50900 | 75 |897050 | 17.6 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 31k|4150 | 0.000000e+00 | -- | Inf
135.96/136.08 c 136s| 51000 | 74 |898835 | 17.6 | 11M| 46 | - | 231 | 12k| 231 |2453 | 17 | 31k|4158 | 0.000000e+00 | -- | Inf
136.27/136.34 c 136s| 51100 | 75 |900621 | 17.6 | 11M| 46 | - | 231 | 12k| 231 |2453 | 17 | 31k|4167 | 0.000000e+00 | -- | Inf
136.56/136.61 c 137s| 51200 | 75 |902482 | 17.6 | 11M| 46 | 30 | 231 | 12k| 231 |2453 | 17 | 31k|4176 | 0.000000e+00 | -- | Inf
136.76/136.82 c 137s| 51300 | 78 |903934 | 17.6 | 11M| 46 | 31 | 231 | 12k| 231 |2453 | 17 | 32k|4182 | 0.000000e+00 | -- | Inf
136.96/137.07 c 137s| 51400 | 80 |905548 | 17.6 | 11M| 46 | - | 231 | 12k| 0 | 0 | 17 | 32k|4193 | 0.000000e+00 | -- | Inf
137.27/137.35 c 137s| 51500 | 74 |907394 | 17.6 | 11M| 46 | 44 | 231 | 12k| 231 |2453 | 17 | 32k|4207 | 0.000000e+00 | -- | Inf
137.47/137.59 c 138s| 51600 | 79 |908964 | 17.6 | 11M| 46 | - | 231 | 12k| 231 |2453 | 17 | 32k|4215 | 0.000000e+00 | -- | Inf
137.76/137.88 c 138s| 51700 | 88 |910954 | 17.6 | 11M| 46 | - | 231 | 12k| 231 |2453 | 17 | 32k|4228 | 0.000000e+00 | -- | Inf
138.06/138.16 c 138s| 51800 | 84 |912899 | 17.6 | 11M| 46 | - | 231 | 12k| 231 |2453 | 17 | 32k|4235 | 0.000000e+00 | -- | Inf
138.36/138.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
138.36/138.40 c 138s| 51900 | 80 |914670 | 17.6 | 11M| 46 | - | 231 | 12k| 231 |2453 | 17 | 32k|4238 | 0.000000e+00 | -- | Inf
138.57/138.69 c 139s| 52000 | 79 |916635 | 17.6 | 11M| 46 | - | 231 | 12k| 231 |2453 | 17 | 32k|4247 | 0.000000e+00 | -- | Inf
138.86/138.94 c 139s| 52100 | 80 |918388 | 17.6 | 11M| 46 | - | 231 | 12k| 231 |2453 | 17 | 32k|4253 | 0.000000e+00 | -- | Inf
139.06/139.19 c 139s| 52200 | 79 |920125 | 17.6 | 11M| 46 | 36 | 231 | 12k| 231 |2453 | 17 | 32k|4260 | 0.000000e+00 | -- | Inf
139.36/139.42 c 139s| 52300 | 84 |921776 | 17.6 | 11M| 46 | 40 | 231 | 12k| 231 |2453 | 17 | 32k|4263 | 0.000000e+00 | -- | Inf
139.57/139.64 c 140s| 52400 | 85 |923333 | 17.6 | 11M| 46 | 39 | 231 | 12k| 231 |2453 | 17 | 32k|4263 | 0.000000e+00 | -- | Inf
139.77/139.88 c 140s| 52500 | 97 |925131 | 17.6 | 11M| 46 | 32 | 231 | 12k| 231 |2453 | 17 | 32k|4267 | 0.000000e+00 | -- | Inf
139.96/140.09 c 140s| 52600 | 90 |926558 | 17.6 | 11M| 46 | - | 231 | 12k| 231 |2453 | 17 | 32k|4268 | 0.000000e+00 | -- | Inf
140.26/140.33 c 140s| 52700 | 89 |928243 | 17.6 | 11M| 46 | - | 231 | 12k| 231 |2453 | 17 | 32k|4273 | 0.000000e+00 | -- | Inf
140.46/140.57 c 141s| 52800 | 90 |930033 | 17.6 | 11M| 46 | 23 | 231 | 12k| 231 |2453 | 17 | 32k|4274 | 0.000000e+00 | -- | Inf
140.76/140.86 c 141s| 52900 | 83 |932173 | 17.6 | 11M| 46 | - | 231 | 12k| 231 |2453 | 17 | 32k|4277 | 0.000000e+00 | -- | Inf
140.96/141.09 c 141s| 53000 | 82 |933925 | 17.6 | 11M| 46 | 35 | 231 | 12k| 231 |2453 | 17 | 33k|4277 | 0.000000e+00 | -- | Inf
141.26/141.30 c 141s| 53100 | 81 |935441 | 17.6 | 11M| 46 | 28 | 231 | 12k| 231 |2453 | 17 | 33k|4277 | 0.000000e+00 | -- | Inf
141.46/141.54 c 142s| 53200 | 83 |937155 | 17.6 | 11M| 46 | 29 | 231 | 12k| 231 |2453 | 17 | 33k|4278 | 0.000000e+00 | -- | Inf
141.66/141.76 c 142s| 53300 | 82 |938840 | 17.6 | 11M| 46 | - | 231 | 12k| 231 |2453 | 17 | 33k|4278 | 0.000000e+00 | -- | Inf
141.86/141.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
141.86/141.98 c 142s| 53400 | 81 |940470 | 17.6 | 11M| 46 | - | 231 | 12k| 231 |2453 | 17 | 33k|4281 | 0.000000e+00 | -- | Inf
142.16/142.20 c 142s| 53500 | 81 |941974 | 17.6 | 11M| 46 | - | 231 | 12k| 0 | 0 | 17 | 33k|4286 | 0.000000e+00 | -- | Inf
142.36/142.42 c 142s| 53600 | 82 |943593 | 17.6 | 11M| 46 | 38 | 231 | 12k| 231 |2453 | 17 | 33k|4288 | 0.000000e+00 | -- | Inf
142.56/142.65 c 143s| 53700 | 83 |945165 | 17.6 | 11M| 46 | 38 | 231 | 12k| 231 |2453 | 17 | 33k|4292 | 0.000000e+00 | -- | Inf
142.76/142.86 c 143s| 53800 | 86 |946675 | 17.6 | 11M| 46 | 29 | 231 | 12k| 231 |2453 | 17 | 33k|4293 | 0.000000e+00 | -- | Inf
142.97/143.07 c 143s| 53900 | 83 |948113 | 17.6 | 11M| 46 | 36 | 231 | 12k| 231 |2453 | 17 | 33k|4293 | 0.000000e+00 | -- | Inf
143.26/143.30 c 143s| 54000 | 85 |949852 | 17.6 | 11M| 46 | 25 | 231 | 12k| 231 |2453 | 17 | 33k|4294 | 0.000000e+00 | -- | Inf
143.47/143.55 c 144s| 54100 | 86 |951721 | 17.6 | 11M| 46 | 37 | 231 | 12k| 231 |2453 | 17 | 33k|4294 | 0.000000e+00 | -- | Inf
143.66/143.79 c 144s| 54200 | 83 |953545 | 17.6 | 11M| 46 | - | 231 | 13k| 231 |2453 | 17 | 33k|4294 | 0.000000e+00 | -- | Inf
143.97/144.07 c 144s| 54300 | 83 |955728 | 17.6 | 11M| 46 | 32 | 231 | 13k| 231 |2453 | 17 | 33k|4294 | 0.000000e+00 | -- | Inf
144.26/144.35 c 144s| 54400 | 81 |957972 | 17.6 | 11M| 46 | 30 | 231 | 13k| 231 |2453 | 17 | 33k|4294 | 0.000000e+00 | -- | Inf
144.46/144.57 c 145s| 54500 | 82 |959648 | 17.6 | 11M| 46 | - | 231 | 13k| 231 |2453 | 17 | 33k|4294 | 0.000000e+00 | -- | Inf
144.77/144.80 c 145s| 54600 | 83 |961292 | 17.6 | 11M| 46 | 33 | 231 | 13k| 231 |2453 | 17 | 34k|4294 | 0.000000e+00 | -- | Inf
144.96/145.02 c 145s| 54700 | 81 |962878 | 17.6 | 11M| 46 | - | 231 | 12k| 231 |2453 | 17 | 34k|4294 | 0.000000e+00 | -- | Inf
145.17/145.25 c 145s| 54800 | 81 |964663 | 17.6 | 11M| 46 | - | 231 | 12k| 231 |2453 | 17 | 34k|4294 | 0.000000e+00 | -- | Inf
145.46/145.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
145.46/145.57 c 146s| 54900 | 83 |966818 | 17.6 | 11M| 46 | - | 231 | 12k| 231 |2453 | 17 | 34k|4306 | 0.000000e+00 | -- | Inf
145.76/145.82 c 146s| 55000 | 83 |968515 | 17.6 | 11M| 46 | - | 231 | 12k| 231 |2453 | 17 | 34k|4313 | 0.000000e+00 | -- | Inf
146.06/146.12 c 146s| 55100 | 83 |970522 | 17.6 | 11M| 46 | 40 | 231 | 12k| 231 |2453 | 17 | 34k|4321 | 0.000000e+00 | -- | Inf
146.27/146.38 c 146s| 55200 | 83 |972070 | 17.6 | 11M| 46 | - | 231 | 12k| 231 |2453 | 17 | 34k|4331 | 0.000000e+00 | -- | Inf
146.56/146.66 c 147s| 55300 | 82 |973962 | 17.6 | 11M| 46 | - | 231 | 12k| 231 |2453 | 17 | 34k|4338 | 0.000000e+00 | -- | Inf
146.86/146.96 c 147s| 55400 | 84 |975942 | 17.6 | 11M| 46 | - | 231 | 12k| 231 |2453 | 17 | 34k|4348 | 0.000000e+00 | -- | Inf
147.16/147.24 c 147s| 55500 | 85 |977626 | 17.6 | 11M| 46 | - | 231 | 12k| 231 |2453 | 17 | 34k|4358 | 0.000000e+00 | -- | Inf
147.46/147.51 c 148s| 55600 | 83 |979244 | 17.6 | 11M| 46 | - | 231 | 12k| 231 |2453 | 17 | 34k|4367 | 0.000000e+00 | -- | Inf
147.66/147.74 c 148s| 55700 | 83 |980897 | 17.6 | 11M| 46 | 27 | 231 | 12k| 231 |2453 | 17 | 34k|4367 | 0.000000e+00 | -- | Inf
147.96/148.04 c 148s| 55800 | 79 |982655 | 17.6 | 11M| 46 | - | 231 | 12k| 231 |2453 | 17 | 34k|4380 | 0.000000e+00 | -- | Inf
148.26/148.33 c 148s| 55900 | 77 |984641 | 17.6 | 11M| 46 | - | 231 | 12k| 231 |2453 | 17 | 34k|4386 | 0.000000e+00 | -- | Inf
148.56/148.63 c 149s| 56000 | 77 |986624 | 17.6 | 11M| 46 | 44 | 231 | 12k| 231 |2453 | 17 | 34k|4395 | 0.000000e+00 | -- | Inf
148.86/148.94 c 149s| 56100 | 75 |988722 | 17.6 | 11M| 46 | 42 | 231 | 11k| 231 |2453 | 17 | 34k|4402 | 0.000000e+00 | -- | Inf
149.16/149.22 c 149s| 56200 | 73 |990514 | 17.6 | 10M| 46 | 40 | 231 | 11k| 231 |2453 | 17 | 35k|4412 | 0.000000e+00 | -- | Inf
149.36/149.47 c 149s| 56300 | 73 |992204 | 17.6 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 35k|4421 | 0.000000e+00 | -- | Inf
149.66/149.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
149.66/149.70 c 150s| 56400 | 75 |993753 | 17.6 | 10M| 46 | 36 | 231 | 11k| 231 |2453 | 17 | 35k|4429 | 0.000000e+00 | -- | Inf
149.86/149.97 c 150s| 56500 | 73 |995602 | 17.6 | 10M| 46 | 38 | 231 | 11k| 231 |2453 | 17 | 35k|4441 | 0.000000e+00 | -- | Inf
150.16/150.27 c 150s| 56600 | 74 |997542 | 17.6 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 35k|4454 | 0.000000e+00 | -- | Inf
150.46/150.55 c 151s| 56700 | 76 |999305 | 17.6 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 35k|4468 | 0.000000e+00 | -- | Inf
150.76/150.82 c 151s| 56800 | 76 | 1001k| 17.6 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 35k|4473 | 0.000000e+00 | -- | Inf
151.06/151.11 c 151s| 56900 | 80 | 1003k| 17.6 | 10M| 46 | 41 | 231 | 11k| 231 |2453 | 17 | 35k|4484 | 0.000000e+00 | -- | Inf
151.26/151.35 c 151s| 57000 | 79 | 1004k| 17.6 | 10M| 46 | 35 | 231 | 11k| 231 |2453 | 17 | 35k|4489 | 0.000000e+00 | -- | Inf
151.46/151.59 c 152s| 57100 | 79 | 1006k| 17.6 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 35k|4489 | 0.000000e+00 | -- | Inf
151.67/151.78 c 152s| 57200 | 77 | 1008k| 17.6 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 35k|4489 | 0.000000e+00 | -- | Inf
151.86/151.99 c 152s| 57300 | 75 | 1009k| 17.6 | 10M| 46 | 42 | 231 | 11k| 231 |2453 | 17 | 35k|4489 | 0.000000e+00 | -- | Inf
152.16/152.22 c 152s| 57400 | 75 | 1011k| 17.6 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 35k|4491 | 0.000000e+00 | -- | Inf
152.36/152.43 c 152s| 57500 | 78 | 1012k| 17.6 | 10M| 46 | 39 | 231 | 11k| 231 |2453 | 17 | 35k|4491 | 0.000000e+00 | -- | Inf
152.56/152.67 c 153s| 57600 | 74 | 1014k| 17.6 | 11M| 46 | - | 231 | 11k| 231 |2453 | 17 | 35k|4492 | 0.000000e+00 | -- | Inf
152.86/152.93 c 153s| 57700 | 76 | 1016k| 17.6 | 11M| 46 | - | 231 | 11k| 231 |2453 | 17 | 35k|4492 | 0.000000e+00 | -- | Inf
153.06/153.14 c 153s| 57800 | 75 | 1018k| 17.6 | 11M| 46 | - | 231 | 11k| 231 |2453 | 17 | 35k|4493 | 0.000000e+00 | -- | Inf
153.26/153.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
153.26/153.36 c 153s| 57900 | 78 | 1020k| 17.6 | 11M| 46 | - | 231 | 11k| 231 |2453 | 17 | 36k|4494 | 0.000000e+00 | -- | Inf
153.46/153.58 c 154s| 58000 | 78 | 1021k| 17.6 | 11M| 46 | 39 | 231 | 11k| 231 |2453 | 17 | 36k|4495 | 0.000000e+00 | -- | Inf
153.76/153.81 c 154s| 58100 | 78 | 1023k| 17.6 | 11M| 46 | - | 231 | 11k| 0 | 0 | 17 | 36k|4496 | 0.000000e+00 | -- | Inf
153.97/154.05 c 154s| 58200 | 78 | 1025k| 17.6 | 11M| 46 | - | 231 | 12k| 231 |2453 | 17 | 36k|4497 | 0.000000e+00 | -- | Inf
154.16/154.28 c 154s| 58300 | 76 | 1026k| 17.6 | 11M| 46 | - | 231 | 12k| 231 |2453 | 17 | 36k|4497 | 0.000000e+00 | -- | Inf
154.46/154.56 c 155s| 58400 | 76 | 1029k| 17.6 | 11M| 46 | 24 | 231 | 12k| 231 |2453 | 17 | 36k|4500 | 0.000000e+00 | -- | Inf
154.66/154.79 c 155s| 58500 | 72 | 1030k| 17.6 | 11M| 46 | - | 231 | 12k| 231 |2453 | 17 | 36k|4501 | 0.000000e+00 | -- | Inf
154.86/155.00 c 155s| 58600 | 77 | 1032k| 17.6 | 11M| 46 | 14 | 231 | 12k| 231 |2453 | 17 | 36k|4504 | 0.000000e+00 | -- | Inf
155.16/155.20 c 155s| 58700 | 78 | 1033k| 17.6 | 11M| 46 | 21 | 231 | 12k| 231 |2453 | 17 | 36k|4505 | 0.000000e+00 | -- | Inf
155.36/155.42 c 155s| 58800 | 78 | 1035k| 17.6 | 11M| 46 | 33 | 231 | 12k| 231 |2453 | 17 | 36k|4505 | 0.000000e+00 | -- | Inf
155.55/155.66 c 156s| 58900 | 76 | 1037k| 17.6 | 11M| 46 | 43 | 231 | 12k| 231 |2453 | 17 | 36k|4505 | 0.000000e+00 | -- | Inf
155.76/155.84 c 156s| 59000 | 74 | 1038k| 17.6 | 11M| 46 | - | 231 | 12k| 231 |2453 | 17 | 36k|4505 | 0.000000e+00 | -- | Inf
155.96/156.09 c 156s| 59100 | 74 | 1040k| 17.6 | 11M| 46 | - | 231 | 12k| 231 |2453 | 17 | 36k|4505 | 0.000000e+00 | -- | Inf
156.26/156.31 c 156s| 59200 | 76 | 1041k| 17.6 | 11M| 46 | - | 231 | 12k| 231 |2453 | 17 | 36k|4505 | 0.000000e+00 | -- | Inf
156.46/156.52 c 157s| 59300 | 81 | 1043k| 17.6 | 11M| 46 | - | 231 | 12k| 0 | 0 | 17 | 36k|4505 | 0.000000e+00 | -- | Inf
156.66/156.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
156.66/156.73 c 157s| 59400 | 83 | 1044k| 17.6 | 11M| 46 | - | 231 | 12k| 0 | 0 | 17 | 37k|4505 | 0.000000e+00 | -- | Inf
156.86/156.94 c 157s| 59500 | 83 | 1046k| 17.6 | 11M| 46 | 31 | 231 | 12k| 231 |2453 | 17 | 37k|4505 | 0.000000e+00 | -- | Inf
157.06/157.15 c 157s| 59600 | 82 | 1048k| 17.6 | 11M| 46 | 35 | 231 | 12k| 231 |2453 | 17 | 37k|4505 | 0.000000e+00 | -- | Inf
157.26/157.36 c 157s| 59700 | 81 | 1049k| 17.6 | 11M| 46 | - | 231 | 12k| 231 |2453 | 17 | 37k|4505 | 0.000000e+00 | -- | Inf
157.46/157.58 c 158s| 59800 | 81 | 1051k| 17.6 | 11M| 46 | - | 231 | 12k| 231 |2453 | 17 | 37k|4505 | 0.000000e+00 | -- | Inf
157.76/157.86 c 158s| 59900 | 79 | 1053k| 17.6 | 11M| 46 | 29 | 231 | 12k| 231 |2453 | 17 | 37k|4511 | 0.000000e+00 | -- | Inf
158.06/158.11 c 158s| 60000 | 80 | 1055k| 17.6 | 11M| 46 | 36 | 231 | 12k| 231 |2453 | 17 | 37k|4521 | 0.000000e+00 | -- | Inf
158.26/158.36 c 158s| 60100 | 82 | 1056k| 17.6 | 11M| 46 | 29 | 231 | 12k| 231 |2453 | 17 | 37k|4527 | 0.000000e+00 | -- | Inf
158.46/158.58 c 159s| 60200 | 82 | 1058k| 17.6 | 11M| 46 | 28 | 231 | 12k| 231 |2453 | 17 | 37k|4534 | 0.000000e+00 | -- | Inf
158.76/158.85 c 159s| 60300 | 80 | 1059k| 17.6 | 11M| 46 | - | 231 | 12k| 231 |2453 | 17 | 37k|4543 | 0.000000e+00 | -- | Inf
159.06/159.11 c 159s| 60400 | 86 | 1061k| 17.6 | 11M| 46 | - | 231 | 12k| 231 |2453 | 17 | 37k|4552 | 0.000000e+00 | -- | Inf
159.25/159.34 c 159s| 60500 | 88 | 1063k| 17.6 | 11M| 46 | 32 | 231 | 13k| 231 |2453 | 17 | 37k|4553 | 0.000000e+00 | -- | Inf
159.56/159.63 c 160s| 60600 | 86 | 1065k| 17.6 | 11M| 46 | - | 231 | 13k| 231 |2453 | 17 | 37k|4567 | 0.000000e+00 | -- | Inf
159.86/159.92 c 160s| 60700 | 84 | 1067k| 17.6 | 11M| 46 | - | 231 | 13k| 231 |2453 | 17 | 37k|4576 | 0.000000e+00 | -- | Inf
160.16/160.24 c 160s| 60800 | 83 | 1069k| 17.6 | 11M| 46 | 49 | 231 | 13k| 231 |2453 | 17 | 37k|4586 | 0.000000e+00 | -- | Inf
160.46/160.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
160.46/160.51 c 161s| 60900 | 87 | 1071k| 17.6 | 11M| 46 | 37 | 231 | 13k| 231 |2453 | 17 | 37k|4594 | 0.000000e+00 | -- | Inf
160.65/160.78 c 161s| 61000 | 89 | 1073k| 17.6 | 11M| 46 | 34 | 231 | 13k| 231 |2453 | 17 | 37k|4603 | 0.000000e+00 | -- | Inf
160.95/161.05 c 161s| 61100 | 89 | 1075k| 17.6 | 11M| 46 | - | 231 | 13k| 231 |2453 | 17 | 38k|4613 | 0.000000e+00 | -- | Inf
161.26/161.35 c 161s| 61200 | 89 | 1077k| 17.6 | 11M| 46 | 37 | 231 | 13k| 231 |2453 | 17 | 38k|4624 | 0.000000e+00 | -- | Inf
161.57/161.63 c 162s| 61300 | 87 | 1079k| 17.6 | 11M| 46 | - | 231 | 13k| 231 |2453 | 17 | 38k|4631 | 0.000000e+00 | -- | Inf
161.86/161.91 c 162s| 61400 | 89 | 1080k| 17.6 | 11M| 47 | 29 | 231 | 13k| 231 |2453 | 17 | 38k|4641 | 0.000000e+00 | -- | Inf
162.06/162.14 c 162s| 61500 | 87 | 1082k| 17.6 | 11M| 47 | - | 231 | 13k| 231 |2453 | 17 | 38k|4650 | 0.000000e+00 | -- | Inf
162.25/162.38 c 162s| 61600 | 92 | 1084k| 17.6 | 11M| 47 | 16 | 231 | 13k| 231 |2453 | 17 | 38k|4658 | 0.000000e+00 | -- | Inf
162.46/162.58 c 163s| 61700 | 90 | 1085k| 17.6 | 11M| 47 | - | 231 | 13k| 231 |2453 | 17 | 38k|4663 | 0.000000e+00 | -- | Inf
162.76/162.83 c 163s| 61800 | 89 | 1086k| 17.6 | 11M| 47 | - | 231 | 13k| 231 |2453 | 17 | 38k|4671 | 0.000000e+00 | -- | Inf
162.95/163.06 c 163s| 61900 | 87 | 1088k| 17.6 | 11M| 47 | - | 231 | 13k| 231 |2453 | 17 | 38k|4679 | 0.000000e+00 | -- | Inf
163.26/163.33 c 163s| 62000 | 89 | 1090k| 17.6 | 11M| 47 | - | 231 | 13k| 231 |2453 | 17 | 38k|4684 | 0.000000e+00 | -- | Inf
163.46/163.58 c 164s| 62100 | 87 | 1092k| 17.6 | 11M| 47 | - | 231 | 13k| 231 |2453 | 17 | 38k|4688 | 0.000000e+00 | -- | Inf
163.76/163.88 c 164s| 62200 | 85 | 1094k| 17.6 | 11M| 47 | - | 231 | 13k| 231 |2453 | 17 | 38k|4697 | 0.000000e+00 | -- | Inf
164.06/164.18 c 164s| 62300 | 85 | 1096k| 17.6 | 11M| 47 | - | 231 | 13k| 231 |2453 | 17 | 38k|4705 | 0.000000e+00 | -- | Inf
164.36/164.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
164.36/164.44 c 164s| 62400 | 83 | 1098k| 17.6 | 11M| 47 | - | 231 | 13k| 231 |2453 | 17 | 38k|4708 | 0.000000e+00 | -- | Inf
164.56/164.68 c 165s| 62500 | 81 | 1100k| 17.6 | 11M| 47 | - | 231 | 13k| 231 |2453 | 17 | 38k|4711 | 0.000000e+00 | -- | Inf
164.86/164.91 c 165s| 62600 | 80 | 1101k| 17.6 | 11M| 47 | - | 231 | 13k| 231 |2453 | 17 | 38k|4711 | 0.000000e+00 | -- | Inf
165.06/165.16 c 165s| 62700 | 84 | 1103k| 17.6 | 11M| 47 | 37 | 231 | 13k| 231 |2453 | 17 | 38k|4712 | 0.000000e+00 | -- | Inf
165.25/165.39 c 165s| 62800 | 86 | 1105k| 17.6 | 11M| 47 | 32 | 231 | 13k| 231 |2453 | 17 | 38k|4712 | 0.000000e+00 | -- | Inf
165.56/165.60 c 166s| 62900 | 86 | 1107k| 17.6 | 11M| 47 | 30 | 231 | 13k| 231 |2453 | 17 | 39k|4712 | 0.000000e+00 | -- | Inf
165.76/165.82 c 166s| 63000 | 86 | 1108k| 17.6 | 11M| 48 | 28 | 231 | 13k| 231 |2453 | 17 | 39k|4712 | 0.000000e+00 | -- | Inf
165.97/166.07 c 166s| 63100 | 83 | 1110k| 17.6 | 11M| 48 | - | 231 | 13k| 231 |2453 | 17 | 39k|4714 | 0.000000e+00 | -- | Inf
166.26/166.31 c 166s| 63200 | 83 | 1112k| 17.6 | 11M| 48 | - | 231 | 13k| 231 |2453 | 17 | 39k|4714 | 0.000000e+00 | -- | Inf
166.46/166.57 c 167s| 63300 | 81 | 1114k| 17.6 | 11M| 48 | - | 231 | 13k| 231 |2453 | 17 | 39k|4714 | 0.000000e+00 | -- | Inf
166.76/166.83 c 167s| 63400 | 83 | 1116k| 17.6 | 11M| 48 | - | 231 | 13k| 231 |2453 | 17 | 39k|4714 | 0.000000e+00 | -- | Inf
166.96/167.02 c 167s| 63500 | 88 | 1117k| 17.6 | 12M| 48 | - | 231 | 13k| 231 |2453 | 17 | 39k|4714 | 0.000000e+00 | -- | Inf
167.17/167.26 c 167s| 63600 | 92 | 1119k| 17.6 | 12M| 48 | 45 | 231 | 13k| 231 |2453 | 17 | 39k|4714 | 0.000000e+00 | -- | Inf
167.45/167.50 c 168s| 63700 | 94 | 1121k| 17.6 | 12M| 48 | - | 231 | 13k| 231 |2453 | 17 | 39k|4714 | 0.000000e+00 | -- | Inf
167.66/167.75 c 168s| 63800 | 90 | 1123k| 17.6 | 12M| 48 | 36 | 231 | 13k| 231 |2453 | 17 | 39k|4714 | 0.000000e+00 | -- | Inf
167.85/167.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
167.85/167.99 c 168s| 63900 | 92 | 1125k| 17.6 | 12M| 48 | 36 | 231 | 13k| 231 |2453 | 17 | 39k|4714 | 0.000000e+00 | -- | Inf
168.16/168.21 c 168s| 64000 | 95 | 1126k| 17.6 | 11M| 48 | 35 | 231 | 13k| 231 |2453 | 17 | 39k|4714 | 0.000000e+00 | -- | Inf
168.36/168.43 c 168s| 64100 | 90 | 1128k| 17.6 | 11M| 48 | - | 231 | 13k| 0 | 0 | 17 | 39k|4714 | 0.000000e+00 | -- | Inf
168.56/168.65 c 169s| 64200 | 91 | 1130k| 17.6 | 11M| 48 | - | 231 | 13k| 231 |2453 | 17 | 39k|4714 | 0.000000e+00 | -- | Inf
168.75/168.88 c 169s| 64300 | 93 | 1131k| 17.6 | 11M| 48 | - | 231 | 13k| 231 |2453 | 17 | 39k|4714 | 0.000000e+00 | -- | Inf
169.06/169.12 c 169s| 64400 | 93 | 1133k| 17.6 | 12M| 48 | - | 231 | 13k| 231 |2453 | 17 | 39k|4714 | 0.000000e+00 | -- | Inf
169.26/169.36 c 169s| 64500 | 100 | 1135k| 17.6 | 12M| 48 | 29 | 231 | 13k| 231 |2453 | 17 | 39k|4714 | 0.000000e+00 | -- | Inf
169.56/169.60 c 170s| 64600 | 98 | 1137k| 17.6 | 12M| 56 | - | 231 | 13k| 231 |2453 | 17 | 39k|4714 | 0.000000e+00 | -- | Inf
169.76/169.81 c 170s| 64700 | 101 | 1138k| 17.6 | 12M| 56 | 30 | 231 | 13k| 231 |2453 | 17 | 40k|4714 | 0.000000e+00 | -- | Inf
169.95/170.08 c 170s| 64800 | 101 | 1141k| 17.6 | 12M| 56 | - | 231 | 13k| 231 |2453 | 17 | 40k|4714 | 0.000000e+00 | -- | Inf
170.26/170.35 c 170s| 64900 | 103 | 1143k| 17.6 | 12M| 56 | 43 | 231 | 13k| 231 |2453 | 17 | 40k|4723 | 0.000000e+00 | -- | Inf
170.66/170.70 c 171s| 65000 | 103 | 1145k| 17.6 | 12M| 56 | - | 231 | 13k| 231 |2453 | 17 | 40k|4737 | 0.000000e+00 | -- | Inf
170.86/170.94 c 171s| 65100 | 101 | 1147k| 17.6 | 12M| 56 | - | 231 | 14k| 231 |2453 | 17 | 40k|4739 | 0.000000e+00 | -- | Inf
171.15/171.22 c 171s| 65200 | 101 | 1148k| 17.6 | 12M| 56 | - | 231 | 14k| 231 |2453 | 17 | 40k|4749 | 0.000000e+00 | -- | Inf
171.36/171.48 c 171s| 65300 | 99 | 1150k| 17.6 | 12M| 56 | - | 231 | 14k| 0 | 0 | 17 | 40k|4762 | 0.000000e+00 | -- | Inf
171.66/171.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
171.66/171.70 c 172s| 65400 | 96 | 1152k| 17.6 | 12M| 56 | - | 231 | 14k| 231 |2453 | 17 | 40k|4762 | 0.000000e+00 | -- | Inf
171.86/171.99 c 172s| 65500 | 98 | 1154k| 17.6 | 12M| 56 | 33 | 231 | 14k| 231 |2453 | 17 | 40k|4772 | 0.000000e+00 | -- | Inf
172.15/172.23 c 172s| 65600 | 98 | 1155k| 17.6 | 12M| 56 | 23 | 231 | 14k| 231 |2453 | 17 | 40k|4780 | 0.000000e+00 | -- | Inf
172.46/172.50 c 173s| 65700 | 97 | 1157k| 17.6 | 12M| 56 | - | 231 | 14k| 231 |2453 | 17 | 40k|4786 | 0.000000e+00 | -- | Inf
172.67/172.74 c 173s| 65800 | 100 | 1159k| 17.6 | 12M| 56 | 36 | 231 | 14k| 231 |2453 | 17 | 40k|4794 | 0.000000e+00 | -- | Inf
172.96/173.01 c 173s| 65900 | 100 | 1161k| 17.6 | 12M| 56 | - | 231 | 14k| 231 |2453 | 17 | 40k|4806 | 0.000000e+00 | -- | Inf
173.25/173.30 c 173s| 66000 | 100 | 1163k| 17.6 | 12M| 56 | - | 231 | 14k| 231 |2453 | 17 | 40k|4815 | 0.000000e+00 | -- | Inf
173.46/173.57 c 174s| 66100 | 101 | 1164k| 17.6 | 12M| 56 | 35 | 231 | 14k| 231 |2453 | 17 | 40k|4821 | 0.000000e+00 | -- | Inf
173.76/173.87 c 174s| 66200 | 101 | 1167k| 17.6 | 12M| 56 | - | 231 | 14k| 231 |2453 | 17 | 40k|4832 | 0.000000e+00 | -- | Inf
174.06/174.16 c 174s| 66300 | 101 | 1169k| 17.6 | 12M| 56 | - | 231 | 14k| 231 |2453 | 17 | 40k|4840 | 0.000000e+00 | -- | Inf
174.35/174.47 c 174s| 66400 | 101 | 1171k| 17.6 | 12M| 56 | 44 | 231 | 14k| 231 |2453 | 17 | 40k|4851 | 0.000000e+00 | -- | Inf
174.66/174.75 c 175s| 66500 | 99 | 1173k| 17.6 | 12M| 56 | - | 231 | 14k| 231 |2453 | 17 | 41k|4856 | 0.000000e+00 | -- | Inf
174.96/175.05 c 175s| 66600 | 98 | 1175k| 17.6 | 12M| 56 | - | 231 | 14k| 231 |2453 | 17 | 41k|4867 | 0.000000e+00 | -- | Inf
175.25/175.33 c 175s| 66700 | 100 | 1177k| 17.7 | 12M| 56 | - | 231 | 14k| 231 |2453 | 17 | 41k|4868 | 0.000000e+00 | -- | Inf
175.45/175.58 c 176s| 66800 | 100 | 1179k| 17.7 | 12M| 56 | - | 231 | 14k| 231 |2453 | 17 | 41k|4870 | 0.000000e+00 | -- | Inf
175.76/175.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
175.76/175.82 c 176s| 66900 | 102 | 1181k| 17.7 | 12M| 56 | - | 231 | 14k| 0 | 0 | 17 | 41k|4870 | 0.000000e+00 | -- | Inf
175.96/176.07 c 176s| 67000 | 102 | 1183k| 17.7 | 12M| 56 | 35 | 231 | 14k| 231 |2453 | 17 | 41k|4872 | 0.000000e+00 | -- | Inf
176.15/176.29 c 176s| 67100 | 102 | 1184k| 17.7 | 12M| 56 | 24 | 231 | 14k| 231 |2453 | 17 | 41k|4874 | 0.000000e+00 | -- | Inf
176.46/176.53 c 177s| 67200 | 102 | 1186k| 17.7 | 12M| 56 | - | 231 | 14k| 0 | 0 | 17 | 41k|4876 | 0.000000e+00 | -- | Inf
176.65/176.79 c 177s| 67300 | 101 | 1188k| 17.7 | 12M| 56 | 34 | 231 | 14k| 231 |2453 | 17 | 41k|4877 | 0.000000e+00 | -- | Inf
176.97/177.05 c 177s| 67400 | 100 | 1190k| 17.7 | 12M| 56 | 39 | 231 | 14k| 231 |2453 | 17 | 41k|4878 | 0.000000e+00 | -- | Inf
177.16/177.29 c 177s| 67500 | 106 | 1192k| 17.7 | 12M| 56 | - | 231 | 14k| 231 |2453 | 17 | 41k|4878 | 0.000000e+00 | -- | Inf
177.45/177.53 c 178s| 67600 | 103 | 1194k| 17.7 | 12M| 56 | 43 | 231 | 14k| 231 |2453 | 17 | 41k|4879 | 0.000000e+00 | -- | Inf
177.66/177.76 c 178s| 67700 | 103 | 1196k| 17.7 | 12M| 56 | - | 231 | 14k| 231 |2453 | 17 | 41k|4879 | 0.000000e+00 | -- | Inf
177.86/177.98 c 178s| 67800 | 104 | 1197k| 17.7 | 12M| 56 | - | 231 | 14k| 231 |2453 | 17 | 41k|4881 | 0.000000e+00 | -- | Inf
178.16/178.23 c 178s| 67900 | 104 | 1199k| 17.7 | 12M| 56 | 41 | 231 | 14k| 231 |2453 | 17 | 41k|4881 | 0.000000e+00 | -- | Inf
178.35/178.49 c 178s| 68000 | 104 | 1201k| 17.7 | 12M| 56 | - | 231 | 14k| 231 |2453 | 17 | 41k|4881 | 0.000000e+00 | -- | Inf
178.66/178.73 c 179s| 68100 | 104 | 1203k| 17.7 | 12M| 56 | 39 | 231 | 14k| 231 |2453 | 17 | 41k|4881 | 0.000000e+00 | -- | Inf
178.96/179.00 c 179s| 68200 | 105 | 1205k| 17.7 | 12M| 56 | - | 231 | 14k| 231 |2453 | 17 | 41k|4881 | 0.000000e+00 | -- | Inf
179.16/179.23 c 179s| 68300 | 110 | 1207k| 17.7 | 12M| 56 | 33 | 231 | 14k| 231 |2453 | 17 | 42k|4881 | 0.000000e+00 | -- | Inf
179.35/179.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
179.35/179.48 c 179s| 68400 | 110 | 1209k| 17.7 | 12M| 56 | 28 | 231 | 14k| 231 |2453 | 17 | 42k|4882 | 0.000000e+00 | -- | Inf
179.66/179.73 c 180s| 68500 | 102 | 1211k| 17.7 | 12M| 56 | - | 231 | 14k| 231 |2453 | 17 | 42k|4882 | 0.000000e+00 | -- | Inf
179.85/179.98 c 180s| 68600 | 103 | 1213k| 17.7 | 12M| 56 | 34 | 231 | 14k| 231 |2453 | 17 | 42k|4882 | 0.000000e+00 | -- | Inf
180.16/180.23 c 180s| 68700 | 107 | 1215k| 17.7 | 12M| 56 | - | 231 | 14k| 0 | 0 | 17 | 42k|4882 | 0.000000e+00 | -- | Inf
180.36/180.43 c 180s| 68800 | 106 | 1216k| 17.7 | 12M| 56 | 32 | 231 | 14k| 231 |2453 | 17 | 42k|4882 | 0.000000e+00 | -- | Inf
180.56/180.69 c 181s| 68900 | 107 | 1218k| 17.7 | 12M| 56 | 41 | 231 | 14k| 231 |2453 | 17 | 42k|4882 | 0.000000e+00 | -- | Inf
180.85/180.92 c 181s| 69000 | 105 | 1220k| 17.7 | 12M| 56 | 35 | 231 | 14k| 231 |2453 | 17 | 42k|4882 | 0.000000e+00 | -- | Inf
181.05/181.15 c 181s| 69100 | 102 | 1222k| 17.7 | 12M| 56 | - | 231 | 14k| 231 |2453 | 17 | 42k|4882 | 0.000000e+00 | -- | Inf
181.25/181.36 c 181s| 69200 | 104 | 1223k| 17.7 | 12M| 56 | 35 | 231 | 14k| 231 |2453 | 17 | 42k|4882 | 0.000000e+00 | -- | Inf
181.46/181.57 c 182s| 69300 | 102 | 1225k| 17.7 | 12M| 56 | 42 | 231 | 14k| 231 |2453 | 17 | 42k|4882 | 0.000000e+00 | -- | Inf
181.65/181.77 c 182s| 69400 | 104 | 1226k| 17.7 | 12M| 56 | - | 231 | 14k| 231 |2453 | 17 | 42k|4882 | 0.000000e+00 | -- | Inf
181.95/182.02 c 182s| 69500 | 105 | 1227k| 17.7 | 12M| 56 | 30 | 231 | 13k| 231 |2453 | 17 | 42k|4890 | 0.000000e+00 | -- | Inf
182.26/182.30 c 182s| 69600 | 103 | 1229k| 17.7 | 12M| 56 | - | 231 | 13k| 0 | 0 | 17 | 42k|4899 | 0.000000e+00 | -- | Inf
182.46/182.54 c 183s| 69700 | 101 | 1231k| 17.7 | 11M| 56 | - | 231 | 13k| 231 |2453 | 17 | 42k|4899 | 0.000000e+00 | -- | Inf
182.75/182.85 c 183s| 69800 | 101 | 1233k| 17.7 | 11M| 56 | - | 231 | 13k| 231 |2453 | 17 | 42k|4908 | 0.000000e+00 | -- | Inf
183.06/183.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
183.06/183.19 c 183s| 69900 | 101 | 1236k| 17.7 | 11M| 56 | 40 | 231 | 13k| 231 |2453 | 17 | 42k|4917 | 0.000000e+00 | -- | Inf
183.35/183.48 c 183s| 70000 | 102 | 1238k| 17.7 | 11M| 56 | 43 | 231 | 13k| 231 |2453 | 17 | 43k|4929 | 0.000000e+00 | -- | Inf
183.66/183.78 c 184s| 70100 | 100 | 1240k| 17.7 | 11M| 56 | 43 | 231 | 13k| 231 |2453 | 17 | 43k|4939 | 0.000000e+00 | -- | Inf
184.05/184.11 c 184s| 70200 | 100 | 1242k| 17.7 | 11M| 56 | 28 | 231 | 13k| 231 |2453 | 17 | 43k|4953 | 0.000000e+00 | -- | Inf
184.25/184.37 c 184s| 70300 | 98 | 1243k| 17.7 | 11M| 56 | - | 231 | 13k| 231 |2453 | 17 | 43k|4959 | 0.000000e+00 | -- | Inf
184.56/184.63 c 185s| 70400 | 98 | 1245k| 17.7 | 11M| 56 | - | 231 | 13k| 231 |2453 | 17 | 43k|4964 | 0.000000e+00 | -- | Inf
184.85/184.91 c 185s| 70500 | 99 | 1247k| 17.7 | 11M| 56 | - | 231 | 13k| 231 |2453 | 17 | 43k|4972 | 0.000000e+00 | -- | Inf
185.05/185.13 c 185s| 70600 | 99 | 1249k| 17.7 | 11M| 56 | 32 | 231 | 13k| 231 |2453 | 17 | 43k|4980 | 0.000000e+00 | -- | Inf
185.36/185.42 c 185s| 70700 | 99 | 1250k| 17.7 | 11M| 56 | - | 231 | 12k| 231 |2453 | 17 | 43k|4994 | 0.000000e+00 | -- | Inf
185.55/185.68 c 186s| 70800 | 99 | 1252k| 17.7 | 11M| 56 | - | 231 | 12k| 231 |2453 | 17 | 43k|4999 | 0.000000e+00 | -- | Inf
185.86/185.97 c 186s| 70900 | 95 | 1254k| 17.7 | 11M| 56 | - | 231 | 12k| 231 |2453 | 17 | 43k|5008 | 0.000000e+00 | -- | Inf
186.16/186.25 c 186s| 71000 | 91 | 1256k| 17.7 | 11M| 56 | - | 231 | 12k| 231 |2453 | 17 | 43k|5015 | 0.000000e+00 | -- | Inf
186.46/186.51 c 187s| 71100 | 92 | 1258k| 17.7 | 11M| 56 | 29 | 231 | 12k| 231 |2453 | 17 | 43k|5024 | 0.000000e+00 | -- | Inf
186.76/186.80 c 187s| 71200 | 94 | 1260k| 17.7 | 11M| 56 | 33 | 231 | 12k| 231 |2453 | 17 | 43k|5032 | 0.000000e+00 | -- | Inf
186.96/187.05 c 187s| 71300 | 92 | 1261k| 17.7 | 11M| 56 | - | 231 | 12k| 231 |2453 | 17 | 43k|5038 | 0.000000e+00 | -- | Inf
187.25/187.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
187.25/187.37 c 187s| 71400 | 88 | 1264k| 17.7 | 11M| 56 | 38 | 231 | 12k| 231 |2453 | 17 | 43k|5050 | 0.000000e+00 | -- | Inf
187.56/187.65 c 188s| 71500 | 88 | 1266k| 17.7 | 11M| 56 | 30 | 231 | 11k| 231 |2453 | 17 | 43k|5058 | 0.000000e+00 | -- | Inf
187.85/187.92 c 188s| 71600 | 87 | 1267k| 17.7 | 11M| 56 | - | 231 | 11k| 231 |2453 | 17 | 43k|5065 | 0.000000e+00 | -- | Inf
188.06/188.18 c 188s| 71700 | 89 | 1269k| 17.7 | 11M| 56 | 22 | 231 | 11k| 231 |2453 | 17 | 43k|5070 | 0.000000e+00 | -- | Inf
188.35/188.45 c 188s| 71800 | 87 | 1271k| 17.7 | 11M| 56 | - | 231 | 11k| 0 | 0 | 17 | 44k|5075 | 0.000000e+00 | -- | Inf
188.66/188.72 c 189s| 71900 | 87 | 1273k| 17.7 | 11M| 56 | - | 231 | 11k| 231 |2453 | 17 | 44k|5079 | 0.000000e+00 | -- | Inf
188.86/188.96 c 189s| 72000 | 85 | 1275k| 17.7 | 11M| 56 | - | 231 | 11k| 231 |2453 | 17 | 44k|5084 | 0.000000e+00 | -- | Inf
189.06/189.18 c 189s| 72100 | 83 | 1276k| 17.7 | 11M| 56 | - | 231 | 11k| 231 |2453 | 17 | 44k|5087 | 0.000000e+00 | -- | Inf
189.35/189.41 c 189s| 72200 | 83 | 1278k| 17.7 | 11M| 56 | - | 231 | 11k| 231 |2453 | 17 | 44k|5088 | 0.000000e+00 | -- | Inf
189.56/189.65 c 190s| 72300 | 82 | 1279k| 17.7 | 11M| 56 | - | 231 | 11k| 231 |2453 | 17 | 44k|5094 | 0.000000e+00 | -- | Inf
189.75/189.86 c 190s| 72400 | 80 | 1281k| 17.7 | 11M| 56 | 40 | 231 | 11k| 231 |2453 | 17 | 44k|5096 | 0.000000e+00 | -- | Inf
189.96/190.07 c 190s| 72500 | 81 | 1282k| 17.7 | 11M| 56 | - | 231 | 11k| 231 |2453 | 17 | 44k|5096 | 0.000000e+00 | -- | Inf
190.16/190.30 c 190s| 72600 | 81 | 1284k| 17.7 | 11M| 56 | - | 231 | 11k| 231 |2453 | 17 | 44k|5096 | 0.000000e+00 | -- | Inf
190.45/190.54 c 191s| 72700 | 79 | 1286k| 17.7 | 11M| 56 | - | 231 | 11k| 231 |2453 | 17 | 44k|5096 | 0.000000e+00 | -- | Inf
190.76/190.80 c 191s| 72800 | 77 | 1288k| 17.7 | 11M| 56 | - | 231 | 11k| 231 |2453 | 17 | 44k|5097 | 0.000000e+00 | -- | Inf
190.96/191.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
190.96/191.02 c 191s| 72900 | 79 | 1290k| 17.7 | 11M| 56 | 29 | 231 | 11k| 231 |2453 | 17 | 44k|5097 | 0.000000e+00 | -- | Inf
191.15/191.28 c 191s| 73000 | 79 | 1292k| 17.7 | 11M| 56 | 33 | 231 | 11k| 231 |2453 | 17 | 44k|5097 | 0.000000e+00 | -- | Inf
191.36/191.48 c 191s| 73100 | 79 | 1293k| 17.7 | 11M| 56 | 27 | 231 | 11k| 231 |2453 | 17 | 44k|5097 | 0.000000e+00 | -- | Inf
191.65/191.73 c 192s| 73200 | 77 | 1295k| 17.7 | 11M| 56 | - | 231 | 11k| 231 |2453 | 17 | 44k|5097 | 0.000000e+00 | -- | Inf
191.85/191.95 c 192s| 73300 | 77 | 1297k| 17.7 | 11M| 56 | 33 | 231 | 11k| 231 |2453 | 17 | 44k|5097 | 0.000000e+00 | -- | Inf
192.05/192.17 c 192s| 73400 | 78 | 1299k| 17.7 | 11M| 56 | 39 | 231 | 11k| 231 |2453 | 17 | 45k|5097 | 0.000000e+00 | -- | Inf
192.25/192.37 c 192s| 73500 | 80 | 1300k| 17.7 | 11M| 56 | 24 | 231 | 11k| 231 |2453 | 17 | 45k|5097 | 0.000000e+00 | -- | Inf
192.46/192.55 c 193s| 73600 | 78 | 1302k| 17.7 | 11M| 56 | - | 231 | 11k| 231 |2453 | 17 | 45k|5097 | 0.000000e+00 | -- | Inf
192.66/192.76 c 193s| 73700 | 78 | 1303k| 17.7 | 11M| 56 | - | 231 | 11k| 231 |2453 | 17 | 45k|5097 | 0.000000e+00 | -- | Inf
192.86/192.97 c 193s| 73800 | 78 | 1305k| 17.7 | 11M| 56 | - | 231 | 11k| 231 |2453 | 17 | 45k|5097 | 0.000000e+00 | -- | Inf
193.15/193.22 c 193s| 73900 | 78 | 1307k| 17.7 | 11M| 56 | 33 | 231 | 11k| 231 |2453 | 17 | 45k|5097 | 0.000000e+00 | -- | Inf
193.35/193.47 c 193s| 74000 | 79 | 1309k| 17.7 | 11M| 56 | 38 | 231 | 11k| 231 |2453 | 17 | 45k|5097 | 0.000000e+00 | -- | Inf
193.65/193.70 c 194s| 74100 | 78 | 1310k| 17.7 | 11M| 56 | - | 231 | 11k| 231 |2453 | 17 | 45k|5097 | 0.000000e+00 | -- | Inf
193.86/193.91 c 194s| 74200 | 80 | 1312k| 17.7 | 11M| 56 | 35 | 231 | 12k| 231 |2453 | 17 | 45k|5097 | 0.000000e+00 | -- | Inf
194.05/194.14 c 194s| 74300 | 83 | 1314k| 17.7 | 11M| 56 | 28 | 231 | 12k| 231 |2453 | 17 | 45k|5097 | 0.000000e+00 | -- | Inf
194.35/194.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
194.35/194.40 c 194s| 74400 | 81 | 1316k| 17.7 | 11M| 56 | - | 231 | 12k| 231 |2453 | 17 | 45k|5097 | 0.000000e+00 | -- | Inf
194.56/194.62 c 195s| 74500 | 89 | 1318k| 17.7 | 11M| 56 | 21 | 231 | 12k| 231 |2453 | 17 | 45k|5097 | 0.000000e+00 | -- | Inf
194.75/194.82 c 195s| 74600 | 89 | 1319k| 17.7 | 11M| 56 | 19 | 231 | 12k| 231 |2453 | 17 | 45k|5097 | 0.000000e+00 | -- | Inf
194.95/195.01 c 195s| 74700 | 87 | 1320k| 17.7 | 11M| 56 | 38 | 231 | 12k| 231 |2453 | 17 | 45k|5097 | 0.000000e+00 | -- | Inf
195.15/195.25 c 195s| 74800 | 81 | 1322k| 17.7 | 11M| 56 | 43 | 231 | 12k| 231 |2453 | 17 | 45k|5097 | 0.000000e+00 | -- | Inf
195.36/195.46 c 195s| 74900 | 81 | 1324k| 17.7 | 11M| 56 | - | 231 | 12k| 231 |2453 | 17 | 45k|5097 | 0.000000e+00 | -- | Inf
195.66/195.75 c 196s| 75000 | 79 | 1326k| 17.7 | 11M| 56 | 38 | 231 | 12k| 231 |2453 | 17 | 46k|5106 | 0.000000e+00 | -- | Inf
195.85/195.97 c 196s| 75100 | 77 | 1327k| 17.7 | 11M| 56 | - | 231 | 12k| 231 |2453 | 17 | 46k|5106 | 0.000000e+00 | -- | Inf
196.15/196.26 c 196s| 75200 | 78 | 1329k| 17.7 | 11M| 56 | 37 | 231 | 12k| 231 |2453 | 17 | 46k|5115 | 0.000000e+00 | -- | Inf
196.45/196.55 c 197s| 75300 | 73 | 1331k| 17.7 | 11M| 56 | - | 231 | 12k| 231 |2453 | 17 | 46k|5124 | 0.000000e+00 | -- | Inf
196.75/196.81 c 197s| 75400 | 73 | 1333k| 17.7 | 11M| 56 | 31 | 231 | 12k| 231 |2453 | 17 | 46k|5124 | 0.000000e+00 | -- | Inf
196.95/197.07 c 197s| 75500 | 72 | 1335k| 17.7 | 11M| 56 | 36 | 231 | 12k| 231 |2453 | 17 | 46k|5134 | 0.000000e+00 | -- | Inf
197.25/197.32 c 197s| 75600 | 68 | 1336k| 17.7 | 11M| 56 | - | 231 | 12k| 231 |2453 | 17 | 46k|5141 | 0.000000e+00 | -- | Inf
197.46/197.55 c 198s| 75700 | 70 | 1338k| 17.7 | 11M| 56 | - | 231 | 11k| 231 |2453 | 17 | 46k|5145 | 0.000000e+00 | -- | Inf
197.65/197.77 c 198s| 75800 | 70 | 1339k| 17.7 | 11M| 56 | 29 | 231 | 11k| 231 |2453 | 17 | 46k|5149 | 0.000000e+00 | -- | Inf
197.96/198.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
197.96/198.04 c 198s| 75900 | 68 | 1341k| 17.7 | 11M| 56 | 33 | 231 | 11k| 231 |2453 | 17 | 46k|5161 | 0.000000e+00 | -- | Inf
198.25/198.30 c 198s| 76000 | 68 | 1343k| 17.7 | 11M| 56 | - | 231 | 11k| 231 |2453 | 17 | 46k|5164 | 0.000000e+00 | -- | Inf
198.45/198.55 c 199s| 76100 | 74 | 1344k| 17.7 | 11M| 56 | 38 | 231 | 11k| 231 |2453 | 17 | 46k|5173 | 0.000000e+00 | -- | Inf
198.76/198.81 c 199s| 76200 | 74 | 1346k| 17.7 | 11M| 56 | - | 231 | 11k| 231 |2453 | 17 | 46k|5184 | 0.000000e+00 | -- | Inf
198.96/199.03 c 199s| 76300 | 76 | 1348k| 17.7 | 11M| 56 | 35 | 231 | 11k| 231 |2453 | 17 | 46k|5184 | 0.000000e+00 | -- | Inf
199.25/199.34 c 199s| 76400 | 69 | 1350k| 17.7 | 11M| 56 | 38 | 231 | 11k| 231 |2453 | 17 | 46k|5193 | 0.000000e+00 | -- | Inf
199.55/199.63 c 200s| 76500 | 75 | 1352k| 17.7 | 11M| 56 | 40 | 231 | 11k| 231 |2453 | 17 | 46k|5201 | 0.000000e+00 | -- | Inf
199.86/199.90 c 200s| 76600 | 73 | 1354k| 17.7 | 11M| 56 | - | 231 | 11k| 231 |2453 | 17 | 46k|5209 | 0.000000e+00 | -- | Inf
200.06/200.17 c 200s| 76700 | 75 | 1356k| 17.7 | 11M| 56 | 24 | 231 | 11k| 231 |2453 | 17 | 47k|5216 | 0.000000e+00 | -- | Inf
200.35/200.45 c 200s| 76800 | 71 | 1358k| 17.7 | 11M| 56 | 27 | 231 | 12k| 231 |2453 | 17 | 47k|5223 | 0.000000e+00 | -- | Inf
200.65/200.72 c 201s| 76900 | 68 | 1359k| 17.7 | 11M| 56 | - | 231 | 12k| 231 |2453 | 17 | 47k|5231 | 0.000000e+00 | -- | Inf
200.95/201.04 c 201s| 77000 | 63 | 1362k| 17.7 | 11M| 56 | - | 231 | 11k| 231 |2453 | 17 | 47k|5240 | 0.000000e+00 | -- | Inf
201.15/201.26 c 201s| 77100 | 65 | 1363k| 17.7 | 11M| 56 | 24 | 231 | 11k| 231 |2453 | 17 | 47k|5247 | 0.000000e+00 | -- | Inf
201.46/201.50 c 201s| 77200 | 65 | 1365k| 17.7 | 11M| 56 | 28 | 231 | 11k| 231 |2453 | 17 | 47k|5252 | 0.000000e+00 | -- | Inf
201.65/201.79 c 202s| 77300 | 61 | 1367k| 17.7 | 11M| 56 | 30 | 231 | 11k| 231 |2453 | 17 | 47k|5258 | 0.000000e+00 | -- | Inf
201.95/202.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
201.95/202.08 c 202s| 77400 | 62 | 1369k| 17.7 | 11M| 56 | 26 | 231 | 11k| 231 |2453 | 17 | 47k|5265 | 0.000000e+00 | -- | Inf
202.26/202.34 c 202s| 77500 | 54 | 1371k| 17.7 | 11M| 56 | - | 231 | 11k| 231 |2453 | 17 | 47k|5269 | 0.000000e+00 | -- | Inf
202.55/202.60 c 203s| 77600 | 50 | 1372k| 17.7 | 11M| 56 | - | 231 | 11k| 231 |2453 | 17 | 47k|5271 | 0.000000e+00 | -- | Inf
202.76/202.86 c 203s| 77700 | 46 | 1374k| 17.7 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 47k|5272 | 0.000000e+00 | -- | Inf
203.06/203.10 c 203s| 77800 | 46 | 1376k| 17.7 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 47k|5273 | 0.000000e+00 | -- | Inf
203.25/203.36 c 203s| 77900 | 44 | 1378k| 17.7 | 10M| 56 | 29 | 231 | 11k| 231 |2453 | 17 | 47k|5276 | 0.000000e+00 | -- | Inf
203.46/203.56 c 204s| 78000 | 44 | 1379k| 17.7 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 47k|5276 | 0.000000e+00 | -- | Inf
203.66/203.77 c 204s| 78100 | 44 | 1381k| 17.7 | 10M| 56 | 36 | 231 | 11k| 231 |2453 | 17 | 47k|5277 | 0.000000e+00 | -- | Inf
203.95/204.01 c 204s| 78200 | 46 | 1383k| 17.7 | 10M| 56 | 29 | 231 | 11k| 231 |2453 | 17 | 47k|5277 | 0.000000e+00 | -- | Inf
204.15/204.25 c 204s| 78300 | 44 | 1385k| 17.7 | 10M| 56 | 30 | 231 | 11k| 231 |2453 | 17 | 47k|5277 | 0.000000e+00 | -- | Inf
204.46/204.51 c 205s| 78400 | 44 | 1387k| 17.7 | 10M| 56 | 36 | 231 | 11k| 231 |2453 | 17 | 48k|5277 | 0.000000e+00 | -- | Inf
204.65/204.74 c 205s| 78500 | 45 | 1389k| 17.7 | 10M| 56 | 35 | 231 | 11k| 231 |2453 | 17 | 48k|5277 | 0.000000e+00 | -- | Inf
204.85/204.98 c 205s| 78600 | 42 | 1390k| 17.7 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 48k|5277 | 0.000000e+00 | -- | Inf
205.16/205.21 c 205s| 78700 | 40 | 1392k| 17.7 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 48k|5277 | 0.000000e+00 | -- | Inf
205.35/205.45 c 205s| 78800 | 38 | 1394k| 17.7 | 10M| 56 | 35 | 231 | 11k| 231 |2453 | 17 | 48k|5277 | 0.000000e+00 | -- | Inf
205.56/205.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
205.56/205.68 c 206s| 78900 | 38 | 1396k| 17.7 | 10M| 56 | 39 | 231 | 11k| 231 |2453 | 17 | 48k|5277 | 0.000000e+00 | -- | Inf
205.85/205.93 c 206s| 79000 | 35 | 1397k| 17.7 | 10M| 56 | 44 | 231 | 11k| 231 |2453 | 17 | 48k|5277 | 0.000000e+00 | -- | Inf
206.05/206.15 c 206s| 79100 | 35 | 1399k| 17.7 | 10M| 56 | 36 | 231 | 11k| 231 |2453 | 17 | 48k|5277 | 0.000000e+00 | -- | Inf
206.25/206.37 c 206s| 79200 | 35 | 1401k| 17.7 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 48k|5277 | 0.000000e+00 | -- | Inf
206.45/206.58 c 207s| 79300 | 33 | 1403k| 17.7 | 10M| 56 | - | 231 | 10k| 231 |2453 | 17 | 48k|5277 | 0.000000e+00 | -- | Inf
206.66/206.79 c 207s| 79400 | 33 | 1404k| 17.7 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 48k|5277 | 0.000000e+00 | -- | Inf
206.96/207.02 c 207s| 79500 | 31 | 1406k| 17.7 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 48k|5277 | 0.000000e+00 | -- | Inf
207.15/207.26 c 207s| 79600 | 33 | 1408k| 17.7 | 10M| 56 | 42 | 231 | 10k| 231 |2453 | 17 | 48k|5277 | 0.000000e+00 | -- | Inf
207.35/207.46 c 207s| 79700 | 35 | 1409k| 17.7 | 10M| 56 | 34 | 231 | 11k| 231 |2453 | 17 | 48k|5277 | 0.000000e+00 | -- | Inf
207.55/207.66 c 208s| 79800 | 34 | 1411k| 17.7 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 48k|5277 | 0.000000e+00 | -- | Inf
207.76/207.89 c 208s| 79900 | 34 | 1413k| 17.7 | 10M| 56 | 44 | 231 | 11k| 231 |2453 | 17 | 48k|5277 | 0.000000e+00 | -- | Inf
208.05/208.13 c 208s| 80000 | 34 | 1415k| 17.7 | 10M| 56 | 24 | 231 | 11k| 231 |2453 | 17 | 48k|5277 | 0.000000e+00 | -- | Inf
208.25/208.36 c 208s| 80100 | 32 | 1416k| 17.7 | 10M| 56 | 39 | 231 | 11k| 231 |2453 | 17 | 49k|5277 | 0.000000e+00 | -- | Inf
208.55/208.62 c 209s| 80200 | 32 | 1419k| 17.7 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 49k|5277 | 0.000000e+00 | -- | Inf
208.75/208.86 c 209s| 80300 | 26 | 1420k| 17.7 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 49k|5277 | 0.000000e+00 | -- | Inf
209.05/209.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
209.05/209.12 c 209s| 80400 | 24 | 1422k| 17.7 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 49k|5277 | 0.000000e+00 | -- | Inf
209.35/209.42 c 209s| 80500 | 22 | 1424k| 17.7 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 49k|5290 | 0.000000e+00 | -- | Inf
209.55/209.67 c 210s| 80600 | 26 | 1426k| 17.7 | 10M| 56 | 38 | 231 | 11k| 231 |2453 | 17 | 49k|5290 | 0.000000e+00 | -- | Inf
209.85/209.90 c 210s| 80700 | 23 | 1428k| 17.7 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 49k|5298 | 0.000000e+00 | -- | Inf
210.15/210.22 c 210s| 80800 | 21 | 1430k| 17.7 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 49k|5307 | 0.000000e+00 | -- | Inf
210.45/210.52 c 211s| 80900 | 18 | 1432k| 17.7 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 49k|5319 | 0.000000e+00 | -- | Inf
210.65/210.78 c 211s| 81000 | 22 | 1434k| 17.7 | 10M| 56 | - | 231 | 10k| 231 |2453 | 17 | 49k|5319 | 0.000000e+00 | -- | Inf
210.96/211.04 c 211s| 81100 | 19 | 1436k| 17.7 | 10M| 56 | 38 | 231 | 11k| 231 |2453 | 17 | 49k|5325 | 0.000000e+00 | -- | Inf
211.25/211.32 c 211s| 81200 | 18 | 1438k| 17.7 | 10M| 56 | 41 | 231 | 11k| 231 |2453 | 17 | 49k|5330 | 0.000000e+00 | -- | Inf
211.45/211.59 c 212s| 81300 | 18 | 1440k| 17.7 | 10M| 56 | 28 | 231 | 11k| 231 |2453 | 17 | 49k|5336 | 0.000000e+00 | -- | Inf
211.75/211.81 c 212s| 81400 | 14 | 1441k| 17.7 | 10M| 56 | 35 | 231 | 11k| 231 |2453 | 17 | 49k|5342 | 0.000000e+00 | -- | Inf
211.95/212.04 c 212s| 81500 | 25 | 1443k| 17.7 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 49k|5348 | 0.000000e+00 | -- | Inf
212.16/212.29 c 212s| 81600 | 28 | 1444k| 17.7 | 10M| 56 | 14 | 231 | 11k| 231 |2453 | 17 | 49k|5359 | 0.000000e+00 | -- | Inf
212.45/212.54 c 213s| 81700 | 24 | 1446k| 17.7 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 49k|5363 | 0.000000e+00 | -- | Inf
212.75/212.80 c 213s| 81800 | 28 | 1448k| 17.7 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 50k|5372 | 0.000000e+00 | -- | Inf
212.95/213.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
212.95/213.07 c 213s| 81900 | 21 | 1450k| 17.7 | 10M| 56 | 32 | 231 | 11k| 231 |2453 | 17 | 50k|5383 | 0.000000e+00 | -- | Inf
213.26/213.33 c 213s| 82000 | 15 | 1451k| 17.7 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 50k|5389 | 0.000000e+00 | -- | Inf
213.55/213.62 c 214s| 82100 | 11 | 1453k| 17.7 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 50k|5398 | 0.000000e+00 | -- | Inf
213.75/213.88 c 214s| 82200 | 13 | 1455k| 17.7 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 50k|5405 | 0.000000e+00 | -- | Inf
214.05/214.15 c 214s| 82300 | 10 | 1457k| 17.7 | 10M| 56 | 45 | 231 | 11k| 231 |2453 | 17 | 50k|5416 | 0.000000e+00 | -- | Inf
214.25/214.40 c 214s| 82400 | 10 | 1459k| 17.7 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 50k|5419 | 0.000000e+00 | -- | Inf
214.55/214.64 c 215s| 82500 | 8 | 1460k| 17.7 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 50k|5427 | 0.000000e+00 | -- | Inf
214.85/214.93 c 215s| 82600 | 10 | 1462k| 17.7 | 10M| 56 | 25 | 231 | 11k| 231 |2453 | 17 | 50k|5437 | 0.000000e+00 | -- | Inf
215.15/215.22 c 215s| 82700 | 12 | 1464k| 17.7 | 10M| 56 | 25 | 231 | 11k| 231 |2453 | 17 | 50k|5445 | 0.000000e+00 | -- | Inf
215.35/215.49 c 215s| 82800 | 10 | 1466k| 17.7 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 50k|5453 | 0.000000e+00 | -- | Inf
215.75/215.80 c 216s| 82900 | 8 | 1468k| 17.7 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 50k|5462 | 0.000000e+00 | -- | Inf
215.95/216.08 c 216s| 83000 | 9 | 1470k| 17.7 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 50k|5469 | 0.000000e+00 | -- | Inf
216.25/216.31 c 216s| 83100 | 11 | 1471k| 17.7 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 50k|5473 | 0.000000e+00 | -- | Inf
216.45/216.54 c 217s| 83200 | 7 | 1473k| 17.7 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 50k|5473 | 0.000000e+00 | -- | Inf
216.66/216.80 c 217s| 83300 | 9 | 1475k| 17.7 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 50k|5475 | 0.000000e+00 | -- | Inf
216.95/217.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
216.95/217.06 c 217s| 83400 | 10 | 1477k| 17.7 | 10M| 56 | 38 | 231 | 11k| 231 |2453 | 17 | 51k|5477 | 0.000000e+00 | -- | Inf
217.25/217.33 c 217s| 83500 | 6 | 1479k| 17.7 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 51k|5480 | 0.000000e+00 | -- | Inf
217.45/217.59 c 218s| 83600 | 8 | 1481k| 17.7 | 10M| 56 | 44 | 231 | 11k| 231 |2453 | 17 | 51k|5484 | 0.000000e+00 | -- | Inf
217.76/217.84 c 218s| 83700 | 8 | 1483k| 17.7 | 10M| 56 | 42 | 231 | 11k| 231 |2453 | 17 | 51k|5485 | 0.000000e+00 | -- | Inf
218.05/218.11 c 218s| 83800 | 8 | 1485k| 17.7 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 51k|5486 | 0.000000e+00 | -- | Inf
218.25/218.38 c 218s| 83900 | 13 | 1487k| 17.7 | 10M| 56 | 44 | 231 | 11k| 231 |2453 | 17 | 51k|5486 | 0.000000e+00 | -- | Inf
218.55/218.66 c 219s| 84000 | 6 | 1489k| 17.7 | 10M| 56 | 42 | 231 | 11k| 231 |2453 | 17 | 51k|5487 | 0.000000e+00 | -- | Inf
218.86/218.95 c 219s| 84100 | 6 | 1492k| 17.7 | 10M| 56 | 32 | 231 | 11k| 231 |2453 | 17 | 51k|5487 | 0.000000e+00 | -- | Inf
219.05/219.17 c 219s| 84200 | 2 | 1493k| 17.7 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 51k|5487 | 0.000000e+00 | -- | Inf
219.35/219.40 c 219s| 84300 | 3 | 1495k| 17.7 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 51k|5487 | 0.000000e+00 | -- | Inf
219.55/219.66 c 220s| 84400 | 5 | 1497k| 17.7 | 10M| 56 | 23 | 231 | 11k| 231 |2453 | 17 | 51k|5488 | 0.000000e+00 | -- | Inf
219.85/219.95 c 220s| 84500 | 5 | 1499k| 17.7 | 10M| 56 | 42 | 231 | 11k| 231 |2453 | 17 | 51k|5489 | 0.000000e+00 | -- | Inf
220.15/220.23 c 220s| 84600 | 4 | 1502k| 17.8 | 10M| 56 | 38 | 231 | 11k| 231 |2453 | 17 | 51k|5491 | 0.000000e+00 | -- | Inf
220.25/220.31 c
220.25/220.31 c SCIP Status : problem is solved [infeasible]
220.25/220.31 c Solving Time (sec) : 220.31
220.25/220.31 c Solving Nodes : 84628
220.25/220.31 c Primal Bound : +1.00000000000000e+20 (0 solutions)
220.25/220.31 c Dual Bound : +1.00000000000000e+20
220.25/220.31 c Gap : 0.00 %
220.25/220.31 s UNSATISFIABLE
220.25/220.31 c SCIP Status : problem is solved [infeasible]
220.25/220.31 c Total Time : 220.31
220.25/220.31 c solving : 220.31
220.25/220.31 c presolving : 0.05 (included in solving)
220.25/220.31 c reading : 0.01 (included in solving)
220.25/220.31 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
220.25/220.31 c Original Problem :
220.25/220.31 c Problem name : HOME/instance-3691576-1338021946.opb
220.25/220.31 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
220.25/220.31 c Constraints : 2707 initial, 2707 maximal
220.25/220.31 c Objective sense : minimize
220.25/220.31 c Presolved Problem :
220.25/220.31 c Problem name : t_HOME/instance-3691576-1338021946.opb
220.25/220.31 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
220.25/220.31 c Constraints : 2443 initial, 14586 maximal
220.25/220.31 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
220.25/220.31 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
220.25/220.31 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
220.25/220.31 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
220.25/220.31 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
220.25/220.31 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
220.25/220.31 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
220.25/220.31 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
220.25/220.31 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
220.25/220.31 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
220.25/220.31 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
220.25/220.31 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
220.25/220.31 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0
220.25/220.31 c setppc : 0.00 0.00 0 0 0 0 0 121 0 0 0
220.25/220.31 c linear : 0.02 0.00 0 0 0 0 0 143 0 0 0
220.25/220.31 c logicor : 0.02 0.00 0 0 0 0 0 0 0 0 0
220.25/220.31 c root node : - - 3 - - 3 - - - - -
220.25/220.31 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
220.25/220.31 c integral : 0 0 0 0 44012 0 1 0 200 2141 0 0 85184
220.25/220.31 c knapsack : 1 1 5 323639 0 0 0 25280 631 166515 0 0 0
220.25/220.31 c setppc : 22 22 5 323278 0 0 0 950295 1975 452029 0 0 0
220.25/220.31 c linear : 0+ 254 5 160522 0 0 0 346 9 4217 0 0 0
220.25/220.31 c logicor : 2420+ 14568 5 156260 0 0 0 301810 577 540801 0 0 0
220.25/220.31 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
220.25/220.31 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
220.25/220.31 c integral : 22.92 0.00 0.00 0.00 22.92 0.00 0.00 0.00
220.25/220.31 c knapsack : 0.41 0.00 0.00 0.38 0.00 0.00 0.00 0.03
220.25/220.31 c setppc : 1.37 0.00 0.00 1.09 0.00 0.00 0.00 0.28
220.25/220.31 c linear : 0.25 0.00 0.00 0.25 0.00 0.00 0.00 0.00
220.25/220.31 c logicor : 6.81 0.00 0.00 6.56 0.00 0.00 0.00 0.24
220.25/220.31 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
220.25/220.31 c Propagators : #Propagate #ResProp Cutoffs DomReds
220.25/220.31 c rootredcost : 0 0 0 0
220.25/220.31 c pseudoobj : 0 0 0 0
220.25/220.31 c vbounds : 0 0 0 0
220.25/220.31 c redcost : 44017 0 0 0
220.25/220.31 c probing : 0 0 0 0
220.25/220.31 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
220.25/220.31 c rootredcost : 0.08 0.00 0.00 0.08 0.00
220.25/220.31 c pseudoobj : 0.08 0.00 0.00 0.08 0.00
220.25/220.31 c vbounds : 0.07 0.00 0.00 0.07 0.00
220.25/220.31 c redcost : 0.19 0.00 0.00 0.19 0.00
220.25/220.31 c probing : 0.00 0.00 0.00 0.00 0.00
220.25/220.31 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
220.25/220.31 c propagation : 0.13 3192 3175 16820 21.7 40 20.2 -
220.25/220.31 c infeasible LP : 3.44 39194 38169 229289 34.6 156 17.6 0
220.25/220.31 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
220.25/220.31 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
220.25/220.31 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
220.25/220.31 c applied globally : - - - 48332 19.5 - - -
220.25/220.31 c applied locally : - - - 3470 34.5 - - -
220.25/220.31 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
220.25/220.31 c cut pool : 0.00 4 - - 306 - (maximal pool size: 517)
220.25/220.31 c closecuts : 0.00 0.00 0 0 0 0 0
220.25/220.31 c impliedbounds : 0.00 0.00 5 0 0 0 0
220.25/220.31 c intobj : 0.00 0.00 0 0 0 0 0
220.25/220.31 c gomory : 0.10 0.00 5 0 0 200 0
220.25/220.31 c cgmip : 0.00 0.00 0 0 0 0 0
220.25/220.31 c strongcg : 0.19 0.00 5 0 0 2500 0
220.25/220.31 c cmir : 0.00 0.00 0 0 0 0 0
220.25/220.31 c flowcover : 0.00 0.00 0 0 0 0 0
220.25/220.31 c clique : 0.00 0.00 5 0 0 0 0
220.25/220.31 c zerohalf : 0.00 0.00 0 0 0 0 0
220.25/220.31 c mcf : 0.00 0.00 1 0 0 0 0
220.25/220.31 c oddcycle : 0.00 0.00 0 0 0 0 0
220.25/220.31 c rapidlearning : 0.11 0.00 1 0 0 0 254
220.25/220.31 c Pricers : ExecTime SetupTime Calls Vars
220.25/220.31 c problem variables: 0.00 - 0 0
220.25/220.31 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
220.25/220.31 c relpscost : 22.88 0.00 44012 200 2141 0 0 85184
220.25/220.31 c pscost : 0.00 0.00 0 0 0 0 0 0
220.25/220.31 c inference : 0.00 0.00 0 0 0 0 0 0
220.25/220.31 c mostinf : 0.00 0.00 0 0 0 0 0 0
220.25/220.31 c leastinf : 0.00 0.00 0 0 0 0 0 0
220.25/220.31 c fullstrong : 0.00 0.00 0 0 0 0 0 0
220.25/220.31 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
220.25/220.31 c random : 0.00 0.00 0 0 0 0 0 0
220.25/220.31 c Primal Heuristics : ExecTime SetupTime Calls Found
220.25/220.31 c LP solutions : 0.00 - - 0
220.25/220.31 c pseudo solutions : 0.00 - - 0
220.25/220.31 c smallcard : 0.00 0.00 0 0
220.25/220.31 c trivial : 0.00 0.00 1 0
220.25/220.31 c shiftandpropagate: 0.00 0.00 0 0
220.25/220.31 c simplerounding : 0.00 0.00 0 0
220.25/220.31 c zirounding : 0.00 0.00 0 0
220.25/220.31 c rounding : 0.00 0.00 0 0
220.25/220.31 c shifting : 0.00 0.00 0 0
220.25/220.31 c intshifting : 0.00 0.00 0 0
220.25/220.31 c oneopt : 0.00 0.00 0 0
220.25/220.31 c twoopt : 0.00 0.00 0 0
220.25/220.31 c indtwoopt : 0.00 0.00 0 0
220.25/220.31 c indoneopt : 0.00 0.00 0 0
220.25/220.31 c fixandinfer : 0.00 0.00 0 0
220.25/220.31 c feaspump : 0.00 0.00 0 0
220.25/220.31 c clique : 0.00 0.00 0 0
220.25/220.31 c indrounding : 0.00 0.00 0 0
220.25/220.31 c indcoefdiving : 0.00 0.00 0 0
220.25/220.31 c coefdiving : 0.00 0.00 0 0
220.25/220.31 c pscostdiving : 0.00 0.00 0 0
220.25/220.31 c nlpdiving : 0.00 0.00 0 0
220.25/220.31 c fracdiving : 0.00 0.00 0 0
220.25/220.31 c veclendiving : 0.00 0.00 0 0
220.25/220.31 c intdiving : 0.00 0.00 0 0
220.25/220.31 c actconsdiving : 0.00 0.00 0 0
220.25/220.31 c objpscostdiving : 0.00 0.00 0 0
220.25/220.31 c rootsoldiving : 0.00 0.00 0 0
220.25/220.31 c linesearchdiving : 0.00 0.00 0 0
220.25/220.31 c guideddiving : 0.00 0.00 0 0
220.25/220.31 c octane : 0.00 0.00 0 0
220.25/220.31 c rens : 0.00 0.00 0 0
220.25/220.31 c rins : 0.00 0.00 0 0
220.25/220.31 c localbranching : 0.00 0.00 0 0
220.25/220.31 c mutation : 0.00 0.00 0 0
220.25/220.31 c crossover : 0.00 0.00 0 0
220.25/220.31 c dins : 0.00 0.00 0 0
220.25/220.31 c vbounds : 0.00 0.00 0 0
220.25/220.31 c undercover : 0.00 0.00 0 0
220.25/220.31 c subnlp : 0.00 0.00 0 0
220.25/220.31 c trysol : 0.00 0.00 0 0
220.25/220.31 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
220.25/220.31 c primal LP : 0.00 1 0 0.00 - 0.00 1
220.25/220.31 c dual LP : 163.29 83211 1502886 18.11 9203.97 0.08 223
220.25/220.31 c lex dual LP : 0.00 0 0 0.00 -
220.25/220.31 c barrier LP : 0.00 0 0 0.00 - 0.00 0
220.25/220.31 c diving/probing LP: 0.00 0 0 0.00 -
220.25/220.31 c strong branching : 22.19 5491 191175 34.82 8613.80
220.25/220.31 c (at root node) : - 11 2339 212.64 -
220.25/220.31 c conflict analysis: 0.00 0 0 0.00 -
220.25/220.31 c B&B Tree :
220.25/220.31 c number of runs : 1
220.25/220.31 c nodes : 84628
220.25/220.31 c nodes (total) : 84628
220.25/220.31 c nodes left : 0
220.25/220.31 c max depth : 56
220.25/220.31 c max depth (total): 56
220.25/220.31 c backtracks : 10427 (12.3%)
220.25/220.31 c delayed cutoffs : 557
220.25/220.31 c repropagations : 133311 (167997 domain reductions, 555 cutoffs)
220.25/220.31 c avg switch length: 4.75
220.25/220.31 c switching time : 7.71
220.25/220.31 c Solution :
220.25/220.31 c Solutions found : 0 (0 improvements)
220.25/220.31 c Primal Bound : infeasible
220.25/220.31 c Dual Bound : -
220.25/220.31 c Gap : 0.00 %
220.25/220.31 c Root Dual Bound : +0.00000000000000e+00
220.25/220.31 c Root Iterations : 146
220.25/220.33 c Time complete: 220.29.
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-3691576-1338021946/watcher-3691576-1338021946 -o /tmp/evaluation-result-3691576-1338021946/solver-3691576-1338021946 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691576-1338021946.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 3/174 2964
/proc/meminfo: memFree=29501636/32873852 swapFree=7616/7616
[pid=2964] ppid=2962 vsize=11000 CPUtime=0 cores=1,3,5,7
/proc/2964/stat : 2964 (scip-2.1.1.4exp) R 2962 2964 403 0 -1 4202496 1566 0 0 0 0 0 0 0 20 0 1 0 268320095 11264000 1520 33554432000 4194304 10219143 140737037690560 140737475127976 8891101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2964/statm: 2750 1530 398 1471 0 1270 0
[startup+0.050928 s]
/proc/loadavg: 2.00 2.01 2.00 3/174 2964
/proc/meminfo: memFree=29501636/32873852 swapFree=7616/7616
[pid=2964] ppid=2962 vsize=23656 CPUtime=0.04 cores=1,3,5,7
/proc/2964/stat : 2964 (scip-2.1.1.4exp) R 2962 2964 403 0 -1 4202496 4735 0 0 0 3 1 0 0 20 0 1 0 268320095 24223744 4432 33554432000 4194304 10219143 140737037690560 140737037554040 5344864 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2964/statm: 5914 4432 585 1471 0 4434 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 23656
[startup+0.100325 s]
/proc/loadavg: 2.00 2.01 2.00 3/174 2964
/proc/meminfo: memFree=29501636/32873852 swapFree=7616/7616
[pid=2964] ppid=2962 vsize=30608 CPUtime=0.08 cores=1,3,5,7
/proc/2964/stat : 2964 (scip-2.1.1.4exp) R 2962 2964 403 0 -1 4202496 6800 0 0 0 7 1 0 0 20 0 1 0 268320095 31342592 6452 33554432000 4194304 10219143 140737037690560 140737037554040 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2964/statm: 7652 6452 761 1471 0 6172 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 30608
[startup+0.300294 s]
/proc/loadavg: 2.00 2.01 2.00 3/174 2964
/proc/meminfo: memFree=29501636/32873852 swapFree=7616/7616
[pid=2964] ppid=2962 vsize=48388 CPUtime=0.29 cores=1,3,5,7
/proc/2964/stat : 2964 (scip-2.1.1.4exp) R 2962 2964 403 0 -1 4202496 11683 0 0 0 25 4 0 0 20 0 1 0 268320095 49549312 10627 33554432000 4194304 10219143 140737037690560 140737037554040 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2964/statm: 12097 10627 814 1471 0 10617 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48388
[startup+0.700226 s]
/proc/loadavg: 2.00 2.01 2.00 3/174 2964
/proc/meminfo: memFree=29501636/32873852 swapFree=7616/7616
[pid=2964] ppid=2962 vsize=48556 CPUtime=0.69 cores=1,3,5,7
/proc/2964/stat : 2964 (scip-2.1.1.4exp) R 2962 2964 403 0 -1 4202496 11801 0 0 0 65 4 0 0 20 0 1 0 268320095 49721344 10745 33554432000 4194304 10219143 140737037690560 140737037554040 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2964/statm: 12139 10745 817 1471 0 10659 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48556
[startup+1.50022 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 2965
/proc/meminfo: memFree=29462304/32873852 swapFree=7616/7616
[pid=2964] ppid=2962 vsize=48556 CPUtime=1.49 cores=1,3,5,7
/proc/2964/stat : 2964 (scip-2.1.1.4exp) R 2962 2964 403 0 -1 4202496 11807 0 0 0 144 5 0 0 20 0 1 0 268320095 49721344 10751 33554432000 4194304 10219143 140737037690560 140737037683544 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2964/statm: 12139 10751 823 1471 0 10659 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 48556
[startup+3.10023 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 2965
/proc/meminfo: memFree=29461932/32873852 swapFree=7616/7616
[pid=2964] ppid=2962 vsize=48556 CPUtime=3.08 cores=1,3,5,7
/proc/2964/stat : 2964 (scip-2.1.1.4exp) R 2962 2964 403 0 -1 4202496 11807 0 0 0 302 6 0 0 20 0 1 0 268320095 49721344 10751 33554432000 4194304 10219143 140737037690560 140737037683496 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2964/statm: 12139 10751 823 1471 0 10659 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 48556
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 2965
/proc/meminfo: memFree=29461172/32873852 swapFree=7616/7616
[pid=2964] ppid=2962 vsize=48556 CPUtime=6.29 cores=1,3,5,7
/proc/2964/stat : 2964 (scip-2.1.1.4exp) R 2962 2964 403 0 -1 4202496 11813 0 0 0 620 9 0 0 20 0 1 0 268320095 49721344 10848 33554432000 4194304 10219143 140737037690560 140737037684056 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2964/statm: 12139 10848 823 1471 0 10659 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 48556
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2965
/proc/meminfo: memFree=29460932/32873852 swapFree=7616/7616
[pid=2964] ppid=2962 vsize=48556 CPUtime=12.68 cores=1,3,5,7
/proc/2964/stat : 2964 (scip-2.1.1.4exp) R 2962 2964 403 0 -1 4202496 11814 0 0 0 1250 18 0 0 20 0 1 0 268320095 49721344 10849 33554432000 4194304 10219143 140737037690560 140737037683816 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2964/statm: 12139 10849 824 1471 0 10659 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 48556
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2965
/proc/meminfo: memFree=29460056/32873852 swapFree=7616/7616
[pid=2964] ppid=2962 vsize=48556 CPUtime=25.48 cores=1,3,5,7
/proc/2964/stat : 2964 (scip-2.1.1.4exp) R 2962 2964 403 0 -1 4202496 11817 0 0 0 2507 41 0 0 20 0 1 0 268320095 49721344 11104 33554432000 4194304 10219143 140737037690560 140737037684200 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2964/statm: 12139 11104 824 1471 0 10659 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 48556
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2965
/proc/meminfo: memFree=29459372/32873852 swapFree=7616/7616
[pid=2964] ppid=2962 vsize=48556 CPUtime=51.08 cores=1,3,5,7
/proc/2964/stat : 2964 (scip-2.1.1.4exp) R 2962 2964 403 0 -1 4202496 11817 0 0 0 5026 82 0 0 20 0 1 0 268320095 49721344 11104 33554432000 4194304 10219143 140737037690560 140737037684200 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2964/statm: 12139 11104 824 1471 0 10659 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 48556
[startup+102.307 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 2965
/proc/meminfo: memFree=29458876/32873852 swapFree=7616/7616
[pid=2964] ppid=2962 vsize=48556 CPUtime=102.27 cores=1,3,5,7
/proc/2964/stat : 2964 (scip-2.1.1.4exp) R 2962 2964 403 0 -1 4202496 11817 0 0 0 10065 162 0 0 20 0 1 0 268320095 49721344 11104 33554432000 4194304 10219143 140737037690560 140737037683864 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2964/statm: 12139 11104 824 1471 0 10659 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 48556
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 2965
/proc/meminfo: memFree=29458628/32873852 swapFree=7616/7616
[pid=2964] ppid=2962 vsize=48556 CPUtime=162.25 cores=1,3,5,7
/proc/2964/stat : 2964 (scip-2.1.1.4exp) R 2962 2964 403 0 -1 4202496 11817 0 0 0 15974 251 0 0 20 0 1 0 268320095 49721344 11104 33554432000 4194304 10219143 140737037690560 140737037684008 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2964/statm: 12139 11104 824 1471 0 10659 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 48556
Solver just ended. Dumping a history of the last processes samples
[startup+179.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 2965
/proc/meminfo: memFree=29458504/32873852 swapFree=7616/7616
[pid=2964] ppid=2962 vsize=48556 CPUtime=179.06 cores=1,3,5,7
/proc/2964/stat : 2964 (scip-2.1.1.4exp) R 2962 2964 403 0 -1 4202496 11817 0 0 0 17629 277 0 0 20 0 1 0 268320095 49721344 11104 33554432000 4194304 10219143 140737037690560 140737037684280 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2964/statm: 12139 11104 824 1471 0 10659 0
Current children cumulated CPU time (s) 179.06
Current children cumulated vsize (KiB) 48556
[startup+204.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/174 3041
/proc/meminfo: memFree=29463736/32873852 swapFree=7616/7616
[pid=2964] ppid=2962 vsize=48556 CPUtime=204.65 cores=1,3,5,7
/proc/2964/stat : 2964 (scip-2.1.1.4exp) R 2962 2964 403 0 -1 4202496 11817 0 0 0 20152 313 0 0 20 0 1 0 268320095 49721344 11104 33554432000 4194304 10219143 140737037690560 140737037687032 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2964/statm: 12139 11104 824 1471 0 10659 0
Current children cumulated CPU time (s) 204.65
Current children cumulated vsize (KiB) 48556
[startup+211.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 3042
/proc/meminfo: memFree=29463860/32873852 swapFree=7616/7616
[pid=2964] ppid=2962 vsize=48556 CPUtime=211.06 cores=1,3,5,7
/proc/2964/stat : 2964 (scip-2.1.1.4exp) R 2962 2964 403 0 -1 4202496 11818 0 0 0 20784 322 0 0 20 0 1 0 268320095 49721344 11105 33554432000 4194304 10219143 140737037690560 140737037683816 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2964/statm: 12139 11105 825 1471 0 10659 0
Current children cumulated CPU time (s) 211.06
Current children cumulated vsize (KiB) 48556
[startup+214.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 3042
/proc/meminfo: memFree=29463860/32873852 swapFree=7616/7616
[pid=2964] ppid=2962 vsize=48556 CPUtime=214.25 cores=1,3,5,7
/proc/2964/stat : 2964 (scip-2.1.1.4exp) R 2962 2964 403 0 -1 4202496 11818 0 0 0 21099 326 0 0 20 0 1 0 268320095 49721344 11105 33554432000 4194304 10219143 140737037690560 140737037685928 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2964/statm: 12139 11105 825 1471 0 10659 0
Current children cumulated CPU time (s) 214.25
Current children cumulated vsize (KiB) 48556
[startup+217.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 3042
/proc/meminfo: memFree=29463224/32873852 swapFree=7616/7616
[pid=2964] ppid=2962 vsize=48556 CPUtime=217.45 cores=1,3,5,7
/proc/2964/stat : 2964 (scip-2.1.1.4exp) R 2962 2964 403 0 -1 4202496 11818 0 0 0 21414 331 0 0 20 0 1 0 268320095 49721344 11105 33554432000 4194304 10219143 140737037690560 140737037684200 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2964/statm: 12139 11105 825 1471 0 10659 0
Current children cumulated CPU time (s) 217.45
Current children cumulated vsize (KiB) 48556
[startup+219.1 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 3042
/proc/meminfo: memFree=29463596/32873852 swapFree=7616/7616
[pid=2964] ppid=2962 vsize=48556 CPUtime=219.05 cores=1,3,5,7
/proc/2964/stat : 2964 (scip-2.1.1.4exp) R 2962 2964 403 0 -1 4202496 11818 0 0 0 21573 332 0 0 20 0 1 0 268320095 49721344 11105 33554432000 4194304 10219143 140737037690560 140737037683816 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2964/statm: 12139 11105 825 1471 0 10659 0
Current children cumulated CPU time (s) 219.05
Current children cumulated vsize (KiB) 48556
[startup+219.9 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 3042
/proc/meminfo: memFree=29463472/32873852 swapFree=7616/7616
[pid=2964] ppid=2962 vsize=48556 CPUtime=219.85 cores=1,3,5,7
/proc/2964/stat : 2964 (scip-2.1.1.4exp) R 2962 2964 403 0 -1 4202496 11818 0 0 0 21652 333 0 0 20 0 1 0 268320095 49721344 11105 33554432000 4194304 10219143 140737037690560 140737037687928 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2964/statm: 12139 11105 825 1471 0 10659 0
Current children cumulated CPU time (s) 219.85
Current children cumulated vsize (KiB) 48556
[startup+220.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 3042
/proc/meminfo: memFree=29463472/32873852 swapFree=7616/7616
[pid=2964] ppid=2962 vsize=48556 CPUtime=220.25 cores=1,3,5,7
/proc/2964/stat : 2964 (scip-2.1.1.4exp) R 2962 2964 403 0 -1 4202496 11818 0 0 0 21691 334 0 0 20 0 1 0 268320095 49721344 11105 33554432000 4194304 10219143 140737037690560 140737037687928 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2964/statm: 12139 11105 825 1471 0 10659 0
Current children cumulated CPU time (s) 220.25
Current children cumulated vsize (KiB) 48556
Child status: 0
Real time (s): 220.34
CPU time (s): 220.299
CPU user time (s): 216.952
CPU system time (s): 3.34649
CPU usage (%): 99.9813
Max. virtual memory (cumulated for all children) (KiB): 50500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 216.952
system time used= 3.34649
maximum resident set size= 44968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11823
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= 12
involuntary context switches= 229
runsolver used 0.378942 second user time and 0.970852 second system time
The end