0.29/0.37 c SCIP version 1.1.0.7
0.29/0.37 c LP-Solver Clp 1.8.2
0.29/0.37 c user parameter file <scip.set> not found - using default parameters
0.29/0.37 c read problem <HOME/instance-1884088-1245254150.opb>
0.29/0.37 c original problem has 2737 variables (2737 bin, 0 int, 0 impl, 0 cont) and 18375 constraints
0.49/0.50 c No objective function, only one solution is needed.
0.49/0.50 c start presolving problem
0.49/0.50 c presolving:
0.59/0.62 c (round 1) 53 del vars, 431 del conss, 38 chg bounds, 0 chg sides, 3 chg coeffs, 0 upgd conss, 1494 impls, 0 clqs
0.59/0.64 c (round 2) 57 del vars, 563 del conss, 42 chg bounds, 0 chg sides, 14 chg coeffs, 0 upgd conss, 2352 impls, 0 clqs
0.79/0.85 c (round 3) 57 del vars, 2114 del conss, 42 chg bounds, 0 chg sides, 14 chg coeffs, 16261 upgd conss, 2352 impls, 0 clqs
0.99/1.04 c (round 4) 57 del vars, 2144 del conss, 42 chg bounds, 0 chg sides, 14 chg coeffs, 16261 upgd conss, 2352 impls, 0 clqs
0.99/1.08 c presolving (5 rounds):
0.99/1.08 c 57 deleted vars, 2144 deleted constraints, 42 tightened bounds, 0 added holes, 0 changed sides, 14 changed coefficients
0.99/1.08 c 2352 implications, 0 cliques
0.99/1.08 c presolved problem has 2680 variables (2680 bin, 0 int, 0 impl, 0 cont) and 16231 constraints
0.99/1.08 c 16231 constraints of type <logicor>
0.99/1.08 c transformed objective value is always integral (scale: 1)
0.99/1.08 c Presolving Time: 0.53
0.99/1.08 c PURESAT
0.99/1.08 c -----------------------------------------------------------------------------------------------
0.99/1.08 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.99/1.08 c # [type: int, range: [-1,2147483647], default: 0]
0.99/1.08 c separating/flowcover/freq = c -1
0.99/1.08 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.99/1.08 c # [type: int, range: [-1,2147483647], default: 0]
0.99/1.08 c separating/cmir/freq = c -1
0.99/1.08 c # additional number of allowed LP iterations
0.99/1.08 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.08 c heuristics/veclendiving/maxlpiterofs = c 1500
0.99/1.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.08 c heuristics/veclendiving/maxlpiterquot = c 0.075
0.99/1.08 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.99/1.08 c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.08 c heuristics/veclendiving/freq = c -1
0.99/1.08 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.99/1.08 c # [type: int, range: [-1,2147483647], default: 1]
0.99/1.08 c heuristics/simplerounding/freq = c -1
0.99/1.08 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.99/1.08 c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.08 c heuristics/shifting/freq = c -1
0.99/1.08 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.99/1.08 c # [type: int, range: [-1,2147483647], default: 1]
0.99/1.08 c heuristics/rounding/freq = c -1
0.99/1.08 c # additional number of allowed LP iterations
0.99/1.08 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.08 c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.99/1.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.99/1.08 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.99/1.08 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.99/1.08 c # [type: int, range: [-1,2147483647], default: 20]
0.99/1.08 c heuristics/rootsoldiving/freq = c -1
0.99/1.08 c # number of nodes added to the contingent of the total nodes
0.99/1.08 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.99/1.08 c heuristics/rens/nodesofs = c 2000
0.99/1.08 c # minimum percentage of integer variables that have to be fixable
0.99/1.08 c # [type: real, range: [0,1], default: 0.5]
0.99/1.08 c heuristics/rens/minfixingrate = c 0.3
0.99/1.08 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.99/1.08 c # [type: int, range: [-1,2147483647], default: 0]
0.99/1.08 c heuristics/rens/freq = c -1
0.99/1.08 c # additional number of allowed LP iterations
0.99/1.08 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.08 c heuristics/pscostdiving/maxlpiterofs = c 1500
0.99/1.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.08 c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.99/1.08 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.99/1.08 c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.08 c heuristics/pscostdiving/freq = c -1
0.99/1.08 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.99/1.08 c # [type: int, range: [-1,2147483647], default: 1]
0.99/1.08 c heuristics/oneopt/freq = c -1
0.99/1.08 c # additional number of allowed LP iterations
0.99/1.08 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.08 c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.99/1.08 c # maximal fraction of diving LP iterations compared to total iteration number
0.99/1.08 c # [type: real, range: [0,1], default: 0.01]
0.99/1.08 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.99/1.08 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.99/1.08 c # [type: int, range: [-1,2147483647], default: 20]
0.99/1.08 c heuristics/objpscostdiving/freq = c -1
0.99/1.08 c # additional number of allowed LP iterations
0.99/1.08 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.08 c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.99/1.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.08 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.99/1.08 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.99/1.08 c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.08 c heuristics/linesearchdiving/freq = c -1
0.99/1.08 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.99/1.08 c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.08 c heuristics/intshifting/freq = c -1
0.99/1.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.08 c heuristics/intdiving/maxlpiterquot = c 0.075
0.99/1.08 c # additional number of allowed LP iterations
0.99/1.08 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.08 c heuristics/guideddiving/maxlpiterofs = c 1500
0.99/1.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.08 c heuristics/guideddiving/maxlpiterquot = c 0.075
0.99/1.08 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.99/1.08 c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.08 c heuristics/guideddiving/freq = c -1
0.99/1.08 c # additional number of allowed LP iterations
0.99/1.08 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.08 c heuristics/fracdiving/maxlpiterofs = c 1500
0.99/1.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.08 c heuristics/fracdiving/maxlpiterquot = c 0.075
0.99/1.08 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.99/1.08 c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.08 c heuristics/fracdiving/freq = c -1
0.99/1.08 c # additional number of allowed LP iterations
0.99/1.08 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.08 c heuristics/feaspump/maxlpiterofs = c 2000
0.99/1.08 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.99/1.08 c # [type: int, range: [-1,2147483647], default: 20]
0.99/1.08 c heuristics/feaspump/freq = c -1
0.99/1.08 c # minimum percentage of integer variables that have to be fixed
0.99/1.08 c # [type: real, range: [0,1], default: 0.666]
0.99/1.08 c heuristics/crossover/minfixingrate = c 0.5
0.99/1.08 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.99/1.08 c # [type: real, range: [0,1], default: 0.1]
0.99/1.08 c heuristics/crossover/nodesquot = c 0.15
0.99/1.08 c # number of nodes without incumbent change that heuristic should wait
0.99/1.08 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.99/1.08 c heuristics/crossover/nwaitingnodes = c 100
0.99/1.08 c # number of nodes added to the contingent of the total nodes
0.99/1.08 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.99/1.08 c heuristics/crossover/nodesofs = c 750
0.99/1.08 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.99/1.08 c # [type: int, range: [-1,2147483647], default: 30]
0.99/1.08 c heuristics/crossover/freq = c -1
0.99/1.08 c # additional number of allowed LP iterations
0.99/1.08 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.08 c heuristics/coefdiving/maxlpiterofs = c 1500
0.99/1.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.08 c heuristics/coefdiving/maxlpiterquot = c 0.075
0.99/1.08 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.99/1.08 c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.08 c heuristics/coefdiving/freq = c -1
0.99/1.08 c # priority of node selection rule <dfs> in standard mode
0.99/1.08 c # [type: int, range: [-536870912,536870911], default: 0]
0.99/1.08 c nodeselection/dfs/stdpriority = c 1000000
0.99/1.08 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.99/1.08 c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.08 c presolving/probing/maxrounds = c 0
0.99/1.08 c # should presolving try to simplify knapsacks
0.99/1.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.08 c constraints/knapsack/simplifyinequalities = c TRUE
0.99/1.08 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.99/1.08 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.99/1.08 c constraints/knapsack/disaggregation = c FALSE
0.99/1.08 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.99/1.08 c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.08 c constraints/knapsack/maxnumcardlift = c 0
0.99/1.08 c # should presolving try to simplify inequalities
0.99/1.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.08 c constraints/linear/simplifyinequalities = c TRUE
0.99/1.08 c # maximal number of separation rounds in the root node (-1: unlimited)
0.99/1.08 c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.08 c separating/maxroundsroot = c 5
0.99/1.08 c # maximal number of separation rounds per node (-1: unlimited)
0.99/1.08 c # [type: int, range: [-1,2147483647], default: 5]
0.99/1.08 c separating/maxrounds = c 1
0.99/1.08 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.99/1.08 c # [type: char, range: {lafpsqd}, default: l]
0.99/1.08 c lp/pricing = c a
0.99/1.08 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.99/1.08 c # [type: int, range: [-1,2147483647], default: 1]
0.99/1.08 c lp/solvefreq = c 0
0.99/1.08 c # solving stops, if the given number of solutions were found (-1: no limit)
0.99/1.08 c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.08 c limits/solutions = c 1
0.99/1.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.99/1.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.08 c limits/memory = c 1620
0.99/1.08 c # maximal time in seconds to run
0.99/1.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.08 c limits/time = c 1791
0.99/1.08 c # frequency for displaying node information lines
0.99/1.08 c # [type: int, range: [-1,2147483647], default: 100]
0.99/1.08 c display/freq = c 10000
0.99/1.08 c # should enforcement of pseudo solution be disabled?
0.99/1.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.08 c constraints/disableenfops = c TRUE
0.99/1.08 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.99/1.08 c # [type: int, range: [-1,2147483647], default: 0]
0.99/1.08 c constraints/agelimit = c 1
0.99/1.08 c # should binary conflicts be preferred?
0.99/1.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.08 c conflict/preferbinary = c TRUE
0.99/1.08 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.99/1.08 c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.08 c conflict/interconss = c 0
0.99/1.08 c -----------------------------------------------------------------------------------------------
0.99/1.08 c start solving problem
0.99/1.08 c
1.39/1.41 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.39/1.41 c 0.9s| 1 | 0 | 471 | 31M| 0 | 334 |2680 | 16k| 16k|2680 | 16k| 0 | 0 | 0 | 1.804375e+02 | -- | Inf
2.78/2.87 c 2.4s| 1 | 0 | 1098 | 32M| 0 | 364 |2680 | 16k| 16k|2680 | 16k| 73 | 0 | 0 | 2.099345e+02 | -- | Inf
9.37/9.44 c 8.9s| 1 | 0 | 3255 | 33M| 0 | 410 |2680 | 16k| 16k|2680 | 16k| 133 | 0 | 0 | 2.232533e+02 | -- | Inf
14.07/14.18 c 13.7s| 1 | 0 | 4703 | 36M| 0 | 418 |2680 | 16k| 16k|2680 | 16k| 171 | 0 | 0 | 2.316329e+02 | -- | Inf
23.77/23.88 c 23.3s| 1 | 0 | 5610 | 41M| 0 | 440 |2680 | 16k| 16k|2680 | 16k| 205 | 0 | 0 | 2.378183e+02 | -- | Inf
36.54/36.68 c 36.1s| 1 | 0 | 6468 | 46M| 0 | 445 |2680 | 16k| 16k|2680 | 16k| 230 | 0 | 0 | 2.409760e+02 | -- | Inf
61.23/61.39 c 60.7s| 1 | 2 | 6468 | 46M| 0 | 445 |2680 | 16k| 16k|2680 | 16k| 230 | 0 | 18 | 2.409760e+02 | -- | Inf
77.33/77.44 c 76.6s| 10000 | 44 | 6468 | 48M| 999 | - |2680 | 16k|9827 | 0 | 0 | 230 |5748 | 18 | 2.415093e+02 | -- | Inf
94.62/94.72 c 93.6s| 20000 | 46 | 6468 | 48M| 999 | - |2680 | 17k|9731 | 0 | 0 | 230 | 14k| 18 | 2.415093e+02 | -- | Inf
108.91/109.06 c 108s| 30000 | 34 | 6468 | 48M| 999 | - |2680 | 17k|9677 | 0 | 0 | 230 | 21k| 18 | 2.415093e+02 | -- | Inf
124.71/124.81 c 123s| 40000 | 52 | 6468 | 49M| 999 | - |2680 | 19k|8993 | 0 | 0 | 230 | 31k| 18 | 2.415093e+02 | -- | Inf
140.09/140.27 c 139s| 50000 | 111 | 6468 | 49M| 999 | - |2680 | 18k|8524 | 0 | 0 | 230 | 40k| 18 | 2.415093e+02 | -- | Inf
153.69/153.88 c 152s| 60000 | 41 | 6468 | 49M|1045 | - |2680 | 18k|9317 | 0 | 0 | 230 | 47k| 18 | 2.415093e+02 | -- | Inf
170.57/170.78 c 169s| 70000 | 36 | 6468 | 50M|1045 | - |2680 | 22k|9729 | 0 | 0 | 230 | 58k| 18 | 2.415093e+02 | -- | Inf
183.97/184.19 c 182s| 80000 | 343 | 6468 | 50M|1099 | - |2680 | 23k|7587 | 0 | 0 | 230 | 64k| 18 | 2.415093e+02 | -- | Inf
196.96/197.11 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
196.96/197.11 c 195s| 90000 | 762 | 6468 | 51M|1099 | - |2680 | 24k|7541 | 0 | 0 | 230 | 69k| 18 | 2.415093e+02 | -- | Inf
214.06/214.28 c 212s|100000 | 47 | 6468 | 50M|1099 | - |2680 | 23k|9238 | 0 | 0 | 230 | 75k| 18 | 2.415093e+02 | -- | Inf
231.75/231.93 c 229s|110000 | 35 | 6468 | 49M|1099 | - |2680 | 16k|9690 | 0 | 0 | 230 | 82k| 18 | 2.415093e+02 | -- | Inf
246.54/246.76 c 244s|120000 | 37 | 6468 | 49M|1222 | - |2680 | 16k|9436 | 0 | 0 | 230 | 87k| 18 | 2.415093e+02 | -- | Inf
262.44/262.65 c 259s|130000 | 37 | 6468 | 49M|1222 | - |2680 | 17k|9726 | 0 | 0 | 230 | 93k| 18 | 2.415093e+02 | -- | Inf
279.43/279.62 c 276s|140000 | 39 | 6468 | 49M|1222 | - |2680 | 17k|9357 | 0 | 0 | 230 | 99k| 18 | 2.415093e+02 | -- | Inf
291.03/291.25 c 288s|150000 | 41 | 6468 | 49M|1258 | - |2680 | 17k|9733 | 0 | 0 | 230 | 103k| 18 | 2.415093e+02 | -- | Inf
309.62/309.85 c 306s|160000 | 99 | 6468 | 49M|1258 | - |2680 | 17k|9068 | 0 | 0 | 230 | 110k| 18 | 2.415093e+02 | -- | Inf
322.31/322.50 c 319s|170000 | 35 | 6468 | 49M|1448 | - |2680 | 17k|9401 | 0 | 0 | 230 | 113k| 18 | 2.415093e+02 | -- | Inf
340.91/341.19 c 337s|180000 | 33 | 6468 | 49M|1448 | - |2680 | 16k|9968 | 0 | 0 | 230 | 119k| 18 | 2.415093e+02 | -- | Inf
359.69/359.90 c 356s|190000 | 102 | 6468 | 49M|1448 | - |2680 | 16k|9147 | 0 | 0 | 230 | 126k| 18 | 2.415093e+02 | -- | Inf
374.89/375.17 c 371s|200000 | 32 | 6468 | 49M|1448 | - |2680 | 16k|9298 | 0 | 0 | 230 | 131k| 18 | 2.415093e+02 | -- | Inf
386.39/386.68 c 382s|210000 | 32 | 6468 | 49M|1542 | - |2680 | 17k|9340 | 0 | 0 | 230 | 134k| 18 | 2.415093e+02 | -- | Inf
405.28/405.56 c 401s|220000 | 33 | 6468 | 49M|1542 | - |2680 | 17k|9423 | 0 | 0 | 230 | 142k| 18 | 2.415093e+02 | -- | Inf
420.87/421.10 c 416s|230000 | 44 | 6468 | 49M|1542 | - |2680 | 16k| 10k| 0 | 0 | 230 | 148k| 18 | 2.415093e+02 | -- | Inf
439.26/439.55 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
439.26/439.55 c 434s|240000 | 50 | 6468 | 49M|1542 | - |2680 | 17k| 10k| 0 | 0 | 230 | 156k| 18 | 2.415093e+02 | -- | Inf
457.45/457.78 c 452s|250000 | 42 | 6468 | 49M|1542 | - |2680 | 16k| 10k| 0 | 0 | 230 | 163k| 18 | 2.415093e+02 | -- | Inf
476.75/477.03 c 471s|260000 | 38 | 6468 | 49M|1542 | - |2680 | 16k|9711 | 0 | 0 | 230 | 171k| 18 | 2.415093e+02 | -- | Inf
495.44/495.80 c 490s|270000 | 41 | 6468 | 49M|1542 | - |2680 | 16k| 10k| 0 | 0 | 230 | 179k| 18 | 2.415093e+02 | -- | Inf
513.13/513.43 c 507s|280000 | 40 | 6468 | 49M|1542 | - |2680 | 16k|9772 | 0 | 0 | 230 | 186k| 18 | 2.415093e+02 | -- | Inf
529.72/530.03 c 524s|290000 | 37 | 6468 | 49M|1542 | - |2680 | 17k|9991 | 0 | 0 | 230 | 193k| 18 | 2.415093e+02 | -- | Inf
548.71/549.09 c 542s|300000 | 32 | 6468 | 49M|1542 | - |2680 | 16k| 10k| 0 | 0 | 230 | 201k| 18 | 2.415093e+02 | -- | Inf
566.81/567.19 c 560s|310000 | 45 | 6468 | 49M|1542 | - |2680 | 17k|9760 | 0 | 0 | 230 | 209k| 18 | 2.415093e+02 | -- | Inf
584.39/584.78 c 578s|320000 | 59 | 6468 | 49M|1542 | - |2680 | 17k|9842 | 0 | 0 | 230 | 216k| 18 | 2.415093e+02 | -- | Inf
598.09/598.44 c 591s|330000 | 44 | 6468 | 49M|1542 | - |2680 | 18k|9177 | 0 | 0 | 230 | 221k| 18 | 2.415093e+02 | -- | Inf
615.29/615.69 c 608s|340000 | 60 | 6468 | 50M|1542 | - |2680 | 18k|8912 | 0 | 0 | 230 | 228k| 18 | 2.415093e+02 | -- | Inf
632.57/632.98 c 625s|350000 | 44 | 6468 | 50M|1542 | - |2680 | 18k|9459 | 0 | 0 | 230 | 235k| 18 | 2.415093e+02 | -- | Inf
650.17/650.51 c 643s|360000 | 52 | 6468 | 50M|1542 | - |2680 | 18k|9116 | 0 | 0 | 230 | 242k| 18 | 2.415093e+02 | -- | Inf
667.06/667.47 c 659s|370000 | 48 | 6468 | 50M|1542 | - |2680 | 19k|9926 | 0 | 0 | 230 | 248k| 18 | 2.415093e+02 | -- | Inf
684.86/685.20 c 677s|380000 | 48 | 6468 | 50M|1542 | - |2680 | 20k|9075 | 0 | 0 | 230 | 256k| 18 | 2.415093e+02 | -- | Inf
702.85/703.28 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
702.85/703.28 c 695s|390000 | 42 | 6468 | 50M|1542 | - |2680 | 20k|9587 | 0 | 0 | 230 | 264k| 18 | 2.415093e+02 | -- | Inf
716.24/716.70 c 708s|400000 | 1027 | 6468 | 51M|1542 | - |2680 | 21k|7033 | 0 | 0 | 230 | 269k| 18 | 2.415093e+02 | -- | Inf
733.44/733.81 c 725s|410000 | 42 | 6468 | 51M|1542 | - |2680 | 21k|8979 | 0 | 0 | 230 | 275k| 18 | 2.415093e+02 | -- | Inf
752.13/752.59 c 743s|420000 | 34 | 6468 | 51M|1542 | - |2680 | 21k|8927 | 0 | 0 | 230 | 283k| 18 | 2.415093e+02 | -- | Inf
769.82/770.25 c 761s|430000 | 37 | 6468 | 51M|1542 | - |2680 | 21k|8894 | 0 | 0 | 230 | 291k| 18 | 2.415093e+02 | -- | Inf
784.92/785.32 c 776s|440000 | 488 | 6468 | 51M|1542 | - |2680 | 21k|7989 | 0 | 0 | 230 | 296k| 18 | 2.415093e+02 | -- | Inf
793.01/793.44 c 784s|450000 | 43 | 6468 | 51M|1603 | - |2680 | 22k|8855 | 0 | 0 | 230 | 299k| 18 | 2.415093e+02 | -- | Inf
811.31/811.72 c 802s|460000 | 38 | 6468 | 51M|1603 | - |2680 | 22k|9326 | 0 | 0 | 230 | 306k| 18 | 2.415093e+02 | -- | Inf
826.70/827.20 c 817s|470000 | 39 | 6468 | 51M|1603 | - |2680 | 22k|8912 | 0 | 0 | 230 | 311k| 18 | 2.415093e+02 | -- | Inf
839.50/839.97 c 830s|480000 | 48 | 6468 | 51M|1732 | - |2680 | 23k|8849 | 0 | 0 | 230 | 315k| 18 | 2.415093e+02 | -- | Inf
858.69/859.12 c 849s|490000 | 41 | 6468 | 52M|1732 | - |2680 | 23k|8683 | 0 | 0 | 230 | 323k| 18 | 2.415093e+02 | -- | Inf
876.78/877.29 c 867s|500000 | 49 | 6468 | 52M|1732 | - |2680 | 24k|8785 | 0 | 0 | 230 | 332k| 18 | 2.415093e+02 | -- | Inf
895.77/896.25 c 885s|510000 | 44 | 6468 | 52M|1732 | - |2680 | 24k|9069 | 0 | 0 | 230 | 339k| 18 | 2.415093e+02 | -- | Inf
913.57/914.03 c 903s|520000 | 42 | 6468 | 49M|1732 | - |2680 | 16k| 10k| 0 | 0 | 230 | 347k| 18 | 2.415093e+02 | -- | Inf
931.65/932.10 c 921s|530000 | 37 | 6468 | 50M|1732 | - |2680 | 17k| 10k| 0 | 0 | 230 | 355k| 18 | 2.415093e+02 | -- | Inf
949.25/949.70 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
949.25/949.70 c 938s|540000 | 48 | 6468 | 50M|1732 | - |2680 | 17k|9209 | 0 | 0 | 230 | 362k| 18 | 2.415093e+02 | -- | Inf
968.04/968.59 c 957s|550000 | 57 | 6468 | 50M|1732 | - |2680 | 18k|9477 | 0 | 0 | 230 | 370k| 18 | 2.415093e+02 | -- | Inf
987.43/987.99 c 976s|560000 | 45 | 6468 | 50M|1732 | - |2680 | 18k|9533 | 0 | 0 | 230 | 378k| 18 | 2.415093e+02 | -- | Inf
1005.22/1005.73 c 994s|570000 | 50 | 6468 | 50M|1732 | - |2680 | 18k|9538 | 0 | 0 | 230 | 385k| 18 | 2.415093e+02 | -- | Inf
1023.63/1024.11 c 1012s|580000 | 45 | 6468 | 50M|1732 | - |2680 | 19k|9874 | 0 | 0 | 230 | 393k| 18 | 2.415093e+02 | -- | Inf
1040.61/1041.15 c 1029s|590000 | 41 | 6468 | 51M|1732 | - |2680 | 19k|9698 | 0 | 0 | 230 | 400k| 18 | 2.415093e+02 | -- | Inf
1058.71/1059.29 c 1046s|600000 | 44 | 6468 | 51M|1732 | - |2680 | 20k|9364 | 0 | 0 | 230 | 408k| 18 | 2.415093e+02 | -- | Inf
1077.59/1078.12 c 1065s|610000 | 51 | 6468 | 51M|1732 | - |2680 | 20k|9982 | 0 | 0 | 230 | 415k| 18 | 2.415093e+02 | -- | Inf
1096.38/1096.91 c 1084s|620000 | 52 | 6468 | 51M|1732 | - |2680 | 21k| 10k| 0 | 0 | 230 | 423k| 18 | 2.415093e+02 | -- | Inf
1113.88/1114.47 c 1101s|630000 | 43 | 6468 | 51M|1732 | - |2680 | 21k|9497 | 0 | 0 | 230 | 430k| 18 | 2.415093e+02 | -- | Inf
1134.37/1134.96 c 1121s|640000 | 38 | 6468 | 51M|1732 | - |2680 | 22k|9513 | 0 | 0 | 230 | 437k| 18 | 2.415093e+02 | -- | Inf
1154.07/1154.67 c 1141s|650000 | 47 | 6468 | 51M|1732 | - |2680 | 22k|9488 | 0 | 0 | 230 | 446k| 18 | 2.415093e+02 | -- | Inf
1173.85/1174.43 c 1160s|660000 | 49 | 6468 | 52M|1732 | - |2680 | 22k|9119 | 0 | 0 | 230 | 453k| 18 | 2.415093e+02 | -- | Inf
1191.64/1192.24 c 1178s|670000 | 40 | 6468 | 52M|1732 | - |2680 | 23k|9343 | 0 | 0 | 230 | 461k| 18 | 2.415093e+02 | -- | Inf
1210.13/1210.72 c 1196s|680000 | 38 | 6468 | 52M|1732 | - |2680 | 23k|9682 | 0 | 0 | 230 | 468k| 18 | 2.415093e+02 | -- | Inf
1228.53/1229.15 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1228.53/1229.15 c 1214s|690000 | 41 | 6468 | 52M|1732 | - |2680 | 24k|9871 | 0 | 0 | 230 | 475k| 18 | 2.415093e+02 | -- | Inf
1248.03/1248.67 c 1234s|700000 | 66 | 6468 | 52M|1732 | - |2680 | 24k|9286 | 0 | 0 | 230 | 483k| 18 | 2.415093e+02 | -- | Inf
1265.52/1266.17 c 1251s|710000 | 42 | 6468 | 52M|1732 | - |2680 | 25k|9137 | 0 | 0 | 230 | 490k| 18 | 2.415093e+02 | -- | Inf
1283.81/1284.46 c 1269s|720000 | 31 | 6468 | 53M|1732 | - |2680 | 25k|9263 | 0 | 0 | 230 | 498k| 18 | 2.415093e+02 | -- | Inf
1302.00/1302.61 c 1287s|730000 | 35 | 6468 | 53M|1732 | - |2680 | 25k| 10k| 0 | 0 | 230 | 505k| 18 | 2.415093e+02 | -- | Inf
1319.49/1320.19 c 1304s|740000 | 47 | 6468 | 53M|1732 | - |2680 | 26k|9204 | 0 | 0 | 230 | 512k| 18 | 2.415093e+02 | -- | Inf
1338.18/1338.89 c 1323s|750000 | 45 | 6468 | 53M|1732 | - |2680 | 26k|9656 | 0 | 0 | 230 | 520k| 18 | 2.415093e+02 | -- | Inf
1356.38/1357.07 c 1341s|760000 | 42 | 6468 | 53M|1732 | - |2680 | 27k|9490 | 0 | 0 | 230 | 527k| 18 | 2.415093e+02 | -- | Inf
1374.48/1375.19 c 1358s|770000 | 42 | 6468 | 53M|1732 | - |2680 | 27k|9300 | 0 | 0 | 230 | 535k| 18 | 2.415093e+02 | -- | Inf
1393.06/1393.79 c 1377s|780000 | 72 | 6468 | 53M|1732 | - |2680 | 27k|8990 | 0 | 0 | 230 | 541k| 18 | 2.415093e+02 | -- | Inf
1412.06/1412.73 c 1396s|790000 | 40 | 6468 | 53M|1732 | - |2680 | 28k|9981 | 0 | 0 | 230 | 548k| 18 | 2.415093e+02 | -- | Inf
1429.36/1430.03 c 1413s|800000 | 51 | 6468 | 53M|1732 | - |2680 | 28k|9418 | 0 | 0 | 230 | 554k| 18 | 2.415093e+02 | -- | Inf
1447.95/1448.63 c 1431s|810000 | 40 | 6468 | 53M|1732 | - |2680 | 28k|9693 | 0 | 0 | 230 | 561k| 18 | 2.415093e+02 | -- | Inf
1466.14/1466.88 c 1449s|820000 | 38 | 6468 | 53M|1732 | - |2680 | 28k| 10k| 0 | 0 | 230 | 568k| 18 | 2.415093e+02 | -- | Inf
1485.23/1485.93 c 1468s|830000 | 33 | 6468 | 54M|1732 | - |2680 | 29k|9808 | 0 | 0 | 230 | 576k| 18 | 2.415093e+02 | -- | Inf
1502.23/1502.92 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1502.23/1502.92 c 1485s|840000 | 50 | 6468 | 54M|1732 | - |2680 | 29k|9101 | 0 | 0 | 230 | 583k| 18 | 2.415093e+02 | -- | Inf
1521.51/1522.20 c 1504s|850000 | 45 | 6468 | 54M|1732 | - |2680 | 29k|9293 | 0 | 0 | 230 | 591k| 18 | 2.415093e+02 | -- | Inf
1541.00/1541.78 c 1523s|860000 | 44 | 6468 | 54M|1732 | - |2680 | 30k|9401 | 0 | 0 | 230 | 598k| 18 | 2.415093e+02 | -- | Inf
1560.30/1561.08 c 1542s|870000 | 40 | 6468 | 54M|1732 | - |2680 | 30k|9266 | 0 | 0 | 230 | 605k| 18 | 2.415093e+02 | -- | Inf
1579.59/1580.38 c 1561s|880000 | 45 | 6468 | 54M|1732 | - |2680 | 31k|9156 | 0 | 0 | 230 | 613k| 18 | 2.415093e+02 | -- | Inf
1597.18/1597.91 c 1579s|890000 | 59 | 6468 | 54M|1732 | - |2680 | 31k|9136 | 0 | 0 | 230 | 620k| 18 | 2.415093e+02 | -- | Inf
1616.96/1617.73 c 1598s|900000 | 54 | 6468 | 55M|1732 | - |2680 | 31k|9884 | 0 | 0 | 230 | 627k| 18 | 2.415093e+02 | -- | Inf
1635.85/1636.66 c 1617s|910000 | 35 | 6468 | 55M|1732 | - |2680 | 32k|9572 | 0 | 0 | 230 | 635k| 18 | 2.415093e+02 | -- | Inf
1655.04/1655.88 c 1636s|920000 | 48 | 6468 | 55M|1732 | - |2680 | 32k|9083 | 0 | 0 | 230 | 642k| 18 | 2.415093e+02 | -- | Inf
1674.03/1674.85 c 1655s|930000 | 41 | 6468 | 55M|1732 | - |2680 | 33k|9239 | 0 | 0 | 230 | 650k| 18 | 2.415093e+02 | -- | Inf
1693.33/1694.20 c 1674s|940000 | 45 | 6468 | 55M|1732 | - |2680 | 33k|9890 | 0 | 0 | 230 | 657k| 18 | 2.415093e+02 | -- | Inf
1711.62/1712.47 c 1692s|950000 | 36 | 6468 | 55M|1732 | - |2680 | 33k| 10k| 0 | 0 | 230 | 664k| 18 | 2.415093e+02 | -- | Inf
1729.71/1730.50 c 1710s|960000 | 44 | 6468 | 55M|1732 | - |2680 | 33k|9205 | 0 | 0 | 230 | 671k| 18 | 2.415093e+02 | -- | Inf
1747.90/1748.71 c 1728s|970000 | 54 | 6468 | 55M|1732 | - |2680 | 34k|8913 | 0 | 0 | 230 | 678k| 18 | 2.415093e+02 | -- | Inf
1765.70/1766.53 c 1745s|980000 | 89 | 6468 | 55M|1732 | - |2680 | 34k|9030 | 0 | 0 | 230 | 685k| 18 | 2.415093e+02 | -- | Inf
1783.19/1784.09 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1783.19/1784.09 c 1763s|990000 | 50 | 6468 | 55M|1732 | - |2680 | 34k|9632 | 0 | 0 | 230 | 691k| 18 | 2.415093e+02 | -- | Inf
1800.08/1800.90 c
1800.08/1800.90 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.90 c Solving Time (sec) : 1779.15
1800.08/1800.90 c Solving Nodes : 999016
1800.08/1800.90 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.08/1800.90 c Dual Bound : +2.41509294662286e+02
1800.08/1800.90 c Gap : infinite
1800.08/1800.90 c NODE 999016
1800.08/1800.90 c DUAL BOUND 241.509
1800.08/1800.90 c PRIMAL BOUND 1e+20
1800.08/1800.90 c GAP 1e+20
1800.08/1800.90 s UNKNOWN
1800.08/1800.90 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.90 c Solving Time : 1779.15
1800.08/1800.90 c Original Problem :
1800.08/1800.90 c Problem name : HOME/instance-1884088-1245254150.opb
1800.08/1800.90 c Variables : 2737 (2737 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.90 c Constraints : 18375 initial, 18375 maximal
1800.08/1800.90 c Presolved Problem :
1800.08/1800.90 c Problem name : t_HOME/instance-1884088-1245254150.opb
1800.08/1800.90 c Variables : 2680 (2680 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.90 c Constraints : 16231 initial, 34938 maximal
1800.08/1800.90 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.90 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.90 c dualfix : 0.00 3 0 0 0 0 0 0 0
1800.08/1800.90 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.90 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.90 c implics : 0.01 0 0 0 0 0 0 0 0
1800.08/1800.90 c probing : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.90 c linear : 0.23 42 12 0 42 0 2114 0 14
1800.08/1800.90 c logicor : 0.25 0 0 0 0 0 30 0 0
1800.08/1800.90 c root node : - 0 - - 0 - - - -
1800.08/1800.90 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.90 c integral : 0 0 0 1 0 0 0 0 0 2
1800.08/1800.90 c logicor : 16231+ 5 4782849 0 0 455650 13783948 0 0 0
1800.08/1800.90 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.90 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.90 c integral : 24.66 0.00 0.00 24.66 0.00
1800.08/1800.90 c logicor : 292.82 0.03 292.79 0.00 0.00
1800.08/1800.90 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.90 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.90 c rootredcost : 2.10 0 0 0
1800.08/1800.90 c pseudoobj : 636.56 5932379 0 0
1800.08/1800.90 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.90 c propagation : 57.21 455650 455650 455650 22.2 242212 17.4 -
1800.08/1800.90 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.90 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.90 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.90 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.08/1800.90 c applied globally : - - - 697862 20.5 - - -
1800.08/1800.90 c applied locally : - - - 0 0.0 - - -
1800.08/1800.90 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.90 c cut pool : 0.00 4 - - 50 - (maximal pool size: 2577)
1800.08/1800.90 c redcost : 0.00 5 0 0 0 0
1800.08/1800.90 c impliedbounds : 0.00 5 0 0 0 0
1800.08/1800.90 c intobj : 0.00 0 0 0 0 0
1800.08/1800.90 c gomory : 17.34 5 0 0 2468 0
1800.08/1800.90 c strongcg : 1.40 5 0 0 2500 0
1800.08/1800.90 c cmir : 0.00 0 0 0 0 0
1800.08/1800.90 c flowcover : 0.00 0 0 0 0 0
1800.08/1800.90 c clique : 0.01 5 0 0 30 0
1800.08/1800.90 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.90 c mcf : 0.05 1 0 0 0 0
1800.08/1800.90 c Pricers : Time Calls Vars
1800.08/1800.90 c problem variables: 0.00 0 0
1800.08/1800.90 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.90 c relpscost : 24.66 1 0 0 0 0 2
1800.08/1800.90 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.90 c inference : 542.72 741219 0 0 0 0 1482438
1800.08/1800.90 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.90 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.90 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.90 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.90 c random : 0.00 0 0 0 0 0 0
1800.08/1800.90 c Primal Heuristics : Time Calls Found
1800.08/1800.90 c LP solutions : 0.00 - 0
1800.08/1800.90 c pseudo solutions : 0.00 - 0
1800.08/1800.90 c simplerounding : 0.00 0 0
1800.08/1800.90 c rounding : 0.00 0 0
1800.08/1800.90 c shifting : 0.00 0 0
1800.08/1800.90 c intshifting : 0.00 0 0
1800.08/1800.90 c oneopt : 0.00 0 0
1800.08/1800.90 c fixandinfer : 0.00 0 0
1800.08/1800.90 c feaspump : 0.00 0 0
1800.08/1800.90 c coefdiving : 0.00 0 0
1800.08/1800.90 c pscostdiving : 0.00 0 0
1800.08/1800.90 c fracdiving : 0.00 0 0
1800.08/1800.90 c veclendiving : 0.00 0 0
1800.08/1800.90 c intdiving : 0.00 0 0
1800.08/1800.90 c actconsdiving : 0.00 0 0
1800.08/1800.90 c objpscostdiving : 0.00 0 0
1800.08/1800.90 c rootsoldiving : 0.00 0 0
1800.08/1800.90 c linesearchdiving : 0.00 0 0
1800.08/1800.90 c guideddiving : 0.00 0 0
1800.08/1800.90 c octane : 0.00 0 0
1800.08/1800.90 c rens : 0.00 0 0
1800.08/1800.90 c rins : 0.00 0 0
1800.08/1800.90 c localbranching : 0.00 0 0
1800.08/1800.90 c mutation : 0.00 0 0
1800.08/1800.90 c crossover : 0.00 0 0
1800.08/1800.90 c dins : 0.00 0 0
1800.08/1800.90 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.90 c primal LP : 0.04 0 0 0.00 0.00
1800.08/1800.90 c dual LP : 16.34 6 6468 1078.00 395.84
1800.08/1800.90 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.90 c diving/probing LP: 0.00 0 0 0.00 -
1800.08/1800.90 c strong branching : 24.66 18 6689 371.61 271.25
1800.08/1800.90 c (at root node) : - 18 6689 371.61 -
1800.08/1800.90 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.90 c B&B Tree :
1800.08/1800.90 c number of runs : 1
1800.08/1800.90 c nodes : 999016
1800.08/1800.90 c nodes (total) : 999016
1800.08/1800.90 c nodes left : 38
1800.08/1800.90 c max depth : 1732
1800.08/1800.90 c max depth (total): 1732
1800.08/1800.90 c backtracks : 218099 (21.8%)
1800.08/1800.90 c delayed cutoffs : 483387
1800.08/1800.90 c repropagations : 1345159 (6195986 domain reductions, 197854 cutoffs)
1800.08/1800.90 c avg switch length: 3.84
1800.08/1800.90 c switching time : 161.12
1800.08/1800.90 c Solution :
1800.08/1800.90 c Solutions found : 0 (0 improvements)
1800.08/1800.90 c Primal Bound : -
1800.08/1800.90 c Dual Bound : +2.41509294662286e+02
1800.08/1800.90 c Gap : infinite
1800.08/1800.90 c Root Dual Bound : +2.40975965762955e+02
1800.18/1801.07 c Time complete: 1800.25.