0.09/0.19 c SCIP version 1.1.0.7
0.09/0.19 c LP-Solver Clp 1.8.2
0.09/0.19 c user parameter file <scip.set> not found - using default parameters
0.09/0.19 c read problem <HOME/instance-1884058-1245254148.opb>
0.09/0.19 c original problem has 1472 variables (1472 bin, 0 int, 0 impl, 0 cont) and 7737 constraints
0.18/0.24 c No objective function, only one solution is needed.
0.18/0.24 c start presolving problem
0.18/0.24 c presolving:
0.29/0.30 c (round 1) 39 del vars, 272 del conss, 31 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 816 impls, 0 clqs
0.29/0.31 c (round 2) 42 del vars, 375 del conss, 34 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1180 impls, 0 clqs
2.59/2.60 c (round 3) 42 del vars, 2252 del conss, 34 chg bounds, 306 chg sides, 0 chg coeffs, 6161 upgd conss, 1180 impls, 0 clqs
2.59/2.61 c presolving (4 rounds):
2.59/2.61 c 42 deleted vars, 2252 deleted constraints, 34 tightened bounds, 0 added holes, 306 changed sides, 0 changed coefficients
2.59/2.61 c 1180 implications, 0 cliques
2.59/2.61 c presolved problem has 1430 variables (1430 bin, 0 int, 0 impl, 0 cont) and 5485 constraints
2.59/2.61 c 5485 constraints of type <logicor>
2.59/2.61 c transformed objective value is always integral (scale: 1)
2.59/2.61 c Presolving Time: 2.34
2.59/2.61 c PURESAT
2.59/2.61 c -----------------------------------------------------------------------------------------------
2.59/2.61 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
2.59/2.61 c # [type: int, range: [-1,2147483647], default: 0]
2.59/2.61 c separating/flowcover/freq = c -1
2.59/2.61 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
2.59/2.61 c # [type: int, range: [-1,2147483647], default: 0]
2.59/2.61 c separating/cmir/freq = c -1
2.59/2.61 c # additional number of allowed LP iterations
2.59/2.61 c # [type: int, range: [0,2147483647], default: 1000]
2.59/2.61 c heuristics/veclendiving/maxlpiterofs = c 1500
2.59/2.61 c # maximal fraction of diving LP iterations compared to node LP iterations
2.59/2.61 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.59/2.61 c heuristics/veclendiving/maxlpiterquot = c 0.075
2.59/2.61 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
2.59/2.61 c # [type: int, range: [-1,2147483647], default: 10]
2.59/2.61 c heuristics/veclendiving/freq = c -1
2.59/2.61 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
2.59/2.61 c # [type: int, range: [-1,2147483647], default: 1]
2.59/2.61 c heuristics/simplerounding/freq = c -1
2.59/2.61 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
2.59/2.61 c # [type: int, range: [-1,2147483647], default: 10]
2.59/2.61 c heuristics/shifting/freq = c -1
2.59/2.61 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
2.59/2.61 c # [type: int, range: [-1,2147483647], default: 1]
2.59/2.61 c heuristics/rounding/freq = c -1
2.59/2.61 c # additional number of allowed LP iterations
2.59/2.61 c # [type: int, range: [0,2147483647], default: 1000]
2.59/2.61 c heuristics/rootsoldiving/maxlpiterofs = c 1500
2.59/2.61 c # maximal fraction of diving LP iterations compared to node LP iterations
2.59/2.61 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
2.59/2.61 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
2.59/2.61 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
2.59/2.61 c # [type: int, range: [-1,2147483647], default: 20]
2.59/2.61 c heuristics/rootsoldiving/freq = c -1
2.59/2.61 c # number of nodes added to the contingent of the total nodes
2.59/2.61 c # [type: longint, range: [0,9223372036854775807], default: 500]
2.59/2.61 c heuristics/rens/nodesofs = c 2000
2.59/2.61 c # minimum percentage of integer variables that have to be fixable
2.59/2.61 c # [type: real, range: [0,1], default: 0.5]
2.59/2.61 c heuristics/rens/minfixingrate = c 0.3
2.59/2.61 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
2.59/2.61 c # [type: int, range: [-1,2147483647], default: 0]
2.59/2.61 c heuristics/rens/freq = c -1
2.59/2.61 c # additional number of allowed LP iterations
2.59/2.61 c # [type: int, range: [0,2147483647], default: 1000]
2.59/2.61 c heuristics/pscostdiving/maxlpiterofs = c 1500
2.59/2.61 c # maximal fraction of diving LP iterations compared to node LP iterations
2.59/2.61 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.59/2.61 c heuristics/pscostdiving/maxlpiterquot = c 0.075
2.59/2.61 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
2.59/2.61 c # [type: int, range: [-1,2147483647], default: 10]
2.59/2.61 c heuristics/pscostdiving/freq = c -1
2.59/2.61 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
2.59/2.61 c # [type: int, range: [-1,2147483647], default: 1]
2.59/2.61 c heuristics/oneopt/freq = c -1
2.59/2.61 c # additional number of allowed LP iterations
2.59/2.61 c # [type: int, range: [0,2147483647], default: 1000]
2.59/2.61 c heuristics/objpscostdiving/maxlpiterofs = c 1500
2.59/2.61 c # maximal fraction of diving LP iterations compared to total iteration number
2.59/2.61 c # [type: real, range: [0,1], default: 0.01]
2.59/2.61 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
2.59/2.61 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
2.59/2.61 c # [type: int, range: [-1,2147483647], default: 20]
2.59/2.61 c heuristics/objpscostdiving/freq = c -1
2.59/2.61 c # additional number of allowed LP iterations
2.59/2.61 c # [type: int, range: [0,2147483647], default: 1000]
2.59/2.61 c heuristics/linesearchdiving/maxlpiterofs = c 1500
2.59/2.61 c # maximal fraction of diving LP iterations compared to node LP iterations
2.59/2.61 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.59/2.61 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
2.59/2.61 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
2.59/2.61 c # [type: int, range: [-1,2147483647], default: 10]
2.59/2.61 c heuristics/linesearchdiving/freq = c -1
2.59/2.61 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
2.59/2.61 c # [type: int, range: [-1,2147483647], default: 10]
2.59/2.61 c heuristics/intshifting/freq = c -1
2.59/2.61 c # maximal fraction of diving LP iterations compared to node LP iterations
2.59/2.61 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.59/2.61 c heuristics/intdiving/maxlpiterquot = c 0.075
2.59/2.61 c # additional number of allowed LP iterations
2.59/2.61 c # [type: int, range: [0,2147483647], default: 1000]
2.59/2.61 c heuristics/guideddiving/maxlpiterofs = c 1500
2.59/2.61 c # maximal fraction of diving LP iterations compared to node LP iterations
2.59/2.61 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.59/2.61 c heuristics/guideddiving/maxlpiterquot = c 0.075
2.59/2.61 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
2.59/2.61 c # [type: int, range: [-1,2147483647], default: 10]
2.59/2.61 c heuristics/guideddiving/freq = c -1
2.59/2.61 c # additional number of allowed LP iterations
2.59/2.61 c # [type: int, range: [0,2147483647], default: 1000]
2.59/2.61 c heuristics/fracdiving/maxlpiterofs = c 1500
2.59/2.61 c # maximal fraction of diving LP iterations compared to node LP iterations
2.59/2.61 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.59/2.61 c heuristics/fracdiving/maxlpiterquot = c 0.075
2.59/2.61 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
2.59/2.61 c # [type: int, range: [-1,2147483647], default: 10]
2.59/2.61 c heuristics/fracdiving/freq = c -1
2.59/2.61 c # additional number of allowed LP iterations
2.59/2.61 c # [type: int, range: [0,2147483647], default: 1000]
2.59/2.61 c heuristics/feaspump/maxlpiterofs = c 2000
2.59/2.61 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
2.59/2.61 c # [type: int, range: [-1,2147483647], default: 20]
2.59/2.61 c heuristics/feaspump/freq = c -1
2.59/2.61 c # minimum percentage of integer variables that have to be fixed
2.59/2.61 c # [type: real, range: [0,1], default: 0.666]
2.59/2.61 c heuristics/crossover/minfixingrate = c 0.5
2.59/2.61 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
2.59/2.61 c # [type: real, range: [0,1], default: 0.1]
2.59/2.61 c heuristics/crossover/nodesquot = c 0.15
2.59/2.61 c # number of nodes without incumbent change that heuristic should wait
2.59/2.61 c # [type: longint, range: [0,9223372036854775807], default: 200]
2.59/2.61 c heuristics/crossover/nwaitingnodes = c 100
2.59/2.61 c # number of nodes added to the contingent of the total nodes
2.59/2.61 c # [type: longint, range: [0,9223372036854775807], default: 500]
2.59/2.61 c heuristics/crossover/nodesofs = c 750
2.59/2.61 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
2.59/2.61 c # [type: int, range: [-1,2147483647], default: 30]
2.59/2.61 c heuristics/crossover/freq = c -1
2.59/2.61 c # additional number of allowed LP iterations
2.59/2.61 c # [type: int, range: [0,2147483647], default: 1000]
2.59/2.61 c heuristics/coefdiving/maxlpiterofs = c 1500
2.59/2.61 c # maximal fraction of diving LP iterations compared to node LP iterations
2.59/2.61 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.59/2.61 c heuristics/coefdiving/maxlpiterquot = c 0.075
2.59/2.61 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
2.59/2.61 c # [type: int, range: [-1,2147483647], default: 10]
2.59/2.61 c heuristics/coefdiving/freq = c -1
2.59/2.61 c # priority of node selection rule <dfs> in standard mode
2.59/2.61 c # [type: int, range: [-536870912,536870911], default: 0]
2.59/2.61 c nodeselection/dfs/stdpriority = c 1000000
2.59/2.61 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
2.59/2.61 c # [type: int, range: [-1,2147483647], default: -1]
2.59/2.61 c presolving/probing/maxrounds = c 0
2.59/2.61 c # should presolving try to simplify knapsacks
2.59/2.61 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.59/2.61 c constraints/knapsack/simplifyinequalities = c TRUE
2.59/2.61 c # should disaggregation of knapsack constraints be allowed in preprocessing?
2.59/2.61 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
2.59/2.61 c constraints/knapsack/disaggregation = c FALSE
2.59/2.61 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
2.59/2.61 c # [type: int, range: [-1,2147483647], default: -1]
2.59/2.61 c constraints/knapsack/maxnumcardlift = c 0
2.59/2.61 c # should presolving try to simplify inequalities
2.59/2.61 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.59/2.61 c constraints/linear/simplifyinequalities = c TRUE
2.59/2.61 c # maximal number of separation rounds in the root node (-1: unlimited)
2.59/2.61 c # [type: int, range: [-1,2147483647], default: -1]
2.59/2.61 c separating/maxroundsroot = c 5
2.59/2.61 c # maximal number of separation rounds per node (-1: unlimited)
2.59/2.61 c # [type: int, range: [-1,2147483647], default: 5]
2.59/2.61 c separating/maxrounds = c 1
2.59/2.61 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)
2.59/2.61 c # [type: char, range: {lafpsqd}, default: l]
2.59/2.61 c lp/pricing = c a
2.59/2.61 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.59/2.61 c # [type: int, range: [-1,2147483647], default: 1]
2.59/2.61 c lp/solvefreq = c 0
2.59/2.61 c # solving stops, if the given number of solutions were found (-1: no limit)
2.59/2.61 c # [type: int, range: [-1,2147483647], default: -1]
2.59/2.61 c limits/solutions = c 1
2.59/2.61 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.59/2.61 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.59/2.61 c limits/memory = c 1620
2.59/2.61 c # maximal time in seconds to run
2.59/2.61 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.59/2.61 c limits/time = c 1791
2.59/2.61 c # frequency for displaying node information lines
2.59/2.61 c # [type: int, range: [-1,2147483647], default: 100]
2.59/2.61 c display/freq = c 10000
2.59/2.61 c # should enforcement of pseudo solution be disabled?
2.59/2.61 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.59/2.61 c constraints/disableenfops = c TRUE
2.59/2.61 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.59/2.61 c # [type: int, range: [-1,2147483647], default: 0]
2.59/2.61 c constraints/agelimit = c 1
2.59/2.61 c # should binary conflicts be preferred?
2.59/2.61 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.59/2.61 c conflict/preferbinary = c TRUE
2.59/2.61 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.59/2.61 c # [type: int, range: [-1,2147483647], default: -1]
2.59/2.61 c conflict/interconss = c 0
2.59/2.61 c -----------------------------------------------------------------------------------------------
2.59/2.61 c start solving problem
2.59/2.61 c
2.69/2.70 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.69/2.70 c 2.5s| 1 | 0 | 171 | 14M| 0 | 127 |1430 |5485 |5485 |1430 |5485 | 0 | 0 | 0 | 8.575000e+01 | -- | Inf
2.99/3.02 c 2.8s| 1 | 0 | 389 | 14M| 0 | 134 |1430 |5485 |5485 |1430 |5514 | 29 | 0 | 0 | 1.029618e+02 | -- | Inf
3.48/3.58 c 3.3s| 1 | 0 | 591 | 16M| 0 | 127 |1430 |5485 |5485 |1430 |5525 | 40 | 0 | 0 | 1.055643e+02 | -- | Inf
4.19/4.22 c 4.0s| 1 | 0 | 859 | 18M| 0 | 127 |1430 |5485 |5485 |1430 |5535 | 50 | 0 | 0 | 1.072350e+02 | -- | Inf
4.79/4.83 c 4.6s| 1 | 0 | 1099 | 18M| 0 | 146 |1430 |5485 |5485 |1430 |5544 | 59 | 0 | 0 | 1.086104e+02 | -- | Inf
5.79/5.87 c 5.6s| 1 | 0 | 1262 | 21M| 0 | 145 |1430 |5485 |5485 |1430 |5551 | 66 | 0 | 0 | 1.095462e+02 | -- | Inf
14.79/14.83 c 14.5s| 1 | 2 | 1262 | 21M| 0 | 145 |1430 |5485 |5485 |1430 |5551 | 66 | 0 | 48 | 1.095462e+02 | -- | Inf
20.69/20.79 c 20.3s| 10000 | 64 | 1262 | 22M| 779 | - |1430 |5583 |3647 | 0 | 0 | 66 |3247 | 48 | 1.099905e+02 | -- | Inf
27.49/27.51 c 26.9s| 20000 | 202 | 1262 | 22M| 779 | - |1430 |5530 |3224 | 0 | 0 | 66 |7529 | 48 | 1.099905e+02 | -- | Inf
34.48/34.55 c 33.7s| 30000 | 121 | 1262 | 22M| 779 | - |1430 |5598 |3416 | 0 | 0 | 66 | 12k| 48 | 1.099905e+02 | -- | Inf
42.67/42.76 c 41.7s| 40000 | 62 | 1262 | 22M| 779 | - |1430 |5879 |3168 | 0 | 0 | 66 | 18k| 48 | 1.099905e+02 | -- | Inf
49.07/49.13 c 47.9s| 50000 | 60 | 1262 | 22M| 823 | - |1430 |6666 |3086 | 0 | 0 | 66 | 23k| 48 | 1.099905e+02 | -- | Inf
56.17/56.23 c 54.8s| 60000 | 57 | 1262 | 23M| 823 | - |1430 |7596 |2984 | 0 | 0 | 66 | 29k| 48 | 1.099905e+02 | -- | Inf
63.46/63.50 c 61.9s| 70000 | 54 | 1262 | 23M| 823 | - |1430 |8359 |2928 | 0 | 0 | 66 | 34k| 48 | 1.099905e+02 | -- | Inf
69.77/69.86 c 68.1s| 80000 | 59 | 1262 | 23M|1071 | - |1430 |9252 |2678 | 0 | 0 | 66 | 39k| 48 | 1.099905e+02 | -- | Inf
76.16/76.21 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.16/76.21 c 74.2s| 90000 | 479 | 1262 | 22M|1071 | - |1430 |6678 |2750 | 0 | 0 | 66 | 44k| 48 | 1.099905e+02 | -- | Inf
82.76/82.88 c 80.7s|100000 | 59 | 1262 | 22M|1071 | - |1430 |6740 |3519 | 0 | 0 | 66 | 48k| 48 | 1.099905e+02 | -- | Inf
88.55/88.67 c 86.4s|110000 | 59 | 1262 | 22M|1071 | - |1430 |5558 |3613 | 0 | 0 | 66 | 51k| 48 | 1.099905e+02 | -- | Inf
93.85/93.94 c 91.5s|120000 | 58 | 1262 | 22M|1071 | - |1430 |5633 |3639 | 0 | 0 | 66 | 53k| 48 | 1.099905e+02 | -- | Inf
99.75/99.84 c 97.2s|130000 | 817 | 1262 | 22M|1071 | - |1430 |5649 |2244 | 0 | 0 | 66 | 57k| 48 | 1.099905e+02 | -- | Inf
105.95/106.08 c 103s|140000 | 70 | 1262 | 22M|1110 | - |1430 |5544 |3230 | 0 | 0 | 66 | 60k| 48 | 1.099905e+02 | -- | Inf
113.65/113.73 c 111s|150000 | 294 | 1262 | 22M|1110 | - |1430 |5605 |3064 | 0 | 0 | 66 | 65k| 48 | 1.099905e+02 | -- | Inf
121.54/121.69 c 118s|160000 | 59 | 1262 | 22M|1110 | - |1430 |5658 |3461 | 0 | 0 | 66 | 70k| 48 | 1.099905e+02 | -- | Inf
128.94/129.02 c 126s|170000 | 204 | 1262 | 22M|1150 | - |1430 |5746 |3031 | 0 | 0 | 66 | 75k| 48 | 1.099905e+02 | -- | Inf
135.04/135.15 c 132s|180000 | 59 | 1262 | 22M|1163 | - |1430 |5767 |3458 | 0 | 0 | 66 | 79k| 48 | 1.099905e+02 | -- | Inf
142.54/142.63 c 139s|190000 | 67 | 1262 | 22M|1163 | - |1430 |5855 |3270 | 0 | 0 | 66 | 84k| 48 | 1.099905e+02 | -- | Inf
149.04/149.15 c 145s|200000 | 689 | 1262 | 22M|1163 | - |1430 |5903 |2350 | 0 | 0 | 66 | 88k| 48 | 1.099905e+02 | -- | Inf
155.63/155.74 c 152s|210000 | 95 | 1262 | 22M|1169 | - |1430 |5919 |3110 | 0 | 0 | 66 | 92k| 48 | 1.099905e+02 | -- | Inf
162.34/162.47 c 158s|220000 | 61 | 1262 | 22M|1169 | - |1430 |5967 |3403 | 0 | 0 | 66 | 96k| 48 | 1.099905e+02 | -- | Inf
168.83/168.94 c 164s|230000 | 62 | 1262 | 22M|1169 | - |1430 |6017 |3471 | 0 | 0 | 66 | 100k| 48 | 1.099905e+02 | -- | Inf
175.13/175.24 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
175.13/175.24 c 171s|240000 | 56 | 1262 | 22M|1169 | - |1430 |6053 |3230 | 0 | 0 | 66 | 104k| 48 | 1.099905e+02 | -- | Inf
182.63/182.74 c 178s|250000 | 66 | 1262 | 22M|1169 | - |1430 |6097 |3167 | 0 | 0 | 66 | 109k| 48 | 1.099905e+02 | -- | Inf
190.53/190.61 c 186s|260000 | 59 | 1262 | 22M|1169 | - |1430 |6244 |3274 | 0 | 0 | 66 | 114k| 48 | 1.099905e+02 | -- | Inf
196.53/196.67 c 191s|270000 | 55 | 1262 | 22M|1169 | - |1430 |6338 |3398 | 0 | 0 | 66 | 118k| 48 | 1.099905e+02 | -- | Inf
204.53/204.62 c 199s|280000 | 58 | 1262 | 22M|1169 | - |1430 |6425 |3559 | 0 | 0 | 66 | 123k| 48 | 1.099905e+02 | -- | Inf
213.12/213.21 c 208s|290000 | 57 | 1262 | 22M|1169 | - |1430 |6583 |3401 | 0 | 0 | 66 | 129k| 48 | 1.099905e+02 | -- | Inf
221.32/221.45 c 216s|300000 | 903 | 1262 | 23M|1169 | - |1430 |6722 |2147 | 0 | 0 | 66 | 135k| 48 | 1.099905e+02 | -- | Inf
229.02/229.13 c 223s|310000 | 65 | 1262 | 23M|1169 | - |1430 |6754 |3380 | 0 | 0 | 66 | 140k| 48 | 1.099905e+02 | -- | Inf
236.42/236.50 c 230s|320000 | 282 | 1262 | 23M|1169 | - |1430 |7006 |2674 | 0 | 0 | 66 | 145k| 48 | 1.099905e+02 | -- | Inf
244.52/244.61 c 238s|330000 | 57 | 1262 | 23M|1169 | - |1430 |7217 |3171 | 0 | 0 | 66 | 151k| 48 | 1.099905e+02 | -- | Inf
252.41/252.55 c 246s|340000 | 51 | 1262 | 23M|1169 | - |1430 |7464 |3278 | 0 | 0 | 66 | 156k| 48 | 1.099905e+02 | -- | Inf
260.41/260.59 c 254s|350000 | 56 | 1262 | 22M|1169 | - |1430 |5634 |3567 | 0 | 0 | 66 | 162k| 48 | 1.099905e+02 | -- | Inf
268.51/268.69 c 261s|360000 | 64 | 1262 | 22M|1169 | - |1430 |5759 |3420 | 0 | 0 | 66 | 168k| 48 | 1.099905e+02 | -- | Inf
276.30/276.43 c 269s|370000 | 59 | 1262 | 22M|1169 | - |1430 |6008 |3569 | 0 | 0 | 66 | 174k| 48 | 1.099905e+02 | -- | Inf
284.40/284.51 c 277s|380000 | 219 | 1262 | 22M|1169 | - |1430 |6210 |3217 | 0 | 0 | 66 | 180k| 48 | 1.099905e+02 | -- | Inf
292.40/292.58 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
292.40/292.58 c 285s|390000 | 106 | 1262 | 22M|1169 | - |1430 |6312 |3343 | 0 | 0 | 66 | 185k| 48 | 1.099905e+02 | -- | Inf
300.79/300.92 c 293s|400000 | 55 | 1262 | 22M|1169 | - |1430 |6381 |3727 | 0 | 0 | 66 | 191k| 48 | 1.099905e+02 | -- | Inf
309.20/309.39 c 301s|410000 | 51 | 1262 | 22M|1169 | - |1430 |6489 |3534 | 0 | 0 | 66 | 197k| 48 | 1.099905e+02 | -- | Inf
317.49/317.63 c 309s|420000 | 55 | 1262 | 23M|1169 | - |1430 |6620 |3367 | 0 | 0 | 66 | 203k| 48 | 1.099905e+02 | -- | Inf
325.59/325.77 c 317s|430000 | 58 | 1262 | 23M|1169 | - |1430 |6761 |3460 | 0 | 0 | 66 | 209k| 48 | 1.099905e+02 | -- | Inf
334.19/334.30 c 325s|440000 | 53 | 1262 | 23M|1169 | - |1430 |6889 |3510 | 0 | 0 | 66 | 216k| 48 | 1.099905e+02 | -- | Inf
341.78/341.94 c 333s|450000 | 58 | 1262 | 23M|1169 | - |1430 |6943 |3642 | 0 | 0 | 66 | 221k| 48 | 1.099905e+02 | -- | Inf
348.28/348.47 c 339s|460000 | 55 | 1262 | 23M|1169 | - |1430 |7083 |3558 | 0 | 0 | 66 | 224k| 48 | 1.099905e+02 | -- | Inf
355.68/355.88 c 346s|470000 | 60 | 1262 | 23M|1169 | - |1430 |7040 |3490 | 0 | 0 | 66 | 229k| 48 | 1.099905e+02 | -- | Inf
363.68/363.86 c 354s|480000 | 53 | 1262 | 23M|1169 | - |1430 |7245 |3534 | 0 | 0 | 66 | 234k| 48 | 1.099905e+02 | -- | Inf
370.18/370.35 c 360s|490000 | 64 | 1262 | 23M|1169 | - |1430 |7277 |3529 | 0 | 0 | 66 | 238k| 48 | 1.099905e+02 | -- | Inf
377.58/377.74 c 368s|500000 | 64 | 1262 | 23M|1169 | - |1430 |7394 |3637 | 0 | 0 | 66 | 242k| 48 | 1.099905e+02 | -- | Inf
384.88/385.07 c 375s|510000 | 56 | 1262 | 23M|1169 | - |1430 |7464 |3557 | 0 | 0 | 66 | 247k| 48 | 1.099905e+02 | -- | Inf
391.47/391.69 c 381s|520000 | 55 | 1262 | 23M|1169 | - |1430 |7584 |3576 | 0 | 0 | 66 | 251k| 48 | 1.099905e+02 | -- | Inf
397.87/398.08 c 387s|530000 | 53 | 1262 | 23M|1169 | - |1430 |7640 |3487 | 0 | 0 | 66 | 255k| 48 | 1.099905e+02 | -- | Inf
404.68/404.84 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
404.68/404.84 c 394s|540000 | 63 | 1262 | 23M|1169 | - |1430 |7695 |3495 | 0 | 0 | 66 | 259k| 48 | 1.099905e+02 | -- | Inf
411.76/411.95 c 401s|550000 | 54 | 1262 | 23M|1169 | - |1430 |7790 |3432 | 0 | 0 | 66 | 265k| 48 | 1.099905e+02 | -- | Inf
418.67/418.88 c 408s|560000 | 72 | 1262 | 23M|1169 | - |1430 |7855 |3481 | 0 | 0 | 66 | 269k| 48 | 1.099905e+02 | -- | Inf
425.36/425.58 c 414s|570000 | 659 | 1262 | 23M|1169 | - |1430 |7925 |2391 | 0 | 0 | 66 | 274k| 48 | 1.099905e+02 | -- | Inf
432.07/432.29 c 421s|580000 | 85 | 1262 | 23M|1169 | - |1430 |8013 |3252 | 0 | 0 | 66 | 278k| 48 | 1.099905e+02 | -- | Inf
439.16/439.32 c 427s|590000 | 54 | 1262 | 23M|1169 | - |1430 |8084 |3399 | 0 | 0 | 66 | 282k| 48 | 1.099905e+02 | -- | Inf
446.66/446.81 c 435s|600000 | 170 | 1262 | 23M|1169 | - |1430 |5877 |3199 | 0 | 0 | 66 | 288k| 48 | 1.099905e+02 | -- | Inf
452.46/452.62 c 440s|610000 | 661 | 1262 | 23M|1169 | - |1430 |5975 |2411 | 0 | 0 | 66 | 291k| 48 | 1.099905e+02 | -- | Inf
458.85/459.03 c 447s|620000 | 1025 | 1262 | 23M|1169 | - |1430 |6085 |1987 | 0 | 0 | 66 | 295k| 48 | 1.099905e+02 | -- | Inf
465.95/466.18 c 454s|630000 | 56 | 1262 | 23M|1169 | - |1430 |6192 |2968 | 0 | 0 | 66 | 300k| 48 | 1.099905e+02 | -- | Inf
473.35/473.58 c 461s|640000 | 55 | 1262 | 23M|1169 | - |1430 |6451 |3541 | 0 | 0 | 66 | 305k| 48 | 1.099905e+02 | -- | Inf
479.95/480.20 c 467s|650000 | 921 | 1262 | 23M|1169 | - |1430 |5766 |2244 | 0 | 0 | 66 | 310k| 48 | 1.099905e+02 | -- | Inf
486.85/487.10 c 474s|660000 | 72 | 1262 | 22M|1169 | - |1430 |5861 |3403 | 0 | 0 | 66 | 314k| 48 | 1.099905e+02 | -- | Inf
493.54/493.76 c 480s|670000 | 60 | 1262 | 23M|1169 | - |1430 |5952 |3171 | 0 | 0 | 66 | 318k| 48 | 1.099905e+02 | -- | Inf
500.54/500.71 c 487s|680000 | 522 | 1262 | 23M|1169 | - |1430 |6079 |2605 | 0 | 0 | 66 | 322k| 48 | 1.099905e+02 | -- | Inf
507.34/507.52 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
507.34/507.52 c 494s|690000 | 54 | 1262 | 23M|1169 | - |1430 |6179 |3370 | 0 | 0 | 66 | 326k| 48 | 1.099905e+02 | -- | Inf
514.54/514.77 c 501s|700000 | 59 | 1262 | 23M|1169 | - |1430 |6289 |3158 | 0 | 0 | 66 | 331k| 48 | 1.099905e+02 | -- | Inf
522.13/522.36 c 508s|710000 | 75 | 1262 | 23M|1169 | - |1430 |6340 |3220 | 0 | 0 | 66 | 336k| 48 | 1.099905e+02 | -- | Inf
529.54/529.70 c 515s|720000 | 54 | 1262 | 23M|1169 | - |1430 |6529 |3436 | 0 | 0 | 66 | 341k| 48 | 1.099905e+02 | -- | Inf
535.64/535.85 c 521s|730000 | 75 | 1262 | 23M|1169 | - |1430 |6611 |3189 | 0 | 0 | 66 | 345k| 48 | 1.099905e+02 | -- | Inf
542.93/543.10 c 528s|740000 | 64 | 1262 | 22M|1169 | - |1430 |5610 |3432 | 0 | 0 | 66 | 350k| 48 | 1.099905e+02 | -- | Inf
550.42/550.60 c 536s|750000 | 55 | 1262 | 22M|1169 | - |1430 |5691 |3187 | 0 | 0 | 66 | 355k| 48 | 1.099905e+02 | -- | Inf
558.03/558.21 c 543s|760000 | 58 | 1262 | 23M|1169 | - |1430 |5871 |3164 | 0 | 0 | 66 | 360k| 48 | 1.099905e+02 | -- | Inf
565.72/565.91 c 551s|770000 | 73 | 1262 | 23M|1169 | - |1430 |6059 |3234 | 0 | 0 | 66 | 365k| 48 | 1.099905e+02 | -- | Inf
573.12/573.33 c 558s|780000 | 67 | 1262 | 23M|1169 | - |1430 |6202 |3088 | 0 | 0 | 66 | 370k| 48 | 1.099905e+02 | -- | Inf
580.62/580.89 c 565s|790000 | 58 | 1262 | 23M|1169 | - |1430 |6325 |3001 | 0 | 0 | 66 | 375k| 48 | 1.099905e+02 | -- | Inf
587.82/588.05 c 572s|800000 | 59 | 1262 | 23M|1169 | - |1430 |6471 |3190 | 0 | 0 | 66 | 380k| 48 | 1.099905e+02 | -- | Inf
594.82/595.04 c 579s|810000 | 816 | 1262 | 23M|1169 | - |1430 |6704 |2310 | 0 | 0 | 66 | 385k| 48 | 1.099905e+02 | -- | Inf
600.91/601.18 c 585s|820000 | 59 | 1262 | 23M|1169 | - |1430 |6806 |3085 | 0 | 0 | 66 | 388k| 48 | 1.099905e+02 | -- | Inf
608.22/608.44 c 592s|830000 | 107 | 1262 | 23M|1169 | - |1430 |7069 |2860 | 0 | 0 | 66 | 394k| 48 | 1.099905e+02 | -- | Inf
614.72/614.99 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
614.72/614.99 c 598s|840000 | 92 | 1262 | 23M|1169 | - |1430 |7252 |3091 | 0 | 0 | 66 | 398k| 48 | 1.099905e+02 | -- | Inf
621.81/622.05 c 605s|850000 | 57 | 1262 | 23M|1169 | - |1430 |7355 |2910 | 0 | 0 | 66 | 403k| 48 | 1.099905e+02 | -- | Inf
629.21/629.45 c 612s|860000 | 125 | 1262 | 23M|1169 | - |1430 |7546 |3008 | 0 | 0 | 66 | 408k| 48 | 1.099905e+02 | -- | Inf
635.31/635.57 c 618s|870000 | 59 | 1262 | 23M|1169 | - |1430 |7623 |3161 | 0 | 0 | 66 | 411k| 48 | 1.099905e+02 | -- | Inf
643.11/643.35 c 626s|880000 | 58 | 1262 | 23M|1169 | - |1430 |7642 |3378 | 0 | 0 | 66 | 417k| 48 | 1.099905e+02 | -- | Inf
649.30/649.52 c 632s|890000 | 53 | 1262 | 23M|1169 | - |1430 |7791 |3009 | 0 | 0 | 66 | 421k| 48 | 1.099905e+02 | -- | Inf
656.21/656.42 c 639s|900000 | 63 | 1262 | 23M|1169 | - |1430 |7915 |3215 | 0 | 0 | 66 | 425k| 48 | 1.099905e+02 | -- | Inf
663.30/663.55 c 646s|910000 | 64 | 1262 | 23M|1169 | - |1430 |7997 |3001 | 0 | 0 | 66 | 430k| 48 | 1.099905e+02 | -- | Inf
669.71/669.97 c 652s|920000 | 59 | 1262 | 23M|1169 | - |1430 |8031 |3280 | 0 | 0 | 66 | 434k| 48 | 1.099905e+02 | -- | Inf
676.70/676.92 c 659s|930000 | 60 | 1262 | 23M|1169 | - |1430 |8121 |3179 | 0 | 0 | 66 | 439k| 48 | 1.099905e+02 | -- | Inf
684.79/685.06 c 667s|940000 | 53 | 1262 | 23M|1169 | - |1430 |8238 |3496 | 0 | 0 | 66 | 445k| 48 | 1.099905e+02 | -- | Inf
691.79/692.09 c 673s|950000 | 707 | 1262 | 23M|1169 | - |1430 |8347 |2273 | 0 | 0 | 66 | 450k| 48 | 1.099905e+02 | -- | Inf
698.99/699.27 c 680s|960000 | 51 | 1262 | 23M|1169 | - |1430 |8472 |3262 | 0 | 0 | 66 | 455k| 48 | 1.099905e+02 | -- | Inf
706.78/707.01 c 688s|970000 | 61 | 1262 | 23M|1169 | - |1430 |8627 |3176 | 0 | 0 | 66 | 460k| 48 | 1.099905e+02 | -- | Inf
714.38/714.64 c 695s|980000 | 187 | 1262 | 23M|1169 | - |1430 |8809 |3059 | 0 | 0 | 66 | 466k| 48 | 1.099905e+02 | -- | Inf
721.88/722.13 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
721.88/722.13 c 703s|990000 | 55 | 1262 | 23M|1169 | - |1430 |8979 |3304 | 0 | 0 | 66 | 472k| 48 | 1.099905e+02 | -- | Inf
729.68/729.96 c 710s| 1000k| 58 | 1262 | 23M|1169 | - |1430 |9102 |3296 | 0 | 0 | 66 | 477k| 48 | 1.099905e+02 | -- | Inf
737.28/737.56 c 718s| 1010k| 78 | 1262 | 23M|1169 | - |1430 |9160 |2993 | 0 | 0 | 66 | 483k| 48 | 1.099905e+02 | -- | Inf
745.48/745.71 c 726s| 1020k| 53 | 1262 | 23M|1169 | - |1430 |9273 |3333 | 0 | 0 | 66 | 489k| 48 | 1.099905e+02 | -- | Inf
752.88/753.11 c 733s| 1030k| 57 | 1262 | 23M|1169 | - |1430 |9358 |3383 | 0 | 0 | 66 | 494k| 48 | 1.099905e+02 | -- | Inf
760.67/760.91 c 740s| 1040k| 59 | 1262 | 24M|1169 | - |1430 |9495 |3239 | 0 | 0 | 66 | 499k| 48 | 1.099905e+02 | -- | Inf
768.87/769.19 c 749s| 1050k| 58 | 1262 | 24M|1169 | - |1430 |9615 |3161 | 0 | 0 | 66 | 506k| 48 | 1.099905e+02 | -- | Inf
776.77/777.09 c 756s| 1060k| 51 | 1262 | 24M|1169 | - |1430 |9761 |3022 | 0 | 0 | 66 | 512k| 48 | 1.099905e+02 | -- | Inf
784.57/784.88 c 764s| 1070k| 646 | 1262 | 24M|1169 | - |1430 | 10k|2386 | 0 | 0 | 66 | 517k| 48 | 1.099905e+02 | -- | Inf
791.87/792.18 c 771s| 1080k| 67 | 1262 | 24M|1169 | - |1430 | 10k|3151 | 0 | 0 | 66 | 523k| 48 | 1.099905e+02 | -- | Inf
800.16/800.44 c 779s| 1090k| 54 | 1262 | 24M|1169 | - |1430 | 10k|3288 | 0 | 0 | 66 | 529k| 48 | 1.099905e+02 | -- | Inf
807.57/807.86 c 786s| 1100k| 77 | 1262 | 24M|1169 | - |1430 | 10k|3006 | 0 | 0 | 66 | 534k| 48 | 1.099905e+02 | -- | Inf
815.16/815.41 c 793s| 1110k| 62 | 1262 | 24M|1169 | - |1430 | 10k|3141 | 0 | 0 | 66 | 539k| 48 | 1.099905e+02 | -- | Inf
822.06/822.34 c 800s| 1120k| 78 | 1262 | 24M|1169 | - |1430 | 10k|3039 | 0 | 0 | 66 | 544k| 48 | 1.099905e+02 | -- | Inf
830.16/830.48 c 808s| 1130k| 56 | 1262 | 24M|1169 | - |1430 | 11k|3064 | 0 | 0 | 66 | 550k| 48 | 1.099905e+02 | -- | Inf
837.15/837.44 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
837.15/837.44 c 815s| 1140k| 177 | 1262 | 24M|1169 | - |1430 | 11k|2679 | 0 | 0 | 66 | 555k| 48 | 1.099905e+02 | -- | Inf
845.25/845.51 c 823s| 1150k| 57 | 1262 | 24M|1169 | - |1430 | 11k|3161 | 0 | 0 | 66 | 561k| 48 | 1.099905e+02 | -- | Inf
852.85/853.19 c 830s| 1160k| 63 | 1262 | 24M|1169 | - |1430 | 11k|3092 | 0 | 0 | 66 | 566k| 48 | 1.099905e+02 | -- | Inf
860.25/860.55 c 837s| 1170k| 51 | 1262 | 24M|1169 | - |1430 | 11k|3271 | 0 | 0 | 66 | 571k| 48 | 1.099905e+02 | -- | Inf
868.65/868.93 c 846s| 1180k| 63 | 1262 | 24M|1169 | - |1430 | 11k|2903 | 0 | 0 | 66 | 578k| 48 | 1.099905e+02 | -- | Inf
876.74/877.02 c 853s| 1190k| 49 | 1262 | 24M|1169 | - |1430 | 11k|2967 | 0 | 0 | 66 | 584k| 48 | 1.099905e+02 | -- | Inf
884.45/884.76 c 861s| 1200k| 61 | 1262 | 24M|1169 | - |1430 | 11k|3039 | 0 | 0 | 66 | 589k| 48 | 1.099905e+02 | -- | Inf
890.74/891.06 c 867s| 1210k| 52 | 1262 | 24M|1169 | - |1430 | 11k|3122 | 0 | 0 | 66 | 593k| 48 | 1.099905e+02 | -- | Inf
898.83/899.12 c 875s| 1220k| 55 | 1262 | 24M|1169 | - |1430 | 12k|3086 | 0 | 0 | 66 | 599k| 48 | 1.099905e+02 | -- | Inf
906.04/906.33 c 882s| 1230k| 134 | 1262 | 24M|1169 | - |1430 | 12k|2837 | 0 | 0 | 66 | 604k| 48 | 1.099905e+02 | -- | Inf
913.84/914.14 c 890s| 1240k| 57 | 1262 | 24M|1169 | - |1430 | 12k|2800 | 0 | 0 | 66 | 609k| 48 | 1.099905e+02 | -- | Inf
920.93/921.21 c 896s| 1250k| 51 | 1262 | 24M|1169 | - |1430 | 12k|2968 | 0 | 0 | 66 | 614k| 48 | 1.099905e+02 | -- | Inf
928.33/928.65 c 904s| 1260k| 67 | 1262 | 25M|1169 | - |1430 | 12k|3023 | 0 | 0 | 66 | 619k| 48 | 1.099905e+02 | -- | Inf
936.03/936.31 c 911s| 1270k| 61 | 1262 | 25M|1169 | - |1430 | 12k|3242 | 0 | 0 | 66 | 624k| 48 | 1.099905e+02 | -- | Inf
943.82/944.16 c 919s| 1280k| 296 | 1262 | 25M|1169 | - |1430 | 12k|2768 | 0 | 0 | 66 | 629k| 48 | 1.099905e+02 | -- | Inf
951.52/951.86 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
951.52/951.86 c 926s| 1290k| 970 | 1262 | 25M|1169 | - |1430 | 13k|2131 | 0 | 0 | 66 | 635k| 48 | 1.099905e+02 | -- | Inf
958.72/959.08 c 933s| 1300k| 58 | 1262 | 25M|1169 | - |1430 | 13k|3099 | 0 | 0 | 66 | 640k| 48 | 1.099905e+02 | -- | Inf
966.12/966.44 c 940s| 1310k| 58 | 1262 | 25M|1169 | - |1430 | 13k|2894 | 0 | 0 | 66 | 645k| 48 | 1.099905e+02 | -- | Inf
973.52/973.83 c 948s| 1320k| 146 | 1262 | 25M|1169 | - |1430 | 13k|2893 | 0 | 0 | 66 | 650k| 48 | 1.099905e+02 | -- | Inf
982.12/982.48 c 956s| 1330k| 54 | 1262 | 25M|1169 | - |1430 | 13k|2884 | 0 | 0 | 66 | 657k| 48 | 1.099905e+02 | -- | Inf
990.52/990.85 c 964s| 1340k| 55 | 1262 | 25M|1169 | - |1430 | 13k|2928 | 0 | 0 | 66 | 663k| 48 | 1.099905e+02 | -- | Inf
997.21/997.57 c 971s| 1350k| 59 | 1262 | 25M|1169 | - |1430 | 13k|3100 | 0 | 0 | 66 | 667k| 48 | 1.099905e+02 | -- | Inf
1005.41/1005.74 c 979s| 1360k| 55 | 1262 | 25M|1169 | - |1430 | 13k|3178 | 0 | 0 | 66 | 672k| 48 | 1.099905e+02 | -- | Inf
1013.20/1013.57 c 986s| 1370k| 58 | 1262 | 25M|1169 | - |1430 | 13k|3021 | 0 | 0 | 66 | 678k| 48 | 1.099905e+02 | -- | Inf
1021.30/1021.68 c 994s| 1380k| 50 | 1262 | 25M|1169 | - |1430 | 14k|3084 | 0 | 0 | 66 | 685k| 48 | 1.099905e+02 | -- | Inf
1028.60/1028.92 c 1001s| 1390k| 94 | 1262 | 25M|1169 | - |1430 | 14k|2910 | 0 | 0 | 66 | 690k| 48 | 1.099905e+02 | -- | Inf
1035.70/1036.03 c 1008s| 1400k| 70 | 1262 | 25M|1169 | - |1430 | 14k|3023 | 0 | 0 | 66 | 695k| 48 | 1.099905e+02 | -- | Inf
1043.61/1043.98 c 1016s| 1410k| 54 | 1262 | 25M|1169 | - |1430 | 14k|2916 | 0 | 0 | 66 | 701k| 48 | 1.099905e+02 | -- | Inf
1049.30/1049.63 c 1021s| 1420k| 63 | 1262 | 23M|1169 | - |1430 |5637 |3499 | 0 | 0 | 66 | 704k| 48 | 1.099905e+02 | -- | Inf
1055.49/1055.88 c 1027s| 1430k| 66 | 1262 | 23M|1169 | - |1430 |5539 |3385 | 0 | 0 | 66 | 708k| 48 | 1.099905e+02 | -- | Inf
1063.10/1063.45 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1063.10/1063.45 c 1035s| 1440k| 66 | 1262 | 23M|1169 | - |1430 |5540 |3464 | 0 | 0 | 66 | 713k| 48 | 1.099905e+02 | -- | Inf
1070.09/1070.45 c 1041s| 1450k| 394 | 1262 | 23M|1169 | - |1430 |5668 |3031 | 0 | 0 | 66 | 718k| 48 | 1.099905e+02 | -- | Inf
1075.58/1075.98 c 1047s| 1460k| 233 | 1262 | 23M|1169 | - |1430 |5700 |3212 | 0 | 0 | 66 | 721k| 48 | 1.099905e+02 | -- | Inf
1082.49/1082.85 c 1053s| 1470k| 58 | 1262 | 23M|1169 | - |1430 |5678 |3604 | 0 | 0 | 66 | 726k| 48 | 1.099905e+02 | -- | Inf
1089.48/1089.83 c 1060s| 1480k| 64 | 1262 | 23M|1169 | - |1430 |5684 |3574 | 0 | 0 | 66 | 731k| 48 | 1.099905e+02 | -- | Inf
1095.18/1095.53 c 1066s| 1490k| 458 | 1262 | 23M|1169 | - |1430 |5745 |2706 | 0 | 0 | 66 | 734k| 48 | 1.099905e+02 | -- | Inf
1102.08/1102.40 c 1072s| 1500k| 59 | 1262 | 23M|1169 | - |1430 |5740 |3148 | 0 | 0 | 66 | 739k| 48 | 1.099905e+02 | -- | Inf
1108.29/1108.65 c 1079s| 1510k| 64 | 1262 | 23M|1169 | - |1430 |5584 |3164 | 0 | 0 | 66 | 743k| 48 | 1.099905e+02 | -- | Inf
1114.68/1115.06 c 1085s| 1520k| 59 | 1262 | 23M|1169 | - |1430 |5606 |3241 | 0 | 0 | 66 | 747k| 48 | 1.099905e+02 | -- | Inf
1121.88/1122.24 c 1092s| 1530k| 65 | 1262 | 23M|1169 | - |1430 |5591 |3619 | 0 | 0 | 66 | 752k| 48 | 1.099905e+02 | -- | Inf
1128.57/1128.93 c 1098s| 1540k| 551 | 1262 | 23M|1169 | - |1430 |5817 |2564 | 0 | 0 | 66 | 757k| 48 | 1.099905e+02 | -- | Inf
1133.98/1134.31 c 1104s| 1550k| 362 | 1262 | 23M|1169 | - |1430 |5685 |2837 | 0 | 0 | 66 | 759k| 48 | 1.099905e+02 | -- | Inf
1139.37/1139.71 c 1109s| 1560k| 764 | 1262 | 23M|1169 | - |1430 |5795 |2234 | 0 | 0 | 66 | 762k| 48 | 1.099905e+02 | -- | Inf
1145.27/1145.66 c 1115s| 1570k| 780 | 1262 | 23M|1169 | - |1430 |5818 |2296 | 0 | 0 | 66 | 766k| 48 | 1.099905e+02 | -- | Inf
1152.67/1153.05 c 1122s| 1580k| 60 | 1262 | 23M|1169 | - |1430 |5797 |3281 | 0 | 0 | 66 | 771k| 48 | 1.099905e+02 | -- | Inf
1159.96/1160.38 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1159.96/1160.38 c 1129s| 1590k| 320 | 1262 | 23M|1169 | - |1430 |5838 |2964 | 0 | 0 | 66 | 775k| 48 | 1.099905e+02 | -- | Inf
1166.07/1166.43 c 1135s| 1600k| 55 | 1262 | 23M|1169 | - |1430 |5873 |3202 | 0 | 0 | 66 | 779k| 48 | 1.099905e+02 | -- | Inf
1172.67/1173.04 c 1141s| 1610k| 56 | 1262 | 23M|1169 | - |1430 |5891 |3238 | 0 | 0 | 66 | 783k| 48 | 1.099905e+02 | -- | Inf
1179.56/1179.91 c 1148s| 1620k| 82 | 1262 | 23M|1169 | - |1430 |5897 |3001 | 0 | 0 | 66 | 787k| 48 | 1.099905e+02 | -- | Inf
1185.96/1186.37 c 1154s| 1630k| 61 | 1262 | 23M|1169 | - |1430 |5915 |3115 | 0 | 0 | 66 | 791k| 48 | 1.099905e+02 | -- | Inf
1193.86/1194.21 c 1162s| 1640k| 58 | 1262 | 23M|1169 | - |1430 |5963 |3171 | 0 | 0 | 66 | 796k| 48 | 1.099905e+02 | -- | Inf
1201.36/1201.78 c 1169s| 1650k| 328 | 1262 | 23M|1169 | - |1430 |5986 |2675 | 0 | 0 | 66 | 801k| 48 | 1.099905e+02 | -- | Inf
1208.05/1208.45 c 1176s| 1660k| 65 | 1262 | 23M|1169 | - |1430 |6010 |3012 | 0 | 0 | 66 | 806k| 48 | 1.099905e+02 | -- | Inf
1214.55/1214.95 c 1182s| 1670k| 129 | 1262 | 23M|1169 | - |1430 |5988 |2888 | 0 | 0 | 66 | 810k| 48 | 1.099905e+02 | -- | Inf
1222.55/1222.90 c 1190s| 1680k| 56 | 1262 | 23M|1169 | - |1430 |5959 |3509 | 0 | 0 | 66 | 816k| 48 | 1.099905e+02 | -- | Inf
1228.95/1229.38 c 1196s| 1690k| 56 | 1262 | 23M|1169 | - |1430 |5967 |3232 | 0 | 0 | 66 | 820k| 48 | 1.099905e+02 | -- | Inf
1236.45/1236.86 c 1203s| 1700k| 59 | 1262 | 23M|1169 | - |1430 |5993 |3016 | 0 | 0 | 66 | 825k| 48 | 1.099905e+02 | -- | Inf
1243.75/1244.13 c 1210s| 1710k| 75 | 1262 | 23M|1169 | - |1430 |6003 |3034 | 0 | 0 | 66 | 830k| 48 | 1.099905e+02 | -- | Inf
1250.64/1251.03 c 1217s| 1720k| 83 | 1262 | 23M|1169 | - |1430 |5998 |2917 | 0 | 0 | 66 | 834k| 48 | 1.099905e+02 | -- | Inf
1257.24/1257.65 c 1223s| 1730k| 56 | 1262 | 23M|1169 | - |1430 |6015 |3145 | 0 | 0 | 66 | 838k| 48 | 1.099905e+02 | -- | Inf
1265.04/1265.41 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1265.04/1265.41 c 1231s| 1740k| 120 | 1262 | 23M|1169 | - |1430 |5980 |3156 | 0 | 0 | 66 | 844k| 48 | 1.099905e+02 | -- | Inf
1272.04/1272.49 c 1238s| 1750k| 62 | 1262 | 23M|1169 | - |1430 |5973 |3097 | 0 | 0 | 66 | 848k| 48 | 1.099905e+02 | -- | Inf
1279.44/1279.88 c 1245s| 1760k| 53 | 1262 | 23M|1169 | - |1430 |5991 |3187 | 0 | 0 | 66 | 853k| 48 | 1.099905e+02 | -- | Inf
1286.93/1287.38 c 1252s| 1770k| 84 | 1262 | 23M|1169 | - |1430 |5989 |3110 | 0 | 0 | 66 | 859k| 48 | 1.099905e+02 | -- | Inf
1294.83/1295.25 c 1260s| 1780k| 77 | 1262 | 23M|1169 | - |1430 |5975 |3114 | 0 | 0 | 66 | 864k| 48 | 1.099905e+02 | -- | Inf
1302.13/1302.50 c 1267s| 1790k| 62 | 1262 | 23M|1169 | - |1430 |5992 |3045 | 0 | 0 | 66 | 869k| 48 | 1.099905e+02 | -- | Inf
1309.74/1310.16 c 1275s| 1800k| 56 | 1262 | 23M|1169 | - |1430 |6009 |3146 | 0 | 0 | 66 | 874k| 48 | 1.099905e+02 | -- | Inf
1318.03/1318.42 c 1283s| 1810k| 59 | 1262 | 23M|1169 | - |1430 |6000 |3261 | 0 | 0 | 66 | 881k| 48 | 1.099905e+02 | -- | Inf
1324.62/1325.07 c 1289s| 1820k| 724 | 1262 | 23M|1169 | - |1430 |6014 |2343 | 0 | 0 | 66 | 885k| 48 | 1.099905e+02 | -- | Inf
1330.52/1330.96 c 1295s| 1830k| 168 | 1262 | 23M|1169 | - |1430 |6077 |2798 | 0 | 0 | 66 | 888k| 48 | 1.099905e+02 | -- | Inf
1336.82/1337.23 c 1301s| 1840k| 775 | 1262 | 23M|1169 | - |1430 |6065 |2362 | 0 | 0 | 66 | 892k| 48 | 1.099905e+02 | -- | Inf
1342.62/1343.08 c 1306s| 1850k| 303 | 1262 | 23M|1169 | - |1430 |6117 |2274 | 0 | 0 | 66 | 896k| 48 | 1.099905e+02 | -- | Inf
1349.12/1349.58 c 1313s| 1860k| 932 | 1262 | 23M|1169 | - |1430 |6110 |2512 | 0 | 0 | 66 | 900k| 48 | 1.099905e+02 | -- | Inf
1354.82/1355.22 c 1318s| 1870k| 65 | 1262 | 23M|1169 | - |1430 |6216 |2967 | 0 | 0 | 66 | 903k| 48 | 1.099905e+02 | -- | Inf
1361.11/1361.54 c 1324s| 1880k| 59 | 1262 | 23M|1169 | - |1430 |6193 |3474 | 0 | 0 | 66 | 907k| 48 | 1.099905e+02 | -- | Inf
1369.41/1369.86 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1369.41/1369.86 c 1333s| 1890k| 53 | 1262 | 23M|1169 | - |1430 |6320 |3586 | 0 | 0 | 66 | 913k| 48 | 1.099905e+02 | -- | Inf
1377.61/1378.08 c 1341s| 1900k| 54 | 1262 | 23M|1169 | - |1430 |6324 |3464 | 0 | 0 | 66 | 919k| 48 | 1.099905e+02 | -- | Inf
1385.41/1385.81 c 1348s| 1910k| 63 | 1262 | 23M|1169 | - |1430 |6312 |3092 | 0 | 0 | 66 | 924k| 48 | 1.099905e+02 | -- | Inf
1393.60/1394.02 c 1356s| 1920k| 92 | 1262 | 23M|1169 | - |1430 |6371 |2937 | 0 | 0 | 66 | 930k| 48 | 1.099905e+02 | -- | Inf
1400.40/1400.83 c 1363s| 1930k| 64 | 1262 | 23M|1169 | - |1430 |6325 |3276 | 0 | 0 | 66 | 934k| 48 | 1.099905e+02 | -- | Inf
1409.01/1409.45 c 1371s| 1940k| 61 | 1262 | 23M|1169 | - |1430 |6391 |3219 | 0 | 0 | 66 | 940k| 48 | 1.099905e+02 | -- | Inf
1417.40/1417.84 c 1379s| 1950k| 56 | 1262 | 23M|1169 | - |1430 |6512 |3367 | 0 | 0 | 66 | 947k| 48 | 1.099905e+02 | -- | Inf
1425.80/1426.23 c 1387s| 1960k| 57 | 1262 | 23M|1169 | - |1430 |6517 |3593 | 0 | 0 | 66 | 953k| 48 | 1.099905e+02 | -- | Inf
1434.59/1435.07 c 1396s| 1970k| 61 | 1262 | 23M|1169 | - |1430 |6602 |3005 | 0 | 0 | 66 | 959k| 48 | 1.099905e+02 | -- | Inf
1443.59/1444.00 c 1405s| 1980k| 60 | 1262 | 23M|1169 | - |1430 |6585 |3213 | 0 | 0 | 66 | 965k| 48 | 1.099905e+02 | -- | Inf
1452.60/1453.02 c 1413s| 1990k| 60 | 1262 | 23M|1169 | - |1430 |6669 |3228 | 0 | 0 | 66 | 972k| 48 | 1.099905e+02 | -- | Inf
1461.29/1461.73 c 1422s| 2000k| 56 | 1262 | 23M|1169 | - |1430 |6710 |3273 | 0 | 0 | 66 | 978k| 48 | 1.099905e+02 | -- | Inf
1469.49/1469.96 c 1430s| 2010k| 61 | 1262 | 23M|1169 | - |1430 |6801 |3215 | 0 | 0 | 66 | 984k| 48 | 1.099905e+02 | -- | Inf
1476.88/1477.31 c 1437s| 2020k| 63 | 1262 | 23M|1169 | - |1430 |6877 |3268 | 0 | 0 | 66 | 988k| 48 | 1.099905e+02 | -- | Inf
1484.68/1485.11 c 1445s| 2030k| 61 | 1262 | 23M|1169 | - |1430 |6914 |3292 | 0 | 0 | 66 | 993k| 48 | 1.099905e+02 | -- | Inf
1493.68/1494.17 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1493.68/1494.17 c 1453s| 2040k| 63 | 1262 | 23M|1169 | - |1430 |7026 |3113 | 0 | 0 | 66 |1000k| 48 | 1.099905e+02 | -- | Inf
1501.48/1501.96 c 1461s| 2050k| 61 | 1262 | 23M|1169 | - |1430 |7168 |3148 | 0 | 0 | 66 |1005k| 48 | 1.099905e+02 | -- | Inf
1510.18/1510.60 c 1469s| 2060k| 57 | 1262 | 23M|1169 | - |1430 |7147 |3105 | 0 | 0 | 66 |1012k| 48 | 1.099905e+02 | -- | Inf
1518.58/1519.03 c 1478s| 2070k| 54 | 1262 | 23M|1169 | - |1430 |7205 |3111 | 0 | 0 | 66 |1017k| 48 | 1.099905e+02 | -- | Inf
1526.57/1527.03 c 1485s| 2080k| 57 | 1262 | 23M|1169 | - |1430 |7193 |3132 | 0 | 0 | 66 |1023k| 48 | 1.099905e+02 | -- | Inf
1534.87/1535.38 c 1493s| 2090k| 60 | 1262 | 23M|1169 | - |1430 |7307 |3000 | 0 | 0 | 66 |1029k| 48 | 1.099905e+02 | -- | Inf
1543.17/1543.70 c 1502s| 2100k| 74 | 1262 | 23M|1169 | - |1430 |7406 |3019 | 0 | 0 | 66 |1035k| 48 | 1.099905e+02 | -- | Inf
1551.57/1552.02 c 1510s| 2110k| 53 | 1262 | 23M|1169 | - |1430 |7506 |3091 | 0 | 0 | 66 |1042k| 48 | 1.099905e+02 | -- | Inf
1558.27/1558.78 c 1516s| 2120k| 55 | 1262 | 23M|1169 | - |1430 |7561 |3127 | 0 | 0 | 66 |1046k| 48 | 1.099905e+02 | -- | Inf
1566.97/1567.43 c 1525s| 2130k| 48 | 1262 | 24M|1169 | - |1430 |7650 |3323 | 0 | 0 | 66 |1053k| 48 | 1.099905e+02 | -- | Inf
1574.56/1575.08 c 1532s| 2140k| 54 | 1262 | 24M|1169 | - |1430 |7717 |3328 | 0 | 0 | 66 |1058k| 48 | 1.099905e+02 | -- | Inf
1582.55/1583.00 c 1540s| 2150k| 50 | 1262 | 24M|1169 | - |1430 |7816 |3337 | 0 | 0 | 66 |1065k| 48 | 1.099905e+02 | -- | Inf
1590.36/1590.86 c 1547s| 2160k| 56 | 1262 | 24M|1169 | - |1430 |7959 |3050 | 0 | 0 | 66 |1070k| 48 | 1.099905e+02 | -- | Inf
1598.25/1598.70 c 1555s| 2170k| 57 | 1262 | 24M|1169 | - |1430 |8067 |3113 | 0 | 0 | 66 |1076k| 48 | 1.099905e+02 | -- | Inf
1605.75/1606.26 c 1562s| 2180k| 56 | 1262 | 24M|1169 | - |1430 |8112 |2990 | 0 | 0 | 66 |1081k| 48 | 1.099905e+02 | -- | Inf
1613.95/1614.48 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1613.95/1614.48 c 1570s| 2190k| 60 | 1262 | 24M|1169 | - |1430 |8215 |3080 | 0 | 0 | 66 |1088k| 48 | 1.099905e+02 | -- | Inf
1622.15/1622.60 c 1578s| 2200k| 54 | 1262 | 24M|1169 | - |1430 |8358 |3336 | 0 | 0 | 66 |1093k| 48 | 1.099905e+02 | -- | Inf
1630.25/1630.77 c 1586s| 2210k| 53 | 1262 | 24M|1169 | - |1430 |8405 |3247 | 0 | 0 | 66 |1099k| 48 | 1.099905e+02 | -- | Inf
1637.94/1638.45 c 1594s| 2220k| 55 | 1262 | 24M|1169 | - |1430 |8500 |3051 | 0 | 0 | 66 |1105k| 48 | 1.099905e+02 | -- | Inf
1646.44/1646.92 c 1602s| 2230k| 156 | 1262 | 24M|1169 | - |1430 |8738 |2952 | 0 | 0 | 66 |1111k| 48 | 1.099905e+02 | -- | Inf
1655.34/1655.87 c 1611s| 2240k| 55 | 1262 | 24M|1169 | - |1430 |8958 |2972 | 0 | 0 | 66 |1118k| 48 | 1.099905e+02 | -- | Inf
1664.03/1664.55 c 1619s| 2250k| 56 | 1262 | 24M|1169 | - |1430 |8949 |3174 | 0 | 0 | 66 |1124k| 48 | 1.099905e+02 | -- | Inf
1672.43/1673.00 c 1627s| 2260k| 58 | 1262 | 24M|1169 | - |1430 |8838 |3156 | 0 | 0 | 66 |1130k| 48 | 1.099905e+02 | -- | Inf
1681.03/1681.50 c 1636s| 2270k| 56 | 1262 | 24M|1169 | - |1430 |8962 |3165 | 0 | 0 | 66 |1137k| 48 | 1.099905e+02 | -- | Inf
1689.43/1689.95 c 1644s| 2280k| 61 | 1262 | 24M|1169 | - |1430 |9081 |3066 | 0 | 0 | 66 |1143k| 48 | 1.099905e+02 | -- | Inf
1698.03/1698.51 c 1652s| 2290k| 53 | 1262 | 24M|1169 | - |1430 |9178 |3208 | 0 | 0 | 66 |1149k| 48 | 1.099905e+02 | -- | Inf
1705.82/1706.35 c 1660s| 2300k| 54 | 1262 | 24M|1169 | - |1430 |9256 |3054 | 0 | 0 | 66 |1154k| 48 | 1.099905e+02 | -- | Inf
1714.12/1714.63 c 1668s| 2310k| 52 | 1262 | 24M|1169 | - |1430 |9341 |3205 | 0 | 0 | 66 |1160k| 48 | 1.099905e+02 | -- | Inf
1722.42/1722.90 c 1676s| 2320k| 57 | 1262 | 24M|1169 | - |1430 |9393 |3099 | 0 | 0 | 66 |1167k| 48 | 1.099905e+02 | -- | Inf
1730.32/1730.84 c 1684s| 2330k| 60 | 1262 | 24M|1169 | - |1430 |9455 |2964 | 0 | 0 | 66 |1173k| 48 | 1.099905e+02 | -- | Inf
1738.71/1739.26 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1738.71/1739.26 c 1692s| 2340k| 401 | 1262 | 24M|1169 | - |1430 |9428 |2703 | 0 | 0 | 66 |1179k| 48 | 1.099905e+02 | -- | Inf
1745.41/1745.99 c 1699s| 2350k| 55 | 1262 | 24M|1169 | - |1430 |9376 |3658 | 0 | 0 | 66 |1183k| 48 | 1.099905e+02 | -- | Inf
1751.91/1752.40 c 1705s| 2360k| 68 | 1262 | 24M|1169 | - |1430 |9468 |3241 | 0 | 0 | 66 |1187k| 48 | 1.099905e+02 | -- | Inf
1758.21/1758.72 c 1711s| 2370k| 594 | 1262 | 24M|1169 | - |1430 |9384 |2685 | 0 | 0 | 66 |1191k| 48 | 1.099905e+02 | -- | Inf
1764.40/1764.95 c 1717s| 2380k| 58 | 1262 | 24M|1169 | - |1430 |9405 |3158 | 0 | 0 | 66 |1195k| 48 | 1.099905e+02 | -- | Inf
1771.31/1771.85 c 1724s| 2390k| 731 | 1262 | 24M|1169 | - |1430 |9407 |2493 | 0 | 0 | 66 |1200k| 48 | 1.099905e+02 | -- | Inf
1777.50/1778.09 c 1730s| 2400k| 481 | 1262 | 24M|1169 | - |1430 |9390 |2573 | 0 | 0 | 66 |1204k| 48 | 1.099905e+02 | -- | Inf
1783.50/1784.08 c 1736s| 2410k| 83 | 1262 | 24M|1169 | - |1430 |9467 |3098 | 0 | 0 | 66 |1208k| 48 | 1.099905e+02 | -- | Inf
1790.30/1790.83 c 1742s| 2420k| 63 | 1262 | 24M|1169 | - |1430 |9460 |2971 | 0 | 0 | 66 |1212k| 48 | 1.099905e+02 | -- | Inf
1796.99/1797.59 c 1749s| 2430k| 67 | 1262 | 24M|1169 | - |1430 |9398 |3186 | 0 | 0 | 66 |1217k| 48 | 1.099905e+02 | -- | Inf
1800.00/1800.50 c
1800.00/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.50 c Solving Time (sec) : 1751.54
1800.00/1800.50 c Solving Nodes : 2435185
1800.00/1800.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.00/1800.50 c Dual Bound : +1.09990530303032e+02
1800.00/1800.50 c Gap : infinite
1800.00/1800.50 c NODE 2435185
1800.00/1800.50 c DUAL BOUND 109.991
1800.00/1800.50 c PRIMAL BOUND 1e+20
1800.00/1800.50 c GAP 1e+20
1800.00/1800.50 s UNKNOWN
1800.00/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.50 c Solving Time : 1751.54
1800.00/1800.50 c Original Problem :
1800.00/1800.50 c Problem name : HOME/instance-1884058-1245254148.opb
1800.00/1800.50 c Variables : 1472 (1472 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.50 c Constraints : 7737 initial, 7737 maximal
1800.00/1800.50 c Presolved Problem :
1800.00/1800.50 c Problem name : t_HOME/instance-1884058-1245254148.opb
1800.00/1800.50 c Variables : 1430 (1430 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.50 c Constraints : 5485 initial, 14639 maximal
1800.00/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.00/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.50 c dualfix : 0.00 3 0 0 0 0 0 0 0
1800.00/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.50 c probing : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.50 c linear : 1.11 34 5 0 34 0 1576 306 0
1800.00/1800.50 c logicor : 1.21 0 0 0 0 0 676 0 0
1800.00/1800.50 c root node : - 0 - - 0 - - - -
1800.00/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.00/1800.50 c integral : 0 0 0 1 0 0 0 0 0 2
1800.00/1800.50 c logicor : 5485+ 5 10119917 0 0 941897 24551495 0 0 0
1800.00/1800.50 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.00/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.00/1800.50 c integral : 8.93 0.00 0.00 8.93 0.00
1800.00/1800.50 c logicor : 252.42 0.02 252.40 0.00 0.00
1800.00/1800.50 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.00/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.00/1800.50 c rootredcost : 4.09 0 0 0
1800.00/1800.50 c pseudoobj : 739.83 13188943 0 0
1800.00/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.00/1800.50 c propagation : 79.08 941897 941837 941837 33.9 277835 23.7 -
1800.00/1800.50 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.50 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.00/1800.50 c applied globally : - - - 1219672 31.6 - - -
1800.00/1800.50 c applied locally : - - - 0 0.0 - - -
1800.00/1800.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.00/1800.50 c cut pool : 0.01 4 - - 10 - (maximal pool size: 1454)
1800.00/1800.50 c redcost : 0.00 5 0 0 0 0
1800.00/1800.50 c impliedbounds : 0.00 5 0 0 0 0
1800.00/1800.50 c intobj : 0.00 0 0 0 0 0
1800.00/1800.50 c gomory : 1.11 5 0 0 2500 0
1800.00/1800.50 c strongcg : 0.69 5 0 0 2500 0
1800.00/1800.50 c cmir : 0.00 0 0 0 0 0
1800.00/1800.50 c flowcover : 0.00 0 0 0 0 0
1800.00/1800.50 c clique : 0.01 5 0 0 29 0
1800.00/1800.50 c zerohalf : 0.00 0 0 0 0 0
1800.00/1800.50 c mcf : 0.01 1 0 0 0 0
1800.00/1800.50 c Pricers : Time Calls Vars
1800.00/1800.50 c problem variables: 0.00 0 0
1800.00/1800.50 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.00/1800.50 c relpscost : 8.93 1 0 0 0 0 2
1800.00/1800.50 c pscost : 0.00 0 0 0 0 0 0
1800.00/1800.50 c inference : 512.68 1908082 0 0 0 0 3816164
1800.00/1800.50 c mostinf : 0.00 0 0 0 0 0 0
1800.00/1800.50 c leastinf : 0.00 0 0 0 0 0 0
1800.00/1800.50 c fullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.50 c allfullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.50 c random : 0.00 0 0 0 0 0 0
1800.00/1800.50 c Primal Heuristics : Time Calls Found
1800.00/1800.50 c LP solutions : 0.00 - 0
1800.00/1800.50 c pseudo solutions : 0.00 - 0
1800.00/1800.50 c simplerounding : 0.00 0 0
1800.00/1800.50 c rounding : 0.00 0 0
1800.00/1800.50 c shifting : 0.00 0 0
1800.00/1800.50 c intshifting : 0.00 0 0
1800.00/1800.50 c oneopt : 0.00 0 0
1800.00/1800.50 c fixandinfer : 0.00 0 0
1800.00/1800.50 c feaspump : 0.00 0 0
1800.00/1800.50 c coefdiving : 0.00 0 0
1800.00/1800.50 c pscostdiving : 0.00 0 0
1800.00/1800.50 c fracdiving : 0.00 0 0
1800.00/1800.50 c veclendiving : 0.00 0 0
1800.00/1800.50 c intdiving : 0.00 0 0
1800.00/1800.50 c actconsdiving : 0.00 0 0
1800.00/1800.50 c objpscostdiving : 0.00 0 0
1800.00/1800.50 c rootsoldiving : 0.00 0 0
1800.00/1800.50 c linesearchdiving : 0.00 0 0
1800.00/1800.50 c guideddiving : 0.00 0 0
1800.00/1800.50 c octane : 0.00 0 0
1800.00/1800.51 c rens : 0.00 0 0
1800.00/1800.51 c rins : 0.00 0 0
1800.00/1800.51 c localbranching : 0.00 0 0
1800.00/1800.51 c mutation : 0.00 0 0
1800.00/1800.51 c crossover : 0.00 0 0
1800.00/1800.51 c dins : 0.00 0 0
1800.00/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.00/1800.51 c primal LP : 0.01 0 0 0.00 0.00
1800.00/1800.51 c dual LP : 1.26 6 1262 210.33 1001.59
1800.00/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.00/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.00/1800.51 c strong branching : 8.93 48 8096 168.67 906.61
1800.00/1800.51 c (at root node) : - 48 8096 168.67 -
1800.00/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.00/1800.51 c B&B Tree :
1800.00/1800.51 c number of runs : 1
1800.00/1800.51 c nodes : 2435185
1800.00/1800.51 c nodes (total) : 2435185
1800.00/1800.51 c nodes left : 63
1800.00/1800.51 c max depth : 1169
1800.00/1800.51 c max depth (total): 1169
1800.00/1800.51 c backtracks : 452983 (18.6%)
1800.00/1800.51 c delayed cutoffs : 1380919
1800.00/1800.51 c repropagations : 2970339 (11357492 domain reductions, 414795 cutoffs)
1800.00/1800.51 c avg switch length: 3.71
1800.00/1800.51 c switching time : 125.97
1800.00/1800.51 c Solution :
1800.00/1800.51 c Solutions found : 0 (0 improvements)
1800.00/1800.51 c Primal Bound : -
1800.00/1800.51 c Dual Bound : +1.09990530303032e+02
1800.00/1800.51 c Gap : infinite
1800.00/1800.51 c Root Dual Bound : +1.09546182266010e+02
1800.00/1800.57 c Time complete: 1800.07.