0.00/0.06 c SCIP version 1.1.0.7
0.00/0.06 c LP-Solver SoPlex 1.4.1
0.00/0.06 c user parameter file <scip.set> not found - using default parameters
0.00/0.06 c read problem <HOME/instance-1883946-1245238131.opb>
0.00/0.06 c original problem has 420 variables (420 bin, 0 int, 0 impl, 0 cont) and 4221 constraints
0.05/0.07 c No objective function, only one solution is needed.
0.05/0.07 c start presolving problem
0.05/0.07 c presolving:
0.09/0.13 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 4221 upgd conss, 8400 impls, 0 clqs
0.09/0.14 c presolving (2 rounds):
0.09/0.14 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.14 c 8400 implications, 0 cliques
0.09/0.14 c presolved problem has 420 variables (420 bin, 0 int, 0 impl, 0 cont) and 4221 constraints
0.09/0.14 c 4221 constraints of type <logicor>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.06
0.09/0.14 c PURESAT
0.09/0.14 c -----------------------------------------------------------------------------------------------
0.09/0.14 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.14 c separating/flowcover/freq = c -1
0.09/0.14 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.14 c separating/cmir/freq = c -1
0.09/0.14 c # additional number of allowed LP iterations
0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.14 c heuristics/veclendiving/maxlpiterofs = c 1500
0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.14 c heuristics/veclendiving/maxlpiterquot = c 0.075
0.09/0.14 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.14 c heuristics/veclendiving/freq = c -1
0.09/0.14 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.14 c heuristics/simplerounding/freq = c -1
0.09/0.14 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.14 c heuristics/shifting/freq = c -1
0.09/0.14 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.14 c heuristics/rounding/freq = c -1
0.09/0.14 c # additional number of allowed LP iterations
0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.14 c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.09/0.14 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.09/0.14 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.14 c heuristics/rootsoldiving/freq = c -1
0.09/0.14 c # number of nodes added to the contingent of the total nodes
0.09/0.14 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.14 c heuristics/rens/nodesofs = c 2000
0.09/0.14 c # minimum percentage of integer variables that have to be fixable
0.09/0.14 c # [type: real, range: [0,1], default: 0.5]
0.09/0.14 c heuristics/rens/minfixingrate = c 0.3
0.09/0.14 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.14 c heuristics/rens/freq = c -1
0.09/0.14 c # additional number of allowed LP iterations
0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.14 c heuristics/pscostdiving/maxlpiterofs = c 1500
0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.14 c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.09/0.14 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.14 c heuristics/pscostdiving/freq = c -1
0.09/0.14 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.14 c heuristics/oneopt/freq = c -1
0.09/0.14 c # additional number of allowed LP iterations
0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.14 c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.09/0.14 c # maximal fraction of diving LP iterations compared to total iteration number
0.09/0.14 c # [type: real, range: [0,1], default: 0.01]
0.09/0.14 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.09/0.14 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.14 c heuristics/objpscostdiving/freq = c -1
0.09/0.14 c # additional number of allowed LP iterations
0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.14 c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.14 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.09/0.14 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.14 c heuristics/linesearchdiving/freq = c -1
0.09/0.14 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.14 c heuristics/intshifting/freq = c -1
0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.14 c heuristics/intdiving/maxlpiterquot = c 0.075
0.09/0.14 c # additional number of allowed LP iterations
0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.14 c heuristics/guideddiving/maxlpiterofs = c 1500
0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.14 c heuristics/guideddiving/maxlpiterquot = c 0.075
0.09/0.14 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.14 c heuristics/guideddiving/freq = c -1
0.09/0.14 c # additional number of allowed LP iterations
0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.14 c heuristics/fracdiving/maxlpiterofs = c 1500
0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.14 c heuristics/fracdiving/maxlpiterquot = c 0.075
0.09/0.14 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.14 c heuristics/fracdiving/freq = c -1
0.09/0.14 c # additional number of allowed LP iterations
0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.14 c heuristics/feaspump/maxlpiterofs = c 2000
0.09/0.14 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.14 c heuristics/feaspump/freq = c -1
0.09/0.14 c # minimum percentage of integer variables that have to be fixed
0.09/0.14 c # [type: real, range: [0,1], default: 0.666]
0.09/0.14 c heuristics/crossover/minfixingrate = c 0.5
0.09/0.14 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.09/0.14 c # [type: real, range: [0,1], default: 0.1]
0.09/0.14 c heuristics/crossover/nodesquot = c 0.15
0.09/0.14 c # number of nodes without incumbent change that heuristic should wait
0.09/0.14 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.09/0.14 c heuristics/crossover/nwaitingnodes = c 100
0.09/0.14 c # number of nodes added to the contingent of the total nodes
0.09/0.14 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.14 c heuristics/crossover/nodesofs = c 750
0.09/0.14 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 30]
0.09/0.14 c heuristics/crossover/freq = c -1
0.09/0.14 c # additional number of allowed LP iterations
0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.14 c heuristics/coefdiving/maxlpiterofs = c 1500
0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.14 c heuristics/coefdiving/maxlpiterquot = c 0.075
0.09/0.14 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.14 c heuristics/coefdiving/freq = c -1
0.09/0.14 c # priority of node selection rule <dfs> in standard mode
0.09/0.14 c # [type: int, range: [-536870912,536870911], default: 0]
0.09/0.14 c nodeselection/dfs/stdpriority = c 1000000
0.09/0.14 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c presolving/probing/maxrounds = c 0
0.09/0.14 c # should presolving try to simplify knapsacks
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/knapsack/simplifyinequalities = c TRUE
0.09/0.14 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.09/0.14 c constraints/knapsack/disaggregation = c FALSE
0.09/0.14 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c constraints/knapsack/maxnumcardlift = c 0
0.09/0.14 c # should presolving try to simplify inequalities
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/linear/simplifyinequalities = c TRUE
0.09/0.14 c # maximal number of separation rounds in the root node (-1: unlimited)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c separating/maxroundsroot = c 5
0.09/0.14 c # maximal number of separation rounds per node (-1: unlimited)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 5]
0.09/0.14 c separating/maxrounds = c 1
0.09/0.14 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.14 c # [type: char, range: {lafpsqd}, default: l]
0.09/0.14 c lp/pricing = c a
0.09/0.14 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.14 c lp/solvefreq = c 0
0.09/0.14 c # solving stops, if the given number of solutions were found (-1: no limit)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c limits/solutions = c 1
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/memory = c 1620
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/time = c 1791
0.09/0.14 c # frequency for displaying node information lines
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14 c display/freq = c 10000
0.09/0.14 c # should enforcement of pseudo solution be disabled?
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/disableenfops = c TRUE
0.09/0.14 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.14 c constraints/agelimit = c 1
0.09/0.14 c # should binary conflicts be preferred?
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c conflict/preferbinary = c TRUE
0.09/0.14 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c conflict/interconss = c 0
0.09/0.14 c -----------------------------------------------------------------------------------------------
0.09/0.14 c start solving problem
0.09/0.14 c
0.09/0.17 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.17 c 0.1s| 1 | 0 | 42 |5822k| 0 | 42 | 420 |4221 |4221 | 420 |4221 | 0 | 0 | 0 | 2.100000e+01 | -- | Inf
0.19/0.22 c 0.1s| 1 | 0 | 138 |5824k| 0 | 34 | 420 |4221 |4221 | 420 |4224 | 3 | 0 | 0 | 2.100000e+01 | -- | Inf
0.19/0.29 c 0.2s| 1 | 0 | 233 |5833k| 0 | 32 | 420 |4221 |4221 | 420 |4229 | 8 | 0 | 0 | 2.100000e+01 | -- | Inf
0.39/0.40 c 0.3s| 1 | 0 | 308 |5907k| 0 | 46 | 420 |4221 |4221 | 420 |4232 | 11 | 0 | 0 | 2.100000e+01 | -- | Inf
0.59/0.64 c 0.5s| 1 | 0 | 421 |6167k| 0 | 48 | 420 |4221 |4221 | 420 |4237 | 16 | 0 | 0 | 2.100000e+01 | -- | Inf
0.89/0.91 c 0.8s| 1 | 0 | 580 |6585k| 0 | 20 | 420 |4221 |4221 | 420 |4244 | 23 | 0 | 0 | 2.100000e+01 | -- | Inf
1.09/1.20 c 1.1s| 1 | 2 | 580 |6586k| 0 | 20 | 420 |4221 |4221 | 420 |4244 | 23 | 0 | 20 | 2.100000e+01 | -- | Inf
4.29/4.36 c 4.1s| 10000 | 189 | 580 |6812k| 219 | - | 420 |4221 |2872 | 0 | 0 | 23 |5775 | 20 | 2.100000e+01 | -- | Inf
7.39/7.44 c 7.0s| 20000 | 194 | 580 |6815k| 219 | - | 420 |4223 |2870 | 0 | 0 | 23 | 11k| 20 | 2.100000e+01 | -- | Inf
10.49/10.57 c 9.9s| 30000 | 194 | 580 |6814k| 219 | - | 420 |4222 |2832 | 0 | 0 | 23 | 17k| 20 | 2.100000e+01 | -- | Inf
13.69/13.72 c 12.9s| 40000 | 193 | 580 |6821k| 219 | - | 420 |4227 |2787 | 0 | 0 | 23 | 23k| 20 | 2.100000e+01 | -- | Inf
16.88/16.92 c 15.9s| 50000 | 194 | 580 |6820k| 219 | - | 420 |4222 |2678 | 0 | 0 | 23 | 29k| 20 | 2.100000e+01 | -- | Inf
20.19/20.28 c 19.1s| 60000 | 195 | 580 |6823k| 219 | - | 420 |4229 |2710 | 0 | 0 | 23 | 35k| 20 | 2.100000e+01 | -- | Inf
23.39/23.44 c 22.1s| 70000 | 193 | 580 |6822k| 219 | - | 420 |4226 |2710 | 0 | 0 | 23 | 41k| 20 | 2.100000e+01 | -- | Inf
26.48/26.58 c 25.1s| 80000 | 191 | 580 |6821k| 233 | - | 420 |4221 |2695 | 0 | 0 | 23 | 47k| 20 | 2.100000e+01 | -- | Inf
29.58/29.66 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.58/29.66 c 28.0s| 90000 | 195 | 580 |6826k| 233 | - | 420 |4230 |2681 | 0 | 0 | 23 | 53k| 20 | 2.100000e+01 | -- | Inf
32.68/32.79 c 31.0s|100000 | 184 | 580 |6820k| 233 | - | 420 |4221 |2773 | 0 | 0 | 23 | 58k| 20 | 2.100000e+01 | -- | Inf
35.88/35.97 c 34.0s|110000 | 202 | 580 |6830k| 233 | - | 420 |4230 |2662 | 0 | 0 | 23 | 64k| 20 | 2.100000e+01 | -- | Inf
39.07/39.15 c 37.1s|120000 | 189 | 580 |6824k| 233 | - | 420 |4221 |2696 | 0 | 0 | 23 | 70k| 20 | 2.100000e+01 | -- | Inf
42.36/42.46 c 40.2s|130000 | 193 | 580 |6826k| 233 | - | 420 |4228 |2718 | 0 | 0 | 23 | 76k| 20 | 2.100000e+01 | -- | Inf
45.46/45.59 c 43.2s|140000 | 196 | 580 |6823k| 233 | - | 420 |4221 |2692 | 0 | 0 | 23 | 81k| 20 | 2.100000e+01 | -- | Inf
48.46/48.55 c 46.0s|150000 | 191 | 580 |6823k| 233 | - | 420 |4221 |2705 | 0 | 0 | 23 | 87k| 20 | 2.100000e+01 | -- | Inf
51.67/51.80 c 49.1s|160000 | 189 | 580 |6823k| 233 | - | 420 |4223 |2686 | 0 | 0 | 23 | 93k| 20 | 2.100000e+01 | -- | Inf
54.97/55.06 c 52.1s|170000 | 195 | 580 |6825k| 233 | - | 420 |4222 |2635 | 0 | 0 | 23 | 99k| 20 | 2.100000e+01 | -- | Inf
58.16/58.22 c 55.1s|180000 | 190 | 580 |6825k| 233 | - | 420 |4229 |2716 | 0 | 0 | 23 | 105k| 20 | 2.100000e+01 | -- | Inf
61.26/61.35 c 58.1s|190000 | 188 | 580 |6827k| 233 | - | 420 |4221 |2668 | 0 | 0 | 23 | 111k| 20 | 2.100000e+01 | -- | Inf
64.55/64.61 c 61.2s|200000 | 191 | 580 |6826k| 233 | - | 420 |4223 |2690 | 0 | 0 | 23 | 117k| 20 | 2.100000e+01 | -- | Inf
67.66/67.76 c 64.2s|210000 | 183 | 580 |6819k| 233 | - | 420 |4221 |2749 | 0 | 0 | 23 | 123k| 20 | 2.100000e+01 | -- | Inf
70.86/70.97 c 67.2s|220000 | 189 | 580 |6830k| 233 | - | 420 |4235 |2678 | 0 | 0 | 23 | 129k| 20 | 2.100000e+01 | -- | Inf
73.96/74.09 c 70.2s|230000 | 188 | 580 |6830k| 233 | - | 420 |4233 |2655 | 0 | 0 | 23 | 134k| 20 | 2.100000e+01 | -- | Inf
77.06/77.20 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.06/77.20 c 73.1s|240000 | 188 | 580 |6831k| 233 | - | 420 |4234 |2658 | 0 | 0 | 23 | 140k| 20 | 2.100000e+01 | -- | Inf
80.46/80.54 c 76.3s|250000 | 181 | 580 |6821k| 233 | - | 420 |4221 |2766 | 0 | 0 | 23 | 146k| 20 | 2.100000e+01 | -- | Inf
83.65/83.76 c 79.4s|260000 | 198 | 580 |6828k| 233 | - | 420 |4225 |2655 | 0 | 0 | 23 | 152k| 20 | 2.100000e+01 | -- | Inf
86.75/86.88 c 82.3s|270000 | 196 | 580 |6826k| 233 | - | 420 |4222 |2673 | 0 | 0 | 23 | 158k| 20 | 2.100000e+01 | -- | Inf
89.74/89.81 c 85.1s|280000 | 196 | 580 |6837k| 233 | - | 420 |4244 |2676 | 0 | 0 | 23 | 164k| 20 | 2.100000e+01 | -- | Inf
92.84/92.91 c 88.0s|290000 | 191 | 580 |6831k| 233 | - | 420 |4232 |2664 | 0 | 0 | 23 | 170k| 20 | 2.100000e+01 | -- | Inf
95.94/96.03 c 91.0s|300000 | 204 | 580 |6832k| 233 | - | 420 |4224 |2574 | 0 | 0 | 23 | 176k| 20 | 2.100000e+01 | -- | Inf
99.04/99.11 c 93.9s|310000 | 196 | 580 |6831k| 233 | - | 420 |4229 |2653 | 0 | 0 | 23 | 182k| 20 | 2.100000e+01 | -- | Inf
102.15/102.28 c 96.9s|320000 | 196 | 580 |6830k| 233 | - | 420 |4225 |2648 | 0 | 0 | 23 | 188k| 20 | 2.100000e+01 | -- | Inf
105.24/105.34 c 99.8s|330000 | 189 | 580 |6827k| 233 | - | 420 |4226 |2663 | 0 | 0 | 23 | 194k| 20 | 2.100000e+01 | -- | Inf
108.44/108.50 c 103s|340000 | 188 | 580 |6834k| 233 | - | 420 |4238 |2667 | 0 | 0 | 23 | 200k| 20 | 2.100000e+01 | -- | Inf
111.43/111.53 c 106s|350000 | 193 | 580 |6835k| 233 | - | 420 |4236 |2651 | 0 | 0 | 23 | 205k| 20 | 2.100000e+01 | -- | Inf
114.64/114.79 c 109s|360000 | 188 | 580 |6838k| 233 | - | 420 |4239 |2652 | 0 | 0 | 23 | 211k| 20 | 2.100000e+01 | -- | Inf
117.84/117.90 c 112s|370000 | 187 | 580 |6839k| 233 | - | 420 |4242 |2647 | 0 | 0 | 23 | 217k| 20 | 2.100000e+01 | -- | Inf
121.03/121.19 c 115s|380000 | 199 | 580 |6834k| 233 | - | 420 |4230 |2606 | 0 | 0 | 23 | 223k| 20 | 2.100000e+01 | -- | Inf
124.24/124.33 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
124.24/124.34 c 118s|390000 | 199 | 580 |6836k| 233 | - | 420 |4231 |2606 | 0 | 0 | 23 | 229k| 20 | 2.100000e+01 | -- | Inf
127.43/127.52 c 121s|400000 | 189 | 580 |6834k| 233 | - | 420 |4230 |2591 | 0 | 0 | 23 | 235k| 20 | 2.100000e+01 | -- | Inf
130.53/130.70 c 124s|410000 | 194 | 580 |6834k| 233 | - | 420 |4231 |2629 | 0 | 0 | 23 | 241k| 20 | 2.100000e+01 | -- | Inf
133.63/133.78 c 127s|420000 | 202 | 580 |6834k| 233 | - | 420 |4232 |2556 | 0 | 0 | 23 | 246k| 20 | 2.100000e+01 | -- | Inf
136.63/136.79 c 130s|430000 | 195 | 580 |6837k| 233 | - | 420 |4238 |2618 | 0 | 0 | 23 | 252k| 20 | 2.100000e+01 | -- | Inf
139.73/139.85 c 133s|440000 | 193 | 580 |6834k| 233 | - | 420 |4233 |2579 | 0 | 0 | 23 | 258k| 20 | 2.100000e+01 | -- | Inf
142.83/142.98 c 135s|450000 | 186 | 580 |6840k| 233 | - | 420 |4241 |2573 | 0 | 0 | 23 | 264k| 20 | 2.100000e+01 | -- | Inf
146.02/146.16 c 138s|460000 | 188 | 580 |6832k| 233 | - | 420 |4237 |2716 | 0 | 0 | 23 | 270k| 20 | 2.100000e+01 | -- | Inf
149.12/149.25 c 141s|470000 | 193 | 580 |6836k| 233 | - | 420 |4238 |2606 | 0 | 0 | 23 | 275k| 20 | 2.100000e+01 | -- | Inf
152.32/152.42 c 144s|480000 | 185 | 580 |6840k| 233 | - | 420 |4248 |2614 | 0 | 0 | 23 | 282k| 20 | 2.100000e+01 | -- | Inf
155.43/155.53 c 147s|490000 | 186 | 580 |6841k| 233 | - | 420 |4252 |2677 | 0 | 0 | 23 | 287k| 20 | 2.100000e+01 | -- | Inf
158.62/158.71 c 150s|500000 | 186 | 580 |6837k| 233 | - | 420 |4246 |2628 | 0 | 0 | 23 | 293k| 20 | 2.100000e+01 | -- | Inf
161.62/161.72 c 153s|510000 | 198 | 580 |6836k| 233 | - | 420 |4237 |2605 | 0 | 0 | 23 | 299k| 20 | 2.100000e+01 | -- | Inf
164.52/164.68 c 156s|520000 | 199 | 580 |6843k| 233 | - | 420 |4245 |2592 | 0 | 0 | 23 | 305k| 20 | 2.100000e+01 | -- | Inf
167.72/167.84 c 159s|530000 | 194 | 580 |6839k| 233 | - | 420 |4235 |2596 | 0 | 0 | 23 | 311k| 20 | 2.100000e+01 | -- | Inf
170.72/170.84 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
170.72/170.84 c 162s|540000 | 190 | 580 |6838k| 233 | - | 420 |4240 |2682 | 0 | 0 | 23 | 317k| 20 | 2.100000e+01 | -- | Inf
174.21/174.32 c 165s|550000 | 196 | 580 |6835k| 239 | - | 420 |4221 |2514 | 0 | 0 | 23 | 323k| 20 | 2.100000e+01 | -- | Inf
177.61/177.74 c 168s|560000 | 191 | 580 |6832k| 239 | - | 420 |4221 |2575 | 0 | 0 | 23 | 329k| 20 | 2.100000e+01 | -- | Inf
180.80/180.93 c 172s|570000 | 199 | 580 |6838k| 239 | - | 420 |4223 |2438 | 0 | 0 | 23 | 335k| 20 | 2.100000e+01 | -- | Inf
184.10/184.24 c 175s|580000 | 196 | 580 |6836k| 239 | - | 420 |4223 |2512 | 0 | 0 | 23 | 341k| 20 | 2.100000e+01 | -- | Inf
187.20/187.36 c 178s|590000 | 198 | 580 |6841k| 239 | - | 420 |4233 |2475 | 0 | 0 | 23 | 347k| 20 | 2.100000e+01 | -- | Inf
190.51/190.61 c 181s|600000 | 190 | 580 |6837k| 239 | - | 420 |4222 |2465 | 0 | 0 | 23 | 353k| 20 | 2.100000e+01 | -- | Inf
193.71/193.86 c 184s|610000 | 201 | 580 |6834k| 239 | - | 420 |4221 |2518 | 0 | 0 | 23 | 359k| 20 | 2.100000e+01 | -- | Inf
196.90/197.05 c 187s|620000 | 192 | 580 |6839k| 239 | - | 420 |4226 |2490 | 0 | 0 | 23 | 365k| 20 | 2.100000e+01 | -- | Inf
200.30/200.46 c 190s|630000 | 198 | 580 |6838k| 239 | - | 420 |4223 |2476 | 0 | 0 | 23 | 371k| 20 | 2.100000e+01 | -- | Inf
203.60/203.74 c 193s|640000 | 191 | 580 |6837k| 239 | - | 420 |4222 |2453 | 0 | 0 | 23 | 377k| 20 | 2.100000e+01 | -- | Inf
206.71/206.88 c 196s|650000 | 193 | 580 |6832k| 239 | - | 420 |4222 |2556 | 0 | 0 | 23 | 383k| 20 | 2.100000e+01 | -- | Inf
209.90/210.04 c 199s|660000 | 200 | 580 |6839k| 239 | - | 420 |4227 |2448 | 0 | 0 | 23 | 389k| 20 | 2.100000e+01 | -- | Inf
213.00/213.19 c 202s|670000 | 193 | 580 |6834k| 239 | - | 420 |4223 |2558 | 0 | 0 | 23 | 395k| 20 | 2.100000e+01 | -- | Inf
216.20/216.33 c 205s|680000 | 192 | 580 |6838k| 239 | - | 420 |4231 |2539 | 0 | 0 | 23 | 401k| 20 | 2.100000e+01 | -- | Inf
219.39/219.52 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
219.39/219.52 c 208s|690000 | 192 | 580 |6837k| 239 | - | 420 |4229 |2501 | 0 | 0 | 23 | 407k| 20 | 2.100000e+01 | -- | Inf
222.59/222.76 c 211s|700000 | 188 | 580 |6840k| 239 | - | 420 |4235 |2547 | 0 | 0 | 23 | 413k| 20 | 2.100000e+01 | -- | Inf
225.89/226.09 c 214s|710000 | 188 | 580 |6832k| 239 | - | 420 |4221 |2549 | 0 | 0 | 23 | 419k| 20 | 2.100000e+01 | -- | Inf
229.38/229.59 c 218s|720000 | 190 | 580 |6836k| 239 | - | 420 |4225 |2509 | 0 | 0 | 23 | 425k| 20 | 2.100000e+01 | -- | Inf
232.78/232.92 c 221s|730000 | 192 | 580 |6835k| 239 | - | 420 |4223 |2484 | 0 | 0 | 23 | 431k| 20 | 2.100000e+01 | -- | Inf
236.08/236.28 c 224s|740000 | 193 | 580 |6837k| 239 | - | 420 |4221 |2477 | 0 | 0 | 23 | 437k| 20 | 2.100000e+01 | -- | Inf
239.28/239.46 c 227s|750000 | 184 | 580 |6833k| 239 | - | 420 |4225 |2578 | 0 | 0 | 23 | 443k| 20 | 2.100000e+01 | -- | Inf
242.48/242.69 c 230s|760000 | 188 | 580 |6834k| 239 | - | 420 |4223 |2525 | 0 | 0 | 23 | 448k| 20 | 2.100000e+01 | -- | Inf
245.79/245.96 c 233s|770000 | 193 | 580 |6841k| 239 | - | 420 |4221 |2462 | 0 | 0 | 23 | 454k| 20 | 2.100000e+01 | -- | Inf
249.19/249.34 c 236s|780000 | 187 | 580 |6835k| 239 | - | 420 |4222 |2501 | 0 | 0 | 23 | 460k| 20 | 2.100000e+01 | -- | Inf
252.58/252.71 c 240s|790000 | 196 | 580 |6835k| 239 | - | 420 |4221 |2556 | 0 | 0 | 23 | 466k| 20 | 2.100000e+01 | -- | Inf
255.69/255.82 c 243s|800000 | 187 | 580 |6835k| 239 | - | 420 |4227 |2568 | 0 | 0 | 23 | 472k| 20 | 2.100000e+01 | -- | Inf
258.88/259.05 c 246s|810000 | 185 | 580 |6836k| 239 | - | 420 |4228 |2540 | 0 | 0 | 23 | 478k| 20 | 2.100000e+01 | -- | Inf
262.19/262.31 c 249s|820000 | 196 | 580 |6843k| 239 | - | 420 |4234 |2462 | 0 | 0 | 23 | 484k| 20 | 2.100000e+01 | -- | Inf
265.47/265.64 c 252s|830000 | 195 | 580 |6842k| 239 | - | 420 |4233 |2480 | 0 | 0 | 23 | 490k| 20 | 2.100000e+01 | -- | Inf
268.77/268.94 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
268.77/268.94 c 255s|840000 | 189 | 580 |6835k| 239 | - | 420 |4223 |2522 | 0 | 0 | 23 | 496k| 20 | 2.100000e+01 | -- | Inf
271.97/272.17 c 258s|850000 | 199 | 580 |6837k| 239 | - | 420 |4222 |2489 | 0 | 0 | 23 | 502k| 20 | 2.100000e+01 | -- | Inf
274.97/275.16 c 261s|860000 | 195 | 580 |6841k| 239 | - | 420 |4231 |2516 | 0 | 0 | 23 | 508k| 20 | 2.100000e+01 | -- | Inf
278.07/278.24 c 264s|870000 | 196 | 580 |6850k| 239 | - | 420 |4247 |2517 | 0 | 0 | 23 | 514k| 20 | 2.100000e+01 | -- | Inf
281.17/281.31 c 267s|880000 | 182 | 580 |6840k| 239 | - | 420 |4237 |2616 | 0 | 0 | 23 | 520k| 20 | 2.100000e+01 | -- | Inf
284.47/284.60 c 270s|890000 | 192 | 580 |6839k| 239 | - | 420 |4223 |2431 | 0 | 0 | 23 | 526k| 20 | 2.100000e+01 | -- | Inf
287.57/287.78 c 273s|900000 | 189 | 580 |6839k| 239 | - | 420 |4223 |2496 | 0 | 0 | 23 | 532k| 20 | 2.100000e+01 | -- | Inf
290.86/291.02 c 276s|910000 | 190 | 580 |6836k| 239 | - | 420 |4223 |2646 | 0 | 0 | 23 | 538k| 20 | 2.100000e+01 | -- | Inf
293.97/294.18 c 279s|920000 | 188 | 580 |6843k| 239 | - | 420 |4228 |2471 | 0 | 0 | 23 | 544k| 20 | 2.100000e+01 | -- | Inf
297.06/297.27 c 282s|930000 | 215 | 580 |6847k| 239 | - | 420 |4229 |2487 | 0 | 0 | 23 | 550k| 20 | 2.100000e+01 | -- | Inf
300.36/300.55 c 285s|940000 | 191 | 580 |6846k| 239 | - | 420 |4241 |2533 | 0 | 0 | 23 | 556k| 20 | 2.100000e+01 | -- | Inf
303.47/303.67 c 288s|950000 | 193 | 580 |6847k| 239 | - | 420 |4243 |2505 | 0 | 0 | 23 | 561k| 20 | 2.100000e+01 | -- | Inf
306.66/306.87 c 291s|960000 | 185 | 580 |6842k| 239 | - | 420 |4230 |2516 | 0 | 0 | 23 | 567k| 20 | 2.100000e+01 | -- | Inf
309.86/310.04 c 294s|970000 | 192 | 580 |6843k| 239 | - | 420 |4231 |2531 | 0 | 0 | 23 | 573k| 20 | 2.100000e+01 | -- | Inf
312.96/313.16 c 297s|980000 | 191 | 580 |6844k| 239 | - | 420 |4234 |2514 | 0 | 0 | 23 | 579k| 20 | 2.100000e+01 | -- | Inf
316.06/316.27 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
316.06/316.27 c 300s|990000 | 201 | 580 |6845k| 239 | - | 420 |4236 |2526 | 0 | 0 | 23 | 585k| 20 | 2.100000e+01 | -- | Inf
319.16/319.32 c 303s| 1000k| 201 | 580 |6845k| 239 | - | 420 |4235 |2494 | 0 | 0 | 23 | 590k| 20 | 2.100000e+01 | -- | Inf
322.16/322.31 c 306s| 1010k| 186 | 580 |6846k| 239 | - | 420 |4244 |2549 | 0 | 0 | 23 | 596k| 20 | 2.100000e+01 | -- | Inf
325.26/325.44 c 309s| 1020k| 193 | 580 |6842k| 239 | - | 420 |4230 |2500 | 0 | 0 | 23 | 602k| 20 | 2.100000e+01 | -- | Inf
328.36/328.57 c 312s| 1030k| 190 | 580 |6841k| 239 | - | 420 |4232 |2473 | 0 | 0 | 23 | 608k| 20 | 2.100000e+01 | -- | Inf
331.35/331.57 c 314s| 1040k| 196 | 580 |6843k| 239 | - | 420 |4230 |2483 | 0 | 0 | 23 | 614k| 20 | 2.100000e+01 | -- | Inf
334.46/334.70 c 317s| 1050k| 185 | 580 |6843k| 239 | - | 420 |4230 |2519 | 0 | 0 | 23 | 620k| 20 | 2.100000e+01 | -- | Inf
337.55/337.72 c 320s| 1060k| 192 | 580 |6844k| 239 | - | 420 |4235 |2507 | 0 | 0 | 23 | 625k| 20 | 2.100000e+01 | -- | Inf
340.55/340.79 c 323s| 1070k| 194 | 580 |6850k| 239 | - | 420 |4241 |2470 | 0 | 0 | 23 | 631k| 20 | 2.100000e+01 | -- | Inf
343.65/343.89 c 326s| 1080k| 175 | 580 |6841k| 239 | - | 420 |4230 |2564 | 0 | 0 | 23 | 637k| 20 | 2.100000e+01 | -- | Inf
347.05/347.25 c 329s| 1090k| 204 | 580 |6842k| 241 | - | 420 |4221 |2456 | 0 | 0 | 23 | 643k| 20 | 2.100000e+01 | -- | Inf
350.65/350.83 c 333s| 1100k| 194 | 580 |6841k| 241 | - | 420 |4221 |2529 | 0 | 0 | 23 | 649k| 20 | 2.100000e+01 | -- | Inf
354.04/354.28 c 336s| 1110k| 202 | 580 |6841k| 241 | - | 420 |4224 |2532 | 0 | 0 | 23 | 655k| 20 | 2.100000e+01 | -- | Inf
357.34/357.51 c 339s| 1120k| 194 | 580 |6841k| 241 | - | 420 |4222 |2535 | 0 | 0 | 23 | 661k| 20 | 2.100000e+01 | -- | Inf
360.54/360.79 c 342s| 1130k| 211 | 580 |6844k| 241 | - | 420 |4223 |2473 | 0 | 0 | 23 | 667k| 20 | 2.100000e+01 | -- | Inf
363.54/363.70 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
363.54/363.70 c 345s| 1140k| 206 | 580 |6847k| 241 | - | 420 |4229 |2493 | 0 | 0 | 23 | 673k| 20 | 2.100000e+01 | -- | Inf
366.63/366.84 c 348s| 1150k| 195 | 580 |6841k| 241 | - | 420 |4226 |2465 | 0 | 0 | 23 | 679k| 20 | 2.100000e+01 | -- | Inf
369.84/370.02 c 351s| 1160k| 195 | 580 |6844k| 241 | - | 420 |4226 |2491 | 0 | 0 | 23 | 685k| 20 | 2.100000e+01 | -- | Inf
372.94/373.18 c 354s| 1170k| 212 | 580 |6844k| 241 | - | 420 |4225 |2456 | 0 | 0 | 23 | 691k| 20 | 2.100000e+01 | -- | Inf
376.33/376.55 c 357s| 1180k| 203 | 580 |6843k| 241 | - | 420 |4227 |2525 | 0 | 0 | 23 | 697k| 20 | 2.100000e+01 | -- | Inf
379.73/379.99 c 360s| 1190k| 209 | 580 |6852k| 241 | - | 420 |4223 |2408 | 0 | 0 | 23 | 703k| 20 | 2.100000e+01 | -- | Inf
383.03/383.27 c 363s| 1200k| 198 | 580 |6842k| 241 | - | 420 |4221 |2494 | 0 | 0 | 23 | 708k| 20 | 2.100000e+01 | -- | Inf
386.43/386.61 c 367s| 1210k| 193 | 580 |6842k| 241 | - | 420 |4221 |2455 | 0 | 0 | 23 | 714k| 20 | 2.100000e+01 | -- | Inf
389.63/389.86 c 370s| 1220k| 200 | 580 |6843k| 241 | - | 420 |4225 |2508 | 0 | 0 | 23 | 720k| 20 | 2.100000e+01 | -- | Inf
392.63/392.83 c 372s| 1230k| 197 | 580 |6840k| 241 | - | 420 |4222 |2520 | 0 | 0 | 23 | 726k| 20 | 2.100000e+01 | -- | Inf
395.73/395.90 c 375s| 1240k| 190 | 580 |6843k| 241 | - | 420 |4221 |2524 | 0 | 0 | 23 | 731k| 20 | 2.100000e+01 | -- | Inf
398.82/399.07 c 378s| 1250k| 194 | 580 |6843k| 241 | - | 420 |4225 |2481 | 0 | 0 | 23 | 737k| 20 | 2.100000e+01 | -- | Inf
401.82/402.09 c 381s| 1260k| 193 | 580 |6844k| 241 | - | 420 |4231 |2516 | 0 | 0 | 23 | 743k| 20 | 2.100000e+01 | -- | Inf
405.12/405.31 c 384s| 1270k| 194 | 580 |6843k| 241 | - | 420 |4223 |2466 | 0 | 0 | 23 | 749k| 20 | 2.100000e+01 | -- | Inf
408.31/408.53 c 387s| 1280k| 197 | 580 |6841k| 241 | - | 420 |4223 |2447 | 0 | 0 | 23 | 755k| 20 | 2.100000e+01 | -- | Inf
411.42/411.70 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
411.42/411.70 c 390s| 1290k| 185 | 580 |6839k| 241 | - | 420 |4224 |2576 | 0 | 0 | 23 | 761k| 20 | 2.100000e+01 | -- | Inf
414.62/414.89 c 393s| 1300k| 192 | 580 |6842k| 241 | - | 420 |4222 |2470 | 0 | 0 | 23 | 766k| 20 | 2.100000e+01 | -- | Inf
417.82/418.01 c 396s| 1310k| 188 | 580 |6837k| 241 | - | 420 |4223 |2631 | 0 | 0 | 23 | 772k| 20 | 2.100000e+01 | -- | Inf
420.92/421.10 c 399s| 1320k| 188 | 580 |6842k| 241 | - | 420 |4221 |2496 | 0 | 0 | 23 | 778k| 20 | 2.100000e+01 | -- | Inf
424.02/424.26 c 402s| 1330k| 195 | 580 |6842k| 241 | - | 420 |4223 |2545 | 0 | 0 | 23 | 783k| 20 | 2.100000e+01 | -- | Inf
427.01/427.21 c 405s| 1340k| 187 | 580 |6841k| 241 | - | 420 |4227 |2566 | 0 | 0 | 23 | 789k| 20 | 2.100000e+01 | -- | Inf
430.01/430.29 c 408s| 1350k| 202 | 580 |6842k| 241 | - | 420 |4222 |2531 | 0 | 0 | 23 | 795k| 20 | 2.100000e+01 | -- | Inf
433.11/433.34 c 411s| 1360k| 199 | 580 |6843k| 241 | - | 420 |4222 |2454 | 0 | 0 | 23 | 801k| 20 | 2.100000e+01 | -- | Inf
436.31/436.55 c 414s| 1370k| 207 | 580 |6846k| 241 | - | 420 |4222 |2409 | 0 | 0 | 23 | 807k| 20 | 2.100000e+01 | -- | Inf
439.51/439.70 c 417s| 1380k| 196 | 580 |6845k| 241 | - | 420 |4229 |2476 | 0 | 0 | 23 | 813k| 20 | 2.100000e+01 | -- | Inf
442.80/443.05 c 420s| 1390k| 191 | 580 |6842k| 241 | - | 420 |4226 |2533 | 0 | 0 | 23 | 819k| 20 | 2.100000e+01 | -- | Inf
446.00/446.23 c 423s| 1400k| 196 | 580 |6845k| 241 | - | 420 |4226 |2513 | 0 | 0 | 23 | 825k| 20 | 2.100000e+01 | -- | Inf
449.10/449.39 c 426s| 1410k| 186 | 580 |6839k| 241 | - | 420 |4222 |2596 | 0 | 0 | 23 | 831k| 20 | 2.100000e+01 | -- | Inf
452.20/452.46 c 429s| 1420k| 192 | 580 |6845k| 241 | - | 420 |4230 |2455 | 0 | 0 | 23 | 836k| 20 | 2.100000e+01 | -- | Inf
455.29/455.55 c 432s| 1430k| 198 | 580 |6842k| 241 | - | 420 |4223 |2497 | 0 | 0 | 23 | 842k| 20 | 2.100000e+01 | -- | Inf
458.50/458.72 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
458.50/458.72 c 435s| 1440k| 192 | 580 |6844k| 241 | - | 420 |4228 |2487 | 0 | 0 | 23 | 848k| 20 | 2.100000e+01 | -- | Inf
461.60/461.82 c 438s| 1450k| 191 | 580 |6843k| 241 | - | 420 |4229 |2533 | 0 | 0 | 23 | 854k| 20 | 2.100000e+01 | -- | Inf
464.69/464.95 c 441s| 1460k| 198 | 580 |6847k| 241 | - | 420 |4226 |2455 | 0 | 0 | 23 | 860k| 20 | 2.100000e+01 | -- | Inf
467.80/468.08 c 444s| 1470k| 191 | 580 |6848k| 241 | - | 420 |4233 |2493 | 0 | 0 | 23 | 866k| 20 | 2.100000e+01 | -- | Inf
470.99/471.21 c 447s| 1480k| 206 | 580 |6846k| 241 | - | 420 |4222 |2424 | 0 | 0 | 23 | 871k| 20 | 2.100000e+01 | -- | Inf
473.99/474.23 c 450s| 1490k| 190 | 580 |6844k| 241 | - | 420 |4231 |2535 | 0 | 0 | 23 | 877k| 20 | 2.100000e+01 | -- | Inf
476.99/477.27 c 453s| 1500k| 198 | 580 |6850k| 241 | - | 420 |4236 |2467 | 0 | 0 | 23 | 883k| 20 | 2.100000e+01 | -- | Inf
480.19/480.43 c 456s| 1510k| 193 | 580 |6844k| 241 | - | 420 |4229 |2522 | 0 | 0 | 23 | 888k| 20 | 2.100000e+01 | -- | Inf
483.19/483.48 c 459s| 1520k| 194 | 580 |6849k| 241 | - | 420 |4234 |2481 | 0 | 0 | 23 | 894k| 20 | 2.100000e+01 | -- | Inf
486.29/486.54 c 461s| 1530k| 191 | 580 |6846k| 241 | - | 420 |4223 |2486 | 0 | 0 | 23 | 900k| 20 | 2.100000e+01 | -- | Inf
489.38/489.68 c 464s| 1540k| 190 | 580 |6845k| 241 | - | 420 |4222 |2462 | 0 | 0 | 23 | 906k| 20 | 2.100000e+01 | -- | Inf
492.38/492.69 c 467s| 1550k| 195 | 580 |6848k| 241 | - | 420 |4233 |2525 | 0 | 0 | 23 | 911k| 20 | 2.100000e+01 | -- | Inf
495.38/495.65 c 470s| 1560k| 193 | 580 |6852k| 241 | - | 420 |4242 |2548 | 0 | 0 | 23 | 917k| 20 | 2.100000e+01 | -- | Inf
498.48/498.72 c 473s| 1570k| 188 | 580 |6854k| 241 | - | 420 |4249 |2510 | 0 | 0 | 23 | 923k| 20 | 2.100000e+01 | -- | Inf
501.48/501.75 c 476s| 1580k| 190 | 580 |6848k| 241 | - | 420 |4236 |2578 | 0 | 0 | 23 | 929k| 20 | 2.100000e+01 | -- | Inf
504.69/504.97 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
504.69/504.97 c 479s| 1590k| 203 | 580 |6848k| 241 | - | 420 |4228 |2449 | 0 | 0 | 23 | 934k| 20 | 2.100000e+01 | -- | Inf
507.98/508.28 c 482s| 1600k| 193 | 580 |6843k| 241 | - | 420 |4227 |2521 | 0 | 0 | 23 | 940k| 20 | 2.100000e+01 | -- | Inf
511.18/511.50 c 485s| 1610k| 205 | 580 |6849k| 241 | - | 420 |4230 |2466 | 0 | 0 | 23 | 946k| 20 | 2.100000e+01 | -- | Inf
514.37/514.63 c 488s| 1620k| 199 | 580 |6846k| 241 | - | 420 |4229 |2536 | 0 | 0 | 23 | 952k| 20 | 2.100000e+01 | -- | Inf
517.47/517.75 c 491s| 1630k| 199 | 580 |6846k| 241 | - | 420 |4228 |2510 | 0 | 0 | 23 | 958k| 20 | 2.100000e+01 | -- | Inf
520.87/521.15 c 494s| 1640k| 195 | 580 |6845k| 241 | - | 420 |4229 |2516 | 0 | 0 | 23 | 964k| 20 | 2.100000e+01 | -- | Inf
523.97/524.28 c 497s| 1650k| 198 | 580 |6847k| 241 | - | 420 |4227 |2458 | 0 | 0 | 23 | 969k| 20 | 2.100000e+01 | -- | Inf
527.17/527.41 c 500s| 1660k| 205 | 580 |6850k| 241 | - | 420 |4231 |2426 | 0 | 0 | 23 | 975k| 20 | 2.100000e+01 | -- | Inf
530.18/530.41 c 503s| 1670k| 207 | 580 |6848k| 241 | - | 420 |4228 |2505 | 0 | 0 | 23 | 981k| 20 | 2.100000e+01 | -- | Inf
533.27/533.59 c 506s| 1680k| 194 | 580 |6851k| 241 | - | 420 |4232 |2465 | 0 | 0 | 23 | 987k| 20 | 2.100000e+01 | -- | Inf
536.36/536.68 c 509s| 1690k| 199 | 580 |6848k| 241 | - | 420 |4230 |2488 | 0 | 0 | 23 | 993k| 20 | 2.100000e+01 | -- | Inf
539.56/539.86 c 512s| 1700k| 194 | 580 |6852k| 241 | - | 420 |4238 |2481 | 0 | 0 | 23 | 998k| 20 | 2.100000e+01 | -- | Inf
542.77/543.01 c 515s| 1710k| 199 | 580 |6855k| 241 | - | 420 |4241 |2405 | 0 | 0 | 23 |1004k| 20 | 2.100000e+01 | -- | Inf
545.96/546.22 c 518s| 1720k| 194 | 580 |6847k| 241 | - | 420 |4232 |2487 | 0 | 0 | 23 |1010k| 20 | 2.100000e+01 | -- | Inf
549.06/549.32 c 521s| 1730k| 197 | 580 |6847k| 241 | - | 420 |4227 |2474 | 0 | 0 | 23 |1016k| 20 | 2.100000e+01 | -- | Inf
552.16/552.44 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
552.16/552.44 c 524s| 1740k| 190 | 580 |6849k| 241 | - | 420 |4237 |2527 | 0 | 0 | 23 |1022k| 20 | 2.100000e+01 | -- | Inf
555.27/555.55 c 527s| 1750k| 183 | 580 |6850k| 241 | - | 420 |4243 |2549 | 0 | 0 | 23 |1028k| 20 | 2.100000e+01 | -- | Inf
558.57/558.86 c 530s| 1760k| 189 | 580 |6846k| 241 | - | 420 |4229 |2506 | 0 | 0 | 23 |1034k| 20 | 2.100000e+01 | -- | Inf
561.77/562.01 c 533s| 1770k| 201 | 580 |6857k| 241 | - | 420 |4246 |2435 | 0 | 0 | 23 |1040k| 20 | 2.100000e+01 | -- | Inf
564.76/565.08 c 536s| 1780k| 179 | 580 |6848k| 241 | - | 420 |4245 |2633 | 0 | 0 | 23 |1046k| 20 | 2.100000e+01 | -- | Inf
567.96/568.22 c 539s| 1790k| 191 | 580 |6851k| 241 | - | 420 |4238 |2492 | 0 | 0 | 23 |1051k| 20 | 2.100000e+01 | -- | Inf
571.06/571.30 c 542s| 1800k| 183 | 580 |6850k| 241 | - | 420 |4241 |2512 | 0 | 0 | 23 |1057k| 20 | 2.100000e+01 | -- | Inf
574.16/574.45 c 545s| 1810k| 192 | 580 |6854k| 241 | - | 420 |4247 |2429 | 0 | 0 | 23 |1063k| 20 | 2.100000e+01 | -- | Inf
577.15/577.44 c 547s| 1820k| 211 | 580 |6853k| 241 | - | 420 |4233 |2475 | 0 | 0 | 23 |1069k| 20 | 2.100000e+01 | -- | Inf
580.35/580.63 c 550s| 1830k| 197 | 580 |6845k| 241 | - | 420 |4226 |2530 | 0 | 0 | 23 |1075k| 20 | 2.100000e+01 | -- | Inf
583.45/583.77 c 553s| 1840k| 196 | 580 |6847k| 241 | - | 420 |4229 |2491 | 0 | 0 | 23 |1080k| 20 | 2.100000e+01 | -- | Inf
586.55/586.89 c 556s| 1850k| 202 | 580 |6854k| 241 | - | 420 |4240 |2477 | 0 | 0 | 23 |1086k| 20 | 2.100000e+01 | -- | Inf
589.65/589.95 c 559s| 1860k| 192 | 580 |6845k| 241 | - | 420 |4226 |2533 | 0 | 0 | 23 |1092k| 20 | 2.100000e+01 | -- | Inf
592.85/593.10 c 562s| 1870k| 191 | 580 |6851k| 241 | - | 420 |4239 |2523 | 0 | 0 | 23 |1098k| 20 | 2.100000e+01 | -- | Inf
596.06/596.34 c 565s| 1880k| 199 | 580 |6856k| 241 | - | 420 |4244 |2436 | 0 | 0 | 23 |1104k| 20 | 2.100000e+01 | -- | Inf
599.15/599.50 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
599.15/599.50 c 568s| 1890k| 201 | 580 |6849k| 241 | - | 420 |4230 |2438 | 0 | 0 | 23 |1110k| 20 | 2.100000e+01 | -- | Inf
602.25/602.59 c 571s| 1900k| 190 | 580 |6847k| 241 | - | 420 |4232 |2494 | 0 | 0 | 23 |1116k| 20 | 2.100000e+01 | -- | Inf
605.55/605.80 c 574s| 1910k| 187 | 580 |6850k| 241 | - | 420 |4232 |2506 | 0 | 0 | 23 |1122k| 20 | 2.100000e+01 | -- | Inf
608.65/608.91 c 577s| 1920k| 197 | 580 |6846k| 241 | - | 420 |4226 |2519 | 0 | 0 | 23 |1127k| 20 | 2.100000e+01 | -- | Inf
611.64/611.95 c 580s| 1930k| 191 | 580 |6850k| 241 | - | 420 |4235 |2481 | 0 | 0 | 23 |1133k| 20 | 2.100000e+01 | -- | Inf
614.85/615.15 c 583s| 1940k| 193 | 580 |6849k| 241 | - | 420 |4235 |2510 | 0 | 0 | 23 |1139k| 20 | 2.100000e+01 | -- | Inf
618.05/618.33 c 586s| 1950k| 186 | 580 |6848k| 241 | - | 420 |4235 |2577 | 0 | 0 | 23 |1145k| 20 | 2.100000e+01 | -- | Inf
621.05/621.39 c 589s| 1960k| 198 | 580 |6855k| 241 | - | 420 |4239 |2457 | 0 | 0 | 23 |1150k| 20 | 2.100000e+01 | -- | Inf
624.03/624.36 c 592s| 1970k| 200 | 580 |6855k| 241 | - | 420 |4240 |2470 | 0 | 0 | 23 |1156k| 20 | 2.100000e+01 | -- | Inf
627.04/627.34 c 595s| 1980k| 191 | 580 |6859k| 241 | - | 420 |4253 |2519 | 0 | 0 | 23 |1162k| 20 | 2.100000e+01 | -- | Inf
630.04/630.33 c 598s| 1990k| 193 | 580 |6849k| 241 | - | 420 |4235 |2555 | 0 | 0 | 23 |1168k| 20 | 2.100000e+01 | -- | Inf
633.13/633.48 c 600s| 2000k| 187 | 580 |6857k| 241 | - | 420 |4240 |2472 | 0 | 0 | 23 |1174k| 20 | 2.100000e+01 | -- | Inf
636.23/636.50 c 603s| 2010k| 189 | 580 |6853k| 241 | - | 420 |4240 |2491 | 0 | 0 | 23 |1179k| 20 | 2.100000e+01 | -- | Inf
639.33/639.66 c 606s| 2020k| 201 | 580 |6849k| 241 | - | 420 |4228 |2462 | 0 | 0 | 23 |1185k| 20 | 2.100000e+01 | -- | Inf
642.43/642.70 c 609s| 2030k| 198 | 580 |6851k| 241 | - | 420 |4233 |2422 | 0 | 0 | 23 |1191k| 20 | 2.100000e+01 | -- | Inf
645.53/645.85 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
645.53/645.85 c 612s| 2040k| 187 | 580 |6846k| 241 | - | 420 |4230 |2505 | 0 | 0 | 23 |1197k| 20 | 2.100000e+01 | -- | Inf
648.53/648.89 c 615s| 2050k| 185 | 580 |6851k| 241 | - | 420 |4242 |2522 | 0 | 0 | 23 |1203k| 20 | 2.100000e+01 | -- | Inf
651.73/652.00 c 618s| 2060k| 198 | 580 |6842k| 241 | - | 420 |4223 |2547 | 0 | 0 | 23 |1209k| 20 | 2.100000e+01 | -- | Inf
655.03/655.37 c 621s| 2070k| 198 | 580 |6849k| 241 | - | 420 |4226 |2488 | 0 | 0 | 23 |1214k| 20 | 2.100000e+01 | -- | Inf
658.43/658.76 c 624s| 2080k| 191 | 580 |6848k| 241 | - | 420 |4224 |2471 | 0 | 0 | 23 |1220k| 20 | 2.100000e+01 | -- | Inf
661.53/661.88 c 627s| 2090k| 195 | 580 |6845k| 241 | - | 420 |4223 |2519 | 0 | 0 | 23 |1226k| 20 | 2.100000e+01 | -- | Inf
664.72/665.07 c 630s| 2100k| 194 | 580 |6845k| 241 | - | 420 |4223 |2539 | 0 | 0 | 23 |1231k| 20 | 2.100000e+01 | -- | Inf
668.12/668.41 c 634s| 2110k| 199 | 580 |6851k| 241 | - | 420 |4231 |2485 | 0 | 0 | 23 |1237k| 20 | 2.100000e+01 | -- | Inf
671.41/671.75 c 637s| 2120k| 184 | 580 |6843k| 241 | - | 420 |4225 |2564 | 0 | 0 | 23 |1243k| 20 | 2.100000e+01 | -- | Inf
674.82/675.10 c 640s| 2130k| 195 | 580 |6850k| 241 | - | 420 |4233 |2427 | 0 | 0 | 23 |1249k| 20 | 2.100000e+01 | -- | Inf
678.11/678.49 c 643s| 2140k| 186 | 580 |6843k| 241 | - | 420 |4223 |2580 | 0 | 0 | 23 |1254k| 20 | 2.100000e+01 | -- | Inf
681.31/681.62 c 646s| 2150k| 190 | 580 |6847k| 241 | - | 420 |4223 |2486 | 0 | 0 | 23 |1260k| 20 | 2.100000e+01 | -- | Inf
684.51/684.89 c 649s| 2160k| 185 | 580 |6850k| 241 | - | 420 |4237 |2560 | 0 | 0 | 23 |1266k| 20 | 2.100000e+01 | -- | Inf
687.61/687.97 c 652s| 2170k| 190 | 580 |6846k| 241 | - | 420 |4227 |2539 | 0 | 0 | 23 |1271k| 20 | 2.100000e+01 | -- | Inf
690.81/691.13 c 655s| 2180k| 186 | 580 |6847k| 241 | - | 420 |4229 |2546 | 0 | 0 | 23 |1277k| 20 | 2.100000e+01 | -- | Inf
694.11/694.40 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
694.11/694.40 c 658s| 2190k| 182 | 580 |6854k| 241 | - | 420 |4237 |2529 | 0 | 0 | 23 |1283k| 20 | 2.100000e+01 | -- | Inf
697.21/697.59 c 661s| 2200k| 204 | 580 |6848k| 241 | - | 420 |4224 |2493 | 0 | 0 | 23 |1289k| 20 | 2.100000e+01 | -- | Inf
700.61/700.92 c 664s| 2210k| 208 | 580 |6847k| 241 | - | 420 |4225 |2443 | 0 | 0 | 23 |1294k| 20 | 2.100000e+01 | -- | Inf
704.01/704.34 c 668s| 2220k| 201 | 580 |6848k| 241 | - | 420 |4228 |2482 | 0 | 0 | 23 |1300k| 20 | 2.100000e+01 | -- | Inf
707.30/707.64 c 671s| 2230k| 189 | 580 |6846k| 241 | - | 420 |4223 |2512 | 0 | 0 | 23 |1306k| 20 | 2.100000e+01 | -- | Inf
710.40/710.78 c 674s| 2240k| 191 | 580 |6845k| 241 | - | 420 |4224 |2554 | 0 | 0 | 23 |1311k| 20 | 2.100000e+01 | -- | Inf
713.70/714.04 c 677s| 2250k| 181 | 580 |6845k| 241 | - | 420 |4228 |2578 | 0 | 0 | 23 |1317k| 20 | 2.100000e+01 | -- | Inf
717.10/717.40 c 680s| 2260k| 188 | 580 |6845k| 241 | - | 420 |4227 |2524 | 0 | 0 | 23 |1323k| 20 | 2.100000e+01 | -- | Inf
720.30/720.64 c 683s| 2270k| 189 | 580 |6848k| 241 | - | 420 |4224 |2476 | 0 | 0 | 23 |1329k| 20 | 2.100000e+01 | -- | Inf
723.40/723.77 c 686s| 2280k| 188 | 580 |6857k| 241 | - | 420 |4253 |2579 | 0 | 0 | 23 |1335k| 20 | 2.100000e+01 | -- | Inf
726.60/726.91 c 689s| 2290k| 191 | 580 |6856k| 241 | - | 420 |4247 |2491 | 0 | 0 | 23 |1341k| 20 | 2.100000e+01 | -- | Inf
729.70/730.03 c 692s| 2300k| 191 | 580 |6844k| 241 | - | 420 |4225 |2530 | 0 | 0 | 23 |1347k| 20 | 2.100000e+01 | -- | Inf
732.90/733.26 c 695s| 2310k| 184 | 580 |6848k| 241 | - | 420 |4229 |2512 | 0 | 0 | 23 |1353k| 20 | 2.100000e+01 | -- | Inf
736.10/736.43 c 698s| 2320k| 193 | 580 |6849k| 241 | - | 420 |4224 |2480 | 0 | 0 | 23 |1358k| 20 | 2.100000e+01 | -- | Inf
739.29/739.64 c 701s| 2330k| 190 | 580 |6848k| 241 | - | 420 |4224 |2511 | 0 | 0 | 23 |1364k| 20 | 2.100000e+01 | -- | Inf
742.19/742.55 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
742.19/742.55 c 704s| 2340k| 183 | 580 |6851k| 241 | - | 420 |4238 |2577 | 0 | 0 | 23 |1369k| 20 | 2.100000e+01 | -- | Inf
745.19/745.56 c 707s| 2350k| 184 | 580 |6860k| 241 | - | 420 |4258 |2531 | 0 | 0 | 23 |1375k| 20 | 2.100000e+01 | -- | Inf
748.09/748.49 c 710s| 2360k| 203 | 580 |6848k| 241 | - | 420 |4227 |2438 | 0 | 0 | 23 |1381k| 20 | 2.100000e+01 | -- | Inf
751.29/751.63 c 713s| 2370k| 194 | 580 |6846k| 241 | - | 420 |4223 |2445 | 0 | 0 | 23 |1387k| 20 | 2.100000e+01 | -- | Inf
754.30/754.69 c 716s| 2380k| 189 | 580 |6844k| 241 | - | 420 |4222 |2508 | 0 | 0 | 23 |1392k| 20 | 2.100000e+01 | -- | Inf
757.38/757.72 c 718s| 2390k| 197 | 580 |6847k| 241 | - | 420 |4224 |2426 | 0 | 0 | 23 |1398k| 20 | 2.100000e+01 | -- | Inf
760.38/760.80 c 721s| 2400k| 189 | 580 |6849k| 241 | - | 420 |4230 |2480 | 0 | 0 | 23 |1403k| 20 | 2.100000e+01 | -- | Inf
763.58/763.90 c 724s| 2410k| 208 | 580 |6849k| 241 | - | 420 |4221 |2435 | 0 | 0 | 23 |1409k| 20 | 2.100000e+01 | -- | Inf
766.68/767.03 c 727s| 2420k| 195 | 580 |6846k| 241 | - | 420 |4224 |2462 | 0 | 0 | 23 |1415k| 20 | 2.100000e+01 | -- | Inf
769.88/770.26 c 730s| 2430k| 193 | 580 |6845k| 241 | - | 420 |4225 |2500 | 0 | 0 | 23 |1421k| 20 | 2.100000e+01 | -- | Inf
773.08/773.47 c 733s| 2440k| 196 | 580 |6847k| 241 | - | 420 |4222 |2452 | 0 | 0 | 23 |1426k| 20 | 2.100000e+01 | -- | Inf
776.37/776.73 c 736s| 2450k| 188 | 580 |6848k| 241 | - | 420 |4229 |2502 | 0 | 0 | 23 |1432k| 20 | 2.100000e+01 | -- | Inf
779.48/779.84 c 739s| 2460k| 205 | 580 |6849k| 241 | - | 420 |4229 |2537 | 0 | 0 | 23 |1438k| 20 | 2.100000e+01 | -- | Inf
782.98/783.36 c 743s| 2470k| 192 | 580 |6850k| 241 | - | 420 |4231 |2490 | 0 | 0 | 23 |1444k| 20 | 2.100000e+01 | -- | Inf
786.27/786.67 c 746s| 2480k| 188 | 580 |6847k| 241 | - | 420 |4228 |2547 | 0 | 0 | 23 |1450k| 20 | 2.100000e+01 | -- | Inf
789.58/789.91 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
789.58/789.91 c 749s| 2490k| 202 | 580 |6846k| 241 | - | 420 |4222 |2521 | 0 | 0 | 23 |1456k| 20 | 2.100000e+01 | -- | Inf
792.78/793.16 c 752s| 2500k| 191 | 580 |6846k| 241 | - | 420 |4221 |2479 | 0 | 0 | 23 |1462k| 20 | 2.100000e+01 | -- | Inf
795.98/796.31 c 755s| 2510k| 186 | 580 |6845k| 241 | - | 420 |4221 |2516 | 0 | 0 | 23 |1467k| 20 | 2.100000e+01 | -- | Inf
799.08/799.41 c 758s| 2520k| 185 | 580 |6847k| 241 | - | 420 |4231 |2532 | 0 | 0 | 23 |1473k| 20 | 2.100000e+01 | -- | Inf
802.37/802.73 c 761s| 2530k| 184 | 580 |6847k| 241 | - | 420 |4223 |2470 | 0 | 0 | 23 |1479k| 20 | 2.100000e+01 | -- | Inf
805.57/805.99 c 764s| 2540k| 192 | 580 |6845k| 241 | - | 420 |4223 |2481 | 0 | 0 | 23 |1485k| 20 | 2.100000e+01 | -- | Inf
808.77/809.16 c 767s| 2550k| 181 | 580 |6847k| 241 | - | 420 |4234 |2567 | 0 | 0 | 23 |1491k| 20 | 2.100000e+01 | -- | Inf
812.07/812.44 c 770s| 2560k| 199 | 580 |6855k| 241 | - | 420 |4239 |2453 | 0 | 0 | 23 |1497k| 20 | 2.100000e+01 | -- | Inf
815.37/815.75 c 773s| 2570k| 186 | 580 |6848k| 241 | - | 420 |4229 |2499 | 0 | 0 | 23 |1503k| 20 | 2.100000e+01 | -- | Inf
818.57/818.92 c 776s| 2580k| 192 | 580 |6843k| 241 | - | 420 |4221 |2489 | 0 | 0 | 23 |1509k| 20 | 2.100000e+01 | -- | Inf
821.66/822.05 c 779s| 2590k| 191 | 580 |6848k| 241 | - | 420 |4225 |2481 | 0 | 0 | 23 |1514k| 20 | 2.100000e+01 | -- | Inf
824.77/825.11 c 782s| 2600k| 183 | 580 |6851k| 241 | - | 420 |4238 |2491 | 0 | 0 | 23 |1520k| 20 | 2.100000e+01 | -- | Inf
827.87/828.29 c 785s| 2610k| 190 | 580 |6848k| 241 | - | 420 |4226 |2473 | 0 | 0 | 23 |1526k| 20 | 2.100000e+01 | -- | Inf
831.06/831.43 c 788s| 2620k| 182 | 580 |6846k| 241 | - | 420 |4229 |2500 | 0 | 0 | 23 |1532k| 20 | 2.100000e+01 | -- | Inf
834.26/834.66 c 791s| 2630k| 184 | 580 |6848k| 241 | - | 420 |4229 |2498 | 0 | 0 | 23 |1538k| 20 | 2.100000e+01 | -- | Inf
837.46/837.87 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
837.46/837.87 c 794s| 2640k| 192 | 580 |6853k| 241 | - | 420 |4232 |2461 | 0 | 0 | 23 |1543k| 20 | 2.100000e+01 | -- | Inf
840.76/841.16 c 798s| 2650k| 189 | 580 |6847k| 241 | - | 420 |4222 |2485 | 0 | 0 | 23 |1549k| 20 | 2.100000e+01 | -- | Inf
844.06/844.41 c 801s| 2660k| 197 | 580 |6850k| 241 | - | 420 |4233 |2447 | 0 | 0 | 23 |1555k| 20 | 2.100000e+01 | -- | Inf
847.15/847.56 c 804s| 2670k| 196 | 580 |6851k| 241 | - | 420 |4233 |2451 | 0 | 0 | 23 |1561k| 20 | 2.100000e+01 | -- | Inf
850.54/850.99 c 807s| 2680k| 192 | 580 |6847k| 241 | - | 420 |4222 |2483 | 0 | 0 | 23 |1567k| 20 | 2.100000e+01 | -- | Inf
853.74/854.18 c 810s| 2690k| 193 | 580 |6850k| 241 | - | 420 |4234 |2515 | 0 | 0 | 23 |1573k| 20 | 2.100000e+01 | -- | Inf
856.84/857.24 c 813s| 2700k| 189 | 580 |6847k| 241 | - | 420 |4230 |2587 | 0 | 0 | 23 |1579k| 20 | 2.100000e+01 | -- | Inf
860.03/860.41 c 816s| 2710k| 190 | 580 |6846k| 241 | - | 420 |4223 |2496 | 0 | 0 | 23 |1585k| 20 | 2.100000e+01 | -- | Inf
863.03/863.50 c 819s| 2720k| 188 | 580 |6847k| 241 | - | 420 |4230 |2512 | 0 | 0 | 23 |1590k| 20 | 2.100000e+01 | -- | Inf
866.44/866.85 c 822s| 2730k| 195 | 580 |6852k| 241 | - | 420 |4232 |2449 | 0 | 0 | 23 |1596k| 20 | 2.100000e+01 | -- | Inf
869.63/870.09 c 825s| 2740k| 192 | 580 |6852k| 241 | - | 420 |4233 |2504 | 0 | 0 | 23 |1602k| 20 | 2.100000e+01 | -- | Inf
872.83/873.24 c 828s| 2750k| 188 | 580 |6852k| 241 | - | 420 |4235 |2477 | 0 | 0 | 23 |1608k| 20 | 2.100000e+01 | -- | Inf
876.02/876.42 c 831s| 2760k| 185 | 580 |6846k| 241 | - | 420 |4224 |2525 | 0 | 0 | 23 |1614k| 20 | 2.100000e+01 | -- | Inf
879.23/879.65 c 834s| 2770k| 186 | 580 |6847k| 241 | - | 420 |4230 |2520 | 0 | 0 | 23 |1620k| 20 | 2.100000e+01 | -- | Inf
882.43/882.88 c 837s| 2780k| 188 | 580 |6845k| 241 | - | 420 |4223 |2531 | 0 | 0 | 23 |1625k| 20 | 2.100000e+01 | -- | Inf
885.52/885.92 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
885.52/885.92 c 840s| 2790k| 205 | 580 |6854k| 241 | - | 420 |4231 |2445 | 0 | 0 | 23 |1631k| 20 | 2.100000e+01 | -- | Inf
888.62/889.04 c 843s| 2800k| 187 | 580 |6848k| 241 | - | 420 |4232 |2531 | 0 | 0 | 23 |1637k| 20 | 2.100000e+01 | -- | Inf
891.73/892.15 c 846s| 2810k| 181 | 580 |6849k| 241 | - | 420 |4230 |2546 | 0 | 0 | 23 |1642k| 20 | 2.100000e+01 | -- | Inf
895.02/895.46 c 849s| 2820k| 199 | 580 |6854k| 241 | - | 420 |4233 |2449 | 0 | 0 | 23 |1648k| 20 | 2.100000e+01 | -- | Inf
898.32/898.70 c 852s| 2830k| 195 | 580 |6856k| 241 | - | 420 |4241 |2447 | 0 | 0 | 23 |1654k| 20 | 2.100000e+01 | -- | Inf
901.52/901.95 c 855s| 2840k| 187 | 580 |6854k| 241 | - | 420 |4244 |2558 | 0 | 0 | 23 |1660k| 20 | 2.100000e+01 | -- | Inf
904.62/905.00 c 858s| 2850k| 190 | 580 |6846k| 241 | - | 420 |4232 |2722 | 0 | 0 | 23 |1665k| 20 | 2.100000e+01 | -- | Inf
907.71/908.16 c 861s| 2860k| 187 | 580 |6854k| 241 | - | 420 |4243 |2526 | 0 | 0 | 23 |1671k| 20 | 2.100000e+01 | -- | Inf
910.81/911.22 c 864s| 2870k| 203 | 580 |6850k| 241 | - | 420 |4223 |2499 | 0 | 0 | 23 |1677k| 20 | 2.100000e+01 | -- | Inf
913.71/914.16 c 867s| 2880k| 207 | 580 |6854k| 241 | - | 420 |4227 |2419 | 0 | 0 | 23 |1683k| 20 | 2.100000e+01 | -- | Inf
916.70/917.14 c 870s| 2890k| 194 | 580 |6846k| 241 | - | 420 |4222 |2505 | 0 | 0 | 23 |1689k| 20 | 2.100000e+01 | -- | Inf
919.81/920.27 c 873s| 2900k| 207 | 580 |6851k| 241 | - | 420 |4223 |2412 | 0 | 0 | 23 |1694k| 20 | 2.100000e+01 | -- | Inf
923.11/923.51 c 876s| 2910k| 201 | 580 |6847k| 241 | - | 420 |4222 |2484 | 0 | 0 | 23 |1700k| 20 | 2.100000e+01 | -- | Inf
926.21/926.60 c 879s| 2920k| 197 | 580 |6850k| 241 | - | 420 |4223 |2434 | 0 | 0 | 23 |1706k| 20 | 2.100000e+01 | -- | Inf
929.21/929.62 c 882s| 2930k| 198 | 580 |6854k| 241 | - | 420 |4239 |2488 | 0 | 0 | 23 |1712k| 20 | 2.100000e+01 | -- | Inf
932.10/932.59 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
932.10/932.59 c 884s| 2940k| 197 | 580 |6847k| 241 | - | 420 |4222 |2487 | 0 | 0 | 23 |1718k| 20 | 2.100000e+01 | -- | Inf
935.31/935.78 c 887s| 2950k| 191 | 580 |6846k| 241 | - | 420 |4224 |2489 | 0 | 0 | 23 |1724k| 20 | 2.100000e+01 | -- | Inf
938.60/939.07 c 891s| 2960k| 194 | 580 |6849k| 241 | - | 420 |4225 |2465 | 0 | 0 | 23 |1730k| 20 | 2.100000e+01 | -- | Inf
941.80/942.25 c 894s| 2970k| 198 | 580 |6848k| 241 | - | 420 |4224 |2426 | 0 | 0 | 23 |1736k| 20 | 2.100000e+01 | -- | Inf
944.89/945.36 c 896s| 2980k| 192 | 580 |6848k| 241 | - | 420 |4222 |2480 | 0 | 0 | 23 |1742k| 20 | 2.100000e+01 | -- | Inf
947.89/948.32 c 899s| 2990k| 188 | 580 |6848k| 241 | - | 420 |4225 |2510 | 0 | 0 | 23 |1747k| 20 | 2.100000e+01 | -- | Inf
951.00/951.47 c 902s| 3000k| 189 | 580 |6848k| 241 | - | 420 |4224 |2525 | 0 | 0 | 23 |1753k| 20 | 2.100000e+01 | -- | Inf
954.20/954.61 c 905s| 3010k| 217 | 580 |6852k| 241 | - | 420 |4222 |2393 | 0 | 0 | 23 |1759k| 20 | 2.100000e+01 | -- | Inf
957.30/957.71 c 908s| 3020k| 198 | 580 |6851k| 241 | - | 420 |4224 |2474 | 0 | 0 | 23 |1765k| 20 | 2.100000e+01 | -- | Inf
960.29/960.72 c 911s| 3030k| 208 | 580 |6855k| 241 | - | 420 |4231 |2426 | 0 | 0 | 23 |1771k| 20 | 2.100000e+01 | -- | Inf
963.59/964.01 c 914s| 3040k| 194 | 580 |6853k| 241 | - | 420 |4232 |2456 | 0 | 0 | 23 |1776k| 20 | 2.100000e+01 | -- | Inf
966.59/967.09 c 917s| 3050k| 196 | 580 |6852k| 241 | - | 420 |4233 |2473 | 0 | 0 | 23 |1782k| 20 | 2.100000e+01 | -- | Inf
969.69/970.19 c 920s| 3060k| 210 | 580 |6854k| 241 | - | 420 |4231 |2418 | 0 | 0 | 23 |1788k| 20 | 2.100000e+01 | -- | Inf
972.89/973.39 c 923s| 3070k| 193 | 580 |6850k| 241 | - | 420 |4228 |2472 | 0 | 0 | 23 |1794k| 20 | 2.100000e+01 | -- | Inf
976.09/976.50 c 926s| 3080k| 188 | 580 |6849k| 241 | - | 420 |4232 |2541 | 0 | 0 | 23 |1800k| 20 | 2.100000e+01 | -- | Inf
979.58/980.00 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
979.58/980.00 c 929s| 3090k| 181 | 580 |6844k| 241 | - | 420 |4231 |2622 | 0 | 0 | 23 |1806k| 20 | 2.100000e+01 | -- | Inf
982.88/983.38 c 933s| 3100k| 207 | 580 |6856k| 241 | - | 420 |4232 |2401 | 0 | 0 | 23 |1812k| 20 | 2.100000e+01 | -- | Inf
986.18/986.64 c 936s| 3110k| 197 | 580 |6852k| 241 | - | 420 |4232 |2447 | 0 | 0 | 23 |1818k| 20 | 2.100000e+01 | -- | Inf
989.59/990.04 c 939s| 3120k| 193 | 580 |6853k| 241 | - | 420 |4232 |2463 | 0 | 0 | 23 |1824k| 20 | 2.100000e+01 | -- | Inf
992.67/993.17 c 942s| 3130k| 196 | 580 |6855k| 241 | - | 420 |4234 |2430 | 0 | 0 | 23 |1830k| 20 | 2.100000e+01 | -- | Inf
995.78/996.28 c 945s| 3140k| 189 | 580 |6856k| 241 | - | 420 |4243 |2488 | 0 | 0 | 23 |1836k| 20 | 2.100000e+01 | -- | Inf
998.77/999.28 c 948s| 3150k| 197 | 580 |6859k| 241 | - | 420 |4238 |2420 | 0 | 0 | 23 |1842k| 20 | 2.100000e+01 | -- | Inf
1001.98/1002.41 c 951s| 3160k| 193 | 580 |6853k| 241 | - | 420 |4235 |2438 | 0 | 0 | 23 |1848k| 20 | 2.100000e+01 | -- | Inf
1004.98/1005.43 c 953s| 3170k| 194 | 580 |6856k| 241 | - | 420 |4241 |2461 | 0 | 0 | 23 |1854k| 20 | 2.100000e+01 | -- | Inf
1007.87/1008.35 c 956s| 3180k| 206 | 580 |6855k| 241 | - | 420 |4235 |2456 | 0 | 0 | 23 |1860k| 20 | 2.100000e+01 | -- | Inf
1011.08/1011.56 c 959s| 3190k| 187 | 580 |6852k| 241 | - | 420 |4234 |2491 | 0 | 0 | 23 |1866k| 20 | 2.100000e+01 | -- | Inf
1014.27/1014.70 c 962s| 3200k| 190 | 580 |6862k| 241 | - | 420 |4255 |2485 | 0 | 0 | 23 |1872k| 20 | 2.100000e+01 | -- | Inf
1017.17/1017.60 c 965s| 3210k| 185 | 580 |6864k| 241 | - | 420 |4260 |2494 | 0 | 0 | 23 |1877k| 20 | 2.100000e+01 | -- | Inf
1020.38/1020.85 c 968s| 3220k| 193 | 580 |6849k| 241 | - | 420 |4228 |2475 | 0 | 0 | 23 |1883k| 20 | 2.100000e+01 | -- | Inf
1023.48/1024.00 c 971s| 3230k| 195 | 580 |6856k| 241 | - | 420 |4240 |2482 | 0 | 0 | 23 |1889k| 20 | 2.100000e+01 | -- | Inf
1026.67/1027.19 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1026.67/1027.19 c 974s| 3240k| 194 | 580 |6862k| 241 | - | 420 |4255 |2472 | 0 | 0 | 23 |1895k| 20 | 2.100000e+01 | -- | Inf
1029.96/1030.49 c 977s| 3250k| 192 | 580 |6849k| 241 | - | 420 |4231 |2498 | 0 | 0 | 23 |1901k| 20 | 2.100000e+01 | -- | Inf
1033.26/1033.74 c 980s| 3260k| 190 | 580 |6850k| 241 | - | 420 |4230 |2514 | 0 | 0 | 23 |1907k| 20 | 2.100000e+01 | -- | Inf
1036.36/1036.82 c 983s| 3270k| 191 | 580 |6855k| 241 | - | 420 |4240 |2531 | 0 | 0 | 23 |1913k| 20 | 2.100000e+01 | -- | Inf
1039.36/1039.85 c 986s| 3280k| 196 | 580 |6854k| 241 | - | 420 |4238 |2498 | 0 | 0 | 23 |1919k| 20 | 2.100000e+01 | -- | Inf
1042.37/1042.85 c 989s| 3290k| 192 | 580 |6855k| 241 | - | 420 |4241 |2484 | 0 | 0 | 23 |1925k| 20 | 2.100000e+01 | -- | Inf
1045.46/1045.91 c 992s| 3300k| 191 | 580 |6852k| 241 | - | 420 |4231 |2506 | 0 | 0 | 23 |1930k| 20 | 2.100000e+01 | -- | Inf
1048.46/1048.92 c 995s| 3310k| 193 | 580 |6858k| 241 | - | 420 |4240 |2447 | 0 | 0 | 23 |1936k| 20 | 2.100000e+01 | -- | Inf
1051.66/1052.15 c 998s| 3320k| 191 | 580 |6853k| 241 | - | 420 |4229 |2439 | 0 | 0 | 23 |1942k| 20 | 2.100000e+01 | -- | Inf
1054.86/1055.33 c 1001s| 3330k| 187 | 580 |6855k| 241 | - | 420 |4237 |2498 | 0 | 0 | 23 |1948k| 20 | 2.100000e+01 | -- | Inf
1057.96/1058.44 c 1004s| 3340k| 192 | 580 |6855k| 241 | - | 420 |4244 |2461 | 0 | 0 | 23 |1953k| 20 | 2.100000e+01 | -- | Inf
1061.15/1061.61 c 1007s| 3350k| 196 | 580 |6859k| 241 | - | 420 |4248 |2452 | 0 | 0 | 23 |1959k| 20 | 2.100000e+01 | -- | Inf
1064.25/1064.71 c 1010s| 3360k| 194 | 580 |6864k| 241 | - | 420 |4257 |2423 | 0 | 0 | 23 |1965k| 20 | 2.100000e+01 | -- | Inf
1067.16/1067.70 c 1012s| 3370k| 198 | 580 |6859k| 241 | - | 420 |4240 |2432 | 0 | 0 | 23 |1971k| 20 | 2.100000e+01 | -- | Inf
1070.25/1070.70 c 1015s| 3380k| 193 | 580 |6848k| 241 | - | 420 |4226 |2512 | 0 | 0 | 23 |1977k| 20 | 2.100000e+01 | -- | Inf
1073.34/1073.82 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1073.34/1073.82 c 1018s| 3390k| 193 | 580 |6848k| 241 | - | 420 |4227 |2543 | 0 | 0 | 23 |1983k| 20 | 2.100000e+01 | -- | Inf
1076.44/1076.94 c 1021s| 3400k| 191 | 580 |6853k| 241 | - | 420 |4231 |2461 | 0 | 0 | 23 |1989k| 20 | 2.100000e+01 | -- | Inf
1079.55/1080.09 c 1024s| 3410k| 189 | 580 |6853k| 241 | - | 420 |4235 |2522 | 0 | 0 | 23 |1995k| 20 | 2.100000e+01 | -- | Inf
1082.64/1083.11 c 1027s| 3420k| 199 | 580 |6850k| 241 | - | 420 |4229 |2538 | 0 | 0 | 23 |2001k| 20 | 2.100000e+01 | -- | Inf
1085.54/1086.08 c 1030s| 3430k| 188 | 580 |6860k| 241 | - | 420 |4254 |2519 | 0 | 0 | 23 |2007k| 20 | 2.100000e+01 | -- | Inf
1088.54/1089.04 c 1033s| 3440k| 193 | 580 |6852k| 241 | - | 420 |4235 |2561 | 0 | 0 | 23 |2012k| 20 | 2.100000e+01 | -- | Inf
1091.64/1092.10 c 1036s| 3450k| 186 | 580 |6854k| 241 | - | 420 |4240 |2564 | 0 | 0 | 23 |2018k| 20 | 2.100000e+01 | -- | Inf
1094.94/1095.45 c 1039s| 3460k| 188 | 580 |6852k| 241 | - | 420 |4233 |2579 | 0 | 0 | 23 |2025k| 20 | 2.100000e+01 | -- | Inf
1098.24/1098.77 c 1042s| 3470k| 192 | 580 |6852k| 241 | - | 420 |4231 |2535 | 0 | 0 | 23 |2031k| 20 | 2.100000e+01 | -- | Inf
1101.44/1101.94 c 1045s| 3480k| 199 | 580 |6850k| 241 | - | 420 |4226 |2481 | 0 | 0 | 23 |2037k| 20 | 2.100000e+01 | -- | Inf
1104.44/1104.93 c 1048s| 3490k| 186 | 580 |6850k| 241 | - | 420 |4234 |2557 | 0 | 0 | 23 |2042k| 20 | 2.100000e+01 | -- | Inf
1107.43/1107.91 c 1051s| 3500k| 193 | 580 |6850k| 241 | - | 420 |4227 |2472 | 0 | 0 | 23 |2048k| 20 | 2.100000e+01 | -- | Inf
1110.54/1111.02 c 1054s| 3510k| 187 | 580 |6855k| 241 | - | 420 |4239 |2483 | 0 | 0 | 23 |2054k| 20 | 2.100000e+01 | -- | Inf
1113.63/1114.12 c 1056s| 3520k| 197 | 580 |6852k| 241 | - | 420 |4229 |2429 | 0 | 0 | 23 |2060k| 20 | 2.100000e+01 | -- | Inf
1116.73/1117.21 c 1059s| 3530k| 194 | 580 |6851k| 241 | - | 420 |4227 |2422 | 0 | 0 | 23 |2066k| 20 | 2.100000e+01 | -- | Inf
1119.83/1120.34 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1119.83/1120.34 c 1062s| 3540k| 188 | 580 |6852k| 241 | - | 420 |4228 |2470 | 0 | 0 | 23 |2072k| 20 | 2.100000e+01 | -- | Inf
1122.92/1123.46 c 1065s| 3550k| 198 | 580 |6853k| 241 | - | 420 |4234 |2506 | 0 | 0 | 23 |2078k| 20 | 2.100000e+01 | -- | Inf
1125.93/1126.41 c 1068s| 3560k| 187 | 580 |6854k| 241 | - | 420 |4236 |2489 | 0 | 0 | 23 |2083k| 20 | 2.100000e+01 | -- | Inf
1128.93/1129.47 c 1071s| 3570k| 190 | 580 |6852k| 241 | - | 420 |4236 |2470 | 0 | 0 | 23 |2089k| 20 | 2.100000e+01 | -- | Inf
1131.92/1132.43 c 1074s| 3580k| 193 | 580 |6851k| 241 | - | 420 |4231 |2552 | 0 | 0 | 23 |2095k| 20 | 2.100000e+01 | -- | Inf
1135.02/1135.50 c 1077s| 3590k| 191 | 580 |6857k| 241 | - | 420 |4243 |2548 | 0 | 0 | 23 |2101k| 20 | 2.100000e+01 | -- | Inf
1138.12/1138.64 c 1080s| 3600k| 189 | 580 |6853k| 241 | - | 420 |4235 |2510 | 0 | 0 | 23 |2107k| 20 | 2.100000e+01 | -- | Inf
1141.33/1141.84 c 1083s| 3610k| 186 | 580 |6849k| 241 | - | 420 |4225 |2496 | 0 | 0 | 23 |2113k| 20 | 2.100000e+01 | -- | Inf
1144.52/1145.07 c 1086s| 3620k| 197 | 580 |6851k| 241 | - | 420 |4222 |2442 | 0 | 0 | 23 |2119k| 20 | 2.100000e+01 | -- | Inf
1147.72/1148.28 c 1089s| 3630k| 195 | 580 |6855k| 241 | - | 420 |4237 |2475 | 0 | 0 | 23 |2125k| 20 | 2.100000e+01 | -- | Inf
1150.71/1151.28 c 1092s| 3640k| 189 | 580 |6848k| 241 | - | 420 |4225 |2512 | 0 | 0 | 23 |2131k| 20 | 2.100000e+01 | -- | Inf
1153.81/1154.36 c 1095s| 3650k| 188 | 580 |6851k| 241 | - | 420 |4223 |2507 | 0 | 0 | 23 |2137k| 20 | 2.100000e+01 | -- | Inf
1157.11/1157.64 c 1098s| 3660k| 183 | 580 |6848k| 241 | - | 420 |4228 |2573 | 0 | 0 | 23 |2143k| 20 | 2.100000e+01 | -- | Inf
1160.21/1160.77 c 1101s| 3670k| 194 | 580 |6852k| 241 | - | 420 |4233 |2499 | 0 | 0 | 23 |2149k| 20 | 2.100000e+01 | -- | Inf
1163.41/1163.98 c 1104s| 3680k| 187 | 580 |6856k| 241 | - | 420 |4237 |2502 | 0 | 0 | 23 |2155k| 20 | 2.100000e+01 | -- | Inf
1166.40/1166.98 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1166.40/1166.98 c 1107s| 3690k| 189 | 580 |6846k| 241 | - | 420 |4223 |2579 | 0 | 0 | 23 |2161k| 20 | 2.100000e+01 | -- | Inf
1169.51/1170.00 c 1110s| 3700k| 191 | 580 |6849k| 241 | - | 420 |4225 |2525 | 0 | 0 | 23 |2167k| 20 | 2.100000e+01 | -- | Inf
1172.51/1173.09 c 1112s| 3710k| 187 | 580 |6853k| 241 | - | 420 |4232 |2545 | 0 | 0 | 23 |2172k| 20 | 2.100000e+01 | -- | Inf
1175.60/1176.14 c 1115s| 3720k| 181 | 580 |6851k| 241 | - | 420 |4234 |2544 | 0 | 0 | 23 |2178k| 20 | 2.100000e+01 | -- | Inf
1178.71/1179.21 c 1118s| 3730k| 186 | 580 |6849k| 241 | - | 420 |4223 |2556 | 0 | 0 | 23 |2184k| 20 | 2.100000e+01 | -- | Inf
1181.81/1182.38 c 1121s| 3740k| 191 | 580 |6852k| 241 | - | 420 |4231 |2522 | 0 | 0 | 23 |2189k| 20 | 2.100000e+01 | -- | Inf
1184.90/1185.42 c 1124s| 3750k| 192 | 580 |6851k| 241 | - | 420 |4226 |2495 | 0 | 0 | 23 |2195k| 20 | 2.100000e+01 | -- | Inf
1188.20/1188.77 c 1127s| 3760k| 188 | 580 |6856k| 241 | - | 420 |4241 |2514 | 0 | 0 | 23 |2201k| 20 | 2.100000e+01 | -- | Inf
1191.30/1191.85 c 1130s| 3770k| 182 | 580 |6859k| 241 | - | 420 |4251 |2522 | 0 | 0 | 23 |2207k| 20 | 2.100000e+01 | -- | Inf
1194.50/1195.01 c 1133s| 3780k| 187 | 580 |6852k| 241 | - | 420 |4234 |2482 | 0 | 0 | 23 |2213k| 20 | 2.100000e+01 | -- | Inf
1197.70/1198.25 c 1136s| 3790k| 194 | 580 |6851k| 241 | - | 420 |4225 |2471 | 0 | 0 | 23 |2219k| 20 | 2.100000e+01 | -- | Inf
1200.90/1201.43 c 1139s| 3800k| 187 | 580 |6853k| 241 | - | 420 |4229 |2488 | 0 | 0 | 23 |2225k| 20 | 2.100000e+01 | -- | Inf
1204.00/1204.59 c 1142s| 3810k| 179 | 580 |6845k| 241 | - | 420 |4227 |2608 | 0 | 0 | 23 |2231k| 20 | 2.100000e+01 | -- | Inf
1207.20/1207.72 c 1145s| 3820k| 198 | 580 |6853k| 241 | - | 420 |4231 |2533 | 0 | 0 | 23 |2237k| 20 | 2.100000e+01 | -- | Inf
1210.29/1210.88 c 1148s| 3830k| 190 | 580 |6850k| 241 | - | 420 |4231 |2584 | 0 | 0 | 23 |2243k| 20 | 2.100000e+01 | -- | Inf
1213.39/1213.95 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1213.39/1213.95 c 1151s| 3840k| 186 | 580 |6850k| 241 | - | 420 |4226 |2515 | 0 | 0 | 23 |2249k| 20 | 2.100000e+01 | -- | Inf
1216.49/1217.06 c 1154s| 3850k| 185 | 580 |6854k| 241 | - | 420 |4237 |2528 | 0 | 0 | 23 |2255k| 20 | 2.100000e+01 | -- | Inf
1219.59/1220.13 c 1157s| 3860k| 190 | 580 |6851k| 241 | - | 420 |4228 |2481 | 0 | 0 | 23 |2261k| 20 | 2.100000e+01 | -- | Inf
1222.69/1223.21 c 1160s| 3870k| 198 | 580 |6859k| 241 | - | 420 |4242 |2459 | 0 | 0 | 23 |2267k| 20 | 2.100000e+01 | -- | Inf
1225.69/1226.29 c 1163s| 3880k| 191 | 580 |6858k| 241 | - | 420 |4238 |2425 | 0 | 0 | 23 |2272k| 20 | 2.100000e+01 | -- | Inf
1228.68/1229.26 c 1166s| 3890k| 198 | 580 |6867k| 241 | - | 420 |4253 |2439 | 0 | 0 | 23 |2278k| 20 | 2.100000e+01 | -- | Inf
1231.59/1232.16 c 1168s| 3900k| 198 | 580 |6851k| 241 | - | 420 |4227 |2468 | 0 | 0 | 23 |2284k| 20 | 2.100000e+01 | -- | Inf
1234.69/1235.26 c 1171s| 3910k| 194 | 580 |6849k| 241 | - | 420 |4225 |2505 | 0 | 0 | 23 |2290k| 20 | 2.100000e+01 | -- | Inf
1237.79/1238.38 c 1174s| 3920k| 182 | 580 |6854k| 241 | - | 420 |4237 |2481 | 0 | 0 | 23 |2295k| 20 | 2.100000e+01 | -- | Inf
1240.98/1241.51 c 1177s| 3930k| 187 | 580 |6857k| 241 | - | 420 |4240 |2500 | 0 | 0 | 23 |2301k| 20 | 2.100000e+01 | -- | Inf
1244.08/1244.70 c 1180s| 3940k| 191 | 580 |6856k| 241 | - | 420 |4240 |2539 | 0 | 0 | 23 |2307k| 20 | 2.100000e+01 | -- | Inf
1247.38/1247.90 c 1183s| 3950k| 183 | 580 |6852k| 241 | - | 420 |4235 |2562 | 0 | 0 | 23 |2313k| 20 | 2.100000e+01 | -- | Inf
1250.38/1250.95 c 1186s| 3960k| 198 | 580 |6854k| 241 | - | 420 |4233 |2484 | 0 | 0 | 23 |2319k| 20 | 2.100000e+01 | -- | Inf
1253.38/1253.92 c 1189s| 3970k| 189 | 580 |6851k| 241 | - | 420 |4231 |2478 | 0 | 0 | 23 |2325k| 20 | 2.100000e+01 | -- | Inf
1256.57/1257.12 c 1192s| 3980k| 192 | 580 |6849k| 241 | - | 420 |4223 |2507 | 0 | 0 | 23 |2331k| 20 | 2.100000e+01 | -- | Inf
1259.67/1260.25 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1259.67/1260.25 c 1195s| 3990k| 200 | 580 |6852k| 241 | - | 420 |4229 |2567 | 0 | 0 | 23 |2337k| 20 | 2.100000e+01 | -- | Inf
1262.77/1263.32 c 1198s| 4000k| 195 | 580 |6857k| 241 | - | 420 |4239 |2487 | 0 | 0 | 23 |2343k| 20 | 2.100000e+01 | -- | Inf
1265.87/1266.42 c 1201s| 4010k| 200 | 580 |6853k| 241 | - | 420 |4229 |2438 | 0 | 0 | 23 |2349k| 20 | 2.100000e+01 | -- | Inf
1268.77/1269.34 c 1204s| 4020k| 199 | 580 |6852k| 241 | - | 420 |4228 |2504 | 0 | 0 | 23 |2355k| 20 | 2.100000e+01 | -- | Inf
1271.87/1272.45 c 1207s| 4030k| 187 | 580 |6853k| 241 | - | 420 |4235 |2543 | 0 | 0 | 23 |2361k| 20 | 2.100000e+01 | -- | Inf
1274.98/1275.57 c 1210s| 4040k| 187 | 580 |6854k| 241 | - | 420 |4239 |2514 | 0 | 0 | 23 |2367k| 20 | 2.100000e+01 | -- | Inf
1278.07/1278.63 c 1213s| 4050k| 195 | 580 |6862k| 241 | - | 420 |4251 |2519 | 0 | 0 | 23 |2373k| 20 | 2.100000e+01 | -- | Inf
1281.17/1281.72 c 1216s| 4060k| 188 | 580 |6862k| 241 | - | 420 |4246 |2499 | 0 | 0 | 23 |2379k| 20 | 2.100000e+01 | -- | Inf
1284.18/1284.73 c 1218s| 4070k| 187 | 580 |6866k| 241 | - | 420 |4262 |2455 | 0 | 0 | 23 |2384k| 20 | 2.100000e+01 | -- | Inf
1287.17/1287.72 c 1221s| 4080k| 185 | 580 |6856k| 241 | - | 420 |4237 |2437 | 0 | 0 | 23 |2390k| 20 | 2.100000e+01 | -- | Inf
1290.26/1290.83 c 1224s| 4090k| 194 | 580 |6848k| 241 | - | 420 |4224 |2567 | 0 | 0 | 23 |2396k| 20 | 2.100000e+01 | -- | Inf
1293.47/1294.03 c 1227s| 4100k| 180 | 580 |6851k| 241 | - | 420 |4228 |2601 | 0 | 0 | 23 |2402k| 20 | 2.100000e+01 | -- | Inf
1296.56/1297.17 c 1230s| 4110k| 196 | 580 |6854k| 241 | - | 420 |4223 |2425 | 0 | 0 | 23 |2408k| 20 | 2.100000e+01 | -- | Inf
1299.95/1300.50 c 1233s| 4120k| 193 | 580 |6855k| 241 | - | 420 |4232 |2436 | 0 | 0 | 23 |2414k| 20 | 2.100000e+01 | -- | Inf
1303.06/1303.70 c 1236s| 4130k| 193 | 580 |6855k| 241 | - | 420 |4229 |2485 | 0 | 0 | 23 |2420k| 20 | 2.100000e+01 | -- | Inf
1306.25/1306.83 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1306.25/1306.83 c 1239s| 4140k| 197 | 580 |6859k| 241 | - | 420 |4238 |2414 | 0 | 0 | 23 |2425k| 20 | 2.100000e+01 | -- | Inf
1309.25/1309.89 c 1242s| 4150k| 193 | 580 |6848k| 241 | - | 420 |4224 |2478 | 0 | 0 | 23 |2431k| 20 | 2.100000e+01 | -- | Inf
1312.35/1312.93 c 1245s| 4160k| 200 | 580 |6855k| 241 | - | 420 |4225 |2366 | 0 | 0 | 23 |2437k| 20 | 2.100000e+01 | -- | Inf
1315.45/1316.01 c 1248s| 4170k| 194 | 580 |6856k| 241 | - | 420 |4236 |2461 | 0 | 0 | 23 |2443k| 20 | 2.100000e+01 | -- | Inf
1318.84/1319.45 c 1251s| 4180k| 187 | 580 |6851k| 241 | - | 420 |4226 |2449 | 0 | 0 | 23 |2449k| 20 | 2.100000e+01 | -- | Inf
1321.94/1322.59 c 1254s| 4190k| 200 | 580 |6852k| 241 | - | 420 |4226 |2415 | 0 | 0 | 23 |2455k| 20 | 2.100000e+01 | -- | Inf
1325.14/1325.77 c 1257s| 4200k| 188 | 580 |6848k| 241 | - | 420 |4223 |2498 | 0 | 0 | 23 |2461k| 20 | 2.100000e+01 | -- | Inf
1328.15/1328.77 c 1260s| 4210k| 188 | 580 |6851k| 241 | - | 420 |4228 |2488 | 0 | 0 | 23 |2467k| 20 | 2.100000e+01 | -- | Inf
1331.24/1331.86 c 1263s| 4220k| 197 | 580 |6854k| 241 | - | 420 |4223 |2428 | 0 | 0 | 23 |2473k| 20 | 2.100000e+01 | -- | Inf
1334.44/1335.06 c 1266s| 4230k| 191 | 580 |6858k| 241 | - | 420 |4237 |2394 | 0 | 0 | 23 |2479k| 20 | 2.100000e+01 | -- | Inf
1337.64/1338.23 c 1269s| 4240k| 185 | 580 |6849k| 241 | - | 420 |4228 |2528 | 0 | 0 | 23 |2484k| 20 | 2.100000e+01 | -- | Inf
1340.74/1341.39 c 1272s| 4250k| 198 | 580 |6854k| 241 | - | 420 |4225 |2437 | 0 | 0 | 23 |2490k| 20 | 2.100000e+01 | -- | Inf
1344.12/1344.74 c 1275s| 4260k| 195 | 580 |6854k| 241 | - | 420 |4223 |2441 | 0 | 0 | 23 |2496k| 20 | 2.100000e+01 | -- | Inf
1347.32/1347.96 c 1278s| 4270k| 203 | 580 |6856k| 241 | - | 420 |4231 |2451 | 0 | 0 | 23 |2502k| 20 | 2.100000e+01 | -- | Inf
1350.42/1351.09 c 1281s| 4280k| 201 | 580 |6851k| 241 | - | 420 |4224 |2480 | 0 | 0 | 23 |2508k| 20 | 2.100000e+01 | -- | Inf
1353.62/1354.24 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1353.62/1354.24 c 1284s| 4290k| 202 | 580 |6850k| 241 | - | 420 |4224 |2474 | 0 | 0 | 23 |2514k| 20 | 2.100000e+01 | -- | Inf
1356.83/1357.41 c 1287s| 4300k| 187 | 580 |6849k| 241 | - | 420 |4224 |2518 | 0 | 0 | 23 |2520k| 20 | 2.100000e+01 | -- | Inf
1359.82/1360.48 c 1290s| 4310k| 201 | 580 |6851k| 241 | - | 420 |4224 |2440 | 0 | 0 | 23 |2526k| 20 | 2.100000e+01 | -- | Inf
1363.21/1363.86 c 1293s| 4320k| 190 | 580 |6852k| 241 | - | 420 |4228 |2476 | 0 | 0 | 23 |2531k| 20 | 2.100000e+01 | -- | Inf
1366.21/1366.89 c 1296s| 4330k| 195 | 580 |6855k| 241 | - | 420 |4231 |2406 | 0 | 0 | 23 |2537k| 20 | 2.100000e+01 | -- | Inf
1369.41/1370.03 c 1299s| 4340k| 183 | 580 |6850k| 241 | - | 420 |4225 |2509 | 0 | 0 | 23 |2543k| 20 | 2.100000e+01 | -- | Inf
1372.52/1373.16 c 1302s| 4350k| 192 | 580 |6856k| 241 | - | 420 |4229 |2409 | 0 | 0 | 23 |2549k| 20 | 2.100000e+01 | -- | Inf
1375.71/1376.38 c 1305s| 4360k| 182 | 580 |6851k| 241 | - | 420 |4223 |2451 | 0 | 0 | 23 |2555k| 20 | 2.100000e+01 | -- | Inf
1378.91/1379.55 c 1308s| 4370k| 183 | 580 |6856k| 241 | - | 420 |4240 |2542 | 0 | 0 | 23 |2561k| 20 | 2.100000e+01 | -- | Inf
1381.91/1382.60 c 1311s| 4380k| 179 | 580 |6849k| 241 | - | 420 |4231 |2573 | 0 | 0 | 23 |2566k| 20 | 2.100000e+01 | -- | Inf
1385.01/1385.63 c 1314s| 4390k| 183 | 580 |6858k| 241 | - | 420 |4246 |2555 | 0 | 0 | 23 |2572k| 20 | 2.100000e+01 | -- | Inf
1388.00/1388.69 c 1317s| 4400k| 198 | 580 |6851k| 241 | - | 420 |4226 |2481 | 0 | 0 | 23 |2578k| 20 | 2.100000e+01 | -- | Inf
1391.20/1391.81 c 1320s| 4410k| 188 | 580 |6850k| 241 | - | 420 |4226 |2503 | 0 | 0 | 23 |2584k| 20 | 2.100000e+01 | -- | Inf
1394.40/1395.05 c 1323s| 4420k| 182 | 580 |6852k| 241 | - | 420 |4226 |2483 | 0 | 0 | 23 |2590k| 20 | 2.100000e+01 | -- | Inf
1397.60/1398.24 c 1326s| 4430k| 180 | 580 |6861k| 241 | - | 420 |4247 |2527 | 0 | 0 | 23 |2596k| 20 | 2.100000e+01 | -- | Inf
1400.70/1401.38 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1400.70/1401.38 c 1329s| 4440k| 182 | 580 |6869k| 241 | - | 420 |4263 |2482 | 0 | 0 | 23 |2602k| 20 | 2.100000e+01 | -- | Inf
1403.80/1404.45 c 1332s| 4450k| 187 | 580 |6857k| 241 | - | 420 |4238 |2458 | 0 | 0 | 23 |2607k| 20 | 2.100000e+01 | -- | Inf
1407.09/1407.72 c 1335s| 4460k| 189 | 580 |6853k| 241 | - | 420 |4232 |2455 | 0 | 0 | 23 |2613k| 20 | 2.100000e+01 | -- | Inf
1410.30/1410.92 c 1338s| 4470k| 193 | 580 |6857k| 241 | - | 420 |4235 |2478 | 0 | 0 | 23 |2619k| 20 | 2.100000e+01 | -- | Inf
1413.30/1413.99 c 1341s| 4480k| 187 | 580 |6848k| 241 | - | 420 |4225 |2567 | 0 | 0 | 23 |2625k| 20 | 2.100000e+01 | -- | Inf
1416.49/1417.18 c 1344s| 4490k| 182 | 580 |6848k| 241 | - | 420 |4227 |2519 | 0 | 0 | 23 |2631k| 20 | 2.100000e+01 | -- | Inf
1419.59/1420.23 c 1347s| 4500k| 177 | 580 |6854k| 241 | - | 420 |4234 |2523 | 0 | 0 | 23 |2636k| 20 | 2.100000e+01 | -- | Inf
1422.89/1423.53 c 1350s| 4510k| 196 | 580 |6853k| 241 | - | 420 |4221 |2429 | 0 | 0 | 23 |2643k| 20 | 2.100000e+01 | -- | Inf
1426.09/1426.79 c 1353s| 4520k| 202 | 580 |6855k| 241 | - | 420 |4221 |2384 | 0 | 0 | 23 |2648k| 20 | 2.100000e+01 | -- | Inf
1429.39/1430.03 c 1356s| 4530k| 199 | 580 |6856k| 241 | - | 420 |4236 |2443 | 0 | 0 | 23 |2654k| 20 | 2.100000e+01 | -- | Inf
1432.59/1433.21 c 1359s| 4540k| 193 | 580 |6861k| 241 | - | 420 |4245 |2447 | 0 | 0 | 23 |2660k| 20 | 2.100000e+01 | -- | Inf
1435.67/1436.39 c 1362s| 4550k| 196 | 580 |6851k| 241 | - | 420 |4221 |2459 | 0 | 0 | 23 |2666k| 20 | 2.100000e+01 | -- | Inf
1438.98/1439.68 c 1365s| 4560k| 201 | 580 |6858k| 241 | - | 420 |4239 |2445 | 0 | 0 | 23 |2672k| 20 | 2.100000e+01 | -- | Inf
1442.28/1442.91 c 1368s| 4570k| 197 | 580 |6851k| 241 | - | 420 |4221 |2472 | 0 | 0 | 23 |2677k| 20 | 2.100000e+01 | -- | Inf
1445.38/1446.06 c 1371s| 4580k| 191 | 580 |6848k| 241 | - | 420 |4221 |2488 | 0 | 0 | 23 |2683k| 20 | 2.100000e+01 | -- | Inf
1448.57/1449.23 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1448.57/1449.23 c 1374s| 4590k| 214 | 580 |6860k| 241 | - | 420 |4222 |2398 | 0 | 0 | 23 |2689k| 20 | 2.100000e+01 | -- | Inf
1451.88/1452.59 c 1378s| 4600k| 193 | 580 |6851k| 241 | - | 420 |4223 |2478 | 0 | 0 | 23 |2695k| 20 | 2.100000e+01 | -- | Inf
1455.17/1455.86 c 1381s| 4610k| 190 | 580 |6848k| 241 | - | 420 |4224 |2532 | 0 | 0 | 23 |2701k| 20 | 2.100000e+01 | -- | Inf
1458.37/1459.06 c 1384s| 4620k| 195 | 580 |6852k| 241 | - | 420 |4221 |2437 | 0 | 0 | 23 |2707k| 20 | 2.100000e+01 | -- | Inf
1461.47/1462.17 c 1387s| 4630k| 198 | 580 |6852k| 241 | - | 420 |4223 |2459 | 0 | 0 | 23 |2712k| 20 | 2.100000e+01 | -- | Inf
1464.47/1465.17 c 1390s| 4640k| 201 | 580 |6861k| 241 | - | 420 |4243 |2426 | 0 | 0 | 23 |2718k| 20 | 2.100000e+01 | -- | Inf
1467.47/1468.13 c 1392s| 4650k| 190 | 580 |6875k| 241 | - | 420 |4278 |2524 | 0 | 0 | 23 |2724k| 20 | 2.100000e+01 | -- | Inf
1470.57/1471.25 c 1395s| 4660k| 194 | 580 |6855k| 241 | - | 420 |4229 |2448 | 0 | 0 | 23 |2730k| 20 | 2.100000e+01 | -- | Inf
1473.67/1474.31 c 1398s| 4670k| 198 | 580 |6853k| 241 | - | 420 |4228 |2437 | 0 | 0 | 23 |2736k| 20 | 2.100000e+01 | -- | Inf
1476.97/1477.63 c 1401s| 4680k| 195 | 580 |6853k| 241 | - | 420 |4221 |2434 | 0 | 0 | 23 |2741k| 20 | 2.100000e+01 | -- | Inf
1480.26/1480.95 c 1404s| 4690k| 193 | 580 |6852k| 241 | - | 420 |4222 |2498 | 0 | 0 | 23 |2747k| 20 | 2.100000e+01 | -- | Inf
1483.46/1484.13 c 1407s| 4700k| 197 | 580 |6853k| 241 | - | 420 |4229 |2521 | 0 | 0 | 23 |2753k| 20 | 2.100000e+01 | -- | Inf
1486.56/1487.28 c 1410s| 4710k| 188 | 580 |6847k| 241 | - | 420 |4221 |2552 | 0 | 0 | 23 |2759k| 20 | 2.100000e+01 | -- | Inf
1489.86/1490.55 c 1414s| 4720k| 200 | 580 |6849k| 241 | - | 420 |4221 |2517 | 0 | 0 | 23 |2765k| 20 | 2.100000e+01 | -- | Inf
1493.06/1493.73 c 1417s| 4730k| 204 | 580 |6853k| 241 | - | 420 |4225 |2427 | 0 | 0 | 23 |2771k| 20 | 2.100000e+01 | -- | Inf
1496.15/1496.83 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1496.15/1496.83 c 1419s| 4740k| 197 | 580 |6854k| 241 | - | 420 |4229 |2402 | 0 | 0 | 23 |2777k| 20 | 2.100000e+01 | -- | Inf
1499.15/1499.85 c 1422s| 4750k| 194 | 580 |6853k| 241 | - | 420 |4222 |2441 | 0 | 0 | 23 |2783k| 20 | 2.100000e+01 | -- | Inf
1502.16/1502.86 c 1425s| 4760k| 192 | 580 |6858k| 241 | - | 420 |4237 |2453 | 0 | 0 | 23 |2788k| 20 | 2.100000e+01 | -- | Inf
1505.35/1506.07 c 1428s| 4770k| 205 | 580 |6850k| 241 | - | 420 |4221 |2422 | 0 | 0 | 23 |2794k| 20 | 2.100000e+01 | -- | Inf
1508.55/1509.24 c 1431s| 4780k| 194 | 580 |6852k| 241 | - | 420 |4225 |2419 | 0 | 0 | 23 |2800k| 20 | 2.100000e+01 | -- | Inf
1511.65/1512.40 c 1434s| 4790k| 197 | 580 |6852k| 241 | - | 420 |4222 |2452 | 0 | 0 | 23 |2806k| 20 | 2.100000e+01 | -- | Inf
1514.85/1515.54 c 1437s| 4800k| 199 | 580 |6852k| 241 | - | 420 |4223 |2450 | 0 | 0 | 23 |2812k| 20 | 2.100000e+01 | -- | Inf
1518.05/1518.78 c 1440s| 4810k| 189 | 580 |6852k| 241 | - | 420 |4226 |2468 | 0 | 0 | 23 |2818k| 20 | 2.100000e+01 | -- | Inf
1521.35/1522.03 c 1443s| 4820k| 191 | 580 |6851k| 241 | - | 420 |4222 |2472 | 0 | 0 | 23 |2824k| 20 | 2.100000e+01 | -- | Inf
1524.54/1525.20 c 1446s| 4830k| 195 | 580 |6860k| 241 | - | 420 |4242 |2448 | 0 | 0 | 23 |2830k| 20 | 2.100000e+01 | -- | Inf
1527.84/1528.53 c 1450s| 4840k| 189 | 580 |6852k| 241 | - | 420 |4221 |2448 | 0 | 0 | 23 |2836k| 20 | 2.100000e+01 | -- | Inf
1531.05/1531.75 c 1453s| 4850k| 205 | 580 |6853k| 241 | - | 420 |4222 |2437 | 0 | 0 | 23 |2841k| 20 | 2.100000e+01 | -- | Inf
1534.24/1534.98 c 1456s| 4860k| 198 | 580 |6855k| 241 | - | 420 |4231 |2487 | 0 | 0 | 23 |2847k| 20 | 2.100000e+01 | -- | Inf
1537.74/1538.41 c 1459s| 4870k| 191 | 580 |6848k| 241 | - | 420 |4221 |2548 | 0 | 0 | 23 |2853k| 20 | 2.100000e+01 | -- | Inf
1540.84/1541.58 c 1462s| 4880k| 184 | 580 |6853k| 241 | - | 420 |4232 |2467 | 0 | 0 | 23 |2859k| 20 | 2.100000e+01 | -- | Inf
1544.13/1544.82 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1544.13/1544.82 c 1465s| 4890k| 208 | 580 |6856k| 241 | - | 420 |4227 |2418 | 0 | 0 | 23 |2865k| 20 | 2.100000e+01 | -- | Inf
1547.34/1548.07 c 1468s| 4900k| 201 | 580 |6860k| 241 | - | 420 |4232 |2410 | 0 | 0 | 23 |2871k| 20 | 2.100000e+01 | -- | Inf
1550.74/1551.43 c 1471s| 4910k| 194 | 580 |6855k| 241 | - | 420 |4227 |2425 | 0 | 0 | 23 |2877k| 20 | 2.100000e+01 | -- | Inf
1553.93/1554.64 c 1474s| 4920k| 197 | 580 |6852k| 241 | - | 420 |4227 |2535 | 0 | 0 | 23 |2883k| 20 | 2.100000e+01 | -- | Inf
1557.23/1557.91 c 1477s| 4930k| 202 | 580 |6854k| 241 | - | 420 |4227 |2441 | 0 | 0 | 23 |2888k| 20 | 2.100000e+01 | -- | Inf
1560.63/1561.38 c 1481s| 4940k| 196 | 580 |6854k| 241 | - | 420 |4227 |2414 | 0 | 0 | 23 |2894k| 20 | 2.100000e+01 | -- | Inf
1563.93/1564.68 c 1484s| 4950k| 194 | 580 |6855k| 241 | - | 420 |4228 |2426 | 0 | 0 | 23 |2900k| 20 | 2.100000e+01 | -- | Inf
1567.23/1567.95 c 1487s| 4960k| 194 | 580 |6855k| 241 | - | 420 |4228 |2446 | 0 | 0 | 23 |2906k| 20 | 2.100000e+01 | -- | Inf
1570.63/1571.37 c 1490s| 4970k| 196 | 580 |6854k| 241 | - | 420 |4230 |2459 | 0 | 0 | 23 |2912k| 20 | 2.100000e+01 | -- | Inf
1574.12/1574.85 c 1493s| 4980k| 196 | 580 |6855k| 241 | - | 420 |4230 |2441 | 0 | 0 | 23 |2918k| 20 | 2.100000e+01 | -- | Inf
1577.42/1578.17 c 1497s| 4990k| 197 | 580 |6854k| 241 | - | 420 |4227 |2405 | 0 | 0 | 23 |2924k| 20 | 2.100000e+01 | -- | Inf
1580.72/1581.41 c 1500s| 5000k| 190 | 580 |6851k| 241 | - | 420 |4228 |2510 | 0 | 0 | 23 |2930k| 20 | 2.100000e+01 | -- | Inf
1583.92/1584.70 c 1503s| 5010k| 187 | 580 |6855k| 241 | - | 420 |4227 |2489 | 0 | 0 | 23 |2935k| 20 | 2.100000e+01 | -- | Inf
1587.21/1587.99 c 1506s| 5020k| 194 | 580 |6853k| 241 | - | 420 |4227 |2430 | 0 | 0 | 23 |2941k| 20 | 2.100000e+01 | -- | Inf
1590.51/1591.28 c 1509s| 5030k| 205 | 580 |6852k| 241 | - | 420 |4225 |2533 | 0 | 0 | 23 |2947k| 20 | 2.100000e+01 | -- | Inf
1593.82/1594.50 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1593.82/1594.50 c 1512s| 5040k| 195 | 580 |6858k| 241 | - | 420 |4237 |2457 | 0 | 0 | 23 |2953k| 20 | 2.100000e+01 | -- | Inf
1596.91/1597.65 c 1515s| 5050k| 186 | 580 |6856k| 241 | - | 420 |4239 |2504 | 0 | 0 | 23 |2959k| 20 | 2.100000e+01 | -- | Inf
1600.11/1600.84 c 1518s| 5060k| 184 | 580 |6850k| 241 | - | 420 |4225 |2533 | 0 | 0 | 23 |2965k| 20 | 2.100000e+01 | -- | Inf
1603.41/1604.14 c 1521s| 5070k| 195 | 580 |6852k| 241 | - | 420 |4224 |2501 | 0 | 0 | 23 |2971k| 20 | 2.100000e+01 | -- | Inf
1606.71/1607.44 c 1524s| 5080k| 184 | 580 |6851k| 241 | - | 420 |4224 |2497 | 0 | 0 | 23 |2977k| 20 | 2.100000e+01 | -- | Inf
1610.01/1610.73 c 1528s| 5090k| 184 | 580 |6856k| 241 | - | 420 |4227 |2507 | 0 | 0 | 23 |2983k| 20 | 2.100000e+01 | -- | Inf
1613.31/1614.04 c 1531s| 5100k| 188 | 580 |6852k| 241 | - | 420 |4224 |2478 | 0 | 0 | 23 |2989k| 20 | 2.100000e+01 | -- | Inf
1616.60/1617.33 c 1534s| 5110k| 201 | 580 |6856k| 241 | - | 420 |4230 |2409 | 0 | 0 | 23 |2995k| 20 | 2.100000e+01 | -- | Inf
1620.00/1620.74 c 1537s| 5120k| 193 | 580 |6852k| 241 | - | 420 |4224 |2457 | 0 | 0 | 23 |3001k| 20 | 2.100000e+01 | -- | Inf
1623.40/1624.11 c 1540s| 5130k| 182 | 580 |6849k| 241 | - | 420 |4221 |2529 | 0 | 0 | 23 |3007k| 20 | 2.100000e+01 | -- | Inf
1626.70/1627.43 c 1543s| 5140k| 197 | 580 |6854k| 241 | - | 420 |4226 |2433 | 0 | 0 | 23 |3013k| 20 | 2.100000e+01 | -- | Inf
1629.90/1630.64 c 1547s| 5150k| 191 | 580 |6849k| 241 | - | 420 |4223 |2479 | 0 | 0 | 23 |3019k| 20 | 2.100000e+01 | -- | Inf
1633.20/1633.90 c 1550s| 5160k| 186 | 580 |6851k| 241 | - | 420 |4231 |2509 | 0 | 0 | 23 |3025k| 20 | 2.100000e+01 | -- | Inf
1636.40/1637.13 c 1553s| 5170k| 198 | 580 |6849k| 241 | - | 420 |4221 |2453 | 0 | 0 | 23 |3030k| 20 | 2.100000e+01 | -- | Inf
1639.60/1640.40 c 1556s| 5180k| 179 | 580 |6851k| 241 | - | 420 |4233 |2560 | 0 | 0 | 23 |3036k| 20 | 2.100000e+01 | -- | Inf
1642.79/1643.59 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1642.79/1643.59 c 1559s| 5190k| 196 | 580 |6855k| 241 | - | 420 |4225 |2428 | 0 | 0 | 23 |3042k| 20 | 2.100000e+01 | -- | Inf
1646.00/1646.79 c 1562s| 5200k| 197 | 580 |6855k| 241 | - | 420 |4231 |2437 | 0 | 0 | 23 |3048k| 20 | 2.100000e+01 | -- | Inf
1649.30/1650.01 c 1565s| 5210k| 194 | 580 |6855k| 241 | - | 420 |4223 |2406 | 0 | 0 | 23 |3054k| 20 | 2.100000e+01 | -- | Inf
1652.49/1653.23 c 1568s| 5220k| 197 | 580 |6851k| 241 | - | 420 |4223 |2492 | 0 | 0 | 23 |3060k| 20 | 2.100000e+01 | -- | Inf
1655.59/1656.38 c 1571s| 5230k| 192 | 580 |6854k| 241 | - | 420 |4228 |2500 | 0 | 0 | 23 |3066k| 20 | 2.100000e+01 | -- | Inf
1658.58/1659.39 c 1574s| 5240k| 195 | 580 |6853k| 241 | - | 420 |4227 |2489 | 0 | 0 | 23 |3072k| 20 | 2.100000e+01 | -- | Inf
1661.78/1662.52 c 1577s| 5250k| 189 | 580 |6855k| 241 | - | 420 |4232 |2481 | 0 | 0 | 23 |3078k| 20 | 2.100000e+01 | -- | Inf
1664.88/1665.65 c 1580s| 5260k| 193 | 580 |6855k| 241 | - | 420 |4230 |2453 | 0 | 0 | 23 |3083k| 20 | 2.100000e+01 | -- | Inf
1667.98/1668.72 c 1583s| 5270k| 192 | 580 |6852k| 241 | - | 420 |4228 |2452 | 0 | 0 | 23 |3089k| 20 | 2.100000e+01 | -- | Inf
1671.07/1671.87 c 1586s| 5280k| 188 | 580 |6854k| 241 | - | 420 |4228 |2477 | 0 | 0 | 23 |3095k| 20 | 2.100000e+01 | -- | Inf
1674.28/1675.08 c 1589s| 5290k| 194 | 580 |6859k| 241 | - | 420 |4239 |2472 | 0 | 0 | 23 |3101k| 20 | 2.100000e+01 | -- | Inf
1677.48/1678.29 c 1592s| 5300k| 190 | 580 |6860k| 241 | - | 420 |4243 |2452 | 0 | 0 | 23 |3107k| 20 | 2.100000e+01 | -- | Inf
1680.68/1681.45 c 1595s| 5310k| 199 | 580 |6857k| 241 | - | 420 |4231 |2421 | 0 | 0 | 23 |3113k| 20 | 2.100000e+01 | -- | Inf
1683.78/1684.57 c 1598s| 5320k| 196 | 580 |6852k| 241 | - | 420 |4228 |2477 | 0 | 0 | 23 |3119k| 20 | 2.100000e+01 | -- | Inf
1686.78/1687.56 c 1600s| 5330k| 191 | 580 |6849k| 241 | - | 420 |4222 |2484 | 0 | 0 | 23 |3125k| 20 | 2.100000e+01 | -- | Inf
1689.88/1690.67 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1689.88/1690.67 c 1603s| 5340k| 182 | 580 |6855k| 241 | - | 420 |4233 |2455 | 0 | 0 | 23 |3130k| 20 | 2.100000e+01 | -- | Inf
1692.97/1693.78 c 1606s| 5350k| 195 | 580 |6851k| 241 | - | 420 |4222 |2463 | 0 | 0 | 23 |3136k| 20 | 2.100000e+01 | -- | Inf
1696.17/1696.92 c 1609s| 5360k| 188 | 580 |6850k| 241 | - | 420 |4225 |2498 | 0 | 0 | 23 |3142k| 20 | 2.100000e+01 | -- | Inf
1699.17/1699.98 c 1612s| 5370k| 194 | 580 |6855k| 241 | - | 420 |4232 |2436 | 0 | 0 | 23 |3148k| 20 | 2.100000e+01 | -- | Inf
1702.46/1703.24 c 1615s| 5380k| 184 | 580 |6857k| 241 | - | 420 |4244 |2516 | 0 | 0 | 23 |3154k| 20 | 2.100000e+01 | -- | Inf
1705.66/1706.49 c 1618s| 5390k| 187 | 580 |6853k| 241 | - | 420 |4225 |2506 | 0 | 0 | 23 |3160k| 20 | 2.100000e+01 | -- | Inf
1708.77/1709.59 c 1621s| 5400k| 184 | 580 |6848k| 241 | - | 420 |4223 |2546 | 0 | 0 | 23 |3166k| 20 | 2.100000e+01 | -- | Inf
1711.86/1712.68 c 1624s| 5410k| 184 | 580 |6855k| 241 | - | 420 |4239 |2546 | 0 | 0 | 23 |3171k| 20 | 2.100000e+01 | -- | Inf
1715.26/1716.05 c 1628s| 5420k| 206 | 580 |6853k| 241 | - | 420 |4225 |2480 | 0 | 0 | 23 |3177k| 20 | 2.100000e+01 | -- | Inf
1718.66/1719.42 c 1631s| 5430k| 199 | 580 |6856k| 241 | - | 420 |4230 |2409 | 0 | 0 | 23 |3183k| 20 | 2.100000e+01 | -- | Inf
1721.96/1722.78 c 1634s| 5440k| 195 | 580 |6850k| 241 | - | 420 |4224 |2485 | 0 | 0 | 23 |3189k| 20 | 2.100000e+01 | -- | Inf
1725.36/1726.14 c 1637s| 5450k| 202 | 580 |6853k| 241 | - | 420 |4224 |2402 | 0 | 0 | 23 |3195k| 20 | 2.100000e+01 | -- | Inf
1728.56/1729.35 c 1640s| 5460k| 201 | 580 |6855k| 241 | - | 420 |4229 |2386 | 0 | 0 | 23 |3201k| 20 | 2.100000e+01 | -- | Inf
1731.86/1732.68 c 1643s| 5470k| 197 | 580 |6852k| 241 | - | 420 |4225 |2455 | 0 | 0 | 23 |3207k| 20 | 2.100000e+01 | -- | Inf
1735.16/1735.95 c 1646s| 5480k| 188 | 580 |6851k| 241 | - | 420 |4224 |2507 | 0 | 0 | 23 |3213k| 20 | 2.100000e+01 | -- | Inf
1738.46/1739.22 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1738.46/1739.22 c 1650s| 5490k| 197 | 580 |6852k| 241 | - | 420 |4224 |2462 | 0 | 0 | 23 |3219k| 20 | 2.100000e+01 | -- | Inf
1741.55/1742.33 c 1652s| 5500k| 191 | 580 |6850k| 241 | - | 420 |4225 |2515 | 0 | 0 | 23 |3225k| 20 | 2.100000e+01 | -- | Inf
1744.85/1745.62 c 1656s| 5510k| 192 | 580 |6852k| 241 | - | 420 |4228 |2519 | 0 | 0 | 23 |3231k| 20 | 2.100000e+01 | -- | Inf
1748.25/1749.01 c 1659s| 5520k| 193 | 580 |6852k| 241 | - | 420 |4224 |2491 | 0 | 0 | 23 |3237k| 20 | 2.100000e+01 | -- | Inf
1751.55/1752.31 c 1662s| 5530k| 191 | 580 |6851k| 241 | - | 420 |4225 |2542 | 0 | 0 | 23 |3242k| 20 | 2.100000e+01 | -- | Inf
1754.64/1755.48 c 1665s| 5540k| 194 | 580 |6858k| 241 | - | 420 |4236 |2459 | 0 | 0 | 23 |3248k| 20 | 2.100000e+01 | -- | Inf
1758.05/1758.84 c 1668s| 5550k| 190 | 580 |6861k| 241 | - | 420 |4246 |2491 | 0 | 0 | 23 |3254k| 20 | 2.100000e+01 | -- | Inf
1761.24/1762.06 c 1671s| 5560k| 191 | 580 |6855k| 241 | - | 420 |4230 |2477 | 0 | 0 | 23 |3260k| 20 | 2.100000e+01 | -- | Inf
1764.24/1765.06 c 1674s| 5570k| 177 | 580 |6848k| 241 | - | 420 |4232 |2664 | 0 | 0 | 23 |3266k| 20 | 2.100000e+01 | -- | Inf
1767.44/1768.25 c 1677s| 5580k| 183 | 580 |6867k| 241 | - | 420 |4263 |2480 | 0 | 0 | 23 |3272k| 20 | 2.100000e+01 | -- | Inf
1770.54/1771.34 c 1680s| 5590k| 202 | 580 |6860k| 241 | - | 420 |4242 |2442 | 0 | 0 | 23 |3277k| 20 | 2.100000e+01 | -- | Inf
1773.74/1774.58 c 1683s| 5600k| 187 | 580 |6855k| 241 | - | 420 |4236 |2557 | 0 | 0 | 23 |3283k| 20 | 2.100000e+01 | -- | Inf
1776.94/1777.74 c 1686s| 5610k| 194 | 580 |6867k| 241 | - | 420 |4257 |2436 | 0 | 0 | 23 |3289k| 20 | 2.100000e+01 | -- | Inf
1780.14/1780.99 c 1689s| 5620k| 198 | 580 |6862k| 241 | - | 420 |4233 |2414 | 0 | 0 | 23 |3295k| 20 | 2.100000e+01 | -- | Inf
1783.54/1784.30 c 1692s| 5630k| 195 | 580 |6854k| 241 | - | 420 |4235 |2588 | 0 | 0 | 23 |3301k| 20 | 2.100000e+01 | -- | Inf
1786.64/1787.45 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1786.64/1787.45 c 1695s| 5640k| 192 | 580 |6857k| 241 | - | 420 |4239 |2501 | 0 | 0 | 23 |3307k| 20 | 2.100000e+01 | -- | Inf
1789.83/1790.61 c 1698s| 5650k| 198 | 580 |6858k| 241 | - | 420 |4238 |2503 | 0 | 0 | 23 |3313k| 20 | 2.100000e+01 | -- | Inf
1792.93/1793.75 c 1701s| 5660k| 186 | 580 |6852k| 241 | - | 420 |4234 |2543 | 0 | 0 | 23 |3318k| 20 | 2.100000e+01 | -- | Inf
1795.93/1796.75 c 1704s| 5670k| 187 | 580 |6859k| 241 | - | 420 |4243 |2493 | 0 | 0 | 23 |3324k| 20 | 2.100000e+01 | -- | Inf
1799.13/1799.94 c 1707s| 5680k| 182 | 580 |6852k| 241 | - | 420 |4235 |2676 | 0 | 0 | 23 |3330k| 20 | 2.100000e+01 | -- | Inf
1800.03/1800.80 c
1800.03/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.80 c Solving Time (sec) : 1707.94
1800.03/1800.80 c Solving Nodes : 5682727
1800.03/1800.80 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.03/1800.80 c Dual Bound : +2.10000000000000e+01
1800.03/1800.80 c Gap : infinite
1800.03/1800.80 c NODE 5682727
1800.03/1800.80 c DUAL BOUND 21
1800.03/1800.80 c PRIMAL BOUND 1e+20
1800.03/1800.80 c GAP 1e+20
1800.03/1800.80 s UNKNOWN
1800.03/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.80 c Solving Time : 1707.94
1800.03/1800.80 c Original Problem :
1800.03/1800.80 c Problem name : HOME/instance-1883946-1245238131.opb
1800.03/1800.80 c Variables : 420 (420 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.80 c Constraints : 4221 initial, 4221 maximal
1800.03/1800.80 c Presolved Problem :
1800.03/1800.80 c Problem name : t_HOME/instance-1883946-1245238131.opb
1800.03/1800.80 c Variables : 420 (420 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.80 c Constraints : 4221 initial, 4292 maximal
1800.03/1800.80 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.80 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.80 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.80 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.80 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.80 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.80 c probing : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.80 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.03/1800.80 c root node : - 0 - - 0 - - - -
1800.03/1800.80 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.80 c integral : 0 0 0 1 0 0 0 0 0 2
1800.03/1800.80 c logicor : 4221+ 5 23748675 0 0 3323669 84805521 0 0 0
1800.03/1800.80 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.80 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.80 c integral : 0.28 0.00 0.00 0.28 0.00
1800.03/1800.80 c logicor : 716.76 0.01 716.75 0.00 0.00
1800.03/1800.80 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.80 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.80 c rootredcost : 7.96 0 0 0
1800.03/1800.80 c pseudoobj : 471.50 28078128 0 0
1800.03/1800.80 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.80 c propagation : 432.22 3323669 3323669 3323669 48.9 53343 57.5 -
1800.03/1800.80 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.80 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.80 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.80 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.80 c applied globally : - - - 1071073 34.2 - - -
1800.03/1800.80 c applied locally : - - - 2260856 55.9 - - -
1800.03/1800.80 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.80 c cut pool : 0.00 4 - - 25 - (maximal pool size: 201)
1800.03/1800.80 c redcost : 0.00 5 0 0 0 0
1800.03/1800.80 c impliedbounds : 0.00 5 0 0 0 0
1800.03/1800.80 c intobj : 0.00 0 0 0 0 0
1800.03/1800.80 c gomory : 0.23 5 0 0 779 0
1800.03/1800.80 c strongcg : 0.24 5 0 0 1404 0
1800.03/1800.80 c cmir : 0.00 0 0 0 0 0
1800.03/1800.80 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.80 c clique : 0.01 5 0 0 10 0
1800.03/1800.80 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.80 c mcf : 0.01 1 0 0 0 0
1800.03/1800.80 c Pricers : Time Calls Vars
1800.03/1800.80 c problem variables: 0.00 0 0
1800.03/1800.80 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.80 c relpscost : 0.28 1 0 0 0 0 2
1800.03/1800.80 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.80 c inference : 35.84 4176785 0 0 0 0 8353570
1800.03/1800.80 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.80 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.80 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.80 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.80 c random : 0.00 0 0 0 0 0 0
1800.03/1800.80 c Primal Heuristics : Time Calls Found
1800.03/1800.80 c LP solutions : 0.00 - 0
1800.03/1800.80 c pseudo solutions : 0.00 - 0
1800.03/1800.80 c simplerounding : 0.00 0 0
1800.03/1800.80 c rounding : 0.00 0 0
1800.03/1800.80 c shifting : 0.00 0 0
1800.03/1800.80 c intshifting : 0.00 0 0
1800.03/1800.80 c oneopt : 0.00 0 0
1800.03/1800.80 c fixandinfer : 0.00 0 0
1800.03/1800.80 c feaspump : 0.00 0 0
1800.03/1800.80 c coefdiving : 0.00 0 0
1800.03/1800.80 c pscostdiving : 0.00 0 0
1800.03/1800.80 c fracdiving : 0.00 0 0
1800.03/1800.80 c veclendiving : 0.00 0 0
1800.03/1800.80 c intdiving : 0.00 0 0
1800.03/1800.80 c actconsdiving : 0.00 0 0
1800.03/1800.80 c objpscostdiving : 0.00 0 0
1800.03/1800.80 c rootsoldiving : 0.00 0 0
1800.03/1800.80 c linesearchdiving : 0.00 0 0
1800.03/1800.80 c guideddiving : 0.00 0 0
1800.03/1800.80 c octane : 0.00 0 0
1800.03/1800.80 c rens : 0.00 0 0
1800.03/1800.80 c rins : 0.00 0 0
1800.03/1800.80 c localbranching : 0.00 0 0
1800.03/1800.80 c mutation : 0.00 0 0
1800.03/1800.80 c crossover : 0.00 0 0
1800.03/1800.80 c dins : 0.00 0 0
1800.03/1800.80 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.80 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.80 c dual LP : 0.21 6 580 96.67 2761.90
1800.03/1800.80 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.80 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.80 c strong branching : 0.28 20 497 24.85 1775.00
1800.03/1800.80 c (at root node) : - 20 497 24.85 -
1800.03/1800.80 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.80 c B&B Tree :
1800.03/1800.80 c number of runs : 1
1800.03/1800.80 c nodes : 5682727
1800.03/1800.80 c nodes (total) : 5682727
1800.03/1800.80 c nodes left : 208
1800.03/1800.80 c max depth : 241
1800.03/1800.80 c max depth (total): 241
1800.03/1800.80 c backtracks : 1867153 (32.9%)
1800.03/1800.80 c delayed cutoffs : 2670638
1800.03/1800.80 c repropagations : 4910748 (49486372 domain reductions, 1817728 cutoffs)
1800.03/1800.80 c avg switch length: 2.60
1800.03/1800.80 c switching time : 227.10
1800.03/1800.80 c Solution :
1800.03/1800.80 c Solutions found : 0 (0 improvements)
1800.03/1800.80 c Primal Bound : -
1800.03/1800.80 c Dual Bound : +2.10000000000000e+01
1800.03/1800.80 c Gap : infinite
1800.03/1800.80 c Root Dual Bound : +2.10000000000000e+01
1800.03/1800.83 c Time complete: 1800.06.