0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3690414-1338016937.opb>
0.00/0.01 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.00/0.01 c problem read in 0.01
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.01 c presolving settings loaded
0.01/0.02 c presolving:
0.01/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.01/0.05 c (round 2) 0 del vars, 143 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.01/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.01/0.06 c presolving (4 rounds):
0.01/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.01/0.06 c 242 implications, 22 cliques
0.01/0.06 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2443 constraints
0.01/0.06 c 1 constraints of type <knapsack>
0.01/0.06 c 22 constraints of type <setppc>
0.01/0.06 c 2420 constraints of type <logicor>
0.01/0.06 c transformed objective value is always integral (scale: 1)
0.01/0.06 c Presolving Time: 0.05
0.01/0.06 c - non default parameters ----------------------------------------------------------------------
0.01/0.06 c # SCIP version 2.1.1.4
0.01/0.06 c
0.01/0.06 c # maximal time in seconds to run
0.01/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.06 c limits/time = 1797
0.01/0.06 c
0.01/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.06 c limits/memory = 13950
0.01/0.06 c
0.01/0.06 c # solving stops, if the given number of solutions were found (-1: no limit)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.06 c limits/solutions = 1
0.01/0.06 c
0.01/0.06 c # maximal number of separation rounds per node (-1: unlimited)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 5]
0.01/0.06 c separating/maxrounds = 1
0.01/0.06 c
0.01/0.06 c # maximal number of separation rounds in the root node (-1: unlimited)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.06 c separating/maxroundsroot = 5
0.01/0.06 c
0.01/0.06 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.01/0.06 c # [type: int, range: [1,2], default: 1]
0.01/0.06 c timing/clocktype = 2
0.01/0.06 c
0.01/0.06 c # belongs reading time to solving time?
0.01/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.06 c timing/reading = TRUE
0.01/0.06 c
0.01/0.06 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.01/0.06 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.01/0.06 c constraints/knapsack/disaggregation = FALSE
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.06 c heuristics/coefdiving/freq = -1
0.01/0.06 c
0.01/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.06 c heuristics/coefdiving/maxlpiterquot = 0.075
0.01/0.06 c
0.01/0.06 c # additional number of allowed LP iterations
0.01/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.06 c heuristics/coefdiving/maxlpiterofs = 1500
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 30]
0.01/0.06 c heuristics/crossover/freq = -1
0.01/0.06 c
0.01/0.06 c # number of nodes added to the contingent of the total nodes
0.01/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.01/0.06 c heuristics/crossover/nodesofs = 750
0.01/0.06 c
0.01/0.06 c # number of nodes without incumbent change that heuristic should wait
0.01/0.06 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.01/0.06 c heuristics/crossover/nwaitingnodes = 100
0.01/0.06 c
0.01/0.06 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.01/0.06 c # [type: real, range: [0,1], default: 0.1]
0.01/0.06 c heuristics/crossover/nodesquot = 0.15
0.01/0.06 c
0.01/0.06 c # minimum percentage of integer variables that have to be fixed
0.01/0.06 c # [type: real, range: [0,1], default: 0.666]
0.01/0.06 c heuristics/crossover/minfixingrate = 0.5
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.01/0.06 c heuristics/feaspump/freq = -1
0.01/0.06 c
0.01/0.06 c # additional number of allowed LP iterations
0.01/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.06 c heuristics/feaspump/maxlpiterofs = 2000
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.06 c heuristics/fracdiving/freq = -1
0.01/0.06 c
0.01/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.06 c heuristics/fracdiving/maxlpiterquot = 0.075
0.01/0.06 c
0.01/0.06 c # additional number of allowed LP iterations
0.01/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.06 c heuristics/fracdiving/maxlpiterofs = 1500
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.06 c heuristics/guideddiving/freq = -1
0.01/0.06 c
0.01/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.06 c heuristics/guideddiving/maxlpiterquot = 0.075
0.01/0.06 c
0.01/0.06 c # additional number of allowed LP iterations
0.01/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.06 c heuristics/guideddiving/maxlpiterofs = 1500
0.01/0.06 c
0.01/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.06 c heuristics/intdiving/maxlpiterquot = 0.075
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.06 c heuristics/intshifting/freq = -1
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.06 c heuristics/linesearchdiving/freq = -1
0.01/0.06 c
0.01/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.06 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.01/0.06 c
0.01/0.06 c # additional number of allowed LP iterations
0.01/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.06 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.01/0.06 c heuristics/objpscostdiving/freq = -1
0.01/0.06 c
0.01/0.06 c # maximal fraction of diving LP iterations compared to total iteration number
0.01/0.06 c # [type: real, range: [0,1], default: 0.01]
0.01/0.06 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.01/0.06 c
0.01/0.06 c # additional number of allowed LP iterations
0.01/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.06 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.06 c heuristics/oneopt/freq = -1
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.06 c heuristics/pscostdiving/freq = -1
0.01/0.06 c
0.01/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.06 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.01/0.06 c
0.01/0.06 c # additional number of allowed LP iterations
0.01/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.06 c heuristics/pscostdiving/maxlpiterofs = 1500
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.06 c heuristics/rens/freq = -1
0.01/0.06 c
0.01/0.06 c # minimum percentage of integer variables that have to be fixable
0.01/0.06 c # [type: real, range: [0,1], default: 0.5]
0.01/0.06 c heuristics/rens/minfixingrate = 0.3
0.01/0.06 c
0.01/0.06 c # number of nodes added to the contingent of the total nodes
0.01/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.01/0.06 c heuristics/rens/nodesofs = 2000
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.01/0.06 c heuristics/rootsoldiving/freq = -1
0.01/0.06 c
0.01/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.01/0.06 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.01/0.06 c
0.01/0.06 c # additional number of allowed LP iterations
0.01/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.06 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.06 c heuristics/rounding/freq = -1
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.06 c heuristics/shiftandpropagate/freq = -1
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.06 c heuristics/shifting/freq = -1
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.06 c heuristics/simplerounding/freq = -1
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.06 c heuristics/subnlp/freq = -1
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.06 c heuristics/trivial/freq = -1
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.06 c heuristics/trysol/freq = -1
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.06 c heuristics/undercover/freq = -1
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.06 c heuristics/veclendiving/freq = -1
0.01/0.06 c
0.01/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.06 c heuristics/veclendiving/maxlpiterquot = 0.075
0.01/0.06 c
0.01/0.06 c # additional number of allowed LP iterations
0.01/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.06 c heuristics/veclendiving/maxlpiterofs = 1500
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.06 c heuristics/zirounding/freq = -1
0.01/0.06 c
0.01/0.06 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.06 c propagating/probing/maxprerounds = 0
0.01/0.06 c
0.01/0.06 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.06 c separating/cmir/freq = -1
0.01/0.06 c
0.01/0.06 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.06 c separating/flowcover/freq = -1
0.01/0.06 c
0.01/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.06 c separating/rapidlearning/freq = 0
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.06 c heuristics/indoneopt/freq = -1
0.01/0.06 c
0.01/0.06 c -----------------------------------------------------------------------------------------------
0.01/0.06 c start solving
0.01/0.06 c
0.01/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.01/0.07 c 0.1s| 1 | 0 | 76 | - |3909k| 0 | 36 | 231 |2443 | 231 |2443 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.20 c 0.2s| 1 | 0 | 90 | - |4330k| 0 | 39 | 231 |2693 | 231 |2450 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.23 c 0.2s| 1 | 0 | 105 | - |4658k| 0 | 45 | 231 |2693 | 231 |2454 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.27 c 0.3s| 1 | 0 | 120 | - |5101k| 0 | 46 | 231 |2693 | 231 |2455 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.31 c 0.3s| 1 | 0 | 139 | - |5545k| 0 | 47 | 231 |2693 | 231 |2457 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.47 c 0.5s| 1 | 0 | 146 | - |5885k| 0 | 51 | 231 |2693 | 231 |2460 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.76 c 0.8s| 1 | 2 | 146 | - |5885k| 0 | 51 | 231 |2693 | 231 |2460 | 17 | 0 | 11 | 0.000000e+00 | -- | Inf
8.49/8.51 c 8.5s| 100 | 14 | 4422 | 43.2 |6041k| 13 | - | 231 |2712 | 231 |2453 | 17 | 19 |1603 | 0.000000e+00 | -- | Inf
9.68/9.75 c 9.8s| 200 | 25 | 6478 | 31.8 |6086k| 22 | 16 | 231 |2752 | 231 |2453 | 17 | 59 |1850 | 0.000000e+00 | -- | Inf
10.18/10.20 c 10.2s| 300 | 23 | 8070 | 26.5 |6110k| 22 | - | 231 |2818 | 231 |2453 | 17 | 125 |1914 | 0.000000e+00 | -- | Inf
10.68/10.72 c 10.7s| 400 | 25 | 10218 | 25.2 |6134k| 22 | 38 | 231 |2877 | 231 |2453 | 17 | 184 |1980 | 0.000000e+00 | -- | Inf
10.89/10.99 c 11.0s| 500 | 25 | 11721 | 23.2 |6167k| 22 | - | 231 |2938 | 0 | 0 | 17 | 245 |2000 | 0.000000e+00 | -- | Inf
11.28/11.32 c 11.3s| 600 | 25 | 13358 | 22.1 |6187k| 23 | - | 231 |2994 | 0 | 0 | 17 | 303 |2031 | 0.000000e+00 | -- | Inf
11.48/11.52 c 11.5s| 700 | 27 | 14803 | 21.0 |6207k| 23 | 24 | 231 |3053 | 231 |2453 | 17 | 362 |2032 | 0.000000e+00 | -- | Inf
11.68/11.71 c 11.7s| 800 | 26 | 16026 | 19.9 |6238k| 27 | - | 231 |3121 | 0 | 0 | 17 | 433 |2040 | 0.000000e+00 | -- | Inf
11.99/12.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.99/12.01 c 12.0s| 900 | 24 | 17674 | 19.5 |6262k| 28 | 28 | 231 |3192 | 231 |2453 | 17 | 508 |2063 | 0.000000e+00 | -- | Inf
12.18/12.27 c 12.3s| 1000 | 28 | 19027 | 18.9 |6278k| 28 | 24 | 231 |3250 | 231 |2453 | 17 | 566 |2081 | 0.000000e+00 | -- | Inf
12.38/12.47 c 12.5s| 1100 | 26 | 20434 | 18.5 |6303k| 28 | 38 | 231 |3332 | 231 |2453 | 17 | 649 |2087 | 0.000000e+00 | -- | Inf
12.68/12.70 c 12.7s| 1200 | 26 | 22024 | 18.2 |6331k| 28 | - | 231 |3385 | 231 |2453 | 17 | 705 |2092 | 0.000000e+00 | -- | Inf
12.88/12.99 c 13.0s| 1300 | 26 | 23958 | 18.3 |6359k| 28 | - | 231 |3433 | 231 |2453 | 17 | 756 |2105 | 0.000000e+00 | -- | Inf
13.08/13.20 c 13.2s| 1400 | 28 | 25277 | 18.0 |6383k| 28 | 24 | 231 |3490 | 231 |2453 | 17 | 815 |2112 | 0.000000e+00 | -- | Inf
13.48/13.50 c 13.5s| 1500 | 26 | 27123 | 18.0 |6390k| 28 | 35 | 231 |3545 | 231 |2453 | 17 | 874 |2128 | 0.000000e+00 | -- | Inf
13.68/13.71 c 13.7s| 1600 | 25 | 28591 | 17.8 |6413k| 28 | - | 231 |3603 | 231 |2453 | 17 | 938 |2130 | 0.000000e+00 | -- | Inf
13.88/13.91 c 13.9s| 1700 | 29 | 30031 | 17.6 |6444k| 28 | - | 231 |3655 | 231 |2453 | 17 | 998 |2130 | 0.000000e+00 | -- | Inf
14.08/14.15 c 14.1s| 1800 | 25 | 31726 | 17.6 |6452k| 28 | - | 231 |3710 | 231 |2453 | 17 |1064 |2136 | 0.000000e+00 | -- | Inf
14.29/14.36 c 14.4s| 1900 | 25 | 33326 | 17.5 |6466k| 28 | 20 | 231 |3759 | 231 |2453 | 17 |1122 |2138 | 0.000000e+00 | -- | Inf
14.58/14.60 c 14.6s| 2000 | 28 | 35098 | 17.5 |6494k| 28 | 29 | 231 |3815 | 231 |2453 | 17 |1185 |2141 | 0.000000e+00 | -- | Inf
14.78/14.85 c 14.9s| 2100 | 27 | 36945 | 17.5 |6518k| 28 | 30 | 231 |3882 | 231 |2453 | 17 |1258 |2143 | 0.000000e+00 | -- | Inf
14.98/15.07 c 15.1s| 2200 | 27 | 38674 | 17.5 |6538k| 28 | 31 | 231 |3943 | 231 |2453 | 17 |1328 |2143 | 0.000000e+00 | -- | Inf
15.18/15.28 c 15.3s| 2300 | 21 | 40276 | 17.5 |6551k| 28 | - | 231 |4000 | 231 |2453 | 17 |1398 |2143 | 0.000000e+00 | -- | Inf
15.48/15.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.48/15.52 c 15.5s| 2400 | 22 | 42019 | 17.5 |6570k| 28 | 29 | 231 |4049 | 231 |2453 | 17 |1475 |2146 | 0.000000e+00 | -- | Inf
15.68/15.74 c 15.7s| 2500 | 20 | 43884 | 17.5 |6586k| 28 | 31 | 231 |4101 | 231 |2453 | 17 |1530 |2146 | 0.000000e+00 | -- | Inf
15.98/16.07 c 16.1s| 2600 | 21 | 45902 | 17.6 |6602k| 28 | 35 | 231 |4142 | 231 |2453 | 17 |1595 |2164 | 0.000000e+00 | -- | Inf
16.39/16.42 c 16.4s| 2700 | 21 | 48075 | 17.8 |6619k| 28 | 35 | 231 |4196 | 231 |2453 | 17 |1667 |2188 | 0.000000e+00 | -- | Inf
16.69/16.71 c 16.7s| 2800 | 21 | 50007 | 17.8 |6639k| 28 | 32 | 231 |4242 | 231 |2453 | 17 |1744 |2199 | 0.000000e+00 | -- | Inf
16.88/17.00 c 17.0s| 2900 | 23 | 51616 | 17.8 |6664k| 28 | 37 | 231 |4293 | 231 |2453 | 17 |1810 |2215 | 0.000000e+00 | -- | Inf
17.28/17.30 c 17.3s| 3000 | 28 | 53544 | 17.8 |6694k| 28 | 38 | 231 |4342 | 231 |2453 | 17 |1866 |2231 | 0.000000e+00 | -- | Inf
17.49/17.53 c 17.5s| 3100 | 31 | 55233 | 17.8 |6724k| 29 | - | 231 |4398 | 231 |2453 | 17 |1936 |2235 | 0.000000e+00 | -- | Inf
17.68/17.77 c 17.8s| 3200 | 23 | 57137 | 17.8 |6730k| 29 | - | 231 |4456 | 231 |2453 | 17 |2004 |2236 | 0.000000e+00 | -- | Inf
17.98/18.05 c 18.0s| 3300 | 29 | 59088 | 17.9 |6771k| 29 | 17 | 231 |4518 | 231 |2453 | 17 |2086 |2245 | 0.000000e+00 | -- | Inf
18.19/18.24 c 18.2s| 3400 | 28 | 60554 | 17.8 |6790k| 29 | - | 231 |4586 | 231 |2453 | 17 |2156 |2246 | 0.000000e+00 | -- | Inf
18.39/18.49 c 18.5s| 3500 | 34 | 62477 | 17.8 |6834k| 29 | - | 231 |4652 | 231 |2453 | 17 |2225 |2248 | 0.000000e+00 | -- | Inf
18.69/18.74 c 18.7s| 3600 | 36 | 64349 | 17.8 |6871k| 29 | - | 231 |4727 | 231 |2453 | 17 |2303 |2250 | 0.000000e+00 | -- | Inf
18.88/18.96 c 19.0s| 3700 | 37 | 66123 | 17.8 |6900k| 29 | - | 231 |4796 | 231 |2453 | 17 |2373 |2250 | 0.000000e+00 | -- | Inf
19.18/19.21 c 19.2s| 3800 | 36 | 68122 | 17.9 |6929k| 30 | - | 231 |4865 | 0 | 0 | 17 |2445 |2250 | 0.000000e+00 | -- | Inf
19.38/19.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.38/19.42 c 19.4s| 3900 | 32 | 69711 | 17.8 |6941k| 30 | 36 | 231 |4942 | 231 |2453 | 17 |2523 |2251 | 0.000000e+00 | -- | Inf
19.58/19.66 c 19.7s| 4000 | 33 | 71422 | 17.8 |6979k| 30 | - | 231 |4995 | 231 |2453 | 17 |2592 |2255 | 0.000000e+00 | -- | Inf
19.89/19.92 c 19.9s| 4100 | 33 | 73317 | 17.9 |6987k| 30 | 31 | 231 |5032 | 231 |2453 | 17 |2654 |2259 | 0.000000e+00 | -- | Inf
20.08/20.17 c 20.2s| 4200 | 29 | 75307 | 17.9 |6990k| 30 | 47 | 231 |5063 | 231 |2453 | 17 |2715 |2259 | 0.000000e+00 | -- | Inf
20.38/20.41 c 20.4s| 4300 | 33 | 77186 | 17.9 |7026k| 30 | - | 231 |5090 | 231 |2453 | 17 |2773 |2261 | 0.000000e+00 | -- | Inf
20.58/20.63 c 20.6s| 4400 | 33 | 78843 | 17.9 |7042k| 30 | - | 231 |5134 | 231 |2453 | 17 |2827 |2262 | 0.000000e+00 | -- | Inf
20.88/20.92 c 20.9s| 4500 | 33 | 80728 | 17.9 |7056k| 30 | - | 231 |5163 | 231 |2453 | 17 |2879 |2271 | 0.000000e+00 | -- | Inf
21.08/21.19 c 21.2s| 4600 | 37 | 82498 | 17.9 |7081k| 30 | 39 | 231 |5194 | 231 |2453 | 17 |2938 |2283 | 0.000000e+00 | -- | Inf
21.38/21.48 c 21.5s| 4700 | 36 | 84343 | 17.9 |7091k| 30 | 27 | 231 |5241 | 231 |2453 | 17 |3005 |2297 | 0.000000e+00 | -- | Inf
21.67/21.75 c 21.8s| 4800 | 36 | 85962 | 17.9 |7120k| 30 | - | 231 |5286 | 231 |2453 | 17 |3062 |2312 | 0.000000e+00 | -- | Inf
21.98/22.09 c 22.1s| 4900 | 34 | 88035 | 17.9 |7112k| 30 | 32 | 231 |5304 | 231 |2453 | 17 |3122 |2332 | 0.000000e+00 | -- | Inf
22.38/22.45 c 22.4s| 5000 | 34 | 90288 | 18.0 |7141k| 30 | - | 231 |5367 | 231 |2453 | 17 |3205 |2349 | 0.000000e+00 | -- | Inf
22.67/22.74 c 22.7s| 5100 | 34 | 92215 | 18.1 |7156k| 30 | 38 | 231 |5414 | 231 |2453 | 17 |3265 |2362 | 0.000000e+00 | -- | Inf
22.88/23.00 c 23.0s| 5200 | 34 | 93748 | 18.0 |7172k| 30 | - | 231 |5464 | 231 |2453 | 17 |3334 |2375 | 0.000000e+00 | -- | Inf
23.28/23.30 c 23.3s| 5300 | 36 | 95486 | 18.0 |7182k| 30 | 21 | 231 |5482 | 231 |2453 | 17 |3394 |2394 | 0.000000e+00 | -- | Inf
23.48/23.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.48/23.58 c 23.6s| 5400 | 33 | 97432 | 18.0 |7195k| 30 | - | 231 |5526 | 231 |2453 | 17 |3455 |2406 | 0.000000e+00 | -- | Inf
23.78/23.84 c 23.8s| 5500 | 33 | 98941 | 18.0 |7203k| 30 | 30 | 231 |5547 | 231 |2453 | 17 |3517 |2421 | 0.000000e+00 | -- | Inf
23.98/24.09 c 24.1s| 5600 | 38 |100647 | 17.9 |7227k| 30 | 28 | 231 |5590 | 231 |2453 | 17 |3584 |2429 | 0.000000e+00 | -- | Inf
24.28/24.36 c 24.4s| 5700 | 38 |102636 | 18.0 |7249k| 30 | - | 231 |5633 | 231 |2453 | 17 |3643 |2434 | 0.000000e+00 | -- | Inf
24.58/24.60 c 24.6s| 5800 | 44 |104506 | 18.0 |7273k| 30 | 19 | 231 |5668 | 231 |2453 | 17 |3696 |2436 | 0.000000e+00 | -- | Inf
24.68/24.75 c 24.8s| 5900 | 44 |105505 | 17.9 |7300k| 30 | - | 231 |5732 | 231 |2453 | 17 |3768 |2436 | 0.000000e+00 | -- | Inf
24.88/24.91 c 24.9s| 6000 | 42 |106465 | 17.7 |7314k| 30 | 30 | 231 |5791 | 231 |2453 | 17 |3830 |2438 | 0.000000e+00 | -- | Inf
25.08/25.10 c 25.1s| 6100 | 40 |107892 | 17.7 |7337k| 30 | - | 231 |5859 | 0 | 0 | 17 |3899 |2439 | 0.000000e+00 | -- | Inf
25.29/25.34 c 25.3s| 6200 | 42 |109610 | 17.7 |7351k| 30 | 33 | 231 |5892 | 231 |2453 | 17 |3959 |2442 | 0.000000e+00 | -- | Inf
25.48/25.57 c 25.6s| 6300 | 44 |111460 | 17.7 |7372k| 30 | 29 | 231 |5928 | 231 |2453 | 17 |4019 |2443 | 0.000000e+00 | -- | Inf
25.78/25.80 c 25.8s| 6400 | 44 |113322 | 17.7 |7388k| 30 | 18 | 231 |5971 | 231 |2453 | 17 |4080 |2444 | 0.000000e+00 | -- | Inf
25.98/26.04 c 26.0s| 6500 | 41 |115229 | 17.7 |7392k| 30 | 25 | 231 |6012 | 231 |2453 | 17 |4140 |2445 | 0.000000e+00 | -- | Inf
26.18/26.30 c 26.3s| 6600 | 41 |117267 | 17.7 |7412k| 30 | 33 | 231 |6061 | 231 |2453 | 17 |4197 |2446 | 0.000000e+00 | -- | Inf
26.48/26.52 c 26.5s| 6700 | 47 |118996 | 17.7 |7450k| 30 | - | 231 |6120 | 231 |2453 | 17 |4264 |2446 | 0.000000e+00 | -- | Inf
26.68/26.74 c 26.7s| 6800 | 37 |120700 | 17.7 |7437k| 30 | 40 | 231 |6161 | 231 |2453 | 17 |4330 |2447 | 0.000000e+00 | -- | Inf
26.87/26.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.87/26.99 c 27.0s| 6900 | 36 |122767 | 17.8 |7467k| 30 | - | 231 |6224 | 231 |2453 | 17 |4410 |2447 | 0.000000e+00 | -- | Inf
27.18/27.26 c 27.3s| 7000 | 32 |124882 | 17.8 |7474k| 30 | - | 231 |6245 | 231 |2453 | 17 |4487 |2448 | 0.000000e+00 | -- | Inf
27.49/27.54 c 27.5s| 7100 | 35 |126851 | 17.8 |7497k| 30 | - | 231 |6267 | 231 |2453 | 17 |4556 |2457 | 0.000000e+00 | -- | Inf
27.78/27.86 c 27.9s| 7200 | 34 |128698 | 17.9 |7503k| 30 | - | 231 |6278 | 0 | 0 | 17 |4633 |2474 | 0.000000e+00 | -- | Inf
28.08/28.12 c 28.1s| 7300 | 33 |130369 | 17.8 |7512k| 30 | 50 | 231 |6310 | 231 |2453 | 17 |4723 |2484 | 0.000000e+00 | -- | Inf
28.38/28.48 c 28.5s| 7400 | 34 |132473 | 17.9 |7527k| 30 | 44 | 231 |6324 | 231 |2453 | 17 |4796 |2501 | 0.000000e+00 | -- | Inf
28.68/28.75 c 28.7s| 7500 | 33 |134243 | 17.9 |7534k| 30 | 33 | 231 |6359 | 231 |2453 | 17 |4864 |2512 | 0.000000e+00 | -- | Inf
28.98/29.04 c 29.0s| 7600 | 33 |136124 | 17.9 |7556k| 30 | - | 231 |6377 | 231 |2453 | 17 |4922 |2523 | 0.000000e+00 | -- | Inf
29.28/29.34 c 29.3s| 7700 | 35 |138063 | 17.9 |7570k| 30 | - | 231 |6375 | 231 |2453 | 17 |4977 |2537 | 0.000000e+00 | -- | Inf
29.58/29.64 c 29.6s| 7800 | 38 |139970 | 17.9 |7588k| 30 | - | 231 |6378 | 231 |2453 | 17 |5035 |2551 | 0.000000e+00 | -- | Inf
29.87/29.93 c 29.9s| 7900 | 42 |141726 | 17.9 |7604k| 30 | 27 | 231 |6410 | 231 |2453 | 17 |5099 |2567 | 0.000000e+00 | -- | Inf
30.08/30.19 c 30.2s| 8000 | 44 |143791 | 18.0 |7623k| 30 | 31 | 231 |6447 | 231 |2453 | 17 |5165 |2569 | 0.000000e+00 | -- | Inf
30.38/30.42 c 30.4s| 8100 | 46 |145408 | 17.9 |7637k| 30 | - | 231 |6477 | 231 |2453 | 17 |5224 |2575 | 0.000000e+00 | -- | Inf
30.57/30.63 c 30.6s| 8200 | 42 |146932 | 17.9 |7650k| 30 | - | 231 |6529 | 231 |2453 | 17 |5289 |2578 | 0.000000e+00 | -- | Inf
30.78/30.86 c 30.9s| 8300 | 41 |148708 | 17.9 |7661k| 30 | - | 231 |6575 | 231 |2453 | 17 |5354 |2581 | 0.000000e+00 | -- | Inf
31.08/31.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.08/31.13 c 31.1s| 8400 | 49 |150662 | 17.9 |7682k| 30 | 30 | 231 |6592 | 231 |2453 | 17 |5400 |2588 | 0.000000e+00 | -- | Inf
31.28/31.34 c 31.3s| 8500 | 45 |152070 | 17.9 |7693k| 33 | - | 231 |6646 | 231 |2453 | 17 |5467 |2593 | 0.000000e+00 | -- | Inf
31.47/31.56 c 31.6s| 8600 | 48 |153712 | 17.9 |7720k| 33 | - | 231 |6699 | 231 |2453 | 17 |5533 |2595 | 0.000000e+00 | -- | Inf
31.68/31.75 c 31.8s| 8700 | 48 |155181 | 17.8 |7739k| 33 | 28 | 231 |6763 | 231 |2453 | 17 |5600 |2595 | 0.000000e+00 | -- | Inf
31.88/31.97 c 32.0s| 8800 | 54 |156783 | 17.8 |7772k| 33 | 13 | 231 |6823 | 231 |2453 | 17 |5664 |2598 | 0.000000e+00 | -- | Inf
32.08/32.19 c 32.2s| 8900 | 52 |158588 | 17.8 |7791k| 33 | 22 | 231 |6873 | 231 |2453 | 17 |5725 |2598 | 0.000000e+00 | -- | Inf
32.38/32.41 c 32.4s| 9000 | 49 |160240 | 17.8 |7806k| 33 | - | 231 |6924 | 231 |2453 | 17 |5785 |2600 | 0.000000e+00 | -- | Inf
32.58/32.64 c 32.6s| 9100 | 43 |161901 | 17.8 |7808k| 33 | - | 231 |6976 | 231 |2453 | 17 |5845 |2601 | 0.000000e+00 | -- | Inf
32.78/32.86 c 32.9s| 9200 | 44 |163494 | 17.8 |7829k| 35 | 30 | 231 |6993 | 231 |2453 | 17 |5900 |2604 | 0.000000e+00 | -- | Inf
32.99/33.08 c 33.1s| 9300 | 44 |165116 | 17.7 |7843k| 35 | 37 | 231 |7024 | 231 |2453 | 17 |5961 |2606 | 0.000000e+00 | -- | Inf
33.28/33.32 c 33.3s| 9400 | 44 |166936 | 17.7 |7866k| 35 | 39 | 231 |7082 | 231 |2453 | 17 |6028 |2607 | 0.000000e+00 | -- | Inf
33.48/33.52 c 33.5s| 9500 | 48 |168491 | 17.7 |7906k| 35 | 34 | 231 |7156 | 231 |2453 | 17 |6109 |2607 | 0.000000e+00 | -- | Inf
33.67/33.72 c 33.7s| 9600 | 51 |169997 | 17.7 |7929k| 35 | 22 | 231 |7186 | 231 |2453 | 17 |6166 |2607 | 0.000000e+00 | -- | Inf
33.88/33.94 c 33.9s| 9700 | 46 |171709 | 17.7 |7935k| 35 | - | 231 |7232 | 231 |2453 | 17 |6229 |2607 | 0.000000e+00 | -- | Inf
34.08/34.17 c 34.2s| 9800 | 51 |173434 | 17.7 |7969k| 35 | - | 231 |7286 | 231 |2453 | 17 |6293 |2608 | 0.000000e+00 | -- | Inf
34.28/34.37 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.37 c 34.4s| 9900 | 51 |175004 | 17.7 |7993k| 35 | 38 | 231 |7355 | 231 |2453 | 17 |6368 |2608 | 0.000000e+00 | -- | Inf
34.47/34.58 c 34.6s| 10000 | 53 |176562 | 17.6 |8013k| 35 | 28 | 231 |7395 | 231 |2453 | 17 |6438 |2608 | 0.000000e+00 | -- | Inf
34.68/34.78 c 34.8s| 10100 | 53 |178054 | 17.6 |8026k| 35 | 24 | 231 |7431 | 231 |2453 | 17 |6493 |2608 | 0.000000e+00 | -- | Inf
34.97/35.00 c 35.0s| 10200 | 49 |179761 | 17.6 |8032k| 35 | 32 | 231 |7481 | 231 |2453 | 17 |6553 |2608 | 0.000000e+00 | -- | Inf
35.19/35.21 c 35.2s| 10300 | 50 |181380 | 17.6 |8056k| 35 | - | 231 |7528 | 231 |2453 | 17 |6623 |2609 | 0.000000e+00 | -- | Inf
35.38/35.44 c 35.4s| 10400 | 51 |183073 | 17.6 |8082k| 35 | 23 | 231 |7587 | 231 |2453 | 17 |6693 |2611 | 0.000000e+00 | -- | Inf
35.57/35.65 c 35.7s| 10500 | 52 |184799 | 17.6 |8102k| 35 | - | 231 |7627 | 231 |2453 | 17 |6754 |2611 | 0.000000e+00 | -- | Inf
35.77/35.86 c 35.9s| 10600 | 54 |186372 | 17.6 |8119k| 35 | 29 | 231 |7668 | 231 |2453 | 17 |6812 |2611 | 0.000000e+00 | -- | Inf
35.98/36.05 c 36.0s| 10700 | 55 |187861 | 17.5 |8143k| 35 | 16 | 231 |7730 | 231 |2453 | 17 |6885 |2611 | 0.000000e+00 | -- | Inf
36.18/36.27 c 36.3s| 10800 | 51 |189628 | 17.5 |8161k| 35 | 26 | 231 |7801 | 231 |2453 | 17 |6973 |2611 | 0.000000e+00 | -- | Inf
36.37/36.49 c 36.5s| 10900 | 50 |191280 | 17.5 |8181k| 35 | - | 231 |7850 | 231 |2453 | 17 |7048 |2611 | 0.000000e+00 | -- | Inf
36.58/36.69 c 36.7s| 11000 | 56 |192872 | 17.5 |8214k| 35 | 21 | 231 |7900 | 231 |2453 | 17 |7113 |2611 | 0.000000e+00 | -- | Inf
36.88/36.91 c 36.9s| 11100 | 49 |194570 | 17.5 |8206k| 35 | 24 | 231 |7945 | 231 |2453 | 17 |7180 |2611 | 0.000000e+00 | -- | Inf
37.08/37.15 c 37.1s| 11200 | 51 |196438 | 17.5 |8234k| 35 | 34 | 231 |7998 | 231 |2453 | 17 |7242 |2611 | 0.000000e+00 | -- | Inf
37.28/37.38 c 37.4s| 11300 | 49 |198237 | 17.5 |8256k| 35 | - | 231 |8036 | 231 |2453 | 17 |7300 |2611 | 0.000000e+00 | -- | Inf
37.48/37.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.48/37.58 c 37.6s| 11400 | 56 |199850 | 17.5 |8284k| 35 | 32 | 231 |8072 | 231 |2453 | 17 |7355 |2611 | 0.000000e+00 | -- | Inf
37.68/37.78 c 37.8s| 11500 | 62 |201388 | 17.5 |8307k| 35 | 31 | 231 |8108 | 231 |2453 | 17 |7399 |2611 | 0.000000e+00 | -- | Inf
37.87/37.97 c 38.0s| 11600 | 56 |202818 | 17.5 |8309k| 35 | 31 | 231 |8146 | 231 |2453 | 17 |7440 |2611 | 0.000000e+00 | -- | Inf
38.08/38.17 c 38.2s| 11700 | 56 |204414 | 17.5 |8323k| 35 | 37 | 231 |8187 | 231 |2453 | 17 |7490 |2611 | 0.000000e+00 | -- | Inf
38.28/38.40 c 38.4s| 11800 | 57 |206185 | 17.5 |8355k| 35 | - | 231 |8242 | 231 |2453 | 17 |7550 |2611 | 0.000000e+00 | -- | Inf
38.58/38.62 c 38.6s| 11900 | 60 |208022 | 17.5 |8374k| 35 | 37 | 231 |8282 | 231 |2453 | 17 |7601 |2611 | 0.000000e+00 | -- | Inf
38.78/38.85 c 38.8s| 12000 | 63 |209735 | 17.5 |8391k| 35 | 16 | 231 |8313 | 231 |2453 | 17 |7663 |2611 | 0.000000e+00 | -- | Inf
38.98/39.04 c 39.0s| 12100 | 61 |211135 | 17.4 |8399k| 35 | 27 | 231 |8354 | 231 |2453 | 17 |7707 |2611 | 0.000000e+00 | -- | Inf
39.17/39.27 c 39.3s| 12200 | 59 |212930 | 17.4 |8411k| 35 | 31 | 231 |8398 | 231 |2453 | 17 |7761 |2611 | 0.000000e+00 | -- | Inf
39.38/39.46 c 39.5s| 12300 | 65 |214448 | 17.4 |8448k| 37 | 29 | 231 |8452 | 231 |2453 | 17 |7821 |2611 | 0.000000e+00 | -- | Inf
39.58/39.65 c 39.7s| 12400 | 69 |215845 | 17.4 |8477k| 37 | 34 | 231 |8503 | 231 |2453 | 17 |7881 |2611 | 0.000000e+00 | -- | Inf
39.77/39.88 c 39.9s| 12500 | 71 |217674 | 17.4 |8510k| 37 | - | 231 |8552 | 0 | 0 | 17 |7938 |2611 | 0.000000e+00 | -- | Inf
39.98/40.09 c 40.1s| 12600 | 66 |219267 | 17.4 |8513k| 37 | - | 231 |8604 | 231 |2453 | 17 |7997 |2611 | 0.000000e+00 | -- | Inf
40.27/40.34 c 40.3s| 12700 | 66 |221356 | 17.4 |8526k| 37 | - | 231 |8640 | 231 |2453 | 17 |8052 |2611 | 0.000000e+00 | -- | Inf
40.48/40.56 c 40.6s| 12800 | 72 |223068 | 17.4 |8550k| 39 | 26 | 231 |8656 | 231 |2453 | 17 |8088 |2611 | 0.000000e+00 | -- | Inf
40.68/40.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.68/40.79 c 40.8s| 12900 | 72 |224838 | 17.4 |8558k| 42 | 36 | 231 |8681 | 231 |2453 | 17 |8127 |2611 | 0.000000e+00 | -- | Inf
40.98/41.01 c 41.0s| 13000 | 70 |226661 | 17.4 |8570k| 42 | - | 231 |8704 | 231 |2453 | 17 |8178 |2611 | 0.000000e+00 | -- | Inf
41.18/41.22 c 41.2s| 13100 | 66 |228318 | 17.4 |8571k| 42 | - | 231 |8722 | 231 |2453 | 17 |8222 |2611 | 0.000000e+00 | -- | Inf
41.38/41.45 c 41.4s| 13200 | 64 |229978 | 17.4 |8583k| 42 | - | 231 |8763 | 231 |2453 | 17 |8274 |2611 | 0.000000e+00 | -- | Inf
41.57/41.67 c 41.7s| 13300 | 65 |231720 | 17.4 |8593k| 42 | 40 | 231 |8775 | 231 |2453 | 17 |8323 |2611 | 0.000000e+00 | -- | Inf
41.78/41.89 c 41.9s| 13400 | 67 |233401 | 17.4 |8613k| 42 | - | 231 |8799 | 231 |2453 | 17 |8374 |2611 | 0.000000e+00 | -- | Inf
42.08/42.12 c 42.1s| 13500 | 63 |235122 | 17.4 |8624k| 42 | - | 231 |8828 | 231 |2453 | 17 |8430 |2611 | 0.000000e+00 | -- | Inf
42.28/42.36 c 42.4s| 13600 | 64 |236972 | 17.4 |8635k| 42 | - | 231 |8838 | 231 |2453 | 17 |8492 |2611 | 0.000000e+00 | -- | Inf
42.57/42.61 c 42.6s| 13700 | 63 |239025 | 17.4 |8641k| 42 | - | 231 |8827 | 231 |2453 | 17 |8545 |2611 | 0.000000e+00 | -- | Inf
42.78/42.85 c 42.8s| 13800 | 62 |240827 | 17.4 |8645k| 42 | 28 | 231 |8840 | 231 |2453 | 17 |8611 |2611 | 0.000000e+00 | -- | Inf
43.07/43.10 c 43.1s| 13900 | 60 |242858 | 17.5 |8640k| 42 | - | 231 |8840 | 231 |2453 | 17 |8671 |2611 | 0.000000e+00 | -- | Inf
43.28/43.34 c 43.3s| 14000 | 58 |244666 | 17.5 |8645k| 42 | - | 231 |8858 | 231 |2453 | 17 |8731 |2611 | 0.000000e+00 | -- | Inf
43.47/43.56 c 43.6s| 14100 | 58 |246281 | 17.5 |8650k| 42 | 32 | 231 |8880 | 231 |2453 | 17 |8794 |2611 | 0.000000e+00 | -- | Inf
43.68/43.77 c 43.8s| 14200 | 56 |247828 | 17.4 |8664k| 42 | - | 231 |8898 | 231 |2453 | 17 |8857 |2611 | 0.000000e+00 | -- | Inf
43.88/44.00 c 44.0s| 14300 | 57 |249544 | 17.4 |8679k| 42 | 33 | 231 |8930 | 231 |2453 | 17 |8932 |2611 | 0.000000e+00 | -- | Inf
44.17/44.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
44.17/44.23 c 44.2s| 14400 | 56 |251261 | 17.4 |8694k| 42 | 39 | 231 |8955 | 231 |2453 | 17 |8987 |2611 | 0.000000e+00 | -- | Inf
44.37/44.44 c 44.4s| 14500 | 56 |252883 | 17.4 |8684k| 42 | - | 231 |8882 | 231 |2453 | 17 |9051 |2611 | 0.000000e+00 | -- | Inf
44.58/44.69 c 44.7s| 14600 | 62 |254827 | 17.4 |8699k| 42 | 29 | 231 |8894 | 231 |2453 | 17 |9101 |2611 | 0.000000e+00 | -- | Inf
44.87/44.91 c 44.9s| 14700 | 60 |256492 | 17.4 |8696k| 42 | - | 231 |8894 | 231 |2453 | 17 |9160 |2611 | 0.000000e+00 | -- | Inf
45.08/45.15 c 45.2s| 14800 | 58 |258351 | 17.4 |8687k| 42 | 24 | 231 |8883 | 231 |2453 | 17 |9227 |2611 | 0.000000e+00 | -- | Inf
45.28/45.39 c 45.4s| 14900 | 57 |260280 | 17.5 |8700k| 42 | 39 | 231 |8927 | 231 |2453 | 17 |9293 |2611 | 0.000000e+00 | -- | Inf
45.58/45.62 c 45.6s| 15000 | 59 |261956 | 17.5 |8719k| 42 | - | 231 |8941 | 231 |2453 | 17 |9358 |2611 | 0.000000e+00 | -- | Inf
45.77/45.88 c 45.9s| 15100 | 59 |264073 | 17.5 |8728k| 42 | - | 231 |8962 | 231 |2453 | 17 |9418 |2611 | 0.000000e+00 | -- | Inf
46.08/46.15 c 46.1s| 15200 | 62 |266298 | 17.5 |8740k| 42 | 31 | 231 |8983 | 231 |2453 | 17 |9476 |2611 | 0.000000e+00 | -- | Inf
46.37/46.42 c 46.4s| 15300 | 54 |268402 | 17.5 |8723k| 42 | - | 231 |8980 | 231 |2453 | 17 |9539 |2611 | 0.000000e+00 | -- | Inf
46.67/46.70 c 46.7s| 15400 | 56 |270732 | 17.6 |8694k| 42 | - | 231 |8881 | 231 |2453 | 17 |9597 |2611 | 0.000000e+00 | -- | Inf
46.88/46.95 c 46.9s| 15500 | 58 |272576 | 17.6 |8695k| 42 | - | 231 |8860 | 231 |2453 | 17 |9657 |2611 | 0.000000e+00 | -- | Inf
47.18/47.21 c 47.2s| 15600 | 60 |274644 | 17.6 |8689k| 42 | 36 | 231 |8828 | 231 |2453 | 17 |9723 |2611 | 0.000000e+00 | -- | Inf
47.47/47.51 c 47.5s| 15700 | 58 |277108 | 17.6 |8680k| 42 | 42 | 231 |8799 | 231 |2453 | 17 |9801 |2611 | 0.000000e+00 | -- | Inf
47.67/47.78 c 47.8s| 15800 | 60 |279318 | 17.7 |8688k| 42 | - | 231 |8797 | 0 | 0 | 17 |9882 |2611 | 0.000000e+00 | -- | Inf
47.87/47.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.87/47.97 c 48.0s| 15900 | 59 |280687 | 17.6 |8688k| 42 | 20 | 231 |8812 | 231 |2453 | 17 |9965 |2611 | 0.000000e+00 | -- | Inf
48.18/48.23 c 48.2s| 16000 | 59 |282823 | 17.7 |8698k| 42 | - | 231 |8813 | 0 | 0 | 17 | 10k|2611 | 0.000000e+00 | -- | Inf
48.38/48.49 c 48.5s| 16100 | 60 |284878 | 17.7 |8698k| 42 | 28 | 231 |8815 | 231 |2453 | 17 | 10k|2611 | 0.000000e+00 | -- | Inf
48.68/48.76 c 48.8s| 16200 | 58 |287081 | 17.7 |8710k| 42 | 32 | 231 |8851 | 231 |2453 | 17 | 10k|2611 | 0.000000e+00 | -- | Inf
48.88/48.99 c 49.0s| 16300 | 62 |288868 | 17.7 |8731k| 42 | 29 | 231 |8885 | 231 |2453 | 17 | 10k|2611 | 0.000000e+00 | -- | Inf
49.17/49.23 c 49.2s| 16400 | 63 |290620 | 17.7 |8736k| 42 | - | 231 |8831 | 231 |2453 | 17 | 10k|2611 | 0.000000e+00 | -- | Inf
49.38/49.43 c 49.4s| 16500 | 63 |292017 | 17.7 |8747k| 42 | - | 231 |8866 | 231 |2453 | 17 | 10k|2611 | 0.000000e+00 | -- | Inf
49.57/49.66 c 49.7s| 16600 | 66 |293758 | 17.7 |8779k| 42 | 31 | 231 |8894 | 231 |2453 | 17 | 10k|2611 | 0.000000e+00 | -- | Inf
49.87/49.90 c 49.9s| 16700 | 63 |295527 | 17.7 |8757k| 42 | - | 231 |8858 | 231 |2453 | 17 | 10k|2611 | 0.000000e+00 | -- | Inf
50.08/50.15 c 50.2s| 16800 | 63 |297527 | 17.7 |8747k| 42 | - | 231 |8800 | 231 |2453 | 17 | 10k|2611 | 0.000000e+00 | -- | Inf
50.27/50.37 c 50.4s| 16900 | 65 |299117 | 17.7 |8740k| 42 | 36 | 231 |8761 | 231 |2453 | 17 | 10k|2611 | 0.000000e+00 | -- | Inf
50.48/50.60 c 50.6s| 17000 | 69 |300955 | 17.7 |8738k| 42 | - | 231 |8703 | 231 |2453 | 17 | 10k|2611 | 0.000000e+00 | -- | Inf
50.77/50.84 c 50.8s| 17100 | 74 |302927 | 17.7 |8751k| 42 | 16 | 231 |8703 | 231 |2453 | 17 | 10k|2611 | 0.000000e+00 | -- | Inf
50.97/51.06 c 51.1s| 17200 | 77 |304548 | 17.7 |8753k| 42 | 38 | 231 |8689 | 231 |2453 | 17 | 10k|2611 | 0.000000e+00 | -- | Inf
51.18/51.27 c 51.3s| 17300 | 82 |306189 | 17.7 |8779k| 42 | - | 231 |8710 | 231 |2453 | 17 | 10k|2611 | 0.000000e+00 | -- | Inf
51.47/51.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.47/51.52 c 51.5s| 17400 | 91 |308224 | 17.7 |8797k| 42 | 35 | 231 |8719 | 231 |2453 | 17 | 10k|2611 | 0.000000e+00 | -- | Inf
51.68/51.75 c 51.7s| 17500 | 84 |310062 | 17.7 |8804k| 42 | 31 | 231 |8772 | 231 |2453 | 17 | 11k|2611 | 0.000000e+00 | -- | Inf
51.88/51.98 c 52.0s| 17600 | 81 |311855 | 17.7 |8815k| 42 | 37 | 231 |8826 | 231 |2453 | 17 | 11k|2611 | 0.000000e+00 | -- | Inf
52.17/52.23 c 52.2s| 17700 | 87 |313830 | 17.7 |8834k| 42 | 27 | 231 |8836 | 231 |2453 | 17 | 11k|2611 | 0.000000e+00 | -- | Inf
52.38/52.46 c 52.5s| 17800 | 84 |315560 | 17.7 |8848k| 42 | - | 231 |8886 | 231 |2453 | 17 | 11k|2611 | 0.000000e+00 | -- | Inf
52.68/52.72 c 52.7s| 17900 | 85 |317724 | 17.7 |8862k| 42 | - | 231 |8910 | 231 |2453 | 17 | 11k|2611 | 0.000000e+00 | -- | Inf
52.88/52.99 c 53.0s| 18000 | 99 |319903 | 17.8 |8903k| 42 | 37 | 231 |8939 | 231 |2453 | 17 | 11k|2611 | 0.000000e+00 | -- | Inf
53.18/53.25 c 53.3s| 18100 | 100 |322058 | 17.8 |8922k| 42 | 31 | 231 |8991 | 231 |2453 | 17 | 11k|2611 | 0.000000e+00 | -- | Inf
53.37/53.47 c 53.5s| 18200 | 100 |323726 | 17.8 |8948k| 42 | 33 | 231 |9052 | 231 |2453 | 17 | 11k|2611 | 0.000000e+00 | -- | Inf
53.57/53.69 c 53.7s| 18300 | 100 |325495 | 17.8 |8968k| 42 | 21 | 231 |9102 | 231 |2453 | 17 | 11k|2611 | 0.000000e+00 | -- | Inf
53.88/53.93 c 53.9s| 18400 | 100 |327393 | 17.8 |8995k| 42 | 24 | 231 |9161 | 231 |2453 | 17 | 11k|2611 | 0.000000e+00 | -- | Inf
54.07/54.15 c 54.2s| 18500 | 99 |329067 | 17.8 |9017k| 42 | 33 | 231 |9220 | 231 |2453 | 17 | 11k|2611 | 0.000000e+00 | -- | Inf
54.27/54.38 c 54.4s| 18600 | 95 |331014 | 17.8 |9036k| 42 | - | 231 |9282 | 231 |2453 | 17 | 11k|2611 | 0.000000e+00 | -- | Inf
54.57/54.63 c 54.6s| 18700 | 101 |333000 | 17.8 |9073k| 42 | - | 231 |9327 | 231 |2453 | 17 | 11k|2611 | 0.000000e+00 | -- | Inf
54.77/54.87 c 54.9s| 18800 | 100 |334839 | 17.8 |9085k| 42 | - | 231 |9365 | 231 |2453 | 17 | 11k|2611 | 0.000000e+00 | -- | Inf
55.07/55.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.07/55.13 c 55.1s| 18900 | 104 |336956 | 17.8 |9108k| 42 | 44 | 231 |9407 | 231 |2453 | 17 | 11k|2611 | 0.000000e+00 | -- | Inf
55.37/55.40 c 55.4s| 19000 | 101 |339126 | 17.8 |9144k| 42 | - | 231 |9480 | 231 |2453 | 17 | 12k|2611 | 0.000000e+00 | -- | Inf
55.57/55.63 c 55.6s| 19100 | 101 |340854 | 17.8 |9168k| 42 | 37 | 231 |9548 | 231 |2453 | 17 | 12k|2611 | 0.000000e+00 | -- | Inf
55.78/55.85 c 55.9s| 19200 | 104 |342655 | 17.8 |9199k| 42 | 31 | 231 |9611 | 231 |2453 | 17 | 12k|2611 | 0.000000e+00 | -- | Inf
55.98/56.09 c 56.1s| 19300 | 101 |344548 | 17.8 |9218k| 42 | 17 | 231 |9663 | 231 |2453 | 17 | 12k|2611 | 0.000000e+00 | -- | Inf
56.28/56.36 c 56.4s| 19400 | 101 |346540 | 17.9 |9240k| 42 | 42 | 231 |9717 | 231 |2453 | 17 | 12k|2611 | 0.000000e+00 | -- | Inf
56.57/56.63 c 56.6s| 19500 | 107 |348725 | 17.9 |9276k| 42 | 37 | 231 |9759 | 231 |2453 | 17 | 12k|2611 | 0.000000e+00 | -- | Inf
56.77/56.86 c 56.9s| 19600 | 106 |350539 | 17.9 |9298k| 42 | - | 231 |9821 | 231 |2453 | 17 | 12k|2611 | 0.000000e+00 | -- | Inf
56.98/57.09 c 57.1s| 19700 | 108 |352334 | 17.9 |9330k| 42 | 26 | 231 |9880 | 231 |2453 | 17 | 12k|2611 | 0.000000e+00 | -- | Inf
57.27/57.33 c 57.3s| 19800 | 107 |354126 | 17.9 |9364k| 42 | 43 | 231 |9891 | 231 |2453 | 17 | 12k|2611 | 0.000000e+00 | -- | Inf
57.48/57.59 c 57.6s| 19900 | 105 |356182 | 17.9 |9341k| 42 | 31 | 231 |9842 | 231 |2453 | 17 | 12k|2611 | 0.000000e+00 | -- | Inf
57.77/57.82 c 57.8s| 20000 | 107 |357850 | 17.9 |9332k| 42 | 29 | 231 |9779 | 231 |2453 | 17 | 12k|2611 | 0.000000e+00 | -- | Inf
57.97/58.06 c 58.1s| 20100 | 107 |359691 | 17.9 |9333k| 42 | 42 | 231 |9764 | 231 |2453 | 17 | 12k|2611 | 0.000000e+00 | -- | Inf
58.28/58.32 c 58.3s| 20200 | 104 |361711 | 17.9 |9311k| 42 | - | 231 |9723 | 231 |2453 | 17 | 12k|2611 | 0.000000e+00 | -- | Inf
58.48/58.57 c 58.6s| 20300 | 104 |363596 | 17.9 |9314k| 42 | - | 231 |9726 | 231 |2453 | 17 | 12k|2611 | 0.000000e+00 | -- | Inf
58.77/58.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.77/58.84 c 58.8s| 20400 | 104 |365656 | 17.9 |9304k| 42 | - | 231 |9664 | 231 |2453 | 17 | 12k|2611 | 0.000000e+00 | -- | Inf
58.97/59.07 c 59.1s| 20500 | 105 |367329 | 17.9 |9291k| 42 | 36 | 231 |9600 | 231 |2453 | 17 | 12k|2611 | 0.000000e+00 | -- | Inf
59.28/59.31 c 59.3s| 20600 | 105 |369144 | 17.9 |9293k| 42 | 34 | 231 |9557 | 231 |2453 | 17 | 13k|2611 | 0.000000e+00 | -- | Inf
59.47/59.57 c 59.6s| 20700 | 105 |371172 | 17.9 |9288k| 42 | - | 231 |9502 | 0 | 0 | 17 | 13k|2611 | 0.000000e+00 | -- | Inf
59.68/59.77 c 59.8s| 20800 | 110 |372564 | 17.9 |9298k| 42 | 22 | 231 |9512 | 231 |2453 | 17 | 13k|2611 | 0.000000e+00 | -- | Inf
59.87/59.99 c 60.0s| 20900 | 108 |374345 | 17.9 |9306k| 42 | - | 231 |9524 | 231 |2453 | 17 | 13k|2611 | 0.000000e+00 | -- | Inf
60.17/60.20 c 60.2s| 21000 | 108 |375891 | 17.9 |9319k| 42 | 42 | 231 |9565 | 231 |2453 | 17 | 13k|2611 | 0.000000e+00 | -- | Inf
60.37/60.41 c 60.4s| 21100 | 110 |377559 | 17.9 |9337k| 42 | 27 | 231 |9593 | 231 |2453 | 17 | 13k|2611 | 0.000000e+00 | -- | Inf
60.57/60.63 c 60.6s| 21200 | 109 |379315 | 17.9 |9352k| 42 | - | 231 |9622 | 231 |2453 | 17 | 13k|2611 | 0.000000e+00 | -- | Inf
60.87/60.93 c 60.9s| 21300 | 111 |381301 | 17.9 |9376k| 42 | 35 | 231 |9670 | 231 |2453 | 17 | 13k|2622 | 0.000000e+00 | -- | Inf
61.17/61.21 c 61.2s| 21400 | 107 |383001 | 17.9 |9387k| 42 | - | 231 |9709 | 231 |2453 | 17 | 13k|2638 | 0.000000e+00 | -- | Inf
61.37/61.49 c 61.5s| 21500 | 110 |384594 | 17.9 |9396k| 42 | 28 | 231 |9720 | 231 |2453 | 17 | 13k|2652 | 0.000000e+00 | -- | Inf
61.67/61.76 c 61.8s| 21600 | 111 |386256 | 17.9 |9422k| 42 | - | 231 |9764 | 231 |2453 | 17 | 13k|2669 | 0.000000e+00 | -- | Inf
61.97/62.06 c 62.1s| 21700 | 111 |388040 | 17.9 |9426k| 42 | 29 | 231 |9781 | 231 |2453 | 17 | 13k|2685 | 0.000000e+00 | -- | Inf
62.27/62.31 c 62.3s| 21800 | 109 |389585 | 17.9 |9439k| 42 | - | 231 |9809 | 231 |2453 | 17 | 13k|2694 | 0.000000e+00 | -- | Inf
62.47/62.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.47/62.59 c 62.6s| 21900 | 111 |391387 | 17.9 |9455k| 42 | 38 | 231 |9849 | 231 |2453 | 17 | 13k|2705 | 0.000000e+00 | -- | Inf
62.88/62.90 c 62.9s| 22000 | 110 |393473 | 17.9 |9473k| 42 | 36 | 231 |9896 | 231 |2453 | 17 | 13k|2723 | 0.000000e+00 | -- | Inf
63.17/63.20 c 63.2s| 22100 | 105 |395266 | 17.9 |9485k| 42 | - | 231 |9927 | 231 |2453 | 17 | 14k|2743 | 0.000000e+00 | -- | Inf
63.47/63.52 c 63.5s| 22200 | 105 |397293 | 17.9 |9469k| 42 | - | 231 |9861 | 231 |2453 | 17 | 14k|2757 | 0.000000e+00 | -- | Inf
63.78/63.83 c 63.8s| 22300 | 103 |399201 | 17.9 |9476k| 42 | - | 231 |9875 | 231 |2453 | 17 | 14k|2773 | 0.000000e+00 | -- | Inf
64.07/64.12 c 64.1s| 22400 | 109 |400968 | 17.9 |9460k| 42 | 34 | 231 |9801 | 231 |2453 | 17 | 14k|2788 | 0.000000e+00 | -- | Inf
64.37/64.42 c 64.4s| 22500 | 109 |402768 | 17.9 |9449k| 42 | - | 231 |9767 | 231 |2453 | 17 | 14k|2803 | 0.000000e+00 | -- | Inf
64.67/64.73 c 64.7s| 22600 | 111 |404814 | 17.9 |9446k| 42 | 19 | 231 |9749 | 231 |2453 | 17 | 14k|2816 | 0.000000e+00 | -- | Inf
64.88/64.98 c 65.0s| 22700 | 111 |406398 | 17.9 |9449k| 42 | 30 | 231 |9757 | 231 |2453 | 17 | 14k|2828 | 0.000000e+00 | -- | Inf
65.17/65.22 c 65.2s| 22800 | 110 |408055 | 17.9 |9465k| 42 | - | 231 |9797 | 231 |2453 | 17 | 14k|2834 | 0.000000e+00 | -- | Inf
65.38/65.48 c 65.5s| 22900 | 109 |409992 | 17.9 |9486k| 42 | 29 | 231 |9864 | 231 |2453 | 17 | 14k|2839 | 0.000000e+00 | -- | Inf
65.67/65.73 c 65.7s| 23000 | 111 |411731 | 17.9 |9505k| 42 | - | 231 |9877 | 231 |2453 | 17 | 14k|2846 | 0.000000e+00 | -- | Inf
65.98/66.03 c 66.0s| 23100 | 119 |414024 | 17.9 |9513k| 42 | 37 | 231 |9863 | 231 |2453 | 17 | 14k|2850 | 0.000000e+00 | -- | Inf
66.27/66.33 c 66.3s| 23200 | 123 |416422 | 17.9 |9523k| 42 | 16 | 231 |9865 | 231 |2453 | 17 | 14k|2852 | 0.000000e+00 | -- | Inf
66.57/66.60 c 66.6s| 23300 | 121 |418465 | 18.0 |9532k| 42 | 39 | 231 |9898 | 231 |2453 | 17 | 14k|2855 | 0.000000e+00 | -- | Inf
66.77/66.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.77/66.85 c 66.9s| 23400 | 121 |420184 | 18.0 |9550k| 42 | - | 231 |9920 | 231 |2453 | 17 | 14k|2860 | 0.000000e+00 | -- | Inf
67.08/67.12 c 67.1s| 23500 | 120 |421997 | 18.0 |9533k| 42 | - | 231 |9849 | 231 |2453 | 17 | 14k|2866 | 0.000000e+00 | -- | Inf
67.27/67.38 c 67.4s| 23600 | 120 |423954 | 18.0 |9516k| 42 | 28 | 231 |9787 | 231 |2453 | 17 | 14k|2866 | 0.000000e+00 | -- | Inf
67.57/67.63 c 67.6s| 23700 | 118 |425811 | 18.0 |9498k| 42 | 42 | 231 |9748 | 231 |2453 | 17 | 15k|2867 | 0.000000e+00 | -- | Inf
67.77/67.86 c 67.9s| 23800 | 120 |427660 | 18.0 |9496k| 42 | 32 | 231 |9722 | 231 |2453 | 17 | 15k|2867 | 0.000000e+00 | -- | Inf
67.97/68.07 c 68.1s| 23900 | 122 |429243 | 18.0 |9507k| 42 | 25 | 231 |9747 | 231 |2453 | 17 | 15k|2867 | 0.000000e+00 | -- | Inf
68.18/68.28 c 68.3s| 24000 | 122 |430782 | 17.9 |9520k| 42 | 33 | 231 |9780 | 231 |2453 | 17 | 15k|2867 | 0.000000e+00 | -- | Inf
68.37/68.47 c 68.5s| 24100 | 124 |432230 | 17.9 |9538k| 42 | - | 231 |9822 | 231 |2453 | 17 | 15k|2867 | 0.000000e+00 | -- | Inf
68.57/68.67 c 68.7s| 24200 | 126 |433754 | 17.9 |9558k| 42 | 28 | 231 |9867 | 231 |2453 | 17 | 15k|2867 | 0.000000e+00 | -- | Inf
68.77/68.89 c 68.9s| 24300 | 118 |435465 | 17.9 |9559k| 42 | - | 231 |9907 | 231 |2453 | 17 | 15k|2867 | 0.000000e+00 | -- | Inf
69.07/69.12 c 69.1s| 24400 | 121 |437236 | 17.9 |9569k| 42 | - | 231 |9909 | 0 | 0 | 17 | 15k|2867 | 0.000000e+00 | -- | Inf
69.27/69.34 c 69.3s| 24500 | 119 |438855 | 17.9 |9557k| 42 | - | 231 |9893 | 231 |2453 | 17 | 15k|2867 | 0.000000e+00 | -- | Inf
69.47/69.59 c 69.6s| 24600 | 117 |440601 | 17.9 |9546k| 42 | 29 | 231 |9882 | 231 |2453 | 17 | 15k|2870 | 0.000000e+00 | -- | Inf
69.87/69.90 c 69.9s| 24700 | 116 |442310 | 17.9 |9502k| 42 | - | 231 |9725 | 231 |2453 | 17 | 15k|2889 | 0.000000e+00 | -- | Inf
70.07/70.17 c 70.2s| 24800 | 115 |443908 | 17.9 |9476k| 42 | 39 | 231 |9658 | 231 |2453 | 17 | 15k|2900 | 0.000000e+00 | -- | Inf
70.28/70.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.28/70.39 c 70.4s| 24900 | 117 |445494 | 17.9 |9467k| 42 | - | 231 |9607 | 0 | 0 | 17 | 15k|2900 | 0.000000e+00 | -- | Inf
70.67/70.71 c 70.7s| 25000 | 115 |447339 | 17.9 |9457k| 42 | 29 | 231 |9585 | 231 |2453 | 17 | 15k|2918 | 0.000000e+00 | -- | Inf
70.87/70.96 c 71.0s| 25100 | 115 |448902 | 17.9 |9407k| 42 | - | 231 |9390 | 231 |2453 | 17 | 15k|2924 | 0.000000e+00 | -- | Inf
71.17/71.23 c 71.2s| 25200 | 118 |450723 | 17.9 |9395k| 42 | - | 231 |9340 | 0 | 0 | 17 | 16k|2935 | 0.000000e+00 | -- | Inf
71.47/71.53 c 71.5s| 25300 | 118 |452589 | 17.9 |9394k| 42 | 31 | 231 |9343 | 231 |2453 | 17 | 16k|2949 | 0.000000e+00 | -- | Inf
71.67/71.78 c 71.8s| 25400 | 116 |454091 | 17.9 |9407k| 42 | - | 231 |9375 | 231 |2453 | 17 | 16k|2958 | 0.000000e+00 | -- | Inf
71.97/72.07 c 72.1s| 25500 | 115 |455757 | 17.9 |9420k| 42 | - | 231 |9409 | 231 |2453 | 17 | 16k|2973 | 0.000000e+00 | -- | Inf
72.27/72.31 c 72.3s| 25600 | 115 |457349 | 17.9 |9433k| 42 | - | 231 |9436 | 231 |2453 | 17 | 16k|2980 | 0.000000e+00 | -- | Inf
72.48/72.60 c 72.6s| 25700 | 113 |459246 | 17.9 |9430k| 42 | 43 | 231 |9457 | 231 |2453 | 17 | 16k|2993 | 0.000000e+00 | -- | Inf
72.87/72.91 c 72.9s| 25800 | 117 |461190 | 17.9 |9422k| 42 | 39 | 231 |9403 | 231 |2453 | 17 | 16k|3006 | 0.000000e+00 | -- | Inf
73.07/73.19 c 73.2s| 25900 | 122 |462970 | 17.9 |9448k| 42 | 24 | 231 |9435 | 231 |2453 | 17 | 16k|3017 | 0.000000e+00 | -- | Inf
73.37/73.47 c 73.5s| 26000 | 118 |464699 | 17.9 |9464k| 42 | - | 231 |9488 | 231 |2453 | 17 | 16k|3028 | 0.000000e+00 | -- | Inf
73.68/73.76 c 73.8s| 26100 | 120 |466564 | 17.9 |9491k| 42 | - | 231 |9536 | 231 |2453 | 17 | 16k|3041 | 0.000000e+00 | -- | Inf
73.97/74.02 c 74.0s| 26200 | 124 |468388 | 17.9 |9508k| 42 | - | 231 |9551 | 231 |2453 | 17 | 16k|3049 | 0.000000e+00 | -- | Inf
74.17/74.28 c 74.3s| 26300 | 124 |470289 | 17.9 |9515k| 42 | 26 | 231 |9565 | 231 |2453 | 17 | 16k|3053 | 0.000000e+00 | -- | Inf
74.47/74.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
74.47/74.55 c 74.5s| 26400 | 122 |472067 | 17.9 |9508k| 42 | - | 231 |9555 | 231 |2453 | 17 | 16k|3059 | 0.000000e+00 | -- | Inf
74.78/74.82 c 74.8s| 26500 | 120 |474015 | 17.9 |9486k| 42 | - | 231 |9503 | 231 |2453 | 17 | 16k|3063 | 0.000000e+00 | -- | Inf
74.97/75.09 c 75.1s| 26600 | 122 |476098 | 17.9 |9464k| 42 | - | 231 |9410 | 231 |2453 | 17 | 16k|3064 | 0.000000e+00 | -- | Inf
75.27/75.37 c 75.4s| 26700 | 118 |478085 | 17.9 |9411k| 42 | 46 | 231 |9291 | 231 |2453 | 17 | 17k|3069 | 0.000000e+00 | -- | Inf
75.57/75.65 c 75.6s| 26800 | 120 |480217 | 17.9 |9420k| 42 | - | 231 |9287 | 231 |2453 | 17 | 17k|3072 | 0.000000e+00 | -- | Inf
75.77/75.89 c 75.9s| 26900 | 123 |482068 | 17.9 |9402k| 42 | 37 | 231 |9176 | 231 |2453 | 17 | 17k|3072 | 0.000000e+00 | -- | Inf
76.06/76.13 c 76.1s| 27000 | 125 |483724 | 17.9 |9408k| 42 | - | 231 |9163 | 231 |2453 | 17 | 17k|3074 | 0.000000e+00 | -- | Inf
76.27/76.34 c 76.3s| 27100 | 125 |485276 | 17.9 |9422k| 42 | 30 | 231 |9203 | 231 |2453 | 17 | 17k|3074 | 0.000000e+00 | -- | Inf
76.47/76.56 c 76.6s| 27200 | 119 |486835 | 17.9 |9399k| 42 | - | 231 |9176 | 231 |2453 | 17 | 17k|3074 | 0.000000e+00 | -- | Inf
76.67/76.78 c 76.8s| 27300 | 120 |488442 | 17.9 |9389k| 42 | 27 | 231 |9148 | 231 |2453 | 17 | 17k|3075 | 0.000000e+00 | -- | Inf
76.87/76.99 c 77.0s| 27400 | 118 |489917 | 17.9 |9342k| 42 | - | 231 |9065 | 231 |2453 | 17 | 17k|3075 | 0.000000e+00 | -- | Inf
77.17/77.22 c 77.2s| 27500 | 120 |491624 | 17.9 |9334k| 44 | 31 | 231 |9036 | 231 |2453 | 17 | 17k|3075 | 0.000000e+00 | -- | Inf
77.37/77.45 c 77.5s| 27600 | 122 |493435 | 17.9 |9340k| 44 | - | 231 |9034 | 231 |2453 | 17 | 17k|3075 | 0.000000e+00 | -- | Inf
77.57/77.68 c 77.7s| 27700 | 126 |495350 | 17.9 |9349k| 47 | - | 231 |9026 | 231 |2453 | 17 | 17k|3075 | 0.000000e+00 | -- | Inf
77.87/77.91 c 77.9s| 27800 | 122 |497108 | 17.9 |9355k| 47 | - | 231 |9064 | 231 |2453 | 17 | 17k|3075 | 0.000000e+00 | -- | Inf
78.08/78.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
78.08/78.15 c 78.1s| 27900 | 120 |498867 | 17.9 |9355k| 47 | 36 | 231 |9087 | 231 |2453 | 17 | 17k|3075 | 0.000000e+00 | -- | Inf
78.27/78.38 c 78.4s| 28000 | 116 |500603 | 17.9 |9347k| 47 | - | 231 |9079 | 231 |2453 | 17 | 17k|3075 | 0.000000e+00 | -- | Inf
78.56/78.66 c 78.7s| 28100 | 116 |502391 | 17.9 |9334k| 47 | 31 | 231 |9052 | 231 |2453 | 17 | 17k|3086 | 0.000000e+00 | -- | Inf
78.87/78.90 c 78.9s| 28200 | 117 |503850 | 17.9 |9344k| 47 | 37 | 231 |9063 | 231 |2453 | 17 | 17k|3095 | 0.000000e+00 | -- | Inf
79.18/79.24 c 79.2s| 28300 | 116 |505950 | 17.9 |9317k| 47 | - | 231 |8950 | 0 | 0 | 17 | 18k|3111 | 0.000000e+00 | -- | Inf
79.47/79.54 c 79.5s| 28400 | 116 |507774 | 17.9 |9301k| 47 | - | 231 |8925 | 231 |2453 | 17 | 18k|3127 | 0.000000e+00 | -- | Inf
79.67/79.75 c 79.8s| 28500 | 118 |509413 | 17.9 |9323k| 47 | - | 231 |8965 | 231 |2453 | 17 | 18k|3127 | 0.000000e+00 | -- | Inf
79.97/80.07 c 80.1s| 28600 | 124 |511372 | 17.9 |9334k| 47 | - | 231 |8965 | 231 |2453 | 17 | 18k|3144 | 0.000000e+00 | -- | Inf
80.17/80.29 c 80.3s| 28700 | 122 |512947 | 17.9 |9345k| 47 | 35 | 231 |9014 | 231 |2453 | 17 | 18k|3149 | 0.000000e+00 | -- | Inf
80.47/80.52 c 80.5s| 28800 | 120 |514403 | 17.9 |9360k| 47 | 34 | 231 |9061 | 231 |2453 | 17 | 18k|3159 | 0.000000e+00 | -- | Inf
80.77/80.82 c 80.8s| 28900 | 119 |516469 | 17.9 |9364k| 47 | - | 231 |9077 | 231 |2453 | 17 | 18k|3174 | 0.000000e+00 | -- | Inf
80.96/81.04 c 81.0s| 29000 | 120 |517911 | 17.9 |9385k| 47 | 33 | 231 |9138 | 231 |2453 | 17 | 18k|3183 | 0.000000e+00 | -- | Inf
81.28/81.35 c 81.3s| 29100 | 117 |519794 | 17.9 |9382k| 47 | - | 231 |9125 | 231 |2453 | 17 | 18k|3198 | 0.000000e+00 | -- | Inf
81.57/81.63 c 81.6s| 29200 | 121 |521548 | 17.9 |9381k| 48 | 40 | 231 |9114 | 231 |2453 | 17 | 18k|3213 | 0.000000e+00 | -- | Inf
81.87/81.90 c 81.9s| 29300 | 123 |523332 | 17.9 |9412k| 48 | - | 231 |9150 | 231 |2453 | 17 | 18k|3223 | 0.000000e+00 | -- | Inf
82.07/82.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.07/82.15 c 82.2s| 29400 | 126 |524925 | 17.9 |9421k| 48 | 37 | 231 |9171 | 231 |2453 | 17 | 18k|3232 | 0.000000e+00 | -- | Inf
82.37/82.43 c 82.4s| 29500 | 125 |526630 | 17.8 |9429k| 48 | 40 | 231 |9204 | 231 |2453 | 17 | 18k|3244 | 0.000000e+00 | -- | Inf
82.57/82.68 c 82.7s| 29600 | 124 |528308 | 17.8 |9452k| 48 | - | 231 |9248 | 231 |2453 | 17 | 18k|3253 | 0.000000e+00 | -- | Inf
82.96/83.00 c 83.0s| 29700 | 122 |530476 | 17.9 |9466k| 48 | - | 231 |9296 | 231 |2453 | 17 | 18k|3265 | 0.000000e+00 | -- | Inf
83.27/83.31 c 83.3s| 29800 | 123 |532481 | 17.9 |9489k| 48 | - | 231 |9352 | 231 |2453 | 17 | 18k|3277 | 0.000000e+00 | -- | Inf
83.57/83.62 c 83.6s| 29900 | 122 |534657 | 17.9 |9494k| 48 | - | 231 |9369 | 231 |2453 | 17 | 19k|3288 | 0.000000e+00 | -- | Inf
83.87/83.98 c 84.0s| 30000 | 130 |537250 | 17.9 |9517k| 48 | 36 | 231 |9381 | 231 |2453 | 17 | 19k|3299 | 0.000000e+00 | -- | Inf
84.17/84.24 c 84.2s| 30100 | 131 |539375 | 17.9 |9537k| 48 | 21 | 231 |9409 | 231 |2453 | 17 | 19k|3300 | 0.000000e+00 | -- | Inf
84.46/84.54 c 84.5s| 30200 | 128 |541824 | 17.9 |9525k| 48 | 34 | 231 |9399 | 231 |2453 | 17 | 19k|3301 | 0.000000e+00 | -- | Inf
84.68/84.80 c 84.8s| 30300 | 128 |543603 | 17.9 |9474k| 48 | 30 | 231 |9239 | 231 |2453 | 17 | 19k|3302 | 0.000000e+00 | -- | Inf
84.97/85.04 c 85.0s| 30400 | 133 |545417 | 17.9 |9472k| 48 | 43 | 231 |9198 | 231 |2453 | 17 | 19k|3302 | 0.000000e+00 | -- | Inf
85.27/85.30 c 85.3s| 30500 | 131 |547378 | 17.9 |9476k| 48 | 30 | 231 |9217 | 231 |2453 | 17 | 19k|3303 | 0.000000e+00 | -- | Inf
85.47/85.56 c 85.6s| 30600 | 129 |549441 | 18.0 |9448k| 48 | - | 231 |9172 | 231 |2453 | 17 | 19k|3303 | 0.000000e+00 | -- | Inf
85.68/85.80 c 85.8s| 30700 | 130 |551134 | 17.9 |9429k| 48 | - | 231 |9121 | 231 |2453 | 17 | 19k|3303 | 0.000000e+00 | -- | Inf
85.96/86.05 c 86.1s| 30800 | 132 |553099 | 18.0 |9412k| 48 | 36 | 231 |9060 | 231 |2453 | 17 | 19k|3304 | 0.000000e+00 | -- | Inf
86.27/86.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.27/86.32 c 86.3s| 30900 | 129 |555014 | 18.0 |9326k| 48 | 50 | 231 |8879 | 231 |2453 | 17 | 19k|3305 | 0.000000e+00 | -- | Inf
86.46/86.56 c 86.6s| 31000 | 132 |556836 | 18.0 |9294k| 48 | - | 231 |8750 | 231 |2453 | 17 | 19k|3305 | 0.000000e+00 | -- | Inf
86.67/86.79 c 86.8s| 31100 | 134 |558552 | 18.0 |9260k| 48 | - | 231 |8619 | 231 |2453 | 17 | 19k|3305 | 0.000000e+00 | -- | Inf
86.96/87.01 c 87.0s| 31200 | 138 |560209 | 18.0 |9228k| 48 | 34 | 231 |8521 | 231 |2453 | 17 | 19k|3305 | 0.000000e+00 | -- | Inf
87.17/87.23 c 87.2s| 31300 | 137 |561897 | 17.9 |9236k| 48 | - | 231 |8532 | 231 |2453 | 17 | 19k|3305 | 0.000000e+00 | -- | Inf
87.37/87.47 c 87.5s| 31400 | 136 |563797 | 18.0 |9252k| 48 | - | 231 |8584 | 231 |2453 | 17 | 20k|3305 | 0.000000e+00 | -- | Inf
87.66/87.72 c 87.7s| 31500 | 138 |565838 | 18.0 |9262k| 48 | - | 231 |8606 | 231 |2453 | 17 | 20k|3305 | 0.000000e+00 | -- | Inf
87.88/87.92 c 87.9s| 31600 | 142 |567304 | 17.9 |9291k| 48 | - | 231 |8648 | 231 |2453 | 17 | 20k|3305 | 0.000000e+00 | -- | Inf
87.97/88.09 c 88.1s| 31700 | 140 |568601 | 17.9 |9309k| 48 | - | 231 |8703 | 231 |2453 | 17 | 20k|3305 | 0.000000e+00 | -- | Inf
88.27/88.31 c 88.3s| 31800 | 138 |569961 | 17.9 |9327k| 48 | 36 | 231 |8770 | 231 |2453 | 17 | 20k|3312 | 0.000000e+00 | -- | Inf
88.46/88.56 c 88.6s| 31900 | 143 |571649 | 17.9 |9342k| 48 | 28 | 231 |8782 | 231 |2453 | 17 | 20k|3322 | 0.000000e+00 | -- | Inf
88.77/88.87 c 88.9s| 32000 | 144 |573772 | 17.9 |9359k| 48 | 26 | 231 |8790 | 231 |2453 | 17 | 20k|3331 | 0.000000e+00 | -- | Inf
89.07/89.16 c 89.2s| 32100 | 155 |575799 | 17.9 |9388k| 48 | 23 | 231 |8816 | 231 |2453 | 17 | 20k|3340 | 0.000000e+00 | -- | Inf
89.37/89.46 c 89.5s| 32200 | 155 |577616 | 17.9 |9406k| 48 | - | 231 |8843 | 231 |2453 | 17 | 20k|3357 | 0.000000e+00 | -- | Inf
89.56/89.69 c 89.7s| 32300 | 159 |579261 | 17.9 |9419k| 48 | 22 | 231 |8871 | 231 |2453 | 17 | 20k|3361 | 0.000000e+00 | -- | Inf
89.87/89.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
89.87/89.99 c 90.0s| 32400 | 155 |581318 | 17.9 |9427k| 48 | 35 | 231 |8911 | 231 |2453 | 17 | 20k|3371 | 0.000000e+00 | -- | Inf
90.17/90.27 c 90.3s| 32500 | 154 |583167 | 17.9 |9445k| 48 | - | 231 |8954 | 231 |2453 | 17 | 20k|3382 | 0.000000e+00 | -- | Inf
90.47/90.53 c 90.5s| 32600 | 154 |584798 | 17.9 |9452k| 48 | 43 | 231 |8973 | 231 |2453 | 17 | 20k|3397 | 0.000000e+00 | -- | Inf
90.76/90.82 c 90.8s| 32700 | 158 |586724 | 17.9 |9481k| 48 | 27 | 231 |9017 | 231 |2453 | 17 | 20k|3407 | 0.000000e+00 | -- | Inf
91.06/91.12 c 91.1s| 32800 | 157 |588712 | 17.9 |9492k| 48 | 35 | 231 |9053 | 231 |2453 | 17 | 20k|3419 | 0.000000e+00 | -- | Inf
91.37/91.42 c 91.4s| 32900 | 159 |590772 | 18.0 |9518k| 48 | 37 | 231 |9107 | 231 |2453 | 17 | 21k|3431 | 0.000000e+00 | -- | Inf
91.67/91.71 c 91.7s| 33000 | 157 |592696 | 18.0 |9534k| 48 | 42 | 231 |9158 | 231 |2453 | 17 | 21k|3442 | 0.000000e+00 | -- | Inf
91.97/92.03 c 92.0s| 33100 | 159 |594903 | 18.0 |9561k| 48 | 46 | 231 |9216 | 231 |2453 | 17 | 21k|3457 | 0.000000e+00 | -- | Inf
92.28/92.33 c 92.3s| 33200 | 159 |596974 | 18.0 |9577k| 48 | - | 231 |9236 | 231 |2453 | 17 | 21k|3467 | 0.000000e+00 | -- | Inf
92.57/92.63 c 92.6s| 33300 | 160 |598944 | 18.0 |9585k| 48 | - | 231 |9252 | 231 |2453 | 17 | 21k|3477 | 0.000000e+00 | -- | Inf
92.87/92.94 c 92.9s| 33400 | 160 |601020 | 18.0 |9594k| 48 | 36 | 231 |9269 | 231 |2453 | 17 | 21k|3489 | 0.000000e+00 | -- | Inf
93.07/93.19 c 93.2s| 33500 | 161 |602956 | 18.0 |9625k| 48 | 34 | 231 |9338 | 231 |2453 | 17 | 21k|3491 | 0.000000e+00 | -- | Inf
93.37/93.47 c 93.5s| 33600 | 159 |604900 | 18.0 |9619k| 48 | - | 231 |9333 | 231 |2453 | 17 | 21k|3498 | 0.000000e+00 | -- | Inf
93.67/93.76 c 93.8s| 33700 | 164 |607030 | 18.0 |9621k| 48 | 19 | 231 |9313 | 231 |2453 | 17 | 21k|3504 | 0.000000e+00 | -- | Inf
93.96/94.01 c 94.0s| 33800 | 164 |608925 | 18.0 |9630k| 48 | - | 231 |9323 | 231 |2453 | 17 | 21k|3508 | 0.000000e+00 | -- | Inf
94.16/94.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
94.16/94.25 c 94.3s| 33900 | 163 |610805 | 18.0 |9636k| 48 | - | 231 |9346 | 231 |2453 | 17 | 21k|3508 | 0.000000e+00 | -- | Inf
94.47/94.52 c 94.5s| 34000 | 165 |612943 | 18.0 |9651k| 48 | - | 231 |9368 | 231 |2453 | 17 | 21k|3510 | 0.000000e+00 | -- | Inf
94.77/94.80 c 94.8s| 34100 | 168 |615059 | 18.0 |9680k| 48 | - | 231 |9414 | 231 |2453 | 17 | 21k|3513 | 0.000000e+00 | -- | Inf
94.97/95.05 c 95.0s| 34200 | 170 |616836 | 18.0 |9699k| 48 | 38 | 231 |9453 | 231 |2453 | 17 | 21k|3517 | 0.000000e+00 | -- | Inf
95.17/95.27 c 95.3s| 34300 | 170 |618491 | 18.0 |9713k| 48 | 31 | 231 |9486 | 231 |2453 | 17 | 21k|3517 | 0.000000e+00 | -- | Inf
95.46/95.50 c 95.5s| 34400 | 169 |620232 | 18.0 |9722k| 48 | 27 | 231 |9513 | 231 |2453 | 17 | 22k|3520 | 0.000000e+00 | -- | Inf
95.67/95.75 c 95.7s| 34500 | 170 |622145 | 18.0 |9720k| 48 | - | 231 |9497 | 231 |2453 | 17 | 22k|3522 | 0.000000e+00 | -- | Inf
95.87/95.96 c 96.0s| 34600 | 171 |623727 | 18.0 |9692k| 48 | - | 231 |9415 | 231 |2453 | 17 | 22k|3522 | 0.000000e+00 | -- | Inf
96.17/96.23 c 96.2s| 34700 | 180 |625871 | 18.0 |9704k| 48 | 31 | 231 |9402 | 231 |2453 | 17 | 22k|3523 | 0.000000e+00 | -- | Inf
96.37/96.45 c 96.5s| 34800 | 175 |627540 | 18.0 |9698k| 48 | - | 231 |9400 | 231 |2453 | 17 | 22k|3523 | 0.000000e+00 | -- | Inf
96.67/96.71 c 96.7s| 34900 | 175 |629563 | 18.0 |9689k| 48 | 37 | 231 |9369 | 231 |2453 | 17 | 22k|3523 | 0.000000e+00 | -- | Inf
96.86/96.96 c 97.0s| 35000 | 171 |631536 | 18.0 |9658k| 48 | 46 | 231 |9312 | 231 |2453 | 17 | 22k|3523 | 0.000000e+00 | -- | Inf
97.07/97.19 c 97.2s| 35100 | 171 |633315 | 18.0 |9654k| 48 | 40 | 231 |9301 | 231 |2453 | 17 | 22k|3525 | 0.000000e+00 | -- | Inf
97.37/97.42 c 97.4s| 35200 | 172 |635113 | 18.0 |9654k| 48 | - | 231 |9281 | 231 |2453 | 17 | 22k|3525 | 0.000000e+00 | -- | Inf
97.56/97.65 c 97.6s| 35300 | 172 |636936 | 18.0 |9653k| 48 | - | 231 |9278 | 231 |2453 | 17 | 22k|3525 | 0.000000e+00 | -- | Inf
97.77/97.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
97.77/97.86 c 97.9s| 35400 | 173 |638605 | 18.0 |9662k| 48 | - | 231 |9299 | 231 |2453 | 17 | 22k|3525 | 0.000000e+00 | -- | Inf
97.97/98.08 c 98.1s| 35500 | 172 |640360 | 18.0 |9662k| 48 | 20 | 231 |9325 | 231 |2453 | 17 | 22k|3525 | 0.000000e+00 | -- | Inf
98.26/98.36 c 98.4s| 35600 | 173 |642228 | 18.0 |9680k| 48 | 16 | 231 |9363 | 231 |2453 | 17 | 22k|3535 | 0.000000e+00 | -- | Inf
98.57/98.61 c 98.6s| 35700 | 171 |644014 | 18.0 |9683k| 48 | - | 231 |9379 | 231 |2453 | 17 | 22k|3540 | 0.000000e+00 | -- | Inf
98.76/98.87 c 98.9s| 35800 | 170 |645814 | 18.0 |9688k| 48 | 27 | 231 |9410 | 231 |2453 | 17 | 22k|3546 | 0.000000e+00 | -- | Inf
99.06/99.15 c 99.2s| 35900 | 168 |647577 | 18.0 |9679k| 48 | - | 231 |9377 | 231 |2453 | 17 | 22k|3555 | 0.000000e+00 | -- | Inf
99.36/99.43 c 99.4s| 36000 | 175 |649347 | 18.0 |9689k| 48 | - | 231 |9363 | 231 |2453 | 17 | 23k|3566 | 0.000000e+00 | -- | Inf
99.66/99.73 c 99.7s| 36100 | 176 |651401 | 18.0 |9703k| 48 | 36 | 231 |9396 | 231 |2453 | 17 | 23k|3576 | 0.000000e+00 | -- | Inf
99.87/100.00 c 100s| 36200 | 172 |653287 | 18.0 |9712k| 48 | - | 231 |9442 | 231 |2453 | 17 | 23k|3584 | 0.000000e+00 | -- | Inf
100.26/100.34 c 100s| 36300 | 169 |655779 | 18.1 |9720k| 48 | 30 | 231 |9488 | 231 |2453 | 17 | 23k|3595 | 0.000000e+00 | -- | Inf
100.56/100.63 c 101s| 36400 | 171 |657705 | 18.1 |9727k| 48 | - | 231 |9494 | 231 |2453 | 17 | 23k|3607 | 0.000000e+00 | -- | Inf
100.87/100.99 c 101s| 36500 | 172 |660011 | 18.1 |9726k| 48 | 30 | 231 |9498 | 231 |2453 | 17 | 23k|3625 | 0.000000e+00 | -- | Inf
101.18/101.26 c 101s| 36600 | 175 |661901 | 18.1 |9747k| 48 | 38 | 231 |9533 | 231 |2453 | 17 | 23k|3632 | 0.000000e+00 | -- | Inf
101.46/101.54 c 102s| 36700 | 174 |663857 | 18.1 |9769k| 48 | - | 231 |9580 | 231 |2453 | 17 | 23k|3644 | 0.000000e+00 | -- | Inf
101.77/101.80 c 102s| 36800 | 172 |665568 | 18.1 |9780k| 48 | - | 231 |9630 | 231 |2453 | 17 | 23k|3652 | 0.000000e+00 | -- | Inf
102.06/102.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
102.06/102.10 c 102s| 36900 | 176 |667554 | 18.1 |9788k| 48 | - | 231 |9618 | 231 |2453 | 17 | 23k|3664 | 0.000000e+00 | -- | Inf
102.27/102.33 c 102s| 37000 | 176 |669081 | 18.1 |9810k| 48 | - | 231 |9668 | 0 | 0 | 17 | 23k|3672 | 0.000000e+00 | -- | Inf
102.47/102.59 c 103s| 37100 | 174 |671089 | 18.1 |9822k| 48 | 37 | 231 |9742 | 231 |2453 | 17 | 23k|3678 | 0.000000e+00 | -- | Inf
102.76/102.86 c 103s| 37200 | 174 |672916 | 18.1 |9825k| 48 | - | 231 |9745 | 231 |2453 | 17 | 23k|3687 | 0.000000e+00 | -- | Inf
103.06/103.12 c 103s| 37300 | 174 |674636 | 18.1 |9832k| 48 | 41 | 231 |9764 | 231 |2453 | 17 | 23k|3698 | 0.000000e+00 | -- | Inf
103.37/103.41 c 103s| 37400 | 173 |676702 | 18.1 |9820k| 48 | - | 231 |9736 | 231 |2453 | 17 | 23k|3706 | 0.000000e+00 | -- | Inf
103.56/103.68 c 104s| 37500 | 175 |678690 | 18.1 |9824k| 48 | 38 | 231 |9734 | 231 |2453 | 17 | 24k|3711 | 0.000000e+00 | -- | Inf
103.86/103.93 c 104s| 37600 | 174 |680493 | 18.1 |9827k| 48 | - | 231 |9741 | 231 |2453 | 17 | 24k|3714 | 0.000000e+00 | -- | Inf
104.07/104.17 c 104s| 37700 | 175 |682249 | 18.1 |9830k| 48 | 37 | 231 |9764 | 231 |2453 | 17 | 24k|3715 | 0.000000e+00 | -- | Inf
104.26/104.39 c 104s| 37800 | 175 |683845 | 18.1 |9851k| 48 | 33 | 231 |9809 | 231 |2453 | 17 | 24k|3717 | 0.000000e+00 | -- | Inf
104.57/104.64 c 105s| 37900 | 177 |685734 | 18.1 |9868k| 48 | - | 231 |9824 | 231 |2453 | 17 | 24k|3720 | 0.000000e+00 | -- | Inf
104.77/104.88 c 105s| 38000 | 171 |687544 | 18.1 |9857k| 48 | - | 231 |9852 | 231 |2453 | 17 | 24k|3721 | 0.000000e+00 | -- | Inf
105.06/105.13 c 105s| 38100 | 171 |689382 | 18.1 |9861k| 48 | 36 | 231 |9864 | 231 |2453 | 17 | 24k|3724 | 0.000000e+00 | -- | Inf
105.26/105.36 c 105s| 38200 | 171 |691162 | 18.1 |9878k| 48 | - | 231 |9881 | 231 |2453 | 17 | 24k|3725 | 0.000000e+00 | -- | Inf
105.47/105.59 c 106s| 38300 | 171 |692832 | 18.1 |9871k| 48 | 27 | 231 |9865 | 231 |2453 | 17 | 24k|3726 | 0.000000e+00 | -- | Inf
105.76/105.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
105.76/105.80 c 106s| 38400 | 173 |694392 | 18.1 |9890k| 53 | - | 231 |9877 | 0 | 0 | 17 | 24k|3727 | 0.000000e+00 | -- | Inf
105.96/106.03 c 106s| 38500 | 172 |696116 | 18.1 |9898k| 53 | - | 231 |9897 | 0 | 0 | 17 | 24k|3729 | 0.000000e+00 | -- | Inf
106.27/106.30 c 106s| 38600 | 166 |698250 | 18.1 |9882k| 53 | - | 231 |9900 | 231 |2453 | 17 | 24k|3730 | 0.000000e+00 | -- | Inf
106.47/106.56 c 107s| 38700 | 172 |700341 | 18.1 |9856k| 53 | 25 | 231 |9806 | 231 |2453 | 17 | 24k|3730 | 0.000000e+00 | -- | Inf
106.76/106.81 c 107s| 38800 | 182 |702368 | 18.1 |9874k| 53 | - | 231 |9792 | 231 |2453 | 17 | 24k|3730 | 0.000000e+00 | -- | Inf
106.96/107.06 c 107s| 38900 | 186 |704343 | 18.1 |9880k| 53 | - | 231 |9778 | 231 |2453 | 17 | 24k|3730 | 0.000000e+00 | -- | Inf
107.26/107.34 c 107s| 39000 | 189 |706677 | 18.1 |9894k| 53 | 39 | 231 |9799 | 231 |2453 | 17 | 25k|3730 | 0.000000e+00 | -- | Inf
107.47/107.58 c 108s| 39100 | 187 |708553 | 18.1 |9898k| 53 | 43 | 231 |9819 | 231 |2453 | 17 | 25k|3730 | 0.000000e+00 | -- | Inf
107.77/107.83 c 108s| 39200 | 183 |710574 | 18.1 |9894k| 53 | 38 | 231 |9844 | 231 |2453 | 17 | 25k|3730 | 0.000000e+00 | -- | Inf
107.96/108.06 c 108s| 39300 | 182 |712312 | 18.1 |9878k| 53 | 34 | 231 |9805 | 231 |2453 | 17 | 25k|3730 | 0.000000e+00 | -- | Inf
108.16/108.28 c 108s| 39400 | 182 |713929 | 18.1 |9888k| 53 | 37 | 231 |9815 | 231 |2453 | 17 | 25k|3730 | 0.000000e+00 | -- | Inf
108.46/108.55 c 109s| 39500 | 182 |715784 | 18.1 |9881k| 53 | - | 231 |9774 | 231 |2453 | 17 | 25k|3737 | 0.000000e+00 | -- | Inf
108.77/108.83 c 109s| 39600 | 184 |717605 | 18.1 |9882k| 53 | 30 | 231 |9775 | 231 |2453 | 17 | 25k|3747 | 0.000000e+00 | -- | Inf
109.06/109.10 c 109s| 39700 | 183 |719312 | 18.1 |9881k| 53 | - | 231 |9763 | 231 |2453 | 17 | 25k|3759 | 0.000000e+00 | -- | Inf
109.27/109.38 c 109s| 39800 | 183 |721183 | 18.1 |9876k| 53 | - | 231 |9735 | 231 |2453 | 17 | 25k|3770 | 0.000000e+00 | -- | Inf
109.57/109.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
109.57/109.68 c 110s| 39900 | 183 |723237 | 18.1 |9862k| 53 | 43 | 231 |9729 | 231 |2453 | 17 | 25k|3779 | 0.000000e+00 | -- | Inf
109.87/109.96 c 110s| 40000 | 184 |725117 | 18.1 |9880k| 53 | - | 231 |9751 | 231 |2453 | 17 | 25k|3788 | 0.000000e+00 | -- | Inf
110.17/110.20 c 110s| 40100 | 185 |726878 | 18.1 |9891k| 53 | - | 231 |9768 | 231 |2453 | 17 | 25k|3793 | 0.000000e+00 | -- | Inf
110.47/110.54 c 111s| 40200 | 187 |729114 | 18.1 |9897k| 53 | - | 231 |9765 | 231 |2453 | 17 | 25k|3809 | 0.000000e+00 | -- | Inf
110.76/110.85 c 111s| 40300 | 187 |731362 | 18.1 |9906k| 53 | - | 231 |9774 | 231 |2453 | 17 | 25k|3816 | 0.000000e+00 | -- | Inf
111.07/111.16 c 111s| 40400 | 189 |733312 | 18.1 |9911k| 53 | 34 | 231 |9791 | 231 |2453 | 17 | 25k|3829 | 0.000000e+00 | -- | Inf
111.37/111.49 c 111s| 40500 | 190 |735575 | 18.2 |9910k| 53 | - | 231 |9763 | 0 | 0 | 17 | 25k|3841 | 0.000000e+00 | -- | Inf
111.66/111.77 c 112s| 40600 | 188 |737573 | 18.2 |9905k| 53 | 38 | 231 |9775 | 231 |2453 | 17 | 26k|3847 | 0.000000e+00 | -- | Inf
111.97/112.10 c 112s| 40700 | 187 |739597 | 18.2 |9906k| 53 | - | 231 |9778 | 231 |2453 | 17 | 26k|3862 | 0.000000e+00 | -- | Inf
112.26/112.39 c 112s| 40800 | 182 |741704 | 18.2 |9888k| 53 | - | 231 |9760 | 231 |2453 | 17 | 26k|3869 | 0.000000e+00 | -- | Inf
112.66/112.70 c 113s| 40900 | 178 |743717 | 18.2 |9868k| 53 | - | 231 |9734 | 0 | 0 | 17 | 26k|3880 | 0.000000e+00 | -- | Inf
112.87/112.98 c 113s| 41000 | 178 |745546 | 18.2 |9868k| 53 | 32 | 231 |9759 | 231 |2453 | 17 | 26k|3890 | 0.000000e+00 | -- | Inf
113.17/113.26 c 113s| 41100 | 178 |747432 | 18.2 |9880k| 53 | - | 231 |9772 | 231 |2453 | 17 | 26k|3899 | 0.000000e+00 | -- | Inf
113.46/113.55 c 114s| 41200 | 176 |749463 | 18.2 |9861k| 53 | 39 | 231 |9753 | 231 |2453 | 17 | 26k|3906 | 0.000000e+00 | -- | Inf
113.77/113.86 c 114s| 41300 | 172 |751756 | 18.2 |9857k| 53 | - | 231 |9745 | 231 |2453 | 17 | 26k|3913 | 0.000000e+00 | -- | Inf
114.06/114.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
114.06/114.13 c 114s| 41400 | 173 |753675 | 18.2 |9853k| 53 | 40 | 231 |9752 | 231 |2453 | 17 | 26k|3921 | 0.000000e+00 | -- | Inf
114.27/114.39 c 114s| 41500 | 173 |755513 | 18.2 |9847k| 53 | - | 231 |9713 | 231 |2453 | 17 | 26k|3925 | 0.000000e+00 | -- | Inf
114.57/114.62 c 115s| 41600 | 173 |757300 | 18.2 |9848k| 53 | 39 | 231 |9727 | 231 |2453 | 17 | 26k|3926 | 0.000000e+00 | -- | Inf
114.76/114.88 c 115s| 41700 | 171 |759317 | 18.2 |9841k| 53 | - | 231 |9714 | 231 |2453 | 17 | 26k|3927 | 0.000000e+00 | -- | Inf
115.06/115.13 c 115s| 41800 | 175 |761185 | 18.2 |9823k| 53 | - | 231 |9627 | 231 |2453 | 17 | 26k|3927 | 0.000000e+00 | -- | Inf
115.27/115.37 c 115s| 41900 | 179 |763073 | 18.2 |9827k| 53 | - | 231 |9597 | 0 | 0 | 17 | 26k|3927 | 0.000000e+00 | -- | Inf
115.47/115.58 c 116s| 42000 | 177 |764624 | 18.2 |9815k| 53 | - | 231 |9585 | 231 |2453 | 17 | 26k|3927 | 0.000000e+00 | -- | Inf
115.76/115.82 c 116s| 42100 | 178 |766456 | 18.2 |9805k| 53 | 36 | 231 |9566 | 231 |2453 | 17 | 27k|3927 | 0.000000e+00 | -- | Inf
115.96/116.06 c 116s| 42200 | 178 |768232 | 18.2 |9805k| 53 | 42 | 231 |9577 | 231 |2453 | 17 | 27k|3928 | 0.000000e+00 | -- | Inf
116.17/116.28 c 116s| 42300 | 181 |769888 | 18.2 |9815k| 53 | - | 231 |9579 | 231 |2453 | 17 | 27k|3929 | 0.000000e+00 | -- | Inf
116.36/116.49 c 116s| 42400 | 183 |771470 | 18.2 |9827k| 53 | 34 | 231 |9606 | 231 |2453 | 17 | 27k|3929 | 0.000000e+00 | -- | Inf
116.67/116.71 c 117s| 42500 | 184 |773295 | 18.2 |9856k| 53 | - | 231 |9659 | 231 |2453 | 17 | 27k|3929 | 0.000000e+00 | -- | Inf
116.86/116.95 c 117s| 42600 | 184 |775185 | 18.2 |9874k| 53 | - | 231 |9715 | 231 |2453 | 17 | 27k|3929 | 0.000000e+00 | -- | Inf
117.06/117.17 c 117s| 42700 | 184 |776889 | 18.2 |9901k| 53 | - | 231 |9784 | 231 |2453 | 17 | 27k|3929 | 0.000000e+00 | -- | Inf
117.37/117.40 c 117s| 42800 | 181 |778704 | 18.2 |9916k| 53 | - | 231 |9841 | 231 |2453 | 17 | 27k|3929 | 0.000000e+00 | -- | Inf
117.57/117.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
117.57/117.63 c 118s| 42900 | 181 |780538 | 18.2 |9927k| 53 | 32 | 231 |9888 | 231 |2453 | 17 | 27k|3929 | 0.000000e+00 | -- | Inf
117.76/117.87 c 118s| 43000 | 183 |782453 | 18.2 |9946k| 53 | 40 | 231 |9927 | 231 |2453 | 17 | 27k|3929 | 0.000000e+00 | -- | Inf
118.06/118.12 c 118s| 43100 | 181 |784401 | 18.2 |9957k| 53 | 38 | 231 |9968 | 231 |2453 | 17 | 27k|3929 | 0.000000e+00 | -- | Inf
118.27/118.38 c 118s| 43200 | 183 |786460 | 18.2 |9981k| 53 | - | 231 | 10k| 231 |2453 | 17 | 27k|3929 | 0.000000e+00 | -- | Inf
118.56/118.64 c 119s| 43300 | 184 |788662 | 18.2 | 10M| 53 | 38 | 231 | 10k| 231 |2453 | 17 | 27k|3929 | 0.000000e+00 | -- | Inf
118.76/118.88 c 119s| 43400 | 183 |790482 | 18.2 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 27k|3929 | 0.000000e+00 | -- | Inf
119.06/119.12 c 119s| 43500 | 181 |792234 | 18.2 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 27k|3935 | 0.000000e+00 | -- | Inf
119.36/119.40 c 119s| 43600 | 182 |794121 | 18.2 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 28k|3944 | 0.000000e+00 | -- | Inf
119.67/119.71 c 120s| 43700 | 182 |796070 | 18.2 | 10M| 53 | 32 | 231 | 10k| 231 |2453 | 17 | 28k|3957 | 0.000000e+00 | -- | Inf
119.96/120.01 c 120s| 43800 | 187 |798323 | 18.2 | 10M| 53 | 40 | 231 | 10k| 231 |2453 | 17 | 28k|3965 | 0.000000e+00 | -- | Inf
120.26/120.30 c 120s| 43900 | 186 |800475 | 18.2 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 28k|3972 | 0.000000e+00 | -- | Inf
120.56/120.60 c 121s| 44000 | 186 |802708 | 18.2 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 28k|3979 | 0.000000e+00 | -- | Inf
120.87/120.91 c 121s| 44100 | 187 |804626 | 18.2 | 10M| 53 | - | 231 | 10k| 0 | 0 | 17 | 28k|3994 | 0.000000e+00 | -- | Inf
121.16/121.22 c 121s| 44200 | 185 |806715 | 18.2 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 28k|4003 | 0.000000e+00 | -- | Inf
121.46/121.53 c 122s| 44300 | 187 |808855 | 18.3 | 10M| 53 | 33 | 231 | 10k| 231 |2453 | 17 | 28k|4011 | 0.000000e+00 | -- | Inf
121.66/121.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
121.66/121.77 c 122s| 44400 | 187 |810688 | 18.3 | 10M| 53 | 35 | 231 | 10k| 231 |2453 | 17 | 28k|4016 | 0.000000e+00 | -- | Inf
121.97/122.08 c 122s| 44500 | 183 |812698 | 18.3 | 10M| 53 | - | 231 | 10k| 0 | 0 | 17 | 28k|4028 | 0.000000e+00 | -- | Inf
122.27/122.31 c 122s| 44600 | 185 |814232 | 18.3 | 10M| 53 | 38 | 231 | 10k| 231 |2453 | 17 | 28k|4034 | 0.000000e+00 | -- | Inf
122.47/122.57 c 123s| 44700 | 184 |815797 | 18.2 | 10M| 53 | 22 | 231 | 10k| 231 |2453 | 17 | 28k|4044 | 0.000000e+00 | -- | Inf
122.76/122.86 c 123s| 44800 | 185 |817628 | 18.2 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 28k|4055 | 0.000000e+00 | -- | Inf
123.16/123.20 c 123s| 44900 | 183 |819980 | 18.3 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 28k|4069 | 0.000000e+00 | -- | Inf
123.46/123.50 c 123s| 45000 | 184 |821872 | 18.3 | 10M| 53 | 19 | 231 | 10k| 231 |2453 | 17 | 28k|4079 | 0.000000e+00 | -- | Inf
123.66/123.78 c 124s| 45100 | 180 |823870 | 18.3 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 28k|4086 | 0.000000e+00 | -- | Inf
123.96/124.03 c 124s| 45200 | 178 |825413 | 18.3 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 28k|4093 | 0.000000e+00 | -- | Inf
124.17/124.30 c 124s| 45300 | 180 |827379 | 18.3 | 10M| 53 | 39 | 231 | 10k| 231 |2453 | 17 | 29k|4097 | 0.000000e+00 | -- | Inf
124.47/124.54 c 125s| 45400 | 179 |829041 | 18.3 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 29k|4102 | 0.000000e+00 | -- | Inf
124.66/124.78 c 125s| 45500 | 179 |830831 | 18.3 | 10M| 53 | - | 231 | 10k| 0 | 0 | 17 | 29k|4105 | 0.000000e+00 | -- | Inf
124.96/125.02 c 125s| 45600 | 182 |832602 | 18.3 | 10M| 53 | 35 | 231 |9987 | 231 |2453 | 17 | 29k|4107 | 0.000000e+00 | -- | Inf
125.16/125.27 c 125s| 45700 | 180 |834526 | 18.3 |9962k| 53 | 38 | 231 |9852 | 231 |2453 | 17 | 29k|4107 | 0.000000e+00 | -- | Inf
125.47/125.51 c 126s| 45800 | 178 |836232 | 18.3 |9949k| 53 | - | 231 |9811 | 0 | 0 | 17 | 29k|4109 | 0.000000e+00 | -- | Inf
125.66/125.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
125.66/125.74 c 126s| 45900 | 178 |837968 | 18.3 |9932k| 53 | 34 | 231 |9772 | 231 |2453 | 17 | 29k|4109 | 0.000000e+00 | -- | Inf
125.86/125.97 c 126s| 46000 | 177 |839694 | 18.3 |9918k| 53 | - | 231 |9729 | 231 |2453 | 17 | 29k|4109 | 0.000000e+00 | -- | Inf
126.16/126.20 c 126s| 46100 | 177 |841380 | 18.2 |9895k| 53 | 41 | 231 |9667 | 231 |2453 | 17 | 29k|4109 | 0.000000e+00 | -- | Inf
126.36/126.43 c 126s| 46200 | 177 |843093 | 18.2 |9856k| 53 | 29 | 231 |9557 | 231 |2453 | 17 | 29k|4109 | 0.000000e+00 | -- | Inf
126.56/126.67 c 127s| 46300 | 178 |844814 | 18.2 |9824k| 53 | 33 | 231 |9473 | 231 |2453 | 17 | 29k|4109 | 0.000000e+00 | -- | Inf
126.76/126.90 c 127s| 46400 | 174 |846535 | 18.2 |9811k| 53 | - | 231 |9443 | 0 | 0 | 17 | 29k|4109 | 0.000000e+00 | -- | Inf
127.06/127.11 c 127s| 46500 | 175 |848186 | 18.2 |9815k| 53 | 32 | 231 |9463 | 231 |2453 | 17 | 29k|4109 | 0.000000e+00 | -- | Inf
127.26/127.37 c 127s| 46600 | 174 |850228 | 18.2 |9795k| 53 | 39 | 231 |9421 | 231 |2453 | 17 | 29k|4109 | 0.000000e+00 | -- | Inf
127.56/127.64 c 128s| 46700 | 172 |852379 | 18.2 |9793k| 53 | - | 231 |9426 | 231 |2453 | 17 | 29k|4109 | 0.000000e+00 | -- | Inf
127.86/127.90 c 128s| 46800 | 170 |854331 | 18.3 |9756k| 53 | 43 | 231 |9369 | 231 |2453 | 17 | 30k|4109 | 0.000000e+00 | -- | Inf
128.06/128.13 c 128s| 46900 | 170 |856129 | 18.3 |9763k| 53 | - | 231 |9373 | 231 |2453 | 17 | 30k|4109 | 0.000000e+00 | -- | Inf
128.26/128.35 c 128s| 47000 | 169 |857784 | 18.2 |9766k| 53 | 37 | 231 |9394 | 231 |2453 | 17 | 30k|4109 | 0.000000e+00 | -- | Inf
128.57/128.62 c 129s| 47100 | 165 |859936 | 18.3 |9744k| 53 | - | 231 |9340 | 231 |2453 | 17 | 30k|4109 | 0.000000e+00 | -- | Inf
128.76/128.86 c 129s| 47200 | 164 |861777 | 18.3 |9737k| 53 | - | 231 |9339 | 231 |2453 | 17 | 30k|4109 | 0.000000e+00 | -- | Inf
128.96/129.08 c 129s| 47300 | 164 |863443 | 18.3 |9752k| 53 | 20 | 231 |9374 | 231 |2453 | 17 | 30k|4109 | 0.000000e+00 | -- | Inf
129.26/129.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
129.26/129.33 c 129s| 47400 | 167 |865317 | 18.3 |9755k| 53 | 31 | 231 |9356 | 231 |2453 | 17 | 30k|4109 | 0.000000e+00 | -- | Inf
129.46/129.56 c 130s| 47500 | 169 |867100 | 18.3 |9769k| 53 | 26 | 231 |9388 | 231 |2453 | 17 | 30k|4109 | 0.000000e+00 | -- | Inf
129.66/129.78 c 130s| 47600 | 167 |868738 | 18.2 |9780k| 53 | 40 | 231 |9427 | 231 |2453 | 17 | 30k|4109 | 0.000000e+00 | -- | Inf
129.96/130.08 c 130s| 47700 | 169 |870603 | 18.2 |9798k| 53 | - | 231 |9452 | 231 |2453 | 17 | 30k|4123 | 0.000000e+00 | -- | Inf
130.26/130.36 c 130s| 47800 | 171 |872476 | 18.2 |9813k| 53 | 29 | 231 |9496 | 231 |2453 | 17 | 30k|4133 | 0.000000e+00 | -- | Inf
130.56/130.62 c 131s| 47900 | 168 |874432 | 18.3 |9824k| 53 | 38 | 231 |9551 | 231 |2453 | 17 | 30k|4138 | 0.000000e+00 | -- | Inf
130.77/130.89 c 131s| 48000 | 170 |876266 | 18.3 |9846k| 53 | 41 | 231 |9601 | 231 |2453 | 17 | 30k|4146 | 0.000000e+00 | -- | Inf
131.06/131.16 c 131s| 48100 | 168 |877925 | 18.2 |9865k| 53 | - | 231 |9656 | 231 |2453 | 17 | 30k|4159 | 0.000000e+00 | -- | Inf
131.26/131.38 c 131s| 48200 | 170 |879646 | 18.2 |9881k| 53 | 36 | 231 |9699 | 231 |2453 | 17 | 30k|4159 | 0.000000e+00 | -- | Inf
131.56/131.64 c 132s| 48300 | 171 |881175 | 18.2 |9902k| 53 | 35 | 231 |9753 | 231 |2453 | 17 | 30k|4168 | 0.000000e+00 | -- | Inf
131.86/131.92 c 132s| 48400 | 174 |882958 | 18.2 |9930k| 53 | - | 231 |9794 | 231 |2453 | 17 | 30k|4179 | 0.000000e+00 | -- | Inf
132.06/132.19 c 132s| 48500 | 168 |884800 | 18.2 |9934k| 53 | - | 231 |9845 | 231 |2453 | 17 | 31k|4184 | 0.000000e+00 | -- | Inf
132.36/132.43 c 132s| 48600 | 167 |886453 | 18.2 |9942k| 53 | 39 | 231 |9889 | 231 |2453 | 17 | 31k|4189 | 0.000000e+00 | -- | Inf
132.66/132.75 c 133s| 48700 | 164 |888623 | 18.2 |9948k| 53 | - | 231 |9908 | 231 |2453 | 17 | 31k|4202 | 0.000000e+00 | -- | Inf
133.06/133.12 c 133s| 48800 | 168 |891033 | 18.3 |9954k| 53 | - | 231 |9900 | 231 |2453 | 17 | 31k|4217 | 0.000000e+00 | -- | Inf
133.36/133.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
133.36/133.46 c 133s| 48900 | 170 |893501 | 18.3 |9964k| 53 | 37 | 231 |9921 | 231 |2453 | 17 | 31k|4226 | 0.000000e+00 | -- | Inf
133.66/133.77 c 134s| 49000 | 172 |895652 | 18.3 |9987k| 53 | 35 | 231 |9973 | 231 |2453 | 17 | 31k|4234 | 0.000000e+00 | -- | Inf
133.96/134.04 c 134s| 49100 | 169 |897467 | 18.3 |9996k| 53 | - | 231 |9993 | 0 | 0 | 17 | 31k|4242 | 0.000000e+00 | -- | Inf
134.25/134.32 c 134s| 49200 | 167 |899439 | 18.3 |9991k| 53 | - | 231 |9996 | 0 | 0 | 17 | 31k|4246 | 0.000000e+00 | -- | Inf
134.56/134.61 c 135s| 49300 | 169 |901369 | 18.3 |9990k| 53 | 35 | 231 |9997 | 231 |2453 | 17 | 31k|4255 | 0.000000e+00 | -- | Inf
134.86/134.91 c 135s| 49400 | 173 |903368 | 18.3 |9964k| 53 | - | 231 |9833 | 231 |2453 | 17 | 31k|4265 | 0.000000e+00 | -- | Inf
135.06/135.18 c 135s| 49500 | 173 |905252 | 18.3 |9955k| 53 | - | 231 |9809 | 231 |2453 | 17 | 31k|4269 | 0.000000e+00 | -- | Inf
135.36/135.45 c 135s| 49600 | 175 |906941 | 18.3 |9954k| 53 | 26 | 231 |9796 | 231 |2453 | 17 | 31k|4279 | 0.000000e+00 | -- | Inf
135.56/135.68 c 136s| 49700 | 177 |908420 | 18.3 |9950k| 53 | - | 231 |9759 | 231 |2453 | 17 | 31k|4282 | 0.000000e+00 | -- | Inf
135.86/135.90 c 136s| 49800 | 186 |909870 | 18.3 |9964k| 53 | 26 | 231 |9712 | 231 |2453 | 17 | 31k|4287 | 0.000000e+00 | -- | Inf
136.06/136.13 c 136s| 49900 | 183 |911330 | 18.3 |9968k| 53 | - | 231 |9717 | 231 |2453 | 17 | 32k|4292 | 0.000000e+00 | -- | Inf
136.26/136.35 c 136s| 50000 | 187 |912881 | 18.3 |9975k| 53 | 27 | 231 |9722 | 231 |2453 | 17 | 32k|4294 | 0.000000e+00 | -- | Inf
136.46/136.57 c 137s| 50100 | 188 |914378 | 18.2 |9982k| 53 | 40 | 231 |9735 | 231 |2453 | 17 | 32k|4297 | 0.000000e+00 | -- | Inf
136.76/136.81 c 137s| 50200 | 187 |916101 | 18.2 |9994k| 53 | 38 | 231 |9762 | 231 |2453 | 17 | 32k|4298 | 0.000000e+00 | -- | Inf
136.96/137.03 c 137s| 50300 | 188 |917644 | 18.2 | 10M| 53 | 27 | 231 |9826 | 231 |2453 | 17 | 32k|4303 | 0.000000e+00 | -- | Inf
137.16/137.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
137.16/137.23 c 137s| 50400 | 189 |918978 | 18.2 | 10M| 53 | - | 231 |9897 | 0 | 0 | 17 | 32k|4304 | 0.000000e+00 | -- | Inf
137.36/137.43 c 137s| 50500 | 185 |920385 | 18.2 | 10M| 53 | - | 231 |9949 | 231 |2453 | 17 | 32k|4304 | 0.000000e+00 | -- | Inf
137.56/137.65 c 138s| 50600 | 183 |921881 | 18.2 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 32k|4304 | 0.000000e+00 | -- | Inf
137.76/137.87 c 138s| 50700 | 184 |923622 | 18.2 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 32k|4304 | 0.000000e+00 | -- | Inf
137.96/138.09 c 138s| 50800 | 186 |925207 | 18.2 | 10M| 53 | 27 | 231 | 10k| 231 |2453 | 17 | 32k|4305 | 0.000000e+00 | -- | Inf
138.16/138.29 c 138s| 50900 | 186 |926606 | 18.2 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 32k|4305 | 0.000000e+00 | -- | Inf
138.46/138.51 c 139s| 51000 | 191 |928272 | 18.2 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 32k|4305 | 0.000000e+00 | -- | Inf
138.66/138.74 c 139s| 51100 | 190 |930116 | 18.2 | 10M| 53 | 27 | 231 | 10k| 231 |2453 | 17 | 32k|4305 | 0.000000e+00 | -- | Inf
138.86/138.96 c 139s| 51200 | 193 |931814 | 18.2 | 10M| 53 | 30 | 231 | 10k| 231 |2453 | 17 | 32k|4305 | 0.000000e+00 | -- | Inf
139.06/139.16 c 139s| 51300 | 189 |933339 | 18.2 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 32k|4305 | 0.000000e+00 | -- | Inf
139.26/139.39 c 139s| 51400 | 186 |935039 | 18.2 | 10M| 53 | 35 | 231 | 10k| 231 |2453 | 17 | 32k|4305 | 0.000000e+00 | -- | Inf
139.57/139.63 c 140s| 51500 | 182 |936891 | 18.2 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 33k|4305 | 0.000000e+00 | -- | Inf
139.76/139.88 c 140s| 51600 | 185 |938745 | 18.2 | 10M| 53 | 36 | 231 | 10k| 231 |2453 | 17 | 33k|4305 | 0.000000e+00 | -- | Inf
140.06/140.14 c 140s| 51700 | 187 |940663 | 18.2 | 10M| 53 | 30 | 231 | 10k| 231 |2453 | 17 | 33k|4305 | 0.000000e+00 | -- | Inf
140.26/140.36 c 140s| 51800 | 185 |942329 | 18.2 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 33k|4305 | 0.000000e+00 | -- | Inf
140.56/140.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
140.56/140.61 c 141s| 51900 | 197 |944210 | 18.2 | 10M| 53 | 32 | 231 | 10k| 231 |2453 | 17 | 33k|4305 | 0.000000e+00 | -- | Inf
140.76/140.84 c 141s| 52000 | 199 |946013 | 18.2 | 10M| 53 | 38 | 231 | 10k| 231 |2453 | 17 | 33k|4305 | 0.000000e+00 | -- | Inf
140.96/141.08 c 141s| 52100 | 198 |947821 | 18.2 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 33k|4305 | 0.000000e+00 | -- | Inf
141.26/141.33 c 141s| 52200 | 200 |949694 | 18.2 | 10M| 53 | 39 | 231 | 10k| 231 |2453 | 17 | 33k|4305 | 0.000000e+00 | -- | Inf
141.46/141.56 c 142s| 52300 | 204 |951481 | 18.2 | 10M| 53 | 26 | 231 | 10k| 231 |2453 | 17 | 33k|4305 | 0.000000e+00 | -- | Inf
141.76/141.86 c 142s| 52400 | 207 |953373 | 18.2 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 33k|4316 | 0.000000e+00 | -- | Inf
141.96/142.07 c 142s| 52500 | 210 |954982 | 18.2 | 10M| 53 | 33 | 231 | 10k| 231 |2453 | 17 | 33k|4316 | 0.000000e+00 | -- | Inf
142.26/142.31 c 142s| 52600 | 206 |956518 | 18.2 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 33k|4324 | 0.000000e+00 | -- | Inf
142.56/142.60 c 143s| 52700 | 204 |958337 | 18.2 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 33k|4336 | 0.000000e+00 | -- | Inf
142.76/142.87 c 143s| 52800 | 205 |959880 | 18.2 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 33k|4349 | 0.000000e+00 | -- | Inf
142.96/143.09 c 143s| 52900 | 205 |961513 | 18.2 | 10M| 53 | 36 | 231 | 10k| 231 |2453 | 17 | 33k|4349 | 0.000000e+00 | -- | Inf
143.25/143.36 c 143s| 53000 | 199 |963244 | 18.2 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 33k|4358 | 0.000000e+00 | -- | Inf
143.56/143.63 c 144s| 53100 | 200 |965149 | 18.2 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 34k|4363 | 0.000000e+00 | -- | Inf
143.86/143.91 c 144s| 53200 | 207 |967067 | 18.2 | 10M| 53 | 33 | 231 | 11k| 231 |2453 | 17 | 34k|4373 | 0.000000e+00 | -- | Inf
144.16/144.22 c 144s| 53300 | 207 |969028 | 18.2 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 34k|4386 | 0.000000e+00 | -- | Inf
144.36/144.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
144.36/144.49 c 144s| 53400 | 201 |970850 | 18.2 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 34k|4390 | 0.000000e+00 | -- | Inf
144.65/144.78 c 145s| 53500 | 202 |972785 | 18.2 | 10M| 53 | 37 | 231 | 11k| 231 |2453 | 17 | 34k|4401 | 0.000000e+00 | -- | Inf
145.07/145.13 c 145s| 53600 | 196 |974906 | 18.2 | 10M| 53 | 35 | 231 | 11k| 231 |2453 | 17 | 34k|4418 | 0.000000e+00 | -- | Inf
145.26/145.32 c 145s| 53700 | 197 |976206 | 18.2 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 34k|4418 | 0.000000e+00 | -- | Inf
145.55/145.60 c 146s| 53800 | 191 |977881 | 18.2 | 10M| 53 | 39 | 231 | 11k| 231 |2453 | 17 | 34k|4428 | 0.000000e+00 | -- | Inf
145.75/145.84 c 146s| 53900 | 187 |979338 | 18.2 | 10M| 53 | 40 | 231 | 11k| 231 |2453 | 17 | 34k|4433 | 0.000000e+00 | -- | Inf
146.06/146.10 c 146s| 54000 | 186 |980973 | 18.2 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 34k|4443 | 0.000000e+00 | -- | Inf
146.26/146.37 c 146s| 54100 | 190 |982628 | 18.2 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 34k|4452 | 0.000000e+00 | -- | Inf
146.56/146.64 c 147s| 54200 | 189 |984222 | 18.2 | 10M| 53 | 34 | 231 | 11k| 231 |2453 | 17 | 34k|4463 | 0.000000e+00 | -- | Inf
146.86/146.93 c 147s| 54300 | 191 |986148 | 18.2 | 10M| 53 | 31 | 231 | 11k| 231 |2453 | 17 | 34k|4471 | 0.000000e+00 | -- | Inf
147.15/147.22 c 147s| 54400 | 189 |987971 | 18.2 | 10M| 53 | - | 231 | 11k| 0 | 0 | 17 | 34k|4481 | 0.000000e+00 | -- | Inf
147.46/147.50 c 147s| 54500 | 185 |989803 | 18.2 | 10M| 53 | 35 | 231 | 11k| 231 |2453 | 17 | 35k|4488 | 0.000000e+00 | -- | Inf
147.66/147.76 c 148s| 54600 | 183 |991439 | 18.2 | 10M| 53 | - | 231 | 11k| 0 | 0 | 17 | 35k|4497 | 0.000000e+00 | -- | Inf
147.96/148.01 c 148s| 54700 | 177 |992898 | 18.1 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 35k|4507 | 0.000000e+00 | -- | Inf
148.16/148.26 c 148s| 54800 | 179 |994497 | 18.1 | 10M| 53 | 22 | 231 | 11k| 231 |2453 | 17 | 35k|4514 | 0.000000e+00 | -- | Inf
148.46/148.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
148.46/148.56 c 149s| 54900 | 176 |996373 | 18.1 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 35k|4525 | 0.000000e+00 | -- | Inf
148.76/148.83 c 149s| 55000 | 178 |998024 | 18.1 | 10M| 53 | 36 | 231 | 11k| 231 |2453 | 17 | 35k|4531 | 0.000000e+00 | -- | Inf
149.06/149.11 c 149s| 55100 | 177 | 1000k| 18.1 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 35k|4533 | 0.000000e+00 | -- | Inf
149.25/149.34 c 149s| 55200 | 177 | 1001k| 18.1 | 10M| 53 | 37 | 231 | 11k| 231 |2453 | 17 | 35k|4533 | 0.000000e+00 | -- | Inf
149.57/149.63 c 150s| 55300 | 179 | 1003k| 18.2 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 35k|4534 | 0.000000e+00 | -- | Inf
149.76/149.85 c 150s| 55400 | 181 | 1005k| 18.2 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 35k|4534 | 0.000000e+00 | -- | Inf
150.05/150.12 c 150s| 55500 | 182 | 1007k| 18.2 | 10M| 53 | 31 | 231 | 11k| 231 |2453 | 17 | 35k|4535 | 0.000000e+00 | -- | Inf
150.35/150.42 c 150s| 55600 | 180 | 1010k| 18.2 | 10M| 53 | 40 | 231 | 11k| 231 |2453 | 17 | 35k|4535 | 0.000000e+00 | -- | Inf
150.57/150.70 c 151s| 55700 | 180 | 1012k| 18.2 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 35k|4536 | 0.000000e+00 | -- | Inf
150.86/150.93 c 151s| 55800 | 178 | 1014k| 18.2 | 10M| 53 | 34 | 231 | 11k| 231 |2453 | 17 | 35k|4536 | 0.000000e+00 | -- | Inf
151.05/151.16 c 151s| 55900 | 176 | 1015k| 18.2 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 35k|4536 | 0.000000e+00 | -- | Inf
151.26/151.37 c 151s| 56000 | 175 | 1017k| 18.2 | 10M| 53 | 32 | 231 | 11k| 231 |2453 | 17 | 36k|4536 | 0.000000e+00 | -- | Inf
151.55/151.60 c 152s| 56100 | 175 | 1019k| 18.2 | 10M| 53 | 41 | 231 | 11k| 231 |2453 | 17 | 36k|4536 | 0.000000e+00 | -- | Inf
151.77/151.85 c 152s| 56200 | 173 | 1021k| 18.2 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 36k|4536 | 0.000000e+00 | -- | Inf
152.06/152.13 c 152s| 56300 | 170 | 1023k| 18.2 | 10M| 53 | 39 | 231 | 11k| 231 |2453 | 17 | 36k|4536 | 0.000000e+00 | -- | Inf
152.26/152.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
152.26/152.36 c 152s| 56400 | 169 | 1024k| 18.2 | 10M| 53 | 39 | 231 | 11k| 231 |2453 | 17 | 36k|4536 | 0.000000e+00 | -- | Inf
152.56/152.62 c 153s| 56500 | 167 | 1026k| 18.2 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 36k|4536 | 0.000000e+00 | -- | Inf
152.76/152.87 c 153s| 56600 | 167 | 1028k| 18.2 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 36k|4536 | 0.000000e+00 | -- | Inf
153.06/153.12 c 153s| 56700 | 171 | 1030k| 18.2 | 10M| 53 | 35 | 231 | 11k| 231 |2453 | 17 | 36k|4536 | 0.000000e+00 | -- | Inf
153.26/153.34 c 153s| 56800 | 166 | 1032k| 18.2 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 36k|4536 | 0.000000e+00 | -- | Inf
153.45/153.55 c 154s| 56900 | 170 | 1033k| 18.2 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 36k|4536 | 0.000000e+00 | -- | Inf
153.76/153.80 c 154s| 57000 | 169 | 1035k| 18.2 | 10M| 53 | 28 | 231 | 10k| 231 |2453 | 17 | 36k|4536 | 0.000000e+00 | -- | Inf
153.86/154.00 c 154s| 57100 | 167 | 1037k| 18.2 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 36k|4536 | 0.000000e+00 | -- | Inf
154.15/154.22 c 154s| 57200 | 167 | 1038k| 18.2 | 10M| 53 | 38 | 231 | 11k| 231 |2453 | 17 | 36k|4536 | 0.000000e+00 | -- | Inf
154.35/154.47 c 154s| 57300 | 167 | 1040k| 18.2 | 10M| 53 | 37 | 231 | 11k| 231 |2453 | 17 | 36k|4536 | 0.000000e+00 | -- | Inf
154.65/154.70 c 155s| 57400 | 165 | 1042k| 18.2 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 36k|4536 | 0.000000e+00 | -- | Inf
154.86/154.94 c 155s| 57500 | 162 | 1044k| 18.2 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 37k|4536 | 0.000000e+00 | -- | Inf
155.15/155.24 c 155s| 57600 | 162 | 1045k| 18.2 | 10M| 53 | 42 | 231 | 10k| 231 |2453 | 17 | 37k|4547 | 0.000000e+00 | -- | Inf
155.35/155.49 c 155s| 57700 | 159 | 1047k| 18.2 | 10M| 53 | 34 | 231 | 10k| 231 |2453 | 17 | 37k|4552 | 0.000000e+00 | -- | Inf
155.66/155.75 c 156s| 57800 | 159 | 1049k| 18.1 | 10M| 53 | 45 | 231 | 10k| 231 |2453 | 17 | 37k|4562 | 0.000000e+00 | -- | Inf
155.96/156.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
155.96/156.06 c 156s| 57900 | 156 | 1051k| 18.2 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 37k|4572 | 0.000000e+00 | -- | Inf
156.25/156.37 c 156s| 58000 | 159 | 1053k| 18.2 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 37k|4582 | 0.000000e+00 | -- | Inf
156.56/156.64 c 157s| 58100 | 159 | 1055k| 18.2 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 37k|4582 | 0.000000e+00 | -- | Inf
156.85/156.95 c 157s| 58200 | 159 | 1057k| 18.2 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 37k|4590 | 0.000000e+00 | -- | Inf
157.17/157.25 c 157s| 58300 | 156 | 1060k| 18.2 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 37k|4597 | 0.000000e+00 | -- | Inf
157.46/157.54 c 158s| 58400 | 159 | 1061k| 18.2 | 10M| 53 | 31 | 231 | 10k| 231 |2453 | 17 | 37k|4610 | 0.000000e+00 | -- | Inf
157.75/157.80 c 158s| 58500 | 155 | 1063k| 18.2 | 10M| 53 | 36 | 231 | 10k| 231 |2453 | 17 | 37k|4615 | 0.000000e+00 | -- | Inf
157.96/158.08 c 158s| 58600 | 153 | 1065k| 18.2 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 37k|4624 | 0.000000e+00 | -- | Inf
158.26/158.36 c 158s| 58700 | 153 | 1067k| 18.2 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 37k|4632 | 0.000000e+00 | -- | Inf
158.56/158.62 c 159s| 58800 | 155 | 1069k| 18.2 | 10M| 53 | 35 | 231 | 10k| 231 |2453 | 17 | 37k|4637 | 0.000000e+00 | -- | Inf
158.85/158.92 c 159s| 58900 | 153 | 1071k| 18.2 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 37k|4646 | 0.000000e+00 | -- | Inf
159.16/159.21 c 159s| 59000 | 159 | 1073k| 18.2 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 37k|4655 | 0.000000e+00 | -- | Inf
159.46/159.52 c 160s| 59100 | 155 | 1075k| 18.2 | 10M| 53 | 24 | 231 | 10k| 231 |2453 | 17 | 38k|4664 | 0.000000e+00 | -- | Inf
159.75/159.81 c 160s| 59200 | 159 | 1078k| 18.2 | 10M| 53 | 43 | 231 | 10k| 231 |2453 | 17 | 38k|4669 | 0.000000e+00 | -- | Inf
160.05/160.10 c 160s| 59300 | 157 | 1080k| 18.2 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 38k|4676 | 0.000000e+00 | -- | Inf
160.36/160.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
160.36/160.42 c 160s| 59400 | 158 | 1082k| 18.2 | 10M| 53 | 28 | 231 | 10k| 231 |2453 | 17 | 38k|4685 | 0.000000e+00 | -- | Inf
160.65/160.72 c 161s| 59500 | 157 | 1084k| 18.2 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 38k|4695 | 0.000000e+00 | -- | Inf
160.95/161.03 c 161s| 59600 | 155 | 1086k| 18.2 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 38k|4704 | 0.000000e+00 | -- | Inf
161.25/161.37 c 161s| 59700 | 155 | 1088k| 18.2 | 10M| 53 | 34 | 231 | 10k| 231 |2453 | 17 | 38k|4717 | 0.000000e+00 | -- | Inf
161.56/161.69 c 162s| 59800 | 155 | 1091k| 18.2 | 10M| 53 | 47 | 231 | 10k| 231 |2453 | 17 | 38k|4726 | 0.000000e+00 | -- | Inf
161.96/162.00 c 162s| 59900 | 161 | 1093k| 18.3 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 38k|4733 | 0.000000e+00 | -- | Inf
162.15/162.22 c 162s| 60000 | 164 | 1094k| 18.2 | 10M| 53 | 38 | 231 | 10k| 231 |2453 | 17 | 38k|4735 | 0.000000e+00 | -- | Inf
162.46/162.51 c 163s| 60100 | 159 | 1097k| 18.3 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 38k|4737 | 0.000000e+00 | -- | Inf
162.66/162.77 c 163s| 60200 | 158 | 1099k| 18.3 | 10M| 53 | 43 | 231 | 11k| 231 |2453 | 17 | 38k|4741 | 0.000000e+00 | -- | Inf
162.95/163.07 c 163s| 60300 | 158 | 1101k| 18.3 | 10M| 53 | 36 | 231 | 10k| 231 |2453 | 17 | 38k|4746 | 0.000000e+00 | -- | Inf
163.25/163.33 c 163s| 60400 | 158 | 1103k| 18.3 | 10M| 53 | 33 | 231 | 10k| 231 |2453 | 17 | 38k|4746 | 0.000000e+00 | -- | Inf
163.45/163.58 c 164s| 60500 | 157 | 1105k| 18.3 | 10M| 53 | 36 | 231 | 10k| 231 |2453 | 17 | 39k|4746 | 0.000000e+00 | -- | Inf
163.76/163.82 c 164s| 60600 | 157 | 1107k| 18.3 | 10M| 53 | 40 | 231 | 10k| 231 |2453 | 17 | 39k|4746 | 0.000000e+00 | -- | Inf
164.05/164.11 c 164s| 60700 | 155 | 1109k| 18.3 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 39k|4746 | 0.000000e+00 | -- | Inf
164.26/164.36 c 164s| 60800 | 155 | 1111k| 18.3 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 39k|4746 | 0.000000e+00 | -- | Inf
164.56/164.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
164.56/164.63 c 165s| 60900 | 155 | 1113k| 18.3 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 39k|4746 | 0.000000e+00 | -- | Inf
164.75/164.88 c 165s| 61000 | 153 | 1115k| 18.3 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 39k|4746 | 0.000000e+00 | -- | Inf
165.05/165.10 c 165s| 61100 | 155 | 1117k| 18.3 | 10M| 53 | 40 | 231 | 10k| 231 |2453 | 17 | 39k|4746 | 0.000000e+00 | -- | Inf
165.25/165.39 c 165s| 61200 | 151 | 1119k| 18.3 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 39k|4746 | 0.000000e+00 | -- | Inf
165.56/165.65 c 166s| 61300 | 150 | 1121k| 18.3 | 10M| 53 | - | 231 | 10k| 0 | 0 | 17 | 39k|4746 | 0.000000e+00 | -- | Inf
165.85/165.92 c 166s| 61400 | 146 | 1123k| 18.3 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 39k|4746 | 0.000000e+00 | -- | Inf
166.06/166.16 c 166s| 61500 | 144 | 1125k| 18.3 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 39k|4746 | 0.000000e+00 | -- | Inf
166.26/166.39 c 166s| 61600 | 143 | 1127k| 18.3 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 39k|4746 | 0.000000e+00 | -- | Inf
166.55/166.64 c 167s| 61700 | 147 | 1129k| 18.3 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 39k|4746 | 0.000000e+00 | -- | Inf
166.76/166.84 c 167s| 61800 | 145 | 1131k| 18.3 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 39k|4746 | 0.000000e+00 | -- | Inf
166.95/167.07 c 167s| 61900 | 144 | 1132k| 18.3 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 39k|4746 | 0.000000e+00 | -- | Inf
167.26/167.32 c 167s| 62000 | 146 | 1134k| 18.3 | 10M| 53 | 29 | 231 | 10k| 231 |2453 | 17 | 39k|4746 | 0.000000e+00 | -- | Inf
167.46/167.56 c 168s| 62100 | 147 | 1136k| 18.3 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 40k|4746 | 0.000000e+00 | -- | Inf
167.66/167.78 c 168s| 62200 | 143 | 1138k| 18.3 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 40k|4746 | 0.000000e+00 | -- | Inf
167.96/168.01 c 168s| 62300 | 151 | 1140k| 18.3 | 10M| 53 | 37 | 231 | 11k| 231 |2453 | 17 | 40k|4746 | 0.000000e+00 | -- | Inf
168.16/168.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
168.16/168.28 c 168s| 62400 | 142 | 1142k| 18.3 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 40k|4746 | 0.000000e+00 | -- | Inf
168.36/168.46 c 168s| 62500 | 144 | 1143k| 18.3 | 10M| 53 | - | 231 | 11k| 0 | 0 | 17 | 40k|4748 | 0.000000e+00 | -- | Inf
168.65/168.72 c 169s| 62600 | 142 | 1145k| 18.3 | 10M| 53 | 38 | 231 | 11k| 231 |2453 | 17 | 40k|4760 | 0.000000e+00 | -- | Inf
168.96/169.01 c 169s| 62700 | 141 | 1147k| 18.3 | 10M| 53 | 43 | 231 | 11k| 231 |2453 | 17 | 40k|4771 | 0.000000e+00 | -- | Inf
169.15/169.29 c 169s| 62800 | 143 | 1149k| 18.3 | 10M| 53 | - | 231 | 11k| 0 | 0 | 17 | 40k|4782 | 0.000000e+00 | -- | Inf
169.46/169.50 c 170s| 62900 | 145 | 1150k| 18.3 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 40k|4782 | 0.000000e+00 | -- | Inf
169.65/169.75 c 170s| 63000 | 146 | 1152k| 18.3 | 10M| 53 | 28 | 231 | 11k| 231 |2453 | 17 | 40k|4791 | 0.000000e+00 | -- | Inf
169.95/170.03 c 170s| 63100 | 143 | 1154k| 18.3 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 40k|4803 | 0.000000e+00 | -- | Inf
170.16/170.26 c 170s| 63200 | 144 | 1156k| 18.3 | 10M| 53 | 22 | 231 | 11k| 231 |2453 | 17 | 40k|4803 | 0.000000e+00 | -- | Inf
170.46/170.55 c 171s| 63300 | 146 | 1157k| 18.3 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 40k|4812 | 0.000000e+00 | -- | Inf
170.75/170.80 c 171s| 63400 | 146 | 1159k| 18.3 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 40k|4821 | 0.000000e+00 | -- | Inf
170.96/171.07 c 171s| 63500 | 150 | 1161k| 18.3 | 10M| 53 | 28 | 231 | 11k| 231 |2453 | 17 | 40k|4832 | 0.000000e+00 | -- | Inf
171.25/171.33 c 171s| 63600 | 150 | 1163k| 18.3 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 40k|4832 | 0.000000e+00 | -- | Inf
171.56/171.61 c 172s| 63700 | 149 | 1165k| 18.3 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 41k|4841 | 0.000000e+00 | -- | Inf
171.75/171.88 c 172s| 63800 | 153 | 1167k| 18.3 | 10M| 53 | 40 | 231 | 11k| 231 |2453 | 17 | 41k|4850 | 0.000000e+00 | -- | Inf
172.06/172.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
172.06/172.13 c 172s| 63900 | 149 | 1168k| 18.3 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 41k|4857 | 0.000000e+00 | -- | Inf
172.35/172.40 c 172s| 64000 | 146 | 1170k| 18.3 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 41k|4864 | 0.000000e+00 | -- | Inf
172.66/172.73 c 173s| 64100 | 150 | 1173k| 18.3 | 10M| 53 | 32 | 231 | 11k| 231 |2453 | 17 | 41k|4875 | 0.000000e+00 | -- | Inf
172.95/173.06 c 173s| 64200 | 146 | 1175k| 18.3 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 41k|4884 | 0.000000e+00 | -- | Inf
173.25/173.37 c 173s| 64300 | 147 | 1177k| 18.3 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 41k|4893 | 0.000000e+00 | -- | Inf
173.55/173.65 c 174s| 64400 | 145 | 1179k| 18.3 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 41k|4899 | 0.000000e+00 | -- | Inf
173.85/173.96 c 174s| 64500 | 143 | 1181k| 18.3 | 10M| 53 | 42 | 231 | 11k| 231 |2453 | 17 | 41k|4907 | 0.000000e+00 | -- | Inf
174.15/174.22 c 174s| 64600 | 144 | 1183k| 18.3 | 10M| 53 | 21 | 231 | 11k| 231 |2453 | 17 | 41k|4915 | 0.000000e+00 | -- | Inf
174.35/174.49 c 174s| 64700 | 142 | 1185k| 18.3 | 10M| 53 | 36 | 231 | 11k| 231 |2453 | 17 | 41k|4924 | 0.000000e+00 | -- | Inf
174.65/174.80 c 175s| 64800 | 141 | 1187k| 18.3 | 10M| 53 | 42 | 231 | 11k| 231 |2453 | 17 | 41k|4932 | 0.000000e+00 | -- | Inf
174.96/175.07 c 175s| 64900 | 141 | 1189k| 18.3 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 41k|4941 | 0.000000e+00 | -- | Inf
175.25/175.34 c 175s| 65000 | 138 | 1191k| 18.3 | 10M| 53 | 45 | 231 | 11k| 231 |2453 | 17 | 41k|4943 | 0.000000e+00 | -- | Inf
175.46/175.59 c 176s| 65100 | 137 | 1192k| 18.3 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 41k|4947 | 0.000000e+00 | -- | Inf
175.75/175.83 c 176s| 65200 | 138 | 1194k| 18.3 | 10M| 53 | - | 231 | 11k| 0 | 0 | 17 | 41k|4950 | 0.000000e+00 | -- | Inf
176.06/176.15 c 176s| 65300 | 136 | 1197k| 18.3 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 41k|4954 | 0.000000e+00 | -- | Inf
176.35/176.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
176.35/176.41 c 176s| 65400 | 135 | 1198k| 18.3 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 42k|4955 | 0.000000e+00 | -- | Inf
176.55/176.64 c 177s| 65500 | 137 | 1200k| 18.3 | 10M| 53 | 36 | 231 | 11k| 231 |2453 | 17 | 42k|4956 | 0.000000e+00 | -- | Inf
176.75/176.88 c 177s| 65600 | 135 | 1202k| 18.3 | 10M| 53 | 34 | 231 | 11k| 231 |2453 | 17 | 42k|4956 | 0.000000e+00 | -- | Inf
177.06/177.17 c 177s| 65700 | 135 | 1204k| 18.3 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 42k|4956 | 0.000000e+00 | -- | Inf
177.36/177.43 c 177s| 65800 | 132 | 1206k| 18.3 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 42k|4956 | 0.000000e+00 | -- | Inf
177.65/177.71 c 178s| 65900 | 128 | 1209k| 18.3 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 42k|4958 | 0.000000e+00 | -- | Inf
177.85/177.98 c 178s| 66000 | 129 | 1211k| 18.3 | 10M| 53 | 33 | 231 | 11k| 231 |2453 | 17 | 42k|4958 | 0.000000e+00 | -- | Inf
178.16/178.22 c 178s| 66100 | 132 | 1212k| 18.3 | 10M| 53 | 34 | 231 | 11k| 231 |2453 | 17 | 42k|4958 | 0.000000e+00 | -- | Inf
178.35/178.48 c 178s| 66200 | 130 | 1214k| 18.4 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 42k|4958 | 0.000000e+00 | -- | Inf
178.65/178.77 c 179s| 66300 | 130 | 1217k| 18.4 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 42k|4958 | 0.000000e+00 | -- | Inf
178.95/179.00 c 179s| 66400 | 136 | 1219k| 18.4 | 10M| 53 | 28 | 231 | 11k| 231 |2453 | 17 | 42k|4958 | 0.000000e+00 | -- | Inf
179.16/179.27 c 179s| 66500 | 134 | 1221k| 18.4 | 10M| 53 | 42 | 231 | 11k| 231 |2453 | 17 | 42k|4958 | 0.000000e+00 | -- | Inf
179.46/179.55 c 180s| 66600 | 129 | 1223k| 18.4 | 10M| 53 | 34 | 231 | 11k| 231 |2453 | 17 | 42k|4958 | 0.000000e+00 | -- | Inf
179.75/179.81 c 180s| 66700 | 128 | 1225k| 18.4 | 10M| 53 | 44 | 231 | 11k| 231 |2453 | 17 | 42k|4958 | 0.000000e+00 | -- | Inf
179.95/180.04 c 180s| 66800 | 123 | 1227k| 18.4 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 42k|4958 | 0.000000e+00 | -- | Inf
180.16/180.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
180.16/180.27 c 180s| 66900 | 124 | 1229k| 18.4 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 42k|4958 | 0.000000e+00 | -- | Inf
180.36/180.47 c 180s| 67000 | 125 | 1231k| 18.4 | 10M| 53 | 41 | 231 | 11k| 231 |2453 | 17 | 43k|4958 | 0.000000e+00 | -- | Inf
180.65/180.70 c 181s| 67100 | 123 | 1232k| 18.4 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 43k|4958 | 0.000000e+00 | -- | Inf
180.86/180.93 c 181s| 67200 | 123 | 1234k| 18.4 | 10M| 53 | 36 | 231 | 11k| 231 |2453 | 17 | 43k|4958 | 0.000000e+00 | -- | Inf
181.06/181.19 c 181s| 67300 | 126 | 1236k| 18.4 | 10M| 53 | 37 | 231 | 11k| 231 |2453 | 17 | 43k|4958 | 0.000000e+00 | -- | Inf
181.36/181.46 c 181s| 67400 | 120 | 1238k| 18.4 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 43k|4958 | 0.000000e+00 | -- | Inf
181.65/181.73 c 182s| 67500 | 120 | 1241k| 18.4 | 10M| 53 | 40 | 231 | 11k| 231 |2453 | 17 | 43k|4958 | 0.000000e+00 | -- | Inf
181.85/181.97 c 182s| 67600 | 122 | 1242k| 18.4 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 43k|4968 | 0.000000e+00 | -- | Inf
182.05/182.17 c 182s| 67700 | 125 | 1243k| 18.4 | 10M| 53 | 18 | 231 | 11k| 231 |2453 | 17 | 43k|4968 | 0.000000e+00 | -- | Inf
182.35/182.46 c 182s| 67800 | 125 | 1245k| 18.4 | 10M| 53 | 34 | 231 | 11k| 231 |2453 | 17 | 43k|4979 | 0.000000e+00 | -- | Inf
182.65/182.75 c 183s| 67900 | 124 | 1247k| 18.4 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 43k|4989 | 0.000000e+00 | -- | Inf
182.95/183.00 c 183s| 68000 | 129 | 1249k| 18.4 | 10M| 53 | 36 | 231 | 11k| 231 |2453 | 17 | 43k|4990 | 0.000000e+00 | -- | Inf
183.15/183.29 c 183s| 68100 | 125 | 1251k| 18.4 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 43k|4998 | 0.000000e+00 | -- | Inf
183.45/183.60 c 184s| 68200 | 122 | 1253k| 18.4 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 43k|5007 | 0.000000e+00 | -- | Inf
183.75/183.89 c 184s| 68300 | 122 | 1255k| 18.4 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 43k|5017 | 0.000000e+00 | -- | Inf
184.05/184.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
184.05/184.14 c 184s| 68400 | 123 | 1257k| 18.4 | 10M| 53 | 30 | 231 | 11k| 231 |2453 | 17 | 43k|5023 | 0.000000e+00 | -- | Inf
184.36/184.45 c 184s| 68500 | 122 | 1259k| 18.4 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 43k|5031 | 0.000000e+00 | -- | Inf
184.66/184.75 c 185s| 68600 | 123 | 1261k| 18.4 | 10M| 53 | 24 | 231 | 11k| 231 |2453 | 17 | 44k|5043 | 0.000000e+00 | -- | Inf
184.95/185.06 c 185s| 68700 | 118 | 1263k| 18.4 | 10M| 53 | 36 | 231 | 11k| 231 |2453 | 17 | 44k|5055 | 0.000000e+00 | -- | Inf
185.16/185.29 c 185s| 68800 | 115 | 1265k| 18.4 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 44k|5055 | 0.000000e+00 | -- | Inf
185.45/185.59 c 186s| 68900 | 119 | 1267k| 18.4 | 10M| 53 | 22 | 231 | 11k| 231 |2453 | 17 | 44k|5062 | 0.000000e+00 | -- | Inf
185.75/185.88 c 186s| 69000 | 114 | 1269k| 18.4 | 10M| 53 | 49 | 231 | 11k| 231 |2453 | 17 | 44k|5069 | 0.000000e+00 | -- | Inf
186.05/186.16 c 186s| 69100 | 114 | 1271k| 18.4 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 44k|5075 | 0.000000e+00 | -- | Inf
186.35/186.45 c 186s| 69200 | 118 | 1273k| 18.4 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 44k|5082 | 0.000000e+00 | -- | Inf
186.65/186.72 c 187s| 69300 | 115 | 1275k| 18.4 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 44k|5090 | 0.000000e+00 | -- | Inf
186.86/187.00 c 187s| 69400 | 117 | 1277k| 18.4 | 10M| 53 | 36 | 231 | 11k| 231 |2453 | 17 | 44k|5098 | 0.000000e+00 | -- | Inf
187.15/187.26 c 187s| 69500 | 118 | 1279k| 18.4 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 44k|5105 | 0.000000e+00 | -- | Inf
187.45/187.54 c 188s| 69600 | 123 | 1281k| 18.4 | 10M| 53 | 38 | 231 | 11k| 231 |2453 | 17 | 44k|5113 | 0.000000e+00 | -- | Inf
187.75/187.85 c 188s| 69700 | 119 | 1283k| 18.4 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 44k|5122 | 0.000000e+00 | -- | Inf
188.05/188.16 c 188s| 69800 | 114 | 1286k| 18.4 | 10M| 53 | 35 | 231 | 11k| 231 |2453 | 17 | 44k|5132 | 0.000000e+00 | -- | Inf
188.36/188.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
188.36/188.47 c 188s| 69900 | 113 | 1288k| 18.4 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 44k|5139 | 0.000000e+00 | -- | Inf
188.65/188.77 c 189s| 70000 | 116 | 1290k| 18.4 | 10M| 53 | 38 | 231 | 11k| 231 |2453 | 17 | 44k|5144 | 0.000000e+00 | -- | Inf
188.95/189.05 c 189s| 70100 | 111 | 1292k| 18.4 | 10M| 53 | - | 231 | 11k| 0 | 0 | 17 | 45k|5144 | 0.000000e+00 | -- | Inf
189.25/189.31 c 189s| 70200 | 111 | 1294k| 18.4 | 10M| 53 | 37 | 231 | 11k| 231 |2453 | 17 | 45k|5144 | 0.000000e+00 | -- | Inf
189.45/189.58 c 190s| 70300 | 110 | 1296k| 18.4 | 10M| 53 | 28 | 231 | 11k| 231 |2453 | 17 | 45k|5146 | 0.000000e+00 | -- | Inf
189.75/189.82 c 190s| 70400 | 108 | 1298k| 18.4 | 10M| 53 | 46 | 231 | 11k| 231 |2453 | 17 | 45k|5147 | 0.000000e+00 | -- | Inf
189.95/190.05 c 190s| 70500 | 109 | 1300k| 18.4 | 10M| 53 | 38 | 231 | 11k| 231 |2453 | 17 | 45k|5147 | 0.000000e+00 | -- | Inf
190.15/190.29 c 190s| 70600 | 108 | 1302k| 18.4 | 10M| 53 | 39 | 231 | 11k| 231 |2453 | 17 | 45k|5147 | 0.000000e+00 | -- | Inf
190.45/190.51 c 191s| 70700 | 108 | 1303k| 18.4 | 10M| 53 | 38 | 231 | 11k| 231 |2453 | 17 | 45k|5147 | 0.000000e+00 | -- | Inf
190.65/190.75 c 191s| 70800 | 106 | 1305k| 18.4 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 45k|5147 | 0.000000e+00 | -- | Inf
190.85/190.99 c 191s| 70900 | 108 | 1307k| 18.4 | 10M| 53 | 22 | 231 | 11k| 231 |2453 | 17 | 45k|5147 | 0.000000e+00 | -- | Inf
191.15/191.25 c 191s| 71000 | 103 | 1309k| 18.4 | 10M| 53 | 30 | 231 | 11k| 231 |2453 | 17 | 45k|5147 | 0.000000e+00 | -- | Inf
191.45/191.51 c 192s| 71100 | 101 | 1311k| 18.4 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 45k|5147 | 0.000000e+00 | -- | Inf
191.65/191.74 c 192s| 71200 | 104 | 1313k| 18.4 | 10M| 53 | 20 | 231 | 11k| 231 |2453 | 17 | 45k|5147 | 0.000000e+00 | -- | Inf
191.95/192.01 c 192s| 71300 | 99 | 1315k| 18.4 | 10M| 53 | 39 | 231 | 11k| 231 |2453 | 17 | 45k|5147 | 0.000000e+00 | -- | Inf
192.15/192.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
192.15/192.26 c 192s| 71400 | 93 | 1317k| 18.4 | 10M| 53 | 45 | 231 | 11k| 231 |2453 | 17 | 45k|5147 | 0.000000e+00 | -- | Inf
192.45/192.51 c 193s| 71500 | 91 | 1319k| 18.5 | 10M| 53 | 34 | 231 | 11k| 231 |2453 | 17 | 45k|5147 | 0.000000e+00 | -- | Inf
192.65/192.76 c 193s| 71600 | 88 | 1321k| 18.5 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 46k|5147 | 0.000000e+00 | -- | Inf
192.95/193.02 c 193s| 71700 | 86 | 1323k| 18.5 | 10M| 53 | - | 231 | 11k| 0 | 0 | 17 | 46k|5147 | 0.000000e+00 | -- | Inf
193.15/193.29 c 193s| 71800 | 88 | 1325k| 18.5 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 46k|5147 | 0.000000e+00 | -- | Inf
193.46/193.59 c 194s| 71900 | 85 | 1327k| 18.5 | 10M| 53 | 29 | 231 | 11k| 231 |2453 | 17 | 46k|5147 | 0.000000e+00 | -- | Inf
193.75/193.86 c 194s| 72000 | 81 | 1330k| 18.5 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 46k|5147 | 0.000000e+00 | -- | Inf
194.05/194.12 c 194s| 72100 | 81 | 1332k| 18.5 | 10M| 53 | 41 | 231 | 11k| 231 |2453 | 17 | 46k|5147 | 0.000000e+00 | -- | Inf
194.35/194.40 c 194s| 72200 | 79 | 1334k| 18.5 | 10M| 53 | 45 | 231 | 11k| 231 |2453 | 17 | 46k|5147 | 0.000000e+00 | -- | Inf
194.55/194.64 c 195s| 72300 | 80 | 1336k| 18.5 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 46k|5147 | 0.000000e+00 | -- | Inf
194.85/194.91 c 195s| 72400 | 80 | 1338k| 18.5 | 10M| 53 | 39 | 231 | 11k| 231 |2453 | 17 | 46k|5147 | 0.000000e+00 | -- | Inf
195.05/195.17 c 195s| 72500 | 83 | 1340k| 18.5 | 10M| 53 | 37 | 231 | 11k| 231 |2453 | 17 | 46k|5147 | 0.000000e+00 | -- | Inf
195.45/195.51 c 196s| 72600 | 79 | 1343k| 18.5 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 46k|5158 | 0.000000e+00 | -- | Inf
195.75/195.83 c 196s| 72700 | 79 | 1345k| 18.5 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 46k|5168 | 0.000000e+00 | -- | Inf
196.05/196.16 c 196s| 72800 | 79 | 1347k| 18.5 | 10M| 53 | 40 | 231 | 11k| 231 |2453 | 17 | 46k|5177 | 0.000000e+00 | -- | Inf
196.25/196.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
196.25/196.39 c 196s| 72900 | 78 | 1349k| 18.5 | 10M| 53 | 44 | 231 | 11k| 231 |2453 | 17 | 46k|5177 | 0.000000e+00 | -- | Inf
196.55/196.64 c 197s| 73000 | 78 | 1351k| 18.5 | 10M| 53 | 29 | 231 | 11k| 231 |2453 | 17 | 46k|5184 | 0.000000e+00 | -- | Inf
196.86/196.95 c 197s| 73100 | 74 | 1353k| 18.5 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 47k|5195 | 0.000000e+00 | -- | Inf
197.15/197.21 c 197s| 73200 | 74 | 1355k| 18.5 | 10M| 53 | 25 | 231 | 11k| 231 |2453 | 17 | 47k|5195 | 0.000000e+00 | -- | Inf
197.35/197.49 c 197s| 73300 | 70 | 1357k| 18.5 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 47k|5204 | 0.000000e+00 | -- | Inf
197.65/197.78 c 198s| 73400 | 66 | 1358k| 18.5 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 47k|5214 | 0.000000e+00 | -- | Inf
197.96/198.04 c 198s| 73500 | 66 | 1360k| 18.5 | 10M| 53 | 41 | 231 | 11k| 231 |2453 | 17 | 47k|5220 | 0.000000e+00 | -- | Inf
198.25/198.35 c 198s| 73600 | 63 | 1362k| 18.5 | 10M| 53 | 41 | 231 | 11k| 231 |2453 | 17 | 47k|5229 | 0.000000e+00 | -- | Inf
198.45/198.59 c 199s| 73700 | 59 | 1364k| 18.5 | 10M| 53 | 41 | 231 | 11k| 231 |2453 | 17 | 47k|5230 | 0.000000e+00 | -- | Inf
198.75/198.86 c 199s| 73800 | 57 | 1366k| 18.5 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 47k|5238 | 0.000000e+00 | -- | Inf
199.06/199.16 c 199s| 73900 | 57 | 1367k| 18.5 | 10M| 53 | 44 | 231 | 11k| 231 |2453 | 17 | 47k|5253 | 0.000000e+00 | -- | Inf
199.35/199.43 c 199s| 74000 | 53 | 1370k| 18.5 | 10M| 53 | 43 | 231 | 11k| 231 |2453 | 17 | 47k|5254 | 0.000000e+00 | -- | Inf
199.65/199.75 c 200s| 74100 | 53 | 1372k| 18.5 | 10M| 53 | 33 | 231 | 11k| 231 |2453 | 17 | 47k|5264 | 0.000000e+00 | -- | Inf
199.95/200.02 c 200s| 74200 | 52 | 1374k| 18.5 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 47k|5269 | 0.000000e+00 | -- | Inf
200.25/200.32 c 200s| 74300 | 56 | 1376k| 18.5 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 47k|5277 | 0.000000e+00 | -- | Inf
200.55/200.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
200.55/200.62 c 201s| 74400 | 54 | 1378k| 18.5 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 47k|5288 | 0.000000e+00 | -- | Inf
200.75/200.89 c 201s| 74500 | 52 | 1380k| 18.5 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 47k|5292 | 0.000000e+00 | -- | Inf
201.05/201.20 c 201s| 74600 | 52 | 1382k| 18.5 | 10M| 53 | 39 | 231 | 11k| 231 |2453 | 17 | 47k|5298 | 0.000000e+00 | -- | Inf
201.35/201.48 c 201s| 74700 | 49 | 1384k| 18.5 | 10M| 53 | - | 231 | 11k| 231 |2453 | 17 | 48k|5305 | 0.000000e+00 | -- | Inf
201.65/201.76 c 202s| 74800 | 48 | 1386k| 18.5 | 10M| 53 | 37 | 231 | 10k| 231 |2453 | 17 | 48k|5309 | 0.000000e+00 | -- | Inf
201.95/202.06 c 202s| 74900 | 44 | 1389k| 18.5 | 10M| 53 | 38 | 231 | 10k| 231 |2453 | 17 | 48k|5310 | 0.000000e+00 | -- | Inf
202.26/202.35 c 202s| 75000 | 42 | 1391k| 18.5 | 10M| 53 | 35 | 231 | 10k| 231 |2453 | 17 | 48k|5312 | 0.000000e+00 | -- | Inf
202.54/202.62 c 203s| 75100 | 43 | 1393k| 18.6 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 48k|5313 | 0.000000e+00 | -- | Inf
202.75/202.85 c 203s| 75200 | 43 | 1395k| 18.5 | 10M| 53 | 23 | 231 | 10k| 231 |2453 | 17 | 48k|5313 | 0.000000e+00 | -- | Inf
202.95/203.06 c 203s| 75300 | 40 | 1396k| 18.5 | 10M| 53 | 38 | 231 | 10k| 231 |2453 | 17 | 48k|5313 | 0.000000e+00 | -- | Inf
203.25/203.31 c 203s| 75400 | 40 | 1398k| 18.5 | 10M| 53 | - | 231 | 10k| 0 | 0 | 17 | 48k|5314 | 0.000000e+00 | -- | Inf
203.45/203.54 c 204s| 75500 | 39 | 1400k| 18.5 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 48k|5314 | 0.000000e+00 | -- | Inf
203.65/203.78 c 204s| 75600 | 39 | 1402k| 18.5 | 10M| 53 | 19 | 231 | 10k| 231 |2453 | 17 | 48k|5314 | 0.000000e+00 | -- | Inf
203.95/204.02 c 204s| 75700 | 41 | 1404k| 18.5 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 48k|5314 | 0.000000e+00 | -- | Inf
204.15/204.25 c 204s| 75800 | 38 | 1406k| 18.5 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 48k|5314 | 0.000000e+00 | -- | Inf
204.45/204.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
204.45/204.53 c 205s| 75900 | 32 | 1408k| 18.6 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 48k|5314 | 0.000000e+00 | -- | Inf
204.74/204.80 c 205s| 76000 | 32 | 1410k| 18.6 | 10M| 53 | 34 | 231 | 10k| 231 |2453 | 17 | 48k|5314 | 0.000000e+00 | -- | Inf
204.95/205.04 c 205s| 76100 | 30 | 1412k| 18.6 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 48k|5314 | 0.000000e+00 | -- | Inf
205.25/205.30 c 205s| 76200 | 28 | 1414k| 18.6 | 10M| 53 | 30 | 231 | 10k| 231 |2453 | 17 | 48k|5314 | 0.000000e+00 | -- | Inf
205.45/205.53 c 206s| 76300 | 27 | 1416k| 18.6 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 49k|5314 | 0.000000e+00 | -- | Inf
205.66/205.77 c 206s| 76400 | 25 | 1417k| 18.6 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 49k|5314 | 0.000000e+00 | -- | Inf
205.95/206.03 c 206s| 76500 | 24 | 1419k| 18.6 |9931k| 53 | - | 231 | 10k| 231 |2453 | 17 | 49k|5314 | 0.000000e+00 | -- | Inf
206.15/206.27 c 206s| 76600 | 28 | 1421k| 18.6 |9901k| 53 | - | 231 | 10k| 231 |2453 | 17 | 49k|5314 | 0.000000e+00 | -- | Inf
206.45/206.51 c 207s| 76700 | 26 | 1423k| 18.6 |9885k| 53 | - | 231 | 10k| 231 |2453 | 17 | 49k|5314 | 0.000000e+00 | -- | Inf
206.65/206.76 c 207s| 76800 | 26 | 1425k| 18.6 |9888k| 53 | 44 | 231 | 10k| 231 |2453 | 17 | 49k|5314 | 0.000000e+00 | -- | Inf
206.95/207.03 c 207s| 76900 | 26 | 1427k| 18.6 |9877k| 53 | 36 | 231 | 10k| 231 |2453 | 17 | 49k|5314 | 0.000000e+00 | -- | Inf
207.15/207.27 c 207s| 77000 | 26 | 1429k| 18.6 |9880k| 53 | 37 | 231 | 10k| 231 |2453 | 17 | 49k|5314 | 0.000000e+00 | -- | Inf
207.45/207.52 c 208s| 77100 | 25 | 1431k| 18.6 |9867k| 53 | 47 | 231 | 10k| 231 |2453 | 17 | 49k|5314 | 0.000000e+00 | -- | Inf
207.65/207.77 c 208s| 77200 | 21 | 1433k| 18.6 |9842k| 53 | - | 231 | 10k| 231 |2453 | 17 | 49k|5314 | 0.000000e+00 | -- | Inf
207.95/208.04 c 208s| 77300 | 20 | 1435k| 18.6 |9839k| 53 | - | 231 | 10k| 231 |2453 | 17 | 49k|5314 | 0.000000e+00 | -- | Inf
208.15/208.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
208.15/208.28 c 208s| 77400 | 23 | 1437k| 18.6 |9856k| 53 | 35 | 231 | 10k| 231 |2453 | 17 | 49k|5314 | 0.000000e+00 | -- | Inf
208.45/208.55 c 209s| 77500 | 17 | 1438k| 18.6 |9837k| 53 | 55 | 231 | 10k| 231 |2453 | 17 | 49k|5324 | 0.000000e+00 | -- | Inf
208.65/208.78 c 209s| 77600 | 14 | 1440k| 18.6 |9801k| 53 | - | 231 | 10k| 231 |2453 | 17 | 49k|5324 | 0.000000e+00 | -- | Inf
208.95/209.06 c 209s| 77700 | 14 | 1442k| 18.6 |9790k| 53 | 37 | 231 | 10k| 231 |2453 | 17 | 49k|5332 | 0.000000e+00 | -- | Inf
209.25/209.34 c 209s| 77800 | 9 | 1444k| 18.6 |9756k| 53 | - | 231 | 10k| 231 |2453 | 17 | 49k|5339 | 0.000000e+00 | -- | Inf
209.55/209.62 c 210s| 77900 | 7 | 1446k| 18.6 |9750k| 53 | - | 231 | 10k| 231 |2453 | 17 | 49k|5343 | 0.000000e+00 | -- | Inf
209.85/209.91 c 210s| 78000 | 6 | 1448k| 18.6 |9724k| 53 | 38 | 231 | 10k| 231 |2453 | 17 | 50k|5353 | 0.000000e+00 | -- | Inf
210.15/210.20 c 210s| 78100 | 3 | 1450k| 18.6 |9728k| 53 | - | 231 | 10k| 231 |2453 | 17 | 50k|5364 | 0.000000e+00 | -- | Inf
210.34/210.44 c 210s| 78200 | 1 | 1452k| 18.6 |9734k| 53 | - | 231 | 10k| 231 |2453 | 17 | 50k|5364 | 0.000000e+00 | -- | Inf
210.45/210.56 c
210.45/210.56 c SCIP Status : problem is solved [infeasible]
210.45/210.56 c Solving Time (sec) : 210.56
210.45/210.56 c Solving Nodes : 78237
210.45/210.56 c Primal Bound : +1.00000000000000e+20 (0 solutions)
210.45/210.56 c Dual Bound : +1.00000000000000e+20
210.45/210.56 c Gap : 0.00 %
210.45/210.56 s UNSATISFIABLE
210.45/210.56 c SCIP Status : problem is solved [infeasible]
210.45/210.56 c Total Time : 210.56
210.45/210.56 c solving : 210.56
210.45/210.56 c presolving : 0.05 (included in solving)
210.45/210.56 c reading : 0.01 (included in solving)
210.45/210.56 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
210.45/210.56 c Original Problem :
210.45/210.56 c Problem name : HOME/instance-3690414-1338016937.opb
210.45/210.56 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
210.45/210.56 c Constraints : 2707 initial, 2707 maximal
210.45/210.56 c Objective sense : minimize
210.45/210.56 c Presolved Problem :
210.45/210.56 c Problem name : t_HOME/instance-3690414-1338016937.opb
210.45/210.56 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
210.45/210.56 c Constraints : 2443 initial, 11759 maximal
210.45/210.56 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
210.45/210.56 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
210.45/210.56 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
210.45/210.56 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
210.45/210.56 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
210.45/210.56 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
210.45/210.56 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
210.45/210.56 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
210.45/210.56 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
210.45/210.56 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
210.45/210.56 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
210.45/210.56 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
210.45/210.56 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0
210.45/210.56 c setppc : 0.00 0.00 0 0 0 0 0 121 0 0 0
210.45/210.56 c linear : 0.02 0.00 0 0 0 0 0 143 0 0 0
210.45/210.56 c logicor : 0.02 0.00 0 0 0 0 0 0 0 0 0
210.45/210.56 c root node : - - 2 - - 2 - - - - -
210.45/210.56 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
210.45/210.56 c integral : 0 0 0 0 40687 0 1 0 160 1977 0 0 79086
210.45/210.56 c knapsack : 1 1 5 303954 0 0 0 34529 719 185306 0 0 0
210.45/210.56 c setppc : 22 22 5 303550 0 0 0 838719 2615 426962 0 0 0
210.45/210.56 c linear : 0+ 250 5 229145 0 0 0 467 5 6335 0 0 0
210.45/210.56 c logicor : 2420+ 11733 5 147270 0 0 0 278409 809 524637 0 0 0
210.45/210.56 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
210.45/210.56 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
210.45/210.56 c integral : 22.75 0.00 0.00 0.00 22.75 0.00 0.00 0.00
210.45/210.56 c knapsack : 0.45 0.00 0.00 0.42 0.00 0.00 0.00 0.04
210.45/210.56 c setppc : 1.41 0.00 0.00 1.16 0.00 0.00 0.00 0.25
210.45/210.56 c linear : 0.29 0.00 0.00 0.29 0.00 0.00 0.00 0.00
210.45/210.56 c logicor : 6.43 0.00 0.00 6.20 0.00 0.00 0.00 0.22
210.45/210.56 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
210.45/210.56 c Propagators : #Propagate #ResProp Cutoffs DomReds
210.45/210.56 c rootredcost : 0 0 0 0
210.45/210.56 c pseudoobj : 0 0 0 0
210.45/210.56 c vbounds : 0 0 0 0
210.45/210.56 c redcost : 40692 0 0 0
210.45/210.56 c probing : 0 0 0 0
210.45/210.56 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
210.45/210.56 c rootredcost : 0.08 0.00 0.00 0.08 0.00
210.45/210.56 c pseudoobj : 0.08 0.00 0.00 0.08 0.00
210.45/210.56 c vbounds : 0.07 0.00 0.00 0.07 0.00
210.45/210.56 c redcost : 0.18 0.00 0.00 0.18 0.00
210.45/210.56 c probing : 0.00 0.00 0.00 0.00 0.00
210.45/210.56 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
210.45/210.56 c propagation : 0.17 4148 4124 21343 21.5 64 20.1 -
210.45/210.56 c infeasible LP : 3.06 35221 34502 207562 33.1 87 18.3 0
210.45/210.56 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
210.45/210.56 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
210.45/210.56 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
210.45/210.56 c applied globally : - - - 47685 19.0 - - -
210.45/210.56 c applied locally : - - - 2518 33.9 - - -
210.45/210.56 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
210.45/210.56 c cut pool : 0.00 4 - - 302 - (maximal pool size: 516)
210.45/210.56 c closecuts : 0.00 0.00 0 0 0 0 0
210.45/210.56 c impliedbounds : 0.00 0.00 5 0 0 0 0
210.45/210.56 c intobj : 0.00 0.00 0 0 0 0 0
210.45/210.56 c gomory : 0.10 0.00 5 0 0 200 0
210.45/210.56 c cgmip : 0.00 0.00 0 0 0 0 0
210.45/210.56 c strongcg : 0.18 0.00 5 0 0 2500 0
210.45/210.56 c cmir : 0.00 0.00 0 0 0 0 0
210.45/210.56 c flowcover : 0.00 0.00 0 0 0 0 0
210.45/210.56 c clique : 0.00 0.00 5 0 0 0 0
210.45/210.56 c zerohalf : 0.00 0.00 0 0 0 0 0
210.45/210.56 c mcf : 0.00 0.00 1 0 0 0 0
210.45/210.56 c oddcycle : 0.00 0.00 0 0 0 0 0
210.45/210.56 c rapidlearning : 0.10 0.00 1 0 0 0 250
210.45/210.56 c Pricers : ExecTime SetupTime Calls Vars
210.45/210.56 c problem variables: 0.00 - 0 0
210.45/210.56 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
210.45/210.56 c relpscost : 22.71 0.00 40687 160 1977 0 0 79086
210.45/210.56 c pscost : 0.00 0.00 0 0 0 0 0 0
210.45/210.56 c inference : 0.00 0.00 0 0 0 0 0 0
210.45/210.56 c mostinf : 0.00 0.00 0 0 0 0 0 0
210.45/210.56 c leastinf : 0.00 0.00 0 0 0 0 0 0
210.45/210.56 c fullstrong : 0.00 0.00 0 0 0 0 0 0
210.45/210.56 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
210.45/210.56 c random : 0.00 0.00 0 0 0 0 0 0
210.45/210.56 c Primal Heuristics : ExecTime SetupTime Calls Found
210.45/210.56 c LP solutions : 0.00 - - 0
210.45/210.56 c pseudo solutions : 0.00 - - 0
210.45/210.56 c smallcard : 0.00 0.00 0 0
210.45/210.56 c trivial : 0.00 0.00 1 0
210.45/210.56 c shiftandpropagate: 0.00 0.00 0 0
210.45/210.56 c simplerounding : 0.00 0.00 0 0
210.45/210.56 c zirounding : 0.00 0.00 0 0
210.45/210.56 c rounding : 0.00 0.00 0 0
210.45/210.56 c shifting : 0.00 0.00 0 0
210.45/210.56 c intshifting : 0.00 0.00 0 0
210.45/210.56 c oneopt : 0.00 0.00 0 0
210.45/210.56 c twoopt : 0.00 0.00 0 0
210.45/210.56 c indtwoopt : 0.00 0.00 0 0
210.45/210.56 c indoneopt : 0.00 0.00 0 0
210.45/210.56 c fixandinfer : 0.00 0.00 0 0
210.45/210.56 c feaspump : 0.00 0.00 0 0
210.45/210.56 c clique : 0.00 0.00 0 0
210.45/210.56 c indrounding : 0.00 0.00 0 0
210.45/210.56 c indcoefdiving : 0.00 0.00 0 0
210.45/210.56 c coefdiving : 0.00 0.00 0 0
210.45/210.56 c pscostdiving : 0.00 0.00 0 0
210.45/210.56 c nlpdiving : 0.00 0.00 0 0
210.45/210.56 c fracdiving : 0.00 0.00 0 0
210.45/210.56 c veclendiving : 0.00 0.00 0 0
210.45/210.56 c intdiving : 0.00 0.00 0 0
210.45/210.56 c actconsdiving : 0.00 0.00 0 0
210.45/210.56 c objpscostdiving : 0.00 0.00 0 0
210.45/210.56 c rootsoldiving : 0.00 0.00 0 0
210.45/210.56 c linesearchdiving : 0.00 0.00 0 0
210.45/210.56 c guideddiving : 0.00 0.00 0 0
210.45/210.56 c octane : 0.00 0.00 0 0
210.45/210.56 c rens : 0.00 0.00 0 0
210.45/210.56 c rins : 0.00 0.00 0 0
210.45/210.56 c localbranching : 0.00 0.00 0 0
210.45/210.56 c mutation : 0.00 0.00 0 0
210.45/210.56 c crossover : 0.00 0.00 0 0
210.45/210.56 c dins : 0.00 0.00 0 0
210.45/210.56 c vbounds : 0.00 0.00 0 0
210.45/210.56 c undercover : 0.00 0.00 0 0
210.45/210.56 c subnlp : 0.00 0.00 0 0
210.45/210.56 c trysol : 0.00 0.00 0 0
210.45/210.56 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
210.45/210.56 c primal LP : 0.00 1 0 0.00 - 0.00 1
210.45/210.56 c dual LP : 156.28 75913 1452724 19.18 9295.65 0.06 179
210.45/210.56 c lex dual LP : 0.00 0 0 0.00 -
210.45/210.56 c barrier LP : 0.00 0 0 0.00 - 0.00 0
210.45/210.56 c diving/probing LP: 0.00 0 0 0.00 -
210.45/210.56 c strong branching : 22.08 5370 188444 35.09 8533.82
210.45/210.56 c (at root node) : - 11 2979 270.82 -
210.45/210.56 c conflict analysis: 0.00 0 0 0.00 -
210.45/210.56 c B&B Tree :
210.45/210.56 c number of runs : 1
210.45/210.56 c nodes : 78237
210.45/210.56 c nodes (total) : 78237
210.45/210.56 c nodes left : 0
210.45/210.56 c max depth : 53
210.45/210.56 c max depth (total): 53
210.45/210.56 c backtracks : 9894 (12.6%)
210.45/210.56 c delayed cutoffs : 850
210.45/210.56 c repropagations : 124246 (183452 domain reductions, 846 cutoffs)
210.45/210.56 c avg switch length: 5.02
210.45/210.56 c switching time : 7.06
210.45/210.56 c Solution :
210.45/210.56 c Solutions found : 0 (0 improvements)
210.45/210.56 c Primal Bound : infeasible
210.45/210.56 c Dual Bound : -
210.45/210.56 c Gap : 0.00 %
210.45/210.56 c Root Dual Bound : +0.00000000000000e+00
210.45/210.56 c Root Iterations : 146
210.45/210.58 c Time complete: 210.53.
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-3690414-1338016937/watcher-3690414-1338016937 -o /tmp/evaluation-result-3690414-1338016937/solver-3690414-1338016937 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690414-1338016937.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.08 0.02 0.01 2/171 31122
/proc/meminfo: memFree=28730548/32873648 swapFree=7372/7372
[pid=31122] ppid=31120 vsize=10292 CPUtime=0 cores=0,2,4,6
/proc/31122/stat : 31122 (scip-2.1.1.4fix) R 31120 31122 31092 0 -1 4202496 1323 0 0 0 0 0 0 0 20 0 1 0 267819746 10539008 1278 33554432000 4194304 10173063 140736493552560 140736510400184 7141624 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31122/statm: 2573 1278 413 1460 0 1104 0
[startup+0.014423 s]
/proc/loadavg: 0.08 0.02 0.01 2/171 31122
/proc/meminfo: memFree=28730548/32873648 swapFree=7372/7372
[pid=31122] ppid=31120 vsize=14292 CPUtime=0.01 cores=0,2,4,6
/proc/31122/stat : 31122 (scip-2.1.1.4fix) R 31120 31122 31092 0 -1 4202496 2269 0 0 0 1 0 0 0 20 0 1 0 267819746 14635008 2224 33554432000 4194304 10173063 140736493552560 140736510400184 7545739 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31122/statm: 3573 2243 466 1460 0 2104 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 14292
[startup+0.100206 s]
/proc/loadavg: 0.08 0.02 0.01 2/171 31122
/proc/meminfo: memFree=28730548/32873648 swapFree=7372/7372
[pid=31122] ppid=31120 vsize=29504 CPUtime=0.09 cores=0,2,4,6
/proc/31122/stat : 31122 (scip-2.1.1.4fix) R 31120 31122 31092 0 -1 4202496 6542 0 0 0 8 1 0 0 20 0 1 0 267819746 30212096 6200 33554432000 4194304 10173063 140736493552560 140736510400184 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31122/statm: 7376 6200 776 1460 0 5907 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29504
[startup+0.300236 s]
/proc/loadavg: 0.08 0.02 0.01 2/171 31122
/proc/meminfo: memFree=28730548/32873648 swapFree=7372/7372
[pid=31122] ppid=31120 vsize=47168 CPUtime=0.29 cores=0,2,4,6
/proc/31122/stat : 31122 (scip-2.1.1.4fix) R 31120 31122 31092 0 -1 4202496 10705 0 0 0 26 3 0 0 20 0 1 0 267819746 48300032 10361 33554432000 4194304 10173063 140736493552560 140736493547448 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31122/statm: 11792 10361 827 1460 0 10323 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 47168
[startup+0.700181 s]
/proc/loadavg: 0.08 0.02 0.01 2/171 31122
/proc/meminfo: memFree=28730548/32873648 swapFree=7372/7372
[pid=31122] ppid=31120 vsize=47336 CPUtime=0.69 cores=0,2,4,6
/proc/31122/stat : 31122 (scip-2.1.1.4fix) R 31120 31122 31092 0 -1 4202496 10822 0 0 0 66 3 0 0 20 0 1 0 267819746 48472064 10478 33554432000 4194304 10173063 140736493552560 140736493547432 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31122/statm: 11834 10478 830 1460 0 10365 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47336
[startup+1.50018 s]
/proc/loadavg: 0.08 0.02 0.01 2/172 31123
/proc/meminfo: memFree=28692332/32873648 swapFree=7372/7372
[pid=31122] ppid=31120 vsize=47336 CPUtime=1.49 cores=0,2,4,6
/proc/31122/stat : 31122 (scip-2.1.1.4fix) R 31120 31122 31092 0 -1 4202496 10827 0 0 0 145 4 0 0 20 0 1 0 267819746 48472064 10483 33554432000 4194304 10173063 140736493552560 140736493546008 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31122/statm: 11834 10483 835 1460 0 10365 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47336
[startup+3.10019 s]
/proc/loadavg: 0.08 0.02 0.01 2/172 31123
/proc/meminfo: memFree=28691572/32873648 swapFree=7372/7372
[pid=31122] ppid=31120 vsize=47336 CPUtime=3.09 cores=0,2,4,6
/proc/31122/stat : 31122 (scip-2.1.1.4fix) R 31120 31122 31092 0 -1 4202496 10828 0 0 0 303 6 0 0 20 0 1 0 267819746 48472064 10484 33554432000 4194304 10173063 140736493552560 140736493546024 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31122/statm: 11834 10484 836 1460 0 10365 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47336
[startup+6.30018 s]
/proc/loadavg: 0.15 0.03 0.01 2/172 31161
/proc/meminfo: memFree=28690780/32873648 swapFree=7372/7372
[pid=31122] ppid=31120 vsize=47336 CPUtime=6.29 cores=0,2,4,6
/proc/31122/stat : 31122 (scip-2.1.1.4fix) R 31120 31122 31092 0 -1 4202496 10828 0 0 0 620 9 0 0 20 0 1 0 267819746 48472064 10484 33554432000 4194304 10173063 140736493552560 140736493546472 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31122/statm: 11834 10484 836 1460 0 10365 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47336
[startup+12.7001 s]
/proc/loadavg: 0.22 0.05 0.02 3/177 31175
/proc/meminfo: memFree=28621532/32873648 swapFree=7372/7372
[pid=31122] ppid=31120 vsize=47336 CPUtime=12.68 cores=0,2,4,6
/proc/31122/stat : 31122 (scip-2.1.1.4fix) R 31120 31122 31092 0 -1 4202496 10834 0 0 0 1253 15 0 0 20 0 1 0 267819746 48472064 10484 33554432000 4194304 10173063 140736493552560 140736493545784 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31122/statm: 11834 10484 836 1460 0 10365 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 47336
[startup+25.5001 s]
/proc/loadavg: 0.61 0.14 0.05 3/177 31175
/proc/meminfo: memFree=28552536/32873648 swapFree=7372/7372
[pid=31122] ppid=31120 vsize=47336 CPUtime=25.48 cores=0,2,4,6
/proc/31122/stat : 31122 (scip-2.1.1.4fix) R 31120 31122 31092 0 -1 4202496 10836 0 0 0 2513 35 0 0 20 0 1 0 267819746 48472064 10995 33554432000 4194304 10173063 140736493552560 140736493545816 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31122/statm: 11834 10995 836 1460 0 10365 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 47336
[startup+51.1002 s]
/proc/loadavg: 1.09 0.29 0.10 3/177 31175
/proc/meminfo: memFree=28552732/32873648 swapFree=7372/7372
[pid=31122] ppid=31120 vsize=47336 CPUtime=51.07 cores=0,2,4,6
/proc/31122/stat : 31122 (scip-2.1.1.4fix) R 31120 31122 31092 0 -1 4202496 10836 0 0 0 5033 74 0 0 20 0 1 0 267819746 48472064 10995 33554432000 4194304 10173063 140736493552560 140736493545816 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31122/statm: 11834 10995 836 1460 0 10365 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 47336
[startup+102.306 s]
/proc/loadavg: 1.60 0.55 0.19 3/177 31176
/proc/meminfo: memFree=28550240/32873648 swapFree=7372/7372
[pid=31122] ppid=31120 vsize=47336 CPUtime=102.27 cores=0,2,4,6
/proc/31122/stat : 31122 (scip-2.1.1.4fix) R 31120 31122 31092 0 -1 4202496 10836 0 0 0 10073 154 0 0 20 0 1 0 267819746 48472064 10995 33554432000 4194304 10173063 140736493552560 140736493545816 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31122/statm: 11834 10995 836 1460 0 10365 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 47336
[startup+162.3 s]
/proc/loadavg: 1.89 0.83 0.31 3/177 31176
/proc/meminfo: memFree=28549988/32873648 swapFree=7372/7372
[pid=31122] ppid=31120 vsize=47336 CPUtime=162.26 cores=0,2,4,6
/proc/31122/stat : 31122 (scip-2.1.1.4fix) R 31120 31122 31092 0 -1 4202496 10837 0 0 0 15986 240 0 0 20 0 1 0 267819746 48472064 10996 33554432000 4194304 10173063 140736493552560 140736493546280 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31122/statm: 11834 10996 836 1460 0 10365 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 47336
Solver just ended. Dumping a history of the last processes samples
[startup+179.1 s]
/proc/loadavg: 1.91 0.88 0.34 3/177 31176
/proc/meminfo: memFree=28549740/32873648 swapFree=7372/7372
[pid=31122] ppid=31120 vsize=47336 CPUtime=179.06 cores=0,2,4,6
/proc/31122/stat : 31122 (scip-2.1.1.4fix) R 31120 31122 31092 0 -1 4202496 10837 0 0 0 17641 265 0 0 20 0 1 0 267819746 48472064 10996 33554432000 4194304 10173063 140736493552560 140736493545816 8963895 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31122/statm: 11834 10996 836 1460 0 10365 0
Current children cumulated CPU time (s) 179.06
Current children cumulated vsize (KiB) 47336
[startup+191.9 s]
/proc/loadavg: 1.93 0.94 0.36 3/177 31176
/proc/meminfo: memFree=28549744/32873648 swapFree=7372/7372
[pid=31122] ppid=31120 vsize=47336 CPUtime=191.85 cores=0,2,4,6
/proc/31122/stat : 31122 (scip-2.1.1.4fix) R 31120 31122 31092 0 -1 4202496 10837 0 0 0 18902 283 0 0 20 0 1 0 267819746 48472064 10996 33554432000 4194304 10173063 140736493552560 140736493545816 4953507 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31122/statm: 11834 10996 836 1460 0 10365 0
Current children cumulated CPU time (s) 191.85
Current children cumulated vsize (KiB) 47336
[startup+198.3 s]
/proc/loadavg: 1.93 0.96 0.37 3/177 31176
/proc/meminfo: memFree=28549992/32873648 swapFree=7372/7372
[pid=31122] ppid=31120 vsize=47336 CPUtime=198.25 cores=0,2,4,6
/proc/31122/stat : 31122 (scip-2.1.1.4fix) R 31120 31122 31092 0 -1 4202496 10837 0 0 0 19534 291 0 0 20 0 1 0 267819746 48472064 10996 33554432000 4194304 10173063 140736493552560 140736493546008 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31122/statm: 11834 10996 836 1460 0 10365 0
Current children cumulated CPU time (s) 198.25
Current children cumulated vsize (KiB) 47336
[startup+204.7 s]
/proc/loadavg: 1.94 0.99 0.39 3/177 31176
/proc/meminfo: memFree=28549992/32873648 swapFree=7372/7372
[pid=31122] ppid=31120 vsize=47336 CPUtime=204.65 cores=0,2,4,6
/proc/31122/stat : 31122 (scip-2.1.1.4fix) R 31120 31122 31092 0 -1 4202496 10837 0 0 0 20165 300 0 0 20 0 1 0 267819746 48472064 10996 33554432000 4194304 10173063 140736493552560 140736493545816 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31122/statm: 11834 10996 836 1460 0 10365 0
Current children cumulated CPU time (s) 204.65
Current children cumulated vsize (KiB) 47336
[startup+207.907 s]
/proc/loadavg: 1.94 0.99 0.39 3/177 31176
/proc/meminfo: memFree=28550116/32873648 swapFree=7372/7372
[pid=31122] ppid=31120 vsize=47336 CPUtime=207.85 cores=0,2,4,6
/proc/31122/stat : 31122 (scip-2.1.1.4fix) R 31120 31122 31092 0 -1 4202496 10837 0 0 0 20480 305 0 0 20 0 1 0 267819746 48472064 10996 33554432000 4194304 10173063 140736493552560 140736493545544 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31122/statm: 11834 10996 836 1460 0 10365 0
Current children cumulated CPU time (s) 207.85
Current children cumulated vsize (KiB) 47336
[startup+209.5 s]
/proc/loadavg: 1.95 1.01 0.40 3/177 31176
/proc/meminfo: memFree=28550116/32873648 swapFree=7372/7372
[pid=31122] ppid=31120 vsize=47336 CPUtime=209.45 cores=0,2,4,6
/proc/31122/stat : 31122 (scip-2.1.1.4fix) R 31120 31122 31092 0 -1 4202496 10839 0 0 0 20638 307 0 0 20 0 1 0 267819746 48472064 10998 33554432000 4194304 10173063 140736493552560 140736493546200 8963895 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31122/statm: 11834 10998 838 1460 0 10365 0
Current children cumulated CPU time (s) 209.45
Current children cumulated vsize (KiB) 47336
[startup+210.3 s]
/proc/loadavg: 1.95 1.01 0.40 3/177 31176
/proc/meminfo: memFree=28550116/32873648 swapFree=7372/7372
[pid=31122] ppid=31120 vsize=47336 CPUtime=210.25 cores=0,2,4,6
/proc/31122/stat : 31122 (scip-2.1.1.4fix) R 31120 31122 31092 0 -1 4202496 10839 0 0 0 20717 308 0 0 20 0 1 0 267819746 48472064 10998 33554432000 4194304 10173063 140736493552560 140736493545816 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31122/statm: 11834 10998 838 1460 0 10365 0
Current children cumulated CPU time (s) 210.25
Current children cumulated vsize (KiB) 47336
[startup+210.5 s]
/proc/loadavg: 1.95 1.01 0.40 3/177 31176
/proc/meminfo: memFree=28550116/32873648 swapFree=7372/7372
[pid=31122] ppid=31120 vsize=47336 CPUtime=210.45 cores=0,2,4,6
/proc/31122/stat : 31122 (scip-2.1.1.4fix) R 31120 31122 31092 0 -1 4202496 10839 0 0 0 20736 309 0 0 20 0 1 0 267819746 48472064 10998 33554432000 4194304 10173063 140736493552560 140736493545816 7649893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31122/statm: 11834 10998 838 1460 0 10365 0
Current children cumulated CPU time (s) 210.45
Current children cumulated vsize (KiB) 47336
Child status: 0
Real time (s): 210.583
CPU time (s): 210.54
CPU user time (s): 207.447
CPU system time (s): 3.09253
CPU usage (%): 99.9797
Max. virtual memory (cumulated for all children) (KiB): 47336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 207.447
system time used= 3.09253
maximum resident set size= 44004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10844
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 255
runsolver used 0.72089 second user time and 1.71174 second system time
The end