0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3690426-1338016930.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.04/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.08 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.08 c 0.1s| 1 | 0 | 76 | - |3909k| 0 | 36 | 231 |2443 | 231 |2443 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.20 c 0.2s| 1 | 0 | 90 | - |4408k| 0 | 39 | 231 |2764 | 231 |2450 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.24 c 0.2s| 1 | 0 | 106 | - |4734k| 0 | 47 | 231 |2764 | 231 |2455 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.28 c 0.3s| 1 | 0 | 125 | - |5201k| 0 | 50 | 231 |2764 | 231 |2457 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.43 c 0.4s| 1 | 0 | 139 | - |5578k| 0 | 50 | 231 |2764 | 231 |2458 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.59 c 0.6s| 1 | 0 | 153 | - |6011k| 0 | 51 | 231 |2764 | 231 |2460 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.68/0.78 c 0.8s| 1 | 2 | 153 | - |6012k| 0 | 51 | 231 |2764 | 231 |2460 | 17 | 0 | 10 | 0.000000e+00 | -- | Inf
8.59/8.69 c 8.7s| 100 | 13 | 5183 | 50.8 |6159k| 15 | - | 231 |2789 | 231 |2453 | 17 | 25 |1482 | 0.000000e+00 | -- | Inf
9.89/9.97 c 10.0s| 200 | 20 | 7358 | 36.2 |6204k| 22 | - | 231 |2835 | 231 |2453 | 17 | 73 |1707 | 0.000000e+00 | -- | Inf
10.39/10.48 c 10.5s| 300 | 20 | 9051 | 29.8 |6221k| 22 | 31 | 231 |2890 | 231 |2453 | 17 | 129 |1773 | 0.000000e+00 | -- | Inf
10.79/10.86 c 10.9s| 400 | 22 | 10785 | 26.6 |6244k| 22 | 36 | 231 |2939 | 231 |2453 | 17 | 178 |1814 | 0.000000e+00 | -- | Inf
11.09/11.17 c 11.2s| 500 | 22 | 12280 | 24.3 |6267k| 23 | 32 | 231 |2996 | 231 |2453 | 17 | 235 |1841 | 0.000000e+00 | -- | Inf
11.38/11.46 c 11.5s| 600 | 20 | 14074 | 23.2 |6281k| 23 | 36 | 231 |3051 | 231 |2453 | 17 | 290 |1855 | 0.000000e+00 | -- | Inf
11.69/11.72 c 11.7s| 700 | 26 | 15835 | 22.4 |6314k| 23 | 30 | 231 |3106 | 231 |2453 | 17 | 345 |1865 | 0.000000e+00 | -- | Inf
11.89/11.96 c 12.0s| 800 | 24 | 17409 | 21.6 |6335k| 23 | - | 231 |3165 | 231 |2453 | 17 | 404 |1872 | 0.000000e+00 | -- | Inf
12.18/12.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.18/12.22 c 12.2s| 900 | 28 | 19087 | 21.1 |6371k| 23 | - | 231 |3228 | 231 |2453 | 17 | 468 |1881 | 0.000000e+00 | -- | Inf
12.39/12.45 c 12.5s| 1000 | 28 | 20646 | 20.5 |6388k| 23 | - | 231 |3284 | 231 |2453 | 17 | 526 |1886 | 0.000000e+00 | -- | Inf
12.69/12.70 c 12.7s| 1100 | 26 | 22421 | 20.3 |6409k| 23 | - | 231 |3340 | 231 |2453 | 17 | 584 |1889 | 0.000000e+00 | -- | Inf
12.88/12.92 c 12.9s| 1200 | 27 | 23790 | 19.7 |6435k| 24 | - | 231 |3408 | 231 |2453 | 17 | 652 |1895 | 0.000000e+00 | -- | Inf
13.10/13.15 c 13.2s| 1300 | 28 | 25201 | 19.3 |6457k| 24 | 30 | 231 |3467 | 231 |2453 | 17 | 712 |1905 | 0.000000e+00 | -- | Inf
13.39/13.44 c 13.4s| 1400 | 27 | 26773 | 19.0 |6480k| 24 | - | 231 |3526 | 231 |2453 | 17 | 774 |1922 | 0.000000e+00 | -- | Inf
13.68/13.71 c 13.7s| 1500 | 31 | 28337 | 18.8 |6508k| 24 | 37 | 231 |3587 | 231 |2453 | 17 | 835 |1935 | 0.000000e+00 | -- | Inf
13.88/13.97 c 14.0s| 1600 | 32 | 29798 | 18.5 |6535k| 24 | 35 | 231 |3651 | 231 |2453 | 17 | 901 |1950 | 0.000000e+00 | -- | Inf
14.19/14.26 c 14.3s| 1700 | 31 | 31623 | 18.5 |6559k| 24 | - | 231 |3704 | 231 |2453 | 17 | 955 |1964 | 0.000000e+00 | -- | Inf
14.48/14.52 c 14.5s| 1800 | 32 | 33435 | 18.5 |6583k| 24 | 36 | 231 |3777 | 231 |2453 | 17 |1028 |1976 | 0.000000e+00 | -- | Inf
14.69/14.73 c 14.7s| 1900 | 33 | 34874 | 18.3 |6615k| 30 | - | 231 |3846 | 231 |2453 | 17 |1101 |1981 | 0.000000e+00 | -- | Inf
14.89/14.94 c 14.9s| 2000 | 31 | 36374 | 18.1 |6637k| 30 | - | 231 |3905 | 231 |2453 | 17 |1161 |1984 | 0.000000e+00 | -- | Inf
15.09/15.17 c 15.2s| 2100 | 30 | 38216 | 18.1 |6656k| 30 | - | 231 |3971 | 231 |2453 | 17 |1229 |1985 | 0.000000e+00 | -- | Inf
15.49/15.52 c 15.5s| 2200 | 29 | 39797 | 18.0 |6680k| 30 | 30 | 231 |4018 | 231 |2453 | 17 |1286 |2016 | 0.000000e+00 | -- | Inf
15.69/15.77 c 15.8s| 2300 | 29 | 41525 | 18.0 |6701k| 30 | 22 | 231 |4073 | 231 |2453 | 17 |1346 |2022 | 0.000000e+00 | -- | Inf
15.98/16.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.98/16.00 c 16.0s| 2400 | 29 | 42957 | 17.8 |6724k| 30 | - | 231 |4094 | 231 |2453 | 17 |1404 |2028 | 0.000000e+00 | -- | Inf
16.18/16.26 c 16.3s| 2500 | 29 | 44841 | 17.9 |6728k| 30 | 32 | 231 |4146 | 231 |2453 | 17 |1467 |2032 | 0.000000e+00 | -- | Inf
16.39/16.49 c 16.5s| 2600 | 31 | 46524 | 17.8 |6745k| 30 | - | 231 |4175 | 231 |2453 | 17 |1518 |2036 | 0.000000e+00 | -- | Inf
16.68/16.70 c 16.7s| 2700 | 31 | 47993 | 17.7 |6757k| 30 | 33 | 231 |4222 | 231 |2453 | 17 |1578 |2037 | 0.000000e+00 | -- | Inf
16.89/16.94 c 16.9s| 2800 | 35 | 49692 | 17.7 |6790k| 30 | 32 | 231 |4246 | 231 |2453 | 17 |1636 |2039 | 0.000000e+00 | -- | Inf
17.09/17.19 c 17.2s| 2900 | 38 | 51498 | 17.7 |6816k| 30 | - | 231 |4275 | 231 |2453 | 17 |1689 |2042 | 0.000000e+00 | -- | Inf
17.38/17.41 c 17.4s| 3000 | 38 | 53086 | 17.7 |6833k| 30 | 40 | 231 |4317 | 231 |2453 | 17 |1749 |2043 | 0.000000e+00 | -- | Inf
17.59/17.64 c 17.6s| 3100 | 42 | 54776 | 17.6 |6859k| 30 | 31 | 231 |4345 | 231 |2453 | 17 |1805 |2043 | 0.000000e+00 | -- | Inf
17.79/17.88 c 17.9s| 3200 | 38 | 56531 | 17.6 |6858k| 30 | 34 | 231 |4379 | 231 |2453 | 17 |1860 |2044 | 0.000000e+00 | -- | Inf
17.98/18.09 c 18.1s| 3300 | 40 | 58011 | 17.5 |6882k| 30 | 33 | 231 |4407 | 231 |2453 | 17 |1921 |2046 | 0.000000e+00 | -- | Inf
18.28/18.31 c 18.3s| 3400 | 44 | 59623 | 17.5 |6910k| 30 | - | 231 |4442 | 231 |2453 | 17 |1983 |2046 | 0.000000e+00 | -- | Inf
18.49/18.53 c 18.5s| 3500 | 46 | 61173 | 17.4 |6927k| 30 | 23 | 231 |4470 | 231 |2453 | 17 |2036 |2046 | 0.000000e+00 | -- | Inf
18.78/18.82 c 18.8s| 3600 | 45 | 62842 | 17.4 |6945k| 30 | 38 | 231 |4522 | 231 |2453 | 17 |2095 |2060 | 0.000000e+00 | -- | Inf
18.99/19.09 c 19.1s| 3700 | 45 | 64362 | 17.4 |6967k| 30 | - | 231 |4575 | 231 |2453 | 17 |2165 |2077 | 0.000000e+00 | -- | Inf
19.28/19.34 c 19.3s| 3800 | 43 | 65671 | 17.2 |6977k| 30 | - | 231 |4628 | 231 |2453 | 17 |2224 |2093 | 0.000000e+00 | -- | Inf
19.59/19.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.59/19.60 c 19.6s| 3900 | 46 | 67173 | 17.2 |6995k| 30 | 33 | 231 |4658 | 231 |2453 | 17 |2272 |2107 | 0.000000e+00 | -- | Inf
19.89/19.90 c 19.9s| 4000 | 45 | 68831 | 17.2 |7006k| 30 | 31 | 231 |4704 | 231 |2453 | 17 |2320 |2126 | 0.000000e+00 | -- | Inf
20.19/20.27 c 20.3s| 4100 | 47 | 71010 | 17.3 |7025k| 30 | 34 | 231 |4748 | 231 |2453 | 17 |2371 |2149 | 0.000000e+00 | -- | Inf
20.49/20.55 c 20.6s| 4200 | 49 | 72596 | 17.3 |7080k| 30 | - | 231 |4809 | 231 |2453 | 17 |2444 |2167 | 0.000000e+00 | -- | Inf
20.79/20.86 c 20.9s| 4300 | 51 | 74620 | 17.3 |7105k| 30 | - | 231 |4846 | 231 |2453 | 17 |2501 |2183 | 0.000000e+00 | -- | Inf
21.09/21.14 c 21.1s| 4400 | 53 | 76577 | 17.4 |7112k| 30 | 31 | 231 |4875 | 231 |2453 | 17 |2557 |2190 | 0.000000e+00 | -- | Inf
21.29/21.38 c 21.4s| 4500 | 56 | 78548 | 17.4 |7147k| 30 | - | 231 |4920 | 0 | 0 | 17 |2624 |2191 | 0.000000e+00 | -- | Inf
21.58/21.65 c 21.7s| 4600 | 53 | 80313 | 17.4 |7153k| 30 | 41 | 231 |4970 | 231 |2453 | 17 |2691 |2198 | 0.000000e+00 | -- | Inf
21.89/21.91 c 21.9s| 4700 | 53 | 82016 | 17.4 |7178k| 30 | 37 | 231 |5025 | 231 |2453 | 17 |2754 |2206 | 0.000000e+00 | -- | Inf
22.08/22.16 c 22.2s| 4800 | 53 | 83851 | 17.4 |7175k| 30 | - | 231 |5058 | 231 |2453 | 17 |2806 |2210 | 0.000000e+00 | -- | Inf
22.39/22.40 c 22.4s| 4900 | 55 | 85664 | 17.5 |7199k| 30 | 14 | 231 |5113 | 231 |2453 | 17 |2875 |2211 | 0.000000e+00 | -- | Inf
22.59/22.62 c 22.6s| 5000 | 56 | 87289 | 17.4 |7227k| 30 | - | 231 |5169 | 231 |2453 | 17 |2942 |2212 | 0.000000e+00 | -- | Inf
22.78/22.85 c 22.9s| 5100 | 59 | 89073 | 17.4 |7254k| 30 | - | 231 |5222 | 231 |2453 | 17 |3008 |2212 | 0.000000e+00 | -- | Inf
23.09/23.13 c 23.1s| 5200 | 57 | 91225 | 17.5 |7270k| 30 | - | 231 |5256 | 231 |2453 | 17 |3071 |2212 | 0.000000e+00 | -- | Inf
23.29/23.36 c 23.4s| 5300 | 55 | 92866 | 17.5 |7279k| 31 | 34 | 231 |5308 | 231 |2453 | 17 |3142 |2212 | 0.000000e+00 | -- | Inf
23.58/23.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.58/23.64 c 23.6s| 5400 | 51 | 95148 | 17.6 |7283k| 31 | 42 | 231 |5349 | 231 |2453 | 17 |3210 |2213 | 0.000000e+00 | -- | Inf
23.88/23.91 c 23.9s| 5500 | 51 | 97195 | 17.6 |7301k| 31 | - | 231 |5372 | 231 |2453 | 17 |3271 |2213 | 0.000000e+00 | -- | Inf
24.09/24.18 c 24.2s| 5600 | 53 | 99285 | 17.7 |7327k| 31 | - | 231 |5405 | 231 |2453 | 17 |3336 |2213 | 0.000000e+00 | -- | Inf
24.39/24.43 c 24.4s| 5700 | 49 |101166 | 17.7 |7329k| 31 | 32 | 231 |5455 | 231 |2453 | 17 |3409 |2213 | 0.000000e+00 | -- | Inf
24.68/24.71 c 24.7s| 5800 | 49 |102890 | 17.7 |7352k| 31 | - | 231 |5506 | 231 |2453 | 17 |3483 |2223 | 0.000000e+00 | -- | Inf
24.89/24.98 c 25.0s| 5900 | 52 |104419 | 17.7 |7375k| 31 | - | 231 |5534 | 231 |2453 | 17 |3538 |2237 | 0.000000e+00 | -- | Inf
25.19/25.21 c 25.2s| 6000 | 52 |105712 | 17.6 |7390k| 31 | 31 | 231 |5583 | 231 |2453 | 17 |3596 |2245 | 0.000000e+00 | -- | Inf
25.48/25.50 c 25.5s| 6100 | 52 |107324 | 17.6 |7406k| 31 | 36 | 231 |5613 | 231 |2453 | 17 |3652 |2259 | 0.000000e+00 | -- | Inf
25.79/25.84 c 25.8s| 6200 | 47 |109087 | 17.6 |7392k| 31 | 33 | 231 |5636 | 231 |2453 | 17 |3709 |2281 | 0.000000e+00 | -- | Inf
25.98/26.06 c 26.1s| 6300 | 49 |110541 | 17.5 |7406k| 31 | 40 | 231 |5659 | 231 |2453 | 17 |3772 |2285 | 0.000000e+00 | -- | Inf
26.29/26.35 c 26.3s| 6400 | 51 |112247 | 17.5 |7427k| 31 | 36 | 231 |5686 | 231 |2453 | 17 |3827 |2299 | 0.000000e+00 | -- | Inf
26.58/26.63 c 26.6s| 6500 | 53 |113964 | 17.5 |7448k| 31 | 37 | 231 |5723 | 231 |2453 | 17 |3884 |2313 | 0.000000e+00 | -- | Inf
26.98/27.03 c 27.0s| 6600 | 55 |116412 | 17.6 |7468k| 33 | - | 231 |5737 | 231 |2453 | 17 |3946 |2335 | 0.000000e+00 | -- | Inf
27.28/27.32 c 27.3s| 6700 | 59 |118143 | 17.6 |7483k| 33 | 34 | 231 |5771 | 231 |2453 | 17 |4007 |2350 | 0.000000e+00 | -- | Inf
27.58/27.66 c 27.7s| 6800 | 61 |120276 | 17.7 |7518k| 33 | - | 231 |5812 | 231 |2453 | 17 |4062 |2367 | 0.000000e+00 | -- | Inf
27.88/27.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.88/27.96 c 28.0s| 6900 | 62 |122060 | 17.7 |7532k| 33 | 38 | 231 |5870 | 231 |2453 | 17 |4131 |2384 | 0.000000e+00 | -- | Inf
28.18/28.22 c 28.2s| 7000 | 62 |123787 | 17.7 |7562k| 33 | - | 231 |5947 | 231 |2453 | 17 |4213 |2392 | 0.000000e+00 | -- | Inf
28.49/28.51 c 28.5s| 7100 | 60 |125750 | 17.7 |7586k| 33 | 43 | 231 |6017 | 231 |2453 | 17 |4297 |2403 | 0.000000e+00 | -- | Inf
28.68/28.77 c 28.8s| 7200 | 60 |127344 | 17.7 |7592k| 33 | 36 | 231 |6038 | 231 |2453 | 17 |4355 |2412 | 0.000000e+00 | -- | Inf
28.99/29.04 c 29.0s| 7300 | 60 |129350 | 17.7 |7601k| 33 | 34 | 231 |6067 | 231 |2453 | 17 |4416 |2414 | 0.000000e+00 | -- | Inf
29.18/29.29 c 29.3s| 7400 | 60 |130866 | 17.7 |7602k| 33 | 36 | 231 |6080 | 231 |2453 | 17 |4483 |2421 | 0.000000e+00 | -- | Inf
29.49/29.53 c 29.5s| 7500 | 54 |132477 | 17.6 |7588k| 33 | - | 231 |6102 | 231 |2453 | 17 |4543 |2423 | 0.000000e+00 | -- | Inf
29.69/29.76 c 29.8s| 7600 | 58 |134071 | 17.6 |7607k| 33 | 31 | 231 |6111 | 231 |2453 | 17 |4605 |2426 | 0.000000e+00 | -- | Inf
29.89/29.97 c 30.0s| 7700 | 58 |135643 | 17.6 |7619k| 33 | - | 231 |6128 | 231 |2453 | 17 |4660 |2426 | 0.000000e+00 | -- | Inf
30.18/30.23 c 30.2s| 7800 | 58 |137356 | 17.6 |7622k| 33 | 30 | 231 |6149 | 231 |2453 | 17 |4725 |2431 | 0.000000e+00 | -- | Inf
30.38/30.47 c 30.5s| 7900 | 58 |139237 | 17.6 |7632k| 33 | - | 231 |6176 | 231 |2453 | 17 |4788 |2431 | 0.000000e+00 | -- | Inf
30.59/30.70 c 30.7s| 8000 | 58 |140934 | 17.6 |7642k| 33 | 38 | 231 |6202 | 231 |2453 | 17 |4843 |2431 | 0.000000e+00 | -- | Inf
30.88/30.90 c 30.9s| 8100 | 59 |142282 | 17.5 |7656k| 33 | 32 | 231 |6223 | 231 |2453 | 17 |4916 |2431 | 0.000000e+00 | -- | Inf
31.08/31.14 c 31.1s| 8200 | 57 |144044 | 17.5 |7654k| 33 | 28 | 231 |6242 | 231 |2453 | 17 |4983 |2431 | 0.000000e+00 | -- | Inf
31.39/31.41 c 31.4s| 8300 | 57 |146077 | 17.6 |7662k| 33 | - | 231 |6250 | 231 |2453 | 17 |5047 |2432 | 0.000000e+00 | -- | Inf
31.58/31.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.58/31.65 c 31.7s| 8400 | 57 |147864 | 17.6 |7676k| 33 | - | 231 |6283 | 231 |2453 | 17 |5115 |2432 | 0.000000e+00 | -- | Inf
31.79/31.87 c 31.9s| 8500 | 57 |149481 | 17.6 |7682k| 33 | 34 | 231 |6301 | 231 |2453 | 17 |5169 |2432 | 0.000000e+00 | -- | Inf
31.98/32.06 c 32.1s| 8600 | 58 |150803 | 17.5 |7702k| 33 | 22 | 231 |6353 | 231 |2453 | 17 |5237 |2432 | 0.000000e+00 | -- | Inf
32.18/32.27 c 32.3s| 8700 | 63 |152322 | 17.5 |7721k| 33 | 33 | 231 |6353 | 231 |2453 | 17 |5296 |2432 | 0.000000e+00 | -- | Inf
32.39/32.49 c 32.5s| 8800 | 65 |153833 | 17.5 |7739k| 33 | 30 | 231 |6379 | 231 |2453 | 17 |5357 |2432 | 0.000000e+00 | -- | Inf
32.68/32.76 c 32.8s| 8900 | 61 |155371 | 17.4 |7749k| 33 | - | 231 |6432 | 231 |2453 | 17 |5421 |2447 | 0.000000e+00 | -- | Inf
32.99/33.06 c 33.1s| 9000 | 64 |157053 | 17.4 |7769k| 33 | - | 231 |6450 | 0 | 0 | 17 |5485 |2465 | 0.000000e+00 | -- | Inf
33.29/33.31 c 33.3s| 9100 | 65 |158682 | 17.4 |7785k| 33 | 24 | 231 |6485 | 231 |2453 | 17 |5545 |2474 | 0.000000e+00 | -- | Inf
33.58/33.62 c 33.6s| 9200 | 62 |160515 | 17.4 |7794k| 33 | - | 231 |6530 | 231 |2453 | 17 |5607 |2489 | 0.000000e+00 | -- | Inf
33.78/33.87 c 33.9s| 9300 | 64 |161841 | 17.4 |7816k| 35 | 22 | 231 |6579 | 231 |2453 | 17 |5676 |2506 | 0.000000e+00 | -- | Inf
33.99/34.10 c 34.1s| 9400 | 63 |163215 | 17.3 |7845k| 36 | - | 231 |6645 | 231 |2453 | 17 |5744 |2517 | 0.000000e+00 | -- | Inf
34.29/34.39 c 34.4s| 9500 | 65 |164926 | 17.3 |7875k| 36 | - | 231 |6688 | 231 |2453 | 17 |5797 |2532 | 0.000000e+00 | -- | Inf
34.58/34.66 c 34.7s| 9600 | 70 |166657 | 17.3 |7907k| 36 | 24 | 231 |6743 | 231 |2453 | 17 |5862 |2544 | 0.000000e+00 | -- | Inf
34.89/34.94 c 34.9s| 9700 | 68 |168292 | 17.3 |7930k| 36 | - | 231 |6804 | 231 |2453 | 17 |5928 |2560 | 0.000000e+00 | -- | Inf
35.19/35.22 c 35.2s| 9800 | 68 |169928 | 17.3 |7952k| 36 | - | 231 |6847 | 231 |2453 | 17 |5983 |2574 | 0.000000e+00 | -- | Inf
35.48/35.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.48/35.54 c 35.5s| 9900 | 68 |171945 | 17.4 |7968k| 36 | - | 231 |6893 | 231 |2453 | 17 |6035 |2589 | 0.000000e+00 | -- | Inf
35.78/35.83 c 35.8s| 10000 | 73 |173609 | 17.3 |8004k| 37 | - | 231 |6937 | 0 | 0 | 17 |6093 |2609 | 0.000000e+00 | -- | Inf
36.08/36.12 c 36.1s| 10100 | 70 |175359 | 17.3 |8012k| 43 | 42 | 231 |6980 | 231 |2453 | 17 |6153 |2623 | 0.000000e+00 | -- | Inf
36.29/36.38 c 36.4s| 10200 | 63 |177149 | 17.4 |8018k| 43 | 32 | 231 |7028 | 231 |2453 | 17 |6212 |2628 | 0.000000e+00 | -- | Inf
36.68/36.70 c 36.7s| 10300 | 63 |179019 | 17.4 |8022k| 43 | - | 231 |7010 | 231 |2453 | 17 |6273 |2646 | 0.000000e+00 | -- | Inf
36.88/36.96 c 37.0s| 10400 | 62 |180890 | 17.4 |8036k| 43 | - | 231 |7022 | 231 |2453 | 17 |6345 |2649 | 0.000000e+00 | -- | Inf
37.18/37.20 c 37.2s| 10500 | 59 |182559 | 17.4 |8026k| 43 | 34 | 231 |7044 | 231 |2453 | 17 |6401 |2652 | 0.000000e+00 | -- | Inf
37.39/37.43 c 37.4s| 10600 | 58 |184213 | 17.4 |8035k| 43 | 33 | 231 |7058 | 231 |2453 | 17 |6466 |2652 | 0.000000e+00 | -- | Inf
37.58/37.66 c 37.7s| 10700 | 59 |185921 | 17.4 |8054k| 43 | 40 | 231 |7099 | 231 |2453 | 17 |6534 |2652 | 0.000000e+00 | -- | Inf
37.89/37.91 c 37.9s| 10800 | 57 |187830 | 17.4 |8074k| 43 | 32 | 231 |7145 | 231 |2453 | 17 |6600 |2652 | 0.000000e+00 | -- | Inf
38.19/38.24 c 38.2s| 10900 | 56 |190152 | 17.4 |8067k| 43 | 33 | 231 |7093 | 231 |2453 | 17 |6667 |2658 | 0.000000e+00 | -- | Inf
38.39/38.48 c 38.5s| 11000 | 56 |191793 | 17.4 |8090k| 43 | 14 | 231 |7120 | 231 |2453 | 17 |6730 |2659 | 0.000000e+00 | -- | Inf
38.69/38.72 c 38.7s| 11100 | 56 |193499 | 17.4 |8102k| 43 | - | 231 |7148 | 231 |2453 | 17 |6787 |2663 | 0.000000e+00 | -- | Inf
38.88/38.98 c 39.0s| 11200 | 54 |195388 | 17.4 |8091k| 43 | - | 231 |7125 | 231 |2453 | 17 |6849 |2664 | 0.000000e+00 | -- | Inf
39.18/39.21 c 39.2s| 11300 | 55 |197119 | 17.4 |8105k| 43 | - | 231 |7159 | 231 |2453 | 17 |6907 |2665 | 0.000000e+00 | -- | Inf
39.38/39.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.38/39.43 c 39.4s| 11400 | 55 |198770 | 17.4 |8117k| 43 | - | 231 |7203 | 231 |2453 | 17 |6969 |2665 | 0.000000e+00 | -- | Inf
39.59/39.63 c 39.6s| 11500 | 55 |200213 | 17.4 |8129k| 43 | - | 231 |7246 | 231 |2453 | 17 |7027 |2666 | 0.000000e+00 | -- | Inf
39.78/39.82 c 39.8s| 11600 | 55 |201486 | 17.4 |8141k| 43 | 24 | 231 |7295 | 231 |2453 | 17 |7085 |2666 | 0.000000e+00 | -- | Inf
39.98/40.03 c 40.0s| 11700 | 57 |203008 | 17.3 |8162k| 43 | 23 | 231 |7341 | 231 |2453 | 17 |7142 |2667 | 0.000000e+00 | -- | Inf
40.18/40.27 c 40.3s| 11800 | 54 |204753 | 17.3 |8176k| 43 | 36 | 231 |7374 | 231 |2453 | 17 |7201 |2668 | 0.000000e+00 | -- | Inf
40.37/40.50 c 40.5s| 11900 | 54 |206563 | 17.3 |8187k| 43 | - | 231 |7409 | 231 |2453 | 17 |7253 |2668 | 0.000000e+00 | -- | Inf
40.69/40.73 c 40.7s| 12000 | 50 |208247 | 17.3 |8196k| 43 | 29 | 231 |7454 | 231 |2453 | 17 |7326 |2669 | 0.000000e+00 | -- | Inf
40.88/40.96 c 41.0s| 12100 | 52 |210003 | 17.3 |8185k| 43 | 23 | 231 |7441 | 231 |2453 | 17 |7378 |2671 | 0.000000e+00 | -- | Inf
41.17/41.22 c 41.2s| 12200 | 53 |211964 | 17.4 |8196k| 43 | 41 | 231 |7437 | 231 |2453 | 17 |7428 |2671 | 0.000000e+00 | -- | Inf
41.38/41.46 c 41.5s| 12300 | 51 |213812 | 17.4 |8201k| 43 | 32 | 231 |7464 | 231 |2453 | 17 |7482 |2671 | 0.000000e+00 | -- | Inf
41.58/41.68 c 41.7s| 12400 | 51 |215472 | 17.4 |8181k| 43 | 33 | 231 |7445 | 231 |2453 | 17 |7544 |2671 | 0.000000e+00 | -- | Inf
41.88/41.93 c 41.9s| 12500 | 52 |217439 | 17.4 |8193k| 43 | - | 231 |7461 | 0 | 0 | 17 |7621 |2671 | 0.000000e+00 | -- | Inf
42.08/42.13 c 42.1s| 12600 | 52 |218898 | 17.4 |8194k| 43 | - | 231 |7474 | 231 |2453 | 17 |7700 |2671 | 0.000000e+00 | -- | Inf
42.28/42.36 c 42.4s| 12700 | 54 |220667 | 17.4 |8188k| 43 | 34 | 231 |7459 | 231 |2453 | 17 |7759 |2671 | 0.000000e+00 | -- | Inf
42.48/42.58 c 42.6s| 12800 | 52 |222330 | 17.4 |8187k| 43 | - | 231 |7468 | 231 |2453 | 17 |7810 |2671 | 0.000000e+00 | -- | Inf
42.79/42.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.79/42.81 c 42.8s| 12900 | 50 |224009 | 17.4 |8188k| 43 | - | 231 |7496 | 231 |2453 | 17 |7863 |2671 | 0.000000e+00 | -- | Inf
42.98/43.04 c 43.0s| 13000 | 52 |225699 | 17.4 |8183k| 43 | 30 | 231 |7452 | 231 |2453 | 17 |7919 |2671 | 0.000000e+00 | -- | Inf
43.28/43.30 c 43.3s| 13100 | 52 |227790 | 17.4 |8200k| 43 | 33 | 231 |7499 | 231 |2453 | 17 |8007 |2671 | 0.000000e+00 | -- | Inf
43.48/43.54 c 43.5s| 13200 | 54 |229521 | 17.4 |8214k| 43 | 30 | 231 |7521 | 231 |2453 | 17 |8071 |2671 | 0.000000e+00 | -- | Inf
43.68/43.75 c 43.7s| 13300 | 62 |231060 | 17.4 |8238k| 43 | 24 | 231 |7535 | 231 |2453 | 17 |8122 |2671 | 0.000000e+00 | -- | Inf
43.89/43.96 c 44.0s| 13400 | 58 |232546 | 17.3 |8245k| 43 | - | 231 |7570 | 231 |2453 | 17 |8176 |2671 | 0.000000e+00 | -- | Inf
44.08/44.17 c 44.2s| 13500 | 62 |234144 | 17.3 |8264k| 43 | 37 | 231 |7614 | 231 |2453 | 17 |8232 |2671 | 0.000000e+00 | -- | Inf
44.28/44.39 c 44.4s| 13600 | 58 |235735 | 17.3 |8273k| 43 | - | 231 |7652 | 231 |2453 | 17 |8286 |2671 | 0.000000e+00 | -- | Inf
44.58/44.61 c 44.6s| 13700 | 60 |237342 | 17.3 |8292k| 43 | - | 231 |7677 | 0 | 0 | 17 |8339 |2671 | 0.000000e+00 | -- | Inf
44.78/44.82 c 44.8s| 13800 | 62 |238925 | 17.3 |8301k| 43 | - | 231 |7711 | 231 |2453 | 17 |8389 |2671 | 0.000000e+00 | -- | Inf
44.99/45.02 c 45.0s| 13900 | 62 |240235 | 17.3 |8318k| 43 | 32 | 231 |7750 | 231 |2453 | 17 |8443 |2671 | 0.000000e+00 | -- | Inf
45.18/45.22 c 45.2s| 14000 | 65 |241557 | 17.2 |8331k| 43 | 29 | 231 |7784 | 231 |2453 | 17 |8500 |2671 | 0.000000e+00 | -- | Inf
45.38/45.41 c 45.4s| 14100 | 63 |242924 | 17.2 |8355k| 43 | - | 231 |7847 | 231 |2453 | 17 |8570 |2671 | 0.000000e+00 | -- | Inf
45.58/45.63 c 45.6s| 14200 | 65 |244493 | 17.2 |8363k| 43 | 33 | 231 |7866 | 231 |2453 | 17 |8624 |2671 | 0.000000e+00 | -- | Inf
45.77/45.86 c 45.9s| 14300 | 68 |246232 | 17.2 |8371k| 43 | 38 | 231 |7854 | 231 |2453 | 17 |8680 |2671 | 0.000000e+00 | -- | Inf
46.09/46.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.09/46.11 c 46.1s| 14400 | 66 |248123 | 17.2 |8370k| 43 | 41 | 231 |7840 | 231 |2453 | 17 |8746 |2671 | 0.000000e+00 | -- | Inf
46.28/46.33 c 46.3s| 14500 | 66 |249753 | 17.2 |8393k| 43 | - | 231 |7891 | 231 |2453 | 17 |8810 |2671 | 0.000000e+00 | -- | Inf
46.48/46.59 c 46.6s| 14600 | 72 |251846 | 17.2 |8414k| 43 | - | 231 |7899 | 231 |2453 | 17 |8868 |2671 | 0.000000e+00 | -- | Inf
46.78/46.83 c 46.8s| 14700 | 70 |253696 | 17.2 |8413k| 43 | - | 231 |7901 | 231 |2453 | 17 |8921 |2671 | 0.000000e+00 | -- | Inf
46.98/47.06 c 47.1s| 14800 | 72 |255571 | 17.3 |8421k| 43 | - | 231 |7906 | 231 |2453 | 17 |8993 |2671 | 0.000000e+00 | -- | Inf
47.18/47.27 c 47.3s| 14900 | 71 |257181 | 17.3 |8435k| 43 | - | 231 |7959 | 231 |2453 | 17 |9051 |2671 | 0.000000e+00 | -- | Inf
47.48/47.51 c 47.5s| 15000 | 71 |259188 | 17.3 |8450k| 43 | 31 | 231 |8011 | 231 |2453 | 17 |9107 |2671 | 0.000000e+00 | -- | Inf
47.68/47.75 c 47.8s| 15100 | 72 |261154 | 17.3 |8473k| 43 | - | 231 |8052 | 231 |2453 | 17 |9167 |2671 | 0.000000e+00 | -- | Inf
47.88/47.98 c 48.0s| 15200 | 73 |262986 | 17.3 |8492k| 43 | 38 | 231 |8112 | 231 |2453 | 17 |9234 |2671 | 0.000000e+00 | -- | Inf
48.18/48.23 c 48.2s| 15300 | 73 |265064 | 17.3 |8520k| 43 | - | 231 |8178 | 231 |2453 | 17 |9304 |2671 | 0.000000e+00 | -- | Inf
48.48/48.50 c 48.5s| 15400 | 73 |267303 | 17.3 |8537k| 43 | 35 | 231 |8239 | 231 |2453 | 17 |9369 |2671 | 0.000000e+00 | -- | Inf
48.67/48.73 c 48.7s| 15500 | 67 |269049 | 17.3 |8546k| 43 | 46 | 231 |8296 | 231 |2453 | 17 |9436 |2671 | 0.000000e+00 | -- | Inf
48.88/48.94 c 48.9s| 15600 | 66 |270525 | 17.3 |8544k| 43 | - | 231 |8266 | 231 |2453 | 17 |9494 |2671 | 0.000000e+00 | -- | Inf
49.07/49.18 c 49.2s| 15700 | 64 |272255 | 17.3 |8540k| 43 | - | 231 |8254 | 231 |2453 | 17 |9558 |2671 | 0.000000e+00 | -- | Inf
49.38/49.43 c 49.4s| 15800 | 63 |274151 | 17.3 |8536k| 43 | - | 231 |8242 | 231 |2453 | 17 |9622 |2671 | 0.000000e+00 | -- | Inf
49.57/49.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
49.57/49.66 c 49.7s| 15900 | 67 |275871 | 17.3 |8554k| 43 | - | 231 |8234 | 231 |2453 | 17 |9685 |2671 | 0.000000e+00 | -- | Inf
49.87/49.90 c 49.9s| 16000 | 65 |277626 | 17.3 |8533k| 43 | 35 | 231 |8218 | 231 |2453 | 17 |9751 |2671 | 0.000000e+00 | -- | Inf
50.07/50.13 c 50.1s| 16100 | 67 |279335 | 17.3 |8541k| 43 | 50 | 231 |8206 | 231 |2453 | 17 |9815 |2671 | 0.000000e+00 | -- | Inf
50.27/50.36 c 50.4s| 16200 | 69 |281170 | 17.3 |8558k| 43 | 23 | 231 |8242 | 231 |2453 | 17 |9879 |2671 | 0.000000e+00 | -- | Inf
50.48/50.58 c 50.6s| 16300 | 68 |282766 | 17.3 |8563k| 43 | 16 | 231 |8278 | 231 |2453 | 17 |9940 |2671 | 0.000000e+00 | -- | Inf
50.78/50.82 c 50.8s| 16400 | 67 |284619 | 17.3 |8567k| 43 | 34 | 231 |8289 | 231 |2453 | 17 | 10k|2671 | 0.000000e+00 | -- | Inf
50.97/51.02 c 51.0s| 16500 | 64 |286094 | 17.3 |8574k| 43 | - | 231 |8316 | 231 |2453 | 17 | 10k|2671 | 0.000000e+00 | -- | Inf
51.17/51.25 c 51.2s| 16600 | 67 |287776 | 17.3 |8591k| 43 | - | 231 |8347 | 231 |2453 | 17 | 10k|2671 | 0.000000e+00 | -- | Inf
51.37/51.45 c 51.5s| 16700 | 65 |289236 | 17.3 |8583k| 43 | - | 231 |8349 | 231 |2453 | 17 | 10k|2671 | 0.000000e+00 | -- | Inf
51.58/51.67 c 51.7s| 16800 | 65 |290855 | 17.3 |8591k| 43 | - | 231 |8368 | 231 |2453 | 17 | 10k|2671 | 0.000000e+00 | -- | Inf
51.87/51.90 c 51.9s| 16900 | 61 |292481 | 17.3 |8586k| 43 | - | 231 |8375 | 231 |2453 | 17 | 10k|2671 | 0.000000e+00 | -- | Inf
52.07/52.14 c 52.1s| 17000 | 62 |294317 | 17.3 |8578k| 43 | - | 231 |8346 | 231 |2453 | 17 | 10k|2671 | 0.000000e+00 | -- | Inf
52.28/52.36 c 52.4s| 17100 | 62 |295808 | 17.3 |8573k| 43 | 32 | 231 |8323 | 231 |2453 | 17 | 10k|2671 | 0.000000e+00 | -- | Inf
52.57/52.62 c 52.6s| 17200 | 64 |297988 | 17.3 |8565k| 43 | - | 231 |8273 | 231 |2453 | 17 | 10k|2671 | 0.000000e+00 | -- | Inf
52.78/52.84 c 52.8s| 17300 | 67 |299704 | 17.3 |8575k| 43 | 35 | 231 |8288 | 231 |2453 | 17 | 10k|2671 | 0.000000e+00 | -- | Inf
52.97/53.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
52.97/53.02 c 53.0s| 17400 | 71 |301030 | 17.3 |8593k| 43 | 21 | 231 |8310 | 231 |2453 | 17 | 10k|2671 | 0.000000e+00 | -- | Inf
53.18/53.22 c 53.2s| 17500 | 68 |302577 | 17.3 |8604k| 43 | - | 231 |8342 | 231 |2453 | 17 | 10k|2671 | 0.000000e+00 | -- | Inf
53.37/53.43 c 53.4s| 17600 | 68 |304172 | 17.3 |8608k| 43 | 21 | 231 |8362 | 231 |2453 | 17 | 10k|2671 | 0.000000e+00 | -- | Inf
53.57/53.66 c 53.7s| 17700 | 67 |306025 | 17.3 |8619k| 43 | - | 231 |8390 | 231 |2453 | 17 | 10k|2671 | 0.000000e+00 | -- | Inf
53.88/53.90 c 53.9s| 17800 | 72 |307866 | 17.3 |8634k| 43 | 23 | 231 |8408 | 231 |2453 | 17 | 10k|2671 | 0.000000e+00 | -- | Inf
54.07/54.13 c 54.1s| 17900 | 74 |309670 | 17.3 |8655k| 43 | 26 | 231 |8455 | 231 |2453 | 17 | 10k|2671 | 0.000000e+00 | -- | Inf
54.27/54.35 c 54.3s| 18000 | 73 |311396 | 17.3 |8673k| 43 | 34 | 231 |8506 | 231 |2453 | 17 | 10k|2671 | 0.000000e+00 | -- | Inf
54.57/54.60 c 54.6s| 18100 | 67 |313460 | 17.3 |8677k| 43 | - | 231 |8547 | 231 |2453 | 17 | 10k|2671 | 0.000000e+00 | -- | Inf
54.77/54.86 c 54.9s| 18200 | 72 |315504 | 17.3 |8697k| 43 | 41 | 231 |8547 | 231 |2453 | 17 | 11k|2671 | 0.000000e+00 | -- | Inf
54.98/55.09 c 55.1s| 18300 | 74 |317188 | 17.3 |8714k| 43 | 37 | 231 |8580 | 231 |2453 | 17 | 11k|2671 | 0.000000e+00 | -- | Inf
55.27/55.32 c 55.3s| 18400 | 74 |318987 | 17.3 |8726k| 43 | 35 | 231 |8615 | 231 |2453 | 17 | 11k|2671 | 0.000000e+00 | -- | Inf
55.47/55.56 c 55.6s| 18500 | 78 |320925 | 17.3 |8746k| 43 | 27 | 231 |8641 | 231 |2453 | 17 | 11k|2671 | 0.000000e+00 | -- | Inf
55.67/55.76 c 55.8s| 18600 | 77 |322363 | 17.3 |8769k| 43 | - | 231 |8692 | 231 |2453 | 17 | 11k|2671 | 0.000000e+00 | -- | Inf
55.87/55.98 c 56.0s| 18700 | 77 |324045 | 17.3 |8781k| 43 | 33 | 231 |8738 | 231 |2453 | 17 | 11k|2671 | 0.000000e+00 | -- | Inf
56.08/56.19 c 56.2s| 18800 | 75 |325678 | 17.3 |8788k| 43 | 38 | 231 |8773 | 231 |2453 | 17 | 11k|2671 | 0.000000e+00 | -- | Inf
56.37/56.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.37/56.44 c 56.4s| 18900 | 75 |327565 | 17.3 |8814k| 43 | - | 231 |8814 | 0 | 0 | 17 | 11k|2671 | 0.000000e+00 | -- | Inf
56.57/56.67 c 56.7s| 19000 | 73 |329409 | 17.3 |8819k| 43 | - | 231 |8850 | 231 |2453 | 17 | 11k|2671 | 0.000000e+00 | -- | Inf
56.87/56.91 c 56.9s| 19100 | 73 |331323 | 17.3 |8835k| 43 | 34 | 231 |8872 | 231 |2453 | 17 | 11k|2671 | 0.000000e+00 | -- | Inf
57.08/57.15 c 57.2s| 19200 | 72 |333280 | 17.4 |8854k| 43 | - | 231 |8920 | 231 |2453 | 17 | 11k|2671 | 0.000000e+00 | -- | Inf
57.37/57.45 c 57.4s| 19300 | 76 |335670 | 17.4 |8862k| 43 | 37 | 231 |8936 | 231 |2453 | 17 | 11k|2671 | 0.000000e+00 | -- | Inf
57.68/57.73 c 57.7s| 19400 | 78 |337884 | 17.4 |8878k| 43 | 32 | 231 |8964 | 231 |2453 | 17 | 11k|2671 | 0.000000e+00 | -- | Inf
57.87/57.99 c 58.0s| 19500 | 82 |339980 | 17.4 |8909k| 43 | - | 231 |9002 | 231 |2453 | 17 | 11k|2671 | 0.000000e+00 | -- | Inf
58.18/58.23 c 58.2s| 19600 | 90 |341897 | 17.4 |8953k| 43 | - | 231 |9056 | 231 |2453 | 17 | 11k|2671 | 0.000000e+00 | -- | Inf
58.37/58.47 c 58.5s| 19700 | 92 |343779 | 17.4 |8969k| 43 | - | 231 |9087 | 231 |2453 | 17 | 11k|2671 | 0.000000e+00 | -- | Inf
58.67/58.70 c 58.7s| 19800 | 88 |345521 | 17.4 |8985k| 43 | - | 231 |9122 | 231 |2453 | 17 | 11k|2671 | 0.000000e+00 | -- | Inf
58.87/58.95 c 59.0s| 19900 | 84 |347497 | 17.5 |8997k| 43 | - | 231 |9177 | 231 |2453 | 17 | 12k|2671 | 0.000000e+00 | -- | Inf
59.17/59.24 c 59.2s| 20000 | 84 |349747 | 17.5 |9003k| 43 | - | 231 |9172 | 231 |2453 | 17 | 12k|2671 | 0.000000e+00 | -- | Inf
59.37/59.46 c 59.5s| 20100 | 89 |351540 | 17.5 |9028k| 43 | 12 | 231 |9209 | 231 |2453 | 17 | 12k|2671 | 0.000000e+00 | -- | Inf
59.57/59.68 c 59.7s| 20200 | 87 |353309 | 17.5 |9041k| 43 | - | 231 |9260 | 231 |2453 | 17 | 12k|2671 | 0.000000e+00 | -- | Inf
59.87/59.93 c 59.9s| 20300 | 83 |355351 | 17.5 |9055k| 43 | - | 231 |9311 | 231 |2453 | 17 | 12k|2671 | 0.000000e+00 | -- | Inf
60.08/60.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.08/60.16 c 60.2s| 20400 | 87 |357140 | 17.5 |9069k| 43 | 21 | 231 |9354 | 231 |2453 | 17 | 12k|2671 | 0.000000e+00 | -- | Inf
60.27/60.36 c 60.4s| 20500 | 87 |358690 | 17.5 |9088k| 43 | 30 | 231 |9404 | 231 |2453 | 17 | 12k|2671 | 0.000000e+00 | -- | Inf
60.57/60.61 c 60.6s| 20600 | 85 |360716 | 17.5 |9108k| 43 | - | 231 |9461 | 231 |2453 | 17 | 12k|2671 | 0.000000e+00 | -- | Inf
60.87/60.90 c 60.9s| 20700 | 85 |363079 | 17.5 |9127k| 43 | - | 231 |9516 | 231 |2453 | 17 | 12k|2671 | 0.000000e+00 | -- | Inf
61.07/61.16 c 61.2s| 20800 | 86 |365144 | 17.5 |9140k| 43 | 24 | 231 |9543 | 231 |2453 | 17 | 12k|2671 | 0.000000e+00 | -- | Inf
61.27/61.40 c 61.4s| 20900 | 88 |367025 | 17.6 |9155k| 43 | 23 | 231 |9579 | 231 |2453 | 17 | 12k|2671 | 0.000000e+00 | -- | Inf
61.57/61.63 c 61.6s| 21000 | 91 |368883 | 17.6 |9174k| 43 | 35 | 231 |9617 | 231 |2453 | 17 | 12k|2671 | 0.000000e+00 | -- | Inf
61.77/61.86 c 61.9s| 21100 | 88 |370647 | 17.6 |9192k| 43 | - | 231 |9671 | 231 |2453 | 17 | 12k|2671 | 0.000000e+00 | -- | Inf
62.07/62.11 c 62.1s| 21200 | 86 |372662 | 17.6 |9199k| 43 | 30 | 231 |9693 | 231 |2453 | 17 | 12k|2671 | 0.000000e+00 | -- | Inf
62.27/62.33 c 62.3s| 21300 | 84 |374232 | 17.6 |9220k| 43 | - | 231 |9714 | 231 |2453 | 17 | 12k|2671 | 0.000000e+00 | -- | Inf
62.47/62.55 c 62.6s| 21400 | 84 |375903 | 17.6 |9231k| 43 | - | 231 |9715 | 231 |2453 | 17 | 12k|2671 | 0.000000e+00 | -- | Inf
62.77/62.80 c 62.8s| 21500 | 83 |377663 | 17.6 |9215k| 43 | - | 231 |9719 | 231 |2453 | 17 | 13k|2671 | 0.000000e+00 | -- | Inf
62.97/63.04 c 63.0s| 21600 | 81 |379493 | 17.6 |9211k| 43 | - | 231 |9719 | 231 |2453 | 17 | 13k|2671 | 0.000000e+00 | -- | Inf
63.17/63.23 c 63.2s| 21700 | 83 |380828 | 17.5 |9230k| 43 | 38 | 231 |9767 | 231 |2453 | 17 | 13k|2671 | 0.000000e+00 | -- | Inf
63.37/63.46 c 63.5s| 21800 | 85 |382570 | 17.5 |9245k| 43 | - | 231 |9788 | 231 |2453 | 17 | 13k|2671 | 0.000000e+00 | -- | Inf
63.57/63.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.57/63.69 c 63.7s| 21900 | 87 |384271 | 17.5 |9263k| 43 | - | 231 |9813 | 231 |2453 | 17 | 13k|2671 | 0.000000e+00 | -- | Inf
63.87/63.92 c 63.9s| 22000 | 87 |385956 | 17.5 |9266k| 43 | 30 | 231 |9833 | 231 |2453 | 17 | 13k|2671 | 0.000000e+00 | -- | Inf
64.07/64.13 c 64.1s| 22100 | 87 |387480 | 17.5 |9279k| 43 | 27 | 231 |9863 | 231 |2453 | 17 | 13k|2671 | 0.000000e+00 | -- | Inf
64.27/64.35 c 64.4s| 22200 | 87 |389048 | 17.5 |9282k| 43 | 40 | 231 |9872 | 231 |2453 | 17 | 13k|2671 | 0.000000e+00 | -- | Inf
64.57/64.61 c 64.6s| 22300 | 89 |391000 | 17.5 |9294k| 43 | 29 | 231 |9884 | 231 |2453 | 17 | 13k|2671 | 0.000000e+00 | -- | Inf
64.78/64.86 c 64.9s| 22400 | 90 |393007 | 17.5 |9297k| 43 | 27 | 231 |9885 | 231 |2453 | 17 | 13k|2671 | 0.000000e+00 | -- | Inf
65.07/65.10 c 65.1s| 22500 | 89 |394764 | 17.5 |9311k| 43 | 32 | 231 |9927 | 231 |2453 | 17 | 13k|2671 | 0.000000e+00 | -- | Inf
65.27/65.35 c 65.3s| 22600 | 91 |396731 | 17.5 |9330k| 43 | 35 | 231 |9965 | 231 |2453 | 17 | 13k|2671 | 0.000000e+00 | -- | Inf
65.57/65.62 c 65.6s| 22700 | 91 |398997 | 17.6 |9351k| 43 | - | 231 | 10k| 231 |2453 | 17 | 13k|2671 | 0.000000e+00 | -- | Inf
65.77/65.87 c 65.9s| 22800 | 87 |400933 | 17.6 |9350k| 43 | - | 231 | 10k| 231 |2453 | 17 | 13k|2671 | 0.000000e+00 | -- | Inf
66.07/66.16 c 66.2s| 22900 | 89 |403244 | 17.6 |9365k| 43 | - | 231 | 10k| 231 |2453 | 17 | 13k|2671 | 0.000000e+00 | -- | Inf
66.37/66.46 c 66.5s| 23000 | 89 |405650 | 17.6 |9352k| 43 | 32 | 231 | 10k| 231 |2453 | 17 | 13k|2671 | 0.000000e+00 | -- | Inf
66.67/66.70 c 66.7s| 23100 | 87 |407485 | 17.6 |9361k| 43 | - | 231 | 10k| 231 |2453 | 17 | 13k|2671 | 0.000000e+00 | -- | Inf
66.87/66.92 c 66.9s| 23200 | 87 |409154 | 17.6 |9347k| 43 | 35 | 231 |9993 | 231 |2453 | 17 | 14k|2671 | 0.000000e+00 | -- | Inf
67.07/67.14 c 67.1s| 23300 | 88 |410822 | 17.6 |9364k| 43 | 32 | 231 | 10k| 231 |2453 | 17 | 14k|2671 | 0.000000e+00 | -- | Inf
67.26/67.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
67.26/67.36 c 67.4s| 23400 | 88 |412362 | 17.6 |9356k| 43 | - | 231 |9985 | 231 |2453 | 17 | 14k|2671 | 0.000000e+00 | -- | Inf
67.57/67.65 c 67.7s| 23500 | 90 |414244 | 17.6 |9348k| 43 | - | 231 |9928 | 231 |2453 | 17 | 14k|2683 | 0.000000e+00 | -- | Inf
67.87/67.92 c 67.9s| 23600 | 90 |415829 | 17.6 |9344k| 43 | 41 | 231 |9920 | 231 |2453 | 17 | 14k|2695 | 0.000000e+00 | -- | Inf
68.18/68.28 c 68.3s| 23700 | 91 |417828 | 17.6 |9345k| 43 | - | 231 |9897 | 231 |2453 | 17 | 14k|2717 | 0.000000e+00 | -- | Inf
68.47/68.52 c 68.5s| 23800 | 89 |419497 | 17.6 |9337k| 43 | 37 | 231 |9887 | 231 |2453 | 17 | 14k|2722 | 0.000000e+00 | -- | Inf
68.77/68.82 c 68.8s| 23900 | 91 |421158 | 17.6 |9342k| 43 | 19 | 231 |9868 | 231 |2453 | 17 | 14k|2739 | 0.000000e+00 | -- | Inf
68.97/69.09 c 69.1s| 24000 | 89 |422870 | 17.6 |9336k| 43 | 30 | 231 |9873 | 231 |2453 | 17 | 14k|2747 | 0.000000e+00 | -- | Inf
69.27/69.36 c 69.4s| 24100 | 91 |424555 | 17.6 |9358k| 43 | 24 | 231 |9890 | 231 |2453 | 17 | 14k|2761 | 0.000000e+00 | -- | Inf
69.57/69.63 c 69.6s| 24200 | 92 |426342 | 17.6 |9378k| 43 | - | 231 |9915 | 231 |2453 | 17 | 14k|2772 | 0.000000e+00 | -- | Inf
69.87/69.95 c 69.9s| 24300 | 94 |428400 | 17.6 |9389k| 43 | 29 | 231 |9948 | 231 |2453 | 17 | 14k|2784 | 0.000000e+00 | -- | Inf
70.17/70.30 c 70.3s| 24400 | 89 |430615 | 17.6 |9394k| 43 | 44 | 231 |9991 | 231 |2453 | 17 | 14k|2805 | 0.000000e+00 | -- | Inf
70.56/70.62 c 70.6s| 24500 | 99 |432680 | 17.7 |9433k| 43 | 24 | 231 | 10k| 231 |2453 | 17 | 14k|2820 | 0.000000e+00 | -- | Inf
70.86/70.93 c 70.9s| 24600 | 100 |434695 | 17.7 |9449k| 43 | 38 | 231 | 10k| 231 |2453 | 17 | 14k|2835 | 0.000000e+00 | -- | Inf
71.17/71.20 c 71.2s| 24700 | 96 |436566 | 17.7 |9467k| 43 | 42 | 231 | 10k| 231 |2453 | 17 | 14k|2844 | 0.000000e+00 | -- | Inf
71.38/71.44 c 71.4s| 24800 | 94 |438290 | 17.7 |9481k| 43 | 33 | 231 | 10k| 231 |2453 | 17 | 14k|2848 | 0.000000e+00 | -- | Inf
71.67/71.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.67/71.70 c 71.7s| 24900 | 91 |440019 | 17.7 |9504k| 43 | - | 231 | 10k| 0 | 0 | 17 | 15k|2856 | 0.000000e+00 | -- | Inf
71.87/71.95 c 71.9s| 25000 | 89 |441748 | 17.7 |9518k| 43 | - | 231 | 10k| 231 |2453 | 17 | 15k|2861 | 0.000000e+00 | -- | Inf
72.17/72.22 c 72.2s| 25100 | 86 |443812 | 17.7 |9521k| 43 | - | 231 | 10k| 231 |2453 | 17 | 15k|2864 | 0.000000e+00 | -- | Inf
72.37/72.47 c 72.5s| 25200 | 90 |445619 | 17.7 |9526k| 43 | 27 | 231 | 10k| 231 |2453 | 17 | 15k|2866 | 0.000000e+00 | -- | Inf
72.67/72.75 c 72.7s| 25300 | 86 |447602 | 17.7 |9522k| 43 | 41 | 231 | 10k| 231 |2453 | 17 | 15k|2870 | 0.000000e+00 | -- | Inf
72.87/72.99 c 73.0s| 25400 | 90 |449428 | 17.7 |9526k| 43 | 20 | 231 | 10k| 231 |2453 | 17 | 15k|2874 | 0.000000e+00 | -- | Inf
73.17/73.26 c 73.3s| 25500 | 87 |451468 | 17.7 |9544k| 43 | - | 231 | 10k| 231 |2453 | 17 | 15k|2875 | 0.000000e+00 | -- | Inf
73.47/73.51 c 73.5s| 25600 | 90 |453292 | 17.7 |9539k| 43 | 39 | 231 | 10k| 231 |2453 | 17 | 15k|2878 | 0.000000e+00 | -- | Inf
73.67/73.77 c 73.8s| 25700 | 94 |455256 | 17.7 |9554k| 43 | - | 231 | 10k| 231 |2453 | 17 | 15k|2879 | 0.000000e+00 | -- | Inf
73.87/73.99 c 74.0s| 25800 | 91 |456979 | 17.7 |9571k| 43 | - | 231 | 10k| 231 |2453 | 17 | 15k|2879 | 0.000000e+00 | -- | Inf
74.17/74.24 c 74.2s| 25900 | 93 |458899 | 17.7 |9577k| 43 | 37 | 231 | 10k| 231 |2453 | 17 | 15k|2879 | 0.000000e+00 | -- | Inf
74.37/74.46 c 74.5s| 26000 | 95 |460609 | 17.7 |9594k| 43 | 31 | 231 | 10k| 231 |2453 | 17 | 15k|2879 | 0.000000e+00 | -- | Inf
74.57/74.64 c 74.6s| 26100 | 94 |461865 | 17.7 |9607k| 43 | - | 231 | 10k| 231 |2453 | 17 | 15k|2879 | 0.000000e+00 | -- | Inf
74.78/74.84 c 74.8s| 26200 | 97 |463257 | 17.7 |9624k| 43 | - | 231 | 10k| 231 |2453 | 17 | 15k|2879 | 0.000000e+00 | -- | Inf
74.96/75.05 c 75.0s| 26300 | 101 |464963 | 17.7 |9651k| 43 | - | 231 | 10k| 231 |2453 | 17 | 15k|2879 | 0.000000e+00 | -- | Inf
75.16/75.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
75.16/75.26 c 75.3s| 26400 | 99 |466532 | 17.7 |9664k| 43 | 32 | 231 | 10k| 231 |2453 | 17 | 15k|2879 | 0.000000e+00 | -- | Inf
75.37/75.47 c 75.5s| 26500 | 97 |468085 | 17.7 |9685k| 43 | 31 | 231 | 10k| 231 |2453 | 17 | 15k|2879 | 0.000000e+00 | -- | Inf
75.57/75.68 c 75.7s| 26600 | 93 |469698 | 17.7 |9693k| 43 | - | 231 | 10k| 231 |2453 | 17 | 15k|2879 | 0.000000e+00 | -- | Inf
75.77/75.90 c 75.9s| 26700 | 95 |471425 | 17.7 |9718k| 43 | - | 231 | 10k| 231 |2453 | 17 | 16k|2879 | 0.000000e+00 | -- | Inf
76.07/76.16 c 76.2s| 26800 | 95 |473115 | 17.6 |9742k| 43 | - | 231 | 10k| 231 |2453 | 17 | 16k|2891 | 0.000000e+00 | -- | Inf
76.37/76.44 c 76.4s| 26900 | 97 |474735 | 17.6 |9758k| 43 | 28 | 231 | 10k| 231 |2453 | 17 | 16k|2907 | 0.000000e+00 | -- | Inf
76.67/76.71 c 76.7s| 27000 | 99 |476594 | 17.6 |9772k| 43 | - | 231 | 10k| 231 |2453 | 17 | 16k|2915 | 0.000000e+00 | -- | Inf
76.97/77.01 c 77.0s| 27100 | 101 |478356 | 17.6 |9771k| 43 | 33 | 231 | 10k| 231 |2453 | 17 | 16k|2931 | 0.000000e+00 | -- | Inf
77.16/77.28 c 77.3s| 27200 | 103 |480008 | 17.6 |9795k| 43 | 37 | 231 | 10k| 231 |2453 | 17 | 16k|2944 | 0.000000e+00 | -- | Inf
77.47/77.53 c 77.5s| 27300 | 108 |481698 | 17.6 |9821k| 43 | - | 231 | 10k| 231 |2453 | 17 | 16k|2954 | 0.000000e+00 | -- | Inf
77.77/77.81 c 77.8s| 27400 | 99 |483461 | 17.6 |9821k| 43 | - | 231 | 10k| 231 |2453 | 17 | 16k|2967 | 0.000000e+00 | -- | Inf
78.07/78.10 c 78.1s| 27500 | 101 |485283 | 17.6 |9841k| 43 | - | 231 | 10k| 231 |2453 | 17 | 16k|2983 | 0.000000e+00 | -- | Inf
78.37/78.42 c 78.4s| 27600 | 100 |487352 | 17.7 |9855k| 43 | 37 | 231 | 10k| 231 |2453 | 17 | 16k|2998 | 0.000000e+00 | -- | Inf
78.66/78.71 c 78.7s| 27700 | 102 |489344 | 17.7 |9878k| 43 | - | 231 | 10k| 231 |2453 | 17 | 16k|3011 | 0.000000e+00 | -- | Inf
78.97/79.03 c 79.0s| 27800 | 100 |491294 | 17.7 |9894k| 43 | 31 | 231 | 10k| 231 |2453 | 17 | 16k|3027 | 0.000000e+00 | -- | Inf
79.17/79.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.17/79.28 c 79.3s| 27900 | 100 |492799 | 17.7 |9911k| 43 | - | 231 | 11k| 231 |2453 | 17 | 16k|3037 | 0.000000e+00 | -- | Inf
79.46/79.57 c 79.6s| 28000 | 100 |494686 | 17.7 |9912k| 43 | 34 | 231 | 11k| 231 |2453 | 17 | 16k|3051 | 0.000000e+00 | -- | Inf
79.77/79.84 c 79.8s| 28100 | 101 |496528 | 17.7 |9931k| 43 | - | 231 | 11k| 231 |2453 | 17 | 16k|3064 | 0.000000e+00 | -- | Inf
80.07/80.13 c 80.1s| 28200 | 97 |498525 | 17.7 |9951k| 43 | - | 231 | 11k| 231 |2453 | 17 | 16k|3076 | 0.000000e+00 | -- | Inf
80.37/80.44 c 80.4s| 28300 | 103 |500529 | 17.7 |9976k| 43 | - | 231 | 11k| 231 |2453 | 17 | 16k|3088 | 0.000000e+00 | -- | Inf
80.56/80.68 c 80.7s| 28400 | 102 |502257 | 17.7 |9987k| 43 | 33 | 231 | 11k| 231 |2453 | 17 | 17k|3093 | 0.000000e+00 | -- | Inf
80.87/80.94 c 80.9s| 28500 | 104 |504210 | 17.7 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 17k|3094 | 0.000000e+00 | -- | Inf
81.17/81.20 c 81.2s| 28600 | 112 |506108 | 17.7 | 10M| 43 | 18 | 231 | 11k| 231 |2453 | 17 | 17k|3099 | 0.000000e+00 | -- | Inf
81.37/81.44 c 81.4s| 28700 | 111 |507543 | 17.7 | 10M| 43 | 32 | 231 | 11k| 231 |2453 | 17 | 17k|3109 | 0.000000e+00 | -- | Inf
81.67/81.71 c 81.7s| 28800 | 111 |509522 | 17.7 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 17k|3114 | 0.000000e+00 | -- | Inf
81.87/81.96 c 82.0s| 28900 | 112 |511349 | 17.7 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 17k|3117 | 0.000000e+00 | -- | Inf
82.17/82.21 c 82.2s| 29000 | 112 |513264 | 17.7 | 10M| 43 | 36 | 231 | 11k| 231 |2453 | 17 | 17k|3118 | 0.000000e+00 | -- | Inf
82.37/82.49 c 82.5s| 29100 | 106 |515497 | 17.7 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 17k|3118 | 0.000000e+00 | -- | Inf
82.67/82.72 c 82.7s| 29200 | 110 |517232 | 17.7 | 10M| 43 | 33 | 231 | 11k| 231 |2453 | 17 | 17k|3120 | 0.000000e+00 | -- | Inf
82.87/82.98 c 83.0s| 29300 | 108 |519113 | 17.7 | 10M| 43 | 34 | 231 | 11k| 231 |2453 | 17 | 17k|3123 | 0.000000e+00 | -- | Inf
83.17/83.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
83.17/83.22 c 83.2s| 29400 | 108 |520793 | 17.7 | 10M| 43 | 37 | 231 | 11k| 231 |2453 | 17 | 17k|3124 | 0.000000e+00 | -- | Inf
83.36/83.48 c 83.5s| 29500 | 116 |522843 | 17.7 | 10M| 43 | 39 | 231 | 11k| 231 |2453 | 17 | 17k|3125 | 0.000000e+00 | -- | Inf
83.67/83.72 c 83.7s| 29600 | 126 |524685 | 17.7 | 10M| 43 | 25 | 231 | 11k| 231 |2453 | 17 | 17k|3127 | 0.000000e+00 | -- | Inf
83.87/83.97 c 84.0s| 29700 | 124 |526546 | 17.7 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 17k|3129 | 0.000000e+00 | -- | Inf
84.06/84.19 c 84.2s| 29800 | 138 |528304 | 17.7 | 10M| 43 | 28 | 231 | 11k| 231 |2453 | 17 | 17k|3130 | 0.000000e+00 | -- | Inf
84.37/84.44 c 84.4s| 29900 | 149 |530183 | 17.7 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 17k|3131 | 0.000000e+00 | -- | Inf
84.57/84.64 c 84.6s| 30000 | 155 |531579 | 17.7 | 10M| 43 | 35 | 231 | 11k| 231 |2453 | 17 | 17k|3131 | 0.000000e+00 | -- | Inf
84.77/84.86 c 84.9s| 30100 | 157 |533212 | 17.7 | 10M| 43 | 31 | 231 | 11k| 231 |2453 | 17 | 17k|3131 | 0.000000e+00 | -- | Inf
85.06/85.10 c 85.1s| 30200 | 164 |535044 | 17.7 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 18k|3131 | 0.000000e+00 | -- | Inf
85.27/85.31 c 85.3s| 30300 | 166 |536530 | 17.7 | 10M| 43 | - | 231 | 11k| 0 | 0 | 17 | 18k|3131 | 0.000000e+00 | -- | Inf
85.47/85.59 c 85.6s| 30400 | 164 |538207 | 17.7 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 18k|3143 | 0.000000e+00 | -- | Inf
85.77/85.87 c 85.9s| 30500 | 167 |539912 | 17.7 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 18k|3155 | 0.000000e+00 | -- | Inf
86.07/86.13 c 86.1s| 30600 | 168 |541499 | 17.7 | 10M| 43 | 32 | 231 | 12k| 231 |2453 | 17 | 18k|3164 | 0.000000e+00 | -- | Inf
86.37/86.40 c 86.4s| 30700 | 174 |543328 | 17.7 | 10M| 43 | - | 231 | 12k| 231 |2453 | 17 | 18k|3170 | 0.000000e+00 | -- | Inf
86.56/86.69 c 86.7s| 30800 | 177 |545098 | 17.7 | 10M| 43 | 36 | 231 | 12k| 231 |2453 | 17 | 18k|3183 | 0.000000e+00 | -- | Inf
86.87/86.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.87/86.96 c 87.0s| 30900 | 175 |546915 | 17.7 | 10M| 43 | - | 231 | 12k| 231 |2453 | 17 | 18k|3194 | 0.000000e+00 | -- | Inf
87.26/87.31 c 87.3s| 31000 | 178 |549194 | 17.7 | 10M| 43 | - | 231 | 12k| 231 |2453 | 17 | 18k|3209 | 0.000000e+00 | -- | Inf
87.56/87.64 c 87.6s| 31100 | 188 |551333 | 17.7 | 10M| 43 | - | 231 | 12k| 231 |2453 | 17 | 18k|3225 | 0.000000e+00 | -- | Inf
87.87/87.91 c 87.9s| 31200 | 190 |553045 | 17.7 | 10M| 43 | 34 | 231 | 12k| 231 |2453 | 17 | 18k|3236 | 0.000000e+00 | -- | Inf
88.16/88.21 c 88.2s| 31300 | 186 |554881 | 17.7 | 10M| 43 | - | 231 | 12k| 231 |2453 | 17 | 18k|3250 | 0.000000e+00 | -- | Inf
88.36/88.49 c 88.5s| 31400 | 186 |556640 | 17.7 | 10M| 43 | 35 | 231 | 12k| 231 |2453 | 17 | 18k|3264 | 0.000000e+00 | -- | Inf
88.77/88.80 c 88.8s| 31500 | 190 |558570 | 17.7 | 10M| 43 | 32 | 231 | 12k| 231 |2453 | 17 | 18k|3279 | 0.000000e+00 | -- | Inf
88.97/89.07 c 89.1s| 31600 | 190 |560367 | 17.7 | 10M| 43 | - | 231 | 12k| 231 |2453 | 17 | 18k|3287 | 0.000000e+00 | -- | Inf
89.26/89.37 c 89.4s| 31700 | 188 |562333 | 17.7 | 10M| 43 | 34 | 231 | 12k| 231 |2453 | 17 | 18k|3299 | 0.000000e+00 | -- | Inf
89.67/89.72 c 89.7s| 31800 | 184 |564581 | 17.7 | 10M| 43 | - | 231 | 12k| 231 |2453 | 17 | 18k|3317 | 0.000000e+00 | -- | Inf
89.86/89.98 c 90.0s| 31900 | 186 |566396 | 17.8 | 10M| 43 | 34 | 231 | 12k| 231 |2453 | 17 | 19k|3323 | 0.000000e+00 | -- | Inf
90.17/90.23 c 90.2s| 32000 | 186 |568143 | 17.8 | 10M| 43 | - | 231 | 12k| 231 |2453 | 17 | 19k|3330 | 0.000000e+00 | -- | Inf
90.46/90.51 c 90.5s| 32100 | 190 |570248 | 17.8 | 10M| 43 | - | 231 | 12k| 0 | 0 | 17 | 19k|3333 | 0.000000e+00 | -- | Inf
90.67/90.79 c 90.8s| 32200 | 187 |572219 | 17.8 | 10M| 43 | 38 | 231 | 12k| 231 |2453 | 17 | 19k|3338 | 0.000000e+00 | -- | Inf
90.96/91.05 c 91.1s| 32300 | 181 |574227 | 17.8 | 10M| 43 | - | 231 | 12k| 231 |2453 | 17 | 19k|3339 | 0.000000e+00 | -- | Inf
91.27/91.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
91.27/91.34 c 91.3s| 32400 | 185 |576394 | 17.8 | 10M| 43 | 19 | 231 | 12k| 231 |2453 | 17 | 19k|3341 | 0.000000e+00 | -- | Inf
91.47/91.59 c 91.6s| 32500 | 185 |578160 | 17.8 | 10M| 43 | 36 | 231 | 12k| 231 |2453 | 17 | 19k|3344 | 0.000000e+00 | -- | Inf
91.76/91.80 c 91.8s| 32600 | 181 |579715 | 17.8 | 10M| 43 | - | 231 | 12k| 231 |2453 | 17 | 19k|3344 | 0.000000e+00 | -- | Inf
91.97/92.02 c 92.0s| 32700 | 190 |581277 | 17.8 | 10M| 43 | 26 | 231 | 12k| 231 |2453 | 17 | 19k|3344 | 0.000000e+00 | -- | Inf
92.17/92.27 c 92.3s| 32800 | 195 |583227 | 17.8 | 10M| 43 | - | 231 | 12k| 231 |2453 | 17 | 19k|3345 | 0.000000e+00 | -- | Inf
92.47/92.54 c 92.5s| 32900 | 201 |585323 | 17.8 | 11M| 43 | 22 | 231 | 12k| 231 |2453 | 17 | 19k|3345 | 0.000000e+00 | -- | Inf
92.77/92.80 c 92.8s| 33000 | 205 |587405 | 17.8 | 11M| 43 | 41 | 231 | 12k| 231 |2453 | 17 | 19k|3345 | 0.000000e+00 | -- | Inf
92.96/93.06 c 93.1s| 33100 | 214 |589582 | 17.8 | 11M| 43 | 36 | 231 | 12k| 231 |2453 | 17 | 19k|3345 | 0.000000e+00 | -- | Inf
93.16/93.28 c 93.3s| 33200 | 212 |591273 | 17.8 | 11M| 43 | - | 231 | 12k| 231 |2453 | 17 | 19k|3345 | 0.000000e+00 | -- | Inf
93.47/93.54 c 93.5s| 33300 | 216 |593217 | 17.8 | 11M| 43 | - | 231 | 12k| 231 |2453 | 17 | 19k|3345 | 0.000000e+00 | -- | Inf
93.67/93.79 c 93.8s| 33400 | 220 |595137 | 17.8 | 11M| 43 | - | 231 | 12k| 231 |2453 | 17 | 19k|3347 | 0.000000e+00 | -- | Inf
93.97/94.05 c 94.1s| 33500 | 222 |597171 | 17.8 | 11M| 44 | - | 231 | 12k| 0 | 0 | 17 | 19k|3347 | 0.000000e+00 | -- | Inf
94.26/94.31 c 94.3s| 33600 | 219 |599145 | 17.8 | 11M| 44 | - | 231 | 12k| 231 |2453 | 17 | 20k|3347 | 0.000000e+00 | -- | Inf
94.47/94.59 c 94.6s| 33700 | 220 |601360 | 17.8 | 11M| 44 | - | 231 | 12k| 231 |2453 | 17 | 20k|3347 | 0.000000e+00 | -- | Inf
94.76/94.84 c 94.8s| 33800 | 219 |603236 | 17.8 | 11M| 44 | 36 | 231 | 12k| 231 |2453 | 17 | 20k|3347 | 0.000000e+00 | -- | Inf
95.07/95.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
95.07/95.16 c 95.2s| 33900 | 217 |605207 | 17.8 | 11M| 44 | - | 231 | 12k| 231 |2453 | 17 | 20k|3365 | 0.000000e+00 | -- | Inf
95.36/95.49 c 95.5s| 34000 | 216 |607475 | 17.9 | 11M| 44 | - | 231 | 13k| 231 |2453 | 17 | 20k|3375 | 0.000000e+00 | -- | Inf
95.67/95.79 c 95.8s| 34100 | 215 |609651 | 17.9 | 11M| 44 | - | 231 | 13k| 231 |2453 | 17 | 20k|3382 | 0.000000e+00 | -- | Inf
96.07/96.11 c 96.1s| 34200 | 217 |611654 | 17.9 | 11M| 44 | 41 | 231 | 13k| 231 |2453 | 17 | 20k|3397 | 0.000000e+00 | -- | Inf
96.27/96.39 c 96.4s| 34300 | 211 |613526 | 17.9 | 11M| 44 | 31 | 231 | 13k| 231 |2453 | 17 | 20k|3406 | 0.000000e+00 | -- | Inf
96.67/96.75 c 96.7s| 34400 | 209 |615867 | 17.9 | 11M| 44 | - | 231 | 13k| 231 |2453 | 17 | 20k|3423 | 0.000000e+00 | -- | Inf
96.97/97.09 c 97.1s| 34500 | 207 |618169 | 17.9 | 11M| 44 | - | 231 | 13k| 231 |2453 | 17 | 20k|3434 | 0.000000e+00 | -- | Inf
97.26/97.39 c 97.4s| 34600 | 205 |620298 | 17.9 | 11M| 44 | - | 231 | 13k| 231 |2453 | 17 | 20k|3441 | 0.000000e+00 | -- | Inf
97.67/97.71 c 97.7s| 34700 | 203 |622362 | 17.9 | 11M| 44 | - | 231 | 13k| 231 |2453 | 17 | 20k|3455 | 0.000000e+00 | -- | Inf
97.97/98.00 c 98.0s| 34800 | 207 |624281 | 17.9 | 11M| 45 | 33 | 231 | 13k| 231 |2453 | 17 | 20k|3466 | 0.000000e+00 | -- | Inf
98.16/98.29 c 98.3s| 34900 | 205 |626106 | 17.9 | 11M| 47 | - | 231 | 13k| 231 |2453 | 17 | 20k|3477 | 0.000000e+00 | -- | Inf
98.47/98.57 c 98.6s| 35000 | 203 |628058 | 17.9 | 11M| 47 | - | 231 | 13k| 231 |2453 | 17 | 20k|3484 | 0.000000e+00 | -- | Inf
98.76/98.89 c 98.9s| 35100 | 203 |630595 | 18.0 | 11M| 47 | - | 231 | 13k| 231 |2453 | 17 | 20k|3487 | 0.000000e+00 | -- | Inf
99.06/99.17 c 99.2s| 35200 | 204 |632670 | 18.0 | 11M| 47 | 36 | 231 | 13k| 231 |2453 | 17 | 20k|3490 | 0.000000e+00 | -- | Inf
99.37/99.45 c 99.5s| 35300 | 197 |634754 | 18.0 | 11M| 47 | - | 231 | 13k| 231 |2453 | 17 | 21k|3495 | 0.000000e+00 | -- | Inf
99.66/99.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
99.66/99.78 c 99.8s| 35400 | 197 |636953 | 18.0 | 11M| 47 | 28 | 231 | 13k| 231 |2453 | 17 | 21k|3507 | 0.000000e+00 | -- | Inf
99.97/100.06 c 100s| 35500 | 196 |638966 | 18.0 | 11M| 47 | - | 231 | 13k| 231 |2453 | 17 | 21k|3512 | 0.000000e+00 | -- | Inf
100.27/100.35 c 100s| 35600 | 196 |641147 | 18.0 | 11M| 47 | 32 | 231 | 13k| 231 |2453 | 17 | 21k|3515 | 0.000000e+00 | -- | Inf
100.57/100.63 c 101s| 35700 | 188 |643296 | 18.0 | 11M| 47 | - | 231 | 13k| 231 |2453 | 17 | 21k|3516 | 0.000000e+00 | -- | Inf
100.86/100.90 c 101s| 35800 | 190 |645410 | 18.0 | 11M| 47 | 42 | 231 | 13k| 231 |2453 | 17 | 21k|3517 | 0.000000e+00 | -- | Inf
101.07/101.17 c 101s| 35900 | 200 |647479 | 18.0 | 11M| 47 | 25 | 231 | 13k| 231 |2453 | 17 | 21k|3519 | 0.000000e+00 | -- | Inf
101.36/101.41 c 101s| 36000 | 199 |649354 | 18.0 | 11M| 47 | 33 | 231 | 13k| 231 |2453 | 17 | 21k|3520 | 0.000000e+00 | -- | Inf
101.57/101.66 c 102s| 36100 | 200 |651383 | 18.0 | 11M| 47 | 54 | 231 | 13k| 231 |2453 | 17 | 21k|3520 | 0.000000e+00 | -- | Inf
101.86/101.95 c 102s| 36200 | 200 |653661 | 18.1 | 11M| 47 | - | 231 | 13k| 231 |2453 | 17 | 21k|3521 | 0.000000e+00 | -- | Inf
102.17/102.23 c 102s| 36300 | 202 |656062 | 18.1 | 11M| 47 | 37 | 231 | 13k| 231 |2453 | 17 | 21k|3521 | 0.000000e+00 | -- | Inf
102.37/102.49 c 102s| 36400 | 201 |658190 | 18.1 | 11M| 47 | - | 231 | 13k| 231 |2453 | 17 | 21k|3521 | 0.000000e+00 | -- | Inf
102.66/102.78 c 103s| 36500 | 200 |660587 | 18.1 | 11M| 47 | - | 231 | 13k| 231 |2453 | 17 | 21k|3521 | 0.000000e+00 | -- | Inf
102.97/103.05 c 103s| 36600 | 194 |662549 | 18.1 | 11M| 47 | 42 | 231 | 13k| 231 |2453 | 17 | 21k|3522 | 0.000000e+00 | -- | Inf
103.27/103.32 c 103s| 36700 | 192 |664675 | 18.1 | 11M| 47 | - | 231 | 13k| 231 |2453 | 17 | 21k|3523 | 0.000000e+00 | -- | Inf
103.56/103.60 c 104s| 36800 | 191 |666844 | 18.1 | 11M| 47 | - | 231 | 13k| 231 |2453 | 17 | 21k|3523 | 0.000000e+00 | -- | Inf
103.87/103.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
103.87/103.94 c 104s| 36900 | 193 |669372 | 18.1 | 11M| 47 | 35 | 231 | 13k| 231 |2453 | 17 | 21k|3532 | 0.000000e+00 | -- | Inf
104.16/104.29 c 104s| 37000 | 187 |671585 | 18.1 | 11M| 48 | - | 231 | 13k| 231 |2453 | 17 | 21k|3550 | 0.000000e+00 | -- | Inf
104.56/104.62 c 105s| 37100 | 185 |673778 | 18.2 | 11M| 48 | - | 231 | 13k| 231 |2453 | 17 | 22k|3561 | 0.000000e+00 | -- | Inf
104.86/104.92 c 105s| 37200 | 187 |675939 | 18.2 | 11M| 48 | 24 | 231 | 13k| 231 |2453 | 17 | 22k|3567 | 0.000000e+00 | -- | Inf
105.16/105.22 c 105s| 37300 | 183 |677770 | 18.2 | 11M| 48 | - | 231 | 13k| 231 |2453 | 17 | 22k|3578 | 0.000000e+00 | -- | Inf
105.47/105.53 c 106s| 37400 | 182 |679555 | 18.2 | 11M| 48 | - | 231 | 13k| 231 |2453 | 17 | 22k|3594 | 0.000000e+00 | -- | Inf
105.67/105.79 c 106s| 37500 | 185 |681438 | 18.2 | 11M| 48 | 28 | 231 | 13k| 231 |2453 | 17 | 22k|3597 | 0.000000e+00 | -- | Inf
106.06/106.10 c 106s| 37600 | 183 |683433 | 18.2 | 11M| 48 | - | 231 | 13k| 231 |2453 | 17 | 22k|3611 | 0.000000e+00 | -- | Inf
106.37/106.40 c 106s| 37700 | 185 |685330 | 18.2 | 11M| 48 | - | 231 | 13k| 231 |2453 | 17 | 22k|3625 | 0.000000e+00 | -- | Inf
106.67/106.70 c 107s| 37800 | 185 |687227 | 18.2 | 11M| 48 | 26 | 231 | 13k| 231 |2453 | 17 | 22k|3638 | 0.000000e+00 | -- | Inf
106.96/107.05 c 107s| 37900 | 188 |689416 | 18.2 | 11M| 48 | - | 231 | 12k| 231 |2453 | 17 | 22k|3652 | 0.000000e+00 | -- | Inf
107.26/107.37 c 107s| 38000 | 190 |691599 | 18.2 | 11M| 48 | - | 231 | 12k| 231 |2453 | 17 | 22k|3662 | 0.000000e+00 | -- | Inf
107.57/107.70 c 108s| 38100 | 189 |693652 | 18.2 | 11M| 48 | - | 231 | 12k| 231 |2453 | 17 | 22k|3676 | 0.000000e+00 | -- | Inf
107.86/107.97 c 108s| 38200 | 189 |695598 | 18.2 | 11M| 48 | - | 231 | 12k| 231 |2453 | 17 | 22k|3681 | 0.000000e+00 | -- | Inf
108.16/108.26 c 108s| 38300 | 185 |697590 | 18.2 | 11M| 48 | - | 231 | 12k| 231 |2453 | 17 | 22k|3687 | 0.000000e+00 | -- | Inf
108.46/108.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
108.46/108.52 c 109s| 38400 | 183 |699554 | 18.2 | 11M| 48 | 39 | 231 | 12k| 231 |2453 | 17 | 22k|3689 | 0.000000e+00 | -- | Inf
108.76/108.82 c 109s| 38500 | 190 |701831 | 18.2 | 11M| 48 | 35 | 231 | 12k| 231 |2453 | 17 | 22k|3693 | 0.000000e+00 | -- | Inf
109.06/109.11 c 109s| 38600 | 191 |704119 | 18.2 | 10M| 48 | 37 | 231 | 12k| 231 |2453 | 17 | 22k|3695 | 0.000000e+00 | -- | Inf
109.26/109.36 c 109s| 38700 | 185 |705877 | 18.2 | 10M| 48 | 23 | 231 | 12k| 231 |2453 | 17 | 22k|3696 | 0.000000e+00 | -- | Inf
109.56/109.60 c 110s| 38800 | 185 |707560 | 18.2 | 10M| 48 | 32 | 231 | 12k| 231 |2453 | 17 | 23k|3696 | 0.000000e+00 | -- | Inf
109.76/109.83 c 110s| 38900 | 186 |709239 | 18.2 | 10M| 48 | - | 231 | 11k| 231 |2453 | 17 | 23k|3696 | 0.000000e+00 | -- | Inf
109.97/110.09 c 110s| 39000 | 186 |711325 | 18.2 | 10M| 48 | - | 231 | 11k| 231 |2453 | 17 | 23k|3696 | 0.000000e+00 | -- | Inf
110.26/110.35 c 110s| 39100 | 190 |713249 | 18.2 | 10M| 48 | - | 231 | 11k| 231 |2453 | 17 | 23k|3696 | 0.000000e+00 | -- | Inf
110.57/110.62 c 111s| 39200 | 182 |715228 | 18.2 | 10M| 48 | 40 | 231 | 11k| 231 |2453 | 17 | 23k|3696 | 0.000000e+00 | -- | Inf
110.76/110.88 c 111s| 39300 | 184 |717208 | 18.2 | 10M| 48 | - | 231 | 11k| 231 |2453 | 17 | 23k|3696 | 0.000000e+00 | -- | Inf
111.06/111.16 c 111s| 39400 | 188 |719383 | 18.3 | 10M| 48 | 46 | 231 | 11k| 231 |2453 | 17 | 23k|3696 | 0.000000e+00 | -- | Inf
111.36/111.43 c 111s| 39500 | 182 |721467 | 18.3 | 10M| 48 | - | 231 | 11k| 231 |2453 | 17 | 23k|3696 | 0.000000e+00 | -- | Inf
111.56/111.69 c 112s| 39600 | 182 |723441 | 18.3 | 10M| 48 | 39 | 231 | 11k| 231 |2453 | 17 | 23k|3697 | 0.000000e+00 | -- | Inf
111.87/111.94 c 112s| 39700 | 183 |725310 | 18.3 | 10M| 48 | 22 | 231 | 11k| 231 |2453 | 17 | 23k|3697 | 0.000000e+00 | -- | Inf
112.07/112.18 c 112s| 39800 | 183 |727032 | 18.3 | 10M| 48 | 34 | 231 | 11k| 231 |2453 | 17 | 23k|3698 | 0.000000e+00 | -- | Inf
112.36/112.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
112.36/112.44 c 112s| 39900 | 179 |728965 | 18.3 | 10M| 48 | 43 | 231 | 11k| 231 |2453 | 17 | 23k|3699 | 0.000000e+00 | -- | Inf
112.56/112.69 c 113s| 40000 | 175 |730867 | 18.3 | 10M| 48 | - | 231 | 11k| 231 |2453 | 17 | 23k|3699 | 0.000000e+00 | -- | Inf
112.86/112.96 c 113s| 40100 | 172 |732808 | 18.3 | 10M| 48 | 33 | 231 | 10k| 231 |2453 | 17 | 23k|3699 | 0.000000e+00 | -- | Inf
113.16/113.21 c 113s| 40200 | 173 |734764 | 18.3 | 10M| 48 | 40 | 231 | 10k| 231 |2453 | 17 | 23k|3699 | 0.000000e+00 | -- | Inf
113.37/113.49 c 113s| 40300 | 172 |736528 | 18.3 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 23k|3710 | 0.000000e+00 | -- | Inf
113.66/113.73 c 114s| 40400 | 172 |738205 | 18.3 | 10M| 48 | 34 | 231 | 10k| 231 |2453 | 17 | 24k|3714 | 0.000000e+00 | -- | Inf
113.87/113.99 c 114s| 40500 | 172 |739737 | 18.3 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 24k|3725 | 0.000000e+00 | -- | Inf
114.16/114.26 c 114s| 40600 | 170 |741448 | 18.3 | 10M| 50 | - | 231 | 10k| 0 | 0 | 17 | 24k|3737 | 0.000000e+00 | -- | Inf
114.47/114.51 c 115s| 40700 | 172 |742993 | 18.3 | 10M| 50 | 30 | 231 | 10k| 231 |2453 | 17 | 24k|3747 | 0.000000e+00 | -- | Inf
114.66/114.79 c 115s| 40800 | 168 |744741 | 18.3 | 10M| 50 | - | 231 | 10k| 231 |2453 | 17 | 24k|3757 | 0.000000e+00 | -- | Inf
114.96/115.09 c 115s| 40900 | 170 |746589 | 18.3 | 10M| 50 | - | 231 | 10k| 231 |2453 | 17 | 24k|3772 | 0.000000e+00 | -- | Inf
115.27/115.38 c 115s| 41000 | 170 |748614 | 18.3 | 10M| 50 | 29 | 231 | 10k| 231 |2453 | 17 | 24k|3779 | 0.000000e+00 | -- | Inf
115.56/115.64 c 116s| 41100 | 168 |750235 | 18.3 | 10M| 50 | - | 231 | 10k| 231 |2453 | 17 | 24k|3787 | 0.000000e+00 | -- | Inf
115.86/115.95 c 116s| 41200 | 168 |752377 | 18.3 | 10M| 50 | - | 231 | 10k| 231 |2453 | 17 | 24k|3797 | 0.000000e+00 | -- | Inf
116.16/116.24 c 116s| 41300 | 168 |754339 | 18.3 | 10M| 50 | 32 | 231 | 10k| 231 |2453 | 17 | 24k|3810 | 0.000000e+00 | -- | Inf
116.36/116.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
116.36/116.50 c 117s| 41400 | 170 |756108 | 18.3 | 10M| 50 | - | 231 | 10k| 231 |2453 | 17 | 24k|3817 | 0.000000e+00 | -- | Inf
116.66/116.78 c 117s| 41500 | 170 |757940 | 18.3 | 10M| 50 | - | 231 | 10k| 231 |2453 | 17 | 24k|3828 | 0.000000e+00 | -- | Inf
117.06/117.10 c 117s| 41600 | 171 |759757 | 18.3 | 10M| 50 | 40 | 231 | 10k| 231 |2453 | 17 | 24k|3846 | 0.000000e+00 | -- | Inf
117.26/117.36 c 117s| 41700 | 167 |761638 | 18.3 | 10M| 50 | - | 231 | 10k| 231 |2453 | 17 | 24k|3851 | 0.000000e+00 | -- | Inf
117.57/117.66 c 118s| 41800 | 169 |763672 | 18.3 | 10M| 50 | - | 231 | 10k| 231 |2453 | 17 | 24k|3862 | 0.000000e+00 | -- | Inf
117.87/117.91 c 118s| 41900 | 177 |765282 | 18.3 | 10M| 50 | - | 231 | 10k| 231 |2453 | 17 | 24k|3870 | 0.000000e+00 | -- | Inf
118.06/118.13 c 118s| 42000 | 179 |766716 | 18.3 | 10M| 50 | - | 231 | 10k| 231 |2453 | 17 | 24k|3875 | 0.000000e+00 | -- | Inf
118.26/118.37 c 118s| 42100 | 175 |768209 | 18.2 | 10M| 50 | 40 | 231 | 10k| 231 |2453 | 17 | 25k|3882 | 0.000000e+00 | -- | Inf
118.47/118.57 c 119s| 42200 | 177 |769710 | 18.2 | 10M| 50 | - | 231 | 10k| 231 |2453 | 17 | 25k|3883 | 0.000000e+00 | -- | Inf
118.67/118.79 c 119s| 42300 | 175 |771158 | 18.2 | 10M| 50 | - | 231 | 10k| 231 |2453 | 17 | 25k|3886 | 0.000000e+00 | -- | Inf
118.96/119.01 c 119s| 42400 | 177 |772871 | 18.2 | 10M| 50 | - | 231 | 10k| 231 |2453 | 17 | 25k|3886 | 0.000000e+00 | -- | Inf
119.17/119.23 c 119s| 42500 | 177 |774533 | 18.2 | 10M| 50 | 33 | 231 | 10k| 231 |2453 | 17 | 25k|3887 | 0.000000e+00 | -- | Inf
119.36/119.48 c 119s| 42600 | 177 |776453 | 18.2 | 10M| 50 | - | 231 | 10k| 231 |2453 | 17 | 25k|3887 | 0.000000e+00 | -- | Inf
119.67/119.72 c 120s| 42700 | 175 |778274 | 18.2 | 10M| 50 | - | 231 | 10k| 231 |2453 | 17 | 25k|3889 | 0.000000e+00 | -- | Inf
119.87/119.95 c 120s| 42800 | 175 |779827 | 18.2 | 10M| 50 | - | 231 | 10k| 231 |2453 | 17 | 25k|3891 | 0.000000e+00 | -- | Inf
120.06/120.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
120.06/120.19 c 120s| 42900 | 173 |781570 | 18.2 | 10M| 50 | - | 231 | 10k| 231 |2453 | 17 | 25k|3893 | 0.000000e+00 | -- | Inf
120.36/120.41 c 120s| 43000 | 175 |783206 | 18.2 | 10M| 52 | 37 | 231 | 10k| 231 |2453 | 17 | 25k|3893 | 0.000000e+00 | -- | Inf
120.56/120.61 c 121s| 43100 | 176 |784640 | 18.2 | 10M| 52 | 28 | 231 | 10k| 231 |2453 | 17 | 25k|3893 | 0.000000e+00 | -- | Inf
120.76/120.82 c 121s| 43200 | 176 |786286 | 18.2 | 10M| 52 | 26 | 231 | 10k| 231 |2453 | 17 | 25k|3894 | 0.000000e+00 | -- | Inf
120.97/121.04 c 121s| 43300 | 177 |788015 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 25k|3894 | 0.000000e+00 | -- | Inf
121.16/121.25 c 121s| 43400 | 177 |789597 | 18.2 | 10M| 52 | 32 | 231 | 10k| 231 |2453 | 17 | 25k|3895 | 0.000000e+00 | -- | Inf
121.36/121.47 c 121s| 43500 | 175 |791215 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 25k|3896 | 0.000000e+00 | -- | Inf
121.66/121.71 c 122s| 43600 | 177 |793131 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 25k|3896 | 0.000000e+00 | -- | Inf
121.86/121.91 c 122s| 43700 | 175 |794685 | 18.2 | 10M| 52 | 20 | 231 | 10k| 231 |2453 | 17 | 26k|3896 | 0.000000e+00 | -- | Inf
122.06/122.15 c 122s| 43800 | 170 |796404 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 26k|3896 | 0.000000e+00 | -- | Inf
122.26/122.39 c 122s| 43900 | 170 |798187 | 18.2 | 10M| 52 | 34 | 231 | 10k| 231 |2453 | 17 | 26k|3897 | 0.000000e+00 | -- | Inf
122.56/122.63 c 123s| 44000 | 168 |799886 | 18.2 | 10M| 52 | 33 | 231 | 10k| 231 |2453 | 17 | 26k|3898 | 0.000000e+00 | -- | Inf
122.76/122.84 c 123s| 44100 | 168 |801497 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 26k|3898 | 0.000000e+00 | -- | Inf
122.96/123.08 c 123s| 44200 | 170 |803330 | 18.2 | 10M| 52 | 32 | 231 | 10k| 231 |2453 | 17 | 26k|3898 | 0.000000e+00 | -- | Inf
123.27/123.31 c 123s| 44300 | 168 |805135 | 18.2 | 10M| 52 | 30 | 231 | 10k| 231 |2453 | 17 | 26k|3898 | 0.000000e+00 | -- | Inf
123.46/123.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
123.46/123.57 c 124s| 44400 | 164 |807081 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 26k|3898 | 0.000000e+00 | -- | Inf
123.66/123.79 c 124s| 44500 | 166 |808714 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 26k|3898 | 0.000000e+00 | -- | Inf
123.96/124.08 c 124s| 44600 | 163 |810492 | 18.2 | 10M| 52 | 43 | 231 | 10k| 231 |2453 | 17 | 26k|3910 | 0.000000e+00 | -- | Inf
124.17/124.29 c 124s| 44700 | 164 |811853 | 18.2 | 10M| 52 | - | 231 | 10k| 0 | 0 | 17 | 26k|3910 | 0.000000e+00 | -- | Inf
124.46/124.55 c 125s| 44800 | 160 |813373 | 18.2 | 10M| 52 | 37 | 231 | 10k| 231 |2453 | 17 | 26k|3921 | 0.000000e+00 | -- | Inf
124.76/124.83 c 125s| 44900 | 158 |815115 | 18.2 | 10M| 52 | 35 | 231 | 10k| 231 |2453 | 17 | 26k|3930 | 0.000000e+00 | -- | Inf
124.96/125.06 c 125s| 45000 | 155 |816893 | 18.2 | 10M| 52 | 34 | 231 | 10k| 231 |2453 | 17 | 26k|3930 | 0.000000e+00 | -- | Inf
125.27/125.34 c 125s| 45100 | 155 |818684 | 18.1 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 26k|3940 | 0.000000e+00 | -- | Inf
125.56/125.66 c 126s| 45200 | 159 |820894 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 26k|3949 | 0.000000e+00 | -- | Inf
125.86/125.92 c 126s| 45300 | 161 |822676 | 18.2 | 10M| 52 | 25 | 231 | 10k| 231 |2453 | 17 | 27k|3956 | 0.000000e+00 | -- | Inf
126.16/126.23 c 126s| 45400 | 161 |824657 | 18.2 | 10M| 52 | 39 | 231 | 10k| 231 |2453 | 17 | 27k|3969 | 0.000000e+00 | -- | Inf
126.47/126.55 c 127s| 45500 | 157 |826664 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 27k|3984 | 0.000000e+00 | -- | Inf
126.76/126.83 c 127s| 45600 | 163 |828500 | 18.2 | 10M| 52 | 28 | 231 | 10k| 231 |2453 | 17 | 27k|3995 | 0.000000e+00 | -- | Inf
127.06/127.12 c 127s| 45700 | 160 |830767 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 27k|4000 | 0.000000e+00 | -- | Inf
127.36/127.44 c 127s| 45800 | 157 |832779 | 18.2 | 10M| 52 | 40 | 231 | 10k| 231 |2453 | 17 | 27k|4013 | 0.000000e+00 | -- | Inf
127.66/127.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
127.66/127.71 c 128s| 45900 | 157 |834605 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 27k|4019 | 0.000000e+00 | -- | Inf
127.86/127.99 c 128s| 46000 | 161 |836368 | 18.2 | 10M| 52 | 36 | 231 | 10k| 231 |2453 | 17 | 27k|4029 | 0.000000e+00 | -- | Inf
128.16/128.26 c 128s| 46100 | 161 |838046 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 27k|4041 | 0.000000e+00 | -- | Inf
128.36/128.49 c 128s| 46200 | 162 |839544 | 18.2 | 10M| 52 | 20 | 231 | 10k| 231 |2453 | 17 | 27k|4048 | 0.000000e+00 | -- | Inf
128.66/128.77 c 129s| 46300 | 164 |841370 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 27k|4058 | 0.000000e+00 | -- | Inf
128.96/129.06 c 129s| 46400 | 162 |843379 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 27k|4070 | 0.000000e+00 | -- | Inf
129.26/129.37 c 129s| 46500 | 160 |845383 | 18.2 | 10M| 52 | 37 | 231 | 10k| 231 |2453 | 17 | 27k|4080 | 0.000000e+00 | -- | Inf
129.56/129.61 c 130s| 46600 | 160 |846861 | 18.2 | 10M| 52 | 37 | 231 | 10k| 231 |2453 | 17 | 27k|4089 | 0.000000e+00 | -- | Inf
129.76/129.86 c 130s| 46700 | 160 |848587 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 28k|4095 | 0.000000e+00 | -- | Inf
130.06/130.13 c 130s| 46800 | 158 |850634 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 28k|4098 | 0.000000e+00 | -- | Inf
130.26/130.38 c 130s| 46900 | 164 |852486 | 18.2 | 10M| 52 | 28 | 231 | 10k| 231 |2453 | 17 | 28k|4100 | 0.000000e+00 | -- | Inf
130.56/130.60 c 131s| 47000 | 164 |854128 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 28k|4100 | 0.000000e+00 | -- | Inf
130.77/130.82 c 131s| 47100 | 163 |855799 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 28k|4101 | 0.000000e+00 | -- | Inf
130.96/131.07 c 131s| 47200 | 163 |857695 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 28k|4101 | 0.000000e+00 | -- | Inf
131.26/131.31 c 131s| 47300 | 163 |859552 | 18.2 | 10M| 52 | 29 | 231 | 10k| 231 |2453 | 17 | 28k|4102 | 0.000000e+00 | -- | Inf
131.46/131.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
131.46/131.54 c 132s| 47400 | 158 |861190 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 28k|4103 | 0.000000e+00 | -- | Inf
131.76/131.83 c 132s| 47500 | 154 |863294 | 18.2 | 10M| 52 | 38 | 231 | 10k| 231 |2453 | 17 | 28k|4106 | 0.000000e+00 | -- | Inf
131.97/132.07 c 132s| 47600 | 153 |865097 | 18.2 | 10M| 52 | 29 | 231 | 10k| 231 |2453 | 17 | 28k|4107 | 0.000000e+00 | -- | Inf
132.26/132.35 c 132s| 47700 | 145 |867176 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 28k|4109 | 0.000000e+00 | -- | Inf
132.56/132.60 c 133s| 47800 | 144 |869007 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 28k|4111 | 0.000000e+00 | -- | Inf
132.76/132.86 c 133s| 47900 | 146 |870828 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 28k|4113 | 0.000000e+00 | -- | Inf
133.06/133.11 c 133s| 48000 | 148 |872630 | 18.2 | 10M| 52 | 29 | 231 | 10k| 231 |2453 | 17 | 28k|4113 | 0.000000e+00 | -- | Inf
133.26/133.33 c 133s| 48100 | 150 |874203 | 18.2 | 10M| 52 | 37 | 231 | 10k| 231 |2453 | 17 | 28k|4114 | 0.000000e+00 | -- | Inf
133.46/133.56 c 134s| 48200 | 152 |875920 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 28k|4114 | 0.000000e+00 | -- | Inf
133.76/133.80 c 134s| 48300 | 151 |877839 | 18.2 | 10M| 52 | 37 | 231 | 10k| 231 |2453 | 17 | 28k|4114 | 0.000000e+00 | -- | Inf
133.96/134.05 c 134s| 48400 | 154 |879848 | 18.2 | 10M| 52 | - | 231 | 10k| 0 | 0 | 17 | 29k|4114 | 0.000000e+00 | -- | Inf
134.26/134.33 c 134s| 48500 | 159 |882080 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 29k|4115 | 0.000000e+00 | -- | Inf
134.56/134.60 c 135s| 48600 | 153 |884174 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 29k|4115 | 0.000000e+00 | -- | Inf
134.75/134.85 c 135s| 48700 | 147 |886152 | 18.2 | 10M| 52 | 37 | 231 | 10k| 231 |2453 | 17 | 29k|4115 | 0.000000e+00 | -- | Inf
135.06/135.11 c 135s| 48800 | 144 |888138 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 29k|4115 | 0.000000e+00 | -- | Inf
135.27/135.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
135.27/135.36 c 135s| 48900 | 146 |890036 | 18.2 | 10M| 52 | 42 | 231 | 10k| 231 |2453 | 17 | 29k|4116 | 0.000000e+00 | -- | Inf
135.46/135.59 c 136s| 49000 | 144 |891802 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 29k|4116 | 0.000000e+00 | -- | Inf
135.76/135.81 c 136s| 49100 | 144 |893475 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 29k|4116 | 0.000000e+00 | -- | Inf
135.96/136.07 c 136s| 49200 | 144 |895258 | 18.2 | 10M| 52 | 29 | 231 | 10k| 231 |2453 | 17 | 29k|4125 | 0.000000e+00 | -- | Inf
136.26/136.34 c 136s| 49300 | 144 |896922 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 29k|4141 | 0.000000e+00 | -- | Inf
136.56/136.63 c 137s| 49400 | 145 |898766 | 18.2 | 10M| 52 | 33 | 231 | 10k| 231 |2453 | 17 | 29k|4153 | 0.000000e+00 | -- | Inf
136.76/136.85 c 137s| 49500 | 147 |900439 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 29k|4153 | 0.000000e+00 | -- | Inf
137.06/137.10 c 137s| 49600 | 147 |902034 | 18.2 | 10M| 52 | 27 | 231 | 10k| 231 |2453 | 17 | 29k|4160 | 0.000000e+00 | -- | Inf
137.26/137.39 c 137s| 49700 | 146 |903944 | 18.2 | 10M| 52 | - | 231 | 10k| 0 | 0 | 17 | 29k|4171 | 0.000000e+00 | -- | Inf
137.56/137.66 c 138s| 49800 | 147 |905459 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 29k|4187 | 0.000000e+00 | -- | Inf
137.75/137.86 c 138s| 49900 | 149 |907014 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 29k|4187 | 0.000000e+00 | -- | Inf
138.06/138.11 c 138s| 50000 | 150 |908570 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 30k|4198 | 0.000000e+00 | -- | Inf
138.26/138.34 c 138s| 50100 | 147 |910041 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 30k|4205 | 0.000000e+00 | -- | Inf
138.46/138.58 c 139s| 50200 | 149 |911670 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 30k|4211 | 0.000000e+00 | -- | Inf
138.76/138.83 c 139s| 50300 | 147 |913280 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 30k|4218 | 0.000000e+00 | -- | Inf
139.05/139.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
139.05/139.14 c 139s| 50400 | 149 |915285 | 18.2 | 10M| 52 | 40 | 231 | 10k| 231 |2453 | 17 | 30k|4231 | 0.000000e+00 | -- | Inf
139.36/139.45 c 139s| 50500 | 147 |917324 | 18.2 | 10M| 52 | 20 | 231 | 10k| 231 |2453 | 17 | 30k|4240 | 0.000000e+00 | -- | Inf
139.56/139.69 c 140s| 50600 | 147 |918959 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 30k|4243 | 0.000000e+00 | -- | Inf
139.86/139.98 c 140s| 50700 | 147 |920868 | 18.2 | 10M| 52 | 16 | 231 | 10k| 231 |2453 | 17 | 30k|4253 | 0.000000e+00 | -- | Inf
140.15/140.29 c 140s| 50800 | 147 |922929 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 30k|4263 | 0.000000e+00 | -- | Inf
140.56/140.60 c 141s| 50900 | 151 |925078 | 18.2 | 10M| 52 | 33 | 231 | 10k| 231 |2453 | 17 | 30k|4274 | 0.000000e+00 | -- | Inf
140.85/140.92 c 141s| 51000 | 149 |927249 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 30k|4285 | 0.000000e+00 | -- | Inf
141.16/141.25 c 141s| 51100 | 149 |929624 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 30k|4294 | 0.000000e+00 | -- | Inf
141.46/141.53 c 142s| 51200 | 153 |931527 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 30k|4303 | 0.000000e+00 | -- | Inf
141.76/141.81 c 142s| 51300 | 153 |933566 | 18.2 | 10M| 52 | 36 | 231 | 10k| 231 |2453 | 17 | 30k|4308 | 0.000000e+00 | -- | Inf
141.96/142.09 c 142s| 51400 | 151 |935501 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 30k|4315 | 0.000000e+00 | -- | Inf
142.25/142.33 c 142s| 51500 | 151 |937216 | 18.2 | 10M| 52 | 30 | 231 | 10k| 231 |2453 | 17 | 31k|4321 | 0.000000e+00 | -- | Inf
142.46/142.57 c 143s| 51600 | 147 |939067 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 31k|4322 | 0.000000e+00 | -- | Inf
142.76/142.85 c 143s| 51700 | 149 |941186 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 31k|4325 | 0.000000e+00 | -- | Inf
143.06/143.17 c 143s| 51800 | 149 |943761 | 18.2 | 10M| 52 | 41 | 231 | 11k| 231 |2453 | 17 | 31k|4330 | 0.000000e+00 | -- | Inf
143.36/143.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
143.36/143.49 c 143s| 51900 | 147 |946028 | 18.2 | 10M| 52 | 28 | 231 | 11k| 231 |2453 | 17 | 31k|4337 | 0.000000e+00 | -- | Inf
143.66/143.75 c 144s| 52000 | 144 |948022 | 18.2 | 10M| 52 | 30 | 231 | 11k| 231 |2453 | 17 | 31k|4339 | 0.000000e+00 | -- | Inf
143.86/143.98 c 144s| 52100 | 142 |949708 | 18.2 | 10M| 52 | 25 | 231 | 11k| 231 |2453 | 17 | 31k|4339 | 0.000000e+00 | -- | Inf
144.16/144.24 c 144s| 52200 | 142 |951620 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 31k|4340 | 0.000000e+00 | -- | Inf
144.46/144.51 c 145s| 52300 | 140 |953594 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 31k|4341 | 0.000000e+00 | -- | Inf
144.66/144.73 c 145s| 52400 | 142 |955205 | 18.2 | 10M| 52 | 20 | 231 | 10k| 231 |2453 | 17 | 31k|4341 | 0.000000e+00 | -- | Inf
144.85/144.95 c 145s| 52500 | 139 |956785 | 18.2 | 10M| 52 | - | 231 | 10k| 0 | 0 | 17 | 31k|4341 | 0.000000e+00 | -- | Inf
145.06/145.19 c 145s| 52600 | 137 |958557 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 31k|4341 | 0.000000e+00 | -- | Inf
145.35/145.44 c 145s| 52700 | 137 |960498 | 18.2 | 10M| 52 | 35 | 231 | 10k| 231 |2453 | 17 | 31k|4341 | 0.000000e+00 | -- | Inf
145.56/145.66 c 146s| 52800 | 135 |962162 | 18.2 | 10M| 52 | 33 | 231 | 10k| 231 |2453 | 17 | 31k|4341 | 0.000000e+00 | -- | Inf
145.76/145.89 c 146s| 52900 | 133 |963889 | 18.2 | 10M| 52 | 36 | 231 | 10k| 231 |2453 | 17 | 31k|4341 | 0.000000e+00 | -- | Inf
146.06/146.13 c 146s| 53000 | 135 |965649 | 18.2 | 10M| 52 | 38 | 231 | 10k| 231 |2453 | 17 | 32k|4341 | 0.000000e+00 | -- | Inf
146.26/146.38 c 146s| 53100 | 130 |967637 | 18.2 | 10M| 52 | 40 | 231 | 10k| 231 |2453 | 17 | 32k|4341 | 0.000000e+00 | -- | Inf
146.56/146.62 c 147s| 53200 | 131 |969393 | 18.2 | 10M| 52 | 27 | 231 | 10k| 231 |2453 | 17 | 32k|4341 | 0.000000e+00 | -- | Inf
146.75/146.87 c 147s| 53300 | 129 |971274 | 18.2 | 10M| 52 | 35 | 231 | 10k| 231 |2453 | 17 | 32k|4341 | 0.000000e+00 | -- | Inf
146.96/147.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
146.96/147.09 c 147s| 53400 | 125 |972929 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 32k|4341 | 0.000000e+00 | -- | Inf
147.26/147.32 c 147s| 53500 | 127 |974552 | 18.2 | 10M| 52 | 46 | 231 | 10k| 231 |2453 | 17 | 32k|4341 | 0.000000e+00 | -- | Inf
147.45/147.53 c 148s| 53600 | 127 |976111 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 32k|4341 | 0.000000e+00 | -- | Inf
147.66/147.71 c 148s| 53700 | 130 |977420 | 18.2 | 10M| 52 | 33 | 231 | 10k| 231 |2453 | 17 | 32k|4341 | 0.000000e+00 | -- | Inf
147.86/147.93 c 148s| 53800 | 132 |978994 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 32k|4341 | 0.000000e+00 | -- | Inf
148.06/148.15 c 148s| 53900 | 132 |980680 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 32k|4341 | 0.000000e+00 | -- | Inf
148.26/148.34 c 148s| 54000 | 130 |981958 | 18.2 | 10M| 52 | 34 | 231 | 10k| 231 |2453 | 17 | 32k|4341 | 0.000000e+00 | -- | Inf
148.56/148.64 c 149s| 54100 | 130 |983825 | 18.2 | 10M| 52 | 36 | 231 | 10k| 231 |2453 | 17 | 32k|4354 | 0.000000e+00 | -- | Inf
148.85/148.92 c 149s| 54200 | 132 |985639 | 18.2 | 10M| 52 | 39 | 231 | 10k| 231 |2453 | 17 | 32k|4364 | 0.000000e+00 | -- | Inf
149.06/149.14 c 149s| 54300 | 134 |987294 | 18.2 | 10M| 52 | 26 | 231 | 10k| 231 |2453 | 17 | 32k|4364 | 0.000000e+00 | -- | Inf
149.36/149.40 c 149s| 54400 | 134 |988972 | 18.2 | 10M| 52 | 31 | 231 | 10k| 231 |2453 | 17 | 32k|4373 | 0.000000e+00 | -- | Inf
149.56/149.61 c 150s| 54500 | 134 |990399 | 18.2 | 10M| 52 | 33 | 231 | 10k| 231 |2453 | 17 | 32k|4380 | 0.000000e+00 | -- | Inf
149.76/149.84 c 150s| 54600 | 133 |991859 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 33k|4388 | 0.000000e+00 | -- | Inf
150.05/150.11 c 150s| 54700 | 134 |993715 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 33k|4398 | 0.000000e+00 | -- | Inf
150.36/150.41 c 150s| 54800 | 134 |995814 | 18.2 | 10M| 52 | 27 | 231 | 10k| 231 |2453 | 17 | 33k|4408 | 0.000000e+00 | -- | Inf
150.56/150.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
150.56/150.70 c 151s| 54900 | 131 |997869 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 33k|4412 | 0.000000e+00 | -- | Inf
150.86/150.98 c 151s| 55000 | 135 |999826 | 18.2 | 10M| 52 | 37 | 231 | 10k| 231 |2453 | 17 | 33k|4421 | 0.000000e+00 | -- | Inf
151.15/151.28 c 151s| 55100 | 137 | 1001k| 18.2 | 10M| 52 | 38 | 231 | 11k| 231 |2453 | 17 | 33k|4432 | 0.000000e+00 | -- | Inf
151.46/151.58 c 152s| 55200 | 139 | 1003k| 18.2 | 10M| 52 | 22 | 231 | 11k| 231 |2453 | 17 | 33k|4441 | 0.000000e+00 | -- | Inf
151.76/151.89 c 152s| 55300 | 137 | 1006k| 18.2 | 10M| 52 | 39 | 231 | 11k| 231 |2453 | 17 | 33k|4449 | 0.000000e+00 | -- | Inf
152.16/152.21 c 152s| 55400 | 133 | 1008k| 18.2 | 10M| 52 | 35 | 231 | 11k| 231 |2453 | 17 | 33k|4459 | 0.000000e+00 | -- | Inf
152.45/152.51 c 153s| 55500 | 133 | 1010k| 18.2 | 10M| 52 | 16 | 231 | 11k| 231 |2453 | 17 | 33k|4467 | 0.000000e+00 | -- | Inf
152.77/152.82 c 153s| 55600 | 132 | 1012k| 18.2 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 33k|4479 | 0.000000e+00 | -- | Inf
153.06/153.15 c 153s| 55700 | 132 | 1015k| 18.2 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 33k|4491 | 0.000000e+00 | -- | Inf
153.35/153.47 c 153s| 55800 | 125 | 1017k| 18.2 | 10M| 52 | 42 | 231 | 11k| 231 |2453 | 17 | 33k|4500 | 0.000000e+00 | -- | Inf
153.66/153.77 c 154s| 55900 | 125 | 1019k| 18.2 | 10M| 52 | 46 | 231 | 11k| 231 |2453 | 17 | 33k|4509 | 0.000000e+00 | -- | Inf
153.96/154.04 c 154s| 56000 | 123 | 1021k| 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 33k|4509 | 0.000000e+00 | -- | Inf
154.16/154.29 c 154s| 56100 | 119 | 1023k| 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 34k|4510 | 0.000000e+00 | -- | Inf
154.45/154.53 c 155s| 56200 | 121 | 1024k| 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 34k|4511 | 0.000000e+00 | -- | Inf
154.66/154.79 c 155s| 56300 | 121 | 1026k| 18.2 | 10M| 52 | 44 | 231 | 10k| 231 |2453 | 17 | 34k|4512 | 0.000000e+00 | -- | Inf
154.96/155.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
154.96/155.06 c 155s| 56400 | 124 | 1029k| 18.2 | 10M| 52 | 20 | 231 | 10k| 231 |2453 | 17 | 34k|4513 | 0.000000e+00 | -- | Inf
155.26/155.30 c 155s| 56500 | 124 | 1030k| 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 34k|4513 | 0.000000e+00 | -- | Inf
155.46/155.54 c 156s| 56600 | 126 | 1032k| 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 34k|4513 | 0.000000e+00 | -- | Inf
155.75/155.82 c 156s| 56700 | 121 | 1034k| 18.3 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 34k|4513 | 0.000000e+00 | -- | Inf
155.95/156.06 c 156s| 56800 | 124 | 1036k| 18.3 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 34k|4513 | 0.000000e+00 | -- | Inf
156.16/156.28 c 156s| 56900 | 129 | 1038k| 18.2 | 10M| 52 | 32 | 231 | 10k| 231 |2453 | 17 | 34k|4514 | 0.000000e+00 | -- | Inf
156.46/156.50 c 157s| 57000 | 130 | 1040k| 18.2 | 10M| 52 | 35 | 231 | 10k| 231 |2453 | 17 | 34k|4516 | 0.000000e+00 | -- | Inf
156.65/156.70 c 157s| 57100 | 135 | 1041k| 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 34k|4516 | 0.000000e+00 | -- | Inf
156.85/156.98 c 157s| 57200 | 127 | 1043k| 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 34k|4517 | 0.000000e+00 | -- | Inf
157.16/157.21 c 157s| 57300 | 127 | 1045k| 18.2 | 10M| 52 | 37 | 231 | 10k| 231 |2453 | 17 | 34k|4517 | 0.000000e+00 | -- | Inf
157.35/157.48 c 157s| 57400 | 130 | 1048k| 18.3 | 10M| 52 | 35 | 231 | 10k| 231 |2453 | 17 | 34k|4517 | 0.000000e+00 | -- | Inf
157.66/157.75 c 158s| 57500 | 128 | 1050k| 18.3 | 10M| 52 | 28 | 231 | 10k| 231 |2453 | 17 | 34k|4517 | 0.000000e+00 | -- | Inf
157.86/157.99 c 158s| 57600 | 126 | 1052k| 18.3 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 34k|4517 | 0.000000e+00 | -- | Inf
158.15/158.24 c 158s| 57700 | 124 | 1054k| 18.3 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 35k|4517 | 0.000000e+00 | -- | Inf
158.46/158.54 c 159s| 57800 | 121 | 1056k| 18.3 | 10M| 52 | 33 | 231 | 11k| 231 |2453 | 17 | 35k|4517 | 0.000000e+00 | -- | Inf
158.65/158.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
158.65/158.78 c 159s| 57900 | 124 | 1058k| 18.3 | 10M| 52 | 33 | 231 | 10k| 231 |2453 | 17 | 35k|4517 | 0.000000e+00 | -- | Inf
158.96/159.01 c 159s| 58000 | 126 | 1060k| 18.3 | 10M| 52 | 29 | 231 | 10k| 231 |2453 | 17 | 35k|4517 | 0.000000e+00 | -- | Inf
159.16/159.25 c 159s| 58100 | 124 | 1061k| 18.3 | 10M| 52 | 42 | 231 | 11k| 231 |2453 | 17 | 35k|4517 | 0.000000e+00 | -- | Inf
159.36/159.49 c 159s| 58200 | 125 | 1063k| 18.3 | 10M| 52 | 32 | 231 | 11k| 231 |2453 | 17 | 35k|4517 | 0.000000e+00 | -- | Inf
159.66/159.71 c 160s| 58300 | 127 | 1065k| 18.3 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 35k|4517 | 0.000000e+00 | -- | Inf
159.86/159.99 c 160s| 58400 | 129 | 1067k| 18.3 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 35k|4528 | 0.000000e+00 | -- | Inf
160.16/160.22 c 160s| 58500 | 130 | 1068k| 18.3 | 10M| 52 | 17 | 231 | 11k| 231 |2453 | 17 | 35k|4535 | 0.000000e+00 | -- | Inf
160.35/160.49 c 160s| 58600 | 125 | 1070k| 18.3 | 10M| 52 | 38 | 231 | 11k| 231 |2453 | 17 | 35k|4544 | 0.000000e+00 | -- | Inf
160.65/160.76 c 161s| 58700 | 121 | 1072k| 18.3 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 35k|4552 | 0.000000e+00 | -- | Inf
160.96/161.07 c 161s| 58800 | 125 | 1074k| 18.3 | 10M| 52 | 32 | 231 | 11k| 231 |2453 | 17 | 35k|4567 | 0.000000e+00 | -- | Inf
161.25/161.33 c 161s| 58900 | 127 | 1076k| 18.3 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 35k|4573 | 0.000000e+00 | -- | Inf
161.45/161.57 c 162s| 59000 | 126 | 1078k| 18.3 | 10M| 52 | 41 | 231 | 11k| 231 |2453 | 17 | 35k|4578 | 0.000000e+00 | -- | Inf
161.75/161.84 c 162s| 59100 | 125 | 1079k| 18.3 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 35k|4588 | 0.000000e+00 | -- | Inf
162.06/162.11 c 162s| 59200 | 127 | 1081k| 18.3 | 10M| 52 | 30 | 231 | 11k| 231 |2453 | 17 | 36k|4595 | 0.000000e+00 | -- | Inf
162.25/162.39 c 162s| 59300 | 127 | 1083k| 18.3 | 10M| 52 | 37 | 231 | 11k| 231 |2453 | 17 | 36k|4604 | 0.000000e+00 | -- | Inf
162.56/162.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
162.56/162.65 c 163s| 59400 | 128 | 1085k| 18.3 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 36k|4613 | 0.000000e+00 | -- | Inf
162.85/162.95 c 163s| 59500 | 128 | 1087k| 18.3 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 36k|4630 | 0.000000e+00 | -- | Inf
163.16/163.21 c 163s| 59600 | 128 | 1088k| 18.3 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 36k|4640 | 0.000000e+00 | -- | Inf
163.35/163.48 c 163s| 59700 | 128 | 1090k| 18.3 | 10M| 52 | 20 | 231 | 11k| 231 |2453 | 17 | 36k|4647 | 0.000000e+00 | -- | Inf
163.66/163.77 c 164s| 59800 | 126 | 1092k| 18.3 | 10M| 52 | 37 | 231 | 11k| 231 |2453 | 17 | 36k|4655 | 0.000000e+00 | -- | Inf
163.95/164.06 c 164s| 59900 | 123 | 1094k| 18.3 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 36k|4666 | 0.000000e+00 | -- | Inf
164.26/164.31 c 164s| 60000 | 121 | 1096k| 18.3 | 10M| 52 | - | 231 | 12k| 231 |2453 | 17 | 36k|4674 | 0.000000e+00 | -- | Inf
164.55/164.60 c 165s| 60100 | 121 | 1098k| 18.3 | 10M| 52 | 32 | 231 | 12k| 231 |2453 | 17 | 36k|4687 | 0.000000e+00 | -- | Inf
164.75/164.85 c 165s| 60200 | 121 | 1099k| 18.3 | 10M| 52 | 28 | 231 | 12k| 231 |2453 | 17 | 36k|4695 | 0.000000e+00 | -- | Inf
165.05/165.11 c 165s| 60300 | 120 | 1101k| 18.3 | 10M| 52 | - | 231 | 12k| 231 |2453 | 17 | 36k|4704 | 0.000000e+00 | -- | Inf
165.36/165.41 c 165s| 60400 | 116 | 1103k| 18.3 | 10M| 52 | - | 231 | 12k| 231 |2453 | 17 | 36k|4715 | 0.000000e+00 | -- | Inf
165.56/165.66 c 166s| 60500 | 116 | 1105k| 18.3 | 10M| 52 | 20 | 231 | 12k| 231 |2453 | 17 | 36k|4723 | 0.000000e+00 | -- | Inf
165.75/165.89 c 166s| 60600 | 114 | 1106k| 18.3 | 10M| 52 | - | 231 | 12k| 231 |2453 | 17 | 36k|4728 | 0.000000e+00 | -- | Inf
166.07/166.17 c 166s| 60700 | 114 | 1108k| 18.3 | 10M| 52 | 33 | 231 | 12k| 231 |2453 | 17 | 36k|4737 | 0.000000e+00 | -- | Inf
166.36/166.45 c 166s| 60800 | 114 | 1110k| 18.3 | 10M| 52 | - | 231 | 12k| 231 |2453 | 17 | 36k|4744 | 0.000000e+00 | -- | Inf
166.55/166.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
166.55/166.68 c 167s| 60900 | 114 | 1111k| 18.3 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 37k|4751 | 0.000000e+00 | -- | Inf
166.86/166.95 c 167s| 61000 | 114 | 1113k| 18.3 | 10M| 52 | 29 | 231 | 11k| 231 |2453 | 17 | 37k|4758 | 0.000000e+00 | -- | Inf
167.06/167.15 c 167s| 61100 | 111 | 1114k| 18.2 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 37k|4760 | 0.000000e+00 | -- | Inf
167.35/167.42 c 167s| 61200 | 109 | 1116k| 18.2 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 37k|4770 | 0.000000e+00 | -- | Inf
167.55/167.66 c 168s| 61300 | 107 | 1118k| 18.2 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 37k|4770 | 0.000000e+00 | -- | Inf
167.85/167.90 c 168s| 61400 | 105 | 1120k| 18.2 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 37k|4770 | 0.000000e+00 | -- | Inf
168.06/168.14 c 168s| 61500 | 102 | 1121k| 18.2 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 37k|4770 | 0.000000e+00 | -- | Inf
168.26/168.36 c 168s| 61600 | 102 | 1123k| 18.2 | 10M| 52 | 35 | 231 | 11k| 231 |2453 | 17 | 37k|4771 | 0.000000e+00 | -- | Inf
168.55/168.60 c 169s| 61700 | 102 | 1125k| 18.2 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 37k|4771 | 0.000000e+00 | -- | Inf
168.76/168.84 c 169s| 61800 | 102 | 1127k| 18.2 | 10M| 52 | 44 | 231 | 11k| 231 |2453 | 17 | 37k|4771 | 0.000000e+00 | -- | Inf
168.95/169.09 c 169s| 61900 | 103 | 1128k| 18.2 | 10M| 52 | 35 | 231 | 11k| 231 |2453 | 17 | 37k|4771 | 0.000000e+00 | -- | Inf
169.26/169.36 c 169s| 62000 | 101 | 1130k| 18.2 | 10M| 52 | 37 | 231 | 11k| 231 |2453 | 17 | 37k|4771 | 0.000000e+00 | -- | Inf
169.55/169.61 c 170s| 62100 | 101 | 1132k| 18.2 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 37k|4771 | 0.000000e+00 | -- | Inf
169.75/169.86 c 170s| 62200 | 100 | 1134k| 18.2 | 10M| 52 | 39 | 231 | 11k| 231 |2453 | 17 | 37k|4771 | 0.000000e+00 | -- | Inf
169.96/170.08 c 170s| 62300 | 99 | 1136k| 18.2 | 10M| 52 | 36 | 231 | 11k| 231 |2453 | 17 | 37k|4772 | 0.000000e+00 | -- | Inf
170.25/170.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
170.25/170.33 c 170s| 62400 | 101 | 1138k| 18.2 | 10M| 52 | 20 | 231 | 11k| 231 |2453 | 17 | 38k|4772 | 0.000000e+00 | -- | Inf
170.55/170.60 c 171s| 62500 | 103 | 1140k| 18.2 | 10M| 52 | 32 | 231 | 11k| 231 |2453 | 17 | 38k|4774 | 0.000000e+00 | -- | Inf
170.75/170.86 c 171s| 62600 | 108 | 1142k| 18.2 | 10M| 52 | 41 | 231 | 11k| 231 |2453 | 17 | 38k|4774 | 0.000000e+00 | -- | Inf
171.05/171.13 c 171s| 62700 | 112 | 1144k| 18.3 | 10M| 52 | 37 | 231 | 11k| 231 |2453 | 17 | 38k|4774 | 0.000000e+00 | -- | Inf
171.25/171.36 c 171s| 62800 | 103 | 1146k| 18.3 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 38k|4774 | 0.000000e+00 | -- | Inf
171.57/171.64 c 172s| 62900 | 101 | 1148k| 18.3 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 38k|4774 | 0.000000e+00 | -- | Inf
171.75/171.89 c 172s| 63000 | 101 | 1150k| 18.3 | 10M| 52 | 23 | 231 | 11k| 231 |2453 | 17 | 38k|4774 | 0.000000e+00 | -- | Inf
172.06/172.17 c 172s| 63100 | 97 | 1152k| 18.3 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 38k|4774 | 0.000000e+00 | -- | Inf
172.35/172.42 c 172s| 63200 | 100 | 1154k| 18.3 | 10M| 52 | 43 | 231 | 11k| 231 |2453 | 17 | 38k|4774 | 0.000000e+00 | -- | Inf
172.56/172.63 c 173s| 63300 | 97 | 1156k| 18.3 | 10M| 52 | 31 | 231 | 11k| 231 |2453 | 17 | 38k|4774 | 0.000000e+00 | -- | Inf
172.75/172.84 c 173s| 63400 | 96 | 1157k| 18.3 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 38k|4774 | 0.000000e+00 | -- | Inf
172.95/173.06 c 173s| 63500 | 98 | 1159k| 18.3 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 38k|4774 | 0.000000e+00 | -- | Inf
173.25/173.30 c 173s| 63600 | 102 | 1161k| 18.3 | 10M| 52 | - | 231 | 11k| 0 | 0 | 17 | 38k|4774 | 0.000000e+00 | -- | Inf
173.45/173.50 c 173s| 63700 | 104 | 1162k| 18.2 | 10M| 52 | 16 | 231 | 11k| 231 |2453 | 17 | 38k|4774 | 0.000000e+00 | -- | Inf
173.56/173.66 c 174s| 63800 | 103 | 1163k| 18.2 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 38k|4774 | 0.000000e+00 | -- | Inf
173.76/173.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
173.76/173.87 c 174s| 63900 | 109 | 1165k| 18.2 | 10M| 52 | 31 | 231 | 11k| 231 |2453 | 17 | 39k|4774 | 0.000000e+00 | -- | Inf
174.05/174.11 c 174s| 64000 | 110 | 1167k| 18.2 | 10M| 52 | 28 | 231 | 11k| 231 |2453 | 17 | 39k|4784 | 0.000000e+00 | -- | Inf
174.25/174.35 c 174s| 64100 | 116 | 1168k| 18.2 | 10M| 52 | 19 | 231 | 11k| 231 |2453 | 17 | 39k|4793 | 0.000000e+00 | -- | Inf
174.45/174.57 c 175s| 64200 | 110 | 1170k| 18.2 | 10M| 52 | 34 | 231 | 11k| 231 |2453 | 17 | 39k|4798 | 0.000000e+00 | -- | Inf
174.76/174.84 c 175s| 64300 | 111 | 1171k| 18.2 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 39k|4812 | 0.000000e+00 | -- | Inf
174.96/175.05 c 175s| 64400 | 111 | 1173k| 18.2 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 39k|4812 | 0.000000e+00 | -- | Inf
175.25/175.31 c 175s| 64500 | 111 | 1175k| 18.2 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 39k|4818 | 0.000000e+00 | -- | Inf
175.46/175.59 c 176s| 64600 | 108 | 1176k| 18.2 | 10M| 52 | 36 | 231 | 11k| 231 |2453 | 17 | 39k|4831 | 0.000000e+00 | -- | Inf
175.75/175.88 c 176s| 64700 | 105 | 1178k| 18.2 | 10M| 52 | 32 | 231 | 12k| 231 |2453 | 17 | 39k|4842 | 0.000000e+00 | -- | Inf
176.06/176.18 c 176s| 64800 | 99 | 1180k| 18.2 | 10M| 52 | 39 | 231 | 12k| 231 |2453 | 17 | 39k|4852 | 0.000000e+00 | -- | Inf
176.35/176.41 c 176s| 64900 | 98 | 1182k| 18.2 | 10M| 52 | - | 231 | 12k| 231 |2453 | 17 | 39k|4852 | 0.000000e+00 | -- | Inf
176.66/176.70 c 177s| 65000 | 94 | 1184k| 18.2 | 10M| 52 | - | 231 | 12k| 231 |2453 | 17 | 39k|4860 | 0.000000e+00 | -- | Inf
176.85/176.97 c 177s| 65100 | 96 | 1186k| 18.2 | 10M| 52 | 27 | 231 | 12k| 231 |2453 | 17 | 39k|4868 | 0.000000e+00 | -- | Inf
177.15/177.26 c 177s| 65200 | 96 | 1188k| 18.2 | 10M| 52 | 39 | 231 | 11k| 231 |2453 | 17 | 39k|4876 | 0.000000e+00 | -- | Inf
177.45/177.58 c 178s| 65300 | 94 | 1190k| 18.2 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 39k|4885 | 0.000000e+00 | -- | Inf
177.75/177.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
177.75/177.89 c 178s| 65400 | 92 | 1193k| 18.2 | 10M| 52 | - | 231 | 12k| 231 |2453 | 17 | 39k|4893 | 0.000000e+00 | -- | Inf
178.16/178.22 c 178s| 65500 | 94 | 1195k| 18.2 | 10M| 52 | 35 | 231 | 12k| 231 |2453 | 17 | 40k|4905 | 0.000000e+00 | -- | Inf
178.35/178.46 c 178s| 65600 | 92 | 1196k| 18.2 | 10M| 52 | 42 | 231 | 12k| 231 |2453 | 17 | 40k|4911 | 0.000000e+00 | -- | Inf
178.66/178.76 c 179s| 65700 | 93 | 1198k| 18.2 | 10M| 52 | 38 | 231 | 12k| 231 |2453 | 17 | 40k|4921 | 0.000000e+00 | -- | Inf
178.95/179.08 c 179s| 65800 | 89 | 1201k| 18.3 | 10M| 52 | 28 | 231 | 12k| 231 |2453 | 17 | 40k|4929 | 0.000000e+00 | -- | Inf
179.26/179.35 c 179s| 65900 | 89 | 1202k| 18.3 | 10M| 52 | - | 231 | 12k| 231 |2453 | 17 | 40k|4937 | 0.000000e+00 | -- | Inf
179.56/179.64 c 180s| 66000 | 93 | 1204k| 18.3 | 10M| 52 | 22 | 231 | 12k| 231 |2453 | 17 | 40k|4947 | 0.000000e+00 | -- | Inf
179.76/179.87 c 180s| 66100 | 93 | 1206k| 18.3 | 10M| 52 | - | 231 | 12k| 231 |2453 | 17 | 40k|4950 | 0.000000e+00 | -- | Inf
180.05/180.17 c 180s| 66200 | 93 | 1208k| 18.3 | 10M| 52 | 26 | 231 | 12k| 231 |2453 | 17 | 40k|4959 | 0.000000e+00 | -- | Inf
180.36/180.43 c 180s| 66300 | 97 | 1210k| 18.3 | 10M| 52 | 22 | 231 | 12k| 231 |2453 | 17 | 40k|4968 | 0.000000e+00 | -- | Inf
180.55/180.68 c 181s| 66400 | 101 | 1211k| 18.2 | 10M| 52 | 30 | 231 | 12k| 231 |2453 | 17 | 40k|4977 | 0.000000e+00 | -- | Inf
180.85/180.91 c 181s| 66500 | 100 | 1213k| 18.2 | 10M| 52 | - | 231 | 12k| 0 | 0 | 17 | 40k|4980 | 0.000000e+00 | -- | Inf
181.05/181.15 c 181s| 66600 | 99 | 1214k| 18.2 | 10M| 52 | 26 | 231 | 12k| 231 |2453 | 17 | 40k|4985 | 0.000000e+00 | -- | Inf
181.26/181.37 c 181s| 66700 | 97 | 1216k| 18.2 | 10M| 52 | - | 231 | 12k| 231 |2453 | 17 | 40k|4987 | 0.000000e+00 | -- | Inf
181.55/181.61 c 182s| 66800 | 97 | 1217k| 18.2 | 10M| 52 | 31 | 231 | 12k| 231 |2453 | 17 | 40k|4993 | 0.000000e+00 | -- | Inf
181.75/181.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
181.75/181.87 c 182s| 66900 | 98 | 1219k| 18.2 | 10M| 52 | 25 | 231 | 12k| 231 |2453 | 17 | 40k|4998 | 0.000000e+00 | -- | Inf
182.05/182.12 c 182s| 67000 | 98 | 1221k| 18.2 | 10M| 52 | - | 231 | 12k| 231 |2453 | 17 | 40k|5000 | 0.000000e+00 | -- | Inf
182.25/182.35 c 182s| 67100 | 98 | 1223k| 18.2 | 10M| 52 | 39 | 231 | 12k| 231 |2453 | 17 | 41k|5000 | 0.000000e+00 | -- | Inf
182.46/182.57 c 183s| 67200 | 102 | 1224k| 18.2 | 10M| 52 | 29 | 231 | 12k| 231 |2453 | 17 | 41k|5000 | 0.000000e+00 | -- | Inf
182.66/182.76 c 183s| 67300 | 100 | 1226k| 18.2 | 10M| 52 | - | 231 | 12k| 231 |2453 | 17 | 41k|5000 | 0.000000e+00 | -- | Inf
182.85/182.96 c 183s| 67400 | 104 | 1227k| 18.2 | 10M| 52 | 12 | 231 | 12k| 231 |2453 | 17 | 41k|5002 | 0.000000e+00 | -- | Inf
183.05/183.16 c 183s| 67500 | 100 | 1229k| 18.2 | 10M| 52 | - | 231 | 12k| 231 |2453 | 17 | 41k|5004 | 0.000000e+00 | -- | Inf
183.25/183.34 c 183s| 67600 | 102 | 1230k| 18.2 | 10M| 52 | - | 231 | 12k| 231 |2453 | 17 | 41k|5005 | 0.000000e+00 | -- | Inf
183.45/183.53 c 184s| 67700 | 106 | 1231k| 18.2 | 10M| 52 | 29 | 231 | 12k| 231 |2453 | 17 | 41k|5005 | 0.000000e+00 | -- | Inf
183.66/183.72 c 184s| 67800 | 104 | 1233k| 18.2 | 10M| 52 | 26 | 231 | 12k| 231 |2453 | 17 | 41k|5005 | 0.000000e+00 | -- | Inf
183.86/183.93 c 184s| 67900 | 101 | 1234k| 18.2 | 10M| 52 | 29 | 231 | 12k| 231 |2453 | 17 | 41k|5005 | 0.000000e+00 | -- | Inf
184.05/184.13 c 184s| 68000 | 100 | 1236k| 18.2 | 10M| 52 | - | 231 | 12k| 231 |2453 | 17 | 41k|5007 | 0.000000e+00 | -- | Inf
184.25/184.32 c 184s| 68100 | 100 | 1237k| 18.2 | 10M| 52 | 34 | 231 | 12k| 231 |2453 | 17 | 41k|5007 | 0.000000e+00 | -- | Inf
184.46/184.51 c 185s| 68200 | 100 | 1238k| 18.2 | 10M| 52 | 21 | 231 | 12k| 231 |2453 | 17 | 41k|5007 | 0.000000e+00 | -- | Inf
184.66/184.73 c 185s| 68300 | 99 | 1240k| 18.2 | 10M| 52 | - | 231 | 12k| 231 |2453 | 17 | 41k|5007 | 0.000000e+00 | -- | Inf
184.85/184.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
184.85/184.91 c 185s| 68400 | 97 | 1241k| 18.2 | 11M| 52 | - | 231 | 12k| 231 |2453 | 17 | 41k|5007 | 0.000000e+00 | -- | Inf
185.06/185.12 c 185s| 68500 | 97 | 1243k| 18.1 | 11M| 52 | 41 | 231 | 12k| 231 |2453 | 17 | 41k|5008 | 0.000000e+00 | -- | Inf
185.15/185.29 c 185s| 68600 | 98 | 1244k| 18.1 | 11M| 52 | 27 | 231 | 12k| 231 |2453 | 17 | 41k|5008 | 0.000000e+00 | -- | Inf
185.35/185.49 c 185s| 68700 | 95 | 1245k| 18.1 | 11M| 52 | - | 231 | 12k| 231 |2453 | 17 | 41k|5008 | 0.000000e+00 | -- | Inf
185.66/185.70 c 186s| 68800 | 98 | 1247k| 18.1 | 11M| 52 | - | 231 | 12k| 231 |2453 | 17 | 42k|5009 | 0.000000e+00 | -- | Inf
185.76/185.90 c 186s| 68900 | 97 | 1248k| 18.1 | 11M| 52 | 26 | 231 | 12k| 231 |2453 | 17 | 42k|5009 | 0.000000e+00 | -- | Inf
186.05/186.13 c 186s| 69000 | 95 | 1250k| 18.1 | 11M| 52 | - | 231 | 13k| 231 |2453 | 17 | 42k|5009 | 0.000000e+00 | -- | Inf
186.26/186.38 c 186s| 69100 | 95 | 1252k| 18.1 | 11M| 52 | - | 231 | 13k| 231 |2453 | 17 | 42k|5009 | 0.000000e+00 | -- | Inf
186.55/186.61 c 187s| 69200 | 94 | 1253k| 18.1 | 11M| 52 | - | 231 | 13k| 231 |2453 | 17 | 42k|5009 | 0.000000e+00 | -- | Inf
186.75/186.86 c 187s| 69300 | 92 | 1255k| 18.1 | 11M| 52 | - | 231 | 13k| 231 |2453 | 17 | 42k|5009 | 0.000000e+00 | -- | Inf
186.96/187.09 c 187s| 69400 | 94 | 1257k| 18.1 | 11M| 52 | - | 231 | 13k| 231 |2453 | 17 | 42k|5009 | 0.000000e+00 | -- | Inf
187.15/187.29 c 187s| 69500 | 98 | 1258k| 18.1 | 11M| 52 | - | 231 | 13k| 231 |2453 | 17 | 42k|5009 | 0.000000e+00 | -- | Inf
187.45/187.50 c 187s| 69600 | 98 | 1260k| 18.1 | 11M| 52 | - | 231 | 13k| 231 |2453 | 17 | 42k|5009 | 0.000000e+00 | -- | Inf
187.55/187.69 c 188s| 69700 | 100 | 1261k| 18.1 | 11M| 52 | 30 | 231 | 13k| 231 |2453 | 17 | 42k|5009 | 0.000000e+00 | -- | Inf
187.85/187.90 c 188s| 69800 | 101 | 1263k| 18.1 | 11M| 52 | - | 231 | 13k| 231 |2453 | 17 | 42k|5009 | 0.000000e+00 | -- | Inf
188.06/188.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
188.06/188.12 c 188s| 69900 | 97 | 1264k| 18.1 | 11M| 52 | - | 231 | 13k| 231 |2453 | 17 | 42k|5009 | 0.000000e+00 | -- | Inf
188.25/188.31 c 188s| 70000 | 97 | 1266k| 18.1 | 11M| 52 | 34 | 231 | 13k| 231 |2453 | 17 | 42k|5009 | 0.000000e+00 | -- | Inf
188.45/188.54 c 189s| 70100 | 100 | 1267k| 18.1 | 11M| 52 | 22 | 231 | 13k| 231 |2453 | 17 | 42k|5014 | 0.000000e+00 | -- | Inf
188.75/188.80 c 189s| 70200 | 98 | 1269k| 18.1 | 11M| 52 | 25 | 231 | 13k| 231 |2453 | 17 | 42k|5029 | 0.000000e+00 | -- | Inf
188.95/189.02 c 189s| 70300 | 98 | 1271k| 18.1 | 11M| 52 | - | 231 | 13k| 231 |2453 | 17 | 42k|5031 | 0.000000e+00 | -- | Inf
189.16/189.29 c 189s| 70400 | 100 | 1272k| 18.1 | 11M| 52 | - | 231 | 13k| 231 |2453 | 17 | 43k|5041 | 0.000000e+00 | -- | Inf
189.46/189.53 c 190s| 70500 | 99 | 1274k| 18.1 | 11M| 52 | - | 231 | 13k| 231 |2453 | 17 | 43k|5047 | 0.000000e+00 | -- | Inf
189.65/189.79 c 190s| 70600 | 99 | 1276k| 18.1 | 11M| 52 | - | 231 | 13k| 231 |2453 | 17 | 43k|5056 | 0.000000e+00 | -- | Inf
189.85/189.99 c 190s| 70700 | 97 | 1277k| 18.1 | 11M| 52 | 35 | 231 | 13k| 231 |2453 | 17 | 43k|5056 | 0.000000e+00 | -- | Inf
190.16/190.24 c 190s| 70800 | 97 | 1279k| 18.1 | 11M| 52 | 35 | 231 | 13k| 231 |2453 | 17 | 43k|5066 | 0.000000e+00 | -- | Inf
190.35/190.48 c 190s| 70900 | 99 | 1280k| 18.1 | 11M| 52 | 31 | 231 | 13k| 231 |2453 | 17 | 43k|5070 | 0.000000e+00 | -- | Inf
190.65/190.78 c 191s| 71000 | 97 | 1282k| 18.1 | 11M| 52 | 43 | 231 | 13k| 231 |2453 | 17 | 43k|5084 | 0.000000e+00 | -- | Inf
190.86/190.99 c 191s| 71100 | 104 | 1283k| 18.1 | 11M| 52 | - | 231 | 13k| 0 | 0 | 17 | 43k|5084 | 0.000000e+00 | -- | Inf
191.15/191.20 c 191s| 71200 | 99 | 1285k| 18.0 | 11M| 52 | - | 231 | 13k| 231 |2453 | 17 | 43k|5092 | 0.000000e+00 | -- | Inf
191.35/191.46 c 191s| 71300 | 104 | 1286k| 18.0 | 11M| 52 | 35 | 231 | 13k| 231 |2453 | 17 | 43k|5098 | 0.000000e+00 | -- | Inf
191.65/191.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
191.65/191.75 c 192s| 71400 | 104 | 1288k| 18.0 | 11M| 52 | 39 | 231 | 13k| 231 |2453 | 17 | 43k|5107 | 0.000000e+00 | -- | Inf
191.95/192.07 c 192s| 71500 | 106 | 1291k| 18.1 | 11M| 52 | - | 231 | 14k| 231 |2453 | 17 | 43k|5117 | 0.000000e+00 | -- | Inf
192.25/192.36 c 192s| 71600 | 104 | 1293k| 18.1 | 11M| 52 | - | 231 | 14k| 231 |2453 | 17 | 43k|5127 | 0.000000e+00 | -- | Inf
192.55/192.60 c 193s| 71700 | 104 | 1294k| 18.1 | 11M| 52 | 34 | 231 | 14k| 231 |2453 | 17 | 43k|5133 | 0.000000e+00 | -- | Inf
192.75/192.84 c 193s| 71800 | 104 | 1296k| 18.1 | 11M| 52 | - | 231 | 14k| 231 |2453 | 17 | 43k|5141 | 0.000000e+00 | -- | Inf
192.95/193.08 c 193s| 71900 | 104 | 1297k| 18.0 | 11M| 52 | - | 231 | 14k| 231 |2453 | 17 | 44k|5151 | 0.000000e+00 | -- | Inf
193.25/193.35 c 193s| 72000 | 105 | 1299k| 18.0 | 11M| 52 | 32 | 231 | 14k| 231 |2453 | 17 | 44k|5160 | 0.000000e+00 | -- | Inf
193.56/193.62 c 194s| 72100 | 107 | 1301k| 18.0 | 11M| 52 | - | 231 | 14k| 231 |2453 | 17 | 44k|5168 | 0.000000e+00 | -- | Inf
193.75/193.88 c 194s| 72200 | 108 | 1303k| 18.0 | 11M| 52 | - | 231 | 14k| 231 |2453 | 17 | 44k|5175 | 0.000000e+00 | -- | Inf
194.05/194.14 c 194s| 72300 | 110 | 1304k| 18.0 | 11M| 52 | - | 231 | 14k| 231 |2453 | 17 | 44k|5185 | 0.000000e+00 | -- | Inf
194.35/194.40 c 194s| 72400 | 108 | 1306k| 18.0 | 11M| 52 | - | 231 | 14k| 231 |2453 | 17 | 44k|5192 | 0.000000e+00 | -- | Inf
194.56/194.69 c 195s| 72500 | 108 | 1308k| 18.0 | 11M| 52 | - | 231 | 14k| 231 |2453 | 17 | 44k|5199 | 0.000000e+00 | -- | Inf
194.85/194.94 c 195s| 72600 | 106 | 1310k| 18.0 | 11M| 52 | 26 | 231 | 14k| 231 |2453 | 17 | 44k|5202 | 0.000000e+00 | -- | Inf
195.15/195.25 c 195s| 72700 | 106 | 1312k| 18.1 | 11M| 52 | - | 231 | 14k| 231 |2453 | 17 | 44k|5211 | 0.000000e+00 | -- | Inf
195.45/195.54 c 196s| 72800 | 102 | 1314k| 18.1 | 11M| 52 | - | 231 | 14k| 231 |2453 | 17 | 44k|5225 | 0.000000e+00 | -- | Inf
195.66/195.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
195.66/195.80 c 196s| 72900 | 102 | 1316k| 18.1 | 11M| 52 | 37 | 231 | 14k| 231 |2453 | 17 | 44k|5229 | 0.000000e+00 | -- | Inf
195.95/196.06 c 196s| 73000 | 98 | 1317k| 18.1 | 11M| 52 | 41 | 231 | 14k| 231 |2453 | 17 | 44k|5231 | 0.000000e+00 | -- | Inf
196.25/196.38 c 196s| 73100 | 94 | 1319k| 18.1 | 11M| 52 | - | 231 | 14k| 231 |2453 | 17 | 44k|5244 | 0.000000e+00 | -- | Inf
196.55/196.64 c 197s| 73200 | 92 | 1321k| 18.1 | 11M| 52 | - | 231 | 14k| 0 | 0 | 17 | 44k|5247 | 0.000000e+00 | -- | Inf
196.86/196.90 c 197s| 73300 | 94 | 1323k| 18.1 | 11M| 52 | - | 231 | 14k| 231 |2453 | 17 | 44k|5248 | 0.000000e+00 | -- | Inf
197.05/197.17 c 197s| 73400 | 96 | 1325k| 18.1 | 11M| 52 | 32 | 231 | 14k| 231 |2453 | 17 | 44k|5251 | 0.000000e+00 | -- | Inf
197.35/197.43 c 197s| 73500 | 96 | 1327k| 18.1 | 11M| 52 | - | 231 | 14k| 231 |2453 | 17 | 44k|5253 | 0.000000e+00 | -- | Inf
197.55/197.69 c 198s| 73600 | 89 | 1329k| 18.1 | 11M| 54 | - | 231 | 14k| 231 |2453 | 17 | 45k|5254 | 0.000000e+00 | -- | Inf
197.86/197.95 c 198s| 73700 | 87 | 1331k| 18.1 | 11M| 54 | 38 | 231 | 14k| 231 |2453 | 17 | 45k|5254 | 0.000000e+00 | -- | Inf
198.15/198.22 c 198s| 73800 | 85 | 1333k| 18.1 | 11M| 54 | - | 231 | 14k| 231 |2453 | 17 | 45k|5257 | 0.000000e+00 | -- | Inf
198.35/198.46 c 198s| 73900 | 82 | 1334k| 18.1 | 11M| 54 | - | 231 | 14k| 231 |2453 | 17 | 45k|5257 | 0.000000e+00 | -- | Inf
198.65/198.71 c 199s| 74000 | 84 | 1336k| 18.1 | 11M| 54 | 32 | 231 | 13k| 231 |2453 | 17 | 45k|5257 | 0.000000e+00 | -- | Inf
198.85/198.98 c 199s| 74100 | 83 | 1338k| 18.1 | 11M| 54 | - | 231 | 13k| 231 |2453 | 17 | 45k|5257 | 0.000000e+00 | -- | Inf
199.15/199.24 c 199s| 74200 | 84 | 1340k| 18.1 | 11M| 54 | 34 | 231 | 13k| 231 |2453 | 17 | 45k|5257 | 0.000000e+00 | -- | Inf
199.35/199.47 c 199s| 74300 | 84 | 1342k| 18.1 | 11M| 54 | 37 | 231 | 13k| 231 |2453 | 17 | 45k|5257 | 0.000000e+00 | -- | Inf
199.55/199.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
199.55/199.69 c 200s| 74400 | 84 | 1343k| 18.1 | 11M| 54 | 31 | 231 | 13k| 231 |2453 | 17 | 45k|5257 | 0.000000e+00 | -- | Inf
199.85/199.91 c 200s| 74500 | 84 | 1345k| 18.1 | 11M| 54 | 29 | 231 | 13k| 231 |2453 | 17 | 45k|5257 | 0.000000e+00 | -- | Inf
200.05/200.14 c 200s| 74600 | 80 | 1347k| 18.1 | 11M| 54 | - | 231 | 13k| 231 |2453 | 17 | 45k|5257 | 0.000000e+00 | -- | Inf
200.35/200.40 c 200s| 74700 | 76 | 1349k| 18.1 | 11M| 54 | - | 231 | 13k| 231 |2453 | 17 | 45k|5257 | 0.000000e+00 | -- | Inf
200.55/200.65 c 201s| 74800 | 76 | 1351k| 18.1 | 11M| 54 | - | 231 | 13k| 231 |2453 | 17 | 45k|5257 | 0.000000e+00 | -- | Inf
200.85/200.90 c 201s| 74900 | 76 | 1352k| 18.1 | 11M| 54 | 45 | 231 | 13k| 231 |2453 | 17 | 45k|5257 | 0.000000e+00 | -- | Inf
201.05/201.19 c 201s| 75000 | 79 | 1355k| 18.1 | 11M| 54 | 34 | 231 | 13k| 231 |2453 | 17 | 45k|5257 | 0.000000e+00 | -- | Inf
201.35/201.48 c 201s| 75100 | 77 | 1357k| 18.1 | 11M| 54 | 46 | 231 | 13k| 231 |2453 | 17 | 45k|5257 | 0.000000e+00 | -- | Inf
201.65/201.75 c 202s| 75200 | 77 | 1359k| 18.1 | 11M| 54 | 40 | 231 | 13k| 231 |2453 | 17 | 46k|5257 | 0.000000e+00 | -- | Inf
201.94/202.04 c 202s| 75300 | 75 | 1361k| 18.1 | 11M| 54 | - | 231 | 13k| 231 |2453 | 17 | 46k|5257 | 0.000000e+00 | -- | Inf
202.26/202.36 c 202s| 75400 | 73 | 1364k| 18.1 | 11M| 54 | - | 231 | 13k| 231 |2453 | 17 | 46k|5257 | 0.000000e+00 | -- | Inf
202.55/202.63 c 203s| 75500 | 73 | 1366k| 18.1 | 11M| 54 | - | 231 | 13k| 231 |2453 | 17 | 46k|5257 | 0.000000e+00 | -- | Inf
202.75/202.89 c 203s| 75600 | 70 | 1368k| 18.1 | 11M| 54 | 48 | 231 | 13k| 231 |2453 | 17 | 46k|5257 | 0.000000e+00 | -- | Inf
203.05/203.17 c 203s| 75700 | 71 | 1370k| 18.1 | 11M| 54 | 44 | 231 | 13k| 231 |2453 | 17 | 46k|5257 | 0.000000e+00 | -- | Inf
203.35/203.49 c 203s| 75800 | 67 | 1372k| 18.1 | 11M| 54 | - | 231 | 13k| 231 |2453 | 17 | 46k|5270 | 0.000000e+00 | -- | Inf
203.65/203.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
203.65/203.74 c 204s| 75900 | 69 | 1374k| 18.1 | 11M| 54 | - | 231 | 13k| 231 |2453 | 17 | 46k|5270 | 0.000000e+00 | -- | Inf
203.95/204.08 c 204s| 76000 | 69 | 1376k| 18.1 | 11M| 54 | 34 | 231 | 13k| 231 |2453 | 17 | 46k|5287 | 0.000000e+00 | -- | Inf
204.25/204.35 c 204s| 76100 | 68 | 1379k| 18.1 | 11M| 54 | 33 | 231 | 13k| 231 |2453 | 17 | 46k|5287 | 0.000000e+00 | -- | Inf
204.55/204.67 c 205s| 76200 | 66 | 1381k| 18.1 | 11M| 54 | 38 | 231 | 13k| 231 |2453 | 17 | 46k|5299 | 0.000000e+00 | -- | Inf
204.84/204.95 c 205s| 76300 | 64 | 1383k| 18.1 | 11M| 54 | 39 | 231 | 13k| 231 |2453 | 17 | 46k|5306 | 0.000000e+00 | -- | Inf
205.15/205.29 c 205s| 76400 | 69 | 1385k| 18.1 | 11M| 54 | 45 | 231 | 13k| 231 |2453 | 17 | 46k|5315 | 0.000000e+00 | -- | Inf
205.45/205.59 c 206s| 76500 | 69 | 1387k| 18.1 | 11M| 54 | - | 231 | 13k| 231 |2453 | 17 | 46k|5324 | 0.000000e+00 | -- | Inf
205.85/205.92 c 206s| 76600 | 70 | 1390k| 18.1 | 11M| 54 | - | 231 | 13k| 231 |2453 | 17 | 46k|5335 | 0.000000e+00 | -- | Inf
206.15/206.23 c 206s| 76700 | 70 | 1392k| 18.2 | 11M| 54 | - | 231 | 13k| 231 |2453 | 17 | 46k|5343 | 0.000000e+00 | -- | Inf
206.45/206.51 c 207s| 76800 | 68 | 1394k| 18.2 | 11M| 54 | - | 231 | 13k| 231 |2453 | 17 | 46k|5352 | 0.000000e+00 | -- | Inf
206.75/206.82 c 207s| 76900 | 66 | 1396k| 18.2 | 11M| 54 | 31 | 231 | 13k| 231 |2453 | 17 | 47k|5362 | 0.000000e+00 | -- | Inf
206.95/207.08 c 207s| 77000 | 61 | 1398k| 18.2 | 11M| 54 | - | 231 | 13k| 231 |2453 | 17 | 47k|5370 | 0.000000e+00 | -- | Inf
207.35/207.40 c 207s| 77100 | 59 | 1400k| 18.2 | 11M| 54 | - | 231 | 13k| 231 |2453 | 17 | 47k|5375 | 0.000000e+00 | -- | Inf
207.55/207.68 c 208s| 77200 | 60 | 1402k| 18.2 | 11M| 54 | 36 | 231 | 13k| 231 |2453 | 17 | 47k|5385 | 0.000000e+00 | -- | Inf
207.86/207.99 c 208s| 77300 | 60 | 1404k| 18.2 | 11M| 54 | - | 231 | 13k| 231 |2453 | 17 | 47k|5396 | 0.000000e+00 | -- | Inf
208.14/208.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
208.14/208.25 c 208s| 77400 | 60 | 1406k| 18.2 | 11M| 54 | 32 | 231 | 13k| 231 |2453 | 17 | 47k|5400 | 0.000000e+00 | -- | Inf
208.45/208.51 c 209s| 77500 | 59 | 1408k| 18.2 | 11M| 54 | - | 231 | 13k| 231 |2453 | 17 | 47k|5410 | 0.000000e+00 | -- | Inf
208.75/208.81 c 209s| 77600 | 61 | 1410k| 18.2 | 11M| 54 | - | 231 | 13k| 231 |2453 | 17 | 47k|5420 | 0.000000e+00 | -- | Inf
208.95/209.05 c 209s| 77700 | 61 | 1411k| 18.2 | 11M| 54 | 40 | 231 | 13k| 231 |2453 | 17 | 47k|5423 | 0.000000e+00 | -- | Inf
209.25/209.32 c 209s| 77800 | 62 | 1413k| 18.2 | 11M| 54 | 32 | 231 | 13k| 231 |2453 | 17 | 47k|5427 | 0.000000e+00 | -- | Inf
209.55/209.62 c 210s| 77900 | 58 | 1416k| 18.2 | 11M| 54 | - | 231 | 13k| 231 |2453 | 17 | 47k|5434 | 0.000000e+00 | -- | Inf
209.85/209.90 c 210s| 78000 | 59 | 1418k| 18.2 | 11M| 54 | 24 | 231 | 13k| 231 |2453 | 17 | 47k|5439 | 0.000000e+00 | -- | Inf
210.05/210.17 c 210s| 78100 | 61 | 1420k| 18.2 | 11M| 54 | 28 | 231 | 13k| 231 |2453 | 17 | 47k|5444 | 0.000000e+00 | -- | Inf
210.35/210.47 c 210s| 78200 | 63 | 1422k| 18.2 | 11M| 54 | 24 | 231 | 13k| 231 |2453 | 17 | 47k|5449 | 0.000000e+00 | -- | Inf
210.65/210.75 c 211s| 78300 | 60 | 1424k| 18.2 | 11M| 54 | - | 231 | 13k| 231 |2453 | 17 | 47k|5456 | 0.000000e+00 | -- | Inf
210.94/211.01 c 211s| 78400 | 63 | 1426k| 18.2 | 11M| 54 | 35 | 231 | 13k| 231 |2453 | 17 | 47k|5461 | 0.000000e+00 | -- | Inf
211.16/211.28 c 211s| 78500 | 59 | 1428k| 18.2 | 11M| 54 | - | 231 | 13k| 231 |2453 | 17 | 48k|5464 | 0.000000e+00 | -- | Inf
211.45/211.52 c 212s| 78600 | 59 | 1430k| 18.2 | 11M| 54 | - | 231 | 13k| 231 |2453 | 17 | 48k|5465 | 0.000000e+00 | -- | Inf
211.65/211.78 c 212s| 78700 | 63 | 1432k| 18.2 | 11M| 54 | - | 231 | 13k| 231 |2453 | 17 | 48k|5467 | 0.000000e+00 | -- | Inf
211.95/212.03 c 212s| 78800 | 61 | 1434k| 18.2 | 11M| 54 | - | 231 | 13k| 231 |2453 | 17 | 48k|5468 | 0.000000e+00 | -- | Inf
212.16/212.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
212.16/212.28 c 212s| 78900 | 62 | 1436k| 18.2 | 11M| 54 | 35 | 231 | 13k| 231 |2453 | 17 | 48k|5468 | 0.000000e+00 | -- | Inf
212.45/212.54 c 213s| 79000 | 61 | 1438k| 18.2 | 11M| 54 | - | 231 | 14k| 231 |2453 | 17 | 48k|5470 | 0.000000e+00 | -- | Inf
212.75/212.82 c 213s| 79100 | 59 | 1440k| 18.2 | 11M| 54 | - | 231 | 14k| 231 |2453 | 17 | 48k|5473 | 0.000000e+00 | -- | Inf
212.95/213.07 c 213s| 79200 | 57 | 1442k| 18.2 | 11M| 54 | - | 231 | 14k| 231 |2453 | 17 | 48k|5473 | 0.000000e+00 | -- | Inf
213.26/213.33 c 213s| 79300 | 57 | 1443k| 18.2 | 11M| 54 | - | 231 | 14k| 231 |2453 | 17 | 48k|5473 | 0.000000e+00 | -- | Inf
213.55/213.60 c 214s| 79400 | 58 | 1446k| 18.2 | 11M| 54 | - | 231 | 14k| 231 |2453 | 17 | 48k|5473 | 0.000000e+00 | -- | Inf
213.74/213.84 c 214s| 79500 | 58 | 1447k| 18.2 | 11M| 54 | - | 231 | 14k| 231 |2453 | 17 | 48k|5473 | 0.000000e+00 | -- | Inf
214.05/214.10 c 214s| 79600 | 57 | 1449k| 18.2 | 11M| 54 | - | 231 | 14k| 231 |2453 | 17 | 48k|5474 | 0.000000e+00 | -- | Inf
214.25/214.36 c 214s| 79700 | 53 | 1451k| 18.2 | 11M| 54 | - | 231 | 14k| 0 | 0 | 17 | 48k|5475 | 0.000000e+00 | -- | Inf
214.54/214.62 c 215s| 79800 | 55 | 1453k| 18.2 | 11M| 54 | 36 | 231 | 14k| 231 |2453 | 17 | 48k|5475 | 0.000000e+00 | -- | Inf
214.75/214.88 c 215s| 79900 | 51 | 1455k| 18.2 | 11M| 54 | - | 231 | 14k| 231 |2453 | 17 | 48k|5475 | 0.000000e+00 | -- | Inf
215.05/215.15 c 215s| 80000 | 48 | 1457k| 18.2 | 11M| 54 | - | 231 | 14k| 231 |2453 | 17 | 48k|5475 | 0.000000e+00 | -- | Inf
215.35/215.41 c 215s| 80100 | 54 | 1459k| 18.2 | 11M| 54 | - | 231 | 14k| 231 |2453 | 17 | 49k|5475 | 0.000000e+00 | -- | Inf
215.56/215.69 c 216s| 80200 | 54 | 1461k| 18.2 | 11M| 54 | - | 231 | 14k| 231 |2453 | 17 | 49k|5475 | 0.000000e+00 | -- | Inf
215.85/215.94 c 216s| 80300 | 54 | 1464k| 18.2 | 11M| 54 | 45 | 231 | 14k| 231 |2453 | 17 | 49k|5475 | 0.000000e+00 | -- | Inf
216.15/216.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
216.15/216.22 c 216s| 80400 | 55 | 1466k| 18.2 | 11M| 54 | 29 | 231 | 14k| 231 |2453 | 17 | 49k|5476 | 0.000000e+00 | -- | Inf
216.45/216.50 c 216s| 80500 | 51 | 1468k| 18.2 | 11M| 54 | 46 | 231 | 14k| 231 |2453 | 17 | 49k|5476 | 0.000000e+00 | -- | Inf
216.65/216.79 c 217s| 80600 | 47 | 1470k| 18.2 | 11M| 54 | - | 231 | 14k| 231 |2453 | 17 | 49k|5476 | 0.000000e+00 | -- | Inf
216.94/217.04 c 217s| 80700 | 46 | 1472k| 18.2 | 11M| 54 | - | 231 | 14k| 231 |2453 | 17 | 49k|5477 | 0.000000e+00 | -- | Inf
217.15/217.27 c 217s| 80800 | 46 | 1474k| 18.2 | 11M| 54 | 39 | 231 | 14k| 231 |2453 | 17 | 49k|5477 | 0.000000e+00 | -- | Inf
217.45/217.50 c 218s| 80900 | 44 | 1476k| 18.2 | 11M| 54 | 46 | 231 | 14k| 231 |2453 | 17 | 49k|5477 | 0.000000e+00 | -- | Inf
217.66/217.76 c 218s| 81000 | 45 | 1477k| 18.2 | 11M| 54 | 21 | 231 | 14k| 231 |2453 | 17 | 49k|5484 | 0.000000e+00 | -- | Inf
217.94/218.00 c 218s| 81100 | 44 | 1479k| 18.2 | 11M| 54 | - | 231 | 14k| 231 |2453 | 17 | 49k|5495 | 0.000000e+00 | -- | Inf
218.15/218.22 c 218s| 81200 | 43 | 1480k| 18.2 | 11M| 54 | 47 | 231 | 14k| 231 |2453 | 17 | 49k|5495 | 0.000000e+00 | -- | Inf
218.45/218.52 c 219s| 81300 | 41 | 1482k| 18.2 | 11M| 54 | 36 | 231 | 14k| 231 |2453 | 17 | 49k|5509 | 0.000000e+00 | -- | Inf
218.65/218.79 c 219s| 81400 | 35 | 1484k| 18.2 | 11M| 54 | 38 | 231 | 14k| 231 |2453 | 17 | 49k|5509 | 0.000000e+00 | -- | Inf
218.94/219.07 c 219s| 81500 | 33 | 1486k| 18.2 | 11M| 54 | 39 | 231 | 14k| 231 |2453 | 17 | 49k|5516 | 0.000000e+00 | -- | Inf
219.25/219.39 c 219s| 81600 | 32 | 1488k| 18.2 | 11M| 54 | - | 231 | 14k| 231 |2453 | 17 | 49k|5526 | 0.000000e+00 | -- | Inf
219.65/219.71 c 220s| 81700 | 32 | 1490k| 18.2 | 11M| 54 | 47 | 231 | 14k| 231 |2453 | 17 | 49k|5535 | 0.000000e+00 | -- | Inf
219.96/220.04 c 220s| 81800 | 32 | 1492k| 18.2 | 11M| 54 | 40 | 231 | 14k| 231 |2453 | 17 | 50k|5542 | 0.000000e+00 | -- | Inf
220.25/220.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
220.25/220.35 c 220s| 81900 | 25 | 1494k| 18.3 | 11M| 54 | - | 231 | 14k| 231 |2453 | 17 | 50k|5550 | 0.000000e+00 | -- | Inf
220.54/220.63 c 221s| 82000 | 25 | 1496k| 18.2 | 11M| 54 | 42 | 231 | 14k| 231 |2453 | 17 | 50k|5559 | 0.000000e+00 | -- | Inf
220.75/220.89 c 221s| 82100 | 25 | 1498k| 18.2 | 11M| 54 | - | 231 | 14k| 231 |2453 | 17 | 50k|5563 | 0.000000e+00 | -- | Inf
221.06/221.14 c 221s| 82200 | 23 | 1500k| 18.2 | 11M| 54 | - | 231 | 14k| 231 |2453 | 17 | 50k|5567 | 0.000000e+00 | -- | Inf
221.34/221.43 c 221s| 82300 | 25 | 1502k| 18.2 | 11M| 54 | 17 | 231 | 14k| 231 |2453 | 17 | 50k|5574 | 0.000000e+00 | -- | Inf
221.55/221.68 c 222s| 82400 | 22 | 1503k| 18.2 | 11M| 54 | 39 | 231 | 14k| 231 |2453 | 17 | 50k|5580 | 0.000000e+00 | -- | Inf
221.85/221.98 c 222s| 82500 | 21 | 1505k| 18.2 | 11M| 54 | 43 | 231 | 14k| 231 |2453 | 17 | 50k|5592 | 0.000000e+00 | -- | Inf
222.15/222.26 c 222s| 82600 | 17 | 1507k| 18.3 | 11M| 54 | - | 231 | 14k| 231 |2453 | 17 | 50k|5594 | 0.000000e+00 | -- | Inf
222.45/222.54 c 223s| 82700 | 15 | 1509k| 18.3 | 11M| 54 | - | 231 | 14k| 231 |2453 | 17 | 50k|5601 | 0.000000e+00 | -- | Inf
222.74/222.82 c 223s| 82800 | 13 | 1511k| 18.3 | 11M| 54 | 33 | 231 | 14k| 231 |2453 | 17 | 50k|5609 | 0.000000e+00 | -- | Inf
222.95/223.09 c 223s| 82900 | 12 | 1513k| 18.3 | 11M| 54 | 42 | 231 | 14k| 231 |2453 | 17 | 50k|5615 | 0.000000e+00 | -- | Inf
223.25/223.35 c 223s| 83000 | 12 | 1514k| 18.2 | 11M| 54 | 25 | 231 | 14k| 231 |2453 | 17 | 50k|5623 | 0.000000e+00 | -- | Inf
223.55/223.64 c 224s| 83100 | 10 | 1516k| 18.2 | 11M| 54 | 37 | 231 | 14k| 231 |2453 | 17 | 50k|5629 | 0.000000e+00 | -- | Inf
223.85/223.91 c 224s| 83200 | 5 | 1518k| 18.2 | 11M| 54 | 50 | 231 | 13k| 231 |2453 | 17 | 50k|5639 | 0.000000e+00 | -- | Inf
224.04/224.14 c 224s| 83300 | 7 | 1519k| 18.2 | 11M| 54 | 35 | 231 | 13k| 231 |2453 | 17 | 50k|5641 | 0.000000e+00 | -- | Inf
224.35/224.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
224.35/224.41 c 224s| 83400 | 3 | 1521k| 18.2 | 11M| 54 | 40 | 231 | 13k| 231 |2453 | 17 | 51k|5643 | 0.000000e+00 | -- | Inf
224.44/224.53 c
224.44/224.53 c SCIP Status : problem is solved [infeasible]
224.44/224.53 c Solving Time (sec) : 224.53
224.44/224.53 c Solving Nodes : 83449
224.44/224.53 c Primal Bound : +1.00000000000000e+20 (0 solutions)
224.44/224.53 c Dual Bound : +1.00000000000000e+20
224.44/224.53 c Gap : 0.00 %
224.44/224.53 s UNSATISFIABLE
224.44/224.53 c SCIP Status : problem is solved [infeasible]
224.44/224.53 c Total Time : 224.53
224.44/224.53 c solving : 224.53
224.44/224.53 c presolving : 0.05 (included in solving)
224.44/224.53 c reading : 0.01 (included in solving)
224.44/224.53 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
224.44/224.53 c Original Problem :
224.44/224.53 c Problem name : HOME/instance-3690426-1338016930.opb
224.44/224.53 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
224.44/224.53 c Constraints : 2707 initial, 2707 maximal
224.44/224.53 c Objective sense : minimize
224.44/224.53 c Presolved Problem :
224.44/224.53 c Problem name : t_HOME/instance-3690426-1338016930.opb
224.44/224.53 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
224.44/224.53 c Constraints : 2443 initial, 14779 maximal
224.44/224.53 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
224.44/224.53 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
224.44/224.53 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
224.44/224.53 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
224.44/224.53 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
224.44/224.53 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
224.44/224.53 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
224.44/224.53 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
224.44/224.53 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
224.44/224.53 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
224.44/224.53 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
224.44/224.53 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
224.44/224.53 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0
224.44/224.53 c setppc : 0.00 0.00 0 0 0 0 0 121 0 0 0
224.44/224.53 c linear : 0.02 0.00 0 0 0 0 0 143 0 0 0
224.44/224.53 c logicor : 0.02 0.00 0 0 0 0 0 0 0 0 0
224.44/224.53 c root node : - - 1 - - 1 - - - - -
224.44/224.53 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
224.44/224.53 c integral : 0 0 0 0 43420 0 1 0 190 2173 0 0 84024
224.44/224.53 c knapsack : 1 1 5 318454 0 0 0 23484 478 149973 0 0 0
224.44/224.53 c setppc : 22 22 5 318224 0 0 0 902097 1799 446871 0 0 0
224.44/224.53 c linear : 0+ 321 5 128838 0 0 0 443 3 5094 1 0 0
224.44/224.53 c logicor : 2420+ 14754 5 155732 0 0 0 291276 495 531992 0 0 0
224.44/224.53 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
224.44/224.53 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
224.44/224.53 c integral : 23.84 0.00 0.00 0.00 23.84 0.00 0.00 0.00
224.44/224.53 c knapsack : 0.39 0.00 0.00 0.36 0.00 0.00 0.00 0.03
224.44/224.53 c setppc : 1.46 0.00 0.00 1.20 0.00 0.00 0.00 0.26
224.44/224.53 c linear : 0.23 0.00 0.00 0.23 0.00 0.00 0.00 0.00
224.44/224.53 c logicor : 6.93 0.00 0.00 6.69 0.00 0.00 0.00 0.23
224.44/224.53 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
224.44/224.53 c Propagators : #Propagate #ResProp Cutoffs DomReds
224.44/224.53 c rootredcost : 0 0 0 0
224.44/224.53 c pseudoobj : 0 0 0 0
224.44/224.53 c vbounds : 0 0 0 0
224.44/224.53 c redcost : 43425 0 0 0
224.44/224.53 c probing : 0 0 0 0
224.44/224.53 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
224.44/224.53 c rootredcost : 0.08 0.00 0.00 0.08 0.00
224.44/224.53 c pseudoobj : 0.08 0.00 0.00 0.08 0.00
224.44/224.53 c vbounds : 0.07 0.00 0.00 0.07 0.00
224.44/224.53 c redcost : 0.19 0.00 0.00 0.19 0.00
224.44/224.53 c probing : 0.00 0.00 0.00 0.00 0.00
224.44/224.53 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
224.44/224.53 c propagation : 0.11 2775 2760 14489 21.9 43 18.3 -
224.44/224.53 c infeasible LP : 3.42 39043 38390 233561 33.0 93 19.5 0
224.44/224.53 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
224.44/224.53 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
224.44/224.53 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
224.44/224.53 c applied globally : - - - 48365 19.3 - - -
224.44/224.53 c applied locally : - - - 2684 34.3 - - -
224.44/224.53 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
224.44/224.53 c cut pool : 0.00 4 - - 201 - (maximal pool size: 517)
224.44/224.53 c closecuts : 0.00 0.00 0 0 0 0 0
224.44/224.53 c impliedbounds : 0.00 0.00 5 0 0 0 0
224.44/224.53 c intobj : 0.00 0.00 0 0 0 0 0
224.44/224.53 c gomory : 0.18 0.00 5 0 0 150 0
224.44/224.53 c cgmip : 0.00 0.00 0 0 0 0 0
224.44/224.53 c strongcg : 0.22 0.00 5 0 0 2382 0
224.44/224.53 c cmir : 0.00 0.00 0 0 0 0 0
224.44/224.53 c flowcover : 0.00 0.00 0 0 0 0 0
224.44/224.53 c clique : 0.00 0.00 5 0 0 0 0
224.44/224.53 c zerohalf : 0.00 0.00 0 0 0 0 0
224.44/224.53 c mcf : 0.00 0.00 1 0 0 0 0
224.44/224.53 c oddcycle : 0.00 0.00 0 0 0 0 0
224.44/224.53 c rapidlearning : 0.10 0.00 1 0 0 0 321
224.44/224.53 c Pricers : ExecTime SetupTime Calls Vars
224.44/224.53 c problem variables: 0.00 - 0 0
224.44/224.53 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
224.44/224.53 c relpscost : 23.80 0.00 43420 190 2173 0 0 84024
224.44/224.53 c pscost : 0.00 0.00 0 0 0 0 0 0
224.44/224.53 c inference : 0.00 0.00 0 0 0 0 0 0
224.44/224.53 c mostinf : 0.00 0.00 0 0 0 0 0 0
224.44/224.53 c leastinf : 0.00 0.00 0 0 0 0 0 0
224.44/224.53 c fullstrong : 0.00 0.00 0 0 0 0 0 0
224.44/224.53 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
224.44/224.53 c random : 0.00 0.00 0 0 0 0 0 0
224.44/224.53 c Primal Heuristics : ExecTime SetupTime Calls Found
224.44/224.53 c LP solutions : 0.00 - - 0
224.44/224.53 c pseudo solutions : 0.00 - - 0
224.44/224.53 c smallcard : 0.00 0.00 0 0
224.44/224.53 c trivial : 0.00 0.00 1 0
224.44/224.53 c shiftandpropagate: 0.00 0.00 0 0
224.44/224.53 c simplerounding : 0.00 0.00 0 0
224.44/224.53 c zirounding : 0.00 0.00 0 0
224.44/224.53 c rounding : 0.00 0.00 0 0
224.44/224.53 c shifting : 0.00 0.00 0 0
224.44/224.53 c intshifting : 0.00 0.00 0 0
224.44/224.53 c oneopt : 0.00 0.00 0 0
224.44/224.53 c twoopt : 0.00 0.00 0 0
224.44/224.53 c indtwoopt : 0.00 0.00 0 0
224.44/224.53 c indoneopt : 0.00 0.00 0 0
224.44/224.53 c fixandinfer : 0.00 0.00 0 0
224.44/224.53 c feaspump : 0.00 0.00 0 0
224.44/224.53 c clique : 0.00 0.00 0 0
224.44/224.53 c indrounding : 0.00 0.00 0 0
224.44/224.53 c indcoefdiving : 0.00 0.00 0 0
224.44/224.53 c coefdiving : 0.00 0.00 0 0
224.44/224.53 c pscostdiving : 0.00 0.00 0 0
224.44/224.53 c nlpdiving : 0.00 0.00 0 0
224.44/224.53 c fracdiving : 0.00 0.00 0 0
224.44/224.53 c veclendiving : 0.00 0.00 0 0
224.44/224.53 c intdiving : 0.00 0.00 0 0
224.44/224.53 c actconsdiving : 0.00 0.00 0 0
224.44/224.53 c objpscostdiving : 0.00 0.00 0 0
224.44/224.53 c rootsoldiving : 0.00 0.00 0 0
224.44/224.53 c linesearchdiving : 0.00 0.00 0 0
224.44/224.53 c guideddiving : 0.00 0.00 0 0
224.44/224.53 c octane : 0.00 0.00 0 0
224.44/224.53 c rens : 0.00 0.00 0 0
224.44/224.53 c rins : 0.00 0.00 0 0
224.44/224.53 c localbranching : 0.00 0.00 0 0
224.44/224.53 c mutation : 0.00 0.00 0 0
224.44/224.53 c crossover : 0.00 0.00 0 0
224.44/224.53 c dins : 0.00 0.00 0 0
224.44/224.53 c vbounds : 0.00 0.00 0 0
224.44/224.53 c undercover : 0.00 0.00 0 0
224.44/224.53 c subnlp : 0.00 0.00 0 0
224.44/224.53 c trysol : 0.00 0.00 0 0
224.44/224.53 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
224.44/224.53 c primal LP : 0.00 1 0 0.00 - 0.00 1
224.44/224.53 c dual LP : 166.70 82468 1522746 18.51 9134.57 0.07 204
224.44/224.53 c lex dual LP : 0.00 0 0 0.00 -
224.44/224.53 c barrier LP : 0.00 0 0 0.00 - 0.00 0
224.44/224.53 c diving/probing LP: 0.00 0 0 0.00 -
224.44/224.53 c strong branching : 23.10 5645 196968 34.89 8527.52
224.44/224.53 c (at root node) : - 10 1956 195.60 -
224.44/224.53 c conflict analysis: 0.00 0 0 0.00 -
224.44/224.53 c B&B Tree :
224.44/224.53 c number of runs : 1
224.44/224.53 c nodes : 83449
224.44/224.53 c nodes (total) : 83449
224.44/224.53 c nodes left : 0
224.44/224.53 c max depth : 54
224.44/224.53 c max depth (total): 54
224.44/224.53 c backtracks : 11043 (13.2%)
224.44/224.53 c delayed cutoffs : 576
224.44/224.53 c repropagations : 129167 (181552 domain reductions, 576 cutoffs)
224.44/224.53 c avg switch length: 4.89
224.44/224.53 c switching time : 7.65
224.44/224.53 c Solution :
224.44/224.53 c Solutions found : 0 (0 improvements)
224.44/224.53 c Primal Bound : infeasible
224.44/224.53 c Dual Bound : -
224.44/224.53 c Gap : 0.00 %
224.44/224.53 c Root Dual Bound : +0.00000000000000e+00
224.44/224.53 c Root Iterations : 153
224.44/224.55 c Time complete: 224.5.
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-3690426-1338016930/watcher-3690426-1338016930 -o /tmp/evaluation-result-3690426-1338016930/solver-3690426-1338016930 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690426-1338016930.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.32 0.37 0.87 3/176 11633
/proc/meminfo: memFree=29350184/32873844 swapFree=6856/6856
[pid=11633] ppid=11631 vsize=10136 CPUtime=0 cores=1,3,5,7
/proc/11633/stat : 11633 (scip-2.1.1.4fix) R 11631 11633 11551 0 -1 4202496 1277 0 0 0 0 0 0 0 20 0 1 0 267817945 10379264 1231 33554432000 4194304 10173063 140735214339712 140735708593224 8800002 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11633/statm: 2534 1235 413 1460 0 1065 0
[startup+0.0529539 s]
/proc/loadavg: 0.32 0.37 0.87 3/176 11633
/proc/meminfo: memFree=29350184/32873844 swapFree=6856/6856
[pid=11633] ppid=11631 vsize=22560 CPUtime=0.04 cores=1,3,5,7
/proc/11633/stat : 11633 (scip-2.1.1.4fix) R 11631 11633 11551 0 -1 4202496 4472 0 0 0 4 0 0 0 20 0 1 0 267817945 23101440 4169 33554432000 4194304 10173063 140735214339712 140735708593224 8846909 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11633/statm: 5640 4169 588 1460 0 4171 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 22560
[startup+0.10033 s]
/proc/loadavg: 0.32 0.37 0.87 3/176 11633
/proc/meminfo: memFree=29350184/32873844 swapFree=6856/6856
[pid=11633] ppid=11631 vsize=29508 CPUtime=0.09 cores=1,3,5,7
/proc/11633/stat : 11633 (scip-2.1.1.4fix) R 11631 11633 11551 0 -1 4202496 6537 0 0 0 8 1 0 0 20 0 1 0 267817945 30216192 6194 33554432000 4194304 10173063 140735214339712 140735708593224 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11633/statm: 7377 6194 770 1460 0 5908 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29508
[startup+0.300321 s]
/proc/loadavg: 0.32 0.37 0.87 3/176 11633
/proc/meminfo: memFree=29350184/32873844 swapFree=6856/6856
[pid=11633] ppid=11631 vsize=47148 CPUtime=0.29 cores=1,3,5,7
/proc/11633/stat : 11633 (scip-2.1.1.4fix) R 11631 11633 11551 0 -1 4202496 10682 0 0 0 26 3 0 0 20 0 1 0 267817945 48279552 10337 33554432000 4194304 10173063 140735214339712 140735214334600 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11633/statm: 11787 10337 827 1460 0 10318 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 47148
[startup+0.700246 s]
/proc/loadavg: 0.32 0.37 0.87 3/176 11633
/proc/meminfo: memFree=29350184/32873844 swapFree=6856/6856
[pid=11633] ppid=11631 vsize=47316 CPUtime=0.68 cores=1,3,5,7
/proc/11633/stat : 11633 (scip-2.1.1.4fix) R 11631 11633 11551 0 -1 4202496 10800 0 0 0 64 4 0 0 20 0 1 0 267817945 48451584 10455 33554432000 4194304 10173063 140735214339712 140735214334600 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11633/statm: 11829 10455 830 1460 0 10360 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 47316
[startup+1.50023 s]
/proc/loadavg: 0.32 0.37 0.87 3/177 11634
/proc/meminfo: memFree=29312240/32873844 swapFree=6856/6856
[pid=11633] ppid=11631 vsize=47316 CPUtime=1.48 cores=1,3,5,7
/proc/11633/stat : 11633 (scip-2.1.1.4fix) R 11631 11633 11551 0 -1 4202496 10802 0 0 0 143 5 0 0 20 0 1 0 267817945 48451584 10457 33554432000 4194304 10173063 140735214339712 140735214333160 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11633/statm: 11829 10457 832 1460 0 10360 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 47316
[startup+3.10022 s]
/proc/loadavg: 0.46 0.40 0.88 3/177 11634
/proc/meminfo: memFree=29311364/32873844 swapFree=6856/6856
[pid=11633] ppid=11631 vsize=47316 CPUtime=3.09 cores=1,3,5,7
/proc/11633/stat : 11633 (scip-2.1.1.4fix) R 11631 11633 11551 0 -1 4202496 10805 0 0 0 301 8 0 0 20 0 1 0 267817945 48451584 10460 33554432000 4194304 10173063 140735214339712 140735214333624 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11633/statm: 11829 10460 835 1460 0 10360 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47316
[startup+6.30023 s]
/proc/loadavg: 0.46 0.40 0.88 3/177 11634
/proc/meminfo: memFree=29311744/32873844 swapFree=6856/6856
[pid=11633] ppid=11631 vsize=47316 CPUtime=6.29 cores=1,3,5,7
/proc/11633/stat : 11633 (scip-2.1.1.4fix) R 11631 11633 11551 0 -1 4202496 10806 0 0 0 617 12 0 0 20 0 1 0 267817945 48451584 10461 33554432000 4194304 10173063 140735214339712 140735214332968 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11633/statm: 11829 10461 836 1460 0 10360 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47316
[startup+12.7003 s]
/proc/loadavg: 0.69 0.45 0.89 3/177 11634
/proc/meminfo: memFree=29311256/32873844 swapFree=6856/6856
[pid=11633] ppid=11631 vsize=47316 CPUtime=12.69 cores=1,3,5,7
/proc/11633/stat : 11633 (scip-2.1.1.4fix) R 11631 11633 11551 0 -1 4202496 10806 0 0 0 1249 20 0 0 20 0 1 0 267817945 48451584 10461 33554432000 4194304 10173063 140735214339712 140735214335080 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11633/statm: 11829 10461 836 1460 0 10360 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47316
[startup+25.5003 s]
/proc/loadavg: 0.89 0.50 0.90 3/177 11634
/proc/meminfo: memFree=29311496/32873844 swapFree=6856/6856
[pid=11633] ppid=11631 vsize=47316 CPUtime=25.48 cores=1,3,5,7
/proc/11633/stat : 11633 (scip-2.1.1.4fix) R 11631 11633 11551 0 -1 4202496 10806 0 0 0 2509 39 0 0 20 0 1 0 267817945 48451584 10461 33554432000 4194304 10173063 140735214339712 140735214332968 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11633/statm: 11829 10461 836 1460 0 10360 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 47316
[startup+51.1003 s]
/proc/loadavg: 1.27 0.62 0.93 3/177 11634
/proc/meminfo: memFree=29308800/32873844 swapFree=6856/6856
[pid=11633] ppid=11631 vsize=47316 CPUtime=51.07 cores=1,3,5,7
/proc/11633/stat : 11633 (scip-2.1.1.4fix) R 11631 11633 11551 0 -1 4202496 11058 0 0 0 5028 79 0 0 20 0 1 0 267817945 48451584 10802 33554432000 4194304 10173063 140735214339712 140735214332968 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11633/statm: 11829 10802 836 1460 0 10360 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 47316
[startup+102.307 s]
/proc/loadavg: 1.79 0.86 0.99 3/177 11635
/proc/meminfo: memFree=29306500/32873844 swapFree=6856/6856
[pid=11633] ppid=11631 vsize=47316 CPUtime=102.27 cores=1,3,5,7
/proc/11633/stat : 11633 (scip-2.1.1.4fix) R 11631 11633 11551 0 -1 4202496 11070 0 0 0 10070 157 0 0 20 0 1 0 267817945 48451584 11071 33554432000 4194304 10173063 140735214339712 140735214333352 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11633/statm: 11829 11071 836 1460 0 10360 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 47316
[startup+162.3 s]
/proc/loadavg: 1.92 1.07 1.05 3/177 11635
/proc/meminfo: memFree=29305320/32873844 swapFree=6856/6856
[pid=11633] ppid=11631 vsize=47316 CPUtime=162.25 cores=1,3,5,7
/proc/11633/stat : 11633 (scip-2.1.1.4fix) R 11631 11633 11551 0 -1 4202496 11070 0 0 0 15973 252 0 0 20 0 1 0 267817945 48451584 11071 33554432000 4194304 10173063 140735214339712 140735214332968 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11633/statm: 11829 11071 836 1460 0 10360 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 47316
[startup+222.3 s]
/proc/loadavg: 1.97 1.23 1.11 3/177 11635
/proc/meminfo: memFree=29304700/32873844 swapFree=6856/6856
[pid=11633] ppid=11631 vsize=47316 CPUtime=222.24 cores=1,3,5,7
/proc/11633/stat : 11633 (scip-2.1.1.4fix) R 11631 11633 11551 0 -1 4202496 11072 0 0 0 21888 336 0 0 20 0 1 0 267817945 48451584 11073 33554432000 4194304 10173063 140735214339712 140735214332968 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11633/statm: 11829 11073 838 1460 0 10360 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 47316
Solver just ended. Dumping a history of the last processes samples
[startup+223.9 s]
/proc/loadavg: 1.97 1.23 1.11 3/177 11635
/proc/meminfo: memFree=29304700/32873844 swapFree=6856/6856
[pid=11633] ppid=11631 vsize=47316 CPUtime=223.85 cores=1,3,5,7
/proc/11633/stat : 11633 (scip-2.1.1.4fix) R 11631 11633 11551 0 -1 4202496 11072 0 0 0 22046 339 0 0 20 0 1 0 267817945 48451584 11073 33554432000 4194304 10173063 140735214339712 140735214333352 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11633/statm: 11829 11073 838 1460 0 10360 0
Current children cumulated CPU time (s) 223.85
Current children cumulated vsize (KiB) 47316
[startup+224.3 s]
/proc/loadavg: 1.97 1.23 1.11 3/177 11635
/proc/meminfo: memFree=29304700/32873844 swapFree=6856/6856
[pid=11633] ppid=11631 vsize=47316 CPUtime=224.25 cores=1,3,5,7
/proc/11633/stat : 11633 (scip-2.1.1.4fix) R 11631 11633 11551 0 -1 4202496 11072 0 0 0 22085 340 0 0 20 0 1 0 267817945 48451584 11073 33554432000 4194304 10173063 140735214339712 140735214333352 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11633/statm: 11829 11073 838 1460 0 10360 0
Current children cumulated CPU time (s) 224.25
Current children cumulated vsize (KiB) 47316
[startup+224.5 s]
/proc/loadavg: 1.97 1.23 1.11 3/177 11635
/proc/meminfo: memFree=29304700/32873844 swapFree=6856/6856
[pid=11633] ppid=11631 vsize=47316 CPUtime=224.44 cores=1,3,5,7
/proc/11633/stat : 11633 (scip-2.1.1.4fix) R 11631 11633 11551 0 -1 4202496 11072 0 0 0 22104 340 0 0 20 0 1 0 267817945 48451584 11073 33554432000 4194304 10173063 140735214339712 140735214333352 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11633/statm: 11829 11073 838 1460 0 10360 0
Current children cumulated CPU time (s) 224.44
Current children cumulated vsize (KiB) 47316
Child status: 0
Real time (s): 224.555
CPU time (s): 224.51
CPU user time (s): 221.099
CPU system time (s): 3.41048
CPU usage (%): 99.98
Max. virtual memory (cumulated for all children) (KiB): 47316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 221.099
system time used= 3.41048
maximum resident set size= 44304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11077
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= 13
involuntary context switches= 232
runsolver used 0.396939 second user time and 0.974851 second system time
The end