0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3691605-1338021655.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.01 c presolving:
0.03/0.04 c (round 1) 0 del vars, 143 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs
0.03/0.04 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.03/0.05 c (round 3) 0 del vars, 264 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.03/0.06 c presolving (4 rounds):
0.03/0.06 c 0 deleted vars, 264 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.03/0.06 c 242 implications, 22 cliques
0.03/0.06 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2443 constraints
0.03/0.06 c 1 constraints of type <knapsack>
0.03/0.06 c 22 constraints of type <setppc>
0.03/0.06 c 2420 constraints of type <logicor>
0.03/0.06 c transformed objective value is always integral (scale: 1)
0.03/0.06 c Presolving Time: 0.05
0.03/0.06 c - non default parameters ----------------------------------------------------------------------
0.03/0.06 c # SCIP version 2.1.1.4
0.03/0.06 c
0.03/0.06 c # maximal time in seconds to run
0.03/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.06 c limits/time = 1797
0.03/0.06 c
0.03/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.03/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.06 c limits/memory = 13950
0.03/0.06 c
0.03/0.06 c # solving stops, if the given number of solutions were found (-1: no limit)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.03/0.06 c limits/solutions = 1
0.03/0.06 c
0.03/0.06 c # maximal number of separation rounds per node (-1: unlimited)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 5]
0.03/0.06 c separating/maxrounds = 1
0.03/0.06 c
0.03/0.06 c # maximal number of separation rounds in the root node (-1: unlimited)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.03/0.06 c separating/maxroundsroot = 5
0.03/0.06 c
0.03/0.06 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.03/0.06 c # [type: int, range: [1,2], default: 1]
0.03/0.06 c timing/clocktype = 2
0.03/0.06 c
0.03/0.06 c # belongs reading time to solving time?
0.03/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.06 c timing/reading = TRUE
0.03/0.06 c
0.03/0.06 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.03/0.06 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.03/0.06 c constraints/knapsack/disaggregation = FALSE
0.03/0.06 c
0.03/0.06 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.03/0.06 c heuristics/coefdiving/freq = -1
0.03/0.06 c
0.03/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.03/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.03/0.06 c heuristics/coefdiving/maxlpiterquot = 0.075
0.03/0.06 c
0.03/0.06 c # additional number of allowed LP iterations
0.03/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.03/0.06 c heuristics/coefdiving/maxlpiterofs = 1500
0.03/0.06 c
0.03/0.06 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 30]
0.03/0.06 c heuristics/crossover/freq = -1
0.03/0.06 c
0.03/0.06 c # number of nodes added to the contingent of the total nodes
0.03/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.03/0.06 c heuristics/crossover/nodesofs = 750
0.03/0.06 c
0.03/0.06 c # number of nodes without incumbent change that heuristic should wait
0.03/0.06 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.03/0.06 c heuristics/crossover/nwaitingnodes = 100
0.03/0.06 c
0.03/0.06 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.03/0.06 c # [type: real, range: [0,1], default: 0.1]
0.03/0.06 c heuristics/crossover/nodesquot = 0.15
0.03/0.06 c
0.03/0.06 c # minimum percentage of integer variables that have to be fixed
0.03/0.06 c # [type: real, range: [0,1], default: 0.666]
0.03/0.06 c heuristics/crossover/minfixingrate = 0.5
0.03/0.06 c
0.03/0.06 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.03/0.06 c heuristics/feaspump/freq = -1
0.03/0.06 c
0.03/0.06 c # additional number of allowed LP iterations
0.03/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.03/0.06 c heuristics/feaspump/maxlpiterofs = 2000
0.03/0.06 c
0.03/0.06 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.03/0.06 c heuristics/fracdiving/freq = -1
0.03/0.06 c
0.03/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.03/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.03/0.06 c heuristics/fracdiving/maxlpiterquot = 0.075
0.03/0.06 c
0.03/0.06 c # additional number of allowed LP iterations
0.03/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.03/0.06 c heuristics/fracdiving/maxlpiterofs = 1500
0.03/0.06 c
0.03/0.06 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.03/0.06 c heuristics/guideddiving/freq = -1
0.03/0.06 c
0.03/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.03/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.03/0.06 c heuristics/guideddiving/maxlpiterquot = 0.075
0.03/0.06 c
0.03/0.06 c # additional number of allowed LP iterations
0.03/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.03/0.06 c heuristics/guideddiving/maxlpiterofs = 1500
0.03/0.06 c
0.03/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.03/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.03/0.06 c heuristics/intdiving/maxlpiterquot = 0.075
0.03/0.06 c
0.03/0.06 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.03/0.06 c heuristics/intshifting/freq = -1
0.03/0.06 c
0.03/0.06 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.03/0.06 c heuristics/linesearchdiving/freq = -1
0.03/0.06 c
0.03/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.03/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.03/0.06 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.03/0.06 c
0.03/0.06 c # additional number of allowed LP iterations
0.03/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.03/0.06 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.03/0.06 c
0.03/0.06 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.03/0.06 c heuristics/objpscostdiving/freq = -1
0.03/0.06 c
0.03/0.06 c # maximal fraction of diving LP iterations compared to total iteration number
0.03/0.06 c # [type: real, range: [0,1], default: 0.01]
0.03/0.06 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.03/0.06 c
0.03/0.06 c # additional number of allowed LP iterations
0.03/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.03/0.06 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.03/0.06 c
0.03/0.06 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.03/0.06 c heuristics/oneopt/freq = -1
0.03/0.06 c
0.03/0.06 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.03/0.06 c heuristics/pscostdiving/freq = -1
0.03/0.06 c
0.03/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.03/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.03/0.06 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.03/0.06 c
0.03/0.06 c # additional number of allowed LP iterations
0.03/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.03/0.06 c heuristics/pscostdiving/maxlpiterofs = 1500
0.03/0.06 c
0.03/0.06 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.03/0.06 c heuristics/rens/freq = -1
0.03/0.06 c
0.03/0.06 c # minimum percentage of integer variables that have to be fixable
0.03/0.06 c # [type: real, range: [0,1], default: 0.5]
0.03/0.06 c heuristics/rens/minfixingrate = 0.3
0.03/0.06 c
0.03/0.06 c # number of nodes added to the contingent of the total nodes
0.03/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.03/0.06 c heuristics/rens/nodesofs = 2000
0.03/0.06 c
0.03/0.06 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.03/0.06 c heuristics/rootsoldiving/freq = -1
0.03/0.06 c
0.03/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.03/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.03/0.06 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.03/0.06 c
0.03/0.06 c # additional number of allowed LP iterations
0.03/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.03/0.06 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.03/0.06 c
0.03/0.06 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.03/0.06 c heuristics/rounding/freq = -1
0.03/0.06 c
0.03/0.06 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.03/0.06 c heuristics/shiftandpropagate/freq = -1
0.03/0.06 c
0.03/0.06 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.03/0.06 c heuristics/shifting/freq = -1
0.03/0.06 c
0.03/0.06 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.03/0.06 c heuristics/simplerounding/freq = -1
0.03/0.06 c
0.03/0.06 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.03/0.06 c heuristics/subnlp/freq = -1
0.03/0.06 c
0.03/0.06 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.03/0.06 c heuristics/trivial/freq = -1
0.03/0.06 c
0.03/0.06 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.03/0.06 c heuristics/trysol/freq = -1
0.03/0.06 c
0.03/0.06 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.03/0.06 c heuristics/undercover/freq = -1
0.03/0.06 c
0.03/0.06 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.03/0.06 c heuristics/veclendiving/freq = -1
0.03/0.06 c
0.03/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.03/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.03/0.06 c heuristics/veclendiving/maxlpiterquot = 0.075
0.03/0.06 c
0.03/0.06 c # additional number of allowed LP iterations
0.03/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.03/0.06 c heuristics/veclendiving/maxlpiterofs = 1500
0.03/0.06 c
0.03/0.06 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.03/0.06 c heuristics/zirounding/freq = -1
0.03/0.06 c
0.03/0.06 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.03/0.06 c propagating/probing/maxprerounds = 0
0.03/0.06 c
0.03/0.06 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.03/0.06 c separating/cmir/freq = -1
0.03/0.06 c
0.03/0.06 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.03/0.06 c separating/flowcover/freq = -1
0.03/0.06 c
0.03/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.03/0.06 c separating/rapidlearning/freq = 0
0.03/0.06 c
0.03/0.06 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.03/0.06 c heuristics/indoneopt/freq = -1
0.03/0.06 c
0.03/0.06 c -----------------------------------------------------------------------------------------------
0.03/0.06 c start solving
0.03/0.06 c
0.03/0.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.03/0.07 c 0.1s| 1 | 0 | 76 | - |4259k| 0 | 36 | 231 |2443 | 231 |2443 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 c 0.2s| 1 | 0 | 90 | - |4746k| 0 | 39 | 231 |2778 | 231 |2450 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.23 c 0.2s| 1 | 0 | 105 | - |5074k| 0 | 45 | 231 |2778 | 231 |2454 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.27 c 0.3s| 1 | 0 | 120 | - |5513k| 0 | 46 | 231 |2778 | 231 |2455 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.31 c 0.3s| 1 | 0 | 139 | - |5956k| 0 | 47 | 231 |2778 | 231 |2457 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.47 c 0.5s| 1 | 0 | 146 | - |6297k| 0 | 51 | 231 |2778 | 231 |2460 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.66 c 0.7s| 1 | 2 | 146 | - |6297k| 0 | 51 | 231 |2778 | 231 |2460 | 17 | 0 | 9 | 0.000000e+00 | -- | Inf
8.79/8.83 c 8.8s| 100 | 9 | 5466 | 53.7 |6424k| 19 | 37 | 231 |2804 | 231 |2453 | 17 | 27 |1232 | 0.000000e+00 | -- | Inf
9.89/9.94 c 9.9s| 200 | 16 | 8094 | 39.9 |6478k| 19 | 37 | 231 |2877 | 231 |2453 | 17 | 100 |1392 | 0.000000e+00 | -- | Inf
10.38/10.45 c 10.4s| 300 | 20 | 9844 | 32.4 |6520k| 19 | 29 | 231 |2955 | 231 |2453 | 17 | 178 |1456 | 0.000000e+00 | -- | Inf
10.68/10.77 c 10.8s| 400 | 21 | 11600 | 28.7 |6550k| 19 | 37 | 231 |3026 | 231 |2453 | 17 | 249 |1480 | 0.000000e+00 | -- | Inf
11.09/11.14 c 11.1s| 500 | 19 | 13704 | 27.2 |6569k| 23 | 40 | 231 |3103 | 231 |2453 | 17 | 326 |1506 | 0.000000e+00 | -- | Inf
11.39/11.44 c 11.4s| 600 | 19 | 15897 | 26.3 |6599k| 23 | 35 | 231 |3175 | 231 |2453 | 17 | 398 |1511 | 0.000000e+00 | -- | Inf
11.68/11.73 c 11.7s| 700 | 23 | 18009 | 25.6 |6635k| 23 | 30 | 231 |3240 | 231 |2453 | 17 | 464 |1520 | 0.000000e+00 | -- | Inf
11.88/11.99 c 12.0s| 800 | 21 | 19781 | 24.6 |6661k| 24 | - | 231 |3316 | 231 |2453 | 17 | 540 |1528 | 0.000000e+00 | -- | Inf
12.19/12.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.19/12.28 c 12.3s| 900 | 20 | 21970 | 24.3 |6693k| 24 | 39 | 231 |3404 | 231 |2453 | 17 | 628 |1533 | 0.000000e+00 | -- | Inf
12.48/12.58 c 12.6s| 1000 | 24 | 24305 | 24.2 |6733k| 24 | - | 231 |3472 | 231 |2453 | 17 | 696 |1538 | 0.000000e+00 | -- | Inf
12.78/12.83 c 12.8s| 1100 | 28 | 26296 | 23.8 |6767k| 24 | 34 | 231 |3548 | 231 |2453 | 17 | 774 |1539 | 0.000000e+00 | -- | Inf
13.08/13.13 c 13.1s| 1200 | 28 | 28614 | 23.7 |6806k| 28 | 28 | 231 |3633 | 231 |2453 | 17 | 862 |1544 | 0.000000e+00 | -- | Inf
13.38/13.42 c 13.4s| 1300 | 26 | 30498 | 23.4 |6840k| 28 | - | 231 |3720 | 231 |2453 | 17 | 951 |1553 | 0.000000e+00 | -- | Inf
13.68/13.75 c 13.7s| 1400 | 30 | 32621 | 23.2 |6874k| 28 | 34 | 231 |3787 | 231 |2453 | 17 |1022 |1573 | 0.000000e+00 | -- | Inf
13.98/14.06 c 14.1s| 1500 | 29 | 34574 | 23.0 |6909k| 28 | - | 231 |3867 | 231 |2453 | 17 |1107 |1590 | 0.000000e+00 | -- | Inf
14.38/14.42 c 14.4s| 1600 | 29 | 36720 | 22.9 |6934k| 28 | 42 | 231 |3946 | 231 |2453 | 17 |1189 |1617 | 0.000000e+00 | -- | Inf
14.68/14.73 c 14.7s| 1700 | 33 | 38523 | 22.6 |6968k| 28 | 33 | 231 |4005 | 231 |2453 | 17 |1251 |1635 | 0.000000e+00 | -- | Inf
14.98/15.08 c 15.1s| 1800 | 34 | 40716 | 22.6 |6997k| 28 | 31 | 231 |4074 | 231 |2453 | 17 |1322 |1655 | 0.000000e+00 | -- | Inf
15.28/15.37 c 15.4s| 1900 | 32 | 42841 | 22.5 |7017k| 28 | 34 | 231 |4142 | 231 |2453 | 17 |1398 |1660 | 0.000000e+00 | -- | Inf
15.58/15.67 c 15.7s| 2000 | 37 | 44855 | 22.4 |7057k| 28 | - | 231 |4200 | 231 |2453 | 17 |1460 |1671 | 0.000000e+00 | -- | Inf
15.88/15.96 c 16.0s| 2100 | 37 | 47164 | 22.4 |7087k| 28 | - | 231 |4274 | 231 |2453 | 17 |1535 |1675 | 0.000000e+00 | -- | Inf
16.18/16.25 c 16.3s| 2200 | 40 | 49481 | 22.4 |7116k| 30 | 35 | 231 |4335 | 231 |2453 | 17 |1601 |1679 | 0.000000e+00 | -- | Inf
16.49/16.53 c 16.5s| 2300 | 38 | 51693 | 22.4 |7151k| 31 | - | 231 |4411 | 231 |2453 | 17 |1680 |1682 | 0.000000e+00 | -- | Inf
16.77/16.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.77/16.84 c 16.8s| 2400 | 36 | 54298 | 22.6 |7174k| 31 | 40 | 231 |4487 | 231 |2453 | 17 |1761 |1682 | 0.000000e+00 | -- | Inf
17.08/17.14 c 17.1s| 2500 | 34 | 56712 | 22.6 |7198k| 33 | 36 | 231 |4559 | 231 |2453 | 17 |1838 |1684 | 0.000000e+00 | -- | Inf
17.38/17.42 c 17.4s| 2600 | 34 | 58812 | 22.6 |7231k| 33 | 42 | 231 |4636 | 231 |2453 | 17 |1930 |1688 | 0.000000e+00 | -- | Inf
17.58/17.68 c 17.7s| 2700 | 34 | 60894 | 22.5 |7236k| 33 | 31 | 231 |4666 | 231 |2453 | 17 |1997 |1688 | 0.000000e+00 | -- | Inf
17.88/17.94 c 17.9s| 2800 | 39 | 62997 | 22.5 |7282k| 33 | 30 | 231 |4741 | 231 |2453 | 17 |2088 |1689 | 0.000000e+00 | -- | Inf
18.18/18.20 c 18.2s| 2900 | 37 | 65013 | 22.4 |7271k| 33 | 34 | 231 |4746 | 231 |2453 | 17 |2162 |1689 | 0.000000e+00 | -- | Inf
18.38/18.46 c 18.5s| 3000 | 34 | 67035 | 22.3 |7292k| 33 | 22 | 231 |4818 | 231 |2453 | 17 |2240 |1689 | 0.000000e+00 | -- | Inf
18.79/18.81 c 18.8s| 3100 | 33 | 69434 | 22.4 |7326k| 33 | - | 231 |4895 | 231 |2453 | 17 |2333 |1703 | 0.000000e+00 | -- | Inf
19.08/19.14 c 19.1s| 3200 | 33 | 71759 | 22.4 |7340k| 33 | - | 231 |4951 | 231 |2453 | 17 |2424 |1713 | 0.000000e+00 | -- | Inf
19.48/19.52 c 19.5s| 3300 | 33 | 74184 | 22.4 |7356k| 33 | 42 | 231 |5014 | 231 |2453 | 17 |2516 |1732 | 0.000000e+00 | -- | Inf
19.78/19.86 c 19.9s| 3400 | 33 | 76524 | 22.5 |7385k| 33 | - | 231 |5081 | 231 |2453 | 17 |2589 |1747 | 0.000000e+00 | -- | Inf
20.08/20.15 c 20.2s| 3500 | 39 | 78396 | 22.4 |7416k| 33 | 29 | 231 |5135 | 231 |2453 | 17 |2651 |1761 | 0.000000e+00 | -- | Inf
20.48/20.55 c 20.6s| 3600 | 34 | 80931 | 22.4 |7441k| 33 | - | 231 |5214 | 231 |2453 | 17 |2735 |1786 | 0.000000e+00 | -- | Inf
20.89/20.96 c 21.0s| 3700 | 28 | 83532 | 22.5 |7462k| 33 | - | 231 |5299 | 231 |2453 | 17 |2835 |1809 | 0.000000e+00 | -- | Inf
21.28/21.30 c 21.3s| 3800 | 31 | 85523 | 22.5 |7498k| 33 | - | 231 |5328 | 231 |2453 | 17 |2907 |1826 | 0.000000e+00 | -- | Inf
21.48/21.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.48/21.57 c 21.6s| 3900 | 33 | 87253 | 22.3 |7517k| 33 | 32 | 231 |5371 | 231 |2453 | 17 |2978 |1838 | 0.000000e+00 | -- | Inf
21.78/21.86 c 21.9s| 4000 | 32 | 88988 | 22.2 |7533k| 33 | 30 | 231 |5421 | 231 |2453 | 17 |3038 |1854 | 0.000000e+00 | -- | Inf
22.18/22.22 c 22.2s| 4100 | 34 | 91183 | 22.2 |7546k| 33 | 35 | 231 |5460 | 231 |2453 | 17 |3103 |1876 | 0.000000e+00 | -- | Inf
22.48/22.58 c 22.6s| 4200 | 38 | 93483 | 22.2 |7568k| 33 | 34 | 231 |5485 | 231 |2453 | 17 |3178 |1894 | 0.000000e+00 | -- | Inf
22.78/22.89 c 22.9s| 4300 | 45 | 95815 | 22.3 |7599k| 33 | - | 231 |5485 | 231 |2453 | 17 |3256 |1899 | 0.000000e+00 | -- | Inf
23.09/23.18 c 23.2s| 4400 | 46 | 98032 | 22.3 |7611k| 33 | - | 231 |5507 | 231 |2453 | 17 |3328 |1901 | 0.000000e+00 | -- | Inf
23.38/23.42 c 23.4s| 4500 | 45 | 99861 | 22.2 |7635k| 33 | - | 231 |5541 | 231 |2453 | 17 |3402 |1902 | 0.000000e+00 | -- | Inf
23.58/23.70 c 23.7s| 4600 | 43 |101927 | 22.1 |7641k| 33 | 44 | 231 |5579 | 231 |2453 | 17 |3469 |1905 | 0.000000e+00 | -- | Inf
23.88/23.96 c 24.0s| 4700 | 41 |103991 | 22.1 |7647k| 33 | - | 231 |5583 | 231 |2453 | 17 |3540 |1906 | 0.000000e+00 | -- | Inf
24.18/24.23 c 24.2s| 4800 | 41 |106127 | 22.1 |7645k| 33 | 35 | 231 |5598 | 231 |2453 | 17 |3617 |1907 | 0.000000e+00 | -- | Inf
24.37/24.48 c 24.5s| 4900 | 40 |108010 | 22.0 |7660k| 33 | - | 231 |5640 | 231 |2453 | 17 |3696 |1909 | 0.000000e+00 | -- | Inf
24.68/24.72 c 24.7s| 5000 | 40 |109834 | 21.9 |7686k| 33 | - | 231 |5705 | 231 |2453 | 17 |3776 |1911 | 0.000000e+00 | -- | Inf
24.97/25.00 c 25.0s| 5100 | 41 |111986 | 21.9 |7712k| 33 | 28 | 231 |5782 | 231 |2453 | 17 |3869 |1913 | 0.000000e+00 | -- | Inf
25.18/25.23 c 25.2s| 5200 | 43 |113847 | 21.9 |7744k| 33 | 22 | 231 |5856 | 231 |2453 | 17 |3950 |1913 | 0.000000e+00 | -- | Inf
25.38/25.47 c 25.5s| 5300 | 46 |115855 | 21.8 |7778k| 33 | - | 231 |5918 | 231 |2453 | 17 |4019 |1915 | 0.000000e+00 | -- | Inf
25.58/25.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.58/25.69 c 25.7s| 5400 | 44 |117589 | 21.8 |7795k| 33 | 33 | 231 |5979 | 231 |2453 | 17 |4083 |1915 | 0.000000e+00 | -- | Inf
25.88/25.93 c 25.9s| 5500 | 48 |119311 | 21.7 |7821k| 33 | 29 | 231 |6026 | 231 |2453 | 17 |4149 |1917 | 0.000000e+00 | -- | Inf
26.08/26.13 c 26.1s| 5600 | 49 |120767 | 21.5 |7839k| 33 | 34 | 231 |6073 | 231 |2453 | 17 |4201 |1918 | 0.000000e+00 | -- | Inf
26.28/26.31 c 26.3s| 5700 | 49 |122064 | 21.4 |7868k| 33 | - | 231 |6137 | 231 |2453 | 17 |4274 |1918 | 0.000000e+00 | -- | Inf
26.49/26.55 c 26.5s| 5800 | 54 |123609 | 21.3 |7897k| 33 | 31 | 231 |6188 | 231 |2453 | 17 |4334 |1928 | 0.000000e+00 | -- | Inf
26.78/26.80 c 26.8s| 5900 | 49 |125081 | 21.2 |7913k| 33 | 33 | 231 |6250 | 231 |2453 | 17 |4399 |1942 | 0.000000e+00 | -- | Inf
26.98/27.09 c 27.1s| 6000 | 45 |126754 | 21.1 |7920k| 33 | 25 | 231 |6305 | 231 |2453 | 17 |4461 |1958 | 0.000000e+00 | -- | Inf
27.38/27.43 c 27.4s| 6100 | 47 |128854 | 21.1 |7953k| 33 | 40 | 231 |6360 | 231 |2453 | 17 |4527 |1976 | 0.000000e+00 | -- | Inf
27.67/27.71 c 27.7s| 6200 | 44 |130586 | 21.0 |7963k| 34 | 37 | 231 |6407 | 231 |2453 | 17 |4586 |1988 | 0.000000e+00 | -- | Inf
27.98/28.01 c 28.0s| 6300 | 44 |132466 | 21.0 |7979k| 34 | 24 | 231 |6440 | 231 |2453 | 17 |4644 |2003 | 0.000000e+00 | -- | Inf
28.17/28.28 c 28.3s| 6400 | 41 |134290 | 21.0 |8007k| 34 | 41 | 231 |6526 | 231 |2453 | 17 |4743 |2009 | 0.000000e+00 | -- | Inf
28.58/28.60 c 28.6s| 6500 | 38 |136162 | 20.9 |8024k| 34 | 35 | 231 |6590 | 231 |2453 | 17 |4828 |2026 | 0.000000e+00 | -- | Inf
28.77/28.88 c 28.9s| 6600 | 40 |137867 | 20.9 |8056k| 34 | 24 | 231 |6643 | 231 |2453 | 17 |4897 |2039 | 0.000000e+00 | -- | Inf
29.08/29.18 c 29.2s| 6700 | 36 |139533 | 20.8 |8062k| 34 | 42 | 231 |6689 | 231 |2453 | 17 |4970 |2056 | 0.000000e+00 | -- | Inf
29.38/29.48 c 29.5s| 6800 | 36 |141293 | 20.8 |8093k| 34 | 40 | 231 |6739 | 231 |2453 | 17 |5060 |2070 | 0.000000e+00 | -- | Inf
29.68/29.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.68/29.80 c 29.8s| 6900 | 38 |143358 | 20.8 |8122k| 34 | - | 231 |6773 | 231 |2453 | 17 |5151 |2083 | 0.000000e+00 | -- | Inf
29.98/30.09 c 30.1s| 7000 | 38 |145099 | 20.7 |8127k| 34 | - | 231 |6758 | 231 |2453 | 17 |5224 |2097 | 0.000000e+00 | -- | Inf
30.38/30.41 c 30.4s| 7100 | 38 |147094 | 20.7 |8147k| 34 | - | 231 |6811 | 231 |2453 | 17 |5299 |2115 | 0.000000e+00 | -- | Inf
30.67/30.79 c 30.8s| 7200 | 38 |149209 | 20.7 |8147k| 34 | 28 | 231 |6755 | 231 |2453 | 17 |5367 |2137 | 0.000000e+00 | -- | Inf
31.07/31.13 c 31.1s| 7300 | 39 |151517 | 20.7 |8129k| 34 | 40 | 231 |6713 | 231 |2453 | 17 |5450 |2148 | 0.000000e+00 | -- | Inf
31.38/31.47 c 31.5s| 7400 | 45 |153800 | 20.8 |8170k| 34 | - | 231 |6758 | 231 |2453 | 17 |5533 |2165 | 0.000000e+00 | -- | Inf
31.78/31.81 c 31.8s| 7500 | 47 |156381 | 20.8 |8189k| 34 | 36 | 231 |6801 | 231 |2453 | 17 |5607 |2170 | 0.000000e+00 | -- | Inf
31.98/32.08 c 32.1s| 7600 | 46 |158477 | 20.8 |8208k| 34 | 41 | 231 |6865 | 231 |2453 | 17 |5686 |2173 | 0.000000e+00 | -- | Inf
32.27/32.38 c 32.4s| 7700 | 49 |160925 | 20.9 |8242k| 34 | 31 | 231 |6932 | 231 |2453 | 17 |5765 |2175 | 0.000000e+00 | -- | Inf
32.68/32.70 c 32.7s| 7800 | 46 |163544 | 21.0 |8263k| 34 | - | 231 |7004 | 231 |2453 | 17 |5849 |2176 | 0.000000e+00 | -- | Inf
32.88/32.99 c 33.0s| 7900 | 47 |165963 | 21.0 |8289k| 34 | 39 | 231 |7074 | 231 |2453 | 17 |5926 |2176 | 0.000000e+00 | -- | Inf
33.18/33.29 c 33.3s| 8000 | 45 |168363 | 21.0 |8313k| 40 | - | 231 |7135 | 0 | 0 | 17 |5992 |2177 | 0.000000e+00 | -- | Inf
33.47/33.55 c 33.5s| 8100 | 45 |170413 | 21.0 |8334k| 40 | - | 231 |7162 | 231 |2453 | 17 |6061 |2177 | 0.000000e+00 | -- | Inf
33.78/33.81 c 33.8s| 8200 | 44 |172444 | 21.0 |8352k| 40 | - | 231 |7221 | 231 |2453 | 17 |6164 |2178 | 0.000000e+00 | -- | Inf
33.98/34.06 c 34.1s| 8300 | 42 |174324 | 21.0 |8355k| 40 | 25 | 231 |7243 | 231 |2453 | 17 |6238 |2178 | 0.000000e+00 | -- | Inf
34.28/34.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.28/34.35 c 34.4s| 8400 | 40 |176700 | 21.0 |8361k| 40 | - | 231 |7240 | 231 |2453 | 17 |6335 |2178 | 0.000000e+00 | -- | Inf
34.58/34.61 c 34.6s| 8500 | 47 |178821 | 21.0 |8377k| 40 | 38 | 231 |7252 | 231 |2453 | 17 |6400 |2178 | 0.000000e+00 | -- | Inf
34.77/34.87 c 34.9s| 8600 | 51 |180981 | 21.0 |8414k| 40 | 38 | 231 |7314 | 231 |2453 | 17 |6492 |2178 | 0.000000e+00 | -- | Inf
35.08/35.12 c 35.1s| 8700 | 48 |182961 | 21.0 |8428k| 40 | 33 | 231 |7368 | 231 |2453 | 17 |6586 |2178 | 0.000000e+00 | -- | Inf
35.37/35.40 c 35.4s| 8800 | 50 |184753 | 21.0 |8453k| 40 | 37 | 231 |7422 | 231 |2453 | 17 |6661 |2192 | 0.000000e+00 | -- | Inf
35.47/35.58 c 35.6s| 8900 | 52 |185991 | 20.9 |8486k| 40 | - | 231 |7489 | 231 |2453 | 17 |6737 |2193 | 0.000000e+00 | -- | Inf
35.68/35.78 c 35.8s| 9000 | 56 |187261 | 20.8 |8515k| 40 | 30 | 231 |7552 | 231 |2453 | 17 |6809 |2202 | 0.000000e+00 | -- | Inf
35.97/36.00 c 36.0s| 9100 | 53 |188452 | 20.7 |8531k| 40 | 30 | 231 |7624 | 231 |2453 | 17 |6886 |2217 | 0.000000e+00 | -- | Inf
36.18/36.27 c 36.3s| 9200 | 51 |190270 | 20.7 |8552k| 40 | - | 231 |7674 | 231 |2453 | 17 |6954 |2228 | 0.000000e+00 | -- | Inf
36.48/36.54 c 36.5s| 9300 | 53 |191821 | 20.6 |8581k| 40 | - | 231 |7735 | 231 |2453 | 17 |7026 |2244 | 0.000000e+00 | -- | Inf
36.68/36.79 c 36.8s| 9400 | 58 |193432 | 20.6 |8614k| 40 | 40 | 231 |7792 | 231 |2453 | 17 |7089 |2254 | 0.000000e+00 | -- | Inf
36.97/37.07 c 37.1s| 9500 | 60 |195309 | 20.5 |8647k| 40 | 38 | 231 |7855 | 231 |2453 | 17 |7158 |2265 | 0.000000e+00 | -- | Inf
37.27/37.39 c 37.4s| 9600 | 60 |197397 | 20.5 |8677k| 46 | 40 | 231 |7925 | 231 |2453 | 17 |7233 |2280 | 0.000000e+00 | -- | Inf
37.57/37.63 c 37.6s| 9700 | 60 |198781 | 20.5 |8710k| 46 | 30 | 231 |8004 | 231 |2453 | 17 |7318 |2292 | 0.000000e+00 | -- | Inf
37.88/37.98 c 38.0s| 9800 | 57 |200777 | 20.5 |8742k| 46 | 35 | 231 |8084 | 231 |2453 | 17 |7410 |2316 | 0.000000e+00 | -- | Inf
38.17/38.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.17/38.27 c 38.3s| 9900 | 54 |202616 | 20.5 |8773k| 46 | 47 | 231 |8158 | 231 |2453 | 17 |7490 |2328 | 0.000000e+00 | -- | Inf
38.48/38.57 c 38.6s| 10000 | 54 |204664 | 20.5 |8798k| 46 | 26 | 231 |8185 | 231 |2453 | 17 |7572 |2340 | 0.000000e+00 | -- | Inf
38.77/38.88 c 38.9s| 10100 | 51 |206458 | 20.4 |8814k| 46 | - | 231 |8222 | 231 |2453 | 17 |7649 |2356 | 0.000000e+00 | -- | Inf
39.18/39.22 c 39.2s| 10200 | 53 |208597 | 20.4 |8832k| 46 | - | 231 |8244 | 231 |2453 | 17 |7732 |2371 | 0.000000e+00 | -- | Inf
39.48/39.57 c 39.6s| 10300 | 53 |210746 | 20.4 |8842k| 46 | 35 | 231 |8269 | 231 |2453 | 17 |7801 |2387 | 0.000000e+00 | -- | Inf
39.88/39.91 c 39.9s| 10400 | 52 |213019 | 20.5 |8841k| 46 | 41 | 231 |8259 | 231 |2453 | 17 |7867 |2401 | 0.000000e+00 | -- | Inf
40.18/40.21 c 40.2s| 10500 | 52 |215418 | 20.5 |8862k| 46 | - | 231 |8296 | 231 |2453 | 17 |7951 |2405 | 0.000000e+00 | -- | Inf
40.48/40.50 c 40.5s| 10600 | 50 |217489 | 20.5 |8867k| 46 | - | 231 |8326 | 231 |2453 | 17 |8015 |2412 | 0.000000e+00 | -- | Inf
40.68/40.80 c 40.8s| 10700 | 52 |219680 | 20.5 |8890k| 46 | - | 231 |8376 | 231 |2453 | 17 |8089 |2419 | 0.000000e+00 | -- | Inf
41.08/41.10 c 41.1s| 10800 | 54 |221730 | 20.5 |8913k| 46 | 33 | 231 |8423 | 231 |2453 | 17 |8164 |2429 | 0.000000e+00 | -- | Inf
41.28/41.38 c 41.4s| 10900 | 60 |223830 | 20.5 |8937k| 46 | 29 | 231 |8413 | 231 |2453 | 17 |8241 |2432 | 0.000000e+00 | -- | Inf
41.57/41.65 c 41.7s| 11000 | 56 |225860 | 20.5 |8947k| 46 | - | 231 |8450 | 231 |2453 | 17 |8321 |2439 | 0.000000e+00 | -- | Inf
41.88/41.91 c 41.9s| 11100 | 58 |227927 | 20.5 |8969k| 46 | - | 231 |8498 | 231 |2453 | 17 |8392 |2440 | 0.000000e+00 | -- | Inf
42.07/42.17 c 42.2s| 11200 | 61 |230067 | 20.5 |9003k| 46 | - | 231 |8567 | 231 |2453 | 17 |8470 |2441 | 0.000000e+00 | -- | Inf
42.37/42.46 c 42.5s| 11300 | 57 |232421 | 20.6 |9024k| 46 | - | 231 |8642 | 231 |2453 | 17 |8559 |2441 | 0.000000e+00 | -- | Inf
42.68/42.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.68/42.75 c 42.7s| 11400 | 55 |234752 | 20.6 |9049k| 46 | 43 | 231 |8726 | 231 |2453 | 17 |8648 |2442 | 0.000000e+00 | -- | Inf
42.98/43.02 c 43.0s| 11500 | 56 |236737 | 20.6 |9071k| 46 | 33 | 231 |8777 | 231 |2453 | 17 |8706 |2446 | 0.000000e+00 | -- | Inf
43.18/43.27 c 43.3s| 11600 | 51 |238696 | 20.6 |9081k| 46 | - | 231 |8807 | 231 |2453 | 17 |8778 |2447 | 0.000000e+00 | -- | Inf
43.47/43.53 c 43.5s| 11700 | 50 |240695 | 20.6 |9074k| 46 | - | 231 |8767 | 231 |2453 | 17 |8873 |2449 | 0.000000e+00 | -- | Inf
43.67/43.77 c 43.8s| 11800 | 54 |242496 | 20.5 |9089k| 46 | 36 | 231 |8766 | 231 |2453 | 17 |8934 |2450 | 0.000000e+00 | -- | Inf
43.98/44.01 c 44.0s| 11900 | 51 |244321 | 20.5 |9095k| 46 | - | 231 |8789 | 231 |2453 | 17 |8992 |2451 | 0.000000e+00 | -- | Inf
44.18/44.28 c 44.3s| 12000 | 52 |246402 | 20.5 |9108k| 46 | - | 231 |8809 | 231 |2453 | 17 |9057 |2451 | 0.000000e+00 | -- | Inf
44.47/44.53 c 44.5s| 12100 | 57 |248433 | 20.5 |9124k| 46 | - | 231 |8821 | 231 |2453 | 17 |9125 |2451 | 0.000000e+00 | -- | Inf
44.77/44.80 c 44.8s| 12200 | 61 |250620 | 20.5 |9140k| 46 | 27 | 231 |8859 | 231 |2453 | 17 |9186 |2451 | 0.000000e+00 | -- | Inf
44.97/45.04 c 45.0s| 12300 | 53 |252434 | 20.5 |9144k| 46 | 39 | 231 |8914 | 231 |2453 | 17 |9253 |2451 | 0.000000e+00 | -- | Inf
45.27/45.31 c 45.3s| 12400 | 48 |254462 | 20.5 |9129k| 46 | - | 231 |8917 | 231 |2453 | 17 |9313 |2451 | 0.000000e+00 | -- | Inf
45.48/45.55 c 45.5s| 12500 | 53 |256353 | 20.5 |9156k| 46 | - | 231 |8916 | 231 |2453 | 17 |9372 |2451 | 0.000000e+00 | -- | Inf
45.78/45.81 c 45.8s| 12600 | 55 |258467 | 20.5 |9174k| 46 | - | 231 |8952 | 231 |2453 | 17 |9436 |2452 | 0.000000e+00 | -- | Inf
45.97/46.06 c 46.1s| 12700 | 48 |260426 | 20.5 |9168k| 46 | 38 | 231 |8987 | 231 |2453 | 17 |9496 |2452 | 0.000000e+00 | -- | Inf
46.18/46.29 c 46.3s| 12800 | 46 |262153 | 20.5 |9167k| 46 | 35 | 231 |8993 | 231 |2453 | 17 |9562 |2452 | 0.000000e+00 | -- | Inf
46.47/46.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.47/46.53 c 46.5s| 12900 | 46 |264013 | 20.5 |9166k| 46 | - | 231 |8959 | 231 |2453 | 17 |9639 |2452 | 0.000000e+00 | -- | Inf
46.68/46.78 c 46.8s| 13000 | 48 |265927 | 20.4 |9176k| 46 | - | 231 |8957 | 231 |2453 | 17 |9710 |2452 | 0.000000e+00 | -- | Inf
46.97/47.04 c 47.0s| 13100 | 52 |268027 | 20.5 |9194k| 46 | 33 | 231 |8993 | 231 |2453 | 17 |9778 |2452 | 0.000000e+00 | -- | Inf
47.28/47.33 c 47.3s| 13200 | 50 |270233 | 20.5 |9178k| 46 | 26 | 231 |8966 | 231 |2453 | 17 |9848 |2453 | 0.000000e+00 | -- | Inf
47.47/47.58 c 47.6s| 13300 | 50 |272283 | 20.5 |9180k| 46 | - | 231 |8959 | 231 |2453 | 17 |9915 |2453 | 0.000000e+00 | -- | Inf
47.78/47.84 c 47.8s| 13400 | 48 |274347 | 20.5 |9190k| 46 | - | 231 |8995 | 231 |2453 | 17 |9975 |2453 | 0.000000e+00 | -- | Inf
47.97/48.08 c 48.1s| 13500 | 50 |276171 | 20.4 |9198k| 46 | 35 | 231 |9013 | 231 |2453 | 17 | 10k|2453 | 0.000000e+00 | -- | Inf
48.28/48.33 c 48.3s| 13600 | 51 |277994 | 20.4 |9224k| 46 | - | 231 |9062 | 231 |2453 | 17 | 10k|2453 | 0.000000e+00 | -- | Inf
48.48/48.56 c 48.6s| 13700 | 51 |279770 | 20.4 |9231k| 46 | 32 | 231 |9101 | 231 |2453 | 17 | 10k|2453 | 0.000000e+00 | -- | Inf
48.77/48.81 c 48.8s| 13800 | 49 |281798 | 20.4 |9241k| 46 | 41 | 231 |9152 | 231 |2453 | 17 | 10k|2453 | 0.000000e+00 | -- | Inf
48.97/49.04 c 49.0s| 13900 | 49 |283593 | 20.4 |9252k| 46 | 38 | 231 |9198 | 231 |2453 | 17 | 10k|2453 | 0.000000e+00 | -- | Inf
49.17/49.28 c 49.3s| 14000 | 46 |285434 | 20.4 |9246k| 46 | - | 231 |9197 | 231 |2453 | 17 | 10k|2453 | 0.000000e+00 | -- | Inf
49.48/49.55 c 49.5s| 14100 | 49 |287488 | 20.4 |9207k| 46 | 37 | 231 |9082 | 231 |2453 | 17 | 10k|2453 | 0.000000e+00 | -- | Inf
49.77/49.81 c 49.8s| 14200 | 50 |289479 | 20.4 |9183k| 46 | 41 | 231 |8996 | 231 |2453 | 17 | 10k|2453 | 0.000000e+00 | -- | Inf
49.98/50.06 c 50.1s| 14300 | 49 |291430 | 20.4 |9182k| 46 | 36 | 231 |8995 | 231 |2453 | 17 | 10k|2453 | 0.000000e+00 | -- | Inf
50.27/50.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.27/50.35 c 50.4s| 14400 | 48 |293770 | 20.4 |9184k| 46 | - | 231 |8988 | 231 |2453 | 17 | 10k|2453 | 0.000000e+00 | -- | Inf
50.47/50.59 c 50.6s| 14500 | 51 |295588 | 20.4 |9199k| 46 | - | 231 |9005 | 231 |2453 | 17 | 10k|2453 | 0.000000e+00 | -- | Inf
50.78/50.82 c 50.8s| 14600 | 55 |297347 | 20.4 |9229k| 46 | - | 231 |9053 | 0 | 0 | 17 | 10k|2453 | 0.000000e+00 | -- | Inf
50.97/51.08 c 51.1s| 14700 | 52 |299372 | 20.4 |9237k| 46 | 36 | 231 |9110 | 231 |2453 | 17 | 10k|2453 | 0.000000e+00 | -- | Inf
51.27/51.35 c 51.3s| 14800 | 54 |301491 | 20.4 |9261k| 46 | - | 231 |9173 | 231 |2453 | 17 | 10k|2453 | 0.000000e+00 | -- | Inf
51.57/51.61 c 51.6s| 14900 | 54 |303476 | 20.4 |9281k| 46 | 49 | 231 |9213 | 231 |2453 | 17 | 11k|2453 | 0.000000e+00 | -- | Inf
51.79/51.88 c 51.9s| 15000 | 52 |305581 | 20.4 |9303k| 46 | - | 231 |9278 | 231 |2453 | 17 | 11k|2453 | 0.000000e+00 | -- | Inf
52.07/52.11 c 52.1s| 15100 | 50 |307286 | 20.3 |9320k| 46 | - | 231 |9343 | 231 |2453 | 17 | 11k|2453 | 0.000000e+00 | -- | Inf
52.28/52.39 c 52.4s| 15200 | 56 |309583 | 20.4 |9333k| 46 | 34 | 231 |9340 | 231 |2453 | 17 | 11k|2453 | 0.000000e+00 | -- | Inf
52.57/52.64 c 52.6s| 15300 | 53 |311479 | 20.3 |9336k| 46 | 31 | 231 |9362 | 231 |2453 | 17 | 11k|2453 | 0.000000e+00 | -- | Inf
52.88/52.92 c 52.9s| 15400 | 50 |313743 | 20.4 |9342k| 46 | 38 | 231 |9379 | 231 |2453 | 17 | 11k|2453 | 0.000000e+00 | -- | Inf
53.07/53.19 c 53.2s| 15500 | 51 |315932 | 20.4 |9330k| 46 | 33 | 231 |9340 | 231 |2453 | 17 | 11k|2453 | 0.000000e+00 | -- | Inf
53.38/53.44 c 53.4s| 15600 | 51 |317841 | 20.4 |9342k| 46 | - | 231 |9360 | 0 | 0 | 17 | 11k|2453 | 0.000000e+00 | -- | Inf
53.67/53.71 c 53.7s| 15700 | 55 |319857 | 20.4 |9319k| 46 | 26 | 231 |9267 | 231 |2453 | 17 | 11k|2453 | 0.000000e+00 | -- | Inf
53.88/53.96 c 54.0s| 15800 | 58 |321728 | 20.4 |9326k| 46 | - | 231 |9250 | 231 |2453 | 17 | 11k|2453 | 0.000000e+00 | -- | Inf
54.17/54.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.17/54.21 c 54.2s| 15900 | 57 |323577 | 20.3 |9334k| 46 | - | 231 |9275 | 231 |2453 | 17 | 11k|2453 | 0.000000e+00 | -- | Inf
54.38/54.46 c 54.5s| 16000 | 51 |325387 | 20.3 |9337k| 46 | 39 | 231 |9326 | 231 |2453 | 17 | 11k|2453 | 0.000000e+00 | -- | Inf
54.68/54.72 c 54.7s| 16100 | 49 |327393 | 20.3 |9339k| 46 | 29 | 231 |9338 | 231 |2453 | 17 | 11k|2453 | 0.000000e+00 | -- | Inf
54.87/54.98 c 55.0s| 16200 | 49 |329428 | 20.3 |9337k| 46 | - | 231 |9325 | 231 |2453 | 17 | 12k|2453 | 0.000000e+00 | -- | Inf
55.17/55.25 c 55.3s| 16300 | 53 |331608 | 20.3 |9344k| 46 | 30 | 231 |9334 | 231 |2453 | 17 | 12k|2453 | 0.000000e+00 | -- | Inf
55.37/55.46 c 55.5s| 16400 | 56 |333323 | 20.3 |9375k| 46 | 20 | 231 |9398 | 231 |2453 | 17 | 12k|2453 | 0.000000e+00 | -- | Inf
55.68/55.72 c 55.7s| 16500 | 54 |335405 | 20.3 |9388k| 46 | 33 | 231 |9453 | 231 |2453 | 17 | 12k|2453 | 0.000000e+00 | -- | Inf
55.97/56.00 c 56.0s| 16600 | 49 |337675 | 20.3 |9400k| 46 | - | 231 |9517 | 231 |2453 | 17 | 12k|2453 | 0.000000e+00 | -- | Inf
56.18/56.24 c 56.2s| 16700 | 50 |339548 | 20.3 |9428k| 46 | - | 231 |9592 | 231 |2453 | 17 | 12k|2453 | 0.000000e+00 | -- | Inf
56.37/56.49 c 56.5s| 16800 | 50 |341390 | 20.3 |9432k| 46 | - | 231 |9601 | 231 |2453 | 17 | 12k|2453 | 0.000000e+00 | -- | Inf
56.67/56.71 c 56.7s| 16900 | 50 |343129 | 20.3 |9410k| 46 | 42 | 231 |9534 | 231 |2453 | 17 | 12k|2453 | 0.000000e+00 | -- | Inf
56.87/56.97 c 57.0s| 17000 | 50 |345103 | 20.3 |9417k| 46 | - | 231 |9515 | 231 |2453 | 17 | 12k|2453 | 0.000000e+00 | -- | Inf
57.18/57.26 c 57.3s| 17100 | 49 |347374 | 20.3 |9409k| 46 | - | 231 |9503 | 231 |2453 | 17 | 12k|2453 | 0.000000e+00 | -- | Inf
57.47/57.51 c 57.5s| 17200 | 47 |349243 | 20.3 |9381k| 46 | 41 | 231 |9454 | 231 |2453 | 17 | 12k|2453 | 0.000000e+00 | -- | Inf
57.67/57.77 c 57.8s| 17300 | 49 |351278 | 20.3 |9401k| 46 | 29 | 231 |9484 | 231 |2453 | 17 | 12k|2453 | 0.000000e+00 | -- | Inf
57.98/58.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
57.98/58.02 c 58.0s| 17400 | 47 |353223 | 20.3 |9410k| 46 | - | 231 |9508 | 231 |2453 | 17 | 12k|2453 | 0.000000e+00 | -- | Inf
58.17/58.28 c 58.3s| 17500 | 47 |355349 | 20.3 |9430k| 46 | 27 | 231 |9571 | 231 |2453 | 17 | 13k|2453 | 0.000000e+00 | -- | Inf
58.48/58.51 c 58.5s| 17600 | 51 |357181 | 20.3 |9447k| 46 | 20 | 231 |9593 | 231 |2453 | 17 | 13k|2453 | 0.000000e+00 | -- | Inf
58.67/58.71 c 58.7s| 17700 | 48 |358762 | 20.3 |9470k| 46 | - | 231 |9668 | 231 |2453 | 17 | 13k|2453 | 0.000000e+00 | -- | Inf
58.87/58.94 c 58.9s| 17800 | 47 |360704 | 20.3 |9488k| 46 | - | 231 |9716 | 231 |2453 | 17 | 13k|2453 | 0.000000e+00 | -- | Inf
59.08/59.17 c 59.2s| 17900 | 48 |362341 | 20.2 |9439k| 46 | 36 | 231 |9587 | 231 |2453 | 17 | 13k|2453 | 0.000000e+00 | -- | Inf
59.38/59.41 c 59.4s| 18000 | 48 |364225 | 20.2 |9438k| 46 | 27 | 231 |9576 | 231 |2453 | 17 | 13k|2453 | 0.000000e+00 | -- | Inf
59.57/59.67 c 59.7s| 18100 | 44 |366241 | 20.2 |9420k| 46 | - | 231 |9544 | 231 |2453 | 17 | 13k|2453 | 0.000000e+00 | -- | Inf
59.87/59.92 c 59.9s| 18200 | 47 |368078 | 20.2 |9417k| 46 | - | 231 |9509 | 231 |2453 | 17 | 13k|2453 | 0.000000e+00 | -- | Inf
60.07/60.19 c 60.2s| 18300 | 46 |370221 | 20.2 |9420k| 46 | - | 231 |9514 | 231 |2453 | 17 | 13k|2453 | 0.000000e+00 | -- | Inf
60.37/60.46 c 60.5s| 18400 | 47 |372405 | 20.2 |9446k| 46 | - | 231 |9569 | 231 |2453 | 17 | 13k|2453 | 0.000000e+00 | -- | Inf
60.67/60.74 c 60.7s| 18500 | 48 |374658 | 20.2 |9445k| 46 | - | 231 |9562 | 231 |2453 | 17 | 13k|2453 | 0.000000e+00 | -- | Inf
60.98/61.03 c 61.0s| 18600 | 46 |377057 | 20.3 |9452k| 46 | 40 | 231 |9602 | 231 |2453 | 17 | 13k|2453 | 0.000000e+00 | -- | Inf
61.17/61.29 c 61.3s| 18700 | 41 |378857 | 20.3 |9416k| 46 | 39 | 231 |9533 | 231 |2453 | 17 | 13k|2453 | 0.000000e+00 | -- | Inf
61.47/61.57 c 61.6s| 18800 | 43 |381085 | 20.3 |9427k| 46 | 30 | 231 |9542 | 231 |2453 | 17 | 14k|2453 | 0.000000e+00 | -- | Inf
61.77/61.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.77/61.82 c 61.8s| 18900 | 39 |383158 | 20.3 |9424k| 46 | - | 231 |9562 | 231 |2453 | 17 | 14k|2453 | 0.000000e+00 | -- | Inf
62.07/62.12 c 62.1s| 19000 | 44 |385538 | 20.3 |9420k| 46 | - | 231 |9499 | 231 |2453 | 17 | 14k|2453 | 0.000000e+00 | -- | Inf
62.37/62.44 c 62.4s| 19100 | 41 |388190 | 20.3 |9417k| 46 | 39 | 231 |9501 | 231 |2453 | 17 | 14k|2453 | 0.000000e+00 | -- | Inf
62.57/62.70 c 62.7s| 19200 | 40 |390175 | 20.3 |9420k| 46 | 29 | 231 |9511 | 231 |2453 | 17 | 14k|2453 | 0.000000e+00 | -- | Inf
62.87/62.92 c 62.9s| 19300 | 40 |391927 | 20.3 |9448k| 46 | - | 231 |9581 | 231 |2453 | 17 | 14k|2453 | 0.000000e+00 | -- | Inf
63.17/63.20 c 63.2s| 19400 | 41 |394200 | 20.3 |9454k| 46 | - | 231 |9591 | 231 |2453 | 17 | 14k|2453 | 0.000000e+00 | -- | Inf
63.37/63.47 c 63.5s| 19500 | 40 |396448 | 20.3 |9466k| 46 | - | 231 |9635 | 231 |2453 | 17 | 14k|2453 | 0.000000e+00 | -- | Inf
63.68/63.77 c 63.8s| 19600 | 37 |398876 | 20.3 |9453k| 46 | - | 231 |9642 | 231 |2453 | 17 | 14k|2453 | 0.000000e+00 | -- | Inf
63.98/64.05 c 64.1s| 19700 | 40 |401120 | 20.4 |9457k| 46 | 42 | 231 |9652 | 231 |2453 | 17 | 14k|2453 | 0.000000e+00 | -- | Inf
64.27/64.33 c 64.3s| 19800 | 43 |403361 | 20.4 |9479k| 46 | 39 | 231 |9693 | 231 |2453 | 17 | 14k|2453 | 0.000000e+00 | -- | Inf
64.48/64.58 c 64.6s| 19900 | 42 |405375 | 20.4 |9500k| 46 | - | 231 |9742 | 231 |2453 | 17 | 14k|2453 | 0.000000e+00 | -- | Inf
64.77/64.84 c 64.8s| 20000 | 40 |407535 | 20.4 |9504k| 46 | 38 | 231 |9796 | 231 |2453 | 17 | 14k|2453 | 0.000000e+00 | -- | Inf
65.08/65.13 c 65.1s| 20100 | 36 |409845 | 20.4 |9460k| 46 | - | 231 |9804 | 231 |2453 | 17 | 14k|2453 | 0.000000e+00 | -- | Inf
65.37/65.40 c 65.4s| 20200 | 36 |411920 | 20.4 |9450k| 46 | - | 231 |9737 | 231 |2453 | 17 | 15k|2453 | 0.000000e+00 | -- | Inf
65.67/65.70 c 65.7s| 20300 | 38 |414269 | 20.4 |9437k| 46 | 35 | 231 |9712 | 231 |2453 | 17 | 15k|2453 | 0.000000e+00 | -- | Inf
65.87/65.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
65.87/65.99 c 66.0s| 20400 | 38 |416674 | 20.4 |9455k| 46 | - | 231 |9742 | 231 |2453 | 17 | 15k|2453 | 0.000000e+00 | -- | Inf
66.27/66.30 c 66.3s| 20500 | 36 |419267 | 20.4 |9460k| 46 | - | 231 |9773 | 231 |2453 | 17 | 15k|2453 | 0.000000e+00 | -- | Inf
66.57/66.63 c 66.6s| 20600 | 35 |422089 | 20.5 |9481k| 46 | - | 231 |9817 | 231 |2453 | 17 | 15k|2453 | 0.000000e+00 | -- | Inf
66.87/66.93 c 66.9s| 20700 | 35 |424480 | 20.5 |9476k| 46 | - | 231 |9787 | 231 |2453 | 17 | 15k|2453 | 0.000000e+00 | -- | Inf
67.08/67.19 c 67.2s| 20800 | 37 |426578 | 20.5 |9438k| 46 | 33 | 231 |9691 | 231 |2453 | 17 | 15k|2453 | 0.000000e+00 | -- | Inf
67.47/67.50 c 67.5s| 20900 | 41 |429118 | 20.5 |9466k| 46 | 28 | 231 |9720 | 231 |2453 | 17 | 15k|2453 | 0.000000e+00 | -- | Inf
67.78/67.80 c 67.8s| 21000 | 38 |431645 | 20.5 |9439k| 46 | 48 | 231 |9661 | 231 |2453 | 17 | 15k|2453 | 0.000000e+00 | -- | Inf
67.97/68.07 c 68.1s| 21100 | 38 |433752 | 20.6 |9419k| 46 | - | 231 |9539 | 0 | 0 | 17 | 15k|2453 | 0.000000e+00 | -- | Inf
68.28/68.36 c 68.4s| 21200 | 38 |436198 | 20.6 |9410k| 46 | 34 | 231 |9521 | 231 |2453 | 17 | 15k|2453 | 0.000000e+00 | -- | Inf
68.57/68.65 c 68.7s| 21300 | 38 |438529 | 20.6 |9402k| 46 | 37 | 231 |9499 | 231 |2453 | 17 | 15k|2453 | 0.000000e+00 | -- | Inf
68.87/68.92 c 68.9s| 21400 | 40 |440716 | 20.6 |9397k| 46 | 36 | 231 |9478 | 231 |2453 | 17 | 15k|2453 | 0.000000e+00 | -- | Inf
69.07/69.18 c 69.2s| 21500 | 42 |442787 | 20.6 |9421k| 46 | - | 231 |9501 | 231 |2453 | 17 | 15k|2453 | 0.000000e+00 | -- | Inf
69.37/69.43 c 69.4s| 21600 | 40 |444785 | 20.6 |9421k| 46 | 35 | 231 |9542 | 231 |2453 | 17 | 16k|2453 | 0.000000e+00 | -- | Inf
69.57/69.69 c 69.7s| 21700 | 41 |446924 | 20.6 |9428k| 46 | 22 | 231 |9551 | 231 |2453 | 17 | 16k|2453 | 0.000000e+00 | -- | Inf
69.87/69.96 c 70.0s| 21800 | 41 |449140 | 20.6 |9431k| 46 | 22 | 231 |9566 | 231 |2453 | 17 | 16k|2453 | 0.000000e+00 | -- | Inf
70.17/70.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.17/70.20 c 70.2s| 21900 | 39 |451137 | 20.6 |9443k| 46 | - | 231 |9618 | 231 |2453 | 17 | 16k|2453 | 0.000000e+00 | -- | Inf
70.38/70.46 c 70.5s| 22000 | 45 |453172 | 20.6 |9470k| 46 | - | 231 |9656 | 231 |2453 | 17 | 16k|2453 | 0.000000e+00 | -- | Inf
70.67/70.79 c 70.8s| 22100 | 48 |455514 | 20.6 |9506k| 46 | - | 231 |9690 | 231 |2453 | 17 | 16k|2463 | 0.000000e+00 | -- | Inf
71.07/71.17 c 71.2s| 22200 | 42 |457889 | 20.6 |9493k| 46 | - | 231 |9706 | 231 |2453 | 17 | 16k|2482 | 0.000000e+00 | -- | Inf
71.37/71.49 c 71.5s| 22300 | 42 |460261 | 20.6 |9496k| 46 | 31 | 231 |9737 | 231 |2453 | 17 | 16k|2491 | 0.000000e+00 | -- | Inf
71.78/71.84 c 71.8s| 22400 | 45 |462655 | 20.6 |9523k| 46 | 35 | 231 |9792 | 231 |2453 | 17 | 16k|2507 | 0.000000e+00 | -- | Inf
72.17/72.22 c 72.2s| 22500 | 38 |465220 | 20.7 |9531k| 46 | - | 231 |9853 | 231 |2453 | 17 | 16k|2523 | 0.000000e+00 | -- | Inf
72.47/72.57 c 72.6s| 22600 | 42 |467471 | 20.7 |9543k| 46 | 49 | 231 |9877 | 231 |2453 | 17 | 16k|2536 | 0.000000e+00 | -- | Inf
72.87/72.94 c 72.9s| 22700 | 42 |469800 | 20.7 |9577k| 46 | - | 231 |9944 | 231 |2453 | 17 | 16k|2551 | 0.000000e+00 | -- | Inf
73.27/73.30 c 73.3s| 22800 | 42 |472380 | 20.7 |9596k| 46 | 30 | 231 | 10k| 231 |2453 | 17 | 16k|2562 | 0.000000e+00 | -- | Inf
73.57/73.66 c 73.7s| 22900 | 40 |474646 | 20.7 |9611k| 46 | 43 | 231 | 10k| 231 |2453 | 17 | 17k|2577 | 0.000000e+00 | -- | Inf
73.87/73.99 c 74.0s| 23000 | 42 |476673 | 20.7 |9630k| 46 | 40 | 231 | 10k| 231 |2453 | 17 | 17k|2594 | 0.000000e+00 | -- | Inf
74.27/74.30 c 74.3s| 23100 | 41 |478592 | 20.7 |9620k| 46 | 28 | 231 | 10k| 231 |2453 | 17 | 17k|2606 | 0.000000e+00 | -- | Inf
74.57/74.63 c 74.6s| 23200 | 38 |480885 | 20.7 |9631k| 46 | - | 231 | 10k| 231 |2453 | 17 | 17k|2615 | 0.000000e+00 | -- | Inf
74.88/74.97 c 75.0s| 23300 | 39 |482772 | 20.7 |9645k| 46 | 34 | 231 | 10k| 231 |2453 | 17 | 17k|2637 | 0.000000e+00 | -- | Inf
75.17/75.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
75.17/75.28 c 75.3s| 23400 | 38 |484624 | 20.7 |9639k| 46 | - | 231 | 10k| 231 |2453 | 17 | 17k|2652 | 0.000000e+00 | -- | Inf
75.47/75.57 c 75.6s| 23500 | 44 |486562 | 20.7 |9658k| 46 | 35 | 231 | 10k| 231 |2453 | 17 | 17k|2660 | 0.000000e+00 | -- | Inf
75.77/75.82 c 75.8s| 23600 | 43 |488370 | 20.7 |9671k| 46 | - | 231 | 10k| 231 |2453 | 17 | 17k|2664 | 0.000000e+00 | -- | Inf
75.98/76.06 c 76.1s| 23700 | 45 |490089 | 20.7 |9689k| 46 | - | 231 | 10k| 231 |2453 | 17 | 17k|2665 | 0.000000e+00 | -- | Inf
76.27/76.31 c 76.3s| 23800 | 47 |491861 | 20.7 |9712k| 46 | 19 | 231 | 10k| 231 |2453 | 17 | 17k|2668 | 0.000000e+00 | -- | Inf
76.57/76.60 c 76.6s| 23900 | 45 |493824 | 20.7 |9737k| 46 | - | 231 | 10k| 231 |2453 | 17 | 17k|2675 | 0.000000e+00 | -- | Inf
76.77/76.89 c 76.9s| 24000 | 41 |496011 | 20.7 |9759k| 46 | - | 231 | 10k| 231 |2453 | 17 | 17k|2679 | 0.000000e+00 | -- | Inf
77.07/77.14 c 77.1s| 24100 | 47 |497897 | 20.7 |9792k| 46 | 25 | 231 | 10k| 231 |2453 | 17 | 17k|2680 | 0.000000e+00 | -- | Inf
77.27/77.38 c 77.4s| 24200 | 44 |499729 | 20.6 |9809k| 46 | - | 231 | 10k| 231 |2453 | 17 | 17k|2684 | 0.000000e+00 | -- | Inf
77.57/77.67 c 77.7s| 24300 | 41 |501951 | 20.7 |9828k| 46 | - | 231 | 10k| 231 |2453 | 17 | 17k|2685 | 0.000000e+00 | -- | Inf
77.87/77.94 c 77.9s| 24400 | 41 |504080 | 20.7 |9842k| 46 | - | 231 | 10k| 231 |2453 | 17 | 18k|2686 | 0.000000e+00 | -- | Inf
78.17/78.22 c 78.2s| 24500 | 41 |506202 | 20.7 |9849k| 46 | - | 231 | 10k| 231 |2453 | 17 | 18k|2687 | 0.000000e+00 | -- | Inf
78.37/78.46 c 78.5s| 24600 | 41 |507950 | 20.6 |9867k| 46 | - | 231 | 10k| 231 |2453 | 17 | 18k|2689 | 0.000000e+00 | -- | Inf
78.67/78.73 c 78.7s| 24700 | 40 |509998 | 20.6 |9886k| 46 | - | 231 | 10k| 231 |2453 | 17 | 18k|2693 | 0.000000e+00 | -- | Inf
78.97/79.00 c 79.0s| 24800 | 41 |511926 | 20.6 |9886k| 46 | - | 231 | 10k| 231 |2453 | 17 | 18k|2696 | 0.000000e+00 | -- | Inf
79.18/79.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.18/79.22 c 79.2s| 24900 | 42 |513563 | 20.6 |9896k| 46 | - | 231 | 10k| 0 | 0 | 17 | 18k|2696 | 0.000000e+00 | -- | Inf
79.37/79.48 c 79.5s| 25000 | 43 |515514 | 20.6 |9894k| 46 | 43 | 231 | 10k| 231 |2453 | 17 | 18k|2696 | 0.000000e+00 | -- | Inf
79.67/79.73 c 79.7s| 25100 | 39 |517407 | 20.6 |9894k| 46 | - | 231 | 10k| 231 |2453 | 17 | 18k|2696 | 0.000000e+00 | -- | Inf
79.87/79.96 c 80.0s| 25200 | 43 |519066 | 20.6 |9912k| 46 | 39 | 231 | 10k| 231 |2453 | 17 | 18k|2696 | 0.000000e+00 | -- | Inf
80.17/80.22 c 80.2s| 25300 | 42 |520944 | 20.6 |9885k| 46 | 22 | 231 | 10k| 231 |2453 | 17 | 18k|2696 | 0.000000e+00 | -- | Inf
80.38/80.50 c 80.5s| 25400 | 39 |523110 | 20.6 |9897k| 46 | 37 | 231 | 10k| 231 |2453 | 17 | 18k|2696 | 0.000000e+00 | -- | Inf
80.77/80.81 c 80.8s| 25500 | 43 |525207 | 20.6 |9893k| 46 | 22 | 231 | 10k| 231 |2453 | 17 | 18k|2705 | 0.000000e+00 | -- | Inf
81.07/81.19 c 81.2s| 25600 | 40 |527674 | 20.6 |9869k| 46 | 50 | 231 | 10k| 231 |2453 | 17 | 19k|2718 | 0.000000e+00 | -- | Inf
81.38/81.49 c 81.5s| 25700 | 44 |529622 | 20.6 |9886k| 46 | - | 231 | 10k| 231 |2453 | 17 | 19k|2729 | 0.000000e+00 | -- | Inf
81.77/81.86 c 81.9s| 25800 | 40 |532188 | 20.6 |9868k| 46 | - | 231 | 10k| 231 |2453 | 17 | 19k|2740 | 0.000000e+00 | -- | Inf
82.07/82.19 c 82.2s| 25900 | 39 |534396 | 20.6 |9858k| 46 | 37 | 231 | 10k| 231 |2453 | 17 | 19k|2751 | 0.000000e+00 | -- | Inf
82.48/82.50 c 82.5s| 26000 | 43 |536399 | 20.6 |9838k| 46 | 31 | 231 | 10k| 231 |2453 | 17 | 19k|2760 | 0.000000e+00 | -- | Inf
82.77/82.86 c 82.9s| 26100 | 42 |538596 | 20.6 |9830k| 46 | - | 231 | 10k| 231 |2453 | 17 | 19k|2778 | 0.000000e+00 | -- | Inf
83.07/83.16 c 83.2s| 26200 | 42 |540622 | 20.6 |9825k| 46 | - | 231 | 10k| 231 |2453 | 17 | 19k|2789 | 0.000000e+00 | -- | Inf
83.37/83.47 c 83.5s| 26300 | 45 |542664 | 20.6 |9827k| 46 | 37 | 231 | 10k| 231 |2453 | 17 | 19k|2800 | 0.000000e+00 | -- | Inf
83.77/83.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
83.77/83.85 c 83.8s| 26400 | 43 |545151 | 20.6 |9824k| 46 | 33 | 231 | 10k| 231 |2453 | 17 | 19k|2816 | 0.000000e+00 | -- | Inf
84.17/84.21 c 84.2s| 26500 | 39 |547646 | 20.7 |9830k| 46 | - | 231 | 10k| 231 |2453 | 17 | 19k|2829 | 0.000000e+00 | -- | Inf
84.47/84.55 c 84.6s| 26600 | 41 |549868 | 20.7 |9851k| 46 | - | 231 | 10k| 231 |2453 | 17 | 19k|2843 | 0.000000e+00 | -- | Inf
84.87/84.91 c 84.9s| 26700 | 41 |552440 | 20.7 |9849k| 46 | 37 | 231 | 10k| 231 |2453 | 17 | 19k|2856 | 0.000000e+00 | -- | Inf
85.16/85.25 c 85.2s| 26800 | 41 |554974 | 20.7 |9851k| 46 | 44 | 231 | 10k| 231 |2453 | 17 | 19k|2863 | 0.000000e+00 | -- | Inf
85.47/85.53 c 85.5s| 26900 | 39 |556983 | 20.7 |9848k| 46 | 34 | 231 | 10k| 231 |2453 | 17 | 20k|2867 | 0.000000e+00 | -- | Inf
85.67/85.80 c 85.8s| 27000 | 42 |559012 | 20.7 |9866k| 46 | 18 | 231 | 10k| 231 |2453 | 17 | 20k|2870 | 0.000000e+00 | -- | Inf
85.97/86.08 c 86.1s| 27100 | 41 |561251 | 20.7 |9886k| 46 | 38 | 231 | 10k| 231 |2453 | 17 | 20k|2873 | 0.000000e+00 | -- | Inf
86.37/86.40 c 86.4s| 27200 | 40 |564025 | 20.7 |9902k| 46 | 35 | 231 | 10k| 231 |2453 | 17 | 20k|2874 | 0.000000e+00 | -- | Inf
86.57/86.65 c 86.6s| 27300 | 40 |565971 | 20.7 |9929k| 46 | - | 231 | 10k| 231 |2453 | 17 | 20k|2877 | 0.000000e+00 | -- | Inf
86.87/86.94 c 86.9s| 27400 | 40 |568399 | 20.7 |9947k| 46 | - | 231 | 10k| 231 |2453 | 17 | 20k|2878 | 0.000000e+00 | -- | Inf
87.17/87.21 c 87.2s| 27500 | 40 |570623 | 20.7 |9974k| 46 | - | 231 | 10k| 0 | 0 | 17 | 20k|2878 | 0.000000e+00 | -- | Inf
87.47/87.50 c 87.5s| 27600 | 43 |573141 | 20.8 |9991k| 46 | 26 | 231 | 10k| 231 |2453 | 17 | 20k|2878 | 0.000000e+00 | -- | Inf
87.67/87.77 c 87.8s| 27700 | 44 |575399 | 20.8 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 20k|2879 | 0.000000e+00 | -- | Inf
87.97/88.07 c 88.1s| 27800 | 42 |577779 | 20.8 | 10M| 46 | 47 | 231 | 10k| 231 |2453 | 17 | 20k|2879 | 0.000000e+00 | -- | Inf
88.27/88.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
88.27/88.35 c 88.3s| 27900 | 42 |580154 | 20.8 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 20k|2879 | 0.000000e+00 | -- | Inf
88.57/88.64 c 88.6s| 28000 | 40 |582617 | 20.8 | 10M| 46 | 33 | 231 | 11k| 231 |2453 | 17 | 20k|2879 | 0.000000e+00 | -- | Inf
88.87/88.93 c 88.9s| 28100 | 38 |585073 | 20.8 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 20k|2879 | 0.000000e+00 | -- | Inf
89.17/89.22 c 89.2s| 28200 | 35 |587086 | 20.8 |9994k| 46 | 43 | 231 | 11k| 231 |2453 | 17 | 20k|2884 | 0.000000e+00 | -- | Inf
89.47/89.50 c 89.5s| 28300 | 35 |589239 | 20.8 |9966k| 46 | 29 | 231 | 10k| 231 |2453 | 17 | 21k|2884 | 0.000000e+00 | -- | Inf
89.67/89.72 c 89.7s| 28400 | 35 |590757 | 20.8 |9955k| 46 | 32 | 231 | 10k| 231 |2453 | 17 | 21k|2884 | 0.000000e+00 | -- | Inf
89.87/89.97 c 90.0s| 28500 | 34 |592703 | 20.8 |9945k| 46 | 40 | 231 | 10k| 231 |2453 | 17 | 21k|2884 | 0.000000e+00 | -- | Inf
90.17/90.27 c 90.3s| 28600 | 33 |594560 | 20.8 |9931k| 46 | 40 | 231 | 10k| 231 |2453 | 17 | 21k|2896 | 0.000000e+00 | -- | Inf
90.46/90.53 c 90.5s| 28700 | 32 |596188 | 20.8 |9936k| 46 | 37 | 231 | 10k| 231 |2453 | 17 | 21k|2907 | 0.000000e+00 | -- | Inf
90.77/90.82 c 90.8s| 28800 | 32 |598144 | 20.8 |9953k| 46 | - | 231 | 10k| 231 |2453 | 17 | 21k|2917 | 0.000000e+00 | -- | Inf
91.07/91.15 c 91.2s| 28900 | 31 |600257 | 20.8 |9934k| 46 | 38 | 231 | 10k| 231 |2453 | 17 | 21k|2931 | 0.000000e+00 | -- | Inf
91.38/91.46 c 91.5s| 29000 | 28 |602102 | 20.8 |9913k| 46 | - | 231 | 10k| 231 |2453 | 17 | 21k|2948 | 0.000000e+00 | -- | Inf
91.77/91.83 c 91.8s| 29100 | 29 |604498 | 20.8 |9870k| 46 | 39 | 231 | 10k| 231 |2453 | 17 | 21k|2963 | 0.000000e+00 | -- | Inf
92.07/92.16 c 92.2s| 29200 | 32 |606729 | 20.8 |9840k| 46 | 20 | 231 | 10k| 231 |2453 | 17 | 21k|2972 | 0.000000e+00 | -- | Inf
92.48/92.50 c 92.5s| 29300 | 30 |609087 | 20.8 |9834k| 46 | 43 | 231 | 10k| 231 |2453 | 17 | 21k|2989 | 0.000000e+00 | -- | Inf
92.87/92.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
92.87/92.90 c 92.9s| 29400 | 27 |611895 | 20.8 |9839k| 46 | 45 | 231 | 10k| 231 |2453 | 17 | 21k|3004 | 0.000000e+00 | -- | Inf
93.16/93.24 c 93.2s| 29500 | 29 |614209 | 20.8 |9814k| 46 | - | 231 | 10k| 231 |2453 | 17 | 21k|3016 | 0.000000e+00 | -- | Inf
93.47/93.58 c 93.6s| 29600 | 32 |616486 | 20.8 |9835k| 46 | - | 231 | 10k| 231 |2453 | 17 | 21k|3030 | 0.000000e+00 | -- | Inf
93.87/93.91 c 93.9s| 29700 | 32 |618714 | 20.8 |9865k| 46 | - | 231 | 10k| 231 |2453 | 17 | 22k|3040 | 0.000000e+00 | -- | Inf
94.17/94.24 c 94.2s| 29800 | 32 |621178 | 20.8 |9873k| 46 | - | 231 | 10k| 231 |2453 | 17 | 22k|3047 | 0.000000e+00 | -- | Inf
94.47/94.54 c 94.5s| 29900 | 36 |623299 | 20.8 |9900k| 46 | - | 231 | 10k| 231 |2453 | 17 | 22k|3054 | 0.000000e+00 | -- | Inf
94.77/94.83 c 94.8s| 30000 | 36 |625591 | 20.8 |9914k| 46 | - | 231 | 10k| 231 |2453 | 17 | 22k|3054 | 0.000000e+00 | -- | Inf
94.97/95.06 c 95.1s| 30100 | 35 |627451 | 20.8 |9933k| 46 | - | 231 | 10k| 231 |2453 | 17 | 22k|3054 | 0.000000e+00 | -- | Inf
95.26/95.32 c 95.3s| 30200 | 39 |629414 | 20.8 |9955k| 46 | 23 | 231 | 10k| 231 |2453 | 17 | 22k|3056 | 0.000000e+00 | -- | Inf
95.57/95.62 c 95.6s| 30300 | 39 |631585 | 20.8 |9987k| 46 | - | 231 | 10k| 231 |2453 | 17 | 22k|3060 | 0.000000e+00 | -- | Inf
95.78/95.89 c 95.9s| 30400 | 41 |633659 | 20.8 | 10M| 46 | 35 | 231 | 10k| 231 |2453 | 17 | 22k|3062 | 0.000000e+00 | -- | Inf
96.06/96.17 c 96.2s| 30500 | 41 |635971 | 20.8 | 10M| 46 | 39 | 231 | 11k| 231 |2453 | 17 | 22k|3062 | 0.000000e+00 | -- | Inf
96.36/96.43 c 96.4s| 30600 | 40 |638074 | 20.8 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 22k|3064 | 0.000000e+00 | -- | Inf
96.67/96.70 c 96.7s| 30700 | 44 |640113 | 20.8 | 10M| 46 | 44 | 231 | 11k| 231 |2453 | 17 | 22k|3065 | 0.000000e+00 | -- | Inf
96.87/96.98 c 97.0s| 30800 | 46 |642306 | 20.9 | 10M| 46 | 45 | 231 | 11k| 231 |2453 | 17 | 22k|3066 | 0.000000e+00 | -- | Inf
97.16/97.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
97.16/97.25 c 97.3s| 30900 | 46 |644518 | 20.9 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 22k|3066 | 0.000000e+00 | -- | Inf
97.47/97.54 c 97.5s| 31000 | 46 |646899 | 20.9 | 10M| 46 | 38 | 231 | 11k| 231 |2453 | 17 | 22k|3066 | 0.000000e+00 | -- | Inf
97.76/97.85 c 97.8s| 31100 | 44 |649421 | 20.9 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 23k|3066 | 0.000000e+00 | -- | Inf
98.07/98.13 c 98.1s| 31200 | 42 |651626 | 20.9 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 23k|3066 | 0.000000e+00 | -- | Inf
98.37/98.40 c 98.4s| 31300 | 39 |653588 | 20.9 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 23k|3068 | 0.000000e+00 | -- | Inf
98.57/98.64 c 98.6s| 31400 | 37 |655326 | 20.9 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 23k|3069 | 0.000000e+00 | -- | Inf
98.87/98.91 c 98.9s| 31500 | 35 |657294 | 20.9 | 10M| 46 | - | 231 | 11k| 0 | 0 | 17 | 23k|3070 | 0.000000e+00 | -- | Inf
99.07/99.19 c 99.2s| 31600 | 37 |659467 | 20.9 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 23k|3071 | 0.000000e+00 | -- | Inf
99.36/99.44 c 99.4s| 31700 | 36 |661340 | 20.9 | 10M| 46 | 43 | 231 | 11k| 231 |2453 | 17 | 23k|3071 | 0.000000e+00 | -- | Inf
99.67/99.79 c 99.8s| 31800 | 34 |663292 | 20.9 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 23k|3095 | 0.000000e+00 | -- | Inf
99.97/100.04 c 100s| 31900 | 34 |665169 | 20.8 | 10M| 46 | 51 | 231 | 11k| 231 |2453 | 17 | 23k|3095 | 0.000000e+00 | -- | Inf
100.27/100.39 c 100s| 32000 | 35 |667375 | 20.9 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 23k|3112 | 0.000000e+00 | -- | Inf
100.76/100.81 c 101s| 32100 | 31 |670148 | 20.9 | 10M| 46 | 43 | 231 | 11k| 231 |2453 | 17 | 23k|3130 | 0.000000e+00 | -- | Inf
101.07/101.16 c 101s| 32200 | 29 |672524 | 20.9 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 23k|3139 | 0.000000e+00 | -- | Inf
101.36/101.43 c 101s| 32300 | 30 |674386 | 20.9 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 23k|3148 | 0.000000e+00 | -- | Inf
101.67/101.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
101.67/101.75 c 102s| 32400 | 32 |676354 | 20.9 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 23k|3163 | 0.000000e+00 | -- | Inf
101.97/102.06 c 102s| 32500 | 30 |678439 | 20.9 | 10M| 46 | 31 | 231 | 11k| 231 |2453 | 17 | 24k|3172 | 0.000000e+00 | -- | Inf
102.28/102.34 c 102s| 32600 | 34 |680423 | 20.9 | 10M| 46 | 22 | 231 | 11k| 231 |2453 | 17 | 24k|3180 | 0.000000e+00 | -- | Inf
102.57/102.65 c 103s| 32700 | 30 |682417 | 20.9 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 24k|3191 | 0.000000e+00 | -- | Inf
102.87/102.90 c 103s| 32800 | 31 |684264 | 20.9 | 10M| 46 | 30 | 231 | 11k| 231 |2453 | 17 | 24k|3198 | 0.000000e+00 | -- | Inf
103.16/103.23 c 103s| 32900 | 31 |686472 | 20.9 | 10M| 46 | 37 | 231 | 11k| 231 |2453 | 17 | 24k|3212 | 0.000000e+00 | -- | Inf
103.47/103.53 c 104s| 33000 | 29 |688460 | 20.9 | 10M| 46 | 38 | 231 | 11k| 231 |2453 | 17 | 24k|3222 | 0.000000e+00 | -- | Inf
103.76/103.84 c 104s| 33100 | 29 |690458 | 20.9 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 24k|3237 | 0.000000e+00 | -- | Inf
104.06/104.11 c 104s| 33200 | 31 |692273 | 20.8 | 10M| 46 | 32 | 231 | 11k| 231 |2453 | 17 | 24k|3246 | 0.000000e+00 | -- | Inf
104.27/104.36 c 104s| 33300 | 28 |693836 | 20.8 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 24k|3255 | 0.000000e+00 | -- | Inf
104.57/104.63 c 105s| 33400 | 30 |695517 | 20.8 | 10M| 46 | 27 | 231 | 11k| 231 |2453 | 17 | 24k|3267 | 0.000000e+00 | -- | Inf
104.86/104.90 c 105s| 33500 | 29 |697360 | 20.8 | 10M| 46 | 42 | 231 | 11k| 231 |2453 | 17 | 24k|3276 | 0.000000e+00 | -- | Inf
105.17/105.23 c 105s| 33600 | 26 |699488 | 20.8 | 10M| 46 | - | 231 | 11k| 0 | 0 | 17 | 24k|3286 | 0.000000e+00 | -- | Inf
105.47/105.50 c 105s| 33700 | 24 |701271 | 20.8 | 10M| 46 | 49 | 231 | 11k| 231 |2453 | 17 | 24k|3295 | 0.000000e+00 | -- | Inf
105.67/105.78 c 106s| 33800 | 28 |703369 | 20.8 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 25k|3299 | 0.000000e+00 | -- | Inf
105.96/106.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
105.96/106.07 c 106s| 33900 | 26 |705683 | 20.8 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 25k|3299 | 0.000000e+00 | -- | Inf
106.27/106.35 c 106s| 34000 | 24 |707909 | 20.8 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 25k|3299 | 0.000000e+00 | -- | Inf
106.56/106.63 c 107s| 34100 | 22 |710060 | 20.8 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 25k|3300 | 0.000000e+00 | -- | Inf
106.87/106.91 c 107s| 34200 | 24 |712266 | 20.8 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 25k|3302 | 0.000000e+00 | -- | Inf
107.07/107.19 c 107s| 34300 | 23 |714428 | 20.8 | 10M| 46 | 37 | 231 | 11k| 231 |2453 | 17 | 25k|3303 | 0.000000e+00 | -- | Inf
107.46/107.51 c 108s| 34400 | 23 |717148 | 20.8 | 10M| 46 | 45 | 231 | 11k| 231 |2453 | 17 | 25k|3303 | 0.000000e+00 | -- | Inf
107.67/107.79 c 108s| 34500 | 22 |719422 | 20.8 | 10M| 46 | 33 | 231 | 11k| 231 |2453 | 17 | 25k|3303 | 0.000000e+00 | -- | Inf
107.96/108.07 c 108s| 34600 | 21 |721493 | 20.8 | 10M| 46 | 40 | 231 | 11k| 231 |2453 | 17 | 25k|3304 | 0.000000e+00 | -- | Inf
108.27/108.34 c 108s| 34700 | 19 |723534 | 20.8 | 10M| 46 | 41 | 231 | 11k| 231 |2453 | 17 | 25k|3304 | 0.000000e+00 | -- | Inf
108.56/108.63 c 109s| 34800 | 23 |725892 | 20.9 | 10M| 46 | 38 | 231 | 11k| 231 |2453 | 17 | 25k|3304 | 0.000000e+00 | -- | Inf
108.77/108.89 c 109s| 34900 | 21 |727918 | 20.9 | 10M| 46 | 37 | 231 | 11k| 231 |2453 | 17 | 25k|3304 | 0.000000e+00 | -- | Inf
109.06/109.14 c 109s| 35000 | 18 |729979 | 20.9 | 10M| 46 | 23 | 231 | 11k| 231 |2453 | 17 | 25k|3304 | 0.000000e+00 | -- | Inf
109.27/109.39 c 109s| 35100 | 14 |731858 | 20.8 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 25k|3304 | 0.000000e+00 | -- | Inf
109.56/109.63 c 110s| 35200 | 14 |733538 | 20.8 | 10M| 46 | 26 | 231 | 11k| 231 |2453 | 17 | 25k|3304 | 0.000000e+00 | -- | Inf
109.77/109.88 c 110s| 35300 | 12 |735534 | 20.8 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 26k|3304 | 0.000000e+00 | -- | Inf
110.07/110.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
110.07/110.12 c 110s| 35400 | 12 |737353 | 20.8 |9998k| 46 | - | 231 | 11k| 231 |2453 | 17 | 26k|3304 | 0.000000e+00 | -- | Inf
110.36/110.40 c 110s| 35500 | 17 |739636 | 20.8 | 10M| 46 | 25 | 231 | 11k| 231 |2453 | 17 | 26k|3304 | 0.000000e+00 | -- | Inf
110.57/110.69 c 111s| 35600 | 19 |742072 | 20.8 | 10M| 46 | 36 | 231 | 11k| 231 |2453 | 17 | 26k|3304 | 0.000000e+00 | -- | Inf
110.96/111.05 c 111s| 35700 | 21 |744536 | 20.9 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 26k|3315 | 0.000000e+00 | -- | Inf
111.36/111.40 c 111s| 35800 | 27 |747172 | 20.9 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 26k|3324 | 0.000000e+00 | -- | Inf
111.67/111.76 c 112s| 35900 | 25 |749735 | 20.9 | 10M| 46 | 46 | 231 | 11k| 231 |2453 | 17 | 26k|3335 | 0.000000e+00 | -- | Inf
111.97/112.07 c 112s| 36000 | 27 |751843 | 20.9 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 26k|3345 | 0.000000e+00 | -- | Inf
112.37/112.40 c 112s| 36100 | 29 |754103 | 20.9 | 10M| 46 | 41 | 231 | 11k| 231 |2453 | 17 | 26k|3357 | 0.000000e+00 | -- | Inf
112.67/112.74 c 113s| 36200 | 31 |756271 | 20.9 | 10M| 46 | 31 | 231 | 11k| 231 |2453 | 17 | 26k|3370 | 0.000000e+00 | -- | Inf
112.96/113.04 c 113s| 36300 | 33 |758469 | 20.9 | 10M| 46 | 35 | 231 | 11k| 231 |2453 | 17 | 26k|3376 | 0.000000e+00 | -- | Inf
113.27/113.39 c 113s| 36400 | 31 |760871 | 20.9 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 26k|3388 | 0.000000e+00 | -- | Inf
113.67/113.72 c 114s| 36500 | 37 |763264 | 20.9 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 26k|3400 | 0.000000e+00 | -- | Inf
113.96/114.06 c 114s| 36600 | 37 |765508 | 20.9 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 26k|3416 | 0.000000e+00 | -- | Inf
114.37/114.41 c 114s| 36700 | 41 |768088 | 20.9 | 10M| 46 | 16 | 231 | 11k| 231 |2453 | 17 | 27k|3426 | 0.000000e+00 | -- | Inf
114.66/114.75 c 115s| 36800 | 43 |770407 | 20.9 | 10M| 46 | 26 | 231 | 11k| 231 |2453 | 17 | 27k|3440 | 0.000000e+00 | -- | Inf
114.96/115.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
114.96/115.09 c 115s| 36900 | 49 |772830 | 20.9 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 27k|3452 | 0.000000e+00 | -- | Inf
115.37/115.46 c 115s| 37000 | 45 |775427 | 21.0 | 10M| 46 | 38 | 231 | 11k| 231 |2453 | 17 | 27k|3464 | 0.000000e+00 | -- | Inf
115.67/115.79 c 116s| 37100 | 43 |777830 | 21.0 | 10M| 46 | - | 231 | 12k| 231 |2453 | 17 | 27k|3470 | 0.000000e+00 | -- | Inf
115.97/116.09 c 116s| 37200 | 39 |780156 | 21.0 | 10M| 46 | - | 231 | 12k| 231 |2453 | 17 | 27k|3473 | 0.000000e+00 | -- | Inf
116.36/116.41 c 116s| 37300 | 41 |782699 | 21.0 | 10M| 46 | 39 | 231 | 12k| 231 |2453 | 17 | 27k|3477 | 0.000000e+00 | -- | Inf
116.67/116.72 c 117s| 37400 | 52 |785196 | 21.0 | 10M| 46 | - | 231 | 12k| 0 | 0 | 17 | 27k|3480 | 0.000000e+00 | -- | Inf
116.96/117.04 c 117s| 37500 | 55 |787711 | 21.0 | 10M| 46 | 31 | 231 | 12k| 231 |2453 | 17 | 27k|3485 | 0.000000e+00 | -- | Inf
117.26/117.31 c 117s| 37600 | 49 |789719 | 21.0 | 10M| 46 | - | 231 | 12k| 231 |2453 | 17 | 27k|3488 | 0.000000e+00 | -- | Inf
117.47/117.58 c 118s| 37700 | 52 |791901 | 21.0 | 10M| 46 | 37 | 231 | 12k| 231 |2453 | 17 | 27k|3490 | 0.000000e+00 | -- | Inf
117.86/117.91 c 118s| 37800 | 58 |794512 | 21.0 | 10M| 46 | 22 | 231 | 12k| 231 |2453 | 17 | 27k|3492 | 0.000000e+00 | -- | Inf
118.16/118.23 c 118s| 37900 | 62 |797280 | 21.0 | 10M| 46 | 41 | 231 | 12k| 231 |2453 | 17 | 27k|3492 | 0.000000e+00 | -- | Inf
118.47/118.53 c 119s| 38000 | 62 |799723 | 21.0 | 10M| 46 | 44 | 231 | 12k| 231 |2453 | 17 | 27k|3494 | 0.000000e+00 | -- | Inf
118.77/118.82 c 119s| 38100 | 54 |802081 | 21.0 | 10M| 46 | 42 | 231 | 12k| 231 |2453 | 17 | 27k|3494 | 0.000000e+00 | -- | Inf
119.06/119.13 c 119s| 38200 | 54 |804574 | 21.1 | 10M| 46 | 39 | 231 | 12k| 231 |2453 | 17 | 28k|3494 | 0.000000e+00 | -- | Inf
119.37/119.44 c 119s| 38300 | 56 |807038 | 21.1 | 10M| 46 | 46 | 231 | 12k| 231 |2453 | 17 | 28k|3495 | 0.000000e+00 | -- | Inf
119.66/119.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
119.66/119.71 c 120s| 38400 | 55 |809239 | 21.1 | 10M| 46 | - | 231 | 12k| 231 |2453 | 17 | 28k|3495 | 0.000000e+00 | -- | Inf
119.97/120.01 c 120s| 38500 | 52 |811609 | 21.1 | 10M| 46 | 42 | 231 | 12k| 231 |2453 | 17 | 28k|3495 | 0.000000e+00 | -- | Inf
120.26/120.32 c 120s| 38600 | 45 |814008 | 21.1 | 10M| 46 | - | 231 | 12k| 231 |2453 | 17 | 28k|3495 | 0.000000e+00 | -- | Inf
120.56/120.62 c 121s| 38700 | 42 |816365 | 21.1 | 10M| 46 | - | 231 | 12k| 231 |2453 | 17 | 28k|3495 | 0.000000e+00 | -- | Inf
120.86/120.92 c 121s| 38800 | 38 |818846 | 21.1 | 10M| 46 | - | 231 | 12k| 231 |2453 | 17 | 28k|3495 | 0.000000e+00 | -- | Inf
121.16/121.21 c 121s| 38900 | 40 |821115 | 21.1 | 10M| 46 | 36 | 231 | 12k| 231 |2453 | 17 | 28k|3495 | 0.000000e+00 | -- | Inf
121.46/121.54 c 122s| 39000 | 37 |823819 | 21.1 | 10M| 47 | 36 | 231 | 12k| 231 |2453 | 17 | 28k|3498 | 0.000000e+00 | -- | Inf
121.87/121.93 c 122s| 39100 | 33 |826538 | 21.1 | 10M| 47 | 40 | 231 | 12k| 231 |2453 | 17 | 28k|3510 | 0.000000e+00 | -- | Inf
122.17/122.25 c 122s| 39200 | 30 |828669 | 21.1 | 10M| 47 | 34 | 231 | 12k| 231 |2453 | 17 | 28k|3520 | 0.000000e+00 | -- | Inf
122.57/122.62 c 123s| 39300 | 28 |831020 | 21.1 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 28k|3535 | 0.000000e+00 | -- | Inf
122.96/123.00 c 123s| 39400 | 26 |833678 | 21.2 | 10M| 47 | 38 | 231 | 12k| 231 |2453 | 17 | 28k|3549 | 0.000000e+00 | -- | Inf
123.27/123.36 c 123s| 39500 | 25 |836158 | 21.2 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 28k|3560 | 0.000000e+00 | -- | Inf
123.67/123.71 c 124s| 39600 | 28 |838662 | 21.2 | 10M| 47 | 18 | 231 | 13k| 231 |2453 | 17 | 29k|3568 | 0.000000e+00 | -- | Inf
123.86/123.97 c 124s| 39700 | 25 |840580 | 21.2 | 10M| 47 | - | 231 | 13k| 231 |2453 | 17 | 29k|3573 | 0.000000e+00 | -- | Inf
124.27/124.38 c 124s| 39800 | 24 |843290 | 21.2 | 10M| 47 | - | 231 | 13k| 231 |2453 | 17 | 29k|3590 | 0.000000e+00 | -- | Inf
124.66/124.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
124.66/124.76 c 125s| 39900 | 22 |846023 | 21.2 | 10M| 47 | - | 231 | 13k| 231 |2453 | 17 | 29k|3602 | 0.000000e+00 | -- | Inf
125.07/125.12 c 125s| 40000 | 22 |848559 | 21.2 | 10M| 47 | 42 | 231 | 13k| 231 |2453 | 17 | 29k|3612 | 0.000000e+00 | -- | Inf
125.37/125.47 c 125s| 40100 | 18 |851042 | 21.2 | 10M| 47 | 31 | 231 | 13k| 231 |2453 | 17 | 29k|3624 | 0.000000e+00 | -- | Inf
125.77/125.83 c 126s| 40200 | 16 |853396 | 21.2 | 10M| 47 | - | 231 | 13k| 0 | 0 | 17 | 29k|3639 | 0.000000e+00 | -- | Inf
126.06/126.19 c 126s| 40300 | 15 |855911 | 21.2 | 10M| 47 | 37 | 231 | 13k| 231 |2453 | 17 | 29k|3648 | 0.000000e+00 | -- | Inf
126.47/126.54 c 127s| 40400 | 10 |858147 | 21.2 | 10M| 47 | - | 231 | 13k| 231 |2453 | 17 | 29k|3660 | 0.000000e+00 | -- | Inf
126.76/126.84 c 127s| 40500 | 9 |860018 | 21.2 | 10M| 47 | - | 231 | 13k| 231 |2453 | 17 | 29k|3669 | 0.000000e+00 | -- | Inf
127.17/127.20 c 127s| 40600 | 13 |862459 | 21.2 | 10M| 47 | 44 | 231 | 12k| 231 |2453 | 17 | 29k|3681 | 0.000000e+00 | -- | Inf
127.46/127.50 c 127s| 40700 | 15 |864402 | 21.2 | 10M| 47 | 41 | 231 | 12k| 231 |2453 | 17 | 29k|3689 | 0.000000e+00 | -- | Inf
127.76/127.82 c 128s| 40800 | 10 |866808 | 21.2 | 10M| 47 | - | 231 | 13k| 231 |2453 | 17 | 29k|3693 | 0.000000e+00 | -- | Inf
128.06/128.14 c 128s| 40900 | 9 |869258 | 21.3 | 10M| 47 | 46 | 231 | 13k| 231 |2453 | 17 | 29k|3696 | 0.000000e+00 | -- | Inf
128.36/128.49 c 128s| 41000 | 7 |871763 | 21.3 | 10M| 47 | 38 | 231 | 13k| 231 |2453 | 17 | 30k|3704 | 0.000000e+00 | -- | Inf
128.47/128.58 c
128.47/128.58 c SCIP Status : problem is solved [infeasible]
128.47/128.58 c Solving Time (sec) : 128.58
128.47/128.58 c Solving Nodes : 41029
128.47/128.58 c Primal Bound : +1.00000000000000e+20 (0 solutions)
128.47/128.58 c Dual Bound : +1.00000000000000e+20
128.47/128.58 c Gap : 0.00 %
128.47/128.58 s UNSATISFIABLE
128.47/128.58 c SCIP Status : problem is solved [infeasible]
128.47/128.58 c Total Time : 128.58
128.47/128.58 c solving : 128.58
128.47/128.58 c presolving : 0.05 (included in solving)
128.47/128.58 c reading : 0.01 (included in solving)
128.47/128.58 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
128.47/128.58 c Original Problem :
128.47/128.58 c Problem name : HOME/instance-3691605-1338021655.opb
128.47/128.58 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
128.47/128.58 c Constraints : 2707 initial, 2707 maximal
128.47/128.58 c Objective sense : minimize
128.47/128.58 c Presolved Problem :
128.47/128.58 c Problem name : t_HOME/instance-3691605-1338021655.opb
128.47/128.58 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
128.47/128.58 c Constraints : 2443 initial, 13275 maximal
128.47/128.58 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
128.47/128.58 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
128.47/128.58 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
128.47/128.58 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
128.47/128.58 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
128.47/128.58 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
128.47/128.58 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
128.47/128.58 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
128.47/128.58 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
128.47/128.58 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
128.47/128.58 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
128.47/128.58 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
128.47/128.58 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0
128.47/128.58 c setppc : 0.00 0.00 0 0 0 0 0 121 0 0 0
128.47/128.58 c linear : 0.02 0.00 0 0 0 0 0 143 0 0 0
128.47/128.58 c logicor : 0.02 0.00 0 0 0 0 0 0 0 0 0
128.47/128.58 c root node : - - 1 - - 1 - - - - -
128.47/128.58 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
128.47/128.58 c integral : 0 0 0 0 21534 0 1 0 89 1325 0 0 41424
128.47/128.58 c knapsack : 1 1 5 162150 0 0 0 15419 305 92230 0 0 0
128.47/128.58 c setppc : 22 22 5 162053 0 0 0 417964 1112 243822 0 0 0
128.47/128.58 c linear : 0+ 335 5 144785 0 0 0 676 0 5986 0 0 0
128.47/128.58 c logicor : 2420+ 13246 5 79011 0 0 0 189076 367 262822 0 0 0
128.47/128.58 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
128.47/128.58 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
128.47/128.58 c integral : 18.45 0.00 0.00 0.00 18.45 0.00 0.00 0.00
128.47/128.58 c knapsack : 0.20 0.00 0.00 0.18 0.00 0.00 0.00 0.02
128.47/128.58 c setppc : 0.74 0.00 0.00 0.62 0.00 0.00 0.00 0.12
128.47/128.58 c linear : 0.28 0.00 0.00 0.27 0.00 0.00 0.00 0.00
128.47/128.58 c logicor : 3.52 0.00 0.00 3.39 0.00 0.00 0.00 0.13
128.47/128.58 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
128.47/128.58 c Propagators : #Propagate #ResProp Cutoffs DomReds
128.47/128.58 c rootredcost : 0 0 0 0
128.47/128.58 c pseudoobj : 0 0 0 0
128.47/128.58 c vbounds : 0 0 0 0
128.47/128.58 c redcost : 21539 0 0 0
128.47/128.58 c probing : 0 0 0 0
128.47/128.58 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
128.47/128.58 c rootredcost : 0.04 0.00 0.00 0.04 0.00
128.47/128.58 c pseudoobj : 0.04 0.00 0.00 0.04 0.00
128.47/128.58 c vbounds : 0.04 0.00 0.00 0.04 0.00
128.47/128.58 c redcost : 0.09 0.00 0.00 0.09 0.00
128.47/128.58 c probing : 0.00 0.00 0.00 0.00 0.00
128.47/128.58 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
128.47/128.58 c propagation : 0.06 1784 1781 8902 18.7 32 16.9 -
128.47/128.58 c infeasible LP : 1.63 18829 18727 116292 28.7 46 14.1 0
128.47/128.58 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
128.47/128.58 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
128.47/128.58 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
128.47/128.58 c applied globally : - - - 29893 18.2 - - -
128.47/128.58 c applied locally : - - - 196 32.8 - - -
128.47/128.58 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
128.47/128.58 c cut pool : 0.00 4 - - 306 - (maximal pool size: 515)
128.47/128.58 c closecuts : 0.00 0.00 0 0 0 0 0
128.47/128.58 c impliedbounds : 0.00 0.00 5 0 0 0 0
128.47/128.58 c intobj : 0.00 0.00 0 0 0 0 0
128.47/128.58 c gomory : 0.10 0.00 5 0 0 200 0
128.47/128.58 c cgmip : 0.00 0.00 0 0 0 0 0
128.47/128.58 c strongcg : 0.19 0.00 5 0 0 2500 0
128.47/128.58 c cmir : 0.00 0.00 0 0 0 0 0
128.47/128.58 c flowcover : 0.00 0.00 0 0 0 0 0
128.47/128.58 c clique : 0.00 0.00 5 0 0 0 0
128.47/128.58 c zerohalf : 0.00 0.00 0 0 0 0 0
128.47/128.58 c mcf : 0.00 0.00 1 0 0 0 0
128.47/128.58 c oddcycle : 0.00 0.00 0 0 0 0 0
128.47/128.58 c rapidlearning : 0.09 0.00 1 0 0 0 335
128.47/128.58 c Pricers : ExecTime SetupTime Calls Vars
128.47/128.58 c problem variables: 0.00 - 0 0
128.47/128.58 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
128.47/128.58 c relpscost : 18.43 0.00 21534 89 1325 0 0 41424
128.47/128.58 c pscost : 0.00 0.00 0 0 0 0 0 0
128.47/128.58 c inference : 0.00 0.00 0 0 0 0 0 0
128.47/128.58 c mostinf : 0.00 0.00 0 0 0 0 0 0
128.47/128.58 c leastinf : 0.00 0.00 0 0 0 0 0 0
128.47/128.58 c fullstrong : 0.00 0.00 0 0 0 0 0 0
128.47/128.58 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
128.47/128.58 c random : 0.00 0.00 0 0 0 0 0 0
128.47/128.58 c Primal Heuristics : ExecTime SetupTime Calls Found
128.47/128.58 c LP solutions : 0.00 - - 0
128.47/128.58 c pseudo solutions : 0.00 - - 0
128.47/128.58 c smallcard : 0.00 0.00 0 0
128.47/128.58 c trivial : 0.00 0.00 1 0
128.47/128.58 c shiftandpropagate: 0.00 0.00 0 0
128.47/128.58 c simplerounding : 0.00 0.00 0 0
128.47/128.58 c zirounding : 0.00 0.00 0 0
128.47/128.58 c rounding : 0.00 0.00 0 0
128.47/128.58 c shifting : 0.00 0.00 0 0
128.47/128.58 c intshifting : 0.00 0.00 0 0
128.47/128.58 c oneopt : 0.00 0.00 0 0
128.47/128.58 c twoopt : 0.00 0.00 0 0
128.47/128.58 c indtwoopt : 0.00 0.00 0 0
128.47/128.58 c indoneopt : 0.00 0.00 0 0
128.47/128.58 c fixandinfer : 0.00 0.00 0 0
128.47/128.58 c feaspump : 0.00 0.00 0 0
128.47/128.58 c clique : 0.00 0.00 0 0
128.47/128.58 c indrounding : 0.00 0.00 0 0
128.47/128.58 c indcoefdiving : 0.00 0.00 0 0
128.47/128.58 c coefdiving : 0.00 0.00 0 0
128.47/128.58 c pscostdiving : 0.00 0.00 0 0
128.47/128.58 c nlpdiving : 0.00 0.00 0 0
128.47/128.58 c fracdiving : 0.00 0.00 0 0
128.47/128.58 c veclendiving : 0.00 0.00 0 0
128.47/128.58 c intdiving : 0.00 0.00 0 0
128.47/128.58 c actconsdiving : 0.00 0.00 0 0
128.47/128.58 c objpscostdiving : 0.00 0.00 0 0
128.47/128.58 c rootsoldiving : 0.00 0.00 0 0
128.47/128.58 c linesearchdiving : 0.00 0.00 0 0
128.47/128.58 c guideddiving : 0.00 0.00 0 0
128.47/128.58 c octane : 0.00 0.00 0 0
128.47/128.58 c rens : 0.00 0.00 0 0
128.47/128.58 c rins : 0.00 0.00 0 0
128.47/128.58 c localbranching : 0.00 0.00 0 0
128.47/128.58 c mutation : 0.00 0.00 0 0
128.47/128.58 c crossover : 0.00 0.00 0 0
128.47/128.58 c dins : 0.00 0.00 0 0
128.47/128.58 c vbounds : 0.00 0.00 0 0
128.47/128.58 c undercover : 0.00 0.00 0 0
128.47/128.58 c subnlp : 0.00 0.00 0 0
128.47/128.58 c trysol : 0.00 0.00 0 0
128.47/128.58 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
128.47/128.58 c primal LP : 0.00 1 0 0.00 - 0.00 1
128.47/128.58 c dual LP : 92.81 40368 872335 21.65 9399.31 0.03 73
128.47/128.58 c lex dual LP : 0.00 0 0 0.00 -
128.47/128.58 c barrier LP : 0.00 0 0 0.00 - 0.00 0
128.47/128.58 c diving/probing LP: 0.00 0 0 0.00 -
128.47/128.58 c strong branching : 18.06 3705 159746 43.12 8843.76
128.47/128.58 c (at root node) : - 9 1965 218.33 -
128.47/128.58 c conflict analysis: 0.00 0 0 0.00 -
128.47/128.58 c B&B Tree :
128.47/128.58 c number of runs : 1
128.47/128.58 c nodes : 41029
128.47/128.58 c nodes (total) : 41029
128.47/128.58 c nodes left : 0
128.47/128.58 c max depth : 47
128.47/128.58 c max depth (total): 47
128.47/128.58 c backtracks : 5214 (12.7%)
128.47/128.58 c delayed cutoffs : 396
128.47/128.58 c repropagations : 66211 (103386 domain reductions, 392 cutoffs)
128.47/128.58 c avg switch length: 4.83
128.47/128.58 c switching time : 3.81
128.47/128.58 c Solution :
128.47/128.58 c Solutions found : 0 (0 improvements)
128.47/128.58 c Primal Bound : infeasible
128.47/128.58 c Dual Bound : -
128.47/128.58 c Gap : 0.00 %
128.47/128.58 c Root Dual Bound : +0.00000000000000e+00
128.47/128.58 c Root Iterations : 146
128.56/128.60 c Time complete: 128.57.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3691605-1338021655/watcher-3691605-1338021655 -o /tmp/evaluation-result-3691605-1338021655/solver-3691605-1338021655 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691605-1338021655.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 2849
/proc/meminfo: memFree=29504408/32873852 swapFree=7616/7616
[pid=2849] ppid=2847 vsize=12692 CPUtime=0 cores=1,3,5,7
/proc/2849/stat : 2849 (scip-2.1.1.4exp) R 2847 2849 403 0 -1 4202496 1905 0 0 0 0 0 0 0 20 0 1 0 268290914 12996608 1859 33554432000 4194304 10219143 140736040876672 140736153374296 7589947 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2849/statm: 3173 1862 419 1471 0 1693 0
[startup+0.039145 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 2849
/proc/meminfo: memFree=29504408/32873852 swapFree=7616/7616
[pid=2849] ppid=2847 vsize=23660 CPUtime=0.03 cores=1,3,5,7
/proc/2849/stat : 2849 (scip-2.1.1.4exp) R 2847 2849 403 0 -1 4202496 4716 0 0 0 2 1 0 0 20 0 1 0 268290914 24227840 4413 33554432000 4194304 10219143 140736040876672 140736040741304 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2849/statm: 5915 4413 566 1471 0 4435 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 23660
[startup+0.100326 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 2849
/proc/meminfo: memFree=29504408/32873852 swapFree=7616/7616
[pid=2849] ppid=2847 vsize=30612 CPUtime=0.09 cores=1,3,5,7
/proc/2849/stat : 2849 (scip-2.1.1.4exp) R 2847 2849 403 0 -1 4202496 6800 0 0 0 8 1 0 0 20 0 1 0 268290914 31346688 6452 33554432000 4194304 10219143 140736040876672 140736040741304 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2849/statm: 7653 6452 761 1471 0 6173 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30612
[startup+0.300272 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 2849
/proc/meminfo: memFree=29504408/32873852 swapFree=7616/7616
[pid=2849] ppid=2847 vsize=48280 CPUtime=0.29 cores=1,3,5,7
/proc/2849/stat : 2849 (scip-2.1.1.4exp) R 2847 2849 403 0 -1 4202496 11654 0 0 0 26 3 0 0 20 0 1 0 268290914 49438720 10598 33554432000 4194304 10219143 140736040876672 140736040741304 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2849/statm: 12070 10598 814 1471 0 10590 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48280
[startup+0.700224 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 2849
/proc/meminfo: memFree=29504408/32873852 swapFree=7616/7616
[pid=2849] ppid=2847 vsize=48448 CPUtime=0.69 cores=1,3,5,7
/proc/2849/stat : 2849 (scip-2.1.1.4exp) R 2847 2849 403 0 -1 4202496 11698 0 0 0 66 3 0 0 20 0 1 0 268290914 49610752 10642 33554432000 4194304 10219143 140736040876672 140736040870120 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2849/statm: 12112 10642 818 1471 0 10632 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48448
[startup+1.50022 s]
/proc/loadavg: 2.07 2.02 2.00 4/176 2850
/proc/meminfo: memFree=29465224/32873852 swapFree=7616/7616
[pid=2849] ppid=2847 vsize=48448 CPUtime=1.49 cores=1,3,5,7
/proc/2849/stat : 2849 (scip-2.1.1.4exp) R 2847 2849 403 0 -1 4202496 11699 0 0 0 145 4 0 0 20 0 1 0 268290914 49610752 10643 33554432000 4194304 10219143 140736040876672 140736040870120 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2849/statm: 12112 10643 819 1471 0 10632 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 48448
[startup+3.10023 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 2850
/proc/meminfo: memFree=29464852/32873852 swapFree=7616/7616
[pid=2849] ppid=2847 vsize=48448 CPUtime=3.09 cores=1,3,5,7
/proc/2849/stat : 2849 (scip-2.1.1.4exp) R 2847 2849 403 0 -1 4202496 11703 0 0 0 303 6 0 0 20 0 1 0 268290914 49610752 10647 33554432000 4194304 10219143 140736040876672 140736040870136 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2849/statm: 12112 10647 823 1471 0 10632 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 48448
[startup+6.30023 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 2850
/proc/meminfo: memFree=29465100/32873852 swapFree=7616/7616
[pid=2849] ppid=2847 vsize=48448 CPUtime=6.29 cores=1,3,5,7
/proc/2849/stat : 2849 (scip-2.1.1.4exp) R 2847 2849 403 0 -1 4202496 11704 0 0 0 620 9 0 0 20 0 1 0 268290914 49610752 10648 33554432000 4194304 10219143 140736040876672 140736040869800 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2849/statm: 12112 10648 824 1471 0 10632 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 48448
[startup+12.7002 s]
/proc/loadavg: 2.06 2.02 2.00 3/175 2850
/proc/meminfo: memFree=29464124/32873852 swapFree=7616/7616
[pid=2849] ppid=2847 vsize=48448 CPUtime=12.68 cores=1,3,5,7
/proc/2849/stat : 2849 (scip-2.1.1.4exp) R 2847 2849 403 0 -1 4202496 11710 0 0 0 1251 17 0 0 20 0 1 0 268290914 49610752 10798 33554432000 4194304 10219143 140736040876672 140736040872040 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2849/statm: 12112 10798 824 1471 0 10632 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 48448
[startup+25.5003 s]
/proc/loadavg: 2.04 2.02 2.00 3/175 2850
/proc/meminfo: memFree=29462504/32873852 swapFree=7616/7616
[pid=2849] ppid=2847 vsize=48448 CPUtime=25.48 cores=1,3,5,7
/proc/2849/stat : 2849 (scip-2.1.1.4exp) R 2847 2849 403 0 -1 4202496 11714 0 0 0 2512 36 0 0 20 0 1 0 268290914 49610752 11302 33554432000 4194304 10219143 140736040876672 140736040869928 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2849/statm: 12112 11302 824 1471 0 10632 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 48448
[startup+51.1003 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 2850
/proc/meminfo: memFree=29462064/32873852 swapFree=7616/7616
[pid=2849] ppid=2847 vsize=48448 CPUtime=51.07 cores=1,3,5,7
/proc/2849/stat : 2849 (scip-2.1.1.4exp) R 2847 2849 403 0 -1 4202496 11714 0 0 0 5029 78 0 0 20 0 1 0 268290914 49610752 11302 33554432000 4194304 10219143 140736040876672 140736040870312 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2849/statm: 12112 11302 824 1471 0 10632 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 48448
[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 2850
/proc/meminfo: memFree=29461256/32873852 swapFree=7616/7616
[pid=2849] ppid=2847 vsize=48448 CPUtime=102.28 cores=1,3,5,7
/proc/2849/stat : 2849 (scip-2.1.1.4exp) R 2847 2849 403 0 -1 4202496 11714 0 0 0 10070 158 0 0 20 0 1 0 268290914 49610752 11302 33554432000 4194304 10219143 140736040876672 140736040870024 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2849/statm: 12112 11302 824 1471 0 10632 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 48448
Solver just ended. Dumping a history of the last processes samples
[startup+102.407 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 2850
/proc/meminfo: memFree=29461256/32873852 swapFree=7616/7616
[pid=2849] ppid=2847 vsize=48448 CPUtime=102.38 cores=1,3,5,7
/proc/2849/stat : 2849 (scip-2.1.1.4exp) R 2847 2849 403 0 -1 4202496 11714 0 0 0 10080 158 0 0 20 0 1 0 268290914 49610752 11302 33554432000 4194304 10219143 140736040876672 140736040870024 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2849/statm: 12112 11302 824 1471 0 10632 0
Current children cumulated CPU time (s) 102.38
Current children cumulated vsize (KiB) 48448
[startup+115.2 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 2850
/proc/meminfo: memFree=29461256/32873852 swapFree=7616/7616
[pid=2849] ppid=2847 vsize=48448 CPUtime=115.16 cores=1,3,5,7
/proc/2849/stat : 2849 (scip-2.1.1.4exp) R 2847 2849 403 0 -1 4202496 11715 0 0 0 11341 175 0 0 20 0 1 0 268290914 49610752 11303 33554432000 4194304 10219143 140736040876672 140736040870120 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2849/statm: 12112 11303 825 1471 0 10632 0
Current children cumulated CPU time (s) 115.16
Current children cumulated vsize (KiB) 48448
[startup+121.6 s]
/proc/loadavg: 2.09 2.02 2.01 4/175 2850
/proc/meminfo: memFree=29461256/32873852 swapFree=7616/7616
[pid=2849] ppid=2847 vsize=48448 CPUtime=121.56 cores=1,3,5,7
/proc/2849/stat : 2849 (scip-2.1.1.4exp) R 2847 2849 403 0 -1 4202496 11715 0 0 0 11974 182 0 0 20 0 1 0 268290914 49610752 11303 33554432000 4194304 10219143 140736040876672 140736040872040 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2849/statm: 12112 11303 825 1471 0 10632 0
Current children cumulated CPU time (s) 121.56
Current children cumulated vsize (KiB) 48448
[startup+124.8 s]
/proc/loadavg: 2.08 2.02 2.00 3/175 2850
/proc/meminfo: memFree=29461256/32873852 swapFree=7616/7616
[pid=2849] ppid=2847 vsize=48448 CPUtime=124.76 cores=1,3,5,7
/proc/2849/stat : 2849 (scip-2.1.1.4exp) R 2847 2849 403 0 -1 4202496 11715 0 0 0 12290 186 0 0 20 0 1 0 268290914 49610752 11303 33554432000 4194304 10219143 140736040876672 140736040870120 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2849/statm: 12112 11303 825 1471 0 10632 0
Current children cumulated CPU time (s) 124.76
Current children cumulated vsize (KiB) 48448
[startup+126.4 s]
/proc/loadavg: 2.08 2.02 2.00 3/175 2850
/proc/meminfo: memFree=29461256/32873852 swapFree=7616/7616
[pid=2849] ppid=2847 vsize=48448 CPUtime=126.37 cores=1,3,5,7
/proc/2849/stat : 2849 (scip-2.1.1.4exp) R 2847 2849 403 0 -1 4202496 11715 0 0 0 12448 189 0 0 20 0 1 0 268290914 49610752 11303 33554432000 4194304 10219143 140736040876672 140736040869928 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2849/statm: 12112 11303 825 1471 0 10632 0
Current children cumulated CPU time (s) 126.37
Current children cumulated vsize (KiB) 48448
[startup+128 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 2850
/proc/meminfo: memFree=29461256/32873852 swapFree=7616/7616
[pid=2849] ppid=2847 vsize=48448 CPUtime=127.96 cores=1,3,5,7
/proc/2849/stat : 2849 (scip-2.1.1.4exp) R 2847 2849 403 0 -1 4202496 11715 0 0 0 12606 190 0 0 20 0 1 0 268290914 49610752 11303 33554432000 4194304 10219143 140736040876672 140736040869928 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2849/statm: 12112 11303 825 1471 0 10632 0
Current children cumulated CPU time (s) 127.96
Current children cumulated vsize (KiB) 48448
[startup+128.4 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 2850
/proc/meminfo: memFree=29461256/32873852 swapFree=7616/7616
[pid=2849] ppid=2847 vsize=48448 CPUtime=128.36 cores=1,3,5,7
/proc/2849/stat : 2849 (scip-2.1.1.4exp) R 2847 2849 403 0 -1 4202496 11715 0 0 0 12646 190 0 0 20 0 1 0 268290914 49610752 11303 33554432000 4194304 10219143 140736040876672 140736040869928 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2849/statm: 12112 11303 825 1471 0 10632 0
Current children cumulated CPU time (s) 128.36
Current children cumulated vsize (KiB) 48448
[startup+128.6 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 2850
/proc/meminfo: memFree=29461256/32873852 swapFree=7616/7616
[pid=2849] ppid=2847 vsize=42340 CPUtime=128.56 cores=1,3,5,7
/proc/2849/stat : 2849 (scip-2.1.1.4exp) R 2847 2849 403 0 -1 4202496 11718 0 0 0 12665 191 0 0 20 0 1 0 268290914 43356160 9874 33554432000 4194304 10219143 140736040876672 140736040874040 9036791 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2849/statm: 10585 9874 828 1471 0 9105 0
Current children cumulated CPU time (s) 128.56
Current children cumulated vsize (KiB) 42340
Child status: 0
Real time (s): 128.604
CPU time (s): 128.576
CPU user time (s): 126.662
CPU system time (s): 1.91471
CPU usage (%): 99.9783
Max. virtual memory (cumulated for all children) (KiB): 48448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 126.662
system time used= 1.91471
maximum resident set size= 45224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11720
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 134
runsolver used 0.217966 second user time and 0.663899 second system time
The end