0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3691604-1338022339.opb>
0.00/0.01 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.00/0.01 c problem read in 0.01
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.04 c (round 1) 0 del vars, 143 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs
0.00/0.05 c (round 2) 0 del vars, 143 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.00/0.05 c (round 3) 0 del vars, 264 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.00/0.06 c presolving (4 rounds):
0.00/0.06 c 0 deleted vars, 264 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06 c 242 implications, 22 cliques
0.00/0.06 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2443 constraints
0.00/0.06 c 1 constraints of type <knapsack>
0.00/0.06 c 22 constraints of type <setppc>
0.00/0.06 c 2420 constraints of type <logicor>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.05
0.00/0.06 c - non default parameters ----------------------------------------------------------------------
0.00/0.06 c # SCIP version 2.1.1.4
0.00/0.06 c
0.00/0.06 c # maximal time in seconds to run
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/time = 1797
0.00/0.06 c
0.00/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/memory = 13950
0.00/0.06 c
0.00/0.06 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c limits/solutions = 1
0.00/0.06 c
0.00/0.06 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.06 c separating/maxrounds = 1
0.00/0.06 c
0.00/0.06 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c separating/maxroundsroot = 5
0.00/0.06 c
0.00/0.06 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.06 c # [type: int, range: [1,2], default: 1]
0.00/0.06 c timing/clocktype = 2
0.00/0.06 c
0.00/0.06 c # belongs reading time to solving time?
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c timing/reading = TRUE
0.00/0.06 c
0.00/0.06 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.06 c constraints/knapsack/disaggregation = FALSE
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/coefdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.06 c heuristics/crossover/freq = -1
0.00/0.06 c
0.00/0.06 c # number of nodes added to the contingent of the total nodes
0.00/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.06 c heuristics/crossover/nodesofs = 750
0.00/0.06 c
0.00/0.06 c # number of nodes without incumbent change that heuristic should wait
0.00/0.06 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.06 c heuristics/crossover/nwaitingnodes = 100
0.00/0.06 c
0.00/0.06 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.06 c # [type: real, range: [0,1], default: 0.1]
0.00/0.06 c heuristics/crossover/nodesquot = 0.15
0.00/0.06 c
0.00/0.06 c # minimum percentage of integer variables that have to be fixed
0.00/0.06 c # [type: real, range: [0,1], default: 0.666]
0.00/0.06 c heuristics/crossover/minfixingrate = 0.5
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.06 c heuristics/feaspump/freq = -1
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/fracdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/guideddiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/intshifting/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/linesearchdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.06 c heuristics/objpscostdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.06 c # [type: real, range: [0,1], default: 0.01]
0.00/0.06 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/oneopt/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/pscostdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c heuristics/rens/freq = -1
0.00/0.06 c
0.00/0.06 c # minimum percentage of integer variables that have to be fixable
0.00/0.06 c # [type: real, range: [0,1], default: 0.5]
0.00/0.06 c heuristics/rens/minfixingrate = 0.3
0.00/0.06 c
0.00/0.06 c # number of nodes added to the contingent of the total nodes
0.00/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.06 c heuristics/rens/nodesofs = 2000
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.06 c heuristics/rootsoldiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.06 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/rounding/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c heuristics/shiftandpropagate/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/shifting/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/simplerounding/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/subnlp/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c heuristics/trivial/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/trysol/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c heuristics/undercover/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/veclendiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/zirounding/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c propagating/probing/maxprerounds = 0
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c separating/cmir/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c separating/flowcover/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c separating/rapidlearning/freq = 0
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/indoneopt/freq = -1
0.00/0.06 c
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c start solving
0.00/0.06 c
0.07/0.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.07/0.07 c 0.1s| 1 | 0 | 76 | - |4259k| 0 | 36 | 231 |2443 | 231 |2443 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.20 c 0.2s| 1 | 0 | 90 | - |4685k| 0 | 39 | 231 |2703 | 231 |2450 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.24 c 0.2s| 1 | 0 | 105 | - |5013k| 0 | 45 | 231 |2703 | 231 |2454 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.28 c 0.3s| 1 | 0 | 120 | - |5452k| 0 | 46 | 231 |2703 | 231 |2455 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.33 c 0.3s| 1 | 0 | 139 | - |5896k| 0 | 47 | 231 |2703 | 231 |2457 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.49 c 0.5s| 1 | 0 | 146 | - |6236k| 0 | 51 | 231 |2703 | 231 |2460 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.68/0.73 c 0.7s| 1 | 2 | 146 | - |6237k| 0 | 51 | 231 |2703 | 231 |2460 | 17 | 0 | 11 | 0.000000e+00 | -- | Inf
9.69/9.72 c 9.7s| 100 | 20 | 5142 | 50.5 |6404k| 13 | - | 231 |2718 | 231 |2453 | 17 | 15 |1655 | 0.000000e+00 | -- | Inf
10.59/10.60 c 10.6s| 200 | 24 | 6935 | 34.1 |6437k| 17 | - | 231 |2775 | 231 |2453 | 17 | 72 |1795 | 0.000000e+00 | -- | Inf
11.09/11.12 c 11.1s| 300 | 30 | 8838 | 29.1 |6474k| 18 | - | 231 |2834 | 231 |2453 | 17 | 131 |1857 | 0.000000e+00 | -- | Inf
11.59/11.61 c 11.6s| 400 | 32 | 10864 | 26.9 |6498k| 20 | 28 | 231 |2891 | 231 |2453 | 17 | 188 |1912 | 0.000000e+00 | -- | Inf
11.78/11.89 c 11.9s| 500 | 34 | 12664 | 25.1 |6525k| 21 | - | 231 |2940 | 231 |2453 | 17 | 237 |1922 | 0.000000e+00 | -- | Inf
12.19/12.24 c 12.2s| 600 | 36 | 14654 | 24.2 |6555k| 21 | - | 231 |2997 | 0 | 0 | 17 | 295 |1947 | 0.000000e+00 | -- | Inf
12.48/12.58 c 12.6s| 700 | 40 | 16725 | 23.7 |6578k| 21 | 29 | 231 |3056 | 231 |2453 | 17 | 355 |1961 | 0.000000e+00 | -- | Inf
12.79/12.85 c 12.8s| 800 | 35 | 18525 | 23.0 |6594k| 21 | - | 231 |3125 | 231 |2453 | 17 | 424 |1968 | 0.000000e+00 | -- | Inf
13.09/13.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.09/13.14 c 13.1s| 900 | 37 | 20345 | 22.5 |6622k| 21 | - | 231 |3182 | 231 |2453 | 17 | 483 |1980 | 0.000000e+00 | -- | Inf
13.38/13.42 c 13.4s| 1000 | 38 | 22425 | 22.3 |6638k| 21 | 28 | 231 |3241 | 231 |2453 | 17 | 542 |1983 | 0.000000e+00 | -- | Inf
13.68/13.70 c 13.7s| 1100 | 39 | 24403 | 22.1 |6665k| 21 | 25 | 231 |3298 | 231 |2453 | 17 | 602 |1990 | 0.000000e+00 | -- | Inf
13.98/14.02 c 14.0s| 1200 | 42 | 26277 | 21.8 |6697k| 21 | - | 231 |3355 | 231 |2453 | 17 | 659 |2009 | 0.000000e+00 | -- | Inf
14.28/14.37 c 14.4s| 1300 | 44 | 28199 | 21.6 |6719k| 24 | 22 | 231 |3417 | 231 |2453 | 17 | 721 |2030 | 0.000000e+00 | -- | Inf
14.58/14.69 c 14.7s| 1400 | 41 | 30089 | 21.4 |6737k| 24 | 34 | 231 |3473 | 231 |2453 | 17 | 781 |2045 | 0.000000e+00 | -- | Inf
14.98/15.03 c 15.0s| 1500 | 45 | 32279 | 21.4 |6771k| 24 | - | 231 |3526 | 231 |2453 | 17 | 837 |2062 | 0.000000e+00 | -- | Inf
15.29/15.31 c 15.3s| 1600 | 44 | 34144 | 21.3 |6779k| 24 | 38 | 231 |3580 | 231 |2453 | 17 | 892 |2070 | 0.000000e+00 | -- | Inf
15.48/15.58 c 15.6s| 1700 | 46 | 35973 | 21.1 |6818k| 24 | - | 231 |3641 | 231 |2453 | 17 | 956 |2075 | 0.000000e+00 | -- | Inf
15.78/15.82 c 15.8s| 1800 | 44 | 37621 | 20.8 |6829k| 24 | 33 | 231 |3703 | 231 |2453 | 17 |1024 |2078 | 0.000000e+00 | -- | Inf
15.98/16.06 c 16.1s| 1900 | 45 | 39371 | 20.7 |6860k| 24 | 32 | 231 |3776 | 231 |2453 | 17 |1102 |2082 | 0.000000e+00 | -- | Inf
16.28/16.31 c 16.3s| 2000 | 45 | 41221 | 20.5 |6889k| 24 | 30 | 231 |3835 | 231 |2453 | 17 |1163 |2085 | 0.000000e+00 | -- | Inf
16.49/16.56 c 16.6s| 2100 | 46 | 42997 | 20.4 |6910k| 24 | 34 | 231 |3888 | 231 |2453 | 17 |1225 |2087 | 0.000000e+00 | -- | Inf
16.78/16.80 c 16.8s| 2200 | 47 | 44802 | 20.3 |6939k| 24 | 27 | 231 |3942 | 231 |2453 | 17 |1284 |2088 | 0.000000e+00 | -- | Inf
16.98/17.09 c 17.1s| 2300 | 55 | 47041 | 20.4 |6981k| 24 | 30 | 231 |3990 | 231 |2453 | 17 |1336 |2089 | 0.000000e+00 | -- | Inf
17.28/17.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.28/17.36 c 17.4s| 2400 | 56 | 49145 | 20.4 |7004k| 24 | 29 | 231 |4053 | 231 |2453 | 17 |1403 |2089 | 0.000000e+00 | -- | Inf
17.59/17.60 c 17.6s| 2500 | 56 | 50908 | 20.3 |7018k| 29 | 38 | 231 |4099 | 231 |2453 | 17 |1457 |2089 | 0.000000e+00 | -- | Inf
17.78/17.85 c 17.9s| 2600 | 56 | 52788 | 20.3 |7048k| 29 | - | 231 |4155 | 231 |2453 | 17 |1518 |2089 | 0.000000e+00 | -- | Inf
17.98/18.08 c 18.1s| 2700 | 59 | 54553 | 20.2 |7074k| 29 | 31 | 231 |4217 | 231 |2453 | 17 |1580 |2089 | 0.000000e+00 | -- | Inf
18.28/18.30 c 18.3s| 2800 | 58 | 56262 | 20.0 |7091k| 29 | 18 | 231 |4276 | 231 |2453 | 17 |1642 |2089 | 0.000000e+00 | -- | Inf
18.59/18.62 c 18.6s| 2900 | 57 | 58188 | 20.0 |7117k| 29 | 33 | 231 |4343 | 231 |2453 | 17 |1715 |2101 | 0.000000e+00 | -- | Inf
18.88/18.95 c 19.0s| 3000 | 54 | 60172 | 20.0 |7130k| 29 | 42 | 231 |4398 | 231 |2453 | 17 |1784 |2117 | 0.000000e+00 | -- | Inf
19.28/19.31 c 19.3s| 3100 | 60 | 62321 | 20.1 |7161k| 29 | 24 | 231 |4441 | 231 |2453 | 17 |1838 |2134 | 0.000000e+00 | -- | Inf
19.58/19.60 c 19.6s| 3200 | 60 | 64024 | 20.0 |7185k| 29 | - | 231 |4496 | 231 |2453 | 17 |1901 |2148 | 0.000000e+00 | -- | Inf
19.88/19.93 c 19.9s| 3300 | 67 | 65904 | 19.9 |7237k| 29 | - | 231 |4561 | 231 |2453 | 17 |1973 |2164 | 0.000000e+00 | -- | Inf
20.18/20.28 c 20.3s| 3400 | 75 | 68012 | 20.0 |7275k| 29 | 35 | 231 |4613 | 231 |2453 | 17 |2032 |2182 | 0.000000e+00 | -- | Inf
20.48/20.57 c 20.6s| 3500 | 79 | 69559 | 19.8 |7316k| 29 | - | 231 |4675 | 231 |2453 | 17 |2097 |2200 | 0.000000e+00 | -- | Inf
20.89/20.91 c 20.9s| 3600 | 80 | 71554 | 19.8 |7340k| 29 | - | 231 |4727 | 231 |2453 | 17 |2154 |2219 | 0.000000e+00 | -- | Inf
21.18/21.24 c 21.2s| 3700 | 79 | 73471 | 19.8 |7364k| 29 | - | 231 |4783 | 231 |2453 | 17 |2217 |2236 | 0.000000e+00 | -- | Inf
21.48/21.54 c 21.5s| 3800 | 78 | 75265 | 19.8 |7378k| 29 | 28 | 231 |4847 | 231 |2453 | 17 |2284 |2250 | 0.000000e+00 | -- | Inf
21.78/21.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.78/21.84 c 21.8s| 3900 | 82 | 77242 | 19.8 |7411k| 29 | 34 | 231 |4906 | 231 |2453 | 17 |2346 |2259 | 0.000000e+00 | -- | Inf
21.99/22.08 c 22.1s| 4000 | 85 | 78867 | 19.7 |7441k| 29 | 18 | 231 |4954 | 231 |2453 | 17 |2402 |2263 | 0.000000e+00 | -- | Inf
22.28/22.33 c 22.3s| 4100 | 88 | 80599 | 19.6 |7463k| 29 | 38 | 231 |4993 | 231 |2453 | 17 |2454 |2266 | 0.000000e+00 | -- | Inf
22.48/22.57 c 22.6s| 4200 | 85 | 82272 | 19.6 |7482k| 29 | - | 231 |5058 | 231 |2453 | 17 |2521 |2269 | 0.000000e+00 | -- | Inf
22.78/22.80 c 22.8s| 4300 | 83 | 83773 | 19.5 |7502k| 30 | - | 231 |5130 | 231 |2453 | 17 |2598 |2273 | 0.000000e+00 | -- | Inf
22.99/23.03 c 23.0s| 4400 | 85 | 85443 | 19.4 |7523k| 30 | 32 | 231 |5180 | 231 |2453 | 17 |2654 |2274 | 0.000000e+00 | -- | Inf
23.18/23.28 c 23.3s| 4500 | 82 | 87210 | 19.4 |7543k| 30 | - | 231 |5251 | 231 |2453 | 17 |2726 |2275 | 0.000000e+00 | -- | Inf
23.48/23.51 c 23.5s| 4600 | 80 | 88868 | 19.3 |7574k| 30 | - | 231 |5315 | 231 |2453 | 17 |2803 |2275 | 0.000000e+00 | -- | Inf
23.68/23.75 c 23.7s| 4700 | 78 | 90611 | 19.3 |7588k| 30 | - | 231 |5381 | 231 |2453 | 17 |2875 |2276 | 0.000000e+00 | -- | Inf
23.98/24.02 c 24.0s| 4800 | 79 | 92654 | 19.3 |7614k| 30 | 41 | 231 |5442 | 231 |2453 | 17 |2943 |2278 | 0.000000e+00 | -- | Inf
24.19/24.29 c 24.3s| 4900 | 77 | 94666 | 19.3 |7635k| 30 | 35 | 231 |5486 | 231 |2453 | 17 |2999 |2278 | 0.000000e+00 | -- | Inf
24.48/24.54 c 24.5s| 5000 | 74 | 96574 | 19.3 |7650k| 30 | 35 | 231 |5537 | 231 |2453 | 17 |3065 |2278 | 0.000000e+00 | -- | Inf
24.78/24.83 c 24.8s| 5100 | 76 | 98890 | 19.4 |7692k| 30 | 38 | 231 |5594 | 231 |2453 | 17 |3135 |2278 | 0.000000e+00 | -- | Inf
24.98/25.08 c 25.1s| 5200 | 76 |100788 | 19.4 |7720k| 30 | 26 | 231 |5654 | 231 |2453 | 17 |3205 |2278 | 0.000000e+00 | -- | Inf
25.29/25.34 c 25.3s| 5300 | 74 |102754 | 19.4 |7727k| 30 | 31 | 231 |5699 | 231 |2453 | 17 |3267 |2278 | 0.000000e+00 | -- | Inf
25.58/25.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.58/25.66 c 25.7s| 5400 | 77 |104447 | 19.3 |7753k| 30 | 36 | 231 |5742 | 231 |2453 | 17 |3327 |2296 | 0.000000e+00 | -- | Inf
25.98/26.00 c 26.0s| 5500 | 85 |106844 | 19.4 |7801k| 30 | - | 231 |5793 | 231 |2453 | 17 |3389 |2307 | 0.000000e+00 | -- | Inf
26.28/26.34 c 26.3s| 5600 | 74 |108775 | 19.4 |7798k| 30 | - | 231 |5849 | 231 |2453 | 17 |3458 |2324 | 0.000000e+00 | -- | Inf
26.58/26.65 c 26.6s| 5700 | 76 |110616 | 19.4 |7821k| 30 | - | 231 |5884 | 231 |2453 | 17 |3523 |2339 | 0.000000e+00 | -- | Inf
26.88/26.95 c 27.0s| 5800 | 77 |112423 | 19.4 |7832k| 30 | 33 | 231 |5925 | 231 |2453 | 17 |3591 |2353 | 0.000000e+00 | -- | Inf
27.28/27.30 c 27.3s| 5900 | 73 |114382 | 19.4 |7847k| 30 | - | 231 |5966 | 231 |2453 | 17 |3651 |2371 | 0.000000e+00 | -- | Inf
27.49/27.54 c 27.5s| 6000 | 75 |115711 | 19.3 |7870k| 30 | - | 231 |5993 | 231 |2453 | 17 |3707 |2380 | 0.000000e+00 | -- | Inf
27.78/27.87 c 27.9s| 6100 | 75 |117569 | 19.3 |7880k| 30 | 36 | 231 |6023 | 231 |2453 | 17 |3764 |2402 | 0.000000e+00 | -- | Inf
28.08/28.16 c 28.2s| 6200 | 75 |119173 | 19.2 |7912k| 31 | - | 231 |6086 | 0 | 0 | 17 |3835 |2418 | 0.000000e+00 | -- | Inf
28.38/28.42 c 28.4s| 6300 | 73 |120948 | 19.2 |7910k| 31 | 29 | 231 |6116 | 231 |2453 | 17 |3885 |2425 | 0.000000e+00 | -- | Inf
28.78/28.82 c 28.8s| 6400 | 73 |123567 | 19.3 |7928k| 31 | 43 | 231 |6150 | 231 |2453 | 17 |3950 |2441 | 0.000000e+00 | -- | Inf
29.08/29.12 c 29.1s| 6500 | 71 |125625 | 19.3 |7944k| 32 | 33 | 231 |6180 | 231 |2453 | 17 |4030 |2447 | 0.000000e+00 | -- | Inf
29.38/29.42 c 29.4s| 6600 | 70 |127800 | 19.3 |7960k| 32 | - | 231 |6209 | 231 |2453 | 17 |4094 |2451 | 0.000000e+00 | -- | Inf
29.58/29.69 c 29.7s| 6700 | 68 |129452 | 19.3 |7981k| 32 | - | 231 |6257 | 231 |2453 | 17 |4163 |2459 | 0.000000e+00 | -- | Inf
29.88/29.97 c 30.0s| 6800 | 68 |131341 | 19.3 |7989k| 32 | 29 | 231 |6246 | 231 |2453 | 17 |4225 |2461 | 0.000000e+00 | -- | Inf
30.18/30.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.18/30.21 c 30.2s| 6900 | 68 |133127 | 19.3 |8021k| 32 | - | 231 |6290 | 231 |2453 | 17 |4297 |2461 | 0.000000e+00 | -- | Inf
30.38/30.46 c 30.5s| 7000 | 67 |134946 | 19.3 |8037k| 32 | 23 | 231 |6347 | 231 |2453 | 17 |4371 |2461 | 0.000000e+00 | -- | Inf
30.58/30.67 c 30.7s| 7100 | 66 |136404 | 19.2 |8052k| 32 | - | 231 |6382 | 231 |2453 | 17 |4434 |2461 | 0.000000e+00 | -- | Inf
30.78/30.89 c 30.9s| 7200 | 66 |137918 | 19.1 |8066k| 32 | - | 231 |6409 | 231 |2453 | 17 |4498 |2461 | 0.000000e+00 | -- | Inf
31.08/31.14 c 31.1s| 7300 | 65 |139712 | 19.1 |8077k| 32 | 44 | 231 |6459 | 231 |2453 | 17 |4575 |2463 | 0.000000e+00 | -- | Inf
31.28/31.38 c 31.4s| 7400 | 66 |141426 | 19.1 |8101k| 32 | - | 231 |6499 | 231 |2453 | 17 |4643 |2463 | 0.000000e+00 | -- | Inf
31.48/31.57 c 31.6s| 7500 | 67 |142747 | 19.0 |8121k| 32 | - | 231 |6552 | 231 |2453 | 17 |4709 |2464 | 0.000000e+00 | -- | Inf
31.68/31.80 c 31.8s| 7600 | 69 |144263 | 19.0 |8131k| 32 | - | 231 |6562 | 231 |2453 | 17 |4763 |2464 | 0.000000e+00 | -- | Inf
31.98/32.04 c 32.0s| 7700 | 69 |145965 | 18.9 |8140k| 32 | - | 231 |6554 | 231 |2453 | 17 |4827 |2464 | 0.000000e+00 | -- | Inf
32.18/32.27 c 32.3s| 7800 | 71 |147595 | 18.9 |8155k| 32 | 27 | 231 |6595 | 231 |2453 | 17 |4895 |2464 | 0.000000e+00 | -- | Inf
32.48/32.52 c 32.5s| 7900 | 70 |149460 | 18.9 |8167k| 32 | - | 231 |6603 | 231 |2453 | 17 |4973 |2464 | 0.000000e+00 | -- | Inf
32.68/32.73 c 32.7s| 8000 | 68 |150796 | 18.8 |8176k| 32 | - | 231 |6641 | 231 |2453 | 17 |5049 |2464 | 0.000000e+00 | -- | Inf
32.98/33.05 c 33.0s| 8100 | 70 |152721 | 18.8 |8194k| 32 | 27 | 231 |6698 | 231 |2453 | 17 |5127 |2481 | 0.000000e+00 | -- | Inf
33.18/33.26 c 33.3s| 8200 | 67 |154038 | 18.8 |8215k| 32 | - | 231 |6770 | 231 |2453 | 17 |5202 |2487 | 0.000000e+00 | -- | Inf
33.48/33.59 c 33.6s| 8300 | 70 |155963 | 18.8 |8237k| 32 | 38 | 231 |6823 | 231 |2453 | 17 |5260 |2507 | 0.000000e+00 | -- | Inf
33.88/33.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.88/33.93 c 33.9s| 8400 | 68 |157856 | 18.8 |8261k| 32 | 30 | 231 |6884 | 231 |2453 | 17 |5322 |2527 | 0.000000e+00 | -- | Inf
34.18/34.23 c 34.2s| 8500 | 68 |159735 | 18.8 |8281k| 32 | - | 231 |6919 | 231 |2453 | 17 |5399 |2535 | 0.000000e+00 | -- | Inf
34.48/34.50 c 34.5s| 8600 | 69 |161301 | 18.7 |8306k| 32 | 31 | 231 |6980 | 231 |2453 | 17 |5484 |2544 | 0.000000e+00 | -- | Inf
34.77/34.83 c 34.8s| 8700 | 61 |163067 | 18.7 |8295k| 32 | - | 231 |6996 | 231 |2453 | 17 |5556 |2563 | 0.000000e+00 | -- | Inf
35.08/35.13 c 35.1s| 8800 | 57 |165023 | 18.7 |8287k| 32 | - | 231 |6998 | 231 |2453 | 17 |5622 |2572 | 0.000000e+00 | -- | Inf
35.38/35.45 c 35.5s| 8900 | 63 |166740 | 18.7 |8312k| 32 | 32 | 231 |7024 | 231 |2453 | 17 |5697 |2589 | 0.000000e+00 | -- | Inf
35.68/35.78 c 35.8s| 9000 | 63 |168710 | 18.7 |8335k| 32 | - | 231 |7079 | 231 |2453 | 17 |5774 |2603 | 0.000000e+00 | -- | Inf
35.98/36.09 c 36.1s| 9100 | 59 |170429 | 18.7 |8346k| 32 | - | 231 |7124 | 231 |2453 | 17 |5852 |2620 | 0.000000e+00 | -- | Inf
36.37/36.44 c 36.4s| 9200 | 60 |172508 | 18.7 |8356k| 32 | 27 | 231 |7137 | 231 |2453 | 17 |5922 |2638 | 0.000000e+00 | -- | Inf
36.68/36.73 c 36.7s| 9300 | 57 |174118 | 18.7 |8356k| 32 | 42 | 231 |7151 | 231 |2453 | 17 |5989 |2654 | 0.000000e+00 | -- | Inf
36.97/37.02 c 37.0s| 9400 | 58 |175931 | 18.7 |8369k| 32 | 38 | 231 |7186 | 231 |2453 | 17 |6053 |2665 | 0.000000e+00 | -- | Inf
37.28/37.35 c 37.3s| 9500 | 56 |177786 | 18.7 |8376k| 34 | - | 231 |7187 | 231 |2453 | 17 |6117 |2681 | 0.000000e+00 | -- | Inf
37.48/37.55 c 37.5s| 9600 | 51 |179137 | 18.6 |8378k| 34 | - | 231 |7240 | 231 |2453 | 17 |6192 |2681 | 0.000000e+00 | -- | Inf
37.78/37.81 c 37.8s| 9700 | 53 |181029 | 18.6 |8393k| 34 | 20 | 231 |7280 | 231 |2453 | 17 |6250 |2684 | 0.000000e+00 | -- | Inf
37.98/38.06 c 38.1s| 9800 | 54 |182793 | 18.6 |8418k| 34 | 28 | 231 |7306 | 231 |2453 | 17 |6315 |2686 | 0.000000e+00 | -- | Inf
38.28/38.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.28/38.31 c 38.3s| 9900 | 54 |184583 | 18.6 |8433k| 34 | 24 | 231 |7346 | 231 |2453 | 17 |6377 |2687 | 0.000000e+00 | -- | Inf
38.49/38.57 c 38.6s| 10000 | 55 |186519 | 18.6 |8463k| 34 | 30 | 231 |7413 | 231 |2453 | 17 |6459 |2690 | 0.000000e+00 | -- | Inf
38.78/38.81 c 38.8s| 10100 | 53 |188274 | 18.6 |8484k| 34 | - | 231 |7467 | 231 |2453 | 17 |6523 |2690 | 0.000000e+00 | -- | Inf
38.97/39.05 c 39.0s| 10200 | 54 |189965 | 18.6 |8491k| 34 | 41 | 231 |7478 | 231 |2453 | 17 |6580 |2690 | 0.000000e+00 | -- | Inf
39.28/39.31 c 39.3s| 10300 | 62 |191903 | 18.6 |8517k| 34 | - | 231 |7440 | 231 |2453 | 17 |6637 |2691 | 0.000000e+00 | -- | Inf
39.48/39.57 c 39.6s| 10400 | 70 |193795 | 18.6 |8533k| 34 | - | 231 |7430 | 231 |2453 | 17 |6689 |2691 | 0.000000e+00 | -- | Inf
39.78/39.84 c 39.8s| 10500 | 73 |195888 | 18.6 |8560k| 34 | - | 231 |7469 | 231 |2453 | 17 |6756 |2691 | 0.000000e+00 | -- | Inf
40.08/40.10 c 40.1s| 10600 | 78 |197782 | 18.6 |8584k| 34 | - | 231 |7484 | 231 |2453 | 17 |6814 |2691 | 0.000000e+00 | -- | Inf
40.37/40.40 c 40.4s| 10700 | 81 |200181 | 18.7 |8610k| 34 | - | 231 |7527 | 231 |2453 | 17 |6877 |2691 | 0.000000e+00 | -- | Inf
40.68/40.71 c 40.7s| 10800 | 83 |202634 | 18.8 |8625k| 34 | 23 | 231 |7566 | 231 |2453 | 17 |6933 |2691 | 0.000000e+00 | -- | Inf
40.88/40.97 c 41.0s| 10900 | 83 |204687 | 18.8 |8646k| 34 | - | 231 |7613 | 231 |2453 | 17 |6987 |2691 | 0.000000e+00 | -- | Inf
41.18/41.21 c 41.2s| 11000 | 85 |206500 | 18.8 |8663k| 34 | 24 | 231 |7655 | 231 |2453 | 17 |7032 |2691 | 0.000000e+00 | -- | Inf
41.38/41.46 c 41.5s| 11100 | 90 |208363 | 18.8 |8692k| 34 | 27 | 231 |7692 | 231 |2453 | 17 |7087 |2691 | 0.000000e+00 | -- | Inf
41.57/41.68 c 41.7s| 11200 | 88 |209962 | 18.7 |8705k| 34 | 37 | 231 |7734 | 231 |2453 | 17 |7137 |2691 | 0.000000e+00 | -- | Inf
41.88/41.97 c 42.0s| 11300 | 102 |212298 | 18.8 |8753k| 34 | - | 231 |7754 | 231 |2453 | 17 |7185 |2691 | 0.000000e+00 | -- | Inf
42.17/42.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.17/42.23 c 42.2s| 11400 | 109 |214196 | 18.8 |8777k| 34 | 37 | 231 |7780 | 231 |2453 | 17 |7238 |2691 | 0.000000e+00 | -- | Inf
42.38/42.46 c 42.5s| 11500 | 113 |216042 | 18.8 |8814k| 34 | - | 231 |7828 | 231 |2453 | 17 |7298 |2691 | 0.000000e+00 | -- | Inf
42.68/42.74 c 42.7s| 11600 | 116 |218179 | 18.8 |8837k| 34 | - | 231 |7870 | 231 |2453 | 17 |7351 |2691 | 0.000000e+00 | -- | Inf
42.88/42.97 c 43.0s| 11700 | 117 |219936 | 18.8 |8856k| 34 | 38 | 231 |7928 | 231 |2453 | 17 |7417 |2691 | 0.000000e+00 | -- | Inf
43.18/43.22 c 43.2s| 11800 | 117 |221836 | 18.8 |8884k| 44 | - | 231 |7976 | 231 |2453 | 17 |7472 |2691 | 0.000000e+00 | -- | Inf
43.37/43.47 c 43.5s| 11900 | 119 |223767 | 18.8 |8907k| 44 | - | 231 |8017 | 231 |2453 | 17 |7524 |2691 | 0.000000e+00 | -- | Inf
43.68/43.71 c 43.7s| 12000 | 127 |225520 | 18.8 |8939k| 44 | 20 | 231 |8048 | 231 |2453 | 17 |7573 |2691 | 0.000000e+00 | -- | Inf
43.88/43.97 c 44.0s| 12100 | 125 |227418 | 18.8 |8955k| 44 | 40 | 231 |8099 | 231 |2453 | 17 |7639 |2691 | 0.000000e+00 | -- | Inf
44.18/44.21 c 44.2s| 12200 | 133 |229220 | 18.8 |8991k| 44 | 31 | 231 |8138 | 231 |2453 | 17 |7689 |2691 | 0.000000e+00 | -- | Inf
44.38/44.43 c 44.4s| 12300 | 137 |230773 | 18.8 |9017k| 44 | 33 | 231 |8188 | 231 |2453 | 17 |7742 |2691 | 0.000000e+00 | -- | Inf
44.58/44.64 c 44.6s| 12400 | 138 |232291 | 18.7 |9042k| 44 | 26 | 231 |8238 | 231 |2453 | 17 |7800 |2691 | 0.000000e+00 | -- | Inf
44.78/44.85 c 44.8s| 12500 | 140 |233801 | 18.7 |9065k| 44 | 28 | 231 |8282 | 231 |2453 | 17 |7856 |2691 | 0.000000e+00 | -- | Inf
44.98/45.06 c 45.1s| 12600 | 138 |235342 | 18.7 |9087k| 44 | - | 231 |8329 | 231 |2453 | 17 |7917 |2691 | 0.000000e+00 | -- | Inf
45.28/45.31 c 45.3s| 12700 | 138 |237092 | 18.7 |9104k| 44 | 35 | 231 |8376 | 231 |2453 | 17 |7981 |2691 | 0.000000e+00 | -- | Inf
45.48/45.52 c 45.5s| 12800 | 138 |238607 | 18.6 |9123k| 44 | 34 | 231 |8424 | 231 |2453 | 17 |8039 |2691 | 0.000000e+00 | -- | Inf
45.68/45.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.68/45.74 c 45.7s| 12900 | 146 |240130 | 18.6 |9159k| 44 | 12 | 231 |8469 | 231 |2453 | 17 |8090 |2691 | 0.000000e+00 | -- | Inf
45.88/45.96 c 46.0s| 13000 | 147 |241735 | 18.6 |9187k| 44 | - | 231 |8512 | 231 |2453 | 17 |8157 |2691 | 0.000000e+00 | -- | Inf
46.09/46.16 c 46.2s| 13100 | 150 |243179 | 18.6 |9205k| 44 | - | 231 |8535 | 231 |2453 | 17 |8208 |2691 | 0.000000e+00 | -- | Inf
46.28/46.38 c 46.4s| 13200 | 149 |244714 | 18.5 |9221k| 44 | - | 231 |8580 | 231 |2453 | 17 |8258 |2691 | 0.000000e+00 | -- | Inf
46.57/46.64 c 46.6s| 13300 | 146 |246569 | 18.5 |9231k| 44 | 33 | 231 |8611 | 231 |2453 | 17 |8312 |2691 | 0.000000e+00 | -- | Inf
46.77/46.89 c 46.9s| 13400 | 152 |248454 | 18.5 |9265k| 44 | 28 | 231 |8641 | 231 |2453 | 17 |8366 |2691 | 0.000000e+00 | -- | Inf
47.08/47.15 c 47.1s| 13500 | 157 |250388 | 18.5 |9283k| 44 | - | 231 |8650 | 231 |2453 | 17 |8416 |2691 | 0.000000e+00 | -- | Inf
47.28/47.39 c 47.4s| 13600 | 165 |252200 | 18.5 |9309k| 44 | - | 231 |8660 | 231 |2453 | 17 |8467 |2691 | 0.000000e+00 | -- | Inf
47.57/47.63 c 47.6s| 13700 | 170 |253975 | 18.5 |9334k| 44 | 41 | 231 |8696 | 231 |2453 | 17 |8517 |2691 | 0.000000e+00 | -- | Inf
47.78/47.88 c 47.9s| 13800 | 169 |255915 | 18.5 |9348k| 44 | - | 231 |8713 | 231 |2453 | 17 |8563 |2691 | 0.000000e+00 | -- | Inf
48.07/48.11 c 48.1s| 13900 | 168 |257566 | 18.5 |9368k| 44 | - | 231 |8754 | 0 | 0 | 17 |8624 |2691 | 0.000000e+00 | -- | Inf
48.29/48.33 c 48.3s| 14000 | 170 |259124 | 18.5 |9381k| 44 | - | 231 |8772 | 231 |2453 | 17 |8688 |2691 | 0.000000e+00 | -- | Inf
48.48/48.58 c 48.6s| 14100 | 173 |261074 | 18.5 |9400k| 44 | 35 | 231 |8795 | 231 |2453 | 17 |8749 |2691 | 0.000000e+00 | -- | Inf
48.77/48.84 c 48.8s| 14200 | 180 |263120 | 18.5 |9429k| 44 | 38 | 231 |8820 | 231 |2453 | 17 |8799 |2691 | 0.000000e+00 | -- | Inf
49.07/49.11 c 49.1s| 14300 | 181 |265195 | 18.5 |9440k| 44 | 40 | 231 |8848 | 231 |2453 | 17 |8851 |2691 | 0.000000e+00 | -- | Inf
49.28/49.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
49.28/49.36 c 49.4s| 14400 | 178 |266994 | 18.5 |9448k| 44 | 39 | 231 |8865 | 231 |2453 | 17 |8906 |2691 | 0.000000e+00 | -- | Inf
49.57/49.62 c 49.6s| 14500 | 172 |268899 | 18.5 |9446k| 44 | 30 | 231 |8890 | 231 |2453 | 17 |8959 |2691 | 0.000000e+00 | -- | Inf
49.77/49.84 c 49.8s| 14600 | 171 |270409 | 18.5 |9458k| 44 | - | 231 |8914 | 231 |2453 | 17 |9020 |2691 | 0.000000e+00 | -- | Inf
49.98/50.08 c 50.1s| 14700 | 166 |272105 | 18.5 |9453k| 44 | - | 231 |8917 | 231 |2453 | 17 |9073 |2691 | 0.000000e+00 | -- | Inf
50.28/50.35 c 50.4s| 14800 | 167 |274102 | 18.5 |9449k| 44 | - | 231 |8901 | 231 |2453 | 17 |9131 |2691 | 0.000000e+00 | -- | Inf
50.48/50.60 c 50.6s| 14900 | 171 |275915 | 18.5 |9463k| 44 | 26 | 231 |8908 | 231 |2453 | 17 |9181 |2691 | 0.000000e+00 | -- | Inf
50.78/50.82 c 50.8s| 15000 | 167 |277466 | 18.5 |9471k| 44 | - | 231 |8937 | 231 |2453 | 17 |9253 |2691 | 0.000000e+00 | -- | Inf
50.98/51.04 c 51.0s| 15100 | 166 |279071 | 18.5 |9480k| 44 | - | 231 |8963 | 231 |2453 | 17 |9306 |2691 | 0.000000e+00 | -- | Inf
51.17/51.26 c 51.3s| 15200 | 167 |280573 | 18.5 |9485k| 44 | - | 231 |8975 | 231 |2453 | 17 |9371 |2691 | 0.000000e+00 | -- | Inf
51.47/51.51 c 51.5s| 15300 | 176 |282435 | 18.5 |9506k| 44 | 31 | 231 |8988 | 231 |2453 | 17 |9426 |2691 | 0.000000e+00 | -- | Inf
51.68/51.71 c 51.7s| 15400 | 177 |283854 | 18.4 |9530k| 44 | - | 231 |9032 | 231 |2453 | 17 |9488 |2691 | 0.000000e+00 | -- | Inf
51.88/51.98 c 52.0s| 15500 | 177 |285792 | 18.4 |9541k| 44 | - | 231 |9053 | 231 |2453 | 17 |9544 |2691 | 0.000000e+00 | -- | Inf
52.18/52.24 c 52.2s| 15600 | 187 |287686 | 18.4 |9580k| 44 | - | 231 |9081 | 231 |2453 | 17 |9594 |2691 | 0.000000e+00 | -- | Inf
52.47/52.51 c 52.5s| 15700 | 191 |289748 | 18.4 |9586k| 44 | - | 231 |9074 | 231 |2453 | 17 |9646 |2691 | 0.000000e+00 | -- | Inf
52.68/52.76 c 52.8s| 15800 | 193 |291492 | 18.4 |9605k| 44 | - | 231 |9097 | 231 |2453 | 17 |9698 |2691 | 0.000000e+00 | -- | Inf
52.98/53.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
52.98/53.00 c 53.0s| 15900 | 195 |293365 | 18.4 |9613k| 44 | 27 | 231 |9122 | 231 |2453 | 17 |9761 |2691 | 0.000000e+00 | -- | Inf
53.17/53.25 c 53.3s| 16000 | 196 |295231 | 18.4 |9638k| 44 | - | 231 |9169 | 231 |2453 | 17 |9830 |2691 | 0.000000e+00 | -- | Inf
53.38/53.49 c 53.5s| 16100 | 198 |296971 | 18.4 |9650k| 44 | - | 231 |9187 | 231 |2453 | 17 |9881 |2691 | 0.000000e+00 | -- | Inf
53.68/53.75 c 53.7s| 16200 | 202 |298920 | 18.4 |9668k| 44 | - | 231 |9200 | 231 |2453 | 17 |9936 |2691 | 0.000000e+00 | -- | Inf
53.88/53.99 c 54.0s| 16300 | 201 |300719 | 18.4 |9669k| 44 | - | 231 |9210 | 231 |2453 | 17 |9993 |2691 | 0.000000e+00 | -- | Inf
54.18/54.22 c 54.2s| 16400 | 197 |302459 | 18.4 |9672k| 44 | 36 | 231 |9241 | 231 |2453 | 17 | 10k|2691 | 0.000000e+00 | -- | Inf
54.47/54.50 c 54.5s| 16500 | 201 |304576 | 18.5 |9680k| 44 | 31 | 231 |9258 | 231 |2453 | 17 | 10k|2691 | 0.000000e+00 | -- | Inf
54.67/54.70 c 54.7s| 16600 | 202 |305954 | 18.4 |9707k| 44 | - | 231 |9304 | 231 |2453 | 17 | 10k|2691 | 0.000000e+00 | -- | Inf
54.88/54.95 c 54.9s| 16700 | 206 |307878 | 18.4 |9726k| 44 | - | 231 |9327 | 231 |2453 | 17 | 10k|2691 | 0.000000e+00 | -- | Inf
55.17/55.20 c 55.2s| 16800 | 202 |309685 | 18.4 |9713k| 44 | 34 | 231 |9318 | 231 |2453 | 17 | 10k|2691 | 0.000000e+00 | -- | Inf
55.37/55.43 c 55.4s| 16900 | 203 |311334 | 18.4 |9733k| 44 | 40 | 231 |9354 | 231 |2453 | 17 | 10k|2691 | 0.000000e+00 | -- | Inf
55.57/55.68 c 55.7s| 17000 | 205 |313218 | 18.4 |9746k| 44 | 32 | 231 |9357 | 231 |2453 | 17 | 10k|2691 | 0.000000e+00 | -- | Inf
55.88/55.93 c 55.9s| 17100 | 204 |315025 | 18.4 |9745k| 44 | 25 | 231 |9343 | 231 |2453 | 17 | 10k|2691 | 0.000000e+00 | -- | Inf
56.08/56.18 c 56.2s| 17200 | 201 |316873 | 18.4 |9736k| 44 | 37 | 231 |9338 | 231 |2453 | 17 | 10k|2691 | 0.000000e+00 | -- | Inf
56.38/56.46 c 56.5s| 17300 | 205 |318965 | 18.4 |9755k| 44 | - | 231 |9336 | 231 |2453 | 17 | 10k|2691 | 0.000000e+00 | -- | Inf
56.68/56.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.68/56.70 c 56.7s| 17400 | 202 |320725 | 18.4 |9758k| 44 | - | 231 |9366 | 231 |2453 | 17 | 10k|2691 | 0.000000e+00 | -- | Inf
56.87/56.97 c 57.0s| 17500 | 200 |322847 | 18.4 |9757k| 44 | - | 231 |9375 | 231 |2453 | 17 | 10k|2691 | 0.000000e+00 | -- | Inf
57.18/57.20 c 57.2s| 17600 | 202 |324418 | 18.4 |9767k| 44 | 21 | 231 |9402 | 231 |2453 | 17 | 10k|2691 | 0.000000e+00 | -- | Inf
57.37/57.41 c 57.4s| 17700 | 205 |325912 | 18.4 |9793k| 44 | 33 | 231 |9441 | 231 |2453 | 17 | 10k|2691 | 0.000000e+00 | -- | Inf
57.58/57.62 c 57.6s| 17800 | 204 |327367 | 18.4 |9811k| 44 | - | 231 |9479 | 231 |2453 | 17 | 10k|2691 | 0.000000e+00 | -- | Inf
57.78/57.87 c 57.9s| 17900 | 200 |329100 | 18.4 |9800k| 45 | 40 | 231 |9491 | 231 |2453 | 17 | 10k|2691 | 0.000000e+00 | -- | Inf
57.98/58.09 c 58.1s| 18000 | 198 |330687 | 18.4 |9814k| 45 | - | 231 |9516 | 231 |2453 | 17 | 10k|2691 | 0.000000e+00 | -- | Inf
58.28/58.34 c 58.3s| 18100 | 196 |332381 | 18.4 |9816k| 45 | 21 | 231 |9538 | 231 |2453 | 17 | 10k|2691 | 0.000000e+00 | -- | Inf
58.47/58.58 c 58.6s| 18200 | 196 |334178 | 18.4 |9835k| 45 | 30 | 231 |9563 | 231 |2453 | 17 | 11k|2691 | 0.000000e+00 | -- | Inf
58.78/58.80 c 58.8s| 18300 | 200 |335668 | 18.3 |9851k| 45 | 24 | 231 |9577 | 231 |2453 | 17 | 11k|2691 | 0.000000e+00 | -- | Inf
58.97/59.01 c 59.0s| 18400 | 206 |337253 | 18.3 |9882k| 45 | - | 231 |9606 | 231 |2453 | 17 | 11k|2691 | 0.000000e+00 | -- | Inf
59.18/59.23 c 59.2s| 18500 | 205 |338821 | 18.3 |9885k| 45 | 23 | 231 |9624 | 231 |2453 | 17 | 11k|2691 | 0.000000e+00 | -- | Inf
59.38/59.48 c 59.5s| 18600 | 213 |340676 | 18.3 |9907k| 45 | 36 | 231 |9629 | 231 |2453 | 17 | 11k|2691 | 0.000000e+00 | -- | Inf
59.67/59.76 c 59.8s| 18700 | 219 |342791 | 18.3 |9932k| 45 | 44 | 231 |9642 | 231 |2453 | 17 | 11k|2691 | 0.000000e+00 | -- | Inf
59.98/60.04 c 60.0s| 18800 | 233 |345053 | 18.3 |9972k| 45 | - | 231 |9636 | 231 |2453 | 17 | 11k|2691 | 0.000000e+00 | -- | Inf
60.27/60.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.27/60.32 c 60.3s| 18900 | 232 |347144 | 18.4 |9969k| 48 | - | 231 |9633 | 231 |2453 | 17 | 11k|2691 | 0.000000e+00 | -- | Inf
60.48/60.57 c 60.6s| 19000 | 240 |349121 | 18.4 |9990k| 48 | 35 | 231 |9643 | 231 |2453 | 17 | 11k|2691 | 0.000000e+00 | -- | Inf
60.78/60.82 c 60.8s| 19100 | 238 |350919 | 18.4 |9995k| 48 | - | 231 |9656 | 231 |2453 | 17 | 11k|2691 | 0.000000e+00 | -- | Inf
61.07/61.10 c 61.1s| 19200 | 240 |353068 | 18.4 |9999k| 49 | 22 | 231 |9662 | 231 |2453 | 17 | 11k|2691 | 0.000000e+00 | -- | Inf
61.27/61.37 c 61.4s| 19300 | 241 |355139 | 18.4 | 10M| 51 | 37 | 231 |9671 | 231 |2453 | 17 | 11k|2691 | 0.000000e+00 | -- | Inf
61.58/61.63 c 61.6s| 19400 | 243 |357023 | 18.4 | 10M| 51 | 35 | 231 |9687 | 231 |2453 | 17 | 11k|2691 | 0.000000e+00 | -- | Inf
61.88/61.90 c 61.9s| 19500 | 241 |359099 | 18.4 | 10M| 51 | - | 231 |9699 | 231 |2453 | 17 | 11k|2691 | 0.000000e+00 | -- | Inf
62.07/62.14 c 62.1s| 19600 | 242 |360906 | 18.4 | 10M| 51 | 35 | 231 |9717 | 231 |2453 | 17 | 11k|2691 | 0.000000e+00 | -- | Inf
62.27/62.39 c 62.4s| 19700 | 240 |362593 | 18.4 | 10M| 51 | 39 | 231 |9745 | 231 |2453 | 17 | 11k|2691 | 0.000000e+00 | -- | Inf
62.58/62.66 c 62.7s| 19800 | 238 |364612 | 18.4 | 10M| 51 | 25 | 231 |9702 | 231 |2453 | 17 | 11k|2691 | 0.000000e+00 | -- | Inf
62.87/62.91 c 62.9s| 19900 | 242 |366442 | 18.4 | 10M| 51 | - | 231 |9681 | 0 | 0 | 17 | 11k|2691 | 0.000000e+00 | -- | Inf
63.07/63.16 c 63.2s| 20000 | 240 |368269 | 18.4 | 10M| 51 | 38 | 231 |9690 | 231 |2453 | 17 | 12k|2691 | 0.000000e+00 | -- | Inf
63.27/63.38 c 63.4s| 20100 | 240 |369855 | 18.4 | 10M| 51 | - | 231 |9682 | 231 |2453 | 17 | 12k|2691 | 0.000000e+00 | -- | Inf
63.58/63.62 c 63.6s| 20200 | 243 |371668 | 18.4 | 10M| 51 | 35 | 231 |9700 | 231 |2453 | 17 | 12k|2691 | 0.000000e+00 | -- | Inf
63.78/63.86 c 63.9s| 20300 | 243 |373422 | 18.4 | 10M| 51 | 25 | 231 |9709 | 231 |2453 | 17 | 12k|2691 | 0.000000e+00 | -- | Inf
64.07/64.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.07/64.10 c 64.1s| 20400 | 239 |375139 | 18.4 | 10M| 51 | - | 231 |9754 | 231 |2453 | 17 | 12k|2691 | 0.000000e+00 | -- | Inf
64.28/64.33 c 64.3s| 20500 | 236 |376854 | 18.4 | 10M| 51 | 41 | 231 |9762 | 231 |2453 | 17 | 12k|2691 | 0.000000e+00 | -- | Inf
64.47/64.56 c 64.6s| 20600 | 237 |378443 | 18.4 | 10M| 51 | - | 231 |9803 | 231 |2453 | 17 | 12k|2691 | 0.000000e+00 | -- | Inf
64.78/64.81 c 64.8s| 20700 | 236 |380345 | 18.4 | 10M| 51 | - | 231 |9814 | 231 |2453 | 17 | 12k|2691 | 0.000000e+00 | -- | Inf
64.98/65.07 c 65.1s| 20800 | 236 |382279 | 18.4 | 10M| 51 | - | 231 |9796 | 231 |2453 | 17 | 12k|2691 | 0.000000e+00 | -- | Inf
65.27/65.33 c 65.3s| 20900 | 242 |384100 | 18.4 | 10M| 51 | - | 231 |9799 | 0 | 0 | 17 | 12k|2691 | 0.000000e+00 | -- | Inf
65.48/65.57 c 65.6s| 21000 | 242 |385863 | 18.4 | 10M| 51 | - | 231 |9804 | 231 |2453 | 17 | 12k|2691 | 0.000000e+00 | -- | Inf
65.77/65.84 c 65.8s| 21100 | 246 |387849 | 18.4 | 10M| 51 | 36 | 231 |9785 | 231 |2453 | 17 | 12k|2691 | 0.000000e+00 | -- | Inf
65.98/66.09 c 66.1s| 21200 | 242 |389625 | 18.4 | 10M| 51 | 35 | 231 |9802 | 231 |2453 | 17 | 12k|2691 | 0.000000e+00 | -- | Inf
66.27/66.34 c 66.3s| 21300 | 242 |391522 | 18.4 | 10M| 51 | - | 231 |9815 | 231 |2453 | 17 | 12k|2691 | 0.000000e+00 | -- | Inf
66.57/66.60 c 66.6s| 21400 | 244 |393473 | 18.4 | 10M| 51 | 27 | 231 |9830 | 231 |2453 | 17 | 12k|2691 | 0.000000e+00 | -- | Inf
66.78/66.88 c 66.9s| 21500 | 241 |395481 | 18.4 | 10M| 51 | 37 | 231 |9810 | 231 |2453 | 17 | 12k|2691 | 0.000000e+00 | -- | Inf
67.08/67.13 c 67.1s| 21600 | 242 |397341 | 18.4 | 10M| 51 | 39 | 231 |9815 | 231 |2453 | 17 | 12k|2691 | 0.000000e+00 | -- | Inf
67.27/67.37 c 67.4s| 21700 | 244 |399127 | 18.4 | 10M| 51 | - | 231 |9860 | 231 |2453 | 17 | 12k|2691 | 0.000000e+00 | -- | Inf
67.57/67.60 c 67.6s| 21800 | 253 |400732 | 18.4 | 10M| 51 | - | 231 |9911 | 0 | 0 | 17 | 13k|2691 | 0.000000e+00 | -- | Inf
67.77/67.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
67.77/67.81 c 67.8s| 21900 | 254 |402216 | 18.4 | 10M| 51 | 36 | 231 |9975 | 231 |2453 | 17 | 13k|2691 | 0.000000e+00 | -- | Inf
67.97/68.05 c 68.0s| 22000 | 255 |403909 | 18.4 | 10M| 51 | 33 | 231 | 10k| 231 |2453 | 17 | 13k|2691 | 0.000000e+00 | -- | Inf
68.18/68.25 c 68.2s| 22100 | 249 |405298 | 18.3 | 10M| 51 | - | 231 | 10k| 231 |2453 | 17 | 13k|2691 | 0.000000e+00 | -- | Inf
68.38/68.49 c 68.5s| 22200 | 247 |407027 | 18.3 | 10M| 51 | 34 | 231 | 10k| 231 |2453 | 17 | 13k|2691 | 0.000000e+00 | -- | Inf
68.68/68.75 c 68.7s| 22300 | 247 |408959 | 18.3 | 10M| 51 | - | 231 | 10k| 231 |2453 | 17 | 13k|2691 | 0.000000e+00 | -- | Inf
68.87/68.98 c 69.0s| 22400 | 244 |410577 | 18.3 | 10M| 51 | - | 231 | 10k| 231 |2453 | 17 | 13k|2691 | 0.000000e+00 | -- | Inf
69.18/69.21 c 69.2s| 22500 | 240 |412180 | 18.3 | 10M| 51 | - | 231 | 10k| 231 |2453 | 17 | 13k|2691 | 0.000000e+00 | -- | Inf
69.47/69.50 c 69.5s| 22600 | 243 |413785 | 18.3 | 10M| 51 | 35 | 231 | 10k| 231 |2453 | 17 | 13k|2704 | 0.000000e+00 | -- | Inf
69.67/69.79 c 69.8s| 22700 | 240 |415495 | 18.3 | 10M| 51 | - | 231 | 10k| 231 |2453 | 17 | 13k|2714 | 0.000000e+00 | -- | Inf
69.97/70.09 c 70.1s| 22800 | 242 |417191 | 18.3 | 10M| 51 | 26 | 231 | 10k| 231 |2453 | 17 | 13k|2728 | 0.000000e+00 | -- | Inf
70.27/70.38 c 70.4s| 22900 | 239 |419074 | 18.3 | 10M| 51 | - | 231 |9992 | 231 |2453 | 17 | 13k|2735 | 0.000000e+00 | -- | Inf
70.68/70.70 c 70.7s| 23000 | 241 |420900 | 18.3 | 10M| 51 | - | 231 |9929 | 231 |2453 | 17 | 13k|2747 | 0.000000e+00 | -- | Inf
70.97/71.09 c 71.1s| 23100 | 241 |422996 | 18.3 | 10M| 51 | - | 231 |9804 | 231 |2453 | 17 | 13k|2768 | 0.000000e+00 | -- | Inf
71.27/71.39 c 71.4s| 23200 | 243 |424791 | 18.3 | 10M| 51 | 16 | 231 |9762 | 231 |2453 | 17 | 13k|2779 | 0.000000e+00 | -- | Inf
71.58/71.65 c 71.7s| 23300 | 243 |426402 | 18.3 | 10M| 51 | 40 | 231 |9752 | 231 |2453 | 17 | 13k|2786 | 0.000000e+00 | -- | Inf
71.87/71.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.87/71.95 c 71.9s| 23400 | 246 |428239 | 18.3 | 10M| 51 | - | 231 |9779 | 231 |2453 | 17 | 14k|2799 | 0.000000e+00 | -- | Inf
72.17/72.24 c 72.2s| 23500 | 251 |430083 | 18.3 | 10M| 51 | 34 | 231 |9822 | 231 |2453 | 17 | 14k|2812 | 0.000000e+00 | -- | Inf
72.47/72.52 c 72.5s| 23600 | 252 |431683 | 18.3 | 10M| 51 | - | 231 |9872 | 231 |2453 | 17 | 14k|2827 | 0.000000e+00 | -- | Inf
72.67/72.79 c 72.8s| 23700 | 250 |433313 | 18.3 | 10M| 51 | 36 | 231 |9927 | 231 |2453 | 17 | 14k|2839 | 0.000000e+00 | -- | Inf
73.07/73.12 c 73.1s| 23800 | 250 |435223 | 18.3 | 10M| 51 | 40 | 231 |9941 | 231 |2453 | 17 | 14k|2854 | 0.000000e+00 | -- | Inf
73.37/73.45 c 73.4s| 23900 | 252 |437280 | 18.3 | 10M| 51 | - | 231 |9985 | 231 |2453 | 17 | 14k|2869 | 0.000000e+00 | -- | Inf
73.68/73.75 c 73.7s| 24000 | 252 |439018 | 18.3 | 10M| 51 | - | 231 | 10k| 231 |2453 | 17 | 14k|2888 | 0.000000e+00 | -- | Inf
73.97/74.07 c 74.1s| 24100 | 250 |441104 | 18.3 | 10M| 51 | 33 | 231 | 10k| 231 |2453 | 17 | 14k|2901 | 0.000000e+00 | -- | Inf
74.27/74.36 c 74.4s| 24200 | 251 |443181 | 18.3 | 10M| 51 | 37 | 231 | 10k| 231 |2453 | 17 | 14k|2907 | 0.000000e+00 | -- | Inf
74.57/74.64 c 74.6s| 24300 | 250 |444883 | 18.3 | 10M| 51 | 36 | 231 | 10k| 231 |2453 | 17 | 14k|2918 | 0.000000e+00 | -- | Inf
74.87/74.91 c 74.9s| 24400 | 248 |446691 | 18.3 | 10M| 51 | 28 | 231 | 10k| 231 |2453 | 17 | 14k|2924 | 0.000000e+00 | -- | Inf
75.17/75.20 c 75.2s| 24500 | 246 |448328 | 18.3 | 10M| 51 | 32 | 231 | 10k| 231 |2453 | 17 | 14k|2938 | 0.000000e+00 | -- | Inf
75.37/75.47 c 75.5s| 24600 | 244 |450081 | 18.3 | 10M| 51 | - | 231 | 10k| 231 |2453 | 17 | 14k|2943 | 0.000000e+00 | -- | Inf
75.67/75.70 c 75.7s| 24700 | 247 |451689 | 18.3 | 10M| 51 | - | 231 |9971 | 231 |2453 | 17 | 14k|2945 | 0.000000e+00 | -- | Inf
75.88/75.95 c 75.9s| 24800 | 249 |453406 | 18.3 | 10M| 51 | - | 231 |9976 | 231 |2453 | 17 | 14k|2947 | 0.000000e+00 | -- | Inf
76.17/76.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.17/76.20 c 76.2s| 24900 | 251 |455355 | 18.3 | 10M| 51 | 29 | 231 |9981 | 231 |2453 | 17 | 15k|2948 | 0.000000e+00 | -- | Inf
76.37/76.46 c 76.5s| 25000 | 245 |457283 | 18.3 | 10M| 51 | - | 231 |9989 | 231 |2453 | 17 | 15k|2948 | 0.000000e+00 | -- | Inf
76.57/76.69 c 76.7s| 25100 | 247 |459028 | 18.3 | 10M| 51 | - | 231 |9999 | 231 |2453 | 17 | 15k|2948 | 0.000000e+00 | -- | Inf
76.88/76.96 c 77.0s| 25200 | 247 |461081 | 18.3 | 10M| 51 | 32 | 231 | 10k| 231 |2453 | 17 | 15k|2948 | 0.000000e+00 | -- | Inf
77.17/77.22 c 77.2s| 25300 | 243 |462899 | 18.3 | 10M| 51 | - | 231 | 10k| 231 |2453 | 17 | 15k|2948 | 0.000000e+00 | -- | Inf
77.37/77.49 c 77.5s| 25400 | 245 |464960 | 18.3 | 10M| 51 | - | 231 | 10k| 231 |2453 | 17 | 15k|2948 | 0.000000e+00 | -- | Inf
77.77/77.80 c 77.8s| 25500 | 248 |467223 | 18.3 | 10M| 51 | - | 231 |9944 | 231 |2453 | 17 | 15k|2949 | 0.000000e+00 | -- | Inf
77.98/78.04 c 78.0s| 25600 | 251 |469016 | 18.3 | 10M| 51 | 35 | 231 |9940 | 231 |2453 | 17 | 15k|2949 | 0.000000e+00 | -- | Inf
78.27/78.30 c 78.3s| 25700 | 250 |470897 | 18.3 | 10M| 51 | - | 231 |9941 | 231 |2453 | 17 | 15k|2949 | 0.000000e+00 | -- | Inf
78.47/78.53 c 78.5s| 25800 | 252 |472577 | 18.3 | 10M| 51 | - | 231 |9945 | 231 |2453 | 17 | 15k|2949 | 0.000000e+00 | -- | Inf
78.77/78.80 c 78.8s| 25900 | 256 |474530 | 18.3 | 10M| 51 | 15 | 231 |9945 | 231 |2453 | 17 | 15k|2949 | 0.000000e+00 | -- | Inf
78.97/79.05 c 79.1s| 26000 | 255 |476386 | 18.3 | 10M| 51 | - | 231 |9988 | 231 |2453 | 17 | 15k|2950 | 0.000000e+00 | -- | Inf
79.28/79.35 c 79.3s| 26100 | 253 |478297 | 18.3 | 10M| 51 | - | 231 |9992 | 231 |2453 | 17 | 15k|2959 | 0.000000e+00 | -- | Inf
79.57/79.66 c 79.7s| 26200 | 249 |480155 | 18.3 | 10M| 51 | - | 231 |9964 | 0 | 0 | 17 | 15k|2970 | 0.000000e+00 | -- | Inf
79.87/79.98 c 80.0s| 26300 | 249 |482075 | 18.3 | 10M| 51 | 38 | 231 |9917 | 231 |2453 | 17 | 15k|2980 | 0.000000e+00 | -- | Inf
80.18/80.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
80.18/80.27 c 80.3s| 26400 | 249 |483823 | 18.3 | 10M| 51 | - | 231 |9854 | 231 |2453 | 17 | 15k|2988 | 0.000000e+00 | -- | Inf
80.47/80.56 c 80.6s| 26500 | 247 |485515 | 18.3 | 10M| 51 | - | 231 |9824 | 231 |2453 | 17 | 15k|2997 | 0.000000e+00 | -- | Inf
80.77/80.89 c 80.9s| 26600 | 245 |487259 | 18.3 | 10M| 51 | 34 | 231 |9750 | 231 |2453 | 17 | 15k|3018 | 0.000000e+00 | -- | Inf
81.07/81.17 c 81.2s| 26700 | 243 |489082 | 18.3 | 10M| 51 | - | 231 |9699 | 231 |2453 | 17 | 16k|3023 | 0.000000e+00 | -- | Inf
81.38/81.47 c 81.5s| 26800 | 242 |490932 | 18.3 | 10M| 51 | 37 | 231 |9575 | 231 |2453 | 17 | 16k|3032 | 0.000000e+00 | -- | Inf
81.77/81.83 c 81.8s| 26900 | 246 |492828 | 18.3 | 10M| 51 | 40 | 231 |9324 | 231 |2453 | 17 | 16k|3052 | 0.000000e+00 | -- | Inf
81.97/82.08 c 82.1s| 27000 | 248 |494393 | 18.3 | 10M| 51 | - | 231 |9330 | 0 | 0 | 17 | 16k|3059 | 0.000000e+00 | -- | Inf
82.27/82.34 c 82.3s| 27100 | 255 |496187 | 18.3 | 10M| 51 | 18 | 231 |9350 | 231 |2453 | 17 | 16k|3066 | 0.000000e+00 | -- | Inf
82.57/82.64 c 82.6s| 27200 | 250 |497944 | 18.3 | 10M| 51 | - | 231 |9390 | 231 |2453 | 17 | 16k|3081 | 0.000000e+00 | -- | Inf
82.87/82.92 c 82.9s| 27300 | 252 |499644 | 18.3 | 10M| 51 | 29 | 231 |9434 | 231 |2453 | 17 | 16k|3092 | 0.000000e+00 | -- | Inf
83.17/83.20 c 83.2s| 27400 | 248 |501226 | 18.3 | 10M| 51 | - | 231 |9496 | 231 |2453 | 17 | 16k|3107 | 0.000000e+00 | -- | Inf
83.48/83.52 c 83.5s| 27500 | 244 |503056 | 18.3 | 10M| 51 | 49 | 231 |9471 | 231 |2453 | 17 | 16k|3119 | 0.000000e+00 | -- | Inf
83.77/83.83 c 83.8s| 27600 | 244 |505051 | 18.3 | 10M| 51 | - | 231 |9509 | 231 |2453 | 17 | 16k|3130 | 0.000000e+00 | -- | Inf
84.07/84.16 c 84.2s| 27700 | 247 |506917 | 18.3 | 10M| 51 | - | 231 |9504 | 231 |2453 | 17 | 16k|3148 | 0.000000e+00 | -- | Inf
84.37/84.41 c 84.4s| 27800 | 247 |508656 | 18.3 | 10M| 51 | 38 | 231 |9503 | 231 |2453 | 17 | 16k|3151 | 0.000000e+00 | -- | Inf
84.58/84.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
84.58/84.70 c 84.7s| 27900 | 237 |510616 | 18.3 | 10M| 51 | - | 231 |9475 | 231 |2453 | 17 | 16k|3156 | 0.000000e+00 | -- | Inf
84.97/85.00 c 85.0s| 28000 | 241 |512693 | 18.3 | 10M| 51 | 40 | 231 |9429 | 231 |2453 | 17 | 16k|3161 | 0.000000e+00 | -- | Inf
85.17/85.28 c 85.3s| 28100 | 243 |514865 | 18.3 | 10M| 51 | 46 | 231 |9423 | 231 |2453 | 17 | 16k|3162 | 0.000000e+00 | -- | Inf
85.47/85.57 c 85.6s| 28200 | 244 |516996 | 18.3 | 10M| 51 | 27 | 231 |9351 | 231 |2453 | 17 | 16k|3164 | 0.000000e+00 | -- | Inf
85.78/85.85 c 85.8s| 28300 | 242 |518978 | 18.3 | 10M| 51 | 39 | 231 |9297 | 231 |2453 | 17 | 17k|3165 | 0.000000e+00 | -- | Inf
86.07/86.14 c 86.1s| 28400 | 240 |521247 | 18.3 | 10M| 51 | - | 231 |9259 | 231 |2453 | 17 | 17k|3166 | 0.000000e+00 | -- | Inf
86.37/86.41 c 86.4s| 28500 | 242 |523201 | 18.4 | 10M| 51 | - | 231 |9219 | 231 |2453 | 17 | 17k|3166 | 0.000000e+00 | -- | Inf
86.57/86.64 c 86.6s| 28600 | 240 |524765 | 18.3 | 10M| 51 | - | 231 |9216 | 231 |2453 | 17 | 17k|3166 | 0.000000e+00 | -- | Inf
86.88/86.92 c 86.9s| 28700 | 241 |526917 | 18.4 | 10M| 51 | 49 | 231 |9204 | 231 |2453 | 17 | 17k|3166 | 0.000000e+00 | -- | Inf
87.17/87.21 c 87.2s| 28800 | 244 |529070 | 18.4 | 10M| 51 | 28 | 231 |9192 | 231 |2453 | 17 | 17k|3166 | 0.000000e+00 | -- | Inf
87.37/87.49 c 87.5s| 28900 | 240 |531152 | 18.4 | 10M| 51 | 43 | 231 |9171 | 231 |2453 | 17 | 17k|3166 | 0.000000e+00 | -- | Inf
87.66/87.76 c 87.8s| 29000 | 238 |533217 | 18.4 | 10M| 51 | - | 231 |9178 | 231 |2453 | 17 | 17k|3166 | 0.000000e+00 | -- | Inf
87.97/88.01 c 88.0s| 29100 | 242 |534942 | 18.4 | 10M| 51 | 38 | 231 |9159 | 231 |2453 | 17 | 17k|3166 | 0.000000e+00 | -- | Inf
88.16/88.26 c 88.3s| 29200 | 240 |536789 | 18.4 | 10M| 51 | 38 | 231 |9175 | 231 |2453 | 17 | 17k|3166 | 0.000000e+00 | -- | Inf
88.47/88.51 c 88.5s| 29300 | 243 |538544 | 18.4 | 10M| 51 | - | 231 |9158 | 231 |2453 | 17 | 17k|3166 | 0.000000e+00 | -- | Inf
88.67/88.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
88.67/88.75 c 88.7s| 29400 | 244 |540242 | 18.4 | 10M| 51 | - | 231 |9165 | 231 |2453 | 17 | 17k|3166 | 0.000000e+00 | -- | Inf
88.98/89.00 c 89.0s| 29500 | 240 |542076 | 18.4 | 10M| 51 | - | 231 |9190 | 231 |2453 | 17 | 17k|3166 | 0.000000e+00 | -- | Inf
89.27/89.31 c 89.3s| 29600 | 240 |543800 | 18.4 | 10M| 51 | 39 | 231 |9226 | 231 |2453 | 17 | 17k|3178 | 0.000000e+00 | -- | Inf
89.56/89.67 c 89.7s| 29700 | 240 |545977 | 18.4 | 10M| 51 | 35 | 231 |9205 | 231 |2453 | 17 | 17k|3191 | 0.000000e+00 | -- | Inf
89.87/89.97 c 90.0s| 29800 | 240 |548121 | 18.4 | 10M| 51 | - | 231 |9088 | 231 |2453 | 17 | 17k|3196 | 0.000000e+00 | -- | Inf
90.17/90.24 c 90.2s| 29900 | 240 |549697 | 18.4 | 10M| 51 | 29 | 231 |9130 | 231 |2453 | 17 | 18k|3206 | 0.000000e+00 | -- | Inf
90.46/90.56 c 90.6s| 30000 | 240 |551625 | 18.4 | 10M| 51 | - | 231 |9134 | 0 | 0 | 17 | 18k|3220 | 0.000000e+00 | -- | Inf
90.77/90.85 c 90.9s| 30100 | 243 |553498 | 18.4 | 10M| 55 | - | 231 |9145 | 231 |2453 | 17 | 18k|3233 | 0.000000e+00 | -- | Inf
91.07/91.14 c 91.1s| 30200 | 239 |555377 | 18.4 | 10M| 60 | - | 231 |9145 | 231 |2453 | 17 | 18k|3241 | 0.000000e+00 | -- | Inf
91.37/91.49 c 91.5s| 30300 | 243 |557664 | 18.4 | 10M| 60 | - | 231 |9152 | 231 |2453 | 17 | 18k|3255 | 0.000000e+00 | -- | Inf
91.77/91.81 c 91.8s| 30400 | 245 |559771 | 18.4 | 10M| 60 | - | 231 |9099 | 231 |2453 | 17 | 18k|3264 | 0.000000e+00 | -- | Inf
92.07/92.15 c 92.1s| 30500 | 245 |561944 | 18.4 | 10M| 60 | 46 | 231 |9102 | 231 |2453 | 17 | 18k|3274 | 0.000000e+00 | -- | Inf
92.38/92.48 c 92.5s| 30600 | 244 |564040 | 18.4 | 10M| 60 | - | 231 |9078 | 231 |2453 | 17 | 18k|3288 | 0.000000e+00 | -- | Inf
92.77/92.81 c 92.8s| 30700 | 239 |566127 | 18.4 | 10M| 60 | - | 231 |9037 | 231 |2453 | 17 | 18k|3299 | 0.000000e+00 | -- | Inf
93.07/93.17 c 93.2s| 30800 | 239 |568449 | 18.5 |9994k| 60 | 21 | 231 |9002 | 231 |2453 | 17 | 18k|3314 | 0.000000e+00 | -- | Inf
93.47/93.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
93.47/93.52 c 93.5s| 30900 | 236 |570456 | 18.5 |9972k| 60 | 36 | 231 |8947 | 231 |2453 | 17 | 18k|3330 | 0.000000e+00 | -- | Inf
93.67/93.78 c 93.8s| 31000 | 234 |572130 | 18.5 |9951k| 60 | 38 | 231 |8908 | 231 |2453 | 17 | 18k|3335 | 0.000000e+00 | -- | Inf
93.96/94.06 c 94.1s| 31100 | 236 |573742 | 18.4 |9926k| 60 | 31 | 231 |8821 | 231 |2453 | 17 | 18k|3346 | 0.000000e+00 | -- | Inf
94.27/94.39 c 94.4s| 31200 | 232 |575899 | 18.5 |9906k| 60 | - | 231 |8777 | 231 |2453 | 17 | 18k|3356 | 0.000000e+00 | -- | Inf
94.67/94.72 c 94.7s| 31300 | 230 |577941 | 18.5 |9852k| 60 | - | 231 |8659 | 231 |2453 | 17 | 18k|3367 | 0.000000e+00 | -- | Inf
94.87/94.97 c 95.0s| 31400 | 228 |579598 | 18.5 |9852k| 60 | - | 231 |8678 | 231 |2453 | 17 | 18k|3370 | 0.000000e+00 | -- | Inf
95.16/95.23 c 95.2s| 31500 | 226 |581397 | 18.5 |9827k| 60 | - | 231 |8617 | 231 |2453 | 17 | 18k|3373 | 0.000000e+00 | -- | Inf
95.36/95.48 c 95.5s| 31600 | 227 |583260 | 18.5 |9825k| 60 | - | 231 |8604 | 231 |2453 | 17 | 19k|3373 | 0.000000e+00 | -- | Inf
95.68/95.76 c 95.8s| 31700 | 226 |585351 | 18.5 |9832k| 60 | 35 | 231 |8639 | 231 |2453 | 17 | 19k|3374 | 0.000000e+00 | -- | Inf
95.97/96.02 c 96.0s| 31800 | 222 |587183 | 18.5 |9833k| 60 | - | 231 |8651 | 231 |2453 | 17 | 19k|3375 | 0.000000e+00 | -- | Inf
96.17/96.26 c 96.3s| 31900 | 225 |588885 | 18.5 |9819k| 60 | - | 231 |8606 | 231 |2453 | 17 | 19k|3376 | 0.000000e+00 | -- | Inf
96.36/96.49 c 96.5s| 32000 | 223 |590495 | 18.4 |9820k| 60 | 42 | 231 |8623 | 231 |2453 | 17 | 19k|3376 | 0.000000e+00 | -- | Inf
96.67/96.74 c 96.7s| 32100 | 224 |592221 | 18.4 |9818k| 60 | - | 231 |8605 | 231 |2453 | 17 | 19k|3379 | 0.000000e+00 | -- | Inf
96.97/97.01 c 97.0s| 32200 | 223 |594275 | 18.5 |9828k| 60 | 43 | 231 |8646 | 231 |2453 | 17 | 19k|3379 | 0.000000e+00 | -- | Inf
97.16/97.25 c 97.3s| 32300 | 221 |596053 | 18.4 |9825k| 60 | 26 | 231 |8639 | 231 |2453 | 17 | 19k|3379 | 0.000000e+00 | -- | Inf
97.47/97.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
97.47/97.52 c 97.5s| 32400 | 217 |597963 | 18.5 |9780k| 60 | 52 | 231 |8567 | 231 |2453 | 17 | 19k|3380 | 0.000000e+00 | -- | Inf
97.78/97.80 c 97.8s| 32500 | 214 |599938 | 18.5 |9772k| 60 | 40 | 231 |8563 | 231 |2453 | 17 | 19k|3383 | 0.000000e+00 | -- | Inf
97.97/98.05 c 98.1s| 32600 | 216 |601740 | 18.5 |9770k| 60 | 32 | 231 |8539 | 231 |2453 | 17 | 19k|3383 | 0.000000e+00 | -- | Inf
98.27/98.30 c 98.3s| 32700 | 216 |603503 | 18.5 |9766k| 60 | 39 | 231 |8534 | 231 |2453 | 17 | 19k|3383 | 0.000000e+00 | -- | Inf
98.47/98.55 c 98.6s| 32800 | 213 |605346 | 18.5 |9765k| 60 | 48 | 231 |8554 | 231 |2453 | 17 | 19k|3383 | 0.000000e+00 | -- | Inf
98.66/98.79 c 98.8s| 32900 | 215 |607111 | 18.4 |9781k| 60 | 20 | 231 |8593 | 231 |2453 | 17 | 19k|3383 | 0.000000e+00 | -- | Inf
98.98/99.04 c 99.0s| 33000 | 215 |608939 | 18.4 |9757k| 60 | - | 231 |8588 | 231 |2453 | 17 | 19k|3383 | 0.000000e+00 | -- | Inf
99.27/99.30 c 99.3s| 33100 | 212 |610763 | 18.4 |9727k| 60 | - | 231 |8530 | 231 |2453 | 17 | 19k|3383 | 0.000000e+00 | -- | Inf
99.47/99.54 c 99.5s| 33200 | 212 |612610 | 18.4 |9733k| 60 | 31 | 231 |8547 | 231 |2453 | 17 | 20k|3383 | 0.000000e+00 | -- | Inf
99.77/99.80 c 99.8s| 33300 | 218 |614505 | 18.4 |9737k| 60 | 37 | 231 |8517 | 231 |2453 | 17 | 20k|3383 | 0.000000e+00 | -- | Inf
100.08/100.11 c 100s| 33400 | 224 |616497 | 18.5 |9761k| 60 | 37 | 231 |8548 | 231 |2453 | 17 | 20k|3392 | 0.000000e+00 | -- | Inf
100.27/100.38 c 100s| 33500 | 224 |618316 | 18.5 |9778k| 60 | - | 231 |8582 | 231 |2453 | 17 | 20k|3399 | 0.000000e+00 | -- | Inf
100.67/100.70 c 101s| 33600 | 223 |620196 | 18.5 |9800k| 60 | - | 231 |8639 | 231 |2453 | 17 | 20k|3414 | 0.000000e+00 | -- | Inf
100.96/101.00 c 101s| 33700 | 225 |622123 | 18.5 |9820k| 60 | 43 | 231 |8684 | 231 |2453 | 17 | 20k|3425 | 0.000000e+00 | -- | Inf
101.27/101.33 c 101s| 33800 | 220 |624120 | 18.5 |9834k| 60 | - | 231 |8738 | 231 |2453 | 17 | 20k|3439 | 0.000000e+00 | -- | Inf
101.56/101.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
101.56/101.66 c 102s| 33900 | 224 |626346 | 18.5 |9854k| 60 | 41 | 231 |8782 | 231 |2453 | 17 | 20k|3448 | 0.000000e+00 | -- | Inf
101.97/102.02 c 102s| 34000 | 222 |628603 | 18.5 |9867k| 60 | 34 | 231 |8831 | 231 |2453 | 17 | 20k|3464 | 0.000000e+00 | -- | Inf
102.27/102.36 c 102s| 34100 | 219 |630844 | 18.5 |9879k| 60 | - | 231 |8879 | 231 |2453 | 17 | 20k|3474 | 0.000000e+00 | -- | Inf
102.56/102.69 c 103s| 34200 | 218 |632810 | 18.5 |9897k| 60 | - | 231 |8929 | 231 |2453 | 17 | 20k|3486 | 0.000000e+00 | -- | Inf
102.87/102.98 c 103s| 34300 | 220 |634503 | 18.5 |9900k| 60 | - | 231 |8905 | 231 |2453 | 17 | 20k|3496 | 0.000000e+00 | -- | Inf
103.28/103.31 c 103s| 34400 | 220 |636663 | 18.5 |9895k| 60 | - | 231 |8872 | 231 |2453 | 17 | 20k|3508 | 0.000000e+00 | -- | Inf
103.57/103.64 c 104s| 34500 | 220 |638853 | 18.5 |9887k| 60 | 31 | 231 |8852 | 231 |2453 | 17 | 20k|3518 | 0.000000e+00 | -- | Inf
103.87/103.96 c 104s| 34600 | 217 |640749 | 18.5 |9887k| 60 | 43 | 231 |8871 | 231 |2453 | 17 | 20k|3531 | 0.000000e+00 | -- | Inf
104.16/104.24 c 104s| 34700 | 217 |642571 | 18.5 |9896k| 60 | - | 231 |8886 | 0 | 0 | 17 | 20k|3539 | 0.000000e+00 | -- | Inf
104.47/104.52 c 105s| 34800 | 216 |644307 | 18.5 |9912k| 60 | 41 | 231 |8954 | 231 |2453 | 17 | 20k|3552 | 0.000000e+00 | -- | Inf
104.76/104.85 c 105s| 34900 | 219 |646292 | 18.5 |9896k| 60 | 30 | 231 |8918 | 231 |2453 | 17 | 21k|3564 | 0.000000e+00 | -- | Inf
105.07/105.19 c 105s| 35000 | 218 |648481 | 18.5 |9888k| 60 | 34 | 231 |8898 | 231 |2453 | 17 | 21k|3578 | 0.000000e+00 | -- | Inf
105.37/105.47 c 105s| 35100 | 220 |650508 | 18.5 |9901k| 60 | 40 | 231 |8897 | 231 |2453 | 17 | 21k|3583 | 0.000000e+00 | -- | Inf
105.66/105.77 c 106s| 35200 | 216 |652402 | 18.5 |9877k| 60 | 44 | 231 |8895 | 231 |2453 | 17 | 21k|3592 | 0.000000e+00 | -- | Inf
105.97/106.07 c 106s| 35300 | 221 |654507 | 18.5 |9876k| 60 | 33 | 231 |8853 | 231 |2453 | 17 | 21k|3600 | 0.000000e+00 | -- | Inf
106.27/106.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
106.27/106.32 c 106s| 35400 | 227 |656369 | 18.5 |9888k| 60 | 33 | 231 |8837 | 231 |2453 | 17 | 21k|3601 | 0.000000e+00 | -- | Inf
106.46/106.54 c 107s| 35500 | 223 |657814 | 18.5 |9897k| 60 | - | 231 |8882 | 231 |2453 | 17 | 21k|3603 | 0.000000e+00 | -- | Inf
106.67/106.77 c 107s| 35600 | 225 |659516 | 18.5 |9917k| 60 | 37 | 231 |8934 | 231 |2453 | 17 | 21k|3603 | 0.000000e+00 | -- | Inf
106.86/106.98 c 107s| 35700 | 226 |660967 | 18.5 |9940k| 60 | 33 | 231 |8984 | 231 |2453 | 17 | 21k|3604 | 0.000000e+00 | -- | Inf
107.17/107.23 c 107s| 35800 | 223 |662804 | 18.5 |9960k| 60 | - | 231 |9048 | 0 | 0 | 17 | 21k|3605 | 0.000000e+00 | -- | Inf
107.37/107.49 c 107s| 35900 | 223 |664715 | 18.5 |9961k| 60 | 34 | 231 |9065 | 231 |2453 | 17 | 21k|3606 | 0.000000e+00 | -- | Inf
107.67/107.72 c 108s| 36000 | 223 |666192 | 18.5 |9963k| 60 | 27 | 231 |9069 | 231 |2453 | 17 | 21k|3610 | 0.000000e+00 | -- | Inf
107.86/107.99 c 108s| 36100 | 222 |668086 | 18.5 |9972k| 60 | 37 | 231 |9081 | 231 |2453 | 17 | 21k|3613 | 0.000000e+00 | -- | Inf
108.17/108.25 c 108s| 36200 | 220 |670054 | 18.5 |9976k| 60 | 26 | 231 |9102 | 231 |2453 | 17 | 21k|3614 | 0.000000e+00 | -- | Inf
108.46/108.54 c 109s| 36300 | 220 |672229 | 18.5 |9982k| 60 | 26 | 231 |9105 | 231 |2453 | 17 | 21k|3614 | 0.000000e+00 | -- | Inf
108.78/108.80 c 109s| 36400 | 216 |674128 | 18.5 |9982k| 60 | - | 231 |9117 | 231 |2453 | 17 | 21k|3614 | 0.000000e+00 | -- | Inf
108.97/109.08 c 109s| 36500 | 220 |676229 | 18.5 |9977k| 60 | - | 231 |9068 | 231 |2453 | 17 | 21k|3614 | 0.000000e+00 | -- | Inf
109.26/109.36 c 109s| 36600 | 222 |678341 | 18.5 |9985k| 60 | - | 231 |9051 | 0 | 0 | 17 | 22k|3614 | 0.000000e+00 | -- | Inf
109.57/109.61 c 110s| 36700 | 225 |680380 | 18.5 |9998k| 60 | - | 231 |9066 | 231 |2453 | 17 | 22k|3614 | 0.000000e+00 | -- | Inf
109.76/109.87 c 110s| 36800 | 225 |682188 | 18.5 |9980k| 60 | 40 | 231 |9037 | 231 |2453 | 17 | 22k|3614 | 0.000000e+00 | -- | Inf
110.07/110.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
110.07/110.13 c 110s| 36900 | 223 |684046 | 18.5 |9982k| 60 | - | 231 |9042 | 231 |2453 | 17 | 22k|3614 | 0.000000e+00 | -- | Inf
110.26/110.38 c 110s| 37000 | 224 |685900 | 18.5 | 10M| 60 | - | 231 |9079 | 231 |2453 | 17 | 22k|3614 | 0.000000e+00 | -- | Inf
110.57/110.63 c 111s| 37100 | 222 |687694 | 18.5 |9988k| 60 | 16 | 231 |9090 | 231 |2453 | 17 | 22k|3614 | 0.000000e+00 | -- | Inf
110.87/110.92 c 111s| 37200 | 216 |689766 | 18.5 |9918k| 60 | 29 | 231 |9002 | 231 |2453 | 17 | 22k|3614 | 0.000000e+00 | -- | Inf
111.07/111.15 c 111s| 37300 | 214 |691359 | 18.5 |9903k| 60 | - | 231 |8967 | 231 |2453 | 17 | 22k|3614 | 0.000000e+00 | -- | Inf
111.47/111.51 c 112s| 37400 | 214 |693387 | 18.5 |9876k| 60 | 36 | 231 |8925 | 231 |2453 | 17 | 22k|3636 | 0.000000e+00 | -- | Inf
111.76/111.82 c 112s| 37500 | 214 |695390 | 18.5 |9876k| 60 | 35 | 231 |8918 | 231 |2453 | 17 | 22k|3646 | 0.000000e+00 | -- | Inf
111.97/112.10 c 112s| 37600 | 214 |697336 | 18.5 |9882k| 60 | - | 231 |8934 | 231 |2453 | 17 | 22k|3649 | 0.000000e+00 | -- | Inf
112.36/112.41 c 112s| 37700 | 216 |699299 | 18.5 |9902k| 60 | 27 | 231 |8974 | 231 |2453 | 17 | 22k|3661 | 0.000000e+00 | -- | Inf
112.67/112.70 c 113s| 37800 | 214 |701157 | 18.5 |9907k| 60 | - | 231 |8981 | 231 |2453 | 17 | 22k|3670 | 0.000000e+00 | -- | Inf
112.87/112.96 c 113s| 37900 | 212 |702886 | 18.5 |9912k| 60 | - | 231 |9000 | 231 |2453 | 17 | 22k|3675 | 0.000000e+00 | -- | Inf
113.17/113.26 c 113s| 38000 | 214 |704431 | 18.5 |9863k| 60 | - | 231 |8940 | 231 |2453 | 17 | 22k|3691 | 0.000000e+00 | -- | Inf
113.46/113.53 c 114s| 38100 | 214 |706041 | 18.5 |9845k| 60 | 45 | 231 |8913 | 231 |2453 | 17 | 22k|3700 | 0.000000e+00 | -- | Inf
113.76/113.80 c 114s| 38200 | 216 |707796 | 18.5 |9856k| 60 | 28 | 231 |8926 | 231 |2453 | 17 | 22k|3706 | 0.000000e+00 | -- | Inf
113.96/114.06 c 114s| 38300 | 212 |709439 | 18.5 |9823k| 60 | - | 231 |8881 | 231 |2453 | 17 | 23k|3713 | 0.000000e+00 | -- | Inf
114.37/114.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
114.37/114.45 c 114s| 38400 | 210 |711613 | 18.5 |9813k| 60 | - | 231 |8866 | 231 |2453 | 17 | 23k|3732 | 0.000000e+00 | -- | Inf
114.56/114.69 c 115s| 38500 | 204 |713306 | 18.5 |9780k| 60 | - | 231 |8809 | 231 |2453 | 17 | 23k|3732 | 0.000000e+00 | -- | Inf
114.86/114.99 c 115s| 38600 | 204 |715287 | 18.5 |9764k| 60 | - | 231 |8756 | 231 |2453 | 17 | 23k|3740 | 0.000000e+00 | -- | Inf
115.27/115.31 c 115s| 38700 | 205 |717152 | 18.5 |9750k| 60 | - | 231 |8721 | 231 |2453 | 17 | 23k|3755 | 0.000000e+00 | -- | Inf
115.57/115.61 c 116s| 38800 | 201 |719121 | 18.5 |9747k| 60 | - | 231 |8727 | 231 |2453 | 17 | 23k|3766 | 0.000000e+00 | -- | Inf
115.86/115.96 c 116s| 38900 | 203 |721150 | 18.5 |9757k| 60 | - | 231 |8726 | 231 |2453 | 17 | 23k|3783 | 0.000000e+00 | -- | Inf
116.16/116.20 c 116s| 39000 | 203 |722908 | 18.5 |9758k| 60 | 42 | 231 |8736 | 231 |2453 | 17 | 23k|3787 | 0.000000e+00 | -- | Inf
116.37/116.48 c 116s| 39100 | 201 |724487 | 18.5 |9763k| 60 | - | 231 |8766 | 231 |2453 | 17 | 23k|3799 | 0.000000e+00 | -- | Inf
116.76/116.81 c 117s| 39200 | 206 |726677 | 18.5 |9781k| 60 | - | 231 |8778 | 231 |2453 | 17 | 23k|3808 | 0.000000e+00 | -- | Inf
117.06/117.12 c 117s| 39300 | 198 |728631 | 18.5 |9780k| 60 | - | 231 |8808 | 231 |2453 | 17 | 23k|3819 | 0.000000e+00 | -- | Inf
117.36/117.43 c 117s| 39400 | 198 |730584 | 18.5 |9779k| 60 | 43 | 231 |8821 | 231 |2453 | 17 | 23k|3831 | 0.000000e+00 | -- | Inf
117.57/117.70 c 118s| 39500 | 200 |732410 | 18.5 |9790k| 60 | - | 231 |8833 | 231 |2453 | 17 | 23k|3838 | 0.000000e+00 | -- | Inf
117.86/117.95 c 118s| 39600 | 198 |734251 | 18.5 |9797k| 60 | - | 231 |8867 | 231 |2453 | 17 | 23k|3839 | 0.000000e+00 | -- | Inf
118.16/118.21 c 118s| 39700 | 201 |736250 | 18.5 |9812k| 60 | - | 231 |8885 | 231 |2453 | 17 | 23k|3839 | 0.000000e+00 | -- | Inf
118.36/118.48 c 118s| 39800 | 198 |738122 | 18.5 |9802k| 60 | - | 231 |8891 | 231 |2453 | 17 | 23k|3841 | 0.000000e+00 | -- | Inf
118.67/118.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
118.67/118.73 c 119s| 39900 | 198 |740019 | 18.5 |9804k| 60 | - | 231 |8893 | 0 | 0 | 17 | 24k|3841 | 0.000000e+00 | -- | Inf
118.97/119.01 c 119s| 40000 | 196 |742107 | 18.5 |9798k| 60 | 22 | 231 |8926 | 231 |2453 | 17 | 24k|3841 | 0.000000e+00 | -- | Inf
119.16/119.29 c 119s| 40100 | 200 |744162 | 18.6 |9807k| 60 | - | 231 |8911 | 231 |2453 | 17 | 24k|3842 | 0.000000e+00 | -- | Inf
119.47/119.53 c 120s| 40200 | 199 |745894 | 18.6 |9803k| 60 | - | 231 |8896 | 231 |2453 | 17 | 24k|3842 | 0.000000e+00 | -- | Inf
119.67/119.79 c 120s| 40300 | 197 |747815 | 18.6 |9807k| 60 | - | 231 |8914 | 231 |2453 | 17 | 24k|3842 | 0.000000e+00 | -- | Inf
119.96/120.05 c 120s| 40400 | 193 |749710 | 18.6 |9789k| 60 | - | 231 |8894 | 231 |2453 | 17 | 24k|3842 | 0.000000e+00 | -- | Inf
120.27/120.30 c 120s| 40500 | 192 |751545 | 18.6 |9786k| 60 | 39 | 231 |8920 | 231 |2453 | 17 | 24k|3842 | 0.000000e+00 | -- | Inf
120.47/120.57 c 121s| 40600 | 195 |753573 | 18.6 |9792k| 60 | 30 | 231 |8913 | 231 |2453 | 17 | 24k|3843 | 0.000000e+00 | -- | Inf
120.77/120.83 c 121s| 40700 | 189 |755490 | 18.6 |9800k| 60 | - | 231 |8953 | 231 |2453 | 17 | 24k|3843 | 0.000000e+00 | -- | Inf
121.06/121.10 c 121s| 40800 | 189 |757520 | 18.6 |9799k| 60 | - | 231 |8973 | 231 |2453 | 17 | 24k|3843 | 0.000000e+00 | -- | Inf
121.27/121.34 c 121s| 40900 | 187 |759247 | 18.6 |9803k| 60 | - | 231 |8992 | 231 |2453 | 17 | 24k|3843 | 0.000000e+00 | -- | Inf
121.57/121.62 c 122s| 41000 | 193 |761405 | 18.6 |9789k| 60 | 31 | 231 |8921 | 231 |2453 | 17 | 24k|3843 | 0.000000e+00 | -- | Inf
121.76/121.86 c 122s| 41100 | 191 |763272 | 18.6 |9800k| 60 | - | 231 |8952 | 231 |2453 | 17 | 24k|3843 | 0.000000e+00 | -- | Inf
122.07/122.14 c 122s| 41200 | 190 |765475 | 18.6 |9811k| 60 | - | 231 |8980 | 231 |2453 | 17 | 24k|3843 | 0.000000e+00 | -- | Inf
122.36/122.42 c 122s| 41300 | 192 |767539 | 18.6 |9799k| 60 | 41 | 231 |8948 | 231 |2453 | 17 | 24k|3843 | 0.000000e+00 | -- | Inf
122.57/122.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
122.57/122.69 c 123s| 41400 | 191 |769621 | 18.6 |9801k| 60 | - | 231 |8947 | 231 |2453 | 17 | 24k|3843 | 0.000000e+00 | -- | Inf
122.86/122.94 c 123s| 41500 | 193 |771550 | 18.6 |9807k| 60 | - | 231 |8953 | 231 |2453 | 17 | 25k|3843 | 0.000000e+00 | -- | Inf
123.07/123.17 c 123s| 41600 | 195 |773194 | 18.6 |9813k| 60 | 25 | 231 |8969 | 231 |2453 | 17 | 25k|3843 | 0.000000e+00 | -- | Inf
123.36/123.42 c 123s| 41700 | 196 |774766 | 18.6 |9826k| 60 | - | 231 |8995 | 231 |2453 | 17 | 25k|3852 | 0.000000e+00 | -- | Inf
123.66/123.73 c 124s| 41800 | 193 |776512 | 18.6 |9826k| 60 | - | 231 |9034 | 231 |2453 | 17 | 25k|3866 | 0.000000e+00 | -- | Inf
123.87/123.98 c 124s| 41900 | 192 |778115 | 18.6 |9804k| 60 | 34 | 231 |8984 | 231 |2453 | 17 | 25k|3871 | 0.000000e+00 | -- | Inf
124.17/124.25 c 124s| 42000 | 192 |779729 | 18.6 |9801k| 60 | - | 231 |8965 | 231 |2453 | 17 | 25k|3882 | 0.000000e+00 | -- | Inf
124.46/124.53 c 125s| 42100 | 198 |781466 | 18.6 |9801k| 60 | 38 | 231 |8923 | 231 |2453 | 17 | 25k|3893 | 0.000000e+00 | -- | Inf
124.67/124.79 c 125s| 42200 | 197 |783084 | 18.6 |9812k| 60 | 34 | 231 |8953 | 231 |2453 | 17 | 25k|3899 | 0.000000e+00 | -- | Inf
124.96/125.06 c 125s| 42300 | 197 |784809 | 18.6 |9842k| 60 | - | 231 |9013 | 0 | 0 | 17 | 25k|3908 | 0.000000e+00 | -- | Inf
125.27/125.35 c 125s| 42400 | 194 |786683 | 18.6 |9848k| 60 | - | 231 |9052 | 231 |2453 | 17 | 25k|3916 | 0.000000e+00 | -- | Inf
125.57/125.62 c 126s| 42500 | 194 |788384 | 18.5 |9856k| 60 | 31 | 231 |9080 | 231 |2453 | 17 | 25k|3927 | 0.000000e+00 | -- | Inf
125.86/125.92 c 126s| 42600 | 189 |790157 | 18.5 |9845k| 60 | - | 231 |9060 | 231 |2453 | 17 | 25k|3937 | 0.000000e+00 | -- | Inf
126.17/126.21 c 126s| 42700 | 187 |791970 | 18.5 |9836k| 60 | - | 231 |9039 | 231 |2453 | 17 | 25k|3946 | 0.000000e+00 | -- | Inf
126.47/126.51 c 127s| 42800 | 182 |793559 | 18.5 |9810k| 60 | - | 231 |9007 | 231 |2453 | 17 | 25k|3959 | 0.000000e+00 | -- | Inf
126.67/126.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
126.67/126.72 c 127s| 42900 | 182 |795022 | 18.5 |9827k| 60 | - | 231 |9055 | 231 |2453 | 17 | 25k|3959 | 0.000000e+00 | -- | Inf
126.96/127.02 c 127s| 43000 | 181 |796845 | 18.5 |9831k| 60 | - | 231 |9074 | 231 |2453 | 17 | 25k|3970 | 0.000000e+00 | -- | Inf
127.27/127.30 c 127s| 43100 | 180 |798736 | 18.5 |9844k| 60 | 39 | 231 |9129 | 231 |2453 | 17 | 25k|3979 | 0.000000e+00 | -- | Inf
127.57/127.61 c 128s| 43200 | 178 |800577 | 18.5 |9850k| 60 | - | 231 |9153 | 231 |2453 | 17 | 26k|3993 | 0.000000e+00 | -- | Inf
127.76/127.89 c 128s| 43300 | 183 |802523 | 18.5 |9881k| 60 | - | 231 |9191 | 231 |2453 | 17 | 26k|3998 | 0.000000e+00 | -- | Inf
128.06/128.19 c 128s| 43400 | 181 |804405 | 18.5 |9890k| 60 | 45 | 231 |9237 | 231 |2453 | 17 | 26k|4008 | 0.000000e+00 | -- | Inf
128.46/128.53 c 129s| 43500 | 182 |806551 | 18.5 |9902k| 60 | 28 | 231 |9258 | 231 |2453 | 17 | 26k|4021 | 0.000000e+00 | -- | Inf
128.77/128.83 c 129s| 43600 | 181 |808554 | 18.5 |9920k| 60 | - | 231 |9318 | 231 |2453 | 17 | 26k|4032 | 0.000000e+00 | -- | Inf
129.06/129.15 c 129s| 43700 | 178 |810537 | 18.5 |9922k| 60 | - | 231 |9340 | 231 |2453 | 17 | 26k|4043 | 0.000000e+00 | -- | Inf
129.37/129.46 c 129s| 43800 | 178 |812437 | 18.5 |9923k| 60 | 31 | 231 |9371 | 231 |2453 | 17 | 26k|4056 | 0.000000e+00 | -- | Inf
129.67/129.78 c 130s| 43900 | 178 |814413 | 18.5 |9936k| 60 | - | 231 |9391 | 231 |2453 | 17 | 26k|4068 | 0.000000e+00 | -- | Inf
129.97/130.02 c 130s| 44000 | 179 |815795 | 18.5 |9939k| 60 | 19 | 231 |9407 | 231 |2453 | 17 | 26k|4075 | 0.000000e+00 | -- | Inf
130.16/130.29 c 130s| 44100 | 176 |817489 | 18.5 |9936k| 60 | 32 | 231 |9422 | 231 |2453 | 17 | 26k|4082 | 0.000000e+00 | -- | Inf
130.46/130.59 c 131s| 44200 | 174 |819521 | 18.5 |9930k| 60 | - | 231 |9399 | 231 |2453 | 17 | 26k|4088 | 0.000000e+00 | -- | Inf
130.77/130.88 c 131s| 44300 | 175 |821616 | 18.5 |9940k| 60 | 30 | 231 |9428 | 231 |2453 | 17 | 26k|4092 | 0.000000e+00 | -- | Inf
131.06/131.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
131.06/131.17 c 131s| 44400 | 172 |823715 | 18.5 |9952k| 60 | - | 231 |9468 | 231 |2453 | 17 | 26k|4094 | 0.000000e+00 | -- | Inf
131.37/131.43 c 131s| 44500 | 170 |825614 | 18.6 |9965k| 60 | - | 231 |9497 | 231 |2453 | 17 | 26k|4097 | 0.000000e+00 | -- | Inf
131.56/131.66 c 132s| 44600 | 173 |827299 | 18.5 |9979k| 60 | 29 | 231 |9543 | 231 |2453 | 17 | 26k|4098 | 0.000000e+00 | -- | Inf
131.87/131.92 c 132s| 44700 | 175 |829109 | 18.5 |9966k| 60 | 39 | 231 |9477 | 231 |2453 | 17 | 26k|4099 | 0.000000e+00 | -- | Inf
132.07/132.15 c 132s| 44800 | 179 |830722 | 18.5 |9961k| 60 | 37 | 231 |9435 | 231 |2453 | 17 | 27k|4100 | 0.000000e+00 | -- | Inf
132.36/132.41 c 132s| 44900 | 175 |832575 | 18.5 |9935k| 60 | - | 231 |9364 | 231 |2453 | 17 | 27k|4100 | 0.000000e+00 | -- | Inf
132.57/132.68 c 133s| 45000 | 181 |834672 | 18.5 |9949k| 60 | 45 | 231 |9367 | 231 |2453 | 17 | 27k|4100 | 0.000000e+00 | -- | Inf
132.86/132.93 c 133s| 45100 | 181 |836395 | 18.5 |9962k| 60 | - | 231 |9391 | 0 | 0 | 17 | 27k|4101 | 0.000000e+00 | -- | Inf
133.07/133.17 c 133s| 45200 | 179 |838073 | 18.5 |9963k| 60 | - | 231 |9412 | 231 |2453 | 17 | 27k|4101 | 0.000000e+00 | -- | Inf
133.37/133.44 c 133s| 45300 | 181 |840077 | 18.5 |9969k| 60 | - | 231 |9427 | 231 |2453 | 17 | 27k|4101 | 0.000000e+00 | -- | Inf
133.66/133.70 c 134s| 45400 | 180 |841997 | 18.5 |9977k| 60 | - | 231 |9460 | 231 |2453 | 17 | 27k|4101 | 0.000000e+00 | -- | Inf
133.86/133.95 c 134s| 45500 | 183 |843842 | 18.5 |9994k| 60 | 33 | 231 |9501 | 231 |2453 | 17 | 27k|4101 | 0.000000e+00 | -- | Inf
134.07/134.20 c 134s| 45600 | 181 |845604 | 18.5 |9956k| 60 | 34 | 231 |9528 | 231 |2453 | 17 | 27k|4102 | 0.000000e+00 | -- | Inf
134.37/134.44 c 134s| 45700 | 179 |847432 | 18.5 |9942k| 60 | 41 | 231 |9509 | 231 |2453 | 17 | 27k|4102 | 0.000000e+00 | -- | Inf
134.56/134.68 c 135s| 45800 | 179 |849116 | 18.5 |9946k| 60 | 35 | 231 |9520 | 231 |2453 | 17 | 27k|4103 | 0.000000e+00 | -- | Inf
134.87/134.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
134.87/134.92 c 135s| 45900 | 178 |850816 | 18.5 |9960k| 60 | - | 231 |9553 | 231 |2453 | 17 | 27k|4103 | 0.000000e+00 | -- | Inf
135.07/135.19 c 135s| 46000 | 184 |852951 | 18.5 |9987k| 60 | - | 231 |9579 | 231 |2453 | 17 | 27k|4103 | 0.000000e+00 | -- | Inf
135.36/135.44 c 135s| 46100 | 184 |854876 | 18.5 |9998k| 60 | 37 | 231 |9613 | 231 |2453 | 17 | 27k|4103 | 0.000000e+00 | -- | Inf
135.67/135.71 c 136s| 46200 | 179 |856941 | 18.5 |9986k| 60 | 40 | 231 |9618 | 231 |2453 | 17 | 27k|4103 | 0.000000e+00 | -- | Inf
135.86/135.97 c 136s| 46300 | 177 |858856 | 18.5 |9989k| 60 | - | 231 |9625 | 231 |2453 | 17 | 27k|4103 | 0.000000e+00 | -- | Inf
136.16/136.20 c 136s| 46400 | 179 |860510 | 18.5 |9993k| 60 | 30 | 231 |9619 | 231 |2453 | 17 | 27k|4103 | 0.000000e+00 | -- | Inf
136.37/136.45 c 136s| 46500 | 177 |862321 | 18.5 |9979k| 60 | 43 | 231 |9601 | 231 |2453 | 17 | 28k|4103 | 0.000000e+00 | -- | Inf
136.66/136.76 c 137s| 46600 | 173 |864065 | 18.5 |9967k| 60 | - | 231 |9598 | 231 |2453 | 17 | 28k|4114 | 0.000000e+00 | -- | Inf
136.96/137.02 c 137s| 46700 | 175 |866073 | 18.5 |9969k| 60 | 48 | 231 |9599 | 231 |2453 | 17 | 28k|4114 | 0.000000e+00 | -- | Inf
137.26/137.33 c 137s| 46800 | 174 |867973 | 18.5 |9998k| 60 | - | 231 |9660 | 231 |2453 | 17 | 28k|4126 | 0.000000e+00 | -- | Inf
137.56/137.61 c 138s| 46900 | 176 |869847 | 18.5 | 10M| 60 | - | 231 |9708 | 231 |2453 | 17 | 28k|4132 | 0.000000e+00 | -- | Inf
137.77/137.87 c 138s| 47000 | 176 |871503 | 18.5 | 10M| 60 | 39 | 231 |9762 | 231 |2453 | 17 | 28k|4141 | 0.000000e+00 | -- | Inf
138.16/138.21 c 138s| 47100 | 172 |873685 | 18.5 | 10M| 60 | - | 231 |9811 | 0 | 0 | 17 | 28k|4152 | 0.000000e+00 | -- | Inf
138.47/138.53 c 139s| 47200 | 170 |875493 | 18.5 | 10M| 60 | 35 | 231 |9819 | 231 |2453 | 17 | 28k|4168 | 0.000000e+00 | -- | Inf
138.66/138.77 c 139s| 47300 | 168 |877158 | 18.5 | 10M| 60 | - | 231 |9813 | 231 |2453 | 17 | 28k|4168 | 0.000000e+00 | -- | Inf
138.96/139.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
138.96/139.05 c 139s| 47400 | 167 |878823 | 18.5 | 10M| 60 | - | 231 |9832 | 231 |2453 | 17 | 28k|4179 | 0.000000e+00 | -- | Inf
139.26/139.35 c 139s| 47500 | 168 |880491 | 18.5 | 10M| 60 | - | 231 |9856 | 0 | 0 | 17 | 28k|4193 | 0.000000e+00 | -- | Inf
139.57/139.63 c 140s| 47600 | 168 |882425 | 18.5 | 10M| 60 | - | 231 |9870 | 231 |2453 | 17 | 28k|4199 | 0.000000e+00 | -- | Inf
139.86/139.91 c 140s| 47700 | 170 |884025 | 18.5 | 10M| 60 | - | 231 |9843 | 231 |2453 | 17 | 28k|4212 | 0.000000e+00 | -- | Inf
140.07/140.15 c 140s| 47800 | 169 |885524 | 18.5 | 10M| 60 | 33 | 231 |9841 | 231 |2453 | 17 | 28k|4217 | 0.000000e+00 | -- | Inf
140.36/140.46 c 140s| 47900 | 170 |887532 | 18.5 | 10M| 60 | 34 | 231 |9786 | 231 |2453 | 17 | 28k|4226 | 0.000000e+00 | -- | Inf
140.66/140.76 c 141s| 48000 | 168 |889463 | 18.5 | 10M| 60 | - | 231 |9770 | 231 |2453 | 17 | 28k|4235 | 0.000000e+00 | -- | Inf
140.97/141.06 c 141s| 48100 | 175 |891436 | 18.5 | 10M| 60 | - | 231 |9788 | 231 |2453 | 17 | 29k|4244 | 0.000000e+00 | -- | Inf
141.26/141.36 c 141s| 48200 | 179 |893316 | 18.5 | 10M| 60 | 37 | 231 |9831 | 231 |2453 | 17 | 29k|4254 | 0.000000e+00 | -- | Inf
141.56/141.68 c 142s| 48300 | 176 |895473 | 18.5 | 10M| 60 | - | 231 |9890 | 231 |2453 | 17 | 29k|4266 | 0.000000e+00 | -- | Inf
141.96/142.00 c 142s| 48400 | 173 |897455 | 18.5 | 10M| 60 | - | 231 |9909 | 231 |2453 | 17 | 29k|4278 | 0.000000e+00 | -- | Inf
142.16/142.29 c 142s| 48500 | 175 |899348 | 18.5 | 10M| 60 | 25 | 231 |9952 | 231 |2453 | 17 | 29k|4287 | 0.000000e+00 | -- | Inf
142.46/142.59 c 143s| 48600 | 176 |901298 | 18.5 | 10M| 60 | 35 | 231 | 10k| 231 |2453 | 17 | 29k|4298 | 0.000000e+00 | -- | Inf
142.76/142.85 c 143s| 48700 | 180 |902983 | 18.5 | 10M| 60 | 30 | 231 | 10k| 231 |2453 | 17 | 29k|4302 | 0.000000e+00 | -- | Inf
142.96/143.07 c 143s| 48800 | 176 |904493 | 18.5 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 29k|4303 | 0.000000e+00 | -- | Inf
143.26/143.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
143.26/143.33 c 143s| 48900 | 176 |906216 | 18.5 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 29k|4309 | 0.000000e+00 | -- | Inf
143.56/143.60 c 144s| 49000 | 180 |908011 | 18.5 | 10M| 60 | 24 | 231 | 10k| 231 |2453 | 17 | 29k|4314 | 0.000000e+00 | -- | Inf
143.76/143.85 c 144s| 49100 | 178 |909822 | 18.5 | 10M| 60 | 34 | 231 | 10k| 231 |2453 | 17 | 29k|4317 | 0.000000e+00 | -- | Inf
144.07/144.11 c 144s| 49200 | 174 |911655 | 18.5 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 29k|4320 | 0.000000e+00 | -- | Inf
144.26/144.35 c 144s| 49300 | 182 |913264 | 18.5 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 29k|4323 | 0.000000e+00 | -- | Inf
144.46/144.59 c 145s| 49400 | 182 |914951 | 18.5 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 29k|4325 | 0.000000e+00 | -- | Inf
144.76/144.83 c 145s| 49500 | 179 |916680 | 18.5 | 10M| 60 | 30 | 231 | 10k| 231 |2453 | 17 | 29k|4325 | 0.000000e+00 | -- | Inf
144.96/145.07 c 145s| 49600 | 176 |918486 | 18.5 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 30k|4325 | 0.000000e+00 | -- | Inf
145.26/145.35 c 145s| 49700 | 181 |920553 | 18.5 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 30k|4325 | 0.000000e+00 | -- | Inf
145.56/145.60 c 146s| 49800 | 189 |922473 | 18.5 | 10M| 60 | 20 | 231 | 10k| 231 |2453 | 17 | 30k|4325 | 0.000000e+00 | -- | Inf
145.77/145.87 c 146s| 49900 | 187 |924485 | 18.5 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 30k|4326 | 0.000000e+00 | -- | Inf
146.06/146.14 c 146s| 50000 | 181 |926514 | 18.5 | 10M| 60 | 46 | 231 | 10k| 231 |2453 | 17 | 30k|4326 | 0.000000e+00 | -- | Inf
146.36/146.40 c 146s| 50100 | 182 |928277 | 18.5 | 10M| 60 | 29 | 231 | 10k| 231 |2453 | 17 | 30k|4330 | 0.000000e+00 | -- | Inf
146.56/146.63 c 147s| 50200 | 180 |929896 | 18.5 | 10M| 60 | - | 231 | 10k| 0 | 0 | 17 | 30k|4330 | 0.000000e+00 | -- | Inf
146.76/146.87 c 147s| 50300 | 182 |931637 | 18.5 | 10M| 60 | 25 | 231 | 10k| 231 |2453 | 17 | 30k|4331 | 0.000000e+00 | -- | Inf
147.06/147.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
147.06/147.10 c 147s| 50400 | 181 |933178 | 18.5 | 10M| 60 | 42 | 231 | 10k| 231 |2453 | 17 | 30k|4331 | 0.000000e+00 | -- | Inf
147.27/147.36 c 147s| 50500 | 184 |934997 | 18.5 | 10M| 60 | 32 | 231 | 10k| 231 |2453 | 17 | 30k|4331 | 0.000000e+00 | -- | Inf
147.56/147.62 c 148s| 50600 | 180 |936927 | 18.5 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 30k|4331 | 0.000000e+00 | -- | Inf
147.76/147.88 c 148s| 50700 | 179 |938725 | 18.5 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 30k|4333 | 0.000000e+00 | -- | Inf
148.06/148.16 c 148s| 50800 | 175 |940860 | 18.5 | 10M| 60 | 42 | 231 | 10k| 231 |2453 | 17 | 30k|4333 | 0.000000e+00 | -- | Inf
148.36/148.44 c 148s| 50900 | 171 |942911 | 18.5 | 10M| 60 | 43 | 231 | 10k| 231 |2453 | 17 | 30k|4333 | 0.000000e+00 | -- | Inf
148.56/148.69 c 149s| 51000 | 171 |944731 | 18.5 | 10M| 60 | 39 | 231 | 10k| 231 |2453 | 17 | 30k|4333 | 0.000000e+00 | -- | Inf
148.86/148.94 c 149s| 51100 | 170 |946651 | 18.5 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 30k|4333 | 0.000000e+00 | -- | Inf
149.16/149.23 c 149s| 51200 | 166 |948852 | 18.5 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 31k|4333 | 0.000000e+00 | -- | Inf
149.47/149.51 c 150s| 51300 | 167 |951021 | 18.5 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 31k|4333 | 0.000000e+00 | -- | Inf
149.76/149.81 c 150s| 51400 | 165 |952599 | 18.5 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 31k|4345 | 0.000000e+00 | -- | Inf
150.06/150.11 c 150s| 51500 | 167 |954532 | 18.5 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 31k|4355 | 0.000000e+00 | -- | Inf
150.36/150.47 c 150s| 51600 | 167 |957005 | 18.5 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 31k|4366 | 0.000000e+00 | -- | Inf
150.76/150.80 c 151s| 51700 | 169 |959275 | 18.6 | 10M| 60 | 38 | 231 | 10k| 231 |2453 | 17 | 31k|4375 | 0.000000e+00 | -- | Inf
151.06/151.13 c 151s| 51800 | 169 |961520 | 18.6 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 31k|4386 | 0.000000e+00 | -- | Inf
151.36/151.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
151.36/151.42 c 151s| 51900 | 172 |963351 | 18.6 | 10M| 60 | - | 231 | 11k| 231 |2453 | 17 | 31k|4393 | 0.000000e+00 | -- | Inf
151.67/151.78 c 152s| 52000 | 169 |965656 | 18.6 | 10M| 60 | - | 231 | 11k| 231 |2453 | 17 | 31k|4409 | 0.000000e+00 | -- | Inf
152.06/152.11 c 152s| 52100 | 167 |967992 | 18.6 | 10M| 60 | - | 231 | 11k| 231 |2453 | 17 | 31k|4421 | 0.000000e+00 | -- | Inf
152.36/152.42 c 152s| 52200 | 164 |970088 | 18.6 | 10M| 60 | - | 231 | 11k| 231 |2453 | 17 | 31k|4428 | 0.000000e+00 | -- | Inf
152.66/152.70 c 153s| 52300 | 166 |971846 | 18.6 | 10M| 60 | 24 | 231 | 11k| 231 |2453 | 17 | 31k|4434 | 0.000000e+00 | -- | Inf
152.96/153.02 c 153s| 52400 | 162 |973929 | 18.6 | 10M| 60 | - | 231 | 11k| 231 |2453 | 17 | 31k|4442 | 0.000000e+00 | -- | Inf
153.26/153.34 c 153s| 52500 | 159 |975856 | 18.6 | 10M| 60 | - | 231 | 11k| 231 |2453 | 17 | 31k|4453 | 0.000000e+00 | -- | Inf
153.56/153.65 c 154s| 52600 | 157 |977756 | 18.6 | 10M| 60 | - | 231 | 11k| 231 |2453 | 17 | 31k|4462 | 0.000000e+00 | -- | Inf
153.86/153.92 c 154s| 52700 | 157 |979537 | 18.6 | 10M| 60 | 22 | 231 | 11k| 231 |2453 | 17 | 31k|4470 | 0.000000e+00 | -- | Inf
154.16/154.23 c 154s| 52800 | 153 |981564 | 18.6 | 10M| 60 | - | 231 | 11k| 231 |2453 | 17 | 31k|4478 | 0.000000e+00 | -- | Inf
154.46/154.57 c 155s| 52900 | 151 |983725 | 18.6 | 10M| 60 | - | 231 | 11k| 231 |2453 | 17 | 32k|4488 | 0.000000e+00 | -- | Inf
154.86/154.90 c 155s| 53000 | 150 |985577 | 18.6 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 32k|4505 | 0.000000e+00 | -- | Inf
155.06/155.18 c 155s| 53100 | 150 |987527 | 18.6 | 10M| 60 | 34 | 231 | 10k| 231 |2453 | 17 | 32k|4508 | 0.000000e+00 | -- | Inf
155.36/155.45 c 155s| 53200 | 149 |989203 | 18.6 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 32k|4516 | 0.000000e+00 | -- | Inf
155.66/155.73 c 156s| 53300 | 151 |991083 | 18.6 | 10M| 60 | 36 | 231 | 10k| 231 |2453 | 17 | 32k|4524 | 0.000000e+00 | -- | Inf
155.96/156.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
155.96/156.03 c 156s| 53400 | 155 |993047 | 18.6 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 32k|4538 | 0.000000e+00 | -- | Inf
156.16/156.29 c 156s| 53500 | 156 |994610 | 18.6 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 32k|4546 | 0.000000e+00 | -- | Inf
156.46/156.54 c 157s| 53600 | 149 |996187 | 18.6 | 10M| 60 | 39 | 231 | 10k| 231 |2453 | 17 | 32k|4553 | 0.000000e+00 | -- | Inf
156.76/156.81 c 157s| 53700 | 148 |997829 | 18.6 | 10M| 60 | 34 | 231 | 10k| 231 |2453 | 17 | 32k|4562 | 0.000000e+00 | -- | Inf
156.96/157.09 c 157s| 53800 | 148 |999509 | 18.6 | 10M| 60 | 35 | 231 | 10k| 231 |2453 | 17 | 32k|4573 | 0.000000e+00 | -- | Inf
157.16/157.30 c 157s| 53900 | 148 | 1000k| 18.6 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 32k|4575 | 0.000000e+00 | -- | Inf
157.46/157.57 c 158s| 54000 | 148 | 1002k| 18.6 | 10M| 60 | 30 | 231 | 10k| 231 |2453 | 17 | 32k|4578 | 0.000000e+00 | -- | Inf
157.76/157.82 c 158s| 54100 | 146 | 1004k| 18.6 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 32k|4581 | 0.000000e+00 | -- | Inf
157.96/158.09 c 158s| 54200 | 146 | 1006k| 18.6 | 10M| 60 | 42 | 231 | 10k| 231 |2453 | 17 | 32k|4582 | 0.000000e+00 | -- | Inf
158.26/158.37 c 158s| 54300 | 142 | 1008k| 18.6 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 32k|4585 | 0.000000e+00 | -- | Inf
158.56/158.65 c 159s| 54400 | 142 | 1010k| 18.6 | 10M| 60 | 42 | 231 | 10k| 231 |2453 | 17 | 33k|4585 | 0.000000e+00 | -- | Inf
158.86/158.92 c 159s| 54500 | 138 | 1012k| 18.6 | 10M| 60 | 39 | 231 | 10k| 231 |2453 | 17 | 33k|4586 | 0.000000e+00 | -- | Inf
159.06/159.16 c 159s| 54600 | 134 | 1014k| 18.6 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 33k|4586 | 0.000000e+00 | -- | Inf
159.37/159.45 c 159s| 54700 | 132 | 1016k| 18.6 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 33k|4587 | 0.000000e+00 | -- | Inf
159.56/159.68 c 160s| 54800 | 136 | 1017k| 18.6 | 10M| 60 | 17 | 231 | 10k| 231 |2453 | 17 | 33k|4587 | 0.000000e+00 | -- | Inf
159.86/159.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
159.86/159.93 c 160s| 54900 | 131 | 1019k| 18.6 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 33k|4587 | 0.000000e+00 | -- | Inf
160.06/160.18 c 160s| 55000 | 131 | 1021k| 18.6 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 33k|4587 | 0.000000e+00 | -- | Inf
160.36/160.45 c 160s| 55100 | 132 | 1023k| 18.6 | 10M| 60 | 34 | 231 | 10k| 231 |2453 | 17 | 33k|4587 | 0.000000e+00 | -- | Inf
160.65/160.73 c 161s| 55200 | 129 | 1025k| 18.6 | 10M| 60 | 37 | 231 | 10k| 231 |2453 | 17 | 33k|4587 | 0.000000e+00 | -- | Inf
160.86/160.96 c 161s| 55300 | 127 | 1027k| 18.6 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 33k|4587 | 0.000000e+00 | -- | Inf
161.16/161.24 c 161s| 55400 | 124 | 1029k| 18.6 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 33k|4587 | 0.000000e+00 | -- | Inf
161.45/161.53 c 162s| 55500 | 128 | 1031k| 18.6 | 10M| 60 | 39 | 231 | 10k| 231 |2453 | 17 | 33k|4587 | 0.000000e+00 | -- | Inf
161.76/161.83 c 162s| 55600 | 126 | 1034k| 18.6 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 33k|4587 | 0.000000e+00 | -- | Inf
162.06/162.11 c 162s| 55700 | 121 | 1036k| 18.6 | 10M| 60 | 42 | 231 | 10k| 231 |2453 | 17 | 33k|4587 | 0.000000e+00 | -- | Inf
162.26/162.37 c 162s| 55800 | 119 | 1038k| 18.6 | 10M| 60 | 42 | 231 | 10k| 231 |2453 | 17 | 33k|4587 | 0.000000e+00 | -- | Inf
162.55/162.63 c 163s| 55900 | 118 | 1040k| 18.6 | 10M| 60 | 41 | 231 | 10k| 231 |2453 | 17 | 33k|4587 | 0.000000e+00 | -- | Inf
162.77/162.88 c 163s| 56000 | 118 | 1042k| 18.6 | 10M| 60 | 40 | 231 | 10k| 231 |2453 | 17 | 33k|4587 | 0.000000e+00 | -- | Inf
163.06/163.14 c 163s| 56100 | 117 | 1043k| 18.6 | 10M| 60 | 34 | 231 | 10k| 231 |2453 | 17 | 34k|4587 | 0.000000e+00 | -- | Inf
163.36/163.40 c 163s| 56200 | 117 | 1045k| 18.6 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 34k|4587 | 0.000000e+00 | -- | Inf
163.56/163.65 c 164s| 56300 | 119 | 1047k| 18.6 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 34k|4587 | 0.000000e+00 | -- | Inf
163.87/163.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
163.87/163.91 c 164s| 56400 | 118 | 1049k| 18.6 | 10M| 60 | 40 | 231 | 10k| 231 |2453 | 17 | 34k|4587 | 0.000000e+00 | -- | Inf
164.15/164.26 c 164s| 56500 | 116 | 1052k| 18.6 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 34k|4597 | 0.000000e+00 | -- | Inf
164.46/164.53 c 165s| 56600 | 116 | 1053k| 18.6 | 10M| 60 | 39 | 231 | 10k| 231 |2453 | 17 | 34k|4603 | 0.000000e+00 | -- | Inf
164.76/164.81 c 165s| 56700 | 116 | 1055k| 18.6 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 34k|4612 | 0.000000e+00 | -- | Inf
165.05/165.10 c 165s| 56800 | 117 | 1057k| 18.6 | 10M| 60 | 35 | 231 | 10k| 231 |2453 | 17 | 34k|4621 | 0.000000e+00 | -- | Inf
165.36/165.41 c 165s| 56900 | 114 | 1059k| 18.6 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 34k|4634 | 0.000000e+00 | -- | Inf
165.55/165.64 c 166s| 57000 | 116 | 1060k| 18.6 | 10M| 60 | 27 | 231 | 10k| 231 |2453 | 17 | 34k|4634 | 0.000000e+00 | -- | Inf
165.86/165.90 c 166s| 57100 | 117 | 1062k| 18.6 | 10M| 60 | 33 | 231 | 10k| 231 |2453 | 17 | 34k|4639 | 0.000000e+00 | -- | Inf
166.16/166.20 c 166s| 57200 | 115 | 1063k| 18.6 | 10M| 60 | 39 | 231 | 10k| 231 |2453 | 17 | 34k|4654 | 0.000000e+00 | -- | Inf
166.35/166.46 c 166s| 57300 | 113 | 1065k| 18.6 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 34k|4654 | 0.000000e+00 | -- | Inf
166.66/166.78 c 167s| 57400 | 107 | 1067k| 18.6 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 34k|4665 | 0.000000e+00 | -- | Inf
166.96/167.05 c 167s| 57500 | 107 | 1069k| 18.6 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 34k|4674 | 0.000000e+00 | -- | Inf
167.25/167.35 c 167s| 57600 | 114 | 1071k| 18.6 | 10M| 60 | - | 231 | 10k| 0 | 0 | 17 | 35k|4683 | 0.000000e+00 | -- | Inf
167.56/167.66 c 168s| 57700 | 111 | 1073k| 18.6 | 10M| 60 | 23 | 231 | 10k| 231 |2453 | 17 | 35k|4692 | 0.000000e+00 | -- | Inf
167.85/167.96 c 168s| 57800 | 113 | 1075k| 18.6 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 35k|4700 | 0.000000e+00 | -- | Inf
168.26/168.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
168.26/168.34 c 168s| 57900 | 113 | 1077k| 18.6 | 10M| 60 | 29 | 231 | 10k| 231 |2453 | 17 | 35k|4710 | 0.000000e+00 | -- | Inf
168.56/168.61 c 169s| 58000 | 114 | 1079k| 18.6 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 35k|4722 | 0.000000e+00 | -- | Inf
168.86/168.92 c 169s| 58100 | 113 | 1081k| 18.6 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 35k|4731 | 0.000000e+00 | -- | Inf
169.16/169.26 c 169s| 58200 | 112 | 1083k| 18.6 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 35k|4742 | 0.000000e+00 | -- | Inf
169.45/169.59 c 170s| 58300 | 115 | 1085k| 18.6 | 10M| 60 | 32 | 231 | 10k| 231 |2453 | 17 | 35k|4753 | 0.000000e+00 | -- | Inf
169.86/169.93 c 170s| 58400 | 112 | 1088k| 18.6 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 35k|4762 | 0.000000e+00 | -- | Inf
170.16/170.27 c 170s| 58500 | 116 | 1090k| 18.6 | 10M| 60 | 39 | 231 | 10k| 231 |2453 | 17 | 35k|4770 | 0.000000e+00 | -- | Inf
170.47/170.55 c 171s| 58600 | 112 | 1092k| 18.6 | 10M| 60 | 33 | 231 | 10k| 231 |2453 | 17 | 35k|4773 | 0.000000e+00 | -- | Inf
170.76/170.82 c 171s| 58700 | 110 | 1094k| 18.6 | 10M| 60 | 35 | 231 | 10k| 231 |2453 | 17 | 35k|4779 | 0.000000e+00 | -- | Inf
170.95/171.09 c 171s| 58800 | 106 | 1096k| 18.6 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 35k|4781 | 0.000000e+00 | -- | Inf
171.26/171.32 c 171s| 58900 | 106 | 1097k| 18.6 | 10M| 60 | 30 | 231 | 10k| 231 |2453 | 17 | 35k|4784 | 0.000000e+00 | -- | Inf
171.46/171.56 c 172s| 59000 | 106 | 1099k| 18.6 | 10M| 60 | 37 | 231 | 10k| 231 |2453 | 17 | 35k|4790 | 0.000000e+00 | -- | Inf
171.76/171.84 c 172s| 59100 | 108 | 1100k| 18.6 | 10M| 60 | 27 | 231 | 10k| 231 |2453 | 17 | 35k|4797 | 0.000000e+00 | -- | Inf
172.06/172.11 c 172s| 59200 | 105 | 1102k| 18.6 | 10M| 60 | - | 231 | 10k| 0 | 0 | 17 | 35k|4800 | 0.000000e+00 | -- | Inf
172.35/172.40 c 172s| 59300 | 105 | 1104k| 18.6 | 10M| 60 | 39 | 231 | 10k| 231 |2453 | 17 | 36k|4802 | 0.000000e+00 | -- | Inf
172.56/172.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
172.56/172.69 c 173s| 59400 | 101 | 1107k| 18.6 | 10M| 60 | 44 | 231 | 10k| 231 |2453 | 17 | 36k|4802 | 0.000000e+00 | -- | Inf
172.86/172.96 c 173s| 59500 | 101 | 1109k| 18.6 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 36k|4804 | 0.000000e+00 | -- | Inf
173.15/173.23 c 173s| 59600 | 100 | 1111k| 18.6 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 36k|4806 | 0.000000e+00 | -- | Inf
173.35/173.47 c 173s| 59700 | 100 | 1112k| 18.6 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 36k|4808 | 0.000000e+00 | -- | Inf
173.66/173.73 c 174s| 59800 | 104 | 1114k| 18.6 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 36k|4810 | 0.000000e+00 | -- | Inf
173.95/174.01 c 174s| 59900 | 106 | 1116k| 18.6 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 36k|4810 | 0.000000e+00 | -- | Inf
174.16/174.28 c 174s| 60000 | 104 | 1118k| 18.6 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 36k|4810 | 0.000000e+00 | -- | Inf
174.46/174.55 c 175s| 60100 | 108 | 1120k| 18.6 | 10M| 60 | 35 | 231 | 10k| 231 |2453 | 17 | 36k|4810 | 0.000000e+00 | -- | Inf
174.76/174.82 c 175s| 60200 | 108 | 1122k| 18.6 | 10M| 60 | 38 | 231 | 10k| 231 |2453 | 17 | 36k|4810 | 0.000000e+00 | -- | Inf
175.05/175.11 c 175s| 60300 | 104 | 1124k| 18.7 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 36k|4810 | 0.000000e+00 | -- | Inf
175.25/175.39 c 175s| 60400 | 102 | 1127k| 18.7 | 10M| 60 | 40 | 231 | 10k| 231 |2453 | 17 | 36k|4810 | 0.000000e+00 | -- | Inf
175.56/175.68 c 176s| 60500 | 98 | 1129k| 18.7 | 10M| 60 | 34 | 231 | 10k| 231 |2453 | 17 | 36k|4810 | 0.000000e+00 | -- | Inf
175.86/175.93 c 176s| 60600 | 96 | 1130k| 18.7 | 10M| 60 | 31 | 231 | 10k| 231 |2453 | 17 | 36k|4810 | 0.000000e+00 | -- | Inf
176.16/176.20 c 176s| 60700 | 90 | 1133k| 18.7 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 36k|4810 | 0.000000e+00 | -- | Inf
176.35/176.45 c 176s| 60800 | 88 | 1134k| 18.7 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 36k|4810 | 0.000000e+00 | -- | Inf
176.65/176.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
176.65/176.70 c 177s| 60900 | 88 | 1136k| 18.7 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 36k|4810 | 0.000000e+00 | -- | Inf
176.85/176.97 c 177s| 61000 | 88 | 1138k| 18.7 | 10M| 60 | 28 | 231 | 10k| 231 |2453 | 17 | 36k|4810 | 0.000000e+00 | -- | Inf
177.16/177.20 c 177s| 61100 | 88 | 1140k| 18.7 | 10M| 60 | 43 | 231 | 10k| 231 |2453 | 17 | 37k|4810 | 0.000000e+00 | -- | Inf
177.36/177.44 c 177s| 61200 | 86 | 1141k| 18.7 | 10M| 60 | 32 | 231 | 10k| 231 |2453 | 17 | 37k|4810 | 0.000000e+00 | -- | Inf
177.55/177.68 c 178s| 61300 | 84 | 1143k| 18.7 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 37k|4810 | 0.000000e+00 | -- | Inf
177.85/177.95 c 178s| 61400 | 83 | 1145k| 18.7 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 37k|4810 | 0.000000e+00 | -- | Inf
178.16/178.26 c 178s| 61500 | 81 | 1147k| 18.7 | 10M| 60 | 35 | 231 | 10k| 231 |2453 | 17 | 37k|4820 | 0.000000e+00 | -- | Inf
178.45/178.56 c 179s| 61600 | 78 | 1149k| 18.7 | 10M| 60 | 36 | 231 | 10k| 231 |2453 | 17 | 37k|4829 | 0.000000e+00 | -- | Inf
178.76/178.85 c 179s| 61700 | 77 | 1151k| 18.7 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 37k|4840 | 0.000000e+00 | -- | Inf
179.05/179.12 c 179s| 61800 | 79 | 1152k| 18.7 | 10M| 60 | - | 231 | 10k| 0 | 0 | 17 | 37k|4850 | 0.000000e+00 | -- | Inf
179.26/179.39 c 179s| 61900 | 77 | 1154k| 18.7 | 10M| 60 | 38 | 231 | 10k| 231 |2453 | 17 | 37k|4850 | 0.000000e+00 | -- | Inf
179.55/179.65 c 180s| 62000 | 79 | 1156k| 18.6 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 37k|4859 | 0.000000e+00 | -- | Inf
179.86/179.94 c 180s| 62100 | 81 | 1158k| 18.7 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 37k|4865 | 0.000000e+00 | -- | Inf
180.15/180.24 c 180s| 62200 | 79 | 1160k| 18.7 | 10M| 60 | 33 | 231 | 10k| 231 |2453 | 17 | 37k|4874 | 0.000000e+00 | -- | Inf
180.45/180.59 c 181s| 62300 | 78 | 1162k| 18.7 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 37k|4888 | 0.000000e+00 | -- | Inf
180.75/180.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
180.75/180.86 c 181s| 62400 | 76 | 1164k| 18.7 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 37k|4892 | 0.000000e+00 | -- | Inf
181.06/181.15 c 181s| 62500 | 80 | 1166k| 18.7 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 37k|4898 | 0.000000e+00 | -- | Inf
181.36/181.41 c 181s| 62600 | 85 | 1167k| 18.7 | 10M| 60 | 30 | 231 | 10k| 231 |2453 | 17 | 37k|4909 | 0.000000e+00 | -- | Inf
181.56/181.66 c 182s| 62700 | 83 | 1169k| 18.7 | 10M| 60 | 33 | 231 | 10k| 231 |2453 | 17 | 37k|4917 | 0.000000e+00 | -- | Inf
181.85/181.91 c 182s| 62800 | 77 | 1171k| 18.6 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 38k|4922 | 0.000000e+00 | -- | Inf
182.16/182.24 c 182s| 62900 | 85 | 1173k| 18.7 | 10M| 60 | 26 | 231 | 10k| 231 |2453 | 17 | 38k|4937 | 0.000000e+00 | -- | Inf
182.46/182.53 c 183s| 63000 | 83 | 1175k| 18.7 | 10M| 60 | 31 | 231 | 11k| 231 |2453 | 17 | 38k|4944 | 0.000000e+00 | -- | Inf
182.65/182.79 c 183s| 63100 | 83 | 1176k| 18.6 | 10M| 60 | - | 231 | 11k| 231 |2453 | 17 | 38k|4949 | 0.000000e+00 | -- | Inf
182.95/183.09 c 183s| 63200 | 77 | 1178k| 18.6 | 10M| 60 | - | 231 | 11k| 231 |2453 | 17 | 38k|4960 | 0.000000e+00 | -- | Inf
183.25/183.36 c 183s| 63300 | 77 | 1180k| 18.6 | 10M| 60 | - | 231 | 11k| 231 |2453 | 17 | 38k|4964 | 0.000000e+00 | -- | Inf
183.56/183.65 c 184s| 63400 | 81 | 1182k| 18.6 | 10M| 60 | 32 | 231 | 11k| 231 |2453 | 17 | 38k|4974 | 0.000000e+00 | -- | Inf
183.86/183.96 c 184s| 63500 | 79 | 1184k| 18.6 | 10M| 60 | - | 231 | 11k| 231 |2453 | 17 | 38k|4982 | 0.000000e+00 | -- | Inf
184.16/184.27 c 184s| 63600 | 77 | 1186k| 18.7 | 10M| 60 | 23 | 231 | 11k| 231 |2453 | 17 | 38k|4990 | 0.000000e+00 | -- | Inf
184.45/184.57 c 185s| 63700 | 80 | 1188k| 18.7 | 10M| 60 | - | 231 | 11k| 231 |2453 | 17 | 38k|5003 | 0.000000e+00 | -- | Inf
184.76/184.84 c 185s| 63800 | 80 | 1189k| 18.6 | 10M| 60 | 38 | 231 | 11k| 231 |2453 | 17 | 38k|5009 | 0.000000e+00 | -- | Inf
185.05/185.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
185.05/185.12 c 185s| 63900 | 78 | 1191k| 18.6 | 10M| 60 | 26 | 231 | 11k| 231 |2453 | 17 | 38k|5015 | 0.000000e+00 | -- | Inf
185.35/185.42 c 185s| 64000 | 80 | 1193k| 18.6 | 10M| 60 | - | 231 | 11k| 231 |2453 | 17 | 38k|5022 | 0.000000e+00 | -- | Inf
185.66/185.71 c 186s| 64100 | 84 | 1195k| 18.7 | 10M| 60 | - | 231 | 11k| 231 |2453 | 17 | 38k|5027 | 0.000000e+00 | -- | Inf
185.86/185.98 c 186s| 64200 | 89 | 1197k| 18.6 | 10M| 60 | - | 231 | 11k| 231 |2453 | 17 | 38k|5037 | 0.000000e+00 | -- | Inf
186.15/186.22 c 186s| 64300 | 86 | 1199k| 18.6 | 10M| 60 | - | 231 | 11k| 231 |2453 | 17 | 38k|5037 | 0.000000e+00 | -- | Inf
186.36/186.47 c 186s| 64400 | 86 | 1200k| 18.6 | 10M| 60 | - | 231 | 11k| 231 |2453 | 17 | 38k|5039 | 0.000000e+00 | -- | Inf
186.65/186.71 c 187s| 64500 | 84 | 1202k| 18.6 | 10M| 60 | - | 231 | 11k| 231 |2453 | 17 | 38k|5039 | 0.000000e+00 | -- | Inf
186.86/186.98 c 187s| 64600 | 88 | 1204k| 18.6 | 10M| 60 | 28 | 231 | 11k| 231 |2453 | 17 | 39k|5041 | 0.000000e+00 | -- | Inf
187.15/187.22 c 187s| 64700 | 85 | 1205k| 18.6 | 10M| 60 | 32 | 231 | 11k| 231 |2453 | 17 | 39k|5043 | 0.000000e+00 | -- | Inf
187.35/187.48 c 187s| 64800 | 87 | 1207k| 18.6 | 10M| 60 | - | 231 | 11k| 231 |2453 | 17 | 39k|5045 | 0.000000e+00 | -- | Inf
187.65/187.75 c 188s| 64900 | 89 | 1209k| 18.6 | 10M| 60 | 35 | 231 | 11k| 231 |2453 | 17 | 39k|5045 | 0.000000e+00 | -- | Inf
187.86/187.99 c 188s| 65000 | 89 | 1211k| 18.6 | 10M| 60 | 39 | 231 | 11k| 231 |2453 | 17 | 39k|5045 | 0.000000e+00 | -- | Inf
188.15/188.24 c 188s| 65100 | 85 | 1213k| 18.6 | 10M| 60 | - | 231 | 11k| 231 |2453 | 17 | 39k|5045 | 0.000000e+00 | -- | Inf
188.35/188.48 c 188s| 65200 | 84 | 1214k| 18.6 | 10M| 60 | - | 231 | 12k| 231 |2453 | 17 | 39k|5046 | 0.000000e+00 | -- | Inf
188.65/188.72 c 189s| 65300 | 86 | 1216k| 18.6 | 10M| 60 | 30 | 231 | 12k| 231 |2453 | 17 | 39k|5047 | 0.000000e+00 | -- | Inf
188.85/188.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
188.85/188.94 c 189s| 65400 | 86 | 1217k| 18.6 | 10M| 60 | 24 | 231 | 12k| 231 |2453 | 17 | 39k|5048 | 0.000000e+00 | -- | Inf
189.06/189.20 c 189s| 65500 | 85 | 1219k| 18.6 | 10M| 60 | 38 | 231 | 12k| 231 |2453 | 17 | 39k|5050 | 0.000000e+00 | -- | Inf
189.36/189.46 c 189s| 65600 | 81 | 1221k| 18.6 | 10M| 60 | - | 231 | 12k| 231 |2453 | 17 | 39k|5051 | 0.000000e+00 | -- | Inf
189.65/189.71 c 190s| 65700 | 79 | 1223k| 18.6 | 10M| 60 | - | 231 | 12k| 231 |2453 | 17 | 39k|5052 | 0.000000e+00 | -- | Inf
189.85/189.93 c 190s| 65800 | 79 | 1224k| 18.6 | 10M| 60 | 35 | 231 | 12k| 231 |2453 | 17 | 39k|5053 | 0.000000e+00 | -- | Inf
190.05/190.17 c 190s| 65900 | 79 | 1226k| 18.6 | 10M| 60 | 23 | 231 | 12k| 231 |2453 | 17 | 39k|5053 | 0.000000e+00 | -- | Inf
190.35/190.45 c 190s| 66000 | 76 | 1228k| 18.6 | 10M| 60 | 37 | 231 | 12k| 231 |2453 | 17 | 39k|5055 | 0.000000e+00 | -- | Inf
190.65/190.70 c 191s| 66100 | 77 | 1229k| 18.6 | 10M| 60 | 28 | 231 | 12k| 231 |2453 | 17 | 39k|5055 | 0.000000e+00 | -- | Inf
190.85/190.96 c 191s| 66200 | 74 | 1231k| 18.6 | 10M| 60 | - | 231 | 12k| 231 |2453 | 17 | 40k|5055 | 0.000000e+00 | -- | Inf
191.15/191.23 c 191s| 66300 | 73 | 1233k| 18.6 | 10M| 60 | 47 | 231 | 12k| 231 |2453 | 17 | 40k|5055 | 0.000000e+00 | -- | Inf
191.45/191.53 c 192s| 66400 | 74 | 1235k| 18.6 | 10M| 60 | 25 | 231 | 12k| 231 |2453 | 17 | 40k|5060 | 0.000000e+00 | -- | Inf
191.65/191.76 c 192s| 66500 | 72 | 1237k| 18.6 | 10M| 60 | 41 | 231 | 12k| 231 |2453 | 17 | 40k|5060 | 0.000000e+00 | -- | Inf
191.95/192.03 c 192s| 66600 | 71 | 1239k| 18.6 | 10M| 60 | 47 | 231 | 12k| 231 |2453 | 17 | 40k|5060 | 0.000000e+00 | -- | Inf
192.25/192.30 c 192s| 66700 | 69 | 1241k| 18.6 | 10M| 60 | - | 231 | 12k| 231 |2453 | 17 | 40k|5061 | 0.000000e+00 | -- | Inf
192.45/192.59 c 193s| 66800 | 65 | 1243k| 18.6 | 10M| 60 | - | 231 | 12k| 231 |2453 | 17 | 40k|5062 | 0.000000e+00 | -- | Inf
192.75/192.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
192.75/192.82 c 193s| 66900 | 66 | 1245k| 18.6 | 10M| 60 | - | 231 | 12k| 0 | 0 | 17 | 40k|5063 | 0.000000e+00 | -- | Inf
193.05/193.11 c 193s| 67000 | 60 | 1247k| 18.6 | 10M| 60 | 39 | 231 | 12k| 231 |2453 | 17 | 40k|5063 | 0.000000e+00 | -- | Inf
193.35/193.40 c 193s| 67100 | 58 | 1249k| 18.6 | 10M| 60 | 40 | 231 | 12k| 231 |2453 | 17 | 40k|5063 | 0.000000e+00 | -- | Inf
193.55/193.64 c 194s| 67200 | 56 | 1251k| 18.6 | 10M| 60 | - | 231 | 11k| 231 |2453 | 17 | 40k|5063 | 0.000000e+00 | -- | Inf
193.85/193.93 c 194s| 67300 | 54 | 1253k| 18.6 | 10M| 60 | 44 | 231 | 11k| 231 |2453 | 17 | 40k|5069 | 0.000000e+00 | -- | Inf
194.15/194.26 c 194s| 67400 | 50 | 1255k| 18.6 | 10M| 60 | 34 | 231 | 11k| 231 |2453 | 17 | 40k|5078 | 0.000000e+00 | -- | Inf
194.45/194.58 c 195s| 67500 | 46 | 1257k| 18.6 | 10M| 60 | 40 | 231 | 11k| 231 |2453 | 17 | 40k|5088 | 0.000000e+00 | -- | Inf
194.75/194.83 c 195s| 67600 | 46 | 1258k| 18.6 | 10M| 60 | - | 231 | 11k| 231 |2453 | 17 | 40k|5094 | 0.000000e+00 | -- | Inf
195.05/195.10 c 195s| 67700 | 46 | 1260k| 18.6 | 10M| 60 | 35 | 231 | 11k| 231 |2453 | 17 | 40k|5100 | 0.000000e+00 | -- | Inf
195.35/195.44 c 195s| 67800 | 46 | 1262k| 18.6 | 10M| 60 | 34 | 231 | 11k| 231 |2453 | 17 | 40k|5115 | 0.000000e+00 | -- | Inf
195.55/195.69 c 196s| 67900 | 44 | 1264k| 18.6 | 10M| 60 | 35 | 231 | 11k| 231 |2453 | 17 | 41k|5115 | 0.000000e+00 | -- | Inf
195.85/195.99 c 196s| 68000 | 42 | 1266k| 18.6 | 10M| 60 | - | 231 | 11k| 231 |2453 | 17 | 41k|5123 | 0.000000e+00 | -- | Inf
196.25/196.31 c 196s| 68100 | 43 | 1268k| 18.6 | 10M| 60 | 32 | 231 | 11k| 231 |2453 | 17 | 41k|5134 | 0.000000e+00 | -- | Inf
196.55/196.60 c 197s| 68200 | 42 | 1269k| 18.6 | 10M| 60 | 33 | 231 | 11k| 231 |2453 | 17 | 41k|5146 | 0.000000e+00 | -- | Inf
196.75/196.84 c 197s| 68300 | 40 | 1271k| 18.6 | 10M| 60 | 31 | 231 | 11k| 231 |2453 | 17 | 41k|5146 | 0.000000e+00 | -- | Inf
197.06/197.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
197.06/197.14 c 197s| 68400 | 36 | 1273k| 18.6 | 10M| 60 | - | 231 | 11k| 231 |2453 | 17 | 41k|5158 | 0.000000e+00 | -- | Inf
197.35/197.43 c 197s| 68500 | 34 | 1274k| 18.6 | 10M| 60 | - | 231 | 11k| 231 |2453 | 17 | 41k|5168 | 0.000000e+00 | -- | Inf
197.55/197.66 c 198s| 68600 | 33 | 1276k| 18.6 | 10M| 60 | - | 231 | 11k| 0 | 0 | 17 | 41k|5168 | 0.000000e+00 | -- | Inf
197.86/197.98 c 198s| 68700 | 39 | 1278k| 18.6 | 10M| 60 | - | 231 | 11k| 231 |2453 | 17 | 41k|5178 | 0.000000e+00 | -- | Inf
198.15/198.25 c 198s| 68800 | 36 | 1280k| 18.6 | 10M| 60 | - | 231 | 11k| 231 |2453 | 17 | 41k|5183 | 0.000000e+00 | -- | Inf
198.45/198.54 c 199s| 68900 | 39 | 1282k| 18.6 | 10M| 60 | 29 | 231 | 11k| 231 |2453 | 17 | 41k|5192 | 0.000000e+00 | -- | Inf
198.76/198.84 c 199s| 69000 | 44 | 1283k| 18.6 | 10M| 60 | 28 | 231 | 11k| 231 |2453 | 17 | 41k|5204 | 0.000000e+00 | -- | Inf
198.96/199.08 c 199s| 69100 | 40 | 1285k| 18.6 | 10M| 60 | - | 231 | 11k| 231 |2453 | 17 | 41k|5206 | 0.000000e+00 | -- | Inf
199.25/199.38 c 199s| 69200 | 38 | 1287k| 18.6 | 10M| 60 | 43 | 231 | 11k| 231 |2453 | 17 | 41k|5216 | 0.000000e+00 | -- | Inf
199.55/199.68 c 200s| 69300 | 34 | 1289k| 18.6 | 10M| 60 | 29 | 231 | 11k| 231 |2453 | 17 | 41k|5225 | 0.000000e+00 | -- | Inf
199.85/199.97 c 200s| 69400 | 30 | 1291k| 18.6 | 10M| 60 | 36 | 231 | 11k| 231 |2453 | 17 | 41k|5234 | 0.000000e+00 | -- | Inf
200.16/200.23 c 200s| 69500 | 30 | 1293k| 18.6 | 10M| 60 | - | 231 | 11k| 231 |2453 | 17 | 42k|5238 | 0.000000e+00 | -- | Inf
200.45/200.50 c 201s| 69600 | 25 | 1294k| 18.6 | 10M| 60 | - | 231 | 11k| 231 |2453 | 17 | 42k|5246 | 0.000000e+00 | -- | Inf
200.75/200.83 c 201s| 69700 | 22 | 1296k| 18.6 | 10M| 60 | - | 231 | 11k| 231 |2453 | 17 | 42k|5254 | 0.000000e+00 | -- | Inf
201.05/201.13 c 201s| 69800 | 18 | 1298k| 18.6 | 10M| 60 | - | 231 | 11k| 231 |2453 | 17 | 42k|5260 | 0.000000e+00 | -- | Inf
201.35/201.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
201.35/201.41 c 201s| 69900 | 19 | 1300k| 18.6 | 10M| 60 | - | 231 | 11k| 231 |2453 | 17 | 42k|5268 | 0.000000e+00 | -- | Inf
201.55/201.68 c 202s| 70000 | 23 | 1302k| 18.6 | 10M| 60 | 18 | 231 | 11k| 231 |2453 | 17 | 42k|5273 | 0.000000e+00 | -- | Inf
201.85/201.94 c 202s| 70100 | 22 | 1304k| 18.6 | 10M| 60 | 37 | 231 | 11k| 231 |2453 | 17 | 42k|5276 | 0.000000e+00 | -- | Inf
202.05/202.17 c 202s| 70200 | 20 | 1305k| 18.6 | 10M| 60 | 28 | 231 | 11k| 231 |2453 | 17 | 42k|5276 | 0.000000e+00 | -- | Inf
202.36/202.45 c 202s| 70300 | 20 | 1308k| 18.6 | 10M| 60 | 35 | 231 | 11k| 231 |2453 | 17 | 42k|5277 | 0.000000e+00 | -- | Inf
202.65/202.73 c 203s| 70400 | 16 | 1310k| 18.6 | 10M| 60 | 40 | 231 | 11k| 231 |2453 | 17 | 42k|5278 | 0.000000e+00 | -- | Inf
202.85/202.98 c 203s| 70500 | 14 | 1311k| 18.6 | 10M| 60 | 48 | 231 | 11k| 231 |2453 | 17 | 42k|5280 | 0.000000e+00 | -- | Inf
203.15/203.27 c 203s| 70600 | 14 | 1313k| 18.6 | 10M| 60 | 24 | 231 | 11k| 231 |2453 | 17 | 42k|5283 | 0.000000e+00 | -- | Inf
203.46/203.54 c 204s| 70700 | 14 | 1315k| 18.6 | 10M| 60 | 40 | 231 | 10k| 231 |2453 | 17 | 42k|5287 | 0.000000e+00 | -- | Inf
203.75/203.80 c 204s| 70800 | 14 | 1317k| 18.6 | 10M| 60 | 44 | 231 | 10k| 231 |2453 | 17 | 42k|5288 | 0.000000e+00 | -- | Inf
203.95/204.05 c 204s| 70900 | 12 | 1319k| 18.6 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 43k|5288 | 0.000000e+00 | -- | Inf
204.15/204.29 c 204s| 71000 | 11 | 1320k| 18.6 | 10M| 60 | 50 | 231 | 10k| 231 |2453 | 17 | 43k|5288 | 0.000000e+00 | -- | Inf
204.46/204.56 c 205s| 71100 | 9 | 1322k| 18.6 | 10M| 60 | - | 231 | 10k| 0 | 0 | 17 | 43k|5289 | 0.000000e+00 | -- | Inf
204.75/204.83 c 205s| 71200 | 6 | 1324k| 18.6 | 10M| 60 | - | 231 | 10k| 231 |2453 | 17 | 43k|5289 | 0.000000e+00 | -- | Inf
204.95/205.07 c 205s| 71300 | 5 | 1326k| 18.6 | 10M| 60 | 51 | 231 | 10k| 231 |2453 | 17 | 43k|5289 | 0.000000e+00 | -- | Inf
205.25/205.35 c
205.25/205.35 c SCIP Status : problem is solved [infeasible]
205.25/205.35 c Solving Time (sec) : 205.34
205.25/205.35 c Solving Nodes : 71399
205.25/205.35 c Primal Bound : +1.00000000000000e+20 (0 solutions)
205.25/205.35 c Dual Bound : +1.00000000000000e+20
205.25/205.35 c Gap : 0.00 %
205.25/205.35 s UNSATISFIABLE
205.25/205.35 c SCIP Status : problem is solved [infeasible]
205.25/205.35 c Total Time : 205.34
205.25/205.35 c solving : 205.34
205.25/205.35 c presolving : 0.05 (included in solving)
205.25/205.35 c reading : 0.01 (included in solving)
205.25/205.35 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
205.25/205.35 c Original Problem :
205.25/205.35 c Problem name : HOME/instance-3691604-1338022339.opb
205.25/205.35 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
205.25/205.35 c Constraints : 2707 initial, 2707 maximal
205.25/205.35 c Objective sense : minimize
205.25/205.35 c Presolved Problem :
205.25/205.35 c Problem name : t_HOME/instance-3691604-1338022339.opb
205.25/205.35 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
205.25/205.35 c Constraints : 2443 initial, 12494 maximal
205.25/205.35 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
205.25/205.35 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
205.25/205.35 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
205.25/205.35 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
205.25/205.35 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
205.25/205.35 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
205.25/205.35 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
205.25/205.35 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
205.25/205.35 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
205.25/205.35 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
205.25/205.35 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
205.25/205.35 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
205.25/205.35 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0
205.25/205.35 c setppc : 0.00 0.00 0 0 0 0 0 121 0 0 0
205.25/205.35 c linear : 0.02 0.00 0 0 0 0 0 143 0 0 0
205.25/205.35 c logicor : 0.02 0.00 0 0 0 0 0 0 0 0 0
205.25/205.35 c root node : - - 21 - - 21 - - - - -
205.25/205.35 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
205.25/205.35 c integral : 0 0 0 0 37174 0 1 0 155 2109 0 0 71898
205.25/205.35 c knapsack : 1 1 5 274969 0 0 0 22060 471 148385 0 0 0
205.25/205.35 c setppc : 22 22 5 274703 0 0 0 789171 1701 384430 0 0 0
205.25/205.35 c linear : 0+ 260 5 182253 0 0 0 489 1 6511 0 0 0
205.25/205.35 c logicor : 2420+ 12470 5 133196 0 0 0 234826 460 456208 0 0 0
205.25/205.35 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
205.25/205.35 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
205.25/205.35 c integral : 24.15 0.00 0.00 0.00 24.15 0.00 0.00 0.00
205.25/205.35 c knapsack : 0.36 0.00 0.00 0.34 0.00 0.00 0.00 0.03
205.25/205.35 c setppc : 1.19 0.00 0.00 0.94 0.00 0.00 0.00 0.25
205.25/205.35 c linear : 0.27 0.00 0.00 0.27 0.00 0.00 0.00 0.00
205.25/205.35 c logicor : 5.08 0.00 0.00 4.87 0.00 0.00 0.00 0.20
205.25/205.35 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
205.25/205.35 c Propagators : #Propagate #ResProp Cutoffs DomReds
205.25/205.35 c rootredcost : 0 0 0 0
205.25/205.35 c pseudoobj : 0 0 0 0
205.25/205.35 c vbounds : 0 0 0 0
205.25/205.35 c redcost : 37179 0 0 0
205.25/205.35 c probing : 0 0 0 0
205.25/205.35 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
205.25/205.35 c rootredcost : 0.07 0.00 0.00 0.07 0.00
205.25/205.35 c pseudoobj : 0.07 0.00 0.00 0.07 0.00
205.25/205.35 c vbounds : 0.07 0.00 0.00 0.07 0.00
205.25/205.35 c redcost : 0.17 0.00 0.00 0.17 0.00
205.25/205.35 c probing : 0.00 0.00 0.00 0.00 0.00
205.25/205.35 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
205.25/205.35 c propagation : 0.11 2633 2619 13271 20.8 45 25.2 -
205.25/205.35 c infeasible LP : 2.98 33155 32438 192119 34.0 140 21.0 0
205.25/205.35 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
205.25/205.35 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
205.25/205.35 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
205.25/205.35 c applied globally : - - - 39990 19.0 - - -
205.25/205.35 c applied locally : - - - 3369 34.9 - - -
205.25/205.35 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
205.25/205.35 c cut pool : 0.00 4 - - 308 - (maximal pool size: 515)
205.25/205.35 c closecuts : 0.00 0.00 0 0 0 0 0
205.25/205.35 c impliedbounds : 0.00 0.00 5 0 0 0 0
205.25/205.35 c intobj : 0.00 0.00 0 0 0 0 0
205.25/205.35 c gomory : 0.10 0.00 5 0 0 200 0
205.25/205.35 c cgmip : 0.00 0.00 0 0 0 0 0
205.25/205.35 c strongcg : 0.20 0.00 5 0 0 2500 0
205.25/205.35 c cmir : 0.00 0.00 0 0 0 0 0
205.25/205.35 c flowcover : 0.00 0.00 0 0 0 0 0
205.25/205.35 c clique : 0.00 0.00 5 0 0 0 0
205.25/205.35 c zerohalf : 0.00 0.00 0 0 0 0 0
205.25/205.35 c mcf : 0.00 0.00 1 0 0 0 0
205.25/205.35 c oddcycle : 0.00 0.00 0 0 0 0 0
205.25/205.35 c rapidlearning : 0.10 0.00 1 0 0 0 260
205.25/205.35 c Pricers : ExecTime SetupTime Calls Vars
205.25/205.35 c problem variables: 0.00 - 0 0
205.25/205.35 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
205.25/205.35 c relpscost : 24.11 0.00 37174 155 2109 0 0 71898
205.25/205.35 c pscost : 0.00 0.00 0 0 0 0 0 0
205.25/205.35 c inference : 0.00 0.00 0 0 0 0 0 0
205.25/205.35 c mostinf : 0.00 0.00 0 0 0 0 0 0
205.25/205.35 c leastinf : 0.00 0.00 0 0 0 0 0 0
205.25/205.35 c fullstrong : 0.00 0.00 0 0 0 0 0 0
205.25/205.35 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
205.25/205.35 c random : 0.00 0.00 0 0 0 0 0 0
205.25/205.35 c Primal Heuristics : ExecTime SetupTime Calls Found
205.25/205.35 c LP solutions : 0.00 - - 0
205.25/205.35 c pseudo solutions : 0.00 - - 0
205.25/205.35 c smallcard : 0.00 0.00 0 0
205.25/205.35 c trivial : 0.00 0.00 1 0
205.25/205.35 c shiftandpropagate: 0.00 0.00 0 0
205.25/205.35 c simplerounding : 0.00 0.00 0 0
205.25/205.35 c zirounding : 0.00 0.00 0 0
205.25/205.35 c rounding : 0.00 0.00 0 0
205.25/205.35 c shifting : 0.00 0.00 0 0
205.25/205.35 c intshifting : 0.00 0.00 0 0
205.25/205.35 c oneopt : 0.00 0.00 0 0
205.25/205.35 c twoopt : 0.00 0.00 0 0
205.25/205.35 c indtwoopt : 0.00 0.00 0 0
205.25/205.35 c indoneopt : 0.00 0.00 0 0
205.25/205.35 c fixandinfer : 0.00 0.00 0 0
205.25/205.35 c feaspump : 0.00 0.00 0 0
205.25/205.35 c clique : 0.00 0.00 0 0
205.25/205.35 c indrounding : 0.00 0.00 0 0
205.25/205.35 c indcoefdiving : 0.00 0.00 0 0
205.25/205.35 c coefdiving : 0.00 0.00 0 0
205.25/205.35 c pscostdiving : 0.00 0.00 0 0
205.25/205.35 c nlpdiving : 0.00 0.00 0 0
205.25/205.35 c fracdiving : 0.00 0.00 0 0
205.25/205.35 c veclendiving : 0.00 0.00 0 0
205.25/205.35 c intdiving : 0.00 0.00 0 0
205.25/205.35 c actconsdiving : 0.00 0.00 0 0
205.25/205.35 c objpscostdiving : 0.00 0.00 0 0
205.25/205.35 c rootsoldiving : 0.00 0.00 0 0
205.25/205.35 c linesearchdiving : 0.00 0.00 0 0
205.25/205.35 c guideddiving : 0.00 0.00 0 0
205.25/205.35 c octane : 0.00 0.00 0 0
205.25/205.35 c rens : 0.00 0.00 0 0
205.25/205.35 c rins : 0.00 0.00 0 0
205.25/205.35 c localbranching : 0.00 0.00 0 0
205.25/205.35 c mutation : 0.00 0.00 0 0
205.25/205.35 c crossover : 0.00 0.00 0 0
205.25/205.35 c dins : 0.00 0.00 0 0
205.25/205.35 c vbounds : 0.00 0.00 0 0
205.25/205.35 c undercover : 0.00 0.00 0 0
205.25/205.35 c subnlp : 0.00 0.00 0 0
205.25/205.35 c trysol : 0.00 0.00 0 0
205.25/205.35 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
205.25/205.35 c primal LP : 0.00 1 0 0.00 - 0.00 1
205.25/205.35 c dual LP : 152.68 70334 1328619 18.93 8702.25 0.06 158
205.25/205.35 c lex dual LP : 0.00 0 0 0.00 -
205.25/205.35 c barrier LP : 0.00 0 0 0.00 - 0.00 0
205.25/205.35 c diving/probing LP: 0.00 0 0 0.00 -
205.25/205.35 c strong branching : 23.49 5289 190155 35.95 8094.59
205.25/205.35 c (at root node) : - 11 2233 203.00 -
205.25/205.35 c conflict analysis: 0.00 0 0 0.00 -
205.25/205.35 c B&B Tree :
205.25/205.35 c number of runs : 1
205.25/205.35 c nodes : 71399
205.25/205.35 c nodes (total) : 71399
205.25/205.35 c nodes left : 0
205.25/205.35 c max depth : 60
205.25/205.35 c max depth (total): 60
205.25/205.35 c backtracks : 8823 (12.4%)
205.25/205.35 c delayed cutoffs : 500
205.25/205.35 c repropagations : 112729 (150445 domain reductions, 497 cutoffs)
205.25/205.35 c avg switch length: 5.15
205.25/205.35 c switching time : 6.20
205.25/205.35 c Solution :
205.25/205.35 c Solutions found : 0 (0 improvements)
205.25/205.35 c Primal Bound : infeasible
205.25/205.35 c Dual Bound : -
205.25/205.35 c Gap : 0.00 %
205.25/205.35 c Root Dual Bound : +0.00000000000000e+00
205.25/205.35 c Root Iterations : 146
205.25/205.36 c Time complete: 205.31.
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-3691604-1338022339/watcher-3691604-1338022339 -o /tmp/evaluation-result-3691604-1338022339/solver-3691604-1338022339 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691604-1338022339.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 3158
/proc/meminfo: memFree=29503176/32873852 swapFree=7616/7616
[pid=3158] ppid=3156 vsize=11000 CPUtime=0 cores=0,2,4,6
/proc/3158/stat : 3158 (scip-2.1.1.4exp) R 3156 3158 403 0 -1 4202496 1577 0 0 0 0 0 0 0 20 0 1 0 268359338 11264000 1532 33554432000 4194304 10219143 140736626785696 140735921972952 8891101 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3158/statm: 2750 1541 398 1471 0 1270 0
[startup+0.077706 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 3158
/proc/meminfo: memFree=29503176/32873852 swapFree=7616/7616
[pid=3158] ppid=3156 vsize=30176 CPUtime=0.07 cores=0,2,4,6
/proc/3158/stat : 3158 (scip-2.1.1.4exp) R 3156 3158 403 0 -1 4202496 6593 0 0 0 6 1 0 0 20 0 1 0 268359338 30900224 6246 33554432000 4194304 10219143 140736626785696 140735921972952 7976369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3158/statm: 7544 6246 743 1471 0 6064 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 30176
[startup+0.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 3158
/proc/meminfo: memFree=29503176/32873852 swapFree=7616/7616
[pid=3158] ppid=3156 vsize=30608 CPUtime=0.09 cores=0,2,4,6
/proc/3158/stat : 3158 (scip-2.1.1.4exp) R 3156 3158 403 0 -1 4202496 6799 0 0 0 8 1 0 0 20 0 1 0 268359338 31342592 6452 33554432000 4194304 10219143 140736626785696 140735921972952 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3158/statm: 7652 6452 761 1471 0 6172 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30608
[startup+0.300223 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 3158
/proc/meminfo: memFree=29503176/32873852 swapFree=7616/7616
[pid=3158] ppid=3156 vsize=48468 CPUtime=0.29 cores=0,2,4,6
/proc/3158/stat : 3158 (scip-2.1.1.4exp) R 3156 3158 403 0 -1 4202496 11696 0 0 0 27 2 0 0 20 0 1 0 268359338 49631232 10641 33554432000 4194304 10219143 140736626785696 140735921972952 5169431 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3158/statm: 12117 10641 814 1471 0 10637 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48468
[startup+0.700174 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 3158
/proc/meminfo: memFree=29503176/32873852 swapFree=7616/7616
[pid=3158] ppid=3156 vsize=48636 CPUtime=0.68 cores=0,2,4,6
/proc/3158/stat : 3158 (scip-2.1.1.4exp) R 3156 3158 403 0 -1 4202496 11814 0 0 0 66 2 0 0 20 0 1 0 268359338 49803264 10759 33554432000 4194304 10219143 140736626785696 140736626780584 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3158/statm: 12159 10759 817 1471 0 10679 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 48636
[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3159
/proc/meminfo: memFree=29463752/32873852 swapFree=7616/7616
[pid=3158] ppid=3156 vsize=48636 CPUtime=1.49 cores=0,2,4,6
/proc/3158/stat : 3158 (scip-2.1.1.4exp) R 3156 3158 403 0 -1 4202496 11817 0 0 0 146 3 0 0 20 0 1 0 268359338 49803264 10762 33554432000 4194304 10219143 140736626785696 140736626779240 8085184 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3158/statm: 12159 10762 820 1471 0 10679 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 48636
[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3159
/proc/meminfo: memFree=29462768/32873852 swapFree=7616/7616
[pid=3158] ppid=3156 vsize=48636 CPUtime=3.09 cores=0,2,4,6
/proc/3158/stat : 3158 (scip-2.1.1.4exp) R 3156 3158 403 0 -1 4202496 11822 0 0 0 304 5 0 0 20 0 1 0 268359338 49803264 10915 33554432000 4194304 10219143 140736626785696 140736626779608 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3158/statm: 12159 10915 823 1471 0 10679 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 48636
[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3159
/proc/meminfo: memFree=29462392/32873852 swapFree=7616/7616
[pid=3158] ppid=3156 vsize=48636 CPUtime=6.29 cores=0,2,4,6
/proc/3158/stat : 3158 (scip-2.1.1.4exp) R 3156 3158 403 0 -1 4202496 11823 0 0 0 621 8 0 0 20 0 1 0 268359338 49803264 10916 33554432000 4194304 10219143 140736626785696 140736626779528 8056516 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3158/statm: 12159 10916 824 1471 0 10679 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 48636
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3159
/proc/meminfo: memFree=29462036/32873852 swapFree=7616/7616
[pid=3158] ppid=3156 vsize=48636 CPUtime=12.68 cores=0,2,4,6
/proc/3158/stat : 3158 (scip-2.1.1.4exp) R 3156 3158 403 0 -1 4202496 11830 0 0 0 1253 15 0 0 20 0 1 0 268359338 49803264 10917 33554432000 4194304 10219143 140736626785696 140736626779336 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3158/statm: 12159 10917 824 1471 0 10679 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 48636
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3159
/proc/meminfo: memFree=29461384/32873852 swapFree=7616/7616
[pid=3158] ppid=3156 vsize=48636 CPUtime=25.48 cores=0,2,4,6
/proc/3158/stat : 3158 (scip-2.1.1.4exp) R 3156 3158 403 0 -1 4202496 11831 0 0 0 2512 36 0 0 20 0 1 0 268359338 49803264 11172 33554432000 4194304 10219143 140736626785696 140736626779336 9008087 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3158/statm: 12159 11172 824 1471 0 10679 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 48636
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3159
/proc/meminfo: memFree=29461260/32873852 swapFree=7616/7616
[pid=3158] ppid=3156 vsize=48636 CPUtime=51.08 cores=0,2,4,6
/proc/3158/stat : 3158 (scip-2.1.1.4exp) R 3156 3158 403 0 -1 4202496 11831 0 0 0 5029 79 0 0 20 0 1 0 268359338 49803264 11172 33554432000 4194304 10219143 140736626785696 140736626778952 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3158/statm: 12159 11172 824 1471 0 10679 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 48636
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3159
/proc/meminfo: memFree=29461012/32873852 swapFree=7616/7616
[pid=3158] ppid=3156 vsize=48636 CPUtime=102.27 cores=0,2,4,6
/proc/3158/stat : 3158 (scip-2.1.1.4exp) R 3156 3158 403 0 -1 4202496 11831 0 0 0 10071 156 0 0 20 0 1 0 268359338 49803264 11172 33554432000 4194304 10219143 140736626785696 140736626779336 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3158/statm: 12159 11172 824 1471 0 10679 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 48636
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3160
/proc/meminfo: memFree=29461012/32873852 swapFree=7616/7616
[pid=3158] ppid=3156 vsize=48636 CPUtime=162.26 cores=0,2,4,6
/proc/3158/stat : 3158 (scip-2.1.1.4exp) R 3156 3158 403 0 -1 4202496 11831 0 0 0 15982 244 0 0 20 0 1 0 268359338 49803264 11172 33554432000 4194304 10219143 140736626785696 140736626779000 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3158/statm: 12159 11172 824 1471 0 10679 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 48636
Solver just ended. Dumping a history of the last processes samples
[startup+179.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3160
/proc/meminfo: memFree=29460888/32873852 swapFree=7616/7616
[pid=3158] ppid=3156 vsize=48636 CPUtime=179.05 cores=0,2,4,6
/proc/3158/stat : 3158 (scip-2.1.1.4exp) R 3156 3158 403 0 -1 4202496 11831 0 0 0 17636 269 0 0 20 0 1 0 268359338 49803264 11172 33554432000 4194304 10219143 140736626785696 140736626778952 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3158/statm: 12159 11172 824 1471 0 10679 0
Current children cumulated CPU time (s) 179.05
Current children cumulated vsize (KiB) 48636
[startup+191.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3160
/proc/meminfo: memFree=29460888/32873852 swapFree=7616/7616
[pid=3158] ppid=3156 vsize=48636 CPUtime=191.86 cores=0,2,4,6
/proc/3158/stat : 3158 (scip-2.1.1.4exp) R 3156 3158 403 0 -1 4202496 11831 0 0 0 18895 291 0 0 20 0 1 0 268359338 49803264 11172 33554432000 4194304 10219143 140736626785696 140736626779336 5184807 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3158/statm: 12159 11172 824 1471 0 10679 0
Current children cumulated CPU time (s) 191.86
Current children cumulated vsize (KiB) 48636
[startup+198.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3160
/proc/meminfo: memFree=29460888/32873852 swapFree=7616/7616
[pid=3158] ppid=3156 vsize=48636 CPUtime=198.25 cores=0,2,4,6
/proc/3158/stat : 3158 (scip-2.1.1.4exp) R 3156 3158 403 0 -1 4202496 11831 0 0 0 19524 301 0 0 20 0 1 0 268359338 49803264 11172 33554432000 4194304 10219143 140736626785696 140736626779048 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3158/statm: 12159 11172 824 1471 0 10679 0
Current children cumulated CPU time (s) 198.25
Current children cumulated vsize (KiB) 48636
[startup+201.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3160
/proc/meminfo: memFree=29460888/32873852 swapFree=7616/7616
[pid=3158] ppid=3156 vsize=48636 CPUtime=201.45 cores=0,2,4,6
/proc/3158/stat : 3158 (scip-2.1.1.4exp) R 3156 3158 403 0 -1 4202496 11831 0 0 0 19838 307 0 0 20 0 1 0 268359338 49803264 11172 33554432000 4194304 10219143 140736626785696 140736626779416 7981351 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3158/statm: 12159 11172 824 1471 0 10679 0
Current children cumulated CPU time (s) 201.45
Current children cumulated vsize (KiB) 48636
[startup+203.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3160
/proc/meminfo: memFree=29460888/32873852 swapFree=7616/7616
[pid=3158] ppid=3156 vsize=48636 CPUtime=203.05 cores=0,2,4,6
/proc/3158/stat : 3158 (scip-2.1.1.4exp) R 3156 3158 403 0 -1 4202496 11831 0 0 0 19996 309 0 0 20 0 1 0 268359338 49803264 11172 33554432000 4194304 10219143 140736626785696 140736626779336 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3158/statm: 12159 11172 824 1471 0 10679 0
Current children cumulated CPU time (s) 203.05
Current children cumulated vsize (KiB) 48636
[startup+204.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3160
/proc/meminfo: memFree=29460888/32873852 swapFree=7616/7616
[pid=3158] ppid=3156 vsize=48636 CPUtime=204.65 cores=0,2,4,6
/proc/3158/stat : 3158 (scip-2.1.1.4exp) R 3156 3158 403 0 -1 4202496 11831 0 0 0 20153 312 0 0 20 0 1 0 268359338 49803264 11172 33554432000 4194304 10219143 140736626785696 140736626778952 9008087 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3158/statm: 12159 11172 824 1471 0 10679 0
Current children cumulated CPU time (s) 204.65
Current children cumulated vsize (KiB) 48636
[startup+205.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3160
/proc/meminfo: memFree=29460888/32873852 swapFree=7616/7616
[pid=3158] ppid=3156 vsize=48636 CPUtime=205.05 cores=0,2,4,6
/proc/3158/stat : 3158 (scip-2.1.1.4exp) R 3156 3158 403 0 -1 4202496 11831 0 0 0 20193 312 0 0 20 0 1 0 268359338 49803264 11172 33554432000 4194304 10219143 140736626785696 140736626778952 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3158/statm: 12159 11172 824 1471 0 10679 0
Current children cumulated CPU time (s) 205.05
Current children cumulated vsize (KiB) 48636
[startup+205.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3160
/proc/meminfo: memFree=29460888/32873852 swapFree=7616/7616
[pid=3158] ppid=3156 vsize=48636 CPUtime=205.25 cores=0,2,4,6
/proc/3158/stat : 3158 (scip-2.1.1.4exp) R 3156 3158 403 0 -1 4202496 11832 0 0 0 20212 313 0 0 20 0 1 0 268359338 49803264 11173 33554432000 4194304 10219143 140736626785696 140736626778952 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3158/statm: 12159 11173 825 1471 0 10679 0
Current children cumulated CPU time (s) 205.25
Current children cumulated vsize (KiB) 48636
Child status: 0
Real time (s): 205.368
CPU time (s): 205.328
CPU user time (s): 202.189
CPU system time (s): 3.13852
CPU usage (%): 99.9802
Max. virtual memory (cumulated for all children) (KiB): 51060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 202.189
system time used= 3.13852
maximum resident set size= 45024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11837
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= 447
runsolver used 0.303953 second user time and 0.837872 second system time
The end