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-2663470-1276680444.opb>
0.01/0.04 c original problem has 3238 variables (3238 bin, 0 int, 0 impl, 0 cont) and 3340 constraints
0.01/0.04 c problem read
0.01/0.04 c No objective function, only one solution is needed.
0.01/0.04 c presolving settings loaded
0.01/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.01/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, 24504 impls, 200 clqs
0.49/0.50 c presolving (2 rounds):
0.49/0.50 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.50 c 24504 implications, 200 cliques
0.49/0.50 c presolved problem has 3238 variables (3238 bin, 0 int, 0 impl, 0 cont) and 3340 constraints
0.49/0.50 c 1 constraints of type <knapsack>
0.49/0.50 c 200 constraints of type <setppc>
0.49/0.50 c 3038 constraints of type <and>
0.49/0.50 c 1 constraints of type <linear>
0.49/0.50 c 100 constraints of type <logicor>
0.49/0.50 c transformed objective value is always integral (scale: 1)
0.49/0.50 c Presolving Time: 0.23
0.49/0.50 c - non default parameters ----------------------------------------------------------------------
0.49/0.50 c # SCIP version 1.2.1.2
0.49/0.50 c
0.49/0.50 c # frequency for displaying node information lines
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.50 c display/freq = 10000
0.49/0.50 c
0.49/0.50 c # maximal time in seconds to run
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.50 c limits/time = 1799.96
0.49/0.50 c
0.49/0.50 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.50 c limits/memory = 1620
0.49/0.50 c
0.49/0.50 c # solving stops, if the given number of solutions were found (-1: no limit)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.50 c limits/solutions = 1
0.49/0.50 c
0.49/0.50 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50 c lp/solvefreq = -1
0.49/0.50 c
0.49/0.50 c # maximal number of separation rounds per node (-1: unlimited)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 5]
0.49/0.50 c separating/maxrounds = 1
0.49/0.50 c
0.49/0.50 c # maximal number of separation rounds in the root node (-1: unlimited)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.50 c separating/maxroundsroot = 5
0.49/0.50 c
0.49/0.50 c # should presolving try to simplify inequalities
0.49/0.50 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.50 c constraints/linear/simplifyinequalities = TRUE
0.49/0.50 c
0.49/0.50 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.49/0.50 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.49/0.50 c constraints/knapsack/disaggregation = FALSE
0.49/0.50 c
0.49/0.50 c # should presolving try to simplify knapsacks
0.49/0.50 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.50 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.50 c
0.49/0.50 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.50 c presolving/probing/maxrounds = 0
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50 c heuristics/coefdiving/freq = -1
0.49/0.50 c
0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50 c heuristics/coefdiving/maxlpiterquot = 0.075
0.49/0.50 c
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/coefdiving/maxlpiterofs = 1500
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 30]
0.49/0.50 c heuristics/crossover/freq = -1
0.49/0.50 c
0.49/0.50 c # number of nodes added to the contingent of the total nodes
0.49/0.50 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.49/0.50 c heuristics/crossover/nodesofs = 750
0.49/0.50 c
0.49/0.50 c # number of nodes without incumbent change that heuristic should wait
0.49/0.50 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.49/0.50 c heuristics/crossover/nwaitingnodes = 100
0.49/0.50 c
0.49/0.50 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.49/0.50 c # [type: real, range: [0,1], default: 0.1]
0.49/0.50 c heuristics/crossover/nodesquot = 0.15
0.49/0.50 c
0.49/0.50 c # minimum percentage of integer variables that have to be fixed
0.49/0.50 c # [type: real, range: [0,1], default: 0.666]
0.49/0.50 c heuristics/crossover/minfixingrate = 0.5
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.50 c heuristics/feaspump/freq = -1
0.49/0.50 c
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/feaspump/maxlpiterofs = 2000
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50 c heuristics/fracdiving/freq = -1
0.49/0.50 c
0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50 c heuristics/fracdiving/maxlpiterquot = 0.075
0.49/0.50 c
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/fracdiving/maxlpiterofs = 1500
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50 c heuristics/guideddiving/freq = -1
0.49/0.50 c
0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50 c heuristics/guideddiving/maxlpiterquot = 0.075
0.49/0.50 c
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/guideddiving/maxlpiterofs = 1500
0.49/0.50 c
0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50 c heuristics/intdiving/maxlpiterquot = 0.075
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50 c heuristics/intshifting/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50 c heuristics/linesearchdiving/freq = -1
0.49/0.50 c
0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.49/0.50 c
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50 c heuristics/nlp/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.50 c heuristics/objpscostdiving/freq = -1
0.49/0.50 c
0.49/0.50 c # maximal fraction of diving LP iterations compared to total iteration number
0.49/0.50 c # [type: real, range: [0,1], default: 0.01]
0.49/0.50 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.49/0.50 c
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50 c heuristics/oneopt/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50 c heuristics/pscostdiving/freq = -1
0.49/0.50 c
0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.49/0.50 c
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/pscostdiving/maxlpiterofs = 1500
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.50 c heuristics/rens/freq = -1
0.49/0.50 c
0.49/0.50 c # minimum percentage of integer variables that have to be fixable
0.49/0.50 c # [type: real, range: [0,1], default: 0.5]
0.49/0.50 c heuristics/rens/minfixingrate = 0.3
0.49/0.50 c
0.49/0.50 c # number of nodes added to the contingent of the total nodes
0.49/0.50 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.49/0.50 c heuristics/rens/nodesofs = 2000
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.50 c heuristics/rootsoldiving/freq = -1
0.49/0.50 c
0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.49/0.50 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.49/0.50 c
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50 c heuristics/rounding/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50 c heuristics/shifting/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50 c heuristics/simplerounding/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.50 c heuristics/trivial/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50 c heuristics/trysol/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50 c heuristics/veclendiving/freq = -1
0.49/0.50 c
0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50 c heuristics/veclendiving/maxlpiterquot = 0.075
0.49/0.50 c
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/veclendiving/maxlpiterofs = 1500
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50 c heuristics/zirounding/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.50 c separating/cmir/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.50 c separating/flowcover/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.50 c separating/rapidlearning/freq = 0
0.49/0.50 c
0.49/0.50 c -----------------------------------------------------------------------------------------------
0.49/0.50 c start solving
0.49/0.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 | - |8669k| 0 | - |3238 |3340 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
10.39/10.46 c 9.9s| 10000 | 9196 | 0 | 0.0 | 22M| 179 | - |3238 |3940 | 0 | 0 | 0 | 808 | 0 | 0.000000e+00 | -- | Inf
24.09/24.13 c 23.2s| 20000 | 18255 | 0 | 0.0 | 36M| 180 | - |3238 |3941 | 0 | 0 | 0 |1622 | 0 | 0.000000e+00 | -- | Inf
37.48/37.51 c 36.3s| 30000 | 27757 | 0 | 0.0 | 51M| 180 | - |3238 |4125 | 0 | 0 | 0 |2195 | 0 | 0.000000e+00 | -- | Inf
50.28/50.33 c 48.8s| 40000 | 37309 | 0 | 0.0 | 67M| 180 | - |3238 |4145 | 0 | 0 | 0 |2678 | 0 | 0.000000e+00 | -- | Inf
62.37/62.46 c 60.6s| 50000 | 46886 | 0 | 0.0 | 82M| 180 | - |3238 |4182 | 0 | 0 | 0 |3121 | 0 | 0.000000e+00 | -- | Inf
73.76/73.82 c 71.7s| 60000 | 56533 | 0 | 0.0 | 97M| 180 | - |3238 |4184 | 0 | 0 | 0 |3442 | 0 | 0.000000e+00 | -- | Inf
84.76/84.85 c 82.4s| 70000 | 66057 | 0 | 0.0 | 112M| 180 | - |3238 |4301 | 0 | 0 | 0 |3971 | 0 | 0.000000e+00 | -- | Inf
96.16/96.29 c 93.6s| 80000 | 75566 | 0 | 0.0 | 126M| 180 | - |3238 |4341 | 0 | 0 | 0 |4425 | 0 | 0.000000e+00 | -- | Inf
107.16/107.24 c 104s| 90000 | 84918 | 0 | 0.0 | 141M| 180 | - |3238 |4534 | 0 | 0 | 0 |5164 | 0 | 0.000000e+00 | -- | Inf
117.66/117.78 c 114s|100000 | 94350 | 0 | 0.0 | 155M| 180 | - |3238 |4607 | 0 | 0 | 0 |5785 | 0 | 0.000000e+00 | -- | Inf
128.35/128.47 c 125s|110000 |103640 | 0 | 0.0 | 170M| 180 | - |3238 |4816 | 0 | 0 | 0 |6644 | 0 | 0.000000e+00 | -- | Inf
137.64/137.71 c 134s|120000 |113140 | 0 | 0.0 | 184M| 180 | - |3238 |4834 | 0 | 0 | 0 |7173 | 0 | 0.000000e+00 | -- | Inf
147.44/147.54 c 143s|130000 |122541 | 0 | 0.0 | 199M| 180 | - |3238 |4847 | 0 | 0 | 0 |7742 | 0 | 0.000000e+00 | -- | Inf
156.64/156.73 c 152s|140000 |131992 | 0 | 0.0 | 213M| 180 | - |3238 |4849 | 0 | 0 | 0 |8286 | 0 | 0.000000e+00 | -- | Inf
165.54/165.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
165.54/165.64 c 161s|150000 |141426 | 0 | 0.0 | 227M| 180 | - |3238 |4944 | 0 | 0 | 0 |8841 | 0 | 0.000000e+00 | -- | Inf
174.53/174.68 c 170s|160000 |150714 | 0 | 0.0 | 241M| 180 | - |3238 |5102 | 0 | 0 | 0 |9573 | 0 | 0.000000e+00 | -- | Inf
183.54/183.61 c 178s|170000 |159965 | 0 | 0.0 | 255M| 180 | - |3238 |5298 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
192.23/192.34 c 187s|180000 |169242 | 0 | 0.0 | 269M| 180 | - |3238 |5428 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
201.13/201.22 c 195s|190000 |178405 | 0 | 0.0 | 283M| 180 | - |3238 |5508 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
209.93/210.05 c 204s|200000 |187435 | 0 | 0.0 | 297M| 180 | - |3238 |5689 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
218.52/218.69 c 212s|210000 |196449 | 0 | 0.0 | 311M| 180 | - |3238 |5875 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
227.11/227.23 c 220s|220000 |205443 | 0 | 0.0 | 325M| 180 | - |3238 |5995 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
235.91/236.02 c 229s|230000 |214197 | 0 | 0.0 | 339M| 180 | - |3238 |6210 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
244.80/244.96 c 237s|240000 |222849 | 0 | 0.0 | 353M| 180 | - |3238 |6421 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
253.81/253.91 c 246s|250000 |231383 | 0 | 0.0 | 368M| 180 | - |3238 |6608 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
262.71/262.88 c 255s|260000 |239795 | 0 | 0.0 | 382M| 180 | - |3238 |6824 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
272.20/272.34 c 264s|270000 |247762 | 0 | 0.0 | 396M| 180 | - |3238 |7232 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
281.89/282.06 c 273s|280000 |255239 | 0 | 0.0 | 409M| 180 | - |3238 |7713 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
291.99/292.17 c 283s|290000 |261802 | 0 | 0.0 | 420M| 180 | - |3238 |8103 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
302.19/302.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
302.19/302.36 c 293s|300000 |266907 | 0 | 0.0 | 429M| 180 | - |3238 |8637 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
312.69/312.81 c 303s|310000 |270234 | 0 | 0.0 | 434M| 180 | - |3238 |9505 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
323.08/323.22 c 313s|320000 |271905 | 0 | 0.0 | 438M| 180 | - |3238 | 10k| 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
336.48/336.63 c 326s|330000 |276643 | 0 | 0.0 | 442M| 180 | - |3238 |7426 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
352.77/352.95 c 342s|340000 |286202 | 0 | 0.0 | 459M| 180 | - |3238 |5769 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
367.97/368.12 c 357s|350000 |295753 | 0 | 0.0 | 475M| 180 | - |3238 |5288 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
382.26/382.46 c 371s|360000 |305397 | 0 | 0.0 | 491M| 180 | - |3238 |4925 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
396.36/396.54 c 385s|370000 |314972 | 0 | 0.0 | 507M| 180 | - |3238 |4793 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
409.86/410.06 c 398s|380000 |324604 | 0 | 0.0 | 523M| 180 | - |3238 |4697 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
423.75/423.92 c 412s|390000 |334199 | 0 | 0.0 | 538M| 180 | - |3238 |4697 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
437.55/437.74 c 425s|400000 |343746 | 0 | 0.0 | 554M| 180 | - |3238 |4682 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
451.75/451.98 c 439s|410000 |353224 | 0 | 0.0 | 569M| 180 | - |3238 |4634 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
465.14/465.36 c 452s|420000 |362691 | 0 | 0.0 | 584M| 180 | - |3238 |4721 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
477.93/478.16 c 464s|430000 |372280 | 0 | 0.0 | 599M| 180 | - |3238 |4517 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
490.73/490.99 c 477s|440000 |381843 | 0 | 0.0 | 613M| 180 | - |3238 |4540 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
503.43/503.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
503.43/503.61 c 489s|450000 |391473 | 0 | 0.0 | 628M| 180 | - |3238 |4560 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
516.13/516.33 c 502s|460000 |401047 | 0 | 0.0 | 642M| 180 | - |3238 |4604 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
529.11/529.35 c 514s|470000 |410603 | 0 | 0.0 | 657M| 180 | - |3238 |4650 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
541.12/541.37 c 526s|480000 |420196 | 0 | 0.0 | 672M| 180 | - |3238 |4646 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
553.81/554.08 c 539s|490000 |429763 | 0 | 0.0 | 687M| 180 | - |3238 |4613 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
565.80/566.04 c 550s|500000 |439387 | 0 | 0.0 | 701M| 180 | - |3238 |4618 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
577.90/578.14 c 562s|510000 |448970 | 0 | 0.0 | 716M| 180 | - |3238 |4663 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
589.31/589.52 c 573s|520000 |458608 | 0 | 0.0 | 730M| 180 | - |3238 |4603 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
600.80/601.08 c 584s|530000 |468272 | 0 | 0.0 | 745M| 180 | - |3238 |4561 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
613.09/613.34 c 596s|540000 |477802 | 0 | 0.0 | 759M| 180 | - |3238 |4687 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
625.19/625.42 c 608s|550000 |487394 | 0 | 0.0 | 774M| 180 | - |3238 |4683 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
637.48/637.71 c 620s|560000 |496856 | 0 | 0.0 | 789M| 180 | - |3238 |4823 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
649.38/649.61 c 632s|570000 |506436 | 0 | 0.0 | 803M| 180 | - |3238 |4808 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
661.89/662.12 c 644s|580000 |515969 | 0 | 0.0 | 818M| 180 | - |3238 |4739 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
673.98/674.20 c 656s|590000 |525478 | 0 | 0.0 | 832M| 180 | - |3238 |4795 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
685.87/686.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
685.87/686.11 c 667s|600000 |534963 | 0 | 0.0 | 847M| 180 | - |3238 |4916 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
698.36/698.62 c 679s|610000 |544413 | 0 | 0.0 | 862M| 180 | - |3238 |4967 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
709.76/710.08 c 691s|620000 |554051 | 0 | 0.0 | 876M| 180 | - |3238 |4833 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
721.95/722.21 c 702s|630000 |563499 | 0 | 0.0 | 891M| 180 | - |3238 |4961 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
733.85/734.17 c 714s|640000 |572995 | 0 | 0.0 | 906M| 180 | - |3238 |4963 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
745.85/746.18 c 726s|650000 |582528 | 0 | 0.0 | 920M| 180 | - |3238 |4936 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
757.44/757.78 c 737s|660000 |592023 | 0 | 0.0 | 935M| 180 | - |3238 |4982 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
769.65/769.96 c 749s|670000 |601509 | 0 | 0.0 | 950M| 180 | - |3238 |4983 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
782.44/782.71 c 761s|680000 |610927 | 0 | 0.0 | 964M| 180 | - |3238 |5080 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
794.83/795.13 c 773s|690000 |620381 | 0 | 0.0 | 979M| 180 | - |3238 |5062 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
807.62/807.97 c 786s|700000 |629638 | 0 | 0.0 | 994M| 180 | - |3238 |5267 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
819.82/820.15 c 798s|710000 |639075 | 0 | 0.0 |1008M| 180 | - |3238 |5268 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
831.52/831.83 c 809s|720000 |648628 | 0 | 0.0 |1023M| 180 | - |3238 |5117 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
842.82/843.12 c 820s|730000 |658171 | 0 | 0.0 |1038M| 180 | - |3238 |5093 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
855.22/855.52 c 832s|740000 |667542 | 0 | 0.0 |1053M| 180 | - |3238 |5131 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
866.81/867.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
866.81/867.19 c 844s|750000 |677048 | 0 | 0.0 |1067M| 180 | - |3238 |5107 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
879.00/879.39 c 855s|760000 |686540 | 0 | 0.0 |1082M| 180 | - |3238 |5084 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
890.80/891.16 c 867s|770000 |696043 | 0 | 0.0 |1096M| 180 | - |3238 |5077 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
902.81/903.16 c 879s|780000 |705492 | 0 | 0.0 |1111M| 180 | - |3238 |5079 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
914.39/914.79 c 890s|790000 |714975 | 0 | 0.0 |1125M| 180 | - |3238 |5045 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
926.19/926.55 c 901s|800000 |724483 | 0 | 0.0 |1140M| 180 | - |3238 |5064 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
938.39/938.72 c 913s|810000 |733876 | 0 | 0.0 |1155M| 180 | - |3238 |5225 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
950.09/950.46 c 925s|820000 |743385 | 0 | 0.0 |1170M| 180 | - |3238 |5133 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
961.78/962.14 c 936s|830000 |752886 | 0 | 0.0 |1184M| 180 | - |3238 |5114 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
974.18/974.50 c 948s|840000 |762267 | 0 | 0.0 |1198M| 180 | - |3238 |5199 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
985.67/986.04 c 959s|850000 |771808 | 0 | 0.0 |1213M| 180 | - |3238 |5186 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
996.86/997.22 c 970s|860000 |781351 | 0 | 0.0 |1227M| 180 | - |3238 |5105 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
1009.26/1009.63 c 982s|870000 |790737 | 0 | 0.0 |1242M| 180 | - |3238 |5195 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
1021.16/1021.55 c 994s|880000 |800193 | 0 | 0.0 |1257M| 180 | - |3238 |5182 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
1032.56/1032.97 c 1005s|890000 |809607 | 0 | 0.0 |1271M| 180 | - |3238 |5253 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
1043.76/1044.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1043.76/1044.11 c 1016s|900000 |819126 | 0 | 0.0 |1286M| 180 | - |3238 |5259 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
1055.05/1055.44 c 1027s|910000 |828661 | 0 | 0.0 |1301M| 180 | - |3238 |5172 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
1066.44/1066.81 c 1038s|920000 |838145 | 0 | 0.0 |1315M| 180 | - |3238 |5269 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
1077.55/1077.94 c 1049s|930000 |847663 | 0 | 0.0 |1330M| 180 | - |3238 |5204 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
1089.04/1089.40 c 1060s|940000 |857134 | 0 | 0.0 |1344M| 180 | - |3238 |5188 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
1099.64/1100.01 c (node 949523) switching to memory saving mode (mem: 1296.0M/1620.0M)
1100.03/1100.45 c 1071s|950000 |866208 | 0 | 0.0 |1359M| 180 | - |3238 |5341 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
1105.84/1106.22 c 1076s|960000 |866154 | 0 | 0.0 |1360M| 181 | - |3238 |6051 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
1111.74/1112.15 c 1082s|970000 |866129 | 0 | 0.0 |1359M| 182 | - |3238 |5674 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
1117.72/1118.19 c 1087s|980000 |866113 | 0 | 0.0 |1360M| 182 | - |3238 |5908 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1123.93/1124.30 c 1093s|990000 |866105 | 0 | 0.0 |1359M| 182 | - |3238 |5759 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1130.53/1130.97 c 1100s| 1000k|866058 | 0 | 0.0 |1360M| 182 | - |3238 |6024 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1137.92/1138.30 c 1107s| 1010k|866012 | 0 | 0.0 |1361M| 182 | - |3238 |6598 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1145.41/1145.82 c 1114s| 1020k|865970 | 0 | 0.0 |1361M| 182 | - |3238 |7128 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
1153.32/1153.71 c 1121s| 1030k|865921 | 0 | 0.0 |1361M| 182 | - |3238 |6932 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1161.71/1162.17 c 1130s| 1040k|865905 | 0 | 0.0 |1362M| 182 | - |3238 |7339 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1169.71/1170.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1169.71/1170.18 c 1137s| 1050k|865876 | 0 | 0.0 |1362M| 182 | - |3238 |7437 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1178.11/1178.51 c 1145s| 1060k|865851 | 0 | 0.0 |1364M| 182 | - |3238 |8660 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
1187.30/1187.77 c 1154s| 1070k|865845 | 0 | 0.0 |1365M| 182 | - |3238 |9377 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
1195.90/1196.36 c 1162s| 1080k|865824 | 0 | 0.0 |1363M| 182 | - |3238 |8376 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
1204.40/1204.85 c 1171s| 1090k|865815 | 0 | 0.0 |1364M| 182 | - |3238 |8666 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
1213.19/1213.61 c 1179s| 1100k|865806 | 0 | 0.0 |1365M| 182 | - |3238 |9612 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
1222.10/1222.55 c 1188s| 1110k|865796 | 0 | 0.0 |1365M| 182 | - |3238 |9356 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
1231.69/1232.13 c 1197s| 1120k|865785 | 0 | 0.0 |1365M| 182 | - |3238 |9298 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
1241.29/1241.71 c 1206s| 1130k|865763 | 0 | 0.0 |1366M| 182 | - |3238 |9670 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
1250.79/1251.28 c 1215s| 1140k|865750 | 0 | 0.0 |1368M| 182 | - |3238 | 11k| 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
1260.88/1261.30 c 1225s| 1150k|865741 | 0 | 0.0 |1367M| 182 | - |3238 | 10k| 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
1270.48/1270.90 c 1234s| 1160k|865733 | 0 | 0.0 |1367M| 182 | - |3238 | 11k| 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
1280.57/1281.05 c 1244s| 1170k|865721 | 0 | 0.0 |1368M| 182 | - |3238 | 11k| 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
1291.17/1291.62 c 1254s| 1180k|865716 | 0 | 0.0 |1370M| 182 | - |3238 | 12k| 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
1301.07/1301.58 c 1264s| 1190k|865717 | 0 | 0.0 |1370M| 182 | - |3238 | 12k| 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
1311.06/1311.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1311.06/1311.50 c 1274s| 1200k|865711 | 0 | 0.0 |1371M| 182 | - |3238 | 13k| 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
1322.16/1322.62 c 1285s| 1210k|865708 | 0 | 0.0 |1370M| 182 | - |3238 | 12k| 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
1333.56/1334.06 c 1296s| 1220k|865701 | 0 | 0.0 |1371M| 182 | - |3238 | 12k| 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
1344.35/1344.83 c 1306s| 1230k|865696 | 0 | 0.0 |1369M| 182 | - |3238 | 12k| 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
1354.65/1355.19 c 1316s| 1240k|865687 | 0 | 0.0 |1369M| 182 | - |3238 | 11k| 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
1364.94/1365.45 c 1326s| 1250k|865667 | 0 | 0.0 |1369M| 182 | - |3238 | 11k| 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
1375.04/1375.52 c 1336s| 1260k|865655 | 0 | 0.0 |1368M| 182 | - |3238 | 11k| 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
1384.64/1385.13 c 1345s| 1270k|865654 | 0 | 0.0 |1369M| 182 | - |3238 | 12k| 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
1394.94/1395.49 c 1355s| 1280k|865645 | 0 | 0.0 |1369M| 182 | - |3238 | 11k| 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | -- | Inf
1405.13/1405.64 c 1365s| 1290k|865644 | 0 | 0.0 |1370M| 182 | - |3238 | 12k| 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
1415.14/1415.61 c 1375s| 1300k|865644 | 0 | 0.0 |1370M| 182 | - |3238 | 12k| 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | -- | Inf
1425.23/1425.76 c 1384s| 1310k|865628 | 0 | 0.0 |1368M| 182 | - |3238 | 10k| 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
1434.93/1435.44 c 1394s| 1320k|865620 | 0 | 0.0 |1368M| 182 | - |3238 | 11k| 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | -- | Inf
1444.62/1445.19 c 1403s| 1330k|865607 | 0 | 0.0 |1369M| 182 | - |3238 | 11k| 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | -- | Inf
1454.32/1454.89 c 1413s| 1340k|865607 | 0 | 0.0 |1370M| 182 | - |3238 | 12k| 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | -- | Inf
1463.82/1464.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1463.82/1464.30 c 1422s| 1350k|865608 | 0 | 0.0 |1370M| 182 | - |3238 | 12k| 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | -- | Inf
1473.11/1473.69 c 1431s| 1360k|865607 | 0 | 0.0 |1370M| 182 | - |3238 | 12k| 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | -- | Inf
1482.91/1483.49 c 1440s| 1370k|865606 | 0 | 0.0 |1370M| 182 | - |3238 | 12k| 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | -- | Inf
1492.70/1493.21 c 1450s| 1380k|865606 | 0 | 0.0 |1370M| 182 | - |3238 | 12k| 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | -- | Inf
1502.50/1503.06 c 1459s| 1390k|865602 | 0 | 0.0 |1369M| 182 | - |3238 | 12k| 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | -- | Inf
1513.01/1513.50 c 1469s| 1400k|865600 | 0 | 0.0 |1370M| 182 | - |3238 | 12k| 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | -- | Inf
1524.79/1525.37 c 1481s| 1410k|865601 | 0 | 0.0 |1370M| 182 | - |3238 | 12k| 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | -- | Inf
1535.79/1536.38 c 1492s| 1420k|865599 | 0 | 0.0 |1369M| 182 | - |3238 | 11k| 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | -- | Inf
1545.79/1546.32 c 1501s| 1430k|865599 | 0 | 0.0 |1369M| 182 | - |3238 | 11k| 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | -- | Inf
1555.69/1556.20 c 1511s| 1440k|865599 | 0 | 0.0 |1370M| 182 | - |3238 | 12k| 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | -- | Inf
1565.58/1566.17 c 1521s| 1450k|865595 | 0 | 0.0 |1369M| 182 | - |3238 | 11k| 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | -- | Inf
1576.18/1576.74 c 1531s| 1460k|865592 | 0 | 0.0 |1370M| 182 | - |3238 | 12k| 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | -- | Inf
1586.88/1587.44 c 1541s| 1470k|865580 | 0 | 0.0 |1369M| 182 | - |3238 | 11k| 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | -- | Inf
1598.37/1598.94 c 1552s| 1480k|865568 | 0 | 0.0 |1370M| 182 | - |3238 | 12k| 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | -- | Inf
1608.36/1608.97 c 1562s| 1490k|865560 | 0 | 0.0 |1368M| 182 | - |3238 | 11k| 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | -- | Inf
1619.26/1619.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1619.26/1619.87 c 1573s| 1500k|865552 | 0 | 0.0 |1369M| 182 | - |3238 | 12k| 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | -- | Inf
1630.56/1631.14 c 1583s| 1510k|865542 | 0 | 0.0 |1370M| 182 | - |3238 | 12k| 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | -- | Inf
1641.25/1641.87 c 1594s| 1520k|865545 | 0 | 0.0 |1370M| 182 | - |3238 | 12k| 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | -- | Inf
1651.56/1652.19 c 1604s| 1530k|865542 | 0 | 0.0 |1370M| 182 | - |3238 | 12k| 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | -- | Inf
1661.65/1662.28 c 1614s| 1540k|865541 | 0 | 0.0 |1370M| 182 | - |3238 | 12k| 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | -- | Inf
1672.45/1673.00 c 1624s| 1550k|865537 | 0 | 0.0 |1370M| 182 | - |3238 | 12k| 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | -- | Inf
1683.15/1683.77 c 1634s| 1560k|865528 | 0 | 0.0 |1370M| 182 | - |3238 | 12k| 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | -- | Inf
1693.84/1694.45 c 1645s| 1570k|865522 | 0 | 0.0 |1371M| 182 | - |3238 | 12k| 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | -- | Inf
1705.44/1706.01 c 1656s| 1580k|865516 | 0 | 0.0 |1371M| 182 | - |3238 | 13k| 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | -- | Inf
1716.84/1717.43 c 1667s| 1590k|865513 | 0 | 0.0 |1371M| 182 | - |3238 | 13k| 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | -- | Inf
1729.33/1729.95 c 1679s| 1600k|865511 | 0 | 0.0 |1372M| 182 | - |3238 | 13k| 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | -- | Inf
1741.83/1742.48 c 1692s| 1610k|865510 | 0 | 0.0 |1373M| 182 | - |3238 | 14k| 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | -- | Inf
1754.22/1754.81 c 1704s| 1620k|865506 | 0 | 0.0 |1372M| 182 | - |3238 | 13k| 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | -- | Inf
1766.32/1766.97 c 1715s| 1630k|865505 | 0 | 0.0 |1372M| 182 | - |3238 | 13k| 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | -- | Inf
1779.01/1779.63 c 1728s| 1640k|865507 | 0 | 0.0 |1373M| 182 | - |3238 | 14k| 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | -- | Inf
1791.11/1791.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1791.11/1791.78 c 1740s| 1650k|865504 | 0 | 0.0 |1373M| 182 | - |3238 | 14k| 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | -- | Inf
1800.02/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.61 c
1800.02/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.61 c Solving Time (sec) : 1748.21
1800.02/1800.61 c Solving Nodes : 1657625
1800.02/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.02/1800.61 c Dual Bound : +0.00000000000000e+00
1800.02/1800.61 c Gap : infinite
1800.02/1800.61 s UNKNOWN
1800.02/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.61 c Solving Time : 1748.21
1800.02/1800.61 c Original Problem :
1800.02/1800.61 c Problem name : HOME/instance-2663470-1276680444.opb
1800.02/1800.61 c Variables : 3238 (3238 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.61 c Constraints : 3340 initial, 3340 maximal
1800.02/1800.61 c Presolved Problem :
1800.02/1800.61 c Problem name : t_HOME/instance-2663470-1276680444.opb
1800.02/1800.61 c Variables : 3238 (3238 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.61 c Constraints : 3340 initial, 14790 maximal
1800.02/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c knapsack : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c and : 0.19 0 0 0 0 0 0 0 0
1800.02/1800.61 c linear : 0.02 0 0 0 0 0 0 0 0
1800.02/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c root node : - 0 - - 0 - - - -
1800.02/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.61 c knapsack : 1 0 3338665 0 980724 73103 1677140 0 0 0
1800.02/1800.61 c setppc : 200 0 4499585 0 1315112 39078 524397 0 0 0
1800.02/1800.61 c and : 3038 0 4460507 0 1315112 234 24435593 0 0 0
1800.02/1800.61 c linear : 1 0 4443956 0 1315112 272811 2273578 0 0 0
1800.02/1800.61 c logicor : 100+ 0 908515 0 1315008 62294 1975821 0 0 0
1800.02/1800.61 c countsols : 0 0 0 0 1315112 0 0 0 0 0
1800.02/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.61 c knapsack : 96.71 0.00 88.49 0.00 8.22
1800.02/1800.61 c setppc : 219.42 0.00 24.24 0.00 195.18
1800.02/1800.61 c and : 267.79 0.00 136.97 0.00 130.82
1800.02/1800.61 c linear : 315.66 0.00 314.24 0.00 1.42
1800.02/1800.61 c logicor : 187.16 0.00 174.80 0.00 12.36
1800.02/1800.61 c countsols : 0.66 0.00 0.00 0.00 0.66
1800.02/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.61 c vbounds : 2.65 1 0 0
1800.02/1800.61 c rootredcost : 2.41 0 0 0
1800.02/1800.61 c pseudoobj : 2.05 0 0 0
1800.02/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.61 c propagation : 304.02 447520 309715 2449830 157.8 64 138.8 -
1800.02/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.61 c applied globally : - - - 389641 142.8 - - -
1800.02/1800.61 c applied locally : - - - 0 0.0 - - -
1800.02/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.61 c redcost : 0.00 0 0 0 0 0
1800.02/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.61 c intobj : 0.00 0 0 0 0 0
1800.02/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.61 c gomory : 0.00 0 0 0 0 0
1800.02/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.61 c cmir : 0.00 0 0 0 0 0
1800.02/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.61 c clique : 0.00 0 0 0 0 0
1800.02/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.61 c mcf : 0.00 0 0 0 0 0
1800.02/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.61 c Pricers : Time Calls Vars
1800.02/1800.61 c problem variables: 0.00 0 0
1800.02/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.61 c inference : 324.30 1315112 0 0 0 0 2630224
1800.02/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.61 c random : 0.00 0 0 0 0 0 0
1800.02/1800.61 c Primal Heuristics : Time Calls Found
1800.02/1800.61 c LP solutions : 0.00 - 0
1800.02/1800.61 c pseudo solutions : 0.00 - 0
1800.02/1800.61 c trivial : 0.00 1 0
1800.02/1800.61 c simplerounding : 0.00 0 0
1800.02/1800.61 c zirounding : 0.00 0 0
1800.02/1800.61 c rounding : 0.00 0 0
1800.02/1800.61 c shifting : 0.00 0 0
1800.02/1800.61 c intshifting : 0.00 0 0
1800.02/1800.61 c oneopt : 0.00 0 0
1800.02/1800.61 c twoopt : 0.00 0 0
1800.02/1800.61 c fixandinfer : 0.00 0 0
1800.02/1800.61 c feaspump : 0.00 0 0
1800.02/1800.61 c coefdiving : 0.00 0 0
1800.02/1800.61 c pscostdiving : 0.00 0 0
1800.02/1800.61 c fracdiving : 0.00 0 0
1800.02/1800.61 c veclendiving : 0.00 0 0
1800.02/1800.61 c intdiving : 0.00 0 0
1800.02/1800.61 c actconsdiving : 0.00 0 0
1800.02/1800.61 c objpscostdiving : 0.00 0 0
1800.02/1800.61 c rootsoldiving : 0.00 0 0
1800.02/1800.61 c linesearchdiving : 0.00 0 0
1800.02/1800.61 c guideddiving : 0.00 0 0
1800.02/1800.61 c octane : 0.00 0 0
1800.02/1800.61 c rens : 0.00 0 0
1800.02/1800.61 c rins : 0.00 0 0
1800.02/1800.61 c localbranching : 0.00 0 0
1800.02/1800.61 c mutation : 0.00 0 0
1800.02/1800.61 c crossover : 0.00 0 0
1800.02/1800.61 c dins : 0.00 0 0
1800.02/1800.61 c undercover : 0.00 0 0
1800.02/1800.61 c nlp : 0.00 0 0
1800.02/1800.61 c trysol : 0.00 0 0
1800.02/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.61 c (at root node) : - 0 0 0.00 -
1800.02/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.61 c B&B Tree :
1800.02/1800.61 c number of runs : 1
1800.02/1800.61 c nodes : 1657625
1800.02/1800.61 c nodes (total) : 1657625
1800.02/1800.61 c nodes left : 865506
1800.02/1800.61 c max depth : 182
1800.02/1800.61 c max depth (total): 182
1800.02/1800.61 c backtracks : 153984 (9.3%)
1800.02/1800.61 c delayed cutoffs : 107094
1800.02/1800.61 c repropagations : 943212 (2927009 domain reductions, 105007 cutoffs)
1800.02/1800.61 c avg switch length: 3.54
1800.02/1800.61 c switching time : 225.72
1800.02/1800.61 c Solution :
1800.02/1800.61 c Solutions found : 0 (0 improvements)
1800.02/1800.61 c Primal Bound : -
1800.02/1800.61 c Dual Bound : +0.00000000000000e+00
1800.02/1800.61 c Gap : infinite
1800.02/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.61 c Root Iterations : 0