0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2692414-1277914935.wbo>
0.00/0.07 c original problem has 11375 variables (6865 bin, 0 int, 0 impl, 4510 cont) and 11255 constraints
0.00/0.07 c problem read
0.00/0.07 c presolving settings loaded
0.09/0.12 c presolving:
0.09/0.14 c (round 1) 10 del vars, 3 del conss, 1 chg bounds, 88 chg sides, 178 chg coeffs, 0 upgd conss, 13241 impls, 0 clqs
0.09/0.14 c (round 2) 11 del vars, 23 del conss, 1 chg bounds, 88 chg sides, 178 chg coeffs, 0 upgd conss, 13241 impls, 0 clqs
0.09/0.16 c (round 3) 12 del vars, 23 del conss, 4510 chg bounds, 88 chg sides, 178 chg coeffs, 0 upgd conss, 13241 impls, 0 clqs
0.09/0.19 c (round 4) 12 del vars, 23 del conss, 4510 chg bounds, 88 chg sides, 178 chg coeffs, 2216 upgd conss, 13241 impls, 0 clqs
0.39/0.40 c (0.3s) probing: 262/6854 (3.8%) - 0 fixings, 1 aggregations, 11 implications, 0 bound changes
0.39/0.40 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.39/0.40 c presolving (5 rounds):
0.39/0.40 c 13 deleted vars, 23 deleted constraints, 4510 tightened bounds, 0 added holes, 88 changed sides, 178 changed coefficients
0.39/0.40 c 13280 implications, 0 cliques
0.39/0.40 c presolved problem has 11362 variables (6853 bin, 0 int, 0 impl, 4509 cont) and 11232 constraints
0.39/0.40 c 4509 constraints of type <indicator>
0.39/0.40 c 2 constraints of type <varbound>
0.39/0.40 c 61 constraints of type <knapsack>
0.39/0.40 c 4507 constraints of type <linear>
0.39/0.40 c 2153 constraints of type <logicor>
0.39/0.40 c transformed objective value is always integral (scale: 1)
0.39/0.40 c Presolving Time: 0.28
0.39/0.40 c - non default parameters ----------------------------------------------------------------------
0.39/0.40 c # SCIP version 1.2.1.2
0.39/0.40 c
0.39/0.40 c # frequency for displaying node information lines
0.39/0.40 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.40 c display/freq = 10000
0.39/0.40 c
0.39/0.40 c # maximal time in seconds to run
0.39/0.40 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.40 c limits/time = 1799.94
0.39/0.40 c
0.39/0.40 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.40 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.40 c limits/memory = 3420
0.39/0.40 c
0.39/0.40 c # should presolving try to simplify inequalities
0.39/0.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.40 c constraints/linear/simplifyinequalities = TRUE
0.39/0.40 c
0.39/0.40 c # should presolving try to simplify knapsacks
0.39/0.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.40 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.40 c
0.39/0.40 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.40 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.40 c separating/rapidlearning/freq = 0
0.39/0.40 c
0.39/0.40 c -----------------------------------------------------------------------------------------------
0.39/0.40 c start solving
0.39/0.40 c
0.39/0.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.43 c 0.3s| 1 | 0 | 77 | - | 38M| 0 | 46 | 11k| 11k| 11k|2212 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.68 c 0.6s| 1 | 0 | 483 | - | 39M| 0 | 98 | 11k| 11k| 11k|2405 | 193 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.69 o 227467
0.59/0.69 c y 0.6s| 1 | 0 | 483 | - | 39M| 0 | 98 | 11k| 11k| 11k|2405 | 193 | 0 | 0 | 0.000000e+00 | 2.274670e+05 | Inf
0.89/0.95 c 0.9s| 1 | 0 | 784 | - | 39M| 0 | 202 | 11k| 11k| 11k|2581 | 369 | 0 | 0 | 0.000000e+00 | 2.274670e+05 | Inf
1.39/1.42 c 1.3s| 1 | 0 | 1520 | - | 39M| 0 | 269 | 11k| 11k| 11k|2772 | 560 | 0 | 0 | 0.000000e+00 | 2.274670e+05 | Inf
1.69/1.75 c 1.6s| 1 | 0 | 2111 | - | 40M| 0 | 253 | 11k| 11k| 11k|2925 | 713 | 0 | 0 | 0.000000e+00 | 2.274670e+05 | Inf
2.09/2.15 c 2.0s| 1 | 0 | 2815 | - | 40M| 0 | 298 | 11k| 11k| 11k|3027 | 815 | 0 | 0 | 0.000000e+00 | 2.274670e+05 | Inf
2.49/2.53 c 2.4s| 1 | 0 | 3396 | - | 40M| 0 | 351 | 11k| 11k| 11k|3117 | 905 | 0 | 0 | 0.000000e+00 | 2.274670e+05 | Inf
4.89/4.95 c 4.8s| 1 | 2 | 3396 | - | 41M| 0 | 351 | 11k| 11k| 11k|3117 | 905 | 0 | 30 | 0.000000e+00 | 2.274670e+05 | Inf
111.19/111.28 c 110s| 10000 | 9964 | 64317 | 6.1 | 97M| 161 | 16 | 11k| 11k| 11k|2989 | 10k| 40 |1569 | 0.000000e+00 | 2.274670e+05 | Inf
189.89/189.98 c 188s| 20000 | 19964 |102952 | 5.0 | 139M| 163 | 12 | 11k| 11k| 11k|2952 | 19k| 40 |1875 | 0.000000e+00 | 2.274670e+05 | Inf
267.69/267.76 c 265s| 30000 | 29964 |130680 | 4.2 | 181M| 173 | 1 | 11k| 11k| 11k|2929 | 26k| 40 |2097 | 0.000000e+00 | 2.274670e+05 | Inf
345.49/345.52 c 343s| 40000 | 39962 |155421 | 3.8 | 223M| 173 | 0 | 11k| 11k| 11k|2991 | 33k| 41 |2425 | 0.000000e+00 | 2.274670e+05 | Inf
422.70/422.74 c 420s| 50000 | 49960 |177930 | 3.5 | 264M| 177 | 0 | 11k| 11k| 11k|3013 | 39k| 43 |2737 | 0.000000e+00 | 2.274670e+05 | Inf
497.40/497.48 c 494s| 60000 | 59960 |198122 | 3.2 | 306M| 183 | 0 | 11k| 11k| 11k|2999 | 45k| 43 |2949 | 0.000000e+00 | 2.274670e+05 | Inf
572.40/572.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
572.40/572.41 c 568s| 70000 | 69958 |215773 | 3.0 | 348M| 195 | 0 | 11k| 11k| 11k|3002 | 50k| 44 |3286 | 0.000000e+00 | 2.274670e+05 | Inf
647.51/647.59 c 643s| 80000 | 79950 |233490 | 2.9 | 389M| 197 | 0 | 11k| 11k| 11k|3012 | 54k| 50 |3580 | 0.000000e+00 | 2.274670e+05 | Inf
722.41/722.47 c 718s| 90000 | 89950 |254730 | 2.8 | 431M| 197 | 0 | 11k| 11k| 11k|2999 | 60k| 50 |3878 | 0.000000e+00 | 2.274670e+05 | Inf
799.21/799.24 c 794s|100000 | 99950 |278113 | 2.7 | 473M| 197 | 0 | 11k| 11k| 11k|3031 | 67k| 50 |3986 | 0.000000e+00 | 2.274670e+05 | Inf
876.31/876.30 c 871s|110000 |109950 |301067 | 2.7 | 515M| 197 | 0 | 11k| 11k| 11k|3011 | 75k| 50 |4142 | 0.000000e+00 | 2.274670e+05 | Inf
952.72/952.76 c 947s|120000 |119950 |324398 | 2.7 | 556M| 197 | 0 | 11k| 11k| 11k|2996 | 82k| 50 |4189 | 0.000000e+00 | 2.274670e+05 | Inf
1029.62/1029.67 c 1023s|130000 |129950 |348904 | 2.7 | 598M| 197 | 0 | 11k| 11k| 11k|3014 | 91k| 50 |4213 | 0.000000e+00 | 2.274670e+05 | Inf
1104.61/1104.64 c 1098s|140000 |139950 |370466 | 2.6 | 640M| 197 | 0 | 11k| 11k| 11k|3016 | 97k| 50 |4363 | 0.000000e+00 | 2.274670e+05 | Inf
1179.31/1179.35 c 1172s|150000 |149950 |392104 | 2.6 | 682M| 197 | 0 | 11k| 11k| 11k|3001 | 105k| 50 |4390 | 0.000000e+00 | 2.274670e+05 | Inf
1255.22/1255.22 c 1247s|160000 |159950 |414430 | 2.6 | 723M| 197 | 0 | 11k| 11k| 11k|3002 | 113k| 50 |4392 | 0.000000e+00 | 2.274670e+05 | Inf
1329.82/1329.86 c 1322s|170000 |169950 |436206 | 2.5 | 765M| 197 | 0 | 11k| 11k| 11k|2992 | 120k| 50 |4394 | 0.000000e+00 | 2.274670e+05 | Inf
1404.62/1404.69 c 1396s|180000 |179950 |455444 | 2.5 | 807M| 197 | 0 | 11k| 11k| 11k|3009 | 127k| 50 |4471 | 0.000000e+00 | 2.274670e+05 | Inf
1482.73/1482.75 c 1474s|190000 |189944 |480437 | 2.5 | 849M| 197 | 0 | 11k| 11k| 11k|2995 | 134k| 53 |4790 | 0.000000e+00 | 2.274670e+05 | Inf
1559.03/1559.01 c 1550s|200000 |199944 |505706 | 2.5 | 890M| 197 | 0 | 11k| 11k| 11k|3007 | 142k| 53 |4838 | 0.000000e+00 | 2.274670e+05 | Inf
1638.93/1638.98 c 1629s|210000 |209944 |533352 | 2.5 | 932M| 197 | 0 | 11k| 11k| 11k|2989 | 151k| 53 |4866 | 0.000000e+00 | 2.274670e+05 | Inf
1720.93/1720.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1720.93/1720.97 c 1711s|220000 |219944 |557566 | 2.5 | 974M| 197 | 0 | 11k| 11k| 11k|3025 | 159k| 53 |4877 | 0.000000e+00 | 2.274670e+05 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.01 c
1800.03/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.01 c Solving Time (sec) : 1789.38
1800.03/1800.01 c Solving Nodes : 229794
1800.03/1800.01 c Primal Bound : +2.27467000000000e+05 (100 solutions)
1800.03/1800.01 c Dual Bound : +0.00000000000000e+00
1800.03/1800.01 c Gap : infinite
1800.33/1800.31 s SATISFIABLE
1800.33/1800.31 v x2355 -x2354 -x2353 -x2352 x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 x2343 -x2342 -x2341 -x2340 x2339 -x2338 -x2337
1800.33/1800.31 v -x2336 -x2335 -x2334 -x2333 -x2332 x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 x2319
1800.33/1800.31 v -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301
1800.33/1800.31 v -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283
1800.33/1800.31 v -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265
1800.33/1800.31 v -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247
1800.33/1800.31 v -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229
1800.33/1800.31 v -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211
1800.33/1800.31 v -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194
1800.33/1800.31 v -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176
1800.33/1800.31 v -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158
1800.33/1800.31 v -x2157 -x2156 -x2155 x2154 x2153 -x2152 -x2151 x2150 -x2149 -x2148 -x2147 x2146 x2145 -x2144 -x2143 x2142 -x2141 x2140 -x2139
1800.33/1800.31 v x2138 x2137 -x2136 -x2135 -x2134 x2133 x2132 x2131 -x2130 -x2129 -x2128 x2127 x2126 -x2125 -x2124 -x2123 -x2122 x2121 -x2120
1800.33/1800.31 v -x2119 -x2118 x2117 -x2116 x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102
1800.33/1800.31 v -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084
1800.33/1800.31 v -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066
1800.33/1800.31 v -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048
1800.33/1800.31 v -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030
1800.33/1800.31 v -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 x2014 -x2013 -x2012
1800.33/1800.31 v -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995
1800.33/1800.31 v -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977
1800.33/1800.31 v -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959
1800.33/1800.31 v -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941
1800.33/1800.31 v -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923
1800.33/1800.31 v -x1922 -x1921 -x1920 x1919 x1918 x1917 -x1916 x1915 -x1914 x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905
1800.33/1800.31 v -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 x1895 x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886
1800.33/1800.31 v -x1885 x1884 x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868
1800.33/1800.31 v -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850
1800.33/1800.31 v -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833
1800.33/1800.31 v -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815
1800.33/1800.31 v -x1814 -x1813 -x1812 -x1811 -x1810 x1809 -x1808 x1807 -x1806 -x1805 -x1804 -x1803 -x1802 x1801 x1800 -x1799 -x1798 -x1797 x1796
1800.33/1800.31 v x1795 -x1794 x1793 x1792 x1791 x1790 -x1789 x1788 x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777
1800.33/1800.31 v -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759
1800.33/1800.31 v -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742
1800.33/1800.31 v -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724
1800.33/1800.31 v -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706
1800.33/1800.31 v -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688
1800.33/1800.31 v -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670
1800.33/1800.31 v -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652
1800.33/1800.31 v -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634
1800.33/1800.31 v -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617
1800.33/1800.31 v -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 x1604 -x1603 -x1602 -x1601 -x1600 -x1599
1800.33/1800.31 v -x1598 -x1597 x1596 x1595 x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 x1586 -x1585 -x1584 -x1583 -x1582 x1581 x1580
1800.33/1800.31 v -x1579 -x1578 -x1577 x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 x1564 x1563 x1562 -x1561
1800.33/1800.31 v -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 x1553 x1552 x1551 -x1550 -x1549 x1548 x1547 x1546 -x1545 -x1544 -x1543
1800.33/1800.31 v -x1542 x1541 -x1540 -x1539 -x1538 x1537 -x1536 -x1535 -x1534 -x1533 x1532 x1531 -x1530 -x1529 -x1528 -x1527 x1526 x1525 x1524
1800.33/1800.31 v x1523 -x1522 -x1521 -x1520 -x1519 x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 x1511 -x1510 x1509 -x1508 x1507 -x1506 x1505
1800.33/1800.31 v x1504 -x1503 x1502 x1501 -x1500 -x1499 x1498 x1497 x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 x1486
1800.33/1800.31 v x1485 x1484 -x1483 -x1482 x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 x1473 x1472 -x1471 -x1470 -x1469 -x1468
1800.33/1800.31 v -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450
1800.33/1800.31 v -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432
1800.33/1800.31 v -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414
1800.33/1800.31 v -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396
1800.33/1800.31 v -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378
1800.33/1800.31 v -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 x1365 -x1364 -x1363 -x1362 -x1361 -x1360
1800.33/1800.31 v -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343
1800.33/1800.31 v -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325
1800.33/1800.31 v -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307
1800.33/1800.31 v -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289
1800.33/1800.31 v -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271
1800.33/1800.31 v -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 x1260 x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253
1800.33/1800.31 v x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 x1238 -x1237 -x1236 -x1235
1800.33/1800.31 v -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 x1220 -x1219 -x1218 -x1217
1800.33/1800.31 v -x1216 -x1215 -x1214 -x1213 -x1212 x1211 -x1210 x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199
1800.33/1800.31 v x1198 x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180
1800.33/1800.31 v -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 x1163 -x1162
1800.33/1800.31 v -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 x1154 -x1153 x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144
1800.33/1800.31 v -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126
1800.33/1800.31 v -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109
1800.33/1800.31 v -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 x1091 -x1090
1800.33/1800.31 v x1089 x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072
1800.33/1800.31 v -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054
1800.33/1800.31 v -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037
1800.33/1800.31 v -x1036 -x1035 -x1034 -x1033 x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 x1020 -x1019 -x1018
1800.33/1800.31 v -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000
1800.33/1800.31 v -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980
1800.33/1800.31 v -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959
1800.33/1800.31 v -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938
1800.33/1800.31 v -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 x928 x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917
1800.33/1800.31 v -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896
1800.33/1800.31 v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875
1800.33/1800.31 v -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854
1800.33/1800.31 v -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
1800.33/1800.31 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813
1800.33/1800.31 v -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792
1800.33/1800.31 v -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771
1800.33/1800.31 v -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 x751 x750
1800.33/1800.31 v -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 x729
1800.33/1800.31 v -x728 -x727 -x726 -x725 -x724 -x723 x722 -x721 x720 -x719 -x718 -x717 -x716 -x715 -x714 x713 -x712 x711 -x710 -x709 -x708 -x707
1800.33/1800.31 v -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686
1800.33/1800.31 v -x685 -x684 -x683 x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665
1800.33/1800.31 v -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644
1800.33/1800.31 v -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 x634 -x633 -x632 -x631 x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623
1800.33/1800.31 v x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602
1800.33/1800.31 v -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581
1800.33/1800.31 v -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560
1800.33/1800.31 v x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539
1800.33/1800.31 v -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518
1800.33/1800.31 v -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498
1800.33/1800.31 v -x497 -x496 -x495 -x494 -x493 -x492 -x491 x490 x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476
1800.33/1800.31 v -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456
1800.33/1800.31 v -x455 -x454 -x453 -x452 -x451 x450 -x449 x448 x447 -x446 -x445 x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434
1800.33/1800.31 v -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413
1800.33/1800.31 v -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 x403 -x402 -x401 -x400 -x399 -x398 x397 x396 -x395 x394 -x393 x392
1800.33/1800.31 v -x391 -x390 -x389 x388 -x387 -x386 -x385 x384 -x383 -x382 -x381 x380 -x379 x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370
1800.33/1800.31 v -x369 -x368 -x367 -x366 x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349
1800.33/1800.31 v -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 x328
1800.33/1800.31 v x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 x316 -x315 -x314 -x313 -x312 x311 -x310 x309 -x308 -x307
1800.33/1800.31 v -x306 -x305 x304 -x303 x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285
1800.33/1800.31 v -x284 -x283 -x282 -x281 x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264
1800.33/1800.31 v -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243
1800.33/1800.31 v -x242 x241 -x240 -x239 -x238 -x237 x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222
1800.33/1800.31 v -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 x201
1800.33/1800.31 v x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180
1800.33/1800.31 v -x179 x178 -x177 x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159
1800.33/1800.31 v -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 x150 x149 -x148 -x147 x146 x145 -x144 -x143 x142 x141 -x140 -x139 x138 x137 -x136
1800.33/1800.31 v -x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 x123 x122 -x121 -x120 x119 x118 -x117 -x116 -x115
1800.33/1800.31 v -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92
1800.33/1800.31 v -x91 x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67
1800.33/1800.31 v -x66 x65 -x64 x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 x50 x49 x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 x40
1800.33/1800.31 v -x39 x38 -x37 -x36 -x35 -x34 x33 x32 -x31 -x30 -x29 x28 -x27 -x26 x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 x14 x13
1800.33/1800.31 v x12 x11 x10 -x9 -x8 -x7 x6 -x5 -x4 x3 x2 x1
1800.33/1800.31 c SCIP Status : solving was interrupted [user interrupt]
1800.33/1800.31 c Solving Time : 1789.38
1800.33/1800.31 c Original Problem :
1800.33/1800.31 c Problem name : HOME/instance-2692414-1277914935.wbo
1800.33/1800.31 c Variables : 11375 (6865 binary, 0 integer, 0 implicit integer, 4510 continuous)
1800.33/1800.31 c Constraints : 11255 initial, 11255 maximal
1800.33/1800.31 c Presolved Problem :
1800.33/1800.31 c Problem name : t_HOME/instance-2692414-1277914935.wbo
1800.33/1800.31 c Variables : 11362 (6853 binary, 0 integer, 0 implicit integer, 4509 continuous)
1800.33/1800.31 c Constraints : 11232 initial, 11275 maximal
1800.33/1800.31 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.33/1800.31 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.33/1800.31 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.33/1800.31 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.33/1800.31 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.33/1800.31 c implics : 0.00 0 9 0 0 0 0 0 0
1800.33/1800.31 c probing : 0.18 0 1 0 0 0 0 0 0
1800.33/1800.31 c indicator : 0.00 0 0 0 0 0 1 0 0
1800.33/1800.31 c varbound : 0.00 0 0 0 0 0 0 0 0
1800.33/1800.31 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.33/1800.31 c linear : 0.06 1 0 0 4510 0 22 88 178
1800.33/1800.31 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.33/1800.31 c root node : - 0 - - 0 - - - -
1800.33/1800.31 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.33/1800.31 c integral : 0 0 0 248958 0 0 11 0 0 69034
1800.33/1800.31 c indicator : 4509 0 676784 214430 0 0 31018 0 0 0
1800.33/1800.31 c varbound : 2 6 676784 214430 0 0 0 1 0 0
1800.33/1800.31 c knapsack : 61 6 676784 214430 0 29 6936 243 0 0
1800.33/1800.31 c linear : 4507 6 676755 214430 0 0 34321 166259 0 0
1800.33/1800.31 c logicor : 2153+ 6 499943 195248 0 2 732531 0 0 0
1800.33/1800.31 c countsols : 0 0 0 195248 0 0 0 0 0 0
1800.33/1800.31 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.33/1800.31 c integral : 47.85 0.00 0.00 47.85 0.00
1800.33/1800.31 c indicator : 176.48 0.02 42.31 134.15 0.00
1800.33/1800.31 c varbound : 0.61 0.00 0.33 0.28 0.00
1800.33/1800.31 c knapsack : 1.31 0.00 0.74 0.57 0.00
1800.33/1800.31 c linear : 275.94 0.00 36.91 239.03 0.00
1800.33/1800.31 c logicor : 23.80 0.00 2.89 20.91 0.00
1800.33/1800.31 c countsols : 0.04 0.00 0.00 0.04 0.00
1800.33/1800.31 c Propagators : Time Calls Cutoffs DomReds
1800.33/1800.31 c vbounds : 0.30 6747 0 0
1800.33/1800.31 c rootredcost : 0.23 1 0 0
1800.33/1800.31 c pseudoobj : 76.75 676254 0 0
1800.33/1800.31 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.33/1800.31 c propagation : 0.00 31 31 66 9.5 0 0.0 -
1800.33/1800.31 c infeasible LP : 0.03 8 8 8 4.9 0 0.0 0
1800.33/1800.31 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.33/1800.31 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.33/1800.31 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.33/1800.31 c applied globally : - - - 54 8.7 - - -
1800.33/1800.31 c applied locally : - - - 0 0.0 - - -
1800.33/1800.31 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.33/1800.31 c cut pool : 0.00 5 - - 382 - (maximal pool size: 922)
1800.33/1800.31 c redcost : 67.37 248237 0 0 0 0
1800.33/1800.31 c impliedbounds : 0.00 6 0 0 2 0
1800.33/1800.31 c intobj : 0.00 0 0 0 0 0
1800.33/1800.31 c cgmip : 0.00 0 0 0 0 0
1800.33/1800.31 c gomory : 0.19 6 0 0 951 0
1800.33/1800.31 c strongcg : 0.14 6 0 0 223 0
1800.33/1800.31 c cmir : 0.25 6 0 0 195 0
1800.33/1800.31 c flowcover : 0.80 6 0 0 702 0
1800.33/1800.31 c clique : 0.02 6 0 0 0 0
1800.33/1800.31 c zerohalf : 0.00 0 0 0 0 0
1800.33/1800.31 c mcf : 0.00 1 0 0 0 0
1800.33/1800.31 c rapidlearning : 0.00 0 0 0 0 0
1800.33/1800.31 c Pricers : Time Calls Vars
1800.33/1800.31 c problem variables: 0.00 0 0
1800.33/1800.31 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.33/1800.31 c relpscost : 47.62 34528 0 11 0 0 69034
1800.33/1800.31 c pscost : 0.00 0 0 0 0 0 0
1800.33/1800.31 c inference : 203.86 195248 0 0 0 0 390496
1800.33/1800.31 c mostinf : 0.00 0 0 0 0 0 0
1800.33/1800.31 c leastinf : 0.00 0 0 0 0 0 0
1800.33/1800.31 c fullstrong : 0.00 0 0 0 0 0 0
1800.33/1800.31 c allfullstrong : 0.00 0 0 0 0 0 0
1800.33/1800.31 c random : 0.00 0 0 0 0 0 0
1800.33/1800.31 c Primal Heuristics : Time Calls Found
1800.33/1800.31 c LP solutions : 0.00 - 0
1800.33/1800.31 c pseudo solutions : 0.00 - 0
1800.33/1800.31 c oneopt : 0.35 1 0
1800.33/1800.31 c feaspump : 0.07 1 0
1800.33/1800.31 c intshifting : 0.03 3 0
1800.33/1800.31 c crossover : 0.79 10 0
1800.33/1800.31 c fracdiving : 10.09 2397 0
1800.33/1800.31 c veclendiving : 10.33 2397 0
1800.33/1800.31 c linesearchdiving : 10.26 2397 0
1800.33/1800.31 c guideddiving : 10.23 2397 0
1800.33/1800.31 c coefdiving : 9.59 2397 0
1800.33/1800.31 c pscostdiving : 10.61 2397 0
1800.33/1800.31 c objpscostdiving : 11.33 2396 0
1800.33/1800.31 c rootsoldiving : 10.90 2396 0
1800.33/1800.31 c trivial : 0.02 2 0
1800.33/1800.31 c simplerounding : 0.19 31540 0
1800.33/1800.31 c zirounding : 0.88 1000 0
1800.33/1800.31 c rounding : 0.91 2550 0
1800.33/1800.31 c shifting : 3.05 788 0
1800.33/1800.31 c twoopt : 0.00 0 0
1800.33/1800.31 c fixandinfer : 0.00 0 0
1800.33/1800.31 c intdiving : 0.00 0 0
1800.33/1800.31 c actconsdiving : 0.00 0 0
1800.33/1800.31 c octane : 0.00 0 0
1800.33/1800.31 c rens : 0.07 1 0
1800.33/1800.31 c rins : 0.00 0 0
1800.33/1800.31 c localbranching : 0.00 0 0
1800.33/1800.31 c mutation : 0.00 0 0
1800.33/1800.31 c dins : 0.00 0 0
1800.33/1800.31 c undercover : 0.00 0 0
1800.33/1800.31 c nlp : 0.08 0 0
1800.33/1800.31 c trysol : 0.76 3507 100
1800.33/1800.31 c LP : Time Calls Iterations Iter/call Iter/sec
1800.33/1800.31 c primal LP : 0.01 0 0 0.00 0.00
1800.33/1800.31 c dual LP : 490.54 52439 581294 11.09 1185.01
1800.33/1800.31 c lex dual LP : 0.00 0 0 0.00 -
1800.33/1800.31 c barrier LP : 0.00 0 0 0.00 -
1800.33/1800.31 c diving/probing LP: 0.42 124 1134 9.15 2700.00
1800.33/1800.31 c strong branching : 47.02 5035 145200 28.84 3088.05
1800.33/1800.31 c (at root node) : - 30 9015 300.50 -
1800.33/1800.31 c conflict analysis: 0.00 0 0 0.00 -
1800.33/1800.31 c B&B Tree :
1800.33/1800.31 c number of runs : 1
1800.33/1800.31 c nodes : 229794
1800.33/1800.31 c nodes (total) : 229794
1800.33/1800.31 c nodes left : 229736
1800.33/1800.31 c max depth : 197
1800.33/1800.31 c max depth (total): 197
1800.33/1800.31 c backtracks : 2404 (1.0%)
1800.33/1800.31 c delayed cutoffs : 1
1800.33/1800.31 c repropagations : 176 (171 domain reductions, 1 cutoffs)
1800.33/1800.31 c avg switch length: 2.09
1800.33/1800.31 c switching time : 39.56
1800.33/1800.31 c Solution :
1800.33/1800.31 c Solutions found : 100 (1 improvements)
1800.33/1800.31 c First Solution : +2.27467000000000e+05 (in run 1, after 1 nodes, 0.59 seconds, depth 0, found by <trysol>)
1800.33/1800.31 c Primal Bound : +2.27467000000000e+05 (in run 1, after 1 nodes, 0.59 seconds, depth 0, found by <trysol>)
1800.33/1800.31 c Dual Bound : +0.00000000000000e+00
1800.33/1800.31 c Gap : infinite
1800.33/1800.31 c Root Dual Bound : +0.00000000000000e+00
1800.33/1800.31 c Root Iterations : 3396
1800.64/1800.68 c Time complete: 1800.72.
Begin job on node117 at 2010-06-30 18:22:15
IDJOB=2692414
IDBENCH=79044
IDSOLVER=1204
FILE ID=node117/2692414-1277914935
PBS_JOBID= 11197271
Free space on /tmp= 74208 MiB
SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-cache.inv8.ucl--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692414-1277914935/watcher-2692414-1277914935 -o /tmp/evaluation-result-2692414-1277914935/solver-2692414-1277914935 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692414-1277914935.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 95fc93b9bf9d7a2900db6241c7ee4c87
RANDOM SEED=1806270702
node117.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.799
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.59
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.799
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.799
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.799
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.799
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.85
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.799
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.799
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.799
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950940 kB
MemFree: 31372260 kB
Buffers: 198620 kB
Cached: 856636 kB
SwapCached: 0 kB
Active: 839784 kB
Inactive: 593008 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950940 kB
LowFree: 31372260 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 5176 kB
Writeback: 0 kB
AnonPages: 377224 kB
Mapped: 17180 kB
Slab: 79208 kB
PageTables: 5240 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586996 kB
Committed_AS: 532752 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74200 MiB
End job on node117 at 2010-06-30 18:52:17