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-2664037-1276310555.opb>
0.00/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.00/0.05 c problem read
0.00/0.05 c No objective function, only one solution is needed.
0.00/0.05 c presolving settings loaded
0.00/0.06 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.07 c presolving:
0.09/0.12 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs
0.09/0.13 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.09/0.15 c presolving (3 rounds):
0.09/0.15 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.15 c 242 implications, 22 cliques
0.09/0.15 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints
0.09/0.15 c 1 constraints of type <knapsack>
0.09/0.15 c 22 constraints of type <setppc>
0.09/0.15 c 2541 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.07
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.2
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1799.95
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 1620
0.09/0.15 c
0.09/0.15 c # solving stops, if the given number of solutions were found (-1: no limit)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c limits/solutions = 1
0.09/0.15 c
0.09/0.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c lp/solvefreq = -1
0.09/0.15 c
0.09/0.15 c # maximal number of separation rounds per node (-1: unlimited)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 5]
0.09/0.15 c separating/maxrounds = 1
0.09/0.15 c
0.09/0.15 c # maximal number of separation rounds in the root node (-1: unlimited)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/maxroundsroot = 5
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.09/0.15 c constraints/knapsack/disaggregation = FALSE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c presolving/probing/maxrounds = 0
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/coefdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/coefdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/coefdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 30]
0.09/0.15 c heuristics/crossover/freq = -1
0.09/0.15 c
0.09/0.15 c # number of nodes added to the contingent of the total nodes
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.15 c heuristics/crossover/nodesofs = 750
0.09/0.15 c
0.09/0.15 c # number of nodes without incumbent change that heuristic should wait
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.09/0.15 c heuristics/crossover/nwaitingnodes = 100
0.09/0.15 c
0.09/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.09/0.15 c # [type: real, range: [0,1], default: 0.1]
0.09/0.15 c heuristics/crossover/nodesquot = 0.15
0.09/0.15 c
0.09/0.15 c # minimum percentage of integer variables that have to be fixed
0.09/0.15 c # [type: real, range: [0,1], default: 0.666]
0.09/0.15 c heuristics/crossover/minfixingrate = 0.5
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/feaspump/freq = -1
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/feaspump/maxlpiterofs = 2000
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/fracdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/fracdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/guideddiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/guideddiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/intdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/intshifting/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/linesearchdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/nlp/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/objpscostdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to total iteration number
0.09/0.15 c # [type: real, range: [0,1], default: 0.01]
0.09/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/oneopt/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/pscostdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c heuristics/rens/freq = -1
0.09/0.15 c
0.09/0.15 c # minimum percentage of integer variables that have to be fixable
0.09/0.15 c # [type: real, range: [0,1], default: 0.5]
0.09/0.15 c heuristics/rens/minfixingrate = 0.3
0.09/0.15 c
0.09/0.15 c # number of nodes added to the contingent of the total nodes
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.15 c heuristics/rens/nodesofs = 2000
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/rootsoldiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.09/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/rounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/shifting/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/simplerounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c heuristics/trivial/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/trysol/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/veclendiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/veclendiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/zirounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c separating/cmir/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c separating/flowcover/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.15 c 0.1s| 1 | 2 | 0 | - |2396k| 0 | - | 231 |2564 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
3.79/3.84 c 3.6s| 10000 | 8399 | 0 | 0.0 |7179k| 105 | - | 231 |4115 | 0 | 0 | 0 |2490 | 0 | 0.000000e+00 | -- | Inf
9.59/9.63 c 9.1s| 20000 | 14670 | 0 | 0.0 | 12M| 105 | - | 231 |5812 | 0 | 0 | 0 |8031 | 0 | 0.000000e+00 | -- | Inf
14.19/14.26 c 13.5s| 30000 | 22687 | 0 | 0.0 | 16M| 105 | - | 231 |5531 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
19.08/19.15 c 18.2s| 40000 | 30611 | 0 | 0.0 | 21M| 105 | - | 231 |6471 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
24.58/24.61 c 23.4s| 50000 | 38306 | 0 | 0.0 | 26M| 105 | - | 231 |7398 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
30.58/30.65 c 29.2s| 60000 | 45702 | 0 | 0.0 | 30M| 105 | - | 231 |8543 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
37.68/37.73 c 36.0s| 70000 | 52761 | 0 | 0.0 | 35M| 105 | - | 231 |9696 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
45.78/45.81 c 43.9s| 80000 | 59532 | 0 | 0.0 | 41M| 105 | - | 231 | 10k| 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
55.27/55.34 c 53.1s| 90000 | 65771 | 0 | 0.0 | 46M| 105 | - | 231 | 12k| 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
65.97/66.06 c 63.6s|100000 | 71744 | 0 | 0.0 | 52M| 105 | - | 231 | 13k| 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
78.96/79.08 c 76.3s|110000 | 77045 | 0 | 0.0 | 57M| 105 | - | 231 | 15k| 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
95.45/95.51 c 92.5s|120000 | 81416 | 0 | 0.0 | 63M| 105 | - | 231 | 16k| 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
115.96/116.06 c 113s|130000 | 84889 | 0 | 0.0 | 68M| 105 | - | 231 | 17k| 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
139.65/139.76 c 136s|140000 | 87499 | 0 | 0.0 | 72M| 105 | - | 231 | 16k| 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
151.76/151.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
151.76/151.83 c 148s|150000 | 94290 | 0 | 0.0 | 76M| 105 | - | 231 | 13k| 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
161.44/161.53 c 157s|160000 |101692 | 0 | 0.0 | 80M| 105 | - | 231 | 13k| 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
171.14/171.22 c 167s|170000 |108944 | 0 | 0.0 | 84M| 105 | - | 231 | 13k| 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
180.74/180.83 c 176s|180000 |116169 | 0 | 0.0 | 88M| 105 | - | 231 | 13k| 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
190.63/190.74 c 186s|190000 |123310 | 0 | 0.0 | 92M| 105 | - | 231 | 13k| 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
200.64/200.72 c 196s|200000 |130368 | 0 | 0.0 | 96M| 105 | - | 231 | 13k| 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
211.04/211.17 c 206s|210000 |137232 | 0 | 0.0 | 101M| 105 | - | 231 | 14k| 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
221.72/221.84 c 216s|220000 |144146 | 0 | 0.0 | 105M| 105 | - | 231 | 14k| 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
232.72/232.83 c 227s|230000 |150907 | 0 | 0.0 | 110M| 105 | - | 231 | 15k| 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
243.92/244.03 c 238s|240000 |157697 | 0 | 0.0 | 114M| 105 | - | 231 | 15k| 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
255.92/256.09 c 250s|250000 |164202 | 0 | 0.0 | 118M| 105 | - | 231 | 16k| 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
267.62/267.78 c 261s|260000 |170837 | 0 | 0.0 | 123M| 105 | - | 231 | 16k| 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
280.21/280.31 c 273s|270000 |177376 | 0 | 0.0 | 127M| 105 | - | 231 | 17k| 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
292.81/292.98 c 286s|280000 |183908 | 0 | 0.0 | 131M| 105 | - | 231 | 17k| 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
305.62/305.78 c 298s|290000 |190298 | 0 | 0.0 | 136M| 105 | - | 231 | 17k| 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
318.70/318.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
318.70/318.89 c 311s|300000 |196722 | 0 | 0.0 | 140M| 105 | - | 231 | 18k| 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
332.20/332.33 c 324s|310000 |203056 | 0 | 0.0 | 144M| 105 | - | 231 | 18k| 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
345.80/345.99 c 338s|320000 |209346 | 0 | 0.0 | 149M| 105 | - | 231 | 19k| 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
360.09/360.27 c 352s|330000 |215550 | 0 | 0.0 | 153M| 105 | - | 231 | 19k| 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
374.59/374.75 c 366s|340000 |221697 | 0 | 0.0 | 157M| 105 | - | 231 | 19k| 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
389.58/389.75 c 381s|350000 |227763 | 0 | 0.0 | 162M| 105 | - | 231 | 20k| 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
404.99/405.12 c 396s|360000 |233870 | 0 | 0.0 | 166M| 105 | - | 231 | 20k| 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
419.99/420.20 c 411s|370000 |239936 | 0 | 0.0 | 171M| 105 | - | 231 | 21k| 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
436.67/436.82 c 427s|380000 |245778 | 0 | 0.0 | 175M| 105 | - | 231 | 21k| 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
452.47/452.63 c 443s|390000 |251798 | 0 | 0.0 | 179M| 105 | - | 231 | 21k| 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
469.06/469.28 c 459s|400000 |257611 | 0 | 0.0 | 184M| 105 | - | 231 | 22k| 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
488.96/489.14 c 478s|410000 |262913 | 0 | 0.0 | 189M| 105 | - | 231 | 22k| 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
510.06/510.22 c 499s|420000 |267872 | 0 | 0.0 | 194M| 105 | - | 231 | 24k| 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
535.24/535.50 c 524s|430000 |272288 | 0 | 0.0 | 199M| 105 | - | 231 | 25k| 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
559.75/559.92 c 548s|440000 |276946 | 0 | 0.0 | 205M| 105 | - | 231 | 27k| 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
589.03/589.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
589.03/589.24 c 577s|450000 |280949 | 0 | 0.0 | 210M| 105 | - | 231 | 28k| 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
617.33/617.52 c 605s|460000 |285292 | 0 | 0.0 | 215M| 105 | - | 231 | 29k| 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | -- | Inf
649.82/650.06 c 638s|470000 |289076 | 0 | 0.0 | 221M| 105 | - | 231 | 31k| 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | -- | Inf
681.31/681.56 c 669s|480000 |293038 | 0 | 0.0 | 226M| 105 | - | 231 | 32k| 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | -- | Inf
715.00/715.29 c 702s|490000 |296908 | 0 | 0.0 | 231M| 105 | - | 231 | 32k| 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | -- | Inf
750.09/750.30 c 737s|500000 |300479 | 0 | 0.0 | 236M| 105 | - | 231 | 34k| 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | -- | Inf
786.08/786.32 c 772s|510000 |304044 | 0 | 0.0 | 241M| 105 | - | 231 | 35k| 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | -- | Inf
823.88/824.19 c 810s|520000 |307346 | 0 | 0.0 | 247M| 105 | - | 231 | 36k| 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | -- | Inf
863.66/863.94 c 849s|530000 |310512 | 0 | 0.0 | 252M| 105 | - | 231 | 37k| 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | -- | Inf
903.86/904.20 c 889s|540000 |313645 | 0 | 0.0 | 256M| 105 | - | 231 | 38k| 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | -- | Inf
948.44/948.76 c 934s|550000 |316264 | 0 | 0.0 | 261M| 105 | - | 231 | 39k| 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | -- | Inf
991.64/991.95 c 976s|560000 |319223 | 0 | 0.0 | 266M| 105 | - | 231 | 40k| 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | -- | Inf
1041.12/1041.47 c 1026s|570000 |321276 | 0 | 0.0 | 270M| 105 | - | 231 | 40k| 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | -- | Inf
1091.80/1092.19 c 1076s|580000 |323210 | 0 | 0.0 | 275M| 105 | - | 231 | 41k| 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | -- | Inf
1144.38/1144.77 c 1128s|590000 |324920 | 0 | 0.0 | 279M| 105 | - | 231 | 42k| 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | -- | Inf
1199.77/1200.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1199.77/1200.14 c 1183s|600000 |326434 | 0 | 0.0 | 283M| 105 | - | 231 | 43k| 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | -- | Inf
1262.75/1263.14 c 1246s|610000 |326914 | 0 | 0.0 | 286M| 105 | - | 231 | 44k| 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | -- | Inf
1325.43/1325.81 c 1308s|620000 |327600 | 0 | 0.0 | 289M| 105 | - | 231 | 44k| 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | -- | Inf
1391.12/1391.53 c 1373s|630000 |327794 | 0 | 0.0 | 292M| 105 | - | 231 | 43k| 0 | 0 | 0 | 428k| 0 | 0.000000e+00 | -- | Inf
1457.80/1458.26 c 1439s|640000 |327781 | 0 | 0.0 | 294M| 105 | - | 231 | 42k| 0 | 0 | 0 | 440k| 0 | 0.000000e+00 | -- | Inf
1515.48/1515.93 c 1497s|650000 |330287 | 0 | 0.0 | 294M| 105 | - | 231 | 34k| 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | -- | Inf
1548.88/1549.38 c 1530s|660000 |336102 | 0 | 0.0 | 297M| 105 | - | 231 | 30k| 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | -- | Inf
1582.17/1582.63 c 1563s|670000 |341434 | 0 | 0.0 | 301M| 105 | - | 231 | 27k| 0 | 0 | 0 | 462k| 0 | 0.000000e+00 | -- | Inf
1614.86/1615.35 c 1595s|680000 |346477 | 0 | 0.0 | 306M| 105 | - | 231 | 26k| 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | -- | Inf
1646.75/1647.27 c 1627s|690000 |351527 | 0 | 0.0 | 311M| 105 | - | 231 | 26k| 0 | 0 | 0 | 475k| 0 | 0.000000e+00 | -- | Inf
1677.65/1678.16 c 1657s|700000 |356690 | 0 | 0.0 | 315M| 105 | - | 231 | 26k| 0 | 0 | 0 | 482k| 0 | 0.000000e+00 | -- | Inf
1709.43/1709.98 c 1689s|710000 |361593 | 0 | 0.0 | 320M| 105 | - | 231 | 27k| 0 | 0 | 0 | 489k| 0 | 0.000000e+00 | -- | Inf
1743.12/1743.66 c 1722s|720000 |366286 | 0 | 0.0 | 325M| 105 | - | 231 | 27k| 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | -- | Inf
1775.72/1776.24 c 1754s|730000 |371024 | 0 | 0.0 | 330M| 105 | - | 231 | 27k| 0 | 0 | 0 | 504k| 0 | 0.000000e+00 | -- | Inf
1800.02/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.51 c
1800.02/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.51 c Solving Time (sec) : 1778.48
1800.02/1800.51 c Solving Nodes : 737339
1800.02/1800.51 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.02/1800.51 c Dual Bound : +0.00000000000000e+00
1800.02/1800.51 c Gap : infinite
1800.02/1800.51 s UNKNOWN
1800.02/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.51 c Solving Time : 1778.48
1800.02/1800.51 c Original Problem :
1800.02/1800.51 c Problem name : HOME/instance-2664037-1276310555.opb
1800.02/1800.51 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.51 c Constraints : 2707 initial, 2707 maximal
1800.02/1800.51 c Presolved Problem :
1800.02/1800.51 c Problem name : t_HOME/instance-2664037-1276310555.opb
1800.02/1800.51 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.51 c Constraints : 2564 initial, 44418 maximal
1800.02/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c probing : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c linear : 0.03 0 0 0 0 0 143 0 0
1800.02/1800.51 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.02/1800.51 c root node : - 0 - - 0 - - - -
1800.02/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.51 c knapsack : 1 0 2180557 0 605801 58260 5257623 0 0 0
1800.02/1800.51 c setppc : 22 0 2131416 0 605801 79750 2581844 0 0 0
1800.02/1800.51 c logicor : 2541+ 0 1793717 0 605798 83018 6753200 0 0 0
1800.02/1800.51 c countsols : 0 0 0 0 605777 0 0 0 0 0
1800.02/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.51 c knapsack : 46.11 0.00 42.66 0.00 3.45
1800.02/1800.51 c setppc : 38.83 0.00 30.51 0.00 8.32
1800.02/1800.51 c logicor : 937.34 0.00 870.05 0.00 67.29
1800.02/1800.51 c countsols : 0.18 0.00 0.00 0.00 0.18
1800.02/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.51 c vbounds : 1.12 1 0 0
1800.02/1800.51 c rootredcost : 1.11 0 0 0
1800.02/1800.51 c pseudoobj : 0.81 0 0 0
1800.02/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.51 c propagation : 15.85 221028 220900 1174112 22.4 9487 21.3 -
1800.02/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.51 c applied globally : - - - 502555 16.8 - - -
1800.02/1800.51 c applied locally : - - - 7347 34.6 - - -
1800.02/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.51 c redcost : 0.00 0 0 0 0 0
1800.02/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.51 c intobj : 0.00 0 0 0 0 0
1800.02/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.51 c gomory : 0.00 0 0 0 0 0
1800.02/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.51 c cmir : 0.00 0 0 0 0 0
1800.02/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.51 c clique : 0.00 0 0 0 0 0
1800.02/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.51 c mcf : 0.00 0 0 0 0 0
1800.02/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.51 c Pricers : Time Calls Vars
1800.02/1800.51 c problem variables: 0.00 0 0
1800.02/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.51 c inference : 15.84 605777 0 0 0 0 1211554
1800.02/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.51 c random : 0.00 0 0 0 0 0 0
1800.02/1800.51 c Primal Heuristics : Time Calls Found
1800.02/1800.51 c LP solutions : 0.00 - 0
1800.02/1800.51 c pseudo solutions : 0.00 - 0
1800.02/1800.51 c trivial : 0.00 1 0
1800.02/1800.51 c simplerounding : 0.00 0 0
1800.02/1800.51 c zirounding : 0.00 0 0
1800.02/1800.51 c rounding : 0.00 0 0
1800.02/1800.51 c shifting : 0.00 0 0
1800.02/1800.51 c intshifting : 0.00 0 0
1800.02/1800.51 c oneopt : 0.00 0 0
1800.02/1800.51 c twoopt : 0.00 0 0
1800.02/1800.51 c fixandinfer : 0.00 0 0
1800.02/1800.51 c feaspump : 0.00 0 0
1800.02/1800.51 c coefdiving : 0.00 0 0
1800.02/1800.51 c pscostdiving : 0.00 0 0
1800.02/1800.51 c fracdiving : 0.00 0 0
1800.02/1800.51 c veclendiving : 0.00 0 0
1800.02/1800.51 c intdiving : 0.00 0 0
1800.02/1800.51 c actconsdiving : 0.00 0 0
1800.02/1800.51 c objpscostdiving : 0.00 0 0
1800.02/1800.51 c rootsoldiving : 0.00 0 0
1800.02/1800.51 c linesearchdiving : 0.00 0 0
1800.02/1800.51 c guideddiving : 0.00 0 0
1800.02/1800.51 c octane : 0.00 0 0
1800.02/1800.51 c rens : 0.00 0 0
1800.02/1800.51 c rins : 0.00 0 0
1800.02/1800.51 c localbranching : 0.00 0 0
1800.02/1800.51 c mutation : 0.00 0 0
1800.02/1800.51 c crossover : 0.00 0 0
1800.02/1800.51 c dins : 0.00 0 0
1800.02/1800.51 c undercover : 0.00 0 0
1800.02/1800.51 c nlp : 0.00 0 0
1800.02/1800.51 c trysol : 0.00 0 0
1800.02/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.51 c (at root node) : - 0 0 0.00 -
1800.02/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.51 c B&B Tree :
1800.02/1800.51 c number of runs : 1
1800.02/1800.51 c nodes : 737339
1800.02/1800.51 c nodes (total) : 737339
1800.02/1800.51 c nodes left : 374531
1800.02/1800.51 c max depth : 105
1800.02/1800.51 c max depth (total): 105
1800.02/1800.51 c backtracks : 121736 (16.5%)
1800.02/1800.51 c delayed cutoffs : 99685
1800.02/1800.51 c repropagations : 363415 (4944626 domain reductions, 89466 cutoffs)
1800.02/1800.51 c avg switch length: 10.91
1800.02/1800.51 c switching time : 472.46
1800.02/1800.51 c Solution :
1800.02/1800.51 c Solutions found : 0 (0 improvements)
1800.02/1800.51 c Primal Bound : -
1800.02/1800.51 c Dual Bound : +0.00000000000000e+00
1800.02/1800.51 c Gap : infinite
1800.02/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.51 c Root Iterations : 0
1801.41/1801.92 c Time complete: 1801.43.