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-2664484-1276321231.opb>
0.00/0.02 c original problem has 2800 variables (2800 bin, 0 int, 0 impl, 0 cont) and 150 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.05 c presolving:
0.00/0.07 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 80 upgd conss, 0 impls, 70 clqs
0.00/0.07 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 150 upgd conss, 0 impls, 70 clqs
0.00/0.08 c presolving (3 rounds):
0.00/0.08 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.08 c 0 implications, 70 cliques
0.00/0.08 c presolved problem has 2800 variables (2800 bin, 0 int, 0 impl, 0 cont) and 150 constraints
0.00/0.08 c 70 constraints of type <setppc>
0.00/0.08 c 80 constraints of type <logicor>
0.00/0.08 c transformed objective value is always integral (scale: 1)
0.00/0.08 c Presolving Time: 0.03
0.00/0.08 c - non default parameters ----------------------------------------------------------------------
0.00/0.08 c # SCIP version 1.2.1.2
0.00/0.08 c
0.00/0.08 c # frequency for displaying node information lines
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.08 c display/freq = 10000
0.00/0.08 c
0.00/0.08 c # maximal time in seconds to run
0.00/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.08 c limits/time = 1799.98
0.00/0.08 c
0.00/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.08 c limits/memory = 1620
0.00/0.08 c
0.00/0.08 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.08 c limits/solutions = 1
0.00/0.08 c
0.00/0.08 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.08 c lp/solvefreq = -1
0.00/0.08 c
0.00/0.08 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.08 c separating/maxrounds = 1
0.00/0.08 c
0.00/0.08 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.08 c separating/maxroundsroot = 5
0.00/0.08 c
0.00/0.08 c # should presolving try to simplify inequalities
0.00/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.08 c constraints/linear/simplifyinequalities = TRUE
0.00/0.08 c
0.00/0.08 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.08 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.08 c constraints/knapsack/disaggregation = FALSE
0.00/0.08 c
0.00/0.08 c # should presolving try to simplify knapsacks
0.00/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.08 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.08 c
0.00/0.08 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.08 c presolving/probing/maxrounds = 0
0.00/0.08 c
0.00/0.08 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.08 c heuristics/coefdiving/freq = -1
0.00/0.08 c
0.00/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.08 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.08 c
0.00/0.08 c # additional number of allowed LP iterations
0.00/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.08 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.08 c
0.00/0.08 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.08 c heuristics/crossover/freq = -1
0.00/0.08 c
0.00/0.08 c # number of nodes added to the contingent of the total nodes
0.00/0.08 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.08 c heuristics/crossover/nodesofs = 750
0.00/0.08 c
0.00/0.08 c # number of nodes without incumbent change that heuristic should wait
0.00/0.08 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.08 c heuristics/crossover/nwaitingnodes = 100
0.00/0.08 c
0.00/0.08 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.08 c # [type: real, range: [0,1], default: 0.1]
0.00/0.08 c heuristics/crossover/nodesquot = 0.15
0.00/0.08 c
0.00/0.08 c # minimum percentage of integer variables that have to be fixed
0.00/0.08 c # [type: real, range: [0,1], default: 0.666]
0.00/0.08 c heuristics/crossover/minfixingrate = 0.5
0.00/0.08 c
0.00/0.08 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.08 c heuristics/feaspump/freq = -1
0.00/0.08 c
0.00/0.08 c # additional number of allowed LP iterations
0.00/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.08 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.08 c
0.00/0.08 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.08 c heuristics/fracdiving/freq = -1
0.00/0.08 c
0.00/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.08 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.08 c
0.00/0.08 c # additional number of allowed LP iterations
0.00/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.08 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.08 c
0.00/0.08 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.08 c heuristics/guideddiving/freq = -1
0.00/0.08 c
0.00/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.08 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.08 c
0.00/0.08 c # additional number of allowed LP iterations
0.00/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.08 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.08 c
0.00/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.08 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.08 c
0.00/0.08 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.08 c heuristics/intshifting/freq = -1
0.00/0.08 c
0.00/0.08 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.08 c heuristics/linesearchdiving/freq = -1
0.00/0.08 c
0.00/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.08 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.08 c
0.00/0.08 c # additional number of allowed LP iterations
0.00/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.08 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.08 c
0.00/0.08 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.08 c heuristics/nlp/freq = -1
0.00/0.08 c
0.00/0.08 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.08 c heuristics/objpscostdiving/freq = -1
0.00/0.08 c
0.00/0.08 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.08 c # [type: real, range: [0,1], default: 0.01]
0.00/0.08 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.08 c
0.00/0.08 c # additional number of allowed LP iterations
0.00/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.08 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.08 c
0.00/0.08 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.08 c heuristics/oneopt/freq = -1
0.00/0.08 c
0.00/0.08 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.08 c heuristics/pscostdiving/freq = -1
0.00/0.08 c
0.00/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.08 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.08 c
0.00/0.08 c # additional number of allowed LP iterations
0.00/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.08 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.08 c
0.00/0.08 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.08 c heuristics/rens/freq = -1
0.00/0.08 c
0.00/0.08 c # minimum percentage of integer variables that have to be fixable
0.00/0.08 c # [type: real, range: [0,1], default: 0.5]
0.00/0.08 c heuristics/rens/minfixingrate = 0.3
0.00/0.08 c
0.00/0.08 c # number of nodes added to the contingent of the total nodes
0.00/0.08 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.08 c heuristics/rens/nodesofs = 2000
0.00/0.08 c
0.00/0.08 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.08 c heuristics/rootsoldiving/freq = -1
0.00/0.08 c
0.00/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.08 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.08 c
0.00/0.08 c # additional number of allowed LP iterations
0.00/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.08 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.08 c
0.00/0.08 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.08 c heuristics/rounding/freq = -1
0.00/0.08 c
0.00/0.08 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.08 c heuristics/shifting/freq = -1
0.00/0.08 c
0.00/0.08 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.08 c heuristics/simplerounding/freq = -1
0.00/0.08 c
0.00/0.08 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.08 c heuristics/trivial/freq = -1
0.00/0.08 c
0.00/0.08 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.08 c heuristics/trysol/freq = -1
0.00/0.08 c
0.00/0.08 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.08 c heuristics/veclendiving/freq = -1
0.00/0.08 c
0.00/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.08 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.08 c
0.00/0.08 c # additional number of allowed LP iterations
0.00/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.08 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.08 c
0.00/0.08 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.08 c heuristics/zirounding/freq = -1
0.00/0.08 c
0.00/0.08 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.08 c separating/cmir/freq = -1
0.00/0.08 c
0.00/0.08 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.08 c separating/flowcover/freq = -1
0.00/0.08 c
0.00/0.08 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.08 c separating/rapidlearning/freq = 0
0.00/0.08 c
0.00/0.08 c -----------------------------------------------------------------------------------------------
0.00/0.08 c start solving
0.00/0.08 c
0.00/0.08 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.08 c 0.0s| 1 | 2 | 0 | - |4919k| 0 | - |2800 | 150 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
9.08/9.17 c 9.0s| 10000 | 9958 | 0 | 0.0 |8999k|1608 | - |2800 | 330 | 0 | 0 | 0 | 217 | 0 | 0.000000e+00 | -- | Inf
19.38/19.42 c 19.1s| 20000 | 19912 | 0 | 0.0 | 11M|1608 | - |2800 | 244 | 0 | 0 | 0 | 361 | 0 | 0.000000e+00 | -- | Inf
29.37/29.48 c 29.0s| 30000 | 29865 | 0 | 0.0 | 14M|1608 | - |2800 | 238 | 0 | 0 | 0 | 472 | 0 | 0.000000e+00 | -- | Inf
39.37/39.50 c 38.8s| 40000 | 39821 | 0 | 0.0 | 17M|1608 | - |2800 | 181 | 0 | 0 | 0 | 529 | 0 | 0.000000e+00 | -- | Inf
49.26/49.34 c 48.5s| 50000 | 49779 | 0 | 0.0 | 20M|1608 | - |2800 | 218 | 0 | 0 | 0 | 631 | 0 | 0.000000e+00 | -- | Inf
59.06/59.14 c 58.2s| 60000 | 59732 | 0 | 0.0 | 23M|1608 | - |2800 | 210 | 0 | 0 | 0 | 772 | 0 | 0.000000e+00 | -- | Inf
68.85/68.92 c 67.9s| 70000 | 69684 | 0 | 0.0 | 26M|1608 | - |2800 | 227 | 0 | 0 | 0 | 921 | 0 | 0.000000e+00 | -- | Inf
78.55/78.64 c 77.5s| 80000 | 79634 | 0 | 0.0 | 28M|1608 | - |2800 | 224 | 0 | 0 | 0 |1068 | 0 | 0.000000e+00 | -- | Inf
88.14/88.22 c 86.9s| 90000 | 89596 | 0 | 0.0 | 31M|1608 | - |2800 | 219 | 0 | 0 | 0 |1211 | 0 | 0.000000e+00 | -- | Inf
97.74/97.89 c 96.5s|100000 | 99546 | 0 | 0.0 | 34M|1608 | - |2800 | 220 | 0 | 0 | 0 |1416 | 0 | 0.000000e+00 | -- | Inf
107.13/107.22 c 106s|110000 |109502 | 0 | 0.0 | 37M|1608 | - |2800 | 247 | 0 | 0 | 0 |1590 | 0 | 0.000000e+00 | -- | Inf
116.43/116.56 c 115s|120000 |119453 | 0 | 0.0 | 40M|1608 | - |2800 | 231 | 0 | 0 | 0 |1767 | 0 | 0.000000e+00 | -- | Inf
125.63/125.80 c 124s|130000 |129401 | 0 | 0.0 | 43M|1608 | - |2800 | 306 | 0 | 0 | 0 |2043 | 0 | 0.000000e+00 | -- | Inf
134.72/134.84 c 133s|140000 |139351 | 0 | 0.0 | 46M|1608 | - |2800 | 258 | 0 | 0 | 0 |2283 | 0 | 0.000000e+00 | -- | Inf
143.82/143.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
143.82/143.93 c 142s|150000 |149285 | 0 | 0.0 | 48M|1608 | - |2800 | 273 | 0 | 0 | 0 |2578 | 0 | 0.000000e+00 | -- | Inf
152.72/152.88 c 151s|160000 |159233 | 0 | 0.0 | 51M|1608 | - |2800 | 263 | 0 | 0 | 0 |2794 | 0 | 0.000000e+00 | -- | Inf
161.31/161.48 c 159s|170000 |169159 | 0 | 0.0 | 54M|1608 | - |2800 | 265 | 0 | 0 | 0 |3054 | 0 | 0.000000e+00 | -- | Inf
169.91/170.08 c 168s|180000 |179105 | 0 | 0.0 | 57M|1608 | - |2800 | 249 | 0 | 0 | 0 |3235 | 0 | 0.000000e+00 | -- | Inf
178.41/178.59 c 176s|190000 |189051 | 0 | 0.0 | 60M|1608 | - |2800 | 336 | 0 | 0 | 0 |3479 | 0 | 0.000000e+00 | -- | Inf
186.70/186.89 c 184s|200000 |198995 | 0 | 0.0 | 63M|1608 | - |2800 | 344 | 0 | 0 | 0 |3692 | 0 | 0.000000e+00 | -- | Inf
194.90/195.06 c 192s|210000 |208944 | 0 | 0.0 | 66M|1608 | - |2800 | 405 | 0 | 0 | 0 |3965 | 0 | 0.000000e+00 | -- | Inf
203.10/203.28 c 200s|220000 |218877 | 0 | 0.0 | 69M|1608 | - |2800 | 371 | 0 | 0 | 0 |4222 | 0 | 0.000000e+00 | -- | Inf
211.20/211.31 c 208s|230000 |228823 | 0 | 0.0 | 71M|1608 | - |2800 | 347 | 0 | 0 | 0 |4449 | 0 | 0.000000e+00 | -- | Inf
219.09/219.24 c 216s|240000 |238755 | 0 | 0.0 | 74M|1608 | - |2800 | 381 | 0 | 0 | 0 |4689 | 0 | 0.000000e+00 | -- | Inf
226.78/226.92 c 224s|250000 |248701 | 0 | 0.0 | 77M|1608 | - |2800 | 431 | 0 | 0 | 0 |4993 | 0 | 0.000000e+00 | -- | Inf
234.38/234.54 c 231s|260000 |258641 | 0 | 0.0 | 80M|1608 | - |2800 | 417 | 0 | 0 | 0 |5262 | 0 | 0.000000e+00 | -- | Inf
241.99/242.19 c 239s|270000 |268566 | 0 | 0.0 | 83M|1608 | - |2800 | 535 | 0 | 0 | 0 |5578 | 0 | 0.000000e+00 | -- | Inf
249.48/249.63 c 246s|280000 |278515 | 0 | 0.0 | 86M|1608 | - |2800 | 588 | 0 | 0 | 0 |5873 | 0 | 0.000000e+00 | -- | Inf
256.87/257.09 c 253s|290000 |288445 | 0 | 0.0 | 89M|1608 | - |2800 | 632 | 0 | 0 | 0 |6279 | 0 | 0.000000e+00 | -- | Inf
264.18/264.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
264.18/264.34 c 260s|300000 |298363 | 0 | 0.0 | 92M|1608 | - |2800 | 678 | 0 | 0 | 0 |6623 | 0 | 0.000000e+00 | -- | Inf
271.37/271.57 c 267s|310000 |308295 | 0 | 0.0 | 95M|1608 | - |2800 | 805 | 0 | 0 | 0 |6977 | 0 | 0.000000e+00 | -- | Inf
278.47/278.65 c 274s|320000 |318229 | 0 | 0.0 | 98M|1608 | - |2800 | 896 | 0 | 0 | 0 |7371 | 0 | 0.000000e+00 | -- | Inf
285.46/285.61 c 281s|330000 |328166 | 0 | 0.0 | 101M|1608 | - |2800 | 953 | 0 | 0 | 0 |7732 | 0 | 0.000000e+00 | -- | Inf
292.36/292.56 c 288s|340000 |338078 | 0 | 0.0 | 104M|1608 | - |2800 |1127 | 0 | 0 | 0 |8170 | 0 | 0.000000e+00 | -- | Inf
299.07/299.23 c 295s|350000 |348007 | 0 | 0.0 | 107M|1608 | - |2800 |1209 | 0 | 0 | 0 |8555 | 0 | 0.000000e+00 | -- | Inf
305.67/305.88 c 301s|360000 |357936 | 0 | 0.0 | 110M|1608 | - |2800 |1194 | 0 | 0 | 0 |8944 | 0 | 0.000000e+00 | -- | Inf
312.16/312.38 c 307s|370000 |367846 | 0 | 0.0 | 113M|1608 | - |2800 |1351 | 0 | 0 | 0 |9438 | 0 | 0.000000e+00 | -- | Inf
318.75/318.94 c 314s|380000 |377757 | 0 | 0.0 | 117M|1608 | - |2800 |1412 | 0 | 0 | 0 |9874 | 0 | 0.000000e+00 | -- | Inf
325.06/325.26 c 320s|390000 |387661 | 0 | 0.0 | 120M|1608 | - |2800 |1511 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
331.25/331.49 c 326s|400000 |397572 | 0 | 0.0 | 123M|1608 | - |2800 |1699 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
337.25/337.49 c 332s|410000 |407487 | 0 | 0.0 | 126M|1608 | - |2800 |1880 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
343.25/343.41 c 338s|420000 |417387 | 0 | 0.0 | 129M|1608 | - |2800 |2117 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
349.04/349.22 c 343s|430000 |427286 | 0 | 0.0 | 133M|1608 | - |2800 |2236 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
354.74/354.96 c 349s|440000 |437178 | 0 | 0.0 | 136M|1608 | - |2800 |2370 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
360.44/360.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
360.44/360.60 c 355s|450000 |447064 | 0 | 0.0 | 139M|1608 | - |2800 |2551 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
365.94/366.11 c 360s|460000 |456940 | 0 | 0.0 | 142M|1608 | - |2800 |2699 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
371.23/371.47 c 365s|470000 |466835 | 0 | 0.0 | 145M|1608 | - |2800 |2743 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
376.43/376.65 c 370s|480000 |476713 | 0 | 0.0 | 148M|1608 | - |2800 |2870 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
381.42/381.65 c 375s|490000 |486605 | 0 | 0.0 | 151M|1608 | - |2800 |2834 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
386.32/386.53 c 380s|500000 |496478 | 0 | 0.0 | 154M|1608 | - |2800 |2861 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
391.02/391.23 c 384s|510000 |506349 | 0 | 0.0 | 158M|1608 | - |2800 |3097 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
395.52/395.76 c 389s|520000 |516211 | 0 | 0.0 | 161M|1608 | - |2800 |3280 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
400.01/400.22 c 393s|530000 |526063 | 0 | 0.0 | 164M|1608 | - |2800 |3508 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
404.22/404.47 c 397s|540000 |535904 | 0 | 0.0 | 168M|1608 | - |2800 |3608 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
408.32/408.59 c 401s|550000 |545741 | 0 | 0.0 | 171M|1608 | - |2800 |3769 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
412.31/412.57 c 405s|560000 |555562 | 0 | 0.0 | 174M|1608 | - |2800 |3840 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
416.21/416.43 c 409s|570000 |565350 | 0 | 0.0 | 178M|1608 | - |2800 |4356 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
420.02/420.20 c 412s|580000 |575059 | 0 | 0.0 | 182M|1608 | - |2800 |4695 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
423.70/423.96 c 416s|590000 |584646 | 0 | 0.0 | 186M|1608 | - |2800 |5434 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
427.71/427.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
427.71/427.99 c 420s|600000 |593914 | 0 | 0.0 | 192M|1608 | - |2800 |6767 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
436.40/436.69 c 428s|610000 |603115 | 0 | 0.0 | 193M|1608 | - |2800 |5567 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
445.80/446.09 c 438s|620000 |613066 | 0 | 0.0 | 191M|1608 | - |2800 | 543 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
455.30/455.52 c 447s|630000 |623015 | 0 | 0.0 | 194M|1608 | - |2800 | 282 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
464.79/465.10 c 456s|640000 |632967 | 0 | 0.0 | 197M|1608 | - |2800 | 256 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
474.59/474.80 c 466s|650000 |642890 | 0 | 0.0 | 200M|1608 | - |2800 | 278 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
484.18/484.48 c 476s|660000 |652841 | 0 | 0.0 | 202M|1608 | - |2800 | 268 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
493.98/494.22 c 485s|670000 |662789 | 0 | 0.0 | 205M|1608 | - |2800 | 257 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
503.69/503.96 c 495s|680000 |672742 | 0 | 0.0 | 208M|1608 | - |2800 | 230 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
513.37/513.65 c 504s|690000 |682696 | 0 | 0.0 | 211M|1608 | - |2800 | 319 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
523.17/523.43 c 514s|700000 |692642 | 0 | 0.0 | 214M|1608 | - |2800 | 329 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
532.87/533.19 c 524s|710000 |702591 | 0 | 0.0 | 217M|1608 | - |2800 | 307 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
542.67/542.95 c 533s|720000 |712547 | 0 | 0.0 | 219M|1608 | - |2800 | 308 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
552.46/552.78 c 543s|730000 |722494 | 0 | 0.0 | 222M|1608 | - |2800 | 290 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
562.26/562.58 c 553s|740000 |732450 | 0 | 0.0 | 225M|1608 | - |2800 | 336 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
572.05/572.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
572.05/572.32 c 562s|750000 |742401 | 0 | 0.0 | 228M|1608 | - |2800 | 314 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
581.76/582.03 c 572s|760000 |752356 | 0 | 0.0 | 231M|1608 | - |2800 | 285 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
591.55/591.84 c 581s|770000 |762302 | 0 | 0.0 | 234M|1608 | - |2800 | 289 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
601.34/601.66 c 591s|780000 |772236 | 0 | 0.0 | 236M|1608 | - |2800 | 278 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
611.14/611.44 c 601s|790000 |782177 | 0 | 0.0 | 239M|1608 | - |2800 | 297 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
620.84/621.13 c 610s|800000 |792130 | 0 | 0.0 | 242M|1608 | - |2800 | 243 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
630.53/630.87 c 620s|810000 |802085 | 0 | 0.0 | 245M|1608 | - |2800 | 232 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
640.23/640.57 c 630s|820000 |812036 | 0 | 0.0 | 247M|1608 | - |2800 | 259 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
649.84/650.19 c 639s|830000 |821989 | 0 | 0.0 | 250M|1608 | - |2800 | 285 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
659.52/659.81 c 649s|840000 |831939 | 0 | 0.0 | 253M|1608 | - |2800 | 285 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
669.11/669.46 c 658s|850000 |841897 | 0 | 0.0 | 256M|1608 | - |2800 | 283 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
678.81/679.13 c 668s|860000 |851853 | 0 | 0.0 | 259M|1608 | - |2800 | 266 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
688.51/688.84 c 677s|870000 |861781 | 0 | 0.0 | 262M|1608 | - |2800 | 282 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
698.21/698.53 c 687s|880000 |871724 | 0 | 0.0 | 265M|1608 | - |2800 | 251 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
707.80/708.20 c 696s|890000 |881681 | 0 | 0.0 | 267M|1608 | - |2800 | 287 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
717.59/717.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
717.59/717.90 c 706s|900000 |891635 | 0 | 0.0 | 270M|1608 | - |2800 | 287 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
727.09/727.49 c 715s|910000 |901595 | 0 | 0.0 | 273M|1608 | - |2800 | 278 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
736.79/737.19 c 725s|920000 |911542 | 0 | 0.0 | 276M|1608 | - |2800 | 326 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
746.49/746.88 c 734s|930000 |921498 | 0 | 0.0 | 279M|1608 | - |2800 | 312 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
756.28/756.69 c 744s|940000 |931443 | 0 | 0.0 | 282M|1608 | - |2800 | 288 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
766.07/766.45 c 754s|950000 |941381 | 0 | 0.0 | 285M|1608 | - |2800 | 349 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
775.78/776.19 c 763s|960000 |951339 | 0 | 0.0 | 288M|1608 | - |2800 | 289 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
785.67/786.01 c 773s|970000 |961282 | 0 | 0.0 | 291M|1608 | - |2800 | 349 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
795.36/795.78 c 783s|980000 |971235 | 0 | 0.0 | 293M|1608 | - |2800 | 305 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
805.26/805.66 c 792s|990000 |981168 | 0 | 0.0 | 296M|1608 | - |2800 | 331 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
815.06/815.43 c 802s| 1000k|991118 | 0 | 0.0 | 299M|1608 | - |2800 | 272 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
824.85/825.25 c 812s| 1010k| 1001k| 0 | 0.0 | 302M|1608 | - |2800 | 265 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
834.56/834.91 c 821s| 1020k| 1011k| 0 | 0.0 | 305M|1608 | - |2800 | 307 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
844.35/844.70 c 831s| 1030k| 1020k| 0 | 0.0 | 308M|1608 | - |2800 | 295 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
854.15/854.58 c 841s| 1040k| 1030k| 0 | 0.0 | 311M|1608 | - |2800 | 343 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
863.94/864.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
863.94/864.35 c 850s| 1050k| 1040k| 0 | 0.0 | 313M|1608 | - |2800 | 307 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
873.74/874.11 c 860s| 1060k| 1050k| 0 | 0.0 | 316M|1608 | - |2800 | 333 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
883.53/883.93 c 870s| 1070k| 1060k| 0 | 0.0 | 319M|1608 | - |2800 | 311 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
893.32/893.78 c 879s| 1080k| 1070k| 0 | 0.0 | 322M|1608 | - |2800 | 257 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
903.12/903.53 c 889s| 1090k| 1080k| 0 | 0.0 | 325M|1608 | - |2800 | 313 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
912.83/913.27 c 898s| 1100k| 1090k| 0 | 0.0 | 328M|1608 | - |2800 | 278 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
922.53/922.94 c 908s| 1110k| 1100k| 0 | 0.0 | 330M|1608 | - |2800 | 321 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
932.22/932.69 c 918s| 1120k| 1110k| 0 | 0.0 | 333M|1608 | - |2800 | 255 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
942.01/942.48 c 927s| 1130k| 1120k| 0 | 0.0 | 336M|1608 | - |2800 | 263 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
951.81/952.24 c 937s| 1140k| 1130k| 0 | 0.0 | 339M|1608 | - |2800 | 330 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
961.51/961.99 c 947s| 1150k| 1140k| 0 | 0.0 | 342M|1608 | - |2800 | 305 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
971.30/971.77 c 956s| 1160k| 1150k| 0 | 0.0 | 345M|1608 | - |2800 | 299 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
981.00/981.43 c 966s| 1170k| 1160k| 0 | 0.0 | 348M|1608 | - |2800 | 345 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
990.70/991.18 c 975s| 1180k| 1170k| 0 | 0.0 | 350M|1608 | - |2800 | 303 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
1000.29/1000.77 c 985s| 1190k| 1180k| 0 | 0.0 | 353M|1608 | - |2800 | 263 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
1010.09/1010.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1010.09/1010.59 c 994s| 1200k| 1190k| 0 | 0.0 | 356M|1608 | - |2800 | 280 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
1019.88/1020.31 c 1004s| 1210k| 1200k| 0 | 0.0 | 359M|1608 | - |2800 | 304 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
1029.57/1030.02 c 1014s| 1220k| 1209k| 0 | 0.0 | 362M|1608 | - |2800 | 284 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
1039.27/1039.71 c 1023s| 1230k| 1219k| 0 | 0.0 | 364M|1608 | - |2800 | 268 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
1048.97/1049.46 c 1033s| 1240k| 1229k| 0 | 0.0 | 367M|1608 | - |2800 | 296 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
1058.66/1059.14 c 1042s| 1250k| 1239k| 0 | 0.0 | 370M|1608 | - |2800 | 289 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
1068.36/1068.84 c 1052s| 1260k| 1249k| 0 | 0.0 | 373M|1608 | - |2800 | 279 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
1078.05/1078.55 c 1061s| 1270k| 1259k| 0 | 0.0 | 376M|1608 | - |2800 | 280 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
1087.75/1088.24 c 1071s| 1280k| 1269k| 0 | 0.0 | 379M|1608 | - |2800 | 319 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
1097.25/1097.79 c 1080s| 1290k| 1279k| 0 | 0.0 | 382M|1608 | - |2800 | 286 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
1106.94/1107.44 c 1090s| 1300k| 1289k| 0 | 0.0 | 385M|1608 | - |2800 | 303 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
1116.64/1117.14 c 1100s| 1310k| 1299k| 0 | 0.0 | 387M|1608 | - |2800 | 337 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
1126.23/1126.76 c 1109s| 1320k| 1309k| 0 | 0.0 | 390M|1608 | - |2800 | 273 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
1135.93/1136.44 c 1119s| 1330k| 1319k| 0 | 0.0 | 393M|1608 | - |2800 | 293 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
1145.63/1146.14 c 1128s| 1340k| 1329k| 0 | 0.0 | 396M|1608 | - |2800 | 297 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
1155.33/1155.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1155.33/1155.82 c 1138s| 1350k| 1339k| 0 | 0.0 | 399M|1608 | - |2800 | 318 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
1164.82/1165.38 c 1147s| 1360k| 1349k| 0 | 0.0 | 402M|1608 | - |2800 | 318 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
1174.61/1175.11 c 1157s| 1370k| 1359k| 0 | 0.0 | 405M|1608 | - |2800 | 321 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
1184.32/1184.83 c 1166s| 1380k| 1369k| 0 | 0.0 | 407M|1608 | - |2800 | 284 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
1193.81/1194.39 c 1176s| 1390k| 1379k| 0 | 0.0 | 410M|1608 | - |2800 | 302 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
1203.41/1203.98 c 1185s| 1400k| 1389k| 0 | 0.0 | 413M|1608 | - |2800 | 256 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
1213.10/1213.67 c 1195s| 1410k| 1398k| 0 | 0.0 | 416M|1608 | - |2800 | 280 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
1222.81/1223.36 c 1204s| 1420k| 1408k| 0 | 0.0 | 419M|1608 | - |2800 | 296 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
1232.39/1232.90 c 1214s| 1430k| 1418k| 0 | 0.0 | 422M|1608 | - |2800 | 267 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1241.98/1242.51 c 1223s| 1440k| 1428k| 0 | 0.0 | 424M|1608 | - |2800 | 342 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1251.67/1252.22 c 1233s| 1450k| 1438k| 0 | 0.0 | 427M|1608 | - |2800 | 274 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1261.28/1261.89 c 1242s| 1460k| 1448k| 0 | 0.0 | 430M|1608 | - |2800 | 311 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1270.97/1271.52 c 1252s| 1470k| 1458k| 0 | 0.0 | 433M|1608 | - |2800 | 296 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
1280.46/1281.09 c 1261s| 1480k| 1468k| 0 | 0.0 | 436M|1608 | - |2800 | 302 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
1290.26/1290.81 c 1271s| 1490k| 1478k| 0 | 0.0 | 438M|1608 | - |2800 | 248 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
1299.96/1300.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1299.96/1300.55 c 1280s| 1500k| 1488k| 0 | 0.0 | 441M|1608 | - |2800 | 261 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
1309.56/1310.16 c 1290s| 1510k| 1498k| 0 | 0.0 | 444M|1608 | - |2800 | 255 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
1319.15/1319.71 c 1299s| 1520k| 1508k| 0 | 0.0 | 447M|1608 | - |2800 | 287 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
1328.75/1329.39 c 1309s| 1530k| 1518k| 0 | 0.0 | 450M|1608 | - |2800 | 275 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
1338.53/1339.16 c 1318s| 1540k| 1528k| 0 | 0.0 | 453M|1608 | - |2800 | 272 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
1348.14/1348.72 c 1328s| 1550k| 1538k| 0 | 0.0 | 455M|1608 | - |2800 | 245 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
1357.73/1358.33 c 1337s| 1560k| 1548k| 0 | 0.0 | 458M|1608 | - |2800 | 287 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
1367.33/1367.98 c 1347s| 1570k| 1558k| 0 | 0.0 | 461M|1608 | - |2800 | 291 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
1376.92/1377.59 c 1356s| 1580k| 1568k| 0 | 0.0 | 464M|1608 | - |2800 | 266 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
1386.42/1387.01 c 1366s| 1590k| 1578k| 0 | 0.0 | 467M|1608 | - |2800 | 284 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
1395.81/1396.47 c 1375s| 1600k| 1587k| 0 | 0.0 | 470M|1608 | - |2800 | 316 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
1405.51/1406.10 c 1384s| 1610k| 1597k| 0 | 0.0 | 473M|1608 | - |2800 | 262 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
1415.12/1415.77 c 1394s| 1620k| 1607k| 0 | 0.0 | 475M|1608 | - |2800 | 314 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
1424.70/1425.30 c 1403s| 1630k| 1617k| 0 | 0.0 | 478M|1608 | - |2800 | 268 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
1434.20/1434.83 c 1413s| 1640k| 1627k| 0 | 0.0 | 481M|1608 | - |2800 | 245 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
1443.80/1444.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1443.80/1444.48 c 1422s| 1650k| 1637k| 0 | 0.0 | 484M|1608 | - |2800 | 335 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
1453.49/1454.17 c 1432s| 1660k| 1647k| 0 | 0.0 | 487M|1608 | - |2800 | 297 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
1463.09/1463.71 c 1441s| 1670k| 1657k| 0 | 0.0 | 490M|1608 | - |2800 | 311 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
1472.49/1473.19 c 1451s| 1680k| 1667k| 0 | 0.0 | 493M|1608 | - |2800 | 305 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
1482.08/1482.79 c 1460s| 1690k| 1677k| 0 | 0.0 | 496M|1608 | - |2800 | 317 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
1491.78/1492.44 c 1470s| 1700k| 1687k| 0 | 0.0 | 498M|1608 | - |2800 | 293 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
1501.28/1501.99 c 1479s| 1710k| 1697k| 0 | 0.0 | 501M|1608 | - |2800 | 277 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
1510.78/1511.49 c 1488s| 1720k| 1707k| 0 | 0.0 | 504M|1608 | - |2800 | 276 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
1520.37/1521.08 c 1498s| 1730k| 1717k| 0 | 0.0 | 507M|1608 | - |2800 | 285 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
1530.06/1530.78 c 1507s| 1740k| 1727k| 0 | 0.0 | 510M|1608 | - |2800 | 322 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
1539.66/1540.32 c 1517s| 1750k| 1737k| 0 | 0.0 | 513M|1608 | - |2800 | 305 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
1549.16/1549.83 c 1526s| 1760k| 1747k| 0 | 0.0 | 515M|1608 | - |2800 | 206 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
1558.66/1559.37 c 1536s| 1770k| 1757k| 0 | 0.0 | 518M|1608 | - |2800 | 273 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
1568.26/1569.00 c 1545s| 1780k| 1767k| 0 | 0.0 | 521M|1608 | - |2800 | 304 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
1577.96/1578.69 c 1555s| 1790k| 1776k| 0 | 0.0 | 524M|1608 | - |2800 | 307 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
1587.45/1588.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1587.45/1588.13 c 1564s| 1800k| 1786k| 0 | 0.0 | 527M|1608 | - |2800 | 254 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
1596.84/1597.56 c 1573s| 1810k| 1796k| 0 | 0.0 | 530M|1608 | - |2800 | 285 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
1606.34/1607.09 c 1583s| 1820k| 1806k| 0 | 0.0 | 533M|1608 | - |2800 | 291 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
1616.03/1616.70 c 1592s| 1830k| 1816k| 0 | 0.0 | 535M|1608 | - |2800 | 208 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
1625.54/1626.22 c 1601s| 1840k| 1826k| 0 | 0.0 | 538M|1608 | - |2800 | 289 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
1634.93/1635.65 c 1611s| 1850k| 1836k| 0 | 0.0 | 541M|1608 | - |2800 | 251 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
1644.42/1645.11 c 1620s| 1860k| 1846k| 0 | 0.0 | 544M|1608 | - |2800 | 338 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
1654.02/1654.73 c 1630s| 1870k| 1856k| 0 | 0.0 | 547M|1608 | - |2800 | 266 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
1663.63/1664.35 c 1639s| 1880k| 1866k| 0 | 0.0 | 550M|1608 | - |2800 | 252 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
1673.11/1673.86 c 1648s| 1890k| 1876k| 0 | 0.0 | 553M|1608 | - |2800 | 335 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
1682.60/1683.30 c 1658s| 1900k| 1886k| 0 | 0.0 | 555M|1608 | - |2800 | 270 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
1692.00/1692.73 c 1667s| 1910k| 1896k| 0 | 0.0 | 558M|1608 | - |2800 | 340 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
1701.50/1702.25 c 1676s| 1920k| 1906k| 0 | 0.0 | 561M|1608 | - |2800 | 247 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
1711.00/1711.71 c 1686s| 1930k| 1916k| 0 | 0.0 | 564M|1608 | - |2800 | 349 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
1720.39/1721.12 c 1695s| 1940k| 1926k| 0 | 0.0 | 567M|1608 | - |2800 | 293 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
1729.89/1730.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1729.89/1730.69 c 1704s| 1950k| 1936k| 0 | 0.0 | 570M|1608 | - |2800 | 263 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
1739.39/1740.17 c 1714s| 1960k| 1946k| 0 | 0.0 | 572M|1608 | - |2800 | 293 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
1749.08/1749.80 c 1723s| 1970k| 1956k| 0 | 0.0 | 575M|1608 | - |2800 | 301 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
1758.48/1759.28 c 1733s| 1980k| 1965k| 0 | 0.0 | 578M|1608 | - |2800 | 298 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
1767.97/1768.71 c 1742s| 1990k| 1975k| 0 | 0.0 | 581M|1608 | - |2800 | 308 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
1777.38/1778.13 c 1751s| 2000k| 1985k| 0 | 0.0 | 584M|1608 | - |2800 | 299 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
1786.78/1787.56 c 1760s| 2010k| 1995k| 0 | 0.0 | 587M|1608 | - |2800 | 274 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
1796.46/1797.20 c 1770s| 2020k| 2005k| 0 | 0.0 | 590M|1608 | - |2800 | 351 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
1800.08/1800.81 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.81 c
1800.08/1800.81 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.81 c Solving Time (sec) : 1773.52
1800.08/1800.81 c Solving Nodes : 2023894
1800.08/1800.81 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.08/1800.81 c Dual Bound : +0.00000000000000e+00
1800.08/1800.81 c Gap : infinite
1800.08/1800.81 s UNKNOWN
1800.08/1800.81 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.81 c Solving Time : 1773.52
1800.08/1800.81 c Original Problem :
1800.08/1800.81 c Problem name : HOME/instance-2664484-1276321231.opb
1800.08/1800.81 c Variables : 2800 (2800 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.81 c Constraints : 150 initial, 150 maximal
1800.08/1800.81 c Presolved Problem :
1800.08/1800.81 c Problem name : t_HOME/instance-2664484-1276321231.opb
1800.08/1800.81 c Variables : 2800 (2800 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.81 c Constraints : 150 initial, 7787 maximal
1800.08/1800.81 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.81 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.81 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.81 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.81 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.81 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.81 c probing : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.81 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.81 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.81 c root node : - 0 - - 0 - - - -
1800.08/1800.81 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.81 c integral : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.81 c setppc : 70 0 2202076 0 2018651 7817 1403163 0 0 0
1800.08/1800.81 c logicor : 80+ 0 425430 0 2018651 1067 143699 0 0 0
1800.08/1800.81 c countsols : 0 0 0 0 2018651 0 0 0 0 0
1800.08/1800.81 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.81 c integral : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.81 c setppc : 313.08 0.00 30.59 0.00 282.49
1800.08/1800.81 c logicor : 150.33 0.00 6.96 0.00 143.37
1800.08/1800.81 c countsols : 1.21 0.00 0.00 0.00 1.21
1800.08/1800.81 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.81 c vbounds : 1.27 1 0 0
1800.08/1800.81 c rootredcost : 1.23 0 0 0
1800.08/1800.81 c pseudoobj : 1.27 0 0 0
1800.08/1800.81 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.81 c propagation : 24.46 8884 8884 205512 208.4 49 107.4 -
1800.08/1800.81 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.81 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.81 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.81 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.08/1800.81 c applied globally : - - - 68020 154.1 - - -
1800.08/1800.81 c applied locally : - - - 109 318.7 - - -
1800.08/1800.81 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.81 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.08/1800.81 c redcost : 0.00 0 0 0 0 0
1800.08/1800.81 c impliedbounds : 0.00 0 0 0 0 0
1800.08/1800.81 c intobj : 0.00 0 0 0 0 0
1800.08/1800.81 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.81 c gomory : 0.00 0 0 0 0 0
1800.08/1800.81 c strongcg : 0.00 0 0 0 0 0
1800.08/1800.81 c cmir : 0.00 0 0 0 0 0
1800.08/1800.81 c flowcover : 0.00 0 0 0 0 0
1800.08/1800.81 c clique : 0.00 0 0 0 0 0
1800.08/1800.81 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.81 c mcf : 0.00 0 0 0 0 0
1800.08/1800.81 c rapidlearning : 0.00 0 0 0 0 0
1800.08/1800.81 c Pricers : Time Calls Vars
1800.08/1800.81 c problem variables: 0.00 0 0
1800.08/1800.81 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.81 c relpscost : 0.00 0 0 0 0 0 0
1800.08/1800.81 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.81 c inference : 1225.78 2018651 0 0 0 0 4037302
1800.08/1800.81 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.81 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.81 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.81 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.81 c random : 0.00 0 0 0 0 0 0
1800.08/1800.81 c Primal Heuristics : Time Calls Found
1800.08/1800.81 c LP solutions : 0.00 - 0
1800.08/1800.81 c pseudo solutions : 0.00 - 0
1800.08/1800.81 c trivial : 0.01 1 0
1800.08/1800.81 c simplerounding : 0.00 0 0
1800.08/1800.81 c zirounding : 0.00 0 0
1800.08/1800.81 c rounding : 0.00 0 0
1800.08/1800.81 c shifting : 0.00 0 0
1800.08/1800.81 c intshifting : 0.00 0 0
1800.08/1800.81 c oneopt : 0.00 0 0
1800.08/1800.81 c twoopt : 0.00 0 0
1800.08/1800.81 c fixandinfer : 0.00 0 0
1800.08/1800.81 c feaspump : 0.00 0 0
1800.08/1800.81 c coefdiving : 0.00 0 0
1800.08/1800.81 c pscostdiving : 0.00 0 0
1800.08/1800.81 c fracdiving : 0.00 0 0
1800.08/1800.81 c veclendiving : 0.00 0 0
1800.08/1800.81 c intdiving : 0.00 0 0
1800.08/1800.81 c actconsdiving : 0.00 0 0
1800.08/1800.81 c objpscostdiving : 0.00 0 0
1800.08/1800.81 c rootsoldiving : 0.00 0 0
1800.08/1800.81 c linesearchdiving : 0.00 0 0
1800.08/1800.81 c guideddiving : 0.00 0 0
1800.08/1800.81 c octane : 0.00 0 0
1800.08/1800.81 c rens : 0.00 0 0
1800.08/1800.81 c rins : 0.00 0 0
1800.08/1800.81 c localbranching : 0.00 0 0
1800.08/1800.81 c mutation : 0.00 0 0
1800.08/1800.81 c crossover : 0.00 0 0
1800.08/1800.81 c dins : 0.00 0 0
1800.08/1800.81 c undercover : 0.00 0 0
1800.08/1800.81 c nlp : 0.00 0 0
1800.08/1800.81 c trysol : 0.00 0 0
1800.08/1800.81 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.81 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.81 c dual LP : 0.00 0 0 0.00 -
1800.08/1800.81 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.81 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.81 c diving/probing LP: 0.00 0 0 0.00 -
1800.08/1800.81 c strong branching : 0.00 0 0 0.00 -
1800.08/1800.81 c (at root node) : - 0 0 0.00 -
1800.08/1800.81 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.81 c B&B Tree :
1800.08/1800.81 c number of runs : 1
1800.08/1800.81 c nodes : 2023894
1800.08/1800.81 c nodes (total) : 2023894
1800.08/1800.81 c nodes left : 2009627
1800.08/1800.81 c max depth : 1608
1800.08/1800.81 c max depth (total): 1608
1800.08/1800.81 c backtracks : 3684 (0.2%)
1800.08/1800.81 c delayed cutoffs : 3782
1800.08/1800.81 c repropagations : 9433 (112845 domain reductions, 3641 cutoffs)
1800.08/1800.81 c avg switch length: 2.26
1800.08/1800.81 c switching time : 29.35
1800.08/1800.81 c Solution :
1800.08/1800.81 c Solutions found : 0 (0 improvements)
1800.08/1800.81 c Primal Bound : -
1800.08/1800.81 c Dual Bound : +0.00000000000000e+00
1800.08/1800.81 c Gap : infinite
1800.08/1800.81 c Root Dual Bound : +0.00000000000000e+00
1800.08/1800.81 c Root Iterations : 0