0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3691580-1338022390.opb>
0.00/0.01 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.00/0.01 c problem read in 0.01
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.04 c (round 1) 0 del vars, 143 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs
0.00/0.04 c (round 2) 0 del vars, 143 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.00/0.05 c (round 3) 0 del vars, 264 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.00/0.05 c presolving (4 rounds):
0.00/0.05 c 0 deleted vars, 264 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05 c 242 implications, 22 cliques
0.00/0.05 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2443 constraints
0.00/0.05 c 1 constraints of type <knapsack>
0.00/0.05 c 22 constraints of type <setppc>
0.00/0.05 c 2420 constraints of type <logicor>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.04
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 2.1.1.4
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/time = 1797
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/memory = 13950
0.00/0.05 c
0.00/0.05 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c limits/solutions = 1
0.00/0.05 c
0.00/0.05 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.05 c separating/maxrounds = 1
0.00/0.05 c
0.00/0.05 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c separating/maxroundsroot = 5
0.00/0.05 c
0.00/0.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.05 c # [type: int, range: [1,2], default: 1]
0.00/0.05 c timing/clocktype = 2
0.00/0.05 c
0.00/0.05 c # belongs reading time to solving time?
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c timing/reading = TRUE
0.00/0.05 c
0.00/0.05 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.05 c constraints/knapsack/disaggregation = FALSE
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05 c heuristics/coefdiving/freq = -1
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.05 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.05 c heuristics/crossover/freq = -1
0.00/0.05 c
0.00/0.05 c # number of nodes added to the contingent of the total nodes
0.00/0.05 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.05 c heuristics/crossover/nodesofs = 750
0.00/0.05 c
0.00/0.05 c # number of nodes without incumbent change that heuristic should wait
0.00/0.05 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.05 c heuristics/crossover/nwaitingnodes = 100
0.00/0.05 c
0.00/0.05 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.05 c # [type: real, range: [0,1], default: 0.1]
0.00/0.05 c heuristics/crossover/nodesquot = 0.15
0.00/0.05 c
0.00/0.05 c # minimum percentage of integer variables that have to be fixed
0.00/0.05 c # [type: real, range: [0,1], default: 0.666]
0.00/0.05 c heuristics/crossover/minfixingrate = 0.5
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.05 c heuristics/feaspump/freq = -1
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05 c heuristics/fracdiving/freq = -1
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.05 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05 c heuristics/guideddiving/freq = -1
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.05 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.05 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05 c heuristics/intshifting/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05 c heuristics/linesearchdiving/freq = -1
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.05 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.05 c heuristics/objpscostdiving/freq = -1
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.06 c # [type: real, range: [0,1], default: 0.01]
0.00/0.06 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/oneopt/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/pscostdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c heuristics/rens/freq = -1
0.00/0.06 c
0.00/0.06 c # minimum percentage of integer variables that have to be fixable
0.00/0.06 c # [type: real, range: [0,1], default: 0.5]
0.00/0.06 c heuristics/rens/minfixingrate = 0.3
0.00/0.06 c
0.00/0.06 c # number of nodes added to the contingent of the total nodes
0.00/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.06 c heuristics/rens/nodesofs = 2000
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.06 c heuristics/rootsoldiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.06 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/rounding/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c heuristics/shiftandpropagate/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/shifting/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/simplerounding/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/subnlp/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c heuristics/trivial/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/trysol/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c heuristics/undercover/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/veclendiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/zirounding/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c propagating/probing/maxprerounds = 0
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c separating/cmir/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c separating/flowcover/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c separating/rapidlearning/freq = 0
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/indoneopt/freq = -1
0.00/0.06 c
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c start solving
0.00/0.06 c
0.00/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.00/0.07 c 0.1s| 1 | 0 | 76 | - |4259k| 0 | 36 | 231 |2443 | 231 |2443 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 c 0.2s| 1 | 0 | 90 | - |4680k| 0 | 39 | 231 |2693 | 231 |2450 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.23 c 0.2s| 1 | 0 | 105 | - |5008k| 0 | 45 | 231 |2693 | 231 |2454 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.27 c 0.3s| 1 | 0 | 120 | - |5451k| 0 | 46 | 231 |2693 | 231 |2455 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.31 c 0.3s| 1 | 0 | 139 | - |5895k| 0 | 47 | 231 |2693 | 231 |2457 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.47 c 0.5s| 1 | 0 | 146 | - |6235k| 0 | 51 | 231 |2693 | 231 |2460 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.75 c 0.8s| 1 | 2 | 146 | - |6235k| 0 | 51 | 231 |2693 | 231 |2460 | 17 | 0 | 11 | 0.000000e+00 | -- | Inf
8.39/8.44 c 8.4s| 100 | 14 | 4422 | 43.2 |6391k| 13 | - | 231 |2712 | 231 |2453 | 17 | 19 |1603 | 0.000000e+00 | -- | Inf
9.58/9.67 c 9.7s| 200 | 25 | 6478 | 31.8 |6436k| 22 | 16 | 231 |2752 | 231 |2453 | 17 | 59 |1850 | 0.000000e+00 | -- | Inf
10.09/10.11 c 10.1s| 300 | 23 | 8070 | 26.5 |6460k| 22 | - | 231 |2818 | 231 |2453 | 17 | 125 |1914 | 0.000000e+00 | -- | Inf
10.59/10.64 c 10.6s| 400 | 25 | 10218 | 25.2 |6484k| 22 | 38 | 231 |2877 | 231 |2453 | 17 | 184 |1980 | 0.000000e+00 | -- | Inf
10.89/10.91 c 10.9s| 500 | 25 | 11721 | 23.2 |6517k| 22 | - | 231 |2938 | 0 | 0 | 17 | 245 |2000 | 0.000000e+00 | -- | Inf
11.18/11.23 c 11.2s| 600 | 25 | 13358 | 22.1 |6537k| 23 | - | 231 |2994 | 0 | 0 | 17 | 303 |2031 | 0.000000e+00 | -- | Inf
11.38/11.43 c 11.4s| 700 | 27 | 14803 | 21.0 |6557k| 23 | 24 | 231 |3053 | 231 |2453 | 17 | 362 |2032 | 0.000000e+00 | -- | Inf
11.58/11.62 c 11.6s| 800 | 26 | 16026 | 19.9 |6588k| 27 | - | 231 |3121 | 0 | 0 | 17 | 433 |2040 | 0.000000e+00 | -- | Inf
11.88/11.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.88/11.92 c 11.9s| 900 | 24 | 17674 | 19.5 |6612k| 28 | 28 | 231 |3192 | 231 |2453 | 17 | 508 |2063 | 0.000000e+00 | -- | Inf
12.09/12.17 c 12.2s| 1000 | 28 | 19027 | 18.9 |6628k| 28 | 24 | 231 |3250 | 231 |2453 | 17 | 566 |2081 | 0.000000e+00 | -- | Inf
12.29/12.37 c 12.4s| 1100 | 26 | 20434 | 18.5 |6653k| 28 | 38 | 231 |3332 | 231 |2453 | 17 | 649 |2087 | 0.000000e+00 | -- | Inf
12.58/12.60 c 12.6s| 1200 | 26 | 22024 | 18.2 |6681k| 28 | - | 231 |3385 | 231 |2453 | 17 | 705 |2092 | 0.000000e+00 | -- | Inf
12.79/12.89 c 12.9s| 1300 | 26 | 23958 | 18.3 |6709k| 28 | - | 231 |3433 | 231 |2453 | 17 | 756 |2105 | 0.000000e+00 | -- | Inf
12.99/13.10 c 13.1s| 1400 | 28 | 25277 | 18.0 |6733k| 28 | 24 | 231 |3490 | 231 |2453 | 17 | 815 |2112 | 0.000000e+00 | -- | Inf
13.38/13.40 c 13.4s| 1500 | 26 | 27123 | 18.0 |6740k| 28 | 35 | 231 |3545 | 231 |2453 | 17 | 874 |2128 | 0.000000e+00 | -- | Inf
13.58/13.61 c 13.6s| 1600 | 25 | 28591 | 17.8 |6763k| 28 | - | 231 |3603 | 231 |2453 | 17 | 938 |2130 | 0.000000e+00 | -- | Inf
13.78/13.81 c 13.8s| 1700 | 29 | 30031 | 17.6 |6794k| 28 | - | 231 |3655 | 231 |2453 | 17 | 998 |2130 | 0.000000e+00 | -- | Inf
13.98/14.05 c 14.0s| 1800 | 25 | 31726 | 17.6 |6802k| 28 | - | 231 |3710 | 231 |2453 | 17 |1064 |2136 | 0.000000e+00 | -- | Inf
14.19/14.26 c 14.3s| 1900 | 25 | 33326 | 17.5 |6816k| 28 | 20 | 231 |3759 | 231 |2453 | 17 |1122 |2138 | 0.000000e+00 | -- | Inf
14.49/14.50 c 14.5s| 2000 | 28 | 35098 | 17.5 |6844k| 28 | 29 | 231 |3815 | 231 |2453 | 17 |1185 |2141 | 0.000000e+00 | -- | Inf
14.68/14.75 c 14.7s| 2100 | 27 | 36945 | 17.5 |6868k| 28 | 30 | 231 |3882 | 231 |2453 | 17 |1258 |2143 | 0.000000e+00 | -- | Inf
14.89/14.97 c 15.0s| 2200 | 27 | 38674 | 17.5 |6888k| 28 | 31 | 231 |3943 | 231 |2453 | 17 |1328 |2143 | 0.000000e+00 | -- | Inf
15.08/15.18 c 15.2s| 2300 | 21 | 40276 | 17.5 |6901k| 28 | - | 231 |4000 | 231 |2453 | 17 |1398 |2143 | 0.000000e+00 | -- | Inf
15.39/15.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.39/15.42 c 15.4s| 2400 | 22 | 42019 | 17.5 |6920k| 28 | 29 | 231 |4049 | 231 |2453 | 17 |1475 |2146 | 0.000000e+00 | -- | Inf
15.59/15.64 c 15.6s| 2500 | 20 | 43884 | 17.5 |6936k| 28 | 31 | 231 |4101 | 231 |2453 | 17 |1530 |2146 | 0.000000e+00 | -- | Inf
15.88/15.96 c 16.0s| 2600 | 21 | 45902 | 17.6 |6952k| 28 | 35 | 231 |4142 | 231 |2453 | 17 |1595 |2164 | 0.000000e+00 | -- | Inf
16.29/16.32 c 16.3s| 2700 | 21 | 48075 | 17.8 |6969k| 28 | 35 | 231 |4196 | 231 |2453 | 17 |1667 |2188 | 0.000000e+00 | -- | Inf
16.58/16.61 c 16.6s| 2800 | 21 | 50007 | 17.8 |6989k| 28 | 32 | 231 |4242 | 231 |2453 | 17 |1744 |2199 | 0.000000e+00 | -- | Inf
16.78/16.89 c 16.9s| 2900 | 23 | 51616 | 17.8 |7014k| 28 | 37 | 231 |4293 | 231 |2453 | 17 |1810 |2215 | 0.000000e+00 | -- | Inf
17.09/17.19 c 17.2s| 3000 | 28 | 53544 | 17.8 |7044k| 28 | 38 | 231 |4342 | 231 |2453 | 17 |1866 |2231 | 0.000000e+00 | -- | Inf
17.38/17.42 c 17.4s| 3100 | 31 | 55233 | 17.8 |7074k| 29 | - | 231 |4398 | 231 |2453 | 17 |1936 |2235 | 0.000000e+00 | -- | Inf
17.58/17.67 c 17.7s| 3200 | 23 | 57137 | 17.8 |7080k| 29 | - | 231 |4456 | 231 |2453 | 17 |2004 |2236 | 0.000000e+00 | -- | Inf
17.88/17.94 c 17.9s| 3300 | 29 | 59088 | 17.9 |7121k| 29 | 17 | 231 |4518 | 231 |2453 | 17 |2086 |2245 | 0.000000e+00 | -- | Inf
18.08/18.14 c 18.1s| 3400 | 28 | 60554 | 17.8 |7140k| 29 | - | 231 |4586 | 231 |2453 | 17 |2156 |2246 | 0.000000e+00 | -- | Inf
18.28/18.38 c 18.4s| 3500 | 34 | 62477 | 17.8 |7184k| 29 | - | 231 |4652 | 231 |2453 | 17 |2225 |2248 | 0.000000e+00 | -- | Inf
18.59/18.63 c 18.6s| 3600 | 36 | 64349 | 17.8 |7221k| 29 | - | 231 |4727 | 231 |2453 | 17 |2303 |2250 | 0.000000e+00 | -- | Inf
18.78/18.86 c 18.9s| 3700 | 37 | 66123 | 17.8 |7250k| 29 | - | 231 |4796 | 231 |2453 | 17 |2373 |2250 | 0.000000e+00 | -- | Inf
19.09/19.10 c 19.1s| 3800 | 36 | 68122 | 17.9 |7279k| 30 | - | 231 |4865 | 0 | 0 | 17 |2445 |2250 | 0.000000e+00 | -- | Inf
19.28/19.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.28/19.32 c 19.3s| 3900 | 32 | 69711 | 17.8 |7291k| 30 | 36 | 231 |4942 | 231 |2453 | 17 |2523 |2251 | 0.000000e+00 | -- | Inf
19.48/19.56 c 19.6s| 4000 | 33 | 71422 | 17.8 |7329k| 30 | - | 231 |4995 | 231 |2453 | 17 |2592 |2255 | 0.000000e+00 | -- | Inf
19.79/19.82 c 19.8s| 4100 | 33 | 73317 | 17.9 |7337k| 30 | 31 | 231 |5032 | 231 |2453 | 17 |2654 |2259 | 0.000000e+00 | -- | Inf
19.98/20.07 c 20.1s| 4200 | 29 | 75307 | 17.9 |7340k| 30 | 47 | 231 |5063 | 231 |2453 | 17 |2715 |2259 | 0.000000e+00 | -- | Inf
20.29/20.32 c 20.3s| 4300 | 33 | 77186 | 17.9 |7376k| 30 | - | 231 |5090 | 231 |2453 | 17 |2773 |2261 | 0.000000e+00 | -- | Inf
20.48/20.54 c 20.5s| 4400 | 33 | 78843 | 17.9 |7392k| 30 | - | 231 |5134 | 231 |2453 | 17 |2827 |2262 | 0.000000e+00 | -- | Inf
20.79/20.83 c 20.8s| 4500 | 33 | 80728 | 17.9 |7406k| 30 | - | 231 |5163 | 231 |2453 | 17 |2879 |2271 | 0.000000e+00 | -- | Inf
21.08/21.11 c 21.1s| 4600 | 37 | 82498 | 17.9 |7431k| 30 | 39 | 231 |5194 | 231 |2453 | 17 |2938 |2283 | 0.000000e+00 | -- | Inf
21.38/21.40 c 21.4s| 4700 | 36 | 84343 | 17.9 |7441k| 30 | 27 | 231 |5241 | 231 |2453 | 17 |3005 |2297 | 0.000000e+00 | -- | Inf
21.57/21.66 c 21.7s| 4800 | 36 | 85962 | 17.9 |7470k| 30 | - | 231 |5286 | 231 |2453 | 17 |3062 |2312 | 0.000000e+00 | -- | Inf
21.99/22.00 c 22.0s| 4900 | 34 | 88035 | 17.9 |7462k| 30 | 32 | 231 |5304 | 231 |2453 | 17 |3122 |2332 | 0.000000e+00 | -- | Inf
22.27/22.35 c 22.4s| 5000 | 33 | 90338 | 18.0 |7489k| 30 | - | 231 |5367 | 231 |2453 | 17 |3205 |2347 | 0.000000e+00 | -- | Inf
22.68/22.70 c 22.7s| 5100 | 34 | 92552 | 18.1 |7515k| 30 | - | 231 |5430 | 231 |2453 | 17 |3281 |2367 | 0.000000e+00 | -- | Inf
22.88/22.97 c 23.0s| 5200 | 35 | 94351 | 18.1 |7535k| 30 | 32 | 231 |5478 | 231 |2453 | 17 |3343 |2377 | 0.000000e+00 | -- | Inf
23.17/23.29 c 23.3s| 5300 | 36 | 96376 | 18.2 |7535k| 30 | - | 231 |5482 | 231 |2453 | 17 |3401 |2391 | 0.000000e+00 | -- | Inf
23.48/23.56 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.56 c 23.6s| 5400 | 33 | 98330 | 18.2 |7553k| 30 | - | 231 |5533 | 231 |2453 | 17 |3481 |2395 | 0.000000e+00 | -- | Inf
23.77/23.83 c 23.8s| 5500 | 34 |100373 | 18.2 |7562k| 30 | 31 | 231 |5556 | 231 |2453 | 17 |3549 |2402 | 0.000000e+00 | -- | Inf
23.98/24.06 c 24.1s| 5600 | 36 |102080 | 18.2 |7585k| 30 | 33 | 231 |5611 | 231 |2453 | 17 |3621 |2406 | 0.000000e+00 | -- | Inf
24.28/24.34 c 24.3s| 5700 | 37 |104370 | 18.3 |7596k| 30 | 37 | 231 |5634 | 231 |2453 | 17 |3679 |2408 | 0.000000e+00 | -- | Inf
24.47/24.60 c 24.6s| 5800 | 37 |106494 | 18.3 |7617k| 30 | - | 231 |5674 | 231 |2453 | 17 |3749 |2408 | 0.000000e+00 | -- | Inf
24.78/24.85 c 24.9s| 5900 | 38 |108578 | 18.4 |7640k| 30 | 26 | 231 |5729 | 231 |2453 | 17 |3823 |2409 | 0.000000e+00 | -- | Inf
24.98/25.07 c 25.1s| 6000 | 37 |110439 | 18.4 |7652k| 30 | 42 | 231 |5779 | 231 |2453 | 17 |3885 |2409 | 0.000000e+00 | -- | Inf
25.28/25.30 c 25.3s| 6100 | 38 |112314 | 18.4 |7665k| 33 | - | 231 |5806 | 231 |2453 | 17 |3948 |2409 | 0.000000e+00 | -- | Inf
25.48/25.57 c 25.6s| 6200 | 39 |114557 | 18.5 |7683k| 33 | 29 | 231 |5845 | 231 |2453 | 17 |4018 |2409 | 0.000000e+00 | -- | Inf
25.78/25.83 c 25.8s| 6300 | 42 |116652 | 18.5 |7702k| 33 | 35 | 231 |5880 | 231 |2453 | 17 |4079 |2409 | 0.000000e+00 | -- | Inf
25.97/26.04 c 26.0s| 6400 | 42 |118316 | 18.5 |7722k| 33 | 38 | 231 |5931 | 231 |2453 | 17 |4142 |2409 | 0.000000e+00 | -- | Inf
26.18/26.29 c 26.3s| 6500 | 46 |120430 | 18.5 |7759k| 33 | - | 231 |5984 | 231 |2453 | 17 |4203 |2409 | 0.000000e+00 | -- | Inf
26.47/26.52 c 26.5s| 6600 | 48 |122283 | 18.5 |7780k| 33 | 36 | 231 |6039 | 231 |2453 | 17 |4261 |2409 | 0.000000e+00 | -- | Inf
26.78/26.88 c 26.9s| 6700 | 44 |124628 | 18.6 |7796k| 33 | 38 | 231 |6106 | 231 |2453 | 17 |4332 |2425 | 0.000000e+00 | -- | Inf
27.08/27.18 c 27.2s| 6800 | 41 |126630 | 18.6 |7818k| 33 | 28 | 231 |6169 | 231 |2453 | 17 |4406 |2438 | 0.000000e+00 | -- | Inf
27.48/27.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.48/27.52 c 27.5s| 6900 | 37 |128698 | 18.6 |7836k| 33 | - | 231 |6216 | 0 | 0 | 17 |4474 |2459 | 0.000000e+00 | -- | Inf
27.77/27.81 c 27.8s| 7000 | 36 |130658 | 18.6 |7856k| 33 | 29 | 231 |6268 | 231 |2453 | 17 |4557 |2468 | 0.000000e+00 | -- | Inf
27.98/28.07 c 28.1s| 7100 | 36 |132426 | 18.6 |7877k| 33 | - | 231 |6290 | 231 |2453 | 17 |4618 |2476 | 0.000000e+00 | -- | Inf
28.28/28.37 c 28.4s| 7200 | 39 |134119 | 18.6 |7907k| 33 | 22 | 231 |6328 | 231 |2453 | 17 |4699 |2492 | 0.000000e+00 | -- | Inf
28.58/28.62 c 28.6s| 7300 | 36 |135828 | 18.6 |7926k| 33 | 35 | 231 |6396 | 231 |2453 | 17 |4787 |2503 | 0.000000e+00 | -- | Inf
28.88/28.91 c 28.9s| 7400 | 35 |137620 | 18.6 |7950k| 33 | - | 231 |6451 | 231 |2453 | 17 |4854 |2518 | 0.000000e+00 | -- | Inf
29.17/29.20 c 29.2s| 7500 | 35 |139475 | 18.6 |7970k| 34 | - | 231 |6505 | 0 | 0 | 17 |4928 |2534 | 0.000000e+00 | -- | Inf
29.47/29.51 c 29.5s| 7600 | 35 |141208 | 18.6 |7985k| 39 | 25 | 231 |6551 | 231 |2453 | 17 |4988 |2555 | 0.000000e+00 | -- | Inf
29.78/29.82 c 29.8s| 7700 | 37 |143373 | 18.6 |7997k| 39 | 36 | 231 |6511 | 231 |2453 | 17 |5045 |2564 | 0.000000e+00 | -- | Inf
30.08/30.12 c 30.1s| 7800 | 37 |145290 | 18.6 |8006k| 39 | - | 231 |6511 | 0 | 0 | 17 |5112 |2577 | 0.000000e+00 | -- | Inf
30.37/30.42 c 30.4s| 7900 | 41 |147408 | 18.6 |8021k| 39 | 44 | 231 |6505 | 231 |2453 | 17 |5169 |2586 | 0.000000e+00 | -- | Inf
30.68/30.74 c 30.7s| 8000 | 51 |149767 | 18.7 |8053k| 39 | 19 | 231 |6516 | 231 |2453 | 17 |5222 |2595 | 0.000000e+00 | -- | Inf
30.87/30.93 c 30.9s| 8100 | 50 |151026 | 18.6 |8079k| 39 | - | 231 |6579 | 231 |2453 | 17 |5292 |2597 | 0.000000e+00 | -- | Inf
31.07/31.15 c 31.1s| 8200 | 53 |152581 | 18.6 |8105k| 39 | - | 231 |6624 | 231 |2453 | 17 |5356 |2601 | 0.000000e+00 | -- | Inf
31.28/31.36 c 31.4s| 8300 | 58 |154091 | 18.5 |8125k| 39 | 32 | 231 |6664 | 231 |2453 | 17 |5415 |2602 | 0.000000e+00 | -- | Inf
31.48/31.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.48/31.56 c 31.6s| 8400 | 53 |155383 | 18.5 |8123k| 39 | 45 | 231 |6703 | 231 |2453 | 17 |5470 |2604 | 0.000000e+00 | -- | Inf
31.67/31.79 c 31.8s| 8500 | 59 |157170 | 18.5 |8151k| 39 | 32 | 231 |6725 | 231 |2453 | 17 |5524 |2605 | 0.000000e+00 | -- | Inf
31.98/32.10 c 32.1s| 8600 | 77 |159636 | 18.5 |8192k| 39 | 44 | 231 |6698 | 231 |2453 | 17 |5566 |2607 | 0.000000e+00 | -- | Inf
32.27/32.35 c 32.4s| 8700 | 89 |161609 | 18.6 |8228k| 39 | - | 231 |6713 | 231 |2453 | 17 |5622 |2610 | 0.000000e+00 | -- | Inf
32.58/32.60 c 32.6s| 8800 | 89 |163599 | 18.6 |8244k| 39 | 37 | 231 |6738 | 231 |2453 | 17 |5684 |2610 | 0.000000e+00 | -- | Inf
32.77/32.83 c 32.8s| 8900 | 87 |165445 | 18.6 |8255k| 39 | - | 231 |6761 | 231 |2453 | 17 |5740 |2610 | 0.000000e+00 | -- | Inf
32.98/33.05 c 33.0s| 9000 | 88 |167075 | 18.5 |8281k| 39 | - | 231 |6802 | 231 |2453 | 17 |5801 |2610 | 0.000000e+00 | -- | Inf
33.27/33.30 c 33.3s| 9100 | 91 |169039 | 18.6 |8298k| 39 | 15 | 231 |6833 | 231 |2453 | 17 |5859 |2610 | 0.000000e+00 | -- | Inf
33.48/33.53 c 33.5s| 9200 | 95 |170753 | 18.5 |8334k| 39 | - | 231 |6879 | 231 |2453 | 17 |5931 |2613 | 0.000000e+00 | -- | Inf
33.68/33.72 c 33.7s| 9300 | 98 |172178 | 18.5 |8359k| 39 | 32 | 231 |6942 | 231 |2453 | 17 |5996 |2613 | 0.000000e+00 | -- | Inf
33.87/33.96 c 34.0s| 9400 | 108 |174089 | 18.5 |8393k| 39 | 17 | 231 |6966 | 231 |2453 | 17 |6052 |2613 | 0.000000e+00 | -- | Inf
34.08/34.15 c 34.2s| 9500 | 108 |175486 | 18.5 |8417k| 39 | - | 231 |7009 | 231 |2453 | 17 |6114 |2613 | 0.000000e+00 | -- | Inf
34.27/34.36 c 34.4s| 9600 | 106 |176950 | 18.4 |8418k| 39 | 21 | 231 |7035 | 231 |2453 | 17 |6163 |2613 | 0.000000e+00 | -- | Inf
34.47/34.56 c 34.6s| 9700 | 104 |178473 | 18.4 |8432k| 39 | - | 231 |7066 | 231 |2453 | 17 |6215 |2613 | 0.000000e+00 | -- | Inf
34.78/34.81 c 34.8s| 9800 | 102 |180438 | 18.4 |8452k| 39 | - | 231 |7107 | 231 |2453 | 17 |6284 |2613 | 0.000000e+00 | -- | Inf
34.97/35.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.97/35.05 c 35.0s| 9900 | 106 |182250 | 18.4 |8473k| 39 | - | 231 |7140 | 231 |2453 | 17 |6332 |2613 | 0.000000e+00 | -- | Inf
35.18/35.28 c 35.3s| 10000 | 110 |184114 | 18.4 |8508k| 39 | - | 231 |7189 | 231 |2453 | 17 |6399 |2613 | 0.000000e+00 | -- | Inf
35.48/35.54 c 35.5s| 10100 | 117 |186237 | 18.4 |8541k| 39 | - | 231 |7223 | 231 |2453 | 17 |6456 |2613 | 0.000000e+00 | -- | Inf
35.67/35.77 c 35.8s| 10200 | 118 |187949 | 18.4 |8568k| 39 | 31 | 231 |7282 | 231 |2453 | 17 |6519 |2613 | 0.000000e+00 | -- | Inf
35.97/36.00 c 36.0s| 10300 | 120 |189763 | 18.4 |8605k| 39 | - | 231 |7346 | 0 | 0 | 17 |6594 |2613 | 0.000000e+00 | -- | Inf
36.18/36.21 c 36.2s| 10400 | 122 |191396 | 18.4 |8638k| 39 | - | 231 |7417 | 231 |2453 | 17 |6676 |2613 | 0.000000e+00 | -- | Inf
36.37/36.42 c 36.4s| 10500 | 116 |193023 | 18.4 |8645k| 39 | - | 231 |7476 | 231 |2453 | 17 |6747 |2613 | 0.000000e+00 | -- | Inf
36.57/36.65 c 36.6s| 10600 | 115 |194744 | 18.4 |8668k| 39 | - | 231 |7519 | 231 |2453 | 17 |6804 |2613 | 0.000000e+00 | -- | Inf
36.78/36.84 c 36.8s| 10700 | 112 |196175 | 18.3 |8671k| 39 | 46 | 231 |7563 | 231 |2453 | 17 |6860 |2613 | 0.000000e+00 | -- | Inf
36.97/37.07 c 37.1s| 10800 | 116 |197958 | 18.3 |8708k| 39 | 21 | 231 |7628 | 231 |2453 | 17 |6935 |2613 | 0.000000e+00 | -- | Inf
37.18/37.29 c 37.3s| 10900 | 111 |199645 | 18.3 |8714k| 39 | 44 | 231 |7690 | 231 |2453 | 17 |7014 |2613 | 0.000000e+00 | -- | Inf
37.47/37.53 c 37.5s| 11000 | 111 |201433 | 18.3 |8737k| 39 | 25 | 231 |7734 | 231 |2453 | 17 |7082 |2613 | 0.000000e+00 | -- | Inf
37.67/37.73 c 37.7s| 11100 | 111 |202961 | 18.3 |8758k| 39 | 40 | 231 |7781 | 231 |2453 | 17 |7139 |2613 | 0.000000e+00 | -- | Inf
37.88/37.98 c 38.0s| 11200 | 111 |204845 | 18.3 |8781k| 39 | 31 | 231 |7820 | 231 |2453 | 17 |7205 |2613 | 0.000000e+00 | -- | Inf
38.08/38.17 c 38.2s| 11300 | 110 |206186 | 18.2 |8802k| 39 | - | 231 |7871 | 231 |2453 | 17 |7279 |2613 | 0.000000e+00 | -- | Inf
38.27/38.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.27/38.40 c 38.4s| 11400 | 112 |207921 | 18.2 |8830k| 39 | 23 | 231 |7929 | 231 |2453 | 17 |7359 |2613 | 0.000000e+00 | -- | Inf
38.57/38.65 c 38.7s| 11500 | 112 |209924 | 18.2 |8859k| 39 | - | 231 |7987 | 231 |2453 | 17 |7443 |2613 | 0.000000e+00 | -- | Inf
38.87/38.91 c 38.9s| 11600 | 119 |211957 | 18.3 |8882k| 39 | 38 | 231 |7996 | 231 |2453 | 17 |7495 |2613 | 0.000000e+00 | -- | Inf
39.07/39.16 c 39.2s| 11700 | 123 |213877 | 18.3 |8900k| 39 | 35 | 231 |8017 | 231 |2453 | 17 |7552 |2613 | 0.000000e+00 | -- | Inf
39.28/39.38 c 39.4s| 11800 | 125 |215595 | 18.3 |8920k| 39 | - | 231 |8041 | 231 |2453 | 17 |7610 |2613 | 0.000000e+00 | -- | Inf
39.58/39.61 c 39.6s| 11900 | 125 |217308 | 18.3 |8927k| 39 | - | 231 |8071 | 231 |2453 | 17 |7677 |2613 | 0.000000e+00 | -- | Inf
39.77/39.84 c 39.8s| 12000 | 125 |219082 | 18.2 |8947k| 39 | - | 231 |8092 | 231 |2453 | 17 |7744 |2613 | 0.000000e+00 | -- | Inf
39.98/40.08 c 40.1s| 12100 | 125 |220982 | 18.3 |8968k| 39 | 23 | 231 |8136 | 231 |2453 | 17 |7828 |2613 | 0.000000e+00 | -- | Inf
40.17/40.29 c 40.3s| 12200 | 127 |222409 | 18.2 |8980k| 39 | 35 | 231 |8156 | 231 |2453 | 17 |7888 |2613 | 0.000000e+00 | -- | Inf
40.47/40.50 c 40.5s| 12300 | 130 |223957 | 18.2 |9012k| 39 | 24 | 231 |8201 | 231 |2453 | 17 |7961 |2613 | 0.000000e+00 | -- | Inf
40.68/40.74 c 40.7s| 12400 | 138 |225814 | 18.2 |9043k| 39 | 44 | 231 |8213 | 231 |2453 | 17 |8021 |2613 | 0.000000e+00 | -- | Inf
40.88/40.98 c 41.0s| 12500 | 134 |227619 | 18.2 |9047k| 39 | 35 | 231 |8255 | 231 |2453 | 17 |8084 |2613 | 0.000000e+00 | -- | Inf
41.17/41.21 c 41.2s| 12600 | 133 |229448 | 18.2 |9073k| 39 | 30 | 231 |8321 | 231 |2453 | 17 |8169 |2613 | 0.000000e+00 | -- | Inf
41.37/41.44 c 41.4s| 12700 | 138 |231199 | 18.2 |9106k| 39 | 45 | 231 |8363 | 231 |2453 | 17 |8231 |2613 | 0.000000e+00 | -- | Inf
41.68/41.71 c 41.7s| 12800 | 134 |233356 | 18.2 |9131k| 39 | - | 231 |8417 | 231 |2453 | 17 |8305 |2613 | 0.000000e+00 | -- | Inf
41.87/41.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.87/41.98 c 42.0s| 12900 | 131 |235534 | 18.2 |9153k| 39 | - | 231 |8481 | 0 | 0 | 17 |8381 |2613 | 0.000000e+00 | -- | Inf
42.17/42.23 c 42.2s| 13000 | 134 |237515 | 18.3 |9168k| 39 | 35 | 231 |8504 | 231 |2453 | 17 |8452 |2613 | 0.000000e+00 | -- | Inf
42.37/42.46 c 42.5s| 13100 | 136 |239251 | 18.3 |9184k| 39 | - | 231 |8509 | 0 | 0 | 17 |8520 |2613 | 0.000000e+00 | -- | Inf
42.57/42.68 c 42.7s| 13200 | 139 |241019 | 18.2 |9195k| 39 | 30 | 231 |8541 | 231 |2453 | 17 |8581 |2613 | 0.000000e+00 | -- | Inf
42.78/42.90 c 42.9s| 13300 | 137 |242859 | 18.3 |9213k| 39 | - | 231 |8596 | 231 |2453 | 17 |8651 |2613 | 0.000000e+00 | -- | Inf
43.07/43.15 c 43.2s| 13400 | 133 |244842 | 18.3 |9216k| 39 | - | 231 |8632 | 231 |2453 | 17 |8716 |2613 | 0.000000e+00 | -- | Inf
43.28/43.39 c 43.4s| 13500 | 133 |246536 | 18.3 |9227k| 39 | 16 | 231 |8638 | 231 |2453 | 17 |8786 |2613 | 0.000000e+00 | -- | Inf
43.57/43.65 c 43.7s| 13600 | 133 |248686 | 18.3 |9255k| 39 | - | 231 |8701 | 231 |2453 | 17 |8862 |2613 | 0.000000e+00 | -- | Inf
43.77/43.86 c 43.9s| 13700 | 132 |250341 | 18.3 |9270k| 39 | 30 | 231 |8753 | 231 |2453 | 17 |8942 |2613 | 0.000000e+00 | -- | Inf
44.08/44.11 c 44.1s| 13800 | 131 |252269 | 18.3 |9281k| 39 | - | 231 |8782 | 231 |2453 | 17 |9011 |2613 | 0.000000e+00 | -- | Inf
44.27/44.31 c 44.3s| 13900 | 129 |253805 | 18.3 |9288k| 39 | 48 | 231 |8822 | 231 |2453 | 17 |9089 |2613 | 0.000000e+00 | -- | Inf
44.48/44.56 c 44.6s| 14000 | 126 |255637 | 18.3 |9282k| 39 | - | 231 |8784 | 231 |2453 | 17 |9145 |2613 | 0.000000e+00 | -- | Inf
44.68/44.79 c 44.8s| 14100 | 125 |257433 | 18.2 |9286k| 39 | - | 231 |8789 | 231 |2453 | 17 |9211 |2613 | 0.000000e+00 | -- | Inf
44.98/45.03 c 45.0s| 14200 | 124 |259200 | 18.2 |9284k| 39 | - | 231 |8778 | 0 | 0 | 17 |9280 |2613 | 0.000000e+00 | -- | Inf
45.27/45.30 c 45.3s| 14300 | 124 |261385 | 18.3 |9287k| 39 | 41 | 231 |8798 | 231 |2453 | 17 |9341 |2613 | 0.000000e+00 | -- | Inf
45.47/45.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.47/45.59 c 45.6s| 14400 | 128 |263877 | 18.3 |9326k| 39 | - | 231 |8856 | 231 |2453 | 17 |9414 |2613 | 0.000000e+00 | -- | Inf
45.78/45.87 c 45.9s| 14500 | 136 |266157 | 18.3 |9364k| 40 | 30 | 231 |8909 | 231 |2453 | 17 |9480 |2613 | 0.000000e+00 | -- | Inf
46.08/46.13 c 46.1s| 14600 | 130 |268137 | 18.4 |9368k| 40 | 37 | 231 |8913 | 231 |2453 | 17 |9550 |2613 | 0.000000e+00 | -- | Inf
46.27/46.37 c 46.4s| 14700 | 126 |270000 | 18.4 |9367k| 40 | - | 231 |8903 | 231 |2453 | 17 |9612 |2613 | 0.000000e+00 | -- | Inf
46.57/46.60 c 46.6s| 14800 | 129 |271666 | 18.3 |9366k| 40 | 38 | 231 |8840 | 231 |2453 | 17 |9668 |2613 | 0.000000e+00 | -- | Inf
46.77/46.83 c 46.8s| 14900 | 126 |273372 | 18.3 |9349k| 40 | - | 231 |8778 | 231 |2453 | 17 |9736 |2613 | 0.000000e+00 | -- | Inf
46.98/47.09 c 47.1s| 15000 | 124 |275147 | 18.3 |9238k| 40 | 21 | 231 |8501 | 231 |2453 | 17 |9797 |2613 | 0.000000e+00 | -- | Inf
47.28/47.35 c 47.3s| 15100 | 126 |277158 | 18.3 |9219k| 40 | 40 | 231 |8414 | 231 |2453 | 17 |9855 |2613 | 0.000000e+00 | -- | Inf
47.48/47.58 c 47.6s| 15200 | 124 |278913 | 18.3 |9209k| 40 | - | 231 |8384 | 231 |2453 | 17 |9909 |2613 | 0.000000e+00 | -- | Inf
47.77/47.82 c 47.8s| 15300 | 124 |280709 | 18.3 |9211k| 40 | - | 231 |8398 | 231 |2453 | 17 |9966 |2613 | 0.000000e+00 | -- | Inf
47.98/48.07 c 48.1s| 15400 | 124 |282580 | 18.3 |9204k| 40 | 27 | 231 |8384 | 231 |2453 | 17 | 10k|2613 | 0.000000e+00 | -- | Inf
48.17/48.29 c 48.3s| 15500 | 122 |284345 | 18.3 |9201k| 40 | - | 231 |8407 | 231 |2453 | 17 | 10k|2613 | 0.000000e+00 | -- | Inf
48.47/48.56 c 48.6s| 15600 | 124 |286403 | 18.4 |9231k| 40 | - | 231 |8452 | 0 | 0 | 17 | 10k|2613 | 0.000000e+00 | -- | Inf
48.68/48.79 c 48.8s| 15700 | 124 |288177 | 18.3 |9216k| 40 | 20 | 231 |8409 | 231 |2453 | 17 | 10k|2613 | 0.000000e+00 | -- | Inf
48.97/49.04 c 49.0s| 15800 | 124 |290125 | 18.4 |9204k| 40 | - | 231 |8356 | 231 |2453 | 17 | 10k|2613 | 0.000000e+00 | -- | Inf
49.17/49.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
49.17/49.28 c 49.3s| 15900 | 129 |291941 | 18.4 |9195k| 40 | 26 | 231 |8296 | 231 |2453 | 17 | 10k|2613 | 0.000000e+00 | -- | Inf
49.48/49.53 c 49.5s| 16000 | 127 |293805 | 18.4 |9191k| 40 | - | 231 |8269 | 231 |2453 | 17 | 10k|2613 | 0.000000e+00 | -- | Inf
49.67/49.79 c 49.8s| 16100 | 127 |295795 | 18.4 |9172k| 40 | - | 231 |8194 | 231 |2453 | 17 | 10k|2613 | 0.000000e+00 | -- | Inf
49.97/50.03 c 50.0s| 16200 | 126 |297604 | 18.4 |9162k| 40 | - | 231 |8157 | 231 |2453 | 17 | 10k|2613 | 0.000000e+00 | -- | Inf
50.17/50.29 c 50.3s| 16300 | 131 |299594 | 18.4 |9137k| 40 | 12 | 231 |8040 | 231 |2453 | 17 | 10k|2613 | 0.000000e+00 | -- | Inf
50.47/50.53 c 50.5s| 16400 | 133 |301453 | 18.4 |9114k| 40 | - | 231 |7931 | 231 |2453 | 17 | 10k|2613 | 0.000000e+00 | -- | Inf
50.67/50.77 c 50.8s| 16500 | 133 |303214 | 18.4 |9089k| 40 | - | 231 |7846 | 231 |2453 | 17 | 10k|2613 | 0.000000e+00 | -- | Inf
50.97/51.01 c 51.0s| 16600 | 131 |305023 | 18.4 |9049k| 40 | - | 231 |7739 | 231 |2453 | 17 | 10k|2613 | 0.000000e+00 | -- | Inf
51.17/51.21 c 51.2s| 16700 | 132 |306557 | 18.3 |9041k| 40 | 35 | 231 |7724 | 231 |2453 | 17 | 10k|2613 | 0.000000e+00 | -- | Inf
51.38/51.43 c 51.4s| 16800 | 134 |308402 | 18.3 |9061k| 40 | 28 | 231 |7763 | 231 |2453 | 17 | 10k|2613 | 0.000000e+00 | -- | Inf
51.58/51.67 c 51.7s| 16900 | 132 |310291 | 18.4 |9032k| 40 | 32 | 231 |7698 | 231 |2453 | 17 | 10k|2613 | 0.000000e+00 | -- | Inf
51.87/51.93 c 51.9s| 17000 | 132 |312440 | 18.4 |9024k| 40 | - | 231 |7657 | 231 |2453 | 17 | 11k|2613 | 0.000000e+00 | -- | Inf
52.07/52.17 c 52.2s| 17100 | 134 |314409 | 18.4 |9034k| 40 | - | 231 |7645 | 231 |2453 | 17 | 11k|2613 | 0.000000e+00 | -- | Inf
52.38/52.42 c 52.4s| 17200 | 133 |316392 | 18.4 |9028k| 40 | - | 231 |7641 | 231 |2453 | 17 | 11k|2613 | 0.000000e+00 | -- | Inf
52.57/52.67 c 52.7s| 17300 | 135 |318276 | 18.4 |9018k| 40 | 31 | 231 |7625 | 231 |2453 | 17 | 11k|2613 | 0.000000e+00 | -- | Inf
52.87/52.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
52.87/52.94 c 52.9s| 17400 | 128 |320415 | 18.4 |9017k| 40 | - | 231 |7641 | 231 |2453 | 17 | 11k|2613 | 0.000000e+00 | -- | Inf
53.08/53.16 c 53.2s| 17500 | 130 |322037 | 18.4 |8992k| 40 | 39 | 231 |7597 | 231 |2453 | 17 | 11k|2613 | 0.000000e+00 | -- | Inf
53.37/53.40 c 53.4s| 17600 | 129 |323840 | 18.4 |8986k| 40 | 38 | 231 |7593 | 231 |2453 | 17 | 11k|2613 | 0.000000e+00 | -- | Inf
53.57/53.64 c 53.6s| 17700 | 133 |325705 | 18.4 |8985k| 40 | - | 231 |7501 | 231 |2453 | 17 | 11k|2613 | 0.000000e+00 | -- | Inf
53.77/53.88 c 53.9s| 17800 | 129 |327519 | 18.4 |8973k| 40 | - | 231 |7474 | 231 |2453 | 17 | 11k|2613 | 0.000000e+00 | -- | Inf
54.07/54.14 c 54.1s| 17900 | 130 |329523 | 18.4 |8964k| 40 | 40 | 231 |7453 | 231 |2453 | 17 | 11k|2613 | 0.000000e+00 | -- | Inf
54.27/54.36 c 54.4s| 18000 | 129 |331235 | 18.4 |8981k| 40 | 39 | 231 |7496 | 231 |2453 | 17 | 11k|2613 | 0.000000e+00 | -- | Inf
54.57/54.60 c 54.6s| 18100 | 137 |333129 | 18.4 |8989k| 40 | 36 | 231 |7458 | 231 |2453 | 17 | 11k|2613 | 0.000000e+00 | -- | Inf
54.77/54.84 c 54.8s| 18200 | 139 |335076 | 18.4 |8995k| 40 | - | 231 |7435 | 231 |2453 | 17 | 11k|2613 | 0.000000e+00 | -- | Inf
55.07/55.10 c 55.1s| 18300 | 146 |337230 | 18.4 |9013k| 40 | 29 | 231 |7450 | 231 |2453 | 17 | 11k|2613 | 0.000000e+00 | -- | Inf
55.27/55.36 c 55.4s| 18400 | 149 |339339 | 18.4 |9038k| 40 | - | 231 |7472 | 231 |2453 | 17 | 11k|2613 | 0.000000e+00 | -- | Inf
55.47/55.57 c 55.6s| 18500 | 153 |341052 | 18.4 |9068k| 40 | 39 | 231 |7523 | 231 |2453 | 17 | 12k|2613 | 0.000000e+00 | -- | Inf
55.77/55.81 c 55.8s| 18600 | 155 |343075 | 18.4 |9087k| 40 | 41 | 231 |7554 | 231 |2453 | 17 | 12k|2613 | 0.000000e+00 | -- | Inf
55.97/56.06 c 56.1s| 18700 | 151 |345037 | 18.4 |9095k| 43 | - | 231 |7600 | 231 |2453 | 17 | 12k|2613 | 0.000000e+00 | -- | Inf
56.27/56.32 c 56.3s| 18800 | 151 |347254 | 18.5 |9114k| 43 | 35 | 231 |7657 | 231 |2453 | 17 | 12k|2613 | 0.000000e+00 | -- | Inf
56.58/56.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.58/56.60 c 56.6s| 18900 | 148 |349414 | 18.5 |9132k| 43 | 38 | 231 |7721 | 231 |2453 | 17 | 12k|2613 | 0.000000e+00 | -- | Inf
56.77/56.84 c 56.8s| 19000 | 147 |351317 | 18.5 |9151k| 43 | 34 | 231 |7772 | 231 |2453 | 17 | 12k|2613 | 0.000000e+00 | -- | Inf
56.97/57.06 c 57.1s| 19100 | 146 |353005 | 18.5 |9168k| 43 | 35 | 231 |7822 | 231 |2453 | 17 | 12k|2613 | 0.000000e+00 | -- | Inf
57.18/57.27 c 57.3s| 19200 | 142 |354546 | 18.5 |9183k| 43 | - | 231 |7875 | 231 |2453 | 17 | 12k|2613 | 0.000000e+00 | -- | Inf
57.37/57.49 c 57.5s| 19300 | 138 |356207 | 18.4 |9182k| 43 | - | 231 |7900 | 231 |2453 | 17 | 12k|2613 | 0.000000e+00 | -- | Inf
57.67/57.75 c 57.7s| 19400 | 134 |358228 | 18.5 |9174k| 43 | - | 231 |7916 | 231 |2453 | 17 | 12k|2613 | 0.000000e+00 | -- | Inf
57.98/58.00 c 58.0s| 19500 | 133 |360159 | 18.5 |9179k| 43 | - | 231 |7916 | 231 |2453 | 17 | 12k|2613 | 0.000000e+00 | -- | Inf
58.18/58.25 c 58.2s| 19600 | 139 |362144 | 18.5 |9184k| 43 | - | 231 |7875 | 231 |2453 | 17 | 12k|2613 | 0.000000e+00 | -- | Inf
58.37/58.49 c 58.5s| 19700 | 141 |364046 | 18.5 |9194k| 43 | - | 231 |7888 | 231 |2453 | 17 | 12k|2613 | 0.000000e+00 | -- | Inf
58.67/58.78 c 58.8s| 19800 | 139 |366437 | 18.5 |9193k| 43 | 43 | 231 |7898 | 231 |2453 | 17 | 12k|2613 | 0.000000e+00 | -- | Inf
58.97/59.01 c 59.0s| 19900 | 139 |368289 | 18.5 |9209k| 43 | 27 | 231 |7922 | 231 |2453 | 17 | 12k|2613 | 0.000000e+00 | -- | Inf
59.17/59.25 c 59.3s| 20000 | 139 |370165 | 18.5 |9208k| 43 | - | 231 |7906 | 231 |2453 | 17 | 12k|2613 | 0.000000e+00 | -- | Inf
59.38/59.46 c 59.5s| 20100 | 143 |371743 | 18.5 |9220k| 43 | 30 | 231 |7926 | 231 |2453 | 17 | 13k|2613 | 0.000000e+00 | -- | Inf
59.57/59.68 c 59.7s| 20200 | 143 |373442 | 18.5 |9247k| 43 | - | 231 |7985 | 231 |2453 | 17 | 13k|2613 | 0.000000e+00 | -- | Inf
59.87/59.91 c 59.9s| 20300 | 146 |375395 | 18.5 |9270k| 43 | 42 | 231 |8034 | 231 |2453 | 17 | 13k|2613 | 0.000000e+00 | -- | Inf
60.07/60.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.07/60.16 c 60.2s| 20400 | 144 |377372 | 18.5 |9298k| 43 | - | 231 |8094 | 231 |2453 | 17 | 13k|2613 | 0.000000e+00 | -- | Inf
60.37/60.41 c 60.4s| 20500 | 146 |379405 | 18.5 |9300k| 43 | 21 | 231 |8084 | 231 |2453 | 17 | 13k|2613 | 0.000000e+00 | -- | Inf
60.57/60.64 c 60.6s| 20600 | 144 |381102 | 18.5 |9277k| 43 | - | 231 |7995 | 231 |2453 | 17 | 13k|2613 | 0.000000e+00 | -- | Inf
60.77/60.88 c 60.9s| 20700 | 145 |382957 | 18.5 |9270k| 43 | 33 | 231 |7980 | 231 |2453 | 17 | 13k|2613 | 0.000000e+00 | -- | Inf
61.07/61.17 c 61.2s| 20800 | 145 |384710 | 18.5 |9278k| 43 | - | 231 |7994 | 231 |2453 | 17 | 13k|2626 | 0.000000e+00 | -- | Inf
61.37/61.48 c 61.5s| 20900 | 149 |386422 | 18.5 |9289k| 43 | 30 | 231 |7997 | 231 |2453 | 17 | 13k|2645 | 0.000000e+00 | -- | Inf
61.57/61.69 c 61.7s| 21000 | 149 |388008 | 18.5 |9314k| 43 | 41 | 231 |8050 | 231 |2453 | 17 | 13k|2645 | 0.000000e+00 | -- | Inf
61.87/61.95 c 61.9s| 21100 | 143 |389623 | 18.5 |9318k| 43 | 36 | 231 |8105 | 231 |2453 | 17 | 13k|2655 | 0.000000e+00 | -- | Inf
62.17/62.26 c 62.3s| 21200 | 147 |391413 | 18.5 |9337k| 43 | - | 231 |8121 | 231 |2453 | 17 | 13k|2673 | 0.000000e+00 | -- | Inf
62.47/62.52 c 62.5s| 21300 | 146 |393284 | 18.5 |9343k| 43 | 40 | 231 |8152 | 231 |2453 | 17 | 13k|2677 | 0.000000e+00 | -- | Inf
62.77/62.86 c 62.9s| 21400 | 152 |395520 | 18.5 |9375k| 43 | 26 | 231 |8195 | 231 |2453 | 17 | 13k|2695 | 0.000000e+00 | -- | Inf
63.07/63.16 c 63.2s| 21500 | 153 |397464 | 18.5 |9401k| 43 | 40 | 231 |8249 | 231 |2453 | 17 | 13k|2709 | 0.000000e+00 | -- | Inf
63.37/63.42 c 63.4s| 21600 | 149 |399031 | 18.5 |9415k| 43 | 38 | 231 |8304 | 231 |2453 | 17 | 14k|2722 | 0.000000e+00 | -- | Inf
63.68/63.75 c 63.8s| 21700 | 152 |401247 | 18.5 |9445k| 43 | 25 | 231 |8356 | 231 |2453 | 17 | 14k|2738 | 0.000000e+00 | -- | Inf
63.97/64.04 c 64.0s| 21800 | 151 |403091 | 18.5 |9473k| 43 | - | 231 |8416 | 231 |2453 | 17 | 14k|2752 | 0.000000e+00 | -- | Inf
64.27/64.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.27/64.33 c 64.3s| 21900 | 148 |404808 | 18.5 |9493k| 43 | - | 231 |8485 | 231 |2453 | 17 | 14k|2773 | 0.000000e+00 | -- | Inf
64.57/64.63 c 64.6s| 22000 | 147 |406636 | 18.5 |9490k| 43 | - | 231 |8471 | 231 |2453 | 17 | 14k|2790 | 0.000000e+00 | -- | Inf
64.78/64.89 c 64.9s| 22100 | 147 |408282 | 18.5 |9487k| 43 | - | 231 |8463 | 231 |2453 | 17 | 14k|2801 | 0.000000e+00 | -- | Inf
65.07/65.16 c 65.2s| 22200 | 147 |409857 | 18.5 |9483k| 43 | - | 231 |8424 | 231 |2453 | 17 | 14k|2811 | 0.000000e+00 | -- | Inf
65.37/65.48 c 65.5s| 22300 | 144 |411829 | 18.5 |9450k| 43 | - | 231 |8353 | 231 |2453 | 17 | 14k|2826 | 0.000000e+00 | -- | Inf
65.67/65.76 c 65.8s| 22400 | 149 |413761 | 18.5 |9455k| 43 | 36 | 231 |8332 | 231 |2453 | 17 | 14k|2833 | 0.000000e+00 | -- | Inf
65.98/66.02 c 66.0s| 22500 | 148 |415669 | 18.5 |9448k| 43 | 45 | 231 |8298 | 231 |2453 | 17 | 14k|2837 | 0.000000e+00 | -- | Inf
66.17/66.27 c 66.3s| 22600 | 144 |417497 | 18.5 |9437k| 43 | - | 231 |8280 | 231 |2453 | 17 | 14k|2838 | 0.000000e+00 | -- | Inf
66.47/66.51 c 66.5s| 22700 | 146 |419321 | 18.5 |9421k| 43 | - | 231 |8215 | 231 |2453 | 17 | 14k|2839 | 0.000000e+00 | -- | Inf
66.67/66.76 c 66.8s| 22800 | 142 |421276 | 18.5 |9393k| 43 | - | 231 |8163 | 231 |2453 | 17 | 14k|2839 | 0.000000e+00 | -- | Inf
66.97/67.05 c 67.1s| 22900 | 142 |423582 | 18.5 |9365k| 43 | - | 231 |8080 | 231 |2453 | 17 | 14k|2840 | 0.000000e+00 | -- | Inf
67.27/67.33 c 67.3s| 23000 | 142 |425717 | 18.5 |9349k| 43 | - | 231 |8031 | 231 |2453 | 17 | 14k|2842 | 0.000000e+00 | -- | Inf
67.57/67.61 c 67.6s| 23100 | 140 |427877 | 18.5 |9317k| 43 | - | 231 |7950 | 231 |2453 | 17 | 14k|2843 | 0.000000e+00 | -- | Inf
67.77/67.89 c 67.9s| 23200 | 137 |429917 | 18.5 |9264k| 43 | - | 231 |7810 | 231 |2453 | 17 | 15k|2846 | 0.000000e+00 | -- | Inf
68.07/68.12 c 68.1s| 23300 | 135 |431687 | 18.5 |9257k| 43 | - | 231 |7789 | 231 |2453 | 17 | 15k|2846 | 0.000000e+00 | -- | Inf
68.27/68.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
68.27/68.38 c 68.4s| 23400 | 135 |433645 | 18.5 |9244k| 43 | - | 231 |7764 | 231 |2453 | 17 | 15k|2846 | 0.000000e+00 | -- | Inf
68.47/68.58 c 68.6s| 23500 | 135 |435066 | 18.5 |9237k| 43 | 31 | 231 |7753 | 231 |2453 | 17 | 15k|2846 | 0.000000e+00 | -- | Inf
68.77/68.82 c 68.8s| 23600 | 132 |436926 | 18.5 |9225k| 43 | - | 231 |7727 | 231 |2453 | 17 | 15k|2846 | 0.000000e+00 | -- | Inf
68.97/69.07 c 69.1s| 23700 | 131 |438863 | 18.5 |9204k| 43 | 46 | 231 |7705 | 231 |2453 | 17 | 15k|2846 | 0.000000e+00 | -- | Inf
69.27/69.32 c 69.3s| 23800 | 135 |440834 | 18.5 |9204k| 43 | - | 231 |7666 | 231 |2453 | 17 | 15k|2846 | 0.000000e+00 | -- | Inf
69.57/69.60 c 69.6s| 23900 | 129 |443054 | 18.5 |9161k| 43 | 38 | 231 |7661 | 231 |2453 | 17 | 15k|2846 | 0.000000e+00 | -- | Inf
69.77/69.87 c 69.9s| 24000 | 131 |444772 | 18.5 |9161k| 43 | - | 231 |7633 | 231 |2453 | 17 | 15k|2856 | 0.000000e+00 | -- | Inf
70.07/70.19 c 70.2s| 24100 | 130 |446779 | 18.5 |9162k| 43 | - | 231 |7640 | 231 |2453 | 17 | 15k|2870 | 0.000000e+00 | -- | Inf
70.47/70.53 c 70.5s| 24200 | 130 |449083 | 18.6 |9161k| 43 | 34 | 231 |7641 | 231 |2453 | 17 | 15k|2882 | 0.000000e+00 | -- | Inf
70.77/70.80 c 70.8s| 24300 | 132 |450907 | 18.6 |9175k| 43 | 38 | 231 |7659 | 231 |2453 | 17 | 15k|2890 | 0.000000e+00 | -- | Inf
70.97/71.07 c 71.1s| 24400 | 129 |452457 | 18.5 |9200k| 43 | - | 231 |7734 | 231 |2453 | 17 | 15k|2907 | 0.000000e+00 | -- | Inf
71.27/71.34 c 71.3s| 24500 | 135 |454411 | 18.5 |9200k| 43 | 28 | 231 |7695 | 231 |2453 | 17 | 15k|2915 | 0.000000e+00 | -- | Inf
71.57/71.61 c 71.6s| 24600 | 138 |456183 | 18.5 |9212k| 43 | 38 | 231 |7706 | 231 |2453 | 17 | 15k|2929 | 0.000000e+00 | -- | Inf
71.77/71.85 c 71.8s| 24700 | 139 |457709 | 18.5 |9231k| 43 | 33 | 231 |7751 | 231 |2453 | 17 | 15k|2938 | 0.000000e+00 | -- | Inf
72.07/72.12 c 72.1s| 24800 | 136 |459533 | 18.5 |9246k| 43 | 36 | 231 |7800 | 231 |2453 | 17 | 16k|2951 | 0.000000e+00 | -- | Inf
72.37/72.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
72.37/72.41 c 72.4s| 24900 | 138 |461471 | 18.5 |9256k| 43 | 20 | 231 |7802 | 231 |2453 | 17 | 16k|2962 | 0.000000e+00 | -- | Inf
72.57/72.69 c 72.7s| 25000 | 143 |463263 | 18.5 |9276k| 43 | 33 | 231 |7830 | 231 |2453 | 17 | 16k|2976 | 0.000000e+00 | -- | Inf
72.87/72.97 c 73.0s| 25100 | 142 |465102 | 18.5 |9300k| 43 | - | 231 |7895 | 231 |2453 | 17 | 16k|2989 | 0.000000e+00 | -- | Inf
73.07/73.19 c 73.2s| 25200 | 144 |466517 | 18.5 |9323k| 43 | 26 | 231 |7949 | 231 |2453 | 17 | 16k|2996 | 0.000000e+00 | -- | Inf
73.47/73.50 c 73.5s| 25300 | 143 |468654 | 18.5 |9343k| 43 | 28 | 231 |7998 | 231 |2453 | 17 | 16k|3008 | 0.000000e+00 | -- | Inf
73.67/73.79 c 73.8s| 25400 | 146 |470575 | 18.5 |9361k| 43 | - | 231 |8025 | 231 |2453 | 17 | 16k|3020 | 0.000000e+00 | -- | Inf
73.97/74.09 c 74.1s| 25500 | 150 |472577 | 18.5 |9386k| 43 | 35 | 231 |8067 | 231 |2453 | 17 | 16k|3032 | 0.000000e+00 | -- | Inf
74.27/74.37 c 74.4s| 25600 | 155 |474430 | 18.5 |9417k| 43 | 33 | 231 |8109 | 231 |2453 | 17 | 16k|3045 | 0.000000e+00 | -- | Inf
74.56/74.65 c 74.7s| 25700 | 160 |476340 | 18.5 |9439k| 43 | 31 | 231 |8138 | 231 |2453 | 17 | 16k|3054 | 0.000000e+00 | -- | Inf
74.87/74.92 c 74.9s| 25800 | 154 |478497 | 18.5 |9449k| 43 | 35 | 231 |8191 | 231 |2453 | 17 | 16k|3056 | 0.000000e+00 | -- | Inf
75.07/75.17 c 75.2s| 25900 | 156 |480427 | 18.5 |9476k| 43 | - | 231 |8237 | 231 |2453 | 17 | 16k|3058 | 0.000000e+00 | -- | Inf
75.26/75.39 c 75.4s| 26000 | 159 |482165 | 18.5 |9492k| 43 | 30 | 231 |8273 | 231 |2453 | 17 | 16k|3058 | 0.000000e+00 | -- | Inf
75.57/75.62 c 75.6s| 26100 | 158 |483895 | 18.5 |9498k| 43 | 31 | 231 |8287 | 231 |2453 | 17 | 16k|3061 | 0.000000e+00 | -- | Inf
75.77/75.84 c 75.8s| 26200 | 157 |485649 | 18.5 |9506k| 43 | - | 231 |8296 | 231 |2453 | 17 | 16k|3062 | 0.000000e+00 | -- | Inf
75.96/76.08 c 76.1s| 26300 | 156 |487558 | 18.5 |9514k| 44 | - | 231 |8308 | 231 |2453 | 17 | 16k|3062 | 0.000000e+00 | -- | Inf
76.27/76.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.27/76.31 c 76.3s| 26400 | 160 |489502 | 18.5 |9526k| 48 | - | 231 |8338 | 231 |2453 | 17 | 16k|3062 | 0.000000e+00 | -- | Inf
76.47/76.59 c 76.6s| 26500 | 163 |491800 | 18.6 |9545k| 48 | - | 231 |8363 | 231 |2453 | 17 | 17k|3063 | 0.000000e+00 | -- | Inf
76.77/76.82 c 76.8s| 26600 | 173 |493797 | 18.6 |9575k| 48 | 34 | 231 |8380 | 231 |2453 | 17 | 17k|3063 | 0.000000e+00 | -- | Inf
76.97/77.04 c 77.0s| 26700 | 169 |495534 | 18.6 |9578k| 49 | - | 231 |8387 | 231 |2453 | 17 | 17k|3063 | 0.000000e+00 | -- | Inf
77.17/77.28 c 77.3s| 26800 | 171 |497594 | 18.6 |9580k| 49 | 31 | 231 |8398 | 231 |2453 | 17 | 17k|3063 | 0.000000e+00 | -- | Inf
77.47/77.55 c 77.5s| 26900 | 177 |499787 | 18.6 |9610k| 49 | 40 | 231 |8436 | 231 |2453 | 17 | 17k|3063 | 0.000000e+00 | -- | Inf
77.77/77.81 c 77.8s| 27000 | 173 |501964 | 18.6 |9601k| 49 | 43 | 231 |8443 | 231 |2453 | 17 | 17k|3063 | 0.000000e+00 | -- | Inf
77.97/78.07 c 78.1s| 27100 | 174 |504127 | 18.6 |9616k| 49 | 35 | 231 |8470 | 231 |2453 | 17 | 17k|3063 | 0.000000e+00 | -- | Inf
78.26/78.33 c 78.3s| 27200 | 174 |506333 | 18.6 |9641k| 49 | - | 231 |8503 | 231 |2453 | 17 | 17k|3063 | 0.000000e+00 | -- | Inf
78.57/78.65 c 78.6s| 27300 | 175 |508547 | 18.6 |9648k| 49 | 31 | 231 |8530 | 231 |2453 | 17 | 17k|3072 | 0.000000e+00 | -- | Inf
78.86/78.93 c 78.9s| 27400 | 172 |510627 | 18.6 |9654k| 49 | - | 231 |8550 | 231 |2453 | 17 | 17k|3078 | 0.000000e+00 | -- | Inf
79.18/79.22 c 79.2s| 27500 | 174 |512541 | 18.6 |9650k| 49 | - | 231 |8510 | 231 |2453 | 17 | 17k|3088 | 0.000000e+00 | -- | Inf
79.46/79.50 c 79.5s| 27600 | 174 |514195 | 18.6 |9648k| 49 | - | 231 |8496 | 231 |2453 | 17 | 17k|3100 | 0.000000e+00 | -- | Inf
79.67/79.75 c 79.8s| 27700 | 175 |515951 | 18.6 |9667k| 49 | - | 231 |8522 | 231 |2453 | 17 | 17k|3107 | 0.000000e+00 | -- | Inf
79.97/80.08 c 80.1s| 27800 | 180 |518016 | 18.6 |9659k| 49 | 25 | 231 |8476 | 231 |2453 | 17 | 17k|3123 | 0.000000e+00 | -- | Inf
80.27/80.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
80.27/80.33 c 80.3s| 27900 | 181 |519698 | 18.6 |9671k| 49 | 30 | 231 |8498 | 231 |2453 | 17 | 17k|3133 | 0.000000e+00 | -- | Inf
80.57/80.62 c 80.6s| 28000 | 179 |521654 | 18.6 |9682k| 49 | - | 231 |8535 | 231 |2453 | 17 | 17k|3146 | 0.000000e+00 | -- | Inf
80.87/80.97 c 81.0s| 28100 | 173 |523907 | 18.6 |9687k| 49 | - | 231 |8559 | 231 |2453 | 17 | 17k|3163 | 0.000000e+00 | -- | Inf
81.17/81.28 c 81.3s| 28200 | 175 |525891 | 18.6 |9656k| 49 | - | 231 |8457 | 231 |2453 | 17 | 18k|3176 | 0.000000e+00 | -- | Inf
81.47/81.55 c 81.6s| 28300 | 179 |527854 | 18.6 |9651k| 49 | 35 | 231 |8417 | 231 |2453 | 17 | 18k|3183 | 0.000000e+00 | -- | Inf
81.87/81.92 c 81.9s| 28400 | 184 |530190 | 18.7 |9637k| 49 | 29 | 231 |8314 | 231 |2453 | 17 | 18k|3200 | 0.000000e+00 | -- | Inf
82.17/82.25 c 82.2s| 28500 | 184 |532519 | 18.7 |9634k| 49 | - | 231 |8276 | 0 | 0 | 17 | 18k|3212 | 0.000000e+00 | -- | Inf
82.47/82.56 c 82.6s| 28600 | 193 |534648 | 18.7 |9643k| 49 | 35 | 231 |8275 | 231 |2453 | 17 | 18k|3224 | 0.000000e+00 | -- | Inf
82.76/82.86 c 82.9s| 28700 | 194 |536662 | 18.7 |9660k| 49 | 32 | 231 |8309 | 231 |2453 | 17 | 18k|3236 | 0.000000e+00 | -- | Inf
83.17/83.22 c 83.2s| 28800 | 203 |539339 | 18.7 |9686k| 49 | - | 231 |8315 | 231 |2453 | 17 | 18k|3248 | 0.000000e+00 | -- | Inf
83.48/83.55 c 83.6s| 28900 | 199 |541888 | 18.7 |9698k| 49 | 37 | 231 |8371 | 231 |2453 | 17 | 18k|3253 | 0.000000e+00 | -- | Inf
83.77/83.86 c 83.9s| 29000 | 189 |544326 | 18.8 |9704k| 49 | - | 231 |8421 | 231 |2453 | 17 | 18k|3254 | 0.000000e+00 | -- | Inf
84.07/84.14 c 84.1s| 29100 | 182 |546529 | 18.8 |9695k| 49 | - | 231 |8461 | 0 | 0 | 17 | 18k|3255 | 0.000000e+00 | -- | Inf
84.37/84.41 c 84.4s| 29200 | 181 |548579 | 18.8 |9706k| 49 | - | 231 |8513 | 231 |2453 | 17 | 18k|3260 | 0.000000e+00 | -- | Inf
84.57/84.67 c 84.7s| 29300 | 181 |550560 | 18.8 |9714k| 49 | 38 | 231 |8533 | 231 |2453 | 17 | 18k|3262 | 0.000000e+00 | -- | Inf
84.87/84.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
84.87/84.94 c 84.9s| 29400 | 183 |552378 | 18.8 |9639k| 49 | 37 | 231 |8359 | 231 |2453 | 17 | 18k|3267 | 0.000000e+00 | -- | Inf
85.17/85.21 c 85.2s| 29500 | 183 |554387 | 18.8 |9610k| 49 | 38 | 231 |8281 | 231 |2453 | 17 | 18k|3269 | 0.000000e+00 | -- | Inf
85.36/85.44 c 85.4s| 29600 | 184 |556014 | 18.8 |9596k| 49 | 34 | 231 |8220 | 231 |2453 | 17 | 18k|3271 | 0.000000e+00 | -- | Inf
85.56/85.70 c 85.7s| 29700 | 182 |558105 | 18.8 |9587k| 49 | - | 231 |8194 | 231 |2453 | 17 | 18k|3271 | 0.000000e+00 | -- | Inf
85.87/85.95 c 85.9s| 29800 | 180 |560097 | 18.8 |9558k| 50 | - | 231 |8101 | 231 |2453 | 17 | 19k|3271 | 0.000000e+00 | -- | Inf
86.07/86.19 c 86.2s| 29900 | 180 |562082 | 18.8 |9543k| 52 | - | 231 |8056 | 231 |2453 | 17 | 19k|3271 | 0.000000e+00 | -- | Inf
86.37/86.46 c 86.5s| 30000 | 181 |564227 | 18.8 |9540k| 52 | 31 | 231 |8041 | 231 |2453 | 17 | 19k|3272 | 0.000000e+00 | -- | Inf
86.67/86.71 c 86.7s| 30100 | 183 |566150 | 18.8 |9543k| 52 | - | 231 |8010 | 231 |2453 | 17 | 19k|3272 | 0.000000e+00 | -- | Inf
86.87/86.98 c 87.0s| 30200 | 182 |568427 | 18.8 |9520k| 52 | - | 231 |7948 | 231 |2453 | 17 | 19k|3272 | 0.000000e+00 | -- | Inf
87.17/87.26 c 87.3s| 30300 | 182 |570538 | 18.8 |9525k| 52 | - | 231 |7947 | 231 |2453 | 17 | 19k|3274 | 0.000000e+00 | -- | Inf
87.47/87.54 c 87.5s| 30400 | 182 |572689 | 18.8 |9517k| 52 | 36 | 231 |7923 | 231 |2453 | 17 | 19k|3275 | 0.000000e+00 | -- | Inf
87.67/87.75 c 87.7s| 30500 | 183 |574345 | 18.8 |9530k| 52 | 39 | 231 |7947 | 231 |2453 | 17 | 19k|3275 | 0.000000e+00 | -- | Inf
87.97/88.06 c 88.1s| 30600 | 177 |576524 | 18.8 |9506k| 52 | 25 | 231 |7914 | 231 |2453 | 17 | 19k|3285 | 0.000000e+00 | -- | Inf
88.27/88.34 c 88.3s| 30700 | 178 |578613 | 18.8 |9504k| 52 | 34 | 231 |7891 | 231 |2453 | 17 | 19k|3292 | 0.000000e+00 | -- | Inf
88.57/88.67 c 88.7s| 30800 | 178 |580760 | 18.9 |9523k| 52 | - | 231 |7927 | 231 |2453 | 17 | 19k|3308 | 0.000000e+00 | -- | Inf
88.87/88.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
88.87/88.97 c 89.0s| 30900 | 176 |582725 | 18.9 |9538k| 52 | 42 | 231 |7990 | 231 |2453 | 17 | 19k|3322 | 0.000000e+00 | -- | Inf
89.16/89.26 c 89.3s| 31000 | 174 |584641 | 18.9 |9531k| 52 | 42 | 231 |7953 | 231 |2453 | 17 | 19k|3333 | 0.000000e+00 | -- | Inf
89.47/89.58 c 89.6s| 31100 | 170 |586576 | 18.9 |9483k| 52 | - | 231 |7868 | 231 |2453 | 17 | 19k|3351 | 0.000000e+00 | -- | Inf
89.76/89.87 c 89.9s| 31200 | 169 |588474 | 18.9 |9466k| 52 | 46 | 231 |7828 | 231 |2453 | 17 | 19k|3360 | 0.000000e+00 | -- | Inf
90.18/90.21 c 90.2s| 31300 | 173 |590883 | 18.9 |9459k| 52 | 36 | 231 |7770 | 231 |2453 | 17 | 19k|3373 | 0.000000e+00 | -- | Inf
90.47/90.52 c 90.5s| 31400 | 173 |592893 | 18.9 |9438k| 52 | 43 | 231 |7704 | 231 |2453 | 17 | 20k|3386 | 0.000000e+00 | -- | Inf
90.76/90.83 c 90.8s| 31500 | 179 |595183 | 18.9 |9468k| 52 | 35 | 231 |7729 | 231 |2453 | 17 | 20k|3397 | 0.000000e+00 | -- | Inf
91.07/91.10 c 91.1s| 31600 | 179 |597019 | 18.9 |9468k| 52 | 24 | 231 |7726 | 231 |2453 | 17 | 20k|3404 | 0.000000e+00 | -- | Inf
91.27/91.37 c 91.4s| 31700 | 179 |598947 | 18.9 |9473k| 52 | 35 | 231 |7734 | 231 |2453 | 17 | 20k|3415 | 0.000000e+00 | -- | Inf
91.57/91.64 c 91.6s| 31800 | 175 |600769 | 18.9 |9479k| 52 | - | 231 |7760 | 231 |2453 | 17 | 20k|3427 | 0.000000e+00 | -- | Inf
91.86/91.90 c 91.9s| 31900 | 173 |602424 | 18.9 |9474k| 52 | 25 | 231 |7767 | 231 |2453 | 17 | 20k|3436 | 0.000000e+00 | -- | Inf
92.17/92.20 c 92.2s| 32000 | 171 |604278 | 18.9 |9461k| 52 | - | 231 |7723 | 231 |2453 | 17 | 20k|3450 | 0.000000e+00 | -- | Inf
92.46/92.53 c 92.5s| 32100 | 173 |606613 | 18.9 |9460k| 52 | - | 231 |7703 | 231 |2453 | 17 | 20k|3463 | 0.000000e+00 | -- | Inf
92.77/92.84 c 92.8s| 32200 | 173 |608581 | 18.9 |9458k| 52 | 41 | 231 |7698 | 231 |2453 | 17 | 20k|3477 | 0.000000e+00 | -- | Inf
93.06/93.15 c 93.2s| 32300 | 172 |610740 | 18.9 |9474k| 52 | - | 231 |7738 | 231 |2453 | 17 | 20k|3491 | 0.000000e+00 | -- | Inf
93.37/93.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
93.37/93.42 c 93.4s| 32400 | 171 |612536 | 18.9 |9475k| 52 | - | 231 |7738 | 231 |2453 | 17 | 20k|3499 | 0.000000e+00 | -- | Inf
93.66/93.72 c 93.7s| 32500 | 175 |614792 | 18.9 |9501k| 52 | - | 231 |7794 | 231 |2453 | 17 | 20k|3507 | 0.000000e+00 | -- | Inf
93.97/94.01 c 94.0s| 32600 | 171 |616834 | 18.9 |9492k| 52 | - | 231 |7766 | 231 |2453 | 17 | 20k|3514 | 0.000000e+00 | -- | Inf
94.16/94.28 c 94.3s| 32700 | 173 |619095 | 18.9 |9489k| 52 | 39 | 231 |7760 | 231 |2453 | 17 | 20k|3518 | 0.000000e+00 | -- | Inf
94.47/94.57 c 94.6s| 32800 | 171 |621323 | 18.9 |9488k| 52 | - | 231 |7761 | 231 |2453 | 17 | 20k|3522 | 0.000000e+00 | -- | Inf
94.76/94.82 c 94.8s| 32900 | 171 |623112 | 18.9 |9492k| 52 | - | 231 |7753 | 0 | 0 | 17 | 20k|3525 | 0.000000e+00 | -- | Inf
94.96/95.06 c 95.1s| 33000 | 170 |624930 | 18.9 |9498k| 52 | 30 | 231 |7796 | 231 |2453 | 17 | 21k|3525 | 0.000000e+00 | -- | Inf
95.27/95.31 c 95.3s| 33100 | 170 |626946 | 18.9 |9497k| 56 | 37 | 231 |7786 | 231 |2453 | 17 | 21k|3525 | 0.000000e+00 | -- | Inf
95.47/95.55 c 95.6s| 33200 | 166 |628796 | 18.9 |9466k| 56 | 42 | 231 |7731 | 231 |2453 | 17 | 21k|3526 | 0.000000e+00 | -- | Inf
95.76/95.81 c 95.8s| 33300 | 168 |630851 | 18.9 |9444k| 56 | - | 231 |7621 | 231 |2453 | 17 | 21k|3527 | 0.000000e+00 | -- | Inf
95.96/96.05 c 96.1s| 33400 | 168 |632775 | 18.9 |9431k| 56 | 46 | 231 |7584 | 231 |2453 | 17 | 21k|3527 | 0.000000e+00 | -- | Inf
96.27/96.31 c 96.3s| 33500 | 170 |634737 | 18.9 |9444k| 56 | - | 231 |7588 | 231 |2453 | 17 | 21k|3529 | 0.000000e+00 | -- | Inf
96.46/96.55 c 96.5s| 33600 | 168 |636611 | 18.9 |9430k| 56 | 35 | 231 |7563 | 231 |2453 | 17 | 21k|3529 | 0.000000e+00 | -- | Inf
96.67/96.79 c 96.8s| 33700 | 164 |638551 | 18.9 |9402k| 56 | 50 | 231 |7504 | 231 |2453 | 17 | 21k|3529 | 0.000000e+00 | -- | Inf
96.97/97.03 c 97.0s| 33800 | 160 |640465 | 18.9 |9400k| 56 | - | 231 |7510 | 231 |2453 | 17 | 21k|3529 | 0.000000e+00 | -- | Inf
97.26/97.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
97.26/97.32 c 97.3s| 33900 | 166 |642784 | 19.0 |9367k| 56 | 26 | 231 |7349 | 231 |2453 | 17 | 21k|3529 | 0.000000e+00 | -- | Inf
97.46/97.53 c 97.5s| 34000 | 164 |644365 | 18.9 |9378k| 56 | - | 231 |7343 | 0 | 0 | 17 | 21k|3529 | 0.000000e+00 | -- | Inf
97.67/97.75 c 97.8s| 34100 | 169 |646073 | 18.9 |9369k| 56 | 25 | 231 |7314 | 231 |2453 | 17 | 21k|3529 | 0.000000e+00 | -- | Inf
97.87/97.98 c 98.0s| 34200 | 164 |647754 | 18.9 |9376k| 56 | - | 231 |7353 | 231 |2453 | 17 | 21k|3529 | 0.000000e+00 | -- | Inf
98.16/98.20 c 98.2s| 34300 | 159 |649379 | 18.9 |9355k| 56 | 28 | 231 |7358 | 231 |2453 | 17 | 21k|3529 | 0.000000e+00 | -- | Inf
98.36/98.46 c 98.5s| 34400 | 153 |651450 | 18.9 |9329k| 56 | - | 231 |7308 | 231 |2453 | 17 | 21k|3529 | 0.000000e+00 | -- | Inf
98.67/98.75 c 98.8s| 34500 | 153 |653519 | 18.9 |9314k| 56 | 38 | 231 |7293 | 231 |2453 | 17 | 22k|3538 | 0.000000e+00 | -- | Inf
98.97/99.05 c 99.1s| 34600 | 151 |655504 | 18.9 |9310k| 56 | 47 | 231 |7288 | 231 |2453 | 17 | 22k|3547 | 0.000000e+00 | -- | Inf
99.26/99.35 c 99.3s| 34700 | 147 |657453 | 18.9 |9293k| 56 | 46 | 231 |7295 | 231 |2453 | 17 | 22k|3558 | 0.000000e+00 | -- | Inf
99.56/99.65 c 99.6s| 34800 | 148 |659318 | 18.9 |9308k| 56 | 43 | 231 |7326 | 231 |2453 | 17 | 22k|3571 | 0.000000e+00 | -- | Inf
99.86/99.94 c 99.9s| 34900 | 148 |661198 | 18.9 |9309k| 56 | 33 | 231 |7328 | 231 |2453 | 17 | 22k|3583 | 0.000000e+00 | -- | Inf
100.16/100.20 c 100s| 35000 | 146 |663261 | 18.9 |9329k| 56 | - | 231 |7386 | 231 |2453 | 17 | 22k|3585 | 0.000000e+00 | -- | Inf
100.46/100.50 c 100s| 35100 | 150 |665348 | 19.0 |9361k| 56 | - | 231 |7445 | 0 | 0 | 17 | 22k|3600 | 0.000000e+00 | -- | Inf
100.66/100.74 c 101s| 35200 | 147 |666941 | 18.9 |9378k| 56 | - | 231 |7506 | 231 |2453 | 17 | 22k|3608 | 0.000000e+00 | -- | Inf
100.86/100.99 c 101s| 35300 | 150 |668627 | 18.9 |9411k| 56 | - | 231 |7580 | 231 |2453 | 17 | 22k|3618 | 0.000000e+00 | -- | Inf
101.17/101.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
101.17/101.27 c 101s| 35400 | 150 |670510 | 18.9 |9432k| 56 | 38 | 231 |7640 | 231 |2453 | 17 | 22k|3630 | 0.000000e+00 | -- | Inf
101.46/101.56 c 102s| 35500 | 148 |672478 | 18.9 |9452k| 56 | - | 231 |7705 | 231 |2453 | 17 | 22k|3639 | 0.000000e+00 | -- | Inf
101.76/101.88 c 102s| 35600 | 146 |674573 | 18.9 |9475k| 56 | - | 231 |7776 | 231 |2453 | 17 | 22k|3656 | 0.000000e+00 | -- | Inf
102.06/102.17 c 102s| 35700 | 146 |676548 | 18.9 |9484k| 56 | - | 231 |7797 | 231 |2453 | 17 | 22k|3664 | 0.000000e+00 | -- | Inf
102.37/102.44 c 102s| 35800 | 148 |678362 | 18.9 |9488k| 56 | 39 | 231 |7809 | 231 |2453 | 17 | 22k|3672 | 0.000000e+00 | -- | Inf
102.66/102.76 c 103s| 35900 | 148 |680475 | 19.0 |9509k| 56 | - | 231 |7853 | 231 |2453 | 17 | 22k|3686 | 0.000000e+00 | -- | Inf
102.96/103.06 c 103s| 36000 | 149 |682495 | 19.0 |9511k| 56 | - | 231 |7850 | 231 |2453 | 17 | 23k|3696 | 0.000000e+00 | -- | Inf
103.27/103.35 c 103s| 36100 | 147 |684414 | 19.0 |9521k| 56 | - | 231 |7887 | 231 |2453 | 17 | 23k|3706 | 0.000000e+00 | -- | Inf
103.56/103.65 c 104s| 36200 | 145 |686309 | 19.0 |9513k| 56 | - | 231 |7875 | 231 |2453 | 17 | 23k|3718 | 0.000000e+00 | -- | Inf
103.87/103.93 c 104s| 36300 | 146 |688394 | 19.0 |9503k| 56 | 31 | 231 |7843 | 231 |2453 | 17 | 23k|3722 | 0.000000e+00 | -- | Inf
104.06/104.17 c 104s| 36400 | 146 |690086 | 19.0 |9517k| 56 | 31 | 231 |7878 | 231 |2453 | 17 | 23k|3727 | 0.000000e+00 | -- | Inf
104.37/104.43 c 104s| 36500 | 145 |692038 | 19.0 |9522k| 56 | 29 | 231 |7897 | 231 |2453 | 17 | 23k|3731 | 0.000000e+00 | -- | Inf
104.56/104.67 c 105s| 36600 | 143 |693858 | 19.0 |9518k| 56 | - | 231 |7881 | 231 |2453 | 17 | 23k|3731 | 0.000000e+00 | -- | Inf
104.86/104.93 c 105s| 36700 | 142 |695849 | 19.0 |9493k| 56 | 45 | 231 |7835 | 231 |2453 | 17 | 23k|3731 | 0.000000e+00 | -- | Inf
105.06/105.14 c 105s| 36800 | 143 |697439 | 18.9 |9503k| 56 | - | 231 |7846 | 231 |2453 | 17 | 23k|3731 | 0.000000e+00 | -- | Inf
105.26/105.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
105.26/105.38 c 105s| 36900 | 143 |699301 | 18.9 |9496k| 56 | 41 | 231 |7836 | 231 |2453 | 17 | 23k|3731 | 0.000000e+00 | -- | Inf
105.57/105.61 c 106s| 37000 | 142 |700986 | 18.9 |9502k| 56 | 45 | 231 |7857 | 231 |2453 | 17 | 23k|3731 | 0.000000e+00 | -- | Inf
105.77/105.84 c 106s| 37100 | 140 |702774 | 18.9 |9508k| 56 | - | 231 |7891 | 0 | 0 | 17 | 23k|3731 | 0.000000e+00 | -- | Inf
105.96/106.09 c 106s| 37200 | 137 |704723 | 18.9 |9511k| 56 | - | 231 |7919 | 231 |2453 | 17 | 23k|3731 | 0.000000e+00 | -- | Inf
106.26/106.34 c 106s| 37300 | 136 |706766 | 18.9 |9505k| 56 | 42 | 231 |7931 | 231 |2453 | 17 | 23k|3731 | 0.000000e+00 | -- | Inf
106.46/106.58 c 107s| 37400 | 136 |708627 | 18.9 |9512k| 56 | - | 231 |7939 | 231 |2453 | 17 | 23k|3731 | 0.000000e+00 | -- | Inf
106.76/106.81 c 107s| 37500 | 136 |710295 | 18.9 |9524k| 56 | - | 231 |7970 | 231 |2453 | 17 | 23k|3731 | 0.000000e+00 | -- | Inf
106.96/107.04 c 107s| 37600 | 135 |712032 | 18.9 |9516k| 56 | 41 | 231 |7974 | 231 |2453 | 17 | 24k|3731 | 0.000000e+00 | -- | Inf
107.16/107.29 c 107s| 37700 | 137 |713961 | 18.9 |9503k| 56 | 32 | 231 |7940 | 231 |2453 | 17 | 24k|3731 | 0.000000e+00 | -- | Inf
107.46/107.51 c 108s| 37800 | 136 |715695 | 18.9 |9512k| 56 | - | 231 |7953 | 231 |2453 | 17 | 24k|3731 | 0.000000e+00 | -- | Inf
107.66/107.74 c 108s| 37900 | 136 |717478 | 18.9 |9517k| 56 | 45 | 231 |7977 | 231 |2453 | 17 | 24k|3731 | 0.000000e+00 | -- | Inf
107.86/107.97 c 108s| 38000 | 136 |719405 | 18.9 |9529k| 56 | 33 | 231 |8003 | 231 |2453 | 17 | 24k|3731 | 0.000000e+00 | -- | Inf
108.16/108.20 c 108s| 38100 | 137 |721195 | 18.9 |9554k| 56 | - | 231 |8052 | 231 |2453 | 17 | 24k|3731 | 0.000000e+00 | -- | Inf
108.36/108.46 c 108s| 38200 | 136 |723270 | 18.9 |9544k| 56 | 34 | 231 |8055 | 231 |2453 | 17 | 24k|3731 | 0.000000e+00 | -- | Inf
108.56/108.68 c 109s| 38300 | 138 |725002 | 18.9 |9551k| 56 | 24 | 231 |8067 | 231 |2453 | 17 | 24k|3731 | 0.000000e+00 | -- | Inf
108.86/108.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
108.86/108.92 c 109s| 38400 | 136 |726566 | 18.9 |9556k| 56 | 34 | 231 |8087 | 231 |2453 | 17 | 24k|3740 | 0.000000e+00 | -- | Inf
109.06/109.17 c 109s| 38500 | 133 |728219 | 18.9 |9572k| 56 | - | 231 |8134 | 231 |2453 | 17 | 24k|3749 | 0.000000e+00 | -- | Inf
109.36/109.45 c 109s| 38600 | 137 |730181 | 18.9 |9576k| 56 | 37 | 231 |8137 | 231 |2453 | 17 | 24k|3755 | 0.000000e+00 | -- | Inf
109.66/109.76 c 110s| 38700 | 139 |732406 | 18.9 |9590k| 56 | 36 | 231 |8157 | 231 |2453 | 17 | 24k|3763 | 0.000000e+00 | -- | Inf
110.06/110.10 c 110s| 38800 | 138 |734667 | 18.9 |9603k| 56 | 35 | 231 |8206 | 231 |2453 | 17 | 24k|3780 | 0.000000e+00 | -- | Inf
110.36/110.42 c 110s| 38900 | 136 |736886 | 18.9 |9620k| 56 | - | 231 |8259 | 231 |2453 | 17 | 24k|3789 | 0.000000e+00 | -- | Inf
110.66/110.72 c 111s| 39000 | 137 |738818 | 18.9 |9637k| 56 | 38 | 231 |8311 | 231 |2453 | 17 | 24k|3804 | 0.000000e+00 | -- | Inf
110.97/111.01 c 111s| 39100 | 138 |740986 | 18.9 |9662k| 56 | - | 231 |8362 | 231 |2453 | 17 | 24k|3810 | 0.000000e+00 | -- | Inf
111.26/111.34 c 111s| 39200 | 144 |743197 | 19.0 |9701k| 56 | - | 231 |8412 | 231 |2453 | 17 | 25k|3823 | 0.000000e+00 | -- | Inf
111.56/111.66 c 112s| 39300 | 143 |745315 | 19.0 |9708k| 56 | 44 | 231 |8454 | 231 |2453 | 17 | 25k|3836 | 0.000000e+00 | -- | Inf
111.86/111.96 c 112s| 39400 | 140 |747329 | 19.0 |9710k| 56 | - | 231 |8461 | 231 |2453 | 17 | 25k|3846 | 0.000000e+00 | -- | Inf
112.17/112.26 c 112s| 39500 | 140 |749388 | 19.0 |9717k| 56 | 27 | 231 |8488 | 231 |2453 | 17 | 25k|3858 | 0.000000e+00 | -- | Inf
112.46/112.54 c 113s| 39600 | 142 |751327 | 19.0 |9737k| 56 | 25 | 231 |8519 | 231 |2453 | 17 | 25k|3866 | 0.000000e+00 | -- | Inf
112.76/112.83 c 113s| 39700 | 144 |753364 | 19.0 |9754k| 56 | 24 | 231 |8568 | 231 |2453 | 17 | 25k|3876 | 0.000000e+00 | -- | Inf
113.06/113.15 c 113s| 39800 | 140 |755606 | 19.0 |9776k| 56 | - | 231 |8634 | 231 |2453 | 17 | 25k|3889 | 0.000000e+00 | -- | Inf
113.36/113.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
113.36/113.46 c 113s| 39900 | 139 |757890 | 19.0 |9780k| 56 | 42 | 231 |8671 | 231 |2453 | 17 | 25k|3897 | 0.000000e+00 | -- | Inf
113.66/113.79 c 114s| 40000 | 139 |760500 | 19.0 |9799k| 56 | 38 | 231 |8710 | 231 |2453 | 17 | 25k|3903 | 0.000000e+00 | -- | Inf
113.96/114.07 c 114s| 40100 | 138 |762463 | 19.0 |9805k| 56 | 32 | 231 |8727 | 231 |2453 | 17 | 25k|3908 | 0.000000e+00 | -- | Inf
114.27/114.34 c 114s| 40200 | 135 |764538 | 19.0 |9797k| 56 | 37 | 231 |8732 | 231 |2453 | 17 | 25k|3910 | 0.000000e+00 | -- | Inf
114.56/114.61 c 115s| 40300 | 135 |766522 | 19.0 |9801k| 56 | 31 | 231 |8741 | 231 |2453 | 17 | 25k|3914 | 0.000000e+00 | -- | Inf
114.75/114.87 c 115s| 40400 | 133 |768524 | 19.0 |9804k| 56 | - | 231 |8742 | 231 |2453 | 17 | 25k|3915 | 0.000000e+00 | -- | Inf
115.06/115.12 c 115s| 40500 | 134 |770531 | 19.0 |9809k| 56 | 37 | 231 |8762 | 231 |2453 | 17 | 25k|3916 | 0.000000e+00 | -- | Inf
115.36/115.40 c 115s| 40600 | 135 |772875 | 19.0 |9830k| 56 | - | 231 |8797 | 231 |2453 | 17 | 25k|3916 | 0.000000e+00 | -- | Inf
115.56/115.68 c 116s| 40700 | 135 |775065 | 19.0 |9842k| 56 | - | 231 |8843 | 231 |2453 | 17 | 26k|3917 | 0.000000e+00 | -- | Inf
115.86/115.94 c 116s| 40800 | 135 |777128 | 19.0 |9867k| 56 | - | 231 |8890 | 231 |2453 | 17 | 26k|3917 | 0.000000e+00 | -- | Inf
116.16/116.21 c 116s| 40900 | 133 |779306 | 19.1 |9865k| 56 | - | 231 |8901 | 231 |2453 | 17 | 26k|3917 | 0.000000e+00 | -- | Inf
116.36/116.49 c 116s| 41000 | 137 |781435 | 19.1 |9874k| 56 | 39 | 231 |8907 | 231 |2453 | 17 | 26k|3919 | 0.000000e+00 | -- | Inf
116.65/116.74 c 117s| 41100 | 135 |783374 | 19.1 |9884k| 56 | - | 231 |8936 | 231 |2453 | 17 | 26k|3920 | 0.000000e+00 | -- | Inf
116.96/117.00 c 117s| 41200 | 134 |785431 | 19.1 |9896k| 56 | 41 | 231 |8977 | 231 |2453 | 17 | 26k|3920 | 0.000000e+00 | -- | Inf
117.16/117.22 c 117s| 41300 | 132 |787127 | 19.1 |9904k| 56 | - | 231 |9005 | 231 |2453 | 17 | 26k|3920 | 0.000000e+00 | -- | Inf
117.35/117.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
117.35/117.48 c 117s| 41400 | 130 |789137 | 19.1 |9912k| 56 | 20 | 231 |9065 | 231 |2453 | 17 | 26k|3920 | 0.000000e+00 | -- | Inf
117.67/117.76 c 118s| 41500 | 124 |791391 | 19.1 |9896k| 56 | - | 231 |9073 | 231 |2453 | 17 | 26k|3920 | 0.000000e+00 | -- | Inf
117.96/118.05 c 118s| 41600 | 122 |793798 | 19.1 |9892k| 56 | - | 231 |9095 | 231 |2453 | 17 | 26k|3920 | 0.000000e+00 | -- | Inf
118.26/118.32 c 118s| 41700 | 120 |795958 | 19.1 |9887k| 56 | - | 231 |9093 | 231 |2453 | 17 | 26k|3920 | 0.000000e+00 | -- | Inf
118.46/118.58 c 119s| 41800 | 118 |798056 | 19.1 |9879k| 56 | - | 231 |9075 | 231 |2453 | 17 | 26k|3920 | 0.000000e+00 | -- | Inf
118.77/118.84 c 119s| 41900 | 118 |800040 | 19.1 |9868k| 56 | 29 | 231 |9065 | 231 |2453 | 17 | 26k|3920 | 0.000000e+00 | -- | Inf
119.06/119.10 c 119s| 42000 | 119 |801826 | 19.1 |9887k| 56 | 31 | 231 |9110 | 231 |2453 | 17 | 26k|3929 | 0.000000e+00 | -- | Inf
119.26/119.37 c 119s| 42100 | 118 |803757 | 19.1 |9885k| 56 | 38 | 231 |9115 | 231 |2453 | 17 | 26k|3938 | 0.000000e+00 | -- | Inf
119.66/119.71 c 120s| 42200 | 118 |806051 | 19.1 |9888k| 56 | - | 231 |9123 | 231 |2453 | 17 | 26k|3955 | 0.000000e+00 | -- | Inf
119.86/119.98 c 120s| 42300 | 120 |808078 | 19.1 |9897k| 56 | 36 | 231 |9143 | 231 |2453 | 17 | 27k|3959 | 0.000000e+00 | -- | Inf
120.26/120.31 c 120s| 42400 | 114 |810328 | 19.1 |9901k| 56 | - | 231 |9197 | 231 |2453 | 17 | 27k|3969 | 0.000000e+00 | -- | Inf
120.46/120.58 c 121s| 42500 | 114 |811847 | 19.1 |9874k| 56 | - | 231 |9159 | 231 |2453 | 17 | 27k|3982 | 0.000000e+00 | -- | Inf
120.76/120.85 c 121s| 42600 | 113 |813668 | 19.1 |9837k| 56 | 35 | 231 |9083 | 231 |2453 | 17 | 27k|3991 | 0.000000e+00 | -- | Inf
121.06/121.13 c 121s| 42700 | 113 |815603 | 19.1 |9839k| 56 | 32 | 231 |9094 | 231 |2453 | 17 | 27k|4000 | 0.000000e+00 | -- | Inf
121.36/121.43 c 121s| 42800 | 113 |817636 | 19.1 |9843k| 56 | - | 231 |9094 | 231 |2453 | 17 | 27k|4010 | 0.000000e+00 | -- | Inf
121.66/121.72 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.72 c 122s| 42900 | 111 |819841 | 19.1 |9826k| 56 | 41 | 231 |9071 | 231 |2453 | 17 | 27k|4016 | 0.000000e+00 | -- | Inf
121.86/121.99 c 122s| 43000 | 113 |821723 | 19.1 |9844k| 56 | - | 231 |9090 | 231 |2453 | 17 | 27k|4023 | 0.000000e+00 | -- | Inf
122.16/122.28 c 122s| 43100 | 115 |823685 | 19.1 |9855k| 56 | 31 | 231 |9120 | 231 |2453 | 17 | 27k|4033 | 0.000000e+00 | -- | Inf
122.46/122.58 c 123s| 43200 | 114 |825948 | 19.1 |9861k| 56 | - | 231 |9148 | 231 |2453 | 17 | 27k|4040 | 0.000000e+00 | -- | Inf
122.76/122.89 c 123s| 43300 | 114 |828128 | 19.1 |9876k| 56 | - | 231 |9179 | 0 | 0 | 17 | 27k|4053 | 0.000000e+00 | -- | Inf
123.17/123.23 c 123s| 43400 | 111 |830646 | 19.1 |9883k| 56 | - | 231 |9225 | 231 |2453 | 17 | 27k|4062 | 0.000000e+00 | -- | Inf
123.56/123.60 c 124s| 43500 | 114 |833334 | 19.2 |9895k| 56 | 44 | 231 |9247 | 231 |2453 | 17 | 27k|4076 | 0.000000e+00 | -- | Inf
123.76/123.90 c 124s| 43600 | 111 |835299 | 19.2 |9872k| 56 | - | 231 |9224 | 231 |2453 | 17 | 27k|4085 | 0.000000e+00 | -- | Inf
124.06/124.13 c 124s| 43700 | 111 |837097 | 19.2 |9889k| 56 | - | 231 |9261 | 231 |2453 | 17 | 27k|4086 | 0.000000e+00 | -- | Inf
124.26/124.36 c 124s| 43800 | 115 |838695 | 19.1 |9909k| 56 | 32 | 231 |9300 | 231 |2453 | 17 | 27k|4091 | 0.000000e+00 | -- | Inf
124.46/124.60 c 125s| 43900 | 112 |840317 | 19.1 |9920k| 56 | 42 | 231 |9337 | 231 |2453 | 17 | 28k|4094 | 0.000000e+00 | -- | Inf
124.75/124.87 c 125s| 44000 | 110 |842580 | 19.1 |9923k| 56 | 44 | 231 |9360 | 231 |2453 | 17 | 28k|4095 | 0.000000e+00 | -- | Inf
125.06/125.13 c 125s| 44100 | 112 |844548 | 19.1 |9906k| 56 | 36 | 231 |9315 | 231 |2453 | 17 | 28k|4096 | 0.000000e+00 | -- | Inf
125.26/125.35 c 125s| 44200 | 111 |846179 | 19.1 |9890k| 56 | - | 231 |9251 | 231 |2453 | 17 | 28k|4096 | 0.000000e+00 | -- | Inf
125.56/125.61 c 126s| 44300 | 115 |848184 | 19.1 |9903k| 56 | 44 | 231 |9257 | 231 |2453 | 17 | 28k|4096 | 0.000000e+00 | -- | Inf
125.76/125.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
125.76/125.87 c 126s| 44400 | 110 |850150 | 19.1 |9890k| 56 | 46 | 231 |9246 | 231 |2453 | 17 | 28k|4097 | 0.000000e+00 | -- | Inf
126.06/126.13 c 126s| 44500 | 109 |852046 | 19.1 |9841k| 56 | 40 | 231 |9164 | 231 |2453 | 17 | 28k|4099 | 0.000000e+00 | -- | Inf
126.26/126.36 c 126s| 44600 | 106 |853818 | 19.1 |9832k| 56 | - | 231 |9132 | 231 |2453 | 17 | 28k|4099 | 0.000000e+00 | -- | Inf
126.56/126.66 c 127s| 44700 | 108 |856086 | 19.1 |9824k| 56 | - | 231 |9100 | 0 | 0 | 17 | 28k|4103 | 0.000000e+00 | -- | Inf
126.86/126.91 c 127s| 44800 | 105 |858126 | 19.2 |9820k| 56 | - | 231 |9114 | 231 |2453 | 17 | 28k|4103 | 0.000000e+00 | -- | Inf
127.06/127.15 c 127s| 44900 | 103 |860029 | 19.2 |9809k| 56 | 36 | 231 |9113 | 231 |2453 | 17 | 28k|4103 | 0.000000e+00 | -- | Inf
127.35/127.40 c 127s| 45000 | 102 |862028 | 19.2 |9825k| 56 | - | 231 |9149 | 231 |2453 | 17 | 28k|4103 | 0.000000e+00 | -- | Inf
127.57/127.65 c 128s| 45100 | 97 |863827 | 19.2 |9779k| 56 | 38 | 231 |9070 | 231 |2453 | 17 | 28k|4103 | 0.000000e+00 | -- | Inf
127.75/127.85 c 128s| 45200 | 98 |865405 | 19.1 |9767k| 56 | 38 | 231 |9075 | 231 |2453 | 17 | 28k|4103 | 0.000000e+00 | -- | Inf
128.05/128.12 c 128s| 45300 | 94 |867486 | 19.1 |9764k| 56 | - | 231 |9072 | 231 |2453 | 17 | 28k|4103 | 0.000000e+00 | -- | Inf
128.25/128.33 c 128s| 45400 | 98 |869181 | 19.1 |9781k| 56 | 22 | 231 |9102 | 231 |2453 | 17 | 29k|4103 | 0.000000e+00 | -- | Inf
128.46/128.56 c 129s| 45500 | 98 |870996 | 19.1 |9803k| 56 | 31 | 231 |9159 | 231 |2453 | 17 | 29k|4103 | 0.000000e+00 | -- | Inf
128.76/128.80 c 129s| 45600 | 94 |872907 | 19.1 |9807k| 56 | 46 | 231 |9197 | 231 |2453 | 17 | 29k|4103 | 0.000000e+00 | -- | Inf
128.95/129.05 c 129s| 45700 | 92 |874889 | 19.1 |9793k| 56 | 37 | 231 |9181 | 231 |2453 | 17 | 29k|4103 | 0.000000e+00 | -- | Inf
129.16/129.26 c 129s| 45800 | 94 |876442 | 19.1 |9813k| 56 | 34 | 231 |9226 | 231 |2453 | 17 | 29k|4103 | 0.000000e+00 | -- | Inf
129.46/129.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
129.46/129.50 c 129s| 45900 | 90 |878266 | 19.1 |9809k| 56 | 28 | 231 |9248 | 231 |2453 | 17 | 29k|4103 | 0.000000e+00 | -- | Inf
129.66/129.75 c 130s| 46000 | 88 |880182 | 19.1 |9827k| 56 | - | 231 |9289 | 231 |2453 | 17 | 29k|4105 | 0.000000e+00 | -- | Inf
129.86/129.99 c 130s| 46100 | 91 |881728 | 19.1 |9792k| 56 | - | 231 |9173 | 231 |2453 | 17 | 29k|4114 | 0.000000e+00 | -- | Inf
130.15/130.23 c 130s| 46200 | 91 |883124 | 19.1 |9751k| 56 | 34 | 231 |9066 | 231 |2453 | 17 | 29k|4125 | 0.000000e+00 | -- | Inf
130.36/130.49 c 130s| 46300 | 91 |884817 | 19.1 |9740k| 56 | - | 231 |9023 | 231 |2453 | 17 | 29k|4134 | 0.000000e+00 | -- | Inf
130.65/130.77 c 131s| 46400 | 90 |886495 | 19.1 |9723k| 56 | 45 | 231 |8990 | 231 |2453 | 17 | 29k|4146 | 0.000000e+00 | -- | Inf
130.96/131.04 c 131s| 46500 | 90 |888434 | 19.1 |9722k| 56 | - | 231 |8978 | 231 |2453 | 17 | 29k|4151 | 0.000000e+00 | -- | Inf
131.25/131.37 c 131s| 46600 | 90 |890631 | 19.1 |9706k| 56 | 31 | 231 |8950 | 231 |2453 | 17 | 29k|4163 | 0.000000e+00 | -- | Inf
131.56/131.67 c 132s| 46700 | 88 |892449 | 19.1 |9673k| 56 | 36 | 231 |8866 | 231 |2453 | 17 | 29k|4172 | 0.000000e+00 | -- | Inf
131.86/131.98 c 132s| 46800 | 88 |894391 | 19.1 |9674k| 56 | - | 231 |8862 | 231 |2453 | 17 | 29k|4185 | 0.000000e+00 | -- | Inf
132.16/132.25 c 132s| 46900 | 84 |896287 | 19.1 |9586k| 56 | 46 | 231 |8817 | 231 |2453 | 17 | 30k|4188 | 0.000000e+00 | -- | Inf
132.46/132.51 c 133s| 47000 | 88 |898020 | 19.1 |9609k| 56 | - | 231 |8841 | 0 | 0 | 17 | 30k|4200 | 0.000000e+00 | -- | Inf
132.65/132.78 c 133s| 47100 | 86 |899973 | 19.1 |9608k| 56 | - | 231 |8848 | 231 |2453 | 17 | 30k|4207 | 0.000000e+00 | -- | Inf
132.96/133.04 c 133s| 47200 | 85 |901710 | 19.1 |9624k| 56 | - | 231 |8889 | 231 |2453 | 17 | 30k|4213 | 0.000000e+00 | -- | Inf
133.26/133.33 c 133s| 47300 | 84 |903625 | 19.1 |9605k| 56 | 35 | 231 |8862 | 231 |2453 | 17 | 30k|4221 | 0.000000e+00 | -- | Inf
133.55/133.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
133.55/133.64 c 134s| 47400 | 84 |905818 | 19.1 |9588k| 56 | - | 231 |8796 | 231 |2453 | 17 | 30k|4230 | 0.000000e+00 | -- | Inf
133.86/133.94 c 134s| 47500 | 77 |907932 | 19.1 |9587k| 56 | - | 231 |8824 | 231 |2453 | 17 | 30k|4241 | 0.000000e+00 | -- | Inf
134.16/134.21 c 134s| 47600 | 79 |909701 | 19.1 |9591k| 56 | 33 | 231 |8824 | 231 |2453 | 17 | 30k|4248 | 0.000000e+00 | -- | Inf
134.46/134.50 c 135s| 47700 | 81 |911821 | 19.1 |9592k| 56 | - | 231 |8823 | 231 |2453 | 17 | 30k|4257 | 0.000000e+00 | -- | Inf
134.65/134.74 c 135s| 47800 | 81 |913365 | 19.1 |9609k| 56 | - | 231 |8860 | 0 | 0 | 17 | 30k|4267 | 0.000000e+00 | -- | Inf
134.86/134.97 c 135s| 47900 | 80 |914991 | 19.1 |9626k| 56 | - | 231 |8909 | 231 |2453 | 17 | 30k|4273 | 0.000000e+00 | -- | Inf
135.16/135.22 c 135s| 48000 | 80 |916664 | 19.1 |9643k| 56 | 39 | 231 |8963 | 231 |2453 | 17 | 30k|4281 | 0.000000e+00 | -- | Inf
135.46/135.51 c 136s| 48100 | 79 |918774 | 19.1 |9655k| 56 | 43 | 231 |9001 | 231 |2453 | 17 | 30k|4291 | 0.000000e+00 | -- | Inf
135.75/135.80 c 136s| 48200 | 77 |920656 | 19.1 |9636k| 56 | 16 | 231 |8954 | 231 |2453 | 17 | 30k|4300 | 0.000000e+00 | -- | Inf
136.06/136.12 c 136s| 48300 | 82 |923037 | 19.1 |9657k| 56 | 40 | 231 |8990 | 231 |2453 | 17 | 30k|4309 | 0.000000e+00 | -- | Inf
136.36/136.42 c 136s| 48400 | 82 |925442 | 19.1 |9671k| 56 | 38 | 231 |9040 | 231 |2453 | 17 | 30k|4314 | 0.000000e+00 | -- | Inf
136.66/136.70 c 137s| 48500 | 80 |927561 | 19.1 |9697k| 56 | - | 231 |9104 | 231 |2453 | 17 | 31k|4321 | 0.000000e+00 | -- | Inf
136.86/136.95 c 137s| 48600 | 77 |929638 | 19.1 |9720k| 56 | - | 231 |9168 | 231 |2453 | 17 | 31k|4322 | 0.000000e+00 | -- | Inf
137.06/137.19 c 137s| 48700 | 78 |931539 | 19.1 |9741k| 56 | 37 | 231 |9230 | 231 |2453 | 17 | 31k|4322 | 0.000000e+00 | -- | Inf
137.36/137.44 c 137s| 48800 | 76 |933467 | 19.1 |9744k| 56 | 44 | 231 |9260 | 231 |2453 | 17 | 31k|4323 | 0.000000e+00 | -- | Inf
137.66/137.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
137.66/137.71 c 138s| 48900 | 77 |935490 | 19.1 |9758k| 56 | - | 231 |9269 | 0 | 0 | 17 | 31k|4326 | 0.000000e+00 | -- | Inf
137.85/137.97 c 138s| 49000 | 76 |937398 | 19.1 |9774k| 56 | - | 231 |9320 | 231 |2453 | 17 | 31k|4329 | 0.000000e+00 | -- | Inf
138.15/138.23 c 138s| 49100 | 73 |939305 | 19.1 |9750k| 56 | 46 | 231 |9281 | 231 |2453 | 17 | 31k|4330 | 0.000000e+00 | -- | Inf
138.36/138.49 c 138s| 49200 | 77 |941208 | 19.1 |9726k| 56 | - | 231 |9144 | 231 |2453 | 17 | 31k|4332 | 0.000000e+00 | -- | Inf
138.65/138.73 c 139s| 49300 | 77 |942782 | 19.1 |9695k| 56 | - | 231 |9051 | 231 |2453 | 17 | 31k|4337 | 0.000000e+00 | -- | Inf
138.86/138.97 c 139s| 49400 | 76 |944437 | 19.1 |9684k| 56 | - | 231 |9032 | 231 |2453 | 17 | 31k|4342 | 0.000000e+00 | -- | Inf
139.16/139.22 c 139s| 49500 | 78 |946320 | 19.1 |9691k| 56 | - | 231 |9034 | 231 |2453 | 17 | 31k|4342 | 0.000000e+00 | -- | Inf
139.35/139.45 c 139s| 49600 | 78 |948006 | 19.1 |9688k| 56 | 39 | 231 |9008 | 231 |2453 | 17 | 31k|4342 | 0.000000e+00 | -- | Inf
139.67/139.71 c 140s| 49700 | 78 |949985 | 19.1 |9676k| 56 | - | 231 |8930 | 0 | 0 | 17 | 31k|4344 | 0.000000e+00 | -- | Inf
139.86/139.94 c 140s| 49800 | 79 |951716 | 19.1 |9685k| 56 | 31 | 231 |8971 | 231 |2453 | 17 | 31k|4345 | 0.000000e+00 | -- | Inf
140.05/140.19 c 140s| 49900 | 81 |953761 | 19.1 |9693k| 56 | - | 231 |8978 | 231 |2453 | 17 | 32k|4345 | 0.000000e+00 | -- | Inf
140.36/140.42 c 140s| 50000 | 82 |955498 | 19.1 |9713k| 56 | 37 | 231 |9040 | 231 |2453 | 17 | 32k|4345 | 0.000000e+00 | -- | Inf
140.55/140.65 c 141s| 50100 | 82 |957258 | 19.1 |9727k| 56 | - | 231 |9071 | 231 |2453 | 17 | 32k|4345 | 0.000000e+00 | -- | Inf
140.77/140.89 c 141s| 50200 | 81 |959140 | 19.1 |9743k| 56 | 31 | 231 |9112 | 231 |2453 | 17 | 32k|4345 | 0.000000e+00 | -- | Inf
141.06/141.14 c 141s| 50300 | 80 |961026 | 19.1 |9761k| 56 | - | 231 |9173 | 231 |2453 | 17 | 32k|4345 | 0.000000e+00 | -- | Inf
141.25/141.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
141.25/141.37 c 141s| 50400 | 82 |962678 | 19.1 |9779k| 56 | 22 | 231 |9230 | 231 |2453 | 17 | 32k|4346 | 0.000000e+00 | -- | Inf
141.46/141.57 c 142s| 50500 | 79 |964164 | 19.1 |9799k| 56 | 33 | 231 |9315 | 231 |2453 | 17 | 32k|4346 | 0.000000e+00 | -- | Inf
141.76/141.80 c 142s| 50600 | 79 |965909 | 19.1 |9820k| 56 | - | 231 |9371 | 231 |2453 | 17 | 32k|4348 | 0.000000e+00 | -- | Inf
141.95/142.05 c 142s| 50700 | 82 |967785 | 19.1 |9842k| 56 | - | 231 |9407 | 231 |2453 | 17 | 32k|4348 | 0.000000e+00 | -- | Inf
142.16/142.27 c 142s| 50800 | 82 |969522 | 19.1 |9860k| 56 | - | 231 |9459 | 231 |2453 | 17 | 32k|4348 | 0.000000e+00 | -- | Inf
142.45/142.52 c 143s| 50900 | 83 |971443 | 19.1 |9883k| 56 | - | 231 |9514 | 231 |2453 | 17 | 32k|4348 | 0.000000e+00 | -- | Inf
142.65/142.78 c 143s| 51000 | 81 |973572 | 19.1 |9900k| 56 | 42 | 231 |9582 | 231 |2453 | 17 | 32k|4348 | 0.000000e+00 | -- | Inf
142.96/143.08 c 143s| 51100 | 79 |975608 | 19.1 |9921k| 56 | - | 231 |9649 | 231 |2453 | 17 | 32k|4357 | 0.000000e+00 | -- | Inf
143.36/143.42 c 143s| 51200 | 79 |977954 | 19.1 |9944k| 56 | - | 231 |9713 | 231 |2453 | 17 | 33k|4367 | 0.000000e+00 | -- | Inf
143.65/143.73 c 144s| 51300 | 80 |979908 | 19.1 |9969k| 56 | 31 | 231 |9778 | 231 |2453 | 17 | 33k|4380 | 0.000000e+00 | -- | Inf
143.96/144.05 c 144s| 51400 | 86 |982236 | 19.1 | 10M| 56 | - | 231 |9854 | 231 |2453 | 17 | 33k|4389 | 0.000000e+00 | -- | Inf
144.25/144.39 c 144s| 51500 | 88 |984577 | 19.1 | 10M| 56 | 42 | 231 |9922 | 231 |2453 | 17 | 33k|4400 | 0.000000e+00 | -- | Inf
144.65/144.71 c 145s| 51600 | 82 |987072 | 19.1 | 10M| 56 | - | 231 |9993 | 231 |2453 | 17 | 33k|4406 | 0.000000e+00 | -- | Inf
144.95/145.05 c 145s| 51700 | 79 |989240 | 19.1 | 10M| 56 | 38 | 231 | 10k| 231 |2453 | 17 | 33k|4417 | 0.000000e+00 | -- | Inf
145.26/145.34 c 145s| 51800 | 79 |991113 | 19.1 | 10M| 56 | - | 231 |9996 | 231 |2453 | 17 | 33k|4427 | 0.000000e+00 | -- | Inf
145.45/145.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
145.45/145.56 c 146s| 51900 | 76 |992641 | 19.1 | 10M| 56 | 39 | 231 |9978 | 231 |2453 | 17 | 33k|4427 | 0.000000e+00 | -- | Inf
145.75/145.81 c 146s| 52000 | 72 |994276 | 19.1 | 10M| 56 | - | 231 |9996 | 231 |2453 | 17 | 33k|4433 | 0.000000e+00 | -- | Inf
146.05/146.14 c 146s| 52100 | 72 |996411 | 19.1 | 10M| 56 | 31 | 231 |9946 | 231 |2453 | 17 | 33k|4445 | 0.000000e+00 | -- | Inf
146.36/146.46 c 146s| 52200 | 70 |998714 | 19.1 | 10M| 56 | 45 | 231 |9952 | 231 |2453 | 17 | 33k|4454 | 0.000000e+00 | -- | Inf
146.66/146.78 c 147s| 52300 | 71 | 1000k| 19.1 | 10M| 56 | - | 231 |9965 | 231 |2453 | 17 | 33k|4467 | 0.000000e+00 | -- | Inf
146.95/147.05 c 147s| 52400 | 67 | 1002k| 19.1 |9992k| 56 | - | 231 |9943 | 231 |2453 | 17 | 33k|4474 | 0.000000e+00 | -- | Inf
147.26/147.40 c 147s| 52500 | 66 | 1005k| 19.1 |9957k| 56 | - | 231 |9913 | 231 |2453 | 17 | 33k|4488 | 0.000000e+00 | -- | Inf
147.65/147.73 c 148s| 52600 | 66 | 1007k| 19.2 |9949k| 56 | 36 | 231 |9921 | 231 |2453 | 17 | 34k|4494 | 0.000000e+00 | -- | Inf
147.95/148.07 c 148s| 52700 | 63 | 1010k| 19.2 |9957k| 56 | 48 | 231 |9948 | 231 |2453 | 17 | 34k|4505 | 0.000000e+00 | -- | Inf
148.36/148.43 c 148s| 52800 | 59 | 1012k| 19.2 |9956k| 56 | - | 231 |9968 | 231 |2453 | 17 | 34k|4516 | 0.000000e+00 | -- | Inf
148.65/148.72 c 149s| 52900 | 62 | 1014k| 19.2 |9963k| 56 | 36 | 231 |9977 | 231 |2453 | 17 | 34k|4524 | 0.000000e+00 | -- | Inf
148.85/148.98 c 149s| 53000 | 58 | 1016k| 19.2 |9957k| 56 | - | 231 |9977 | 231 |2453 | 17 | 34k|4528 | 0.000000e+00 | -- | Inf
149.16/149.25 c 149s| 53100 | 54 | 1018k| 19.2 |9956k| 56 | - | 231 |9987 | 231 |2453 | 17 | 34k|4534 | 0.000000e+00 | -- | Inf
149.46/149.53 c 150s| 53200 | 53 | 1020k| 19.2 |9944k| 56 | - | 231 |9959 | 231 |2453 | 17 | 34k|4539 | 0.000000e+00 | -- | Inf
149.65/149.79 c 150s| 53300 | 50 | 1022k| 19.2 |9925k| 56 | - | 231 |9959 | 231 |2453 | 17 | 34k|4541 | 0.000000e+00 | -- | Inf
149.96/150.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
149.96/150.05 c 150s| 53400 | 50 | 1024k| 19.2 |9881k| 56 | 44 | 231 |9893 | 231 |2453 | 17 | 34k|4541 | 0.000000e+00 | -- | Inf
150.25/150.36 c 150s| 53500 | 47 | 1026k| 19.2 |9897k| 56 | - | 231 |9923 | 231 |2453 | 17 | 34k|4541 | 0.000000e+00 | -- | Inf
150.56/150.62 c 151s| 53600 | 48 | 1028k| 19.2 |9875k| 56 | - | 231 |9836 | 231 |2453 | 17 | 34k|4544 | 0.000000e+00 | -- | Inf
150.75/150.85 c 151s| 53700 | 48 | 1030k| 19.2 |9877k| 56 | - | 231 |9856 | 231 |2453 | 17 | 34k|4548 | 0.000000e+00 | -- | Inf
150.95/151.07 c 151s| 53800 | 50 | 1032k| 19.2 |9866k| 56 | 40 | 231 |9818 | 231 |2453 | 17 | 34k|4548 | 0.000000e+00 | -- | Inf
151.25/151.30 c 151s| 53900 | 49 | 1033k| 19.2 |9878k| 56 | 45 | 231 |9866 | 231 |2453 | 17 | 34k|4548 | 0.000000e+00 | -- | Inf
151.45/151.55 c 152s| 54000 | 52 | 1035k| 19.2 |9901k| 56 | 33 | 231 |9901 | 231 |2453 | 17 | 34k|4548 | 0.000000e+00 | -- | Inf
151.66/151.78 c 152s| 54100 | 47 | 1037k| 19.2 |9896k| 56 | - | 231 |9933 | 231 |2453 | 17 | 35k|4548 | 0.000000e+00 | -- | Inf
151.95/152.03 c 152s| 54200 | 43 | 1039k| 19.2 |9846k| 56 | - | 231 |9851 | 0 | 0 | 17 | 35k|4548 | 0.000000e+00 | -- | Inf
152.15/152.29 c 152s| 54300 | 37 | 1041k| 19.2 |9769k| 56 | - | 231 |9721 | 231 |2453 | 17 | 35k|4548 | 0.000000e+00 | -- | Inf
152.45/152.55 c 153s| 54400 | 37 | 1043k| 19.2 |9774k| 56 | - | 231 |9746 | 231 |2453 | 17 | 35k|4548 | 0.000000e+00 | -- | Inf
152.76/152.82 c 153s| 54500 | 37 | 1045k| 19.2 |9769k| 56 | - | 231 |9726 | 231 |2453 | 17 | 35k|4548 | 0.000000e+00 | -- | Inf
153.05/153.10 c 153s| 54600 | 35 | 1047k| 19.2 |9719k| 56 | - | 231 |9592 | 231 |2453 | 17 | 35k|4548 | 0.000000e+00 | -- | Inf
153.26/153.36 c 153s| 54700 | 33 | 1049k| 19.2 |9672k| 56 | - | 231 |9489 | 231 |2453 | 17 | 35k|4548 | 0.000000e+00 | -- | Inf
153.55/153.62 c 154s| 54800 | 31 | 1051k| 19.2 |9649k| 56 | - | 231 |9365 | 231 |2453 | 17 | 35k|4548 | 0.000000e+00 | -- | Inf
153.76/153.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
153.76/153.90 c 154s| 54900 | 28 | 1054k| 19.2 |9584k| 56 | - | 231 |9224 | 231 |2453 | 17 | 35k|4548 | 0.000000e+00 | -- | Inf
154.05/154.12 c 154s| 55000 | 30 | 1055k| 19.2 |9592k| 56 | 36 | 231 |9223 | 231 |2453 | 17 | 35k|4548 | 0.000000e+00 | -- | Inf
154.26/154.34 c 154s| 55100 | 28 | 1057k| 19.2 |9574k| 56 | 40 | 231 |9191 | 231 |2453 | 17 | 35k|4548 | 0.000000e+00 | -- | Inf
154.45/154.58 c 155s| 55200 | 28 | 1059k| 19.2 |9584k| 56 | 37 | 231 |9193 | 231 |2453 | 17 | 35k|4548 | 0.000000e+00 | -- | Inf
154.75/154.84 c 155s| 55300 | 26 | 1061k| 19.2 |9526k| 56 | 25 | 231 |9100 | 231 |2453 | 17 | 35k|4548 | 0.000000e+00 | -- | Inf
154.96/155.10 c 155s| 55400 | 25 | 1063k| 19.2 |9529k| 56 | - | 231 |9112 | 231 |2453 | 17 | 35k|4548 | 0.000000e+00 | -- | Inf
155.25/155.33 c 155s| 55500 | 27 | 1065k| 19.2 |9543k| 56 | - | 231 |9149 | 231 |2453 | 17 | 35k|4548 | 0.000000e+00 | -- | Inf
155.55/155.63 c 156s| 55600 | 24 | 1067k| 19.2 |9526k| 56 | - | 231 |9131 | 231 |2453 | 17 | 36k|4557 | 0.000000e+00 | -- | Inf
155.85/155.92 c 156s| 55700 | 24 | 1069k| 19.2 |9516k| 56 | 32 | 231 |9122 | 231 |2453 | 17 | 36k|4567 | 0.000000e+00 | -- | Inf
156.16/156.22 c 156s| 55800 | 26 | 1071k| 19.2 |9507k| 56 | 19 | 231 |9089 | 231 |2453 | 17 | 36k|4576 | 0.000000e+00 | -- | Inf
156.45/156.56 c 157s| 55900 | 24 | 1073k| 19.2 |9526k| 56 | - | 231 |9156 | 231 |2453 | 17 | 36k|4586 | 0.000000e+00 | -- | Inf
156.75/156.82 c 157s| 56000 | 23 | 1075k| 19.2 |9458k| 56 | 30 | 231 |9167 | 231 |2453 | 17 | 36k|4586 | 0.000000e+00 | -- | Inf
157.06/157.14 c 157s| 56100 | 21 | 1077k| 19.2 |9420k| 56 | 45 | 231 |9098 | 231 |2453 | 17 | 36k|4598 | 0.000000e+00 | -- | Inf
157.35/157.44 c 157s| 56200 | 23 | 1080k| 19.2 |9413k| 56 | 36 | 231 |9072 | 231 |2453 | 17 | 36k|4608 | 0.000000e+00 | -- | Inf
157.66/157.77 c 158s| 56300 | 23 | 1082k| 19.2 |9411k| 56 | 28 | 231 |9074 | 231 |2453 | 17 | 36k|4617 | 0.000000e+00 | -- | Inf
157.95/158.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
157.95/158.07 c 158s| 56400 | 21 | 1084k| 19.2 |9405k| 56 | 31 | 231 |9077 | 231 |2453 | 17 | 36k|4626 | 0.000000e+00 | -- | Inf
158.26/158.37 c 158s| 56500 | 21 | 1086k| 19.2 |9416k| 56 | 43 | 231 |9109 | 231 |2453 | 17 | 36k|4635 | 0.000000e+00 | -- | Inf
158.55/158.67 c 159s| 56600 | 23 | 1088k| 19.2 |9419k| 56 | 42 | 231 |9106 | 231 |2453 | 17 | 36k|4644 | 0.000000e+00 | -- | Inf
158.86/158.95 c 159s| 56700 | 22 | 1090k| 19.2 |9438k| 56 | - | 231 |9151 | 231 |2453 | 17 | 36k|4651 | 0.000000e+00 | -- | Inf
159.15/159.27 c 159s| 56800 | 28 | 1092k| 19.2 |9446k| 56 | 24 | 231 |9161 | 231 |2453 | 17 | 36k|4665 | 0.000000e+00 | -- | Inf
159.46/159.58 c 160s| 56900 | 26 | 1094k| 19.2 |9458k| 56 | 49 | 231 |9200 | 231 |2453 | 17 | 36k|4671 | 0.000000e+00 | -- | Inf
159.75/159.86 c 160s| 57000 | 25 | 1096k| 19.2 |9470k| 56 | 40 | 231 |9241 | 231 |2453 | 17 | 36k|4678 | 0.000000e+00 | -- | Inf
160.05/160.18 c 160s| 57100 | 25 | 1099k| 19.2 |9499k| 56 | - | 231 |9293 | 0 | 0 | 17 | 37k|4686 | 0.000000e+00 | -- | Inf
160.45/160.51 c 161s| 57200 | 27 | 1101k| 19.3 |9512k| 56 | 29 | 231 |9340 | 231 |2453 | 17 | 37k|4698 | 0.000000e+00 | -- | Inf
160.65/160.76 c 161s| 57300 | 27 | 1103k| 19.2 |9537k| 56 | - | 231 |9397 | 231 |2453 | 17 | 37k|4703 | 0.000000e+00 | -- | Inf
160.95/161.06 c 161s| 57400 | 28 | 1105k| 19.3 |9556k| 56 | - | 231 |9449 | 231 |2453 | 17 | 37k|4713 | 0.000000e+00 | -- | Inf
161.26/161.37 c 161s| 57500 | 29 | 1107k| 19.3 |9573k| 56 | 41 | 231 |9503 | 231 |2453 | 17 | 37k|4723 | 0.000000e+00 | -- | Inf
161.56/161.68 c 162s| 57600 | 24 | 1109k| 19.3 |9587k| 56 | - | 231 |9563 | 231 |2453 | 17 | 37k|4730 | 0.000000e+00 | -- | Inf
161.95/162.01 c 162s| 57700 | 25 | 1111k| 19.3 |9596k| 56 | 38 | 231 |9605 | 231 |2453 | 17 | 37k|4741 | 0.000000e+00 | -- | Inf
162.25/162.33 c 162s| 57800 | 26 | 1114k| 19.3 |9616k| 56 | - | 231 |9641 | 231 |2453 | 17 | 37k|4747 | 0.000000e+00 | -- | Inf
162.46/162.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
162.46/162.59 c 163s| 57900 | 29 | 1116k| 19.3 |9631k| 56 | 32 | 231 |9678 | 231 |2453 | 17 | 37k|4749 | 0.000000e+00 | -- | Inf
162.76/162.81 c 163s| 58000 | 27 | 1117k| 19.3 |9645k| 56 | 30 | 231 |9727 | 231 |2453 | 17 | 37k|4752 | 0.000000e+00 | -- | Inf
162.95/163.03 c 163s| 58100 | 24 | 1119k| 19.3 |9658k| 56 | - | 231 |9775 | 231 |2453 | 17 | 37k|4752 | 0.000000e+00 | -- | Inf
163.16/163.29 c 163s| 58200 | 26 | 1121k| 19.3 |9679k| 56 | 39 | 231 |9831 | 231 |2453 | 17 | 37k|4753 | 0.000000e+00 | -- | Inf
163.45/163.55 c 164s| 58300 | 24 | 1123k| 19.3 |9703k| 56 | - | 231 |9901 | 231 |2453 | 17 | 37k|4755 | 0.000000e+00 | -- | Inf
163.76/163.86 c 164s| 58400 | 26 | 1126k| 19.3 |9735k| 56 | - | 231 |9969 | 231 |2453 | 17 | 37k|4756 | 0.000000e+00 | -- | Inf
164.05/164.14 c 164s| 58500 | 25 | 1128k| 19.3 |9758k| 56 | - | 231 | 10k| 0 | 0 | 17 | 37k|4757 | 0.000000e+00 | -- | Inf
164.25/164.38 c 164s| 58600 | 23 | 1130k| 19.3 |9769k| 56 | 39 | 231 | 10k| 231 |2453 | 17 | 37k|4757 | 0.000000e+00 | -- | Inf
164.55/164.64 c 165s| 58700 | 24 | 1132k| 19.3 |9800k| 56 | - | 231 | 10k| 0 | 0 | 17 | 38k|4757 | 0.000000e+00 | -- | Inf
164.86/164.94 c 165s| 58800 | 23 | 1134k| 19.3 |9812k| 56 | 44 | 231 | 10k| 231 |2453 | 17 | 38k|4758 | 0.000000e+00 | -- | Inf
165.15/165.20 c 165s| 58900 | 22 | 1136k| 19.3 |9830k| 56 | 46 | 231 | 10k| 231 |2453 | 17 | 38k|4759 | 0.000000e+00 | -- | Inf
165.45/165.50 c 165s| 59000 | 18 | 1139k| 19.3 |9820k| 56 | 55 | 231 | 10k| 231 |2453 | 17 | 38k|4760 | 0.000000e+00 | -- | Inf
165.65/165.78 c 166s| 59100 | 18 | 1141k| 19.3 |9829k| 56 | - | 231 | 10k| 231 |2453 | 17 | 38k|4761 | 0.000000e+00 | -- | Inf
165.96/166.08 c 166s| 59200 | 18 | 1143k| 19.3 |9835k| 56 | - | 231 | 10k| 231 |2453 | 17 | 38k|4762 | 0.000000e+00 | -- | Inf
166.25/166.35 c 166s| 59300 | 17 | 1145k| 19.3 |9839k| 56 | 36 | 231 | 10k| 231 |2453 | 17 | 38k|4763 | 0.000000e+00 | -- | Inf
166.55/166.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
166.55/166.63 c 167s| 59400 | 15 | 1148k| 19.3 |9837k| 56 | 30 | 231 | 10k| 231 |2453 | 17 | 38k|4763 | 0.000000e+00 | -- | Inf
166.75/166.88 c 167s| 59500 | 12 | 1150k| 19.3 |9824k| 56 | - | 231 | 10k| 231 |2453 | 17 | 38k|4763 | 0.000000e+00 | -- | Inf
167.05/167.16 c 167s| 59600 | 14 | 1152k| 19.3 |9817k| 56 | 41 | 231 | 10k| 231 |2453 | 17 | 38k|4763 | 0.000000e+00 | -- | Inf
167.35/167.41 c 167s| 59700 | 15 | 1154k| 19.3 |9831k| 56 | 42 | 231 | 10k| 231 |2453 | 17 | 38k|4763 | 0.000000e+00 | -- | Inf
167.55/167.67 c 168s| 59800 | 13 | 1156k| 19.3 |9844k| 56 | - | 231 | 10k| 231 |2453 | 17 | 38k|4763 | 0.000000e+00 | -- | Inf
167.85/167.93 c 168s| 59900 | 8 | 1158k| 19.3 |9849k| 56 | - | 231 | 10k| 231 |2453 | 17 | 38k|4763 | 0.000000e+00 | -- | Inf
168.05/168.18 c 168s| 60000 | 9 | 1160k| 19.3 |9844k| 56 | 15 | 231 | 10k| 231 |2453 | 17 | 38k|4763 | 0.000000e+00 | -- | Inf
168.35/168.44 c 168s| 60100 | 5 | 1162k| 19.3 |9832k| 56 | 48 | 231 | 10k| 231 |2453 | 17 | 39k|4763 | 0.000000e+00 | -- | Inf
168.65/168.77 c
168.65/168.77 c SCIP Status : problem is solved [infeasible]
168.65/168.77 c Solving Time (sec) : 168.77
168.65/168.77 c Solving Nodes : 60190
168.65/168.77 c Primal Bound : +1.00000000000000e+20 (0 solutions)
168.65/168.77 c Dual Bound : +1.00000000000000e+20
168.65/168.77 c Gap : 0.00 %
168.65/168.77 s UNSATISFIABLE
168.65/168.77 c SCIP Status : problem is solved [infeasible]
168.65/168.77 c Total Time : 168.77
168.65/168.77 c solving : 168.77
168.65/168.77 c presolving : 0.04 (included in solving)
168.65/168.77 c reading : 0.01 (included in solving)
168.65/168.77 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
168.65/168.77 c Original Problem :
168.65/168.77 c Problem name : HOME/instance-3691580-1338022390.opb
168.65/168.77 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
168.65/168.77 c Constraints : 2707 initial, 2707 maximal
168.65/168.77 c Objective sense : minimize
168.65/168.77 c Presolved Problem :
168.65/168.77 c Problem name : t_HOME/instance-3691580-1338022390.opb
168.65/168.77 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
168.65/168.77 c Constraints : 2443 initial, 10428 maximal
168.65/168.77 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
168.65/168.77 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
168.65/168.77 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
168.65/168.77 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
168.65/168.77 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
168.65/168.77 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
168.65/168.77 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
168.65/168.77 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
168.65/168.77 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
168.65/168.77 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
168.65/168.77 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
168.65/168.77 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
168.65/168.77 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0
168.65/168.77 c setppc : 0.00 0.00 0 0 0 0 0 121 0 0 0
168.65/168.77 c linear : 0.02 0.00 0 0 0 0 0 143 0 0 0
168.65/168.77 c logicor : 0.02 0.00 0 0 0 0 0 0 0 0 0
168.65/168.77 c root node : - - 1 - - 1 - - - - -
168.65/168.77 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
168.65/168.77 c integral : 0 0 0 0 31442 0 1 0 138 1755 0 0 60826
168.65/168.77 c knapsack : 1 1 5 235933 0 0 0 25449 585 140496 0 0 0
168.65/168.77 c setppc : 22 22 5 235592 0 0 0 641440 1969 330587 0 0 0
168.65/168.77 c linear : 0+ 250 5 208868 0 0 0 291 1 3691 0 0 0
168.65/168.77 c logicor : 2420+ 10398 5 112561 0 0 0 216612 613 398755 0 0 0
168.65/168.77 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
168.65/168.77 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
168.65/168.77 c integral : 20.34 0.00 0.00 0.00 20.34 0.00 0.00 0.00
168.65/168.77 c knapsack : 0.34 0.00 0.00 0.31 0.00 0.00 0.00 0.03
168.65/168.77 c setppc : 1.10 0.00 0.00 0.91 0.00 0.00 0.00 0.19
168.65/168.77 c linear : 0.27 0.00 0.00 0.26 0.00 0.00 0.00 0.00
168.65/168.77 c logicor : 3.90 0.00 0.00 3.73 0.00 0.00 0.00 0.17
168.65/168.77 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
168.65/168.77 c Propagators : #Propagate #ResProp Cutoffs DomReds
168.65/168.77 c rootredcost : 0 0 0 0
168.65/168.77 c pseudoobj : 0 0 0 0
168.65/168.77 c vbounds : 0 0 0 0
168.65/168.77 c redcost : 31447 0 0 0
168.65/168.77 c probing : 0 0 0 0
168.65/168.77 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
168.65/168.77 c rootredcost : 0.06 0.00 0.00 0.06 0.00
168.65/168.77 c pseudoobj : 0.06 0.00 0.00 0.06 0.00
168.65/168.77 c vbounds : 0.05 0.00 0.00 0.05 0.00
168.65/168.77 c redcost : 0.14 0.00 0.00 0.14 0.00
168.65/168.77 c probing : 0.00 0.00 0.00 0.00 0.00
168.65/168.77 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
168.65/168.77 c propagation : 0.12 3168 3142 15835 20.2 50 17.9 -
168.65/168.77 c infeasible LP : 2.28 27097 26714 158326 32.3 80 17.8 0
168.65/168.77 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
168.65/168.77 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
168.65/168.77 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
168.65/168.77 c applied globally : - - - 37451 18.5 - - -
168.65/168.77 c applied locally : - - - 1612 33.7 - - -
168.65/168.77 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
168.65/168.77 c cut pool : 0.00 4 - - 302 - (maximal pool size: 516)
168.65/168.77 c closecuts : 0.00 0.00 0 0 0 0 0
168.65/168.77 c impliedbounds : 0.00 0.00 5 0 0 0 0
168.65/168.77 c intobj : 0.00 0.00 0 0 0 0 0
168.65/168.77 c gomory : 0.10 0.00 5 0 0 200 0
168.65/168.77 c cgmip : 0.00 0.00 0 0 0 0 0
168.65/168.77 c strongcg : 0.19 0.00 5 0 0 2500 0
168.65/168.77 c cmir : 0.00 0.00 0 0 0 0 0
168.65/168.77 c flowcover : 0.00 0.00 0 0 0 0 0
168.65/168.77 c clique : 0.00 0.00 5 0 0 0 0
168.65/168.77 c zerohalf : 0.00 0.00 0 0 0 0 0
168.65/168.77 c mcf : 0.00 0.00 1 0 0 0 0
168.65/168.77 c oddcycle : 0.00 0.00 0 0 0 0 0
168.65/168.77 c rapidlearning : 0.10 0.00 1 0 0 0 250
168.65/168.77 c Pricers : ExecTime SetupTime Calls Vars
168.65/168.77 c problem variables: 0.00 - 0 0
168.65/168.77 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
168.65/168.77 c relpscost : 20.31 0.00 31442 138 1755 0 0 60826
168.65/168.77 c pscost : 0.00 0.00 0 0 0 0 0 0
168.65/168.77 c inference : 0.00 0.00 0 0 0 0 0 0
168.65/168.77 c mostinf : 0.00 0.00 0 0 0 0 0 0
168.65/168.77 c leastinf : 0.00 0.00 0 0 0 0 0 0
168.65/168.77 c fullstrong : 0.00 0.00 0 0 0 0 0 0
168.65/168.77 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
168.65/168.77 c random : 0.00 0.00 0 0 0 0 0 0
168.65/168.77 c Primal Heuristics : ExecTime SetupTime Calls Found
168.65/168.77 c LP solutions : 0.00 - - 0
168.65/168.77 c pseudo solutions : 0.00 - - 0
168.65/168.77 c smallcard : 0.00 0.00 0 0
168.65/168.77 c trivial : 0.00 0.00 1 0
168.65/168.77 c shiftandpropagate: 0.00 0.00 0 0
168.65/168.77 c simplerounding : 0.00 0.00 0 0
168.65/168.77 c zirounding : 0.00 0.00 0 0
168.65/168.77 c rounding : 0.00 0.00 0 0
168.65/168.77 c shifting : 0.00 0.00 0 0
168.65/168.77 c intshifting : 0.00 0.00 0 0
168.65/168.77 c oneopt : 0.00 0.00 0 0
168.65/168.77 c twoopt : 0.00 0.00 0 0
168.65/168.77 c indtwoopt : 0.00 0.00 0 0
168.65/168.77 c indoneopt : 0.00 0.00 0 0
168.65/168.77 c fixandinfer : 0.00 0.00 0 0
168.65/168.77 c feaspump : 0.00 0.00 0 0
168.65/168.77 c clique : 0.00 0.00 0 0
168.65/168.77 c indrounding : 0.00 0.00 0 0
168.65/168.77 c indcoefdiving : 0.00 0.00 0 0
168.65/168.77 c coefdiving : 0.00 0.00 0 0
168.65/168.77 c pscostdiving : 0.00 0.00 0 0
168.65/168.77 c nlpdiving : 0.00 0.00 0 0
168.65/168.77 c fracdiving : 0.00 0.00 0 0
168.65/168.77 c veclendiving : 0.00 0.00 0 0
168.65/168.77 c intdiving : 0.00 0.00 0 0
168.65/168.77 c actconsdiving : 0.00 0.00 0 0
168.65/168.77 c objpscostdiving : 0.00 0.00 0 0
168.65/168.77 c rootsoldiving : 0.00 0.00 0 0
168.65/168.77 c linesearchdiving : 0.00 0.00 0 0
168.65/168.77 c guideddiving : 0.00 0.00 0 0
168.65/168.77 c octane : 0.00 0.00 0 0
168.65/168.77 c rens : 0.00 0.00 0 0
168.65/168.77 c rins : 0.00 0.00 0 0
168.65/168.77 c localbranching : 0.00 0.00 0 0
168.65/168.77 c mutation : 0.00 0.00 0 0
168.65/168.77 c crossover : 0.00 0.00 0 0
168.65/168.77 c dins : 0.00 0.00 0 0
168.65/168.77 c vbounds : 0.00 0.00 0 0
168.65/168.77 c undercover : 0.00 0.00 0 0
168.65/168.77 c subnlp : 0.00 0.00 0 0
168.65/168.77 c trysol : 0.00 0.00 0 0
168.65/168.77 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
168.65/168.77 c primal LP : 0.00 1 0 0.00 - 0.00 1
168.65/168.77 c dual LP : 125.43 58544 1164931 19.94 9287.79 0.04 117
168.65/168.77 c lex dual LP : 0.00 0 0 0.00 -
168.65/168.77 c barrier LP : 0.00 0 0 0.00 - 0.00 0
168.65/168.77 c diving/probing LP: 0.00 0 0 0.00 -
168.65/168.77 c strong branching : 19.80 4773 170188 35.66 8594.57
168.65/168.77 c (at root node) : - 11 2979 270.82 -
168.65/168.77 c conflict analysis: 0.00 0 0 0.00 -
168.65/168.77 c B&B Tree :
168.65/168.77 c number of runs : 1
168.65/168.77 c nodes : 60190
168.65/168.77 c nodes (total) : 60190
168.65/168.77 c nodes left : 0
168.65/168.77 c max depth : 56
168.65/168.77 c max depth (total): 56
168.65/168.77 c backtracks : 7559 (12.6%)
168.65/168.77 c delayed cutoffs : 637
168.65/168.77 c repropagations : 98305 (137737 domain reductions, 635 cutoffs)
168.65/168.77 c avg switch length: 5.11
168.65/168.77 c switching time : 5.14
168.65/168.77 c Solution :
168.65/168.77 c Solutions found : 0 (0 improvements)
168.65/168.77 c Primal Bound : infeasible
168.65/168.77 c Dual Bound : -
168.65/168.77 c Gap : 0.00 %
168.65/168.77 c Root Dual Bound : +0.00000000000000e+00
168.65/168.77 c Root Iterations : 146
168.65/168.78 c Time complete: 168.74.
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-3691580-1338022390/watcher-3691580-1338022390 -o /tmp/evaluation-result-3691580-1338022390/solver-3691580-1338022390 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691580-1338022390.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.02 1.97 3/174 15042
/proc/meminfo: memFree=28278960/32873852 swapFree=6848/6848
[pid=15042] ppid=15040 vsize=12848 CPUtime=0 cores=0,2,4,6
/proc/15042/stat : 15042 (scip-2.1.1.4exp) R 15040 15042 14323 0 -1 4202496 1963 0 0 0 0 0 0 0 20 0 1 0 268364896 13156352 1918 33554432000 4194304 10219143 140733715754048 140736553985176 8844210 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15042/statm: 3212 1919 419 1471 0 1732 0
[startup+0.0130101 s]
/proc/loadavg: 2.01 2.02 1.97 3/174 15042
/proc/meminfo: memFree=28278960/32873852 swapFree=6848/6848
[pid=15042] ppid=15040 vsize=15996 CPUtime=0 cores=0,2,4,6
/proc/15042/stat : 15042 (scip-2.1.1.4exp) R 15040 15042 14323 0 -1 4202496 2567 0 0 0 0 0 0 0 20 0 1 0 268364896 16379904 2523 33554432000 4194304 10219143 140733715754048 140736553985176 8891101 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15042/statm: 3999 2541 464 1471 0 2519 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15996
[startup+0.100261 s]
/proc/loadavg: 2.01 2.02 1.97 3/174 15042
/proc/meminfo: memFree=28278960/32873852 swapFree=6848/6848
[pid=15042] ppid=15040 vsize=33964 CPUtime=0.09 cores=0,2,4,6
/proc/15042/stat : 15042 (scip-2.1.1.4exp) R 15040 15042 14323 0 -1 4202496 7662 0 0 0 8 1 0 0 20 0 1 0 268364896 34779136 7315 33554432000 4194304 10219143 140733715754048 140736553985176 8844210 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15042/statm: 8524 7318 779 1471 0 7044 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33964
[startup+0.300258 s]
/proc/loadavg: 2.01 2.02 1.97 3/174 15042
/proc/meminfo: memFree=28278960/32873852 swapFree=6848/6848
[pid=15042] ppid=15040 vsize=48464 CPUtime=0.29 cores=0,2,4,6
/proc/15042/stat : 15042 (scip-2.1.1.4exp) R 15040 15042 14323 0 -1 4202496 11697 0 0 0 26 3 0 0 20 0 1 0 268364896 49627136 10641 33554432000 4194304 10219143 140733715754048 140736553985176 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15042/statm: 12116 10641 814 1471 0 10636 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48464
[startup+0.700265 s]
/proc/loadavg: 2.01 2.02 1.97 3/174 15042
/proc/meminfo: memFree=28278960/32873852 swapFree=6848/6848
[pid=15042] ppid=15040 vsize=48632 CPUtime=0.69 cores=0,2,4,6
/proc/15042/stat : 15042 (scip-2.1.1.4exp) R 15040 15042 14323 0 -1 4202496 11815 0 0 0 66 3 0 0 20 0 1 0 268364896 49799168 10759 33554432000 4194304 10219143 140733715754048 140736553985176 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15042/statm: 12158 10759 817 1471 0 10678 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48632
[startup+1.50023 s]
/proc/loadavg: 2.01 2.02 1.97 3/175 15043
/proc/meminfo: memFree=28239156/32873852 swapFree=6848/6848
[pid=15042] ppid=15040 vsize=48632 CPUtime=1.49 cores=0,2,4,6
/proc/15042/stat : 15042 (scip-2.1.1.4exp) R 15040 15042 14323 0 -1 4202496 11821 0 0 0 145 4 0 0 20 0 1 0 268364896 49799168 10765 33554432000 4194304 10219143 140733715754048 140733715747496 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15042/statm: 12158 10765 823 1471 0 10678 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 48632
[startup+3.10023 s]
/proc/loadavg: 2.01 2.02 1.97 3/175 15043
/proc/meminfo: memFree=28238784/32873852 swapFree=6848/6848
[pid=15042] ppid=15040 vsize=48632 CPUtime=3.09 cores=0,2,4,6
/proc/15042/stat : 15042 (scip-2.1.1.4exp) R 15040 15042 14323 0 -1 4202496 11822 0 0 0 303 6 0 0 20 0 1 0 268364896 49799168 10766 33554432000 4194304 10219143 140733715754048 140733715747496 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15042/statm: 12158 10766 824 1471 0 10678 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 48632
[startup+6.30023 s]
/proc/loadavg: 2.01 2.02 1.97 3/175 15043
/proc/meminfo: memFree=28239032/32873852 swapFree=6848/6848
[pid=15042] ppid=15040 vsize=48632 CPUtime=6.29 cores=0,2,4,6
/proc/15042/stat : 15042 (scip-2.1.1.4exp) R 15040 15042 14323 0 -1 4202496 11822 0 0 0 620 9 0 0 20 0 1 0 268364896 49799168 10766 33554432000 4194304 10219143 140733715754048 140733715747496 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15042/statm: 12158 10766 824 1471 0 10678 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 48632
[startup+12.7002 s]
/proc/loadavg: 2.00 2.02 1.97 3/175 15043
/proc/meminfo: memFree=28238668/32873852 swapFree=6848/6848
[pid=15042] ppid=15040 vsize=48632 CPUtime=12.69 cores=0,2,4,6
/proc/15042/stat : 15042 (scip-2.1.1.4exp) R 15040 15042 14323 0 -1 4202496 11825 0 0 0 1252 17 0 0 20 0 1 0 268364896 49799168 10766 33554432000 4194304 10219143 140733715754048 140733715747592 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15042/statm: 12158 10766 824 1471 0 10678 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 48632
[startup+25.5002 s]
/proc/loadavg: 2.00 2.02 1.97 3/175 15043
/proc/meminfo: memFree=28237784/32873852 swapFree=6848/6848
[pid=15042] ppid=15040 vsize=48632 CPUtime=25.48 cores=0,2,4,6
/proc/15042/stat : 15042 (scip-2.1.1.4exp) R 15040 15042 14323 0 -1 4202496 11832 0 0 0 2513 35 0 0 20 0 1 0 268364896 49799168 11020 33554432000 4194304 10219143 140733715754048 140733715747688 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15042/statm: 12158 11020 824 1471 0 10678 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 48632
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 1.97 3/175 15043
/proc/meminfo: memFree=28237712/32873852 swapFree=6848/6848
[pid=15042] ppid=15040 vsize=48632 CPUtime=51.08 cores=0,2,4,6
/proc/15042/stat : 15042 (scip-2.1.1.4exp) R 15040 15042 14323 0 -1 4202496 11833 0 0 0 5032 76 0 0 20 0 1 0 268364896 49799168 11021 33554432000 4194304 10219143 140733715754048 140733715746984 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15042/statm: 12158 11021 824 1471 0 10678 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 48632
[startup+102.306 s]
/proc/loadavg: 2.24 2.06 1.99 3/175 15157
/proc/meminfo: memFree=28130804/32873852 swapFree=6848/6848
[pid=15042] ppid=15040 vsize=48632 CPUtime=102.26 cores=0,2,4,6
/proc/15042/stat : 15042 (scip-2.1.1.4exp) R 15040 15042 14323 0 -1 4202496 11833 0 0 0 10077 149 0 0 20 0 1 0 268364896 49799168 11021 33554432000 4194304 10219143 140733715754048 140733715747688 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15042/statm: 12158 11021 824 1471 0 10678 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 48632
[startup+162.3 s]
/proc/loadavg: 2.09 2.05 1.99 3/175 15157
/proc/meminfo: memFree=28119304/32873852 swapFree=6848/6848
[pid=15042] ppid=15040 vsize=48632 CPUtime=162.25 cores=0,2,4,6
/proc/15042/stat : 15042 (scip-2.1.1.4exp) R 15040 15042 14323 0 -1 4202496 11834 0 0 0 15979 246 0 0 20 0 1 0 268364896 49799168 11022 33554432000 4194304 10219143 140733715754048 140733715747912 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15042/statm: 12158 11022 825 1471 0 10678 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 48632
Solver just ended. Dumping a history of the last processes samples
[startup+163.1 s]
/proc/loadavg: 2.08 2.05 1.99 3/175 15157
/proc/meminfo: memFree=28119428/32873852 swapFree=6848/6848
[pid=15042] ppid=15040 vsize=48632 CPUtime=163.05 cores=0,2,4,6
/proc/15042/stat : 15042 (scip-2.1.1.4exp) R 15040 15042 14323 0 -1 4202496 11834 0 0 0 16058 247 0 0 20 0 1 0 268364896 49799168 11022 33554432000 4194304 10219143 140733715754048 140733715747720 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15042/statm: 12158 11022 825 1471 0 10678 0
Current children cumulated CPU time (s) 163.05
Current children cumulated vsize (KiB) 48632
[startup+166.3 s]
/proc/loadavg: 2.08 2.05 1.99 3/175 15157
/proc/meminfo: memFree=28119428/32873852 swapFree=6848/6848
[pid=15042] ppid=15040 vsize=48632 CPUtime=166.25 cores=0,2,4,6
/proc/15042/stat : 15042 (scip-2.1.1.4exp) R 15040 15042 14323 0 -1 4202496 11834 0 0 0 16372 253 0 0 20 0 1 0 268364896 49799168 11022 33554432000 4194304 10219143 140733715754048 140733715747400 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15042/statm: 12158 11022 825 1471 0 10678 0
Current children cumulated CPU time (s) 166.25
Current children cumulated vsize (KiB) 48632
[startup+167.9 s]
/proc/loadavg: 2.08 2.05 1.99 3/175 15157
/proc/meminfo: memFree=28119428/32873852 swapFree=6848/6848
[pid=15042] ppid=15040 vsize=48632 CPUtime=167.85 cores=0,2,4,6
/proc/15042/stat : 15042 (scip-2.1.1.4exp) R 15040 15042 14323 0 -1 4202496 11834 0 0 0 16529 256 0 0 20 0 1 0 268364896 49799168 11022 33554432000 4194304 10219143 140733715754048 140733715751416 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15042/statm: 12158 11022 825 1471 0 10678 0
Current children cumulated CPU time (s) 167.85
Current children cumulated vsize (KiB) 48632
[startup+168.306 s]
/proc/loadavg: 2.07 2.05 1.99 3/175 15157
/proc/meminfo: memFree=28119552/32873852 swapFree=6848/6848
[pid=15042] ppid=15040 vsize=48632 CPUtime=168.26 cores=0,2,4,6
/proc/15042/stat : 15042 (scip-2.1.1.4exp) R 15040 15042 14323 0 -1 4202496 11834 0 0 0 16569 257 0 0 20 0 1 0 268364896 49799168 11022 33554432000 4194304 10219143 140733715754048 140733715751416 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15042/statm: 12158 11022 825 1471 0 10678 0
Current children cumulated CPU time (s) 168.26
Current children cumulated vsize (KiB) 48632
[startup+168.7 s]
/proc/loadavg: 2.07 2.05 1.99 3/175 15157
/proc/meminfo: memFree=28119552/32873852 swapFree=6848/6848
[pid=15042] ppid=15040 vsize=48632 CPUtime=168.65 cores=0,2,4,6
/proc/15042/stat : 15042 (scip-2.1.1.4exp) R 15040 15042 14323 0 -1 4202496 11834 0 0 0 16608 257 0 0 20 0 1 0 268364896 49799168 11022 33554432000 4194304 10219143 140733715754048 140733715751416 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15042/statm: 12158 11022 825 1471 0 10678 0
Current children cumulated CPU time (s) 168.65
Current children cumulated vsize (KiB) 48632
Child status: 0
Real time (s): 168.79
CPU time (s): 168.751
CPU user time (s): 166.171
CPU system time (s): 2.58061
CPU usage (%): 99.977
Max. virtual memory (cumulated for all children) (KiB): 48632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 166.171
system time used= 2.58061
maximum resident set size= 45040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11839
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 247
runsolver used 0.245962 second user time and 0.700893 second system time
The end