0.09/0.11 c SCIP version 1.1.0.7
0.09/0.11 c LP-Solver SoPlex 1.4.1
0.09/0.11 c user parameter file <scip.set> not found - using default parameters
0.09/0.11 c read problem <HOME/instance-1869048-1245155780.opb>
0.09/0.11 c original problem has 2630 variables (2630 bin, 0 int, 0 impl, 0 cont) and 6569 constraints
0.09/0.14 c start presolving problem
0.09/0.14 c presolving:
0.19/0.28 c (round 1) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6445 upgd conss, 5606 impls, 0 clqs
0.29/0.30 c (round 2) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6446 upgd conss, 5606 impls, 0 clqs
0.29/0.32 c (round 3) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6447 upgd conss, 5606 impls, 0 clqs
0.29/0.38 c (round 4) 50 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6447 upgd conss, 7068 impls, 0 clqs
0.29/0.39 c (round 5) 53 del vars, 127 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6447 upgd conss, 7106 impls, 0 clqs
0.39/0.41 c (round 6) 53 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6447 upgd conss, 7106 impls, 0 clqs
0.49/0.57 c (round 7) 103 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6447 upgd conss, 27294 impls, 0 clqs
0.59/0.69 c (round 8) 153 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6447 upgd conss, 46750 impls, 0 clqs
0.79/0.83 c (0.7s) probing: 548/2630 (20.8%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.79/0.83 c (0.7s) probing aborted: 100/100 successive totally useless probings
0.79/0.83 c (round 9) 188 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6447 upgd conss, 48352 impls, 0 clqs
0.79/0.85 c (0.7s) probing: 558/2630 (21.2%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.79/0.85 c (0.7s) probing aborted: 100/100 successive totally useless probings
0.79/0.85 c presolving (10 rounds):
0.79/0.85 c 188 deleted vars, 129 deleted constraints, 0 tightened bounds, 0 added holes, 122 changed sides, 0 changed coefficients
0.79/0.85 c 48352 implications, 0 cliques
0.79/0.85 c presolved problem has 2442 variables (2442 bin, 0 int, 0 impl, 0 cont) and 6440 constraints
0.79/0.85 c 6440 constraints of type <logicor>
0.79/0.85 c transformed objective value is always integral (scale: 1)
0.79/0.85 c Presolving Time: 0.66
0.79/0.85 c strange?!, PURESAT with obj
0.79/0.85 c -----------------------------------------------------------------------------------------------
0.79/0.85 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.79/0.85 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.85 c limits/memory = c 1620
0.79/0.85 c # maximal time in seconds to run
0.79/0.85 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.85 c limits/time = c 1791
0.79/0.85 c # frequency for displaying node information lines
0.79/0.85 c # [type: int, range: [-1,2147483647], default: 100]
0.79/0.85 c display/freq = c 10000
0.79/0.85 c -----------------------------------------------------------------------------------------------
0.79/0.85 c start solving problem
0.79/0.85 c
3.88/3.98 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.88/3.98 c 3.8s| 1 | 0 | 4650 | 14M| 0 |1711 |2442 |6440 |6440 |2442 |6253 | 0 | 0 | 0 | 7.898000e+02 | -- | Inf
18.38/18.43 c 18.2s| 1 | 0 | 15768 | 19M| 0 |2045 |2442 |6440 |6440 |2442 |7083 | 830 | 0 | 0 | 8.140889e+02 | -- | Inf
21.18/21.23 c 21.0s| 1 | 0 | 17267 | 23M| 0 |2042 |2442 |6440 |6440 |2442 |7109 | 856 | 0 | 0 | 8.184217e+02 | -- | Inf
24.28/24.37 c 24.1s| 1 | 0 | 19096 | 26M| 0 |1536 |2442 |6440 |6440 |2442 |7146 | 893 | 0 | 0 | 8.232507e+02 | -- | Inf
26.98/27.08 c 26.8s| 1 | 0 | 20588 | 29M| 0 |1545 |2442 |6440 |6440 |2442 |7188 | 935 | 0 | 0 | 8.268512e+02 | -- | Inf
29.48/29.60 c 29.3s| 1 | 0 | 22006 | 33M| 0 |1469 |2442 |6440 |6440 |2442 |7225 | 972 | 0 | 0 | 8.306653e+02 | -- | Inf
34.28/34.32 c 34.0s| 1 | 0 | 25123 | 37M| 0 |1520 |2442 |6440 |6440 |2442 |7253 |1000 | 0 | 0 | 8.333462e+02 | -- | Inf
39.27/39.37 c 39.0s| 1 | 0 | 27528 | 41M| 0 |1529 |2442 |6440 |6440 |2442 |7282 |1029 | 0 | 0 | 8.369886e+02 | -- | Inf
43.56/43.68 c 43.3s| 1 | 0 | 29578 | 45M| 0 |1558 |2442 |6440 |6440 |2442 |7325 |1072 | 0 | 0 | 8.421309e+02 | -- | Inf
48.86/48.94 c 48.5s| 1 | 0 | 31627 | 49M| 0 |1596 |2442 |6440 |6440 |2442 |7356 |1103 | 0 | 0 | 8.466570e+02 | -- | Inf
53.36/53.47 c 53.0s| 1 | 0 | 33660 | 52M| 0 |1627 |2442 |6440 |6440 |2442 |7393 |1140 | 0 | 0 | 8.498922e+02 | -- | Inf
56.46/56.59 c 56.1s| 1 | 0 | 35175 | 56M| 0 |1598 |2442 |6440 |6440 |2442 |6647 |1178 | 0 | 0 | 8.528443e+02 | -- | Inf
60.26/60.34 c 59.9s| 1 | 0 | 36918 | 60M| 0 |1575 |2442 |6440 |6440 |2442 |6672 |1203 | 0 | 0 | 8.542937e+02 | -- | Inf
64.16/64.29 c 63.8s| 1 | 0 | 38811 | 66M| 0 |1624 |2442 |6440 |6440 |2442 |6704 |1235 | 0 | 0 | 8.574289e+02 | -- | Inf
71.26/71.37 c 70.9s| 1 | 0 | 41493 | 73M| 0 |1632 |2442 |6440 |6440 |2442 |6750 |1281 | 0 | 0 | 8.733250e+02 | -- | Inf
79.16/79.24 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.16/79.24 c 78.7s| 1 | 0 | 44572 | 78M| 0 |1557 |2442 |6440 |6440 |2442 |6819 |1350 | 0 | 0 | 8.943542e+02 | -- | Inf
83.26/83.39 c 82.8s| 1 | 0 | 46139 | 83M| 0 |1577 |2442 |6440 |6440 |2442 |6887 |1418 | 0 | 0 | 9.109998e+02 | -- | Inf
89.05/89.14 c 88.5s| 1 | 0 | 48385 | 87M| 0 |1562 |2442 |6440 |6440 |2442 |6814 |1469 | 0 | 0 | 9.225022e+02 | -- | Inf
92.75/92.84 c 92.2s| 1 | 0 | 50347 | 92M| 0 |1562 |2442 |6440 |6440 |2442 |6838 |1493 | 0 | 0 | 9.240288e+02 | -- | Inf
95.75/95.81 c 95.2s| 1 | 0 | 51807 | 94M| 0 |1641 |2442 |6440 |6440 |2442 |6879 |1534 | 0 | 0 | 9.278116e+02 | -- | Inf
102.45/102.54 c 102s| 1 | 0 | 54947 | 97M| 0 |1840 |2442 |6440 |6440 |2442 |6923 |1578 | 0 | 0 | 9.322767e+02 | -- | Inf
107.14/107.30 c 107s| 1 | 0 | 56923 | 99M| 0 |1700 |2442 |6440 |6440 |2442 |6974 |1629 | 0 | 0 | 9.353550e+02 | -- | Inf
112.64/112.75 c 112s| 1 | 0 | 59147 | 99M| 0 |1679 |2442 |6440 |6440 |2442 |7033 |1688 | 0 | 0 | 9.471640e+02 | -- | Inf
116.24/116.31 c 116s| 1 | 0 | 60641 | 100M| 0 |1663 |2442 |6440 |6440 |2442 |6962 |1753 | 0 | 0 | 9.504312e+02 | -- | Inf
119.43/119.50 c 119s| 1 | 0 | 62373 | 101M| 0 |1707 |2442 |6440 |6440 |2442 |6997 |1788 | 0 | 0 | 9.515599e+02 | -- | Inf
124.64/124.79 c 124s| 1 | 0 | 65058 | 102M| 0 |1668 |2442 |6440 |6440 |2442 |7047 |1838 | 0 | 0 | 9.585174e+02 | -- | Inf
130.54/130.66 c 130s| 1 | 0 | 68018 | 104M| 0 |1703 |2442 |6440 |6440 |2442 |7094 |1885 | 0 | 0 | 9.628704e+02 | -- | Inf
134.63/134.79 c 134s| 1 | 0 | 70328 | 105M| 0 |1699 |2442 |6440 |6440 |2442 |7152 |1943 | 0 | 0 | 9.669559e+02 | -- | Inf
141.23/141.34 c 141s| 1 | 0 | 73347 | 107M| 0 |1734 |2442 |6440 |6440 |2442 |7201 |1992 | 0 | 0 | 9.706523e+02 | -- | Inf
147.73/147.86 c 147s| 1 | 0 | 76362 | 110M| 0 |1824 |2442 |6440 |6440 |2442 |7045 |2037 | 0 | 0 | 9.744837e+02 | -- | Inf
152.43/152.57 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
152.43/152.57 c 152s| 1 | 0 | 78689 | 112M| 0 |1792 |2442 |6440 |6440 |2442 |7099 |2091 | 0 | 0 | 9.777674e+02 | -- | Inf
158.03/158.14 c 157s| 1 | 0 | 80817 | 113M| 0 |1745 |2442 |6440 |6440 |2442 |7164 |2156 | 0 | 0 | 9.952982e+02 | -- | Inf
162.13/162.23 c 161s| 1 | 0 | 82836 | 114M| 0 |1790 |2442 |6440 |6440 |2442 |7216 |2208 | 0 | 0 | 9.969834e+02 | -- | Inf
166.32/166.41 c 166s| 1 | 0 | 84840 | 116M| 0 |1773 |2442 |6440 |6440 |2442 |7254 |2246 | 0 | 0 | 9.977812e+02 | -- | Inf
169.63/169.71 c 169s| 1 | 0 | 86366 | 117M| 0 |1813 |2442 |6440 |6440 |2442 |7289 |2281 | 0 | 0 | 9.990221e+02 | -- | Inf
174.92/175.03 c 174s| 1 | 0 | 88487 | 118M| 0 |1836 |2442 |6440 |6440 |2442 |7090 |2324 | 0 | 0 | 1.000580e+03 | -- | Inf
181.82/181.98 c 181s| 1 | 0 | 91541 | 119M| 0 |1871 |2442 |6440 |6440 |2442 |7140 |2374 | 0 | 0 | 1.007228e+03 | -- | Inf
186.32/186.40 c 185s| 1 | 0 | 93831 | 121M| 0 |1823 |2442 |6440 |6440 |2442 |7186 |2420 | 0 | 0 | 1.009898e+03 | -- | Inf
194.71/194.88 c 194s| 1 | 0 | 97957 | 122M| 0 |1807 |2442 |6440 |6440 |2442 |7242 |2476 | 0 | 0 | 1.015131e+03 | -- | Inf
201.01/201.19 c 200s| 1 | 0 |100763 | 123M| 0 |1839 |2442 |6440 |6440 |2442 |7300 |2534 | 0 | 0 | 1.020029e+03 | -- | Inf
211.71/211.80 c 211s| 1 | 0 |105583 | 124M| 0 |1843 |2442 |6440 |6440 |2442 |7357 |2591 | 0 | 0 | 1.027645e+03 | -- | Inf
221.21/221.34 c 220s| 1 | 0 |109835 | 124M| 0 |1805 |2442 |6440 |6440 |2442 |7153 |2646 | 0 | 0 | 1.031901e+03 | -- | Inf
226.51/226.69 c 226s| 1 | 0 |112774 | 126M| 0 |1807 |2442 |6440 |6440 |2442 |7197 |2690 | 0 | 0 | 1.034638e+03 | -- | Inf
230.71/230.81 c 230s| 1 | 0 |114602 | 128M| 0 |1915 |2442 |6440 |6440 |2442 |7247 |2740 | 0 | 0 | 1.036189e+03 | -- | Inf
237.90/238.05 c 237s| 1 | 0 |117408 | 130M| 0 |1886 |2442 |6440 |6440 |2442 |7288 |2781 | 0 | 0 | 1.040081e+03 | -- | Inf
242.90/243.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
242.90/243.03 c 242s| 1 | 0 |119572 | 130M| 0 |1878 |2442 |6440 |6440 |2442 |7334 |2827 | 0 | 0 | 1.043096e+03 | -- | Inf
251.39/251.52 c 250s| 1 | 0 |123302 | 132M| 0 |1847 |2442 |6440 |6440 |2442 |7377 |2870 | 0 | 0 | 1.045170e+03 | -- | Inf
259.59/259.72 c 259s| 1 | 0 |126552 | 133M| 0 |1842 |2442 |6440 |6440 |2442 |7261 |2935 | 0 | 0 | 1.056002e+03 | -- | Inf
263.39/263.55 c 262s| 1 | 0 |128387 | 134M| 0 |1942 |2442 |6440 |6440 |2442 |7320 |2994 | 0 | 0 | 1.058830e+03 | -- | Inf
269.30/269.43 c 268s| 1 | 0 |130787 | 134M| 0 |1835 |2442 |6440 |6440 |2442 |7390 |3064 | 0 | 0 | 1.069525e+03 | -- | Inf
272.79/272.93 c 272s| 1 | 0 |132319 | 137M| 0 |1865 |2442 |6440 |6440 |2442 |7424 |3098 | 0 | 0 | 1.071773e+03 | -- | Inf
276.49/276.67 c 275s| 1 | 0 |133850 | 139M| 0 |1870 |2442 |6440 |6440 |2442 |7459 |3133 | 0 | 0 | 1.073391e+03 | -- | Inf
280.59/280.78 c 280s| 1 | 0 |135707 | 141M| 0 |1900 |2442 |6440 |6440 |2442 |7504 |3178 | 0 | 0 | 1.074963e+03 | -- | Inf
288.28/288.40 c 287s| 1 | 0 |138966 | 141M| 0 |1992 |2442 |6440 |6440 |2442 |7302 |3224 | 0 | 0 | 1.077026e+03 | -- | Inf
294.49/294.62 c 293s| 1 | 0 |142121 | 143M| 0 |1944 |2442 |6440 |6440 |2442 |7337 |3259 | 0 | 0 | 1.078568e+03 | -- | Inf
299.69/299.85 c 299s| 1 | 0 |144827 | 145M| 0 |1955 |2442 |6440 |6440 |2442 |7383 |3305 | 0 | 0 | 1.079564e+03 | -- | Inf
308.09/308.28 c 307s| 1 | 0 |148473 | 146M| 0 |2030 |2442 |6440 |6440 |2442 |7435 |3357 | 0 | 0 | 1.082322e+03 | -- | Inf
319.08/319.26 c 318s| 1 | 0 |153084 | 146M| 0 |1955 |2442 |6440 |6440 |2442 |7493 |3415 | 0 | 0 | 1.086306e+03 | -- | Inf
325.68/325.85 c 324s| 1 | 0 |156388 | 147M| 0 |1951 |2442 |6440 |6440 |2442 |7548 |3470 | 0 | 0 | 1.093198e+03 | -- | Inf
330.38/330.51 c 329s| 1 | 0 |158446 | 148M| 0 |1982 |2442 |6440 |6440 |2442 |7310 |3525 | 0 | 0 | 1.095551e+03 | -- | Inf
334.78/335.00 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
334.78/335.00 c 334s| 1 | 0 |160640 | 150M| 0 |1948 |2442 |6440 |6440 |2442 |7344 |3559 | 0 | 0 | 1.097239e+03 | -- | Inf
340.87/341.00 c 340s| 1 | 0 |163525 | 152M| 0 |1946 |2442 |6440 |6440 |2442 |7380 |3595 | 0 | 0 | 1.098778e+03 | -- | Inf
346.97/347.10 c 346s| 1 | 0 |166370 | 153M| 0 |2180 |2442 |6440 |6440 |2442 |7431 |3646 | 0 | 0 | 1.100171e+03 | -- | Inf
356.57/356.77 c 355s| 1 | 0 |169785 | 154M| 0 |1960 |2442 |6440 |6440 |2442 |7508 |3723 | 0 | 0 | 1.110251e+03 | -- | Inf
362.36/362.59 c 361s| 1 | 0 |172786 | 155M| 0 |2025 |2442 |6440 |6440 |2442 |7540 |3755 | 0 | 0 | 1.111966e+03 | -- | Inf
372.77/372.93 c 371s| 1 | 0 |176807 | 156M| 0 |2044 |2442 |6440 |6440 |2442 |7368 |3806 | 0 | 0 | 1.116364e+03 | -- | Inf
380.47/380.66 c 379s| 1 | 0 |179799 | 157M| 0 |1960 |2442 |6440 |6440 |2442 |7443 |3881 | 0 | 0 | 1.127797e+03 | -- | Inf
385.26/385.42 c 384s| 1 | 0 |181635 | 157M| 0 |1986 |2442 |6440 |6440 |2442 |7509 |3947 | 0 | 0 | 1.136213e+03 | -- | Inf
389.26/389.49 c 388s| 1 | 0 |182999 | 158M| 0 |1957 |2442 |6440 |6440 |2442 |7562 |4000 | 0 | 0 | 1.139398e+03 | -- | Inf
391.56/391.78 c 390s| 1 | 0 |184067 | 160M| 0 |1980 |2442 |6440 |6440 |2442 |7594 |4032 | 0 | 0 | 1.140083e+03 | -- | Inf
394.85/395.06 c 393s| 1 | 0 |185666 | 161M| 0 |1950 |2442 |6440 |6440 |2442 |7638 |4076 | 0 | 0 | 1.141631e+03 | -- | Inf
398.25/398.42 c 397s| 1 | 0 |187210 | 162M| 0 |1939 |2442 |6440 |6440 |2442 |7451 |4126 | 0 | 0 | 1.142579e+03 | -- | Inf
404.16/404.34 c 403s| 1 | 0 |189822 | 164M| 0 |2026 |2442 |6440 |6440 |2442 |7485 |4160 | 0 | 0 | 1.143815e+03 | -- | Inf
408.75/408.90 c 407s| 1 | 0 |191582 | 165M| 0 |2140 |2442 |6440 |6440 |2442 |7531 |4206 | 0 | 0 | 1.147044e+03 | -- | Inf
415.85/416.01 c 414s| 1 | 0 |194251 | 165M| 0 |2035 |2442 |6440 |6440 |2442 |7597 |4272 | 0 | 0 | 1.155372e+03 | -- | Inf
419.56/419.75 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
419.56/419.75 c 418s| 1 | 0 |196109 | 166M| 0 |2100 |2442 |6440 |6440 |2442 |7637 |4312 | 0 | 0 | 1.157455e+03 | -- | Inf
426.15/426.35 c 425s| 1 | 0 |198828 | 167M| 0 |2046 |2442 |6440 |6440 |2442 |7680 |4355 | 0 | 0 | 1.163507e+03 | -- | Inf
431.15/431.39 c 430s| 1 | 0 |201325 | 168M| 0 |2061 |2442 |6440 |6440 |2442 |7420 |4389 | 0 | 0 | 1.165747e+03 | -- | Inf
434.95/435.17 c 433s| 1 | 0 |203190 | 169M| 0 |2125 |2442 |6440 |6440 |2442 |7456 |4425 | 0 | 0 | 1.166507e+03 | -- | Inf
443.05/443.28 c 442s| 1 | 0 |206485 | 170M| 0 |2034 |2442 |6440 |6440 |2442 |7523 |4492 | 0 | 0 | 1.172134e+03 | -- | Inf
447.24/447.45 c 446s| 1 | 0 |208430 | 171M| 0 |2019 |2442 |6440 |6440 |2442 |7563 |4532 | 0 | 0 | 1.173652e+03 | -- | Inf
450.84/451.03 c 449s| 1 | 0 |209945 | 172M| 0 |2035 |2442 |6440 |6440 |2442 |7605 |4574 | 0 | 0 | 1.174927e+03 | -- | Inf
454.34/454.51 c 453s| 1 | 0 |211429 | 173M| 0 |2039 |2442 |6440 |6440 |2442 |7629 |4598 | 0 | 0 | 1.175406e+03 | -- | Inf
458.54/458.70 c 457s| 1 | 0 |213215 | 174M| 0 |2109 |2442 |6440 |6440 |2442 |7462 |4628 | 0 | 0 | 1.176179e+03 | -- | Inf
463.94/464.11 c 462s| 1 | 0 |215063 | 174M| 0 |2079 |2442 |6440 |6440 |2442 |7506 |4672 | 0 | 0 | 1.179408e+03 | -- | Inf
467.94/468.19 c 466s| 1 | 0 |217011 | 175M| 0 |2077 |2442 |6440 |6440 |2442 |7542 |4708 | 0 | 0 | 1.180866e+03 | -- | Inf
473.44/473.68 c 472s| 1 | 0 |219524 | 176M| 0 |2063 |2442 |6440 |6440 |2442 |7577 |4743 | 0 | 0 | 1.182545e+03 | -- | Inf
478.23/478.42 c 477s| 1 | 0 |221654 | 178M| 0 |2106 |2442 |6440 |6440 |2442 |7605 |4771 | 0 | 0 | 1.183529e+03 | -- | Inf
487.53/487.76 c 486s| 1 | 0 |225350 | 178M| 0 |2114 |2442 |6440 |6440 |2442 |7643 |4809 | 0 | 0 | 1.186359e+03 | -- | Inf
497.63/497.86 c 496s| 1 | 0 |228932 | 178M| 0 |2108 |2442 |6440 |6440 |2442 |7444 |4865 | 0 | 0 | 1.192550e+03 | -- | Inf
500.93/501.16 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
500.93/501.16 c 499s| 1 | 0 |230226 | 179M| 0 |2059 |2442 |6440 |6440 |2442 |7462 |4883 | 0 | 0 | 1.192978e+03 | -- | Inf
505.03/505.21 c 503s| 1 | 0 |232135 | 182M| 0 |2097 |2442 |6440 |6440 |2442 |7488 |4909 | 0 | 0 | 1.193711e+03 | -- | Inf
510.02/510.22 c 508s| 1 | 0 |234780 | 183M| 0 |2040 |2442 |6440 |6440 |2442 |7512 |4933 | 0 | 0 | 1.195234e+03 | -- | Inf
513.23/513.46 c 512s| 1 | 0 |236294 | 184M| 0 |2032 |2442 |6440 |6440 |2442 |7545 |4966 | 0 | 0 | 1.196042e+03 | -- | Inf
517.62/517.81 c 516s| 1 | 0 |238379 | 185M| 0 |2092 |2442 |6440 |6440 |2442 |7574 |4995 | 0 | 0 | 1.197292e+03 | -- | Inf
526.02/526.22 c 524s| 1 | 0 |241670 | 185M| 0 |2086 |2442 |6440 |6440 |2442 |7433 |5047 | 0 | 0 | 1.202659e+03 | -- | Inf
532.22/532.47 c 530s| 1 | 0 |244094 | 185M| 0 |2022 |2442 |6440 |6440 |2442 |7477 |5091 | 0 | 0 | 1.206639e+03 | -- | Inf
537.11/537.31 c 535s| 1 | 0 |246427 | 186M| 0 |2063 |2442 |6440 |6440 |2442 |7514 |5128 | 0 | 0 | 1.208065e+03 | -- | Inf
541.22/541.46 c 539s| 1 | 0 |247700 | 187M| 0 |2000 |2442 |6440 |6440 |2442 |7546 |5160 | 0 | 0 | 1.210318e+03 | -- | Inf
543.91/544.13 c 542s| 1 | 0 |248914 | 188M| 0 |2035 |2442 |6440 |6440 |2442 |7569 |5183 | 0 | 0 | 1.211002e+03 | -- | Inf
547.42/547.69 c 546s| 1 | 0 |250443 | 189M| 0 |2030 |2442 |6440 |6440 |2442 |7602 |5216 | 0 | 0 | 1.212565e+03 | -- | Inf
550.92/551.13 c 549s| 1 | 0 |252081 | 190M| 0 |2079 |2442 |6440 |6440 |2442 |7447 |5251 | 0 | 0 | 1.213971e+03 | -- | Inf
554.91/555.13 c 553s| 1 | 0 |253640 | 186M| 0 |2065 |2442 |6440 |6440 |2442 |7461 |5265 | 0 | 0 | 1.214621e+03 | -- | Inf
561.11/561.31 c 559s| 1 | 0 |255511 | 183M| 0 |2050 |2442 |6440 |6440 |2442 |7498 |5302 | 0 | 0 | 1.216600e+03 | -- | Inf
565.31/565.58 c 563s| 1 | 0 |256645 | 180M| 0 |1979 |2442 |6440 |6440 |2442 |7540 |5344 | 0 | 0 | 1.218712e+03 | -- | Inf
567.41/567.63 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
567.41/567.63 c 565s| 1 | 0 |257289 | 178M| 0 |1970 |2442 |6440 |6440 |2442 |7559 |5363 | 0 | 0 | 1.219424e+03 | -- | Inf
569.90/570.12 c 568s| 1 | 0 |258179 | 175M| 0 |1995 |2442 |6440 |6440 |2442 |7582 |5386 | 0 | 0 | 1.219700e+03 | -- | Inf
573.41/573.66 c 572s| 1 | 0 |259376 | 172M| 0 |1979 |2442 |6440 |6440 |2442 |7385 |5405 | 0 | 0 | 1.220278e+03 | -- | Inf
575.81/576.04 c 574s| 1 | 0 |260341 | 169M| 0 |2046 |2442 |6440 |6440 |2442 |7407 |5427 | 0 | 0 | 1.220608e+03 | -- | Inf
582.21/582.41 c 580s| 1 | 0 |262146 | 165M| 0 |1979 |2442 |6440 |6440 |2442 |7453 |5473 | 0 | 0 | 1.223557e+03 | -- | Inf
585.60/585.85 c 584s| 1 | 0 |264049 | 163M| 0 |2070 |2442 |6440 |6440 |2442 |7481 |5501 | 0 | 0 | 1.225168e+03 | -- | Inf
588.31/588.57 c 586s| 1 | 0 |264929 | 161M| 0 |2054 |2442 |6440 |6440 |2442 |7498 |5518 | 0 | 0 | 1.225391e+03 | -- | Inf
593.81/594.05 c 592s| 1 | 0 |267063 | 158M| 0 |2051 |2442 |6440 |6440 |2442 |7534 |5554 | 0 | 0 | 1.227711e+03 | -- | Inf
598.60/598.81 c 597s| 1 | 0 |268206 | 153M| 0 |2081 |2442 |6440 |6440 |2442 |7400 |5585 | 0 | 0 | 1.228557e+03 | -- | Inf
603.29/603.50 c 601s| 1 | 0 |269967 | 148M| 0 |2071 |2442 |6440 |6440 |2442 |7426 |5611 | 0 | 0 | 1.230529e+03 | -- | Inf
607.30/607.58 c 605s| 1 | 0 |271686 | 142M| 0 |1986 |2442 |6440 |6440 |2442 |7444 |5629 | 0 | 0 | 1.231815e+03 | -- | Inf
611.49/611.74 c 609s| 1 | 0 |273457 | 136M| 0 |2007 |2442 |6440 |6440 |2442 |7472 |5657 | 0 | 0 | 1.234964e+03 | -- | Inf
613.40/613.67 c 611s| 1 | 0 |274176 | 133M| 0 |2036 |2442 |6440 |6440 |2442 |7488 |5673 | 0 | 0 | 1.235312e+03 | -- | Inf
615.90/616.17 c 614s| 1 | 0 |275052 | 129M| 0 |2077 |2442 |6440 |6440 |2442 |7509 |5694 | 0 | 0 | 1.235914e+03 | -- | Inf
622.39/622.62 c 620s| 1 | 0 |277549 | 125M| 0 |2074 |2442 |6440 |6440 |2442 |7373 |5718 | 0 | 0 | 1.237821e+03 | -- | Inf
625.78/626.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
625.78/626.03 c 624s| 1 | 0 |278445 | 123M| 0 |2040 |2442 |6440 |6440 |2442 |7396 |5741 | 0 | 0 | 1.238254e+03 | -- | Inf
630.98/631.30 c 629s| 1 | 0 |280766 | 120M| 0 |2062 |2442 |6440 |6440 |2442 |7422 |5767 | 0 | 0 | 1.240398e+03 | -- | Inf
634.18/634.48 c 632s| 1 | 0 |282328 | 119M| 0 |2027 |2442 |6440 |6440 |2442 |7453 |5798 | 0 | 0 | 1.241317e+03 | -- | Inf
638.99/639.23 c 637s| 1 | 0 |284482 | 119M| 0 |2031 |2442 |6440 |6440 |2442 |7501 |5846 | 0 | 0 | 1.243375e+03 | -- | Inf
642.88/643.17 c 641s| 1 | 0 |285932 | 118M| 0 |1994 |2442 |6440 |6440 |2442 |7532 |5877 | 0 | 0 | 1.245258e+03 | -- | Inf
646.88/647.11 c 645s| 1 | 0 |288094 | 118M| 0 |1982 |2442 |6440 |6440 |2442 |7388 |5912 | 0 | 0 | 1.247329e+03 | -- | Inf
649.48/649.73 c 647s| 1 | 0 |289778 | 117M| 0 |2008 |2442 |6440 |6440 |2442 |7408 |5932 | 0 | 0 | 1.248187e+03 | -- | Inf
651.38/651.65 c 649s| 1 | 0 |290696 | 116M| 0 |2045 |2442 |6440 |6440 |2442 |7444 |5968 | 0 | 0 | 1.248610e+03 | -- | Inf
656.18/656.46 c 654s| 1 | 0 |292438 | 116M| 0 |1994 |2442 |6440 |6440 |2442 |7473 |5997 | 0 | 0 | 1.250348e+03 | -- | Inf
661.47/661.76 c 659s| 1 | 0 |294739 | 114M| 0 |1982 |2442 |6440 |6440 |2442 |7507 |6031 | 0 | 0 | 1.251580e+03 | -- | Inf
663.87/664.11 c 662s| 1 | 0 |295357 | 111M| 0 |1987 |2442 |6440 |6440 |2442 |7527 |6051 | 0 | 0 | 1.253081e+03 | -- | Inf
666.98/667.29 c 665s| 1 | 0 |296247 | 110M| 0 |2047 |2442 |6440 |6440 |2442 |7424 |6084 | 0 | 0 | 1.255248e+03 | -- | Inf
671.07/671.30 c 669s| 1 | 0 |297621 | 109M| 0 |2032 |2442 |6440 |6440 |2442 |7441 |6101 | 0 | 0 | 1.256865e+03 | -- | Inf
674.67/674.95 c 672s| 1 | 0 |298633 | 108M| 0 |1996 |2442 |6440 |6440 |2442 |7479 |6139 | 0 | 0 | 1.257913e+03 | -- | Inf
679.27/679.50 c 677s| 1 | 0 |299741 | 107M| 0 |2035 |2442 |6440 |6440 |2442 |7508 |6168 | 0 | 0 | 1.258742e+03 | -- | Inf
681.77/682.08 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
681.77/682.08 c 680s| 1 | 0 |300772 | 106M| 0 |1989 |2442 |6440 |6440 |2442 |7529 |6189 | 0 | 0 | 1.259585e+03 | -- | Inf
685.17/685.44 c 683s| 1 | 0 |301142 | 105M| 0 |2030 |2442 |6440 |6440 |2442 |7543 |6203 | 0 | 0 | 1.259762e+03 | -- | Inf
687.07/687.39 c 685s| 1 | 0 |301842 | 104M| 0 |2016 |2442 |6440 |6440 |2442 |7384 |6212 | 0 | 0 | 1.259953e+03 | -- | Inf
691.17/691.46 c 689s| 1 | 0 |303399 | 103M| 0 |2027 |2442 |6440 |6440 |2442 |7406 |6234 | 0 | 0 | 1.260662e+03 | -- | Inf
693.87/694.16 c 692s| 1 | 0 |304072 | 103M| 0 |1963 |2442 |6440 |6440 |2442 |7428 |6256 | 0 | 0 | 1.260700e+03 | -- | Inf
697.67/697.94 c 695s| 1 | 0 |305804 | 103M| 0 |2047 |2442 |6440 |6440 |2442 |7439 |6267 | 0 | 0 | 1.261249e+03 | -- | Inf
700.16/700.41 c 698s| 1 | 0 |307041 | 102M| 0 |2032 |2442 |6440 |6440 |2442 |7458 |6286 | 0 | 0 | 1.261493e+03 | -- | Inf
703.57/703.87 c 701s| 1 | 0 |308200 | 101M| 0 |2056 |2442 |6440 |6440 |2442 |7474 |6302 | 0 | 0 | 1.262124e+03 | -- | Inf
706.86/707.17 c 705s| 1 | 0 |309523 | 100M| 0 |2041 |2442 |6440 |6440 |2442 |7355 |6317 | 0 | 0 | 1.262431e+03 | -- | Inf
711.86/712.10 c 709s| 1 | 0 |311242 | 98M| 0 |2077 |2442 |6440 |6440 |2442 |7374 |6336 | 0 | 0 | 1.263390e+03 | -- | Inf
715.06/715.37 c 713s| 1 | 0 |312175 | 97M| 0 |1992 |2442 |6440 |6440 |2442 |7395 |6357 | 0 | 0 | 1.264810e+03 | -- | Inf
717.56/717.89 c 715s| 1 | 0 |313450 | 97M| 0 |2050 |2442 |6440 |6440 |2442 |7422 |6384 | 0 | 0 | 1.265354e+03 | -- | Inf
720.76/721.02 c 718s| 1 | 0 |314166 | 96M| 0 |2033 |2442 |6440 |6440 |2442 |7440 |6402 | 0 | 0 | 1.265662e+03 | -- | Inf
723.47/723.76 c 721s| 1 | 0 |314530 | 95M| 0 |2038 |2442 |6440 |6440 |2442 |7448 |6410 | 0 | 0 | 1.265676e+03 | -- | Inf
727.55/727.87 c 725s| 1 | 0 |315811 | 94M| 0 |2068 |2442 |6440 |6440 |2442 |7372 |6418 | 0 | 0 | 1.265912e+03 | -- | Inf
731.46/731.72 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
731.46/731.72 c 729s| 1 | 0 |317348 | 94M| 0 |2020 |2442 |6440 |6440 |2442 |7392 |6438 | 0 | 0 | 1.267076e+03 | -- | Inf
736.66/736.99 c 734s| 1 | 0 |319568 | 91M| 0 |2019 |2442 |6440 |6440 |2442 |7426 |6472 | 0 | 0 | 1.269697e+03 | -- | Inf
740.25/740.54 c 738s| 1 | 0 |320828 | 90M| 0 |2031 |2442 |6440 |6440 |2442 |7462 |6508 | 0 | 0 | 1.271652e+03 | -- | Inf
742.65/742.99 c 740s| 1 | 0 |322321 | 89M| 0 |2042 |2442 |6440 |6440 |2442 |7494 |6540 | 0 | 0 | 1.273348e+03 | -- | Inf
745.95/746.24 c 743s| 1 | 0 |323159 | 88M| 0 |2005 |2442 |6440 |6440 |2442 |7516 |6562 | 0 | 0 | 1.274226e+03 | -- | Inf
749.56/749.83 c 747s| 1 | 0 |323983 | 86M| 0 |1997 |2442 |6440 |6440 |2442 |7428 |6575 | 0 | 0 | 1.274650e+03 | -- | Inf
752.55/752.81 c 750s| 1 | 0 |324658 | 85M| 0 |2004 |2442 |6440 |6440 |2442 |7441 |6588 | 0 | 0 | 1.275097e+03 | -- | Inf
755.15/755.49 c 753s| 1 | 0 |325102 | 84M| 0 |2016 |2442 |6440 |6440 |2442 |7453 |6600 | 0 | 0 | 1.275159e+03 | -- | Inf
760.75/761.00 c 758s| 1 | 0 |327841 | 84M| 0 |2055 |2442 |6440 |6440 |2442 |7465 |6612 | 0 | 0 | 1.275446e+03 | -- | Inf
763.95/764.27 c 761s| 1 | 0 |328253 | 83M| 0 |2038 |2442 |6440 |6440 |2442 |7475 |6622 | 0 | 0 | 1.275446e+03 | -- | Inf
767.15/767.49 c 765s| 1 | 0 |328456 | 82M| 0 |2038 |2442 |6440 |6440 |2442 |7481 |6628 | 0 | 0 | 1.275446e+03 | -- | Inf
770.25/770.59 c 768s| 1 | 0 |328501 | 81M| 0 |2041 |2442 |6440 |6440 |2442 |7386 |6631 | 0 | 0 | 1.275446e+03 | -- | Inf
773.54/773.84 c 771s| 1 | 0 |328668 | 80M| 0 |2038 |2442 |6440 |6440 |2442 |7389 |6634 | 0 | 0 | 1.275446e+03 | -- | Inf
776.44/776.71 c 774s| 1 | 0 |328837 | 79M| 0 |2046 |2442 |6440 |6440 |2442 |7391 |6636 | 0 | 0 | 1.275446e+03 | -- | Inf
781.44/781.72 c 779s| 1 | 2 |328837 | 79M| 0 |2046 |2442 |6440 |6440 |2442 |7391 |6636 | 0 | 19 | 1.275446e+03 | -- | Inf
1796.34/1796.90 c
1796.34/1796.90 c SCIP Status : solving was interrupted [time limit reached]
1796.34/1796.91 c Solving Time (sec) : 1791.00
1796.34/1796.91 c Solving Nodes : 173
1796.34/1796.91 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.34/1796.91 c Dual Bound : +1.27966183782024e+03
1796.34/1796.91 c Gap : infinite
1796.34/1796.91 c NODE 173
1796.34/1796.91 c DUAL BOUND 1279.66
1796.34/1796.91 c PRIMAL BOUND 1e+20
1796.34/1796.91 c GAP 1e+20
1796.34/1796.91 s UNKNOWN
1796.34/1796.91 c SCIP Status : solving was interrupted [time limit reached]
1796.34/1796.91 c Solving Time : 1791.00
1796.34/1796.91 c Original Problem :
1796.34/1796.91 c Problem name : HOME/instance-1869048-1245155780.opb
1796.34/1796.91 c Variables : 2630 (2630 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.34/1796.91 c Constraints : 6569 initial, 6569 maximal
1796.34/1796.91 c Presolved Problem :
1796.34/1796.91 c Problem name : t_HOME/instance-1869048-1245155780.opb
1796.34/1796.91 c Variables : 2442 (2442 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.34/1796.91 c Constraints : 6440 initial, 6674 maximal
1796.34/1796.91 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1796.34/1796.91 c trivial : 0.00 0 0 0 0 0 0 0 0
1796.34/1796.91 c dualfix : 0.00 0 0 0 0 0 0 0 0
1796.34/1796.91 c boundshift : 0.00 0 0 0 0 0 0 0 0
1796.34/1796.91 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1796.34/1796.91 c implics : 0.02 0 3 0 0 0 0 0 0
1796.34/1796.91 c probing : 0.40 2 183 0 0 0 0 0 0
1796.34/1796.91 c linear : 0.10 0 0 0 0 0 122 122 0
1796.34/1796.91 c logicor : 0.14 0 0 0 0 0 7 0 0
1796.34/1796.91 c root node : - 0 - - 0 - - - -
1796.34/1796.91 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1796.34/1796.91 c integral : 0 0 0 174 0 0 1 0 0 346
1796.34/1796.91 c logicor : 6440+ 163 25832 0 0 99 456 0 0 0
1796.34/1796.91 c countsols : 0 0 0 0 0 0 0 0 0 0
1796.34/1796.91 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1796.34/1796.91 c integral : 387.73 0.00 0.00 387.73 0.00
1796.34/1796.91 c logicor : 0.53 0.12 0.41 0.00 0.00
1796.34/1796.91 c countsols : 0.00 0.00 0.00 0.00 0.00
1796.34/1796.91 c Propagators : Time Calls Cutoffs DomReds
1796.34/1796.91 c rootredcost : 0.01 0 0 0
1796.34/1796.91 c pseudoobj : 2.45 20666 0 0
1796.34/1796.91 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.34/1796.91 c propagation : 0.03 99 99 143 10.8 23 4.2 -
1796.34/1796.91 c infeasible LP : 0.08 48 48 132 27.1 3 4.0 0
1796.34/1796.91 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.34/1796.91 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.34/1796.91 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.34/1796.91 c applied globally : - - - 244 14.1 - - -
1796.34/1796.91 c applied locally : - - - 0 0.0 - - -
1796.34/1796.91 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.34/1796.91 c cut pool : 7.63 162 - - 5959 - (maximal pool size: 36415)
1796.34/1796.91 c redcost : 0.04 336 0 0 0 0
1796.34/1796.91 c impliedbounds : 0.18 163 0 0 1864 0
1796.34/1796.91 c intobj : 0.00 0 0 0 0 0
1796.34/1796.91 c gomory : 233.94 163 0 0 74918 0
1796.34/1796.91 c strongcg : 6.80 20 0 0 10000 0
1796.34/1796.91 c cmir : 0.82 10 0 0 0 0
1796.34/1796.91 c flowcover : 0.65 10 0 0 0 0
1796.34/1796.91 c clique : 0.32 163 0 0 82 0
1796.34/1796.91 c zerohalf : 0.00 0 0 0 0 0
1796.34/1796.91 c mcf : 0.01 1 0 0 0 0
1796.34/1796.91 c Pricers : Time Calls Vars
1796.34/1796.91 c problem variables: 0.00 0 0
1796.34/1796.91 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.34/1796.91 c relpscost : 387.73 174 0 1 0 0 346
1796.34/1796.91 c pscost : 0.00 0 0 0 0 0 0
1796.34/1796.91 c inference : 0.00 0 0 0 0 0 0
1796.34/1796.91 c mostinf : 0.00 0 0 0 0 0 0
1796.34/1796.91 c leastinf : 0.00 0 0 0 0 0 0
1796.34/1796.91 c fullstrong : 0.00 0 0 0 0 0 0
1796.34/1796.91 c allfullstrong : 0.00 0 0 0 0 0 0
1796.34/1796.91 c random : 0.00 0 0 0 0 0 0
1796.34/1796.91 c Primal Heuristics : Time Calls Found
1796.34/1796.91 c LP solutions : 0.00 - 0
1796.34/1796.91 c pseudo solutions : 0.00 - 0
1796.34/1796.91 c oneopt : 0.00 0 0
1796.34/1796.91 c crossover : 0.00 0 0
1796.34/1796.91 c simplerounding : 0.00 0 0
1796.34/1796.91 c rounding : 0.51 187 0
1796.34/1796.91 c shifting : 2.18 102 0
1796.34/1796.91 c intshifting : 0.00 0 0
1796.34/1796.91 c fixandinfer : 0.00 0 0
1796.34/1796.91 c feaspump : 47.33 3 0
1796.34/1796.91 c coefdiving : 55.87 9 0
1796.34/1796.91 c pscostdiving : 61.07 10 0
1796.34/1796.91 c fracdiving : 66.35 11 0
1796.34/1796.91 c veclendiving : 54.37 10 0
1796.34/1796.91 c intdiving : 0.00 0 0
1796.34/1796.91 c actconsdiving : 0.00 0 0
1796.34/1796.91 c objpscostdiving : 109.26 3 0
1796.34/1796.91 c rootsoldiving : 51.94 2 0
1796.34/1796.91 c linesearchdiving : 59.11 14 0
1796.34/1796.91 c guideddiving : 0.00 0 0
1796.34/1796.91 c octane : 0.00 0 0
1796.34/1796.91 c rens : 0.01 0 0
1796.34/1796.91 c rins : 0.00 0 0
1796.34/1796.91 c localbranching : 0.00 0 0
1796.34/1796.91 c mutation : 0.00 0 0
1796.34/1796.91 c dins : 0.00 0 0
1796.34/1796.91 c LP : Time Calls Iterations Iter/call Iter/sec
1796.34/1796.91 c primal LP : 0.40 0 0 0.00 0.00
1796.34/1796.91 c dual LP : 640.06 337 444298 1318.39 694.15
1796.34/1796.91 c barrier LP : 0.00 0 0 0.00 -
1796.34/1796.91 c diving/probing LP: 479.37 6610 338869 51.27 706.90
1796.34/1796.91 c strong branching : 387.50 832 332871 400.09 859.02
1796.34/1796.91 c (at root node) : - 19 3106 163.47 -
1796.34/1796.91 c conflict analysis: 0.00 0 0 0.00 -
1796.34/1796.91 c B&B Tree :
1796.34/1796.91 c number of runs : 1
1796.34/1796.91 c nodes : 173
1796.34/1796.91 c nodes (total) : 173
1796.34/1796.91 c nodes left : 174
1796.34/1796.91 c max depth : 25
1796.34/1796.91 c max depth (total): 25
1796.34/1796.91 c backtracks : 76 (43.9%)
1796.34/1796.91 c delayed cutoffs : 0
1796.34/1796.91 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.34/1796.91 c avg switch length: 4.29
1796.34/1796.91 c switching time : 0.06
1796.34/1796.91 c Solution :
1796.34/1796.91 c Solutions found : 0 (0 improvements)
1796.34/1796.91 c Primal Bound : -
1796.34/1796.91 c Dual Bound : +1.27966183782024e+03
1796.34/1796.91 c Gap : infinite
1796.34/1796.91 c Root Dual Bound : +1.27544588333306e+03
1796.44/1797.08 c Time complete: 1796.53.