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-3691584-1338021442.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.05 c (round 2) 0 del vars, 143 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.00/0.05 c (round 3) 0 del vars, 264 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.00/0.06 c presolving (4 rounds):
0.00/0.06 c 0 deleted vars, 264 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06 c 242 implications, 22 cliques
0.00/0.06 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2443 constraints
0.00/0.06 c 1 constraints of type <knapsack>
0.00/0.06 c 22 constraints of type <setppc>
0.00/0.06 c 2420 constraints of type <logicor>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.05
0.00/0.06 c - non default parameters ----------------------------------------------------------------------
0.00/0.06 c # SCIP version 2.1.1.4
0.00/0.06 c
0.00/0.06 c # maximal time in seconds to run
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/time = 1797
0.00/0.06 c
0.00/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/memory = 13950
0.00/0.06 c
0.00/0.06 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c limits/solutions = 1
0.00/0.06 c
0.00/0.06 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.06 c separating/maxrounds = 1
0.00/0.06 c
0.00/0.06 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c separating/maxroundsroot = 5
0.00/0.06 c
0.00/0.06 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.06 c # [type: int, range: [1,2], default: 1]
0.00/0.06 c timing/clocktype = 2
0.00/0.06 c
0.00/0.06 c # belongs reading time to solving time?
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c timing/reading = TRUE
0.00/0.06 c
0.00/0.06 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.06 c constraints/knapsack/disaggregation = FALSE
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/coefdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.06 c heuristics/crossover/freq = -1
0.00/0.06 c
0.00/0.06 c # number of nodes added to the contingent of the total nodes
0.00/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.06 c heuristics/crossover/nodesofs = 750
0.00/0.06 c
0.00/0.06 c # number of nodes without incumbent change that heuristic should wait
0.00/0.06 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.06 c heuristics/crossover/nwaitingnodes = 100
0.00/0.06 c
0.00/0.06 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.06 c # [type: real, range: [0,1], default: 0.1]
0.00/0.06 c heuristics/crossover/nodesquot = 0.15
0.00/0.06 c
0.00/0.06 c # minimum percentage of integer variables that have to be fixed
0.00/0.06 c # [type: real, range: [0,1], default: 0.666]
0.00/0.06 c heuristics/crossover/minfixingrate = 0.5
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.06 c heuristics/feaspump/freq = -1
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/fracdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/guideddiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/intshifting/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/linesearchdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.06 c heuristics/objpscostdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.06 c # [type: real, range: [0,1], default: 0.01]
0.00/0.06 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/oneopt/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/pscostdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c heuristics/rens/freq = -1
0.00/0.06 c
0.00/0.06 c # minimum percentage of integer variables that have to be fixable
0.00/0.06 c # [type: real, range: [0,1], default: 0.5]
0.00/0.06 c heuristics/rens/minfixingrate = 0.3
0.00/0.06 c
0.00/0.06 c # number of nodes added to the contingent of the total nodes
0.00/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.06 c heuristics/rens/nodesofs = 2000
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.06 c heuristics/rootsoldiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.06 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/rounding/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c heuristics/shiftandpropagate/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/shifting/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/simplerounding/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/subnlp/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c heuristics/trivial/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/trysol/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c heuristics/undercover/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/veclendiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/zirounding/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c propagating/probing/maxprerounds = 0
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c separating/cmir/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c separating/flowcover/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c separating/rapidlearning/freq = 0
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/indoneopt/freq = -1
0.00/0.06 c
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c start solving
0.00/0.06 c
0.07/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.07/0.07 c 0.1s| 1 | 0 | 76 | - |4259k| 0 | 36 | 231 |2443 | 231 |2443 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.20 c 0.2s| 1 | 0 | 90 | - |4717k| 0 | 39 | 231 |2747 | 231 |2450 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.24 c 0.2s| 1 | 0 | 105 | - |5046k| 0 | 45 | 231 |2747 | 231 |2454 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.28 c 0.3s| 1 | 0 | 120 | - |5489k| 0 | 46 | 231 |2747 | 231 |2455 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.28/0.32 c 0.3s| 1 | 0 | 139 | - |5932k| 0 | 47 | 231 |2747 | 231 |2457 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.48 c 0.5s| 1 | 0 | 146 | - |6277k| 0 | 51 | 231 |2747 | 231 |2460 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.65 c 0.7s| 1 | 2 | 146 | - |6277k| 0 | 51 | 231 |2747 | 231 |2460 | 17 | 0 | 10 | 0.000000e+00 | -- | Inf
8.89/8.90 c 8.9s| 100 | 10 | 4614 | 45.1 |6417k| 23 | 37 | 231 |2769 | 231 |2453 | 17 | 25 |1640 | 0.000000e+00 | -- | Inf
9.89/9.99 c 10.0s| 200 | 22 | 6711 | 33.0 |6473k| 27 | 39 | 231 |2811 | 231 |2453 | 17 | 67 |1844 | 0.000000e+00 | -- | Inf
10.28/10.38 c 10.4s| 300 | 27 | 8422 | 27.7 |6513k| 27 | - | 231 |2865 | 231 |2453 | 17 | 121 |1887 | 0.000000e+00 | -- | Inf
10.68/10.77 c 10.8s| 400 | 33 | 10307 | 25.5 |6540k| 27 | 26 | 231 |2918 | 231 |2453 | 17 | 174 |1927 | 0.000000e+00 | -- | Inf
10.99/11.01 c 11.0s| 500 | 38 | 11895 | 23.5 |6577k| 27 | - | 231 |2974 | 231 |2453 | 17 | 231 |1938 | 0.000000e+00 | -- | Inf
11.18/11.23 c 11.2s| 600 | 42 | 13448 | 22.2 |6599k| 27 | 26 | 231 |3020 | 231 |2453 | 17 | 277 |1941 | 0.000000e+00 | -- | Inf
11.38/11.43 c 11.4s| 700 | 42 | 14871 | 21.1 |6629k| 29 | - | 231 |3087 | 231 |2453 | 17 | 345 |1944 | 0.000000e+00 | -- | Inf
11.58/11.65 c 11.6s| 800 | 42 | 16110 | 20.0 |6646k| 32 | 32 | 231 |3139 | 231 |2453 | 17 | 397 |1954 | 0.000000e+00 | -- | Inf
11.78/11.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.78/11.88 c 11.9s| 900 | 44 | 17794 | 19.6 |6673k| 32 | - | 231 |3191 | 231 |2453 | 17 | 449 |1959 | 0.000000e+00 | -- | Inf
11.99/12.08 c 12.1s| 1000 | 44 | 19374 | 19.2 |6700k| 32 | - | 231 |3251 | 0 | 0 | 17 | 509 |1960 | 0.000000e+00 | -- | Inf
12.28/12.30 c 12.3s| 1100 | 44 | 20978 | 19.0 |6727k| 32 | - | 231 |3305 | 231 |2453 | 17 | 563 |1962 | 0.000000e+00 | -- | Inf
12.48/12.57 c 12.6s| 1200 | 43 | 22692 | 18.8 |6746k| 32 | 35 | 231 |3358 | 231 |2453 | 17 | 618 |1976 | 0.000000e+00 | -- | Inf
12.78/12.85 c 12.9s| 1300 | 43 | 24296 | 18.6 |6769k| 32 | 32 | 231 |3417 | 231 |2453 | 17 | 679 |1995 | 0.000000e+00 | -- | Inf
13.09/13.13 c 13.1s| 1400 | 38 | 26027 | 18.5 |6775k| 32 | - | 231 |3466 | 231 |2453 | 17 | 731 |2009 | 0.000000e+00 | -- | Inf
13.38/13.40 c 13.4s| 1500 | 38 | 27612 | 18.3 |6801k| 32 | - | 231 |3516 | 231 |2453 | 17 | 784 |2024 | 0.000000e+00 | -- | Inf
13.58/13.66 c 13.7s| 1600 | 42 | 29131 | 18.1 |6827k| 32 | 30 | 231 |3566 | 231 |2453 | 17 | 836 |2040 | 0.000000e+00 | -- | Inf
13.88/13.90 c 13.9s| 1700 | 40 | 30724 | 18.0 |6852k| 33 | - | 231 |3631 | 231 |2453 | 17 | 901 |2047 | 0.000000e+00 | -- | Inf
14.08/14.16 c 14.2s| 1800 | 42 | 32475 | 18.0 |6875k| 33 | - | 231 |3689 | 231 |2453 | 17 | 962 |2058 | 0.000000e+00 | -- | Inf
14.28/14.39 c 14.4s| 1900 | 42 | 33950 | 17.8 |6896k| 33 | 31 | 231 |3741 | 231 |2453 | 17 |1017 |2066 | 0.000000e+00 | -- | Inf
14.58/14.64 c 14.6s| 2000 | 49 | 35727 | 17.8 |6941k| 33 | - | 231 |3799 | 231 |2453 | 17 |1084 |2073 | 0.000000e+00 | -- | Inf
14.78/14.86 c 14.9s| 2100 | 48 | 37394 | 17.7 |6955k| 33 | 23 | 231 |3857 | 231 |2453 | 17 |1148 |2076 | 0.000000e+00 | -- | Inf
15.08/15.10 c 15.1s| 2200 | 51 | 39308 | 17.8 |6982k| 33 | 41 | 231 |3909 | 231 |2453 | 17 |1205 |2078 | 0.000000e+00 | -- | Inf
15.29/15.34 c 15.3s| 2300 | 50 | 41114 | 17.8 |7002k| 33 | 33 | 231 |3971 | 231 |2453 | 17 |1269 |2079 | 0.000000e+00 | -- | Inf
15.48/15.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.48/15.58 c 15.6s| 2400 | 45 | 43044 | 17.9 |7014k| 33 | - | 231 |4025 | 231 |2453 | 17 |1327 |2080 | 0.000000e+00 | -- | Inf
15.78/15.83 c 15.8s| 2500 | 43 | 45124 | 18.0 |7029k| 33 | - | 231 |4080 | 231 |2453 | 17 |1387 |2080 | 0.000000e+00 | -- | Inf
15.98/16.08 c 16.1s| 2600 | 43 | 47137 | 18.1 |7052k| 33 | 37 | 231 |4129 | 231 |2453 | 17 |1445 |2080 | 0.000000e+00 | -- | Inf
16.28/16.35 c 16.4s| 2700 | 47 | 49194 | 18.2 |7083k| 33 | - | 231 |4183 | 231 |2453 | 17 |1508 |2081 | 0.000000e+00 | -- | Inf
16.49/16.59 c 16.6s| 2800 | 47 | 51110 | 18.2 |7111k| 33 | - | 231 |4232 | 231 |2453 | 17 |1561 |2081 | 0.000000e+00 | -- | Inf
16.78/16.83 c 16.8s| 2900 | 47 | 53081 | 18.3 |7131k| 33 | - | 231 |4289 | 231 |2453 | 17 |1626 |2081 | 0.000000e+00 | -- | Inf
16.98/17.06 c 17.1s| 3000 | 55 | 54873 | 18.2 |7167k| 33 | 25 | 231 |4340 | 231 |2453 | 17 |1684 |2081 | 0.000000e+00 | -- | Inf
17.28/17.32 c 17.3s| 3100 | 54 | 56524 | 18.2 |7183k| 33 | 36 | 231 |4391 | 231 |2453 | 17 |1739 |2093 | 0.000000e+00 | -- | Inf
17.59/17.62 c 17.6s| 3200 | 62 | 58333 | 18.2 |7226k| 33 | 32 | 231 |4444 | 231 |2453 | 17 |1796 |2112 | 0.000000e+00 | -- | Inf
17.78/17.86 c 17.9s| 3300 | 58 | 59794 | 18.1 |7237k| 33 | - | 231 |4499 | 231 |2453 | 17 |1856 |2124 | 0.000000e+00 | -- | Inf
18.08/18.17 c 18.2s| 3400 | 58 | 61565 | 18.1 |7257k| 33 | - | 231 |4514 | 231 |2453 | 17 |1908 |2146 | 0.000000e+00 | -- | Inf
18.38/18.45 c 18.4s| 3500 | 56 | 63302 | 18.0 |7277k| 33 | - | 231 |4586 | 231 |2453 | 17 |1982 |2160 | 0.000000e+00 | -- | Inf
18.69/18.73 c 18.7s| 3600 | 58 | 64903 | 18.0 |7301k| 33 | - | 231 |4618 | 231 |2453 | 17 |2039 |2177 | 0.000000e+00 | -- | Inf
18.98/19.03 c 19.0s| 3700 | 56 | 66741 | 18.0 |7317k| 33 | 42 | 231 |4677 | 231 |2453 | 17 |2098 |2194 | 0.000000e+00 | -- | Inf
19.28/19.30 c 19.3s| 3800 | 58 | 68340 | 18.0 |7343k| 33 | 20 | 231 |4732 | 231 |2453 | 17 |2153 |2210 | 0.000000e+00 | -- | Inf
19.58/19.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.58/19.60 c 19.6s| 3900 | 54 | 70090 | 17.9 |7365k| 33 | - | 231 |4787 | 231 |2453 | 17 |2219 |2229 | 0.000000e+00 | -- | Inf
19.78/19.87 c 19.9s| 4000 | 55 | 71579 | 17.9 |7380k| 34 | 32 | 231 |4809 | 231 |2453 | 17 |2272 |2247 | 0.000000e+00 | -- | Inf
20.07/20.13 c 20.1s| 4100 | 59 | 73204 | 17.8 |7414k| 34 | 32 | 231 |4840 | 231 |2453 | 17 |2330 |2258 | 0.000000e+00 | -- | Inf
20.28/20.38 c 20.4s| 4200 | 57 | 74956 | 17.8 |7435k| 34 | 27 | 231 |4883 | 231 |2453 | 17 |2390 |2264 | 0.000000e+00 | -- | Inf
20.58/20.63 c 20.6s| 4300 | 55 | 76729 | 17.8 |7450k| 34 | - | 231 |4912 | 231 |2453 | 17 |2442 |2268 | 0.000000e+00 | -- | Inf
20.78/20.86 c 20.9s| 4400 | 59 | 78557 | 17.8 |7479k| 34 | - | 231 |4951 | 231 |2453 | 17 |2499 |2268 | 0.000000e+00 | -- | Inf
21.08/21.13 c 21.1s| 4500 | 61 | 80576 | 17.9 |7500k| 34 | - | 231 |4989 | 231 |2453 | 17 |2558 |2273 | 0.000000e+00 | -- | Inf
21.28/21.37 c 21.4s| 4600 | 55 | 82371 | 17.9 |7501k| 34 | - | 231 |5039 | 231 |2453 | 17 |2621 |2274 | 0.000000e+00 | -- | Inf
21.58/21.63 c 21.6s| 4700 | 59 | 84378 | 17.9 |7530k| 36 | - | 231 |5085 | 231 |2453 | 17 |2684 |2277 | 0.000000e+00 | -- | Inf
21.78/21.86 c 21.9s| 4800 | 59 | 86214 | 17.9 |7551k| 36 | 32 | 231 |5140 | 231 |2453 | 17 |2749 |2277 | 0.000000e+00 | -- | Inf
22.08/22.10 c 22.1s| 4900 | 57 | 88105 | 18.0 |7579k| 36 | - | 231 |5198 | 231 |2453 | 17 |2822 |2279 | 0.000000e+00 | -- | Inf
22.28/22.35 c 22.3s| 5000 | 57 | 90023 | 18.0 |7597k| 36 | - | 231 |5234 | 0 | 0 | 17 |2891 |2279 | 0.000000e+00 | -- | Inf
22.47/22.57 c 22.6s| 5100 | 54 | 91705 | 18.0 |7616k| 36 | - | 231 |5283 | 231 |2453 | 17 |2954 |2280 | 0.000000e+00 | -- | Inf
22.78/22.80 c 22.8s| 5200 | 53 | 93431 | 17.9 |7616k| 36 | 37 | 231 |5309 | 231 |2453 | 17 |3027 |2280 | 0.000000e+00 | -- | Inf
22.98/23.05 c 23.1s| 5300 | 53 | 95404 | 18.0 |7626k| 36 | 38 | 231 |5335 | 231 |2453 | 17 |3080 |2281 | 0.000000e+00 | -- | Inf
23.28/23.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.28/23.31 c 23.3s| 5400 | 53 | 97455 | 18.0 |7643k| 36 | 41 | 231 |5378 | 231 |2453 | 17 |3141 |2281 | 0.000000e+00 | -- | Inf
23.47/23.57 c 23.6s| 5500 | 53 | 99620 | 18.1 |7657k| 36 | 36 | 231 |5409 | 231 |2453 | 17 |3200 |2281 | 0.000000e+00 | -- | Inf
23.88/23.91 c 23.9s| 5600 | 55 |101673 | 18.1 |7680k| 36 | - | 231 |5450 | 231 |2453 | 17 |3263 |2299 | 0.000000e+00 | -- | Inf
24.08/24.17 c 24.2s| 5700 | 59 |103402 | 18.1 |7706k| 36 | 35 | 231 |5507 | 231 |2453 | 17 |3332 |2308 | 0.000000e+00 | -- | Inf
24.38/24.49 c 24.5s| 5800 | 56 |105179 | 18.1 |7724k| 36 | 33 | 231 |5576 | 231 |2453 | 17 |3401 |2332 | 0.000000e+00 | -- | Inf
24.68/24.75 c 24.7s| 5900 | 52 |106877 | 18.1 |7733k| 36 | - | 231 |5624 | 231 |2453 | 17 |3464 |2341 | 0.000000e+00 | -- | Inf
24.97/25.00 c 25.0s| 6000 | 51 |108285 | 18.0 |7740k| 36 | 36 | 231 |5653 | 231 |2453 | 17 |3529 |2355 | 0.000000e+00 | -- | Inf
25.18/25.29 c 25.3s| 6100 | 49 |110093 | 18.0 |7761k| 36 | 30 | 231 |5689 | 231 |2453 | 17 |3593 |2369 | 0.000000e+00 | -- | Inf
25.58/25.60 c 25.6s| 6200 | 51 |112027 | 18.0 |7772k| 36 | - | 231 |5706 | 231 |2453 | 17 |3649 |2383 | 0.000000e+00 | -- | Inf
25.87/25.90 c 25.9s| 6300 | 53 |113826 | 18.0 |7790k| 36 | 41 | 231 |5741 | 231 |2453 | 17 |3704 |2399 | 0.000000e+00 | -- | Inf
26.18/26.21 c 26.2s| 6400 | 57 |115614 | 18.0 |7824k| 36 | 31 | 231 |5782 | 231 |2453 | 17 |3765 |2416 | 0.000000e+00 | -- | Inf
26.48/26.50 c 26.5s| 6500 | 51 |117564 | 18.1 |7831k| 36 | - | 231 |5834 | 231 |2453 | 17 |3825 |2427 | 0.000000e+00 | -- | Inf
26.78/26.84 c 26.8s| 6600 | 50 |119522 | 18.1 |7853k| 36 | - | 231 |5878 | 231 |2453 | 17 |3892 |2450 | 0.000000e+00 | -- | Inf
27.07/27.12 c 27.1s| 6700 | 50 |121419 | 18.1 |7861k| 36 | 34 | 231 |5907 | 231 |2453 | 17 |3946 |2459 | 0.000000e+00 | -- | Inf
27.28/27.38 c 27.4s| 6800 | 52 |123212 | 18.1 |7877k| 36 | 38 | 231 |5937 | 231 |2453 | 17 |4003 |2464 | 0.000000e+00 | -- | Inf
27.57/27.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.57/27.61 c 27.6s| 6900 | 51 |124964 | 18.1 |7899k| 36 | - | 231 |5996 | 231 |2453 | 17 |4068 |2467 | 0.000000e+00 | -- | Inf
27.78/27.84 c 27.8s| 7000 | 51 |126716 | 18.1 |7914k| 36 | - | 231 |6045 | 231 |2453 | 17 |4132 |2468 | 0.000000e+00 | -- | Inf
27.98/28.07 c 28.1s| 7100 | 52 |128350 | 18.1 |7926k| 36 | 38 | 231 |6089 | 231 |2453 | 17 |4208 |2469 | 0.000000e+00 | -- | Inf
28.27/28.32 c 28.3s| 7200 | 52 |130265 | 18.1 |7957k| 36 | - | 231 |6163 | 231 |2453 | 17 |4290 |2471 | 0.000000e+00 | -- | Inf
28.48/28.57 c 28.6s| 7300 | 50 |132226 | 18.1 |7971k| 36 | 38 | 231 |6227 | 231 |2453 | 17 |4366 |2471 | 0.000000e+00 | -- | Inf
28.78/28.80 c 28.8s| 7400 | 52 |134003 | 18.1 |7977k| 36 | 38 | 231 |6255 | 231 |2453 | 17 |4423 |2472 | 0.000000e+00 | -- | Inf
28.98/29.03 c 29.0s| 7500 | 55 |135748 | 18.1 |7998k| 36 | 24 | 231 |6289 | 231 |2453 | 17 |4476 |2475 | 0.000000e+00 | -- | Inf
29.18/29.27 c 29.3s| 7600 | 59 |137545 | 18.1 |8032k| 36 | - | 231 |6335 | 231 |2453 | 17 |4530 |2477 | 0.000000e+00 | -- | Inf
29.47/29.53 c 29.5s| 7700 | 63 |139674 | 18.1 |8056k| 36 | 36 | 231 |6376 | 231 |2453 | 17 |4590 |2477 | 0.000000e+00 | -- | Inf
29.68/29.78 c 29.8s| 7800 | 61 |141530 | 18.1 |8072k| 36 | 39 | 231 |6419 | 231 |2453 | 17 |4645 |2477 | 0.000000e+00 | -- | Inf
29.98/30.01 c 30.0s| 7900 | 57 |143331 | 18.1 |8086k| 36 | - | 231 |6470 | 231 |2453 | 17 |4704 |2477 | 0.000000e+00 | -- | Inf
30.17/30.23 c 30.2s| 8000 | 59 |144901 | 18.1 |8109k| 36 | 29 | 231 |6513 | 231 |2453 | 17 |4760 |2477 | 0.000000e+00 | -- | Inf
30.47/30.50 c 30.5s| 8100 | 59 |146987 | 18.1 |8116k| 36 | 30 | 231 |6538 | 231 |2453 | 17 |4823 |2477 | 0.000000e+00 | -- | Inf
30.69/30.75 c 30.7s| 8200 | 65 |149051 | 18.2 |8140k| 36 | - | 231 |6540 | 231 |2453 | 17 |4880 |2477 | 0.000000e+00 | -- | Inf
30.88/30.98 c 31.0s| 8300 | 67 |150554 | 18.1 |8160k| 36 | 24 | 231 |6597 | 231 |2453 | 17 |4948 |2486 | 0.000000e+00 | -- | Inf
31.17/31.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.17/31.23 c 31.2s| 8400 | 69 |152175 | 18.1 |8188k| 36 | - | 231 |6648 | 231 |2453 | 17 |5004 |2498 | 0.000000e+00 | -- | Inf
31.48/31.57 c 31.6s| 8500 | 65 |154165 | 18.1 |8190k| 36 | - | 231 |6677 | 231 |2453 | 17 |5060 |2521 | 0.000000e+00 | -- | Inf
31.79/31.85 c 31.8s| 8600 | 67 |156096 | 18.1 |8213k| 36 | - | 231 |6722 | 0 | 0 | 17 |5112 |2531 | 0.000000e+00 | -- | Inf
31.98/32.05 c 32.0s| 8700 | 69 |157332 | 18.1 |8238k| 36 | - | 231 |6773 | 0 | 0 | 17 |5170 |2535 | 0.000000e+00 | -- | Inf
32.27/32.34 c 32.3s| 8800 | 72 |159092 | 18.1 |8261k| 36 | 30 | 231 |6828 | 231 |2453 | 17 |5230 |2554 | 0.000000e+00 | -- | Inf
32.58/32.61 c 32.6s| 8900 | 70 |160816 | 18.1 |8272k| 36 | 35 | 231 |6880 | 231 |2453 | 17 |5283 |2568 | 0.000000e+00 | -- | Inf
32.89/32.91 c 32.9s| 9000 | 64 |162688 | 18.1 |8287k| 36 | - | 231 |6926 | 231 |2453 | 17 |5334 |2581 | 0.000000e+00 | -- | Inf
33.18/33.22 c 33.2s| 9100 | 66 |164693 | 18.1 |8304k| 36 | 25 | 231 |6958 | 231 |2453 | 17 |5391 |2598 | 0.000000e+00 | -- | Inf
33.48/33.53 c 33.5s| 9200 | 68 |166768 | 18.1 |8330k| 36 | 27 | 231 |6981 | 231 |2453 | 17 |5449 |2614 | 0.000000e+00 | -- | Inf
33.78/33.85 c 33.8s| 9300 | 66 |168731 | 18.1 |8347k| 36 | - | 231 |7038 | 231 |2453 | 17 |5518 |2632 | 0.000000e+00 | -- | Inf
34.09/34.14 c 34.1s| 9400 | 64 |170829 | 18.2 |8359k| 36 | - | 231 |7087 | 231 |2453 | 17 |5580 |2642 | 0.000000e+00 | -- | Inf
34.38/34.46 c 34.5s| 9500 | 62 |173063 | 18.2 |8373k| 36 | - | 231 |7136 | 231 |2453 | 17 |5647 |2655 | 0.000000e+00 | -- | Inf
34.68/34.74 c 34.7s| 9600 | 62 |175114 | 18.2 |8398k| 36 | 35 | 231 |7187 | 231 |2453 | 17 |5720 |2661 | 0.000000e+00 | -- | Inf
34.98/35.05 c 35.1s| 9700 | 70 |177069 | 18.2 |8442k| 36 | - | 231 |7231 | 231 |2453 | 17 |5783 |2677 | 0.000000e+00 | -- | Inf
35.27/35.30 c 35.3s| 9800 | 72 |178986 | 18.3 |8460k| 36 | - | 231 |7261 | 231 |2453 | 17 |5835 |2678 | 0.000000e+00 | -- | Inf
35.48/35.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.48/35.54 c 35.5s| 9900 | 71 |180933 | 18.3 |8481k| 36 | - | 231 |7319 | 231 |2453 | 17 |5899 |2678 | 0.000000e+00 | -- | Inf
35.68/35.77 c 35.8s| 10000 | 71 |182718 | 18.3 |8499k| 36 | 33 | 231 |7368 | 231 |2453 | 17 |5958 |2678 | 0.000000e+00 | -- | Inf
35.87/35.97 c 36.0s| 10100 | 70 |184294 | 18.2 |8517k| 36 | - | 231 |7417 | 231 |2453 | 17 |6014 |2678 | 0.000000e+00 | -- | Inf
36.08/36.19 c 36.2s| 10200 | 71 |185921 | 18.2 |8544k| 36 | - | 231 |7464 | 231 |2453 | 17 |6069 |2678 | 0.000000e+00 | -- | Inf
36.38/36.43 c 36.4s| 10300 | 72 |187781 | 18.2 |8566k| 36 | 43 | 231 |7521 | 231 |2453 | 17 |6140 |2678 | 0.000000e+00 | -- | Inf
36.57/36.65 c 36.7s| 10400 | 74 |189530 | 18.2 |8600k| 36 | - | 231 |7578 | 231 |2453 | 17 |6204 |2678 | 0.000000e+00 | -- | Inf
36.77/36.89 c 36.9s| 10500 | 74 |191437 | 18.2 |8631k| 36 | - | 231 |7642 | 231 |2453 | 17 |6275 |2678 | 0.000000e+00 | -- | Inf
37.07/37.13 c 37.1s| 10600 | 73 |193247 | 18.2 |8654k| 36 | - | 231 |7698 | 231 |2453 | 17 |6337 |2679 | 0.000000e+00 | -- | Inf
37.28/37.36 c 37.4s| 10700 | 75 |195015 | 18.2 |8676k| 38 | 43 | 231 |7744 | 231 |2453 | 17 |6392 |2679 | 0.000000e+00 | -- | Inf
37.58/37.61 c 37.6s| 10800 | 81 |196957 | 18.2 |8723k| 38 | - | 231 |7804 | 231 |2453 | 17 |6456 |2679 | 0.000000e+00 | -- | Inf
37.77/37.84 c 37.8s| 10900 | 85 |198730 | 18.2 |8760k| 38 | 41 | 231 |7866 | 231 |2453 | 17 |6523 |2680 | 0.000000e+00 | -- | Inf
37.97/38.08 c 38.1s| 11000 | 82 |200561 | 18.2 |8781k| 38 | - | 231 |7922 | 231 |2453 | 17 |6580 |2681 | 0.000000e+00 | -- | Inf
38.27/38.31 c 38.3s| 11100 | 85 |202365 | 18.2 |8813k| 39 | - | 231 |7983 | 231 |2453 | 17 |6644 |2682 | 0.000000e+00 | -- | Inf
38.48/38.55 c 38.5s| 11200 | 84 |204161 | 18.2 |8833k| 39 | 28 | 231 |8042 | 231 |2453 | 17 |6709 |2683 | 0.000000e+00 | -- | Inf
38.67/38.79 c 38.8s| 11300 | 84 |205989 | 18.2 |8871k| 39 | - | 231 |8071 | 231 |2453 | 17 |6769 |2684 | 0.000000e+00 | -- | Inf
38.98/39.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.98/39.05 c 39.1s| 11400 | 84 |207913 | 18.2 |8892k| 39 | - | 231 |8057 | 231 |2453 | 17 |6825 |2686 | 0.000000e+00 | -- | Inf
39.28/39.31 c 39.3s| 11500 | 87 |209899 | 18.2 |8885k| 39 | 26 | 231 |8018 | 231 |2453 | 17 |6885 |2686 | 0.000000e+00 | -- | Inf
39.49/39.58 c 39.6s| 11600 | 85 |212100 | 18.3 |8887k| 39 | 41 | 231 |8034 | 231 |2453 | 17 |6939 |2686 | 0.000000e+00 | -- | Inf
39.77/39.80 c 39.8s| 11700 | 85 |213721 | 18.3 |8905k| 39 | - | 231 |8067 | 231 |2453 | 17 |6999 |2686 | 0.000000e+00 | -- | Inf
39.98/40.04 c 40.0s| 11800 | 85 |215483 | 18.3 |8905k| 39 | 27 | 231 |8058 | 231 |2453 | 17 |7065 |2687 | 0.000000e+00 | -- | Inf
40.17/40.27 c 40.3s| 11900 | 85 |217230 | 18.2 |8897k| 39 | - | 231 |8076 | 231 |2453 | 17 |7139 |2687 | 0.000000e+00 | -- | Inf
40.48/40.50 c 40.5s| 12000 | 83 |218928 | 18.2 |8889k| 39 | 29 | 231 |8067 | 231 |2453 | 17 |7201 |2687 | 0.000000e+00 | -- | Inf
40.68/40.73 c 40.7s| 12100 | 82 |220709 | 18.2 |8878k| 39 | - | 231 |8034 | 231 |2453 | 17 |7258 |2687 | 0.000000e+00 | -- | Inf
40.97/41.02 c 41.0s| 12200 | 81 |223074 | 18.3 |8843k| 39 | 41 | 231 |7940 | 231 |2453 | 17 |7320 |2687 | 0.000000e+00 | -- | Inf
41.18/41.26 c 41.3s| 12300 | 83 |224953 | 18.3 |8831k| 39 | - | 231 |7871 | 231 |2453 | 17 |7393 |2687 | 0.000000e+00 | -- | Inf
41.37/41.47 c 41.5s| 12400 | 83 |226459 | 18.3 |8839k| 39 | - | 231 |7889 | 231 |2453 | 17 |7462 |2687 | 0.000000e+00 | -- | Inf
41.68/41.70 c 41.7s| 12500 | 85 |228231 | 18.2 |8860k| 41 | 34 | 231 |7928 | 231 |2453 | 17 |7518 |2687 | 0.000000e+00 | -- | Inf
41.88/41.93 c 41.9s| 12600 | 81 |229840 | 18.2 |8859k| 41 | - | 231 |7955 | 231 |2453 | 17 |7584 |2687 | 0.000000e+00 | -- | Inf
42.07/42.14 c 42.1s| 12700 | 82 |231368 | 18.2 |8862k| 41 | 27 | 231 |7961 | 231 |2453 | 17 |7646 |2687 | 0.000000e+00 | -- | Inf
42.27/42.36 c 42.4s| 12800 | 80 |233070 | 18.2 |8868k| 41 | 28 | 231 |7993 | 231 |2453 | 17 |7707 |2687 | 0.000000e+00 | -- | Inf
42.58/42.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.58/42.61 c 42.6s| 12900 | 75 |235042 | 18.2 |8850k| 41 | 29 | 231 |7988 | 231 |2453 | 17 |7780 |2687 | 0.000000e+00 | -- | Inf
42.78/42.86 c 42.9s| 13000 | 75 |236987 | 18.2 |8849k| 41 | 30 | 231 |7958 | 231 |2453 | 17 |7844 |2687 | 0.000000e+00 | -- | Inf
43.08/43.10 c 43.1s| 13100 | 79 |238797 | 18.2 |8864k| 41 | 27 | 231 |7934 | 231 |2453 | 17 |7909 |2687 | 0.000000e+00 | -- | Inf
43.27/43.31 c 43.3s| 13200 | 79 |240369 | 18.2 |8874k| 41 | 35 | 231 |7959 | 231 |2453 | 17 |7967 |2687 | 0.000000e+00 | -- | Inf
43.48/43.54 c 43.5s| 13300 | 79 |242246 | 18.2 |8888k| 41 | - | 231 |7990 | 231 |2453 | 17 |8015 |2687 | 0.000000e+00 | -- | Inf
43.77/43.82 c 43.8s| 13400 | 75 |244566 | 18.2 |8888k| 41 | - | 231 |8013 | 231 |2453 | 17 |8072 |2687 | 0.000000e+00 | -- | Inf
43.98/44.07 c 44.1s| 13500 | 77 |246598 | 18.3 |8893k| 41 | - | 231 |8013 | 231 |2453 | 17 |8126 |2687 | 0.000000e+00 | -- | Inf
44.27/44.33 c 44.3s| 13600 | 79 |248680 | 18.3 |8914k| 41 | 27 | 231 |8058 | 231 |2453 | 17 |8187 |2687 | 0.000000e+00 | -- | Inf
44.47/44.59 c 44.6s| 13700 | 75 |250766 | 18.3 |8926k| 41 | - | 231 |8110 | 231 |2453 | 17 |8241 |2687 | 0.000000e+00 | -- | Inf
44.77/44.85 c 44.9s| 13800 | 75 |252920 | 18.3 |8941k| 41 | - | 231 |8154 | 231 |2453 | 17 |8304 |2687 | 0.000000e+00 | -- | Inf
45.08/45.10 c 45.1s| 13900 | 76 |254916 | 18.3 |8961k| 41 | 38 | 231 |8207 | 231 |2453 | 17 |8381 |2687 | 0.000000e+00 | -- | Inf
45.28/45.33 c 45.3s| 14000 | 75 |256636 | 18.3 |8971k| 41 | 30 | 231 |8227 | 231 |2453 | 17 |8459 |2687 | 0.000000e+00 | -- | Inf
45.48/45.54 c 45.5s| 14100 | 75 |258174 | 18.3 |8967k| 41 | - | 231 |8185 | 231 |2453 | 17 |8519 |2687 | 0.000000e+00 | -- | Inf
45.67/45.76 c 45.8s| 14200 | 74 |259828 | 18.3 |8980k| 41 | - | 231 |8215 | 231 |2453 | 17 |8596 |2687 | 0.000000e+00 | -- | Inf
45.87/45.99 c 46.0s| 14300 | 76 |261583 | 18.3 |8974k| 41 | 20 | 231 |8191 | 231 |2453 | 17 |8662 |2687 | 0.000000e+00 | -- | Inf
46.08/46.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.08/46.20 c 46.2s| 14400 | 76 |263182 | 18.3 |8988k| 41 | 26 | 231 |8242 | 231 |2453 | 17 |8741 |2687 | 0.000000e+00 | -- | Inf
46.27/46.38 c 46.4s| 14500 | 77 |264512 | 18.2 |9020k| 41 | - | 231 |8311 | 0 | 0 | 17 |8818 |2687 | 0.000000e+00 | -- | Inf
46.58/46.61 c 46.6s| 14600 | 75 |266438 | 18.2 |9031k| 41 | 36 | 231 |8364 | 231 |2453 | 17 |8887 |2687 | 0.000000e+00 | -- | Inf
46.78/46.86 c 46.9s| 14700 | 72 |268383 | 18.2 |9040k| 41 | 35 | 231 |8394 | 231 |2453 | 17 |8956 |2687 | 0.000000e+00 | -- | Inf
46.97/47.09 c 47.1s| 14800 | 71 |270109 | 18.2 |9047k| 41 | - | 231 |8412 | 231 |2453 | 17 |9009 |2687 | 0.000000e+00 | -- | Inf
47.27/47.35 c 47.3s| 14900 | 68 |272121 | 18.3 |9040k| 41 | 38 | 231 |8428 | 231 |2453 | 17 |9070 |2687 | 0.000000e+00 | -- | Inf
47.48/47.57 c 47.6s| 15000 | 70 |273817 | 18.2 |9044k| 41 | 28 | 231 |8398 | 231 |2453 | 17 |9135 |2687 | 0.000000e+00 | -- | Inf
47.77/47.80 c 47.8s| 15100 | 68 |275504 | 18.2 |9051k| 41 | - | 231 |8409 | 231 |2453 | 17 |9202 |2687 | 0.000000e+00 | -- | Inf
47.97/48.04 c 48.0s| 15200 | 68 |277264 | 18.2 |9065k| 41 | - | 231 |8446 | 231 |2453 | 17 |9280 |2687 | 0.000000e+00 | -- | Inf
48.18/48.28 c 48.3s| 15300 | 70 |279054 | 18.2 |9083k| 41 | 35 | 231 |8453 | 231 |2453 | 17 |9337 |2687 | 0.000000e+00 | -- | Inf
48.47/48.51 c 48.5s| 15400 | 72 |280812 | 18.2 |9094k| 41 | 31 | 231 |8483 | 231 |2453 | 17 |9396 |2687 | 0.000000e+00 | -- | Inf
48.67/48.77 c 48.8s| 15500 | 64 |282821 | 18.2 |9091k| 41 | - | 231 |8513 | 231 |2453 | 17 |9464 |2687 | 0.000000e+00 | -- | Inf
48.98/49.02 c 49.0s| 15600 | 64 |284743 | 18.2 |9090k| 41 | - | 231 |8508 | 231 |2453 | 17 |9534 |2687 | 0.000000e+00 | -- | Inf
49.17/49.28 c 49.3s| 15700 | 65 |286780 | 18.3 |9091k| 41 | 37 | 231 |8506 | 231 |2453 | 17 |9596 |2687 | 0.000000e+00 | -- | Inf
49.48/49.51 c 49.5s| 15800 | 57 |288417 | 18.2 |9075k| 43 | - | 231 |8534 | 231 |2453 | 17 |9664 |2687 | 0.000000e+00 | -- | Inf
49.67/49.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
49.67/49.74 c 49.7s| 15900 | 59 |290050 | 18.2 |9069k| 43 | - | 231 |8494 | 231 |2453 | 17 |9734 |2687 | 0.000000e+00 | -- | Inf
49.87/49.99 c 50.0s| 16000 | 62 |291946 | 18.2 |9084k| 43 | 20 | 231 |8526 | 231 |2453 | 17 |9791 |2687 | 0.000000e+00 | -- | Inf
50.17/50.22 c 50.2s| 16100 | 58 |293728 | 18.2 |9084k| 43 | 46 | 231 |8564 | 231 |2453 | 17 |9850 |2687 | 0.000000e+00 | -- | Inf
50.37/50.45 c 50.4s| 16200 | 57 |295449 | 18.2 |9110k| 43 | - | 231 |8610 | 231 |2453 | 17 |9926 |2687 | 0.000000e+00 | -- | Inf
50.58/50.67 c 50.7s| 16300 | 54 |297015 | 18.2 |9110k| 43 | - | 231 |8645 | 231 |2453 | 17 |9999 |2687 | 0.000000e+00 | -- | Inf
50.87/50.93 c 50.9s| 16400 | 56 |299185 | 18.2 |9123k| 43 | - | 231 |8606 | 231 |2453 | 17 | 10k|2687 | 0.000000e+00 | -- | Inf
51.07/51.16 c 51.2s| 16500 | 58 |300925 | 18.2 |9128k| 43 | 28 | 231 |8608 | 231 |2453 | 17 | 10k|2687 | 0.000000e+00 | -- | Inf
51.37/51.43 c 51.4s| 16600 | 57 |303097 | 18.3 |9145k| 43 | - | 231 |8660 | 231 |2453 | 17 | 10k|2687 | 0.000000e+00 | -- | Inf
51.58/51.65 c 51.6s| 16700 | 58 |304803 | 18.2 |9165k| 43 | - | 231 |8727 | 231 |2453 | 17 | 10k|2687 | 0.000000e+00 | -- | Inf
51.78/51.87 c 51.9s| 16800 | 59 |306604 | 18.2 |9185k| 43 | 29 | 231 |8795 | 231 |2453 | 17 | 10k|2687 | 0.000000e+00 | -- | Inf
52.07/52.12 c 52.1s| 16900 | 57 |308614 | 18.3 |9192k| 43 | - | 231 |8827 | 231 |2453 | 17 | 10k|2687 | 0.000000e+00 | -- | Inf
52.27/52.36 c 52.4s| 17000 | 53 |310370 | 18.2 |9171k| 43 | - | 231 |8839 | 231 |2453 | 17 | 10k|2687 | 0.000000e+00 | -- | Inf
52.47/52.57 c 52.6s| 17100 | 53 |311932 | 18.2 |9176k| 43 | - | 231 |8854 | 231 |2453 | 17 | 10k|2687 | 0.000000e+00 | -- | Inf
52.78/52.81 c 52.8s| 17200 | 53 |313648 | 18.2 |9190k| 43 | - | 231 |8890 | 231 |2453 | 17 | 10k|2687 | 0.000000e+00 | -- | Inf
52.97/53.05 c 53.1s| 17300 | 51 |315556 | 18.2 |9188k| 43 | - | 231 |8912 | 231 |2453 | 17 | 10k|2687 | 0.000000e+00 | -- | Inf
53.18/53.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
53.18/53.27 c 53.3s| 17400 | 51 |317104 | 18.2 |9191k| 43 | 37 | 231 |8921 | 231 |2453 | 17 | 10k|2687 | 0.000000e+00 | -- | Inf
53.47/53.52 c 53.5s| 17500 | 47 |319014 | 18.2 |9180k| 43 | 31 | 231 |8904 | 231 |2453 | 17 | 10k|2687 | 0.000000e+00 | -- | Inf
53.67/53.77 c 53.8s| 17600 | 50 |320814 | 18.2 |9154k| 43 | - | 231 |8839 | 231 |2453 | 17 | 10k|2687 | 0.000000e+00 | -- | Inf
53.98/54.02 c 54.0s| 17700 | 54 |322849 | 18.2 |9155k| 43 | 36 | 231 |8838 | 231 |2453 | 17 | 11k|2687 | 0.000000e+00 | -- | Inf
54.17/54.25 c 54.2s| 17800 | 54 |324551 | 18.2 |9175k| 43 | - | 231 |8883 | 231 |2453 | 17 | 11k|2687 | 0.000000e+00 | -- | Inf
54.37/54.46 c 54.5s| 17900 | 56 |326174 | 18.2 |9205k| 43 | - | 231 |8960 | 231 |2453 | 17 | 11k|2687 | 0.000000e+00 | -- | Inf
54.57/54.70 c 54.7s| 18000 | 54 |327959 | 18.2 |9205k| 43 | - | 231 |8973 | 231 |2453 | 17 | 11k|2687 | 0.000000e+00 | -- | Inf
54.88/54.93 c 54.9s| 18100 | 57 |329740 | 18.2 |9227k| 43 | 38 | 231 |9020 | 231 |2453 | 17 | 11k|2687 | 0.000000e+00 | -- | Inf
55.07/55.16 c 55.2s| 18200 | 55 |331558 | 18.2 |9243k| 43 | - | 231 |9071 | 231 |2453 | 17 | 11k|2687 | 0.000000e+00 | -- | Inf
55.27/55.38 c 55.4s| 18300 | 55 |333217 | 18.2 |9254k| 43 | - | 231 |9110 | 231 |2453 | 17 | 11k|2687 | 0.000000e+00 | -- | Inf
55.57/55.63 c 55.6s| 18400 | 51 |335155 | 18.2 |9254k| 43 | 39 | 231 |9143 | 231 |2453 | 17 | 11k|2687 | 0.000000e+00 | -- | Inf
55.78/55.89 c 55.9s| 18500 | 51 |337175 | 18.2 |9257k| 43 | 37 | 231 |9147 | 231 |2453 | 17 | 11k|2687 | 0.000000e+00 | -- | Inf
56.08/56.12 c 56.1s| 18600 | 51 |339009 | 18.2 |9259k| 43 | - | 231 |9142 | 231 |2453 | 17 | 11k|2687 | 0.000000e+00 | -- | Inf
56.27/56.34 c 56.3s| 18700 | 52 |340650 | 18.2 |9269k| 43 | 38 | 231 |9174 | 231 |2453 | 17 | 11k|2687 | 0.000000e+00 | -- | Inf
56.47/56.56 c 56.6s| 18800 | 54 |342257 | 18.2 |9275k| 43 | 24 | 231 |9179 | 231 |2453 | 17 | 11k|2687 | 0.000000e+00 | -- | Inf
56.67/56.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.67/56.79 c 56.8s| 18900 | 58 |343985 | 18.2 |9300k| 43 | 38 | 231 |9197 | 231 |2453 | 17 | 11k|2687 | 0.000000e+00 | -- | Inf
56.97/57.00 c 57.0s| 19000 | 58 |345458 | 18.2 |9316k| 43 | - | 231 |9198 | 231 |2453 | 17 | 11k|2687 | 0.000000e+00 | -- | Inf
57.18/57.21 c 57.2s| 19100 | 56 |346980 | 18.2 |9315k| 43 | - | 231 |9221 | 231 |2453 | 17 | 11k|2687 | 0.000000e+00 | -- | Inf
57.37/57.42 c 57.4s| 19200 | 56 |348469 | 18.1 |9322k| 43 | 26 | 231 |9256 | 231 |2453 | 17 | 12k|2687 | 0.000000e+00 | -- | Inf
57.57/57.64 c 57.6s| 19300 | 56 |350106 | 18.1 |9338k| 43 | - | 231 |9294 | 231 |2453 | 17 | 12k|2687 | 0.000000e+00 | -- | Inf
57.77/57.88 c 57.9s| 19400 | 56 |351937 | 18.1 |9352k| 43 | 37 | 231 |9345 | 231 |2453 | 17 | 12k|2687 | 0.000000e+00 | -- | Inf
58.07/58.11 c 58.1s| 19500 | 58 |353684 | 18.1 |9373k| 43 | 32 | 231 |9383 | 231 |2453 | 17 | 12k|2687 | 0.000000e+00 | -- | Inf
58.28/58.36 c 58.4s| 19600 | 56 |355625 | 18.1 |9387k| 43 | - | 231 |9413 | 231 |2453 | 17 | 12k|2687 | 0.000000e+00 | -- | Inf
58.57/58.61 c 58.6s| 19700 | 57 |357570 | 18.1 |9400k| 43 | - | 231 |9456 | 231 |2453 | 17 | 12k|2687 | 0.000000e+00 | -- | Inf
58.77/58.86 c 58.9s| 19800 | 58 |359554 | 18.2 |9428k| 43 | - | 231 |9522 | 0 | 0 | 17 | 12k|2687 | 0.000000e+00 | -- | Inf
58.97/59.06 c 59.1s| 19900 | 60 |361034 | 18.1 |9458k| 43 | - | 231 |9604 | 231 |2453 | 17 | 12k|2687 | 0.000000e+00 | -- | Inf
59.17/59.29 c 59.3s| 20000 | 56 |362854 | 18.1 |9473k| 43 | - | 231 |9670 | 231 |2453 | 17 | 12k|2687 | 0.000000e+00 | -- | Inf
59.47/59.52 c 59.5s| 20100 | 58 |364680 | 18.1 |9499k| 43 | - | 231 |9730 | 231 |2453 | 17 | 12k|2687 | 0.000000e+00 | -- | Inf
59.77/59.80 c 59.8s| 20200 | 61 |366932 | 18.2 |9523k| 43 | - | 231 |9783 | 231 |2453 | 17 | 12k|2687 | 0.000000e+00 | -- | Inf
59.97/60.03 c 60.0s| 20300 | 61 |368709 | 18.2 |9536k| 43 | 36 | 231 |9834 | 231 |2453 | 17 | 12k|2687 | 0.000000e+00 | -- | Inf
60.17/60.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.17/60.28 c 60.3s| 20400 | 61 |370749 | 18.2 |9559k| 43 | - | 231 |9888 | 231 |2453 | 17 | 12k|2687 | 0.000000e+00 | -- | Inf
60.47/60.54 c 60.5s| 20500 | 61 |372786 | 18.2 |9583k| 43 | - | 231 |9952 | 231 |2453 | 17 | 12k|2687 | 0.000000e+00 | -- | Inf
60.77/60.80 c 60.8s| 20600 | 61 |374864 | 18.2 |9602k| 43 | - | 231 | 10k| 231 |2453 | 17 | 12k|2687 | 0.000000e+00 | -- | Inf
60.97/61.03 c 61.0s| 20700 | 60 |376762 | 18.2 |9624k| 43 | - | 231 | 10k| 231 |2453 | 17 | 12k|2687 | 0.000000e+00 | -- | Inf
61.17/61.26 c 61.3s| 20800 | 59 |378413 | 18.2 |9643k| 43 | 40 | 231 | 10k| 231 |2453 | 17 | 13k|2687 | 0.000000e+00 | -- | Inf
61.37/61.50 c 61.5s| 20900 | 59 |380213 | 18.2 |9661k| 43 | 34 | 231 | 10k| 231 |2453 | 17 | 13k|2687 | 0.000000e+00 | -- | Inf
61.67/61.75 c 61.8s| 21000 | 57 |382101 | 18.2 |9671k| 43 | 40 | 231 | 10k| 231 |2453 | 17 | 13k|2687 | 0.000000e+00 | -- | Inf
61.97/62.00 c 62.0s| 21100 | 54 |384039 | 18.2 |9692k| 43 | - | 231 | 10k| 231 |2453 | 17 | 13k|2687 | 0.000000e+00 | -- | Inf
62.17/62.25 c 62.2s| 21200 | 53 |385827 | 18.2 |9706k| 43 | 39 | 231 | 10k| 231 |2453 | 17 | 13k|2687 | 0.000000e+00 | -- | Inf
62.37/62.46 c 62.5s| 21300 | 57 |387354 | 18.2 |9730k| 43 | 33 | 231 | 10k| 231 |2453 | 17 | 13k|2687 | 0.000000e+00 | -- | Inf
62.67/62.73 c 62.7s| 21400 | 58 |389496 | 18.2 |9725k| 43 | 37 | 231 | 10k| 231 |2453 | 17 | 13k|2687 | 0.000000e+00 | -- | Inf
62.98/63.00 c 63.0s| 21500 | 57 |391583 | 18.2 |9737k| 43 | - | 231 | 10k| 231 |2453 | 17 | 13k|2687 | 0.000000e+00 | -- | Inf
63.17/63.26 c 63.3s| 21600 | 59 |393555 | 18.2 |9745k| 43 | - | 231 | 10k| 231 |2453 | 17 | 13k|2687 | 0.000000e+00 | -- | Inf
63.47/63.53 c 63.5s| 21700 | 59 |395751 | 18.2 |9749k| 43 | 28 | 231 | 10k| 231 |2453 | 17 | 13k|2687 | 0.000000e+00 | -- | Inf
63.68/63.79 c 63.8s| 21800 | 61 |397871 | 18.2 |9767k| 43 | - | 231 | 10k| 231 |2453 | 17 | 13k|2687 | 0.000000e+00 | -- | Inf
63.97/64.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.97/64.07 c 64.1s| 21900 | 63 |400035 | 18.3 |9777k| 43 | 37 | 231 | 10k| 231 |2453 | 17 | 13k|2687 | 0.000000e+00 | -- | Inf
64.27/64.32 c 64.3s| 22000 | 61 |402048 | 18.3 |9789k| 43 | - | 231 | 10k| 231 |2453 | 17 | 13k|2687 | 0.000000e+00 | -- | Inf
64.47/64.59 c 64.6s| 22100 | 63 |404251 | 18.3 |9811k| 43 | - | 231 | 10k| 231 |2453 | 17 | 13k|2687 | 0.000000e+00 | -- | Inf
64.78/64.87 c 64.9s| 22200 | 61 |406499 | 18.3 |9834k| 43 | - | 231 | 10k| 231 |2453 | 17 | 13k|2687 | 0.000000e+00 | -- | Inf
65.07/65.19 c 65.2s| 22300 | 63 |408615 | 18.3 |9860k| 43 | 27 | 231 | 10k| 231 |2453 | 17 | 14k|2698 | 0.000000e+00 | -- | Inf
65.37/65.49 c 65.5s| 22400 | 60 |410650 | 18.3 |9882k| 43 | - | 231 | 10k| 231 |2453 | 17 | 14k|2711 | 0.000000e+00 | -- | Inf
65.77/65.85 c 65.8s| 22500 | 57 |412920 | 18.3 |9884k| 43 | 43 | 231 | 10k| 231 |2453 | 17 | 14k|2729 | 0.000000e+00 | -- | Inf
66.07/66.19 c 66.2s| 22600 | 58 |414857 | 18.4 |9877k| 43 | 33 | 231 | 10k| 231 |2453 | 17 | 14k|2747 | 0.000000e+00 | -- | Inf
66.47/66.52 c 66.5s| 22700 | 56 |417045 | 18.4 |9878k| 43 | - | 231 | 10k| 231 |2453 | 17 | 14k|2760 | 0.000000e+00 | -- | Inf
66.67/66.77 c 66.8s| 22800 | 59 |418737 | 18.4 |9872k| 43 | 39 | 231 | 10k| 231 |2453 | 17 | 14k|2768 | 0.000000e+00 | -- | Inf
66.97/67.08 c 67.1s| 22900 | 62 |420615 | 18.4 |9885k| 43 | 27 | 231 | 10k| 231 |2453 | 17 | 14k|2783 | 0.000000e+00 | -- | Inf
67.27/67.37 c 67.4s| 23000 | 63 |422459 | 18.4 |9893k| 43 | 33 | 231 | 10k| 231 |2453 | 17 | 14k|2793 | 0.000000e+00 | -- | Inf
67.56/67.68 c 67.7s| 23100 | 63 |424387 | 18.4 |9900k| 43 | - | 231 | 10k| 231 |2453 | 17 | 14k|2805 | 0.000000e+00 | -- | Inf
67.87/67.99 c 68.0s| 23200 | 67 |426360 | 18.4 |9918k| 43 | 22 | 231 | 10k| 231 |2453 | 17 | 14k|2818 | 0.000000e+00 | -- | Inf
68.17/68.29 c 68.3s| 23300 | 67 |428388 | 18.4 |9932k| 43 | - | 231 | 10k| 231 |2453 | 17 | 14k|2829 | 0.000000e+00 | -- | Inf
68.57/68.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
68.57/68.60 c 68.6s| 23400 | 82 |430332 | 18.4 |9976k| 43 | 24 | 231 | 10k| 231 |2453 | 17 | 14k|2845 | 0.000000e+00 | -- | Inf
68.67/68.79 c 68.8s| 23500 | 79 |431676 | 18.4 |9990k| 43 | 30 | 231 | 10k| 231 |2453 | 17 | 14k|2849 | 0.000000e+00 | -- | Inf
68.97/69.02 c 69.0s| 23600 | 75 |433189 | 18.4 | 10M| 43 | - | 231 | 10k| 231 |2453 | 17 | 14k|2853 | 0.000000e+00 | -- | Inf
69.18/69.27 c 69.3s| 23700 | 75 |434761 | 18.3 | 10M| 43 | 36 | 231 | 10k| 231 |2453 | 17 | 14k|2867 | 0.000000e+00 | -- | Inf
69.37/69.49 c 69.5s| 23800 | 75 |436182 | 18.3 | 10M| 43 | - | 231 | 10k| 231 |2453 | 17 | 14k|2873 | 0.000000e+00 | -- | Inf
69.67/69.75 c 69.8s| 23900 | 77 |437714 | 18.3 | 10M| 43 | 38 | 231 | 10k| 231 |2453 | 17 | 15k|2885 | 0.000000e+00 | -- | Inf
69.97/70.00 c 70.0s| 24000 | 77 |439536 | 18.3 | 10M| 43 | - | 231 | 10k| 231 |2453 | 17 | 15k|2887 | 0.000000e+00 | -- | Inf
70.17/70.28 c 70.3s| 24100 | 77 |441689 | 18.3 | 10M| 43 | - | 231 | 10k| 231 |2453 | 17 | 15k|2889 | 0.000000e+00 | -- | Inf
70.47/70.56 c 70.6s| 24200 | 75 |443800 | 18.3 | 10M| 43 | 40 | 231 | 10k| 231 |2453 | 17 | 15k|2892 | 0.000000e+00 | -- | Inf
70.67/70.80 c 70.8s| 24300 | 73 |445647 | 18.3 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 15k|2894 | 0.000000e+00 | -- | Inf
70.97/71.03 c 71.0s| 24400 | 71 |447376 | 18.3 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 15k|2898 | 0.000000e+00 | -- | Inf
71.17/71.27 c 71.3s| 24500 | 73 |449025 | 18.3 | 10M| 43 | 42 | 231 | 11k| 231 |2453 | 17 | 15k|2901 | 0.000000e+00 | -- | Inf
71.47/71.51 c 71.5s| 24600 | 74 |450810 | 18.3 | 10M| 43 | 37 | 231 | 11k| 231 |2453 | 17 | 15k|2902 | 0.000000e+00 | -- | Inf
71.67/71.77 c 71.8s| 24700 | 74 |452698 | 18.3 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 15k|2906 | 0.000000e+00 | -- | Inf
71.97/72.03 c 72.0s| 24800 | 75 |454692 | 18.3 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 15k|2907 | 0.000000e+00 | -- | Inf
72.27/72.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
72.27/72.30 c 72.3s| 24900 | 81 |456878 | 18.3 | 10M| 43 | 25 | 231 | 11k| 231 |2453 | 17 | 15k|2907 | 0.000000e+00 | -- | Inf
72.48/72.57 c 72.6s| 25000 | 85 |459017 | 18.4 | 10M| 43 | 30 | 231 | 11k| 231 |2453 | 17 | 15k|2907 | 0.000000e+00 | -- | Inf
72.77/72.83 c 72.8s| 25100 | 81 |461028 | 18.4 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 15k|2907 | 0.000000e+00 | -- | Inf
72.97/73.09 c 73.1s| 25200 | 78 |463054 | 18.4 | 10M| 43 | 37 | 231 | 11k| 231 |2453 | 17 | 15k|2908 | 0.000000e+00 | -- | Inf
73.37/73.40 c 73.4s| 25300 | 72 |465268 | 18.4 | 10M| 43 | 28 | 231 | 11k| 231 |2453 | 17 | 15k|2913 | 0.000000e+00 | -- | Inf
73.67/73.71 c 73.7s| 25400 | 76 |467660 | 18.4 | 10M| 43 | - | 231 | 11k| 0 | 0 | 17 | 15k|2914 | 0.000000e+00 | -- | Inf
73.97/74.02 c 74.0s| 25500 | 78 |469776 | 18.4 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 16k|2926 | 0.000000e+00 | -- | Inf
74.27/74.32 c 74.3s| 25600 | 78 |471620 | 18.4 | 10M| 43 | 36 | 231 | 11k| 231 |2453 | 17 | 16k|2941 | 0.000000e+00 | -- | Inf
74.46/74.59 c 74.6s| 25700 | 78 |473334 | 18.4 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 16k|2952 | 0.000000e+00 | -- | Inf
74.78/74.89 c 74.9s| 25800 | 78 |475076 | 18.4 | 10M| 43 | - | 231 | 11k| 0 | 0 | 17 | 16k|2966 | 0.000000e+00 | -- | Inf
75.07/75.17 c 75.2s| 25900 | 82 |477192 | 18.4 | 10M| 43 | 43 | 231 | 11k| 231 |2453 | 17 | 16k|2971 | 0.000000e+00 | -- | Inf
75.47/75.52 c 75.5s| 26000 | 80 |479354 | 18.4 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 16k|2985 | 0.000000e+00 | -- | Inf
75.88/75.90 c 75.9s| 26100 | 84 |481544 | 18.4 | 10M| 43 | 40 | 231 | 11k| 231 |2453 | 17 | 16k|3010 | 0.000000e+00 | -- | Inf
76.17/76.22 c 76.2s| 26200 | 83 |483696 | 18.5 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 16k|3020 | 0.000000e+00 | -- | Inf
76.47/76.52 c 76.5s| 26300 | 85 |485858 | 18.5 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 16k|3028 | 0.000000e+00 | -- | Inf
76.77/76.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.77/76.87 c 76.9s| 26400 | 85 |488157 | 18.5 | 10M| 43 | 31 | 231 | 11k| 231 |2453 | 17 | 16k|3044 | 0.000000e+00 | -- | Inf
77.17/77.23 c 77.2s| 26500 | 87 |490527 | 18.5 | 10M| 43 | 36 | 231 | 11k| 231 |2453 | 17 | 16k|3059 | 0.000000e+00 | -- | Inf
77.47/77.58 c 77.6s| 26600 | 89 |492783 | 18.5 | 10M| 43 | - | 231 | 11k| 0 | 0 | 17 | 16k|3074 | 0.000000e+00 | -- | Inf
77.87/77.92 c 77.9s| 26700 | 86 |494954 | 18.5 | 10M| 43 | 39 | 231 | 11k| 231 |2453 | 17 | 16k|3090 | 0.000000e+00 | -- | Inf
78.08/78.17 c 78.2s| 26800 | 86 |496720 | 18.5 | 10M| 43 | 40 | 231 | 11k| 231 |2453 | 17 | 16k|3092 | 0.000000e+00 | -- | Inf
78.37/78.41 c 78.4s| 26900 | 86 |498290 | 18.5 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 16k|3098 | 0.000000e+00 | -- | Inf
78.56/78.69 c 78.7s| 27000 | 85 |500409 | 18.5 | 10M| 43 | 23 | 231 | 11k| 231 |2453 | 17 | 16k|3103 | 0.000000e+00 | -- | Inf
78.87/78.98 c 79.0s| 27100 | 88 |502579 | 18.5 | 10M| 43 | 38 | 231 | 11k| 231 |2453 | 17 | 17k|3109 | 0.000000e+00 | -- | Inf
79.18/79.28 c 79.3s| 27200 | 86 |504882 | 18.6 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 17k|3111 | 0.000000e+00 | -- | Inf
79.57/79.60 c 79.6s| 27300 | 85 |507422 | 18.6 | 10M| 43 | 40 | 231 | 11k| 231 |2453 | 17 | 17k|3114 | 0.000000e+00 | -- | Inf
79.77/79.83 c 79.8s| 27400 | 85 |509023 | 18.6 | 10M| 43 | 33 | 231 | 11k| 231 |2453 | 17 | 17k|3116 | 0.000000e+00 | -- | Inf
79.97/80.06 c 80.1s| 27500 | 83 |510574 | 18.6 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 17k|3117 | 0.000000e+00 | -- | Inf
80.28/80.31 c 80.3s| 27600 | 83 |512407 | 18.6 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 17k|3117 | 0.000000e+00 | -- | Inf
80.47/80.56 c 80.6s| 27700 | 85 |514189 | 18.6 | 10M| 43 | 31 | 231 | 11k| 231 |2453 | 17 | 17k|3118 | 0.000000e+00 | -- | Inf
80.67/80.77 c 80.8s| 27800 | 84 |515726 | 18.5 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 17k|3118 | 0.000000e+00 | -- | Inf
80.97/81.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
80.97/81.02 c 81.0s| 27900 | 82 |517473 | 18.5 | 10M| 43 | 43 | 231 | 11k| 231 |2453 | 17 | 17k|3118 | 0.000000e+00 | -- | Inf
81.17/81.26 c 81.3s| 28000 | 83 |519281 | 18.5 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 17k|3119 | 0.000000e+00 | -- | Inf
81.47/81.52 c 81.5s| 28100 | 82 |521122 | 18.5 | 10M| 43 | 38 | 231 | 11k| 231 |2453 | 17 | 17k|3119 | 0.000000e+00 | -- | Inf
81.67/81.75 c 81.7s| 28200 | 86 |522828 | 18.5 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 17k|3119 | 0.000000e+00 | -- | Inf
81.86/81.96 c 82.0s| 28300 | 84 |524236 | 18.5 | 10M| 43 | 41 | 231 | 11k| 231 |2453 | 17 | 17k|3119 | 0.000000e+00 | -- | Inf
82.06/82.19 c 82.2s| 28400 | 86 |525885 | 18.5 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 17k|3119 | 0.000000e+00 | -- | Inf
82.27/82.39 c 82.4s| 28500 | 87 |527410 | 18.5 | 10M| 43 | 37 | 231 | 11k| 231 |2453 | 17 | 17k|3119 | 0.000000e+00 | -- | Inf
82.57/82.62 c 82.6s| 28600 | 86 |529128 | 18.5 | 10M| 43 | 33 | 231 | 11k| 231 |2453 | 17 | 18k|3119 | 0.000000e+00 | -- | Inf
82.77/82.86 c 82.9s| 28700 | 86 |530898 | 18.5 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 18k|3119 | 0.000000e+00 | -- | Inf
83.07/83.11 c 83.1s| 28800 | 85 |532471 | 18.5 | 10M| 43 | - | 231 | 11k| 0 | 0 | 17 | 18k|3125 | 0.000000e+00 | -- | Inf
83.36/83.41 c 83.4s| 28900 | 85 |534370 | 18.5 | 10M| 43 | 42 | 231 | 11k| 231 |2453 | 17 | 18k|3136 | 0.000000e+00 | -- | Inf
83.58/83.66 c 83.7s| 29000 | 85 |535930 | 18.5 | 10M| 43 | 36 | 231 | 11k| 231 |2453 | 17 | 18k|3145 | 0.000000e+00 | -- | Inf
83.87/83.94 c 83.9s| 29100 | 85 |537705 | 18.5 | 10M| 43 | 30 | 231 | 11k| 231 |2453 | 17 | 18k|3158 | 0.000000e+00 | -- | Inf
84.17/84.22 c 84.2s| 29200 | 83 |539445 | 18.5 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 18k|3167 | 0.000000e+00 | -- | Inf
84.46/84.50 c 84.5s| 29300 | 83 |541215 | 18.5 | 10M| 43 | 38 | 231 | 11k| 231 |2453 | 17 | 18k|3175 | 0.000000e+00 | -- | Inf
84.68/84.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
84.68/84.79 c 84.8s| 29400 | 83 |543043 | 18.5 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 18k|3189 | 0.000000e+00 | -- | Inf
84.96/85.09 c 85.1s| 29500 | 85 |544912 | 18.5 | 10M| 43 | 40 | 231 | 11k| 231 |2453 | 17 | 18k|3203 | 0.000000e+00 | -- | Inf
85.27/85.39 c 85.4s| 29600 | 87 |546916 | 18.5 | 10M| 43 | 36 | 231 | 11k| 231 |2453 | 17 | 18k|3213 | 0.000000e+00 | -- | Inf
85.67/85.76 c 85.8s| 29700 | 87 |549420 | 18.5 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 18k|3226 | 0.000000e+00 | -- | Inf
85.97/86.08 c 86.1s| 29800 | 85 |551417 | 18.5 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 18k|3239 | 0.000000e+00 | -- | Inf
86.37/86.40 c 86.4s| 29900 | 84 |553409 | 18.5 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 18k|3250 | 0.000000e+00 | -- | Inf
86.67/86.73 c 86.7s| 30000 | 84 |555606 | 18.5 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 18k|3261 | 0.000000e+00 | -- | Inf
86.97/87.05 c 87.0s| 30100 | 83 |557601 | 18.5 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 18k|3272 | 0.000000e+00 | -- | Inf
87.16/87.28 c 87.3s| 30200 | 84 |559011 | 18.5 | 10M| 43 | 31 | 231 | 11k| 231 |2453 | 17 | 19k|3282 | 0.000000e+00 | -- | Inf
87.47/87.54 c 87.5s| 30300 | 80 |560630 | 18.5 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 19k|3291 | 0.000000e+00 | -- | Inf
87.77/87.86 c 87.9s| 30400 | 82 |562656 | 18.5 | 10M| 43 | 33 | 231 | 11k| 231 |2453 | 17 | 19k|3305 | 0.000000e+00 | -- | Inf
88.06/88.10 c 88.1s| 30500 | 82 |563992 | 18.5 | 10M| 43 | - | 231 | 10k| 231 |2453 | 17 | 19k|3315 | 0.000000e+00 | -- | Inf
88.26/88.37 c 88.4s| 30600 | 81 |565773 | 18.5 | 10M| 43 | 34 | 231 | 10k| 231 |2453 | 17 | 19k|3323 | 0.000000e+00 | -- | Inf
88.57/88.61 c 88.6s| 30700 | 85 |567364 | 18.5 | 10M| 43 | - | 231 | 10k| 231 |2453 | 17 | 19k|3329 | 0.000000e+00 | -- | Inf
88.77/88.86 c 88.9s| 30800 | 85 |569159 | 18.5 | 10M| 43 | 33 | 231 | 10k| 231 |2453 | 17 | 19k|3333 | 0.000000e+00 | -- | Inf
89.07/89.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
89.07/89.13 c 89.1s| 30900 | 83 |571070 | 18.5 | 10M| 43 | 12 | 231 | 10k| 231 |2453 | 17 | 19k|3335 | 0.000000e+00 | -- | Inf
89.27/89.35 c 89.4s| 31000 | 85 |572699 | 18.5 | 10M| 43 | 22 | 231 | 10k| 231 |2453 | 17 | 19k|3336 | 0.000000e+00 | -- | Inf
89.47/89.58 c 89.6s| 31100 | 82 |574399 | 18.5 | 10M| 43 | - | 231 | 10k| 231 |2453 | 17 | 19k|3337 | 0.000000e+00 | -- | Inf
89.76/89.80 c 89.8s| 31200 | 83 |576005 | 18.5 | 10M| 43 | 33 | 231 | 10k| 231 |2453 | 17 | 19k|3337 | 0.000000e+00 | -- | Inf
89.97/90.00 c 90.0s| 31300 | 79 |577584 | 18.4 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 19k|3337 | 0.000000e+00 | -- | Inf
90.17/90.26 c 90.3s| 31400 | 83 |579667 | 18.5 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 19k|3338 | 0.000000e+00 | -- | Inf
90.36/90.49 c 90.5s| 31500 | 83 |581427 | 18.5 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 19k|3338 | 0.000000e+00 | -- | Inf
90.66/90.73 c 90.7s| 31600 | 84 |583343 | 18.5 | 10M| 43 | 21 | 231 | 11k| 231 |2453 | 17 | 19k|3338 | 0.000000e+00 | -- | Inf
90.86/90.98 c 91.0s| 31700 | 82 |585240 | 18.5 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 20k|3338 | 0.000000e+00 | -- | Inf
91.17/91.25 c 91.2s| 31800 | 80 |587381 | 18.5 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 20k|3338 | 0.000000e+00 | -- | Inf
91.37/91.48 c 91.5s| 31900 | 78 |589089 | 18.5 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 20k|3338 | 0.000000e+00 | -- | Inf
91.67/91.74 c 91.7s| 32000 | 79 |591118 | 18.5 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 20k|3338 | 0.000000e+00 | -- | Inf
91.96/92.02 c 92.0s| 32100 | 80 |593321 | 18.5 | 10M| 43 | 38 | 231 | 11k| 231 |2453 | 17 | 20k|3338 | 0.000000e+00 | -- | Inf
92.27/92.31 c 92.3s| 32200 | 76 |595535 | 18.5 | 10M| 43 | 41 | 231 | 11k| 231 |2453 | 17 | 20k|3338 | 0.000000e+00 | -- | Inf
92.57/92.61 c 92.6s| 32300 | 74 |597925 | 18.5 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 20k|3338 | 0.000000e+00 | -- | Inf
92.77/92.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
92.77/92.89 c 92.9s| 32400 | 70 |599958 | 18.5 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 20k|3338 | 0.000000e+00 | -- | Inf
93.06/93.14 c 93.1s| 32500 | 72 |601824 | 18.5 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 20k|3338 | 0.000000e+00 | -- | Inf
93.26/93.37 c 93.4s| 32600 | 69 |603275 | 18.5 | 10M| 43 | 37 | 231 | 11k| 231 |2453 | 17 | 20k|3344 | 0.000000e+00 | -- | Inf
93.57/93.69 c 93.7s| 32700 | 69 |605189 | 18.5 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 20k|3356 | 0.000000e+00 | -- | Inf
93.86/93.93 c 93.9s| 32800 | 69 |606606 | 18.5 | 10M| 43 | 27 | 231 | 11k| 231 |2453 | 17 | 20k|3366 | 0.000000e+00 | -- | Inf
94.17/94.29 c 94.3s| 32900 | 65 |609095 | 18.5 | 10M| 43 | 36 | 231 | 11k| 231 |2453 | 17 | 20k|3377 | 0.000000e+00 | -- | Inf
94.57/94.65 c 94.6s| 33000 | 69 |611384 | 18.5 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 20k|3394 | 0.000000e+00 | -- | Inf
94.86/94.96 c 95.0s| 33100 | 67 |613495 | 18.5 | 10M| 43 | 43 | 231 | 11k| 231 |2453 | 17 | 21k|3405 | 0.000000e+00 | -- | Inf
95.17/95.25 c 95.2s| 33200 | 67 |615343 | 18.5 | 10M| 43 | 31 | 231 | 11k| 231 |2453 | 17 | 21k|3415 | 0.000000e+00 | -- | Inf
95.36/95.48 c 95.5s| 33300 | 65 |616845 | 18.5 | 10M| 43 | 42 | 231 | 11k| 231 |2453 | 17 | 21k|3421 | 0.000000e+00 | -- | Inf
95.68/95.78 c 95.8s| 33400 | 66 |618860 | 18.5 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 21k|3431 | 0.000000e+00 | -- | Inf
95.96/96.04 c 96.0s| 33500 | 66 |620472 | 18.5 | 10M| 43 | 18 | 231 | 11k| 231 |2453 | 17 | 21k|3440 | 0.000000e+00 | -- | Inf
96.26/96.33 c 96.3s| 33600 | 64 |622289 | 18.5 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 21k|3451 | 0.000000e+00 | -- | Inf
96.57/96.61 c 96.6s| 33700 | 63 |624062 | 18.5 | 10M| 43 | 32 | 231 | 11k| 231 |2453 | 17 | 21k|3461 | 0.000000e+00 | -- | Inf
96.87/96.93 c 96.9s| 33800 | 65 |626166 | 18.5 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 21k|3470 | 0.000000e+00 | -- | Inf
97.16/97.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
97.16/97.23 c 97.2s| 33900 | 67 |628210 | 18.5 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 21k|3482 | 0.000000e+00 | -- | Inf
97.47/97.54 c 97.5s| 34000 | 64 |630212 | 18.5 | 10M| 43 | 42 | 231 | 11k| 231 |2453 | 17 | 21k|3493 | 0.000000e+00 | -- | Inf
97.87/97.91 c 97.9s| 34100 | 60 |632651 | 18.5 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 21k|3509 | 0.000000e+00 | -- | Inf
98.17/98.20 c 98.2s| 34200 | 59 |634536 | 18.5 | 10M| 43 | 38 | 231 | 11k| 231 |2453 | 17 | 21k|3518 | 0.000000e+00 | -- | Inf
98.36/98.45 c 98.5s| 34300 | 61 |636126 | 18.5 | 10M| 43 | 26 | 231 | 11k| 231 |2453 | 17 | 21k|3528 | 0.000000e+00 | -- | Inf
98.56/98.67 c 98.7s| 34400 | 59 |637632 | 18.5 | 10M| 43 | 40 | 231 | 11k| 231 |2453 | 17 | 21k|3532 | 0.000000e+00 | -- | Inf
98.87/98.95 c 99.0s| 34500 | 59 |639533 | 18.5 | 10M| 43 | 41 | 231 | 11k| 231 |2453 | 17 | 21k|3538 | 0.000000e+00 | -- | Inf
99.16/99.26 c 99.3s| 34600 | 57 |641664 | 18.5 | 10M| 43 | 49 | 231 | 11k| 231 |2453 | 17 | 21k|3545 | 0.000000e+00 | -- | Inf
99.46/99.52 c 99.5s| 34700 | 57 |643595 | 18.5 | 10M| 43 | 31 | 231 | 11k| 231 |2453 | 17 | 22k|3546 | 0.000000e+00 | -- | Inf
99.66/99.79 c 99.8s| 34800 | 53 |645614 | 18.5 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 22k|3546 | 0.000000e+00 | -- | Inf
99.97/100.04 c 100s| 34900 | 54 |647564 | 18.6 | 10M| 43 | 35 | 231 | 11k| 231 |2453 | 17 | 22k|3547 | 0.000000e+00 | -- | Inf
100.16/100.26 c 100s| 35000 | 53 |649168 | 18.5 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 22k|3547 | 0.000000e+00 | -- | Inf
100.46/100.52 c 101s| 35100 | 51 |651190 | 18.5 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 22k|3548 | 0.000000e+00 | -- | Inf
100.66/100.78 c 101s| 35200 | 47 |653156 | 18.6 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 22k|3548 | 0.000000e+00 | -- | Inf
100.97/101.03 c 101s| 35300 | 47 |655085 | 18.6 | 10M| 43 | 29 | 231 | 11k| 231 |2453 | 17 | 22k|3548 | 0.000000e+00 | -- | Inf
101.17/101.28 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.28 c 101s| 35400 | 45 |657019 | 18.6 | 10M| 43 | 39 | 231 | 11k| 231 |2453 | 17 | 22k|3548 | 0.000000e+00 | -- | Inf
101.47/101.56 c 102s| 35500 | 37 |659042 | 18.6 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 22k|3548 | 0.000000e+00 | -- | Inf
101.67/101.79 c 102s| 35600 | 37 |660796 | 18.6 | 10M| 43 | 37 | 231 | 11k| 231 |2453 | 17 | 22k|3548 | 0.000000e+00 | -- | Inf
101.97/102.07 c 102s| 35700 | 34 |662971 | 18.6 | 10M| 43 | 43 | 231 | 11k| 231 |2453 | 17 | 22k|3548 | 0.000000e+00 | -- | Inf
102.27/102.33 c 102s| 35800 | 32 |664922 | 18.6 | 10M| 43 | - | 231 | 10k| 231 |2453 | 17 | 22k|3548 | 0.000000e+00 | -- | Inf
102.47/102.55 c 103s| 35900 | 31 |666523 | 18.6 | 10M| 43 | - | 231 | 10k| 231 |2453 | 17 | 22k|3548 | 0.000000e+00 | -- | Inf
102.67/102.79 c 103s| 36000 | 32 |668283 | 18.6 | 10M| 43 | 33 | 231 | 10k| 231 |2453 | 17 | 22k|3548 | 0.000000e+00 | -- | Inf
102.96/103.07 c 103s| 36100 | 32 |670398 | 18.6 | 10M| 43 | 37 | 231 | 10k| 231 |2453 | 17 | 22k|3548 | 0.000000e+00 | -- | Inf
103.27/103.30 c 103s| 36200 | 32 |672220 | 18.6 | 10M| 43 | - | 231 | 10k| 231 |2453 | 17 | 22k|3548 | 0.000000e+00 | -- | Inf
103.47/103.57 c 104s| 36300 | 28 |674312 | 18.6 | 10M| 43 | 30 | 231 | 10k| 231 |2453 | 17 | 23k|3548 | 0.000000e+00 | -- | Inf
103.77/103.87 c 104s| 36400 | 28 |676285 | 18.6 | 10M| 43 | 34 | 231 | 10k| 231 |2453 | 17 | 23k|3558 | 0.000000e+00 | -- | Inf
104.07/104.14 c 104s| 36500 | 26 |678165 | 18.6 | 10M| 43 | - | 231 | 10k| 231 |2453 | 17 | 23k|3563 | 0.000000e+00 | -- | Inf
104.37/104.42 c 104s| 36600 | 26 |679933 | 18.6 | 10M| 43 | 39 | 231 | 10k| 231 |2453 | 17 | 23k|3572 | 0.000000e+00 | -- | Inf
104.67/104.71 c 105s| 36700 | 28 |681792 | 18.6 |9996k| 43 | - | 231 | 10k| 231 |2453 | 17 | 23k|3583 | 0.000000e+00 | -- | Inf
104.96/105.00 c 105s| 36800 | 26 |683610 | 18.6 | 10M| 43 | - | 231 | 10k| 231 |2453 | 17 | 23k|3597 | 0.000000e+00 | -- | Inf
105.26/105.30 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.30 c 105s| 36900 | 28 |685703 | 18.6 | 10M| 43 | 36 | 231 | 10k| 231 |2453 | 17 | 23k|3605 | 0.000000e+00 | -- | Inf
105.47/105.58 c 106s| 37000 | 26 |687552 | 18.6 | 10M| 43 | - | 231 | 10k| 231 |2453 | 17 | 23k|3613 | 0.000000e+00 | -- | Inf
105.77/105.88 c 106s| 37100 | 26 |689482 | 18.6 | 10M| 43 | - | 231 | 10k| 231 |2453 | 17 | 23k|3628 | 0.000000e+00 | -- | Inf
106.07/106.13 c 106s| 37200 | 25 |691181 | 18.6 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 23k|3634 | 0.000000e+00 | -- | Inf
106.37/106.45 c 106s| 37300 | 25 |693013 | 18.6 | 10M| 43 | 34 | 231 | 11k| 231 |2453 | 17 | 23k|3656 | 0.000000e+00 | -- | Inf
106.57/106.68 c 107s| 37400 | 26 |694816 | 18.6 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 23k|3658 | 0.000000e+00 | -- | Inf
106.86/106.95 c 107s| 37500 | 27 |696525 | 18.6 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 23k|3671 | 0.000000e+00 | -- | Inf
107.17/107.23 c 107s| 37600 | 28 |698281 | 18.6 | 10M| 43 | 33 | 231 | 11k| 231 |2453 | 17 | 23k|3683 | 0.000000e+00 | -- | Inf
107.36/107.49 c 107s| 37700 | 27 |700059 | 18.6 | 10M| 43 | 38 | 231 | 11k| 231 |2453 | 17 | 23k|3692 | 0.000000e+00 | -- | Inf
107.67/107.79 c 108s| 37800 | 29 |702092 | 18.6 | 10M| 43 | 28 | 231 | 11k| 231 |2453 | 17 | 23k|3704 | 0.000000e+00 | -- | Inf
107.97/108.07 c 108s| 37900 | 33 |703971 | 18.6 | 10M| 43 | 41 | 231 | 11k| 231 |2453 | 17 | 24k|3716 | 0.000000e+00 | -- | Inf
108.26/108.37 c 108s| 38000 | 29 |706004 | 18.6 | 10M| 43 | 32 | 231 | 11k| 231 |2453 | 17 | 24k|3729 | 0.000000e+00 | -- | Inf
108.57/108.66 c 109s| 38100 | 25 |708003 | 18.6 | 10M| 43 | 33 | 231 | 11k| 231 |2453 | 17 | 24k|3741 | 0.000000e+00 | -- | Inf
108.87/108.95 c 109s| 38200 | 25 |709905 | 18.6 | 10M| 43 | 39 | 231 | 11k| 231 |2453 | 17 | 24k|3752 | 0.000000e+00 | -- | Inf
109.16/109.27 c 109s| 38300 | 25 |711893 | 18.6 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 24k|3768 | 0.000000e+00 | -- | Inf
109.47/109.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
109.47/109.57 c 110s| 38400 | 25 |713850 | 18.6 | 10M| 43 | 29 | 231 | 11k| 231 |2453 | 17 | 24k|3778 | 0.000000e+00 | -- | Inf
109.76/109.85 c 110s| 38500 | 24 |715747 | 18.6 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 24k|3785 | 0.000000e+00 | -- | Inf
110.07/110.12 c 110s| 38600 | 24 |717714 | 18.6 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 24k|3788 | 0.000000e+00 | -- | Inf
110.26/110.38 c 110s| 38700 | 28 |719564 | 18.6 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 24k|3792 | 0.000000e+00 | -- | Inf
110.46/110.59 c 111s| 38800 | 29 |721104 | 18.6 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 24k|3793 | 0.000000e+00 | -- | Inf
110.77/110.84 c 111s| 38900 | 28 |722953 | 18.6 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 24k|3795 | 0.000000e+00 | -- | Inf
110.97/111.08 c 111s| 39000 | 32 |724637 | 18.6 | 10M| 43 | - | 231 | 11k| 231 |2453 | 17 | 24k|3799 | 0.000000e+00 | -- | Inf
111.26/111.31 c 111s| 39100 | 32 |726539 | 18.6 | 10M| 43 | 35 | 231 | 11k| 231 |2453 | 17 | 24k|3799 | 0.000000e+00 | -- | Inf
111.47/111.55 c 112s| 39200 | 32 |728256 | 18.6 | 10M| 43 | 35 | 231 | 11k| 231 |2453 | 17 | 24k|3800 | 0.000000e+00 | -- | Inf
111.66/111.78 c 112s| 39300 | 32 |730075 | 18.6 | 10M| 43 | 32 | 231 | 11k| 231 |2453 | 17 | 24k|3800 | 0.000000e+00 | -- | Inf
111.97/112.04 c 112s| 39400 | 30 |732036 | 18.6 | 10M| 43 | 27 | 231 | 11k| 231 |2453 | 17 | 24k|3800 | 0.000000e+00 | -- | Inf
112.17/112.27 c 112s| 39500 | 30 |733887 | 18.6 | 10M| 43 | - | 231 | 11k| 0 | 0 | 17 | 24k|3800 | 0.000000e+00 | -- | Inf
112.46/112.51 c 113s| 39600 | 30 |735817 | 18.6 | 10M| 43 | 38 | 231 | 11k| 231 |2453 | 17 | 25k|3800 | 0.000000e+00 | -- | Inf
112.66/112.76 c 113s| 39700 | 33 |737886 | 18.6 | 10M| 43 | 37 | 231 | 12k| 231 |2453 | 17 | 25k|3800 | 0.000000e+00 | -- | Inf
112.87/112.99 c 113s| 39800 | 32 |739713 | 18.6 | 10M| 43 | 30 | 231 | 12k| 231 |2453 | 17 | 25k|3800 | 0.000000e+00 | -- | Inf
113.17/113.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
113.17/113.25 c 113s| 39900 | 28 |741739 | 18.6 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 25k|3800 | 0.000000e+00 | -- | Inf
113.47/113.50 c 113s| 40000 | 28 |743519 | 18.6 | 10M| 47 | - | 231 | 11k| 231 |2453 | 17 | 25k|3803 | 0.000000e+00 | -- | Inf
113.66/113.79 c 114s| 40100 | 26 |745843 | 18.6 | 10M| 47 | - | 231 | 11k| 231 |2453 | 17 | 25k|3804 | 0.000000e+00 | -- | Inf
113.97/114.09 c 114s| 40200 | 26 |748241 | 18.6 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 25k|3805 | 0.000000e+00 | -- | Inf
114.27/114.34 c 114s| 40300 | 26 |750168 | 18.6 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 25k|3805 | 0.000000e+00 | -- | Inf
114.46/114.57 c 115s| 40400 | 25 |751933 | 18.6 | 10M| 47 | 33 | 231 | 12k| 231 |2453 | 17 | 25k|3805 | 0.000000e+00 | -- | Inf
114.77/114.81 c 115s| 40500 | 23 |753695 | 18.6 | 10M| 47 | 41 | 231 | 12k| 231 |2453 | 17 | 25k|3805 | 0.000000e+00 | -- | Inf
114.97/115.03 c 115s| 40600 | 23 |755370 | 18.6 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 25k|3805 | 0.000000e+00 | -- | Inf
115.16/115.27 c 115s| 40700 | 23 |757110 | 18.6 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 25k|3806 | 0.000000e+00 | -- | Inf
115.47/115.56 c 116s| 40800 | 21 |758928 | 18.6 | 10M| 47 | 35 | 231 | 12k| 231 |2453 | 17 | 25k|3816 | 0.000000e+00 | -- | Inf
115.76/115.88 c 116s| 40900 | 19 |761029 | 18.6 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 25k|3825 | 0.000000e+00 | -- | Inf
116.07/116.19 c 116s| 41000 | 21 |763065 | 18.6 | 10M| 47 | 28 | 231 | 12k| 231 |2453 | 17 | 25k|3836 | 0.000000e+00 | -- | Inf
116.36/116.49 c 116s| 41100 | 17 |764884 | 18.6 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 25k|3849 | 0.000000e+00 | -- | Inf
116.67/116.76 c 117s| 41200 | 18 |766822 | 18.6 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 25k|3855 | 0.000000e+00 | -- | Inf
116.96/117.06 c 117s| 41300 | 22 |768561 | 18.6 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 26k|3871 | 0.000000e+00 | -- | Inf
117.26/117.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
117.26/117.32 c 117s| 41400 | 20 |770373 | 18.6 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 26k|3876 | 0.000000e+00 | -- | Inf
117.46/117.60 c 118s| 41500 | 22 |772309 | 18.6 | 10M| 47 | 46 | 231 | 12k| 231 |2453 | 17 | 26k|3883 | 0.000000e+00 | -- | Inf
117.86/117.92 c 118s| 41600 | 24 |774294 | 18.6 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 26k|3897 | 0.000000e+00 | -- | Inf
118.16/118.20 c 118s| 41700 | 25 |776085 | 18.6 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 26k|3909 | 0.000000e+00 | -- | Inf
118.36/118.48 c 118s| 41800 | 25 |778058 | 18.6 | 10M| 47 | 36 | 231 | 12k| 231 |2453 | 17 | 26k|3917 | 0.000000e+00 | -- | Inf
118.67/118.80 c 119s| 41900 | 24 |780151 | 18.6 | 10M| 47 | 37 | 231 | 12k| 231 |2453 | 17 | 26k|3930 | 0.000000e+00 | -- | Inf
119.07/119.10 c 119s| 42000 | 23 |781987 | 18.6 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 26k|3943 | 0.000000e+00 | -- | Inf
119.36/119.40 c 119s| 42100 | 29 |784259 | 18.6 | 10M| 47 | 40 | 231 | 12k| 231 |2453 | 17 | 26k|3947 | 0.000000e+00 | -- | Inf
119.66/119.72 c 120s| 42200 | 26 |786338 | 18.6 | 10M| 47 | 41 | 231 | 12k| 231 |2453 | 17 | 26k|3963 | 0.000000e+00 | -- | Inf
119.96/120.03 c 120s| 42300 | 22 |788465 | 18.6 | 10M| 47 | 47 | 231 | 12k| 231 |2453 | 17 | 26k|3973 | 0.000000e+00 | -- | Inf
120.26/120.37 c 120s| 42400 | 21 |790741 | 18.6 | 10M| 47 | 44 | 231 | 12k| 231 |2453 | 17 | 26k|3985 | 0.000000e+00 | -- | Inf
120.56/120.69 c 121s| 42500 | 23 |792892 | 18.7 | 10M| 47 | 42 | 231 | 12k| 231 |2453 | 17 | 26k|3996 | 0.000000e+00 | -- | Inf
120.87/121.00 c 121s| 42600 | 27 |794997 | 18.7 | 10M| 47 | 37 | 231 | 12k| 231 |2453 | 17 | 26k|4007 | 0.000000e+00 | -- | Inf
121.16/121.26 c 121s| 42700 | 27 |796739 | 18.7 | 10M| 47 | - | 231 | 12k| 0 | 0 | 17 | 26k|4015 | 0.000000e+00 | -- | Inf
121.46/121.56 c 122s| 42800 | 27 |798838 | 18.7 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 26k|4024 | 0.000000e+00 | -- | Inf
121.76/121.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
121.76/121.85 c 122s| 42900 | 27 |800817 | 18.7 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 26k|4035 | 0.000000e+00 | -- | Inf
122.07/122.15 c 122s| 43000 | 31 |802915 | 18.7 | 10M| 47 | 49 | 231 | 12k| 231 |2453 | 17 | 27k|4042 | 0.000000e+00 | -- | Inf
122.36/122.44 c 122s| 43100 | 33 |805088 | 18.7 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 27k|4048 | 0.000000e+00 | -- | Inf
122.67/122.73 c 123s| 43200 | 36 |807303 | 18.7 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 27k|4052 | 0.000000e+00 | -- | Inf
122.96/123.00 c 123s| 43300 | 36 |809311 | 18.7 | 10M| 47 | - | 231 | 12k| 0 | 0 | 17 | 27k|4055 | 0.000000e+00 | -- | Inf
123.26/123.31 c 123s| 43400 | 40 |811529 | 18.7 | 10M| 47 | 49 | 231 | 12k| 231 |2453 | 17 | 27k|4060 | 0.000000e+00 | -- | Inf
123.46/123.58 c 124s| 43500 | 46 |813761 | 18.7 | 10M| 47 | 42 | 231 | 12k| 231 |2453 | 17 | 27k|4061 | 0.000000e+00 | -- | Inf
123.76/123.88 c 124s| 43600 | 54 |816163 | 18.7 | 10M| 47 | 37 | 231 | 12k| 231 |2453 | 17 | 27k|4062 | 0.000000e+00 | -- | Inf
124.06/124.17 c 124s| 43700 | 54 |818574 | 18.7 | 10M| 47 | 46 | 231 | 12k| 231 |2453 | 17 | 27k|4063 | 0.000000e+00 | -- | Inf
124.36/124.46 c 124s| 43800 | 54 |820923 | 18.7 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 27k|4063 | 0.000000e+00 | -- | Inf
124.66/124.75 c 125s| 43900 | 54 |823199 | 18.7 | 10M| 47 | 36 | 231 | 12k| 231 |2453 | 17 | 27k|4064 | 0.000000e+00 | -- | Inf
124.96/125.02 c 125s| 44000 | 56 |825330 | 18.8 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 27k|4065 | 0.000000e+00 | -- | Inf
125.16/125.28 c 125s| 44100 | 58 |827360 | 18.8 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 27k|4065 | 0.000000e+00 | -- | Inf
125.46/125.54 c 126s| 44200 | 58 |829438 | 18.8 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 27k|4065 | 0.000000e+00 | -- | Inf
125.77/125.82 c 126s| 44300 | 60 |831624 | 18.8 | 10M| 47 | 24 | 231 | 13k| 231 |2453 | 17 | 27k|4065 | 0.000000e+00 | -- | Inf
125.96/126.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
125.96/126.06 c 126s| 44400 | 60 |833484 | 18.8 | 11M| 47 | - | 231 | 13k| 231 |2453 | 17 | 27k|4065 | 0.000000e+00 | -- | Inf
126.26/126.31 c 126s| 44500 | 60 |835539 | 18.8 | 11M| 47 | - | 231 | 13k| 231 |2453 | 17 | 28k|4065 | 0.000000e+00 | -- | Inf
126.47/126.57 c 127s| 44600 | 63 |837569 | 18.8 | 11M| 47 | - | 231 | 13k| 231 |2453 | 17 | 28k|4065 | 0.000000e+00 | -- | Inf
126.76/126.82 c 127s| 44700 | 63 |839543 | 18.8 | 11M| 47 | - | 231 | 13k| 231 |2453 | 17 | 28k|4065 | 0.000000e+00 | -- | Inf
126.96/127.06 c 127s| 44800 | 66 |841552 | 18.8 | 11M| 47 | - | 231 | 13k| 231 |2453 | 17 | 28k|4065 | 0.000000e+00 | -- | Inf
127.26/127.31 c 127s| 44900 | 68 |843519 | 18.8 | 11M| 47 | - | 231 | 13k| 231 |2453 | 17 | 28k|4065 | 0.000000e+00 | -- | Inf
127.47/127.55 c 128s| 45000 | 71 |845427 | 18.8 | 11M| 47 | 35 | 231 | 13k| 231 |2453 | 17 | 28k|4065 | 0.000000e+00 | -- | Inf
127.76/127.86 c 128s| 45100 | 75 |847564 | 18.8 | 11M| 47 | 24 | 231 | 13k| 231 |2453 | 17 | 28k|4075 | 0.000000e+00 | -- | Inf
128.06/128.16 c 128s| 45200 | 72 |849548 | 18.8 | 11M| 47 | - | 231 | 13k| 231 |2453 | 17 | 28k|4086 | 0.000000e+00 | -- | Inf
128.36/128.40 c 128s| 45300 | 73 |851379 | 18.8 | 11M| 47 | 40 | 231 | 13k| 231 |2453 | 17 | 28k|4087 | 0.000000e+00 | -- | Inf
128.57/128.69 c 129s| 45400 | 73 |853348 | 18.8 | 11M| 47 | - | 231 | 13k| 231 |2453 | 17 | 28k|4098 | 0.000000e+00 | -- | Inf
128.86/128.99 c 129s| 45500 | 73 |855379 | 18.8 | 11M| 47 | 20 | 231 | 13k| 231 |2453 | 17 | 28k|4110 | 0.000000e+00 | -- | Inf
129.16/129.25 c 129s| 45600 | 73 |857090 | 18.8 | 11M| 47 | - | 231 | 13k| 231 |2453 | 17 | 28k|4116 | 0.000000e+00 | -- | Inf
129.46/129.57 c 130s| 45700 | 74 |859302 | 18.8 | 11M| 47 | 42 | 231 | 13k| 231 |2453 | 17 | 28k|4127 | 0.000000e+00 | -- | Inf
129.76/129.88 c 130s| 45800 | 74 |861436 | 18.8 | 11M| 47 | - | 231 | 13k| 231 |2453 | 17 | 28k|4137 | 0.000000e+00 | -- | Inf
130.06/130.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
130.06/130.17 c 130s| 45900 | 72 |863255 | 18.8 | 11M| 47 | - | 231 | 13k| 231 |2453 | 17 | 28k|4149 | 0.000000e+00 | -- | Inf
130.36/130.47 c 130s| 46000 | 73 |865307 | 18.8 | 11M| 47 | 30 | 231 | 13k| 231 |2453 | 17 | 28k|4155 | 0.000000e+00 | -- | Inf
130.66/130.79 c 131s| 46100 | 75 |867499 | 18.8 | 11M| 47 | 16 | 231 | 13k| 231 |2453 | 17 | 28k|4165 | 0.000000e+00 | -- | Inf
131.06/131.10 c 131s| 46200 | 75 |869661 | 18.8 | 11M| 47 | 42 | 231 | 13k| 231 |2453 | 17 | 28k|4175 | 0.000000e+00 | -- | Inf
131.36/131.41 c 131s| 46300 | 75 |871787 | 18.8 | 11M| 47 | - | 231 | 13k| 231 |2453 | 17 | 28k|4184 | 0.000000e+00 | -- | Inf
131.66/131.73 c 132s| 46400 | 77 |873827 | 18.8 | 11M| 47 | 40 | 231 | 13k| 231 |2453 | 17 | 29k|4195 | 0.000000e+00 | -- | Inf
131.96/132.03 c 132s| 46500 | 75 |875833 | 18.8 | 11M| 47 | 24 | 231 | 13k| 231 |2453 | 17 | 29k|4203 | 0.000000e+00 | -- | Inf
132.27/132.35 c 132s| 46600 | 73 |877919 | 18.8 | 11M| 47 | - | 231 | 13k| 231 |2453 | 17 | 29k|4214 | 0.000000e+00 | -- | Inf
132.56/132.65 c 133s| 46700 | 75 |880009 | 18.8 | 11M| 47 | 27 | 231 | 13k| 231 |2453 | 17 | 29k|4222 | 0.000000e+00 | -- | Inf
132.86/132.93 c 133s| 46800 | 73 |882015 | 18.8 | 11M| 47 | 40 | 231 | 14k| 231 |2453 | 17 | 29k|4228 | 0.000000e+00 | -- | Inf
133.17/133.20 c 133s| 46900 | 74 |883988 | 18.8 | 11M| 47 | 43 | 231 | 14k| 231 |2453 | 17 | 29k|4232 | 0.000000e+00 | -- | Inf
133.36/133.48 c 133s| 47000 | 72 |886285 | 18.9 | 11M| 47 | - | 231 | 14k| 231 |2453 | 17 | 29k|4233 | 0.000000e+00 | -- | Inf
133.66/133.74 c 134s| 47100 | 76 |888186 | 18.9 | 11M| 47 | 26 | 231 | 14k| 231 |2453 | 17 | 29k|4236 | 0.000000e+00 | -- | Inf
133.96/134.04 c 134s| 47200 | 76 |890532 | 18.9 | 11M| 47 | 23 | 231 | 14k| 231 |2453 | 17 | 29k|4236 | 0.000000e+00 | -- | Inf
134.17/134.26 c 134s| 47300 | 76 |892218 | 18.9 | 11M| 47 | 32 | 231 | 14k| 231 |2453 | 17 | 29k|4236 | 0.000000e+00 | -- | Inf
134.46/134.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
134.46/134.51 c 135s| 47400 | 74 |894237 | 18.9 | 11M| 47 | - | 231 | 14k| 231 |2453 | 17 | 29k|4237 | 0.000000e+00 | -- | Inf
134.66/134.76 c 135s| 47500 | 74 |896180 | 18.9 | 11M| 47 | - | 231 | 14k| 231 |2453 | 17 | 29k|4238 | 0.000000e+00 | -- | Inf
134.96/135.04 c 135s| 47600 | 74 |898395 | 18.9 | 11M| 47 | - | 231 | 14k| 231 |2453 | 17 | 29k|4239 | 0.000000e+00 | -- | Inf
135.17/135.30 c 135s| 47700 | 73 |900416 | 18.9 | 11M| 47 | 44 | 231 | 14k| 231 |2453 | 17 | 29k|4239 | 0.000000e+00 | -- | Inf
135.46/135.58 c 136s| 47800 | 79 |902526 | 18.9 | 11M| 47 | 33 | 231 | 14k| 231 |2453 | 17 | 29k|4241 | 0.000000e+00 | -- | Inf
135.76/135.82 c 136s| 47900 | 79 |904402 | 18.9 | 11M| 47 | 34 | 231 | 14k| 231 |2453 | 17 | 30k|4241 | 0.000000e+00 | -- | Inf
135.96/136.06 c 136s| 48000 | 83 |906358 | 18.9 | 11M| 47 | 18 | 231 | 14k| 231 |2453 | 17 | 30k|4241 | 0.000000e+00 | -- | Inf
136.26/136.33 c 136s| 48100 | 84 |908298 | 18.9 | 11M| 47 | 41 | 231 | 14k| 231 |2453 | 17 | 30k|4243 | 0.000000e+00 | -- | Inf
136.46/136.58 c 137s| 48200 | 85 |910271 | 18.9 | 11M| 47 | - | 231 | 14k| 0 | 0 | 17 | 30k|4243 | 0.000000e+00 | -- | Inf
136.76/136.83 c 137s| 48300 | 88 |912083 | 18.9 | 11M| 47 | 36 | 231 | 14k| 231 |2453 | 17 | 30k|4244 | 0.000000e+00 | -- | Inf
136.96/137.09 c 137s| 48400 | 88 |914035 | 18.9 | 11M| 47 | 34 | 231 | 14k| 231 |2453 | 17 | 30k|4244 | 0.000000e+00 | -- | Inf
137.26/137.35 c 137s| 48500 | 89 |915976 | 18.9 | 11M| 47 | 38 | 231 | 14k| 231 |2453 | 17 | 30k|4245 | 0.000000e+00 | -- | Inf
137.56/137.60 c 138s| 48600 | 83 |917911 | 18.9 | 11M| 47 | 45 | 231 | 14k| 231 |2453 | 17 | 30k|4245 | 0.000000e+00 | -- | Inf
137.76/137.85 c 138s| 48700 | 85 |919811 | 18.9 | 11M| 48 | - | 231 | 14k| 231 |2453 | 17 | 30k|4245 | 0.000000e+00 | -- | Inf
137.96/138.08 c 138s| 48800 | 87 |921470 | 18.9 | 11M| 48 | 36 | 231 | 14k| 231 |2453 | 17 | 30k|4245 | 0.000000e+00 | -- | Inf
138.26/138.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
138.26/138.31 c 138s| 48900 | 87 |923158 | 18.9 | 11M| 48 | 47 | 231 | 14k| 231 |2453 | 17 | 30k|4245 | 0.000000e+00 | -- | Inf
138.46/138.57 c 139s| 49000 | 88 |925103 | 18.9 | 11M| 48 | 34 | 231 | 14k| 231 |2453 | 17 | 30k|4245 | 0.000000e+00 | -- | Inf
138.76/138.81 c 139s| 49100 | 88 |926875 | 18.9 | 11M| 48 | 39 | 231 | 14k| 231 |2453 | 17 | 30k|4245 | 0.000000e+00 | -- | Inf
139.06/139.11 c 139s| 49200 | 88 |928603 | 18.9 | 11M| 48 | 41 | 231 | 14k| 231 |2453 | 17 | 30k|4258 | 0.000000e+00 | -- | Inf
139.26/139.36 c 139s| 49300 | 89 |930499 | 18.9 | 11M| 48 | 41 | 231 | 14k| 231 |2453 | 17 | 30k|4258 | 0.000000e+00 | -- | Inf
139.57/139.68 c 140s| 49400 | 88 |932620 | 18.9 | 11M| 48 | 43 | 231 | 14k| 231 |2453 | 17 | 30k|4267 | 0.000000e+00 | -- | Inf
139.86/139.97 c 140s| 49500 | 84 |934377 | 18.9 | 11M| 48 | - | 231 | 15k| 231 |2453 | 17 | 30k|4276 | 0.000000e+00 | -- | Inf
140.16/140.29 c 140s| 49600 | 86 |936662 | 18.9 | 11M| 48 | - | 231 | 15k| 231 |2453 | 17 | 31k|4282 | 0.000000e+00 | -- | Inf
140.56/140.63 c 141s| 49700 | 86 |938837 | 18.9 | 11M| 48 | - | 231 | 14k| 231 |2453 | 17 | 31k|4295 | 0.000000e+00 | -- | Inf
140.86/140.97 c 141s| 49800 | 86 |941070 | 18.9 | 11M| 48 | 35 | 231 | 14k| 231 |2453 | 17 | 31k|4306 | 0.000000e+00 | -- | Inf
141.26/141.39 c 141s| 49900 | 84 |943961 | 18.9 | 11M| 48 | 42 | 231 | 14k| 231 |2453 | 17 | 31k|4322 | 0.000000e+00 | -- | Inf
141.56/141.69 c 142s| 50000 | 84 |945967 | 18.9 | 11M| 48 | 23 | 231 | 14k| 231 |2453 | 17 | 31k|4330 | 0.000000e+00 | -- | Inf
141.87/141.96 c 142s| 50100 | 85 |948081 | 18.9 | 11M| 48 | - | 231 | 14k| 231 |2453 | 17 | 31k|4331 | 0.000000e+00 | -- | Inf
142.16/142.28 c 142s| 50200 | 85 |950198 | 18.9 | 11M| 48 | - | 231 | 14k| 231 |2453 | 17 | 31k|4344 | 0.000000e+00 | -- | Inf
142.56/142.61 c 143s| 50300 | 86 |952358 | 18.9 | 11M| 48 | 47 | 231 | 14k| 231 |2453 | 17 | 31k|4356 | 0.000000e+00 | -- | Inf
142.87/142.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
142.87/142.92 c 143s| 50400 | 88 |954679 | 18.9 | 12M| 48 | - | 231 | 15k| 231 |2453 | 17 | 31k|4362 | 0.000000e+00 | -- | Inf
143.16/143.24 c 143s| 50500 | 87 |956945 | 18.9 | 12M| 48 | 43 | 231 | 15k| 231 |2453 | 17 | 31k|4373 | 0.000000e+00 | -- | Inf
143.46/143.54 c 144s| 50600 | 90 |959047 | 19.0 | 12M| 48 | - | 231 | 15k| 231 |2453 | 17 | 31k|4382 | 0.000000e+00 | -- | Inf
143.76/143.81 c 144s| 50700 | 88 |960825 | 18.9 | 12M| 48 | 35 | 231 | 15k| 231 |2453 | 17 | 31k|4393 | 0.000000e+00 | -- | Inf
144.06/144.12 c 144s| 50800 | 84 |962945 | 19.0 | 12M| 48 | - | 231 | 15k| 231 |2453 | 17 | 31k|4403 | 0.000000e+00 | -- | Inf
144.35/144.45 c 144s| 50900 | 86 |965036 | 19.0 | 12M| 48 | 44 | 231 | 15k| 231 |2453 | 17 | 31k|4416 | 0.000000e+00 | -- | Inf
144.66/144.75 c 145s| 51000 | 92 |967142 | 19.0 | 12M| 48 | 29 | 231 | 15k| 231 |2453 | 17 | 31k|4427 | 0.000000e+00 | -- | Inf
144.96/145.05 c 145s| 51100 | 90 |969321 | 19.0 | 12M| 48 | 34 | 231 | 15k| 231 |2453 | 17 | 31k|4436 | 0.000000e+00 | -- | Inf
145.26/145.34 c 145s| 51200 | 92 |971241 | 19.0 | 12M| 48 | 37 | 231 | 15k| 231 |2453 | 17 | 31k|4445 | 0.000000e+00 | -- | Inf
145.56/145.64 c 146s| 51300 | 93 |973418 | 19.0 | 12M| 48 | - | 231 | 15k| 231 |2453 | 17 | 32k|4449 | 0.000000e+00 | -- | Inf
145.86/145.92 c 146s| 51400 | 95 |975483 | 19.0 | 12M| 48 | - | 231 | 15k| 231 |2453 | 17 | 32k|4452 | 0.000000e+00 | -- | Inf
146.16/146.21 c 146s| 51500 | 97 |977763 | 19.0 | 12M| 48 | 37 | 231 | 15k| 231 |2453 | 17 | 32k|4454 | 0.000000e+00 | -- | Inf
146.46/146.52 c 147s| 51600 | 95 |980254 | 19.0 | 12M| 48 | 42 | 231 | 15k| 231 |2453 | 17 | 32k|4454 | 0.000000e+00 | -- | Inf
146.76/146.81 c 147s| 51700 | 97 |982563 | 19.0 | 12M| 50 | 25 | 231 | 15k| 231 |2453 | 17 | 32k|4457 | 0.000000e+00 | -- | Inf
147.05/147.12 c 147s| 51800 | 109 |985052 | 19.0 | 12M| 50 | 46 | 231 | 15k| 231 |2453 | 17 | 32k|4459 | 0.000000e+00 | -- | Inf
147.37/147.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
147.37/147.41 c 147s| 51900 | 115 |987345 | 19.0 | 12M| 50 | 43 | 231 | 15k| 231 |2453 | 17 | 32k|4461 | 0.000000e+00 | -- | Inf
147.66/147.70 c 148s| 52000 | 115 |989704 | 19.0 | 12M| 50 | - | 231 | 15k| 231 |2453 | 17 | 32k|4462 | 0.000000e+00 | -- | Inf
147.96/148.01 c 148s| 52100 | 112 |992204 | 19.0 | 12M| 50 | - | 231 | 15k| 231 |2453 | 17 | 32k|4462 | 0.000000e+00 | -- | Inf
148.16/148.28 c 148s| 52200 | 111 |994338 | 19.0 | 12M| 50 | - | 231 | 15k| 231 |2453 | 17 | 32k|4462 | 0.000000e+00 | -- | Inf
148.47/148.55 c 149s| 52300 | 113 |996444 | 19.1 | 12M| 52 | 29 | 231 | 15k| 231 |2453 | 17 | 32k|4462 | 0.000000e+00 | -- | Inf
148.76/148.81 c 149s| 52400 | 111 |998618 | 19.1 | 12M| 52 | - | 231 | 15k| 231 |2453 | 17 | 32k|4462 | 0.000000e+00 | -- | Inf
148.96/149.09 c 149s| 52500 | 111 | 1000k| 19.1 | 12M| 52 | - | 231 | 15k| 231 |2453 | 17 | 32k|4462 | 0.000000e+00 | -- | Inf
149.26/149.36 c 149s| 52600 | 111 | 1003k| 19.1 | 12M| 52 | - | 231 | 15k| 231 |2453 | 17 | 32k|4462 | 0.000000e+00 | -- | Inf
149.56/149.64 c 150s| 52700 | 111 | 1005k| 19.1 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 32k|4462 | 0.000000e+00 | -- | Inf
149.86/149.91 c 150s| 52800 | 107 | 1007k| 19.1 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 32k|4462 | 0.000000e+00 | -- | Inf
150.16/150.21 c 150s| 52900 | 109 | 1009k| 19.1 | 12M| 53 | 52 | 231 | 15k| 231 |2453 | 17 | 32k|4462 | 0.000000e+00 | -- | Inf
150.36/150.48 c 150s| 53000 | 106 | 1011k| 19.1 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 32k|4463 | 0.000000e+00 | -- | Inf
150.66/150.76 c 151s| 53100 | 103 | 1013k| 19.1 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 32k|4463 | 0.000000e+00 | -- | Inf
150.96/151.03 c 151s| 53200 | 105 | 1016k| 19.1 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 32k|4463 | 0.000000e+00 | -- | Inf
151.26/151.31 c 151s| 53300 | 103 | 1018k| 19.1 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 33k|4463 | 0.000000e+00 | -- | Inf
151.56/151.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
151.56/151.60 c 152s| 53400 | 102 | 1020k| 19.1 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 33k|4463 | 0.000000e+00 | -- | Inf
151.86/151.93 c 152s| 53500 | 104 | 1022k| 19.1 | 12M| 53 | 41 | 231 | 15k| 231 |2453 | 17 | 33k|4477 | 0.000000e+00 | -- | Inf
152.16/152.22 c 152s| 53600 | 102 | 1024k| 19.1 | 12M| 53 | 36 | 231 | 15k| 231 |2453 | 17 | 33k|4489 | 0.000000e+00 | -- | Inf
152.45/152.51 c 153s| 53700 | 103 | 1026k| 19.1 | 12M| 53 | 51 | 231 | 15k| 231 |2453 | 17 | 33k|4498 | 0.000000e+00 | -- | Inf
152.76/152.81 c 153s| 53800 | 103 | 1028k| 19.1 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 33k|4505 | 0.000000e+00 | -- | Inf
153.05/153.15 c 153s| 53900 | 105 | 1030k| 19.1 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 33k|4515 | 0.000000e+00 | -- | Inf
153.36/153.45 c 153s| 54000 | 106 | 1033k| 19.1 | 12M| 53 | 51 | 231 | 15k| 231 |2453 | 17 | 33k|4522 | 0.000000e+00 | -- | Inf
153.65/153.79 c 154s| 54100 | 106 | 1035k| 19.1 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 33k|4534 | 0.000000e+00 | -- | Inf
153.96/154.08 c 154s| 54200 | 104 | 1037k| 19.1 | 12M| 53 | 39 | 231 | 15k| 231 |2453 | 17 | 33k|4541 | 0.000000e+00 | -- | Inf
154.26/154.37 c 154s| 54300 | 104 | 1039k| 19.1 | 12M| 53 | 34 | 231 | 15k| 231 |2453 | 17 | 33k|4547 | 0.000000e+00 | -- | Inf
154.55/154.66 c 155s| 54400 | 100 | 1040k| 19.1 | 12M| 53 | 36 | 231 | 15k| 231 |2453 | 17 | 33k|4559 | 0.000000e+00 | -- | Inf
154.86/154.94 c 155s| 54500 | 100 | 1042k| 19.1 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 33k|4566 | 0.000000e+00 | -- | Inf
155.16/155.26 c 155s| 54600 | 101 | 1045k| 19.1 | 12M| 53 | 34 | 231 | 15k| 231 |2453 | 17 | 33k|4576 | 0.000000e+00 | -- | Inf
155.46/155.56 c 156s| 54700 | 94 | 1047k| 19.1 | 12M| 53 | - | 231 | 15k| 0 | 0 | 17 | 33k|4583 | 0.000000e+00 | -- | Inf
155.76/155.87 c 156s| 54800 | 91 | 1049k| 19.1 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 34k|4594 | 0.000000e+00 | -- | Inf
156.06/156.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
156.06/156.17 c 156s| 54900 | 95 | 1050k| 19.1 | 12M| 53 | 33 | 231 | 15k| 231 |2453 | 17 | 34k|4605 | 0.000000e+00 | -- | Inf
156.36/156.43 c 156s| 55000 | 95 | 1052k| 19.1 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 34k|4611 | 0.000000e+00 | -- | Inf
156.66/156.70 c 157s| 55100 | 96 | 1054k| 19.1 | 12M| 53 | 36 | 231 | 15k| 231 |2453 | 17 | 34k|4620 | 0.000000e+00 | -- | Inf
156.96/157.02 c 157s| 55200 | 95 | 1056k| 19.1 | 12M| 53 | 34 | 231 | 15k| 231 |2453 | 17 | 34k|4632 | 0.000000e+00 | -- | Inf
157.16/157.27 c 157s| 55300 | 95 | 1058k| 19.1 | 12M| 53 | 30 | 231 | 15k| 231 |2453 | 17 | 34k|4639 | 0.000000e+00 | -- | Inf
157.46/157.55 c 158s| 55400 | 91 | 1060k| 19.1 | 12M| 53 | 48 | 231 | 15k| 231 |2453 | 17 | 34k|4647 | 0.000000e+00 | -- | Inf
157.75/157.86 c 158s| 55500 | 93 | 1062k| 19.1 | 12M| 53 | 38 | 231 | 15k| 231 |2453 | 17 | 34k|4656 | 0.000000e+00 | -- | Inf
158.06/158.17 c 158s| 55600 | 93 | 1064k| 19.1 | 12M| 53 | 35 | 231 | 15k| 231 |2453 | 17 | 34k|4668 | 0.000000e+00 | -- | Inf
158.36/158.46 c 158s| 55700 | 93 | 1066k| 19.1 | 12M| 53 | 36 | 231 | 15k| 231 |2453 | 17 | 34k|4676 | 0.000000e+00 | -- | Inf
158.66/158.75 c 159s| 55800 | 91 | 1067k| 19.1 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 34k|4689 | 0.000000e+00 | -- | Inf
158.95/159.02 c 159s| 55900 | 93 | 1069k| 19.1 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 34k|4694 | 0.000000e+00 | -- | Inf
159.26/159.30 c 159s| 56000 | 94 | 1071k| 19.1 | 12M| 53 | 26 | 231 | 15k| 231 |2453 | 17 | 34k|4699 | 0.000000e+00 | -- | Inf
159.56/159.64 c 160s| 56100 | 92 | 1074k| 19.1 | 12M| 53 | 37 | 231 | 15k| 231 |2453 | 17 | 34k|4710 | 0.000000e+00 | -- | Inf
159.86/159.94 c 160s| 56200 | 86 | 1075k| 19.1 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 34k|4721 | 0.000000e+00 | -- | Inf
160.06/160.16 c 160s| 56300 | 86 | 1077k| 19.1 | 12M| 53 | 38 | 231 | 15k| 231 |2453 | 17 | 34k|4724 | 0.000000e+00 | -- | Inf
160.36/160.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
160.36/160.42 c 160s| 56400 | 84 | 1079k| 19.1 | 12M| 53 | 41 | 231 | 15k| 231 |2453 | 17 | 34k|4725 | 0.000000e+00 | -- | Inf
160.65/160.73 c 161s| 56500 | 82 | 1081k| 19.1 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 34k|4730 | 0.000000e+00 | -- | Inf
160.86/160.99 c 161s| 56600 | 80 | 1083k| 19.1 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 35k|4733 | 0.000000e+00 | -- | Inf
161.16/161.27 c 161s| 56700 | 82 | 1085k| 19.1 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 35k|4736 | 0.000000e+00 | -- | Inf
161.46/161.53 c 162s| 56800 | 84 | 1087k| 19.1 | 12M| 53 | 33 | 231 | 15k| 231 |2453 | 17 | 35k|4736 | 0.000000e+00 | -- | Inf
161.76/161.83 c 162s| 56900 | 82 | 1089k| 19.2 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 35k|4737 | 0.000000e+00 | -- | Inf
161.96/162.08 c 162s| 57000 | 80 | 1091k| 19.2 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 35k|4737 | 0.000000e+00 | -- | Inf
162.25/162.32 c 162s| 57100 | 82 | 1093k| 19.1 | 12M| 53 | 36 | 231 | 15k| 231 |2453 | 17 | 35k|4738 | 0.000000e+00 | -- | Inf
162.46/162.57 c 163s| 57200 | 84 | 1095k| 19.1 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 35k|4738 | 0.000000e+00 | -- | Inf
162.76/162.85 c 163s| 57300 | 82 | 1097k| 19.2 | 12M| 53 | 31 | 231 | 15k| 231 |2453 | 17 | 35k|4740 | 0.000000e+00 | -- | Inf
163.05/163.13 c 163s| 57400 | 76 | 1099k| 19.2 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 35k|4741 | 0.000000e+00 | -- | Inf
163.36/163.42 c 163s| 57500 | 75 | 1101k| 19.2 | 12M| 53 | 33 | 231 | 15k| 231 |2453 | 17 | 35k|4741 | 0.000000e+00 | -- | Inf
163.55/163.69 c 164s| 57600 | 73 | 1104k| 19.2 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 35k|4741 | 0.000000e+00 | -- | Inf
163.86/163.93 c 164s| 57700 | 72 | 1105k| 19.2 | 12M| 53 | 51 | 231 | 15k| 231 |2453 | 17 | 35k|4741 | 0.000000e+00 | -- | Inf
164.06/164.16 c 164s| 57800 | 74 | 1107k| 19.2 | 12M| 53 | 30 | 231 | 15k| 231 |2453 | 17 | 35k|4741 | 0.000000e+00 | -- | Inf
164.35/164.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
164.35/164.41 c 164s| 57900 | 72 | 1109k| 19.2 | 12M| 53 | 43 | 231 | 15k| 231 |2453 | 17 | 35k|4741 | 0.000000e+00 | -- | Inf
164.56/164.66 c 165s| 58000 | 72 | 1111k| 19.2 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 35k|4741 | 0.000000e+00 | -- | Inf
164.75/164.90 c 165s| 58100 | 73 | 1113k| 19.2 | 12M| 53 | 38 | 231 | 15k| 231 |2453 | 17 | 35k|4741 | 0.000000e+00 | -- | Inf
165.06/165.17 c 165s| 58200 | 71 | 1115k| 19.2 | 12M| 53 | 36 | 231 | 15k| 231 |2453 | 17 | 35k|4741 | 0.000000e+00 | -- | Inf
165.35/165.46 c 165s| 58300 | 68 | 1117k| 19.2 | 12M| 53 | 28 | 231 | 15k| 231 |2453 | 17 | 35k|4741 | 0.000000e+00 | -- | Inf
165.65/165.70 c 166s| 58400 | 68 | 1119k| 19.2 | 12M| 53 | 34 | 231 | 15k| 231 |2453 | 17 | 36k|4741 | 0.000000e+00 | -- | Inf
165.86/165.96 c 166s| 58500 | 68 | 1121k| 19.2 | 12M| 53 | 33 | 231 | 15k| 231 |2453 | 17 | 36k|4741 | 0.000000e+00 | -- | Inf
166.06/166.18 c 166s| 58600 | 67 | 1123k| 19.2 | 12M| 53 | - | 231 | 15k| 0 | 0 | 17 | 36k|4741 | 0.000000e+00 | -- | Inf
166.35/166.42 c 166s| 58700 | 66 | 1124k| 19.2 | 12M| 53 | 46 | 231 | 15k| 231 |2453 | 17 | 36k|4741 | 0.000000e+00 | -- | Inf
166.65/166.75 c 167s| 58800 | 66 | 1127k| 19.2 | 12M| 53 | 47 | 231 | 15k| 231 |2453 | 17 | 36k|4756 | 0.000000e+00 | -- | Inf
166.95/167.07 c 167s| 58900 | 66 | 1129k| 19.2 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 36k|4765 | 0.000000e+00 | -- | Inf
167.25/167.37 c 167s| 59000 | 68 | 1131k| 19.2 | 12M| 53 | 20 | 231 | 15k| 231 |2453 | 17 | 36k|4774 | 0.000000e+00 | -- | Inf
167.55/167.66 c 168s| 59100 | 68 | 1133k| 19.2 | 12M| 53 | 31 | 231 | 15k| 231 |2453 | 17 | 36k|4774 | 0.000000e+00 | -- | Inf
167.86/167.98 c 168s| 59200 | 64 | 1135k| 19.2 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 36k|4783 | 0.000000e+00 | -- | Inf
168.16/168.28 c 168s| 59300 | 65 | 1137k| 19.2 | 12M| 53 | 43 | 231 | 15k| 231 |2453 | 17 | 36k|4796 | 0.000000e+00 | -- | Inf
168.56/168.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
168.56/168.61 c 169s| 59400 | 63 | 1139k| 19.2 | 12M| 53 | 41 | 231 | 15k| 231 |2453 | 17 | 36k|4804 | 0.000000e+00 | -- | Inf
168.76/168.86 c 169s| 59500 | 64 | 1141k| 19.2 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 36k|4804 | 0.000000e+00 | -- | Inf
169.05/169.17 c 169s| 59600 | 66 | 1143k| 19.2 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 36k|4816 | 0.000000e+00 | -- | Inf
169.36/169.44 c 169s| 59700 | 67 | 1145k| 19.2 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 36k|4824 | 0.000000e+00 | -- | Inf
169.65/169.73 c 170s| 59800 | 68 | 1147k| 19.2 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 36k|4833 | 0.000000e+00 | -- | Inf
169.85/169.97 c 170s| 59900 | 64 | 1148k| 19.2 | 12M| 53 | 30 | 231 | 15k| 231 |2453 | 17 | 37k|4833 | 0.000000e+00 | -- | Inf
170.16/170.24 c 170s| 60000 | 66 | 1150k| 19.2 | 12M| 53 | 38 | 231 | 15k| 231 |2453 | 17 | 37k|4841 | 0.000000e+00 | -- | Inf
170.46/170.54 c 171s| 60100 | 64 | 1152k| 19.2 | 12M| 53 | 44 | 231 | 15k| 231 |2453 | 17 | 37k|4852 | 0.000000e+00 | -- | Inf
170.76/170.81 c 171s| 60200 | 66 | 1154k| 19.2 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 37k|4858 | 0.000000e+00 | -- | Inf
170.95/171.08 c 171s| 60300 | 66 | 1156k| 19.2 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 37k|4865 | 0.000000e+00 | -- | Inf
171.25/171.35 c 171s| 60400 | 68 | 1157k| 19.2 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 37k|4875 | 0.000000e+00 | -- | Inf
171.46/171.59 c 172s| 60500 | 65 | 1159k| 19.2 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 37k|4880 | 0.000000e+00 | -- | Inf
171.76/171.85 c 172s| 60600 | 65 | 1160k| 19.2 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 37k|4891 | 0.000000e+00 | -- | Inf
172.06/172.14 c 172s| 60700 | 67 | 1162k| 19.2 | 12M| 53 | 38 | 231 | 15k| 231 |2453 | 17 | 37k|4900 | 0.000000e+00 | -- | Inf
172.35/172.40 c 172s| 60800 | 67 | 1164k| 19.2 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 37k|4909 | 0.000000e+00 | -- | Inf
172.57/172.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
172.57/172.66 c 173s| 60900 | 65 | 1165k| 19.1 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 37k|4921 | 0.000000e+00 | -- | Inf
172.86/172.93 c 173s| 61000 | 66 | 1167k| 19.1 | 12M| 53 | 37 | 231 | 15k| 231 |2453 | 17 | 37k|4925 | 0.000000e+00 | -- | Inf
173.15/173.24 c 173s| 61100 | 62 | 1169k| 19.1 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 37k|4935 | 0.000000e+00 | -- | Inf
173.46/173.51 c 174s| 61200 | 62 | 1171k| 19.1 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 37k|4941 | 0.000000e+00 | -- | Inf
173.76/173.81 c 174s| 61300 | 62 | 1173k| 19.1 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 37k|4954 | 0.000000e+00 | -- | Inf
173.96/174.08 c 174s| 61400 | 64 | 1175k| 19.1 | 12M| 53 | 37 | 231 | 15k| 231 |2453 | 17 | 37k|4961 | 0.000000e+00 | -- | Inf
174.25/174.34 c 174s| 61500 | 64 | 1177k| 19.1 | 12M| 53 | 36 | 231 | 15k| 231 |2453 | 17 | 37k|4965 | 0.000000e+00 | -- | Inf
174.56/174.60 c 175s| 61600 | 62 | 1178k| 19.1 | 12M| 53 | 29 | 231 | 15k| 231 |2453 | 17 | 37k|4967 | 0.000000e+00 | -- | Inf
174.76/174.87 c 175s| 61700 | 66 | 1180k| 19.1 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 38k|4969 | 0.000000e+00 | -- | Inf
175.06/175.10 c 175s| 61800 | 65 | 1182k| 19.1 | 12M| 53 | 44 | 231 | 15k| 231 |2453 | 17 | 38k|4970 | 0.000000e+00 | -- | Inf
175.25/175.36 c 175s| 61900 | 65 | 1184k| 19.1 | 12M| 53 | 38 | 231 | 15k| 231 |2453 | 17 | 38k|4972 | 0.000000e+00 | -- | Inf
175.45/175.59 c 176s| 62000 | 63 | 1186k| 19.1 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 38k|4973 | 0.000000e+00 | -- | Inf
175.75/175.89 c 176s| 62100 | 65 | 1188k| 19.1 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 38k|4977 | 0.000000e+00 | -- | Inf
176.05/176.16 c 176s| 62200 | 64 | 1190k| 19.1 | 12M| 53 | 26 | 231 | 15k| 231 |2453 | 17 | 38k|4978 | 0.000000e+00 | -- | Inf
176.35/176.44 c 176s| 62300 | 60 | 1193k| 19.1 | 12M| 53 | 34 | 231 | 15k| 231 |2453 | 17 | 38k|4979 | 0.000000e+00 | -- | Inf
176.65/176.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
176.65/176.70 c 177s| 62400 | 56 | 1195k| 19.1 | 12M| 53 | 28 | 231 | 15k| 231 |2453 | 17 | 38k|4979 | 0.000000e+00 | -- | Inf
176.86/176.96 c 177s| 62500 | 54 | 1196k| 19.1 | 12M| 53 | 38 | 231 | 15k| 231 |2453 | 17 | 38k|4981 | 0.000000e+00 | -- | Inf
177.15/177.23 c 177s| 62600 | 50 | 1198k| 19.1 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 38k|4981 | 0.000000e+00 | -- | Inf
177.36/177.48 c 177s| 62700 | 50 | 1200k| 19.1 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 38k|4982 | 0.000000e+00 | -- | Inf
177.65/177.74 c 178s| 62800 | 48 | 1202k| 19.1 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 38k|4984 | 0.000000e+00 | -- | Inf
177.96/178.00 c 178s| 62900 | 50 | 1204k| 19.1 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 38k|4987 | 0.000000e+00 | -- | Inf
178.16/178.24 c 178s| 63000 | 48 | 1205k| 19.1 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 38k|4988 | 0.000000e+00 | -- | Inf
178.35/178.49 c 178s| 63100 | 46 | 1207k| 19.1 | 12M| 53 | 44 | 231 | 15k| 231 |2453 | 17 | 38k|4988 | 0.000000e+00 | -- | Inf
178.66/178.73 c 179s| 63200 | 46 | 1209k| 19.1 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 38k|4988 | 0.000000e+00 | -- | Inf
178.95/179.01 c 179s| 63300 | 44 | 1211k| 19.1 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 38k|4989 | 0.000000e+00 | -- | Inf
179.26/179.32 c 179s| 63400 | 48 | 1214k| 19.2 | 12M| 53 | 36 | 231 | 15k| 231 |2453 | 17 | 39k|4989 | 0.000000e+00 | -- | Inf
179.55/179.60 c 180s| 63500 | 50 | 1216k| 19.2 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 39k|4989 | 0.000000e+00 | -- | Inf
179.76/179.89 c 180s| 63600 | 46 | 1218k| 19.2 | 12M| 53 | 38 | 231 | 15k| 231 |2453 | 17 | 39k|4989 | 0.000000e+00 | -- | Inf
180.05/180.17 c 180s| 63700 | 42 | 1220k| 19.2 | 12M| 53 | 42 | 231 | 15k| 231 |2453 | 17 | 39k|4989 | 0.000000e+00 | -- | Inf
180.36/180.44 c 180s| 63800 | 42 | 1222k| 19.2 | 12M| 53 | 33 | 231 | 15k| 231 |2453 | 17 | 39k|4989 | 0.000000e+00 | -- | Inf
180.55/180.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
180.55/180.68 c 181s| 63900 | 36 | 1224k| 19.2 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 39k|4989 | 0.000000e+00 | -- | Inf
180.86/180.95 c 181s| 64000 | 36 | 1226k| 19.2 | 12M| 53 | - | 231 | 15k| 0 | 0 | 17 | 39k|4991 | 0.000000e+00 | -- | Inf
181.15/181.23 c 181s| 64100 | 36 | 1228k| 19.2 | 12M| 53 | 33 | 231 | 15k| 231 |2453 | 17 | 39k|4991 | 0.000000e+00 | -- | Inf
181.36/181.48 c 181s| 64200 | 39 | 1230k| 19.2 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 39k|4991 | 0.000000e+00 | -- | Inf
181.65/181.79 c 182s| 64300 | 43 | 1232k| 19.2 | 12M| 53 | 37 | 231 | 15k| 231 |2453 | 17 | 39k|5000 | 0.000000e+00 | -- | Inf
181.95/182.00 c 182s| 64400 | 43 | 1234k| 19.2 | 12M| 53 | 27 | 231 | 15k| 231 |2453 | 17 | 39k|5000 | 0.000000e+00 | -- | Inf
182.16/182.28 c 182s| 64500 | 44 | 1236k| 19.2 | 12M| 53 | 16 | 231 | 15k| 231 |2453 | 17 | 39k|5011 | 0.000000e+00 | -- | Inf
182.46/182.58 c 183s| 64600 | 40 | 1238k| 19.2 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 39k|5020 | 0.000000e+00 | -- | Inf
182.75/182.86 c 183s| 64700 | 39 | 1240k| 19.2 | 12M| 53 | 35 | 231 | 15k| 231 |2453 | 17 | 40k|5026 | 0.000000e+00 | -- | Inf
183.05/183.18 c 183s| 64800 | 39 | 1242k| 19.2 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 40k|5040 | 0.000000e+00 | -- | Inf
183.45/183.51 c 184s| 64900 | 38 | 1244k| 19.2 | 12M| 53 | 42 | 231 | 15k| 231 |2453 | 17 | 40k|5048 | 0.000000e+00 | -- | Inf
183.76/183.82 c 184s| 65000 | 37 | 1246k| 19.2 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 40k|5057 | 0.000000e+00 | -- | Inf
184.05/184.13 c 184s| 65100 | 35 | 1248k| 19.2 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 40k|5066 | 0.000000e+00 | -- | Inf
184.35/184.43 c 184s| 65200 | 33 | 1250k| 19.2 | 12M| 53 | 47 | 231 | 15k| 231 |2453 | 17 | 40k|5072 | 0.000000e+00 | -- | Inf
184.65/184.74 c 185s| 65300 | 32 | 1252k| 19.2 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 40k|5087 | 0.000000e+00 | -- | Inf
184.95/185.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
184.95/185.00 c 185s| 65400 | 34 | 1254k| 19.2 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 40k|5087 | 0.000000e+00 | -- | Inf
185.25/185.33 c 185s| 65500 | 33 | 1256k| 19.2 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 40k|5102 | 0.000000e+00 | -- | Inf
185.56/185.62 c 186s| 65600 | 30 | 1258k| 19.2 | 12M| 53 | - | 231 | 15k| 231 |2453 | 17 | 40k|5106 | 0.000000e+00 | -- | Inf
185.76/185.88 c 186s| 65700 | 31 | 1260k| 19.2 | 11M| 53 | 22 | 231 | 14k| 231 |2453 | 17 | 40k|5114 | 0.000000e+00 | -- | Inf
186.06/186.14 c 186s| 65800 | 31 | 1261k| 19.2 | 11M| 53 | - | 231 | 14k| 231 |2453 | 17 | 40k|5120 | 0.000000e+00 | -- | Inf
186.35/186.44 c 186s| 65900 | 28 | 1263k| 19.2 | 11M| 53 | - | 231 | 14k| 231 |2453 | 17 | 40k|5127 | 0.000000e+00 | -- | Inf
186.66/186.70 c 187s| 66000 | 30 | 1265k| 19.2 | 11M| 53 | 30 | 231 | 14k| 231 |2453 | 17 | 40k|5134 | 0.000000e+00 | -- | Inf
186.96/187.01 c 187s| 66100 | 28 | 1267k| 19.2 | 11M| 53 | 46 | 231 | 14k| 231 |2453 | 17 | 40k|5143 | 0.000000e+00 | -- | Inf
187.26/187.31 c 187s| 66200 | 26 | 1269k| 19.2 | 11M| 53 | 46 | 231 | 14k| 231 |2453 | 17 | 41k|5152 | 0.000000e+00 | -- | Inf
187.45/187.57 c 188s| 66300 | 25 | 1270k| 19.2 | 11M| 53 | 42 | 231 | 14k| 231 |2453 | 17 | 41k|5159 | 0.000000e+00 | -- | Inf
187.75/187.83 c 188s| 66400 | 25 | 1272k| 19.2 | 11M| 53 | 36 | 231 | 14k| 231 |2453 | 17 | 41k|5165 | 0.000000e+00 | -- | Inf
187.96/188.08 c 188s| 66500 | 25 | 1274k| 19.2 | 11M| 53 | - | 231 | 14k| 231 |2453 | 17 | 41k|5170 | 0.000000e+00 | -- | Inf
188.25/188.40 c 188s| 66600 | 23 | 1276k| 19.2 | 11M| 53 | - | 231 | 14k| 231 |2453 | 17 | 41k|5184 | 0.000000e+00 | -- | Inf
188.55/188.68 c 189s| 66700 | 26 | 1278k| 19.2 | 11M| 53 | 35 | 231 | 14k| 231 |2453 | 17 | 41k|5189 | 0.000000e+00 | -- | Inf
188.85/188.93 c 189s| 66800 | 23 | 1280k| 19.2 | 11M| 53 | - | 231 | 14k| 231 |2453 | 17 | 41k|5191 | 0.000000e+00 | -- | Inf
189.16/189.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
189.16/189.22 c 189s| 66900 | 26 | 1282k| 19.2 | 11M| 53 | 37 | 231 | 14k| 231 |2453 | 17 | 41k|5196 | 0.000000e+00 | -- | Inf
189.36/189.48 c 189s| 67000 | 25 | 1284k| 19.2 | 11M| 53 | 38 | 231 | 14k| 231 |2453 | 17 | 41k|5197 | 0.000000e+00 | -- | Inf
189.65/189.74 c 190s| 67100 | 22 | 1286k| 19.2 | 11M| 53 | 45 | 231 | 14k| 231 |2453 | 17 | 41k|5198 | 0.000000e+00 | -- | Inf
189.96/190.02 c 190s| 67200 | 20 | 1288k| 19.2 | 11M| 53 | - | 231 | 14k| 231 |2453 | 17 | 41k|5198 | 0.000000e+00 | -- | Inf
190.16/190.29 c 190s| 67300 | 20 | 1290k| 19.2 | 11M| 53 | 45 | 231 | 14k| 231 |2453 | 17 | 41k|5199 | 0.000000e+00 | -- | Inf
190.45/190.58 c 191s| 67400 | 16 | 1292k| 19.2 | 11M| 53 | - | 231 | 14k| 231 |2453 | 17 | 41k|5199 | 0.000000e+00 | -- | Inf
190.76/190.80 c 191s| 67500 | 17 | 1293k| 19.2 | 11M| 53 | - | 231 | 14k| 0 | 0 | 17 | 41k|5201 | 0.000000e+00 | -- | Inf
190.95/191.08 c 191s| 67600 | 17 | 1296k| 19.2 | 11M| 53 | 37 | 231 | 14k| 231 |2453 | 17 | 41k|5201 | 0.000000e+00 | -- | Inf
191.25/191.34 c 191s| 67700 | 18 | 1298k| 19.2 | 11M| 53 | 37 | 231 | 14k| 231 |2453 | 17 | 42k|5201 | 0.000000e+00 | -- | Inf
191.55/191.66 c 192s| 67800 | 16 | 1300k| 19.2 | 11M| 53 | - | 231 | 14k| 231 |2453 | 17 | 42k|5201 | 0.000000e+00 | -- | Inf
191.85/191.93 c 192s| 67900 | 14 | 1303k| 19.2 | 11M| 53 | 53 | 231 | 14k| 231 |2453 | 17 | 42k|5201 | 0.000000e+00 | -- | Inf
192.16/192.20 c 192s| 68000 | 17 | 1305k| 19.2 | 11M| 53 | 32 | 231 | 14k| 231 |2453 | 17 | 42k|5201 | 0.000000e+00 | -- | Inf
192.36/192.44 c 192s| 68100 | 12 | 1307k| 19.2 | 11M| 53 | 58 | 231 | 14k| 231 |2453 | 17 | 42k|5201 | 0.000000e+00 | -- | Inf
192.56/192.69 c 193s| 68200 | 14 | 1308k| 19.2 | 11M| 53 | - | 231 | 14k| 231 |2453 | 17 | 42k|5201 | 0.000000e+00 | -- | Inf
192.85/192.93 c 193s| 68300 | 12 | 1310k| 19.2 | 11M| 53 | - | 231 | 13k| 231 |2453 | 17 | 42k|5201 | 0.000000e+00 | -- | Inf
193.05/193.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
193.05/193.19 c 193s| 68400 | 12 | 1312k| 19.2 | 11M| 53 | - | 231 | 13k| 231 |2453 | 17 | 42k|5201 | 0.000000e+00 | -- | Inf
193.35/193.42 c 193s| 68500 | 12 | 1314k| 19.2 | 11M| 53 | 33 | 231 | 13k| 231 |2453 | 17 | 42k|5201 | 0.000000e+00 | -- | Inf
193.56/193.63 c 194s| 68600 | 10 | 1315k| 19.2 | 11M| 53 | 46 | 231 | 13k| 231 |2453 | 17 | 42k|5201 | 0.000000e+00 | -- | Inf
193.75/193.85 c 194s| 68700 | 12 | 1317k| 19.2 | 11M| 53 | 36 | 231 | 13k| 231 |2453 | 17 | 42k|5201 | 0.000000e+00 | -- | Inf
194.05/194.11 c 194s| 68800 | 8 | 1319k| 19.2 | 11M| 53 | 50 | 231 | 13k| 231 |2453 | 17 | 42k|5201 | 0.000000e+00 | -- | Inf
194.25/194.34 c 194s| 68900 | 7 | 1320k| 19.2 | 11M| 53 | - | 231 | 13k| 231 |2453 | 17 | 42k|5201 | 0.000000e+00 | -- | Inf
194.45/194.60 c 195s| 69000 | 7 | 1322k| 19.2 | 11M| 53 | - | 231 | 13k| 231 |2453 | 17 | 42k|5201 | 0.000000e+00 | -- | Inf
194.75/194.85 c 195s| 69100 | 7 | 1324k| 19.2 | 11M| 53 | - | 231 | 13k| 231 |2453 | 17 | 43k|5201 | 0.000000e+00 | -- | Inf
195.05/195.11 c 195s| 69200 | 9 | 1326k| 19.2 | 11M| 53 | 34 | 231 | 13k| 231 |2453 | 17 | 43k|5201 | 0.000000e+00 | -- | Inf
195.25/195.37 c 195s| 69300 | 7 | 1328k| 19.2 | 11M| 53 | - | 231 | 13k| 231 |2453 | 17 | 43k|5201 | 0.000000e+00 | -- | Inf
195.55/195.63 c 196s| 69400 | 9 | 1330k| 19.2 | 11M| 53 | 38 | 231 | 13k| 231 |2453 | 17 | 43k|5201 | 0.000000e+00 | -- | Inf
195.76/195.88 c 196s| 69500 | 13 | 1332k| 19.2 | 11M| 53 | 39 | 231 | 13k| 231 |2453 | 17 | 43k|5201 | 0.000000e+00 | -- | Inf
196.15/196.22 c 196s| 69600 | 13 | 1334k| 19.2 | 11M| 53 | 34 | 231 | 13k| 231 |2453 | 17 | 43k|5212 | 0.000000e+00 | -- | Inf
196.45/196.53 c 197s| 69700 | 9 | 1336k| 19.2 | 11M| 53 | - | 231 | 13k| 0 | 0 | 17 | 43k|5221 | 0.000000e+00 | -- | Inf
196.76/196.82 c 197s| 69800 | 5 | 1339k| 19.2 | 11M| 53 | 29 | 231 | 14k| 231 |2453 | 17 | 43k|5228 | 0.000000e+00 | -- | Inf
197.05/197.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
197.05/197.14 c 197s| 69900 | 2 | 1341k| 19.2 | 11M| 53 | - | 231 | 14k| 231 |2453 | 17 | 43k|5240 | 0.000000e+00 | -- | Inf
197.15/197.26 c
197.15/197.26 c SCIP Status : problem is solved [infeasible]
197.15/197.26 c Solving Time (sec) : 197.26
197.15/197.26 c Solving Nodes : 69952
197.15/197.26 c Primal Bound : +1.00000000000000e+20 (0 solutions)
197.15/197.26 c Dual Bound : +1.00000000000000e+20
197.15/197.26 c Gap : 0.00 %
197.15/197.26 s UNSATISFIABLE
197.15/197.26 c SCIP Status : problem is solved [infeasible]
197.15/197.26 c Total Time : 197.26
197.15/197.26 c solving : 197.26
197.15/197.26 c presolving : 0.05 (included in solving)
197.15/197.26 c reading : 0.01 (included in solving)
197.15/197.26 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
197.15/197.26 c Original Problem :
197.15/197.26 c Problem name : HOME/instance-3691584-1338021442.opb
197.15/197.26 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
197.15/197.26 c Constraints : 2707 initial, 2707 maximal
197.15/197.26 c Objective sense : minimize
197.15/197.26 c Presolved Problem :
197.15/197.26 c Problem name : t_HOME/instance-3691584-1338021442.opb
197.15/197.26 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
197.15/197.26 c Constraints : 2443 initial, 15991 maximal
197.15/197.26 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
197.15/197.26 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
197.15/197.26 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
197.15/197.26 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
197.15/197.26 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
197.15/197.26 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
197.15/197.26 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
197.15/197.26 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
197.15/197.26 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
197.15/197.26 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
197.15/197.26 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
197.15/197.26 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
197.15/197.26 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0
197.15/197.26 c setppc : 0.00 0.00 0 0 0 0 0 121 0 0 0
197.15/197.26 c linear : 0.02 0.00 0 0 0 0 0 143 0 0 0
197.15/197.26 c logicor : 0.02 0.00 0 0 0 0 0 0 0 0 0
197.15/197.26 c root node : - - 1 - - 1 - - - - -
197.15/197.26 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
197.15/197.26 c integral : 0 0 0 0 36317 0 1 0 123 2051 0 0 70312
197.15/197.26 c knapsack : 1 1 5 277316 0 0 0 16767 329 120057 0 0 0
197.15/197.26 c setppc : 22 22 5 277158 0 0 0 748451 1289 376990 0 0 0
197.15/197.26 c linear : 0+ 304 5 179365 0 0 0 140 0 3288 0 0 0
197.15/197.26 c logicor : 2420+ 15964 5 129340 0 0 0 240590 298 433137 0 0 0
197.15/197.26 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
197.15/197.26 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
197.15/197.26 c integral : 22.43 0.00 0.00 0.00 22.43 0.00 0.00 0.00
197.15/197.26 c knapsack : 0.30 0.00 0.00 0.28 0.00 0.00 0.00 0.02
197.15/197.26 c setppc : 1.13 0.00 0.00 0.92 0.00 0.00 0.00 0.22
197.15/197.26 c linear : 0.24 0.00 0.00 0.24 0.00 0.00 0.00 0.00
197.15/197.26 c logicor : 6.12 0.00 0.00 5.92 0.00 0.00 0.00 0.20
197.15/197.26 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
197.15/197.26 c Propagators : #Propagate #ResProp Cutoffs DomReds
197.15/197.26 c rootredcost : 0 0 0 0
197.15/197.26 c pseudoobj : 0 0 0 0
197.15/197.26 c vbounds : 0 0 0 0
197.15/197.26 c redcost : 36322 0 0 0
197.15/197.26 c probing : 0 0 0 0
197.15/197.26 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
197.15/197.26 c rootredcost : 0.07 0.00 0.00 0.07 0.00
197.15/197.26 c pseudoobj : 0.07 0.00 0.00 0.07 0.00
197.15/197.26 c vbounds : 0.06 0.00 0.00 0.06 0.00
197.15/197.26 c redcost : 0.16 0.00 0.00 0.16 0.00
197.15/197.26 c probing : 0.00 0.00 0.00 0.00 0.00
197.15/197.26 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
197.15/197.26 c propagation : 0.07 1916 1908 9592 21.1 40 21.6 -
197.15/197.26 c infeasible LP : 2.88 33115 32613 191334 32.8 88 19.7 0
197.15/197.26 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
197.15/197.26 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
197.15/197.26 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
197.15/197.26 c applied globally : - - - 40915 19.3 - - -
197.15/197.26 c applied locally : - - - 2725 34.4 - - -
197.15/197.26 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
197.15/197.26 c cut pool : 0.00 4 - - 307 - (maximal pool size: 517)
197.15/197.26 c closecuts : 0.00 0.00 0 0 0 0 0
197.15/197.26 c impliedbounds : 0.00 0.00 5 0 0 0 0
197.15/197.26 c intobj : 0.00 0.00 0 0 0 0 0
197.15/197.26 c gomory : 0.10 0.00 5 0 0 200 0
197.15/197.26 c cgmip : 0.00 0.00 0 0 0 0 0
197.15/197.26 c strongcg : 0.19 0.00 5 0 0 2500 0
197.15/197.26 c cmir : 0.00 0.00 0 0 0 0 0
197.15/197.26 c flowcover : 0.00 0.00 0 0 0 0 0
197.15/197.26 c clique : 0.00 0.00 5 0 0 0 0
197.15/197.26 c zerohalf : 0.00 0.00 0 0 0 0 0
197.15/197.26 c mcf : 0.00 0.00 1 0 0 0 0
197.15/197.26 c oddcycle : 0.00 0.00 0 0 0 0 0
197.15/197.26 c rapidlearning : 0.10 0.00 1 0 0 0 304
197.15/197.26 c Pricers : ExecTime SetupTime Calls Vars
197.15/197.26 c problem variables: 0.00 - 0 0
197.15/197.26 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
197.15/197.26 c relpscost : 22.41 0.00 36317 123 2051 0 0 70312
197.15/197.26 c pscost : 0.00 0.00 0 0 0 0 0 0
197.15/197.26 c inference : 0.00 0.00 0 0 0 0 0 0
197.15/197.26 c mostinf : 0.00 0.00 0 0 0 0 0 0
197.15/197.26 c leastinf : 0.00 0.00 0 0 0 0 0 0
197.15/197.26 c fullstrong : 0.00 0.00 0 0 0 0 0 0
197.15/197.26 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
197.15/197.26 c random : 0.00 0.00 0 0 0 0 0 0
197.15/197.26 c Primal Heuristics : ExecTime SetupTime Calls Found
197.15/197.26 c LP solutions : 0.00 - - 0
197.15/197.26 c pseudo solutions : 0.00 - - 0
197.15/197.26 c smallcard : 0.00 0.00 0 0
197.15/197.26 c trivial : 0.00 0.00 1 0
197.15/197.26 c shiftandpropagate: 0.00 0.00 0 0
197.15/197.26 c simplerounding : 0.00 0.00 0 0
197.15/197.26 c zirounding : 0.00 0.00 0 0
197.15/197.26 c rounding : 0.00 0.00 0 0
197.15/197.26 c shifting : 0.00 0.00 0 0
197.15/197.26 c intshifting : 0.00 0.00 0 0
197.15/197.26 c oneopt : 0.00 0.00 0 0
197.15/197.26 c twoopt : 0.00 0.00 0 0
197.15/197.26 c indtwoopt : 0.00 0.00 0 0
197.15/197.26 c indoneopt : 0.00 0.00 0 0
197.15/197.26 c fixandinfer : 0.00 0.00 0 0
197.15/197.26 c feaspump : 0.00 0.00 0 0
197.15/197.26 c clique : 0.00 0.00 0 0
197.15/197.26 c indrounding : 0.00 0.00 0 0
197.15/197.26 c indcoefdiving : 0.00 0.00 0 0
197.15/197.26 c coefdiving : 0.00 0.00 0 0
197.15/197.26 c pscostdiving : 0.00 0.00 0 0
197.15/197.26 c nlpdiving : 0.00 0.00 0 0
197.15/197.26 c fracdiving : 0.00 0.00 0 0
197.15/197.26 c veclendiving : 0.00 0.00 0 0
197.15/197.26 c intdiving : 0.00 0.00 0 0
197.15/197.26 c actconsdiving : 0.00 0.00 0 0
197.15/197.26 c objpscostdiving : 0.00 0.00 0 0
197.15/197.26 c rootsoldiving : 0.00 0.00 0 0
197.15/197.26 c linesearchdiving : 0.00 0.00 0 0
197.15/197.26 c guideddiving : 0.00 0.00 0 0
197.15/197.26 c octane : 0.00 0.00 0 0
197.15/197.26 c rens : 0.00 0.00 0 0
197.15/197.26 c rins : 0.00 0.00 0 0
197.15/197.26 c localbranching : 0.00 0.00 0 0
197.15/197.26 c mutation : 0.00 0.00 0 0
197.15/197.26 c crossover : 0.00 0.00 0 0
197.15/197.26 c dins : 0.00 0.00 0 0
197.15/197.26 c vbounds : 0.00 0.00 0 0
197.15/197.26 c undercover : 0.00 0.00 0 0
197.15/197.26 c subnlp : 0.00 0.00 0 0
197.15/197.26 c trysol : 0.00 0.00 0 0
197.15/197.26 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
197.15/197.26 c primal LP : 0.00 1 0 0.00 - 0.00 1
197.15/197.26 c dual LP : 145.59 69437 1342000 19.38 9217.84 0.07 175
197.15/197.26 c lex dual LP : 0.00 0 0 0.00 -
197.15/197.26 c barrier LP : 0.00 0 0 0.00 - 0.00 0
197.15/197.26 c diving/probing LP: 0.00 0 0 0.00 -
197.15/197.26 c strong branching : 21.82 5240 187979 35.87 8615.89
197.15/197.26 c (at root node) : - 10 1731 173.10 -
197.15/197.26 c conflict analysis: 0.00 0 0 0.00 -
197.15/197.26 c B&B Tree :
197.15/197.26 c number of runs : 1
197.15/197.26 c nodes : 69952
197.15/197.26 c nodes (total) : 69952
197.15/197.26 c nodes left : 0
197.15/197.26 c max depth : 53
197.15/197.26 c max depth (total): 53
197.15/197.26 c backtracks : 8091 (11.6%)
197.15/197.26 c delayed cutoffs : 361
197.15/197.26 c repropagations : 119017 (144993 domain reductions, 361 cutoffs)
197.15/197.26 c avg switch length: 5.03
197.15/197.26 c switching time : 6.60
197.15/197.26 c Solution :
197.15/197.26 c Solutions found : 0 (0 improvements)
197.15/197.26 c Primal Bound : infeasible
197.15/197.26 c Dual Bound : -
197.15/197.26 c Gap : 0.00 %
197.15/197.26 c Root Dual Bound : +0.00000000000000e+00
197.15/197.26 c Root Iterations : 146
197.15/197.28 c Time complete: 197.24.
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-3691584-1338021442/watcher-3691584-1338021442 -o /tmp/evaluation-result-3691584-1338021442/solver-3691584-1338021442 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691584-1338021442.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 2731
/proc/meminfo: memFree=29505936/32873852 swapFree=7616/7616
[pid=2731] ppid=2729 vsize=12032 CPUtime=0 cores=1,3,5,7
/proc/2731/stat : 2731 (scip-2.1.1.4exp) R 2729 2731 403 0 -1 4202496 1802 0 0 0 0 0 0 0 20 0 1 0 268269658 12320768 1756 33554432000 4194304 10219143 140735233907744 140734257428440 8891101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2731/statm: 3008 1764 398 1471 0 1528 0
[startup+0.077386 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 2731
/proc/meminfo: memFree=29505936/32873852 swapFree=7616/7616
[pid=2731] ppid=2729 vsize=30180 CPUtime=0.07 cores=1,3,5,7
/proc/2731/stat : 2731 (scip-2.1.1.4exp) R 2729 2731 403 0 -1 4202496 6594 0 0 0 6 1 0 0 20 0 1 0 268269658 30904320 6246 33554432000 4194304 10219143 140735233907744 140734257428440 7976369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2731/statm: 7545 6248 745 1471 0 6065 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 30180
[startup+0.100415 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 2731
/proc/meminfo: memFree=29505936/32873852 swapFree=7616/7616
[pid=2731] ppid=2729 vsize=30612 CPUtime=0.09 cores=1,3,5,7
/proc/2731/stat : 2731 (scip-2.1.1.4exp) R 2729 2731 403 0 -1 4202496 6800 0 0 0 8 1 0 0 20 0 1 0 268269658 31346688 6452 33554432000 4194304 10219143 140735233907744 140734257428440 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2731/statm: 7653 6452 761 1471 0 6173 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30612
[startup+0.30033 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 2731
/proc/meminfo: memFree=29505936/32873852 swapFree=7616/7616
[pid=2731] ppid=2729 vsize=48332 CPUtime=0.28 cores=1,3,5,7
/proc/2731/stat : 2731 (scip-2.1.1.4exp) R 2729 2731 403 0 -1 4202496 11672 0 0 0 25 3 0 0 20 0 1 0 268269658 49491968 10616 33554432000 4194304 10219143 140735233907744 140735233897704 5169382 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2731/statm: 12083 10616 814 1471 0 10603 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 48332
[startup+0.700214 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 2731
/proc/meminfo: memFree=29505936/32873852 swapFree=7616/7616
[pid=2731] ppid=2729 vsize=48500 CPUtime=0.69 cores=1,3,5,7
/proc/2731/stat : 2731 (scip-2.1.1.4exp) R 2729 2731 403 0 -1 4202496 11791 0 0 0 65 4 0 0 20 0 1 0 268269658 49664000 10735 33554432000 4194304 10219143 140735233907744 140735233897704 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2731/statm: 12125 10735 818 1471 0 10645 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48500
[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2732
/proc/meminfo: memFree=29466380/32873852 swapFree=7616/7616
[pid=2731] ppid=2729 vsize=48500 CPUtime=1.48 cores=1,3,5,7
/proc/2731/stat : 2731 (scip-2.1.1.4exp) R 2729 2731 403 0 -1 4202496 11792 0 0 0 144 4 0 0 20 0 1 0 268269658 49664000 10736 33554432000 4194304 10219143 140735233907744 140735233901576 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2731/statm: 12125 10736 819 1471 0 10645 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 48500
[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2732
/proc/meminfo: memFree=29465884/32873852 swapFree=7616/7616
[pid=2731] ppid=2729 vsize=48500 CPUtime=3.09 cores=1,3,5,7
/proc/2731/stat : 2731 (scip-2.1.1.4exp) R 2729 2731 403 0 -1 4202496 11795 0 0 0 303 6 0 0 20 0 1 0 268269658 49664000 10739 33554432000 4194304 10219143 140735233907744 140735233901192 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2731/statm: 12125 10739 822 1471 0 10645 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 48500
[startup+6.30023 s]
/proc/loadavg: 2.08 2.02 2.01 3/175 2732
/proc/meminfo: memFree=29465512/32873852 swapFree=7616/7616
[pid=2731] ppid=2729 vsize=48500 CPUtime=6.29 cores=1,3,5,7
/proc/2731/stat : 2731 (scip-2.1.1.4exp) R 2729 2731 403 0 -1 4202496 11796 0 0 0 619 10 0 0 20 0 1 0 268269658 49664000 10740 33554432000 4194304 10219143 140735233907744 140735233901192 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2731/statm: 12125 10740 823 1471 0 10645 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 48500
[startup+12.7002 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 2732
/proc/meminfo: memFree=29464884/32873852 swapFree=7616/7616
[pid=2731] ppid=2729 vsize=48500 CPUtime=12.68 cores=1,3,5,7
/proc/2731/stat : 2731 (scip-2.1.1.4exp) R 2729 2731 403 0 -1 4202496 11803 0 0 0 1249 19 0 0 20 0 1 0 268269658 49664000 10882 33554432000 4194304 10219143 140735233907744 140735233901000 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2731/statm: 12125 10882 824 1471 0 10645 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 48500
[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 2.00 3/175 2732
/proc/meminfo: memFree=29464008/32873852 swapFree=7616/7616
[pid=2731] ppid=2729 vsize=48500 CPUtime=25.48 cores=1,3,5,7
/proc/2731/stat : 2731 (scip-2.1.1.4exp) R 2729 2731 403 0 -1 4202496 11807 0 0 0 2508 40 0 0 20 0 1 0 268269658 49664000 11137 33554432000 4194304 10219143 140735233907744 140735233901000 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2731/statm: 12125 11137 824 1471 0 10645 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 48500
[startup+51.1004 s]
/proc/loadavg: 2.04 2.02 2.00 3/175 2770
/proc/meminfo: memFree=29466560/32873852 swapFree=7616/7616
[pid=2731] ppid=2729 vsize=48500 CPUtime=51.07 cores=1,3,5,7
/proc/2731/stat : 2731 (scip-2.1.1.4exp) R 2729 2731 403 0 -1 4202496 11807 0 0 0 5029 78 0 0 20 0 1 0 268269658 49664000 11137 33554432000 4194304 10219143 140735233907744 140735233903368 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2731/statm: 12125 11137 824 1471 0 10645 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 48500
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/174 2770
/proc/meminfo: memFree=29464320/32873852 swapFree=7616/7616
[pid=2731] ppid=2729 vsize=48500 CPUtime=102.27 cores=1,3,5,7
/proc/2731/stat : 2731 (scip-2.1.1.4exp) R 2729 2731 403 0 -1 4202496 11807 0 0 0 10069 158 0 0 20 0 1 0 268269658 49664000 11137 33554432000 4194304 10219143 140735233907744 140735233901000 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2731/statm: 12125 11137 824 1471 0 10645 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 48500
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 2774
/proc/meminfo: memFree=29463776/32873852 swapFree=7616/7616
[pid=2731] ppid=2729 vsize=48500 CPUtime=162.25 cores=1,3,5,7
/proc/2731/stat : 2731 (scip-2.1.1.4exp) R 2729 2731 403 0 -1 4202496 11807 0 0 0 15982 243 0 0 20 0 1 0 268269658 49664000 11137 33554432000 4194304 10219143 140735233907744 140735233904232 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2731/statm: 12125 11137 824 1471 0 10645 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 48500
Solver just ended. Dumping a history of the last processes samples
[startup+179.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2774
/proc/meminfo: memFree=29463808/32873852 swapFree=7616/7616
[pid=2731] ppid=2729 vsize=48500 CPUtime=179.05 cores=1,3,5,7
/proc/2731/stat : 2731 (scip-2.1.1.4exp) R 2729 2731 403 0 -1 4202496 11808 0 0 0 17636 269 0 0 20 0 1 0 268269658 49664000 11138 33554432000 4194304 10219143 140735233907744 140735233901384 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2731/statm: 12125 11138 825 1471 0 10645 0
Current children cumulated CPU time (s) 179.05
Current children cumulated vsize (KiB) 48500
[startup+185.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2774
/proc/meminfo: memFree=29463808/32873852 swapFree=7616/7616
[pid=2731] ppid=2729 vsize=48500 CPUtime=185.45 cores=1,3,5,7
/proc/2731/stat : 2731 (scip-2.1.1.4exp) R 2729 2731 403 0 -1 4202496 11808 0 0 0 18266 279 0 0 20 0 1 0 268269658 49664000 11138 33554432000 4194304 10219143 140735233907744 140735233904232 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2731/statm: 12125 11138 825 1471 0 10645 0
Current children cumulated CPU time (s) 185.45
Current children cumulated vsize (KiB) 48500
[startup+191.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2774
/proc/meminfo: memFree=29463808/32873852 swapFree=7616/7616
[pid=2731] ppid=2729 vsize=48500 CPUtime=191.85 cores=1,3,5,7
/proc/2731/stat : 2731 (scip-2.1.1.4exp) R 2729 2731 403 0 -1 4202496 11808 0 0 0 18895 290 0 0 20 0 1 0 268269658 49664000 11138 33554432000 4194304 10219143 140735233907744 140735233905112 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2731/statm: 12125 11138 825 1471 0 10645 0
Current children cumulated CPU time (s) 191.85
Current children cumulated vsize (KiB) 48500
[startup+195.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2774
/proc/meminfo: memFree=29463808/32873852 swapFree=7616/7616
[pid=2731] ppid=2729 vsize=48500 CPUtime=195.05 cores=1,3,5,7
/proc/2731/stat : 2731 (scip-2.1.1.4exp) R 2729 2731 403 0 -1 4202496 11808 0 0 0 19209 296 0 0 20 0 1 0 268269658 49664000 11138 33554432000 4194304 10219143 140735233907744 140735233905112 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2731/statm: 12125 11138 825 1471 0 10645 0
Current children cumulated CPU time (s) 195.05
Current children cumulated vsize (KiB) 48500
[startup+195.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2774
/proc/meminfo: memFree=29463808/32873852 swapFree=7616/7616
[pid=2731] ppid=2729 vsize=48500 CPUtime=195.85 cores=1,3,5,7
/proc/2731/stat : 2731 (scip-2.1.1.4exp) R 2729 2731 403 0 -1 4202496 11808 0 0 0 19288 297 0 0 20 0 1 0 268269658 49664000 11138 33554432000 4194304 10219143 140735233907744 140735233901096 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2731/statm: 12125 11138 825 1471 0 10645 0
Current children cumulated CPU time (s) 195.85
Current children cumulated vsize (KiB) 48500
[startup+196.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2774
/proc/meminfo: memFree=29463808/32873852 swapFree=7616/7616
[pid=2731] ppid=2729 vsize=48500 CPUtime=196.65 cores=1,3,5,7
/proc/2731/stat : 2731 (scip-2.1.1.4exp) R 2729 2731 403 0 -1 4202496 11808 0 0 0 19367 298 0 0 20 0 1 0 268269658 49664000 11138 33554432000 4194304 10219143 140735233907744 140735233901096 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2731/statm: 12125 11138 825 1471 0 10645 0
Current children cumulated CPU time (s) 196.65
Current children cumulated vsize (KiB) 48500
[startup+197.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2774
/proc/meminfo: memFree=29463808/32873852 swapFree=7616/7616
[pid=2731] ppid=2729 vsize=48500 CPUtime=197.05 cores=1,3,5,7
/proc/2731/stat : 2731 (scip-2.1.1.4exp) R 2729 2731 403 0 -1 4202496 11808 0 0 0 19407 298 0 0 20 0 1 0 268269658 49664000 11138 33554432000 4194304 10219143 140735233907744 140735233901096 5001284 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2731/statm: 12125 11138 825 1471 0 10645 0
Current children cumulated CPU time (s) 197.05
Current children cumulated vsize (KiB) 48500
[startup+197.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2774
/proc/meminfo: memFree=29463808/32873852 swapFree=7616/7616
[pid=2731] ppid=2729 vsize=48500 CPUtime=197.15 cores=1,3,5,7
/proc/2731/stat : 2731 (scip-2.1.1.4exp) R 2729 2731 403 0 -1 4202496 11808 0 0 0 19417 298 0 0 20 0 1 0 268269658 49664000 11138 33554432000 4194304 10219143 140735233907744 140735233901384 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2731/statm: 12125 11138 825 1471 0 10645 0
Current children cumulated CPU time (s) 197.15
Current children cumulated vsize (KiB) 48500
Child status: 0
Real time (s): 197.29
CPU time (s): 197.25
CPU user time (s): 194.263
CPU system time (s): 2.98654
CPU usage (%): 99.9796
Max. virtual memory (cumulated for all children) (KiB): 50924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 194.263
system time used= 2.98655
maximum resident set size= 44924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11813
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= 203
runsolver used 0.616906 second user time and 1.71374 second system time
The end