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-2663432-1276677652.opb>
0.00/0.04 c original problem has 2882 variables (2882 bin, 0 int, 0 impl, 0 cont) and 3084 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.04 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.07 c presolving:
0.19/0.29 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 601 upgd conss, 20256 impls, 400 clqs
0.39/0.47 c presolving (2 rounds):
0.39/0.47 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.47 c 20256 implications, 400 cliques
0.39/0.47 c presolved problem has 2882 variables (2882 bin, 0 int, 0 impl, 0 cont) and 3084 constraints
0.39/0.47 c 1 constraints of type <knapsack>
0.39/0.47 c 400 constraints of type <setppc>
0.39/0.47 c 2482 constraints of type <and>
0.39/0.47 c 1 constraints of type <linear>
0.39/0.47 c 200 constraints of type <logicor>
0.39/0.47 c transformed objective value is always integral (scale: 1)
0.39/0.47 c Presolving Time: 0.23
0.39/0.47 c - non default parameters ----------------------------------------------------------------------
0.39/0.47 c # SCIP version 1.2.1.2
0.39/0.47 c
0.39/0.47 c # frequency for displaying node information lines
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.47 c display/freq = 10000
0.39/0.47 c
0.39/0.47 c # maximal time in seconds to run
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.47 c limits/time = 1799.97
0.39/0.47 c
0.39/0.47 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.47 c limits/memory = 1620
0.39/0.47 c
0.39/0.47 c # solving stops, if the given number of solutions were found (-1: no limit)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.47 c limits/solutions = 1
0.39/0.47 c
0.39/0.47 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.47 c lp/solvefreq = -1
0.39/0.47 c
0.39/0.47 c # maximal number of separation rounds per node (-1: unlimited)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 5]
0.39/0.47 c separating/maxrounds = 1
0.39/0.47 c
0.39/0.47 c # maximal number of separation rounds in the root node (-1: unlimited)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.47 c separating/maxroundsroot = 5
0.39/0.47 c
0.39/0.47 c # should presolving try to simplify inequalities
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c constraints/linear/simplifyinequalities = TRUE
0.39/0.47 c
0.39/0.47 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.39/0.47 c constraints/knapsack/disaggregation = FALSE
0.39/0.47 c
0.39/0.47 c # should presolving try to simplify knapsacks
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.47 c
0.39/0.47 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.47 c presolving/probing/maxrounds = 0
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.47 c heuristics/coefdiving/freq = -1
0.39/0.47 c
0.39/0.47 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.47 c heuristics/coefdiving/maxlpiterquot = 0.075
0.39/0.47 c
0.39/0.47 c # additional number of allowed LP iterations
0.39/0.47 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.47 c heuristics/coefdiving/maxlpiterofs = 1500
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 30]
0.39/0.47 c heuristics/crossover/freq = -1
0.39/0.47 c
0.39/0.47 c # number of nodes added to the contingent of the total nodes
0.39/0.47 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.47 c heuristics/crossover/nodesofs = 750
0.39/0.47 c
0.39/0.47 c # number of nodes without incumbent change that heuristic should wait
0.39/0.47 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.39/0.47 c heuristics/crossover/nwaitingnodes = 100
0.39/0.47 c
0.39/0.47 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.39/0.47 c # [type: real, range: [0,1], default: 0.1]
0.39/0.47 c heuristics/crossover/nodesquot = 0.15
0.39/0.47 c
0.39/0.47 c # minimum percentage of integer variables that have to be fixed
0.39/0.47 c # [type: real, range: [0,1], default: 0.666]
0.39/0.47 c heuristics/crossover/minfixingrate = 0.5
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.47 c heuristics/feaspump/freq = -1
0.39/0.47 c
0.39/0.47 c # additional number of allowed LP iterations
0.39/0.47 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.47 c heuristics/feaspump/maxlpiterofs = 2000
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.47 c heuristics/fracdiving/freq = -1
0.39/0.47 c
0.39/0.47 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.47 c heuristics/fracdiving/maxlpiterquot = 0.075
0.39/0.47 c
0.39/0.47 c # additional number of allowed LP iterations
0.39/0.47 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.47 c heuristics/fracdiving/maxlpiterofs = 1500
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.47 c heuristics/guideddiving/freq = -1
0.39/0.47 c
0.39/0.47 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.47 c heuristics/guideddiving/maxlpiterquot = 0.075
0.39/0.47 c
0.39/0.47 c # additional number of allowed LP iterations
0.39/0.47 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.47 c heuristics/guideddiving/maxlpiterofs = 1500
0.39/0.47 c
0.39/0.47 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.47 c heuristics/intdiving/maxlpiterquot = 0.075
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.47 c heuristics/intshifting/freq = -1
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.47 c heuristics/linesearchdiving/freq = -1
0.39/0.47 c
0.39/0.47 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.47 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.39/0.47 c
0.39/0.47 c # additional number of allowed LP iterations
0.39/0.47 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.47 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.47 c heuristics/nlp/freq = -1
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.47 c heuristics/objpscostdiving/freq = -1
0.39/0.47 c
0.39/0.47 c # maximal fraction of diving LP iterations compared to total iteration number
0.39/0.47 c # [type: real, range: [0,1], default: 0.01]
0.39/0.47 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.39/0.47 c
0.39/0.47 c # additional number of allowed LP iterations
0.39/0.47 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.47 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.47 c heuristics/oneopt/freq = -1
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.47 c heuristics/pscostdiving/freq = -1
0.39/0.47 c
0.39/0.47 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.47 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.39/0.47 c
0.39/0.47 c # additional number of allowed LP iterations
0.39/0.47 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.47 c heuristics/pscostdiving/maxlpiterofs = 1500
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.47 c heuristics/rens/freq = -1
0.39/0.47 c
0.39/0.47 c # minimum percentage of integer variables that have to be fixable
0.39/0.47 c # [type: real, range: [0,1], default: 0.5]
0.39/0.47 c heuristics/rens/minfixingrate = 0.3
0.39/0.47 c
0.39/0.47 c # number of nodes added to the contingent of the total nodes
0.39/0.47 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.47 c heuristics/rens/nodesofs = 2000
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.47 c heuristics/rootsoldiving/freq = -1
0.39/0.47 c
0.39/0.47 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.39/0.47 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.39/0.47 c
0.39/0.47 c # additional number of allowed LP iterations
0.39/0.47 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.47 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.47 c heuristics/rounding/freq = -1
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.47 c heuristics/shifting/freq = -1
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.47 c heuristics/simplerounding/freq = -1
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.47 c heuristics/trivial/freq = -1
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.47 c heuristics/trysol/freq = -1
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.47 c heuristics/veclendiving/freq = -1
0.39/0.47 c
0.39/0.47 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.47 c heuristics/veclendiving/maxlpiterquot = 0.075
0.39/0.47 c
0.39/0.47 c # additional number of allowed LP iterations
0.39/0.47 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.47 c heuristics/veclendiving/maxlpiterofs = 1500
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.47 c heuristics/zirounding/freq = -1
0.39/0.47 c
0.39/0.47 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.47 c separating/cmir/freq = -1
0.39/0.47 c
0.39/0.47 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.47 c separating/flowcover/freq = -1
0.39/0.47 c
0.39/0.47 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.47 c separating/rapidlearning/freq = 0
0.39/0.47 c
0.39/0.47 c -----------------------------------------------------------------------------------------------
0.39/0.47 c start solving
0.39/0.47 c
0.39/0.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.47 c 0.2s| 1 | 2 | 0 | - |7915k| 0 | - |2882 |3084 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
13.68/13.74 c 13.2s| 10000 | 9726 | 0 | 0.0 | 17M| 440 | - |2882 |3184 | 0 | 0 | 0 | 178 | 0 | 0.000000e+00 | -- | Inf
23.69/23.70 c 22.9s| 20000 | 19434 | 0 | 0.0 | 24M| 440 | - |2882 |3349 | 0 | 0 | 0 | 392 | 0 | 0.000000e+00 | -- | Inf
30.18/30.20 c 29.2s| 30000 | 29080 | 0 | 0.0 | 31M| 440 | - |2882 |3566 | 0 | 0 | 0 | 681 | 0 | 0.000000e+00 | -- | Inf
38.38/38.45 c 37.0s| 40000 | 34716 | 0 | 0.0 | 36M| 440 | - |2882 |4508 | 0 | 0 | 0 |2982 | 0 | 0.000000e+00 | -- | Inf
53.48/53.54 c 51.8s| 50000 | 44490 | 0 | 0.0 | 43M| 440 | - |2882 |3356 | 0 | 0 | 0 |3154 | 0 | 0.000000e+00 | -- | Inf
67.57/67.68 c 65.7s| 60000 | 54237 | 0 | 0.0 | 52M| 440 | - |2882 |3387 | 0 | 0 | 0 |3338 | 0 | 0.000000e+00 | -- | Inf
81.17/81.27 c 79.0s| 70000 | 64048 | 0 | 0.0 | 60M| 440 | - |2882 |3389 | 0 | 0 | 0 |3501 | 0 | 0.000000e+00 | -- | Inf
95.17/95.20 c 92.7s| 80000 | 73788 | 0 | 0.0 | 68M| 440 | - |2882 |3438 | 0 | 0 | 0 |3689 | 0 | 0.000000e+00 | -- | Inf
109.16/109.27 c 106s| 90000 | 83593 | 0 | 0.0 | 77M| 440 | - |2882 |3419 | 0 | 0 | 0 |3848 | 0 | 0.000000e+00 | -- | Inf
123.06/123.13 c 120s|100000 | 93365 | 0 | 0.0 | 86M| 440 | - |2882 |3436 | 0 | 0 | 0 |4030 | 0 | 0.000000e+00 | -- | Inf
136.37/136.42 c 133s|110000 |103180 | 0 | 0.0 | 94M| 440 | - |2882 |3463 | 0 | 0 | 0 |4185 | 0 | 0.000000e+00 | -- | Inf
149.75/149.89 c 146s|120000 |112979 | 0 | 0.0 | 103M| 440 | - |2882 |3491 | 0 | 0 | 0 |4350 | 0 | 0.000000e+00 | -- | Inf
163.05/163.18 c 159s|130000 |122798 | 0 | 0.0 | 111M| 440 | - |2882 |3515 | 0 | 0 | 0 |4496 | 0 | 0.000000e+00 | -- | Inf
176.05/176.17 c 172s|140000 |132626 | 0 | 0.0 | 120M| 440 | - |2882 |3533 | 0 | 0 | 0 |4646 | 0 | 0.000000e+00 | -- | Inf
188.74/188.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
188.74/188.89 c 185s|150000 |142431 | 0 | 0.0 | 128M| 440 | - |2882 |3563 | 0 | 0 | 0 |4820 | 0 | 0.000000e+00 | -- | Inf
201.84/201.97 c 197s|160000 |152228 | 0 | 0.0 | 137M| 440 | - |2882 |3614 | 0 | 0 | 0 |5000 | 0 | 0.000000e+00 | -- | Inf
214.64/214.70 c 210s|170000 |162018 | 0 | 0.0 | 145M| 440 | - |2882 |3637 | 0 | 0 | 0 |5168 | 0 | 0.000000e+00 | -- | Inf
227.34/227.43 c 222s|180000 |171818 | 0 | 0.0 | 153M| 440 | - |2882 |3624 | 0 | 0 | 0 |5345 | 0 | 0.000000e+00 | -- | Inf
239.74/239.88 c 234s|190000 |181640 | 0 | 0.0 | 162M| 440 | - |2882 |3629 | 0 | 0 | 0 |5505 | 0 | 0.000000e+00 | -- | Inf
252.53/252.63 c 247s|200000 |191415 | 0 | 0.0 | 170M| 440 | - |2882 |3648 | 0 | 0 | 0 |5675 | 0 | 0.000000e+00 | -- | Inf
265.03/265.10 c 259s|210000 |201204 | 0 | 0.0 | 179M| 440 | - |2882 |3652 | 0 | 0 | 0 |5842 | 0 | 0.000000e+00 | -- | Inf
277.23/277.33 c 271s|220000 |211001 | 0 | 0.0 | 187M| 440 | - |2882 |3687 | 0 | 0 | 0 |6021 | 0 | 0.000000e+00 | -- | Inf
289.23/289.37 c 283s|230000 |220783 | 0 | 0.0 | 195M| 440 | - |2882 |3717 | 0 | 0 | 0 |6205 | 0 | 0.000000e+00 | -- | Inf
301.72/301.87 c 295s|240000 |230557 | 0 | 0.0 | 204M| 440 | - |2882 |3735 | 0 | 0 | 0 |6386 | 0 | 0.000000e+00 | -- | Inf
313.71/313.84 c 307s|250000 |240363 | 0 | 0.0 | 212M| 440 | - |2882 |3763 | 0 | 0 | 0 |6558 | 0 | 0.000000e+00 | -- | Inf
325.52/325.65 c 318s|260000 |250159 | 0 | 0.0 | 221M| 440 | - |2882 |3799 | 0 | 0 | 0 |6752 | 0 | 0.000000e+00 | -- | Inf
337.50/337.66 c 330s|270000 |259958 | 0 | 0.0 | 229M| 440 | - |2882 |3821 | 0 | 0 | 0 |6923 | 0 | 0.000000e+00 | -- | Inf
349.40/349.51 c 342s|280000 |269738 | 0 | 0.0 | 237M| 440 | - |2882 |3837 | 0 | 0 | 0 |7109 | 0 | 0.000000e+00 | -- | Inf
361.39/361.53 c 354s|290000 |279525 | 0 | 0.0 | 246M| 440 | - |2882 |3852 | 0 | 0 | 0 |7280 | 0 | 0.000000e+00 | -- | Inf
373.19/373.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
373.19/373.35 c 365s|300000 |289305 | 0 | 0.0 | 254M| 440 | - |2882 |3869 | 0 | 0 | 0 |7464 | 0 | 0.000000e+00 | -- | Inf
385.09/385.28 c 377s|310000 |299079 | 0 | 0.0 | 262M| 440 | - |2882 |3910 | 0 | 0 | 0 |7651 | 0 | 0.000000e+00 | -- | Inf
396.78/396.94 c 388s|320000 |308850 | 0 | 0.0 | 271M| 440 | - |2882 |3936 | 0 | 0 | 0 |7840 | 0 | 0.000000e+00 | -- | Inf
408.19/408.37 c 399s|330000 |318625 | 0 | 0.0 | 279M| 440 | - |2882 |3957 | 0 | 0 | 0 |8026 | 0 | 0.000000e+00 | -- | Inf
419.98/420.11 c 411s|340000 |328397 | 0 | 0.0 | 288M| 440 | - |2882 |3967 | 0 | 0 | 0 |8218 | 0 | 0.000000e+00 | -- | Inf
431.58/431.75 c 422s|350000 |338167 | 0 | 0.0 | 296M| 440 | - |2882 |4000 | 0 | 0 | 0 |8402 | 0 | 0.000000e+00 | -- | Inf
443.19/443.32 c 434s|360000 |347893 | 0 | 0.0 | 304M| 440 | - |2882 |4037 | 0 | 0 | 0 |8627 | 0 | 0.000000e+00 | -- | Inf
454.68/454.82 c 445s|370000 |357649 | 0 | 0.0 | 313M| 440 | - |2882 |4062 | 0 | 0 | 0 |8839 | 0 | 0.000000e+00 | -- | Inf
465.77/465.96 c 456s|380000 |367430 | 0 | 0.0 | 321M| 440 | - |2882 |4077 | 0 | 0 | 0 |9025 | 0 | 0.000000e+00 | -- | Inf
477.38/477.59 c 467s|390000 |377158 | 0 | 0.0 | 330M| 440 | - |2882 |4110 | 0 | 0 | 0 |9261 | 0 | 0.000000e+00 | -- | Inf
488.57/488.72 c 478s|400000 |386922 | 0 | 0.0 | 338M| 440 | - |2882 |4130 | 0 | 0 | 0 |9478 | 0 | 0.000000e+00 | -- | Inf
499.76/499.96 c 489s|410000 |396668 | 0 | 0.0 | 346M| 440 | - |2882 |4166 | 0 | 0 | 0 |9691 | 0 | 0.000000e+00 | -- | Inf
510.86/511.05 c 500s|420000 |406432 | 0 | 0.0 | 355M| 440 | - |2882 |4159 | 0 | 0 | 0 |9897 | 0 | 0.000000e+00 | -- | Inf
522.16/522.31 c 511s|430000 |416177 | 0 | 0.0 | 363M| 440 | - |2882 |4168 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
533.15/533.39 c 522s|440000 |425904 | 0 | 0.0 | 372M| 440 | - |2882 |4173 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
544.25/544.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
544.25/544.42 c 532s|450000 |435659 | 0 | 0.0 | 380M| 440 | - |2882 |4173 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
554.95/555.14 c 543s|460000 |445431 | 0 | 0.0 | 388M| 440 | - |2882 |4167 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
565.74/565.99 c 553s|470000 |455166 | 0 | 0.0 | 397M| 440 | - |2882 |4197 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
576.55/576.73 c 564s|480000 |464931 | 0 | 0.0 | 405M| 440 | - |2882 |4207 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
587.04/587.28 c 574s|490000 |474682 | 0 | 0.0 | 413M| 440 | - |2882 |4240 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
597.64/597.87 c 584s|500000 |484447 | 0 | 0.0 | 422M| 440 | - |2882 |4253 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
608.43/608.70 c 595s|510000 |494184 | 0 | 0.0 | 430M| 440 | - |2882 |4266 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
619.14/619.33 c 605s|520000 |503904 | 0 | 0.0 | 438M| 440 | - |2882 |4283 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
629.53/629.71 c 616s|530000 |513672 | 0 | 0.0 | 447M| 440 | - |2882 |4308 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
640.14/640.33 c 626s|540000 |523415 | 0 | 0.0 | 455M| 440 | - |2882 |4318 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
650.53/650.73 c 636s|550000 |533135 | 0 | 0.0 | 463M| 440 | - |2882 |4349 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
660.93/661.16 c 646s|560000 |542887 | 0 | 0.0 | 472M| 440 | - |2882 |4369 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
671.22/671.48 c 656s|570000 |552625 | 0 | 0.0 | 480M| 440 | - |2882 |4386 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
681.61/681.81 c 666s|580000 |562364 | 0 | 0.0 | 488M| 440 | - |2882 |4385 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
691.91/692.14 c 677s|590000 |572105 | 0 | 0.0 | 497M| 440 | - |2882 |4392 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
702.01/702.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
702.01/702.27 c 686s|600000 |581827 | 0 | 0.0 | 505M| 440 | - |2882 |4409 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
712.21/712.48 c 696s|610000 |591553 | 0 | 0.0 | 513M| 440 | - |2882 |4448 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
722.11/722.36 c 706s|620000 |601311 | 0 | 0.0 | 522M| 440 | - |2882 |4470 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
732.30/732.53 c 716s|630000 |611030 | 0 | 0.0 | 530M| 440 | - |2882 |4491 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
742.41/742.70 c 726s|640000 |620741 | 0 | 0.0 | 538M| 440 | - |2882 |4511 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
752.21/752.45 c 735s|650000 |630480 | 0 | 0.0 | 546M| 440 | - |2882 |4552 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
762.11/762.36 c 745s|660000 |640192 | 0 | 0.0 | 555M| 440 | - |2882 |4563 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
772.10/772.32 c 755s|670000 |649923 | 0 | 0.0 | 563M| 440 | - |2882 |4609 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
782.00/782.21 c 764s|680000 |659624 | 0 | 0.0 | 571M| 440 | - |2882 |4637 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
791.99/792.23 c 774s|690000 |669326 | 0 | 0.0 | 580M| 440 | - |2882 |4667 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
801.89/802.14 c 784s|700000 |679030 | 0 | 0.0 | 588M| 440 | - |2882 |4680 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
811.59/811.81 c 793s|710000 |688745 | 0 | 0.0 | 597M| 440 | - |2882 |4696 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
821.29/821.53 c 803s|720000 |698454 | 0 | 0.0 | 605M| 440 | - |2882 |4728 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
831.08/831.39 c 812s|730000 |708162 | 0 | 0.0 | 613M| 440 | - |2882 |4776 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
840.98/841.25 c 822s|740000 |717853 | 0 | 0.0 | 622M| 440 | - |2882 |4790 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
850.77/851.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
850.77/851.06 c 831s|750000 |727527 | 0 | 0.0 | 630M| 440 | - |2882 |4815 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
860.57/860.81 c 841s|760000 |737177 | 0 | 0.0 | 638M| 440 | - |2882 |4834 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
870.16/870.44 c 850s|770000 |746860 | 0 | 0.0 | 647M| 440 | - |2882 |4827 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
879.77/880.01 c 860s|780000 |756524 | 0 | 0.0 | 655M| 440 | - |2882 |4875 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
889.26/889.51 c 869s|790000 |766209 | 0 | 0.0 | 663M| 440 | - |2882 |4883 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
898.47/898.77 c 878s|800000 |775919 | 0 | 0.0 | 672M| 440 | - |2882 |4856 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
907.86/908.13 c 887s|810000 |785576 | 0 | 0.0 | 680M| 440 | - |2882 |4873 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
917.17/917.47 c 896s|820000 |795244 | 0 | 0.0 | 688M| 440 | - |2882 |4896 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
926.55/926.83 c 905s|830000 |804882 | 0 | 0.0 | 696M| 440 | - |2882 |4913 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
935.65/935.97 c 914s|840000 |814575 | 0 | 0.0 | 705M| 440 | - |2882 |4945 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
944.95/945.25 c 923s|850000 |824243 | 0 | 0.0 | 713M| 440 | - |2882 |4953 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
954.45/954.75 c 932s|860000 |833879 | 0 | 0.0 | 721M| 440 | - |2882 |5000 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
963.75/964.07 c 941s|870000 |843504 | 0 | 0.0 | 730M| 440 | - |2882 |5008 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
973.25/973.50 c 951s|880000 |853144 | 0 | 0.0 | 738M| 440 | - |2882 |5039 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
982.64/982.91 c 960s|890000 |862780 | 0 | 0.0 | 746M| 440 | - |2882 |5038 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
991.74/992.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
991.74/992.03 c 969s|900000 |872442 | 0 | 0.0 | 754M| 440 | - |2882 |5046 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
1001.04/1001.33 c 978s|910000 |882061 | 0 | 0.0 | 763M| 440 | - |2882 |5086 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
1009.93/1010.20 c 986s|920000 |891722 | 0 | 0.0 | 771M| 440 | - |2882 |5099 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
1019.03/1019.40 c 995s|930000 |901352 | 0 | 0.0 | 779M| 440 | - |2882 |5151 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
1028.13/1028.45 c 1004s|940000 |910980 | 0 | 0.0 | 788M| 440 | - |2882 |5155 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
1037.13/1037.48 c 1013s|950000 |920584 | 0 | 0.0 | 796M| 440 | - |2882 |5169 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1046.12/1046.46 c 1022s|960000 |930218 | 0 | 0.0 | 804M| 440 | - |2882 |5199 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1054.82/1055.16 c 1030s|970000 |939877 | 0 | 0.0 | 813M| 440 | - |2882 |5220 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1063.72/1064.07 c 1039s|980000 |949512 | 0 | 0.0 | 821M| 440 | - |2882 |5262 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1072.82/1073.11 c 1047s|990000 |959149 | 0 | 0.0 | 830M| 440 | - |2882 |5298 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1081.71/1082.03 c 1056s| 1000k|968766 | 0 | 0.0 | 838M| 440 | - |2882 |5337 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1090.81/1091.16 c 1065s| 1010k|978302 | 0 | 0.0 | 846M| 440 | - |2882 |5344 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1099.61/1099.97 c 1074s| 1020k|987904 | 0 | 0.0 | 855M| 440 | - |2882 |5382 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1108.52/1108.81 c 1082s| 1030k|997465 | 0 | 0.0 | 863M| 440 | - |2882 |5448 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1117.20/1117.56 c 1091s| 1040k| 1007k| 0 | 0.0 | 872M| 440 | - |2882 |5464 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1125.91/1126.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1125.91/1126.22 c 1099s| 1050k| 1016k| 0 | 0.0 | 880M| 440 | - |2882 |5491 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1134.91/1135.23 c 1108s| 1060k| 1026k| 0 | 0.0 | 889M| 440 | - |2882 |5511 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1143.60/1143.90 c 1116s| 1070k| 1035k| 0 | 0.0 | 897M| 440 | - |2882 |5517 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1152.10/1152.43 c 1125s| 1080k| 1045k| 0 | 0.0 | 905M| 440 | - |2882 |5545 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1160.70/1161.10 c 1133s| 1090k| 1054k| 0 | 0.0 | 914M| 440 | - |2882 |5589 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1169.20/1169.58 c 1141s| 1100k| 1064k| 0 | 0.0 | 922M| 440 | - |2882 |5588 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1177.90/1178.26 c 1150s| 1110k| 1074k| 0 | 0.0 | 931M| 440 | - |2882 |5614 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1186.59/1186.99 c 1158s| 1120k| 1083k| 0 | 0.0 | 939M| 440 | - |2882 |5690 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1195.09/1195.42 c 1166s| 1130k| 1093k| 0 | 0.0 | 948M| 440 | - |2882 |5738 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1203.79/1204.15 c 1175s| 1140k| 1102k| 0 | 0.0 | 956M| 440 | - |2882 |5802 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1212.48/1212.87 c 1183s| 1150k| 1112k| 0 | 0.0 | 965M| 440 | - |2882 |5831 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1221.17/1221.57 c 1192s| 1160k| 1121k| 0 | 0.0 | 974M| 440 | - |2882 |5867 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1230.07/1230.46 c 1200s| 1170k| 1131k| 0 | 0.0 | 982M| 440 | - |2882 |5911 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1238.67/1239.09 c 1209s| 1180k| 1140k| 0 | 0.0 | 991M| 440 | - |2882 |5930 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1247.36/1247.77 c 1217s| 1190k| 1150k| 0 | 0.0 | 999M| 440 | - |2882 |5948 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1256.07/1256.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1256.07/1256.41 c 1225s| 1200k| 1159k| 0 | 0.0 |1008M| 440 | - |2882 |6018 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1264.86/1265.21 c 1234s| 1210k| 1169k| 0 | 0.0 |1017M| 440 | - |2882 |6083 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1273.57/1273.93 c 1242s| 1220k| 1178k| 0 | 0.0 |1025M| 440 | - |2882 |6077 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1282.16/1282.50 c 1251s| 1230k| 1188k| 0 | 0.0 |1034M| 440 | - |2882 |6135 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1290.65/1291.09 c 1259s| 1240k| 1197k| 0 | 0.0 |1043M| 440 | - |2882 |6150 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1299.45/1299.88 c 1268s| 1250k| 1206k| 0 | 0.0 |1051M| 440 | - |2882 |6182 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1307.96/1308.37 c 1276s| 1260k| 1216k| 0 | 0.0 |1060M| 440 | - |2882 |6242 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1316.65/1317.03 c 1284s| 1270k| 1225k| 0 | 0.0 |1069M| 440 | - |2882 |6312 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1325.25/1325.67 c 1293s| 1280k| 1235k| 0 | 0.0 |1078M| 440 | - |2882 |6342 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1333.95/1334.33 c 1301s| 1290k| 1244k| 0 | 0.0 |1087M| 440 | - |2882 |6358 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1342.44/1342.87 c 1309s| 1300k| 1254k| 0 | 0.0 |1096M| 440 | - |2882 |6368 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1351.14/1351.58 c 1318s| 1310k| 1263k| 0 | 0.0 |1105M| 440 | - |2882 |6387 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1359.74/1360.18 c 1326s| 1320k| 1272k| 0 | 0.0 |1114M| 440 | - |2882 |6445 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1368.34/1368.75 c 1334s| 1330k| 1282k| 0 | 0.0 |1122M| 440 | - |2882 |6432 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1376.93/1377.33 c 1343s| 1340k| 1291k| 0 | 0.0 |1131M| 440 | - |2882 |6494 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1385.73/1386.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1385.73/1386.14 c 1351s| 1350k| 1300k| 0 | 0.0 |1140M| 440 | - |2882 |6526 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1394.43/1394.83 c 1360s| 1360k| 1310k| 0 | 0.0 |1149M| 440 | - |2882 |6521 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1402.93/1403.37 c 1368s| 1370k| 1319k| 0 | 0.0 |1158M| 440 | - |2882 |6534 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1411.62/1412.02 c 1376s| 1380k| 1328k| 0 | 0.0 |1167M| 440 | - |2882 |6510 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1420.32/1420.74 c 1385s| 1390k| 1337k| 0 | 0.0 |1176M| 440 | - |2882 |6501 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1428.82/1429.23 c 1393s| 1400k| 1347k| 0 | 0.0 |1185M| 440 | - |2882 |6518 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1437.33/1437.72 c 1401s| 1410k| 1356k| 0 | 0.0 |1193M| 440 | - |2882 |6515 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
1445.91/1446.31 c 1410s| 1420k| 1365k| 0 | 0.0 |1202M| 440 | - |2882 |6564 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
1454.41/1454.86 c 1418s| 1430k| 1374k| 0 | 0.0 |1211M| 440 | - |2882 |6626 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1462.81/1463.25 c 1426s| 1440k| 1383k| 0 | 0.0 |1220M| 440 | - |2882 |6678 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1471.21/1471.61 c 1434s| 1450k| 1393k| 0 | 0.0 |1229M| 440 | - |2882 |6737 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1479.71/1480.14 c 1442s| 1460k| 1402k| 0 | 0.0 |1238M| 440 | - |2882 |6791 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
1488.20/1488.70 c 1451s| 1470k| 1411k| 0 | 0.0 |1248M| 440 | - |2882 |6858 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
1497.00/1497.49 c 1459s| 1480k| 1420k| 0 | 0.0 |1257M| 440 | - |2882 |6880 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
1505.60/1506.01 c 1468s| 1490k| 1429k| 0 | 0.0 |1266M| 440 | - |2882 |6875 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
1514.31/1514.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1514.31/1514.76 c 1476s| 1500k| 1438k| 0 | 0.0 |1275M| 440 | - |2882 |6951 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
1522.90/1523.39 c 1484s| 1510k| 1447k| 0 | 0.0 |1285M| 440 | - |2882 |7017 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
1531.90/1532.33 c 1493s| 1520k| 1456k| 0 | 0.0 |1294M| 440 | - |2882 |7022 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
1540.80/1541.25 c 1502s| 1530k| 1465k| 0 | 0.0 |1303M| 440 | - |2882 |7057 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
1549.79/1550.29 c 1511s| 1540k| 1474k| 0 | 0.0 |1312M| 440 | - |2882 |7119 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
1558.98/1559.44 c 1519s| 1550k| 1483k| 0 | 0.0 |1322M| 440 | - |2882 |7111 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1567.98/1568.46 c 1528s| 1560k| 1492k| 0 | 0.0 |1331M| 440 | - |2882 |7169 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
1576.99/1577.43 c 1537s| 1570k| 1501k| 0 | 0.0 |1341M| 440 | - |2882 |7271 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
1585.98/1586.43 c 1546s| 1580k| 1510k| 0 | 0.0 |1350M| 440 | - |2882 |7242 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
1593.87/1594.34 c (node 1589213) switching to memory saving mode (mem: 1296.0M/1620.0M)
1595.58/1596.05 c 1555s| 1590k| 1518k| 0 | 0.0 |1359M| 441 | - |2882 |7211 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
1615.37/1615.81 c 1574s| 1600k| 1518k| 0 | 0.0 |1359M| 444 | - |2882 |7184 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
1636.47/1636.96 c 1595s| 1610k| 1518k| 0 | 0.0 |1359M| 444 | - |2882 |7207 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
1659.96/1660.45 c 1618s| 1620k| 1518k| 0 | 0.0 |1359M| 444 | - |2882 |7216 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
1679.45/1679.90 c 1637s| 1630k| 1518k| 0 | 0.0 |1359M| 444 | - |2882 |7182 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
1699.06/1699.53 c 1657s| 1640k| 1518k| 0 | 0.0 |1359M| 444 | - |2882 |7190 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
1719.95/1720.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1719.95/1720.40 c 1677s| 1650k| 1518k| 0 | 0.0 |1359M| 444 | - |2882 |7190 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
1741.74/1742.28 c 1699s| 1660k| 1518k| 0 | 0.0 |1359M| 444 | - |2882 |7188 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1764.33/1764.80 c 1721s| 1670k| 1518k| 0 | 0.0 |1359M| 444 | - |2882 |7200 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1788.63/1789.19 c 1745s| 1680k| 1518k| 0 | 0.0 |1359M| 444 | - |2882 |7190 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1800.03/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.51 c
1800.03/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.51 c Solving Time (sec) : 1756.20
1800.03/1800.51 c Solving Nodes : 1685894
1800.03/1800.51 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.03/1800.51 c Dual Bound : +0.00000000000000e+00
1800.03/1800.51 c Gap : infinite
1800.03/1800.51 s UNKNOWN
1800.03/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.51 c Solving Time : 1756.20
1800.03/1800.51 c Original Problem :
1800.03/1800.51 c Problem name : HOME/instance-2663432-1276677652.opb
1800.03/1800.51 c Variables : 2882 (2882 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.51 c Constraints : 3084 initial, 3084 maximal
1800.03/1800.51 c Presolved Problem :
1800.03/1800.51 c Problem name : t_HOME/instance-2663432-1276677652.opb
1800.03/1800.51 c Variables : 2882 (2882 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.51 c Constraints : 3084 initial, 7358 maximal
1800.03/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.51 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c probing : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c and : 0.17 0 0 0 0 0 0 0 0
1800.03/1800.51 c linear : 0.03 0 0 0 0 0 0 0 0
1800.03/1800.51 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c root node : - 0 - - 0 - - - -
1800.03/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.51 c knapsack : 1 0 2645758 0 1130035 8427 2103515 0 0 0
1800.03/1800.51 c setppc : 400 0 3550308 0 1561382 32772 176856 0 0 0
1800.03/1800.51 c and : 2482 0 3886402 0 1614771 175 16117801 0 0 0
1800.03/1800.51 c linear : 1 0 3867615 0 1614771 50843 969706 0 0 0
1800.03/1800.51 c logicor : 200+ 0 196382 0 1614728 4254 2132906 0 0 0
1800.03/1800.51 c countsols : 0 0 0 0 1614771 0 0 0 0 0
1800.03/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.51 c knapsack : 68.76 0.00 53.56 0.00 15.20
1800.03/1800.51 c setppc : 305.01 0.00 55.14 0.00 249.87
1800.03/1800.51 c and : 308.32 0.00 138.60 0.00 169.72
1800.03/1800.51 c linear : 291.83 0.00 290.34 0.00 1.49
1800.03/1800.51 c logicor : 83.63 0.00 49.46 0.00 34.17
1800.03/1800.51 c countsols : 0.60 0.00 0.00 0.00 0.60
1800.03/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.51 c vbounds : 2.06 1 0 0
1800.03/1800.51 c rootredcost : 2.10 0 0 0
1800.03/1800.51 c pseudoobj : 1.66 0 0 0
1800.03/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.51 c propagation : 193.02 96471 96325 565094 344.2 38 207.9 -
1800.03/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.51 c applied globally : - - - 58603 143.9 - - -
1800.03/1800.51 c applied locally : - - - 53308 339.2 - - -
1800.03/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.51 c redcost : 0.00 0 0 0 0 0
1800.03/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.51 c intobj : 0.00 0 0 0 0 0
1800.03/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.51 c gomory : 0.00 0 0 0 0 0
1800.03/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.51 c cmir : 0.00 0 0 0 0 0
1800.03/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.51 c clique : 0.00 0 0 0 0 0
1800.03/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.51 c mcf : 0.00 0 0 0 0 0
1800.03/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.51 c Pricers : Time Calls Vars
1800.03/1800.51 c problem variables: 0.00 0 0
1800.03/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.51 c inference : 486.91 1614771 0 0 0 0 3229542
1800.03/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.51 c random : 0.00 0 0 0 0 0 0
1800.03/1800.51 c Primal Heuristics : Time Calls Found
1800.03/1800.51 c LP solutions : 0.00 - 0
1800.03/1800.51 c pseudo solutions : 0.00 - 0
1800.03/1800.51 c trivial : 0.00 1 0
1800.03/1800.51 c simplerounding : 0.00 0 0
1800.03/1800.51 c zirounding : 0.00 0 0
1800.03/1800.51 c rounding : 0.00 0 0
1800.03/1800.51 c shifting : 0.00 0 0
1800.03/1800.51 c intshifting : 0.00 0 0
1800.03/1800.51 c oneopt : 0.00 0 0
1800.03/1800.51 c twoopt : 0.00 0 0
1800.03/1800.51 c fixandinfer : 0.00 0 0
1800.03/1800.51 c feaspump : 0.00 0 0
1800.03/1800.51 c coefdiving : 0.00 0 0
1800.03/1800.51 c pscostdiving : 0.00 0 0
1800.03/1800.51 c fracdiving : 0.00 0 0
1800.03/1800.51 c veclendiving : 0.00 0 0
1800.03/1800.51 c intdiving : 0.00 0 0
1800.03/1800.51 c actconsdiving : 0.00 0 0
1800.03/1800.51 c objpscostdiving : 0.00 0 0
1800.03/1800.51 c rootsoldiving : 0.00 0 0
1800.03/1800.51 c linesearchdiving : 0.00 0 0
1800.03/1800.51 c guideddiving : 0.00 0 0
1800.03/1800.51 c octane : 0.00 0 0
1800.03/1800.51 c rens : 0.00 0 0
1800.03/1800.51 c rins : 0.00 0 0
1800.03/1800.51 c localbranching : 0.00 0 0
1800.03/1800.51 c mutation : 0.00 0 0
1800.03/1800.51 c crossover : 0.00 0 0
1800.03/1800.51 c dins : 0.00 0 0
1800.03/1800.51 c undercover : 0.00 0 0
1800.03/1800.51 c nlp : 0.00 0 0
1800.03/1800.51 c trysol : 0.00 0 0
1800.03/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.51 c (at root node) : - 0 0 0.00 -
1800.03/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.51 c B&B Tree :
1800.03/1800.51 c number of runs : 1
1800.03/1800.51 c nodes : 1685894
1800.03/1800.51 c nodes (total) : 1685894
1800.03/1800.51 c nodes left : 1518279
1800.03/1800.51 c max depth : 444
1800.03/1800.51 c max depth (total): 444
1800.03/1800.51 c backtracks : 27271 (1.6%)
1800.03/1800.51 c delayed cutoffs : 25370
1800.03/1800.51 c repropagations : 513392 (1340081 domain reductions, 25348 cutoffs)
1800.03/1800.51 c avg switch length: 4.08
1800.03/1800.51 c switching time : 132.36
1800.03/1800.51 c Solution :
1800.03/1800.51 c Solutions found : 0 (0 improvements)
1800.03/1800.51 c Primal Bound : -
1800.03/1800.51 c Dual Bound : +0.00000000000000e+00
1800.03/1800.51 c Gap : infinite
1800.03/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.51 c Root Iterations : 0