0.29/0.35 c SCIP version 1.1.0.7
0.29/0.35 c LP-Solver Clp 1.8.2
0.29/0.35 c user parameter file <scip.set> not found - using default parameters
0.29/0.35 c read problem <HOME/instance-1884068-1245254149.opb>
0.29/0.35 c original problem has 2435 variables (2435 bin, 0 int, 0 impl, 0 cont) and 16016 constraints
0.39/0.47 c No objective function, only one solution is needed.
0.39/0.47 c start presolving problem
0.39/0.47 c presolving:
0.49/0.58 c (round 1) 50 del vars, 288 del conss, 45 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1604 impls, 0 clqs
0.59/0.60 c (round 2) 56 del vars, 504 del conss, 51 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2382 impls, 0 clqs
0.89/0.95 c (round 3) 56 del vars, 1740 del conss, 51 chg bounds, 0 chg sides, 0 chg coeffs, 14313 upgd conss, 2382 impls, 0 clqs
0.89/0.99 c presolving (4 rounds):
0.89/0.99 c 56 deleted vars, 1740 deleted constraints, 51 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.89/0.99 c 2382 implications, 0 cliques
0.89/0.99 c presolved problem has 2379 variables (2379 bin, 0 int, 0 impl, 0 cont) and 14276 constraints
0.89/0.99 c 14276 constraints of type <logicor>
0.89/0.99 c transformed objective value is always integral (scale: 1)
0.89/0.99 c Presolving Time: 0.48
0.89/0.99 c PURESAT
0.89/0.99 c -----------------------------------------------------------------------------------------------
0.89/0.99 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.89/0.99 c # [type: int, range: [-1,2147483647], default: 0]
0.89/0.99 c separating/flowcover/freq = c -1
0.89/0.99 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.89/0.99 c # [type: int, range: [-1,2147483647], default: 0]
0.89/0.99 c separating/cmir/freq = c -1
0.89/0.99 c # additional number of allowed LP iterations
0.89/0.99 c # [type: int, range: [0,2147483647], default: 1000]
0.89/0.99 c heuristics/veclendiving/maxlpiterofs = c 1500
0.89/0.99 c # maximal fraction of diving LP iterations compared to node LP iterations
0.89/0.99 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.89/0.99 c heuristics/veclendiving/maxlpiterquot = c 0.075
0.89/0.99 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.89/0.99 c # [type: int, range: [-1,2147483647], default: 10]
0.89/0.99 c heuristics/veclendiving/freq = c -1
0.89/0.99 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.89/0.99 c # [type: int, range: [-1,2147483647], default: 1]
0.89/0.99 c heuristics/simplerounding/freq = c -1
0.89/0.99 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.89/0.99 c # [type: int, range: [-1,2147483647], default: 10]
0.89/0.99 c heuristics/shifting/freq = c -1
0.89/0.99 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.89/0.99 c # [type: int, range: [-1,2147483647], default: 1]
0.89/0.99 c heuristics/rounding/freq = c -1
0.89/0.99 c # additional number of allowed LP iterations
0.89/0.99 c # [type: int, range: [0,2147483647], default: 1000]
0.89/0.99 c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.89/0.99 c # maximal fraction of diving LP iterations compared to node LP iterations
0.89/0.99 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.89/0.99 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.89/0.99 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.89/0.99 c # [type: int, range: [-1,2147483647], default: 20]
0.89/0.99 c heuristics/rootsoldiving/freq = c -1
0.89/0.99 c # number of nodes added to the contingent of the total nodes
0.89/0.99 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.89/0.99 c heuristics/rens/nodesofs = c 2000
0.89/0.99 c # minimum percentage of integer variables that have to be fixable
0.89/0.99 c # [type: real, range: [0,1], default: 0.5]
0.89/0.99 c heuristics/rens/minfixingrate = c 0.3
0.89/0.99 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.89/0.99 c # [type: int, range: [-1,2147483647], default: 0]
0.89/0.99 c heuristics/rens/freq = c -1
0.89/0.99 c # additional number of allowed LP iterations
0.89/0.99 c # [type: int, range: [0,2147483647], default: 1000]
0.89/0.99 c heuristics/pscostdiving/maxlpiterofs = c 1500
0.89/0.99 c # maximal fraction of diving LP iterations compared to node LP iterations
0.89/0.99 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.89/0.99 c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.89/0.99 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.89/0.99 c # [type: int, range: [-1,2147483647], default: 10]
0.89/0.99 c heuristics/pscostdiving/freq = c -1
0.89/0.99 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.89/0.99 c # [type: int, range: [-1,2147483647], default: 1]
0.89/0.99 c heuristics/oneopt/freq = c -1
0.89/0.99 c # additional number of allowed LP iterations
0.89/0.99 c # [type: int, range: [0,2147483647], default: 1000]
0.89/0.99 c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.89/0.99 c # maximal fraction of diving LP iterations compared to total iteration number
0.89/0.99 c # [type: real, range: [0,1], default: 0.01]
0.89/0.99 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.89/0.99 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.89/0.99 c # [type: int, range: [-1,2147483647], default: 20]
0.89/0.99 c heuristics/objpscostdiving/freq = c -1
0.89/0.99 c # additional number of allowed LP iterations
0.89/0.99 c # [type: int, range: [0,2147483647], default: 1000]
0.89/0.99 c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.89/0.99 c # maximal fraction of diving LP iterations compared to node LP iterations
0.89/0.99 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.89/0.99 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.89/0.99 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.89/0.99 c # [type: int, range: [-1,2147483647], default: 10]
0.89/0.99 c heuristics/linesearchdiving/freq = c -1
0.89/0.99 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.89/0.99 c # [type: int, range: [-1,2147483647], default: 10]
0.89/0.99 c heuristics/intshifting/freq = c -1
0.89/0.99 c # maximal fraction of diving LP iterations compared to node LP iterations
0.89/0.99 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.89/0.99 c heuristics/intdiving/maxlpiterquot = c 0.075
0.89/0.99 c # additional number of allowed LP iterations
0.89/0.99 c # [type: int, range: [0,2147483647], default: 1000]
0.89/0.99 c heuristics/guideddiving/maxlpiterofs = c 1500
0.89/0.99 c # maximal fraction of diving LP iterations compared to node LP iterations
0.89/0.99 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.89/0.99 c heuristics/guideddiving/maxlpiterquot = c 0.075
0.89/0.99 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.89/0.99 c # [type: int, range: [-1,2147483647], default: 10]
0.89/0.99 c heuristics/guideddiving/freq = c -1
0.89/0.99 c # additional number of allowed LP iterations
0.89/0.99 c # [type: int, range: [0,2147483647], default: 1000]
0.89/0.99 c heuristics/fracdiving/maxlpiterofs = c 1500
0.89/0.99 c # maximal fraction of diving LP iterations compared to node LP iterations
0.89/0.99 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.89/0.99 c heuristics/fracdiving/maxlpiterquot = c 0.075
0.89/0.99 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.89/0.99 c # [type: int, range: [-1,2147483647], default: 10]
0.89/0.99 c heuristics/fracdiving/freq = c -1
0.89/0.99 c # additional number of allowed LP iterations
0.89/0.99 c # [type: int, range: [0,2147483647], default: 1000]
0.89/0.99 c heuristics/feaspump/maxlpiterofs = c 2000
0.89/0.99 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.89/0.99 c # [type: int, range: [-1,2147483647], default: 20]
0.89/0.99 c heuristics/feaspump/freq = c -1
0.89/0.99 c # minimum percentage of integer variables that have to be fixed
0.89/0.99 c # [type: real, range: [0,1], default: 0.666]
0.89/0.99 c heuristics/crossover/minfixingrate = c 0.5
0.89/0.99 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.89/0.99 c # [type: real, range: [0,1], default: 0.1]
0.89/0.99 c heuristics/crossover/nodesquot = c 0.15
0.89/0.99 c # number of nodes without incumbent change that heuristic should wait
0.89/0.99 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.89/0.99 c heuristics/crossover/nwaitingnodes = c 100
0.89/0.99 c # number of nodes added to the contingent of the total nodes
0.89/0.99 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.89/0.99 c heuristics/crossover/nodesofs = c 750
0.89/0.99 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.89/0.99 c # [type: int, range: [-1,2147483647], default: 30]
0.89/0.99 c heuristics/crossover/freq = c -1
0.89/0.99 c # additional number of allowed LP iterations
0.89/0.99 c # [type: int, range: [0,2147483647], default: 1000]
0.89/0.99 c heuristics/coefdiving/maxlpiterofs = c 1500
0.89/0.99 c # maximal fraction of diving LP iterations compared to node LP iterations
0.89/0.99 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.89/0.99 c heuristics/coefdiving/maxlpiterquot = c 0.075
0.89/0.99 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.89/0.99 c # [type: int, range: [-1,2147483647], default: 10]
0.89/0.99 c heuristics/coefdiving/freq = c -1
0.89/0.99 c # priority of node selection rule <dfs> in standard mode
0.89/0.99 c # [type: int, range: [-536870912,536870911], default: 0]
0.89/0.99 c nodeselection/dfs/stdpriority = c 1000000
0.89/0.99 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.89/0.99 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.99 c presolving/probing/maxrounds = c 0
0.89/0.99 c # should presolving try to simplify knapsacks
0.89/0.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.99 c constraints/knapsack/simplifyinequalities = c TRUE
0.89/0.99 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.89/0.99 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.89/0.99 c constraints/knapsack/disaggregation = c FALSE
0.89/0.99 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.89/0.99 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.99 c constraints/knapsack/maxnumcardlift = c 0
0.89/0.99 c # should presolving try to simplify inequalities
0.89/0.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.99 c constraints/linear/simplifyinequalities = c TRUE
0.89/0.99 c # maximal number of separation rounds in the root node (-1: unlimited)
0.89/0.99 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.99 c separating/maxroundsroot = c 5
0.89/0.99 c # maximal number of separation rounds per node (-1: unlimited)
0.89/0.99 c # [type: int, range: [-1,2147483647], default: 5]
0.89/0.99 c separating/maxrounds = c 1
0.89/0.99 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.89/0.99 c # [type: char, range: {lafpsqd}, default: l]
0.89/0.99 c lp/pricing = c a
0.89/0.99 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.89/0.99 c # [type: int, range: [-1,2147483647], default: 1]
0.89/0.99 c lp/solvefreq = c 0
0.89/0.99 c # solving stops, if the given number of solutions were found (-1: no limit)
0.89/0.99 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.99 c limits/solutions = c 1
0.89/0.99 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.99 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.99 c limits/memory = c 1620
0.89/0.99 c # maximal time in seconds to run
0.89/0.99 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.99 c limits/time = c 1791
0.89/0.99 c # frequency for displaying node information lines
0.89/0.99 c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.99 c display/freq = c 10000
0.89/0.99 c # should enforcement of pseudo solution be disabled?
0.89/0.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.99 c constraints/disableenfops = c TRUE
0.89/0.99 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.89/0.99 c # [type: int, range: [-1,2147483647], default: 0]
0.89/0.99 c constraints/agelimit = c 1
0.89/0.99 c # should binary conflicts be preferred?
0.89/0.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.99 c conflict/preferbinary = c TRUE
0.89/0.99 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.89/0.99 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.99 c conflict/interconss = c 0
0.89/0.99 c -----------------------------------------------------------------------------------------------
0.89/0.99 c start solving problem
0.89/0.99 c
1.19/1.27 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.19/1.27 c 0.8s| 1 | 0 | 401 | 28M| 0 | 323 |2379 | 14k| 14k|2379 | 14k| 0 | 0 | 0 | 1.582847e+02 | -- | Inf
2.09/2.16 c 1.7s| 1 | 0 | 815 | 28M| 0 | 360 |2379 | 14k| 14k|2379 | 14k| 68 | 0 | 0 | 1.849570e+02 | -- | Inf
3.69/3.74 c 3.3s| 1 | 0 | 1445 | 30M| 0 | 367 |2379 | 14k| 14k|2379 | 14k| 114 | 0 | 0 | 1.977647e+02 | -- | Inf
7.89/7.91 c 7.4s| 1 | 0 | 2949 | 33M| 0 | 378 |2379 | 14k| 14k|2379 | 14k| 147 | 0 | 0 | 2.056304e+02 | -- | Inf
11.88/11.97 c 11.5s| 1 | 0 | 3695 | 36M| 0 | 407 |2379 | 14k| 14k|2379 | 14k| 183 | 0 | 0 | 2.118697e+02 | -- | Inf
16.68/16.72 c 16.2s| 1 | 0 | 4506 | 40M| 0 | 403 |2379 | 14k| 14k|2379 | 14k| 215 | 0 | 0 | 2.169058e+02 | -- | Inf
44.17/44.27 c 43.7s| 1 | 2 | 4506 | 40M| 0 | 403 |2379 | 14k| 14k|2379 | 14k| 215 | 0 | 25 | 2.169058e+02 | -- | Inf
59.27/59.40 c 58.6s| 10000 | 125 | 4506 | 41M| 633 | - |2379 | 15k|9218 | 0 | 0 | 215 |8305 | 25 | 2.174058e+02 | -- | Inf
73.36/73.43 c 72.4s| 20000 | 38 | 4506 | 41M| 633 | - |2379 | 14k|9931 | 0 | 0 | 215 | 16k| 25 | 2.174058e+02 | -- | Inf
87.86/87.96 c 86.7s| 30000 | 38 | 4506 | 41M| 633 | - |2379 | 14k|9627 | 0 | 0 | 215 | 23k| 25 | 2.174058e+02 | -- | Inf
104.25/104.40 c 103s| 40000 | 37 | 4506 | 41M| 633 | - |2379 | 15k|8916 | 0 | 0 | 215 | 31k| 25 | 2.174058e+02 | -- | Inf
120.74/120.88 c 119s| 50000 | 39 | 4506 | 41M| 633 | - |2379 | 16k|9030 | 0 | 0 | 215 | 40k| 25 | 2.174058e+02 | -- | Inf
136.94/137.07 c 135s| 60000 | 38 | 4506 | 41M| 633 | - |2379 | 14k|9292 | 0 | 0 | 215 | 47k| 25 | 2.174058e+02 | -- | Inf
153.63/153.71 c 152s| 70000 | 33 | 4506 | 41M| 633 | - |2379 | 14k|9164 | 0 | 0 | 215 | 55k| 25 | 2.174058e+02 | -- | Inf
169.82/169.95 c 168s| 80000 | 36 | 4506 | 41M| 633 | - |2379 | 14k|9308 | 0 | 0 | 215 | 63k| 25 | 2.174058e+02 | -- | Inf
185.83/185.95 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
185.83/185.95 c 183s| 90000 | 38 | 4506 | 41M| 633 | - |2379 | 14k|9223 | 0 | 0 | 215 | 71k| 25 | 2.174058e+02 | -- | Inf
200.42/200.50 c 198s|100000 | 34 | 4506 | 41M| 633 | - |2379 | 14k|9297 | 0 | 0 | 215 | 78k| 25 | 2.174058e+02 | -- | Inf
216.11/216.29 c 213s|110000 | 30 | 4506 | 41M| 633 | - |2379 | 14k|9740 | 0 | 0 | 215 | 86k| 25 | 2.174058e+02 | -- | Inf
231.31/231.45 c 228s|120000 | 30 | 4506 | 42M| 633 | - |2379 | 15k|8820 | 0 | 0 | 215 | 93k| 25 | 2.174058e+02 | -- | Inf
247.31/247.45 c 244s|130000 | 29 | 4506 | 41M| 633 | - |2379 | 14k|9362 | 0 | 0 | 215 | 101k| 25 | 2.174058e+02 | -- | Inf
263.40/263.54 c 260s|140000 | 25 | 4506 | 42M| 633 | - |2379 | 14k|9400 | 0 | 0 | 215 | 108k| 25 | 2.174058e+02 | -- | Inf
280.29/280.50 c 276s|150000 | 27 | 4506 | 42M| 633 | - |2379 | 15k|9098 | 0 | 0 | 215 | 116k| 25 | 2.174058e+02 | -- | Inf
296.58/296.71 c 292s|160000 | 29 | 4506 | 42M| 633 | - |2379 | 15k|8903 | 0 | 0 | 215 | 125k| 25 | 2.174058e+02 | -- | Inf
311.97/312.14 c 308s|170000 | 33 | 4506 | 42M| 633 | - |2379 | 15k|8996 | 0 | 0 | 215 | 133k| 25 | 2.174058e+02 | -- | Inf
328.36/328.51 c 324s|180000 | 29 | 4506 | 42M| 633 | - |2379 | 16k|9201 | 0 | 0 | 215 | 141k| 25 | 2.174058e+02 | -- | Inf
342.66/342.87 c 338s|190000 | 27 | 4506 | 42M| 633 | - |2379 | 16k|8851 | 0 | 0 | 215 | 148k| 25 | 2.174058e+02 | -- | Inf
357.76/357.94 c 353s|200000 | 563 | 4506 | 42M| 633 | - |2379 | 16k|7632 | 0 | 0 | 215 | 154k| 25 | 2.174058e+02 | -- | Inf
372.66/372.84 c 367s|210000 | 25 | 4506 | 42M| 689 | - |2379 | 16k|9180 | 0 | 0 | 215 | 160k| 25 | 2.174058e+02 | -- | Inf
387.14/387.38 c 382s|220000 | 34 | 4506 | 42M| 689 | - |2379 | 17k|9024 | 0 | 0 | 215 | 167k| 25 | 2.174058e+02 | -- | Inf
403.24/403.43 c 398s|230000 | 28 | 4506 | 43M| 689 | - |2379 | 18k|8880 | 0 | 0 | 215 | 175k| 25 | 2.174058e+02 | -- | Inf
418.14/418.38 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
418.14/418.38 c 412s|240000 | 25 | 4506 | 43M| 689 | - |2379 | 19k|9387 | 0 | 0 | 215 | 182k| 25 | 2.174058e+02 | -- | Inf
432.64/432.86 c 427s|250000 | 35 | 4506 | 43M| 822 | - |2379 | 19k|8815 | 0 | 0 | 215 | 188k| 25 | 2.174058e+02 | -- | Inf
448.03/448.27 c 442s|260000 | 32 | 4506 | 43M| 822 | - |2379 | 20k|8717 | 0 | 0 | 215 | 196k| 25 | 2.174058e+02 | -- | Inf
462.83/463.04 c 456s|270000 | 34 | 4506 | 43M| 822 | - |2379 | 17k|8609 | 0 | 0 | 215 | 202k| 25 | 2.174058e+02 | -- | Inf
477.52/477.74 c 471s|280000 | 35 | 4506 | 43M| 822 | - |2379 | 18k|8432 | 0 | 0 | 215 | 209k| 25 | 2.174058e+02 | -- | Inf
492.71/492.98 c 486s|290000 | 35 | 4506 | 43M| 822 | - |2379 | 18k|8725 | 0 | 0 | 215 | 216k| 25 | 2.174058e+02 | -- | Inf
506.21/506.41 c 499s|300000 | 40 | 4506 | 43M| 837 | - |2379 | 19k|8290 | 0 | 0 | 215 | 221k| 25 | 2.174058e+02 | -- | Inf
522.10/522.35 c 515s|310000 | 61 | 4506 | 43M| 837 | - |2379 | 18k|8327 | 0 | 0 | 215 | 229k| 25 | 2.174058e+02 | -- | Inf
535.50/535.78 c 528s|320000 | 22 | 4506 | 43M| 837 | - |2379 | 18k|9632 | 0 | 0 | 215 | 235k| 25 | 2.174058e+02 | -- | Inf
551.39/551.63 c 544s|330000 | 35 | 4506 | 43M| 837 | - |2379 | 18k|9160 | 0 | 0 | 215 | 243k| 25 | 2.174058e+02 | -- | Inf
567.79/568.04 c 560s|340000 | 38 | 4506 | 43M| 837 | - |2379 | 19k|8903 | 0 | 0 | 215 | 250k| 25 | 2.174058e+02 | -- | Inf
583.99/584.21 c 576s|350000 | 29 | 4506 | 43M| 837 | - |2379 | 19k|9013 | 0 | 0 | 215 | 259k| 25 | 2.174058e+02 | -- | Inf
599.28/599.57 c 591s|360000 | 34 | 4506 | 43M| 837 | - |2379 | 20k|9015 | 0 | 0 | 215 | 267k| 25 | 2.174058e+02 | -- | Inf
614.08/614.38 c 605s|370000 | 33 | 4506 | 43M| 837 | - |2379 | 20k|8726 | 0 | 0 | 215 | 274k| 25 | 2.174058e+02 | -- | Inf
629.97/630.25 c 621s|380000 | 26 | 4506 | 43M| 837 | - |2379 | 20k|8875 | 0 | 0 | 215 | 282k| 25 | 2.174058e+02 | -- | Inf
643.96/644.23 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
643.96/644.23 c 635s|390000 | 59 | 4506 | 43M| 949 | - |2379 | 21k|8078 | 0 | 0 | 215 | 288k| 25 | 2.174058e+02 | -- | Inf
656.87/657.17 c 648s|400000 | 30 | 4506 | 43M|1081 | - |2379 | 21k|8953 | 0 | 0 | 215 | 294k| 25 | 2.174058e+02 | -- | Inf
672.56/672.86 c 663s|410000 | 31 | 4506 | 44M|1081 | - |2379 | 21k|8884 | 0 | 0 | 215 | 301k| 25 | 2.174058e+02 | -- | Inf
688.75/689.03 c 679s|420000 | 29 | 4506 | 44M|1081 | - |2379 | 21k|8943 | 0 | 0 | 215 | 309k| 25 | 2.174058e+02 | -- | Inf
704.35/704.62 c 694s|430000 | 33 | 4506 | 44M|1081 | - |2379 | 21k|8951 | 0 | 0 | 215 | 316k| 25 | 2.174058e+02 | -- | Inf
720.34/720.67 c 710s|440000 | 38 | 4506 | 44M|1081 | - |2379 | 22k|8750 | 0 | 0 | 215 | 324k| 25 | 2.174058e+02 | -- | Inf
736.03/736.33 c 726s|450000 | 30 | 4506 | 44M|1081 | - |2379 | 22k|8478 | 0 | 0 | 215 | 331k| 25 | 2.174058e+02 | -- | Inf
751.43/751.79 c 741s|460000 | 30 | 4506 | 44M|1081 | - |2379 | 22k|8663 | 0 | 0 | 215 | 339k| 25 | 2.174058e+02 | -- | Inf
767.62/767.91 c 757s|470000 | 27 | 4506 | 44M|1081 | - |2379 | 23k|8888 | 0 | 0 | 215 | 346k| 25 | 2.174058e+02 | -- | Inf
784.03/784.35 c 773s|480000 | 29 | 4506 | 44M|1081 | - |2379 | 23k|9031 | 0 | 0 | 215 | 354k| 25 | 2.174058e+02 | -- | Inf
799.32/799.69 c 788s|490000 | 29 | 4506 | 44M|1081 | - |2379 | 23k|9169 | 0 | 0 | 215 | 361k| 25 | 2.174058e+02 | -- | Inf
815.71/816.03 c 804s|500000 | 38 | 4506 | 44M|1081 | - |2379 | 24k|8711 | 0 | 0 | 215 | 368k| 25 | 2.174058e+02 | -- | Inf
830.91/831.21 c 819s|510000 | 34 | 4506 | 44M|1081 | - |2379 | 24k|8804 | 0 | 0 | 215 | 376k| 25 | 2.174058e+02 | -- | Inf
846.80/847.16 c 835s|520000 | 26 | 4506 | 45M|1081 | - |2379 | 25k|8733 | 0 | 0 | 215 | 384k| 25 | 2.174058e+02 | -- | Inf
863.60/863.93 c 851s|530000 | 20 | 4506 | 45M|1081 | - |2379 | 25k|9008 | 0 | 0 | 215 | 391k| 25 | 2.174058e+02 | -- | Inf
879.39/879.77 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
879.39/879.77 c 867s|540000 | 27 | 4506 | 45M|1081 | - |2379 | 26k|8876 | 0 | 0 | 215 | 400k| 25 | 2.174058e+02 | -- | Inf
895.88/896.28 c 883s|550000 | 26 | 4506 | 45M|1081 | - |2379 | 28k|8679 | 0 | 0 | 215 | 409k| 25 | 2.174058e+02 | -- | Inf
911.28/911.63 c 898s|560000 | 32 | 4506 | 45M|1081 | - |2379 | 26k|8760 | 0 | 0 | 215 | 417k| 25 | 2.174058e+02 | -- | Inf
927.68/928.03 c 914s|570000 | 24 | 4506 | 45M|1081 | - |2379 | 27k|8811 | 0 | 0 | 215 | 424k| 25 | 2.174058e+02 | -- | Inf
943.57/943.92 c 930s|580000 | 30 | 4506 | 45M|1081 | - |2379 | 27k|9050 | 0 | 0 | 215 | 432k| 25 | 2.174058e+02 | -- | Inf
959.06/959.40 c 945s|590000 | 23 | 4506 | 45M|1081 | - |2379 | 27k|8779 | 0 | 0 | 215 | 439k| 25 | 2.174058e+02 | -- | Inf
973.86/974.26 c 960s|600000 | 23 | 4506 | 45M|1081 | - |2379 | 27k|8613 | 0 | 0 | 215 | 446k| 25 | 2.174058e+02 | -- | Inf
988.15/988.57 c 974s|610000 | 26 | 4506 | 45M|1081 | - |2379 | 28k|8937 | 0 | 0 | 215 | 454k| 25 | 2.174058e+02 | -- | Inf
1004.34/1004.76 c 990s|620000 | 35 | 4506 | 46M|1081 | - |2379 | 28k|8732 | 0 | 0 | 215 | 461k| 25 | 2.174058e+02 | -- | Inf
1020.35/1020.73 c 1006s|630000 | 29 | 4506 | 46M|1081 | - |2379 | 28k|8479 | 0 | 0 | 215 | 469k| 25 | 2.174058e+02 | -- | Inf
1036.44/1036.84 c 1022s|640000 | 26 | 4506 | 46M|1081 | - |2379 | 28k|8480 | 0 | 0 | 215 | 476k| 25 | 2.174058e+02 | -- | Inf
1052.53/1052.94 c 1037s|650000 | 29 | 4506 | 46M|1081 | - |2379 | 29k|8765 | 0 | 0 | 215 | 484k| 25 | 2.174058e+02 | -- | Inf
1069.32/1069.72 c 1054s|660000 | 30 | 4506 | 46M|1081 | - |2379 | 29k|8748 | 0 | 0 | 215 | 492k| 25 | 2.174058e+02 | -- | Inf
1085.33/1085.71 c 1070s|670000 | 29 | 4506 | 46M|1081 | - |2379 | 29k|8811 | 0 | 0 | 215 | 499k| 25 | 2.174058e+02 | -- | Inf
1101.02/1101.48 c 1085s|680000 | 36 | 4506 | 46M|1081 | - |2379 | 30k|8484 | 0 | 0 | 215 | 507k| 25 | 2.174058e+02 | -- | Inf
1116.62/1117.10 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1116.62/1117.10 c 1101s|690000 | 28 | 4506 | 46M|1081 | - |2379 | 31k|8741 | 0 | 0 | 215 | 515k| 25 | 2.174058e+02 | -- | Inf
1132.71/1133.17 c 1117s|700000 | 23 | 4506 | 46M|1081 | - |2379 | 31k|8413 | 0 | 0 | 215 | 523k| 25 | 2.174058e+02 | -- | Inf
1149.80/1150.24 c 1133s|710000 | 34 | 4506 | 46M|1081 | - |2379 | 31k|8598 | 0 | 0 | 215 | 531k| 25 | 2.174058e+02 | -- | Inf
1166.40/1166.85 c 1150s|720000 | 27 | 4506 | 46M|1081 | - |2379 | 31k|8604 | 0 | 0 | 215 | 538k| 25 | 2.174058e+02 | -- | Inf
1181.89/1182.36 c 1165s|730000 | 37 | 4506 | 46M|1081 | - |2379 | 31k|8903 | 0 | 0 | 215 | 545k| 25 | 2.174058e+02 | -- | Inf
1197.68/1198.11 c 1181s|740000 | 38 | 4506 | 46M|1081 | - |2379 | 32k|8690 | 0 | 0 | 215 | 553k| 25 | 2.174058e+02 | -- | Inf
1213.58/1214.04 c 1196s|750000 | 33 | 4506 | 46M|1081 | - |2379 | 32k|8570 | 0 | 0 | 215 | 561k| 25 | 2.174058e+02 | -- | Inf
1229.28/1229.78 c 1212s|760000 | 37 | 4506 | 47M|1081 | - |2379 | 33k|8705 | 0 | 0 | 215 | 568k| 25 | 2.174058e+02 | -- | Inf
1245.47/1245.91 c 1228s|770000 | 30 | 4506 | 47M|1081 | - |2379 | 33k|8480 | 0 | 0 | 215 | 576k| 25 | 2.174058e+02 | -- | Inf
1261.56/1262.10 c 1244s|780000 | 30 | 4506 | 47M|1081 | - |2379 | 34k|8722 | 0 | 0 | 215 | 583k| 25 | 2.174058e+02 | -- | Inf
1278.66/1279.12 c 1260s|790000 | 28 | 4506 | 47M|1081 | - |2379 | 34k|8693 | 0 | 0 | 215 | 591k| 25 | 2.174058e+02 | -- | Inf
1294.25/1294.70 c 1276s|800000 | 31 | 4506 | 47M|1081 | - |2379 | 34k|9101 | 0 | 0 | 215 | 598k| 25 | 2.174058e+02 | -- | Inf
1310.45/1310.90 c 1292s|810000 | 28 | 4506 | 47M|1081 | - |2379 | 35k|8514 | 0 | 0 | 215 | 605k| 25 | 2.174058e+02 | -- | Inf
1325.74/1326.24 c 1307s|820000 | 31 | 4506 | 43M|1081 | - |2379 | 15k|9024 | 0 | 0 | 215 | 613k| 25 | 2.174058e+02 | -- | Inf
1341.04/1341.56 c 1322s|830000 | 37 | 4506 | 43M|1081 | - |2379 | 15k|9170 | 0 | 0 | 215 | 621k| 25 | 2.174058e+02 | -- | Inf
1356.33/1356.84 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1356.33/1356.84 c 1337s|840000 | 36 | 4506 | 44M|1081 | - |2379 | 16k|8869 | 0 | 0 | 215 | 628k| 25 | 2.174058e+02 | -- | Inf
1370.43/1370.96 c 1351s|850000 | 34 | 4506 | 43M|1081 | - |2379 | 14k|8912 | 0 | 0 | 215 | 634k| 25 | 2.174058e+02 | -- | Inf
1386.42/1386.91 c 1367s|860000 | 25 | 4506 | 43M|1081 | - |2379 | 15k|9002 | 0 | 0 | 215 | 642k| 25 | 2.174058e+02 | -- | Inf
1402.12/1402.68 c 1382s|870000 | 35 | 4506 | 43M|1081 | - |2379 | 15k|8778 | 0 | 0 | 215 | 649k| 25 | 2.174058e+02 | -- | Inf
1418.52/1419.02 c 1398s|880000 | 29 | 4506 | 43M|1081 | - |2379 | 16k|8855 | 0 | 0 | 215 | 656k| 25 | 2.174058e+02 | -- | Inf
1431.51/1432.05 c 1411s|890000 | 31 | 4506 | 43M|1093 | - |2379 | 16k|8726 | 0 | 0 | 215 | 661k| 25 | 2.174058e+02 | -- | Inf
1445.00/1445.58 c 1425s|900000 | 32 | 4506 | 44M|1145 | - |2379 | 16k|9077 | 0 | 0 | 215 | 667k| 25 | 2.174058e+02 | -- | Inf
1460.70/1461.25 c 1440s|910000 | 33 | 4506 | 44M|1145 | - |2379 | 17k|8825 | 0 | 0 | 215 | 675k| 25 | 2.174058e+02 | -- | Inf
1478.09/1478.69 c 1457s|920000 | 36 | 4506 | 44M|1145 | - |2379 | 17k|8482 | 0 | 0 | 215 | 682k| 25 | 2.174058e+02 | -- | Inf
1495.39/1496.00 c 1474s|930000 | 27 | 4506 | 44M|1145 | - |2379 | 17k|8884 | 0 | 0 | 215 | 690k| 25 | 2.174058e+02 | -- | Inf
1511.59/1512.13 c 1490s|940000 | 86 | 4506 | 44M|1145 | - |2379 | 17k|8183 | 0 | 0 | 215 | 698k| 25 | 2.174058e+02 | -- | Inf
1523.78/1524.32 c 1502s|950000 | 32 | 4506 | 44M|1145 | - |2379 | 17k|8117 | 0 | 0 | 215 | 702k| 25 | 2.174058e+02 | -- | Inf
1538.28/1538.82 c 1516s|960000 | 33 | 4506 | 44M|1145 | - |2379 | 17k|8873 | 0 | 0 | 215 | 709k| 25 | 2.174058e+02 | -- | Inf
1554.87/1555.48 c 1533s|970000 | 35 | 4506 | 44M|1145 | - |2379 | 18k|8494 | 0 | 0 | 215 | 717k| 25 | 2.174058e+02 | -- | Inf
1569.47/1570.07 c 1547s|980000 | 30 | 4506 | 44M|1145 | - |2379 | 17k|8435 | 0 | 0 | 215 | 723k| 25 | 2.174058e+02 | -- | Inf
1583.56/1584.16 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1583.56/1584.16 c 1561s|990000 | 25 | 4506 | 44M|1145 | - |2379 | 17k|8541 | 0 | 0 | 215 | 730k| 25 | 2.174058e+02 | -- | Inf
1599.06/1599.61 c 1576s| 1000k| 32 | 4506 | 43M|1145 | - |2379 | 14k|9005 | 0 | 0 | 215 | 738k| 25 | 2.174058e+02 | -- | Inf
1616.36/1616.92 c 1593s| 1010k| 27 | 4506 | 43M|1145 | - |2379 | 14k|8904 | 0 | 0 | 215 | 745k| 25 | 2.174058e+02 | -- | Inf
1632.94/1633.51 c 1610s| 1020k| 24 | 4506 | 43M|1145 | - |2379 | 15k|8750 | 0 | 0 | 215 | 754k| 25 | 2.174058e+02 | -- | Inf
1648.93/1649.52 c 1625s| 1030k| 50 | 4506 | 43M|1145 | - |2379 | 15k|8696 | 0 | 0 | 215 | 762k| 25 | 2.174058e+02 | -- | Inf
1658.93/1659.54 c 1635s| 1040k| 34 | 4506 | 43M|1175 | - |2379 | 15k|8629 | 0 | 0 | 215 | 765k| 25 | 2.174058e+02 | -- | Inf
1675.13/1675.72 c 1651s| 1050k| 32 | 4506 | 43M|1175 | - |2379 | 14k|8891 | 0 | 0 | 215 | 772k| 25 | 2.174058e+02 | -- | Inf
1690.33/1690.94 c 1666s| 1060k| 29 | 4506 | 43M|1175 | - |2379 | 15k|9083 | 0 | 0 | 215 | 779k| 25 | 2.174058e+02 | -- | Inf
1707.12/1707.75 c 1683s| 1070k| 29 | 4506 | 43M|1175 | - |2379 | 15k|9018 | 0 | 0 | 215 | 786k| 25 | 2.174058e+02 | -- | Inf
1721.12/1721.72 c 1697s| 1080k| 26 | 4506 | 44M|1214 | - |2379 | 15k|8991 | 0 | 0 | 215 | 792k| 25 | 2.174058e+02 | -- | Inf
1734.51/1735.10 c 1710s| 1090k| 240 | 4506 | 44M|1214 | - |2379 | 16k|9435 | 0 | 0 | 215 | 797k| 25 | 2.174058e+02 | -- | Inf
1750.11/1750.73 c 1725s| 1100k| 22 | 4506 | 44M|1214 | - |2379 | 16k|8867 | 0 | 0 | 215 | 804k| 25 | 2.174058e+02 | -- | Inf
1765.20/1765.86 c 1740s| 1110k| 23 | 4506 | 44M|1214 | - |2379 | 16k|8727 | 0 | 0 | 215 | 811k| 25 | 2.174058e+02 | -- | Inf
1777.39/1778.01 c 1752s| 1120k| 25 | 4506 | 44M|1214 | - |2379 | 16k|8756 | 0 | 0 | 215 | 815k| 25 | 2.174058e+02 | -- | Inf
1794.29/1794.90 c 1769s| 1130k| 33 | 4506 | 44M|1214 | - |2379 | 17k|8840 | 0 | 0 | 215 | 823k| 25 | 2.174058e+02 | -- | Inf
1800.09/1800.71 c
1800.09/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.71 c Solving Time (sec) : 1774.48
1800.09/1800.71 c Solving Nodes : 1133453
1800.09/1800.71 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.09/1800.71 c Dual Bound : +2.17405814570358e+02
1800.09/1800.71 c Gap : infinite
1800.09/1800.71 c NODE 1133453
1800.09/1800.71 c DUAL BOUND 217.406
1800.09/1800.71 c PRIMAL BOUND 1e+20
1800.09/1800.71 c GAP 1e+20
1800.09/1800.71 s UNKNOWN
1800.09/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.71 c Solving Time : 1774.48
1800.09/1800.71 c Original Problem :
1800.09/1800.71 c Problem name : HOME/instance-1884068-1245254149.opb
1800.09/1800.71 c Variables : 2435 (2435 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.71 c Constraints : 16016 initial, 16016 maximal
1800.09/1800.71 c Presolved Problem :
1800.09/1800.71 c Problem name : t_HOME/instance-1884068-1245254149.opb
1800.09/1800.71 c Variables : 2379 (2379 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.71 c Constraints : 14276 initial, 35352 maximal
1800.09/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.71 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.09/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.71 c probing : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.71 c linear : 0.19 51 3 0 51 0 1703 0 0
1800.09/1800.71 c logicor : 0.23 0 0 0 0 0 37 0 0
1800.09/1800.71 c root node : - 1 - - 1 - - - -
1800.09/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.71 c integral : 0 0 0 1 0 0 0 0 0 2
1800.09/1800.71 c logicor : 14276+ 5 5675121 0 0 576631 16276577 0 0 0
1800.09/1800.71 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.71 c integral : 27.48 0.00 0.00 27.48 0.00
1800.09/1800.71 c logicor : 278.56 0.00 278.56 0.00 0.00
1800.09/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.71 c rootredcost : 2.36 0 0 0
1800.09/1800.71 c pseudoobj : 674.85 6744060 0 0
1800.09/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.71 c propagation : 48.78 576631 576631 576631 18.1 249411 15.1 -
1800.09/1800.71 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.09/1800.71 c applied globally : - - - 826042 17.2 - - -
1800.09/1800.71 c applied locally : - - - 0 0.0 - - -
1800.09/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.71 c cut pool : 0.00 4 - - 65 - (maximal pool size: 2384)
1800.09/1800.71 c redcost : 0.01 5 0 0 0 0
1800.09/1800.71 c impliedbounds : 0.00 5 0 0 0 0
1800.09/1800.71 c intobj : 0.00 0 0 0 0 0
1800.09/1800.71 c gomory : 4.29 5 0 0 2500 0
1800.09/1800.71 c strongcg : 1.81 5 0 0 2500 0
1800.09/1800.71 c cmir : 0.00 0 0 0 0 0
1800.09/1800.71 c flowcover : 0.00 0 0 0 0 0
1800.09/1800.71 c clique : 0.01 5 0 0 30 0
1800.09/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.71 c mcf : 0.04 1 0 0 0 0
1800.09/1800.71 c Pricers : Time Calls Vars
1800.09/1800.71 c problem variables: 0.00 0 0
1800.09/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.71 c relpscost : 27.48 1 0 0 0 0 2
1800.09/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.71 c inference : 512.33 807723 0 0 0 0 1615446
1800.09/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.71 c random : 0.00 0 0 0 0 0 0
1800.09/1800.71 c Primal Heuristics : Time Calls Found
1800.09/1800.71 c LP solutions : 0.00 - 0
1800.09/1800.71 c pseudo solutions : 0.00 - 0
1800.09/1800.71 c simplerounding : 0.00 0 0
1800.09/1800.71 c rounding : 0.00 0 0
1800.09/1800.71 c shifting : 0.00 0 0
1800.09/1800.71 c intshifting : 0.00 0 0
1800.09/1800.71 c oneopt : 0.00 0 0
1800.09/1800.71 c fixandinfer : 0.00 0 0
1800.09/1800.71 c feaspump : 0.00 0 0
1800.09/1800.71 c coefdiving : 0.00 0 0
1800.09/1800.71 c pscostdiving : 0.00 0 0
1800.09/1800.71 c fracdiving : 0.00 0 0
1800.09/1800.71 c veclendiving : 0.00 0 0
1800.09/1800.71 c intdiving : 0.00 0 0
1800.09/1800.71 c actconsdiving : 0.00 0 0
1800.09/1800.71 c objpscostdiving : 0.00 0 0
1800.09/1800.71 c rootsoldiving : 0.00 0 0
1800.09/1800.71 c linesearchdiving : 0.00 0 0
1800.09/1800.71 c guideddiving : 0.00 0 0
1800.09/1800.71 c octane : 0.00 0 0
1800.09/1800.71 c rens : 0.00 0 0
1800.09/1800.71 c rins : 0.00 0 0
1800.09/1800.71 c localbranching : 0.00 0 0
1800.09/1800.71 c mutation : 0.00 0 0
1800.09/1800.71 c crossover : 0.00 0 0
1800.09/1800.71 c dins : 0.00 0 0
1800.09/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.71 c primal LP : 0.04 0 0 0.00 0.00
1800.09/1800.71 c dual LP : 9.18 6 4506 751.00 490.85
1800.09/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.71 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.71 c strong branching : 27.48 25 8171 326.84 297.34
1800.09/1800.71 c (at root node) : - 25 8171 326.84 -
1800.09/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.71 c B&B Tree :
1800.09/1800.71 c number of runs : 1
1800.09/1800.71 c nodes : 1133453
1800.09/1800.71 c nodes (total) : 1133453
1800.09/1800.71 c nodes left : 30
1800.09/1800.71 c max depth : 1214
1800.09/1800.71 c max depth (total): 1214
1800.09/1800.71 c backtracks : 271673 (24.0%)
1800.09/1800.71 c delayed cutoffs : 481966
1800.09/1800.71 c repropagations : 1334119 (7009519 domain reductions, 250902 cutoffs)
1800.09/1800.71 c avg switch length: 3.40
1800.09/1800.71 c switching time : 168.92
1800.09/1800.71 c Solution :
1800.09/1800.71 c Solutions found : 0 (0 improvements)
1800.09/1800.71 c Primal Bound : -
1800.09/1800.71 c Dual Bound : +2.17405814570358e+02
1800.09/1800.71 c Gap : infinite
1800.09/1800.71 c Root Dual Bound : +2.16905814570355e+02
1800.19/1800.84 c Time complete: 1800.23.