0.04/0.08 c SCIP version 1.1.0.7
0.04/0.08 c LP-Solver SoPlex 1.4.1
0.04/0.08 c user parameter file <scip.set> not found - using default parameters
0.04/0.08 c read problem <HOME/instance-1883964-1245238219.opb>
0.04/0.08 c original problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 6025 constraints
0.09/0.10 c No objective function, only one solution is needed.
0.09/0.10 c start presolving problem
0.09/0.10 c presolving:
0.09/0.17 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.18 c presolving (2 rounds):
0.09/0.18 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18 c 12000 implications, 0 cliques
0.09/0.18 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 6025 constraints
0.09/0.19 c 6025 constraints of type <logicor>
0.09/0.19 c transformed objective value is always integral (scale: 1)
0.09/0.19 c Presolving Time: 0.07
0.09/0.19 c PURESAT
0.09/0.19 c -----------------------------------------------------------------------------------------------
0.09/0.19 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.19 c separating/flowcover/freq = c -1
0.09/0.19 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.19 c separating/cmir/freq = c -1
0.09/0.19 c # additional number of allowed LP iterations
0.09/0.19 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.19 c heuristics/veclendiving/maxlpiterofs = c 1500
0.09/0.19 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.19 c heuristics/veclendiving/maxlpiterquot = c 0.075
0.09/0.19 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.19 c heuristics/veclendiving/freq = c -1
0.09/0.19 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.19 c heuristics/simplerounding/freq = c -1
0.09/0.19 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.19 c heuristics/shifting/freq = c -1
0.09/0.19 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.19 c heuristics/rounding/freq = c -1
0.09/0.19 c # additional number of allowed LP iterations
0.09/0.19 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.19 c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.09/0.19 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.09/0.19 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.09/0.19 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.19 c heuristics/rootsoldiving/freq = c -1
0.09/0.19 c # number of nodes added to the contingent of the total nodes
0.09/0.19 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.19 c heuristics/rens/nodesofs = c 2000
0.09/0.19 c # minimum percentage of integer variables that have to be fixable
0.09/0.19 c # [type: real, range: [0,1], default: 0.5]
0.09/0.19 c heuristics/rens/minfixingrate = c 0.3
0.09/0.19 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.19 c heuristics/rens/freq = c -1
0.09/0.19 c # additional number of allowed LP iterations
0.09/0.19 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.19 c heuristics/pscostdiving/maxlpiterofs = c 1500
0.09/0.19 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.19 c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.09/0.19 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.19 c heuristics/pscostdiving/freq = c -1
0.09/0.19 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.19 c heuristics/oneopt/freq = c -1
0.09/0.19 c # additional number of allowed LP iterations
0.09/0.19 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.19 c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.09/0.19 c # maximal fraction of diving LP iterations compared to total iteration number
0.09/0.19 c # [type: real, range: [0,1], default: 0.01]
0.09/0.19 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.09/0.19 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.19 c heuristics/objpscostdiving/freq = c -1
0.09/0.19 c # additional number of allowed LP iterations
0.09/0.19 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.19 c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.09/0.19 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.19 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.09/0.19 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.19 c heuristics/linesearchdiving/freq = c -1
0.09/0.19 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.19 c heuristics/intshifting/freq = c -1
0.09/0.19 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.19 c heuristics/intdiving/maxlpiterquot = c 0.075
0.09/0.19 c # additional number of allowed LP iterations
0.09/0.19 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.19 c heuristics/guideddiving/maxlpiterofs = c 1500
0.09/0.19 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.19 c heuristics/guideddiving/maxlpiterquot = c 0.075
0.09/0.19 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.19 c heuristics/guideddiving/freq = c -1
0.09/0.19 c # additional number of allowed LP iterations
0.09/0.19 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.19 c heuristics/fracdiving/maxlpiterofs = c 1500
0.09/0.19 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.19 c heuristics/fracdiving/maxlpiterquot = c 0.075
0.09/0.19 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.19 c heuristics/fracdiving/freq = c -1
0.09/0.19 c # additional number of allowed LP iterations
0.09/0.19 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.19 c heuristics/feaspump/maxlpiterofs = c 2000
0.09/0.19 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.19 c heuristics/feaspump/freq = c -1
0.09/0.19 c # minimum percentage of integer variables that have to be fixed
0.09/0.19 c # [type: real, range: [0,1], default: 0.666]
0.09/0.19 c heuristics/crossover/minfixingrate = c 0.5
0.09/0.19 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.09/0.19 c # [type: real, range: [0,1], default: 0.1]
0.09/0.19 c heuristics/crossover/nodesquot = c 0.15
0.09/0.19 c # number of nodes without incumbent change that heuristic should wait
0.09/0.19 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.09/0.19 c heuristics/crossover/nwaitingnodes = c 100
0.09/0.19 c # number of nodes added to the contingent of the total nodes
0.09/0.19 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.19 c heuristics/crossover/nodesofs = c 750
0.09/0.19 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 30]
0.09/0.19 c heuristics/crossover/freq = c -1
0.09/0.19 c # additional number of allowed LP iterations
0.09/0.19 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.19 c heuristics/coefdiving/maxlpiterofs = c 1500
0.09/0.19 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.19 c heuristics/coefdiving/maxlpiterquot = c 0.075
0.09/0.19 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.19 c heuristics/coefdiving/freq = c -1
0.09/0.19 c # priority of node selection rule <dfs> in standard mode
0.09/0.19 c # [type: int, range: [-536870912,536870911], default: 0]
0.09/0.19 c nodeselection/dfs/stdpriority = c 1000000
0.09/0.19 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19 c presolving/probing/maxrounds = c 0
0.09/0.19 c # should presolving try to simplify knapsacks
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/knapsack/simplifyinequalities = c TRUE
0.09/0.19 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.09/0.19 c constraints/knapsack/disaggregation = c FALSE
0.09/0.19 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19 c constraints/knapsack/maxnumcardlift = c 0
0.09/0.19 c # should presolving try to simplify inequalities
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/linear/simplifyinequalities = c TRUE
0.09/0.19 c # maximal number of separation rounds in the root node (-1: unlimited)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19 c separating/maxroundsroot = c 5
0.09/0.19 c # maximal number of separation rounds per node (-1: unlimited)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 5]
0.09/0.19 c separating/maxrounds = c 1
0.09/0.19 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.09/0.19 c # [type: char, range: {lafpsqd}, default: l]
0.09/0.19 c lp/pricing = c a
0.09/0.19 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.19 c lp/solvefreq = c 0
0.09/0.19 c # solving stops, if the given number of solutions were found (-1: no limit)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19 c limits/solutions = c 1
0.09/0.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/memory = c 1620
0.09/0.19 c # maximal time in seconds to run
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/time = c 1791
0.09/0.19 c # frequency for displaying node information lines
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.19 c display/freq = c 10000
0.09/0.19 c # should enforcement of pseudo solution be disabled?
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/disableenfops = c TRUE
0.09/0.19 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.19 c constraints/agelimit = c 1
0.09/0.19 c # should binary conflicts be preferred?
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c conflict/preferbinary = c TRUE
0.09/0.19 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19 c conflict/interconss = c 0
0.09/0.19 c -----------------------------------------------------------------------------------------------
0.09/0.19 c start solving problem
0.09/0.19 c
0.19/0.22 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.22 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 | 165 |7791k| 0 | 46 | 500 |6025 |6025 | 500 |6028 | 3 | 0 | 0 | 2.500000e+01 | -- | Inf
0.39/0.49 c 0.4s| 1 | 0 | 305 |7817k| 0 | 36 | 500 |6025 |6025 | 500 |6034 | 9 | 0 | 0 | 2.500000e+01 | -- | Inf
0.59/0.66 c 0.5s| 1 | 0 | 366 |7831k| 0 | 28 | 500 |6025 |6025 | 500 |6039 | 14 | 0 | 0 | 2.500000e+01 | -- | Inf
0.79/0.83 c 0.7s| 1 | 0 | 449 |7892k| 0 | 38 | 500 |6025 |6025 | 500 |6044 | 19 | 0 | 0 | 2.500000e+01 | -- | Inf
1.10/1.19 c 1.0s| 1 | 0 | 615 |8341k| 0 | 43 | 500 |6025 |6025 | 500 |6051 | 26 | 0 | 0 | 2.500000e+01 | -- | Inf
2.39/2.46 c 2.3s| 1 | 2 | 615 |8342k| 0 | 43 | 500 |6025 |6025 | 500 |6051 | 26 | 0 | 33 | 2.500000e+01 | -- | Inf
6.79/6.84 c 6.5s| 10000 | 217 | 615 |8632k| 258 | - | 500 |6026 |3875 | 0 | 0 | 26 |5815 | 33 | 2.500000e+01 | -- | Inf
11.00/11.05 c 10.5s| 20000 | 209 | 615 |8642k| 258 | - | 500 |6025 |3739 | 0 | 0 | 26 | 11k| 33 | 2.500000e+01 | -- | Inf
14.99/15.03 c 14.3s| 30000 | 212 | 615 |8647k| 258 | - | 500 |6026 |3698 | 0 | 0 | 26 | 17k| 33 | 2.500000e+01 | -- | Inf
19.39/19.40 c 18.5s| 40000 | 215 | 615 |8647k| 258 | - | 500 |6032 |3634 | 0 | 0 | 26 | 23k| 33 | 2.500000e+01 | -- | Inf
23.69/23.72 c 22.7s| 50000 | 206 | 615 |8639k| 258 | - | 500 |6025 |3829 | 0 | 0 | 26 | 29k| 33 | 2.500000e+01 | -- | Inf
28.08/28.19 c 27.0s| 60000 | 205 | 615 |8640k| 258 | - | 500 |6025 |3813 | 0 | 0 | 26 | 35k| 33 | 2.500000e+01 | -- | Inf
32.38/32.40 c 31.1s| 70000 | 217 | 615 |8645k| 258 | - | 500 |6025 |3733 | 0 | 0 | 26 | 41k| 33 | 2.500000e+01 | -- | Inf
36.58/36.68 c 35.1s| 80000 | 203 | 615 |8643k| 258 | - | 500 |6025 |3785 | 0 | 0 | 26 | 47k| 33 | 2.500000e+01 | -- | Inf
40.98/41.07 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.98/41.07 c 39.4s| 90000 | 212 | 615 |8647k| 258 | - | 500 |6026 |3673 | 0 | 0 | 26 | 53k| 33 | 2.500000e+01 | -- | Inf
45.48/45.53 c 43.7s|100000 | 209 | 615 |8646k| 258 | - | 500 |6026 |3687 | 0 | 0 | 26 | 59k| 33 | 2.500000e+01 | -- | Inf
49.78/49.89 c 47.9s|110000 | 211 | 615 |8647k| 258 | - | 500 |6027 |3651 | 0 | 0 | 26 | 65k| 33 | 2.500000e+01 | -- | Inf
53.97/54.00 c 51.8s|120000 | 209 | 615 |8649k| 258 | - | 500 |6032 |3736 | 0 | 0 | 26 | 70k| 33 | 2.500000e+01 | -- | Inf
58.07/58.12 c 55.8s|130000 | 210 | 615 |8644k| 261 | - | 500 |6026 |3825 | 0 | 0 | 26 | 76k| 33 | 2.500000e+01 | -- | Inf
62.47/62.55 c 60.0s|140000 | 205 | 615 |8649k| 261 | - | 500 |6025 |3692 | 0 | 0 | 26 | 82k| 33 | 2.500000e+01 | -- | Inf
66.98/67.10 c 64.4s|150000 | 205 | 615 |8650k| 261 | - | 500 |6025 |3713 | 0 | 0 | 26 | 88k| 33 | 2.500000e+01 | -- | Inf
71.56/71.60 c 68.8s|160000 | 205 | 615 |8649k| 261 | - | 500 |6026 |3655 | 0 | 0 | 26 | 94k| 33 | 2.500000e+01 | -- | Inf
76.07/76.16 c 73.1s|170000 | 205 | 615 |8648k| 262 | - | 500 |6028 |3715 | 0 | 0 | 26 | 100k| 33 | 2.500000e+01 | -- | Inf
80.57/80.60 c 77.4s|180000 | 208 | 615 |8649k| 262 | - | 500 |6025 |3712 | 0 | 0 | 26 | 106k| 33 | 2.500000e+01 | -- | Inf
84.87/84.99 c 81.6s|190000 | 197 | 615 |8650k| 262 | - | 500 |6027 |3726 | 0 | 0 | 26 | 112k| 33 | 2.500000e+01 | -- | Inf
88.76/88.84 c 85.3s|200000 | 202 | 615 |8651k| 262 | - | 500 |6027 |3762 | 0 | 0 | 26 | 118k| 33 | 2.500000e+01 | -- | Inf
92.57/92.62 c 88.9s|210000 | 196 | 615 |8651k| 262 | - | 500 |6025 |3709 | 0 | 0 | 26 | 123k| 33 | 2.500000e+01 | -- | Inf
96.36/96.40 c 92.5s|220000 | 198 | 615 |8648k| 262 | - | 500 |6025 |3768 | 0 | 0 | 26 | 129k| 33 | 2.500000e+01 | -- | Inf
101.07/101.11 c 97.0s|230000 | 199 | 615 |8657k| 262 | - | 500 |6034 |3689 | 0 | 0 | 26 | 135k| 33 | 2.500000e+01 | -- | Inf
105.35/105.47 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
105.35/105.47 c 101s|240000 | 197 | 615 |8650k| 262 | - | 500 |6025 |3659 | 0 | 0 | 26 | 141k| 33 | 2.500000e+01 | -- | Inf
109.55/109.67 c 105s|250000 | 203 | 615 |8651k| 262 | - | 500 |6028 |3744 | 0 | 0 | 26 | 147k| 33 | 2.500000e+01 | -- | Inf
113.86/113.97 c 109s|260000 | 201 | 615 |8651k| 262 | - | 500 |6028 |3748 | 0 | 0 | 26 | 153k| 33 | 2.500000e+01 | -- | Inf
118.16/118.20 c 113s|270000 | 204 | 615 |8656k| 266 | - | 500 |6030 |3653 | 0 | 0 | 26 | 158k| 33 | 2.500000e+01 | -- | Inf
122.45/122.58 c 118s|280000 | 197 | 615 |8650k| 266 | - | 500 |6025 |3692 | 0 | 0 | 26 | 165k| 33 | 2.500000e+01 | -- | Inf
126.65/126.78 c 122s|290000 | 209 | 615 |8654k| 266 | - | 500 |6025 |3572 | 0 | 0 | 26 | 170k| 33 | 2.500000e+01 | -- | Inf
130.75/130.83 c 126s|300000 | 204 | 615 |8653k| 266 | - | 500 |6032 |3623 | 0 | 0 | 26 | 176k| 33 | 2.500000e+01 | -- | Inf
134.95/135.00 c 130s|310000 | 205 | 615 |8654k| 266 | - | 500 |6027 |3643 | 0 | 0 | 26 | 182k| 33 | 2.500000e+01 | -- | Inf
139.15/139.29 c 134s|320000 | 198 | 615 |8653k| 266 | - | 500 |6025 |3717 | 0 | 0 | 26 | 188k| 33 | 2.500000e+01 | -- | Inf
143.05/143.12 c 137s|330000 | 201 | 615 |8659k| 266 | - | 500 |6040 |3623 | 0 | 0 | 26 | 193k| 33 | 2.500000e+01 | -- | Inf
147.15/147.26 c 141s|340000 | 196 | 615 |8648k| 266 | - | 500 |6025 |3786 | 0 | 0 | 26 | 199k| 33 | 2.500000e+01 | -- | Inf
151.55/151.63 c 146s|350000 | 199 | 615 |8651k| 266 | - | 500 |6026 |3744 | 0 | 0 | 26 | 205k| 33 | 2.500000e+01 | -- | Inf
155.84/155.96 c 150s|360000 | 197 | 615 |8648k| 266 | - | 500 |6026 |3786 | 0 | 0 | 26 | 211k| 33 | 2.500000e+01 | -- | Inf
159.95/160.06 c 154s|370000 | 197 | 615 |8651k| 266 | - | 500 |6025 |3662 | 0 | 0 | 26 | 217k| 33 | 2.500000e+01 | -- | Inf
164.34/164.48 c 158s|380000 | 203 | 615 |8653k| 266 | - | 500 |6032 |3716 | 0 | 0 | 26 | 222k| 33 | 2.500000e+01 | -- | Inf
168.74/168.82 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
168.74/168.82 c 162s|390000 | 199 | 615 |8655k| 266 | - | 500 |6034 |3705 | 0 | 0 | 26 | 228k| 33 | 2.500000e+01 | -- | Inf
172.74/172.86 c 166s|400000 | 194 | 615 |8652k| 266 | - | 500 |6027 |3702 | 0 | 0 | 26 | 234k| 33 | 2.500000e+01 | -- | Inf
176.94/177.06 c 170s|410000 | 205 | 615 |8653k| 267 | - | 500 |6031 |3721 | 0 | 0 | 26 | 240k| 33 | 2.500000e+01 | -- | Inf
180.94/181.06 c 174s|420000 | 206 | 615 |8657k| 267 | - | 500 |6031 |3606 | 0 | 0 | 26 | 246k| 33 | 2.500000e+01 | -- | Inf
184.93/185.04 c 178s|430000 | 205 | 615 |8667k| 267 | - | 500 |6056 |3572 | 0 | 0 | 26 | 251k| 33 | 2.500000e+01 | -- | Inf
189.14/189.25 c 182s|440000 | 206 | 615 |8668k| 267 | - | 500 |6048 |3466 | 0 | 0 | 26 | 257k| 33 | 2.500000e+01 | -- | Inf
193.04/193.15 c 185s|450000 | 200 | 615 |8656k| 267 | - | 500 |6034 |3681 | 0 | 0 | 26 | 263k| 33 | 2.500000e+01 | -- | Inf
197.24/197.35 c 189s|460000 | 194 | 615 |8660k| 267 | - | 500 |6035 |3642 | 0 | 0 | 26 | 269k| 33 | 2.500000e+01 | -- | Inf
201.53/201.65 c 193s|470000 | 196 | 615 |8662k| 267 | - | 500 |6045 |3629 | 0 | 0 | 26 | 274k| 33 | 2.500000e+01 | -- | Inf
205.73/205.80 c 197s|480000 | 194 | 615 |8658k| 267 | - | 500 |6038 |3700 | 0 | 0 | 26 | 280k| 33 | 2.500000e+01 | -- | Inf
209.64/209.76 c 201s|490000 | 192 | 615 |8667k| 267 | - | 500 |6059 |3693 | 0 | 0 | 26 | 286k| 33 | 2.500000e+01 | -- | Inf
213.73/213.89 c 205s|500000 | 193 | 615 |8655k| 267 | - | 500 |6032 |3754 | 0 | 0 | 26 | 292k| 33 | 2.500000e+01 | -- | Inf
217.73/217.82 c 209s|510000 | 205 | 615 |8657k| 267 | - | 500 |6034 |3620 | 0 | 0 | 26 | 297k| 33 | 2.500000e+01 | -- | Inf
221.53/221.67 c 213s|520000 | 195 | 615 |8662k| 267 | - | 500 |6046 |3730 | 0 | 0 | 26 | 303k| 33 | 2.500000e+01 | -- | Inf
225.73/225.84 c 217s|530000 | 194 | 615 |8663k| 267 | - | 500 |6049 |3658 | 0 | 0 | 26 | 309k| 33 | 2.500000e+01 | -- | Inf
229.82/229.91 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
229.82/229.91 c 221s|540000 | 217 | 615 |8660k| 267 | - | 500 |6026 |3562 | 0 | 0 | 26 | 314k| 33 | 2.500000e+01 | -- | Inf
234.02/234.11 c 225s|550000 | 212 | 615 |8657k| 267 | - | 500 |6026 |3587 | 0 | 0 | 26 | 320k| 33 | 2.500000e+01 | -- | Inf
238.02/238.11 c 228s|560000 | 203 | 615 |8669k| 267 | - | 500 |6048 |3557 | 0 | 0 | 26 | 326k| 33 | 2.500000e+01 | -- | Inf
241.72/241.87 c 232s|570000 | 200 | 615 |8662k| 267 | - | 500 |6041 |3583 | 0 | 0 | 26 | 332k| 33 | 2.500000e+01 | -- | Inf
245.52/245.62 c 236s|580000 | 201 | 615 |8687k| 267 | - | 500 |6087 |3540 | 0 | 0 | 26 | 337k| 33 | 2.500000e+01 | -- | Inf
249.12/249.20 c 239s|590000 | 195 | 615 |8669k| 267 | - | 500 |6056 |3762 | 0 | 0 | 26 | 343k| 33 | 2.500000e+01 | -- | Inf
253.42/253.51 c 243s|600000 | 199 | 615 |8664k| 267 | - | 500 |6039 |3615 | 0 | 0 | 26 | 348k| 33 | 2.500000e+01 | -- | Inf
257.52/257.66 c 247s|610000 | 207 | 615 |8661k| 267 | - | 500 |6032 |3564 | 0 | 0 | 26 | 354k| 33 | 2.500000e+01 | -- | Inf
261.72/261.86 c 251s|620000 | 208 | 615 |8665k| 267 | - | 500 |6034 |3544 | 0 | 0 | 26 | 360k| 33 | 2.500000e+01 | -- | Inf
265.82/265.95 c 255s|630000 | 206 | 615 |8663k| 267 | - | 500 |6030 |3556 | 0 | 0 | 26 | 366k| 33 | 2.500000e+01 | -- | Inf
269.92/270.01 c 259s|640000 | 207 | 615 |8662k| 267 | - | 500 |6036 |3581 | 0 | 0 | 26 | 372k| 33 | 2.500000e+01 | -- | Inf
273.91/274.04 c 263s|650000 | 202 | 615 |8659k| 267 | - | 500 |6028 |3595 | 0 | 0 | 26 | 377k| 33 | 2.500000e+01 | -- | Inf
278.21/278.35 c 267s|660000 | 200 | 615 |8654k| 267 | - | 500 |6028 |3730 | 0 | 0 | 26 | 383k| 33 | 2.500000e+01 | -- | Inf
282.51/282.67 c 271s|670000 | 197 | 615 |8660k| 267 | - | 500 |6028 |3618 | 0 | 0 | 26 | 389k| 33 | 2.500000e+01 | -- | Inf
286.51/286.65 c 275s|680000 | 207 | 615 |8664k| 267 | - | 500 |6035 |3596 | 0 | 0 | 26 | 395k| 33 | 2.500000e+01 | -- | Inf
290.71/290.86 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
290.71/290.86 c 279s|690000 | 200 | 615 |8657k| 267 | - | 500 |6032 |3670 | 0 | 0 | 26 | 401k| 33 | 2.500000e+01 | -- | Inf
295.01/295.12 c 283s|700000 | 199 | 615 |8655k| 267 | - | 500 |6026 |3656 | 0 | 0 | 26 | 407k| 33 | 2.500000e+01 | -- | Inf
299.11/299.28 c 287s|710000 | 190 | 615 |8654k| 267 | - | 500 |6032 |3822 | 0 | 0 | 26 | 412k| 33 | 2.500000e+01 | -- | Inf
303.21/303.30 c 291s|720000 | 208 | 615 |8663k| 267 | - | 500 |6037 |3638 | 0 | 0 | 26 | 418k| 33 | 2.500000e+01 | -- | Inf
307.21/307.33 c 295s|730000 | 206 | 615 |8666k| 267 | - | 500 |6041 |3626 | 0 | 0 | 26 | 424k| 33 | 2.500000e+01 | -- | Inf
311.20/311.32 c 299s|740000 | 199 | 615 |8661k| 267 | - | 500 |6036 |3668 | 0 | 0 | 26 | 429k| 33 | 2.500000e+01 | -- | Inf
315.21/315.36 c 303s|750000 | 202 | 615 |8656k| 267 | - | 500 |6031 |3699 | 0 | 0 | 26 | 435k| 33 | 2.500000e+01 | -- | Inf
319.20/319.36 c 306s|760000 | 197 | 615 |8656k| 267 | - | 500 |6033 |3737 | 0 | 0 | 26 | 441k| 33 | 2.500000e+01 | -- | Inf
323.50/323.70 c 311s|770000 | 194 | 615 |8653k| 267 | - | 500 |6026 |3721 | 0 | 0 | 26 | 447k| 33 | 2.500000e+01 | -- | Inf
327.61/327.75 c 314s|780000 | 206 | 615 |8661k| 267 | - | 500 |6037 |3631 | 0 | 0 | 26 | 453k| 33 | 2.500000e+01 | -- | Inf
331.60/331.76 c 318s|790000 | 198 | 615 |8658k| 267 | - | 500 |6033 |3695 | 0 | 0 | 26 | 459k| 33 | 2.500000e+01 | -- | Inf
335.50/335.66 c 322s|800000 | 208 | 615 |8659k| 267 | - | 500 |6031 |3652 | 0 | 0 | 26 | 464k| 33 | 2.500000e+01 | -- | Inf
339.40/339.57 c 326s|810000 | 202 | 615 |8663k| 267 | - | 500 |6038 |3614 | 0 | 0 | 26 | 470k| 33 | 2.500000e+01 | -- | Inf
343.19/343.30 c 329s|820000 | 201 | 615 |8663k| 267 | - | 500 |6037 |3568 | 0 | 0 | 26 | 476k| 33 | 2.500000e+01 | -- | Inf
346.89/347.05 c 333s|830000 | 202 | 615 |8662k| 267 | - | 500 |6042 |3761 | 0 | 0 | 26 | 481k| 33 | 2.500000e+01 | -- | Inf
350.89/351.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
350.89/351.03 c 337s|840000 | 202 | 615 |8662k| 267 | - | 500 |6037 |3614 | 0 | 0 | 26 | 487k| 33 | 2.500000e+01 | -- | Inf
354.79/354.91 c 340s|850000 | 198 | 615 |8662k| 267 | - | 500 |6037 |3589 | 0 | 0 | 26 | 493k| 33 | 2.500000e+01 | -- | Inf
358.79/358.94 c 344s|860000 | 199 | 615 |8663k| 267 | - | 500 |6043 |3674 | 0 | 0 | 26 | 498k| 33 | 2.500000e+01 | -- | Inf
362.49/362.68 c 348s|870000 | 200 | 615 |8662k| 267 | - | 500 |6033 |3613 | 0 | 0 | 26 | 504k| 33 | 2.500000e+01 | -- | Inf
366.59/366.71 c 352s|880000 | 205 | 615 |8665k| 267 | - | 500 |6036 |3527 | 0 | 0 | 26 | 510k| 33 | 2.500000e+01 | -- | Inf
370.49/370.62 c 355s|890000 | 201 | 615 |8665k| 267 | - | 500 |6036 |3569 | 0 | 0 | 26 | 515k| 33 | 2.500000e+01 | -- | Inf
374.38/374.52 c 359s|900000 | 205 | 615 |8669k| 267 | - | 500 |6045 |3563 | 0 | 0 | 26 | 521k| 33 | 2.500000e+01 | -- | Inf
378.38/378.55 c 363s|910000 | 208 | 615 |8668k| 267 | - | 500 |6044 |3561 | 0 | 0 | 26 | 527k| 33 | 2.500000e+01 | -- | Inf
382.38/382.50 c 367s|920000 | 195 | 615 |8675k| 267 | - | 500 |6064 |3702 | 0 | 0 | 26 | 533k| 33 | 2.500000e+01 | -- | Inf
386.19/386.38 c 371s|930000 | 204 | 615 |8663k| 267 | - | 500 |6036 |3597 | 0 | 0 | 26 | 538k| 33 | 2.500000e+01 | -- | Inf
390.18/390.32 c 374s|940000 | 206 | 615 |8662k| 267 | - | 500 |6035 |3667 | 0 | 0 | 26 | 544k| 33 | 2.500000e+01 | -- | Inf
393.98/394.18 c 378s|950000 | 199 | 615 |8655k| 267 | - | 500 |6027 |3799 | 0 | 0 | 26 | 549k| 33 | 2.500000e+01 | -- | Inf
398.09/398.29 c 382s|960000 | 200 | 615 |8661k| 267 | - | 500 |6035 |3644 | 0 | 0 | 26 | 555k| 33 | 2.500000e+01 | -- | Inf
402.18/402.37 c 386s|970000 | 205 | 615 |8663k| 267 | - | 500 |6030 |3588 | 0 | 0 | 26 | 561k| 33 | 2.500000e+01 | -- | Inf
406.18/406.34 c 390s|980000 | 206 | 615 |8675k| 267 | - | 500 |6056 |3546 | 0 | 0 | 26 | 567k| 33 | 2.500000e+01 | -- | Inf
410.38/410.51 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
410.38/410.51 c 394s|990000 | 204 | 615 |8668k| 267 | - | 500 |6045 |3638 | 0 | 0 | 26 | 573k| 33 | 2.500000e+01 | -- | Inf
414.28/414.50 c 398s| 1000k| 202 | 615 |8670k| 267 | - | 500 |6048 |3596 | 0 | 0 | 26 | 579k| 33 | 2.500000e+01 | -- | Inf
418.38/418.54 c 401s| 1010k| 195 | 615 |8657k| 267 | - | 500 |6032 |3721 | 0 | 0 | 26 | 585k| 33 | 2.500000e+01 | -- | Inf
422.48/422.62 c 405s| 1020k| 199 | 615 |8662k| 267 | - | 500 |6035 |3651 | 0 | 0 | 26 | 590k| 33 | 2.500000e+01 | -- | Inf
426.68/426.81 c 409s| 1030k| 207 | 615 |8662k| 267 | - | 500 |6032 |3600 | 0 | 0 | 26 | 596k| 33 | 2.500000e+01 | -- | Inf
430.37/430.52 c 413s| 1040k| 205 | 615 |8668k| 267 | - | 500 |6047 |3586 | 0 | 0 | 26 | 602k| 33 | 2.500000e+01 | -- | Inf
434.28/434.43 c 417s| 1050k| 207 | 615 |8664k| 267 | - | 500 |6038 |3624 | 0 | 0 | 26 | 608k| 33 | 2.500000e+01 | -- | Inf
438.38/438.52 c 421s| 1060k| 202 | 615 |8668k| 267 | - | 500 |6040 |3598 | 0 | 0 | 26 | 614k| 33 | 2.500000e+01 | -- | Inf
442.47/442.69 c 425s| 1070k| 197 | 615 |8671k| 267 | - | 500 |6055 |3691 | 0 | 0 | 26 | 620k| 33 | 2.500000e+01 | -- | Inf
446.48/446.69 c 428s| 1080k| 196 | 615 |8658k| 267 | - | 500 |6028 |3638 | 0 | 0 | 26 | 626k| 33 | 2.500000e+01 | -- | Inf
450.47/450.61 c 432s| 1090k| 200 | 615 |8669k| 267 | - | 500 |6046 |3650 | 0 | 0 | 26 | 631k| 33 | 2.500000e+01 | -- | Inf
454.46/454.63 c 436s| 1100k| 199 | 615 |8660k| 267 | - | 500 |6028 |3655 | 0 | 0 | 26 | 637k| 33 | 2.500000e+01 | -- | Inf
458.57/458.73 c 440s| 1110k| 205 | 615 |8667k| 267 | - | 500 |6042 |3626 | 0 | 0 | 26 | 643k| 33 | 2.500000e+01 | -- | Inf
462.46/462.66 c 444s| 1120k| 198 | 615 |8662k| 267 | - | 500 |6038 |3700 | 0 | 0 | 26 | 649k| 33 | 2.500000e+01 | -- | Inf
466.27/466.47 c 447s| 1130k| 198 | 615 |8674k| 267 | - | 500 |6054 |3651 | 0 | 0 | 26 | 654k| 33 | 2.500000e+01 | -- | Inf
470.26/470.46 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
470.26/470.46 c 451s| 1140k| 201 | 615 |8675k| 267 | - | 500 |6051 |3571 | 0 | 0 | 26 | 660k| 33 | 2.500000e+01 | -- | Inf
474.26/474.43 c 455s| 1150k| 194 | 615 |8669k| 267 | - | 500 |6039 |3660 | 0 | 0 | 26 | 666k| 33 | 2.500000e+01 | -- | Inf
478.26/478.42 c 459s| 1160k| 194 | 615 |8667k| 267 | - | 500 |6038 |3605 | 0 | 0 | 26 | 672k| 33 | 2.500000e+01 | -- | Inf
482.26/482.43 c 463s| 1170k| 194 | 615 |8657k| 267 | - | 500 |6027 |3781 | 0 | 0 | 26 | 677k| 33 | 2.500000e+01 | -- | Inf
486.36/486.53 c 467s| 1180k| 209 | 615 |8666k| 267 | - | 500 |6032 |3578 | 0 | 0 | 26 | 683k| 33 | 2.500000e+01 | -- | Inf
490.36/490.59 c 470s| 1190k| 199 | 615 |8656k| 267 | - | 500 |6025 |3676 | 0 | 0 | 26 | 689k| 33 | 2.500000e+01 | -- | Inf
494.26/494.40 c 474s| 1200k| 206 | 615 |8669k| 267 | - | 500 |6040 |3621 | 0 | 0 | 26 | 695k| 33 | 2.500000e+01 | -- | Inf
498.06/498.27 c 478s| 1210k| 205 | 615 |8664k| 267 | - | 500 |6031 |3558 | 0 | 0 | 26 | 700k| 33 | 2.500000e+01 | -- | Inf
502.16/502.36 c 482s| 1220k| 197 | 615 |8672k| 267 | - | 500 |6042 |3590 | 0 | 0 | 26 | 706k| 33 | 2.500000e+01 | -- | Inf
506.35/506.54 c 486s| 1230k| 200 | 615 |8661k| 267 | - | 500 |6026 |3580 | 0 | 0 | 26 | 712k| 33 | 2.500000e+01 | -- | Inf
510.25/510.48 c 490s| 1240k| 201 | 615 |8666k| 267 | - | 500 |6034 |3551 | 0 | 0 | 26 | 718k| 33 | 2.500000e+01 | -- | Inf
514.25/514.49 c 493s| 1250k| 209 | 615 |8665k| 267 | - | 500 |6030 |3545 | 0 | 0 | 26 | 723k| 33 | 2.500000e+01 | -- | Inf
518.55/518.75 c 497s| 1260k| 201 | 615 |8662k| 267 | - | 500 |6027 |3610 | 0 | 0 | 26 | 729k| 33 | 2.500000e+01 | -- | Inf
522.64/522.82 c 501s| 1270k| 206 | 615 |8661k| 267 | - | 500 |6029 |3710 | 0 | 0 | 26 | 735k| 33 | 2.500000e+01 | -- | Inf
526.85/527.06 c 505s| 1280k| 199 | 615 |8665k| 267 | - | 500 |6034 |3688 | 0 | 0 | 26 | 741k| 33 | 2.500000e+01 | -- | Inf
531.05/531.22 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
531.05/531.22 c 509s| 1290k| 200 | 615 |8670k| 267 | - | 500 |6047 |3577 | 0 | 0 | 26 | 747k| 33 | 2.500000e+01 | -- | Inf
535.15/535.37 c 513s| 1300k| 199 | 615 |8660k| 267 | - | 500 |6028 |3665 | 0 | 0 | 26 | 753k| 33 | 2.500000e+01 | -- | Inf
539.24/539.43 c 517s| 1310k| 200 | 615 |8668k| 267 | - | 500 |6039 |3558 | 0 | 0 | 26 | 758k| 33 | 2.500000e+01 | -- | Inf
543.34/543.57 c 521s| 1320k| 201 | 615 |8662k| 267 | - | 500 |6032 |3614 | 0 | 0 | 26 | 764k| 33 | 2.500000e+01 | -- | Inf
547.55/547.73 c 525s| 1330k| 189 | 615 |8657k| 267 | - | 500 |6029 |3793 | 0 | 0 | 26 | 770k| 33 | 2.500000e+01 | -- | Inf
551.54/551.72 c 529s| 1340k| 194 | 615 |8663k| 267 | - | 500 |6036 |3673 | 0 | 0 | 26 | 776k| 33 | 2.500000e+01 | -- | Inf
555.84/556.02 c 533s| 1350k| 191 | 615 |8659k| 267 | - | 500 |6026 |3682 | 0 | 0 | 26 | 782k| 33 | 2.500000e+01 | -- | Inf
559.94/560.11 c 537s| 1360k| 192 | 615 |8665k| 267 | - | 500 |6032 |3613 | 0 | 0 | 26 | 788k| 33 | 2.500000e+01 | -- | Inf
564.23/564.42 c 541s| 1370k| 200 | 615 |8664k| 267 | - | 500 |6034 |3652 | 0 | 0 | 26 | 793k| 33 | 2.500000e+01 | -- | Inf
568.44/568.64 c 545s| 1380k| 211 | 615 |8666k| 267 | - | 500 |6031 |3566 | 0 | 0 | 26 | 799k| 33 | 2.500000e+01 | -- | Inf
572.53/572.79 c 549s| 1390k| 190 | 615 |8665k| 267 | - | 500 |6032 |3550 | 0 | 0 | 26 | 805k| 33 | 2.500000e+01 | -- | Inf
576.74/576.99 c 553s| 1400k| 196 | 615 |8660k| 267 | - | 500 |6026 |3671 | 0 | 0 | 26 | 811k| 33 | 2.500000e+01 | -- | Inf
581.23/581.44 c 558s| 1410k| 199 | 615 |8661k| 267 | - | 500 |6027 |3691 | 0 | 0 | 26 | 816k| 33 | 2.500000e+01 | -- | Inf
585.44/585.61 c 562s| 1420k| 197 | 615 |8660k| 267 | - | 500 |6028 |3679 | 0 | 0 | 26 | 822k| 33 | 2.500000e+01 | -- | Inf
589.53/589.71 c 566s| 1430k| 204 | 615 |8675k| 267 | - | 500 |6047 |3578 | 0 | 0 | 26 | 828k| 33 | 2.500000e+01 | -- | Inf
593.13/593.39 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
593.13/593.39 c 569s| 1440k| 195 | 615 |8673k| 267 | - | 500 |6051 |3692 | 0 | 0 | 26 | 833k| 33 | 2.500000e+01 | -- | Inf
597.03/597.22 c 573s| 1450k| 209 | 615 |8677k| 267 | - | 500 |6049 |3532 | 0 | 0 | 26 | 839k| 33 | 2.500000e+01 | -- | Inf
600.73/600.96 c 576s| 1460k| 199 | 615 |8675k| 267 | - | 500 |6045 |3599 | 0 | 0 | 26 | 845k| 33 | 2.500000e+01 | -- | Inf
604.63/604.88 c 580s| 1470k| 197 | 615 |8679k| 267 | - | 500 |6061 |3711 | 0 | 0 | 26 | 850k| 33 | 2.500000e+01 | -- | Inf
609.02/609.27 c 584s| 1480k| 201 | 615 |8666k| 267 | - | 500 |6029 |3548 | 0 | 0 | 26 | 856k| 33 | 2.500000e+01 | -- | Inf
613.32/613.59 c 588s| 1490k| 199 | 615 |8666k| 267 | - | 500 |6035 |3620 | 0 | 0 | 26 | 862k| 33 | 2.500000e+01 | -- | Inf
617.52/617.79 c 592s| 1500k| 199 | 615 |8660k| 267 | - | 500 |6028 |3721 | 0 | 0 | 26 | 868k| 33 | 2.500000e+01 | -- | Inf
621.62/621.83 c 596s| 1510k| 197 | 615 |8670k| 267 | - | 500 |6040 |3652 | 0 | 0 | 26 | 874k| 33 | 2.500000e+01 | -- | Inf
625.63/625.81 c 600s| 1520k| 197 | 615 |8674k| 267 | - | 500 |6045 |3523 | 0 | 0 | 26 | 879k| 33 | 2.500000e+01 | -- | Inf
629.72/629.97 c 604s| 1530k| 200 | 615 |8666k| 267 | - | 500 |6029 |3617 | 0 | 0 | 26 | 885k| 33 | 2.500000e+01 | -- | Inf
633.82/634.01 c 608s| 1540k| 194 | 615 |8666k| 267 | - | 500 |6028 |3583 | 0 | 0 | 26 | 891k| 33 | 2.500000e+01 | -- | Inf
637.92/638.17 c 612s| 1550k| 200 | 615 |8669k| 267 | - | 500 |6039 |3554 | 0 | 0 | 26 | 897k| 33 | 2.500000e+01 | -- | Inf
642.02/642.24 c 616s| 1560k| 197 | 615 |8674k| 267 | - | 500 |6047 |3606 | 0 | 0 | 26 | 903k| 33 | 2.500000e+01 | -- | Inf
646.21/646.45 c 620s| 1570k| 195 | 615 |8661k| 267 | - | 500 |6028 |3708 | 0 | 0 | 26 | 909k| 33 | 2.500000e+01 | -- | Inf
650.31/650.52 c 624s| 1580k| 194 | 615 |8669k| 267 | - | 500 |6040 |3683 | 0 | 0 | 26 | 915k| 33 | 2.500000e+01 | -- | Inf
654.41/654.61 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
654.41/654.61 c 628s| 1590k| 187 | 615 |8667k| 267 | - | 500 |6043 |3751 | 0 | 0 | 26 | 920k| 33 | 2.500000e+01 | -- | Inf
658.31/658.57 c 632s| 1600k| 202 | 615 |8669k| 267 | - | 500 |6030 |3586 | 0 | 0 | 26 | 926k| 33 | 2.500000e+01 | -- | Inf
662.31/662.55 c 635s| 1610k| 189 | 615 |8674k| 267 | - | 500 |6054 |3707 | 0 | 0 | 26 | 932k| 33 | 2.500000e+01 | -- | Inf
666.41/666.64 c 639s| 1620k| 199 | 615 |8667k| 267 | - | 500 |6037 |3709 | 0 | 0 | 26 | 938k| 33 | 2.500000e+01 | -- | Inf
670.41/670.68 c 643s| 1630k| 196 | 615 |8666k| 267 | - | 500 |6037 |3723 | 0 | 0 | 26 | 943k| 33 | 2.500000e+01 | -- | Inf
674.71/674.94 c 647s| 1640k| 197 | 615 |8667k| 267 | - | 500 |6037 |3596 | 0 | 0 | 26 | 949k| 33 | 2.500000e+01 | -- | Inf
679.01/679.29 c 651s| 1650k| 198 | 615 |8664k| 267 | - | 500 |6025 |3573 | 0 | 0 | 26 | 955k| 33 | 2.500000e+01 | -- | Inf
683.11/683.36 c 655s| 1660k| 205 | 615 |8671k| 267 | - | 500 |6038 |3546 | 0 | 0 | 26 | 961k| 33 | 2.500000e+01 | -- | Inf
687.50/687.72 c 660s| 1670k| 193 | 615 |8660k| 267 | - | 500 |6026 |3660 | 0 | 0 | 26 | 967k| 33 | 2.500000e+01 | -- | Inf
691.51/691.70 c 663s| 1680k| 206 | 615 |8669k| 267 | - | 500 |6039 |3553 | 0 | 0 | 26 | 973k| 33 | 2.500000e+01 | -- | Inf
695.40/695.63 c 667s| 1690k| 201 | 615 |8661k| 267 | - | 500 |6025 |3671 | 0 | 0 | 26 | 979k| 33 | 2.500000e+01 | -- | Inf
699.41/699.62 c 671s| 1700k| 195 | 615 |8674k| 267 | - | 500 |6048 |3602 | 0 | 0 | 26 | 984k| 33 | 2.500000e+01 | -- | Inf
703.30/703.50 c 675s| 1710k| 198 | 615 |8667k| 267 | - | 500 |6034 |3560 | 0 | 0 | 26 | 990k| 33 | 2.500000e+01 | -- | Inf
707.30/707.56 c 679s| 1720k| 196 | 615 |8665k| 267 | - | 500 |6032 |3668 | 0 | 0 | 26 | 996k| 33 | 2.500000e+01 | -- | Inf
711.20/711.49 c 682s| 1730k| 202 | 615 |8670k| 267 | - | 500 |6035 |3550 | 0 | 0 | 26 |1001k| 33 | 2.500000e+01 | -- | Inf
715.29/715.51 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
715.29/715.51 c 686s| 1740k| 205 | 615 |8668k| 267 | - | 500 |6036 |3717 | 0 | 0 | 26 |1007k| 33 | 2.500000e+01 | -- | Inf
719.30/719.54 c 690s| 1750k| 206 | 615 |8670k| 267 | - | 500 |6040 |3638 | 0 | 0 | 26 |1013k| 33 | 2.500000e+01 | -- | Inf
723.30/723.51 c 694s| 1760k| 197 | 615 |8667k| 267 | - | 500 |6035 |3645 | 0 | 0 | 26 |1019k| 33 | 2.500000e+01 | -- | Inf
727.49/727.72 c 698s| 1770k| 204 | 615 |8663k| 267 | - | 500 |6027 |3528 | 0 | 0 | 26 |1025k| 33 | 2.500000e+01 | -- | Inf
731.60/731.85 c 702s| 1780k| 189 | 615 |8661k| 267 | - | 500 |6036 |3844 | 0 | 0 | 26 |1031k| 33 | 2.500000e+01 | -- | Inf
735.70/735.95 c 706s| 1790k| 196 | 615 |8667k| 267 | - | 500 |6038 |3679 | 0 | 0 | 26 |1037k| 33 | 2.500000e+01 | -- | Inf
740.00/740.21 c 710s| 1800k| 198 | 615 |8669k| 267 | - | 500 |6035 |3576 | 0 | 0 | 26 |1042k| 33 | 2.500000e+01 | -- | Inf
744.19/744.44 c 714s| 1810k| 203 | 615 |8673k| 267 | - | 500 |6042 |3549 | 0 | 0 | 26 |1048k| 33 | 2.500000e+01 | -- | Inf
748.29/748.55 c 718s| 1820k| 206 | 615 |8666k| 267 | - | 500 |6029 |3577 | 0 | 0 | 26 |1054k| 33 | 2.500000e+01 | -- | Inf
752.38/752.65 c 722s| 1830k| 193 | 615 |8665k| 267 | - | 500 |6027 |3564 | 0 | 0 | 26 |1060k| 33 | 2.500000e+01 | -- | Inf
756.69/756.94 c 726s| 1840k| 192 | 615 |8664k| 267 | - | 500 |6026 |3596 | 0 | 0 | 26 |1066k| 33 | 2.500000e+01 | -- | Inf
760.78/761.10 c 730s| 1850k| 195 | 615 |8672k| 267 | - | 500 |6046 |3589 | 0 | 0 | 26 |1072k| 33 | 2.500000e+01 | -- | Inf
764.88/765.16 c 734s| 1860k| 193 | 615 |8671k| 267 | - | 500 |6038 |3532 | 0 | 0 | 26 |1077k| 33 | 2.500000e+01 | -- | Inf
769.09/769.36 c 738s| 1870k| 186 | 615 |8659k| 267 | - | 500 |6029 |3734 | 0 | 0 | 26 |1083k| 33 | 2.500000e+01 | -- | Inf
773.28/773.52 c 742s| 1880k| 200 | 615 |8666k| 267 | - | 500 |6025 |3584 | 0 | 0 | 26 |1089k| 33 | 2.500000e+01 | -- | Inf
777.28/777.56 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
777.28/777.56 c 746s| 1890k| 201 | 615 |8669k| 267 | - | 500 |6041 |3608 | 0 | 0 | 26 |1095k| 33 | 2.500000e+01 | -- | Inf
781.48/781.76 c 750s| 1900k| 197 | 615 |8666k| 267 | - | 500 |6035 |3728 | 0 | 0 | 26 |1101k| 33 | 2.500000e+01 | -- | Inf
785.78/786.00 c 754s| 1910k| 193 | 615 |8674k| 267 | - | 500 |6044 |3629 | 0 | 0 | 26 |1107k| 33 | 2.500000e+01 | -- | Inf
789.68/789.95 c 758s| 1920k| 196 | 615 |8672k| 267 | - | 500 |6050 |3694 | 0 | 0 | 26 |1112k| 33 | 2.500000e+01 | -- | Inf
793.77/794.05 c 761s| 1930k| 196 | 615 |8677k| 267 | - | 500 |6051 |3619 | 0 | 0 | 26 |1118k| 33 | 2.500000e+01 | -- | Inf
797.97/798.20 c 765s| 1940k| 199 | 615 |8664k| 267 | - | 500 |6032 |3686 | 0 | 0 | 26 |1124k| 33 | 2.500000e+01 | -- | Inf
801.97/802.27 c 769s| 1950k| 198 | 615 |8670k| 267 | - | 500 |6036 |3591 | 0 | 0 | 26 |1130k| 33 | 2.500000e+01 | -- | Inf
806.17/806.49 c 773s| 1960k| 189 | 615 |8669k| 267 | - | 500 |6043 |3675 | 0 | 0 | 26 |1136k| 33 | 2.500000e+01 | -- | Inf
810.47/810.70 c 777s| 1970k| 188 | 615 |8669k| 267 | - | 500 |6041 |3585 | 0 | 0 | 26 |1142k| 33 | 2.500000e+01 | -- | Inf
814.37/814.69 c 781s| 1980k| 191 | 615 |8667k| 267 | - | 500 |6039 |3658 | 0 | 0 | 26 |1148k| 33 | 2.500000e+01 | -- | Inf
818.47/818.77 c 785s| 1990k| 201 | 615 |8677k| 267 | - | 500 |6047 |3625 | 0 | 0 | 26 |1153k| 33 | 2.500000e+01 | -- | Inf
822.47/822.72 c 789s| 2000k| 205 | 615 |8671k| 267 | - | 500 |6038 |3711 | 0 | 0 | 26 |1159k| 33 | 2.500000e+01 | -- | Inf
826.37/826.68 c 793s| 2010k| 191 | 615 |8663k| 267 | - | 500 |6035 |3813 | 0 | 0 | 26 |1165k| 33 | 2.500000e+01 | -- | Inf
830.37/830.68 c 797s| 2020k| 203 | 615 |8675k| 267 | - | 500 |6042 |3632 | 0 | 0 | 26 |1171k| 33 | 2.500000e+01 | -- | Inf
834.37/834.66 c 800s| 2030k| 211 | 615 |8683k| 267 | - | 500 |6057 |3496 | 0 | 0 | 26 |1177k| 33 | 2.500000e+01 | -- | Inf
838.27/838.56 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
838.27/838.56 c 804s| 2040k| 203 | 615 |8682k| 267 | - | 500 |6052 |3562 | 0 | 0 | 26 |1182k| 33 | 2.500000e+01 | -- | Inf
842.27/842.54 c 808s| 2050k| 206 | 615 |8675k| 267 | - | 500 |6041 |3518 | 0 | 0 | 26 |1188k| 33 | 2.500000e+01 | -- | Inf
846.37/846.61 c 812s| 2060k| 195 | 615 |8677k| 267 | - | 500 |6044 |3594 | 0 | 0 | 26 |1194k| 33 | 2.500000e+01 | -- | Inf
850.26/850.54 c 816s| 2070k| 195 | 615 |8679k| 267 | - | 500 |6052 |3602 | 0 | 0 | 26 |1200k| 33 | 2.500000e+01 | -- | Inf
854.26/854.56 c 819s| 2080k| 197 | 615 |8672k| 267 | - | 500 |6037 |3637 | 0 | 0 | 26 |1206k| 33 | 2.500000e+01 | -- | Inf
858.06/858.37 c 823s| 2090k| 196 | 615 |8677k| 267 | - | 500 |6052 |3572 | 0 | 0 | 26 |1211k| 33 | 2.500000e+01 | -- | Inf
862.26/862.51 c 827s| 2100k| 215 | 615 |8678k| 267 | - | 500 |6042 |3469 | 0 | 0 | 26 |1217k| 33 | 2.500000e+01 | -- | Inf
866.26/866.51 c 831s| 2110k| 208 | 615 |8673k| 267 | - | 500 |6042 |3597 | 0 | 0 | 26 |1223k| 33 | 2.500000e+01 | -- | Inf
870.16/870.41 c 835s| 2120k| 199 | 615 |8675k| 267 | - | 500 |6051 |3622 | 0 | 0 | 26 |1228k| 33 | 2.500000e+01 | -- | Inf
874.15/874.50 c 839s| 2130k| 211 | 615 |8672k| 267 | - | 500 |6035 |3584 | 0 | 0 | 26 |1234k| 33 | 2.500000e+01 | -- | Inf
878.26/878.59 c 842s| 2140k| 209 | 615 |8674k| 267 | - | 500 |6041 |3521 | 0 | 0 | 26 |1240k| 33 | 2.500000e+01 | -- | Inf
882.56/882.84 c 847s| 2150k| 198 | 615 |8685k| 267 | - | 500 |6055 |3424 | 0 | 0 | 26 |1246k| 33 | 2.500000e+01 | -- | Inf
886.75/887.00 c 851s| 2160k| 203 | 615 |8677k| 267 | - | 500 |6045 |3472 | 0 | 0 | 26 |1252k| 33 | 2.500000e+01 | -- | Inf
890.85/891.12 c 854s| 2170k| 194 | 615 |8682k| 267 | - | 500 |6053 |3585 | 0 | 0 | 26 |1258k| 33 | 2.500000e+01 | -- | Inf
894.65/894.96 c 858s| 2180k| 206 | 615 |8680k| 267 | - | 500 |6051 |3523 | 0 | 0 | 26 |1264k| 33 | 2.500000e+01 | -- | Inf
898.65/898.96 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
898.65/898.96 c 862s| 2190k| 199 | 615 |8682k| 267 | - | 500 |6052 |3563 | 0 | 0 | 26 |1270k| 33 | 2.500000e+01 | -- | Inf
902.54/902.88 c 866s| 2200k| 195 | 615 |8677k| 267 | - | 500 |6052 |3700 | 0 | 0 | 26 |1275k| 33 | 2.500000e+01 | -- | Inf
906.54/906.84 c 870s| 2210k| 200 | 615 |8679k| 267 | - | 500 |6050 |3615 | 0 | 0 | 26 |1281k| 33 | 2.500000e+01 | -- | Inf
910.54/910.82 c 873s| 2220k| 196 | 615 |8688k| 267 | - | 500 |6065 |3588 | 0 | 0 | 26 |1287k| 33 | 2.500000e+01 | -- | Inf
914.65/914.94 c 877s| 2230k| 199 | 615 |8670k| 267 | - | 500 |6032 |3637 | 0 | 0 | 26 |1293k| 33 | 2.500000e+01 | -- | Inf
918.94/919.25 c 881s| 2240k| 194 | 615 |8668k| 267 | - | 500 |6033 |3671 | 0 | 0 | 26 |1299k| 33 | 2.500000e+01 | -- | Inf
923.14/923.41 c 885s| 2250k| 198 | 615 |8671k| 267 | - | 500 |6032 |3610 | 0 | 0 | 26 |1304k| 33 | 2.500000e+01 | -- | Inf
927.14/927.45 c 889s| 2260k| 197 | 615 |8676k| 267 | - | 500 |6042 |3591 | 0 | 0 | 26 |1310k| 33 | 2.500000e+01 | -- | Inf
931.35/931.68 c 893s| 2270k| 188 | 615 |8670k| 267 | - | 500 |6040 |3720 | 0 | 0 | 26 |1316k| 33 | 2.500000e+01 | -- | Inf
935.54/935.81 c 897s| 2280k| 195 | 615 |8668k| 267 | - | 500 |6035 |3719 | 0 | 0 | 26 |1322k| 33 | 2.500000e+01 | -- | Inf
939.73/940.06 c 901s| 2290k| 194 | 615 |8672k| 267 | - | 500 |6033 |3596 | 0 | 0 | 26 |1328k| 33 | 2.500000e+01 | -- | Inf
943.84/944.11 c 905s| 2300k| 193 | 615 |8682k| 267 | - | 500 |6058 |3559 | 0 | 0 | 26 |1333k| 33 | 2.500000e+01 | -- | Inf
947.84/948.17 c 909s| 2310k| 199 | 615 |8674k| 267 | - | 500 |6040 |3591 | 0 | 0 | 26 |1339k| 33 | 2.500000e+01 | -- | Inf
952.04/952.32 c 913s| 2320k| 194 | 615 |8669k| 267 | - | 500 |6033 |3597 | 0 | 0 | 26 |1345k| 33 | 2.500000e+01 | -- | Inf
956.13/956.48 c 917s| 2330k| 199 | 615 |8675k| 267 | - | 500 |6042 |3620 | 0 | 0 | 26 |1351k| 33 | 2.500000e+01 | -- | Inf
960.14/960.48 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
960.14/960.48 c 921s| 2340k| 194 | 615 |8676k| 267 | - | 500 |6044 |3639 | 0 | 0 | 26 |1356k| 33 | 2.500000e+01 | -- | Inf
964.33/964.69 c 925s| 2350k| 197 | 615 |8674k| 267 | - | 500 |6036 |3601 | 0 | 0 | 26 |1362k| 33 | 2.500000e+01 | -- | Inf
968.53/968.86 c 929s| 2360k| 188 | 615 |8673k| 267 | - | 500 |6033 |3692 | 0 | 0 | 26 |1368k| 33 | 2.500000e+01 | -- | Inf
972.73/973.01 c 933s| 2370k| 198 | 615 |8676k| 267 | - | 500 |6046 |3688 | 0 | 0 | 26 |1374k| 33 | 2.500000e+01 | -- | Inf
976.62/976.99 c 937s| 2380k| 194 | 615 |8683k| 267 | - | 500 |6056 |3645 | 0 | 0 | 26 |1379k| 33 | 2.500000e+01 | -- | Inf
980.73/981.05 c 941s| 2390k| 194 | 615 |8685k| 267 | - | 500 |6060 |3668 | 0 | 0 | 26 |1385k| 33 | 2.500000e+01 | -- | Inf
984.83/985.14 c 945s| 2400k| 202 | 615 |8686k| 267 | - | 500 |6059 |3568 | 0 | 0 | 26 |1391k| 33 | 2.500000e+01 | -- | Inf
988.92/989.24 c 949s| 2410k| 194 | 615 |8680k| 267 | - | 500 |6051 |3614 | 0 | 0 | 26 |1397k| 33 | 2.500000e+01 | -- | Inf
993.03/993.35 c 953s| 2420k| 197 | 615 |8682k| 267 | - | 500 |6053 |3582 | 0 | 0 | 26 |1403k| 33 | 2.500000e+01 | -- | Inf
997.02/997.34 c 956s| 2430k| 189 | 615 |8679k| 267 | - | 500 |6053 |3683 | 0 | 0 | 26 |1409k| 33 | 2.500000e+01 | -- | Inf
1001.12/1001.47 c 960s| 2440k| 191 | 615 |8673k| 267 | - | 500 |6043 |3770 | 0 | 0 | 26 |1414k| 33 | 2.500000e+01 | -- | Inf
1005.22/1005.59 c 964s| 2450k| 189 | 615 |8679k| 267 | - | 500 |6056 |3714 | 0 | 0 | 26 |1420k| 33 | 2.500000e+01 | -- | Inf
1009.22/1009.56 c 968s| 2460k| 192 | 615 |8680k| 267 | - | 500 |6054 |3594 | 0 | 0 | 26 |1426k| 33 | 2.500000e+01 | -- | Inf
1013.22/1013.54 c 972s| 2470k| 186 | 615 |8684k| 267 | - | 500 |6062 |3598 | 0 | 0 | 26 |1432k| 33 | 2.500000e+01 | -- | Inf
1017.22/1017.52 c 976s| 2480k| 197 | 615 |8673k| 267 | - | 500 |6039 |3729 | 0 | 0 | 26 |1438k| 33 | 2.500000e+01 | -- | Inf
1021.22/1021.54 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1021.22/1021.54 c 980s| 2490k| 194 | 615 |8676k| 267 | - | 500 |6047 |3686 | 0 | 0 | 26 |1443k| 33 | 2.500000e+01 | -- | Inf
1025.31/1025.63 c 984s| 2500k| 191 | 615 |8684k| 267 | - | 500 |6052 |3632 | 0 | 0 | 26 |1449k| 33 | 2.500000e+01 | -- | Inf
1029.21/1029.54 c 987s| 2510k| 190 | 615 |8678k| 267 | - | 500 |6053 |3822 | 0 | 0 | 26 |1455k| 33 | 2.500000e+01 | -- | Inf
1033.22/1033.52 c 991s| 2520k| 200 | 615 |8677k| 267 | - | 500 |6038 |3547 | 0 | 0 | 26 |1460k| 33 | 2.500000e+01 | -- | Inf
1037.51/1037.81 c 995s| 2530k| 200 | 615 |8676k| 267 | - | 500 |6036 |3534 | 0 | 0 | 26 |1466k| 33 | 2.500000e+01 | -- | Inf
1041.71/1042.03 c 999s| 2540k| 191 | 615 |8677k| 267 | - | 500 |6045 |3559 | 0 | 0 | 26 |1472k| 33 | 2.500000e+01 | -- | Inf
1045.91/1046.23 c 1003s| 2550k| 190 | 615 |8674k| 267 | - | 500 |6039 |3645 | 0 | 0 | 26 |1478k| 33 | 2.500000e+01 | -- | Inf
1050.01/1050.36 c 1007s| 2560k| 192 | 615 |8687k| 267 | - | 500 |6061 |3661 | 0 | 0 | 26 |1484k| 33 | 2.500000e+01 | -- | Inf
1054.10/1054.47 c 1011s| 2570k| 206 | 615 |8681k| 267 | - | 500 |6045 |3501 | 0 | 0 | 26 |1489k| 33 | 2.500000e+01 | -- | Inf
1058.20/1058.52 c 1015s| 2580k| 200 | 615 |8681k| 267 | - | 500 |6049 |3582 | 0 | 0 | 26 |1495k| 33 | 2.500000e+01 | -- | Inf
1062.20/1062.56 c 1019s| 2590k| 195 | 615 |8682k| 267 | - | 500 |6054 |3669 | 0 | 0 | 26 |1501k| 33 | 2.500000e+01 | -- | Inf
1066.40/1066.74 c 1023s| 2600k| 198 | 615 |8684k| 267 | - | 500 |6053 |3553 | 0 | 0 | 26 |1507k| 33 | 2.500000e+01 | -- | Inf
1070.50/1070.81 c 1027s| 2610k| 195 | 615 |8678k| 267 | - | 500 |6050 |3690 | 0 | 0 | 26 |1512k| 33 | 2.500000e+01 | -- | Inf
1074.50/1074.80 c 1031s| 2620k| 189 | 615 |8691k| 267 | - | 500 |6061 |3603 | 0 | 0 | 26 |1518k| 33 | 2.500000e+01 | -- | Inf
1078.50/1078.81 c 1035s| 2630k| 188 | 615 |8680k| 267 | - | 500 |6048 |3614 | 0 | 0 | 26 |1524k| 33 | 2.500000e+01 | -- | Inf
1082.70/1083.06 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1082.70/1083.06 c 1039s| 2640k| 199 | 615 |8682k| 267 | - | 500 |6050 |3493 | 0 | 0 | 26 |1530k| 33 | 2.500000e+01 | -- | Inf
1087.10/1087.49 c 1043s| 2650k| 197 | 615 |8675k| 267 | - | 500 |6045 |3659 | 0 | 0 | 26 |1536k| 33 | 2.500000e+01 | -- | Inf
1091.20/1091.59 c 1047s| 2660k| 193 | 615 |8683k| 267 | - | 500 |6051 |3619 | 0 | 0 | 26 |1542k| 33 | 2.500000e+01 | -- | Inf
1095.30/1095.67 c 1051s| 2670k| 196 | 615 |8688k| 267 | - | 500 |6064 |3623 | 0 | 0 | 26 |1547k| 33 | 2.500000e+01 | -- | Inf
1099.60/1099.91 c 1055s| 2680k| 192 | 615 |8678k| 267 | - | 500 |6049 |3655 | 0 | 0 | 26 |1553k| 33 | 2.500000e+01 | -- | Inf
1103.79/1104.14 c 1059s| 2690k| 188 | 615 |8683k| 267 | - | 500 |6060 |3602 | 0 | 0 | 26 |1559k| 33 | 2.500000e+01 | -- | Inf
1107.80/1108.12 c 1063s| 2700k| 199 | 615 |8679k| 267 | - | 500 |6047 |3558 | 0 | 0 | 26 |1565k| 33 | 2.500000e+01 | -- | Inf
1111.70/1112.08 c 1067s| 2710k| 190 | 615 |8674k| 267 | - | 500 |6041 |3682 | 0 | 0 | 26 |1571k| 33 | 2.500000e+01 | -- | Inf
1115.99/1116.37 c 1071s| 2720k| 191 | 615 |8677k| 267 | - | 500 |6041 |3645 | 0 | 0 | 26 |1576k| 33 | 2.500000e+01 | -- | Inf
1120.19/1120.59 c 1075s| 2730k| 194 | 615 |8673k| 267 | - | 500 |6036 |3765 | 0 | 0 | 26 |1582k| 33 | 2.500000e+01 | -- | Inf
1124.49/1124.88 c 1079s| 2740k| 189 | 615 |8677k| 267 | - | 500 |6047 |3670 | 0 | 0 | 26 |1588k| 33 | 2.500000e+01 | -- | Inf
1128.69/1129.03 c 1083s| 2750k| 193 | 615 |8683k| 267 | - | 500 |6056 |3588 | 0 | 0 | 26 |1594k| 33 | 2.500000e+01 | -- | Inf
1132.78/1133.14 c 1087s| 2760k| 185 | 615 |8674k| 267 | - | 500 |6045 |3715 | 0 | 0 | 26 |1600k| 33 | 2.500000e+01 | -- | Inf
1136.99/1137.34 c 1091s| 2770k| 193 | 615 |8675k| 267 | - | 500 |6037 |3669 | 0 | 0 | 26 |1605k| 33 | 2.500000e+01 | -- | Inf
1141.28/1141.64 c 1095s| 2780k| 185 | 615 |8674k| 267 | - | 500 |6036 |3704 | 0 | 0 | 26 |1611k| 33 | 2.500000e+01 | -- | Inf
1145.18/1145.55 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1145.18/1145.55 c 1099s| 2790k| 205 | 615 |8677k| 267 | - | 500 |6032 |3516 | 0 | 0 | 26 |1617k| 33 | 2.500000e+01 | -- | Inf
1149.78/1150.13 c 1103s| 2800k| 192 | 615 |8674k| 267 | - | 500 |6032 |3526 | 0 | 0 | 26 |1623k| 33 | 2.500000e+01 | -- | Inf
1154.08/1154.46 c 1107s| 2810k| 198 | 615 |8686k| 267 | - | 500 |6058 |3613 | 0 | 0 | 26 |1629k| 33 | 2.500000e+01 | -- | Inf
1157.88/1158.26 c 1111s| 2820k| 201 | 615 |8680k| 267 | - | 500 |6047 |3555 | 0 | 0 | 26 |1635k| 33 | 2.500000e+01 | -- | Inf
1161.98/1162.30 c 1115s| 2830k| 189 | 615 |8682k| 267 | - | 500 |6049 |3650 | 0 | 0 | 26 |1640k| 33 | 2.500000e+01 | -- | Inf
1165.97/1166.31 c 1119s| 2840k| 190 | 615 |8681k| 267 | - | 500 |6053 |3588 | 0 | 0 | 26 |1646k| 33 | 2.500000e+01 | -- | Inf
1169.78/1170.19 c 1122s| 2850k| 191 | 615 |8676k| 267 | - | 500 |6044 |3666 | 0 | 0 | 26 |1652k| 33 | 2.500000e+01 | -- | Inf
1173.87/1174.28 c 1126s| 2860k| 196 | 615 |8669k| 267 | - | 500 |6030 |3595 | 0 | 0 | 26 |1658k| 33 | 2.500000e+01 | -- | Inf
1178.37/1178.73 c 1131s| 2870k| 189 | 615 |8674k| 267 | - | 500 |6038 |3731 | 0 | 0 | 26 |1664k| 33 | 2.500000e+01 | -- | Inf
1182.67/1183.01 c 1135s| 2880k| 195 | 615 |8676k| 267 | - | 500 |6039 |3679 | 0 | 0 | 26 |1670k| 33 | 2.500000e+01 | -- | Inf
1186.87/1187.21 c 1139s| 2890k| 195 | 615 |8678k| 267 | - | 500 |6039 |3557 | 0 | 0 | 26 |1675k| 33 | 2.500000e+01 | -- | Inf
1191.07/1191.46 c 1143s| 2900k| 199 | 615 |8679k| 267 | - | 500 |6044 |3545 | 0 | 0 | 26 |1681k| 33 | 2.500000e+01 | -- | Inf
1195.27/1195.65 c 1147s| 2910k| 197 | 615 |8684k| 267 | - | 500 |6056 |3566 | 0 | 0 | 26 |1687k| 33 | 2.500000e+01 | -- | Inf
1199.67/1200.06 c 1151s| 2920k| 199 | 615 |8671k| 267 | - | 500 |6033 |3650 | 0 | 0 | 26 |1693k| 33 | 2.500000e+01 | -- | Inf
1203.96/1204.35 c 1155s| 2930k| 194 | 615 |8673k| 267 | - | 500 |6037 |3699 | 0 | 0 | 26 |1699k| 33 | 2.500000e+01 | -- | Inf
1208.16/1208.58 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1208.16/1208.58 c 1159s| 2940k| 195 | 615 |8670k| 267 | - | 500 |6032 |3638 | 0 | 0 | 26 |1705k| 33 | 2.500000e+01 | -- | Inf
1212.37/1212.74 c 1163s| 2950k| 197 | 615 |8671k| 267 | - | 500 |6027 |3573 | 0 | 0 | 26 |1711k| 33 | 2.500000e+01 | -- | Inf
1216.56/1216.94 c 1167s| 2960k| 185 | 615 |8671k| 267 | - | 500 |6039 |3654 | 0 | 0 | 26 |1716k| 33 | 2.500000e+01 | -- | Inf
1220.76/1221.18 c 1171s| 2970k| 194 | 615 |8673k| 267 | - | 500 |6030 |3595 | 0 | 0 | 26 |1722k| 33 | 2.500000e+01 | -- | Inf
1224.97/1225.40 c 1175s| 2980k| 191 | 615 |8680k| 267 | - | 500 |6048 |3575 | 0 | 0 | 26 |1728k| 33 | 2.500000e+01 | -- | Inf
1229.16/1229.58 c 1179s| 2990k| 197 | 615 |8675k| 267 | - | 500 |6037 |3556 | 0 | 0 | 26 |1734k| 33 | 2.500000e+01 | -- | Inf
1233.46/1233.81 c 1184s| 3000k| 190 | 615 |8678k| 267 | - | 500 |6046 |3547 | 0 | 0 | 26 |1740k| 33 | 2.500000e+01 | -- | Inf
1237.66/1238.06 c 1188s| 3010k| 183 | 615 |8671k| 267 | - | 500 |6029 |3634 | 0 | 0 | 26 |1746k| 33 | 2.500000e+01 | -- | Inf
1241.95/1242.30 c 1192s| 3020k| 194 | 615 |8674k| 267 | - | 500 |6039 |3612 | 0 | 0 | 26 |1752k| 33 | 2.500000e+01 | -- | Inf
1246.26/1246.61 c 1196s| 3030k| 200 | 615 |8670k| 267 | - | 500 |6029 |3642 | 0 | 0 | 26 |1758k| 33 | 2.500000e+01 | -- | Inf
1250.46/1250.85 c 1200s| 3040k| 208 | 615 |8686k| 267 | - | 500 |6054 |3503 | 0 | 0 | 26 |1764k| 33 | 2.500000e+01 | -- | Inf
1254.46/1254.80 c 1204s| 3050k| 206 | 615 |8679k| 267 | - | 500 |6041 |3502 | 0 | 0 | 26 |1769k| 33 | 2.500000e+01 | -- | Inf
1258.25/1258.65 c 1207s| 3060k| 200 | 615 |8682k| 267 | - | 500 |6047 |3598 | 0 | 0 | 26 |1775k| 33 | 2.500000e+01 | -- | Inf
1262.36/1262.78 c 1211s| 3070k| 206 | 615 |8679k| 267 | - | 500 |6039 |3584 | 0 | 0 | 26 |1781k| 33 | 2.500000e+01 | -- | Inf
1266.25/1266.69 c 1215s| 3080k| 195 | 615 |8695k| 267 | - | 500 |6074 |3600 | 0 | 0 | 26 |1786k| 33 | 2.500000e+01 | -- | Inf
1270.45/1270.89 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1270.45/1270.89 c 1219s| 3090k| 205 | 615 |8678k| 267 | - | 500 |6037 |3550 | 0 | 0 | 26 |1792k| 33 | 2.500000e+01 | -- | Inf
1274.35/1274.76 c 1223s| 3100k| 198 | 615 |8682k| 267 | - | 500 |6050 |3632 | 0 | 0 | 26 |1798k| 33 | 2.500000e+01 | -- | Inf
1278.24/1278.68 c 1226s| 3110k| 208 | 615 |8674k| 267 | - | 500 |6030 |3530 | 0 | 0 | 26 |1804k| 33 | 2.500000e+01 | -- | Inf
1282.44/1282.80 c 1230s| 3120k| 199 | 615 |8690k| 267 | - | 500 |6064 |3577 | 0 | 0 | 26 |1809k| 33 | 2.500000e+01 | -- | Inf
1286.55/1286.93 c 1234s| 3130k| 193 | 615 |8688k| 267 | - | 500 |6067 |3712 | 0 | 0 | 26 |1815k| 33 | 2.500000e+01 | -- | Inf
1290.54/1290.92 c 1238s| 3140k| 193 | 615 |8687k| 267 | - | 500 |6066 |3653 | 0 | 0 | 26 |1821k| 33 | 2.500000e+01 | -- | Inf
1294.54/1294.96 c 1242s| 3150k| 193 | 615 |8698k| 267 | - | 500 |6081 |3536 | 0 | 0 | 26 |1826k| 33 | 2.500000e+01 | -- | Inf
1298.54/1298.95 c 1246s| 3160k| 204 | 615 |8682k| 267 | - | 500 |6044 |3495 | 0 | 0 | 26 |1832k| 33 | 2.500000e+01 | -- | Inf
1302.64/1303.07 c 1250s| 3170k| 204 | 615 |8680k| 267 | - | 500 |6045 |3618 | 0 | 0 | 26 |1838k| 33 | 2.500000e+01 | -- | Inf
1306.84/1307.22 c 1254s| 3180k| 196 | 615 |8681k| 267 | - | 500 |6038 |3455 | 0 | 0 | 26 |1844k| 33 | 2.500000e+01 | -- | Inf
1310.85/1311.21 c 1258s| 3190k| 195 | 615 |8694k| 267 | - | 500 |6071 |3554 | 0 | 0 | 26 |1850k| 33 | 2.500000e+01 | -- | Inf
1314.84/1315.27 c 1262s| 3200k| 201 | 615 |8683k| 267 | - | 500 |6053 |3550 | 0 | 0 | 26 |1855k| 33 | 2.500000e+01 | -- | Inf
1318.74/1319.18 c 1265s| 3210k| 198 | 615 |8694k| 267 | - | 500 |6072 |3511 | 0 | 0 | 26 |1861k| 33 | 2.500000e+01 | -- | Inf
1322.94/1323.31 c 1269s| 3220k| 203 | 615 |8674k| 267 | - | 500 |6035 |3639 | 0 | 0 | 26 |1867k| 33 | 2.500000e+01 | -- | Inf
1326.84/1327.22 c 1273s| 3230k| 203 | 615 |8689k| 267 | - | 500 |6056 |3541 | 0 | 0 | 26 |1873k| 33 | 2.500000e+01 | -- | Inf
1330.73/1331.16 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1330.73/1331.16 c 1277s| 3240k| 203 | 615 |8677k| 267 | - | 500 |6040 |3545 | 0 | 0 | 26 |1878k| 33 | 2.500000e+01 | -- | Inf
1334.73/1335.12 c 1281s| 3250k| 196 | 615 |8681k| 267 | - | 500 |6047 |3535 | 0 | 0 | 26 |1884k| 33 | 2.500000e+01 | -- | Inf
1338.83/1339.23 c 1285s| 3260k| 199 | 615 |8681k| 267 | - | 500 |6044 |3503 | 0 | 0 | 26 |1890k| 33 | 2.500000e+01 | -- | Inf
1343.03/1343.41 c 1289s| 3270k| 199 | 615 |8684k| 267 | - | 500 |6053 |3558 | 0 | 0 | 26 |1896k| 33 | 2.500000e+01 | -- | Inf
1347.03/1347.43 c 1292s| 3280k| 199 | 615 |8680k| 267 | - | 500 |6046 |3567 | 0 | 0 | 26 |1902k| 33 | 2.500000e+01 | -- | Inf
1351.32/1351.70 c 1296s| 3290k| 195 | 615 |8689k| 267 | - | 500 |6063 |3619 | 0 | 0 | 26 |1908k| 33 | 2.500000e+01 | -- | Inf
1355.13/1355.53 c 1300s| 3300k| 196 | 615 |8684k| 267 | - | 500 |6052 |3554 | 0 | 0 | 26 |1913k| 33 | 2.500000e+01 | -- | Inf
1359.33/1359.75 c 1304s| 3310k| 199 | 615 |8692k| 267 | - | 500 |6066 |3570 | 0 | 0 | 26 |1919k| 33 | 2.500000e+01 | -- | Inf
1363.23/1363.63 c 1308s| 3320k| 200 | 615 |8680k| 267 | - | 500 |6046 |3583 | 0 | 0 | 26 |1925k| 33 | 2.500000e+01 | -- | Inf
1367.12/1367.60 c 1312s| 3330k| 189 | 615 |8705k| 267 | - | 500 |6093 |3606 | 0 | 0 | 26 |1930k| 33 | 2.500000e+01 | -- | Inf
1371.33/1371.72 c 1316s| 3340k| 201 | 615 |8675k| 267 | - | 500 |6035 |3596 | 0 | 0 | 26 |1936k| 33 | 2.500000e+01 | -- | Inf
1375.73/1376.19 c 1320s| 3350k| 189 | 615 |8674k| 267 | - | 500 |6030 |3645 | 0 | 0 | 26 |1942k| 33 | 2.500000e+01 | -- | Inf
1380.02/1380.44 c 1324s| 3360k| 195 | 615 |8673k| 267 | - | 500 |6032 |3629 | 0 | 0 | 26 |1948k| 33 | 2.500000e+01 | -- | Inf
1384.12/1384.51 c 1328s| 3370k| 193 | 615 |8679k| 267 | - | 500 |6043 |3567 | 0 | 0 | 26 |1954k| 33 | 2.500000e+01 | -- | Inf
1388.01/1388.46 c 1332s| 3380k| 196 | 615 |8683k| 267 | - | 500 |6050 |3571 | 0 | 0 | 26 |1959k| 33 | 2.500000e+01 | -- | Inf
1392.02/1392.49 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1392.02/1392.49 c 1336s| 3390k| 190 | 615 |8675k| 267 | - | 500 |6035 |3719 | 0 | 0 | 26 |1965k| 33 | 2.500000e+01 | -- | Inf
1396.01/1396.45 c 1339s| 3400k| 194 | 615 |8670k| 267 | - | 500 |6032 |3747 | 0 | 0 | 26 |1971k| 33 | 2.500000e+01 | -- | Inf
1400.12/1400.58 c 1343s| 3410k| 190 | 615 |8677k| 267 | - | 500 |6032 |3631 | 0 | 0 | 26 |1977k| 33 | 2.500000e+01 | -- | Inf
1404.22/1404.60 c 1347s| 3420k| 199 | 615 |8674k| 267 | - | 500 |6028 |3547 | 0 | 0 | 26 |1982k| 33 | 2.500000e+01 | -- | Inf
1408.41/1408.84 c 1351s| 3430k| 199 | 615 |8683k| 267 | - | 500 |6047 |3525 | 0 | 0 | 26 |1988k| 33 | 2.500000e+01 | -- | Inf
1412.60/1413.02 c 1355s| 3440k| 200 | 615 |8679k| 267 | - | 500 |6042 |3533 | 0 | 0 | 26 |1994k| 33 | 2.500000e+01 | -- | Inf
1416.71/1417.16 c 1359s| 3450k| 191 | 615 |8675k| 267 | - | 500 |6034 |3568 | 0 | 0 | 26 |2000k| 33 | 2.500000e+01 | -- | Inf
1421.11/1421.52 c 1363s| 3460k| 182 | 615 |8665k| 267 | - | 500 |6028 |3793 | 0 | 0 | 26 |2006k| 33 | 2.500000e+01 | -- | Inf
1425.30/1425.76 c 1368s| 3470k| 199 | 615 |8683k| 267 | - | 500 |6048 |3610 | 0 | 0 | 26 |2011k| 33 | 2.500000e+01 | -- | Inf
1429.41/1429.85 c 1371s| 3480k| 193 | 615 |8692k| 267 | - | 500 |6069 |3627 | 0 | 0 | 26 |2017k| 33 | 2.500000e+01 | -- | Inf
1433.80/1434.20 c 1376s| 3490k| 194 | 615 |8690k| 267 | - | 500 |6064 |3564 | 0 | 0 | 26 |2023k| 33 | 2.500000e+01 | -- | Inf
1437.70/1438.15 c 1379s| 3500k| 199 | 615 |8683k| 267 | - | 500 |6045 |3618 | 0 | 0 | 26 |2029k| 33 | 2.500000e+01 | -- | Inf
1441.80/1442.21 c 1383s| 3510k| 191 | 615 |8688k| 267 | - | 500 |6059 |3578 | 0 | 0 | 26 |2035k| 33 | 2.500000e+01 | -- | Inf
1445.90/1446.32 c 1387s| 3520k| 191 | 615 |8679k| 267 | - | 500 |6040 |3580 | 0 | 0 | 26 |2041k| 33 | 2.500000e+01 | -- | Inf
1450.10/1450.53 c 1391s| 3530k| 187 | 615 |8698k| 267 | - | 500 |6082 |3589 | 0 | 0 | 26 |2046k| 33 | 2.500000e+01 | -- | Inf
1454.10/1454.57 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1454.10/1454.57 c 1395s| 3540k| 187 | 615 |8680k| 267 | - | 500 |6044 |3731 | 0 | 0 | 26 |2052k| 33 | 2.500000e+01 | -- | Inf
1458.30/1458.71 c 1399s| 3550k| 201 | 615 |8685k| 267 | - | 500 |6048 |3526 | 0 | 0 | 26 |2058k| 33 | 2.500000e+01 | -- | Inf
1462.19/1462.61 c 1403s| 3560k| 186 | 615 |8700k| 267 | - | 500 |6082 |3597 | 0 | 0 | 26 |2063k| 33 | 2.500000e+01 | -- | Inf
1466.40/1466.81 c 1407s| 3570k| 197 | 615 |8685k| 267 | - | 500 |6055 |3579 | 0 | 0 | 26 |2069k| 33 | 2.500000e+01 | -- | Inf
1470.49/1470.93 c 1411s| 3580k| 194 | 615 |8688k| 267 | - | 500 |6059 |3581 | 0 | 0 | 26 |2075k| 33 | 2.500000e+01 | -- | Inf
1474.40/1474.87 c 1415s| 3590k| 193 | 615 |8681k| 267 | - | 500 |6042 |3597 | 0 | 0 | 26 |2081k| 33 | 2.500000e+01 | -- | Inf
1478.49/1478.99 c 1419s| 3600k| 182 | 615 |8686k| 267 | - | 500 |6058 |3745 | 0 | 0 | 26 |2087k| 33 | 2.500000e+01 | -- | Inf
1482.30/1482.76 c 1422s| 3610k| 187 | 615 |8688k| 267 | - | 500 |6060 |3606 | 0 | 0 | 26 |2092k| 33 | 2.500000e+01 | -- | Inf
1486.39/1486.84 c 1426s| 3620k| 195 | 615 |8683k| 267 | - | 500 |6048 |3654 | 0 | 0 | 26 |2098k| 33 | 2.500000e+01 | -- | Inf
1490.10/1490.56 c 1430s| 3630k| 184 | 615 |8702k| 267 | - | 500 |6086 |3566 | 0 | 0 | 26 |2104k| 33 | 2.500000e+01 | -- | Inf
1494.19/1494.64 c 1434s| 3640k| 183 | 615 |8682k| 267 | - | 500 |6052 |3700 | 0 | 0 | 26 |2109k| 33 | 2.500000e+01 | -- | Inf
1498.19/1498.62 c 1437s| 3650k| 202 | 615 |8677k| 267 | - | 500 |6036 |3627 | 0 | 0 | 26 |2115k| 33 | 2.500000e+01 | -- | Inf
1502.29/1502.78 c 1441s| 3660k| 197 | 615 |8689k| 267 | - | 500 |6060 |3658 | 0 | 0 | 26 |2121k| 33 | 2.500000e+01 | -- | Inf
1506.29/1506.74 c 1445s| 3670k| 194 | 615 |8677k| 267 | - | 500 |6036 |3670 | 0 | 0 | 26 |2127k| 33 | 2.500000e+01 | -- | Inf
1510.48/1510.91 c 1449s| 3680k| 200 | 615 |8677k| 267 | - | 500 |6033 |3613 | 0 | 0 | 26 |2133k| 33 | 2.500000e+01 | -- | Inf
1514.58/1515.05 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1514.58/1515.05 c 1453s| 3690k| 193 | 615 |8691k| 267 | - | 500 |6062 |3479 | 0 | 0 | 26 |2139k| 33 | 2.500000e+01 | -- | Inf
1518.68/1519.16 c 1457s| 3700k| 185 | 615 |8691k| 267 | - | 500 |6066 |3658 | 0 | 0 | 26 |2144k| 33 | 2.500000e+01 | -- | Inf
1522.88/1523.31 c 1461s| 3710k| 194 | 615 |8675k| 267 | - | 500 |6035 |3704 | 0 | 0 | 26 |2150k| 33 | 2.500000e+01 | -- | Inf
1526.88/1527.31 c 1465s| 3720k| 191 | 615 |8672k| 267 | - | 500 |6032 |3732 | 0 | 0 | 26 |2156k| 33 | 2.500000e+01 | -- | Inf
1531.27/1531.78 c 1469s| 3730k| 208 | 615 |8677k| 267 | - | 500 |6027 |3401 | 0 | 0 | 26 |2162k| 33 | 2.500000e+01 | -- | Inf
1535.88/1536.35 c 1474s| 3740k| 213 | 615 |8675k| 267 | - | 500 |6027 |3402 | 0 | 0 | 26 |2168k| 33 | 2.500000e+01 | -- | Inf
1540.07/1540.55 c 1478s| 3750k| 202 | 615 |8681k| 267 | - | 500 |6038 |3421 | 0 | 0 | 26 |2173k| 33 | 2.500000e+01 | -- | Inf
1544.18/1544.66 c 1482s| 3760k| 210 | 615 |8677k| 267 | - | 500 |6029 |3386 | 0 | 0 | 26 |2179k| 33 | 2.500000e+01 | -- | Inf
1548.28/1548.76 c 1485s| 3770k| 205 | 615 |8680k| 267 | - | 500 |6031 |3432 | 0 | 0 | 26 |2185k| 33 | 2.500000e+01 | -- | Inf
1552.48/1552.94 c 1489s| 3780k| 201 | 615 |8682k| 267 | - | 500 |6028 |3391 | 0 | 0 | 26 |2191k| 33 | 2.500000e+01 | -- | Inf
1556.28/1556.78 c 1493s| 3790k| 203 | 615 |8685k| 267 | - | 500 |6044 |3377 | 0 | 0 | 26 |2196k| 33 | 2.500000e+01 | -- | Inf
1560.17/1560.67 c 1497s| 3800k| 206 | 615 |8677k| 267 | - | 500 |6033 |3473 | 0 | 0 | 26 |2202k| 33 | 2.500000e+01 | -- | Inf
1564.17/1564.63 c 1501s| 3810k| 201 | 615 |8682k| 267 | - | 500 |6038 |3382 | 0 | 0 | 26 |2207k| 33 | 2.500000e+01 | -- | Inf
1568.07/1568.56 c 1504s| 3820k| 211 | 615 |8684k| 267 | - | 500 |6040 |3370 | 0 | 0 | 26 |2213k| 33 | 2.500000e+01 | -- | Inf
1571.87/1572.36 c 1508s| 3830k| 204 | 615 |8678k| 267 | - | 500 |6034 |3434 | 0 | 0 | 26 |2219k| 33 | 2.500000e+01 | -- | Inf
1575.97/1576.48 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1575.97/1576.48 c 1512s| 3840k| 196 | 615 |8675k| 267 | - | 500 |6028 |3483 | 0 | 0 | 26 |2225k| 33 | 2.500000e+01 | -- | Inf
1579.97/1580.46 c 1516s| 3850k| 210 | 615 |8677k| 267 | - | 500 |6030 |3437 | 0 | 0 | 26 |2230k| 33 | 2.500000e+01 | -- | Inf
1583.96/1584.40 c 1520s| 3860k| 198 | 615 |8675k| 267 | - | 500 |6030 |3499 | 0 | 0 | 26 |2236k| 33 | 2.500000e+01 | -- | Inf
1587.97/1588.43 c 1524s| 3870k| 195 | 615 |8688k| 267 | - | 500 |6053 |3398 | 0 | 0 | 26 |2242k| 33 | 2.500000e+01 | -- | Inf
1591.96/1592.45 c 1527s| 3880k| 203 | 615 |8690k| 267 | - | 500 |6053 |3397 | 0 | 0 | 26 |2248k| 33 | 2.500000e+01 | -- | Inf
1596.06/1596.50 c 1531s| 3890k| 195 | 615 |8671k| 267 | - | 500 |6029 |3545 | 0 | 0 | 26 |2253k| 33 | 2.500000e+01 | -- | Inf
1600.16/1600.62 c 1535s| 3900k| 205 | 615 |8679k| 267 | - | 500 |6033 |3403 | 0 | 0 | 26 |2259k| 33 | 2.500000e+01 | -- | Inf
1604.36/1604.80 c 1539s| 3910k| 199 | 615 |8684k| 267 | - | 500 |6037 |3356 | 0 | 0 | 26 |2265k| 33 | 2.500000e+01 | -- | Inf
1608.66/1609.11 c 1543s| 3920k| 200 | 615 |8680k| 267 | - | 500 |6033 |3408 | 0 | 0 | 26 |2271k| 33 | 2.500000e+01 | -- | Inf
1612.75/1613.25 c 1547s| 3930k| 195 | 615 |8684k| 267 | - | 500 |6049 |3490 | 0 | 0 | 26 |2277k| 33 | 2.500000e+01 | -- | Inf
1616.85/1617.38 c 1551s| 3940k| 196 | 615 |8673k| 267 | - | 500 |6034 |3568 | 0 | 0 | 26 |2282k| 33 | 2.500000e+01 | -- | Inf
1621.05/1621.52 c 1555s| 3950k| 195 | 615 |8685k| 267 | - | 500 |6050 |3433 | 0 | 0 | 26 |2288k| 33 | 2.500000e+01 | -- | Inf
1625.35/1625.86 c 1559s| 3960k| 198 | 615 |8682k| 267 | - | 500 |6041 |3465 | 0 | 0 | 26 |2294k| 33 | 2.500000e+01 | -- | Inf
1629.55/1630.03 c 1563s| 3970k| 193 | 615 |8694k| 267 | - | 500 |6066 |3385 | 0 | 0 | 26 |2300k| 33 | 2.500000e+01 | -- | Inf
1633.55/1634.01 c 1567s| 3980k| 196 | 615 |8688k| 267 | - | 500 |6044 |3441 | 0 | 0 | 26 |2306k| 33 | 2.500000e+01 | -- | Inf
1637.55/1638.05 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1637.55/1638.05 c 1571s| 3990k| 194 | 615 |8682k| 267 | - | 500 |6042 |3330 | 0 | 0 | 26 |2312k| 33 | 2.500000e+01 | -- | Inf
1641.65/1642.11 c 1575s| 4000k| 195 | 615 |8687k| 267 | - | 500 |6051 |3493 | 0 | 0 | 26 |2318k| 33 | 2.500000e+01 | -- | Inf
1645.85/1646.38 c 1579s| 4010k| 211 | 615 |8677k| 267 | - | 500 |6032 |3605 | 0 | 0 | 26 |2324k| 33 | 2.500000e+01 | -- | Inf
1649.85/1650.35 c 1583s| 4020k| 205 | 615 |8689k| 267 | - | 500 |6054 |3479 | 0 | 0 | 26 |2330k| 33 | 2.500000e+01 | -- | Inf
1653.95/1654.41 c 1587s| 4030k| 204 | 615 |8687k| 267 | - | 500 |6052 |3416 | 0 | 0 | 26 |2335k| 33 | 2.500000e+01 | -- | Inf
1658.04/1658.54 c 1591s| 4040k| 205 | 615 |8683k| 267 | - | 500 |6037 |3314 | 0 | 0 | 26 |2341k| 33 | 2.500000e+01 | -- | Inf
1662.34/1662.87 c 1595s| 4050k| 198 | 615 |8682k| 267 | - | 500 |6046 |3543 | 0 | 0 | 26 |2347k| 33 | 2.500000e+01 | -- | Inf
1666.44/1666.98 c 1599s| 4060k| 196 | 615 |8683k| 267 | - | 500 |6046 |3490 | 0 | 0 | 26 |2353k| 33 | 2.500000e+01 | -- | Inf
1670.44/1670.98 c 1603s| 4070k| 196 | 615 |8686k| 267 | - | 500 |6052 |3434 | 0 | 0 | 26 |2359k| 33 | 2.500000e+01 | -- | Inf
1674.44/1674.92 c 1606s| 4080k| 197 | 615 |8688k| 267 | - | 500 |6054 |3463 | 0 | 0 | 26 |2365k| 33 | 2.500000e+01 | -- | Inf
1678.44/1678.99 c 1610s| 4090k| 213 | 615 |8686k| 267 | - | 500 |6041 |3336 | 0 | 0 | 26 |2371k| 33 | 2.500000e+01 | -- | Inf
1682.44/1682.99 c 1614s| 4100k| 198 | 615 |8687k| 267 | - | 500 |6046 |3382 | 0 | 0 | 26 |2376k| 33 | 2.500000e+01 | -- | Inf
1686.44/1686.91 c 1618s| 4110k| 204 | 615 |8685k| 267 | - | 500 |6051 |3683 | 0 | 0 | 26 |2382k| 33 | 2.500000e+01 | -- | Inf
1690.33/1690.89 c 1622s| 4120k| 196 | 615 |8681k| 267 | - | 500 |6042 |3522 | 0 | 0 | 26 |2387k| 33 | 2.500000e+01 | -- | Inf
1694.54/1695.00 c 1626s| 4130k| 206 | 615 |8682k| 267 | - | 500 |6033 |3378 | 0 | 0 | 26 |2393k| 33 | 2.500000e+01 | -- | Inf
1698.54/1699.08 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1698.54/1699.08 c 1630s| 4140k| 206 | 615 |8683k| 267 | - | 500 |6033 |3308 | 0 | 0 | 26 |2399k| 33 | 2.500000e+01 | -- | Inf
1702.74/1703.22 c 1634s| 4150k| 198 | 615 |8680k| 267 | - | 500 |6039 |3441 | 0 | 0 | 26 |2405k| 33 | 2.500000e+01 | -- | Inf
1706.93/1707.41 c 1638s| 4160k| 193 | 615 |8687k| 267 | - | 500 |6045 |3396 | 0 | 0 | 26 |2410k| 33 | 2.500000e+01 | -- | Inf
1710.83/1711.38 c 1641s| 4170k| 199 | 615 |8687k| 267 | - | 500 |6053 |3472 | 0 | 0 | 26 |2416k| 33 | 2.500000e+01 | -- | Inf
1715.02/1715.50 c 1645s| 4180k| 200 | 615 |8678k| 267 | - | 500 |6034 |3513 | 0 | 0 | 26 |2422k| 33 | 2.500000e+01 | -- | Inf
1718.92/1719.48 c 1649s| 4190k| 198 | 615 |8683k| 267 | - | 500 |6047 |3458 | 0 | 0 | 26 |2427k| 33 | 2.500000e+01 | -- | Inf
1723.02/1723.51 c 1653s| 4200k| 202 | 615 |8678k| 267 | - | 500 |6035 |3472 | 0 | 0 | 26 |2433k| 33 | 2.500000e+01 | -- | Inf
1727.02/1727.57 c 1657s| 4210k| 201 | 615 |8700k| 267 | - | 500 |6071 |3400 | 0 | 0 | 26 |2439k| 33 | 2.500000e+01 | -- | Inf
1731.13/1731.65 c 1661s| 4220k| 204 | 615 |8679k| 267 | - | 500 |6033 |3350 | 0 | 0 | 26 |2445k| 33 | 2.500000e+01 | -- | Inf
1735.23/1735.72 c 1665s| 4230k| 199 | 615 |8682k| 267 | - | 500 |6042 |3419 | 0 | 0 | 26 |2451k| 33 | 2.500000e+01 | -- | Inf
1739.33/1739.89 c 1669s| 4240k| 202 | 615 |8680k| 267 | - | 500 |6036 |3375 | 0 | 0 | 26 |2457k| 33 | 2.500000e+01 | -- | Inf
1743.42/1743.95 c 1673s| 4250k| 195 | 615 |8681k| 267 | - | 500 |6041 |3404 | 0 | 0 | 26 |2463k| 33 | 2.500000e+01 | -- | Inf
1747.53/1748.08 c 1677s| 4260k| 199 | 615 |8686k| 267 | - | 500 |6043 |3329 | 0 | 0 | 26 |2469k| 33 | 2.500000e+01 | -- | Inf
1751.63/1752.10 c 1680s| 4270k| 198 | 615 |8693k| 267 | - | 500 |6060 |3398 | 0 | 0 | 26 |2474k| 33 | 2.500000e+01 | -- | Inf
1755.62/1756.15 c 1684s| 4280k| 202 | 615 |8684k| 267 | - | 500 |6046 |3438 | 0 | 0 | 26 |2480k| 33 | 2.500000e+01 | -- | Inf
1759.71/1760.23 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1759.71/1760.23 c 1688s| 4290k| 197 | 615 |8690k| 267 | - | 500 |6057 |3397 | 0 | 0 | 26 |2486k| 33 | 2.500000e+01 | -- | Inf
1763.82/1764.35 c 1692s| 4300k| 201 | 615 |8682k| 267 | - | 500 |6037 |3465 | 0 | 0 | 26 |2492k| 33 | 2.500000e+01 | -- | Inf
1768.12/1768.65 c 1696s| 4310k| 197 | 615 |8678k| 267 | - | 500 |6032 |3476 | 0 | 0 | 26 |2498k| 33 | 2.500000e+01 | -- | Inf
1772.21/1772.71 c 1700s| 4320k| 204 | 615 |8683k| 267 | - | 500 |6034 |3357 | 0 | 0 | 26 |2504k| 33 | 2.500000e+01 | -- | Inf
1776.31/1776.84 c 1704s| 4330k| 204 | 615 |8674k| 267 | - | 500 |6027 |3550 | 0 | 0 | 26 |2509k| 33 | 2.500000e+01 | -- | Inf
1780.42/1780.91 c 1708s| 4340k| 195 | 615 |8685k| 267 | - | 500 |6042 |3366 | 0 | 0 | 26 |2515k| 33 | 2.500000e+01 | -- | Inf
1784.61/1785.10 c 1712s| 4350k| 203 | 615 |8684k| 267 | - | 500 |6040 |3470 | 0 | 0 | 26 |2521k| 33 | 2.500000e+01 | -- | Inf
1788.71/1789.22 c 1716s| 4360k| 194 | 615 |8681k| 267 | - | 500 |6039 |3461 | 0 | 0 | 26 |2526k| 33 | 2.500000e+01 | -- | Inf
1792.81/1793.34 c 1720s| 4370k| 198 | 615 |8688k| 267 | - | 500 |6047 |3418 | 0 | 0 | 26 |2532k| 33 | 2.500000e+01 | -- | Inf
1796.82/1797.38 c 1724s| 4380k| 189 | 615 |8686k| 267 | - | 500 |6050 |3479 | 0 | 0 | 26 |2538k| 33 | 2.500000e+01 | -- | Inf
1800.01/1800.50 c
1800.01/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.50 c Solving Time (sec) : 1726.79
1800.01/1800.50 c Solving Nodes : 4387280
1800.01/1800.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.01/1800.50 c Dual Bound : +2.50000000000000e+01
1800.01/1800.50 c Gap : infinite
1800.01/1800.50 c NODE 4387280
1800.01/1800.50 c DUAL BOUND 25
1800.01/1800.50 c PRIMAL BOUND 1e+20
1800.01/1800.50 c GAP 1e+20
1800.01/1800.50 s UNKNOWN
1800.01/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.50 c Solving Time : 1726.79
1800.01/1800.50 c Original Problem :
1800.01/1800.50 c Problem name : HOME/instance-1883964-1245238219.opb
1800.01/1800.50 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.50 c Constraints : 6025 initial, 6025 maximal
1800.01/1800.50 c Presolved Problem :
1800.01/1800.50 c Problem name : t_HOME/instance-1883964-1245238219.opb
1800.01/1800.50 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.50 c Constraints : 6025 initial, 6116 maximal
1800.01/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c probing : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.01/1800.50 c root node : - 0 - - 0 - - - -
1800.01/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.50 c integral : 0 0 0 1 0 0 0 0 0 2
1800.01/1800.50 c logicor : 6025+ 5 18884712 0 0 2534991 100234360 0 0 0
1800.01/1800.50 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.50 c integral : 1.26 0.00 0.00 1.26 0.00
1800.01/1800.50 c logicor : 718.40 0.01 718.39 0.00 0.00
1800.01/1800.50 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.50 c rootredcost : 6.26 0 0 0
1800.01/1800.50 c pseudoobj : 436.36 22325844 0 0
1800.01/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.50 c propagation : 368.60 2534991 2534991 2534991 51.6 45044 60.6 -
1800.01/1800.50 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.50 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.50 c applied globally : - - - 1154819 40.8 - - -
1800.01/1800.50 c applied locally : - - - 1387746 60.5 - - -
1800.01/1800.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.50 c cut pool : 0.00 4 - - 0 - (maximal pool size: 144)
1800.01/1800.50 c redcost : 0.00 5 0 0 0 0
1800.01/1800.50 c impliedbounds : 0.00 5 0 0 0 0
1800.01/1800.50 c intobj : 0.00 0 0 0 0 0
1800.01/1800.50 c gomory : 0.30 5 0 0 1500 0
1800.01/1800.50 c strongcg : 0.28 5 0 0 1701 0
1800.01/1800.50 c cmir : 0.00 0 0 0 0 0
1800.01/1800.50 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.50 c clique : 0.00 5 0 0 10 0
1800.01/1800.50 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.50 c mcf : 0.01 1 0 0 0 0
1800.01/1800.50 c Pricers : Time Calls Vars
1800.01/1800.50 c problem variables: 0.00 0 0
1800.01/1800.50 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.50 c relpscost : 1.26 1 0 0 0 0 2
1800.01/1800.50 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.50 c inference : 38.51 3205834 0 0 0 0 6411668
1800.01/1800.50 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.50 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.50 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.50 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.50 c random : 0.00 0 0 0 0 0 0
1800.01/1800.50 c Primal Heuristics : Time Calls Found
1800.01/1800.50 c LP solutions : 0.00 - 0
1800.01/1800.50 c pseudo solutions : 0.00 - 0
1800.01/1800.50 c simplerounding : 0.00 0 0
1800.01/1800.50 c rounding : 0.00 0 0
1800.01/1800.50 c shifting : 0.00 0 0
1800.01/1800.50 c intshifting : 0.00 0 0
1800.01/1800.50 c oneopt : 0.00 0 0
1800.01/1800.50 c fixandinfer : 0.00 0 0
1800.01/1800.50 c feaspump : 0.00 0 0
1800.01/1800.50 c coefdiving : 0.00 0 0
1800.01/1800.50 c pscostdiving : 0.00 0 0
1800.01/1800.50 c fracdiving : 0.00 0 0
1800.01/1800.50 c veclendiving : 0.00 0 0
1800.01/1800.50 c intdiving : 0.00 0 0
1800.01/1800.50 c actconsdiving : 0.00 0 0
1800.01/1800.50 c objpscostdiving : 0.00 0 0
1800.01/1800.50 c rootsoldiving : 0.00 0 0
1800.01/1800.50 c linesearchdiving : 0.00 0 0
1800.01/1800.50 c guideddiving : 0.00 0 0
1800.01/1800.50 c octane : 0.00 0 0
1800.01/1800.50 c rens : 0.00 0 0
1800.01/1800.50 c rins : 0.00 0 0
1800.01/1800.50 c localbranching : 0.00 0 0
1800.01/1800.50 c mutation : 0.00 0 0
1800.01/1800.50 c crossover : 0.00 0 0
1800.01/1800.50 c dins : 0.00 0 0
1800.01/1800.50 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.50 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.50 c dual LP : 0.32 6 615 102.50 1921.88
1800.01/1800.50 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.50 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.50 c strong branching : 1.26 33 1937 58.70 1537.30
1800.01/1800.50 c (at root node) : - 33 1937 58.70 -
1800.01/1800.50 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.50 c B&B Tree :
1800.01/1800.50 c number of runs : 1
1800.01/1800.50 c nodes : 4387280
1800.01/1800.50 c nodes (total) : 4387280
1800.01/1800.50 c nodes left : 200
1800.01/1800.50 c max depth : 267
1800.01/1800.50 c max depth (total): 267
1800.01/1800.50 c backtracks : 1375565 (31.4%)
1800.01/1800.50 c delayed cutoffs : 2024191
1800.01/1800.50 c repropagations : 3842227 (57262184 domain reductions, 1353546 cutoffs)
1800.01/1800.50 c avg switch length: 2.63
1800.01/1800.50 c switching time : 269.39
1800.01/1800.50 c Solution :
1800.01/1800.50 c Solutions found : 0 (0 improvements)
1800.01/1800.50 c Primal Bound : -
1800.01/1800.50 c Dual Bound : +2.50000000000000e+01
1800.01/1800.50 c Gap : infinite
1800.01/1800.50 c Root Dual Bound : +2.50000000000000e+01
1800.01/1800.53 c Time complete: 1800.05.