0.19/0.24 c SCIP version 1.1.0.7
0.19/0.24 c LP-Solver Clp 1.8.2
0.19/0.24 c user parameter file <scip.set> not found - using default parameters
0.19/0.24 c read problem <HOME/instance-1885048-1245262387.opb>
0.19/0.24 c original problem has 1677 variables (1677 bin, 0 int, 0 impl, 0 cont) and 15063 constraints
0.19/0.29 c No objective function, only one solution is needed.
0.19/0.29 c start presolving problem
0.19/0.29 c presolving:
0.39/0.49 c (round 1) 0 del vars, 400 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 14663 upgd conss, 36608 impls, 0 clqs
0.49/0.51 c presolving (2 rounds):
0.49/0.51 c 0 deleted vars, 400 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.51 c 36608 implications, 0 cliques
0.49/0.51 c presolved problem has 1677 variables (1677 bin, 0 int, 0 impl, 0 cont) and 14663 constraints
0.49/0.51 c 14663 constraints of type <logicor>
0.49/0.51 c transformed objective value is always integral (scale: 1)
0.49/0.51 c Presolving Time: 0.19
0.49/0.51 c PURESAT
0.49/0.51 c -----------------------------------------------------------------------------------------------
0.49/0.51 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.51 c separating/flowcover/freq = c -1
0.49/0.51 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.51 c separating/cmir/freq = c -1
0.49/0.51 c # additional number of allowed LP iterations
0.49/0.51 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.51 c heuristics/veclendiving/maxlpiterofs = c 1500
0.49/0.51 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.51 c heuristics/veclendiving/maxlpiterquot = c 0.075
0.49/0.51 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.51 c heuristics/veclendiving/freq = c -1
0.49/0.51 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.51 c heuristics/simplerounding/freq = c -1
0.49/0.51 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.51 c heuristics/shifting/freq = c -1
0.49/0.51 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.51 c heuristics/rounding/freq = c -1
0.49/0.51 c # additional number of allowed LP iterations
0.49/0.51 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.51 c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.49/0.51 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.49/0.51 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.49/0.51 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.51 c heuristics/rootsoldiving/freq = c -1
0.49/0.51 c # number of nodes added to the contingent of the total nodes
0.49/0.51 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.49/0.51 c heuristics/rens/nodesofs = c 2000
0.49/0.51 c # minimum percentage of integer variables that have to be fixable
0.49/0.51 c # [type: real, range: [0,1], default: 0.5]
0.49/0.51 c heuristics/rens/minfixingrate = c 0.3
0.49/0.51 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.51 c heuristics/rens/freq = c -1
0.49/0.51 c # additional number of allowed LP iterations
0.49/0.51 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.51 c heuristics/pscostdiving/maxlpiterofs = c 1500
0.49/0.51 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.51 c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.49/0.51 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.51 c heuristics/pscostdiving/freq = c -1
0.49/0.51 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.51 c heuristics/oneopt/freq = c -1
0.49/0.51 c # additional number of allowed LP iterations
0.49/0.51 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.51 c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.49/0.51 c # maximal fraction of diving LP iterations compared to total iteration number
0.49/0.51 c # [type: real, range: [0,1], default: 0.01]
0.49/0.51 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.49/0.51 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.51 c heuristics/objpscostdiving/freq = c -1
0.49/0.51 c # additional number of allowed LP iterations
0.49/0.51 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.51 c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.49/0.51 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.51 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.49/0.52 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.49/0.52 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.52 c heuristics/linesearchdiving/freq = c -1
0.49/0.52 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.49/0.52 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.52 c heuristics/intshifting/freq = c -1
0.49/0.52 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.52 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.52 c heuristics/intdiving/maxlpiterquot = c 0.075
0.49/0.52 c # additional number of allowed LP iterations
0.49/0.52 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.52 c heuristics/guideddiving/maxlpiterofs = c 1500
0.49/0.52 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.52 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.52 c heuristics/guideddiving/maxlpiterquot = c 0.075
0.49/0.52 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.49/0.52 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.52 c heuristics/guideddiving/freq = c -1
0.49/0.52 c # additional number of allowed LP iterations
0.49/0.52 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.52 c heuristics/fracdiving/maxlpiterofs = c 1500
0.49/0.52 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.52 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.52 c heuristics/fracdiving/maxlpiterquot = c 0.075
0.49/0.52 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.49/0.52 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.52 c heuristics/fracdiving/freq = c -1
0.49/0.52 c # additional number of allowed LP iterations
0.49/0.52 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.52 c heuristics/feaspump/maxlpiterofs = c 2000
0.49/0.52 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.49/0.52 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.52 c heuristics/feaspump/freq = c -1
0.49/0.52 c # minimum percentage of integer variables that have to be fixed
0.49/0.52 c # [type: real, range: [0,1], default: 0.666]
0.49/0.52 c heuristics/crossover/minfixingrate = c 0.5
0.49/0.52 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.49/0.52 c # [type: real, range: [0,1], default: 0.1]
0.49/0.52 c heuristics/crossover/nodesquot = c 0.15
0.49/0.52 c # number of nodes without incumbent change that heuristic should wait
0.49/0.52 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.49/0.52 c heuristics/crossover/nwaitingnodes = c 100
0.49/0.52 c # number of nodes added to the contingent of the total nodes
0.49/0.52 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.49/0.52 c heuristics/crossover/nodesofs = c 750
0.49/0.52 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.49/0.52 c # [type: int, range: [-1,2147483647], default: 30]
0.49/0.52 c heuristics/crossover/freq = c -1
0.49/0.52 c # additional number of allowed LP iterations
0.49/0.52 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.52 c heuristics/coefdiving/maxlpiterofs = c 1500
0.49/0.52 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.52 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.52 c heuristics/coefdiving/maxlpiterquot = c 0.075
0.49/0.52 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.49/0.52 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.52 c heuristics/coefdiving/freq = c -1
0.49/0.52 c # priority of node selection rule <dfs> in standard mode
0.49/0.52 c # [type: int, range: [-536870912,536870911], default: 0]
0.49/0.52 c nodeselection/dfs/stdpriority = c 1000000
0.49/0.52 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.49/0.52 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.52 c presolving/probing/maxrounds = c 0
0.49/0.52 c # should presolving try to simplify knapsacks
0.49/0.52 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.52 c constraints/knapsack/simplifyinequalities = c TRUE
0.49/0.52 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.49/0.52 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.49/0.52 c constraints/knapsack/disaggregation = c FALSE
0.49/0.52 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.49/0.52 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.52 c constraints/knapsack/maxnumcardlift = c 0
0.49/0.52 c # should presolving try to simplify inequalities
0.49/0.52 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.52 c constraints/linear/simplifyinequalities = c TRUE
0.49/0.52 c # maximal number of separation rounds in the root node (-1: unlimited)
0.49/0.52 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.52 c separating/maxroundsroot = c 5
0.49/0.52 c # maximal number of separation rounds per node (-1: unlimited)
0.49/0.52 c # [type: int, range: [-1,2147483647], default: 5]
0.49/0.52 c separating/maxrounds = c 1
0.49/0.52 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.49/0.52 c # [type: char, range: {lafpsqd}, default: l]
0.49/0.52 c lp/pricing = c a
0.49/0.52 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.49/0.52 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.52 c lp/solvefreq = c 0
0.49/0.52 c # solving stops, if the given number of solutions were found (-1: no limit)
0.49/0.52 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.52 c limits/solutions = c 1
0.49/0.52 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.52 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.52 c limits/memory = c 1620
0.49/0.52 c # maximal time in seconds to run
0.49/0.52 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.52 c limits/time = c 1791
0.49/0.52 c # frequency for displaying node information lines
0.49/0.52 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.52 c display/freq = c 10000
0.49/0.52 c # should enforcement of pseudo solution be disabled?
0.49/0.52 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.52 c constraints/disableenfops = c TRUE
0.49/0.52 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.49/0.52 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.52 c constraints/agelimit = c 1
0.49/0.52 c # should binary conflicts be preferred?
0.49/0.52 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.52 c conflict/preferbinary = c TRUE
0.49/0.52 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.49/0.52 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.52 c conflict/interconss = c 0
0.49/0.52 c -----------------------------------------------------------------------------------------------
0.49/0.52 c start solving problem
0.49/0.52 c
3.48/3.52 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.48/3.52 c 3.2s| 1 | 0 | 1652 | 21M| 0 | 823 |1677 | 14k| 14k|1677 | 14k| 0 | 0 | 0 | 1.330000e+02 | -- | Inf
22.97/23.01 c 22.6s| 1 | 0 | 2069 | 30M| 0 | 804 |1677 | 14k| 14k|1677 | 14k| 6 | 0 | 0 | 1.330000e+02 | -- | Inf
50.96/51.08 c 50.6s| 1 | 0 | 4451 | 39M| 0 | 939 |1677 | 14k| 14k|1677 | 14k| 14 | 0 | 0 | 1.330000e+02 | -- | Inf
81.75/81.89 c 81.3s| 1 | 0 | 7498 | 50M| 0 | 994 |1677 | 14k| 14k|1677 | 14k| 19 | 0 | 0 | 1.330000e+02 | -- | Inf
107.34/107.49 c 107s| 1 | 0 | 9237 | 59M| 0 |1058 |1677 | 14k| 14k|1677 | 14k| 25 | 0 | 0 | 1.330000e+02 | -- | Inf
136.13/136.20 c 136s| 1 | 0 | 11502 | 70M| 0 |1084 |1677 | 14k| 14k|1677 | 14k| 30 | 0 | 0 | 1.330000e+02 | -- | Inf
193.60/193.75 c 193s| 1 | 2 | 11502 | 70M| 0 |1084 |1677 | 14k| 14k|1677 | 14k| 30 | 0 | 21 | 1.330000e+02 | -- | Inf
206.10/206.29 c 205s| 10000 | 146 | 11502 | 71M| 375 | - |1677 | 14k|7034 | 0 | 0 | 30 |8106 | 21 | 1.330000e+02 | -- | Inf
219.49/219.68 c 218s| 20000 | 133 | 11502 | 72M| 375 | - |1677 | 15k|5879 | 0 | 0 | 30 | 16k| 21 | 1.330000e+02 | -- | Inf
234.29/234.45 c 233s| 30000 | 106 | 11502 | 71M| 375 | - |1677 | 15k|7743 | 0 | 0 | 30 | 24k| 21 | 1.330000e+02 | -- | Inf
248.59/248.73 c 247s| 40000 | 112 | 11502 | 71M| 375 | - |1677 | 15k|7214 | 0 | 0 | 30 | 33k| 21 | 1.330000e+02 | -- | Inf
263.67/263.85 c 262s| 50000 | 106 | 11502 | 72M| 375 | - |1677 | 15k|6504 | 0 | 0 | 30 | 41k| 21 | 1.330000e+02 | -- | Inf
277.87/278.02 c 276s| 60000 | 109 | 11502 | 72M| 375 | - |1677 | 15k|6075 | 0 | 0 | 30 | 50k| 21 | 1.330000e+02 | -- | Inf
290.67/290.86 c 289s| 70000 | 100 | 11502 | 72M| 375 | - |1677 | 16k|6678 | 0 | 0 | 30 | 58k| 21 | 1.330000e+02 | -- | Inf
304.76/304.98 c 303s| 80000 | 110 | 11502 | 72M| 375 | - |1677 | 17k|6745 | 0 | 0 | 30 | 67k| 21 | 1.330000e+02 | -- | Inf
318.36/318.53 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
318.36/318.53 c 316s| 90000 | 97 | 11502 | 72M| 375 | - |1677 | 17k|6241 | 0 | 0 | 30 | 74k| 21 | 1.330000e+02 | -- | Inf
332.35/332.56 c 330s|100000 | 124 | 11502 | 72M| 375 | - |1677 | 15k|7578 | 0 | 0 | 30 | 82k| 21 | 1.330000e+02 | -- | Inf
346.74/346.90 c 344s|110000 | 98 | 11502 | 72M| 375 | - |1677 | 16k|6185 | 0 | 0 | 30 | 90k| 21 | 1.330000e+02 | -- | Inf
361.04/361.21 c 358s|120000 | 95 | 11502 | 72M| 375 | - |1677 | 17k|6712 | 0 | 0 | 30 | 97k| 21 | 1.330000e+02 | -- | Inf
371.64/371.86 c 368s|130000 | 70 | 11502 | 71M| 375 | - |1677 | 14k|7313 | 0 | 0 | 30 | 105k| 21 | 1.330000e+02 | -- | Inf
385.03/385.24 c 382s|140000 | 67 | 11502 | 71M| 375 | - |1677 | 14k|7159 | 0 | 0 | 30 | 115k| 21 | 1.330000e+02 | -- | Inf
398.83/399.09 c 395s|150000 | 64 | 11502 | 71M| 375 | - |1677 | 14k|6792 | 0 | 0 | 30 | 124k| 21 | 1.330000e+02 | -- | Inf
412.62/412.83 c 409s|160000 | 70 | 11502 | 72M| 375 | - |1677 | 15k|6620 | 0 | 0 | 30 | 134k| 21 | 1.330000e+02 | -- | Inf
426.71/426.91 c 423s|170000 | 68 | 11502 | 72M| 375 | - |1677 | 17k|6734 | 0 | 0 | 30 | 144k| 21 | 1.330000e+02 | -- | Inf
442.61/442.84 c 438s|180000 | 62 | 11502 | 72M| 375 | - |1677 | 16k|7149 | 0 | 0 | 30 | 155k| 21 | 1.330000e+02 | -- | Inf
456.90/457.15 c 452s|190000 | 59 | 11502 | 73M| 375 | - |1677 | 18k|7491 | 0 | 0 | 30 | 166k| 21 | 1.330000e+02 | -- | Inf
471.09/471.33 c 466s|200000 | 55 | 11502 | 74M| 375 | - |1677 | 20k|6351 | 0 | 0 | 30 | 175k| 21 | 1.330000e+02 | -- | Inf
485.39/485.60 c 480s|210000 | 60 | 11502 | 72M| 375 | - |1677 | 16k|6886 | 0 | 0 | 30 | 184k| 21 | 1.330000e+02 | -- | Inf
498.98/499.26 c 494s|220000 | 58 | 11502 | 72M| 375 | - |1677 | 15k|6724 | 0 | 0 | 30 | 194k| 21 | 1.330000e+02 | -- | Inf
511.18/511.45 c 506s|230000 | 78 | 11502 | 73M| 375 | - |1677 | 17k|6751 | 0 | 0 | 30 | 202k| 21 | 1.330000e+02 | -- | Inf
523.97/524.25 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
523.97/524.25 c 518s|240000 | 54 | 11502 | 73M| 375 | - |1677 | 18k|6321 | 0 | 0 | 30 | 210k| 21 | 1.330000e+02 | -- | Inf
537.37/537.69 c 532s|250000 | 56 | 11502 | 74M| 375 | - |1677 | 20k|7062 | 0 | 0 | 30 | 219k| 21 | 1.330000e+02 | -- | Inf
550.56/550.87 c 545s|260000 | 70 | 11502 | 72M| 375 | - |1677 | 15k|6458 | 0 | 0 | 30 | 228k| 21 | 1.330000e+02 | -- | Inf
564.76/565.09 c 559s|270000 | 62 | 11502 | 72M| 375 | - |1677 | 14k|6759 | 0 | 0 | 30 | 238k| 21 | 1.330000e+02 | -- | Inf
580.05/580.33 c 574s|280000 | 67 | 11502 | 72M| 375 | - |1677 | 15k|6458 | 0 | 0 | 30 | 247k| 21 | 1.330000e+02 | -- | Inf
593.55/593.87 c 587s|290000 | 56 | 11502 | 73M| 375 | - |1677 | 16k|5862 | 0 | 0 | 30 | 255k| 21 | 1.330000e+02 | -- | Inf
607.64/607.95 c 601s|300000 | 59 | 11502 | 72M| 375 | - |1677 | 14k|5782 | 0 | 0 | 30 | 263k| 21 | 1.330000e+02 | -- | Inf
621.64/621.92 c 615s|310000 | 55 | 11502 | 72M| 375 | - |1677 | 15k|6737 | 0 | 0 | 30 | 272k| 21 | 1.330000e+02 | -- | Inf
635.63/635.91 c 628s|320000 | 55 | 11502 | 73M| 375 | - |1677 | 16k|6987 | 0 | 0 | 30 | 280k| 21 | 1.330000e+02 | -- | Inf
649.32/649.65 c 642s|330000 | 59 | 11502 | 72M| 375 | - |1677 | 15k|6583 | 0 | 0 | 30 | 289k| 21 | 1.330000e+02 | -- | Inf
663.41/663.76 c 656s|340000 | 61 | 11502 | 72M| 375 | - |1677 | 14k|5648 | 0 | 0 | 30 | 298k| 21 | 1.330000e+02 | -- | Inf
676.91/677.29 c 669s|350000 | 59 | 11502 | 72M| 375 | - |1677 | 15k|6467 | 0 | 0 | 30 | 306k| 21 | 1.330000e+02 | -- | Inf
691.11/691.45 c 683s|360000 | 64 | 11502 | 73M| 375 | - |1677 | 16k|5333 | 0 | 0 | 30 | 315k| 21 | 1.330000e+02 | -- | Inf
704.70/705.01 c 696s|370000 | 56 | 11502 | 73M| 375 | - |1677 | 18k|6295 | 0 | 0 | 30 | 323k| 21 | 1.330000e+02 | -- | Inf
718.39/718.72 c 710s|380000 | 76 | 11502 | 72M| 375 | - |1677 | 15k|7205 | 0 | 0 | 30 | 332k| 21 | 1.330000e+02 | -- | Inf
733.79/734.12 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
733.79/734.12 c 725s|390000 | 63 | 11502 | 72M| 375 | - |1677 | 15k|6140 | 0 | 0 | 30 | 341k| 21 | 1.330000e+02 | -- | Inf
749.98/750.39 c 741s|400000 | 63 | 11502 | 72M| 375 | - |1677 | 16k|5864 | 0 | 0 | 30 | 349k| 21 | 1.330000e+02 | -- | Inf
765.87/766.25 c 757s|410000 | 60 | 11502 | 72M| 375 | - |1677 | 15k|6083 | 0 | 0 | 30 | 358k| 21 | 1.330000e+02 | -- | Inf
780.87/781.27 c 772s|420000 | 62 | 11502 | 72M| 375 | - |1677 | 16k|6584 | 0 | 0 | 30 | 367k| 21 | 1.330000e+02 | -- | Inf
795.37/795.77 c 786s|430000 | 63 | 11502 | 72M| 375 | - |1677 | 15k|5881 | 0 | 0 | 30 | 375k| 21 | 1.330000e+02 | -- | Inf
809.96/810.30 c 800s|440000 | 63 | 11502 | 72M| 375 | - |1677 | 15k|6106 | 0 | 0 | 30 | 383k| 21 | 1.330000e+02 | -- | Inf
827.06/827.45 c 817s|450000 | 58 | 11502 | 72M| 375 | - |1677 | 16k|5738 | 0 | 0 | 30 | 391k| 21 | 1.330000e+02 | -- | Inf
841.64/842.09 c 832s|460000 | 57 | 11502 | 73M| 375 | - |1677 | 16k|5747 | 0 | 0 | 30 | 400k| 21 | 1.330000e+02 | -- | Inf
856.64/857.05 c 846s|470000 | 61 | 11502 | 72M| 375 | - |1677 | 15k|6789 | 0 | 0 | 30 | 408k| 21 | 1.330000e+02 | -- | Inf
868.94/869.31 c 858s|480000 | 48 | 11502 | 72M| 375 | - |1677 | 14k|6964 | 0 | 0 | 30 | 416k| 21 | 1.330000e+02 | -- | Inf
882.23/882.65 c 871s|490000 | 52 | 11502 | 72M| 375 | - |1677 | 15k|7004 | 0 | 0 | 30 | 424k| 21 | 1.330000e+02 | -- | Inf
894.33/894.75 c 883s|500000 | 52 | 11502 | 72M| 375 | - |1677 | 16k|6713 | 0 | 0 | 30 | 432k| 21 | 1.330000e+02 | -- | Inf
906.72/907.18 c 896s|510000 | 61 | 11502 | 72M| 375 | - |1677 | 15k|6799 | 0 | 0 | 30 | 439k| 21 | 1.330000e+02 | -- | Inf
921.21/921.63 c 910s|520000 | 58 | 11502 | 72M| 375 | - |1677 | 15k|5874 | 0 | 0 | 30 | 447k| 21 | 1.330000e+02 | -- | Inf
937.31/937.74 c 926s|530000 | 48 | 11502 | 72M| 375 | - |1677 | 15k|6362 | 0 | 0 | 30 | 456k| 21 | 1.330000e+02 | -- | Inf
951.80/952.25 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
951.80/952.25 c 940s|540000 | 50 | 11502 | 72M| 375 | - |1677 | 15k|6556 | 0 | 0 | 30 | 463k| 21 | 1.330000e+02 | -- | Inf
965.70/966.18 c 954s|550000 | 86 | 11502 | 72M| 375 | - |1677 | 14k|7389 | 0 | 0 | 30 | 471k| 21 | 1.330000e+02 | -- | Inf
979.59/980.01 c 967s|560000 | 60 | 11502 | 72M| 375 | - |1677 | 15k|6508 | 0 | 0 | 30 | 479k| 21 | 1.330000e+02 | -- | Inf
993.79/994.20 c 981s|570000 | 59 | 11502 | 72M| 375 | - |1677 | 15k|7716 | 0 | 0 | 30 | 486k| 21 | 1.330000e+02 | -- | Inf
1007.48/1007.92 c 995s|580000 | 57 | 11502 | 72M| 375 | - |1677 | 15k|6098 | 0 | 0 | 30 | 494k| 21 | 1.330000e+02 | -- | Inf
1021.78/1022.22 c 1009s|590000 | 57 | 11502 | 72M| 375 | - |1677 | 15k|6165 | 0 | 0 | 30 | 501k| 21 | 1.330000e+02 | -- | Inf
1035.87/1036.37 c 1023s|600000 | 72 | 11502 | 72M| 375 | - |1677 | 15k|6841 | 0 | 0 | 30 | 509k| 21 | 1.330000e+02 | -- | Inf
1049.36/1049.85 c 1036s|610000 | 85 | 11502 | 72M| 375 | - |1677 | 15k|6707 | 0 | 0 | 30 | 516k| 21 | 1.330000e+02 | -- | Inf
1060.86/1061.31 c 1047s|620000 | 58 | 11502 | 72M| 375 | - |1677 | 15k|6726 | 0 | 0 | 30 | 524k| 21 | 1.330000e+02 | -- | Inf
1074.35/1074.82 c 1061s|630000 | 62 | 11502 | 72M| 375 | - |1677 | 15k|6195 | 0 | 0 | 30 | 532k| 21 | 1.330000e+02 | -- | Inf
1089.95/1090.46 c 1076s|640000 | 64 | 11502 | 73M| 375 | - |1677 | 16k|6546 | 0 | 0 | 30 | 541k| 21 | 1.330000e+02 | -- | Inf
1104.95/1105.46 c 1091s|650000 | 58 | 11502 | 73M| 375 | - |1677 | 17k|6408 | 0 | 0 | 30 | 549k| 21 | 1.330000e+02 | -- | Inf
1120.24/1120.73 c 1106s|660000 | 52 | 11502 | 73M| 375 | - |1677 | 17k|6472 | 0 | 0 | 30 | 557k| 21 | 1.330000e+02 | -- | Inf
1135.13/1135.66 c 1121s|670000 | 58 | 11502 | 73M| 375 | - |1677 | 18k|6532 | 0 | 0 | 30 | 566k| 21 | 1.330000e+02 | -- | Inf
1145.93/1146.41 c 1131s|680000 | 86 | 11502 | 73M| 375 | - |1677 | 16k| 11k| 0 | 0 | 30 | 573k| 21 | 1.330000e+02 | -- | Inf
1158.82/1159.31 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1158.82/1159.31 c 1144s|690000 | 147 | 11502 | 73M| 375 | - |1677 | 18k|7454 | 0 | 0 | 30 | 582k| 21 | 1.330000e+02 | -- | Inf
1172.41/1172.93 c 1157s|700000 | 142 | 11502 | 74M| 375 | - |1677 | 20k|7057 | 0 | 0 | 30 | 591k| 21 | 1.330000e+02 | -- | Inf
1184.81/1185.34 c 1169s|710000 | 118 | 11502 | 75M| 375 | - |1677 | 22k|7878 | 0 | 0 | 30 | 601k| 21 | 1.330000e+02 | -- | Inf
1197.61/1198.15 c 1182s|720000 | 115 | 11502 | 76M| 375 | - |1677 | 24k|6884 | 0 | 0 | 30 | 610k| 21 | 1.330000e+02 | -- | Inf
1211.11/1211.66 c 1195s|730000 | 107 | 11502 | 76M| 375 | - |1677 | 25k|6562 | 0 | 0 | 30 | 619k| 21 | 1.330000e+02 | -- | Inf
1225.69/1226.28 c 1210s|740000 | 112 | 11502 | 77M| 375 | - |1677 | 26k|7225 | 0 | 0 | 30 | 628k| 21 | 1.330000e+02 | -- | Inf
1240.49/1241.07 c 1224s|750000 | 118 | 11502 | 77M| 375 | - |1677 | 27k|7819 | 0 | 0 | 30 | 636k| 21 | 1.330000e+02 | -- | Inf
1255.38/1255.96 c 1239s|760000 | 102 | 11502 | 78M| 375 | - |1677 | 28k|6512 | 0 | 0 | 30 | 645k| 21 | 1.330000e+02 | -- | Inf
1269.58/1270.20 c 1253s|770000 | 93 | 11502 | 78M| 375 | - |1677 | 30k|8399 | 0 | 0 | 30 | 654k| 21 | 1.330000e+02 | -- | Inf
1284.88/1285.49 c 1268s|780000 | 97 | 11502 | 79M| 375 | - |1677 | 32k|6170 | 0 | 0 | 30 | 664k| 21 | 1.330000e+02 | -- | Inf
1299.36/1299.93 c 1282s|790000 | 95 | 11502 | 79M| 375 | - |1677 | 32k|7217 | 0 | 0 | 30 | 673k| 21 | 1.330000e+02 | -- | Inf
1314.17/1314.78 c 1297s|800000 | 97 | 11502 | 80M| 375 | - |1677 | 34k|5844 | 0 | 0 | 30 | 684k| 21 | 1.330000e+02 | -- | Inf
1330.25/1330.80 c 1313s|810000 | 90 | 11502 | 80M| 375 | - |1677 | 35k|5905 | 0 | 0 | 30 | 693k| 21 | 1.330000e+02 | -- | Inf
1342.95/1343.53 c 1325s|820000 | 96 | 11502 | 81M| 375 | - |1677 | 37k|6525 | 0 | 0 | 30 | 702k| 21 | 1.330000e+02 | -- | Inf
1354.85/1355.47 c 1337s|830000 | 87 | 11502 | 82M| 375 | - |1677 | 39k|7853 | 0 | 0 | 30 | 713k| 21 | 1.330000e+02 | -- | Inf
1368.04/1368.65 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1368.04/1368.65 c 1350s|840000 | 91 | 11502 | 83M| 375 | - |1677 | 42k|7689 | 0 | 0 | 30 | 723k| 21 | 1.330000e+02 | -- | Inf
1382.54/1383.17 c 1364s|850000 | 85 | 11502 | 83M| 375 | - |1677 | 43k|7293 | 0 | 0 | 30 | 733k| 21 | 1.330000e+02 | -- | Inf
1396.93/1397.55 c 1378s|860000 | 81 | 11502 | 84M| 375 | - |1677 | 44k|7840 | 0 | 0 | 30 | 743k| 21 | 1.330000e+02 | -- | Inf
1408.93/1409.58 c 1390s|870000 | 85 | 11502 | 85M| 375 | - |1677 | 46k|6944 | 0 | 0 | 30 | 752k| 21 | 1.330000e+02 | -- | Inf
1423.02/1423.65 c 1404s|880000 | 95 | 11502 | 85M| 375 | - |1677 | 47k|6077 | 0 | 0 | 30 | 761k| 21 | 1.330000e+02 | -- | Inf
1436.42/1437.07 c 1417s|890000 | 80 | 11502 | 86M| 375 | - |1677 | 49k|7555 | 0 | 0 | 30 | 770k| 21 | 1.330000e+02 | -- | Inf
1449.61/1450.22 c 1430s|900000 | 84 | 11502 | 87M| 375 | - |1677 | 51k|6005 | 0 | 0 | 30 | 780k| 21 | 1.330000e+02 | -- | Inf
1463.31/1463.96 c 1444s|910000 | 75 | 11502 | 88M| 375 | - |1677 | 53k|6736 | 0 | 0 | 30 | 789k| 21 | 1.330000e+02 | -- | Inf
1476.40/1477.03 c 1456s|920000 | 82 | 11502 | 88M| 375 | - |1677 | 54k|6602 | 0 | 0 | 30 | 798k| 21 | 1.330000e+02 | -- | Inf
1490.39/1491.02 c 1470s|930000 | 74 | 11502 | 89M| 375 | - |1677 | 56k|6593 | 0 | 0 | 30 | 807k| 21 | 1.330000e+02 | -- | Inf
1503.99/1504.65 c 1484s|940000 | 84 | 11502 | 89M| 375 | - |1677 | 58k|6472 | 0 | 0 | 30 | 816k| 21 | 1.330000e+02 | -- | Inf
1518.68/1519.35 c 1498s|950000 | 74 | 11502 | 89M| 375 | - |1677 | 57k|7347 | 0 | 0 | 30 | 824k| 21 | 1.330000e+02 | -- | Inf
1532.18/1532.85 c 1511s|960000 | 68 | 11502 | 90M| 375 | - |1677 | 59k|6859 | 0 | 0 | 30 | 833k| 21 | 1.330000e+02 | -- | Inf
1546.47/1547.13 c 1525s|970000 | 73 | 11502 | 90M| 375 | - |1677 | 60k|6336 | 0 | 0 | 30 | 842k| 21 | 1.330000e+02 | -- | Inf
1560.06/1560.80 c 1539s|980000 | 77 | 11502 | 91M| 375 | - |1677 | 61k|6519 | 0 | 0 | 30 | 851k| 21 | 1.330000e+02 | -- | Inf
1573.86/1574.52 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1573.86/1574.52 c 1552s|990000 | 70 | 11502 | 91M| 375 | - |1677 | 62k|6544 | 0 | 0 | 30 | 859k| 21 | 1.330000e+02 | -- | Inf
1586.56/1587.22 c 1565s| 1000k| 67 | 11502 | 79M| 375 | - |1677 | 28k|7313 | 0 | 0 | 30 | 868k| 21 | 1.330000e+02 | -- | Inf
1599.15/1599.87 c 1577s| 1010k| 62 | 11502 | 80M| 375 | - |1677 | 30k|6057 | 0 | 0 | 30 | 877k| 21 | 1.330000e+02 | -- | Inf
1611.64/1612.38 c 1590s| 1020k| 69 | 11502 | 80M| 375 | - |1677 | 31k|6871 | 0 | 0 | 30 | 885k| 21 | 1.330000e+02 | -- | Inf
1624.54/1625.20 c 1602s| 1030k| 56 | 11502 | 81M| 375 | - |1677 | 32k|7173 | 0 | 0 | 30 | 893k| 21 | 1.330000e+02 | -- | Inf
1639.54/1640.26 c 1617s| 1040k| 76 | 11502 | 81M| 375 | - |1677 | 34k|6699 | 0 | 0 | 30 | 903k| 21 | 1.330000e+02 | -- | Inf
1653.52/1654.26 c 1631s| 1050k| 64 | 11502 | 82M| 375 | - |1677 | 36k|6083 | 0 | 0 | 30 | 912k| 21 | 1.330000e+02 | -- | Inf
1667.72/1668.47 c 1645s| 1060k| 70 | 11502 | 83M| 375 | - |1677 | 38k|5764 | 0 | 0 | 30 | 921k| 21 | 1.330000e+02 | -- | Inf
1684.31/1685.03 c 1661s| 1070k| 61 | 11502 | 83M| 375 | - |1677 | 39k|6887 | 0 | 0 | 30 | 930k| 21 | 1.330000e+02 | -- | Inf
1698.41/1699.12 c 1675s| 1080k| 61 | 11502 | 84M| 375 | - |1677 | 41k|6731 | 0 | 0 | 30 | 939k| 21 | 1.330000e+02 | -- | Inf
1712.00/1712.75 c 1688s| 1090k| 58 | 11502 | 84M| 375 | - |1677 | 42k|7042 | 0 | 0 | 30 | 948k| 21 | 1.330000e+02 | -- | Inf
1726.80/1727.54 c 1703s| 1100k| 60 | 11502 | 85M| 375 | - |1677 | 44k|7318 | 0 | 0 | 30 | 957k| 21 | 1.330000e+02 | -- | Inf
1741.29/1742.07 c 1717s| 1110k| 72 | 11502 | 86M| 375 | - |1677 | 46k|6539 | 0 | 0 | 30 | 966k| 21 | 1.330000e+02 | -- | Inf
1756.99/1757.74 c 1733s| 1120k| 63 | 11502 | 86M| 375 | - |1677 | 48k|6896 | 0 | 0 | 30 | 975k| 21 | 1.330000e+02 | -- | Inf
1771.78/1772.53 c 1747s| 1130k| 57 | 11502 | 87M| 375 | - |1677 | 49k|6404 | 0 | 0 | 30 | 984k| 21 | 1.330000e+02 | -- | Inf
1787.27/1788.09 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1787.27/1788.09 c 1763s| 1140k| 58 | 11502 | 88M| 375 | - |1677 | 51k|6316 | 0 | 0 | 30 | 993k| 21 | 1.330000e+02 | -- | Inf
1800.07/1800.80 c
1800.07/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.80 c Solving Time (sec) : 1775.13
1800.07/1800.80 c Solving Nodes : 1148779
1800.07/1800.80 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.07/1800.80 c Dual Bound : +1.33000000000001e+02
1800.07/1800.80 c Gap : infinite
1800.07/1800.80 c NODE 1148779
1800.07/1800.80 c DUAL BOUND 133
1800.07/1800.80 c PRIMAL BOUND 1e+20
1800.07/1800.80 c GAP 1e+20
1800.07/1800.80 s UNKNOWN
1800.07/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.80 c Solving Time : 1775.13
1800.07/1800.80 c Original Problem :
1800.07/1800.80 c Problem name : HOME/instance-1885048-1245262387.opb
1800.07/1800.80 c Variables : 1677 (1677 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.80 c Constraints : 15063 initial, 15063 maximal
1800.07/1800.80 c Presolved Problem :
1800.07/1800.80 c Problem name : t_HOME/instance-1885048-1245262387.opb
1800.07/1800.80 c Variables : 1677 (1677 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.80 c Constraints : 14663 initial, 63038 maximal
1800.07/1800.80 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.80 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.80 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.80 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.80 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.80 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.80 c probing : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.80 c linear : 0.11 0 0 0 0 0 400 0 0
1800.07/1800.80 c logicor : 0.05 0 0 0 0 0 0 0 0
1800.07/1800.80 c root node : - 0 - - 0 - - - -
1800.07/1800.80 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.80 c integral : 0 0 0 1 0 0 0 0 0 2
1800.07/1800.80 c logicor : 14663+ 5 5421898 0 0 579904 39801343 0 0 0
1800.07/1800.80 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.80 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.80 c integral : 57.46 0.00 0.00 57.46 0.00
1800.07/1800.80 c logicor : 626.41 0.00 626.41 0.00 0.00
1800.07/1800.80 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.80 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.80 c rootredcost : 2.21 0 0 0
1800.07/1800.80 c pseudoobj : 476.87 6579715 0 0
1800.07/1800.80 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.80 c propagation : 231.79 579904 579904 579904 31.7 422599 28.6 -
1800.07/1800.80 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.80 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.80 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.80 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.80 c applied globally : - - - 1001970 30.3 - - -
1800.07/1800.80 c applied locally : - - - 0 0.0 - - -
1800.07/1800.80 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.80 c cut pool : 0.03 4 - - 44 - (maximal pool size: 1541)
1800.07/1800.80 c redcost : 0.00 5 0 0 0 0
1800.07/1800.80 c impliedbounds : 0.01 5 0 0 0 0
1800.07/1800.80 c intobj : 0.00 0 0 0 0 0
1800.07/1800.80 c gomory : 87.26 5 0 0 350 0
1800.07/1800.80 c strongcg : 5.76 5 0 0 2500 0
1800.07/1800.80 c cmir : 0.00 0 0 0 0 0
1800.07/1800.80 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.80 c clique : 0.08 5 0 0 39 0
1800.07/1800.80 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.80 c mcf : 0.03 1 0 0 0 0
1800.07/1800.80 c Pricers : Time Calls Vars
1800.07/1800.80 c problem variables: 0.00 0 0
1800.07/1800.80 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.80 c relpscost : 57.46 1 0 0 0 0 2
1800.07/1800.80 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.80 c inference : 94.50 854468 0 0 0 0 1708936
1800.07/1800.80 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.80 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.80 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.80 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.80 c random : 0.00 0 0 0 0 0 0
1800.07/1800.80 c Primal Heuristics : Time Calls Found
1800.07/1800.80 c LP solutions : 0.00 - 0
1800.07/1800.80 c pseudo solutions : 0.00 - 0
1800.07/1800.80 c simplerounding : 0.00 0 0
1800.07/1800.80 c rounding : 0.00 0 0
1800.07/1800.80 c shifting : 0.00 0 0
1800.07/1800.80 c intshifting : 0.00 0 0
1800.07/1800.80 c oneopt : 0.00 0 0
1800.07/1800.80 c fixandinfer : 0.00 0 0
1800.07/1800.80 c feaspump : 0.00 0 0
1800.07/1800.80 c coefdiving : 0.00 0 0
1800.07/1800.80 c pscostdiving : 0.00 0 0
1800.07/1800.80 c fracdiving : 0.00 0 0
1800.07/1800.80 c veclendiving : 0.00 0 0
1800.07/1800.80 c intdiving : 0.00 0 0
1800.07/1800.80 c actconsdiving : 0.00 0 0
1800.07/1800.80 c objpscostdiving : 0.00 0 0
1800.07/1800.80 c rootsoldiving : 0.00 0 0
1800.07/1800.80 c linesearchdiving : 0.00 0 0
1800.07/1800.80 c guideddiving : 0.00 0 0
1800.07/1800.80 c octane : 0.00 0 0
1800.07/1800.80 c rens : 0.00 0 0
1800.07/1800.80 c rins : 0.00 0 0
1800.07/1800.80 c localbranching : 0.00 0 0
1800.07/1800.80 c mutation : 0.00 0 0
1800.07/1800.80 c crossover : 0.00 0 0
1800.07/1800.80 c dins : 0.00 0 0
1800.07/1800.80 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.80 c primal LP : 0.03 0 0 0.00 0.00
1800.07/1800.80 c dual LP : 41.93 6 11502 1917.00 274.31
1800.07/1800.80 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.80 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.81 c strong branching : 57.46 21 12464 593.52 216.92
1800.07/1800.81 c (at root node) : - 21 12464 593.52 -
1800.07/1800.81 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.81 c B&B Tree :
1800.07/1800.81 c number of runs : 1
1800.07/1800.81 c nodes : 1148779
1800.07/1800.81 c nodes (total) : 1148779
1800.07/1800.81 c nodes left : 59
1800.07/1800.81 c max depth : 375
1800.07/1800.81 c max depth (total): 375
1800.07/1800.81 c backtracks : 357491 (31.1%)
1800.07/1800.81 c delayed cutoffs : 560101
1800.07/1800.81 c repropagations : 1509771 (19670818 domain reductions, 285594 cutoffs)
1800.07/1800.81 c avg switch length: 3.74
1800.07/1800.81 c switching time : 253.60
1800.07/1800.81 c Solution :
1800.07/1800.81 c Solutions found : 0 (0 improvements)
1800.07/1800.81 c Primal Bound : -
1800.07/1800.81 c Dual Bound : +1.33000000000001e+02
1800.07/1800.81 c Gap : infinite
1800.07/1800.81 c Root Dual Bound : +1.33000000000000e+02
1800.17/1800.97 c Time complete: 1800.24.