0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3690438-1338016937.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.02/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.02/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.02/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.02/0.06 c presolving (4 rounds):
0.02/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.02/0.06 c 242 implications, 22 cliques
0.02/0.06 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2443 constraints
0.02/0.06 c 1 constraints of type <knapsack>
0.02/0.06 c 22 constraints of type <setppc>
0.02/0.06 c 2420 constraints of type <logicor>
0.02/0.06 c transformed objective value is always integral (scale: 1)
0.02/0.06 c Presolving Time: 0.05
0.02/0.06 c - non default parameters ----------------------------------------------------------------------
0.02/0.06 c # SCIP version 2.1.1.4
0.02/0.06 c
0.02/0.06 c # maximal time in seconds to run
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.06 c limits/time = 1797
0.02/0.06 c
0.02/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.06 c limits/memory = 13950
0.02/0.06 c
0.02/0.06 c # solving stops, if the given number of solutions were found (-1: no limit)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.06 c limits/solutions = 1
0.02/0.06 c
0.02/0.06 c # maximal number of separation rounds per node (-1: unlimited)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 5]
0.02/0.06 c separating/maxrounds = 1
0.02/0.06 c
0.02/0.06 c # maximal number of separation rounds in the root node (-1: unlimited)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.06 c separating/maxroundsroot = 5
0.02/0.06 c
0.02/0.06 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.02/0.06 c # [type: int, range: [1,2], default: 1]
0.02/0.06 c timing/clocktype = 2
0.02/0.06 c
0.02/0.06 c # belongs reading time to solving time?
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.06 c timing/reading = TRUE
0.02/0.06 c
0.02/0.06 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.02/0.06 c constraints/knapsack/disaggregation = FALSE
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.06 c heuristics/coefdiving/freq = -1
0.02/0.06 c
0.02/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.06 c heuristics/coefdiving/maxlpiterquot = 0.075
0.02/0.06 c
0.02/0.06 c # additional number of allowed LP iterations
0.02/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.06 c heuristics/coefdiving/maxlpiterofs = 1500
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 30]
0.02/0.06 c heuristics/crossover/freq = -1
0.02/0.06 c
0.02/0.06 c # number of nodes added to the contingent of the total nodes
0.02/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.02/0.06 c heuristics/crossover/nodesofs = 750
0.02/0.06 c
0.02/0.06 c # number of nodes without incumbent change that heuristic should wait
0.02/0.06 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.02/0.06 c heuristics/crossover/nwaitingnodes = 100
0.02/0.06 c
0.02/0.06 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.02/0.06 c # [type: real, range: [0,1], default: 0.1]
0.02/0.06 c heuristics/crossover/nodesquot = 0.15
0.02/0.06 c
0.02/0.06 c # minimum percentage of integer variables that have to be fixed
0.02/0.06 c # [type: real, range: [0,1], default: 0.666]
0.02/0.06 c heuristics/crossover/minfixingrate = 0.5
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.02/0.06 c heuristics/feaspump/freq = -1
0.02/0.06 c
0.02/0.06 c # additional number of allowed LP iterations
0.02/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.06 c heuristics/feaspump/maxlpiterofs = 2000
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.06 c heuristics/fracdiving/freq = -1
0.02/0.06 c
0.02/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.06 c heuristics/fracdiving/maxlpiterquot = 0.075
0.02/0.06 c
0.02/0.06 c # additional number of allowed LP iterations
0.02/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.06 c heuristics/fracdiving/maxlpiterofs = 1500
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.06 c heuristics/guideddiving/freq = -1
0.02/0.06 c
0.02/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.06 c heuristics/guideddiving/maxlpiterquot = 0.075
0.02/0.06 c
0.02/0.06 c # additional number of allowed LP iterations
0.02/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.06 c heuristics/guideddiving/maxlpiterofs = 1500
0.02/0.06 c
0.02/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.06 c heuristics/intdiving/maxlpiterquot = 0.075
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.06 c heuristics/intshifting/freq = -1
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.06 c heuristics/linesearchdiving/freq = -1
0.02/0.06 c
0.02/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.06 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.02/0.06 c
0.02/0.06 c # additional number of allowed LP iterations
0.02/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.06 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.02/0.06 c heuristics/objpscostdiving/freq = -1
0.02/0.06 c
0.02/0.06 c # maximal fraction of diving LP iterations compared to total iteration number
0.02/0.06 c # [type: real, range: [0,1], default: 0.01]
0.02/0.06 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.02/0.06 c
0.02/0.06 c # additional number of allowed LP iterations
0.02/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.06 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.06 c heuristics/oneopt/freq = -1
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.06 c heuristics/pscostdiving/freq = -1
0.02/0.06 c
0.02/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.06 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.02/0.06 c
0.02/0.06 c # additional number of allowed LP iterations
0.02/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.06 c heuristics/pscostdiving/maxlpiterofs = 1500
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.06 c heuristics/rens/freq = -1
0.02/0.06 c
0.02/0.06 c # minimum percentage of integer variables that have to be fixable
0.02/0.06 c # [type: real, range: [0,1], default: 0.5]
0.02/0.06 c heuristics/rens/minfixingrate = 0.3
0.02/0.06 c
0.02/0.06 c # number of nodes added to the contingent of the total nodes
0.02/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.02/0.06 c heuristics/rens/nodesofs = 2000
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.02/0.06 c heuristics/rootsoldiving/freq = -1
0.02/0.06 c
0.02/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.02/0.06 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.02/0.06 c
0.02/0.06 c # additional number of allowed LP iterations
0.02/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.06 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.06 c heuristics/rounding/freq = -1
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.06 c heuristics/shiftandpropagate/freq = -1
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.06 c heuristics/shifting/freq = -1
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.06 c heuristics/simplerounding/freq = -1
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.06 c heuristics/subnlp/freq = -1
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.06 c heuristics/trivial/freq = -1
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.06 c heuristics/trysol/freq = -1
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.06 c heuristics/undercover/freq = -1
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.06 c heuristics/veclendiving/freq = -1
0.02/0.06 c
0.02/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.06 c heuristics/veclendiving/maxlpiterquot = 0.075
0.02/0.06 c
0.02/0.06 c # additional number of allowed LP iterations
0.02/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.06 c heuristics/veclendiving/maxlpiterofs = 1500
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.06 c heuristics/zirounding/freq = -1
0.02/0.06 c
0.02/0.06 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.06 c propagating/probing/maxprerounds = 0
0.02/0.06 c
0.02/0.06 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.06 c separating/cmir/freq = -1
0.02/0.06 c
0.02/0.06 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.06 c separating/flowcover/freq = -1
0.02/0.06 c
0.02/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.06 c separating/rapidlearning/freq = 0
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.06 c heuristics/indoneopt/freq = -1
0.02/0.06 c
0.02/0.06 c -----------------------------------------------------------------------------------------------
0.02/0.06 c start solving
0.02/0.06 c
0.02/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.02/0.07 c 0.1s| 1 | 0 | 76 | - |3909k| 0 | 36 | 231 |2443 | 231 |2443 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 c 0.2s| 1 | 0 | 90 | - |4335k| 0 | 39 | 231 |2703 | 231 |2450 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.23 c 0.2s| 1 | 0 | 105 | - |4663k| 0 | 45 | 231 |2703 | 231 |2454 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.27 c 0.3s| 1 | 0 | 120 | - |5102k| 0 | 46 | 231 |2703 | 231 |2455 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.28/0.31 c 0.3s| 1 | 0 | 139 | - |5546k| 0 | 47 | 231 |2703 | 231 |2457 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.38/0.46 c 0.5s| 1 | 0 | 146 | - |5886k| 0 | 51 | 231 |2703 | 231 |2460 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.69 c 0.7s| 1 | 2 | 146 | - |5887k| 0 | 51 | 231 |2703 | 231 |2460 | 17 | 0 | 11 | 0.000000e+00 | -- | Inf
9.18/9.22 c 9.2s| 100 | 20 | 5142 | 50.5 |6054k| 13 | - | 231 |2718 | 231 |2453 | 17 | 15 |1655 | 0.000000e+00 | -- | Inf
9.99/10.06 c 10.1s| 200 | 24 | 6935 | 34.1 |6087k| 17 | - | 231 |2775 | 231 |2453 | 17 | 72 |1795 | 0.000000e+00 | -- | Inf
10.48/10.55 c 10.6s| 300 | 30 | 8838 | 29.1 |6124k| 18 | - | 231 |2834 | 231 |2453 | 17 | 131 |1857 | 0.000000e+00 | -- | Inf
10.98/11.02 c 11.0s| 400 | 32 | 10864 | 26.9 |6148k| 20 | 28 | 231 |2891 | 231 |2453 | 17 | 188 |1912 | 0.000000e+00 | -- | Inf
11.18/11.28 c 11.3s| 500 | 34 | 12664 | 25.1 |6175k| 21 | - | 231 |2940 | 231 |2453 | 17 | 237 |1922 | 0.000000e+00 | -- | Inf
11.58/11.61 c 11.6s| 600 | 36 | 14654 | 24.2 |6205k| 21 | - | 231 |2997 | 0 | 0 | 17 | 295 |1947 | 0.000000e+00 | -- | Inf
11.88/11.92 c 11.9s| 700 | 40 | 16725 | 23.7 |6228k| 21 | 29 | 231 |3056 | 231 |2453 | 17 | 355 |1961 | 0.000000e+00 | -- | Inf
12.08/12.18 c 12.2s| 800 | 35 | 18525 | 23.0 |6244k| 21 | - | 231 |3125 | 231 |2453 | 17 | 424 |1968 | 0.000000e+00 | -- | Inf
12.38/12.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.38/12.45 c 12.5s| 900 | 37 | 20345 | 22.5 |6272k| 21 | - | 231 |3182 | 231 |2453 | 17 | 483 |1980 | 0.000000e+00 | -- | Inf
12.68/12.72 c 12.7s| 1000 | 38 | 22425 | 22.3 |6288k| 21 | 28 | 231 |3241 | 231 |2453 | 17 | 542 |1983 | 0.000000e+00 | -- | Inf
12.88/12.99 c 13.0s| 1100 | 39 | 24403 | 22.1 |6315k| 21 | 25 | 231 |3298 | 231 |2453 | 17 | 602 |1990 | 0.000000e+00 | -- | Inf
13.18/13.29 c 13.3s| 1200 | 42 | 26277 | 21.8 |6347k| 21 | - | 231 |3355 | 231 |2453 | 17 | 659 |2009 | 0.000000e+00 | -- | Inf
13.58/13.62 c 13.6s| 1300 | 44 | 28199 | 21.6 |6369k| 24 | 22 | 231 |3417 | 231 |2453 | 17 | 721 |2030 | 0.000000e+00 | -- | Inf
13.88/13.92 c 13.9s| 1400 | 41 | 30089 | 21.4 |6387k| 24 | 34 | 231 |3473 | 231 |2453 | 17 | 781 |2045 | 0.000000e+00 | -- | Inf
14.18/14.25 c 14.3s| 1500 | 45 | 32279 | 21.4 |6421k| 24 | - | 231 |3526 | 231 |2453 | 17 | 837 |2062 | 0.000000e+00 | -- | Inf
14.48/14.52 c 14.5s| 1600 | 44 | 34144 | 21.3 |6429k| 24 | 38 | 231 |3580 | 231 |2453 | 17 | 892 |2070 | 0.000000e+00 | -- | Inf
14.68/14.77 c 14.8s| 1700 | 46 | 35973 | 21.1 |6468k| 24 | - | 231 |3641 | 231 |2453 | 17 | 956 |2075 | 0.000000e+00 | -- | Inf
14.98/15.00 c 15.0s| 1800 | 44 | 37621 | 20.8 |6479k| 24 | 33 | 231 |3703 | 231 |2453 | 17 |1024 |2078 | 0.000000e+00 | -- | Inf
15.18/15.23 c 15.2s| 1900 | 45 | 39371 | 20.7 |6510k| 24 | 32 | 231 |3776 | 231 |2453 | 17 |1102 |2082 | 0.000000e+00 | -- | Inf
15.38/15.48 c 15.5s| 2000 | 45 | 41221 | 20.5 |6539k| 24 | 30 | 231 |3835 | 231 |2453 | 17 |1163 |2085 | 0.000000e+00 | -- | Inf
15.68/15.72 c 15.7s| 2100 | 46 | 42997 | 20.4 |6560k| 24 | 34 | 231 |3888 | 231 |2453 | 17 |1225 |2087 | 0.000000e+00 | -- | Inf
15.88/15.94 c 15.9s| 2200 | 47 | 44802 | 20.3 |6589k| 24 | 27 | 231 |3942 | 231 |2453 | 17 |1284 |2088 | 0.000000e+00 | -- | Inf
16.18/16.22 c 16.2s| 2300 | 55 | 47041 | 20.4 |6631k| 24 | 30 | 231 |3990 | 231 |2453 | 17 |1336 |2089 | 0.000000e+00 | -- | Inf
16.38/16.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.38/16.48 c 16.5s| 2400 | 56 | 49145 | 20.4 |6654k| 24 | 29 | 231 |4053 | 231 |2453 | 17 |1403 |2089 | 0.000000e+00 | -- | Inf
16.68/16.70 c 16.7s| 2500 | 56 | 50908 | 20.3 |6668k| 29 | 38 | 231 |4099 | 231 |2453 | 17 |1457 |2089 | 0.000000e+00 | -- | Inf
16.88/16.94 c 16.9s| 2600 | 56 | 52788 | 20.3 |6698k| 29 | - | 231 |4155 | 231 |2453 | 17 |1518 |2089 | 0.000000e+00 | -- | Inf
17.08/17.16 c 17.2s| 2700 | 59 | 54553 | 20.2 |6724k| 29 | 31 | 231 |4217 | 231 |2453 | 17 |1580 |2089 | 0.000000e+00 | -- | Inf
17.28/17.37 c 17.4s| 2800 | 58 | 56262 | 20.0 |6741k| 29 | 18 | 231 |4276 | 231 |2453 | 17 |1642 |2089 | 0.000000e+00 | -- | Inf
17.58/17.67 c 17.7s| 2900 | 57 | 58188 | 20.0 |6767k| 29 | 33 | 231 |4343 | 231 |2453 | 17 |1715 |2101 | 0.000000e+00 | -- | Inf
17.88/17.99 c 18.0s| 3000 | 54 | 60172 | 20.0 |6780k| 29 | 42 | 231 |4398 | 231 |2453 | 17 |1784 |2117 | 0.000000e+00 | -- | Inf
18.28/18.33 c 18.3s| 3100 | 60 | 62321 | 20.1 |6811k| 29 | 24 | 231 |4441 | 231 |2453 | 17 |1838 |2134 | 0.000000e+00 | -- | Inf
18.58/18.61 c 18.6s| 3200 | 60 | 64024 | 20.0 |6835k| 29 | - | 231 |4496 | 231 |2453 | 17 |1901 |2148 | 0.000000e+00 | -- | Inf
18.88/18.92 c 18.9s| 3300 | 67 | 65904 | 19.9 |6887k| 29 | - | 231 |4561 | 231 |2453 | 17 |1973 |2164 | 0.000000e+00 | -- | Inf
19.18/19.25 c 19.2s| 3400 | 75 | 68012 | 20.0 |6925k| 29 | 35 | 231 |4613 | 231 |2453 | 17 |2032 |2182 | 0.000000e+00 | -- | Inf
19.48/19.53 c 19.5s| 3500 | 79 | 69559 | 19.8 |6966k| 29 | - | 231 |4675 | 231 |2453 | 17 |2097 |2200 | 0.000000e+00 | -- | Inf
19.78/19.86 c 19.9s| 3600 | 80 | 71554 | 19.8 |6990k| 29 | - | 231 |4727 | 231 |2453 | 17 |2154 |2219 | 0.000000e+00 | -- | Inf
20.07/20.17 c 20.2s| 3700 | 79 | 73471 | 19.8 |7014k| 29 | - | 231 |4783 | 231 |2453 | 17 |2217 |2236 | 0.000000e+00 | -- | Inf
20.38/20.46 c 20.5s| 3800 | 78 | 75265 | 19.8 |7028k| 29 | 28 | 231 |4847 | 231 |2453 | 17 |2284 |2250 | 0.000000e+00 | -- | Inf
20.67/20.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.67/20.74 c 20.7s| 3900 | 82 | 77242 | 19.8 |7061k| 29 | 34 | 231 |4906 | 231 |2453 | 17 |2346 |2259 | 0.000000e+00 | -- | Inf
20.88/20.96 c 21.0s| 4000 | 85 | 78867 | 19.7 |7091k| 29 | 18 | 231 |4954 | 231 |2453 | 17 |2402 |2263 | 0.000000e+00 | -- | Inf
21.17/21.20 c 21.2s| 4100 | 88 | 80599 | 19.6 |7113k| 29 | 38 | 231 |4993 | 231 |2453 | 17 |2454 |2266 | 0.000000e+00 | -- | Inf
21.37/21.43 c 21.4s| 4200 | 85 | 82272 | 19.6 |7132k| 29 | - | 231 |5058 | 231 |2453 | 17 |2521 |2269 | 0.000000e+00 | -- | Inf
21.58/21.65 c 21.6s| 4300 | 83 | 83773 | 19.5 |7152k| 30 | - | 231 |5130 | 231 |2453 | 17 |2598 |2273 | 0.000000e+00 | -- | Inf
21.78/21.87 c 21.9s| 4400 | 85 | 85443 | 19.4 |7173k| 30 | 32 | 231 |5180 | 231 |2453 | 17 |2654 |2274 | 0.000000e+00 | -- | Inf
21.98/22.10 c 22.1s| 4500 | 82 | 87210 | 19.4 |7193k| 30 | - | 231 |5251 | 231 |2453 | 17 |2726 |2275 | 0.000000e+00 | -- | Inf
22.28/22.32 c 22.3s| 4600 | 80 | 88868 | 19.3 |7224k| 30 | - | 231 |5315 | 231 |2453 | 17 |2803 |2275 | 0.000000e+00 | -- | Inf
22.48/22.55 c 22.5s| 4700 | 78 | 90611 | 19.3 |7238k| 30 | - | 231 |5381 | 231 |2453 | 17 |2875 |2276 | 0.000000e+00 | -- | Inf
22.77/22.81 c 22.8s| 4800 | 79 | 92654 | 19.3 |7264k| 30 | 41 | 231 |5442 | 231 |2453 | 17 |2943 |2278 | 0.000000e+00 | -- | Inf
22.98/23.06 c 23.1s| 4900 | 77 | 94666 | 19.3 |7285k| 30 | 35 | 231 |5486 | 231 |2453 | 17 |2999 |2278 | 0.000000e+00 | -- | Inf
23.28/23.31 c 23.3s| 5000 | 74 | 96574 | 19.3 |7300k| 30 | 35 | 231 |5537 | 231 |2453 | 17 |3065 |2278 | 0.000000e+00 | -- | Inf
23.48/23.58 c 23.6s| 5100 | 76 | 98890 | 19.4 |7342k| 30 | 38 | 231 |5595 | 231 |2453 | 17 |3135 |2278 | 0.000000e+00 | -- | Inf
23.77/23.81 c 23.8s| 5200 | 76 |100788 | 19.4 |7370k| 30 | 26 | 231 |5656 | 231 |2453 | 17 |3205 |2278 | 0.000000e+00 | -- | Inf
23.98/24.06 c 24.1s| 5300 | 74 |102754 | 19.4 |7377k| 30 | 31 | 231 |5701 | 231 |2453 | 17 |3267 |2278 | 0.000000e+00 | -- | Inf
24.28/24.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.28/24.36 c 24.4s| 5400 | 77 |104447 | 19.3 |7403k| 30 | 36 | 231 |5745 | 231 |2453 | 17 |3327 |2296 | 0.000000e+00 | -- | Inf
24.58/24.70 c 24.7s| 5500 | 85 |106844 | 19.4 |7451k| 30 | - | 231 |5796 | 231 |2453 | 17 |3389 |2307 | 0.000000e+00 | -- | Inf
24.98/25.02 c 25.0s| 5600 | 74 |108775 | 19.4 |7448k| 30 | - | 231 |5850 | 231 |2453 | 17 |3458 |2324 | 0.000000e+00 | -- | Inf
25.28/25.31 c 25.3s| 5700 | 76 |110616 | 19.4 |7471k| 30 | - | 231 |5886 | 231 |2453 | 17 |3523 |2339 | 0.000000e+00 | -- | Inf
25.58/25.60 c 25.6s| 5800 | 77 |112423 | 19.4 |7482k| 30 | 33 | 231 |5927 | 231 |2453 | 17 |3591 |2353 | 0.000000e+00 | -- | Inf
25.88/25.94 c 25.9s| 5900 | 73 |114382 | 19.4 |7497k| 30 | - | 231 |5969 | 231 |2453 | 17 |3651 |2371 | 0.000000e+00 | -- | Inf
26.08/26.16 c 26.2s| 6000 | 75 |115711 | 19.3 |7520k| 30 | - | 231 |5995 | 231 |2453 | 17 |3707 |2380 | 0.000000e+00 | -- | Inf
26.38/26.48 c 26.5s| 6100 | 75 |117569 | 19.3 |7530k| 30 | 36 | 231 |6028 | 231 |2453 | 17 |3764 |2402 | 0.000000e+00 | -- | Inf
26.68/26.75 c 26.7s| 6200 | 75 |119173 | 19.2 |7563k| 31 | - | 231 |6091 | 0 | 0 | 17 |3835 |2418 | 0.000000e+00 | -- | Inf
26.97/27.00 c 27.0s| 6300 | 73 |120948 | 19.2 |7560k| 31 | 29 | 231 |6122 | 231 |2453 | 17 |3885 |2425 | 0.000000e+00 | -- | Inf
27.28/27.38 c 27.4s| 6400 | 73 |123567 | 19.3 |7578k| 31 | 43 | 231 |6156 | 231 |2453 | 17 |3950 |2441 | 0.000000e+00 | -- | Inf
27.58/27.67 c 27.7s| 6500 | 71 |125625 | 19.3 |7595k| 32 | 33 | 231 |6185 | 231 |2453 | 17 |4030 |2447 | 0.000000e+00 | -- | Inf
27.87/27.95 c 28.0s| 6600 | 70 |127800 | 19.3 |7610k| 32 | - | 231 |6214 | 231 |2453 | 17 |4094 |2451 | 0.000000e+00 | -- | Inf
28.17/28.21 c 28.2s| 6700 | 68 |129452 | 19.3 |7631k| 32 | - | 231 |6263 | 231 |2453 | 17 |4163 |2459 | 0.000000e+00 | -- | Inf
28.37/28.47 c 28.5s| 6800 | 68 |131341 | 19.3 |7640k| 32 | 29 | 231 |6251 | 231 |2453 | 17 |4225 |2461 | 0.000000e+00 | -- | Inf
28.58/28.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.58/28.70 c 28.7s| 6900 | 68 |133127 | 19.3 |7672k| 32 | - | 231 |6296 | 231 |2453 | 17 |4297 |2461 | 0.000000e+00 | -- | Inf
28.87/28.94 c 28.9s| 7000 | 67 |134946 | 19.3 |7688k| 32 | 23 | 231 |6352 | 231 |2453 | 17 |4371 |2461 | 0.000000e+00 | -- | Inf
29.08/29.14 c 29.1s| 7100 | 66 |136404 | 19.2 |7703k| 32 | - | 231 |6387 | 231 |2453 | 17 |4434 |2461 | 0.000000e+00 | -- | Inf
29.27/29.35 c 29.4s| 7200 | 66 |137918 | 19.1 |7716k| 32 | - | 231 |6412 | 231 |2453 | 17 |4498 |2461 | 0.000000e+00 | -- | Inf
29.47/29.59 c 29.6s| 7300 | 65 |139712 | 19.1 |7727k| 32 | 44 | 231 |6461 | 231 |2453 | 17 |4575 |2463 | 0.000000e+00 | -- | Inf
29.78/29.81 c 29.8s| 7400 | 66 |141426 | 19.1 |7751k| 32 | - | 231 |6500 | 231 |2453 | 17 |4643 |2463 | 0.000000e+00 | -- | Inf
29.97/30.00 c 30.0s| 7500 | 67 |142747 | 19.0 |7771k| 32 | - | 231 |6553 | 231 |2453 | 17 |4709 |2464 | 0.000000e+00 | -- | Inf
30.18/30.22 c 30.2s| 7600 | 69 |144263 | 19.0 |7780k| 32 | - | 231 |6563 | 231 |2453 | 17 |4763 |2464 | 0.000000e+00 | -- | Inf
30.38/30.45 c 30.4s| 7700 | 69 |145965 | 18.9 |7790k| 32 | - | 231 |6555 | 231 |2453 | 17 |4827 |2464 | 0.000000e+00 | -- | Inf
30.57/30.66 c 30.7s| 7800 | 71 |147595 | 18.9 |7805k| 32 | 27 | 231 |6596 | 231 |2453 | 17 |4895 |2464 | 0.000000e+00 | -- | Inf
30.88/30.90 c 30.9s| 7900 | 71 |149438 | 18.9 |7816k| 32 | 20 | 231 |6603 | 231 |2453 | 17 |4972 |2464 | 0.000000e+00 | -- | Inf
30.99/31.09 c 31.1s| 8000 | 69 |150752 | 18.8 |7822k| 32 | 44 | 231 |6634 | 231 |2453 | 17 |5043 |2464 | 0.000000e+00 | -- | Inf
31.28/31.37 c 31.4s| 8100 | 71 |152438 | 18.8 |7845k| 32 | - | 231 |6672 | 231 |2453 | 17 |5097 |2476 | 0.000000e+00 | -- | Inf
31.57/31.63 c 31.6s| 8200 | 70 |154096 | 18.8 |7854k| 32 | 34 | 231 |6719 | 231 |2453 | 17 |5155 |2488 | 0.000000e+00 | -- | Inf
31.77/31.87 c 31.9s| 8300 | 71 |155600 | 18.7 |7879k| 32 | 33 | 231 |6772 | 231 |2453 | 17 |5218 |2497 | 0.000000e+00 | -- | Inf
32.08/32.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.08/32.12 c 32.1s| 8400 | 71 |157012 | 18.7 |7897k| 32 | 25 | 231 |6823 | 231 |2453 | 17 |5270 |2511 | 0.000000e+00 | -- | Inf
32.28/32.35 c 32.3s| 8500 | 71 |158287 | 18.6 |7917k| 36 | 30 | 231 |6872 | 231 |2453 | 17 |5320 |2524 | 0.000000e+00 | -- | Inf
32.47/32.56 c 32.6s| 8600 | 70 |159395 | 18.5 |7940k| 36 | 42 | 231 |6942 | 231 |2453 | 17 |5390 |2535 | 0.000000e+00 | -- | Inf
32.77/32.81 c 32.8s| 8700 | 70 |160742 | 18.5 |7970k| 36 | - | 231 |6998 | 0 | 0 | 17 |5450 |2551 | 0.000000e+00 | -- | Inf
32.98/33.02 c 33.0s| 8800 | 71 |162081 | 18.4 |7989k| 36 | 33 | 231 |7058 | 231 |2453 | 17 |5512 |2556 | 0.000000e+00 | -- | Inf
33.18/33.25 c 33.2s| 8900 | 67 |163429 | 18.3 |8011k| 38 | - | 231 |7123 | 231 |2453 | 17 |5577 |2570 | 0.000000e+00 | -- | Inf
33.48/33.50 c 33.5s| 9000 | 71 |164889 | 18.3 |8028k| 38 | 40 | 231 |7148 | 231 |2453 | 17 |5632 |2579 | 0.000000e+00 | -- | Inf
33.68/33.77 c 33.8s| 9100 | 72 |166278 | 18.3 |8042k| 38 | 22 | 231 |7162 | 231 |2453 | 17 |5691 |2597 | 0.000000e+00 | -- | Inf
33.98/34.02 c 34.0s| 9200 | 71 |167927 | 18.2 |8056k| 38 | 34 | 231 |7210 | 231 |2453 | 17 |5761 |2605 | 0.000000e+00 | -- | Inf
34.18/34.29 c 34.3s| 9300 | 68 |169590 | 18.2 |8061k| 38 | 40 | 231 |7243 | 231 |2453 | 17 |5831 |2616 | 0.000000e+00 | -- | Inf
34.58/34.64 c 34.6s| 9400 | 66 |171749 | 18.3 |8074k| 38 | - | 231 |7252 | 231 |2453 | 17 |5900 |2633 | 0.000000e+00 | -- | Inf
34.87/34.94 c 34.9s| 9500 | 70 |173724 | 18.3 |8097k| 38 | - | 231 |7272 | 231 |2453 | 17 |5963 |2645 | 0.000000e+00 | -- | Inf
35.18/35.21 c 35.2s| 9600 | 68 |175355 | 18.3 |8111k| 38 | - | 231 |7308 | 231 |2453 | 17 |6033 |2655 | 0.000000e+00 | -- | Inf
35.38/35.49 c 35.5s| 9700 | 68 |177188 | 18.3 |8105k| 38 | 31 | 231 |7301 | 231 |2453 | 17 |6097 |2663 | 0.000000e+00 | -- | Inf
35.68/35.76 c 35.8s| 9800 | 64 |178852 | 18.2 |8110k| 38 | 41 | 231 |7330 | 231 |2453 | 17 |6164 |2672 | 0.000000e+00 | -- | Inf
35.97/36.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.97/36.02 c 36.0s| 9900 | 60 |180680 | 18.2 |8103k| 38 | 37 | 231 |7337 | 231 |2453 | 17 |6235 |2677 | 0.000000e+00 | -- | Inf
36.17/36.27 c 36.3s| 10000 | 62 |182511 | 18.2 |8106k| 38 | 30 | 231 |7309 | 231 |2453 | 17 |6305 |2677 | 0.000000e+00 | -- | Inf
36.48/36.52 c 36.5s| 10100 | 60 |184463 | 18.3 |8127k| 38 | - | 231 |7353 | 231 |2453 | 17 |6380 |2677 | 0.000000e+00 | -- | Inf
36.67/36.71 c 36.7s| 10200 | 62 |185885 | 18.2 |8149k| 38 | 28 | 231 |7408 | 231 |2453 | 17 |6447 |2677 | 0.000000e+00 | -- | Inf
36.87/36.96 c 37.0s| 10300 | 56 |187950 | 18.2 |8158k| 38 | - | 231 |7474 | 231 |2453 | 17 |6527 |2677 | 0.000000e+00 | -- | Inf
37.18/37.20 c 37.2s| 10400 | 67 |189729 | 18.2 |8179k| 38 | 34 | 231 |7410 | 231 |2453 | 17 |6585 |2678 | 0.000000e+00 | -- | Inf
37.37/37.42 c 37.4s| 10500 | 66 |191414 | 18.2 |8195k| 38 | - | 231 |7428 | 231 |2453 | 17 |6657 |2678 | 0.000000e+00 | -- | Inf
37.58/37.65 c 37.7s| 10600 | 70 |193274 | 18.2 |8216k| 38 | - | 231 |7441 | 231 |2453 | 17 |6722 |2678 | 0.000000e+00 | -- | Inf
37.88/37.90 c 37.9s| 10700 | 73 |195187 | 18.2 |8221k| 38 | 29 | 231 |7447 | 231 |2453 | 17 |6775 |2678 | 0.000000e+00 | -- | Inf
38.07/38.13 c 38.1s| 10800 | 75 |196948 | 18.2 |8244k| 38 | 29 | 231 |7496 | 231 |2453 | 17 |6853 |2678 | 0.000000e+00 | -- | Inf
38.28/38.34 c 38.3s| 10900 | 75 |198733 | 18.2 |8271k| 38 | - | 231 |7563 | 231 |2453 | 17 |6922 |2678 | 0.000000e+00 | -- | Inf
38.48/38.56 c 38.6s| 11000 | 73 |200361 | 18.2 |8289k| 38 | 31 | 231 |7638 | 231 |2453 | 17 |7007 |2678 | 0.000000e+00 | -- | Inf
38.78/38.80 c 38.8s| 11100 | 76 |202160 | 18.2 |8306k| 38 | - | 231 |7641 | 0 | 0 | 17 |7067 |2679 | 0.000000e+00 | -- | Inf
38.97/39.00 c 39.0s| 11200 | 75 |203650 | 18.2 |8329k| 38 | - | 231 |7703 | 0 | 0 | 17 |7137 |2681 | 0.000000e+00 | -- | Inf
39.18/39.22 c 39.2s| 11300 | 74 |205236 | 18.2 |8341k| 38 | 37 | 231 |7757 | 231 |2453 | 17 |7202 |2683 | 0.000000e+00 | -- | Inf
39.37/39.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.37/39.44 c 39.4s| 11400 | 75 |207017 | 18.1 |8367k| 38 | 33 | 231 |7826 | 231 |2453 | 17 |7273 |2683 | 0.000000e+00 | -- | Inf
39.57/39.65 c 39.7s| 11500 | 75 |208613 | 18.1 |8382k| 38 | 31 | 231 |7875 | 231 |2453 | 17 |7327 |2683 | 0.000000e+00 | -- | Inf
39.78/39.89 c 39.9s| 11600 | 74 |210370 | 18.1 |8404k| 38 | - | 231 |7918 | 231 |2453 | 17 |7383 |2683 | 0.000000e+00 | -- | Inf
40.08/40.13 c 40.1s| 11700 | 78 |212263 | 18.1 |8412k| 38 | - | 231 |7910 | 231 |2453 | 17 |7441 |2683 | 0.000000e+00 | -- | Inf
40.27/40.39 c 40.4s| 11800 | 84 |214282 | 18.1 |8424k| 38 | - | 231 |7912 | 231 |2453 | 17 |7504 |2683 | 0.000000e+00 | -- | Inf
40.57/40.60 c 40.6s| 11900 | 86 |215844 | 18.1 |8430k| 38 | 25 | 231 |7907 | 231 |2453 | 17 |7565 |2683 | 0.000000e+00 | -- | Inf
40.68/40.79 c 40.8s| 12000 | 83 |217198 | 18.1 |8434k| 38 | 37 | 231 |7944 | 231 |2453 | 17 |7638 |2683 | 0.000000e+00 | -- | Inf
40.97/41.03 c 41.0s| 12100 | 89 |219050 | 18.1 |8451k| 38 | - | 231 |7923 | 231 |2453 | 17 |7700 |2683 | 0.000000e+00 | -- | Inf
41.18/41.27 c 41.3s| 12200 | 91 |220984 | 18.1 |8470k| 38 | - | 231 |7960 | 231 |2453 | 17 |7767 |2683 | 0.000000e+00 | -- | Inf
41.47/41.51 c 41.5s| 12300 | 92 |222792 | 18.1 |8490k| 38 | 41 | 231 |8000 | 231 |2453 | 17 |7833 |2683 | 0.000000e+00 | -- | Inf
41.68/41.75 c 41.8s| 12400 | 92 |224747 | 18.1 |8518k| 38 | - | 231 |8053 | 231 |2453 | 17 |7916 |2683 | 0.000000e+00 | -- | Inf
41.88/41.98 c 42.0s| 12500 | 92 |226421 | 18.1 |8532k| 38 | - | 231 |8088 | 231 |2453 | 17 |7967 |2683 | 0.000000e+00 | -- | Inf
42.18/42.21 c 42.2s| 12600 | 93 |228141 | 18.1 |8532k| 38 | 18 | 231 |8102 | 231 |2453 | 17 |8019 |2683 | 0.000000e+00 | -- | Inf
42.38/42.42 c 42.4s| 12700 | 93 |229793 | 18.1 |8556k| 38 | - | 231 |8146 | 231 |2453 | 17 |8081 |2683 | 0.000000e+00 | -- | Inf
42.57/42.63 c 42.6s| 12800 | 92 |231231 | 18.1 |8558k| 38 | 41 | 231 |8168 | 231 |2453 | 17 |8150 |2683 | 0.000000e+00 | -- | Inf
42.77/42.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.77/42.83 c 42.8s| 12900 | 93 |232741 | 18.0 |8581k| 38 | 41 | 231 |8221 | 231 |2453 | 17 |8212 |2683 | 0.000000e+00 | -- | Inf
42.98/43.06 c 43.1s| 13000 | 89 |234470 | 18.0 |8591k| 38 | - | 231 |8268 | 231 |2453 | 17 |8280 |2683 | 0.000000e+00 | -- | Inf
43.28/43.33 c 43.3s| 13100 | 89 |236631 | 18.1 |8587k| 38 | 36 | 231 |8272 | 231 |2453 | 17 |8373 |2683 | 0.000000e+00 | -- | Inf
43.47/43.50 c 43.5s| 13200 | 91 |237836 | 18.0 |8610k| 38 | 30 | 231 |8322 | 231 |2453 | 17 |8456 |2683 | 0.000000e+00 | -- | Inf
43.57/43.69 c 43.7s| 13300 | 91 |239328 | 18.0 |8621k| 38 | - | 231 |8348 | 231 |2453 | 17 |8509 |2683 | 0.000000e+00 | -- | Inf
43.88/43.91 c 43.9s| 13400 | 92 |240982 | 18.0 |8641k| 38 | - | 231 |8385 | 231 |2453 | 17 |8557 |2683 | 0.000000e+00 | -- | Inf
44.08/44.12 c 44.1s| 13500 | 92 |242516 | 18.0 |8657k| 38 | - | 231 |8434 | 231 |2453 | 17 |8623 |2683 | 0.000000e+00 | -- | Inf
44.27/44.38 c 44.4s| 13600 | 95 |244551 | 18.0 |8674k| 38 | - | 231 |8459 | 231 |2453 | 17 |8679 |2683 | 0.000000e+00 | -- | Inf
44.57/44.61 c 44.6s| 13700 | 88 |246271 | 18.0 |8674k| 38 | - | 231 |8495 | 231 |2453 | 17 |8734 |2683 | 0.000000e+00 | -- | Inf
44.77/44.84 c 44.8s| 13800 | 92 |248031 | 18.0 |8680k| 38 | 36 | 231 |8499 | 231 |2453 | 17 |8790 |2683 | 0.000000e+00 | -- | Inf
44.97/45.09 c 45.1s| 13900 | 98 |249935 | 18.0 |8698k| 38 | 35 | 231 |8495 | 231 |2453 | 17 |8839 |2683 | 0.000000e+00 | -- | Inf
45.28/45.30 c 45.3s| 14000 | 102 |251573 | 18.0 |8719k| 38 | 36 | 231 |8517 | 231 |2453 | 17 |8898 |2683 | 0.000000e+00 | -- | Inf
45.47/45.53 c 45.5s| 14100 | 104 |253249 | 18.0 |8737k| 38 | 35 | 231 |8546 | 231 |2453 | 17 |8948 |2683 | 0.000000e+00 | -- | Inf
45.67/45.75 c 45.8s| 14200 | 100 |254896 | 17.9 |8749k| 38 | - | 231 |8585 | 231 |2453 | 17 |9001 |2683 | 0.000000e+00 | -- | Inf
45.87/45.97 c 46.0s| 14300 | 103 |256481 | 17.9 |8768k| 38 | 32 | 231 |8612 | 231 |2453 | 17 |9070 |2683 | 0.000000e+00 | -- | Inf
46.08/46.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.08/46.18 c 46.2s| 14400 | 101 |257971 | 17.9 |8778k| 38 | - | 231 |8629 | 231 |2453 | 17 |9142 |2683 | 0.000000e+00 | -- | Inf
46.28/46.38 c 46.4s| 14500 | 100 |259375 | 17.9 |8776k| 38 | - | 231 |8643 | 231 |2453 | 17 |9210 |2683 | 0.000000e+00 | -- | Inf
46.58/46.62 c 46.6s| 14600 | 97 |261078 | 17.9 |8769k| 38 | - | 231 |8649 | 231 |2453 | 17 |9284 |2683 | 0.000000e+00 | -- | Inf
46.77/46.88 c 46.9s| 14700 | 101 |263235 | 17.9 |8762k| 38 | 31 | 231 |8600 | 231 |2453 | 17 |9344 |2683 | 0.000000e+00 | -- | Inf
47.07/47.13 c 47.1s| 14800 | 101 |265221 | 17.9 |8767k| 38 | 25 | 231 |8617 | 231 |2453 | 17 |9409 |2683 | 0.000000e+00 | -- | Inf
47.27/47.38 c 47.4s| 14900 | 99 |267142 | 17.9 |8766k| 38 | - | 231 |8602 | 231 |2453 | 17 |9474 |2683 | 0.000000e+00 | -- | Inf
47.57/47.60 c 47.6s| 15000 | 101 |268813 | 17.9 |8779k| 38 | - | 231 |8620 | 231 |2453 | 17 |9528 |2683 | 0.000000e+00 | -- | Inf
47.78/47.82 c 47.8s| 15100 | 100 |270511 | 17.9 |8777k| 38 | 40 | 231 |8625 | 231 |2453 | 17 |9586 |2683 | 0.000000e+00 | -- | Inf
47.97/48.08 c 48.1s| 15200 | 100 |272502 | 17.9 |8782k| 38 | 35 | 231 |8623 | 231 |2453 | 17 |9647 |2683 | 0.000000e+00 | -- | Inf
48.27/48.32 c 48.3s| 15300 | 100 |274378 | 17.9 |8799k| 38 | - | 231 |8658 | 231 |2453 | 17 |9731 |2683 | 0.000000e+00 | -- | Inf
48.48/48.56 c 48.6s| 15400 | 108 |276286 | 17.9 |8823k| 38 | - | 231 |8668 | 231 |2453 | 17 |9796 |2683 | 0.000000e+00 | -- | Inf
48.68/48.79 c 48.8s| 15500 | 112 |278067 | 17.9 |8841k| 38 | - | 231 |8702 | 231 |2453 | 17 |9861 |2683 | 0.000000e+00 | -- | Inf
48.97/49.02 c 49.0s| 15600 | 113 |279857 | 17.9 |8855k| 38 | 31 | 231 |8736 | 231 |2453 | 17 |9924 |2683 | 0.000000e+00 | -- | Inf
49.17/49.25 c 49.2s| 15700 | 111 |281658 | 17.9 |8872k| 38 | - | 231 |8780 | 231 |2453 | 17 |9991 |2683 | 0.000000e+00 | -- | Inf
49.37/49.49 c 49.5s| 15800 | 120 |283643 | 17.9 |8910k| 38 | - | 231 |8828 | 231 |2453 | 17 | 10k|2683 | 0.000000e+00 | -- | Inf
49.68/49.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
49.68/49.74 c 49.7s| 15900 | 122 |285716 | 18.0 |8940k| 38 | - | 231 |8882 | 231 |2453 | 17 | 10k|2683 | 0.000000e+00 | -- | Inf
49.97/50.00 c 50.0s| 16000 | 116 |287757 | 18.0 |8947k| 38 | - | 231 |8943 | 231 |2453 | 17 | 10k|2683 | 0.000000e+00 | -- | Inf
50.18/50.26 c 50.3s| 16100 | 114 |289768 | 18.0 |8971k| 38 | - | 231 |9004 | 231 |2453 | 17 | 10k|2683 | 0.000000e+00 | -- | Inf
50.47/50.51 c 50.5s| 16200 | 110 |291699 | 18.0 |8985k| 38 | - | 231 |9035 | 231 |2453 | 17 | 10k|2683 | 0.000000e+00 | -- | Inf
50.68/50.73 c 50.7s| 16300 | 110 |293195 | 18.0 |8968k| 38 | 34 | 231 |9001 | 231 |2453 | 17 | 10k|2683 | 0.000000e+00 | -- | Inf
50.87/50.95 c 51.0s| 16400 | 110 |294828 | 18.0 |8973k| 38 | - | 231 |9000 | 231 |2453 | 17 | 10k|2683 | 0.000000e+00 | -- | Inf
51.17/51.20 c 51.2s| 16500 | 108 |296698 | 18.0 |8951k| 38 | - | 231 |8945 | 231 |2453 | 17 | 10k|2683 | 0.000000e+00 | -- | Inf
51.38/51.47 c 51.5s| 16600 | 116 |298915 | 18.0 |8967k| 38 | - | 231 |8916 | 231 |2453 | 17 | 10k|2683 | 0.000000e+00 | -- | Inf
51.67/51.73 c 51.7s| 16700 | 126 |300949 | 18.0 |8972k| 38 | 40 | 231 |8864 | 231 |2453 | 17 | 10k|2683 | 0.000000e+00 | -- | Inf
51.97/52.00 c 52.0s| 16800 | 130 |303032 | 18.0 |8978k| 38 | 37 | 231 |8819 | 231 |2453 | 17 | 10k|2683 | 0.000000e+00 | -- | Inf
52.17/52.24 c 52.2s| 16900 | 134 |304820 | 18.0 |9010k| 38 | - | 231 |8855 | 231 |2453 | 17 | 10k|2683 | 0.000000e+00 | -- | Inf
52.37/52.47 c 52.5s| 17000 | 137 |306606 | 18.0 |9031k| 38 | 42 | 231 |8902 | 231 |2453 | 17 | 10k|2683 | 0.000000e+00 | -- | Inf
52.68/52.71 c 52.7s| 17100 | 139 |308490 | 18.0 |9056k| 38 | - | 231 |8952 | 231 |2453 | 17 | 10k|2683 | 0.000000e+00 | -- | Inf
52.88/52.94 c 52.9s| 17200 | 137 |310179 | 18.0 |9068k| 38 | 43 | 231 |9004 | 231 |2453 | 17 | 10k|2683 | 0.000000e+00 | -- | Inf
53.17/53.20 c 53.2s| 17300 | 136 |312282 | 18.0 |9090k| 38 | - | 231 |9044 | 231 |2453 | 17 | 11k|2683 | 0.000000e+00 | -- | Inf
53.37/53.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
53.37/53.41 c 53.4s| 17400 | 136 |313766 | 18.0 |9104k| 38 | - | 231 |9076 | 231 |2453 | 17 | 11k|2683 | 0.000000e+00 | -- | Inf
53.57/53.65 c 53.6s| 17500 | 136 |315638 | 18.0 |9115k| 38 | 33 | 231 |9097 | 231 |2453 | 17 | 11k|2683 | 0.000000e+00 | -- | Inf
53.77/53.88 c 53.9s| 17600 | 131 |317427 | 18.0 |9103k| 41 | - | 231 |9073 | 231 |2453 | 17 | 11k|2683 | 0.000000e+00 | -- | Inf
54.07/54.10 c 54.1s| 17700 | 131 |318970 | 18.0 |9088k| 41 | 31 | 231 |9031 | 231 |2453 | 17 | 11k|2683 | 0.000000e+00 | -- | Inf
54.27/54.37 c 54.4s| 17800 | 132 |321134 | 18.0 |9075k| 41 | - | 231 |8971 | 231 |2453 | 17 | 11k|2683 | 0.000000e+00 | -- | Inf
54.47/54.59 c 54.6s| 17900 | 134 |322888 | 18.0 |9089k| 41 | - | 231 |8992 | 231 |2453 | 17 | 11k|2683 | 0.000000e+00 | -- | Inf
54.78/54.84 c 54.8s| 18000 | 136 |324946 | 18.0 |9091k| 41 | 28 | 231 |8985 | 231 |2453 | 17 | 11k|2683 | 0.000000e+00 | -- | Inf
54.97/55.09 c 55.1s| 18100 | 141 |326867 | 18.1 |9118k| 41 | 29 | 231 |9028 | 231 |2453 | 17 | 11k|2683 | 0.000000e+00 | -- | Inf
55.27/55.33 c 55.3s| 18200 | 144 |328808 | 18.1 |9147k| 41 | 30 | 231 |9081 | 231 |2453 | 17 | 11k|2683 | 0.000000e+00 | -- | Inf
55.48/55.56 c 55.6s| 18300 | 137 |330646 | 18.1 |9167k| 41 | - | 231 |9155 | 231 |2453 | 17 | 11k|2683 | 0.000000e+00 | -- | Inf
55.77/55.80 c 55.8s| 18400 | 137 |332528 | 18.1 |9184k| 41 | - | 231 |9197 | 231 |2453 | 17 | 11k|2683 | 0.000000e+00 | -- | Inf
55.97/56.03 c 56.0s| 18500 | 135 |334207 | 18.1 |9190k| 41 | - | 231 |9183 | 231 |2453 | 17 | 11k|2683 | 0.000000e+00 | -- | Inf
56.18/56.28 c 56.3s| 18600 | 134 |336026 | 18.1 |9162k| 41 | 29 | 231 |9112 | 231 |2453 | 17 | 11k|2683 | 0.000000e+00 | -- | Inf
56.47/56.51 c 56.5s| 18700 | 136 |337762 | 18.1 |9164k| 41 | - | 231 |9086 | 231 |2453 | 17 | 11k|2683 | 0.000000e+00 | -- | Inf
56.67/56.72 c 56.7s| 18800 | 136 |339272 | 18.0 |9165k| 41 | - | 231 |9084 | 231 |2453 | 17 | 12k|2683 | 0.000000e+00 | -- | Inf
56.87/56.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.87/56.96 c 57.0s| 18900 | 138 |341074 | 18.0 |9180k| 41 | - | 231 |9086 | 231 |2453 | 17 | 12k|2683 | 0.000000e+00 | -- | Inf
57.07/57.18 c 57.2s| 19000 | 138 |342751 | 18.0 |9188k| 41 | - | 231 |9100 | 231 |2453 | 17 | 12k|2683 | 0.000000e+00 | -- | Inf
57.28/57.39 c 57.4s| 19100 | 140 |344233 | 18.0 |9189k| 41 | 38 | 231 |9101 | 231 |2453 | 17 | 12k|2683 | 0.000000e+00 | -- | Inf
57.57/57.60 c 57.6s| 19200 | 138 |345745 | 18.0 |9197k| 41 | - | 231 |9121 | 231 |2453 | 17 | 12k|2683 | 0.000000e+00 | -- | Inf
57.77/57.88 c 57.9s| 19300 | 142 |347966 | 18.0 |9217k| 41 | 25 | 231 |9164 | 231 |2453 | 17 | 12k|2683 | 0.000000e+00 | -- | Inf
58.07/58.14 c 58.1s| 19400 | 139 |349963 | 18.0 |9229k| 41 | 41 | 231 |9213 | 231 |2453 | 17 | 12k|2683 | 0.000000e+00 | -- | Inf
58.27/58.37 c 58.4s| 19500 | 141 |351751 | 18.0 |9261k| 41 | - | 231 |9269 | 0 | 0 | 17 | 12k|2683 | 0.000000e+00 | -- | Inf
58.58/58.60 c 58.6s| 19600 | 141 |353498 | 18.0 |9273k| 41 | 38 | 231 |9326 | 231 |2453 | 17 | 12k|2683 | 0.000000e+00 | -- | Inf
58.77/58.82 c 58.8s| 19700 | 144 |355137 | 18.0 |9299k| 41 | 29 | 231 |9381 | 231 |2453 | 17 | 12k|2683 | 0.000000e+00 | -- | Inf
58.97/59.05 c 59.0s| 19800 | 144 |356896 | 18.0 |9323k| 41 | 33 | 231 |9438 | 231 |2453 | 17 | 12k|2683 | 0.000000e+00 | -- | Inf
59.17/59.27 c 59.3s| 19900 | 142 |358652 | 18.0 |9333k| 41 | 31 | 231 |9480 | 231 |2453 | 17 | 12k|2683 | 0.000000e+00 | -- | Inf
59.47/59.53 c 59.5s| 20000 | 147 |360697 | 18.0 |9367k| 41 | - | 231 |9535 | 231 |2453 | 17 | 12k|2683 | 0.000000e+00 | -- | Inf
59.68/59.77 c 59.8s| 20100 | 151 |362531 | 18.0 |9395k| 41 | 28 | 231 |9591 | 231 |2453 | 17 | 12k|2683 | 0.000000e+00 | -- | Inf
59.97/60.00 c 60.0s| 20200 | 149 |364311 | 18.0 |9420k| 41 | - | 231 |9649 | 231 |2453 | 17 | 12k|2683 | 0.000000e+00 | -- | Inf
60.17/60.26 c 60.3s| 20300 | 149 |366363 | 18.0 |9443k| 41 | - | 231 |9707 | 231 |2453 | 17 | 12k|2683 | 0.000000e+00 | -- | Inf
60.47/60.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.47/60.50 c 60.5s| 20400 | 151 |368268 | 18.0 |9469k| 41 | - | 231 |9764 | 231 |2453 | 17 | 12k|2683 | 0.000000e+00 | -- | Inf
60.68/60.76 c 60.8s| 20500 | 151 |370363 | 18.1 |9490k| 41 | 36 | 231 |9831 | 231 |2453 | 17 | 13k|2683 | 0.000000e+00 | -- | Inf
60.97/61.00 c 61.0s| 20600 | 149 |372052 | 18.1 |9508k| 41 | - | 231 |9863 | 231 |2453 | 17 | 13k|2683 | 0.000000e+00 | -- | Inf
61.17/61.22 c 61.2s| 20700 | 149 |373783 | 18.1 |9512k| 41 | - | 231 |9860 | 231 |2453 | 17 | 13k|2683 | 0.000000e+00 | -- | Inf
61.37/61.46 c 61.5s| 20800 | 152 |375571 | 18.1 |9501k| 41 | - | 231 |9808 | 231 |2453 | 17 | 13k|2683 | 0.000000e+00 | -- | Inf
61.57/61.70 c 61.7s| 20900 | 152 |377415 | 18.1 |9494k| 41 | - | 231 |9782 | 231 |2453 | 17 | 13k|2683 | 0.000000e+00 | -- | Inf
61.87/61.93 c 61.9s| 21000 | 158 |379134 | 18.0 |9520k| 41 | - | 231 |9804 | 231 |2453 | 17 | 13k|2683 | 0.000000e+00 | -- | Inf
62.07/62.14 c 62.1s| 21100 | 160 |380666 | 18.0 |9540k| 41 | - | 231 |9848 | 231 |2453 | 17 | 13k|2683 | 0.000000e+00 | -- | Inf
62.27/62.39 c 62.4s| 21200 | 162 |382746 | 18.0 |9559k| 41 | 21 | 231 |9895 | 231 |2453 | 17 | 13k|2683 | 0.000000e+00 | -- | Inf
62.57/62.64 c 62.6s| 21300 | 167 |384774 | 18.1 |9592k| 41 | 29 | 231 |9951 | 231 |2453 | 17 | 13k|2683 | 0.000000e+00 | -- | Inf
62.78/62.89 c 62.9s| 21400 | 163 |386690 | 18.1 |9603k| 41 | 36 | 231 | 10k| 231 |2453 | 17 | 13k|2683 | 0.000000e+00 | -- | Inf
63.07/63.16 c 63.2s| 21500 | 163 |388876 | 18.1 |9620k| 41 | 37 | 231 | 10k| 231 |2453 | 17 | 13k|2683 | 0.000000e+00 | -- | Inf
63.27/63.38 c 63.4s| 21600 | 162 |390520 | 18.1 |9648k| 41 | - | 231 | 10k| 231 |2453 | 17 | 13k|2683 | 0.000000e+00 | -- | Inf
63.57/63.65 c 63.6s| 21700 | 159 |392648 | 18.1 |9664k| 41 | - | 231 | 10k| 231 |2453 | 17 | 13k|2683 | 0.000000e+00 | -- | Inf
63.77/63.89 c 63.9s| 21800 | 161 |394522 | 18.1 |9679k| 41 | - | 231 | 10k| 231 |2453 | 17 | 13k|2683 | 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| 21900 | 168 |396024 | 18.1 |9708k| 41 | 27 | 231 | 10k| 231 |2453 | 17 | 13k|2683 | 0.000000e+00 | -- | Inf
64.27/64.33 c 64.3s| 22000 | 167 |397741 | 18.1 |9718k| 41 | 33 | 231 | 10k| 231 |2453 | 17 | 14k|2683 | 0.000000e+00 | -- | Inf
64.47/64.56 c 64.6s| 22100 | 167 |399499 | 18.1 |9732k| 41 | 41 | 231 | 10k| 231 |2453 | 17 | 14k|2683 | 0.000000e+00 | -- | Inf
64.67/64.79 c 64.8s| 22200 | 166 |401122 | 18.1 |9718k| 41 | 37 | 231 | 10k| 231 |2453 | 17 | 14k|2683 | 0.000000e+00 | -- | Inf
64.97/65.02 c 65.0s| 22300 | 164 |402848 | 18.1 |9733k| 41 | - | 231 | 10k| 231 |2453 | 17 | 14k|2683 | 0.000000e+00 | -- | Inf
65.17/65.25 c 65.2s| 22400 | 160 |404462 | 18.1 |9717k| 41 | - | 231 | 10k| 231 |2453 | 17 | 14k|2683 | 0.000000e+00 | -- | Inf
65.47/65.50 c 65.5s| 22500 | 172 |406450 | 18.1 |9692k| 41 | 26 | 231 | 10k| 231 |2453 | 17 | 14k|2683 | 0.000000e+00 | -- | Inf
65.67/65.75 c 65.7s| 22600 | 172 |408363 | 18.1 |9687k| 41 | - | 231 | 10k| 231 |2453 | 17 | 14k|2683 | 0.000000e+00 | -- | Inf
65.97/66.02 c 66.0s| 22700 | 172 |410550 | 18.1 |9691k| 41 | - | 231 | 10k| 231 |2453 | 17 | 14k|2683 | 0.000000e+00 | -- | Inf
66.27/66.32 c 66.3s| 22800 | 182 |412547 | 18.1 |9713k| 41 | 30 | 231 | 10k| 231 |2453 | 17 | 14k|2693 | 0.000000e+00 | -- | Inf
66.57/66.68 c 66.7s| 22900 | 177 |415003 | 18.1 |9726k| 41 | - | 231 | 10k| 231 |2453 | 17 | 14k|2709 | 0.000000e+00 | -- | Inf
66.97/67.01 c 67.0s| 23000 | 178 |417053 | 18.1 |9751k| 41 | 25 | 231 | 10k| 231 |2453 | 17 | 14k|2729 | 0.000000e+00 | -- | Inf
67.18/67.29 c 67.3s| 23100 | 177 |418890 | 18.1 |9771k| 41 | 34 | 231 | 10k| 231 |2453 | 17 | 14k|2739 | 0.000000e+00 | -- | Inf
67.47/67.55 c 67.6s| 23200 | 179 |420542 | 18.1 |9797k| 41 | - | 231 | 10k| 231 |2453 | 17 | 14k|2753 | 0.000000e+00 | -- | Inf
67.77/67.83 c 67.8s| 23300 | 181 |422251 | 18.1 |9811k| 42 | 34 | 231 | 10k| 231 |2453 | 17 | 14k|2765 | 0.000000e+00 | -- | Inf
68.07/68.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
68.07/68.12 c 68.1s| 23400 | 182 |424193 | 18.1 |9812k| 42 | - | 231 | 10k| 231 |2453 | 17 | 14k|2778 | 0.000000e+00 | -- | Inf
68.38/68.40 c 68.4s| 23500 | 184 |425941 | 18.1 |9809k| 42 | 31 | 231 | 10k| 231 |2453 | 17 | 14k|2792 | 0.000000e+00 | -- | Inf
68.67/68.70 c 68.7s| 23600 | 186 |427730 | 18.1 |9816k| 42 | 38 | 231 | 10k| 231 |2453 | 17 | 15k|2809 | 0.000000e+00 | -- | Inf
68.87/68.96 c 69.0s| 23700 | 187 |429441 | 18.1 |9835k| 42 | - | 231 | 10k| 231 |2453 | 17 | 15k|2818 | 0.000000e+00 | -- | Inf
69.17/69.24 c 69.2s| 23800 | 188 |431148 | 18.1 |9861k| 42 | - | 231 | 10k| 231 |2453 | 17 | 15k|2832 | 0.000000e+00 | -- | Inf
69.47/69.57 c 69.6s| 23900 | 186 |433271 | 18.1 |9860k| 42 | 33 | 231 | 10k| 231 |2453 | 17 | 15k|2848 | 0.000000e+00 | -- | Inf
69.77/69.86 c 69.9s| 24000 | 187 |435165 | 18.1 |9884k| 42 | 28 | 231 | 10k| 231 |2453 | 17 | 15k|2860 | 0.000000e+00 | -- | Inf
70.07/70.14 c 70.1s| 24100 | 188 |437200 | 18.1 |9905k| 42 | 21 | 231 | 10k| 231 |2453 | 17 | 15k|2866 | 0.000000e+00 | -- | Inf
70.37/70.42 c 70.4s| 24200 | 190 |439384 | 18.2 |9928k| 42 | - | 231 | 10k| 231 |2453 | 17 | 15k|2870 | 0.000000e+00 | -- | Inf
70.57/70.68 c 70.7s| 24300 | 192 |441482 | 18.2 |9944k| 42 | - | 231 | 10k| 231 |2453 | 17 | 15k|2871 | 0.000000e+00 | -- | Inf
70.87/70.95 c 70.9s| 24400 | 192 |443623 | 18.2 |9955k| 42 | 25 | 231 | 10k| 231 |2453 | 17 | 15k|2873 | 0.000000e+00 | -- | Inf
71.17/71.22 c 71.2s| 24500 | 193 |445766 | 18.2 |9978k| 42 | - | 231 | 10k| 231 |2453 | 17 | 15k|2873 | 0.000000e+00 | -- | Inf
71.37/71.49 c 71.5s| 24600 | 197 |447933 | 18.2 | 10M| 42 | - | 231 | 10k| 231 |2453 | 17 | 15k|2873 | 0.000000e+00 | -- | Inf
71.68/71.71 c 71.7s| 24700 | 205 |449577 | 18.2 | 10M| 42 | - | 231 | 10k| 0 | 0 | 17 | 15k|2873 | 0.000000e+00 | -- | Inf
71.87/71.93 c 71.9s| 24800 | 205 |451224 | 18.2 | 10M| 42 | - | 231 | 10k| 231 |2453 | 17 | 15k|2873 | 0.000000e+00 | -- | Inf
72.07/72.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
72.07/72.15 c 72.1s| 24900 | 204 |452883 | 18.2 | 10M| 42 | - | 231 | 10k| 231 |2453 | 17 | 15k|2873 | 0.000000e+00 | -- | Inf
72.27/72.36 c 72.4s| 25000 | 208 |454406 | 18.2 | 10M| 42 | 31 | 231 | 10k| 231 |2453 | 17 | 15k|2873 | 0.000000e+00 | -- | Inf
72.46/72.58 c 72.6s| 25100 | 208 |456161 | 18.2 | 10M| 42 | - | 231 | 10k| 231 |2453 | 17 | 15k|2873 | 0.000000e+00 | -- | Inf
72.77/72.82 c 72.8s| 25200 | 213 |457897 | 18.2 | 10M| 42 | 27 | 231 | 10k| 231 |2453 | 17 | 15k|2873 | 0.000000e+00 | -- | Inf
72.97/73.04 c 73.0s| 25300 | 213 |459570 | 18.2 | 10M| 42 | 37 | 231 | 10k| 231 |2453 | 17 | 16k|2873 | 0.000000e+00 | -- | Inf
73.17/73.27 c 73.3s| 25400 | 215 |461359 | 18.2 | 10M| 42 | - | 231 | 10k| 231 |2453 | 17 | 16k|2873 | 0.000000e+00 | -- | Inf
73.37/73.48 c 73.5s| 25500 | 212 |462878 | 18.1 | 10M| 42 | 46 | 231 | 10k| 231 |2453 | 17 | 16k|2873 | 0.000000e+00 | -- | Inf
73.67/73.73 c 73.7s| 25600 | 215 |464966 | 18.2 | 10M| 42 | - | 231 | 10k| 231 |2453 | 17 | 16k|2873 | 0.000000e+00 | -- | Inf
73.87/73.99 c 74.0s| 25700 | 213 |467070 | 18.2 | 10M| 42 | - | 231 | 11k| 231 |2453 | 17 | 16k|2873 | 0.000000e+00 | -- | Inf
74.17/74.23 c 74.2s| 25800 | 214 |468506 | 18.2 | 10M| 43 | 22 | 231 | 11k| 231 |2453 | 17 | 16k|2883 | 0.000000e+00 | -- | Inf
74.37/74.48 c 74.5s| 25900 | 220 |470078 | 18.1 | 10M| 43 | 31 | 231 | 11k| 231 |2453 | 17 | 16k|2893 | 0.000000e+00 | -- | Inf
74.66/74.71 c 74.7s| 26000 | 221 |471590 | 18.1 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 16k|2901 | 0.000000e+00 | -- | Inf
74.97/75.06 c 75.1s| 26100 | 225 |473620 | 18.1 | 10M| 43 | 32 | 231 | 11k| 231 |2453 | 17 | 16k|2923 | 0.000000e+00 | -- | Inf
75.27/75.32 c 75.3s| 26200 | 219 |475376 | 18.1 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 16k|2931 | 0.000000e+00 | -- | Inf
75.57/75.61 c 75.6s| 26300 | 231 |477180 | 18.1 | 10M| 43 | 29 | 231 | 11k| 231 |2453 | 17 | 16k|2943 | 0.000000e+00 | -- | Inf
75.87/75.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
75.87/75.93 c 75.9s| 26400 | 232 |479273 | 18.1 | 10M| 43 | 27 | 231 | 11k| 231 |2453 | 17 | 16k|2957 | 0.000000e+00 | -- | Inf
76.17/76.27 c 76.3s| 26500 | 235 |481429 | 18.2 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 16k|2976 | 0.000000e+00 | -- | Inf
76.47/76.55 c 76.6s| 26600 | 233 |483279 | 18.2 | 10M| 49 | - | 231 | 11k| 231 |2453 | 17 | 16k|2986 | 0.000000e+00 | -- | Inf
76.67/76.79 c 76.8s| 26700 | 232 |484929 | 18.2 | 10M| 49 | - | 231 | 11k| 231 |2453 | 17 | 16k|2990 | 0.000000e+00 | -- | Inf
76.96/77.07 c 77.1s| 26800 | 237 |486709 | 18.2 | 10M| 49 | 31 | 231 | 11k| 231 |2453 | 17 | 16k|3003 | 0.000000e+00 | -- | Inf
77.27/77.37 c 77.4s| 26900 | 243 |488675 | 18.2 | 10M| 49 | 42 | 231 | 11k| 231 |2453 | 17 | 16k|3017 | 0.000000e+00 | -- | Inf
77.57/77.66 c 77.7s| 27000 | 239 |490854 | 18.2 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 17k|3023 | 0.000000e+00 | -- | Inf
77.87/77.97 c 78.0s| 27100 | 241 |493090 | 18.2 | 10M| 52 | 25 | 231 | 11k| 231 |2453 | 17 | 17k|3033 | 0.000000e+00 | -- | Inf
78.17/78.25 c 78.2s| 27200 | 238 |495048 | 18.2 | 10M| 52 | 33 | 231 | 11k| 231 |2453 | 17 | 17k|3039 | 0.000000e+00 | -- | Inf
78.37/78.49 c 78.5s| 27300 | 237 |496928 | 18.2 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 17k|3041 | 0.000000e+00 | -- | Inf
78.67/78.76 c 78.8s| 27400 | 243 |499087 | 18.2 | 10M| 52 | 26 | 231 | 11k| 231 |2453 | 17 | 17k|3041 | 0.000000e+00 | -- | Inf
78.97/79.02 c 79.0s| 27500 | 243 |501029 | 18.2 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 17k|3042 | 0.000000e+00 | -- | Inf
79.16/79.25 c 79.2s| 27600 | 243 |502805 | 18.2 | 10M| 52 | 31 | 231 | 11k| 231 |2453 | 17 | 17k|3042 | 0.000000e+00 | -- | Inf
79.38/79.48 c 79.5s| 27700 | 239 |504524 | 18.2 | 10M| 52 | 40 | 231 | 11k| 231 |2453 | 17 | 17k|3042 | 0.000000e+00 | -- | Inf
79.67/79.74 c 79.7s| 27800 | 240 |506577 | 18.2 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 17k|3042 | 0.000000e+00 | -- | Inf
79.86/79.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.86/79.97 c 80.0s| 27900 | 244 |508265 | 18.2 | 10M| 52 | 42 | 231 | 11k| 231 |2453 | 17 | 17k|3042 | 0.000000e+00 | -- | Inf
80.17/80.23 c 80.2s| 28000 | 248 |510371 | 18.2 | 10M| 52 | 37 | 231 | 11k| 231 |2453 | 17 | 17k|3042 | 0.000000e+00 | -- | Inf
80.37/80.48 c 80.5s| 28100 | 246 |512174 | 18.2 | 10M| 52 | - | 231 | 11k| 0 | 0 | 17 | 17k|3042 | 0.000000e+00 | -- | Inf
80.66/80.72 c 80.7s| 28200 | 246 |514024 | 18.2 | 10M| 52 | 40 | 231 | 11k| 231 |2453 | 17 | 17k|3042 | 0.000000e+00 | -- | Inf
80.86/80.94 c 80.9s| 28300 | 244 |515622 | 18.2 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 17k|3042 | 0.000000e+00 | -- | Inf
81.07/81.18 c 81.2s| 28400 | 244 |517392 | 18.2 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 17k|3042 | 0.000000e+00 | -- | Inf
81.37/81.41 c 81.4s| 28500 | 240 |518938 | 18.2 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 17k|3042 | 0.000000e+00 | -- | Inf
81.57/81.65 c 81.7s| 28600 | 239 |520670 | 18.2 | 10M| 52 | 27 | 231 | 11k| 231 |2453 | 17 | 17k|3042 | 0.000000e+00 | -- | Inf
81.76/81.89 c 81.9s| 28700 | 239 |522349 | 18.2 | 10M| 52 | 32 | 231 | 11k| 231 |2453 | 17 | 18k|3042 | 0.000000e+00 | -- | Inf
82.07/82.15 c 82.1s| 28800 | 237 |524314 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 18k|3042 | 0.000000e+00 | -- | Inf
82.27/82.39 c 82.4s| 28900 | 238 |525746 | 18.2 | 10M| 52 | 30 | 231 | 10k| 231 |2453 | 17 | 18k|3052 | 0.000000e+00 | -- | Inf
82.57/82.65 c 82.6s| 29000 | 244 |527349 | 18.2 | 10M| 52 | - | 231 | 10k| 0 | 0 | 17 | 18k|3061 | 0.000000e+00 | -- | Inf
82.86/82.94 c 82.9s| 29100 | 244 |528904 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 18k|3081 | 0.000000e+00 | -- | Inf
83.17/83.23 c 83.2s| 29200 | 246 |530851 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 18k|3087 | 0.000000e+00 | -- | Inf
83.47/83.53 c 83.5s| 29300 | 250 |532766 | 18.2 | 10M| 52 | 37 | 231 | 10k| 231 |2453 | 17 | 18k|3096 | 0.000000e+00 | -- | Inf
83.77/83.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
83.77/83.83 c 83.8s| 29400 | 247 |534734 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 18k|3108 | 0.000000e+00 | -- | Inf
84.07/84.10 c 84.1s| 29500 | 249 |536542 | 18.2 | 10M| 52 | 32 | 231 | 10k| 231 |2453 | 17 | 18k|3116 | 0.000000e+00 | -- | Inf
84.36/84.40 c 84.4s| 29600 | 246 |538269 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 18k|3128 | 0.000000e+00 | -- | Inf
84.57/84.68 c 84.7s| 29700 | 248 |540060 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 18k|3136 | 0.000000e+00 | -- | Inf
84.96/85.01 c 85.0s| 29800 | 248 |542119 | 18.2 | 10M| 52 | 21 | 231 | 10k| 231 |2453 | 17 | 18k|3148 | 0.000000e+00 | -- | Inf
85.17/85.28 c 85.3s| 29900 | 246 |543726 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 18k|3162 | 0.000000e+00 | -- | Inf
85.47/85.56 c 85.6s| 30000 | 245 |545513 | 18.2 | 10M| 52 | 39 | 231 | 10k| 231 |2453 | 17 | 18k|3171 | 0.000000e+00 | -- | Inf
85.77/85.87 c 85.9s| 30100 | 241 |547404 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 18k|3186 | 0.000000e+00 | -- | Inf
86.07/86.15 c 86.2s| 30200 | 243 |549148 | 18.2 | 10M| 52 | 20 | 231 | 10k| 231 |2453 | 17 | 18k|3196 | 0.000000e+00 | -- | Inf
86.36/86.44 c 86.4s| 30300 | 238 |550772 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 18k|3209 | 0.000000e+00 | -- | Inf
86.67/86.71 c 86.7s| 30400 | 238 |552744 | 18.2 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 19k|3214 | 0.000000e+00 | -- | Inf
86.87/86.95 c 87.0s| 30500 | 236 |554640 | 18.2 | 10M| 52 | 42 | 231 | 10k| 231 |2453 | 17 | 19k|3216 | 0.000000e+00 | -- | Inf
87.17/87.22 c 87.2s| 30600 | 233 |556670 | 18.2 | 10M| 52 | 39 | 231 |9971 | 231 |2453 | 17 | 19k|3217 | 0.000000e+00 | -- | Inf
87.37/87.45 c 87.5s| 30700 | 233 |558380 | 18.2 | 10M| 52 | 44 | 231 |9853 | 231 |2453 | 17 | 19k|3217 | 0.000000e+00 | -- | Inf
87.67/87.72 c 87.7s| 30800 | 233 |560478 | 18.2 |9982k| 52 | 44 | 231 |9751 | 231 |2453 | 17 | 19k|3217 | 0.000000e+00 | -- | Inf
87.87/87.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
87.87/87.98 c 88.0s| 30900 | 232 |562474 | 18.2 |9992k| 52 | - | 231 |9777 | 231 |2453 | 17 | 19k|3218 | 0.000000e+00 | -- | Inf
88.17/88.24 c 88.2s| 31000 | 232 |564432 | 18.2 |9985k| 52 | - | 231 |9737 | 231 |2453 | 17 | 19k|3219 | 0.000000e+00 | -- | Inf
88.37/88.49 c 88.5s| 31100 | 232 |566382 | 18.2 |9990k| 52 | 30 | 231 |9758 | 231 |2453 | 17 | 19k|3219 | 0.000000e+00 | -- | Inf
88.67/88.73 c 88.7s| 31200 | 232 |568306 | 18.2 |9981k| 52 | 40 | 231 |9731 | 231 |2453 | 17 | 19k|3219 | 0.000000e+00 | -- | Inf
88.87/88.98 c 89.0s| 31300 | 235 |570204 | 18.2 |9984k| 52 | 28 | 231 |9717 | 231 |2453 | 17 | 19k|3222 | 0.000000e+00 | -- | Inf
89.17/89.23 c 89.2s| 31400 | 234 |572167 | 18.2 |9992k| 52 | - | 231 |9715 | 231 |2453 | 17 | 19k|3223 | 0.000000e+00 | -- | Inf
89.37/89.47 c 89.5s| 31500 | 231 |574098 | 18.2 |9987k| 52 | - | 231 |9724 | 231 |2453 | 17 | 19k|3223 | 0.000000e+00 | -- | Inf
89.66/89.72 c 89.7s| 31600 | 232 |575949 | 18.2 |9950k| 52 | 32 | 231 |9621 | 231 |2453 | 17 | 19k|3224 | 0.000000e+00 | -- | Inf
89.86/89.94 c 89.9s| 31700 | 232 |577562 | 18.2 |9939k| 52 | - | 231 |9584 | 231 |2453 | 17 | 19k|3224 | 0.000000e+00 | -- | Inf
90.07/90.18 c 90.2s| 31800 | 230 |579339 | 18.2 |9949k| 52 | - | 231 |9617 | 231 |2453 | 17 | 19k|3224 | 0.000000e+00 | -- | Inf
90.37/90.43 c 90.4s| 31900 | 228 |581198 | 18.2 |9917k| 52 | 39 | 231 |9551 | 231 |2453 | 17 | 20k|3225 | 0.000000e+00 | -- | Inf
90.56/90.69 c 90.7s| 32000 | 223 |583209 | 18.2 |9883k| 52 | - | 231 |9468 | 231 |2453 | 17 | 20k|3226 | 0.000000e+00 | -- | Inf
90.87/90.93 c 90.9s| 32100 | 223 |584960 | 18.2 |9857k| 52 | 39 | 231 |9413 | 231 |2453 | 17 | 20k|3226 | 0.000000e+00 | -- | Inf
91.06/91.17 c 91.2s| 32200 | 219 |586755 | 18.2 |9826k| 52 | 34 | 231 |9353 | 231 |2453 | 17 | 20k|3226 | 0.000000e+00 | -- | Inf
91.37/91.44 c 91.4s| 32300 | 217 |588535 | 18.2 |9818k| 52 | - | 231 |9333 | 231 |2453 | 17 | 20k|3235 | 0.000000e+00 | -- | Inf
91.67/91.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
91.67/91.72 c 91.7s| 32400 | 217 |590245 | 18.2 |9823k| 52 | - | 231 |9354 | 231 |2453 | 17 | 20k|3249 | 0.000000e+00 | -- | Inf
91.97/92.03 c 92.0s| 32500 | 220 |592197 | 18.2 |9827k| 52 | - | 231 |9363 | 231 |2453 | 17 | 20k|3259 | 0.000000e+00 | -- | Inf
92.26/92.31 c 92.3s| 32600 | 218 |593984 | 18.2 |9834k| 52 | - | 231 |9386 | 231 |2453 | 17 | 20k|3268 | 0.000000e+00 | -- | Inf
92.48/92.59 c 92.6s| 32700 | 219 |595798 | 18.2 |9833k| 52 | 25 | 231 |9373 | 231 |2453 | 17 | 20k|3279 | 0.000000e+00 | -- | Inf
92.86/92.90 c 92.9s| 32800 | 215 |597645 | 18.2 |9779k| 52 | - | 231 |9287 | 231 |2453 | 17 | 20k|3293 | 0.000000e+00 | -- | Inf
93.06/93.18 c 93.2s| 32900 | 217 |599471 | 18.2 |9792k| 52 | 32 | 231 |9312 | 231 |2453 | 17 | 20k|3306 | 0.000000e+00 | -- | Inf
93.37/93.45 c 93.4s| 33000 | 214 |601084 | 18.2 |9786k| 52 | 45 | 231 |9313 | 231 |2453 | 17 | 20k|3316 | 0.000000e+00 | -- | Inf
93.67/93.77 c 93.8s| 33100 | 216 |603110 | 18.2 |9778k| 52 | - | 231 |9257 | 231 |2453 | 17 | 20k|3333 | 0.000000e+00 | -- | Inf
93.96/94.05 c 94.0s| 33200 | 218 |605160 | 18.2 |9770k| 52 | - | 231 |9211 | 231 |2453 | 17 | 20k|3339 | 0.000000e+00 | -- | Inf
94.27/94.34 c 94.3s| 33300 | 220 |607021 | 18.2 |9781k| 52 | 30 | 231 |9236 | 231 |2453 | 17 | 20k|3353 | 0.000000e+00 | -- | Inf
94.56/94.62 c 94.6s| 33400 | 218 |608859 | 18.2 |9801k| 52 | - | 231 |9278 | 231 |2453 | 17 | 20k|3367 | 0.000000e+00 | -- | Inf
94.87/94.90 c 94.9s| 33500 | 221 |610697 | 18.2 |9817k| 52 | - | 231 |9304 | 231 |2453 | 17 | 21k|3378 | 0.000000e+00 | -- | Inf
95.07/95.19 c 95.2s| 33600 | 223 |612542 | 18.2 |9834k| 52 | 30 | 231 |9342 | 231 |2453 | 17 | 21k|3391 | 0.000000e+00 | -- | Inf
95.36/95.47 c 95.5s| 33700 | 222 |614245 | 18.2 |9859k| 52 | - | 231 |9401 | 231 |2453 | 17 | 21k|3407 | 0.000000e+00 | -- | Inf
95.67/95.77 c 95.8s| 33800 | 216 |616211 | 18.2 |9866k| 52 | - | 231 |9450 | 231 |2453 | 17 | 21k|3419 | 0.000000e+00 | -- | Inf
95.96/96.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
95.96/96.05 c 96.1s| 33900 | 217 |617889 | 18.2 |9851k| 52 | 22 | 231 |9411 | 231 |2453 | 17 | 21k|3431 | 0.000000e+00 | -- | Inf
96.27/96.30 c 96.3s| 34000 | 216 |619488 | 18.2 |9869k| 52 | 25 | 231 |9458 | 231 |2453 | 17 | 21k|3439 | 0.000000e+00 | -- | Inf
96.56/96.60 c 96.6s| 34100 | 216 |621569 | 18.2 |9859k| 52 | - | 231 |9448 | 231 |2453 | 17 | 21k|3446 | 0.000000e+00 | -- | Inf
96.77/96.81 c 96.8s| 34200 | 220 |623145 | 18.2 |9880k| 52 | 39 | 231 |9481 | 231 |2453 | 17 | 21k|3447 | 0.000000e+00 | -- | Inf
96.97/97.04 c 97.0s| 34300 | 221 |624835 | 18.2 |9910k| 52 | - | 231 |9532 | 231 |2453 | 17 | 21k|3449 | 0.000000e+00 | -- | Inf
97.17/97.26 c 97.3s| 34400 | 219 |626491 | 18.2 |9922k| 52 | 26 | 231 |9589 | 231 |2453 | 17 | 21k|3450 | 0.000000e+00 | -- | Inf
97.36/97.48 c 97.5s| 34500 | 224 |628166 | 18.2 |9950k| 52 | 38 | 231 |9630 | 231 |2453 | 17 | 21k|3451 | 0.000000e+00 | -- | Inf
97.57/97.69 c 97.7s| 34600 | 222 |629756 | 18.2 |9969k| 52 | - | 231 |9674 | 231 |2453 | 17 | 21k|3451 | 0.000000e+00 | -- | Inf
97.87/97.92 c 97.9s| 34700 | 220 |631521 | 18.2 |9988k| 52 | - | 231 |9712 | 0 | 0 | 17 | 21k|3451 | 0.000000e+00 | -- | Inf
98.07/98.16 c 98.2s| 34800 | 218 |633436 | 18.2 |9985k| 52 | 38 | 231 |9742 | 231 |2453 | 17 | 21k|3451 | 0.000000e+00 | -- | Inf
98.36/98.43 c 98.4s| 34900 | 214 |635569 | 18.2 |9978k| 52 | - | 231 |9735 | 231 |2453 | 17 | 21k|3451 | 0.000000e+00 | -- | Inf
98.57/98.66 c 98.7s| 35000 | 213 |637274 | 18.2 |9949k| 52 | 37 | 231 |9668 | 231 |2453 | 17 | 21k|3451 | 0.000000e+00 | -- | Inf
98.87/98.91 c 98.9s| 35100 | 212 |639059 | 18.2 |9910k| 52 | 28 | 231 |9608 | 231 |2453 | 17 | 21k|3452 | 0.000000e+00 | -- | Inf
99.07/99.16 c 99.2s| 35200 | 210 |640972 | 18.2 |9904k| 52 | 39 | 231 |9597 | 231 |2453 | 17 | 22k|3453 | 0.000000e+00 | -- | Inf
99.37/99.41 c 99.4s| 35300 | 212 |642844 | 18.2 |9899k| 52 | 31 | 231 |9550 | 231 |2453 | 17 | 22k|3453 | 0.000000e+00 | -- | Inf
99.57/99.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
99.57/99.65 c 99.6s| 35400 | 208 |644673 | 18.2 |9902k| 52 | - | 231 |9577 | 231 |2453 | 17 | 22k|3453 | 0.000000e+00 | -- | Inf
99.76/99.89 c 99.9s| 35500 | 213 |646570 | 18.2 |9917k| 52 | - | 231 |9589 | 231 |2453 | 17 | 22k|3453 | 0.000000e+00 | -- | Inf
100.06/100.13 c 100s| 35600 | 213 |648378 | 18.2 |9922k| 52 | 32 | 231 |9608 | 231 |2453 | 17 | 22k|3453 | 0.000000e+00 | -- | Inf
100.27/100.38 c 100s| 35700 | 207 |650242 | 18.2 |9862k| 52 | - | 231 |9461 | 231 |2453 | 17 | 22k|3453 | 0.000000e+00 | -- | Inf
100.57/100.62 c 101s| 35800 | 206 |652027 | 18.2 |9803k| 52 | - | 231 |9326 | 231 |2453 | 17 | 22k|3453 | 0.000000e+00 | -- | Inf
100.76/100.87 c 101s| 35900 | 208 |653939 | 18.2 |9781k| 52 | - | 231 |9245 | 231 |2453 | 17 | 22k|3453 | 0.000000e+00 | -- | Inf
101.07/101.13 c 101s| 36000 | 207 |655849 | 18.2 |9734k| 52 | 37 | 231 |9142 | 231 |2453 | 17 | 22k|3453 | 0.000000e+00 | -- | Inf
101.27/101.37 c 101s| 36100 | 210 |657639 | 18.2 |9725k| 52 | 28 | 231 |9078 | 231 |2453 | 17 | 22k|3453 | 0.000000e+00 | -- | Inf
101.57/101.69 c 102s| 36200 | 208 |659690 | 18.2 |9740k| 52 | - | 231 |9128 | 231 |2453 | 17 | 22k|3468 | 0.000000e+00 | -- | Inf
101.86/101.98 c 102s| 36300 | 208 |661950 | 18.2 |9738k| 52 | 35 | 231 |9125 | 231 |2453 | 17 | 22k|3471 | 0.000000e+00 | -- | Inf
102.27/102.30 c 102s| 36400 | 208 |663926 | 18.2 |9716k| 52 | - | 231 |9036 | 231 |2453 | 17 | 22k|3484 | 0.000000e+00 | -- | Inf
102.57/102.60 c 103s| 36500 | 211 |666047 | 18.2 |9722k| 52 | 28 | 231 |9049 | 231 |2453 | 17 | 22k|3494 | 0.000000e+00 | -- | Inf
102.76/102.89 c 103s| 36600 | 210 |667811 | 18.2 |9737k| 52 | - | 231 |9083 | 231 |2453 | 17 | 22k|3512 | 0.000000e+00 | -- | Inf
103.06/103.12 c 103s| 36700 | 211 |669409 | 18.2 |9755k| 52 | 30 | 231 |9140 | 231 |2453 | 17 | 22k|3519 | 0.000000e+00 | -- | Inf
103.26/103.36 c 103s| 36800 | 213 |671089 | 18.2 |9778k| 52 | 27 | 231 |9190 | 231 |2453 | 17 | 23k|3523 | 0.000000e+00 | -- | Inf
103.57/103.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
103.57/103.67 c 104s| 36900 | 209 |673037 | 18.2 |9790k| 52 | - | 231 |9239 | 231 |2453 | 17 | 23k|3540 | 0.000000e+00 | -- | Inf
103.86/103.94 c 104s| 37000 | 210 |675071 | 18.2 |9813k| 52 | - | 231 |9300 | 231 |2453 | 17 | 23k|3543 | 0.000000e+00 | -- | Inf
104.16/104.21 c 104s| 37100 | 212 |676728 | 18.2 |9826k| 52 | 34 | 231 |9334 | 231 |2453 | 17 | 23k|3556 | 0.000000e+00 | -- | Inf
104.37/104.45 c 104s| 37200 | 210 |678214 | 18.2 |9825k| 52 | 32 | 231 |9358 | 231 |2453 | 17 | 23k|3565 | 0.000000e+00 | -- | Inf
104.67/104.74 c 105s| 37300 | 213 |680217 | 18.2 |9842k| 52 | - | 231 |9379 | 231 |2453 | 17 | 23k|3573 | 0.000000e+00 | -- | Inf
104.96/105.07 c 105s| 37400 | 213 |682514 | 18.2 |9859k| 52 | 35 | 231 |9432 | 231 |2453 | 17 | 23k|3582 | 0.000000e+00 | -- | Inf
105.27/105.35 c 105s| 37500 | 213 |684148 | 18.2 |9862k| 52 | - | 231 |9430 | 231 |2453 | 17 | 23k|3593 | 0.000000e+00 | -- | Inf
105.57/105.63 c 106s| 37600 | 212 |686068 | 18.2 |9832k| 52 | - | 231 |9388 | 231 |2453 | 17 | 23k|3602 | 0.000000e+00 | -- | Inf
105.86/105.93 c 106s| 37700 | 210 |688061 | 18.2 |9837k| 52 | 33 | 231 |9413 | 231 |2453 | 17 | 23k|3613 | 0.000000e+00 | -- | Inf
106.16/106.26 c 106s| 37800 | 209 |690309 | 18.3 |9845k| 52 | - | 231 |9438 | 231 |2453 | 17 | 23k|3630 | 0.000000e+00 | -- | Inf
106.47/106.55 c 107s| 37900 | 207 |692359 | 18.3 |9861k| 52 | - | 231 |9488 | 231 |2453 | 17 | 23k|3636 | 0.000000e+00 | -- | Inf
106.77/106.83 c 107s| 38000 | 207 |694233 | 18.3 |9886k| 52 | - | 231 |9550 | 231 |2453 | 17 | 23k|3648 | 0.000000e+00 | -- | Inf
106.96/107.09 c 107s| 38100 | 209 |696151 | 18.3 |9910k| 52 | 40 | 231 |9612 | 231 |2453 | 17 | 23k|3654 | 0.000000e+00 | -- | Inf
107.26/107.38 c 107s| 38200 | 204 |697976 | 18.3 |9906k| 52 | - | 231 |9616 | 231 |2453 | 17 | 23k|3664 | 0.000000e+00 | -- | Inf
107.56/107.65 c 108s| 38300 | 204 |700032 | 18.3 |9899k| 52 | - | 231 |9606 | 231 |2453 | 17 | 23k|3669 | 0.000000e+00 | -- | Inf
107.76/107.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
107.76/107.89 c 108s| 38400 | 204 |701730 | 18.3 |9909k| 52 | - | 231 |9609 | 231 |2453 | 17 | 24k|3673 | 0.000000e+00 | -- | Inf
108.06/108.12 c 108s| 38500 | 208 |703304 | 18.3 |9887k| 52 | 24 | 231 |9538 | 231 |2453 | 17 | 24k|3676 | 0.000000e+00 | -- | Inf
108.26/108.37 c 108s| 38600 | 208 |705143 | 18.3 |9899k| 52 | 42 | 231 |9570 | 231 |2453 | 17 | 24k|3677 | 0.000000e+00 | -- | Inf
108.57/108.61 c 109s| 38700 | 204 |706846 | 18.3 |9877k| 52 | 38 | 231 |9571 | 231 |2453 | 17 | 24k|3678 | 0.000000e+00 | -- | Inf
108.76/108.85 c 109s| 38800 | 202 |708665 | 18.3 |9858k| 52 | 36 | 231 |9519 | 231 |2453 | 17 | 24k|3679 | 0.000000e+00 | -- | Inf
109.07/109.12 c 109s| 38900 | 202 |710585 | 18.3 |9832k| 52 | 24 | 231 |9433 | 231 |2453 | 17 | 24k|3682 | 0.000000e+00 | -- | Inf
109.27/109.37 c 109s| 39000 | 200 |712389 | 18.3 |9818k| 52 | - | 231 |9409 | 231 |2453 | 17 | 24k|3685 | 0.000000e+00 | -- | Inf
109.56/109.62 c 110s| 39100 | 197 |714235 | 18.3 |9787k| 52 | 43 | 231 |9368 | 231 |2453 | 17 | 24k|3685 | 0.000000e+00 | -- | Inf
109.86/109.90 c 110s| 39200 | 197 |716444 | 18.3 |9772k| 52 | 34 | 231 |9311 | 231 |2453 | 17 | 24k|3685 | 0.000000e+00 | -- | Inf
110.07/110.15 c 110s| 39300 | 195 |718354 | 18.3 |9748k| 52 | - | 231 |9256 | 231 |2453 | 17 | 24k|3685 | 0.000000e+00 | -- | Inf
110.26/110.39 c 110s| 39400 | 193 |720144 | 18.3 |9715k| 52 | - | 231 |9167 | 231 |2453 | 17 | 24k|3685 | 0.000000e+00 | -- | Inf
110.57/110.61 c 111s| 39500 | 195 |721796 | 18.3 |9726k| 52 | 32 | 231 |9204 | 231 |2453 | 17 | 24k|3685 | 0.000000e+00 | -- | Inf
110.76/110.81 c 111s| 39600 | 191 |723226 | 18.3 |9733k| 52 | - | 231 |9238 | 231 |2453 | 17 | 24k|3685 | 0.000000e+00 | -- | Inf
110.97/111.07 c 111s| 39700 | 189 |725281 | 18.3 |9726k| 52 | - | 231 |9234 | 231 |2453 | 17 | 24k|3685 | 0.000000e+00 | -- | Inf
111.27/111.31 c 111s| 39800 | 191 |727205 | 18.3 |9718k| 52 | 31 | 231 |9224 | 231 |2453 | 17 | 24k|3685 | 0.000000e+00 | -- | Inf
111.47/111.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.47/111.54 c 112s| 39900 | 191 |728918 | 18.3 |9722k| 52 | - | 231 |9227 | 231 |2453 | 17 | 24k|3685 | 0.000000e+00 | -- | Inf
111.66/111.78 c 112s| 40000 | 191 |730888 | 18.3 |9723k| 52 | 35 | 231 |9231 | 231 |2453 | 17 | 25k|3685 | 0.000000e+00 | -- | Inf
111.96/112.01 c 112s| 40100 | 189 |732560 | 18.3 |9731k| 52 | - | 231 |9255 | 231 |2453 | 17 | 25k|3685 | 0.000000e+00 | -- | Inf
112.16/112.22 c 112s| 40200 | 187 |734185 | 18.3 |9720k| 52 | 32 | 231 |9258 | 231 |2453 | 17 | 25k|3685 | 0.000000e+00 | -- | Inf
112.37/112.43 c 112s| 40300 | 184 |735755 | 18.3 |9718k| 52 | - | 231 |9258 | 0 | 0 | 17 | 25k|3685 | 0.000000e+00 | -- | Inf
112.57/112.67 c 113s| 40400 | 184 |737574 | 18.3 |9718k| 52 | - | 231 |9261 | 231 |2453 | 17 | 25k|3685 | 0.000000e+00 | -- | Inf
112.86/112.97 c 113s| 40500 | 179 |739491 | 18.3 |9709k| 52 | - | 231 |9284 | 231 |2453 | 17 | 25k|3695 | 0.000000e+00 | -- | Inf
113.17/113.25 c 113s| 40600 | 179 |741421 | 18.3 |9709k| 52 | - | 231 |9265 | 231 |2453 | 17 | 25k|3705 | 0.000000e+00 | -- | Inf
113.47/113.54 c 114s| 40700 | 181 |743262 | 18.3 |9697k| 52 | - | 231 |9207 | 231 |2453 | 17 | 25k|3714 | 0.000000e+00 | -- | Inf
113.76/113.81 c 114s| 40800 | 180 |744987 | 18.3 |9693k| 52 | 44 | 231 |9208 | 231 |2453 | 17 | 25k|3723 | 0.000000e+00 | -- | Inf
113.96/114.08 c 114s| 40900 | 178 |746723 | 18.3 |9687k| 52 | 46 | 231 |9197 | 231 |2453 | 17 | 25k|3730 | 0.000000e+00 | -- | Inf
114.26/114.36 c 114s| 41000 | 181 |748516 | 18.3 |9702k| 52 | - | 231 |9205 | 231 |2453 | 17 | 25k|3740 | 0.000000e+00 | -- | Inf
114.46/114.59 c 115s| 41100 | 179 |750017 | 18.2 |9707k| 52 | - | 231 |9221 | 231 |2453 | 17 | 25k|3746 | 0.000000e+00 | -- | Inf
114.76/114.88 c 115s| 41200 | 181 |751840 | 18.2 |9730k| 52 | - | 231 |9269 | 231 |2453 | 17 | 25k|3758 | 0.000000e+00 | -- | Inf
115.06/115.18 c 115s| 41300 | 181 |753823 | 18.2 |9707k| 52 | 32 | 231 |9209 | 231 |2453 | 17 | 25k|3765 | 0.000000e+00 | -- | Inf
115.46/115.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
115.46/115.50 c 116s| 41400 | 185 |755958 | 18.3 |9697k| 52 | 38 | 231 |9133 | 231 |2453 | 17 | 25k|3777 | 0.000000e+00 | -- | Inf
115.67/115.77 c 116s| 41500 | 185 |757614 | 18.3 |9699k| 52 | - | 231 |9129 | 0 | 0 | 17 | 25k|3787 | 0.000000e+00 | -- | Inf
116.07/116.10 c 116s| 41600 | 188 |759666 | 18.3 |9689k| 52 | - | 231 |9086 | 231 |2453 | 17 | 26k|3802 | 0.000000e+00 | -- | Inf
116.37/116.40 c 116s| 41700 | 188 |761705 | 18.3 |9690k| 52 | 25 | 231 |9101 | 231 |2453 | 17 | 26k|3808 | 0.000000e+00 | -- | Inf
116.56/116.70 c 117s| 41800 | 193 |763767 | 18.3 |9714k| 52 | 36 | 231 |9140 | 231 |2453 | 17 | 26k|3821 | 0.000000e+00 | -- | Inf
116.97/117.01 c 117s| 41900 | 194 |765863 | 18.3 |9726k| 52 | 24 | 231 |9168 | 231 |2453 | 17 | 26k|3833 | 0.000000e+00 | -- | Inf
117.16/117.29 c 117s| 42000 | 193 |767803 | 18.3 |9744k| 52 | 20 | 231 |9209 | 231 |2453 | 17 | 26k|3842 | 0.000000e+00 | -- | Inf
117.46/117.56 c 118s| 42100 | 196 |769513 | 18.3 |9767k| 52 | 29 | 231 |9268 | 231 |2453 | 17 | 26k|3852 | 0.000000e+00 | -- | Inf
117.77/117.83 c 118s| 42200 | 197 |771548 | 18.3 |9792k| 52 | 28 | 231 |9318 | 231 |2453 | 17 | 26k|3857 | 0.000000e+00 | -- | Inf
118.06/118.12 c 118s| 42300 | 194 |773707 | 18.3 |9802k| 52 | 35 | 231 |9373 | 231 |2453 | 17 | 26k|3860 | 0.000000e+00 | -- | Inf
118.26/118.38 c 118s| 42400 | 193 |775591 | 18.3 |9812k| 52 | 30 | 231 |9408 | 231 |2453 | 17 | 26k|3864 | 0.000000e+00 | -- | Inf
118.57/118.65 c 119s| 42500 | 193 |777509 | 18.3 |9829k| 52 | 40 | 231 |9453 | 231 |2453 | 17 | 26k|3869 | 0.000000e+00 | -- | Inf
118.76/118.89 c 119s| 42600 | 191 |779307 | 18.3 |9848k| 52 | - | 231 |9506 | 231 |2453 | 17 | 26k|3871 | 0.000000e+00 | -- | Inf
119.06/119.13 c 119s| 42700 | 191 |781050 | 18.3 |9864k| 52 | - | 231 |9552 | 0 | 0 | 17 | 26k|3874 | 0.000000e+00 | -- | Inf
119.36/119.40 c 119s| 42800 | 189 |783118 | 18.3 |9868k| 52 | - | 231 |9592 | 231 |2453 | 17 | 26k|3875 | 0.000000e+00 | -- | Inf
119.56/119.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
119.56/119.67 c 120s| 42900 | 190 |785016 | 18.3 |9876k| 52 | - | 231 |9603 | 231 |2453 | 17 | 26k|3879 | 0.000000e+00 | -- | Inf
119.86/119.95 c 120s| 43000 | 186 |787134 | 18.3 |9861k| 52 | - | 231 |9573 | 231 |2453 | 17 | 26k|3879 | 0.000000e+00 | -- | Inf
120.06/120.19 c 120s| 43100 | 184 |788909 | 18.3 |9839k| 52 | 40 | 231 |9532 | 231 |2453 | 17 | 26k|3879 | 0.000000e+00 | -- | Inf
120.36/120.45 c 120s| 43200 | 184 |790896 | 18.3 |9834k| 52 | 45 | 231 |9517 | 231 |2453 | 17 | 26k|3879 | 0.000000e+00 | -- | Inf
120.56/120.68 c 121s| 43300 | 190 |792691 | 18.3 |9853k| 52 | 41 | 231 |9526 | 231 |2453 | 17 | 27k|3879 | 0.000000e+00 | -- | Inf
120.87/120.94 c 121s| 43400 | 187 |794819 | 18.3 |9864k| 52 | 33 | 231 |9572 | 231 |2453 | 17 | 27k|3879 | 0.000000e+00 | -- | Inf
121.07/121.18 c 121s| 43500 | 185 |796697 | 18.3 |9868k| 52 | 30 | 231 |9603 | 231 |2453 | 17 | 27k|3879 | 0.000000e+00 | -- | Inf
121.36/121.42 c 121s| 43600 | 184 |798465 | 18.3 |9853k| 52 | 32 | 231 |9566 | 231 |2453 | 17 | 27k|3879 | 0.000000e+00 | -- | Inf
121.67/121.72 c 122s| 43700 | 184 |800835 | 18.3 |9840k| 52 | - | 231 |9515 | 231 |2453 | 17 | 27k|3879 | 0.000000e+00 | -- | Inf
121.87/121.95 c 122s| 43800 | 190 |802696 | 18.3 |9845k| 56 | 30 | 231 |9485 | 231 |2453 | 17 | 27k|3879 | 0.000000e+00 | -- | Inf
122.06/122.15 c 122s| 43900 | 186 |804226 | 18.3 |9843k| 56 | - | 231 |9492 | 231 |2453 | 17 | 27k|3879 | 0.000000e+00 | -- | Inf
122.27/122.37 c 122s| 44000 | 186 |806030 | 18.3 |9841k| 56 | - | 231 |9484 | 231 |2453 | 17 | 27k|3879 | 0.000000e+00 | -- | Inf
122.56/122.60 c 123s| 44100 | 183 |807705 | 18.3 |9836k| 56 | - | 231 |9479 | 231 |2453 | 17 | 27k|3879 | 0.000000e+00 | -- | Inf
122.76/122.87 c 123s| 44200 | 179 |809811 | 18.3 |9819k| 56 | - | 231 |9473 | 231 |2453 | 17 | 27k|3879 | 0.000000e+00 | -- | Inf
123.06/123.13 c 123s| 44300 | 183 |811954 | 18.3 |9825k| 56 | 31 | 231 |9474 | 231 |2453 | 17 | 27k|3879 | 0.000000e+00 | -- | Inf
123.26/123.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
123.26/123.35 c 123s| 44400 | 181 |813743 | 18.3 |9835k| 56 | - | 231 |9487 | 231 |2453 | 17 | 27k|3879 | 0.000000e+00 | -- | Inf
123.56/123.65 c 124s| 44500 | 181 |815794 | 18.3 |9814k| 56 | 27 | 231 |9451 | 231 |2453 | 17 | 27k|3889 | 0.000000e+00 | -- | Inf
123.86/123.95 c 124s| 44600 | 182 |817651 | 18.3 |9823k| 56 | 26 | 231 |9473 | 231 |2453 | 17 | 27k|3904 | 0.000000e+00 | -- | Inf
124.06/124.17 c 124s| 44700 | 182 |819346 | 18.3 |9841k| 56 | 29 | 231 |9515 | 231 |2453 | 17 | 27k|3904 | 0.000000e+00 | -- | Inf
124.36/124.48 c 124s| 44800 | 179 |821402 | 18.3 |9843k| 56 | 32 | 231 |9534 | 231 |2453 | 17 | 27k|3914 | 0.000000e+00 | -- | Inf
124.76/124.81 c 125s| 44900 | 176 |823262 | 18.3 |9829k| 56 | - | 231 |9509 | 231 |2453 | 17 | 27k|3931 | 0.000000e+00 | -- | Inf
124.96/125.04 c 125s| 45000 | 176 |824925 | 18.3 |9822k| 56 | - | 231 |9483 | 231 |2453 | 17 | 27k|3931 | 0.000000e+00 | -- | Inf
125.26/125.34 c 125s| 45100 | 176 |826961 | 18.3 |9820k| 56 | 41 | 231 |9485 | 231 |2453 | 17 | 28k|3940 | 0.000000e+00 | -- | Inf
125.57/125.64 c 126s| 45200 | 176 |828949 | 18.3 |9821k| 56 | - | 231 |9476 | 231 |2453 | 17 | 28k|3949 | 0.000000e+00 | -- | Inf
125.86/125.92 c 126s| 45300 | 178 |831076 | 18.3 |9830k| 56 | - | 231 |9474 | 231 |2453 | 17 | 28k|3952 | 0.000000e+00 | -- | Inf
126.16/126.20 c 126s| 45400 | 178 |833028 | 18.3 |9834k| 56 | 33 | 231 |9483 | 231 |2453 | 17 | 28k|3963 | 0.000000e+00 | -- | Inf
126.46/126.50 c 127s| 45500 | 174 |834963 | 18.3 |9832k| 56 | - | 231 |9489 | 231 |2453 | 17 | 28k|3975 | 0.000000e+00 | -- | Inf
126.67/126.77 c 127s| 45600 | 174 |836562 | 18.3 |9801k| 56 | - | 231 |9392 | 231 |2453 | 17 | 28k|3984 | 0.000000e+00 | -- | Inf
126.96/127.02 c 127s| 45700 | 176 |838313 | 18.3 |9797k| 56 | 37 | 231 |9377 | 231 |2453 | 17 | 28k|3990 | 0.000000e+00 | -- | Inf
127.16/127.29 c 127s| 45800 | 182 |840141 | 18.3 |9811k| 56 | 38 | 231 |9360 | 231 |2453 | 17 | 28k|3999 | 0.000000e+00 | -- | Inf
127.46/127.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
127.46/127.53 c 128s| 45900 | 176 |841680 | 18.3 |9799k| 56 | - | 231 |9361 | 231 |2453 | 17 | 28k|4008 | 0.000000e+00 | -- | Inf
127.76/127.83 c 128s| 46000 | 172 |843680 | 18.3 |9790k| 56 | - | 231 |9369 | 231 |2453 | 17 | 28k|4019 | 0.000000e+00 | -- | Inf
128.06/128.10 c 128s| 46100 | 168 |845431 | 18.3 |9772k| 56 | - | 231 |9358 | 0 | 0 | 17 | 28k|4029 | 0.000000e+00 | -- | Inf
128.26/128.35 c 128s| 46200 | 168 |847021 | 18.3 |9761k| 56 | - | 231 |9320 | 231 |2453 | 17 | 28k|4036 | 0.000000e+00 | -- | Inf
128.56/128.67 c 129s| 46300 | 166 |849135 | 18.3 |9735k| 56 | - | 231 |9259 | 231 |2453 | 17 | 28k|4046 | 0.000000e+00 | -- | Inf
128.87/128.97 c 129s| 46400 | 170 |851119 | 18.3 |9741k| 56 | 22 | 231 |9265 | 231 |2453 | 17 | 28k|4055 | 0.000000e+00 | -- | Inf
129.16/129.20 c 129s| 46500 | 168 |852780 | 18.3 |9758k| 56 | 24 | 231 |9311 | 231 |2453 | 17 | 28k|4058 | 0.000000e+00 | -- | Inf
129.36/129.44 c 129s| 46600 | 169 |854523 | 18.3 |9778k| 56 | 24 | 231 |9360 | 231 |2453 | 17 | 28k|4062 | 0.000000e+00 | -- | Inf
129.56/129.67 c 130s| 46700 | 165 |856174 | 18.3 |9764k| 56 | 35 | 231 |9340 | 231 |2453 | 17 | 28k|4063 | 0.000000e+00 | -- | Inf
129.86/129.92 c 130s| 46800 | 160 |858003 | 18.3 |9730k| 56 | 36 | 231 |9301 | 231 |2453 | 17 | 29k|4064 | 0.000000e+00 | -- | Inf
130.06/130.17 c 130s| 46900 | 158 |859955 | 18.3 |9730k| 56 | - | 231 |9299 | 231 |2453 | 17 | 29k|4064 | 0.000000e+00 | -- | Inf
130.36/130.42 c 130s| 47000 | 159 |861832 | 18.3 |9699k| 56 | 43 | 231 |9203 | 231 |2453 | 17 | 29k|4064 | 0.000000e+00 | -- | Inf
130.56/130.67 c 131s| 47100 | 155 |863791 | 18.3 |9693k| 56 | 32 | 231 |9213 | 231 |2453 | 17 | 29k|4064 | 0.000000e+00 | -- | Inf
130.86/130.91 c 131s| 47200 | 152 |865634 | 18.3 |9691k| 56 | - | 231 |9206 | 231 |2453 | 17 | 29k|4064 | 0.000000e+00 | -- | Inf
131.07/131.17 c 131s| 47300 | 152 |867632 | 18.3 |9692k| 56 | 34 | 231 |9226 | 231 |2453 | 17 | 29k|4064 | 0.000000e+00 | -- | Inf
131.36/131.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
131.36/131.40 c 131s| 47400 | 152 |869328 | 18.3 |9695k| 56 | 34 | 231 |9236 | 231 |2453 | 17 | 29k|4064 | 0.000000e+00 | -- | Inf
131.56/131.65 c 132s| 47500 | 149 |871109 | 18.3 |9668k| 56 | 37 | 231 |9195 | 231 |2453 | 17 | 29k|4064 | 0.000000e+00 | -- | Inf
131.86/131.90 c 132s| 47600 | 151 |873208 | 18.3 |9688k| 56 | - | 231 |9221 | 231 |2453 | 17 | 29k|4064 | 0.000000e+00 | -- | Inf
132.07/132.14 c 132s| 47700 | 147 |875059 | 18.3 |9686k| 56 | 43 | 231 |9249 | 231 |2453 | 17 | 29k|4064 | 0.000000e+00 | -- | Inf
132.36/132.40 c 132s| 47800 | 143 |877041 | 18.3 |9673k| 56 | - | 231 |9236 | 231 |2453 | 17 | 29k|4064 | 0.000000e+00 | -- | Inf
132.56/132.67 c 133s| 47900 | 147 |879236 | 18.4 |9688k| 56 | 42 | 231 |9255 | 231 |2453 | 17 | 29k|4064 | 0.000000e+00 | -- | Inf
132.86/132.93 c 133s| 48000 | 144 |881352 | 18.4 |9697k| 56 | 39 | 231 |9292 | 231 |2453 | 17 | 29k|4064 | 0.000000e+00 | -- | Inf
133.06/133.20 c 133s| 48100 | 141 |883498 | 18.4 |9702k| 56 | - | 231 |9318 | 231 |2453 | 17 | 29k|4064 | 0.000000e+00 | -- | Inf
133.36/133.43 c 133s| 48200 | 142 |885317 | 18.4 |9728k| 56 | - | 231 |9376 | 231 |2453 | 17 | 29k|4064 | 0.000000e+00 | -- | Inf
133.56/133.66 c 134s| 48300 | 146 |887172 | 18.4 |9753k| 56 | 42 | 231 |9434 | 231 |2453 | 17 | 29k|4064 | 0.000000e+00 | -- | Inf
133.86/133.91 c 134s| 48400 | 146 |889309 | 18.4 |9778k| 56 | - | 231 |9481 | 231 |2453 | 17 | 30k|4064 | 0.000000e+00 | -- | Inf
134.06/134.16 c 134s| 48500 | 144 |891271 | 18.4 |9782k| 56 | 48 | 231 |9524 | 231 |2453 | 17 | 30k|4064 | 0.000000e+00 | -- | Inf
134.26/134.38 c 134s| 48600 | 145 |892998 | 18.4 |9809k| 56 | - | 231 |9575 | 231 |2453 | 17 | 30k|4064 | 0.000000e+00 | -- | Inf
134.56/134.65 c 135s| 48700 | 144 |895062 | 18.4 |9830k| 56 | - | 231 |9631 | 231 |2453 | 17 | 30k|4067 | 0.000000e+00 | -- | Inf
134.85/134.93 c 135s| 48800 | 144 |896980 | 18.4 |9847k| 56 | 34 | 231 |9681 | 231 |2453 | 17 | 30k|4077 | 0.000000e+00 | -- | Inf
135.16/135.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
135.16/135.21 c 135s| 48900 | 140 |898733 | 18.4 |9848k| 56 | - | 231 |9703 | 231 |2453 | 17 | 30k|4087 | 0.000000e+00 | -- | Inf
135.36/135.50 c 135s| 49000 | 141 |900827 | 18.4 |9855k| 56 | 37 | 231 |9717 | 231 |2453 | 17 | 30k|4094 | 0.000000e+00 | -- | Inf
135.76/135.83 c 136s| 49100 | 143 |902870 | 18.4 |9857k| 56 | 49 | 231 |9712 | 231 |2453 | 17 | 30k|4112 | 0.000000e+00 | -- | Inf
136.06/136.14 c 136s| 49200 | 143 |905205 | 18.4 |9866k| 56 | 32 | 231 |9716 | 231 |2453 | 17 | 30k|4120 | 0.000000e+00 | -- | Inf
136.36/136.44 c 136s| 49300 | 141 |907169 | 18.4 |9863k| 56 | 35 | 231 |9700 | 231 |2453 | 17 | 30k|4130 | 0.000000e+00 | -- | Inf
136.65/136.70 c 137s| 49400 | 142 |909050 | 18.4 |9859k| 56 | - | 231 |9694 | 231 |2453 | 17 | 30k|4131 | 0.000000e+00 | -- | Inf
136.86/136.98 c 137s| 49500 | 139 |910732 | 18.4 |9852k| 56 | - | 231 |9686 | 231 |2453 | 17 | 30k|4146 | 0.000000e+00 | -- | Inf
137.16/137.27 c 137s| 49600 | 139 |912526 | 18.4 |9838k| 56 | - | 231 |9660 | 231 |2453 | 17 | 30k|4155 | 0.000000e+00 | -- | Inf
137.46/137.55 c 138s| 49700 | 141 |914465 | 18.4 |9843k| 56 | 43 | 231 |9670 | 231 |2453 | 17 | 30k|4162 | 0.000000e+00 | -- | Inf
137.76/137.82 c 138s| 49800 | 141 |916335 | 18.4 |9851k| 56 | - | 231 |9684 | 231 |2453 | 17 | 30k|4169 | 0.000000e+00 | -- | Inf
137.96/138.09 c 138s| 49900 | 145 |918199 | 18.4 |9871k| 56 | 44 | 231 |9728 | 231 |2453 | 17 | 30k|4175 | 0.000000e+00 | -- | Inf
138.26/138.38 c 138s| 50000 | 140 |920083 | 18.4 |9871k| 56 | 46 | 231 |9764 | 231 |2453 | 17 | 31k|4185 | 0.000000e+00 | -- | Inf
138.56/138.67 c 139s| 50100 | 137 |921771 | 18.4 |9875k| 56 | - | 231 |9786 | 231 |2453 | 17 | 31k|4196 | 0.000000e+00 | -- | Inf
138.86/138.97 c 139s| 50200 | 135 |923732 | 18.4 |9830k| 56 | - | 231 |9666 | 231 |2453 | 17 | 31k|4205 | 0.000000e+00 | -- | Inf
139.16/139.30 c 139s| 50300 | 133 |926007 | 18.4 |9796k| 56 | 38 | 231 |9604 | 231 |2453 | 17 | 31k|4212 | 0.000000e+00 | -- | Inf
139.56/139.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
139.56/139.61 c 140s| 50400 | 135 |928244 | 18.4 |9815k| 56 | - | 231 |9624 | 231 |2453 | 17 | 31k|4220 | 0.000000e+00 | -- | Inf
139.87/139.91 c 140s| 50500 | 137 |930185 | 18.4 |9825k| 56 | 43 | 231 |9640 | 231 |2453 | 17 | 31k|4234 | 0.000000e+00 | -- | Inf
140.06/140.18 c 140s| 50600 | 144 |932140 | 18.4 |9858k| 56 | 28 | 231 |9675 | 231 |2453 | 17 | 31k|4242 | 0.000000e+00 | -- | Inf
140.36/140.48 c 140s| 50700 | 140 |934132 | 18.4 |9872k| 56 | 33 | 231 |9737 | 231 |2453 | 17 | 31k|4258 | 0.000000e+00 | -- | Inf
140.66/140.77 c 141s| 50800 | 132 |936124 | 18.4 |9876k| 56 | - | 231 |9784 | 0 | 0 | 17 | 31k|4266 | 0.000000e+00 | -- | Inf
140.96/141.06 c 141s| 50900 | 134 |937919 | 18.4 |9872k| 56 | - | 231 |9753 | 231 |2453 | 17 | 31k|4276 | 0.000000e+00 | -- | Inf
141.25/141.37 c 141s| 51000 | 134 |940101 | 18.4 |9855k| 56 | 42 | 231 |9726 | 231 |2453 | 17 | 31k|4284 | 0.000000e+00 | -- | Inf
141.56/141.63 c 142s| 51100 | 138 |941942 | 18.4 |9865k| 56 | - | 231 |9715 | 231 |2453 | 17 | 31k|4287 | 0.000000e+00 | -- | Inf
141.76/141.84 c 142s| 51200 | 136 |943452 | 18.4 |9870k| 56 | - | 231 |9740 | 231 |2453 | 17 | 31k|4289 | 0.000000e+00 | -- | Inf
141.96/142.05 c 142s| 51300 | 138 |944959 | 18.4 |9886k| 56 | - | 231 |9765 | 231 |2453 | 17 | 31k|4291 | 0.000000e+00 | -- | Inf
142.15/142.28 c 142s| 51400 | 142 |946439 | 18.4 |9893k| 56 | 30 | 231 |9763 | 231 |2453 | 17 | 31k|4296 | 0.000000e+00 | -- | Inf
142.46/142.51 c 143s| 51500 | 142 |948067 | 18.4 |9914k| 56 | - | 231 |9803 | 231 |2453 | 17 | 31k|4299 | 0.000000e+00 | -- | Inf
142.66/142.72 c 143s| 51600 | 142 |949597 | 18.4 |9929k| 56 | - | 231 |9849 | 231 |2453 | 17 | 31k|4299 | 0.000000e+00 | -- | Inf
142.86/142.95 c 143s| 51700 | 144 |951385 | 18.4 |9950k| 56 | 39 | 231 |9897 | 231 |2453 | 17 | 31k|4299 | 0.000000e+00 | -- | Inf
143.16/143.21 c 143s| 51800 | 147 |953398 | 18.4 |9974k| 56 | - | 231 |9933 | 231 |2453 | 17 | 32k|4300 | 0.000000e+00 | -- | Inf
143.36/143.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
143.36/143.48 c 143s| 51900 | 155 |955634 | 18.4 | 10M| 56 | 33 | 231 |9965 | 231 |2453 | 17 | 32k|4301 | 0.000000e+00 | -- | Inf
143.66/143.73 c 144s| 52000 | 157 |957586 | 18.4 | 10M| 56 | 33 | 231 |9992 | 231 |2453 | 17 | 32k|4301 | 0.000000e+00 | -- | Inf
143.86/143.99 c 144s| 52100 | 155 |959677 | 18.4 | 10M| 56 | 35 | 231 | 10k| 231 |2453 | 17 | 32k|4301 | 0.000000e+00 | -- | Inf
144.06/144.20 c 144s| 52200 | 156 |961218 | 18.4 | 10M| 56 | 36 | 231 | 10k| 231 |2453 | 17 | 32k|4303 | 0.000000e+00 | -- | Inf
144.36/144.45 c 144s| 52300 | 152 |963127 | 18.4 | 10M| 56 | 29 | 231 | 10k| 231 |2453 | 17 | 32k|4304 | 0.000000e+00 | -- | Inf
144.56/144.69 c 145s| 52400 | 148 |965033 | 18.4 | 10M| 56 | - | 231 | 10k| 231 |2453 | 17 | 32k|4304 | 0.000000e+00 | -- | Inf
144.85/144.97 c 145s| 52500 | 145 |967196 | 18.4 | 10M| 56 | - | 231 | 10k| 231 |2453 | 17 | 32k|4304 | 0.000000e+00 | -- | Inf
145.16/145.21 c 145s| 52600 | 146 |969024 | 18.4 | 10M| 56 | 29 | 231 | 10k| 231 |2453 | 17 | 32k|4304 | 0.000000e+00 | -- | Inf
145.37/145.46 c 145s| 52700 | 144 |970919 | 18.4 | 10M| 56 | 30 | 231 | 10k| 231 |2453 | 17 | 32k|4304 | 0.000000e+00 | -- | Inf
145.65/145.70 c 146s| 52800 | 140 |972766 | 18.4 | 10M| 56 | - | 231 | 10k| 231 |2453 | 17 | 32k|4305 | 0.000000e+00 | -- | Inf
145.85/145.93 c 146s| 52900 | 138 |974474 | 18.4 | 10M| 56 | - | 231 | 10k| 231 |2453 | 17 | 32k|4305 | 0.000000e+00 | -- | Inf
146.06/146.17 c 146s| 53000 | 135 |976196 | 18.4 | 10M| 56 | 39 | 231 | 10k| 231 |2453 | 17 | 32k|4307 | 0.000000e+00 | -- | Inf
146.26/146.39 c 146s| 53100 | 136 |977788 | 18.4 | 10M| 56 | - | 231 | 10k| 0 | 0 | 17 | 32k|4307 | 0.000000e+00 | -- | Inf
146.55/146.64 c 147s| 53200 | 132 |979698 | 18.4 | 10M| 56 | - | 231 | 10k| 231 |2453 | 17 | 32k|4307 | 0.000000e+00 | -- | Inf
146.76/146.88 c 147s| 53300 | 134 |981491 | 18.4 | 10M| 56 | - | 231 | 10k| 231 |2453 | 17 | 32k|4307 | 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| 53400 | 132 |983134 | 18.4 | 10M| 56 | 44 | 231 | 10k| 231 |2453 | 17 | 32k|4307 | 0.000000e+00 | -- | Inf
147.25/147.32 c 147s| 53500 | 132 |984836 | 18.4 | 10M| 56 | 30 | 231 | 10k| 231 |2453 | 17 | 32k|4307 | 0.000000e+00 | -- | Inf
147.46/147.56 c 148s| 53600 | 132 |986506 | 18.4 | 10M| 56 | 35 | 231 | 10k| 231 |2453 | 17 | 33k|4307 | 0.000000e+00 | -- | Inf
147.76/147.82 c 148s| 53700 | 130 |988132 | 18.4 | 10M| 56 | - | 231 | 10k| 231 |2453 | 17 | 33k|4317 | 0.000000e+00 | -- | Inf
147.96/148.04 c 148s| 53800 | 130 |989655 | 18.4 | 10M| 56 | 41 | 231 | 10k| 231 |2453 | 17 | 33k|4317 | 0.000000e+00 | -- | Inf
148.26/148.30 c 148s| 53900 | 132 |991225 | 18.4 | 10M| 56 | 24 | 231 | 10k| 231 |2453 | 17 | 33k|4327 | 0.000000e+00 | -- | Inf
148.45/148.56 c 149s| 54000 | 132 |992871 | 18.4 | 10M| 56 | 32 | 231 | 10k| 231 |2453 | 17 | 33k|4334 | 0.000000e+00 | -- | Inf
148.76/148.85 c 149s| 54100 | 130 |994600 | 18.4 | 10M| 56 | - | 231 | 10k| 231 |2453 | 17 | 33k|4347 | 0.000000e+00 | -- | Inf
149.06/149.11 c 149s| 54200 | 129 |996163 | 18.4 | 10M| 56 | 43 | 231 | 10k| 231 |2453 | 17 | 33k|4354 | 0.000000e+00 | -- | Inf
149.35/149.40 c 149s| 54300 | 127 |998010 | 18.4 | 10M| 56 | - | 231 | 10k| 231 |2453 | 17 | 33k|4365 | 0.000000e+00 | -- | Inf
149.55/149.64 c 150s| 54400 | 129 |999771 | 18.4 | 10M| 56 | 34 | 231 | 10k| 231 |2453 | 17 | 33k|4365 | 0.000000e+00 | -- | Inf
149.77/149.88 c 150s| 54500 | 129 | 1001k| 18.4 | 10M| 56 | - | 231 | 10k| 231 |2453 | 17 | 33k|4370 | 0.000000e+00 | -- | Inf
150.16/150.22 c 150s| 54600 | 127 | 1003k| 18.4 | 10M| 56 | 33 | 231 | 10k| 231 |2453 | 17 | 33k|4386 | 0.000000e+00 | -- | Inf
150.35/150.46 c 150s| 54700 | 129 | 1005k| 18.4 | 10M| 56 | 47 | 231 | 10k| 231 |2453 | 17 | 33k|4386 | 0.000000e+00 | -- | Inf
150.66/150.77 c 151s| 54800 | 125 | 1007k| 18.4 | 10M| 56 | 39 | 231 | 10k| 231 |2453 | 17 | 33k|4395 | 0.000000e+00 | -- | Inf
150.96/151.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
150.96/151.05 c 151s| 54900 | 125 | 1009k| 18.4 | 10M| 56 | 29 | 231 | 10k| 231 |2453 | 17 | 33k|4399 | 0.000000e+00 | -- | Inf
151.26/151.36 c 151s| 55000 | 119 | 1011k| 18.4 |9962k| 56 | 41 | 231 |9979 | 231 |2453 | 17 | 33k|4411 | 0.000000e+00 | -- | Inf
151.56/151.63 c 152s| 55100 | 114 | 1013k| 18.4 |9948k| 56 | - | 231 |9959 | 231 |2453 | 17 | 33k|4419 | 0.000000e+00 | -- | Inf
151.87/151.94 c 152s| 55200 | 113 | 1015k| 18.4 |9939k| 56 | - | 231 |9924 | 0 | 0 | 17 | 33k|4431 | 0.000000e+00 | -- | Inf
152.16/152.22 c 152s| 55300 | 111 | 1017k| 18.4 |9915k| 56 | 42 | 231 |9894 | 231 |2453 | 17 | 34k|4438 | 0.000000e+00 | -- | Inf
152.46/152.56 c 153s| 55400 | 111 | 1019k| 18.4 |9901k| 56 | - | 231 |9864 | 231 |2453 | 17 | 34k|4454 | 0.000000e+00 | -- | Inf
152.76/152.83 c 153s| 55500 | 107 | 1021k| 18.4 |9894k| 56 | - | 231 |9891 | 231 |2453 | 17 | 34k|4457 | 0.000000e+00 | -- | Inf
152.97/153.08 c 153s| 55600 | 109 | 1022k| 18.4 |9903k| 56 | - | 231 |9904 | 231 |2453 | 17 | 34k|4464 | 0.000000e+00 | -- | Inf
153.26/153.33 c 153s| 55700 | 110 | 1024k| 18.4 |9918k| 56 | - | 231 |9938 | 231 |2453 | 17 | 34k|4471 | 0.000000e+00 | -- | Inf
153.56/153.61 c 154s| 55800 | 111 | 1026k| 18.4 |9934k| 56 | 36 | 231 |9986 | 231 |2453 | 17 | 34k|4483 | 0.000000e+00 | -- | Inf
153.76/153.87 c 154s| 55900 | 109 | 1027k| 18.4 |9949k| 56 | - | 231 | 10k| 231 |2453 | 17 | 34k|4492 | 0.000000e+00 | -- | Inf
154.07/154.14 c 154s| 56000 | 111 | 1029k| 18.4 |9969k| 56 | - | 231 | 10k| 231 |2453 | 17 | 34k|4499 | 0.000000e+00 | -- | Inf
154.35/154.43 c 154s| 56100 | 109 | 1031k| 18.4 |9970k| 56 | 39 | 231 | 10k| 231 |2453 | 17 | 34k|4511 | 0.000000e+00 | -- | Inf
154.66/154.71 c 155s| 56200 | 107 | 1033k| 18.4 |9969k| 56 | - | 231 | 10k| 231 |2453 | 17 | 34k|4519 | 0.000000e+00 | -- | Inf
154.85/154.98 c 155s| 56300 | 107 | 1035k| 18.4 |9977k| 56 | 32 | 231 | 10k| 231 |2453 | 17 | 34k|4521 | 0.000000e+00 | -- | Inf
155.17/155.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
155.17/155.25 c 155s| 56400 | 103 | 1037k| 18.4 |9987k| 56 | - | 231 | 10k| 231 |2453 | 17 | 34k|4523 | 0.000000e+00 | -- | Inf
155.46/155.51 c 156s| 56500 | 101 | 1039k| 18.4 |9967k| 56 | 44 | 231 | 10k| 231 |2453 | 17 | 34k|4523 | 0.000000e+00 | -- | Inf
155.66/155.79 c 156s| 56600 | 97 | 1041k| 18.4 |9942k| 56 | - | 231 | 10k| 231 |2453 | 17 | 34k|4524 | 0.000000e+00 | -- | Inf
155.96/156.03 c 156s| 56700 | 97 | 1043k| 18.4 |9923k| 56 | 49 | 231 | 10k| 231 |2453 | 17 | 34k|4524 | 0.000000e+00 | -- | Inf
156.16/156.29 c 156s| 56800 | 99 | 1045k| 18.4 |9878k| 56 | - | 231 |9919 | 231 |2453 | 17 | 34k|4524 | 0.000000e+00 | -- | Inf
156.45/156.57 c 157s| 56900 | 97 | 1047k| 18.4 |9832k| 56 | - | 231 |9815 | 231 |2453 | 17 | 35k|4524 | 0.000000e+00 | -- | Inf
156.76/156.80 c 157s| 57000 | 98 | 1049k| 18.4 |9827k| 56 | 37 | 231 |9807 | 231 |2453 | 17 | 35k|4524 | 0.000000e+00 | -- | Inf
156.96/157.05 c 157s| 57100 | 98 | 1051k| 18.4 |9837k| 56 | - | 231 |9826 | 231 |2453 | 17 | 35k|4524 | 0.000000e+00 | -- | Inf
157.26/157.34 c 157s| 57200 | 94 | 1053k| 18.4 |9816k| 56 | - | 231 |9801 | 231 |2453 | 17 | 35k|4524 | 0.000000e+00 | -- | Inf
157.46/157.58 c 158s| 57300 | 92 | 1055k| 18.4 |9792k| 56 | - | 231 |9757 | 231 |2453 | 17 | 35k|4525 | 0.000000e+00 | -- | Inf
157.76/157.81 c 158s| 57400 | 92 | 1057k| 18.4 |9778k| 56 | 42 | 231 |9737 | 231 |2453 | 17 | 35k|4525 | 0.000000e+00 | -- | Inf
157.96/158.04 c 158s| 57500 | 90 | 1059k| 18.4 |9764k| 56 | - | 231 |9727 | 0 | 0 | 17 | 35k|4525 | 0.000000e+00 | -- | Inf
158.16/158.29 c 158s| 57600 | 92 | 1061k| 18.4 |9771k| 56 | 36 | 231 |9747 | 231 |2453 | 17 | 35k|4525 | 0.000000e+00 | -- | Inf
158.46/158.55 c 159s| 57700 | 90 | 1063k| 18.4 |9773k| 56 | - | 231 |9743 | 231 |2453 | 17 | 35k|4525 | 0.000000e+00 | -- | Inf
158.76/158.82 c 159s| 57800 | 93 | 1065k| 18.4 |9786k| 56 | 27 | 231 |9773 | 231 |2453 | 17 | 35k|4525 | 0.000000e+00 | -- | Inf
158.95/159.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
158.95/159.02 c 159s| 57900 | 89 | 1066k| 18.4 |9781k| 56 | 35 | 231 |9793 | 231 |2453 | 17 | 35k|4525 | 0.000000e+00 | -- | Inf
159.16/159.26 c 159s| 58000 | 87 | 1068k| 18.4 |9773k| 56 | 40 | 231 |9792 | 231 |2453 | 17 | 35k|4525 | 0.000000e+00 | -- | Inf
159.46/159.55 c 160s| 58100 | 84 | 1070k| 18.4 |9756k| 56 | 34 | 231 |9779 | 231 |2453 | 17 | 35k|4525 | 0.000000e+00 | -- | Inf
159.76/159.82 c 160s| 58200 | 84 | 1072k| 18.4 |9758k| 56 | 24 | 231 |9785 | 231 |2453 | 17 | 35k|4525 | 0.000000e+00 | -- | Inf
159.95/160.06 c 160s| 58300 | 83 | 1074k| 18.4 |9750k| 56 | 29 | 231 |9782 | 231 |2453 | 17 | 35k|4525 | 0.000000e+00 | -- | Inf
160.25/160.32 c 160s| 58400 | 79 | 1076k| 18.4 |9733k| 56 | 44 | 231 |9768 | 231 |2453 | 17 | 35k|4525 | 0.000000e+00 | -- | Inf
160.45/160.57 c 161s| 58500 | 75 | 1078k| 18.4 |9707k| 56 | 37 | 231 |9746 | 231 |2453 | 17 | 35k|4525 | 0.000000e+00 | -- | Inf
160.66/160.76 c 161s| 58600 | 74 | 1079k| 18.4 |9711k| 56 | 34 | 231 |9776 | 231 |2453 | 17 | 36k|4525 | 0.000000e+00 | -- | Inf
160.86/160.99 c 161s| 58700 | 74 | 1081k| 18.4 |9704k| 56 | 43 | 231 |9756 | 231 |2453 | 17 | 36k|4525 | 0.000000e+00 | -- | Inf
161.15/161.25 c 161s| 58800 | 73 | 1083k| 18.4 |9707k| 56 | - | 231 |9750 | 231 |2453 | 17 | 36k|4535 | 0.000000e+00 | -- | Inf
161.46/161.54 c 162s| 58900 | 71 | 1084k| 18.4 |9669k| 56 | - | 231 |9687 | 231 |2453 | 17 | 36k|4547 | 0.000000e+00 | -- | Inf
161.65/161.76 c 162s| 59000 | 71 | 1086k| 18.4 |9675k| 56 | 40 | 231 |9702 | 231 |2453 | 17 | 36k|4547 | 0.000000e+00 | -- | Inf
161.96/162.04 c 162s| 59100 | 71 | 1088k| 18.4 |9694k| 56 | - | 231 |9729 | 231 |2453 | 17 | 36k|4558 | 0.000000e+00 | -- | Inf
162.15/162.29 c 162s| 59200 | 67 | 1090k| 18.4 |9672k| 56 | 43 | 231 |9729 | 231 |2453 | 17 | 36k|4561 | 0.000000e+00 | -- | Inf
162.46/162.58 c 163s| 59300 | 67 | 1092k| 18.4 |9666k| 56 | - | 231 |9727 | 231 |2453 | 17 | 36k|4572 | 0.000000e+00 | -- | Inf
162.75/162.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
162.75/162.84 c 163s| 59400 | 66 | 1093k| 18.4 |9679k| 56 | - | 231 |9766 | 231 |2453 | 17 | 36k|4580 | 0.000000e+00 | -- | Inf
162.96/163.07 c 163s| 59500 | 64 | 1095k| 18.4 |9660k| 56 | 27 | 231 |9759 | 231 |2453 | 17 | 36k|4580 | 0.000000e+00 | -- | Inf
163.26/163.38 c 163s| 59600 | 64 | 1097k| 18.4 |9677k| 56 | - | 231 |9790 | 231 |2453 | 17 | 36k|4593 | 0.000000e+00 | -- | Inf
163.56/163.64 c 164s| 59700 | 68 | 1099k| 18.4 |9697k| 56 | - | 231 |9812 | 231 |2453 | 17 | 36k|4606 | 0.000000e+00 | -- | Inf
163.75/163.86 c 164s| 59800 | 64 | 1100k| 18.4 |9693k| 56 | - | 231 |9823 | 231 |2453 | 17 | 36k|4606 | 0.000000e+00 | -- | Inf
164.06/164.12 c 164s| 59900 | 72 | 1102k| 18.4 |9714k| 56 | 32 | 231 |9834 | 231 |2453 | 17 | 36k|4611 | 0.000000e+00 | -- | Inf
164.26/164.38 c 164s| 60000 | 70 | 1104k| 18.4 |9722k| 56 | - | 231 |9851 | 231 |2453 | 17 | 36k|4619 | 0.000000e+00 | -- | Inf
164.65/164.71 c 165s| 60100 | 63 | 1106k| 18.4 |9710k| 56 | - | 231 |9871 | 231 |2453 | 17 | 36k|4633 | 0.000000e+00 | -- | Inf
164.85/164.95 c 165s| 60200 | 61 | 1108k| 18.4 |9713k| 56 | - | 231 |9911 | 231 |2453 | 17 | 36k|4636 | 0.000000e+00 | -- | Inf
165.17/165.21 c 165s| 60300 | 60 | 1110k| 18.4 |9715k| 56 | 39 | 231 |9954 | 231 |2453 | 17 | 37k|4646 | 0.000000e+00 | -- | Inf
165.35/165.46 c 165s| 60400 | 58 | 1112k| 18.4 |9737k| 56 | - | 231 | 10k| 231 |2453 | 17 | 37k|4651 | 0.000000e+00 | -- | Inf
165.66/165.77 c 166s| 60500 | 56 | 1113k| 18.4 |9709k| 56 | - | 231 |9957 | 231 |2453 | 17 | 37k|4665 | 0.000000e+00 | -- | Inf
165.95/166.08 c 166s| 60600 | 55 | 1116k| 18.4 |9682k| 56 | - | 231 |9940 | 231 |2453 | 17 | 37k|4673 | 0.000000e+00 | -- | Inf
166.26/166.34 c 166s| 60700 | 53 | 1117k| 18.4 |9654k| 56 | - | 231 |9879 | 231 |2453 | 17 | 37k|4680 | 0.000000e+00 | -- | Inf
166.55/166.60 c 167s| 60800 | 53 | 1119k| 18.4 |9652k| 56 | - | 231 |9880 | 231 |2453 | 17 | 37k|4689 | 0.000000e+00 | -- | Inf
166.75/166.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
166.75/166.84 c 167s| 60900 | 54 | 1121k| 18.4 |9670k| 56 | - | 231 |9924 | 231 |2453 | 17 | 37k|4698 | 0.000000e+00 | -- | Inf
166.96/167.09 c 167s| 61000 | 52 | 1122k| 18.4 |9669k| 56 | - | 231 |9945 | 231 |2453 | 17 | 37k|4704 | 0.000000e+00 | -- | Inf
167.26/167.36 c 167s| 61100 | 55 | 1124k| 18.4 |9664k| 56 | 32 | 231 |9919 | 231 |2453 | 17 | 37k|4711 | 0.000000e+00 | -- | Inf
167.56/167.62 c 168s| 61200 | 51 | 1126k| 18.4 |9663k| 56 | - | 231 |9943 | 231 |2453 | 17 | 37k|4714 | 0.000000e+00 | -- | Inf
167.75/167.87 c 168s| 61300 | 51 | 1128k| 18.4 |9667k| 56 | - | 231 |9964 | 231 |2453 | 17 | 37k|4717 | 0.000000e+00 | -- | Inf
168.05/168.16 c 168s| 61400 | 53 | 1130k| 18.4 |9687k| 56 | 29 | 231 | 10k| 231 |2453 | 17 | 37k|4727 | 0.000000e+00 | -- | Inf
168.36/168.42 c 168s| 61500 | 51 | 1132k| 18.4 |9686k| 56 | - | 231 | 10k| 231 |2453 | 17 | 37k|4728 | 0.000000e+00 | -- | Inf
168.55/168.67 c 169s| 61600 | 51 | 1134k| 18.4 |9689k| 56 | - | 231 | 10k| 231 |2453 | 17 | 37k|4729 | 0.000000e+00 | -- | Inf
168.86/168.94 c 169s| 61700 | 49 | 1136k| 18.4 |9689k| 56 | 34 | 231 | 10k| 231 |2453 | 17 | 37k|4731 | 0.000000e+00 | -- | Inf
169.05/169.19 c 169s| 61800 | 47 | 1137k| 18.4 |9686k| 56 | 39 | 231 | 10k| 231 |2453 | 17 | 37k|4732 | 0.000000e+00 | -- | Inf
169.36/169.41 c 169s| 61900 | 48 | 1139k| 18.4 |9698k| 56 | 35 | 231 | 10k| 231 |2453 | 17 | 38k|4733 | 0.000000e+00 | -- | Inf
169.65/169.70 c 170s| 62000 | 43 | 1141k| 18.4 |9673k| 56 | 33 | 231 | 10k| 231 |2453 | 17 | 38k|4734 | 0.000000e+00 | -- | Inf
169.85/169.94 c 170s| 62100 | 41 | 1143k| 18.4 |9660k| 56 | 26 | 231 | 10k| 231 |2453 | 17 | 38k|4734 | 0.000000e+00 | -- | Inf
170.06/170.19 c 170s| 62200 | 39 | 1145k| 18.4 |9651k| 56 | - | 231 | 10k| 231 |2453 | 17 | 38k|4734 | 0.000000e+00 | -- | Inf
170.35/170.45 c 170s| 62300 | 38 | 1147k| 18.4 |9646k| 56 | - | 231 | 10k| 231 |2453 | 17 | 38k|4734 | 0.000000e+00 | -- | Inf
170.56/170.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
170.56/170.70 c 171s| 62400 | 34 | 1149k| 18.4 |9621k| 56 | 46 | 231 | 10k| 231 |2453 | 17 | 38k|4734 | 0.000000e+00 | -- | Inf
170.86/170.94 c 171s| 62500 | 32 | 1151k| 18.4 |9594k| 56 | 36 | 231 | 10k| 231 |2453 | 17 | 38k|4734 | 0.000000e+00 | -- | Inf
171.15/171.20 c 171s| 62600 | 29 | 1153k| 18.4 |9579k| 56 | - | 231 |9972 | 231 |2453 | 17 | 38k|4734 | 0.000000e+00 | -- | Inf
171.36/171.46 c 171s| 62700 | 29 | 1155k| 18.4 |9528k| 56 | - | 231 |9877 | 231 |2453 | 17 | 38k|4734 | 0.000000e+00 | -- | Inf
171.66/171.72 c 172s| 62800 | 34 | 1157k| 18.4 |9511k| 56 | - | 231 |9805 | 0 | 0 | 17 | 38k|4734 | 0.000000e+00 | -- | Inf
171.85/171.99 c 172s| 62900 | 34 | 1159k| 18.4 |9511k| 56 | - | 231 |9815 | 231 |2453 | 17 | 38k|4734 | 0.000000e+00 | -- | Inf
172.16/172.23 c 172s| 63000 | 35 | 1161k| 18.4 |9530k| 56 | - | 231 |9862 | 231 |2453 | 17 | 38k|4734 | 0.000000e+00 | -- | Inf
172.36/172.48 c 172s| 63100 | 35 | 1163k| 18.4 |9546k| 56 | - | 231 |9902 | 231 |2453 | 17 | 38k|4734 | 0.000000e+00 | -- | Inf
172.65/172.75 c 173s| 63200 | 33 | 1165k| 18.4 |9548k| 56 | - | 231 |9927 | 231 |2453 | 17 | 38k|4734 | 0.000000e+00 | -- | Inf
172.95/173.01 c 173s| 63300 | 32 | 1167k| 18.4 |9559k| 56 | 29 | 231 |9979 | 231 |2453 | 17 | 38k|4734 | 0.000000e+00 | -- | Inf
173.16/173.28 c 173s| 63400 | 36 | 1169k| 18.4 |9589k| 56 | 43 | 231 | 10k| 231 |2453 | 17 | 39k|4734 | 0.000000e+00 | -- | Inf
173.46/173.53 c 174s| 63500 | 30 | 1171k| 18.5 |9591k| 56 | - | 231 | 10k| 231 |2453 | 17 | 39k|4734 | 0.000000e+00 | -- | Inf
173.65/173.78 c 174s| 63600 | 34 | 1173k| 18.5 |9624k| 56 | - | 231 | 10k| 231 |2453 | 17 | 39k|4734 | 0.000000e+00 | -- | Inf
173.96/174.03 c 174s| 63700 | 40 | 1175k| 18.5 |9656k| 56 | 30 | 231 | 10k| 231 |2453 | 17 | 39k|4734 | 0.000000e+00 | -- | Inf
174.26/174.32 c 174s| 63800 | 41 | 1177k| 18.5 |9689k| 56 | - | 231 | 10k| 231 |2453 | 17 | 39k|4744 | 0.000000e+00 | -- | Inf
174.45/174.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
174.45/174.53 c 175s| 63900 | 41 | 1179k| 18.5 |9716k| 56 | 19 | 231 | 10k| 231 |2453 | 17 | 39k|4744 | 0.000000e+00 | -- | Inf
174.75/174.81 c 175s| 64000 | 34 | 1181k| 18.5 |9727k| 56 | - | 231 | 10k| 231 |2453 | 17 | 39k|4753 | 0.000000e+00 | -- | Inf
175.06/175.12 c 175s| 64100 | 31 | 1183k| 18.5 |9733k| 56 | - | 231 | 10k| 231 |2453 | 17 | 39k|4765 | 0.000000e+00 | -- | Inf
175.26/175.37 c 175s| 64200 | 28 | 1185k| 18.5 |9739k| 56 | 33 | 231 | 10k| 231 |2453 | 17 | 39k|4765 | 0.000000e+00 | -- | Inf
175.56/175.66 c 176s| 64300 | 28 | 1187k| 18.5 |9742k| 56 | 33 | 231 | 10k| 231 |2453 | 17 | 39k|4772 | 0.000000e+00 | -- | Inf
175.85/175.99 c 176s| 64400 | 25 | 1189k| 18.5 |9742k| 56 | - | 231 | 10k| 231 |2453 | 17 | 39k|4788 | 0.000000e+00 | -- | Inf
176.15/176.28 c 176s| 64500 | 27 | 1191k| 18.5 |9748k| 56 | 25 | 231 | 10k| 231 |2453 | 17 | 39k|4794 | 0.000000e+00 | -- | Inf
176.45/176.56 c 177s| 64600 | 25 | 1193k| 18.5 |9747k| 56 | 36 | 231 | 10k| 231 |2453 | 17 | 39k|4800 | 0.000000e+00 | -- | Inf
176.75/176.84 c 177s| 64700 | 25 | 1195k| 18.5 |9760k| 56 | 37 | 231 | 10k| 231 |2453 | 17 | 39k|4808 | 0.000000e+00 | -- | Inf
177.05/177.11 c 177s| 64800 | 27 | 1197k| 18.5 |9775k| 56 | 35 | 231 | 10k| 231 |2453 | 17 | 39k|4815 | 0.000000e+00 | -- | Inf
177.26/177.38 c 177s| 64900 | 24 | 1199k| 18.5 |9792k| 56 | 34 | 231 | 10k| 231 |2453 | 17 | 39k|4825 | 0.000000e+00 | -- | Inf
177.56/177.66 c 178s| 65000 | 24 | 1201k| 18.5 |9809k| 56 | 42 | 231 | 10k| 231 |2453 | 17 | 39k|4835 | 0.000000e+00 | -- | Inf
177.85/177.97 c 178s| 65100 | 26 | 1203k| 18.5 |9834k| 56 | 40 | 231 | 10k| 231 |2453 | 17 | 40k|4841 | 0.000000e+00 | -- | Inf
178.15/178.30 c 178s| 65200 | 25 | 1206k| 18.5 |9803k| 56 | - | 231 | 10k| 231 |2453 | 17 | 40k|4854 | 0.000000e+00 | -- | Inf
178.55/178.61 c 179s| 65300 | 23 | 1208k| 18.5 |9803k| 56 | 45 | 231 | 10k| 231 |2453 | 17 | 40k|4861 | 0.000000e+00 | -- | Inf
178.86/178.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
178.86/178.92 c 179s| 65400 | 21 | 1210k| 18.5 |9815k| 56 | - | 231 | 10k| 231 |2453 | 17 | 40k|4870 | 0.000000e+00 | -- | Inf
179.06/179.17 c 179s| 65500 | 22 | 1212k| 18.5 |9810k| 56 | 43 | 231 | 10k| 231 |2453 | 17 | 40k|4876 | 0.000000e+00 | -- | Inf
179.36/179.48 c 179s| 65600 | 22 | 1214k| 18.5 |9806k| 56 | - | 231 | 10k| 231 |2453 | 17 | 40k|4885 | 0.000000e+00 | -- | Inf
179.66/179.75 c 180s| 65700 | 21 | 1216k| 18.5 |9792k| 56 | - | 231 | 10k| 231 |2453 | 17 | 40k|4888 | 0.000000e+00 | -- | Inf
179.95/180.02 c 180s| 65800 | 23 | 1218k| 18.5 |9801k| 56 | 43 | 231 | 10k| 231 |2453 | 17 | 40k|4890 | 0.000000e+00 | -- | Inf
180.15/180.26 c 180s| 65900 | 25 | 1220k| 18.5 |9829k| 56 | - | 231 | 10k| 0 | 0 | 17 | 40k|4891 | 0.000000e+00 | -- | Inf
180.35/180.49 c 180s| 66000 | 23 | 1222k| 18.5 |9819k| 56 | 27 | 231 | 10k| 231 |2453 | 17 | 40k|4892 | 0.000000e+00 | -- | Inf
180.65/180.75 c 181s| 66100 | 21 | 1224k| 18.5 |9813k| 56 | 38 | 231 | 10k| 231 |2453 | 17 | 40k|4892 | 0.000000e+00 | -- | Inf
180.85/180.99 c 181s| 66200 | 21 | 1225k| 18.5 |9839k| 56 | - | 231 | 10k| 231 |2453 | 17 | 40k|4893 | 0.000000e+00 | -- | Inf
181.15/181.20 c 181s| 66300 | 21 | 1227k| 18.5 |9858k| 56 | - | 231 | 11k| 231 |2453 | 17 | 40k|4893 | 0.000000e+00 | -- | Inf
181.35/181.44 c 181s| 66400 | 27 | 1229k| 18.5 |9885k| 56 | - | 231 | 11k| 231 |2453 | 17 | 40k|4893 | 0.000000e+00 | -- | Inf
181.56/181.67 c 182s| 66500 | 25 | 1231k| 18.5 |9907k| 56 | - | 231 | 11k| 231 |2453 | 17 | 41k|4893 | 0.000000e+00 | -- | Inf
181.85/181.92 c 182s| 66600 | 27 | 1233k| 18.5 |9932k| 56 | 30 | 231 | 11k| 231 |2453 | 17 | 41k|4893 | 0.000000e+00 | -- | Inf
182.05/182.17 c 182s| 66700 | 24 | 1235k| 18.5 |9953k| 56 | 27 | 231 | 11k| 231 |2453 | 17 | 41k|4893 | 0.000000e+00 | -- | Inf
182.35/182.40 c 182s| 66800 | 20 | 1237k| 18.5 |9969k| 56 | - | 231 | 11k| 231 |2453 | 17 | 41k|4893 | 0.000000e+00 | -- | Inf
182.56/182.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
182.56/182.63 c 183s| 66900 | 18 | 1238k| 18.5 |9971k| 56 | 39 | 231 | 11k| 231 |2453 | 17 | 41k|4893 | 0.000000e+00 | -- | Inf
182.76/182.84 c 183s| 67000 | 19 | 1240k| 18.5 |9975k| 56 | 38 | 231 | 11k| 231 |2453 | 17 | 41k|4893 | 0.000000e+00 | -- | Inf
182.95/183.08 c 183s| 67100 | 19 | 1242k| 18.5 |9989k| 56 | 27 | 231 | 11k| 231 |2453 | 17 | 41k|4893 | 0.000000e+00 | -- | Inf
183.25/183.31 c 183s| 67200 | 18 | 1243k| 18.5 | 10M| 56 | 34 | 231 | 11k| 231 |2453 | 17 | 41k|4894 | 0.000000e+00 | -- | Inf
183.45/183.53 c 184s| 67300 | 18 | 1245k| 18.5 | 10M| 56 | 34 | 231 | 11k| 231 |2453 | 17 | 41k|4895 | 0.000000e+00 | -- | Inf
183.66/183.76 c 184s| 67400 | 16 | 1247k| 18.5 | 10M| 56 | 33 | 231 | 11k| 231 |2453 | 17 | 41k|4895 | 0.000000e+00 | -- | Inf
183.86/183.99 c 184s| 67500 | 14 | 1248k| 18.5 | 10M| 56 | 44 | 231 | 11k| 231 |2453 | 17 | 41k|4895 | 0.000000e+00 | -- | Inf
184.15/184.23 c 184s| 67600 | 16 | 1250k| 18.5 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 41k|4896 | 0.000000e+00 | -- | Inf
184.35/184.49 c 184s| 67700 | 14 | 1252k| 18.5 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 41k|4896 | 0.000000e+00 | -- | Inf
184.65/184.71 c 185s| 67800 | 16 | 1254k| 18.5 | 10M| 56 | - | 231 | 11k| 0 | 0 | 17 | 41k|4896 | 0.000000e+00 | -- | Inf
184.86/184.94 c 185s| 67900 | 15 | 1256k| 18.5 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 41k|4896 | 0.000000e+00 | -- | Inf
185.05/185.18 c 185s| 68000 | 13 | 1258k| 18.5 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 42k|4896 | 0.000000e+00 | -- | Inf
185.35/185.40 c 185s| 68100 | 16 | 1259k| 18.5 | 10M| 56 | 39 | 231 | 11k| 231 |2453 | 17 | 42k|4896 | 0.000000e+00 | -- | Inf
185.55/185.65 c 186s| 68200 | 16 | 1261k| 18.5 | 10M| 56 | 36 | 231 | 11k| 231 |2453 | 17 | 42k|4896 | 0.000000e+00 | -- | Inf
185.85/185.90 c 186s| 68300 | 12 | 1263k| 18.5 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 42k|4896 | 0.000000e+00 | -- | Inf
186.06/186.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
186.06/186.17 c 186s| 68400 | 12 | 1265k| 18.5 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 42k|4896 | 0.000000e+00 | -- | Inf
186.35/186.47 c 186s| 68500 | 13 | 1267k| 18.5 | 10M| 56 | 29 | 231 | 11k| 231 |2453 | 17 | 42k|4905 | 0.000000e+00 | -- | Inf
186.66/186.72 c 187s| 68600 | 13 | 1269k| 18.5 | 10M| 56 | 36 | 231 | 11k| 231 |2453 | 17 | 42k|4905 | 0.000000e+00 | -- | Inf
186.95/187.03 c 187s| 68700 | 10 | 1271k| 18.5 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 42k|4915 | 0.000000e+00 | -- | Inf
187.25/187.31 c 187s| 68800 | 7 | 1273k| 18.5 | 10M| 56 | - | 231 | 11k| 231 |2453 | 17 | 42k|4923 | 0.000000e+00 | -- | Inf
187.55/187.62 c 188s| 68900 | 7 | 1275k| 18.5 |9984k| 56 | - | 231 | 11k| 231 |2453 | 17 | 42k|4933 | 0.000000e+00 | -- | Inf
187.75/187.85 c 188s| 69000 | 7 | 1276k| 18.5 |9975k| 56 | 42 | 231 | 11k| 231 |2453 | 17 | 42k|4933 | 0.000000e+00 | -- | Inf
188.05/188.14 c 188s| 69100 | 5 | 1278k| 18.5 |9966k| 56 | - | 231 | 11k| 231 |2453 | 17 | 42k|4942 | 0.000000e+00 | -- | Inf
188.35/188.41 c 188s| 69200 | 5 | 1280k| 18.5 |9953k| 56 | 40 | 231 | 11k| 231 |2453 | 17 | 42k|4947 | 0.000000e+00 | -- | Inf
188.65/188.70 c 189s| 69300 | 3 | 1282k| 18.5 |9945k| 56 | - | 231 | 11k| 231 |2453 | 17 | 42k|4956 | 0.000000e+00 | -- | Inf
188.85/188.98 c 189s| 69400 | 3 | 1284k| 18.5 |9952k| 56 | 42 | 231 | 11k| 231 |2453 | 17 | 43k|4964 | 0.000000e+00 | -- | Inf
188.95/189.09 c
188.95/189.09 c SCIP Status : problem is solved [infeasible]
188.95/189.09 c Solving Time (sec) : 189.09
188.95/189.09 c Solving Nodes : 69443
188.95/189.09 c Primal Bound : +1.00000000000000e+20 (0 solutions)
188.95/189.09 c Dual Bound : +1.00000000000000e+20
188.95/189.09 c Gap : 0.00 %
188.95/189.09 s UNSATISFIABLE
188.95/189.09 c SCIP Status : problem is solved [infeasible]
188.95/189.09 c Total Time : 189.09
188.95/189.09 c solving : 189.09
188.95/189.09 c presolving : 0.05 (included in solving)
188.95/189.09 c reading : 0.01 (included in solving)
188.95/189.09 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
188.95/189.09 c Original Problem :
188.95/189.09 c Problem name : HOME/instance-3690438-1338016937.opb
188.95/189.09 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
188.95/189.09 c Constraints : 2707 initial, 2707 maximal
188.95/189.09 c Objective sense : minimize
188.95/189.09 c Presolved Problem :
188.95/189.09 c Problem name : t_HOME/instance-3690438-1338016937.opb
188.95/189.09 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
188.95/189.09 c Constraints : 2443 initial, 11648 maximal
188.95/189.09 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
188.95/189.09 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
188.95/189.09 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
188.95/189.09 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
188.95/189.09 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
188.95/189.09 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
188.95/189.09 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
188.95/189.09 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
188.95/189.09 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
188.95/189.09 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
188.95/189.09 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
188.95/189.09 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
188.95/189.09 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0
188.95/189.09 c setppc : 0.00 0.00 0 0 0 0 0 121 0 0 0
188.95/189.09 c linear : 0.02 0.00 0 0 0 0 0 143 0 0 0
188.95/189.09 c logicor : 0.02 0.00 0 0 0 0 0 0 0 0 0
188.95/189.09 c root node : - - 21 - - 21 - - - - -
188.95/189.09 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
188.95/189.09 c integral : 0 0 0 0 36065 0 1 0 149 1863 0 0 69914
188.95/189.09 c knapsack : 1 1 5 269185 0 0 0 21128 459 136492 0 0 0
188.95/189.09 c setppc : 22 22 5 268925 0 0 0 755239 1512 378246 0 0 0
188.95/189.09 c linear : 0+ 260 5 179488 0 0 0 504 5 5697 0 0 0
188.95/189.09 c logicor : 2420+ 11620 5 129508 0 0 0 240842 426 441531 0 0 0
188.95/189.09 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
188.95/189.09 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
188.95/189.09 c integral : 21.66 0.00 0.00 0.00 21.66 0.00 0.00 0.00
188.95/189.09 c knapsack : 0.36 0.00 0.00 0.34 0.00 0.00 0.00 0.02
188.95/189.09 c setppc : 1.21 0.00 0.00 0.98 0.00 0.00 0.00 0.23
188.95/189.09 c linear : 0.26 0.00 0.00 0.26 0.00 0.00 0.00 0.00
188.95/189.09 c logicor : 5.23 0.00 0.00 5.03 0.00 0.00 0.00 0.20
188.95/189.09 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
188.95/189.09 c Propagators : #Propagate #ResProp Cutoffs DomReds
188.95/189.09 c rootredcost : 0 0 0 0
188.95/189.09 c pseudoobj : 0 0 0 0
188.95/189.09 c vbounds : 0 0 0 0
188.95/189.09 c redcost : 36070 0 0 0
188.95/189.09 c probing : 0 0 0 0
188.95/189.09 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
188.95/189.09 c rootredcost : 0.07 0.00 0.00 0.07 0.00
188.95/189.09 c pseudoobj : 0.07 0.00 0.00 0.07 0.00
188.95/189.09 c vbounds : 0.06 0.00 0.00 0.06 0.00
188.95/189.09 c redcost : 0.16 0.00 0.00 0.16 0.00
188.95/189.09 c probing : 0.00 0.00 0.00 0.00 0.00
188.95/189.09 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
188.95/189.09 c propagation : 0.09 2402 2391 12220 21.2 35 19.6 -
188.95/189.09 c infeasible LP : 2.80 32398 31846 189726 33.4 106 19.7 0
188.95/189.09 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
188.95/189.09 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
188.95/189.09 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
188.95/189.09 c applied globally : - - - 40097 19.2 - - -
188.95/189.09 c applied locally : - - - 2995 34.7 - - -
188.95/189.09 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
188.95/189.09 c cut pool : 0.00 4 - - 308 - (maximal pool size: 515)
188.95/189.09 c closecuts : 0.00 0.00 0 0 0 0 0
188.95/189.09 c impliedbounds : 0.00 0.00 5 0 0 0 0
188.95/189.09 c intobj : 0.00 0.00 0 0 0 0 0
188.95/189.09 c gomory : 0.10 0.00 5 0 0 200 0
188.95/189.09 c cgmip : 0.00 0.00 0 0 0 0 0
188.95/189.09 c strongcg : 0.18 0.00 5 0 0 2500 0
188.95/189.09 c cmir : 0.00 0.00 0 0 0 0 0
188.95/189.09 c flowcover : 0.00 0.00 0 0 0 0 0
188.95/189.09 c clique : 0.00 0.00 5 0 0 0 0
188.95/189.09 c zerohalf : 0.00 0.00 0 0 0 0 0
188.95/189.09 c mcf : 0.00 0.00 1 0 0 0 0
188.95/189.09 c oddcycle : 0.00 0.00 0 0 0 0 0
188.95/189.09 c rapidlearning : 0.09 0.00 1 0 0 0 260
188.95/189.09 c Pricers : ExecTime SetupTime Calls Vars
188.95/189.09 c problem variables: 0.00 - 0 0
188.95/189.09 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
188.95/189.09 c relpscost : 21.63 0.00 36065 149 1863 0 0 69914
188.95/189.09 c pscost : 0.00 0.00 0 0 0 0 0 0
188.95/189.09 c inference : 0.00 0.00 0 0 0 0 0 0
188.95/189.09 c mostinf : 0.00 0.00 0 0 0 0 0 0
188.95/189.09 c leastinf : 0.00 0.00 0 0 0 0 0 0
188.95/189.09 c fullstrong : 0.00 0.00 0 0 0 0 0 0
188.95/189.09 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
188.95/189.09 c random : 0.00 0.00 0 0 0 0 0 0
188.95/189.09 c Primal Heuristics : ExecTime SetupTime Calls Found
188.95/189.09 c LP solutions : 0.00 - - 0
188.95/189.09 c pseudo solutions : 0.00 - - 0
188.95/189.09 c smallcard : 0.00 0.00 0 0
188.95/189.09 c trivial : 0.00 0.00 1 0
188.95/189.09 c shiftandpropagate: 0.00 0.00 0 0
188.95/189.09 c simplerounding : 0.00 0.00 0 0
188.95/189.09 c zirounding : 0.00 0.00 0 0
188.95/189.09 c rounding : 0.00 0.00 0 0
188.95/189.09 c shifting : 0.00 0.00 0 0
188.95/189.09 c intshifting : 0.00 0.00 0 0
188.95/189.09 c oneopt : 0.00 0.00 0 0
188.95/189.09 c twoopt : 0.00 0.00 0 0
188.95/189.09 c indtwoopt : 0.00 0.00 0 0
188.95/189.09 c indoneopt : 0.00 0.00 0 0
188.95/189.09 c fixandinfer : 0.00 0.00 0 0
188.95/189.09 c feaspump : 0.00 0.00 0 0
188.95/189.09 c clique : 0.00 0.00 0 0
188.95/189.09 c indrounding : 0.00 0.00 0 0
188.95/189.09 c indcoefdiving : 0.00 0.00 0 0
188.95/189.09 c coefdiving : 0.00 0.00 0 0
188.95/189.09 c pscostdiving : 0.00 0.00 0 0
188.95/189.09 c nlpdiving : 0.00 0.00 0 0
188.95/189.09 c fracdiving : 0.00 0.00 0 0
188.95/189.09 c veclendiving : 0.00 0.00 0 0
188.95/189.09 c intdiving : 0.00 0.00 0 0
188.95/189.09 c actconsdiving : 0.00 0.00 0 0
188.95/189.09 c objpscostdiving : 0.00 0.00 0 0
188.95/189.09 c rootsoldiving : 0.00 0.00 0 0
188.95/189.09 c linesearchdiving : 0.00 0.00 0 0
188.95/189.09 c guideddiving : 0.00 0.00 0 0
188.95/189.09 c octane : 0.00 0.00 0 0
188.95/189.09 c rens : 0.00 0.00 0 0
188.95/189.09 c rins : 0.00 0.00 0 0
188.95/189.09 c localbranching : 0.00 0.00 0 0
188.95/189.09 c mutation : 0.00 0.00 0 0
188.95/189.09 c crossover : 0.00 0.00 0 0
188.95/189.09 c dins : 0.00 0.00 0 0
188.95/189.09 c vbounds : 0.00 0.00 0 0
188.95/189.09 c undercover : 0.00 0.00 0 0
188.95/189.09 c subnlp : 0.00 0.00 0 0
188.95/189.09 c trysol : 0.00 0.00 0 0
188.95/189.09 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
188.95/189.09 c primal LP : 0.00 1 0 0.00 - 0.00 1
188.95/189.09 c dual LP : 140.17 68468 1285445 18.82 9170.48 0.06 164
188.95/189.09 c lex dual LP : 0.00 0 0 0.00 -
188.95/189.09 c barrier LP : 0.00 0 0 0.00 - 0.00 0
188.95/189.09 c diving/probing LP: 0.00 0 0 0.00 -
188.95/189.09 c strong branching : 21.07 4964 180056 36.27 8547.33
188.95/189.09 c (at root node) : - 11 2233 203.00 -
188.95/189.09 c conflict analysis: 0.00 0 0 0.00 -
188.95/189.09 c B&B Tree :
188.95/189.09 c number of runs : 1
188.95/189.09 c nodes : 69443
188.95/189.09 c nodes (total) : 69443
188.95/189.09 c nodes left : 0
188.95/189.09 c max depth : 56
188.95/189.09 c max depth (total): 56
188.95/189.09 c backtracks : 8690 (12.5%)
188.95/189.09 c delayed cutoffs : 472
188.95/189.09 c repropagations : 111895 (149981 domain reductions, 470 cutoffs)
188.95/189.09 c avg switch length: 5.14
188.95/189.09 c switching time : 5.98
188.95/189.09 c Solution :
188.95/189.09 c Solutions found : 0 (0 improvements)
188.95/189.09 c Primal Bound : infeasible
188.95/189.09 c Dual Bound : -
188.95/189.09 c Gap : 0.00 %
188.95/189.09 c Root Dual Bound : +0.00000000000000e+00
188.95/189.09 c Root Iterations : 146
189.05/189.11 c Time complete: 189.06.
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-3690438-1338016937/watcher-3690438-1338016937 -o /tmp/evaluation-result-3690438-1338016937/solver-3690438-1338016937 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690438-1338016937.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.03 0.04 0.00 2/171 3256
/proc/meminfo: memFree=29038784/32873660 swapFree=7108/7108
[pid=3256] ppid=3254 vsize=9828 CPUtime=0 cores=1,3,5,7
/proc/3256/stat : 3256 (scip-2.1.1.4fix) R 3254 3256 3226 0 -1 4202496 1208 0 0 0 0 0 0 0 20 0 1 0 267819477 10063872 1162 33554432000 4194304 10173063 140736606560048 140736007487496 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3256/statm: 2457 1162 413 1460 0 988 0
[startup+0.031496 s]
/proc/loadavg: 0.03 0.04 0.00 2/171 3256
/proc/meminfo: memFree=29038784/32873660 swapFree=7108/7108
[pid=3256] ppid=3254 vsize=20176 CPUtime=0.02 cores=1,3,5,7
/proc/3256/stat : 3256 (scip-2.1.1.4fix) R 3254 3256 3226 0 -1 4202496 3842 0 0 0 2 0 0 0 20 0 1 0 267819477 20660224 3539 33554432000 4194304 10173063 140736606560048 140736007487496 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3256/statm: 5044 3539 555 1460 0 3575 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 20176
[startup+0.100188 s]
/proc/loadavg: 0.03 0.04 0.00 2/171 3256
/proc/meminfo: memFree=29038784/32873660 swapFree=7108/7108
[pid=3256] ppid=3254 vsize=29504 CPUtime=0.09 cores=1,3,5,7
/proc/3256/stat : 3256 (scip-2.1.1.4fix) R 3254 3256 3226 0 -1 4202496 6538 0 0 0 8 1 0 0 20 0 1 0 267819477 30212096 6195 33554432000 4194304 10173063 140736606560048 140736007487496 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3256/statm: 7376 6195 771 1460 0 5907 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29504
[startup+0.300204 s]
/proc/loadavg: 0.03 0.04 0.00 2/171 3256
/proc/meminfo: memFree=29038784/32873660 swapFree=7108/7108
[pid=3256] ppid=3254 vsize=47164 CPUtime=0.28 cores=1,3,5,7
/proc/3256/stat : 3256 (scip-2.1.1.4fix) R 3254 3256 3226 0 -1 4202496 10707 0 0 0 26 2 0 0 20 0 1 0 267819477 48295936 10362 33554432000 4194304 10173063 140736606560048 140736007487496 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3256/statm: 11791 10362 827 1460 0 10322 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 47164
[startup+0.700165 s]
/proc/loadavg: 0.03 0.04 0.00 2/171 3256
/proc/meminfo: memFree=29038784/32873660 swapFree=7108/7108
[pid=3256] ppid=3254 vsize=47332 CPUtime=0.69 cores=1,3,5,7
/proc/3256/stat : 3256 (scip-2.1.1.4fix) R 3254 3256 3226 0 -1 4202496 10827 0 0 0 66 3 0 0 20 0 1 0 267819477 48467968 10482 33554432000 4194304 10173063 140736606560048 140736007487496 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3256/statm: 11833 10482 832 1460 0 10364 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47332
[startup+1.50018 s]
/proc/loadavg: 0.18 0.08 0.01 3/177 3271
/proc/meminfo: memFree=28946488/32873660 swapFree=7108/7108
[pid=3256] ppid=3254 vsize=47332 CPUtime=1.49 cores=1,3,5,7
/proc/3256/stat : 3256 (scip-2.1.1.4fix) R 3254 3256 3226 0 -1 4202496 10828 0 0 0 145 4 0 0 20 0 1 0 267819477 48467968 10483 33554432000 4194304 10173063 140736606560048 140736606553496 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3256/statm: 11833 10483 833 1460 0 10364 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47332
[startup+3.10012 s]
/proc/loadavg: 0.18 0.08 0.01 3/177 3271
/proc/meminfo: memFree=28945744/32873660 swapFree=7108/7108
[pid=3256] ppid=3254 vsize=47332 CPUtime=3.09 cores=1,3,5,7
/proc/3256/stat : 3256 (scip-2.1.1.4fix) R 3254 3256 3226 0 -1 4202496 10830 0 0 0 304 5 0 0 20 0 1 0 267819477 48467968 10485 33554432000 4194304 10173063 140736606560048 140736606553880 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3256/statm: 11833 10485 835 1460 0 10364 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47332
[startup+6.3001 s]
/proc/loadavg: 0.18 0.08 0.01 2/172 3295
/proc/meminfo: memFree=28998732/32873660 swapFree=7108/7108
[pid=3256] ppid=3254 vsize=47332 CPUtime=6.29 cores=1,3,5,7
/proc/3256/stat : 3256 (scip-2.1.1.4fix) R 3254 3256 3226 0 -1 4202496 10831 0 0 0 621 8 0 0 20 0 1 0 267819477 48467968 10486 33554432000 4194304 10173063 140736606560048 140736606553880 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3256/statm: 11833 10486 836 1460 0 10364 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47332
[startup+12.7002 s]
/proc/loadavg: 0.31 0.10 0.02 3/174 3360
/proc/meminfo: memFree=28983604/32873660 swapFree=7108/7108
[pid=3256] ppid=3254 vsize=47332 CPUtime=12.68 cores=1,3,5,7
/proc/3256/stat : 3256 (scip-2.1.1.4fix) R 3254 3256 3226 0 -1 4202496 10837 0 0 0 1252 16 0 0 20 0 1 0 267819477 48467968 10505 33554432000 4194304 10173063 140736606560048 140736606553768 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3256/statm: 11833 10505 836 1460 0 10364 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 47332
[startup+25.5065 s]
/proc/loadavg: 0.57 0.17 0.04 3/177 3385
/proc/meminfo: memFree=28849780/32873660 swapFree=7108/7108
[pid=3256] ppid=3254 vsize=47332 CPUtime=25.48 cores=1,3,5,7
/proc/3256/stat : 3256 (scip-2.1.1.4fix) R 3254 3256 3226 0 -1 4202496 10840 0 0 0 2512 36 0 0 20 0 1 0 267819477 48467968 11017 33554432000 4194304 10173063 140736606560048 140736606553688 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3256/statm: 11833 11017 836 1460 0 10364 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 47332
[startup+51.1001 s]
/proc/loadavg: 1.06 0.31 0.10 3/177 3385
/proc/meminfo: memFree=28799996/32873660 swapFree=7108/7108
[pid=3256] ppid=3254 vsize=47332 CPUtime=51.07 cores=1,3,5,7
/proc/3256/stat : 3256 (scip-2.1.1.4fix) R 3254 3256 3226 0 -1 4202496 10840 0 0 0 5032 75 0 0 20 0 1 0 267819477 48467968 11017 33554432000 4194304 10173063 140736606560048 140736606553352 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3256/statm: 11833 11017 836 1460 0 10364 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 47332
[startup+102.3 s]
/proc/loadavg: 1.62 0.59 0.20 3/177 3386
/proc/meminfo: memFree=28796484/32873660 swapFree=7108/7108
[pid=3256] ppid=3254 vsize=47332 CPUtime=102.27 cores=1,3,5,7
/proc/3256/stat : 3256 (scip-2.1.1.4fix) R 3254 3256 3226 0 -1 4202496 10840 0 0 0 10073 154 0 0 20 0 1 0 267819477 48467968 11017 33554432000 4194304 10173063 140736606560048 140736606553352 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3256/statm: 11833 11017 836 1460 0 10364 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 47332
[startup+162.3 s]
/proc/loadavg: 1.91 0.86 0.32 3/177 3386
/proc/meminfo: memFree=28794704/32873660 swapFree=7108/7108
[pid=3256] ppid=3254 vsize=47332 CPUtime=162.25 cores=1,3,5,7
/proc/3256/stat : 3256 (scip-2.1.1.4fix) R 3254 3256 3226 0 -1 4202496 10840 0 0 0 15986 239 0 0 20 0 1 0 267819477 48467968 11017 33554432000 4194304 10173063 140736606560048 140736606553960 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3256/statm: 11833 11017 836 1460 0 10364 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 47332
Solver just ended. Dumping a history of the last processes samples
[startup+166.5 s]
/proc/loadavg: 1.92 0.88 0.33 3/177 3386
/proc/meminfo: memFree=28794584/32873660 swapFree=7108/7108
[pid=3256] ppid=3254 vsize=47332 CPUtime=166.46 cores=1,3,5,7
/proc/3256/stat : 3256 (scip-2.1.1.4fix) R 3254 3256 3226 0 -1 4202496 10840 0 0 0 16401 245 0 0 20 0 1 0 267819477 48467968 11017 33554432000 4194304 10173063 140736606560048 140736606553880 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3256/statm: 11833 11017 836 1460 0 10364 0
Current children cumulated CPU time (s) 166.46
Current children cumulated vsize (KiB) 47332
[startup+179.3 s]
/proc/loadavg: 1.93 0.92 0.34 3/177 3386
/proc/meminfo: memFree=28794588/32873660 swapFree=7108/7108
[pid=3256] ppid=3254 vsize=47332 CPUtime=179.25 cores=1,3,5,7
/proc/3256/stat : 3256 (scip-2.1.1.4fix) R 3254 3256 3226 0 -1 4202496 10840 0 0 0 17662 263 0 0 20 0 1 0 267819477 48467968 11017 33554432000 4194304 10173063 140736606560048 140736606557416 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3256/statm: 11833 11017 836 1460 0 10364 0
Current children cumulated CPU time (s) 179.25
Current children cumulated vsize (KiB) 47332
[startup+185.7 s]
/proc/loadavg: 1.94 0.94 0.35 3/177 3386
/proc/meminfo: memFree=28794468/32873660 swapFree=7108/7108
[pid=3256] ppid=3254 vsize=47332 CPUtime=185.65 cores=1,3,5,7
/proc/3256/stat : 3256 (scip-2.1.1.4fix) R 3254 3256 3226 0 -1 4202496 10840 0 0 0 18294 271 0 0 20 0 1 0 267819477 48467968 11017 33554432000 4194304 10173063 140736606560048 140736606553768 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3256/statm: 11833 11017 836 1460 0 10364 0
Current children cumulated CPU time (s) 185.65
Current children cumulated vsize (KiB) 47332
[startup+187.3 s]
/proc/loadavg: 1.94 0.95 0.36 3/177 3386
/proc/meminfo: memFree=28794468/32873660 swapFree=7108/7108
[pid=3256] ppid=3254 vsize=47332 CPUtime=187.25 cores=1,3,5,7
/proc/3256/stat : 3256 (scip-2.1.1.4fix) R 3254 3256 3226 0 -1 4202496 10840 0 0 0 18452 273 0 0 20 0 1 0 267819477 48467968 11017 33554432000 4194304 10173063 140736606560048 140736606556520 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3256/statm: 11833 11017 836 1460 0 10364 0
Current children cumulated CPU time (s) 187.25
Current children cumulated vsize (KiB) 47332
[startup+188.1 s]
/proc/loadavg: 1.94 0.95 0.36 3/177 3386
/proc/meminfo: memFree=28794468/32873660 swapFree=7108/7108
[pid=3256] ppid=3254 vsize=47332 CPUtime=188.05 cores=1,3,5,7
/proc/3256/stat : 3256 (scip-2.1.1.4fix) R 3254 3256 3226 0 -1 4202496 10842 0 0 0 18531 274 0 0 20 0 1 0 267819477 48467968 11019 33554432000 4194304 10173063 140736606560048 140736606553304 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3256/statm: 11833 11019 838 1460 0 10364 0
Current children cumulated CPU time (s) 188.05
Current children cumulated vsize (KiB) 47332
[startup+188.9 s]
/proc/loadavg: 1.94 0.95 0.36 3/177 3386
/proc/meminfo: memFree=28794468/32873660 swapFree=7108/7108
[pid=3256] ppid=3254 vsize=47332 CPUtime=188.85 cores=1,3,5,7
/proc/3256/stat : 3256 (scip-2.1.1.4fix) R 3254 3256 3226 0 -1 4202496 10842 0 0 0 18610 275 0 0 20 0 1 0 267819477 48467968 11019 33554432000 4194304 10173063 140736606560048 140736606553304 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3256/statm: 11833 11019 838 1460 0 10364 0
Current children cumulated CPU time (s) 188.85
Current children cumulated vsize (KiB) 47332
[startup+189.1 s]
/proc/loadavg: 1.94 0.95 0.36 3/177 3386
/proc/meminfo: memFree=28794468/32873660 swapFree=7108/7108
[pid=3256] ppid=3254 vsize=45920 CPUtime=189.05 cores=1,3,5,7
/proc/3256/stat : 3256 (scip-2.1.1.4fix) R 3254 3256 3226 0 -1 4202496 10845 0 0 0 18630 275 0 0 20 0 1 0 267819477 47022080 10669 33554432000 4194304 10173063 140736606560048 140736606553304 4903661 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3256/statm: 11480 10669 841 1460 0 10011 0
Current children cumulated CPU time (s) 189.05
Current children cumulated vsize (KiB) 45920
Child status: 0
Real time (s): 189.111
CPU time (s): 189.071
CPU user time (s): 186.312
CPU system time (s): 2.75958
CPU usage (%): 99.9792
Max. virtual memory (cumulated for all children) (KiB): 47332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 186.312
system time used= 2.75958
maximum resident set size= 44088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10847
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= 11
involuntary context switches= 196
runsolver used 0.26296 second user time and 0.791879 second system time
The end