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-1869106-1245158911.opb>
0.09/0.11 c original problem has 2650 variables (2650 bin, 0 int, 0 impl, 0 cont) and 6619 constraints
0.09/0.15 c start presolving problem
0.09/0.15 c presolving:
0.19/0.28 c (round 1) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6495 upgd conss, 5626 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, 6496 upgd conss, 5626 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, 6497 upgd conss, 5626 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, 6497 upgd conss, 7088 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, 6497 upgd conss, 7126 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, 6497 upgd conss, 7126 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, 6497 upgd conss, 27314 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, 6497 upgd conss, 46770 impls, 0 clqs
0.79/0.83 c (0.7s) probing: 548/2650 (20.7%) - 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, 6497 upgd conss, 48372 impls, 0 clqs
0.79/0.85 c (0.7s) probing: 558/2650 (21.1%) - 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 48372 implications, 0 cliques
0.79/0.85 c presolved problem has 2462 variables (2462 bin, 0 int, 0 impl, 0 cont) and 6490 constraints
0.79/0.85 c 6490 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.64
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
4.69/4.72 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.69/4.72 c 4.5s| 1 | 0 | 5296 | 15M| 0 |1665 |2462 |6490 |6490 |2462 |6303 | 0 | 0 | 0 | 7.947391e+02 | -- | Inf
16.49/16.52 c 16.2s| 1 | 0 | 16548 | 19M| 0 |1889 |2462 |6490 |6490 |2462 |7278 | 975 | 0 | 0 | 8.195314e+02 | -- | Inf
19.08/19.16 c 18.9s| 1 | 0 | 18070 | 23M| 0 |1612 |2462 |6490 |6490 |2462 |7314 |1011 | 0 | 0 | 8.261467e+02 | -- | Inf
21.08/21.12 c 20.8s| 1 | 0 | 19099 | 26M| 0 |2002 |2462 |6490 |6490 |2462 |7342 |1039 | 0 | 0 | 8.280275e+02 | -- | Inf
23.38/23.42 c 23.1s| 1 | 0 | 20537 | 31M| 0 |1597 |2462 |6490 |6490 |2462 |7367 |1064 | 0 | 0 | 8.303965e+02 | -- | Inf
26.68/26.73 c 26.4s| 1 | 0 | 22489 | 34M| 0 |1609 |2462 |6490 |6490 |2462 |7405 |1102 | 0 | 0 | 8.337217e+02 | -- | Inf
31.88/31.98 c 31.6s| 1 | 0 | 24844 | 36M| 0 |1587 |2462 |6490 |6490 |2462 |7445 |1142 | 0 | 0 | 8.363955e+02 | -- | Inf
35.38/35.47 c 35.1s| 1 | 0 | 26718 | 38M| 0 |1623 |2462 |6490 |6490 |2462 |7479 |1176 | 0 | 0 | 8.394767e+02 | -- | Inf
39.68/39.72 c 39.3s| 1 | 0 | 28967 | 42M| 0 |1956 |2462 |6490 |6490 |2462 |7514 |1211 | 0 | 0 | 8.429674e+02 | -- | Inf
43.18/43.27 c 42.9s| 1 | 0 | 30792 | 47M| 0 |2003 |2462 |6490 |6490 |2462 |7541 |1238 | 0 | 0 | 8.443041e+02 | -- | Inf
47.18/47.22 c 46.8s| 1 | 0 | 32503 | 51M| 0 |2027 |2462 |6490 |6490 |2462 |7571 |1268 | 0 | 0 | 8.466870e+02 | -- | Inf
59.27/59.34 c 58.9s| 1 | 0 | 36622 | 54M| 0 |1976 |2462 |6490 |6490 |2462 |7606 |1303 | 0 | 0 | 8.517500e+02 | -- | Inf
67.77/67.80 c 67.3s| 1 | 0 | 39649 | 59M| 0 |1916 |2462 |6490 |6490 |2462 |7692 |1389 | 0 | 0 | 8.789326e+02 | -- | Inf
72.48/72.53 c 72.0s| 1 | 0 | 41977 | 62M| 0 |1849 |2462 |6490 |6490 |2462 |7722 |1419 | 0 | 0 | 8.833196e+02 | -- | Inf
78.67/78.77 c 78.2s| 1 | 0 | 45130 | 65M| 0 |2101 |2462 |6490 |6490 |2462 |6780 |1454 | 0 | 0 | 8.855075e+02 | -- | Inf
83.37/83.44 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
83.37/83.44 c 82.9s| 1 | 0 | 47605 | 71M| 0 |1883 |2462 |6490 |6490 |2462 |6811 |1485 | 0 | 0 | 8.869124e+02 | -- | Inf
88.66/88.71 c 88.1s| 1 | 0 | 50185 | 74M| 0 |1892 |2462 |6490 |6490 |2462 |6857 |1531 | 0 | 0 | 8.911829e+02 | -- | Inf
91.16/91.22 c 90.6s| 1 | 0 | 51308 | 77M| 0 |1828 |2462 |6490 |6490 |2462 |6905 |1579 | 0 | 0 | 8.956336e+02 | -- | Inf
93.76/93.88 c 93.2s| 1 | 0 | 52620 | 80M| 0 |1864 |2462 |6490 |6490 |2462 |6946 |1620 | 0 | 0 | 8.977215e+02 | -- | Inf
98.66/98.76 c 98.1s| 1 | 0 | 54793 | 85M| 0 |1602 |2462 |6490 |6490 |2462 |6981 |1655 | 0 | 0 | 9.011733e+02 | -- | Inf
107.46/107.56 c 107s| 1 | 0 | 58558 | 88M| 0 |1675 |2462 |6490 |6490 |2462 |6888 |1693 | 0 | 0 | 9.041566e+02 | -- | Inf
111.85/111.96 c 111s| 1 | 0 | 60964 | 89M| 0 |1721 |2462 |6490 |6490 |2462 |6923 |1728 | 0 | 0 | 9.062087e+02 | -- | Inf
115.66/115.73 c 115s| 1 | 0 | 62548 | 92M| 0 |1722 |2462 |6490 |6490 |2462 |6948 |1753 | 0 | 0 | 9.098091e+02 | -- | Inf
120.26/120.39 c 120s| 1 | 0 | 64597 | 93M| 0 |1722 |2462 |6490 |6490 |2462 |6985 |1790 | 0 | 0 | 9.140478e+02 | -- | Inf
126.25/126.36 c 126s| 1 | 0 | 67226 | 95M| 0 |1711 |2462 |6490 |6490 |2462 |7018 |1823 | 0 | 0 | 9.187063e+02 | -- | Inf
130.66/130.77 c 130s| 1 | 0 | 69195 | 96M| 0 |1752 |2462 |6490 |6490 |2462 |7057 |1862 | 0 | 0 | 9.219933e+02 | -- | Inf
140.34/140.48 c 140s| 1 | 0 | 73324 | 97M| 0 |1705 |2462 |6490 |6490 |2462 |6884 |1907 | 0 | 0 | 9.252738e+02 | -- | Inf
144.65/144.77 c 144s| 1 | 0 | 75320 | 99M| 0 |1759 |2462 |6490 |6490 |2462 |6914 |1937 | 0 | 0 | 9.276476e+02 | -- | Inf
149.45/149.51 c 149s| 1 | 0 | 77620 | 101M| 0 |1778 |2462 |6490 |6490 |2462 |6962 |1985 | 0 | 0 | 9.308781e+02 | -- | Inf
155.24/155.36 c 155s| 1 | 0 | 80518 | 102M| 0 |1811 |2462 |6490 |6490 |2462 |7002 |2025 | 0 | 0 | 9.336045e+02 | -- | Inf
160.75/160.87 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
160.75/160.87 c 160s| 1 | 0 | 82782 | 104M| 0 |1830 |2462 |6490 |6490 |2462 |7044 |2067 | 0 | 0 | 9.353258e+02 | -- | Inf
168.74/168.81 c 168s| 1 | 0 | 85712 | 105M| 0 |1828 |2462 |6490 |6490 |2462 |7094 |2117 | 0 | 0 | 9.412815e+02 | -- | Inf
177.14/177.21 c 176s| 1 | 0 | 88606 | 106M| 0 |1842 |2462 |6490 |6490 |2462 |6974 |2171 | 0 | 0 | 9.550957e+02 | -- | Inf
182.44/182.56 c 182s| 1 | 0 | 90645 | 108M| 0 |1927 |2462 |6490 |6490 |2462 |7014 |2211 | 0 | 0 | 9.571419e+02 | -- | Inf
187.54/187.60 c 187s| 1 | 0 | 92224 | 109M| 0 |1809 |2462 |6490 |6490 |2462 |7071 |2268 | 0 | 0 | 9.601402e+02 | -- | Inf
194.14/194.29 c 193s| 1 | 0 | 95041 | 110M| 0 |1955 |2462 |6490 |6490 |2462 |7111 |2308 | 0 | 0 | 9.627270e+02 | -- | Inf
201.03/201.11 c 200s| 1 | 0 | 98079 | 112M| 0 |1860 |2462 |6490 |6490 |2462 |7150 |2347 | 0 | 0 | 9.653940e+02 | -- | Inf
206.33/206.49 c 206s| 1 | 0 |100110 | 115M| 0 |1964 |2462 |6490 |6490 |2462 |7195 |2392 | 0 | 0 | 9.684819e+02 | -- | Inf
216.83/216.98 c 216s| 1 | 0 |103799 | 115M| 0 |1863 |2462 |6490 |6490 |2462 |7082 |2434 | 0 | 0 | 9.712646e+02 | -- | Inf
223.83/223.94 c 223s| 1 | 0 |106459 | 117M| 0 |1897 |2462 |6490 |6490 |2462 |7131 |2483 | 0 | 0 | 9.750242e+02 | -- | Inf
230.03/230.12 c 229s| 1 | 0 |109032 | 121M| 0 |1950 |2462 |6490 |6490 |2462 |7167 |2519 | 0 | 0 | 9.762728e+02 | -- | Inf
238.22/238.38 c 237s| 1 | 0 |112721 | 122M| 0 |1952 |2462 |6490 |6490 |2462 |7225 |2577 | 0 | 0 | 9.861336e+02 | -- | Inf
245.92/246.00 c 245s| 1 | 0 |115409 | 123M| 0 |1975 |2462 |6490 |6490 |2462 |7285 |2637 | 0 | 0 | 9.920771e+02 | -- | Inf
256.41/256.59 c 255s| 1 | 0 |118914 | 124M| 0 |2003 |2462 |6490 |6490 |2462 |7324 |2676 | 0 | 0 | 9.956096e+02 | -- | Inf
267.21/267.38 c 266s| 1 | 0 |122315 | 125M| 0 |1946 |2462 |6490 |6490 |2462 |7178 |2723 | 0 | 0 | 1.001762e+03 | -- | Inf
275.61/275.70 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
275.61/275.70 c 275s| 1 | 0 |125219 | 126M| 0 |1899 |2462 |6490 |6490 |2462 |7224 |2769 | 0 | 0 | 1.011767e+03 | -- | Inf
281.41/281.56 c 280s| 1 | 0 |126976 | 127M| 0 |1906 |2462 |6490 |6490 |2462 |7281 |2826 | 0 | 0 | 1.018936e+03 | -- | Inf
286.51/286.62 c 285s| 1 | 0 |128918 | 128M| 0 |1911 |2462 |6490 |6490 |2462 |7335 |2880 | 0 | 0 | 1.021219e+03 | -- | Inf
291.71/291.90 c 291s| 1 | 0 |131083 | 130M| 0 |2041 |2462 |6490 |6490 |2462 |7373 |2918 | 0 | 0 | 1.022587e+03 | -- | Inf
302.61/302.74 c 301s| 1 | 0 |135112 | 130M| 0 |1951 |2462 |6490 |6490 |2462 |7436 |2981 | 0 | 0 | 1.032686e+03 | -- | Inf
307.70/307.81 c 307s| 1 | 0 |137086 | 132M| 0 |1904 |2462 |6490 |6490 |2462 |7274 |3013 | 0 | 0 | 1.035194e+03 | -- | Inf
312.40/312.55 c 311s| 1 | 0 |139324 | 135M| 0 |2003 |2462 |6490 |6490 |2462 |7313 |3052 | 0 | 0 | 1.037320e+03 | -- | Inf
320.60/320.77 c 319s| 1 | 0 |142354 | 135M| 0 |2072 |2462 |6490 |6490 |2462 |7364 |3103 | 0 | 0 | 1.041212e+03 | -- | Inf
330.60/330.73 c 329s| 1 | 0 |145793 | 136M| 0 |1867 |2462 |6490 |6490 |2462 |7420 |3159 | 0 | 0 | 1.048950e+03 | -- | Inf
335.69/335.89 c 335s| 1 | 0 |148359 | 137M| 0 |1855 |2462 |6490 |6490 |2462 |7490 |3229 | 0 | 0 | 1.054212e+03 | -- | Inf
341.09/341.22 c 340s| 1 | 0 |150913 | 138M| 0 |1915 |2462 |6490 |6490 |2462 |7520 |3259 | 0 | 0 | 1.055944e+03 | -- | Inf
345.20/345.35 c 344s| 1 | 0 |152652 | 139M| 0 |1894 |2462 |6490 |6490 |2462 |7290 |3299 | 0 | 0 | 1.057449e+03 | -- | Inf
351.49/351.68 c 350s| 1 | 0 |155855 | 142M| 0 |2013 |2462 |6490 |6490 |2462 |7325 |3334 | 0 | 0 | 1.059647e+03 | -- | Inf
356.59/356.75 c 355s| 1 | 0 |158019 | 143M| 0 |2042 |2462 |6490 |6490 |2462 |7361 |3370 | 0 | 0 | 1.060616e+03 | -- | Inf
361.08/361.28 c 360s| 1 | 0 |159473 | 144M| 0 |2083 |2462 |6490 |6490 |2462 |7405 |3414 | 0 | 0 | 1.061954e+03 | -- | Inf
365.98/366.19 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
365.98/366.19 c 365s| 1 | 0 |161210 | 146M| 0 |2083 |2462 |6490 |6490 |2462 |7443 |3452 | 0 | 0 | 1.063240e+03 | -- | Inf
375.68/375.84 c 374s| 1 | 0 |164882 | 147M| 0 |2042 |2462 |6490 |6490 |2462 |7490 |3499 | 0 | 0 | 1.071296e+03 | -- | Inf
383.98/384.11 c 383s| 1 | 0 |168029 | 147M| 0 |2063 |2462 |6490 |6490 |2462 |7325 |3557 | 0 | 0 | 1.075146e+03 | -- | Inf
392.38/392.52 c 391s| 1 | 0 |171249 | 148M| 0 |2067 |2462 |6490 |6490 |2462 |7370 |3602 | 0 | 0 | 1.082156e+03 | -- | Inf
396.68/396.81 c 395s| 1 | 0 |173089 | 150M| 0 |2077 |2462 |6490 |6490 |2462 |7405 |3637 | 0 | 0 | 1.083107e+03 | -- | Inf
402.57/402.77 c 401s| 1 | 0 |175732 | 152M| 0 |2053 |2462 |6490 |6490 |2462 |7440 |3672 | 0 | 0 | 1.084982e+03 | -- | Inf
412.27/412.48 c 411s| 1 | 0 |179523 | 153M| 0 |1971 |2462 |6490 |6490 |2462 |7504 |3736 | 0 | 0 | 1.094534e+03 | -- | Inf
417.17/417.35 c 416s| 1 | 0 |181774 | 155M| 0 |1933 |2462 |6490 |6490 |2462 |7537 |3769 | 0 | 0 | 1.097127e+03 | -- | Inf
423.57/423.80 c 422s| 1 | 0 |184638 | 156M| 0 |1985 |2462 |6490 |6490 |2462 |7368 |3794 | 0 | 0 | 1.098332e+03 | -- | Inf
428.17/428.33 c 427s| 1 | 0 |186463 | 157M| 0 |2022 |2462 |6490 |6490 |2462 |7411 |3837 | 0 | 0 | 1.099832e+03 | -- | Inf
432.76/432.94 c 431s| 1 | 0 |188019 | 158M| 0 |2028 |2462 |6490 |6490 |2462 |7450 |3876 | 0 | 0 | 1.101039e+03 | -- | Inf
438.06/438.23 c 437s| 1 | 0 |190072 | 160M| 0 |2067 |2462 |6490 |6490 |2462 |7486 |3912 | 0 | 0 | 1.102776e+03 | -- | Inf
446.27/446.41 c 445s| 1 | 0 |193349 | 161M| 0 |2039 |2462 |6490 |6490 |2462 |7532 |3958 | 0 | 0 | 1.105444e+03 | -- | Inf
452.16/452.37 c 451s| 1 | 0 |196137 | 163M| 0 |2096 |2462 |6490 |6490 |2462 |7571 |3997 | 0 | 0 | 1.107856e+03 | -- | Inf
457.25/457.48 c 456s| 1 | 0 |198290 | 164M| 0 |2057 |2462 |6490 |6490 |2462 |7387 |4042 | 0 | 0 | 1.110891e+03 | -- | Inf
464.35/464.51 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
464.35/464.51 c 463s| 1 | 0 |200857 | 165M| 0 |2101 |2462 |6490 |6490 |2462 |7431 |4086 | 0 | 0 | 1.112365e+03 | -- | Inf
475.45/475.65 c 474s| 1 | 0 |204835 | 165M| 0 |2069 |2462 |6490 |6490 |2462 |7490 |4145 | 0 | 0 | 1.117713e+03 | -- | Inf
481.66/481.81 c 480s| 1 | 0 |207665 | 167M| 0 |2090 |2462 |6490 |6490 |2462 |7533 |4188 | 0 | 0 | 1.119269e+03 | -- | Inf
487.65/487.82 c 486s| 1 | 0 |210122 | 169M| 0 |2077 |2462 |6490 |6490 |2462 |7579 |4234 | 0 | 0 | 1.119874e+03 | -- | Inf
499.35/499.55 c 498s| 1 | 0 |214293 | 170M| 0 |2003 |2462 |6490 |6490 |2462 |7645 |4300 | 0 | 0 | 1.125985e+03 | -- | Inf
504.24/504.44 c 503s| 1 | 0 |216431 | 172M| 0 |2123 |2462 |6490 |6490 |2462 |7504 |4344 | 0 | 0 | 1.128665e+03 | -- | Inf
508.84/509.10 c 507s| 1 | 0 |218188 | 175M| 0 |2116 |2462 |6490 |6490 |2462 |7537 |4377 | 0 | 0 | 1.130291e+03 | -- | Inf
517.94/518.14 c 516s| 1 | 0 |221600 | 175M| 0 |2073 |2462 |6490 |6490 |2462 |7597 |4437 | 0 | 0 | 1.138427e+03 | -- | Inf
523.34/523.58 c 522s| 1 | 0 |223870 | 177M| 0 |2038 |2462 |6490 |6490 |2462 |7641 |4481 | 0 | 0 | 1.140561e+03 | -- | Inf
529.14/529.37 c 527s| 1 | 0 |226299 | 179M| 0 |2088 |2462 |6490 |6490 |2462 |7671 |4511 | 0 | 0 | 1.141286e+03 | -- | Inf
541.43/541.67 c 540s| 1 | 0 |231073 | 180M| 0 |2019 |2462 |6490 |6490 |2462 |7737 |4577 | 0 | 0 | 1.147879e+03 | -- | Inf
546.53/546.71 c 545s| 1 | 0 |233273 | 181M| 0 |2113 |2462 |6490 |6490 |2462 |7519 |4613 | 0 | 0 | 1.149176e+03 | -- | Inf
553.14/553.34 c 551s| 1 | 0 |236064 | 183M| 0 |1983 |2462 |6490 |6490 |2462 |7562 |4656 | 0 | 0 | 1.153760e+03 | -- | Inf
557.63/557.84 c 556s| 1 | 0 |238281 | 184M| 0 |2112 |2462 |6490 |6490 |2462 |7606 |4700 | 0 | 0 | 1.154887e+03 | -- | Inf
566.02/566.29 c 564s| 1 | 0 |242047 | 184M| 0 |1975 |2462 |6490 |6490 |2462 |7664 |4758 | 0 | 0 | 1.159633e+03 | -- | Inf
571.03/571.29 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
571.03/571.29 c 569s| 1 | 0 |244725 | 185M| 0 |2005 |2462 |6490 |6490 |2462 |7706 |4800 | 0 | 0 | 1.161843e+03 | -- | Inf
574.82/575.08 c 573s| 1 | 0 |246570 | 187M| 0 |2006 |2462 |6490 |6490 |2462 |7748 |4842 | 0 | 0 | 1.163432e+03 | -- | Inf
580.72/580.91 c 579s| 1 | 0 |249266 | 187M| 0 |2005 |2462 |6490 |6490 |2462 |7541 |4890 | 0 | 0 | 1.166990e+03 | -- | Inf
585.62/585.82 c 584s| 1 | 0 |251547 | 188M| 0 |2062 |2462 |6490 |6490 |2462 |7585 |4934 | 0 | 0 | 1.172576e+03 | -- | Inf
590.91/591.18 c 589s| 1 | 0 |253790 | 188M| 0 |2050 |2462 |6490 |6490 |2462 |7613 |4962 | 0 | 0 | 1.173713e+03 | -- | Inf
595.72/595.91 c 594s| 1 | 0 |256162 | 189M| 0 |2102 |2462 |6490 |6490 |2462 |7647 |4996 | 0 | 0 | 1.174488e+03 | -- | Inf
602.31/602.53 c 600s| 1 | 0 |258737 | 190M| 0 |2123 |2462 |6490 |6490 |2462 |7684 |5033 | 0 | 0 | 1.176583e+03 | -- | Inf
609.12/609.39 c 607s| 1 | 0 |261173 | 191M| 0 |2067 |2462 |6490 |6490 |2462 |7706 |5055 | 0 | 0 | 1.178504e+03 | -- | Inf
614.81/615.07 c 613s| 1 | 0 |263484 | 191M| 0 |1993 |2462 |6490 |6490 |2462 |7498 |5092 | 0 | 0 | 1.181725e+03 | -- | Inf
621.01/621.27 c 619s| 1 | 0 |266522 | 193M| 0 |2043 |2462 |6490 |6490 |2462 |7523 |5117 | 0 | 0 | 1.182425e+03 | -- | Inf
626.61/626.85 c 625s| 1 | 0 |268954 | 194M| 0 |2129 |2462 |6490 |6490 |2462 |7558 |5152 | 0 | 0 | 1.182937e+03 | -- | Inf
635.50/635.79 c 634s| 1 | 0 |272311 | 195M| 0 |2133 |2462 |6490 |6490 |2462 |7602 |5196 | 0 | 0 | 1.185011e+03 | -- | Inf
639.10/639.33 c 637s| 1 | 0 |273877 | 192M| 0 |2146 |2462 |6490 |6490 |2462 |7621 |5215 | 0 | 0 | 1.186435e+03 | -- | Inf
647.10/647.33 c 645s| 1 | 0 |276541 | 188M| 0 |2080 |2462 |6490 |6490 |2462 |7655 |5249 | 0 | 0 | 1.188605e+03 | -- | Inf
650.21/650.45 c 648s| 1 | 0 |277657 | 186M| 0 |2107 |2462 |6490 |6490 |2462 |7481 |5279 | 0 | 0 | 1.189453e+03 | -- | Inf
656.10/656.31 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
656.10/656.31 c 654s| 1 | 0 |280264 | 182M| 0 |2125 |2462 |6490 |6490 |2462 |7502 |5300 | 0 | 0 | 1.190311e+03 | -- | Inf
663.30/663.50 c 661s| 1 | 0 |282973 | 179M| 0 |2045 |2462 |6490 |6490 |2462 |7543 |5341 | 0 | 0 | 1.193566e+03 | -- | Inf
666.80/667.06 c 665s| 1 | 0 |284905 | 178M| 0 |2092 |2462 |6490 |6490 |2462 |7570 |5368 | 0 | 0 | 1.194429e+03 | -- | Inf
673.39/673.63 c 671s| 1 | 0 |288014 | 176M| 0 |2045 |2462 |6490 |6490 |2462 |7616 |5414 | 0 | 0 | 1.197317e+03 | -- | Inf
677.20/677.49 c 675s| 1 | 0 |290113 | 174M| 0 |2031 |2462 |6490 |6490 |2462 |7641 |5439 | 0 | 0 | 1.197887e+03 | -- | Inf
680.09/680.37 c 678s| 1 | 0 |291280 | 171M| 0 |2025 |2462 |6490 |6490 |2462 |7496 |5465 | 0 | 0 | 1.198285e+03 | -- | Inf
682.80/683.05 c 681s| 1 | 0 |292559 | 168M| 0 |2054 |2462 |6490 |6490 |2462 |7523 |5492 | 0 | 0 | 1.198454e+03 | -- | Inf
686.59/686.87 c 684s| 1 | 0 |294289 | 167M| 0 |2119 |2462 |6490 |6490 |2462 |7549 |5518 | 0 | 0 | 1.198805e+03 | -- | Inf
695.39/695.60 c 693s| 1 | 0 |297415 | 162M| 0 |2082 |2462 |6490 |6490 |2462 |7597 |5566 | 0 | 0 | 1.200851e+03 | -- | Inf
700.79/701.08 c 699s| 1 | 0 |299709 | 159M| 0 |2098 |2462 |6490 |6490 |2462 |7627 |5596 | 0 | 0 | 1.201510e+03 | -- | Inf
707.09/707.38 c 705s| 1 | 0 |302400 | 156M| 0 |2109 |2462 |6490 |6490 |2462 |7655 |5624 | 0 | 0 | 1.202609e+03 | -- | Inf
712.88/713.19 c 711s| 1 | 0 |304530 | 151M| 0 |2112 |2462 |6490 |6490 |2462 |7509 |5657 | 0 | 0 | 1.204780e+03 | -- | Inf
717.38/717.61 c 715s| 1 | 0 |306507 | 149M| 0 |2032 |2462 |6490 |6490 |2462 |7534 |5682 | 0 | 0 | 1.205717e+03 | -- | Inf
721.58/721.86 c 719s| 1 | 0 |308397 | 147M| 0 |2067 |2462 |6490 |6490 |2462 |7569 |5717 | 0 | 0 | 1.206725e+03 | -- | Inf
725.68/725.97 c 723s| 1 | 0 |310506 | 144M| 0 |2045 |2462 |6490 |6490 |2462 |7602 |5750 | 0 | 0 | 1.207858e+03 | -- | Inf
733.48/733.71 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
733.48/733.71 c 731s| 1 | 0 |313520 | 140M| 0 |2118 |2462 |6490 |6490 |2462 |7633 |5781 | 0 | 0 | 1.209086e+03 | -- | Inf
746.48/746.75 c 744s| 1 | 0 |317801 | 137M| 0 |2132 |2462 |6490 |6490 |2462 |7652 |5800 | 0 | 0 | 1.209669e+03 | -- | Inf
751.57/751.82 c 749s| 1 | 0 |319464 | 136M| 0 |1990 |2462 |6490 |6490 |2462 |7515 |5818 | 0 | 0 | 1.209860e+03 | -- | Inf
757.68/757.98 c 755s| 1 | 0 |322048 | 134M| 0 |2105 |2462 |6490 |6490 |2462 |7537 |5840 | 0 | 0 | 1.211746e+03 | -- | Inf
765.17/765.48 c 763s| 1 | 0 |324750 | 133M| 0 |2081 |2462 |6490 |6490 |2462 |7565 |5868 | 0 | 0 | 1.213684e+03 | -- | Inf
767.97/768.27 c 766s| 1 | 0 |325923 | 132M| 0 |2089 |2462 |6490 |6490 |2462 |7581 |5884 | 0 | 0 | 1.214208e+03 | -- | Inf
772.97/773.23 c 770s| 1 | 0 |327610 | 131M| 0 |2094 |2462 |6490 |6490 |2462 |7602 |5905 | 0 | 0 | 1.216406e+03 | -- | Inf
779.67/779.99 c 777s| 1 | 0 |330176 | 129M| 0 |2127 |2462 |6490 |6490 |2462 |7627 |5930 | 0 | 0 | 1.216962e+03 | -- | Inf
784.26/784.56 c 782s| 1 | 0 |331010 | 127M| 0 |2071 |2462 |6490 |6490 |2462 |7467 |5948 | 0 | 0 | 1.217219e+03 | -- | Inf
788.46/788.70 c 786s| 1 | 0 |332347 | 126M| 0 |2085 |2462 |6490 |6490 |2462 |7474 |5955 | 0 | 0 | 1.218039e+03 | -- | Inf
792.16/792.47 c 790s| 1 | 0 |333738 | 125M| 0 |2109 |2462 |6490 |6490 |2462 |7501 |5982 | 0 | 0 | 1.219300e+03 | -- | Inf
795.66/795.90 c 793s| 1 | 0 |334594 | 124M| 0 |2079 |2462 |6490 |6490 |2462 |7507 |5988 | 0 | 0 | 1.219690e+03 | -- | Inf
796.86/797.11 c 794s| 1 | 0 |334671 | 123M| 0 |2100 |2462 |6490 |6490 |2462 |7510 |5991 | 0 | 0 | 1.219690e+03 | -- | Inf
798.96/799.25 c 796s| 1 | 0 |335368 | 122M| 0 |2095 |2462 |6490 |6490 |2462 |7516 |5997 | 0 | 0 | 1.219763e+03 | -- | Inf
802.16/802.50 c 800s| 1 | 0 |335865 | 121M| 0 |2095 |2462 |6490 |6490 |2462 |7388 |6001 | 0 | 0 | 1.219804e+03 | -- | Inf
804.87/805.20 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
804.87/805.20 c 802s| 1 | 0 |336097 | 120M| 0 |2092 |2462 |6490 |6490 |2462 |7390 |6003 | 0 | 0 | 1.219809e+03 | -- | Inf
808.46/808.72 c 806s| 1 | 0 |336517 | 119M| 0 |2071 |2462 |6490 |6490 |2462 |7393 |6006 | 0 | 0 | 1.219833e+03 | -- | Inf
811.16/811.49 c 809s| 1 | 0 |336627 | 117M| 0 |2058 |2462 |6490 |6490 |2462 |7396 |6009 | 0 | 0 | 1.219833e+03 | -- | Inf
814.56/814.80 c 812s| 1 | 0 |336628 | 115M| 0 |2060 |2462 |6490 |6490 |2462 |7397 |6010 | 0 | 0 | 1.219833e+03 | -- | Inf
832.25/832.56 c 830s| 1 | 2 |336628 | 114M| 0 |2060 |2462 |6490 |6490 |2462 |7397 |6010 | 0 | 21 | 1.219833e+03 | -- | Inf
1795.97/1796.56 c
1795.97/1796.56 c SCIP Status : solving was interrupted [time limit reached]
1795.97/1796.56 c Solving Time (sec) : 1791.01
1795.97/1796.56 c Solving Nodes : 415
1795.97/1796.56 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1795.97/1796.56 c Dual Bound : +1.22730529040162e+03
1795.97/1796.56 c Gap : infinite
1795.97/1796.56 c NODE 415
1795.97/1796.56 c DUAL BOUND 1227.31
1795.97/1796.56 c PRIMAL BOUND 1e+20
1795.97/1796.56 c GAP 1e+20
1795.97/1796.56 s UNKNOWN
1795.97/1796.56 c SCIP Status : solving was interrupted [time limit reached]
1795.97/1796.56 c Solving Time : 1791.01
1795.97/1796.56 c Original Problem :
1795.97/1796.56 c Problem name : HOME/instance-1869106-1245158911.opb
1795.97/1796.56 c Variables : 2650 (2650 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.97/1796.56 c Constraints : 6619 initial, 6619 maximal
1795.97/1796.56 c Presolved Problem :
1795.97/1796.56 c Problem name : t_HOME/instance-1869106-1245158911.opb
1795.97/1796.56 c Variables : 2462 (2462 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.97/1796.56 c Constraints : 6490 initial, 7401 maximal
1795.97/1796.56 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1795.97/1796.56 c trivial : 0.00 0 0 0 0 0 0 0 0
1795.97/1796.56 c dualfix : 0.00 0 0 0 0 0 0 0 0
1795.97/1796.56 c boundshift : 0.00 0 0 0 0 0 0 0 0
1795.97/1796.56 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1795.97/1796.56 c implics : 0.00 0 3 0 0 0 0 0 0
1795.97/1796.56 c probing : 0.41 2 183 0 0 0 0 0 0
1795.97/1796.56 c linear : 0.10 0 0 0 0 0 122 122 0
1795.97/1796.56 c logicor : 0.12 0 0 0 0 0 7 0 0
1795.97/1796.56 c root node : - 0 - - 0 - - - -
1795.97/1796.56 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1795.97/1796.56 c integral : 0 0 0 287 0 3 5 0 0 566
1795.97/1796.56 c logicor : 6490+ 139 22222 0 1 94 45632 0 0 0
1795.97/1796.56 c countsols : 0 0 0 0 1 0 0 0 0 0
1795.97/1796.56 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1795.97/1796.56 c integral : 429.53 0.00 0.00 429.53 0.00
1795.97/1796.56 c logicor : 0.67 0.13 0.54 0.00 0.00
1795.97/1796.56 c countsols : 0.00 0.00 0.00 0.00 0.00
1795.97/1796.56 c Propagators : Time Calls Cutoffs DomReds
1795.97/1796.56 c rootredcost : 0.00 0 0 0
1795.97/1796.56 c pseudoobj : 1.89 16396 0 0
1795.97/1796.56 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1795.97/1796.56 c propagation : 0.07 92 92 620 35.4 26 6.8 -
1795.97/1796.56 c infeasible LP : 0.35 127 127 2028 43.4 2 4.0 0
1795.97/1796.56 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1795.97/1796.56 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1795.97/1796.56 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1795.97/1796.56 c applied globally : - - - 1060 33.9 - - -
1795.97/1796.56 c applied locally : - - - 0 0.0 - - -
1795.97/1796.56 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1795.97/1796.56 c cut pool : 6.74 138 - - 4763 - (maximal pool size: 36137)
1795.97/1796.56 c redcost : 0.09 425 0 0 0 0
1795.97/1796.56 c impliedbounds : 0.18 139 0 0 2160 0
1795.97/1796.56 c intobj : 0.00 0 0 0 0 0
1795.97/1796.56 c gomory : 224.83 139 0 0 63016 0
1795.97/1796.56 c strongcg : 7.03 20 0 0 10000 0
1795.97/1796.56 c cmir : 0.82 10 0 0 0 0
1795.97/1796.56 c flowcover : 0.68 10 0 0 0 0
1795.97/1796.56 c clique : 0.39 139 0 0 75 0
1795.97/1796.56 c zerohalf : 0.00 0 0 0 0 0
1795.97/1796.56 c mcf : 0.01 1 0 0 0 0
1795.97/1796.56 c Pricers : Time Calls Vars
1795.97/1796.56 c problem variables: 0.00 0 0
1795.97/1796.56 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1795.97/1796.56 c relpscost : 429.53 287 3 5 0 0 566
1795.97/1796.56 c pscost : 0.00 0 0 0 0 0 0
1795.97/1796.56 c inference : 0.00 1 0 0 0 0 2
1795.97/1796.56 c mostinf : 0.00 0 0 0 0 0 0
1795.97/1796.56 c leastinf : 0.00 0 0 0 0 0 0
1795.97/1796.56 c fullstrong : 0.00 0 0 0 0 0 0
1795.97/1796.56 c allfullstrong : 0.00 0 0 0 0 0 0
1795.97/1796.56 c random : 0.00 0 0 0 0 0 0
1795.97/1796.56 c Primal Heuristics : Time Calls Found
1795.97/1796.56 c LP solutions : 0.00 - 0
1795.97/1796.56 c pseudo solutions : 0.00 - 0
1795.97/1796.56 c oneopt : 0.00 0 0
1795.97/1796.56 c crossover : 0.00 0 0
1795.97/1796.56 c guideddiving : 0.00 0 0
1795.97/1796.56 c rootsoldiving : 53.28 2 0
1795.97/1796.56 c fracdiving : 36.80 6 0
1795.97/1796.56 c feaspump : 22.73 3 0
1795.97/1796.56 c veclendiving : 36.93 6 0
1795.97/1796.56 c coefdiving : 34.84 6 0
1795.97/1796.56 c linesearchdiving : 41.10 7 0
1795.97/1796.56 c pscostdiving : 37.16 7 0
1795.97/1796.56 c simplerounding : 0.00 0 0
1795.97/1796.56 c rounding : 0.45 232 0
1795.97/1796.56 c shifting : 2.36 116 0
1795.97/1796.56 c intshifting : 0.00 0 0
1795.97/1796.56 c fixandinfer : 0.00 0 0
1795.97/1796.56 c intdiving : 0.00 0 0
1795.97/1796.56 c actconsdiving : 0.00 0 0
1795.97/1796.56 c objpscostdiving : 123.15 2 0
1795.97/1796.56 c octane : 0.00 0 0
1795.97/1796.56 c rens : 0.01 0 0
1795.97/1796.56 c rins : 0.00 0 0
1795.97/1796.56 c localbranching : 0.00 0 0
1795.97/1796.56 c mutation : 0.00 0 0
1795.97/1796.56 c dins : 0.00 0 0
1795.97/1796.56 c LP : Time Calls Iterations Iter/call Iter/sec
1795.97/1796.56 c primal LP : 0.33 0 0 0.00 0.00
1795.97/1796.56 c dual LP : 725.60 529 478904 905.30 660.01
1795.97/1796.56 c barrier LP : 0.00 0 0 0.00 -
1795.97/1796.56 c diving/probing LP: 372.77 3663 270993 73.98 726.97
1795.97/1796.56 c strong branching : 429.40 760 355850 468.22 828.71
1795.97/1796.56 c (at root node) : - 21 8827 420.33 -
1795.97/1796.56 c conflict analysis: 0.00 0 0 0.00 -
1795.97/1796.56 c B&B Tree :
1795.97/1796.56 c number of runs : 1
1795.97/1796.56 c nodes : 415
1795.97/1796.56 c nodes (total) : 415
1795.97/1796.56 c nodes left : 125
1795.97/1796.56 c max depth : 44
1795.97/1796.56 c max depth (total): 44
1795.97/1796.56 c backtracks : 113 (27.2%)
1795.97/1796.56 c delayed cutoffs : 29
1795.97/1796.56 c repropagations : 224 (16587 domain reductions, 13 cutoffs)
1795.97/1796.56 c avg switch length: 3.82
1795.97/1796.56 c switching time : 0.36
1795.97/1796.56 c Solution :
1795.97/1796.56 c Solutions found : 0 (0 improvements)
1795.97/1796.56 c Primal Bound : -
1795.97/1796.56 c Dual Bound : +1.22730529040162e+03
1795.97/1796.56 c Gap : infinite
1795.97/1796.56 c Root Dual Bound : +1.21983276461316e+03
1796.17/1796.75 c Time complete: 1796.22.