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-2663437-1276678199.opb>
0.01/0.02 c original problem has 1566 variables (1566 bin, 0 int, 0 impl, 0 cont) and 1618 constraints
0.01/0.02 c problem read
0.01/0.02 c No objective function, only one solution is needed.
0.01/0.02 c presolving settings loaded
0.01/0.02 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.20/0.23 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 151 upgd conss, 11828 impls, 100 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 11828 implications, 100 cliques
0.39/0.42 c presolved problem has 1566 variables (1566 bin, 0 int, 0 impl, 0 cont) and 1618 constraints
0.39/0.42 c 1 constraints of type <knapsack>
0.39/0.42 c 100 constraints of type <setppc>
0.39/0.42 c 1466 constraints of type <and>
0.39/0.42 c 1 constraints of type <linear>
0.39/0.42 c 50 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.20
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.98
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.42 c
0.39/0.42 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.42 c 0.2s| 1 | 2 | 0 | - |4245k| 0 | - |1566 |1618 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
6.89/6.97 c 6.4s| 10000 | 8233 | 0 | 0.0 | 21M| 77 | - |1566 |2231 | 0 | 0 | 0 |1248 | 0 | 0.000000e+00 | -- | Inf
14.39/14.40 c 13.4s| 20000 | 12270 | 0 | 0.0 | 33M| 77 | - |1566 |3917 | 0 | 0 | 0 |4883 | 0 | 0.000000e+00 | -- | Inf
22.78/22.88 c 21.6s| 30000 | 19981 | 0 | 0.0 | 50M| 77 | - |1566 |2489 | 0 | 0 | 0 |5629 | 0 | 0.000000e+00 | -- | Inf
30.98/31.03 c 29.5s| 40000 | 26341 | 0 | 0.0 | 65M| 77 | - |1566 |2897 | 0 | 0 | 0 |6947 | 0 | 0.000000e+00 | -- | Inf
39.28/39.30 c 37.4s| 50000 | 32408 | 0 | 0.0 | 80M| 77 | - |1566 |3214 | 0 | 0 | 0 |8696 | 0 | 0.000000e+00 | -- | Inf
47.68/47.71 c 45.4s| 60000 | 37813 | 0 | 0.0 | 94M| 77 | - |1566 |3695 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
56.17/56.28 c 53.7s| 70000 | 43035 | 0 | 0.0 | 108M| 77 | - |1566 |3907 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
64.96/65.02 c 62.0s| 80000 | 47790 | 0 | 0.0 | 121M| 77 | - |1566 |4390 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
74.16/74.24 c 70.9s| 90000 | 52171 | 0 | 0.0 | 134M| 77 | - |1566 |4714 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
83.47/83.60 c 79.9s|100000 | 56262 | 0 | 0.0 | 146M| 77 | - |1566 |5198 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
93.47/93.58 c 89.5s|110000 | 59942 | 0 | 0.0 | 159M| 77 | - |1566 |5477 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
103.75/103.86 c 99.4s|120000 | 63275 | 0 | 0.0 | 171M| 77 | - |1566 |5967 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
114.55/114.64 c 110s|130000 | 66264 | 0 | 0.0 | 182M| 77 | - |1566 |6688 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
126.15/126.21 c 121s|140000 | 68884 | 0 | 0.0 | 193M| 77 | - |1566 |6815 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
138.14/138.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
138.14/138.24 c 133s|150000 | 71150 | 0 | 0.0 | 205M| 77 | - |1566 |8118 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
150.94/151.04 c 145s|160000 | 73223 | 0 | 0.0 | 216M| 77 | - |1566 |8926 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
164.04/164.13 c 158s|170000 | 75021 | 0 | 0.0 | 227M| 77 | - |1566 |9398 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
177.05/177.13 c 170s|180000 | 76393 | 0 | 0.0 | 237M| 77 | - |1566 | 10k| 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
189.82/189.91 c 183s|190000 | 77667 | 0 | 0.0 | 245M| 77 | - |1566 | 11k| 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
202.13/202.24 c 195s|200000 | 79182 | 0 | 0.0 | 250M| 77 | - |1566 | 11k| 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
214.22/214.31 c 206s|210000 | 82439 | 0 | 0.0 | 258M| 77 | - |1566 |5394 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
222.42/222.56 c 214s|220000 | 88927 | 0 | 0.0 | 272M| 77 | - |1566 |3637 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
230.32/230.46 c 222s|230000 | 95248 | 0 | 0.0 | 286M| 77 | - |1566 |3323 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
237.91/238.09 c 229s|240000 |101362 | 0 | 0.0 | 301M| 77 | - |1566 |3377 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
245.51/245.70 c 237s|250000 |107335 | 0 | 0.0 | 314M| 77 | - |1566 |3403 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
253.22/253.36 c 244s|260000 |113313 | 0 | 0.0 | 328M| 77 | - |1566 |3523 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
260.81/260.90 c 251s|270000 |119174 | 0 | 0.0 | 342M| 77 | - |1566 |3946 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
268.51/268.69 c 259s|280000 |124984 | 0 | 0.0 | 355M| 77 | - |1566 |3910 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
276.40/276.54 c 266s|290000 |130717 | 0 | 0.0 | 369M| 77 | - |1566 |3967 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
284.30/284.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
284.30/284.43 c 274s|300000 |136397 | 0 | 0.0 | 382M| 77 | - |1566 |4305 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
292.41/292.56 c 282s|310000 |142086 | 0 | 0.0 | 395M| 77 | - |1566 |3928 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
300.30/300.40 c 289s|320000 |147622 | 0 | 0.0 | 408M| 77 | - |1566 |4506 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
308.59/308.71 c 297s|330000 |153196 | 0 | 0.0 | 421M| 77 | - |1566 |4199 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
316.60/316.77 c 305s|340000 |158510 | 0 | 0.0 | 434M| 77 | - |1566 |4593 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
324.99/325.12 c 313s|350000 |163946 | 0 | 0.0 | 447M| 77 | - |1566 |4397 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
333.29/333.41 c 321s|360000 |169272 | 0 | 0.0 | 460M| 77 | - |1566 |4517 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
341.59/341.74 c 329s|370000 |174543 | 0 | 0.0 | 473M| 77 | - |1566 |5003 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
350.08/350.26 c 337s|380000 |179884 | 0 | 0.0 | 485M| 77 | - |1566 |4764 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
358.49/358.62 c 345s|390000 |184991 | 0 | 0.0 | 498M| 77 | - |1566 |5101 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
367.19/367.33 c 354s|400000 |190079 | 0 | 0.0 | 511M| 77 | - |1566 |5241 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
375.68/375.86 c 362s|410000 |195229 | 0 | 0.0 | 523M| 77 | - |1566 |4908 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
384.18/384.30 c 370s|420000 |200260 | 0 | 0.0 | 536M| 77 | - |1566 |5344 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
392.97/393.15 c 378s|430000 |205187 | 0 | 0.0 | 548M| 77 | - |1566 |5867 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
401.97/402.13 c 387s|440000 |210214 | 0 | 0.0 | 561M| 77 | - |1566 |5441 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
410.67/410.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
410.67/410.82 c 395s|450000 |215254 | 0 | 0.0 | 573M| 77 | - |1566 |5687 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
419.46/419.62 c 404s|460000 |220152 | 0 | 0.0 | 585M| 77 | - |1566 |6181 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
428.66/428.88 c 413s|470000 |224948 | 0 | 0.0 | 598M| 77 | - |1566 |6014 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
437.67/437.83 c 422s|480000 |229803 | 0 | 0.0 | 610M| 77 | - |1566 |5982 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
446.66/446.88 c 430s|490000 |234552 | 0 | 0.0 | 622M| 77 | - |1566 |6328 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
455.76/455.95 c 439s|500000 |239323 | 0 | 0.0 | 634M| 77 | - |1566 |6552 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
465.25/465.47 c 448s|510000 |243879 | 0 | 0.0 | 646M| 77 | - |1566 |6570 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
474.65/474.83 c 457s|520000 |248517 | 0 | 0.0 | 658M| 77 | - |1566 |6576 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
484.05/484.21 c 466s|530000 |253090 | 0 | 0.0 | 670M| 77 | - |1566 |6899 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
493.45/493.65 c 475s|540000 |257724 | 0 | 0.0 | 682M| 77 | - |1566 |6963 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
503.04/503.21 c 485s|550000 |262259 | 0 | 0.0 | 694M| 77 | - |1566 |7013 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
512.84/513.09 c 494s|560000 |266688 | 0 | 0.0 | 706M| 77 | - |1566 |7054 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
522.53/522.79 c 504s|570000 |271144 | 0 | 0.0 | 718M| 77 | - |1566 |7331 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
532.43/532.67 c 513s|580000 |275600 | 0 | 0.0 | 730M| 77 | - |1566 |7624 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
542.23/542.46 c 522s|590000 |280102 | 0 | 0.0 | 742M| 77 | - |1566 |7844 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
552.52/552.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
552.52/552.71 c 532s|600000 |284463 | 0 | 0.0 | 754M| 77 | - |1566 |7633 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
562.73/562.98 c 542s|610000 |288714 | 0 | 0.0 | 765M| 77 | - |1566 |7641 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
572.82/573.04 c 552s|620000 |292912 | 0 | 0.0 | 777M| 77 | - |1566 |8200 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
583.11/583.33 c 562s|630000 |297167 | 0 | 0.0 | 789M| 77 | - |1566 |8467 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
593.42/593.66 c 572s|640000 |301435 | 0 | 0.0 | 800M| 77 | - |1566 |8814 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
604.01/604.26 c 582s|650000 |305682 | 0 | 0.0 | 812M| 77 | - |1566 |8865 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
615.01/615.27 c 593s|660000 |309655 | 0 | 0.0 | 824M| 77 | - |1566 |8442 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
625.80/626.01 c 603s|670000 |313671 | 0 | 0.0 | 835M| 77 | - |1566 |8942 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
636.71/636.97 c 614s|680000 |317676 | 0 | 0.0 | 847M| 77 | - |1566 |9315 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
647.71/647.92 c 625s|690000 |321767 | 0 | 0.0 | 858M| 77 | - |1566 |9572 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
658.61/658.89 c 635s|700000 |325911 | 0 | 0.0 | 870M| 77 | - |1566 |9559 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
669.98/670.20 c 646s|710000 |329852 | 0 | 0.0 | 881M| 77 | - |1566 |9171 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
681.18/681.48 c 657s|720000 |333681 | 0 | 0.0 | 893M| 77 | - |1566 |9279 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
692.69/692.97 c 668s|730000 |337353 | 0 | 0.0 | 904M| 77 | - |1566 | 10k| 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
704.37/704.60 c 680s|740000 |341152 | 0 | 0.0 | 915M| 77 | - |1566 | 10k| 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
716.17/716.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
716.17/716.47 c 691s|750000 |345000 | 0 | 0.0 | 927M| 77 | - |1566 | 10k| 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
727.97/728.23 c 703s|760000 |348842 | 0 | 0.0 | 938M| 77 | - |1566 | 10k| 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
739.56/739.87 c 714s|770000 |352700 | 0 | 0.0 | 949M| 77 | - |1566 | 10k| 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
751.76/752.04 c 726s|780000 |356196 | 0 | 0.0 | 960M| 77 | - |1566 | 10k| 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
764.05/764.33 c 738s|790000 |359644 | 0 | 0.0 | 971M| 77 | - |1566 | 11k| 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
776.55/776.84 c 750s|800000 |363167 | 0 | 0.0 | 982M| 77 | - |1566 | 11k| 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
788.95/789.28 c 762s|810000 |366802 | 0 | 0.0 | 994M| 77 | - |1566 | 11k| 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
801.55/801.84 c 774s|820000 |370447 | 0 | 0.0 |1004M| 77 | - |1566 | 11k| 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
814.04/814.31 c 786s|830000 |374154 | 0 | 0.0 |1015M| 77 | - |1566 | 11k| 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
826.73/827.01 c 799s|840000 |377622 | 0 | 0.0 |1026M| 77 | - |1566 | 11k| 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
839.74/840.01 c 811s|850000 |380800 | 0 | 0.0 |1037M| 77 | - |1566 | 11k| 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
852.83/853.17 c 824s|860000 |384038 | 0 | 0.0 |1048M| 77 | - |1566 | 12k| 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
866.33/866.62 c 837s|870000 |387351 | 0 | 0.0 |1059M| 77 | - |1566 | 13k| 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
879.93/880.20 c 850s|880000 |390693 | 0 | 0.0 |1070M| 77 | - |1566 | 13k| 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
893.02/893.39 c 863s|890000 |394162 | 0 | 0.0 |1081M| 77 | - |1566 | 12k| 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
905.91/906.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
905.91/906.25 c 876s|900000 |397670 | 0 | 0.0 |1091M| 77 | - |1566 | 12k| 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
919.22/919.58 c 889s|910000 |400850 | 0 | 0.0 |1102M| 77 | - |1566 | 12k| 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
933.11/933.41 c 902s|920000 |403693 | 0 | 0.0 |1113M| 77 | - |1566 | 12k| 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
947.00/947.37 c 916s|930000 |406635 | 0 | 0.0 |1123M| 77 | - |1566 | 13k| 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
961.11/961.49 c 930s|940000 |409707 | 0 | 0.0 |1134M| 77 | - |1566 | 13k| 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
975.30/975.67 c 943s|950000 |412794 | 0 | 0.0 |1145M| 77 | - |1566 | 13k| 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
989.39/989.70 c 957s|960000 |415948 | 0 | 0.0 |1155M| 77 | - |1566 | 13k| 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
1003.19/1003.55 c 970s|970000 |419173 | 0 | 0.0 |1166M| 77 | - |1566 | 13k| 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
1017.09/1017.47 c 984s|980000 |422330 | 0 | 0.0 |1177M| 77 | - |1566 | 13k| 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
1031.98/1032.32 c 999s|990000 |424838 | 0 | 0.0 |1187M| 77 | - |1566 | 14k| 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
1047.07/1047.47 c 1013s| 1000k|427461 | 0 | 0.0 |1198M| 77 | - |1566 | 14k| 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
1062.37/1062.73 c 1028s| 1010k|430207 | 0 | 0.0 |1208M| 77 | - |1566 | 15k| 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
1077.56/1077.94 c 1043s| 1020k|432960 | 0 | 0.0 |1218M| 77 | - |1566 | 15k| 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | -- | Inf
1092.65/1093.02 c 1058s| 1030k|435790 | 0 | 0.0 |1228M| 77 | - |1566 | 14k| 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | -- | Inf
1106.96/1107.35 c 1072s| 1040k|438762 | 0 | 0.0 |1239M| 77 | - |1566 | 14k| 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | -- | Inf
1121.34/1121.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1121.34/1121.74 c 1086s| 1050k|441843 | 0 | 0.0 |1249M| 77 | - |1566 | 14k| 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | -- | Inf
1136.84/1137.22 c 1101s| 1060k|444391 | 0 | 0.0 |1259M| 77 | - |1566 | 14k| 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | -- | Inf
1152.94/1153.36 c 1117s| 1070k|446595 | 0 | 0.0 |1270M| 77 | - |1566 | 15k| 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | -- | Inf
1169.13/1169.58 c 1133s| 1080k|448930 | 0 | 0.0 |1280M| 77 | - |1566 | 16k| 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | -- | Inf
1185.73/1186.18 c 1149s| 1090k|451330 | 0 | 0.0 |1290M| 77 | - |1566 | 16k| 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | -- | Inf
1202.13/1202.56 c 1165s| 1100k|453821 | 0 | 0.0 |1300M| 77 | - |1566 | 16k| 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | -- | Inf
1218.12/1218.55 c 1180s| 1110k|456390 | 0 | 0.0 |1310M| 77 | - |1566 | 16k| 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | -- | Inf
1233.61/1234.04 c 1196s| 1120k|459122 | 0 | 0.0 |1320M| 77 | - |1566 | 16k| 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | -- | Inf
1249.31/1249.78 c 1211s| 1130k|461888 | 0 | 0.0 |1330M| 77 | - |1566 | 16k| 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | -- | Inf
1265.10/1265.51 c 1226s| 1140k|464565 | 0 | 0.0 |1341M| 77 | - |1566 | 17k| 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | -- | Inf
1282.71/1283.13 c 1243s| 1150k|466495 | 0 | 0.0 |1350M| 77 | - |1566 | 17k| 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | -- | Inf
1297.00/1297.40 c (node 1158129) switching to memory saving mode (mem: 1296.0M/1620.0M)
1300.80/1301.24 c 1261s| 1160k|467637 | 0 | 0.0 |1355M| 77 | - |1566 | 18k| 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | -- | Inf
1320.09/1320.54 c 1280s| 1170k|466083 | 0 | 0.0 |1339M| 77 | - |1566 | 16k| 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | -- | Inf
1333.98/1334.47 c 1294s| 1180k|465924 | 0 | 0.0 |1340M| 77 | - |1566 | 18k| 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | -- | Inf
1352.28/1352.78 c 1311s| 1190k|465357 | 0 | 0.0 |1334M| 77 | - |1566 | 18k| 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | -- | Inf
1367.07/1367.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1367.07/1367.54 c 1326s| 1200k|465175 | 0 | 0.0 |1334M| 77 | - |1566 | 19k| 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | -- | Inf
1383.66/1384.18 c 1342s| 1210k|464916 | 0 | 0.0 |1332M| 77 | - |1566 | 20k| 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | -- | Inf
1398.86/1399.37 c 1357s| 1220k|464870 | 0 | 0.0 |1334M| 77 | - |1566 | 22k| 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | -- | Inf
1416.86/1417.38 c 1375s| 1230k|464833 | 0 | 0.0 |1335M| 77 | - |1566 | 23k| 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | -- | Inf
1434.75/1435.25 c 1392s| 1240k|464794 | 0 | 0.0 |1335M| 77 | - |1566 | 24k| 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | -- | Inf
1451.84/1452.39 c 1409s| 1250k|464758 | 0 | 0.0 |1334M| 77 | - |1566 | 22k| 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | -- | Inf
1468.84/1469.33 c 1426s| 1260k|464703 | 0 | 0.0 |1334M| 77 | - |1566 | 23k| 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | -- | Inf
1485.44/1485.93 c 1442s| 1270k|464648 | 0 | 0.0 |1334M| 77 | - |1566 | 23k| 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | -- | Inf
1501.84/1502.31 c 1458s| 1280k|464615 | 0 | 0.0 |1335M| 77 | - |1566 | 24k| 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | -- | Inf
1518.93/1519.45 c 1475s| 1290k|464578 | 0 | 0.0 |1335M| 77 | - |1566 | 24k| 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | -- | Inf
1536.63/1537.17 c 1492s| 1300k|464540 | 0 | 0.0 |1336M| 77 | - |1566 | 25k| 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | -- | Inf
1555.12/1555.62 c 1510s| 1310k|464501 | 0 | 0.0 |1336M| 77 | - |1566 | 26k| 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | -- | Inf
1573.91/1574.43 c 1528s| 1320k|464446 | 0 | 0.0 |1336M| 77 | - |1566 | 26k| 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | -- | Inf
1592.81/1593.37 c 1547s| 1330k|464377 | 0 | 0.0 |1338M| 77 | - |1566 | 28k| 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | -- | Inf
1612.40/1612.99 c 1566s| 1340k|464340 | 0 | 0.0 |1337M| 77 | - |1566 | 26k| 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | -- | Inf
1629.49/1630.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1629.49/1630.09 c 1583s| 1350k|464316 | 0 | 0.0 |1338M| 77 | - |1566 | 28k| 0 | 0 | 0 | 411k| 0 | 0.000000e+00 | -- | Inf
1650.60/1651.16 c 1604s| 1360k|464299 | 0 | 0.0 |1339M| 77 | - |1566 | 30k| 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | -- | Inf
1673.78/1674.32 c 1627s| 1370k|464284 | 0 | 0.0 |1340M| 77 | - |1566 | 31k| 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | -- | Inf
1698.88/1699.42 c 1651s| 1380k|464264 | 0 | 0.0 |1340M| 77 | - |1566 | 31k| 0 | 0 | 0 | 426k| 0 | 0.000000e+00 | -- | Inf
1724.46/1725.00 c 1677s| 1390k|464250 | 0 | 0.0 |1341M| 77 | - |1566 | 33k| 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | -- | Inf
1747.66/1748.26 c 1700s| 1400k|464238 | 0 | 0.0 |1342M| 77 | - |1566 | 34k| 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | -- | Inf
1772.66/1773.30 c 1724s| 1410k|464224 | 0 | 0.0 |1342M| 77 | - |1566 | 34k| 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | -- | Inf
1800.06/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.61 c
1800.06/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.61 c Solving Time (sec) : 1751.19
1800.06/1800.61 c Solving Nodes : 1419981
1800.06/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.06/1800.61 c Dual Bound : +0.00000000000000e+00
1800.06/1800.61 c Gap : infinite
1800.06/1800.61 s UNKNOWN
1800.06/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.61 c Solving Time : 1751.19
1800.06/1800.61 c Original Problem :
1800.06/1800.61 c Problem name : HOME/instance-2663437-1276678199.opb
1800.06/1800.61 c Variables : 1566 (1566 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.61 c Constraints : 1618 initial, 1618 maximal
1800.06/1800.61 c Presolved Problem :
1800.06/1800.61 c Problem name : t_HOME/instance-2663437-1276678199.opb
1800.06/1800.61 c Variables : 1566 (1566 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.61 c Constraints : 1618 initial, 36288 maximal
1800.06/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c and : 0.17 0 0 0 0 0 0 0 0
1800.06/1800.61 c linear : 0.01 0 0 0 0 0 0 0 0
1800.06/1800.61 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.06/1800.61 c root node : - 0 - - 0 - - - -
1800.06/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.61 c knapsack : 1 0 3983544 0 958302 27698 3222786 0 0 0
1800.06/1800.61 c setppc : 100 0 4326073 0 963532 9476 292943 0 0 0
1800.06/1800.61 c and : 1466 0 4316597 0 963532 70 69395362 0 0 0
1800.06/1800.61 c linear : 1 0 4309651 0 963532 430457 913110 0 0 0
1800.06/1800.61 c logicor : 50+ 0 1218980 0 963495 29502 6698135 0 0 0
1800.06/1800.61 c countsols : 0 0 0 0 963532 0 0 0 0 0
1800.06/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.61 c knapsack : 57.74 0.00 53.05 0.00 4.69
1800.06/1800.61 c setppc : 88.83 0.00 10.41 0.00 78.42
1800.06/1800.61 c and : 231.39 0.00 191.00 0.00 40.39
1800.06/1800.61 c linear : 140.68 0.00 139.70 0.00 0.98
1800.06/1800.61 c logicor : 486.40 0.00 483.17 0.00 3.23
1800.06/1800.61 c countsols : 0.51 0.00 0.00 0.00 0.51
1800.06/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.61 c vbounds : 2.33 1 0 0
1800.06/1800.61 c rootredcost : 2.26 0 0 0
1800.06/1800.61 c pseudoobj : 1.74 0 0 0
1800.06/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.61 c propagation : 92.54 497203 361489 2512001 56.6 498 64.5 -
1800.06/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.61 c applied globally : - - - 443574 51.5 - - -
1800.06/1800.61 c applied locally : - - - 0 0.0 - - -
1800.06/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.06/1800.61 c redcost : 0.00 0 0 0 0 0
1800.06/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.06/1800.61 c intobj : 0.00 0 0 0 0 0
1800.06/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.61 c gomory : 0.00 0 0 0 0 0
1800.06/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.06/1800.61 c cmir : 0.00 0 0 0 0 0
1800.06/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.06/1800.61 c clique : 0.00 0 0 0 0 0
1800.06/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.61 c mcf : 0.00 0 0 0 0 0
1800.06/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.61 c Pricers : Time Calls Vars
1800.06/1800.61 c problem variables: 0.00 0 0
1800.06/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.06/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.61 c inference : 107.74 963532 0 0 0 0 1927064
1800.06/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.61 c random : 0.00 0 0 0 0 0 0
1800.06/1800.61 c Primal Heuristics : Time Calls Found
1800.06/1800.61 c LP solutions : 0.00 - 0
1800.06/1800.61 c pseudo solutions : 0.00 - 0
1800.06/1800.61 c trivial : 0.00 1 0
1800.06/1800.61 c simplerounding : 0.00 0 0
1800.06/1800.61 c zirounding : 0.00 0 0
1800.06/1800.61 c rounding : 0.00 0 0
1800.06/1800.61 c shifting : 0.00 0 0
1800.06/1800.61 c intshifting : 0.00 0 0
1800.06/1800.61 c oneopt : 0.00 0 0
1800.06/1800.61 c twoopt : 0.00 0 0
1800.06/1800.61 c fixandinfer : 0.00 0 0
1800.06/1800.61 c feaspump : 0.00 0 0
1800.06/1800.61 c coefdiving : 0.00 0 0
1800.06/1800.61 c pscostdiving : 0.00 0 0
1800.06/1800.61 c fracdiving : 0.00 0 0
1800.06/1800.61 c veclendiving : 0.00 0 0
1800.06/1800.61 c intdiving : 0.00 0 0
1800.06/1800.61 c actconsdiving : 0.00 0 0
1800.06/1800.61 c objpscostdiving : 0.00 0 0
1800.06/1800.61 c rootsoldiving : 0.00 0 0
1800.06/1800.61 c linesearchdiving : 0.00 0 0
1800.06/1800.61 c guideddiving : 0.00 0 0
1800.06/1800.61 c octane : 0.00 0 0
1800.06/1800.61 c rens : 0.00 0 0
1800.06/1800.61 c rins : 0.00 0 0
1800.06/1800.61 c localbranching : 0.00 0 0
1800.06/1800.61 c mutation : 0.00 0 0
1800.06/1800.61 c crossover : 0.00 0 0
1800.06/1800.61 c dins : 0.00 0 0
1800.06/1800.61 c undercover : 0.00 0 0
1800.06/1800.61 c nlp : 0.00 0 0
1800.06/1800.61 c trysol : 0.00 0 0
1800.06/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.06/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.06/1800.61 c (at root node) : - 0 0 0.00 -
1800.06/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.61 c B&B Tree :
1800.06/1800.61 c number of runs : 1
1800.06/1800.61 c nodes : 1419981
1800.06/1800.61 c nodes (total) : 1419981
1800.06/1800.61 c nodes left : 464212
1800.06/1800.61 c max depth : 77
1800.06/1800.61 c max depth (total): 77
1800.06/1800.61 c backtracks : 90810 (6.4%)
1800.06/1800.61 c delayed cutoffs : 42872
1800.06/1800.61 c repropagations : 1116534 (6883346 domain reductions, 40754 cutoffs)
1800.06/1800.61 c avg switch length: 4.98
1800.06/1800.61 c switching time : 461.60
1800.06/1800.61 c Solution :
1800.06/1800.61 c Solutions found : 0 (0 improvements)
1800.06/1800.61 c Primal Bound : -
1800.06/1800.61 c Dual Bound : +0.00000000000000e+00
1800.06/1800.61 c Gap : infinite
1800.06/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.06/1800.61 c Root Iterations : 0