0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3690411-1338016927.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.04/0.05 c (round 1) 0 del vars, 143 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs
0.04/0.06 c (round 2) 0 del vars, 143 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.04/0.07 c (round 3) 0 del vars, 264 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.04/0.08 c presolving (4 rounds):
0.04/0.08 c 0 deleted vars, 264 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.04/0.08 c 242 implications, 22 cliques
0.04/0.08 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2443 constraints
0.04/0.08 c 1 constraints of type <knapsack>
0.04/0.08 c 22 constraints of type <setppc>
0.04/0.08 c 2420 constraints of type <logicor>
0.04/0.08 c transformed objective value is always integral (scale: 1)
0.04/0.08 c Presolving Time: 0.07
0.04/0.08 c - non default parameters ----------------------------------------------------------------------
0.04/0.08 c # SCIP version 2.1.1.4
0.04/0.08 c
0.04/0.08 c # maximal time in seconds to run
0.04/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.08 c limits/time = 1797
0.04/0.08 c
0.04/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.04/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.08 c limits/memory = 13950
0.04/0.08 c
0.04/0.08 c # solving stops, if the given number of solutions were found (-1: no limit)
0.04/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.04/0.08 c limits/solutions = 1
0.04/0.08 c
0.04/0.08 c # maximal number of separation rounds per node (-1: unlimited)
0.04/0.08 c # [type: int, range: [-1,2147483647], default: 5]
0.04/0.08 c separating/maxrounds = 1
0.04/0.08 c
0.04/0.08 c # maximal number of separation rounds in the root node (-1: unlimited)
0.04/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.04/0.08 c separating/maxroundsroot = 5
0.04/0.08 c
0.04/0.08 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.04/0.08 c # [type: int, range: [1,2], default: 1]
0.04/0.08 c timing/clocktype = 2
0.04/0.08 c
0.04/0.08 c # belongs reading time to solving time?
0.04/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.08 c timing/reading = TRUE
0.04/0.08 c
0.04/0.08 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.04/0.08 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.04/0.08 c constraints/knapsack/disaggregation = FALSE
0.04/0.08 c
0.04/0.08 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.04/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.04/0.08 c heuristics/coefdiving/freq = -1
0.04/0.08 c
0.04/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.04/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.04/0.08 c heuristics/coefdiving/maxlpiterquot = 0.075
0.04/0.08 c
0.04/0.08 c # additional number of allowed LP iterations
0.04/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.08 c heuristics/coefdiving/maxlpiterofs = 1500
0.04/0.08 c
0.04/0.08 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.04/0.08 c # [type: int, range: [-1,2147483647], default: 30]
0.04/0.08 c heuristics/crossover/freq = -1
0.04/0.08 c
0.04/0.08 c # number of nodes added to the contingent of the total nodes
0.04/0.08 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.04/0.08 c heuristics/crossover/nodesofs = 750
0.04/0.08 c
0.04/0.08 c # number of nodes without incumbent change that heuristic should wait
0.04/0.08 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.04/0.08 c heuristics/crossover/nwaitingnodes = 100
0.04/0.08 c
0.04/0.08 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.04/0.08 c # [type: real, range: [0,1], default: 0.1]
0.04/0.08 c heuristics/crossover/nodesquot = 0.15
0.04/0.08 c
0.04/0.08 c # minimum percentage of integer variables that have to be fixed
0.04/0.08 c # [type: real, range: [0,1], default: 0.666]
0.04/0.08 c heuristics/crossover/minfixingrate = 0.5
0.04/0.08 c
0.04/0.08 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.04/0.08 c # [type: int, range: [-1,2147483647], default: 20]
0.04/0.08 c heuristics/feaspump/freq = -1
0.04/0.08 c
0.04/0.08 c # additional number of allowed LP iterations
0.04/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.08 c heuristics/feaspump/maxlpiterofs = 2000
0.04/0.08 c
0.04/0.08 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.04/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.04/0.08 c heuristics/fracdiving/freq = -1
0.04/0.08 c
0.04/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.04/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.04/0.08 c heuristics/fracdiving/maxlpiterquot = 0.075
0.04/0.08 c
0.04/0.08 c # additional number of allowed LP iterations
0.04/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.08 c heuristics/fracdiving/maxlpiterofs = 1500
0.04/0.08 c
0.04/0.08 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.04/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.04/0.08 c heuristics/guideddiving/freq = -1
0.04/0.08 c
0.04/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.04/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.04/0.08 c heuristics/guideddiving/maxlpiterquot = 0.075
0.04/0.08 c
0.04/0.08 c # additional number of allowed LP iterations
0.04/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.08 c heuristics/guideddiving/maxlpiterofs = 1500
0.04/0.08 c
0.04/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.04/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.04/0.08 c heuristics/intdiving/maxlpiterquot = 0.075
0.04/0.08 c
0.04/0.08 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.04/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.04/0.08 c heuristics/intshifting/freq = -1
0.04/0.08 c
0.04/0.08 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.04/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.04/0.08 c heuristics/linesearchdiving/freq = -1
0.04/0.08 c
0.04/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.04/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.04/0.08 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.04/0.08 c
0.04/0.08 c # additional number of allowed LP iterations
0.04/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.08 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.04/0.08 c
0.04/0.08 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.04/0.08 c # [type: int, range: [-1,2147483647], default: 20]
0.04/0.08 c heuristics/objpscostdiving/freq = -1
0.04/0.08 c
0.04/0.08 c # maximal fraction of diving LP iterations compared to total iteration number
0.04/0.08 c # [type: real, range: [0,1], default: 0.01]
0.04/0.08 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.04/0.08 c
0.04/0.08 c # additional number of allowed LP iterations
0.04/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.08 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.04/0.08 c
0.04/0.08 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.04/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.04/0.08 c heuristics/oneopt/freq = -1
0.04/0.08 c
0.04/0.08 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.04/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.04/0.08 c heuristics/pscostdiving/freq = -1
0.04/0.08 c
0.04/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.04/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.04/0.08 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.04/0.08 c
0.04/0.08 c # additional number of allowed LP iterations
0.04/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.08 c heuristics/pscostdiving/maxlpiterofs = 1500
0.04/0.08 c
0.04/0.08 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.04/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.04/0.08 c heuristics/rens/freq = -1
0.04/0.08 c
0.04/0.08 c # minimum percentage of integer variables that have to be fixable
0.04/0.08 c # [type: real, range: [0,1], default: 0.5]
0.04/0.08 c heuristics/rens/minfixingrate = 0.3
0.04/0.08 c
0.04/0.08 c # number of nodes added to the contingent of the total nodes
0.04/0.08 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.04/0.08 c heuristics/rens/nodesofs = 2000
0.04/0.08 c
0.04/0.08 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.04/0.08 c # [type: int, range: [-1,2147483647], default: 20]
0.04/0.08 c heuristics/rootsoldiving/freq = -1
0.04/0.08 c
0.04/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.04/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.04/0.08 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.04/0.08 c
0.04/0.08 c # additional number of allowed LP iterations
0.04/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.08 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.04/0.08 c
0.04/0.08 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.04/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.04/0.08 c heuristics/rounding/freq = -1
0.04/0.08 c
0.04/0.08 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.04/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.04/0.08 c heuristics/shiftandpropagate/freq = -1
0.04/0.08 c
0.04/0.08 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.04/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.04/0.08 c heuristics/shifting/freq = -1
0.04/0.08 c
0.04/0.08 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.04/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.04/0.08 c heuristics/simplerounding/freq = -1
0.04/0.08 c
0.04/0.08 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.04/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.04/0.08 c heuristics/subnlp/freq = -1
0.04/0.08 c
0.04/0.08 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.04/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.04/0.08 c heuristics/trivial/freq = -1
0.04/0.08 c
0.04/0.08 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.04/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.04/0.08 c heuristics/trysol/freq = -1
0.04/0.08 c
0.04/0.08 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.04/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.04/0.08 c heuristics/undercover/freq = -1
0.04/0.08 c
0.04/0.08 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.04/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.04/0.08 c heuristics/veclendiving/freq = -1
0.04/0.08 c
0.04/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.04/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.04/0.08 c heuristics/veclendiving/maxlpiterquot = 0.075
0.04/0.08 c
0.04/0.08 c # additional number of allowed LP iterations
0.04/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.08 c heuristics/veclendiving/maxlpiterofs = 1500
0.04/0.08 c
0.04/0.08 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.04/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.04/0.08 c heuristics/zirounding/freq = -1
0.04/0.08 c
0.04/0.08 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
0.04/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.04/0.08 c propagating/probing/maxprerounds = 0
0.04/0.08 c
0.04/0.08 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.04/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.04/0.08 c separating/cmir/freq = -1
0.04/0.08 c
0.04/0.08 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.04/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.04/0.08 c separating/flowcover/freq = -1
0.04/0.08 c
0.04/0.08 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.04/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.04/0.08 c separating/rapidlearning/freq = 0
0.04/0.08 c
0.04/0.08 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
0.04/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.04/0.08 c heuristics/indoneopt/freq = -1
0.04/0.08 c
0.04/0.08 c -----------------------------------------------------------------------------------------------
0.04/0.08 c start solving
0.04/0.08 c
0.09/0.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.10 c 0.1s| 1 | 0 | 76 | - |3909k| 0 | 36 | 231 |2443 | 231 |2443 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.27 c 0.3s| 1 | 0 | 90 | - |4364k| 0 | 39 | 231 |2737 | 231 |2450 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.31 c 0.3s| 1 | 0 | 105 | - |4686k| 0 | 45 | 231 |2737 | 231 |2454 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.35 c 0.3s| 1 | 0 | 120 | - |5129k| 0 | 46 | 231 |2737 | 231 |2455 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.39 c 0.4s| 1 | 0 | 139 | - |5573k| 0 | 47 | 231 |2737 | 231 |2457 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.48/0.56 c 0.6s| 1 | 0 | 146 | - |5914k| 0 | 51 | 231 |2737 | 231 |2460 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.75 c 0.8s| 1 | 2 | 146 | - |5914k| 0 | 51 | 231 |2737 | 231 |2460 | 17 | 0 | 10 | 0.000000e+00 | -- | Inf
9.98/10.07 c 10.1s| 100 | 13 | 5008 | 49.1 |6061k| 18 | 33 | 231 |2768 | 231 |2453 | 17 | 32 |1506 | 0.000000e+00 | -- | Inf
10.79/10.84 c 10.8s| 200 | 18 | 7103 | 35.0 |6103k| 22 | 31 | 231 |2826 | 231 |2453 | 17 | 90 |1615 | 0.000000e+00 | -- | Inf
11.29/11.32 c 11.3s| 300 | 21 | 8778 | 28.9 |6144k| 28 | 25 | 231 |2899 | 231 |2453 | 17 | 163 |1672 | 0.000000e+00 | -- | Inf
11.59/11.61 c 11.6s| 400 | 22 | 10173 | 25.1 |6173k| 28 | - | 231 |2957 | 231 |2453 | 17 | 221 |1693 | 0.000000e+00 | -- | Inf
11.89/11.95 c 11.9s| 500 | 24 | 11674 | 23.1 |6217k| 28 | - | 231 |3034 | 0 | 0 | 17 | 298 |1724 | 0.000000e+00 | -- | Inf
12.29/12.35 c 12.3s| 600 | 22 | 13645 | 22.5 |6240k| 29 | - | 231 |3102 | 231 |2453 | 17 | 371 |1754 | 0.000000e+00 | -- | Inf
12.59/12.64 c 12.6s| 700 | 25 | 15294 | 21.7 |6264k| 31 | 35 | 231 |3162 | 231 |2453 | 17 | 432 |1768 | 0.000000e+00 | -- | Inf
12.89/12.98 c 13.0s| 800 | 23 | 17463 | 21.7 |6282k| 31 | 29 | 231 |3232 | 231 |2453 | 17 | 502 |1781 | 0.000000e+00 | -- | Inf
13.19/13.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.19/13.27 c 13.3s| 900 | 23 | 19470 | 21.5 |6309k| 31 | 33 | 231 |3303 | 231 |2453 | 17 | 574 |1785 | 0.000000e+00 | -- | Inf
13.48/13.55 c 13.6s| 1000 | 23 | 21411 | 21.3 |6329k| 31 | 36 | 231 |3362 | 231 |2453 | 17 | 639 |1791 | 0.000000e+00 | -- | Inf
13.79/13.84 c 13.8s| 1100 | 21 | 23361 | 21.1 |6366k| 31 | - | 231 |3455 | 231 |2453 | 17 | 735 |1795 | 0.000000e+00 | -- | Inf
13.99/14.09 c 14.1s| 1200 | 19 | 25023 | 20.7 |6395k| 31 | - | 231 |3541 | 231 |2453 | 17 | 822 |1799 | 0.000000e+00 | -- | Inf
14.29/14.39 c 14.4s| 1300 | 23 | 27146 | 20.8 |6434k| 31 | 32 | 231 |3612 | 231 |2453 | 17 | 895 |1803 | 0.000000e+00 | -- | Inf
14.58/14.67 c 14.7s| 1400 | 26 | 29176 | 20.8 |6466k| 31 | - | 231 |3677 | 231 |2453 | 17 | 966 |1803 | 0.000000e+00 | -- | Inf
14.89/14.98 c 15.0s| 1500 | 26 | 31584 | 21.0 |6495k| 31 | 35 | 231 |3764 | 231 |2453 | 17 |1056 |1803 | 0.000000e+00 | -- | Inf
15.18/15.26 c 15.3s| 1600 | 22 | 33498 | 20.9 |6514k| 31 | 34 | 231 |3838 | 231 |2453 | 17 |1135 |1804 | 0.000000e+00 | -- | Inf
15.48/15.57 c 15.6s| 1700 | 22 | 35558 | 20.8 |6540k| 33 | - | 231 |3895 | 231 |2453 | 17 |1197 |1813 | 0.000000e+00 | -- | Inf
15.88/15.93 c 15.9s| 1800 | 26 | 37532 | 20.8 |6580k| 33 | - | 231 |3969 | 231 |2453 | 17 |1276 |1831 | 0.000000e+00 | -- | Inf
16.29/16.33 c 16.3s| 1900 | 28 | 39609 | 20.8 |6608k| 33 | 25 | 231 |4036 | 231 |2453 | 17 |1348 |1854 | 0.000000e+00 | -- | Inf
16.59/16.70 c 16.7s| 2000 | 26 | 41810 | 20.8 |6627k| 33 | 42 | 231 |4104 | 231 |2453 | 17 |1422 |1867 | 0.000000e+00 | -- | Inf
16.98/17.04 c 17.0s| 2100 | 28 | 43705 | 20.8 |6670k| 33 | - | 231 |4184 | 231 |2453 | 17 |1515 |1882 | 0.000000e+00 | -- | Inf
17.39/17.44 c 17.4s| 2200 | 30 | 45970 | 20.8 |6699k| 33 | 42 | 231 |4252 | 231 |2453 | 17 |1591 |1903 | 0.000000e+00 | -- | Inf
17.79/17.81 c 17.8s| 2300 | 34 | 48386 | 21.0 |6729k| 33 | - | 231 |4285 | 231 |2453 | 17 |1665 |1913 | 0.000000e+00 | -- | Inf
18.08/18.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.08/18.12 c 18.1s| 2400 | 37 | 50481 | 21.0 |6763k| 33 | 22 | 231 |4357 | 231 |2453 | 17 |1746 |1919 | 0.000000e+00 | -- | Inf
18.39/18.44 c 18.4s| 2500 | 36 | 52486 | 20.9 |6785k| 33 | 41 | 231 |4431 | 231 |2453 | 17 |1824 |1930 | 0.000000e+00 | -- | Inf
18.69/18.75 c 18.8s| 2600 | 34 | 54539 | 20.9 |6823k| 33 | - | 231 |4495 | 231 |2453 | 17 |1898 |1937 | 0.000000e+00 | -- | Inf
18.98/19.03 c 19.0s| 2700 | 38 | 56382 | 20.8 |6852k| 33 | - | 231 |4536 | 0 | 0 | 17 |1963 |1942 | 0.000000e+00 | -- | Inf
19.18/19.30 c 19.3s| 2800 | 32 | 58219 | 20.7 |6857k| 33 | - | 231 |4579 | 231 |2453 | 17 |2022 |1943 | 0.000000e+00 | -- | Inf
19.49/19.55 c 19.6s| 2900 | 33 | 59982 | 20.6 |6879k| 33 | 29 | 231 |4632 | 231 |2453 | 17 |2099 |1944 | 0.000000e+00 | -- | Inf
19.79/19.84 c 19.8s| 3000 | 36 | 62047 | 20.6 |6909k| 33 | 22 | 231 |4694 | 231 |2453 | 17 |2176 |1946 | 0.000000e+00 | -- | Inf
20.09/20.10 c 20.1s| 3100 | 31 | 63969 | 20.6 |6925k| 33 | - | 231 |4757 | 231 |2453 | 17 |2249 |1946 | 0.000000e+00 | -- | Inf
20.28/20.37 c 20.4s| 3200 | 31 | 65905 | 20.6 |6943k| 33 | - | 231 |4810 | 231 |2453 | 17 |2309 |1946 | 0.000000e+00 | -- | Inf
20.58/20.66 c 20.7s| 3300 | 35 | 67879 | 20.5 |6975k| 33 | - | 231 |4856 | 231 |2453 | 17 |2371 |1948 | 0.000000e+00 | -- | Inf
20.89/20.90 c 20.9s| 3400 | 34 | 69625 | 20.4 |6998k| 33 | - | 231 |4923 | 231 |2453 | 17 |2461 |1948 | 0.000000e+00 | -- | Inf
21.08/21.18 c 21.2s| 3500 | 36 | 71602 | 20.4 |7029k| 33 | 27 | 231 |4990 | 231 |2453 | 17 |2550 |1948 | 0.000000e+00 | -- | Inf
21.39/21.44 c 21.4s| 3600 | 34 | 73393 | 20.4 |7050k| 33 | - | 231 |5054 | 231 |2453 | 17 |2635 |1948 | 0.000000e+00 | -- | Inf
21.69/21.70 c 21.7s| 3700 | 36 | 75129 | 20.3 |7072k| 33 | 36 | 231 |5106 | 231 |2453 | 17 |2701 |1948 | 0.000000e+00 | -- | Inf
22.09/22.11 c 22.1s| 3800 | 36 | 77395 | 20.3 |7084k| 33 | 26 | 231 |5135 | 231 |2453 | 17 |2768 |1968 | 0.000000e+00 | -- | Inf
22.38/22.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
22.38/22.43 c 22.4s| 3900 | 32 | 79309 | 20.3 |7093k| 33 | - | 231 |5191 | 231 |2453 | 17 |2842 |1979 | 0.000000e+00 | -- | Inf
22.78/22.82 c 22.8s| 4000 | 28 | 81315 | 20.3 |7077k| 33 | 31 | 231 |5219 | 231 |2453 | 17 |2914 |2002 | 0.000000e+00 | -- | Inf
23.08/23.13 c 23.1s| 4100 | 26 | 83219 | 20.3 |7097k| 33 | - | 231 |5265 | 231 |2453 | 17 |2982 |2012 | 0.000000e+00 | -- | Inf
23.48/23.50 c 23.5s| 4200 | 28 | 85327 | 20.3 |7120k| 33 | - | 231 |5316 | 231 |2453 | 17 |3058 |2028 | 0.000000e+00 | -- | Inf
23.78/23.82 c 23.8s| 4300 | 30 | 87112 | 20.2 |7137k| 33 | 36 | 231 |5349 | 231 |2453 | 17 |3134 |2042 | 0.000000e+00 | -- | Inf
24.09/24.17 c 24.2s| 4400 | 29 | 88921 | 20.2 |7149k| 33 | 34 | 231 |5375 | 231 |2453 | 17 |3197 |2059 | 0.000000e+00 | -- | Inf
24.38/24.47 c 24.5s| 4500 | 29 | 90561 | 20.1 |7154k| 33 | 25 | 231 |5360 | 231 |2453 | 17 |3249 |2077 | 0.000000e+00 | -- | Inf
24.68/24.77 c 24.8s| 4600 | 29 | 92216 | 20.0 |7161k| 33 | - | 231 |5344 | 231 |2453 | 17 |3306 |2096 | 0.000000e+00 | -- | Inf
25.08/25.13 c 25.1s| 4700 | 27 | 94165 | 20.0 |7145k| 33 | 31 | 231 |5352 | 231 |2453 | 17 |3368 |2119 | 0.000000e+00 | -- | Inf
25.38/25.46 c 25.5s| 4800 | 25 | 96049 | 20.0 |7166k| 33 | - | 231 |5396 | 231 |2453 | 17 |3451 |2135 | 0.000000e+00 | -- | Inf
25.68/25.77 c 25.8s| 4900 | 27 | 98086 | 20.0 |7170k| 33 | - | 231 |5394 | 231 |2453 | 17 |3527 |2147 | 0.000000e+00 | -- | Inf
25.98/26.04 c 26.0s| 5000 | 28 | 99969 | 20.0 |7180k| 33 | 34 | 231 |5432 | 231 |2453 | 17 |3608 |2151 | 0.000000e+00 | -- | Inf
26.18/26.30 c 26.3s| 5100 | 36 |101773 | 19.9 |7206k| 33 | - | 231 |5406 | 231 |2453 | 17 |3658 |2155 | 0.000000e+00 | -- | Inf
26.48/26.58 c 26.6s| 5200 | 41 |103899 | 20.0 |7230k| 33 | - | 231 |5412 | 231 |2453 | 17 |3729 |2157 | 0.000000e+00 | -- | Inf
26.78/26.85 c 26.8s| 5300 | 42 |106031 | 20.0 |7241k| 33 | - | 231 |5433 | 231 |2453 | 17 |3786 |2158 | 0.000000e+00 | -- | Inf
26.98/27.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.98/27.04 c 27.0s| 5400 | 48 |107308 | 19.8 |7270k| 33 | 16 | 231 |5489 | 231 |2453 | 17 |3860 |2160 | 0.000000e+00 | -- | Inf
27.18/27.23 c 27.2s| 5500 | 45 |108630 | 19.7 |7283k| 33 | - | 231 |5528 | 231 |2453 | 17 |3920 |2161 | 0.000000e+00 | -- | Inf
27.38/27.48 c 27.5s| 5600 | 47 |110414 | 19.7 |7303k| 33 | - | 231 |5557 | 231 |2453 | 17 |3976 |2162 | 0.000000e+00 | -- | Inf
27.68/27.73 c 27.7s| 5700 | 48 |112344 | 19.7 |7319k| 33 | 32 | 231 |5599 | 231 |2453 | 17 |4033 |2162 | 0.000000e+00 | -- | Inf
27.87/27.96 c 28.0s| 5800 | 48 |114100 | 19.7 |7335k| 33 | 37 | 231 |5647 | 231 |2453 | 17 |4086 |2162 | 0.000000e+00 | -- | Inf
28.17/28.20 c 28.2s| 5900 | 52 |115914 | 19.6 |7363k| 33 | - | 231 |5690 | 231 |2453 | 17 |4137 |2162 | 0.000000e+00 | -- | Inf
28.38/28.42 c 28.4s| 6000 | 52 |117587 | 19.6 |7385k| 33 | - | 231 |5749 | 231 |2453 | 17 |4197 |2162 | 0.000000e+00 | -- | Inf
28.59/28.66 c 28.7s| 6100 | 56 |119487 | 19.6 |7416k| 35 | - | 231 |5796 | 231 |2453 | 17 |4251 |2162 | 0.000000e+00 | -- | Inf
28.88/28.91 c 28.9s| 6200 | 54 |121362 | 19.6 |7429k| 36 | 36 | 231 |5849 | 231 |2453 | 17 |4306 |2162 | 0.000000e+00 | -- | Inf
29.08/29.16 c 29.2s| 6300 | 51 |123284 | 19.5 |7447k| 36 | - | 231 |5913 | 231 |2453 | 17 |4376 |2162 | 0.000000e+00 | -- | Inf
29.28/29.39 c 29.4s| 6400 | 57 |124968 | 19.5 |7484k| 36 | - | 231 |5963 | 231 |2453 | 17 |4433 |2162 | 0.000000e+00 | -- | Inf
29.58/29.66 c 29.7s| 6500 | 56 |126633 | 19.5 |7500k| 36 | - | 231 |6023 | 231 |2453 | 17 |4497 |2171 | 0.000000e+00 | -- | Inf
29.88/29.93 c 29.9s| 6600 | 55 |128241 | 19.4 |7514k| 36 | 35 | 231 |6084 | 231 |2453 | 17 |4561 |2179 | 0.000000e+00 | -- | Inf
30.28/30.30 c 30.3s| 6700 | 53 |130350 | 19.4 |7537k| 36 | - | 231 |6133 | 231 |2453 | 17 |4622 |2204 | 0.000000e+00 | -- | Inf
30.48/30.56 c 30.6s| 6800 | 57 |131932 | 19.4 |7562k| 36 | - | 231 |6164 | 231 |2453 | 17 |4698 |2211 | 0.000000e+00 | -- | Inf
30.78/30.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.78/30.88 c 30.9s| 6900 | 61 |133923 | 19.4 |7589k| 36 | - | 231 |6188 | 231 |2453 | 17 |4760 |2225 | 0.000000e+00 | -- | Inf
31.08/31.18 c 31.2s| 7000 | 63 |135765 | 19.4 |7619k| 36 | - | 231 |6245 | 231 |2453 | 17 |4835 |2239 | 0.000000e+00 | -- | Inf
31.48/31.52 c 31.5s| 7100 | 63 |137770 | 19.4 |7642k| 36 | - | 231 |6307 | 231 |2453 | 17 |4911 |2255 | 0.000000e+00 | -- | Inf
31.78/31.89 c 31.9s| 7200 | 63 |140062 | 19.4 |7662k| 36 | 29 | 231 |6371 | 231 |2453 | 17 |4993 |2273 | 0.000000e+00 | -- | Inf
32.18/32.20 c 32.2s| 7300 | 65 |141921 | 19.4 |7693k| 36 | 21 | 231 |6431 | 231 |2453 | 17 |5076 |2289 | 0.000000e+00 | -- | Inf
32.47/32.50 c 32.5s| 7400 | 66 |143684 | 19.4 |7717k| 36 | - | 231 |6483 | 231 |2453 | 17 |5138 |2309 | 0.000000e+00 | -- | Inf
32.67/32.79 c 32.8s| 7500 | 64 |145711 | 19.4 |7732k| 36 | 32 | 231 |6535 | 231 |2453 | 17 |5207 |2317 | 0.000000e+00 | -- | Inf
32.99/33.05 c 33.0s| 7600 | 64 |147234 | 19.4 |7755k| 36 | 38 | 231 |6612 | 231 |2453 | 17 |5294 |2327 | 0.000000e+00 | -- | Inf
33.27/33.36 c 33.4s| 7700 | 62 |148789 | 19.3 |7785k| 36 | 30 | 231 |6665 | 231 |2453 | 17 |5356 |2350 | 0.000000e+00 | -- | Inf
33.58/33.64 c 33.6s| 7800 | 62 |150663 | 19.3 |7809k| 36 | - | 231 |6720 | 231 |2453 | 17 |5424 |2357 | 0.000000e+00 | -- | Inf
33.87/33.92 c 33.9s| 7900 | 62 |152705 | 19.3 |7834k| 36 | 37 | 231 |6787 | 231 |2453 | 17 |5503 |2362 | 0.000000e+00 | -- | Inf
34.09/34.15 c 34.2s| 8000 | 59 |154425 | 19.3 |7857k| 36 | - | 231 |6847 | 0 | 0 | 17 |5578 |2362 | 0.000000e+00 | -- | Inf
34.37/34.44 c 34.4s| 8100 | 60 |156363 | 19.3 |7875k| 36 | - | 231 |6893 | 231 |2453 | 17 |5633 |2371 | 0.000000e+00 | -- | Inf
34.68/34.73 c 34.7s| 8200 | 60 |158397 | 19.3 |7894k| 37 | 35 | 231 |6938 | 231 |2453 | 17 |5690 |2377 | 0.000000e+00 | -- | Inf
34.98/35.00 c 35.0s| 8300 | 58 |160034 | 19.3 |7908k| 37 | 22 | 231 |6970 | 231 |2453 | 17 |5746 |2387 | 0.000000e+00 | -- | Inf
35.18/35.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.18/35.25 c 35.2s| 8400 | 57 |161801 | 19.2 |7931k| 37 | - | 231 |7009 | 231 |2453 | 17 |5806 |2388 | 0.000000e+00 | -- | Inf
35.48/35.50 c 35.5s| 8500 | 54 |163606 | 19.2 |7943k| 37 | - | 231 |7059 | 231 |2453 | 17 |5865 |2391 | 0.000000e+00 | -- | Inf
35.67/35.76 c 35.8s| 8600 | 60 |165521 | 19.2 |7957k| 37 | 25 | 231 |7069 | 231 |2453 | 17 |5911 |2393 | 0.000000e+00 | -- | Inf
35.88/35.98 c 36.0s| 8700 | 62 |167235 | 19.2 |7975k| 37 | - | 231 |7092 | 231 |2453 | 17 |5959 |2393 | 0.000000e+00 | -- | Inf
36.18/36.23 c 36.2s| 8800 | 63 |169128 | 19.2 |7994k| 37 | - | 231 |7125 | 231 |2453 | 17 |6017 |2393 | 0.000000e+00 | -- | Inf
36.37/36.46 c 36.5s| 8900 | 60 |170929 | 19.2 |8000k| 37 | - | 231 |7161 | 231 |2453 | 17 |6077 |2393 | 0.000000e+00 | -- | Inf
36.67/36.71 c 36.7s| 9000 | 61 |172770 | 19.2 |8012k| 37 | 36 | 231 |7206 | 231 |2453 | 17 |6138 |2393 | 0.000000e+00 | -- | Inf
36.87/36.97 c 37.0s| 9100 | 60 |174762 | 19.2 |8037k| 37 | - | 231 |7269 | 231 |2453 | 17 |6211 |2393 | 0.000000e+00 | -- | Inf
37.18/37.25 c 37.2s| 9200 | 66 |176940 | 19.2 |8069k| 37 | 29 | 231 |7303 | 231 |2453 | 17 |6266 |2393 | 0.000000e+00 | -- | Inf
37.38/37.48 c 37.5s| 9300 | 73 |178700 | 19.2 |8113k| 37 | 16 | 231 |7356 | 231 |2453 | 17 |6329 |2393 | 0.000000e+00 | -- | Inf
37.68/37.74 c 37.7s| 9400 | 68 |180784 | 19.2 |8120k| 37 | - | 231 |7397 | 231 |2453 | 17 |6387 |2393 | 0.000000e+00 | -- | Inf
37.98/38.03 c 38.0s| 9500 | 67 |182661 | 19.2 |8145k| 37 | - | 231 |7439 | 0 | 0 | 17 |6444 |2405 | 0.000000e+00 | -- | Inf
38.27/38.30 c 38.3s| 9600 | 62 |184252 | 19.2 |8143k| 40 | - | 231 |7489 | 231 |2453 | 17 |6508 |2417 | 0.000000e+00 | -- | Inf
38.57/38.63 c 38.6s| 9700 | 60 |186211 | 19.2 |8154k| 40 | - | 231 |7532 | 231 |2453 | 17 |6565 |2434 | 0.000000e+00 | -- | Inf
38.87/38.97 c 39.0s| 9800 | 64 |188167 | 19.2 |8184k| 40 | 38 | 231 |7554 | 231 |2453 | 17 |6615 |2453 | 0.000000e+00 | -- | Inf
39.17/39.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.17/39.27 c 39.3s| 9900 | 64 |190135 | 19.2 |8197k| 40 | 39 | 231 |7584 | 231 |2453 | 17 |6699 |2463 | 0.000000e+00 | -- | Inf
39.48/39.54 c 39.5s| 10000 | 62 |191783 | 19.2 |8210k| 40 | 42 | 231 |7609 | 231 |2453 | 17 |6779 |2471 | 0.000000e+00 | -- | Inf
39.87/39.92 c 39.9s| 10100 | 60 |194039 | 19.2 |8217k| 40 | - | 231 |7628 | 231 |2453 | 17 |6846 |2491 | 0.000000e+00 | -- | Inf
40.07/40.19 c 40.2s| 10200 | 66 |195759 | 19.2 |8240k| 40 | - | 231 |7629 | 231 |2453 | 17 |6911 |2501 | 0.000000e+00 | -- | Inf
40.37/40.47 c 40.5s| 10300 | 66 |197312 | 19.1 |8259k| 40 | 36 | 231 |7686 | 231 |2453 | 17 |6992 |2518 | 0.000000e+00 | -- | Inf
40.68/40.78 c 40.8s| 10400 | 65 |199348 | 19.2 |8276k| 40 | - | 231 |7716 | 231 |2453 | 17 |7047 |2531 | 0.000000e+00 | -- | Inf
41.07/41.15 c 41.2s| 10500 | 70 |201748 | 19.2 |8269k| 40 | 29 | 231 |7654 | 231 |2453 | 17 |7100 |2548 | 0.000000e+00 | -- | Inf
41.37/41.46 c 41.5s| 10600 | 66 |203635 | 19.2 |8265k| 40 | - | 231 |7663 | 231 |2453 | 17 |7152 |2564 | 0.000000e+00 | -- | Inf
41.68/41.77 c 41.8s| 10700 | 66 |205509 | 19.2 |8268k| 40 | - | 231 |7677 | 231 |2453 | 17 |7211 |2578 | 0.000000e+00 | -- | Inf
41.97/42.09 c 42.1s| 10800 | 66 |207413 | 19.2 |8259k| 40 | 34 | 231 |7671 | 231 |2453 | 17 |7279 |2595 | 0.000000e+00 | -- | Inf
42.37/42.42 c 42.4s| 10900 | 66 |209613 | 19.2 |8254k| 40 | 31 | 231 |7644 | 231 |2453 | 17 |7341 |2608 | 0.000000e+00 | -- | Inf
42.67/42.70 c 42.7s| 11000 | 67 |211444 | 19.2 |8261k| 40 | 38 | 231 |7649 | 231 |2453 | 17 |7413 |2618 | 0.000000e+00 | -- | Inf
42.97/43.02 c 43.0s| 11100 | 69 |213738 | 19.2 |8266k| 40 | 27 | 231 |7631 | 231 |2453 | 17 |7481 |2625 | 0.000000e+00 | -- | Inf
43.16/43.23 c 43.2s| 11200 | 69 |215358 | 19.2 |8279k| 40 | - | 231 |7655 | 231 |2453 | 17 |7553 |2625 | 0.000000e+00 | -- | Inf
43.37/43.43 c 43.4s| 11300 | 68 |216886 | 19.2 |8301k| 40 | - | 231 |7718 | 0 | 0 | 17 |7628 |2625 | 0.000000e+00 | -- | Inf
43.56/43.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.56/43.66 c 43.7s| 11400 | 68 |218448 | 19.2 |8319k| 40 | - | 231 |7766 | 231 |2453 | 17 |7692 |2628 | 0.000000e+00 | -- | Inf
43.77/43.88 c 43.9s| 11500 | 69 |219944 | 19.1 |8346k| 40 | 32 | 231 |7832 | 231 |2453 | 17 |7769 |2630 | 0.000000e+00 | -- | Inf
44.07/44.14 c 44.1s| 11600 | 73 |221932 | 19.1 |8376k| 40 | 29 | 231 |7876 | 231 |2453 | 17 |7837 |2634 | 0.000000e+00 | -- | Inf
44.27/44.36 c 44.4s| 11700 | 74 |223499 | 19.1 |8401k| 40 | - | 231 |7921 | 231 |2453 | 17 |7893 |2637 | 0.000000e+00 | -- | Inf
44.47/44.57 c 44.6s| 11800 | 76 |224898 | 19.0 |8423k| 40 | - | 231 |7968 | 231 |2453 | 17 |7957 |2638 | 0.000000e+00 | -- | Inf
44.77/44.81 c 44.8s| 11900 | 79 |226604 | 19.0 |8455k| 40 | - | 231 |8019 | 231 |2453 | 17 |8023 |2640 | 0.000000e+00 | -- | Inf
44.97/45.06 c 45.1s| 12000 | 80 |228467 | 19.0 |8476k| 40 | - | 231 |8066 | 231 |2453 | 17 |8080 |2641 | 0.000000e+00 | -- | Inf
45.27/45.30 c 45.3s| 12100 | 82 |230237 | 19.0 |8506k| 40 | - | 231 |8117 | 231 |2453 | 17 |8151 |2642 | 0.000000e+00 | -- | Inf
45.47/45.54 c 45.5s| 12200 | 86 |232009 | 19.0 |8529k| 40 | 37 | 231 |8159 | 231 |2453 | 17 |8207 |2643 | 0.000000e+00 | -- | Inf
45.67/45.75 c 45.8s| 12300 | 84 |233471 | 19.0 |8541k| 40 | 34 | 231 |8209 | 231 |2453 | 17 |8264 |2643 | 0.000000e+00 | -- | Inf
45.87/45.98 c 46.0s| 12400 | 81 |235104 | 18.9 |8563k| 40 | - | 231 |8275 | 231 |2453 | 17 |8332 |2643 | 0.000000e+00 | -- | Inf
46.18/46.21 c 46.2s| 12500 | 82 |236837 | 18.9 |8584k| 40 | - | 231 |8328 | 231 |2453 | 17 |8389 |2644 | 0.000000e+00 | -- | Inf
46.37/46.47 c 46.5s| 12600 | 84 |238729 | 18.9 |8573k| 40 | - | 231 |8242 | 231 |2453 | 17 |8447 |2645 | 0.000000e+00 | -- | Inf
46.67/46.70 c 46.7s| 12700 | 90 |240466 | 18.9 |8589k| 40 | 25 | 231 |8242 | 231 |2453 | 17 |8507 |2645 | 0.000000e+00 | -- | Inf
46.87/46.94 c 46.9s| 12800 | 86 |242272 | 18.9 |8579k| 40 | 25 | 231 |8237 | 231 |2453 | 17 |8574 |2645 | 0.000000e+00 | -- | Inf
47.06/47.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.06/47.18 c 47.2s| 12900 | 86 |244053 | 18.9 |8582k| 40 | - | 231 |8231 | 231 |2453 | 17 |8641 |2645 | 0.000000e+00 | -- | Inf
47.37/47.41 c 47.4s| 13000 | 83 |245765 | 18.9 |8590k| 40 | - | 231 |8271 | 231 |2453 | 17 |8701 |2645 | 0.000000e+00 | -- | Inf
47.57/47.65 c 47.7s| 13100 | 85 |247606 | 18.9 |8600k| 40 | - | 231 |8281 | 231 |2453 | 17 |8753 |2645 | 0.000000e+00 | -- | Inf
47.76/47.88 c 47.9s| 13200 | 83 |249320 | 18.9 |8609k| 40 | - | 231 |8313 | 231 |2453 | 17 |8808 |2645 | 0.000000e+00 | -- | Inf
48.07/48.13 c 48.1s| 13300 | 86 |251148 | 18.9 |8605k| 40 | 28 | 231 |8257 | 231 |2453 | 17 |8875 |2645 | 0.000000e+00 | -- | Inf
48.27/48.37 c 48.4s| 13400 | 84 |252871 | 18.9 |8587k| 40 | - | 231 |8195 | 231 |2453 | 17 |8936 |2645 | 0.000000e+00 | -- | Inf
48.57/48.64 c 48.6s| 13500 | 84 |254917 | 18.9 |8585k| 40 | - | 231 |8145 | 231 |2453 | 17 |9011 |2645 | 0.000000e+00 | -- | Inf
48.77/48.88 c 48.9s| 13600 | 88 |256676 | 18.9 |8586k| 42 | 20 | 231 |8093 | 231 |2453 | 17 |9072 |2645 | 0.000000e+00 | -- | Inf
49.07/49.10 c 49.1s| 13700 | 96 |258364 | 18.8 |8584k| 42 | 23 | 231 |8008 | 231 |2453 | 17 |9119 |2645 | 0.000000e+00 | -- | Inf
49.27/49.34 c 49.3s| 13800 | 94 |260247 | 18.8 |8586k| 42 | - | 231 |8012 | 231 |2453 | 17 |9189 |2645 | 0.000000e+00 | -- | Inf
49.47/49.57 c 49.6s| 13900 | 96 |261962 | 18.8 |8595k| 42 | 33 | 231 |8024 | 231 |2453 | 17 |9252 |2645 | 0.000000e+00 | -- | Inf
49.67/49.79 c 49.8s| 14000 | 93 |263674 | 18.8 |8597k| 42 | - | 231 |8029 | 231 |2453 | 17 |9310 |2645 | 0.000000e+00 | -- | Inf
49.96/50.00 c 50.0s| 14100 | 97 |265282 | 18.8 |8619k| 42 | - | 231 |8068 | 231 |2453 | 17 |9367 |2645 | 0.000000e+00 | -- | Inf
50.17/50.25 c 50.3s| 14200 | 103 |267294 | 18.8 |8648k| 42 | 27 | 231 |8109 | 231 |2453 | 17 |9425 |2645 | 0.000000e+00 | -- | Inf
50.37/50.48 c 50.5s| 14300 | 96 |268934 | 18.8 |8654k| 42 | 34 | 231 |8167 | 231 |2453 | 17 |9490 |2645 | 0.000000e+00 | -- | Inf
50.67/50.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.67/50.75 c 50.7s| 14400 | 102 |271105 | 18.8 |8681k| 42 | 36 | 231 |8186 | 231 |2453 | 17 |9556 |2645 | 0.000000e+00 | -- | Inf
50.97/51.00 c 51.0s| 14500 | 104 |273037 | 18.8 |8704k| 42 | 25 | 231 |8229 | 231 |2453 | 17 |9627 |2645 | 0.000000e+00 | -- | Inf
51.17/51.23 c 51.2s| 14600 | 99 |274871 | 18.8 |8717k| 42 | - | 231 |8280 | 231 |2453 | 17 |9692 |2645 | 0.000000e+00 | -- | Inf
51.37/51.49 c 51.5s| 14700 | 100 |276805 | 18.8 |8735k| 42 | 29 | 231 |8326 | 231 |2453 | 17 |9754 |2645 | 0.000000e+00 | -- | Inf
51.68/51.72 c 51.7s| 14800 | 96 |278578 | 18.8 |8748k| 42 | - | 231 |8385 | 231 |2453 | 17 |9823 |2645 | 0.000000e+00 | -- | Inf
51.87/51.97 c 52.0s| 14900 | 97 |280424 | 18.8 |8775k| 42 | - | 231 |8436 | 231 |2453 | 17 |9896 |2645 | 0.000000e+00 | -- | Inf
52.17/52.24 c 52.2s| 15000 | 99 |282653 | 18.8 |8798k| 42 | 32 | 231 |8483 | 231 |2453 | 17 |9954 |2645 | 0.000000e+00 | -- | Inf
52.47/52.50 c 52.5s| 15100 | 96 |284565 | 18.8 |8794k| 42 | 37 | 231 |8452 | 231 |2453 | 17 | 10k|2645 | 0.000000e+00 | -- | Inf
52.67/52.76 c 52.8s| 15200 | 98 |286476 | 18.8 |8772k| 42 | 41 | 231 |8289 | 231 |2453 | 17 | 10k|2645 | 0.000000e+00 | -- | Inf
52.97/53.00 c 53.0s| 15300 | 98 |288317 | 18.8 |8773k| 43 | 45 | 231 |8276 | 231 |2453 | 17 | 10k|2645 | 0.000000e+00 | -- | Inf
53.17/53.26 c 53.3s| 15400 | 96 |290227 | 18.8 |8732k| 43 | - | 231 |8136 | 231 |2453 | 17 | 10k|2645 | 0.000000e+00 | -- | Inf
53.47/53.53 c 53.5s| 15500 | 96 |292349 | 18.9 |8711k| 43 | - | 231 |8069 | 231 |2453 | 17 | 10k|2645 | 0.000000e+00 | -- | Inf
53.67/53.78 c 53.8s| 15600 | 102 |294201 | 18.9 |8690k| 43 | - | 231 |7932 | 231 |2453 | 17 | 10k|2645 | 0.000000e+00 | -- | Inf
53.96/54.04 c 54.0s| 15700 | 106 |296223 | 18.9 |8674k| 43 | 39 | 231 |7851 | 231 |2453 | 17 | 10k|2645 | 0.000000e+00 | -- | Inf
54.16/54.29 c 54.3s| 15800 | 105 |298128 | 18.9 |8695k| 43 | - | 231 |7879 | 231 |2453 | 17 | 10k|2645 | 0.000000e+00 | -- | Inf
54.47/54.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.47/54.56 c 54.6s| 15900 | 101 |300109 | 18.9 |8687k| 43 | 40 | 231 |7884 | 231 |2453 | 17 | 10k|2645 | 0.000000e+00 | -- | Inf
54.77/54.80 c 54.8s| 16000 | 103 |302051 | 18.9 |8715k| 43 | - | 231 |7937 | 231 |2453 | 17 | 10k|2645 | 0.000000e+00 | -- | Inf
54.97/55.05 c 55.1s| 16100 | 95 |303834 | 18.9 |8696k| 43 | 41 | 231 |7927 | 231 |2453 | 17 | 10k|2645 | 0.000000e+00 | -- | Inf
55.26/55.31 c 55.3s| 16200 | 97 |305775 | 18.9 |8698k| 43 | - | 231 |7848 | 231 |2453 | 17 | 10k|2645 | 0.000000e+00 | -- | Inf
55.47/55.59 c 55.6s| 16300 | 107 |308020 | 18.9 |8702k| 43 | 43 | 231 |7800 | 231 |2453 | 17 | 10k|2645 | 0.000000e+00 | -- | Inf
55.77/55.85 c 55.8s| 16400 | 111 |310066 | 18.9 |8724k| 43 | 36 | 231 |7828 | 231 |2453 | 17 | 10k|2645 | 0.000000e+00 | -- | Inf
56.07/56.13 c 56.1s| 16500 | 113 |312485 | 18.9 |8748k| 43 | - | 231 |7855 | 231 |2453 | 17 | 11k|2645 | 0.000000e+00 | -- | Inf
56.37/56.41 c 56.4s| 16600 | 121 |314660 | 18.9 |8790k| 43 | 28 | 231 |7912 | 231 |2453 | 17 | 11k|2645 | 0.000000e+00 | -- | Inf
56.56/56.67 c 56.7s| 16700 | 117 |316739 | 19.0 |8795k| 43 | 34 | 231 |7939 | 231 |2453 | 17 | 11k|2645 | 0.000000e+00 | -- | Inf
56.87/56.90 c 56.9s| 16800 | 116 |318474 | 18.9 |8815k| 43 | 41 | 231 |8007 | 231 |2453 | 17 | 11k|2645 | 0.000000e+00 | -- | Inf
57.07/57.19 c 57.2s| 16900 | 114 |320820 | 19.0 |8838k| 43 | - | 231 |8058 | 231 |2453 | 17 | 11k|2645 | 0.000000e+00 | -- | Inf
57.37/57.46 c 57.5s| 17000 | 116 |322863 | 19.0 |8844k| 43 | 24 | 231 |8067 | 231 |2453 | 17 | 11k|2645 | 0.000000e+00 | -- | Inf
57.67/57.73 c 57.7s| 17100 | 120 |325034 | 19.0 |8871k| 43 | 42 | 231 |8111 | 231 |2453 | 17 | 11k|2645 | 0.000000e+00 | -- | Inf
57.97/58.00 c 58.0s| 17200 | 120 |327094 | 19.0 |8870k| 43 | 35 | 231 |8115 | 231 |2453 | 17 | 11k|2645 | 0.000000e+00 | -- | Inf
58.18/58.23 c 58.2s| 17300 | 120 |328817 | 19.0 |8892k| 43 | - | 231 |8150 | 231 |2453 | 17 | 11k|2645 | 0.000000e+00 | -- | Inf
58.37/58.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.37/58.49 c 58.5s| 17400 | 120 |330728 | 19.0 |8896k| 43 | 37 | 231 |8175 | 231 |2453 | 17 | 11k|2645 | 0.000000e+00 | -- | Inf
58.67/58.74 c 58.7s| 17500 | 122 |332643 | 19.0 |8877k| 43 | - | 231 |8080 | 231 |2453 | 17 | 11k|2645 | 0.000000e+00 | -- | Inf
58.86/58.96 c 59.0s| 17600 | 121 |334193 | 19.0 |8885k| 43 | - | 231 |8099 | 231 |2453 | 17 | 11k|2645 | 0.000000e+00 | -- | Inf
59.07/59.19 c 59.2s| 17700 | 119 |335836 | 19.0 |8888k| 43 | - | 231 |8138 | 231 |2453 | 17 | 11k|2645 | 0.000000e+00 | -- | Inf
59.27/59.40 c 59.4s| 17800 | 126 |337306 | 18.9 |8913k| 43 | - | 231 |8164 | 231 |2453 | 17 | 11k|2645 | 0.000000e+00 | -- | Inf
59.56/59.65 c 59.6s| 17900 | 121 |339155 | 18.9 |8918k| 43 | - | 231 |8199 | 231 |2453 | 17 | 11k|2645 | 0.000000e+00 | -- | Inf
59.87/59.92 c 59.9s| 18000 | 120 |341210 | 18.9 |8933k| 43 | - | 231 |8240 | 231 |2453 | 17 | 12k|2645 | 0.000000e+00 | -- | Inf
60.07/60.18 c 60.2s| 18100 | 120 |343175 | 19.0 |8905k| 43 | - | 231 |8158 | 231 |2453 | 17 | 12k|2645 | 0.000000e+00 | -- | Inf
60.38/60.41 c 60.4s| 18200 | 122 |344839 | 18.9 |8920k| 43 | 45 | 231 |8179 | 231 |2453 | 17 | 12k|2645 | 0.000000e+00 | -- | Inf
60.57/60.64 c 60.6s| 18300 | 124 |346546 | 18.9 |8933k| 43 | - | 231 |8180 | 231 |2453 | 17 | 12k|2645 | 0.000000e+00 | -- | Inf
60.76/60.85 c 60.9s| 18400 | 120 |348032 | 18.9 |8921k| 43 | - | 231 |8176 | 231 |2453 | 17 | 12k|2645 | 0.000000e+00 | -- | Inf
61.07/61.13 c 61.1s| 18500 | 122 |350121 | 18.9 |8869k| 43 | - | 231 |7980 | 231 |2453 | 17 | 12k|2645 | 0.000000e+00 | -- | Inf
61.26/61.38 c 61.4s| 18600 | 122 |351957 | 18.9 |8839k| 43 | - | 231 |7865 | 231 |2453 | 17 | 12k|2645 | 0.000000e+00 | -- | Inf
61.57/61.65 c 61.7s| 18700 | 125 |353926 | 18.9 |8803k| 43 | 39 | 231 |7742 | 231 |2453 | 17 | 12k|2645 | 0.000000e+00 | -- | Inf
61.87/61.91 c 61.9s| 18800 | 123 |355866 | 18.9 |8782k| 43 | 22 | 231 |7670 | 231 |2453 | 17 | 12k|2645 | 0.000000e+00 | -- | Inf
62.07/62.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.07/62.12 c 62.1s| 18900 | 123 |357414 | 18.9 |8778k| 43 | 26 | 231 |7665 | 231 |2453 | 17 | 12k|2645 | 0.000000e+00 | -- | Inf
62.27/62.37 c 62.4s| 19000 | 124 |359322 | 18.9 |8793k| 43 | 17 | 231 |7700 | 231 |2453 | 17 | 12k|2645 | 0.000000e+00 | -- | Inf
62.58/62.63 c 62.6s| 19100 | 123 |361202 | 18.9 |8760k| 43 | - | 231 |7567 | 231 |2453 | 17 | 12k|2645 | 0.000000e+00 | -- | Inf
62.77/62.88 c 62.9s| 19200 | 125 |363125 | 18.9 |8741k| 43 | - | 231 |7485 | 231 |2453 | 17 | 12k|2645 | 0.000000e+00 | -- | Inf
63.07/63.14 c 63.1s| 19300 | 124 |365027 | 18.9 |8719k| 43 | 37 | 231 |7431 | 231 |2453 | 17 | 12k|2645 | 0.000000e+00 | -- | Inf
63.37/63.40 c 63.4s| 19400 | 122 |367022 | 18.9 |8710k| 43 | - | 231 |7391 | 231 |2453 | 17 | 13k|2645 | 0.000000e+00 | -- | Inf
63.57/63.67 c 63.7s| 19500 | 123 |369112 | 18.9 |8665k| 43 | 32 | 231 |7241 | 231 |2453 | 17 | 13k|2645 | 0.000000e+00 | -- | Inf
63.87/63.95 c 64.0s| 19600 | 119 |371169 | 18.9 |8612k| 43 | - | 231 |7079 | 231 |2453 | 17 | 13k|2645 | 0.000000e+00 | -- | Inf
64.17/64.20 c 64.2s| 19700 | 122 |373067 | 18.9 |8600k| 43 | 32 | 231 |7044 | 231 |2453 | 17 | 13k|2645 | 0.000000e+00 | -- | Inf
64.37/64.47 c 64.5s| 19800 | 127 |375200 | 18.9 |8615k| 43 | 33 | 231 |7053 | 231 |2453 | 17 | 13k|2645 | 0.000000e+00 | -- | Inf
64.67/64.72 c 64.7s| 19900 | 125 |377223 | 18.9 |8628k| 43 | - | 231 |7080 | 231 |2453 | 17 | 13k|2645 | 0.000000e+00 | -- | Inf
64.87/64.98 c 65.0s| 20000 | 125 |379164 | 19.0 |8655k| 43 | - | 231 |7140 | 231 |2453 | 17 | 13k|2645 | 0.000000e+00 | -- | Inf
65.16/65.22 c 65.2s| 20100 | 125 |381011 | 18.9 |8676k| 43 | - | 231 |7192 | 0 | 0 | 17 | 13k|2645 | 0.000000e+00 | -- | Inf
65.37/65.47 c 65.5s| 20200 | 122 |382849 | 18.9 |8657k| 43 | 32 | 231 |7150 | 231 |2453 | 17 | 13k|2645 | 0.000000e+00 | -- | Inf
65.67/65.75 c 65.8s| 20300 | 120 |385063 | 19.0 |8636k| 43 | 36 | 231 |7086 | 231 |2453 | 17 | 13k|2645 | 0.000000e+00 | -- | Inf
65.97/66.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
65.97/66.03 c 66.0s| 20400 | 120 |387123 | 19.0 |8603k| 43 | 29 | 231 |6965 | 231 |2453 | 17 | 13k|2645 | 0.000000e+00 | -- | Inf
66.16/66.27 c 66.3s| 20500 | 118 |389005 | 19.0 |8586k| 43 | - | 231 |6913 | 231 |2453 | 17 | 13k|2645 | 0.000000e+00 | -- | Inf
66.46/66.52 c 66.5s| 20600 | 117 |390878 | 19.0 |8552k| 43 | - | 231 |6826 | 231 |2453 | 17 | 13k|2645 | 0.000000e+00 | -- | Inf
66.67/66.78 c 66.8s| 20700 | 119 |392805 | 19.0 |8529k| 43 | - | 231 |6737 | 231 |2453 | 17 | 13k|2645 | 0.000000e+00 | -- | Inf
66.98/67.03 c 67.0s| 20800 | 121 |394716 | 19.0 |8523k| 43 | 39 | 231 |6730 | 231 |2453 | 17 | 13k|2645 | 0.000000e+00 | -- | Inf
67.17/67.29 c 67.3s| 20900 | 121 |396748 | 19.0 |8533k| 43 | - | 231 |6745 | 231 |2453 | 17 | 14k|2645 | 0.000000e+00 | -- | Inf
67.47/67.57 c 67.6s| 21000 | 119 |398846 | 19.0 |8541k| 43 | - | 231 |6778 | 231 |2453 | 17 | 14k|2645 | 0.000000e+00 | -- | Inf
67.77/67.84 c 67.8s| 21100 | 119 |400902 | 19.0 |8547k| 43 | 38 | 231 |6823 | 231 |2453 | 17 | 14k|2645 | 0.000000e+00 | -- | Inf
68.07/68.11 c 68.1s| 21200 | 123 |403074 | 19.0 |8555k| 43 | 34 | 231 |6811 | 231 |2453 | 17 | 14k|2645 | 0.000000e+00 | -- | Inf
68.27/68.33 c 68.3s| 21300 | 121 |404575 | 19.0 |8558k| 43 | 39 | 231 |6827 | 231 |2453 | 17 | 14k|2645 | 0.000000e+00 | -- | Inf
68.47/68.56 c 68.6s| 21400 | 123 |406382 | 19.0 |8575k| 43 | 23 | 231 |6855 | 231 |2453 | 17 | 14k|2645 | 0.000000e+00 | -- | Inf
68.77/68.80 c 68.8s| 21500 | 123 |408168 | 19.0 |8585k| 43 | 32 | 231 |6878 | 231 |2453 | 17 | 14k|2645 | 0.000000e+00 | -- | Inf
68.97/69.03 c 69.0s| 21600 | 123 |409898 | 19.0 |8579k| 43 | - | 231 |6845 | 231 |2453 | 17 | 14k|2645 | 0.000000e+00 | -- | Inf
69.17/69.24 c 69.2s| 21700 | 121 |411286 | 18.9 |8562k| 43 | 45 | 231 |6830 | 231 |2453 | 17 | 14k|2645 | 0.000000e+00 | -- | Inf
69.37/69.47 c 69.5s| 21800 | 125 |412903 | 18.9 |8563k| 43 | 39 | 231 |6795 | 231 |2453 | 17 | 14k|2645 | 0.000000e+00 | -- | Inf
69.66/69.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.66/69.70 c 69.7s| 21900 | 125 |414503 | 18.9 |8556k| 43 | 42 | 231 |6775 | 231 |2453 | 17 | 14k|2645 | 0.000000e+00 | -- | Inf
69.86/69.92 c 69.9s| 22000 | 126 |416032 | 18.9 |8568k| 43 | 32 | 231 |6808 | 231 |2453 | 17 | 14k|2645 | 0.000000e+00 | -- | Inf
70.07/70.15 c 70.1s| 22100 | 124 |417638 | 18.9 |8575k| 43 | 35 | 231 |6848 | 231 |2453 | 17 | 14k|2645 | 0.000000e+00 | -- | Inf
70.27/70.38 c 70.4s| 22200 | 126 |419315 | 18.9 |8592k| 43 | - | 231 |6863 | 231 |2453 | 17 | 14k|2645 | 0.000000e+00 | -- | Inf
70.56/70.62 c 70.6s| 22300 | 124 |421077 | 18.9 |8592k| 43 | - | 231 |6876 | 231 |2453 | 17 | 14k|2645 | 0.000000e+00 | -- | Inf
70.77/70.87 c 70.9s| 22400 | 126 |422943 | 18.9 |8595k| 43 | 35 | 231 |6882 | 231 |2453 | 17 | 15k|2645 | 0.000000e+00 | -- | Inf
71.06/71.15 c 71.1s| 22500 | 125 |425085 | 18.9 |8601k| 43 | 38 | 231 |6913 | 231 |2453 | 17 | 15k|2645 | 0.000000e+00 | -- | Inf
71.26/71.40 c 71.4s| 22600 | 127 |427053 | 18.9 |8622k| 43 | - | 231 |6948 | 231 |2453 | 17 | 15k|2645 | 0.000000e+00 | -- | Inf
71.57/71.62 c 71.6s| 22700 | 126 |428727 | 18.9 |8632k| 43 | 35 | 231 |6992 | 231 |2453 | 17 | 15k|2645 | 0.000000e+00 | -- | Inf
71.76/71.89 c 71.9s| 22800 | 126 |430822 | 18.9 |8637k| 43 | - | 231 |7004 | 231 |2453 | 17 | 15k|2645 | 0.000000e+00 | -- | Inf
72.06/72.14 c 72.1s| 22900 | 126 |432679 | 18.9 |8652k| 43 | 37 | 231 |7058 | 231 |2453 | 17 | 15k|2645 | 0.000000e+00 | -- | Inf
72.26/72.38 c 72.4s| 23000 | 124 |434433 | 18.9 |8655k| 43 | 44 | 231 |7087 | 231 |2453 | 17 | 15k|2645 | 0.000000e+00 | -- | Inf
72.57/72.61 c 72.6s| 23100 | 124 |436106 | 18.9 |8684k| 43 | - | 231 |7116 | 231 |2453 | 17 | 15k|2645 | 0.000000e+00 | -- | Inf
72.77/72.88 c 72.9s| 23200 | 124 |438175 | 18.9 |8705k| 43 | 41 | 231 |7176 | 231 |2453 | 17 | 15k|2645 | 0.000000e+00 | -- | Inf
73.07/73.14 c 73.1s| 23300 | 123 |440173 | 18.9 |8699k| 43 | - | 231 |7164 | 231 |2453 | 17 | 15k|2645 | 0.000000e+00 | -- | Inf
73.26/73.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
73.26/73.38 c 73.4s| 23400 | 121 |441904 | 18.9 |8697k| 43 | - | 231 |7169 | 231 |2453 | 17 | 15k|2645 | 0.000000e+00 | -- | Inf
73.57/73.64 c 73.6s| 23500 | 123 |443856 | 18.9 |8683k| 43 | 43 | 231 |7109 | 231 |2453 | 17 | 15k|2645 | 0.000000e+00 | -- | Inf
73.86/73.90 c 73.9s| 23600 | 125 |445822 | 18.9 |8696k| 43 | - | 231 |7112 | 231 |2453 | 17 | 15k|2645 | 0.000000e+00 | -- | Inf
74.07/74.19 c 74.2s| 23700 | 127 |448055 | 18.9 |8688k| 43 | 34 | 231 |7044 | 231 |2453 | 17 | 15k|2645 | 0.000000e+00 | -- | Inf
74.46/74.53 c 74.5s| 23800 | 128 |450162 | 18.9 |8690k| 43 | 30 | 231 |7039 | 231 |2453 | 17 | 15k|2661 | 0.000000e+00 | -- | Inf
74.77/74.80 c 74.8s| 23900 | 130 |451898 | 18.9 |8691k| 43 | - | 231 |7013 | 231 |2453 | 17 | 16k|2670 | 0.000000e+00 | -- | Inf
75.07/75.15 c 75.1s| 24000 | 130 |453964 | 18.9 |8702k| 43 | - | 231 |7039 | 231 |2453 | 17 | 16k|2690 | 0.000000e+00 | -- | Inf
75.37/75.47 c 75.5s| 24100 | 135 |456266 | 18.9 |8724k| 43 | 37 | 231 |7071 | 231 |2453 | 17 | 16k|2698 | 0.000000e+00 | -- | Inf
75.77/75.80 c 75.8s| 24200 | 132 |458425 | 18.9 |8737k| 43 | 44 | 231 |7103 | 231 |2453 | 17 | 16k|2709 | 0.000000e+00 | -- | Inf
76.07/76.19 c 76.2s| 24300 | 131 |460812 | 19.0 |8748k| 43 | 39 | 231 |7140 | 231 |2453 | 17 | 16k|2729 | 0.000000e+00 | -- | Inf
76.36/76.47 c 76.5s| 24400 | 133 |462650 | 19.0 |8765k| 43 | - | 231 |7156 | 231 |2453 | 17 | 16k|2737 | 0.000000e+00 | -- | Inf
76.67/76.76 c 76.8s| 24500 | 130 |464452 | 19.0 |8766k| 44 | - | 231 |7153 | 231 |2453 | 17 | 16k|2753 | 0.000000e+00 | -- | Inf
76.97/77.09 c 77.1s| 24600 | 130 |466478 | 19.0 |8768k| 44 | - | 231 |7136 | 231 |2453 | 17 | 16k|2768 | 0.000000e+00 | -- | Inf
77.27/77.37 c 77.4s| 24700 | 130 |468030 | 18.9 |8782k| 44 | - | 231 |7165 | 231 |2453 | 17 | 16k|2782 | 0.000000e+00 | -- | Inf
77.67/77.72 c 77.7s| 24800 | 136 |470299 | 19.0 |8782k| 44 | 42 | 231 |7127 | 231 |2453 | 17 | 16k|2798 | 0.000000e+00 | -- | Inf
77.97/78.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.97/78.06 c 78.1s| 24900 | 140 |472601 | 19.0 |8795k| 44 | - | 231 |7123 | 231 |2453 | 17 | 16k|2811 | 0.000000e+00 | -- | Inf
78.27/78.37 c 78.4s| 25000 | 142 |474810 | 19.0 |8810k| 44 | 22 | 231 |7152 | 231 |2453 | 17 | 16k|2819 | 0.000000e+00 | -- | Inf
78.57/78.65 c 78.7s| 25100 | 150 |477051 | 19.0 |8838k| 44 | 37 | 231 |7176 | 231 |2453 | 17 | 16k|2822 | 0.000000e+00 | -- | Inf
78.86/78.91 c 78.9s| 25200 | 152 |479089 | 19.0 |8851k| 47 | 38 | 231 |7196 | 231 |2453 | 17 | 16k|2824 | 0.000000e+00 | -- | Inf
79.17/79.26 c 79.3s| 25300 | 156 |481620 | 19.0 |8864k| 47 | 36 | 231 |7205 | 231 |2453 | 17 | 16k|2835 | 0.000000e+00 | -- | Inf
79.46/79.53 c 79.5s| 25400 | 156 |483687 | 19.0 |8886k| 47 | - | 231 |7231 | 231 |2453 | 17 | 17k|2838 | 0.000000e+00 | -- | Inf
79.76/79.81 c 79.8s| 25500 | 156 |485912 | 19.1 |8894k| 47 | - | 231 |7243 | 231 |2453 | 17 | 17k|2840 | 0.000000e+00 | -- | Inf
79.96/80.06 c 80.1s| 25600 | 154 |487792 | 19.0 |8890k| 47 | 32 | 231 |7249 | 231 |2453 | 17 | 17k|2841 | 0.000000e+00 | -- | Inf
80.27/80.36 c 80.4s| 25700 | 156 |490226 | 19.1 |8898k| 47 | 36 | 231 |7237 | 231 |2453 | 17 | 17k|2842 | 0.000000e+00 | -- | Inf
80.56/80.63 c 80.6s| 25800 | 155 |492222 | 19.1 |8911k| 47 | - | 231 |7267 | 231 |2453 | 17 | 17k|2843 | 0.000000e+00 | -- | Inf
80.86/80.91 c 80.9s| 25900 | 155 |494512 | 19.1 |8917k| 47 | - | 231 |7276 | 231 |2453 | 17 | 17k|2843 | 0.000000e+00 | -- | Inf
81.06/81.17 c 81.2s| 26000 | 155 |496498 | 19.1 |8907k| 47 | 33 | 231 |7282 | 231 |2453 | 17 | 17k|2843 | 0.000000e+00 | -- | Inf
81.27/81.39 c 81.4s| 26100 | 155 |498095 | 19.1 |8919k| 47 | 26 | 231 |7309 | 231 |2453 | 17 | 17k|2843 | 0.000000e+00 | -- | Inf
81.56/81.65 c 81.7s| 26200 | 158 |500272 | 19.1 |8940k| 47 | - | 231 |7321 | 231 |2453 | 17 | 17k|2844 | 0.000000e+00 | -- | Inf
81.86/81.90 c 81.9s| 26300 | 161 |502180 | 19.1 |8953k| 47 | 35 | 231 |7338 | 231 |2453 | 17 | 17k|2844 | 0.000000e+00 | -- | Inf
82.07/82.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.07/82.17 c 82.2s| 26400 | 151 |504283 | 19.1 |8931k| 50 | 45 | 231 |7355 | 231 |2453 | 17 | 17k|2844 | 0.000000e+00 | -- | Inf
82.26/82.40 c 82.4s| 26500 | 151 |505871 | 19.1 |8917k| 50 | - | 231 |7283 | 231 |2453 | 17 | 17k|2844 | 0.000000e+00 | -- | Inf
82.56/82.65 c 82.7s| 26600 | 151 |507753 | 19.1 |8909k| 50 | - | 231 |7257 | 231 |2453 | 17 | 17k|2844 | 0.000000e+00 | -- | Inf
82.87/82.92 c 82.9s| 26700 | 150 |509838 | 19.1 |8914k| 50 | - | 231 |7269 | 231 |2453 | 17 | 17k|2844 | 0.000000e+00 | -- | Inf
83.16/83.24 c 83.2s| 26800 | 151 |511892 | 19.1 |8886k| 50 | 40 | 231 |7183 | 231 |2453 | 17 | 17k|2856 | 0.000000e+00 | -- | Inf
83.47/83.56 c 83.6s| 26900 | 150 |513978 | 19.1 |8875k| 50 | 36 | 231 |7156 | 231 |2453 | 17 | 17k|2865 | 0.000000e+00 | -- | Inf
83.86/83.93 c 83.9s| 27000 | 150 |516284 | 19.1 |8885k| 50 | - | 231 |7166 | 231 |2453 | 17 | 18k|2883 | 0.000000e+00 | -- | Inf
84.16/84.30 c 84.3s| 27100 | 146 |518615 | 19.1 |8868k| 50 | 36 | 231 |7149 | 231 |2453 | 17 | 18k|2898 | 0.000000e+00 | -- | Inf
84.57/84.65 c 84.7s| 27200 | 149 |521001 | 19.1 |8880k| 50 | - | 231 |7131 | 231 |2453 | 17 | 18k|2915 | 0.000000e+00 | -- | Inf
84.87/84.99 c 85.0s| 27300 | 155 |523585 | 19.2 |8898k| 50 | 31 | 231 |7138 | 231 |2453 | 17 | 18k|2926 | 0.000000e+00 | -- | Inf
85.27/85.37 c 85.4s| 27400 | 151 |526139 | 19.2 |8900k| 50 | - | 231 |7141 | 0 | 0 | 17 | 18k|2941 | 0.000000e+00 | -- | Inf
85.67/85.75 c 85.7s| 27500 | 150 |528681 | 19.2 |8887k| 50 | - | 231 |7137 | 231 |2453 | 17 | 18k|2956 | 0.000000e+00 | -- | Inf
85.96/86.04 c 86.0s| 27600 | 152 |530569 | 19.2 |8852k| 50 | 49 | 231 |7048 | 231 |2453 | 17 | 18k|2966 | 0.000000e+00 | -- | Inf
86.27/86.35 c 86.3s| 27700 | 152 |532351 | 19.2 |8858k| 50 | 52 | 231 |7065 | 231 |2453 | 17 | 18k|2978 | 0.000000e+00 | -- | Inf
86.56/86.62 c 86.6s| 27800 | 152 |533985 | 19.2 |8857k| 50 | 28 | 231 |7047 | 231 |2453 | 17 | 18k|2990 | 0.000000e+00 | -- | Inf
86.77/86.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.77/86.89 c 86.9s| 27900 | 150 |535671 | 19.2 |8821k| 50 | 40 | 231 |6994 | 231 |2453 | 17 | 18k|2997 | 0.000000e+00 | -- | Inf
87.17/87.20 c 87.2s| 28000 | 151 |537599 | 19.2 |8790k| 50 | 36 | 231 |6896 | 231 |2453 | 17 | 18k|3009 | 0.000000e+00 | -- | Inf
87.37/87.47 c 87.5s| 28100 | 152 |539250 | 19.2 |8784k| 50 | 26 | 231 |6876 | 231 |2453 | 17 | 18k|3018 | 0.000000e+00 | -- | Inf
87.66/87.77 c 87.8s| 28200 | 151 |541114 | 19.2 |8791k| 50 | - | 231 |6894 | 231 |2453 | 17 | 18k|3030 | 0.000000e+00 | -- | Inf
87.97/88.07 c 88.1s| 28300 | 153 |543123 | 19.2 |8801k| 50 | - | 231 |6906 | 231 |2453 | 17 | 18k|3043 | 0.000000e+00 | -- | Inf
88.37/88.41 c 88.4s| 28400 | 152 |545303 | 19.2 |8800k| 50 | 38 | 231 |6883 | 231 |2453 | 17 | 18k|3055 | 0.000000e+00 | -- | Inf
88.66/88.70 c 88.7s| 28500 | 155 |547454 | 19.2 |8801k| 50 | 38 | 231 |6865 | 231 |2453 | 17 | 19k|3061 | 0.000000e+00 | -- | Inf
88.86/88.94 c 88.9s| 28600 | 151 |549057 | 19.2 |8789k| 50 | - | 231 |6849 | 231 |2453 | 17 | 19k|3065 | 0.000000e+00 | -- | Inf
89.16/89.21 c 89.2s| 28700 | 151 |550987 | 19.2 |8783k| 50 | - | 231 |6825 | 231 |2453 | 17 | 19k|3070 | 0.000000e+00 | -- | Inf
89.37/89.44 c 89.4s| 28800 | 153 |552671 | 19.2 |8787k| 50 | - | 231 |6828 | 231 |2453 | 17 | 19k|3071 | 0.000000e+00 | -- | Inf
89.56/89.66 c 89.7s| 28900 | 153 |554246 | 19.2 |8789k| 50 | 37 | 231 |6835 | 231 |2453 | 17 | 19k|3071 | 0.000000e+00 | -- | Inf
89.77/89.89 c 89.9s| 29000 | 152 |556030 | 19.2 |8807k| 50 | - | 231 |6877 | 231 |2453 | 17 | 19k|3071 | 0.000000e+00 | -- | Inf
90.07/90.17 c 90.2s| 29100 | 150 |558305 | 19.2 |8807k| 50 | - | 231 |6881 | 231 |2453 | 17 | 19k|3071 | 0.000000e+00 | -- | Inf
90.36/90.42 c 90.4s| 29200 | 150 |560078 | 19.2 |8792k| 50 | 49 | 231 |6839 | 231 |2453 | 17 | 19k|3071 | 0.000000e+00 | -- | Inf
90.56/90.69 c 90.7s| 29300 | 150 |562199 | 19.2 |8795k| 50 | - | 231 |6835 | 231 |2453 | 17 | 19k|3071 | 0.000000e+00 | -- | Inf
90.87/90.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.87/90.96 c 91.0s| 29400 | 147 |564254 | 19.2 |8781k| 50 | - | 231 |6808 | 231 |2453 | 17 | 19k|3071 | 0.000000e+00 | -- | Inf
91.17/91.23 c 91.2s| 29500 | 152 |566373 | 19.2 |8790k| 50 | 44 | 231 |6813 | 231 |2453 | 17 | 19k|3071 | 0.000000e+00 | -- | Inf
91.47/91.51 c 91.5s| 29600 | 152 |568672 | 19.2 |8796k| 50 | 25 | 231 |6818 | 231 |2453 | 17 | 19k|3071 | 0.000000e+00 | -- | Inf
91.67/91.77 c 91.8s| 29700 | 152 |570740 | 19.2 |8806k| 50 | 41 | 231 |6839 | 231 |2453 | 17 | 19k|3072 | 0.000000e+00 | -- | Inf
91.96/92.05 c 92.0s| 29800 | 151 |572942 | 19.2 |8822k| 50 | - | 231 |6871 | 231 |2453 | 17 | 19k|3072 | 0.000000e+00 | -- | Inf
92.26/92.30 c 92.3s| 29900 | 151 |574903 | 19.2 |8819k| 50 | - | 231 |6872 | 231 |2453 | 17 | 19k|3072 | 0.000000e+00 | -- | Inf
92.46/92.57 c 92.6s| 30000 | 149 |577071 | 19.2 |8831k| 50 | - | 231 |6912 | 231 |2453 | 17 | 19k|3072 | 0.000000e+00 | -- | Inf
92.76/92.84 c 92.8s| 30100 | 150 |579086 | 19.2 |8802k| 50 | 42 | 231 |6816 | 231 |2453 | 17 | 19k|3072 | 0.000000e+00 | -- | Inf
92.97/93.09 c 93.1s| 30200 | 144 |580965 | 19.2 |8776k| 50 | - | 231 |6816 | 231 |2453 | 17 | 20k|3072 | 0.000000e+00 | -- | Inf
93.26/93.35 c 93.4s| 30300 | 143 |582963 | 19.2 |8773k| 50 | 35 | 231 |6799 | 231 |2453 | 17 | 20k|3073 | 0.000000e+00 | -- | Inf
93.56/93.67 c 93.7s| 30400 | 144 |585113 | 19.2 |8772k| 50 | 38 | 231 |6807 | 231 |2453 | 17 | 20k|3083 | 0.000000e+00 | -- | Inf
93.86/93.98 c 94.0s| 30500 | 142 |587226 | 19.2 |8763k| 50 | 36 | 231 |6800 | 231 |2453 | 17 | 20k|3092 | 0.000000e+00 | -- | Inf
94.17/94.27 c 94.3s| 30600 | 142 |589038 | 19.2 |8766k| 50 | - | 231 |6799 | 231 |2453 | 17 | 20k|3102 | 0.000000e+00 | -- | Inf
94.47/94.56 c 94.6s| 30700 | 142 |590808 | 19.2 |8774k| 50 | 34 | 231 |6822 | 231 |2453 | 17 | 20k|3112 | 0.000000e+00 | -- | Inf
94.76/94.87 c 94.9s| 30800 | 143 |592813 | 19.2 |8781k| 50 | 29 | 231 |6845 | 231 |2453 | 17 | 20k|3122 | 0.000000e+00 | -- | Inf
95.16/95.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
95.16/95.20 c 95.2s| 30900 | 141 |594541 | 19.2 |8785k| 50 | 39 | 231 |6867 | 231 |2453 | 17 | 20k|3143 | 0.000000e+00 | -- | Inf
95.46/95.53 c 95.5s| 31000 | 143 |596914 | 19.3 |8794k| 50 | 32 | 231 |6873 | 231 |2453 | 17 | 20k|3151 | 0.000000e+00 | -- | Inf
95.76/95.82 c 95.8s| 31100 | 145 |598918 | 19.3 |8811k| 50 | 34 | 231 |6905 | 231 |2453 | 17 | 20k|3158 | 0.000000e+00 | -- | Inf
96.06/96.15 c 96.1s| 31200 | 145 |601130 | 19.3 |8830k| 50 | - | 231 |6949 | 231 |2453 | 17 | 20k|3170 | 0.000000e+00 | -- | Inf
96.46/96.51 c 96.5s| 31300 | 145 |603476 | 19.3 |8847k| 50 | - | 231 |6997 | 231 |2453 | 17 | 20k|3187 | 0.000000e+00 | -- | Inf
96.77/96.80 c 96.8s| 31400 | 145 |605552 | 19.3 |8862k| 50 | - | 231 |7042 | 231 |2453 | 17 | 20k|3194 | 0.000000e+00 | -- | Inf
97.06/97.13 c 97.1s| 31500 | 147 |607669 | 19.3 |8879k| 50 | 31 | 231 |7086 | 231 |2453 | 17 | 20k|3207 | 0.000000e+00 | -- | Inf
97.36/97.46 c 97.5s| 31600 | 144 |609917 | 19.3 |8897k| 50 | - | 231 |7131 | 231 |2453 | 17 | 20k|3222 | 0.000000e+00 | -- | Inf
97.77/97.84 c 97.8s| 31700 | 144 |612374 | 19.3 |8907k| 50 | 42 | 231 |7177 | 231 |2453 | 17 | 20k|3238 | 0.000000e+00 | -- | Inf
98.16/98.25 c 98.2s| 31800 | 143 |615167 | 19.3 |8929k| 50 | - | 231 |7224 | 231 |2453 | 17 | 21k|3254 | 0.000000e+00 | -- | Inf
98.46/98.56 c 98.6s| 31900 | 147 |617484 | 19.4 |8944k| 50 | - | 231 |7231 | 231 |2453 | 17 | 21k|3259 | 0.000000e+00 | -- | Inf
98.76/98.87 c 98.9s| 32000 | 143 |619715 | 19.4 |8948k| 50 | - | 231 |7256 | 231 |2453 | 17 | 21k|3263 | 0.000000e+00 | -- | Inf
99.06/99.16 c 99.2s| 32100 | 145 |621967 | 19.4 |8956k| 50 | 37 | 231 |7279 | 231 |2453 | 17 | 21k|3265 | 0.000000e+00 | -- | Inf
99.36/99.46 c 99.5s| 32200 | 149 |624313 | 19.4 |8983k| 50 | - | 231 |7319 | 231 |2453 | 17 | 21k|3267 | 0.000000e+00 | -- | Inf
99.66/99.77 c 99.8s| 32300 | 151 |626743 | 19.4 |9005k| 50 | 43 | 231 |7375 | 231 |2453 | 17 | 21k|3267 | 0.000000e+00 | -- | Inf
99.97/100.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
99.97/100.09 c 100s| 32400 | 149 |629157 | 19.4 |8990k| 50 | - | 231 |7329 | 231 |2453 | 17 | 21k|3271 | 0.000000e+00 | -- | Inf
100.26/100.35 c 100s| 32500 | 150 |631026 | 19.4 |8990k| 50 | 21 | 231 |7326 | 231 |2453 | 17 | 21k|3272 | 0.000000e+00 | -- | Inf
100.56/100.63 c 101s| 32600 | 148 |633256 | 19.4 |8994k| 50 | - | 231 |7358 | 231 |2453 | 17 | 21k|3272 | 0.000000e+00 | -- | Inf
100.86/100.91 c 101s| 32700 | 154 |635389 | 19.4 |8968k| 50 | 22 | 231 |7248 | 231 |2453 | 17 | 21k|3274 | 0.000000e+00 | -- | Inf
101.07/101.18 c 101s| 32800 | 152 |637340 | 19.4 |8942k| 50 | - | 231 |7164 | 231 |2453 | 17 | 21k|3274 | 0.000000e+00 | -- | Inf
101.36/101.45 c 101s| 32900 | 152 |639424 | 19.4 |8932k| 50 | 36 | 231 |7141 | 231 |2453 | 17 | 21k|3276 | 0.000000e+00 | -- | Inf
101.66/101.74 c 102s| 33000 | 150 |641728 | 19.4 |8939k| 50 | - | 231 |7162 | 231 |2453 | 17 | 21k|3276 | 0.000000e+00 | -- | Inf
101.96/102.01 c 102s| 33100 | 152 |643736 | 19.4 |8927k| 50 | 20 | 231 |7131 | 231 |2453 | 17 | 21k|3277 | 0.000000e+00 | -- | Inf
102.17/102.25 c 102s| 33200 | 148 |645555 | 19.4 |8914k| 50 | - | 231 |7097 | 231 |2453 | 17 | 22k|3277 | 0.000000e+00 | -- | Inf
102.46/102.53 c 103s| 33300 | 148 |647753 | 19.4 |8920k| 50 | - | 231 |7115 | 231 |2453 | 17 | 22k|3278 | 0.000000e+00 | -- | Inf
102.76/102.81 c 103s| 33400 | 149 |650004 | 19.5 |8916k| 50 | 41 | 231 |7108 | 231 |2453 | 17 | 22k|3278 | 0.000000e+00 | -- | Inf
102.97/103.07 c 103s| 33500 | 151 |652082 | 19.5 |8934k| 50 | - | 231 |7115 | 231 |2453 | 17 | 22k|3278 | 0.000000e+00 | -- | Inf
103.27/103.37 c 103s| 33600 | 151 |654476 | 19.5 |8944k| 50 | - | 231 |7118 | 231 |2453 | 17 | 22k|3279 | 0.000000e+00 | -- | Inf
103.56/103.64 c 104s| 33700 | 149 |656690 | 19.5 |8927k| 50 | - | 231 |7106 | 231 |2453 | 17 | 22k|3279 | 0.000000e+00 | -- | Inf
103.86/103.95 c 104s| 33800 | 149 |658874 | 19.5 |8943k| 50 | - | 231 |7147 | 231 |2453 | 17 | 22k|3288 | 0.000000e+00 | -- | Inf
104.16/104.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.16/104.28 c 104s| 33900 | 153 |661134 | 19.5 |8959k| 50 | 34 | 231 |7163 | 231 |2453 | 17 | 22k|3304 | 0.000000e+00 | -- | Inf
104.56/104.62 c 105s| 34000 | 149 |663510 | 19.5 |8958k| 50 | - | 231 |7179 | 231 |2453 | 17 | 22k|3315 | 0.000000e+00 | -- | Inf
104.86/104.96 c 105s| 34100 | 151 |665701 | 19.5 |8944k| 50 | 22 | 231 |7144 | 231 |2453 | 17 | 22k|3327 | 0.000000e+00 | -- | Inf
105.16/105.25 c 105s| 34200 | 155 |667615 | 19.5 |8953k| 50 | 20 | 231 |7142 | 231 |2453 | 17 | 22k|3336 | 0.000000e+00 | -- | Inf
105.47/105.56 c 106s| 34300 | 153 |669583 | 19.5 |8962k| 50 | - | 231 |7148 | 231 |2453 | 17 | 22k|3348 | 0.000000e+00 | -- | Inf
105.76/105.89 c 106s| 34400 | 155 |671712 | 19.5 |8971k| 50 | 43 | 231 |7186 | 231 |2453 | 17 | 22k|3359 | 0.000000e+00 | -- | Inf
106.16/106.24 c 106s| 34500 | 155 |673995 | 19.5 |8991k| 50 | - | 231 |7227 | 231 |2453 | 17 | 22k|3374 | 0.000000e+00 | -- | Inf
106.46/106.56 c 107s| 34600 | 152 |676033 | 19.5 |9006k| 50 | - | 231 |7276 | 231 |2453 | 17 | 22k|3386 | 0.000000e+00 | -- | Inf
106.76/106.83 c 107s| 34700 | 154 |677689 | 19.5 |9028k| 50 | 41 | 231 |7335 | 231 |2453 | 17 | 22k|3395 | 0.000000e+00 | -- | Inf
107.06/107.14 c 107s| 34800 | 154 |679816 | 19.5 |9040k| 50 | 22 | 231 |7358 | 231 |2453 | 17 | 23k|3405 | 0.000000e+00 | -- | Inf
107.36/107.47 c 107s| 34900 | 155 |681738 | 19.5 |9034k| 50 | 47 | 231 |7321 | 231 |2453 | 17 | 23k|3421 | 0.000000e+00 | -- | Inf
107.67/107.79 c 108s| 35000 | 157 |683859 | 19.5 |9049k| 50 | 28 | 231 |7342 | 231 |2453 | 17 | 23k|3431 | 0.000000e+00 | -- | Inf
108.06/108.12 c 108s| 35100 | 158 |686153 | 19.5 |9067k| 50 | 37 | 231 |7374 | 231 |2453 | 17 | 23k|3441 | 0.000000e+00 | -- | Inf
108.36/108.42 c 108s| 35200 | 156 |688163 | 19.5 |9085k| 50 | - | 231 |7413 | 231 |2453 | 17 | 23k|3449 | 0.000000e+00 | -- | Inf
108.66/108.72 c 109s| 35300 | 157 |690066 | 19.5 |9092k| 50 | - | 231 |7421 | 231 |2453 | 17 | 23k|3461 | 0.000000e+00 | -- | Inf
108.96/109.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
108.96/109.04 c 109s| 35400 | 155 |692127 | 19.5 |9092k| 50 | - | 231 |7415 | 231 |2453 | 17 | 23k|3471 | 0.000000e+00 | -- | Inf
109.26/109.37 c 109s| 35500 | 151 |694238 | 19.6 |9055k| 50 | - | 231 |7368 | 231 |2453 | 17 | 23k|3482 | 0.000000e+00 | -- | Inf
109.56/109.68 c 110s| 35600 | 151 |696268 | 19.6 |9028k| 50 | 25 | 231 |7335 | 231 |2453 | 17 | 23k|3494 | 0.000000e+00 | -- | Inf
109.87/109.97 c 110s| 35700 | 151 |698239 | 19.6 |9018k| 50 | - | 231 |7291 | 231 |2453 | 17 | 23k|3501 | 0.000000e+00 | -- | Inf
110.16/110.25 c 110s| 35800 | 151 |699881 | 19.5 |9017k| 50 | - | 231 |7251 | 231 |2453 | 17 | 23k|3512 | 0.000000e+00 | -- | Inf
110.46/110.52 c 111s| 35900 | 149 |701852 | 19.5 |9022k| 50 | - | 231 |7259 | 231 |2453 | 17 | 23k|3515 | 0.000000e+00 | -- | Inf
110.76/110.82 c 111s| 36000 | 150 |703851 | 19.5 |9015k| 50 | - | 231 |7236 | 231 |2453 | 17 | 23k|3523 | 0.000000e+00 | -- | Inf
111.07/111.12 c 111s| 36100 | 151 |706203 | 19.6 |9012k| 50 | - | 231 |7232 | 231 |2453 | 17 | 23k|3523 | 0.000000e+00 | -- | Inf
111.25/111.38 c 111s| 36200 | 152 |708101 | 19.6 |9014k| 50 | 37 | 231 |7237 | 231 |2453 | 17 | 24k|3524 | 0.000000e+00 | -- | Inf
111.56/111.67 c 112s| 36300 | 152 |710351 | 19.6 |9030k| 50 | 34 | 231 |7284 | 231 |2453 | 17 | 24k|3524 | 0.000000e+00 | -- | Inf
111.86/111.94 c 112s| 36400 | 150 |712477 | 19.6 |9031k| 50 | 47 | 231 |7307 | 231 |2453 | 17 | 24k|3524 | 0.000000e+00 | -- | Inf
112.16/112.22 c 112s| 36500 | 150 |714712 | 19.6 |9058k| 50 | 35 | 231 |7365 | 231 |2453 | 17 | 24k|3525 | 0.000000e+00 | -- | Inf
112.45/112.52 c 113s| 36600 | 154 |717150 | 19.6 |9087k| 50 | 32 | 231 |7409 | 231 |2453 | 17 | 24k|3526 | 0.000000e+00 | -- | Inf
112.76/112.81 c 113s| 36700 | 150 |719372 | 19.6 |9101k| 50 | - | 231 |7450 | 231 |2453 | 17 | 24k|3526 | 0.000000e+00 | -- | Inf
112.96/113.09 c 113s| 36800 | 146 |721536 | 19.6 |9072k| 50 | 38 | 231 |7426 | 231 |2453 | 17 | 24k|3526 | 0.000000e+00 | -- | Inf
113.27/113.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
113.27/113.36 c 113s| 36900 | 144 |723618 | 19.6 |9057k| 50 | - | 231 |7368 | 231 |2453 | 17 | 24k|3526 | 0.000000e+00 | -- | Inf
113.56/113.64 c 114s| 37000 | 146 |725754 | 19.6 |9051k| 50 | - | 231 |7350 | 231 |2453 | 17 | 24k|3526 | 0.000000e+00 | -- | Inf
113.86/113.90 c 114s| 37100 | 142 |727660 | 19.6 |9059k| 50 | - | 231 |7397 | 231 |2453 | 17 | 24k|3526 | 0.000000e+00 | -- | Inf
114.06/114.17 c 114s| 37200 | 140 |729726 | 19.6 |9040k| 50 | 38 | 231 |7377 | 231 |2453 | 17 | 24k|3526 | 0.000000e+00 | -- | Inf
114.36/114.47 c 114s| 37300 | 137 |732042 | 19.6 |8933k| 50 | 36 | 231 |7310 | 231 |2453 | 17 | 24k|3528 | 0.000000e+00 | -- | Inf
114.66/114.73 c 115s| 37400 | 133 |734012 | 19.6 |8910k| 50 | - | 231 |7274 | 231 |2453 | 17 | 24k|3528 | 0.000000e+00 | -- | Inf
114.86/114.98 c 115s| 37500 | 133 |735840 | 19.6 |8886k| 50 | 44 | 231 |7250 | 231 |2453 | 17 | 24k|3528 | 0.000000e+00 | -- | Inf
115.16/115.22 c 115s| 37600 | 133 |737611 | 19.6 |8890k| 50 | - | 231 |7255 | 231 |2453 | 17 | 25k|3528 | 0.000000e+00 | -- | Inf
115.36/115.46 c 115s| 37700 | 131 |739378 | 19.6 |8903k| 50 | - | 231 |7303 | 231 |2453 | 17 | 25k|3528 | 0.000000e+00 | -- | Inf
115.65/115.73 c 116s| 37800 | 131 |741507 | 19.6 |8886k| 50 | - | 231 |7256 | 0 | 0 | 17 | 25k|3528 | 0.000000e+00 | -- | Inf
115.96/116.05 c 116s| 37900 | 131 |743476 | 19.6 |8874k| 50 | 32 | 231 |7229 | 231 |2453 | 17 | 25k|3542 | 0.000000e+00 | -- | Inf
116.26/116.33 c 116s| 38000 | 129 |745528 | 19.6 |8855k| 50 | 41 | 231 |7201 | 231 |2453 | 17 | 25k|3543 | 0.000000e+00 | -- | Inf
116.56/116.65 c 117s| 38100 | 131 |747558 | 19.6 |8873k| 50 | - | 231 |7229 | 231 |2453 | 17 | 25k|3556 | 0.000000e+00 | -- | Inf
116.86/116.98 c 117s| 38200 | 129 |749766 | 19.6 |8862k| 50 | - | 231 |7218 | 231 |2453 | 17 | 25k|3566 | 0.000000e+00 | -- | Inf
117.16/117.28 c 117s| 38300 | 129 |751853 | 19.6 |8869k| 50 | - | 231 |7224 | 231 |2453 | 17 | 25k|3576 | 0.000000e+00 | -- | Inf
117.45/117.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
117.45/117.58 c 118s| 38400 | 126 |753749 | 19.6 |8864k| 50 | - | 231 |7226 | 231 |2453 | 17 | 25k|3585 | 0.000000e+00 | -- | Inf
117.86/117.94 c 118s| 38500 | 124 |756002 | 19.6 |8840k| 50 | - | 231 |7159 | 231 |2453 | 17 | 25k|3604 | 0.000000e+00 | -- | Inf
118.06/118.19 c 118s| 38600 | 126 |757896 | 19.6 |8849k| 50 | 35 | 231 |7183 | 231 |2453 | 17 | 25k|3604 | 0.000000e+00 | -- | Inf
118.46/118.52 c 119s| 38700 | 128 |759928 | 19.6 |8867k| 50 | - | 231 |7212 | 231 |2453 | 17 | 25k|3617 | 0.000000e+00 | -- | Inf
118.67/118.80 c 119s| 38800 | 130 |761860 | 19.6 |8880k| 50 | 45 | 231 |7236 | 231 |2453 | 17 | 25k|3624 | 0.000000e+00 | -- | Inf
119.06/119.15 c 119s| 38900 | 130 |764143 | 19.6 |8903k| 50 | - | 231 |7269 | 231 |2453 | 17 | 25k|3639 | 0.000000e+00 | -- | Inf
119.36/119.47 c 119s| 39000 | 126 |766404 | 19.6 |8893k| 50 | - | 231 |7275 | 231 |2453 | 17 | 25k|3648 | 0.000000e+00 | -- | Inf
119.66/119.80 c 120s| 39100 | 126 |768497 | 19.7 |8892k| 50 | - | 231 |7267 | 231 |2453 | 17 | 25k|3661 | 0.000000e+00 | -- | Inf
120.06/120.14 c 120s| 39200 | 132 |770715 | 19.7 |8872k| 50 | 34 | 231 |7168 | 231 |2453 | 17 | 26k|3672 | 0.000000e+00 | -- | Inf
120.36/120.43 c 120s| 39300 | 132 |772605 | 19.7 |8877k| 50 | 40 | 231 |7166 | 231 |2453 | 17 | 26k|3682 | 0.000000e+00 | -- | Inf
120.66/120.74 c 121s| 39400 | 134 |774531 | 19.7 |8886k| 50 | 39 | 231 |7171 | 231 |2453 | 17 | 26k|3695 | 0.000000e+00 | -- | Inf
120.96/121.03 c 121s| 39500 | 136 |776601 | 19.7 |8895k| 50 | 30 | 231 |7184 | 231 |2453 | 17 | 26k|3701 | 0.000000e+00 | -- | Inf
121.26/121.33 c 121s| 39600 | 137 |778437 | 19.7 |8899k| 50 | 37 | 231 |7180 | 231 |2453 | 17 | 26k|3713 | 0.000000e+00 | -- | Inf
121.56/121.64 c 122s| 39700 | 135 |780560 | 19.7 |8865k| 50 | - | 231 |7089 | 231 |2453 | 17 | 26k|3722 | 0.000000e+00 | -- | Inf
121.86/121.91 c 122s| 39800 | 138 |782352 | 19.7 |8873k| 50 | 28 | 231 |7098 | 231 |2453 | 17 | 26k|3731 | 0.000000e+00 | -- | Inf
122.06/122.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
122.06/122.19 c 122s| 39900 | 138 |784392 | 19.7 |8875k| 50 | 40 | 231 |7107 | 231 |2453 | 17 | 26k|3734 | 0.000000e+00 | -- | Inf
122.35/122.46 c 122s| 40000 | 140 |786511 | 19.7 |8895k| 50 | - | 231 |7141 | 231 |2453 | 17 | 26k|3734 | 0.000000e+00 | -- | Inf
122.66/122.74 c 123s| 40100 | 142 |788778 | 19.7 |8921k| 50 | 29 | 231 |7212 | 231 |2453 | 17 | 26k|3735 | 0.000000e+00 | -- | Inf
122.96/123.00 c 123s| 40200 | 142 |790610 | 19.7 |8953k| 50 | 41 | 231 |7303 | 231 |2453 | 17 | 26k|3741 | 0.000000e+00 | -- | Inf
123.25/123.32 c 123s| 40300 | 140 |793006 | 19.7 |8985k| 50 | - | 231 |7380 | 231 |2453 | 17 | 26k|3747 | 0.000000e+00 | -- | Inf
123.46/123.56 c 124s| 40400 | 139 |794856 | 19.7 |9000k| 50 | 38 | 231 |7438 | 231 |2453 | 17 | 26k|3747 | 0.000000e+00 | -- | Inf
123.76/123.82 c 124s| 40500 | 134 |796783 | 19.7 |9006k| 50 | - | 231 |7478 | 231 |2453 | 17 | 27k|3747 | 0.000000e+00 | -- | Inf
123.96/124.08 c 124s| 40600 | 131 |798676 | 19.7 |8979k| 50 | - | 231 |7473 | 231 |2453 | 17 | 27k|3748 | 0.000000e+00 | -- | Inf
124.26/124.33 c 124s| 40700 | 132 |800484 | 19.7 |8987k| 50 | - | 231 |7482 | 231 |2453 | 17 | 27k|3750 | 0.000000e+00 | -- | Inf
124.46/124.59 c 125s| 40800 | 134 |802291 | 19.7 |8985k| 50 | 39 | 231 |7454 | 231 |2453 | 17 | 27k|3753 | 0.000000e+00 | -- | Inf
124.76/124.84 c 125s| 40900 | 132 |804216 | 19.7 |8994k| 50 | - | 231 |7467 | 231 |2453 | 17 | 27k|3754 | 0.000000e+00 | -- | Inf
125.05/125.11 c 125s| 41000 | 132 |806285 | 19.7 |8996k| 50 | - | 231 |7496 | 231 |2453 | 17 | 27k|3754 | 0.000000e+00 | -- | Inf
125.37/125.41 c 125s| 41100 | 134 |808599 | 19.7 |9007k| 50 | 29 | 231 |7517 | 231 |2453 | 17 | 27k|3754 | 0.000000e+00 | -- | Inf
125.56/125.69 c 126s| 41200 | 130 |810880 | 19.7 |9024k| 50 | - | 231 |7572 | 231 |2453 | 17 | 27k|3755 | 0.000000e+00 | -- | Inf
125.86/125.99 c 126s| 41300 | 128 |813266 | 19.7 |9035k| 50 | - | 231 |7618 | 231 |2453 | 17 | 27k|3755 | 0.000000e+00 | -- | Inf
126.16/126.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
126.16/126.23 c 126s| 41400 | 131 |815004 | 19.7 |9036k| 50 | - | 231 |7590 | 231 |2453 | 17 | 27k|3757 | 0.000000e+00 | -- | Inf
126.37/126.50 c 126s| 41500 | 129 |817047 | 19.7 |9031k| 50 | - | 231 |7598 | 231 |2453 | 17 | 27k|3758 | 0.000000e+00 | -- | Inf
126.66/126.76 c 127s| 41600 | 129 |819026 | 19.7 |9051k| 50 | - | 231 |7658 | 231 |2453 | 17 | 27k|3760 | 0.000000e+00 | -- | Inf
126.96/127.05 c 127s| 41700 | 125 |821333 | 19.7 |9046k| 50 | 36 | 231 |7681 | 231 |2453 | 17 | 27k|3760 | 0.000000e+00 | -- | Inf
127.26/127.33 c 127s| 41800 | 123 |823533 | 19.7 |9031k| 50 | - | 231 |7644 | 0 | 0 | 17 | 27k|3760 | 0.000000e+00 | -- | Inf
127.47/127.58 c 128s| 41900 | 123 |825438 | 19.7 |9024k| 50 | - | 231 |7635 | 231 |2453 | 17 | 27k|3760 | 0.000000e+00 | -- | Inf
127.75/127.82 c 128s| 42000 | 123 |827250 | 19.7 |9027k| 50 | 39 | 231 |7656 | 231 |2453 | 17 | 28k|3760 | 0.000000e+00 | -- | Inf
128.06/128.10 c 128s| 42100 | 123 |829472 | 19.7 |9047k| 50 | 25 | 231 |7699 | 231 |2453 | 17 | 28k|3760 | 0.000000e+00 | -- | Inf
128.26/128.38 c 128s| 42200 | 122 |831418 | 19.7 |9073k| 50 | - | 231 |7759 | 231 |2453 | 17 | 28k|3769 | 0.000000e+00 | -- | Inf
128.56/128.70 c 129s| 42300 | 122 |833551 | 19.7 |9092k| 50 | - | 231 |7811 | 231 |2453 | 17 | 28k|3779 | 0.000000e+00 | -- | Inf
128.95/129.00 c 129s| 42400 | 121 |835652 | 19.7 |9101k| 50 | 43 | 231 |7854 | 231 |2453 | 17 | 28k|3788 | 0.000000e+00 | -- | Inf
129.16/129.29 c 129s| 42500 | 121 |837504 | 19.7 |9083k| 50 | 29 | 231 |7837 | 231 |2453 | 17 | 28k|3797 | 0.000000e+00 | -- | Inf
129.56/129.63 c 130s| 42600 | 119 |839389 | 19.7 |9091k| 50 | - | 231 |7852 | 231 |2453 | 17 | 28k|3819 | 0.000000e+00 | -- | Inf
129.76/129.88 c 130s| 42700 | 119 |841268 | 19.7 |9091k| 50 | - | 231 |7851 | 231 |2453 | 17 | 28k|3819 | 0.000000e+00 | -- | Inf
130.05/130.18 c 130s| 42800 | 115 |843214 | 19.7 |9068k| 50 | 37 | 231 |7847 | 231 |2453 | 17 | 28k|3829 | 0.000000e+00 | -- | Inf
130.36/130.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
130.36/130.47 c 130s| 42900 | 113 |845013 | 19.7 |9077k| 50 | - | 231 |7881 | 231 |2453 | 17 | 28k|3838 | 0.000000e+00 | -- | Inf
130.65/130.76 c 131s| 43000 | 113 |847102 | 19.7 |9092k| 50 | - | 231 |7911 | 231 |2453 | 17 | 28k|3844 | 0.000000e+00 | -- | Inf
130.95/131.09 c 131s| 43100 | 115 |849206 | 19.7 |9112k| 50 | - | 231 |7954 | 231 |2453 | 17 | 28k|3857 | 0.000000e+00 | -- | Inf
131.36/131.44 c 131s| 43200 | 115 |851391 | 19.7 |9116k| 50 | 41 | 231 |7970 | 231 |2453 | 17 | 28k|3874 | 0.000000e+00 | -- | Inf
131.65/131.70 c 132s| 43300 | 113 |853350 | 19.7 |9101k| 50 | - | 231 |7941 | 231 |2453 | 17 | 28k|3874 | 0.000000e+00 | -- | Inf
131.96/132.03 c 132s| 43400 | 113 |855379 | 19.7 |9086k| 50 | - | 231 |7914 | 231 |2453 | 17 | 28k|3887 | 0.000000e+00 | -- | Inf
132.25/132.34 c 132s| 43500 | 111 |857385 | 19.7 |9071k| 50 | - | 231 |7888 | 231 |2453 | 17 | 29k|3897 | 0.000000e+00 | -- | Inf
132.55/132.64 c 133s| 43600 | 111 |859366 | 19.7 |9082k| 50 | - | 231 |7906 | 231 |2453 | 17 | 29k|3907 | 0.000000e+00 | -- | Inf
132.86/132.94 c 133s| 43700 | 109 |861254 | 19.7 |9080k| 50 | 45 | 231 |7919 | 231 |2453 | 17 | 29k|3919 | 0.000000e+00 | -- | Inf
133.15/133.25 c 133s| 43800 | 109 |863227 | 19.7 |9092k| 50 | 33 | 231 |7948 | 231 |2453 | 17 | 29k|3929 | 0.000000e+00 | -- | Inf
133.45/133.57 c 134s| 43900 | 105 |865437 | 19.7 |9079k| 50 | 37 | 231 |7965 | 231 |2453 | 17 | 29k|3939 | 0.000000e+00 | -- | Inf
133.76/133.86 c 134s| 44000 | 103 |867219 | 19.7 |9069k| 50 | - | 231 |7970 | 231 |2453 | 17 | 29k|3951 | 0.000000e+00 | -- | Inf
134.06/134.13 c 134s| 44100 | 101 |869100 | 19.7 |9059k| 51 | - | 231 |7956 | 0 | 0 | 17 | 29k|3956 | 0.000000e+00 | -- | Inf
134.36/134.43 c 134s| 44200 | 101 |871091 | 19.7 |9045k| 52 | - | 231 |7957 | 231 |2453 | 17 | 29k|3966 | 0.000000e+00 | -- | Inf
134.65/134.74 c 135s| 44300 | 101 |873295 | 19.7 |9034k| 52 | 36 | 231 |7934 | 231 |2453 | 17 | 29k|3972 | 0.000000e+00 | -- | Inf
134.96/135.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
134.96/135.01 c 135s| 44400 | 97 |875320 | 19.7 |9043k| 52 | - | 231 |7979 | 231 |2453 | 17 | 29k|3972 | 0.000000e+00 | -- | Inf
135.27/135.30 c 135s| 44500 | 98 |877472 | 19.7 |9019k| 52 | 31 | 231 |7913 | 231 |2453 | 17 | 29k|3975 | 0.000000e+00 | -- | Inf
135.46/135.54 c 136s| 44600 | 99 |879143 | 19.7 |9019k| 52 | - | 231 |7886 | 231 |2453 | 17 | 29k|3975 | 0.000000e+00 | -- | Inf
135.76/135.80 c 136s| 44700 | 99 |881012 | 19.7 |9003k| 52 | 39 | 231 |7853 | 231 |2453 | 17 | 29k|3977 | 0.000000e+00 | -- | Inf
135.96/136.04 c 136s| 44800 | 95 |882788 | 19.7 |8995k| 52 | - | 231 |7854 | 231 |2453 | 17 | 29k|3978 | 0.000000e+00 | -- | Inf
136.26/136.31 c 136s| 44900 | 96 |884849 | 19.7 |8999k| 52 | - | 231 |7859 | 231 |2453 | 17 | 29k|3979 | 0.000000e+00 | -- | Inf
136.45/136.56 c 137s| 45000 | 98 |886782 | 19.7 |8991k| 52 | 42 | 231 |7836 | 231 |2453 | 17 | 30k|3979 | 0.000000e+00 | -- | Inf
136.75/136.85 c 137s| 45100 | 101 |889075 | 19.7 |9016k| 52 | - | 231 |7865 | 231 |2453 | 17 | 30k|3979 | 0.000000e+00 | -- | Inf
137.05/137.15 c 137s| 45200 | 103 |891586 | 19.7 |9040k| 52 | - | 231 |7872 | 231 |2453 | 17 | 30k|3979 | 0.000000e+00 | -- | Inf
137.37/137.44 c 137s| 45300 | 95 |893878 | 19.7 |9020k| 52 | - | 231 |7900 | 231 |2453 | 17 | 30k|3979 | 0.000000e+00 | -- | Inf
137.66/137.71 c 138s| 45400 | 95 |895918 | 19.7 |9012k| 52 | 45 | 231 |7882 | 231 |2453 | 17 | 30k|3979 | 0.000000e+00 | -- | Inf
137.86/137.98 c 138s| 45500 | 91 |897988 | 19.7 |8989k| 52 | - | 231 |7858 | 231 |2453 | 17 | 30k|3979 | 0.000000e+00 | -- | Inf
138.16/138.24 c 138s| 45600 | 87 |899938 | 19.7 |8974k| 52 | 40 | 231 |7865 | 231 |2453 | 17 | 30k|3980 | 0.000000e+00 | -- | Inf
138.46/138.51 c 139s| 45700 | 86 |901912 | 19.7 |8975k| 52 | - | 231 |7850 | 231 |2453 | 17 | 30k|3981 | 0.000000e+00 | -- | Inf
138.65/138.77 c 139s| 45800 | 84 |903949 | 19.7 |8976k| 52 | 43 | 231 |7878 | 231 |2453 | 17 | 30k|3981 | 0.000000e+00 | -- | Inf
138.95/139.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
138.95/139.04 c 139s| 45900 | 84 |906049 | 19.7 |8986k| 52 | 36 | 231 |7898 | 231 |2453 | 17 | 30k|3981 | 0.000000e+00 | -- | Inf
139.25/139.31 c 139s| 46000 | 83 |908193 | 19.7 |8992k| 52 | - | 231 |7910 | 231 |2453 | 17 | 30k|3981 | 0.000000e+00 | -- | Inf
139.46/139.59 c 140s| 46100 | 81 |910342 | 19.7 |8995k| 52 | - | 231 |7916 | 231 |2453 | 17 | 30k|3981 | 0.000000e+00 | -- | Inf
139.75/139.87 c 140s| 46200 | 80 |912501 | 19.7 |8982k| 52 | - | 231 |7899 | 231 |2453 | 17 | 30k|3981 | 0.000000e+00 | -- | Inf
140.05/140.16 c 140s| 46300 | 80 |914804 | 19.8 |8984k| 52 | 37 | 231 |7918 | 231 |2453 | 17 | 30k|3981 | 0.000000e+00 | -- | Inf
140.35/140.42 c 140s| 46400 | 78 |916796 | 19.8 |8983k| 52 | - | 231 |7919 | 231 |2453 | 17 | 30k|3981 | 0.000000e+00 | -- | Inf
140.66/140.71 c 141s| 46500 | 75 |918844 | 19.8 |8974k| 52 | - | 231 |7921 | 231 |2453 | 17 | 30k|3986 | 0.000000e+00 | -- | Inf
140.96/141.03 c 141s| 46600 | 77 |920857 | 19.8 |8982k| 52 | - | 231 |7918 | 231 |2453 | 17 | 31k|3998 | 0.000000e+00 | -- | Inf
141.25/141.34 c 141s| 46700 | 77 |923058 | 19.8 |8999k| 52 | - | 231 |7960 | 231 |2453 | 17 | 31k|4007 | 0.000000e+00 | -- | Inf
141.55/141.65 c 142s| 46800 | 73 |925122 | 19.8 |9000k| 52 | - | 231 |7984 | 0 | 0 | 17 | 31k|4016 | 0.000000e+00 | -- | Inf
141.86/141.96 c 142s| 46900 | 73 |927132 | 19.8 |8978k| 52 | 33 | 231 |7953 | 231 |2453 | 17 | 31k|4028 | 0.000000e+00 | -- | Inf
142.16/142.24 c 142s| 47000 | 71 |929060 | 19.8 |8975k| 52 | - | 231 |7945 | 231 |2453 | 17 | 31k|4035 | 0.000000e+00 | -- | Inf
142.45/142.50 c 143s| 47100 | 70 |930820 | 19.8 |8979k| 52 | - | 231 |7963 | 231 |2453 | 17 | 31k|4043 | 0.000000e+00 | -- | Inf
142.75/142.84 c 143s| 47200 | 70 |933128 | 19.8 |8992k| 52 | - | 231 |8000 | 231 |2453 | 17 | 31k|4059 | 0.000000e+00 | -- | Inf
143.06/143.11 c 143s| 47300 | 66 |934943 | 19.8 |8976k| 52 | - | 231 |7984 | 231 |2453 | 17 | 31k|4064 | 0.000000e+00 | -- | Inf
143.35/143.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
143.35/143.44 c 143s| 47400 | 66 |936962 | 19.8 |8963k| 52 | 18 | 231 |7982 | 231 |2453 | 17 | 31k|4080 | 0.000000e+00 | -- | Inf
143.66/143.77 c 144s| 47500 | 65 |938986 | 19.8 |8953k| 52 | 43 | 231 |7990 | 231 |2453 | 17 | 31k|4093 | 0.000000e+00 | -- | Inf
143.96/144.02 c 144s| 47600 | 65 |940920 | 19.8 |8948k| 52 | 20 | 231 |7981 | 231 |2453 | 17 | 31k|4093 | 0.000000e+00 | -- | Inf
144.15/144.28 c 144s| 47700 | 63 |942663 | 19.8 |8945k| 52 | 40 | 231 |7995 | 231 |2453 | 17 | 31k|4099 | 0.000000e+00 | -- | Inf
144.55/144.62 c 145s| 47800 | 61 |944692 | 19.8 |8950k| 52 | - | 231 |8006 | 231 |2453 | 17 | 31k|4115 | 0.000000e+00 | -- | Inf
144.85/144.91 c 145s| 47900 | 61 |946952 | 19.8 |8945k| 52 | 29 | 231 |8023 | 231 |2453 | 17 | 31k|4117 | 0.000000e+00 | -- | Inf
145.17/145.21 c 145s| 48000 | 59 |948861 | 19.8 |8940k| 52 | 38 | 231 |8021 | 231 |2453 | 17 | 31k|4128 | 0.000000e+00 | -- | Inf
145.36/145.49 c 145s| 48100 | 59 |950713 | 19.8 |8947k| 52 | 23 | 231 |8057 | 231 |2453 | 17 | 31k|4136 | 0.000000e+00 | -- | Inf
145.66/145.77 c 146s| 48200 | 57 |952628 | 19.8 |8970k| 52 | - | 231 |8104 | 231 |2453 | 17 | 32k|4146 | 0.000000e+00 | -- | Inf
145.95/146.09 c 146s| 48300 | 57 |954683 | 19.8 |8946k| 52 | 25 | 231 |8051 | 231 |2453 | 17 | 32k|4158 | 0.000000e+00 | -- | Inf
146.26/146.34 c 146s| 48400 | 58 |956484 | 19.8 |8955k| 52 | 39 | 231 |8065 | 231 |2453 | 17 | 32k|4164 | 0.000000e+00 | -- | Inf
146.56/146.65 c 147s| 48500 | 58 |958424 | 19.8 |8967k| 52 | - | 231 |8080 | 231 |2453 | 17 | 32k|4176 | 0.000000e+00 | -- | Inf
146.85/146.96 c 147s| 48600 | 58 |960477 | 19.8 |8968k| 52 | - | 231 |8073 | 231 |2453 | 17 | 32k|4185 | 0.000000e+00 | -- | Inf
147.15/147.26 c 147s| 48700 | 60 |962569 | 19.8 |8969k| 52 | - | 231 |8066 | 231 |2453 | 17 | 32k|4194 | 0.000000e+00 | -- | Inf
147.45/147.59 c 148s| 48800 | 57 |964883 | 19.8 |8962k| 52 | - | 231 |8064 | 231 |2453 | 17 | 32k|4204 | 0.000000e+00 | -- | Inf
147.85/147.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
147.85/147.91 c 148s| 48900 | 59 |967109 | 19.8 |8961k| 52 | 24 | 231 |8048 | 231 |2453 | 17 | 32k|4213 | 0.000000e+00 | -- | Inf
148.16/148.22 c 148s| 49000 | 56 |969070 | 19.8 |8945k| 52 | - | 231 |8022 | 231 |2453 | 17 | 32k|4225 | 0.000000e+00 | -- | Inf
148.46/148.52 c 149s| 49100 | 56 |971063 | 19.8 |8931k| 52 | - | 231 |7983 | 231 |2453 | 17 | 32k|4233 | 0.000000e+00 | -- | Inf
148.65/148.78 c 149s| 49200 | 56 |972869 | 19.8 |8934k| 52 | 37 | 231 |7997 | 231 |2453 | 17 | 32k|4236 | 0.000000e+00 | -- | Inf
148.96/149.05 c 149s| 49300 | 51 |974676 | 19.8 |8925k| 52 | - | 231 |8012 | 231 |2453 | 17 | 32k|4241 | 0.000000e+00 | -- | Inf
149.25/149.31 c 149s| 49400 | 51 |976529 | 19.8 |8925k| 52 | 35 | 231 |8027 | 231 |2453 | 17 | 32k|4244 | 0.000000e+00 | -- | Inf
149.46/149.58 c 150s| 49500 | 53 |978601 | 19.8 |8954k| 52 | - | 231 |8069 | 0 | 0 | 17 | 32k|4245 | 0.000000e+00 | -- | Inf
149.75/149.82 c 150s| 49600 | 59 |980391 | 19.8 |8982k| 52 | - | 231 |8125 | 231 |2453 | 17 | 32k|4246 | 0.000000e+00 | -- | Inf
149.95/150.07 c 150s| 49700 | 60 |982341 | 19.8 |9004k| 52 | - | 231 |8182 | 231 |2453 | 17 | 33k|4246 | 0.000000e+00 | -- | Inf
150.25/150.36 c 150s| 49800 | 64 |984490 | 19.8 |9027k| 52 | - | 231 |8216 | 231 |2453 | 17 | 33k|4250 | 0.000000e+00 | -- | Inf
150.56/150.66 c 151s| 49900 | 62 |986814 | 19.8 |9038k| 52 | - | 231 |8260 | 231 |2453 | 17 | 33k|4251 | 0.000000e+00 | -- | Inf
150.85/150.94 c 151s| 50000 | 58 |988884 | 19.8 |9044k| 52 | - | 231 |8320 | 231 |2453 | 17 | 33k|4252 | 0.000000e+00 | -- | Inf
151.16/151.21 c 151s| 50100 | 56 |991081 | 19.8 |9065k| 52 | - | 231 |8382 | 231 |2453 | 17 | 33k|4252 | 0.000000e+00 | -- | Inf
151.45/151.50 c 151s| 50200 | 54 |993319 | 19.8 |9073k| 52 | 40 | 231 |8423 | 231 |2453 | 17 | 33k|4252 | 0.000000e+00 | -- | Inf
151.66/151.80 c 152s| 50300 | 48 |995682 | 19.8 |9058k| 52 | - | 231 |8419 | 231 |2453 | 17 | 33k|4253 | 0.000000e+00 | -- | Inf
151.95/152.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
151.95/152.07 c 152s| 50400 | 45 |997679 | 19.8 |9010k| 52 | 38 | 231 |8355 | 231 |2453 | 17 | 33k|4256 | 0.000000e+00 | -- | Inf
152.25/152.35 c 152s| 50500 | 41 |999696 | 19.8 |8967k| 52 | - | 231 |8276 | 231 |2453 | 17 | 33k|4258 | 0.000000e+00 | -- | Inf
152.55/152.63 c 153s| 50600 | 39 | 1001k| 19.8 |8947k| 52 | - | 231 |8226 | 231 |2453 | 17 | 33k|4259 | 0.000000e+00 | -- | Inf
152.76/152.86 c 153s| 50700 | 40 | 1003k| 19.8 |8951k| 52 | - | 231 |8244 | 231 |2453 | 17 | 33k|4260 | 0.000000e+00 | -- | Inf
153.05/153.12 c 153s| 50800 | 38 | 1005k| 19.8 |8952k| 52 | - | 231 |8273 | 231 |2453 | 17 | 33k|4262 | 0.000000e+00 | -- | Inf
153.25/153.39 c 153s| 50900 | 41 | 1007k| 19.8 |8951k| 52 | 36 | 231 |8267 | 231 |2453 | 17 | 33k|4262 | 0.000000e+00 | -- | Inf
153.56/153.66 c 154s| 51000 | 41 | 1009k| 19.8 |8954k| 52 | 35 | 231 |8280 | 231 |2453 | 17 | 34k|4262 | 0.000000e+00 | -- | Inf
153.86/153.96 c 154s| 51100 | 39 | 1011k| 19.8 |8960k| 52 | - | 231 |8305 | 231 |2453 | 17 | 34k|4262 | 0.000000e+00 | -- | Inf
154.15/154.22 c 154s| 51200 | 43 | 1013k| 19.8 |8988k| 52 | 32 | 231 |8367 | 231 |2453 | 17 | 34k|4263 | 0.000000e+00 | -- | Inf
154.35/154.48 c 154s| 51300 | 43 | 1016k| 19.8 |9011k| 52 | 35 | 231 |8421 | 231 |2453 | 17 | 34k|4263 | 0.000000e+00 | -- | Inf
154.65/154.78 c 155s| 51400 | 42 | 1018k| 19.8 |9030k| 52 | 51 | 231 |8485 | 231 |2453 | 17 | 34k|4263 | 0.000000e+00 | -- | Inf
154.96/155.03 c 155s| 51500 | 41 | 1020k| 19.8 |9061k| 52 | - | 231 |8561 | 231 |2453 | 17 | 34k|4263 | 0.000000e+00 | -- | Inf
155.25/155.30 c 155s| 51600 | 37 | 1022k| 19.8 |9068k| 52 | - | 231 |8616 | 231 |2453 | 17 | 34k|4263 | 0.000000e+00 | -- | Inf
155.55/155.60 c 156s| 51700 | 36 | 1024k| 19.8 |9069k| 52 | 48 | 231 |8628 | 231 |2453 | 17 | 34k|4270 | 0.000000e+00 | -- | Inf
155.85/155.93 c 156s| 51800 | 40 | 1026k| 19.8 |9101k| 52 | 38 | 231 |8678 | 231 |2453 | 17 | 34k|4281 | 0.000000e+00 | -- | Inf
156.16/156.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
156.16/156.24 c 156s| 51900 | 37 | 1028k| 19.8 |9123k| 52 | - | 231 |8736 | 231 |2453 | 17 | 34k|4291 | 0.000000e+00 | -- | Inf
156.45/156.58 c 157s| 52000 | 39 | 1031k| 19.8 |9141k| 52 | 45 | 231 |8784 | 231 |2453 | 17 | 34k|4300 | 0.000000e+00 | -- | Inf
156.75/156.89 c 157s| 52100 | 35 | 1033k| 19.8 |9143k| 52 | - | 231 |8817 | 231 |2453 | 17 | 34k|4304 | 0.000000e+00 | -- | Inf
157.16/157.20 c 157s| 52200 | 33 | 1035k| 19.8 |9137k| 52 | - | 231 |8824 | 231 |2453 | 17 | 34k|4313 | 0.000000e+00 | -- | Inf
157.45/157.54 c 158s| 52300 | 32 | 1037k| 19.8 |9014k| 52 | 41 | 231 |8791 | 231 |2453 | 17 | 34k|4323 | 0.000000e+00 | -- | Inf
157.75/157.84 c 158s| 52400 | 28 | 1039k| 19.8 |8990k| 52 | - | 231 |8718 | 231 |2453 | 17 | 35k|4332 | 0.000000e+00 | -- | Inf
158.06/158.17 c 158s| 52500 | 28 | 1042k| 19.8 |8988k| 52 | - | 231 |8702 | 231 |2453 | 17 | 35k|4342 | 0.000000e+00 | -- | Inf
158.36/158.44 c 158s| 52600 | 28 | 1043k| 19.8 |8976k| 52 | 39 | 231 |8685 | 231 |2453 | 17 | 35k|4347 | 0.000000e+00 | -- | Inf
158.65/158.78 c 159s| 52700 | 24 | 1046k| 19.8 |8954k| 52 | 30 | 231 |8693 | 231 |2453 | 17 | 35k|4356 | 0.000000e+00 | -- | Inf
159.05/159.12 c 159s| 52800 | 21 | 1048k| 19.9 |8941k| 52 | 29 | 231 |8704 | 231 |2453 | 17 | 35k|4373 | 0.000000e+00 | -- | Inf
159.35/159.43 c 159s| 52900 | 19 | 1050k| 19.9 |8942k| 52 | 40 | 231 |8727 | 231 |2453 | 17 | 35k|4380 | 0.000000e+00 | -- | Inf
159.65/159.72 c 160s| 53000 | 17 | 1052k| 19.9 |8912k| 52 | - | 231 |8663 | 231 |2453 | 17 | 35k|4388 | 0.000000e+00 | -- | Inf
159.85/159.96 c 160s| 53100 | 17 | 1053k| 19.8 |8884k| 52 | - | 231 |8587 | 0 | 0 | 17 | 35k|4391 | 0.000000e+00 | -- | Inf
160.15/160.24 c 160s| 53200 | 17 | 1055k| 19.8 |8877k| 52 | - | 231 |8588 | 231 |2453 | 17 | 35k|4399 | 0.000000e+00 | -- | Inf
160.45/160.57 c 161s| 53300 | 14 | 1057k| 19.8 |8843k| 52 | 44 | 231 |8565 | 231 |2453 | 17 | 35k|4412 | 0.000000e+00 | -- | Inf
160.75/160.86 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.86 c 161s| 53400 | 10 | 1059k| 19.8 |8817k| 52 | - | 231 |8542 | 231 |2453 | 17 | 35k|4421 | 0.000000e+00 | -- | Inf
161.06/161.18 c 161s| 53500 | 10 | 1061k| 19.8 |8792k| 52 | 29 | 231 |8502 | 231 |2453 | 17 | 35k|4432 | 0.000000e+00 | -- | Inf
161.45/161.51 c 162s| 53600 | 5 | 1064k| 19.8 |8778k| 52 | - | 231 |8542 | 231 |2453 | 17 | 35k|4440 | 0.000000e+00 | -- | Inf
161.66/161.79 c
161.66/161.79 c SCIP Status : problem is solved [infeasible]
161.66/161.79 c Solving Time (sec) : 161.79
161.66/161.79 c Solving Nodes : 53695
161.66/161.79 c Primal Bound : +1.00000000000000e+20 (0 solutions)
161.66/161.79 c Dual Bound : +1.00000000000000e+20
161.66/161.79 c Gap : 0.00 %
161.66/161.79 s UNSATISFIABLE
161.66/161.79 c SCIP Status : problem is solved [infeasible]
161.66/161.79 c Total Time : 161.79
161.66/161.79 c solving : 161.79
161.66/161.79 c presolving : 0.07 (included in solving)
161.66/161.79 c reading : 0.01 (included in solving)
161.66/161.79 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
161.66/161.79 c Original Problem :
161.66/161.79 c Problem name : HOME/instance-3690411-1338016927.opb
161.66/161.79 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
161.66/161.79 c Constraints : 2707 initial, 2707 maximal
161.66/161.79 c Objective sense : minimize
161.66/161.79 c Presolved Problem :
161.66/161.79 c Problem name : t_HOME/instance-3690411-1338016927.opb
161.66/161.79 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
161.66/161.79 c Constraints : 2443 initial, 8833 maximal
161.66/161.79 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
161.66/161.79 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
161.66/161.79 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
161.66/161.79 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
161.66/161.79 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
161.66/161.79 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
161.66/161.79 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
161.66/161.79 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
161.66/161.79 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
161.66/161.79 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
161.66/161.79 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
161.66/161.79 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
161.66/161.79 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0
161.66/161.79 c setppc : 0.00 0.00 0 0 0 0 0 121 0 0 0
161.66/161.79 c linear : 0.02 0.00 0 0 0 0 0 143 0 0 0
161.66/161.79 c logicor : 0.03 0.00 0 0 0 0 0 0 0 0 0
161.66/161.79 c root node : - - 2 - - 2 - - - - -
161.66/161.79 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
161.66/161.79 c integral : 0 0 0 0 27946 0 1 0 101 1715 0 0 53966
161.66/161.79 c knapsack : 1 1 5 220563 0 0 0 15278 292 100800 0 0 0
161.66/161.79 c setppc : 22 22 5 220459 0 0 0 549744 1113 297829 0 0 0
161.66/161.79 c linear : 0+ 294 5 171099 0 0 0 376 1 3427 0 0 0
161.66/161.79 c logicor : 2420+ 8797 5 97905 0 0 0 225181 274 319486 0 0 0
161.66/161.79 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
161.66/161.79 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
161.66/161.79 c integral : 21.55 0.00 0.00 0.00 21.55 0.00 0.00 0.00
161.66/161.79 c knapsack : 0.41 0.00 0.00 0.38 0.00 0.00 0.00 0.03
161.66/161.79 c setppc : 1.52 0.00 0.00 1.01 0.00 0.00 0.00 0.51
161.66/161.79 c linear : 0.38 0.00 0.00 0.38 0.00 0.00 0.00 0.00
161.66/161.79 c logicor : 3.56 0.00 0.00 3.24 0.00 0.00 0.00 0.32
161.66/161.79 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
161.66/161.79 c Propagators : #Propagate #ResProp Cutoffs DomReds
161.66/161.79 c rootredcost : 0 0 0 0
161.66/161.79 c pseudoobj : 0 0 0 0
161.66/161.79 c vbounds : 0 0 0 0
161.66/161.79 c redcost : 27951 0 0 0
161.66/161.79 c probing : 0 0 0 0
161.66/161.79 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
161.66/161.79 c rootredcost : 0.19 0.00 0.00 0.19 0.00
161.66/161.79 c pseudoobj : 0.20 0.00 0.00 0.20 0.00
161.66/161.79 c vbounds : 0.18 0.00 0.00 0.18 0.00
161.66/161.79 c redcost : 0.22 0.00 0.00 0.22 0.00
161.66/161.79 c probing : 0.00 0.00 0.00 0.00 0.00
161.66/161.79 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
161.66/161.79 c propagation : 0.12 1680 1672 8216 19.8 35 14.3 -
161.66/161.79 c infeasible LP : 3.29 25197 24893 147413 31.4 67 15.2 0
161.66/161.79 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
161.66/161.79 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
161.66/161.79 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
161.66/161.79 c applied globally : - - - 34325 18.9 - - -
161.66/161.79 c applied locally : - - - 1524 33.9 - - -
161.66/161.79 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
161.66/161.79 c cut pool : 0.00 4 - - 302 - (maximal pool size: 514)
161.66/161.79 c closecuts : 0.00 0.00 0 0 0 0 0
161.66/161.79 c impliedbounds : 0.00 0.00 5 0 0 0 0
161.66/161.79 c intobj : 0.00 0.00 0 0 0 0 0
161.66/161.79 c gomory : 0.11 0.00 5 0 0 200 0
161.66/161.79 c cgmip : 0.00 0.00 0 0 0 0 0
161.66/161.79 c strongcg : 0.20 0.00 5 0 0 2500 0
161.66/161.79 c cmir : 0.00 0.00 0 0 0 0 0
161.66/161.79 c flowcover : 0.00 0.00 0 0 0 0 0
161.66/161.79 c clique : 0.00 0.00 5 0 0 0 0
161.66/161.79 c zerohalf : 0.00 0.00 0 0 0 0 0
161.66/161.79 c mcf : 0.00 0.00 1 0 0 0 0
161.66/161.79 c oddcycle : 0.00 0.00 0 0 0 0 0
161.66/161.79 c rapidlearning : 0.14 0.00 1 0 0 0 294
161.66/161.79 c Pricers : ExecTime SetupTime Calls Vars
161.66/161.79 c problem variables: 0.00 - 0 0
161.66/161.79 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
161.66/161.79 c relpscost : 21.48 0.00 27946 101 1715 0 0 53966
161.66/161.79 c pscost : 0.00 0.00 0 0 0 0 0 0
161.66/161.79 c inference : 0.00 0.00 0 0 0 0 0 0
161.66/161.79 c mostinf : 0.00 0.00 0 0 0 0 0 0
161.66/161.79 c leastinf : 0.00 0.00 0 0 0 0 0 0
161.66/161.79 c fullstrong : 0.00 0.00 0 0 0 0 0 0
161.66/161.79 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
161.66/161.79 c random : 0.00 0.00 0 0 0 0 0 0
161.66/161.79 c Primal Heuristics : ExecTime SetupTime Calls Found
161.66/161.79 c LP solutions : 0.00 - - 0
161.66/161.79 c pseudo solutions : 0.00 - - 0
161.66/161.79 c smallcard : 0.00 0.00 0 0
161.66/161.79 c trivial : 0.00 0.00 1 0
161.66/161.79 c shiftandpropagate: 0.00 0.00 0 0
161.66/161.79 c simplerounding : 0.00 0.00 0 0
161.66/161.79 c zirounding : 0.00 0.00 0 0
161.66/161.79 c rounding : 0.00 0.00 0 0
161.66/161.79 c shifting : 0.00 0.00 0 0
161.66/161.79 c intshifting : 0.00 0.00 0 0
161.66/161.79 c oneopt : 0.00 0.00 0 0
161.66/161.79 c twoopt : 0.00 0.00 0 0
161.66/161.79 c indtwoopt : 0.00 0.00 0 0
161.66/161.79 c indoneopt : 0.00 0.00 0 0
161.66/161.79 c fixandinfer : 0.00 0.00 0 0
161.66/161.79 c feaspump : 0.00 0.00 0 0
161.66/161.79 c clique : 0.00 0.00 0 0
161.66/161.79 c indrounding : 0.00 0.00 0 0
161.66/161.79 c indcoefdiving : 0.00 0.00 0 0
161.66/161.79 c coefdiving : 0.00 0.00 0 0
161.66/161.79 c pscostdiving : 0.00 0.00 0 0
161.66/161.79 c nlpdiving : 0.00 0.00 0 0
161.66/161.79 c fracdiving : 0.00 0.00 0 0
161.66/161.79 c veclendiving : 0.00 0.00 0 0
161.66/161.79 c intdiving : 0.00 0.00 0 0
161.66/161.79 c actconsdiving : 0.00 0.00 0 0
161.66/161.79 c objpscostdiving : 0.00 0.00 0 0
161.66/161.79 c rootsoldiving : 0.00 0.00 0 0
161.66/161.79 c linesearchdiving : 0.00 0.00 0 0
161.66/161.79 c guideddiving : 0.00 0.00 0 0
161.66/161.79 c octane : 0.00 0.00 0 0
161.66/161.79 c rens : 0.00 0.00 0 0
161.66/161.79 c rins : 0.00 0.00 0 0
161.66/161.79 c localbranching : 0.00 0.00 0 0
161.66/161.79 c mutation : 0.00 0.00 0 0
161.66/161.79 c crossover : 0.00 0.00 0 0
161.66/161.79 c dins : 0.00 0.00 0 0
161.66/161.79 c vbounds : 0.00 0.00 0 0
161.66/161.79 c undercover : 0.00 0.00 0 0
161.66/161.79 c subnlp : 0.00 0.00 0 0
161.66/161.79 c trysol : 0.00 0.00 0 0
161.66/161.79 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
161.66/161.79 c primal LP : 0.00 1 0 0.00 - 0.00 1
161.66/161.79 c dual LP : 116.03 53148 1065916 20.10 9186.75 0.04 107
161.66/161.79 c lex dual LP : 0.00 0 0 0.00 -
161.66/161.79 c barrier LP : 0.00 0 0 0.00 - 0.00 0
161.66/161.79 c diving/probing LP: 0.00 0 0 0.00 -
161.66/161.79 c strong branching : 20.99 4447 177655 39.95 8462.23
161.66/161.79 c (at root node) : - 10 1907 190.70 -
161.66/161.79 c conflict analysis: 0.00 0 0 0.00 -
161.66/161.79 c B&B Tree :
161.66/161.79 c number of runs : 1
161.66/161.79 c nodes : 53695
161.66/161.79 c nodes (total) : 53695
161.66/161.79 c nodes left : 0
161.66/161.79 c max depth : 52
161.66/161.79 c max depth (total): 52
161.66/161.79 c backtracks : 5627 (10.5%)
161.66/161.79 c delayed cutoffs : 272
161.66/161.79 c repropagations : 100038 (98112 domain reductions, 270 cutoffs)
161.66/161.79 c avg switch length: 5.50
161.66/161.79 c switching time : 4.40
161.66/161.79 c Solution :
161.66/161.79 c Solutions found : 0 (0 improvements)
161.66/161.79 c Primal Bound : infeasible
161.66/161.79 c Dual Bound : -
161.66/161.79 c Gap : 0.00 %
161.66/161.79 c Root Dual Bound : +0.00000000000000e+00
161.66/161.79 c Root Iterations : 146
161.76/161.80 c Time complete: 161.76.
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-3690411-1338016927/watcher-3690411-1338016927 -o /tmp/evaluation-result-3690411-1338016927/solver-3690411-1338016927 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690411-1338016927.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: 0.25 0.35 1.13 3/176 6161
/proc/meminfo: memFree=30020584/32873844 swapFree=7388/7388
[pid=6161] ppid=6159 vsize=10128 CPUtime=0 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4fix) R 6159 6161 6041 0 -1 4202496 1284 0 0 0 0 0 0 0 20 0 1 0 267817138 10371072 1239 33554432000 4194304 10173063 140733440548688 140735251727208 8800002 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6161/statm: 2532 1239 413 1460 0 1063 0
[startup+0.0520761 s]
/proc/loadavg: 0.25 0.35 1.13 3/176 6161
/proc/meminfo: memFree=30020584/32873844 swapFree=7388/7388
[pid=6161] ppid=6159 vsize=22552 CPUtime=0.04 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4fix) R 6159 6161 6041 0 -1 4202496 4441 0 0 0 3 1 0 0 20 0 1 0 267817138 23093248 4140 33554432000 4194304 10173063 140733440548688 140735251727208 8846904 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6161/statm: 5638 4145 567 1460 0 4169 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 22552
[startup+0.10025 s]
/proc/loadavg: 0.25 0.35 1.13 3/176 6161
/proc/meminfo: memFree=30020584/32873844 swapFree=7388/7388
[pid=6161] ppid=6159 vsize=29056 CPUtime=0.09 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4fix) R 6159 6161 6041 0 -1 4202496 6305 0 0 0 6 3 0 0 20 0 1 0 267817138 29753344 5963 33554432000 4194304 10173063 140733440548688 140735251727208 8886411 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6161/statm: 7264 5965 750 1460 0 5795 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29056
[startup+0.300223 s]
/proc/loadavg: 0.25 0.35 1.13 3/176 6161
/proc/meminfo: memFree=30020584/32873844 swapFree=7388/7388
[pid=6161] ppid=6159 vsize=46928 CPUtime=0.29 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4fix) R 6159 6161 6041 0 -1 4202496 10632 0 0 0 20 9 0 0 20 0 1 0 267817138 48054272 10288 33554432000 4194304 10173063 140733440548688 140735251727208 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6161/statm: 11732 10288 821 1460 0 10263 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46928
[startup+0.700194 s]
/proc/loadavg: 0.25 0.35 1.13 3/176 6161
/proc/meminfo: memFree=30020584/32873844 swapFree=7388/7388
[pid=6161] ppid=6159 vsize=47260 CPUtime=0.69 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4fix) R 6159 6161 6041 0 -1 4202496 10806 0 0 0 59 10 0 0 20 0 1 0 267817138 48394240 10462 33554432000 4194304 10173063 140733440548688 140733440543528 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6161/statm: 11815 10462 830 1460 0 10346 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47260
[startup+1.50019 s]
/proc/loadavg: 0.25 0.35 1.13 3/177 6162
/proc/meminfo: memFree=29982384/32873844 swapFree=7388/7388
[pid=6161] ppid=6159 vsize=47260 CPUtime=1.49 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4fix) R 6159 6161 6041 0 -1 4202496 10810 0 0 0 138 11 0 0 20 0 1 0 267817138 48394240 10466 33554432000 4194304 10173063 140733440548688 140733440542184 8016789 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6161/statm: 11815 10466 834 1460 0 10346 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47260
[startup+3.10018 s]
/proc/loadavg: 0.25 0.35 1.13 3/177 6162
/proc/meminfo: memFree=29981268/32873844 swapFree=7388/7388
[pid=6161] ppid=6159 vsize=47260 CPUtime=3.09 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4fix) R 6159 6161 6041 0 -1 4202496 10811 0 0 0 296 13 0 0 20 0 1 0 267817138 48394240 10467 33554432000 4194304 10173063 140733440548688 140733440542520 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6161/statm: 11815 10467 835 1460 0 10346 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47260
[startup+6.30019 s]
/proc/loadavg: 0.39 0.38 1.13 3/177 6162
/proc/meminfo: memFree=29980796/32873844 swapFree=7388/7388
[pid=6161] ppid=6159 vsize=47260 CPUtime=6.29 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4fix) R 6159 6161 6041 0 -1 4202496 10811 0 0 0 613 16 0 0 20 0 1 0 267817138 48394240 10467 33554432000 4194304 10173063 140733440548688 140733440542184 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6161/statm: 11815 10467 835 1460 0 10346 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47260
[startup+12.7002 s]
/proc/loadavg: 0.52 0.40 1.13 3/177 6162
/proc/meminfo: memFree=29980456/32873844 swapFree=7388/7388
[pid=6161] ppid=6159 vsize=47260 CPUtime=12.69 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4fix) R 6159 6161 6041 0 -1 4202496 10812 0 0 0 1240 29 0 0 20 0 1 0 267817138 48394240 10468 33554432000 4194304 10173063 140733440548688 140733440541944 7896351 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6161/statm: 11815 10468 836 1460 0 10346 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47260
[startup+25.5003 s]
/proc/loadavg: 0.85 0.48 1.15 3/177 6162
/proc/meminfo: memFree=29979992/32873844 swapFree=7388/7388
[pid=6161] ppid=6159 vsize=47260 CPUtime=25.48 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4fix) R 6159 6161 6041 0 -1 4202496 10816 0 0 0 2467 81 0 0 20 0 1 0 267817138 48394240 10468 33554432000 4194304 10173063 140733440548688 140733440544488 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6161/statm: 11815 10468 836 1460 0 10346 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 47260
[startup+51.1003 s]
/proc/loadavg: 1.24 0.60 1.17 3/177 6162
/proc/meminfo: memFree=29977368/32873844 swapFree=7388/7388
[pid=6161] ppid=6159 vsize=47260 CPUtime=51.06 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4fix) R 6159 6161 6041 0 -1 4202496 10822 0 0 0 4793 313 0 0 20 0 1 0 267817138 48394240 10980 33554432000 4194304 10173063 140733440548688 140733440542328 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 11815 10980 836 1460 0 10346 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 47260
[startup+102.306 s]
/proc/loadavg: 1.67 0.81 1.21 3/177 6163
/proc/meminfo: memFree=29977244/32873844 swapFree=7388/7388
[pid=6161] ppid=6159 vsize=47260 CPUtime=102.27 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4fix) R 6159 6161 6041 0 -1 4202496 10822 0 0 0 9683 544 0 0 20 0 1 0 267817138 48394240 10980 33554432000 4194304 10173063 140733440548688 140733440546056 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 11815 10980 836 1460 0 10346 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 47260
Solver just ended. Dumping a history of the last processes samples
[startup+127.9 s]
/proc/loadavg: 1.78 0.91 1.23 3/177 6163
/proc/meminfo: memFree=29977244/32873844 swapFree=7388/7388
[pid=6161] ppid=6159 vsize=47260 CPUtime=127.86 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4fix) R 6159 6161 6041 0 -1 4202496 10822 0 0 0 12139 647 0 0 20 0 1 0 267817138 48394240 10980 33554432000 4194304 10173063 140733440548688 140733440542360 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 11815 10980 836 1460 0 10346 0
Current children cumulated CPU time (s) 127.86
Current children cumulated vsize (KiB) 47260
[startup+140.7 s]
/proc/loadavg: 1.83 0.96 1.24 3/177 6163
/proc/meminfo: memFree=29977244/32873844 swapFree=7388/7388
[pid=6161] ppid=6159 vsize=47260 CPUtime=140.66 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4fix) R 6159 6161 6041 0 -1 4202496 10822 0 0 0 13365 701 0 0 20 0 1 0 267817138 48394240 10980 33554432000 4194304 10173063 140733440548688 140733440541944 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 11815 10980 836 1460 0 10346 0
Current children cumulated CPU time (s) 140.66
Current children cumulated vsize (KiB) 47260
[startup+153.5 s]
/proc/loadavg: 1.85 0.99 1.25 3/177 6163
/proc/meminfo: memFree=29976872/32873844 swapFree=7388/7388
[pid=6161] ppid=6159 vsize=47260 CPUtime=153.45 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4fix) R 6159 6161 6041 0 -1 4202496 10822 0 0 0 14590 755 0 0 20 0 1 0 267817138 48394240 10980 33554432000 4194304 10173063 140733440548688 140733440541672 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 11815 10980 836 1460 0 10346 0
Current children cumulated CPU time (s) 153.45
Current children cumulated vsize (KiB) 47260
[startup+156.7 s]
/proc/loadavg: 1.87 1.01 1.25 3/177 6163
/proc/meminfo: memFree=29976748/32873844 swapFree=7388/7388
[pid=6161] ppid=6159 vsize=47260 CPUtime=156.65 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4fix) R 6159 6161 6041 0 -1 4202496 10822 0 0 0 14899 766 0 0 20 0 1 0 267817138 48394240 10980 33554432000 4194304 10173063 140733440548688 140733440541304 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 11815 10980 836 1460 0 10346 0
Current children cumulated CPU time (s) 156.65
Current children cumulated vsize (KiB) 47260
[startup+159.9 s]
/proc/loadavg: 1.88 1.03 1.26 3/177 6163
/proc/meminfo: memFree=29976624/32873844 swapFree=7388/7388
[pid=6161] ppid=6159 vsize=47260 CPUtime=159.85 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4fix) R 6159 6161 6041 0 -1 4202496 10822 0 0 0 15205 780 0 0 20 0 1 0 267817138 48394240 10980 33554432000 4194304 10173063 140733440548688 140733440541944 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 11815 10980 836 1460 0 10346 0
Current children cumulated CPU time (s) 159.85
Current children cumulated vsize (KiB) 47260
[startup+160.7 s]
/proc/loadavg: 1.88 1.03 1.26 3/177 6163
/proc/meminfo: memFree=29976624/32873844 swapFree=7388/7388
[pid=6161] ppid=6159 vsize=47260 CPUtime=160.65 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4fix) R 6159 6161 6041 0 -1 4202496 10824 0 0 0 15281 784 0 0 20 0 1 0 267817138 48394240 10982 33554432000 4194304 10173063 140733440548688 140733440541960 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 11815 10982 838 1460 0 10346 0
Current children cumulated CPU time (s) 160.65
Current children cumulated vsize (KiB) 47260
[startup+161.5 s]
/proc/loadavg: 1.88 1.03 1.26 3/177 6163
/proc/meminfo: memFree=29976624/32873844 swapFree=7388/7388
[pid=6161] ppid=6159 vsize=47260 CPUtime=161.45 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4fix) R 6159 6161 6041 0 -1 4202496 10824 0 0 0 15358 787 0 0 20 0 1 0 267817138 48394240 10982 33554432000 4194304 10173063 140733440548688 140733440542328 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 11815 10982 838 1460 0 10346 0
Current children cumulated CPU time (s) 161.45
Current children cumulated vsize (KiB) 47260
[startup+161.706 s]
/proc/loadavg: 1.88 1.03 1.26 3/177 6163
/proc/meminfo: memFree=29976500/32873844 swapFree=7388/7388
[pid=6161] ppid=6159 vsize=47260 CPUtime=161.66 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4fix) R 6159 6161 6041 0 -1 4202496 10824 0 0 0 15378 788 0 0 20 0 1 0 267817138 48394240 10982 33554432000 4194304 10173063 140733440548688 140733440542328 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 11815 10982 838 1460 0 10346 0
Current children cumulated CPU time (s) 161.66
Current children cumulated vsize (KiB) 47260
[startup+161.8 s]
/proc/loadavg: 1.88 1.03 1.26 3/177 6163
/proc/meminfo: memFree=29976500/32873844 swapFree=7388/7388
[pid=6161] ppid=6159 vsize=45848 CPUtime=161.76 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4fix) R 6159 6161 6041 0 -1 4202496 10827 0 0 0 15387 789 0 0 20 0 1 0 267817138 46948352 10632 33554432000 4194304 10173063 140733440548688 140733440542328 5551112 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 11462 10632 841 1460 0 9993 0
Current children cumulated CPU time (s) 161.76
Current children cumulated vsize (KiB) 45848
Child status: 0
Real time (s): 161.805
CPU time (s): 161.766
CPU user time (s): 153.874
CPU system time (s): 7.8928
CPU usage (%): 99.9759
Max. virtual memory (cumulated for all children) (KiB): 47260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 153.874
system time used= 7.8928
maximum resident set size= 43940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10829
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 368
runsolver used 0.272958 second user time and 0.838872 second system time
The end