0.19/0.21 c SCIP version 1.1.0.7
0.19/0.21 c LP-Solver Clp 1.8.2
0.19/0.21 c user parameter file <scip.set> not found - using default parameters
0.19/0.21 c read problem <HOME/instance-1884808-1245260479.opb>
0.19/0.21 c original problem has 360 variables (360 bin, 0 int, 0 impl, 0 cont) and 15466 constraints
0.19/0.24 c No objective function, only one solution is needed.
0.19/0.24 c start presolving problem
0.19/0.24 c presolving:
0.39/0.41 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 15466 upgd conss, 30896 impls, 0 clqs
0.39/0.44 c presolving (2 rounds):
0.39/0.44 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.44 c 30896 implications, 0 cliques
0.39/0.44 c presolved problem has 360 variables (360 bin, 0 int, 0 impl, 0 cont) and 15466 constraints
0.39/0.44 c 15466 constraints of type <logicor>
0.39/0.44 c transformed objective value is always integral (scale: 1)
0.39/0.44 c Presolving Time: 0.16
0.39/0.44 c PURESAT
0.39/0.44 c -----------------------------------------------------------------------------------------------
0.39/0.44 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.44 c separating/flowcover/freq = c -1
0.39/0.44 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.44 c separating/cmir/freq = c -1
0.39/0.44 c # additional number of allowed LP iterations
0.39/0.44 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.44 c heuristics/veclendiving/maxlpiterofs = c 1500
0.39/0.44 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.44 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.44 c heuristics/veclendiving/maxlpiterquot = c 0.075
0.39/0.44 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.44 c heuristics/veclendiving/freq = c -1
0.39/0.44 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.44 c heuristics/simplerounding/freq = c -1
0.39/0.44 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.44 c heuristics/shifting/freq = c -1
0.39/0.44 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.44 c heuristics/rounding/freq = c -1
0.39/0.44 c # additional number of allowed LP iterations
0.39/0.44 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.44 c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.39/0.44 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.44 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.39/0.44 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.39/0.44 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.44 c heuristics/rootsoldiving/freq = c -1
0.39/0.44 c # number of nodes added to the contingent of the total nodes
0.39/0.44 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.44 c heuristics/rens/nodesofs = c 2000
0.39/0.44 c # minimum percentage of integer variables that have to be fixable
0.39/0.44 c # [type: real, range: [0,1], default: 0.5]
0.39/0.44 c heuristics/rens/minfixingrate = c 0.3
0.39/0.44 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.44 c heuristics/rens/freq = c -1
0.39/0.44 c # additional number of allowed LP iterations
0.39/0.44 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.44 c heuristics/pscostdiving/maxlpiterofs = c 1500
0.39/0.44 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.44 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.44 c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.39/0.44 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.44 c heuristics/pscostdiving/freq = c -1
0.39/0.44 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.44 c heuristics/oneopt/freq = c -1
0.39/0.44 c # additional number of allowed LP iterations
0.39/0.44 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.44 c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.39/0.44 c # maximal fraction of diving LP iterations compared to total iteration number
0.39/0.44 c # [type: real, range: [0,1], default: 0.01]
0.39/0.44 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.39/0.44 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.44 c heuristics/objpscostdiving/freq = c -1
0.39/0.44 c # additional number of allowed LP iterations
0.39/0.44 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.44 c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.39/0.44 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.44 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.44 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.39/0.44 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.44 c heuristics/linesearchdiving/freq = c -1
0.39/0.44 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.44 c heuristics/intshifting/freq = c -1
0.39/0.44 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.44 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.44 c heuristics/intdiving/maxlpiterquot = c 0.075
0.39/0.44 c # additional number of allowed LP iterations
0.39/0.44 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.44 c heuristics/guideddiving/maxlpiterofs = c 1500
0.39/0.44 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.44 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.44 c heuristics/guideddiving/maxlpiterquot = c 0.075
0.39/0.44 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.44 c heuristics/guideddiving/freq = c -1
0.39/0.44 c # additional number of allowed LP iterations
0.39/0.44 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.44 c heuristics/fracdiving/maxlpiterofs = c 1500
0.39/0.44 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.44 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.44 c heuristics/fracdiving/maxlpiterquot = c 0.075
0.39/0.44 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.44 c heuristics/fracdiving/freq = c -1
0.39/0.44 c # additional number of allowed LP iterations
0.39/0.44 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.44 c heuristics/feaspump/maxlpiterofs = c 2000
0.39/0.44 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.44 c heuristics/feaspump/freq = c -1
0.39/0.44 c # minimum percentage of integer variables that have to be fixed
0.39/0.44 c # [type: real, range: [0,1], default: 0.666]
0.39/0.44 c heuristics/crossover/minfixingrate = c 0.5
0.39/0.44 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.39/0.44 c # [type: real, range: [0,1], default: 0.1]
0.39/0.44 c heuristics/crossover/nodesquot = c 0.15
0.39/0.44 c # number of nodes without incumbent change that heuristic should wait
0.39/0.44 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.39/0.44 c heuristics/crossover/nwaitingnodes = c 100
0.39/0.44 c # number of nodes added to the contingent of the total nodes
0.39/0.44 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.44 c heuristics/crossover/nodesofs = c 750
0.39/0.44 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: 30]
0.39/0.44 c heuristics/crossover/freq = c -1
0.39/0.44 c # additional number of allowed LP iterations
0.39/0.44 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.44 c heuristics/coefdiving/maxlpiterofs = c 1500
0.39/0.44 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.44 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.44 c heuristics/coefdiving/maxlpiterquot = c 0.075
0.39/0.44 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.44 c heuristics/coefdiving/freq = c -1
0.39/0.44 c # priority of node selection rule <dfs> in standard mode
0.39/0.44 c # [type: int, range: [-536870912,536870911], default: 0]
0.39/0.44 c nodeselection/dfs/stdpriority = c 1000000
0.39/0.44 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.44 c presolving/probing/maxrounds = c 0
0.39/0.44 c # should presolving try to simplify knapsacks
0.39/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.44 c constraints/knapsack/simplifyinequalities = c TRUE
0.39/0.44 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.39/0.44 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.39/0.44 c constraints/knapsack/disaggregation = c FALSE
0.39/0.44 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.44 c constraints/knapsack/maxnumcardlift = c 0
0.39/0.44 c # should presolving try to simplify inequalities
0.39/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.44 c constraints/linear/simplifyinequalities = c TRUE
0.39/0.44 c # maximal number of separation rounds in the root node (-1: unlimited)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.44 c separating/maxroundsroot = c 5
0.39/0.44 c # maximal number of separation rounds per node (-1: unlimited)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: 5]
0.39/0.44 c separating/maxrounds = c 1
0.39/0.44 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.39/0.44 c # [type: char, range: {lafpsqd}, default: l]
0.39/0.44 c lp/pricing = c a
0.39/0.44 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.44 c lp/solvefreq = c 0
0.39/0.44 c # solving stops, if the given number of solutions were found (-1: no limit)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.44 c limits/solutions = c 1
0.39/0.44 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.44 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.44 c limits/memory = c 1620
0.39/0.44 c # maximal time in seconds to run
0.39/0.44 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.44 c limits/time = c 1791
0.39/0.44 c # frequency for displaying node information lines
0.39/0.44 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.44 c display/freq = c 10000
0.39/0.44 c # should enforcement of pseudo solution be disabled?
0.39/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.44 c constraints/disableenfops = c TRUE
0.39/0.44 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.44 c constraints/agelimit = c 1
0.39/0.44 c # should binary conflicts be preferred?
0.39/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.44 c conflict/preferbinary = c TRUE
0.39/0.44 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.44 c conflict/interconss = c 0
0.39/0.44 c -----------------------------------------------------------------------------------------------
0.39/0.44 c start solving problem
0.39/0.44 c
0.49/0.53 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.53 c 0.2s| 1 | 0 | 36 | 17M| 0 | 36 | 360 | 15k| 15k| 360 | 15k| 0 | 0 | 0 | 1.800000e+01 | -- | Inf
0.89/0.95 c 0.7s| 1 | 0 | 184 | 17M| 0 | 34 | 360 | 15k| 15k| 360 | 15k| 3 | 0 | 0 | 1.800000e+01 | -- | Inf
1.29/1.31 c 1.0s| 1 | 0 | 285 | 17M| 0 | 34 | 360 | 15k| 15k| 360 | 15k| 7 | 0 | 0 | 1.800000e+01 | -- | Inf
1.69/1.72 c 1.4s| 1 | 0 | 388 | 17M| 0 | 32 | 360 | 15k| 15k| 360 | 15k| 10 | 0 | 0 | 1.800000e+01 | -- | Inf
2.09/2.16 c 1.9s| 1 | 0 | 519 | 17M| 0 | 43 | 360 | 15k| 15k| 360 | 15k| 15 | 0 | 0 | 1.800000e+01 | -- | Inf
2.69/2.71 c 2.4s| 1 | 0 | 641 | 17M| 0 | 69 | 360 | 15k| 15k| 360 | 15k| 21 | 0 | 0 | 1.800000e+01 | -- | Inf
4.78/4.80 c 4.4s| 1 | 2 | 641 | 17M| 0 | 69 | 360 | 15k| 15k| 360 | 15k| 21 | 0 | 33 | 1.800000e+01 | -- | Inf
14.77/14.89 c 14.3s| 10000 | 92 | 641 | 18M| 190 | - | 360 | 15k|9375 | 0 | 0 | 21 |7036 | 33 | 1.800000e+01 | -- | Inf
24.38/24.49 c 23.8s| 20000 | 88 | 641 | 18M| 190 | - | 360 | 15k|8212 | 0 | 0 | 21 | 13k| 33 | 1.800000e+01 | -- | Inf
34.97/35.00 c 34.1s| 30000 | 93 | 641 | 18M| 190 | - | 360 | 15k|7999 | 0 | 0 | 21 | 20k| 33 | 1.800000e+01 | -- | Inf
45.27/45.31 c 44.2s| 40000 | 81 | 641 | 18M| 190 | - | 360 | 15k|7904 | 0 | 0 | 21 | 27k| 33 | 1.800000e+01 | -- | Inf
55.56/55.64 c 54.4s| 50000 | 82 | 641 | 18M| 190 | - | 360 | 15k|6902 | 0 | 0 | 21 | 34k| 33 | 1.800000e+01 | -- | Inf
65.76/65.83 c 64.3s| 60000 | 75 | 641 | 18M| 190 | - | 360 | 15k|7011 | 0 | 0 | 21 | 42k| 33 | 1.800000e+01 | -- | Inf
77.36/77.45 c 75.8s| 70000 | 79 | 641 | 18M| 190 | - | 360 | 15k|7037 | 0 | 0 | 21 | 49k| 33 | 1.800000e+01 | -- | Inf
88.45/88.50 c 86.7s| 80000 | 64 | 641 | 18M| 190 | - | 360 | 15k|6583 | 0 | 0 | 21 | 56k| 33 | 1.800000e+01 | -- | Inf
100.06/100.13 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
100.06/100.13 c 98.1s| 90000 | 68 | 641 | 18M| 190 | - | 360 | 15k|6357 | 0 | 0 | 21 | 63k| 33 | 1.800000e+01 | -- | Inf
111.05/111.19 c 109s|100000 | 52 | 641 | 18M| 190 | - | 360 | 15k|6164 | 0 | 0 | 21 | 70k| 33 | 1.800000e+01 | -- | Inf
121.84/121.96 c 120s|110000 | 55 | 641 | 18M| 190 | - | 360 | 15k|6407 | 0 | 0 | 21 | 77k| 33 | 1.800000e+01 | -- | Inf
133.05/133.19 c 131s|120000 | 48 | 641 | 18M| 190 | - | 360 | 15k|6114 | 0 | 0 | 21 | 84k| 33 | 1.800000e+01 | -- | Inf
144.23/144.34 c 142s|130000 | 45 | 641 | 18M| 190 | - | 360 | 15k|6835 | 0 | 0 | 21 | 91k| 33 | 1.800000e+01 | -- | Inf
154.73/154.84 c 152s|140000 | 44 | 641 | 18M| 190 | - | 360 | 15k|5392 | 0 | 0 | 21 | 98k| 33 | 1.800000e+01 | -- | Inf
166.23/166.39 c 163s|150000 | 43 | 641 | 18M| 190 | - | 360 | 15k|5757 | 0 | 0 | 21 | 105k| 33 | 1.800000e+01 | -- | Inf
178.63/178.72 c 175s|160000 | 36 | 641 | 18M| 190 | - | 360 | 15k|5229 | 0 | 0 | 21 | 112k| 33 | 1.800000e+01 | -- | Inf
189.43/189.58 c 186s|170000 | 35 | 641 | 18M| 190 | - | 360 | 15k|6885 | 0 | 0 | 21 | 119k| 33 | 1.800000e+01 | -- | Inf
201.02/201.17 c 197s|180000 | 34 | 641 | 18M| 190 | - | 360 | 15k|6158 | 0 | 0 | 21 | 126k| 33 | 1.800000e+01 | -- | Inf
212.72/212.86 c 209s|190000 | 25 | 641 | 18M| 190 | - | 360 | 15k|5463 | 0 | 0 | 21 | 133k| 33 | 1.800000e+01 | -- | Inf
226.01/226.11 c 222s|200000 | 28 | 641 | 18M| 190 | - | 360 | 15k|5233 | 0 | 0 | 21 | 141k| 33 | 1.800000e+01 | -- | Inf
236.90/237.03 c 233s|210000 | 27 | 641 | 18M| 190 | - | 360 | 15k|6081 | 0 | 0 | 21 | 148k| 33 | 1.800000e+01 | -- | Inf
250.61/250.77 c 246s|220000 | 13 | 641 | 18M| 190 | - | 360 | 15k|4737 | 0 | 0 | 21 | 155k| 33 | 1.800000e+01 | -- | Inf
263.60/263.76 c 259s|230000 | 132 | 641 | 18M| 214 | - | 360 | 15k|4013 | 0 | 0 | 21 | 162k| 33 | 1.800000e+01 | -- | Inf
280.09/280.26 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
280.09/280.26 c 275s|240000 | 108 | 641 | 18M| 214 | - | 360 | 15k|4492 | 0 | 0 | 21 | 169k| 33 | 1.800000e+01 | -- | Inf
293.39/293.50 c 288s|250000 | 96 | 641 | 18M| 214 | - | 360 | 15k|4294 | 0 | 0 | 21 | 175k| 33 | 1.800000e+01 | -- | Inf
307.58/307.75 c 302s|260000 | 101 | 641 | 18M| 214 | - | 360 | 15k|3484 | 0 | 0 | 21 | 182k| 33 | 1.800000e+01 | -- | Inf
321.09/321.27 c 316s|270000 | 101 | 641 | 18M| 214 | - | 360 | 15k|5487 | 0 | 0 | 21 | 189k| 33 | 1.800000e+01 | -- | Inf
335.88/336.08 c 330s|280000 | 94 | 641 | 18M| 214 | - | 360 | 15k|3607 | 0 | 0 | 21 | 195k| 33 | 1.800000e+01 | -- | Inf
349.97/350.19 c 344s|290000 | 90 | 641 | 18M| 214 | - | 360 | 15k|4830 | 0 | 0 | 21 | 201k| 33 | 1.800000e+01 | -- | Inf
365.97/366.11 c 360s|300000 | 87 | 641 | 18M| 214 | - | 360 | 15k|3800 | 0 | 0 | 21 | 208k| 33 | 1.800000e+01 | -- | Inf
381.76/381.96 c 376s|310000 | 86 | 641 | 18M| 214 | - | 360 | 15k|5428 | 0 | 0 | 21 | 215k| 33 | 1.800000e+01 | -- | Inf
397.15/397.35 c 391s|320000 | 77 | 641 | 18M| 214 | - | 360 | 15k|3996 | 0 | 0 | 21 | 221k| 33 | 1.800000e+01 | -- | Inf
413.75/413.99 c 407s|330000 | 74 | 641 | 18M| 214 | - | 360 | 15k|4822 | 0 | 0 | 21 | 228k| 33 | 1.800000e+01 | -- | Inf
431.95/432.14 c 425s|340000 | 72 | 641 | 18M| 214 | - | 360 | 15k|3784 | 0 | 0 | 21 | 234k| 33 | 1.800000e+01 | -- | Inf
450.24/450.42 c 444s|350000 | 69 | 641 | 18M| 214 | - | 360 | 15k|2902 | 0 | 0 | 21 | 241k| 33 | 1.800000e+01 | -- | Inf
468.03/468.20 c 461s|360000 | 77 | 641 | 18M| 214 | - | 360 | 15k|3568 | 0 | 0 | 21 | 248k| 33 | 1.800000e+01 | -- | Inf
486.52/486.76 c 480s|370000 | 71 | 641 | 18M| 214 | - | 360 | 15k|3990 | 0 | 0 | 21 | 254k| 33 | 1.800000e+01 | -- | Inf
506.32/506.52 c 499s|380000 | 62 | 641 | 18M| 214 | - | 360 | 15k|5125 | 0 | 0 | 21 | 261k| 33 | 1.800000e+01 | -- | Inf
523.42/523.64 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
523.42/523.64 c 516s|390000 | 65 | 641 | 18M| 214 | - | 360 | 15k|3556 | 0 | 0 | 21 | 268k| 33 | 1.800000e+01 | -- | Inf
538.11/538.34 c 531s|400000 | 63 | 641 | 18M| 214 | - | 360 | 15k|4441 | 0 | 0 | 21 | 274k| 33 | 1.800000e+01 | -- | Inf
554.41/554.60 c 547s|410000 | 65 | 641 | 18M| 214 | - | 360 | 15k|4059 | 0 | 0 | 21 | 281k| 33 | 1.800000e+01 | -- | Inf
570.40/570.67 c 563s|420000 | 62 | 641 | 18M| 214 | - | 360 | 15k|3319 | 0 | 0 | 21 | 287k| 33 | 1.800000e+01 | -- | Inf
585.50/585.70 c 577s|430000 | 55 | 641 | 18M| 214 | - | 360 | 15k|3304 | 0 | 0 | 21 | 294k| 33 | 1.800000e+01 | -- | Inf
601.58/601.87 c 593s|440000 | 66 | 641 | 18M| 214 | - | 360 | 15k|4573 | 0 | 0 | 21 | 300k| 33 | 1.800000e+01 | -- | Inf
618.28/618.59 c 610s|450000 | 63 | 641 | 18M| 214 | - | 360 | 15k|3479 | 0 | 0 | 21 | 307k| 33 | 1.800000e+01 | -- | Inf
634.68/634.93 c 626s|460000 | 63 | 641 | 18M| 214 | - | 360 | 15k|3164 | 0 | 0 | 21 | 314k| 33 | 1.800000e+01 | -- | Inf
650.47/650.79 c 642s|470000 | 55 | 641 | 18M| 214 | - | 360 | 15k|3681 | 0 | 0 | 21 | 321k| 33 | 1.800000e+01 | -- | Inf
668.17/668.44 c 659s|480000 | 66 | 641 | 18M| 214 | - | 360 | 15k|3888 | 0 | 0 | 21 | 328k| 33 | 1.800000e+01 | -- | Inf
683.67/683.90 c 674s|490000 | 56 | 641 | 18M| 214 | - | 360 | 15k|3461 | 0 | 0 | 21 | 334k| 33 | 1.800000e+01 | -- | Inf
698.56/698.82 c 689s|500000 | 62 | 641 | 18M| 214 | - | 360 | 15k|4152 | 0 | 0 | 21 | 341k| 33 | 1.800000e+01 | -- | Inf
715.75/716.05 c 706s|510000 | 56 | 641 | 18M| 214 | - | 360 | 15k|3506 | 0 | 0 | 21 | 348k| 33 | 1.800000e+01 | -- | Inf
733.75/734.02 c 724s|520000 | 54 | 641 | 18M| 214 | - | 360 | 15k|4507 | 0 | 0 | 21 | 355k| 33 | 1.800000e+01 | -- | Inf
751.24/751.60 c 741s|530000 | 49 | 641 | 18M| 214 | - | 360 | 15k|3439 | 0 | 0 | 21 | 361k| 33 | 1.800000e+01 | -- | Inf
769.33/769.68 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
769.33/769.68 c 759s|540000 | 84 | 641 | 18M| 214 | - | 360 | 15k|3420 | 0 | 0 | 21 | 368k| 33 | 1.800000e+01 | -- | Inf
789.23/789.50 c 779s|550000 | 68 | 641 | 18M| 214 | - | 360 | 15k|3510 | 0 | 0 | 21 | 375k| 33 | 1.800000e+01 | -- | Inf
807.53/807.83 c 797s|560000 | 63 | 641 | 18M| 214 | - | 360 | 15k|9287 | 0 | 0 | 21 | 382k| 33 | 1.800000e+01 | -- | Inf
824.82/825.11 c 814s|570000 | 56 | 641 | 18M| 214 | - | 360 | 15k|3638 | 0 | 0 | 21 | 389k| 33 | 1.800000e+01 | -- | Inf
841.21/841.54 c 830s|580000 | 57 | 641 | 18M| 214 | - | 360 | 15k|2797 | 0 | 0 | 21 | 396k| 33 | 1.800000e+01 | -- | Inf
857.00/857.36 c 846s|590000 | 49 | 641 | 18M| 214 | - | 360 | 15k|2977 | 0 | 0 | 21 | 403k| 33 | 1.800000e+01 | -- | Inf
874.10/874.41 c 863s|600000 | 45 | 641 | 18M| 214 | - | 360 | 15k|2672 | 0 | 0 | 21 | 410k| 33 | 1.800000e+01 | -- | Inf
890.50/890.84 c 879s|610000 | 49 | 641 | 18M| 214 | - | 360 | 15k|2787 | 0 | 0 | 21 | 416k| 33 | 1.800000e+01 | -- | Inf
905.99/906.36 c 895s|620000 | 47 | 641 | 18M| 214 | - | 360 | 15k|3541 | 0 | 0 | 21 | 423k| 33 | 1.800000e+01 | -- | Inf
923.48/923.81 c 912s|630000 | 56 | 641 | 18M| 214 | - | 360 | 15k|3443 | 0 | 0 | 21 | 430k| 33 | 1.800000e+01 | -- | Inf
940.58/940.91 c 929s|640000 | 48 | 641 | 18M| 214 | - | 360 | 15k|3630 | 0 | 0 | 21 | 437k| 33 | 1.800000e+01 | -- | Inf
956.98/957.39 c 945s|650000 | 74 | 641 | 18M| 214 | - | 360 | 15k|5761 | 0 | 0 | 21 | 444k| 33 | 1.800000e+01 | -- | Inf
973.37/973.74 c 961s|660000 | 59 | 641 | 18M| 214 | - | 360 | 15k|5172 | 0 | 0 | 21 | 451k| 33 | 1.800000e+01 | -- | Inf
988.27/988.62 c 976s|670000 | 56 | 641 | 18M| 214 | - | 360 | 15k|3206 | 0 | 0 | 21 | 458k| 33 | 1.800000e+01 | -- | Inf
1004.06/1004.46 c 992s|680000 | 56 | 641 | 18M| 214 | - | 360 | 15k|3780 | 0 | 0 | 21 | 465k| 33 | 1.800000e+01 | -- | Inf
1020.86/1021.23 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1020.86/1021.23 c 1008s|690000 | 62 | 641 | 18M| 214 | - | 360 | 15k|5452 | 0 | 0 | 21 | 472k| 33 | 1.800000e+01 | -- | Inf
1039.45/1039.82 c 1027s|700000 | 69 | 641 | 18M| 214 | - | 360 | 15k|3760 | 0 | 0 | 21 | 479k| 33 | 1.800000e+01 | -- | Inf
1059.94/1060.35 c 1047s|710000 | 52 | 641 | 18M| 214 | - | 360 | 15k|5388 | 0 | 0 | 21 | 485k| 33 | 1.800000e+01 | -- | Inf
1076.94/1077.37 c 1064s|720000 | 54 | 641 | 18M| 214 | - | 360 | 15k|3552 | 0 | 0 | 21 | 492k| 33 | 1.800000e+01 | -- | Inf
1093.83/1094.26 c 1080s|730000 | 51 | 641 | 18M| 214 | - | 360 | 15k|3548 | 0 | 0 | 21 | 499k| 33 | 1.800000e+01 | -- | Inf
1108.93/1109.38 c 1095s|740000 | 47 | 641 | 18M| 214 | - | 360 | 15k|3469 | 0 | 0 | 21 | 506k| 33 | 1.800000e+01 | -- | Inf
1124.12/1124.53 c 1110s|750000 | 55 | 641 | 18M| 214 | - | 360 | 15k|3099 | 0 | 0 | 21 | 513k| 33 | 1.800000e+01 | -- | Inf
1142.72/1143.14 c 1129s|760000 | 44 | 641 | 18M| 214 | - | 360 | 15k|3639 | 0 | 0 | 21 | 520k| 33 | 1.800000e+01 | -- | Inf
1160.91/1161.30 c 1147s|770000 | 43 | 641 | 18M| 214 | - | 360 | 15k|3498 | 0 | 0 | 21 | 527k| 33 | 1.800000e+01 | -- | Inf
1179.00/1179.45 c 1165s|780000 | 50 | 641 | 18M| 214 | - | 360 | 15k|7807 | 0 | 0 | 21 | 534k| 33 | 1.800000e+01 | -- | Inf
1199.49/1199.99 c 1185s|790000 | 46 | 641 | 18M| 214 | - | 360 | 15k|3114 | 0 | 0 | 21 | 541k| 33 | 1.800000e+01 | -- | Inf
1215.38/1215.89 c 1201s|800000 | 45 | 641 | 18M| 214 | - | 360 | 15k|3343 | 0 | 0 | 21 | 548k| 33 | 1.800000e+01 | -- | Inf
1233.08/1233.59 c 1218s|810000 | 70 | 641 | 18M| 214 | - | 360 | 15k|3523 | 0 | 0 | 21 | 555k| 33 | 1.800000e+01 | -- | Inf
1251.77/1252.26 c 1237s|820000 | 72 | 641 | 18M| 214 | - | 360 | 15k|5311 | 0 | 0 | 21 | 562k| 33 | 1.800000e+01 | -- | Inf
1270.87/1271.38 c 1256s|830000 | 52 | 641 | 18M| 214 | - | 360 | 15k|2674 | 0 | 0 | 21 | 568k| 33 | 1.800000e+01 | -- | Inf
1288.56/1289.10 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1288.56/1289.10 c 1273s|840000 | 51 | 641 | 18M| 214 | - | 360 | 15k|3237 | 0 | 0 | 21 | 575k| 33 | 1.800000e+01 | -- | Inf
1306.76/1307.27 c 1291s|850000 | 53 | 641 | 18M| 214 | - | 360 | 15k|3110 | 0 | 0 | 21 | 582k| 33 | 1.800000e+01 | -- | Inf
1324.05/1324.56 c 1308s|860000 | 57 | 641 | 18M| 214 | - | 360 | 15k|3447 | 0 | 0 | 21 | 589k| 33 | 1.800000e+01 | -- | Inf
1342.74/1343.24 c 1327s|870000 | 52 | 641 | 18M| 214 | - | 360 | 15k|4074 | 0 | 0 | 21 | 596k| 33 | 1.800000e+01 | -- | Inf
1358.94/1359.49 c 1343s|880000 | 53 | 641 | 18M| 214 | - | 360 | 15k|4128 | 0 | 0 | 21 | 603k| 33 | 1.800000e+01 | -- | Inf
1373.83/1374.36 c 1358s|890000 | 49 | 641 | 18M| 214 | - | 360 | 15k|6017 | 0 | 0 | 21 | 610k| 33 | 1.800000e+01 | -- | Inf
1390.03/1390.59 c 1374s|900000 | 62 | 641 | 18M| 214 | - | 360 | 15k|5641 | 0 | 0 | 21 | 617k| 33 | 1.800000e+01 | -- | Inf
1405.33/1405.81 c 1389s|910000 | 60 | 641 | 18M| 214 | - | 360 | 15k|3641 | 0 | 0 | 21 | 624k| 33 | 1.800000e+01 | -- | Inf
1420.32/1420.82 c 1403s|920000 | 46 | 641 | 18M| 214 | - | 360 | 15k|3565 | 0 | 0 | 21 | 631k| 33 | 1.800000e+01 | -- | Inf
1435.71/1436.25 c 1419s|930000 | 43 | 641 | 18M| 214 | - | 360 | 15k|3672 | 0 | 0 | 21 | 638k| 33 | 1.800000e+01 | -- | Inf
1450.61/1451.12 c 1433s|940000 | 34 | 641 | 18M| 214 | - | 360 | 15k|4436 | 0 | 0 | 21 | 645k| 33 | 1.800000e+01 | -- | Inf
1469.90/1470.40 c 1452s|950000 | 55 | 641 | 18M| 214 | - | 360 | 15k|2510 | 0 | 0 | 21 | 652k| 33 | 1.800000e+01 | -- | Inf
1488.69/1489.27 c 1471s|960000 | 56 | 641 | 18M| 214 | - | 360 | 15k|6612 | 0 | 0 | 21 | 659k| 33 | 1.800000e+01 | -- | Inf
1505.99/1506.52 c 1488s|970000 | 46 | 641 | 18M| 214 | - | 360 | 15k|3152 | 0 | 0 | 21 | 666k| 33 | 1.800000e+01 | -- | Inf
1524.09/1524.65 c 1506s|980000 | 43 | 641 | 18M| 214 | - | 360 | 15k|2918 | 0 | 0 | 21 | 673k| 33 | 1.800000e+01 | -- | Inf
1542.28/1542.80 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1542.28/1542.81 c 1524s|990000 | 40 | 641 | 18M| 214 | - | 360 | 15k|3790 | 0 | 0 | 21 | 680k| 33 | 1.800000e+01 | -- | Inf
1558.97/1559.58 c 1541s| 1000k| 39 | 641 | 18M| 214 | - | 360 | 15k|2445 | 0 | 0 | 21 | 687k| 33 | 1.800000e+01 | -- | Inf
1576.47/1577.01 c 1558s| 1010k| 53 | 641 | 18M| 214 | - | 360 | 15k|4603 | 0 | 0 | 21 | 694k| 33 | 1.800000e+01 | -- | Inf
1592.37/1592.98 c 1574s| 1020k| 55 | 641 | 18M| 214 | - | 360 | 15k|7639 | 0 | 0 | 21 | 701k| 33 | 1.800000e+01 | -- | Inf
1613.96/1614.55 c 1595s| 1030k| 38 | 641 | 18M| 214 | - | 360 | 15k|3342 | 0 | 0 | 21 | 708k| 33 | 1.800000e+01 | -- | Inf
1632.86/1633.40 c 1614s| 1040k| 36 | 641 | 18M| 214 | - | 360 | 15k|4172 | 0 | 0 | 21 | 715k| 33 | 1.800000e+01 | -- | Inf
1649.24/1649.81 c 1630s| 1050k| 46 | 641 | 18M| 214 | - | 360 | 15k|2877 | 0 | 0 | 21 | 722k| 33 | 1.800000e+01 | -- | Inf
1664.74/1665.31 c 1645s| 1060k| 49 | 641 | 18M| 214 | - | 360 | 15k|4579 | 0 | 0 | 21 | 729k| 33 | 1.800000e+01 | -- | Inf
1679.04/1679.62 c 1660s| 1070k| 49 | 641 | 18M| 214 | - | 360 | 15k|3554 | 0 | 0 | 21 | 736k| 33 | 1.800000e+01 | -- | Inf
1695.03/1695.69 c 1675s| 1080k| 40 | 641 | 18M| 214 | - | 360 | 15k|3465 | 0 | 0 | 21 | 743k| 33 | 1.800000e+01 | -- | Inf
1711.12/1711.72 c 1691s| 1090k| 43 | 641 | 18M| 214 | - | 360 | 15k|4152 | 0 | 0 | 21 | 750k| 33 | 1.800000e+01 | -- | Inf
1729.12/1729.70 c 1709s| 1100k| 65 | 641 | 18M| 214 | - | 360 | 15k|7326 | 0 | 0 | 21 | 757k| 33 | 1.800000e+01 | -- | Inf
1749.61/1750.26 c 1729s| 1110k| 53 | 641 | 18M| 214 | - | 360 | 15k|4134 | 0 | 0 | 21 | 764k| 33 | 1.800000e+01 | -- | Inf
1767.80/1768.40 c 1747s| 1120k| 36 | 641 | 18M| 214 | - | 360 | 15k|5713 | 0 | 0 | 21 | 772k| 33 | 1.800000e+01 | -- | Inf
1785.40/1786.08 c 1765s| 1130k| 43 | 641 | 18M| 214 | - | 360 | 15k|3172 | 0 | 0 | 21 | 779k| 33 | 1.800000e+01 | -- | Inf
1800.00/1800.61 c
1800.00/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.61 c Solving Time (sec) : 1779.28
1800.00/1800.61 c Solving Nodes : 1138840
1800.00/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.00/1800.61 c Dual Bound : +1.80000000000000e+01
1800.00/1800.61 c Gap : infinite
1800.00/1800.61 c NODE 1138840
1800.00/1800.61 c DUAL BOUND 18
1800.00/1800.61 c PRIMAL BOUND 1e+20
1800.00/1800.61 c GAP 1e+20
1800.00/1800.61 s UNKNOWN
1800.00/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.61 c Solving Time : 1779.28
1800.00/1800.61 c Original Problem :
1800.00/1800.61 c Problem name : HOME/instance-1884808-1245260479.opb
1800.00/1800.61 c Variables : 360 (360 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.61 c Constraints : 15466 initial, 15466 maximal
1800.00/1800.61 c Presolved Problem :
1800.00/1800.61 c Problem name : t_HOME/instance-1884808-1245260479.opb
1800.00/1800.61 c Variables : 360 (360 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.61 c Constraints : 15466 initial, 15673 maximal
1800.00/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.00/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.61 c logicor : 0.05 0 0 0 0 0 0 0 0
1800.00/1800.61 c root node : - 1 - - 1 - - - -
1800.00/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.00/1800.61 c integral : 0 0 0 1 0 0 0 0 0 2
1800.00/1800.61 c logicor : 15466+ 5 4371851 0 0 764914 39820512 0 0 0
1800.00/1800.61 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.00/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.00/1800.61 c integral : 2.03 0.00 0.00 2.03 0.00
1800.00/1800.61 c logicor : 836.94 0.02 836.92 0.00 0.00
1800.00/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.00/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.00/1800.61 c rootredcost : 1.95 0 0 0
1800.00/1800.61 c pseudoobj : 99.12 5180634 0 0
1800.00/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.00/1800.61 c propagation : 52.19 764914 764879 764879 26.1 38980 36.6 -
1800.00/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.00/1800.61 c applied globally : - - - 637671 20.4 - - -
1800.00/1800.61 c applied locally : - - - 147733 50.5 - - -
1800.00/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.00/1800.61 c cut pool : 0.00 4 - - 14 - (maximal pool size: 83)
1800.00/1800.61 c redcost : 0.00 5 0 0 0 0
1800.00/1800.61 c impliedbounds : 0.00 5 0 0 0 0
1800.00/1800.61 c intobj : 0.00 0 0 0 0 0
1800.00/1800.61 c gomory : 0.77 5 0 0 2500 0
1800.00/1800.61 c strongcg : 0.77 5 0 0 2500 0
1800.00/1800.61 c cmir : 0.00 0 0 0 0 0
1800.00/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.00/1800.61 c clique : 0.02 5 0 0 29 0
1800.00/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.00/1800.61 c mcf : 0.02 1 0 0 0 0
1800.00/1800.61 c Pricers : Time Calls Vars
1800.00/1800.61 c problem variables: 0.00 0 0
1800.00/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.00/1800.61 c relpscost : 2.03 1 0 0 0 0 2
1800.00/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.00/1800.61 c inference : 21.50 813758 0 0 0 0 1627516
1800.00/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.00/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.00/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.61 c random : 0.00 0 0 0 0 0 0
1800.00/1800.61 c Primal Heuristics : Time Calls Found
1800.00/1800.61 c LP solutions : 0.00 - 0
1800.00/1800.61 c pseudo solutions : 0.00 - 0
1800.00/1800.61 c simplerounding : 0.00 0 0
1800.00/1800.61 c rounding : 0.00 0 0
1800.00/1800.61 c shifting : 0.00 0 0
1800.00/1800.61 c intshifting : 0.00 0 0
1800.00/1800.61 c oneopt : 0.00 0 0
1800.00/1800.61 c fixandinfer : 0.00 0 0
1800.00/1800.61 c feaspump : 0.00 0 0
1800.00/1800.61 c coefdiving : 0.00 0 0
1800.00/1800.61 c pscostdiving : 0.00 0 0
1800.00/1800.61 c fracdiving : 0.00 0 0
1800.00/1800.61 c veclendiving : 0.00 0 0
1800.00/1800.61 c intdiving : 0.00 0 0
1800.00/1800.61 c actconsdiving : 0.00 0 0
1800.00/1800.61 c objpscostdiving : 0.00 0 0
1800.00/1800.61 c rootsoldiving : 0.00 0 0
1800.00/1800.61 c linesearchdiving : 0.00 0 0
1800.00/1800.61 c guideddiving : 0.00 0 0
1800.00/1800.61 c octane : 0.00 0 0
1800.00/1800.61 c rens : 0.00 0 0
1800.00/1800.61 c rins : 0.00 0 0
1800.00/1800.61 c localbranching : 0.00 0 0
1800.00/1800.61 c mutation : 0.00 0 0
1800.00/1800.61 c crossover : 0.00 0 0
1800.00/1800.61 c dins : 0.00 0 0
1800.00/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.00/1800.61 c primal LP : 0.01 0 0 0.00 0.00
1800.00/1800.61 c dual LP : 0.56 6 641 106.83 1144.64
1800.00/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.00/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.00/1800.61 c strong branching : 2.03 33 2288 69.33 1127.09
1800.00/1800.61 c (at root node) : - 33 2288 69.33 -
1800.00/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.00/1800.61 c B&B Tree :
1800.00/1800.61 c number of runs : 1
1800.00/1800.61 c nodes : 1138840
1800.00/1800.61 c nodes (total) : 1138840
1800.00/1800.61 c nodes left : 46
1800.00/1800.61 c max depth : 214
1800.00/1800.61 c max depth (total): 214
1800.00/1800.61 c backtracks : 466264 (40.9%)
1800.00/1800.61 c delayed cutoffs : 488633
1800.00/1800.61 c repropagations : 1098283 (23374540 domain reductions, 439833 cutoffs)
1800.00/1800.61 c avg switch length: 2.69
1800.00/1800.61 c switching time : 491.22
1800.00/1800.61 c Solution :
1800.00/1800.61 c Solutions found : 0 (0 improvements)
1800.00/1800.61 c Primal Bound : -
1800.00/1800.61 c Dual Bound : +1.80000000000000e+01
1800.00/1800.61 c Gap : infinite
1800.00/1800.61 c Root Dual Bound : +1.80000000000000e+01
1800.00/1800.67 c Time complete: 1800.07.