Trace number 3265601

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sol 2011-04-04SAT 8.66568 8.55267

General information on the benchmark

NameSAT05/crafted/sorge05/QG7a/
gensys-brn002.shuffled-as.sat05-3935.cnf
MD5SUMeda2d1e7d2975da4e019beddc323767b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.366944
Satisfiable
(Un)Satisfiability was proved
Number of variables2401
Number of clauses15897
Sum of the clauses size111804
Maximum clause length13
Minimum clause length1
Number of clauses of size 135
Number of clauses of size 2385
Number of clauses of size 32205
Number of clauses of size 4294
Number of clauses of size 5441
Number of clauses of size over 512537

Solver Data

8.61/8.54	s SATISFIABLE
8.61/8.54	v -2236 -2176 -2073 -1534 -1429 -1336 -1012 -927 -641 -581 -201 -188 -163 -25 -16 119 169 737 851 910 972 1021 1023 1054 1175 1419 1480 1662 1694 1787 1788 1797 1844 1940 2294 -960 -1235 579 -1094 1858 -688 952 406 -158 1037 -1116 -479 591 -373 1845 1635 1745 -1648 1446 -2314 1276 -1942 -1985 -665 -631 -1545 -590 1244 -980 -1828 1141 1168 2163 979 1816 -1994 906 -572 382 64 716 1939 506 -1604 -480 -1815 -2091 -1861 1530 -1 286 662 1521 1836 879 2088 -637 -1601 848 279 -2285 -2122 907 -297 -883 -919 -823 -2142 -589 578 -1058 1112 1200 697 -711 70 228 810 -1711 -2231 1151 -1755 868 2165 2321 -96 -1819 -1416 40 1048 -344 -2087 476 1041 1908 -1397 -444 -742 -366 475 812 1470 -1073 -760 1479 -2336 -1297 -2280 -1825 -2244 622 -125 2199 1547 -376 2154 -2097 -69 575 1955 1264 649 2385 1157 -1552 2320 -617 -685 684 -663 1514 2055 -1650 58 1353 103 2201 1701 2017 1934 2057 -999 -468 -2085 1445 -1734 1566 -2034 -2100 2090 2173 1128 1672 -2364 -2240 -1991 -618 -1786 2005 -361 670 -1756 -1778 20 -1626 571 1936 1698 351 905 -2226 1892 -992 1442 2186 -654 345 -2229 1302 -873 2370 -1500 1911 -1255 -1196 1152 -2147 1766 -315 -538 -893 -233 -235 2146 560 876 230 -904 2123 755 1091 -1227 -122 1706 730 -523 -797 1675 630 1172 458 -29 2286 -1795 371 80 1889 -1325 2024 1083 -2153 2233 -291 -1198 287 2030 -2144 -350 168 -282 -387 -524 51 1350 1132 -1558 -613 -2352 -653 2360 2145 -2110 507 587 1085 -833 1980 634 1204 262 -1498 1664 -1743 -1430 -2149 -1992 -1290 -914 -447 -2252 1667 378 -1910 -2307 -449 1249 -915 1052 429 2241 -822 412 820 629 -752 296 1632 -762 555 743 2109 1137 1539 2254 -2212 -955 -689 1257 434 1056 1932 206 1027 559 -2399 -470 1222 -715 495 541 -483 -2381 -1305 1564 -2372 332 1450 -2353 -1901 380 -897 -1035 448 -2072 1719 -1747 2230 -928 647 2079 1875 -1860 1263 1641 -500 164 -890 1294 -1008 -2193 1918 533 -739 2008 2050 -1643 -1383 -1348 1394 2214 239 -50 -1433 -1926 135 -1145 45 -1402 -490 -1454 1806 159 1414 -2046 2325 -648 -2157 2348 1377 1700 1783 1501 1561 232 -1373 -2368 -2331 -1976 1090 -1292 1114 510 1523 -656 1434 2375 -779 -1504 -1272 924 -1407 -1142 -2267 270 -118 -1323 1975 -1822 2260 216 1953 -1993 -1524 847 211 1271 -47 -335 2350 -1123 1683 934 -1999 -2138 2140 1705 -1063 -1444 -1794 -1630 537 -499 -1731 -1764 157 -247 1488 303 -1313 1941 -2400 -1754 1583 82 -19 -753 -1957 -2202 -2010 -2232 2278 1983 174 -528 -692 -973 768 2031 2066 2200 -1548 -1332 487 -53 -1365 205 -1585 -2183 -473 -686 912 -1461 1105 1033 -2152 -777 -954 -2056 -1318 1595 2196 1288 -93 1497 -1299 -2401 -290 -2379 1201 67 1181 -264 2259 2209 561 569 -430 -431 -583 -1785 1549 -2051 -2384 957 1110 764 1603 -1303 -492 -330 90 2395 -1807 1639 384 1333 -1835 1515 1072 334 1068 1691 1560 -2213 1413 -2204 -81 482 1020 -117 1871 -1447 -1484 -1230 517 978 -612 -1295 892 -895 1223 87 -817 1613 -1527 1645 -643 1541 -1784 -2180 526 -1925 1166 1477 2094 1242 1473 1139 1193 1084 212 536 -588 -199 -92 -179 -2028 -644 184 947 294 1493 143 224 1617 746 484 299 1311 405 1304 -1777 -357 -1071 -1001 -710 -397 129 -1689 349 -853 2018 -1927 -1572 1120 -911 -1478 -1677 110 1258 301 -970 887 1412 2020 1899 -852 1968 389 1526 2338 -304 -2363 316 -497 620 -1324 -2134 2293 -1077 245 -1066 1846 -695 -1533 921 -346 -2168 -375 140 -1847 1405 867 -849 -2084 1399 1740 251 1678 -1900 -2181 -603 -1138 763 -1121 -2312 1329 -668 -1602 193 33 -1117 -1356 -1452 2378 -13 766 -1372 166 -2272 -1250 -832 627 -2083 1409 -1226 -1081 -731 -242 -664 -318 240 -1704 888 -1578 -757 -1030 -1720 -1069 -872 1522 -36 -1625 1840 -2062 -338 1702 -2393 -274 608 1570 2356 -2170 359 2290 -503 2309 594 -1882 -147 1346 -1723 -1316 -2361 1634 414 -1308 -949 626 -785 -370 -1765 -1238 379 1960 52 -14 -1933 -1134 547 1177 -1709 2067 -2349 -2268 -567 -801 2038 -698 -1508 -2239 615 -1895 2265 -467 -1930 -795 -519 -1631 171 -1903 1916 2114 -2036 1771 -84 -108 1099 1965 -1265 505 -1411 -1769 -1357 -1340 104 477 -8 2340 200 943 -1509 -374 -177 701 -623 -642 -133 809 -988 -1569 48 1666 1598 -673 -305 1573 -875 1032 2129 944 -2130 -1967 -1000 1489 -1113 1921 -1551 -352 -1170 -1680 1670 -2016 -425 -2065 -310 -109 1441 -353 -1482 2315 -333 751 -438 -860 1923 1425 1938 -445 2390 1599 2324 1162 -1821 1206 1376 -819 -808 -625 -1978 -362 2330 843 -1813 144 -1437 1203 -1789 -1267 1289 1045 -234 -1384 178 1874 2206 946 1485 1241 989 1017 -283 186 -574 611 1118 966 -1315 -2063 884 -27 55 2194 -95 -1462 -2297 102 -424 803 -818 -1065 1468 -1505 -793 2264 1986 1945 1100 807 707 -539 -1685 138 598 2374 404 -1884 -2228 2078 -2270 -1042 814 -1621 -2000 -690 -1870 -392 990 98 2216 -935 215 -1513 -1716 -1392 994 -254 -543 -399 -1554 1492 -1420 -1652 728 -1224 2326 1956 1619 -2042 -1331 -1253 323 790 -319 1842 2175 977 -2262 -1518 515 -1367 -782 -337 -2102 -1059 -285 -712 -609 -1867 1321 749 -2192 1307 -1823 1713 1282 -1855 -1833 -1738 -2296 307 -1237 -672 220 128 225 1049 1291 1390 640 -501 2263 244 -1349 -341 1759 -1865 2319 2248 -2251 1843 -896 2303 2185 -2048 -962 1062 1540 1790 -1158 -1671 -700 -1654 2301 -1014 -2188 115 635 -347 -2337 -1269 194 226 2159 -37 -327 -1078 -1596 1854 1483 -68 -1474 2101 2125 2225 456 1647 1451 -735 -2040 -2 -78 -1556 -1136 -787 1697 2049 772 -2069 2387 -545 680 355 -322 1615 94 -2224 -1189 -769 -1906 198 1869 -326 -1687 -1378 -2396 1212 -1553 -1812 -2208 593 -1097 -146 -1820 -1904 -855 1190 -933 2288 1919 -1280 -2174 2284 1922 -2118 1210 -1347 554 496 -1950 -1907 2121 -1958 -1211 3 -733 -1312 -794 2026 -522 573 718 1101 436 727 -1328 2143 1370 922 -1528 2059 -1225 699 231 -1644 -321 -508 -250 -1156 773 151 -1668 802 1087 -253 2082 2076 -1005 -180 486 -1270 936 195 -1191 1360 -1616 113 2002 -1608 2127 -694 -1571 -2237 -1025 2238 256 1286 1649 -800 1338 1542 -1458 272 440 -1036 -167 -624 1369 -900 1948 2190 -633 894 -1127 681 -1428 2258 1760 -869 -550 10 -2158 -2004 -439 435 101 552 881 1213 2086 423 433 243 -289 1684 292 464 -493 -1915 1577 -1342 275 360 -1897 54 -671 -558 -1247 -756 1717 2235 -1605 -534 2187 1686 1228 -175 -1195 -723 -1736 -325 -219 263 -2289 -959 1954 -982 181 791 -238 1475 -24 73 -1274 596 -2221 422 1126 -2189 2155 -580 -2015 1130 -1432 -485 -1877 1962 721 -951 1256 2006 1864 -1733 1557 -967 -1161 845 1898 1314 257 -908 -2329 -1154 -2341 148 -2250 -2197 1567 -1388 -1799 2273 2253 -2276 2243 607 1961 -2019 1239 1248 284 -932 -1306 -1199 1502 -1856 -2115 -1296 1507 -865 -1421 2380 1184 811 -1852 -2137 137 -2150 1218 -339 -1618 -606 -632 1559 659 -1891 1609 2077 1902 -544 -1798 1931 513 1252 -428 -1386 -2089 657 1951 1279 -610 -22 -870 759 1487 1742 1343 -453 -26 -1031 776 -1469 2322 -1018 1481 1730 1010 1679 -255 1095 1574 724 2247 1216 -1663 -1217 -1278 1053 2261 -993 1624 2317 682 -1024 600 1834 850 880 -2342 161 -2334 1044 1013 1060 -1103 2029 -1831 1381 2043 874 2169 1563 -381 1796 -63 -2064 813 -1876 409 -604 130 -2383 509 -1061 -546 806 -76 1404 834 2339 79 -142 729 1133 -249 -1140 1829 1712 2108 2107 -1208 -958 372 827 2172 -213 -1173 1174 -854 -170 -2164 -861 2345 1293 1830 1546 471 -443 -1928 -402 -1355 -1448 -961 -2166 2306 107 1964 -903 -781 -2198 -1011 1194 -885 488 2242 -369 478 437 1371 -1597 871 302 -21 1055 -2266 1511 -105 -1774 -2047 2282 584 -2070 1339 -2316 -713 1472 121 -481 -1366 1209 1627 -2133 1909 2106 2347 1849 -1363 2053 -1793 835 -1580 -17 -1988 -1185 1214 -1122 1268 300 -56 2369 775 -132 15 1320 -1494 413 -1506 1757 -1879 1614 248 269 -145 1438 831 1221 1750 -1935 267 -1351 2207 1696 1814 1893 -1016 -540 -2249 2304 1057 -1952 674 945 -457 2113 -343 1401 1231 2246 1215 628 -1098 62 1337 1015 -252 717 -160 -2310 -1160 -88 -1088 -1334 1229 306 18 -1460 -2131 2044 -1890 -638 1607 -891 398 -324 2011 2382 -1726 864 1817 -983 -998 1364 2081 -646 -2313 1681 1896 1260 -293 939 150 1690 913 837 -748 -1949 2377 2274 -1439 651 100 804 518 86 -2255 -182 -969 -1443 -1531 -191 -1568 -1455 400 -420 909 -1682 -2139 1467 -1074 -153 991 -502 1517 -156 557 1997 1929 -222 -358 -1886 -1584 2366 -836 -1220 1737 -1147 1197 -31 -1780 -2219 -2391 -66 678 1800 1721 -586 1240 1746 1070 -1202 -162 -155 -1656 -229 2126 1385 1393 -204 -2117 1007 1153 548 1749 2351 -460 -1781 -1905 32 -704 1912 -1028 566 -1387 -1516 -2021 2323 -923 -1046 -1818 1176 141 2223 -2227 -39 41 725 774 1040 -901 1791 1776 -1729 1107 149 -726 1591 1047 -1520 1727 -1555 714 89 -549 1883 -1588 218 -2305 -2141 1019 -1850 328 -525 1178 1159 -1739 268 942 -363 421 173 -1646 839 696 984 288 -1108 2277 -1544 1368 -152 -28 1182 987 -317 2346 187 1981 693 -976 899 1878 -828 -2215 1150 91 1880 1335 1989 -2373 1761 -605 -889 1838 309 -2371 1837 2332 -1093 1658 655 -2013 -732 -1002 463 -1565 708 2041 -46 -35 -1075 866 2365 1979 1532 2279 124 -2210 -320 1827 652 -454 1096 -687 9 -491 -59 1362 -1990 2045 1415 -1525 -1808 1762 1490 -1732 -1972 747 415 -74 2389 -1674 2104 1695 -968 1536 2022 -1966 1043 189 -2298 1832 -821 1535 1440 -472 -531 -1944 -126 2171 1651 -1593 1824 -1924 6 1748 -260 -1959 -2103 -2098 -639 -1495 1987 1724 1080 -2003 825 1192 -621 2037 -391 -1436 -1963 266 1562 1801 1410 -217 1550 -1004 -2032 551 -1124 -619 -411 -824 -281 -1233 -2311 -1453 -61 2388 -134 1758 -676 1863 719 23 -1422 -1628 645 -1358 1637 1471 -1600 504 -1917 667 365 432 1287 -1207 -1510 -1234 -1655 209 1164 -2156 -116 2112 -1512 2343 -941 666 -308 -2096 -2119 185 214 1692 -1319 -2386 2124 -1301 -1642 2318 -1586 -1633 -535 857 -570 -2007 223 948 -2357 -1389 -1673 -1496 616 -799 -2039 2398 -1725 778 2074 1543 -1330 -859 246 858 1848 1872 -926 -1913 -2179 553 542 -417 -1300 -298 -1920 1581 1579 -2178 2367 -390 12 273 43 1982 -1622 426 956 1669 -1245 931 -2211 312 1034 -2203 1232 1998 1006 -2161 1971 -577 1676 1026 -1859 -1715 -1463 -1881 -1396 -418 1811 -882 1718 221 416 -329 489 530 340 -1163 1326 -2132 -1426 -784 -2025 2071 -462 1261 950 120 -683 925 -1862 1322 -446 -2245 -1582 1259 1699 2292 -1611 -920 636 -917 -1802 1969 -1102 276 -918 1629 -2222 2275 -1029 981 -1050 2162 2344 442 1661 -937 938 974 -661 -127 -1592 2151 -585 1804 208 2283 1710 734 -1254 -886 -386 783 1395 -1638 1853 1379 2354 -1587 798 1424 -1728 -1894 2027 -750 2148 -354 -1067 2105 -1418 1219 172 83 1590 1427 394 2234 -842 1465 2394 -1310 1457 1391 1575 -2205 -1431 -7 -1327 1810 -410 2271 -830 -929 -788 2060 65 60 -1236 -520 -75 -2327 1914 -403 -720 -789 30 261 846 -1155 -840 602 -582 -1380 176 511 -1171 1826 2075 1317 597 -1009 419 1051 -1169 1064 -314 1183 2080 1768 576 -1688 -393 877 -964 -1606 1092 -1131 1767 1003 -792 1125 1782 -2116 -2111 465 1111 1281 1491 1868 1148 -2014 -815 1106 408 236 348 2093 -1866 -1039 2099 669 1382 1359 1309 1873 -765 -1660 278 -1109 -862 -1751 1763 1503 -1284 -451 1943 5 -1149 -1841 1135 2355 367 745 562 295 2135 -1277 1251 -1104 1839 1119 -450 -2160 -761 1398 42 183 210 2295 1620 1937 57 2120 112 532 1775 106 736 1612 -2068 -2291 -1744 2054 -154 1538 368 829 -975 -1165 1665 940 1408 2269 401 -1345 -2359 738 -650 -1857 342 1352 114 -1735 -1640 660 1464 -1722 1423 207 1970 -1129 -44 703 192 702 -1179 -1851 592 494 -49 -364 227 -474 452 -1708 1146 1243 99 356 -767 1973 2257 2035 930 -388 -1086 1594 165 11 2061 1246 111 1344 1779 -521 -1186 197 123 965 -1996 -856 -2184 -1400 1519 556 441 2281 1143 -2392 -1805 190 758 -2335 2302 -2023 -459 2362 691 2256 2136 1341 -1947 -1275 -2376 -2358 1298 1772 2012 1984 1082 -1459 709 1180 139 -2299 1659 271 -1435 1741 136 2033 512 1285 -599 1636 1188 -1144 1499 -878 237 -2195 -971 -963 1589 744 395 -741 1466 -844 38 -1888 97 1946 -2333 902 1803 -265 1187 2191 805 383 564 71 1079 1283 -1486 953 2328 2300 -2001 2287 1887 1537 563 -614 1773 -72 -996 -1038 1653 1273 1375 427 1167 -1977 -1753 -280 498 1417 514 2220 -466 -1529 2177 2009 2182 1076 796 -677 -1809 -529 385 1707 -1022 -863 -461 1262 1792 1752 2058 -2218 601 -997 898 1089 1374 -455 2308 -754 658 1885 -196 838 826 407 -841 -1205 -786 -396 -85 679 -1354 1610 -469 -2128 77 -1623 336 527 2167 -259 -995 34 1115 258 816 2217 780 1476 1995 722 -595 -277 916 -1403 203 568 311 202 -770 -1703 -2092 706 1266 1657 675 1714 -1693 986 -2095 2052 -740 -131 516 565 705 1456 331 1576 -1974 771 2397 -1770 377 -985 -241 4 -1449 313 1406 1361  0

Verifier Data

OK

Watcher Data

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-3265601-1303578616/watcher-3265601-1303578616 -o /tmp/evaluation-result-3265601-1303578616/solver-3265601-1303578616 -C 2400 -W 1300 -M 7680 mono Main.exe HOME/instance-3265601-1303578616.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: 4.06 4.11 4.00 5/213 28967
/proc/meminfo: memFree=10456884/32951124 swapFree=67111528/67111528
[pid=28967] ppid=28965 vsize=96076 CPUtime=0 cores=1,3
/proc/28967/stat : 28967 (mono) R 28965 28967 28449 0 -1 4202496 609 0 0 0 0 0 0 0 25 0 8 0 450277188 98381824 535 33554432000 4194304 7232020 140734788117888 18446744073709551615 270338389223 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/28967/statm: 24019 535 419 742 0 18170 0
[pid=28967/tid=28968] ppid=28965 vsize=96076 CPUtime=0 cores=1,3
/proc/28967/task/28968/stat : 28968 (mono) S 28965 28967 28449 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 8 0 450277188 98381824 548 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28969] ppid=28965 vsize=96076 CPUtime=0 cores=1,3
/proc/28967/task/28969/stat : 28969 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 450277188 98381824 553 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28970] ppid=28965 vsize=96076 CPUtime=0 cores=1,3
/proc/28967/task/28970/stat : 28970 (mono) S 28965 28967 28449 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 450277188 98381824 562 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28971] ppid=28965 vsize=96076 CPUtime=0 cores=1,3
/proc/28967/task/28971/stat : 28971 (mono) S 28965 28967 28449 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 450277188 98381824 562 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28972] ppid=28965 vsize=96080 CPUtime=0 cores=1,3
/proc/28967/task/28972/stat : 28972 (mono) S 28965 28967 28449 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 450277188 98385920 565 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28973] ppid=28965 vsize=96076 CPUtime=0 cores=1,3
/proc/28967/task/28973/stat : 28973 (mono) S 28965 28967 28449 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 450277188 98381824 566 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28974] ppid=28965 vsize=96076 CPUtime=0 cores=1,3
/proc/28967/task/28974/stat : 28974 (mono) S 28965 28967 28449 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 450277188 98381824 566 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0

[startup+0.054141 s]
/proc/loadavg: 4.06 4.11 4.00 5/213 28967
/proc/meminfo: memFree=10456884/32951124 swapFree=67111528/67111528
[pid=28967] ppid=28965 vsize=106852 CPUtime=0.04 cores=1,3
/proc/28967/stat : 28967 (mono) R 28965 28967 28449 0 -1 4202496 1734 0 0 0 4 0 0 0 25 0 9 0 450277188 109416448 1636 33554432000 4194304 7232020 140734788117888 18446744073709551615 6172376 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/28967/statm: 26713 1636 975 742 0 19284 0
[pid=28967/tid=28968] ppid=28965 vsize=106852 CPUtime=0 cores=1,3
/proc/28967/task/28968/stat : 28968 (mono) S 28965 28967 28449 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 450277188 109416448 1636 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28969] ppid=28965 vsize=106852 CPUtime=0 cores=1,3
/proc/28967/task/28969/stat : 28969 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 450277188 109416448 1636 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28970] ppid=28965 vsize=106852 CPUtime=0 cores=1,3
/proc/28967/task/28970/stat : 28970 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 450277188 109416448 1636 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28971] ppid=28965 vsize=106852 CPUtime=0 cores=1,3
/proc/28967/task/28971/stat : 28971 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 450277188 109416448 1636 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28972] ppid=28965 vsize=106852 CPUtime=0 cores=1,3
/proc/28967/task/28972/stat : 28972 (mono) R 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 450277188 109416448 1636 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 0 0 0 -1 3 0 0 0
[pid=28967/tid=28973] ppid=28965 vsize=106852 CPUtime=0 cores=1,3
/proc/28967/task/28973/stat : 28973 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 450277188 109416448 1636 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28974] ppid=28965 vsize=106852 CPUtime=0 cores=1,3
/proc/28967/task/28974/stat : 28974 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 450277188 109416448 1636 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 106852

[startup+0.101141 s]
/proc/loadavg: 4.06 4.11 4.00 5/213 28967
/proc/meminfo: memFree=10456884/32951124 swapFree=67111528/67111528
[pid=28967] ppid=28965 vsize=107824 CPUtime=0.09 cores=1,3
/proc/28967/stat : 28967 (mono) R 28965 28967 28449 0 -1 4202496 1943 0 0 0 9 0 0 0 25 0 9 0 450277188 110411776 1845 33554432000 4194304 7232020 140734788117888 18446744073709551615 6230302 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/28967/statm: 26956 1849 975 742 0 19527 0
[pid=28967/tid=28968] ppid=28965 vsize=107824 CPUtime=0 cores=1,3
/proc/28967/task/28968/stat : 28968 (mono) S 28965 28967 28449 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 450277188 110411776 1851 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28969] ppid=28965 vsize=107824 CPUtime=0 cores=1,3
/proc/28967/task/28969/stat : 28969 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 450277188 110411776 1852 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28970] ppid=28965 vsize=107824 CPUtime=0 cores=1,3
/proc/28967/task/28970/stat : 28970 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 450277188 110411776 1853 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28971] ppid=28965 vsize=107824 CPUtime=0 cores=1,3
/proc/28967/task/28971/stat : 28971 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 450277188 110411776 1855 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28972] ppid=28965 vsize=107824 CPUtime=0 cores=1,3
/proc/28967/task/28972/stat : 28972 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 450277188 110411776 1855 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28973] ppid=28965 vsize=107824 CPUtime=0 cores=1,3
/proc/28967/task/28973/stat : 28973 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 450277188 110411776 1855 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28974] ppid=28965 vsize=107824 CPUtime=0 cores=1,3
/proc/28967/task/28974/stat : 28974 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 450277188 110411776 1855 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 107824

[startup+0.301106 s]
/proc/loadavg: 4.06 4.11 4.00 5/213 28967
/proc/meminfo: memFree=10456884/32951124 swapFree=67111528/67111528
[pid=28967] ppid=28965 vsize=122844 CPUtime=0.28 cores=1,3
/proc/28967/stat : 28967 (mono) R 28965 28967 28449 0 -1 4202496 5695 0 0 0 28 0 0 0 18 0 9 0 450277188 125792256 5597 33554432000 4194304 7232020 140734788117888 18446744073709551615 1105742083 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/28967/statm: 30711 5597 1024 742 0 23282 0
[pid=28967/tid=28968] ppid=28965 vsize=122844 CPUtime=0 cores=1,3
/proc/28967/task/28968/stat : 28968 (mono) S 28965 28967 28449 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 9 0 450277188 125792256 5597 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28969] ppid=28965 vsize=122844 CPUtime=0 cores=1,3
/proc/28967/task/28969/stat : 28969 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 450277188 125792256 5597 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28970] ppid=28965 vsize=122844 CPUtime=0 cores=1,3
/proc/28967/task/28970/stat : 28970 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 450277188 125792256 5597 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28971] ppid=28965 vsize=122844 CPUtime=0 cores=1,3
/proc/28967/task/28971/stat : 28971 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 450277188 125792256 5597 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28972] ppid=28965 vsize=122844 CPUtime=0 cores=1,3
/proc/28967/task/28972/stat : 28972 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 450277188 125792256 5597 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28973] ppid=28965 vsize=122844 CPUtime=0 cores=1,3
/proc/28967/task/28973/stat : 28973 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 450277188 125792256 5597 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28974] ppid=28965 vsize=122844 CPUtime=0 cores=1,3
/proc/28967/task/28974/stat : 28974 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 450277188 125792256 5597 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 122844

[startup+0.701013 s]
/proc/loadavg: 4.06 4.11 4.00 5/213 28967
/proc/meminfo: memFree=10456884/32951124 swapFree=67111528/67111528
[pid=28967] ppid=28965 vsize=123100 CPUtime=0.69 cores=1,3
/proc/28967/stat : 28967 (mono) R 28965 28967 28449 0 -1 4202496 5877 0 0 0 68 1 0 0 18 0 9 0 450277188 126054400 5779 33554432000 4194304 7232020 140734788117888 18446744073709551615 1105749986 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/28967/statm: 30775 5779 1024 742 0 23346 0
[pid=28967/tid=28968] ppid=28965 vsize=123100 CPUtime=0 cores=1,3
/proc/28967/task/28968/stat : 28968 (mono) S 28965 28967 28449 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 9 0 450277188 126054400 5779 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28969] ppid=28965 vsize=123100 CPUtime=0 cores=1,3
/proc/28967/task/28969/stat : 28969 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 450277188 126054400 5779 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28970] ppid=28965 vsize=123100 CPUtime=0 cores=1,3
/proc/28967/task/28970/stat : 28970 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 450277188 126054400 5779 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28971] ppid=28965 vsize=123100 CPUtime=0 cores=1,3
/proc/28967/task/28971/stat : 28971 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 450277188 126054400 5779 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28972] ppid=28965 vsize=123100 CPUtime=0 cores=1,3
/proc/28967/task/28972/stat : 28972 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 450277188 126054400 5779 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28973] ppid=28965 vsize=123100 CPUtime=0 cores=1,3
/proc/28967/task/28973/stat : 28973 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 450277188 126054400 5779 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28974] ppid=28965 vsize=123100 CPUtime=0 cores=1,3
/proc/28967/task/28974/stat : 28974 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 450277188 126054400 5779 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 123100

[startup+1.50086 s]
/proc/loadavg: 4.06 4.11 4.00 5/222 28976
/proc/meminfo: memFree=10435996/32951124 swapFree=67111528/67111528
[pid=28967] ppid=28965 vsize=128764 CPUtime=1.5 cores=1,3
/proc/28967/stat : 28967 (mono) R 28965 28967 28449 0 -1 4202496 6866 0 0 0 149 1 0 0 18 0 9 0 450277188 131854336 6768 33554432000 4194304 7232020 140734788117888 18446744073709551615 1105738363 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/28967/statm: 32191 6768 1024 742 0 24762 0
[pid=28967/tid=28968] ppid=28965 vsize=128764 CPUtime=0 cores=1,3
/proc/28967/task/28968/stat : 28968 (mono) S 28965 28967 28449 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 9 0 450277188 131854336 6768 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28969] ppid=28965 vsize=128764 CPUtime=0 cores=1,3
/proc/28967/task/28969/stat : 28969 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 450277188 131854336 6768 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28970] ppid=28965 vsize=128764 CPUtime=0 cores=1,3
/proc/28967/task/28970/stat : 28970 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 450277188 131854336 6768 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28971] ppid=28965 vsize=128764 CPUtime=0 cores=1,3
/proc/28967/task/28971/stat : 28971 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 450277188 131854336 6768 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28972] ppid=28965 vsize=128764 CPUtime=0 cores=1,3
/proc/28967/task/28972/stat : 28972 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 450277188 131854336 6768 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28973] ppid=28965 vsize=128764 CPUtime=0 cores=1,3
/proc/28967/task/28973/stat : 28973 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 450277188 131854336 6768 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28974] ppid=28965 vsize=128764 CPUtime=0 cores=1,3
/proc/28967/task/28974/stat : 28974 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 450277188 131854336 6768 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28976] ppid=28965 vsize=128764 CPUtime=0 cores=1,3
/proc/28967/task/28976/stat : 28976 (mono) S 28965 28967 28449 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 450277189 131854336 6768 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350207409 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 128764

[startup+3.10054 s]
/proc/loadavg: 4.06 4.11 4.00 5/222 28976
/proc/meminfo: memFree=10435748/32951124 swapFree=67111528/67111528
[pid=28967] ppid=28965 vsize=136216 CPUtime=3.12 cores=1,3
/proc/28967/stat : 28967 (mono) R 28965 28967 28449 0 -1 4202496 7749 0 0 0 311 1 0 0 18 0 9 0 450277188 139485184 7651 33554432000 4194304 7232020 140734788117888 18446744073709551615 1105750231 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/28967/statm: 34054 7651 1024 742 0 26625 0
[pid=28967/tid=28968] ppid=28965 vsize=136216 CPUtime=0 cores=1,3
/proc/28967/task/28968/stat : 28968 (mono) S 28965 28967 28449 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 450277188 139485184 7651 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28969] ppid=28965 vsize=136216 CPUtime=0.01 cores=1,3
/proc/28967/task/28969/stat : 28969 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 450277188 139485184 7651 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28970] ppid=28965 vsize=136216 CPUtime=0 cores=1,3
/proc/28967/task/28970/stat : 28970 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 450277188 139485184 7651 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28971] ppid=28965 vsize=136216 CPUtime=0 cores=1,3
/proc/28967/task/28971/stat : 28971 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 450277188 139485184 7651 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28972] ppid=28965 vsize=136216 CPUtime=0 cores=1,3
/proc/28967/task/28972/stat : 28972 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 450277188 139485184 7651 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28973] ppid=28965 vsize=136216 CPUtime=0.01 cores=1,3
/proc/28967/task/28973/stat : 28973 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 450277188 139485184 7651 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28974] ppid=28965 vsize=136216 CPUtime=0 cores=1,3
/proc/28967/task/28974/stat : 28974 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 450277188 139485184 7651 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28976] ppid=28965 vsize=136216 CPUtime=0 cores=1,3
/proc/28967/task/28976/stat : 28976 (mono) S 28965 28967 28449 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 450277189 139485184 7651 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350207409 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 136216

[startup+6.30087 s]
/proc/loadavg: 4.05 4.11 4.00 5/222 28976
/proc/meminfo: memFree=10425572/32951124 swapFree=67111528/67111528
[pid=28967] ppid=28965 vsize=136280 CPUtime=6.38 cores=1,3
/proc/28967/stat : 28967 (mono) R 28965 28967 28449 0 -1 4202496 8697 0 0 0 637 1 0 0 18 0 9 0 450277188 139550720 8599 33554432000 4194304 7232020 140734788117888 18446744073709551615 1105738142 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/28967/statm: 34070 8599 1024 742 0 26641 0
[pid=28967/tid=28968] ppid=28965 vsize=136280 CPUtime=0.01 cores=1,3
/proc/28967/task/28968/stat : 28968 (mono) S 28965 28967 28449 0 -1 4202560 4 0 0 0 1 0 0 0 15 0 9 0 450277188 139550720 8599 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28969] ppid=28965 vsize=136280 CPUtime=0.02 cores=1,3
/proc/28967/task/28969/stat : 28969 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 450277188 139550720 8599 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28970] ppid=28965 vsize=136280 CPUtime=0.01 cores=1,3
/proc/28967/task/28970/stat : 28970 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 450277188 139550720 8599 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28971] ppid=28965 vsize=136280 CPUtime=0.02 cores=1,3
/proc/28967/task/28971/stat : 28971 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 450277188 139550720 8599 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28972] ppid=28965 vsize=136280 CPUtime=0.01 cores=1,3
/proc/28967/task/28972/stat : 28972 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 450277188 139550720 8599 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28973] ppid=28965 vsize=136280 CPUtime=0.02 cores=1,3
/proc/28967/task/28973/stat : 28973 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 450277188 139550720 8599 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28974] ppid=28965 vsize=136280 CPUtime=0.02 cores=1,3
/proc/28967/task/28974/stat : 28974 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 450277188 139550720 8599 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28976] ppid=28965 vsize=136280 CPUtime=0 cores=1,3
/proc/28967/task/28976/stat : 28976 (mono) S 28965 28967 28449 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 450277189 139550720 8599 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350207409 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.38
Current children cumulated vsize (KiB) 136280

Solver just ended. Dumping a history of the last processes samples

[startup+7.90058 s]
/proc/loadavg: 4.05 4.11 4.00 5/222 28977
/proc/meminfo: memFree=10414764/32951124 swapFree=67111528/67111528
[pid=28967] ppid=28965 vsize=144536 CPUtime=8 cores=1,3
/proc/28967/stat : 28967 (mono) R 28965 28967 28449 0 -1 4202496 9412 0 0 0 798 2 0 0 18 0 9 0 450277188 148004864 9128 33554432000 4194304 7232020 140734788117888 18446744073709551615 1105737386 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/28967/statm: 36134 9128 1025 742 0 28705 0
[pid=28967/tid=28968] ppid=28965 vsize=144536 CPUtime=0.01 cores=1,3
/proc/28967/task/28968/stat : 28968 (mono) S 28965 28967 28449 0 -1 4202560 4 0 0 0 1 0 0 0 16 0 9 0 450277188 148004864 9128 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28969] ppid=28965 vsize=144536 CPUtime=0.02 cores=1,3
/proc/28967/task/28969/stat : 28969 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 450277188 148004864 9128 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28970] ppid=28965 vsize=144536 CPUtime=0.02 cores=1,3
/proc/28967/task/28970/stat : 28970 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 450277188 148004864 9128 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28971] ppid=28965 vsize=144536 CPUtime=0.03 cores=1,3
/proc/28967/task/28971/stat : 28971 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 450277188 148004864 9128 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28972] ppid=28965 vsize=144536 CPUtime=0.02 cores=1,3
/proc/28967/task/28972/stat : 28972 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 450277188 148004864 9128 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28973] ppid=28965 vsize=144536 CPUtime=0.03 cores=1,3
/proc/28967/task/28973/stat : 28973 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 450277188 148004864 9128 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28974] ppid=28965 vsize=144536 CPUtime=0.02 cores=1,3
/proc/28967/task/28974/stat : 28974 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 450277188 148004864 9128 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28976] ppid=28965 vsize=144536 CPUtime=0 cores=1,3
/proc/28967/task/28976/stat : 28976 (mono) S 28965 28967 28449 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 450277189 148004864 9128 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350207409 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8
Current children cumulated vsize (KiB) 144536

[startup+8.3005 s]
/proc/loadavg: 4.05 4.11 4.00 5/222 28977
/proc/meminfo: memFree=10414764/32951124 swapFree=67111528/67111528
[pid=28967] ppid=28965 vsize=144536 CPUtime=8.4 cores=1,3
/proc/28967/stat : 28967 (mono) R 28965 28967 28449 0 -1 4202496 9526 0 0 0 838 2 0 0 18 0 9 0 450277188 148004864 9006 33554432000 4194304 7232020 140734788117888 18446744073709551615 1105738149 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/28967/statm: 36134 9006 1025 742 0 28705 0
[pid=28967/tid=28968] ppid=28965 vsize=144536 CPUtime=0.02 cores=1,3
/proc/28967/task/28968/stat : 28968 (mono) S 28965 28967 28449 0 -1 4202560 4 0 0 0 2 0 0 0 16 0 9 0 450277188 148004864 9006 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28969] ppid=28965 vsize=144536 CPUtime=0.02 cores=1,3
/proc/28967/task/28969/stat : 28969 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 450277188 148004864 9006 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28970] ppid=28965 vsize=144536 CPUtime=0.02 cores=1,3
/proc/28967/task/28970/stat : 28970 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 450277188 148004864 9006 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28971] ppid=28965 vsize=144536 CPUtime=0.03 cores=1,3
/proc/28967/task/28971/stat : 28971 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 450277188 148004864 9006 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28972] ppid=28965 vsize=144536 CPUtime=0.02 cores=1,3
/proc/28967/task/28972/stat : 28972 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 450277188 148004864 9006 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28973] ppid=28965 vsize=144536 CPUtime=0.03 cores=1,3
/proc/28967/task/28973/stat : 28973 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 450277188 148004864 9006 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28974] ppid=28965 vsize=144536 CPUtime=0.02 cores=1,3
/proc/28967/task/28974/stat : 28974 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 450277188 148004864 9006 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28976] ppid=28965 vsize=144536 CPUtime=0 cores=1,3
/proc/28967/task/28976/stat : 28976 (mono) S 28965 28967 28449 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 450277189 148004864 9006 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350207409 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8.4
Current children cumulated vsize (KiB) 144536

[startup+8.50047 s]
/proc/loadavg: 4.05 4.11 4.00 5/222 28977
/proc/meminfo: memFree=10414764/32951124 swapFree=67111528/67111528
[pid=28967] ppid=28965 vsize=144536 CPUtime=8.61 cores=1,3
/proc/28967/stat : 28967 (mono) R 28965 28967 28449 0 -1 4202496 9603 0 0 0 859 2 0 0 19 0 9 0 450277188 148004864 9037 33554432000 4194304 7232020 140734788117888 18446744073709551615 1105738149 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/28967/statm: 36134 9037 1025 742 0 28705 0
[pid=28967/tid=28968] ppid=28965 vsize=144536 CPUtime=0.02 cores=1,3
/proc/28967/task/28968/stat : 28968 (mono) S 28965 28967 28449 0 -1 4202560 4 0 0 0 2 0 0 0 15 0 9 0 450277188 148004864 9037 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28969] ppid=28965 vsize=144536 CPUtime=0.03 cores=1,3
/proc/28967/task/28969/stat : 28969 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 450277188 148004864 9037 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28970] ppid=28965 vsize=144536 CPUtime=0.03 cores=1,3
/proc/28967/task/28970/stat : 28970 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 450277188 148004864 9037 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28971] ppid=28965 vsize=144536 CPUtime=0.03 cores=1,3
/proc/28967/task/28971/stat : 28971 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 450277188 148004864 9037 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28972] ppid=28965 vsize=144536 CPUtime=0.02 cores=1,3
/proc/28967/task/28972/stat : 28972 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 450277188 148004864 9037 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28973] ppid=28965 vsize=144536 CPUtime=0.03 cores=1,3
/proc/28967/task/28973/stat : 28973 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 450277188 148004864 9037 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28974] ppid=28965 vsize=144536 CPUtime=0.02 cores=1,3
/proc/28967/task/28974/stat : 28974 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 450277188 148004864 9037 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28976] ppid=28965 vsize=144536 CPUtime=0 cores=1,3
/proc/28967/task/28976/stat : 28976 (mono) S 28965 28967 28449 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 450277189 148004864 9037 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350207409 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8.61
Current children cumulated vsize (KiB) 144536

Child status: 0
Real time (s): 8.55267
CPU time (s): 8.66568
CPU user time (s): 8.64269
CPU system time (s): 0.022996
CPU usage (%): 101.321
Max. virtual memory (cumulated for all children) (KiB): 144536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.64269
system time used= 0.022996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9734
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= 3542
involuntary context switches= 628

runsolver used 0.015997 second user time and 0.032994 second system time

The end

Launcher Data

Begin job on node143 at 2011-04-23 19:10:16
IDJOB=3265601
IDBENCH=85786
IDSOLVER=1608
FILE ID=node143/3265601-1303578616
RUNJOBID= node143-1303577249-28469
PBS_JOBID= 13150325
Free space on /tmp= 72084 MiB

SOLVER NAME= Sol 2011-04-04
BENCH NAME= SAT05/crafted/sorge05/QG7a/gensys-brn002.shuffled-as.sat05-3935.cnf
COMMAND LINE= mono Main.exe BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3265601-1303578616/watcher-3265601-1303578616 -o /tmp/evaluation-result-3265601-1303578616/solver-3265601-1303578616 -C 2400 -W 1300 -M 7680  mono Main.exe HOME/instance-3265601-1303578616.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= eda2d1e7d2975da4e019beddc323767b
RANDOM SEED=504339074

node143.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	: 5226.15
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.83
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.75
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.83
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.74
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      10457040 kB
Buffers:       2296912 kB
Cached:       17686244 kB
SwapCached:          0 kB
Active:       11629128 kB
Inactive:     10305928 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      10457040 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1140 kB
Writeback:           0 kB
AnonPages:     1951164 kB
Mapped:          18276 kB
Slab:           492076 kB
PageTables:       9036 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  2368624 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= 72080 MiB
End job on node143 at 2011-04-23 19:10:24