0.09/0.18 c SCIP version 1.1.0.7
0.09/0.18 c LP-Solver SoPlex 1.4.1
0.09/0.18 c user parameter file <scip.set> not found - using default parameters
0.09/0.18 c read problem <HOME/instance-1884207-1245255949.opb>
0.09/0.18 c original problem has 1477 variables (1477 bin, 0 int, 0 impl, 0 cont) and 7989 constraints
0.20/0.23 c No objective function, only one solution is needed.
0.20/0.23 c start presolving problem
0.20/0.23 c presolving:
0.20/0.29 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.30 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
1.99/2.09 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.29/2.38 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.40 c presolving (5 rounds):
2.39/2.40 c 42 deleted vars, 1877 deleted constraints, 32 tightened bounds, 0 added holes, 506 changed sides, 0 changed coefficients
2.39/2.40 c 1232 implications, 0 cliques
2.39/2.40 c presolved problem has 1435 variables (1435 bin, 0 int, 0 impl, 0 cont) and 6112 constraints
2.39/2.40 c 6112 constraints of type <logicor>
2.39/2.40 c transformed objective value is always integral (scale: 1)
2.39/2.40 c Presolving Time: 2.16
2.39/2.40 c PURESAT
2.39/2.40 c -----------------------------------------------------------------------------------------------
2.39/2.40 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
2.39/2.40 c # [type: int, range: [-1,2147483647], default: 0]
2.39/2.40 c separating/flowcover/freq = c -1
2.39/2.40 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
2.39/2.40 c # [type: int, range: [-1,2147483647], default: 0]
2.39/2.40 c separating/cmir/freq = c -1
2.39/2.40 c # additional number of allowed LP iterations
2.39/2.40 c # [type: int, range: [0,2147483647], default: 1000]
2.39/2.40 c heuristics/veclendiving/maxlpiterofs = c 1500
2.39/2.40 c # maximal fraction of diving LP iterations compared to node LP iterations
2.39/2.40 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.39/2.40 c heuristics/veclendiving/maxlpiterquot = c 0.075
2.39/2.40 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
2.39/2.40 c # [type: int, range: [-1,2147483647], default: 10]
2.39/2.40 c heuristics/veclendiving/freq = c -1
2.39/2.40 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
2.39/2.40 c # [type: int, range: [-1,2147483647], default: 1]
2.39/2.40 c heuristics/simplerounding/freq = c -1
2.39/2.40 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
2.39/2.40 c # [type: int, range: [-1,2147483647], default: 10]
2.39/2.40 c heuristics/shifting/freq = c -1
2.39/2.40 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
2.39/2.40 c # [type: int, range: [-1,2147483647], default: 1]
2.39/2.40 c heuristics/rounding/freq = c -1
2.39/2.40 c # additional number of allowed LP iterations
2.39/2.40 c # [type: int, range: [0,2147483647], default: 1000]
2.39/2.40 c heuristics/rootsoldiving/maxlpiterofs = c 1500
2.39/2.40 c # maximal fraction of diving LP iterations compared to node LP iterations
2.39/2.40 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
2.39/2.40 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
2.39/2.40 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
2.39/2.40 c # [type: int, range: [-1,2147483647], default: 20]
2.39/2.40 c heuristics/rootsoldiving/freq = c -1
2.39/2.40 c # number of nodes added to the contingent of the total nodes
2.39/2.40 c # [type: longint, range: [0,9223372036854775807], default: 500]
2.39/2.40 c heuristics/rens/nodesofs = c 2000
2.39/2.40 c # minimum percentage of integer variables that have to be fixable
2.39/2.40 c # [type: real, range: [0,1], default: 0.5]
2.39/2.40 c heuristics/rens/minfixingrate = c 0.3
2.39/2.40 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
2.39/2.40 c # [type: int, range: [-1,2147483647], default: 0]
2.39/2.40 c heuristics/rens/freq = c -1
2.39/2.40 c # additional number of allowed LP iterations
2.39/2.40 c # [type: int, range: [0,2147483647], default: 1000]
2.39/2.40 c heuristics/pscostdiving/maxlpiterofs = c 1500
2.39/2.40 c # maximal fraction of diving LP iterations compared to node LP iterations
2.39/2.40 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.39/2.40 c heuristics/pscostdiving/maxlpiterquot = c 0.075
2.39/2.40 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
2.39/2.40 c # [type: int, range: [-1,2147483647], default: 10]
2.39/2.40 c heuristics/pscostdiving/freq = c -1
2.39/2.40 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
2.39/2.40 c # [type: int, range: [-1,2147483647], default: 1]
2.39/2.40 c heuristics/oneopt/freq = c -1
2.39/2.40 c # additional number of allowed LP iterations
2.39/2.40 c # [type: int, range: [0,2147483647], default: 1000]
2.39/2.40 c heuristics/objpscostdiving/maxlpiterofs = c 1500
2.39/2.40 c # maximal fraction of diving LP iterations compared to total iteration number
2.39/2.40 c # [type: real, range: [0,1], default: 0.01]
2.39/2.40 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
2.39/2.40 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
2.39/2.40 c # [type: int, range: [-1,2147483647], default: 20]
2.39/2.40 c heuristics/objpscostdiving/freq = c -1
2.39/2.40 c # additional number of allowed LP iterations
2.39/2.40 c # [type: int, range: [0,2147483647], default: 1000]
2.39/2.40 c heuristics/linesearchdiving/maxlpiterofs = c 1500
2.39/2.40 c # maximal fraction of diving LP iterations compared to node LP iterations
2.39/2.40 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.39/2.40 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
2.39/2.40 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
2.39/2.40 c # [type: int, range: [-1,2147483647], default: 10]
2.39/2.40 c heuristics/linesearchdiving/freq = c -1
2.39/2.40 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
2.39/2.40 c # [type: int, range: [-1,2147483647], default: 10]
2.39/2.40 c heuristics/intshifting/freq = c -1
2.39/2.40 c # maximal fraction of diving LP iterations compared to node LP iterations
2.39/2.40 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.39/2.40 c heuristics/intdiving/maxlpiterquot = c 0.075
2.39/2.40 c # additional number of allowed LP iterations
2.39/2.40 c # [type: int, range: [0,2147483647], default: 1000]
2.39/2.40 c heuristics/guideddiving/maxlpiterofs = c 1500
2.39/2.40 c # maximal fraction of diving LP iterations compared to node LP iterations
2.39/2.40 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.39/2.40 c heuristics/guideddiving/maxlpiterquot = c 0.075
2.39/2.40 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
2.39/2.40 c # [type: int, range: [-1,2147483647], default: 10]
2.39/2.40 c heuristics/guideddiving/freq = c -1
2.39/2.40 c # additional number of allowed LP iterations
2.39/2.40 c # [type: int, range: [0,2147483647], default: 1000]
2.39/2.40 c heuristics/fracdiving/maxlpiterofs = c 1500
2.39/2.40 c # maximal fraction of diving LP iterations compared to node LP iterations
2.39/2.40 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.39/2.40 c heuristics/fracdiving/maxlpiterquot = c 0.075
2.39/2.40 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
2.39/2.40 c # [type: int, range: [-1,2147483647], default: 10]
2.39/2.40 c heuristics/fracdiving/freq = c -1
2.39/2.40 c # additional number of allowed LP iterations
2.39/2.40 c # [type: int, range: [0,2147483647], default: 1000]
2.39/2.40 c heuristics/feaspump/maxlpiterofs = c 2000
2.39/2.40 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
2.39/2.40 c # [type: int, range: [-1,2147483647], default: 20]
2.39/2.40 c heuristics/feaspump/freq = c -1
2.39/2.40 c # minimum percentage of integer variables that have to be fixed
2.39/2.40 c # [type: real, range: [0,1], default: 0.666]
2.39/2.40 c heuristics/crossover/minfixingrate = c 0.5
2.39/2.40 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
2.39/2.40 c # [type: real, range: [0,1], default: 0.1]
2.39/2.40 c heuristics/crossover/nodesquot = c 0.15
2.39/2.40 c # number of nodes without incumbent change that heuristic should wait
2.39/2.40 c # [type: longint, range: [0,9223372036854775807], default: 200]
2.39/2.40 c heuristics/crossover/nwaitingnodes = c 100
2.39/2.40 c # number of nodes added to the contingent of the total nodes
2.39/2.40 c # [type: longint, range: [0,9223372036854775807], default: 500]
2.39/2.40 c heuristics/crossover/nodesofs = c 750
2.39/2.40 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
2.39/2.40 c # [type: int, range: [-1,2147483647], default: 30]
2.39/2.40 c heuristics/crossover/freq = c -1
2.39/2.40 c # additional number of allowed LP iterations
2.39/2.40 c # [type: int, range: [0,2147483647], default: 1000]
2.39/2.40 c heuristics/coefdiving/maxlpiterofs = c 1500
2.39/2.40 c # maximal fraction of diving LP iterations compared to node LP iterations
2.39/2.40 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.39/2.40 c heuristics/coefdiving/maxlpiterquot = c 0.075
2.39/2.40 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
2.39/2.40 c # [type: int, range: [-1,2147483647], default: 10]
2.39/2.40 c heuristics/coefdiving/freq = c -1
2.39/2.40 c # priority of node selection rule <dfs> in standard mode
2.39/2.40 c # [type: int, range: [-536870912,536870911], default: 0]
2.39/2.40 c nodeselection/dfs/stdpriority = c 1000000
2.39/2.40 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
2.39/2.40 c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.40 c presolving/probing/maxrounds = c 0
2.39/2.40 c # should presolving try to simplify knapsacks
2.39/2.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.40 c constraints/knapsack/simplifyinequalities = c TRUE
2.39/2.40 c # should disaggregation of knapsack constraints be allowed in preprocessing?
2.39/2.40 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
2.39/2.40 c constraints/knapsack/disaggregation = c FALSE
2.39/2.40 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
2.39/2.41 c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.41 c constraints/knapsack/maxnumcardlift = c 0
2.39/2.41 c # should presolving try to simplify inequalities
2.39/2.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.41 c constraints/linear/simplifyinequalities = c TRUE
2.39/2.41 c # maximal number of separation rounds in the root node (-1: unlimited)
2.39/2.41 c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.41 c separating/maxroundsroot = c 5
2.39/2.41 c # maximal number of separation rounds per node (-1: unlimited)
2.39/2.41 c # [type: int, range: [-1,2147483647], default: 5]
2.39/2.41 c separating/maxrounds = c 1
2.39/2.41 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.41 c # [type: char, range: {lafpsqd}, default: l]
2.39/2.41 c lp/pricing = c a
2.39/2.41 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.39/2.41 c # [type: int, range: [-1,2147483647], default: 1]
2.39/2.41 c lp/solvefreq = c 0
2.39/2.41 c # solving stops, if the given number of solutions were found (-1: no limit)
2.39/2.41 c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.41 c limits/solutions = c 1
2.39/2.41 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.39/2.41 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.41 c limits/memory = c 1620
2.39/2.41 c # maximal time in seconds to run
2.39/2.41 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.41 c limits/time = c 1791
2.39/2.41 c # frequency for displaying node information lines
2.39/2.41 c # [type: int, range: [-1,2147483647], default: 100]
2.39/2.41 c display/freq = c 10000
2.39/2.41 c # should enforcement of pseudo solution be disabled?
2.39/2.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.41 c constraints/disableenfops = c TRUE
2.39/2.41 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.39/2.41 c # [type: int, range: [-1,2147483647], default: 0]
2.39/2.41 c constraints/agelimit = c 1
2.39/2.41 c # should binary conflicts be preferred?
2.39/2.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.41 c conflict/preferbinary = c TRUE
2.39/2.41 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.39/2.41 c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.41 c conflict/interconss = c 0
2.39/2.41 c -----------------------------------------------------------------------------------------------
2.39/2.41 c start solving problem
2.39/2.41 c
2.49/2.53 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.49/2.53 c 2.3s| 1 | 0 | 187 | 14M| 0 | 126 |1435 |6112 |6112 |1435 |6112 | 0 | 0 | 0 | 8.912500e+01 | -- | Inf
2.89/2.90 c 2.7s| 1 | 0 | 406 | 14M| 0 | 138 |1435 |6112 |6112 |1435 |6140 | 28 | 0 | 0 | 1.057292e+02 | -- | Inf
3.39/3.46 c 3.2s| 1 | 0 | 657 | 16M| 0 | 134 |1435 |6112 |6112 |1435 |6151 | 39 | 0 | 0 | 1.093157e+02 | -- | Inf
4.09/4.14 c 3.9s| 1 | 0 | 1003 | 18M| 0 | 141 |1435 |6112 |6112 |1435 |6161 | 49 | 0 | 0 | 1.110015e+02 | -- | Inf
5.79/5.85 c 5.6s| 1 | 0 | 1275 | 20M| 0 | 134 |1435 |6112 |6112 |1435 |6172 | 60 | 0 | 0 | 1.125788e+02 | -- | Inf
6.49/6.53 c 6.3s| 1 | 0 | 1466 | 22M| 0 | 147 |1435 |6112 |6112 |1435 |6183 | 71 | 0 | 0 | 1.134732e+02 | -- | Inf
10.08/10.20 c 9.9s| 1 | 2 | 1466 | 22M| 0 | 147 |1435 |6112 |6112 |1435 |6183 | 71 | 0 | 18 | 1.134732e+02 | -- | Inf
15.38/15.47 c 15.1s| 10000 | 51 | 1466 | 23M| 728 | - |1435 |6130 |4647 | 0 | 0 | 71 |2370 | 18 | 1.140739e+02 | -- | Inf
21.18/21.22 c 20.7s| 20000 | 49 | 1466 | 23M| 728 | - |1435 |6141 |4499 | 0 | 0 | 71 |5829 | 18 | 1.140739e+02 | -- | Inf
26.78/26.86 c 26.2s| 30000 | 87 | 1466 | 23M| 744 | - |1435 |6293 |4088 | 0 | 0 | 71 |9208 | 18 | 1.140739e+02 | -- | Inf
32.18/32.22 c 31.4s| 40000 | 60 | 1466 | 23M| 780 | - |1435 |6160 |4246 | 0 | 0 | 71 | 12k| 18 | 1.140739e+02 | -- | Inf
38.96/39.04 c 38.0s| 50000 | 44 | 1466 | 23M| 780 | - |1435 |6155 |4448 | 0 | 0 | 71 | 17k| 18 | 1.140739e+02 | -- | Inf
44.45/44.59 c 43.4s| 60000 | 70 | 1466 | 23M| 894 | - |1435 |6244 |4399 | 0 | 0 | 71 | 20k| 18 | 1.140739e+02 | -- | Inf
50.65/50.74 c 49.5s| 70000 | 94 | 1466 | 23M| 894 | - |1435 |6427 |4129 | 0 | 0 | 71 | 24k| 18 | 1.140739e+02 | -- | Inf
56.25/56.38 c 54.9s| 80000 | 53 | 1466 | 23M| 894 | - |1435 |6686 |4133 | 0 | 0 | 71 | 27k| 18 | 1.140739e+02 | -- | Inf
62.84/62.97 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.84/62.97 c 61.4s| 90000 | 264 | 1466 | 24M| 946 | - |1435 |6925 |3432 | 0 | 0 | 71 | 32k| 18 | 1.140739e+02 | -- | Inf
68.74/68.83 c 67.0s|100000 | 47 | 1466 | 24M| 987 | - |1435 |7022 |4475 | 0 | 0 | 71 | 36k| 18 | 1.140739e+02 | -- | Inf
74.13/74.25 c 72.4s|110000 | 38 | 1466 | 24M|1044 | - |1435 |7357 |4280 | 0 | 0 | 71 | 39k| 18 | 1.140739e+02 | -- | Inf
78.63/78.78 c 76.8s|120000 | 491 | 1466 | 24M|1044 | - |1435 |7445 |3589 | 0 | 0 | 71 | 41k| 18 | 1.140739e+02 | -- | Inf
84.13/84.24 c 82.1s|130000 | 51 | 1466 | 24M|1044 | - |1435 |7820 |4156 | 0 | 0 | 71 | 45k| 18 | 1.140739e+02 | -- | Inf
89.43/89.56 c 87.3s|140000 | 224 | 1466 | 24M|1095 | - |1435 |8089 |3944 | 0 | 0 | 71 | 48k| 18 | 1.140739e+02 | -- | Inf
94.33/94.43 c 92.1s|150000 | 277 | 1466 | 24M|1095 | - |1435 |8245 |3948 | 0 | 0 | 71 | 51k| 18 | 1.140739e+02 | -- | Inf
99.43/99.56 c 97.1s|160000 | 49 | 1466 | 24M|1124 | - |1435 |8435 |4302 | 0 | 0 | 71 | 54k| 18 | 1.140739e+02 | -- | Inf
104.92/105.03 c 102s|170000 | 48 | 1466 | 24M|1124 | - |1435 |8750 |4132 | 0 | 0 | 71 | 58k| 18 | 1.140739e+02 | -- | Inf
109.72/109.88 c 107s|180000 | 57 | 1466 | 24M|1124 | - |1435 |8978 |3562 | 0 | 0 | 71 | 61k| 18 | 1.140739e+02 | -- | Inf
114.92/115.08 c 112s|190000 | 232 | 1466 | 24M|1124 | - |1435 |9279 |3579 | 0 | 0 | 71 | 65k| 18 | 1.140739e+02 | -- | Inf
120.72/120.85 c 118s|200000 | 46 | 1466 | 24M|1124 | - |1435 |9346 |3840 | 0 | 0 | 71 | 68k| 18 | 1.140739e+02 | -- | Inf
126.02/126.15 c 123s|210000 | 636 | 1466 | 25M|1124 | - |1435 |9598 |2826 | 0 | 0 | 71 | 71k| 18 | 1.140739e+02 | -- | Inf
131.71/131.80 c 129s|220000 | 58 | 1466 | 24M|1134 | - |1435 |9756 |3787 | 0 | 0 | 71 | 75k| 18 | 1.140739e+02 | -- | Inf
136.81/136.95 c 134s|230000 | 61 | 1466 | 25M|1134 | - |1435 |9946 |3488 | 0 | 0 | 71 | 78k| 18 | 1.140739e+02 | -- | Inf
142.51/142.64 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
142.51/142.64 c 139s|240000 | 585 | 1466 | 25M|1134 | - |1435 | 10k|2423 | 0 | 0 | 71 | 81k| 18 | 1.140739e+02 | -- | Inf
146.91/147.08 c 143s|250000 | 51 | 1466 | 25M|1134 | - |1435 | 10k|3623 | 0 | 0 | 71 | 84k| 18 | 1.140739e+02 | -- | Inf
151.71/151.82 c 148s|260000 | 52 | 1466 | 25M|1134 | - |1435 | 10k|3821 | 0 | 0 | 71 | 86k| 18 | 1.140739e+02 | -- | Inf
156.41/156.52 c 153s|270000 | 78 | 1466 | 25M|1134 | - |1435 | 10k|3704 | 0 | 0 | 71 | 89k| 18 | 1.140739e+02 | -- | Inf
161.60/161.74 c 158s|280000 | 66 | 1466 | 25M|1134 | - |1435 | 10k|3726 | 0 | 0 | 71 | 92k| 18 | 1.140739e+02 | -- | Inf
166.50/166.64 c 163s|290000 | 45 | 1466 | 25M|1134 | - |1435 | 11k|3811 | 0 | 0 | 71 | 95k| 18 | 1.140739e+02 | -- | Inf
170.70/170.80 c 167s|300000 | 965 | 1466 | 25M|1134 | - |1435 | 11k|2364 | 0 | 0 | 71 | 96k| 18 | 1.140739e+02 | -- | Inf
177.10/177.26 c 173s|310000 | 548 | 1466 | 25M|1134 | - |1435 | 11k|3011 | 0 | 0 | 71 | 101k| 18 | 1.140739e+02 | -- | Inf
181.70/181.82 c 177s|320000 | 42 | 1466 | 25M|1134 | - |1435 | 11k|3660 | 0 | 0 | 71 | 103k| 18 | 1.140739e+02 | -- | Inf
187.80/187.96 c 183s|330000 | 716 | 1466 | 25M|1134 | - |1435 | 11k|2923 | 0 | 0 | 71 | 107k| 18 | 1.140739e+02 | -- | Inf
192.00/192.10 c 187s|340000 | 43 | 1466 | 25M|1134 | - |1435 | 11k|4049 | 0 | 0 | 71 | 108k| 18 | 1.140739e+02 | -- | Inf
196.38/196.51 c 192s|350000 | 158 | 1466 | 25M|1134 | - |1435 | 11k|3375 | 0 | 0 | 71 | 110k| 18 | 1.140739e+02 | -- | Inf
202.68/202.86 c 198s|360000 | 272 | 1466 | 25M|1134 | - |1435 | 11k|3522 | 0 | 0 | 71 | 115k| 18 | 1.140739e+02 | -- | Inf
207.58/207.75 c 203s|370000 | 39 | 1466 | 25M|1134 | - |1435 | 12k|3713 | 0 | 0 | 71 | 117k| 18 | 1.140739e+02 | -- | Inf
211.27/211.43 c 206s|380000 | 813 | 1466 | 25M|1134 | - |1435 | 12k|2416 | 0 | 0 | 71 | 119k| 18 | 1.140739e+02 | -- | Inf
215.87/216.04 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
215.87/216.04 c 211s|390000 | 349 | 1466 | 25M|1134 | - |1435 | 12k|3183 | 0 | 0 | 71 | 121k| 18 | 1.140739e+02 | -- | Inf
220.37/220.54 c 215s|400000 | 58 | 1466 | 25M|1134 | - |1435 | 12k|3522 | 0 | 0 | 71 | 123k| 18 | 1.140739e+02 | -- | Inf
225.27/225.42 c 220s|410000 | 841 | 1466 | 26M|1134 | - |1435 | 12k|2754 | 0 | 0 | 71 | 125k| 18 | 1.140739e+02 | -- | Inf
230.36/230.53 c 225s|420000 | 115 | 1466 | 25M|1134 | - |1435 | 12k|4033 | 0 | 0 | 71 | 128k| 18 | 1.140739e+02 | -- | Inf
234.77/234.93 c 229s|430000 | 461 | 1466 | 26M|1134 | - |1435 | 13k|2873 | 0 | 0 | 71 | 130k| 18 | 1.140739e+02 | -- | Inf
240.36/240.50 c 235s|440000 | 69 | 1466 | 26M|1134 | - |1435 | 13k|4297 | 0 | 0 | 71 | 134k| 18 | 1.140739e+02 | -- | Inf
245.76/245.93 c 240s|450000 | 776 | 1466 | 26M|1134 | - |1435 | 13k|2913 | 0 | 0 | 71 | 137k| 18 | 1.140739e+02 | -- | Inf
250.75/250.97 c 245s|460000 | 44 | 1466 | 26M|1134 | - |1435 | 13k|3915 | 0 | 0 | 71 | 140k| 18 | 1.140739e+02 | -- | Inf
256.36/256.59 c 250s|470000 | 44 | 1466 | 26M|1134 | - |1435 | 13k|4291 | 0 | 0 | 71 | 143k| 18 | 1.140739e+02 | -- | Inf
263.26/263.46 c 257s|480000 | 42 | 1466 | 26M|1134 | - |1435 | 14k|4088 | 0 | 0 | 71 | 148k| 18 | 1.140739e+02 | -- | Inf
268.86/269.02 c 262s|490000 | 509 | 1466 | 26M|1134 | - |1435 | 14k|3077 | 0 | 0 | 71 | 152k| 18 | 1.140739e+02 | -- | Inf
275.35/275.54 c 269s|500000 | 126 | 1466 | 26M|1134 | - |1435 | 14k|3852 | 0 | 0 | 71 | 156k| 18 | 1.140739e+02 | -- | Inf
281.46/281.65 c 275s|510000 | 46 | 1466 | 26M|1134 | - |1435 | 15k|4080 | 0 | 0 | 71 | 160k| 18 | 1.140739e+02 | -- | Inf
287.64/287.85 c 281s|520000 | 46 | 1466 | 26M|1134 | - |1435 | 15k|4472 | 0 | 0 | 71 | 163k| 18 | 1.140739e+02 | -- | Inf
292.14/292.34 c 285s|530000 | 214 | 1466 | 26M|1134 | - |1435 | 15k|3576 | 0 | 0 | 71 | 165k| 18 | 1.140739e+02 | -- | Inf
298.04/298.26 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
298.04/298.26 c 291s|540000 | 579 | 1466 | 26M|1134 | - |1435 | 15k|3179 | 0 | 0 | 71 | 169k| 18 | 1.140739e+02 | -- | Inf
303.54/303.75 c 296s|550000 | 52 | 1466 | 26M|1134 | - |1435 | 16k|3941 | 0 | 0 | 71 | 173k| 18 | 1.140739e+02 | -- | Inf
308.74/308.94 c 301s|560000 | 536 | 1466 | 27M|1134 | - |1435 | 16k|3110 | 0 | 0 | 71 | 175k| 18 | 1.140739e+02 | -- | Inf
313.34/313.51 c 306s|570000 | 60 | 1466 | 27M|1134 | - |1435 | 16k|3792 | 0 | 0 | 71 | 177k| 18 | 1.140739e+02 | -- | Inf
319.33/319.59 c 312s|580000 | 56 | 1466 | 27M|1134 | - |1435 | 16k|3677 | 0 | 0 | 71 | 181k| 18 | 1.140739e+02 | -- | Inf
325.53/325.79 c 318s|590000 | 56 | 1466 | 27M|1134 | - |1435 | 17k|3794 | 0 | 0 | 71 | 185k| 18 | 1.140739e+02 | -- | Inf
330.93/331.16 c 323s|600000 | 865 | 1466 | 27M|1134 | - |1435 | 17k|2457 | 0 | 0 | 71 | 188k| 18 | 1.140739e+02 | -- | Inf
337.53/337.73 c 329s|610000 | 47 | 1466 | 27M|1134 | - |1435 | 17k|3797 | 0 | 0 | 71 | 192k| 18 | 1.140739e+02 | -- | Inf
343.03/343.25 c 335s|620000 | 286 | 1466 | 27M|1134 | - |1435 | 17k|3485 | 0 | 0 | 71 | 195k| 18 | 1.140739e+02 | -- | Inf
348.52/348.77 c 340s|630000 | 1021 | 1466 | 27M|1134 | - |1435 | 17k|2223 | 0 | 0 | 71 | 198k| 18 | 1.140739e+02 | -- | Inf
355.12/355.38 c 347s|640000 | 802 | 1466 | 27M|1134 | - |1435 | 18k|2761 | 0 | 0 | 71 | 203k| 18 | 1.140739e+02 | -- | Inf
361.22/361.40 c 352s|650000 | 52 | 1466 | 27M|1134 | - |1435 | 18k|3915 | 0 | 0 | 71 | 206k| 18 | 1.140739e+02 | -- | Inf
367.12/367.37 c 358s|660000 | 43 | 1466 | 27M|1134 | - |1435 | 18k|3717 | 0 | 0 | 71 | 210k| 18 | 1.140739e+02 | -- | Inf
373.11/373.31 c 364s|670000 | 45 | 1466 | 27M|1134 | - |1435 | 19k|3711 | 0 | 0 | 71 | 213k| 18 | 1.140739e+02 | -- | Inf
379.01/379.29 c 370s|680000 | 47 | 1466 | 27M|1134 | - |1435 | 19k|3681 | 0 | 0 | 71 | 217k| 18 | 1.140739e+02 | -- | Inf
384.81/385.07 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
384.81/385.07 c 376s|690000 | 49 | 1466 | 27M|1134 | - |1435 | 19k|3976 | 0 | 0 | 71 | 220k| 18 | 1.140739e+02 | -- | Inf
391.60/391.87 c 382s|700000 | 48 | 1466 | 28M|1134 | - |1435 | 19k|3717 | 0 | 0 | 71 | 224k| 18 | 1.140739e+02 | -- | Inf
398.20/398.44 c 389s|710000 | 42 | 1466 | 28M|1134 | - |1435 | 19k|4145 | 0 | 0 | 71 | 228k| 18 | 1.140739e+02 | -- | Inf
403.90/404.15 c 394s|720000 | 51 | 1466 | 28M|1134 | - |1435 | 20k|3935 | 0 | 0 | 71 | 232k| 18 | 1.140739e+02 | -- | Inf
409.50/409.77 c 400s|730000 | 57 | 1466 | 28M|1134 | - |1435 | 20k|3844 | 0 | 0 | 71 | 235k| 18 | 1.140739e+02 | -- | Inf
415.89/416.17 c 406s|740000 | 53 | 1466 | 28M|1134 | - |1435 | 20k|4042 | 0 | 0 | 71 | 239k| 18 | 1.140739e+02 | -- | Inf
421.79/422.03 c 412s|750000 | 46 | 1466 | 28M|1134 | - |1435 | 20k|3837 | 0 | 0 | 71 | 243k| 18 | 1.140739e+02 | -- | Inf
427.89/428.14 c 417s|760000 | 53 | 1466 | 28M|1134 | - |1435 | 21k|3949 | 0 | 0 | 71 | 247k| 18 | 1.140739e+02 | -- | Inf
433.79/434.01 c 423s|770000 | 280 | 1466 | 28M|1134 | - |1435 | 21k|3419 | 0 | 0 | 71 | 251k| 18 | 1.140739e+02 | -- | Inf
438.69/438.99 c 428s|780000 | 51 | 1466 | 28M|1134 | - |1435 | 21k|3585 | 0 | 0 | 71 | 253k| 18 | 1.140739e+02 | -- | Inf
445.09/445.34 c 434s|790000 | 48 | 1466 | 28M|1134 | - |1435 | 22k|3878 | 0 | 0 | 71 | 257k| 18 | 1.140739e+02 | -- | Inf
451.59/451.85 c 441s|800000 | 48 | 1466 | 28M|1134 | - |1435 | 22k|3842 | 0 | 0 | 71 | 262k| 18 | 1.140739e+02 | -- | Inf
457.39/457.63 c 446s|810000 | 89 | 1466 | 28M|1134 | - |1435 | 22k|3568 | 0 | 0 | 71 | 266k| 18 | 1.140739e+02 | -- | Inf
464.38/464.67 c 453s|820000 | 125 | 1466 | 28M|1134 | - |1435 | 22k|3466 | 0 | 0 | 71 | 271k| 18 | 1.140739e+02 | -- | Inf
470.97/471.23 c 460s|830000 | 43 | 1466 | 29M|1134 | - |1435 | 23k|3644 | 0 | 0 | 71 | 276k| 18 | 1.140739e+02 | -- | Inf
476.57/476.85 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
476.57/476.85 c 465s|840000 | 769 | 1466 | 29M|1134 | - |1435 | 23k|2823 | 0 | 0 | 71 | 279k| 18 | 1.140739e+02 | -- | Inf
482.57/482.80 c 471s|850000 | 44 | 1466 | 29M|1134 | - |1435 | 23k|3835 | 0 | 0 | 71 | 283k| 18 | 1.140739e+02 | -- | Inf
489.37/489.60 c 477s|860000 | 206 | 1466 | 29M|1134 | - |1435 | 24k|3525 | 0 | 0 | 71 | 288k| 18 | 1.140739e+02 | -- | Inf
494.77/495.03 c 483s|870000 | 208 | 1466 | 29M|1134 | - |1435 | 24k|3569 | 0 | 0 | 71 | 291k| 18 | 1.140739e+02 | -- | Inf
500.47/500.73 c 488s|880000 | 52 | 1466 | 29M|1134 | - |1435 | 24k|3468 | 0 | 0 | 71 | 294k| 18 | 1.140739e+02 | -- | Inf
506.56/506.86 c 494s|890000 | 207 | 1466 | 29M|1134 | - |1435 | 25k|3631 | 0 | 0 | 71 | 298k| 18 | 1.140739e+02 | -- | Inf
511.96/512.26 c 499s|900000 | 38 | 1466 | 29M|1134 | - |1435 | 25k|3833 | 0 | 0 | 71 | 302k| 18 | 1.140739e+02 | -- | Inf
517.56/517.82 c 505s|910000 | 52 | 1466 | 29M|1134 | - |1435 | 25k|4506 | 0 | 0 | 71 | 305k| 18 | 1.140739e+02 | -- | Inf
522.96/523.27 c 510s|920000 | 47 | 1466 | 29M|1134 | - |1435 | 25k|4334 | 0 | 0 | 71 | 308k| 18 | 1.140739e+02 | -- | Inf
529.25/529.58 c 516s|930000 | 50 | 1466 | 29M|1134 | - |1435 | 26k|4214 | 0 | 0 | 71 | 313k| 18 | 1.140739e+02 | -- | Inf
534.55/534.83 c 522s|940000 | 78 | 1466 | 30M|1134 | - |1435 | 26k|4301 | 0 | 0 | 71 | 316k| 18 | 1.140739e+02 | -- | Inf
540.05/540.34 c 527s|950000 | 54 | 1466 | 30M|1134 | - |1435 | 26k|4458 | 0 | 0 | 71 | 319k| 18 | 1.140739e+02 | -- | Inf
546.15/546.46 c 533s|960000 | 48 | 1466 | 30M|1134 | - |1435 | 27k|4233 | 0 | 0 | 71 | 323k| 18 | 1.140739e+02 | -- | Inf
551.45/551.74 c 538s|970000 | 83 | 1466 | 30M|1134 | - |1435 | 27k|4010 | 0 | 0 | 71 | 326k| 18 | 1.140739e+02 | -- | Inf
557.54/557.85 c 544s|980000 | 718 | 1466 | 30M|1134 | - |1435 | 27k|3317 | 0 | 0 | 71 | 330k| 18 | 1.140739e+02 | -- | Inf
563.14/563.44 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
563.14/563.44 c 549s|990000 | 52 | 1466 | 30M|1134 | - |1435 | 27k|4228 | 0 | 0 | 71 | 333k| 18 | 1.140739e+02 | -- | Inf
568.74/569.08 c 555s| 1000k| 42 | 1466 | 30M|1134 | - |1435 | 27k|4154 | 0 | 0 | 71 | 336k| 18 | 1.140739e+02 | -- | Inf
574.73/575.07 c 561s| 1010k| 38 | 1466 | 30M|1134 | - |1435 | 28k|4232 | 0 | 0 | 71 | 340k| 18 | 1.140739e+02 | -- | Inf
580.23/580.50 c 566s| 1020k| 38 | 1466 | 30M|1134 | - |1435 | 28k|4140 | 0 | 0 | 71 | 343k| 18 | 1.140739e+02 | -- | Inf
585.83/586.14 c 572s| 1030k| 47 | 1466 | 30M|1134 | - |1435 | 28k|4409 | 0 | 0 | 71 | 346k| 18 | 1.140739e+02 | -- | Inf
591.62/591.96 c 577s| 1040k| 860 | 1466 | 30M|1134 | - |1435 | 28k|3069 | 0 | 0 | 71 | 350k| 18 | 1.140739e+02 | -- | Inf
598.32/598.60 c 584s| 1050k| 413 | 1466 | 30M|1134 | - |1435 | 29k|3820 | 0 | 0 | 71 | 354k| 18 | 1.140739e+02 | -- | Inf
604.63/604.99 c 590s| 1060k| 42 | 1466 | 30M|1134 | - |1435 | 29k|4153 | 0 | 0 | 71 | 358k| 18 | 1.140739e+02 | -- | Inf
610.52/610.83 c 596s| 1070k| 56 | 1466 | 31M|1134 | - |1435 | 29k|3984 | 0 | 0 | 71 | 362k| 18 | 1.140739e+02 | -- | Inf
616.41/616.79 c 601s| 1080k| 43 | 1466 | 31M|1134 | - |1435 | 30k|4082 | 0 | 0 | 71 | 366k| 18 | 1.140739e+02 | -- | Inf
622.41/622.72 c 607s| 1090k| 545 | 1466 | 31M|1134 | - |1435 | 30k|3236 | 0 | 0 | 71 | 370k| 18 | 1.140739e+02 | -- | Inf
629.02/629.39 c 614s| 1100k| 41 | 1466 | 31M|1134 | - |1435 | 31k|4191 | 0 | 0 | 71 | 376k| 18 | 1.140739e+02 | -- | Inf
634.71/635.09 c 619s| 1110k| 41 | 1466 | 31M|1134 | - |1435 | 31k|4129 | 0 | 0 | 71 | 379k| 18 | 1.140739e+02 | -- | Inf
640.82/641.20 c 625s| 1120k| 41 | 1466 | 31M|1134 | - |1435 | 31k|3974 | 0 | 0 | 71 | 384k| 18 | 1.140739e+02 | -- | Inf
646.50/646.86 c 631s| 1130k| 545 | 1466 | 31M|1134 | - |1435 | 31k|3221 | 0 | 0 | 71 | 387k| 18 | 1.140739e+02 | -- | Inf
652.69/653.00 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
652.69/653.00 c 637s| 1140k| 249 | 1466 | 31M|1134 | - |1435 | 32k|3348 | 0 | 0 | 71 | 391k| 18 | 1.140739e+02 | -- | Inf
659.09/659.48 c 643s| 1150k| 972 | 1466 | 32M|1134 | - |1435 | 32k|2454 | 0 | 0 | 71 | 395k| 18 | 1.140739e+02 | -- | Inf
665.98/666.31 c 650s| 1160k| 49 | 1466 | 31M|1134 | - |1435 | 32k|3729 | 0 | 0 | 71 | 400k| 18 | 1.140739e+02 | -- | Inf
671.79/672.15 c 655s| 1170k| 42 | 1466 | 32M|1134 | - |1435 | 33k|3901 | 0 | 0 | 71 | 403k| 18 | 1.140739e+02 | -- | Inf
677.38/677.72 c 661s| 1180k| 44 | 1466 | 32M|1134 | - |1435 | 33k|3889 | 0 | 0 | 71 | 407k| 18 | 1.140739e+02 | -- | Inf
684.58/684.92 c 668s| 1190k| 44 | 1466 | 32M|1134 | - |1435 | 33k|3858 | 0 | 0 | 71 | 412k| 18 | 1.140739e+02 | -- | Inf
691.87/692.20 c 675s| 1200k| 279 | 1466 | 32M|1134 | - |1435 | 34k|3544 | 0 | 0 | 71 | 418k| 18 | 1.140739e+02 | -- | Inf
697.66/698.07 c 681s| 1210k| 928 | 1466 | 32M|1134 | - |1435 | 34k|2945 | 0 | 0 | 71 | 422k| 18 | 1.140739e+02 | -- | Inf
703.86/704.28 c 687s| 1220k| 716 | 1466 | 32M|1134 | - |1435 | 34k|2955 | 0 | 0 | 71 | 426k| 18 | 1.140739e+02 | -- | Inf
710.55/710.90 c 693s| 1230k| 40 | 1466 | 32M|1134 | - |1435 | 34k|4167 | 0 | 0 | 71 | 430k| 18 | 1.140739e+02 | -- | Inf
716.65/717.09 c 699s| 1240k| 37 | 1466 | 32M|1134 | - |1435 | 34k|4082 | 0 | 0 | 71 | 433k| 18 | 1.140739e+02 | -- | Inf
721.85/722.23 c 704s| 1250k| 47 | 1466 | 32M|1134 | - |1435 | 35k|4055 | 0 | 0 | 71 | 436k| 18 | 1.140739e+02 | -- | Inf
727.75/728.16 c 710s| 1260k| 45 | 1466 | 32M|1134 | - |1435 | 35k|4125 | 0 | 0 | 71 | 440k| 18 | 1.140739e+02 | -- | Inf
733.04/733.40 c 715s| 1270k| 702 | 1466 | 32M|1134 | - |1435 | 35k|3047 | 0 | 0 | 71 | 442k| 18 | 1.140739e+02 | -- | Inf
738.94/739.34 c 721s| 1280k| 77 | 1466 | 32M|1134 | - |1435 | 35k|4082 | 0 | 0 | 71 | 446k| 18 | 1.140739e+02 | -- | Inf
744.93/745.39 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
744.93/745.39 c 727s| 1290k| 295 | 1466 | 32M|1134 | - |1435 | 35k|3752 | 0 | 0 | 71 | 449k| 18 | 1.140739e+02 | -- | Inf
751.03/751.49 c 733s| 1300k| 96 | 1466 | 32M|1134 | - |1435 | 35k|4256 | 0 | 0 | 71 | 453k| 18 | 1.140739e+02 | -- | Inf
756.73/757.11 c 738s| 1310k| 71 | 1466 | 32M|1134 | - |1435 | 36k|4262 | 0 | 0 | 71 | 456k| 18 | 1.140739e+02 | -- | Inf
762.23/762.65 c 744s| 1320k| 49 | 1466 | 32M|1134 | - |1435 | 36k|4008 | 0 | 0 | 71 | 459k| 18 | 1.140739e+02 | -- | Inf
768.62/769.02 c 750s| 1330k| 58 | 1466 | 33M|1134 | - |1435 | 37k|4385 | 0 | 0 | 71 | 464k| 18 | 1.140739e+02 | -- | Inf
774.73/775.15 c 756s| 1340k| 42 | 1466 | 33M|1134 | - |1435 | 37k|4132 | 0 | 0 | 71 | 469k| 18 | 1.140739e+02 | -- | Inf
781.02/781.40 c 762s| 1350k| 37 | 1466 | 33M|1134 | - |1435 | 37k|4745 | 0 | 0 | 71 | 473k| 18 | 1.140739e+02 | -- | Inf
788.22/788.65 c 769s| 1360k| 42 | 1466 | 33M|1134 | - |1435 | 37k|4549 | 0 | 0 | 71 | 479k| 18 | 1.140739e+02 | -- | Inf
794.22/794.61 c 775s| 1370k| 46 | 1466 | 33M|1134 | - |1435 | 37k|4403 | 0 | 0 | 71 | 483k| 18 | 1.140739e+02 | -- | Inf
800.62/801.09 c 781s| 1380k| 42 | 1466 | 33M|1134 | - |1435 | 38k|4277 | 0 | 0 | 71 | 488k| 18 | 1.140739e+02 | -- | Inf
806.92/807.31 c 787s| 1390k| 46 | 1466 | 33M|1134 | - |1435 | 38k|4164 | 0 | 0 | 71 | 492k| 18 | 1.140739e+02 | -- | Inf
813.81/814.24 c 794s| 1400k| 81 | 1466 | 33M|1134 | - |1435 | 38k|4316 | 0 | 0 | 71 | 498k| 18 | 1.140739e+02 | -- | Inf
819.61/820.08 c 800s| 1410k| 44 | 1466 | 33M|1134 | - |1435 | 39k|4071 | 0 | 0 | 71 | 502k| 18 | 1.140739e+02 | -- | Inf
826.50/826.95 c 806s| 1420k| 44 | 1466 | 34M|1134 | - |1435 | 39k|4115 | 0 | 0 | 71 | 507k| 18 | 1.140739e+02 | -- | Inf
832.69/833.13 c 812s| 1430k| 204 | 1466 | 34M|1134 | - |1435 | 39k|4236 | 0 | 0 | 71 | 511k| 18 | 1.140739e+02 | -- | Inf
837.98/838.41 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
837.98/838.41 c 817s| 1440k| 37 | 1466 | 34M|1134 | - |1435 | 39k|4375 | 0 | 0 | 71 | 515k| 18 | 1.140739e+02 | -- | Inf
843.48/843.95 c 823s| 1450k| 46 | 1466 | 34M|1134 | - |1435 | 40k|4322 | 0 | 0 | 71 | 518k| 18 | 1.140739e+02 | -- | Inf
849.78/850.27 c 829s| 1460k| 35 | 1466 | 34M|1134 | - |1435 | 40k|4213 | 0 | 0 | 71 | 522k| 18 | 1.140739e+02 | -- | Inf
856.28/856.71 c 835s| 1470k| 30 | 1466 | 34M|1134 | - |1435 | 40k|4403 | 0 | 0 | 71 | 525k| 18 | 1.140739e+02 | -- | Inf
862.37/862.85 c 841s| 1480k| 55 | 1466 | 35M|1134 | - |1435 | 40k|4284 | 0 | 0 | 71 | 528k| 18 | 1.140739e+02 | -- | Inf
869.07/869.51 c 848s| 1490k| 51 | 1466 | 35M|1134 | - |1435 | 40k|4033 | 0 | 0 | 71 | 533k| 18 | 1.140739e+02 | -- | Inf
876.57/877.04 c 855s| 1500k| 309 | 1466 | 35M|1134 | - |1435 | 40k|3647 | 0 | 0 | 71 | 536k| 18 | 1.140739e+02 | -- | Inf
884.76/885.30 c 863s| 1510k| 296 | 1466 | 35M|1134 | - |1435 | 40k|4178 | 0 | 0 | 71 | 540k| 18 | 1.140739e+02 | -- | Inf
890.06/890.52 c 868s| 1520k| 58 | 1466 | 35M|1134 | - |1435 | 40k|4161 | 0 | 0 | 71 | 542k| 18 | 1.140739e+02 | -- | Inf
896.36/896.82 c 874s| 1530k| 48 | 1466 | 35M|1134 | - |1435 | 40k|4085 | 0 | 0 | 71 | 545k| 18 | 1.140739e+02 | -- | Inf
901.86/902.38 c 880s| 1540k| 343 | 1466 | 35M|1134 | - |1435 | 40k|3672 | 0 | 0 | 71 | 548k| 18 | 1.140739e+02 | -- | Inf
908.96/909.44 c 887s| 1550k| 52 | 1466 | 35M|1134 | - |1435 | 40k|4033 | 0 | 0 | 71 | 553k| 18 | 1.140739e+02 | -- | Inf
914.25/914.80 c 892s| 1560k| 231 | 1466 | 35M|1134 | - |1435 | 40k|3472 | 0 | 0 | 71 | 555k| 18 | 1.140739e+02 | -- | Inf
920.25/920.73 c 898s| 1570k| 510 | 1466 | 35M|1134 | - |1435 | 40k|3185 | 0 | 0 | 71 | 558k| 18 | 1.140739e+02 | -- | Inf
926.54/927.03 c 904s| 1580k| 44 | 1466 | 35M|1134 | - |1435 | 40k|4094 | 0 | 0 | 71 | 562k| 18 | 1.140739e+02 | -- | Inf
932.55/933.08 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
932.55/933.08 c 910s| 1590k| 609 | 1466 | 35M|1134 | - |1435 | 40k|3155 | 0 | 0 | 71 | 565k| 18 | 1.140739e+02 | -- | Inf
938.64/939.19 c 916s| 1600k| 146 | 1466 | 35M|1134 | - |1435 | 40k|3846 | 0 | 0 | 71 | 569k| 18 | 1.140739e+02 | -- | Inf
945.54/946.00 c 922s| 1610k| 538 | 1466 | 35M|1134 | - |1435 | 40k|3256 | 0 | 0 | 71 | 574k| 18 | 1.140739e+02 | -- | Inf
951.74/952.21 c 928s| 1620k| 54 | 1466 | 35M|1134 | - |1435 | 40k|4016 | 0 | 0 | 71 | 577k| 18 | 1.140739e+02 | -- | Inf
958.44/958.95 c 935s| 1630k| 44 | 1466 | 35M|1134 | - |1435 | 40k|4136 | 0 | 0 | 71 | 582k| 18 | 1.140739e+02 | -- | Inf
964.93/965.42 c 941s| 1640k| 46 | 1466 | 35M|1134 | - |1435 | 40k|4032 | 0 | 0 | 71 | 586k| 18 | 1.140739e+02 | -- | Inf
971.93/972.44 c 948s| 1650k| 48 | 1466 | 35M|1134 | - |1435 | 40k|4069 | 0 | 0 | 71 | 591k| 18 | 1.140739e+02 | -- | Inf
978.72/979.27 c 955s| 1660k| 46 | 1466 | 35M|1134 | - |1435 | 40k|3973 | 0 | 0 | 71 | 595k| 18 | 1.140739e+02 | -- | Inf
984.92/985.45 c 961s| 1670k| 46 | 1466 | 35M|1134 | - |1435 | 40k|3739 | 0 | 0 | 71 | 599k| 18 | 1.140739e+02 | -- | Inf
990.62/991.19 c 966s| 1680k| 73 | 1466 | 35M|1134 | - |1435 | 40k|3836 | 0 | 0 | 71 | 602k| 18 | 1.140739e+02 | -- | Inf
997.02/997.55 c 973s| 1690k| 166 | 1466 | 35M|1134 | - |1435 | 40k|3863 | 0 | 0 | 71 | 606k| 18 | 1.140739e+02 | -- | Inf
1002.72/1003.24 c 978s| 1700k| 48 | 1466 | 35M|1134 | - |1435 | 40k|4046 | 0 | 0 | 71 | 609k| 18 | 1.140739e+02 | -- | Inf
1009.22/1009.79 c 985s| 1710k| 341 | 1466 | 35M|1134 | - |1435 | 40k|3369 | 0 | 0 | 71 | 612k| 18 | 1.140739e+02 | -- | Inf
1015.20/1015.75 c 990s| 1720k| 79 | 1466 | 35M|1134 | - |1435 | 40k|3881 | 0 | 0 | 71 | 615k| 18 | 1.140739e+02 | -- | Inf
1021.21/1021.73 c 996s| 1730k| 45 | 1466 | 35M|1134 | - |1435 | 40k|4011 | 0 | 0 | 71 | 619k| 18 | 1.140739e+02 | -- | Inf
1027.50/1028.02 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1027.50/1028.02 c 1002s| 1740k| 111 | 1466 | 35M|1134 | - |1435 | 40k|3779 | 0 | 0 | 71 | 623k| 18 | 1.140739e+02 | -- | Inf
1033.41/1033.92 c 1008s| 1750k| 47 | 1466 | 35M|1134 | - |1435 | 40k|4059 | 0 | 0 | 71 | 626k| 18 | 1.140739e+02 | -- | Inf
1040.20/1040.73 c 1015s| 1760k| 52 | 1466 | 35M|1134 | - |1435 | 40k|3921 | 0 | 0 | 71 | 630k| 18 | 1.140739e+02 | -- | Inf
1046.30/1046.87 c 1021s| 1770k| 42 | 1466 | 35M|1134 | - |1435 | 40k|3636 | 0 | 0 | 71 | 634k| 18 | 1.140739e+02 | -- | Inf
1051.99/1052.51 c 1026s| 1780k| 56 | 1466 | 35M|1134 | - |1435 | 40k|4168 | 0 | 0 | 71 | 637k| 18 | 1.140739e+02 | -- | Inf
1057.19/1057.70 c 1031s| 1790k| 59 | 1466 | 35M|1134 | - |1435 | 40k|4013 | 0 | 0 | 71 | 640k| 18 | 1.140739e+02 | -- | Inf
1063.49/1064.03 c 1037s| 1800k| 622 | 1466 | 35M|1134 | - |1435 | 40k|3040 | 0 | 0 | 71 | 644k| 18 | 1.140739e+02 | -- | Inf
1068.79/1069.33 c 1043s| 1810k| 59 | 1466 | 35M|1134 | - |1435 | 40k|3919 | 0 | 0 | 71 | 647k| 18 | 1.140739e+02 | -- | Inf
1075.19/1075.80 c 1049s| 1820k| 52 | 1466 | 35M|1134 | - |1435 | 40k|4057 | 0 | 0 | 71 | 651k| 18 | 1.140739e+02 | -- | Inf
1081.18/1081.75 c 1055s| 1830k| 112 | 1466 | 35M|1134 | - |1435 | 40k|3629 | 0 | 0 | 71 | 655k| 18 | 1.140739e+02 | -- | Inf
1086.68/1087.27 c 1060s| 1840k| 88 | 1466 | 35M|1134 | - |1435 | 40k|3982 | 0 | 0 | 71 | 658k| 18 | 1.140739e+02 | -- | Inf
1092.89/1093.44 c 1066s| 1850k| 92 | 1466 | 35M|1134 | - |1435 | 40k|3967 | 0 | 0 | 71 | 662k| 18 | 1.140739e+02 | -- | Inf
1098.57/1099.14 c 1072s| 1860k| 49 | 1466 | 35M|1134 | - |1435 | 40k|4075 | 0 | 0 | 71 | 664k| 18 | 1.140739e+02 | -- | Inf
1104.27/1104.88 c 1077s| 1870k| 950 | 1466 | 35M|1134 | - |1435 | 40k|2382 | 0 | 0 | 71 | 668k| 18 | 1.140739e+02 | -- | Inf
1111.67/1112.21 c 1084s| 1880k| 159 | 1466 | 35M|1134 | - |1435 | 40k|4220 | 0 | 0 | 71 | 673k| 18 | 1.140739e+02 | -- | Inf
1117.46/1118.02 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1117.46/1118.02 c 1090s| 1890k| 44 | 1466 | 35M|1134 | - |1435 | 40k|3918 | 0 | 0 | 71 | 676k| 18 | 1.140739e+02 | -- | Inf
1123.17/1123.73 c 1096s| 1900k| 46 | 1466 | 35M|1134 | - |1435 | 40k|3839 | 0 | 0 | 71 | 679k| 18 | 1.140739e+02 | -- | Inf
1129.76/1130.30 c 1102s| 1910k| 58 | 1466 | 35M|1134 | - |1435 | 40k|4191 | 0 | 0 | 71 | 683k| 18 | 1.140739e+02 | -- | Inf
1136.06/1136.62 c 1108s| 1920k| 49 | 1466 | 35M|1134 | - |1435 | 40k|3634 | 0 | 0 | 71 | 687k| 18 | 1.140739e+02 | -- | Inf
1141.96/1142.57 c 1114s| 1930k| 54 | 1466 | 35M|1134 | - |1435 | 40k|3986 | 0 | 0 | 71 | 691k| 18 | 1.140739e+02 | -- | Inf
1147.95/1148.56 c 1120s| 1940k| 51 | 1466 | 35M|1134 | - |1435 | 40k|4070 | 0 | 0 | 71 | 694k| 18 | 1.140739e+02 | -- | Inf
1153.75/1154.37 c 1126s| 1950k| 54 | 1466 | 35M|1134 | - |1435 | 40k|3821 | 0 | 0 | 71 | 698k| 18 | 1.140739e+02 | -- | Inf
1160.45/1161.05 c 1132s| 1960k| 54 | 1466 | 35M|1134 | - |1435 | 40k|3942 | 0 | 0 | 71 | 702k| 18 | 1.140739e+02 | -- | Inf
1167.25/1167.88 c 1139s| 1970k| 53 | 1466 | 35M|1134 | - |1435 | 40k|3986 | 0 | 0 | 71 | 707k| 18 | 1.140739e+02 | -- | Inf
1172.85/1173.48 c 1144s| 1980k| 51 | 1466 | 35M|1134 | - |1435 | 40k|3965 | 0 | 0 | 71 | 710k| 18 | 1.140739e+02 | -- | Inf
1179.14/1179.74 c 1150s| 1990k| 42 | 1466 | 35M|1134 | - |1435 | 40k|3879 | 0 | 0 | 71 | 713k| 18 | 1.140739e+02 | -- | Inf
1184.93/1185.55 c 1156s| 2000k| 180 | 1466 | 35M|1134 | - |1435 | 40k|3703 | 0 | 0 | 71 | 717k| 18 | 1.140739e+02 | -- | Inf
1190.43/1191.07 c 1161s| 2010k| 100 | 1466 | 35M|1134 | - |1435 | 40k|3441 | 0 | 0 | 71 | 720k| 18 | 1.140739e+02 | -- | Inf
1196.13/1196.71 c 1167s| 2020k| 42 | 1466 | 35M|1134 | - |1435 | 40k|4475 | 0 | 0 | 71 | 724k| 18 | 1.140739e+02 | -- | Inf
1202.03/1202.64 c 1173s| 2030k| 138 | 1466 | 35M|1134 | - |1435 | 40k|4066 | 0 | 0 | 71 | 727k| 18 | 1.140739e+02 | -- | Inf
1208.03/1208.65 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1208.03/1208.65 c 1179s| 2040k| 51 | 1466 | 35M|1134 | - |1435 | 40k|3965 | 0 | 0 | 71 | 731k| 18 | 1.140739e+02 | -- | Inf
1214.23/1214.90 c 1185s| 2050k| 574 | 1466 | 35M|1134 | - |1435 | 40k|3156 | 0 | 0 | 71 | 735k| 18 | 1.140739e+02 | -- | Inf
1219.93/1220.51 c 1190s| 2060k| 625 | 1466 | 35M|1134 | - |1435 | 40k|3079 | 0 | 0 | 71 | 738k| 18 | 1.140739e+02 | -- | Inf
1226.12/1226.74 c 1196s| 2070k| 46 | 1466 | 35M|1134 | - |1435 | 40k|3772 | 0 | 0 | 71 | 743k| 18 | 1.140739e+02 | -- | Inf
1232.32/1232.97 c 1202s| 2080k| 182 | 1466 | 35M|1134 | - |1435 | 40k|3522 | 0 | 0 | 71 | 746k| 18 | 1.140739e+02 | -- | Inf
1239.41/1240.02 c 1209s| 2090k| 34 | 1466 | 35M|1134 | - |1435 | 40k|3701 | 0 | 0 | 71 | 751k| 18 | 1.140739e+02 | -- | Inf
1245.01/1245.66 c 1215s| 2100k| 54 | 1466 | 35M|1134 | - |1435 | 40k|4492 | 0 | 0 | 71 | 756k| 18 | 1.140739e+02 | -- | Inf
1251.31/1251.93 c 1221s| 2110k| 669 | 1466 | 35M|1134 | - |1435 | 40k|3214 | 0 | 0 | 71 | 760k| 18 | 1.140739e+02 | -- | Inf
1258.50/1259.13 c 1228s| 2120k| 43 | 1466 | 35M|1134 | - |1435 | 40k|4216 | 0 | 0 | 71 | 765k| 18 | 1.140739e+02 | -- | Inf
1266.31/1266.98 c 1235s| 2130k| 51 | 1466 | 35M|1134 | - |1435 | 40k|4088 | 0 | 0 | 71 | 771k| 18 | 1.140739e+02 | -- | Inf
1272.60/1273.22 c 1242s| 2140k| 56 | 1466 | 35M|1134 | - |1435 | 40k|4005 | 0 | 0 | 71 | 775k| 18 | 1.140739e+02 | -- | Inf
1278.30/1278.99 c 1247s| 2150k| 110 | 1466 | 35M|1134 | - |1435 | 40k|3971 | 0 | 0 | 71 | 778k| 18 | 1.140739e+02 | -- | Inf
1285.49/1286.20 c 1254s| 2160k| 49 | 1466 | 35M|1134 | - |1435 | 40k|3907 | 0 | 0 | 71 | 783k| 18 | 1.140739e+02 | -- | Inf
1293.09/1293.75 c 1262s| 2170k| 93 | 1466 | 35M|1134 | - |1435 | 40k|3825 | 0 | 0 | 71 | 789k| 18 | 1.140739e+02 | -- | Inf
1299.09/1299.78 c 1267s| 2180k| 47 | 1466 | 35M|1134 | - |1435 | 40k|3857 | 0 | 0 | 71 | 793k| 18 | 1.140739e+02 | -- | Inf
1304.89/1305.53 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1304.89/1305.53 c 1273s| 2190k| 640 | 1466 | 35M|1134 | - |1435 | 40k|2976 | 0 | 0 | 71 | 797k| 18 | 1.140739e+02 | -- | Inf
1311.99/1312.68 c 1280s| 2200k| 48 | 1466 | 35M|1134 | - |1435 | 40k|4008 | 0 | 0 | 71 | 802k| 18 | 1.140739e+02 | -- | Inf
1318.89/1319.59 c 1287s| 2210k| 897 | 1466 | 35M|1134 | - |1435 | 40k|2898 | 0 | 0 | 71 | 807k| 18 | 1.140739e+02 | -- | Inf
1325.78/1326.46 c 1293s| 2220k| 84 | 1466 | 35M|1134 | - |1435 | 40k|3780 | 0 | 0 | 71 | 811k| 18 | 1.140739e+02 | -- | Inf
1331.97/1332.63 c 1299s| 2230k| 90 | 1466 | 35M|1134 | - |1435 | 40k|3676 | 0 | 0 | 71 | 815k| 18 | 1.140739e+02 | -- | Inf
1338.47/1339.11 c 1306s| 2240k| 787 | 1466 | 35M|1134 | - |1435 | 40k|2855 | 0 | 0 | 71 | 820k| 18 | 1.140739e+02 | -- | Inf
1345.97/1346.60 c 1313s| 2250k| 218 | 1466 | 35M|1134 | - |1435 | 40k|3443 | 0 | 0 | 71 | 825k| 18 | 1.140739e+02 | -- | Inf
1352.67/1353.39 c 1320s| 2260k| 425 | 1466 | 35M|1134 | - |1435 | 40k|3220 | 0 | 0 | 71 | 829k| 18 | 1.140739e+02 | -- | Inf
1359.57/1360.23 c 1326s| 2270k| 52 | 1466 | 35M|1134 | - |1435 | 40k|3815 | 0 | 0 | 71 | 834k| 18 | 1.140739e+02 | -- | Inf
1366.76/1367.43 c 1333s| 2280k| 46 | 1466 | 35M|1134 | - |1435 | 40k|3876 | 0 | 0 | 71 | 839k| 18 | 1.140739e+02 | -- | Inf
1372.86/1373.57 c 1339s| 2290k| 55 | 1466 | 35M|1134 | - |1435 | 40k|3989 | 0 | 0 | 71 | 843k| 18 | 1.140739e+02 | -- | Inf
1379.06/1379.79 c 1345s| 2300k| 50 | 1466 | 35M|1134 | - |1435 | 40k|3841 | 0 | 0 | 71 | 847k| 18 | 1.140739e+02 | -- | Inf
1385.45/1386.11 c 1352s| 2310k| 85 | 1466 | 35M|1134 | - |1435 | 40k|3786 | 0 | 0 | 71 | 851k| 18 | 1.140739e+02 | -- | Inf
1391.75/1392.45 c 1358s| 2320k| 46 | 1466 | 35M|1134 | - |1435 | 40k|4189 | 0 | 0 | 71 | 855k| 18 | 1.140739e+02 | -- | Inf
1397.65/1398.38 c 1364s| 2330k| 53 | 1466 | 35M|1134 | - |1435 | 40k|3969 | 0 | 0 | 71 | 859k| 18 | 1.140739e+02 | -- | Inf
1404.35/1405.07 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1404.35/1405.07 c 1370s| 2340k| 61 | 1466 | 35M|1134 | - |1435 | 40k|3826 | 0 | 0 | 71 | 863k| 18 | 1.140739e+02 | -- | Inf
1410.34/1411.08 c 1376s| 2350k| 62 | 1466 | 35M|1134 | - |1435 | 40k|3943 | 0 | 0 | 71 | 867k| 18 | 1.140739e+02 | -- | Inf
1417.85/1418.54 c 1383s| 2360k| 48 | 1466 | 35M|1134 | - |1435 | 40k|3826 | 0 | 0 | 71 | 873k| 18 | 1.140739e+02 | -- | Inf
1424.84/1425.59 c 1390s| 2370k| 406 | 1466 | 35M|1134 | - |1435 | 40k|3472 | 0 | 0 | 71 | 878k| 18 | 1.140739e+02 | -- | Inf
1431.54/1432.24 c 1397s| 2380k| 149 | 1466 | 35M|1134 | - |1435 | 40k|3592 | 0 | 0 | 71 | 882k| 18 | 1.140739e+02 | -- | Inf
1438.05/1438.75 c 1403s| 2390k| 86 | 1466 | 35M|1134 | - |1435 | 40k|3641 | 0 | 0 | 71 | 887k| 18 | 1.140739e+02 | -- | Inf
1444.84/1445.53 c 1410s| 2400k| 53 | 1466 | 35M|1134 | - |1435 | 40k|3842 | 0 | 0 | 71 | 891k| 18 | 1.140739e+02 | -- | Inf
1450.53/1451.24 c 1415s| 2410k| 54 | 1466 | 35M|1134 | - |1435 | 40k|3936 | 0 | 0 | 71 | 894k| 18 | 1.140739e+02 | -- | Inf
1458.43/1459.11 c 1423s| 2420k| 50 | 1466 | 35M|1134 | - |1435 | 40k|3803 | 0 | 0 | 71 | 900k| 18 | 1.140739e+02 | -- | Inf
1464.53/1465.27 c 1429s| 2430k| 43 | 1466 | 35M|1134 | - |1435 | 40k|4118 | 0 | 0 | 71 | 904k| 18 | 1.140739e+02 | -- | Inf
1471.03/1471.79 c 1435s| 2440k| 56 | 1466 | 35M|1134 | - |1435 | 40k|3954 | 0 | 0 | 71 | 909k| 18 | 1.140739e+02 | -- | Inf
1477.52/1478.27 c 1441s| 2450k| 51 | 1466 | 35M|1134 | - |1435 | 40k|3901 | 0 | 0 | 71 | 913k| 18 | 1.140739e+02 | -- | Inf
1483.13/1483.80 c 1447s| 2460k| 760 | 1466 | 35M|1134 | - |1435 | 40k|2930 | 0 | 0 | 71 | 916k| 18 | 1.140739e+02 | -- | Inf
1489.33/1490.01 c 1453s| 2470k| 48 | 1466 | 35M|1134 | - |1435 | 40k|4056 | 0 | 0 | 71 | 920k| 18 | 1.140739e+02 | -- | Inf
1496.33/1497.05 c 1460s| 2480k| 76 | 1466 | 35M|1134 | - |1435 | 40k|3723 | 0 | 0 | 71 | 926k| 18 | 1.140739e+02 | -- | Inf
1503.21/1503.95 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1503.21/1503.95 c 1466s| 2490k| 43 | 1466 | 35M|1134 | - |1435 | 40k|3961 | 0 | 0 | 71 | 931k| 18 | 1.140739e+02 | -- | Inf
1509.31/1510.05 c 1472s| 2500k| 556 | 1466 | 35M|1134 | - |1435 | 40k|3172 | 0 | 0 | 71 | 934k| 18 | 1.140739e+02 | -- | Inf
1515.41/1516.16 c 1478s| 2510k| 50 | 1466 | 35M|1134 | - |1435 | 40k|3893 | 0 | 0 | 71 | 938k| 18 | 1.140739e+02 | -- | Inf
1521.21/1521.95 c 1484s| 2520k| 53 | 1466 | 35M|1134 | - |1435 | 40k|4182 | 0 | 0 | 71 | 942k| 18 | 1.140739e+02 | -- | Inf
1528.61/1529.35 c 1491s| 2530k| 250 | 1466 | 35M|1134 | - |1435 | 40k|3767 | 0 | 0 | 71 | 947k| 18 | 1.140739e+02 | -- | Inf
1534.50/1535.29 c 1497s| 2540k| 629 | 1466 | 35M|1134 | - |1435 | 40k|3103 | 0 | 0 | 71 | 951k| 18 | 1.140739e+02 | -- | Inf
1542.11/1542.84 c 1504s| 2550k| 49 | 1466 | 35M|1134 | - |1435 | 40k|4037 | 0 | 0 | 71 | 957k| 18 | 1.140739e+02 | -- | Inf
1548.79/1549.54 c 1511s| 2560k| 48 | 1466 | 35M|1134 | - |1435 | 40k|3963 | 0 | 0 | 71 | 961k| 18 | 1.140739e+02 | -- | Inf
1555.59/1556.36 c 1518s| 2570k| 48 | 1466 | 35M|1134 | - |1435 | 40k|3775 | 0 | 0 | 71 | 966k| 18 | 1.140739e+02 | -- | Inf
1563.68/1564.47 c 1525s| 2580k| 47 | 1466 | 35M|1134 | - |1435 | 40k|3735 | 0 | 0 | 71 | 972k| 18 | 1.140739e+02 | -- | Inf
1571.18/1571.95 c 1533s| 2590k| 57 | 1466 | 35M|1134 | - |1435 | 40k|3780 | 0 | 0 | 71 | 978k| 18 | 1.140739e+02 | -- | Inf
1577.48/1578.20 c 1539s| 2600k| 170 | 1466 | 35M|1134 | - |1435 | 40k|3655 | 0 | 0 | 71 | 982k| 18 | 1.140739e+02 | -- | Inf
1583.77/1584.53 c 1545s| 2610k| 49 | 1466 | 35M|1134 | - |1435 | 40k|3816 | 0 | 0 | 71 | 986k| 18 | 1.140739e+02 | -- | Inf
1591.65/1592.40 c 1553s| 2620k| 534 | 1466 | 35M|1134 | - |1435 | 40k|3165 | 0 | 0 | 71 | 993k| 18 | 1.140739e+02 | -- | Inf
1599.25/1600.04 c 1560s| 2630k| 48 | 1466 | 35M|1134 | - |1435 | 40k|4200 | 0 | 0 | 71 | 999k| 18 | 1.140739e+02 | -- | Inf
1604.46/1605.27 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1604.46/1605.27 c 1565s| 2640k| 50 | 1466 | 35M|1134 | - |1435 | 40k|3967 | 0 | 0 | 71 |1002k| 18 | 1.140739e+02 | -- | Inf
1611.65/1612.44 c 1572s| 2650k| 48 | 1466 | 35M|1134 | - |1435 | 40k|3943 | 0 | 0 | 71 |1007k| 18 | 1.140739e+02 | -- | Inf
1617.65/1618.49 c 1578s| 2660k| 57 | 1466 | 35M|1134 | - |1435 | 40k|4081 | 0 | 0 | 71 |1010k| 18 | 1.140739e+02 | -- | Inf
1624.15/1624.92 c 1584s| 2670k| 51 | 1466 | 35M|1134 | - |1435 | 40k|4142 | 0 | 0 | 71 |1014k| 18 | 1.140739e+02 | -- | Inf
1630.65/1631.46 c 1591s| 2680k| 70 | 1466 | 35M|1134 | - |1435 | 40k|3743 | 0 | 0 | 71 |1018k| 18 | 1.140739e+02 | -- | Inf
1636.54/1637.34 c 1596s| 2690k| 371 | 1466 | 35M|1134 | - |1435 | 40k|3493 | 0 | 0 | 71 |1022k| 18 | 1.140739e+02 | -- | Inf
1642.24/1643.03 c 1602s| 2700k| 46 | 1466 | 35M|1134 | - |1435 | 40k|3986 | 0 | 0 | 71 |1026k| 18 | 1.140739e+02 | -- | Inf
1648.93/1649.76 c 1609s| 2710k| 62 | 1466 | 35M|1134 | - |1435 | 40k|3946 | 0 | 0 | 71 |1030k| 18 | 1.140739e+02 | -- | Inf
1655.03/1655.89 c 1615s| 2720k| 904 | 1466 | 35M|1134 | - |1435 | 40k|2851 | 0 | 0 | 71 |1034k| 18 | 1.140739e+02 | -- | Inf
1660.03/1660.84 c 1619s| 2730k| 46 | 1466 | 35M|1134 | - |1435 | 40k|4043 | 0 | 0 | 71 |1037k| 18 | 1.140739e+02 | -- | Inf
1667.13/1667.96 c 1626s| 2740k| 310 | 1466 | 35M|1134 | - |1435 | 40k|3616 | 0 | 0 | 71 |1042k| 18 | 1.140739e+02 | -- | Inf
1672.83/1673.61 c 1632s| 2750k| 207 | 1466 | 35M|1134 | - |1435 | 40k|3348 | 0 | 0 | 71 |1045k| 18 | 1.140739e+02 | -- | Inf
1678.73/1679.58 c 1638s| 2760k| 53 | 1466 | 35M|1134 | - |1435 | 40k|3843 | 0 | 0 | 71 |1049k| 18 | 1.140739e+02 | -- | Inf
1686.30/1687.17 c 1645s| 2770k| 151 | 1466 | 35M|1134 | - |1435 | 40k|3712 | 0 | 0 | 71 |1055k| 18 | 1.140739e+02 | -- | Inf
1694.60/1695.46 c 1653s| 2780k| 53 | 1466 | 35M|1134 | - |1435 | 40k|3919 | 0 | 0 | 71 |1061k| 18 | 1.140739e+02 | -- | Inf
1701.79/1702.61 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1701.79/1702.61 c 1660s| 2790k| 46 | 1466 | 35M|1134 | - |1435 | 40k|3907 | 0 | 0 | 71 |1066k| 18 | 1.140739e+02 | -- | Inf
1708.60/1709.48 c 1667s| 2800k| 61 | 1466 | 35M|1134 | - |1435 | 40k|3599 | 0 | 0 | 71 |1071k| 18 | 1.140739e+02 | -- | Inf
1715.29/1716.16 c 1673s| 2810k| 154 | 1466 | 35M|1134 | - |1435 | 40k|3519 | 0 | 0 | 71 |1075k| 18 | 1.140739e+02 | -- | Inf
1721.39/1722.29 c 1679s| 2820k| 46 | 1466 | 35M|1134 | - |1435 | 40k|3922 | 0 | 0 | 71 |1079k| 18 | 1.140739e+02 | -- | Inf
1727.88/1728.72 c 1686s| 2830k| 45 | 1466 | 35M|1134 | - |1435 | 40k|3750 | 0 | 0 | 71 |1083k| 18 | 1.140739e+02 | -- | Inf
1733.79/1734.61 c 1691s| 2840k| 79 | 1466 | 35M|1134 | - |1435 | 40k|3709 | 0 | 0 | 71 |1087k| 18 | 1.140739e+02 | -- | Inf
1740.38/1741.24 c 1698s| 2850k| 750 | 1466 | 35M|1134 | - |1435 | 40k|2940 | 0 | 0 | 71 |1091k| 18 | 1.140739e+02 | -- | Inf
1747.28/1748.13 c 1704s| 2860k| 44 | 1466 | 35M|1134 | - |1435 | 40k|3793 | 0 | 0 | 71 |1096k| 18 | 1.140739e+02 | -- | Inf
1753.17/1754.02 c 1710s| 2870k| 222 | 1466 | 35M|1134 | - |1435 | 40k|3543 | 0 | 0 | 71 |1100k| 18 | 1.140739e+02 | -- | Inf
1759.97/1760.87 c 1717s| 2880k| 111 | 1466 | 35M|1134 | - |1435 | 40k|3712 | 0 | 0 | 71 |1104k| 18 | 1.140739e+02 | -- | Inf
1766.27/1767.11 c 1723s| 2890k| 45 | 1466 | 35M|1134 | - |1435 | 40k|3891 | 0 | 0 | 71 |1109k| 18 | 1.140739e+02 | -- | Inf
1773.07/1773.92 c 1730s| 2900k| 236 | 1466 | 35M|1134 | - |1435 | 40k|3528 | 0 | 0 | 71 |1113k| 18 | 1.140739e+02 | -- | Inf
1779.56/1780.42 c 1736s| 2910k| 51 | 1466 | 35M|1134 | - |1435 | 40k|3997 | 0 | 0 | 71 |1117k| 18 | 1.140739e+02 | -- | Inf
1785.66/1786.50 c 1742s| 2920k| 53 | 1466 | 35M|1134 | - |1435 | 40k|3831 | 0 | 0 | 71 |1121k| 18 | 1.140739e+02 | -- | Inf
1793.46/1794.33 c 1749s| 2930k| 51 | 1466 | 35M|1134 | - |1435 | 40k|3892 | 0 | 0 | 71 |1127k| 18 | 1.140739e+02 | -- | Inf
1800.06/1800.90 c
1800.06/1800.90 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.90 c Solving Time (sec) : 1755.85
1800.06/1800.90 c Solving Nodes : 2938091
1800.06/1800.90 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.06/1800.90 c Dual Bound : +1.14073928571429e+02
1800.06/1800.90 c Gap : infinite
1800.06/1800.90 c NODE 2938091
1800.06/1800.90 c DUAL BOUND 114.074
1800.06/1800.90 c PRIMAL BOUND 1e+20
1800.06/1800.90 c GAP 1e+20
1800.06/1800.90 s UNKNOWN
1800.06/1800.90 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.90 c Solving Time : 1755.85
1800.06/1800.90 c Original Problem :
1800.06/1800.90 c Problem name : HOME/instance-1884207-1245255949.opb
1800.06/1800.90 c Variables : 1477 (1477 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.90 c Constraints : 7989 initial, 7989 maximal
1800.06/1800.90 c Presolved Problem :
1800.06/1800.90 c Problem name : t_HOME/instance-1884207-1245255949.opb
1800.06/1800.90 c Variables : 1435 (1435 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.90 c Constraints : 6112 initial, 41144 maximal
1800.06/1800.90 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.90 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.06/1800.90 c dualfix : 0.00 3 0 0 0 0 0 0 0
1800.06/1800.90 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.90 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.90 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.90 c probing : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.90 c linear : 1.87 32 7 0 32 0 1818 506 0
1800.06/1800.90 c logicor : 0.26 0 0 0 0 0 59 0 0
1800.06/1800.90 c root node : - 0 - - 0 - - - -
1800.06/1800.90 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.90 c integral : 0 0 0 1 0 0 0 0 0 2
1800.06/1800.90 c logicor : 6112+ 5 8671799 0 0 847576 19420716 0 0 0
1800.06/1800.90 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.90 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.90 c integral : 3.66 0.00 0.00 3.66 0.00
1800.06/1800.90 c logicor : 218.22 0.00 218.22 0.00 0.00
1800.06/1800.90 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.90 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.90 c rootredcost : 3.59 0 0 0
1800.06/1800.90 c pseudoobj : 735.88 13179245 0 0
1800.06/1800.90 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.90 c propagation : 64.30 847576 847492 847492 27.0 285679 19.7 -
1800.06/1800.90 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.90 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.90 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.90 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.90 c applied globally : - - - 1133171 25.1 - - -
1800.06/1800.90 c applied locally : - - - 0 0.0 - - -
1800.06/1800.90 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.90 c cut pool : 0.00 4 - - 8 - (maximal pool size: 1557)
1800.06/1800.90 c redcost : 0.00 5 0 0 0 0
1800.06/1800.90 c impliedbounds : 0.00 5 0 0 0 0
1800.06/1800.90 c intobj : 0.00 0 0 0 0 0
1800.06/1800.90 c gomory : 1.82 5 0 0 2461 0
1800.06/1800.90 c strongcg : 0.63 5 0 0 2500 0
1800.06/1800.90 c cmir : 0.00 0 0 0 0 0
1800.06/1800.90 c flowcover : 0.00 0 0 0 0 0
1800.06/1800.90 c clique : 0.01 5 0 0 29 0
1800.06/1800.90 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.90 c mcf : 0.01 1 0 0 0 0
1800.06/1800.90 c Pricers : Time Calls Vars
1800.06/1800.90 c problem variables: 0.00 0 0
1800.06/1800.90 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.90 c relpscost : 3.66 1 0 0 0 0 2
1800.06/1800.90 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.90 c inference : 572.09 2454534 0 0 0 0 4909068
1800.06/1800.90 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.90 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.90 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.90 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.90 c random : 0.00 0 0 0 0 0 0
1800.06/1800.90 c Primal Heuristics : Time Calls Found
1800.06/1800.90 c LP solutions : 0.00 - 0
1800.06/1800.90 c pseudo solutions : 0.00 - 0
1800.06/1800.90 c simplerounding : 0.00 0 0
1800.06/1800.90 c rounding : 0.00 0 0
1800.06/1800.90 c shifting : 0.00 0 0
1800.06/1800.90 c intshifting : 0.00 0 0
1800.06/1800.90 c oneopt : 0.00 0 0
1800.06/1800.90 c fixandinfer : 0.00 0 0
1800.06/1800.90 c feaspump : 0.00 0 0
1800.06/1800.90 c coefdiving : 0.00 0 0
1800.06/1800.90 c pscostdiving : 0.00 0 0
1800.06/1800.90 c fracdiving : 0.00 0 0
1800.06/1800.90 c veclendiving : 0.00 0 0
1800.06/1800.90 c intdiving : 0.00 0 0
1800.06/1800.90 c actconsdiving : 0.00 0 0
1800.06/1800.90 c objpscostdiving : 0.00 0 0
1800.06/1800.90 c rootsoldiving : 0.00 0 0
1800.06/1800.90 c linesearchdiving : 0.00 0 0
1800.06/1800.90 c guideddiving : 0.00 0 0
1800.06/1800.90 c octane : 0.00 0 0
1800.06/1800.90 c rens : 0.00 0 0
1800.06/1800.90 c rins : 0.00 0 0
1800.06/1800.90 c localbranching : 0.00 0 0
1800.06/1800.90 c mutation : 0.00 0 0
1800.06/1800.90 c crossover : 0.00 0 0
1800.06/1800.90 c dins : 0.00 0 0
1800.06/1800.90 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.90 c primal LP : 0.02 0 0 0.00 0.00
1800.06/1800.90 c dual LP : 1.47 6 1466 244.33 997.28
1800.06/1800.90 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.90 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.90 c strong branching : 3.66 18 2898 161.00 791.80
1800.06/1800.90 c (at root node) : - 18 2898 161.00 -
1800.06/1800.90 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.90 c B&B Tree :
1800.06/1800.90 c number of runs : 1
1800.06/1800.90 c nodes : 2938091
1800.06/1800.90 c nodes (total) : 2938091
1800.06/1800.90 c nodes left : 47
1800.06/1800.90 c max depth : 1134
1800.06/1800.90 c max depth (total): 1134
1800.06/1800.90 c backtracks : 395256 (13.5%)
1800.06/1800.90 c delayed cutoffs : 1970933
1800.06/1800.90 c repropagations : 3918173 (9089718 domain reductions, 364020 cutoffs)
1800.06/1800.90 c avg switch length: 4.11
1800.06/1800.90 c switching time : 120.08
1800.06/1800.90 c Solution :
1800.06/1800.90 c Solutions found : 0 (0 improvements)
1800.06/1800.90 c Primal Bound : -
1800.06/1800.90 c Dual Bound : +1.14073928571429e+02
1800.06/1800.90 c Gap : infinite
1800.06/1800.90 c Root Dual Bound : +1.13473187517035e+02
1800.16/1801.01 c Time complete: 1800.17.