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-2664741-1276580634.opb>
0.00/0.01 c original problem has 420 variables (420 bin, 0 int, 0 impl, 0 cont) and 41 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, 21 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, 41 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 420 variables (420 bin, 0 int, 0 impl, 0 cont) and 41 constraints
0.00/0.02 c 20 constraints of type <setppc>
0.00/0.02 c 21 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 | - | 831k| 0 | - | 420 | 41 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.99/1.09 c 0.9s| 10000 | 9832 | 0 | 0.0 |3974k| 321 | - | 420 | 64 | 0 | 0 | 0 | 118 | 0 | 0.000000e+00 | -- | Inf
1.99/2.08 c 1.8s| 20000 | 19614 | 0 | 0.0 |6987k| 321 | - | 420 | 146 | 0 | 0 | 0 | 327 | 0 | 0.000000e+00 | -- | Inf
2.98/3.07 c 2.7s| 30000 | 29019 | 0 | 0.0 | 10M| 321 | - | 420 | 709 | 0 | 0 | 0 |1225 | 0 | 0.000000e+00 | -- | Inf
4.09/4.19 c 3.7s| 40000 | 38831 | 0 | 0.0 | 13M| 321 | - | 420 | 112 | 0 | 0 | 0 |1383 | 0 | 0.000000e+00 | -- | Inf
5.29/5.31 c 4.7s| 50000 | 48648 | 0 | 0.0 | 15M| 321 | - | 420 | 79 | 0 | 0 | 0 |1534 | 0 | 0.000000e+00 | -- | Inf
6.39/6.42 c 5.7s| 60000 | 58459 | 0 | 0.0 | 18M| 321 | - | 420 | 77 | 0 | 0 | 0 |1681 | 0 | 0.000000e+00 | -- | Inf
7.49/7.53 c 6.7s| 70000 | 68274 | 0 | 0.0 | 21M| 321 | - | 420 | 115 | 0 | 0 | 0 |1883 | 0 | 0.000000e+00 | -- | Inf
8.58/8.64 c 7.7s| 80000 | 78097 | 0 | 0.0 | 24M| 321 | - | 420 | 118 | 0 | 0 | 0 |2065 | 0 | 0.000000e+00 | -- | Inf
9.69/9.75 c 8.7s| 90000 | 87911 | 0 | 0.0 | 27M| 321 | - | 420 | 99 | 0 | 0 | 0 |2234 | 0 | 0.000000e+00 | -- | Inf
10.79/10.84 c 9.6s|100000 | 97727 | 0 | 0.0 | 30M| 321 | - | 420 | 124 | 0 | 0 | 0 |2436 | 0 | 0.000000e+00 | -- | Inf
11.89/11.94 c 10.6s|110000 |107541 | 0 | 0.0 | 33M| 321 | - | 420 | 115 | 0 | 0 | 0 |2634 | 0 | 0.000000e+00 | -- | Inf
12.98/13.05 c 11.6s|120000 |117336 | 0 | 0.0 | 36M| 321 | - | 420 | 107 | 0 | 0 | 0 |2818 | 0 | 0.000000e+00 | -- | Inf
14.09/14.14 c 12.5s|130000 |127129 | 0 | 0.0 | 39M| 321 | - | 420 | 93 | 0 | 0 | 0 |2991 | 0 | 0.000000e+00 | -- | Inf
15.19/15.24 c 13.5s|140000 |136928 | 0 | 0.0 | 42M| 321 | - | 420 | 89 | 0 | 0 | 0 |3152 | 0 | 0.000000e+00 | -- | Inf
16.29/16.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.29/16.31 c 14.4s|150000 |146737 | 0 | 0.0 | 45M| 321 | - | 420 | 119 | 0 | 0 | 0 |3343 | 0 | 0.000000e+00 | -- | Inf
17.39/17.41 c 15.4s|160000 |156516 | 0 | 0.0 | 48M| 321 | - | 420 | 105 | 0 | 0 | 0 |3524 | 0 | 0.000000e+00 | -- | Inf
18.38/18.50 c 16.4s|170000 |166309 | 0 | 0.0 | 50M| 321 | - | 420 | 120 | 0 | 0 | 0 |3718 | 0 | 0.000000e+00 | -- | Inf
19.49/19.58 c 17.3s|180000 |176105 | 0 | 0.0 | 53M| 321 | - | 420 | 106 | 0 | 0 | 0 |3908 | 0 | 0.000000e+00 | -- | Inf
20.58/20.65 c 18.3s|190000 |185930 | 0 | 0.0 | 56M| 321 | - | 420 | 131 | 0 | 0 | 0 |4090 | 0 | 0.000000e+00 | -- | Inf
21.68/21.75 c 19.2s|200000 |195716 | 0 | 0.0 | 59M| 321 | - | 420 | 102 | 0 | 0 | 0 |4275 | 0 | 0.000000e+00 | -- | Inf
22.79/22.82 c 20.2s|210000 |205528 | 0 | 0.0 | 62M| 321 | - | 420 | 138 | 0 | 0 | 0 |4481 | 0 | 0.000000e+00 | -- | Inf
23.88/23.91 c 21.2s|220000 |215307 | 0 | 0.0 | 65M| 321 | - | 420 | 113 | 0 | 0 | 0 |4673 | 0 | 0.000000e+00 | -- | Inf
24.89/24.99 c 22.1s|230000 |225096 | 0 | 0.0 | 68M| 321 | - | 420 | 105 | 0 | 0 | 0 |4843 | 0 | 0.000000e+00 | -- | Inf
25.98/26.07 c 23.1s|240000 |234880 | 0 | 0.0 | 71M| 321 | - | 420 | 134 | 0 | 0 | 0 |5051 | 0 | 0.000000e+00 | -- | Inf
27.09/27.14 c 24.0s|250000 |244659 | 0 | 0.0 | 74M| 321 | - | 420 | 89 | 0 | 0 | 0 |5212 | 0 | 0.000000e+00 | -- | Inf
28.18/28.20 c 24.9s|260000 |254435 | 0 | 0.0 | 77M| 321 | - | 420 | 84 | 0 | 0 | 0 |5379 | 0 | 0.000000e+00 | -- | Inf
29.18/29.26 c 25.9s|270000 |264199 | 0 | 0.0 | 80M| 321 | - | 420 | 108 | 0 | 0 | 0 |5578 | 0 | 0.000000e+00 | -- | Inf
30.28/30.31 c 26.8s|280000 |273981 | 0 | 0.0 | 82M| 321 | - | 420 | 126 | 0 | 0 | 0 |5782 | 0 | 0.000000e+00 | -- | Inf
31.29/31.36 c 27.7s|290000 |283760 | 0 | 0.0 | 85M| 321 | - | 420 | 92 | 0 | 0 | 0 |5966 | 0 | 0.000000e+00 | -- | Inf
32.38/32.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.38/32.42 c 28.6s|300000 |293501 | 0 | 0.0 | 88M| 321 | - | 420 | 101 | 0 | 0 | 0 |6161 | 0 | 0.000000e+00 | -- | Inf
33.38/33.48 c 29.6s|310000 |303277 | 0 | 0.0 | 91M| 321 | - | 420 | 141 | 0 | 0 | 0 |6372 | 0 | 0.000000e+00 | -- | Inf
34.48/34.53 c 30.5s|320000 |313071 | 0 | 0.0 | 94M| 321 | - | 420 | 114 | 0 | 0 | 0 |6551 | 0 | 0.000000e+00 | -- | Inf
35.48/35.59 c 31.4s|330000 |322843 | 0 | 0.0 | 97M| 321 | - | 420 | 95 | 0 | 0 | 0 |6733 | 0 | 0.000000e+00 | -- | Inf
36.58/36.67 c 32.4s|340000 |332616 | 0 | 0.0 | 100M| 321 | - | 420 | 89 | 0 | 0 | 0 |6898 | 0 | 0.000000e+00 | -- | Inf
37.68/37.71 c 33.3s|350000 |342418 | 0 | 0.0 | 103M| 321 | - | 420 | 96 | 0 | 0 | 0 |7060 | 0 | 0.000000e+00 | -- | Inf
38.68/38.76 c 34.2s|360000 |352194 | 0 | 0.0 | 106M| 321 | - | 420 | 105 | 0 | 0 | 0 |7248 | 0 | 0.000000e+00 | -- | Inf
39.78/39.82 c 35.1s|370000 |361957 | 0 | 0.0 | 109M| 321 | - | 420 | 115 | 0 | 0 | 0 |7437 | 0 | 0.000000e+00 | -- | Inf
40.78/40.86 c 36.1s|380000 |371750 | 0 | 0.0 | 112M| 321 | - | 420 | 110 | 0 | 0 | 0 |7614 | 0 | 0.000000e+00 | -- | Inf
41.88/41.91 c 37.0s|390000 |381523 | 0 | 0.0 | 115M| 321 | - | 420 | 120 | 0 | 0 | 0 |7806 | 0 | 0.000000e+00 | -- | Inf
42.89/42.97 c 37.9s|400000 |391284 | 0 | 0.0 | 117M| 321 | - | 420 | 88 | 0 | 0 | 0 |7984 | 0 | 0.000000e+00 | -- | Inf
43.99/44.03 c 38.9s|410000 |401042 | 0 | 0.0 | 120M| 321 | - | 420 | 124 | 0 | 0 | 0 |8199 | 0 | 0.000000e+00 | -- | Inf
44.98/45.07 c 39.8s|420000 |410824 | 0 | 0.0 | 123M| 321 | - | 420 | 113 | 0 | 0 | 0 |8383 | 0 | 0.000000e+00 | -- | Inf
45.98/46.09 c 40.6s|430000 |420605 | 0 | 0.0 | 126M| 321 | - | 420 | 127 | 0 | 0 | 0 |8585 | 0 | 0.000000e+00 | -- | Inf
47.08/47.15 c 41.6s|440000 |430351 | 0 | 0.0 | 129M| 321 | - | 420 | 136 | 0 | 0 | 0 |8803 | 0 | 0.000000e+00 | -- | Inf
48.17/48.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.17/48.22 c 42.5s|450000 |440091 | 0 | 0.0 | 132M| 321 | - | 420 | 130 | 0 | 0 | 0 |9022 | 0 | 0.000000e+00 | -- | Inf
49.18/49.26 c 43.5s|460000 |449870 | 0 | 0.0 | 135M| 321 | - | 420 | 151 | 0 | 0 | 0 |9219 | 0 | 0.000000e+00 | -- | Inf
50.28/50.31 c 44.4s|470000 |459637 | 0 | 0.0 | 138M| 321 | - | 420 | 187 | 0 | 0 | 0 |9476 | 0 | 0.000000e+00 | -- | Inf
51.28/51.36 c 45.3s|480000 |469398 | 0 | 0.0 | 141M| 321 | - | 420 | 159 | 0 | 0 | 0 |9687 | 0 | 0.000000e+00 | -- | Inf
52.38/52.41 c 46.2s|490000 |479150 | 0 | 0.0 | 144M| 321 | - | 420 | 127 | 0 | 0 | 0 |9878 | 0 | 0.000000e+00 | -- | Inf
53.37/53.45 c 47.1s|500000 |488920 | 0 | 0.0 | 147M| 321 | - | 420 | 101 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
54.48/54.52 c 48.1s|510000 |498647 | 0 | 0.0 | 150M| 321 | - | 420 | 163 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
55.48/55.58 c 49.0s|520000 |508392 | 0 | 0.0 | 153M| 321 | - | 420 | 133 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
56.58/56.64 c 50.0s|530000 |518129 | 0 | 0.0 | 155M| 321 | - | 420 | 102 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
57.58/57.69 c 50.9s|540000 |527886 | 0 | 0.0 | 158M| 321 | - | 420 | 137 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
58.68/58.73 c 51.8s|550000 |537628 | 0 | 0.0 | 161M| 321 | - | 420 | 169 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
59.67/59.78 c 52.8s|560000 |547383 | 0 | 0.0 | 164M| 321 | - | 420 | 111 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
60.77/60.82 c 53.6s|570000 |557140 | 0 | 0.0 | 167M| 321 | - | 420 | 143 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
61.77/61.89 c 54.6s|580000 |566857 | 0 | 0.0 | 170M| 321 | - | 420 | 107 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
62.87/62.93 c 55.5s|590000 |576618 | 0 | 0.0 | 173M| 321 | - | 420 | 143 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
63.88/63.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.88/63.98 c 56.5s|600000 |586370 | 0 | 0.0 | 176M| 321 | - | 420 | 143 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
64.97/65.03 c 57.4s|610000 |596080 | 0 | 0.0 | 179M| 321 | - | 420 | 162 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
65.98/66.09 c 58.3s|620000 |605813 | 0 | 0.0 | 182M| 321 | - | 420 | 133 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
67.07/67.13 c 59.2s|630000 |615564 | 0 | 0.0 | 185M| 321 | - | 420 | 142 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
68.08/68.17 c 60.1s|640000 |625304 | 0 | 0.0 | 188M| 321 | - | 420 | 130 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
69.17/69.21 c 61.1s|650000 |635039 | 0 | 0.0 | 191M| 321 | - | 420 | 157 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
70.17/70.23 c 62.0s|660000 |644793 | 0 | 0.0 | 193M| 321 | - | 420 | 143 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
71.17/71.26 c 62.9s|670000 |654545 | 0 | 0.0 | 196M| 321 | - | 420 | 150 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
72.17/72.29 c 63.8s|680000 |664277 | 0 | 0.0 | 199M| 321 | - | 420 | 119 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
73.27/73.34 c 64.7s|690000 |673981 | 0 | 0.0 | 202M| 321 | - | 420 | 126 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
74.37/74.40 c 65.6s|700000 |683718 | 0 | 0.0 | 205M| 321 | - | 420 | 116 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
75.37/75.45 c 66.5s|710000 |693444 | 0 | 0.0 | 208M| 321 | - | 420 | 122 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
76.37/76.48 c 67.4s|720000 |703169 | 0 | 0.0 | 211M| 321 | - | 420 | 141 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
77.47/77.52 c 68.3s|730000 |712886 | 0 | 0.0 | 214M| 321 | - | 420 | 172 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
78.47/78.56 c 69.2s|740000 |722625 | 0 | 0.0 | 217M| 321 | - | 420 | 142 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
79.57/79.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.57/79.61 c 70.2s|750000 |732347 | 0 | 0.0 | 220M| 321 | - | 420 | 121 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
80.57/80.64 c 71.1s|760000 |742073 | 0 | 0.0 | 223M| 321 | - | 420 | 191 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
81.67/81.72 c 72.0s|770000 |751766 | 0 | 0.0 | 226M| 321 | - | 420 | 127 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
82.67/82.75 c 72.9s|780000 |761478 | 0 | 0.0 | 228M| 321 | - | 420 | 161 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
83.67/83.79 c 73.8s|790000 |771200 | 0 | 0.0 | 231M| 321 | - | 420 | 202 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
84.77/84.80 c 74.7s|800000 |780930 | 0 | 0.0 | 234M| 321 | - | 420 | 209 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
85.78/85.82 c 75.6s|810000 |790674 | 0 | 0.0 | 237M| 321 | - | 420 | 180 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
86.77/86.87 c 76.6s|820000 |800390 | 0 | 0.0 | 240M| 321 | - | 420 | 160 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
87.87/87.92 c 77.5s|830000 |810102 | 0 | 0.0 | 243M| 321 | - | 420 | 179 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
88.86/88.97 c 78.4s|840000 |819838 | 0 | 0.0 | 246M| 321 | - | 420 | 166 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
89.96/90.02 c 79.4s|850000 |829547 | 0 | 0.0 | 249M| 321 | - | 420 | 132 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
90.97/91.05 c 80.2s|860000 |839269 | 0 | 0.0 | 252M| 321 | - | 420 | 157 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
92.06/92.11 c 81.2s|870000 |848951 | 0 | 0.0 | 255M| 321 | - | 420 | 141 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
93.06/93.15 c 82.1s|880000 |858654 | 0 | 0.0 | 258M| 321 | - | 420 | 168 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
94.17/94.20 c 83.0s|890000 |868367 | 0 | 0.0 | 261M| 321 | - | 420 | 189 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
95.17/95.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
95.17/95.27 c 84.0s|900000 |878057 | 0 | 0.0 | 264M| 321 | - | 420 | 175 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
96.27/96.31 c 84.9s|910000 |887753 | 0 | 0.0 | 267M| 321 | - | 420 | 177 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
97.26/97.35 c 85.8s|920000 |897458 | 0 | 0.0 | 270M| 321 | - | 420 | 128 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
98.36/98.41 c 86.7s|930000 |907157 | 0 | 0.0 | 273M| 321 | - | 420 | 150 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
99.36/99.47 c 87.7s|940000 |916816 | 0 | 0.0 | 275M| 321 | - | 420 | 194 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
100.46/100.50 c 88.6s|950000 |926519 | 0 | 0.0 | 278M| 321 | - | 420 | 156 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
101.46/101.53 c 89.5s|960000 |936236 | 0 | 0.0 | 281M| 321 | - | 420 | 149 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
102.47/102.56 c 90.4s|970000 |945941 | 0 | 0.0 | 284M| 321 | - | 420 | 121 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
103.46/103.59 c 91.3s|980000 |955633 | 0 | 0.0 | 287M| 321 | - | 420 | 131 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
104.47/104.59 c 92.2s|990000 |965342 | 0 | 0.0 | 290M| 321 | - | 420 | 160 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
105.57/105.65 c 93.1s| 1000k|975007 | 0 | 0.0 | 293M| 321 | - | 420 | 198 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
106.56/106.66 c 94.0s| 1010k|984718 | 0 | 0.0 | 296M| 321 | - | 420 | 200 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
107.66/107.75 c 95.0s| 1020k|994416 | 0 | 0.0 | 299M| 321 | - | 420 | 144 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
108.77/108.81 c 95.9s| 1030k| 1004k| 0 | 0.0 | 302M| 321 | - | 420 | 170 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
109.76/109.86 c 96.8s| 1040k| 1013k| 0 | 0.0 | 305M| 321 | - | 420 | 193 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
110.76/110.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
110.76/110.89 c 97.7s| 1050k| 1023k| 0 | 0.0 | 308M| 321 | - | 420 | 175 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
111.86/111.92 c 98.6s| 1060k| 1033k| 0 | 0.0 | 311M| 321 | - | 420 | 207 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
112.86/112.97 c 99.6s| 1070k| 1042k| 0 | 0.0 | 314M| 321 | - | 420 | 222 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
113.96/114.03 c 100s| 1080k| 1052k| 0 | 0.0 | 317M| 321 | - | 420 | 193 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
114.96/115.02 c 101s| 1090k| 1062k| 0 | 0.0 | 320M| 321 | - | 420 | 214 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
116.06/116.13 c 102s| 1100k| 1071k| 0 | 0.0 | 323M| 321 | - | 420 | 167 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
117.06/117.17 c 103s| 1110k| 1081k| 0 | 0.0 | 326M| 321 | - | 420 | 146 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
118.16/118.21 c 104s| 1120k| 1091k| 0 | 0.0 | 329M| 321 | - | 420 | 154 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
119.16/119.26 c 105s| 1130k| 1100k| 0 | 0.0 | 332M| 321 | - | 420 | 202 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
120.26/120.33 c 106s| 1140k| 1110k| 0 | 0.0 | 335M| 321 | - | 420 | 173 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
121.25/121.37 c 107s| 1150k| 1120k| 0 | 0.0 | 338M| 321 | - | 420 | 181 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
122.36/122.41 c 108s| 1160k| 1129k| 0 | 0.0 | 341M| 321 | - | 420 | 214 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
123.36/123.46 c 109s| 1170k| 1139k| 0 | 0.0 | 343M| 321 | - | 420 | 159 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
124.45/124.55 c 110s| 1180k| 1149k| 0 | 0.0 | 346M| 321 | - | 420 | 159 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
125.46/125.59 c 111s| 1190k| 1158k| 0 | 0.0 | 349M| 321 | - | 420 | 206 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
126.55/126.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
126.55/126.65 c 112s| 1200k| 1168k| 0 | 0.0 | 352M| 321 | - | 420 | 199 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
127.65/127.71 c 113s| 1210k| 1178k| 0 | 0.0 | 355M| 321 | - | 420 | 185 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
128.66/128.75 c 113s| 1220k| 1187k| 0 | 0.0 | 358M| 321 | - | 420 | 240 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
129.76/129.82 c 114s| 1230k| 1197k| 0 | 0.0 | 361M| 321 | - | 420 | 233 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
130.75/130.82 c 115s| 1240k| 1207k| 0 | 0.0 | 364M| 321 | - | 420 | 245 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
131.86/131.90 c 116s| 1250k| 1216k| 0 | 0.0 | 367M| 321 | - | 420 | 240 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
132.95/133.00 c 117s| 1260k| 1226k| 0 | 0.0 | 370M| 321 | - | 420 | 236 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
133.96/134.04 c 118s| 1270k| 1236k| 0 | 0.0 | 373M| 321 | - | 420 | 213 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
134.95/135.06 c 119s| 1280k| 1245k| 0 | 0.0 | 376M| 321 | - | 420 | 230 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
136.05/136.15 c 120s| 1290k| 1255k| 0 | 0.0 | 379M| 321 | - | 420 | 195 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
137.15/137.21 c 121s| 1300k| 1264k| 0 | 0.0 | 382M| 321 | - | 420 | 169 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
138.15/138.24 c 122s| 1310k| 1274k| 0 | 0.0 | 385M| 321 | - | 420 | 168 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
139.26/139.31 c 123s| 1320k| 1284k| 0 | 0.0 | 388M| 321 | - | 420 | 219 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
140.25/140.36 c 124s| 1330k| 1293k| 0 | 0.0 | 391M| 321 | - | 420 | 266 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
141.25/141.38 c 125s| 1340k| 1303k| 0 | 0.0 | 394M| 321 | - | 420 | 255 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
142.35/142.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
142.35/142.44 c 125s| 1350k| 1313k| 0 | 0.0 | 397M| 321 | - | 420 | 237 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
143.35/143.47 c 126s| 1360k| 1322k| 0 | 0.0 | 400M| 321 | - | 420 | 234 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
144.45/144.53 c 127s| 1370k| 1332k| 0 | 0.0 | 403M| 321 | - | 420 | 264 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
145.45/145.56 c 128s| 1380k| 1341k| 0 | 0.0 | 406M| 321 | - | 420 | 199 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
146.55/146.61 c 129s| 1390k| 1351k| 0 | 0.0 | 409M| 321 | - | 420 | 234 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
147.55/147.65 c 130s| 1400k| 1361k| 0 | 0.0 | 412M| 321 | - | 420 | 264 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
148.55/148.68 c 131s| 1410k| 1370k| 0 | 0.0 | 415M| 321 | - | 420 | 216 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
149.65/149.71 c 132s| 1420k| 1380k| 0 | 0.0 | 418M| 321 | - | 420 | 201 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
150.65/150.77 c 133s| 1430k| 1389k| 0 | 0.0 | 422M| 321 | - | 420 | 270 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
151.76/151.85 c 134s| 1440k| 1399k| 0 | 0.0 | 425M| 321 | - | 420 | 253 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
152.85/152.92 c 135s| 1450k| 1409k| 0 | 0.0 | 428M| 321 | - | 420 | 247 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
153.85/153.95 c 136s| 1460k| 1418k| 0 | 0.0 | 431M| 321 | - | 420 | 283 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
154.84/154.98 c 136s| 1470k| 1428k| 0 | 0.0 | 434M| 321 | - | 420 | 301 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
156.05/156.18 c 138s| 1480k| 1437k| 0 | 0.0 | 437M| 321 | - | 420 | 247 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
157.15/157.26 c 138s| 1490k| 1447k| 0 | 0.0 | 440M| 321 | - | 420 | 321 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
158.24/158.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
158.24/158.33 c 139s| 1500k| 1457k| 0 | 0.0 | 443M| 321 | - | 420 | 315 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
159.35/159.48 c 140s| 1510k| 1466k| 0 | 0.0 | 446M| 321 | - | 420 | 274 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
160.44/160.53 c 141s| 1520k| 1476k| 0 | 0.0 | 449M| 321 | - | 420 | 315 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
161.45/161.58 c 142s| 1530k| 1485k| 0 | 0.0 | 452M| 321 | - | 420 | 425 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
162.54/162.67 c 143s| 1540k| 1495k| 0 | 0.0 | 455M| 321 | - | 420 | 276 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
163.75/163.80 c 144s| 1550k| 1504k| 0 | 0.0 | 458M| 321 | - | 420 | 229 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
164.84/164.91 c 145s| 1560k| 1514k| 0 | 0.0 | 461M| 321 | - | 420 | 284 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
165.85/165.99 c 146s| 1570k| 1524k| 0 | 0.0 | 464M| 321 | - | 420 | 297 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
166.95/167.08 c 147s| 1580k| 1533k| 0 | 0.0 | 467M| 321 | - | 420 | 261 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
168.04/168.16 c 148s| 1590k| 1543k| 0 | 0.0 | 470M| 321 | - | 420 | 261 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
169.14/169.28 c 149s| 1600k| 1552k| 0 | 0.0 | 474M| 321 | - | 420 | 282 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
170.24/170.39 c 150s| 1610k| 1562k| 0 | 0.0 | 477M| 321 | - | 420 | 270 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
171.44/171.50 c 151s| 1620k| 1571k| 0 | 0.0 | 480M| 321 | - | 420 | 267 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
172.54/172.67 c 152s| 1630k| 1581k| 0 | 0.0 | 483M| 321 | - | 420 | 309 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
173.64/173.73 c 153s| 1640k| 1591k| 0 | 0.0 | 486M| 321 | - | 420 | 262 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
174.74/174.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
174.74/174.87 c 154s| 1650k| 1600k| 0 | 0.0 | 489M| 321 | - | 420 | 237 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
175.84/175.98 c 155s| 1660k| 1610k| 0 | 0.0 | 492M| 321 | - | 420 | 337 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
177.05/177.11 c 156s| 1670k| 1619k| 0 | 0.0 | 495M| 321 | - | 420 | 350 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
178.15/178.22 c 157s| 1680k| 1629k| 0 | 0.0 | 498M| 321 | - | 420 | 265 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
179.34/179.45 c 158s| 1690k| 1638k| 0 | 0.0 | 501M| 321 | - | 420 | 253 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
180.43/180.55 c 159s| 1700k| 1648k| 0 | 0.0 | 504M| 321 | - | 420 | 302 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
181.54/181.63 c 160s| 1710k| 1657k| 0 | 0.0 | 508M| 321 | - | 420 | 312 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
182.64/182.76 c 161s| 1720k| 1667k| 0 | 0.0 | 511M| 321 | - | 420 | 269 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
183.84/183.94 c 162s| 1730k| 1676k| 0 | 0.0 | 514M| 321 | - | 420 | 267 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
185.03/185.10 c 163s| 1740k| 1686k| 0 | 0.0 | 517M| 321 | - | 420 | 304 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
186.14/186.25 c 164s| 1750k| 1695k| 0 | 0.0 | 520M| 321 | - | 420 | 380 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
187.24/187.37 c 165s| 1760k| 1705k| 0 | 0.0 | 523M| 321 | - | 420 | 288 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
188.43/188.51 c 166s| 1770k| 1714k| 0 | 0.0 | 526M| 321 | - | 420 | 367 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
189.54/189.65 c 167s| 1780k| 1724k| 0 | 0.0 | 529M| 321 | - | 420 | 411 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
190.64/190.78 c 168s| 1790k| 1733k| 0 | 0.0 | 533M| 321 | - | 420 | 430 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
191.73/191.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
191.73/191.87 c 169s| 1800k| 1742k| 0 | 0.0 | 536M| 321 | - | 420 | 407 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
192.83/192.98 c 170s| 1810k| 1752k| 0 | 0.0 | 539M| 321 | - | 420 | 383 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
194.03/194.16 c 171s| 1820k| 1761k| 0 | 0.0 | 542M| 321 | - | 420 | 490 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
195.14/195.27 c 172s| 1830k| 1771k| 0 | 0.0 | 545M| 321 | - | 420 | 504 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
196.33/196.41 c 173s| 1840k| 1780k| 0 | 0.0 | 548M| 321 | - | 420 | 387 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
197.43/197.54 c 174s| 1850k| 1790k| 0 | 0.0 | 551M| 321 | - | 420 | 379 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
198.64/198.77 c 175s| 1860k| 1799k| 0 | 0.0 | 554M| 321 | - | 420 | 411 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
199.83/199.93 c 176s| 1870k| 1809k| 0 | 0.0 | 557M| 321 | - | 420 | 375 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
200.93/201.06 c 177s| 1880k| 1818k| 0 | 0.0 | 561M| 321 | - | 420 | 351 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
202.13/202.23 c 178s| 1890k| 1828k| 0 | 0.0 | 564M| 321 | - | 420 | 314 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
203.24/203.38 c 179s| 1900k| 1837k| 0 | 0.0 | 567M| 321 | - | 420 | 377 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
204.43/204.58 c 180s| 1910k| 1846k| 0 | 0.0 | 570M| 321 | - | 420 | 439 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
205.64/205.71 c 181s| 1920k| 1856k| 0 | 0.0 | 573M| 321 | - | 420 | 495 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
206.74/206.85 c 182s| 1930k| 1865k| 0 | 0.0 | 576M| 321 | - | 420 | 552 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
207.84/207.99 c 183s| 1940k| 1875k| 0 | 0.0 | 580M| 321 | - | 420 | 457 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
209.02/209.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
209.02/209.15 c 184s| 1950k| 1884k| 0 | 0.0 | 583M| 321 | - | 420 | 414 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
210.23/210.37 c 185s| 1960k| 1893k| 0 | 0.0 | 586M| 321 | - | 420 | 502 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
211.53/211.61 c 186s| 1970k| 1903k| 0 | 0.0 | 589M| 321 | - | 420 | 495 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
212.73/212.81 c 187s| 1980k| 1912k| 0 | 0.0 | 592M| 321 | - | 420 | 532 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
213.93/214.04 c 189s| 1990k| 1921k| 0 | 0.0 | 595M| 321 | - | 420 | 415 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
215.13/215.26 c 190s| 2000k| 1931k| 0 | 0.0 | 599M| 321 | - | 420 | 524 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
216.33/216.49 c 191s| 2010k| 1940k| 0 | 0.0 | 602M| 321 | - | 420 | 506 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
217.52/217.63 c 192s| 2020k| 1949k| 0 | 0.0 | 605M| 321 | - | 420 | 461 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
218.72/218.87 c 193s| 2030k| 1959k| 0 | 0.0 | 608M| 321 | - | 420 | 380 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
219.93/220.07 c 194s| 2040k| 1968k| 0 | 0.0 | 611M| 321 | - | 420 | 357 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
221.13/221.28 c 195s| 2050k| 1977k| 0 | 0.0 | 615M| 321 | - | 420 | 466 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
222.42/222.58 c 196s| 2060k| 1986k| 0 | 0.0 | 618M| 321 | - | 420 | 487 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
223.72/223.84 c 197s| 2070k| 1996k| 0 | 0.0 | 621M| 321 | - | 420 | 586 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
225.12/225.21 c 198s| 2080k| 2005k| 0 | 0.0 | 624M| 321 | - | 420 | 546 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
226.32/226.43 c 200s| 2090k| 2014k| 0 | 0.0 | 628M| 321 | - | 420 | 619 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
227.63/227.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
227.63/227.74 c 201s| 2100k| 2023k| 0 | 0.0 | 631M| 321 | - | 420 | 604 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
229.03/229.12 c 202s| 2110k| 2032k| 0 | 0.0 | 634M| 321 | - | 420 | 624 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
230.33/230.47 c 203s| 2120k| 2042k| 0 | 0.0 | 638M| 321 | - | 420 | 705 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
231.82/231.90 c 204s| 2130k| 2051k| 0 | 0.0 | 641M| 321 | - | 420 | 662 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
233.12/233.30 c 206s| 2140k| 2060k| 0 | 0.0 | 644M| 321 | - | 420 | 698 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
234.52/234.65 c 207s| 2150k| 2069k| 0 | 0.0 | 647M| 321 | - | 420 | 723 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
235.82/235.99 c 208s| 2160k| 2078k| 0 | 0.0 | 651M| 321 | - | 420 | 592 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
237.32/237.48 c 209s| 2170k| 2087k| 0 | 0.0 | 654M| 321 | - | 420 | 709 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
238.92/239.06 c 211s| 2180k| 2096k| 0 | 0.0 | 657M| 321 | - | 420 | 736 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
240.32/240.48 c 212s| 2190k| 2105k| 0 | 0.0 | 661M| 322 | - | 420 | 858 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
241.82/241.97 c 213s| 2200k| 2114k| 0 | 0.0 | 664M| 322 | - | 420 | 900 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
243.22/243.33 c 215s| 2210k| 2123k| 0 | 0.0 | 668M| 322 | - | 420 | 857 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
244.62/244.77 c 216s| 2220k| 2132k| 0 | 0.0 | 671M| 322 | - | 420 | 866 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
246.22/246.31 c 217s| 2230k| 2141k| 0 | 0.0 | 674M| 322 | - | 420 | 955 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
247.81/247.90 c 219s| 2240k| 2150k| 0 | 0.0 | 678M| 322 | - | 420 |1133 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
249.41/249.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
249.41/249.51 c 220s| 2250k| 2159k| 0 | 0.0 | 681M| 322 | - | 420 |1089 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
251.02/251.16 c 222s| 2260k| 2168k| 0 | 0.0 | 685M| 322 | - | 420 |1069 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
252.81/252.99 c 223s| 2270k| 2177k| 0 | 0.0 | 688M| 322 | - | 420 |1261 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
254.41/254.56 c 225s| 2280k| 2185k| 0 | 0.0 | 692M| 322 | - | 420 |1175 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
256.32/256.45 c 227s| 2290k| 2194k| 0 | 0.0 | 695M| 322 | - | 420 |1389 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
258.02/258.17 c 228s| 2300k| 2203k| 0 | 0.0 | 699M| 322 | - | 420 |1262 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
260.11/260.24 c 230s| 2310k| 2211k| 0 | 0.0 | 702M| 322 | - | 420 |1523 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
262.21/262.36 c 232s| 2320k| 2220k| 0 | 0.0 | 706M| 322 | - | 420 |1690 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
264.41/264.57 c 234s| 2330k| 2228k| 0 | 0.0 | 710M| 322 | - | 420 |1629 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
266.71/266.81 c 236s| 2340k| 2236k| 0 | 0.0 | 713M| 322 | - | 420 |1821 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
268.61/268.78 c 238s| 2350k| 2245k| 0 | 0.0 | 717M| 322 | - | 420 |1959 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
270.71/270.89 c 240s| 2360k| 2253k| 0 | 0.0 | 720M| 322 | - | 420 |1868 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
273.11/273.28 c 242s| 2370k| 2261k| 0 | 0.0 | 724M| 322 | - | 420 |1905 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
275.21/275.33 c 244s| 2380k| 2270k| 0 | 0.0 | 728M| 322 | - | 420 |1730 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
277.11/277.24 c 246s| 2390k| 2278k| 0 | 0.0 | 731M| 322 | - | 420 |1437 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
279.21/279.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
279.21/279.35 c 248s| 2400k| 2287k| 0 | 0.0 | 735M| 322 | - | 420 |1377 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
281.20/281.38 c 250s| 2410k| 2296k| 0 | 0.0 | 739M| 322 | - | 420 |1231 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
283.21/283.36 c 251s| 2420k| 2304k| 0 | 0.0 | 742M| 322 | - | 420 |1217 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
285.51/285.60 c 253s| 2430k| 2312k| 0 | 0.0 | 746M| 323 | - | 420 |1192 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
287.71/287.81 c 255s| 2440k| 2321k| 0 | 0.0 | 750M| 323 | - | 420 |1225 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
290.00/290.13 c 258s| 2450k| 2329k| 0 | 0.0 | 754M| 326 | - | 420 |1273 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
292.41/292.50 c 260s| 2460k| 2337k| 0 | 0.0 | 758M| 326 | - | 420 | 637 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
293.50/293.67 c 261s| 2470k| 2347k| 0 | 0.0 | 760M| 326 | - | 420 | 185 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
294.60/294.80 c 262s| 2480k| 2357k| 0 | 0.0 | 763M| 326 | - | 420 | 127 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
295.81/295.91 c 263s| 2490k| 2367k| 0 | 0.0 | 766M| 326 | - | 420 | 134 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
296.91/297.04 c 264s| 2500k| 2376k| 0 | 0.0 | 769M| 326 | - | 420 | 179 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
298.01/298.14 c 265s| 2510k| 2386k| 0 | 0.0 | 772M| 326 | - | 420 | 167 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
299.11/299.25 c 266s| 2520k| 2396k| 0 | 0.0 | 775M| 326 | - | 420 | 208 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
300.30/300.45 c 267s| 2530k| 2406k| 0 | 0.0 | 778M| 326 | - | 420 | 179 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
301.50/301.63 c 268s| 2540k| 2416k| 0 | 0.0 | 781M| 326 | - | 420 | 244 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
302.70/302.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
302.70/302.82 c 269s| 2550k| 2425k| 0 | 0.0 | 784M| 326 | - | 420 | 169 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
303.80/303.99 c 270s| 2560k| 2435k| 0 | 0.0 | 787M| 326 | - | 420 | 155 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
305.10/305.25 c 271s| 2570k| 2445k| 0 | 0.0 | 790M| 326 | - | 420 | 110 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
306.30/306.43 c 272s| 2580k| 2455k| 0 | 0.0 | 793M| 326 | - | 420 | 156 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
307.40/307.51 c 273s| 2590k| 2465k| 0 | 0.0 | 796M| 326 | - | 420 | 179 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
308.40/308.58 c 274s| 2600k| 2474k| 0 | 0.0 | 799M| 326 | - | 420 | 179 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
309.70/309.80 c 275s| 2610k| 2484k| 0 | 0.0 | 802M| 326 | - | 420 | 154 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
310.80/310.93 c 276s| 2620k| 2494k| 0 | 0.0 | 805M| 326 | - | 420 | 166 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
311.90/312.05 c 277s| 2630k| 2504k| 0 | 0.0 | 808M| 326 | - | 420 | 146 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
313.10/313.20 c 278s| 2640k| 2514k| 0 | 0.0 | 811M| 326 | - | 420 | 161 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
314.20/314.32 c 279s| 2650k| 2523k| 0 | 0.0 | 814M| 326 | - | 420 | 201 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
315.19/315.39 c 280s| 2660k| 2533k| 0 | 0.0 | 817M| 326 | - | 420 | 207 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
316.40/316.51 c 281s| 2670k| 2543k| 0 | 0.0 | 820M| 326 | - | 420 | 144 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
317.50/317.64 c 282s| 2680k| 2553k| 0 | 0.0 | 823M| 326 | - | 420 | 124 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
318.60/318.77 c 283s| 2690k| 2563k| 0 | 0.0 | 826M| 326 | - | 420 | 208 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
319.80/319.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
319.80/319.90 c 284s| 2700k| 2572k| 0 | 0.0 | 829M| 326 | - | 420 | 153 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
320.89/321.06 c 285s| 2710k| 2582k| 0 | 0.0 | 832M| 326 | - | 420 | 138 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
321.99/322.16 c 286s| 2720k| 2592k| 0 | 0.0 | 835M| 326 | - | 420 | 153 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
323.10/323.26 c 287s| 2730k| 2602k| 0 | 0.0 | 838M| 326 | - | 420 | 200 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
324.30/324.40 c 288s| 2740k| 2611k| 0 | 0.0 | 841M| 326 | - | 420 | 178 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
325.39/325.55 c 289s| 2750k| 2621k| 0 | 0.0 | 844M| 326 | - | 420 | 185 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
326.50/326.66 c 290s| 2760k| 2631k| 0 | 0.0 | 847M| 326 | - | 420 | 161 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
327.60/327.78 c 291s| 2770k| 2641k| 0 | 0.0 | 850M| 326 | - | 420 | 147 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
328.69/328.87 c 292s| 2780k| 2651k| 0 | 0.0 | 852M| 326 | - | 420 | 161 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
329.80/329.99 c 293s| 2790k| 2660k| 0 | 0.0 | 855M| 326 | - | 420 | 139 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
330.90/331.08 c 294s| 2800k| 2670k| 0 | 0.0 | 858M| 326 | - | 420 | 155 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
332.00/332.19 c 295s| 2810k| 2680k| 0 | 0.0 | 861M| 326 | - | 420 | 150 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
333.20/333.36 c 296s| 2820k| 2690k| 0 | 0.0 | 864M| 326 | - | 420 | 126 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
334.30/334.46 c 297s| 2830k| 2700k| 0 | 0.0 | 867M| 326 | - | 420 | 220 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
335.49/335.60 c 298s| 2840k| 2709k| 0 | 0.0 | 870M| 326 | - | 420 | 174 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
336.59/336.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
336.59/336.70 c 299s| 2850k| 2719k| 0 | 0.0 | 873M| 326 | - | 420 | 168 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
337.60/337.77 c 300s| 2860k| 2729k| 0 | 0.0 | 876M| 326 | - | 420 | 166 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
338.79/338.92 c 301s| 2870k| 2739k| 0 | 0.0 | 879M| 326 | - | 420 | 164 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
339.89/340.05 c 302s| 2880k| 2749k| 0 | 0.0 | 882M| 326 | - | 420 | 188 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
340.98/341.18 c 303s| 2890k| 2758k| 0 | 0.0 | 885M| 326 | - | 420 | 202 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
342.19/342.30 c 304s| 2900k| 2768k| 0 | 0.0 | 888M| 326 | - | 420 | 149 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
343.28/343.48 c 305s| 2910k| 2778k| 0 | 0.0 | 891M| 326 | - | 420 | 167 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
344.39/344.55 c 306s| 2920k| 2788k| 0 | 0.0 | 894M| 326 | - | 420 | 119 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
345.49/345.66 c 307s| 2930k| 2798k| 0 | 0.0 | 897M| 326 | - | 420 | 184 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
346.68/346.82 c 308s| 2940k| 2807k| 0 | 0.0 | 900M| 326 | - | 420 | 210 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
347.89/348.01 c 309s| 2950k| 2817k| 0 | 0.0 | 903M| 326 | - | 420 | 169 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
348.99/349.17 c 310s| 2960k| 2827k| 0 | 0.0 | 906M| 326 | - | 420 | 224 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
350.09/350.27 c 311s| 2970k| 2837k| 0 | 0.0 | 909M| 326 | - | 420 | 160 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
351.19/351.39 c 312s| 2980k| 2847k| 0 | 0.0 | 911M| 326 | - | 420 | 164 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
352.39/352.53 c 313s| 2990k| 2856k| 0 | 0.0 | 914M| 326 | - | 420 | 188 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
353.58/353.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
353.58/353.71 c 314s| 3000k| 2866k| 0 | 0.0 | 917M| 326 | - | 420 | 148 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
354.69/354.86 c 315s| 3010k| 2876k| 0 | 0.0 | 920M| 326 | - | 420 | 170 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
355.88/356.03 c 316s| 3020k| 2886k| 0 | 0.0 | 923M| 326 | - | 420 | 180 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
356.98/357.14 c 317s| 3030k| 2895k| 0 | 0.0 | 926M| 326 | - | 420 | 235 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
358.09/358.25 c 318s| 3040k| 2905k| 0 | 0.0 | 929M| 326 | - | 420 | 151 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
359.19/359.37 c 319s| 3050k| 2915k| 0 | 0.0 | 932M| 326 | - | 420 | 139 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
360.39/360.56 c 320s| 3060k| 2925k| 0 | 0.0 | 935M| 326 | - | 420 | 200 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
361.69/361.80 c 322s| 3070k| 2935k| 0 | 0.0 | 938M| 326 | - | 420 | 248 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
362.79/362.97 c 323s| 3080k| 2944k| 0 | 0.0 | 941M| 326 | - | 420 | 202 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
363.99/364.12 c 324s| 3090k| 2954k| 0 | 0.0 | 944M| 326 | - | 420 | 153 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
365.09/365.24 c 325s| 3100k| 2964k| 0 | 0.0 | 947M| 326 | - | 420 | 178 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
366.19/366.36 c 326s| 3110k| 2974k| 0 | 0.0 | 950M| 326 | - | 420 | 145 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
367.38/367.58 c 327s| 3120k| 2984k| 0 | 0.0 | 952M| 326 | - | 420 | 140 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
368.48/368.69 c 328s| 3130k| 2993k| 0 | 0.0 | 955M| 326 | - | 420 | 179 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
369.68/369.83 c 329s| 3140k| 3003k| 0 | 0.0 | 958M| 326 | - | 420 | 167 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
370.78/370.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
370.78/370.95 c 330s| 3150k| 3013k| 0 | 0.0 | 961M| 326 | - | 420 | 179 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
371.98/372.12 c 331s| 3160k| 3023k| 0 | 0.0 | 964M| 326 | - | 420 | 127 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
373.08/373.25 c 332s| 3170k| 3032k| 0 | 0.0 | 967M| 326 | - | 420 | 258 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
374.18/374.38 c 333s| 3180k| 3042k| 0 | 0.0 | 970M| 326 | - | 420 | 155 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
375.47/375.63 c 334s| 3190k| 3052k| 0 | 0.0 | 973M| 326 | - | 420 | 220 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
376.57/376.70 c 335s| 3200k| 3062k| 0 | 0.0 | 976M| 326 | - | 420 | 169 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
377.77/377.94 c 336s| 3210k| 3072k| 0 | 0.0 | 979M| 326 | - | 420 | 175 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
378.87/379.09 c 337s| 3220k| 3081k| 0 | 0.0 | 982M| 326 | - | 420 | 185 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
380.18/380.30 c 338s| 3230k| 3091k| 0 | 0.0 | 985M| 326 | - | 420 | 163 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
381.27/381.47 c 339s| 3240k| 3101k| 0 | 0.0 | 988M| 326 | - | 420 | 147 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
382.47/382.61 c 340s| 3250k| 3111k| 0 | 0.0 | 991M| 326 | - | 420 | 162 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
383.58/383.77 c 341s| 3260k| 3121k| 0 | 0.0 | 994M| 326 | - | 420 | 188 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
384.78/384.94 c 342s| 3270k| 3130k| 0 | 0.0 | 997M| 326 | - | 420 | 165 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
385.88/386.09 c 343s| 3280k| 3140k| 0 | 0.0 |1000M| 326 | - | 420 | 155 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
387.08/387.23 c 344s| 3290k| 3150k| 0 | 0.0 |1002M| 326 | - | 420 | 149 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
388.18/388.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
388.18/388.37 c 345s| 3300k| 3160k| 0 | 0.0 |1005M| 326 | - | 420 | 130 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
389.47/389.62 c 346s| 3310k| 3169k| 0 | 0.0 |1008M| 326 | - | 420 | 157 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
390.58/390.70 c 347s| 3320k| 3179k| 0 | 0.0 |1011M| 326 | - | 420 | 189 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
391.68/391.80 c 348s| 3330k| 3189k| 0 | 0.0 |1014M| 326 | - | 420 | 177 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
392.77/392.91 c 349s| 3340k| 3199k| 0 | 0.0 |1017M| 326 | - | 420 | 217 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
393.78/393.99 c 350s| 3350k| 3209k| 0 | 0.0 |1020M| 326 | - | 420 | 186 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
394.98/395.14 c 351s| 3360k| 3218k| 0 | 0.0 |1023M| 326 | - | 420 | 164 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
396.07/396.23 c 352s| 3370k| 3228k| 0 | 0.0 |1026M| 326 | - | 420 | 195 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
397.17/397.34 c 353s| 3380k| 3238k| 0 | 0.0 |1029M| 326 | - | 420 | 199 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
398.27/398.46 c 354s| 3390k| 3248k| 0 | 0.0 |1032M| 326 | - | 420 | 181 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
399.38/399.55 c 355s| 3400k| 3258k| 0 | 0.0 |1035M| 326 | - | 420 | 198 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
400.57/400.71 c 356s| 3410k| 3267k| 0 | 0.0 |1038M| 326 | - | 420 | 175 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
401.67/401.81 c 357s| 3420k| 3277k| 0 | 0.0 |1041M| 326 | - | 420 | 167 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
402.77/402.91 c 358s| 3430k| 3287k| 0 | 0.0 |1044M| 326 | - | 420 | 153 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
403.97/404.12 c 359s| 3440k| 3297k| 0 | 0.0 |1047M| 326 | - | 420 | 191 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
405.07/405.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
405.07/405.21 c 360s| 3450k| 3307k| 0 | 0.0 |1050M| 326 | - | 420 | 194 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
406.17/406.35 c 361s| 3460k| 3316k| 0 | 0.0 |1053M| 326 | - | 420 | 204 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
407.27/407.49 c 362s| 3470k| 3326k| 0 | 0.0 |1056M| 326 | - | 420 | 180 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
408.47/408.62 c 363s| 3480k| 3336k| 0 | 0.0 |1058M| 326 | - | 420 | 172 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
409.57/409.73 c 364s| 3490k| 3346k| 0 | 0.0 |1061M| 326 | - | 420 | 157 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
410.67/410.86 c 365s| 3500k| 3356k| 0 | 0.0 |1064M| 326 | - | 420 | 202 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
411.96/412.12 c 366s| 3510k| 3365k| 0 | 0.0 |1067M| 326 | - | 420 | 167 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
413.07/413.28 c 368s| 3520k| 3375k| 0 | 0.0 |1070M| 326 | - | 420 | 177 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
414.27/414.43 c 369s| 3530k| 3385k| 0 | 0.0 |1073M| 326 | - | 420 | 164 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
415.27/415.49 c 369s| 3540k| 3395k| 0 | 0.0 |1076M| 326 | - | 420 | 178 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
416.57/416.70 c 371s| 3550k| 3404k| 0 | 0.0 |1079M| 326 | - | 420 | 230 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
417.67/417.84 c 372s| 3560k| 3414k| 0 | 0.0 |1082M| 326 | - | 420 | 178 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
418.87/419.02 c 373s| 3570k| 3424k| 0 | 0.0 |1085M| 326 | - | 420 | 224 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
419.96/420.15 c 374s| 3580k| 3434k| 0 | 0.0 |1088M| 326 | - | 420 | 173 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
421.07/421.30 c 375s| 3590k| 3444k| 0 | 0.0 |1091M| 326 | - | 420 | 167 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
422.16/422.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
422.16/422.36 c 376s| 3600k| 3453k| 0 | 0.0 |1094M| 326 | - | 420 | 155 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
423.37/423.52 c 377s| 3610k| 3463k| 0 | 0.0 |1097M| 326 | - | 420 | 207 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
424.47/424.66 c 378s| 3620k| 3473k| 0 | 0.0 |1100M| 326 | - | 420 | 202 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
425.66/425.84 c 379s| 3630k| 3483k| 0 | 0.0 |1103M| 326 | - | 420 | 203 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
426.76/426.97 c 380s| 3640k| 3493k| 0 | 0.0 |1105M| 326 | - | 420 | 203 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
427.86/428.05 c 381s| 3650k| 3502k| 0 | 0.0 |1108M| 326 | - | 420 | 216 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
429.17/429.36 c 382s| 3660k| 3512k| 0 | 0.0 |1111M| 326 | - | 420 | 214 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
430.36/430.50 c 383s| 3670k| 3522k| 0 | 0.0 |1114M| 326 | - | 420 | 238 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
431.46/431.65 c 384s| 3680k| 3532k| 0 | 0.0 |1117M| 326 | - | 420 | 202 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
432.56/432.76 c 385s| 3690k| 3541k| 0 | 0.0 |1120M| 326 | - | 420 | 154 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
433.76/433.91 c 386s| 3700k| 3551k| 0 | 0.0 |1123M| 326 | - | 420 | 162 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
434.86/435.00 c 387s| 3710k| 3561k| 0 | 0.0 |1126M| 326 | - | 420 | 181 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
435.86/436.09 c 388s| 3720k| 3571k| 0 | 0.0 |1129M| 326 | - | 420 | 242 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
437.06/437.29 c 389s| 3730k| 3581k| 0 | 0.0 |1132M| 326 | - | 420 | 200 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
438.26/438.47 c 390s| 3740k| 3590k| 0 | 0.0 |1135M| 326 | - | 420 | 199 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
439.46/439.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
439.46/439.62 c 391s| 3750k| 3600k| 0 | 0.0 |1138M| 326 | - | 420 | 145 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
440.56/440.73 c 392s| 3760k| 3610k| 0 | 0.0 |1141M| 326 | - | 420 | 200 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
441.75/441.91 c 393s| 3770k| 3620k| 0 | 0.0 |1144M| 326 | - | 420 | 196 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
442.86/443.01 c 394s| 3780k| 3630k| 0 | 0.0 |1147M| 326 | - | 420 | 186 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
443.95/444.13 c 395s| 3790k| 3639k| 0 | 0.0 |1150M| 326 | - | 420 | 162 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
445.05/445.23 c 396s| 3800k| 3649k| 0 | 0.0 |1153M| 326 | - | 420 | 193 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
446.15/446.40 c 397s| 3810k| 3659k| 0 | 0.0 |1156M| 326 | - | 420 | 157 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
447.35/447.53 c 398s| 3820k| 3669k| 0 | 0.0 |1158M| 326 | - | 420 | 185 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
448.46/448.65 c 399s| 3830k| 3679k| 0 | 0.0 |1161M| 326 | - | 420 | 170 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
449.66/449.90 c 400s| 3840k| 3688k| 0 | 0.0 |1164M| 326 | - | 420 | 174 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
450.86/451.02 c 401s| 3850k| 3698k| 0 | 0.0 |1167M| 326 | - | 420 | 156 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
451.96/452.13 c 402s| 3860k| 3708k| 0 | 0.0 |1170M| 326 | - | 420 | 176 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
453.16/453.35 c 403s| 3870k| 3718k| 0 | 0.0 |1173M| 326 | - | 420 | 196 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
454.26/454.48 c 404s| 3880k| 3727k| 0 | 0.0 |1176M| 326 | - | 420 | 196 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
455.55/455.76 c 405s| 3890k| 3737k| 0 | 0.0 |1179M| 326 | - | 420 | 168 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
456.66/456.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
456.66/456.88 c 406s| 3900k| 3747k| 0 | 0.0 |1182M| 326 | - | 420 | 180 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
457.85/458.01 c 407s| 3910k| 3757k| 0 | 0.0 |1185M| 326 | - | 420 | 170 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
458.96/459.14 c 408s| 3920k| 3767k| 0 | 0.0 |1188M| 326 | - | 420 | 205 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
460.06/460.28 c 409s| 3930k| 3776k| 0 | 0.0 |1191M| 326 | - | 420 | 189 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
461.25/461.40 c 410s| 3940k| 3786k| 0 | 0.0 |1194M| 326 | - | 420 | 148 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
462.25/462.46 c 411s| 3950k| 3796k| 0 | 0.0 |1197M| 326 | - | 420 | 169 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
463.36/463.53 c 412s| 3960k| 3806k| 0 | 0.0 |1200M| 326 | - | 420 | 210 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
464.45/464.67 c 413s| 3970k| 3816k| 0 | 0.0 |1202M| 326 | - | 420 | 143 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
465.55/465.76 c 414s| 3980k| 3825k| 0 | 0.0 |1205M| 326 | - | 420 | 158 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
466.65/466.81 c 415s| 3990k| 3835k| 0 | 0.0 |1208M| 326 | - | 420 | 203 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
467.75/467.91 c 416s| 4000k| 3845k| 0 | 0.0 |1211M| 326 | - | 420 | 180 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
468.85/469.04 c 417s| 4010k| 3855k| 0 | 0.0 |1214M| 326 | - | 420 | 174 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
469.95/470.17 c 418s| 4020k| 3864k| 0 | 0.0 |1217M| 326 | - | 420 | 190 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
471.05/471.24 c 419s| 4030k| 3874k| 0 | 0.0 |1220M| 326 | - | 420 | 217 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
472.15/472.31 c 420s| 4040k| 3884k| 0 | 0.0 |1223M| 326 | - | 420 | 214 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
473.25/473.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
473.25/473.44 c 421s| 4050k| 3894k| 0 | 0.0 |1226M| 326 | - | 420 | 175 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
474.35/474.53 c 422s| 4060k| 3904k| 0 | 0.0 |1229M| 326 | - | 420 | 145 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
475.45/475.62 c 423s| 4070k| 3913k| 0 | 0.0 |1232M| 326 | - | 420 | 213 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
476.55/476.78 c 424s| 4080k| 3923k| 0 | 0.0 |1235M| 326 | - | 420 | 155 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
477.75/477.94 c 425s| 4090k| 3933k| 0 | 0.0 |1238M| 326 | - | 420 | 178 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
478.85/479.07 c 426s| 4100k| 3943k| 0 | 0.0 |1241M| 326 | - | 420 | 172 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
480.15/480.31 c 427s| 4110k| 3952k| 0 | 0.0 |1244M| 326 | - | 420 | 172 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
481.25/481.46 c 428s| 4120k| 3962k| 0 | 0.0 |1247M| 326 | - | 420 | 178 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
482.45/482.61 c 429s| 4130k| 3972k| 0 | 0.0 |1249M| 326 | - | 420 | 161 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
483.45/483.69 c 430s| 4140k| 3982k| 0 | 0.0 |1252M| 326 | - | 420 | 226 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
484.64/484.82 c 431s| 4150k| 3992k| 0 | 0.0 |1255M| 326 | - | 420 | 163 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
485.75/485.93 c 432s| 4160k| 4001k| 0 | 0.0 |1258M| 326 | - | 420 | 166 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
486.84/487.08 c 433s| 4170k| 4011k| 0 | 0.0 |1261M| 326 | - | 420 | 209 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
488.05/488.27 c 434s| 4180k| 4021k| 0 | 0.0 |1264M| 326 | - | 420 | 149 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
489.25/489.40 c 435s| 4190k| 4031k| 0 | 0.0 |1267M| 326 | - | 420 | 155 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
490.35/490.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
490.35/490.51 c 436s| 4200k| 4040k| 0 | 0.0 |1270M| 326 | - | 420 | 166 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
491.55/491.78 c 437s| 4210k| 4050k| 0 | 0.0 |1273M| 326 | - | 420 | 163 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
492.75/492.96 c 439s| 4220k| 4060k| 0 | 0.0 |1276M| 326 | - | 420 | 188 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
493.95/494.13 c 440s| 4230k| 4070k| 0 | 0.0 |1279M| 326 | - | 420 | 202 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
495.04/495.21 c 441s| 4240k| 4080k| 0 | 0.0 |1282M| 326 | - | 420 | 209 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
496.15/496.34 c 442s| 4250k| 4089k| 0 | 0.0 |1285M| 326 | - | 420 | 153 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
497.24/497.48 c 443s| 4260k| 4099k| 0 | 0.0 |1288M| 326 | - | 420 | 190 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
498.44/498.64 c 444s| 4270k| 4109k| 0 | 0.0 |1290M| 326 | - | 420 | 165 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
499.64/499.82 c 445s| 4280k| 4119k| 0 | 0.0 |1293M| 326 | - | 420 | 157 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
500.84/501.02 c 446s| 4290k| 4129k| 0 | 0.0 |1296M| 326 | - | 420 | 139 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
501.94/502.19 c 447s| 4300k| 4138k| 0 | 0.0 |1299M| 326 | - | 420 | 184 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
503.14/503.38 c 448s| 4310k| 4148k| 0 | 0.0 |1302M| 326 | - | 420 | 188 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
504.34/504.58 c 449s| 4320k| 4158k| 0 | 0.0 |1305M| 326 | - | 420 | 193 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
505.64/505.88 c 450s| 4330k| 4168k| 0 | 0.0 |1308M| 326 | - | 420 | 211 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
506.74/506.98 c 451s| 4340k| 4177k| 0 | 0.0 |1311M| 326 | - | 420 | 229 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
507.83/508.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
507.83/508.08 c 452s| 4350k| 4187k| 0 | 0.0 |1314M| 326 | - | 420 | 175 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
509.04/509.30 c 453s| 4360k| 4197k| 0 | 0.0 |1317M| 326 | - | 420 | 185 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
510.33/510.51 c 454s| 4370k| 4207k| 0 | 0.0 |1320M| 326 | - | 420 | 192 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
511.43/511.61 c 455s| 4380k| 4216k| 0 | 0.0 |1323M| 326 | - | 420 | 246 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
512.53/512.76 c 456s| 4390k| 4226k| 0 | 0.0 |1326M| 326 | - | 420 | 212 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
513.64/513.89 c 457s| 4400k| 4236k| 0 | 0.0 |1329M| 326 | - | 420 | 197 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
514.83/515.00 c 458s| 4410k| 4246k| 0 | 0.0 |1332M| 326 | - | 420 | 164 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
516.04/516.25 c 459s| 4420k| 4256k| 0 | 0.0 |1335M| 326 | - | 420 | 191 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
517.14/517.36 c 460s| 4430k| 4265k| 0 | 0.0 |1338M| 326 | - | 420 | 186 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
518.33/518.59 c 462s| 4440k| 4275k| 0 | 0.0 |1341M| 326 | - | 420 | 224 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
519.43/519.68 c 462s| 4450k| 4285k| 0 | 0.0 |1343M| 326 | - | 420 | 204 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
520.64/520.86 c 464s| 4460k| 4295k| 0 | 0.0 |1346M| 326 | - | 420 | 190 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
521.84/522.05 c 465s| 4470k| 4304k| 0 | 0.0 |1349M| 326 | - | 420 | 215 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
522.93/523.13 c 466s| 4480k| 4314k| 0 | 0.0 |1352M| 326 | - | 420 | 203 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
524.14/524.38 c 467s| 4490k| 4324k| 0 | 0.0 |1355M| 326 | - | 420 | 173 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
525.23/525.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
525.23/525.49 c 468s| 4500k| 4334k| 0 | 0.0 |1358M| 326 | - | 420 | 184 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
525.43/525.60 c (node 4501118) switching to memory saving mode (mem: 1296.0M/1620.0M)
532.14/532.36 c 474s| 4510k| 4334k| 0 | 0.0 |1358M| 336 | - | 420 | 338 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
538.92/539.14 c 481s| 4520k| 4334k| 0 | 0.0 |1358M| 336 | - | 420 | 350 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
545.13/545.39 c 486s| 4530k| 4333k| 0 | 0.0 |1357M| 336 | - | 420 | 371 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
551.62/551.81 c 492s| 4540k| 4333k| 0 | 0.0 |1357M| 336 | - | 420 | 404 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
558.02/558.28 c 499s| 4550k| 4333k| 0 | 0.0 |1357M| 336 | - | 420 | 393 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
564.31/564.57 c 504s| 4560k| 4332k| 0 | 0.0 |1357M| 337 | - | 420 | 415 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
570.72/570.95 c 510s| 4570k| 4332k| 0 | 0.0 |1357M| 337 | - | 420 | 394 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
577.12/577.30 c 516s| 4580k| 4332k| 0 | 0.0 |1357M| 337 | - | 420 | 428 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
583.51/583.71 c 522s| 4590k| 4332k| 0 | 0.0 |1357M| 337 | - | 420 | 442 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
589.91/590.15 c 529s| 4600k| 4332k| 0 | 0.0 |1357M| 337 | - | 420 | 423 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
596.41/596.63 c 535s| 4610k| 4332k| 0 | 0.0 |1357M| 337 | - | 420 | 439 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
602.80/603.07 c 541s| 4620k| 4331k| 0 | 0.0 |1356M| 337 | - | 420 | 440 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
608.80/609.06 c 546s| 4630k| 4331k| 0 | 0.0 |1356M| 337 | - | 420 | 464 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
615.30/615.52 c 552s| 4640k| 4331k| 0 | 0.0 |1356M| 337 | - | 420 | 427 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | -- | Inf
621.31/621.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
621.31/621.58 c 558s| 4650k| 4331k| 0 | 0.0 |1356M| 337 | - | 420 | 477 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | -- | Inf
627.29/627.53 c 564s| 4660k| 4331k| 0 | 0.0 |1356M| 337 | - | 420 | 449 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | -- | Inf
633.30/633.51 c 569s| 4670k| 4331k| 0 | 0.0 |1356M| 339 | - | 420 | 422 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | -- | Inf
639.79/640.04 c 576s| 4680k| 4331k| 0 | 0.0 |1356M| 339 | - | 420 | 450 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | -- | Inf
646.39/646.66 c 582s| 4690k| 4331k| 0 | 0.0 |1356M| 339 | - | 420 | 441 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | -- | Inf
652.89/653.10 c 588s| 4700k| 4331k| 0 | 0.0 |1356M| 339 | - | 420 | 421 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | -- | Inf
659.29/659.53 c 594s| 4710k| 4331k| 0 | 0.0 |1356M| 339 | - | 420 | 440 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | -- | Inf
665.38/665.69 c 600s| 4720k| 4330k| 0 | 0.0 |1356M| 339 | - | 420 | 459 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | -- | Inf
672.08/672.31 c 606s| 4730k| 4330k| 0 | 0.0 |1356M| 339 | - | 420 | 465 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | -- | Inf
678.18/678.49 c 612s| 4740k| 4330k| 0 | 0.0 |1356M| 339 | - | 420 | 496 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | -- | Inf
684.28/684.57 c 617s| 4750k| 4330k| 0 | 0.0 |1356M| 339 | - | 420 | 493 | 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | -- | Inf
690.77/691.01 c 624s| 4760k| 4330k| 0 | 0.0 |1356M| 339 | - | 420 | 453 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | -- | Inf
697.38/697.61 c 630s| 4770k| 4330k| 0 | 0.0 |1356M| 339 | - | 420 | 462 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | -- | Inf
703.78/704.05 c 636s| 4780k| 4330k| 0 | 0.0 |1356M| 339 | - | 420 | 420 | 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | -- | Inf
709.97/710.26 c 642s| 4790k| 4330k| 0 | 0.0 |1356M| 339 | - | 420 | 489 | 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | -- | Inf
716.27/716.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
716.27/716.58 c 648s| 4800k| 4330k| 0 | 0.0 |1356M| 339 | - | 420 | 516 | 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | -- | Inf
722.77/723.03 c 654s| 4810k| 4330k| 0 | 0.0 |1355M| 339 | - | 420 | 472 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | -- | Inf
729.07/729.33 c 660s| 4820k| 4329k| 0 | 0.0 |1355M| 339 | - | 420 | 463 | 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | -- | Inf
735.56/735.89 c 666s| 4830k| 4329k| 0 | 0.0 |1355M| 339 | - | 420 | 509 | 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | -- | Inf
742.27/742.54 c 672s| 4840k| 4329k| 0 | 0.0 |1355M| 339 | - | 420 | 531 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | -- | Inf
748.56/748.84 c 678s| 4850k| 4329k| 0 | 0.0 |1355M| 339 | - | 420 | 476 | 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | -- | Inf
755.06/755.36 c 684s| 4860k| 4329k| 0 | 0.0 |1355M| 339 | - | 420 | 456 | 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | -- | Inf
761.36/761.68 c 690s| 4870k| 4329k| 0 | 0.0 |1355M| 339 | - | 420 | 471 | 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | -- | Inf
766.66/766.92 c 695s| 4880k| 4329k| 0 | 0.0 |1355M| 339 | - | 420 | 513 | 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | -- | Inf
772.55/772.83 c 701s| 4890k| 4329k| 0 | 0.0 |1355M| 339 | - | 420 | 539 | 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | -- | Inf
779.05/779.30 c 707s| 4900k| 4329k| 0 | 0.0 |1355M| 339 | - | 420 | 491 | 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | -- | Inf
785.35/785.69 c 713s| 4910k| 4329k| 0 | 0.0 |1355M| 339 | - | 420 | 557 | 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | -- | Inf
791.65/791.99 c 719s| 4920k| 4329k| 0 | 0.0 |1355M| 339 | - | 420 | 533 | 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | -- | Inf
798.25/798.54 c 725s| 4930k| 4329k| 0 | 0.0 |1355M| 339 | - | 420 | 485 | 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | -- | Inf
804.54/804.89 c 731s| 4940k| 4329k| 0 | 0.0 |1355M| 339 | - | 420 | 460 | 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | -- | Inf
811.04/811.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
811.04/811.36 c 737s| 4950k| 4329k| 0 | 0.0 |1355M| 339 | - | 420 | 472 | 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | -- | Inf
817.14/817.46 c 743s| 4960k| 4329k| 0 | 0.0 |1355M| 339 | - | 420 | 450 | 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | -- | Inf
824.03/824.32 c 749s| 4970k| 4329k| 0 | 0.0 |1355M| 339 | - | 420 | 486 | 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | -- | Inf
830.64/830.90 c 755s| 4980k| 4329k| 0 | 0.0 |1355M| 339 | - | 420 | 443 | 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | -- | Inf
837.04/837.32 c 761s| 4990k| 4328k| 0 | 0.0 |1355M| 339 | - | 420 | 465 | 0 | 0 | 0 | 478k| 0 | 0.000000e+00 | -- | Inf
842.84/843.14 c 767s| 5000k| 4328k| 0 | 0.0 |1355M| 339 | - | 420 | 494 | 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | -- | Inf
848.73/849.10 c 772s| 5010k| 4328k| 0 | 0.0 |1355M| 339 | - | 420 | 481 | 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | -- | Inf
855.02/855.34 c 778s| 5020k| 4328k| 0 | 0.0 |1355M| 339 | - | 420 | 441 | 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | -- | Inf
861.52/861.85 c 784s| 5030k| 4328k| 0 | 0.0 |1355M| 339 | - | 420 | 431 | 0 | 0 | 0 | 504k| 0 | 0.000000e+00 | -- | Inf
867.73/868.01 c 790s| 5040k| 4328k| 0 | 0.0 |1355M| 339 | - | 420 | 496 | 0 | 0 | 0 | 510k| 0 | 0.000000e+00 | -- | Inf
873.52/873.87 c 796s| 5050k| 4328k| 0 | 0.0 |1355M| 339 | - | 420 | 561 | 0 | 0 | 0 | 517k| 0 | 0.000000e+00 | -- | Inf
879.82/880.19 c 802s| 5060k| 4328k| 0 | 0.0 |1355M| 339 | - | 420 | 564 | 0 | 0 | 0 | 523k| 0 | 0.000000e+00 | -- | Inf
885.72/886.02 c 807s| 5070k| 4328k| 0 | 0.0 |1355M| 339 | - | 420 | 531 | 0 | 0 | 0 | 529k| 0 | 0.000000e+00 | -- | Inf
891.83/892.15 c 813s| 5080k| 4328k| 0 | 0.0 |1355M| 339 | - | 420 | 479 | 0 | 0 | 0 | 536k| 0 | 0.000000e+00 | -- | Inf
898.52/898.86 c 819s| 5090k| 4328k| 0 | 0.0 |1355M| 339 | - | 420 | 504 | 0 | 0 | 0 | 542k| 0 | 0.000000e+00 | -- | Inf
904.61/904.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
904.61/904.92 c 825s| 5100k| 4328k| 0 | 0.0 |1355M| 339 | - | 420 | 513 | 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | -- | Inf
912.11/912.41 c 832s| 5110k| 4328k| 0 | 0.0 |1355M| 339 | - | 420 | 522 | 0 | 0 | 0 | 555k| 0 | 0.000000e+00 | -- | Inf
918.71/919.09 c 838s| 5120k| 4328k| 0 | 0.0 |1355M| 339 | - | 420 | 477 | 0 | 0 | 0 | 561k| 0 | 0.000000e+00 | -- | Inf
925.61/925.93 c 845s| 5130k| 4328k| 0 | 0.0 |1354M| 339 | - | 420 | 442 | 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | -- | Inf
932.51/932.89 c 851s| 5140k| 4328k| 0 | 0.0 |1354M| 339 | - | 420 | 413 | 0 | 0 | 0 | 574k| 0 | 0.000000e+00 | -- | Inf
939.30/939.70 c 858s| 5150k| 4328k| 0 | 0.0 |1354M| 339 | - | 420 | 443 | 0 | 0 | 0 | 581k| 0 | 0.000000e+00 | -- | Inf
945.90/946.25 c 864s| 5160k| 4328k| 0 | 0.0 |1354M| 339 | - | 420 | 462 | 0 | 0 | 0 | 587k| 0 | 0.000000e+00 | -- | Inf
952.10/952.41 c 870s| 5170k| 4328k| 0 | 0.0 |1354M| 339 | - | 420 | 464 | 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | -- | Inf
958.80/959.12 c 876s| 5180k| 4328k| 0 | 0.0 |1354M| 339 | - | 420 | 480 | 0 | 0 | 0 | 600k| 0 | 0.000000e+00 | -- | Inf
965.10/965.48 c 882s| 5190k| 4328k| 0 | 0.0 |1354M| 339 | - | 420 | 512 | 0 | 0 | 0 | 606k| 0 | 0.000000e+00 | -- | Inf
971.00/971.34 c 887s| 5200k| 4327k| 0 | 0.0 |1354M| 339 | - | 420 | 550 | 0 | 0 | 0 | 613k| 0 | 0.000000e+00 | -- | Inf
977.09/977.47 c 893s| 5210k| 4327k| 0 | 0.0 |1354M| 339 | - | 420 | 479 | 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | -- | Inf
983.59/983.93 c 899s| 5220k| 4327k| 0 | 0.0 |1354M| 339 | - | 420 | 440 | 0 | 0 | 0 | 626k| 0 | 0.000000e+00 | -- | Inf
989.89/990.27 c 905s| 5230k| 4327k| 0 | 0.0 |1354M| 339 | - | 420 | 465 | 0 | 0 | 0 | 632k| 0 | 0.000000e+00 | -- | Inf
995.88/996.23 c 911s| 5240k| 4327k| 0 | 0.0 |1354M| 339 | - | 420 | 493 | 0 | 0 | 0 | 638k| 0 | 0.000000e+00 | -- | Inf
1001.69/1002.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1001.69/1002.09 c 916s| 5250k| 4327k| 0 | 0.0 |1354M| 339 | - | 420 | 493 | 0 | 0 | 0 | 645k| 0 | 0.000000e+00 | -- | Inf
1008.18/1008.51 c 922s| 5260k| 4327k| 0 | 0.0 |1354M| 339 | - | 420 | 536 | 0 | 0 | 0 | 651k| 0 | 0.000000e+00 | -- | Inf
1014.18/1014.58 c 928s| 5270k| 4327k| 0 | 0.0 |1354M| 339 | - | 420 | 522 | 0 | 0 | 0 | 658k| 0 | 0.000000e+00 | -- | Inf
1020.78/1021.19 c 934s| 5280k| 4327k| 0 | 0.0 |1354M| 339 | - | 420 | 483 | 0 | 0 | 0 | 664k| 0 | 0.000000e+00 | -- | Inf
1026.97/1027.37 c 940s| 5290k| 4327k| 0 | 0.0 |1354M| 339 | - | 420 | 491 | 0 | 0 | 0 | 670k| 0 | 0.000000e+00 | -- | Inf
1033.76/1034.11 c 947s| 5300k| 4327k| 0 | 0.0 |1354M| 339 | - | 420 | 481 | 0 | 0 | 0 | 677k| 0 | 0.000000e+00 | -- | Inf
1040.36/1040.72 c 953s| 5310k| 4327k| 0 | 0.0 |1354M| 339 | - | 420 | 477 | 0 | 0 | 0 | 683k| 0 | 0.000000e+00 | -- | Inf
1046.65/1047.06 c 959s| 5320k| 4327k| 0 | 0.0 |1354M| 339 | - | 420 | 466 | 0 | 0 | 0 | 690k| 0 | 0.000000e+00 | -- | Inf
1052.95/1053.34 c 965s| 5330k| 4327k| 0 | 0.0 |1354M| 339 | - | 420 | 488 | 0 | 0 | 0 | 696k| 0 | 0.000000e+00 | -- | Inf
1059.55/1059.96 c 971s| 5340k| 4327k| 0 | 0.0 |1354M| 339 | - | 420 | 495 | 0 | 0 | 0 | 702k| 0 | 0.000000e+00 | -- | Inf
1066.15/1066.58 c 977s| 5350k| 4327k| 0 | 0.0 |1354M| 339 | - | 420 | 471 | 0 | 0 | 0 | 709k| 0 | 0.000000e+00 | -- | Inf
1072.85/1073.21 c 983s| 5360k| 4327k| 0 | 0.0 |1354M| 339 | - | 420 | 442 | 0 | 0 | 0 | 715k| 0 | 0.000000e+00 | -- | Inf
1078.95/1079.30 c 989s| 5370k| 4327k| 0 | 0.0 |1354M| 339 | - | 420 | 455 | 0 | 0 | 0 | 721k| 0 | 0.000000e+00 | -- | Inf
1084.95/1085.31 c 995s| 5380k| 4327k| 0 | 0.0 |1354M| 339 | - | 420 | 491 | 0 | 0 | 0 | 728k| 0 | 0.000000e+00 | -- | Inf
1091.05/1091.46 c 1001s| 5390k| 4327k| 0 | 0.0 |1354M| 339 | - | 420 | 487 | 0 | 0 | 0 | 734k| 0 | 0.000000e+00 | -- | Inf
1097.14/1097.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1097.14/1097.55 c 1006s| 5400k| 4327k| 0 | 0.0 |1354M| 339 | - | 420 | 512 | 0 | 0 | 0 | 741k| 0 | 0.000000e+00 | -- | Inf
1103.04/1103.47 c 1012s| 5410k| 4327k| 0 | 0.0 |1354M| 339 | - | 420 | 510 | 0 | 0 | 0 | 747k| 0 | 0.000000e+00 | -- | Inf
1109.44/1109.88 c 1018s| 5420k| 4327k| 0 | 0.0 |1354M| 339 | - | 420 | 535 | 0 | 0 | 0 | 753k| 0 | 0.000000e+00 | -- | Inf
1115.84/1116.27 c 1024s| 5430k| 4327k| 0 | 0.0 |1354M| 339 | - | 420 | 494 | 0 | 0 | 0 | 760k| 0 | 0.000000e+00 | -- | Inf
1122.33/1122.70 c 1030s| 5440k| 4327k| 0 | 0.0 |1354M| 339 | - | 420 | 522 | 0 | 0 | 0 | 766k| 0 | 0.000000e+00 | -- | Inf
1128.33/1128.76 c 1036s| 5450k| 4326k| 0 | 0.0 |1354M| 339 | - | 420 | 524 | 0 | 0 | 0 | 773k| 0 | 0.000000e+00 | -- | Inf
1135.33/1135.71 c 1042s| 5460k| 4326k| 0 | 0.0 |1354M| 339 | - | 420 | 519 | 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | -- | Inf
1141.73/1142.14 c 1048s| 5470k| 4326k| 0 | 0.0 |1354M| 339 | - | 420 | 544 | 0 | 0 | 0 | 786k| 0 | 0.000000e+00 | -- | Inf
1148.13/1148.55 c 1054s| 5480k| 4326k| 0 | 0.0 |1354M| 339 | - | 420 | 512 | 0 | 0 | 0 | 792k| 0 | 0.000000e+00 | -- | Inf
1154.53/1154.90 c 1060s| 5490k| 4326k| 0 | 0.0 |1354M| 339 | - | 420 | 545 | 0 | 0 | 0 | 799k| 0 | 0.000000e+00 | -- | Inf
1160.53/1160.95 c 1066s| 5500k| 4326k| 0 | 0.0 |1354M| 339 | - | 420 | 524 | 0 | 0 | 0 | 805k| 0 | 0.000000e+00 | -- | Inf
1166.63/1167.07 c 1072s| 5510k| 4326k| 0 | 0.0 |1354M| 339 | - | 420 | 562 | 0 | 0 | 0 | 811k| 0 | 0.000000e+00 | -- | Inf
1172.63/1173.01 c 1077s| 5520k| 4326k| 0 | 0.0 |1354M| 339 | - | 420 | 691 | 0 | 0 | 0 | 818k| 0 | 0.000000e+00 | -- | Inf
1178.92/1179.32 c 1083s| 5530k| 4326k| 0 | 0.0 |1354M| 339 | - | 420 | 739 | 0 | 0 | 0 | 824k| 0 | 0.000000e+00 | -- | Inf
1185.72/1186.10 c 1090s| 5540k| 4326k| 0 | 0.0 |1354M| 339 | - | 420 | 511 | 0 | 0 | 0 | 831k| 0 | 0.000000e+00 | -- | Inf
1192.12/1192.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1192.12/1192.51 c 1096s| 5550k| 4326k| 0 | 0.0 |1354M| 339 | - | 420 | 477 | 0 | 0 | 0 | 837k| 0 | 0.000000e+00 | -- | Inf
1198.31/1198.75 c 1102s| 5560k| 4326k| 0 | 0.0 |1354M| 339 | - | 420 | 524 | 0 | 0 | 0 | 844k| 0 | 0.000000e+00 | -- | Inf
1205.41/1205.84 c 1108s| 5570k| 4326k| 0 | 0.0 |1354M| 339 | - | 420 | 494 | 0 | 0 | 0 | 850k| 0 | 0.000000e+00 | -- | Inf
1212.01/1212.47 c 1115s| 5580k| 4326k| 0 | 0.0 |1354M| 339 | - | 420 | 522 | 0 | 0 | 0 | 856k| 0 | 0.000000e+00 | -- | Inf
1218.51/1218.94 c 1121s| 5590k| 4326k| 0 | 0.0 |1354M| 339 | - | 420 | 468 | 0 | 0 | 0 | 863k| 0 | 0.000000e+00 | -- | Inf
1224.90/1225.39 c 1127s| 5600k| 4326k| 0 | 0.0 |1354M| 339 | - | 420 | 493 | 0 | 0 | 0 | 869k| 0 | 0.000000e+00 | -- | Inf
1231.90/1232.31 c 1133s| 5610k| 4326k| 0 | 0.0 |1354M| 339 | - | 420 | 531 | 0 | 0 | 0 | 875k| 0 | 0.000000e+00 | -- | Inf
1239.00/1239.49 c 1140s| 5620k| 4326k| 0 | 0.0 |1354M| 339 | - | 420 | 499 | 0 | 0 | 0 | 882k| 0 | 0.000000e+00 | -- | Inf
1245.29/1245.75 c 1146s| 5630k| 4326k| 0 | 0.0 |1354M| 339 | - | 420 | 495 | 0 | 0 | 0 | 888k| 0 | 0.000000e+00 | -- | Inf
1251.50/1251.97 c 1152s| 5640k| 4326k| 0 | 0.0 |1354M| 339 | - | 420 | 475 | 0 | 0 | 0 | 894k| 0 | 0.000000e+00 | -- | Inf
1257.69/1258.15 c 1158s| 5650k| 4326k| 0 | 0.0 |1354M| 339 | - | 420 | 509 | 0 | 0 | 0 | 901k| 0 | 0.000000e+00 | -- | Inf
1263.79/1264.21 c 1164s| 5660k| 4326k| 0 | 0.0 |1354M| 339 | - | 420 | 501 | 0 | 0 | 0 | 907k| 0 | 0.000000e+00 | -- | Inf
1270.10/1270.57 c 1170s| 5670k| 4326k| 0 | 0.0 |1354M| 339 | - | 420 | 499 | 0 | 0 | 0 | 914k| 0 | 0.000000e+00 | -- | Inf
1276.29/1276.74 c 1175s| 5680k| 4326k| 0 | 0.0 |1354M| 339 | - | 420 | 515 | 0 | 0 | 0 | 920k| 0 | 0.000000e+00 | -- | Inf
1282.48/1282.98 c 1181s| 5690k| 4326k| 0 | 0.0 |1354M| 339 | - | 420 | 562 | 0 | 0 | 0 | 927k| 0 | 0.000000e+00 | -- | Inf
1288.59/1289.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1288.59/1289.04 c 1187s| 5700k| 4326k| 0 | 0.0 |1353M| 339 | - | 420 | 532 | 0 | 0 | 0 | 933k| 0 | 0.000000e+00 | -- | Inf
1294.68/1295.18 c 1193s| 5710k| 4326k| 0 | 0.0 |1353M| 339 | - | 420 | 518 | 0 | 0 | 0 | 939k| 0 | 0.000000e+00 | -- | Inf
1301.08/1301.60 c 1199s| 5720k| 4326k| 0 | 0.0 |1353M| 339 | - | 420 | 480 | 0 | 0 | 0 | 946k| 0 | 0.000000e+00 | -- | Inf
1307.38/1307.87 c 1205s| 5730k| 4326k| 0 | 0.0 |1353M| 339 | - | 420 | 481 | 0 | 0 | 0 | 952k| 0 | 0.000000e+00 | -- | Inf
1313.58/1314.06 c 1211s| 5740k| 4326k| 0 | 0.0 |1353M| 339 | - | 420 | 487 | 0 | 0 | 0 | 959k| 0 | 0.000000e+00 | -- | Inf
1319.88/1320.38 c 1216s| 5750k| 4326k| 0 | 0.0 |1353M| 339 | - | 420 | 494 | 0 | 0 | 0 | 965k| 0 | 0.000000e+00 | -- | Inf
1326.08/1326.58 c 1222s| 5760k| 4326k| 0 | 0.0 |1353M| 339 | - | 420 | 487 | 0 | 0 | 0 | 971k| 0 | 0.000000e+00 | -- | Inf
1332.47/1332.98 c 1228s| 5770k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 463 | 0 | 0 | 0 | 978k| 0 | 0.000000e+00 | -- | Inf
1338.87/1339.30 c 1234s| 5780k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 457 | 0 | 0 | 0 | 984k| 0 | 0.000000e+00 | -- | Inf
1345.17/1345.64 c 1240s| 5790k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 478 | 0 | 0 | 0 | 991k| 0 | 0.000000e+00 | -- | Inf
1351.17/1351.64 c 1246s| 5800k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 455 | 0 | 0 | 0 | 997k| 0 | 0.000000e+00 | -- | Inf
1357.26/1357.78 c 1252s| 5810k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 515 | 0 | 0 | 0 |1004k| 0 | 0.000000e+00 | -- | Inf
1363.57/1364.04 c 1258s| 5820k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 493 | 0 | 0 | 0 |1010k| 0 | 0.000000e+00 | -- | Inf
1369.86/1370.36 c 1263s| 5830k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 538 | 0 | 0 | 0 |1016k| 0 | 0.000000e+00 | -- | Inf
1376.36/1376.80 c 1270s| 5840k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 513 | 0 | 0 | 0 |1023k| 0 | 0.000000e+00 | -- | Inf
1382.66/1383.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1382.66/1383.11 c 1275s| 5850k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 536 | 0 | 0 | 0 |1029k| 0 | 0.000000e+00 | -- | Inf
1389.26/1389.77 c 1282s| 5860k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 493 | 0 | 0 | 0 |1035k| 0 | 0.000000e+00 | -- | Inf
1395.95/1396.46 c 1288s| 5870k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 516 | 0 | 0 | 0 |1042k| 0 | 0.000000e+00 | -- | Inf
1401.95/1402.47 c 1294s| 5880k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 505 | 0 | 0 | 0 |1048k| 0 | 0.000000e+00 | -- | Inf
1408.25/1408.72 c 1300s| 5890k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 478 | 0 | 0 | 0 |1054k| 0 | 0.000000e+00 | -- | Inf
1414.95/1415.44 c 1306s| 5900k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 489 | 0 | 0 | 0 |1061k| 0 | 0.000000e+00 | -- | Inf
1422.15/1422.65 c 1313s| 5910k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 501 | 0 | 0 | 0 |1067k| 0 | 0.000000e+00 | -- | Inf
1428.84/1429.33 c 1319s| 5920k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 524 | 0 | 0 | 0 |1074k| 0 | 0.000000e+00 | -- | Inf
1435.84/1436.34 c 1326s| 5930k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 522 | 0 | 0 | 0 |1080k| 0 | 0.000000e+00 | -- | Inf
1442.24/1442.76 c 1332s| 5940k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 502 | 0 | 0 | 0 |1087k| 0 | 0.000000e+00 | -- | Inf
1449.24/1449.76 c 1338s| 5950k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 461 | 0 | 0 | 0 |1093k| 0 | 0.000000e+00 | -- | Inf
1455.44/1455.93 c 1344s| 5960k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 467 | 0 | 0 | 0 |1099k| 0 | 0.000000e+00 | -- | Inf
1461.73/1462.28 c 1350s| 5970k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 492 | 0 | 0 | 0 |1106k| 0 | 0.000000e+00 | -- | Inf
1467.84/1468.33 c 1356s| 5980k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 502 | 0 | 0 | 0 |1112k| 0 | 0.000000e+00 | -- | Inf
1474.63/1475.16 c 1362s| 5990k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 507 | 0 | 0 | 0 |1118k| 0 | 0.000000e+00 | -- | Inf
1481.42/1481.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1481.42/1481.91 c 1369s| 6000k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 531 | 0 | 0 | 0 |1125k| 0 | 0.000000e+00 | -- | Inf
1487.92/1488.47 c 1375s| 6010k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 551 | 0 | 0 | 0 |1131k| 0 | 0.000000e+00 | -- | Inf
1494.33/1494.81 c 1381s| 6020k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 551 | 0 | 0 | 0 |1138k| 0 | 0.000000e+00 | -- | Inf
1500.63/1501.13 c 1387s| 6030k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 544 | 0 | 0 | 0 |1144k| 0 | 0.000000e+00 | -- | Inf
1506.42/1506.94 c 1392s| 6040k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 530 | 0 | 0 | 0 |1150k| 0 | 0.000000e+00 | -- | Inf
1512.72/1513.25 c 1398s| 6050k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 522 | 0 | 0 | 0 |1157k| 0 | 0.000000e+00 | -- | Inf
1519.02/1519.53 c 1404s| 6060k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 559 | 0 | 0 | 0 |1163k| 0 | 0.000000e+00 | -- | Inf
1525.52/1526.01 c 1410s| 6070k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 511 | 0 | 0 | 0 |1170k| 0 | 0.000000e+00 | -- | Inf
1532.21/1532.72 c 1416s| 6080k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 530 | 0 | 0 | 0 |1176k| 0 | 0.000000e+00 | -- | Inf
1538.71/1539.22 c 1423s| 6090k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 580 | 0 | 0 | 0 |1183k| 0 | 0.000000e+00 | -- | Inf
1545.11/1545.69 c 1429s| 6100k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 529 | 0 | 0 | 0 |1189k| 0 | 0.000000e+00 | -- | Inf
1551.51/1552.10 c 1435s| 6110k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 610 | 0 | 0 | 0 |1196k| 0 | 0.000000e+00 | -- | Inf
1558.11/1558.60 c 1441s| 6120k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 645 | 0 | 0 | 0 |1202k| 0 | 0.000000e+00 | -- | Inf
1565.00/1565.50 c 1447s| 6130k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 561 | 0 | 0 | 0 |1209k| 0 | 0.000000e+00 | -- | Inf
1571.90/1572.44 c 1454s| 6140k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 549 | 0 | 0 | 0 |1215k| 0 | 0.000000e+00 | -- | Inf
1579.40/1579.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1579.40/1579.93 c 1461s| 6150k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 552 | 0 | 0 | 0 |1222k| 0 | 0.000000e+00 | -- | Inf
1585.50/1586.08 c 1467s| 6160k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 541 | 0 | 0 | 0 |1228k| 0 | 0.000000e+00 | -- | Inf
1591.99/1592.58 c 1473s| 6170k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 532 | 0 | 0 | 0 |1234k| 0 | 0.000000e+00 | -- | Inf
1598.30/1598.85 c 1479s| 6180k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 580 | 0 | 0 | 0 |1241k| 0 | 0.000000e+00 | -- | Inf
1604.29/1604.85 c 1484s| 6190k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 631 | 0 | 0 | 0 |1247k| 0 | 0.000000e+00 | -- | Inf
1610.29/1610.87 c 1490s| 6200k| 4325k| 0 | 0.0 |1353M| 339 | - | 420 | 625 | 0 | 0 | 0 |1254k| 0 | 0.000000e+00 | -- | Inf
1616.89/1617.47 c 1496s| 6210k| 4324k| 0 | 0.0 |1353M| 339 | - | 420 | 557 | 0 | 0 | 0 |1260k| 0 | 0.000000e+00 | -- | Inf
1623.38/1623.99 c 1502s| 6220k| 4324k| 0 | 0.0 |1353M| 339 | - | 420 | 575 | 0 | 0 | 0 |1267k| 0 | 0.000000e+00 | -- | Inf
1630.08/1630.60 c 1509s| 6230k| 4324k| 0 | 0.0 |1353M| 339 | - | 420 | 531 | 0 | 0 | 0 |1273k| 0 | 0.000000e+00 | -- | Inf
1636.68/1637.27 c 1515s| 6240k| 4324k| 0 | 0.0 |1353M| 339 | - | 420 | 561 | 0 | 0 | 0 |1279k| 0 | 0.000000e+00 | -- | Inf
1643.08/1643.65 c 1521s| 6250k| 4324k| 0 | 0.0 |1353M| 339 | - | 420 | 597 | 0 | 0 | 0 |1286k| 0 | 0.000000e+00 | -- | Inf
1649.88/1650.48 c 1527s| 6260k| 4324k| 0 | 0.0 |1353M| 339 | - | 420 | 603 | 0 | 0 | 0 |1292k| 0 | 0.000000e+00 | -- | Inf
1656.57/1657.14 c 1534s| 6270k| 4324k| 0 | 0.0 |1353M| 339 | - | 420 | 589 | 0 | 0 | 0 |1299k| 0 | 0.000000e+00 | -- | Inf
1663.27/1663.83 c 1540s| 6280k| 4324k| 0 | 0.0 |1353M| 339 | - | 420 | 601 | 0 | 0 | 0 |1305k| 0 | 0.000000e+00 | -- | Inf
1669.97/1670.56 c 1546s| 6290k| 4324k| 0 | 0.0 |1353M| 339 | - | 420 | 541 | 0 | 0 | 0 |1312k| 0 | 0.000000e+00 | -- | Inf
1676.37/1676.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1676.37/1676.96 c 1552s| 6300k| 4324k| 0 | 0.0 |1353M| 339 | - | 420 | 542 | 0 | 0 | 0 |1318k| 0 | 0.000000e+00 | -- | Inf
1683.27/1683.82 c 1559s| 6310k| 4324k| 0 | 0.0 |1353M| 339 | - | 420 | 563 | 0 | 0 | 0 |1324k| 0 | 0.000000e+00 | -- | Inf
1690.17/1690.71 c 1565s| 6320k| 4324k| 0 | 0.0 |1353M| 339 | - | 420 | 579 | 0 | 0 | 0 |1330k| 0 | 0.000000e+00 | -- | Inf
1696.86/1697.43 c 1572s| 6330k| 4324k| 0 | 0.0 |1353M| 339 | - | 420 | 529 | 0 | 0 | 0 |1337k| 0 | 0.000000e+00 | -- | Inf
1703.36/1703.90 c 1578s| 6340k| 4324k| 0 | 0.0 |1353M| 339 | - | 420 | 570 | 0 | 0 | 0 |1343k| 0 | 0.000000e+00 | -- | Inf
1709.66/1710.27 c 1584s| 6350k| 4324k| 0 | 0.0 |1353M| 339 | - | 420 | 610 | 0 | 0 | 0 |1350k| 0 | 0.000000e+00 | -- | Inf
1716.66/1717.20 c 1590s| 6360k| 4324k| 0 | 0.0 |1353M| 339 | - | 420 | 597 | 0 | 0 | 0 |1356k| 0 | 0.000000e+00 | -- | Inf
1723.45/1724.08 c 1597s| 6370k| 4324k| 0 | 0.0 |1353M| 339 | - | 420 | 600 | 0 | 0 | 0 |1363k| 0 | 0.000000e+00 | -- | Inf
1729.76/1730.36 c 1603s| 6380k| 4324k| 0 | 0.0 |1353M| 339 | - | 420 | 599 | 0 | 0 | 0 |1369k| 0 | 0.000000e+00 | -- | Inf
1736.45/1737.08 c 1609s| 6390k| 4324k| 0 | 0.0 |1353M| 339 | - | 420 | 535 | 0 | 0 | 0 |1375k| 0 | 0.000000e+00 | -- | Inf
1743.05/1743.68 c 1615s| 6400k| 4324k| 0 | 0.0 |1353M| 339 | - | 420 | 538 | 0 | 0 | 0 |1382k| 0 | 0.000000e+00 | -- | Inf
1749.74/1750.32 c 1622s| 6410k| 4324k| 0 | 0.0 |1353M| 339 | - | 420 | 525 | 0 | 0 | 0 |1388k| 0 | 0.000000e+00 | -- | Inf
1756.24/1756.81 c 1628s| 6420k| 4324k| 0 | 0.0 |1353M| 339 | - | 420 | 549 | 0 | 0 | 0 |1395k| 0 | 0.000000e+00 | -- | Inf
1762.35/1762.90 c 1633s| 6430k| 4324k| 0 | 0.0 |1353M| 339 | - | 420 | 590 | 0 | 0 | 0 |1401k| 0 | 0.000000e+00 | -- | Inf
1768.44/1769.07 c 1639s| 6440k| 4324k| 0 | 0.0 |1353M| 339 | - | 420 | 577 | 0 | 0 | 0 |1407k| 0 | 0.000000e+00 | -- | Inf
1774.44/1775.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1774.44/1775.07 c 1645s| 6450k| 4324k| 0 | 0.0 |1353M| 339 | - | 420 | 592 | 0 | 0 | 0 |1414k| 0 | 0.000000e+00 | -- | Inf
1781.04/1781.63 c 1651s| 6460k| 4324k| 0 | 0.0 |1353M| 339 | - | 420 | 594 | 0 | 0 | 0 |1420k| 0 | 0.000000e+00 | -- | Inf
1787.44/1788.03 c 1657s| 6470k| 4324k| 0 | 0.0 |1353M| 339 | - | 420 | 590 | 0 | 0 | 0 |1426k| 0 | 0.000000e+00 | -- | Inf
1794.43/1795.08 c 1664s| 6480k| 4324k| 0 | 0.0 |1353M| 339 | - | 420 | 599 | 0 | 0 | 0 |1433k| 0 | 0.000000e+00 | -- | Inf
1800.04/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.61 c
1800.04/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.61 c Solving Time (sec) : 1669.02
1800.04/1800.61 c Solving Nodes : 6488273
1800.04/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.61 c Dual Bound : +0.00000000000000e+00
1800.04/1800.61 c Gap : infinite
1800.04/1800.61 s UNKNOWN
1800.04/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.61 c Solving Time : 1669.02
1800.04/1800.61 c Original Problem :
1800.04/1800.61 c Problem name : HOME/instance-2664741-1276580634.opb
1800.04/1800.61 c Variables : 420 (420 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.61 c Constraints : 41 initial, 41 maximal
1800.04/1800.61 c Presolved Problem :
1800.04/1800.61 c Problem name : t_HOME/instance-2664741-1276580634.opb
1800.04/1800.61 c Variables : 420 (420 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.61 c Constraints : 41 initial, 2051 maximal
1800.04/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c root node : - 0 - - 0 - - - -
1800.04/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.61 c setppc : 20 0 16385086 0 5825879 820530 27683597 0 0 0
1800.04/1800.61 c logicor : 21+ 0 9791156 0 5825879 526909 11068849 0 0 0
1800.04/1800.61 c countsols : 0 0 0 0 5825879 0 0 0 0 0
1800.04/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.61 c setppc : 662.78 0.00 615.46 0.00 47.32
1800.04/1800.61 c logicor : 474.19 0.00 431.61 0.00 42.58
1800.04/1800.61 c countsols : 2.40 0.00 0.00 0.00 2.40
1800.04/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.61 c vbounds : 7.88 1 0 0
1800.04/1800.61 c rootredcost : 7.93 0 0 0
1800.04/1800.61 c pseudoobj : 6.91 0 0 0
1800.04/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.61 c propagation : 916.95 1347434 1347433 11425682 174.6 31202 114.8 -
1800.04/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.61 c applied globally : - - - 204922 36.2 - - -
1800.04/1800.61 c applied locally : - - - 1233419 112.9 - - -
1800.04/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.61 c redcost : 0.00 0 0 0 0 0
1800.04/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.61 c intobj : 0.00 0 0 0 0 0
1800.04/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.61 c gomory : 0.00 0 0 0 0 0
1800.04/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.61 c cmir : 0.00 0 0 0 0 0
1800.04/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.61 c clique : 0.00 0 0 0 0 0
1800.04/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.61 c mcf : 0.00 0 0 0 0 0
1800.04/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.61 c Pricers : Time Calls Vars
1800.04/1800.61 c problem variables: 0.00 0 0
1800.04/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.61 c inference : 168.81 5825879 0 0 0 0 11651758
1800.04/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.61 c random : 0.00 0 0 0 0 0 0
1800.04/1800.61 c Primal Heuristics : Time Calls Found
1800.04/1800.61 c LP solutions : 0.00 - 0
1800.04/1800.61 c pseudo solutions : 0.00 - 0
1800.04/1800.61 c trivial : 0.00 1 0
1800.04/1800.61 c simplerounding : 0.00 0 0
1800.04/1800.61 c zirounding : 0.00 0 0
1800.04/1800.61 c rounding : 0.00 0 0
1800.04/1800.61 c shifting : 0.00 0 0
1800.04/1800.61 c intshifting : 0.00 0 0
1800.04/1800.61 c oneopt : 0.00 0 0
1800.04/1800.61 c twoopt : 0.00 0 0
1800.04/1800.61 c fixandinfer : 0.00 0 0
1800.04/1800.61 c feaspump : 0.00 0 0
1800.04/1800.61 c coefdiving : 0.00 0 0
1800.04/1800.61 c pscostdiving : 0.00 0 0
1800.04/1800.61 c fracdiving : 0.00 0 0
1800.04/1800.61 c veclendiving : 0.00 0 0
1800.04/1800.61 c intdiving : 0.00 0 0
1800.04/1800.61 c actconsdiving : 0.00 0 0
1800.04/1800.61 c objpscostdiving : 0.00 0 0
1800.04/1800.61 c rootsoldiving : 0.00 0 0
1800.04/1800.61 c linesearchdiving : 0.00 0 0
1800.04/1800.61 c guideddiving : 0.00 0 0
1800.04/1800.61 c octane : 0.00 0 0
1800.04/1800.61 c rens : 0.00 0 0
1800.04/1800.61 c rins : 0.00 0 0
1800.04/1800.61 c localbranching : 0.00 0 0
1800.04/1800.61 c mutation : 0.00 0 0
1800.04/1800.61 c crossover : 0.00 0 0
1800.04/1800.61 c dins : 0.00 0 0
1800.04/1800.61 c undercover : 0.00 0 0
1800.04/1800.61 c nlp : 0.00 0 0
1800.04/1800.61 c trysol : 0.00 0 0
1800.04/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.61 c (at root node) : - 0 0 0.00 -
1800.04/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.61 c B&B Tree :
1800.04/1800.61 c number of runs : 1
1800.04/1800.61 c nodes : 6488273
1800.04/1800.61 c nodes (total) : 6488273
1800.04/1800.61 c nodes left : 4324647
1800.04/1800.61 c max depth : 339
1800.04/1800.61 c max depth (total): 339
1800.04/1800.61 c backtracks : 732731 (11.3%)
1800.04/1800.61 c delayed cutoffs : 838839
1800.04/1800.61 c repropagations : 1747137 (18487595 domain reductions, 685045 cutoffs)
1800.04/1800.61 c avg switch length: 4.30
1800.04/1800.61 c switching time : 149.43
1800.04/1800.61 c Solution :
1800.04/1800.61 c Solutions found : 0 (0 improvements)
1800.04/1800.61 c Primal Bound : -
1800.04/1800.61 c Dual Bound : +0.00000000000000e+00
1800.04/1800.61 c Gap : infinite
1800.04/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.61 c Root Iterations : 0