0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2693054-1277914943.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.15 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.26
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.93
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 | 73 | - | 38M| 0 | 39 | 11k| 11k| 11k|2212 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.65 c 0.5s| 1 | 0 | 286 | - | 39M| 0 | 142 | 11k| 11k| 11k|2405 | 193 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.66 o 227467
0.59/0.66 c y 0.5s| 1 | 0 | 286 | - | 39M| 0 | 142 | 11k| 11k| 11k|2405 | 193 | 0 | 0 | 0.000000e+00 | 2.274670e+05 | Inf
0.89/0.94 c 0.8s| 1 | 0 | 554 | - | 39M| 0 | 196 | 11k| 11k| 11k|2545 | 333 | 0 | 0 | 0.000000e+00 | 2.274670e+05 | Inf
1.29/1.35 c 1.2s| 1 | 0 | 1095 | - | 39M| 0 | 308 | 11k| 11k| 11k|2705 | 493 | 0 | 0 | 0.000000e+00 | 2.274670e+05 | Inf
1.59/1.62 c 1.5s| 1 | 0 | 1411 | - | 40M| 0 | 448 | 11k| 11k| 11k|2861 | 649 | 0 | 0 | 0.000000e+00 | 2.274670e+05 | Inf
1.89/1.95 c 1.8s| 1 | 0 | 1890 | - | 40M| 0 | 348 | 11k| 11k| 11k|2974 | 762 | 0 | 0 | 0.000000e+00 | 2.274670e+05 | Inf
2.20/2.28 c 2.1s| 1 | 0 | 2285 | - | 40M| 0 | 442 | 11k| 11k| 11k|3101 | 889 | 0 | 0 | 0.000000e+00 | 2.274670e+05 | Inf
2.49/2.58 c 2.4s| 1 | 2 | 2285 | - | 41M| 0 | 442 | 11k| 11k| 11k|3101 | 889 | 0 | 17 | 0.000000e+00 | 2.274670e+05 | Inf
114.79/114.81 c 112s| 10000 | 9983 |101690 | 9.9 | 98M| 135 | 10 | 11k| 11k| 11k|3052 | 29k| 28 |4194 | 0.000000e+00 | 2.274670e+05 | Inf
194.20/194.26 c 189s| 20000 | 19975 |151327 | 7.5 | 141M| 151 | 0 | 11k| 11k| 11k|3121 | 48k| 32 |4913 | 0.000000e+00 | 2.274670e+05 | Inf
274.89/274.99 c 268s| 30000 | 29969 |204784 | 6.8 | 183M| 157 | 0 | 11k| 11k| 11k|3095 | 66k| 35 |6048 | 0.000000e+00 | 2.274670e+05 | Inf
349.10/349.14 c 341s| 40000 | 39967 |215593 | 5.3 | 225M| 157 | 0 | 11k| 11k| 11k|3066 | 72k| 36 |6066 | 0.000000e+00 | 2.274670e+05 | Inf
428.40/428.46 c 419s| 50000 | 49967 |256275 | 5.1 | 267M| 157 | 0 | 11k| 11k| 11k|3081 | 89k| 36 |6615 | 0.000000e+00 | 2.274670e+05 | Inf
503.81/503.80 c 493s| 60000 | 59967 |279006 | 4.6 | 309M| 169 | 0 | 11k| 11k| 11k|3117 | 100k| 36 |6691 | 0.000000e+00 | 2.274670e+05 | Inf
573.51/573.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
573.51/573.54 c 561s| 70000 | 69967 |281932 | 4.0 | 351M| 175 | 0 | 11k| 11k| 11k|3079 | 102k| 36 |6732 | 0.000000e+00 | 2.274670e+05 | Inf
641.81/641.89 c 628s| 80000 | 79967 |283279 | 3.5 | 393M| 183 | 0 | 11k| 11k| 11k|3114 | 102k| 36 |6733 | 0.000000e+00 | 2.274670e+05 | Inf
712.31/712.38 c 698s| 90000 | 89967 |291418 | 3.2 | 435M| 183 | 0 | 11k| 11k| 11k|3072 | 106k| 36 |6956 | 0.000000e+00 | 2.274670e+05 | Inf
786.62/786.67 c 771s|100000 | 99967 |315423 | 3.1 | 477M| 205 | 0 | 11k| 11k| 11k|3139 | 117k| 36 |7263 | 0.000000e+00 | 2.274670e+05 | Inf
876.62/876.63 c 860s|110000 |109967 |322833 | 2.9 | 519M| 249 | 0 | 11k| 11k| 11k|3135 | 120k| 36 |7363 | 0.000000e+00 | 2.274670e+05 | Inf
966.52/966.57 c 949s|120000 |119967 |328564 | 2.7 | 560M| 249 | 0 | 11k| 11k| 11k|3114 | 124k| 36 |7366 | 0.000000e+00 | 2.274670e+05 | Inf
1056.93/1056.90 c 1038s|130000 |129967 |334808 | 2.6 | 602M| 249 | 0 | 11k| 11k| 11k|3094 | 127k| 36 |7379 | 0.000000e+00 | 2.274670e+05 | Inf
1147.62/1147.69 c 1128s|140000 |139967 |340660 | 2.4 | 644M| 249 | 0 | 11k| 11k| 11k|3114 | 131k| 36 |7396 | 0.000000e+00 | 2.274670e+05 | Inf
1238.63/1238.62 c 1218s|150000 |149967 |345675 | 2.3 | 685M| 249 | 0 | 11k| 11k| 11k|3074 | 134k| 36 |7455 | 0.000000e+00 | 2.274670e+05 | Inf
1329.93/1329.98 c 1308s|160000 |159967 |355790 | 2.2 | 727M| 249 | 0 | 11k| 11k| 11k|3171 | 138k| 36 |7924 | 0.000000e+00 | 2.274670e+05 | Inf
1419.33/1419.32 c 1396s|170000 |169967 |361905 | 2.1 | 769M| 249 | 0 | 11k| 11k| 11k|3111 | 141k| 36 |8026 | 0.000000e+00 | 2.274670e+05 | Inf
1509.83/1509.81 c 1486s|180000 |179965 |386193 | 2.1 | 811M| 249 | 0 | 11k| 11k| 11k|3110 | 152k| 37 |8266 | 0.000000e+00 | 2.274670e+05 | Inf
1603.53/1603.57 c 1579s|190000 |189965 |394086 | 2.1 | 853M| 249 | 0 | 11k| 11k| 11k|3090 | 156k| 37 |8303 | 0.000000e+00 | 2.274670e+05 | Inf
1693.74/1693.72 c 1668s|200000 |199965 |400341 | 2.0 | 894M| 249 | 0 | 11k| 11k| 11k|3091 | 159k| 37 |8308 | 0.000000e+00 | 2.274670e+05 | Inf
1780.44/1780.48 c 1754s|210000 |209965 |404427 | 1.9 | 936M| 249 | 9 | 11k| 11k| 11k|3127 | 162k| 37 |8317 | 0.000000e+00 | 2.274670e+05 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.01 c
1800.05/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.01 c Solving Time (sec) : 1773.65
1800.05/1800.01 c Solving Nodes : 212208
1800.05/1800.01 c Primal Bound : +2.27467000000000e+05 (100 solutions)
1800.05/1800.01 c Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Gap : infinite
1800.34/1800.32 s SATISFIABLE
1800.34/1800.32 v x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 x2339 -x2338 -x2337
1800.34/1800.32 v -x2336 -x2335 -x2334 -x2333 -x2332 x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319
1800.34/1800.32 v -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301
1800.34/1800.32 v -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283
1800.34/1800.32 v -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265
1800.34/1800.32 v -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247
1800.34/1800.32 v -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230
1800.34/1800.32 v -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212
1800.34/1800.32 v -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194
1800.34/1800.32 v -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176
1800.34/1800.32 v -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158
1800.34/1800.32 v -x2157 -x2156 -x2155 x2154 -x2153 x2152 -x2151 x2150 -x2149 x2148 -x2147 -x2146 x2145 x2144 x2143 x2142 -x2141 x2140 -x2139
1800.34/1800.32 v x2138 -x2137 x2136 -x2135 -x2134 x2133 x2132 x2131 -x2130 -x2129 x2128 x2127 x2126 -x2125 -x2124 -x2123 -x2122 x2121 -x2120
1800.34/1800.32 v -x2119 -x2118 x2117 -x2116 x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102
1800.34/1800.32 v -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084
1800.34/1800.32 v -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066
1800.34/1800.32 v -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048
1800.34/1800.32 v -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030
1800.34/1800.32 v -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 x2014 -x2013 -x2012
1800.34/1800.32 v -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994
1800.34/1800.32 v -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977
1800.34/1800.32 v -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959
1800.34/1800.32 v -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941
1800.34/1800.32 v -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923
1800.34/1800.32 v -x1922 -x1921 -x1920 x1919 x1918 x1917 -x1916 -x1915 -x1914 x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905
1800.34/1800.32 v -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 x1895 x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886
1800.34/1800.32 v -x1885 x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868
1800.34/1800.32 v -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851
1800.34/1800.32 v -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833
1800.34/1800.32 v -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815
1800.34/1800.32 v -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 x1800 -x1799 -x1798 -x1797
1800.34/1800.32 v -x1796 x1795 -x1794 x1793 x1792 x1791 x1790 -x1789 x1788 x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778
1800.34/1800.32 v -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760
1800.34/1800.32 v -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742
1800.34/1800.32 v -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724
1800.34/1800.32 v -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707
1800.34/1800.32 v -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689
1800.34/1800.32 v -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671
1800.34/1800.32 v -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653
1800.34/1800.32 v -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635
1800.34/1800.32 v -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617
1800.34/1800.32 v -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599
1800.34/1800.32 v -x1598 -x1597 -x1596 x1595 x1594 -x1593 -x1592 -x1591 -x1590 -x1589 x1588 x1587 x1586 x1585 x1584 -x1583 -x1582 -x1581
1800.34/1800.32 v x1580 -x1579 x1578 -x1577 x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 x1565 x1564 x1563 x1562
1800.34/1800.32 v -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 x1548 x1547 x1546 -x1545 -x1544 -x1543
1800.34/1800.32 v x1542 -x1541 -x1540 -x1539 -x1538 -x1537 x1536 -x1535 -x1534 -x1533 x1532 -x1531 -x1530 -x1529 x1528 -x1527 -x1526 -x1525
1800.34/1800.32 v -x1524 -x1523 x1522 -x1521 -x1520 x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 x1511 -x1510 x1509 -x1508 x1507 -x1506
1800.34/1800.32 v x1505 x1504 x1503 -x1502 x1501 -x1500 -x1499 x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 x1490 x1489 -x1488
1800.34/1800.32 v -x1487 x1486 x1485 x1484 -x1483 x1482 x1481 -x1480 -x1479 x1478 -x1477 -x1476 -x1475 x1474 -x1473 x1472 -x1471 x1470 x1469 -x1468
1800.34/1800.32 v -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450
1800.34/1800.32 v -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433
1800.34/1800.32 v -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415
1800.34/1800.32 v -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397
1800.34/1800.32 v -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379
1800.34/1800.32 v -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361
1800.34/1800.32 v -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343
1800.34/1800.32 v -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325
1800.34/1800.32 v -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308
1800.34/1800.32 v -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290
1800.34/1800.32 v -x1289 x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272
1800.34/1800.32 v -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 x1260 x1259 -x1258 -x1257 -x1256 -x1255 -x1254
1800.34/1800.32 v -x1253 x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236
1800.34/1800.32 v -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 x1221 -x1220 x1219 -x1218 -x1217
1800.34/1800.32 v -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199
1800.34/1800.32 v x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181
1800.34/1800.32 v -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164
1800.34/1800.32 v x1163 x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145
1800.34/1800.32 v -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127
1800.34/1800.32 v -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110
1800.34/1800.32 v -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092
1800.34/1800.32 v x1091 -x1090 x1089 x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073
1800.34/1800.32 v -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055
1800.34/1800.32 v -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038
1800.34/1800.32 v -x1037 -x1036 -x1035 -x1034 -x1033 x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 x1020 -x1019
1800.34/1800.32 v -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001
1800.34/1800.32 v -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981
1800.34/1800.32 v -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960
1800.34/1800.32 v -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939
1800.34/1800.32 v -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 x928 x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918
1800.34/1800.32 v -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897
1800.34/1800.32 v -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876
1800.34/1800.32 v -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856
1800.34/1800.32 v -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835
1800.34/1800.32 v -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814
1800.34/1800.32 v -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793
1800.34/1800.32 v -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772
1800.34/1800.32 v -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 x751
1800.34/1800.32 v x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730
1800.34/1800.32 v x729 x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 x720 x719 x718 -x717 -x716 -x715 -x714 -x713 -x712 x711 -x710 -x709 -x708
1800.34/1800.32 v -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687
1800.34/1800.32 v -x686 -x685 -x684 -x683 x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666
1800.34/1800.32 v -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645
1800.34/1800.32 v -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 x630 -x629 -x628 -x627 -x626 -x625 -x624
1800.34/1800.32 v -x623 -x622 x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603
1800.34/1800.32 v -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583
1800.34/1800.32 v -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 x567 -x566 -x565 -x564 -x563 -x562
1800.34/1800.32 v -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541
1800.34/1800.32 v -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520
1800.34/1800.32 v -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499
1800.34/1800.32 v -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 x490 x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478
1800.34/1800.32 v -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457
1800.34/1800.32 v -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 x448 -x447 -x446 -x445 x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436
1800.34/1800.32 v -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415
1800.34/1800.32 v -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 x403 -x402 -x401 -x400 -x399 -x398 x397 x396 x395 -x394
1800.34/1800.32 v -x393 x392 x391 -x390 -x389 x388 -x387 x386 -x385 x384 x383 -x382 -x381 x380 x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371
1800.34/1800.32 v -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350
1800.34/1800.32 v -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329
1800.34/1800.32 v -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 x316 -x315 -x314 -x313 -x312 -x311 -x310 x309 -x308
1800.34/1800.32 v -x307 -x306 -x305 -x304 -x303 x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287
1800.34/1800.32 v -x286 -x285 -x284 -x283 -x282 -x281 x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 x271 -x270 -x269 -x268 -x267 -x266
1800.34/1800.32 v -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245
1800.34/1800.32 v -x244 -x243 -x242 -x241 x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224
1800.34/1800.32 v -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203
1800.34/1800.32 v -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182
1800.34/1800.32 v -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161
1800.34/1800.32 v -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 x150 x149 -x148 -x147 x146 -x145 x144 -x143 x142 -x141 x140 -x139
1800.34/1800.32 v x138 x137 x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 x123 x122 -x121 -x120 -x119 -x118
1800.34/1800.32 v -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 x106 -x105 -x104 -x103 -x102 x101 -x100 -x99 -x98 -x97 -x96
1800.34/1800.32 v -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 x76 -x75 -x74 -x73 -x72 -x71 -x70
1800.34/1800.32 v -x69 -x68 x67 -x66 -x65 -x64 x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44
1800.34/1800.32 v -x43 -x42 -x41 x40 -x39 x38 -x37 x36 -x35 x34 -x33 x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 x18
1800.34/1800.32 v -x17 -x16 x15 x14 x13 -x12 x11 x10 -x9 -x8 -x7 x6 -x5 x4 -x3 x2 -x1
1800.34/1800.32 c SCIP Status : solving was interrupted [user interrupt]
1800.34/1800.32 c Solving Time : 1773.65
1800.34/1800.32 c Original Problem :
1800.34/1800.32 c Problem name : HOME/instance-2693054-1277914943.wbo
1800.34/1800.32 c Variables : 11375 (6865 binary, 0 integer, 0 implicit integer, 4510 continuous)
1800.34/1800.32 c Constraints : 11255 initial, 11255 maximal
1800.34/1800.32 c Presolved Problem :
1800.34/1800.32 c Problem name : t_HOME/instance-2693054-1277914943.wbo
1800.34/1800.32 c Variables : 11362 (6853 binary, 0 integer, 0 implicit integer, 4509 continuous)
1800.34/1800.32 c Constraints : 11232 initial, 11262 maximal
1800.34/1800.32 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.34/1800.32 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.34/1800.32 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.34/1800.32 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.34/1800.32 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.34/1800.32 c implics : 0.00 0 9 0 0 0 0 0 0
1800.34/1800.32 c probing : 0.18 0 1 0 0 0 0 0 0
1800.34/1800.32 c indicator : 0.01 0 0 0 0 0 1 0 0
1800.34/1800.32 c varbound : 0.00 0 0 0 0 0 0 0 0
1800.34/1800.32 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.34/1800.32 c linear : 0.03 1 0 0 4510 0 22 88 178
1800.34/1800.32 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.34/1800.32 c root node : - 0 - - 0 - - - -
1800.34/1800.32 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.34/1800.32 c integral : 0 0 0 224715 0 0 10 0 0 31466
1800.34/1800.32 c indicator : 4509 0 568040 208972 0 0 64687 0 0 0
1800.34/1800.32 c varbound : 2 6 568040 208971 0 0 0 1 0 0
1800.34/1800.32 c knapsack : 61 6 568040 208971 0 23 8566 258 0 0
1800.34/1800.32 c linear : 4507 6 568017 208971 0 0 64029 162441 0 0
1800.34/1800.32 c logicor : 2153+ 6 375577 196457 0 0 590854 0 0 0
1800.34/1800.32 c countsols : 0 0 0 196457 0 0 0 0 0 0
1800.34/1800.32 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.34/1800.32 c integral : 49.82 0.00 0.00 49.82 0.00
1800.34/1800.32 c indicator : 205.35 0.00 43.37 161.98 0.00
1800.34/1800.32 c varbound : 0.41 0.00 0.20 0.21 0.00
1800.34/1800.32 c knapsack : 1.33 0.00 0.61 0.72 0.00
1800.34/1800.32 c linear : 318.60 0.01 35.70 282.89 0.00
1800.34/1800.32 c logicor : 31.61 0.00 2.73 28.88 0.00
1800.34/1800.32 c countsols : 0.06 0.00 0.00 0.06 0.00
1800.34/1800.32 c Propagators : Time Calls Cutoffs DomReds
1800.34/1800.32 c vbounds : 0.11 4115 0 0
1800.34/1800.32 c rootredcost : 0.12 1 0 0
1800.34/1800.32 c pseudoobj : 72.47 567510 0 0
1800.34/1800.32 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.34/1800.32 c propagation : 0.00 23 23 43 7.6 0 0.0 -
1800.34/1800.32 c infeasible LP : 0.03 10 10 10 3.7 0 0.0 0
1800.34/1800.32 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.34/1800.32 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.34/1800.32 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.34/1800.32 c applied globally : - - - 37 6.0 - - -
1800.34/1800.32 c applied locally : - - - 0 0.0 - - -
1800.34/1800.32 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.34/1800.32 c cut pool : 0.00 5 - - 213 - (maximal pool size: 822)
1800.34/1800.32 c redcost : 66.32 223049 0 0 0 0
1800.34/1800.32 c impliedbounds : 0.00 6 0 0 1 0
1800.34/1800.32 c intobj : 0.00 0 0 0 0 0
1800.34/1800.32 c cgmip : 0.00 0 0 0 0 0
1800.34/1800.32 c gomory : 0.19 6 0 0 430 0
1800.34/1800.32 c strongcg : 0.12 6 0 0 294 0
1800.34/1800.32 c cmir : 0.25 6 0 0 198 0
1800.34/1800.32 c flowcover : 0.79 6 0 0 700 0
1800.34/1800.32 c clique : 0.00 6 0 0 0 0
1800.34/1800.32 c zerohalf : 0.00 0 0 0 0 0
1800.34/1800.32 c mcf : 0.00 1 0 0 0 0
1800.34/1800.32 c rapidlearning : 0.00 0 0 0 0 0
1800.34/1800.32 c Pricers : Time Calls Vars
1800.34/1800.32 c problem variables: 0.00 0 0
1800.34/1800.32 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.34/1800.32 c relpscost : 49.73 15743 0 10 0 0 31466
1800.34/1800.32 c pscost : 0.00 0 0 0 0 0 0
1800.34/1800.32 c inference : 260.02 196457 0 0 0 0 392914
1800.34/1800.32 c mostinf : 0.00 0 0 0 0 0 0
1800.34/1800.32 c leastinf : 0.00 0 0 0 0 0 0
1800.34/1800.32 c fullstrong : 0.00 0 0 0 0 0 0
1800.34/1800.32 c allfullstrong : 0.00 0 0 0 0 0 0
1800.34/1800.32 c random : 0.00 0 0 0 0 0 0
1800.34/1800.32 c Primal Heuristics : Time Calls Found
1800.34/1800.32 c LP solutions : 0.00 - 0
1800.34/1800.32 c pseudo solutions : 0.00 - 0
1800.34/1800.32 c oneopt : 0.42 1 0
1800.34/1800.32 c feaspump : 0.04 1 0
1800.34/1800.32 c intshifting : 0.03 5 0
1800.34/1800.32 c crossover : 0.85 10 0
1800.34/1800.32 c fracdiving : 8.75 2068 0
1800.34/1800.32 c veclendiving : 8.84 2068 0
1800.34/1800.32 c linesearchdiving : 8.47 2068 0
1800.34/1800.32 c coefdiving : 8.72 2068 0
1800.34/1800.32 c pscostdiving : 8.78 2068 0
1800.34/1800.32 c guideddiving : 8.63 2069 0
1800.34/1800.32 c objpscostdiving : 9.28 2066 0
1800.34/1800.32 c rootsoldiving : 9.72 2066 0
1800.34/1800.32 c trivial : 0.03 2 0
1800.34/1800.32 c simplerounding : 0.16 15369 0
1800.34/1800.32 c zirounding : 0.45 1000 0
1800.34/1800.32 c rounding : 0.37 1691 0
1800.34/1800.32 c shifting : 2.08 515 0
1800.34/1800.32 c twoopt : 0.00 0 0
1800.34/1800.32 c fixandinfer : 0.00 0 0
1800.34/1800.32 c intdiving : 0.00 0 0
1800.34/1800.32 c actconsdiving : 0.00 0 0
1800.34/1800.32 c octane : 0.00 0 0
1800.34/1800.32 c rens : 0.07 1 0
1800.34/1800.32 c rins : 0.00 0 0
1800.34/1800.32 c localbranching : 0.00 0 0
1800.34/1800.32 c mutation : 0.00 0 0
1800.34/1800.32 c dins : 0.00 0 0
1800.34/1800.32 c undercover : 0.00 0 0
1800.34/1800.32 c nlp : 0.07 0 0
1800.34/1800.32 c trysol : 0.65 2723 100
1800.34/1800.32 c LP : Time Calls Iterations Iter/call Iter/sec
1800.34/1800.32 c primal LP : 0.00 0 0 0.00 -
1800.34/1800.32 c dual LP : 414.61 32307 400203 12.39 965.25
1800.34/1800.32 c lex dual LP : 0.00 0 0 0.00 -
1800.34/1800.32 c barrier LP : 0.00 0 0 0.00 -
1800.34/1800.32 c diving/probing LP: 1.85 539 5518 10.24 2982.70
1800.34/1800.32 c strong branching : 49.30 8325 151567 18.21 3074.38
1800.34/1800.32 c (at root node) : - 17 635 37.35 -
1800.34/1800.32 c conflict analysis: 0.00 0 0 0.00 -
1800.34/1800.32 c B&B Tree :
1800.34/1800.32 c number of runs : 1
1800.34/1800.32 c nodes : 212208
1800.34/1800.32 c nodes (total) : 212208
1800.34/1800.32 c nodes left : 212173
1800.34/1800.32 c max depth : 249
1800.34/1800.32 c max depth (total): 249
1800.34/1800.32 c backtracks : 2094 (1.0%)
1800.34/1800.32 c delayed cutoffs : 0
1800.34/1800.32 c repropagations : 365 (59 domain reductions, 0 cutoffs)
1800.34/1800.32 c avg switch length: 2.12
1800.34/1800.32 c switching time : 24.33
1800.34/1800.32 c Solution :
1800.34/1800.32 c Solutions found : 100 (1 improvements)
1800.34/1800.32 c First Solution : +2.27467000000000e+05 (in run 1, after 1 nodes, 0.51 seconds, depth 0, found by <trysol>)
1800.34/1800.32 c Primal Bound : +2.27467000000000e+05 (in run 1, after 1 nodes, 0.51 seconds, depth 0, found by <trysol>)
1800.34/1800.32 c Dual Bound : +0.00000000000000e+00
1800.34/1800.32 c Gap : infinite
1800.34/1800.32 c Root Dual Bound : +0.00000000000000e+00
1800.34/1800.32 c Root Iterations : 2285
1800.74/1800.73 c Time complete: 1800.77.
Begin job on node116 at 2010-06-30 18:22:23
IDJOB=2693054
IDBENCH=79044
IDSOLVER=1205
FILE ID=node116/2693054-1277914943
PBS_JOBID= 11197307
Free space on /tmp= 74208 MiB
SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) 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.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693054-1277914943/watcher-2693054-1277914943 -o /tmp/evaluation-result-2693054-1277914943/solver-2693054-1277914943 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693054-1277914943.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 95fc93b9bf9d7a2900db6241c7ee4c87
RANDOM SEED=541207042
node116.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.838
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.67
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.838
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 : 5381.00
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.838
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.75
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.838
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.838
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.76
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.838
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.77
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.838
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.75
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.838
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.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 31180408 kB
Buffers: 197764 kB
Cached: 1009684 kB
SwapCached: 0 kB
Active: 908300 kB
Inactive: 717556 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 31180408 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 6228 kB
Writeback: 0 kB
AnonPages: 418800 kB
Mapped: 16544 kB
Slab: 78672 kB
PageTables: 5528 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 563016 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 node116 at 2010-06-30 18:52:25