0.09/0.19 c SCIP version 1.1.0.7
0.09/0.19 c LP-Solver Clp 1.8.2
0.09/0.19 c user parameter file <scip.set> not found - using default parameters
0.09/0.19 c read problem <HOME/instance-1884208-1245255950.opb>
0.09/0.19 c original problem has 1477 variables (1477 bin, 0 int, 0 impl, 0 cont) and 7989 constraints
0.19/0.25 c No objective function, only one solution is needed.
0.19/0.25 c start presolving problem
0.19/0.25 c presolving:
0.29/0.31 c (round 1) 39 del vars, 311 del conss, 29 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 760 impls, 0 clqs
0.29/0.32 c (round 2) 42 del vars, 417 del conss, 32 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1232 impls, 0 clqs
2.10/2.15 c (round 3) 42 del vars, 1818 del conss, 32 chg bounds, 506 chg sides, 0 chg coeffs, 0 upgd conss, 1232 impls, 0 clqs
2.39/2.45 c (round 4) 42 del vars, 1877 del conss, 32 chg bounds, 506 chg sides, 0 chg coeffs, 6171 upgd conss, 1232 impls, 0 clqs
2.39/2.48 c presolving (5 rounds):
2.39/2.48 c 42 deleted vars, 1877 deleted constraints, 32 tightened bounds, 0 added holes, 506 changed sides, 0 changed coefficients
2.39/2.48 c 1232 implications, 0 cliques
2.39/2.48 c presolved problem has 1435 variables (1435 bin, 0 int, 0 impl, 0 cont) and 6112 constraints
2.39/2.48 c 6112 constraints of type <logicor>
2.39/2.48 c transformed objective value is always integral (scale: 1)
2.39/2.48 c Presolving Time: 2.20
2.39/2.48 c PURESAT
2.39/2.48 c -----------------------------------------------------------------------------------------------
2.39/2.48 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
2.39/2.48 c # [type: int, range: [-1,2147483647], default: 0]
2.39/2.48 c separating/flowcover/freq = c -1
2.39/2.48 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
2.39/2.48 c # [type: int, range: [-1,2147483647], default: 0]
2.39/2.48 c separating/cmir/freq = c -1
2.39/2.48 c # additional number of allowed LP iterations
2.39/2.48 c # [type: int, range: [0,2147483647], default: 1000]
2.39/2.48 c heuristics/veclendiving/maxlpiterofs = c 1500
2.39/2.48 c # maximal fraction of diving LP iterations compared to node LP iterations
2.39/2.48 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.39/2.48 c heuristics/veclendiving/maxlpiterquot = c 0.075
2.39/2.48 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
2.39/2.48 c # [type: int, range: [-1,2147483647], default: 10]
2.39/2.48 c heuristics/veclendiving/freq = c -1
2.39/2.48 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
2.39/2.48 c # [type: int, range: [-1,2147483647], default: 1]
2.39/2.48 c heuristics/simplerounding/freq = c -1
2.39/2.48 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
2.39/2.48 c # [type: int, range: [-1,2147483647], default: 10]
2.39/2.48 c heuristics/shifting/freq = c -1
2.39/2.48 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
2.39/2.48 c # [type: int, range: [-1,2147483647], default: 1]
2.39/2.48 c heuristics/rounding/freq = c -1
2.39/2.48 c # additional number of allowed LP iterations
2.39/2.48 c # [type: int, range: [0,2147483647], default: 1000]
2.39/2.48 c heuristics/rootsoldiving/maxlpiterofs = c 1500
2.39/2.48 c # maximal fraction of diving LP iterations compared to node LP iterations
2.39/2.48 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
2.39/2.48 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
2.39/2.48 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
2.39/2.48 c # [type: int, range: [-1,2147483647], default: 20]
2.39/2.48 c heuristics/rootsoldiving/freq = c -1
2.39/2.48 c # number of nodes added to the contingent of the total nodes
2.39/2.48 c # [type: longint, range: [0,9223372036854775807], default: 500]
2.39/2.48 c heuristics/rens/nodesofs = c 2000
2.39/2.48 c # minimum percentage of integer variables that have to be fixable
2.39/2.48 c # [type: real, range: [0,1], default: 0.5]
2.39/2.48 c heuristics/rens/minfixingrate = c 0.3
2.39/2.48 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
2.39/2.48 c # [type: int, range: [-1,2147483647], default: 0]
2.39/2.48 c heuristics/rens/freq = c -1
2.39/2.48 c # additional number of allowed LP iterations
2.39/2.48 c # [type: int, range: [0,2147483647], default: 1000]
2.39/2.48 c heuristics/pscostdiving/maxlpiterofs = c 1500
2.39/2.48 c # maximal fraction of diving LP iterations compared to node LP iterations
2.39/2.48 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.39/2.48 c heuristics/pscostdiving/maxlpiterquot = c 0.075
2.39/2.48 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
2.39/2.48 c # [type: int, range: [-1,2147483647], default: 10]
2.39/2.48 c heuristics/pscostdiving/freq = c -1
2.39/2.48 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
2.39/2.48 c # [type: int, range: [-1,2147483647], default: 1]
2.39/2.48 c heuristics/oneopt/freq = c -1
2.39/2.48 c # additional number of allowed LP iterations
2.39/2.48 c # [type: int, range: [0,2147483647], default: 1000]
2.39/2.48 c heuristics/objpscostdiving/maxlpiterofs = c 1500
2.39/2.48 c # maximal fraction of diving LP iterations compared to total iteration number
2.39/2.48 c # [type: real, range: [0,1], default: 0.01]
2.39/2.48 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
2.39/2.48 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
2.39/2.48 c # [type: int, range: [-1,2147483647], default: 20]
2.39/2.48 c heuristics/objpscostdiving/freq = c -1
2.39/2.48 c # additional number of allowed LP iterations
2.39/2.48 c # [type: int, range: [0,2147483647], default: 1000]
2.39/2.48 c heuristics/linesearchdiving/maxlpiterofs = c 1500
2.39/2.48 c # maximal fraction of diving LP iterations compared to node LP iterations
2.39/2.48 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.39/2.48 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
2.39/2.48 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
2.39/2.48 c # [type: int, range: [-1,2147483647], default: 10]
2.39/2.48 c heuristics/linesearchdiving/freq = c -1
2.39/2.48 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
2.39/2.48 c # [type: int, range: [-1,2147483647], default: 10]
2.39/2.48 c heuristics/intshifting/freq = c -1
2.39/2.48 c # maximal fraction of diving LP iterations compared to node LP iterations
2.39/2.48 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.39/2.48 c heuristics/intdiving/maxlpiterquot = c 0.075
2.39/2.48 c # additional number of allowed LP iterations
2.39/2.48 c # [type: int, range: [0,2147483647], default: 1000]
2.39/2.48 c heuristics/guideddiving/maxlpiterofs = c 1500
2.39/2.48 c # maximal fraction of diving LP iterations compared to node LP iterations
2.39/2.48 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.39/2.48 c heuristics/guideddiving/maxlpiterquot = c 0.075
2.39/2.48 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
2.39/2.48 c # [type: int, range: [-1,2147483647], default: 10]
2.39/2.48 c heuristics/guideddiving/freq = c -1
2.39/2.48 c # additional number of allowed LP iterations
2.39/2.48 c # [type: int, range: [0,2147483647], default: 1000]
2.39/2.48 c heuristics/fracdiving/maxlpiterofs = c 1500
2.39/2.48 c # maximal fraction of diving LP iterations compared to node LP iterations
2.39/2.48 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.39/2.48 c heuristics/fracdiving/maxlpiterquot = c 0.075
2.39/2.48 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
2.39/2.48 c # [type: int, range: [-1,2147483647], default: 10]
2.39/2.48 c heuristics/fracdiving/freq = c -1
2.39/2.48 c # additional number of allowed LP iterations
2.39/2.48 c # [type: int, range: [0,2147483647], default: 1000]
2.39/2.48 c heuristics/feaspump/maxlpiterofs = c 2000
2.39/2.48 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
2.39/2.48 c # [type: int, range: [-1,2147483647], default: 20]
2.39/2.48 c heuristics/feaspump/freq = c -1
2.39/2.48 c # minimum percentage of integer variables that have to be fixed
2.39/2.48 c # [type: real, range: [0,1], default: 0.666]
2.39/2.48 c heuristics/crossover/minfixingrate = c 0.5
2.39/2.48 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
2.39/2.48 c # [type: real, range: [0,1], default: 0.1]
2.39/2.48 c heuristics/crossover/nodesquot = c 0.15
2.39/2.48 c # number of nodes without incumbent change that heuristic should wait
2.39/2.48 c # [type: longint, range: [0,9223372036854775807], default: 200]
2.39/2.48 c heuristics/crossover/nwaitingnodes = c 100
2.39/2.48 c # number of nodes added to the contingent of the total nodes
2.39/2.48 c # [type: longint, range: [0,9223372036854775807], default: 500]
2.39/2.48 c heuristics/crossover/nodesofs = c 750
2.39/2.48 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
2.39/2.48 c # [type: int, range: [-1,2147483647], default: 30]
2.39/2.48 c heuristics/crossover/freq = c -1
2.39/2.48 c # additional number of allowed LP iterations
2.39/2.48 c # [type: int, range: [0,2147483647], default: 1000]
2.39/2.48 c heuristics/coefdiving/maxlpiterofs = c 1500
2.39/2.48 c # maximal fraction of diving LP iterations compared to node LP iterations
2.39/2.48 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.39/2.48 c heuristics/coefdiving/maxlpiterquot = c 0.075
2.39/2.48 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
2.39/2.48 c # [type: int, range: [-1,2147483647], default: 10]
2.39/2.48 c heuristics/coefdiving/freq = c -1
2.39/2.48 c # priority of node selection rule <dfs> in standard mode
2.39/2.48 c # [type: int, range: [-536870912,536870911], default: 0]
2.39/2.48 c nodeselection/dfs/stdpriority = c 1000000
2.39/2.48 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
2.39/2.48 c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.48 c presolving/probing/maxrounds = c 0
2.39/2.48 c # should presolving try to simplify knapsacks
2.39/2.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.48 c constraints/knapsack/simplifyinequalities = c TRUE
2.39/2.48 c # should disaggregation of knapsack constraints be allowed in preprocessing?
2.39/2.48 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
2.39/2.48 c constraints/knapsack/disaggregation = c FALSE
2.39/2.48 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
2.39/2.48 c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.48 c constraints/knapsack/maxnumcardlift = c 0
2.39/2.48 c # should presolving try to simplify inequalities
2.39/2.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.48 c constraints/linear/simplifyinequalities = c TRUE
2.39/2.48 c # maximal number of separation rounds in the root node (-1: unlimited)
2.39/2.48 c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.48 c separating/maxroundsroot = c 5
2.39/2.48 c # maximal number of separation rounds per node (-1: unlimited)
2.39/2.48 c # [type: int, range: [-1,2147483647], default: 5]
2.39/2.48 c separating/maxrounds = c 1
2.39/2.48 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
2.39/2.48 c # [type: char, range: {lafpsqd}, default: l]
2.39/2.48 c lp/pricing = c a
2.39/2.48 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.39/2.48 c # [type: int, range: [-1,2147483647], default: 1]
2.39/2.48 c lp/solvefreq = c 0
2.39/2.48 c # solving stops, if the given number of solutions were found (-1: no limit)
2.39/2.48 c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.48 c limits/solutions = c 1
2.39/2.48 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.39/2.48 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.48 c limits/memory = c 1620
2.39/2.48 c # maximal time in seconds to run
2.39/2.48 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.48 c limits/time = c 1791
2.39/2.48 c # frequency for displaying node information lines
2.39/2.48 c # [type: int, range: [-1,2147483647], default: 100]
2.39/2.48 c display/freq = c 10000
2.39/2.48 c # should enforcement of pseudo solution be disabled?
2.39/2.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.48 c constraints/disableenfops = c TRUE
2.39/2.48 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.39/2.48 c # [type: int, range: [-1,2147483647], default: 0]
2.39/2.48 c constraints/agelimit = c 1
2.39/2.48 c # should binary conflicts be preferred?
2.39/2.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.48 c conflict/preferbinary = c TRUE
2.39/2.48 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.39/2.48 c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.48 c conflict/interconss = c 0
2.39/2.48 c -----------------------------------------------------------------------------------------------
2.39/2.48 c start solving problem
2.39/2.48 c
2.59/2.62 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.59/2.62 c 2.4s| 1 | 0 | 191 | 14M| 0 | 129 |1435 |6112 |6112 |1435 |6112 | 0 | 0 | 0 | 8.912500e+01 | -- | Inf
2.89/2.98 c 2.7s| 1 | 0 | 405 | 14M| 0 | 134 |1435 |6112 |6112 |1435 |6144 | 32 | 0 | 0 | 1.054167e+02 | -- | Inf
3.89/3.97 c 3.7s| 1 | 0 | 980 | 16M| 0 | 135 |1435 |6112 |6112 |1435 |6154 | 42 | 0 | 0 | 1.096666e+02 | -- | Inf
4.69/4.71 c 4.4s| 1 | 0 | 1216 | 18M| 0 | 140 |1435 |6112 |6112 |1435 |6164 | 52 | 0 | 0 | 1.108194e+02 | -- | Inf
5.29/5.33 c 5.1s| 1 | 0 | 1440 | 19M| 0 | 127 |1435 |6112 |6112 |1435 |6175 | 63 | 0 | 0 | 1.120714e+02 | -- | Inf
5.89/5.99 c 5.7s| 1 | 0 | 1691 | 20M| 0 | 141 |1435 |6112 |6112 |1435 |6186 | 74 | 0 | 0 | 1.130676e+02 | -- | Inf
20.89/20.91 c 20.6s| 1 | 2 | 1691 | 20M| 0 | 141 |1435 |6112 |6112 |1435 |6186 | 74 | 0 | 46 | 1.130676e+02 | -- | Inf
27.88/27.99 c 27.5s| 10000 | 186 | 1691 | 21M| 642 | - |1435 |6198 |3943 | 0 | 0 | 74 |3722 | 46 | 1.136886e+02 | -- | Inf
33.58/33.67 c 33.0s| 20000 | 115 | 1691 | 21M| 829 | - |1435 |6234 |3749 | 0 | 0 | 74 |6279 | 46 | 1.136886e+02 | -- | Inf
39.88/39.92 c 39.1s| 30000 | 54 | 1691 | 21M| 829 | - |1435 |6205 |4218 | 0 | 0 | 74 |9844 | 46 | 1.136886e+02 | -- | Inf
47.08/47.12 c 46.1s| 40000 | 45 | 1691 | 21M| 829 | - |1435 |6177 |4294 | 0 | 0 | 74 | 14k| 46 | 1.136886e+02 | -- | Inf
53.67/53.76 c 52.6s| 50000 | 53 | 1691 | 22M| 862 | - |1435 |6157 |3873 | 0 | 0 | 74 | 18k| 46 | 1.136886e+02 | -- | Inf
60.28/60.38 c 59.0s| 60000 | 47 | 1691 | 22M| 862 | - |1435 |6137 |4557 | 0 | 0 | 74 | 22k| 46 | 1.136886e+02 | -- | Inf
65.77/65.81 c 64.3s| 70000 | 124 | 1691 | 22M| 898 | - |1435 |6177 |4140 | 0 | 0 | 74 | 25k| 46 | 1.136886e+02 | -- | Inf
71.47/71.58 c 69.9s| 80000 | 44 | 1691 | 22M| 950 | - |1435 |6165 |4404 | 0 | 0 | 74 | 28k| 46 | 1.136886e+02 | -- | Inf
77.27/77.31 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.27/77.31 c 75.5s| 90000 | 963 | 1691 | 22M| 994 | - |1435 |6416 |2575 | 0 | 0 | 74 | 32k| 46 | 1.136886e+02 | -- | Inf
82.96/83.03 c 81.1s|100000 | 43 | 1691 | 22M|1068 | - |1435 |6163 |4431 | 0 | 0 | 74 | 34k| 46 | 1.136886e+02 | -- | Inf
89.57/89.70 c 87.6s|110000 | 38 | 1691 | 22M|1068 | - |1435 |6190 |4262 | 0 | 0 | 74 | 38k| 46 | 1.136886e+02 | -- | Inf
96.16/96.21 c 94.0s|120000 | 38 | 1691 | 22M|1120 | - |1435 |6171 |4737 | 0 | 0 | 74 | 42k| 46 | 1.136886e+02 | -- | Inf
102.26/102.30 c 99.9s|130000 | 51 | 1691 | 22M|1146 | - |1435 |6136 |4504 | 0 | 0 | 74 | 45k| 46 | 1.136886e+02 | -- | Inf
107.76/107.85 c 105s|140000 | 53 | 1691 | 22M|1146 | - |1435 |6135 |4807 | 0 | 0 | 74 | 47k| 46 | 1.136886e+02 | -- | Inf
113.36/113.43 c 111s|150000 | 39 | 1691 | 22M|1146 | - |1435 |6152 |4297 | 0 | 0 | 74 | 50k| 46 | 1.136886e+02 | -- | Inf
118.95/119.06 c 116s|160000 | 41 | 1691 | 22M|1146 | - |1435 |6152 |4932 | 0 | 0 | 74 | 52k| 46 | 1.136886e+02 | -- | Inf
125.15/125.28 c 122s|170000 | 64 | 1691 | 22M|1146 | - |1435 |6170 |4378 | 0 | 0 | 74 | 55k| 46 | 1.136886e+02 | -- | Inf
131.55/131.67 c 129s|180000 | 247 | 1691 | 22M|1146 | - |1435 |6149 |4242 | 0 | 0 | 74 | 58k| 46 | 1.136886e+02 | -- | Inf
138.65/138.76 c 135s|190000 | 186 | 1691 | 22M|1146 | - |1435 |6163 |4199 | 0 | 0 | 74 | 63k| 46 | 1.136886e+02 | -- | Inf
143.24/143.37 c 140s|200000 | 741 | 1691 | 22M|1146 | - |1435 |6183 |3108 | 0 | 0 | 74 | 64k| 46 | 1.136886e+02 | -- | Inf
149.45/149.51 c 146s|210000 | 38 | 1691 | 22M|1146 | - |1435 |6155 |4725 | 0 | 0 | 74 | 68k| 46 | 1.136886e+02 | -- | Inf
155.14/155.25 c 152s|220000 | 32 | 1691 | 22M|1146 | - |1435 |6197 |4619 | 0 | 0 | 74 | 70k| 46 | 1.136886e+02 | -- | Inf
160.84/160.96 c 157s|230000 | 286 | 1691 | 22M|1146 | - |1435 |6155 |3457 | 0 | 0 | 74 | 73k| 46 | 1.136886e+02 | -- | Inf
165.74/165.84 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
165.74/165.84 c 162s|240000 | 56 | 1691 | 22M|1146 | - |1435 |6147 |4468 | 0 | 0 | 74 | 75k| 46 | 1.136886e+02 | -- | Inf
172.94/173.09 c 169s|250000 | 606 | 1691 | 22M|1146 | - |1435 |6171 |3224 | 0 | 0 | 74 | 79k| 46 | 1.136886e+02 | -- | Inf
179.24/179.37 c 175s|260000 | 41 | 1691 | 22M|1146 | - |1435 |6168 |4452 | 0 | 0 | 74 | 82k| 46 | 1.136886e+02 | -- | Inf
184.83/184.91 c 181s|270000 | 35 | 1691 | 22M|1146 | - |1435 |6155 |4850 | 0 | 0 | 74 | 85k| 46 | 1.136886e+02 | -- | Inf
190.03/190.10 c 186s|280000 | 39 | 1691 | 22M|1146 | - |1435 |6147 |4655 | 0 | 0 | 74 | 87k| 46 | 1.136886e+02 | -- | Inf
195.53/195.62 c 191s|290000 | 39 | 1691 | 22M|1146 | - |1435 |6174 |4644 | 0 | 0 | 74 | 90k| 46 | 1.136886e+02 | -- | Inf
201.13/201.22 c 196s|300000 | 38 | 1691 | 22M|1146 | - |1435 |6154 |4483 | 0 | 0 | 74 | 92k| 46 | 1.136886e+02 | -- | Inf
207.62/207.74 c 203s|310000 | 52 | 1691 | 22M|1146 | - |1435 |6323 |4137 | 0 | 0 | 74 | 96k| 46 | 1.136886e+02 | -- | Inf
213.63/213.74 c 209s|320000 | 45 | 1691 | 22M|1146 | - |1435 |6417 |4619 | 0 | 0 | 74 | 99k| 46 | 1.136886e+02 | -- | Inf
218.42/218.54 c 213s|330000 | 44 | 1691 | 22M|1146 | - |1435 |6420 |4639 | 0 | 0 | 74 | 101k| 46 | 1.136886e+02 | -- | Inf
224.52/224.62 c 219s|340000 | 46 | 1691 | 22M|1146 | - |1435 |6455 |4632 | 0 | 0 | 74 | 104k| 46 | 1.136886e+02 | -- | Inf
229.82/229.91 c 224s|350000 | 40 | 1691 | 22M|1146 | - |1435 |6459 |4448 | 0 | 0 | 74 | 106k| 46 | 1.136886e+02 | -- | Inf
235.71/235.85 c 230s|360000 | 36 | 1691 | 22M|1146 | - |1435 |6748 |4485 | 0 | 0 | 74 | 109k| 46 | 1.136886e+02 | -- | Inf
240.52/240.62 c 235s|370000 | 47 | 1691 | 22M|1146 | - |1435 |6695 |4175 | 0 | 0 | 74 | 111k| 46 | 1.136886e+02 | -- | Inf
246.62/246.71 c 241s|380000 | 44 | 1691 | 22M|1146 | - |1435 |6847 |3962 | 0 | 0 | 74 | 115k| 46 | 1.136886e+02 | -- | Inf
252.41/252.59 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
252.41/252.59 c 247s|390000 | 42 | 1691 | 22M|1146 | - |1435 |7074 |3895 | 0 | 0 | 74 | 118k| 46 | 1.136886e+02 | -- | Inf
258.51/258.69 c 252s|400000 | 999 | 1691 | 22M|1146 | - |1435 |7365 |2639 | 0 | 0 | 74 | 122k| 46 | 1.136886e+02 | -- | Inf
265.30/265.46 c 259s|410000 | 33 | 1691 | 22M|1146 | - |1435 |7087 |4050 | 0 | 0 | 74 | 126k| 46 | 1.136886e+02 | -- | Inf
269.61/269.79 c 263s|420000 | 81 | 1691 | 22M|1146 | - |1435 |7122 |4352 | 0 | 0 | 74 | 127k| 46 | 1.136886e+02 | -- | Inf
275.21/275.36 c 269s|430000 | 40 | 1691 | 22M|1146 | - |1435 |7189 |4438 | 0 | 0 | 74 | 130k| 46 | 1.136886e+02 | -- | Inf
280.90/281.01 c 274s|440000 | 50 | 1691 | 22M|1146 | - |1435 |7284 |4238 | 0 | 0 | 74 | 132k| 46 | 1.136886e+02 | -- | Inf
286.40/286.57 c 280s|450000 | 157 | 1691 | 22M|1146 | - |1435 |7482 |4189 | 0 | 0 | 74 | 135k| 46 | 1.136886e+02 | -- | Inf
291.59/291.77 c 285s|460000 | 99 | 1691 | 22M|1146 | - |1435 |7586 |4003 | 0 | 0 | 74 | 136k| 46 | 1.136886e+02 | -- | Inf
296.49/296.66 c 289s|470000 | 51 | 1691 | 22M|1146 | - |1435 |7721 |4138 | 0 | 0 | 74 | 138k| 46 | 1.136886e+02 | -- | Inf
302.69/302.86 c 296s|480000 | 64 | 1691 | 22M|1146 | - |1435 |7991 |4254 | 0 | 0 | 74 | 142k| 46 | 1.136886e+02 | -- | Inf
308.99/309.12 c 302s|490000 | 38 | 1691 | 22M|1146 | - |1435 |7805 |4190 | 0 | 0 | 74 | 146k| 46 | 1.136886e+02 | -- | Inf
314.79/314.98 c 307s|500000 | 335 | 1691 | 22M|1146 | - |1435 |6211 |3665 | 0 | 0 | 74 | 149k| 46 | 1.136886e+02 | -- | Inf
320.58/320.74 c 313s|510000 | 135 | 1691 | 22M|1146 | - |1435 |6315 |4037 | 0 | 0 | 74 | 151k| 46 | 1.136886e+02 | -- | Inf
327.09/327.25 c 319s|520000 | 120 | 1691 | 22M|1146 | - |1435 |6436 |4325 | 0 | 0 | 74 | 154k| 46 | 1.136886e+02 | -- | Inf
333.29/333.43 c 325s|530000 | 39 | 1691 | 22M|1146 | - |1435 |6788 |4203 | 0 | 0 | 74 | 158k| 46 | 1.136886e+02 | -- | Inf
339.68/339.86 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
339.68/339.86 c 332s|540000 | 35 | 1691 | 22M|1146 | - |1435 |7090 |4549 | 0 | 0 | 74 | 161k| 46 | 1.136886e+02 | -- | Inf
345.58/345.78 c 337s|550000 | 172 | 1691 | 22M|1146 | - |1435 |7389 |4125 | 0 | 0 | 74 | 164k| 46 | 1.136886e+02 | -- | Inf
351.18/351.31 c 343s|560000 | 526 | 1691 | 22M|1146 | - |1435 |7684 |3429 | 0 | 0 | 74 | 167k| 46 | 1.136886e+02 | -- | Inf
356.38/356.57 c 348s|570000 | 967 | 1691 | 23M|1146 | - |1435 |7931 |2900 | 0 | 0 | 74 | 170k| 46 | 1.136886e+02 | -- | Inf
361.97/362.11 c 353s|580000 | 479 | 1691 | 23M|1146 | - |1435 |8172 |2567 | 0 | 0 | 74 | 172k| 46 | 1.136886e+02 | -- | Inf
367.67/367.80 c 359s|590000 | 183 | 1691 | 23M|1146 | - |1435 |8371 |3713 | 0 | 0 | 74 | 175k| 46 | 1.136886e+02 | -- | Inf
373.87/374.02 c 365s|600000 | 46 | 1691 | 23M|1146 | - |1435 |8610 |4185 | 0 | 0 | 74 | 178k| 46 | 1.136886e+02 | -- | Inf
380.27/380.49 c 371s|610000 | 41 | 1691 | 23M|1146 | - |1435 |8746 |4133 | 0 | 0 | 74 | 182k| 46 | 1.136886e+02 | -- | Inf
386.26/386.49 c 377s|620000 | 42 | 1691 | 23M|1146 | - |1435 |8952 |4077 | 0 | 0 | 74 | 185k| 46 | 1.136886e+02 | -- | Inf
392.47/392.62 c 383s|630000 | 804 | 1691 | 23M|1146 | - |1435 |9130 |3023 | 0 | 0 | 74 | 188k| 46 | 1.136886e+02 | -- | Inf
398.06/398.24 c 389s|640000 | 470 | 1691 | 23M|1146 | - |1435 |9305 |3324 | 0 | 0 | 74 | 190k| 46 | 1.136886e+02 | -- | Inf
403.46/403.64 c 394s|650000 | 576 | 1691 | 23M|1146 | - |1435 |9452 |3052 | 0 | 0 | 74 | 193k| 46 | 1.136886e+02 | -- | Inf
409.66/409.80 c 400s|660000 | 134 | 1691 | 23M|1146 | - |1435 |9719 |3918 | 0 | 0 | 74 | 196k| 46 | 1.136886e+02 | -- | Inf
415.45/415.66 c 406s|670000 | 33 | 1691 | 23M|1146 | - |1435 | 10k|4329 | 0 | 0 | 74 | 199k| 46 | 1.136886e+02 | -- | Inf
420.65/420.84 c 411s|680000 | 49 | 1691 | 23M|1146 | - |1435 | 10k|4168 | 0 | 0 | 74 | 201k| 46 | 1.136886e+02 | -- | Inf
427.55/427.71 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
427.55/427.71 c 417s|690000 | 345 | 1691 | 23M|1146 | - |1435 | 10k|3710 | 0 | 0 | 74 | 206k| 46 | 1.136886e+02 | -- | Inf
432.75/432.92 c 422s|700000 | 47 | 1691 | 23M|1146 | - |1435 | 10k|4083 | 0 | 0 | 74 | 208k| 46 | 1.136886e+02 | -- | Inf
438.95/439.11 c 428s|710000 | 702 | 1691 | 23M|1146 | - |1435 | 11k|3128 | 0 | 0 | 74 | 212k| 46 | 1.136886e+02 | -- | Inf
444.94/445.13 c 434s|720000 | 218 | 1691 | 23M|1146 | - |1435 | 11k|3672 | 0 | 0 | 74 | 215k| 46 | 1.136886e+02 | -- | Inf
450.45/450.65 c 440s|730000 | 43 | 1691 | 23M|1146 | - |1435 | 11k|3849 | 0 | 0 | 74 | 218k| 46 | 1.136886e+02 | -- | Inf
455.34/455.59 c 445s|740000 | 45 | 1691 | 23M|1146 | - |1435 | 11k|3783 | 0 | 0 | 74 | 221k| 46 | 1.136886e+02 | -- | Inf
461.94/462.20 c 451s|750000 | 40 | 1691 | 23M|1146 | - |1435 | 11k|4014 | 0 | 0 | 74 | 225k| 46 | 1.136886e+02 | -- | Inf
469.83/470.09 c 459s|760000 | 32 | 1691 | 24M|1146 | - |1435 | 12k|4400 | 0 | 0 | 74 | 230k| 46 | 1.136886e+02 | -- | Inf
475.33/475.50 c 464s|770000 | 44 | 1691 | 22M|1146 | - |1435 |6224 |4739 | 0 | 0 | 74 | 233k| 46 | 1.136886e+02 | -- | Inf
481.54/481.73 c 470s|780000 | 53 | 1691 | 22M|1146 | - |1435 |6320 |4355 | 0 | 0 | 74 | 236k| 46 | 1.136886e+02 | -- | Inf
488.43/488.63 c 477s|790000 | 40 | 1691 | 22M|1146 | - |1435 |6451 |4428 | 0 | 0 | 74 | 239k| 46 | 1.136886e+02 | -- | Inf
494.62/494.90 c 483s|800000 | 66 | 1691 | 22M|1146 | - |1435 |6668 |4161 | 0 | 0 | 74 | 242k| 46 | 1.136886e+02 | -- | Inf
500.33/500.51 c 488s|810000 | 92 | 1691 | 22M|1146 | - |1435 |6770 |3973 | 0 | 0 | 74 | 244k| 46 | 1.136886e+02 | -- | Inf
506.53/506.70 c 494s|820000 | 96 | 1691 | 22M|1146 | - |1435 |6984 |4326 | 0 | 0 | 74 | 248k| 46 | 1.136886e+02 | -- | Inf
512.23/512.42 c 500s|830000 | 36 | 1691 | 22M|1146 | - |1435 |7312 |4223 | 0 | 0 | 74 | 251k| 46 | 1.136886e+02 | -- | Inf
518.12/518.33 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
518.12/518.33 c 506s|840000 | 32 | 1691 | 23M|1146 | - |1435 |7433 |4649 | 0 | 0 | 74 | 254k| 46 | 1.136886e+02 | -- | Inf
523.62/523.82 c 511s|850000 | 491 | 1691 | 22M|1146 | - |1435 |6290 |3520 | 0 | 0 | 74 | 257k| 46 | 1.136886e+02 | -- | Inf
530.52/530.74 c 518s|860000 | 30 | 1691 | 22M|1146 | - |1435 |6254 |5110 | 0 | 0 | 74 | 261k| 46 | 1.136886e+02 | -- | Inf
535.91/536.13 c 523s|870000 | 39 | 1691 | 22M|1146 | - |1435 |6144 |4518 | 0 | 0 | 74 | 263k| 46 | 1.136886e+02 | -- | Inf
541.31/541.54 c 528s|880000 | 1013 | 1691 | 22M|1146 | - |1435 |6167 |3017 | 0 | 0 | 74 | 265k| 46 | 1.136886e+02 | -- | Inf
546.71/546.90 c 533s|890000 | 557 | 1691 | 22M|1146 | - |1435 |6192 |3656 | 0 | 0 | 74 | 267k| 46 | 1.136886e+02 | -- | Inf
552.40/552.66 c 539s|900000 | 194 | 1691 | 22M|1146 | - |1435 |6155 |4093 | 0 | 0 | 74 | 270k| 46 | 1.136886e+02 | -- | Inf
558.11/558.34 c 545s|910000 | 779 | 1691 | 22M|1146 | - |1435 |6184 |3248 | 0 | 0 | 74 | 272k| 46 | 1.136886e+02 | -- | Inf
564.70/564.96 c 551s|920000 | 957 | 1691 | 22M|1146 | - |1435 |6200 |3029 | 0 | 0 | 74 | 276k| 46 | 1.136886e+02 | -- | Inf
570.30/570.51 c 556s|930000 | 46 | 1691 | 22M|1146 | - |1435 |6187 |4521 | 0 | 0 | 74 | 278k| 46 | 1.136886e+02 | -- | Inf
576.70/576.90 c 563s|940000 | 729 | 1691 | 22M|1146 | - |1435 |6157 |3390 | 0 | 0 | 74 | 281k| 46 | 1.136886e+02 | -- | Inf
583.20/583.45 c 569s|950000 | 43 | 1691 | 22M|1146 | - |1435 |6164 |4623 | 0 | 0 | 74 | 284k| 46 | 1.136886e+02 | -- | Inf
588.60/588.88 c 574s|960000 | 35 | 1691 | 22M|1146 | - |1435 |6154 |4369 | 0 | 0 | 74 | 287k| 46 | 1.136886e+02 | -- | Inf
594.49/594.78 c 580s|970000 | 171 | 1691 | 22M|1146 | - |1435 |6188 |4237 | 0 | 0 | 74 | 290k| 46 | 1.136886e+02 | -- | Inf
600.49/600.79 c 586s|980000 | 134 | 1691 | 22M|1146 | - |1435 |6195 |3664 | 0 | 0 | 74 | 292k| 46 | 1.136886e+02 | -- | Inf
606.59/606.86 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
606.59/606.86 c 592s|990000 | 36 | 1691 | 22M|1146 | - |1435 |6202 |4398 | 0 | 0 | 74 | 295k| 46 | 1.136886e+02 | -- | Inf
612.29/612.58 c 598s| 1000k| 129 | 1691 | 22M|1146 | - |1435 |6204 |4308 | 0 | 0 | 74 | 298k| 46 | 1.136886e+02 | -- | Inf
619.69/619.93 c 605s| 1010k| 55 | 1691 | 22M|1146 | - |1435 |6154 |4265 | 0 | 0 | 74 | 302k| 46 | 1.136886e+02 | -- | Inf
627.28/627.52 c 612s| 1020k| 601 | 1691 | 22M|1146 | - |1435 |6187 |3472 | 0 | 0 | 74 | 308k| 46 | 1.136886e+02 | -- | Inf
632.78/633.05 c 617s| 1030k| 56 | 1691 | 22M|1146 | - |1435 |6178 |4171 | 0 | 0 | 74 | 310k| 46 | 1.136886e+02 | -- | Inf
638.58/638.85 c 623s| 1040k| 51 | 1691 | 22M|1146 | - |1435 |6193 |4119 | 0 | 0 | 74 | 313k| 46 | 1.136886e+02 | -- | Inf
644.38/644.69 c 629s| 1050k| 756 | 1691 | 22M|1146 | - |1435 |6187 |3147 | 0 | 0 | 74 | 316k| 46 | 1.136886e+02 | -- | Inf
649.77/650.07 c 634s| 1060k| 896 | 1691 | 22M|1146 | - |1435 |6173 |3142 | 0 | 0 | 74 | 318k| 46 | 1.136886e+02 | -- | Inf
656.18/656.47 c 640s| 1070k| 38 | 1691 | 22M|1146 | - |1435 |6184 |4157 | 0 | 0 | 74 | 321k| 46 | 1.136886e+02 | -- | Inf
662.17/662.44 c 646s| 1080k| 900 | 1691 | 22M|1146 | - |1435 |6160 |3272 | 0 | 0 | 74 | 324k| 46 | 1.136886e+02 | -- | Inf
667.27/667.52 c 651s| 1090k| 986 | 1691 | 22M|1146 | - |1435 |6173 |3109 | 0 | 0 | 74 | 326k| 46 | 1.136886e+02 | -- | Inf
673.66/673.90 c 657s| 1100k| 46 | 1691 | 22M|1146 | - |1435 |6166 |4736 | 0 | 0 | 74 | 329k| 46 | 1.136886e+02 | -- | Inf
678.76/679.05 c 662s| 1110k| 44 | 1691 | 22M|1146 | - |1435 |6208 |4327 | 0 | 0 | 74 | 331k| 46 | 1.136886e+02 | -- | Inf
685.06/685.32 c 668s| 1120k| 34 | 1691 | 22M|1146 | - |1435 |6312 |4280 | 0 | 0 | 74 | 334k| 46 | 1.136886e+02 | -- | Inf
691.06/691.38 c 674s| 1130k| 38 | 1691 | 22M|1146 | - |1435 |6286 |4496 | 0 | 0 | 74 | 337k| 46 | 1.136886e+02 | -- | Inf
698.06/698.32 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
698.06/698.32 c 681s| 1140k| 43 | 1691 | 22M|1146 | - |1435 |6263 |4684 | 0 | 0 | 74 | 341k| 46 | 1.136886e+02 | -- | Inf
704.45/704.70 c 687s| 1150k| 36 | 1691 | 22M|1146 | - |1435 |6283 |4564 | 0 | 0 | 74 | 344k| 46 | 1.136886e+02 | -- | Inf
709.56/709.89 c 692s| 1160k| 43 | 1691 | 22M|1146 | - |1435 |6285 |4700 | 0 | 0 | 74 | 346k| 46 | 1.136886e+02 | -- | Inf
716.66/716.91 c 699s| 1170k| 362 | 1691 | 22M|1146 | - |1435 |6335 |3598 | 0 | 0 | 74 | 350k| 46 | 1.136886e+02 | -- | Inf
722.95/723.26 c 705s| 1180k| 57 | 1691 | 22M|1146 | - |1435 |6377 |4242 | 0 | 0 | 74 | 353k| 46 | 1.136886e+02 | -- | Inf
729.06/729.39 c 711s| 1190k| 969 | 1691 | 23M|1146 | - |1435 |6422 |2849 | 0 | 0 | 74 | 356k| 46 | 1.136886e+02 | -- | Inf
735.45/735.70 c 718s| 1200k| 52 | 1691 | 22M|1146 | - |1435 |6333 |4356 | 0 | 0 | 74 | 359k| 46 | 1.136886e+02 | -- | Inf
741.85/742.19 c 724s| 1210k| 43 | 1691 | 22M|1146 | - |1435 |6185 |4482 | 0 | 0 | 74 | 363k| 46 | 1.136886e+02 | -- | Inf
747.94/748.27 c 730s| 1220k| 584 | 1691 | 22M|1146 | - |1435 |6164 |3637 | 0 | 0 | 74 | 365k| 46 | 1.136886e+02 | -- | Inf
753.64/753.90 c 735s| 1230k| 39 | 1691 | 22M|1146 | - |1435 |6190 |4376 | 0 | 0 | 74 | 368k| 46 | 1.136886e+02 | -- | Inf
759.94/760.21 c 742s| 1240k| 174 | 1691 | 22M|1146 | - |1435 |6172 |4233 | 0 | 0 | 74 | 371k| 46 | 1.136886e+02 | -- | Inf
766.45/766.73 c 748s| 1250k| 542 | 1691 | 22M|1146 | - |1435 |6211 |3573 | 0 | 0 | 74 | 374k| 46 | 1.136886e+02 | -- | Inf
771.94/772.22 c 753s| 1260k| 37 | 1691 | 22M|1146 | - |1435 |6165 |4567 | 0 | 0 | 74 | 377k| 46 | 1.136886e+02 | -- | Inf
777.73/778.05 c 759s| 1270k| 247 | 1691 | 22M|1146 | - |1435 |6170 |4188 | 0 | 0 | 74 | 379k| 46 | 1.136886e+02 | -- | Inf
784.04/784.34 c 765s| 1280k| 31 | 1691 | 22M|1146 | - |1435 |6158 |4782 | 0 | 0 | 74 | 382k| 46 | 1.136886e+02 | -- | Inf
789.43/789.74 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
789.43/789.74 c 770s| 1290k| 82 | 1691 | 22M|1146 | - |1435 |6163 |4452 | 0 | 0 | 74 | 385k| 46 | 1.136886e+02 | -- | Inf
795.03/795.36 c 776s| 1300k| 42 | 1691 | 22M|1146 | - |1435 |6212 |4458 | 0 | 0 | 74 | 387k| 46 | 1.136886e+02 | -- | Inf
803.42/803.70 c 784s| 1310k| 40 | 1691 | 22M|1146 | - |1435 |6155 |4807 | 0 | 0 | 74 | 393k| 46 | 1.136886e+02 | -- | Inf
811.43/811.74 c 792s| 1320k| 41 | 1691 | 22M|1146 | - |1435 |6187 |4129 | 0 | 0 | 74 | 398k| 46 | 1.136886e+02 | -- | Inf
819.52/819.87 c 800s| 1330k| 44 | 1691 | 22M|1146 | - |1435 |6144 |4765 | 0 | 0 | 74 | 404k| 46 | 1.136886e+02 | -- | Inf
826.32/826.63 c 806s| 1340k| 597 | 1691 | 22M|1146 | - |1435 |6304 |3360 | 0 | 0 | 74 | 408k| 46 | 1.136886e+02 | -- | Inf
833.62/833.91 c 813s| 1350k| 41 | 1691 | 22M|1146 | - |1435 |6596 |4323 | 0 | 0 | 74 | 413k| 46 | 1.136886e+02 | -- | Inf
841.71/842.07 c 821s| 1360k| 313 | 1691 | 22M|1146 | - |1435 |6165 |4155 | 0 | 0 | 74 | 419k| 46 | 1.136886e+02 | -- | Inf
850.21/850.52 c 830s| 1370k| 40 | 1691 | 22M|1146 | - |1435 |6203 |4751 | 0 | 0 | 74 | 425k| 46 | 1.136886e+02 | -- | Inf
855.20/855.59 c 834s| 1380k| 66 | 1691 | 22M|1146 | - |1435 |6162 |4008 | 0 | 0 | 74 | 427k| 46 | 1.136886e+02 | -- | Inf
861.21/861.53 c 840s| 1390k| 66 | 1691 | 22M|1146 | - |1435 |6171 |3927 | 0 | 0 | 74 | 430k| 46 | 1.136886e+02 | -- | Inf
867.30/867.65 c 846s| 1400k| 48 | 1691 | 22M|1146 | - |1435 |6179 |4062 | 0 | 0 | 74 | 433k| 46 | 1.136886e+02 | -- | Inf
873.40/873.77 c 852s| 1410k| 806 | 1691 | 23M|1146 | - |1435 |6185 |2825 | 0 | 0 | 74 | 436k| 46 | 1.136886e+02 | -- | Inf
880.30/880.66 c 859s| 1420k| 47 | 1691 | 22M|1146 | - |1435 |6693 |4013 | 0 | 0 | 74 | 441k| 46 | 1.136886e+02 | -- | Inf
885.80/886.18 c 864s| 1430k| 43 | 1691 | 23M|1146 | - |1435 |6921 |3937 | 0 | 0 | 74 | 444k| 46 | 1.136886e+02 | -- | Inf
892.09/892.48 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
892.09/892.48 c 870s| 1440k| 46 | 1691 | 22M|1146 | - |1435 |6233 |3951 | 0 | 0 | 74 | 447k| 46 | 1.136886e+02 | -- | Inf
897.79/898.12 c 876s| 1450k| 53 | 1691 | 22M|1146 | - |1435 |6191 |3866 | 0 | 0 | 74 | 450k| 46 | 1.136886e+02 | -- | Inf
904.49/904.87 c 883s| 1460k| 660 | 1691 | 22M|1146 | - |1435 |6183 |3317 | 0 | 0 | 74 | 454k| 46 | 1.136886e+02 | -- | Inf
910.59/910.99 c 888s| 1470k| 367 | 1691 | 22M|1146 | - |1435 |6147 |3616 | 0 | 0 | 74 | 457k| 46 | 1.136886e+02 | -- | Inf
916.69/917.04 c 894s| 1480k| 924 | 1691 | 23M|1146 | - |1435 |6179 |2971 | 0 | 0 | 74 | 460k| 46 | 1.136886e+02 | -- | Inf
922.89/923.28 c 900s| 1490k| 46 | 1691 | 22M|1146 | - |1435 |6176 |4011 | 0 | 0 | 74 | 464k| 46 | 1.136886e+02 | -- | Inf
928.88/929.23 c 906s| 1500k| 658 | 1691 | 23M|1146 | - |1435 |6214 |3207 | 0 | 0 | 74 | 466k| 46 | 1.136886e+02 | -- | Inf
935.69/936.01 c 913s| 1510k| 42 | 1691 | 22M|1146 | - |1435 |6189 |3986 | 0 | 0 | 74 | 470k| 46 | 1.136886e+02 | -- | Inf
941.38/941.75 c 918s| 1520k| 692 | 1691 | 23M|1146 | - |1435 |6166 |3498 | 0 | 0 | 74 | 473k| 46 | 1.136886e+02 | -- | Inf
947.48/947.81 c 924s| 1530k| 58 | 1691 | 22M|1146 | - |1435 |6159 |4286 | 0 | 0 | 74 | 476k| 46 | 1.136886e+02 | -- | Inf
954.08/954.47 c 931s| 1540k| 109 | 1691 | 22M|1146 | - |1435 |6191 |4072 | 0 | 0 | 74 | 480k| 46 | 1.136886e+02 | -- | Inf
961.27/961.66 c 938s| 1550k| 44 | 1691 | 22M|1146 | - |1435 |6204 |4281 | 0 | 0 | 74 | 485k| 46 | 1.136886e+02 | -- | Inf
968.78/969.11 c 945s| 1560k| 45 | 1691 | 22M|1146 | - |1435 |6252 |4133 | 0 | 0 | 74 | 489k| 46 | 1.136886e+02 | -- | Inf
975.67/976.04 c 952s| 1570k| 623 | 1691 | 23M|1146 | - |1435 |6212 |3410 | 0 | 0 | 74 | 494k| 46 | 1.136886e+02 | -- | Inf
982.56/983.00 c 959s| 1580k| 45 | 1691 | 22M|1146 | - |1435 |6177 |4176 | 0 | 0 | 74 | 498k| 46 | 1.136886e+02 | -- | Inf
990.67/991.09 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
990.67/991.10 c 967s| 1590k| 77 | 1691 | 22M|1146 | - |1435 |6158 |4160 | 0 | 0 | 74 | 503k| 46 | 1.136886e+02 | -- | Inf
997.86/998.21 c 973s| 1600k| 45 | 1691 | 22M|1146 | - |1435 |6190 |4208 | 0 | 0 | 74 | 508k| 46 | 1.136886e+02 | -- | Inf
1005.16/1005.51 c 981s| 1610k| 232 | 1691 | 22M|1146 | - |1435 |6204 |4135 | 0 | 0 | 74 | 512k| 46 | 1.136886e+02 | -- | Inf
1013.05/1013.49 c 988s| 1620k| 39 | 1691 | 22M|1146 | - |1435 |6172 |4246 | 0 | 0 | 74 | 517k| 46 | 1.136886e+02 | -- | Inf
1020.65/1021.05 c 996s| 1630k| 41 | 1691 | 22M|1146 | - |1435 |6177 |4178 | 0 | 0 | 74 | 522k| 46 | 1.136886e+02 | -- | Inf
1028.25/1028.60 c 1003s| 1640k| 64 | 1691 | 22M|1146 | - |1435 |6146 |4246 | 0 | 0 | 74 | 527k| 46 | 1.136886e+02 | -- | Inf
1035.15/1035.52 c 1010s| 1650k| 230 | 1691 | 22M|1146 | - |1435 |6215 |3874 | 0 | 0 | 74 | 531k| 46 | 1.136886e+02 | -- | Inf
1041.14/1041.54 c 1016s| 1660k| 201 | 1691 | 22M|1146 | - |1435 |6187 |4062 | 0 | 0 | 74 | 534k| 46 | 1.136886e+02 | -- | Inf
1047.05/1047.43 c 1021s| 1670k| 588 | 1691 | 23M|1146 | - |1435 |6240 |3484 | 0 | 0 | 74 | 537k| 46 | 1.136886e+02 | -- | Inf
1053.35/1053.76 c 1028s| 1680k| 40 | 1691 | 22M|1146 | - |1435 |6153 |4371 | 0 | 0 | 74 | 541k| 46 | 1.136886e+02 | -- | Inf
1061.24/1061.66 c 1035s| 1690k| 31 | 1691 | 22M|1146 | - |1435 |6193 |4572 | 0 | 0 | 74 | 546k| 46 | 1.136886e+02 | -- | Inf
1067.14/1067.56 c 1041s| 1700k| 52 | 1691 | 22M|1146 | - |1435 |6171 |4104 | 0 | 0 | 74 | 549k| 46 | 1.136886e+02 | -- | Inf
1073.93/1074.36 c 1048s| 1710k| 44 | 1691 | 22M|1146 | - |1435 |6185 |4037 | 0 | 0 | 74 | 552k| 46 | 1.136886e+02 | -- | Inf
1080.94/1081.31 c 1055s| 1720k| 45 | 1691 | 22M|1146 | - |1435 |6252 |3985 | 0 | 0 | 74 | 557k| 46 | 1.136886e+02 | -- | Inf
1087.23/1087.69 c 1061s| 1730k| 52 | 1691 | 22M|1146 | - |1435 |6172 |4230 | 0 | 0 | 74 | 561k| 46 | 1.136886e+02 | -- | Inf
1093.03/1093.43 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1093.03/1093.43 c 1066s| 1740k| 620 | 1691 | 23M|1146 | - |1435 |6229 |3222 | 0 | 0 | 74 | 563k| 46 | 1.136886e+02 | -- | Inf
1099.53/1099.93 c 1073s| 1750k| 51 | 1691 | 22M|1146 | - |1435 |6203 |3952 | 0 | 0 | 74 | 567k| 46 | 1.136886e+02 | -- | Inf
1106.13/1106.55 c 1079s| 1760k| 53 | 1691 | 22M|1146 | - |1435 |6229 |3862 | 0 | 0 | 74 | 571k| 46 | 1.136886e+02 | -- | Inf
1114.72/1115.15 c 1087s| 1770k| 41 | 1691 | 22M|1146 | - |1435 |6197 |4265 | 0 | 0 | 74 | 577k| 46 | 1.136886e+02 | -- | Inf
1121.22/1121.68 c 1094s| 1780k| 68 | 1691 | 22M|1146 | - |1435 |6173 |3927 | 0 | 0 | 74 | 581k| 46 | 1.136886e+02 | -- | Inf
1128.32/1128.72 c 1101s| 1790k| 42 | 1691 | 22M|1146 | - |1435 |6184 |3997 | 0 | 0 | 74 | 585k| 46 | 1.136886e+02 | -- | Inf
1135.32/1135.73 c 1108s| 1800k| 55 | 1691 | 22M|1146 | - |1435 |6166 |4142 | 0 | 0 | 74 | 589k| 46 | 1.136886e+02 | -- | Inf
1142.12/1142.58 c 1114s| 1810k| 70 | 1691 | 22M|1146 | - |1435 |6198 |4017 | 0 | 0 | 74 | 593k| 46 | 1.136886e+02 | -- | Inf
1148.51/1148.97 c 1120s| 1820k| 39 | 1691 | 22M|1146 | - |1435 |6196 |4107 | 0 | 0 | 74 | 597k| 46 | 1.136886e+02 | -- | Inf
1155.51/1156.00 c 1127s| 1830k| 43 | 1691 | 22M|1146 | - |1435 |6200 |4199 | 0 | 0 | 74 | 601k| 46 | 1.136886e+02 | -- | Inf
1161.80/1162.20 c 1133s| 1840k| 43 | 1691 | 22M|1146 | - |1435 |6155 |4670 | 0 | 0 | 74 | 605k| 46 | 1.136886e+02 | -- | Inf
1169.50/1169.95 c 1141s| 1850k| 40 | 1691 | 22M|1146 | - |1435 |6177 |4488 | 0 | 0 | 74 | 610k| 46 | 1.136886e+02 | -- | Inf
1178.20/1178.64 c 1149s| 1860k| 37 | 1691 | 22M|1146 | - |1435 |6179 |4392 | 0 | 0 | 74 | 616k| 46 | 1.136886e+02 | -- | Inf
1183.30/1183.72 c 1154s| 1870k| 72 | 1691 | 22M|1146 | - |1435 |6219 |4094 | 0 | 0 | 74 | 618k| 46 | 1.136886e+02 | -- | Inf
1189.40/1189.84 c 1160s| 1880k| 56 | 1691 | 22M|1146 | - |1435 |6247 |4241 | 0 | 0 | 74 | 621k| 46 | 1.136886e+02 | -- | Inf
1195.50/1195.93 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1195.50/1195.93 c 1166s| 1890k| 43 | 1691 | 22M|1146 | - |1435 |6202 |4295 | 0 | 0 | 74 | 623k| 46 | 1.136886e+02 | -- | Inf
1201.80/1202.22 c 1172s| 1900k| 58 | 1691 | 22M|1146 | - |1435 |6243 |4424 | 0 | 0 | 74 | 626k| 46 | 1.136886e+02 | -- | Inf
1208.09/1208.51 c 1178s| 1910k| 44 | 1691 | 22M|1146 | - |1435 |6291 |4234 | 0 | 0 | 74 | 629k| 46 | 1.136886e+02 | -- | Inf
1215.69/1216.19 c 1186s| 1920k| 78 | 1691 | 22M|1146 | - |1435 |6382 |4238 | 0 | 0 | 74 | 634k| 46 | 1.136886e+02 | -- | Inf
1221.38/1221.89 c 1192s| 1930k| 45 | 1691 | 22M|1146 | - |1435 |6448 |4083 | 0 | 0 | 74 | 637k| 46 | 1.136886e+02 | -- | Inf
1227.38/1227.90 c 1197s| 1940k| 50 | 1691 | 22M|1146 | - |1435 |6517 |4340 | 0 | 0 | 74 | 640k| 46 | 1.136886e+02 | -- | Inf
1233.98/1234.48 c 1204s| 1950k| 103 | 1691 | 22M|1146 | - |1435 |6534 |3732 | 0 | 0 | 74 | 643k| 46 | 1.136886e+02 | -- | Inf
1240.18/1240.61 c 1210s| 1960k| 909 | 1691 | 23M|1146 | - |1435 |6555 |3102 | 0 | 0 | 74 | 646k| 46 | 1.136886e+02 | -- | Inf
1247.67/1248.14 c 1217s| 1970k| 509 | 1691 | 23M|1146 | - |1435 |6229 |3396 | 0 | 0 | 74 | 651k| 46 | 1.136886e+02 | -- | Inf
1255.08/1255.53 c 1224s| 1980k| 45 | 1691 | 22M|1146 | - |1435 |6232 |4452 | 0 | 0 | 74 | 655k| 46 | 1.136886e+02 | -- | Inf
1260.78/1261.28 c 1230s| 1990k| 49 | 1691 | 22M|1146 | - |1435 |6350 |4106 | 0 | 0 | 74 | 658k| 46 | 1.136886e+02 | -- | Inf
1266.87/1267.39 c 1236s| 2000k| 494 | 1691 | 23M|1146 | - |1435 |6438 |3526 | 0 | 0 | 74 | 661k| 46 | 1.136886e+02 | -- | Inf
1273.96/1274.49 c 1243s| 2010k| 381 | 1691 | 22M|1146 | - |1435 |6218 |3344 | 0 | 0 | 74 | 666k| 46 | 1.136886e+02 | -- | Inf
1279.47/1279.97 c 1248s| 2020k| 72 | 1691 | 22M|1146 | - |1435 |6195 |4184 | 0 | 0 | 74 | 668k| 46 | 1.136886e+02 | -- | Inf
1285.86/1286.31 c 1254s| 2030k| 689 | 1691 | 23M|1146 | - |1435 |6199 |3128 | 0 | 0 | 74 | 672k| 46 | 1.136886e+02 | -- | Inf
1292.06/1292.58 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1292.06/1292.58 c 1260s| 2040k| 452 | 1691 | 23M|1146 | - |1435 |6242 |3506 | 0 | 0 | 74 | 675k| 46 | 1.136886e+02 | -- | Inf
1298.56/1299.08 c 1267s| 2050k| 290 | 1691 | 23M|1146 | - |1435 |6499 |3723 | 0 | 0 | 74 | 679k| 46 | 1.136886e+02 | -- | Inf
1305.05/1305.59 c 1273s| 2060k| 80 | 1691 | 22M|1146 | - |1435 |6191 |3983 | 0 | 0 | 74 | 682k| 46 | 1.136886e+02 | -- | Inf
1311.65/1312.15 c 1279s| 2070k| 40 | 1691 | 22M|1146 | - |1435 |6249 |4310 | 0 | 0 | 74 | 686k| 46 | 1.136886e+02 | -- | Inf
1318.05/1318.60 c 1286s| 2080k| 118 | 1691 | 22M|1146 | - |1435 |6206 |4195 | 0 | 0 | 74 | 689k| 46 | 1.136886e+02 | -- | Inf
1324.35/1324.87 c 1292s| 2090k| 43 | 1691 | 22M|1146 | - |1435 |6233 |4226 | 0 | 0 | 74 | 692k| 46 | 1.136886e+02 | -- | Inf
1330.84/1331.34 c 1298s| 2100k| 50 | 1691 | 22M|1146 | - |1435 |6179 |4231 | 0 | 0 | 74 | 696k| 46 | 1.136886e+02 | -- | Inf
1336.95/1337.41 c 1304s| 2110k| 183 | 1691 | 22M|1146 | - |1435 |6211 |4030 | 0 | 0 | 74 | 699k| 46 | 1.136886e+02 | -- | Inf
1343.24/1343.77 c 1310s| 2120k| 55 | 1691 | 22M|1146 | - |1435 |6197 |4352 | 0 | 0 | 74 | 702k| 46 | 1.136886e+02 | -- | Inf
1348.94/1349.40 c 1316s| 2130k| 66 | 1691 | 22M|1146 | - |1435 |6222 |4025 | 0 | 0 | 74 | 705k| 46 | 1.136886e+02 | -- | Inf
1355.34/1355.81 c 1322s| 2140k| 37 | 1691 | 22M|1146 | - |1435 |6240 |4114 | 0 | 0 | 74 | 708k| 46 | 1.136886e+02 | -- | Inf
1361.34/1361.87 c 1328s| 2150k| 672 | 1691 | 23M|1146 | - |1435 |6386 |3134 | 0 | 0 | 74 | 711k| 46 | 1.136886e+02 | -- | Inf
1368.14/1368.68 c 1335s| 2160k| 167 | 1691 | 22M|1146 | - |1435 |6244 |4168 | 0 | 0 | 74 | 715k| 46 | 1.136886e+02 | -- | Inf
1374.73/1375.29 c 1341s| 2170k| 43 | 1691 | 22M|1146 | - |1435 |6431 |4050 | 0 | 0 | 74 | 719k| 46 | 1.136886e+02 | -- | Inf
1381.43/1381.96 c 1347s| 2180k| 88 | 1691 | 22M|1146 | - |1435 |6231 |4093 | 0 | 0 | 74 | 723k| 46 | 1.136886e+02 | -- | Inf
1387.53/1388.04 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1387.53/1388.04 c 1353s| 2190k| 55 | 1691 | 22M|1146 | - |1435 |6212 |4123 | 0 | 0 | 74 | 726k| 46 | 1.136886e+02 | -- | Inf
1393.52/1394.06 c 1359s| 2200k| 851 | 1691 | 23M|1146 | - |1435 |6205 |3153 | 0 | 0 | 74 | 729k| 46 | 1.136886e+02 | -- | Inf
1400.52/1401.02 c 1366s| 2210k| 75 | 1691 | 22M|1146 | - |1435 |6220 |4178 | 0 | 0 | 74 | 733k| 46 | 1.136886e+02 | -- | Inf
1407.32/1407.82 c 1373s| 2220k| 50 | 1691 | 22M|1146 | - |1435 |6153 |4322 | 0 | 0 | 74 | 737k| 46 | 1.136886e+02 | -- | Inf
1415.92/1416.46 c 1381s| 2230k| 36 | 1691 | 22M|1146 | - |1435 |6160 |4374 | 0 | 0 | 74 | 742k| 46 | 1.136886e+02 | -- | Inf
1424.71/1425.25 c 1390s| 2240k| 64 | 1691 | 22M|1146 | - |1435 |6161 |4279 | 0 | 0 | 74 | 749k| 46 | 1.136886e+02 | -- | Inf
1431.51/1432.04 c 1396s| 2250k| 770 | 1691 | 23M|1146 | - |1435 |6189 |3121 | 0 | 0 | 74 | 752k| 46 | 1.136886e+02 | -- | Inf
1438.71/1439.26 c 1403s| 2260k| 51 | 1691 | 22M|1146 | - |1435 |6147 |4418 | 0 | 0 | 74 | 756k| 46 | 1.136886e+02 | -- | Inf
1445.80/1446.35 c 1410s| 2270k| 52 | 1691 | 22M|1146 | - |1435 |6198 |4060 | 0 | 0 | 74 | 761k| 46 | 1.136886e+02 | -- | Inf
1452.30/1452.85 c 1417s| 2280k| 42 | 1691 | 22M|1146 | - |1435 |6221 |3976 | 0 | 0 | 74 | 764k| 46 | 1.136886e+02 | -- | Inf
1459.40/1459.98 c 1424s| 2290k| 38 | 1691 | 22M|1146 | - |1435 |6164 |4379 | 0 | 0 | 74 | 768k| 46 | 1.136886e+02 | -- | Inf
1466.50/1467.04 c 1430s| 2300k| 354 | 1691 | 22M|1146 | - |1435 |6155 |3931 | 0 | 0 | 74 | 772k| 46 | 1.136886e+02 | -- | Inf
1473.59/1474.18 c 1437s| 2310k| 51 | 1691 | 22M|1146 | - |1435 |6211 |4043 | 0 | 0 | 74 | 776k| 46 | 1.136886e+02 | -- | Inf
1480.90/1481.43 c 1444s| 2320k| 39 | 1691 | 22M|1146 | - |1435 |6426 |4247 | 0 | 0 | 74 | 781k| 46 | 1.136886e+02 | -- | Inf
1487.49/1488.07 c 1451s| 2330k| 34 | 1691 | 22M|1146 | - |1435 |6145 |4400 | 0 | 0 | 74 | 785k| 46 | 1.136886e+02 | -- | Inf
1494.58/1495.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1494.58/1495.14 c 1458s| 2340k| 40 | 1691 | 22M|1146 | - |1435 |6162 |4374 | 0 | 0 | 74 | 789k| 46 | 1.136886e+02 | -- | Inf
1501.38/1501.90 c 1464s| 2350k| 44 | 1691 | 22M|1146 | - |1435 |6179 |4143 | 0 | 0 | 74 | 793k| 46 | 1.136886e+02 | -- | Inf
1507.98/1508.57 c 1471s| 2360k| 49 | 1691 | 22M|1146 | - |1435 |6241 |4061 | 0 | 0 | 74 | 796k| 46 | 1.136886e+02 | -- | Inf
1514.67/1515.26 c 1477s| 2370k| 44 | 1691 | 22M|1146 | - |1435 |6171 |4346 | 0 | 0 | 74 | 800k| 46 | 1.136886e+02 | -- | Inf
1521.88/1522.40 c 1484s| 2380k| 48 | 1691 | 22M|1146 | - |1435 |6170 |4247 | 0 | 0 | 74 | 805k| 46 | 1.136886e+02 | -- | Inf
1528.78/1529.32 c 1491s| 2390k| 41 | 1691 | 22M|1146 | - |1435 |6438 |4208 | 0 | 0 | 74 | 809k| 46 | 1.136886e+02 | -- | Inf
1535.37/1535.97 c 1498s| 2400k| 56 | 1691 | 22M|1146 | - |1435 |6156 |3957 | 0 | 0 | 74 | 812k| 46 | 1.136886e+02 | -- | Inf
1542.17/1542.75 c 1504s| 2410k| 55 | 1691 | 22M|1146 | - |1435 |6322 |3896 | 0 | 0 | 74 | 817k| 46 | 1.136886e+02 | -- | Inf
1549.56/1550.18 c 1511s| 2420k| 64 | 1691 | 22M|1146 | - |1435 |6334 |3991 | 0 | 0 | 74 | 822k| 46 | 1.136886e+02 | -- | Inf
1556.46/1557.03 c 1518s| 2430k| 279 | 1691 | 22M|1146 | - |1435 |6194 |3631 | 0 | 0 | 74 | 826k| 46 | 1.136886e+02 | -- | Inf
1564.26/1564.82 c 1526s| 2440k| 38 | 1691 | 22M|1146 | - |1435 |6232 |4417 | 0 | 0 | 74 | 832k| 46 | 1.136886e+02 | -- | Inf
1571.36/1571.92 c 1532s| 2450k| 62 | 1691 | 22M|1146 | - |1435 |6286 |3941 | 0 | 0 | 74 | 835k| 46 | 1.136886e+02 | -- | Inf
1578.56/1579.16 c 1540s| 2460k| 329 | 1691 | 23M|1146 | - |1435 |6278 |3729 | 0 | 0 | 74 | 839k| 46 | 1.136886e+02 | -- | Inf
1585.35/1585.97 c 1546s| 2470k| 50 | 1691 | 22M|1146 | - |1435 |6310 |3951 | 0 | 0 | 74 | 842k| 46 | 1.136886e+02 | -- | Inf
1592.75/1593.32 c 1553s| 2480k| 40 | 1691 | 22M|1146 | - |1435 |6312 |4126 | 0 | 0 | 74 | 847k| 46 | 1.136886e+02 | -- | Inf
1599.45/1600.01 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1599.45/1600.01 c 1560s| 2490k| 56 | 1691 | 22M|1146 | - |1435 |6280 |4129 | 0 | 0 | 74 | 850k| 46 | 1.136886e+02 | -- | Inf
1606.44/1607.09 c 1567s| 2500k| 42 | 1691 | 22M|1146 | - |1435 |6283 |4225 | 0 | 0 | 74 | 854k| 46 | 1.136886e+02 | -- | Inf
1613.94/1614.51 c 1574s| 2510k| 45 | 1691 | 22M|1146 | - |1435 |6274 |4371 | 0 | 0 | 74 | 859k| 46 | 1.136886e+02 | -- | Inf
1620.94/1621.54 c 1581s| 2520k| 40 | 1691 | 22M|1146 | - |1435 |6301 |4183 | 0 | 0 | 74 | 863k| 46 | 1.136886e+02 | -- | Inf
1627.24/1627.89 c 1587s| 2530k| 43 | 1691 | 22M|1146 | - |1435 |6177 |4138 | 0 | 0 | 74 | 866k| 46 | 1.136886e+02 | -- | Inf
1634.33/1634.91 c 1594s| 2540k| 93 | 1691 | 22M|1146 | - |1435 |6200 |3823 | 0 | 0 | 74 | 870k| 46 | 1.136886e+02 | -- | Inf
1641.14/1641.78 c 1601s| 2550k| 108 | 1691 | 22M|1146 | - |1435 |6172 |3732 | 0 | 0 | 74 | 874k| 46 | 1.136886e+02 | -- | Inf
1648.43/1649.04 c 1608s| 2560k| 46 | 1691 | 23M|1146 | - |1435 |6359 |3975 | 0 | 0 | 74 | 879k| 46 | 1.136886e+02 | -- | Inf
1655.72/1656.38 c 1615s| 2570k| 46 | 1691 | 22M|1146 | - |1435 |6206 |4059 | 0 | 0 | 74 | 883k| 46 | 1.136886e+02 | -- | Inf
1663.03/1663.67 c 1622s| 2580k| 42 | 1691 | 22M|1146 | - |1435 |6224 |3984 | 0 | 0 | 74 | 887k| 46 | 1.136886e+02 | -- | Inf
1670.52/1671.12 c 1629s| 2590k| 43 | 1691 | 22M|1146 | - |1435 |6176 |3999 | 0 | 0 | 74 | 892k| 46 | 1.136886e+02 | -- | Inf
1677.72/1678.32 c 1636s| 2600k| 39 | 1691 | 22M|1146 | - |1435 |6170 |4305 | 0 | 0 | 74 | 896k| 46 | 1.136886e+02 | -- | Inf
1684.22/1684.85 c 1642s| 2610k| 56 | 1691 | 22M|1146 | - |1435 |6176 |4038 | 0 | 0 | 74 | 899k| 46 | 1.136886e+02 | -- | Inf
1691.22/1691.89 c 1649s| 2620k| 507 | 1691 | 23M|1146 | - |1435 |6179 |3359 | 0 | 0 | 74 | 903k| 46 | 1.136886e+02 | -- | Inf
1698.02/1698.69 c 1656s| 2630k| 702 | 1691 | 23M|1146 | - |1435 |6184 |3188 | 0 | 0 | 74 | 907k| 46 | 1.136886e+02 | -- | Inf
1705.71/1706.35 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1705.71/1706.35 c 1663s| 2640k| 45 | 1691 | 22M|1146 | - |1435 |6192 |3979 | 0 | 0 | 74 | 911k| 46 | 1.136886e+02 | -- | Inf
1712.30/1712.99 c 1670s| 2650k| 51 | 1691 | 22M|1146 | - |1435 |6199 |4078 | 0 | 0 | 74 | 915k| 46 | 1.136886e+02 | -- | Inf
1719.11/1719.76 c 1676s| 2660k| 44 | 1691 | 22M|1146 | - |1435 |6250 |4203 | 0 | 0 | 74 | 919k| 46 | 1.136886e+02 | -- | Inf
1725.61/1726.23 c 1683s| 2670k| 51 | 1691 | 22M|1146 | - |1435 |6213 |3986 | 0 | 0 | 74 | 923k| 46 | 1.136886e+02 | -- | Inf
1732.40/1733.00 c 1689s| 2680k| 107 | 1691 | 22M|1146 | - |1435 |6170 |4050 | 0 | 0 | 74 | 927k| 46 | 1.136886e+02 | -- | Inf
1738.60/1739.29 c 1695s| 2690k| 43 | 1691 | 22M|1146 | - |1435 |6206 |4062 | 0 | 0 | 74 | 930k| 46 | 1.136886e+02 | -- | Inf
1746.10/1746.73 c 1703s| 2700k| 43 | 1691 | 22M|1146 | - |1435 |6218 |3971 | 0 | 0 | 74 | 935k| 46 | 1.136886e+02 | -- | Inf
1752.59/1753.24 c 1709s| 2710k| 41 | 1691 | 22M|1146 | - |1435 |6165 |4187 | 0 | 0 | 74 | 938k| 46 | 1.136886e+02 | -- | Inf
1759.59/1760.20 c 1716s| 2720k| 51 | 1691 | 22M|1146 | - |1435 |6170 |4076 | 0 | 0 | 74 | 942k| 46 | 1.136886e+02 | -- | Inf
1766.89/1767.55 c 1723s| 2730k| 909 | 1691 | 23M|1146 | - |1435 |6195 |2805 | 0 | 0 | 74 | 947k| 46 | 1.136886e+02 | -- | Inf
1773.08/1773.76 c 1729s| 2740k| 47 | 1691 | 22M|1146 | - |1435 |6216 |3866 | 0 | 0 | 74 | 951k| 46 | 1.136886e+02 | -- | Inf
1779.89/1780.56 c 1736s| 2750k| 76 | 1691 | 22M|1146 | - |1435 |6174 |3880 | 0 | 0 | 74 | 954k| 46 | 1.136886e+02 | -- | Inf
1787.28/1787.99 c 1743s| 2760k| 43 | 1691 | 22M|1146 | - |1435 |6212 |4064 | 0 | 0 | 74 | 959k| 46 | 1.136886e+02 | -- | Inf
1793.98/1794.64 c 1749s| 2770k| 69 | 1691 | 22M|1146 | - |1435 |6219 |3828 | 0 | 0 | 74 | 962k| 46 | 1.136886e+02 | -- | Inf
1800.08/1800.70 c
1800.08/1800.70 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.70 c Solving Time (sec) : 1755.24
1800.08/1800.71 c Solving Nodes : 2778636
1800.08/1800.71 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.08/1800.71 c Dual Bound : +1.13688623123071e+02
1800.08/1800.71 c Gap : infinite
1800.08/1800.71 c NODE 2778636
1800.08/1800.71 c DUAL BOUND 113.689
1800.08/1800.71 c PRIMAL BOUND 1e+20
1800.08/1800.71 c GAP 1e+20
1800.08/1800.71 s UNKNOWN
1800.08/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.71 c Solving Time : 1755.24
1800.08/1800.71 c Original Problem :
1800.08/1800.71 c Problem name : HOME/instance-1884208-1245255950.opb
1800.08/1800.71 c Variables : 1477 (1477 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.71 c Constraints : 7989 initial, 7989 maximal
1800.08/1800.71 c Presolved Problem :
1800.08/1800.71 c Problem name : t_HOME/instance-1884208-1245255950.opb
1800.08/1800.71 c Variables : 1435 (1435 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.71 c Constraints : 6112 initial, 12358 maximal
1800.08/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.71 c dualfix : 0.00 3 0 0 0 0 0 0 0
1800.08/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.71 c probing : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.71 c linear : 1.92 32 7 0 32 0 1818 506 0
1800.08/1800.71 c logicor : 0.27 0 0 0 0 0 59 0 0
1800.08/1800.71 c root node : - 0 - - 0 - - - -
1800.08/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.71 c integral : 0 0 0 1 0 0 0 0 0 2
1800.08/1800.71 c logicor : 6112+ 5 7657841 0 0 743553 17135607 0 0 0
1800.08/1800.71 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.71 c integral : 14.88 0.00 0.00 14.88 0.00
1800.08/1800.71 c logicor : 197.68 0.00 197.68 0.00 0.00
1800.08/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.71 c rootredcost : 3.19 0 0 0
1800.08/1800.71 c pseudoobj : 718.55 12150618 0 0
1800.08/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.71 c propagation : 56.88 743553 743485 743485 25.9 222548 19.1 -
1800.08/1800.71 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.08/1800.71 c applied globally : - - - 966033 24.3 - - -
1800.08/1800.71 c applied locally : - - - 0 0.0 - - -
1800.08/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.71 c cut pool : 0.00 4 - - 8 - (maximal pool size: 1373)
1800.08/1800.71 c redcost : 0.00 5 0 0 0 0
1800.08/1800.71 c impliedbounds : 0.00 5 0 0 0 0
1800.08/1800.71 c intobj : 0.00 0 0 0 0 0
1800.08/1800.71 c gomory : 0.76 5 0 0 2500 0
1800.08/1800.71 c strongcg : 0.65 5 0 0 2500 0
1800.08/1800.71 c cmir : 0.00 0 0 0 0 0
1800.08/1800.71 c flowcover : 0.00 0 0 0 0 0
1800.08/1800.71 c clique : 0.00 5 0 0 30 0
1800.08/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.71 c mcf : 0.02 1 0 0 0 0
1800.08/1800.71 c Pricers : Time Calls Vars
1800.08/1800.71 c problem variables: 0.00 0 0
1800.08/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.71 c relpscost : 14.88 1 0 0 0 0 2
1800.08/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.71 c inference : 597.18 2348652 0 0 0 0 4697304
1800.08/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.71 c random : 0.00 0 0 0 0 0 0
1800.08/1800.71 c Primal Heuristics : Time Calls Found
1800.08/1800.71 c LP solutions : 0.00 - 0
1800.08/1800.71 c pseudo solutions : 0.00 - 0
1800.08/1800.71 c simplerounding : 0.00 0 0
1800.08/1800.71 c rounding : 0.00 0 0
1800.08/1800.71 c shifting : 0.00 0 0
1800.08/1800.71 c intshifting : 0.00 0 0
1800.08/1800.71 c oneopt : 0.00 0 0
1800.08/1800.71 c fixandinfer : 0.00 0 0
1800.08/1800.71 c feaspump : 0.00 0 0
1800.08/1800.71 c coefdiving : 0.00 0 0
1800.08/1800.71 c pscostdiving : 0.00 0 0
1800.08/1800.71 c fracdiving : 0.00 0 0
1800.08/1800.71 c veclendiving : 0.00 0 0
1800.08/1800.71 c intdiving : 0.00 0 0
1800.08/1800.71 c actconsdiving : 0.00 0 0
1800.08/1800.71 c objpscostdiving : 0.00 0 0
1800.08/1800.71 c rootsoldiving : 0.00 0 0
1800.08/1800.71 c linesearchdiving : 0.00 0 0
1800.08/1800.71 c guideddiving : 0.00 0 0
1800.08/1800.71 c octane : 0.00 0 0
1800.08/1800.71 c rens : 0.00 0 0
1800.08/1800.71 c rins : 0.00 0 0
1800.08/1800.71 c localbranching : 0.00 0 0
1800.08/1800.71 c mutation : 0.00 0 0
1800.08/1800.71 c crossover : 0.00 0 0
1800.08/1800.71 c dins : 0.00 0 0
1800.08/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.71 c primal LP : 0.02 0 0 0.00 0.00
1800.08/1800.71 c dual LP : 1.91 6 1691 281.83 885.34
1800.08/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.71 c diving/probing LP: 0.00 0 0 0.00 -
1800.08/1800.71 c strong branching : 14.88 46 11280 245.22 758.06
1800.08/1800.71 c (at root node) : - 46 11280 245.22 -
1800.08/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.71 c B&B Tree :
1800.08/1800.71 c number of runs : 1
1800.08/1800.71 c nodes : 2778636
1800.08/1800.71 c nodes (total) : 2778636
1800.08/1800.71 c nodes left : 48
1800.08/1800.71 c max depth : 1146
1800.08/1800.71 c max depth (total): 1146
1800.08/1800.71 c backtracks : 341626 (12.3%)
1800.08/1800.71 c delayed cutoffs : 1918623
1800.08/1800.71 c repropagations : 3943955 (7919972 domain reductions, 313570 cutoffs)
1800.08/1800.71 c avg switch length: 4.33
1800.08/1800.71 c switching time : 121.35
1800.08/1800.71 c Solution :
1800.08/1800.71 c Solutions found : 0 (0 improvements)
1800.08/1800.71 c Primal Bound : -
1800.08/1800.71 c Dual Bound : +1.13688623123071e+02
1800.08/1800.71 c Gap : infinite
1800.08/1800.71 c Root Dual Bound : +1.13067647058824e+02
1800.08/1800.77 c Time complete: 1800.14.