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-2663427-1276677371.opb>
0.01/0.03 c original problem has 1460 variables (1460 bin, 0 int, 0 impl, 0 cont) and 1562 constraints
0.01/0.03 c problem read
0.01/0.03 c No objective function, only one solution is needed.
0.01/0.03 c presolving settings loaded
0.01/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.01/0.04 c presolving:
0.19/0.24 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 301 upgd conss, 10280 impls, 200 clqs
0.39/0.42 c presolving (2 rounds):
0.39/0.42 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.42 c 10280 implications, 200 cliques
0.39/0.42 c presolved problem has 1460 variables (1460 bin, 0 int, 0 impl, 0 cont) and 1562 constraints
0.39/0.42 c 1 constraints of type <knapsack>
0.39/0.42 c 200 constraints of type <setppc>
0.39/0.42 c 1260 constraints of type <and>
0.39/0.42 c 1 constraints of type <linear>
0.39/0.42 c 100 constraints of type <logicor>
0.39/0.42 c transformed objective value is always integral (scale: 1)
0.39/0.42 c Presolving Time: 0.21
0.39/0.42 c - non default parameters ----------------------------------------------------------------------
0.39/0.42 c # SCIP version 1.2.1.2
0.39/0.42 c
0.39/0.42 c # frequency for displaying node information lines
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.42 c display/freq = 10000
0.39/0.42 c
0.39/0.42 c # maximal time in seconds to run
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.42 c limits/time = 1799.99
0.39/0.42 c
0.39/0.42 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.42 c limits/memory = 1620
0.39/0.42 c
0.39/0.42 c # solving stops, if the given number of solutions were found (-1: no limit)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.42 c limits/solutions = 1
0.39/0.42 c
0.39/0.42 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42 c lp/solvefreq = -1
0.39/0.42 c
0.39/0.42 c # maximal number of separation rounds per node (-1: unlimited)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 5]
0.39/0.42 c separating/maxrounds = 1
0.39/0.42 c
0.39/0.42 c # maximal number of separation rounds in the root node (-1: unlimited)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.42 c separating/maxroundsroot = 5
0.39/0.42 c
0.39/0.42 c # should presolving try to simplify inequalities
0.39/0.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.42 c constraints/linear/simplifyinequalities = TRUE
0.39/0.42 c
0.39/0.42 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.39/0.42 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.39/0.42 c constraints/knapsack/disaggregation = FALSE
0.39/0.42 c
0.39/0.42 c # should presolving try to simplify knapsacks
0.39/0.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.42 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.42 c
0.39/0.42 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.42 c presolving/probing/maxrounds = 0
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42 c heuristics/coefdiving/freq = -1
0.39/0.42 c
0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42 c heuristics/coefdiving/maxlpiterquot = 0.075
0.39/0.42 c
0.39/0.42 c # additional number of allowed LP iterations
0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42 c heuristics/coefdiving/maxlpiterofs = 1500
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 30]
0.39/0.42 c heuristics/crossover/freq = -1
0.39/0.42 c
0.39/0.42 c # number of nodes added to the contingent of the total nodes
0.39/0.42 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.42 c heuristics/crossover/nodesofs = 750
0.39/0.42 c
0.39/0.42 c # number of nodes without incumbent change that heuristic should wait
0.39/0.42 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.39/0.42 c heuristics/crossover/nwaitingnodes = 100
0.39/0.42 c
0.39/0.42 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.39/0.42 c # [type: real, range: [0,1], default: 0.1]
0.39/0.42 c heuristics/crossover/nodesquot = 0.15
0.39/0.42 c
0.39/0.42 c # minimum percentage of integer variables that have to be fixed
0.39/0.42 c # [type: real, range: [0,1], default: 0.666]
0.39/0.42 c heuristics/crossover/minfixingrate = 0.5
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.42 c heuristics/feaspump/freq = -1
0.39/0.42 c
0.39/0.42 c # additional number of allowed LP iterations
0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42 c heuristics/feaspump/maxlpiterofs = 2000
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42 c heuristics/fracdiving/freq = -1
0.39/0.42 c
0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42 c heuristics/fracdiving/maxlpiterquot = 0.075
0.39/0.42 c
0.39/0.42 c # additional number of allowed LP iterations
0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42 c heuristics/fracdiving/maxlpiterofs = 1500
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42 c heuristics/guideddiving/freq = -1
0.39/0.42 c
0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42 c heuristics/guideddiving/maxlpiterquot = 0.075
0.39/0.42 c
0.39/0.42 c # additional number of allowed LP iterations
0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42 c heuristics/guideddiving/maxlpiterofs = 1500
0.39/0.42 c
0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42 c heuristics/intdiving/maxlpiterquot = 0.075
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42 c heuristics/intshifting/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42 c heuristics/linesearchdiving/freq = -1
0.39/0.42 c
0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.39/0.42 c
0.39/0.42 c # additional number of allowed LP iterations
0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42 c heuristics/nlp/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.42 c heuristics/objpscostdiving/freq = -1
0.39/0.42 c
0.39/0.42 c # maximal fraction of diving LP iterations compared to total iteration number
0.39/0.42 c # [type: real, range: [0,1], default: 0.01]
0.39/0.42 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.39/0.42 c
0.39/0.42 c # additional number of allowed LP iterations
0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42 c heuristics/oneopt/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42 c heuristics/pscostdiving/freq = -1
0.39/0.42 c
0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.39/0.42 c
0.39/0.42 c # additional number of allowed LP iterations
0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42 c heuristics/pscostdiving/maxlpiterofs = 1500
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.42 c heuristics/rens/freq = -1
0.39/0.42 c
0.39/0.42 c # minimum percentage of integer variables that have to be fixable
0.39/0.42 c # [type: real, range: [0,1], default: 0.5]
0.39/0.42 c heuristics/rens/minfixingrate = 0.3
0.39/0.42 c
0.39/0.42 c # number of nodes added to the contingent of the total nodes
0.39/0.42 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.42 c heuristics/rens/nodesofs = 2000
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.42 c heuristics/rootsoldiving/freq = -1
0.39/0.42 c
0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.39/0.42 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.39/0.42 c
0.39/0.42 c # additional number of allowed LP iterations
0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42 c heuristics/rounding/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42 c heuristics/shifting/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42 c heuristics/simplerounding/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.42 c heuristics/trivial/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42 c heuristics/trysol/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42 c heuristics/veclendiving/freq = -1
0.39/0.42 c
0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42 c heuristics/veclendiving/maxlpiterquot = 0.075
0.39/0.42 c
0.39/0.42 c # additional number of allowed LP iterations
0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42 c heuristics/veclendiving/maxlpiterofs = 1500
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42 c heuristics/zirounding/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.42 c separating/cmir/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.42 c separating/flowcover/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.42 c separating/rapidlearning/freq = 0
0.39/0.42 c
0.39/0.42 c -----------------------------------------------------------------------------------------------
0.39/0.42 c start solving
0.39/0.43 c
0.39/0.43 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.43 c 0.2s| 1 | 2 | 0 | - |4052k| 0 | - |1460 |1562 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
7.19/7.20 c 6.7s| 10000 | 7714 | 0 | 0.0 | 14M| 141 | - |1460 |1819 | 0 | 0 | 0 |1307 | 0 | 0.000000e+00 | -- | Inf
14.69/14.72 c 13.9s| 20000 | 16180 | 0 | 0.0 | 24M| 141 | - |1460 |1946 | 0 | 0 | 0 |2050 | 0 | 0.000000e+00 | -- | Inf
22.49/22.59 c 21.5s| 30000 | 23475 | 0 | 0.0 | 33M| 141 | - |1460 |1999 | 0 | 0 | 0 |2769 | 0 | 0.000000e+00 | -- | Inf
30.38/30.48 c 29.1s| 40000 | 30354 | 0 | 0.0 | 41M| 141 | - |1460 |2063 | 0 | 0 | 0 |3792 | 0 | 0.000000e+00 | -- | Inf
38.49/38.55 c 36.8s| 50000 | 36504 | 0 | 0.0 | 48M| 141 | - |1460 |2085 | 0 | 0 | 0 |4808 | 0 | 0.000000e+00 | -- | Inf
46.68/46.79 c 44.8s| 60000 | 41849 | 0 | 0.0 | 55M| 141 | - |1460 |2050 | 0 | 0 | 0 |5590 | 0 | 0.000000e+00 | -- | Inf
55.27/55.33 c 53.0s| 70000 | 46558 | 0 | 0.0 | 61M| 141 | - |1460 |2060 | 0 | 0 | 0 |6479 | 0 | 0.000000e+00 | -- | Inf
64.07/64.11 c 61.5s| 80000 | 50658 | 0 | 0.0 | 67M| 141 | - |1460 |2139 | 0 | 0 | 0 |7617 | 0 | 0.000000e+00 | -- | Inf
72.97/73.04 c 70.1s| 90000 | 54236 | 0 | 0.0 | 72M| 141 | - |1460 |2185 | 0 | 0 | 0 |8839 | 0 | 0.000000e+00 | -- | Inf
82.06/82.15 c 78.9s|100000 | 57378 | 0 | 0.0 | 77M| 141 | - |1460 |2289 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
90.36/90.49 c 86.9s|110000 | 60396 | 0 | 0.0 | 82M| 141 | - |1460 |2553 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
98.87/98.99 c 94.9s|120000 | 63107 | 0 | 0.0 | 87M| 141 | - |1460 |3129 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
107.66/107.78 c 103s|130000 | 65090 | 0 | 0.0 | 92M| 141 | - |1460 |3639 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
116.56/116.68 c 112s|140000 | 71794 | 0 | 0.0 | 102M| 141 | - |1460 |2192 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
125.65/125.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
125.65/125.71 c 121s|150000 | 79232 | 0 | 0.0 | 111M| 141 | - |1460 |2345 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
134.95/135.05 c 130s|160000 | 86046 | 0 | 0.0 | 119M| 141 | - |1460 |2337 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
144.55/144.68 c 139s|170000 | 92619 | 0 | 0.0 | 128M| 141 | - |1460 |2356 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
154.14/154.22 c 148s|180000 | 99216 | 0 | 0.0 | 136M| 141 | - |1460 |2270 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
163.53/163.68 c 157s|190000 |105860 | 0 | 0.0 | 144M| 141 | - |1460 |2347 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
173.03/173.17 c 166s|200000 |112414 | 0 | 0.0 | 153M| 141 | - |1460 |2320 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
182.44/182.50 c 175s|210000 |118912 | 0 | 0.0 | 161M| 141 | - |1460 |2314 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
191.73/191.81 c 184s|220000 |125455 | 0 | 0.0 | 169M| 141 | - |1460 |2357 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
200.92/201.01 c 193s|230000 |131965 | 0 | 0.0 | 177M| 141 | - |1460 |2328 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
210.03/210.17 c 202s|240000 |138601 | 0 | 0.0 | 186M| 141 | - |1460 |2382 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
219.52/219.61 c 211s|250000 |144840 | 0 | 0.0 | 194M| 141 | - |1460 |2377 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
228.72/228.87 c 220s|260000 |151195 | 0 | 0.0 | 202M| 141 | - |1460 |2271 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
238.22/238.31 c 229s|270000 |157370 | 0 | 0.0 | 210M| 141 | - |1460 |2367 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
247.51/247.63 c 238s|280000 |163610 | 0 | 0.0 | 218M| 141 | - |1460 |2331 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
256.81/256.94 c 247s|290000 |169919 | 0 | 0.0 | 226M| 141 | - |1460 |2340 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
266.11/266.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
266.11/266.27 c 256s|300000 |176120 | 0 | 0.0 | 234M| 141 | - |1460 |2424 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
275.51/275.62 c 265s|310000 |182496 | 0 | 0.0 | 242M| 141 | - |1460 |2345 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
284.80/284.91 c 274s|320000 |188722 | 0 | 0.0 | 249M| 141 | - |1460 |2328 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
294.19/294.37 c 284s|330000 |194863 | 0 | 0.0 | 257M| 141 | - |1460 |2372 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
303.59/303.74 c 293s|340000 |201063 | 0 | 0.0 | 265M| 141 | - |1460 |2395 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
312.99/313.19 c 302s|350000 |207164 | 0 | 0.0 | 273M| 141 | - |1460 |2440 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
322.49/322.67 c 311s|360000 |213200 | 0 | 0.0 | 281M| 141 | - |1460 |2411 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
331.89/332.00 c 320s|370000 |219168 | 0 | 0.0 | 289M| 141 | - |1460 |2385 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
341.38/341.57 c 329s|380000 |225069 | 0 | 0.0 | 297M| 141 | - |1460 |2454 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
350.69/350.81 c 338s|390000 |231059 | 0 | 0.0 | 304M| 141 | - |1460 |2452 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
360.18/360.39 c 347s|400000 |236937 | 0 | 0.0 | 312M| 141 | - |1460 |2465 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
369.87/370.01 c 357s|410000 |242528 | 0 | 0.0 | 320M| 141 | - |1460 |2407 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
379.07/379.28 c 366s|420000 |248461 | 0 | 0.0 | 327M| 141 | - |1460 |2451 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
388.87/389.05 c 375s|430000 |254150 | 0 | 0.0 | 335M| 141 | - |1460 |2612 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
398.26/398.43 c 384s|440000 |260003 | 0 | 0.0 | 343M| 141 | - |1460 |2478 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
407.65/407.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
407.65/407.88 c 393s|450000 |265775 | 0 | 0.0 | 351M| 141 | - |1460 |2532 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
417.25/417.45 c 403s|460000 |271463 | 0 | 0.0 | 358M| 141 | - |1460 |2436 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
426.46/426.69 c 412s|470000 |277344 | 0 | 0.0 | 366M| 141 | - |1460 |2445 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
436.05/436.25 c 421s|480000 |283038 | 0 | 0.0 | 373M| 141 | - |1460 |2551 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
445.84/446.01 c 430s|490000 |288525 | 0 | 0.0 | 381M| 141 | - |1460 |2518 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
455.35/455.53 c 440s|500000 |294177 | 0 | 0.0 | 388M| 141 | - |1460 |2486 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
465.05/465.20 c 449s|510000 |299785 | 0 | 0.0 | 396M| 141 | - |1460 |2475 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
474.64/474.85 c 458s|520000 |305216 | 0 | 0.0 | 403M| 141 | - |1460 |2558 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
484.14/484.37 c 467s|530000 |310751 | 0 | 0.0 | 411M| 141 | - |1460 |2537 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
493.74/493.94 c 477s|540000 |316359 | 0 | 0.0 | 418M| 141 | - |1460 |2547 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
503.64/503.86 c 486s|550000 |321796 | 0 | 0.0 | 426M| 141 | - |1460 |2561 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
513.33/513.60 c 496s|560000 |327335 | 0 | 0.0 | 434M| 141 | - |1460 |2696 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
523.12/523.33 c 505s|570000 |332837 | 0 | 0.0 | 441M| 141 | - |1460 |2652 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
533.23/533.42 c 515s|580000 |338052 | 0 | 0.0 | 449M| 141 | - |1460 |2577 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
542.92/543.18 c 524s|590000 |343321 | 0 | 0.0 | 456M| 141 | - |1460 |2688 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
552.71/552.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
552.71/552.93 c 534s|600000 |348676 | 0 | 0.0 | 463M| 141 | - |1460 |2675 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
562.61/562.83 c 543s|610000 |353957 | 0 | 0.0 | 471M| 141 | - |1460 |2619 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
572.51/572.73 c 553s|620000 |359283 | 0 | 0.0 | 478M| 141 | - |1460 |2609 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
582.40/582.63 c 562s|630000 |364523 | 0 | 0.0 | 485M| 141 | - |1460 |2621 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
592.20/592.47 c 572s|640000 |369816 | 0 | 0.0 | 493M| 141 | - |1460 |2663 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
602.51/602.70 c 582s|650000 |374834 | 0 | 0.0 | 500M| 141 | - |1460 |2630 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
612.30/612.58 c 591s|660000 |379997 | 0 | 0.0 | 507M| 141 | - |1460 |2673 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
622.09/622.35 c 601s|670000 |385236 | 0 | 0.0 | 515M| 141 | - |1460 |2656 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
632.09/632.38 c 611s|680000 |390347 | 0 | 0.0 | 522M| 141 | - |1460 |2732 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
642.20/642.43 c 620s|690000 |395454 | 0 | 0.0 | 529M| 141 | - |1460 |2630 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
652.18/652.44 c 630s|700000 |400537 | 0 | 0.0 | 537M| 141 | - |1460 |2733 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
662.08/662.34 c 640s|710000 |405695 | 0 | 0.0 | 544M| 141 | - |1460 |2734 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
672.08/672.32 c 649s|720000 |410800 | 0 | 0.0 | 551M| 141 | - |1460 |2602 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
682.07/682.39 c 659s|730000 |415802 | 0 | 0.0 | 558M| 141 | - |1460 |2561 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
692.28/692.51 c 669s|740000 |420802 | 0 | 0.0 | 565M| 141 | - |1460 |2640 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
702.17/702.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
702.17/702.49 c 678s|750000 |425895 | 0 | 0.0 | 573M| 141 | - |1460 |2705 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
712.16/712.49 c 688s|760000 |430896 | 0 | 0.0 | 580M| 141 | - |1460 |2675 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
722.57/722.87 c 698s|770000 |435746 | 0 | 0.0 | 587M| 141 | - |1460 |2726 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
732.87/733.16 c 708s|780000 |440583 | 0 | 0.0 | 594M| 141 | - |1460 |2670 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
743.16/743.43 c 718s|790000 |445472 | 0 | 0.0 | 601M| 141 | - |1460 |2851 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
753.17/753.44 c 728s|800000 |450352 | 0 | 0.0 | 608M| 141 | - |1460 |2745 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
763.45/763.77 c 738s|810000 |455060 | 0 | 0.0 | 616M| 141 | - |1460 |2744 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
773.86/774.18 c 748s|820000 |459784 | 0 | 0.0 | 623M| 141 | - |1460 |2647 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
784.15/784.46 c 758s|830000 |464638 | 0 | 0.0 | 630M| 141 | - |1460 |2771 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
794.14/794.42 c 767s|840000 |469549 | 0 | 0.0 | 637M| 141 | - |1460 |2785 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
804.45/804.73 c 777s|850000 |474235 | 0 | 0.0 | 644M| 141 | - |1460 |2788 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
814.85/815.17 c 787s|860000 |478826 | 0 | 0.0 | 651M| 141 | - |1460 |2687 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
825.23/825.54 c 798s|870000 |483535 | 0 | 0.0 | 658M| 141 | - |1460 |2763 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
835.53/835.84 c 808s|880000 |488256 | 0 | 0.0 | 665M| 141 | - |1460 |2781 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
845.54/845.87 c 817s|890000 |493085 | 0 | 0.0 | 672M| 141 | - |1460 |2792 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
856.13/856.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
856.13/856.46 c 828s|900000 |497590 | 0 | 0.0 | 679M| 141 | - |1460 |2847 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
866.73/867.09 c 838s|910000 |502114 | 0 | 0.0 | 686M| 141 | - |1460 |2679 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
877.23/877.59 c 848s|920000 |506708 | 0 | 0.0 | 693M| 141 | - |1460 |2869 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
887.52/887.89 c 858s|930000 |511333 | 0 | 0.0 | 700M| 141 | - |1460 |2776 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
897.91/898.25 c 868s|940000 |515889 | 0 | 0.0 | 707M| 141 | - |1460 |2805 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
908.60/908.98 c 878s|950000 |520300 | 0 | 0.0 | 714M| 141 | - |1460 |2718 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
919.41/919.74 c 889s|960000 |524696 | 0 | 0.0 | 721M| 141 | - |1460 |2887 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
929.80/930.13 c 899s|970000 |529283 | 0 | 0.0 | 728M| 141 | - |1460 |2729 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
940.00/940.39 c 909s|980000 |533866 | 0 | 0.0 | 735M| 141 | - |1460 |2883 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
950.70/951.05 c 919s|990000 |538199 | 0 | 0.0 | 742M| 141 | - |1460 |2911 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
961.39/961.76 c 930s| 1000k|542586 | 0 | 0.0 | 748M| 141 | - |1460 |2800 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
972.19/972.55 c 940s| 1010k|546872 | 0 | 0.0 | 755M| 141 | - |1460 |2902 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
982.68/983.06 c 950s| 1020k|551310 | 0 | 0.0 | 762M| 141 | - |1460 |2787 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
993.19/993.51 c 960s| 1030k|555787 | 0 | 0.0 | 769M| 141 | - |1460 |2903 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
1004.17/1004.54 c 971s| 1040k|559815 | 0 | 0.0 | 776M| 141 | - |1460 |2820 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
1015.17/1015.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1015.17/1015.57 c 982s| 1050k|563939 | 0 | 0.0 | 783M| 141 | - |1460 |2774 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
1025.98/1026.34 c 992s| 1060k|568126 | 0 | 0.0 | 789M| 141 | - |1460 |2787 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
1036.37/1036.77 c 1002s| 1070k|572492 | 0 | 0.0 | 796M| 141 | - |1460 |2881 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
1047.07/1047.40 c 1012s| 1080k|576770 | 0 | 0.0 | 803M| 141 | - |1460 |2885 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
1058.16/1058.58 c 1023s| 1090k|580743 | 0 | 0.0 | 810M| 141 | - |1460 |2758 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
1069.26/1069.64 c 1034s| 1100k|584778 | 0 | 0.0 | 816M| 141 | - |1460 |2826 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
1080.15/1080.52 c 1045s| 1110k|588856 | 0 | 0.0 | 823M| 141 | - |1460 |2978 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
1090.55/1090.92 c 1055s| 1120k|593162 | 0 | 0.0 | 830M| 141 | - |1460 |2769 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
1100.85/1101.25 c 1065s| 1130k|597420 | 0 | 0.0 | 836M| 141 | - |1460 |2703 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
1111.85/1112.23 c 1075s| 1140k|601401 | 0 | 0.0 | 843M| 141 | - |1460 |2750 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
1122.75/1123.19 c 1086s| 1150k|605423 | 0 | 0.0 | 849M| 141 | - |1460 |2745 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
1133.75/1134.12 c 1096s| 1160k|609408 | 0 | 0.0 | 856M| 141 | - |1460 |2836 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
1144.14/1144.51 c 1107s| 1170k|613623 | 0 | 0.0 | 863M| 141 | - |1460 |2757 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
1154.44/1154.82 c 1117s| 1180k|617825 | 0 | 0.0 | 870M| 141 | - |1460 |2902 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
1165.94/1166.39 c 1128s| 1190k|621485 | 0 | 0.0 | 876M| 141 | - |1460 |2754 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
1177.03/1177.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1177.03/1177.43 c 1138s| 1200k|625389 | 0 | 0.0 | 883M| 141 | - |1460 |2844 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
1187.83/1188.28 c 1149s| 1210k|629293 | 0 | 0.0 | 889M| 141 | - |1460 |2804 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
1198.82/1199.24 c 1160s| 1220k|633225 | 0 | 0.0 | 896M| 141 | - |1460 |3182 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
1209.53/1209.91 c 1170s| 1230k|637304 | 0 | 0.0 | 903M| 141 | - |1460 |2998 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
1221.32/1221.73 c 1181s| 1240k|640861 | 0 | 0.0 | 909M| 141 | - |1460 |2904 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
1232.51/1232.95 c 1192s| 1250k|644676 | 0 | 0.0 | 916M| 141 | - |1460 |3000 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
1243.62/1244.10 c 1203s| 1260k|648411 | 0 | 0.0 | 922M| 141 | - |1460 |2824 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
1254.81/1255.21 c 1214s| 1270k|652104 | 0 | 0.0 | 929M| 141 | - |1460 |2999 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
1265.50/1265.92 c 1224s| 1280k|656040 | 0 | 0.0 | 935M| 141 | - |1460 |3003 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
1277.00/1277.44 c 1235s| 1290k|659595 | 0 | 0.0 | 942M| 141 | - |1460 |2836 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
1288.50/1288.94 c 1246s| 1300k|663205 | 0 | 0.0 | 948M| 141 | - |1460 |2887 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
1300.00/1300.46 c 1258s| 1310k|666756 | 0 | 0.0 | 955M| 141 | - |1460 |2913 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
1311.09/1311.54 c 1268s| 1320k|670475 | 0 | 0.0 | 961M| 141 | - |1460 |3043 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
1322.09/1322.50 c 1279s| 1330k|674301 | 0 | 0.0 | 968M| 141 | - |1460 |3099 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
1333.39/1333.84 c 1290s| 1340k|677898 | 0 | 0.0 | 974M| 141 | - |1460 |2863 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
1345.19/1345.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1345.19/1345.68 c 1301s| 1350k|681215 | 0 | 0.0 | 981M| 141 | - |1460 |3029 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
1356.89/1357.33 c 1313s| 1360k|684588 | 0 | 0.0 | 987M| 141 | - |1460 |2958 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
1368.07/1368.57 c 1324s| 1370k|688180 | 0 | 0.0 | 994M| 141 | - |1460 |2964 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
1379.18/1379.69 c 1334s| 1380k|691813 | 0 | 0.0 |1000M| 141 | - |1460 |3098 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
1390.37/1390.81 c 1345s| 1390k|695499 | 0 | 0.0 |1007M| 141 | - |1460 |3166 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
1402.37/1402.87 c 1357s| 1400k|698665 | 0 | 0.0 |1013M| 141 | - |1460 |2874 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
1414.18/1414.68 c 1368s| 1410k|701889 | 0 | 0.0 |1019M| 141 | - |1460 |2957 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
1425.66/1426.19 c 1379s| 1420k|705219 | 0 | 0.0 |1026M| 141 | - |1460 |3026 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
1436.96/1437.48 c 1390s| 1430k|708635 | 0 | 0.0 |1032M| 141 | - |1460 |3094 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
1448.16/1448.62 c 1401s| 1440k|712155 | 0 | 0.0 |1039M| 141 | - |1460 |3185 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
1460.05/1460.53 c 1413s| 1450k|715343 | 0 | 0.0 |1045M| 141 | - |1460 |2819 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
1472.14/1472.66 c 1424s| 1460k|718354 | 0 | 0.0 |1051M| 141 | - |1460 |2927 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
1483.94/1484.47 c 1436s| 1470k|721312 | 0 | 0.0 |1057M| 141 | - |1460 |2996 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
1495.63/1496.12 c 1447s| 1480k|724470 | 0 | 0.0 |1064M| 141 | - |1460 |3254 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | -- | Inf
1506.92/1507.49 c 1458s| 1490k|727817 | 0 | 0.0 |1070M| 141 | - |1460 |3100 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
1518.53/1519.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1518.53/1519.04 c 1469s| 1500k|731096 | 0 | 0.0 |1076M| 141 | - |1460 |2957 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | -- | Inf
1530.92/1531.47 c 1481s| 1510k|733888 | 0 | 0.0 |1082M| 141 | - |1460 |2835 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
1542.91/1543.41 c 1493s| 1520k|736767 | 0 | 0.0 |1088M| 141 | - |1460 |2851 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
1554.81/1555.31 c 1504s| 1530k|739668 | 0 | 0.0 |1095M| 141 | - |1460 |3238 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | -- | Inf
1566.40/1566.97 c 1516s| 1540k|742775 | 0 | 0.0 |1101M| 141 | - |1460 |3201 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | -- | Inf
1577.90/1578.48 c 1527s| 1550k|745992 | 0 | 0.0 |1107M| 141 | - |1460 |3240 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | -- | Inf
1590.20/1590.76 c 1539s| 1560k|748868 | 0 | 0.0 |1113M| 141 | - |1460 |2956 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | -- | Inf
1602.80/1603.37 c 1551s| 1570k|751449 | 0 | 0.0 |1120M| 141 | - |1460 |3063 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | -- | Inf
1614.79/1615.35 c 1562s| 1580k|754249 | 0 | 0.0 |1126M| 141 | - |1460 |3024 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | -- | Inf
1626.79/1627.30 c 1574s| 1590k|757085 | 0 | 0.0 |1132M| 141 | - |1460 |3276 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | -- | Inf
1638.28/1638.83 c 1585s| 1600k|760215 | 0 | 0.0 |1138M| 141 | - |1460 |3146 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | -- | Inf
1650.27/1650.80 c 1597s| 1610k|763222 | 0 | 0.0 |1144M| 141 | - |1460 |3041 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | -- | Inf
1663.07/1663.67 c 1609s| 1620k|765604 | 0 | 0.0 |1150M| 141 | - |1460 |2916 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | -- | Inf
1675.57/1676.14 c 1621s| 1630k|768023 | 0 | 0.0 |1156M| 141 | - |1460 |2940 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | -- | Inf
1687.67/1688.23 c 1633s| 1640k|770694 | 0 | 0.0 |1162M| 141 | - |1460 |3164 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | -- | Inf
1699.26/1699.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1699.26/1699.86 c 1644s| 1650k|773646 | 0 | 0.0 |1168M| 141 | - |1460 |3097 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | -- | Inf
1710.97/1711.54 c 1656s| 1660k|776658 | 0 | 0.0 |1174M| 141 | - |1460 |3326 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | -- | Inf
1723.66/1724.28 c 1668s| 1670k|779131 | 0 | 0.0 |1180M| 141 | - |1460 |3113 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | -- | Inf
1736.65/1737.26 c 1681s| 1680k|781337 | 0 | 0.0 |1186M| 141 | - |1460 |3098 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | -- | Inf
1749.15/1749.79 c 1693s| 1690k|783739 | 0 | 0.0 |1192M| 141 | - |1460 |3341 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | -- | Inf
1761.14/1761.77 c 1704s| 1700k|786424 | 0 | 0.0 |1197M| 141 | - |1460 |3315 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | -- | Inf
1773.04/1773.67 c 1716s| 1710k|789139 | 0 | 0.0 |1203M| 141 | - |1460 |3402 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | -- | Inf
1785.14/1785.79 c 1728s| 1720k|791918 | 0 | 0.0 |1209M| 141 | - |1460 |3184 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | -- | Inf
1798.03/1798.64 c 1740s| 1730k|794061 | 0 | 0.0 |1215M| 141 | - |1460 |3167 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | -- | Inf
1800.05/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.61 c
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time (sec) : 1742.06
1800.05/1800.61 c Solving Nodes : 1731566
1800.05/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.61 c Dual Bound : +0.00000000000000e+00
1800.05/1800.61 c Gap : infinite
1800.05/1800.61 s UNKNOWN
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time : 1742.06
1800.05/1800.61 c Original Problem :
1800.05/1800.61 c Problem name : HOME/instance-2663427-1276677371.opb
1800.05/1800.61 c Variables : 1460 (1460 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 1562 initial, 1562 maximal
1800.05/1800.61 c Presolved Problem :
1800.05/1800.61 c Problem name : t_HOME/instance-2663427-1276677371.opb
1800.05/1800.61 c Variables : 1460 (1460 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 1562 initial, 3956 maximal
1800.05/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c implics : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c and : 0.17 0 0 0 0 0 0 0 0
1800.05/1800.61 c linear : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c root node : - 0 - - 0 - - - -
1800.05/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.61 c knapsack : 1 0 4622073 0 1266709 10291 14326244 0 0 0
1800.05/1800.61 c setppc : 200 0 5075983 0 1270625 40376 644491 0 0 0
1800.05/1800.61 c and : 1260 0 5035607 0 1270625 506 99620220 0 0 0
1800.05/1800.61 c linear : 1 0 5028999 0 1270625 399488 249498 0 0 0
1800.05/1800.61 c logicor : 100+ 0 1308465 0 1270624 25324 20958617 0 0 0
1800.05/1800.61 c countsols : 0 0 0 0 1270625 0 0 0 0 0
1800.05/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.61 c knapsack : 86.30 0.00 80.04 0.00 6.26
1800.05/1800.61 c setppc : 146.45 0.00 28.74 0.00 117.71
1800.05/1800.61 c and : 368.78 0.00 289.54 0.00 79.24
1800.05/1800.61 c linear : 342.04 0.00 341.00 0.00 1.04
1800.05/1800.61 c logicor : 155.93 0.00 145.57 0.00 10.36
1800.05/1800.61 c countsols : 0.66 0.00 0.00 0.00 0.66
1800.05/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.61 c vbounds : 2.61 1 0 0
1800.05/1800.61 c rootredcost : 2.63 0 0 0
1800.05/1800.61 c pseudoobj : 2.02 0 0 0
1800.05/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.61 c propagation : 250.51 475985 212386 696417 77.9 7 97.7 -
1800.05/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.61 c applied globally : - - - 304061 75.3 - - -
1800.05/1800.61 c applied locally : - - - 0 0.0 - - -
1800.05/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.61 c redcost : 0.00 0 0 0 0 0
1800.05/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.61 c intobj : 0.00 0 0 0 0 0
1800.05/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.61 c gomory : 0.00 0 0 0 0 0
1800.05/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.61 c cmir : 0.00 0 0 0 0 0
1800.05/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.61 c clique : 0.00 0 0 0 0 0
1800.05/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.61 c mcf : 0.00 0 0 0 0 0
1800.05/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.61 c Pricers : Time Calls Vars
1800.05/1800.61 c problem variables: 0.00 0 0
1800.05/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.61 c inference : 236.73 1270625 0 0 0 0 2541250
1800.05/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.61 c random : 0.00 0 0 0 0 0 0
1800.05/1800.61 c Primal Heuristics : Time Calls Found
1800.05/1800.61 c LP solutions : 0.00 - 0
1800.05/1800.61 c pseudo solutions : 0.00 - 0
1800.05/1800.61 c trivial : 0.00 1 0
1800.05/1800.61 c simplerounding : 0.00 0 0
1800.05/1800.61 c zirounding : 0.00 0 0
1800.05/1800.61 c rounding : 0.00 0 0
1800.05/1800.61 c shifting : 0.00 0 0
1800.05/1800.61 c intshifting : 0.00 0 0
1800.05/1800.61 c oneopt : 0.00 0 0
1800.05/1800.61 c twoopt : 0.00 0 0
1800.05/1800.61 c fixandinfer : 0.00 0 0
1800.05/1800.61 c feaspump : 0.00 0 0
1800.05/1800.61 c coefdiving : 0.00 0 0
1800.05/1800.61 c pscostdiving : 0.00 0 0
1800.05/1800.61 c fracdiving : 0.00 0 0
1800.05/1800.61 c veclendiving : 0.00 0 0
1800.05/1800.61 c intdiving : 0.00 0 0
1800.05/1800.61 c actconsdiving : 0.00 0 0
1800.05/1800.61 c objpscostdiving : 0.00 0 0
1800.05/1800.61 c rootsoldiving : 0.00 0 0
1800.05/1800.61 c linesearchdiving : 0.00 0 0
1800.05/1800.61 c guideddiving : 0.00 0 0
1800.05/1800.61 c octane : 0.00 0 0
1800.05/1800.61 c rens : 0.00 0 0
1800.05/1800.61 c rins : 0.00 0 0
1800.05/1800.61 c localbranching : 0.00 0 0
1800.05/1800.61 c mutation : 0.00 0 0
1800.05/1800.61 c crossover : 0.00 0 0
1800.05/1800.61 c dins : 0.00 0 0
1800.05/1800.61 c undercover : 0.00 0 0
1800.05/1800.61 c nlp : 0.00 0 0
1800.05/1800.61 c trysol : 0.00 0 0
1800.05/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.61 c (at root node) : - 0 0 0.00 -
1800.05/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.61 c B&B Tree :
1800.05/1800.61 c number of runs : 1
1800.05/1800.61 c nodes : 1731566
1800.05/1800.61 c nodes (total) : 1731566
1800.05/1800.61 c nodes left : 794429
1800.05/1800.61 c max depth : 141
1800.05/1800.61 c max depth (total): 141
1800.05/1800.61 c backtracks : 42380 (2.4%)
1800.05/1800.61 c delayed cutoffs : 15256
1800.05/1800.61 c repropagations : 1144908 (2952723 domain reductions, 15044 cutoffs)
1800.05/1800.61 c avg switch length: 4.92
1800.05/1800.61 c switching time : 296.22
1800.05/1800.61 c Solution :
1800.05/1800.61 c Solutions found : 0 (0 improvements)
1800.05/1800.61 c Primal Bound : -
1800.05/1800.61 c Dual Bound : +0.00000000000000e+00
1800.05/1800.61 c Gap : infinite
1800.05/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.61 c Root Iterations : 0