0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3691582-1338022130.opb>
0.00/0.01 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.00/0.01 c problem read in 0.01
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.04 c (round 1) 0 del vars, 143 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs
0.00/0.05 c (round 2) 0 del vars, 143 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.00/0.05 c (round 3) 0 del vars, 264 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.00/0.06 c presolving (4 rounds):
0.00/0.06 c 0 deleted vars, 264 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06 c 242 implications, 22 cliques
0.00/0.06 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2443 constraints
0.00/0.06 c 1 constraints of type <knapsack>
0.00/0.06 c 22 constraints of type <setppc>
0.00/0.06 c 2420 constraints of type <logicor>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.05
0.00/0.06 c - non default parameters ----------------------------------------------------------------------
0.00/0.06 c # SCIP version 2.1.1.4
0.00/0.06 c
0.00/0.06 c # maximal time in seconds to run
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/time = 1797
0.00/0.06 c
0.00/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/memory = 13950
0.00/0.06 c
0.00/0.06 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c limits/solutions = 1
0.00/0.06 c
0.00/0.06 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.06 c separating/maxrounds = 1
0.00/0.06 c
0.00/0.06 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c separating/maxroundsroot = 5
0.00/0.06 c
0.00/0.06 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.06 c # [type: int, range: [1,2], default: 1]
0.00/0.06 c timing/clocktype = 2
0.00/0.06 c
0.00/0.06 c # belongs reading time to solving time?
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c timing/reading = TRUE
0.00/0.06 c
0.00/0.06 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.06 c constraints/knapsack/disaggregation = FALSE
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/coefdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.06 c heuristics/crossover/freq = -1
0.00/0.06 c
0.00/0.06 c # number of nodes added to the contingent of the total nodes
0.00/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.06 c heuristics/crossover/nodesofs = 750
0.00/0.06 c
0.00/0.06 c # number of nodes without incumbent change that heuristic should wait
0.00/0.06 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.06 c heuristics/crossover/nwaitingnodes = 100
0.00/0.06 c
0.00/0.06 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.06 c # [type: real, range: [0,1], default: 0.1]
0.00/0.06 c heuristics/crossover/nodesquot = 0.15
0.00/0.06 c
0.00/0.06 c # minimum percentage of integer variables that have to be fixed
0.00/0.06 c # [type: real, range: [0,1], default: 0.666]
0.00/0.06 c heuristics/crossover/minfixingrate = 0.5
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.06 c heuristics/feaspump/freq = -1
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/fracdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/guideddiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/intshifting/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/linesearchdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.06 c heuristics/objpscostdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.06 c # [type: real, range: [0,1], default: 0.01]
0.00/0.06 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/oneopt/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/pscostdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c heuristics/rens/freq = -1
0.00/0.06 c
0.00/0.06 c # minimum percentage of integer variables that have to be fixable
0.00/0.06 c # [type: real, range: [0,1], default: 0.5]
0.00/0.06 c heuristics/rens/minfixingrate = 0.3
0.00/0.06 c
0.00/0.06 c # number of nodes added to the contingent of the total nodes
0.00/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.06 c heuristics/rens/nodesofs = 2000
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.06 c heuristics/rootsoldiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.06 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/rounding/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c heuristics/shiftandpropagate/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/shifting/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/simplerounding/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/subnlp/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c heuristics/trivial/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/trysol/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c heuristics/undercover/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/veclendiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/zirounding/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c propagating/probing/maxprerounds = 0
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c separating/cmir/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c separating/flowcover/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c separating/rapidlearning/freq = 0
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/indoneopt/freq = -1
0.00/0.06 c
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c start solving
0.00/0.06 c
0.06/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.06/0.07 c 0.1s| 1 | 0 | 76 | - |4259k| 0 | 36 | 231 |2443 | 231 |2443 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.21 c 0.2s| 1 | 0 | 90 | - |4675k| 0 | 39 | 231 |2708 | 231 |2450 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.24 c 0.2s| 1 | 0 | 105 | - |5004k| 0 | 45 | 231 |2708 | 231 |2454 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.28 c 0.3s| 1 | 0 | 120 | - |5442k| 0 | 46 | 231 |2708 | 231 |2455 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.33 c 0.3s| 1 | 0 | 139 | - |5886k| 0 | 47 | 231 |2708 | 231 |2457 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.50 c 0.5s| 1 | 0 | 146 | - |6230k| 0 | 51 | 231 |2708 | 231 |2460 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.72 c 0.7s| 1 | 2 | 146 | - |6231k| 0 | 51 | 231 |2708 | 231 |2460 | 17 | 0 | 11 | 0.000000e+00 | -- | Inf
9.89/9.91 c 9.9s| 100 | 13 | 5108 | 50.1 |6378k| 23 | 35 | 231 |2742 | 231 |2453 | 17 | 37 |1524 | 0.000000e+00 | -- | Inf
11.09/11.11 c 11.1s| 200 | 23 | 7360 | 36.3 |6436k| 25 | - | 231 |2803 | 231 |2453 | 17 | 99 |1713 | 0.000000e+00 | -- | Inf
11.48/11.53 c 11.5s| 300 | 25 | 9190 | 30.2 |6463k| 25 | 31 | 231 |2860 | 231 |2453 | 17 | 156 |1756 | 0.000000e+00 | -- | Inf
11.78/11.88 c 11.9s| 400 | 25 | 10753 | 26.6 |6488k| 25 | - | 231 |2912 | 231 |2453 | 17 | 208 |1787 | 0.000000e+00 | -- | Inf
12.09/12.16 c 12.2s| 500 | 25 | 12336 | 24.4 |6511k| 25 | 26 | 231 |2978 | 231 |2453 | 17 | 274 |1804 | 0.000000e+00 | -- | Inf
12.48/12.53 c 12.5s| 600 | 25 | 14472 | 23.9 |6537k| 25 | 29 | 231 |3047 | 231 |2453 | 17 | 344 |1824 | 0.000000e+00 | -- | Inf
12.78/12.85 c 12.8s| 700 | 29 | 16287 | 23.1 |6568k| 25 | 31 | 231 |3108 | 231 |2453 | 17 | 405 |1843 | 0.000000e+00 | -- | Inf
13.09/13.10 c 13.1s| 800 | 25 | 17925 | 22.3 |6586k| 25 | - | 231 |3167 | 231 |2453 | 17 | 464 |1850 | 0.000000e+00 | -- | Inf
13.29/13.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.29/13.33 c 13.3s| 900 | 25 | 19398 | 21.4 |6615k| 38 | - | 231 |3229 | 231 |2453 | 17 | 526 |1855 | 0.000000e+00 | -- | Inf
13.48/13.54 c 13.5s| 1000 | 27 | 20886 | 20.8 |6649k| 38 | - | 231 |3290 | 0 | 0 | 17 | 587 |1857 | 0.000000e+00 | -- | Inf
13.69/13.76 c 13.8s| 1100 | 27 | 22269 | 20.1 |6669k| 38 | 20 | 231 |3363 | 231 |2453 | 17 | 662 |1863 | 0.000000e+00 | -- | Inf
13.98/14.01 c 14.0s| 1200 | 28 | 24079 | 20.0 |6687k| 38 | 34 | 231 |3412 | 231 |2453 | 17 | 714 |1866 | 0.000000e+00 | -- | Inf
14.19/14.25 c 14.2s| 1300 | 27 | 25706 | 19.7 |6711k| 38 | - | 231 |3467 | 231 |2453 | 17 | 770 |1871 | 0.000000e+00 | -- | Inf
14.39/14.49 c 14.5s| 1400 | 26 | 27427 | 19.5 |6732k| 38 | - | 231 |3539 | 231 |2453 | 17 | 844 |1873 | 0.000000e+00 | -- | Inf
14.68/14.74 c 14.7s| 1500 | 24 | 29046 | 19.3 |6748k| 38 | 35 | 231 |3602 | 231 |2453 | 17 | 909 |1878 | 0.000000e+00 | -- | Inf
14.88/14.98 c 15.0s| 1600 | 23 | 30722 | 19.1 |6774k| 38 | - | 231 |3661 | 231 |2453 | 17 | 972 |1879 | 0.000000e+00 | -- | Inf
15.18/15.29 c 15.3s| 1700 | 25 | 32886 | 19.3 |6800k| 38 | 37 | 231 |3719 | 231 |2453 | 17 |1033 |1885 | 0.000000e+00 | -- | Inf
15.48/15.51 c 15.5s| 1800 | 24 | 34542 | 19.1 |6827k| 38 | 25 | 231 |3801 | 231 |2453 | 17 |1116 |1885 | 0.000000e+00 | -- | Inf
15.68/15.76 c 15.8s| 1900 | 25 | 36350 | 19.1 |6862k| 38 | - | 231 |3863 | 231 |2453 | 17 |1181 |1888 | 0.000000e+00 | -- | Inf
15.98/16.01 c 16.0s| 2000 | 26 | 38198 | 19.0 |6880k| 38 | 43 | 231 |3925 | 231 |2453 | 17 |1247 |1889 | 0.000000e+00 | -- | Inf
16.18/16.25 c 16.2s| 2100 | 26 | 39979 | 19.0 |6908k| 38 | - | 231 |3991 | 231 |2453 | 17 |1319 |1889 | 0.000000e+00 | -- | Inf
16.49/16.55 c 16.6s| 2200 | 26 | 41832 | 19.0 |6934k| 38 | - | 231 |4046 | 231 |2453 | 17 |1380 |1901 | 0.000000e+00 | -- | Inf
16.79/16.81 c 16.8s| 2300 | 28 | 43418 | 18.8 |6962k| 38 | 34 | 231 |4103 | 231 |2453 | 17 |1450 |1911 | 0.000000e+00 | -- | Inf
17.08/17.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.08/17.15 c 17.1s| 2400 | 34 | 45317 | 18.8 |7005k| 38 | 25 | 231 |4156 | 231 |2453 | 17 |1513 |1928 | 0.000000e+00 | -- | Inf
17.39/17.49 c 17.5s| 2500 | 32 | 47165 | 18.8 |7019k| 38 | 35 | 231 |4211 | 231 |2453 | 17 |1574 |1949 | 0.000000e+00 | -- | Inf
17.78/17.83 c 17.8s| 2600 | 33 | 49145 | 18.9 |7045k| 38 | 28 | 231 |4268 | 231 |2453 | 17 |1639 |1966 | 0.000000e+00 | -- | Inf
18.08/18.15 c 18.1s| 2700 | 33 | 50734 | 18.7 |7069k| 38 | - | 231 |4316 | 231 |2453 | 17 |1700 |1987 | 0.000000e+00 | -- | Inf
18.38/18.46 c 18.5s| 2800 | 35 | 52490 | 18.7 |7090k| 38 | 27 | 231 |4371 | 231 |2453 | 17 |1758 |2003 | 0.000000e+00 | -- | Inf
18.69/18.74 c 18.7s| 2900 | 31 | 54087 | 18.6 |7102k| 38 | 34 | 231 |4427 | 231 |2453 | 17 |1820 |2014 | 0.000000e+00 | -- | Inf
18.99/19.03 c 19.0s| 3000 | 33 | 55540 | 18.5 |7135k| 38 | - | 231 |4478 | 0 | 0 | 17 |1880 |2035 | 0.000000e+00 | -- | Inf
19.18/19.24 c 19.2s| 3100 | 32 | 56853 | 18.3 |7155k| 38 | 35 | 231 |4543 | 231 |2453 | 17 |1960 |2038 | 0.000000e+00 | -- | Inf
19.48/19.51 c 19.5s| 3200 | 32 | 58530 | 18.3 |7172k| 38 | - | 231 |4577 | 231 |2453 | 17 |2019 |2045 | 0.000000e+00 | -- | Inf
19.69/19.74 c 19.7s| 3300 | 32 | 60106 | 18.2 |7187k| 38 | 38 | 231 |4629 | 231 |2453 | 17 |2096 |2047 | 0.000000e+00 | -- | Inf
19.88/19.97 c 20.0s| 3400 | 32 | 61614 | 18.1 |7205k| 38 | 34 | 231 |4673 | 231 |2453 | 17 |2174 |2049 | 0.000000e+00 | -- | Inf
20.18/20.20 c 20.2s| 3500 | 32 | 63265 | 18.0 |7222k| 38 | 30 | 231 |4716 | 231 |2453 | 17 |2248 |2050 | 0.000000e+00 | -- | Inf
20.38/20.43 c 20.4s| 3600 | 33 | 64886 | 18.0 |7253k| 38 | 21 | 231 |4792 | 231 |2453 | 17 |2338 |2051 | 0.000000e+00 | -- | Inf
20.58/20.68 c 20.7s| 3700 | 32 | 66580 | 18.0 |7271k| 38 | 19 | 231 |4863 | 231 |2453 | 17 |2429 |2054 | 0.000000e+00 | -- | Inf
20.89/20.93 c 20.9s| 3800 | 32 | 68388 | 18.0 |7297k| 38 | 24 | 231 |4939 | 231 |2453 | 17 |2525 |2058 | 0.000000e+00 | -- | Inf
21.08/21.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.08/21.15 c 21.1s| 3900 | 32 | 69948 | 17.9 |7319k| 38 | 32 | 231 |5002 | 231 |2453 | 17 |2597 |2058 | 0.000000e+00 | -- | Inf
21.29/21.38 c 21.4s| 4000 | 32 | 71552 | 17.9 |7344k| 38 | 33 | 231 |5068 | 231 |2453 | 17 |2676 |2061 | 0.000000e+00 | -- | Inf
21.58/21.62 c 21.6s| 4100 | 31 | 73197 | 17.8 |7368k| 38 | 29 | 231 |5134 | 231 |2453 | 17 |2751 |2063 | 0.000000e+00 | -- | Inf
21.78/21.86 c 21.9s| 4200 | 32 | 74964 | 17.8 |7393k| 38 | 29 | 231 |5197 | 231 |2453 | 17 |2821 |2065 | 0.000000e+00 | -- | Inf
22.08/22.11 c 22.1s| 4300 | 32 | 76828 | 17.8 |7421k| 38 | 34 | 231 |5261 | 231 |2453 | 17 |2892 |2066 | 0.000000e+00 | -- | Inf
22.28/22.34 c 22.3s| 4400 | 33 | 78460 | 17.8 |7438k| 38 | 28 | 231 |5314 | 231 |2453 | 17 |2950 |2067 | 0.000000e+00 | -- | Inf
22.48/22.58 c 22.6s| 4500 | 33 | 80192 | 17.8 |7462k| 38 | 33 | 231 |5380 | 231 |2453 | 17 |3017 |2067 | 0.000000e+00 | -- | Inf
22.78/22.81 c 22.8s| 4600 | 33 | 81856 | 17.8 |7488k| 38 | 29 | 231 |5440 | 231 |2453 | 17 |3084 |2067 | 0.000000e+00 | -- | Inf
22.99/23.06 c 23.1s| 4700 | 35 | 83711 | 17.8 |7527k| 38 | - | 231 |5507 | 231 |2453 | 17 |3154 |2068 | 0.000000e+00 | -- | Inf
23.38/23.41 c 23.4s| 4800 | 33 | 85571 | 17.8 |7547k| 38 | - | 231 |5566 | 231 |2453 | 17 |3221 |2093 | 0.000000e+00 | -- | Inf
23.68/23.73 c 23.7s| 4900 | 33 | 87616 | 17.9 |7564k| 38 | - | 231 |5609 | 231 |2453 | 17 |3279 |2106 | 0.000000e+00 | -- | Inf
23.98/24.07 c 24.1s| 5000 | 33 | 89597 | 17.9 |7579k| 38 | - | 231 |5651 | 231 |2453 | 17 |3340 |2126 | 0.000000e+00 | -- | Inf
24.38/24.44 c 24.4s| 5100 | 29 | 91608 | 17.9 |7597k| 38 | - | 231 |5705 | 231 |2453 | 17 |3412 |2150 | 0.000000e+00 | -- | Inf
24.68/24.72 c 24.7s| 5200 | 29 | 93387 | 17.9 |7628k| 38 | - | 231 |5757 | 231 |2453 | 17 |3473 |2160 | 0.000000e+00 | -- | Inf
24.99/25.02 c 25.0s| 5300 | 30 | 95142 | 17.9 |7660k| 38 | - | 231 |5823 | 231 |2453 | 17 |3555 |2175 | 0.000000e+00 | -- | Inf
25.29/25.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.29/25.35 c 25.3s| 5400 | 31 | 96962 | 17.9 |7682k| 38 | 31 | 231 |5885 | 231 |2453 | 17 |3629 |2194 | 0.000000e+00 | -- | Inf
25.58/25.69 c 25.7s| 5500 | 31 | 98957 | 18.0 |7702k| 38 | 33 | 231 |5939 | 231 |2453 | 17 |3694 |2212 | 0.000000e+00 | -- | Inf
25.98/26.04 c 26.0s| 5600 | 31 |100865 | 18.0 |7722k| 38 | 31 | 231 |5966 | 231 |2453 | 17 |3756 |2232 | 0.000000e+00 | -- | Inf
26.29/26.33 c 26.3s| 5700 | 32 |102417 | 17.9 |7743k| 38 | 25 | 231 |6024 | 231 |2453 | 17 |3833 |2250 | 0.000000e+00 | -- | Inf
26.59/26.66 c 26.7s| 5800 | 33 |104514 | 18.0 |7767k| 38 | 35 | 231 |6053 | 231 |2453 | 17 |3890 |2264 | 0.000000e+00 | -- | Inf
26.88/26.91 c 26.9s| 5900 | 39 |106112 | 18.0 |7803k| 38 | - | 231 |6091 | 231 |2453 | 17 |3969 |2269 | 0.000000e+00 | -- | Inf
27.08/27.10 c 27.1s| 6000 | 41 |107367 | 17.9 |7821k| 38 | 23 | 231 |6140 | 231 |2453 | 17 |4033 |2270 | 0.000000e+00 | -- | Inf
27.29/27.30 c 27.3s| 6100 | 39 |108689 | 17.8 |7840k| 38 | - | 231 |6194 | 231 |2453 | 17 |4097 |2272 | 0.000000e+00 | -- | Inf
27.49/27.52 c 27.5s| 6200 | 45 |110363 | 17.8 |7870k| 38 | 17 | 231 |6242 | 231 |2453 | 17 |4161 |2273 | 0.000000e+00 | -- | Inf
27.68/27.76 c 27.8s| 6300 | 43 |112030 | 17.8 |7892k| 38 | - | 231 |6309 | 231 |2453 | 17 |4243 |2274 | 0.000000e+00 | -- | Inf
27.88/27.94 c 27.9s| 6400 | 43 |113319 | 17.7 |7919k| 38 | - | 231 |6375 | 231 |2453 | 17 |4315 |2274 | 0.000000e+00 | -- | Inf
28.08/28.17 c 28.2s| 6500 | 46 |114936 | 17.7 |7947k| 38 | - | 231 |6429 | 231 |2453 | 17 |4377 |2275 | 0.000000e+00 | -- | Inf
28.38/28.40 c 28.4s| 6600 | 46 |116626 | 17.7 |7965k| 38 | - | 231 |6475 | 231 |2453 | 17 |4433 |2275 | 0.000000e+00 | -- | Inf
28.58/28.67 c 28.7s| 6700 | 42 |118675 | 17.7 |7979k| 38 | - | 231 |6536 | 231 |2453 | 17 |4501 |2275 | 0.000000e+00 | -- | Inf
28.88/28.92 c 28.9s| 6800 | 42 |120605 | 17.7 |7999k| 38 | 39 | 231 |6595 | 231 |2453 | 17 |4562 |2275 | 0.000000e+00 | -- | Inf
29.18/29.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.18/29.20 c 29.2s| 6900 | 40 |122666 | 17.8 |8024k| 38 | 38 | 231 |6645 | 231 |2453 | 17 |4635 |2276 | 0.000000e+00 | -- | Inf
29.38/29.45 c 29.4s| 7000 | 39 |124429 | 17.8 |8040k| 38 | 45 | 231 |6695 | 231 |2453 | 17 |4702 |2276 | 0.000000e+00 | -- | Inf
29.69/29.72 c 29.7s| 7100 | 41 |126409 | 17.8 |8070k| 38 | 39 | 231 |6734 | 231 |2453 | 17 |4771 |2278 | 0.000000e+00 | -- | Inf
29.88/29.96 c 30.0s| 7200 | 41 |128061 | 17.8 |8087k| 38 | 36 | 231 |6780 | 231 |2453 | 17 |4839 |2278 | 0.000000e+00 | -- | Inf
30.18/30.20 c 30.2s| 7300 | 41 |129736 | 17.8 |8110k| 38 | - | 231 |6847 | 231 |2453 | 17 |4933 |2278 | 0.000000e+00 | -- | Inf
30.39/30.45 c 30.4s| 7400 | 41 |131533 | 17.8 |8132k| 38 | - | 231 |6897 | 231 |2453 | 17 |5007 |2278 | 0.000000e+00 | -- | Inf
30.68/30.78 c 30.8s| 7500 | 41 |133674 | 17.8 |8160k| 38 | - | 231 |6936 | 231 |2453 | 17 |5074 |2284 | 0.000000e+00 | -- | Inf
31.07/31.11 c 31.1s| 7600 | 43 |135505 | 17.8 |8190k| 38 | 29 | 231 |6962 | 231 |2453 | 17 |5124 |2303 | 0.000000e+00 | -- | Inf
31.38/31.42 c 31.4s| 7700 | 43 |137267 | 17.8 |8204k| 38 | - | 231 |6984 | 231 |2453 | 17 |5180 |2317 | 0.000000e+00 | -- | Inf
31.68/31.74 c 31.7s| 7800 | 45 |139181 | 17.8 |8214k| 38 | 36 | 231 |7000 | 231 |2453 | 17 |5225 |2333 | 0.000000e+00 | -- | Inf
31.97/32.09 c 32.1s| 7900 | 47 |141264 | 17.9 |8224k| 38 | 30 | 231 |7013 | 231 |2453 | 17 |5272 |2353 | 0.000000e+00 | -- | Inf
32.28/32.38 c 32.4s| 8000 | 43 |143029 | 17.9 |8236k| 38 | - | 231 |7051 | 231 |2453 | 17 |5319 |2364 | 0.000000e+00 | -- | Inf
32.68/32.70 c 32.7s| 8100 | 41 |144881 | 17.9 |8242k| 38 | 33 | 231 |7091 | 231 |2453 | 17 |5365 |2386 | 0.000000e+00 | -- | Inf
32.98/33.02 c 33.0s| 8200 | 43 |146598 | 17.9 |8265k| 38 | - | 231 |7098 | 231 |2453 | 17 |5417 |2405 | 0.000000e+00 | -- | Inf
33.27/33.30 c 33.3s| 8300 | 45 |148152 | 17.8 |8271k| 38 | 22 | 231 |7113 | 231 |2453 | 17 |5477 |2420 | 0.000000e+00 | -- | Inf
33.48/33.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.48/33.59 c 33.6s| 8400 | 46 |150018 | 17.8 |8284k| 38 | 24 | 231 |7141 | 231 |2453 | 17 |5531 |2434 | 0.000000e+00 | -- | Inf
33.87/33.91 c 33.9s| 8500 | 45 |151994 | 17.9 |8293k| 38 | 29 | 231 |7174 | 231 |2453 | 17 |5583 |2451 | 0.000000e+00 | -- | Inf
34.18/34.21 c 34.2s| 8600 | 42 |153826 | 17.9 |8300k| 38 | 36 | 231 |7201 | 231 |2453 | 17 |5645 |2464 | 0.000000e+00 | -- | Inf
34.38/34.46 c 34.5s| 8700 | 46 |155388 | 17.8 |8316k| 38 | 26 | 231 |7202 | 231 |2453 | 17 |5703 |2473 | 0.000000e+00 | -- | Inf
34.57/34.68 c 34.7s| 8800 | 44 |156815 | 17.8 |8319k| 38 | 36 | 231 |7227 | 231 |2453 | 17 |5758 |2476 | 0.000000e+00 | -- | Inf
34.88/34.92 c 34.9s| 8900 | 44 |158502 | 17.8 |8327k| 38 | 38 | 231 |7252 | 231 |2453 | 17 |5814 |2479 | 0.000000e+00 | -- | Inf
35.08/35.16 c 35.2s| 9000 | 44 |160353 | 17.8 |8345k| 38 | 31 | 231 |7302 | 231 |2453 | 17 |5876 |2479 | 0.000000e+00 | -- | Inf
35.38/35.42 c 35.4s| 9100 | 44 |162375 | 17.8 |8363k| 38 | - | 231 |7331 | 231 |2453 | 17 |5933 |2480 | 0.000000e+00 | -- | Inf
35.57/35.67 c 35.7s| 9200 | 44 |164012 | 17.8 |8375k| 38 | 36 | 231 |7375 | 231 |2453 | 17 |5991 |2484 | 0.000000e+00 | -- | Inf
35.88/35.91 c 35.9s| 9300 | 42 |165750 | 17.8 |8390k| 38 | - | 231 |7420 | 231 |2453 | 17 |6053 |2486 | 0.000000e+00 | -- | Inf
36.07/36.18 c 36.2s| 9400 | 42 |167709 | 17.8 |8390k| 38 | - | 231 |7398 | 231 |2453 | 17 |6109 |2488 | 0.000000e+00 | -- | Inf
36.37/36.42 c 36.4s| 9500 | 46 |169393 | 17.8 |8400k| 38 | 40 | 231 |7379 | 231 |2453 | 17 |6176 |2488 | 0.000000e+00 | -- | Inf
36.57/36.67 c 36.7s| 9600 | 44 |171316 | 17.8 |8406k| 38 | - | 231 |7386 | 231 |2453 | 17 |6231 |2488 | 0.000000e+00 | -- | Inf
36.98/37.00 c 37.0s| 9700 | 44 |173730 | 17.9 |8415k| 38 | - | 231 |7403 | 231 |2453 | 17 |6290 |2488 | 0.000000e+00 | -- | Inf
37.17/37.30 c 37.3s| 9800 | 46 |175959 | 17.9 |8431k| 38 | 25 | 231 |7406 | 231 |2453 | 17 |6344 |2489 | 0.000000e+00 | -- | Inf
37.48/37.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.48/37.59 c 37.6s| 9900 | 44 |178148 | 18.0 |8435k| 38 | 40 | 231 |7438 | 231 |2453 | 17 |6396 |2490 | 0.000000e+00 | -- | Inf
37.77/37.85 c 37.8s| 10000 | 46 |180092 | 18.0 |8464k| 38 | - | 231 |7474 | 231 |2453 | 17 |6450 |2490 | 0.000000e+00 | -- | Inf
38.07/38.11 c 38.1s| 10100 | 48 |182065 | 18.0 |8482k| 38 | 14 | 231 |7512 | 231 |2453 | 17 |6503 |2491 | 0.000000e+00 | -- | Inf
38.27/38.37 c 38.4s| 10200 | 48 |184027 | 18.0 |8507k| 38 | - | 231 |7560 | 231 |2453 | 17 |6574 |2491 | 0.000000e+00 | -- | Inf
38.49/38.59 c 38.6s| 10300 | 47 |185619 | 18.0 |8516k| 38 | - | 231 |7610 | 231 |2453 | 17 |6633 |2491 | 0.000000e+00 | -- | Inf
38.78/38.87 c 38.9s| 10400 | 45 |187300 | 18.0 |8516k| 38 | 35 | 231 |7654 | 231 |2453 | 17 |6689 |2504 | 0.000000e+00 | -- | Inf
39.18/39.22 c 39.2s| 10500 | 45 |189200 | 18.0 |8535k| 38 | 34 | 231 |7697 | 231 |2453 | 17 |6746 |2526 | 0.000000e+00 | -- | Inf
39.38/39.48 c 39.5s| 10600 | 44 |190980 | 18.0 |8556k| 38 | - | 231 |7750 | 231 |2453 | 17 |6809 |2531 | 0.000000e+00 | -- | Inf
39.68/39.79 c 39.8s| 10700 | 45 |192738 | 18.0 |8574k| 38 | - | 231 |7789 | 231 |2453 | 17 |6862 |2552 | 0.000000e+00 | -- | Inf
39.98/40.03 c 40.0s| 10800 | 49 |194246 | 18.0 |8603k| 38 | - | 231 |7850 | 231 |2453 | 17 |6934 |2562 | 0.000000e+00 | -- | Inf
40.28/40.31 c 40.3s| 10900 | 46 |195991 | 18.0 |8616k| 38 | - | 231 |7896 | 231 |2453 | 17 |6984 |2574 | 0.000000e+00 | -- | Inf
40.47/40.59 c 40.6s| 11000 | 49 |197596 | 18.0 |8642k| 38 | 36 | 231 |7954 | 231 |2453 | 17 |7047 |2589 | 0.000000e+00 | -- | Inf
40.88/40.92 c 40.9s| 11100 | 47 |199507 | 18.0 |8658k| 38 | 31 | 231 |7999 | 231 |2453 | 17 |7101 |2608 | 0.000000e+00 | -- | Inf
41.17/41.21 c 41.2s| 11200 | 46 |201226 | 18.0 |8679k| 38 | - | 231 |8050 | 231 |2453 | 17 |7153 |2622 | 0.000000e+00 | -- | Inf
41.47/41.57 c 41.6s| 11300 | 50 |203344 | 18.0 |8701k| 38 | - | 231 |8083 | 231 |2453 | 17 |7211 |2642 | 0.000000e+00 | -- | Inf
41.78/41.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.78/41.87 c 41.9s| 11400 | 52 |205325 | 18.0 |8712k| 38 | 20 | 231 |8079 | 231 |2453 | 17 |7270 |2657 | 0.000000e+00 | -- | Inf
42.17/42.20 c 42.2s| 11500 | 54 |207281 | 18.0 |8725k| 38 | 20 | 231 |8080 | 231 |2453 | 17 |7331 |2676 | 0.000000e+00 | -- | Inf
42.47/42.50 c 42.5s| 11600 | 53 |209119 | 18.0 |8717k| 38 | 41 | 231 |8071 | 231 |2453 | 17 |7400 |2692 | 0.000000e+00 | -- | Inf
42.78/42.84 c 42.8s| 11700 | 53 |211209 | 18.0 |8727k| 38 | - | 231 |8067 | 231 |2453 | 17 |7481 |2710 | 0.000000e+00 | -- | Inf
43.07/43.15 c 43.1s| 11800 | 53 |213360 | 18.1 |8732k| 38 | 30 | 231 |8069 | 231 |2453 | 17 |7551 |2719 | 0.000000e+00 | -- | Inf
43.37/43.46 c 43.5s| 11900 | 57 |215634 | 18.1 |8763k| 38 | - | 231 |8105 | 231 |2453 | 17 |7618 |2728 | 0.000000e+00 | -- | Inf
43.67/43.73 c 43.7s| 12000 | 57 |217686 | 18.1 |8785k| 38 | - | 231 |8157 | 231 |2453 | 17 |7684 |2731 | 0.000000e+00 | -- | Inf
43.87/43.98 c 44.0s| 12100 | 57 |219614 | 18.1 |8807k| 38 | - | 231 |8215 | 231 |2453 | 17 |7751 |2732 | 0.000000e+00 | -- | Inf
44.17/44.23 c 44.2s| 12200 | 58 |221451 | 18.1 |8826k| 38 | 36 | 231 |8270 | 231 |2453 | 17 |7811 |2735 | 0.000000e+00 | -- | Inf
44.37/44.46 c 44.5s| 12300 | 58 |223317 | 18.1 |8852k| 38 | - | 231 |8325 | 231 |2453 | 17 |7878 |2735 | 0.000000e+00 | -- | Inf
44.67/44.71 c 44.7s| 12400 | 55 |225192 | 18.2 |8864k| 38 | 35 | 231 |8379 | 231 |2453 | 17 |7947 |2735 | 0.000000e+00 | -- | Inf
44.87/44.96 c 45.0s| 12500 | 51 |226962 | 18.1 |8887k| 38 | - | 231 |8420 | 231 |2453 | 17 |8011 |2739 | 0.000000e+00 | -- | Inf
45.08/45.17 c 45.2s| 12600 | 57 |228549 | 18.1 |8912k| 38 | 20 | 231 |8433 | 231 |2453 | 17 |8071 |2739 | 0.000000e+00 | -- | Inf
45.27/45.38 c 45.4s| 12700 | 54 |230169 | 18.1 |8931k| 38 | - | 231 |8488 | 231 |2453 | 17 |8137 |2739 | 0.000000e+00 | -- | Inf
45.57/45.60 c 45.6s| 12800 | 58 |231934 | 18.1 |8955k| 38 | 33 | 231 |8531 | 231 |2453 | 17 |8193 |2739 | 0.000000e+00 | -- | Inf
45.77/45.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.77/45.81 c 45.8s| 12900 | 55 |233447 | 18.1 |8965k| 38 | - | 231 |8563 | 231 |2453 | 17 |8250 |2739 | 0.000000e+00 | -- | Inf
45.97/46.04 c 46.0s| 13000 | 57 |235293 | 18.1 |8977k| 38 | 35 | 231 |8587 | 231 |2453 | 17 |8306 |2739 | 0.000000e+00 | -- | Inf
46.17/46.26 c 46.3s| 13100 | 58 |237024 | 18.1 |9000k| 38 | - | 231 |8625 | 231 |2453 | 17 |8370 |2739 | 0.000000e+00 | -- | Inf
46.37/46.47 c 46.5s| 13200 | 60 |238549 | 18.1 |9016k| 38 | 30 | 231 |8664 | 231 |2453 | 17 |8434 |2740 | 0.000000e+00 | -- | Inf
46.57/46.69 c 46.7s| 13300 | 56 |240223 | 18.1 |9022k| 38 | - | 231 |8691 | 231 |2453 | 17 |8494 |2740 | 0.000000e+00 | -- | Inf
46.87/46.92 c 46.9s| 13400 | 56 |242028 | 18.1 |9041k| 38 | - | 231 |8749 | 231 |2453 | 17 |8561 |2740 | 0.000000e+00 | -- | Inf
47.07/47.15 c 47.1s| 13500 | 55 |243842 | 18.1 |9050k| 38 | 38 | 231 |8765 | 231 |2453 | 17 |8632 |2740 | 0.000000e+00 | -- | Inf
47.28/47.38 c 47.4s| 13600 | 57 |245588 | 18.0 |9068k| 38 | 37 | 231 |8774 | 231 |2453 | 17 |8685 |2740 | 0.000000e+00 | -- | Inf
47.57/47.63 c 47.6s| 13700 | 57 |247446 | 18.1 |9070k| 38 | - | 231 |8733 | 231 |2453 | 17 |8741 |2741 | 0.000000e+00 | -- | Inf
47.77/47.88 c 47.9s| 13800 | 57 |249514 | 18.1 |9081k| 38 | - | 231 |8738 | 231 |2453 | 17 |8804 |2741 | 0.000000e+00 | -- | Inf
48.07/48.16 c 48.2s| 13900 | 59 |251726 | 18.1 |9083k| 38 | - | 231 |8722 | 231 |2453 | 17 |8877 |2742 | 0.000000e+00 | -- | Inf
48.28/48.39 c 48.4s| 14000 | 59 |253541 | 18.1 |9095k| 39 | - | 231 |8732 | 0 | 0 | 17 |8927 |2742 | 0.000000e+00 | -- | Inf
48.57/48.63 c 48.6s| 14100 | 59 |255501 | 18.1 |9091k| 39 | 32 | 231 |8733 | 231 |2453 | 17 |8980 |2742 | 0.000000e+00 | -- | Inf
48.77/48.87 c 48.9s| 14200 | 55 |257334 | 18.1 |9084k| 39 | - | 231 |8711 | 231 |2453 | 17 |9043 |2742 | 0.000000e+00 | -- | Inf
49.07/49.11 c 49.1s| 14300 | 55 |259220 | 18.1 |9083k| 39 | - | 231 |8721 | 231 |2453 | 17 |9104 |2742 | 0.000000e+00 | -- | Inf
49.27/49.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
49.27/49.34 c 49.3s| 14400 | 57 |261033 | 18.1 |9092k| 39 | - | 231 |8726 | 231 |2453 | 17 |9171 |2742 | 0.000000e+00 | -- | Inf
49.48/49.56 c 49.6s| 14500 | 57 |262762 | 18.1 |9100k| 39 | 29 | 231 |8747 | 231 |2453 | 17 |9238 |2742 | 0.000000e+00 | -- | Inf
49.67/49.77 c 49.8s| 14600 | 57 |264351 | 18.1 |9113k| 39 | 40 | 231 |8782 | 231 |2453 | 17 |9313 |2742 | 0.000000e+00 | -- | Inf
49.87/49.99 c 50.0s| 14700 | 58 |266044 | 18.1 |9131k| 39 | - | 231 |8811 | 231 |2453 | 17 |9380 |2742 | 0.000000e+00 | -- | Inf
50.07/50.19 c 50.2s| 14800 | 60 |267584 | 18.1 |9150k| 39 | - | 231 |8848 | 231 |2453 | 17 |9434 |2742 | 0.000000e+00 | -- | Inf
50.37/50.40 c 50.4s| 14900 | 61 |269164 | 18.1 |9174k| 39 | 18 | 231 |8908 | 231 |2453 | 17 |9498 |2742 | 0.000000e+00 | -- | Inf
50.58/50.62 c 50.6s| 15000 | 58 |270881 | 18.1 |9174k| 39 | 36 | 231 |8922 | 231 |2453 | 17 |9559 |2742 | 0.000000e+00 | -- | Inf
50.77/50.86 c 50.9s| 15100 | 58 |272792 | 18.1 |9194k| 39 | 31 | 231 |8967 | 231 |2453 | 17 |9623 |2742 | 0.000000e+00 | -- | Inf
51.07/51.11 c 51.1s| 15200 | 56 |274802 | 18.1 |9202k| 39 | 43 | 231 |9013 | 231 |2453 | 17 |9682 |2742 | 0.000000e+00 | -- | Inf
51.27/51.36 c 51.4s| 15300 | 58 |276983 | 18.1 |9231k| 39 | 27 | 231 |9068 | 231 |2453 | 17 |9746 |2742 | 0.000000e+00 | -- | Inf
51.47/51.60 c 51.6s| 15400 | 56 |278765 | 18.1 |9230k| 39 | 34 | 231 |9100 | 231 |2453 | 17 |9809 |2742 | 0.000000e+00 | -- | Inf
51.77/51.84 c 51.8s| 15500 | 56 |280705 | 18.1 |9251k| 39 | - | 231 |9098 | 231 |2453 | 17 |9857 |2742 | 0.000000e+00 | -- | Inf
51.97/52.08 c 52.1s| 15600 | 58 |282583 | 18.1 |9253k| 39 | 39 | 231 |9085 | 231 |2453 | 17 |9906 |2742 | 0.000000e+00 | -- | Inf
52.27/52.32 c 52.3s| 15700 | 57 |284566 | 18.1 |9253k| 39 | 36 | 231 |9083 | 231 |2453 | 17 |9952 |2742 | 0.000000e+00 | -- | Inf
52.47/52.57 c 52.6s| 15800 | 57 |286658 | 18.1 |9263k| 39 | - | 231 |9102 | 231 |2453 | 17 |9998 |2742 | 0.000000e+00 | -- | Inf
52.78/52.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
52.78/52.83 c 52.8s| 15900 | 55 |288910 | 18.2 |9273k| 39 | - | 231 |9144 | 231 |2453 | 17 | 10k|2742 | 0.000000e+00 | -- | Inf
52.97/53.06 c 53.1s| 16000 | 52 |290560 | 18.2 |9259k| 39 | 36 | 231 |9138 | 231 |2453 | 17 | 10k|2742 | 0.000000e+00 | -- | Inf
53.27/53.32 c 53.3s| 16100 | 52 |292573 | 18.2 |9288k| 39 | 29 | 231 |9099 | 231 |2453 | 17 | 10k|2742 | 0.000000e+00 | -- | Inf
53.47/53.55 c 53.5s| 16200 | 52 |294369 | 18.2 |9310k| 39 | - | 231 |9085 | 231 |2453 | 17 | 10k|2742 | 0.000000e+00 | -- | Inf
53.67/53.78 c 53.8s| 16300 | 52 |296200 | 18.2 |9311k| 39 | - | 231 |9090 | 231 |2453 | 17 | 10k|2742 | 0.000000e+00 | -- | Inf
53.97/54.03 c 54.0s| 16400 | 52 |298137 | 18.2 |9317k| 39 | - | 231 |9105 | 231 |2453 | 17 | 10k|2742 | 0.000000e+00 | -- | Inf
54.17/54.28 c 54.3s| 16500 | 51 |300145 | 18.2 |9320k| 39 | - | 231 |9123 | 231 |2453 | 17 | 10k|2742 | 0.000000e+00 | -- | Inf
54.47/54.51 c 54.5s| 16600 | 51 |301943 | 18.2 |9333k| 39 | - | 231 |9154 | 231 |2453 | 17 | 10k|2742 | 0.000000e+00 | -- | Inf
54.67/54.74 c 54.7s| 16700 | 57 |303719 | 18.2 |9355k| 39 | 28 | 231 |9159 | 231 |2453 | 17 | 10k|2742 | 0.000000e+00 | -- | Inf
54.88/54.95 c 55.0s| 16800 | 57 |305266 | 18.2 |9364k| 39 | 33 | 231 |9184 | 231 |2453 | 17 | 10k|2742 | 0.000000e+00 | -- | Inf
55.06/55.19 c 55.2s| 16900 | 59 |307062 | 18.2 |9386k| 39 | 30 | 231 |9233 | 231 |2453 | 17 | 10k|2742 | 0.000000e+00 | -- | Inf
55.37/55.41 c 55.4s| 17000 | 57 |308690 | 18.2 |9401k| 39 | 40 | 231 |9285 | 231 |2453 | 17 | 10k|2742 | 0.000000e+00 | -- | Inf
55.56/55.66 c 55.7s| 17100 | 65 |310619 | 18.2 |9438k| 39 | - | 231 |9322 | 231 |2453 | 17 | 10k|2742 | 0.000000e+00 | -- | Inf
55.87/55.90 c 55.9s| 17200 | 72 |312500 | 18.2 |9480k| 39 | 36 | 231 |9387 | 231 |2453 | 17 | 10k|2742 | 0.000000e+00 | -- | Inf
56.07/56.11 c 56.1s| 17300 | 68 |314058 | 18.1 |9497k| 39 | 29 | 231 |9460 | 231 |2453 | 17 | 11k|2742 | 0.000000e+00 | -- | Inf
56.26/56.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.26/56.32 c 56.3s| 17400 | 62 |315523 | 18.1 |9507k| 39 | - | 231 |9517 | 0 | 0 | 17 | 11k|2742 | 0.000000e+00 | -- | Inf
56.47/56.52 c 56.5s| 17500 | 63 |317081 | 18.1 |9523k| 39 | - | 231 |9566 | 231 |2453 | 17 | 11k|2742 | 0.000000e+00 | -- | Inf
56.67/56.73 c 56.7s| 17600 | 63 |318663 | 18.1 |9541k| 39 | - | 231 |9619 | 231 |2453 | 17 | 11k|2742 | 0.000000e+00 | -- | Inf
56.87/56.94 c 56.9s| 17700 | 64 |320214 | 18.1 |9558k| 39 | 39 | 231 |9669 | 231 |2453 | 17 | 11k|2742 | 0.000000e+00 | -- | Inf
57.08/57.16 c 57.2s| 17800 | 65 |321948 | 18.1 |9581k| 39 | - | 231 |9721 | 231 |2453 | 17 | 11k|2742 | 0.000000e+00 | -- | Inf
57.27/57.37 c 57.4s| 17900 | 69 |323573 | 18.1 |9621k| 39 | - | 231 |9789 | 0 | 0 | 17 | 11k|2742 | 0.000000e+00 | -- | Inf
57.47/57.58 c 57.6s| 18000 | 67 |325131 | 18.1 |9633k| 39 | 31 | 231 |9853 | 231 |2453 | 17 | 11k|2742 | 0.000000e+00 | -- | Inf
57.77/57.81 c 57.8s| 18100 | 65 |326945 | 18.1 |9656k| 39 | - | 231 |9920 | 231 |2453 | 17 | 11k|2742 | 0.000000e+00 | -- | Inf
57.97/58.03 c 58.0s| 18200 | 67 |328595 | 18.0 |9688k| 39 | - | 231 |9981 | 231 |2453 | 17 | 11k|2742 | 0.000000e+00 | -- | Inf
58.17/58.27 c 58.3s| 18300 | 67 |330455 | 18.1 |9711k| 39 | 16 | 231 | 10k| 231 |2453 | 17 | 11k|2742 | 0.000000e+00 | -- | Inf
58.47/58.50 c 58.5s| 18400 | 61 |332148 | 18.0 |9722k| 39 | - | 231 | 10k| 231 |2453 | 17 | 11k|2742 | 0.000000e+00 | -- | Inf
58.67/58.75 c 58.7s| 18500 | 60 |333999 | 18.0 |9742k| 39 | - | 231 | 10k| 231 |2453 | 17 | 11k|2742 | 0.000000e+00 | -- | Inf
58.86/58.96 c 59.0s| 18600 | 60 |335546 | 18.0 |9761k| 39 | - | 231 | 10k| 231 |2453 | 17 | 11k|2742 | 0.000000e+00 | -- | Inf
59.07/59.18 c 59.2s| 18700 | 62 |337153 | 18.0 |9773k| 39 | 27 | 231 | 10k| 231 |2453 | 17 | 11k|2742 | 0.000000e+00 | -- | Inf
59.38/59.44 c 59.4s| 18800 | 61 |339152 | 18.0 |9783k| 39 | - | 231 | 10k| 231 |2453 | 17 | 11k|2742 | 0.000000e+00 | -- | Inf
59.57/59.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
59.57/59.67 c 59.7s| 18900 | 64 |340871 | 18.0 |9779k| 39 | 37 | 231 | 10k| 231 |2453 | 17 | 12k|2742 | 0.000000e+00 | -- | Inf
59.87/59.93 c 59.9s| 19000 | 62 |342898 | 18.0 |9790k| 39 | - | 231 | 10k| 231 |2453 | 17 | 12k|2742 | 0.000000e+00 | -- | Inf
60.07/60.17 c 60.2s| 19100 | 63 |344689 | 18.0 |9798k| 39 | 32 | 231 | 10k| 231 |2453 | 17 | 12k|2742 | 0.000000e+00 | -- | Inf
60.37/60.41 c 60.4s| 19200 | 65 |346560 | 18.0 |9823k| 39 | 34 | 231 | 10k| 231 |2453 | 17 | 12k|2742 | 0.000000e+00 | -- | Inf
60.57/60.64 c 60.6s| 19300 | 64 |348320 | 18.0 |9841k| 39 | - | 231 | 10k| 231 |2453 | 17 | 12k|2742 | 0.000000e+00 | -- | Inf
60.76/60.88 c 60.9s| 19400 | 65 |350216 | 18.0 |9854k| 39 | 39 | 231 | 10k| 231 |2453 | 17 | 12k|2742 | 0.000000e+00 | -- | Inf
61.07/61.14 c 61.1s| 19500 | 67 |352268 | 18.1 |9886k| 39 | - | 231 | 10k| 231 |2453 | 17 | 12k|2742 | 0.000000e+00 | -- | Inf
61.26/61.38 c 61.4s| 19600 | 66 |354073 | 18.1 |9909k| 39 | - | 231 | 10k| 231 |2453 | 17 | 12k|2742 | 0.000000e+00 | -- | Inf
61.57/61.62 c 61.6s| 19700 | 64 |355897 | 18.1 |9935k| 39 | - | 231 | 10k| 231 |2453 | 17 | 12k|2742 | 0.000000e+00 | -- | Inf
61.77/61.85 c 61.9s| 19800 | 64 |357697 | 18.1 |9947k| 39 | - | 231 | 10k| 231 |2453 | 17 | 12k|2742 | 0.000000e+00 | -- | Inf
61.97/62.08 c 62.1s| 19900 | 68 |359474 | 18.1 |9979k| 39 | 36 | 231 | 10k| 231 |2453 | 17 | 12k|2742 | 0.000000e+00 | -- | Inf
62.27/62.32 c 62.3s| 20000 | 65 |361280 | 18.1 |9992k| 40 | 37 | 231 | 10k| 231 |2453 | 17 | 12k|2742 | 0.000000e+00 | -- | Inf
62.47/62.57 c 62.6s| 20100 | 63 |363275 | 18.1 |9995k| 40 | - | 231 | 10k| 231 |2453 | 17 | 12k|2742 | 0.000000e+00 | -- | Inf
62.76/62.80 c 62.8s| 20200 | 63 |364968 | 18.1 |9979k| 40 | 36 | 231 | 10k| 231 |2453 | 17 | 12k|2742 | 0.000000e+00 | -- | Inf
62.97/63.06 c 63.1s| 20300 | 65 |366955 | 18.1 |9966k| 40 | 37 | 231 | 10k| 231 |2453 | 17 | 13k|2742 | 0.000000e+00 | -- | Inf
63.27/63.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.27/63.31 c 63.3s| 20400 | 65 |368987 | 18.1 |9960k| 40 | - | 231 | 10k| 231 |2453 | 17 | 13k|2742 | 0.000000e+00 | -- | Inf
63.47/63.56 c 63.6s| 20500 | 65 |370889 | 18.1 |9960k| 40 | 32 | 231 | 10k| 231 |2453 | 17 | 13k|2742 | 0.000000e+00 | -- | Inf
63.77/63.83 c 63.8s| 20600 | 65 |372897 | 18.1 |9914k| 40 | 27 | 231 | 10k| 231 |2453 | 17 | 13k|2742 | 0.000000e+00 | -- | Inf
63.97/64.06 c 64.1s| 20700 | 65 |374706 | 18.1 |9876k| 40 | - | 231 | 10k| 231 |2453 | 17 | 13k|2742 | 0.000000e+00 | -- | Inf
64.17/64.27 c 64.3s| 20800 | 67 |376295 | 18.1 |9861k| 40 | - | 231 | 10k| 231 |2453 | 17 | 13k|2742 | 0.000000e+00 | -- | Inf
64.46/64.52 c 64.5s| 20900 | 67 |378287 | 18.1 |9845k| 40 | 27 | 231 |9995 | 231 |2453 | 17 | 13k|2742 | 0.000000e+00 | -- | Inf
64.67/64.75 c 64.7s| 21000 | 67 |380070 | 18.1 |9845k| 40 | 39 | 231 |9988 | 231 |2453 | 17 | 13k|2742 | 0.000000e+00 | -- | Inf
64.87/64.97 c 65.0s| 21100 | 69 |381764 | 18.1 |9849k| 40 | 33 | 231 |9966 | 231 |2453 | 17 | 13k|2742 | 0.000000e+00 | -- | Inf
65.17/65.23 c 65.2s| 21200 | 62 |383803 | 18.1 |9840k| 40 | - | 231 |9974 | 231 |2453 | 17 | 13k|2742 | 0.000000e+00 | -- | Inf
65.37/65.45 c 65.5s| 21300 | 60 |385498 | 18.1 |9833k| 40 | 36 | 231 |9984 | 231 |2453 | 17 | 13k|2742 | 0.000000e+00 | -- | Inf
65.57/65.66 c 65.7s| 21400 | 62 |387035 | 18.1 |9837k| 46 | - | 231 |9929 | 0 | 0 | 17 | 13k|2742 | 0.000000e+00 | -- | Inf
65.77/65.90 c 65.9s| 21500 | 66 |388940 | 18.1 |9799k| 46 | 18 | 231 |9807 | 231 |2453 | 17 | 13k|2742 | 0.000000e+00 | -- | Inf
65.97/66.08 c 66.1s| 21600 | 62 |390317 | 18.1 |9794k| 46 | - | 231 |9796 | 231 |2453 | 17 | 13k|2742 | 0.000000e+00 | -- | Inf
66.17/66.29 c 66.3s| 21700 | 66 |391976 | 18.1 |9786k| 46 | - | 231 |9745 | 231 |2453 | 17 | 13k|2742 | 0.000000e+00 | -- | Inf
66.36/66.48 c 66.5s| 21800 | 64 |393330 | 18.0 |9787k| 46 | - | 231 |9760 | 231 |2453 | 17 | 14k|2742 | 0.000000e+00 | -- | Inf
66.67/66.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.67/66.71 c 66.7s| 21900 | 64 |395062 | 18.0 |9767k| 46 | 34 | 231 |9700 | 231 |2453 | 17 | 14k|2742 | 0.000000e+00 | -- | Inf
66.87/66.94 c 66.9s| 22000 | 62 |396936 | 18.0 |9768k| 46 | - | 231 |9717 | 231 |2453 | 17 | 14k|2742 | 0.000000e+00 | -- | Inf
67.07/67.16 c 67.2s| 22100 | 62 |398595 | 18.0 |9763k| 46 | 34 | 231 |9710 | 231 |2453 | 17 | 14k|2742 | 0.000000e+00 | -- | Inf
67.27/67.37 c 67.4s| 22200 | 62 |400200 | 18.0 |9778k| 46 | - | 231 |9732 | 231 |2453 | 17 | 14k|2742 | 0.000000e+00 | -- | Inf
67.56/67.60 c 67.6s| 22300 | 62 |401884 | 18.0 |9778k| 46 | - | 231 |9731 | 231 |2453 | 17 | 14k|2742 | 0.000000e+00 | -- | Inf
67.77/67.82 c 67.8s| 22400 | 63 |403604 | 18.0 |9796k| 46 | - | 231 |9768 | 231 |2453 | 17 | 14k|2742 | 0.000000e+00 | -- | Inf
67.97/68.06 c 68.1s| 22500 | 65 |405497 | 18.0 |9815k| 46 | 25 | 231 |9819 | 231 |2453 | 17 | 14k|2742 | 0.000000e+00 | -- | Inf
68.18/68.27 c 68.3s| 22600 | 69 |407130 | 18.0 |9846k| 46 | - | 231 |9872 | 231 |2453 | 17 | 14k|2742 | 0.000000e+00 | -- | Inf
68.37/68.49 c 68.5s| 22700 | 70 |408771 | 18.0 |9858k| 46 | 23 | 231 |9918 | 231 |2453 | 17 | 14k|2742 | 0.000000e+00 | -- | Inf
68.67/68.71 c 68.7s| 22800 | 68 |410523 | 18.0 |9882k| 46 | - | 231 |9967 | 0 | 0 | 17 | 14k|2742 | 0.000000e+00 | -- | Inf
68.87/68.95 c 69.0s| 22900 | 65 |412489 | 18.0 |9889k| 46 | - | 231 | 10k| 231 |2453 | 17 | 14k|2742 | 0.000000e+00 | -- | Inf
69.07/69.18 c 69.2s| 23000 | 69 |414229 | 18.0 |9917k| 46 | 34 | 231 | 10k| 231 |2453 | 17 | 14k|2742 | 0.000000e+00 | -- | Inf
69.37/69.42 c 69.4s| 23100 | 68 |416073 | 18.0 |9933k| 46 | 22 | 231 | 10k| 231 |2453 | 17 | 14k|2742 | 0.000000e+00 | -- | Inf
69.56/69.65 c 69.7s| 23200 | 66 |417970 | 18.0 |9946k| 46 | 37 | 231 | 10k| 231 |2453 | 17 | 14k|2742 | 0.000000e+00 | -- | Inf
69.87/69.90 c 69.9s| 23300 | 67 |420017 | 18.0 |9968k| 46 | 29 | 231 | 10k| 231 |2453 | 17 | 14k|2742 | 0.000000e+00 | -- | Inf
70.07/70.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.07/70.16 c 70.2s| 23400 | 70 |422108 | 18.0 |9993k| 46 | 40 | 231 | 10k| 231 |2453 | 17 | 15k|2742 | 0.000000e+00 | -- | Inf
70.37/70.41 c 70.4s| 23500 | 72 |424144 | 18.0 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 15k|2742 | 0.000000e+00 | -- | Inf
70.57/70.62 c 70.6s| 23600 | 71 |425861 | 18.0 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 15k|2742 | 0.000000e+00 | -- | Inf
70.76/70.87 c 70.9s| 23700 | 73 |427852 | 18.0 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 15k|2742 | 0.000000e+00 | -- | Inf
71.07/71.11 c 71.1s| 23800 | 71 |429871 | 18.1 | 10M| 46 | 33 | 231 | 10k| 231 |2453 | 17 | 15k|2742 | 0.000000e+00 | -- | Inf
71.27/71.36 c 71.4s| 23900 | 72 |431866 | 18.1 | 10M| 46 | 34 | 231 | 10k| 231 |2453 | 17 | 15k|2742 | 0.000000e+00 | -- | Inf
71.48/71.58 c 71.6s| 24000 | 72 |433553 | 18.1 | 10M| 46 | 35 | 231 | 10k| 231 |2453 | 17 | 15k|2742 | 0.000000e+00 | -- | Inf
71.77/71.80 c 71.8s| 24100 | 68 |435356 | 18.1 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 15k|2742 | 0.000000e+00 | -- | Inf
71.97/72.03 c 72.0s| 24200 | 67 |437166 | 18.1 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 15k|2742 | 0.000000e+00 | -- | Inf
72.17/72.24 c 72.2s| 24300 | 65 |438788 | 18.1 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 15k|2742 | 0.000000e+00 | -- | Inf
72.37/72.45 c 72.5s| 24400 | 68 |440479 | 18.0 | 10M| 46 | - | 231 | 10k| 0 | 0 | 17 | 15k|2742 | 0.000000e+00 | -- | Inf
72.57/72.66 c 72.7s| 24500 | 69 |442076 | 18.0 | 10M| 46 | 23 | 231 | 10k| 231 |2453 | 17 | 15k|2742 | 0.000000e+00 | -- | Inf
72.77/72.89 c 72.9s| 24600 | 63 |443876 | 18.0 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 15k|2742 | 0.000000e+00 | -- | Inf
73.07/73.15 c 73.1s| 24700 | 61 |445872 | 18.0 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 15k|2742 | 0.000000e+00 | -- | Inf
73.27/73.37 c 73.4s| 24800 | 62 |447489 | 18.0 | 10M| 46 | 41 | 231 | 10k| 231 |2453 | 17 | 15k|2742 | 0.000000e+00 | -- | Inf
73.58/73.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
73.58/73.63 c 73.6s| 24900 | 62 |449453 | 18.0 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 16k|2742 | 0.000000e+00 | -- | Inf
73.77/73.86 c 73.9s| 25000 | 62 |451232 | 18.0 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 16k|2742 | 0.000000e+00 | -- | Inf
74.07/74.13 c 74.1s| 25100 | 60 |452970 | 18.0 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 16k|2751 | 0.000000e+00 | -- | Inf
74.37/74.44 c 74.4s| 25200 | 62 |454969 | 18.0 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 16k|2763 | 0.000000e+00 | -- | Inf
74.67/74.74 c 74.7s| 25300 | 64 |456860 | 18.1 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 16k|2779 | 0.000000e+00 | -- | Inf
74.97/75.05 c 75.0s| 25400 | 64 |458727 | 18.1 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 16k|2794 | 0.000000e+00 | -- | Inf
75.16/75.28 c 75.3s| 25500 | 65 |460133 | 18.0 | 10M| 46 | - | 231 | 10k| 0 | 0 | 17 | 16k|2806 | 0.000000e+00 | -- | Inf
75.46/75.54 c 75.5s| 25600 | 63 |461711 | 18.0 | 10M| 46 | 44 | 231 | 10k| 231 |2453 | 17 | 16k|2816 | 0.000000e+00 | -- | Inf
75.77/75.82 c 75.8s| 25700 | 63 |463397 | 18.0 | 10M| 46 | 36 | 231 | 10k| 231 |2453 | 17 | 16k|2831 | 0.000000e+00 | -- | Inf
75.96/76.09 c 76.1s| 25800 | 63 |465025 | 18.0 | 10M| 46 | 33 | 231 | 10k| 231 |2453 | 17 | 16k|2845 | 0.000000e+00 | -- | Inf
76.27/76.35 c 76.3s| 25900 | 63 |466732 | 18.0 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 16k|2857 | 0.000000e+00 | -- | Inf
76.56/76.63 c 76.6s| 26000 | 59 |468554 | 18.0 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 16k|2870 | 0.000000e+00 | -- | Inf
76.87/76.90 c 76.9s| 26100 | 61 |470179 | 18.0 | 10M| 46 | 25 | 231 | 10k| 231 |2453 | 17 | 16k|2880 | 0.000000e+00 | -- | Inf
77.06/77.19 c 77.2s| 26200 | 61 |471893 | 18.0 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 16k|2893 | 0.000000e+00 | -- | Inf
77.36/77.48 c 77.5s| 26300 | 57 |473664 | 18.0 | 10M| 46 | 41 | 231 | 10k| 231 |2453 | 17 | 16k|2907 | 0.000000e+00 | -- | Inf
77.67/77.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.67/77.75 c 77.8s| 26400 | 55 |475297 | 18.0 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 16k|2921 | 0.000000e+00 | -- | Inf
77.97/78.01 c 78.0s| 26500 | 59 |476894 | 18.0 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 16k|2933 | 0.000000e+00 | -- | Inf
78.27/78.30 c 78.3s| 26600 | 57 |478694 | 18.0 | 10M| 46 | 33 | 231 | 10k| 231 |2453 | 17 | 17k|2947 | 0.000000e+00 | -- | Inf
78.47/78.59 c 78.6s| 26700 | 55 |480534 | 18.0 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 17k|2960 | 0.000000e+00 | -- | Inf
78.77/78.86 c 78.9s| 26800 | 56 |482392 | 18.0 |9982k| 46 | - | 231 | 10k| 231 |2453 | 17 | 17k|2967 | 0.000000e+00 | -- | Inf
78.96/79.10 c 79.1s| 26900 | 56 |484011 | 18.0 |9973k| 46 | - | 231 |9951 | 231 |2453 | 17 | 17k|2973 | 0.000000e+00 | -- | Inf
79.27/79.35 c 79.3s| 27000 | 60 |485824 | 18.0 |9928k| 46 | 30 | 231 |9812 | 231 |2453 | 17 | 17k|2977 | 0.000000e+00 | -- | Inf
79.57/79.60 c 79.6s| 27100 | 58 |487668 | 18.0 |9894k| 46 | - | 231 |9707 | 231 |2453 | 17 | 17k|2980 | 0.000000e+00 | -- | Inf
79.76/79.82 c 79.8s| 27200 | 58 |489188 | 18.0 |9872k| 46 | - | 231 |9628 | 231 |2453 | 17 | 17k|2984 | 0.000000e+00 | -- | Inf
79.96/80.05 c 80.0s| 27300 | 58 |490926 | 18.0 |9874k| 46 | 28 | 231 |9643 | 231 |2453 | 17 | 17k|2985 | 0.000000e+00 | -- | Inf
80.17/80.29 c 80.3s| 27400 | 58 |492853 | 18.0 |9844k| 46 | 39 | 231 |9544 | 231 |2453 | 17 | 17k|2985 | 0.000000e+00 | -- | Inf
80.57/80.60 c 80.6s| 27500 | 58 |495170 | 18.0 |9816k| 46 | 30 | 231 |9460 | 231 |2453 | 17 | 17k|2991 | 0.000000e+00 | -- | Inf
80.76/80.83 c 80.8s| 27600 | 58 |497036 | 18.0 |9819k| 46 | - | 231 |9456 | 231 |2453 | 17 | 17k|2991 | 0.000000e+00 | -- | Inf
80.97/81.06 c 81.1s| 27700 | 58 |498889 | 18.0 |9833k| 46 | - | 231 |9502 | 231 |2453 | 17 | 17k|2991 | 0.000000e+00 | -- | Inf
81.27/81.31 c 81.3s| 27800 | 59 |500871 | 18.0 |9848k| 46 | - | 231 |9534 | 231 |2453 | 17 | 17k|2992 | 0.000000e+00 | -- | Inf
81.46/81.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.46/81.57 c 81.6s| 27900 | 59 |502861 | 18.0 |9859k| 46 | - | 231 |9558 | 231 |2453 | 17 | 17k|2992 | 0.000000e+00 | -- | Inf
81.77/81.80 c 81.8s| 28000 | 60 |504686 | 18.0 |9867k| 46 | 42 | 231 |9579 | 231 |2453 | 17 | 17k|2992 | 0.000000e+00 | -- | Inf
81.96/82.05 c 82.0s| 28100 | 58 |506620 | 18.0 |9880k| 46 | 36 | 231 |9619 | 231 |2453 | 17 | 17k|2992 | 0.000000e+00 | -- | Inf
82.27/82.31 c 82.3s| 28200 | 62 |508732 | 18.0 |9911k| 46 | - | 231 |9666 | 231 |2453 | 17 | 18k|2992 | 0.000000e+00 | -- | Inf
82.47/82.55 c 82.6s| 28300 | 61 |510623 | 18.0 |9908k| 46 | - | 231 |9662 | 231 |2453 | 17 | 18k|2992 | 0.000000e+00 | -- | Inf
82.66/82.78 c 82.8s| 28400 | 61 |512365 | 18.0 |9870k| 46 | 37 | 231 |9576 | 231 |2453 | 17 | 18k|2992 | 0.000000e+00 | -- | Inf
82.97/83.01 c 83.0s| 28500 | 59 |514075 | 18.0 |9867k| 46 | - | 231 |9555 | 231 |2453 | 17 | 18k|2992 | 0.000000e+00 | -- | Inf
83.17/83.24 c 83.2s| 28600 | 59 |515830 | 18.0 |9818k| 46 | - | 231 |9456 | 231 |2453 | 17 | 18k|2992 | 0.000000e+00 | -- | Inf
83.36/83.45 c 83.4s| 28700 | 59 |517310 | 18.0 |9815k| 46 | 30 | 231 |9459 | 231 |2453 | 17 | 18k|2992 | 0.000000e+00 | -- | Inf
83.67/83.75 c 83.8s| 28800 | 55 |519371 | 18.0 |9724k| 46 | - | 231 |9367 | 231 |2453 | 17 | 18k|3002 | 0.000000e+00 | -- | Inf
83.96/84.03 c 84.0s| 28900 | 56 |521165 | 18.0 |9684k| 46 | 19 | 231 |9252 | 231 |2453 | 17 | 18k|3011 | 0.000000e+00 | -- | Inf
84.26/84.31 c 84.3s| 29000 | 58 |522936 | 18.0 |9683k| 46 | 32 | 231 |9221 | 231 |2453 | 17 | 18k|3023 | 0.000000e+00 | -- | Inf
84.47/84.60 c 84.6s| 29100 | 59 |524797 | 18.0 |9684k| 46 | 28 | 231 |9220 | 231 |2453 | 17 | 18k|3035 | 0.000000e+00 | -- | Inf
84.76/84.86 c 84.9s| 29200 | 62 |526535 | 18.0 |9694k| 46 | - | 231 |9216 | 231 |2453 | 17 | 18k|3046 | 0.000000e+00 | -- | Inf
85.17/85.20 c 85.2s| 29300 | 60 |528743 | 18.0 |9709k| 46 | - | 231 |9258 | 231 |2453 | 17 | 18k|3066 | 0.000000e+00 | -- | Inf
85.36/85.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
85.36/85.49 c 85.5s| 29400 | 57 |530786 | 18.0 |9715k| 46 | - | 231 |9299 | 231 |2453 | 17 | 18k|3075 | 0.000000e+00 | -- | Inf
85.67/85.76 c 85.8s| 29500 | 59 |532642 | 18.1 |9742k| 46 | - | 231 |9363 | 231 |2453 | 17 | 18k|3083 | 0.000000e+00 | -- | Inf
85.97/86.05 c 86.0s| 29600 | 61 |534434 | 18.1 |9768k| 46 | - | 231 |9413 | 231 |2453 | 17 | 18k|3096 | 0.000000e+00 | -- | Inf
86.26/86.35 c 86.3s| 29700 | 61 |536364 | 18.1 |9784k| 46 | 44 | 231 |9474 | 231 |2453 | 17 | 19k|3109 | 0.000000e+00 | -- | Inf
86.56/86.62 c 86.6s| 29800 | 60 |538134 | 18.1 |9813k| 46 | - | 231 |9547 | 231 |2453 | 17 | 19k|3122 | 0.000000e+00 | -- | Inf
86.88/86.91 c 86.9s| 29900 | 58 |540162 | 18.1 |9838k| 46 | - | 231 |9628 | 231 |2453 | 17 | 19k|3133 | 0.000000e+00 | -- | Inf
87.16/87.22 c 87.2s| 30000 | 60 |541976 | 18.1 |9860k| 46 | 37 | 231 |9692 | 231 |2453 | 17 | 19k|3155 | 0.000000e+00 | -- | Inf
87.47/87.50 c 87.5s| 30100 | 60 |543855 | 18.1 |9887k| 46 | 40 | 231 |9760 | 231 |2453 | 17 | 19k|3167 | 0.000000e+00 | -- | Inf
87.66/87.78 c 87.8s| 30200 | 56 |545880 | 18.1 |9890k| 46 | 30 | 231 |9795 | 231 |2453 | 17 | 19k|3177 | 0.000000e+00 | -- | Inf
87.97/88.01 c 88.0s| 30300 | 55 |547401 | 18.1 |9899k| 46 | - | 231 |9807 | 231 |2453 | 17 | 19k|3184 | 0.000000e+00 | -- | Inf
88.17/88.24 c 88.2s| 30400 | 56 |548906 | 18.1 |9902k| 46 | 24 | 231 |9812 | 231 |2453 | 17 | 19k|3190 | 0.000000e+00 | -- | Inf
88.36/88.46 c 88.5s| 30500 | 57 |550382 | 18.0 |9882k| 46 | 29 | 231 |9726 | 231 |2453 | 17 | 19k|3193 | 0.000000e+00 | -- | Inf
88.56/88.68 c 88.7s| 30600 | 55 |552024 | 18.0 |9866k| 46 | 43 | 231 |9697 | 231 |2453 | 17 | 19k|3194 | 0.000000e+00 | -- | Inf
88.86/88.93 c 88.9s| 30700 | 56 |553957 | 18.0 |9870k| 46 | - | 231 |9683 | 231 |2453 | 17 | 19k|3198 | 0.000000e+00 | -- | Inf
89.07/89.18 c 89.2s| 30800 | 56 |555951 | 18.0 |9874k| 46 | - | 231 |9684 | 231 |2453 | 17 | 19k|3199 | 0.000000e+00 | -- | Inf
89.37/89.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
89.37/89.40 c 89.4s| 30900 | 56 |557730 | 18.0 |9873k| 46 | 29 | 231 |9676 | 231 |2453 | 17 | 19k|3199 | 0.000000e+00 | -- | Inf
89.57/89.65 c 89.6s| 31000 | 58 |559686 | 18.1 |9888k| 46 | 34 | 231 |9701 | 231 |2453 | 17 | 19k|3201 | 0.000000e+00 | -- | Inf
89.86/89.90 c 89.9s| 31100 | 58 |561704 | 18.1 |9894k| 46 | 34 | 231 |9708 | 231 |2453 | 17 | 20k|3201 | 0.000000e+00 | -- | Inf
90.07/90.15 c 90.2s| 31200 | 56 |563707 | 18.1 |9912k| 46 | - | 231 |9750 | 231 |2453 | 17 | 20k|3201 | 0.000000e+00 | -- | Inf
90.36/90.42 c 90.4s| 31300 | 56 |565822 | 18.1 |9929k| 46 | 38 | 231 |9798 | 231 |2453 | 17 | 20k|3202 | 0.000000e+00 | -- | Inf
90.56/90.69 c 90.7s| 31400 | 56 |568106 | 18.1 |9948k| 46 | 37 | 231 |9824 | 231 |2453 | 17 | 20k|3202 | 0.000000e+00 | -- | Inf
90.87/90.96 c 91.0s| 31500 | 54 |570240 | 18.1 |9966k| 46 | - | 231 |9867 | 231 |2453 | 17 | 20k|3202 | 0.000000e+00 | -- | Inf
91.17/91.23 c 91.2s| 31600 | 52 |572358 | 18.1 |9970k| 46 | - | 231 |9885 | 231 |2453 | 17 | 20k|3204 | 0.000000e+00 | -- | Inf
91.36/91.49 c 91.5s| 31700 | 52 |574504 | 18.1 |9971k| 46 | 40 | 231 |9888 | 231 |2453 | 17 | 20k|3205 | 0.000000e+00 | -- | Inf
91.67/91.73 c 91.7s| 31800 | 54 |576326 | 18.1 |9978k| 46 | - | 231 |9880 | 231 |2453 | 17 | 20k|3205 | 0.000000e+00 | -- | Inf
91.86/91.95 c 91.9s| 31900 | 52 |578072 | 18.1 |9979k| 46 | - | 231 |9896 | 231 |2453 | 17 | 20k|3205 | 0.000000e+00 | -- | Inf
92.07/92.18 c 92.2s| 32000 | 54 |579840 | 18.1 |9968k| 46 | 31 | 231 |9847 | 231 |2453 | 17 | 20k|3205 | 0.000000e+00 | -- | Inf
92.27/92.40 c 92.4s| 32100 | 54 |581518 | 18.1 |9956k| 46 | 34 | 231 |9820 | 231 |2453 | 17 | 20k|3205 | 0.000000e+00 | -- | Inf
92.56/92.64 c 92.6s| 32200 | 54 |583375 | 18.1 |9916k| 46 | 39 | 231 |9696 | 231 |2453 | 17 | 20k|3205 | 0.000000e+00 | -- | Inf
92.87/92.94 c 92.9s| 32300 | 52 |585328 | 18.1 |9866k| 46 | - | 231 |9554 | 231 |2453 | 17 | 20k|3214 | 0.000000e+00 | -- | Inf
93.17/93.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
93.17/93.28 c 93.3s| 32400 | 54 |587415 | 18.1 |9839k| 46 | 27 | 231 |9452 | 231 |2453 | 17 | 20k|3234 | 0.000000e+00 | -- | Inf
93.37/93.49 c 93.5s| 32500 | 55 |589013 | 18.1 |9840k| 46 | 32 | 231 |9445 | 231 |2453 | 17 | 21k|3234 | 0.000000e+00 | -- | Inf
93.66/93.76 c 93.8s| 32600 | 53 |590777 | 18.1 |9838k| 46 | 31 | 231 |9450 | 231 |2453 | 17 | 21k|3247 | 0.000000e+00 | -- | Inf
93.96/94.05 c 94.0s| 32700 | 53 |592721 | 18.1 |9841k| 46 | 32 | 231 |9457 | 231 |2453 | 17 | 21k|3256 | 0.000000e+00 | -- | Inf
94.36/94.40 c 94.4s| 32800 | 55 |594903 | 18.1 |9846k| 46 | 29 | 231 |9438 | 231 |2453 | 17 | 21k|3275 | 0.000000e+00 | -- | Inf
94.57/94.63 c 94.6s| 32900 | 55 |596521 | 18.1 |9846k| 46 | - | 231 |9431 | 231 |2453 | 17 | 21k|3279 | 0.000000e+00 | -- | Inf
94.87/94.92 c 94.9s| 33000 | 59 |598354 | 18.1 |9869k| 46 | 29 | 231 |9461 | 231 |2453 | 17 | 21k|3292 | 0.000000e+00 | -- | Inf
95.06/95.18 c 95.2s| 33100 | 61 |600081 | 18.1 |9889k| 46 | 24 | 231 |9502 | 231 |2453 | 17 | 21k|3299 | 0.000000e+00 | -- | Inf
95.36/95.44 c 95.4s| 33200 | 56 |601721 | 18.1 |9897k| 46 | - | 231 |9540 | 231 |2453 | 17 | 21k|3310 | 0.000000e+00 | -- | Inf
95.67/95.71 c 95.7s| 33300 | 54 |603476 | 18.1 |9906k| 46 | 37 | 231 |9592 | 231 |2453 | 17 | 21k|3322 | 0.000000e+00 | -- | Inf
95.97/96.01 c 96.0s| 33400 | 57 |605361 | 18.1 |9926k| 46 | - | 231 |9601 | 0 | 0 | 17 | 21k|3339 | 0.000000e+00 | -- | Inf
96.16/96.26 c 96.3s| 33500 | 56 |607049 | 18.1 |9911k| 46 | - | 231 |9573 | 231 |2453 | 17 | 21k|3349 | 0.000000e+00 | -- | Inf
96.46/96.53 c 96.5s| 33600 | 62 |608803 | 18.1 |9929k| 46 | 28 | 231 |9574 | 231 |2453 | 17 | 21k|3358 | 0.000000e+00 | -- | Inf
96.66/96.80 c 96.8s| 33700 | 63 |610497 | 18.1 |9949k| 46 | 36 | 231 |9620 | 231 |2453 | 17 | 21k|3374 | 0.000000e+00 | -- | Inf
96.96/97.09 c 97.1s| 33800 | 69 |612392 | 18.1 |9976k| 46 | 22 | 231 |9651 | 231 |2453 | 17 | 21k|3387 | 0.000000e+00 | -- | Inf
97.26/97.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
97.26/97.34 c 97.3s| 33900 | 66 |614201 | 18.1 |9985k| 46 | - | 231 |9682 | 231 |2453 | 17 | 21k|3394 | 0.000000e+00 | -- | Inf
97.46/97.56 c 97.6s| 34000 | 64 |615582 | 18.1 | 10M| 46 | - | 231 |9750 | 0 | 0 | 17 | 22k|3399 | 0.000000e+00 | -- | Inf
97.77/97.81 c 97.8s| 34100 | 66 |617452 | 18.1 | 10M| 46 | - | 231 |9804 | 231 |2453 | 17 | 22k|3404 | 0.000000e+00 | -- | Inf
97.96/98.07 c 98.1s| 34200 | 68 |619384 | 18.1 | 10M| 46 | 46 | 231 |9855 | 231 |2453 | 17 | 22k|3409 | 0.000000e+00 | -- | Inf
98.26/98.34 c 98.3s| 34300 | 72 |621428 | 18.1 | 10M| 46 | - | 231 |9902 | 231 |2453 | 17 | 22k|3415 | 0.000000e+00 | -- | Inf
98.56/98.61 c 98.6s| 34400 | 70 |623399 | 18.1 | 10M| 46 | - | 231 |9968 | 231 |2453 | 17 | 22k|3419 | 0.000000e+00 | -- | Inf
98.77/98.82 c 98.8s| 34500 | 70 |624930 | 18.1 | 10M| 46 | 32 | 231 | 10k| 231 |2453 | 17 | 22k|3420 | 0.000000e+00 | -- | Inf
98.97/99.07 c 99.1s| 34600 | 67 |626622 | 18.1 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 22k|3427 | 0.000000e+00 | -- | Inf
99.26/99.33 c 99.3s| 34700 | 71 |628631 | 18.1 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 22k|3430 | 0.000000e+00 | -- | Inf
99.46/99.56 c 99.6s| 34800 | 79 |630370 | 18.1 | 10M| 46 | 36 | 231 | 10k| 231 |2453 | 17 | 22k|3431 | 0.000000e+00 | -- | Inf
99.67/99.78 c 99.8s| 34900 | 79 |632029 | 18.1 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 22k|3433 | 0.000000e+00 | -- | Inf
99.86/100.00 c 100s| 35000 | 81 |633635 | 18.1 | 10M| 46 | 31 | 231 | 10k| 231 |2453 | 17 | 22k|3435 | 0.000000e+00 | -- | Inf
100.16/100.20 c 100s| 35100 | 79 |635176 | 18.1 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 22k|3436 | 0.000000e+00 | -- | Inf
100.37/100.43 c 100s| 35200 | 81 |636830 | 18.1 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 22k|3439 | 0.000000e+00 | -- | Inf
100.56/100.66 c 101s| 35300 | 79 |638527 | 18.1 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 22k|3440 | 0.000000e+00 | -- | Inf
100.76/100.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
100.76/100.87 c 101s| 35400 | 81 |640238 | 18.1 | 10M| 46 | 35 | 231 | 10k| 231 |2453 | 17 | 22k|3440 | 0.000000e+00 | -- | Inf
101.06/101.12 c 101s| 35500 | 83 |642270 | 18.1 | 10M| 46 | 27 | 231 | 10k| 231 |2453 | 17 | 22k|3440 | 0.000000e+00 | -- | Inf
101.26/101.38 c 101s| 35600 | 81 |644383 | 18.1 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 23k|3440 | 0.000000e+00 | -- | Inf
101.57/101.64 c 102s| 35700 | 83 |646468 | 18.1 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 23k|3440 | 0.000000e+00 | -- | Inf
101.76/101.86 c 102s| 35800 | 85 |648134 | 18.1 | 10M| 46 | 34 | 231 | 10k| 231 |2453 | 17 | 23k|3440 | 0.000000e+00 | -- | Inf
101.96/102.09 c 102s| 35900 | 87 |649931 | 18.1 | 10M| 46 | 42 | 231 | 10k| 231 |2453 | 17 | 23k|3440 | 0.000000e+00 | -- | Inf
102.26/102.32 c 102s| 36000 | 87 |651703 | 18.1 | 10M| 46 | 35 | 231 | 10k| 231 |2453 | 17 | 23k|3440 | 0.000000e+00 | -- | Inf
102.46/102.56 c 103s| 36100 | 84 |653510 | 18.1 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 23k|3440 | 0.000000e+00 | -- | Inf
102.66/102.79 c 103s| 36200 | 84 |655409 | 18.1 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 23k|3440 | 0.000000e+00 | -- | Inf
102.96/103.01 c 103s| 36300 | 84 |657018 | 18.1 | 10M| 46 | 20 | 231 | 11k| 231 |2453 | 17 | 23k|3440 | 0.000000e+00 | -- | Inf
103.27/103.32 c 103s| 36400 | 86 |659034 | 18.1 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 23k|3453 | 0.000000e+00 | -- | Inf
103.47/103.59 c 104s| 36500 | 88 |661094 | 18.1 | 10M| 46 | 28 | 231 | 11k| 231 |2453 | 17 | 23k|3455 | 0.000000e+00 | -- | Inf
103.86/103.90 c 104s| 36600 | 90 |663043 | 18.1 | 10M| 46 | 34 | 231 | 11k| 231 |2453 | 17 | 23k|3469 | 0.000000e+00 | -- | Inf
104.06/104.16 c 104s| 36700 | 90 |664744 | 18.1 | 10M| 46 | 33 | 231 | 11k| 231 |2453 | 17 | 23k|3479 | 0.000000e+00 | -- | Inf
104.36/104.46 c 104s| 36800 | 92 |666595 | 18.1 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 23k|3495 | 0.000000e+00 | -- | Inf
104.66/104.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.66/104.73 c 105s| 36900 | 98 |668529 | 18.1 | 10M| 46 | 30 | 231 | 11k| 231 |2453 | 17 | 23k|3502 | 0.000000e+00 | -- | Inf
104.96/105.00 c 105s| 37000 | 92 |670348 | 18.1 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 23k|3511 | 0.000000e+00 | -- | Inf
105.16/105.27 c 105s| 37100 | 90 |672048 | 18.1 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 23k|3522 | 0.000000e+00 | -- | Inf
105.47/105.53 c 106s| 37200 | 90 |673626 | 18.1 | 10M| 46 | 23 | 231 | 11k| 231 |2453 | 17 | 23k|3532 | 0.000000e+00 | -- | Inf
105.66/105.79 c 106s| 37300 | 88 |675286 | 18.1 | 10M| 46 | 37 | 231 | 11k| 231 |2453 | 17 | 23k|3541 | 0.000000e+00 | -- | Inf
105.96/106.08 c 106s| 37400 | 88 |677202 | 18.1 | 10M| 46 | 38 | 231 | 11k| 231 |2453 | 17 | 24k|3555 | 0.000000e+00 | -- | Inf
106.26/106.37 c 106s| 37500 | 88 |679191 | 18.1 | 10M| 46 | 37 | 231 | 11k| 231 |2453 | 17 | 24k|3566 | 0.000000e+00 | -- | Inf
106.57/106.67 c 107s| 37600 | 92 |681159 | 18.1 | 10M| 46 | 20 | 231 | 11k| 231 |2453 | 17 | 24k|3579 | 0.000000e+00 | -- | Inf
106.86/106.90 c 107s| 37700 | 90 |682724 | 18.1 | 10M| 46 | 27 | 231 | 11k| 231 |2453 | 17 | 24k|3590 | 0.000000e+00 | -- | Inf
107.06/107.19 c 107s| 37800 | 92 |684653 | 18.1 | 10M| 46 | 44 | 231 | 11k| 231 |2453 | 17 | 24k|3602 | 0.000000e+00 | -- | Inf
107.36/107.47 c 107s| 37900 | 90 |686442 | 18.1 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 24k|3614 | 0.000000e+00 | -- | Inf
107.66/107.77 c 108s| 38000 | 93 |688426 | 18.1 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 24k|3627 | 0.000000e+00 | -- | Inf
107.97/108.05 c 108s| 38100 | 95 |690659 | 18.1 | 10M| 46 | 41 | 231 | 11k| 231 |2453 | 17 | 24k|3630 | 0.000000e+00 | -- | Inf
108.26/108.30 c 108s| 38200 | 97 |692586 | 18.1 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 24k|3634 | 0.000000e+00 | -- | Inf
108.46/108.55 c 109s| 38300 | 101 |694429 | 18.1 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 24k|3639 | 0.000000e+00 | -- | Inf
108.66/108.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
108.66/108.79 c 109s| 38400 | 97 |696391 | 18.1 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 24k|3639 | 0.000000e+00 | -- | Inf
108.96/109.05 c 109s| 38500 | 97 |698336 | 18.1 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 24k|3641 | 0.000000e+00 | -- | Inf
109.16/109.28 c 109s| 38600 | 98 |700114 | 18.1 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 24k|3642 | 0.000000e+00 | -- | Inf
109.46/109.52 c 110s| 38700 | 98 |702089 | 18.1 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 24k|3643 | 0.000000e+00 | -- | Inf
109.66/109.79 c 110s| 38800 | 94 |704071 | 18.1 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 24k|3647 | 0.000000e+00 | -- | Inf
109.97/110.03 c 110s| 38900 | 95 |705949 | 18.1 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 24k|3648 | 0.000000e+00 | -- | Inf
110.16/110.25 c 110s| 39000 | 95 |707537 | 18.1 | 10M| 46 | 37 | 231 | 11k| 231 |2453 | 17 | 25k|3650 | 0.000000e+00 | -- | Inf
110.36/110.49 c 110s| 39100 | 94 |709218 | 18.1 | 10M| 46 | 38 | 231 | 11k| 231 |2453 | 17 | 25k|3654 | 0.000000e+00 | -- | Inf
110.66/110.74 c 111s| 39200 | 100 |711173 | 18.1 | 10M| 46 | 34 | 231 | 11k| 231 |2453 | 17 | 25k|3654 | 0.000000e+00 | -- | Inf
110.86/111.00 c 111s| 39300 | 106 |713255 | 18.1 | 10M| 46 | 36 | 231 | 11k| 231 |2453 | 17 | 25k|3655 | 0.000000e+00 | -- | Inf
111.17/111.26 c 111s| 39400 | 106 |715327 | 18.2 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 25k|3655 | 0.000000e+00 | -- | Inf
111.46/111.53 c 112s| 39500 | 110 |717473 | 18.2 | 10M| 46 | 31 | 231 | 11k| 231 |2453 | 17 | 25k|3657 | 0.000000e+00 | -- | Inf
111.66/111.76 c 112s| 39600 | 106 |719236 | 18.2 | 10M| 46 | 38 | 231 | 11k| 231 |2453 | 17 | 25k|3657 | 0.000000e+00 | -- | Inf
111.96/112.01 c 112s| 39700 | 104 |721206 | 18.2 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 25k|3657 | 0.000000e+00 | -- | Inf
112.17/112.29 c 112s| 39800 | 102 |723463 | 18.2 | 11M| 46 | - | 231 | 11k| 231 |2453 | 17 | 25k|3657 | 0.000000e+00 | -- | Inf
112.46/112.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
112.46/112.56 c 113s| 39900 | 101 |725635 | 18.2 | 11M| 46 | 39 | 231 | 11k| 231 |2453 | 17 | 25k|3657 | 0.000000e+00 | -- | Inf
112.76/112.82 c 113s| 40000 | 99 |727643 | 18.2 | 11M| 46 | 39 | 231 | 11k| 231 |2453 | 17 | 25k|3658 | 0.000000e+00 | -- | Inf
112.96/113.08 c 113s| 40100 | 97 |729662 | 18.2 | 11M| 46 | - | 231 | 11k| 231 |2453 | 17 | 25k|3659 | 0.000000e+00 | -- | Inf
113.27/113.31 c 113s| 40200 | 99 |731362 | 18.2 | 11M| 46 | 36 | 231 | 11k| 231 |2453 | 17 | 25k|3660 | 0.000000e+00 | -- | Inf
113.56/113.60 c 114s| 40300 | 98 |733247 | 18.2 | 11M| 46 | 22 | 231 | 11k| 231 |2453 | 17 | 25k|3671 | 0.000000e+00 | -- | Inf
113.76/113.85 c 114s| 40400 | 96 |735119 | 18.2 | 11M| 46 | 32 | 231 | 11k| 231 |2453 | 17 | 25k|3671 | 0.000000e+00 | -- | Inf
114.06/114.17 c 114s| 40500 | 96 |737219 | 18.2 | 11M| 46 | - | 231 | 11k| 231 |2453 | 17 | 26k|3686 | 0.000000e+00 | -- | Inf
114.37/114.47 c 114s| 40600 | 99 |739284 | 18.2 | 11M| 46 | - | 231 | 11k| 0 | 0 | 17 | 26k|3694 | 0.000000e+00 | -- | Inf
114.66/114.75 c 115s| 40700 | 97 |741230 | 18.2 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 26k|3700 | 0.000000e+00 | -- | Inf
114.96/115.05 c 115s| 40800 | 96 |743087 | 18.2 | 11M| 46 | - | 231 | 11k| 0 | 0 | 17 | 26k|3714 | 0.000000e+00 | -- | Inf
115.16/115.28 c 115s| 40900 | 103 |744772 | 18.2 | 11M| 46 | 15 | 231 | 12k| 231 |2453 | 17 | 26k|3716 | 0.000000e+00 | -- | Inf
115.46/115.56 c 116s| 41000 | 99 |746443 | 18.2 | 11M| 46 | 38 | 231 | 12k| 231 |2453 | 17 | 26k|3732 | 0.000000e+00 | -- | Inf
115.76/115.84 c 116s| 41100 | 101 |748522 | 18.2 | 11M| 46 | 40 | 231 | 12k| 231 |2453 | 17 | 26k|3738 | 0.000000e+00 | -- | Inf
116.06/116.13 c 116s| 41200 | 102 |750413 | 18.2 | 11M| 46 | 28 | 231 | 12k| 231 |2453 | 17 | 26k|3749 | 0.000000e+00 | -- | Inf
116.36/116.41 c 116s| 41300 | 102 |752405 | 18.2 | 11M| 50 | 29 | 231 | 12k| 231 |2453 | 17 | 26k|3758 | 0.000000e+00 | -- | Inf
116.57/116.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
116.57/116.68 c 117s| 41400 | 100 |754128 | 18.2 | 11M| 50 | - | 231 | 12k| 231 |2453 | 17 | 26k|3767 | 0.000000e+00 | -- | Inf
116.86/116.97 c 117s| 41500 | 104 |756102 | 18.2 | 11M| 50 | 32 | 231 | 12k| 231 |2453 | 17 | 26k|3778 | 0.000000e+00 | -- | Inf
117.16/117.25 c 117s| 41600 | 101 |758030 | 18.2 | 11M| 50 | - | 231 | 12k| 231 |2453 | 17 | 26k|3790 | 0.000000e+00 | -- | Inf
117.46/117.51 c 118s| 41700 | 105 |759807 | 18.2 | 11M| 50 | - | 231 | 12k| 231 |2453 | 17 | 26k|3800 | 0.000000e+00 | -- | Inf
117.76/117.81 c 118s| 41800 | 109 |761770 | 18.2 | 11M| 50 | 24 | 231 | 12k| 231 |2453 | 17 | 26k|3813 | 0.000000e+00 | -- | Inf
118.06/118.13 c 118s| 41900 | 109 |763957 | 18.2 | 11M| 50 | 42 | 231 | 12k| 231 |2453 | 17 | 26k|3825 | 0.000000e+00 | -- | Inf
118.36/118.47 c 118s| 42000 | 107 |766306 | 18.2 | 11M| 50 | 32 | 231 | 12k| 231 |2453 | 17 | 26k|3838 | 0.000000e+00 | -- | Inf
118.67/118.75 c 119s| 42100 | 105 |768142 | 18.2 | 11M| 50 | 27 | 231 | 12k| 231 |2453 | 17 | 26k|3850 | 0.000000e+00 | -- | Inf
118.96/119.01 c 119s| 42200 | 105 |770059 | 18.2 | 11M| 50 | 34 | 231 | 12k| 231 |2453 | 17 | 27k|3854 | 0.000000e+00 | -- | Inf
119.26/119.33 c 119s| 42300 | 107 |772281 | 18.3 | 11M| 50 | - | 231 | 12k| 231 |2453 | 17 | 27k|3867 | 0.000000e+00 | -- | Inf
119.46/119.58 c 120s| 42400 | 107 |774119 | 18.3 | 11M| 50 | 45 | 231 | 12k| 231 |2453 | 17 | 27k|3871 | 0.000000e+00 | -- | Inf
119.77/119.86 c 120s| 42500 | 111 |776327 | 18.3 | 11M| 50 | 33 | 231 | 12k| 231 |2453 | 17 | 27k|3874 | 0.000000e+00 | -- | Inf
120.06/120.10 c 120s| 42600 | 119 |778273 | 18.3 | 11M| 50 | 17 | 231 | 12k| 231 |2453 | 17 | 27k|3874 | 0.000000e+00 | -- | Inf
120.26/120.36 c 120s| 42700 | 113 |780187 | 18.3 | 11M| 50 | 40 | 231 | 12k| 231 |2453 | 17 | 27k|3878 | 0.000000e+00 | -- | Inf
120.56/120.65 c 121s| 42800 | 111 |782461 | 18.3 | 11M| 50 | 35 | 231 | 12k| 231 |2453 | 17 | 27k|3880 | 0.000000e+00 | -- | Inf
120.76/120.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
120.76/120.90 c 121s| 42900 | 111 |784343 | 18.3 | 11M| 50 | 35 | 231 | 12k| 231 |2453 | 17 | 27k|3880 | 0.000000e+00 | -- | Inf
121.16/121.20 c 121s| 43000 | 110 |786799 | 18.3 | 11M| 50 | - | 231 | 12k| 231 |2453 | 17 | 27k|3880 | 0.000000e+00 | -- | Inf
121.35/121.47 c 121s| 43100 | 113 |788992 | 18.3 | 11M| 50 | 44 | 231 | 12k| 231 |2453 | 17 | 27k|3881 | 0.000000e+00 | -- | Inf
121.66/121.78 c 122s| 43200 | 113 |791518 | 18.3 | 11M| 50 | - | 231 | 12k| 231 |2453 | 17 | 27k|3881 | 0.000000e+00 | -- | Inf
121.86/122.00 c 122s| 43300 | 114 |793061 | 18.3 | 11M| 50 | 35 | 231 | 12k| 231 |2453 | 17 | 27k|3881 | 0.000000e+00 | -- | Inf
122.16/122.23 c 122s| 43400 | 114 |794903 | 18.3 | 11M| 50 | 26 | 231 | 12k| 231 |2453 | 17 | 27k|3881 | 0.000000e+00 | -- | Inf
122.36/122.48 c 122s| 43500 | 110 |796801 | 18.3 | 11M| 50 | - | 231 | 12k| 231 |2453 | 17 | 27k|3881 | 0.000000e+00 | -- | Inf
122.66/122.71 c 123s| 43600 | 109 |798495 | 18.3 | 11M| 50 | - | 231 | 12k| 231 |2453 | 17 | 27k|3881 | 0.000000e+00 | -- | Inf
122.86/122.94 c 123s| 43700 | 113 |800252 | 18.3 | 11M| 50 | - | 231 | 12k| 231 |2453 | 17 | 27k|3881 | 0.000000e+00 | -- | Inf
123.06/123.20 c 123s| 43800 | 113 |802171 | 18.3 | 11M| 50 | - | 231 | 12k| 231 |2453 | 17 | 27k|3881 | 0.000000e+00 | -- | Inf
123.36/123.44 c 123s| 43900 | 116 |804074 | 18.3 | 11M| 50 | 37 | 231 | 12k| 231 |2453 | 17 | 27k|3881 | 0.000000e+00 | -- | Inf
123.56/123.68 c 124s| 44000 | 115 |805871 | 18.3 | 11M| 50 | - | 231 | 12k| 231 |2453 | 17 | 28k|3881 | 0.000000e+00 | -- | Inf
123.86/123.90 c 124s| 44100 | 114 |807590 | 18.3 | 11M| 50 | - | 231 | 12k| 231 |2453 | 17 | 28k|3881 | 0.000000e+00 | -- | Inf
124.06/124.14 c 124s| 44200 | 112 |809467 | 18.3 | 11M| 52 | 35 | 231 | 12k| 231 |2453 | 17 | 28k|3881 | 0.000000e+00 | -- | Inf
124.26/124.38 c 124s| 44300 | 110 |811162 | 18.3 | 11M| 52 | - | 231 | 12k| 231 |2453 | 17 | 28k|3881 | 0.000000e+00 | -- | Inf
124.56/124.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
124.56/124.62 c 125s| 44400 | 112 |813024 | 18.3 | 11M| 52 | - | 231 | 12k| 231 |2453 | 17 | 28k|3881 | 0.000000e+00 | -- | Inf
124.76/124.87 c 125s| 44500 | 114 |815067 | 18.3 | 11M| 52 | 38 | 231 | 12k| 231 |2453 | 17 | 28k|3881 | 0.000000e+00 | -- | Inf
125.06/125.16 c 125s| 44600 | 113 |817059 | 18.3 | 11M| 52 | - | 231 | 12k| 231 |2453 | 17 | 28k|3891 | 0.000000e+00 | -- | Inf
125.37/125.45 c 125s| 44700 | 114 |819107 | 18.3 | 11M| 52 | - | 231 | 12k| 231 |2453 | 17 | 28k|3899 | 0.000000e+00 | -- | Inf
125.75/125.80 c 126s| 44800 | 116 |821309 | 18.3 | 11M| 52 | - | 231 | 12k| 231 |2453 | 17 | 28k|3920 | 0.000000e+00 | -- | Inf
126.06/126.12 c 126s| 44900 | 120 |823553 | 18.3 | 11M| 52 | 28 | 231 | 12k| 231 |2453 | 17 | 28k|3930 | 0.000000e+00 | -- | Inf
126.26/126.38 c 126s| 45000 | 119 |825649 | 18.3 | 11M| 52 | 21 | 231 | 12k| 231 |2453 | 17 | 28k|3930 | 0.000000e+00 | -- | Inf
126.56/126.69 c 127s| 45100 | 125 |827738 | 18.4 | 11M| 52 | - | 231 | 12k| 231 |2453 | 17 | 28k|3939 | 0.000000e+00 | -- | Inf
126.86/126.96 c 127s| 45200 | 132 |829664 | 18.4 | 11M| 52 | 30 | 231 | 12k| 231 |2453 | 17 | 28k|3947 | 0.000000e+00 | -- | Inf
127.16/127.28 c 127s| 45300 | 138 |831892 | 18.4 | 11M| 52 | 21 | 231 | 12k| 231 |2453 | 17 | 28k|3964 | 0.000000e+00 | -- | Inf
127.46/127.58 c 128s| 45400 | 134 |833875 | 18.4 | 11M| 52 | - | 231 | 12k| 231 |2453 | 17 | 28k|3973 | 0.000000e+00 | -- | Inf
127.76/127.86 c 128s| 45500 | 131 |835753 | 18.4 | 11M| 52 | 42 | 231 | 12k| 231 |2453 | 17 | 28k|3983 | 0.000000e+00 | -- | Inf
128.06/128.13 c 128s| 45600 | 135 |837583 | 18.4 | 11M| 52 | - | 231 | 12k| 231 |2453 | 17 | 28k|3993 | 0.000000e+00 | -- | Inf
128.36/128.43 c 128s| 45700 | 133 |839622 | 18.4 | 11M| 52 | - | 231 | 12k| 231 |2453 | 17 | 29k|4003 | 0.000000e+00 | -- | Inf
128.66/128.74 c 129s| 45800 | 136 |841806 | 18.4 | 11M| 52 | - | 231 | 12k| 231 |2453 | 17 | 29k|4012 | 0.000000e+00 | -- | Inf
128.96/129.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
128.96/129.03 c 129s| 45900 | 140 |844076 | 18.4 | 11M| 52 | 40 | 231 | 12k| 231 |2453 | 17 | 29k|4018 | 0.000000e+00 | -- | Inf
129.26/129.33 c 129s| 46000 | 140 |846075 | 18.4 | 11M| 52 | - | 231 | 12k| 231 |2453 | 17 | 29k|4027 | 0.000000e+00 | -- | Inf
129.56/129.61 c 130s| 46100 | 142 |848305 | 18.4 | 11M| 52 | - | 231 | 12k| 231 |2453 | 17 | 29k|4029 | 0.000000e+00 | -- | Inf
129.86/129.91 c 130s| 46200 | 142 |850690 | 18.4 | 11M| 52 | - | 231 | 12k| 231 |2453 | 17 | 29k|4033 | 0.000000e+00 | -- | Inf
130.06/130.18 c 130s| 46300 | 143 |852684 | 18.4 | 11M| 52 | 30 | 231 | 12k| 231 |2453 | 17 | 29k|4036 | 0.000000e+00 | -- | Inf
130.36/130.46 c 130s| 46400 | 141 |854901 | 18.4 | 11M| 52 | 32 | 231 | 12k| 231 |2453 | 17 | 29k|4037 | 0.000000e+00 | -- | Inf
130.66/130.72 c 131s| 46500 | 139 |856738 | 18.4 | 11M| 52 | - | 231 | 12k| 231 |2453 | 17 | 29k|4041 | 0.000000e+00 | -- | Inf
130.86/130.97 c 131s| 46600 | 137 |858451 | 18.4 | 11M| 52 | 31 | 231 | 12k| 231 |2453 | 17 | 29k|4044 | 0.000000e+00 | -- | Inf
131.15/131.21 c 131s| 46700 | 138 |860329 | 18.4 | 11M| 52 | - | 231 | 12k| 231 |2453 | 17 | 29k|4044 | 0.000000e+00 | -- | Inf
131.36/131.46 c 131s| 46800 | 137 |862290 | 18.4 | 11M| 52 | 30 | 231 | 12k| 231 |2453 | 17 | 29k|4045 | 0.000000e+00 | -- | Inf
131.66/131.71 c 132s| 46900 | 137 |864147 | 18.4 | 11M| 52 | - | 231 | 12k| 231 |2453 | 17 | 29k|4046 | 0.000000e+00 | -- | Inf
131.86/131.94 c 132s| 47000 | 135 |865961 | 18.4 | 11M| 52 | - | 231 | 12k| 231 |2453 | 17 | 29k|4046 | 0.000000e+00 | -- | Inf
132.05/132.17 c 132s| 47100 | 140 |867842 | 18.4 | 11M| 52 | 34 | 231 | 12k| 231 |2453 | 17 | 29k|4046 | 0.000000e+00 | -- | Inf
132.35/132.41 c 132s| 47200 | 138 |869656 | 18.4 | 11M| 52 | - | 231 | 12k| 0 | 0 | 17 | 29k|4046 | 0.000000e+00 | -- | Inf
132.55/132.68 c 133s| 47300 | 140 |871927 | 18.4 | 11M| 52 | 36 | 231 | 12k| 231 |2453 | 17 | 30k|4046 | 0.000000e+00 | -- | Inf
132.86/132.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
132.86/132.93 c 133s| 47400 | 136 |873878 | 18.4 | 11M| 52 | 38 | 231 | 12k| 231 |2453 | 17 | 30k|4046 | 0.000000e+00 | -- | Inf
133.06/133.18 c 133s| 47500 | 134 |875872 | 18.4 | 11M| 52 | 41 | 231 | 12k| 231 |2453 | 17 | 30k|4047 | 0.000000e+00 | -- | Inf
133.35/133.41 c 133s| 47600 | 132 |877519 | 18.4 | 11M| 52 | 40 | 231 | 11k| 231 |2453 | 17 | 30k|4047 | 0.000000e+00 | -- | Inf
133.56/133.65 c 134s| 47700 | 132 |879319 | 18.4 | 11M| 52 | - | 231 | 11k| 231 |2453 | 17 | 30k|4047 | 0.000000e+00 | -- | Inf
133.76/133.86 c 134s| 47800 | 130 |880934 | 18.4 | 11M| 52 | - | 231 | 11k| 231 |2453 | 17 | 30k|4047 | 0.000000e+00 | -- | Inf
134.06/134.11 c 134s| 47900 | 130 |882849 | 18.4 | 11M| 52 | 31 | 231 | 11k| 231 |2453 | 17 | 30k|4047 | 0.000000e+00 | -- | Inf
134.26/134.33 c 134s| 48000 | 137 |884614 | 18.4 | 10M| 52 | 22 | 231 | 11k| 231 |2453 | 17 | 30k|4047 | 0.000000e+00 | -- | Inf
134.46/134.56 c 135s| 48100 | 141 |886458 | 18.4 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 30k|4047 | 0.000000e+00 | -- | Inf
134.65/134.78 c 135s| 48200 | 138 |888223 | 18.4 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 30k|4047 | 0.000000e+00 | -- | Inf
134.96/135.01 c 135s| 48300 | 148 |890038 | 18.4 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 30k|4047 | 0.000000e+00 | -- | Inf
135.16/135.28 c 135s| 48400 | 143 |892295 | 18.4 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 30k|4047 | 0.000000e+00 | -- | Inf
135.56/135.62 c 136s| 48500 | 145 |894542 | 18.4 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 30k|4064 | 0.000000e+00 | -- | Inf
135.85/135.93 c 136s| 48600 | 149 |896774 | 18.4 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 30k|4073 | 0.000000e+00 | -- | Inf
136.16/136.23 c 136s| 48700 | 151 |899050 | 18.5 | 11M| 52 | - | 231 | 11k| 231 |2453 | 17 | 30k|4079 | 0.000000e+00 | -- | Inf
136.46/136.57 c 137s| 48800 | 154 |901551 | 18.5 | 11M| 52 | - | 231 | 11k| 231 |2453 | 17 | 30k|4091 | 0.000000e+00 | -- | Inf
136.75/136.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
136.75/136.87 c 137s| 48900 | 156 |903600 | 18.5 | 11M| 52 | - | 231 | 11k| 231 |2453 | 17 | 30k|4105 | 0.000000e+00 | -- | Inf
137.16/137.20 c 137s| 49000 | 157 |906163 | 18.5 | 11M| 52 | 46 | 231 | 11k| 231 |2453 | 17 | 30k|4114 | 0.000000e+00 | -- | Inf
137.47/137.51 c 138s| 49100 | 153 |908294 | 18.5 | 11M| 52 | - | 231 | 11k| 231 |2453 | 17 | 30k|4127 | 0.000000e+00 | -- | Inf
137.66/137.78 c 138s| 49200 | 153 |909963 | 18.5 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 31k|4138 | 0.000000e+00 | -- | Inf
137.96/138.04 c 138s| 49300 | 155 |911785 | 18.5 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 31k|4143 | 0.000000e+00 | -- | Inf
138.25/138.33 c 138s| 49400 | 155 |913774 | 18.5 | 10M| 52 | 43 | 231 | 11k| 231 |2453 | 17 | 31k|4155 | 0.000000e+00 | -- | Inf
138.56/138.64 c 139s| 49500 | 152 |916043 | 18.5 | 10M| 52 | 36 | 231 | 11k| 231 |2453 | 17 | 31k|4164 | 0.000000e+00 | -- | Inf
138.85/138.95 c 139s| 49600 | 149 |918141 | 18.5 | 10M| 52 | 28 | 231 | 11k| 231 |2453 | 17 | 31k|4176 | 0.000000e+00 | -- | Inf
139.16/139.24 c 139s| 49700 | 149 |920062 | 18.5 | 10M| 52 | 35 | 231 | 11k| 231 |2453 | 17 | 31k|4187 | 0.000000e+00 | -- | Inf
139.46/139.53 c 140s| 49800 | 149 |921992 | 18.5 | 10M| 52 | 31 | 231 | 11k| 231 |2453 | 17 | 31k|4196 | 0.000000e+00 | -- | Inf
139.76/139.83 c 140s| 49900 | 151 |924043 | 18.5 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 31k|4209 | 0.000000e+00 | -- | Inf
140.05/140.10 c 140s| 50000 | 153 |925895 | 18.5 | 10M| 52 | 19 | 231 | 11k| 231 |2453 | 17 | 31k|4218 | 0.000000e+00 | -- | Inf
140.26/140.39 c 140s| 50100 | 151 |927964 | 18.5 | 10M| 52 | - | 231 | 11k| 231 |2453 | 17 | 31k|4228 | 0.000000e+00 | -- | Inf
140.55/140.67 c 141s| 50200 | 153 |929966 | 18.5 | 10M| 52 | 38 | 231 | 11k| 231 |2453 | 17 | 31k|4235 | 0.000000e+00 | -- | Inf
140.86/140.96 c 141s| 50300 | 149 |931976 | 18.5 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 31k|4243 | 0.000000e+00 | -- | Inf
141.15/141.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
141.15/141.22 c 141s| 50400 | 150 |934043 | 18.5 | 10M| 52 | - | 231 | 10k| 231 |2453 | 17 | 31k|4245 | 0.000000e+00 | -- | Inf
141.36/141.46 c 141s| 50500 | 148 |935938 | 18.5 | 10M| 54 | - | 231 | 10k| 0 | 0 | 17 | 31k|4247 | 0.000000e+00 | -- | Inf
141.55/141.69 c 142s| 50600 | 148 |937646 | 18.5 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 31k|4247 | 0.000000e+00 | -- | Inf
141.87/141.95 c 142s| 50700 | 148 |939672 | 18.5 | 10M| 55 | 33 | 231 | 10k| 231 |2453 | 17 | 31k|4249 | 0.000000e+00 | -- | Inf
142.16/142.21 c 142s| 50800 | 146 |941810 | 18.5 | 10M| 55 | 39 | 231 | 10k| 231 |2453 | 17 | 31k|4249 | 0.000000e+00 | -- | Inf
142.35/142.46 c 142s| 50900 | 146 |943731 | 18.5 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 32k|4249 | 0.000000e+00 | -- | Inf
142.66/142.70 c 143s| 51000 | 144 |945639 | 18.5 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 32k|4249 | 0.000000e+00 | -- | Inf
142.86/142.96 c 143s| 51100 | 140 |947732 | 18.5 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 32k|4249 | 0.000000e+00 | -- | Inf
143.15/143.20 c 143s| 51200 | 137 |949620 | 18.5 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 32k|4249 | 0.000000e+00 | -- | Inf
143.36/143.45 c 143s| 51300 | 140 |951589 | 18.5 | 10M| 55 | 38 | 231 | 10k| 231 |2453 | 17 | 32k|4250 | 0.000000e+00 | -- | Inf
143.56/143.68 c 144s| 51400 | 139 |953417 | 18.5 | 10M| 55 | 39 | 231 | 10k| 231 |2453 | 17 | 32k|4250 | 0.000000e+00 | -- | Inf
143.85/143.95 c 144s| 51500 | 141 |955706 | 18.6 | 10M| 55 | 41 | 231 | 10k| 231 |2453 | 17 | 32k|4250 | 0.000000e+00 | -- | Inf
144.16/144.24 c 144s| 51600 | 140 |958106 | 18.6 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 32k|4252 | 0.000000e+00 | -- | Inf
144.45/144.51 c 145s| 51700 | 136 |960282 | 18.6 | 10M| 55 | 35 | 231 | 10k| 231 |2453 | 17 | 32k|4252 | 0.000000e+00 | -- | Inf
144.65/144.77 c 145s| 51800 | 134 |962340 | 18.6 | 10M| 55 | 42 | 231 | 10k| 231 |2453 | 17 | 32k|4252 | 0.000000e+00 | -- | Inf
144.96/145.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
144.96/145.04 c 145s| 51900 | 130 |964407 | 18.6 | 10M| 55 | 34 | 231 | 10k| 231 |2453 | 17 | 32k|4253 | 0.000000e+00 | -- | Inf
145.26/145.30 c 145s| 52000 | 130 |966536 | 18.6 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 32k|4254 | 0.000000e+00 | -- | Inf
145.46/145.54 c 146s| 52100 | 133 |968428 | 18.6 | 10M| 55 | 31 | 231 | 10k| 231 |2453 | 17 | 32k|4254 | 0.000000e+00 | -- | Inf
145.65/145.77 c 146s| 52200 | 137 |970235 | 18.6 | 10M| 55 | 28 | 231 | 10k| 231 |2453 | 17 | 32k|4254 | 0.000000e+00 | -- | Inf
145.96/146.03 c 146s| 52300 | 131 |972374 | 18.6 | 10M| 55 | 40 | 231 | 10k| 231 |2453 | 17 | 32k|4255 | 0.000000e+00 | -- | Inf
146.16/146.29 c 146s| 52400 | 133 |974492 | 18.6 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 32k|4255 | 0.000000e+00 | -- | Inf
146.46/146.52 c 147s| 52500 | 134 |976257 | 18.6 | 10M| 55 | 39 | 231 | 10k| 231 |2453 | 17 | 32k|4255 | 0.000000e+00 | -- | Inf
146.65/146.76 c 147s| 52600 | 132 |978195 | 18.6 | 10M| 55 | 32 | 231 | 10k| 231 |2453 | 17 | 33k|4255 | 0.000000e+00 | -- | Inf
146.96/147.06 c 147s| 52700 | 136 |980286 | 18.6 | 10M| 55 | 39 | 231 | 10k| 231 |2453 | 17 | 33k|4265 | 0.000000e+00 | -- | Inf
147.26/147.37 c 147s| 52800 | 136 |982356 | 18.6 | 10M| 55 | 43 | 231 | 10k| 231 |2453 | 17 | 33k|4276 | 0.000000e+00 | -- | Inf
147.56/147.65 c 148s| 52900 | 134 |984264 | 18.6 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 33k|4286 | 0.000000e+00 | -- | Inf
147.75/147.88 c 148s| 53000 | 129 |986002 | 18.6 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 33k|4286 | 0.000000e+00 | -- | Inf
148.06/148.16 c 148s| 53100 | 127 |987954 | 18.6 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 33k|4294 | 0.000000e+00 | -- | Inf
148.36/148.49 c 148s| 53200 | 126 |990119 | 18.6 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 33k|4311 | 0.000000e+00 | -- | Inf
148.76/148.80 c 149s| 53300 | 126 |992338 | 18.6 | 10M| 55 | 39 | 231 | 10k| 231 |2453 | 17 | 33k|4319 | 0.000000e+00 | -- | Inf
148.96/149.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
148.96/149.09 c 149s| 53400 | 126 |994244 | 18.6 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 33k|4330 | 0.000000e+00 | -- | Inf
149.26/149.38 c 149s| 53500 | 128 |996325 | 18.6 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 33k|4336 | 0.000000e+00 | -- | Inf
149.57/149.64 c 150s| 53600 | 128 |998075 | 18.6 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 33k|4346 | 0.000000e+00 | -- | Inf
149.86/149.93 c 150s| 53700 | 131 | 1000k| 18.6 | 10M| 55 | 32 | 231 | 10k| 231 |2453 | 17 | 33k|4359 | 0.000000e+00 | -- | Inf
150.05/150.19 c 150s| 53800 | 131 | 1001k| 18.6 | 10M| 55 | 34 | 231 | 10k| 231 |2453 | 17 | 33k|4365 | 0.000000e+00 | -- | Inf
150.45/150.51 c 151s| 53900 | 129 | 1004k| 18.6 | 10M| 55 | 41 | 231 | 10k| 231 |2453 | 17 | 33k|4378 | 0.000000e+00 | -- | Inf
150.66/150.77 c 151s| 54000 | 129 | 1006k| 18.6 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 33k|4384 | 0.000000e+00 | -- | Inf
150.96/151.04 c 151s| 54100 | 133 | 1008k| 18.6 | 10M| 55 | 26 | 231 | 10k| 231 |2453 | 17 | 33k|4391 | 0.000000e+00 | -- | Inf
151.26/151.37 c 151s| 54200 | 131 | 1010k| 18.6 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 33k|4402 | 0.000000e+00 | -- | Inf
151.55/151.66 c 152s| 54300 | 127 | 1012k| 18.6 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 34k|4410 | 0.000000e+00 | -- | Inf
151.86/151.95 c 152s| 54400 | 127 | 1014k| 18.6 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 34k|4420 | 0.000000e+00 | -- | Inf
152.16/152.21 c 152s| 54500 | 129 | 1016k| 18.6 | 10M| 55 | 29 | 231 | 10k| 231 |2453 | 17 | 34k|4428 | 0.000000e+00 | -- | Inf
152.45/152.53 c 153s| 54600 | 129 | 1018k| 18.7 | 10M| 55 | 42 | 231 | 10k| 231 |2453 | 17 | 34k|4436 | 0.000000e+00 | -- | Inf
152.65/152.79 c 153s| 54700 | 128 | 1020k| 18.7 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 34k|4438 | 0.000000e+00 | -- | Inf
152.96/153.05 c 153s| 54800 | 128 | 1022k| 18.7 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 34k|4440 | 0.000000e+00 | -- | Inf
153.25/153.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
153.25/153.33 c 153s| 54900 | 130 | 1024k| 18.7 | 10M| 55 | 33 | 231 | 11k| 231 |2453 | 17 | 34k|4441 | 0.000000e+00 | -- | Inf
153.56/153.63 c 154s| 55000 | 130 | 1027k| 18.7 | 10M| 55 | 39 | 231 | 11k| 231 |2453 | 17 | 34k|4447 | 0.000000e+00 | -- | Inf
153.86/153.92 c 154s| 55100 | 128 | 1029k| 18.7 | 10M| 55 | 42 | 231 | 11k| 231 |2453 | 17 | 34k|4452 | 0.000000e+00 | -- | Inf
154.05/154.19 c 154s| 55200 | 128 | 1031k| 18.7 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 34k|4455 | 0.000000e+00 | -- | Inf
154.25/154.39 c 154s| 55300 | 131 | 1032k| 18.7 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 34k|4457 | 0.000000e+00 | -- | Inf
154.56/154.63 c 155s| 55400 | 131 | 1034k| 18.7 | 10M| 55 | 34 | 231 | 11k| 231 |2453 | 17 | 34k|4460 | 0.000000e+00 | -- | Inf
154.76/154.87 c 155s| 55500 | 131 | 1036k| 18.7 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 34k|4462 | 0.000000e+00 | -- | Inf
155.06/155.11 c 155s| 55600 | 133 | 1038k| 18.7 | 11M| 55 | 26 | 231 | 11k| 231 |2453 | 17 | 34k|4466 | 0.000000e+00 | -- | Inf
155.25/155.36 c 155s| 55700 | 131 | 1040k| 18.7 | 11M| 55 | 35 | 231 | 11k| 231 |2453 | 17 | 34k|4468 | 0.000000e+00 | -- | Inf
155.56/155.61 c 156s| 55800 | 129 | 1042k| 18.7 | 11M| 55 | - | 231 | 11k| 231 |2453 | 17 | 34k|4469 | 0.000000e+00 | -- | Inf
155.75/155.85 c 156s| 55900 | 128 | 1044k| 18.7 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 35k|4471 | 0.000000e+00 | -- | Inf
155.95/156.10 c 156s| 56000 | 128 | 1045k| 18.7 | 10M| 55 | 36 | 231 | 11k| 231 |2453 | 17 | 35k|4472 | 0.000000e+00 | -- | Inf
156.26/156.34 c 156s| 56100 | 128 | 1047k| 18.7 | 10M| 55 | 29 | 231 | 11k| 231 |2453 | 17 | 35k|4472 | 0.000000e+00 | -- | Inf
156.46/156.57 c 157s| 56200 | 124 | 1049k| 18.7 | 10M| 55 | 30 | 231 | 11k| 231 |2453 | 17 | 35k|4472 | 0.000000e+00 | -- | Inf
156.75/156.80 c 157s| 56300 | 124 | 1051k| 18.7 | 10M| 55 | 42 | 231 | 10k| 231 |2453 | 17 | 35k|4473 | 0.000000e+00 | -- | Inf
156.95/157.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
156.95/157.04 c 157s| 56400 | 124 | 1053k| 18.7 | 10M| 55 | 22 | 231 | 10k| 231 |2453 | 17 | 35k|4473 | 0.000000e+00 | -- | Inf
157.16/157.24 c 157s| 56500 | 123 | 1054k| 18.7 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 35k|4473 | 0.000000e+00 | -- | Inf
157.35/157.48 c 157s| 56600 | 122 | 1056k| 18.7 | 10M| 55 | 42 | 231 | 10k| 231 |2453 | 17 | 35k|4473 | 0.000000e+00 | -- | Inf
157.66/157.74 c 158s| 56700 | 120 | 1058k| 18.7 | 10M| 55 | 46 | 231 | 10k| 231 |2453 | 17 | 35k|4473 | 0.000000e+00 | -- | Inf
157.85/157.98 c 158s| 56800 | 121 | 1060k| 18.7 | 10M| 55 | 25 | 231 | 10k| 231 |2453 | 17 | 35k|4473 | 0.000000e+00 | -- | Inf
158.15/158.22 c 158s| 56900 | 119 | 1062k| 18.7 | 10M| 55 | 42 | 231 | 10k| 231 |2453 | 17 | 35k|4473 | 0.000000e+00 | -- | Inf
158.36/158.45 c 158s| 57000 | 120 | 1064k| 18.7 | 10M| 55 | 42 | 231 | 10k| 231 |2453 | 17 | 35k|4473 | 0.000000e+00 | -- | Inf
158.66/158.72 c 159s| 57100 | 121 | 1066k| 18.7 | 10M| 55 | 29 | 231 | 10k| 231 |2453 | 17 | 35k|4473 | 0.000000e+00 | -- | Inf
158.85/158.98 c 159s| 57200 | 117 | 1068k| 18.7 | 10M| 55 | 34 | 231 | 10k| 231 |2453 | 17 | 35k|4473 | 0.000000e+00 | -- | Inf
159.15/159.20 c 159s| 57300 | 120 | 1070k| 18.7 | 10M| 55 | - | 231 | 10k| 0 | 0 | 17 | 35k|4473 | 0.000000e+00 | -- | Inf
159.36/159.43 c 159s| 57400 | 118 | 1072k| 18.7 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 35k|4473 | 0.000000e+00 | -- | Inf
159.65/159.74 c 160s| 57500 | 118 | 1074k| 18.7 | 10M| 55 | 39 | 231 | 10k| 231 |2453 | 17 | 36k|4484 | 0.000000e+00 | -- | Inf
159.96/160.05 c 160s| 57600 | 117 | 1076k| 18.7 | 10M| 55 | 32 | 231 | 10k| 231 |2453 | 17 | 36k|4496 | 0.000000e+00 | -- | Inf
160.25/160.34 c 160s| 57700 | 117 | 1078k| 18.7 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 36k|4505 | 0.000000e+00 | -- | Inf
160.56/160.65 c 161s| 57800 | 116 | 1080k| 18.7 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 36k|4518 | 0.000000e+00 | -- | Inf
160.75/160.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
160.75/160.87 c 161s| 57900 | 116 | 1081k| 18.7 | 10M| 55 | 35 | 231 | 10k| 231 |2453 | 17 | 36k|4518 | 0.000000e+00 | -- | Inf
161.05/161.14 c 161s| 58000 | 114 | 1083k| 18.7 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 36k|4525 | 0.000000e+00 | -- | Inf
161.35/161.46 c 161s| 58100 | 116 | 1086k| 18.7 | 10M| 55 | 38 | 231 | 10k| 231 |2453 | 17 | 36k|4536 | 0.000000e+00 | -- | Inf
161.65/161.74 c 162s| 58200 | 118 | 1088k| 18.7 | 10M| 55 | 38 | 231 | 10k| 231 |2453 | 17 | 36k|4543 | 0.000000e+00 | -- | Inf
161.96/162.01 c 162s| 58300 | 119 | 1090k| 18.7 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 36k|4553 | 0.000000e+00 | -- | Inf
162.15/162.29 c 162s| 58400 | 118 | 1091k| 18.7 | 10M| 55 | 37 | 231 | 10k| 231 |2453 | 17 | 36k|4563 | 0.000000e+00 | -- | Inf
162.45/162.57 c 163s| 58500 | 116 | 1093k| 18.7 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 36k|4572 | 0.000000e+00 | -- | Inf
162.76/162.86 c 163s| 58600 | 112 | 1095k| 18.7 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 36k|4582 | 0.000000e+00 | -- | Inf
163.05/163.13 c 163s| 58700 | 116 | 1097k| 18.7 | 10M| 55 | 25 | 231 | 10k| 231 |2453 | 17 | 36k|4588 | 0.000000e+00 | -- | Inf
163.35/163.40 c 163s| 58800 | 114 | 1099k| 18.7 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 36k|4596 | 0.000000e+00 | -- | Inf
163.56/163.68 c 164s| 58900 | 114 | 1101k| 18.7 | 10M| 55 | 38 | 231 | 10k| 231 |2453 | 17 | 36k|4604 | 0.000000e+00 | -- | Inf
163.86/163.98 c 164s| 59000 | 113 | 1103k| 18.7 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 36k|4615 | 0.000000e+00 | -- | Inf
164.15/164.26 c 164s| 59100 | 113 | 1105k| 18.7 | 10M| 55 | 32 | 231 | 10k| 231 |2453 | 17 | 37k|4623 | 0.000000e+00 | -- | Inf
164.46/164.50 c 165s| 59200 | 112 | 1107k| 18.7 | 10M| 55 | 39 | 231 | 10k| 231 |2453 | 17 | 37k|4631 | 0.000000e+00 | -- | Inf
164.65/164.79 c 165s| 59300 | 108 | 1108k| 18.7 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 37k|4645 | 0.000000e+00 | -- | Inf
164.96/165.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
164.96/165.08 c 165s| 59400 | 108 | 1110k| 18.7 | 10M| 55 | 35 | 231 | 10k| 231 |2453 | 17 | 37k|4660 | 0.000000e+00 | -- | Inf
165.26/165.35 c 165s| 59500 | 104 | 1112k| 18.7 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 37k|4667 | 0.000000e+00 | -- | Inf
165.45/165.59 c 166s| 59600 | 104 | 1114k| 18.7 | 10M| 55 | 39 | 231 | 10k| 231 |2453 | 17 | 37k|4674 | 0.000000e+00 | -- | Inf
165.75/165.88 c 166s| 59700 | 100 | 1116k| 18.7 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 37k|4685 | 0.000000e+00 | -- | Inf
166.06/166.19 c 166s| 59800 | 100 | 1118k| 18.7 | 10M| 55 | 35 | 231 | 10k| 231 |2453 | 17 | 37k|4699 | 0.000000e+00 | -- | Inf
166.35/166.44 c 166s| 59900 | 98 | 1120k| 18.7 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 37k|4701 | 0.000000e+00 | -- | Inf
166.55/166.68 c 167s| 60000 | 98 | 1121k| 18.7 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 37k|4703 | 0.000000e+00 | -- | Inf
166.85/166.96 c 167s| 60100 | 98 | 1124k| 18.7 | 10M| 55 | 42 | 231 | 10k| 231 |2453 | 17 | 37k|4704 | 0.000000e+00 | -- | Inf
167.16/167.21 c 167s| 60200 | 98 | 1125k| 18.7 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 37k|4704 | 0.000000e+00 | -- | Inf
167.35/167.49 c 167s| 60300 | 98 | 1128k| 18.7 | 10M| 55 | 31 | 231 | 10k| 231 |2453 | 17 | 37k|4706 | 0.000000e+00 | -- | Inf
167.65/167.73 c 168s| 60400 | 98 | 1130k| 18.7 | 10M| 55 | 43 | 231 | 10k| 231 |2453 | 17 | 37k|4706 | 0.000000e+00 | -- | Inf
167.86/167.99 c 168s| 60500 | 98 | 1132k| 18.7 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 37k|4706 | 0.000000e+00 | -- | Inf
168.16/168.26 c 168s| 60600 | 99 | 1134k| 18.7 | 10M| 55 | 28 | 231 | 10k| 231 |2453 | 17 | 37k|4708 | 0.000000e+00 | -- | Inf
168.45/168.52 c 169s| 60700 | 96 | 1136k| 18.7 | 10M| 55 | - | 231 | 10k| 0 | 0 | 17 | 37k|4711 | 0.000000e+00 | -- | Inf
168.65/168.75 c 169s| 60800 | 92 | 1138k| 18.7 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 38k|4711 | 0.000000e+00 | -- | Inf
168.95/169.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
168.95/169.01 c 169s| 60900 | 90 | 1140k| 18.7 | 10M| 55 | 45 | 231 | 10k| 231 |2453 | 17 | 38k|4712 | 0.000000e+00 | -- | Inf
169.15/169.26 c 169s| 61000 | 90 | 1142k| 18.7 | 10M| 55 | 34 | 231 | 10k| 231 |2453 | 17 | 38k|4712 | 0.000000e+00 | -- | Inf
169.36/169.49 c 169s| 61100 | 89 | 1143k| 18.7 | 10M| 55 | 28 | 231 | 10k| 231 |2453 | 17 | 38k|4712 | 0.000000e+00 | -- | Inf
169.65/169.75 c 170s| 61200 | 90 | 1145k| 18.7 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 38k|4714 | 0.000000e+00 | -- | Inf
169.85/169.99 c 170s| 61300 | 86 | 1147k| 18.7 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 38k|4714 | 0.000000e+00 | -- | Inf
170.15/170.24 c 170s| 61400 | 88 | 1149k| 18.7 | 10M| 55 | 35 | 231 | 10k| 231 |2453 | 17 | 38k|4714 | 0.000000e+00 | -- | Inf
170.35/170.50 c 170s| 61500 | 84 | 1151k| 18.7 | 10M| 55 | 41 | 231 | 10k| 231 |2453 | 17 | 38k|4714 | 0.000000e+00 | -- | Inf
170.65/170.74 c 171s| 61600 | 84 | 1153k| 18.7 | 10M| 55 | 26 | 231 | 10k| 231 |2453 | 17 | 38k|4714 | 0.000000e+00 | -- | Inf
170.85/170.99 c 171s| 61700 | 84 | 1155k| 18.7 | 10M| 55 | 42 | 231 | 10k| 231 |2453 | 17 | 38k|4714 | 0.000000e+00 | -- | Inf
171.16/171.25 c 171s| 61800 | 84 | 1157k| 18.7 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 38k|4714 | 0.000000e+00 | -- | Inf
171.46/171.52 c 172s| 61900 | 84 | 1160k| 18.7 | 10M| 55 | 42 | 231 | 10k| 231 |2453 | 17 | 38k|4714 | 0.000000e+00 | -- | Inf
171.75/171.80 c 172s| 62000 | 82 | 1162k| 18.7 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 38k|4714 | 0.000000e+00 | -- | Inf
171.96/172.06 c 172s| 62100 | 86 | 1164k| 18.8 | 10M| 55 | 38 | 231 | 10k| 231 |2453 | 17 | 38k|4714 | 0.000000e+00 | -- | Inf
172.25/172.34 c 172s| 62200 | 83 | 1166k| 18.8 | 10M| 55 | 26 | 231 | 10k| 231 |2453 | 17 | 38k|4714 | 0.000000e+00 | -- | Inf
172.56/172.62 c 173s| 62300 | 82 | 1169k| 18.8 | 10M| 55 | 36 | 231 | 10k| 231 |2453 | 17 | 39k|4714 | 0.000000e+00 | -- | Inf
172.76/172.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
172.76/172.88 c 173s| 62400 | 83 | 1171k| 18.8 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 39k|4714 | 0.000000e+00 | -- | Inf
173.05/173.17 c 173s| 62500 | 82 | 1173k| 18.8 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 39k|4724 | 0.000000e+00 | -- | Inf
173.36/173.47 c 173s| 62600 | 83 | 1175k| 18.8 | 10M| 55 | 44 | 231 | 10k| 231 |2453 | 17 | 39k|4735 | 0.000000e+00 | -- | Inf
173.66/173.78 c 174s| 62700 | 87 | 1177k| 18.8 | 10M| 55 | 43 | 231 | 10k| 231 |2453 | 17 | 39k|4745 | 0.000000e+00 | -- | Inf
174.05/174.10 c 174s| 62800 | 83 | 1179k| 18.8 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 39k|4755 | 0.000000e+00 | -- | Inf
174.36/174.42 c 174s| 62900 | 79 | 1182k| 18.8 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 39k|4764 | 0.000000e+00 | -- | Inf
174.55/174.69 c 175s| 63000 | 76 | 1184k| 18.8 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 39k|4764 | 0.000000e+00 | -- | Inf
174.86/174.99 c 175s| 63100 | 75 | 1186k| 18.8 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 39k|4773 | 0.000000e+00 | -- | Inf
175.25/175.30 c 175s| 63200 | 74 | 1188k| 18.8 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 39k|4787 | 0.000000e+00 | -- | Inf
175.45/175.57 c 176s| 63300 | 74 | 1190k| 18.8 | 10M| 55 | 40 | 231 | 10k| 231 |2453 | 17 | 39k|4787 | 0.000000e+00 | -- | Inf
175.75/175.85 c 176s| 63400 | 76 | 1192k| 18.8 | 10M| 55 | - | 231 | 10k| 231 |2453 | 17 | 39k|4795 | 0.000000e+00 | -- | Inf
176.05/176.18 c 176s| 63500 | 77 | 1194k| 18.8 | 10M| 55 | 38 | 231 | 10k| 231 |2453 | 17 | 39k|4807 | 0.000000e+00 | -- | Inf
176.45/176.51 c 177s| 63600 | 80 | 1197k| 18.8 | 10M| 55 | 33 | 231 | 10k| 231 |2453 | 17 | 39k|4818 | 0.000000e+00 | -- | Inf
176.75/176.84 c 177s| 63700 | 79 | 1199k| 18.8 | 10M| 55 | 43 | 231 | 11k| 231 |2453 | 17 | 39k|4829 | 0.000000e+00 | -- | Inf
177.15/177.20 c 177s| 63800 | 71 | 1202k| 18.8 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 39k|4842 | 0.000000e+00 | -- | Inf
177.35/177.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
177.35/177.46 c 177s| 63900 | 72 | 1204k| 18.8 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 40k|4848 | 0.000000e+00 | -- | Inf
177.65/177.72 c 178s| 64000 | 72 | 1206k| 18.8 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 40k|4854 | 0.000000e+00 | -- | Inf
177.95/178.03 c 178s| 64100 | 71 | 1208k| 18.8 | 10M| 55 | 41 | 231 | 11k| 231 |2453 | 17 | 40k|4865 | 0.000000e+00 | -- | Inf
178.25/178.30 c 178s| 64200 | 71 | 1210k| 18.8 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 40k|4877 | 0.000000e+00 | -- | Inf
178.45/178.57 c 179s| 64300 | 75 | 1211k| 18.8 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 40k|4887 | 0.000000e+00 | -- | Inf
178.75/178.84 c 179s| 64400 | 71 | 1213k| 18.8 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 40k|4893 | 0.000000e+00 | -- | Inf
179.05/179.11 c 179s| 64500 | 73 | 1215k| 18.8 | 10M| 55 | 38 | 231 | 11k| 231 |2453 | 17 | 40k|4899 | 0.000000e+00 | -- | Inf
179.35/179.41 c 179s| 64600 | 72 | 1217k| 18.9 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 40k|4908 | 0.000000e+00 | -- | Inf
179.55/179.67 c 180s| 64700 | 73 | 1220k| 18.9 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 40k|4911 | 0.000000e+00 | -- | Inf
179.85/179.93 c 180s| 64800 | 74 | 1222k| 18.9 | 10M| 55 | 37 | 231 | 11k| 231 |2453 | 17 | 40k|4912 | 0.000000e+00 | -- | Inf
180.16/180.20 c 180s| 64900 | 72 | 1224k| 18.9 | 10M| 55 | 34 | 231 | 11k| 231 |2453 | 17 | 40k|4913 | 0.000000e+00 | -- | Inf
180.35/180.43 c 180s| 65000 | 71 | 1226k| 18.9 | 10M| 55 | 40 | 231 | 11k| 231 |2453 | 17 | 40k|4913 | 0.000000e+00 | -- | Inf
180.55/180.69 c 181s| 65100 | 70 | 1228k| 18.9 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 40k|4914 | 0.000000e+00 | -- | Inf
180.85/180.93 c 181s| 65200 | 70 | 1229k| 18.9 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 40k|4914 | 0.000000e+00 | -- | Inf
181.15/181.20 c 181s| 65300 | 71 | 1231k| 18.9 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 40k|4919 | 0.000000e+00 | -- | Inf
181.36/181.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
181.36/181.44 c 181s| 65400 | 71 | 1233k| 18.9 | 10M| 55 | 37 | 231 | 11k| 231 |2453 | 17 | 40k|4921 | 0.000000e+00 | -- | Inf
181.65/181.70 c 182s| 65500 | 72 | 1235k| 18.9 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 41k|4924 | 0.000000e+00 | -- | Inf
181.85/181.92 c 182s| 65600 | 72 | 1237k| 18.9 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 41k|4925 | 0.000000e+00 | -- | Inf
182.05/182.16 c 182s| 65700 | 75 | 1239k| 18.9 | 11M| 55 | - | 231 | 11k| 231 |2453 | 17 | 41k|4925 | 0.000000e+00 | -- | Inf
182.35/182.41 c 182s| 65800 | 75 | 1241k| 18.9 | 11M| 55 | 31 | 231 | 11k| 231 |2453 | 17 | 41k|4925 | 0.000000e+00 | -- | Inf
182.55/182.66 c 183s| 65900 | 70 | 1243k| 18.9 | 11M| 55 | - | 231 | 11k| 231 |2453 | 17 | 41k|4925 | 0.000000e+00 | -- | Inf
182.85/182.94 c 183s| 66000 | 70 | 1245k| 18.9 | 11M| 55 | - | 231 | 11k| 231 |2453 | 17 | 41k|4927 | 0.000000e+00 | -- | Inf
183.05/183.19 c 183s| 66100 | 74 | 1247k| 18.9 | 11M| 55 | - | 231 | 11k| 231 |2453 | 17 | 41k|4927 | 0.000000e+00 | -- | Inf
183.35/183.44 c 183s| 66200 | 71 | 1249k| 18.9 | 11M| 55 | 35 | 231 | 11k| 231 |2453 | 17 | 41k|4927 | 0.000000e+00 | -- | Inf
183.56/183.68 c 184s| 66300 | 66 | 1251k| 18.9 | 11M| 55 | - | 231 | 11k| 231 |2453 | 17 | 41k|4927 | 0.000000e+00 | -- | Inf
183.85/183.91 c 184s| 66400 | 68 | 1253k| 18.9 | 11M| 55 | 30 | 231 | 11k| 231 |2453 | 17 | 41k|4928 | 0.000000e+00 | -- | Inf
184.05/184.12 c 184s| 66500 | 66 | 1254k| 18.9 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 41k|4928 | 0.000000e+00 | -- | Inf
184.25/184.37 c 184s| 66600 | 62 | 1256k| 18.9 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 41k|4928 | 0.000000e+00 | -- | Inf
184.55/184.60 c 185s| 66700 | 62 | 1258k| 18.9 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 41k|4928 | 0.000000e+00 | -- | Inf
184.76/184.85 c 185s| 66800 | 62 | 1260k| 18.9 | 10M| 55 | 36 | 231 | 11k| 231 |2453 | 17 | 41k|4928 | 0.000000e+00 | -- | Inf
184.95/185.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
184.95/185.07 c 185s| 66900 | 65 | 1262k| 18.9 | 10M| 55 | 32 | 231 | 11k| 231 |2453 | 17 | 41k|4928 | 0.000000e+00 | -- | Inf
185.25/185.30 c 185s| 67000 | 61 | 1264k| 18.9 | 10M| 55 | 28 | 231 | 11k| 231 |2453 | 17 | 42k|4928 | 0.000000e+00 | -- | Inf
185.45/185.59 c 186s| 67100 | 57 | 1266k| 18.9 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 42k|4928 | 0.000000e+00 | -- | Inf
185.76/185.85 c 186s| 67200 | 61 | 1268k| 18.9 | 10M| 55 | 27 | 231 | 11k| 231 |2453 | 17 | 42k|4928 | 0.000000e+00 | -- | Inf
186.05/186.11 c 186s| 67300 | 60 | 1270k| 18.9 | 10M| 55 | 32 | 231 | 11k| 231 |2453 | 17 | 42k|4928 | 0.000000e+00 | -- | Inf
186.25/186.36 c 186s| 67400 | 57 | 1272k| 18.9 | 10M| 55 | 44 | 231 | 11k| 231 |2453 | 17 | 42k|4928 | 0.000000e+00 | -- | Inf
186.55/186.67 c 187s| 67500 | 63 | 1274k| 18.9 | 10M| 55 | 35 | 231 | 11k| 231 |2453 | 17 | 42k|4941 | 0.000000e+00 | -- | Inf
186.85/186.93 c 187s| 67600 | 61 | 1276k| 18.9 | 10M| 55 | 43 | 231 | 11k| 231 |2453 | 17 | 42k|4946 | 0.000000e+00 | -- | Inf
187.15/187.20 c 187s| 67700 | 63 | 1278k| 18.9 | 10M| 55 | 33 | 231 | 11k| 231 |2453 | 17 | 42k|4951 | 0.000000e+00 | -- | Inf
187.35/187.45 c 187s| 67800 | 63 | 1280k| 18.9 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 42k|4958 | 0.000000e+00 | -- | Inf
187.65/187.77 c 188s| 67900 | 63 | 1282k| 18.9 | 10M| 55 | 35 | 231 | 11k| 231 |2453 | 17 | 42k|4972 | 0.000000e+00 | -- | Inf
187.96/188.05 c 188s| 68000 | 65 | 1284k| 18.9 | 10M| 55 | 32 | 231 | 11k| 231 |2453 | 17 | 42k|4978 | 0.000000e+00 | -- | Inf
188.25/188.33 c 188s| 68100 | 68 | 1286k| 18.9 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 42k|4986 | 0.000000e+00 | -- | Inf
188.55/188.61 c 189s| 68200 | 64 | 1288k| 18.9 | 10M| 55 | 29 | 231 | 11k| 231 |2453 | 17 | 42k|4994 | 0.000000e+00 | -- | Inf
188.75/188.87 c 189s| 68300 | 63 | 1290k| 18.9 | 10M| 55 | 39 | 231 | 11k| 231 |2453 | 17 | 42k|4994 | 0.000000e+00 | -- | Inf
189.05/189.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
189.05/189.18 c 189s| 68400 | 61 | 1292k| 18.9 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 43k|5002 | 0.000000e+00 | -- | Inf
189.45/189.51 c 190s| 68500 | 63 | 1294k| 18.9 | 10M| 55 | 26 | 231 | 11k| 231 |2453 | 17 | 43k|5016 | 0.000000e+00 | -- | Inf
189.75/189.82 c 190s| 68600 | 61 | 1297k| 18.9 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 43k|5024 | 0.000000e+00 | -- | Inf
190.05/190.12 c 190s| 68700 | 62 | 1299k| 18.9 | 11M| 55 | - | 231 | 11k| 231 |2453 | 17 | 43k|5030 | 0.000000e+00 | -- | Inf
190.35/190.44 c 190s| 68800 | 67 | 1301k| 18.9 | 11M| 55 | 46 | 231 | 11k| 231 |2453 | 17 | 43k|5041 | 0.000000e+00 | -- | Inf
190.65/190.73 c 191s| 68900 | 63 | 1303k| 18.9 | 11M| 55 | - | 231 | 11k| 231 |2453 | 17 | 43k|5049 | 0.000000e+00 | -- | Inf
190.95/191.00 c 191s| 69000 | 61 | 1305k| 18.9 | 11M| 55 | - | 231 | 11k| 231 |2453 | 17 | 43k|5059 | 0.000000e+00 | -- | Inf
191.25/191.34 c 191s| 69100 | 57 | 1307k| 18.9 | 11M| 55 | - | 231 | 12k| 231 |2453 | 17 | 43k|5075 | 0.000000e+00 | -- | Inf
191.45/191.59 c 192s| 69200 | 59 | 1309k| 18.9 | 11M| 55 | 31 | 231 | 11k| 231 |2453 | 17 | 43k|5078 | 0.000000e+00 | -- | Inf
191.75/191.88 c 192s| 69300 | 57 | 1311k| 18.9 | 11M| 55 | 35 | 231 | 11k| 231 |2453 | 17 | 43k|5087 | 0.000000e+00 | -- | Inf
192.04/192.14 c 192s| 69400 | 55 | 1313k| 18.9 | 11M| 55 | 41 | 231 | 11k| 231 |2453 | 17 | 43k|5092 | 0.000000e+00 | -- | Inf
192.35/192.44 c 192s| 69500 | 49 | 1315k| 18.9 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 43k|5104 | 0.000000e+00 | -- | Inf
192.65/192.74 c 193s| 69600 | 51 | 1317k| 18.9 | 10M| 55 | 39 | 231 | 11k| 231 |2453 | 17 | 43k|5111 | 0.000000e+00 | -- | Inf
192.94/193.04 c 193s| 69700 | 49 | 1319k| 18.9 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 43k|5124 | 0.000000e+00 | -- | Inf
193.25/193.31 c 193s| 69800 | 47 | 1320k| 18.9 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 43k|5132 | 0.000000e+00 | -- | Inf
193.46/193.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
193.46/193.59 c 194s| 69900 | 49 | 1322k| 18.9 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 44k|5140 | 0.000000e+00 | -- | Inf
193.74/193.84 c 194s| 70000 | 43 | 1324k| 18.9 | 10M| 55 | 42 | 231 | 11k| 231 |2453 | 17 | 44k|5143 | 0.000000e+00 | -- | Inf
194.05/194.10 c 194s| 70100 | 41 | 1326k| 18.9 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 44k|5144 | 0.000000e+00 | -- | Inf
194.24/194.34 c 194s| 70200 | 41 | 1328k| 18.9 | 10M| 55 | 35 | 231 | 11k| 231 |2453 | 17 | 44k|5146 | 0.000000e+00 | -- | Inf
194.45/194.60 c 195s| 70300 | 39 | 1330k| 18.9 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 44k|5147 | 0.000000e+00 | -- | Inf
194.75/194.84 c 195s| 70400 | 39 | 1332k| 18.9 | 10M| 55 | 36 | 231 | 11k| 231 |2453 | 17 | 44k|5147 | 0.000000e+00 | -- | Inf
194.95/195.08 c 195s| 70500 | 37 | 1334k| 18.9 | 10M| 55 | 50 | 231 | 11k| 231 |2453 | 17 | 44k|5147 | 0.000000e+00 | -- | Inf
195.25/195.31 c 195s| 70600 | 39 | 1336k| 18.9 | 10M| 55 | 27 | 231 | 11k| 231 |2453 | 17 | 44k|5147 | 0.000000e+00 | -- | Inf
195.45/195.56 c 196s| 70700 | 41 | 1338k| 18.9 | 10M| 55 | 41 | 231 | 11k| 231 |2453 | 17 | 44k|5147 | 0.000000e+00 | -- | Inf
195.75/195.82 c 196s| 70800 | 41 | 1340k| 18.9 | 10M| 55 | 34 | 231 | 11k| 231 |2453 | 17 | 44k|5147 | 0.000000e+00 | -- | Inf
195.95/196.05 c 196s| 70900 | 39 | 1341k| 18.9 | 10M| 55 | 46 | 231 | 11k| 231 |2453 | 17 | 44k|5147 | 0.000000e+00 | -- | Inf
196.25/196.31 c 196s| 71000 | 41 | 1343k| 18.9 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 44k|5147 | 0.000000e+00 | -- | Inf
196.44/196.58 c 197s| 71100 | 39 | 1346k| 18.9 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 44k|5147 | 0.000000e+00 | -- | Inf
196.75/196.83 c 197s| 71200 | 37 | 1348k| 18.9 | 10M| 55 | 38 | 231 | 11k| 231 |2453 | 17 | 44k|5147 | 0.000000e+00 | -- | Inf
197.04/197.10 c 197s| 71300 | 35 | 1350k| 18.9 | 10M| 55 | 44 | 231 | 11k| 231 |2453 | 17 | 44k|5147 | 0.000000e+00 | -- | Inf
197.25/197.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
197.25/197.35 c 197s| 71400 | 35 | 1352k| 18.9 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 44k|5147 | 0.000000e+00 | -- | Inf
197.55/197.61 c 198s| 71500 | 35 | 1354k| 18.9 | 10M| 55 | 41 | 231 | 11k| 231 |2453 | 17 | 44k|5147 | 0.000000e+00 | -- | Inf
197.74/197.85 c 198s| 71600 | 35 | 1356k| 18.9 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 45k|5147 | 0.000000e+00 | -- | Inf
198.05/198.10 c 198s| 71700 | 33 | 1358k| 18.9 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 45k|5147 | 0.000000e+00 | -- | Inf
198.24/198.34 c 198s| 71800 | 33 | 1360k| 18.9 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 45k|5147 | 0.000000e+00 | -- | Inf
198.45/198.58 c 199s| 71900 | 39 | 1362k| 18.9 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 45k|5147 | 0.000000e+00 | -- | Inf
198.75/198.84 c 199s| 72000 | 43 | 1364k| 18.9 | 10M| 55 | 37 | 231 | 11k| 231 |2453 | 17 | 45k|5147 | 0.000000e+00 | -- | Inf
198.95/199.09 c 199s| 72100 | 43 | 1366k| 18.9 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 45k|5147 | 0.000000e+00 | -- | Inf
199.25/199.33 c 199s| 72200 | 41 | 1368k| 18.9 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 45k|5147 | 0.000000e+00 | -- | Inf
199.45/199.58 c 200s| 72300 | 35 | 1370k| 19.0 | 10M| 55 | 37 | 231 | 11k| 231 |2453 | 17 | 45k|5147 | 0.000000e+00 | -- | Inf
199.75/199.83 c 200s| 72400 | 32 | 1372k| 19.0 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 45k|5147 | 0.000000e+00 | -- | Inf
199.94/200.05 c 200s| 72500 | 32 | 1373k| 18.9 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 45k|5147 | 0.000000e+00 | -- | Inf
200.16/200.29 c 200s| 72600 | 32 | 1375k| 18.9 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 45k|5147 | 0.000000e+00 | -- | Inf
200.45/200.54 c 201s| 72700 | 30 | 1377k| 19.0 | 10M| 55 | 50 | 231 | 11k| 231 |2453 | 17 | 45k|5147 | 0.000000e+00 | -- | Inf
200.74/200.83 c 201s| 72800 | 28 | 1379k| 19.0 | 10M| 55 | 38 | 231 | 11k| 231 |2453 | 17 | 45k|5157 | 0.000000e+00 | -- | Inf
200.95/201.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
200.95/201.08 c 201s| 72900 | 26 | 1381k| 19.0 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 45k|5157 | 0.000000e+00 | -- | Inf
201.25/201.36 c 201s| 73000 | 26 | 1383k| 19.0 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 45k|5166 | 0.000000e+00 | -- | Inf
201.55/201.67 c 202s| 73100 | 26 | 1385k| 19.0 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 45k|5176 | 0.000000e+00 | -- | Inf
201.85/201.97 c 202s| 73200 | 27 | 1387k| 19.0 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 45k|5187 | 0.000000e+00 | -- | Inf
202.14/202.30 c 202s| 73300 | 25 | 1390k| 19.0 | 10M| 55 | 31 | 231 | 11k| 231 |2453 | 17 | 46k|5196 | 0.000000e+00 | -- | Inf
202.45/202.55 c 203s| 73400 | 22 | 1392k| 19.0 | 10M| 55 | - | 231 | 12k| 231 |2453 | 17 | 46k|5196 | 0.000000e+00 | -- | Inf
202.75/202.84 c 203s| 73500 | 24 | 1394k| 19.0 | 10M| 55 | 30 | 231 | 12k| 231 |2453 | 17 | 46k|5207 | 0.000000e+00 | -- | Inf
203.05/203.13 c 203s| 73600 | 21 | 1396k| 19.0 | 10M| 55 | 38 | 231 | 12k| 231 |2453 | 17 | 46k|5213 | 0.000000e+00 | -- | Inf
203.24/203.38 c 203s| 73700 | 22 | 1398k| 19.0 | 10M| 55 | - | 231 | 12k| 231 |2453 | 17 | 46k|5217 | 0.000000e+00 | -- | Inf
203.55/203.67 c 204s| 73800 | 18 | 1400k| 19.0 | 10M| 55 | - | 231 | 12k| 231 |2453 | 17 | 46k|5226 | 0.000000e+00 | -- | Inf
203.85/203.94 c 204s| 73900 | 16 | 1401k| 19.0 | 10M| 55 | 31 | 231 | 11k| 231 |2453 | 17 | 46k|5233 | 0.000000e+00 | -- | Inf
204.15/204.23 c 204s| 74000 | 14 | 1403k| 19.0 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 46k|5241 | 0.000000e+00 | -- | Inf
204.46/204.52 c 205s| 74100 | 14 | 1405k| 19.0 | 10M| 55 | - | 231 | 11k| 231 |2453 | 17 | 46k|5251 | 0.000000e+00 | -- | Inf
204.75/204.82 c 205s| 74200 | 14 | 1408k| 19.0 | 10M| 55 | 40 | 231 | 11k| 231 |2453 | 17 | 46k|5258 | 0.000000e+00 | -- | Inf
205.04/205.13 c 205s| 74300 | 14 | 1410k| 19.0 | 10M| 55 | 27 | 231 | 11k| 231 |2453 | 17 | 46k|5267 | 0.000000e+00 | -- | Inf
205.35/205.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
205.35/205.44 c 205s| 74400 | 14 | 1412k| 19.0 | 10M| 55 | 37 | 231 | 12k| 231 |2453 | 17 | 46k|5276 | 0.000000e+00 | -- | Inf
205.65/205.73 c 206s| 74500 | 13 | 1414k| 19.0 | 10M| 55 | 36 | 231 | 11k| 231 |2453 | 17 | 46k|5284 | 0.000000e+00 | -- | Inf
205.95/206.02 c 206s| 74600 | 11 | 1416k| 19.0 | 10M| 55 | 36 | 231 | 11k| 231 |2453 | 17 | 46k|5293 | 0.000000e+00 | -- | Inf
206.25/206.31 c 206s| 74700 | 13 | 1418k| 19.0 | 10M| 55 | 45 | 231 | 11k| 231 |2453 | 17 | 46k|5303 | 0.000000e+00 | -- | Inf
206.44/206.55 c 207s| 74800 | 16 | 1420k| 19.0 | 10M| 55 | - | 231 | 12k| 231 |2453 | 17 | 46k|5307 | 0.000000e+00 | -- | Inf
206.75/206.81 c 207s| 74900 | 16 | 1422k| 19.0 | 10M| 55 | - | 231 | 12k| 231 |2453 | 17 | 47k|5315 | 0.000000e+00 | -- | Inf
206.95/207.07 c 207s| 75000 | 15 | 1424k| 19.0 | 10M| 55 | - | 231 | 12k| 231 |2453 | 17 | 47k|5321 | 0.000000e+00 | -- | Inf
207.25/207.32 c 207s| 75100 | 15 | 1425k| 19.0 | 10M| 55 | - | 231 | 12k| 231 |2453 | 17 | 47k|5325 | 0.000000e+00 | -- | Inf
207.45/207.59 c 208s| 75200 | 12 | 1427k| 19.0 | 10M| 55 | 34 | 231 | 12k| 231 |2453 | 17 | 47k|5329 | 0.000000e+00 | -- | Inf
207.75/207.84 c 208s| 75300 | 10 | 1429k| 19.0 | 11M| 55 | - | 231 | 12k| 231 |2453 | 17 | 47k|5330 | 0.000000e+00 | -- | Inf
207.95/208.07 c 208s| 75400 | 6 | 1431k| 19.0 | 10M| 55 | 25 | 231 | 12k| 231 |2453 | 17 | 47k|5332 | 0.000000e+00 | -- | Inf
208.24/208.33 c 208s| 75500 | 4 | 1433k| 19.0 | 10M| 55 | 48 | 231 | 12k| 231 |2453 | 17 | 47k|5333 | 0.000000e+00 | -- | Inf
208.55/208.60 c
208.55/208.60 c SCIP Status : problem is solved [infeasible]
208.55/208.60 c Solving Time (sec) : 208.60
208.55/208.60 c Solving Nodes : 75597
208.55/208.60 c Primal Bound : +1.00000000000000e+20 (0 solutions)
208.55/208.60 c Dual Bound : +1.00000000000000e+20
208.55/208.60 c Gap : 0.00 %
208.55/208.60 s UNSATISFIABLE
208.55/208.60 c SCIP Status : problem is solved [infeasible]
208.55/208.60 c Total Time : 208.60
208.55/208.60 c solving : 208.60
208.55/208.60 c presolving : 0.05 (included in solving)
208.55/208.60 c reading : 0.01 (included in solving)
208.55/208.60 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
208.55/208.60 c Original Problem :
208.55/208.60 c Problem name : HOME/instance-3691582-1338022130.opb
208.55/208.60 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
208.55/208.60 c Constraints : 2707 initial, 2707 maximal
208.55/208.60 c Objective sense : minimize
208.55/208.60 c Presolved Problem :
208.55/208.60 c Problem name : t_HOME/instance-3691582-1338022130.opb
208.55/208.60 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
208.55/208.60 c Constraints : 2443 initial, 12801 maximal
208.55/208.60 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
208.55/208.60 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
208.55/208.60 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
208.55/208.60 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
208.55/208.60 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
208.55/208.60 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
208.55/208.60 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
208.55/208.60 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
208.55/208.60 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
208.55/208.60 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
208.55/208.60 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
208.55/208.60 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
208.55/208.60 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0
208.55/208.60 c setppc : 0.00 0.00 0 0 0 0 0 121 0 0 0
208.55/208.60 c linear : 0.02 0.00 0 0 0 0 0 143 0 0 0
208.55/208.60 c logicor : 0.02 0.00 0 0 0 0 0 0 0 0 0
208.55/208.60 c root node : - - 3 - - 3 - - - - -
208.55/208.60 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
208.55/208.60 c integral : 0 0 0 0 39427 0 1 0 152 2261 0 0 75966
208.55/208.60 c knapsack : 1 1 5 302944 0 0 0 16737 383 126229 0 0 0
208.55/208.60 c setppc : 22 22 5 302824 0 0 0 789235 1260 409999 0 0 0
208.55/208.60 c linear : 0+ 265 5 105240 0 0 0 373 0 4268 0 0 0
208.55/208.60 c logicor : 2420+ 12767 5 138269 0 0 0 279606 273 454974 0 0 0
208.55/208.60 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
208.55/208.60 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
208.55/208.60 c integral : 24.26 0.00 0.00 0.00 24.26 0.00 0.00 0.00
208.55/208.60 c knapsack : 0.31 0.00 0.00 0.29 0.00 0.00 0.00 0.02
208.55/208.60 c setppc : 1.19 0.00 0.00 0.95 0.00 0.00 0.00 0.24
208.55/208.60 c linear : 0.20 0.00 0.00 0.19 0.00 0.00 0.00 0.00
208.55/208.60 c logicor : 5.11 0.00 0.00 4.88 0.00 0.00 0.00 0.23
208.55/208.60 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
208.55/208.60 c Propagators : #Propagate #ResProp Cutoffs DomReds
208.55/208.60 c rootredcost : 0 0 0 0
208.55/208.60 c pseudoobj : 0 0 0 0
208.55/208.60 c vbounds : 0 0 0 0
208.55/208.60 c redcost : 39432 0 0 0
208.55/208.60 c probing : 0 0 0 0
208.55/208.60 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
208.55/208.60 c rootredcost : 0.08 0.00 0.00 0.08 0.00
208.55/208.60 c pseudoobj : 0.08 0.00 0.00 0.08 0.00
208.55/208.60 c vbounds : 0.07 0.00 0.00 0.07 0.00
208.55/208.60 c redcost : 0.18 0.00 0.00 0.18 0.00
208.55/208.60 c probing : 0.00 0.00 0.00 0.00 0.00
208.55/208.60 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
208.55/208.60 c propagation : 0.08 1916 1908 9750 20.8 28 24.2 -
208.55/208.60 c infeasible LP : 3.09 35913 35434 210518 32.5 98 18.2 0
208.55/208.60 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
208.55/208.60 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
208.55/208.60 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
208.55/208.60 c applied globally : - - - 45131 19.4 - - -
208.55/208.60 c applied locally : - - - 2382 34.5 - - -
208.55/208.60 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
208.55/208.60 c cut pool : 0.00 4 - - 306 - (maximal pool size: 515)
208.55/208.60 c closecuts : 0.00 0.00 0 0 0 0 0
208.55/208.60 c impliedbounds : 0.00 0.00 5 0 0 0 0
208.55/208.60 c intobj : 0.00 0.00 0 0 0 0 0
208.55/208.60 c gomory : 0.10 0.00 5 0 0 200 0
208.55/208.60 c cgmip : 0.00 0.00 0 0 0 0 0
208.55/208.60 c strongcg : 0.20 0.00 5 0 0 2500 0
208.55/208.60 c cmir : 0.00 0.00 0 0 0 0 0
208.55/208.60 c flowcover : 0.00 0.00 0 0 0 0 0
208.55/208.60 c clique : 0.00 0.00 5 0 0 0 0
208.55/208.60 c zerohalf : 0.00 0.00 0 0 0 0 0
208.55/208.60 c mcf : 0.00 0.00 1 0 0 0 0
208.55/208.60 c oddcycle : 0.00 0.00 0 0 0 0 0
208.55/208.60 c rapidlearning : 0.10 0.00 1 0 0 0 265
208.55/208.60 c Pricers : ExecTime SetupTime Calls Vars
208.55/208.60 c problem variables: 0.00 - 0 0
208.55/208.60 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
208.55/208.60 c relpscost : 24.23 0.00 39427 152 2261 0 0 75966
208.55/208.60 c pscost : 0.00 0.00 0 0 0 0 0 0
208.55/208.60 c inference : 0.00 0.00 0 0 0 0 0 0
208.55/208.60 c mostinf : 0.00 0.00 0 0 0 0 0 0
208.55/208.60 c leastinf : 0.00 0.00 0 0 0 0 0 0
208.55/208.60 c fullstrong : 0.00 0.00 0 0 0 0 0 0
208.55/208.60 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
208.55/208.60 c random : 0.00 0.00 0 0 0 0 0 0
208.55/208.60 c Primal Heuristics : ExecTime SetupTime Calls Found
208.55/208.60 c LP solutions : 0.00 - - 0
208.55/208.60 c pseudo solutions : 0.00 - - 0
208.55/208.60 c smallcard : 0.00 0.00 0 0
208.55/208.60 c trivial : 0.00 0.00 1 0
208.55/208.60 c shiftandpropagate: 0.00 0.00 0 0
208.55/208.60 c simplerounding : 0.00 0.00 0 0
208.55/208.60 c zirounding : 0.00 0.00 0 0
208.55/208.60 c rounding : 0.00 0.00 0 0
208.55/208.60 c shifting : 0.00 0.00 0 0
208.55/208.60 c intshifting : 0.00 0.00 0 0
208.55/208.60 c oneopt : 0.00 0.00 0 0
208.55/208.60 c twoopt : 0.00 0.00 0 0
208.55/208.60 c indtwoopt : 0.00 0.00 0 0
208.55/208.60 c indoneopt : 0.00 0.00 0 0
208.55/208.60 c fixandinfer : 0.00 0.00 0 0
208.55/208.60 c feaspump : 0.00 0.00 0 0
208.55/208.60 c clique : 0.00 0.00 0 0
208.55/208.60 c indrounding : 0.00 0.00 0 0
208.55/208.60 c indcoefdiving : 0.00 0.00 0 0
208.55/208.60 c coefdiving : 0.00 0.00 0 0
208.55/208.60 c pscostdiving : 0.00 0.00 0 0
208.55/208.60 c nlpdiving : 0.00 0.00 0 0
208.55/208.60 c fracdiving : 0.00 0.00 0 0
208.55/208.60 c veclendiving : 0.00 0.00 0 0
208.55/208.60 c intdiving : 0.00 0.00 0 0
208.55/208.60 c actconsdiving : 0.00 0.00 0 0
208.55/208.60 c objpscostdiving : 0.00 0.00 0 0
208.55/208.60 c rootsoldiving : 0.00 0.00 0 0
208.55/208.60 c linesearchdiving : 0.00 0.00 0 0
208.55/208.60 c guideddiving : 0.00 0.00 0 0
208.55/208.60 c octane : 0.00 0.00 0 0
208.55/208.60 c rens : 0.00 0.00 0 0
208.55/208.60 c rins : 0.00 0.00 0 0
208.55/208.60 c localbranching : 0.00 0.00 0 0
208.55/208.60 c mutation : 0.00 0.00 0 0
208.55/208.60 c crossover : 0.00 0.00 0 0
208.55/208.60 c dins : 0.00 0.00 0 0
208.55/208.60 c vbounds : 0.00 0.00 0 0
208.55/208.60 c undercover : 0.00 0.00 0 0
208.55/208.60 c subnlp : 0.00 0.00 0 0
208.55/208.60 c trysol : 0.00 0.00 0 0
208.55/208.60 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
208.55/208.60 c primal LP : 0.00 1 0 0.00 - 0.00 1
208.55/208.60 c dual LP : 155.52 75345 1435712 19.10 9231.93 0.07 193
208.55/208.60 c lex dual LP : 0.00 0 0 0.00 -
208.55/208.60 c barrier LP : 0.00 0 0 0.00 - 0.00 0
208.55/208.60 c diving/probing LP: 0.00 0 0 0.00 -
208.55/208.60 c strong branching : 23.58 5334 199586 37.42 8463.31
208.55/208.60 c (at root node) : - 11 2220 201.82 -
208.55/208.60 c conflict analysis: 0.00 0 0 0.00 -
208.55/208.60 c B&B Tree :
208.55/208.60 c number of runs : 1
208.55/208.60 c nodes : 75597
208.55/208.60 c nodes (total) : 75597
208.55/208.60 c nodes left : 0
208.55/208.60 c max depth : 55
208.55/208.60 c max depth (total): 55
208.55/208.60 c backtracks : 8517 (11.3%)
208.55/208.60 c delayed cutoffs : 370
208.55/208.60 c repropagations : 133262 (153807 domain reductions, 369 cutoffs)
208.55/208.60 c avg switch length: 5.18
208.55/208.60 c switching time : 6.23
208.55/208.60 c Solution :
208.55/208.60 c Solutions found : 0 (0 improvements)
208.55/208.60 c Primal Bound : infeasible
208.55/208.60 c Dual Bound : -
208.55/208.60 c Gap : 0.00 %
208.55/208.60 c Root Dual Bound : +0.00000000000000e+00
208.55/208.60 c Root Iterations : 146
208.55/208.61 c Time complete: 208.57.
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-3691582-1338022130/watcher-3691582-1338022130 -o /tmp/evaluation-result-3691582-1338022130/solver-3691582-1338022130 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691582-1338022130.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.01 2.00 3/174 3040
/proc/meminfo: memFree=29503880/32873852 swapFree=7616/7616
[pid=3040] ppid=3038 vsize=12032 CPUtime=0 cores=0,2,4,6
/proc/3040/stat : 3040 (scip-2.1.1.4exp) R 3038 3040 403 0 -1 4202496 1753 0 0 0 0 0 0 0 20 0 1 0 268338448 12320768 1707 33554432000 4194304 10219143 140733960881472 140735648585912 8891101 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3040/statm: 3008 1718 398 1471 0 1528 0
[startup+0.0728511 s]
/proc/loadavg: 2.02 2.01 2.00 3/174 3040
/proc/meminfo: memFree=29503880/32873852 swapFree=7616/7616
[pid=3040] ppid=3038 vsize=29696 CPUtime=0.06 cores=0,2,4,6
/proc/3040/stat : 3040 (scip-2.1.1.4exp) R 3038 3040 403 0 -1 4202496 6505 0 0 0 5 1 0 0 20 0 1 0 268338448 30408704 6159 33554432000 4194304 10219143 140733960881472 140735648585912 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3040/statm: 7424 6159 734 1471 0 5944 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 29696
[startup+0.100246 s]
/proc/loadavg: 2.02 2.01 2.00 3/174 3040
/proc/meminfo: memFree=29503880/32873852 swapFree=7616/7616
[pid=3040] ppid=3038 vsize=30616 CPUtime=0.09 cores=0,2,4,6
/proc/3040/stat : 3040 (scip-2.1.1.4exp) R 3038 3040 403 0 -1 4202496 6801 0 0 0 8 1 0 0 20 0 1 0 268338448 31350784 6453 33554432000 4194304 10219143 140733960881472 140735648585912 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3040/statm: 7654 6453 761 1471 0 6174 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30616
[startup+0.30022 s]
/proc/loadavg: 2.02 2.01 2.00 3/174 3040
/proc/meminfo: memFree=29503880/32873852 swapFree=7616/7616
[pid=3040] ppid=3038 vsize=48380 CPUtime=0.29 cores=0,2,4,6
/proc/3040/stat : 3040 (scip-2.1.1.4exp) R 3038 3040 403 0 -1 4202496 11695 0 0 0 26 3 0 0 20 0 1 0 268338448 49541120 10639 33554432000 4194304 10219143 140733960881472 140733960876360 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3040/statm: 12095 10639 814 1471 0 10615 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48380
[startup+0.700178 s]
/proc/loadavg: 2.02 2.01 2.00 3/174 3040
/proc/meminfo: memFree=29503880/32873852 swapFree=7616/7616
[pid=3040] ppid=3038 vsize=48548 CPUtime=0.69 cores=0,2,4,6
/proc/3040/stat : 3040 (scip-2.1.1.4exp) R 3038 3040 403 0 -1 4202496 11738 0 0 0 66 3 0 0 20 0 1 0 268338448 49713152 10682 33554432000 4194304 10219143 140733960881472 140733960874920 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3040/statm: 12137 10682 817 1471 0 10657 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48548
[startup+1.50018 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 3041
/proc/meminfo: memFree=29464200/32873852 swapFree=7616/7616
[pid=3040] ppid=3038 vsize=48548 CPUtime=1.49 cores=0,2,4,6
/proc/3040/stat : 3040 (scip-2.1.1.4exp) R 3038 3040 403 0 -1 4202496 11740 0 0 0 144 5 0 0 20 0 1 0 268338448 49713152 10684 33554432000 4194304 10219143 140733960881472 140733960874968 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3040/statm: 12137 10684 819 1471 0 10657 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 48548
[startup+3.10018 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 3041
/proc/meminfo: memFree=29463960/32873852 swapFree=7616/7616
[pid=3040] ppid=3038 vsize=48548 CPUtime=3.09 cores=0,2,4,6
/proc/3040/stat : 3040 (scip-2.1.1.4exp) R 3038 3040 403 0 -1 4202496 11743 0 0 0 303 6 0 0 20 0 1 0 268338448 49713152 10687 33554432000 4194304 10219143 140733960881472 140733960874920 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3040/statm: 12137 10687 822 1471 0 10657 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 48548
[startup+6.30018 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 3041
/proc/meminfo: memFree=29463836/32873852 swapFree=7616/7616
[pid=3040] ppid=3038 vsize=48548 CPUtime=6.29 cores=0,2,4,6
/proc/3040/stat : 3040 (scip-2.1.1.4exp) R 3038 3040 403 0 -1 4202496 11744 0 0 0 618 11 0 0 20 0 1 0 268338448 49713152 10688 33554432000 4194304 10219143 140733960881472 140733960874920 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3040/statm: 12137 10688 823 1471 0 10657 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 48548
[startup+12.7002 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 3041
/proc/meminfo: memFree=29463480/32873852 swapFree=7616/7616
[pid=3040] ppid=3038 vsize=48548 CPUtime=12.69 cores=0,2,4,6
/proc/3040/stat : 3040 (scip-2.1.1.4exp) R 3038 3040 403 0 -1 4202496 11745 0 0 0 1251 18 0 0 20 0 1 0 268338448 49713152 10689 33554432000 4194304 10219143 140733960881472 140733960874728 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3040/statm: 12137 10689 824 1471 0 10657 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 48548
[startup+25.5002 s]
/proc/loadavg: 2.01 2.01 2.00 3/174 3041
/proc/meminfo: memFree=29463744/32873852 swapFree=7616/7616
[pid=3040] ppid=3038 vsize=48548 CPUtime=25.48 cores=0,2,4,6
/proc/3040/stat : 3040 (scip-2.1.1.4exp) R 3038 3040 403 0 -1 4202496 11745 0 0 0 2511 37 0 0 20 0 1 0 268338448 49713152 10689 33554432000 4194304 10219143 140733960881472 140733960874088 9008087 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3040/statm: 12137 10689 824 1471 0 10657 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 48548
[startup+51.1002 s]
/proc/loadavg: 1.93 1.99 1.99 3/175 3118
/proc/meminfo: memFree=29463340/32873852 swapFree=7616/7616
[pid=3040] ppid=3038 vsize=48548 CPUtime=51.07 cores=0,2,4,6
/proc/3040/stat : 3040 (scip-2.1.1.4exp) R 3038 3040 403 0 -1 4202496 11831 0 0 0 5026 81 0 0 20 0 1 0 268338448 49713152 11131 33554432000 4194304 10219143 140733960881472 140733960875144 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3040/statm: 12137 11131 824 1471 0 10657 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 48548
[startup+102.306 s]
/proc/loadavg: 2.04 2.00 2.00 3/176 3121
/proc/meminfo: memFree=29461512/32873852 swapFree=7616/7616
[pid=3040] ppid=3038 vsize=48548 CPUtime=102.26 cores=0,2,4,6
/proc/3040/stat : 3040 (scip-2.1.1.4exp) R 3038 3040 403 0 -1 4202496 11832 0 0 0 10063 163 0 0 20 0 1 0 268338448 49713152 11131 33554432000 4194304 10219143 140733960881472 140733960874088 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3040/statm: 12137 11131 824 1471 0 10657 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 48548
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 3121
/proc/meminfo: memFree=29461272/32873852 swapFree=7616/7616
[pid=3040] ppid=3038 vsize=48548 CPUtime=162.25 cores=0,2,4,6
/proc/3040/stat : 3040 (scip-2.1.1.4exp) R 3038 3040 403 0 -1 4202496 11832 0 0 0 15969 256 0 0 20 0 1 0 268338448 49713152 11131 33554432000 4194304 10219143 140733960881472 140733960875112 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3040/statm: 12137 11131 824 1471 0 10657 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 48548
Solver just ended. Dumping a history of the last processes samples
[startup+179.1 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 3121
/proc/meminfo: memFree=29461272/32873852 swapFree=7616/7616
[pid=3040] ppid=3038 vsize=48548 CPUtime=179.05 cores=0,2,4,6
/proc/3040/stat : 3040 (scip-2.1.1.4exp) R 3038 3040 403 0 -1 4202496 11833 0 0 0 17623 282 0 0 20 0 1 0 268338448 49713152 11132 33554432000 4194304 10219143 140733960881472 140733960877960 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3040/statm: 12137 11132 825 1471 0 10657 0
Current children cumulated CPU time (s) 179.05
Current children cumulated vsize (KiB) 48548
[startup+191.9 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 3121
/proc/meminfo: memFree=29461272/32873852 swapFree=7616/7616
[pid=3040] ppid=3038 vsize=48548 CPUtime=191.85 cores=0,2,4,6
/proc/3040/stat : 3040 (scip-2.1.1.4exp) R 3038 3040 403 0 -1 4202496 11833 0 0 0 18883 302 0 0 20 0 1 0 268338448 49713152 11132 33554432000 4194304 10219143 140733960881472 140733960874456 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3040/statm: 12137 11132 825 1471 0 10657 0
Current children cumulated CPU time (s) 191.85
Current children cumulated vsize (KiB) 48548
[startup+198.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3121
/proc/meminfo: memFree=29461520/32873852 swapFree=7616/7616
[pid=3040] ppid=3038 vsize=48548 CPUtime=198.24 cores=0,2,4,6
/proc/3040/stat : 3040 (scip-2.1.1.4exp) R 3038 3040 403 0 -1 4202496 11833 0 0 0 19512 312 0 0 20 0 1 0 268338448 49713152 11132 33554432000 4194304 10219143 140733960881472 140733960874408 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3040/statm: 12137 11132 825 1471 0 10657 0
Current children cumulated CPU time (s) 198.24
Current children cumulated vsize (KiB) 48548
[startup+204.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3121
/proc/meminfo: memFree=29461520/32873852 swapFree=7616/7616
[pid=3040] ppid=3038 vsize=48548 CPUtime=204.65 cores=0,2,4,6
/proc/3040/stat : 3040 (scip-2.1.1.4exp) R 3038 3040 403 0 -1 4202496 11833 0 0 0 20143 322 0 0 20 0 1 0 268338448 49713152 11132 33554432000 4194304 10219143 140733960881472 140733960874728 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3040/statm: 12137 11132 825 1471 0 10657 0
Current children cumulated CPU time (s) 204.65
Current children cumulated vsize (KiB) 48548
[startup+206.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3121
/proc/meminfo: memFree=29461520/32873852 swapFree=7616/7616
[pid=3040] ppid=3038 vsize=48548 CPUtime=206.25 cores=0,2,4,6
/proc/3040/stat : 3040 (scip-2.1.1.4exp) R 3038 3040 403 0 -1 4202496 11833 0 0 0 20301 324 0 0 20 0 1 0 268338448 49713152 11132 33554432000 4194304 10219143 140733960881472 140733960875112 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3040/statm: 12137 11132 825 1471 0 10657 0
Current children cumulated CPU time (s) 206.25
Current children cumulated vsize (KiB) 48548
[startup+207.906 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3121
/proc/meminfo: memFree=29461520/32873852 swapFree=7616/7616
[pid=3040] ppid=3038 vsize=48548 CPUtime=207.86 cores=0,2,4,6
/proc/3040/stat : 3040 (scip-2.1.1.4exp) R 3038 3040 403 0 -1 4202496 11833 0 0 0 20460 326 0 0 20 0 1 0 268338448 49713152 11132 33554432000 4194304 10219143 140733960881472 140733960877944 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3040/statm: 12137 11132 825 1471 0 10657 0
Current children cumulated CPU time (s) 207.86
Current children cumulated vsize (KiB) 48548
[startup+208.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3121
/proc/meminfo: memFree=29461520/32873852 swapFree=7616/7616
[pid=3040] ppid=3038 vsize=48548 CPUtime=208.24 cores=0,2,4,6
/proc/3040/stat : 3040 (scip-2.1.1.4exp) R 3038 3040 403 0 -1 4202496 11833 0 0 0 20498 326 0 0 20 0 1 0 268338448 49713152 11132 33554432000 4194304 10219143 140733960881472 140733960874728 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3040/statm: 12137 11132 825 1471 0 10657 0
Current children cumulated CPU time (s) 208.24
Current children cumulated vsize (KiB) 48548
[startup+208.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3121
/proc/meminfo: memFree=29461520/32873852 swapFree=7616/7616
[pid=3040] ppid=3038 vsize=48548 CPUtime=208.44 cores=0,2,4,6
/proc/3040/stat : 3040 (scip-2.1.1.4exp) R 3038 3040 403 0 -1 4202496 11833 0 0 0 20518 326 0 0 20 0 1 0 268338448 49713152 11132 33554432000 4194304 10219143 140733960881472 140733960874728 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3040/statm: 12137 11132 825 1471 0 10657 0
Current children cumulated CPU time (s) 208.44
Current children cumulated vsize (KiB) 48548
[startup+208.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3121
/proc/meminfo: memFree=29461520/32873852 swapFree=7616/7616
[pid=3040] ppid=3038 vsize=48548 CPUtime=208.55 cores=0,2,4,6
/proc/3040/stat : 3040 (scip-2.1.1.4exp) R 3038 3040 403 0 -1 4202496 11833 0 0 0 20528 327 0 0 20 0 1 0 268338448 49713152 11132 33554432000 4194304 10219143 140733960881472 140733960874728 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3040/statm: 12137 11132 825 1471 0 10657 0
Current children cumulated CPU time (s) 208.55
Current children cumulated vsize (KiB) 48548
Child status: 0
Real time (s): 208.62
CPU time (s): 208.576
CPU user time (s): 205.305
CPU system time (s): 3.2715
CPU usage (%): 99.979
Max. virtual memory (cumulated for all children) (KiB): 50972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 205.305
system time used= 3.2715
maximum resident set size= 45016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11838
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 277
runsolver used 0.328949 second user time and 0.841872 second system time
The end