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-2663439-1276678347.opb>
0.03/0.04 c original problem has 3290 variables (3290 bin, 0 int, 0 impl, 0 cont) and 3392 constraints
0.03/0.04 c problem read
0.03/0.04 c No objective function, only one solution is needed.
0.03/0.04 c presolving settings loaded
0.03/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.03/0.08 c presolving:
0.29/0.30 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 301 upgd conss, 24920 impls, 200 clqs
0.39/0.49 c presolving (2 rounds):
0.39/0.49 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.49 c 24920 implications, 200 cliques
0.39/0.49 c presolved problem has 3290 variables (3290 bin, 0 int, 0 impl, 0 cont) and 3392 constraints
0.39/0.49 c 1 constraints of type <knapsack>
0.39/0.49 c 200 constraints of type <setppc>
0.39/0.49 c 3090 constraints of type <and>
0.39/0.49 c 1 constraints of type <linear>
0.39/0.49 c 100 constraints of type <logicor>
0.39/0.49 c transformed objective value is always integral (scale: 1)
0.39/0.49 c Presolving Time: 0.23
0.39/0.49 c - non default parameters ----------------------------------------------------------------------
0.39/0.49 c # SCIP version 1.2.1.2
0.39/0.49 c
0.39/0.49 c # frequency for displaying node information lines
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.49 c display/freq = 10000
0.39/0.49 c
0.39/0.49 c # maximal time in seconds to run
0.39/0.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.49 c limits/time = 1799.97
0.39/0.49 c
0.39/0.49 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.49 c limits/memory = 1620
0.39/0.49 c
0.39/0.49 c # solving stops, if the given number of solutions were found (-1: no limit)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.49 c limits/solutions = 1
0.39/0.49 c
0.39/0.49 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.49 c lp/solvefreq = -1
0.39/0.49 c
0.39/0.49 c # maximal number of separation rounds per node (-1: unlimited)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 5]
0.39/0.49 c separating/maxrounds = 1
0.39/0.49 c
0.39/0.49 c # maximal number of separation rounds in the root node (-1: unlimited)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.49 c separating/maxroundsroot = 5
0.39/0.49 c
0.39/0.49 c # should presolving try to simplify inequalities
0.39/0.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.49 c constraints/linear/simplifyinequalities = TRUE
0.39/0.49 c
0.39/0.49 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.39/0.49 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.39/0.49 c constraints/knapsack/disaggregation = FALSE
0.39/0.49 c
0.39/0.49 c # should presolving try to simplify knapsacks
0.39/0.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.49 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.49 c
0.39/0.49 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.49 c presolving/probing/maxrounds = 0
0.39/0.49 c
0.39/0.49 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.49 c heuristics/coefdiving/freq = -1
0.39/0.49 c
0.39/0.49 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.49 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.49 c heuristics/coefdiving/maxlpiterquot = 0.075
0.39/0.49 c
0.39/0.49 c # additional number of allowed LP iterations
0.39/0.49 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.49 c heuristics/coefdiving/maxlpiterofs = 1500
0.39/0.49 c
0.39/0.49 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 30]
0.39/0.49 c heuristics/crossover/freq = -1
0.39/0.49 c
0.39/0.49 c # number of nodes added to the contingent of the total nodes
0.39/0.49 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.49 c heuristics/crossover/nodesofs = 750
0.39/0.49 c
0.39/0.49 c # number of nodes without incumbent change that heuristic should wait
0.39/0.49 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.39/0.49 c heuristics/crossover/nwaitingnodes = 100
0.39/0.49 c
0.39/0.49 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.39/0.49 c # [type: real, range: [0,1], default: 0.1]
0.39/0.49 c heuristics/crossover/nodesquot = 0.15
0.39/0.49 c
0.39/0.49 c # minimum percentage of integer variables that have to be fixed
0.39/0.49 c # [type: real, range: [0,1], default: 0.666]
0.39/0.49 c heuristics/crossover/minfixingrate = 0.5
0.39/0.49 c
0.39/0.49 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.49 c heuristics/feaspump/freq = -1
0.39/0.49 c
0.39/0.49 c # additional number of allowed LP iterations
0.39/0.49 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.49 c heuristics/feaspump/maxlpiterofs = 2000
0.39/0.49 c
0.39/0.49 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.49 c heuristics/fracdiving/freq = -1
0.39/0.49 c
0.39/0.49 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.49 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.49 c heuristics/fracdiving/maxlpiterquot = 0.075
0.39/0.49 c
0.39/0.49 c # additional number of allowed LP iterations
0.39/0.49 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.49 c heuristics/fracdiving/maxlpiterofs = 1500
0.39/0.49 c
0.39/0.49 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.49 c heuristics/guideddiving/freq = -1
0.39/0.49 c
0.39/0.49 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.49 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.49 c heuristics/guideddiving/maxlpiterquot = 0.075
0.39/0.49 c
0.39/0.49 c # additional number of allowed LP iterations
0.39/0.49 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.49 c heuristics/guideddiving/maxlpiterofs = 1500
0.39/0.49 c
0.39/0.49 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.49 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.49 c heuristics/intdiving/maxlpiterquot = 0.075
0.39/0.49 c
0.39/0.49 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.49 c heuristics/intshifting/freq = -1
0.39/0.49 c
0.39/0.49 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.49 c heuristics/linesearchdiving/freq = -1
0.39/0.49 c
0.39/0.49 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.49 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.49 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.39/0.49 c
0.39/0.49 c # additional number of allowed LP iterations
0.39/0.49 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.49 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.39/0.49 c
0.39/0.49 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.49 c heuristics/nlp/freq = -1
0.39/0.49 c
0.39/0.49 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.49 c heuristics/objpscostdiving/freq = -1
0.39/0.49 c
0.39/0.49 c # maximal fraction of diving LP iterations compared to total iteration number
0.39/0.49 c # [type: real, range: [0,1], default: 0.01]
0.39/0.49 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.39/0.49 c
0.39/0.49 c # additional number of allowed LP iterations
0.39/0.49 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.49 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.39/0.49 c
0.39/0.49 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.49 c heuristics/oneopt/freq = -1
0.39/0.49 c
0.39/0.49 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.49 c heuristics/pscostdiving/freq = -1
0.39/0.49 c
0.39/0.49 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.49 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.49 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.39/0.49 c
0.39/0.49 c # additional number of allowed LP iterations
0.39/0.49 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.49 c heuristics/pscostdiving/maxlpiterofs = 1500
0.39/0.49 c
0.39/0.49 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.49 c heuristics/rens/freq = -1
0.39/0.49 c
0.39/0.49 c # minimum percentage of integer variables that have to be fixable
0.39/0.49 c # [type: real, range: [0,1], default: 0.5]
0.39/0.49 c heuristics/rens/minfixingrate = 0.3
0.39/0.49 c
0.39/0.49 c # number of nodes added to the contingent of the total nodes
0.39/0.49 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.49 c heuristics/rens/nodesofs = 2000
0.39/0.49 c
0.39/0.49 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.49 c heuristics/rootsoldiving/freq = -1
0.39/0.49 c
0.39/0.49 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.49 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.39/0.49 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.39/0.49 c
0.39/0.49 c # additional number of allowed LP iterations
0.39/0.49 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.49 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.39/0.49 c
0.39/0.49 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.49 c heuristics/rounding/freq = -1
0.39/0.49 c
0.39/0.49 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.49 c heuristics/shifting/freq = -1
0.39/0.49 c
0.39/0.49 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.49 c heuristics/simplerounding/freq = -1
0.39/0.49 c
0.39/0.49 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.49 c heuristics/trivial/freq = -1
0.39/0.49 c
0.39/0.49 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.49 c heuristics/trysol/freq = -1
0.39/0.49 c
0.39/0.49 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.49 c heuristics/veclendiving/freq = -1
0.39/0.49 c
0.39/0.49 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.49 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.49 c heuristics/veclendiving/maxlpiterquot = 0.075
0.39/0.49 c
0.39/0.49 c # additional number of allowed LP iterations
0.39/0.49 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.49 c heuristics/veclendiving/maxlpiterofs = 1500
0.39/0.49 c
0.39/0.49 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.49 c heuristics/zirounding/freq = -1
0.39/0.49 c
0.39/0.49 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.49 c separating/cmir/freq = -1
0.39/0.49 c
0.39/0.49 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.49 c separating/flowcover/freq = -1
0.39/0.49 c
0.39/0.49 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.49 c separating/rapidlearning/freq = 0
0.39/0.49 c
0.39/0.49 c -----------------------------------------------------------------------------------------------
0.39/0.49 c start solving
0.39/0.50 c
0.49/0.50 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.50 c 0.2s| 1 | 2 | 0 | - |8807k| 0 | - |3290 |3392 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
10.29/10.31 c 9.8s| 10000 | 9286 | 0 | 0.0 | 22M| 178 | - |3290 |3897 | 0 | 0 | 0 | 651 | 0 | 0.000000e+00 | -- | Inf
24.49/24.58 c 23.7s| 20000 | 18522 | 0 | 0.0 | 37M| 178 | - |3290 |3813 | 0 | 0 | 0 |1270 | 0 | 0.000000e+00 | -- | Inf
37.88/37.90 c 36.7s| 30000 | 28170 | 0 | 0.0 | 53M| 178 | - |3290 |3853 | 0 | 0 | 0 |1614 | 0 | 0.000000e+00 | -- | Inf
50.58/50.63 c 49.2s| 40000 | 37851 | 0 | 0.0 | 67M| 178 | - |3290 |3867 | 0 | 0 | 0 |1886 | 0 | 0.000000e+00 | -- | Inf
62.37/62.44 c 60.7s| 50000 | 47445 | 0 | 0.0 | 82M| 178 | - |3290 |4010 | 0 | 0 | 0 |2311 | 0 | 0.000000e+00 | -- | Inf
74.17/74.24 c 72.2s| 60000 | 56881 | 0 | 0.0 | 98M| 178 | - |3290 |4184 | 0 | 0 | 0 |2992 | 0 | 0.000000e+00 | -- | Inf
84.96/85.08 c 82.7s| 70000 | 66512 | 0 | 0.0 | 113M| 178 | - |3290 |4192 | 0 | 0 | 0 |3337 | 0 | 0.000000e+00 | -- | Inf
96.36/96.48 c 93.8s| 80000 | 75914 | 0 | 0.0 | 127M| 178 | - |3290 |4356 | 0 | 0 | 0 |4087 | 0 | 0.000000e+00 | -- | Inf
107.06/107.16 c 104s| 90000 | 85422 | 0 | 0.0 | 142M| 178 | - |3290 |4328 | 0 | 0 | 0 |4658 | 0 | 0.000000e+00 | -- | Inf
117.34/117.40 c 114s|100000 | 94909 | 0 | 0.0 | 156M| 178 | - |3290 |4448 | 0 | 0 | 0 |5239 | 0 | 0.000000e+00 | -- | Inf
127.34/127.45 c 124s|110000 |104306 | 0 | 0.0 | 171M| 178 | - |3290 |4608 | 0 | 0 | 0 |5950 | 0 | 0.000000e+00 | -- | Inf
136.74/136.86 c 133s|120000 |113807 | 0 | 0.0 | 185M| 178 | - |3290 |4659 | 0 | 0 | 0 |6437 | 0 | 0.000000e+00 | -- | Inf
146.54/146.69 c 143s|130000 |123158 | 0 | 0.0 | 200M| 178 | - |3290 |4879 | 0 | 0 | 0 |7205 | 0 | 0.000000e+00 | -- | Inf
156.14/156.23 c 152s|140000 |132430 | 0 | 0.0 | 214M| 178 | - |3290 |5101 | 0 | 0 | 0 |8061 | 0 | 0.000000e+00 | -- | Inf
165.53/165.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
165.53/165.68 c 161s|150000 |141747 | 0 | 0.0 | 228M| 178 | - |3290 |5110 | 0 | 0 | 0 |8757 | 0 | 0.000000e+00 | -- | Inf
174.84/174.97 c 170s|160000 |151006 | 0 | 0.0 | 242M| 178 | - |3290 |5258 | 0 | 0 | 0 |9549 | 0 | 0.000000e+00 | -- | Inf
183.63/183.77 c 179s|170000 |160363 | 0 | 0.0 | 256M| 178 | - |3290 |5258 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
192.52/192.61 c 187s|180000 |169619 | 0 | 0.0 | 270M| 178 | - |3290 |5392 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
201.22/201.30 c 195s|190000 |178807 | 0 | 0.0 | 284M| 178 | - |3290 |5554 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
209.82/209.94 c 204s|200000 |187967 | 0 | 0.0 | 298M| 178 | - |3290 |5741 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
218.41/218.56 c 212s|210000 |197031 | 0 | 0.0 | 313M| 178 | - |3290 |5900 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
227.00/227.16 c 220s|220000 |206039 | 0 | 0.0 | 327M| 178 | - |3290 |6060 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
235.91/236.03 c 229s|230000 |214833 | 0 | 0.0 | 341M| 178 | - |3290 |6282 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
244.80/244.93 c 238s|240000 |223606 | 0 | 0.0 | 354M| 178 | - |3290 |6463 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
254.30/254.40 c 247s|250000 |232053 | 0 | 0.0 | 368M| 178 | - |3290 |6825 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
263.80/263.98 c 256s|260000 |240389 | 0 | 0.0 | 382M| 178 | - |3290 |6981 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
273.39/273.59 c 265s|270000 |248579 | 0 | 0.0 | 396M| 178 | - |3290 |7372 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
283.18/283.33 c 275s|280000 |256405 | 0 | 0.0 | 410M| 178 | - |3290 |7720 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
293.49/293.67 c 285s|290000 |263507 | 0 | 0.0 | 422M| 178 | - |3290 |8087 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
304.08/304.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
304.08/304.25 c 295s|300000 |269107 | 0 | 0.0 | 432M| 178 | - |3290 |8372 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
314.88/315.04 c 305s|310000 |272977 | 0 | 0.0 | 438M| 178 | - |3290 |8964 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
324.97/325.11 c 315s|320000 |275399 | 0 | 0.0 | 442M| 178 | - |3290 |9322 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
334.86/335.06 c 325s|330000 |276989 | 0 | 0.0 | 443M| 178 | - |3290 |9355 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
352.16/352.39 c 342s|340000 |286527 | 0 | 0.0 | 460M| 178 | - |3290 |6823 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
368.26/368.44 c 357s|350000 |296080 | 0 | 0.0 | 477M| 178 | - |3290 |5525 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
382.95/383.19 c 372s|360000 |305700 | 0 | 0.0 | 494M| 178 | - |3290 |5115 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
397.64/397.83 c 386s|370000 |315262 | 0 | 0.0 | 510M| 178 | - |3290 |5012 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
411.14/411.34 c 399s|380000 |324896 | 0 | 0.0 | 526M| 178 | - |3290 |4889 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
424.33/424.53 c 412s|390000 |334485 | 0 | 0.0 | 542M| 178 | - |3290 |4846 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
437.42/437.66 c 425s|400000 |344125 | 0 | 0.0 | 557M| 178 | - |3290 |4749 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
451.32/451.52 c 439s|410000 |353651 | 0 | 0.0 | 573M| 178 | - |3290 |4811 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
464.41/464.69 c 452s|420000 |363190 | 0 | 0.0 | 588M| 178 | - |3290 |4822 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
477.71/477.97 c 464s|430000 |372756 | 0 | 0.0 | 604M| 178 | - |3290 |4842 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
490.41/490.65 c 477s|440000 |382351 | 0 | 0.0 | 620M| 178 | - |3290 |4849 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
503.20/503.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
503.20/503.45 c 489s|450000 |391897 | 0 | 0.0 | 635M| 178 | - |3290 |4818 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
516.68/516.97 c 503s|460000 |401487 | 0 | 0.0 | 651M| 178 | - |3290 |4666 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
529.27/529.58 c 515s|470000 |410944 | 0 | 0.0 | 666M| 178 | - |3290 |4896 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
542.68/542.93 c 528s|480000 |420437 | 0 | 0.0 | 682M| 178 | - |3290 |4935 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
555.28/555.59 c 540s|490000 |429980 | 0 | 0.0 | 697M| 178 | - |3290 |4912 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
568.66/568.99 c 553s|500000 |439481 | 0 | 0.0 | 713M| 178 | - |3290 |4873 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
581.06/581.35 c 565s|510000 |449053 | 0 | 0.0 | 728M| 178 | - |3290 |4796 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
593.76/594.04 c 578s|520000 |458643 | 0 | 0.0 | 743M| 178 | - |3290 |4795 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
606.85/607.13 c 591s|530000 |468132 | 0 | 0.0 | 759M| 178 | - |3290 |4856 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
619.44/619.72 c 603s|540000 |477636 | 0 | 0.0 | 774M| 178 | - |3290 |4922 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
632.84/633.13 c 616s|550000 |487141 | 0 | 0.0 | 789M| 178 | - |3290 |4883 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
645.03/645.35 c 628s|560000 |496722 | 0 | 0.0 | 804M| 178 | - |3290 |4914 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
657.13/657.46 c 640s|570000 |506305 | 0 | 0.0 | 819M| 178 | - |3290 |4956 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
670.02/670.37 c 652s|580000 |515807 | 0 | 0.0 | 835M| 178 | - |3290 |4977 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
682.61/682.99 c 665s|590000 |525363 | 0 | 0.0 | 849M| 178 | - |3290 |4926 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
694.51/694.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
694.51/694.87 c 676s|600000 |534920 | 0 | 0.0 | 864M| 178 | - |3290 |4968 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
707.30/707.68 c 689s|610000 |544427 | 0 | 0.0 | 880M| 178 | - |3290 |4974 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
719.30/719.70 c 700s|620000 |554003 | 0 | 0.0 | 894M| 178 | - |3290 |4943 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
732.31/732.64 c 713s|630000 |563469 | 0 | 0.0 | 909M| 178 | - |3290 |4976 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
744.60/744.99 c 725s|640000 |573045 | 0 | 0.0 | 924M| 178 | - |3290 |4901 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
755.89/756.20 c 736s|650000 |582620 | 0 | 0.0 | 939M| 178 | - |3290 |4968 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
767.78/768.12 c 748s|660000 |592136 | 0 | 0.0 | 954M| 178 | - |3290 |5083 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
779.88/780.29 c 759s|670000 |601625 | 0 | 0.0 | 969M| 178 | - |3290 |5022 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
792.37/792.72 c 772s|680000 |611149 | 0 | 0.0 | 984M| 178 | - |3290 |5020 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
803.78/804.14 c 783s|690000 |620732 | 0 | 0.0 | 999M| 178 | - |3290 |5051 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
816.46/816.81 c 795s|700000 |630075 | 0 | 0.0 |1014M| 178 | - |3290 |5257 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
828.56/828.97 c 807s|710000 |639621 | 0 | 0.0 |1029M| 178 | - |3290 |5093 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
840.95/841.33 c 819s|720000 |649065 | 0 | 0.0 |1044M| 178 | - |3290 |5080 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
852.35/852.72 c 830s|730000 |658655 | 0 | 0.0 |1059M| 178 | - |3290 |5025 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
863.85/864.27 c 841s|740000 |668202 | 0 | 0.0 |1074M| 178 | - |3290 |5080 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
876.25/876.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
876.25/876.62 c 853s|750000 |677623 | 0 | 0.0 |1090M| 178 | - |3290 |5069 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
887.74/888.12 c 864s|760000 |687109 | 0 | 0.0 |1105M| 178 | - |3290 |5176 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
900.44/900.84 c 877s|770000 |696523 | 0 | 0.0 |1120M| 178 | - |3290 |5198 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
912.13/912.59 c 888s|780000 |706004 | 0 | 0.0 |1134M| 178 | - |3290 |5256 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
924.12/924.52 c 900s|790000 |715552 | 0 | 0.0 |1150M| 178 | - |3290 |5201 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
935.72/936.14 c 911s|800000 |725073 | 0 | 0.0 |1165M| 178 | - |3290 |5196 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
948.02/948.45 c 923s|810000 |734478 | 0 | 0.0 |1180M| 178 | - |3290 |5349 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
959.71/960.17 c 935s|820000 |743910 | 0 | 0.0 |1195M| 178 | - |3290 |5405 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
971.50/971.96 c 946s|830000 |753414 | 0 | 0.0 |1210M| 178 | - |3290 |5322 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
983.31/983.78 c 958s|840000 |762900 | 0 | 0.0 |1225M| 178 | - |3290 |5365 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
995.10/995.58 c 969s|850000 |772361 | 0 | 0.0 |1240M| 178 | - |3290 |5432 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
1007.20/1007.65 c 981s|860000 |781779 | 0 | 0.0 |1254M| 178 | - |3290 |5489 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
1019.49/1019.90 c 993s|870000 |791192 | 0 | 0.0 |1269M| 178 | - |3290 |5435 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
1031.18/1031.65 c 1004s|880000 |800720 | 0 | 0.0 |1284M| 178 | - |3290 |5293 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
1042.48/1042.93 c 1015s|890000 |810278 | 0 | 0.0 |1299M| 178 | - |3290 |5279 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
1053.98/1054.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1053.98/1054.47 c 1026s|900000 |819707 | 0 | 0.0 |1314M| 178 | - |3290 |5362 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
1065.27/1065.72 c 1037s|910000 |829198 | 0 | 0.0 |1329M| 178 | - |3290 |5411 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
1076.76/1077.24 c 1049s|920000 |838709 | 0 | 0.0 |1344M| 178 | - |3290 |5338 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
1088.06/1088.51 c (node 929676) switching to memory saving mode (mem: 1296.0M/1620.0M)
1088.36/1088.90 c 1060s|930000 |847861 | 0 | 0.0 |1359M| 178 | - |3290 |5499 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
1094.76/1095.20 c 1066s|940000 |847792 | 0 | 0.0 |1360M| 178 | - |3290 |6327 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
1101.46/1101.92 c 1072s|950000 |847765 | 0 | 0.0 |1361M| 179 | - |3290 |6815 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
1108.05/1108.51 c 1079s|960000 |847744 | 0 | 0.0 |1361M| 179 | - |3290 |6998 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
1115.35/1115.83 c 1086s|970000 |847730 | 0 | 0.0 |1360M| 179 | - |3290 |6571 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1122.55/1123.09 c 1093s|980000 |847721 | 0 | 0.0 |1361M| 179 | - |3290 |6990 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1129.15/1129.62 c 1099s|990000 |847709 | 0 | 0.0 |1360M| 179 | - |3290 |6532 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1135.95/1136.43 c 1105s| 1000k|847705 | 0 | 0.0 |1361M| 179 | - |3290 |6916 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1142.74/1143.28 c 1112s| 1010k|847692 | 0 | 0.0 |1360M| 179 | - |3290 |6495 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1149.64/1150.10 c 1119s| 1020k|847681 | 0 | 0.0 |1360M| 179 | - |3290 |6468 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
1156.24/1156.72 c 1125s| 1030k|847677 | 0 | 0.0 |1361M| 179 | - |3290 |6831 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
1163.03/1163.57 c 1132s| 1040k|847676 | 0 | 0.0 |1361M| 179 | - |3290 |7040 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1170.33/1170.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1170.33/1170.81 c 1138s| 1050k|847675 | 0 | 0.0 |1361M| 179 | - |3290 |6817 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1176.93/1177.45 c 1145s| 1060k|847667 | 0 | 0.0 |1360M| 179 | - |3290 |6589 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1184.13/1184.61 c 1152s| 1070k|847654 | 0 | 0.0 |1360M| 179 | - |3290 |6521 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1190.74/1191.28 c 1158s| 1080k|847648 | 0 | 0.0 |1360M| 179 | - |3290 |6595 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1197.43/1197.96 c 1165s| 1090k|847647 | 0 | 0.0 |1361M| 179 | - |3290 |7144 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
1204.62/1205.10 c 1171s| 1100k|847637 | 0 | 0.0 |1361M| 179 | - |3290 |6850 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
1211.72/1212.22 c 1178s| 1110k|847631 | 0 | 0.0 |1360M| 179 | - |3290 |6687 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
1218.61/1219.10 c 1185s| 1120k|847631 | 0 | 0.0 |1362M| 179 | - |3290 |7561 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
1225.61/1226.15 c 1192s| 1130k|847625 | 0 | 0.0 |1361M| 179 | - |3290 |7177 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
1232.51/1233.06 c 1198s| 1140k|847625 | 0 | 0.0 |1362M| 179 | - |3290 |7426 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
1239.60/1240.14 c 1205s| 1150k|847617 | 0 | 0.0 |1362M| 179 | - |3290 |7319 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
1247.40/1247.94 c 1213s| 1160k|847613 | 0 | 0.0 |1363M| 179 | - |3290 |8075 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
1254.30/1254.82 c 1219s| 1170k|847613 | 0 | 0.0 |1363M| 179 | - |3290 |8317 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
1261.20/1261.79 c 1226s| 1180k|847609 | 0 | 0.0 |1362M| 179 | - |3290 |7316 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
1268.40/1268.92 c 1233s| 1190k|847609 | 0 | 0.0 |1361M| 179 | - |3290 |6961 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
1275.39/1276.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1275.39/1276.00 c 1240s| 1200k|847603 | 0 | 0.0 |1361M| 179 | - |3290 |6979 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
1282.18/1282.76 c 1246s| 1210k|847598 | 0 | 0.0 |1361M| 179 | - |3290 |6768 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
1288.78/1289.39 c 1252s| 1220k|847598 | 0 | 0.0 |1361M| 179 | - |3290 |6955 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
1295.98/1296.51 c 1259s| 1230k|847592 | 0 | 0.0 |1362M| 179 | - |3290 |7529 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
1303.08/1303.65 c 1266s| 1240k|847580 | 0 | 0.0 |1361M| 179 | - |3290 |7174 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
1310.97/1311.57 c 1274s| 1250k|847569 | 0 | 0.0 |1363M| 179 | - |3290 |8235 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
1318.47/1319.09 c 1281s| 1260k|847553 | 0 | 0.0 |1362M| 179 | - |3290 |7583 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
1326.17/1326.76 c 1288s| 1270k|847556 | 0 | 0.0 |1362M| 179 | - |3290 |7885 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
1333.47/1334.05 c 1295s| 1280k|847551 | 0 | 0.0 |1362M| 179 | - |3290 |7705 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | -- | Inf
1340.96/1341.55 c 1303s| 1290k|847545 | 0 | 0.0 |1363M| 179 | - |3290 |8218 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
1347.47/1348.08 c 1309s| 1300k|847546 | 0 | 0.0 |1363M| 179 | - |3290 |8184 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
1354.96/1355.59 c 1316s| 1310k|847537 | 0 | 0.0 |1363M| 179 | - |3290 |8409 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
1362.36/1362.99 c 1323s| 1320k|847542 | 0 | 0.0 |1363M| 179 | - |3290 |8171 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
1369.56/1370.18 c 1330s| 1330k|847541 | 0 | 0.0 |1363M| 179 | - |3290 |8418 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
1378.04/1378.65 c 1338s| 1340k|847526 | 0 | 0.0 |1365M| 179 | - |3290 |9512 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
1386.24/1386.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1386.24/1386.86 c 1346s| 1350k|847517 | 0 | 0.0 |1365M| 179 | - |3290 |9722 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | -- | Inf
1394.04/1394.67 c 1354s| 1360k|847520 | 0 | 0.0 |1366M| 179 | - |3290 |9832 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | -- | Inf
1402.04/1402.68 c 1362s| 1370k|847519 | 0 | 0.0 |1367M| 179 | - |3290 | 10k| 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | -- | Inf
1410.44/1411.08 c 1370s| 1380k|847519 | 0 | 0.0 |1366M| 179 | - |3290 | 10k| 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | -- | Inf
1418.63/1419.23 c 1378s| 1390k|847520 | 0 | 0.0 |1365M| 179 | - |3290 |9548 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | -- | Inf
1426.73/1427.32 c 1385s| 1400k|847516 | 0 | 0.0 |1365M| 179 | - |3290 |9564 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | -- | Inf
1435.03/1435.60 c 1393s| 1410k|847500 | 0 | 0.0 |1365M| 179 | - |3290 |9496 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | -- | Inf
1443.12/1443.76 c 1401s| 1420k|847498 | 0 | 0.0 |1365M| 179 | - |3290 |9784 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | -- | Inf
1451.32/1451.91 c 1409s| 1430k|847500 | 0 | 0.0 |1365M| 179 | - |3290 |9804 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | -- | Inf
1459.52/1460.12 c 1417s| 1440k|847501 | 0 | 0.0 |1365M| 179 | - |3290 |9790 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | -- | Inf
1467.72/1468.39 c 1425s| 1450k|847500 | 0 | 0.0 |1365M| 179 | - |3290 |9518 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | -- | Inf
1476.91/1477.52 c 1434s| 1460k|847483 | 0 | 0.0 |1367M| 179 | - |3290 | 10k| 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | -- | Inf
1485.80/1486.49 c 1443s| 1470k|847461 | 0 | 0.0 |1364M| 179 | - |3290 |8867 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | -- | Inf
1493.30/1493.91 c 1450s| 1480k|847466 | 0 | 0.0 |1365M| 179 | - |3290 |9184 | 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | -- | Inf
1500.91/1501.55 c 1457s| 1490k|847463 | 0 | 0.0 |1365M| 179 | - |3290 |9202 | 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | -- | Inf
1508.51/1509.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1508.51/1509.14 c 1464s| 1500k|847467 | 0 | 0.0 |1364M| 179 | - |3290 |9005 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | -- | Inf
1516.49/1517.11 c 1472s| 1510k|847464 | 0 | 0.0 |1365M| 179 | - |3290 |9195 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | -- | Inf
1524.59/1525.25 c 1480s| 1520k|847467 | 0 | 0.0 |1365M| 179 | - |3290 |9176 | 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | -- | Inf
1532.69/1533.30 c 1488s| 1530k|847466 | 0 | 0.0 |1365M| 179 | - |3290 |9502 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | -- | Inf
1540.88/1541.53 c 1496s| 1540k|847467 | 0 | 0.0 |1365M| 179 | - |3290 |9218 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | -- | Inf
1549.69/1550.33 c 1504s| 1550k|847446 | 0 | 0.0 |1364M| 179 | - |3290 |9115 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | -- | Inf
1558.67/1559.38 c 1513s| 1560k|847436 | 0 | 0.0 |1366M| 179 | - |3290 | 10k| 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | -- | Inf
1568.17/1568.85 c 1522s| 1570k|847435 | 0 | 0.0 |1366M| 179 | - |3290 | 10k| 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | -- | Inf
1578.37/1579.04 c 1532s| 1580k|847421 | 0 | 0.0 |1366M| 179 | - |3290 | 10k| 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | -- | Inf
1587.46/1588.10 c 1541s| 1590k|847414 | 0 | 0.0 |1366M| 179 | - |3290 |9796 | 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | -- | Inf
1597.05/1597.75 c 1550s| 1600k|847408 | 0 | 0.0 |1365M| 179 | - |3290 |9146 | 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | -- | Inf
1607.15/1607.86 c 1560s| 1610k|847396 | 0 | 0.0 |1367M| 179 | - |3290 | 10k| 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | -- | Inf
1617.24/1617.98 c 1570s| 1620k|847385 | 0 | 0.0 |1365M| 179 | - |3290 |9332 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | -- | Inf
1626.44/1627.19 c 1578s| 1630k|847380 | 0 | 0.0 |1364M| 179 | - |3290 |9020 | 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | -- | Inf
1635.54/1636.25 c 1587s| 1640k|847372 | 0 | 0.0 |1365M| 179 | - |3290 |9414 | 0 | 0 | 0 | 394k| 0 | 0.000000e+00 | -- | Inf
1644.14/1644.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1644.14/1644.80 c 1595s| 1650k|847365 | 0 | 0.0 |1366M| 179 | - |3290 |9656 | 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | -- | Inf
1653.84/1654.57 c 1605s| 1660k|847365 | 0 | 0.0 |1367M| 179 | - |3290 | 10k| 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | -- | Inf
1664.13/1664.88 c 1615s| 1670k|847360 | 0 | 0.0 |1368M| 179 | - |3290 | 11k| 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | -- | Inf
1674.03/1674.76 c 1624s| 1680k|847349 | 0 | 0.0 |1366M| 179 | - |3290 | 10k| 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | -- | Inf
1683.72/1684.46 c 1634s| 1690k|847341 | 0 | 0.0 |1367M| 179 | - |3290 | 10k| 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | -- | Inf
1693.72/1694.48 c 1643s| 1700k|847324 | 0 | 0.0 |1365M| 179 | - |3290 |9352 | 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | -- | Inf
1701.92/1702.67 c 1651s| 1710k|847326 | 0 | 0.0 |1366M| 179 | - |3290 |9826 | 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | -- | Inf
1712.12/1712.81 c 1661s| 1720k|847316 | 0 | 0.0 |1366M| 179 | - |3290 |9812 | 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | -- | Inf
1722.81/1723.55 c 1672s| 1730k|847317 | 0 | 0.0 |1366M| 179 | - |3290 |9915 | 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | -- | Inf
1732.92/1733.67 c 1681s| 1740k|847316 | 0 | 0.0 |1368M| 179 | - |3290 | 11k| 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | -- | Inf
1742.81/1743.59 c 1691s| 1750k|847311 | 0 | 0.0 |1368M| 179 | - |3290 | 11k| 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | -- | Inf
1754.49/1755.22 c 1702s| 1760k|847295 | 0 | 0.0 |1370M| 179 | - |3290 | 12k| 0 | 0 | 0 | 473k| 0 | 0.000000e+00 | -- | Inf
1763.99/1764.75 c 1712s| 1770k|847281 | 0 | 0.0 |1370M| 179 | - |3290 | 12k| 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | -- | Inf
1774.89/1775.67 c 1722s| 1780k|847270 | 0 | 0.0 |1372M| 179 | - |3290 | 13k| 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | -- | Inf
1785.79/1786.55 c 1733s| 1790k|847268 | 0 | 0.0 |1372M| 179 | - |3290 | 13k| 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | -- | Inf
1797.69/1798.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1797.69/1798.46 c 1744s| 1800k|847259 | 0 | 0.0 |1373M| 179 | - |3290 | 14k| 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | -- | Inf
1800.09/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.80 c
1800.09/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.80 c Solving Time (sec) : 1746.42
1800.09/1800.80 c Solving Nodes : 1801826
1800.09/1800.80 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.09/1800.80 c Dual Bound : +0.00000000000000e+00
1800.09/1800.80 c Gap : infinite
1800.09/1800.80 s UNKNOWN
1800.09/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.80 c Solving Time : 1746.42
1800.09/1800.80 c Original Problem :
1800.09/1800.80 c Problem name : HOME/instance-2663439-1276678347.opb
1800.09/1800.80 c Variables : 3290 (3290 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.80 c Constraints : 3392 initial, 3392 maximal
1800.09/1800.80 c Presolved Problem :
1800.09/1800.80 c Problem name : t_HOME/instance-2663439-1276678347.opb
1800.09/1800.80 c Variables : 3290 (3290 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.80 c Constraints : 3392 initial, 16394 maximal
1800.09/1800.80 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.80 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.09/1800.80 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.80 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.80 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.80 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.80 c probing : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.80 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.80 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.80 c and : 0.17 0 0 0 0 0 0 0 0
1800.09/1800.80 c linear : 0.02 0 0 0 0 0 0 0 0
1800.09/1800.80 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.80 c root node : - 0 - - 0 - - - -
1800.09/1800.80 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.80 c integral : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.80 c knapsack : 1 0 3532888 0 1075645 139680 2136625 0 0 0
1800.09/1800.80 c setppc : 200 0 4503280 0 1398722 39358 575262 0 0 0
1800.09/1800.80 c and : 3090 0 4463922 0 1398722 212 22973895 0 0 0
1800.09/1800.80 c linear : 1 0 4447971 0 1398722 335995 2913252 0 0 0
1800.09/1800.80 c logicor : 100+ 0 1003735 0 1398648 34012 1522034 0 0 0
1800.09/1800.80 c countsols : 0 0 0 0 1398722 0 0 0 0 0
1800.09/1800.80 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.80 c integral : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.80 c knapsack : 143.73 0.00 135.19 0.00 8.54
1800.09/1800.80 c setppc : 212.40 0.00 24.02 0.00 188.38
1800.09/1800.80 c and : 264.54 0.00 135.93 0.00 128.61
1800.09/1800.80 c linear : 342.52 0.00 340.94 0.00 1.58
1800.09/1800.80 c logicor : 137.64 0.00 122.85 0.00 14.79
1800.09/1800.80 c countsols : 0.71 0.00 0.00 0.00 0.71
1800.09/1800.80 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.80 c vbounds : 2.42 1 0 0
1800.09/1800.80 c rootredcost : 2.77 0 0 0
1800.09/1800.80 c pseudoobj : 2.06 0 0 0
1800.09/1800.80 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.80 c propagation : 345.33 549257 378186 2691079 165.1 52 145.2 -
1800.09/1800.80 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.80 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.80 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.80 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.09/1800.80 c applied globally : - - - 505600 152.3 - - -
1800.09/1800.80 c applied locally : - - - 0 0.0 - - -
1800.09/1800.80 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.80 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.09/1800.80 c redcost : 0.00 0 0 0 0 0
1800.09/1800.80 c impliedbounds : 0.00 0 0 0 0 0
1800.09/1800.80 c intobj : 0.00 0 0 0 0 0
1800.09/1800.80 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.80 c gomory : 0.00 0 0 0 0 0
1800.09/1800.80 c strongcg : 0.00 0 0 0 0 0
1800.09/1800.80 c cmir : 0.00 0 0 0 0 0
1800.09/1800.80 c flowcover : 0.00 0 0 0 0 0
1800.09/1800.80 c clique : 0.00 0 0 0 0 0
1800.09/1800.80 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.80 c mcf : 0.00 0 0 0 0 0
1800.09/1800.80 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1800.80 c Pricers : Time Calls Vars
1800.09/1800.80 c problem variables: 0.00 0 0
1800.09/1800.80 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.80 c relpscost : 0.00 0 0 0 0 0 0
1800.09/1800.80 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.80 c inference : 322.08 1398722 0 0 0 0 2797444
1800.09/1800.80 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.80 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.80 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.80 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.80 c random : 0.00 0 0 0 0 0 0
1800.09/1800.80 c Primal Heuristics : Time Calls Found
1800.09/1800.80 c LP solutions : 0.00 - 0
1800.09/1800.80 c pseudo solutions : 0.00 - 0
1800.09/1800.80 c trivial : 0.01 1 0
1800.09/1800.80 c simplerounding : 0.00 0 0
1800.09/1800.80 c zirounding : 0.00 0 0
1800.09/1800.80 c rounding : 0.00 0 0
1800.09/1800.80 c shifting : 0.00 0 0
1800.09/1800.80 c intshifting : 0.00 0 0
1800.09/1800.80 c oneopt : 0.00 0 0
1800.09/1800.80 c twoopt : 0.00 0 0
1800.09/1800.80 c fixandinfer : 0.00 0 0
1800.09/1800.80 c feaspump : 0.00 0 0
1800.09/1800.80 c coefdiving : 0.00 0 0
1800.09/1800.80 c pscostdiving : 0.00 0 0
1800.09/1800.80 c fracdiving : 0.00 0 0
1800.09/1800.80 c veclendiving : 0.00 0 0
1800.09/1800.80 c intdiving : 0.00 0 0
1800.09/1800.80 c actconsdiving : 0.00 0 0
1800.09/1800.80 c objpscostdiving : 0.00 0 0
1800.09/1800.80 c rootsoldiving : 0.00 0 0
1800.09/1800.80 c linesearchdiving : 0.00 0 0
1800.09/1800.80 c guideddiving : 0.00 0 0
1800.09/1800.80 c octane : 0.00 0 0
1800.09/1800.80 c rens : 0.00 0 0
1800.09/1800.80 c rins : 0.00 0 0
1800.09/1800.80 c localbranching : 0.00 0 0
1800.09/1800.80 c mutation : 0.00 0 0
1800.09/1800.80 c crossover : 0.00 0 0
1800.09/1800.81 c dins : 0.00 0 0
1800.09/1800.81 c undercover : 0.00 0 0
1800.09/1800.81 c nlp : 0.00 0 0
1800.09/1800.81 c trysol : 0.00 0 0
1800.09/1800.81 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.81 c primal LP : 0.00 0 0 0.00 -
1800.09/1800.81 c dual LP : 0.00 0 0 0.00 -
1800.09/1800.81 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.81 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.81 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.81 c strong branching : 0.00 0 0 0.00 -
1800.09/1800.81 c (at root node) : - 0 0 0.00 -
1800.09/1800.81 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.81 c B&B Tree :
1800.09/1800.81 c number of runs : 1
1800.09/1800.81 c nodes : 1801826
1800.09/1800.81 c nodes (total) : 1801826
1800.09/1800.81 c nodes left : 847256
1800.09/1800.81 c max depth : 179
1800.09/1800.81 c max depth (total): 179
1800.09/1800.81 c backtracks : 213215 (11.8%)
1800.09/1800.81 c delayed cutoffs : 148363
1800.09/1800.81 c repropagations : 885385 (3295467 domain reductions, 146153 cutoffs)
1800.09/1800.81 c avg switch length: 3.28
1800.09/1800.81 c switching time : 210.54
1800.09/1800.81 c Solution :
1800.09/1800.81 c Solutions found : 0 (0 improvements)
1800.09/1800.81 c Primal Bound : -
1800.09/1800.81 c Dual Bound : +0.00000000000000e+00
1800.09/1800.81 c Gap : infinite
1800.09/1800.81 c Root Dual Bound : +0.00000000000000e+00
1800.09/1800.81 c Root Iterations : 0