0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 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-2664734-1276577621.opb>
0.00/0.01 c original problem has 930 variables (930 bin, 0 int, 0 impl, 0 cont) and 61 constraints
0.00/0.01 c problem read
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 [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.02 c presolving:
0.00/0.03 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 31 upgd conss, 0 impls, 30 clqs
0.00/0.03 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 61 upgd conss, 0 impls, 30 clqs
0.00/0.03 c presolving (3 rounds):
0.00/0.03 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 30 cliques
0.00/0.03 c presolved problem has 930 variables (930 bin, 0 int, 0 impl, 0 cont) and 61 constraints
0.00/0.03 c 30 constraints of type <setppc>
0.00/0.03 c 31 constraints of type <logicor>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.00
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.2
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
0.00/0.03 c
0.00/0.03 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c limits/solutions = 1
0.00/0.03 c
0.00/0.03 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c lp/solvefreq = -1
0.00/0.03 c
0.00/0.03 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.03 c separating/maxrounds = 1
0.00/0.03 c
0.00/0.03 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/maxroundsroot = 5
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.03 c constraints/knapsack/disaggregation = FALSE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c presolving/probing/maxrounds = 0
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/coefdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.03 c heuristics/crossover/freq = -1
0.00/0.03 c
0.00/0.03 c # number of nodes added to the contingent of the total nodes
0.00/0.03 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.03 c heuristics/crossover/nodesofs = 750
0.00/0.03 c
0.00/0.03 c # number of nodes without incumbent change that heuristic should wait
0.00/0.03 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.03 c heuristics/crossover/nwaitingnodes = 100
0.00/0.03 c
0.00/0.03 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.03 c # [type: real, range: [0,1], default: 0.1]
0.00/0.03 c heuristics/crossover/nodesquot = 0.15
0.00/0.03 c
0.00/0.03 c # minimum percentage of integer variables that have to be fixed
0.00/0.03 c # [type: real, range: [0,1], default: 0.666]
0.00/0.03 c heuristics/crossover/minfixingrate = 0.5
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.03 c heuristics/feaspump/freq = -1
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/fracdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/guideddiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/intshifting/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/linesearchdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/nlp/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.03 c heuristics/objpscostdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.03 c # [type: real, range: [0,1], default: 0.01]
0.00/0.03 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/oneopt/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/pscostdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c heuristics/rens/freq = -1
0.00/0.03 c
0.00/0.03 c # minimum percentage of integer variables that have to be fixable
0.00/0.03 c # [type: real, range: [0,1], default: 0.5]
0.00/0.03 c heuristics/rens/minfixingrate = 0.3
0.00/0.03 c
0.00/0.03 c # number of nodes added to the contingent of the total nodes
0.00/0.03 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.03 c heuristics/rens/nodesofs = 2000
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.03 c heuristics/rootsoldiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.03 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/rounding/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/shifting/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/simplerounding/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c heuristics/trivial/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/trysol/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/veclendiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/zirounding/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c separating/cmir/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c separating/flowcover/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.00/0.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.04 c 0.0s| 1 | 2 | 0 | - |1705k| 0 | - | 930 | 61 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.89/1.97 c 1.8s| 10000 | 9935 | 0 | 0.0 |5021k| 719 | - | 930 | 112 | 0 | 0 | 0 | 93 | 0 | 0.000000e+00 | -- | Inf
3.79/3.89 c 3.6s| 20000 | 19864 | 0 | 0.0 |7867k| 764 | - | 930 | 95 | 0 | 0 | 0 | 154 | 0 | 0.000000e+00 | -- | Inf
5.69/5.77 c 5.4s| 30000 | 29794 | 0 | 0.0 | 10M| 764 | - | 930 | 96 | 0 | 0 | 0 | 213 | 0 | 0.000000e+00 | -- | Inf
7.60/7.65 c 7.1s| 40000 | 39719 | 0 | 0.0 | 13M| 764 | - | 930 | 108 | 0 | 0 | 0 | 282 | 0 | 0.000000e+00 | -- | Inf
9.39/9.46 c 8.8s| 50000 | 49642 | 0 | 0.0 | 16M| 764 | - | 930 | 156 | 0 | 0 | 0 | 392 | 0 | 0.000000e+00 | -- | Inf
11.19/11.25 c 10.5s| 60000 | 59557 | 0 | 0.0 | 19M| 764 | - | 930 | 183 | 0 | 0 | 0 | 511 | 0 | 0.000000e+00 | -- | Inf
12.89/12.97 c 12.1s| 70000 | 69473 | 0 | 0.0 | 22M| 764 | - | 930 | 179 | 0 | 0 | 0 | 617 | 0 | 0.000000e+00 | -- | Inf
14.59/14.65 c 13.7s| 80000 | 79361 | 0 | 0.0 | 25M| 764 | - | 930 | 242 | 0 | 0 | 0 | 788 | 0 | 0.000000e+00 | -- | Inf
16.19/16.26 c 15.2s| 90000 | 89260 | 0 | 0.0 | 28M| 764 | - | 930 | 265 | 0 | 0 | 0 | 954 | 0 | 0.000000e+00 | -- | Inf
17.78/17.84 c 16.7s|100000 | 99150 | 0 | 0.0 | 30M| 764 | - | 930 | 291 | 0 | 0 | 0 |1117 | 0 | 0.000000e+00 | -- | Inf
19.29/19.35 c 18.1s|110000 |109039 | 0 | 0.0 | 33M| 764 | - | 930 | 380 | 0 | 0 | 0 |1403 | 0 | 0.000000e+00 | -- | Inf
20.69/20.80 c 19.4s|120000 |118901 | 0 | 0.0 | 37M| 764 | - | 930 | 528 | 0 | 0 | 0 |1811 | 0 | 0.000000e+00 | -- | Inf
22.09/22.18 c 20.6s|130000 |128723 | 0 | 0.0 | 40M| 764 | - | 930 | 775 | 0 | 0 | 0 |2328 | 0 | 0.000000e+00 | -- | Inf
23.48/23.55 c 21.9s|140000 |138450 | 0 | 0.0 | 43M| 764 | - | 930 |1329 | 0 | 0 | 0 |3145 | 0 | 0.000000e+00 | -- | Inf
24.98/25.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.98/25.01 c 23.2s|150000 |147966 | 0 | 0.0 | 47M| 764 | - | 930 |2321 | 0 | 0 | 0 |4726 | 0 | 0.000000e+00 | -- | Inf
27.18/27.25 c 25.3s|160000 |157446 | 0 | 0.0 | 50M| 764 | - | 930 |2069 | 0 | 0 | 0 |6050 | 0 | 0.000000e+00 | -- | Inf
29.18/29.24 c 27.2s|170000 |167371 | 0 | 0.0 | 52M| 764 | - | 930 | 195 | 0 | 0 | 0 |6174 | 0 | 0.000000e+00 | -- | Inf
31.18/31.23 c 29.1s|180000 |177298 | 0 | 0.0 | 55M| 764 | - | 930 | 107 | 0 | 0 | 0 |6263 | 0 | 0.000000e+00 | -- | Inf
33.18/33.23 c 30.9s|190000 |187232 | 0 | 0.0 | 57M| 764 | - | 930 | 98 | 0 | 0 | 0 |6323 | 0 | 0.000000e+00 | -- | Inf
35.19/35.25 c 32.9s|200000 |197150 | 0 | 0.0 | 60M| 764 | - | 930 | 145 | 0 | 0 | 0 |6434 | 0 | 0.000000e+00 | -- | Inf
37.18/37.25 c 34.7s|210000 |207077 | 0 | 0.0 | 63M| 764 | - | 930 | 124 | 0 | 0 | 0 |6527 | 0 | 0.000000e+00 | -- | Inf
39.18/39.25 c 36.6s|220000 |216996 | 0 | 0.0 | 66M| 764 | - | 930 | 115 | 0 | 0 | 0 |6609 | 0 | 0.000000e+00 | -- | Inf
41.17/41.23 c 38.4s|230000 |226925 | 0 | 0.0 | 69M| 764 | - | 930 | 95 | 0 | 0 | 0 |6674 | 0 | 0.000000e+00 | -- | Inf
43.18/43.21 c 40.3s|240000 |236853 | 0 | 0.0 | 72M| 764 | - | 930 | 131 | 0 | 0 | 0 |6772 | 0 | 0.000000e+00 | -- | Inf
45.17/45.21 c 42.2s|250000 |246779 | 0 | 0.0 | 74M| 764 | - | 930 | 111 | 0 | 0 | 0 |6861 | 0 | 0.000000e+00 | -- | Inf
47.18/47.20 c 44.1s|260000 |256699 | 0 | 0.0 | 77M| 764 | - | 930 | 123 | 0 | 0 | 0 |6962 | 0 | 0.000000e+00 | -- | Inf
49.08/49.19 c 45.9s|270000 |266628 | 0 | 0.0 | 80M| 764 | - | 930 | 122 | 0 | 0 | 0 |7045 | 0 | 0.000000e+00 | -- | Inf
51.18/51.23 c 47.9s|280000 |276544 | 0 | 0.0 | 83M| 764 | - | 930 | 89 | 0 | 0 | 0 |7114 | 0 | 0.000000e+00 | -- | Inf
53.08/53.19 c 49.7s|290000 |286485 | 0 | 0.0 | 86M| 764 | - | 930 | 100 | 0 | 0 | 0 |7182 | 0 | 0.000000e+00 | -- | Inf
55.08/55.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.08/55.19 c 51.6s|300000 |296391 | 0 | 0.0 | 89M| 764 | - | 930 | 117 | 0 | 0 | 0 |7283 | 0 | 0.000000e+00 | -- | Inf
57.08/57.20 c 53.5s|310000 |306307 | 0 | 0.0 | 91M| 764 | - | 930 | 111 | 0 | 0 | 0 |7371 | 0 | 0.000000e+00 | -- | Inf
59.17/59.25 c 55.4s|320000 |316219 | 0 | 0.0 | 94M| 764 | - | 930 | 98 | 0 | 0 | 0 |7446 | 0 | 0.000000e+00 | -- | Inf
61.18/61.23 c 57.3s|330000 |326152 | 0 | 0.0 | 97M| 764 | - | 930 | 109 | 0 | 0 | 0 |7523 | 0 | 0.000000e+00 | -- | Inf
63.17/63.24 c 59.1s|340000 |336072 | 0 | 0.0 | 100M| 764 | - | 930 | 110 | 0 | 0 | 0 |7603 | 0 | 0.000000e+00 | -- | Inf
65.17/65.25 c 61.0s|350000 |345998 | 0 | 0.0 | 103M| 764 | - | 930 | 98 | 0 | 0 | 0 |7673 | 0 | 0.000000e+00 | -- | Inf
67.17/67.26 c 62.9s|360000 |355914 | 0 | 0.0 | 105M| 764 | - | 930 | 113 | 0 | 0 | 0 |7771 | 0 | 0.000000e+00 | -- | Inf
69.18/69.29 c 64.8s|370000 |365828 | 0 | 0.0 | 108M| 764 | - | 930 | 112 | 0 | 0 | 0 |7869 | 0 | 0.000000e+00 | -- | Inf
71.17/71.26 c 66.7s|380000 |375755 | 0 | 0.0 | 111M| 764 | - | 930 | 111 | 0 | 0 | 0 |7950 | 0 | 0.000000e+00 | -- | Inf
73.17/73.26 c 68.5s|390000 |385666 | 0 | 0.0 | 114M| 764 | - | 930 | 149 | 0 | 0 | 0 |8087 | 0 | 0.000000e+00 | -- | Inf
75.17/75.24 c 70.4s|400000 |395591 | 0 | 0.0 | 117M| 764 | - | 930 | 129 | 0 | 0 | 0 |8184 | 0 | 0.000000e+00 | -- | Inf
77.17/77.20 c 72.2s|410000 |405518 | 0 | 0.0 | 120M| 764 | - | 930 | 126 | 0 | 0 | 0 |8276 | 0 | 0.000000e+00 | -- | Inf
79.07/79.17 c 74.1s|420000 |415440 | 0 | 0.0 | 122M| 764 | - | 930 | 146 | 0 | 0 | 0 |8399 | 0 | 0.000000e+00 | -- | Inf
81.06/81.15 c 76.0s|430000 |425352 | 0 | 0.0 | 125M| 764 | - | 930 | 123 | 0 | 0 | 0 |8508 | 0 | 0.000000e+00 | -- | Inf
83.06/83.13 c 77.8s|440000 |435270 | 0 | 0.0 | 128M| 764 | - | 930 | 107 | 0 | 0 | 0 |8600 | 0 | 0.000000e+00 | -- | Inf
85.06/85.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
85.06/85.14 c 79.7s|450000 |445175 | 0 | 0.0 | 131M| 764 | - | 930 | 114 | 0 | 0 | 0 |8697 | 0 | 0.000000e+00 | -- | Inf
86.97/87.08 c 81.5s|460000 |455110 | 0 | 0.0 | 134M| 764 | - | 930 | 128 | 0 | 0 | 0 |8801 | 0 | 0.000000e+00 | -- | Inf
88.97/89.04 c 83.4s|470000 |465018 | 0 | 0.0 | 137M| 764 | - | 930 | 171 | 0 | 0 | 0 |8955 | 0 | 0.000000e+00 | -- | Inf
90.96/91.07 c 85.3s|480000 |474921 | 0 | 0.0 | 139M| 764 | - | 930 | 135 | 0 | 0 | 0 |9069 | 0 | 0.000000e+00 | -- | Inf
92.96/93.05 c 87.1s|490000 |484838 | 0 | 0.0 | 142M| 764 | - | 930 | 101 | 0 | 0 | 0 |9144 | 0 | 0.000000e+00 | -- | Inf
94.96/95.03 c 89.0s|500000 |494761 | 0 | 0.0 | 145M| 764 | - | 930 | 93 | 0 | 0 | 0 |9212 | 0 | 0.000000e+00 | -- | Inf
96.86/96.96 c 90.8s|510000 |504683 | 0 | 0.0 | 148M| 764 | - | 930 | 146 | 0 | 0 | 0 |9317 | 0 | 0.000000e+00 | -- | Inf
98.87/98.91 c 92.7s|520000 |514607 | 0 | 0.0 | 150M| 764 | - | 930 | 137 | 0 | 0 | 0 |9408 | 0 | 0.000000e+00 | -- | Inf
100.75/100.85 c 94.5s|530000 |524536 | 0 | 0.0 | 153M| 764 | - | 930 | 130 | 0 | 0 | 0 |9512 | 0 | 0.000000e+00 | -- | Inf
102.75/102.85 c 96.3s|540000 |534434 | 0 | 0.0 | 156M| 764 | - | 930 | 123 | 0 | 0 | 0 |9621 | 0 | 0.000000e+00 | -- | Inf
104.76/104.84 c 98.2s|550000 |544335 | 0 | 0.0 | 159M| 764 | - | 930 | 133 | 0 | 0 | 0 |9736 | 0 | 0.000000e+00 | -- | Inf
106.75/106.83 c 100s|560000 |554232 | 0 | 0.0 | 162M| 764 | - | 930 | 137 | 0 | 0 | 0 |9856 | 0 | 0.000000e+00 | -- | Inf
108.76/108.81 c 102s|570000 |564136 | 0 | 0.0 | 165M| 764 | - | 930 | 129 | 0 | 0 | 0 |9976 | 0 | 0.000000e+00 | -- | Inf
110.66/110.77 c 104s|580000 |574058 | 0 | 0.0 | 167M| 764 | - | 930 | 112 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
112.56/112.69 c 106s|590000 |583992 | 0 | 0.0 | 170M| 764 | - | 930 | 128 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
114.55/114.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
114.55/114.63 c 107s|600000 |593920 | 0 | 0.0 | 173M| 764 | - | 930 | 111 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
116.55/116.61 c 109s|610000 |603842 | 0 | 0.0 | 176M| 764 | - | 930 | 90 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
118.45/118.58 c 111s|620000 |613743 | 0 | 0.0 | 179M| 764 | - | 930 | 153 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
120.45/120.57 c 113s|630000 |623658 | 0 | 0.0 | 182M| 764 | - | 930 | 116 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
122.45/122.54 c 115s|640000 |633585 | 0 | 0.0 | 184M| 764 | - | 930 | 83 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
124.34/124.49 c 117s|650000 |643515 | 0 | 0.0 | 187M| 764 | - | 930 | 117 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
126.35/126.45 c 119s|660000 |653443 | 0 | 0.0 | 190M| 764 | - | 930 | 85 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
128.35/128.47 c 120s|670000 |663344 | 0 | 0.0 | 193M| 764 | - | 930 | 126 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
130.35/130.44 c 122s|680000 |673266 | 0 | 0.0 | 196M| 764 | - | 930 | 134 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
132.35/132.40 c 124s|690000 |683177 | 0 | 0.0 | 199M| 764 | - | 930 | 124 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
134.35/134.42 c 126s|700000 |693083 | 0 | 0.0 | 201M| 764 | - | 930 | 107 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
136.25/136.39 c 128s|710000 |703015 | 0 | 0.0 | 204M| 764 | - | 930 | 91 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
138.25/138.38 c 130s|720000 |712939 | 0 | 0.0 | 207M| 764 | - | 930 | 106 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
140.24/140.34 c 132s|730000 |722862 | 0 | 0.0 | 210M| 764 | - | 930 | 129 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
142.24/142.30 c 133s|740000 |732775 | 0 | 0.0 | 213M| 764 | - | 930 | 122 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
144.15/144.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
144.15/144.28 c 135s|750000 |742688 | 0 | 0.0 | 215M| 764 | - | 930 | 124 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
146.14/146.22 c 137s|760000 |752613 | 0 | 0.0 | 218M| 764 | - | 930 | 113 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
148.04/148.18 c 139s|770000 |762536 | 0 | 0.0 | 221M| 764 | - | 930 | 121 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
150.04/150.14 c 141s|780000 |772451 | 0 | 0.0 | 224M| 764 | - | 930 | 113 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
152.04/152.16 c 143s|790000 |782353 | 0 | 0.0 | 227M| 764 | - | 930 | 101 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
154.04/154.13 c 145s|800000 |792276 | 0 | 0.0 | 229M| 764 | - | 930 | 108 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
155.94/156.08 c 146s|810000 |802198 | 0 | 0.0 | 232M| 764 | - | 930 | 132 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
157.93/158.06 c 148s|820000 |812096 | 0 | 0.0 | 235M| 764 | - | 930 | 134 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
159.94/160.04 c 150s|830000 |821999 | 0 | 0.0 | 238M| 764 | - | 930 | 119 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
161.93/162.00 c 152s|840000 |831914 | 0 | 0.0 | 241M| 764 | - | 930 | 118 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
163.84/163.94 c 154s|850000 |841830 | 0 | 0.0 | 243M| 764 | - | 930 | 88 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
165.83/165.92 c 156s|860000 |851738 | 0 | 0.0 | 246M| 764 | - | 930 | 135 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
167.74/167.83 c 157s|870000 |861667 | 0 | 0.0 | 249M| 764 | - | 930 | 120 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
169.64/169.76 c 159s|880000 |871582 | 0 | 0.0 | 252M| 764 | - | 930 | 188 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
171.63/171.72 c 161s|890000 |881482 | 0 | 0.0 | 255M| 764 | - | 930 | 168 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
173.53/173.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
173.53/173.65 c 163s|900000 |891404 | 0 | 0.0 | 257M| 764 | - | 930 | 110 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
175.43/175.56 c 165s|910000 |901332 | 0 | 0.0 | 260M| 764 | - | 930 | 123 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
177.33/177.48 c 167s|920000 |911259 | 0 | 0.0 | 263M| 764 | - | 930 | 115 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
179.23/179.39 c 168s|930000 |921167 | 0 | 0.0 | 266M| 764 | - | 930 | 156 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
181.23/181.30 c 170s|940000 |931089 | 0 | 0.0 | 269M| 764 | - | 930 | 150 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
183.12/183.20 c 172s|950000 |941010 | 0 | 0.0 | 272M| 764 | - | 930 | 184 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
185.02/185.10 c 174s|960000 |950926 | 0 | 0.0 | 275M| 764 | - | 930 | 148 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
186.93/187.01 c 175s|970000 |960849 | 0 | 0.0 | 277M| 764 | - | 930 | 91 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
188.83/188.96 c 177s|980000 |970768 | 0 | 0.0 | 280M| 764 | - | 930 | 135 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
190.73/190.85 c 179s|990000 |980692 | 0 | 0.0 | 283M| 764 | - | 930 | 143 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
192.62/192.78 c 181s| 1000k|990606 | 0 | 0.0 | 286M| 764 | - | 930 | 164 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
194.63/194.71 c 183s| 1010k| 1000k| 0 | 0.0 | 289M| 764 | - | 930 | 150 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
196.52/196.67 c 185s| 1020k| 1010k| 0 | 0.0 | 292M| 764 | - | 930 | 138 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
198.53/198.61 c 186s| 1030k| 1020k| 0 | 0.0 | 294M| 764 | - | 930 | 135 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
200.43/200.56 c 188s| 1040k| 1030k| 0 | 0.0 | 297M| 764 | - | 930 | 166 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
202.33/202.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
202.33/202.47 c 190s| 1050k| 1040k| 0 | 0.0 | 300M| 764 | - | 930 | 117 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
204.22/204.39 c 192s| 1060k| 1050k| 0 | 0.0 | 303M| 764 | - | 930 | 120 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
206.22/206.32 c 194s| 1070k| 1060k| 0 | 0.0 | 306M| 764 | - | 930 | 156 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
208.22/208.30 c 195s| 1080k| 1069k| 0 | 0.0 | 308M| 764 | - | 930 | 114 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
210.12/210.21 c 197s| 1090k| 1079k| 0 | 0.0 | 311M| 764 | - | 930 | 135 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
212.01/212.11 c 199s| 1100k| 1089k| 0 | 0.0 | 314M| 764 | - | 930 | 129 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
213.92/214.01 c 201s| 1110k| 1099k| 0 | 0.0 | 317M| 764 | - | 930 | 167 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
215.81/215.94 c 203s| 1120k| 1109k| 0 | 0.0 | 320M| 764 | - | 930 | 149 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
217.72/217.87 c 204s| 1130k| 1119k| 0 | 0.0 | 323M| 764 | - | 930 | 131 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
219.71/219.81 c 206s| 1140k| 1129k| 0 | 0.0 | 325M| 764 | - | 930 | 116 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
221.61/221.75 c 208s| 1150k| 1139k| 0 | 0.0 | 328M| 764 | - | 930 | 141 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
223.61/223.71 c 210s| 1160k| 1149k| 0 | 0.0 | 331M| 764 | - | 930 | 137 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
225.51/225.60 c 212s| 1170k| 1159k| 0 | 0.0 | 334M| 764 | - | 930 | 108 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
227.41/227.54 c 214s| 1180k| 1169k| 0 | 0.0 | 337M| 764 | - | 930 | 95 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
229.32/229.44 c 215s| 1190k| 1179k| 0 | 0.0 | 339M| 764 | - | 930 | 140 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
231.21/231.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
231.21/231.38 c 217s| 1200k| 1188k| 0 | 0.0 | 342M| 764 | - | 930 | 110 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
233.21/233.32 c 219s| 1210k| 1198k| 0 | 0.0 | 345M| 764 | - | 930 | 115 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
235.11/235.28 c 221s| 1220k| 1208k| 0 | 0.0 | 348M| 764 | - | 930 | 130 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
237.11/237.22 c 223s| 1230k| 1218k| 0 | 0.0 | 351M| 764 | - | 930 | 130 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
239.00/239.11 c 224s| 1240k| 1228k| 0 | 0.0 | 354M| 764 | - | 930 | 120 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
240.90/241.03 c 226s| 1250k| 1238k| 0 | 0.0 | 356M| 764 | - | 930 | 122 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
242.91/243.01 c 228s| 1260k| 1248k| 0 | 0.0 | 359M| 764 | - | 930 | 120 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
244.81/244.90 c 230s| 1270k| 1258k| 0 | 0.0 | 362M| 764 | - | 930 | 123 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
246.70/246.81 c 232s| 1280k| 1268k| 0 | 0.0 | 365M| 764 | - | 930 | 109 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
248.61/248.72 c 233s| 1290k| 1278k| 0 | 0.0 | 368M| 764 | - | 930 | 116 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
250.50/250.63 c 235s| 1300k| 1288k| 0 | 0.0 | 371M| 764 | - | 930 | 95 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
252.40/252.52 c 237s| 1310k| 1298k| 0 | 0.0 | 373M| 764 | - | 930 | 97 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
254.30/254.43 c 239s| 1320k| 1308k| 0 | 0.0 | 376M| 764 | - | 930 | 140 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
256.21/256.35 c 240s| 1330k| 1317k| 0 | 0.0 | 379M| 764 | - | 930 | 114 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
258.21/258.30 c 242s| 1340k| 1327k| 0 | 0.0 | 382M| 764 | - | 930 | 116 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
260.10/260.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
260.10/260.23 c 244s| 1350k| 1337k| 0 | 0.0 | 385M| 764 | - | 930 | 118 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
262.00/262.13 c 246s| 1360k| 1347k| 0 | 0.0 | 387M| 764 | - | 930 | 133 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
263.91/264.03 c 248s| 1370k| 1357k| 0 | 0.0 | 390M| 764 | - | 930 | 114 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
265.80/265.99 c 250s| 1380k| 1367k| 0 | 0.0 | 393M| 764 | - | 930 | 138 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
267.80/267.98 c 251s| 1390k| 1377k| 0 | 0.0 | 396M| 764 | - | 930 | 144 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
269.70/269.88 c 253s| 1400k| 1387k| 0 | 0.0 | 399M| 764 | - | 930 | 140 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
271.60/271.79 c 255s| 1410k| 1397k| 0 | 0.0 | 401M| 764 | - | 930 | 119 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
273.60/273.76 c 257s| 1420k| 1407k| 0 | 0.0 | 404M| 764 | - | 930 | 128 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
275.49/275.70 c 259s| 1430k| 1417k| 0 | 0.0 | 407M| 764 | - | 930 | 190 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
277.40/277.57 c 260s| 1440k| 1426k| 0 | 0.0 | 410M| 764 | - | 930 | 150 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
279.31/279.46 c 262s| 1450k| 1436k| 0 | 0.0 | 413M| 764 | - | 930 | 154 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
281.20/281.38 c 264s| 1460k| 1446k| 0 | 0.0 | 416M| 764 | - | 930 | 148 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
283.09/283.22 c 266s| 1470k| 1456k| 0 | 0.0 | 418M| 764 | - | 930 | 106 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
284.90/285.08 c 267s| 1480k| 1466k| 0 | 0.0 | 421M| 764 | - | 930 | 119 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
286.79/286.96 c 269s| 1490k| 1476k| 0 | 0.0 | 424M| 764 | - | 930 | 120 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
288.79/288.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
288.79/288.91 c 271s| 1500k| 1486k| 0 | 0.0 | 427M| 764 | - | 930 | 113 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
290.69/290.82 c 273s| 1510k| 1496k| 0 | 0.0 | 430M| 764 | - | 930 | 107 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
292.59/292.71 c 275s| 1520k| 1506k| 0 | 0.0 | 433M| 764 | - | 930 | 196 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
294.49/294.61 c 276s| 1530k| 1516k| 0 | 0.0 | 435M| 764 | - | 930 | 150 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
296.39/296.54 c 278s| 1540k| 1526k| 0 | 0.0 | 438M| 764 | - | 930 | 95 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
298.28/298.42 c 280s| 1550k| 1536k| 0 | 0.0 | 441M| 764 | - | 930 | 126 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
300.20/300.34 c 282s| 1560k| 1545k| 0 | 0.0 | 444M| 764 | - | 930 | 142 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
302.19/302.35 c 284s| 1570k| 1555k| 0 | 0.0 | 447M| 764 | - | 930 | 146 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
304.09/304.29 c 286s| 1580k| 1565k| 0 | 0.0 | 450M| 764 | - | 930 | 126 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
306.09/306.24 c 287s| 1590k| 1575k| 0 | 0.0 | 452M| 764 | - | 930 | 159 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
307.99/308.16 c 289s| 1600k| 1585k| 0 | 0.0 | 455M| 764 | - | 930 | 147 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
309.99/310.12 c 291s| 1610k| 1595k| 0 | 0.0 | 458M| 764 | - | 930 | 99 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
311.88/312.04 c 293s| 1620k| 1605k| 0 | 0.0 | 461M| 764 | - | 930 | 136 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
313.78/313.93 c 295s| 1630k| 1615k| 0 | 0.0 | 464M| 764 | - | 930 | 129 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
315.68/315.82 c 296s| 1640k| 1625k| 0 | 0.0 | 466M| 764 | - | 930 | 134 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
317.58/317.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
317.58/317.73 c 298s| 1650k| 1635k| 0 | 0.0 | 469M| 764 | - | 930 | 99 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
319.48/319.64 c 300s| 1660k| 1645k| 0 | 0.0 | 472M| 764 | - | 930 | 100 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
321.38/321.50 c 302s| 1670k| 1654k| 0 | 0.0 | 475M| 764 | - | 930 | 138 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
323.18/323.38 c 303s| 1680k| 1664k| 0 | 0.0 | 478M| 764 | - | 930 | 116 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
325.17/325.30 c 305s| 1690k| 1674k| 0 | 0.0 | 481M| 764 | - | 930 | 133 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
326.97/327.17 c 307s| 1700k| 1684k| 0 | 0.0 | 483M| 764 | - | 930 | 158 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
328.88/329.05 c 309s| 1710k| 1694k| 0 | 0.0 | 486M| 764 | - | 930 | 147 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
330.77/330.90 c 311s| 1720k| 1704k| 0 | 0.0 | 489M| 764 | - | 930 | 131 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
332.67/332.86 c 312s| 1730k| 1714k| 0 | 0.0 | 492M| 764 | - | 930 | 119 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
334.57/334.75 c 314s| 1740k| 1724k| 0 | 0.0 | 495M| 764 | - | 930 | 165 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
336.48/336.61 c 316s| 1750k| 1734k| 0 | 0.0 | 498M| 764 | - | 930 | 165 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
338.27/338.44 c 318s| 1760k| 1744k| 0 | 0.0 | 500M| 764 | - | 930 | 165 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
340.17/340.33 c 319s| 1770k| 1754k| 0 | 0.0 | 503M| 764 | - | 930 | 126 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
342.07/342.23 c 321s| 1780k| 1764k| 0 | 0.0 | 506M| 764 | - | 930 | 127 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
343.97/344.11 c 323s| 1790k| 1774k| 0 | 0.0 | 509M| 764 | - | 930 | 119 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
345.87/346.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
345.87/346.08 c 325s| 1800k| 1783k| 0 | 0.0 | 512M| 764 | - | 930 | 113 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
347.77/347.99 c 327s| 1810k| 1793k| 0 | 0.0 | 515M| 764 | - | 930 | 115 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
349.77/349.90 c 328s| 1820k| 1803k| 0 | 0.0 | 517M| 764 | - | 930 | 120 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
351.57/351.77 c 330s| 1830k| 1813k| 0 | 0.0 | 520M| 764 | - | 930 | 118 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
353.47/353.67 c 332s| 1840k| 1823k| 0 | 0.0 | 523M| 764 | - | 930 | 148 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
355.37/355.57 c 334s| 1850k| 1833k| 0 | 0.0 | 526M| 764 | - | 930 | 117 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
357.28/357.48 c 335s| 1860k| 1843k| 0 | 0.0 | 529M| 764 | - | 930 | 147 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
359.17/359.32 c 337s| 1870k| 1853k| 0 | 0.0 | 531M| 764 | - | 930 | 158 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
360.97/361.19 c 339s| 1880k| 1863k| 0 | 0.0 | 534M| 764 | - | 930 | 134 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
362.96/363.10 c 341s| 1890k| 1873k| 0 | 0.0 | 537M| 764 | - | 930 | 130 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
364.86/365.01 c 343s| 1900k| 1883k| 0 | 0.0 | 540M| 764 | - | 930 | 117 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
366.77/366.91 c 344s| 1910k| 1892k| 0 | 0.0 | 543M| 764 | - | 930 | 142 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
368.56/368.79 c 346s| 1920k| 1902k| 0 | 0.0 | 546M| 764 | - | 930 | 131 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
370.57/370.73 c 348s| 1930k| 1912k| 0 | 0.0 | 548M| 764 | - | 930 | 139 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
372.46/372.65 c 350s| 1940k| 1922k| 0 | 0.0 | 551M| 764 | - | 930 | 101 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
374.36/374.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
374.36/374.52 c 351s| 1950k| 1932k| 0 | 0.0 | 554M| 764 | - | 930 | 105 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
376.16/376.38 c 353s| 1960k| 1942k| 0 | 0.0 | 557M| 764 | - | 930 | 124 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
378.06/378.27 c 355s| 1970k| 1952k| 0 | 0.0 | 560M| 764 | - | 930 | 160 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
379.96/380.18 c 357s| 1980k| 1962k| 0 | 0.0 | 562M| 764 | - | 930 | 152 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
381.86/382.07 c 359s| 1990k| 1972k| 0 | 0.0 | 565M| 764 | - | 930 | 147 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
383.76/383.93 c 360s| 2000k| 1982k| 0 | 0.0 | 568M| 764 | - | 930 | 131 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
385.66/385.83 c 362s| 2010k| 1992k| 0 | 0.0 | 571M| 764 | - | 930 | 122 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
387.55/387.71 c 364s| 2020k| 2002k| 0 | 0.0 | 574M| 764 | - | 930 | 124 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
389.45/389.61 c 366s| 2030k| 2011k| 0 | 0.0 | 577M| 764 | - | 930 | 128 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
391.26/391.48 c 367s| 2040k| 2021k| 0 | 0.0 | 579M| 764 | - | 930 | 110 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
393.16/393.35 c 369s| 2050k| 2031k| 0 | 0.0 | 582M| 764 | - | 930 | 135 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
395.05/395.25 c 371s| 2060k| 2041k| 0 | 0.0 | 585M| 764 | - | 930 | 109 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
396.96/397.13 c 373s| 2070k| 2051k| 0 | 0.0 | 588M| 764 | - | 930 | 126 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
398.75/398.97 c 374s| 2080k| 2061k| 0 | 0.0 | 591M| 764 | - | 930 | 156 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
400.55/400.77 c 376s| 2090k| 2071k| 0 | 0.0 | 594M| 764 | - | 930 | 129 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
402.46/402.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
402.46/402.63 c 378s| 2100k| 2081k| 0 | 0.0 | 596M| 764 | - | 930 | 157 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
404.35/404.52 c 380s| 2110k| 2091k| 0 | 0.0 | 599M| 764 | - | 930 | 133 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
406.15/406.39 c 381s| 2120k| 2101k| 0 | 0.0 | 602M| 764 | - | 930 | 140 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
408.05/408.29 c 383s| 2130k| 2111k| 0 | 0.0 | 605M| 764 | - | 930 | 209 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
409.95/410.16 c 385s| 2140k| 2121k| 0 | 0.0 | 608M| 764 | - | 930 | 168 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
411.85/412.03 c 387s| 2150k| 2130k| 0 | 0.0 | 611M| 764 | - | 930 | 108 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
413.75/413.91 c 388s| 2160k| 2140k| 0 | 0.0 | 613M| 764 | - | 930 | 104 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
415.55/415.74 c 390s| 2170k| 2150k| 0 | 0.0 | 616M| 764 | - | 930 | 148 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
417.34/417.59 c 392s| 2180k| 2160k| 0 | 0.0 | 619M| 764 | - | 930 | 165 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
419.25/419.42 c 393s| 2190k| 2170k| 0 | 0.0 | 622M| 764 | - | 930 | 147 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
421.15/421.32 c 395s| 2200k| 2180k| 0 | 0.0 | 625M| 764 | - | 930 | 136 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
422.95/423.19 c 397s| 2210k| 2190k| 0 | 0.0 | 628M| 764 | - | 930 | 124 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
424.84/425.06 c 399s| 2220k| 2200k| 0 | 0.0 | 630M| 764 | - | 930 | 101 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
426.74/426.91 c 400s| 2230k| 2210k| 0 | 0.0 | 633M| 764 | - | 930 | 130 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
428.64/428.84 c 402s| 2240k| 2220k| 0 | 0.0 | 636M| 764 | - | 930 | 126 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
430.54/430.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
430.54/430.70 c 404s| 2250k| 2230k| 0 | 0.0 | 639M| 764 | - | 930 | 169 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
432.34/432.56 c 406s| 2260k| 2240k| 0 | 0.0 | 642M| 764 | - | 930 | 109 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
434.14/434.39 c 407s| 2270k| 2249k| 0 | 0.0 | 645M| 764 | - | 930 | 148 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
436.03/436.29 c 409s| 2280k| 2259k| 0 | 0.0 | 647M| 764 | - | 930 | 174 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
437.94/438.18 c 411s| 2290k| 2269k| 0 | 0.0 | 650M| 764 | - | 930 | 105 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
439.93/440.18 c 413s| 2300k| 2279k| 0 | 0.0 | 653M| 764 | - | 930 | 117 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
441.82/442.06 c 415s| 2310k| 2289k| 0 | 0.0 | 656M| 764 | - | 930 | 130 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
443.73/443.91 c 416s| 2320k| 2299k| 0 | 0.0 | 659M| 764 | - | 930 | 141 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
445.62/445.87 c 418s| 2330k| 2309k| 0 | 0.0 | 662M| 764 | - | 930 | 143 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
447.62/447.80 c 420s| 2340k| 2319k| 0 | 0.0 | 664M| 764 | - | 930 | 112 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
449.42/449.69 c 422s| 2350k| 2329k| 0 | 0.0 | 667M| 764 | - | 930 | 156 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
451.42/451.61 c 424s| 2360k| 2339k| 0 | 0.0 | 670M| 764 | - | 930 | 170 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
453.32/453.50 c 425s| 2370k| 2349k| 0 | 0.0 | 673M| 764 | - | 930 | 154 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
455.22/455.45 c 427s| 2380k| 2358k| 0 | 0.0 | 676M| 764 | - | 930 | 143 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
457.22/457.42 c 429s| 2390k| 2368k| 0 | 0.0 | 678M| 764 | - | 930 | 112 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
459.02/459.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
459.02/459.29 c 431s| 2400k| 2378k| 0 | 0.0 | 681M| 764 | - | 930 | 147 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
460.92/461.15 c 432s| 2410k| 2388k| 0 | 0.0 | 684M| 764 | - | 930 | 129 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
462.82/463.02 c 434s| 2420k| 2398k| 0 | 0.0 | 687M| 764 | - | 930 | 117 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
464.62/464.89 c 436s| 2430k| 2408k| 0 | 0.0 | 690M| 764 | - | 930 | 127 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
466.52/466.73 c 438s| 2440k| 2418k| 0 | 0.0 | 692M| 764 | - | 930 | 114 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
468.32/468.58 c 439s| 2450k| 2428k| 0 | 0.0 | 695M| 764 | - | 930 | 138 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
470.21/470.40 c 441s| 2460k| 2438k| 0 | 0.0 | 698M| 764 | - | 930 | 154 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
472.01/472.24 c 443s| 2470k| 2448k| 0 | 0.0 | 701M| 764 | - | 930 | 174 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
473.82/474.10 c 445s| 2480k| 2458k| 0 | 0.0 | 704M| 764 | - | 930 | 152 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
475.71/475.94 c 446s| 2490k| 2468k| 0 | 0.0 | 707M| 764 | - | 930 | 148 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
477.51/477.77 c 448s| 2500k| 2477k| 0 | 0.0 | 709M| 764 | - | 930 | 145 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
479.32/479.57 c 450s| 2510k| 2487k| 0 | 0.0 | 712M| 764 | - | 930 | 180 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
481.21/481.44 c 451s| 2520k| 2497k| 0 | 0.0 | 715M| 764 | - | 930 | 114 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
483.11/483.33 c 453s| 2530k| 2507k| 0 | 0.0 | 718M| 764 | - | 930 | 99 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
484.92/485.17 c 455s| 2540k| 2517k| 0 | 0.0 | 721M| 764 | - | 930 | 127 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
486.80/487.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
486.80/487.06 c 457s| 2550k| 2527k| 0 | 0.0 | 724M| 764 | - | 930 | 110 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
488.61/488.88 c 458s| 2560k| 2537k| 0 | 0.0 | 726M| 764 | - | 930 | 154 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
490.51/490.78 c 460s| 2570k| 2547k| 0 | 0.0 | 729M| 764 | - | 930 | 128 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
492.41/492.69 c 462s| 2580k| 2557k| 0 | 0.0 | 732M| 764 | - | 930 | 100 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
494.40/494.60 c 464s| 2590k| 2567k| 0 | 0.0 | 735M| 764 | - | 930 | 101 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
496.30/496.52 c 466s| 2600k| 2577k| 0 | 0.0 | 738M| 764 | - | 930 | 119 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
498.11/498.38 c 467s| 2610k| 2587k| 0 | 0.0 | 740M| 764 | - | 930 | 121 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
500.00/500.23 c 469s| 2620k| 2596k| 0 | 0.0 | 743M| 764 | - | 930 | 148 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
501.90/502.18 c 471s| 2630k| 2606k| 0 | 0.0 | 746M| 764 | - | 930 | 108 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
503.70/503.99 c 473s| 2640k| 2616k| 0 | 0.0 | 749M| 764 | - | 930 | 155 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
505.60/505.84 c 474s| 2650k| 2626k| 0 | 0.0 | 752M| 764 | - | 930 | 140 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
507.50/507.70 c 476s| 2660k| 2636k| 0 | 0.0 | 755M| 764 | - | 930 | 171 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
509.40/509.63 c 478s| 2670k| 2646k| 0 | 0.0 | 757M| 764 | - | 930 | 195 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
511.21/511.49 c 480s| 2680k| 2656k| 0 | 0.0 | 760M| 764 | - | 930 | 178 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
513.09/513.33 c 481s| 2690k| 2666k| 0 | 0.0 | 763M| 764 | - | 930 | 135 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
514.89/515.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
514.89/515.12 c 483s| 2700k| 2676k| 0 | 0.0 | 766M| 764 | - | 930 | 157 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
516.70/516.93 c 485s| 2710k| 2686k| 0 | 0.0 | 769M| 764 | - | 930 | 143 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
518.59/518.81 c 486s| 2720k| 2696k| 0 | 0.0 | 772M| 764 | - | 930 | 130 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
520.39/520.66 c 488s| 2730k| 2705k| 0 | 0.0 | 774M| 764 | - | 930 | 140 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
522.30/522.55 c 490s| 2740k| 2715k| 0 | 0.0 | 777M| 764 | - | 930 | 141 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
524.09/524.37 c 492s| 2750k| 2725k| 0 | 0.0 | 780M| 764 | - | 930 | 134 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
525.89/526.19 c 493s| 2760k| 2735k| 0 | 0.0 | 783M| 764 | - | 930 | 145 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
527.80/528.04 c 495s| 2770k| 2745k| 0 | 0.0 | 786M| 764 | - | 930 | 159 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
529.69/529.95 c 497s| 2780k| 2755k| 0 | 0.0 | 789M| 764 | - | 930 | 118 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
531.59/531.83 c 499s| 2790k| 2765k| 0 | 0.0 | 791M| 764 | - | 930 | 132 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
533.39/533.62 c 500s| 2800k| 2775k| 0 | 0.0 | 794M| 764 | - | 930 | 118 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
535.19/535.43 c 502s| 2810k| 2785k| 0 | 0.0 | 797M| 764 | - | 930 | 121 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
537.09/537.35 c 504s| 2820k| 2795k| 0 | 0.0 | 800M| 764 | - | 930 | 153 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
538.99/539.26 c 506s| 2830k| 2805k| 0 | 0.0 | 803M| 764 | - | 930 | 132 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
540.89/541.11 c 507s| 2840k| 2814k| 0 | 0.0 | 806M| 764 | - | 930 | 148 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
542.69/542.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
542.69/542.98 c 509s| 2850k| 2824k| 0 | 0.0 | 808M| 764 | - | 930 | 161 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
544.49/544.78 c 511s| 2860k| 2834k| 0 | 0.0 | 811M| 764 | - | 930 | 136 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
546.39/546.65 c 513s| 2870k| 2844k| 0 | 0.0 | 814M| 764 | - | 930 | 128 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
548.28/548.55 c 514s| 2880k| 2854k| 0 | 0.0 | 817M| 764 | - | 930 | 141 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
550.08/550.37 c 516s| 2890k| 2864k| 0 | 0.0 | 820M| 764 | - | 930 | 141 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
551.99/552.25 c 518s| 2900k| 2874k| 0 | 0.0 | 822M| 764 | - | 930 | 170 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
553.88/554.12 c 520s| 2910k| 2884k| 0 | 0.0 | 825M| 764 | - | 930 | 142 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
555.69/555.96 c 521s| 2920k| 2894k| 0 | 0.0 | 828M| 764 | - | 930 | 110 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
557.59/557.89 c 523s| 2930k| 2904k| 0 | 0.0 | 831M| 764 | - | 930 | 135 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
559.48/559.79 c 525s| 2940k| 2914k| 0 | 0.0 | 834M| 764 | - | 930 | 131 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
561.38/561.63 c 527s| 2950k| 2923k| 0 | 0.0 | 836M| 764 | - | 930 | 127 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
563.18/563.47 c 528s| 2960k| 2933k| 0 | 0.0 | 839M| 764 | - | 930 | 127 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
565.09/565.35 c 530s| 2970k| 2943k| 0 | 0.0 | 842M| 764 | - | 930 | 163 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
566.98/567.28 c 532s| 2980k| 2953k| 0 | 0.0 | 845M| 764 | - | 930 | 123 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
568.88/569.15 c 534s| 2990k| 2963k| 0 | 0.0 | 848M| 764 | - | 930 | 128 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
570.78/571.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
570.78/571.02 c 535s| 3000k| 2973k| 0 | 0.0 | 850M| 764 | - | 930 | 154 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
572.58/572.88 c 537s| 3010k| 2983k| 0 | 0.0 | 853M| 764 | - | 930 | 132 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
574.48/574.72 c 539s| 3020k| 2993k| 0 | 0.0 | 856M| 764 | - | 930 | 138 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
576.37/576.62 c 541s| 3030k| 3003k| 0 | 0.0 | 859M| 764 | - | 930 | 134 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
578.28/578.52 c 542s| 3040k| 3013k| 0 | 0.0 | 862M| 764 | - | 930 | 117 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
580.18/580.42 c 544s| 3050k| 3023k| 0 | 0.0 | 864M| 764 | - | 930 | 116 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
581.98/582.27 c 546s| 3060k| 3032k| 0 | 0.0 | 867M| 764 | - | 930 | 145 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
583.88/584.16 c 548s| 3070k| 3042k| 0 | 0.0 | 870M| 764 | - | 930 | 161 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
585.77/586.04 c 549s| 3080k| 3052k| 0 | 0.0 | 873M| 764 | - | 930 | 126 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
587.67/587.90 c 551s| 3090k| 3062k| 0 | 0.0 | 876M| 764 | - | 930 | 118 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
589.47/589.75 c 553s| 3100k| 3072k| 0 | 0.0 | 878M| 764 | - | 930 | 130 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
591.37/591.65 c 555s| 3110k| 3082k| 0 | 0.0 | 881M| 764 | - | 930 | 148 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
593.27/593.50 c 556s| 3120k| 3092k| 0 | 0.0 | 884M| 764 | - | 930 | 172 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
595.07/595.36 c 558s| 3130k| 3102k| 0 | 0.0 | 887M| 764 | - | 930 | 140 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
596.97/597.27 c 560s| 3140k| 3112k| 0 | 0.0 | 890M| 764 | - | 930 | 131 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
598.97/599.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
598.97/599.20 c 562s| 3150k| 3122k| 0 | 0.0 | 892M| 764 | - | 930 | 127 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
600.77/601.05 c 563s| 3160k| 3132k| 0 | 0.0 | 895M| 764 | - | 930 | 136 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
602.57/602.89 c 565s| 3170k| 3141k| 0 | 0.0 | 898M| 764 | - | 930 | 162 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
604.47/604.75 c 567s| 3180k| 3151k| 0 | 0.0 | 901M| 764 | - | 930 | 147 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
606.37/606.61 c 569s| 3190k| 3161k| 0 | 0.0 | 904M| 764 | - | 930 | 96 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
608.16/608.47 c 570s| 3200k| 3171k| 0 | 0.0 | 907M| 764 | - | 930 | 120 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
609.96/610.26 c 572s| 3210k| 3181k| 0 | 0.0 | 909M| 764 | - | 930 | 168 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
611.86/612.12 c 574s| 3220k| 3191k| 0 | 0.0 | 912M| 764 | - | 930 | 140 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
613.67/613.93 c 576s| 3230k| 3201k| 0 | 0.0 | 915M| 764 | - | 930 | 141 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
615.47/615.75 c 577s| 3240k| 3211k| 0 | 0.0 | 918M| 764 | - | 930 | 150 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
617.36/617.67 c 579s| 3250k| 3221k| 0 | 0.0 | 921M| 764 | - | 930 | 126 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
619.16/619.47 c 581s| 3260k| 3231k| 0 | 0.0 | 923M| 764 | - | 930 | 130 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
620.97/621.29 c 582s| 3270k| 3241k| 0 | 0.0 | 926M| 764 | - | 930 | 121 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
622.96/623.22 c 584s| 3280k| 3250k| 0 | 0.0 | 929M| 764 | - | 930 | 109 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
624.66/624.99 c 586s| 3290k| 3260k| 0 | 0.0 | 932M| 764 | - | 930 | 143 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
626.56/626.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
626.56/626.83 c 588s| 3300k| 3270k| 0 | 0.0 | 935M| 764 | - | 930 | 166 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
628.46/628.76 c 589s| 3310k| 3280k| 0 | 0.0 | 937M| 764 | - | 930 | 136 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
630.36/630.66 c 591s| 3320k| 3290k| 0 | 0.0 | 940M| 764 | - | 930 | 154 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
632.16/632.50 c 593s| 3330k| 3300k| 0 | 0.0 | 943M| 764 | - | 930 | 116 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
633.96/634.26 c 594s| 3340k| 3310k| 0 | 0.0 | 946M| 764 | - | 930 | 121 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
635.76/636.04 c 596s| 3350k| 3320k| 0 | 0.0 | 949M| 764 | - | 930 | 154 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
637.66/637.91 c 598s| 3360k| 3330k| 0 | 0.0 | 952M| 764 | - | 930 | 149 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
639.56/639.80 c 600s| 3370k| 3340k| 0 | 0.0 | 954M| 764 | - | 930 | 178 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
641.35/641.60 c 601s| 3380k| 3350k| 0 | 0.0 | 957M| 764 | - | 930 | 148 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
643.16/643.40 c 603s| 3390k| 3359k| 0 | 0.0 | 960M| 764 | - | 930 | 143 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
644.85/645.18 c 605s| 3400k| 3369k| 0 | 0.0 | 963M| 764 | - | 930 | 145 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
646.65/646.96 c 606s| 3410k| 3379k| 0 | 0.0 | 966M| 764 | - | 930 | 166 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
648.45/648.77 c 608s| 3420k| 3389k| 0 | 0.0 | 969M| 764 | - | 930 | 157 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
650.36/650.63 c 610s| 3430k| 3399k| 0 | 0.0 | 972M| 764 | - | 930 | 186 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
652.15/652.49 c 612s| 3440k| 3409k| 0 | 0.0 | 974M| 764 | - | 930 | 183 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
654.05/654.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
654.05/654.30 c 613s| 3450k| 3419k| 0 | 0.0 | 977M| 764 | - | 930 | 147 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
655.74/656.09 c 615s| 3460k| 3429k| 0 | 0.0 | 980M| 764 | - | 930 | 123 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
657.56/657.88 c 617s| 3470k| 3439k| 0 | 0.0 | 983M| 764 | - | 930 | 140 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
659.35/659.68 c 618s| 3480k| 3449k| 0 | 0.0 | 986M| 764 | - | 930 | 124 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
661.25/661.51 c 620s| 3490k| 3459k| 0 | 0.0 | 989M| 764 | - | 930 | 127 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
662.95/663.27 c 622s| 3500k| 3468k| 0 | 0.0 | 991M| 764 | - | 930 | 146 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
664.84/665.12 c 623s| 3510k| 3478k| 0 | 0.0 | 994M| 764 | - | 930 | 171 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
666.65/666.97 c 625s| 3520k| 3488k| 0 | 0.0 | 997M| 764 | - | 930 | 159 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
668.55/668.83 c 627s| 3530k| 3498k| 0 | 0.0 |1000M| 764 | - | 930 | 139 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
670.34/670.69 c 629s| 3540k| 3508k| 0 | 0.0 |1003M| 764 | - | 930 | 114 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
672.15/672.48 c 630s| 3550k| 3518k| 0 | 0.0 |1006M| 764 | - | 930 | 155 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
673.95/674.26 c 632s| 3560k| 3528k| 0 | 0.0 |1009M| 764 | - | 930 | 178 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
675.74/676.07 c 634s| 3570k| 3538k| 0 | 0.0 |1011M| 764 | - | 930 | 122 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
677.65/677.97 c 635s| 3580k| 3548k| 0 | 0.0 |1014M| 764 | - | 930 | 134 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
679.45/679.80 c 637s| 3590k| 3558k| 0 | 0.0 |1017M| 764 | - | 930 | 137 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
681.34/681.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
681.34/681.60 c 639s| 3600k| 3568k| 0 | 0.0 |1020M| 764 | - | 930 | 148 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
683.04/683.38 c 640s| 3610k| 3577k| 0 | 0.0 |1023M| 764 | - | 930 | 126 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
684.95/685.23 c 642s| 3620k| 3587k| 0 | 0.0 |1026M| 764 | - | 930 | 156 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
686.74/687.07 c 644s| 3630k| 3597k| 0 | 0.0 |1028M| 764 | - | 930 | 175 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
688.63/688.96 c 646s| 3640k| 3607k| 0 | 0.0 |1031M| 764 | - | 930 | 199 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
690.45/690.77 c 647s| 3650k| 3617k| 0 | 0.0 |1034M| 764 | - | 930 | 204 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
692.24/692.57 c 649s| 3660k| 3627k| 0 | 0.0 |1037M| 764 | - | 930 | 147 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
694.04/694.31 c 651s| 3670k| 3637k| 0 | 0.0 |1040M| 764 | - | 930 | 168 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
695.83/696.11 c 652s| 3680k| 3647k| 0 | 0.0 |1043M| 764 | - | 930 | 117 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
697.64/697.97 c 654s| 3690k| 3657k| 0 | 0.0 |1046M| 764 | - | 930 | 144 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
699.53/699.81 c 656s| 3700k| 3667k| 0 | 0.0 |1048M| 764 | - | 930 | 143 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
701.34/701.61 c 657s| 3710k| 3677k| 0 | 0.0 |1051M| 764 | - | 930 | 169 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
703.13/703.41 c 659s| 3720k| 3686k| 0 | 0.0 |1054M| 764 | - | 930 | 155 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
704.93/705.24 c 661s| 3730k| 3696k| 0 | 0.0 |1057M| 764 | - | 930 | 135 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
706.94/707.20 c 663s| 3740k| 3706k| 0 | 0.0 |1060M| 764 | - | 930 | 125 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
708.83/709.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
708.83/709.11 c 664s| 3750k| 3716k| 0 | 0.0 |1063M| 764 | - | 930 | 152 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
710.63/710.96 c 666s| 3760k| 3726k| 0 | 0.0 |1065M| 764 | - | 930 | 137 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
712.43/712.79 c 668s| 3770k| 3736k| 0 | 0.0 |1068M| 764 | - | 930 | 144 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
714.23/714.56 c 670s| 3780k| 3746k| 0 | 0.0 |1071M| 764 | - | 930 | 148 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
716.13/716.43 c 671s| 3790k| 3756k| 0 | 0.0 |1074M| 764 | - | 930 | 191 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
717.94/718.21 c 673s| 3800k| 3766k| 0 | 0.0 |1077M| 764 | - | 930 | 168 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
719.73/720.00 c 675s| 3810k| 3776k| 0 | 0.0 |1079M| 764 | - | 930 | 180 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
721.53/721.86 c 676s| 3820k| 3785k| 0 | 0.0 |1082M| 764 | - | 930 | 167 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
723.32/723.66 c 678s| 3830k| 3795k| 0 | 0.0 |1085M| 764 | - | 930 | 156 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
725.13/725.47 c 680s| 3840k| 3805k| 0 | 0.0 |1088M| 764 | - | 930 | 174 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
726.92/727.27 c 681s| 3850k| 3815k| 0 | 0.0 |1091M| 764 | - | 930 | 182 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
728.83/729.12 c 683s| 3860k| 3825k| 0 | 0.0 |1094M| 764 | - | 930 | 173 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
730.62/730.94 c 685s| 3870k| 3835k| 0 | 0.0 |1097M| 764 | - | 930 | 176 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
732.53/732.81 c 687s| 3880k| 3845k| 0 | 0.0 |1099M| 764 | - | 930 | 170 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
734.32/734.64 c 688s| 3890k| 3855k| 0 | 0.0 |1102M| 764 | - | 930 | 159 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
736.12/736.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
736.12/736.43 c 690s| 3900k| 3865k| 0 | 0.0 |1105M| 764 | - | 930 | 130 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
737.92/738.23 c 692s| 3910k| 3875k| 0 | 0.0 |1108M| 764 | - | 930 | 139 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
739.72/740.06 c 693s| 3920k| 3885k| 0 | 0.0 |1111M| 764 | - | 930 | 142 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
741.52/741.85 c 695s| 3930k| 3894k| 0 | 0.0 |1114M| 764 | - | 930 | 140 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
743.22/743.60 c 697s| 3940k| 3904k| 0 | 0.0 |1117M| 764 | - | 930 | 182 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
745.01/745.36 c 698s| 3950k| 3914k| 0 | 0.0 |1119M| 764 | - | 930 | 165 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
746.81/747.17 c 700s| 3960k| 3924k| 0 | 0.0 |1122M| 764 | - | 930 | 195 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
748.73/749.02 c 702s| 3970k| 3934k| 0 | 0.0 |1125M| 764 | - | 930 | 165 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
750.52/750.86 c 703s| 3980k| 3944k| 0 | 0.0 |1128M| 764 | - | 930 | 133 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
752.31/752.66 c 705s| 3990k| 3954k| 0 | 0.0 |1131M| 764 | - | 930 | 140 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
754.22/754.51 c 707s| 4000k| 3964k| 0 | 0.0 |1134M| 764 | - | 930 | 137 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
756.02/756.37 c 709s| 4010k| 3974k| 0 | 0.0 |1137M| 764 | - | 930 | 134 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
758.01/758.38 c 710s| 4020k| 3984k| 0 | 0.0 |1139M| 764 | - | 930 | 158 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
759.92/760.23 c 712s| 4030k| 3993k| 0 | 0.0 |1142M| 764 | - | 930 | 118 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
761.81/762.13 c 714s| 4040k| 4003k| 0 | 0.0 |1145M| 764 | - | 930 | 131 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
763.61/763.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
763.61/763.96 c 716s| 4050k| 4013k| 0 | 0.0 |1148M| 764 | - | 930 | 157 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
765.41/765.75 c 717s| 4060k| 4023k| 0 | 0.0 |1151M| 764 | - | 930 | 161 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
767.31/767.62 c 719s| 4070k| 4033k| 0 | 0.0 |1153M| 764 | - | 930 | 190 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
769.01/769.38 c 721s| 4080k| 4043k| 0 | 0.0 |1156M| 764 | - | 930 | 184 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
771.01/771.32 c 723s| 4090k| 4053k| 0 | 0.0 |1159M| 764 | - | 930 | 171 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
772.70/773.09 c 724s| 4100k| 4063k| 0 | 0.0 |1162M| 764 | - | 930 | 134 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
774.51/774.83 c 726s| 4110k| 4073k| 0 | 0.0 |1165M| 764 | - | 930 | 220 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
776.32/776.65 c 727s| 4120k| 4083k| 0 | 0.0 |1167M| 764 | - | 930 | 168 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
778.10/778.44 c 729s| 4130k| 4092k| 0 | 0.0 |1170M| 764 | - | 930 | 206 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
779.91/780.26 c 731s| 4140k| 4102k| 0 | 0.0 |1173M| 764 | - | 930 | 230 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
781.82/782.13 c 733s| 4150k| 4112k| 0 | 0.0 |1176M| 764 | - | 930 | 160 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
783.61/783.90 c 734s| 4160k| 4122k| 0 | 0.0 |1179M| 764 | - | 930 | 138 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
785.41/785.73 c 736s| 4170k| 4132k| 0 | 0.0 |1182M| 764 | - | 930 | 142 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
787.10/787.49 c 738s| 4180k| 4142k| 0 | 0.0 |1184M| 764 | - | 930 | 215 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
788.90/789.23 c 739s| 4190k| 4152k| 0 | 0.0 |1187M| 764 | - | 930 | 181 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
790.71/791.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
790.71/791.01 c 741s| 4200k| 4162k| 0 | 0.0 |1190M| 764 | - | 930 | 146 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
792.61/792.91 c 743s| 4210k| 4172k| 0 | 0.0 |1193M| 764 | - | 930 | 146 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
794.40/794.70 c 744s| 4220k| 4182k| 0 | 0.0 |1196M| 764 | - | 930 | 147 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
796.10/796.45 c 746s| 4230k| 4192k| 0 | 0.0 |1199M| 764 | - | 930 | 175 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
797.80/798.19 c 748s| 4240k| 4201k| 0 | 0.0 |1201M| 764 | - | 930 | 177 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
799.60/799.93 c 749s| 4250k| 4211k| 0 | 0.0 |1204M| 764 | - | 930 | 165 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
801.40/801.73 c 751s| 4260k| 4221k| 0 | 0.0 |1207M| 764 | - | 930 | 131 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
803.20/803.56 c 753s| 4270k| 4231k| 0 | 0.0 |1210M| 764 | - | 930 | 139 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
805.00/805.35 c 754s| 4280k| 4241k| 0 | 0.0 |1213M| 764 | - | 930 | 161 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
806.70/807.09 c 756s| 4290k| 4251k| 0 | 0.0 |1216M| 764 | - | 930 | 160 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
808.50/808.81 c 757s| 4300k| 4261k| 0 | 0.0 |1218M| 764 | - | 930 | 144 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
810.20/810.58 c 759s| 4310k| 4271k| 0 | 0.0 |1221M| 764 | - | 930 | 132 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
812.10/812.41 c 761s| 4320k| 4281k| 0 | 0.0 |1224M| 764 | - | 930 | 170 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
813.90/814.29 c 763s| 4330k| 4291k| 0 | 0.0 |1227M| 764 | - | 930 | 157 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
815.80/816.14 c 764s| 4340k| 4300k| 0 | 0.0 |1230M| 764 | - | 930 | 141 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
817.50/817.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
817.50/817.89 c 766s| 4350k| 4310k| 0 | 0.0 |1232M| 764 | - | 930 | 130 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
819.29/819.63 c 768s| 4360k| 4320k| 0 | 0.0 |1235M| 764 | - | 930 | 149 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
820.99/821.39 c 769s| 4370k| 4330k| 0 | 0.0 |1238M| 764 | - | 930 | 189 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
822.80/823.17 c 771s| 4380k| 4340k| 0 | 0.0 |1241M| 764 | - | 930 | 242 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
824.70/825.06 c 773s| 4390k| 4350k| 0 | 0.0 |1244M| 764 | - | 930 | 148 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
826.49/826.83 c 774s| 4400k| 4360k| 0 | 0.0 |1247M| 764 | - | 930 | 147 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
828.19/828.56 c 776s| 4410k| 4370k| 0 | 0.0 |1250M| 764 | - | 930 | 158 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
829.89/830.27 c 777s| 4420k| 4380k| 0 | 0.0 |1252M| 764 | - | 930 | 149 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
831.69/832.01 c 779s| 4430k| 4390k| 0 | 0.0 |1255M| 764 | - | 930 | 193 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
833.39/833.74 c 781s| 4440k| 4399k| 0 | 0.0 |1258M| 764 | - | 930 | 177 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
835.19/835.60 c 782s| 4450k| 4409k| 0 | 0.0 |1261M| 764 | - | 930 | 179 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
837.09/837.42 c 784s| 4460k| 4419k| 0 | 0.0 |1264M| 764 | - | 930 | 169 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
838.78/839.15 c 786s| 4470k| 4429k| 0 | 0.0 |1267M| 764 | - | 930 | 168 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
840.58/840.96 c 787s| 4480k| 4439k| 0 | 0.0 |1270M| 764 | - | 930 | 178 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
842.29/842.66 c 789s| 4490k| 4449k| 0 | 0.0 |1273M| 764 | - | 930 | 227 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
844.09/844.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
844.09/844.45 c 791s| 4500k| 4459k| 0 | 0.0 |1275M| 764 | - | 930 | 230 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
845.89/846.27 c 792s| 4510k| 4469k| 0 | 0.0 |1278M| 764 | - | 930 | 192 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
847.89/848.22 c 794s| 4520k| 4479k| 0 | 0.0 |1281M| 764 | - | 930 | 160 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
849.68/850.02 c 796s| 4530k| 4489k| 0 | 0.0 |1284M| 764 | - | 930 | 166 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
851.38/851.76 c 798s| 4540k| 4499k| 0 | 0.0 |1287M| 764 | - | 930 | 165 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
853.19/853.51 c 799s| 4550k| 4508k| 0 | 0.0 |1290M| 764 | - | 930 | 202 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
854.98/855.30 c 801s| 4560k| 4518k| 0 | 0.0 |1292M| 764 | - | 930 | 215 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
856.78/857.15 c 803s| 4570k| 4528k| 0 | 0.0 |1295M| 764 | - | 930 | 196 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
858.58/858.94 c 804s| 4580k| 4538k| 0 | 0.0 |1298M| 764 | - | 930 | 135 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
860.38/860.71 c 806s| 4590k| 4548k| 0 | 0.0 |1301M| 764 | - | 930 | 177 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
862.08/862.48 c 808s| 4600k| 4558k| 0 | 0.0 |1304M| 764 | - | 930 | 159 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
863.98/864.34 c 809s| 4610k| 4568k| 0 | 0.0 |1307M| 764 | - | 930 | 220 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
865.78/866.14 c 811s| 4620k| 4578k| 0 | 0.0 |1310M| 764 | - | 930 | 138 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
867.58/867.91 c 813s| 4630k| 4588k| 0 | 0.0 |1312M| 764 | - | 930 | 139 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
869.27/869.66 c 814s| 4640k| 4597k| 0 | 0.0 |1315M| 764 | - | 930 | 191 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
871.17/871.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
871.17/871.50 c 816s| 4650k| 4607k| 0 | 0.0 |1318M| 764 | - | 930 | 141 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
872.87/873.25 c 818s| 4660k| 4617k| 0 | 0.0 |1321M| 764 | - | 930 | 146 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
874.68/875.03 c 819s| 4670k| 4627k| 0 | 0.0 |1324M| 764 | - | 930 | 163 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
876.38/876.79 c 821s| 4680k| 4637k| 0 | 0.0 |1327M| 764 | - | 930 | 172 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
878.18/878.59 c 823s| 4690k| 4647k| 0 | 0.0 |1330M| 764 | - | 930 | 158 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
880.07/880.46 c 824s| 4700k| 4657k| 0 | 0.0 |1332M| 764 | - | 930 | 144 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
881.88/882.24 c 826s| 4710k| 4667k| 0 | 0.0 |1335M| 764 | - | 930 | 177 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
883.77/884.13 c 828s| 4720k| 4677k| 0 | 0.0 |1338M| 764 | - | 930 | 175 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
885.57/885.94 c 829s| 4730k| 4687k| 0 | 0.0 |1341M| 764 | - | 930 | 158 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
887.28/887.65 c 831s| 4740k| 4697k| 0 | 0.0 |1344M| 764 | - | 930 | 223 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
889.17/889.55 c 833s| 4750k| 4706k| 0 | 0.0 |1347M| 764 | - | 930 | 194 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
890.97/891.39 c 835s| 4760k| 4716k| 0 | 0.0 |1350M| 764 | - | 930 | 157 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
892.77/893.19 c 836s| 4770k| 4726k| 0 | 0.0 |1352M| 764 | - | 930 | 160 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
894.67/895.01 c 838s| 4780k| 4736k| 0 | 0.0 |1355M| 764 | - | 930 | 171 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
896.37/896.75 c 840s| 4790k| 4746k| 0 | 0.0 |1358M| 764 | - | 930 | 145 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
896.67/897.00 c (node 4791462) switching to memory saving mode (mem: 1296.0M/1620.0M)
918.55/918.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
918.55/918.96 c 861s| 4800k| 4748k| 0 | 0.0 |1359M| 770 | - | 930 | 215 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
943.15/943.57 c 885s| 4810k| 4748k| 0 | 0.0 |1359M| 770 | - | 930 | 206 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
969.64/970.07 c 912s| 4820k| 4748k| 0 | 0.0 |1359M| 777 | - | 930 | 243 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
987.44/987.89 c 929s| 4830k| 4748k| 0 | 0.0 |1359M| 777 | - | 930 | 229 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
1009.83/1010.24 c 951s| 4840k| 4748k| 0 | 0.0 |1359M| 777 | - | 930 | 229 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
1036.11/1036.56 c 977s| 4850k| 4748k| 0 | 0.0 |1359M| 785 | - | 930 | 263 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1055.11/1055.56 c 995s| 4860k| 4748k| 0 | 0.0 |1359M| 785 | - | 930 | 309 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1072.11/1072.56 c 1012s| 4870k| 4748k| 0 | 0.0 |1359M| 785 | - | 930 | 284 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
1089.71/1090.12 c 1029s| 4880k| 4748k| 0 | 0.0 |1359M| 785 | - | 930 | 287 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1109.09/1109.50 c 1048s| 4890k| 4748k| 0 | 0.0 |1359M| 785 | - | 930 | 312 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
1132.98/1133.49 c 1072s| 4900k| 4748k| 0 | 0.0 |1359M| 785 | - | 930 | 267 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1163.98/1164.45 c 1102s| 4910k| 4748k| 0 | 0.0 |1359M| 785 | - | 930 | 293 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1194.56/1195.03 c 1132s| 4920k| 4748k| 0 | 0.0 |1359M| 785 | - | 930 | 258 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1222.76/1223.28 c 1160s| 4930k| 4748k| 0 | 0.0 |1359M| 785 | - | 930 | 280 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
1246.74/1247.22 c 1184s| 4940k| 4748k| 0 | 0.0 |1359M| 785 | - | 930 | 265 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
1270.74/1271.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1270.74/1271.24 c 1207s| 4950k| 4748k| 0 | 0.0 |1359M| 785 | - | 930 | 283 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
1300.42/1300.91 c 1237s| 4960k| 4748k| 0 | 0.0 |1359M| 785 | - | 930 | 293 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
1327.91/1328.41 c 1264s| 4970k| 4748k| 0 | 0.0 |1359M| 794 | - | 930 | 269 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
1351.81/1352.33 c 1287s| 4980k| 4748k| 0 | 0.0 |1359M| 794 | - | 930 | 266 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
1381.30/1381.83 c 1316s| 4990k| 4748k| 0 | 0.0 |1359M| 794 | - | 930 | 249 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
1413.48/1414.05 c 1348s| 5000k| 4748k| 0 | 0.0 |1359M| 794 | - | 930 | 270 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
1442.38/1442.92 c 1377s| 5010k| 4748k| 0 | 0.0 |1359M| 794 | - | 930 | 256 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
1468.97/1469.53 c 1403s| 5020k| 4748k| 0 | 0.0 |1359M| 794 | - | 930 | 290 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
1496.26/1496.87 c 1430s| 5030k| 4748k| 0 | 0.0 |1359M| 794 | - | 930 | 288 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
1525.75/1526.35 c 1459s| 5040k| 4748k| 0 | 0.0 |1359M| 794 | - | 930 | 290 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
1553.14/1553.78 c 1486s| 5050k| 4748k| 0 | 0.0 |1359M| 794 | - | 930 | 313 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
1580.23/1580.83 c 1512s| 5060k| 4748k| 0 | 0.0 |1359M| 794 | - | 930 | 302 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
1608.31/1608.98 c 1540s| 5070k| 4748k| 0 | 0.0 |1359M| 794 | - | 930 | 306 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
1639.61/1640.26 c 1571s| 5080k| 4748k| 0 | 0.0 |1359M| 794 | - | 930 | 334 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
1670.31/1670.91 c 1601s| 5090k| 4748k| 0 | 0.0 |1359M| 794 | - | 930 | 334 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
1700.48/1701.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1700.48/1701.14 c 1631s| 5100k| 4748k| 0 | 0.0 |1359M| 794 | - | 930 | 304 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | -- | Inf
1731.78/1732.43 c 1662s| 5110k| 4748k| 0 | 0.0 |1359M| 794 | - | 930 | 313 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | -- | Inf
1762.06/1762.79 c 1692s| 5120k| 4748k| 0 | 0.0 |1359M| 794 | - | 930 | 315 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | -- | Inf
1792.66/1793.38 c 1722s| 5130k| 4748k| 0 | 0.0 |1359M| 794 | - | 930 | 310 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | -- | Inf
1800.06/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.71 c
1800.06/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.71 c Solving Time (sec) : 1729.22
1800.06/1800.71 c Solving Nodes : 5132614
1800.06/1800.71 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.06/1800.71 c Dual Bound : +0.00000000000000e+00
1800.06/1800.71 c Gap : infinite
1800.06/1800.71 s UNKNOWN
1800.06/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.71 c Solving Time : 1729.22
1800.06/1800.71 c Original Problem :
1800.06/1800.71 c Problem name : HOME/instance-2664734-1276577621.opb
1800.06/1800.71 c Variables : 930 (930 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.71 c Constraints : 61 initial, 61 maximal
1800.06/1800.71 c Presolved Problem :
1800.06/1800.71 c Problem name : t_HOME/instance-2664734-1276577621.opb
1800.06/1800.71 c Variables : 930 (930 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.71 c Constraints : 61 initial, 3121 maximal
1800.06/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.71 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.71 c probing : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.71 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.71 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.71 c root node : - 0 - - 0 - - - -
1800.06/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.71 c integral : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.71 c setppc : 30 0 7351258 0 5011929 141660 8006250 0 0 0
1800.06/1800.71 c logicor : 31+ 0 2698612 0 5011929 100531 2593577 0 0 0
1800.06/1800.71 c countsols : 0 0 0 0 5011929 0 0 0 0 0
1800.06/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.71 c integral : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.71 c setppc : 628.01 0.00 511.82 0.00 116.19
1800.06/1800.71 c logicor : 476.30 0.00 388.48 0.00 87.82
1800.06/1800.71 c countsols : 1.94 0.00 0.00 0.00 1.94
1800.06/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.71 c vbounds : 3.65 1 0 0
1800.06/1800.71 c rootredcost : 3.59 0 0 0
1800.06/1800.71 c pseudoobj : 3.38 0 0 0
1800.06/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.71 c propagation : 861.47 242191 242191 2929006 397.9 6115 225.8 -
1800.06/1800.71 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.71 c applied globally : - - - 70770 71.4 - - -
1800.06/1800.71 c applied locally : - - - 206431 243.4 - - -
1800.06/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.71 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.06/1800.71 c redcost : 0.00 0 0 0 0 0
1800.06/1800.71 c impliedbounds : 0.00 0 0 0 0 0
1800.06/1800.71 c intobj : 0.00 0 0 0 0 0
1800.06/1800.71 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.71 c gomory : 0.00 0 0 0 0 0
1800.06/1800.71 c strongcg : 0.00 0 0 0 0 0
1800.06/1800.71 c cmir : 0.00 0 0 0 0 0
1800.06/1800.71 c flowcover : 0.00 0 0 0 0 0
1800.06/1800.71 c clique : 0.00 0 0 0 0 0
1800.06/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.71 c mcf : 0.00 0 0 0 0 0
1800.06/1800.71 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.71 c Pricers : Time Calls Vars
1800.06/1800.71 c problem variables: 0.00 0 0
1800.06/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.71 c relpscost : 0.00 0 0 0 0 0 0
1800.06/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.71 c inference : 446.09 5011929 0 0 0 0 10023858
1800.06/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.71 c random : 0.00 0 0 0 0 0 0
1800.06/1800.71 c Primal Heuristics : Time Calls Found
1800.06/1800.71 c LP solutions : 0.00 - 0
1800.06/1800.71 c pseudo solutions : 0.00 - 0
1800.06/1800.71 c trivial : 0.00 1 0
1800.06/1800.71 c simplerounding : 0.00 0 0
1800.06/1800.71 c zirounding : 0.00 0 0
1800.06/1800.71 c rounding : 0.00 0 0
1800.06/1800.71 c shifting : 0.00 0 0
1800.06/1800.71 c intshifting : 0.00 0 0
1800.06/1800.71 c oneopt : 0.00 0 0
1800.06/1800.71 c twoopt : 0.00 0 0
1800.06/1800.71 c fixandinfer : 0.00 0 0
1800.06/1800.71 c feaspump : 0.00 0 0
1800.06/1800.71 c coefdiving : 0.00 0 0
1800.06/1800.71 c pscostdiving : 0.00 0 0
1800.06/1800.71 c fracdiving : 0.00 0 0
1800.06/1800.71 c veclendiving : 0.00 0 0
1800.06/1800.71 c intdiving : 0.00 0 0
1800.06/1800.71 c actconsdiving : 0.00 0 0
1800.06/1800.71 c objpscostdiving : 0.00 0 0
1800.06/1800.71 c rootsoldiving : 0.00 0 0
1800.06/1800.71 c linesearchdiving : 0.00 0 0
1800.06/1800.71 c guideddiving : 0.00 0 0
1800.06/1800.71 c octane : 0.00 0 0
1800.06/1800.71 c rens : 0.00 0 0
1800.06/1800.71 c rins : 0.00 0 0
1800.06/1800.71 c localbranching : 0.00 0 0
1800.06/1800.71 c mutation : 0.00 0 0
1800.06/1800.71 c crossover : 0.00 0 0
1800.06/1800.71 c dins : 0.00 0 0
1800.06/1800.71 c undercover : 0.00 0 0
1800.06/1800.71 c nlp : 0.00 0 0
1800.06/1800.71 c trysol : 0.00 0 0
1800.06/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.71 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.71 c dual LP : 0.00 0 0 0.00 -
1800.06/1800.71 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.71 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.71 c strong branching : 0.00 0 0 0.00 -
1800.06/1800.71 c (at root node) : - 0 0 0.00 -
1800.06/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.71 c B&B Tree :
1800.06/1800.71 c number of runs : 1
1800.06/1800.71 c nodes : 5132614
1800.06/1800.71 c nodes (total) : 5132614
1800.06/1800.71 c nodes left : 4748320
1800.06/1800.71 c max depth : 794
1800.06/1800.71 c max depth (total): 794
1800.06/1800.71 c backtracks : 127922 (2.5%)
1800.06/1800.71 c delayed cutoffs : 142925
1800.06/1800.71 c repropagations : 312003 (4296428 domain reductions, 121506 cutoffs)
1800.06/1800.71 c avg switch length: 2.52
1800.06/1800.71 c switching time : 60.62
1800.06/1800.71 c Solution :
1800.06/1800.71 c Solutions found : 0 (0 improvements)
1800.06/1800.71 c Primal Bound : -
1800.06/1800.71 c Dual Bound : +0.00000000000000e+00
1800.06/1800.71 c Gap : infinite
1800.06/1800.71 c Root Dual Bound : +0.00000000000000e+00
1800.06/1800.71 c Root Iterations : 0