0.02/0.09 c SCIP version 1.1.0.7
0.02/0.09 c LP-Solver Clp 1.8.2
0.02/0.09 c user parameter file <scip.set> not found - using default parameters
0.02/0.09 c read problem <HOME/instance-1883965-1245238242.opb>
0.02/0.09 c original problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 6025 constraints
0.09/0.11 c No objective function, only one solution is needed.
0.09/0.11 c start presolving problem
0.09/0.11 c presolving:
0.09/0.18 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6025 upgd conss, 12000 impls, 0 clqs
0.09/0.20 c presolving (2 rounds):
0.09/0.20 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.20 c 12000 implications, 0 cliques
0.09/0.20 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 6025 constraints
0.09/0.20 c 6025 constraints of type <logicor>
0.09/0.20 c transformed objective value is always integral (scale: 1)
0.09/0.20 c Presolving Time: 0.07
0.09/0.20 c PURESAT
0.09/0.20 c -----------------------------------------------------------------------------------------------
0.09/0.20 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.09/0.20 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.20 c separating/flowcover/freq = c -1
0.09/0.20 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.09/0.20 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.20 c separating/cmir/freq = c -1
0.09/0.20 c # additional number of allowed LP iterations
0.09/0.20 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.20 c heuristics/veclendiving/maxlpiterofs = c 1500
0.09/0.20 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.20 c heuristics/veclendiving/maxlpiterquot = c 0.075
0.09/0.20 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.09/0.20 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.20 c heuristics/veclendiving/freq = c -1
0.09/0.20 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.09/0.20 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.20 c heuristics/simplerounding/freq = c -1
0.09/0.20 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.09/0.20 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.20 c heuristics/shifting/freq = c -1
0.09/0.20 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.09/0.20 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.20 c heuristics/rounding/freq = c -1
0.09/0.20 c # additional number of allowed LP iterations
0.09/0.20 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.20 c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.09/0.20 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.09/0.20 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.09/0.20 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.09/0.20 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.20 c heuristics/rootsoldiving/freq = c -1
0.09/0.20 c # number of nodes added to the contingent of the total nodes
0.09/0.20 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.20 c heuristics/rens/nodesofs = c 2000
0.09/0.20 c # minimum percentage of integer variables that have to be fixable
0.09/0.20 c # [type: real, range: [0,1], default: 0.5]
0.09/0.20 c heuristics/rens/minfixingrate = c 0.3
0.09/0.20 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.09/0.20 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.20 c heuristics/rens/freq = c -1
0.09/0.20 c # additional number of allowed LP iterations
0.09/0.20 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.20 c heuristics/pscostdiving/maxlpiterofs = c 1500
0.09/0.20 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.20 c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.09/0.20 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.20 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.20 c heuristics/pscostdiving/freq = c -1
0.09/0.20 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.09/0.20 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.20 c heuristics/oneopt/freq = c -1
0.09/0.20 c # additional number of allowed LP iterations
0.09/0.20 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.20 c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.09/0.20 c # maximal fraction of diving LP iterations compared to total iteration number
0.09/0.20 c # [type: real, range: [0,1], default: 0.01]
0.09/0.20 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.09/0.20 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.20 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.20 c heuristics/objpscostdiving/freq = c -1
0.09/0.20 c # additional number of allowed LP iterations
0.09/0.20 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.20 c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.09/0.20 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.20 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.19/0.20 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.20 c heuristics/linesearchdiving/freq = c -1
0.19/0.20 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.20 c heuristics/intshifting/freq = c -1
0.19/0.20 c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.20 c heuristics/intdiving/maxlpiterquot = c 0.075
0.19/0.20 c # additional number of allowed LP iterations
0.19/0.20 c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.20 c heuristics/guideddiving/maxlpiterofs = c 1500
0.19/0.20 c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.20 c heuristics/guideddiving/maxlpiterquot = c 0.075
0.19/0.20 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.20 c heuristics/guideddiving/freq = c -1
0.19/0.20 c # additional number of allowed LP iterations
0.19/0.20 c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.20 c heuristics/fracdiving/maxlpiterofs = c 1500
0.19/0.20 c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.20 c heuristics/fracdiving/maxlpiterquot = c 0.075
0.19/0.20 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.20 c heuristics/fracdiving/freq = c -1
0.19/0.20 c # additional number of allowed LP iterations
0.19/0.20 c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.20 c heuristics/feaspump/maxlpiterofs = c 2000
0.19/0.20 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 20]
0.19/0.20 c heuristics/feaspump/freq = c -1
0.19/0.20 c # minimum percentage of integer variables that have to be fixed
0.19/0.20 c # [type: real, range: [0,1], default: 0.666]
0.19/0.20 c heuristics/crossover/minfixingrate = c 0.5
0.19/0.20 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.19/0.20 c # [type: real, range: [0,1], default: 0.1]
0.19/0.20 c heuristics/crossover/nodesquot = c 0.15
0.19/0.20 c # number of nodes without incumbent change that heuristic should wait
0.19/0.20 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.19/0.20 c heuristics/crossover/nwaitingnodes = c 100
0.19/0.20 c # number of nodes added to the contingent of the total nodes
0.19/0.20 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.19/0.20 c heuristics/crossover/nodesofs = c 750
0.19/0.20 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 30]
0.19/0.20 c heuristics/crossover/freq = c -1
0.19/0.20 c # additional number of allowed LP iterations
0.19/0.20 c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.20 c heuristics/coefdiving/maxlpiterofs = c 1500
0.19/0.20 c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.20 c heuristics/coefdiving/maxlpiterquot = c 0.075
0.19/0.20 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.20 c heuristics/coefdiving/freq = c -1
0.19/0.20 c # priority of node selection rule <dfs> in standard mode
0.19/0.20 c # [type: int, range: [-536870912,536870911], default: 0]
0.19/0.20 c nodeselection/dfs/stdpriority = c 1000000
0.19/0.20 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20 c presolving/probing/maxrounds = c 0
0.19/0.20 c # should presolving try to simplify knapsacks
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/knapsack/simplifyinequalities = c TRUE
0.19/0.20 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.19/0.20 c constraints/knapsack/disaggregation = c FALSE
0.19/0.20 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20 c constraints/knapsack/maxnumcardlift = c 0
0.19/0.20 c # should presolving try to simplify inequalities
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/linear/simplifyinequalities = c TRUE
0.19/0.20 c # maximal number of separation rounds in the root node (-1: unlimited)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20 c separating/maxroundsroot = c 5
0.19/0.20 c # maximal number of separation rounds per node (-1: unlimited)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 5]
0.19/0.20 c separating/maxrounds = c 1
0.19/0.20 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.19/0.20 c # [type: char, range: {lafpsqd}, default: l]
0.19/0.20 c lp/pricing = c a
0.19/0.20 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.20 c lp/solvefreq = c 0
0.19/0.20 c # solving stops, if the given number of solutions were found (-1: no limit)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20 c limits/solutions = c 1
0.19/0.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/memory = c 1620
0.19/0.20 c # maximal time in seconds to run
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/time = c 1791
0.19/0.20 c # frequency for displaying node information lines
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.20 c display/freq = c 10000
0.19/0.20 c # should enforcement of pseudo solution be disabled?
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/disableenfops = c TRUE
0.19/0.20 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.20 c constraints/agelimit = c 1
0.19/0.20 c # should binary conflicts be preferred?
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c conflict/preferbinary = c TRUE
0.19/0.20 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20 c conflict/interconss = c 0
0.19/0.20 c -----------------------------------------------------------------------------------------------
0.19/0.20 c start solving problem
0.19/0.20 c
0.19/0.23 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.23 c 0.1s| 1 | 0 | 50 |7788k| 0 | 50 | 500 |6025 |6025 | 500 |6025 | 0 | 0 | 0 | 2.500000e+01 | -- | Inf
0.29/0.31 c 0.2s| 1 | 0 | 194 |7791k| 0 | 62 | 500 |6025 |6025 | 500 |6028 | 3 | 0 | 0 | 2.500000e+01 | -- | Inf
0.49/0.53 c 0.4s| 1 | 0 | 358 |7934k| 0 | 61 | 500 |6025 |6025 | 500 |6037 | 12 | 0 | 0 | 2.500000e+01 | -- | Inf
0.69/0.74 c 0.6s| 1 | 0 | 520 |8019k| 0 | 51 | 500 |6025 |6025 | 500 |6044 | 19 | 0 | 0 | 2.500000e+01 | -- | Inf
1.00/1.07 c 0.9s| 1 | 0 | 665 |8292k| 0 | 24 | 500 |6025 |6025 | 500 |6053 | 28 | 0 | 0 | 2.500000e+01 | -- | Inf
1.29/1.31 c 1.2s| 1 | 0 | 767 |8418k| 0 | 20 | 500 |6025 |6025 | 500 |6060 | 35 | 0 | 0 | 2.500000e+01 | -- | Inf
1.99/2.03 c 1.9s| 1 | 2 | 767 |8419k| 0 | 20 | 500 |6025 |6025 | 500 |6060 | 35 | 0 | 20 | 2.500000e+01 | -- | Inf
6.69/6.78 c 6.4s| 10000 | 214 | 767 |8706k| 241 | - | 500 |6025 |3910 | 0 | 0 | 35 |6038 | 20 | 2.500000e+01 | -- | Inf
11.99/12.02 c 11.5s| 20000 | 213 | 767 |8709k| 241 | - | 500 |6025 |3823 | 0 | 0 | 35 | 12k| 20 | 2.500000e+01 | -- | Inf
17.29/17.33 c 16.6s| 30000 | 208 | 767 |8711k| 241 | - | 500 |6026 |3806 | 0 | 0 | 35 | 18k| 20 | 2.500000e+01 | -- | Inf
22.59/22.70 c 21.7s| 40000 | 200 | 767 |8717k| 241 | - | 500 |6031 |3769 | 0 | 0 | 35 | 24k| 20 | 2.500000e+01 | -- | Inf
27.78/27.80 c 26.6s| 50000 | 199 | 767 |8719k| 241 | - | 500 |6025 |3742 | 0 | 0 | 35 | 30k| 20 | 2.500000e+01 | -- | Inf
32.78/32.87 c 31.5s| 60000 | 200 | 767 |8721k| 241 | - | 500 |6025 |3734 | 0 | 0 | 35 | 36k| 20 | 2.500000e+01 | -- | Inf
38.08/38.14 c 36.5s| 70000 | 196 | 767 |8724k| 241 | - | 500 |6026 |3718 | 0 | 0 | 35 | 42k| 20 | 2.500000e+01 | -- | Inf
43.07/43.16 c 41.3s| 80000 | 195 | 767 |8724k| 241 | - | 500 |6025 |3730 | 0 | 0 | 35 | 48k| 20 | 2.500000e+01 | -- | Inf
47.87/47.93 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.87/47.93 c 45.9s| 90000 | 198 | 767 |8723k| 241 | - | 500 |6034 |3871 | 0 | 0 | 35 | 54k| 20 | 2.500000e+01 | -- | Inf
52.27/52.30 c 50.1s|100000 | 203 | 767 |8729k| 241 | - | 500 |6031 |3644 | 0 | 0 | 35 | 59k| 20 | 2.500000e+01 | -- | Inf
57.17/57.23 c 54.8s|110000 | 198 | 767 |8725k| 259 | - | 500 |6025 |3697 | 0 | 0 | 35 | 65k| 20 | 2.500000e+01 | -- | Inf
61.77/61.87 c 59.3s|120000 | 193 | 767 |8727k| 259 | - | 500 |6026 |3718 | 0 | 0 | 35 | 71k| 20 | 2.500000e+01 | -- | Inf
66.56/66.68 c 63.9s|130000 | 198 | 767 |8732k| 259 | - | 500 |6046 |3713 | 0 | 0 | 35 | 77k| 20 | 2.500000e+01 | -- | Inf
71.27/71.30 c 68.4s|140000 | 191 | 767 |8721k| 259 | - | 500 |6025 |3802 | 0 | 0 | 35 | 82k| 20 | 2.500000e+01 | -- | Inf
75.56/75.68 c 72.6s|150000 | 194 | 767 |8722k| 259 | - | 500 |6025 |3790 | 0 | 0 | 35 | 88k| 20 | 2.500000e+01 | -- | Inf
80.36/80.45 c 77.1s|160000 | 200 | 767 |8724k| 259 | - | 500 |6028 |3738 | 0 | 0 | 35 | 94k| 20 | 2.500000e+01 | -- | Inf
84.96/85.07 c 81.6s|170000 | 204 | 767 |8729k| 273 | - | 500 |6027 |3674 | 0 | 0 | 35 | 100k| 20 | 2.500000e+01 | -- | Inf
89.26/89.38 c 85.7s|180000 | 199 | 767 |8733k| 273 | - | 500 |6029 |3627 | 0 | 0 | 35 | 105k| 20 | 2.500000e+01 | -- | Inf
93.55/93.67 c 89.8s|190000 | 201 | 767 |8731k| 273 | - | 500 |6036 |3743 | 0 | 0 | 35 | 111k| 20 | 2.500000e+01 | -- | Inf
97.85/97.95 c 93.9s|200000 | 198 | 767 |8729k| 273 | - | 500 |6026 |3702 | 0 | 0 | 35 | 116k| 20 | 2.500000e+01 | -- | Inf
102.05/102.18 c 98.0s|210000 | 209 | 767 |8733k| 273 | - | 500 |6025 |3655 | 0 | 0 | 35 | 122k| 20 | 2.500000e+01 | -- | Inf
106.45/106.59 c 102s|220000 | 205 | 767 |8731k| 273 | - | 500 |6030 |3704 | 0 | 0 | 35 | 128k| 20 | 2.500000e+01 | -- | Inf
110.65/110.78 c 106s|230000 | 201 | 767 |8737k| 273 | - | 500 |6033 |3644 | 0 | 0 | 35 | 133k| 20 | 2.500000e+01 | -- | Inf
114.95/115.07 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
114.95/115.07 c 110s|240000 | 202 | 767 |8736k| 273 | - | 500 |6037 |3723 | 0 | 0 | 35 | 139k| 20 | 2.500000e+01 | -- | Inf
119.24/119.34 c 114s|250000 | 196 | 767 |8732k| 273 | - | 500 |6032 |3708 | 0 | 0 | 35 | 145k| 20 | 2.500000e+01 | -- | Inf
123.55/123.69 c 119s|260000 | 197 | 767 |8730k| 273 | - | 500 |6034 |3817 | 0 | 0 | 35 | 150k| 20 | 2.500000e+01 | -- | Inf
128.15/128.29 c 123s|270000 | 197 | 767 |8735k| 273 | - | 500 |6033 |3724 | 0 | 0 | 35 | 156k| 20 | 2.500000e+01 | -- | Inf
132.65/132.70 c 127s|280000 | 197 | 767 |8731k| 273 | - | 500 |6036 |3764 | 0 | 0 | 35 | 162k| 20 | 2.500000e+01 | -- | Inf
136.84/136.98 c 131s|290000 | 197 | 767 |8734k| 273 | - | 500 |6036 |3704 | 0 | 0 | 35 | 167k| 20 | 2.500000e+01 | -- | Inf
141.04/141.18 c 135s|300000 | 195 | 767 |8728k| 273 | - | 500 |6025 |3705 | 0 | 0 | 35 | 173k| 20 | 2.500000e+01 | -- | Inf
145.24/145.32 c 139s|310000 | 206 | 767 |8735k| 273 | - | 500 |6035 |3716 | 0 | 0 | 35 | 179k| 20 | 2.500000e+01 | -- | Inf
149.44/149.60 c 143s|320000 | 191 | 767 |8723k| 273 | - | 500 |6026 |3847 | 0 | 0 | 35 | 185k| 20 | 2.500000e+01 | -- | Inf
153.64/153.74 c 147s|330000 | 200 | 767 |8728k| 273 | - | 500 |6025 |3867 | 0 | 0 | 35 | 190k| 20 | 2.500000e+01 | -- | Inf
157.84/157.90 c 151s|340000 | 203 | 767 |8735k| 273 | - | 500 |6026 |3620 | 0 | 0 | 35 | 196k| 20 | 2.500000e+01 | -- | Inf
162.03/162.16 c 156s|350000 | 197 | 767 |8732k| 273 | - | 500 |6027 |3670 | 0 | 0 | 35 | 201k| 20 | 2.500000e+01 | -- | Inf
166.34/166.47 c 160s|360000 | 197 | 767 |8732k| 273 | - | 500 |6027 |3802 | 0 | 0 | 35 | 207k| 20 | 2.500000e+01 | -- | Inf
170.53/170.69 c 164s|370000 | 193 | 767 |8733k| 273 | - | 500 |6029 |3786 | 0 | 0 | 35 | 213k| 20 | 2.500000e+01 | -- | Inf
174.53/174.69 c 167s|380000 | 200 | 767 |8735k| 273 | - | 500 |6029 |3716 | 0 | 0 | 35 | 218k| 20 | 2.500000e+01 | -- | Inf
178.63/178.76 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
178.63/178.76 c 171s|390000 | 198 | 767 |8739k| 273 | - | 500 |6041 |3772 | 0 | 0 | 35 | 224k| 20 | 2.500000e+01 | -- | Inf
182.72/182.81 c 175s|400000 | 197 | 767 |8738k| 273 | - | 500 |6034 |3680 | 0 | 0 | 35 | 230k| 20 | 2.500000e+01 | -- | Inf
186.82/186.90 c 179s|410000 | 203 | 767 |8735k| 273 | - | 500 |6025 |3653 | 0 | 0 | 35 | 235k| 20 | 2.500000e+01 | -- | Inf
191.73/191.87 c 184s|420000 | 203 | 767 |8734k| 273 | - | 500 |6025 |3678 | 0 | 0 | 35 | 241k| 20 | 2.500000e+01 | -- | Inf
196.32/196.43 c 188s|430000 | 207 | 767 |8734k| 273 | - | 500 |6028 |3707 | 0 | 0 | 35 | 247k| 20 | 2.500000e+01 | -- | Inf
201.12/201.21 c 193s|440000 | 193 | 767 |8732k| 273 | - | 500 |6028 |3718 | 0 | 0 | 35 | 253k| 20 | 2.500000e+01 | -- | Inf
205.92/206.00 c 197s|450000 | 197 | 767 |8734k| 273 | - | 500 |6029 |3704 | 0 | 0 | 35 | 259k| 20 | 2.500000e+01 | -- | Inf
210.31/210.49 c 202s|460000 | 193 | 767 |8734k| 273 | - | 500 |6027 |3733 | 0 | 0 | 35 | 264k| 20 | 2.500000e+01 | -- | Inf
215.11/215.20 c 206s|470000 | 198 | 767 |8731k| 273 | - | 500 |6026 |3747 | 0 | 0 | 35 | 270k| 20 | 2.500000e+01 | -- | Inf
219.71/219.85 c 211s|480000 | 193 | 767 |8732k| 273 | - | 500 |6027 |3744 | 0 | 0 | 35 | 276k| 20 | 2.500000e+01 | -- | Inf
224.01/224.14 c 215s|490000 | 195 | 767 |8729k| 273 | - | 500 |6025 |3759 | 0 | 0 | 35 | 282k| 20 | 2.500000e+01 | -- | Inf
228.31/228.49 c 219s|500000 | 207 | 767 |8739k| 273 | - | 500 |6033 |3647 | 0 | 0 | 35 | 287k| 20 | 2.500000e+01 | -- | Inf
233.21/233.34 c 224s|510000 | 202 | 767 |8734k| 273 | - | 500 |6025 |3639 | 0 | 0 | 35 | 293k| 20 | 2.500000e+01 | -- | Inf
237.71/237.86 c 228s|520000 | 194 | 767 |8733k| 273 | - | 500 |6027 |3721 | 0 | 0 | 35 | 299k| 20 | 2.500000e+01 | -- | Inf
242.41/242.55 c 233s|530000 | 191 | 767 |8734k| 273 | - | 500 |6025 |3745 | 0 | 0 | 35 | 305k| 20 | 2.500000e+01 | -- | Inf
246.91/247.04 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
246.91/247.04 c 237s|540000 | 189 | 767 |8732k| 273 | - | 500 |6025 |3716 | 0 | 0 | 35 | 311k| 20 | 2.500000e+01 | -- | Inf
251.60/251.77 c 241s|550000 | 199 | 767 |8738k| 273 | - | 500 |6027 |3590 | 0 | 0 | 35 | 317k| 20 | 2.500000e+01 | -- | Inf
256.21/256.39 c 246s|560000 | 193 | 767 |8735k| 273 | - | 500 |6029 |3703 | 0 | 0 | 35 | 323k| 20 | 2.500000e+01 | -- | Inf
260.90/261.04 c 250s|570000 | 186 | 767 |8739k| 273 | - | 500 |6042 |3762 | 0 | 0 | 35 | 329k| 20 | 2.500000e+01 | -- | Inf
265.60/265.73 c 255s|580000 | 197 | 767 |8741k| 273 | - | 500 |6042 |3725 | 0 | 0 | 35 | 335k| 20 | 2.500000e+01 | -- | Inf
270.50/270.63 c 259s|590000 | 195 | 767 |8733k| 273 | - | 500 |6026 |3690 | 0 | 0 | 35 | 341k| 20 | 2.500000e+01 | -- | Inf
275.70/275.82 c 264s|600000 | 203 | 767 |8742k| 273 | - | 500 |6032 |3591 | 0 | 0 | 35 | 347k| 20 | 2.500000e+01 | -- | Inf
280.40/280.57 c 269s|610000 | 204 | 767 |8739k| 273 | - | 500 |6034 |3593 | 0 | 0 | 35 | 353k| 20 | 2.500000e+01 | -- | Inf
284.99/285.12 c 273s|620000 | 195 | 767 |8740k| 273 | - | 500 |6036 |3665 | 0 | 0 | 35 | 358k| 20 | 2.500000e+01 | -- | Inf
289.80/289.90 c 278s|630000 | 197 | 767 |8732k| 273 | - | 500 |6027 |3696 | 0 | 0 | 35 | 364k| 20 | 2.500000e+01 | -- | Inf
294.49/294.63 c 283s|640000 | 187 | 767 |8735k| 273 | - | 500 |6026 |3713 | 0 | 0 | 35 | 370k| 20 | 2.500000e+01 | -- | Inf
299.09/299.28 c 287s|650000 | 197 | 767 |8736k| 273 | - | 500 |6026 |3664 | 0 | 0 | 35 | 376k| 20 | 2.500000e+01 | -- | Inf
303.49/303.61 c 291s|660000 | 201 | 767 |8740k| 273 | - | 500 |6029 |3639 | 0 | 0 | 35 | 382k| 20 | 2.500000e+01 | -- | Inf
307.99/308.12 c 296s|670000 | 215 | 767 |8737k| 273 | - | 500 |6026 |3706 | 0 | 0 | 35 | 387k| 20 | 2.500000e+01 | -- | Inf
312.79/312.97 c 300s|680000 | 189 | 767 |8734k| 273 | - | 500 |6025 |3721 | 0 | 0 | 35 | 393k| 20 | 2.500000e+01 | -- | Inf
317.69/317.80 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
317.69/317.80 c 305s|690000 | 199 | 767 |8737k| 273 | - | 500 |6025 |3661 | 0 | 0 | 35 | 399k| 20 | 2.500000e+01 | -- | Inf
322.48/322.66 c 309s|700000 | 188 | 767 |8732k| 273 | - | 500 |6029 |3758 | 0 | 0 | 35 | 405k| 20 | 2.500000e+01 | -- | Inf
327.08/327.23 c 314s|710000 | 190 | 767 |8729k| 273 | - | 500 |6025 |3779 | 0 | 0 | 35 | 411k| 20 | 2.500000e+01 | -- | Inf
331.57/331.78 c 318s|720000 | 195 | 767 |8738k| 273 | - | 500 |6035 |3682 | 0 | 0 | 35 | 417k| 20 | 2.500000e+01 | -- | Inf
336.17/336.39 c 323s|730000 | 196 | 767 |8735k| 273 | - | 500 |6029 |3668 | 0 | 0 | 35 | 422k| 20 | 2.500000e+01 | -- | Inf
340.67/340.81 c 327s|740000 | 198 | 767 |8735k| 273 | - | 500 |6025 |3637 | 0 | 0 | 35 | 428k| 20 | 2.500000e+01 | -- | Inf
344.67/344.84 c 331s|750000 | 197 | 767 |8733k| 273 | - | 500 |6027 |3674 | 0 | 0 | 35 | 433k| 20 | 2.500000e+01 | -- | Inf
349.17/349.38 c 335s|760000 | 202 | 767 |8741k| 273 | - | 500 |6040 |3633 | 0 | 0 | 35 | 439k| 20 | 2.500000e+01 | -- | Inf
353.57/353.78 c 339s|770000 | 195 | 767 |8745k| 273 | - | 500 |6047 |3663 | 0 | 0 | 35 | 445k| 20 | 2.500000e+01 | -- | Inf
358.07/358.21 c 344s|780000 | 201 | 767 |8740k| 273 | - | 500 |6035 |3592 | 0 | 0 | 35 | 450k| 20 | 2.500000e+01 | -- | Inf
362.47/362.69 c 348s|790000 | 193 | 767 |8742k| 273 | - | 500 |6034 |3552 | 0 | 0 | 35 | 456k| 20 | 2.500000e+01 | -- | Inf
366.77/366.94 c 352s|800000 | 191 | 767 |8738k| 273 | - | 500 |6035 |3725 | 0 | 0 | 35 | 462k| 20 | 2.500000e+01 | -- | Inf
370.87/371.06 c 356s|810000 | 198 | 767 |8738k| 273 | - | 500 |6028 |3629 | 0 | 0 | 35 | 468k| 20 | 2.500000e+01 | -- | Inf
375.26/375.43 c 360s|820000 | 200 | 767 |8736k| 273 | - | 500 |6028 |3626 | 0 | 0 | 35 | 473k| 20 | 2.500000e+01 | -- | Inf
379.56/379.78 c 364s|830000 | 202 | 767 |8745k| 273 | - | 500 |6045 |3733 | 0 | 0 | 35 | 479k| 20 | 2.500000e+01 | -- | Inf
384.06/384.20 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
384.06/384.20 c 368s|840000 | 197 | 767 |8749k| 273 | - | 500 |6045 |3578 | 0 | 0 | 35 | 485k| 20 | 2.500000e+01 | -- | Inf
388.26/388.40 c 372s|850000 | 194 | 767 |8744k| 273 | - | 500 |6041 |3530 | 0 | 0 | 35 | 491k| 20 | 2.500000e+01 | -- | Inf
392.36/392.54 c 376s|860000 | 193 | 767 |8738k| 273 | - | 500 |6035 |3722 | 0 | 0 | 35 | 496k| 20 | 2.500000e+01 | -- | Inf
396.56/396.77 c 381s|870000 | 195 | 767 |8743k| 273 | - | 500 |6038 |3666 | 0 | 0 | 35 | 502k| 20 | 2.500000e+01 | -- | Inf
400.76/400.98 c 385s|880000 | 196 | 767 |8747k| 273 | - | 500 |6040 |3595 | 0 | 0 | 35 | 507k| 20 | 2.500000e+01 | -- | Inf
405.05/405.20 c 389s|890000 | 192 | 767 |8737k| 273 | - | 500 |6032 |3716 | 0 | 0 | 35 | 513k| 20 | 2.500000e+01 | -- | Inf
409.06/409.27 c 392s|900000 | 187 | 767 |8741k| 273 | - | 500 |6036 |3722 | 0 | 0 | 35 | 519k| 20 | 2.500000e+01 | -- | Inf
413.36/413.51 c 397s|910000 | 196 | 767 |8739k| 273 | - | 500 |6036 |3701 | 0 | 0 | 35 | 524k| 20 | 2.500000e+01 | -- | Inf
417.86/418.04 c 401s|920000 | 196 | 767 |8740k| 273 | - | 500 |6031 |3646 | 0 | 0 | 35 | 530k| 20 | 2.500000e+01 | -- | Inf
422.15/422.32 c 405s|930000 | 198 | 767 |8739k| 273 | - | 500 |6035 |3674 | 0 | 0 | 35 | 535k| 20 | 2.500000e+01 | -- | Inf
426.55/426.73 c 409s|940000 | 184 | 767 |8736k| 273 | - | 500 |6025 |3766 | 0 | 0 | 35 | 541k| 20 | 2.500000e+01 | -- | Inf
430.95/431.18 c 414s|950000 | 205 | 767 |8744k| 273 | - | 500 |6025 |3370 | 0 | 0 | 35 | 547k| 20 | 2.500000e+01 | -- | Inf
435.95/436.15 c 418s|960000 | 214 | 767 |8742k| 273 | - | 500 |6025 |3435 | 0 | 0 | 35 | 553k| 20 | 2.500000e+01 | -- | Inf
440.64/440.86 c 423s|970000 | 206 | 767 |8744k| 273 | - | 500 |6025 |3429 | 0 | 0 | 35 | 559k| 20 | 2.500000e+01 | -- | Inf
445.14/445.33 c 427s|980000 | 205 | 767 |8745k| 273 | - | 500 |6025 |3372 | 0 | 0 | 35 | 564k| 20 | 2.500000e+01 | -- | Inf
449.54/449.77 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
449.54/449.77 c 431s|990000 | 206 | 767 |8746k| 273 | - | 500 |6027 |3386 | 0 | 0 | 35 | 570k| 20 | 2.500000e+01 | -- | Inf
453.44/453.69 c 435s| 1000k| 197 | 767 |8748k| 273 | - | 500 |6041 |3540 | 0 | 0 | 35 | 576k| 20 | 2.500000e+01 | -- | Inf
457.73/457.96 c 439s| 1010k| 201 | 767 |8737k| 273 | - | 500 |6025 |3715 | 0 | 0 | 35 | 581k| 20 | 2.500000e+01 | -- | Inf
462.14/462.35 c 443s| 1020k| 199 | 767 |8745k| 273 | - | 500 |6031 |3509 | 0 | 0 | 35 | 587k| 20 | 2.500000e+01 | -- | Inf
466.43/466.68 c 448s| 1030k| 205 | 767 |8749k| 273 | - | 500 |6026 |3356 | 0 | 0 | 35 | 592k| 20 | 2.500000e+01 | -- | Inf
470.73/470.90 c 452s| 1040k| 207 | 767 |8748k| 273 | - | 500 |6026 |3380 | 0 | 0 | 35 | 598k| 20 | 2.500000e+01 | -- | Inf
474.73/474.90 c 455s| 1050k| 212 | 767 |8752k| 273 | - | 500 |6038 |3376 | 0 | 0 | 35 | 603k| 20 | 2.500000e+01 | -- | Inf
478.63/478.83 c 459s| 1060k| 202 | 767 |8748k| 273 | - | 500 |6037 |3440 | 0 | 0 | 35 | 609k| 20 | 2.500000e+01 | -- | Inf
482.63/482.86 c 463s| 1070k| 201 | 767 |8744k| 273 | - | 500 |6028 |3458 | 0 | 0 | 35 | 614k| 20 | 2.500000e+01 | -- | Inf
486.93/487.11 c 467s| 1080k| 202 | 767 |8741k| 273 | - | 500 |6025 |3567 | 0 | 0 | 35 | 620k| 20 | 2.500000e+01 | -- | Inf
490.83/491.07 c 471s| 1090k| 209 | 767 |8743k| 273 | - | 500 |6028 |3477 | 0 | 0 | 35 | 626k| 20 | 2.500000e+01 | -- | Inf
494.82/495.04 c 475s| 1100k| 201 | 767 |8744k| 273 | - | 500 |6027 |3383 | 0 | 0 | 35 | 631k| 20 | 2.500000e+01 | -- | Inf
498.92/499.15 c 479s| 1110k| 200 | 767 |8746k| 273 | - | 500 |6025 |3415 | 0 | 0 | 35 | 637k| 20 | 2.500000e+01 | -- | Inf
503.02/503.21 c 483s| 1120k| 195 | 767 |8746k| 273 | - | 500 |6030 |3446 | 0 | 0 | 35 | 643k| 20 | 2.500000e+01 | -- | Inf
507.03/507.29 c 486s| 1130k| 215 | 767 |8747k| 273 | - | 500 |6026 |3248 | 0 | 0 | 35 | 648k| 20 | 2.500000e+01 | -- | Inf
511.52/511.79 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
511.52/511.79 c 491s| 1140k| 203 | 767 |8741k| 273 | - | 500 |6027 |3465 | 0 | 0 | 35 | 654k| 20 | 2.500000e+01 | -- | Inf
515.72/515.99 c 495s| 1150k| 196 | 767 |8744k| 273 | - | 500 |6030 |3499 | 0 | 0 | 35 | 660k| 20 | 2.500000e+01 | -- | Inf
519.92/520.15 c 499s| 1160k| 205 | 767 |8746k| 273 | - | 500 |6034 |3566 | 0 | 0 | 35 | 665k| 20 | 2.500000e+01 | -- | Inf
524.02/524.24 c 503s| 1170k| 210 | 767 |8748k| 273 | - | 500 |6027 |3376 | 0 | 0 | 35 | 671k| 20 | 2.500000e+01 | -- | Inf
527.92/528.14 c 506s| 1180k| 205 | 767 |8744k| 273 | - | 500 |6029 |3419 | 0 | 0 | 35 | 676k| 20 | 2.500000e+01 | -- | Inf
532.01/532.24 c 510s| 1190k| 199 | 767 |8743k| 273 | - | 500 |6027 |3464 | 0 | 0 | 35 | 682k| 20 | 2.500000e+01 | -- | Inf
536.21/536.45 c 514s| 1200k| 199 | 767 |8742k| 273 | - | 500 |6030 |3474 | 0 | 0 | 35 | 688k| 20 | 2.500000e+01 | -- | Inf
540.61/540.80 c 518s| 1210k| 197 | 767 |8747k| 273 | - | 500 |6030 |3490 | 0 | 0 | 35 | 694k| 20 | 2.500000e+01 | -- | Inf
544.81/545.03 c 523s| 1220k| 195 | 767 |8743k| 273 | - | 500 |6030 |3468 | 0 | 0 | 35 | 699k| 20 | 2.500000e+01 | -- | Inf
548.91/549.13 c 526s| 1230k| 202 | 767 |8753k| 273 | - | 500 |6036 |3380 | 0 | 0 | 35 | 705k| 20 | 2.500000e+01 | -- | Inf
553.11/553.37 c 531s| 1240k| 201 | 767 |8748k| 273 | - | 500 |6039 |3538 | 0 | 0 | 35 | 711k| 20 | 2.500000e+01 | -- | Inf
557.20/557.50 c 534s| 1250k| 199 | 767 |8747k| 273 | - | 500 |6037 |3515 | 0 | 0 | 35 | 716k| 20 | 2.500000e+01 | -- | Inf
561.41/561.61 c 538s| 1260k| 202 | 767 |8752k| 273 | - | 500 |6038 |3463 | 0 | 0 | 35 | 722k| 20 | 2.500000e+01 | -- | Inf
565.40/565.68 c 542s| 1270k| 192 | 767 |8763k| 273 | - | 500 |6061 |3433 | 0 | 0 | 35 | 728k| 20 | 2.500000e+01 | -- | Inf
569.80/570.05 c 546s| 1280k| 203 | 767 |8747k| 273 | - | 500 |6037 |3458 | 0 | 0 | 35 | 734k| 20 | 2.500000e+01 | -- | Inf
573.90/574.13 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
573.90/574.13 c 550s| 1290k| 209 | 767 |8754k| 273 | - | 500 |6044 |3291 | 0 | 0 | 35 | 739k| 20 | 2.500000e+01 | -- | Inf
577.90/578.14 c 554s| 1300k| 204 | 767 |8750k| 273 | - | 500 |6038 |3433 | 0 | 0 | 35 | 744k| 20 | 2.500000e+01 | -- | Inf
581.99/582.21 c 558s| 1310k| 203 | 767 |8748k| 273 | - | 500 |6037 |3527 | 0 | 0 | 35 | 750k| 20 | 2.500000e+01 | -- | Inf
586.29/586.55 c 562s| 1320k| 190 | 767 |8750k| 273 | - | 500 |6037 |3488 | 0 | 0 | 35 | 756k| 20 | 2.500000e+01 | -- | Inf
590.40/590.61 c 566s| 1330k| 201 | 767 |8756k| 273 | - | 500 |6052 |3449 | 0 | 0 | 35 | 761k| 20 | 2.500000e+01 | -- | Inf
594.50/594.74 c 570s| 1340k| 211 | 767 |8750k| 273 | - | 500 |6032 |3323 | 0 | 0 | 35 | 767k| 20 | 2.500000e+01 | -- | Inf
598.60/598.88 c 574s| 1350k| 206 | 767 |8752k| 273 | - | 500 |6040 |3363 | 0 | 0 | 35 | 772k| 20 | 2.500000e+01 | -- | Inf
602.89/603.17 c 578s| 1360k| 208 | 767 |8747k| 273 | - | 500 |6028 |3414 | 0 | 0 | 35 | 778k| 20 | 2.500000e+01 | -- | Inf
607.19/607.45 c 582s| 1370k| 197 | 767 |8743k| 273 | - | 500 |6026 |3491 | 0 | 0 | 35 | 784k| 20 | 2.500000e+01 | -- | Inf
611.40/611.69 c 586s| 1380k| 205 | 767 |8744k| 273 | - | 500 |6025 |3463 | 0 | 0 | 35 | 790k| 20 | 2.500000e+01 | -- | Inf
615.88/616.18 c 591s| 1390k| 207 | 767 |8744k| 273 | - | 500 |6025 |3442 | 0 | 0 | 35 | 795k| 20 | 2.500000e+01 | -- | Inf
619.89/620.15 c 595s| 1400k| 208 | 767 |8748k| 273 | - | 500 |6026 |3335 | 0 | 0 | 35 | 801k| 20 | 2.500000e+01 | -- | Inf
623.99/624.24 c 598s| 1410k| 201 | 767 |8746k| 273 | - | 500 |6027 |3393 | 0 | 0 | 35 | 807k| 20 | 2.500000e+01 | -- | Inf
628.28/628.57 c 603s| 1420k| 200 | 767 |8740k| 273 | - | 500 |6025 |3612 | 0 | 0 | 35 | 812k| 20 | 2.500000e+01 | -- | Inf
632.28/632.58 c 606s| 1430k| 205 | 767 |8747k| 273 | - | 500 |6025 |3378 | 0 | 0 | 35 | 818k| 20 | 2.500000e+01 | -- | Inf
636.28/636.56 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
636.28/636.56 c 610s| 1440k| 200 | 767 |8752k| 273 | - | 500 |6041 |3417 | 0 | 0 | 35 | 824k| 20 | 2.500000e+01 | -- | Inf
640.78/641.05 c 614s| 1450k| 201 | 767 |8746k| 273 | - | 500 |6028 |3413 | 0 | 0 | 35 | 830k| 20 | 2.500000e+01 | -- | Inf
645.18/645.41 c 619s| 1460k| 203 | 767 |8750k| 273 | - | 500 |6034 |3424 | 0 | 0 | 35 | 836k| 20 | 2.500000e+01 | -- | Inf
649.48/649.75 c 623s| 1470k| 202 | 767 |8747k| 273 | - | 500 |6031 |3431 | 0 | 0 | 35 | 841k| 20 | 2.500000e+01 | -- | Inf
653.47/653.79 c 627s| 1480k| 206 | 767 |8753k| 273 | - | 500 |6041 |3432 | 0 | 0 | 35 | 847k| 20 | 2.500000e+01 | -- | Inf
657.68/657.93 c 631s| 1490k| 194 | 767 |8743k| 273 | - | 500 |6029 |3497 | 0 | 0 | 35 | 853k| 20 | 2.500000e+01 | -- | Inf
662.07/662.30 c 635s| 1500k| 204 | 767 |8758k| 273 | - | 500 |6050 |3368 | 0 | 0 | 35 | 858k| 20 | 2.500000e+01 | -- | Inf
666.47/666.75 c 639s| 1510k| 199 | 767 |8745k| 273 | - | 500 |6033 |3553 | 0 | 0 | 35 | 864k| 20 | 2.500000e+01 | -- | Inf
670.88/671.16 c 643s| 1520k| 192 | 767 |8741k| 273 | - | 500 |6035 |3681 | 0 | 0 | 35 | 870k| 20 | 2.500000e+01 | -- | Inf
675.37/675.63 c 648s| 1530k| 197 | 767 |8746k| 273 | - | 500 |6027 |3490 | 0 | 0 | 35 | 876k| 20 | 2.500000e+01 | -- | Inf
679.67/679.97 c 652s| 1540k| 201 | 767 |8751k| 273 | - | 500 |6038 |3459 | 0 | 0 | 35 | 882k| 20 | 2.500000e+01 | -- | Inf
683.97/684.26 c 656s| 1550k| 201 | 767 |8754k| 273 | - | 500 |6041 |3409 | 0 | 0 | 35 | 887k| 20 | 2.500000e+01 | -- | Inf
688.27/688.53 c 660s| 1560k| 199 | 767 |8749k| 273 | - | 500 |6040 |3463 | 0 | 0 | 35 | 893k| 20 | 2.500000e+01 | -- | Inf
692.56/692.89 c 664s| 1570k| 203 | 767 |8751k| 273 | - | 500 |6035 |3376 | 0 | 0 | 35 | 899k| 20 | 2.500000e+01 | -- | Inf
696.86/697.14 c 668s| 1580k| 200 | 767 |8746k| 273 | - | 500 |6037 |3543 | 0 | 0 | 35 | 904k| 20 | 2.500000e+01 | -- | Inf
701.06/701.38 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
701.06/701.38 c 672s| 1590k| 198 | 767 |8764k| 273 | - | 500 |6065 |3441 | 0 | 0 | 35 | 910k| 20 | 2.500000e+01 | -- | Inf
705.45/705.71 c 676s| 1600k| 201 | 767 |8757k| 273 | - | 500 |6044 |3410 | 0 | 0 | 35 | 916k| 20 | 2.500000e+01 | -- | Inf
709.76/710.05 c 680s| 1610k| 201 | 767 |8755k| 273 | - | 500 |6048 |3508 | 0 | 0 | 35 | 922k| 20 | 2.500000e+01 | -- | Inf
713.85/714.16 c 684s| 1620k| 197 | 767 |8751k| 273 | - | 500 |6039 |3435 | 0 | 0 | 35 | 927k| 20 | 2.500000e+01 | -- | Inf
718.25/718.59 c 689s| 1630k| 198 | 767 |8759k| 273 | - | 500 |6057 |3478 | 0 | 0 | 35 | 933k| 20 | 2.500000e+01 | -- | Inf
722.46/722.78 c 693s| 1640k| 207 | 767 |8742k| 273 | - | 500 |6025 |3497 | 0 | 0 | 35 | 939k| 20 | 2.500000e+01 | -- | Inf
726.95/727.28 c 697s| 1650k| 204 | 767 |8751k| 273 | - | 500 |6041 |3462 | 0 | 0 | 35 | 945k| 20 | 2.500000e+01 | -- | Inf
731.45/731.73 c 701s| 1660k| 201 | 767 |8749k| 273 | - | 500 |6038 |3519 | 0 | 0 | 35 | 951k| 20 | 2.500000e+01 | -- | Inf
735.55/735.90 c 705s| 1670k| 201 | 767 |8752k| 273 | - | 500 |6046 |3487 | 0 | 0 | 35 | 957k| 20 | 2.500000e+01 | -- | Inf
739.75/740.06 c 709s| 1680k| 200 | 767 |8751k| 273 | - | 500 |6035 |3462 | 0 | 0 | 35 | 962k| 20 | 2.500000e+01 | -- | Inf
743.95/744.25 c 713s| 1690k| 200 | 767 |8761k| 273 | - | 500 |6055 |3376 | 0 | 0 | 35 | 968k| 20 | 2.500000e+01 | -- | Inf
748.05/748.36 c 717s| 1700k| 197 | 767 |8756k| 273 | - | 500 |6052 |3435 | 0 | 0 | 35 | 974k| 20 | 2.500000e+01 | -- | Inf
752.44/752.72 c 721s| 1710k| 196 | 767 |8747k| 273 | - | 500 |6029 |3481 | 0 | 0 | 35 | 980k| 20 | 2.500000e+01 | -- | Inf
756.55/756.89 c 725s| 1720k| 202 | 767 |8756k| 273 | - | 500 |6047 |3397 | 0 | 0 | 35 | 985k| 20 | 2.500000e+01 | -- | Inf
760.75/761.06 c 729s| 1730k| 198 | 767 |8750k| 273 | - | 500 |6039 |3493 | 0 | 0 | 35 | 991k| 20 | 2.500000e+01 | -- | Inf
764.94/765.26 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
764.94/765.26 c 733s| 1740k| 195 | 767 |8756k| 273 | - | 500 |6038 |3397 | 0 | 0 | 35 | 996k| 20 | 2.500000e+01 | -- | Inf
768.94/769.29 c 737s| 1750k| 215 | 767 |8750k| 273 | - | 500 |6026 |3396 | 0 | 0 | 35 |1002k| 20 | 2.500000e+01 | -- | Inf
773.14/773.44 c 741s| 1760k| 198 | 767 |8762k| 273 | - | 500 |6057 |3469 | 0 | 0 | 35 |1008k| 20 | 2.500000e+01 | -- | Inf
777.23/777.56 c 745s| 1770k| 202 | 767 |8761k| 273 | - | 500 |6053 |3444 | 0 | 0 | 35 |1013k| 20 | 2.500000e+01 | -- | Inf
781.64/781.99 c 749s| 1780k| 200 | 767 |8746k| 273 | - | 500 |6026 |3490 | 0 | 0 | 35 |1019k| 20 | 2.500000e+01 | -- | Inf
786.03/786.35 c 754s| 1790k| 190 | 767 |8744k| 273 | - | 500 |6028 |3498 | 0 | 0 | 35 |1025k| 20 | 2.500000e+01 | -- | Inf
790.23/790.57 c 758s| 1800k| 198 | 767 |8752k| 273 | - | 500 |6032 |3398 | 0 | 0 | 35 |1031k| 20 | 2.500000e+01 | -- | Inf
794.73/795.01 c 762s| 1810k| 200 | 767 |8755k| 273 | - | 500 |6041 |3382 | 0 | 0 | 35 |1037k| 20 | 2.500000e+01 | -- | Inf
798.93/799.21 c 766s| 1820k| 197 | 767 |8755k| 273 | - | 500 |6041 |3403 | 0 | 0 | 35 |1042k| 20 | 2.500000e+01 | -- | Inf
803.23/803.53 c 770s| 1830k| 199 | 767 |8760k| 273 | - | 500 |6049 |3454 | 0 | 0 | 35 |1048k| 20 | 2.500000e+01 | -- | Inf
807.33/807.64 c 774s| 1840k| 196 | 767 |8761k| 273 | - | 500 |6059 |3542 | 0 | 0 | 35 |1054k| 20 | 2.500000e+01 | -- | Inf
811.53/811.85 c 778s| 1850k| 202 | 767 |8747k| 273 | - | 500 |6028 |3531 | 0 | 0 | 35 |1060k| 20 | 2.500000e+01 | -- | Inf
816.03/816.32 c 782s| 1860k| 199 | 767 |8753k| 273 | - | 500 |6044 |3596 | 0 | 0 | 35 |1066k| 20 | 2.500000e+01 | -- | Inf
820.33/820.68 c 787s| 1870k| 199 | 767 |8747k| 273 | - | 500 |6025 |3459 | 0 | 0 | 35 |1072k| 20 | 2.500000e+01 | -- | Inf
824.62/824.96 c 791s| 1880k| 196 | 767 |8756k| 273 | - | 500 |6038 |3451 | 0 | 0 | 35 |1077k| 20 | 2.500000e+01 | -- | Inf
828.92/829.22 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
828.92/829.22 c 795s| 1890k| 201 | 767 |8756k| 273 | - | 500 |6042 |3386 | 0 | 0 | 35 |1083k| 20 | 2.500000e+01 | -- | Inf
833.22/833.58 c 799s| 1900k| 192 | 767 |8750k| 273 | - | 500 |6041 |3518 | 0 | 0 | 35 |1089k| 20 | 2.500000e+01 | -- | Inf
837.62/837.92 c 803s| 1910k| 193 | 767 |8762k| 273 | - | 500 |6057 |3509 | 0 | 0 | 35 |1095k| 20 | 2.500000e+01 | -- | Inf
841.72/842.04 c 807s| 1920k| 193 | 767 |8750k| 273 | - | 500 |6036 |3454 | 0 | 0 | 35 |1101k| 20 | 2.500000e+01 | -- | Inf
845.81/846.19 c 811s| 1930k| 204 | 767 |8750k| 273 | - | 500 |6026 |3487 | 0 | 0 | 35 |1106k| 20 | 2.500000e+01 | -- | Inf
849.72/850.04 c 815s| 1940k| 200 | 767 |8746k| 273 | - | 500 |6026 |3522 | 0 | 0 | 35 |1112k| 20 | 2.500000e+01 | -- | Inf
853.72/854.05 c 819s| 1950k| 202 | 767 |8750k| 273 | - | 500 |6029 |3461 | 0 | 0 | 35 |1118k| 20 | 2.500000e+01 | -- | Inf
858.00/858.31 c 823s| 1960k| 204 | 767 |8754k| 273 | - | 500 |6030 |3404 | 0 | 0 | 35 |1123k| 20 | 2.500000e+01 | -- | Inf
862.41/862.76 c 827s| 1970k| 200 | 767 |8752k| 273 | - | 500 |6035 |3503 | 0 | 0 | 35 |1129k| 20 | 2.500000e+01 | -- | Inf
866.61/867.00 c 831s| 1980k| 196 | 767 |8753k| 273 | - | 500 |6030 |3502 | 0 | 0 | 35 |1135k| 20 | 2.500000e+01 | -- | Inf
870.81/871.20 c 835s| 1990k| 193 | 767 |8747k| 273 | - | 500 |6032 |3617 | 0 | 0 | 35 |1141k| 20 | 2.500000e+01 | -- | Inf
874.90/875.20 c 839s| 2000k| 193 | 767 |8761k| 273 | - | 500 |6046 |3449 | 0 | 0 | 35 |1146k| 20 | 2.500000e+01 | -- | Inf
879.20/879.53 c 843s| 2010k| 196 | 767 |8763k| 273 | - | 500 |6054 |3512 | 0 | 0 | 35 |1152k| 20 | 2.500000e+01 | -- | Inf
883.40/883.77 c 847s| 2020k| 199 | 767 |8752k| 273 | - | 500 |6036 |3500 | 0 | 0 | 35 |1158k| 20 | 2.500000e+01 | -- | Inf
887.40/887.76 c 851s| 2030k| 200 | 767 |8752k| 273 | - | 500 |6035 |3478 | 0 | 0 | 35 |1163k| 20 | 2.500000e+01 | -- | Inf
891.80/892.15 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
891.80/892.15 c 855s| 2040k| 197 | 767 |8750k| 273 | - | 500 |6028 |3485 | 0 | 0 | 35 |1169k| 20 | 2.500000e+01 | -- | Inf
896.20/896.56 c 859s| 2050k| 196 | 767 |8750k| 273 | - | 500 |6035 |3477 | 0 | 0 | 35 |1175k| 20 | 2.500000e+01 | -- | Inf
900.40/900.73 c 863s| 2060k| 203 | 767 |8760k| 273 | - | 500 |6053 |3460 | 0 | 0 | 35 |1181k| 20 | 2.500000e+01 | -- | Inf
904.79/905.14 c 867s| 2070k| 200 | 767 |8749k| 273 | - | 500 |6032 |3384 | 0 | 0 | 35 |1186k| 20 | 2.500000e+01 | -- | Inf
909.09/909.48 c 872s| 2080k| 191 | 767 |8749k| 273 | - | 500 |6032 |3553 | 0 | 0 | 35 |1192k| 20 | 2.500000e+01 | -- | Inf
913.49/913.85 c 876s| 2090k| 200 | 767 |8755k| 273 | - | 500 |6037 |3489 | 0 | 0 | 35 |1198k| 20 | 2.500000e+01 | -- | Inf
917.79/918.16 c 880s| 2100k| 202 | 767 |8750k| 273 | - | 500 |6027 |3458 | 0 | 0 | 35 |1204k| 20 | 2.500000e+01 | -- | Inf
922.19/922.59 c 884s| 2110k| 198 | 767 |8745k| 273 | - | 500 |6026 |3493 | 0 | 0 | 35 |1210k| 20 | 2.500000e+01 | -- | Inf
926.59/926.96 c 888s| 2120k| 202 | 767 |8748k| 273 | - | 500 |6030 |3531 | 0 | 0 | 35 |1215k| 20 | 2.500000e+01 | -- | Inf
930.78/931.13 c 892s| 2130k| 199 | 767 |8755k| 273 | - | 500 |6042 |3538 | 0 | 0 | 35 |1221k| 20 | 2.500000e+01 | -- | Inf
934.89/935.26 c 896s| 2140k| 198 | 767 |8751k| 273 | - | 500 |6034 |3558 | 0 | 0 | 35 |1227k| 20 | 2.500000e+01 | -- | Inf
939.19/939.53 c 900s| 2150k| 201 | 767 |8747k| 273 | - | 500 |6026 |3570 | 0 | 0 | 35 |1233k| 20 | 2.500000e+01 | -- | Inf
943.48/943.86 c 905s| 2160k| 195 | 767 |8744k| 273 | - | 500 |6025 |3673 | 0 | 0 | 35 |1238k| 20 | 2.500000e+01 | -- | Inf
947.78/948.11 c 909s| 2170k| 199 | 767 |8760k| 273 | - | 500 |6051 |3507 | 0 | 0 | 35 |1244k| 20 | 2.500000e+01 | -- | Inf
951.88/952.22 c 913s| 2180k| 195 | 767 |8754k| 273 | - | 500 |6035 |3489 | 0 | 0 | 35 |1250k| 20 | 2.500000e+01 | -- | Inf
956.28/956.69 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
956.28/956.69 c 917s| 2190k| 198 | 767 |8758k| 273 | - | 500 |6042 |3429 | 0 | 0 | 35 |1256k| 20 | 2.500000e+01 | -- | Inf
960.67/961.07 c 921s| 2200k| 193 | 767 |8753k| 273 | - | 500 |6035 |3497 | 0 | 0 | 35 |1261k| 20 | 2.500000e+01 | -- | Inf
964.88/965.22 c 925s| 2210k| 203 | 767 |8750k| 273 | - | 500 |6031 |3527 | 0 | 0 | 35 |1267k| 20 | 2.500000e+01 | -- | Inf
968.97/969.38 c 929s| 2220k| 190 | 767 |8751k| 273 | - | 500 |6028 |3502 | 0 | 0 | 35 |1273k| 20 | 2.500000e+01 | -- | Inf
973.47/973.85 c 933s| 2230k| 202 | 767 |8752k| 273 | - | 500 |6028 |3413 | 0 | 0 | 35 |1279k| 20 | 2.500000e+01 | -- | Inf
977.77/978.14 c 937s| 2240k| 197 | 767 |8749k| 273 | - | 500 |6026 |3501 | 0 | 0 | 35 |1285k| 20 | 2.500000e+01 | -- | Inf
982.27/982.65 c 942s| 2250k| 201 | 767 |8757k| 273 | - | 500 |6045 |3453 | 0 | 0 | 35 |1290k| 20 | 2.500000e+01 | -- | Inf
986.86/987.26 c 946s| 2260k| 199 | 767 |8762k| 273 | - | 500 |6049 |3427 | 0 | 0 | 35 |1296k| 20 | 2.500000e+01 | -- | Inf
991.46/991.86 c 951s| 2270k| 197 | 767 |8751k| 273 | - | 500 |6035 |3487 | 0 | 0 | 35 |1302k| 20 | 2.500000e+01 | -- | Inf
995.87/996.21 c 955s| 2280k| 191 | 767 |8754k| 273 | - | 500 |6042 |3643 | 0 | 0 | 35 |1308k| 20 | 2.500000e+01 | -- | Inf
1000.06/1000.48 c 959s| 2290k| 199 | 767 |8759k| 273 | - | 500 |6043 |3440 | 0 | 0 | 35 |1313k| 20 | 2.500000e+01 | -- | Inf
1004.27/1004.62 c 963s| 2300k| 205 | 767 |8759k| 273 | - | 500 |6043 |3472 | 0 | 0 | 35 |1319k| 20 | 2.500000e+01 | -- | Inf
1008.56/1008.96 c 967s| 2310k| 200 | 767 |8751k| 273 | - | 500 |6029 |3431 | 0 | 0 | 35 |1325k| 20 | 2.500000e+01 | -- | Inf
1013.26/1013.65 c 971s| 2320k| 188 | 767 |8745k| 273 | - | 500 |6029 |3538 | 0 | 0 | 35 |1331k| 20 | 2.500000e+01 | -- | Inf
1017.85/1018.20 c 976s| 2330k| 193 | 767 |8745k| 273 | - | 500 |6026 |3498 | 0 | 0 | 35 |1337k| 20 | 2.500000e+01 | -- | Inf
1022.25/1022.60 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1022.25/1022.60 c 980s| 2340k| 192 | 767 |8751k| 273 | - | 500 |6031 |3542 | 0 | 0 | 35 |1342k| 20 | 2.500000e+01 | -- | Inf
1026.76/1027.15 c 984s| 2350k| 186 | 767 |8747k| 273 | - | 500 |6026 |3554 | 0 | 0 | 35 |1348k| 20 | 2.500000e+01 | -- | Inf
1030.95/1031.38 c 988s| 2360k| 195 | 767 |8757k| 273 | - | 500 |6045 |3554 | 0 | 0 | 35 |1354k| 20 | 2.500000e+01 | -- | Inf
1035.16/1035.56 c 992s| 2370k| 190 | 767 |8749k| 273 | - | 500 |6029 |3571 | 0 | 0 | 35 |1360k| 20 | 2.500000e+01 | -- | Inf
1039.45/1039.83 c 997s| 2380k| 195 | 767 |8746k| 273 | - | 500 |6028 |3577 | 0 | 0 | 35 |1365k| 20 | 2.500000e+01 | -- | Inf
1043.65/1044.05 c 1001s| 2390k| 187 | 767 |8754k| 273 | - | 500 |6038 |3600 | 0 | 0 | 35 |1371k| 20 | 2.500000e+01 | -- | Inf
1048.05/1048.41 c 1005s| 2400k| 211 | 767 |8756k| 273 | - | 500 |6026 |3350 | 0 | 0 | 35 |1377k| 20 | 2.500000e+01 | -- | Inf
1052.15/1052.58 c 1009s| 2410k| 204 | 767 |8761k| 273 | - | 500 |6043 |3422 | 0 | 0 | 35 |1382k| 20 | 2.500000e+01 | -- | Inf
1056.35/1056.78 c 1013s| 2420k| 206 | 767 |8768k| 273 | - | 500 |6053 |3385 | 0 | 0 | 35 |1388k| 20 | 2.500000e+01 | -- | Inf
1060.74/1061.10 c 1017s| 2430k| 200 | 767 |8764k| 273 | - | 500 |6053 |3475 | 0 | 0 | 35 |1394k| 20 | 2.500000e+01 | -- | Inf
1065.04/1065.41 c 1021s| 2440k| 194 | 767 |8760k| 273 | - | 500 |6046 |3479 | 0 | 0 | 35 |1400k| 20 | 2.500000e+01 | -- | Inf
1069.14/1069.57 c 1025s| 2450k| 205 | 767 |8756k| 273 | - | 500 |6026 |3406 | 0 | 0 | 35 |1405k| 20 | 2.500000e+01 | -- | Inf
1073.34/1073.76 c 1029s| 2460k| 198 | 767 |8754k| 273 | - | 500 |6032 |3542 | 0 | 0 | 35 |1411k| 20 | 2.500000e+01 | -- | Inf
1077.65/1078.08 c 1033s| 2470k| 198 | 767 |8761k| 273 | - | 500 |6045 |3409 | 0 | 0 | 35 |1417k| 20 | 2.500000e+01 | -- | Inf
1081.74/1082.10 c 1037s| 2480k| 200 | 767 |8768k| 273 | - | 500 |6060 |3432 | 0 | 0 | 35 |1423k| 20 | 2.500000e+01 | -- | Inf
1085.74/1086.12 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1085.74/1086.12 c 1041s| 2490k| 194 | 767 |8774k| 273 | - | 500 |6071 |3477 | 0 | 0 | 35 |1428k| 20 | 2.500000e+01 | -- | Inf
1089.84/1090.21 c 1045s| 2500k| 206 | 767 |8756k| 273 | - | 500 |6029 |3437 | 0 | 0 | 35 |1434k| 20 | 2.500000e+01 | -- | Inf
1093.93/1094.30 c 1049s| 2510k| 198 | 767 |8751k| 273 | - | 500 |6025 |3497 | 0 | 0 | 35 |1439k| 20 | 2.500000e+01 | -- | Inf
1097.93/1098.34 c 1053s| 2520k| 194 | 767 |8751k| 273 | - | 500 |6028 |3466 | 0 | 0 | 35 |1445k| 20 | 2.500000e+01 | -- | Inf
1101.94/1102.39 c 1056s| 2530k| 192 | 767 |8752k| 273 | - | 500 |6028 |3488 | 0 | 0 | 35 |1450k| 20 | 2.500000e+01 | -- | Inf
1106.03/1106.49 c 1060s| 2540k| 193 | 767 |8749k| 273 | - | 500 |6026 |3445 | 0 | 0 | 35 |1456k| 20 | 2.500000e+01 | -- | Inf
1110.03/1110.42 c 1064s| 2550k| 192 | 767 |8757k| 273 | - | 500 |6040 |3526 | 0 | 0 | 35 |1461k| 20 | 2.500000e+01 | -- | Inf
1114.43/1114.86 c 1068s| 2560k| 191 | 767 |8753k| 273 | - | 500 |6030 |3544 | 0 | 0 | 35 |1467k| 20 | 2.500000e+01 | -- | Inf
1118.83/1119.30 c 1073s| 2570k| 201 | 767 |8757k| 273 | - | 500 |6038 |3484 | 0 | 0 | 35 |1473k| 20 | 2.500000e+01 | -- | Inf
1123.33/1123.77 c 1077s| 2580k| 190 | 767 |8754k| 273 | - | 500 |6035 |3544 | 0 | 0 | 35 |1479k| 20 | 2.500000e+01 | -- | Inf
1127.63/1128.01 c 1081s| 2590k| 203 | 767 |8755k| 273 | - | 500 |6032 |3437 | 0 | 0 | 35 |1484k| 20 | 2.500000e+01 | -- | Inf
1131.92/1132.31 c 1085s| 2600k| 192 | 767 |8753k| 273 | - | 500 |6033 |3573 | 0 | 0 | 35 |1490k| 20 | 2.500000e+01 | -- | Inf
1136.23/1136.64 c 1089s| 2610k| 197 | 767 |8758k| 273 | - | 500 |6035 |3484 | 0 | 0 | 35 |1496k| 20 | 2.500000e+01 | -- | Inf
1140.52/1140.90 c 1093s| 2620k| 195 | 767 |8754k| 273 | - | 500 |6027 |3405 | 0 | 0 | 35 |1502k| 20 | 2.500000e+01 | -- | Inf
1144.52/1144.97 c 1097s| 2630k| 189 | 767 |8757k| 273 | - | 500 |6041 |3662 | 0 | 0 | 35 |1507k| 20 | 2.500000e+01 | -- | Inf
1148.82/1149.27 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1148.82/1149.27 c 1101s| 2640k| 197 | 767 |8759k| 273 | - | 500 |6044 |3474 | 0 | 0 | 35 |1513k| 20 | 2.500000e+01 | -- | Inf
1153.12/1153.58 c 1106s| 2650k| 198 | 767 |8775k| 273 | - | 500 |6071 |3471 | 0 | 0 | 35 |1519k| 20 | 2.500000e+01 | -- | Inf
1157.32/1157.76 c 1110s| 2660k| 196 | 767 |8753k| 273 | - | 500 |6026 |3485 | 0 | 0 | 35 |1525k| 20 | 2.500000e+01 | -- | Inf
1161.32/1161.77 c 1113s| 2670k| 203 | 767 |8759k| 273 | - | 500 |6035 |3428 | 0 | 0 | 35 |1530k| 20 | 2.500000e+01 | -- | Inf
1165.52/1165.98 c 1117s| 2680k| 185 | 767 |8755k| 273 | - | 500 |6038 |3727 | 0 | 0 | 35 |1536k| 20 | 2.500000e+01 | -- | Inf
1169.71/1170.10 c 1121s| 2690k| 192 | 767 |8758k| 273 | - | 500 |6037 |3528 | 0 | 0 | 35 |1542k| 20 | 2.500000e+01 | -- | Inf
1173.81/1174.24 c 1125s| 2700k| 199 | 767 |8764k| 273 | - | 500 |6043 |3394 | 0 | 0 | 35 |1548k| 20 | 2.500000e+01 | -- | Inf
1178.20/1178.69 c 1130s| 2710k| 188 | 767 |8755k| 273 | - | 500 |6029 |3487 | 0 | 0 | 35 |1554k| 20 | 2.500000e+01 | -- | Inf
1182.61/1183.04 c 1134s| 2720k| 207 | 767 |8757k| 273 | - | 500 |6031 |3478 | 0 | 0 | 35 |1560k| 20 | 2.500000e+01 | -- | Inf
1187.00/1187.47 c 1138s| 2730k| 203 | 767 |8762k| 273 | - | 500 |6034 |3386 | 0 | 0 | 35 |1566k| 20 | 2.500000e+01 | -- | Inf
1191.20/1191.67 c 1142s| 2740k| 199 | 767 |8755k| 273 | - | 500 |6031 |3469 | 0 | 0 | 35 |1572k| 20 | 2.500000e+01 | -- | Inf
1195.50/1195.97 c 1146s| 2750k| 196 | 767 |8768k| 273 | - | 500 |6055 |3458 | 0 | 0 | 35 |1578k| 20 | 2.500000e+01 | -- | Inf
1200.00/1200.41 c 1150s| 2760k| 210 | 767 |8761k| 273 | - | 500 |6030 |3338 | 0 | 0 | 35 |1584k| 20 | 2.500000e+01 | -- | Inf
1204.40/1204.80 c 1155s| 2770k| 206 | 767 |8769k| 273 | - | 500 |6049 |3350 | 0 | 0 | 35 |1590k| 20 | 2.500000e+01 | -- | Inf
1208.51/1208.97 c 1159s| 2780k| 215 | 767 |8764k| 273 | - | 500 |6038 |3345 | 0 | 0 | 35 |1596k| 20 | 2.500000e+01 | -- | Inf
1212.90/1213.39 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1212.90/1213.39 c 1163s| 2790k| 203 | 767 |8774k| 273 | - | 500 |6058 |3395 | 0 | 0 | 35 |1602k| 20 | 2.500000e+01 | -- | Inf
1217.30/1217.76 c 1167s| 2800k| 209 | 767 |8761k| 273 | - | 500 |6036 |3445 | 0 | 0 | 35 |1607k| 20 | 2.500000e+01 | -- | Inf
1221.50/1221.94 c 1171s| 2810k| 210 | 767 |8774k| 273 | - | 500 |6057 |3307 | 0 | 0 | 35 |1613k| 20 | 2.500000e+01 | -- | Inf
1225.60/1226.06 c 1175s| 2820k| 210 | 767 |8770k| 273 | - | 500 |6050 |3329 | 0 | 0 | 35 |1619k| 20 | 2.500000e+01 | -- | Inf
1229.90/1230.35 c 1179s| 2830k| 203 | 767 |8764k| 273 | - | 500 |6037 |3383 | 0 | 0 | 35 |1625k| 20 | 2.500000e+01 | -- | Inf
1234.19/1234.66 c 1183s| 2840k| 192 | 767 |8762k| 273 | - | 500 |6048 |3446 | 0 | 0 | 35 |1630k| 20 | 2.500000e+01 | -- | Inf
1238.49/1238.98 c 1187s| 2850k| 204 | 767 |8774k| 273 | - | 500 |6059 |3344 | 0 | 0 | 35 |1636k| 20 | 2.500000e+01 | -- | Inf
1242.59/1243.03 c 1191s| 2860k| 213 | 767 |8769k| 273 | - | 500 |6048 |3365 | 0 | 0 | 35 |1642k| 20 | 2.500000e+01 | -- | Inf
1246.89/1247.36 c 1195s| 2870k| 218 | 767 |8765k| 273 | - | 500 |6038 |3295 | 0 | 0 | 35 |1648k| 20 | 2.500000e+01 | -- | Inf
1251.29/1251.77 c 1200s| 2880k| 205 | 767 |8767k| 273 | - | 500 |6042 |3302 | 0 | 0 | 35 |1654k| 20 | 2.500000e+01 | -- | Inf
1255.69/1256.11 c 1204s| 2890k| 212 | 767 |8771k| 273 | - | 500 |6045 |3301 | 0 | 0 | 35 |1660k| 20 | 2.500000e+01 | -- | Inf
1259.88/1260.35 c 1208s| 2900k| 206 | 767 |8762k| 273 | - | 500 |6039 |3354 | 0 | 0 | 35 |1665k| 20 | 2.500000e+01 | -- | Inf
1264.18/1264.61 c 1212s| 2910k| 210 | 767 |8771k| 273 | - | 500 |6053 |3382 | 0 | 0 | 35 |1671k| 20 | 2.500000e+01 | -- | Inf
1268.08/1268.59 c 1216s| 2920k| 203 | 767 |8767k| 273 | - | 500 |6051 |3405 | 0 | 0 | 35 |1677k| 20 | 2.500000e+01 | -- | Inf
1272.28/1272.78 c 1220s| 2930k| 206 | 767 |8766k| 273 | - | 500 |6046 |3340 | 0 | 0 | 35 |1683k| 20 | 2.500000e+01 | -- | Inf
1276.58/1277.09 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1276.58/1277.09 c 1224s| 2940k| 209 | 767 |8764k| 273 | - | 500 |6040 |3372 | 0 | 0 | 35 |1689k| 20 | 2.500000e+01 | -- | Inf
1280.88/1281.39 c 1228s| 2950k| 202 | 767 |8776k| 273 | - | 500 |6068 |3380 | 0 | 0 | 35 |1694k| 20 | 2.500000e+01 | -- | Inf
1285.07/1285.54 c 1232s| 2960k| 199 | 767 |8767k| 273 | - | 500 |6053 |3459 | 0 | 0 | 35 |1700k| 20 | 2.500000e+01 | -- | Inf
1289.17/1289.68 c 1236s| 2970k| 200 | 767 |8771k| 273 | - | 500 |6062 |3580 | 0 | 0 | 35 |1706k| 20 | 2.500000e+01 | -- | Inf
1293.37/1293.87 c 1240s| 2980k| 195 | 767 |8776k| 273 | - | 500 |6072 |3481 | 0 | 0 | 35 |1712k| 20 | 2.500000e+01 | -- | Inf
1297.57/1298.09 c 1244s| 2990k| 201 | 767 |8763k| 273 | - | 500 |6039 |3470 | 0 | 0 | 35 |1718k| 20 | 2.500000e+01 | -- | Inf
1301.97/1302.41 c 1248s| 3000k| 192 | 767 |8775k| 273 | - | 500 |6068 |3450 | 0 | 0 | 35 |1723k| 20 | 2.500000e+01 | -- | Inf
1306.07/1306.56 c 1252s| 3010k| 200 | 767 |8762k| 273 | - | 500 |6028 |3357 | 0 | 0 | 35 |1729k| 20 | 2.500000e+01 | -- | Inf
1310.36/1310.89 c 1256s| 3020k| 197 | 767 |8761k| 273 | - | 500 |6040 |3557 | 0 | 0 | 35 |1735k| 20 | 2.500000e+01 | -- | Inf
1314.66/1315.14 c 1260s| 3030k| 198 | 767 |8754k| 273 | - | 500 |6030 |3585 | 0 | 0 | 35 |1740k| 20 | 2.500000e+01 | -- | Inf
1318.96/1319.47 c 1264s| 3040k| 199 | 767 |8771k| 273 | - | 500 |6058 |3441 | 0 | 0 | 35 |1746k| 20 | 2.500000e+01 | -- | Inf
1323.27/1323.74 c 1268s| 3050k| 221 | 767 |8772k| 273 | - | 500 |6048 |3331 | 0 | 0 | 35 |1752k| 20 | 2.500000e+01 | -- | Inf
1327.46/1327.99 c 1273s| 3060k| 213 | 767 |8772k| 273 | - | 500 |6051 |3257 | 0 | 0 | 35 |1758k| 20 | 2.500000e+01 | -- | Inf
1331.76/1332.27 c 1277s| 3070k| 201 | 767 |8769k| 273 | - | 500 |6050 |3437 | 0 | 0 | 35 |1764k| 20 | 2.500000e+01 | -- | Inf
1336.06/1336.54 c 1281s| 3080k| 195 | 767 |8776k| 273 | - | 500 |6064 |3426 | 0 | 0 | 35 |1769k| 20 | 2.500000e+01 | -- | Inf
1340.15/1340.67 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1340.15/1340.67 c 1285s| 3090k| 191 | 767 |8775k| 273 | - | 500 |6068 |3499 | 0 | 0 | 35 |1775k| 20 | 2.500000e+01 | -- | Inf
1344.25/1344.74 c 1289s| 3100k| 190 | 767 |8767k| 273 | - | 500 |6051 |3569 | 0 | 0 | 35 |1781k| 20 | 2.500000e+01 | -- | Inf
1348.26/1348.78 c 1292s| 3110k| 199 | 767 |8771k| 273 | - | 500 |6059 |3533 | 0 | 0 | 35 |1786k| 20 | 2.500000e+01 | -- | Inf
1352.56/1353.03 c 1296s| 3120k| 208 | 767 |8756k| 273 | - | 500 |6028 |3457 | 0 | 0 | 35 |1792k| 20 | 2.500000e+01 | -- | Inf
1357.05/1357.56 c 1301s| 3130k| 210 | 767 |8760k| 273 | - | 500 |6034 |3455 | 0 | 0 | 35 |1798k| 20 | 2.500000e+01 | -- | Inf
1361.45/1361.99 c 1305s| 3140k| 203 | 767 |8761k| 273 | - | 500 |6034 |3403 | 0 | 0 | 35 |1804k| 20 | 2.500000e+01 | -- | Inf
1365.94/1366.45 c 1309s| 3150k| 208 | 767 |8761k| 273 | - | 500 |6031 |3346 | 0 | 0 | 35 |1810k| 20 | 2.500000e+01 | -- | Inf
1370.24/1370.75 c 1313s| 3160k| 194 | 767 |8763k| 273 | - | 500 |6046 |3540 | 0 | 0 | 35 |1816k| 20 | 2.500000e+01 | -- | Inf
1374.45/1374.90 c 1317s| 3170k| 196 | 767 |8775k| 273 | - | 500 |6067 |3507 | 0 | 0 | 35 |1821k| 20 | 2.500000e+01 | -- | Inf
1378.75/1379.21 c 1322s| 3180k| 195 | 767 |8773k| 273 | - | 500 |6054 |3431 | 0 | 0 | 35 |1827k| 20 | 2.500000e+01 | -- | Inf
1382.94/1383.43 c 1326s| 3190k| 203 | 767 |8773k| 273 | - | 500 |6055 |3307 | 0 | 0 | 35 |1833k| 20 | 2.500000e+01 | -- | Inf
1387.34/1387.83 c 1330s| 3200k| 200 | 767 |8761k| 273 | - | 500 |6035 |3398 | 0 | 0 | 35 |1839k| 20 | 2.500000e+01 | -- | Inf
1391.74/1392.25 c 1334s| 3210k| 206 | 767 |8766k| 273 | - | 500 |6040 |3370 | 0 | 0 | 35 |1845k| 20 | 2.500000e+01 | -- | Inf
1396.14/1396.68 c 1338s| 3220k| 197 | 767 |8769k| 273 | - | 500 |6049 |3428 | 0 | 0 | 35 |1851k| 20 | 2.500000e+01 | -- | Inf
1400.54/1401.03 c 1343s| 3230k| 193 | 767 |8761k| 273 | - | 500 |6039 |3520 | 0 | 0 | 35 |1856k| 20 | 2.500000e+01 | -- | Inf
1404.64/1405.16 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1404.64/1405.16 c 1346s| 3240k| 205 | 767 |8767k| 273 | - | 500 |6044 |3433 | 0 | 0 | 35 |1862k| 20 | 2.500000e+01 | -- | Inf
1408.74/1409.22 c 1350s| 3250k| 194 | 767 |8769k| 273 | - | 500 |6055 |3517 | 0 | 0 | 35 |1868k| 20 | 2.500000e+01 | -- | Inf
1412.63/1413.19 c 1354s| 3260k| 192 | 767 |8772k| 273 | - | 500 |6059 |3448 | 0 | 0 | 35 |1874k| 20 | 2.500000e+01 | -- | Inf
1416.93/1417.44 c 1358s| 3270k| 192 | 767 |8771k| 273 | - | 500 |6061 |3535 | 0 | 0 | 35 |1880k| 20 | 2.500000e+01 | -- | Inf
1421.13/1421.62 c 1362s| 3280k| 201 | 767 |8763k| 273 | - | 500 |6034 |3409 | 0 | 0 | 35 |1885k| 20 | 2.500000e+01 | -- | Inf
1425.33/1425.81 c 1366s| 3290k| 191 | 767 |8762k| 273 | - | 500 |6047 |3539 | 0 | 0 | 35 |1891k| 20 | 2.500000e+01 | -- | Inf
1429.33/1429.88 c 1370s| 3300k| 203 | 767 |8775k| 273 | - | 500 |6059 |3389 | 0 | 0 | 35 |1897k| 20 | 2.500000e+01 | -- | Inf
1433.42/1433.96 c 1374s| 3310k| 202 | 767 |8768k| 273 | - | 500 |6052 |3456 | 0 | 0 | 35 |1902k| 20 | 2.500000e+01 | -- | Inf
1437.72/1438.28 c 1378s| 3320k| 203 | 767 |8775k| 273 | - | 500 |6063 |3376 | 0 | 0 | 35 |1908k| 20 | 2.500000e+01 | -- | Inf
1442.12/1442.64 c 1382s| 3330k| 192 | 767 |8764k| 273 | - | 500 |6050 |3552 | 0 | 0 | 35 |1914k| 20 | 2.500000e+01 | -- | Inf
1446.32/1446.80 c 1386s| 3340k| 201 | 767 |8761k| 273 | - | 500 |6030 |3382 | 0 | 0 | 35 |1920k| 20 | 2.500000e+01 | -- | Inf
1450.21/1450.78 c 1390s| 3350k| 202 | 767 |8772k| 273 | - | 500 |6054 |3385 | 0 | 0 | 35 |1925k| 20 | 2.500000e+01 | -- | Inf
1454.42/1454.92 c 1394s| 3360k| 197 | 767 |8779k| 273 | - | 500 |6069 |3324 | 0 | 0 | 35 |1931k| 20 | 2.500000e+01 | -- | Inf
1458.52/1459.04 c 1398s| 3370k| 199 | 767 |8775k| 273 | - | 500 |6059 |3426 | 0 | 0 | 35 |1937k| 20 | 2.500000e+01 | -- | Inf
1462.81/1463.38 c 1402s| 3380k| 204 | 767 |8768k| 273 | - | 500 |6044 |3371 | 0 | 0 | 35 |1943k| 20 | 2.500000e+01 | -- | Inf
1467.02/1467.51 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1467.02/1467.52 c 1406s| 3390k| 193 | 767 |8770k| 273 | - | 500 |6051 |3439 | 0 | 0 | 35 |1949k| 20 | 2.500000e+01 | -- | Inf
1470.91/1471.46 c 1410s| 3400k| 193 | 767 |8773k| 273 | - | 500 |6059 |3410 | 0 | 0 | 35 |1954k| 20 | 2.500000e+01 | -- | Inf
1475.01/1475.52 c 1414s| 3410k| 198 | 767 |8774k| 273 | - | 500 |6055 |3394 | 0 | 0 | 35 |1960k| 20 | 2.500000e+01 | -- | Inf
1479.11/1479.61 c 1418s| 3420k| 207 | 767 |8764k| 273 | - | 500 |6038 |3447 | 0 | 0 | 35 |1966k| 20 | 2.500000e+01 | -- | Inf
1483.41/1483.97 c 1422s| 3430k| 207 | 767 |8768k| 273 | - | 500 |6046 |3424 | 0 | 0 | 35 |1971k| 20 | 2.500000e+01 | -- | Inf
1487.41/1487.97 c 1426s| 3440k| 200 | 767 |8768k| 273 | - | 500 |6042 |3394 | 0 | 0 | 35 |1977k| 20 | 2.500000e+01 | -- | Inf
1491.70/1492.20 c 1430s| 3450k| 202 | 767 |8769k| 273 | - | 500 |6040 |3363 | 0 | 0 | 35 |1982k| 20 | 2.500000e+01 | -- | Inf
1495.90/1496.50 c 1434s| 3460k| 193 | 767 |8763k| 273 | - | 500 |6043 |3576 | 0 | 0 | 35 |1988k| 20 | 2.500000e+01 | -- | Inf
1500.10/1500.65 c 1438s| 3470k| 199 | 767 |8762k| 273 | - | 500 |6041 |3543 | 0 | 0 | 35 |1994k| 20 | 2.500000e+01 | -- | Inf
1504.41/1504.91 c 1442s| 3480k| 192 | 767 |8762k| 273 | - | 500 |6035 |3490 | 0 | 0 | 35 |2000k| 20 | 2.500000e+01 | -- | Inf
1508.60/1509.15 c 1446s| 3490k| 199 | 767 |8766k| 273 | - | 500 |6042 |3452 | 0 | 0 | 35 |2005k| 20 | 2.500000e+01 | -- | Inf
1512.79/1513.32 c 1450s| 3500k| 192 | 767 |8760k| 273 | - | 500 |6036 |3630 | 0 | 0 | 35 |2011k| 20 | 2.500000e+01 | -- | Inf
1517.00/1517.53 c 1454s| 3510k| 192 | 767 |8766k| 273 | - | 500 |6047 |3516 | 0 | 0 | 35 |2016k| 20 | 2.500000e+01 | -- | Inf
1521.20/1521.72 c 1458s| 3520k| 198 | 767 |8766k| 273 | - | 500 |6038 |3463 | 0 | 0 | 35 |2022k| 20 | 2.500000e+01 | -- | Inf
1525.39/1525.91 c 1462s| 3530k| 198 | 767 |8772k| 273 | - | 500 |6051 |3425 | 0 | 0 | 35 |2027k| 20 | 2.500000e+01 | -- | Inf
1529.60/1530.19 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1529.60/1530.19 c 1466s| 3540k| 193 | 767 |8778k| 273 | - | 500 |6069 |3514 | 0 | 0 | 35 |2033k| 20 | 2.500000e+01 | -- | Inf
1533.79/1534.35 c 1470s| 3550k| 189 | 767 |8763k| 273 | - | 500 |6042 |3566 | 0 | 0 | 35 |2039k| 20 | 2.500000e+01 | -- | Inf
1537.99/1538.58 c 1474s| 3560k| 198 | 767 |8779k| 273 | - | 500 |6069 |3520 | 0 | 0 | 35 |2045k| 20 | 2.500000e+01 | -- | Inf
1542.39/1542.96 c 1478s| 3570k| 196 | 767 |8770k| 273 | - | 500 |6052 |3497 | 0 | 0 | 35 |2051k| 20 | 2.500000e+01 | -- | Inf
1546.49/1547.04 c 1482s| 3580k| 203 | 767 |8769k| 273 | - | 500 |6041 |3250 | 0 | 0 | 35 |2056k| 20 | 2.500000e+01 | -- | Inf
1550.59/1551.11 c 1486s| 3590k| 202 | 767 |8767k| 273 | - | 500 |6043 |3403 | 0 | 0 | 35 |2062k| 20 | 2.500000e+01 | -- | Inf
1554.79/1555.31 c 1490s| 3600k| 206 | 767 |8764k| 273 | - | 500 |6037 |3588 | 0 | 0 | 35 |2067k| 20 | 2.500000e+01 | -- | Inf
1558.98/1559.52 c 1494s| 3610k| 206 | 767 |8758k| 273 | - | 500 |6031 |3533 | 0 | 0 | 35 |2073k| 20 | 2.500000e+01 | -- | Inf
1563.18/1563.71 c 1498s| 3620k| 191 | 767 |8770k| 273 | - | 500 |6053 |3479 | 0 | 0 | 35 |2079k| 20 | 2.500000e+01 | -- | Inf
1567.29/1567.81 c 1502s| 3630k| 198 | 767 |8764k| 273 | - | 500 |6041 |3460 | 0 | 0 | 35 |2084k| 20 | 2.500000e+01 | -- | Inf
1571.58/1572.14 c 1506s| 3640k| 197 | 767 |8765k| 273 | - | 500 |6043 |3448 | 0 | 0 | 35 |2090k| 20 | 2.500000e+01 | -- | Inf
1576.08/1576.68 c 1511s| 3650k| 188 | 767 |8760k| 273 | - | 500 |6034 |3473 | 0 | 0 | 35 |2096k| 20 | 2.500000e+01 | -- | Inf
1580.58/1581.11 c 1515s| 3660k| 198 | 767 |8766k| 273 | - | 500 |6042 |3414 | 0 | 0 | 35 |2102k| 20 | 2.500000e+01 | -- | Inf
1584.68/1585.29 c 1519s| 3670k| 194 | 767 |8764k| 273 | - | 500 |6033 |3426 | 0 | 0 | 35 |2108k| 20 | 2.500000e+01 | -- | Inf
1588.88/1589.41 c 1523s| 3680k| 195 | 767 |8759k| 273 | - | 500 |6031 |3462 | 0 | 0 | 35 |2113k| 20 | 2.500000e+01 | -- | Inf
1592.87/1593.50 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1592.87/1593.50 c 1527s| 3690k| 193 | 767 |8760k| 273 | - | 500 |6033 |3445 | 0 | 0 | 35 |2119k| 20 | 2.500000e+01 | -- | Inf
1597.37/1597.92 c 1531s| 3700k| 196 | 767 |8761k| 273 | - | 500 |6033 |3481 | 0 | 0 | 35 |2125k| 20 | 2.500000e+01 | -- | Inf
1601.37/1601.98 c 1535s| 3710k| 201 | 767 |8774k| 273 | - | 500 |6053 |3375 | 0 | 0 | 35 |2130k| 20 | 2.500000e+01 | -- | Inf
1605.48/1606.09 c 1539s| 3720k| 197 | 767 |8771k| 273 | - | 500 |6054 |3422 | 0 | 0 | 35 |2136k| 20 | 2.500000e+01 | -- | Inf
1609.57/1610.14 c 1543s| 3730k| 191 | 767 |8779k| 273 | - | 500 |6069 |3454 | 0 | 0 | 35 |2141k| 20 | 2.500000e+01 | -- | Inf
1613.77/1614.37 c 1547s| 3740k| 198 | 767 |8765k| 273 | - | 500 |6043 |3432 | 0 | 0 | 35 |2147k| 20 | 2.500000e+01 | -- | Inf
1617.96/1618.57 c 1551s| 3750k| 193 | 767 |8767k| 273 | - | 500 |6049 |3413 | 0 | 0 | 35 |2153k| 20 | 2.500000e+01 | -- | Inf
1622.26/1622.83 c 1555s| 3760k| 189 | 767 |8770k| 273 | - | 500 |6056 |3485 | 0 | 0 | 35 |2159k| 20 | 2.500000e+01 | -- | Inf
1626.37/1626.96 c 1559s| 3770k| 194 | 767 |8769k| 273 | - | 500 |6050 |3468 | 0 | 0 | 35 |2164k| 20 | 2.500000e+01 | -- | Inf
1630.46/1631.09 c 1563s| 3780k| 189 | 767 |8764k| 273 | - | 500 |6044 |3550 | 0 | 0 | 35 |2170k| 20 | 2.500000e+01 | -- | Inf
1634.76/1635.37 c 1567s| 3790k| 215 | 767 |8762k| 273 | - | 500 |6026 |3441 | 0 | 0 | 35 |2176k| 20 | 2.500000e+01 | -- | Inf
1639.46/1640.01 c 1571s| 3800k| 203 | 767 |8759k| 273 | - | 500 |6025 |3379 | 0 | 0 | 35 |2182k| 20 | 2.500000e+01 | -- | Inf
1643.86/1644.44 c 1576s| 3810k| 201 | 767 |8763k| 273 | - | 500 |6025 |3354 | 0 | 0 | 35 |2188k| 20 | 2.500000e+01 | -- | Inf
1648.56/1649.14 c 1580s| 3820k| 198 | 767 |8753k| 273 | - | 500 |6025 |3563 | 0 | 0 | 35 |2193k| 20 | 2.500000e+01 | -- | Inf
1653.15/1653.75 c 1585s| 3830k| 202 | 767 |8764k| 273 | - | 500 |6034 |3388 | 0 | 0 | 35 |2199k| 20 | 2.500000e+01 | -- | Inf
1657.65/1658.29 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1657.65/1658.29 c 1589s| 3840k| 203 | 767 |8766k| 273 | - | 500 |6032 |3361 | 0 | 0 | 35 |2205k| 20 | 2.500000e+01 | -- | Inf
1662.05/1662.65 c 1593s| 3850k| 198 | 767 |8764k| 273 | - | 500 |6028 |3383 | 0 | 0 | 35 |2210k| 20 | 2.500000e+01 | -- | Inf
1666.75/1667.34 c 1598s| 3860k| 199 | 767 |8760k| 273 | - | 500 |6025 |3343 | 0 | 0 | 35 |2216k| 20 | 2.500000e+01 | -- | Inf
1671.35/1671.92 c 1602s| 3870k| 199 | 767 |8760k| 273 | - | 500 |6027 |3352 | 0 | 0 | 35 |2222k| 20 | 2.500000e+01 | -- | Inf
1675.85/1676.47 c 1606s| 3880k| 205 | 767 |8757k| 273 | - | 500 |6026 |3471 | 0 | 0 | 35 |2228k| 20 | 2.500000e+01 | -- | Inf
1680.15/1680.78 c 1611s| 3890k| 195 | 767 |8762k| 273 | - | 500 |6032 |3528 | 0 | 0 | 35 |2234k| 20 | 2.500000e+01 | -- | Inf
1684.74/1685.34 c 1615s| 3900k| 193 | 767 |8761k| 273 | - | 500 |6035 |3537 | 0 | 0 | 35 |2240k| 20 | 2.500000e+01 | -- | Inf
1689.44/1690.02 c 1619s| 3910k| 199 | 767 |8760k| 273 | - | 500 |6026 |3340 | 0 | 0 | 35 |2246k| 20 | 2.500000e+01 | -- | Inf
1693.94/1694.57 c 1624s| 3920k| 193 | 767 |8757k| 273 | - | 500 |6032 |3588 | 0 | 0 | 35 |2252k| 20 | 2.500000e+01 | -- | Inf
1698.44/1699.08 c 1628s| 3930k| 198 | 767 |8768k| 273 | - | 500 |6045 |3491 | 0 | 0 | 35 |2257k| 20 | 2.500000e+01 | -- | Inf
1702.84/1703.49 c 1632s| 3940k| 193 | 767 |8764k| 273 | - | 500 |6036 |3469 | 0 | 0 | 35 |2263k| 20 | 2.500000e+01 | -- | Inf
1707.14/1707.73 c 1636s| 3950k| 192 | 767 |8758k| 273 | - | 500 |6030 |3544 | 0 | 0 | 35 |2269k| 20 | 2.500000e+01 | -- | Inf
1711.53/1712.12 c 1641s| 3960k| 197 | 767 |8767k| 273 | - | 500 |6034 |3363 | 0 | 0 | 35 |2275k| 20 | 2.500000e+01 | -- | Inf
1715.93/1716.55 c 1645s| 3970k| 197 | 767 |8757k| 273 | - | 500 |6025 |3454 | 0 | 0 | 35 |2280k| 20 | 2.500000e+01 | -- | Inf
1720.53/1721.14 c 1649s| 3980k| 197 | 767 |8759k| 273 | - | 500 |6027 |3451 | 0 | 0 | 35 |2286k| 20 | 2.500000e+01 | -- | Inf
1725.43/1726.07 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1725.43/1726.07 c 1654s| 3990k| 194 | 767 |8759k| 273 | - | 500 |6025 |3476 | 0 | 0 | 35 |2292k| 20 | 2.500000e+01 | -- | Inf
1730.33/1730.99 c 1659s| 4000k| 194 | 767 |8759k| 273 | - | 500 |6026 |3450 | 0 | 0 | 35 |2298k| 20 | 2.500000e+01 | -- | Inf
1735.24/1735.86 c 1663s| 4010k| 204 | 767 |8760k| 273 | - | 500 |6027 |3472 | 0 | 0 | 35 |2304k| 20 | 2.500000e+01 | -- | Inf
1739.53/1740.18 c 1667s| 4020k| 208 | 767 |8763k| 273 | - | 500 |6033 |3490 | 0 | 0 | 35 |2310k| 20 | 2.500000e+01 | -- | Inf
1743.73/1744.30 c 1671s| 4030k| 201 | 767 |8777k| 273 | - | 500 |6060 |3463 | 0 | 0 | 35 |2315k| 20 | 2.500000e+01 | -- | Inf
1748.13/1748.72 c 1676s| 4040k| 197 | 767 |8768k| 273 | - | 500 |6043 |3430 | 0 | 0 | 35 |2321k| 20 | 2.500000e+01 | -- | Inf
1752.22/1752.89 c 1680s| 4050k| 196 | 767 |8767k| 273 | - | 500 |6046 |3580 | 0 | 0 | 35 |2327k| 20 | 2.500000e+01 | -- | Inf
1756.63/1757.28 c 1684s| 4060k| 207 | 767 |8782k| 273 | - | 500 |6062 |3378 | 0 | 0 | 35 |2333k| 20 | 2.500000e+01 | -- | Inf
1760.82/1761.49 c 1688s| 4070k| 195 | 767 |8774k| 273 | - | 500 |6060 |3544 | 0 | 0 | 35 |2338k| 20 | 2.500000e+01 | -- | Inf
1765.42/1766.01 c 1692s| 4080k| 200 | 767 |8763k| 273 | - | 500 |6034 |3421 | 0 | 0 | 35 |2344k| 20 | 2.500000e+01 | -- | Inf
1769.52/1770.13 c 1696s| 4090k| 191 | 767 |8766k| 273 | - | 500 |6042 |3435 | 0 | 0 | 35 |2349k| 20 | 2.500000e+01 | -- | Inf
1773.92/1774.59 c 1700s| 4100k| 198 | 767 |8760k| 273 | - | 500 |6029 |3459 | 0 | 0 | 35 |2355k| 20 | 2.500000e+01 | -- | Inf
1778.21/1778.84 c 1705s| 4110k| 198 | 767 |8763k| 273 | - | 500 |6035 |3433 | 0 | 0 | 35 |2361k| 20 | 2.500000e+01 | -- | Inf
1782.42/1783.08 c 1709s| 4120k| 196 | 767 |8769k| 273 | - | 500 |6042 |3461 | 0 | 0 | 35 |2367k| 20 | 2.500000e+01 | -- | Inf
1786.81/1787.46 c 1713s| 4130k| 192 | 767 |8765k| 273 | - | 500 |6041 |3490 | 0 | 0 | 35 |2372k| 20 | 2.500000e+01 | -- | Inf
1790.91/1791.58 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1790.91/1791.58 c 1717s| 4140k| 200 | 767 |8766k| 273 | - | 500 |6034 |3407 | 0 | 0 | 35 |2378k| 20 | 2.500000e+01 | -- | Inf
1795.61/1796.29 c 1721s| 4150k| 200 | 767 |8767k| 273 | - | 500 |6037 |3472 | 0 | 0 | 35 |2384k| 20 | 2.500000e+01 | -- | Inf
1799.91/1800.52 c 1725s| 4160k| 197 | 767 |8763k| 273 | - | 500 |6030 |3458 | 0 | 0 | 35 |2390k| 20 | 2.500000e+01 | -- | Inf
1800.01/1800.61 c
1800.01/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.61 c Solving Time (sec) : 1725.36
1800.01/1800.61 c Solving Nodes : 4160200
1800.01/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.01/1800.61 c Dual Bound : +2.50000000000000e+01
1800.01/1800.61 c Gap : infinite
1800.01/1800.61 c NODE 4160200
1800.01/1800.61 c DUAL BOUND 25
1800.01/1800.61 c PRIMAL BOUND 1e+20
1800.01/1800.61 c GAP 1e+20
1800.01/1800.61 s UNKNOWN
1800.01/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.61 c Solving Time : 1725.36
1800.01/1800.61 c Original Problem :
1800.01/1800.61 c Problem name : HOME/instance-1883965-1245238242.opb
1800.01/1800.61 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.61 c Constraints : 6025 initial, 6025 maximal
1800.01/1800.61 c Presolved Problem :
1800.01/1800.61 c Problem name : t_HOME/instance-1883965-1245238242.opb
1800.01/1800.61 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.61 c Constraints : 6025 initial, 6125 maximal
1800.01/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.01/1800.61 c root node : - 0 - - 0 - - - -
1800.01/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.61 c integral : 0 0 0 1 0 0 0 0 0 2
1800.01/1800.61 c logicor : 6025+ 5 17696958 0 0 2382495 95608065 0 0 0
1800.01/1800.61 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.61 c integral : 0.71 0.00 0.00 0.71 0.00
1800.01/1800.61 c logicor : 712.13 0.00 712.13 0.00 0.00
1800.01/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.61 c rootredcost : 6.21 0 0 0
1800.01/1800.61 c pseudoobj : 430.67 20978014 0 0
1800.01/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.61 c propagation : 359.73 2382495 2382495 2382495 53.1 40071 61.3 -
1800.01/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.61 c applied globally : - - - 1026500 41.0 - - -
1800.01/1800.61 c applied locally : - - - 1363837 62.2 - - -
1800.01/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.61 c cut pool : 0.00 4 - - 0 - (maximal pool size: 190)
1800.01/1800.61 c redcost : 0.00 5 0 0 0 0
1800.01/1800.61 c impliedbounds : 0.00 5 0 0 0 0
1800.01/1800.61 c intobj : 0.00 0 0 0 0 0
1800.01/1800.61 c gomory : 0.37 5 0 0 1857 0
1800.01/1800.61 c strongcg : 0.35 5 0 0 2008 0
1800.01/1800.61 c cmir : 0.00 0 0 0 0 0
1800.01/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.61 c clique : 0.00 5 0 0 15 0
1800.01/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.61 c mcf : 0.01 1 0 0 0 0
1800.01/1800.61 c Pricers : Time Calls Vars
1800.01/1800.61 c problem variables: 0.00 0 0
1800.01/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.61 c relpscost : 0.71 1 0 0 0 0 2
1800.01/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.61 c inference : 39.31 3038750 0 0 0 0 6077500
1800.01/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.61 c random : 0.00 0 0 0 0 0 0
1800.01/1800.61 c Primal Heuristics : Time Calls Found
1800.01/1800.61 c LP solutions : 0.00 - 0
1800.01/1800.61 c pseudo solutions : 0.00 - 0
1800.01/1800.61 c simplerounding : 0.00 0 0
1800.01/1800.61 c rounding : 0.00 0 0
1800.01/1800.61 c shifting : 0.00 0 0
1800.01/1800.61 c intshifting : 0.00 0 0
1800.01/1800.61 c oneopt : 0.00 0 0
1800.01/1800.61 c fixandinfer : 0.00 0 0
1800.01/1800.61 c feaspump : 0.00 0 0
1800.01/1800.61 c coefdiving : 0.00 0 0
1800.01/1800.61 c pscostdiving : 0.00 0 0
1800.01/1800.61 c fracdiving : 0.00 0 0
1800.01/1800.61 c veclendiving : 0.00 0 0
1800.01/1800.61 c intdiving : 0.00 0 0
1800.01/1800.61 c actconsdiving : 0.00 0 0
1800.01/1800.61 c objpscostdiving : 0.00 0 0
1800.01/1800.61 c rootsoldiving : 0.00 0 0
1800.01/1800.61 c linesearchdiving : 0.00 0 0
1800.01/1800.61 c guideddiving : 0.00 0 0
1800.01/1800.61 c octane : 0.00 0 0
1800.01/1800.61 c rens : 0.00 0 0
1800.01/1800.61 c rins : 0.00 0 0
1800.01/1800.61 c localbranching : 0.00 0 0
1800.01/1800.61 c mutation : 0.00 0 0
1800.01/1800.61 c crossover : 0.00 0 0
1800.01/1800.61 c dins : 0.00 0 0
1800.01/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.61 c primal LP : 0.01 0 0 0.00 0.00
1800.01/1800.61 c dual LP : 0.28 6 767 127.83 2739.29
1800.01/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.61 c strong branching : 0.71 20 1380 69.00 1943.66
1800.01/1800.61 c (at root node) : - 20 1380 69.00 -
1800.01/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.61 c B&B Tree :
1800.01/1800.61 c number of runs : 1
1800.01/1800.61 c nodes : 4160200
1800.01/1800.61 c nodes (total) : 4160200
1800.01/1800.61 c nodes left : 193
1800.01/1800.61 c max depth : 273
1800.01/1800.61 c max depth (total): 273
1800.01/1800.61 c backtracks : 1283460 (30.9%)
1800.01/1800.61 c delayed cutoffs : 1917110
1800.01/1800.61 c repropagations : 3629639 (54118324 domain reductions, 1261046 cutoffs)
1800.01/1800.61 c avg switch length: 2.63
1800.01/1800.61 c switching time : 278.76
1800.01/1800.61 c Solution :
1800.01/1800.61 c Solutions found : 0 (0 improvements)
1800.01/1800.61 c Primal Bound : -
1800.01/1800.61 c Dual Bound : +2.50000000000000e+01
1800.01/1800.61 c Gap : infinite
1800.01/1800.61 c Root Dual Bound : +2.50000000000000e+01
1800.01/1800.64 c Time complete: 1800.05.