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-2664729-1276575552.opb>
0.00/0.02 c original problem has 1800 variables (1800 bin, 0 int, 0 impl, 0 cont) and 85 constraints
0.00/0.02 c problem read
0.00/0.02 c No objective function, only one solution is needed.
0.00/0.02 c presolving settings loaded
0.00/0.02 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.03 c presolving:
0.00/0.04 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 45 upgd conss, 0 impls, 40 clqs
0.00/0.05 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 85 upgd conss, 0 impls, 40 clqs
0.00/0.05 c presolving (3 rounds):
0.00/0.05 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05 c 0 implications, 40 cliques
0.00/0.05 c presolved problem has 1800 variables (1800 bin, 0 int, 0 impl, 0 cont) and 85 constraints
0.00/0.05 c 40 constraints of type <setppc>
0.00/0.05 c 45 constraints of type <logicor>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.02
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 1.2.1.2
0.00/0.05 c
0.00/0.05 c # frequency for displaying node information lines
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.05 c display/freq = 10000
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/time = 1799.99
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/memory = 1620
0.00/0.05 c
0.00/0.05 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c limits/solutions = 1
0.00/0.05 c
0.00/0.05 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.05 c lp/solvefreq = -1
0.00/0.05 c
0.00/0.05 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.05 c separating/maxrounds = 1
0.00/0.05 c
0.00/0.05 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c separating/maxroundsroot = 5
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify inequalities
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/linear/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.05 c constraints/knapsack/disaggregation = FALSE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify knapsacks
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c presolving/probing/maxrounds = 0
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05 c heuristics/coefdiving/freq = -1
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.05 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.05 c heuristics/crossover/freq = -1
0.00/0.05 c
0.00/0.05 c # number of nodes added to the contingent of the total nodes
0.00/0.05 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.05 c heuristics/crossover/nodesofs = 750
0.00/0.05 c
0.00/0.05 c # number of nodes without incumbent change that heuristic should wait
0.00/0.05 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.05 c heuristics/crossover/nwaitingnodes = 100
0.00/0.05 c
0.00/0.05 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.05 c # [type: real, range: [0,1], default: 0.1]
0.00/0.05 c heuristics/crossover/nodesquot = 0.15
0.00/0.05 c
0.00/0.05 c # minimum percentage of integer variables that have to be fixed
0.00/0.05 c # [type: real, range: [0,1], default: 0.666]
0.00/0.05 c heuristics/crossover/minfixingrate = 0.5
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.05 c heuristics/feaspump/freq = -1
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05 c heuristics/fracdiving/freq = -1
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.05 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05 c heuristics/guideddiving/freq = -1
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.05 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.05 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05 c heuristics/intshifting/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05 c heuristics/linesearchdiving/freq = -1
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.05 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.05 c heuristics/nlp/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.05 c heuristics/objpscostdiving/freq = -1
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.05 c # [type: real, range: [0,1], default: 0.01]
0.00/0.05 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.05 c heuristics/oneopt/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05 c heuristics/pscostdiving/freq = -1
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.05 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.05 c heuristics/rens/freq = -1
0.00/0.05 c
0.00/0.05 c # minimum percentage of integer variables that have to be fixable
0.00/0.05 c # [type: real, range: [0,1], default: 0.5]
0.00/0.05 c heuristics/rens/minfixingrate = 0.3
0.00/0.05 c
0.00/0.05 c # number of nodes added to the contingent of the total nodes
0.00/0.05 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.05 c heuristics/rens/nodesofs = 2000
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.05 c heuristics/rootsoldiving/freq = -1
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.05 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.05 c heuristics/rounding/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05 c heuristics/shifting/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.05 c heuristics/simplerounding/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.05 c heuristics/trivial/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.05 c heuristics/trysol/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05 c heuristics/veclendiving/freq = -1
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.05 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.05 c heuristics/zirounding/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.05 c separating/cmir/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.05 c separating/flowcover/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c separating/rapidlearning/freq = 0
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.00/0.05 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.05 c 0.0s| 1 | 2 | 0 | - |3192k| 0 | - |1800 | 85 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
3.99/4.06 c 3.9s| 10000 | 9969 | 0 | 0.0 |6934k|1189 | - |1800 | 174 | 0 | 0 | 0 | 121 | 0 | 0.000000e+00 | -- | Inf
8.19/8.23 c 8.0s| 20000 | 19925 | 0 | 0.0 | 10M|1263 | - |1800 | 228 | 0 | 0 | 0 | 289 | 0 | 0.000000e+00 | -- | Inf
12.28/12.38 c 12.0s| 30000 | 29887 | 0 | 0.0 | 12M|1304 | - |1800 | 173 | 0 | 0 | 0 | 343 | 0 | 0.000000e+00 | -- | Inf
16.49/16.60 c 16.1s| 40000 | 39844 | 0 | 0.0 | 15M|1343 | - |1800 | 169 | 0 | 0 | 0 | 422 | 0 | 0.000000e+00 | -- | Inf
20.58/20.66 c 20.0s| 50000 | 49813 | 0 | 0.0 | 18M|1383 | - |1800 | 136 | 0 | 0 | 0 | 449 | 0 | 0.000000e+00 | -- | Inf
24.78/24.81 c 24.1s| 60000 | 59775 | 0 | 0.0 | 21M|1383 | - |1800 | 145 | 0 | 0 | 0 | 494 | 0 | 0.000000e+00 | -- | Inf
28.88/28.95 c 28.1s| 70000 | 69724 | 0 | 0.0 | 24M|1383 | - |1800 | 155 | 0 | 0 | 0 | 552 | 0 | 0.000000e+00 | -- | Inf
32.98/33.06 c 32.1s| 80000 | 79674 | 0 | 0.0 | 27M|1383 | - |1800 | 190 | 0 | 0 | 0 | 632 | 0 | 0.000000e+00 | -- | Inf
37.07/37.16 c 36.1s| 90000 | 89632 | 0 | 0.0 | 29M|1383 | - |1800 | 149 | 0 | 0 | 0 | 666 | 0 | 0.000000e+00 | -- | Inf
41.17/41.24 c 40.0s|100000 | 99576 | 0 | 0.0 | 32M|1383 | - |1800 | 184 | 0 | 0 | 0 | 744 | 0 | 0.000000e+00 | -- | Inf
45.08/45.17 c 43.8s|110000 |109532 | 0 | 0.0 | 35M|1383 | - |1800 | 166 | 0 | 0 | 0 | 784 | 0 | 0.000000e+00 | -- | Inf
49.07/49.19 c 47.7s|120000 |119467 | 0 | 0.0 | 38M|1383 | - |1800 | 205 | 0 | 0 | 0 | 870 | 0 | 0.000000e+00 | -- | Inf
53.07/53.13 c 51.6s|130000 |129416 | 0 | 0.0 | 41M|1383 | - |1800 | 195 | 0 | 0 | 0 | 953 | 0 | 0.000000e+00 | -- | Inf
56.87/56.98 c 55.3s|140000 |139373 | 0 | 0.0 | 44M|1383 | - |1800 | 227 | 0 | 0 | 0 |1041 | 0 | 0.000000e+00 | -- | Inf
60.67/60.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.67/60.74 c 58.9s|150000 |149335 | 0 | 0.0 | 46M|1383 | - |1800 | 204 | 0 | 0 | 0 |1091 | 0 | 0.000000e+00 | -- | Inf
64.47/64.52 c 62.6s|160000 |159269 | 0 | 0.0 | 49M|1383 | - |1800 | 257 | 0 | 0 | 0 |1215 | 0 | 0.000000e+00 | -- | Inf
68.18/68.29 c 66.2s|170000 |169222 | 0 | 0.0 | 52M|1383 | - |1800 | 298 | 0 | 0 | 0 |1329 | 0 | 0.000000e+00 | -- | Inf
71.87/71.90 c 69.7s|180000 |179188 | 0 | 0.0 | 55M|1383 | - |1800 | 280 | 0 | 0 | 0 |1396 | 0 | 0.000000e+00 | -- | Inf
75.37/75.48 c 73.2s|190000 |189145 | 0 | 0.0 | 58M|1383 | - |1800 | 257 | 0 | 0 | 0 |1440 | 0 | 0.000000e+00 | -- | Inf
78.96/79.00 c 76.6s|200000 |199103 | 0 | 0.0 | 61M|1383 | - |1800 | 307 | 0 | 0 | 0 |1536 | 0 | 0.000000e+00 | -- | Inf
82.47/82.53 c 80.0s|210000 |209046 | 0 | 0.0 | 64M|1383 | - |1800 | 331 | 0 | 0 | 0 |1639 | 0 | 0.000000e+00 | -- | Inf
85.87/85.99 c 83.3s|220000 |218984 | 0 | 0.0 | 67M|1383 | - |1800 | 378 | 0 | 0 | 0 |1794 | 0 | 0.000000e+00 | -- | Inf
89.35/89.44 c 86.7s|230000 |228936 | 0 | 0.0 | 70M|1383 | - |1800 | 398 | 0 | 0 | 0 |1916 | 0 | 0.000000e+00 | -- | Inf
92.76/92.89 c 90.0s|240000 |238873 | 0 | 0.0 | 72M|1383 | - |1800 | 418 | 0 | 0 | 0 |2060 | 0 | 0.000000e+00 | -- | Inf
96.05/96.16 c 93.1s|250000 |248822 | 0 | 0.0 | 75M|1383 | - |1800 | 482 | 0 | 0 | 0 |2204 | 0 | 0.000000e+00 | -- | Inf
99.46/99.57 c 96.4s|260000 |258766 | 0 | 0.0 | 78M|1383 | - |1800 | 464 | 0 | 0 | 0 |2308 | 0 | 0.000000e+00 | -- | Inf
102.75/102.84 c 99.6s|270000 |268712 | 0 | 0.0 | 81M|1383 | - |1800 | 525 | 0 | 0 | 0 |2443 | 0 | 0.000000e+00 | -- | Inf
105.95/106.06 c 103s|280000 |278652 | 0 | 0.0 | 84M|1383 | - |1800 | 524 | 0 | 0 | 0 |2557 | 0 | 0.000000e+00 | -- | Inf
109.15/109.26 c 106s|290000 |288597 | 0 | 0.0 | 87M|1383 | - |1800 | 566 | 0 | 0 | 0 |2663 | 0 | 0.000000e+00 | -- | Inf
112.26/112.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
112.26/112.35 c 109s|300000 |298530 | 0 | 0.0 | 90M|1383 | - |1800 | 654 | 0 | 0 | 0 |2879 | 0 | 0.000000e+00 | -- | Inf
115.25/115.39 c 112s|310000 |308468 | 0 | 0.0 | 93M|1383 | - |1800 | 697 | 0 | 0 | 0 |3045 | 0 | 0.000000e+00 | -- | Inf
118.25/118.38 c 115s|320000 |318416 | 0 | 0.0 | 96M|1383 | - |1800 | 722 | 0 | 0 | 0 |3172 | 0 | 0.000000e+00 | -- | Inf
121.24/121.38 c 117s|330000 |328339 | 0 | 0.0 | 99M|1383 | - |1800 | 815 | 0 | 0 | 0 |3385 | 0 | 0.000000e+00 | -- | Inf
124.26/124.31 c 120s|340000 |338279 | 0 | 0.0 | 102M|1383 | - |1800 | 840 | 0 | 0 | 0 |3524 | 0 | 0.000000e+00 | -- | Inf
127.05/127.14 c 123s|350000 |348216 | 0 | 0.0 | 105M|1383 | - |1800 | 908 | 0 | 0 | 0 |3691 | 0 | 0.000000e+00 | -- | Inf
129.85/129.99 c 126s|360000 |358150 | 0 | 0.0 | 108M|1383 | - |1800 | 997 | 0 | 0 | 0 |3917 | 0 | 0.000000e+00 | -- | Inf
132.64/132.77 c 128s|370000 |368080 | 0 | 0.0 | 111M|1383 | - |1800 |1048 | 0 | 0 | 0 |4158 | 0 | 0.000000e+00 | -- | Inf
135.44/135.50 c 131s|380000 |378003 | 0 | 0.0 | 114M|1383 | - |1800 |1076 | 0 | 0 | 0 |4384 | 0 | 0.000000e+00 | -- | Inf
138.14/138.24 c 134s|390000 |387913 | 0 | 0.0 | 117M|1383 | - |1800 |1158 | 0 | 0 | 0 |4660 | 0 | 0.000000e+00 | -- | Inf
140.85/140.92 c 136s|400000 |397823 | 0 | 0.0 | 120M|1383 | - |1800 |1178 | 0 | 0 | 0 |4830 | 0 | 0.000000e+00 | -- | Inf
143.44/143.52 c 139s|410000 |407742 | 0 | 0.0 | 123M|1383 | - |1800 |1298 | 0 | 0 | 0 |5053 | 0 | 0.000000e+00 | -- | Inf
145.94/146.06 c 141s|420000 |417648 | 0 | 0.0 | 126M|1383 | - |1800 |1494 | 0 | 0 | 0 |5410 | 0 | 0.000000e+00 | -- | Inf
148.45/148.57 c 143s|430000 |427538 | 0 | 0.0 | 130M|1383 | - |1800 |1684 | 0 | 0 | 0 |5846 | 0 | 0.000000e+00 | -- | Inf
150.75/150.86 c 146s|440000 |437448 | 0 | 0.0 | 133M|1383 | - |1800 |1829 | 0 | 0 | 0 |6298 | 0 | 0.000000e+00 | -- | Inf
152.94/153.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
152.94/153.06 c 148s|450000 |447352 | 0 | 0.0 | 136M|1383 | - |1800 |2044 | 0 | 0 | 0 |6793 | 0 | 0.000000e+00 | -- | Inf
155.14/155.26 c 150s|460000 |457229 | 0 | 0.0 | 140M|1383 | - |1800 |2283 | 0 | 0 | 0 |7389 | 0 | 0.000000e+00 | -- | Inf
157.24/157.38 c 152s|470000 |467097 | 0 | 0.0 | 143M|1383 | - |1800 |2564 | 0 | 0 | 0 |8033 | 0 | 0.000000e+00 | -- | Inf
159.33/159.46 c 154s|480000 |476943 | 0 | 0.0 | 147M|1383 | - |1800 |2986 | 0 | 0 | 0 |8841 | 0 | 0.000000e+00 | -- | Inf
161.43/161.53 c 156s|490000 |486739 | 0 | 0.0 | 151M|1383 | - |1800 |3569 | 0 | 0 | 0 |9786 | 0 | 0.000000e+00 | -- | Inf
163.53/163.64 c 158s|500000 |496473 | 0 | 0.0 | 155M|1383 | - |1800 |4270 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
165.83/165.99 c 160s|510000 |506071 | 0 | 0.0 | 161M|1383 | - |1800 |5480 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
170.82/170.99 c 165s|520000 |515227 | 0 | 0.0 | 167M|1383 | - |1800 |6856 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
174.84/174.93 c 168s|530000 |525196 | 0 | 0.0 | 164M|1383 | - |1800 |2105 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
178.72/178.81 c 172s|540000 |535157 | 0 | 0.0 | 165M|1383 | - |1800 | 290 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
182.63/182.73 c 176s|550000 |545122 | 0 | 0.0 | 168M|1383 | - |1800 | 155 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
186.62/186.78 c 180s|560000 |555078 | 0 | 0.0 | 171M|1383 | - |1800 | 186 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
190.82/190.91 c 184s|570000 |565036 | 0 | 0.0 | 173M|1383 | - |1800 | 122 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
194.92/195.03 c 188s|580000 |574991 | 0 | 0.0 | 176M|1383 | - |1800 | 173 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
199.02/199.15 c 192s|590000 |584954 | 0 | 0.0 | 179M|1383 | - |1800 | 143 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
203.22/203.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
203.22/203.32 c 196s|600000 |594904 | 0 | 0.0 | 182M|1383 | - |1800 | 160 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
207.32/207.45 c 200s|610000 |604862 | 0 | 0.0 | 185M|1383 | - |1800 | 173 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
211.51/211.61 c 204s|620000 |614823 | 0 | 0.0 | 188M|1383 | - |1800 | 138 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
215.62/215.75 c 208s|630000 |624784 | 0 | 0.0 | 190M|1383 | - |1800 | 169 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
219.81/219.90 c 212s|640000 |634751 | 0 | 0.0 | 193M|1383 | - |1800 | 171 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
224.01/224.12 c 216s|650000 |644697 | 0 | 0.0 | 196M|1383 | - |1800 | 128 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
228.11/228.25 c 220s|660000 |654661 | 0 | 0.0 | 199M|1383 | - |1800 | 136 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
232.30/232.41 c 224s|670000 |664619 | 0 | 0.0 | 202M|1383 | - |1800 | 141 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
236.41/236.60 c 228s|680000 |674567 | 0 | 0.0 | 204M|1383 | - |1800 | 183 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
240.61/240.71 c 232s|690000 |684538 | 0 | 0.0 | 207M|1383 | - |1800 | 155 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
244.60/244.76 c 236s|700000 |694501 | 0 | 0.0 | 210M|1383 | - |1800 | 190 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
248.80/248.90 c 240s|710000 |704463 | 0 | 0.0 | 213M|1383 | - |1800 | 153 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
252.91/253.05 c 244s|720000 |714426 | 0 | 0.0 | 216M|1383 | - |1800 | 157 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
257.00/257.17 c 248s|730000 |724378 | 0 | 0.0 | 218M|1383 | - |1800 | 158 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
261.10/261.24 c 252s|740000 |734338 | 0 | 0.0 | 221M|1383 | - |1800 | 165 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
265.11/265.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
265.11/265.29 c 256s|750000 |744310 | 0 | 0.0 | 224M|1383 | - |1800 | 146 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
269.20/269.39 c 260s|760000 |754274 | 0 | 0.0 | 227M|1383 | - |1800 | 164 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
273.39/273.50 c 264s|770000 |764226 | 0 | 0.0 | 230M|1383 | - |1800 | 169 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
277.49/277.63 c 268s|780000 |774184 | 0 | 0.0 | 233M|1383 | - |1800 | 181 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
281.68/281.80 c 272s|790000 |784125 | 0 | 0.0 | 235M|1383 | - |1800 | 156 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
285.79/285.93 c 276s|800000 |794082 | 0 | 0.0 | 238M|1383 | - |1800 | 176 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
289.99/290.10 c 280s|810000 |804035 | 0 | 0.0 | 241M|1383 | - |1800 | 187 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
294.08/294.22 c 284s|820000 |813995 | 0 | 0.0 | 244M|1383 | - |1800 | 130 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
298.19/298.35 c 288s|830000 |823945 | 0 | 0.0 | 247M|1383 | - |1800 | 154 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
302.28/302.48 c 292s|840000 |833897 | 0 | 0.0 | 249M|1383 | - |1800 | 147 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
306.48/306.62 c 296s|850000 |843853 | 0 | 0.0 | 252M|1383 | - |1800 | 149 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
310.58/310.72 c 300s|860000 |853811 | 0 | 0.0 | 255M|1383 | - |1800 | 158 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
314.58/314.76 c 304s|870000 |863778 | 0 | 0.0 | 258M|1383 | - |1800 | 156 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
318.68/318.85 c 308s|880000 |873735 | 0 | 0.0 | 261M|1383 | - |1800 | 156 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
322.67/322.89 c 312s|890000 |883696 | 0 | 0.0 | 264M|1383 | - |1800 | 149 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
326.77/326.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
326.77/326.94 c 316s|900000 |893659 | 0 | 0.0 | 266M|1383 | - |1800 | 145 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
330.87/331.02 c 320s|910000 |903617 | 0 | 0.0 | 269M|1383 | - |1800 | 139 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
334.86/335.02 c 324s|920000 |913580 | 0 | 0.0 | 272M|1383 | - |1800 | 172 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
338.97/339.14 c 328s|930000 |923532 | 0 | 0.0 | 275M|1383 | - |1800 | 185 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
343.08/343.28 c 332s|940000 |933480 | 0 | 0.0 | 278M|1383 | - |1800 | 161 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
347.16/347.36 c 336s|950000 |943447 | 0 | 0.0 | 281M|1383 | - |1800 | 158 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
351.26/351.43 c 340s|960000 |953404 | 0 | 0.0 | 283M|1383 | - |1800 | 136 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
355.17/355.40 c 344s|970000 |963375 | 0 | 0.0 | 286M|1383 | - |1800 | 149 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
359.36/359.52 c 348s|980000 |973330 | 0 | 0.0 | 289M|1383 | - |1800 | 154 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
363.36/363.56 c 352s|990000 |983295 | 0 | 0.0 | 292M|1383 | - |1800 | 160 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
367.45/367.62 c 356s| 1000k|993238 | 0 | 0.0 | 295M|1383 | - |1800 | 212 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
371.46/371.69 c 359s| 1010k| 1003k| 0 | 0.0 | 298M|1383 | - |1800 | 169 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
375.65/375.85 c 364s| 1020k| 1013k| 0 | 0.0 | 301M|1383 | - |1800 | 138 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
379.75/379.90 c 367s| 1030k| 1023k| 0 | 0.0 | 303M|1383 | - |1800 | 153 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
383.86/384.06 c 371s| 1040k| 1033k| 0 | 0.0 | 306M|1383 | - |1800 | 157 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
387.95/388.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
387.95/388.18 c 375s| 1050k| 1043k| 0 | 0.0 | 309M|1383 | - |1800 | 220 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
392.05/392.27 c 379s| 1060k| 1052k| 0 | 0.0 | 312M|1383 | - |1800 | 131 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
396.15/396.35 c 383s| 1070k| 1062k| 0 | 0.0 | 315M|1383 | - |1800 | 139 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
400.25/400.42 c 387s| 1080k| 1072k| 0 | 0.0 | 318M|1383 | - |1800 | 135 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
404.25/404.48 c 391s| 1090k| 1082k| 0 | 0.0 | 321M|1383 | - |1800 | 158 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
408.34/408.58 c 395s| 1100k| 1092k| 0 | 0.0 | 323M|1383 | - |1800 | 164 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
412.45/412.68 c 399s| 1110k| 1102k| 0 | 0.0 | 326M|1383 | - |1800 | 180 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
416.54/416.78 c 403s| 1120k| 1112k| 0 | 0.0 | 329M|1383 | - |1800 | 154 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
420.64/420.82 c 407s| 1130k| 1122k| 0 | 0.0 | 332M|1383 | - |1800 | 174 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
424.74/424.97 c 411s| 1140k| 1132k| 0 | 0.0 | 335M|1383 | - |1800 | 147 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
428.94/429.13 c 415s| 1150k| 1142k| 0 | 0.0 | 338M|1383 | - |1800 | 146 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
433.03/433.24 c 419s| 1160k| 1152k| 0 | 0.0 | 340M|1383 | - |1800 | 144 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
437.03/437.28 c 423s| 1170k| 1162k| 0 | 0.0 | 343M|1383 | - |1800 | 150 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
441.23/441.43 c 427s| 1180k| 1172k| 0 | 0.0 | 346M|1383 | - |1800 | 128 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
445.34/445.57 c 431s| 1190k| 1182k| 0 | 0.0 | 349M|1383 | - |1800 | 149 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
449.42/449.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
449.42/449.62 c 435s| 1200k| 1192k| 0 | 0.0 | 352M|1383 | - |1800 | 143 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
453.52/453.71 c 439s| 1210k| 1202k| 0 | 0.0 | 354M|1383 | - |1800 | 162 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
457.63/457.82 c 443s| 1220k| 1212k| 0 | 0.0 | 357M|1383 | - |1800 | 152 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
461.62/461.89 c 447s| 1230k| 1222k| 0 | 0.0 | 360M|1383 | - |1800 | 153 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
465.62/465.87 c 451s| 1240k| 1232k| 0 | 0.0 | 363M|1383 | - |1800 | 183 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
469.82/470.03 c 455s| 1250k| 1242k| 0 | 0.0 | 366M|1383 | - |1800 | 215 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
473.92/474.10 c 459s| 1260k| 1252k| 0 | 0.0 | 369M|1383 | - |1800 | 169 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
477.92/478.19 c 463s| 1270k| 1262k| 0 | 0.0 | 372M|1383 | - |1800 | 165 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
482.02/482.27 c 467s| 1280k| 1272k| 0 | 0.0 | 374M|1383 | - |1800 | 175 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
486.13/486.36 c 471s| 1290k| 1282k| 0 | 0.0 | 377M|1383 | - |1800 | 198 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
490.32/490.50 c 475s| 1300k| 1291k| 0 | 0.0 | 380M|1383 | - |1800 | 158 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
494.41/494.64 c 479s| 1310k| 1301k| 0 | 0.0 | 383M|1383 | - |1800 | 158 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
498.51/498.70 c 483s| 1320k| 1311k| 0 | 0.0 | 386M|1383 | - |1800 | 180 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
502.51/502.79 c 487s| 1330k| 1321k| 0 | 0.0 | 389M|1383 | - |1800 | 188 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
506.61/506.85 c 491s| 1340k| 1331k| 0 | 0.0 | 391M|1383 | - |1800 | 226 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
510.70/510.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
510.70/510.95 c 495s| 1350k| 1341k| 0 | 0.0 | 394M|1383 | - |1800 | 174 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
514.72/514.99 c 499s| 1360k| 1351k| 0 | 0.0 | 397M|1383 | - |1800 | 172 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
518.81/519.07 c 502s| 1370k| 1361k| 0 | 0.0 | 400M|1383 | - |1800 | 137 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
522.90/523.15 c 506s| 1380k| 1371k| 0 | 0.0 | 403M|1383 | - |1800 | 149 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
527.10/527.32 c 510s| 1390k| 1381k| 0 | 0.0 | 406M|1383 | - |1800 | 130 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
531.10/531.39 c 514s| 1400k| 1391k| 0 | 0.0 | 408M|1383 | - |1800 | 160 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
535.19/535.49 c 518s| 1410k| 1401k| 0 | 0.0 | 411M|1383 | - |1800 | 136 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
539.30/539.58 c 522s| 1420k| 1411k| 0 | 0.0 | 414M|1383 | - |1800 | 157 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
543.30/543.60 c 526s| 1430k| 1421k| 0 | 0.0 | 417M|1383 | - |1800 | 168 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
547.39/547.67 c 530s| 1440k| 1431k| 0 | 0.0 | 420M|1383 | - |1800 | 155 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
551.49/551.76 c 534s| 1450k| 1441k| 0 | 0.0 | 422M|1383 | - |1800 | 143 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
555.59/555.83 c 538s| 1460k| 1451k| 0 | 0.0 | 425M|1383 | - |1800 | 144 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
559.70/559.95 c 542s| 1470k| 1461k| 0 | 0.0 | 428M|1383 | - |1800 | 160 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
563.79/564.04 c 546s| 1480k| 1471k| 0 | 0.0 | 431M|1383 | - |1800 | 170 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
567.78/568.08 c 550s| 1490k| 1481k| 0 | 0.0 | 434M|1383 | - |1800 | 160 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
571.89/572.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
571.89/572.15 c 554s| 1500k| 1491k| 0 | 0.0 | 437M|1383 | - |1800 | 156 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
575.98/576.29 c 558s| 1510k| 1501k| 0 | 0.0 | 439M|1383 | - |1800 | 176 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
580.18/580.40 c 562s| 1520k| 1511k| 0 | 0.0 | 442M|1383 | - |1800 | 165 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
584.18/584.43 c 566s| 1530k| 1521k| 0 | 0.0 | 445M|1383 | - |1800 | 149 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
588.17/588.48 c 570s| 1540k| 1531k| 0 | 0.0 | 448M|1383 | - |1800 | 172 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
592.38/592.61 c 574s| 1550k| 1540k| 0 | 0.0 | 451M|1383 | - |1800 | 149 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
596.38/596.69 c 578s| 1560k| 1550k| 0 | 0.0 | 454M|1383 | - |1800 | 155 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
600.48/600.79 c 582s| 1570k| 1560k| 0 | 0.0 | 456M|1383 | - |1800 | 157 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
604.57/604.89 c 586s| 1580k| 1570k| 0 | 0.0 | 459M|1383 | - |1800 | 191 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
608.67/608.95 c 590s| 1590k| 1580k| 0 | 0.0 | 462M|1383 | - |1800 | 155 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
612.66/612.97 c 594s| 1600k| 1590k| 0 | 0.0 | 465M|1383 | - |1800 | 172 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
616.76/617.05 c 597s| 1610k| 1600k| 0 | 0.0 | 468M|1383 | - |1800 | 158 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
620.97/621.21 c 602s| 1620k| 1610k| 0 | 0.0 | 471M|1383 | - |1800 | 162 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
624.96/625.26 c 605s| 1630k| 1620k| 0 | 0.0 | 473M|1383 | - |1800 | 164 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
629.07/629.33 c 609s| 1640k| 1630k| 0 | 0.0 | 476M|1383 | - |1800 | 164 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
633.06/633.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
633.06/633.36 c 613s| 1650k| 1640k| 0 | 0.0 | 479M|1383 | - |1800 | 148 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
637.16/637.46 c 617s| 1660k| 1650k| 0 | 0.0 | 482M|1383 | - |1800 | 143 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
641.36/641.68 c 621s| 1670k| 1660k| 0 | 0.0 | 485M|1383 | - |1800 | 185 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
645.46/645.72 c 625s| 1680k| 1670k| 0 | 0.0 | 488M|1383 | - |1800 | 159 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
649.56/649.80 c 629s| 1690k| 1680k| 0 | 0.0 | 490M|1383 | - |1800 | 185 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
653.56/653.86 c 633s| 1700k| 1690k| 0 | 0.0 | 493M|1383 | - |1800 | 169 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
657.56/657.89 c 637s| 1710k| 1700k| 0 | 0.0 | 496M|1383 | - |1800 | 183 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
661.65/661.93 c 641s| 1720k| 1710k| 0 | 0.0 | 499M|1383 | - |1800 | 164 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
665.75/666.00 c 645s| 1730k| 1720k| 0 | 0.0 | 502M|1383 | - |1800 | 179 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
669.76/670.08 c 649s| 1740k| 1730k| 0 | 0.0 | 504M|1383 | - |1800 | 144 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
673.74/674.09 c 653s| 1750k| 1740k| 0 | 0.0 | 507M|1383 | - |1800 | 152 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
677.75/678.09 c 657s| 1760k| 1750k| 0 | 0.0 | 510M|1383 | - |1800 | 157 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
681.74/682.10 c 661s| 1770k| 1760k| 0 | 0.0 | 513M|1383 | - |1800 | 152 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
685.94/686.20 c 665s| 1780k| 1770k| 0 | 0.0 | 516M|1383 | - |1800 | 172 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
689.93/690.21 c 669s| 1790k| 1780k| 0 | 0.0 | 519M|1383 | - |1800 | 180 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
693.85/694.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
693.85/694.19 c 672s| 1800k| 1789k| 0 | 0.0 | 521M|1383 | - |1800 | 144 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
697.94/698.23 c 676s| 1810k| 1799k| 0 | 0.0 | 524M|1383 | - |1800 | 156 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
701.93/702.26 c 680s| 1820k| 1809k| 0 | 0.0 | 527M|1383 | - |1800 | 168 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
706.04/706.34 c 684s| 1830k| 1819k| 0 | 0.0 | 530M|1383 | - |1800 | 137 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
710.13/710.46 c 688s| 1840k| 1829k| 0 | 0.0 | 533M|1383 | - |1800 | 175 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
714.23/714.51 c 692s| 1850k| 1839k| 0 | 0.0 | 536M|1383 | - |1800 | 167 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
718.33/718.60 c 696s| 1860k| 1849k| 0 | 0.0 | 538M|1383 | - |1800 | 195 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
722.32/722.61 c 700s| 1870k| 1859k| 0 | 0.0 | 541M|1383 | - |1800 | 157 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
726.33/726.68 c 704s| 1880k| 1869k| 0 | 0.0 | 544M|1383 | - |1800 | 190 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
730.43/730.72 c 708s| 1890k| 1879k| 0 | 0.0 | 547M|1383 | - |1800 | 168 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
734.42/734.75 c 712s| 1900k| 1889k| 0 | 0.0 | 550M|1383 | - |1800 | 187 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
738.52/738.84 c 716s| 1910k| 1899k| 0 | 0.0 | 552M|1383 | - |1800 | 171 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
742.52/742.82 c 720s| 1920k| 1909k| 0 | 0.0 | 555M|1383 | - |1800 | 167 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
746.52/746.86 c 724s| 1930k| 1919k| 0 | 0.0 | 558M|1383 | - |1800 | 161 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
750.51/750.83 c 727s| 1940k| 1929k| 0 | 0.0 | 561M|1383 | - |1800 | 175 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
754.52/754.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
754.52/754.86 c 731s| 1950k| 1939k| 0 | 0.0 | 564M|1383 | - |1800 | 143 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
758.62/758.94 c 735s| 1960k| 1949k| 0 | 0.0 | 566M|1383 | - |1800 | 149 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
762.72/763.05 c 739s| 1970k| 1959k| 0 | 0.0 | 569M|1383 | - |1800 | 166 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
766.71/767.09 c 743s| 1980k| 1969k| 0 | 0.0 | 572M|1383 | - |1800 | 161 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
770.82/771.11 c 747s| 1990k| 1979k| 0 | 0.0 | 575M|1383 | - |1800 | 142 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
774.81/775.11 c 751s| 2000k| 1989k| 0 | 0.0 | 578M|1383 | - |1800 | 212 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
778.81/779.14 c 755s| 2010k| 1999k| 0 | 0.0 | 581M|1383 | - |1800 | 194 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
782.91/783.20 c 759s| 2020k| 2009k| 0 | 0.0 | 583M|1383 | - |1800 | 193 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
786.81/787.17 c 763s| 2030k| 2018k| 0 | 0.0 | 586M|1383 | - |1800 | 154 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
790.80/791.17 c 766s| 2040k| 2028k| 0 | 0.0 | 589M|1383 | - |1800 | 177 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
794.90/795.22 c 770s| 2050k| 2038k| 0 | 0.0 | 592M|1383 | - |1800 | 171 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
798.90/799.20 c 774s| 2060k| 2048k| 0 | 0.0 | 595M|1383 | - |1800 | 189 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
802.90/803.22 c 778s| 2070k| 2058k| 0 | 0.0 | 597M|1383 | - |1800 | 173 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
806.79/807.17 c 782s| 2080k| 2068k| 0 | 0.0 | 600M|1383 | - |1800 | 207 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
810.70/811.09 c 786s| 2090k| 2078k| 0 | 0.0 | 603M|1383 | - |1800 | 172 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
814.80/815.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
814.80/815.11 c 790s| 2100k| 2088k| 0 | 0.0 | 606M|1383 | - |1800 | 162 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
818.79/819.15 c 794s| 2110k| 2098k| 0 | 0.0 | 609M|1383 | - |1800 | 169 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
822.89/823.26 c 798s| 2120k| 2108k| 0 | 0.0 | 611M|1383 | - |1800 | 147 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
826.90/827.28 c 802s| 2130k| 2118k| 0 | 0.0 | 614M|1383 | - |1800 | 148 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
830.99/831.34 c 805s| 2140k| 2128k| 0 | 0.0 | 617M|1383 | - |1800 | 123 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
834.89/835.28 c 809s| 2150k| 2138k| 0 | 0.0 | 620M|1383 | - |1800 | 150 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
838.99/839.35 c 813s| 2160k| 2148k| 0 | 0.0 | 623M|1383 | - |1800 | 174 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
843.08/843.44 c 817s| 2170k| 2158k| 0 | 0.0 | 626M|1383 | - |1800 | 143 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
847.08/847.44 c 821s| 2180k| 2168k| 0 | 0.0 | 628M|1383 | - |1800 | 173 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
851.09/851.46 c 825s| 2190k| 2178k| 0 | 0.0 | 631M|1383 | - |1800 | 143 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
855.08/855.45 c 829s| 2200k| 2188k| 0 | 0.0 | 634M|1383 | - |1800 | 183 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
858.98/859.39 c 833s| 2210k| 2198k| 0 | 0.0 | 637M|1383 | - |1800 | 146 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
862.87/863.28 c 836s| 2220k| 2208k| 0 | 0.0 | 640M|1383 | - |1800 | 176 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
866.77/867.19 c 840s| 2230k| 2218k| 0 | 0.0 | 643M|1383 | - |1800 | 198 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
870.77/871.16 c 844s| 2240k| 2228k| 0 | 0.0 | 645M|1383 | - |1800 | 183 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
874.77/875.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
874.77/875.15 c 848s| 2250k| 2238k| 0 | 0.0 | 648M|1383 | - |1800 | 163 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
878.67/879.05 c 852s| 2260k| 2247k| 0 | 0.0 | 651M|1383 | - |1800 | 180 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
882.67/883.02 c 856s| 2270k| 2257k| 0 | 0.0 | 654M|1383 | - |1800 | 188 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
886.57/886.99 c 859s| 2280k| 2267k| 0 | 0.0 | 657M|1383 | - |1800 | 182 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
890.57/890.95 c 863s| 2290k| 2277k| 0 | 0.0 | 660M|1383 | - |1800 | 224 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
894.57/894.91 c 867s| 2300k| 2287k| 0 | 0.0 | 663M|1383 | - |1800 | 194 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
898.47/898.83 c 871s| 2310k| 2297k| 0 | 0.0 | 665M|1383 | - |1800 | 192 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
902.36/902.77 c 875s| 2320k| 2307k| 0 | 0.0 | 668M|1383 | - |1800 | 168 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
906.26/906.68 c 878s| 2330k| 2317k| 0 | 0.0 | 671M|1383 | - |1800 | 203 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
910.26/910.61 c 882s| 2340k| 2327k| 0 | 0.0 | 674M|1383 | - |1800 | 157 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
914.26/914.61 c 886s| 2350k| 2337k| 0 | 0.0 | 677M|1383 | - |1800 | 169 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
918.16/918.59 c 890s| 2360k| 2347k| 0 | 0.0 | 680M|1383 | - |1800 | 171 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
922.15/922.51 c 894s| 2370k| 2357k| 0 | 0.0 | 683M|1383 | - |1800 | 194 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
926.05/926.47 c 898s| 2380k| 2367k| 0 | 0.0 | 685M|1383 | - |1800 | 171 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
930.06/930.41 c 901s| 2390k| 2377k| 0 | 0.0 | 688M|1383 | - |1800 | 260 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
934.05/934.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
934.05/934.40 c 905s| 2400k| 2387k| 0 | 0.0 | 691M|1383 | - |1800 | 202 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
938.06/938.49 c 909s| 2410k| 2397k| 0 | 0.0 | 694M|1383 | - |1800 | 209 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
942.35/942.72 c 913s| 2420k| 2407k| 0 | 0.0 | 697M|1383 | - |1800 | 167 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
946.45/946.86 c 917s| 2430k| 2417k| 0 | 0.0 | 700M|1383 | - |1800 | 145 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
950.44/950.84 c 921s| 2440k| 2427k| 0 | 0.0 | 702M|1383 | - |1800 | 202 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
954.34/954.79 c 925s| 2450k| 2437k| 0 | 0.0 | 705M|1383 | - |1800 | 221 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
958.34/958.74 c 929s| 2460k| 2447k| 0 | 0.0 | 708M|1383 | - |1800 | 190 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
962.34/962.70 c 933s| 2470k| 2457k| 0 | 0.0 | 711M|1383 | - |1800 | 163 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
966.34/966.70 c 937s| 2480k| 2467k| 0 | 0.0 | 714M|1383 | - |1800 | 177 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
970.34/970.78 c 941s| 2490k| 2476k| 0 | 0.0 | 717M|1383 | - |1800 | 183 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
974.43/974.82 c 945s| 2500k| 2486k| 0 | 0.0 | 719M|1383 | - |1800 | 171 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
978.33/978.77 c 948s| 2510k| 2496k| 0 | 0.0 | 722M|1383 | - |1800 | 177 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
982.33/982.74 c 952s| 2520k| 2506k| 0 | 0.0 | 725M|1383 | - |1800 | 173 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
986.34/986.79 c 956s| 2530k| 2516k| 0 | 0.0 | 728M|1383 | - |1800 | 176 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
990.43/990.81 c 960s| 2540k| 2526k| 0 | 0.0 | 731M|1383 | - |1800 | 154 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
994.43/994.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
994.43/994.82 c 964s| 2550k| 2536k| 0 | 0.0 | 733M|1383 | - |1800 | 160 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
998.43/998.90 c 968s| 2560k| 2546k| 0 | 0.0 | 736M|1383 | - |1800 | 180 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1002.53/1002.92 c 972s| 2570k| 2556k| 0 | 0.0 | 739M|1383 | - |1800 | 187 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1006.52/1006.99 c 976s| 2580k| 2566k| 0 | 0.0 | 742M|1383 | - |1800 | 190 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1010.63/1011.02 c 980s| 2590k| 2576k| 0 | 0.0 | 745M|1383 | - |1800 | 183 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1014.62/1015.02 c 984s| 2600k| 2586k| 0 | 0.0 | 748M|1383 | - |1800 | 180 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1018.52/1018.96 c 987s| 2610k| 2596k| 0 | 0.0 | 750M|1383 | - |1800 | 180 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1022.42/1022.88 c 991s| 2620k| 2606k| 0 | 0.0 | 753M|1383 | - |1800 | 153 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1026.52/1026.91 c 995s| 2630k| 2616k| 0 | 0.0 | 756M|1383 | - |1800 | 143 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1030.51/1030.95 c 999s| 2640k| 2626k| 0 | 0.0 | 759M|1383 | - |1800 | 147 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1034.52/1034.98 c 1003s| 2650k| 2636k| 0 | 0.0 | 762M|1383 | - |1800 | 129 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1038.51/1038.99 c 1007s| 2660k| 2646k| 0 | 0.0 | 764M|1383 | - |1800 | 151 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1042.52/1042.92 c 1011s| 2670k| 2656k| 0 | 0.0 | 767M|1383 | - |1800 | 182 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1046.61/1047.08 c 1015s| 2680k| 2666k| 0 | 0.0 | 770M|1383 | - |1800 | 153 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1050.61/1051.08 c 1019s| 2690k| 2676k| 0 | 0.0 | 773M|1383 | - |1800 | 157 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1054.71/1055.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1054.71/1055.14 c 1022s| 2700k| 2686k| 0 | 0.0 | 776M|1383 | - |1800 | 170 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1058.80/1059.21 c 1026s| 2710k| 2696k| 0 | 0.0 | 779M|1383 | - |1800 | 184 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1062.80/1063.27 c 1030s| 2720k| 2705k| 0 | 0.0 | 781M|1383 | - |1800 | 170 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1066.80/1067.26 c 1034s| 2730k| 2715k| 0 | 0.0 | 784M|1383 | - |1800 | 171 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1070.80/1071.22 c 1038s| 2740k| 2725k| 0 | 0.0 | 787M|1383 | - |1800 | 155 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1074.80/1075.22 c 1042s| 2750k| 2735k| 0 | 0.0 | 790M|1383 | - |1800 | 176 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1078.70/1079.18 c 1046s| 2760k| 2745k| 0 | 0.0 | 793M|1383 | - |1800 | 175 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1082.69/1083.18 c 1050s| 2770k| 2755k| 0 | 0.0 | 795M|1383 | - |1800 | 195 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1086.70/1087.18 c 1054s| 2780k| 2765k| 0 | 0.0 | 798M|1383 | - |1800 | 208 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1090.69/1091.18 c 1057s| 2790k| 2775k| 0 | 0.0 | 801M|1383 | - |1800 | 197 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1094.69/1095.15 c 1061s| 2800k| 2785k| 0 | 0.0 | 804M|1383 | - |1800 | 182 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1098.60/1099.09 c 1065s| 2810k| 2795k| 0 | 0.0 | 807M|1383 | - |1800 | 176 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1102.59/1103.07 c 1069s| 2820k| 2805k| 0 | 0.0 | 809M|1383 | - |1800 | 163 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1106.58/1107.08 c 1073s| 2830k| 2815k| 0 | 0.0 | 812M|1383 | - |1800 | 164 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1110.59/1111.04 c 1077s| 2840k| 2825k| 0 | 0.0 | 815M|1383 | - |1800 | 148 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1114.58/1115.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1114.58/1115.08 c 1081s| 2850k| 2835k| 0 | 0.0 | 818M|1383 | - |1800 | 156 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1118.59/1119.01 c 1084s| 2860k| 2845k| 0 | 0.0 | 821M|1383 | - |1800 | 179 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1122.59/1123.00 c 1088s| 2870k| 2855k| 0 | 0.0 | 824M|1383 | - |1800 | 186 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1126.37/1126.89 c 1092s| 2880k| 2865k| 0 | 0.0 | 826M|1383 | - |1800 | 183 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1130.39/1130.81 c 1096s| 2890k| 2875k| 0 | 0.0 | 829M|1383 | - |1800 | 186 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1134.38/1134.87 c 1100s| 2900k| 2885k| 0 | 0.0 | 832M|1383 | - |1800 | 176 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1138.38/1138.81 c 1104s| 2910k| 2895k| 0 | 0.0 | 835M|1383 | - |1800 | 190 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1142.38/1142.81 c 1108s| 2920k| 2905k| 0 | 0.0 | 838M|1383 | - |1800 | 153 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1146.37/1146.80 c 1111s| 2930k| 2915k| 0 | 0.0 | 840M|1383 | - |1800 | 158 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1150.28/1150.76 c 1115s| 2940k| 2925k| 0 | 0.0 | 843M|1383 | - |1800 | 184 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1154.37/1154.86 c 1119s| 2950k| 2935k| 0 | 0.0 | 846M|1383 | - |1800 | 174 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1158.37/1158.84 c 1123s| 2960k| 2944k| 0 | 0.0 | 849M|1383 | - |1800 | 221 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1162.27/1162.78 c 1127s| 2970k| 2954k| 0 | 0.0 | 852M|1383 | - |1800 | 203 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1166.26/1166.75 c 1131s| 2980k| 2964k| 0 | 0.0 | 854M|1383 | - |1800 | 163 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1170.37/1170.85 c 1135s| 2990k| 2974k| 0 | 0.0 | 857M|1383 | - |1800 | 221 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1174.26/1174.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1174.26/1174.79 c 1139s| 3000k| 2984k| 0 | 0.0 | 860M|1383 | - |1800 | 171 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1178.26/1178.70 c 1142s| 3010k| 2994k| 0 | 0.0 | 863M|1383 | - |1800 | 167 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1182.26/1182.76 c 1146s| 3020k| 3004k| 0 | 0.0 | 866M|1383 | - |1800 | 164 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1186.36/1186.80 c 1150s| 3030k| 3014k| 0 | 0.0 | 869M|1383 | - |1800 | 161 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1190.36/1190.83 c 1154s| 3040k| 3024k| 0 | 0.0 | 871M|1383 | - |1800 | 168 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1194.36/1194.85 c 1158s| 3050k| 3034k| 0 | 0.0 | 874M|1383 | - |1800 | 201 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1198.35/1198.84 c 1162s| 3060k| 3044k| 0 | 0.0 | 877M|1383 | - |1800 | 171 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1202.26/1202.77 c 1166s| 3070k| 3054k| 0 | 0.0 | 880M|1383 | - |1800 | 177 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1206.15/1206.68 c 1170s| 3080k| 3064k| 0 | 0.0 | 883M|1383 | - |1800 | 140 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1210.15/1210.67 c 1173s| 3090k| 3074k| 0 | 0.0 | 885M|1383 | - |1800 | 172 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1214.15/1214.61 c 1177s| 3100k| 3084k| 0 | 0.0 | 888M|1383 | - |1800 | 179 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1218.05/1218.50 c 1181s| 3110k| 3094k| 0 | 0.0 | 891M|1383 | - |1800 | 187 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1221.95/1222.43 c 1185s| 3120k| 3104k| 0 | 0.0 | 894M|1383 | - |1800 | 180 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1225.95/1226.40 c 1189s| 3130k| 3114k| 0 | 0.0 | 897M|1383 | - |1800 | 180 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1229.84/1230.35 c 1193s| 3140k| 3124k| 0 | 0.0 | 899M|1383 | - |1800 | 145 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1233.85/1234.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1233.85/1234.34 c 1196s| 3150k| 3134k| 0 | 0.0 | 902M|1383 | - |1800 | 156 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1237.74/1238.29 c 1200s| 3160k| 3144k| 0 | 0.0 | 905M|1383 | - |1800 | 190 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1241.63/1242.17 c 1204s| 3170k| 3154k| 0 | 0.0 | 908M|1383 | - |1800 | 180 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1245.53/1246.04 c 1208s| 3180k| 3163k| 0 | 0.0 | 911M|1383 | - |1800 | 222 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1249.43/1249.96 c 1212s| 3190k| 3173k| 0 | 0.0 | 914M|1383 | - |1800 | 168 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1253.33/1253.89 c 1215s| 3200k| 3183k| 0 | 0.0 | 916M|1383 | - |1800 | 154 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1257.43/1257.94 c 1219s| 3210k| 3193k| 0 | 0.0 | 919M|1383 | - |1800 | 192 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1261.43/1261.99 c 1223s| 3220k| 3203k| 0 | 0.0 | 922M|1383 | - |1800 | 165 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1265.43/1265.90 c 1227s| 3230k| 3213k| 0 | 0.0 | 925M|1383 | - |1800 | 188 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1269.33/1269.86 c 1231s| 3240k| 3223k| 0 | 0.0 | 928M|1383 | - |1800 | 187 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1273.33/1273.80 c 1235s| 3250k| 3233k| 0 | 0.0 | 930M|1383 | - |1800 | 192 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1277.22/1277.72 c 1238s| 3260k| 3243k| 0 | 0.0 | 933M|1383 | - |1800 | 212 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1281.13/1281.69 c 1242s| 3270k| 3253k| 0 | 0.0 | 936M|1383 | - |1800 | 242 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1285.13/1285.60 c 1246s| 3280k| 3263k| 0 | 0.0 | 939M|1383 | - |1800 | 207 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1289.02/1289.56 c 1250s| 3290k| 3273k| 0 | 0.0 | 942M|1383 | - |1800 | 208 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1293.02/1293.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1293.02/1293.50 c 1254s| 3300k| 3283k| 0 | 0.0 | 945M|1383 | - |1800 | 166 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1296.92/1297.40 c 1257s| 3310k| 3293k| 0 | 0.0 | 947M|1383 | - |1800 | 148 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1300.72/1301.27 c 1261s| 3320k| 3303k| 0 | 0.0 | 950M|1383 | - |1800 | 146 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1304.72/1305.28 c 1265s| 3330k| 3313k| 0 | 0.0 | 953M|1383 | - |1800 | 157 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1308.71/1309.23 c 1269s| 3340k| 3323k| 0 | 0.0 | 956M|1383 | - |1800 | 151 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1312.71/1313.29 c 1273s| 3350k| 3333k| 0 | 0.0 | 959M|1383 | - |1800 | 168 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1316.71/1317.25 c 1277s| 3360k| 3343k| 0 | 0.0 | 961M|1383 | - |1800 | 138 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1320.61/1321.18 c 1281s| 3370k| 3353k| 0 | 0.0 | 964M|1383 | - |1800 | 170 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1324.61/1325.12 c 1284s| 3380k| 3363k| 0 | 0.0 | 967M|1383 | - |1800 | 183 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1328.51/1329.00 c 1288s| 3390k| 3373k| 0 | 0.0 | 970M|1383 | - |1800 | 191 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1332.40/1332.97 c 1292s| 3400k| 3383k| 0 | 0.0 | 973M|1383 | - |1800 | 156 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1336.31/1336.86 c 1296s| 3410k| 3393k| 0 | 0.0 | 976M|1383 | - |1800 | 190 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1340.21/1340.73 c 1300s| 3420k| 3402k| 0 | 0.0 | 978M|1383 | - |1800 | 147 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1344.10/1344.69 c 1303s| 3430k| 3412k| 0 | 0.0 | 981M|1383 | - |1800 | 169 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1348.00/1348.58 c 1307s| 3440k| 3422k| 0 | 0.0 | 984M|1383 | - |1800 | 163 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1352.00/1352.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1352.00/1352.51 c 1311s| 3450k| 3432k| 0 | 0.0 | 987M|1383 | - |1800 | 167 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1356.00/1356.51 c 1315s| 3460k| 3442k| 0 | 0.0 | 990M|1383 | - |1800 | 172 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1359.89/1360.45 c 1319s| 3470k| 3452k| 0 | 0.0 | 993M|1383 | - |1800 | 171 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1363.89/1364.42 c 1323s| 3480k| 3462k| 0 | 0.0 | 995M|1383 | - |1800 | 158 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1367.79/1368.34 c 1326s| 3490k| 3472k| 0 | 0.0 | 998M|1383 | - |1800 | 139 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1371.59/1372.20 c 1330s| 3500k| 3482k| 0 | 0.0 |1001M|1383 | - |1800 | 153 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1375.49/1376.07 c 1334s| 3510k| 3492k| 0 | 0.0 |1004M|1383 | - |1800 | 158 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1379.49/1380.00 c 1338s| 3520k| 3502k| 0 | 0.0 |1007M|1383 | - |1800 | 162 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1383.29/1383.87 c 1341s| 3530k| 3512k| 0 | 0.0 |1010M|1383 | - |1800 | 156 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1387.19/1387.75 c 1345s| 3540k| 3522k| 0 | 0.0 |1012M|1383 | - |1800 | 212 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1390.99/1391.58 c 1349s| 3550k| 3532k| 0 | 0.0 |1015M|1383 | - |1800 | 194 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1394.88/1395.45 c 1353s| 3560k| 3542k| 0 | 0.0 |1018M|1383 | - |1800 | 191 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1398.79/1399.39 c 1356s| 3570k| 3552k| 0 | 0.0 |1021M|1383 | - |1800 | 171 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1402.68/1403.28 c 1360s| 3580k| 3562k| 0 | 0.0 |1024M|1383 | - |1800 | 203 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1406.68/1407.22 c 1364s| 3590k| 3572k| 0 | 0.0 |1027M|1383 | - |1800 | 194 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1410.48/1411.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1410.48/1411.09 c 1368s| 3600k| 3582k| 0 | 0.0 |1029M|1383 | - |1800 | 205 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1414.47/1415.01 c 1372s| 3610k| 3592k| 0 | 0.0 |1032M|1383 | - |1800 | 186 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1418.27/1418.86 c 1375s| 3620k| 3602k| 0 | 0.0 |1035M|1383 | - |1800 | 187 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1422.17/1422.75 c 1379s| 3630k| 3612k| 0 | 0.0 |1038M|1383 | - |1800 | 202 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1426.07/1426.70 c 1383s| 3640k| 3622k| 0 | 0.0 |1041M|1383 | - |1800 | 161 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1429.97/1430.52 c 1387s| 3650k| 3632k| 0 | 0.0 |1044M|1383 | - |1800 | 143 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1433.98/1434.51 c 1390s| 3660k| 3641k| 0 | 0.0 |1046M|1383 | - |1800 | 158 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1437.77/1438.37 c 1394s| 3670k| 3651k| 0 | 0.0 |1049M|1383 | - |1800 | 154 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1441.57/1442.20 c 1398s| 3680k| 3661k| 0 | 0.0 |1052M|1383 | - |1800 | 174 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1445.57/1446.10 c 1402s| 3690k| 3671k| 0 | 0.0 |1055M|1383 | - |1800 | 168 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1449.37/1449.99 c 1405s| 3700k| 3681k| 0 | 0.0 |1058M|1383 | - |1800 | 167 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1453.16/1453.75 c 1409s| 3710k| 3691k| 0 | 0.0 |1061M|1383 | - |1800 | 208 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1457.06/1457.66 c 1413s| 3720k| 3701k| 0 | 0.0 |1063M|1383 | - |1800 | 207 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1460.86/1461.44 c 1417s| 3730k| 3711k| 0 | 0.0 |1066M|1383 | - |1800 | 229 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1464.67/1465.22 c 1420s| 3740k| 3721k| 0 | 0.0 |1069M|1383 | - |1800 | 216 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1468.56/1469.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1468.56/1469.14 c 1424s| 3750k| 3731k| 0 | 0.0 |1072M|1383 | - |1800 | 260 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1472.46/1473.08 c 1428s| 3760k| 3741k| 0 | 0.0 |1075M|1383 | - |1800 | 205 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1476.45/1477.01 c 1432s| 3770k| 3751k| 0 | 0.0 |1078M|1383 | - |1800 | 194 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1480.25/1480.89 c 1435s| 3780k| 3761k| 0 | 0.0 |1080M|1383 | - |1800 | 164 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1484.35/1484.90 c 1439s| 3790k| 3771k| 0 | 0.0 |1083M|1383 | - |1800 | 140 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1488.25/1488.80 c 1443s| 3800k| 3781k| 0 | 0.0 |1086M|1383 | - |1800 | 139 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1492.15/1492.73 c 1447s| 3810k| 3791k| 0 | 0.0 |1089M|1383 | - |1800 | 249 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1495.95/1496.53 c 1451s| 3820k| 3801k| 0 | 0.0 |1092M|1383 | - |1800 | 258 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1499.85/1500.41 c 1454s| 3830k| 3811k| 0 | 0.0 |1095M|1383 | - |1800 | 191 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1503.64/1504.26 c 1458s| 3840k| 3821k| 0 | 0.0 |1097M|1383 | - |1800 | 201 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1507.55/1508.15 c 1462s| 3850k| 3831k| 0 | 0.0 |1100M|1383 | - |1800 | 207 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1511.44/1512.05 c 1466s| 3860k| 3841k| 0 | 0.0 |1103M|1383 | - |1800 | 182 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1515.35/1515.99 c 1469s| 3870k| 3851k| 0 | 0.0 |1106M|1383 | - |1800 | 187 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1519.34/1519.97 c 1473s| 3880k| 3861k| 0 | 0.0 |1109M|1383 | - |1800 | 144 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1523.34/1523.92 c 1477s| 3890k| 3870k| 0 | 0.0 |1111M|1383 | - |1800 | 153 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1527.24/1527.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1527.24/1527.89 c 1481s| 3900k| 3880k| 0 | 0.0 |1114M|1383 | - |1800 | 148 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1531.24/1531.85 c 1485s| 3910k| 3890k| 0 | 0.0 |1117M|1383 | - |1800 | 134 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1535.13/1535.77 c 1489s| 3920k| 3900k| 0 | 0.0 |1120M|1383 | - |1800 | 168 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1539.03/1539.60 c 1492s| 3930k| 3910k| 0 | 0.0 |1123M|1383 | - |1800 | 197 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1542.93/1543.52 c 1496s| 3940k| 3920k| 0 | 0.0 |1126M|1383 | - |1800 | 213 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1546.72/1547.36 c 1500s| 3950k| 3930k| 0 | 0.0 |1128M|1383 | - |1800 | 245 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1550.63/1551.25 c 1504s| 3960k| 3940k| 0 | 0.0 |1131M|1383 | - |1800 | 188 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1554.52/1555.14 c 1507s| 3970k| 3950k| 0 | 0.0 |1134M|1383 | - |1800 | 200 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1558.52/1559.12 c 1511s| 3980k| 3960k| 0 | 0.0 |1137M|1383 | - |1800 | 177 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1562.32/1562.98 c 1515s| 3990k| 3970k| 0 | 0.0 |1140M|1383 | - |1800 | 173 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1566.32/1566.90 c 1519s| 4000k| 3980k| 0 | 0.0 |1143M|1383 | - |1800 | 197 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1570.23/1570.86 c 1523s| 4010k| 3990k| 0 | 0.0 |1145M|1383 | - |1800 | 175 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1574.12/1574.73 c 1526s| 4020k| 4000k| 0 | 0.0 |1148M|1383 | - |1800 | 171 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1578.02/1578.66 c 1530s| 4030k| 4010k| 0 | 0.0 |1151M|1383 | - |1800 | 204 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1581.91/1582.59 c 1534s| 4040k| 4020k| 0 | 0.0 |1154M|1383 | - |1800 | 174 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1585.91/1586.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1585.91/1586.50 c 1538s| 4050k| 4030k| 0 | 0.0 |1157M|1383 | - |1800 | 205 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1589.81/1590.43 c 1542s| 4060k| 4040k| 0 | 0.0 |1159M|1383 | - |1800 | 158 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1593.70/1594.36 c 1545s| 4070k| 4050k| 0 | 0.0 |1162M|1383 | - |1800 | 178 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1597.60/1598.27 c 1549s| 4080k| 4060k| 0 | 0.0 |1165M|1383 | - |1800 | 166 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1601.51/1602.11 c 1553s| 4090k| 4070k| 0 | 0.0 |1168M|1383 | - |1800 | 160 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1605.41/1606.02 c 1557s| 4100k| 4080k| 0 | 0.0 |1171M|1383 | - |1800 | 170 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1609.31/1609.98 c 1561s| 4110k| 4090k| 0 | 0.0 |1173M|1383 | - |1800 | 189 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1613.30/1613.95 c 1564s| 4120k| 4099k| 0 | 0.0 |1176M|1383 | - |1800 | 145 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1617.20/1617.83 c 1568s| 4130k| 4109k| 0 | 0.0 |1179M|1383 | - |1800 | 146 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1621.00/1621.69 c 1572s| 4140k| 4119k| 0 | 0.0 |1182M|1383 | - |1800 | 139 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1624.90/1625.53 c 1576s| 4150k| 4129k| 0 | 0.0 |1185M|1383 | - |1800 | 160 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1628.79/1629.46 c 1579s| 4160k| 4139k| 0 | 0.0 |1188M|1383 | - |1800 | 157 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1632.70/1633.35 c 1583s| 4170k| 4149k| 0 | 0.0 |1190M|1383 | - |1800 | 230 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1636.60/1637.27 c 1587s| 4180k| 4159k| 0 | 0.0 |1193M|1383 | - |1800 | 186 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1640.49/1641.18 c 1591s| 4190k| 4169k| 0 | 0.0 |1196M|1383 | - |1800 | 184 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1644.39/1645.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1644.39/1645.07 c 1595s| 4200k| 4179k| 0 | 0.0 |1199M|1383 | - |1800 | 146 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
1648.30/1648.95 c 1598s| 4210k| 4189k| 0 | 0.0 |1202M|1383 | - |1800 | 178 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
1652.19/1652.87 c 1602s| 4220k| 4199k| 0 | 0.0 |1204M|1383 | - |1800 | 172 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
1656.09/1656.71 c 1606s| 4230k| 4209k| 0 | 0.0 |1207M|1383 | - |1800 | 186 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
1659.98/1660.62 c 1610s| 4240k| 4219k| 0 | 0.0 |1210M|1383 | - |1800 | 183 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
1663.88/1664.50 c 1613s| 4250k| 4229k| 0 | 0.0 |1213M|1383 | - |1800 | 202 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
1667.68/1668.37 c 1617s| 4260k| 4239k| 0 | 0.0 |1216M|1383 | - |1800 | 197 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
1671.58/1672.28 c 1621s| 4270k| 4249k| 0 | 0.0 |1219M|1383 | - |1800 | 178 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
1675.38/1676.05 c 1625s| 4280k| 4259k| 0 | 0.0 |1221M|1383 | - |1800 | 189 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
1679.18/1679.88 c 1628s| 4290k| 4269k| 0 | 0.0 |1224M|1383 | - |1800 | 172 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
1683.08/1683.71 c 1632s| 4300k| 4279k| 0 | 0.0 |1227M|1383 | - |1800 | 208 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
1686.97/1687.61 c 1636s| 4310k| 4289k| 0 | 0.0 |1230M|1383 | - |1800 | 173 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
1690.77/1691.45 c 1640s| 4320k| 4299k| 0 | 0.0 |1233M|1383 | - |1800 | 167 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
1694.68/1695.30 c 1643s| 4330k| 4309k| 0 | 0.0 |1236M|1383 | - |1800 | 158 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1698.47/1699.15 c 1647s| 4340k| 4319k| 0 | 0.0 |1238M|1383 | - |1800 | 162 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1702.37/1703.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1702.37/1703.06 c 1651s| 4350k| 4328k| 0 | 0.0 |1241M|1383 | - |1800 | 217 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1706.26/1706.99 c 1655s| 4360k| 4338k| 0 | 0.0 |1244M|1383 | - |1800 | 212 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1710.17/1710.87 c 1658s| 4370k| 4348k| 0 | 0.0 |1247M|1383 | - |1800 | 206 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1714.07/1714.72 c 1662s| 4380k| 4358k| 0 | 0.0 |1250M|1383 | - |1800 | 208 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1717.97/1718.65 c 1666s| 4390k| 4368k| 0 | 0.0 |1253M|1383 | - |1800 | 189 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1721.76/1722.49 c 1670s| 4400k| 4378k| 0 | 0.0 |1256M|1383 | - |1800 | 197 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1725.86/1726.52 c 1673s| 4410k| 4388k| 0 | 0.0 |1258M|1383 | - |1800 | 201 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1729.77/1730.40 c 1677s| 4420k| 4398k| 0 | 0.0 |1261M|1383 | - |1800 | 213 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1733.66/1734.34 c 1681s| 4430k| 4408k| 0 | 0.0 |1264M|1383 | - |1800 | 234 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1737.55/1738.25 c 1685s| 4440k| 4418k| 0 | 0.0 |1267M|1383 | - |1800 | 195 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1741.35/1742.09 c 1689s| 4450k| 4428k| 0 | 0.0 |1270M|1383 | - |1800 | 181 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1745.25/1745.94 c 1692s| 4460k| 4438k| 0 | 0.0 |1273M|1383 | - |1800 | 249 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1749.15/1749.82 c 1696s| 4470k| 4448k| 0 | 0.0 |1275M|1383 | - |1800 | 215 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1753.05/1753.72 c 1700s| 4480k| 4458k| 0 | 0.0 |1278M|1383 | - |1800 | 195 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1756.95/1757.68 c 1704s| 4490k| 4468k| 0 | 0.0 |1281M|1383 | - |1800 | 163 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1760.85/1761.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1760.85/1761.57 c 1707s| 4500k| 4478k| 0 | 0.0 |1284M|1383 | - |1800 | 162 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1764.65/1765.36 c 1711s| 4510k| 4488k| 0 | 0.0 |1287M|1383 | - |1800 | 169 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1768.55/1769.26 c 1715s| 4520k| 4498k| 0 | 0.0 |1289M|1383 | - |1800 | 164 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1772.55/1773.22 c 1719s| 4530k| 4508k| 0 | 0.0 |1292M|1383 | - |1800 | 189 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1776.35/1777.08 c 1722s| 4540k| 4518k| 0 | 0.0 |1295M|1383 | - |1800 | 202 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1780.25/1780.91 c 1726s| 4550k| 4528k| 0 | 0.0 |1298M|1383 | - |1800 | 183 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
1784.14/1784.84 c 1730s| 4560k| 4538k| 0 | 0.0 |1301M|1383 | - |1800 | 186 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
1787.94/1788.68 c 1734s| 4570k| 4548k| 0 | 0.0 |1304M|1383 | - |1800 | 206 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
1791.83/1792.55 c 1737s| 4580k| 4557k| 0 | 0.0 |1306M|1383 | - |1800 | 190 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
1795.83/1796.53 c 1741s| 4590k| 4567k| 0 | 0.0 |1309M|1383 | - |1800 | 151 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
1799.63/1800.37 c 1745s| 4600k| 4577k| 0 | 0.0 |1312M|1383 | - |1800 | 176 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
1800.05/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.71 c
1800.05/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.71 c Solving Time (sec) : 1745.38
1800.05/1800.71 c Solving Nodes : 4600723
1800.05/1800.71 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.71 c Dual Bound : +0.00000000000000e+00
1800.05/1800.71 c Gap : infinite
1800.05/1800.71 s UNKNOWN
1800.05/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.71 c Solving Time : 1745.38
1800.05/1800.71 c Original Problem :
1800.05/1800.71 c Problem name : HOME/instance-2664729-1276575552.opb
1800.05/1800.71 c Variables : 1800 (1800 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.71 c Constraints : 85 initial, 85 maximal
1800.05/1800.71 c Presolved Problem :
1800.05/1800.71 c Problem name : t_HOME/instance-2664729-1276575552.opb
1800.05/1800.71 c Variables : 1800 (1800 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.71 c Constraints : 85 initial, 7002 maximal
1800.05/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c probing : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c root node : - 0 - - 0 - - - -
1800.05/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.71 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.71 c setppc : 40 0 4915908 0 4592473 11719 2633173 0 0 0
1800.05/1800.71 c logicor : 45+ 0 800770 0 4592473 1998 241892 0 0 0
1800.05/1800.71 c countsols : 0 0 0 0 4592473 0 0 0 0 0
1800.05/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.71 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.71 c setppc : 347.05 0.00 68.42 0.00 278.63
1800.05/1800.71 c logicor : 193.05 0.00 13.17 0.00 179.88
1800.05/1800.71 c countsols : 2.00 0.00 0.00 0.00 2.00
1800.05/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.71 c vbounds : 2.63 1 0 0
1800.05/1800.71 c rootredcost : 2.14 0 0 0
1800.05/1800.71 c pseudoobj : 2.28 0 0 0
1800.05/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.71 c propagation : 63.38 13717 13717 340378 293.1 129 132.9 -
1800.05/1800.71 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.71 c applied globally : - - - 42325 120.6 - - -
1800.05/1800.71 c applied locally : - - - 4048 241.1 - - -
1800.05/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.71 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.71 c redcost : 0.00 0 0 0 0 0
1800.05/1800.71 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.71 c intobj : 0.00 0 0 0 0 0
1800.05/1800.71 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.71 c gomory : 0.00 0 0 0 0 0
1800.05/1800.71 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.71 c cmir : 0.00 0 0 0 0 0
1800.05/1800.71 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.71 c clique : 0.00 0 0 0 0 0
1800.05/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.71 c mcf : 0.00 0 0 0 0 0
1800.05/1800.71 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.71 c Pricers : Time Calls Vars
1800.05/1800.71 c problem variables: 0.00 0 0
1800.05/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.71 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.71 c inference : 1058.39 4592473 0 0 0 0 9184946
1800.05/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.71 c random : 0.00 0 0 0 0 0 0
1800.05/1800.71 c Primal Heuristics : Time Calls Found
1800.05/1800.71 c LP solutions : 0.00 - 0
1800.05/1800.71 c pseudo solutions : 0.00 - 0
1800.05/1800.71 c trivial : 0.01 1 0
1800.05/1800.71 c simplerounding : 0.00 0 0
1800.05/1800.71 c zirounding : 0.00 0 0
1800.05/1800.71 c rounding : 0.00 0 0
1800.05/1800.71 c shifting : 0.00 0 0
1800.05/1800.71 c intshifting : 0.00 0 0
1800.05/1800.71 c oneopt : 0.00 0 0
1800.05/1800.71 c twoopt : 0.00 0 0
1800.05/1800.71 c fixandinfer : 0.00 0 0
1800.05/1800.71 c feaspump : 0.00 0 0
1800.05/1800.71 c coefdiving : 0.00 0 0
1800.05/1800.71 c pscostdiving : 0.00 0 0
1800.05/1800.71 c fracdiving : 0.00 0 0
1800.05/1800.71 c veclendiving : 0.00 0 0
1800.05/1800.71 c intdiving : 0.00 0 0
1800.05/1800.71 c actconsdiving : 0.00 0 0
1800.05/1800.71 c objpscostdiving : 0.00 0 0
1800.05/1800.71 c rootsoldiving : 0.00 0 0
1800.05/1800.71 c linesearchdiving : 0.00 0 0
1800.05/1800.71 c guideddiving : 0.00 0 0
1800.05/1800.71 c octane : 0.00 0 0
1800.05/1800.71 c rens : 0.00 0 0
1800.05/1800.71 c rins : 0.00 0 0
1800.05/1800.71 c localbranching : 0.00 0 0
1800.05/1800.71 c mutation : 0.00 0 0
1800.05/1800.71 c crossover : 0.00 0 0
1800.05/1800.71 c dins : 0.00 0 0
1800.05/1800.71 c undercover : 0.00 0 0
1800.05/1800.71 c nlp : 0.00 0 0
1800.05/1800.71 c trysol : 0.00 0 0
1800.05/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.71 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.71 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.71 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.71 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.71 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.71 c (at root node) : - 0 0 0.00 -
1800.05/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.71 c B&B Tree :
1800.05/1800.71 c number of runs : 1
1800.05/1800.71 c nodes : 4600723
1800.05/1800.71 c nodes (total) : 4600723
1800.05/1800.71 c nodes left : 4578585
1800.05/1800.71 c max depth : 1383
1800.05/1800.71 c max depth (total): 1383
1800.05/1800.71 c backtracks : 5532 (0.1%)
1800.05/1800.71 c delayed cutoffs : 5639
1800.05/1800.71 c repropagations : 16596 (200285 domain reductions, 5467 cutoffs)
1800.05/1800.71 c avg switch length: 2.29
1800.05/1800.71 c switching time : 50.55
1800.05/1800.71 c Solution :
1800.05/1800.71 c Solutions found : 0 (0 improvements)
1800.05/1800.71 c Primal Bound : -
1800.05/1800.71 c Dual Bound : +0.00000000000000e+00
1800.05/1800.71 c Gap : infinite
1800.05/1800.71 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.71 c Root Iterations : 0