417.69/417.76 s SATISFIABLE
417.69/417.76 v 66 49 79 53 96 98 11 109 50 149 58 9 10 198 209 14 71 27 398 61 99 298 100 74 114 88 4 196 19 46 41 8 34 104 77 63 90 12 183 83 25 200 111 86 105 5 143 110 64 2 3 103 225 43 125 69 39 163 2754 2743 -2740 2739 2752 2750 -2745 2746 -2720 2719 -2741 2742 -2724 2723 -2747 2748 -2728 2727 2733 2726 -2735 2736 -2721 2722 -2738 2737 -2718 2717 -2712 2711 1196 1258 1383 -2729 2730 1436 -2732 2731 1566 1694 1776 -2228 -1760 1831 -1798 -2187 -2161 -1663 -1691 1946 -1679 -1695 -1390 -2063 -2016 -1905 -2083 -2054 -2034 -1527 2007 -1544 -1595 -1514 -1245 -1250 -1851 -1900 -1825 -1912 -1985 -1415 2150 -1410 -1414 -1499 -1188 -1177 -1761 -1703 -1880 -1342 2249 -2104 -1301 -1389 -1398 -1339 -1392 -1041 -1018 -1678 -1603 -1713 -2205 -2300 -2209 -2612 -2290 -2664 -2261 -2234 2309 -1631 -2037 -2089 -1286 -1253 -1217 -1209 -1248 -915 -1526 -1533 -1588 -1673 -1641 -2108 -2168 -2145 -2125 -2149 -2599 -2128 -2570 -2555 -2178 -2185 -2331 -2400 -2674 2479 -2311 -2398 -2361 -2387 -1576 -1504 -2000 -1152 -1148 -1149 -1133 -1124 -1441 -1577 -2023 -1958 -2021 -2060 -2092 -2003 -2096 -2084 -2042 -2490 -2492 -2245 -2268 -2225 -2531 2598 -2428 -2474 -2498 -2700 -2671 -2260 -2216 -2295 -2279 -2278 -1489 -1437 -1861 -1085 -1042 -1084 -1096 -1094 -1315 -1418 -1867 -1917 -1944 -1991 -1963 -1902 -1975 -1984 -1903 -1918 -1904 -2328 -2302 -2384 -2375 -2138 -2143 2614 -2379 -2395 -2749 -2525 -2545 -2568 -2556 -2513 -2551 -2597 -2163 -2191 -2181 -2180 -2109 -2111 -1400 -1783 -1734 -1754 -918 -904 -1712 -1759 -1810 -1827 -1824 -1833 -1888 -1826 -1802 -1878 -1889 -1837 -2287 -2262 -2097 -2022 -2082 -2601 -2602 -2603 -2604 -2605 -2606 -2607 -2608 -2609 -2610 -2611 -2613 -2615 -2616 -2617 -2618 -2619 -2620 -2621 -2622 -2623 -2624 -2625 -2626 -2627 -2628 -2629 -2630 -2631 -2632 -2633 -2634 -2635 -2636 -2637 -2638 -2639 -2640 -2641 -2642 -2643 -2644 -2645 -2646 -2647 -2648 -2649 -2650 -2651 -2652 -2653 -2654 -2655 -2656 -2657 -2658 -2659 -2660 -2661 -2662 -2663 -2665 -2666 -2667 -2668 -2669 -2670 -2672 -2673 -2675 -2676 -2677 -2678 -2679 -2680 -2681 -2682 -2683 -2684 -2685 -2686 -2687 -2688 -2689 -2690 -2691 -2692 -2693 -2694 -2695 -2696 -2697 -2698 -2699 -2576 -2561 -2227 -2319 -2449 -2458 -2310 -2327 -2466 -2427 -2489 -2301 -2364 -2494 -2469 -2219 -2382 -2296 -2208 -2276 -2223 -2299 -1979 -2027 -1814 -1929 -2183 -2105 -2005 -2114 -1882 -1658 -1601 -2280 -2281 -2443 -2438 -2464 -2441 -2473 -1967 -2052 -2013 -2098 -2046 -1261 -1612 -1685 -878 -802 -889 -837 -1699 -1790 -1715 -1794 -1741 -1724 -1757 -1922 -1966 -1965 -2562 -2503 -2557 -2519 -2508 -2532 -2546 -2571 -2534 -2536 -2549 -2753 -2501 -2589 -2560 -2516 -2573 -2541 -2542 -2507 -2520 -2527 -2544 -2517 -2558 -2543 -2593 -2567 -2569 -2587 -2585 -2529 -2583 -2559 -2530 -2582 -2572 -2515 -2586 -2547 -2524 -2533 -2550 -2588 -2577 -2548 -2564 -2535 -2574 -2596 -2506 -2591 -2563 -2578 -2505 -2510 -2514 -2537 -2538 -2553 -2594 -2523 -2526 -2540 -2511 -2509 -2581 -2580 -2565 -2566 -2522 -2339 -2512 -2552 -2521 -2600 -2528 -2554 -2575 -2584 -2502 -2504 -2518 -2579 -2595 -2590 -2592 -2423 -2478 -2193 -2169 -2167 -2220 -2207 -2350 -2396 -2374 -2306 -2335 -2201 -2289 -2269 -2267 -2293 -2337 -2314 -2369 -2393 -2367 -2255 -2270 -2353 -2120 -2127 -2107 -2266 -2222 -2265 -2118 -2078 -1868 -2134 -2136 -2194 -2123 -2158 -2192 -2190 -1895 -1844 -1993 -1969 -1519 -1799 -1893 -2058 -1808 -2051 -2025 -2100 -1908 -2099 -1567 -1517 -1586 -1553 -1439 -2386 -2359 -2355 -2370 -2315 -1859 -1812 -1973 -1941 -1995 -1690 -1947 -1178 -1580 -724 -757 -1565 -1628 -1642 -1615 -1869 -1847 -1836 -2403 -2407 -2420 -2436 -2434 -2447 -2451 -2497 -2456 -2413 -2485 -2483 -2450 -2500 -2491 -2463 -2415 -2471 -2446 -2467 -2493 -2435 -2406 -2496 -2486 -2343 -2453 -2412 -2465 -2422 -2442 -2452 -2477 -2488 -2421 -2426 -2440 -2424 -2433 -2470 -2455 -2429 -2431 -2418 -2404 -2751 -2432 -2454 -2405 -2411 -2408 -2401 -2439 -1928 -2376 -2459 -2448 -2472 -2460 -2416 -2410 -2414 -2437 -1839 -2282 -2230 -2499 -2444 -2417 -2445 -2425 -2468 -2487 -2461 -2378 -2462 -2457 -2419 -2481 -2409 -2480 -2402 -2484 -2475 -2358 -2131 -2049 -2068 -2070 -2012 -2059 -2146 -2171 -2277 -2288 -2218 -2204 -2231 -2232 -2229 -2200 -2153 -2298 -2239 -2195 -2253 -2248 -2015 -2137 -2110 -2002 -1911 -1721 -2001 -2011 -1708 -2066 -2067 -2050 -2045 -1714 -1710 -1849 -1870 -1432 -1692 -1749 -1768 -1935 -1906 -1996 -1974 -1879 -1723 -1943 -1945 -1968 -1925 -1823 -1992 -1990 -1412 -1459 -1472 -1491 -1487 -1382 -1376 -1330 -2252 -2242 -1756 -1720 -1780 -1877 -1545 -1550 -1830 -1413 -1770 -1730 -2303 -2346 -2371 -2383 -2385 -2341 -2373 -2312 -2377 -2388 -2345 -2325 -2368 -2354 -2305 -2342 -2351 -2356 -2313 -2397 -2347 -2329 -2332 -2304 -2318 -2352 -2286 -2348 -2399 -2340 -2326 -2321 -2317 -2344 -2372 -2357 -2308 -2316 -2360 -2334 -2336 -2211 -2330 -2294 -2324 -2333 -2363 -2391 -2389 -2014 -1748 -2166 -2165 -2122 -2392 -2390 -2338 -2307 -2320 -1982 -2349 -2362 -1957 -2274 -2235 -2206 -2076 -2004 -1950 -1938 -1999 -2029 -2031 -2006 -2081 -2140 -2126 -2121 -2157 -2119 -2061 -1983 -2039 -2087 -2179 -1809 -2130 -2176 -2182 -2148 -2124 -2133 -1942 -2057 -2090 -1953 -1962 -1846 -1617 -1644 -1916 -1960 -1805 -1634 -1636 -1937 -1914 -1857 -1988 -1977 -1698 -1639 -1509 -1498 -1295 -1198 -1689 -1796 -1784 -1742 -1735 -1764 -1650 -1638 -1828 -1838 -1795 -1744 -1897 -1822 -1892 -1821 -1860 -1803 -1845 -1850 -1399 -1354 -1664 -1718 -1492 -1407 -1373 -1341 -2203 -2247 -2213 -2251 -2297 -2256 -2212 -2215 -2240 -2226 -2221 -2243 -2238 -2264 -2273 -2241 -2257 -2155 -2152 -2224 -2233 -2292 -2272 -2244 -2217 -2236 -2263 -2291 -2285 -2283 -2160 -2116 -2254 -1939 -1998 -1624 -1633 -2036 -2069 -2047 -2284 -2202 -2275 -2259 -2246 -2271 -2250 -1874 -1855 -1731 -2129 -2093 -2132 -1994 -1923 -1858 -1919 -1807 -1865 -1932 -2074 -2055 -1876 -2032 -2744 -1978 -1767 -1976 -1930 -1866 -2044 -2095 -2094 -1887 -1605 -1729 -1706 -1604 -1510 -1751 -1800 -1725 -1501 -1511 -1224 -1899 -1755 -1774 -1841 -1818 -1548 -1395 -1379 -1139 -1009 1296 -1618 -1629 -1670 -1655 -1507 -1743 -1769 -1747 -1327 -1587 -1726 -1788 -1733 -1792 -1556 -1707 -1597 -1265 -1110 -1375 -1384 -1302 -1346 -1371 -1277 -2103 -2173 -2141 -2164 -2199 -2142 -2172 -2144 -2117 -2186 -2159 -2170 -1864 -2115 -2071 -2085 -2102 -2175 -2184 -2154 -2112 -1848 -1594 -2162 -2147 -2197 -2156 -2113 -2151 -2177 -2188 -1738 -1771 -1832 -1931 -1736 -1683 -1763 -1716 -1525 -1551 -1600 -1632 -1589 -1537 -1490 -1543 -1668 -1645 -1625 -1643 -1582 -1466 -1486 -1417 -1453 -1446 -1765 -1777 -1702 -1778 -1214 -1244 -1048 -949 1349 -1502 -1578 -1593 -1449 -1564 -1535 -1419 -1571 -1686 -1653 -1215 -1305 -1416 -1463 -1621 -1675 -1602 -1684 -1646 -1671 -1443 -1322 -928 -1090 -1229 -1231 -1206 -1281 -1140 -1126 -2026 -2033 -2088 -2077 -2019 -1871 -2065 -1890 -2062 -2073 -2075 -2040 -2010 -2072 -2091 -2056 -2020 -2064 -2035 -1719 -1997 -1913 -1951 -1956 -1843 -2024 -2080 -2030 -2043 -2018 -2041 -1659 -1613 -1656 -1651 -1697 -1236 -1804 -1789 -1561 -1558 -1627 -1403 -1461 -1468 -1457 -1328 -1482 -1422 -1497 -1560 -1521 -1592 -1503 -1522 -1239 -1469 -1314 -1337 -1352 -1348 -1347 -1610 -1640 -1626 -1662 -1611 -933 -924 -896 -842 -884 1409 -1424 -1350 -1320 -1307 -1481 -1572 -1591 -1539 -1142 -1225 -1300 -1251 -1524 -1531 -1529 -1506 -1493 1609 -1581 -1386 -1269 -1247 -1132 -1921 -1926 -1940 -1927 -1907 -1920 -1781 -1797 -1910 -1750 -1745 -1972 -1901 -1989 -1853 -1676 -1954 -1964 -1970 -1955 -1607 -1620 -1722 -1782 -1986 -1915 -1520 -1183 -2716 -1737 -1700 -1483 -1454 -1434 -1467 -1515 -1303 -1378 -1338 -1365 -1366 -1433 -1488 -1426 -1447 -1176 -1130 -1182 -1353 -1299 -1257 -1285 -1230 -1590 -1546 -894 -779 -728 1598 -1450 -1207 -1475 -1473 -1462 -1440 -1448 -1143 -1097 -1168 -1145 -1125 -1494 -1404 -1039 -1476 -1274 1779 1896 2198 -1452 -1272 -1291 -1153 -1815 -1677 -1688 -1840 -1875 -1862 -1873 -1886 -1817 -1682 -1787 -1739 -1819 -1835 -1666 -1622 -1665 -1569 -1891 -1872 -1058 -614 2715 -1311 -1312 -1385 -1288 -1233 -1226 -1321 -1287 -1190 -1192 -1445 -1431 -1429 -1406 -766 -695 -644 -1377 -1388 -1171 -1146 -1372 -1333 -1324 -1082 -1022 -1060 -1021 -1092 -1003 -1357 -1319 -976 -982 -930 -1394 -1323 -1114 -1266 -1131 -1076 1949 2214 -1154 -1087 -1518 -1402 -1541 -1772 -1791 -2734 -1630 -1732 -1536 -1547 -1470 -1775 -1773 -1762 -1740 -996 -935 -906 -974 909 1028 946 698 1309 1458 1427 -2725 -694 -674 -655 -1246 -1280 -1121 -1045 -1050 -1332 -636 -1218 -1241 -1081 -1006 -1029 -1031 -1275 -1262 -1273 -1240 -1294 -965 -922 -966 -991 -963 -917 -944 -902 -984 -975 -903 -1255 -1232 -1099 -1137 -1004 -994 -923 -866 2009 2366 -1478 -1362 -1477 -1654 -1430 -1672 -828 -879 -808 -838 1079 1007 709 1479 1596 1583 1563 861 1368 -1147 -988 -977 -2714 -1115 -932 -1172 -869 -847 -836 -827 -810 -824 -833 -888 -826 -990 -992 -1057 -957 -919 -736 2482 -1326 -1340 -1540 -1573 -1562 -1575 809 898 846 -744 -795 -723 1150 1249 1649 1909 1898 1709 1661 1687 1000 1089 1500 -1030 -841 -818 2713 -1040 -1075 -1062 -1073 -770 -730 -715 -790 -794 -741 -845 -850 -874 -855 -832 2539 998 911 -610 1393 2079 2196 1728 2258 1104 1505 1616 -777 -702 -778 701 961 834 1195 687 746 -599 646 653 -514 -510 -566 -2710 -508 -538 -571 -972 -664 -635 -650 -645 -666 -677 -792 -707 -708 -738 -771 1014 1078 -590 2323 1711 1961 -618 -624 1298 753 811 -465 711 509 -499 -490 -436 2709 -423 -481 -873 -862 -840 -875 -519 -507 -592 -536 -518 -623 -681 1118 -450 -445 2476 1834 2028 -578 -502 609 -594 641 801 934 -365 -350 -345 409 598 405 546 611 587 -352 -432 -478 -402 -552 498 416 -307 -392 -424 798 -466 788 1008 305 483 516 734 -324 -485 -394 -336 446 803 1174 561 511 925 700 634 1100 705 761 1105 987 816 900 1263 1387 905 1428 1187 1063 1228 1396 -2708 2707 309 479 343 387 334 349 -294 346 -207 -292 -285 -266 357 596 497 453 461 493 411 -2706 361 -136 437 649 543 501 600 529 534 2705 500 -2704 504 793 697 605 661 293 295 249 231 261 205 234 216 297 244 243 287 267 -166 505 2703 631 829 743 716 887 800 329 379 393 400 487 316 397 353 358 -36 616 194 101 193 134 190 144 195 155 157 131 146 164 188 174 161 141 187 167 116 170 118 197 122 153 186 449 897 953 805 496 429 553 443 401 -2702 787 224 229 210 279 257 237 304 246 211 270 203 300 288 253 258 269 277 201 593 943 1069 916 1011 549 601 597 2701 853 302 344 396 337 431 311 369 325 303 301 383 322 341 629 1025 1122 1282 1134 693 643 18 31 16 44 67 80 95 87 1 59 68 47 70 72 97 22 93 81 57 37 94 55 52 45 29 24 901 418 404 434 422 425 488 1343 1208 729 797 177 179 158 112 169 129 171 137 124 181 102 1010 577 531 503 1425 1374 843 241 296 283 222 255 204 202 271 218 1144 625 997 388 331 318 355 377 1221 1071 403 477 457 441 1155 525 541 537 588 1264 688 604 603 1370 703 731 725 1464 825 1669 1570 1727 1863 1987 -1579 -1444 -1495 1523 1608 1705 1816 1758 1883 1696 1528 -2174 -2038 -2008 -1811 -1934 -1959 -1936 -1753 -1746 -1801 -1856 -1820 -1648 -1647 -1786 -1717 -1530 -1652 -1585 -1235 -1129 -1093 -1334 -1201 -1211 -1160 -1116 -1005 -908 -823 -1460 -1363 -1391 -1227 -1193 -1169 -1167 -1068 -1049 -1070 -1059 -1012 -938 -950 -999 -807 -865 -1829 -1793 -1405 -1308 -1223 -1158 -1067 -1574 -1408 -1438 -1336 -1359 -1220 -1256 -1164 -1019 -907 -920 -927 -815 -1657 -1555 -1471 -1351 -1356 -1313 -1397 -1243 -1186 -1072 -1091 -954 -1360 -1065 -910 -890 -745 -750 -692 -607 -1199 839 -1358 -1267 -1614 -1599 -1290 -1465 -1310 -1128 1279 -1423 -1213 -1141 -1173 -1077 -926 -940 1098 1109 -1179 -1095 -1044 1674 -1271 -1197 -1156 -1113 -1151 -1043 -986 -872 -891 -740 -762 -775 -773 -704 -637 -689 -557 -474 -455 -338 -308 -371 -223 -281 -152 -85 763 -1074 -931 -804 -876 -789 -737 -657 -574 -555 -408 -438 -471 -323 -381 -252 -185 1508 -1496 -1304 -1318 -1289 -1237 -1061 -1202 -1278 -1200 -978 -1162 -1111 -1046 -947 -830 -1549 -1484 -1442 -1210 -1101 -1189 -1086 -1053 -1017 -952 -948 -885 -1557 -1474 -1455 -1331 -1276 -1204 -1066 -1194 -1123 -1119 -1157 -914 -937 -857 -1032 -1055 -899 -774 -755 -765 -638 -608 -671 -523 -581 -452 -385 -1516 -1401 -1623 -1766 -1637 995 -1568 -1421 -1317 -1344 831 -1894 -1924 -1325 -1203 -1103 -1088 -1026 -1033 -921 -1216 -1369 -1270 929 1035 1170 -970 -864 -835 -719 -632 -1166 -1036 -983 -858 -767 -659 -612 -556 -520 -580 -413 -1034 -985 714 895 979 -1660 -1037 -1693 -799 -665 -1205 -1108 -1023 -958 -867 -712 -759 -680 -656 -620 -513 -1001 -1002 -962 -710 -690 -550 -545 -407 -492 -678 -410 -390 -250 -245 -107 -192 565 699 -1293 814 -1335 -458 -367 -212 -259 -180 -156 -120 -13 -583 -1161 -1083 -1054 -912 -880 -713 -1534 -1411 -1316 -1102 -1024 -2139 -2048 -1933 -1297 -1234 -1185 -1480 -1704 -1619 -1532 -1361 -1283 -1254 -1112 -1080 782 -1329 -2322 -749 -696 -684 -642 -579 -528 -444 -495 -310 -314 -290 -299 -150 -145 -165 -7 -92 -1635 -822 -747 -769 -630 -670 -564 -535 -419 -332 1260 -1538 -1512 -1667 -1559 -1456 -1420 -1364 -1219 -1127 -1107 -1120 -1015 -942 -1212 -619 -532 -676 -1268 -1138 758 883 -1701 -2394 1027 1163 -548 576 582 -1056 -964 -819 -732 -1513 -1680 374 893 -1355 -2495 -2101 -2086 -2017 -2053 -1952 -1948 -1885 -2210 -2189 -968 -860 -821 -1292 -1184 -1175 -1367 -1259 -939 -848 489 -2365 -959 -856 -820 -844 -2380 -796 -628 -679 -595 -544 -414 -399 -265 -849 -742 -784 -1980 -1813 -1222 -764 -870 -735 -1165 -1435 -882 -1016 -1136 -969 -683 -558 -467 -312 -359 -280 -113 -256 -220 -621 -748 -776 -936 -1064 -955 -871 -781 -652 -585 6 15 127 263 -17 -20 21 168 23 108 274 -26 28 -30 -32 -33 35 38 40 172 286 -42 48 139 -51 -54 56 159 60 -62 65 199 214 395 -73 -75 76 78 82 -84 89 91 -106 -115 -117 119 264 370 469 522 -121 -123 -126 -128 -130 -132 -133 135 -138 -140 -142 -147 -148 -151 -154 160 268 -162 -173 -175 176 -178 182 -184 189 -191 -206 -208 213 380 412 567 658 783 -215 -217 -219 221 368 -226 227 363 -228 -230 -232 -233 235 236 366 494 524 602 718 877 941 1013 1180 238 -239 -240 -242 -247 -248 -251 -254 260 -262 -272 -273 -275 276 278 282 -284 289 -291 -306 -313 -315 -317 319 464 570 669 722 -320 321 468 -326 327 463 328 -330 -333 335 470 569 622 339 -340 -342 -347 348 439 -351 -354 356 459 360 -362 364 -372 -373 -375 376 378 -382 -384 -386 389 -391 -406 -415 -417 -420 421 568 -426 427 563 -428 -430 -433 -435 -440 -442 -447 -448 -451 -454 -456 460 -462 -472 -473 -475 476 -480 482 -484 -486 -491 -506 -512 -515 -517 -521 -526 527 663 -530 -533 539 -540 -542 -547 -551 -554 -559 -560 -562 -572 -573 -575 -584 -586 589 -591 -606 -613 -615 -617 -626 627 -633 -639 -640 -647 -648 -651 -654 -660 -662 -667 -668 -672 -673 -675 682 -685 -686 -691 -706 -717 -720 -721 -726 -727 -733 -739 -751 -752 -754 -756 -760 -768 -772 -780 -785 -786 -791 -806 -812 -813 -817 -851 -852 -854 -859 -863 -868 -881 -886 -892 -913 -945 -951 -956 -960 -967 -971 -973 -980 -981 -989 -993 -1020 -1038 -1047 -1051 -1052 -1106 -1117 -1135 -1159 -1181 -1191 -1238 -1242 -1252 -1284 -1306 -1345 -1380 -1381 -1451 -1485 -1542 -1552 -1554 -1584 -1606 -1681 -1752 -1785 -1806 -1842 -1852 -1854 -1881 -1884 -1971 -1981 -2106 -2135 -2237 -2381 -2430 0
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3260743-1303516621/watcher-3260743-1303516621 -o /tmp/evaluation-result-3260743-1303516621/solver-3260743-1303516621 -C 2400 -W 1300 -M 7680 umsat HOME/instance-3260743-1303516621.cnf
running on 2 cores: 1,3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.97 1.53 2.27 4/189 2052
/proc/meminfo: memFree=13939160/32950928 swapFree=67111528/67111528
[pid=2052] ppid=2050 vsize=11644 CPUtime=0 cores=1,3
/proc/2052/stat : 2052 (umsat) R 2050 2052 969 0 -1 4194304 345 0 0 0 0 0 0 0 18 0 1 0 541892820 11923456 284 33554432000 4194304 4263880 140733611438368 18446744073709551615 251367207621 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2052/statm: 2911 284 240 17 0 84 0
[startup+0.0221081 s]
/proc/loadavg: 0.97 1.53 2.27 4/189 2052
/proc/meminfo: memFree=13939160/32950928 swapFree=67111528/67111528
[pid=2052] ppid=2050 vsize=12104 CPUtime=0.02 cores=1,3
/proc/2052/stat : 2052 (umsat) R 2050 2052 969 0 -1 4194304 452 0 0 0 2 0 0 0 18 0 1 0 541892820 12394496 391 33554432000 4194304 4263880 140733611438368 18446744073709551615 251367214098 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2052/statm: 3026 391 241 17 0 199 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12104
[startup+0.101089 s]
/proc/loadavg: 0.97 1.53 2.27 4/189 2052
/proc/meminfo: memFree=13939160/32950928 swapFree=67111528/67111528
[pid=2052] ppid=2050 vsize=13808 CPUtime=0.09 cores=1,3
/proc/2052/stat : 2052 (umsat) R 2050 2052 969 0 -1 4202496 942 0 0 0 9 0 0 0 18 0 1 0 541892820 14139392 771 33554432000 4194304 4263880 140733611438368 18446744073709551615 4215113 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2052/statm: 3452 771 247 17 0 625 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13808
[startup+0.301054 s]
/proc/loadavg: 0.97 1.53 2.27 4/189 2052
/proc/meminfo: memFree=13939160/32950928 swapFree=67111528/67111528
[pid=2052] ppid=2050 vsize=14340 CPUtime=0.29 cores=1,3
/proc/2052/stat : 2052 (umsat) R 2050 2052 969 0 -1 4202496 1081 0 0 0 29 0 0 0 18 0 1 0 541892820 14684160 910 33554432000 4194304 4263880 140733611438368 18446744073709551615 4215093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2052/statm: 3585 910 247 17 0 758 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14340
[startup+0.700979 s]
/proc/loadavg: 0.97 1.53 2.27 4/189 2052
/proc/meminfo: memFree=13939160/32950928 swapFree=67111528/67111528
[pid=2052] ppid=2050 vsize=15452 CPUtime=0.69 cores=1,3
/proc/2052/stat : 2052 (umsat) R 2050 2052 969 0 -1 4202496 1368 0 0 0 69 0 0 0 18 0 1 0 541892820 15822848 1197 33554432000 4194304 4263880 140733611438368 18446744073709551615 4244064 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2052/statm: 3863 1197 247 17 0 1036 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15452
[startup+1.50083 s]
/proc/loadavg: 0.97 1.53 2.27 5/190 2053
/proc/meminfo: memFree=13928852/32950928 swapFree=67111528/67111528
[pid=2052] ppid=2050 vsize=17184 CPUtime=1.49 cores=1,3
/proc/2052/stat : 2052 (umsat) R 2050 2052 969 0 -1 4202496 1777 0 0 0 149 0 0 0 20 0 1 0 541892820 17596416 1606 33554432000 4194304 4263880 140733611438368 18446744073709551615 4207753 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2052/statm: 4296 1606 247 17 0 1469 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17184
[startup+3.10054 s]
/proc/loadavg: 0.97 1.53 2.27 5/190 2053
/proc/meminfo: memFree=13922396/32950928 swapFree=67111528/67111528
[pid=2052] ppid=2050 vsize=20284 CPUtime=3.09 cores=1,3
/proc/2052/stat : 2052 (umsat) R 2050 2052 969 0 -1 4202496 2496 0 0 0 309 0 0 0 25 0 1 0 541892820 20770816 2325 33554432000 4194304 4263880 140733611438368 18446744073709551615 4205664 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2052/statm: 5071 2325 247 17 0 2244 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20284
[startup+6.30095 s]
/proc/loadavg: 1.21 1.57 2.27 5/190 2053
/proc/meminfo: memFree=13909756/32950928 swapFree=67111528/67111528
[pid=2052] ppid=2050 vsize=23200 CPUtime=6.29 cores=1,3
/proc/2052/stat : 2052 (umsat) R 2050 2052 969 0 -1 4202496 3156 0 0 0 629 0 0 0 25 0 1 0 541892820 23756800 2985 33554432000 4194304 4263880 140733611438368 18446744073709551615 4207753 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2052/statm: 5800 2985 247 17 0 2973 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23200
[startup+12.7008 s]
/proc/loadavg: 1.43 1.61 2.28 5/190 2053
/proc/meminfo: memFree=13880664/32950928 swapFree=67111528/67111528
[pid=2052] ppid=2050 vsize=26912 CPUtime=12.69 cores=1,3
/proc/2052/stat : 2052 (umsat) R 2050 2052 969 0 -1 4202496 4069 0 0 0 1269 0 0 0 25 0 1 0 541892820 27557888 3898 33554432000 4194304 4263880 140733611438368 18446744073709551615 4215123 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2052/statm: 6728 3898 247 17 0 3901 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26912
[startup+25.5004 s]
/proc/loadavg: 2.00 1.73 2.31 5/190 2054
/proc/meminfo: memFree=13844472/32950928 swapFree=67111528/67111528
[pid=2052] ppid=2050 vsize=35940 CPUtime=25.49 cores=1,3
/proc/2052/stat : 2052 (umsat) R 2050 2052 969 0 -1 4202496 6534 0 0 0 2548 1 0 0 25 0 1 0 541892820 36802560 5996 33554432000 4194304 4263880 140733611438368 18446744073709551615 4243981 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2052/statm: 8985 5996 247 17 0 6158 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 35940
[startup+51.1006 s]
/proc/loadavg: 2.68 1.91 2.35 5/190 2054
/proc/meminfo: memFree=13796784/32950928 swapFree=67111528/67111528
[pid=2052] ppid=2050 vsize=44120 CPUtime=51.09 cores=1,3
/proc/2052/stat : 2052 (umsat) R 2050 2052 969 0 -1 4202496 8711 0 0 0 5107 2 0 0 25 0 1 0 541892820 45178880 8015 33554432000 4194304 4263880 140733611438368 18446744073709551615 4215093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2052/statm: 11030 8015 247 17 0 8203 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 44120
[startup+102.307 s]
/proc/loadavg: 3.43 2.23 2.44 5/190 2056
/proc/meminfo: memFree=13719640/32950928 swapFree=67111528/67111528
[pid=2052] ppid=2050 vsize=62404 CPUtime=102.3 cores=1,3
/proc/2052/stat : 2052 (umsat) R 2050 2052 969 0 -1 4202496 13749 0 0 0 10226 4 0 0 25 0 1 0 541892820 63901696 12424 33554432000 4194304 4263880 140733611438368 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2052/statm: 15601 12424 247 17 0 12774 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 62404
[startup+162.301 s]
/proc/loadavg: 3.79 2.55 2.53 5/190 2084
/proc/meminfo: memFree=13655952/32950928 swapFree=67111528/67111528
[pid=2052] ppid=2050 vsize=77684 CPUtime=162.29 cores=1,3
/proc/2052/stat : 2052 (umsat) R 2050 2052 969 0 -1 4202496 17959 0 0 0 16224 5 0 0 25 0 1 0 541892820 79548416 15846 33554432000 4194304 4263880 140733611438368 18446744073709551615 4224878 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2052/statm: 19421 15846 247 17 0 16594 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 77684
[startup+222.301 s]
/proc/loadavg: 3.96 2.83 2.63 5/190 2086
/proc/meminfo: memFree=13589352/32950928 swapFree=67111528/67111528
[pid=2052] ppid=2050 vsize=85804 CPUtime=222.29 cores=1,3
/proc/2052/stat : 2052 (umsat) R 2050 2052 969 0 -1 4202496 20181 0 0 0 22223 6 0 0 25 0 1 0 541892820 87863296 17762 33554432000 4194304 4263880 140733611438368 18446744073709551615 4215110 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2052/statm: 21451 17762 247 17 0 18624 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 85804
[startup+282.301 s]
/proc/loadavg: 3.98 3.04 2.71 5/190 2096
/proc/meminfo: memFree=13566612/32950928 swapFree=67111528/67111528
[pid=2052] ppid=2050 vsize=94140 CPUtime=282.3 cores=1,3
/proc/2052/stat : 2052 (umsat) R 2050 2052 969 0 -1 4202496 22613 0 0 0 28222 8 0 0 25 0 1 0 541892820 96399360 19858 33554432000 4194304 4263880 140733611438368 18446744073709551615 4242449 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2052/statm: 23535 19858 247 17 0 20708 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 94140
[startup+342.301 s]
/proc/loadavg: 3.99 3.21 2.79 5/190 2098
/proc/meminfo: memFree=13534232/32950928 swapFree=67111528/67111528
[pid=2052] ppid=2050 vsize=105572 CPUtime=342.29 cores=1,3
/proc/2052/stat : 2052 (umsat) R 2050 2052 969 0 -1 4202496 25579 0 0 0 34220 9 0 0 25 0 1 0 541892820 108105728 22454 33554432000 4194304 4263880 140733611438368 18446744073709551615 4215110 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2052/statm: 26393 22454 247 17 0 23566 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 105572
[startup+402.301 s]
/proc/loadavg: 3.99 3.35 2.86 5/190 2127
/proc/meminfo: memFree=13521204/32950928 swapFree=67111528/67111528
[pid=2052] ppid=2050 vsize=110424 CPUtime=402.29 cores=1,3
/proc/2052/stat : 2052 (umsat) R 2050 2052 969 0 -1 4202496 26595 0 0 0 40219 10 0 0 25 0 1 0 541892820 113074176 23470 33554432000 4194304 4263880 140733611438368 18446744073709551615 4205634 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2052/statm: 27606 23470 247 17 0 24779 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 110424
Solver just ended. Dumping a history of the last processes samples
[startup+409.5 s]
/proc/loadavg: 3.99 3.36 2.87 5/190 2127
/proc/meminfo: memFree=13517484/32950928 swapFree=67111528/67111528
[pid=2052] ppid=2050 vsize=110424 CPUtime=409.49 cores=1,3
/proc/2052/stat : 2052 (umsat) R 2050 2052 969 0 -1 4202496 26625 0 0 0 40939 10 0 0 25 0 1 0 541892820 113074176 23500 33554432000 4194304 4263880 140733611438368 18446744073709551615 4207691 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2052/statm: 27606 23500 247 17 0 24779 0
Current children cumulated CPU time (s) 409.49
Current children cumulated vsize (KiB) 110424
[startup+415.901 s]
/proc/loadavg: 3.99 3.38 2.88 5/190 2127
/proc/meminfo: memFree=13516860/32950928 swapFree=67111528/67111528
[pid=2052] ppid=2050 vsize=110424 CPUtime=415.89 cores=1,3
/proc/2052/stat : 2052 (umsat) R 2050 2052 969 0 -1 4202496 26628 0 0 0 41579 10 0 0 25 0 1 0 541892820 113074176 23503 33554432000 4194304 4263880 140733611438368 18446744073709551615 4215110 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2052/statm: 27606 23503 247 17 0 24779 0
Current children cumulated CPU time (s) 415.89
Current children cumulated vsize (KiB) 110424
[startup+419.106 s]
/proc/loadavg: 3.99 3.38 2.88 5/190 2127
/proc/meminfo: memFree=13515844/32950928 swapFree=67111528/67111528
[pid=2052] ppid=2050 vsize=111220 CPUtime=419.1 cores=1,3
/proc/2052/stat : 2052 (umsat) R 2050 2052 969 0 -1 4202496 26852 0 0 0 41900 10 0 0 25 0 1 0 541892820 113889280 23727 33554432000 4194304 4263880 140733611438368 18446744073709551615 4207003 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2052/statm: 27805 23727 253 17 0 24978 0
Current children cumulated CPU time (s) 419.1
Current children cumulated vsize (KiB) 111220
[startup+420.701 s]
/proc/loadavg: 3.99 3.39 2.88 5/190 2127
/proc/meminfo: memFree=13515844/32950928 swapFree=67111528/67111528
[pid=2052] ppid=2050 vsize=111220 CPUtime=420.69 cores=1,3
/proc/2052/stat : 2052 (umsat) R 2050 2052 969 0 -1 4202496 26852 0 0 0 42059 10 0 0 25 0 1 0 541892820 113889280 23727 33554432000 4194304 4263880 140733611438368 18446744073709551615 4207003 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2052/statm: 27805 23727 253 17 0 24978 0
Current children cumulated CPU time (s) 420.69
Current children cumulated vsize (KiB) 111220
[startup+421.101 s]
/proc/loadavg: 3.99 3.39 2.88 5/190 2127
/proc/meminfo: memFree=13515844/32950928 swapFree=67111528/67111528
[pid=2052] ppid=2050 vsize=111220 CPUtime=421.09 cores=1,3
/proc/2052/stat : 2052 (umsat) R 2050 2052 969 0 -1 4202496 26852 0 0 0 42099 10 0 0 25 0 1 0 541892820 113889280 23727 33554432000 4194304 4263880 140733611438368 18446744073709551615 251367244368 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2052/statm: 27805 23727 253 17 0 24978 0
Current children cumulated CPU time (s) 421.09
Current children cumulated vsize (KiB) 111220
[startup+421.501 s]
/proc/loadavg: 3.99 3.39 2.88 5/190 2127
/proc/meminfo: memFree=13515844/32950928 swapFree=67111528/67111528
[pid=2052] ppid=2050 vsize=111220 CPUtime=421.49 cores=1,3
/proc/2052/stat : 2052 (umsat) R 2050 2052 969 0 -1 4202496 26852 0 0 0 42139 10 0 0 25 0 1 0 541892820 113889280 23727 33554432000 4194304 4263880 140733611438368 18446744073709551615 4206730 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2052/statm: 27805 23727 253 17 0 24978 0
Current children cumulated CPU time (s) 421.49
Current children cumulated vsize (KiB) 111220
[startup+421.601 s]
/proc/loadavg: 3.99 3.39 2.88 5/190 2127
/proc/meminfo: memFree=13515844/32950928 swapFree=67111528/67111528
[pid=2052] ppid=2050 vsize=111220 CPUtime=421.59 cores=1,3
/proc/2052/stat : 2052 (umsat) R 2050 2052 969 0 -1 4202496 26852 0 0 0 42149 10 0 0 25 0 1 0 541892820 113889280 23727 33554432000 4194304 4263880 140733611438368 18446744073709551615 4206960 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2052/statm: 27805 23727 253 17 0 24978 0
Current children cumulated CPU time (s) 421.59
Current children cumulated vsize (KiB) 111220
Child status: 0
Real time (s): 421.682
CPU time (s): 421.68
CPU user time (s): 421.571
CPU system time (s): 0.108983
CPU usage (%): 99.9996
Max. virtual memory (cumulated for all children) (KiB): 111220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 421.571
system time used= 0.108983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26855
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 529
runsolver used 0.695894 second user time and 1.60875 second system time
The end
Begin job on node113 at 2011-04-23 01:57:02
IDJOB=3260743
IDBENCH=83195
IDSOLVER=1582
FILE ID=node113/3260743-1303516621
RUNJOBID= node113-1303516620-2012
PBS_JOBID= 13134248
Free space on /tmp= 70624 MiB
SOLVER NAME= UmSat 2011-02-25
BENCH NAME= SAT11/crafted/skvortsov/automata-synchronization/rnd_100_27_s.cnf
COMMAND LINE= umsat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3260743-1303516621/watcher-3260743-1303516621 -o /tmp/evaluation-result-3260743-1303516621/solver-3260743-1303516621 -C 2400 -W 1300 -M 7680 umsat HOME/instance-3260743-1303516621.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 5d70a835e78bdc6fb258373ec795225f
RANDOM SEED=1356821647
node113.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.846
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.69
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.846
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.76
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.846
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.74
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.846
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.846
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.846
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.846
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.83
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.846
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: 32950928 kB
MemFree: 13939936 kB
Buffers: 1699860 kB
Cached: 16654124 kB
SwapCached: 0 kB
Active: 10484636 kB
Inactive: 7943072 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 13939936 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 10272 kB
Writeback: 0 kB
AnonPages: 73956 kB
Mapped: 15128 kB
Slab: 518972 kB
PageTables: 5300 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 262132 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= 70616 MiB
End job on node113 at 2011-04-23 02:04:03