0.09/0.18 c SCIP version 1.1.0.7
0.09/0.18 c LP-Solver Clp 1.8.2
0.09/0.18 c user parameter file <scip.set> not found - using default parameters
0.09/0.18 c read problem <HOME/instance-1884098-1245254150.opb>
0.09/0.18 c original problem has 1467 variables (1467 bin, 0 int, 0 impl, 0 cont) and 7521 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.19/0.30 c (round 1) 37 del vars, 225 del conss, 33 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 750 impls, 0 clqs
0.29/0.31 c (round 2) 42 del vars, 369 del conss, 38 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1226 impls, 0 clqs
1.99/2.04 c (round 3) 42 del vars, 2156 del conss, 38 chg bounds, 116 chg sides, 0 chg coeffs, 6231 upgd conss, 1226 impls, 0 clqs
1.99/2.04 c presolving (4 rounds):
1.99/2.04 c 42 deleted vars, 2156 deleted constraints, 38 tightened bounds, 0 added holes, 116 changed sides, 0 changed coefficients
1.99/2.04 c 1226 implications, 0 cliques
1.99/2.04 c presolved problem has 1425 variables (1425 bin, 0 int, 0 impl, 0 cont) and 5365 constraints
1.99/2.04 c 5365 constraints of type <logicor>
1.99/2.04 c transformed objective value is always integral (scale: 1)
1.99/2.04 c Presolving Time: 1.78
1.99/2.04 c PURESAT
1.99/2.04 c -----------------------------------------------------------------------------------------------
1.99/2.04 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
1.99/2.04 c # [type: int, range: [-1,2147483647], default: 0]
1.99/2.04 c separating/flowcover/freq = c -1
1.99/2.04 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
1.99/2.04 c # [type: int, range: [-1,2147483647], default: 0]
1.99/2.04 c separating/cmir/freq = c -1
1.99/2.04 c # additional number of allowed LP iterations
1.99/2.04 c # [type: int, range: [0,2147483647], default: 1000]
1.99/2.04 c heuristics/veclendiving/maxlpiterofs = c 1500
1.99/2.04 c # maximal fraction of diving LP iterations compared to node LP iterations
1.99/2.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.99/2.04 c heuristics/veclendiving/maxlpiterquot = c 0.075
1.99/2.04 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
1.99/2.04 c # [type: int, range: [-1,2147483647], default: 10]
1.99/2.04 c heuristics/veclendiving/freq = c -1
1.99/2.04 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
1.99/2.04 c # [type: int, range: [-1,2147483647], default: 1]
1.99/2.04 c heuristics/simplerounding/freq = c -1
1.99/2.04 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
1.99/2.04 c # [type: int, range: [-1,2147483647], default: 10]
1.99/2.04 c heuristics/shifting/freq = c -1
1.99/2.04 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
1.99/2.04 c # [type: int, range: [-1,2147483647], default: 1]
1.99/2.04 c heuristics/rounding/freq = c -1
1.99/2.04 c # additional number of allowed LP iterations
1.99/2.04 c # [type: int, range: [0,2147483647], default: 1000]
1.99/2.04 c heuristics/rootsoldiving/maxlpiterofs = c 1500
1.99/2.04 c # maximal fraction of diving LP iterations compared to node LP iterations
1.99/2.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
1.99/2.04 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
1.99/2.04 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
1.99/2.04 c # [type: int, range: [-1,2147483647], default: 20]
1.99/2.04 c heuristics/rootsoldiving/freq = c -1
1.99/2.04 c # number of nodes added to the contingent of the total nodes
1.99/2.04 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.99/2.04 c heuristics/rens/nodesofs = c 2000
1.99/2.04 c # minimum percentage of integer variables that have to be fixable
1.99/2.04 c # [type: real, range: [0,1], default: 0.5]
1.99/2.04 c heuristics/rens/minfixingrate = c 0.3
1.99/2.04 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
1.99/2.04 c # [type: int, range: [-1,2147483647], default: 0]
1.99/2.04 c heuristics/rens/freq = c -1
1.99/2.04 c # additional number of allowed LP iterations
1.99/2.04 c # [type: int, range: [0,2147483647], default: 1000]
1.99/2.04 c heuristics/pscostdiving/maxlpiterofs = c 1500
1.99/2.04 c # maximal fraction of diving LP iterations compared to node LP iterations
1.99/2.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.99/2.04 c heuristics/pscostdiving/maxlpiterquot = c 0.075
1.99/2.04 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
1.99/2.04 c # [type: int, range: [-1,2147483647], default: 10]
1.99/2.04 c heuristics/pscostdiving/freq = c -1
1.99/2.04 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
1.99/2.04 c # [type: int, range: [-1,2147483647], default: 1]
1.99/2.04 c heuristics/oneopt/freq = c -1
1.99/2.04 c # additional number of allowed LP iterations
1.99/2.04 c # [type: int, range: [0,2147483647], default: 1000]
1.99/2.04 c heuristics/objpscostdiving/maxlpiterofs = c 1500
1.99/2.04 c # maximal fraction of diving LP iterations compared to total iteration number
1.99/2.04 c # [type: real, range: [0,1], default: 0.01]
1.99/2.04 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
1.99/2.04 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
1.99/2.04 c # [type: int, range: [-1,2147483647], default: 20]
1.99/2.04 c heuristics/objpscostdiving/freq = c -1
1.99/2.04 c # additional number of allowed LP iterations
1.99/2.04 c # [type: int, range: [0,2147483647], default: 1000]
1.99/2.04 c heuristics/linesearchdiving/maxlpiterofs = c 1500
1.99/2.04 c # maximal fraction of diving LP iterations compared to node LP iterations
1.99/2.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.99/2.04 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
1.99/2.04 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
1.99/2.04 c # [type: int, range: [-1,2147483647], default: 10]
1.99/2.04 c heuristics/linesearchdiving/freq = c -1
1.99/2.04 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
1.99/2.04 c # [type: int, range: [-1,2147483647], default: 10]
1.99/2.04 c heuristics/intshifting/freq = c -1
1.99/2.04 c # maximal fraction of diving LP iterations compared to node LP iterations
1.99/2.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.99/2.04 c heuristics/intdiving/maxlpiterquot = c 0.075
1.99/2.04 c # additional number of allowed LP iterations
1.99/2.04 c # [type: int, range: [0,2147483647], default: 1000]
1.99/2.04 c heuristics/guideddiving/maxlpiterofs = c 1500
1.99/2.04 c # maximal fraction of diving LP iterations compared to node LP iterations
1.99/2.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.99/2.04 c heuristics/guideddiving/maxlpiterquot = c 0.075
1.99/2.04 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
1.99/2.04 c # [type: int, range: [-1,2147483647], default: 10]
1.99/2.04 c heuristics/guideddiving/freq = c -1
1.99/2.04 c # additional number of allowed LP iterations
1.99/2.04 c # [type: int, range: [0,2147483647], default: 1000]
1.99/2.04 c heuristics/fracdiving/maxlpiterofs = c 1500
1.99/2.04 c # maximal fraction of diving LP iterations compared to node LP iterations
1.99/2.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.99/2.04 c heuristics/fracdiving/maxlpiterquot = c 0.075
1.99/2.04 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
1.99/2.04 c # [type: int, range: [-1,2147483647], default: 10]
1.99/2.04 c heuristics/fracdiving/freq = c -1
1.99/2.04 c # additional number of allowed LP iterations
1.99/2.04 c # [type: int, range: [0,2147483647], default: 1000]
1.99/2.04 c heuristics/feaspump/maxlpiterofs = c 2000
1.99/2.04 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
1.99/2.04 c # [type: int, range: [-1,2147483647], default: 20]
1.99/2.04 c heuristics/feaspump/freq = c -1
1.99/2.04 c # minimum percentage of integer variables that have to be fixed
1.99/2.04 c # [type: real, range: [0,1], default: 0.666]
1.99/2.04 c heuristics/crossover/minfixingrate = c 0.5
1.99/2.04 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
1.99/2.04 c # [type: real, range: [0,1], default: 0.1]
1.99/2.04 c heuristics/crossover/nodesquot = c 0.15
1.99/2.04 c # number of nodes without incumbent change that heuristic should wait
1.99/2.04 c # [type: longint, range: [0,9223372036854775807], default: 200]
1.99/2.04 c heuristics/crossover/nwaitingnodes = c 100
1.99/2.04 c # number of nodes added to the contingent of the total nodes
1.99/2.04 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.99/2.04 c heuristics/crossover/nodesofs = c 750
1.99/2.04 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
1.99/2.04 c # [type: int, range: [-1,2147483647], default: 30]
1.99/2.04 c heuristics/crossover/freq = c -1
1.99/2.04 c # additional number of allowed LP iterations
1.99/2.04 c # [type: int, range: [0,2147483647], default: 1000]
1.99/2.04 c heuristics/coefdiving/maxlpiterofs = c 1500
1.99/2.04 c # maximal fraction of diving LP iterations compared to node LP iterations
1.99/2.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.99/2.04 c heuristics/coefdiving/maxlpiterquot = c 0.075
1.99/2.04 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
1.99/2.04 c # [type: int, range: [-1,2147483647], default: 10]
1.99/2.04 c heuristics/coefdiving/freq = c -1
1.99/2.04 c # priority of node selection rule <dfs> in standard mode
1.99/2.04 c # [type: int, range: [-536870912,536870911], default: 0]
1.99/2.04 c nodeselection/dfs/stdpriority = c 1000000
1.99/2.04 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
1.99/2.04 c # [type: int, range: [-1,2147483647], default: -1]
1.99/2.04 c presolving/probing/maxrounds = c 0
1.99/2.04 c # should presolving try to simplify knapsacks
1.99/2.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.04 c constraints/knapsack/simplifyinequalities = c TRUE
1.99/2.04 c # should disaggregation of knapsack constraints be allowed in preprocessing?
1.99/2.04 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
1.99/2.04 c constraints/knapsack/disaggregation = c FALSE
1.99/2.04 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
1.99/2.04 c # [type: int, range: [-1,2147483647], default: -1]
1.99/2.04 c constraints/knapsack/maxnumcardlift = c 0
1.99/2.04 c # should presolving try to simplify inequalities
1.99/2.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.04 c constraints/linear/simplifyinequalities = c TRUE
1.99/2.04 c # maximal number of separation rounds in the root node (-1: unlimited)
1.99/2.04 c # [type: int, range: [-1,2147483647], default: -1]
1.99/2.04 c separating/maxroundsroot = c 5
1.99/2.04 c # maximal number of separation rounds per node (-1: unlimited)
1.99/2.04 c # [type: int, range: [-1,2147483647], default: 5]
1.99/2.04 c separating/maxrounds = c 1
1.99/2.04 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)
1.99/2.04 c # [type: char, range: {lafpsqd}, default: l]
1.99/2.04 c lp/pricing = c a
1.99/2.04 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.99/2.04 c # [type: int, range: [-1,2147483647], default: 1]
1.99/2.04 c lp/solvefreq = c 0
1.99/2.04 c # solving stops, if the given number of solutions were found (-1: no limit)
1.99/2.04 c # [type: int, range: [-1,2147483647], default: -1]
1.99/2.04 c limits/solutions = c 1
1.99/2.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.99/2.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.99/2.04 c limits/memory = c 1620
1.99/2.04 c # maximal time in seconds to run
1.99/2.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.99/2.04 c limits/time = c 1791
1.99/2.04 c # frequency for displaying node information lines
1.99/2.04 c # [type: int, range: [-1,2147483647], default: 100]
1.99/2.04 c display/freq = c 10000
1.99/2.04 c # should enforcement of pseudo solution be disabled?
1.99/2.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.04 c constraints/disableenfops = c TRUE
1.99/2.04 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.99/2.04 c # [type: int, range: [-1,2147483647], default: 0]
1.99/2.04 c constraints/agelimit = c 1
1.99/2.04 c # should binary conflicts be preferred?
1.99/2.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.04 c conflict/preferbinary = c TRUE
1.99/2.04 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.99/2.04 c # [type: int, range: [-1,2147483647], default: -1]
1.99/2.04 c conflict/interconss = c 0
1.99/2.04 c -----------------------------------------------------------------------------------------------
1.99/2.04 c start solving problem
1.99/2.04 c
2.10/2.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.10/2.14 c 1.9s| 1 | 0 | 168 | 13M| 0 | 136 |1425 |5365 |5365 |1425 |5365 | 0 | 0 | 0 | 8.987500e+01 | -- | Inf
2.29/2.38 c 2.1s| 1 | 0 | 334 | 13M| 0 | 140 |1425 |5365 |5365 |1425 |5397 | 32 | 0 | 0 | 1.076296e+02 | -- | Inf
2.89/2.97 c 2.7s| 1 | 0 | 682 | 15M| 0 | 135 |1425 |5365 |5365 |1425 |5410 | 45 | 0 | 0 | 1.130364e+02 | -- | Inf
3.79/3.82 c 3.6s| 1 | 0 | 964 | 17M| 0 | 131 |1425 |5365 |5365 |1425 |5423 | 58 | 0 | 0 | 1.154566e+02 | -- | Inf
5.19/5.27 c 5.0s| 1 | 0 | 1183 | 19M| 0 | 125 |1425 |5365 |5365 |1425 |5434 | 69 | 0 | 0 | 1.168321e+02 | -- | Inf
5.88/5.98 c 5.7s| 1 | 0 | 1397 | 21M| 0 | 123 |1425 |5365 |5365 |1425 |5443 | 78 | 0 | 0 | 1.182333e+02 | -- | Inf
15.08/15.12 c 14.8s| 1 | 2 | 1397 | 21M| 0 | 123 |1425 |5365 |5365 |1425 |5443 | 78 | 0 | 46 | 1.182333e+02 | -- | Inf
20.68/20.77 c 20.3s| 10000 | 86 | 1397 | 22M| 756 | - |1425 |5400 |3542 | 0 | 0 | 78 |2068 | 46 | 1.186233e+02 | -- | Inf
26.68/26.76 c 26.1s| 20000 | 743 | 1397 | 23M| 756 | - |1425 |5409 |2802 | 0 | 0 | 78 |4771 | 46 | 1.186233e+02 | -- | Inf
32.89/32.96 c 32.2s| 30000 | 65 | 1397 | 22M|1000 | - |1425 |5404 |4083 | 0 | 0 | 78 |7800 | 46 | 1.186233e+02 | -- | Inf
38.98/39.01 c 38.1s| 40000 | 89 | 1397 | 22M|1000 | - |1425 |5419 |3854 | 0 | 0 | 78 | 10k| 46 | 1.186233e+02 | -- | Inf
44.57/44.66 c 43.6s| 50000 | 66 | 1397 | 23M|1000 | - |1425 |5421 |3863 | 0 | 0 | 78 | 13k| 46 | 1.186233e+02 | -- | Inf
50.17/50.23 c 49.0s| 60000 | 227 | 1397 | 23M|1000 | - |1425 |5427 |3481 | 0 | 0 | 78 | 15k| 46 | 1.186233e+02 | -- | Inf
56.27/56.31 c 54.9s| 70000 | 91 | 1397 | 23M|1000 | - |1425 |5440 |3810 | 0 | 0 | 78 | 19k| 46 | 1.186233e+02 | -- | Inf
62.87/62.93 c 61.4s| 80000 | 171 | 1397 | 23M|1045 | - |1425 |5397 |3756 | 0 | 0 | 78 | 22k| 46 | 1.186233e+02 | -- | Inf
68.67/68.76 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
68.67/68.76 c 67.0s| 90000 | 72 | 1397 | 23M|1045 | - |1425 |5406 |4050 | 0 | 0 | 78 | 25k| 46 | 1.186233e+02 | -- | Inf
75.66/75.72 c 73.8s|100000 | 62 | 1397 | 23M|1045 | - |1425 |5384 |4193 | 0 | 0 | 78 | 29k| 46 | 1.186233e+02 | -- | Inf
81.56/81.65 c 79.6s|110000 | 627 | 1397 | 23M|1045 | - |1425 |5443 |2964 | 0 | 0 | 78 | 31k| 46 | 1.186233e+02 | -- | Inf
88.66/88.70 c 86.5s|120000 | 338 | 1397 | 23M|1045 | - |1425 |5427 |3666 | 0 | 0 | 78 | 36k| 46 | 1.186233e+02 | -- | Inf
95.16/95.24 c 92.9s|130000 | 73 | 1397 | 23M|1045 | - |1425 |5425 |3743 | 0 | 0 | 78 | 40k| 46 | 1.186233e+02 | -- | Inf
102.45/102.54 c 100s|140000 | 253 | 1397 | 23M|1045 | - |1425 |5405 |3725 | 0 | 0 | 78 | 45k| 46 | 1.186233e+02 | -- | Inf
108.55/108.64 c 106s|150000 | 71 | 1397 | 23M|1045 | - |1425 |5443 |3658 | 0 | 0 | 78 | 48k| 46 | 1.186233e+02 | -- | Inf
114.85/114.96 c 112s|160000 | 627 | 1397 | 23M|1045 | - |1425 |5418 |3019 | 0 | 0 | 78 | 51k| 46 | 1.186233e+02 | -- | Inf
121.55/121.61 c 119s|170000 | 71 | 1397 | 23M|1113 | - |1425 |5455 |4088 | 0 | 0 | 78 | 56k| 46 | 1.186233e+02 | -- | Inf
127.25/127.39 c 124s|180000 | 668 | 1397 | 23M|1113 | - |1425 |5413 |2932 | 0 | 0 | 78 | 59k| 46 | 1.186233e+02 | -- | Inf
133.55/133.65 c 130s|190000 | 143 | 1397 | 23M|1113 | - |1425 |5448 |3491 | 0 | 0 | 78 | 63k| 46 | 1.186233e+02 | -- | Inf
139.94/140.09 c 137s|200000 | 79 | 1397 | 23M|1140 | - |1425 |5441 |3507 | 0 | 0 | 78 | 66k| 46 | 1.186233e+02 | -- | Inf
146.45/146.55 c 143s|210000 | 91 | 1397 | 23M|1140 | - |1425 |5452 |3894 | 0 | 0 | 78 | 70k| 46 | 1.186233e+02 | -- | Inf
151.05/151.10 c 147s|220000 | 65 | 1397 | 23M|1154 | - |1425 |5463 |3909 | 0 | 0 | 78 | 71k| 46 | 1.186233e+02 | -- | Inf
156.34/156.40 c 152s|230000 | 92 | 1397 | 23M|1154 | - |1425 |5458 |3786 | 0 | 0 | 78 | 73k| 46 | 1.186233e+02 | -- | Inf
161.44/161.52 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
161.44/161.52 c 157s|240000 | 870 | 1397 | 23M|1154 | - |1425 |5399 |2834 | 0 | 0 | 78 | 75k| 46 | 1.186233e+02 | -- | Inf
166.94/167.08 c 163s|250000 | 402 | 1397 | 23M|1154 | - |1425 |5434 |3527 | 0 | 0 | 78 | 78k| 46 | 1.186233e+02 | -- | Inf
172.94/173.08 c 169s|260000 | 299 | 1397 | 23M|1154 | - |1425 |5450 |3697 | 0 | 0 | 78 | 80k| 46 | 1.186233e+02 | -- | Inf
177.94/178.05 c 174s|270000 | 74 | 1397 | 23M|1154 | - |1425 |5446 |3812 | 0 | 0 | 78 | 82k| 46 | 1.186233e+02 | -- | Inf
183.84/183.97 c 179s|280000 | 103 | 1397 | 23M|1154 | - |1425 |5447 |3827 | 0 | 0 | 78 | 85k| 46 | 1.186233e+02 | -- | Inf
190.23/190.35 c 186s|290000 | 240 | 1397 | 23M|1154 | - |1425 |5389 |3963 | 0 | 0 | 78 | 88k| 46 | 1.186233e+02 | -- | Inf
195.33/195.40 c 190s|300000 | 187 | 1397 | 23M|1154 | - |1425 |5415 |3856 | 0 | 0 | 78 | 89k| 46 | 1.186233e+02 | -- | Inf
201.33/201.42 c 196s|310000 | 114 | 1397 | 23M|1154 | - |1425 |5394 |4097 | 0 | 0 | 78 | 92k| 46 | 1.186233e+02 | -- | Inf
207.42/207.53 c 202s|320000 | 64 | 1397 | 23M|1154 | - |1425 |5435 |4100 | 0 | 0 | 78 | 95k| 46 | 1.186233e+02 | -- | Inf
212.93/213.00 c 208s|330000 | 80 | 1397 | 23M|1154 | - |1425 |5416 |4033 | 0 | 0 | 78 | 97k| 46 | 1.186233e+02 | -- | Inf
219.33/219.41 c 214s|340000 | 222 | 1397 | 23M|1154 | - |1425 |5401 |3813 | 0 | 0 | 78 | 99k| 46 | 1.186233e+02 | -- | Inf
224.72/224.86 c 219s|350000 | 73 | 1397 | 23M|1154 | - |1425 |5404 |3956 | 0 | 0 | 78 | 102k| 46 | 1.186233e+02 | -- | Inf
231.23/231.31 c 226s|360000 | 593 | 1397 | 23M|1154 | - |1425 |5406 |3248 | 0 | 0 | 78 | 105k| 46 | 1.186233e+02 | -- | Inf
236.92/237.06 c 231s|370000 | 63 | 1397 | 23M|1154 | - |1425 |5438 |3987 | 0 | 0 | 78 | 107k| 46 | 1.186233e+02 | -- | Inf
243.82/243.92 c 238s|380000 | 271 | 1397 | 23M|1154 | - |1425 |5387 |3840 | 0 | 0 | 78 | 111k| 46 | 1.186233e+02 | -- | Inf
249.52/249.65 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
249.52/249.65 c 243s|390000 | 66 | 1397 | 23M|1154 | - |1425 |5515 |3909 | 0 | 0 | 78 | 114k| 46 | 1.186233e+02 | -- | Inf
256.91/257.02 c 251s|400000 | 63 | 1397 | 23M|1154 | - |1425 |5421 |3870 | 0 | 0 | 78 | 118k| 46 | 1.186233e+02 | -- | Inf
263.41/263.57 c 257s|410000 | 331 | 1397 | 23M|1154 | - |1425 |5442 |3319 | 0 | 0 | 78 | 122k| 46 | 1.186233e+02 | -- | Inf
270.12/270.22 c 263s|420000 | 473 | 1397 | 23M|1154 | - |1425 |5401 |3546 | 0 | 0 | 78 | 125k| 46 | 1.186233e+02 | -- | Inf
275.51/275.68 c 269s|430000 | 65 | 1397 | 23M|1154 | - |1425 |5407 |4108 | 0 | 0 | 78 | 127k| 46 | 1.186233e+02 | -- | Inf
281.71/281.86 c 275s|440000 | 319 | 1397 | 23M|1154 | - |1425 |5405 |3690 | 0 | 0 | 78 | 130k| 46 | 1.186233e+02 | -- | Inf
287.40/287.53 c 280s|450000 | 69 | 1397 | 23M|1154 | - |1425 |5405 |3930 | 0 | 0 | 78 | 132k| 46 | 1.186233e+02 | -- | Inf
294.11/294.27 c 287s|460000 | 61 | 1397 | 23M|1154 | - |1425 |5400 |4061 | 0 | 0 | 78 | 135k| 46 | 1.186233e+02 | -- | Inf
300.70/300.86 c 293s|470000 | 73 | 1397 | 23M|1154 | - |1425 |5455 |3870 | 0 | 0 | 78 | 138k| 46 | 1.186233e+02 | -- | Inf
307.30/307.43 c 300s|480000 | 62 | 1397 | 23M|1154 | - |1425 |5438 |4209 | 0 | 0 | 78 | 141k| 46 | 1.186233e+02 | -- | Inf
312.99/313.17 c 305s|490000 | 61 | 1397 | 23M|1154 | - |1425 |5580 |4143 | 0 | 0 | 78 | 144k| 46 | 1.186233e+02 | -- | Inf
318.90/319.07 c 311s|500000 | 57 | 1397 | 23M|1154 | - |1425 |5454 |4285 | 0 | 0 | 78 | 147k| 46 | 1.186233e+02 | -- | Inf
325.59/325.74 c 318s|510000 | 58 | 1397 | 23M|1154 | - |1425 |5528 |4275 | 0 | 0 | 78 | 151k| 46 | 1.186233e+02 | -- | Inf
331.59/331.79 c 323s|520000 | 111 | 1397 | 23M|1154 | - |1425 |5397 |3770 | 0 | 0 | 78 | 153k| 46 | 1.186233e+02 | -- | Inf
337.29/337.41 c 329s|530000 | 66 | 1397 | 23M|1154 | - |1425 |5391 |3907 | 0 | 0 | 78 | 156k| 46 | 1.186233e+02 | -- | Inf
343.19/343.34 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
343.19/343.34 c 335s|540000 | 74 | 1397 | 23M|1154 | - |1425 |5440 |3822 | 0 | 0 | 78 | 159k| 46 | 1.186233e+02 | -- | Inf
349.49/349.68 c 341s|550000 | 59 | 1397 | 23M|1154 | - |1425 |5396 |3913 | 0 | 0 | 78 | 162k| 46 | 1.186233e+02 | -- | Inf
355.88/356.00 c 347s|560000 | 139 | 1397 | 23M|1154 | - |1425 |5417 |3689 | 0 | 0 | 78 | 165k| 46 | 1.186233e+02 | -- | Inf
361.89/362.00 c 353s|570000 | 448 | 1397 | 23M|1154 | - |1425 |5406 |3459 | 0 | 0 | 78 | 168k| 46 | 1.186233e+02 | -- | Inf
369.18/369.33 c 360s|580000 | 538 | 1397 | 23M|1154 | - |1425 |5417 |2881 | 0 | 0 | 78 | 172k| 46 | 1.186233e+02 | -- | Inf
375.38/375.52 c 366s|590000 | 707 | 1397 | 23M|1154 | - |1425 |5434 |2957 | 0 | 0 | 78 | 176k| 46 | 1.186233e+02 | -- | Inf
381.07/381.23 c 372s|600000 | 81 | 1397 | 23M|1154 | - |1425 |5407 |3488 | 0 | 0 | 78 | 178k| 46 | 1.186233e+02 | -- | Inf
387.58/387.71 c 378s|610000 | 504 | 1397 | 23M|1154 | - |1425 |5388 |3174 | 0 | 0 | 78 | 181k| 46 | 1.186233e+02 | -- | Inf
393.28/393.49 c 384s|620000 | 76 | 1397 | 23M|1154 | - |1425 |5387 |4010 | 0 | 0 | 78 | 184k| 46 | 1.186233e+02 | -- | Inf
398.77/398.99 c 389s|630000 | 285 | 1397 | 23M|1154 | - |1425 |5433 |3633 | 0 | 0 | 78 | 186k| 46 | 1.186233e+02 | -- | Inf
404.27/404.48 c 394s|640000 | 667 | 1397 | 23M|1154 | - |1425 |5406 |2820 | 0 | 0 | 78 | 188k| 46 | 1.186233e+02 | -- | Inf
409.37/409.53 c 399s|650000 | 607 | 1397 | 23M|1154 | - |1425 |5411 |2983 | 0 | 0 | 78 | 189k| 46 | 1.186233e+02 | -- | Inf
415.07/415.23 c 405s|660000 | 66 | 1397 | 23M|1154 | - |1425 |5406 |4104 | 0 | 0 | 78 | 192k| 46 | 1.186233e+02 | -- | Inf
420.36/420.50 c 410s|670000 | 70 | 1397 | 23M|1154 | - |1425 |5433 |3763 | 0 | 0 | 78 | 194k| 46 | 1.186233e+02 | -- | Inf
426.37/426.57 c 416s|680000 | 61 | 1397 | 23M|1154 | - |1425 |5453 |3960 | 0 | 0 | 78 | 196k| 46 | 1.186233e+02 | -- | Inf
432.17/432.37 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
432.17/432.37 c 421s|690000 | 120 | 1397 | 23M|1154 | - |1425 |5438 |3938 | 0 | 0 | 78 | 199k| 46 | 1.186233e+02 | -- | Inf
437.96/438.12 c 427s|700000 | 925 | 1397 | 23M|1154 | - |1425 |5430 |2575 | 0 | 0 | 78 | 201k| 46 | 1.186233e+02 | -- | Inf
443.36/443.50 c 432s|710000 | 519 | 1397 | 23M|1154 | - |1425 |5433 |3103 | 0 | 0 | 78 | 203k| 46 | 1.186233e+02 | -- | Inf
449.86/450.06 c 439s|720000 | 55 | 1397 | 23M|1154 | - |1425 |5402 |3954 | 0 | 0 | 78 | 207k| 46 | 1.186233e+02 | -- | Inf
455.56/455.78 c 444s|730000 | 119 | 1397 | 23M|1154 | - |1425 |5398 |4046 | 0 | 0 | 78 | 210k| 46 | 1.186233e+02 | -- | Inf
462.05/462.30 c 451s|740000 | 59 | 1397 | 23M|1154 | - |1425 |5565 |4271 | 0 | 0 | 78 | 214k| 46 | 1.186233e+02 | -- | Inf
469.46/469.66 c 458s|750000 | 426 | 1397 | 23M|1154 | - |1425 |5580 |3383 | 0 | 0 | 78 | 218k| 46 | 1.186233e+02 | -- | Inf
474.75/474.93 c 463s|760000 | 62 | 1397 | 23M|1154 | - |1425 |5650 |3763 | 0 | 0 | 78 | 220k| 46 | 1.186233e+02 | -- | Inf
480.55/480.75 c 469s|770000 | 111 | 1397 | 23M|1154 | - |1425 |5598 |3656 | 0 | 0 | 78 | 222k| 46 | 1.186233e+02 | -- | Inf
486.55/486.74 c 474s|780000 | 396 | 1397 | 23M|1154 | - |1425 |5586 |2770 | 0 | 0 | 78 | 225k| 46 | 1.186233e+02 | -- | Inf
492.56/492.80 c 480s|790000 | 330 | 1397 | 23M|1154 | - |1425 |5570 |3314 | 0 | 0 | 78 | 228k| 46 | 1.186233e+02 | -- | Inf
498.75/498.98 c 486s|800000 | 60 | 1397 | 23M|1154 | - |1425 |5567 |4039 | 0 | 0 | 78 | 231k| 46 | 1.186233e+02 | -- | Inf
505.05/505.22 c 492s|810000 | 72 | 1397 | 23M|1154 | - |1425 |5406 |4033 | 0 | 0 | 78 | 234k| 46 | 1.186233e+02 | -- | Inf
511.65/511.80 c 499s|820000 | 72 | 1397 | 23M|1154 | - |1425 |5422 |3753 | 0 | 0 | 78 | 237k| 46 | 1.186233e+02 | -- | Inf
517.74/517.98 c 505s|830000 | 65 | 1397 | 23M|1154 | - |1425 |5435 |3876 | 0 | 0 | 78 | 240k| 46 | 1.186233e+02 | -- | Inf
523.84/524.00 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
523.84/524.00 c 511s|840000 | 195 | 1397 | 23M|1154 | - |1425 |5433 |3501 | 0 | 0 | 78 | 243k| 46 | 1.186233e+02 | -- | Inf
529.74/529.95 c 516s|850000 | 726 | 1397 | 23M|1154 | - |1425 |5420 |3143 | 0 | 0 | 78 | 246k| 46 | 1.186233e+02 | -- | Inf
534.74/534.96 c 521s|860000 | 65 | 1397 | 23M|1154 | - |1425 |5472 |3798 | 0 | 0 | 78 | 248k| 46 | 1.186233e+02 | -- | Inf
540.24/540.47 c 527s|870000 | 271 | 1397 | 23M|1154 | - |1425 |5490 |3497 | 0 | 0 | 78 | 250k| 46 | 1.186233e+02 | -- | Inf
546.13/546.37 c 532s|880000 | 421 | 1397 | 23M|1154 | - |1425 |5473 |3418 | 0 | 0 | 78 | 253k| 46 | 1.186233e+02 | -- | Inf
551.83/552.01 c 538s|890000 | 388 | 1397 | 23M|1154 | - |1425 |5515 |3214 | 0 | 0 | 78 | 255k| 46 | 1.186233e+02 | -- | Inf
557.24/557.41 c 543s|900000 | 136 | 1397 | 23M|1154 | - |1425 |5457 |3399 | 0 | 0 | 78 | 257k| 46 | 1.186233e+02 | -- | Inf
563.53/563.73 c 549s|910000 | 61 | 1397 | 23M|1154 | - |1425 |5426 |4109 | 0 | 0 | 78 | 261k| 46 | 1.186233e+02 | -- | Inf
569.73/569.91 c 555s|920000 | 698 | 1397 | 23M|1154 | - |1425 |5456 |2830 | 0 | 0 | 78 | 264k| 46 | 1.186233e+02 | -- | Inf
575.03/575.26 c 561s|930000 | 69 | 1397 | 23M|1154 | - |1425 |5475 |3853 | 0 | 0 | 78 | 266k| 46 | 1.186233e+02 | -- | Inf
580.13/580.31 c 566s|940000 | 68 | 1397 | 23M|1154 | - |1425 |5438 |3711 | 0 | 0 | 78 | 268k| 46 | 1.186233e+02 | -- | Inf
586.63/586.82 c 572s|950000 | 61 | 1397 | 23M|1154 | - |1425 |5474 |4037 | 0 | 0 | 78 | 272k| 46 | 1.186233e+02 | -- | Inf
592.63/592.83 c 578s|960000 | 60 | 1397 | 23M|1154 | - |1425 |5494 |3969 | 0 | 0 | 78 | 274k| 46 | 1.186233e+02 | -- | Inf
599.02/599.30 c 584s|970000 | 762 | 1397 | 23M|1154 | - |1425 |5595 |2841 | 0 | 0 | 78 | 278k| 46 | 1.186233e+02 | -- | Inf
606.02/606.25 c 591s|980000 | 446 | 1397 | 23M|1154 | - |1425 |5510 |3081 | 0 | 0 | 78 | 281k| 46 | 1.186233e+02 | -- | Inf
612.82/613.04 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
612.82/613.04 c 598s|990000 | 70 | 1397 | 23M|1154 | - |1425 |5550 |3921 | 0 | 0 | 78 | 284k| 46 | 1.186233e+02 | -- | Inf
618.51/618.72 c 603s| 1000k| 926 | 1397 | 23M|1154 | - |1425 |5609 |2497 | 0 | 0 | 78 | 286k| 46 | 1.186233e+02 | -- | Inf
623.61/623.83 c 608s| 1010k| 75 | 1397 | 23M|1154 | - |1425 |5617 |4009 | 0 | 0 | 78 | 288k| 46 | 1.186233e+02 | -- | Inf
629.41/629.60 c 614s| 1020k| 287 | 1397 | 23M|1154 | - |1425 |5673 |3620 | 0 | 0 | 78 | 291k| 46 | 1.186233e+02 | -- | Inf
635.52/635.79 c 620s| 1030k| 60 | 1397 | 23M|1154 | - |1425 |5711 |3837 | 0 | 0 | 78 | 294k| 46 | 1.186233e+02 | -- | Inf
641.41/641.69 c 626s| 1040k| 571 | 1397 | 23M|1154 | - |1425 |5749 |3070 | 0 | 0 | 78 | 296k| 46 | 1.186233e+02 | -- | Inf
647.81/648.03 c 632s| 1050k| 58 | 1397 | 23M|1154 | - |1425 |5810 |4068 | 0 | 0 | 78 | 299k| 46 | 1.186233e+02 | -- | Inf
653.01/653.24 c 637s| 1060k| 61 | 1397 | 23M|1154 | - |1425 |5887 |4003 | 0 | 0 | 78 | 302k| 46 | 1.186233e+02 | -- | Inf
658.30/658.53 c 642s| 1070k| 67 | 1397 | 23M|1154 | - |1425 |5922 |3506 | 0 | 0 | 78 | 304k| 46 | 1.186233e+02 | -- | Inf
664.11/664.31 c 648s| 1080k| 62 | 1397 | 23M|1154 | - |1425 |5900 |3945 | 0 | 0 | 78 | 306k| 46 | 1.186233e+02 | -- | Inf
668.40/668.64 c 652s| 1090k| 68 | 1397 | 23M|1154 | - |1425 |5939 |3818 | 0 | 0 | 78 | 308k| 46 | 1.186233e+02 | -- | Inf
674.60/674.89 c 658s| 1100k| 653 | 1397 | 23M|1154 | - |1425 |6000 |3003 | 0 | 0 | 78 | 311k| 46 | 1.186233e+02 | -- | Inf
680.61/680.81 c 664s| 1110k| 67 | 1397 | 23M|1154 | - |1425 |6045 |3829 | 0 | 0 | 78 | 314k| 46 | 1.186233e+02 | -- | Inf
687.20/687.45 c 670s| 1120k| 61 | 1397 | 23M|1154 | - |1425 |6028 |3934 | 0 | 0 | 78 | 318k| 46 | 1.186233e+02 | -- | Inf
692.90/693.12 c 676s| 1130k| 58 | 1397 | 23M|1154 | - |1425 |6116 |4021 | 0 | 0 | 78 | 321k| 46 | 1.186233e+02 | -- | Inf
697.99/698.24 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
697.99/698.24 c 681s| 1140k| 773 | 1397 | 23M|1154 | - |1425 |6134 |2717 | 0 | 0 | 78 | 323k| 46 | 1.186233e+02 | -- | Inf
704.80/705.08 c 687s| 1150k| 168 | 1397 | 23M|1154 | - |1425 |6192 |3714 | 0 | 0 | 78 | 327k| 46 | 1.186233e+02 | -- | Inf
710.89/711.19 c 693s| 1160k| 75 | 1397 | 23M|1154 | - |1425 |6234 |3682 | 0 | 0 | 78 | 330k| 46 | 1.186233e+02 | -- | Inf
717.79/718.02 c 700s| 1170k| 60 | 1397 | 23M|1154 | - |1425 |6280 |3708 | 0 | 0 | 78 | 334k| 46 | 1.186233e+02 | -- | Inf
724.09/724.37 c 706s| 1180k| 117 | 1397 | 23M|1154 | - |1425 |6329 |3713 | 0 | 0 | 78 | 337k| 46 | 1.186233e+02 | -- | Inf
729.49/729.71 c 711s| 1190k| 927 | 1397 | 23M|1154 | - |1425 |6427 |2518 | 0 | 0 | 78 | 339k| 46 | 1.186233e+02 | -- | Inf
736.08/736.34 c 718s| 1200k| 911 | 1397 | 23M|1154 | - |1425 |6576 |2611 | 0 | 0 | 78 | 343k| 46 | 1.186233e+02 | -- | Inf
741.98/742.29 c 724s| 1210k| 907 | 1397 | 23M|1154 | - |1425 |6659 |2673 | 0 | 0 | 78 | 346k| 46 | 1.186233e+02 | -- | Inf
747.89/748.12 c 729s| 1220k| 929 | 1397 | 23M|1154 | - |1425 |6774 |2627 | 0 | 0 | 78 | 349k| 46 | 1.186233e+02 | -- | Inf
754.78/755.01 c 736s| 1230k| 278 | 1397 | 23M|1154 | - |1425 |6636 |3322 | 0 | 0 | 78 | 353k| 46 | 1.186233e+02 | -- | Inf
760.28/760.56 c 741s| 1240k| 70 | 1397 | 23M|1154 | - |1425 |6605 |4051 | 0 | 0 | 78 | 355k| 46 | 1.186233e+02 | -- | Inf
766.18/766.40 c 747s| 1250k| 205 | 1397 | 23M|1154 | - |1425 |6689 |3374 | 0 | 0 | 78 | 358k| 46 | 1.186233e+02 | -- | Inf
772.47/772.72 c 753s| 1260k| 103 | 1397 | 23M|1154 | - |1425 |6770 |3568 | 0 | 0 | 78 | 362k| 46 | 1.186233e+02 | -- | Inf
778.87/779.17 c 759s| 1270k| 88 | 1397 | 23M|1154 | - |1425 |6808 |3623 | 0 | 0 | 78 | 366k| 46 | 1.186233e+02 | -- | Inf
785.27/785.50 c 766s| 1280k| 73 | 1397 | 23M|1154 | - |1425 |6894 |3706 | 0 | 0 | 78 | 369k| 46 | 1.186233e+02 | -- | Inf
790.57/790.86 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
790.57/790.86 c 771s| 1290k| 315 | 1397 | 23M|1154 | - |1425 |6952 |3432 | 0 | 0 | 78 | 371k| 46 | 1.186233e+02 | -- | Inf
796.67/796.90 c 777s| 1300k| 69 | 1397 | 23M|1154 | - |1425 |6989 |3676 | 0 | 0 | 78 | 375k| 46 | 1.186233e+02 | -- | Inf
802.77/803.04 c 783s| 1310k| 68 | 1397 | 23M|1154 | - |1425 |7111 |3904 | 0 | 0 | 78 | 378k| 46 | 1.186233e+02 | -- | Inf
808.87/809.19 c 789s| 1320k| 352 | 1397 | 23M|1154 | - |1425 |7149 |2963 | 0 | 0 | 78 | 381k| 46 | 1.186233e+02 | -- | Inf
815.36/815.63 c 795s| 1330k| 202 | 1397 | 23M|1154 | - |1425 |7260 |3285 | 0 | 0 | 78 | 385k| 46 | 1.186233e+02 | -- | Inf
821.06/821.36 c 801s| 1340k| 493 | 1397 | 23M|1154 | - |1425 |7285 |3099 | 0 | 0 | 78 | 388k| 46 | 1.186233e+02 | -- | Inf
827.66/827.95 c 807s| 1350k| 114 | 1397 | 23M|1154 | - |1425 |7448 |3388 | 0 | 0 | 78 | 391k| 46 | 1.186233e+02 | -- | Inf
834.26/834.57 c 813s| 1360k| 78 | 1397 | 23M|1154 | - |1425 |7490 |3706 | 0 | 0 | 78 | 395k| 46 | 1.186233e+02 | -- | Inf
840.96/841.20 c 820s| 1370k| 91 | 1397 | 23M|1154 | - |1425 |7531 |3518 | 0 | 0 | 78 | 398k| 46 | 1.186233e+02 | -- | Inf
847.65/847.90 c 826s| 1380k| 67 | 1397 | 23M|1154 | - |1425 |7642 |3736 | 0 | 0 | 78 | 402k| 46 | 1.186233e+02 | -- | Inf
854.26/854.59 c 833s| 1390k| 67 | 1397 | 24M|1154 | - |1425 |7775 |3802 | 0 | 0 | 78 | 406k| 46 | 1.186233e+02 | -- | Inf
860.65/860.99 c 839s| 1400k| 165 | 1397 | 24M|1154 | - |1425 |7861 |3704 | 0 | 0 | 78 | 410k| 46 | 1.186233e+02 | -- | Inf
866.05/866.37 c 844s| 1410k| 64 | 1397 | 24M|1154 | - |1425 |7894 |3501 | 0 | 0 | 78 | 412k| 46 | 1.186233e+02 | -- | Inf
871.75/872.04 c 850s| 1420k| 768 | 1397 | 24M|1154 | - |1425 |7913 |2746 | 0 | 0 | 78 | 414k| 46 | 1.186233e+02 | -- | Inf
877.45/877.73 c 855s| 1430k| 65 | 1397 | 24M|1154 | - |1425 |7971 |3798 | 0 | 0 | 78 | 417k| 46 | 1.186233e+02 | -- | Inf
883.05/883.38 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
883.05/883.38 c 861s| 1440k| 918 | 1397 | 24M|1154 | - |1425 |8068 |2482 | 0 | 0 | 78 | 420k| 46 | 1.186233e+02 | -- | Inf
889.14/889.48 c 867s| 1450k| 85 | 1397 | 24M|1154 | - |1425 |8105 |3817 | 0 | 0 | 78 | 423k| 46 | 1.186233e+02 | -- | Inf
895.44/895.78 c 873s| 1460k| 66 | 1397 | 24M|1154 | - |1425 |8161 |3884 | 0 | 0 | 78 | 426k| 46 | 1.186233e+02 | -- | Inf
901.14/901.49 c 879s| 1470k| 842 | 1397 | 24M|1154 | - |1425 |8193 |2847 | 0 | 0 | 78 | 429k| 46 | 1.186233e+02 | -- | Inf
907.15/907.43 c 884s| 1480k| 123 | 1397 | 24M|1154 | - |1425 |8253 |3344 | 0 | 0 | 78 | 432k| 46 | 1.186233e+02 | -- | Inf
913.34/913.61 c 890s| 1490k| 69 | 1397 | 24M|1154 | - |1425 |8335 |3571 | 0 | 0 | 78 | 435k| 46 | 1.186233e+02 | -- | Inf
920.24/920.52 c 897s| 1500k| 587 | 1397 | 24M|1154 | - |1425 |8396 |3052 | 0 | 0 | 78 | 439k| 46 | 1.186233e+02 | -- | Inf
926.23/926.59 c 903s| 1510k| 76 | 1397 | 24M|1154 | - |1425 |8426 |3819 | 0 | 0 | 78 | 442k| 46 | 1.186233e+02 | -- | Inf
931.63/931.97 c 908s| 1520k| 76 | 1397 | 24M|1154 | - |1425 |8478 |3569 | 0 | 0 | 78 | 444k| 46 | 1.186233e+02 | -- | Inf
938.33/938.67 c 915s| 1530k| 69 | 1397 | 24M|1154 | - |1425 |8559 |3622 | 0 | 0 | 78 | 449k| 46 | 1.186233e+02 | -- | Inf
946.23/946.56 c 923s| 1540k| 66 | 1397 | 24M|1154 | - |1425 |8749 |3681 | 0 | 0 | 78 | 454k| 46 | 1.186233e+02 | -- | Inf
954.13/954.43 c 930s| 1550k| 309 | 1397 | 24M|1154 | - |1425 |8921 |3471 | 0 | 0 | 78 | 459k| 46 | 1.186233e+02 | -- | Inf
960.13/960.42 c 936s| 1560k| 127 | 1397 | 24M|1154 | - |1425 |8999 |3543 | 0 | 0 | 78 | 463k| 46 | 1.186233e+02 | -- | Inf
965.82/966.14 c 942s| 1570k| 77 | 1397 | 24M|1154 | - |1425 |9042 |3492 | 0 | 0 | 78 | 466k| 46 | 1.186233e+02 | -- | Inf
972.62/972.99 c 948s| 1580k| 339 | 1397 | 24M|1154 | - |1425 |9102 |3617 | 0 | 0 | 78 | 470k| 46 | 1.186233e+02 | -- | Inf
977.52/977.85 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
977.52/977.85 c 953s| 1590k| 61 | 1397 | 24M|1154 | - |1425 |9123 |4129 | 0 | 0 | 78 | 472k| 46 | 1.186233e+02 | -- | Inf
983.82/984.10 c 959s| 1600k| 155 | 1397 | 24M|1154 | - |1425 |9219 |3489 | 0 | 0 | 78 | 475k| 46 | 1.186233e+02 | -- | Inf
989.92/990.24 c 965s| 1610k| 73 | 1397 | 24M|1154 | - |1425 |9292 |3731 | 0 | 0 | 78 | 478k| 46 | 1.186233e+02 | -- | Inf
995.52/995.88 c 971s| 1620k| 512 | 1397 | 24M|1154 | - |1425 |9404 |2585 | 0 | 0 | 78 | 481k| 46 | 1.186233e+02 | -- | Inf
1001.41/1001.74 c 976s| 1630k| 125 | 1397 | 24M|1154 | - |1425 |9455 |3700 | 0 | 0 | 78 | 484k| 46 | 1.186233e+02 | -- | Inf
1006.92/1007.24 c 982s| 1640k| 76 | 1397 | 24M|1154 | - |1425 |9500 |3776 | 0 | 0 | 78 | 486k| 46 | 1.186233e+02 | -- | Inf
1013.01/1013.37 c 988s| 1650k| 856 | 1397 | 24M|1154 | - |1425 |9574 |2828 | 0 | 0 | 78 | 490k| 46 | 1.186233e+02 | -- | Inf
1018.02/1018.39 c 992s| 1660k| 93 | 1397 | 24M|1154 | - |1425 |9636 |3597 | 0 | 0 | 78 | 492k| 46 | 1.186233e+02 | -- | Inf
1024.51/1024.88 c 999s| 1670k| 565 | 1397 | 24M|1154 | - |1425 |9660 |3132 | 0 | 0 | 78 | 495k| 46 | 1.186233e+02 | -- | Inf
1029.91/1030.27 c 1004s| 1680k| 60 | 1397 | 24M|1154 | - |1425 |9729 |3634 | 0 | 0 | 78 | 497k| 46 | 1.186233e+02 | -- | Inf
1035.91/1036.22 c 1010s| 1690k| 64 | 1397 | 24M|1154 | - |1425 |9773 |3434 | 0 | 0 | 78 | 500k| 46 | 1.186233e+02 | -- | Inf
1043.30/1043.60 c 1017s| 1700k| 63 | 1397 | 24M|1154 | - |1425 |9879 |3801 | 0 | 0 | 78 | 505k| 46 | 1.186233e+02 | -- | Inf
1049.40/1049.74 c 1023s| 1710k| 763 | 1397 | 24M|1154 | - |1425 | 10k|2684 | 0 | 0 | 78 | 508k| 46 | 1.186233e+02 | -- | Inf
1055.61/1055.96 c 1029s| 1720k| 66 | 1397 | 24M|1154 | - |1425 | 10k|3563 | 0 | 0 | 78 | 512k| 46 | 1.186233e+02 | -- | Inf
1061.90/1062.23 c 1035s| 1730k| 75 | 1397 | 24M|1154 | - |1425 | 10k|3788 | 0 | 0 | 78 | 515k| 46 | 1.186233e+02 | -- | Inf
1068.81/1069.15 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1068.81/1069.15 c 1042s| 1740k| 65 | 1397 | 24M|1154 | - |1425 | 10k|3834 | 0 | 0 | 78 | 520k| 46 | 1.186233e+02 | -- | Inf
1075.09/1075.40 c 1048s| 1750k| 126 | 1397 | 24M|1154 | - |1425 | 10k|3339 | 0 | 0 | 78 | 523k| 46 | 1.186233e+02 | -- | Inf
1080.79/1081.10 c 1054s| 1760k| 648 | 1397 | 24M|1154 | - |1425 | 10k|2954 | 0 | 0 | 78 | 525k| 46 | 1.186233e+02 | -- | Inf
1086.10/1086.49 c 1059s| 1770k| 224 | 1397 | 24M|1154 | - |1425 | 10k|3392 | 0 | 0 | 78 | 528k| 46 | 1.186233e+02 | -- | Inf
1091.90/1092.27 c 1064s| 1780k| 167 | 1397 | 24M|1154 | - |1425 | 10k|3609 | 0 | 0 | 78 | 531k| 46 | 1.186233e+02 | -- | Inf
1098.29/1098.64 c 1071s| 1790k| 63 | 1397 | 24M|1154 | - |1425 | 10k|3443 | 0 | 0 | 78 | 534k| 46 | 1.186233e+02 | -- | Inf
1104.09/1104.40 c 1076s| 1800k| 70 | 1397 | 24M|1154 | - |1425 | 10k|3514 | 0 | 0 | 78 | 537k| 46 | 1.186233e+02 | -- | Inf
1109.89/1110.29 c 1082s| 1810k| 59 | 1397 | 24M|1154 | - |1425 | 10k|3664 | 0 | 0 | 78 | 540k| 46 | 1.186233e+02 | -- | Inf
1116.09/1116.41 c 1088s| 1820k| 63 | 1397 | 24M|1154 | - |1425 | 10k|3748 | 0 | 0 | 78 | 543k| 46 | 1.186233e+02 | -- | Inf
1122.69/1123.06 c 1095s| 1830k| 68 | 1397 | 24M|1154 | - |1425 | 10k|3428 | 0 | 0 | 78 | 547k| 46 | 1.186233e+02 | -- | Inf
1129.58/1129.97 c 1101s| 1840k| 63 | 1397 | 24M|1154 | - |1425 | 10k|3348 | 0 | 0 | 78 | 551k| 46 | 1.186233e+02 | -- | Inf
1135.18/1135.52 c 1107s| 1850k| 404 | 1397 | 25M|1154 | - |1425 | 11k|3145 | 0 | 0 | 78 | 554k| 46 | 1.186233e+02 | -- | Inf
1140.98/1141.37 c 1112s| 1860k| 64 | 1397 | 24M|1154 | - |1425 | 10k|3954 | 0 | 0 | 78 | 557k| 46 | 1.186233e+02 | -- | Inf
1146.68/1147.01 c 1118s| 1870k| 850 | 1397 | 25M|1154 | - |1425 | 11k|2646 | 0 | 0 | 78 | 559k| 46 | 1.186233e+02 | -- | Inf
1152.98/1153.31 c 1124s| 1880k| 76 | 1397 | 24M|1154 | - |1425 | 11k|3615 | 0 | 0 | 78 | 563k| 46 | 1.186233e+02 | -- | Inf
1158.88/1159.27 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1158.88/1159.27 c 1130s| 1890k| 64 | 1397 | 24M|1154 | - |1425 | 11k|3641 | 0 | 0 | 78 | 566k| 46 | 1.186233e+02 | -- | Inf
1165.48/1165.84 c 1136s| 1900k| 217 | 1397 | 25M|1154 | - |1425 | 11k|3386 | 0 | 0 | 78 | 569k| 46 | 1.186233e+02 | -- | Inf
1171.27/1171.60 c 1142s| 1910k| 170 | 1397 | 25M|1154 | - |1425 | 11k|3515 | 0 | 0 | 78 | 572k| 46 | 1.186233e+02 | -- | Inf
1176.57/1176.95 c 1147s| 1920k| 64 | 1397 | 25M|1154 | - |1425 | 11k|3406 | 0 | 0 | 78 | 575k| 46 | 1.186233e+02 | -- | Inf
1181.76/1182.10 c 1152s| 1930k| 857 | 1397 | 25M|1154 | - |1425 | 11k|2528 | 0 | 0 | 78 | 577k| 46 | 1.186233e+02 | -- | Inf
1188.47/1188.89 c 1159s| 1940k| 198 | 1397 | 25M|1154 | - |1425 | 11k|3694 | 0 | 0 | 78 | 581k| 46 | 1.186233e+02 | -- | Inf
1193.87/1194.21 c 1164s| 1950k| 643 | 1397 | 25M|1154 | - |1425 | 11k|2862 | 0 | 0 | 78 | 583k| 46 | 1.186233e+02 | -- | Inf
1200.06/1200.43 c 1170s| 1960k| 665 | 1397 | 25M|1154 | - |1425 | 11k|2908 | 0 | 0 | 78 | 587k| 46 | 1.186233e+02 | -- | Inf
1206.56/1206.98 c 1176s| 1970k| 60 | 1397 | 25M|1154 | - |1425 | 11k|3866 | 0 | 0 | 78 | 590k| 46 | 1.186233e+02 | -- | Inf
1213.66/1214.02 c 1183s| 1980k| 66 | 1397 | 25M|1154 | - |1425 | 11k|3522 | 0 | 0 | 78 | 594k| 46 | 1.186233e+02 | -- | Inf
1221.06/1221.45 c 1190s| 1990k| 60 | 1397 | 25M|1154 | - |1425 | 11k|3729 | 0 | 0 | 78 | 599k| 46 | 1.186233e+02 | -- | Inf
1228.36/1228.79 c 1197s| 2000k| 66 | 1397 | 25M|1154 | - |1425 | 12k|3605 | 0 | 0 | 78 | 603k| 46 | 1.186233e+02 | -- | Inf
1236.06/1236.43 c 1205s| 2010k| 64 | 1397 | 25M|1154 | - |1425 | 12k|3656 | 0 | 0 | 78 | 608k| 46 | 1.186233e+02 | -- | Inf
1243.35/1243.76 c 1212s| 2020k| 60 | 1397 | 25M|1154 | - |1425 | 12k|3563 | 0 | 0 | 78 | 613k| 46 | 1.186233e+02 | -- | Inf
1249.65/1250.07 c 1218s| 2030k| 63 | 1397 | 25M|1154 | - |1425 | 12k|3831 | 0 | 0 | 78 | 617k| 46 | 1.186233e+02 | -- | Inf
1256.75/1257.11 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1256.75/1257.11 c 1225s| 2040k| 57 | 1397 | 25M|1154 | - |1425 | 12k|3656 | 0 | 0 | 78 | 621k| 46 | 1.186233e+02 | -- | Inf
1262.55/1262.97 c 1231s| 2050k| 476 | 1397 | 25M|1154 | - |1425 | 12k|3133 | 0 | 0 | 78 | 624k| 46 | 1.186233e+02 | -- | Inf
1268.64/1269.09 c 1237s| 2060k| 62 | 1397 | 25M|1154 | - |1425 | 12k|3807 | 0 | 0 | 78 | 627k| 46 | 1.186233e+02 | -- | Inf
1275.14/1275.53 c 1243s| 2070k| 82 | 1397 | 25M|1154 | - |1425 | 12k|3734 | 0 | 0 | 78 | 631k| 46 | 1.186233e+02 | -- | Inf
1281.25/1281.65 c 1249s| 2080k| 75 | 1397 | 25M|1154 | - |1425 | 12k|3494 | 0 | 0 | 78 | 634k| 46 | 1.186233e+02 | -- | Inf
1286.24/1286.68 c 1254s| 2090k| 824 | 1397 | 25M|1154 | - |1425 | 12k|2651 | 0 | 0 | 78 | 636k| 46 | 1.186233e+02 | -- | Inf
1292.65/1293.00 c 1260s| 2100k| 229 | 1397 | 25M|1154 | - |1425 | 12k|3557 | 0 | 0 | 78 | 640k| 46 | 1.186233e+02 | -- | Inf
1298.75/1299.16 c 1266s| 2110k| 69 | 1397 | 25M|1154 | - |1425 | 12k|3859 | 0 | 0 | 78 | 643k| 46 | 1.186233e+02 | -- | Inf
1305.34/1305.73 c 1272s| 2120k| 254 | 1397 | 25M|1154 | - |1425 | 12k|3563 | 0 | 0 | 78 | 646k| 46 | 1.186233e+02 | -- | Inf
1311.73/1312.19 c 1279s| 2130k| 58 | 1397 | 25M|1154 | - |1425 | 12k|3741 | 0 | 0 | 78 | 649k| 46 | 1.186233e+02 | -- | Inf
1317.44/1317.80 c 1284s| 2140k| 462 | 1397 | 25M|1154 | - |1425 | 13k|2948 | 0 | 0 | 78 | 651k| 46 | 1.186233e+02 | -- | Inf
1323.13/1323.51 c 1290s| 2150k| 65 | 1397 | 25M|1154 | - |1425 | 13k|3532 | 0 | 0 | 78 | 654k| 46 | 1.186233e+02 | -- | Inf
1329.33/1329.70 c 1296s| 2160k| 932 | 1397 | 25M|1154 | - |1425 | 13k|2582 | 0 | 0 | 78 | 657k| 46 | 1.186233e+02 | -- | Inf
1335.73/1336.19 c 1302s| 2170k| 659 | 1397 | 25M|1154 | - |1425 | 13k|2516 | 0 | 0 | 78 | 661k| 46 | 1.186233e+02 | -- | Inf
1342.64/1343.09 c 1309s| 2180k| 67 | 1397 | 25M|1154 | - |1425 | 13k|3559 | 0 | 0 | 78 | 665k| 46 | 1.186233e+02 | -- | Inf
1348.72/1349.10 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1348.72/1349.10 c 1315s| 2190k| 820 | 1397 | 25M|1154 | - |1425 | 13k|2752 | 0 | 0 | 78 | 668k| 46 | 1.186233e+02 | -- | Inf
1354.33/1354.77 c 1320s| 2200k| 316 | 1397 | 25M|1154 | - |1425 | 13k|3452 | 0 | 0 | 78 | 670k| 46 | 1.186233e+02 | -- | Inf
1360.42/1360.88 c 1326s| 2210k| 72 | 1397 | 25M|1154 | - |1425 | 13k|3640 | 0 | 0 | 78 | 674k| 46 | 1.186233e+02 | -- | Inf
1367.22/1367.61 c 1333s| 2220k| 61 | 1397 | 25M|1154 | - |1425 | 13k|3603 | 0 | 0 | 78 | 678k| 46 | 1.186233e+02 | -- | Inf
1373.32/1373.74 c 1339s| 2230k| 67 | 1397 | 25M|1154 | - |1425 | 13k|3602 | 0 | 0 | 78 | 681k| 46 | 1.186233e+02 | -- | Inf
1379.62/1380.05 c 1345s| 2240k| 59 | 1397 | 25M|1154 | - |1425 | 13k|3701 | 0 | 0 | 78 | 685k| 46 | 1.186233e+02 | -- | Inf
1385.12/1385.55 c 1350s| 2250k| 60 | 1397 | 25M|1154 | - |1425 | 13k|3756 | 0 | 0 | 78 | 687k| 46 | 1.186233e+02 | -- | Inf
1391.42/1391.81 c 1356s| 2260k| 68 | 1397 | 25M|1154 | - |1425 | 13k|3458 | 0 | 0 | 78 | 691k| 46 | 1.186233e+02 | -- | Inf
1398.51/1398.98 c 1363s| 2270k| 60 | 1397 | 25M|1154 | - |1425 | 13k|3811 | 0 | 0 | 78 | 695k| 46 | 1.186233e+02 | -- | Inf
1404.01/1404.44 c 1368s| 2280k| 805 | 1397 | 26M|1154 | - |1425 | 13k|2846 | 0 | 0 | 78 | 698k| 46 | 1.186233e+02 | -- | Inf
1409.62/1410.01 c 1374s| 2290k| 538 | 1397 | 25M|1154 | - |1425 | 14k|3186 | 0 | 0 | 78 | 701k| 46 | 1.186233e+02 | -- | Inf
1415.11/1415.58 c 1379s| 2300k| 74 | 1397 | 25M|1154 | - |1425 | 14k|3604 | 0 | 0 | 78 | 704k| 46 | 1.186233e+02 | -- | Inf
1421.60/1422.04 c 1386s| 2310k| 812 | 1397 | 26M|1154 | - |1425 | 14k|2771 | 0 | 0 | 78 | 707k| 46 | 1.186233e+02 | -- | Inf
1428.31/1428.79 c 1392s| 2320k| 70 | 1397 | 25M|1154 | - |1425 | 14k|3698 | 0 | 0 | 78 | 711k| 46 | 1.186233e+02 | -- | Inf
1434.81/1435.24 c 1398s| 2330k| 57 | 1397 | 25M|1154 | - |1425 | 14k|3817 | 0 | 0 | 78 | 715k| 46 | 1.186233e+02 | -- | Inf
1441.30/1441.77 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1441.30/1441.77 c 1405s| 2340k| 52 | 1397 | 25M|1154 | - |1425 | 14k|3942 | 0 | 0 | 78 | 719k| 46 | 1.186233e+02 | -- | Inf
1448.00/1448.44 c 1411s| 2350k| 82 | 1397 | 23M|1154 | - |1425 |5397 |4035 | 0 | 0 | 78 | 722k| 46 | 1.186233e+02 | -- | Inf
1454.10/1454.51 c 1417s| 2360k| 72 | 1397 | 23M|1154 | - |1425 |5414 |3787 | 0 | 0 | 78 | 725k| 46 | 1.186233e+02 | -- | Inf
1459.50/1459.94 c 1423s| 2370k| 743 | 1397 | 24M|1154 | - |1425 |5443 |2833 | 0 | 0 | 78 | 727k| 46 | 1.186233e+02 | -- | Inf
1465.50/1465.93 c 1428s| 2380k| 67 | 1397 | 23M|1154 | - |1425 |5433 |3937 | 0 | 0 | 78 | 730k| 46 | 1.186233e+02 | -- | Inf
1472.09/1472.53 c 1435s| 2390k| 79 | 1397 | 23M|1154 | - |1425 |5428 |3889 | 0 | 0 | 78 | 733k| 46 | 1.186233e+02 | -- | Inf
1477.40/1477.83 c 1440s| 2400k| 835 | 1397 | 24M|1154 | - |1425 |5432 |2571 | 0 | 0 | 78 | 736k| 46 | 1.186233e+02 | -- | Inf
1483.29/1483.71 c 1446s| 2410k| 278 | 1397 | 23M|1154 | - |1425 |5429 |3686 | 0 | 0 | 78 | 738k| 46 | 1.186233e+02 | -- | Inf
1489.29/1489.77 c 1452s| 2420k| 198 | 1397 | 23M|1154 | - |1425 |5445 |3390 | 0 | 0 | 78 | 741k| 46 | 1.186233e+02 | -- | Inf
1495.49/1495.95 c 1458s| 2430k| 685 | 1397 | 24M|1154 | - |1425 |5484 |3033 | 0 | 0 | 78 | 744k| 46 | 1.186233e+02 | -- | Inf
1501.89/1502.35 c 1464s| 2440k| 673 | 1397 | 24M|1154 | - |1425 |5423 |3161 | 0 | 0 | 78 | 747k| 46 | 1.186233e+02 | -- | Inf
1508.49/1508.98 c 1470s| 2450k| 64 | 1397 | 23M|1154 | - |1425 |5411 |4067 | 0 | 0 | 78 | 751k| 46 | 1.186233e+02 | -- | Inf
1515.29/1515.70 c 1477s| 2460k| 85 | 1397 | 23M|1154 | - |1425 |5425 |3899 | 0 | 0 | 78 | 754k| 46 | 1.186233e+02 | -- | Inf
1521.38/1521.84 c 1483s| 2470k| 92 | 1397 | 23M|1154 | - |1425 |5429 |3881 | 0 | 0 | 78 | 757k| 46 | 1.186233e+02 | -- | Inf
1528.09/1528.58 c 1489s| 2480k| 419 | 1397 | 23M|1154 | - |1425 |5393 |3567 | 0 | 0 | 78 | 760k| 46 | 1.186233e+02 | -- | Inf
1534.98/1535.47 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1534.98/1535.47 c 1496s| 2490k| 60 | 1397 | 23M|1154 | - |1425 |5415 |4063 | 0 | 0 | 78 | 764k| 46 | 1.186233e+02 | -- | Inf
1541.48/1541.90 c 1502s| 2500k| 748 | 1397 | 24M|1154 | - |1425 |5441 |2982 | 0 | 0 | 78 | 768k| 46 | 1.186233e+02 | -- | Inf
1548.57/1549.04 c 1509s| 2510k| 59 | 1397 | 23M|1154 | - |1425 |5458 |3766 | 0 | 0 | 78 | 772k| 46 | 1.186233e+02 | -- | Inf
1555.38/1555.84 c 1516s| 2520k| 58 | 1397 | 23M|1154 | - |1425 |5411 |3908 | 0 | 0 | 78 | 776k| 46 | 1.186233e+02 | -- | Inf
1562.57/1563.05 c 1523s| 2530k| 60 | 1397 | 23M|1154 | - |1425 |5426 |4049 | 0 | 0 | 78 | 780k| 46 | 1.186233e+02 | -- | Inf
1568.57/1569.02 c 1529s| 2540k| 831 | 1397 | 24M|1154 | - |1425 |5418 |2825 | 0 | 0 | 78 | 783k| 46 | 1.186233e+02 | -- | Inf
1574.37/1574.85 c 1534s| 2550k| 773 | 1397 | 24M|1154 | - |1425 |5479 |2901 | 0 | 0 | 78 | 785k| 46 | 1.186233e+02 | -- | Inf
1580.57/1581.07 c 1541s| 2560k| 721 | 1397 | 24M|1154 | - |1425 |5528 |3096 | 0 | 0 | 78 | 789k| 46 | 1.186233e+02 | -- | Inf
1587.36/1587.86 c 1547s| 2570k| 462 | 1397 | 23M|1154 | - |1425 |5428 |3433 | 0 | 0 | 78 | 792k| 46 | 1.186233e+02 | -- | Inf
1593.16/1593.62 c 1553s| 2580k| 74 | 1397 | 23M|1154 | - |1425 |5426 |3887 | 0 | 0 | 78 | 795k| 46 | 1.186233e+02 | -- | Inf
1599.16/1599.67 c 1559s| 2590k| 892 | 1397 | 24M|1154 | - |1425 |5422 |2895 | 0 | 0 | 78 | 798k| 46 | 1.186233e+02 | -- | Inf
1606.86/1607.33 c 1566s| 2600k| 63 | 1397 | 23M|1154 | - |1425 |5420 |3641 | 0 | 0 | 78 | 802k| 46 | 1.186233e+02 | -- | Inf
1613.96/1614.48 c 1573s| 2610k| 59 | 1397 | 23M|1154 | - |1425 |5415 |4065 | 0 | 0 | 78 | 806k| 46 | 1.186233e+02 | -- | Inf
1620.75/1621.30 c 1580s| 2620k| 331 | 1397 | 23M|1154 | - |1425 |5417 |3478 | 0 | 0 | 78 | 810k| 46 | 1.186233e+02 | -- | Inf
1627.75/1628.24 c 1586s| 2630k| 75 | 1397 | 23M|1154 | - |1425 |5399 |4056 | 0 | 0 | 78 | 814k| 46 | 1.186233e+02 | -- | Inf
1633.85/1634.31 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1633.85/1634.31 c 1592s| 2640k| 72 | 1397 | 23M|1154 | - |1425 |5446 |3686 | 0 | 0 | 78 | 816k| 46 | 1.186233e+02 | -- | Inf
1640.25/1640.73 c 1599s| 2650k| 59 | 1397 | 23M|1154 | - |1425 |5436 |3772 | 0 | 0 | 78 | 820k| 46 | 1.186233e+02 | -- | Inf
1647.15/1647.65 c 1605s| 2660k| 775 | 1397 | 24M|1154 | - |1425 |5416 |2970 | 0 | 0 | 78 | 824k| 46 | 1.186233e+02 | -- | Inf
1654.25/1654.79 c 1612s| 2670k| 64 | 1397 | 23M|1154 | - |1425 |5404 |3764 | 0 | 0 | 78 | 828k| 46 | 1.186233e+02 | -- | Inf
1660.65/1661.15 c 1619s| 2680k| 116 | 1397 | 23M|1154 | - |1425 |5413 |3687 | 0 | 0 | 78 | 831k| 46 | 1.186233e+02 | -- | Inf
1668.34/1668.84 c 1626s| 2690k| 83 | 1397 | 23M|1154 | - |1425 |5413 |3948 | 0 | 0 | 78 | 836k| 46 | 1.186233e+02 | -- | Inf
1675.24/1675.70 c 1633s| 2700k| 56 | 1397 | 23M|1154 | - |1425 |5415 |3699 | 0 | 0 | 78 | 840k| 46 | 1.186233e+02 | -- | Inf
1682.94/1683.43 c 1640s| 2710k| 96 | 1397 | 23M|1154 | - |1425 |5403 |3588 | 0 | 0 | 78 | 844k| 46 | 1.186233e+02 | -- | Inf
1691.74/1692.20 c 1649s| 2720k| 66 | 1397 | 23M|1154 | - |1425 |5422 |3676 | 0 | 0 | 78 | 850k| 46 | 1.186233e+02 | -- | Inf
1700.04/1700.51 c 1657s| 2730k| 123 | 1397 | 23M|1154 | - |1425 |5444 |3512 | 0 | 0 | 78 | 855k| 46 | 1.186233e+02 | -- | Inf
1708.73/1709.28 c 1665s| 2740k| 59 | 1397 | 23M|1154 | - |1425 |5410 |3844 | 0 | 0 | 78 | 861k| 46 | 1.186233e+02 | -- | Inf
1717.03/1717.59 c 1674s| 2750k| 52 | 1397 | 23M|1154 | - |1425 |5543 |3919 | 0 | 0 | 78 | 866k| 46 | 1.186233e+02 | -- | Inf
1724.33/1724.89 c 1681s| 2760k| 73 | 1397 | 23M|1154 | - |1425 |5397 |3541 | 0 | 0 | 78 | 870k| 46 | 1.186233e+02 | -- | Inf
1732.13/1732.67 c 1688s| 2770k| 658 | 1397 | 24M|1154 | - |1425 |5398 |3064 | 0 | 0 | 78 | 875k| 46 | 1.186233e+02 | -- | Inf
1740.43/1740.99 c 1696s| 2780k| 518 | 1397 | 24M|1154 | - |1425 |5442 |3104 | 0 | 0 | 78 | 880k| 46 | 1.186233e+02 | -- | Inf
1747.52/1748.07 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1747.52/1748.07 c 1703s| 2790k| 72 | 1397 | 23M|1154 | - |1425 |5421 |4009 | 0 | 0 | 78 | 884k| 46 | 1.186233e+02 | -- | Inf
1753.62/1754.15 c 1709s| 2800k| 63 | 1397 | 23M|1154 | - |1425 |5448 |3767 | 0 | 0 | 78 | 887k| 46 | 1.186233e+02 | -- | Inf
1759.82/1760.31 c 1715s| 2810k| 92 | 1397 | 23M|1154 | - |1425 |5432 |3707 | 0 | 0 | 78 | 890k| 46 | 1.186233e+02 | -- | Inf
1766.42/1766.92 c 1722s| 2820k| 75 | 1397 | 23M|1154 | - |1425 |5408 |3868 | 0 | 0 | 78 | 893k| 46 | 1.186233e+02 | -- | Inf
1772.62/1773.11 c 1728s| 2830k| 564 | 1397 | 24M|1154 | - |1425 |5425 |3056 | 0 | 0 | 78 | 896k| 46 | 1.186233e+02 | -- | Inf
1778.71/1779.27 c 1734s| 2840k| 760 | 1397 | 24M|1154 | - |1425 |5430 |2932 | 0 | 0 | 78 | 899k| 46 | 1.186233e+02 | -- | Inf
1785.61/1786.11 c 1740s| 2850k| 76 | 1397 | 23M|1154 | - |1425 |5429 |3698 | 0 | 0 | 78 | 902k| 46 | 1.186233e+02 | -- | Inf
1792.51/1793.07 c 1747s| 2860k| 64 | 1397 | 23M|1154 | - |1425 |5412 |3881 | 0 | 0 | 78 | 906k| 46 | 1.186233e+02 | -- | Inf
1800.02/1800.50 c
1800.02/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.50 c Solving Time (sec) : 1754.31
1800.02/1800.50 c Solving Nodes : 2869579
1800.02/1800.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.02/1800.50 c Dual Bound : +1.18623288427562e+02
1800.02/1800.50 c Gap : infinite
1800.02/1800.50 c NODE 2869579
1800.02/1800.50 c DUAL BOUND 118.623
1800.02/1800.50 c PRIMAL BOUND 1e+20
1800.02/1800.50 c GAP 1e+20
1800.02/1800.50 s UNKNOWN
1800.02/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.50 c Solving Time : 1754.31
1800.02/1800.50 c Original Problem :
1800.02/1800.50 c Problem name : HOME/instance-1884098-1245254150.opb
1800.02/1800.50 c Variables : 1467 (1467 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.50 c Constraints : 7521 initial, 7521 maximal
1800.02/1800.50 c Presolved Problem :
1800.02/1800.50 c Problem name : t_HOME/instance-1884098-1245254150.opb
1800.02/1800.50 c Variables : 1425 (1425 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.50 c Constraints : 5365 initial, 14386 maximal
1800.02/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.02/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c probing : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c linear : 0.41 38 3 0 38 0 1290 116 0
1800.02/1800.50 c logicor : 1.35 0 0 0 0 0 866 0 0
1800.02/1800.50 c root node : - 0 - - 0 - - - -
1800.02/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.50 c integral : 0 0 0 1 0 0 0 0 0 2
1800.02/1800.50 c logicor : 5365+ 5 7554472 0 0 704429 16596648 0 0 0
1800.02/1800.50 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.50 c integral : 9.09 0.00 0.00 9.09 0.00
1800.02/1800.50 c logicor : 183.20 0.00 183.20 0.00 0.00
1800.02/1800.50 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.50 c rootredcost : 3.85 0 0 0
1800.02/1800.50 c pseudoobj : 730.04 12125136 0 0
1800.02/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.50 c propagation : 61.84 704429 704364 704364 38.5 207350 23.7 -
1800.02/1800.50 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.50 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.50 c applied globally : - - - 911714 35.1 - - -
1800.02/1800.50 c applied locally : - - - 0 0.0 - - -
1800.02/1800.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.50 c cut pool : 0.01 4 - - 11 - (maximal pool size: 1715)
1800.02/1800.50 c redcost : 0.00 5 0 0 0 0
1800.02/1800.50 c impliedbounds : 0.00 5 0 0 0 0
1800.02/1800.50 c intobj : 0.00 0 0 0 0 0
1800.02/1800.50 c gomory : 1.85 5 0 0 2471 0
1800.02/1800.50 c strongcg : 0.66 5 0 0 2500 0
1800.02/1800.50 c cmir : 0.00 0 0 0 0 0
1800.02/1800.50 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.50 c clique : 0.00 5 0 0 30 0
1800.02/1800.50 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.50 c mcf : 0.01 1 0 0 0 0
1800.02/1800.50 c Pricers : Time Calls Vars
1800.02/1800.50 c problem variables: 0.00 0 0
1800.02/1800.50 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.50 c relpscost : 9.09 1 0 0 0 0 2
1800.02/1800.50 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.50 c inference : 628.98 2475965 0 0 0 0 4951930
1800.02/1800.50 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.50 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.50 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.50 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.50 c random : 0.00 0 0 0 0 0 0
1800.02/1800.50 c Primal Heuristics : Time Calls Found
1800.02/1800.50 c LP solutions : 0.00 - 0
1800.02/1800.50 c pseudo solutions : 0.00 - 0
1800.02/1800.50 c simplerounding : 0.00 0 0
1800.02/1800.50 c rounding : 0.00 0 0
1800.02/1800.50 c shifting : 0.00 0 0
1800.02/1800.50 c intshifting : 0.00 0 0
1800.02/1800.50 c oneopt : 0.00 0 0
1800.02/1800.50 c fixandinfer : 0.00 0 0
1800.02/1800.50 c feaspump : 0.00 0 0
1800.02/1800.50 c coefdiving : 0.00 0 0
1800.02/1800.50 c pscostdiving : 0.00 0 0
1800.02/1800.50 c fracdiving : 0.00 0 0
1800.02/1800.50 c veclendiving : 0.00 0 0
1800.02/1800.50 c intdiving : 0.00 0 0
1800.02/1800.50 c actconsdiving : 0.00 0 0
1800.02/1800.50 c objpscostdiving : 0.00 0 0
1800.02/1800.50 c rootsoldiving : 0.00 0 0
1800.02/1800.50 c linesearchdiving : 0.00 0 0
1800.02/1800.50 c guideddiving : 0.00 0 0
1800.02/1800.50 c octane : 0.00 0 0
1800.02/1800.50 c rens : 0.00 0 0
1800.02/1800.50 c rins : 0.00 0 0
1800.02/1800.50 c localbranching : 0.00 0 0
1800.02/1800.50 c mutation : 0.00 0 0
1800.02/1800.50 c crossover : 0.00 0 0
1800.02/1800.50 c dins : 0.00 0 0
1800.02/1800.50 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.50 c primal LP : 0.01 0 0 0.00 0.00
1800.02/1800.50 c dual LP : 1.26 6 1397 232.83 1108.73
1800.02/1800.50 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.50 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.50 c strong branching : 9.09 46 9098 197.78 1000.88
1800.02/1800.50 c (at root node) : - 46 9098 197.78 -
1800.02/1800.50 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.50 c B&B Tree :
1800.02/1800.50 c number of runs : 1
1800.02/1800.50 c nodes : 2869579
1800.02/1800.50 c nodes (total) : 2869579
1800.02/1800.50 c nodes left : 55
1800.02/1800.50 c max depth : 1154
1800.02/1800.50 c max depth (total): 1154
1800.02/1800.50 c backtracks : 337797 (11.8%)
1800.02/1800.50 c delayed cutoffs : 2082299
1800.02/1800.50 c repropagations : 3867965 (7727288 domain reductions, 310816 cutoffs)
1800.02/1800.50 c avg switch length: 4.23
1800.02/1800.50 c switching time : 110.53
1800.02/1800.50 c Solution :
1800.02/1800.50 c Solutions found : 0 (0 improvements)
1800.02/1800.50 c Primal Bound : -
1800.02/1800.50 c Dual Bound : +1.18623288427562e+02
1800.02/1800.50 c Gap : infinite
1800.02/1800.50 c Root Dual Bound : +1.18233333333333e+02
1800.02/1800.56 c Time complete: 1800.07.