0.29/0.30 c SCIP version 1.1.0.7
0.29/0.30 c LP-Solver Clp 1.8.2
0.29/0.30 c user parameter file <scip.set> not found - using default parameters
0.29/0.30 c read problem <HOME/instance-1884938-1245260695.opb>
0.29/0.30 c original problem has 440 variables (440 bin, 0 int, 0 impl, 0 cont) and 22276 constraints
0.29/0.35 c No objective function, only one solution is needed.
0.29/0.35 c start presolving problem
0.29/0.35 c presolving:
0.59/0.60 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 22276 upgd conss, 44512 impls, 0 clqs
0.59/0.63 c presolving (2 rounds):
0.59/0.63 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.59/0.63 c 44512 implications, 0 cliques
0.59/0.63 c presolved problem has 440 variables (440 bin, 0 int, 0 impl, 0 cont) and 22276 constraints
0.59/0.63 c 22276 constraints of type <logicor>
0.59/0.63 c transformed objective value is always integral (scale: 1)
0.59/0.63 c Presolving Time: 0.23
0.59/0.64 c PURESAT
0.59/0.64 c -----------------------------------------------------------------------------------------------
0.59/0.64 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 0]
0.59/0.64 c separating/flowcover/freq = c -1
0.59/0.64 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 0]
0.59/0.64 c separating/cmir/freq = c -1
0.59/0.64 c # additional number of allowed LP iterations
0.59/0.64 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.64 c heuristics/veclendiving/maxlpiterofs = c 1500
0.59/0.64 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.64 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.64 c heuristics/veclendiving/maxlpiterquot = c 0.075
0.59/0.64 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.64 c heuristics/veclendiving/freq = c -1
0.59/0.64 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.64 c heuristics/simplerounding/freq = c -1
0.59/0.64 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.64 c heuristics/shifting/freq = c -1
0.59/0.64 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.64 c heuristics/rounding/freq = c -1
0.59/0.64 c # additional number of allowed LP iterations
0.59/0.64 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.64 c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.59/0.64 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.64 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.59/0.64 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.59/0.64 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 20]
0.59/0.64 c heuristics/rootsoldiving/freq = c -1
0.59/0.64 c # number of nodes added to the contingent of the total nodes
0.59/0.64 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.59/0.64 c heuristics/rens/nodesofs = c 2000
0.59/0.64 c # minimum percentage of integer variables that have to be fixable
0.59/0.64 c # [type: real, range: [0,1], default: 0.5]
0.59/0.64 c heuristics/rens/minfixingrate = c 0.3
0.59/0.64 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 0]
0.59/0.64 c heuristics/rens/freq = c -1
0.59/0.64 c # additional number of allowed LP iterations
0.59/0.64 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.64 c heuristics/pscostdiving/maxlpiterofs = c 1500
0.59/0.64 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.64 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.64 c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.59/0.64 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.64 c heuristics/pscostdiving/freq = c -1
0.59/0.64 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.64 c heuristics/oneopt/freq = c -1
0.59/0.64 c # additional number of allowed LP iterations
0.59/0.64 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.64 c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.59/0.64 c # maximal fraction of diving LP iterations compared to total iteration number
0.59/0.64 c # [type: real, range: [0,1], default: 0.01]
0.59/0.64 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.59/0.64 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 20]
0.59/0.64 c heuristics/objpscostdiving/freq = c -1
0.59/0.64 c # additional number of allowed LP iterations
0.59/0.64 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.64 c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.59/0.64 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.64 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.64 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.59/0.64 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.64 c heuristics/linesearchdiving/freq = c -1
0.59/0.64 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.64 c heuristics/intshifting/freq = c -1
0.59/0.64 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.64 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.64 c heuristics/intdiving/maxlpiterquot = c 0.075
0.59/0.64 c # additional number of allowed LP iterations
0.59/0.64 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.64 c heuristics/guideddiving/maxlpiterofs = c 1500
0.59/0.64 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.64 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.64 c heuristics/guideddiving/maxlpiterquot = c 0.075
0.59/0.64 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.64 c heuristics/guideddiving/freq = c -1
0.59/0.64 c # additional number of allowed LP iterations
0.59/0.64 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.64 c heuristics/fracdiving/maxlpiterofs = c 1500
0.59/0.64 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.64 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.64 c heuristics/fracdiving/maxlpiterquot = c 0.075
0.59/0.64 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.64 c heuristics/fracdiving/freq = c -1
0.59/0.64 c # additional number of allowed LP iterations
0.59/0.64 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.64 c heuristics/feaspump/maxlpiterofs = c 2000
0.59/0.64 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 20]
0.59/0.64 c heuristics/feaspump/freq = c -1
0.59/0.64 c # minimum percentage of integer variables that have to be fixed
0.59/0.64 c # [type: real, range: [0,1], default: 0.666]
0.59/0.64 c heuristics/crossover/minfixingrate = c 0.5
0.59/0.64 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.59/0.64 c # [type: real, range: [0,1], default: 0.1]
0.59/0.64 c heuristics/crossover/nodesquot = c 0.15
0.59/0.64 c # number of nodes without incumbent change that heuristic should wait
0.59/0.64 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.59/0.64 c heuristics/crossover/nwaitingnodes = c 100
0.59/0.64 c # number of nodes added to the contingent of the total nodes
0.59/0.64 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.59/0.64 c heuristics/crossover/nodesofs = c 750
0.59/0.64 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 30]
0.59/0.64 c heuristics/crossover/freq = c -1
0.59/0.64 c # additional number of allowed LP iterations
0.59/0.64 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.64 c heuristics/coefdiving/maxlpiterofs = c 1500
0.59/0.64 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.64 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.64 c heuristics/coefdiving/maxlpiterquot = c 0.075
0.59/0.64 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.64 c heuristics/coefdiving/freq = c -1
0.59/0.64 c # priority of node selection rule <dfs> in standard mode
0.59/0.64 c # [type: int, range: [-536870912,536870911], default: 0]
0.59/0.64 c nodeselection/dfs/stdpriority = c 1000000
0.59/0.64 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.64 c presolving/probing/maxrounds = c 0
0.59/0.64 c # should presolving try to simplify knapsacks
0.59/0.64 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.64 c constraints/knapsack/simplifyinequalities = c TRUE
0.59/0.64 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.59/0.64 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.59/0.64 c constraints/knapsack/disaggregation = c FALSE
0.59/0.64 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.64 c constraints/knapsack/maxnumcardlift = c 0
0.59/0.64 c # should presolving try to simplify inequalities
0.59/0.64 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.64 c constraints/linear/simplifyinequalities = c TRUE
0.59/0.64 c # maximal number of separation rounds in the root node (-1: unlimited)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.64 c separating/maxroundsroot = c 5
0.59/0.64 c # maximal number of separation rounds per node (-1: unlimited)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 5]
0.59/0.64 c separating/maxrounds = c 1
0.59/0.64 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.59/0.64 c # [type: char, range: {lafpsqd}, default: l]
0.59/0.64 c lp/pricing = c a
0.59/0.64 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.64 c lp/solvefreq = c 0
0.59/0.64 c # solving stops, if the given number of solutions were found (-1: no limit)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.64 c limits/solutions = c 1
0.59/0.64 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.64 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.64 c limits/memory = c 1620
0.59/0.64 c # maximal time in seconds to run
0.59/0.64 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.64 c limits/time = c 1791
0.59/0.64 c # frequency for displaying node information lines
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.64 c display/freq = c 10000
0.59/0.64 c # should enforcement of pseudo solution be disabled?
0.59/0.64 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.64 c constraints/disableenfops = c TRUE
0.59/0.64 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 0]
0.59/0.64 c constraints/agelimit = c 1
0.59/0.64 c # should binary conflicts be preferred?
0.59/0.64 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.64 c conflict/preferbinary = c TRUE
0.59/0.64 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.64 c conflict/interconss = c 0
0.59/0.64 c -----------------------------------------------------------------------------------------------
0.59/0.64 c start solving problem
0.59/0.64 c
0.69/0.77 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.77 c 0.4s| 1 | 0 | 40 | 25M| 0 | 40 | 440 | 22k| 22k| 440 | 22k| 0 | 0 | 0 | 2.000000e+01 | -- | Inf
1.39/1.41 c 1.0s| 1 | 0 | 203 | 25M| 0 | 38 | 440 | 22k| 22k| 440 | 22k| 3 | 0 | 0 | 2.000000e+01 | -- | Inf
1.89/1.93 c 1.5s| 1 | 0 | 289 | 25M| 0 | 32 | 440 | 22k| 22k| 440 | 22k| 7 | 0 | 0 | 2.000000e+01 | -- | Inf
2.69/2.72 c 2.3s| 1 | 0 | 488 | 25M| 0 | 50 | 440 | 22k| 22k| 440 | 22k| 15 | 0 | 0 | 2.000000e+01 | -- | Inf
3.39/3.46 c 3.0s| 1 | 0 | 604 | 25M| 0 | 61 | 440 | 22k| 22k| 440 | 22k| 20 | 0 | 0 | 2.000000e+01 | -- | Inf
4.69/4.70 c 4.3s| 1 | 0 | 866 | 25M| 0 | 77 | 440 | 22k| 22k| 440 | 22k| 28 | 0 | 0 | 2.000000e+01 | -- | Inf
42.28/42.30 c 41.8s| 1 | 2 | 866 | 25M| 0 | 77 | 440 | 22k| 22k| 440 | 22k| 28 | 0 | 33 | 2.000000e+01 | -- | Inf
60.17/60.24 c 59.5s| 10000 | 122 | 866 | 26M| 249 | - | 440 | 22k| 10k| 0 | 0 | 28 |6433 | 33 | 2.000000e+01 | -- | Inf
77.56/77.64 c 76.7s| 20000 | 117 | 866 | 26M| 249 | - | 440 | 22k|9951 | 0 | 0 | 28 | 13k| 33 | 2.000000e+01 | -- | Inf
94.96/95.09 c 94.0s| 30000 | 109 | 866 | 26M| 249 | - | 440 | 22k| 11k| 0 | 0 | 28 | 19k| 33 | 2.000000e+01 | -- | Inf
111.75/111.84 c 111s| 40000 | 98 | 866 | 26M| 249 | - | 440 | 22k|9076 | 0 | 0 | 28 | 26k| 33 | 2.000000e+01 | -- | Inf
127.55/127.65 c 126s| 50000 | 111 | 866 | 26M| 249 | - | 440 | 22k|9182 | 0 | 0 | 28 | 32k| 33 | 2.000000e+01 | -- | Inf
143.44/143.57 c 142s| 60000 | 98 | 866 | 26M| 249 | - | 440 | 22k|9593 | 0 | 0 | 28 | 39k| 33 | 2.000000e+01 | -- | Inf
159.14/159.22 c 157s| 70000 | 109 | 866 | 26M| 249 | - | 440 | 22k|8545 | 0 | 0 | 28 | 45k| 33 | 2.000000e+01 | -- | Inf
175.03/175.18 c 173s| 80000 | 101 | 866 | 26M| 249 | - | 440 | 22k|9754 | 0 | 0 | 28 | 52k| 33 | 2.000000e+01 | -- | Inf
192.22/192.38 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
192.22/192.38 c 190s| 90000 | 90 | 866 | 26M| 249 | - | 440 | 22k|8931 | 0 | 0 | 28 | 58k| 33 | 2.000000e+01 | -- | Inf
209.32/209.48 c 207s|100000 | 93 | 866 | 26M| 249 | - | 440 | 22k|8888 | 0 | 0 | 28 | 65k| 33 | 2.000000e+01 | -- | Inf
226.70/226.84 c 224s|110000 | 101 | 866 | 26M| 249 | - | 440 | 22k|8446 | 0 | 0 | 28 | 71k| 33 | 2.000000e+01 | -- | Inf
243.50/243.69 c 241s|120000 | 92 | 866 | 26M| 249 | - | 440 | 22k|8668 | 0 | 0 | 28 | 78k| 33 | 2.000000e+01 | -- | Inf
260.69/260.88 c 258s|130000 | 83 | 866 | 26M| 249 | - | 440 | 22k|8651 | 0 | 0 | 28 | 85k| 33 | 2.000000e+01 | -- | Inf
279.09/279.27 c 276s|140000 | 96 | 866 | 26M| 249 | - | 440 | 22k|8476 | 0 | 0 | 28 | 91k| 33 | 2.000000e+01 | -- | Inf
294.88/295.05 c 292s|150000 | 87 | 866 | 26M| 249 | - | 440 | 22k|7746 | 0 | 0 | 28 | 98k| 33 | 2.000000e+01 | -- | Inf
311.38/311.51 c 308s|160000 | 93 | 866 | 26M| 249 | - | 440 | 22k|8060 | 0 | 0 | 28 | 105k| 33 | 2.000000e+01 | -- | Inf
327.78/327.98 c 324s|170000 | 97 | 866 | 26M| 249 | - | 440 | 22k|8345 | 0 | 0 | 28 | 111k| 33 | 2.000000e+01 | -- | Inf
344.37/344.51 c 341s|180000 | 81 | 866 | 26M| 249 | - | 440 | 22k|8801 | 0 | 0 | 28 | 118k| 33 | 2.000000e+01 | -- | Inf
362.56/362.70 c 359s|190000 | 87 | 866 | 26M| 249 | - | 440 | 22k|7668 | 0 | 0 | 28 | 124k| 33 | 2.000000e+01 | -- | Inf
380.95/381.10 c 377s|200000 | 76 | 866 | 26M| 249 | - | 440 | 22k|8367 | 0 | 0 | 28 | 131k| 33 | 2.000000e+01 | -- | Inf
398.55/398.76 c 394s|210000 | 76 | 866 | 26M| 249 | - | 440 | 22k|8781 | 0 | 0 | 28 | 138k| 33 | 2.000000e+01 | -- | Inf
416.94/417.10 c 412s|220000 | 73 | 866 | 26M| 249 | - | 440 | 22k|7762 | 0 | 0 | 28 | 144k| 33 | 2.000000e+01 | -- | Inf
435.94/436.10 c 431s|230000 | 135 | 866 | 26M| 249 | - | 440 | 22k| 11k| 0 | 0 | 28 | 151k| 33 | 2.000000e+01 | -- | Inf
452.03/452.23 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
452.03/452.23 c 447s|240000 | 88 | 866 | 26M| 249 | - | 440 | 22k|7975 | 0 | 0 | 28 | 157k| 33 | 2.000000e+01 | -- | Inf
468.82/469.07 c 464s|250000 | 75 | 866 | 26M| 249 | - | 440 | 22k|8211 | 0 | 0 | 28 | 164k| 33 | 2.000000e+01 | -- | Inf
485.21/485.47 c 480s|260000 | 91 | 866 | 26M| 249 | - | 440 | 22k|8029 | 0 | 0 | 28 | 171k| 33 | 2.000000e+01 | -- | Inf
502.41/502.62 c 497s|270000 | 71 | 866 | 26M| 249 | - | 440 | 22k|7897 | 0 | 0 | 28 | 178k| 33 | 2.000000e+01 | -- | Inf
521.80/522.09 c 516s|280000 | 82 | 866 | 26M| 249 | - | 440 | 22k|7593 | 0 | 0 | 28 | 184k| 33 | 2.000000e+01 | -- | Inf
540.40/540.61 c 535s|290000 | 86 | 866 | 26M| 249 | - | 440 | 22k|8250 | 0 | 0 | 28 | 191k| 33 | 2.000000e+01 | -- | Inf
556.19/556.42 c 550s|300000 | 76 | 866 | 26M| 249 | - | 440 | 22k|7423 | 0 | 0 | 28 | 198k| 33 | 2.000000e+01 | -- | Inf
573.09/573.33 c 567s|310000 | 100 | 866 | 26M| 249 | - | 440 | 22k| 10k| 0 | 0 | 28 | 204k| 33 | 2.000000e+01 | -- | Inf
594.58/594.90 c 588s|320000 | 68 | 866 | 26M| 249 | - | 440 | 22k|7795 | 0 | 0 | 28 | 211k| 33 | 2.000000e+01 | -- | Inf
613.77/614.03 c 607s|330000 | 69 | 866 | 26M| 249 | - | 440 | 22k|7259 | 0 | 0 | 28 | 218k| 33 | 2.000000e+01 | -- | Inf
630.67/630.94 c 624s|340000 | 67 | 866 | 26M| 249 | - | 440 | 22k|7643 | 0 | 0 | 28 | 225k| 33 | 2.000000e+01 | -- | Inf
649.56/649.81 c 643s|350000 | 58 | 866 | 26M| 249 | - | 440 | 22k|7222 | 0 | 0 | 28 | 232k| 33 | 2.000000e+01 | -- | Inf
666.95/667.29 c 660s|360000 | 69 | 866 | 26M| 249 | - | 440 | 22k|8582 | 0 | 0 | 28 | 238k| 33 | 2.000000e+01 | -- | Inf
683.85/684.20 c 677s|370000 | 59 | 866 | 26M| 249 | - | 440 | 22k|8178 | 0 | 0 | 28 | 245k| 33 | 2.000000e+01 | -- | Inf
702.14/702.48 c 695s|380000 | 60 | 866 | 26M| 249 | - | 440 | 22k|7262 | 0 | 0 | 28 | 251k| 33 | 2.000000e+01 | -- | Inf
720.73/721.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
720.73/721.03 c 713s|390000 | 72 | 866 | 26M| 249 | - | 440 | 22k|7522 | 0 | 0 | 28 | 258k| 33 | 2.000000e+01 | -- | Inf
739.52/739.81 c 732s|400000 | 57 | 866 | 26M| 249 | - | 440 | 22k|8082 | 0 | 0 | 28 | 265k| 33 | 2.000000e+01 | -- | Inf
757.92/758.27 c 750s|410000 | 64 | 866 | 26M| 249 | - | 440 | 22k|7985 | 0 | 0 | 28 | 272k| 33 | 2.000000e+01 | -- | Inf
775.31/775.69 c 767s|420000 | 64 | 866 | 26M| 249 | - | 440 | 22k|6549 | 0 | 0 | 28 | 278k| 33 | 2.000000e+01 | -- | Inf
792.00/792.31 c 784s|430000 | 65 | 866 | 26M| 249 | - | 440 | 22k|8160 | 0 | 0 | 28 | 285k| 33 | 2.000000e+01 | -- | Inf
810.70/811.09 c 802s|440000 | 62 | 866 | 26M| 249 | - | 440 | 22k|6633 | 0 | 0 | 28 | 292k| 33 | 2.000000e+01 | -- | Inf
829.19/829.53 c 821s|450000 | 63 | 866 | 26M| 249 | - | 440 | 22k|8324 | 0 | 0 | 28 | 298k| 33 | 2.000000e+01 | -- | Inf
847.29/847.66 c 838s|460000 | 64 | 866 | 26M| 249 | - | 440 | 22k|6938 | 0 | 0 | 28 | 305k| 33 | 2.000000e+01 | -- | Inf
865.18/865.58 c 856s|470000 | 52 | 866 | 26M| 249 | - | 440 | 22k|7488 | 0 | 0 | 28 | 312k| 33 | 2.000000e+01 | -- | Inf
881.68/882.03 c 872s|480000 | 46 | 866 | 26M| 249 | - | 440 | 22k|6877 | 0 | 0 | 28 | 319k| 33 | 2.000000e+01 | -- | Inf
899.97/900.39 c 891s|490000 | 56 | 866 | 26M| 249 | - | 440 | 22k|7476 | 0 | 0 | 28 | 325k| 33 | 2.000000e+01 | -- | Inf
919.66/920.03 c 910s|500000 | 55 | 866 | 26M| 249 | - | 440 | 22k|6362 | 0 | 0 | 28 | 332k| 33 | 2.000000e+01 | -- | Inf
938.55/938.95 c 929s|510000 | 57 | 866 | 26M| 249 | - | 440 | 22k|7449 | 0 | 0 | 28 | 339k| 33 | 2.000000e+01 | -- | Inf
957.14/957.51 c 947s|520000 | 54 | 866 | 26M| 249 | - | 440 | 22k|7220 | 0 | 0 | 28 | 346k| 33 | 2.000000e+01 | -- | Inf
977.93/978.32 c 968s|530000 | 54 | 866 | 26M| 249 | - | 440 | 22k|7670 | 0 | 0 | 28 | 353k| 33 | 2.000000e+01 | -- | Inf
996.13/996.52 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
996.13/996.52 c 986s|540000 | 48 | 866 | 26M| 249 | - | 440 | 22k|7681 | 0 | 0 | 28 | 359k| 33 | 2.000000e+01 | -- | Inf
1014.12/1014.51 c 1004s|550000 | 36 | 866 | 26M| 249 | - | 440 | 22k|6809 | 0 | 0 | 28 | 366k| 33 | 2.000000e+01 | -- | Inf
1033.92/1034.39 c 1023s|560000 | 46 | 866 | 26M| 249 | - | 440 | 22k|8312 | 0 | 0 | 28 | 373k| 33 | 2.000000e+01 | -- | Inf
1054.61/1055.03 c 1044s|570000 | 52 | 866 | 26M| 249 | - | 440 | 22k|6463 | 0 | 0 | 28 | 379k| 33 | 2.000000e+01 | -- | Inf
1072.20/1072.65 c 1061s|580000 | 49 | 866 | 26M| 249 | - | 440 | 22k|7248 | 0 | 0 | 28 | 386k| 33 | 2.000000e+01 | -- | Inf
1091.19/1091.68 c 1080s|590000 | 39 | 866 | 26M| 249 | - | 440 | 22k|6558 | 0 | 0 | 28 | 393k| 33 | 2.000000e+01 | -- | Inf
1110.89/1111.31 c 1099s|600000 | 36 | 866 | 26M| 249 | - | 440 | 22k|7506 | 0 | 0 | 28 | 400k| 33 | 2.000000e+01 | -- | Inf
1128.68/1129.18 c 1117s|610000 | 33 | 866 | 26M| 249 | - | 440 | 22k|6922 | 0 | 0 | 28 | 407k| 33 | 2.000000e+01 | -- | Inf
1150.37/1150.87 c 1139s|620000 | 33 | 866 | 26M| 249 | - | 440 | 22k|6560 | 0 | 0 | 28 | 414k| 33 | 2.000000e+01 | -- | Inf
1168.07/1168.55 c 1156s|630000 | 38 | 866 | 26M| 249 | - | 440 | 22k|6369 | 0 | 0 | 28 | 421k| 33 | 2.000000e+01 | -- | Inf
1184.36/1184.88 c 1172s|640000 | 26 | 866 | 26M| 249 | - | 440 | 22k|6651 | 0 | 0 | 28 | 428k| 33 | 2.000000e+01 | -- | Inf
1200.15/1200.61 c 1188s|650000 | 39 | 866 | 26M| 249 | - | 440 | 22k|6392 | 0 | 0 | 28 | 434k| 33 | 2.000000e+01 | -- | Inf
1217.26/1217.76 c 1205s|660000 | 35 | 866 | 26M| 249 | - | 440 | 22k|6431 | 0 | 0 | 28 | 441k| 33 | 2.000000e+01 | -- | Inf
1233.44/1233.93 c 1221s|670000 | 35 | 866 | 26M| 249 | - | 440 | 22k|6069 | 0 | 0 | 28 | 447k| 33 | 2.000000e+01 | -- | Inf
1251.43/1251.93 c 1239s|680000 | 30 | 866 | 26M| 249 | - | 440 | 22k|6451 | 0 | 0 | 28 | 454k| 33 | 2.000000e+01 | -- | Inf
1269.03/1269.59 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1269.03/1269.59 c 1256s|690000 | 30 | 866 | 26M| 249 | - | 440 | 22k|6207 | 0 | 0 | 28 | 461k| 33 | 2.000000e+01 | -- | Inf
1285.52/1286.03 c 1272s|700000 | 21 | 866 | 26M| 249 | - | 440 | 22k|6470 | 0 | 0 | 28 | 468k| 33 | 2.000000e+01 | -- | Inf
1302.92/1303.46 c 1290s|710000 | 41 | 866 | 26M| 249 | - | 440 | 22k|5268 | 0 | 0 | 28 | 475k| 33 | 2.000000e+01 | -- | Inf
1319.81/1320.31 c 1306s|720000 | 24 | 866 | 26M| 249 | - | 440 | 22k|6528 | 0 | 0 | 28 | 481k| 33 | 2.000000e+01 | -- | Inf
1337.30/1337.88 c 1324s|730000 | 29 | 866 | 26M| 249 | - | 440 | 22k|5803 | 0 | 0 | 28 | 488k| 33 | 2.000000e+01 | -- | Inf
1354.20/1354.80 c 1340s|740000 | 18 | 866 | 26M| 249 | - | 440 | 22k|5888 | 0 | 0 | 28 | 495k| 33 | 2.000000e+01 | -- | Inf
1372.19/1372.71 c 1358s|750000 | 29 | 866 | 26M| 249 | - | 440 | 22k|7778 | 0 | 0 | 28 | 502k| 33 | 2.000000e+01 | -- | Inf
1394.88/1395.42 c 1381s|760000 | 20 | 866 | 26M| 249 | - | 440 | 22k|7435 | 0 | 0 | 28 | 509k| 33 | 2.000000e+01 | -- | Inf
1414.97/1415.54 c 1401s|770000 | 15 | 866 | 26M| 249 | - | 440 | 22k|7603 | 0 | 0 | 28 | 516k| 33 | 2.000000e+01 | -- | Inf
1439.47/1440.02 c 1425s|780000 | 167 | 866 | 26M| 249 | - | 440 | 22k|9147 | 0 | 0 | 28 | 522k| 33 | 2.000000e+01 | -- | Inf
1466.46/1467.06 c 1452s|790000 | 150 | 866 | 26M| 249 | - | 440 | 22k|8216 | 0 | 0 | 28 | 529k| 33 | 2.000000e+01 | -- | Inf
1492.06/1492.66 c 1477s|800000 | 150 | 866 | 26M| 249 | - | 440 | 22k|6476 | 0 | 0 | 28 | 536k| 33 | 2.000000e+01 | -- | Inf
1515.94/1516.59 c 1501s|810000 | 139 | 866 | 26M| 249 | - | 440 | 22k|6276 | 0 | 0 | 28 | 542k| 33 | 2.000000e+01 | -- | Inf
1541.03/1541.65 c 1526s|820000 | 139 | 866 | 26M| 249 | - | 440 | 22k|6402 | 0 | 0 | 28 | 549k| 33 | 2.000000e+01 | -- | Inf
1565.63/1566.27 c 1550s|830000 | 138 | 866 | 26M| 249 | - | 440 | 22k|6012 | 0 | 0 | 28 | 555k| 33 | 2.000000e+01 | -- | Inf
1591.91/1592.59 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1591.91/1592.59 c 1576s|840000 | 138 | 866 | 26M| 249 | - | 440 | 22k| 10k| 0 | 0 | 28 | 562k| 33 | 2.000000e+01 | -- | Inf
1618.40/1619.09 c 1603s|850000 | 124 | 866 | 26M| 249 | - | 440 | 22k|5217 | 0 | 0 | 28 | 568k| 33 | 2.000000e+01 | -- | Inf
1642.99/1643.69 c 1627s|860000 | 127 | 866 | 26M| 249 | - | 440 | 22k|5104 | 0 | 0 | 28 | 575k| 33 | 2.000000e+01 | -- | Inf
1668.48/1669.13 c 1652s|870000 | 117 | 866 | 26M| 249 | - | 440 | 22k|7375 | 0 | 0 | 28 | 581k| 33 | 2.000000e+01 | -- | Inf
1693.18/1693.80 c 1677s|880000 | 129 | 866 | 26M| 249 | - | 440 | 22k|5481 | 0 | 0 | 28 | 588k| 33 | 2.000000e+01 | -- | Inf
1714.57/1715.23 c 1698s|890000 | 116 | 866 | 26M| 249 | - | 440 | 22k|4665 | 0 | 0 | 28 | 594k| 33 | 2.000000e+01 | -- | Inf
1739.56/1740.27 c 1723s|900000 | 122 | 866 | 26M| 249 | - | 440 | 22k|7293 | 0 | 0 | 28 | 601k| 33 | 2.000000e+01 | -- | Inf
1760.15/1760.83 c 1743s|910000 | 107 | 866 | 26M| 249 | - | 440 | 22k|4750 | 0 | 0 | 28 | 608k| 33 | 2.000000e+01 | -- | Inf
1782.74/1783.45 c 1766s|920000 | 110 | 866 | 26M| 249 | - | 440 | 22k|5466 | 0 | 0 | 28 | 614k| 33 | 2.000000e+01 | -- | Inf
1800.05/1800.71 c
1800.05/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.71 c Solving Time (sec) : 1782.69
1800.05/1800.71 c Solving Nodes : 927519
1800.05/1800.71 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.71 c Dual Bound : +2.00000000000001e+01
1800.05/1800.71 c Gap : infinite
1800.05/1800.71 c NODE 927519
1800.05/1800.71 c DUAL BOUND 20
1800.05/1800.71 c PRIMAL BOUND 1e+20
1800.05/1800.71 c GAP 1e+20
1800.05/1800.71 s UNKNOWN
1800.05/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.71 c Solving Time : 1782.69
1800.05/1800.71 c Original Problem :
1800.05/1800.71 c Problem name : HOME/instance-1884938-1245260695.opb
1800.05/1800.71 c Variables : 440 (440 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.71 c Constraints : 22276 initial, 22276 maximal
1800.05/1800.71 c Presolved Problem :
1800.05/1800.71 c Problem name : t_HOME/instance-1884938-1245260695.opb
1800.05/1800.71 c Variables : 440 (440 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.71 c Constraints : 22276 initial, 22403 maximal
1800.05/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c probing : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c logicor : 0.06 0 0 0 0 0 0 0 0
1800.05/1800.71 c root node : - 1 - - 1 - - - -
1800.05/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.71 c integral : 0 0 0 1 0 0 0 0 0 2
1800.05/1800.71 c logicor : 22276+ 5 3645661 0 0 597811 29629404 0 0 0
1800.05/1800.71 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.71 c integral : 37.49 0.00 0.00 37.49 0.00
1800.05/1800.71 c logicor : 850.36 0.02 850.34 0.00 0.00
1800.05/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.71 c rootredcost : 1.53 0 0 0
1800.05/1800.71 c pseudoobj : 105.16 4339747 0 0
1800.05/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.71 c propagation : 54.53 597811 597783 597783 30.0 34039 41.8 -
1800.05/1800.71 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.71 c applied globally : - - - 503748 22.1 - - -
1800.05/1800.71 c applied locally : - - - 115997 64.5 - - -
1800.05/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.71 c cut pool : 0.00 4 - - 9 - (maximal pool size: 157)
1800.05/1800.71 c redcost : 0.00 5 0 0 0 0
1800.05/1800.71 c impliedbounds : 0.00 5 0 0 0 0
1800.05/1800.71 c intobj : 0.00 0 0 0 0 0
1800.05/1800.71 c gomory : 1.22 5 0 0 2500 0
1800.05/1800.71 c strongcg : 1.18 5 0 0 2500 0
1800.05/1800.71 c cmir : 0.00 0 0 0 0 0
1800.05/1800.71 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.71 c clique : 0.03 5 0 0 30 0
1800.05/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.71 c mcf : 0.03 1 0 0 0 0
1800.05/1800.71 c Pricers : Time Calls Vars
1800.05/1800.71 c problem variables: 0.00 0 0
1800.05/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.71 c relpscost : 37.49 1 0 0 0 0 2
1800.05/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.71 c inference : 20.35 671246 0 0 0 0 1342492
1800.05/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.71 c random : 0.00 0 0 0 0 0 0
1800.05/1800.71 c Primal Heuristics : Time Calls Found
1800.05/1800.71 c LP solutions : 0.00 - 0
1800.05/1800.71 c pseudo solutions : 0.00 - 0
1800.05/1800.71 c simplerounding : 0.00 0 0
1800.05/1800.71 c rounding : 0.00 0 0
1800.05/1800.71 c shifting : 0.00 0 0
1800.05/1800.71 c intshifting : 0.00 0 0
1800.05/1800.71 c oneopt : 0.00 0 0
1800.05/1800.71 c fixandinfer : 0.00 0 0
1800.05/1800.71 c feaspump : 0.00 0 0
1800.05/1800.71 c coefdiving : 0.00 0 0
1800.05/1800.71 c pscostdiving : 0.00 0 0
1800.05/1800.71 c fracdiving : 0.00 0 0
1800.05/1800.71 c veclendiving : 0.00 0 0
1800.05/1800.71 c intdiving : 0.00 0 0
1800.05/1800.71 c actconsdiving : 0.00 0 0
1800.05/1800.71 c objpscostdiving : 0.00 0 0
1800.05/1800.71 c rootsoldiving : 0.00 0 0
1800.05/1800.71 c linesearchdiving : 0.00 0 0
1800.05/1800.71 c guideddiving : 0.00 0 0
1800.05/1800.71 c octane : 0.00 0 0
1800.05/1800.71 c rens : 0.00 0 0
1800.05/1800.71 c rins : 0.00 0 0
1800.05/1800.71 c localbranching : 0.00 0 0
1800.05/1800.71 c mutation : 0.00 0 0
1800.05/1800.71 c crossover : 0.00 0 0
1800.05/1800.71 c dins : 0.00 0 0
1800.05/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.71 c primal LP : 0.02 0 0 0.00 0.00
1800.05/1800.71 c dual LP : 1.36 6 866 144.33 636.76
1800.05/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.71 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.71 c strong branching : 37.49 33 13157 398.70 350.95
1800.05/1800.71 c (at root node) : - 33 13157 398.70 -
1800.05/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.71 c B&B Tree :
1800.05/1800.71 c number of runs : 1
1800.05/1800.71 c nodes : 927519
1800.05/1800.71 c nodes (total) : 927519
1800.05/1800.71 c nodes left : 108
1800.05/1800.71 c max depth : 249
1800.05/1800.71 c max depth (total): 249
1800.05/1800.71 c backtracks : 371827 (40.1%)
1800.05/1800.71 c delayed cutoffs : 414868
1800.05/1800.71 c repropagations : 926081 (17161153 domain reductions, 341539 cutoffs)
1800.05/1800.71 c avg switch length: 2.82
1800.05/1800.71 c switching time : 461.65
1800.05/1800.71 c Solution :
1800.05/1800.71 c Solutions found : 0 (0 improvements)
1800.05/1800.71 c Primal Bound : -
1800.05/1800.71 c Dual Bound : +2.00000000000001e+01
1800.05/1800.71 c Gap : infinite
1800.05/1800.71 c Root Dual Bound : +2.00000000000000e+01
1800.05/1800.80 c Time complete: 1800.14.