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-2664505-1276324719.opb>
0.00/0.02 c original problem has 3150 variables (3150 bin, 0 int, 0 impl, 0 cont) and 160 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.03 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.03/0.06 c presolving:
0.03/0.07 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 90 upgd conss, 0 impls, 70 clqs
0.03/0.08 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 160 upgd conss, 0 impls, 70 clqs
0.03/0.08 c presolving (3 rounds):
0.03/0.08 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.03/0.08 c 0 implications, 70 cliques
0.03/0.08 c presolved problem has 3150 variables (3150 bin, 0 int, 0 impl, 0 cont) and 160 constraints
0.03/0.08 c 70 constraints of type <setppc>
0.03/0.08 c 90 constraints of type <logicor>
0.03/0.08 c transformed objective value is always integral (scale: 1)
0.03/0.08 c Presolving Time: 0.04
0.03/0.08 c - non default parameters ----------------------------------------------------------------------
0.03/0.08 c # SCIP version 1.2.1.2
0.03/0.08 c
0.03/0.08 c # frequency for displaying node information lines
0.03/0.08 c # [type: int, range: [-1,2147483647], default: 100]
0.03/0.08 c display/freq = 10000
0.03/0.08 c
0.03/0.08 c # maximal time in seconds to run
0.03/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.08 c limits/time = 1799.98
0.03/0.08 c
0.03/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.03/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.08 c limits/memory = 1620
0.03/0.08 c
0.03/0.08 c # solving stops, if the given number of solutions were found (-1: no limit)
0.03/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.03/0.08 c limits/solutions = 1
0.03/0.08 c
0.03/0.08 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.03/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.03/0.08 c lp/solvefreq = -1
0.03/0.08 c
0.03/0.08 c # maximal number of separation rounds per node (-1: unlimited)
0.03/0.08 c # [type: int, range: [-1,2147483647], default: 5]
0.03/0.08 c separating/maxrounds = 1
0.03/0.08 c
0.03/0.08 c # maximal number of separation rounds in the root node (-1: unlimited)
0.03/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.03/0.08 c separating/maxroundsroot = 5
0.03/0.08 c
0.03/0.08 c # should presolving try to simplify inequalities
0.03/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.08 c constraints/linear/simplifyinequalities = TRUE
0.03/0.08 c
0.03/0.08 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.03/0.08 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.03/0.08 c constraints/knapsack/disaggregation = FALSE
0.03/0.08 c
0.03/0.08 c # should presolving try to simplify knapsacks
0.03/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.08 c constraints/knapsack/simplifyinequalities = TRUE
0.03/0.08 c
0.03/0.08 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.03/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.03/0.08 c presolving/probing/maxrounds = 0
0.03/0.08 c
0.03/0.08 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.03/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.03/0.08 c heuristics/coefdiving/freq = -1
0.03/0.08 c
0.03/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.03/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.03/0.08 c heuristics/coefdiving/maxlpiterquot = 0.075
0.03/0.08 c
0.03/0.08 c # additional number of allowed LP iterations
0.03/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.03/0.08 c heuristics/coefdiving/maxlpiterofs = 1500
0.03/0.08 c
0.03/0.08 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.03/0.08 c # [type: int, range: [-1,2147483647], default: 30]
0.03/0.08 c heuristics/crossover/freq = -1
0.03/0.08 c
0.03/0.08 c # number of nodes added to the contingent of the total nodes
0.03/0.08 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.03/0.08 c heuristics/crossover/nodesofs = 750
0.03/0.08 c
0.03/0.08 c # number of nodes without incumbent change that heuristic should wait
0.03/0.08 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.03/0.08 c heuristics/crossover/nwaitingnodes = 100
0.03/0.08 c
0.03/0.08 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.03/0.08 c # [type: real, range: [0,1], default: 0.1]
0.03/0.08 c heuristics/crossover/nodesquot = 0.15
0.03/0.08 c
0.03/0.08 c # minimum percentage of integer variables that have to be fixed
0.03/0.08 c # [type: real, range: [0,1], default: 0.666]
0.03/0.08 c heuristics/crossover/minfixingrate = 0.5
0.03/0.08 c
0.03/0.08 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.03/0.08 c # [type: int, range: [-1,2147483647], default: 20]
0.03/0.08 c heuristics/feaspump/freq = -1
0.03/0.08 c
0.03/0.08 c # additional number of allowed LP iterations
0.03/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.03/0.08 c heuristics/feaspump/maxlpiterofs = 2000
0.03/0.09 c
0.03/0.09 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.03/0.09 c # [type: int, range: [-1,2147483647], default: 10]
0.03/0.09 c heuristics/fracdiving/freq = -1
0.03/0.09 c
0.03/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations
0.03/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.03/0.09 c heuristics/fracdiving/maxlpiterquot = 0.075
0.03/0.09 c
0.03/0.09 c # additional number of allowed LP iterations
0.03/0.09 c # [type: int, range: [0,2147483647], default: 1000]
0.03/0.09 c heuristics/fracdiving/maxlpiterofs = 1500
0.03/0.09 c
0.03/0.09 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.03/0.09 c # [type: int, range: [-1,2147483647], default: 10]
0.03/0.09 c heuristics/guideddiving/freq = -1
0.03/0.09 c
0.03/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations
0.03/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.03/0.09 c heuristics/guideddiving/maxlpiterquot = 0.075
0.03/0.09 c
0.03/0.09 c # additional number of allowed LP iterations
0.03/0.09 c # [type: int, range: [0,2147483647], default: 1000]
0.03/0.09 c heuristics/guideddiving/maxlpiterofs = 1500
0.03/0.09 c
0.03/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations
0.03/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.03/0.09 c heuristics/intdiving/maxlpiterquot = 0.075
0.03/0.09 c
0.03/0.09 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.03/0.09 c # [type: int, range: [-1,2147483647], default: 10]
0.03/0.09 c heuristics/intshifting/freq = -1
0.03/0.09 c
0.03/0.09 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.03/0.09 c # [type: int, range: [-1,2147483647], default: 10]
0.03/0.09 c heuristics/linesearchdiving/freq = -1
0.03/0.09 c
0.03/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations
0.03/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.03/0.09 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.03/0.09 c
0.03/0.09 c # additional number of allowed LP iterations
0.03/0.09 c # [type: int, range: [0,2147483647], default: 1000]
0.03/0.09 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.03/0.09 c
0.03/0.09 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.03/0.09 c # [type: int, range: [-1,2147483647], default: 1]
0.03/0.09 c heuristics/nlp/freq = -1
0.03/0.09 c
0.03/0.09 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.03/0.09 c # [type: int, range: [-1,2147483647], default: 20]
0.03/0.09 c heuristics/objpscostdiving/freq = -1
0.03/0.09 c
0.03/0.09 c # maximal fraction of diving LP iterations compared to total iteration number
0.03/0.09 c # [type: real, range: [0,1], default: 0.01]
0.03/0.09 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.03/0.09 c
0.03/0.09 c # additional number of allowed LP iterations
0.03/0.09 c # [type: int, range: [0,2147483647], default: 1000]
0.03/0.09 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.03/0.09 c
0.03/0.09 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.03/0.09 c # [type: int, range: [-1,2147483647], default: 1]
0.03/0.09 c heuristics/oneopt/freq = -1
0.03/0.09 c
0.03/0.09 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.03/0.09 c # [type: int, range: [-1,2147483647], default: 10]
0.03/0.09 c heuristics/pscostdiving/freq = -1
0.03/0.09 c
0.03/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations
0.03/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.03/0.09 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.03/0.09 c
0.03/0.09 c # additional number of allowed LP iterations
0.03/0.09 c # [type: int, range: [0,2147483647], default: 1000]
0.03/0.09 c heuristics/pscostdiving/maxlpiterofs = 1500
0.03/0.09 c
0.03/0.09 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.03/0.09 c # [type: int, range: [-1,2147483647], default: 0]
0.03/0.09 c heuristics/rens/freq = -1
0.03/0.09 c
0.03/0.09 c # minimum percentage of integer variables that have to be fixable
0.03/0.09 c # [type: real, range: [0,1], default: 0.5]
0.03/0.09 c heuristics/rens/minfixingrate = 0.3
0.03/0.09 c
0.03/0.09 c # number of nodes added to the contingent of the total nodes
0.03/0.09 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.03/0.09 c heuristics/rens/nodesofs = 2000
0.03/0.09 c
0.03/0.09 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.03/0.09 c # [type: int, range: [-1,2147483647], default: 20]
0.03/0.09 c heuristics/rootsoldiving/freq = -1
0.03/0.09 c
0.03/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations
0.03/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.03/0.09 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.03/0.09 c
0.03/0.09 c # additional number of allowed LP iterations
0.03/0.09 c # [type: int, range: [0,2147483647], default: 1000]
0.03/0.09 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.03/0.09 c
0.03/0.09 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.03/0.09 c # [type: int, range: [-1,2147483647], default: 1]
0.03/0.09 c heuristics/rounding/freq = -1
0.03/0.09 c
0.03/0.09 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.03/0.09 c # [type: int, range: [-1,2147483647], default: 10]
0.03/0.09 c heuristics/shifting/freq = -1
0.03/0.09 c
0.03/0.09 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.03/0.09 c # [type: int, range: [-1,2147483647], default: 1]
0.03/0.09 c heuristics/simplerounding/freq = -1
0.03/0.09 c
0.03/0.09 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.03/0.09 c # [type: int, range: [-1,2147483647], default: 0]
0.03/0.09 c heuristics/trivial/freq = -1
0.03/0.09 c
0.03/0.09 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.03/0.09 c # [type: int, range: [-1,2147483647], default: 1]
0.03/0.09 c heuristics/trysol/freq = -1
0.03/0.09 c
0.03/0.09 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.03/0.09 c # [type: int, range: [-1,2147483647], default: 10]
0.03/0.09 c heuristics/veclendiving/freq = -1
0.03/0.09 c
0.03/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations
0.03/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.03/0.09 c heuristics/veclendiving/maxlpiterquot = 0.075
0.03/0.09 c
0.03/0.09 c # additional number of allowed LP iterations
0.03/0.09 c # [type: int, range: [0,2147483647], default: 1000]
0.03/0.09 c heuristics/veclendiving/maxlpiterofs = 1500
0.03/0.09 c
0.03/0.09 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.03/0.09 c # [type: int, range: [-1,2147483647], default: 1]
0.03/0.09 c heuristics/zirounding/freq = -1
0.03/0.09 c
0.03/0.09 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.03/0.09 c # [type: int, range: [-1,2147483647], default: 0]
0.03/0.09 c separating/cmir/freq = -1
0.03/0.09 c
0.03/0.09 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.03/0.09 c # [type: int, range: [-1,2147483647], default: 0]
0.03/0.09 c separating/flowcover/freq = -1
0.03/0.09 c
0.03/0.09 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.03/0.09 c # [type: int, range: [-1,2147483647], default: -1]
0.03/0.09 c separating/rapidlearning/freq = 0
0.03/0.09 c
0.03/0.09 c -----------------------------------------------------------------------------------------------
0.03/0.09 c start solving
0.03/0.09 c
0.03/0.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.03/0.09 c 0.1s| 1 | 2 | 0 | - |5518k| 0 | - |3150 | 160 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
10.59/10.63 c 10.5s| 10000 | 9957 | 0 | 0.0 |9624k|1765 | - |3150 | 311 | 0 | 0 | 0 | 220 | 0 | 0.000000e+00 | -- | Inf
23.68/23.73 c 23.4s| 20000 | 19913 | 0 | 0.0 | 12M|1765 | - |3150 | 377 | 0 | 0 | 0 | 453 | 0 | 0.000000e+00 | -- | Inf
36.67/36.74 c 36.3s| 30000 | 29867 | 0 | 0.0 | 15M|1765 | - |3150 | 219 | 0 | 0 | 0 | 574 | 0 | 0.000000e+00 | -- | Inf
49.56/49.67 c 49.1s| 40000 | 39827 | 0 | 0.0 | 18M|1765 | - |3150 | 220 | 0 | 0 | 0 | 652 | 0 | 0.000000e+00 | -- | Inf
62.35/62.47 c 61.7s| 50000 | 49786 | 0 | 0.0 | 21M|1765 | - |3150 | 221 | 0 | 0 | 0 | 778 | 0 | 0.000000e+00 | -- | Inf
75.15/75.23 c 74.3s| 60000 | 59727 | 0 | 0.0 | 24M|1765 | - |3150 | 246 | 0 | 0 | 0 | 977 | 0 | 0.000000e+00 | -- | Inf
88.04/88.10 c 87.1s| 70000 | 69667 | 0 | 0.0 | 27M|1765 | - |3150 | 234 | 0 | 0 | 0 |1104 | 0 | 0.000000e+00 | -- | Inf
100.74/100.81 c 99.6s| 80000 | 79621 | 0 | 0.0 | 30M|1765 | - |3150 | 285 | 0 | 0 | 0 |1306 | 0 | 0.000000e+00 | -- | Inf
113.34/113.40 c 112s| 90000 | 89577 | 0 | 0.0 | 33M|1765 | - |3150 | 261 | 0 | 0 | 0 |1474 | 0 | 0.000000e+00 | -- | Inf
125.74/125.84 c 124s|100000 | 99538 | 0 | 0.0 | 35M|1765 | - |3150 | 217 | 0 | 0 | 0 |1632 | 0 | 0.000000e+00 | -- | Inf
138.03/138.14 c 137s|110000 |109480 | 0 | 0.0 | 39M|1765 | - |3150 | 276 | 0 | 0 | 0 |1836 | 0 | 0.000000e+00 | -- | Inf
150.12/150.21 c 148s|120000 |119426 | 0 | 0.0 | 41M|1765 | - |3150 | 262 | 0 | 0 | 0 |2051 | 0 | 0.000000e+00 | -- | Inf
162.02/162.19 c 160s|130000 |129380 | 0 | 0.0 | 45M|1765 | - |3150 | 335 | 0 | 0 | 0 |2320 | 0 | 0.000000e+00 | -- | Inf
173.92/174.04 c 172s|140000 |139326 | 0 | 0.0 | 47M|1765 | - |3150 | 305 | 0 | 0 | 0 |2545 | 0 | 0.000000e+00 | -- | Inf
185.72/185.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
185.72/185.89 c 184s|150000 |149263 | 0 | 0.0 | 50M|1765 | - |3150 | 293 | 0 | 0 | 0 |2864 | 0 | 0.000000e+00 | -- | Inf
197.21/197.33 c 195s|160000 |159205 | 0 | 0.0 | 53M|1765 | - |3150 | 368 | 0 | 0 | 0 |3144 | 0 | 0.000000e+00 | -- | Inf
208.60/208.78 c 206s|170000 |169159 | 0 | 0.0 | 56M|1765 | - |3150 | 344 | 0 | 0 | 0 |3409 | 0 | 0.000000e+00 | -- | Inf
220.00/220.11 c 218s|180000 |179101 | 0 | 0.0 | 59M|1765 | - |3150 | 438 | 0 | 0 | 0 |3705 | 0 | 0.000000e+00 | -- | Inf
231.09/231.29 c 229s|190000 |189026 | 0 | 0.0 | 63M|1765 | - |3150 | 451 | 0 | 0 | 0 |4096 | 0 | 0.000000e+00 | -- | Inf
242.09/242.29 c 239s|200000 |198976 | 0 | 0.0 | 66M|1765 | - |3150 | 445 | 0 | 0 | 0 |4404 | 0 | 0.000000e+00 | -- | Inf
252.99/253.17 c 250s|210000 |208904 | 0 | 0.0 | 69M|1765 | - |3150 | 522 | 0 | 0 | 0 |4814 | 0 | 0.000000e+00 | -- | Inf
263.88/264.03 c 261s|220000 |218836 | 0 | 0.0 | 72M|1765 | - |3150 | 579 | 0 | 0 | 0 |5148 | 0 | 0.000000e+00 | -- | Inf
274.57/274.75 c 271s|230000 |228777 | 0 | 0.0 | 75M|1765 | - |3150 | 608 | 0 | 0 | 0 |5475 | 0 | 0.000000e+00 | -- | Inf
285.17/285.31 c 282s|240000 |238715 | 0 | 0.0 | 78M|1765 | - |3150 | 696 | 0 | 0 | 0 |5811 | 0 | 0.000000e+00 | -- | Inf
295.57/295.76 c 292s|250000 |248646 | 0 | 0.0 | 81M|1765 | - |3150 | 805 | 0 | 0 | 0 |6201 | 0 | 0.000000e+00 | -- | Inf
305.87/306.04 c 302s|260000 |258581 | 0 | 0.0 | 85M|1765 | - |3150 | 797 | 0 | 0 | 0 |6565 | 0 | 0.000000e+00 | -- | Inf
315.96/316.14 c 312s|270000 |268506 | 0 | 0.0 | 88M|1765 | - |3150 | 855 | 0 | 0 | 0 |6984 | 0 | 0.000000e+00 | -- | Inf
326.06/326.20 c 322s|280000 |278431 | 0 | 0.0 | 91M|1765 | - |3150 | 966 | 0 | 0 | 0 |7367 | 0 | 0.000000e+00 | -- | Inf
335.75/335.98 c 332s|290000 |288363 | 0 | 0.0 | 95M|1765 | - |3150 |1060 | 0 | 0 | 0 |7807 | 0 | 0.000000e+00 | -- | Inf
345.44/345.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
345.44/345.69 c 341s|300000 |298275 | 0 | 0.0 | 98M|1765 | - |3150 |1169 | 0 | 0 | 0 |8334 | 0 | 0.000000e+00 | -- | Inf
355.15/355.35 c 351s|310000 |308172 | 0 | 0.0 | 101M|1765 | - |3150 |1227 | 0 | 0 | 0 |8904 | 0 | 0.000000e+00 | -- | Inf
364.64/364.81 c 360s|320000 |318072 | 0 | 0.0 | 105M|1765 | - |3150 |1283 | 0 | 0 | 0 |9506 | 0 | 0.000000e+00 | -- | Inf
373.84/374.05 c 369s|330000 |327976 | 0 | 0.0 | 108M|1765 | - |3150 |1271 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
382.73/382.98 c 378s|340000 |337875 | 0 | 0.0 | 111M|1765 | - |3150 |1301 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
391.63/391.85 c 387s|350000 |347757 | 0 | 0.0 | 115M|1765 | - |3150 |1509 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
400.13/400.32 c 395s|360000 |357660 | 0 | 0.0 | 118M|1765 | - |3150 |1504 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
408.33/408.56 c 403s|370000 |367551 | 0 | 0.0 | 122M|1765 | - |3150 |1574 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
416.32/416.53 c 411s|380000 |377436 | 0 | 0.0 | 125M|1765 | - |3150 |1628 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
426.02/426.24 c 421s|390000 |386661 | 0 | 0.0 | 127M|1765 | - |3150 |1072 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
439.72/439.93 c 434s|400000 |396602 | 0 | 0.0 | 128M|1765 | - |3150 | 304 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
452.80/453.07 c 447s|410000 |406539 | 0 | 0.0 | 131M|1765 | - |3150 | 374 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
465.40/465.69 c 460s|420000 |416477 | 0 | 0.0 | 135M|1765 | - |3150 | 498 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
478.21/478.48 c 473s|430000 |426421 | 0 | 0.0 | 138M|1765 | - |3150 | 439 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
491.19/491.48 c 485s|440000 |436369 | 0 | 0.0 | 141M|1765 | - |3150 | 377 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
504.39/504.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
504.39/504.66 c 498s|450000 |446301 | 0 | 0.0 | 144M|1765 | - |3150 | 356 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
517.69/517.95 c 512s|460000 |456253 | 0 | 0.0 | 146M|1765 | - |3150 | 321 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
530.88/531.16 c 525s|470000 |466204 | 0 | 0.0 | 149M|1765 | - |3150 | 354 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
544.08/544.35 c 538s|480000 |476153 | 0 | 0.0 | 152M|1765 | - |3150 | 327 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
557.27/557.53 c 551s|490000 |486112 | 0 | 0.0 | 155M|1765 | - |3150 | 290 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
570.37/570.67 c 564s|500000 |496068 | 0 | 0.0 | 158M|1765 | - |3150 | 310 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
583.55/583.84 c 577s|510000 |506014 | 0 | 0.0 | 161M|1765 | - |3150 | 379 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
596.85/597.13 c 590s|520000 |515968 | 0 | 0.0 | 164M|1765 | - |3150 | 292 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
610.04/610.32 c 603s|530000 |525923 | 0 | 0.0 | 167M|1765 | - |3150 | 343 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
623.15/623.42 c 616s|540000 |535877 | 0 | 0.0 | 170M|1765 | - |3150 | 339 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
636.24/636.57 c 629s|550000 |545831 | 0 | 0.0 | 173M|1765 | - |3150 | 330 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
649.43/649.77 c 642s|560000 |555782 | 0 | 0.0 | 176M|1765 | - |3150 | 351 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
662.63/662.94 c 655s|570000 |565739 | 0 | 0.0 | 179M|1765 | - |3150 | 322 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
675.82/676.12 c 668s|580000 |575688 | 0 | 0.0 | 182M|1765 | - |3150 | 298 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
688.92/689.26 c 681s|590000 |585639 | 0 | 0.0 | 185M|1765 | - |3150 | 350 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
702.11/702.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
702.11/702.43 c 694s|600000 |595592 | 0 | 0.0 | 188M|1765 | - |3150 | 332 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
715.20/715.57 c 707s|610000 |605543 | 0 | 0.0 | 191M|1765 | - |3150 | 325 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
728.50/728.81 c 720s|620000 |615482 | 0 | 0.0 | 193M|1765 | - |3150 | 308 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
741.70/742.07 c 733s|630000 |625430 | 0 | 0.0 | 196M|1765 | - |3150 | 315 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
755.00/755.31 c 746s|640000 |635374 | 0 | 0.0 | 199M|1765 | - |3150 | 344 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
768.29/768.60 c 760s|650000 |645326 | 0 | 0.0 | 202M|1765 | - |3150 | 275 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
781.38/781.71 c 773s|660000 |655283 | 0 | 0.0 | 205M|1765 | - |3150 | 322 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
794.48/794.89 c 786s|670000 |665241 | 0 | 0.0 | 208M|1765 | - |3150 | 318 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
807.67/808.00 c 799s|680000 |675187 | 0 | 0.0 | 211M|1765 | - |3150 | 365 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
820.86/821.27 c 812s|690000 |685143 | 0 | 0.0 | 214M|1765 | - |3150 | 308 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
834.06/834.45 c 825s|700000 |695098 | 0 | 0.0 | 217M|1765 | - |3150 | 293 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
847.26/847.68 c 838s|710000 |705048 | 0 | 0.0 | 220M|1765 | - |3150 | 318 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
860.35/860.78 c 851s|720000 |715000 | 0 | 0.0 | 223M|1765 | - |3150 | 334 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
873.65/874.08 c 864s|730000 |724938 | 0 | 0.0 | 226M|1765 | - |3150 | 361 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
886.74/887.17 c 877s|740000 |734897 | 0 | 0.0 | 228M|1765 | - |3150 | 322 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
899.93/900.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
899.93/900.32 c 890s|750000 |744846 | 0 | 0.0 | 231M|1765 | - |3150 | 314 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
913.13/913.50 c 903s|760000 |754788 | 0 | 0.0 | 234M|1765 | - |3150 | 376 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
926.23/926.69 c 916s|770000 |764725 | 0 | 0.0 | 237M|1765 | - |3150 | 320 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
939.43/939.80 c 929s|780000 |774686 | 0 | 0.0 | 240M|1765 | - |3150 | 308 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
952.52/952.93 c 942s|790000 |784638 | 0 | 0.0 | 243M|1765 | - |3150 | 306 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
965.62/966.06 c 955s|800000 |794582 | 0 | 0.0 | 246M|1765 | - |3150 | 350 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
978.80/979.20 c 968s|810000 |804539 | 0 | 0.0 | 249M|1765 | - |3150 | 316 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
991.90/992.33 c 981s|820000 |814489 | 0 | 0.0 | 252M|1765 | - |3150 | 267 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1004.90/1005.34 c 994s|830000 |824438 | 0 | 0.0 | 255M|1765 | - |3150 | 315 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1017.99/1018.41 c 1007s|840000 |834394 | 0 | 0.0 | 257M|1765 | - |3150 | 290 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1030.88/1031.38 c 1020s|850000 |844347 | 0 | 0.0 | 260M|1765 | - |3150 | 282 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1043.98/1044.47 c 1032s|860000 |854295 | 0 | 0.0 | 263M|1765 | - |3150 | 314 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1057.08/1057.53 c 1045s|870000 |864243 | 0 | 0.0 | 266M|1765 | - |3150 | 326 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1070.07/1070.51 c 1058s|880000 |874197 | 0 | 0.0 | 269M|1765 | - |3150 | 303 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1083.07/1083.59 c 1071s|890000 |884146 | 0 | 0.0 | 272M|1765 | - |3150 | 319 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1096.16/1096.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1096.27/1096.70 c 1084s|900000 |894099 | 0 | 0.0 | 275M|1765 | - |3150 | 344 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1109.15/1109.62 c 1097s|910000 |904052 | 0 | 0.0 | 278M|1765 | - |3150 | 364 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1122.15/1122.64 c 1110s|920000 |913996 | 0 | 0.0 | 281M|1765 | - |3150 | 341 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1135.15/1135.69 c 1123s|930000 |923943 | 0 | 0.0 | 284M|1765 | - |3150 | 351 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1148.24/1148.72 c 1136s|940000 |933894 | 0 | 0.0 | 287M|1765 | - |3150 | 383 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1161.34/1161.87 c 1149s|950000 |943849 | 0 | 0.0 | 290M|1765 | - |3150 | 301 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1174.34/1174.84 c 1162s|960000 |953794 | 0 | 0.0 | 293M|1765 | - |3150 | 346 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1187.44/1187.92 c 1174s|970000 |963751 | 0 | 0.0 | 296M|1765 | - |3150 | 350 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1200.52/1201.01 c 1187s|980000 |973698 | 0 | 0.0 | 298M|1765 | - |3150 | 282 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1213.62/1214.10 c 1200s|990000 |983641 | 0 | 0.0 | 302M|1765 | - |3150 | 391 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1226.51/1227.07 c 1213s| 1000k|993596 | 0 | 0.0 | 305M|1765 | - |3150 | 374 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1239.50/1240.08 c 1226s| 1010k| 1003k| 0 | 0.0 | 307M|1765 | - |3150 | 303 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1252.50/1253.06 c 1239s| 1020k| 1013k| 0 | 0.0 | 310M|1765 | - |3150 | 379 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1265.40/1265.90 c 1252s| 1030k| 1023k| 0 | 0.0 | 313M|1765 | - |3150 | 376 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1278.29/1278.84 c 1264s| 1040k| 1033k| 0 | 0.0 | 316M|1765 | - |3150 | 341 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1291.28/1291.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1291.28/1291.89 c 1277s| 1050k| 1043k| 0 | 0.0 | 319M|1765 | - |3150 | 399 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1304.18/1304.79 c 1290s| 1060k| 1053k| 0 | 0.0 | 322M|1765 | - |3150 | 372 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1317.28/1317.84 c 1303s| 1070k| 1063k| 0 | 0.0 | 325M|1765 | - |3150 | 303 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1330.37/1330.99 c 1316s| 1080k| 1073k| 0 | 0.0 | 328M|1765 | - |3150 | 324 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1343.45/1344.05 c 1329s| 1090k| 1083k| 0 | 0.0 | 331M|1765 | - |3150 | 321 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1356.35/1356.91 c 1342s| 1100k| 1093k| 0 | 0.0 | 334M|1765 | - |3150 | 352 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1369.44/1370.06 c 1355s| 1110k| 1103k| 0 | 0.0 | 337M|1765 | - |3150 | 369 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1382.64/1383.27 c 1368s| 1120k| 1112k| 0 | 0.0 | 340M|1765 | - |3150 | 336 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1395.73/1396.38 c 1381s| 1130k| 1122k| 0 | 0.0 | 343M|1765 | - |3150 | 293 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1408.62/1409.29 c 1393s| 1140k| 1132k| 0 | 0.0 | 346M|1765 | - |3150 | 319 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1421.82/1422.42 c 1406s| 1150k| 1142k| 0 | 0.0 | 349M|1765 | - |3150 | 340 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1434.93/1435.51 c 1419s| 1160k| 1152k| 0 | 0.0 | 352M|1765 | - |3150 | 374 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1447.81/1448.44 c 1432s| 1170k| 1162k| 0 | 0.0 | 355M|1765 | - |3150 | 350 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1460.91/1461.58 c 1445s| 1180k| 1172k| 0 | 0.0 | 357M|1765 | - |3150 | 314 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1474.11/1474.71 c 1458s| 1190k| 1182k| 0 | 0.0 | 360M|1765 | - |3150 | 296 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1487.20/1487.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1487.20/1487.82 c 1471s| 1200k| 1192k| 0 | 0.0 | 363M|1765 | - |3150 | 373 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1499.99/1500.63 c 1484s| 1210k| 1202k| 0 | 0.0 | 366M|1765 | - |3150 | 346 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1512.99/1513.66 c 1497s| 1220k| 1212k| 0 | 0.0 | 369M|1765 | - |3150 | 309 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1525.99/1526.69 c 1510s| 1230k| 1222k| 0 | 0.0 | 372M|1765 | - |3150 | 352 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1538.98/1539.62 c 1522s| 1240k| 1232k| 0 | 0.0 | 375M|1765 | - |3150 | 382 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1551.68/1552.38 c 1535s| 1250k| 1242k| 0 | 0.0 | 378M|1765 | - |3150 | 358 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1564.77/1565.44 c 1548s| 1260k| 1252k| 0 | 0.0 | 381M|1765 | - |3150 | 372 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1577.77/1578.40 c 1561s| 1270k| 1262k| 0 | 0.0 | 384M|1765 | - |3150 | 342 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1590.66/1591.36 c 1574s| 1280k| 1272k| 0 | 0.0 | 387M|1765 | - |3150 | 313 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1603.56/1604.26 c 1586s| 1290k| 1282k| 0 | 0.0 | 390M|1765 | - |3150 | 327 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1616.64/1617.35 c 1599s| 1300k| 1292k| 0 | 0.0 | 393M|1765 | - |3150 | 302 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1629.64/1630.37 c 1612s| 1310k| 1302k| 0 | 0.0 | 396M|1765 | - |3150 | 378 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1642.64/1643.39 c 1625s| 1320k| 1311k| 0 | 0.0 | 398M|1765 | - |3150 | 338 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1655.53/1656.25 c 1638s| 1330k| 1321k| 0 | 0.0 | 401M|1765 | - |3150 | 321 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1668.63/1669.33 c 1651s| 1340k| 1331k| 0 | 0.0 | 404M|1765 | - |3150 | 308 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1681.62/1682.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1681.62/1682.34 c 1664s| 1350k| 1341k| 0 | 0.0 | 407M|1765 | - |3150 | 347 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1694.61/1695.38 c 1676s| 1360k| 1351k| 0 | 0.0 | 410M|1765 | - |3150 | 333 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1707.52/1708.22 c 1689s| 1370k| 1361k| 0 | 0.0 | 413M|1765 | - |3150 | 338 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1720.30/1721.09 c 1702s| 1380k| 1371k| 0 | 0.0 | 416M|1765 | - |3150 | 331 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1733.40/1734.12 c 1715s| 1390k| 1381k| 0 | 0.0 | 419M|1765 | - |3150 | 351 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1746.29/1747.07 c 1728s| 1400k| 1391k| 0 | 0.0 | 422M|1765 | - |3150 | 296 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1759.19/1759.91 c 1740s| 1410k| 1401k| 0 | 0.0 | 425M|1765 | - |3150 | 299 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1771.88/1772.68 c 1753s| 1420k| 1411k| 0 | 0.0 | 427M|1765 | - |3150 | 332 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1784.98/1785.75 c 1766s| 1430k| 1421k| 0 | 0.0 | 430M|1765 | - |3150 | 322 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1797.87/1798.68 c 1779s| 1440k| 1431k| 0 | 0.0 | 433M|1765 | - |3150 | 317 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1800.08/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.80 c
1800.08/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.80 c Solving Time (sec) : 1780.74
1800.08/1800.80 c Solving Nodes : 1441623
1800.08/1800.80 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.08/1800.80 c Dual Bound : +0.00000000000000e+00
1800.08/1800.80 c Gap : infinite
1800.08/1800.80 s UNKNOWN
1800.08/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.80 c Solving Time : 1780.74
1800.08/1800.80 c Original Problem :
1800.08/1800.80 c Problem name : HOME/instance-2664505-1276324719.opb
1800.08/1800.80 c Variables : 3150 (3150 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.80 c Constraints : 160 initial, 160 maximal
1800.08/1800.80 c Presolved Problem :
1800.08/1800.80 c Problem name : t_HOME/instance-2664505-1276324719.opb
1800.08/1800.80 c Variables : 3150 (3150 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.80 c Constraints : 160 initial, 1657 maximal
1800.08/1800.80 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.80 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.80 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.01 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 1554968 0 1438648 4365 1262773 0 0 0
1800.08/1800.81 c logicor : 90+ 0 279435 0 1438648 648 101253 0 0 0
1800.08/1800.81 c countsols : 0 0 0 0 1438648 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 : 303.89 0.00 19.34 0.00 284.55
1800.08/1800.81 c logicor : 141.72 0.00 4.28 0.00 137.44
1800.08/1800.81 c countsols : 0.88 0.00 0.00 0.00 0.88
1800.08/1800.81 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.81 c vbounds : 1.08 1 0 0
1800.08/1800.81 c rootredcost : 1.47 0 0 0
1800.08/1800.81 c pseudoobj : 0.77 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 : 14.38 5013 5013 107338 234.8 13 86.8 -
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 : - - - 42710 179.3 - - -
1800.08/1800.81 c applied locally : - - - 33 355.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 : 1259.40 1438648 0 0 0 0 2877296
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 : 1441623
1800.08/1800.81 c nodes (total) : 1441623
1800.08/1800.81 c nodes left : 1432916
1800.08/1800.81 c max depth : 1765
1800.08/1800.81 c max depth (total): 1765
1800.08/1800.81 c backtracks : 2068 (0.1%)
1800.08/1800.81 c delayed cutoffs : 2758
1800.08/1800.81 c repropagations : 6978 (99849 domain reductions, 2038 cutoffs)
1800.08/1800.81 c avg switch length: 2.25
1800.08/1800.81 c switching time : 23.00
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