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-2692447-1277890898.wbo>
0.00/0.01 c original problem has 2716 variables (2618 bin, 0 int, 0 impl, 98 cont) and 241 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.01/0.02 c presolving:
0.01/0.02 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 98 impls, 21 clqs
0.01/0.02 c (round 2) 0 del vars, 1 del conss, 98 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 98 impls, 21 clqs
0.01/0.02 c (round 3) 0 del vars, 1 del conss, 98 chg bounds, 0 chg sides, 0 chg coeffs, 23 upgd conss, 98 impls, 21 clqs
0.01/0.02 c (round 4) 0 del vars, 1 del conss, 98 chg bounds, 0 chg sides, 0 chg coeffs, 44 upgd conss, 98 impls, 21 clqs
0.01/0.04 c (0.0s) probing: 101/2618 (3.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.01/0.04 c presolving (5 rounds):
0.01/0.04 c 0 deleted vars, 1 deleted constraints, 98 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.04 c 98 implications, 21 cliques
0.01/0.04 c presolved problem has 2716 variables (2618 bin, 0 int, 0 impl, 98 cont) and 240 constraints
0.01/0.04 c 98 constraints of type <indicator>
0.01/0.04 c 21 constraints of type <setppc>
0.01/0.04 c 98 constraints of type <linear>
0.01/0.04 c 23 constraints of type <logicor>
0.01/0.04 c transformed objective value is always integral (scale: 1)
0.01/0.04 c Presolving Time: 0.02
0.01/0.04 c - non default parameters ----------------------------------------------------------------------
0.01/0.04 c # SCIP version 1.2.1.2
0.01/0.04 c
0.01/0.04 c # frequency for displaying node information lines
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.04 c display/freq = 10000
0.01/0.04 c
0.01/0.04 c # maximal time in seconds to run
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.04 c limits/time = 1800
0.01/0.04 c
0.01/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.04 c limits/memory = 3420
0.01/0.04 c
0.01/0.04 c # should presolving try to simplify inequalities
0.01/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.04 c constraints/linear/simplifyinequalities = TRUE
0.01/0.04 c
0.01/0.04 c # should presolving try to simplify knapsacks
0.01/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.04 c
0.01/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.04 c separating/rapidlearning/freq = 0
0.01/0.04 c
0.01/0.04 c -----------------------------------------------------------------------------------------------
0.01/0.04 c start solving
0.01/0.05 c
0.01/0.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.01/0.05 c 0.0s| 1 | 0 | 23 | - |6023k| 0 | 0 |2716 | 240 |2716 | 44 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.01/0.05 c 0.0s| 1 | 0 | 97 | - |6192k| 0 | 0 |2716 | 240 |2716 | 95 | 51 | 0 | 0 | 0.000000e+00 | -- | Inf
0.01/0.05 c 0.0s| 1 | 0 | 118 | - |6195k| 0 | 0 |2716 | 240 |2716 | 97 | 53 | 0 | 0 | 0.000000e+00 | -- | Inf
0.01/0.06 c 0.0s| 1 | 2 | 118 | - |6196k| 0 | 0 |2716 | 240 |2716 | 97 | 53 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.22 o 144
0.19/0.22 c * 0.2s| 101 | 96 | 1553 | 14.3 |6482k| 98 | - |2716 | 242 |2716 | 142 | 98 | 2 | 0 | 1.000000e+00 | 1.440000e+02 | Large
0.29/0.35 o 75
0.29/0.35 c * 0.3s| 166 | 109 | 2980 | 17.3 |6581k| 98 | - |2716 | 242 |2716 | 142 | 143 | 2 | 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
0.29/0.36 o 41
0.29/0.36 c * 0.3s| 167 | 66 | 2981 | 17.2 |6574k| 98 | - |2716 | 242 |2716 | 142 | 143 | 2 | 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
0.39/0.41 o 22
0.39/0.41 c * 0.4s| 176 | 38 | 3578 | 19.8 |6616k| 98 | - |2716 | 185 |2716 | 142 | 170 | 2 | 0 | 2.000000e+00 | 2.200000e+01 |1000.00%
0.39/0.45 o 5
0.39/0.45 c * 0.4s| 183 | 11 | 4177 | 22.3 |6625k| 98 | - |2716 | 166 |2716 | 142 | 197 | 2 | 0 | 2.000000e+00 | 5.000000e+00 | 150.00%
0.39/0.49 o 4
0.39/0.49 c * 0.5s| 185 | 3 | 4754 | 25.2 |6638k| 98 | - |2716 | 151 |2716 | 142 | 220 | 4 | 0 | 3.000000e+00 | 4.000000e+00 | 33.33%
0.39/0.49 o 3
0.39/0.49 c * 0.5s| 187 | 0 | 4755 | 24.9 |6661k| 98 | - |2716 | 152 |2716 | 142 | 220 | 5 | 0 | 3.000000e+00 | 3.000000e+00 | 0.00%
0.39/0.49 c
0.39/0.49 c SCIP Status : problem is solved [optimal solution found]
0.39/0.49 c Solving Time (sec) : 0.46
0.39/0.49 c Solving Nodes : 187
0.39/0.49 c Primal Bound : +3.00000000000000e+00 (9 solutions)
0.39/0.49 c Dual Bound : +3.00000000000000e+00
0.39/0.49 c Gap : 0.00 %
0.39/0.49 s OPTIMUM FOUND
0.39/0.49 v -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502
0.39/0.49 v -x2501 -x2500 -x2499 x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484
0.39/0.49 v -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467
0.39/0.49 v -x2466 -x2465 -x2464 -x2463 x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449
0.39/0.49 v -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431
0.39/0.49 v -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 x2416 -x2415 -x2414 -x2413
0.39/0.49 v -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395
0.39/0.49 v -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 x2382 -x2381 -x2380 -x2379 -x2378 -x2377
0.39/0.49 v -x2376 x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359
0.39/0.49 v -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341
0.39/0.49 v -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 x2324 -x2323
0.39/0.49 v -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305
0.39/0.49 v -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287
0.39/0.49 v -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269
0.39/0.49 v -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 x2252 -x2251
0.39/0.49 v -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233
0.39/0.49 v -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 x2216 -x2215
0.39/0.49 v -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198
0.39/0.49 v -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180
0.39/0.49 v -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162
0.39/0.49 v -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 x2148 -x2147 -x2146 -x2145 -x2144
0.39/0.49 v -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126
0.39/0.49 v -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 x2111 -x2110 -x2109 -x2108
0.39/0.49 v -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090
0.39/0.49 v -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 x2075 -x2074 -x2073 -x2072
0.39/0.49 v -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054
0.39/0.49 v -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 x2040 -x2039 -x2038 -x2037 -x2036
0.39/0.49 v -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018
0.39/0.49 v -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000
0.39/0.49 v -x1999 x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982
0.39/0.49 v -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 x1968 -x1967 -x1966 -x1965 -x1964
0.39/0.49 v -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947
0.39/0.49 v -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 x1931 -x1930 -x1929
0.39/0.49 v -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911
0.39/0.49 v -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893
0.39/0.49 v -x1892 x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875
0.39/0.49 v -x1874 -x1873 -x1872 -x1871 -x1870 x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857
0.39/0.49 v -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 x1843 -x1842 -x1841 -x1840 -x1839
0.39/0.49 v -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821
0.39/0.49 v -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803
0.39/0.49 v -x1802 -x1801 x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785
0.39/0.49 v -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767
0.39/0.49 v -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 x1754 -x1753 -x1752 -x1751 -x1750 -x1749
0.39/0.49 v -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 x1735 -x1734 -x1733 -x1732 -x1731
0.39/0.49 v -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713
0.39/0.49 v -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 x1696 -x1695
0.39/0.49 v -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678
0.39/0.49 v -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 x1661 -x1660
0.39/0.49 v -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642
0.39/0.49 v -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 x1627 -x1626 -x1625 -x1624
0.39/0.49 v -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606
0.39/0.49 v -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 x1590 -x1589 -x1588
0.39/0.49 v -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570
0.39/0.49 v -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552
0.39/0.49 v -x1551 -x1550 x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534
0.39/0.49 v -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516
0.39/0.49 v -x1515 x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498
0.39/0.49 v -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 x1480
0.39/0.49 v -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462
0.39/0.49 v -x1461 -x1460 -x1459 -x1458 x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444
0.39/0.49 v -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426
0.39/0.49 v -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409
0.39/0.49 v -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391
0.39/0.49 v -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373
0.39/0.49 v -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 x1356 -x1355
0.39/0.49 v -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337
0.39/0.49 v -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319
0.39/0.49 v -x1318 -x1317 -x1316 -x1315 -x1314 x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301
0.39/0.49 v -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283
0.39/0.49 v -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 x1267 -x1266 -x1265
0.39/0.49 v -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247
0.39/0.49 v -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 x1230 -x1229
0.39/0.49 v -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211
0.39/0.49 v -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193
0.39/0.49 v -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176
0.39/0.49 v -x1175 -x1174 x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158
0.39/0.49 v -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140
0.39/0.49 v -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122
0.39/0.49 v -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 x1104
0.39/0.49 v -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086
0.39/0.49 v -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068
0.39/0.49 v -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 x1055 -x1054 -x1053 -x1052 -x1051 -x1050
0.39/0.49 v -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032
0.39/0.49 v -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014
0.39/0.49 v -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996
0.39/0.49 v -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975
0.39/0.49 v -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954
0.39/0.49 v -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933
0.39/0.49 v -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 x916 -x915 -x914 -x913 -x912
0.39/0.49 v -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 x896 -x895 -x894 -x893 -x892 -x891
0.39/0.49 v -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870
0.39/0.49 v -x869 -x868 -x867 -x866 -x865 -x864 x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849
0.39/0.49 v -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828
0.39/0.49 v -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807
0.39/0.49 v -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 x789 -x788 -x787 -x786
0.39/0.49 v -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766
0.39/0.49 v -x765 -x764 -x763 -x762 -x761 -x760 x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745
0.39/0.49 v -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724
0.39/0.49 v -x723 -x722 x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703
0.39/0.49 v -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682
0.39/0.49 v -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661
0.39/0.49 v -x660 -x659 -x658 -x657 x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640
0.39/0.49 v -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619
0.39/0.49 v -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598
0.39/0.49 v -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577
0.39/0.49 v -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556
0.39/0.49 v -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535
0.39/0.49 v -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 x514
0.39/0.49 v -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493
0.39/0.49 v -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472
0.39/0.49 v -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452
0.39/0.49 v -x451 -x450 -x449 -x448 x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431
0.39/0.49 v -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 x413 -x412 -x411 -x410
0.39/0.49 v -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389
0.39/0.49 v -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368
0.39/0.49 v -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347
0.39/0.49 v -x346 -x345 -x344 x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326
0.39/0.49 v -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 x309 -x308 -x307 -x306 -x305
0.39/0.49 v -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284
0.39/0.49 v -x283 -x282 -x281 -x280 -x279 -x278 -x277 x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263
0.39/0.49 v -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242
0.39/0.49 v x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221
0.39/0.49 v -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200
0.39/0.49 v -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179
0.39/0.49 v -x178 -x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158
0.39/0.49 v -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137
0.39/0.49 v -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117
0.39/0.49 v -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95
0.39/0.49 v -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
0.39/0.49 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
0.39/0.49 v -x44 -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
0.39/0.49 v -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
0.39/0.49 c SCIP Status : problem is solved [optimal solution found]
0.39/0.49 c Solving Time : 0.46
0.39/0.49 c Original Problem :
0.39/0.49 c Problem name : HOME/instance-2692447-1277890898.wbo
0.39/0.49 c Variables : 2716 (2618 binary, 0 integer, 0 implicit integer, 98 continuous)
0.39/0.49 c Constraints : 241 initial, 241 maximal
0.39/0.49 c Presolved Problem :
0.39/0.49 c Problem name : t_HOME/instance-2692447-1277890898.wbo
0.39/0.49 c Variables : 2716 (2618 binary, 0 integer, 0 implicit integer, 98 continuous)
0.39/0.49 c Constraints : 240 initial, 242 maximal
0.39/0.49 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
0.39/0.49 c trivial : 0.00 0 0 0 0 0 0 0 0
0.39/0.49 c dualfix : 0.00 0 0 0 0 0 0 0 0
0.39/0.49 c boundshift : 0.00 0 0 0 0 0 0 0 0
0.39/0.49 c inttobinary : 0.00 0 0 0 0 0 0 0 0
0.39/0.49 c implics : 0.00 0 0 0 0 0 0 0 0
0.39/0.49 c probing : 0.02 0 0 0 0 0 0 0 0
0.39/0.49 c indicator : 0.00 0 0 0 0 0 0 0 0
0.39/0.49 c setppc : 0.00 0 0 0 0 0 0 0 0
0.39/0.49 c linear : 0.00 0 0 0 98 0 1 0 0
0.39/0.49 c logicor : 0.00 0 0 0 0 0 0 0 0
0.39/0.49 c root node : - 92 - - 184 - - - -
0.39/0.49 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
0.39/0.49 c integral : 0 0 0 342 0 0 0 0 0 0
0.39/0.49 c indicator : 98 0 744 342 0 0 304 0 0 0
0.39/0.49 c setppc : 21 3 744 342 0 0 0 0 0 0
0.39/0.49 c linear : 98 3 744 342 0 0 0 220 0 0
0.39/0.49 c logicor : 23+ 3 45 183 0 3 11 0 0 0
0.39/0.49 c countsols : 0 0 0 183 0 0 0 0 0 0
0.39/0.49 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
0.39/0.49 c integral : 0.00 0.00 0.00 0.00 0.00
0.39/0.49 c indicator : 0.00 0.00 0.00 0.00 0.00
0.39/0.49 c setppc : 0.01 0.00 0.00 0.01 0.00
0.39/0.49 c linear : 0.04 0.00 0.02 0.02 0.00
0.39/0.49 c logicor : 0.00 0.00 0.00 0.00 0.00
0.39/0.49 c countsols : 0.00 0.00 0.00 0.00 0.00
0.39/0.49 c Propagators : Time Calls Cutoffs DomReds
0.39/0.49 c vbounds : 0.00 2 0 0
0.39/0.49 c rootredcost : 0.00 6 0 91
0.39/0.49 c pseudoobj : 0.00 545 0 20
0.39/0.49 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
0.39/0.49 c propagation : 0.00 3 3 4 2.0 0 0.0 -
0.39/0.49 c infeasible LP : 0.00 2 2 2 49.0 0 0.0 0
0.39/0.49 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
0.39/0.49 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
0.39/0.49 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
0.39/0.49 c applied globally : - - - 5 20.6 - - -
0.39/0.49 c applied locally : - - - 0 0.0 - - -
0.39/0.49 c Separators : Time Calls Cutoffs DomReds Cuts Conss
0.39/0.49 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
0.39/0.49 c redcost : 0.02 229 0 2 0 0
0.39/0.49 c impliedbounds : 0.00 0 0 0 0 0
0.39/0.49 c intobj : 0.00 0 0 0 0 0
0.39/0.49 c cgmip : 0.00 0 0 0 0 0
0.39/0.49 c gomory : 0.00 0 0 0 0 0
0.39/0.49 c strongcg : 0.00 0 0 0 0 0
0.39/0.49 c cmir : 0.00 0 0 0 0 0
0.39/0.49 c flowcover : 0.00 0 0 0 0 0
0.39/0.49 c clique : 0.00 0 0 0 0 0
0.39/0.49 c zerohalf : 0.00 0 0 0 0 0
0.39/0.49 c mcf : 0.00 0 0 0 0 0
0.39/0.49 c rapidlearning : 0.00 0 0 0 0 0
0.39/0.49 c Pricers : Time Calls Vars
0.39/0.49 c problem variables: 0.00 0 0
0.39/0.49 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
0.39/0.49 c relpscost : 0.00 0 0 0 0 0 0
0.39/0.49 c pscost : 0.00 0 0 0 0 0 0
0.39/0.49 c inference : 0.06 176 0 0 0 0 352
0.39/0.49 c mostinf : 0.00 0 0 0 0 0 0
0.39/0.49 c leastinf : 0.00 0 0 0 0 0 0
0.39/0.49 c fullstrong : 0.00 0 0 0 0 0 0
0.39/0.49 c allfullstrong : 0.00 0 0 0 0 0 0
0.39/0.49 c random : 0.00 0 0 0 0 0 0
0.39/0.49 c Primal Heuristics : Time Calls Found
0.39/0.49 c LP solutions : 0.01 - 7
0.39/0.49 c pseudo solutions : 0.00 - 0
0.39/0.49 c crossover : 0.00 0 0
0.39/0.49 c coefdiving : 0.00 0 0
0.39/0.49 c pscostdiving : 0.00 0 0
0.39/0.49 c fracdiving : 0.00 0 0
0.39/0.49 c veclendiving : 0.00 0 0
0.39/0.49 c objpscostdiving : 0.00 0 0
0.39/0.49 c rootsoldiving : 0.00 0 0
0.39/0.49 c linesearchdiving : 0.00 0 0
0.39/0.49 c guideddiving : 0.00 0 0
0.39/0.49 c feaspump : 0.00 0 0
0.39/0.49 c oneopt : 0.01 3 0
0.39/0.49 c trivial : 0.00 2 0
0.39/0.49 c simplerounding : 0.00 0 0
0.39/0.49 c zirounding : 0.01 0 0
0.39/0.49 c rounding : 0.00 0 0
0.39/0.49 c shifting : 0.00 0 0
0.39/0.49 c intshifting : 0.00 0 0
0.39/0.49 c twoopt : 0.00 0 0
0.39/0.49 c fixandinfer : 0.00 0 0
0.39/0.49 c intdiving : 0.00 0 0
0.39/0.49 c actconsdiving : 0.00 0 0
0.39/0.49 c octane : 0.00 0 0
0.39/0.49 c rens : 0.00 0 0
0.39/0.49 c rins : 0.00 0 0
0.39/0.49 c localbranching : 0.00 0 0
0.39/0.49 c mutation : 0.00 0 0
0.39/0.49 c dins : 0.00 0 0
0.39/0.49 c undercover : 0.00 0 0
0.39/0.49 c nlp : 0.00 0 0
0.39/0.49 c trysol : 0.00 4 2
0.39/0.49 c LP : Time Calls Iterations Iter/call Iter/sec
0.39/0.49 c primal LP : 0.00 0 0 0.00 -
0.39/0.49 c dual LP : 0.23 187 4746 25.38 20634.78
0.39/0.49 c lex dual LP : 0.00 0 0 0.00 -
0.39/0.49 c barrier LP : 0.00 0 0 0.00 -
0.39/0.49 c diving/probing LP: 0.00 3 9 3.00 -
0.39/0.49 c strong branching : 0.00 0 0 0.00 -
0.39/0.49 c (at root node) : - 0 0 0.00 -
0.39/0.49 c conflict analysis: 0.00 0 0 0.00 -
0.39/0.49 c B&B Tree :
0.39/0.49 c number of runs : 1
0.39/0.49 c nodes : 187
0.39/0.49 c nodes (total) : 187
0.39/0.49 c nodes left : 0
0.39/0.49 c max depth : 98
0.39/0.49 c max depth (total): 98
0.39/0.49 c backtracks : 8 (4.3%)
0.39/0.49 c delayed cutoffs : 3
0.39/0.49 c repropagations : 306 (184 domain reductions, 1 cutoffs)
0.39/0.49 c avg switch length: 5.20
0.39/0.49 c switching time : 0.00
0.39/0.49 c Solution :
0.39/0.49 c Solutions found : 9 (7 improvements)
0.39/0.49 c First Solution : +1.44000000000000e+02 (in run 1, after 101 nodes, 0.20 seconds, depth 98, found by <relaxation>)
0.39/0.49 c Primal Bound : +3.00000000000000e+00 (in run 1, after 187 nodes, 0.46 seconds, depth 88, found by <relaxation>)
0.39/0.49 c Dual Bound : +3.00000000000000e+00
0.39/0.49 c Gap : 0.00 %
0.39/0.49 c Root Dual Bound : +0.00000000000000e+00
0.39/0.49 c Root Iterations : 118
0.49/0.50 c Time complete: 0.49.
Begin job on node132 at 2010-06-30 11:41:38
IDJOB=2692447
IDBENCH=78689
IDSOLVER=1204
FILE ID=node132/2692447-1277890898
PBS_JOBID= 11197089
Free space on /tmp= 74140 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/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr--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-2692447-1277890898/watcher-2692447-1277890898 -o /tmp/evaluation-result-2692447-1277890898/solver-2692447-1277890898 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692447-1277890898.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= e9a64a9fd994118a8a7cda3ac40963c5
RANDOM SEED=1976127482
node132.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.810
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.62
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.810
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.810
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.810
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.810
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.74
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.810
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.810
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.810
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: 32951124 kB
MemFree: 31190544 kB
Buffers: 171452 kB
Cached: 1200220 kB
SwapCached: 0 kB
Active: 760272 kB
Inactive: 855740 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31190544 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4716 kB
Writeback: 0 kB
AnonPages: 244564 kB
Mapped: 20108 kB
Slab: 81060 kB
PageTables: 5684 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 1644804 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74136 MiB
End job on node132 at 2010-06-30 11:41:39