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-2663410-1276675334.opb>
0.00/0.04 c original problem has 2924 variables (2924 bin, 0 int, 0 impl, 0 cont) and 3126 constraints
0.00/0.04 c problem read
0.00/0.04 c No objective function, only one solution is needed.
0.00/0.04 c presolving settings loaded
0.00/0.05 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.06/0.08 c presolving:
0.29/0.31 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 601 upgd conss, 20592 impls, 400 clqs
0.49/0.50 c presolving (2 rounds):
0.49/0.50 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.50 c 20592 implications, 400 cliques
0.49/0.50 c presolved problem has 2924 variables (2924 bin, 0 int, 0 impl, 0 cont) and 3126 constraints
0.49/0.50 c 1 constraints of type <knapsack>
0.49/0.50 c 400 constraints of type <setppc>
0.49/0.50 c 2524 constraints of type <and>
0.49/0.50 c 1 constraints of type <linear>
0.49/0.50 c 200 constraints of type <logicor>
0.49/0.50 c transformed objective value is always integral (scale: 1)
0.49/0.50 c Presolving Time: 0.24
0.49/0.50 c - non default parameters ----------------------------------------------------------------------
0.49/0.50 c # SCIP version 1.2.1.2
0.49/0.50 c
0.49/0.50 c # frequency for displaying node information lines
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.50 c display/freq = 10000
0.49/0.50 c
0.49/0.50 c # maximal time in seconds to run
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.50 c limits/time = 1799.96
0.49/0.50 c
0.49/0.50 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.50 c limits/memory = 1620
0.49/0.50 c
0.49/0.50 c # solving stops, if the given number of solutions were found (-1: no limit)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.50 c limits/solutions = 1
0.49/0.50 c
0.49/0.50 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50 c lp/solvefreq = -1
0.49/0.50 c
0.49/0.50 c # maximal number of separation rounds per node (-1: unlimited)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 5]
0.49/0.50 c separating/maxrounds = 1
0.49/0.50 c
0.49/0.50 c # maximal number of separation rounds in the root node (-1: unlimited)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.50 c separating/maxroundsroot = 5
0.49/0.50 c
0.49/0.50 c # should presolving try to simplify inequalities
0.49/0.50 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.50 c constraints/linear/simplifyinequalities = TRUE
0.49/0.50 c
0.49/0.50 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.49/0.50 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.49/0.50 c constraints/knapsack/disaggregation = FALSE
0.49/0.50 c
0.49/0.50 c # should presolving try to simplify knapsacks
0.49/0.50 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.50 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.50 c
0.49/0.50 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.50 c presolving/probing/maxrounds = 0
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50 c heuristics/coefdiving/freq = -1
0.49/0.50 c
0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50 c heuristics/coefdiving/maxlpiterquot = 0.075
0.49/0.50 c
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/coefdiving/maxlpiterofs = 1500
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 30]
0.49/0.50 c heuristics/crossover/freq = -1
0.49/0.50 c
0.49/0.50 c # number of nodes added to the contingent of the total nodes
0.49/0.50 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.49/0.50 c heuristics/crossover/nodesofs = 750
0.49/0.50 c
0.49/0.50 c # number of nodes without incumbent change that heuristic should wait
0.49/0.50 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.49/0.50 c heuristics/crossover/nwaitingnodes = 100
0.49/0.50 c
0.49/0.50 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.49/0.50 c # [type: real, range: [0,1], default: 0.1]
0.49/0.50 c heuristics/crossover/nodesquot = 0.15
0.49/0.50 c
0.49/0.50 c # minimum percentage of integer variables that have to be fixed
0.49/0.50 c # [type: real, range: [0,1], default: 0.666]
0.49/0.50 c heuristics/crossover/minfixingrate = 0.5
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.50 c heuristics/feaspump/freq = -1
0.49/0.50 c
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/feaspump/maxlpiterofs = 2000
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50 c heuristics/fracdiving/freq = -1
0.49/0.50 c
0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50 c heuristics/fracdiving/maxlpiterquot = 0.075
0.49/0.50 c
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/fracdiving/maxlpiterofs = 1500
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50 c heuristics/guideddiving/freq = -1
0.49/0.50 c
0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50 c heuristics/guideddiving/maxlpiterquot = 0.075
0.49/0.50 c
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/guideddiving/maxlpiterofs = 1500
0.49/0.50 c
0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50 c heuristics/intdiving/maxlpiterquot = 0.075
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50 c heuristics/intshifting/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50 c heuristics/linesearchdiving/freq = -1
0.49/0.50 c
0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.49/0.50 c
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50 c heuristics/nlp/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.50 c heuristics/objpscostdiving/freq = -1
0.49/0.50 c
0.49/0.50 c # maximal fraction of diving LP iterations compared to total iteration number
0.49/0.50 c # [type: real, range: [0,1], default: 0.01]
0.49/0.50 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.49/0.50 c
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50 c heuristics/oneopt/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50 c heuristics/pscostdiving/freq = -1
0.49/0.50 c
0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.49/0.50 c
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/pscostdiving/maxlpiterofs = 1500
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.50 c heuristics/rens/freq = -1
0.49/0.50 c
0.49/0.50 c # minimum percentage of integer variables that have to be fixable
0.49/0.50 c # [type: real, range: [0,1], default: 0.5]
0.49/0.50 c heuristics/rens/minfixingrate = 0.3
0.49/0.50 c
0.49/0.50 c # number of nodes added to the contingent of the total nodes
0.49/0.50 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.49/0.50 c heuristics/rens/nodesofs = 2000
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.50 c heuristics/rootsoldiving/freq = -1
0.49/0.50 c
0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.49/0.50 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.49/0.50 c
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50 c heuristics/rounding/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50 c heuristics/shifting/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50 c heuristics/simplerounding/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.50 c heuristics/trivial/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50 c heuristics/trysol/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50 c heuristics/veclendiving/freq = -1
0.49/0.50 c
0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50 c heuristics/veclendiving/maxlpiterquot = 0.075
0.49/0.50 c
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/veclendiving/maxlpiterofs = 1500
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50 c heuristics/zirounding/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.50 c separating/cmir/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.50 c separating/flowcover/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.50 c separating/rapidlearning/freq = 0
0.49/0.50 c
0.49/0.50 c -----------------------------------------------------------------------------------------------
0.49/0.50 c start solving
0.49/0.51 c
0.49/0.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.51 c 0.3s| 1 | 2 | 0 | - |8027k| 0 | - |2924 |3126 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
14.49/14.56 c 14.0s| 10000 | 9723 | 0 | 0.0 | 17M| 477 | - |2924 |3251 | 0 | 0 | 0 | 206 | 0 | 0.000000e+00 | -- | Inf
24.38/24.41 c 23.6s| 20000 | 19536 | 0 | 0.0 | 24M| 477 | - |2924 |3369 | 0 | 0 | 0 | 368 | 0 | 0.000000e+00 | -- | Inf
31.27/31.31 c 30.2s| 30000 | 29226 | 0 | 0.0 | 31M| 477 | - |2924 |3545 | 0 | 0 | 0 | 623 | 0 | 0.000000e+00 | -- | Inf
39.38/39.41 c 37.9s| 40000 | 35164 | 0 | 0.0 | 36M| 477 | - |2924 |4388 | 0 | 0 | 0 |2733 | 0 | 0.000000e+00 | -- | Inf
54.47/54.50 c 52.7s| 50000 | 44842 | 0 | 0.0 | 43M| 477 | - |2924 |3376 | 0 | 0 | 0 |2951 | 0 | 0.000000e+00 | -- | Inf
68.67/68.77 c 66.7s| 60000 | 54680 | 0 | 0.0 | 51M| 477 | - |2924 |3420 | 0 | 0 | 0 |3097 | 0 | 0.000000e+00 | -- | Inf
82.46/82.59 c 80.2s| 70000 | 64510 | 0 | 0.0 | 60M| 477 | - |2924 |3439 | 0 | 0 | 0 |3255 | 0 | 0.000000e+00 | -- | Inf
96.86/96.97 c 94.3s| 80000 | 74319 | 0 | 0.0 | 68M| 477 | - |2924 |3472 | 0 | 0 | 0 |3425 | 0 | 0.000000e+00 | -- | Inf
111.65/111.80 c 109s| 90000 | 84134 | 0 | 0.0 | 77M| 477 | - |2924 |3485 | 0 | 0 | 0 |3584 | 0 | 0.000000e+00 | -- | Inf
126.04/126.12 c 123s|100000 | 93932 | 0 | 0.0 | 85M| 477 | - |2924 |3493 | 0 | 0 | 0 |3750 | 0 | 0.000000e+00 | -- | Inf
140.43/140.54 c 137s|110000 |103733 | 0 | 0.0 | 94M| 477 | - |2924 |3525 | 0 | 0 | 0 |3918 | 0 | 0.000000e+00 | -- | Inf
153.84/153.94 c 150s|120000 |113588 | 0 | 0.0 | 103M| 477 | - |2924 |3529 | 0 | 0 | 0 |4045 | 0 | 0.000000e+00 | -- | Inf
167.33/167.46 c 163s|130000 |123407 | 0 | 0.0 | 111M| 477 | - |2924 |3560 | 0 | 0 | 0 |4209 | 0 | 0.000000e+00 | -- | Inf
180.92/181.01 c 177s|140000 |133221 | 0 | 0.0 | 120M| 477 | - |2924 |3590 | 0 | 0 | 0 |4371 | 0 | 0.000000e+00 | -- | Inf
194.52/194.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
194.52/194.62 c 190s|150000 |143032 | 0 | 0.0 | 128M| 477 | - |2924 |3616 | 0 | 0 | 0 |4537 | 0 | 0.000000e+00 | -- | Inf
208.00/208.13 c 203s|160000 |152846 | 0 | 0.0 | 137M| 477 | - |2924 |3636 | 0 | 0 | 0 |4699 | 0 | 0.000000e+00 | -- | Inf
221.60/221.71 c 216s|170000 |162649 | 0 | 0.0 | 145M| 477 | - |2924 |3647 | 0 | 0 | 0 |4858 | 0 | 0.000000e+00 | -- | Inf
234.70/234.89 c 229s|180000 |172455 | 0 | 0.0 | 154M| 477 | - |2924 |3707 | 0 | 0 | 0 |5058 | 0 | 0.000000e+00 | -- | Inf
248.29/248.48 c 243s|190000 |182230 | 0 | 0.0 | 162M| 477 | - |2924 |3705 | 0 | 0 | 0 |5240 | 0 | 0.000000e+00 | -- | Inf
261.59/261.75 c 256s|200000 |192027 | 0 | 0.0 | 171M| 477 | - |2924 |3711 | 0 | 0 | 0 |5399 | 0 | 0.000000e+00 | -- | Inf
274.58/274.73 c 268s|210000 |201812 | 0 | 0.0 | 180M| 477 | - |2924 |3722 | 0 | 0 | 0 |5580 | 0 | 0.000000e+00 | -- | Inf
287.88/288.07 c 281s|220000 |211569 | 0 | 0.0 | 188M| 477 | - |2924 |3723 | 0 | 0 | 0 |5778 | 0 | 0.000000e+00 | -- | Inf
301.08/301.25 c 294s|230000 |221344 | 0 | 0.0 | 197M| 477 | - |2924 |3753 | 0 | 0 | 0 |5965 | 0 | 0.000000e+00 | -- | Inf
313.77/313.96 c 307s|240000 |231149 | 0 | 0.0 | 205M| 477 | - |2924 |3769 | 0 | 0 | 0 |6133 | 0 | 0.000000e+00 | -- | Inf
326.36/326.53 c 319s|250000 |240954 | 0 | 0.0 | 214M| 477 | - |2924 |3788 | 0 | 0 | 0 |6300 | 0 | 0.000000e+00 | -- | Inf
339.25/339.41 c 332s|260000 |250729 | 0 | 0.0 | 223M| 477 | - |2924 |3802 | 0 | 0 | 0 |6476 | 0 | 0.000000e+00 | -- | Inf
351.86/352.03 c 344s|270000 |260509 | 0 | 0.0 | 231M| 477 | - |2924 |3813 | 0 | 0 | 0 |6659 | 0 | 0.000000e+00 | -- | Inf
364.55/364.72 c 356s|280000 |270277 | 0 | 0.0 | 240M| 477 | - |2924 |3848 | 0 | 0 | 0 |6853 | 0 | 0.000000e+00 | -- | Inf
376.55/376.77 c 368s|290000 |280079 | 0 | 0.0 | 248M| 477 | - |2924 |3871 | 0 | 0 | 0 |7036 | 0 | 0.000000e+00 | -- | Inf
388.84/389.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
388.84/389.06 c 380s|300000 |289874 | 0 | 0.0 | 257M| 477 | - |2924 |3905 | 0 | 0 | 0 |7204 | 0 | 0.000000e+00 | -- | Inf
401.44/401.69 c 393s|310000 |299603 | 0 | 0.0 | 265M| 477 | - |2924 |3914 | 0 | 0 | 0 |7427 | 0 | 0.000000e+00 | -- | Inf
413.83/414.06 c 405s|320000 |309364 | 0 | 0.0 | 274M| 477 | - |2924 |3955 | 0 | 0 | 0 |7629 | 0 | 0.000000e+00 | -- | Inf
425.83/426.06 c 416s|330000 |319146 | 0 | 0.0 | 282M| 477 | - |2924 |3988 | 0 | 0 | 0 |7830 | 0 | 0.000000e+00 | -- | Inf
438.32/438.59 c 429s|340000 |328900 | 0 | 0.0 | 291M| 477 | - |2924 |4008 | 0 | 0 | 0 |8027 | 0 | 0.000000e+00 | -- | Inf
450.21/450.46 c 440s|350000 |338684 | 0 | 0.0 | 299M| 477 | - |2924 |3988 | 0 | 0 | 0 |8208 | 0 | 0.000000e+00 | -- | Inf
462.01/462.27 c 452s|360000 |348467 | 0 | 0.0 | 308M| 477 | - |2924 |3981 | 0 | 0 | 0 |8394 | 0 | 0.000000e+00 | -- | Inf
474.01/474.21 c 463s|370000 |358179 | 0 | 0.0 | 316M| 477 | - |2924 |4023 | 0 | 0 | 0 |8618 | 0 | 0.000000e+00 | -- | Inf
485.91/486.15 c 475s|380000 |367950 | 0 | 0.0 | 324M| 477 | - |2924 |4052 | 0 | 0 | 0 |8809 | 0 | 0.000000e+00 | -- | Inf
497.70/497.93 c 487s|390000 |377696 | 0 | 0.0 | 333M| 477 | - |2924 |4060 | 0 | 0 | 0 |9007 | 0 | 0.000000e+00 | -- | Inf
509.50/509.71 c 498s|400000 |387455 | 0 | 0.0 | 341M| 477 | - |2924 |4083 | 0 | 0 | 0 |9201 | 0 | 0.000000e+00 | -- | Inf
521.19/521.46 c 510s|410000 |397213 | 0 | 0.0 | 349M| 477 | - |2924 |4085 | 0 | 0 | 0 |9391 | 0 | 0.000000e+00 | -- | Inf
532.59/532.80 c 521s|420000 |406988 | 0 | 0.0 | 358M| 477 | - |2924 |4112 | 0 | 0 | 0 |9582 | 0 | 0.000000e+00 | -- | Inf
544.18/544.47 c 532s|430000 |416737 | 0 | 0.0 | 366M| 477 | - |2924 |4129 | 0 | 0 | 0 |9784 | 0 | 0.000000e+00 | -- | Inf
555.58/555.85 c 543s|440000 |426475 | 0 | 0.0 | 374M| 477 | - |2924 |4148 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
567.17/567.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
567.17/567.41 c 554s|450000 |436205 | 0 | 0.0 | 382M| 477 | - |2924 |4169 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
578.17/578.42 c 565s|460000 |445992 | 0 | 0.0 | 391M| 477 | - |2924 |4190 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
589.07/589.34 c 576s|470000 |455775 | 0 | 0.0 | 399M| 477 | - |2924 |4215 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
600.27/600.56 c 587s|480000 |465519 | 0 | 0.0 | 407M| 477 | - |2924 |4238 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
611.26/611.51 c 597s|490000 |475292 | 0 | 0.0 | 416M| 477 | - |2924 |4267 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
622.36/622.70 c 608s|500000 |485037 | 0 | 0.0 | 424M| 477 | - |2924 |4264 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
633.45/633.72 c 619s|510000 |494782 | 0 | 0.0 | 432M| 477 | - |2924 |4280 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
644.55/644.82 c 630s|520000 |504520 | 0 | 0.0 | 441M| 477 | - |2924 |4284 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
655.64/655.95 c 641s|530000 |514244 | 0 | 0.0 | 449M| 477 | - |2924 |4305 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
666.64/666.97 c 651s|540000 |523964 | 0 | 0.0 | 457M| 477 | - |2924 |4329 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
677.34/677.70 c 662s|550000 |533704 | 0 | 0.0 | 466M| 477 | - |2924 |4350 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
688.13/688.40 c 672s|560000 |543466 | 0 | 0.0 | 474M| 477 | - |2924 |4376 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
698.92/699.23 c 683s|570000 |553182 | 0 | 0.0 | 482M| 477 | - |2924 |4408 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
710.12/710.46 c 694s|580000 |562880 | 0 | 0.0 | 491M| 477 | - |2924 |4386 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
720.81/721.18 c 704s|590000 |572600 | 0 | 0.0 | 499M| 477 | - |2924 |4432 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
731.61/731.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
731.61/731.94 c 715s|600000 |582321 | 0 | 0.0 | 507M| 477 | - |2924 |4440 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
742.22/742.54 c 725s|610000 |592010 | 0 | 0.0 | 516M| 477 | - |2924 |4481 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
752.40/752.74 c 735s|620000 |601750 | 0 | 0.0 | 524M| 477 | - |2924 |4508 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
762.80/763.11 c 745s|630000 |611504 | 0 | 0.0 | 532M| 477 | - |2924 |4511 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
773.10/773.48 c 755s|640000 |621212 | 0 | 0.0 | 540M| 477 | - |2924 |4519 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
783.29/783.67 c 765s|650000 |630947 | 0 | 0.0 | 548M| 477 | - |2924 |4542 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
793.79/794.12 c 775s|660000 |640626 | 0 | 0.0 | 557M| 477 | - |2924 |4569 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
804.18/804.50 c 785s|670000 |650305 | 0 | 0.0 | 565M| 477 | - |2924 |4596 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
814.28/814.70 c 795s|680000 |660019 | 0 | 0.0 | 573M| 477 | - |2924 |4620 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
824.58/824.90 c 805s|690000 |669717 | 0 | 0.0 | 581M| 477 | - |2924 |4647 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
834.78/835.15 c 815s|700000 |679430 | 0 | 0.0 | 589M| 477 | - |2924 |4701 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
844.77/845.15 c 825s|710000 |689150 | 0 | 0.0 | 597M| 477 | - |2924 |4685 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
854.56/854.99 c 834s|720000 |698877 | 0 | 0.0 | 605M| 477 | - |2924 |4706 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
864.46/864.82 c 844s|730000 |708579 | 0 | 0.0 | 613M| 477 | - |2924 |4750 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
874.36/874.76 c 854s|740000 |718259 | 0 | 0.0 | 621M| 477 | - |2924 |4760 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
884.36/884.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
884.36/884.80 c 863s|750000 |727937 | 0 | 0.0 | 630M| 477 | - |2924 |4805 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
894.36/894.73 c 873s|760000 |737601 | 0 | 0.0 | 638M| 477 | - |2924 |4851 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
904.45/904.81 c 883s|770000 |747293 | 0 | 0.0 | 646M| 477 | - |2924 |4838 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
914.05/914.49 c 892s|780000 |756997 | 0 | 0.0 | 654M| 477 | - |2924 |4886 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
923.94/924.34 c 902s|790000 |766680 | 0 | 0.0 | 662M| 477 | - |2924 |4917 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
933.84/934.24 c 911s|800000 |776328 | 0 | 0.0 | 670M| 477 | - |2924 |4967 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
943.53/943.90 c 921s|810000 |786027 | 0 | 0.0 | 678M| 477 | - |2924 |4975 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
953.24/953.67 c 930s|820000 |795681 | 0 | 0.0 | 687M| 477 | - |2924 |4989 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
962.83/963.22 c 939s|830000 |805382 | 0 | 0.0 | 695M| 477 | - |2924 |5032 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
972.32/972.71 c 949s|840000 |815082 | 0 | 0.0 | 703M| 477 | - |2924 |5092 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
982.12/982.52 c 958s|850000 |824728 | 0 | 0.0 | 711M| 477 | - |2924 |5120 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
991.91/992.34 c 968s|860000 |834343 | 0 | 0.0 | 719M| 477 | - |2924 |5159 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
1001.62/1002.09 c 977s|870000 |843979 | 0 | 0.0 | 728M| 477 | - |2924 |5145 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
1011.21/1011.64 c 987s|880000 |853637 | 0 | 0.0 | 736M| 477 | - |2924 |5178 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
1020.61/1021.09 c 996s|890000 |863293 | 0 | 0.0 | 744M| 477 | - |2924 |5199 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
1030.31/1030.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1030.31/1030.79 c 1005s|900000 |872912 | 0 | 0.0 | 752M| 477 | - |2924 |5242 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
1039.89/1040.39 c 1014s|910000 |882524 | 0 | 0.0 | 760M| 477 | - |2924 |5260 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
1049.39/1049.82 c 1024s|920000 |892170 | 0 | 0.0 | 769M| 477 | - |2924 |5262 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
1058.89/1059.40 c 1033s|930000 |901763 | 0 | 0.0 | 777M| 477 | - |2924 |5312 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
1068.28/1068.78 c 1042s|940000 |911377 | 0 | 0.0 | 785M| 477 | - |2924 |5334 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
1077.49/1077.96 c 1051s|950000 |921026 | 0 | 0.0 | 794M| 477 | - |2924 |5372 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
1087.08/1087.53 c 1060s|960000 |930594 | 0 | 0.0 | 802M| 477 | - |2924 |5425 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1096.58/1097.02 c 1069s|970000 |940171 | 0 | 0.0 | 810M| 477 | - |2924 |5448 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1106.07/1106.53 c 1079s|980000 |949764 | 0 | 0.0 | 818M| 477 | - |2924 |5434 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1115.37/1115.80 c 1088s|990000 |959374 | 0 | 0.0 | 827M| 477 | - |2924 |5478 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1124.56/1125.07 c 1097s| 1000k|968958 | 0 | 0.0 | 835M| 477 | - |2924 |5551 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1133.96/1134.48 c 1106s| 1010k|978515 | 0 | 0.0 | 843M| 477 | - |2924 |5563 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1143.26/1143.73 c 1115s| 1020k|988098 | 0 | 0.0 | 852M| 477 | - |2924 |5598 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1152.66/1153.12 c 1124s| 1030k|997697 | 0 | 0.0 | 860M| 477 | - |2924 |5594 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1161.95/1162.42 c 1133s| 1040k| 1007k| 0 | 0.0 | 869M| 477 | - |2924 |5638 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1171.15/1171.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1171.15/1171.64 c 1142s| 1050k| 1016k| 0 | 0.0 | 877M| 477 | - |2924 |5644 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1180.14/1180.62 c 1150s| 1060k| 1026k| 0 | 0.0 | 885M| 477 | - |2924 |5660 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1189.24/1189.72 c 1159s| 1070k| 1035k| 0 | 0.0 | 893M| 477 | - |2924 |5698 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1198.34/1198.80 c 1168s| 1080k| 1045k| 0 | 0.0 | 902M| 477 | - |2924 |5720 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1207.73/1208.22 c 1177s| 1090k| 1055k| 0 | 0.0 | 910M| 477 | - |2924 |5779 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1216.83/1217.32 c 1186s| 1100k| 1064k| 0 | 0.0 | 919M| 477 | - |2924 |5786 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1226.04/1226.59 c 1195s| 1110k| 1074k| 0 | 0.0 | 927M| 477 | - |2924 |5784 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1234.93/1235.47 c 1204s| 1120k| 1083k| 0 | 0.0 | 936M| 477 | - |2924 |5847 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1244.02/1244.53 c 1212s| 1130k| 1093k| 0 | 0.0 | 944M| 477 | - |2924 |5886 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1253.12/1253.65 c 1221s| 1140k| 1102k| 0 | 0.0 | 952M| 477 | - |2924 |5952 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1262.22/1262.75 c 1230s| 1150k| 1112k| 0 | 0.0 | 961M| 477 | - |2924 |5954 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1271.51/1272.00 c 1239s| 1160k| 1121k| 0 | 0.0 | 969M| 477 | - |2924 |5986 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1280.41/1280.99 c 1248s| 1170k| 1131k| 0 | 0.0 | 978M| 477 | - |2924 |6008 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1289.40/1289.92 c 1256s| 1180k| 1140k| 0 | 0.0 | 986M| 477 | - |2924 |6013 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1298.61/1299.13 c 1265s| 1190k| 1150k| 0 | 0.0 | 994M| 477 | - |2924 |6004 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1307.59/1308.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1307.59/1308.14 c 1274s| 1200k| 1159k| 0 | 0.0 |1003M| 477 | - |2924 |6052 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1316.59/1317.12 c 1283s| 1210k| 1168k| 0 | 0.0 |1012M| 477 | - |2924 |6104 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1325.78/1326.32 c 1292s| 1220k| 1178k| 0 | 0.0 |1020M| 477 | - |2924 |6102 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1334.79/1335.31 c 1300s| 1230k| 1187k| 0 | 0.0 |1029M| 477 | - |2924 |6139 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1343.48/1344.08 c 1309s| 1240k| 1197k| 0 | 0.0 |1037M| 477 | - |2924 |6172 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1352.39/1353.00 c 1317s| 1250k| 1206k| 0 | 0.0 |1045M| 477 | - |2924 |6177 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1361.29/1361.86 c 1326s| 1260k| 1216k| 0 | 0.0 |1054M| 477 | - |2924 |6203 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1370.17/1370.79 c 1335s| 1270k| 1225k| 0 | 0.0 |1062M| 477 | - |2924 |6274 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1379.27/1379.81 c 1343s| 1280k| 1234k| 0 | 0.0 |1071M| 477 | - |2924 |6316 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1388.27/1388.88 c 1352s| 1290k| 1244k| 0 | 0.0 |1080M| 477 | - |2924 |6329 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1396.96/1397.58 c 1361s| 1300k| 1253k| 0 | 0.0 |1088M| 477 | - |2924 |6359 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1405.86/1406.49 c 1369s| 1310k| 1262k| 0 | 0.0 |1097M| 477 | - |2924 |6364 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1414.75/1415.37 c 1378s| 1320k| 1272k| 0 | 0.0 |1106M| 477 | - |2924 |6385 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1423.55/1424.18 c 1386s| 1330k| 1281k| 0 | 0.0 |1114M| 477 | - |2924 |6397 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1432.55/1433.11 c 1395s| 1340k| 1291k| 0 | 0.0 |1123M| 477 | - |2924 |6484 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1441.34/1441.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1441.34/1441.94 c 1404s| 1350k| 1300k| 0 | 0.0 |1131M| 477 | - |2924 |6489 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1450.04/1450.65 c 1412s| 1360k| 1309k| 0 | 0.0 |1140M| 477 | - |2924 |6538 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1458.94/1459.52 c 1421s| 1370k| 1318k| 0 | 0.0 |1148M| 477 | - |2924 |6539 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1467.54/1468.15 c 1429s| 1380k| 1328k| 0 | 0.0 |1157M| 477 | - |2924 |6564 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1476.24/1476.85 c 1437s| 1390k| 1337k| 0 | 0.0 |1166M| 477 | - |2924 |6635 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1485.23/1485.82 c 1446s| 1400k| 1346k| 0 | 0.0 |1175M| 477 | - |2924 |6645 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1494.43/1495.09 c 1455s| 1410k| 1356k| 0 | 0.0 |1183M| 477 | - |2924 |6703 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
1503.62/1504.23 c 1464s| 1420k| 1365k| 0 | 0.0 |1192M| 477 | - |2924 |6715 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1512.62/1513.21 c 1473s| 1430k| 1374k| 0 | 0.0 |1201M| 477 | - |2924 |6730 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1521.51/1522.19 c 1481s| 1440k| 1383k| 0 | 0.0 |1209M| 477 | - |2924 |6769 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1530.62/1531.27 c 1490s| 1450k| 1392k| 0 | 0.0 |1218M| 477 | - |2924 |6838 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
1539.90/1540.54 c 1499s| 1460k| 1401k| 0 | 0.0 |1227M| 477 | - |2924 |6862 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
1549.10/1549.76 c 1508s| 1470k| 1410k| 0 | 0.0 |1236M| 477 | - |2924 |6938 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
1558.30/1558.91 c 1517s| 1480k| 1419k| 0 | 0.0 |1245M| 477 | - |2924 |6933 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
1567.20/1567.88 c 1525s| 1490k| 1429k| 0 | 0.0 |1254M| 477 | - |2924 |7002 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
1576.60/1577.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1576.60/1577.27 c 1535s| 1500k| 1438k| 0 | 0.0 |1263M| 477 | - |2924 |7050 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
1585.99/1586.64 c 1544s| 1510k| 1447k| 0 | 0.0 |1272M| 477 | - |2924 |7083 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
1595.29/1595.90 c 1553s| 1520k| 1456k| 0 | 0.0 |1281M| 477 | - |2924 |7077 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
1604.29/1604.96 c 1561s| 1530k| 1465k| 0 | 0.0 |1290M| 477 | - |2924 |7119 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
1613.58/1614.28 c 1570s| 1540k| 1474k| 0 | 0.0 |1299M| 477 | - |2924 |7167 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
1622.47/1623.11 c 1579s| 1550k| 1483k| 0 | 0.0 |1309M| 477 | - |2924 |7216 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1631.07/1631.79 c 1587s| 1560k| 1492k| 0 | 0.0 |1318M| 477 | - |2924 |7278 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
1640.48/1641.15 c 1596s| 1570k| 1501k| 0 | 0.0 |1327M| 477 | - |2924 |7300 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
1649.46/1650.16 c 1605s| 1580k| 1510k| 0 | 0.0 |1337M| 477 | - |2924 |7333 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
1658.27/1658.98 c 1614s| 1590k| 1519k| 0 | 0.0 |1346M| 477 | - |2924 |7406 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
1667.16/1667.88 c 1622s| 1600k| 1528k| 0 | 0.0 |1355M| 477 | - |2924 |7422 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
1670.76/1671.48 c (node 1603513) switching to memory saving mode (mem: 1296.0M/1620.0M)
1683.65/1684.37 c 1638s| 1610k| 1531k| 0 | 0.0 |1359M| 480 | - |2924 |7469 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
1703.15/1703.86 c 1658s| 1620k| 1531k| 0 | 0.0 |1359M| 480 | - |2924 |7426 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
1724.84/1725.51 c 1679s| 1630k| 1531k| 0 | 0.0 |1358M| 480 | - |2924 |7424 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
1748.93/1749.62 c 1703s| 1640k| 1531k| 0 | 0.0 |1359M| 480 | - |2924 |7456 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
1769.72/1770.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1769.72/1770.49 c 1723s| 1650k| 1531k| 0 | 0.0 |1359M| 480 | - |2924 |7452 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
1792.61/1793.30 c 1746s| 1660k| 1531k| 0 | 0.0 |1359M| 480 | - |2924 |7433 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
1800.03/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.71 c
1800.03/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.71 c Solving Time (sec) : 1753.02
1800.03/1800.71 c Solving Nodes : 1663037
1800.03/1800.71 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.03/1800.71 c Dual Bound : +0.00000000000000e+00
1800.03/1800.71 c Gap : infinite
1800.03/1800.71 s UNKNOWN
1800.03/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.71 c Solving Time : 1753.02
1800.03/1800.71 c Original Problem :
1800.03/1800.71 c Problem name : HOME/instance-2663410-1276675334.opb
1800.03/1800.71 c Variables : 2924 (2924 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.71 c Constraints : 3126 initial, 3126 maximal
1800.03/1800.71 c Presolved Problem :
1800.03/1800.71 c Problem name : t_HOME/instance-2663410-1276675334.opb
1800.03/1800.71 c Variables : 2924 (2924 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.71 c Constraints : 3126 initial, 7519 maximal
1800.03/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.71 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.71 c probing : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.71 c knapsack : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.71 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.71 c and : 0.18 0 0 0 0 0 0 0 0
1800.03/1800.71 c linear : 0.02 0 0 0 0 0 0 0 0
1800.03/1800.71 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.71 c root node : - 0 - - 0 - - - -
1800.03/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.71 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.71 c knapsack : 1 0 2508119 0 1120320 7493 1707319 0 0 0
1800.03/1800.71 c setppc : 400 0 3585577 0 1575100 32838 175881 0 0 0
1800.03/1800.71 c and : 2524 0 3766882 0 1608123 159 15902082 0 0 0
1800.03/1800.71 c linear : 1 0 3747804 0 1608123 31930 942819 0 0 0
1800.03/1800.71 c logicor : 200+ 0 176783 0 1608092 4556 2136813 0 0 0
1800.03/1800.71 c countsols : 0 0 0 0 1608123 0 0 0 0 0
1800.03/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.71 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.71 c knapsack : 64.56 0.00 49.61 0.00 14.95
1800.03/1800.71 c setppc : 321.89 0.00 54.54 0.00 267.35
1800.03/1800.71 c and : 303.73 0.00 135.70 0.00 168.03
1800.03/1800.71 c linear : 249.57 0.00 248.03 0.00 1.54
1800.03/1800.71 c logicor : 86.00 0.00 50.66 0.00 35.34
1800.03/1800.71 c countsols : 0.84 0.00 0.00 0.00 0.84
1800.03/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.71 c vbounds : 2.13 1 0 0
1800.03/1800.71 c rootredcost : 2.15 0 0 0
1800.03/1800.71 c pseudoobj : 1.91 0 0 0
1800.03/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.71 c propagation : 135.71 76976 76364 360138 326.3 32 218.4 -
1800.03/1800.71 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.71 c applied globally : - - - 57455 142.8 - - -
1800.03/1800.71 c applied locally : - - - 33550 338.1 - - -
1800.03/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.71 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.71 c redcost : 0.00 0 0 0 0 0
1800.03/1800.71 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.71 c intobj : 0.00 0 0 0 0 0
1800.03/1800.71 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.71 c gomory : 0.00 0 0 0 0 0
1800.03/1800.71 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.71 c cmir : 0.00 0 0 0 0 0
1800.03/1800.71 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.71 c clique : 0.00 0 0 0 0 0
1800.03/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.71 c mcf : 0.00 0 0 0 0 0
1800.03/1800.71 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.71 c Pricers : Time Calls Vars
1800.03/1800.71 c problem variables: 0.00 0 0
1800.03/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.71 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.71 c inference : 509.15 1608123 0 0 0 0 3216246
1800.03/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.71 c random : 0.00 0 0 0 0 0 0
1800.03/1800.71 c Primal Heuristics : Time Calls Found
1800.03/1800.71 c LP solutions : 0.00 - 0
1800.03/1800.71 c pseudo solutions : 0.00 - 0
1800.03/1800.71 c trivial : 0.01 1 0
1800.03/1800.71 c simplerounding : 0.00 0 0
1800.03/1800.71 c zirounding : 0.00 0 0
1800.03/1800.71 c rounding : 0.00 0 0
1800.03/1800.71 c shifting : 0.00 0 0
1800.03/1800.71 c intshifting : 0.00 0 0
1800.03/1800.71 c oneopt : 0.00 0 0
1800.03/1800.71 c twoopt : 0.00 0 0
1800.03/1800.71 c fixandinfer : 0.00 0 0
1800.03/1800.71 c feaspump : 0.00 0 0
1800.03/1800.71 c coefdiving : 0.00 0 0
1800.03/1800.71 c pscostdiving : 0.00 0 0
1800.03/1800.71 c fracdiving : 0.00 0 0
1800.03/1800.71 c veclendiving : 0.00 0 0
1800.03/1800.71 c intdiving : 0.00 0 0
1800.03/1800.71 c actconsdiving : 0.00 0 0
1800.03/1800.71 c objpscostdiving : 0.00 0 0
1800.03/1800.71 c rootsoldiving : 0.00 0 0
1800.03/1800.71 c linesearchdiving : 0.00 0 0
1800.03/1800.71 c guideddiving : 0.00 0 0
1800.03/1800.71 c octane : 0.00 0 0
1800.03/1800.71 c rens : 0.00 0 0
1800.03/1800.71 c rins : 0.00 0 0
1800.03/1800.71 c localbranching : 0.00 0 0
1800.03/1800.71 c mutation : 0.00 0 0
1800.03/1800.71 c crossover : 0.00 0 0
1800.03/1800.71 c dins : 0.00 0 0
1800.03/1800.71 c undercover : 0.00 0 0
1800.03/1800.71 c nlp : 0.00 0 0
1800.03/1800.71 c trysol : 0.00 0 0
1800.03/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.71 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.71 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.71 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.71 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.71 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.71 c (at root node) : - 0 0 0.00 -
1800.03/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.71 c B&B Tree :
1800.03/1800.71 c number of runs : 1
1800.03/1800.71 c nodes : 1663037
1800.03/1800.71 c nodes (total) : 1663037
1800.03/1800.71 c nodes left : 1531120
1800.03/1800.71 c max depth : 480
1800.03/1800.71 c max depth (total): 480
1800.03/1800.71 c backtracks : 23531 (1.4%)
1800.03/1800.71 c delayed cutoffs : 22090
1800.03/1800.71 c repropagations : 447387 (1266490 domain reductions, 22062 cutoffs)
1800.03/1800.71 c avg switch length: 4.09
1800.03/1800.71 c switching time : 136.56
1800.03/1800.71 c Solution :
1800.03/1800.71 c Solutions found : 0 (0 improvements)
1800.03/1800.71 c Primal Bound : -
1800.03/1800.71 c Dual Bound : +0.00000000000000e+00
1800.03/1800.71 c Gap : infinite
1800.03/1800.71 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.71 c Root Iterations : 0