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-2664534-1276329936.opb>
0.00/0.01 c original problem has 400 variables (400 bin, 0 int, 0 impl, 0 cont) and 60 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.01 c presolving:
0.00/0.02 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 40 upgd conss, 0 impls, 20 clqs
0.00/0.02 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 60 upgd conss, 0 impls, 20 clqs
0.00/0.02 c presolving (3 rounds):
0.00/0.02 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 20 cliques
0.00/0.02 c presolved problem has 400 variables (400 bin, 0 int, 0 impl, 0 cont) and 60 constraints
0.00/0.02 c 20 constraints of type <setppc>
0.00/0.02 c 40 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 1620
0.00/0.02 c
0.00/0.02 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c limits/solutions = 1
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.02 c separating/maxrounds = 1
0.00/0.02 c
0.00/0.02 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/maxroundsroot = 5
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.02 c constraints/knapsack/disaggregation = FALSE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c presolving/probing/maxrounds = 0
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/coefdiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.02 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.02 c heuristics/crossover/freq = -1
0.00/0.02 c
0.00/0.02 c # number of nodes added to the contingent of the total nodes
0.00/0.02 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.02 c heuristics/crossover/nodesofs = 750
0.00/0.02 c
0.00/0.02 c # number of nodes without incumbent change that heuristic should wait
0.00/0.02 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.02 c heuristics/crossover/nwaitingnodes = 100
0.00/0.02 c
0.00/0.02 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.02 c # [type: real, range: [0,1], default: 0.1]
0.00/0.02 c heuristics/crossover/nodesquot = 0.15
0.00/0.02 c
0.00/0.02 c # minimum percentage of integer variables that have to be fixed
0.00/0.02 c # [type: real, range: [0,1], default: 0.666]
0.00/0.02 c heuristics/crossover/minfixingrate = 0.5
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.02 c heuristics/feaspump/freq = -1
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 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.03 c separating/flowcover/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.03 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.03 c 0.0s| 1 | 2 | 0 | - | 805k| 0 | - | 400 | 60 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.39/1.45 c 1.3s| 10000 | 8977 | 0 | 0.0 |4978k| 164 | - | 400 | 770 | 0 | 0 | 0 |2739 | 0 | 0.000000e+00 | -- | Inf
2.98/3.00 c 2.7s| 20000 | 17886 | 0 | 0.0 |8822k| 164 | - | 400 | 969 | 0 | 0 | 0 |5823 | 0 | 0.000000e+00 | -- | Inf
4.59/4.61 c 4.1s| 30000 | 26616 | 0 | 0.0 | 12M| 164 | - | 400 |1142 | 0 | 0 | 0 |9139 | 0 | 0.000000e+00 | -- | Inf
6.29/6.37 c 5.7s| 40000 | 34994 | 0 | 0.0 | 16M| 164 | - | 400 |1271 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
8.29/8.33 c 7.5s| 50000 | 42958 | 0 | 0.0 | 20M| 164 | - | 400 |1633 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
10.69/10.74 c 9.8s| 60000 | 50259 | 0 | 0.0 | 25M| 164 | - | 400 |2101 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
13.48/13.58 c 12.4s| 70000 | 56770 | 0 | 0.0 | 30M| 164 | - | 400 |2035 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
15.58/15.68 c 14.4s| 80000 | 64850 | 0 | 0.0 | 33M| 164 | - | 400 |1059 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
17.39/17.42 c 15.9s| 90000 | 73698 | 0 | 0.0 | 37M| 164 | - | 400 |1190 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
19.08/19.12 c 17.5s|100000 | 82568 | 0 | 0.0 | 41M| 164 | - | 400 |1028 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
20.79/20.85 c 19.1s|110000 | 91355 | 0 | 0.0 | 45M| 164 | - | 400 |1110 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
22.59/22.60 c 20.7s|120000 |100139 | 0 | 0.0 | 48M| 164 | - | 400 |1078 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
24.28/24.38 c 22.3s|130000 |108844 | 0 | 0.0 | 52M| 164 | - | 400 |1176 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
26.08/26.19 c 24.0s|140000 |117508 | 0 | 0.0 | 56M| 164 | - | 400 |1184 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
27.98/28.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.98/28.03 c 25.7s|150000 |126182 | 0 | 0.0 | 60M| 164 | - | 400 |1268 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
29.78/29.88 c 27.4s|160000 |134792 | 0 | 0.0 | 64M| 164 | - | 400 |1283 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
31.68/31.71 c 29.1s|170000 |143441 | 0 | 0.0 | 68M| 164 | - | 400 |1230 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
33.58/33.61 c 30.8s|180000 |152012 | 0 | 0.0 | 72M| 164 | - | 400 |1343 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
35.48/35.54 c 32.6s|190000 |160537 | 0 | 0.0 | 76M| 164 | - | 400 |1310 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
37.48/37.51 c 34.4s|200000 |168994 | 0 | 0.0 | 80M| 164 | - | 400 |1402 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
39.38/39.43 c 36.2s|210000 |177509 | 0 | 0.0 | 84M| 164 | - | 400 |1424 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
41.38/41.44 c 38.0s|220000 |185955 | 0 | 0.0 | 88M| 164 | - | 400 |1389 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
43.38/43.47 c 39.9s|230000 |194395 | 0 | 0.0 | 92M| 164 | - | 400 |1471 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
45.47/45.53 c 41.8s|240000 |202770 | 0 | 0.0 | 96M| 164 | - | 400 |1530 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
47.57/47.60 c 43.7s|250000 |211134 | 0 | 0.0 | 100M| 164 | - | 400 |1448 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
49.57/49.65 c 45.6s|260000 |219476 | 0 | 0.0 | 104M| 164 | - | 400 |1621 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
51.68/51.76 c 47.6s|270000 |227727 | 0 | 0.0 | 108M| 164 | - | 400 |1616 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
53.78/53.88 c 49.5s|280000 |236003 | 0 | 0.0 | 112M| 164 | - | 400 |1680 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
55.98/56.08 c 51.6s|290000 |244235 | 0 | 0.0 | 116M| 164 | - | 400 |1644 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
58.18/58.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.18/58.28 c 53.6s|300000 |252488 | 0 | 0.0 | 120M| 164 | - | 400 |1834 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
60.48/60.57 c 55.7s|310000 |260629 | 0 | 0.0 | 124M| 164 | - | 400 |1849 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
62.77/62.80 c 57.8s|320000 |268806 | 0 | 0.0 | 128M| 164 | - | 400 |1934 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
65.07/65.13 c 60.0s|330000 |276932 | 0 | 0.0 | 132M| 164 | - | 400 |1879 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
67.46/67.58 c 62.3s|340000 |284930 | 0 | 0.0 | 136M| 164 | - | 400 |1953 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
69.86/69.93 c 64.5s|350000 |293035 | 0 | 0.0 | 140M| 164 | - | 400 |1957 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
72.37/72.41 c 66.8s|360000 |300959 | 0 | 0.0 | 145M| 164 | - | 400 |2008 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
74.77/74.81 c 69.0s|370000 |308951 | 0 | 0.0 | 149M| 164 | - | 400 |2049 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
77.26/77.34 c 71.3s|380000 |316886 | 0 | 0.0 | 153M| 164 | - | 400 |1967 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
79.86/79.94 c 73.8s|390000 |324735 | 0 | 0.0 | 157M| 164 | - | 400 |2215 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
82.37/82.47 c 76.1s|400000 |332637 | 0 | 0.0 | 161M| 164 | - | 400 |2043 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
85.06/85.16 c 78.6s|410000 |340310 | 0 | 0.0 | 165M| 164 | - | 400 |2218 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
87.66/87.72 c 81.0s|420000 |348185 | 0 | 0.0 | 169M| 164 | - | 400 |2023 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
90.45/90.56 c 83.7s|430000 |355790 | 0 | 0.0 | 174M| 164 | - | 400 |2510 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
93.16/93.29 c 86.2s|440000 |363555 | 0 | 0.0 | 178M| 164 | - | 400 |2542 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
96.15/96.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
96.15/96.27 c 89.0s|450000 |371117 | 0 | 0.0 | 182M| 164 | - | 400 |2792 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
99.16/99.25 c 91.8s|460000 |378686 | 0 | 0.0 | 186M| 164 | - | 400 |2759 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
102.16/102.24 c 94.6s|470000 |386224 | 0 | 0.0 | 190M| 164 | - | 400 |2586 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
105.25/105.34 c 97.6s|480000 |393603 | 0 | 0.0 | 195M| 164 | - | 400 |3051 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
108.35/108.46 c 101s|490000 |401128 | 0 | 0.0 | 199M| 164 | - | 400 |2890 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
111.55/111.68 c 104s|500000 |408509 | 0 | 0.0 | 203M| 164 | - | 400 |3159 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
114.85/114.92 c 107s|510000 |415940 | 0 | 0.0 | 208M| 164 | - | 400 |2971 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
118.35/118.45 c 110s|520000 |423088 | 0 | 0.0 | 212M| 164 | - | 400 |3370 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | -- | Inf
121.75/121.82 c 113s|530000 |430424 | 0 | 0.0 | 216M| 164 | - | 400 |2964 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | -- | Inf
125.55/125.63 c 117s|540000 |437385 | 0 | 0.0 | 221M| 164 | - | 400 |3178 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | -- | Inf
129.34/129.40 c 120s|550000 |444394 | 0 | 0.0 | 225M| 164 | - | 400 |3604 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | -- | Inf
133.05/133.19 c 124s|560000 |451330 | 0 | 0.0 | 230M| 164 | - | 400 |3526 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | -- | Inf
136.94/137.09 c 128s|570000 |458229 | 0 | 0.0 | 234M| 164 | - | 400 |3806 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | -- | Inf
140.94/141.04 c 131s|580000 |465113 | 0 | 0.0 | 238M| 164 | - | 400 |3476 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | -- | Inf
145.14/145.24 c 135s|590000 |471768 | 0 | 0.0 | 243M| 164 | - | 400 |3755 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | -- | Inf
149.14/149.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
149.14/149.29 c 139s|600000 |478500 | 0 | 0.0 | 247M| 164 | - | 400 |3678 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | -- | Inf
153.44/153.55 c 143s|610000 |485139 | 0 | 0.0 | 252M| 164 | - | 400 |3722 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | -- | Inf
157.94/158.03 c 148s|620000 |491559 | 0 | 0.0 | 256M| 164 | - | 400 |3931 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | -- | Inf
162.03/162.17 c 152s|630000 |498295 | 0 | 0.0 | 261M| 164 | - | 400 |3745 | 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | -- | Inf
166.83/167.00 c 156s|640000 |504470 | 0 | 0.0 | 266M| 164 | - | 400 |4043 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | -- | Inf
171.63/171.77 c 161s|650000 |510710 | 0 | 0.0 | 270M| 164 | - | 400 |4457 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | -- | Inf
176.53/176.60 c 165s|660000 |516922 | 0 | 0.0 | 275M| 164 | - | 400 |4220 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | -- | Inf
181.44/181.58 c 170s|670000 |523053 | 0 | 0.0 | 279M| 164 | - | 400 |3968 | 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | -- | Inf
186.93/187.04 c 175s|680000 |528776 | 0 | 0.0 | 284M| 164 | - | 400 |4364 | 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | -- | Inf
192.42/192.54 c 181s|690000 |534507 | 0 | 0.0 | 289M| 164 | - | 400 |4657 | 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | -- | Inf
197.93/198.03 c 186s|700000 |540142 | 0 | 0.0 | 294M| 164 | - | 400 |4974 | 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | -- | Inf
203.71/203.84 c 192s|710000 |545692 | 0 | 0.0 | 298M| 164 | - | 400 |4856 | 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | -- | Inf
209.51/209.61 c 197s|720000 |551362 | 0 | 0.0 | 303M| 164 | - | 400 |4939 | 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | -- | Inf
215.52/215.61 c 203s|730000 |556836 | 0 | 0.0 | 307M| 164 | - | 400 |4910 | 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | -- | Inf
221.51/221.63 c 209s|740000 |562385 | 0 | 0.0 | 312M| 164 | - | 400 |4931 | 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | -- | Inf
227.31/227.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
227.31/227.47 c 214s|750000 |567976 | 0 | 0.0 | 316M| 164 | - | 400 |4216 | 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | -- | Inf
233.41/233.56 c 220s|760000 |573235 | 0 | 0.0 | 320M| 164 | - | 400 |4717 | 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | -- | Inf
239.10/239.25 c 226s|770000 |578796 | 0 | 0.0 | 325M| 164 | - | 400 |4432 | 0 | 0 | 0 | 478k| 0 | 0.000000e+00 | -- | Inf
244.89/245.09 c 231s|780000 |584314 | 0 | 0.0 | 329M| 164 | - | 400 |4045 | 0 | 0 | 0 | 489k| 0 | 0.000000e+00 | -- | Inf
250.49/250.67 c 237s|790000 |589894 | 0 | 0.0 | 333M| 164 | - | 400 |3952 | 0 | 0 | 0 | 499k| 0 | 0.000000e+00 | -- | Inf
255.99/256.13 c 242s|800000 |595451 | 0 | 0.0 | 338M| 164 | - | 400 |3983 | 0 | 0 | 0 | 509k| 0 | 0.000000e+00 | -- | Inf
261.59/261.72 c 247s|810000 |600890 | 0 | 0.0 | 342M| 164 | - | 400 |4208 | 0 | 0 | 0 | 519k| 0 | 0.000000e+00 | -- | Inf
267.09/267.30 c 253s|820000 |606366 | 0 | 0.0 | 347M| 164 | - | 400 |3949 | 0 | 0 | 0 | 529k| 0 | 0.000000e+00 | -- | Inf
272.78/272.91 c 258s|830000 |611718 | 0 | 0.0 | 351M| 164 | - | 400 |4068 | 0 | 0 | 0 | 538k| 0 | 0.000000e+00 | -- | Inf
278.48/278.69 c 264s|840000 |617058 | 0 | 0.0 | 355M| 164 | - | 400 |4216 | 0 | 0 | 0 | 548k| 0 | 0.000000e+00 | -- | Inf
284.08/284.24 c 269s|850000 |622417 | 0 | 0.0 | 359M| 164 | - | 400 |3905 | 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | -- | Inf
288.88/289.09 c 274s|860000 |628328 | 0 | 0.0 | 363M| 164 | - | 400 |3965 | 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | -- | Inf
294.17/294.31 c 279s|870000 |633673 | 0 | 0.0 | 367M| 164 | - | 400 |4163 | 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | -- | Inf
296.88/297.05 c 281s|880000 |642231 | 0 | 0.0 | 371M| 164 | - | 400 |2154 | 0 | 0 | 0 | 576k| 0 | 0.000000e+00 | -- | Inf
299.27/299.49 c 284s|890000 |650810 | 0 | 0.0 | 375M| 164 | - | 400 |1895 | 0 | 0 | 0 | 580k| 0 | 0.000000e+00 | -- | Inf
301.57/301.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
301.57/301.79 c 286s|900000 |659414 | 0 | 0.0 | 378M| 164 | - | 400 |1791 | 0 | 0 | 0 | 584k| 0 | 0.000000e+00 | -- | Inf
303.98/304.12 c 288s|910000 |667957 | 0 | 0.0 | 382M| 164 | - | 400 |1826 | 0 | 0 | 0 | 589k| 0 | 0.000000e+00 | -- | Inf
306.48/306.62 c 290s|920000 |676424 | 0 | 0.0 | 386M| 164 | - | 400 |1857 | 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | -- | Inf
308.78/308.92 c 292s|930000 |684991 | 0 | 0.0 | 390M| 164 | - | 400 |1961 | 0 | 0 | 0 | 598k| 0 | 0.000000e+00 | -- | Inf
310.98/311.19 c 294s|940000 |693592 | 0 | 0.0 | 394M| 164 | - | 400 |1924 | 0 | 0 | 0 | 602k| 0 | 0.000000e+00 | -- | Inf
313.27/313.48 c 297s|950000 |702145 | 0 | 0.0 | 398M| 164 | - | 400 |1966 | 0 | 0 | 0 | 606k| 0 | 0.000000e+00 | -- | Inf
315.58/315.78 c 299s|960000 |710676 | 0 | 0.0 | 402M| 164 | - | 400 |2011 | 0 | 0 | 0 | 611k| 0 | 0.000000e+00 | -- | Inf
317.87/318.00 c 301s|970000 |719307 | 0 | 0.0 | 406M| 164 | - | 400 |1942 | 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | -- | Inf
320.17/320.34 c 303s|980000 |727823 | 0 | 0.0 | 410M| 164 | - | 400 |2069 | 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | -- | Inf
322.46/322.64 c 305s|990000 |736408 | 0 | 0.0 | 414M| 164 | - | 400 |1978 | 0 | 0 | 0 | 623k| 0 | 0.000000e+00 | -- | Inf
324.76/324.95 c 307s| 1000k|744938 | 0 | 0.0 | 418M| 164 | - | 400 |2113 | 0 | 0 | 0 | 627k| 0 | 0.000000e+00 | -- | Inf
327.06/327.26 c 309s| 1010k|753531 | 0 | 0.0 | 422M| 164 | - | 400 |2015 | 0 | 0 | 0 | 631k| 0 | 0.000000e+00 | -- | Inf
329.46/329.61 c 312s| 1020k|762085 | 0 | 0.0 | 425M| 164 | - | 400 |1995 | 0 | 0 | 0 | 635k| 0 | 0.000000e+00 | -- | Inf
331.87/332.02 c 314s| 1030k|770557 | 0 | 0.0 | 429M| 164 | - | 400 |2200 | 0 | 0 | 0 | 640k| 0 | 0.000000e+00 | -- | Inf
334.17/334.40 c 316s| 1040k|779098 | 0 | 0.0 | 433M| 164 | - | 400 |2249 | 0 | 0 | 0 | 644k| 0 | 0.000000e+00 | -- | Inf
336.66/336.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
336.66/336.80 c 318s| 1050k|787605 | 0 | 0.0 | 437M| 164 | - | 400 |2069 | 0 | 0 | 0 | 648k| 0 | 0.000000e+00 | -- | Inf
338.96/339.17 c 321s| 1060k|796129 | 0 | 0.0 | 441M| 164 | - | 400 |2132 | 0 | 0 | 0 | 652k| 0 | 0.000000e+00 | -- | Inf
341.56/341.71 c 323s| 1070k|804526 | 0 | 0.0 | 445M| 164 | - | 400 |2430 | 0 | 0 | 0 | 657k| 0 | 0.000000e+00 | -- | Inf
344.07/344.22 c 325s| 1080k|812971 | 0 | 0.0 | 449M| 164 | - | 400 |2186 | 0 | 0 | 0 | 661k| 0 | 0.000000e+00 | -- | Inf
346.46/346.65 c 328s| 1090k|821484 | 0 | 0.0 | 453M| 164 | - | 400 |2199 | 0 | 0 | 0 | 665k| 0 | 0.000000e+00 | -- | Inf
348.86/349.08 c 330s| 1100k|829977 | 0 | 0.0 | 457M| 164 | - | 400 |2311 | 0 | 0 | 0 | 670k| 0 | 0.000000e+00 | -- | Inf
351.56/351.74 c 332s| 1110k|838310 | 0 | 0.0 | 461M| 164 | - | 400 |2577 | 0 | 0 | 0 | 675k| 0 | 0.000000e+00 | -- | Inf
354.07/354.27 c 335s| 1120k|846763 | 0 | 0.0 | 465M| 164 | - | 400 |2377 | 0 | 0 | 0 | 679k| 0 | 0.000000e+00 | -- | Inf
356.56/356.77 c 337s| 1130k|855229 | 0 | 0.0 | 469M| 164 | - | 400 |2232 | 0 | 0 | 0 | 683k| 0 | 0.000000e+00 | -- | Inf
359.06/359.21 c 339s| 1140k|863754 | 0 | 0.0 | 473M| 164 | - | 400 |2244 | 0 | 0 | 0 | 687k| 0 | 0.000000e+00 | -- | Inf
361.56/361.72 c 342s| 1150k|872205 | 0 | 0.0 | 477M| 164 | - | 400 |2371 | 0 | 0 | 0 | 691k| 0 | 0.000000e+00 | -- | Inf
364.25/364.45 c 344s| 1160k|880506 | 0 | 0.0 | 481M| 164 | - | 400 |2514 | 0 | 0 | 0 | 696k| 0 | 0.000000e+00 | -- | Inf
366.85/367.05 c 347s| 1170k|888931 | 0 | 0.0 | 485M| 164 | - | 400 |2453 | 0 | 0 | 0 | 700k| 0 | 0.000000e+00 | -- | Inf
369.35/369.52 c 349s| 1180k|897371 | 0 | 0.0 | 489M| 164 | - | 400 |2331 | 0 | 0 | 0 | 705k| 0 | 0.000000e+00 | -- | Inf
371.85/372.06 c 351s| 1190k|905778 | 0 | 0.0 | 493M| 164 | - | 400 |2312 | 0 | 0 | 0 | 709k| 0 | 0.000000e+00 | -- | Inf
374.55/374.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
374.55/374.74 c 354s| 1200k|914144 | 0 | 0.0 | 497M| 164 | - | 400 |2636 | 0 | 0 | 0 | 714k| 0 | 0.000000e+00 | -- | Inf
377.35/377.56 c 357s| 1210k|922407 | 0 | 0.0 | 501M| 164 | - | 400 |2701 | 0 | 0 | 0 | 719k| 0 | 0.000000e+00 | -- | Inf
379.94/380.13 c 359s| 1220k|930815 | 0 | 0.0 | 505M| 164 | - | 400 |2485 | 0 | 0 | 0 | 723k| 0 | 0.000000e+00 | -- | Inf
382.45/382.69 c 361s| 1230k|939240 | 0 | 0.0 | 509M| 164 | - | 400 |2499 | 0 | 0 | 0 | 728k| 0 | 0.000000e+00 | -- | Inf
385.05/385.27 c 364s| 1240k|947639 | 0 | 0.0 | 513M| 164 | - | 400 |2420 | 0 | 0 | 0 | 732k| 0 | 0.000000e+00 | -- | Inf
387.64/387.88 c 366s| 1250k|956040 | 0 | 0.0 | 516M| 164 | - | 400 |2532 | 0 | 0 | 0 | 737k| 0 | 0.000000e+00 | -- | Inf
390.55/390.71 c 369s| 1260k|964341 | 0 | 0.0 | 521M| 164 | - | 400 |2999 | 0 | 0 | 0 | 741k| 0 | 0.000000e+00 | -- | Inf
393.44/393.61 c 372s| 1270k|972592 | 0 | 0.0 | 525M| 164 | - | 400 |2797 | 0 | 0 | 0 | 746k| 0 | 0.000000e+00 | -- | Inf
396.05/396.28 c 374s| 1280k|980983 | 0 | 0.0 | 528M| 164 | - | 400 |2644 | 0 | 0 | 0 | 750k| 0 | 0.000000e+00 | -- | Inf
398.74/398.92 c 377s| 1290k|989360 | 0 | 0.0 | 532M| 164 | - | 400 |2684 | 0 | 0 | 0 | 755k| 0 | 0.000000e+00 | -- | Inf
401.54/401.72 c 379s| 1300k|997686 | 0 | 0.0 | 536M| 164 | - | 400 |2622 | 0 | 0 | 0 | 759k| 0 | 0.000000e+00 | -- | Inf
404.34/404.55 c 382s| 1310k| 1006k| 0 | 0.0 | 540M| 164 | - | 400 |2686 | 0 | 0 | 0 | 764k| 0 | 0.000000e+00 | -- | Inf
407.14/407.36 c 385s| 1320k| 1014k| 0 | 0.0 | 544M| 164 | - | 400 |2705 | 0 | 0 | 0 | 768k| 0 | 0.000000e+00 | -- | Inf
410.04/410.28 c 387s| 1330k| 1022k| 0 | 0.0 | 548M| 164 | - | 400 |2803 | 0 | 0 | 0 | 773k| 0 | 0.000000e+00 | -- | Inf
412.94/413.20 c 390s| 1340k| 1030k| 0 | 0.0 | 552M| 164 | - | 400 |2886 | 0 | 0 | 0 | 778k| 0 | 0.000000e+00 | -- | Inf
415.84/416.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
415.84/416.02 c 393s| 1350k| 1039k| 0 | 0.0 | 556M| 164 | - | 400 |2913 | 0 | 0 | 0 | 782k| 0 | 0.000000e+00 | -- | Inf
418.53/418.77 c 395s| 1360k| 1047k| 0 | 0.0 | 560M| 164 | - | 400 |2863 | 0 | 0 | 0 | 787k| 0 | 0.000000e+00 | -- | Inf
421.24/421.44 c 398s| 1370k| 1055k| 0 | 0.0 | 564M| 164 | - | 400 |2718 | 0 | 0 | 0 | 791k| 0 | 0.000000e+00 | -- | Inf
424.14/424.31 c 401s| 1380k| 1064k| 0 | 0.0 | 568M| 164 | - | 400 |2832 | 0 | 0 | 0 | 796k| 0 | 0.000000e+00 | -- | Inf
426.83/427.08 c 403s| 1390k| 1072k| 0 | 0.0 | 572M| 164 | - | 400 |2843 | 0 | 0 | 0 | 800k| 0 | 0.000000e+00 | -- | Inf
429.73/429.95 c 406s| 1400k| 1080k| 0 | 0.0 | 576M| 164 | - | 400 |2801 | 0 | 0 | 0 | 805k| 0 | 0.000000e+00 | -- | Inf
432.63/432.80 c 409s| 1410k| 1089k| 0 | 0.0 | 580M| 164 | - | 400 |2879 | 0 | 0 | 0 | 810k| 0 | 0.000000e+00 | -- | Inf
435.44/435.69 c 411s| 1420k| 1097k| 0 | 0.0 | 584M| 164 | - | 400 |3083 | 0 | 0 | 0 | 815k| 0 | 0.000000e+00 | -- | Inf
438.53/438.75 c 414s| 1430k| 1105k| 0 | 0.0 | 588M| 164 | - | 400 |3051 | 0 | 0 | 0 | 819k| 0 | 0.000000e+00 | -- | Inf
441.63/441.85 c 417s| 1440k| 1113k| 0 | 0.0 | 592M| 164 | - | 400 |3079 | 0 | 0 | 0 | 824k| 0 | 0.000000e+00 | -- | Inf
444.53/444.71 c 420s| 1450k| 1122k| 0 | 0.0 | 595M| 164 | - | 400 |2871 | 0 | 0 | 0 | 828k| 0 | 0.000000e+00 | -- | Inf
447.53/447.74 c 423s| 1460k| 1130k| 0 | 0.0 | 599M| 164 | - | 400 |2967 | 0 | 0 | 0 | 833k| 0 | 0.000000e+00 | -- | Inf
450.52/450.79 c 426s| 1470k| 1138k| 0 | 0.0 | 603M| 164 | - | 400 |3192 | 0 | 0 | 0 | 838k| 0 | 0.000000e+00 | -- | Inf
453.52/453.79 c 429s| 1480k| 1146k| 0 | 0.0 | 607M| 164 | - | 400 |3085 | 0 | 0 | 0 | 843k| 0 | 0.000000e+00 | -- | Inf
456.62/456.88 c 432s| 1490k| 1155k| 0 | 0.0 | 611M| 164 | - | 400 |3116 | 0 | 0 | 0 | 848k| 0 | 0.000000e+00 | -- | Inf
459.92/460.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
459.92/460.16 c 435s| 1500k| 1163k| 0 | 0.0 | 615M| 164 | - | 400 |3116 | 0 | 0 | 0 | 853k| 0 | 0.000000e+00 | -- | Inf
463.11/463.30 c 438s| 1510k| 1171k| 0 | 0.0 | 620M| 164 | - | 400 |3381 | 0 | 0 | 0 | 858k| 0 | 0.000000e+00 | -- | Inf
466.22/466.47 c 441s| 1520k| 1179k| 0 | 0.0 | 624M| 164 | - | 400 |3206 | 0 | 0 | 0 | 863k| 0 | 0.000000e+00 | -- | Inf
469.32/469.53 c 444s| 1530k| 1187k| 0 | 0.0 | 627M| 164 | - | 400 |3166 | 0 | 0 | 0 | 868k| 0 | 0.000000e+00 | -- | Inf
472.61/472.82 c 447s| 1540k| 1196k| 0 | 0.0 | 631M| 164 | - | 400 |3125 | 0 | 0 | 0 | 873k| 0 | 0.000000e+00 | -- | Inf
475.72/475.97 c 450s| 1550k| 1204k| 0 | 0.0 | 635M| 164 | - | 400 |3153 | 0 | 0 | 0 | 878k| 0 | 0.000000e+00 | -- | Inf
478.92/479.11 c 453s| 1560k| 1212k| 0 | 0.0 | 639M| 164 | - | 400 |3242 | 0 | 0 | 0 | 883k| 0 | 0.000000e+00 | -- | Inf
481.91/482.17 c 456s| 1570k| 1220k| 0 | 0.0 | 643M| 164 | - | 400 |3204 | 0 | 0 | 0 | 888k| 0 | 0.000000e+00 | -- | Inf
485.10/485.33 c 459s| 1580k| 1228k| 0 | 0.0 | 647M| 164 | - | 400 |3140 | 0 | 0 | 0 | 892k| 0 | 0.000000e+00 | -- | Inf
488.30/488.57 c 462s| 1590k| 1236k| 0 | 0.0 | 651M| 164 | - | 400 |3139 | 0 | 0 | 0 | 897k| 0 | 0.000000e+00 | -- | Inf
491.70/491.94 c 465s| 1600k| 1245k| 0 | 0.0 | 655M| 164 | - | 400 |3269 | 0 | 0 | 0 | 903k| 0 | 0.000000e+00 | -- | Inf
494.90/495.17 c 468s| 1610k| 1253k| 0 | 0.0 | 659M| 164 | - | 400 |3543 | 0 | 0 | 0 | 908k| 0 | 0.000000e+00 | -- | Inf
498.01/498.27 c 471s| 1620k| 1261k| 0 | 0.0 | 663M| 164 | - | 400 |3273 | 0 | 0 | 0 | 912k| 0 | 0.000000e+00 | -- | Inf
501.20/501.46 c 474s| 1630k| 1269k| 0 | 0.0 | 667M| 164 | - | 400 |3297 | 0 | 0 | 0 | 917k| 0 | 0.000000e+00 | -- | Inf
504.50/504.77 c 477s| 1640k| 1277k| 0 | 0.0 | 671M| 164 | - | 400 |3310 | 0 | 0 | 0 | 922k| 0 | 0.000000e+00 | -- | Inf
507.70/507.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
507.70/507.92 c 480s| 1650k| 1285k| 0 | 0.0 | 675M| 164 | - | 400 |3420 | 0 | 0 | 0 | 927k| 0 | 0.000000e+00 | -- | Inf
510.69/510.98 c 483s| 1660k| 1293k| 0 | 0.0 | 679M| 164 | - | 400 |3296 | 0 | 0 | 0 | 932k| 0 | 0.000000e+00 | -- | Inf
513.80/514.08 c 486s| 1670k| 1302k| 0 | 0.0 | 683M| 164 | - | 400 |3339 | 0 | 0 | 0 | 937k| 0 | 0.000000e+00 | -- | Inf
516.99/517.30 c 489s| 1680k| 1310k| 0 | 0.0 | 687M| 164 | - | 400 |3271 | 0 | 0 | 0 | 942k| 0 | 0.000000e+00 | -- | Inf
520.29/520.53 c 492s| 1690k| 1318k| 0 | 0.0 | 691M| 164 | - | 400 |3307 | 0 | 0 | 0 | 948k| 0 | 0.000000e+00 | -- | Inf
523.69/523.91 c 495s| 1700k| 1326k| 0 | 0.0 | 695M| 164 | - | 400 |3485 | 0 | 0 | 0 | 953k| 0 | 0.000000e+00 | -- | Inf
526.89/527.13 c 498s| 1710k| 1334k| 0 | 0.0 | 700M| 164 | - | 400 |3708 | 0 | 0 | 0 | 958k| 0 | 0.000000e+00 | -- | Inf
529.99/530.24 c 501s| 1720k| 1342k| 0 | 0.0 | 704M| 164 | - | 400 |3474 | 0 | 0 | 0 | 963k| 0 | 0.000000e+00 | -- | Inf
533.38/533.60 c 504s| 1730k| 1350k| 0 | 0.0 | 708M| 164 | - | 400 |3429 | 0 | 0 | 0 | 968k| 0 | 0.000000e+00 | -- | Inf
536.68/536.95 c 507s| 1740k| 1359k| 0 | 0.0 | 711M| 164 | - | 400 |3613 | 0 | 0 | 0 | 973k| 0 | 0.000000e+00 | -- | Inf
540.08/540.35 c 511s| 1750k| 1367k| 0 | 0.0 | 715M| 164 | - | 400 |3563 | 0 | 0 | 0 | 978k| 0 | 0.000000e+00 | -- | Inf
543.37/543.60 c 514s| 1760k| 1375k| 0 | 0.0 | 719M| 164 | - | 400 |3491 | 0 | 0 | 0 | 983k| 0 | 0.000000e+00 | -- | Inf
546.78/547.08 c 517s| 1770k| 1383k| 0 | 0.0 | 723M| 164 | - | 400 |3600 | 0 | 0 | 0 | 988k| 0 | 0.000000e+00 | -- | Inf
550.17/550.45 c 520s| 1780k| 1391k| 0 | 0.0 | 727M| 164 | - | 400 |3457 | 0 | 0 | 0 | 993k| 0 | 0.000000e+00 | -- | Inf
553.57/553.80 c 523s| 1790k| 1399k| 0 | 0.0 | 731M| 164 | - | 400 |3442 | 0 | 0 | 0 | 998k| 0 | 0.000000e+00 | -- | Inf
556.98/557.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
556.98/557.28 c 527s| 1800k| 1407k| 0 | 0.0 | 735M| 164 | - | 400 |3459 | 0 | 0 | 0 |1003k| 0 | 0.000000e+00 | -- | Inf
560.27/560.59 c 530s| 1810k| 1415k| 0 | 0.0 | 739M| 164 | - | 400 |3569 | 0 | 0 | 0 |1009k| 0 | 0.000000e+00 | -- | Inf
563.77/564.03 c 533s| 1820k| 1423k| 0 | 0.0 | 743M| 164 | - | 400 |3694 | 0 | 0 | 0 |1014k| 0 | 0.000000e+00 | -- | Inf
567.17/567.44 c 536s| 1830k| 1431k| 0 | 0.0 | 747M| 164 | - | 400 |3635 | 0 | 0 | 0 |1019k| 0 | 0.000000e+00 | -- | Inf
570.58/570.82 c 540s| 1840k| 1439k| 0 | 0.0 | 751M| 164 | - | 400 |3752 | 0 | 0 | 0 |1024k| 0 | 0.000000e+00 | -- | Inf
574.17/574.45 c 543s| 1850k| 1447k| 0 | 0.0 | 755M| 164 | - | 400 |3808 | 0 | 0 | 0 |1029k| 0 | 0.000000e+00 | -- | Inf
577.86/578.12 c 547s| 1860k| 1455k| 0 | 0.0 | 759M| 164 | - | 400 |3690 | 0 | 0 | 0 |1035k| 0 | 0.000000e+00 | -- | Inf
581.46/581.70 c 550s| 1870k| 1463k| 0 | 0.0 | 763M| 164 | - | 400 |3638 | 0 | 0 | 0 |1040k| 0 | 0.000000e+00 | -- | Inf
584.87/585.11 c 553s| 1880k| 1472k| 0 | 0.0 | 767M| 164 | - | 400 |3615 | 0 | 0 | 0 |1045k| 0 | 0.000000e+00 | -- | Inf
588.37/588.63 c 557s| 1890k| 1480k| 0 | 0.0 | 771M| 164 | - | 400 |3593 | 0 | 0 | 0 |1050k| 0 | 0.000000e+00 | -- | Inf
591.86/592.10 c 560s| 1900k| 1488k| 0 | 0.0 | 775M| 164 | - | 400 |3582 | 0 | 0 | 0 |1055k| 0 | 0.000000e+00 | -- | Inf
595.26/595.51 c 563s| 1910k| 1496k| 0 | 0.0 | 779M| 164 | - | 400 |3490 | 0 | 0 | 0 |1060k| 0 | 0.000000e+00 | -- | Inf
598.76/599.06 c 567s| 1920k| 1504k| 0 | 0.0 | 783M| 164 | - | 400 |3631 | 0 | 0 | 0 |1065k| 0 | 0.000000e+00 | -- | Inf
602.16/602.49 c 570s| 1930k| 1512k| 0 | 0.0 | 787M| 164 | - | 400 |3710 | 0 | 0 | 0 |1071k| 0 | 0.000000e+00 | -- | Inf
605.66/605.99 c 573s| 1940k| 1520k| 0 | 0.0 | 792M| 164 | - | 400 |3881 | 0 | 0 | 0 |1076k| 0 | 0.000000e+00 | -- | Inf
609.35/609.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
609.35/609.60 c 577s| 1950k| 1528k| 0 | 0.0 | 796M| 164 | - | 400 |3858 | 0 | 0 | 0 |1081k| 0 | 0.000000e+00 | -- | Inf
612.75/613.07 c 580s| 1960k| 1536k| 0 | 0.0 | 800M| 164 | - | 400 |3954 | 0 | 0 | 0 |1087k| 0 | 0.000000e+00 | -- | Inf
616.56/616.88 c 584s| 1970k| 1544k| 0 | 0.0 | 804M| 164 | - | 400 |3921 | 0 | 0 | 0 |1092k| 0 | 0.000000e+00 | -- | Inf
620.25/620.50 c 587s| 1980k| 1552k| 0 | 0.0 | 808M| 164 | - | 400 |3871 | 0 | 0 | 0 |1097k| 0 | 0.000000e+00 | -- | Inf
623.75/624.07 c 590s| 1990k| 1560k| 0 | 0.0 | 812M| 164 | - | 400 |3843 | 0 | 0 | 0 |1103k| 0 | 0.000000e+00 | -- | Inf
627.65/627.90 c 594s| 2000k| 1568k| 0 | 0.0 | 816M| 164 | - | 400 |3888 | 0 | 0 | 0 |1108k| 0 | 0.000000e+00 | -- | Inf
631.45/631.74 c 598s| 2010k| 1576k| 0 | 0.0 | 820M| 164 | - | 400 |3866 | 0 | 0 | 0 |1113k| 0 | 0.000000e+00 | -- | Inf
635.05/635.31 c 601s| 2020k| 1584k| 0 | 0.0 | 824M| 164 | - | 400 |3641 | 0 | 0 | 0 |1118k| 0 | 0.000000e+00 | -- | Inf
638.76/639.05 c 605s| 2030k| 1592k| 0 | 0.0 | 828M| 164 | - | 400 |3781 | 0 | 0 | 0 |1124k| 0 | 0.000000e+00 | -- | Inf
642.44/642.71 c 608s| 2040k| 1600k| 0 | 0.0 | 832M| 164 | - | 400 |3788 | 0 | 0 | 0 |1129k| 0 | 0.000000e+00 | -- | Inf
646.14/646.44 c 612s| 2050k| 1608k| 0 | 0.0 | 836M| 164 | - | 400 |3886 | 0 | 0 | 0 |1134k| 0 | 0.000000e+00 | -- | Inf
649.75/650.00 c 615s| 2060k| 1616k| 0 | 0.0 | 840M| 164 | - | 400 |4203 | 0 | 0 | 0 |1140k| 0 | 0.000000e+00 | -- | Inf
653.63/653.95 c 619s| 2070k| 1624k| 0 | 0.0 | 844M| 164 | - | 400 |4006 | 0 | 0 | 0 |1145k| 0 | 0.000000e+00 | -- | Inf
657.45/657.76 c 623s| 2080k| 1631k| 0 | 0.0 | 848M| 164 | - | 400 |4160 | 0 | 0 | 0 |1151k| 0 | 0.000000e+00 | -- | Inf
661.44/661.73 c 626s| 2090k| 1639k| 0 | 0.0 | 852M| 164 | - | 400 |4182 | 0 | 0 | 0 |1157k| 0 | 0.000000e+00 | -- | Inf
665.54/665.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
665.54/665.82 c 630s| 2100k| 1647k| 0 | 0.0 | 856M| 164 | - | 400 |4067 | 0 | 0 | 0 |1162k| 0 | 0.000000e+00 | -- | Inf
669.54/669.81 c 634s| 2110k| 1655k| 0 | 0.0 | 860M| 164 | - | 400 |4086 | 0 | 0 | 0 |1168k| 0 | 0.000000e+00 | -- | Inf
673.53/673.87 c 638s| 2120k| 1663k| 0 | 0.0 | 864M| 164 | - | 400 |4107 | 0 | 0 | 0 |1174k| 0 | 0.000000e+00 | -- | Inf
677.34/677.64 c 642s| 2130k| 1671k| 0 | 0.0 | 869M| 164 | - | 400 |4112 | 0 | 0 | 0 |1179k| 0 | 0.000000e+00 | -- | Inf
681.33/681.64 c 645s| 2140k| 1679k| 0 | 0.0 | 873M| 164 | - | 400 |4170 | 0 | 0 | 0 |1184k| 0 | 0.000000e+00 | -- | Inf
685.03/685.39 c 649s| 2150k| 1687k| 0 | 0.0 | 876M| 164 | - | 400 |3852 | 0 | 0 | 0 |1190k| 0 | 0.000000e+00 | -- | Inf
688.82/689.19 c 653s| 2160k| 1695k| 0 | 0.0 | 881M| 164 | - | 400 |4020 | 0 | 0 | 0 |1195k| 0 | 0.000000e+00 | -- | Inf
692.82/693.13 c 656s| 2170k| 1703k| 0 | 0.0 | 885M| 164 | - | 400 |3922 | 0 | 0 | 0 |1201k| 0 | 0.000000e+00 | -- | Inf
696.72/697.08 c 660s| 2180k| 1711k| 0 | 0.0 | 889M| 164 | - | 400 |3934 | 0 | 0 | 0 |1206k| 0 | 0.000000e+00 | -- | Inf
700.62/700.93 c 664s| 2190k| 1718k| 0 | 0.0 | 893M| 164 | - | 400 |4315 | 0 | 0 | 0 |1212k| 0 | 0.000000e+00 | -- | Inf
704.51/704.84 c 668s| 2200k| 1726k| 0 | 0.0 | 897M| 164 | - | 400 |4231 | 0 | 0 | 0 |1217k| 0 | 0.000000e+00 | -- | Inf
708.72/709.09 c 672s| 2210k| 1734k| 0 | 0.0 | 901M| 164 | - | 400 |4632 | 0 | 0 | 0 |1223k| 0 | 0.000000e+00 | -- | Inf
712.81/713.14 c 676s| 2220k| 1742k| 0 | 0.0 | 905M| 164 | - | 400 |4534 | 0 | 0 | 0 |1229k| 0 | 0.000000e+00 | -- | Inf
716.72/717.09 c 679s| 2230k| 1750k| 0 | 0.0 | 909M| 164 | - | 400 |4359 | 0 | 0 | 0 |1235k| 0 | 0.000000e+00 | -- | Inf
720.92/721.24 c 683s| 2240k| 1757k| 0 | 0.0 | 913M| 164 | - | 400 |4454 | 0 | 0 | 0 |1241k| 0 | 0.000000e+00 | -- | Inf
725.11/725.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
725.11/725.42 c 687s| 2250k| 1765k| 0 | 0.0 | 917M| 164 | - | 400 |4242 | 0 | 0 | 0 |1246k| 0 | 0.000000e+00 | -- | Inf
729.21/729.50 c 691s| 2260k| 1773k| 0 | 0.0 | 921M| 164 | - | 400 |4181 | 0 | 0 | 0 |1252k| 0 | 0.000000e+00 | -- | Inf
733.11/733.45 c 695s| 2270k| 1781k| 0 | 0.0 | 926M| 164 | - | 400 |4202 | 0 | 0 | 0 |1258k| 0 | 0.000000e+00 | -- | Inf
737.10/737.47 c 699s| 2280k| 1789k| 0 | 0.0 | 930M| 164 | - | 400 |4131 | 0 | 0 | 0 |1263k| 0 | 0.000000e+00 | -- | Inf
741.21/741.50 c 703s| 2290k| 1797k| 0 | 0.0 | 934M| 164 | - | 400 |4069 | 0 | 0 | 0 |1269k| 0 | 0.000000e+00 | -- | Inf
745.20/745.55 c 707s| 2300k| 1805k| 0 | 0.0 | 938M| 164 | - | 400 |3977 | 0 | 0 | 0 |1274k| 0 | 0.000000e+00 | -- | Inf
749.41/749.75 c 711s| 2310k| 1813k| 0 | 0.0 | 942M| 164 | - | 400 |4166 | 0 | 0 | 0 |1280k| 0 | 0.000000e+00 | -- | Inf
753.60/753.93 c 715s| 2320k| 1820k| 0 | 0.0 | 946M| 164 | - | 400 |4158 | 0 | 0 | 0 |1286k| 0 | 0.000000e+00 | -- | Inf
758.00/758.30 c 719s| 2330k| 1828k| 0 | 0.0 | 950M| 164 | - | 400 |4509 | 0 | 0 | 0 |1292k| 0 | 0.000000e+00 | -- | Inf
762.10/762.46 c 723s| 2340k| 1836k| 0 | 0.0 | 954M| 164 | - | 400 |4725 | 0 | 0 | 0 |1298k| 0 | 0.000000e+00 | -- | Inf
766.60/766.95 c 727s| 2350k| 1843k| 0 | 0.0 | 958M| 164 | - | 400 |4778 | 0 | 0 | 0 |1304k| 0 | 0.000000e+00 | -- | Inf
770.89/771.29 c 731s| 2360k| 1851k| 0 | 0.0 | 963M| 164 | - | 400 |4483 | 0 | 0 | 0 |1310k| 0 | 0.000000e+00 | -- | Inf
775.40/775.73 c 736s| 2370k| 1859k| 0 | 0.0 | 967M| 164 | - | 400 |4743 | 0 | 0 | 0 |1316k| 0 | 0.000000e+00 | -- | Inf
779.50/779.86 c 740s| 2380k| 1867k| 0 | 0.0 | 971M| 164 | - | 400 |4354 | 0 | 0 | 0 |1322k| 0 | 0.000000e+00 | -- | Inf
783.39/783.78 c 743s| 2390k| 1874k| 0 | 0.0 | 975M| 164 | - | 400 |4397 | 0 | 0 | 0 |1327k| 0 | 0.000000e+00 | -- | Inf
787.59/787.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
787.59/787.91 c 747s| 2400k| 1882k| 0 | 0.0 | 979M| 164 | - | 400 |4319 | 0 | 0 | 0 |1333k| 0 | 0.000000e+00 | -- | Inf
791.70/792.01 c 751s| 2410k| 1890k| 0 | 0.0 | 983M| 164 | - | 400 |4302 | 0 | 0 | 0 |1339k| 0 | 0.000000e+00 | -- | Inf
795.89/796.25 c 755s| 2420k| 1898k| 0 | 0.0 | 987M| 164 | - | 400 |4225 | 0 | 0 | 0 |1345k| 0 | 0.000000e+00 | -- | Inf
800.08/800.47 c 759s| 2430k| 1906k| 0 | 0.0 | 991M| 164 | - | 400 |4062 | 0 | 0 | 0 |1350k| 0 | 0.000000e+00 | -- | Inf
804.48/804.80 c 764s| 2440k| 1913k| 0 | 0.0 | 995M| 164 | - | 400 |4130 | 0 | 0 | 0 |1356k| 0 | 0.000000e+00 | -- | Inf
808.88/809.23 c 768s| 2450k| 1921k| 0 | 0.0 | 999M| 164 | - | 400 |4266 | 0 | 0 | 0 |1362k| 0 | 0.000000e+00 | -- | Inf
812.97/813.38 c 772s| 2460k| 1929k| 0 | 0.0 |1003M| 164 | - | 400 |4279 | 0 | 0 | 0 |1368k| 0 | 0.000000e+00 | -- | Inf
817.27/817.62 c 776s| 2470k| 1937k| 0 | 0.0 |1008M| 164 | - | 400 |4637 | 0 | 0 | 0 |1374k| 0 | 0.000000e+00 | -- | Inf
821.77/822.12 c 780s| 2480k| 1944k| 0 | 0.0 |1012M| 164 | - | 400 |5147 | 0 | 0 | 0 |1380k| 0 | 0.000000e+00 | -- | Inf
826.47/826.87 c 785s| 2490k| 1952k| 0 | 0.0 |1016M| 164 | - | 400 |4995 | 0 | 0 | 0 |1387k| 0 | 0.000000e+00 | -- | Inf
830.97/831.39 c 789s| 2500k| 1959k| 0 | 0.0 |1020M| 164 | - | 400 |4990 | 0 | 0 | 0 |1393k| 0 | 0.000000e+00 | -- | Inf
835.47/835.85 c 793s| 2510k| 1967k| 0 | 0.0 |1025M| 164 | - | 400 |4871 | 0 | 0 | 0 |1399k| 0 | 0.000000e+00 | -- | Inf
839.97/840.37 c 798s| 2520k| 1975k| 0 | 0.0 |1029M| 164 | - | 400 |4727 | 0 | 0 | 0 |1406k| 0 | 0.000000e+00 | -- | Inf
844.26/844.66 c 802s| 2530k| 1982k| 0 | 0.0 |1033M| 164 | - | 400 |4722 | 0 | 0 | 0 |1411k| 0 | 0.000000e+00 | -- | Inf
848.66/849.02 c 806s| 2540k| 1990k| 0 | 0.0 |1037M| 164 | - | 400 |4586 | 0 | 0 | 0 |1417k| 0 | 0.000000e+00 | -- | Inf
853.06/853.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
853.06/853.43 c 810s| 2550k| 1998k| 0 | 0.0 |1041M| 164 | - | 400 |4510 | 0 | 0 | 0 |1423k| 0 | 0.000000e+00 | -- | Inf
857.36/857.73 c 814s| 2560k| 2006k| 0 | 0.0 |1045M| 164 | - | 400 |4338 | 0 | 0 | 0 |1429k| 0 | 0.000000e+00 | -- | Inf
861.85/862.29 c 819s| 2570k| 2013k| 0 | 0.0 |1049M| 164 | - | 400 |4427 | 0 | 0 | 0 |1435k| 0 | 0.000000e+00 | -- | Inf
866.36/866.78 c 823s| 2580k| 2021k| 0 | 0.0 |1053M| 164 | - | 400 |4198 | 0 | 0 | 0 |1441k| 0 | 0.000000e+00 | -- | Inf
870.95/871.37 c 828s| 2590k| 2029k| 0 | 0.0 |1057M| 164 | - | 400 |4414 | 0 | 0 | 0 |1447k| 0 | 0.000000e+00 | -- | Inf
875.55/875.94 c 832s| 2600k| 2036k| 0 | 0.0 |1061M| 164 | - | 400 |4259 | 0 | 0 | 0 |1453k| 0 | 0.000000e+00 | -- | Inf
880.15/880.56 c 836s| 2610k| 2044k| 0 | 0.0 |1065M| 164 | - | 400 |4400 | 0 | 0 | 0 |1459k| 0 | 0.000000e+00 | -- | Inf
884.94/885.38 c 841s| 2620k| 2052k| 0 | 0.0 |1069M| 164 | - | 400 |4491 | 0 | 0 | 0 |1466k| 0 | 0.000000e+00 | -- | Inf
889.85/890.21 c 846s| 2630k| 2059k| 0 | 0.0 |1074M| 164 | - | 400 |4904 | 0 | 0 | 0 |1472k| 0 | 0.000000e+00 | -- | Inf
894.95/895.31 c 851s| 2640k| 2066k| 0 | 0.0 |1078M| 164 | - | 400 |5326 | 0 | 0 | 0 |1480k| 0 | 0.000000e+00 | -- | Inf
899.94/900.36 c 856s| 2650k| 2074k| 0 | 0.0 |1082M| 164 | - | 400 |5345 | 0 | 0 | 0 |1486k| 0 | 0.000000e+00 | -- | Inf
904.95/905.34 c 860s| 2660k| 2081k| 0 | 0.0 |1087M| 164 | - | 400 |5261 | 0 | 0 | 0 |1493k| 0 | 0.000000e+00 | -- | Inf
909.84/910.22 c 865s| 2670k| 2089k| 0 | 0.0 |1091M| 164 | - | 400 |4947 | 0 | 0 | 0 |1499k| 0 | 0.000000e+00 | -- | Inf
914.53/914.92 c 870s| 2680k| 2097k| 0 | 0.0 |1095M| 164 | - | 400 |4878 | 0 | 0 | 0 |1505k| 0 | 0.000000e+00 | -- | Inf
919.34/919.76 c 874s| 2690k| 2104k| 0 | 0.0 |1099M| 164 | - | 400 |4883 | 0 | 0 | 0 |1512k| 0 | 0.000000e+00 | -- | Inf
923.93/924.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
923.93/924.36 c 879s| 2700k| 2112k| 0 | 0.0 |1103M| 164 | - | 400 |4715 | 0 | 0 | 0 |1518k| 0 | 0.000000e+00 | -- | Inf
928.53/928.92 c 883s| 2710k| 2120k| 0 | 0.0 |1107M| 164 | - | 400 |4440 | 0 | 0 | 0 |1524k| 0 | 0.000000e+00 | -- | Inf
933.02/933.40 c 887s| 2720k| 2127k| 0 | 0.0 |1111M| 164 | - | 400 |4515 | 0 | 0 | 0 |1530k| 0 | 0.000000e+00 | -- | Inf
937.73/938.11 c 892s| 2730k| 2135k| 0 | 0.0 |1115M| 164 | - | 400 |4555 | 0 | 0 | 0 |1536k| 0 | 0.000000e+00 | -- | Inf
942.43/942.83 c 896s| 2740k| 2143k| 0 | 0.0 |1119M| 164 | - | 400 |4534 | 0 | 0 | 0 |1542k| 0 | 0.000000e+00 | -- | Inf
947.32/947.75 c 901s| 2750k| 2150k| 0 | 0.0 |1123M| 164 | - | 400 |4576 | 0 | 0 | 0 |1548k| 0 | 0.000000e+00 | -- | Inf
952.32/952.73 c 906s| 2760k| 2158k| 0 | 0.0 |1127M| 164 | - | 400 |4571 | 0 | 0 | 0 |1555k| 0 | 0.000000e+00 | -- | Inf
957.02/957.40 c 910s| 2770k| 2165k| 0 | 0.0 |1132M| 164 | - | 400 |4682 | 0 | 0 | 0 |1561k| 0 | 0.000000e+00 | -- | Inf
962.12/962.59 c 915s| 2780k| 2173k| 0 | 0.0 |1136M| 164 | - | 400 |4608 | 0 | 0 | 0 |1567k| 0 | 0.000000e+00 | -- | Inf
967.02/967.41 c 920s| 2790k| 2180k| 0 | 0.0 |1140M| 164 | - | 400 |4763 | 0 | 0 | 0 |1574k| 0 | 0.000000e+00 | -- | Inf
972.41/972.80 c 925s| 2800k| 2188k| 0 | 0.0 |1144M| 164 | - | 400 |5433 | 0 | 0 | 0 |1581k| 0 | 0.000000e+00 | -- | Inf
977.81/978.29 c 931s| 2810k| 2195k| 0 | 0.0 |1149M| 164 | - | 400 |5647 | 0 | 0 | 0 |1588k| 0 | 0.000000e+00 | -- | Inf
983.11/983.57 c 936s| 2820k| 2202k| 0 | 0.0 |1153M| 164 | - | 400 |5721 | 0 | 0 | 0 |1595k| 0 | 0.000000e+00 | -- | Inf
988.42/988.85 c 941s| 2830k| 2210k| 0 | 0.0 |1157M| 164 | - | 400 |5314 | 0 | 0 | 0 |1602k| 0 | 0.000000e+00 | -- | Inf
993.20/993.69 c 946s| 2840k| 2217k| 0 | 0.0 |1161M| 164 | - | 400 |5237 | 0 | 0 | 0 |1608k| 0 | 0.000000e+00 | -- | Inf
998.00/998.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
998.00/998.49 c 950s| 2850k| 2225k| 0 | 0.0 |1165M| 164 | - | 400 |5096 | 0 | 0 | 0 |1615k| 0 | 0.000000e+00 | -- | Inf
1002.61/1003.05 c 955s| 2860k| 2232k| 0 | 0.0 |1169M| 164 | - | 400 |4868 | 0 | 0 | 0 |1621k| 0 | 0.000000e+00 | -- | Inf
1007.61/1008.05 c 959s| 2870k| 2240k| 0 | 0.0 |1173M| 164 | - | 400 |4683 | 0 | 0 | 0 |1627k| 0 | 0.000000e+00 | -- | Inf
1012.61/1013.05 c 964s| 2880k| 2248k| 0 | 0.0 |1178M| 164 | - | 400 |4817 | 0 | 0 | 0 |1633k| 0 | 0.000000e+00 | -- | Inf
1017.40/1017.85 c 969s| 2890k| 2255k| 0 | 0.0 |1182M| 164 | - | 400 |4755 | 0 | 0 | 0 |1639k| 0 | 0.000000e+00 | -- | Inf
1022.40/1022.88 c 974s| 2900k| 2263k| 0 | 0.0 |1186M| 164 | - | 400 |4582 | 0 | 0 | 0 |1645k| 0 | 0.000000e+00 | -- | Inf
1027.49/1027.94 c 979s| 2910k| 2270k| 0 | 0.0 |1190M| 164 | - | 400 |4888 | 0 | 0 | 0 |1652k| 0 | 0.000000e+00 | -- | Inf
1032.79/1033.24 c 984s| 2920k| 2278k| 0 | 0.0 |1194M| 164 | - | 400 |4671 | 0 | 0 | 0 |1659k| 0 | 0.000000e+00 | -- | Inf
1038.09/1038.53 c 989s| 2930k| 2285k| 0 | 0.0 |1198M| 164 | - | 400 |4894 | 0 | 0 | 0 |1665k| 0 | 0.000000e+00 | -- | Inf
1043.49/1043.96 c 994s| 2940k| 2292k| 0 | 0.0 |1202M| 164 | - | 400 |4619 | 0 | 0 | 0 |1672k| 0 | 0.000000e+00 | -- | Inf
1049.09/1049.59 c 999s| 2950k| 2300k| 0 | 0.0 |1206M| 164 | - | 400 |4775 | 0 | 0 | 0 |1679k| 0 | 0.000000e+00 | -- | Inf
1054.49/1054.94 c 1005s| 2960k| 2307k| 0 | 0.0 |1211M| 164 | - | 400 |4833 | 0 | 0 | 0 |1686k| 0 | 0.000000e+00 | -- | Inf
1059.89/1060.34 c 1010s| 2970k| 2315k| 0 | 0.0 |1215M| 164 | - | 400 |5112 | 0 | 0 | 0 |1693k| 0 | 0.000000e+00 | -- | Inf
1065.58/1066.02 c 1015s| 2980k| 2322k| 0 | 0.0 |1219M| 164 | - | 400 |5917 | 0 | 0 | 0 |1700k| 0 | 0.000000e+00 | -- | Inf
1071.28/1071.72 c 1021s| 2990k| 2329k| 0 | 0.0 |1224M| 164 | - | 400 |5765 | 0 | 0 | 0 |1708k| 0 | 0.000000e+00 | -- | Inf
1076.48/1076.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1076.48/1076.92 c 1026s| 3000k| 2336k| 0 | 0.0 |1228M| 164 | - | 400 |5409 | 0 | 0 | 0 |1714k| 0 | 0.000000e+00 | -- | Inf
1081.77/1082.22 c 1031s| 3010k| 2344k| 0 | 0.0 |1232M| 164 | - | 400 |5439 | 0 | 0 | 0 |1721k| 0 | 0.000000e+00 | -- | Inf
1086.87/1087.38 c 1036s| 3020k| 2351k| 0 | 0.0 |1236M| 164 | - | 400 |5162 | 0 | 0 | 0 |1728k| 0 | 0.000000e+00 | -- | Inf
1091.88/1092.34 c 1041s| 3030k| 2359k| 0 | 0.0 |1240M| 164 | - | 400 |4938 | 0 | 0 | 0 |1734k| 0 | 0.000000e+00 | -- | Inf
1096.67/1097.17 c 1045s| 3040k| 2366k| 0 | 0.0 |1244M| 164 | - | 400 |4996 | 0 | 0 | 0 |1740k| 0 | 0.000000e+00 | -- | Inf
1101.67/1102.17 c 1050s| 3050k| 2374k| 0 | 0.0 |1248M| 164 | - | 400 |4859 | 0 | 0 | 0 |1747k| 0 | 0.000000e+00 | -- | Inf
1106.57/1107.08 c 1055s| 3060k| 2381k| 0 | 0.0 |1252M| 164 | - | 400 |4965 | 0 | 0 | 0 |1753k| 0 | 0.000000e+00 | -- | Inf
1111.87/1112.35 c 1060s| 3070k| 2389k| 0 | 0.0 |1257M| 164 | - | 400 |4972 | 0 | 0 | 0 |1760k| 0 | 0.000000e+00 | -- | Inf
1117.17/1117.67 c 1065s| 3080k| 2396k| 0 | 0.0 |1261M| 164 | - | 400 |4757 | 0 | 0 | 0 |1767k| 0 | 0.000000e+00 | -- | Inf
1122.26/1122.71 c 1070s| 3090k| 2403k| 0 | 0.0 |1265M| 164 | - | 400 |4947 | 0 | 0 | 0 |1773k| 0 | 0.000000e+00 | -- | Inf
1128.06/1128.56 c 1076s| 3100k| 2411k| 0 | 0.0 |1269M| 164 | - | 400 |4818 | 0 | 0 | 0 |1780k| 0 | 0.000000e+00 | -- | Inf
1133.35/1133.83 c 1081s| 3110k| 2418k| 0 | 0.0 |1273M| 164 | - | 400 |4874 | 0 | 0 | 0 |1787k| 0 | 0.000000e+00 | -- | Inf
1138.75/1139.26 c 1086s| 3120k| 2425k| 0 | 0.0 |1277M| 164 | - | 400 |4959 | 0 | 0 | 0 |1794k| 0 | 0.000000e+00 | -- | Inf
1144.45/1144.97 c 1092s| 3130k| 2433k| 0 | 0.0 |1281M| 164 | - | 400 |4849 | 0 | 0 | 0 |1801k| 0 | 0.000000e+00 | -- | Inf
1149.64/1150.16 c 1097s| 3140k| 2440k| 0 | 0.0 |1285M| 164 | - | 400 |4906 | 0 | 0 | 0 |1807k| 0 | 0.000000e+00 | -- | Inf
1155.15/1155.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1155.15/1155.61 c 1102s| 3150k| 2447k| 0 | 0.0 |1290M| 164 | - | 400 |5763 | 0 | 0 | 0 |1815k| 0 | 0.000000e+00 | -- | Inf
1161.04/1161.51 c 1108s| 3160k| 2454k| 0 | 0.0 |1295M| 164 | - | 400 |6502 | 0 | 0 | 0 |1823k| 0 | 0.000000e+00 | -- | Inf
1167.14/1167.67 c 1114s| 3170k| 2462k| 0 | 0.0 |1299M| 164 | - | 400 |5929 | 0 | 0 | 0 |1830k| 0 | 0.000000e+00 | -- | Inf
1172.94/1173.47 c 1119s| 3180k| 2469k| 0 | 0.0 |1303M| 164 | - | 400 |5893 | 0 | 0 | 0 |1837k| 0 | 0.000000e+00 | -- | Inf
1178.83/1179.32 c 1125s| 3190k| 2476k| 0 | 0.0 |1307M| 164 | - | 400 |5375 | 0 | 0 | 0 |1844k| 0 | 0.000000e+00 | -- | Inf
1184.33/1184.81 c 1130s| 3200k| 2483k| 0 | 0.0 |1311M| 164 | - | 400 |5112 | 0 | 0 | 0 |1851k| 0 | 0.000000e+00 | -- | Inf
1189.53/1190.00 c 1135s| 3210k| 2491k| 0 | 0.0 |1315M| 164 | - | 400 |5162 | 0 | 0 | 0 |1858k| 0 | 0.000000e+00 | -- | Inf
1194.83/1195.30 c 1140s| 3220k| 2498k| 0 | 0.0 |1319M| 164 | - | 400 |5131 | 0 | 0 | 0 |1864k| 0 | 0.000000e+00 | -- | Inf
1200.42/1200.91 c 1146s| 3230k| 2506k| 0 | 0.0 |1323M| 164 | - | 400 |5106 | 0 | 0 | 0 |1871k| 0 | 0.000000e+00 | -- | Inf
1205.63/1206.11 c 1151s| 3240k| 2513k| 0 | 0.0 |1327M| 164 | - | 400 |4961 | 0 | 0 | 0 |1878k| 0 | 0.000000e+00 | -- | Inf
1211.32/1211.87 c 1156s| 3250k| 2520k| 0 | 0.0 |1331M| 164 | - | 400 |4808 | 0 | 0 | 0 |1884k| 0 | 0.000000e+00 | -- | Inf
1217.23/1217.71 c 1162s| 3260k| 2527k| 0 | 0.0 |1336M| 164 | - | 400 |5077 | 0 | 0 | 0 |1892k| 0 | 0.000000e+00 | -- | Inf
1222.82/1223.36 c 1167s| 3270k| 2535k| 0 | 0.0 |1340M| 164 | - | 400 |5173 | 0 | 0 | 0 |1899k| 0 | 0.000000e+00 | -- | Inf
1228.52/1229.00 c 1173s| 3280k| 2542k| 0 | 0.0 |1344M| 164 | - | 400 |5054 | 0 | 0 | 0 |1906k| 0 | 0.000000e+00 | -- | Inf
1234.22/1234.71 c 1178s| 3290k| 2549k| 0 | 0.0 |1348M| 164 | - | 400 |4994 | 0 | 0 | 0 |1913k| 0 | 0.000000e+00 | -- | Inf
1240.01/1240.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1240.01/1240.59 c 1184s| 3300k| 2556k| 0 | 0.0 |1352M| 164 | - | 400 |4951 | 0 | 0 | 0 |1920k| 0 | 0.000000e+00 | -- | Inf
1245.51/1246.08 c 1189s| 3310k| 2564k| 0 | 0.0 |1356M| 164 | - | 400 |4981 | 0 | 0 | 0 |1927k| 0 | 0.000000e+00 | -- | Inf
1248.31/1248.85 c (node 3315135) switching to memory saving mode (mem: 1296.0M/1620.0M)
1253.42/1253.93 c 1197s| 3320k| 2566k| 0 | 0.0 |1358M| 164 | - | 400 |7574 | 0 | 0 | 0 |1939k| 0 | 0.000000e+00 | -- | Inf
1262.70/1263.25 c 1206s| 3330k| 2564k| 0 | 0.0 |1357M| 164 | - | 400 |8378 | 0 | 0 | 0 |1954k| 0 | 0.000000e+00 | -- | Inf
1271.40/1271.94 c 1214s| 3340k| 2564k| 0 | 0.0 |1357M| 164 | - | 400 |9004 | 0 | 0 | 0 |1967k| 0 | 0.000000e+00 | -- | Inf
1279.91/1280.48 c 1223s| 3350k| 2563k| 0 | 0.0 |1357M| 164 | - | 400 |9008 | 0 | 0 | 0 |1980k| 0 | 0.000000e+00 | -- | Inf
1288.20/1288.70 c 1230s| 3360k| 2562k| 0 | 0.0 |1356M| 164 | - | 400 |8540 | 0 | 0 | 0 |1992k| 0 | 0.000000e+00 | -- | Inf
1296.49/1297.08 c 1239s| 3370k| 2562k| 0 | 0.0 |1355M| 164 | - | 400 |8149 | 0 | 0 | 0 |2005k| 0 | 0.000000e+00 | -- | Inf
1304.49/1305.10 c 1246s| 3380k| 2561k| 0 | 0.0 |1355M| 164 | - | 400 |7959 | 0 | 0 | 0 |2017k| 0 | 0.000000e+00 | -- | Inf
1311.89/1312.46 c 1253s| 3390k| 2561k| 0 | 0.0 |1355M| 164 | - | 400 |8164 | 0 | 0 | 0 |2029k| 0 | 0.000000e+00 | -- | Inf
1319.88/1320.49 c 1261s| 3400k| 2560k| 0 | 0.0 |1354M| 164 | - | 400 |7830 | 0 | 0 | 0 |2041k| 0 | 0.000000e+00 | -- | Inf
1326.98/1327.51 c 1268s| 3410k| 2560k| 0 | 0.0 |1354M| 164 | - | 400 |7768 | 0 | 0 | 0 |2053k| 0 | 0.000000e+00 | -- | Inf
1334.38/1335.00 c 1275s| 3420k| 2560k| 0 | 0.0 |1354M| 164 | - | 400 |7573 | 0 | 0 | 0 |2065k| 0 | 0.000000e+00 | -- | Inf
1341.67/1342.21 c 1282s| 3430k| 2559k| 0 | 0.0 |1354M| 164 | - | 400 |7641 | 0 | 0 | 0 |2076k| 0 | 0.000000e+00 | -- | Inf
1348.57/1349.20 c 1289s| 3440k| 2559k| 0 | 0.0 |1354M| 164 | - | 400 |7457 | 0 | 0 | 0 |2087k| 0 | 0.000000e+00 | -- | Inf
1356.47/1357.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1356.47/1357.01 c 1296s| 3450k| 2559k| 0 | 0.0 |1353M| 164 | - | 400 |7367 | 0 | 0 | 0 |2099k| 0 | 0.000000e+00 | -- | Inf
1363.27/1363.89 c 1303s| 3460k| 2559k| 0 | 0.0 |1353M| 164 | - | 400 |7237 | 0 | 0 | 0 |2110k| 0 | 0.000000e+00 | -- | Inf
1370.47/1371.03 c 1309s| 3470k| 2558k| 0 | 0.0 |1353M| 164 | - | 400 |7090 | 0 | 0 | 0 |2121k| 0 | 0.000000e+00 | -- | Inf
1377.56/1378.19 c 1316s| 3480k| 2558k| 0 | 0.0 |1353M| 164 | - | 400 |7852 | 0 | 0 | 0 |2133k| 0 | 0.000000e+00 | -- | Inf
1385.56/1386.19 c 1324s| 3490k| 2558k| 0 | 0.0 |1353M| 164 | - | 400 |8042 | 0 | 0 | 0 |2144k| 0 | 0.000000e+00 | -- | Inf
1393.25/1393.80 c 1331s| 3500k| 2558k| 0 | 0.0 |1353M| 164 | - | 400 |7541 | 0 | 0 | 0 |2155k| 0 | 0.000000e+00 | -- | Inf
1400.16/1400.76 c 1338s| 3510k| 2558k| 0 | 0.0 |1353M| 164 | - | 400 |7092 | 0 | 0 | 0 |2166k| 0 | 0.000000e+00 | -- | Inf
1407.25/1407.82 c 1345s| 3520k| 2558k| 0 | 0.0 |1353M| 164 | - | 400 |7278 | 0 | 0 | 0 |2177k| 0 | 0.000000e+00 | -- | Inf
1414.35/1414.98 c 1351s| 3530k| 2557k| 0 | 0.0 |1352M| 164 | - | 400 |7192 | 0 | 0 | 0 |2187k| 0 | 0.000000e+00 | -- | Inf
1422.05/1422.60 c 1359s| 3540k| 2557k| 0 | 0.0 |1353M| 164 | - | 400 |7802 | 0 | 0 | 0 |2199k| 0 | 0.000000e+00 | -- | Inf
1429.35/1429.99 c 1366s| 3550k| 2557k| 0 | 0.0 |1352M| 164 | - | 400 |7506 | 0 | 0 | 0 |2210k| 0 | 0.000000e+00 | -- | Inf
1436.54/1437.18 c 1373s| 3560k| 2557k| 0 | 0.0 |1352M| 164 | - | 400 |7153 | 0 | 0 | 0 |2221k| 0 | 0.000000e+00 | -- | Inf
1444.03/1444.64 c 1380s| 3570k| 2557k| 0 | 0.0 |1352M| 164 | - | 400 |7933 | 0 | 0 | 0 |2233k| 0 | 0.000000e+00 | -- | Inf
1451.53/1452.13 c 1387s| 3580k| 2556k| 0 | 0.0 |1352M| 164 | - | 400 |7786 | 0 | 0 | 0 |2244k| 0 | 0.000000e+00 | -- | Inf
1459.04/1459.70 c 1394s| 3590k| 2556k| 0 | 0.0 |1352M| 164 | - | 400 |7352 | 0 | 0 | 0 |2255k| 0 | 0.000000e+00 | -- | Inf
1466.53/1467.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1466.53/1467.17 c 1401s| 3600k| 2556k| 0 | 0.0 |1352M| 164 | - | 400 |7459 | 0 | 0 | 0 |2266k| 0 | 0.000000e+00 | -- | Inf
1474.22/1474.80 c 1409s| 3610k| 2556k| 0 | 0.0 |1352M| 164 | - | 400 |7529 | 0 | 0 | 0 |2277k| 0 | 0.000000e+00 | -- | Inf
1481.82/1482.44 c 1416s| 3620k| 2556k| 0 | 0.0 |1352M| 164 | - | 400 |7587 | 0 | 0 | 0 |2289k| 0 | 0.000000e+00 | -- | Inf
1489.61/1490.25 c 1424s| 3630k| 2556k| 0 | 0.0 |1352M| 164 | - | 400 |8071 | 0 | 0 | 0 |2300k| 0 | 0.000000e+00 | -- | Inf
1497.62/1498.25 c 1431s| 3640k| 2556k| 0 | 0.0 |1352M| 164 | - | 400 |7695 | 0 | 0 | 0 |2312k| 0 | 0.000000e+00 | -- | Inf
1505.31/1505.94 c 1439s| 3650k| 2556k| 0 | 0.0 |1352M| 164 | - | 400 |7768 | 0 | 0 | 0 |2323k| 0 | 0.000000e+00 | -- | Inf
1513.01/1513.61 c 1446s| 3660k| 2556k| 0 | 0.0 |1352M| 164 | - | 400 |7130 | 0 | 0 | 0 |2334k| 0 | 0.000000e+00 | -- | Inf
1520.20/1520.89 c 1453s| 3670k| 2555k| 0 | 0.0 |1352M| 164 | - | 400 |7492 | 0 | 0 | 0 |2346k| 0 | 0.000000e+00 | -- | Inf
1527.70/1528.36 c 1460s| 3680k| 2555k| 0 | 0.0 |1351M| 164 | - | 400 |7182 | 0 | 0 | 0 |2357k| 0 | 0.000000e+00 | -- | Inf
1535.10/1535.76 c 1467s| 3690k| 2555k| 0 | 0.0 |1352M| 164 | - | 400 |7674 | 0 | 0 | 0 |2368k| 0 | 0.000000e+00 | -- | Inf
1543.19/1543.81 c 1475s| 3700k| 2555k| 0 | 0.0 |1352M| 164 | - | 400 |7846 | 0 | 0 | 0 |2379k| 0 | 0.000000e+00 | -- | Inf
1551.19/1551.89 c 1483s| 3710k| 2555k| 0 | 0.0 |1352M| 164 | - | 400 |8112 | 0 | 0 | 0 |2390k| 0 | 0.000000e+00 | -- | Inf
1558.99/1559.64 c 1490s| 3720k| 2555k| 0 | 0.0 |1351M| 164 | - | 400 |7798 | 0 | 0 | 0 |2402k| 0 | 0.000000e+00 | -- | Inf
1566.79/1567.45 c 1498s| 3730k| 2555k| 0 | 0.0 |1351M| 164 | - | 400 |7800 | 0 | 0 | 0 |2413k| 0 | 0.000000e+00 | -- | Inf
1574.88/1575.58 c 1506s| 3740k| 2555k| 0 | 0.0 |1352M| 164 | - | 400 |8508 | 0 | 0 | 0 |2424k| 0 | 0.000000e+00 | -- | Inf
1583.28/1583.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1583.28/1583.91 c 1514s| 3750k| 2555k| 0 | 0.0 |1351M| 164 | - | 400 |6986 | 0 | 0 | 0 |2435k| 0 | 0.000000e+00 | -- | Inf
1590.88/1591.60 c 1521s| 3760k| 2555k| 0 | 0.0 |1351M| 164 | - | 400 |6906 | 0 | 0 | 0 |2446k| 0 | 0.000000e+00 | -- | Inf
1598.37/1599.07 c 1528s| 3770k| 2554k| 0 | 0.0 |1351M| 164 | - | 400 |6911 | 0 | 0 | 0 |2457k| 0 | 0.000000e+00 | -- | Inf
1606.17/1606.88 c 1536s| 3780k| 2554k| 0 | 0.0 |1351M| 164 | - | 400 |8100 | 0 | 0 | 0 |2469k| 0 | 0.000000e+00 | -- | Inf
1614.57/1615.22 c 1544s| 3790k| 2554k| 0 | 0.0 |1351M| 164 | - | 400 |8490 | 0 | 0 | 0 |2481k| 0 | 0.000000e+00 | -- | Inf
1623.37/1624.05 c 1552s| 3800k| 2554k| 0 | 0.0 |1351M| 164 | - | 400 |7817 | 0 | 0 | 0 |2493k| 0 | 0.000000e+00 | -- | Inf
1631.47/1632.16 c 1560s| 3810k| 2554k| 0 | 0.0 |1351M| 164 | - | 400 |7970 | 0 | 0 | 0 |2504k| 0 | 0.000000e+00 | -- | Inf
1639.36/1640.08 c 1568s| 3820k| 2554k| 0 | 0.0 |1351M| 164 | - | 400 |7540 | 0 | 0 | 0 |2515k| 0 | 0.000000e+00 | -- | Inf
1646.95/1647.67 c 1575s| 3830k| 2554k| 0 | 0.0 |1351M| 164 | - | 400 |7496 | 0 | 0 | 0 |2526k| 0 | 0.000000e+00 | -- | Inf
1654.64/1655.36 c 1582s| 3840k| 2554k| 0 | 0.0 |1351M| 164 | - | 400 |7168 | 0 | 0 | 0 |2537k| 0 | 0.000000e+00 | -- | Inf
1662.95/1663.61 c 1590s| 3850k| 2554k| 0 | 0.0 |1351M| 164 | - | 400 |8277 | 0 | 0 | 0 |2549k| 0 | 0.000000e+00 | -- | Inf
1671.94/1672.64 c 1599s| 3860k| 2553k| 0 | 0.0 |1351M| 164 | - | 400 |8139 | 0 | 0 | 0 |2561k| 0 | 0.000000e+00 | -- | Inf
1680.54/1681.20 c 1607s| 3870k| 2553k| 0 | 0.0 |1351M| 164 | - | 400 |8995 | 0 | 0 | 0 |2572k| 0 | 0.000000e+00 | -- | Inf
1689.44/1690.16 c 1616s| 3880k| 2553k| 0 | 0.0 |1351M| 164 | - | 400 |8770 | 0 | 0 | 0 |2584k| 0 | 0.000000e+00 | -- | Inf
1698.33/1699.07 c 1624s| 3890k| 2553k| 0 | 0.0 |1351M| 164 | - | 400 |7927 | 0 | 0 | 0 |2595k| 0 | 0.000000e+00 | -- | Inf
1706.83/1707.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1706.83/1707.53 c 1632s| 3900k| 2553k| 0 | 0.0 |1351M| 164 | - | 400 |8183 | 0 | 0 | 0 |2607k| 0 | 0.000000e+00 | -- | Inf
1714.93/1715.63 c 1640s| 3910k| 2553k| 0 | 0.0 |1350M| 164 | - | 400 |7365 | 0 | 0 | 0 |2617k| 0 | 0.000000e+00 | -- | Inf
1722.82/1723.51 c 1648s| 3920k| 2553k| 0 | 0.0 |1351M| 164 | - | 400 |7817 | 0 | 0 | 0 |2629k| 0 | 0.000000e+00 | -- | Inf
1731.22/1731.96 c 1656s| 3930k| 2553k| 0 | 0.0 |1351M| 164 | - | 400 |7995 | 0 | 0 | 0 |2640k| 0 | 0.000000e+00 | -- | Inf
1739.92/1740.63 c 1664s| 3940k| 2553k| 0 | 0.0 |1351M| 164 | - | 400 |8963 | 0 | 0 | 0 |2652k| 0 | 0.000000e+00 | -- | Inf
1748.71/1749.41 c 1673s| 3950k| 2553k| 0 | 0.0 |1351M| 164 | - | 400 |8470 | 0 | 0 | 0 |2663k| 0 | 0.000000e+00 | -- | Inf
1757.71/1758.46 c 1682s| 3960k| 2553k| 0 | 0.0 |1351M| 164 | - | 400 |8756 | 0 | 0 | 0 |2674k| 0 | 0.000000e+00 | -- | Inf
1767.01/1767.73 c 1690s| 3970k| 2552k| 0 | 0.0 |1351M| 164 | - | 400 |9259 | 0 | 0 | 0 |2687k| 0 | 0.000000e+00 | -- | Inf
1776.82/1777.51 c 1700s| 3980k| 2552k| 0 | 0.0 |1351M| 164 | - | 400 |8804 | 0 | 0 | 0 |2699k| 0 | 0.000000e+00 | -- | Inf
1785.50/1786.26 c 1708s| 3990k| 2552k| 0 | 0.0 |1350M| 164 | - | 400 |7637 | 0 | 0 | 0 |2710k| 0 | 0.000000e+00 | -- | Inf
1793.60/1794.39 c 1716s| 4000k| 2552k| 0 | 0.0 |1350M| 164 | - | 400 |7579 | 0 | 0 | 0 |2721k| 0 | 0.000000e+00 | -- | Inf
1800.01/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.71 c
1800.01/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.71 c Solving Time (sec) : 1722.27
1800.01/1800.71 c Solving Nodes : 4007888
1800.01/1800.71 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.01/1800.71 c Dual Bound : +0.00000000000000e+00
1800.01/1800.71 c Gap : infinite
1800.01/1800.71 s UNKNOWN
1800.01/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.71 c Solving Time : 1722.27
1800.01/1800.71 c Original Problem :
1800.01/1800.71 c Problem name : HOME/instance-2664534-1276329936.opb
1800.01/1800.71 c Variables : 400 (400 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.71 c Constraints : 60 initial, 60 maximal
1800.01/1800.71 c Presolved Problem :
1800.01/1800.71 c Problem name : t_HOME/instance-2664534-1276329936.opb
1800.01/1800.71 c Variables : 400 (400 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.71 c Constraints : 60 initial, 9767 maximal
1800.01/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.71 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.71 c probing : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.71 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.71 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.71 c root node : - 0 - - 0 - - - -
1800.01/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.71 c integral : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.71 c setppc : 20 0 9029652 0 3570313 428549 37462966 0 0 0
1800.01/1800.71 c logicor : 40+ 0 5924950 0 3570313 457715 7372927 0 0 0
1800.01/1800.71 c countsols : 0 0 0 0 3570313 0 0 0 0 0
1800.01/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.71 c integral : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.71 c setppc : 167.21 0.00 130.08 0.00 37.13
1800.01/1800.71 c logicor : 609.46 0.00 572.00 0.00 37.46
1800.01/1800.71 c countsols : 1.65 0.00 0.00 0.00 1.65
1800.01/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.71 c vbounds : 4.58 1 0 0
1800.01/1800.71 c rootredcost : 4.77 0 0 0
1800.01/1800.71 c pseudoobj : 3.81 0 0 0
1800.01/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.71 c propagation : 77.34 886263 886251 5156306 34.4 12718 39.8 -
1800.01/1800.71 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.71 c applied globally : - - - 2585580 23.7 - - -
1800.01/1800.71 c applied locally : - - - 144716 48.5 - - -
1800.01/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.71 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.01/1800.71 c redcost : 0.00 0 0 0 0 0
1800.01/1800.71 c impliedbounds : 0.00 0 0 0 0 0
1800.01/1800.71 c intobj : 0.00 0 0 0 0 0
1800.01/1800.71 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.71 c gomory : 0.00 0 0 0 0 0
1800.01/1800.71 c strongcg : 0.00 0 0 0 0 0
1800.01/1800.71 c cmir : 0.00 0 0 0 0 0
1800.01/1800.71 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.71 c clique : 0.00 0 0 0 0 0
1800.01/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.71 c mcf : 0.00 0 0 0 0 0
1800.01/1800.71 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.71 c Pricers : Time Calls Vars
1800.01/1800.71 c problem variables: 0.00 0 0
1800.01/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.71 c relpscost : 0.00 0 0 0 0 0 0
1800.01/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.71 c inference : 182.35 3570313 0 0 0 0 7140626
1800.01/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.71 c random : 0.00 0 0 0 0 0 0
1800.01/1800.71 c Primal Heuristics : Time Calls Found
1800.01/1800.71 c LP solutions : 0.00 - 0
1800.01/1800.71 c pseudo solutions : 0.00 - 0
1800.01/1800.71 c trivial : 0.00 1 0
1800.01/1800.71 c simplerounding : 0.00 0 0
1800.01/1800.71 c zirounding : 0.00 0 0
1800.01/1800.71 c rounding : 0.00 0 0
1800.01/1800.71 c shifting : 0.00 0 0
1800.01/1800.71 c intshifting : 0.00 0 0
1800.01/1800.71 c oneopt : 0.00 0 0
1800.01/1800.71 c twoopt : 0.00 0 0
1800.01/1800.71 c fixandinfer : 0.00 0 0
1800.01/1800.71 c feaspump : 0.00 0 0
1800.01/1800.71 c coefdiving : 0.00 0 0
1800.01/1800.71 c pscostdiving : 0.00 0 0
1800.01/1800.71 c fracdiving : 0.00 0 0
1800.01/1800.71 c veclendiving : 0.00 0 0
1800.01/1800.71 c intdiving : 0.00 0 0
1800.01/1800.71 c actconsdiving : 0.00 0 0
1800.01/1800.71 c objpscostdiving : 0.00 0 0
1800.01/1800.71 c rootsoldiving : 0.00 0 0
1800.01/1800.71 c linesearchdiving : 0.00 0 0
1800.01/1800.71 c guideddiving : 0.00 0 0
1800.01/1800.71 c octane : 0.00 0 0
1800.01/1800.71 c rens : 0.00 0 0
1800.01/1800.71 c rins : 0.00 0 0
1800.01/1800.71 c localbranching : 0.00 0 0
1800.01/1800.71 c mutation : 0.00 0 0
1800.01/1800.71 c crossover : 0.00 0 0
1800.01/1800.71 c dins : 0.00 0 0
1800.01/1800.71 c undercover : 0.00 0 0
1800.01/1800.71 c nlp : 0.00 0 0
1800.01/1800.71 c trysol : 0.00 0 0
1800.01/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.71 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.71 c dual LP : 0.00 0 0 0.00 -
1800.01/1800.71 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.71 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.71 c strong branching : 0.00 0 0 0.00 -
1800.01/1800.71 c (at root node) : - 0 0 0.00 -
1800.01/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.71 c B&B Tree :
1800.01/1800.71 c number of runs : 1
1800.01/1800.71 c nodes : 4007888
1800.01/1800.71 c nodes (total) : 4007888
1800.01/1800.71 c nodes left : 2552686
1800.01/1800.71 c max depth : 164
1800.01/1800.71 c max depth (total): 164
1800.01/1800.71 c backtracks : 471211 (11.8%)
1800.01/1800.71 c delayed cutoffs : 580053
1800.01/1800.71 c repropagations : 1016493 (18143999 domain reductions, 448689 cutoffs)
1800.01/1800.71 c avg switch length: 6.15
1800.01/1800.71 c switching time : 518.82
1800.01/1800.71 c Solution :
1800.01/1800.71 c Solutions found : 0 (0 improvements)
1800.01/1800.71 c Primal Bound : -
1800.01/1800.71 c Dual Bound : +0.00000000000000e+00
1800.01/1800.71 c Gap : infinite
1800.01/1800.71 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.71 c Root Iterations : 0