Trace number 1561360

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
satake 2009-03-22SAT 720.342 361.602

General information on the benchmark

NameCRAFTED/edgematching/
compact/em_8_4_5_cmp.cnf
MD5SUM0b9eae71c375cb5515f5dd7953424584
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark136.322
Satisfiable
(Un)Satisfiability was proved
Number of variables2420
Number of clauses22340
Sum of the clauses size74788
Maximum clause length36
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23164
Number of clauses of size 313968
Number of clauses of size 42628
Number of clauses of size 52460
Number of clauses of size over 5120

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1561360-1238765578/watcher-1561360-1238765578 -o /tmp/evaluation-result-1561360-1238765578/solver-1561360-1238765578 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1561360-1238765578.cnf 3 1200 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.02 0.99 1.00 3/64 6480
/proc/meminfo: memFree=1724552/2055920 swapFree=4176924/4192956
[pid=6480] ppid=6478 vsize=1864 CPUtime=0
/proc/6480/stat : 6480 (satake) S 6478 6480 5981 0 -1 4194304 311 0 0 0 0 0 0 0 18 0 4 0 1149222758 1908736 295 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6480/statm: 466 296 65 163 0 301 0
[pid=6480/tid=6481] ppid=6478 vsize=1864 CPUtime=0
/proc/6480/task/6481/stat : 6481 (satake) S 6478 6480 5981 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1149222759 1908736 297 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6480/tid=6482] ppid=6478 vsize=1864 CPUtime=0
/proc/6480/task/6482/stat : 6482 (satake) R 6478 6480 5981 0 -1 4194368 223 0 0 0 0 0 0 0 19 0 4 0 1149222759 1908736 297 1992294400 134512640 135180984 4294956208 18446744073709551615 134534899 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6480/tid=6483] ppid=6478 vsize=1864 CPUtime=0
/proc/6480/task/6483/stat : 6483 (satake) R 6478 6480 5981 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 4 0 1149222759 1908736 298 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.05665 s]
/proc/loadavg: 1.02 0.99 1.00 3/64 6480
/proc/meminfo: memFree=1724552/2055920 swapFree=4176924/4192956
[pid=6480] ppid=6478 vsize=4156 CPUtime=0.09
/proc/6480/stat : 6480 (satake) S 6478 6480 5981 0 -1 4194304 1015 0 0 0 9 0 0 0 18 0 4 0 1149222758 4255744 780 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6480/statm: 1039 780 70 163 0 874 0
[pid=6480/tid=6481] ppid=6478 vsize=4156 CPUtime=0
/proc/6480/task/6481/stat : 6481 (satake) R 6478 6480 5981 0 -1 4194368 42 0 0 0 0 0 0 0 17 0 4 0 1149222759 4255744 780 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6480/tid=6482] ppid=6478 vsize=4156 CPUtime=0.04
/proc/6480/task/6482/stat : 6482 (satake) S 6478 6480 5981 0 -1 4194368 409 0 0 0 4 0 0 0 16 0 4 0 1149222759 4255744 780 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6480/tid=6483] ppid=6478 vsize=4156 CPUtime=0.04
/proc/6480/task/6483/stat : 6483 (satake) R 6478 6480 5981 0 -1 4194368 481 0 0 0 4 0 0 0 17 0 4 0 1149222759 4255744 780 1992294400 134512640 135180984 4294956208 18446744073709551615 134522959 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4156

[startup+0.103051 s]
/proc/loadavg: 1.02 0.99 1.00 3/64 6480
/proc/meminfo: memFree=1724552/2055920 swapFree=4176924/4192956
[pid=6480] ppid=6478 vsize=5180 CPUtime=0.18
/proc/6480/stat : 6480 (satake) S 6478 6480 5981 0 -1 4194304 1071 0 0 0 15 3 0 0 18 0 4 0 1149222758 5304320 836 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6480/statm: 1295 836 70 163 0 1130 0
[pid=6480/tid=6481] ppid=6478 vsize=5180 CPUtime=0.01
/proc/6480/task/6481/stat : 6481 (satake) R 6478 6480 5981 0 -1 4194368 44 0 0 0 0 1 0 0 17 0 4 0 1149222759 5304320 836 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6480/tid=6482] ppid=6478 vsize=5180 CPUtime=0.07
/proc/6480/task/6482/stat : 6482 (satake) S 6478 6480 5981 0 -1 4194368 429 0 0 0 7 0 0 0 17 0 4 0 1149222759 5304320 836 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6480/tid=6483] ppid=6478 vsize=5180 CPUtime=0.07
/proc/6480/task/6483/stat : 6483 (satake) R 6478 6480 5981 0 -1 4194368 515 0 0 0 7 0 0 0 16 0 4 0 1149222759 5304320 836 1992294400 134512640 135180984 4294956208 18446744073709551615 134518209 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 5180

[startup+0.301845 s]
/proc/loadavg: 1.02 0.99 1.00 3/64 6480
/proc/meminfo: memFree=1724552/2055920 swapFree=4176924/4192956
[pid=6480] ppid=6478 vsize=5716 CPUtime=0.55
/proc/6480/stat : 6480 (satake) S 6478 6480 5981 0 -1 4194304 1246 0 0 0 43 12 0 0 18 0 4 0 1149222758 5853184 1011 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6480/statm: 1429 1011 70 163 0 1264 0
[pid=6480/tid=6481] ppid=6478 vsize=5716 CPUtime=0.06
/proc/6480/task/6481/stat : 6481 (satake) R 6478 6480 5981 0 -1 4194368 57 0 0 0 1 5 0 0 17 0 4 0 1149222759 5853184 1011 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6480/tid=6482] ppid=6478 vsize=5716 CPUtime=0.23
/proc/6480/task/6482/stat : 6482 (satake) R 6478 6480 5981 0 -1 4194368 521 0 0 0 20 3 0 0 16 0 4 0 1149222759 5853184 1011 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6480/tid=6483] ppid=6478 vsize=5716 CPUtime=0.23
/proc/6480/task/6483/stat : 6483 (satake) R 6478 6480 5981 0 -1 4194368 585 0 0 0 20 3 0 0 16 0 4 0 1149222759 5853184 1011 1992294400 134512640 135180984 4294956208 18446744073709551615 134528756 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 5716

[startup+0.701081 s]
/proc/loadavg: 1.02 0.99 1.00 3/64 6480
/proc/meminfo: memFree=1724552/2055920 swapFree=4176924/4192956
[pid=6480] ppid=6478 vsize=6508 CPUtime=1.3
/proc/6480/stat : 6480 (satake) S 6478 6480 5981 0 -1 4194304 1576 0 0 0 101 29 0 0 18 0 4 0 1149222758 6664192 1341 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6480/statm: 1627 1341 70 163 0 1462 0
[pid=6480/tid=6481] ppid=6478 vsize=6508 CPUtime=0.16
/proc/6480/task/6481/stat : 6481 (satake) R 6478 6480 5981 0 -1 4194368 91 0 0 0 2 14 0 0 16 0 4 0 1149222759 6664192 1341 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6480/tid=6482] ppid=6478 vsize=6508 CPUtime=0.56
/proc/6480/task/6482/stat : 6482 (satake) S 6478 6480 5981 0 -1 4194368 689 0 0 0 50 6 0 0 16 0 4 0 1149222759 6664192 1341 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6480/tid=6483] ppid=6478 vsize=6508 CPUtime=0.54
/proc/6480/task/6483/stat : 6483 (satake) R 6478 6480 5981 0 -1 4194368 713 0 0 0 47 7 0 0 17 0 4 0 1149222759 6664192 1341 1992294400 134512640 135180984 4294956208 18446744073709551615 134518214 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 6508

[startup+1.50217 s]
/proc/loadavg: 1.02 0.99 1.00 3/68 6484
/proc/meminfo: memFree=1718248/2055920 swapFree=4176924/4192956
[pid=6480] ppid=6478 vsize=8984 CPUtime=2.85
/proc/6480/stat : 6480 (satake) S 6478 6480 5981 0 -1 4194304 2238 0 0 0 239 46 0 0 18 0 4 0 1149222758 9199616 2003 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6480/statm: 2246 2003 70 163 0 2081 0
[pid=6480/tid=6481] ppid=6478 vsize=8984 CPUtime=0.26
/proc/6480/task/6481/stat : 6481 (satake) S 6478 6480 5981 0 -1 4194368 124 0 0 0 4 22 0 0 16 0 4 0 1149222759 9199616 2003 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6480/tid=6482] ppid=6478 vsize=8984 CPUtime=1.31
/proc/6480/task/6482/stat : 6482 (satake) R 6478 6480 5981 0 -1 4194368 998 0 0 0 119 12 0 0 17 0 4 0 1149222759 9199616 2003 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6480/tid=6483] ppid=6478 vsize=8984 CPUtime=1.26
/proc/6480/task/6483/stat : 6483 (satake) R 6478 6480 5981 0 -1 4194368 1033 0 0 0 115 11 0 0 20 0 4 0 1149222759 9199616 2003 1992294400 134512640 135180984 4294956208 18446744073709551615 134518783 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 8984

[startup+3.10216 s]
/proc/loadavg: 1.02 0.99 1.00 3/68 6484
/proc/meminfo: memFree=1714728/2055920 swapFree=4176924/4192956
[pid=6480] ppid=6478 vsize=13436 CPUtime=5.98
/proc/6480/stat : 6480 (satake) S 6478 6480 5981 0 -1 4194304 3251 0 0 0 507 91 0 0 18 0 4 0 1149222758 13758464 3016 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6480/statm: 3359 3016 70 163 0 3194 0
[pid=6480/tid=6481] ppid=6478 vsize=13436 CPUtime=0.54
/proc/6480/task/6481/stat : 6481 (satake) S 6478 6480 5981 0 -1 4194368 200 0 0 0 11 43 0 0 16 0 4 0 1149222759 13758464 3016 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6480/tid=6482] ppid=6478 vsize=13436 CPUtime=2.72
/proc/6480/task/6482/stat : 6482 (satake) R 6478 6480 5981 0 -1 4194368 1473 0 0 0 250 22 0 0 17 0 4 0 1149222759 13758464 3017 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6480/tid=6483] ppid=6478 vsize=13436 CPUtime=2.7
/proc/6480/task/6483/stat : 6483 (satake) R 6478 6480 5981 0 -1 4194368 1496 0 0 0 246 24 0 0 17 0 4 0 1149222759 13758464 3017 1992294400 134512640 135180984 4294956208 18446744073709551615 134519101 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 13436

[startup+6.30151 s]
/proc/loadavg: 1.10 1.00 1.01 3/68 6484
/proc/meminfo: memFree=1709544/2055920 swapFree=4176924/4192956
[pid=6480] ppid=6478 vsize=16084 CPUtime=12.31
/proc/6480/stat : 6480 (satake) S 6478 6480 5981 0 -1 4194304 3974 0 0 0 1075 156 0 0 18 0 4 0 1149222758 16470016 3739 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6480/statm: 4021 3739 70 163 0 3856 0
[pid=6480/tid=6481] ppid=6478 vsize=16084 CPUtime=0.95
/proc/6480/task/6481/stat : 6481 (satake) S 6478 6480 5981 0 -1 4194368 249 0 0 0 20 75 0 0 16 0 4 0 1149222759 16470016 3739 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6480/tid=6482] ppid=6478 vsize=16084 CPUtime=5.7
/proc/6480/task/6482/stat : 6482 (satake) R 6478 6480 5981 0 -1 4194368 1810 0 0 0 531 39 0 0 17 0 4 0 1149222759 16470016 3739 1992294400 134512640 135180984 4294956208 18446744073709551615 134528655 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6480/tid=6483] ppid=6478 vsize=16084 CPUtime=5.64
/proc/6480/task/6483/stat : 6483 (satake) R 6478 6480 5981 0 -1 4194368 1832 0 0 0 524 40 0 0 17 0 4 0 1149222759 16470016 3739 1992294400 134512640 135180984 4294956208 18446744073709551615 134522975 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.31
Current children cumulated vsize (KiB) 16084

[startup+12.7022 s]
/proc/loadavg: 1.17 1.02 1.01 3/68 6484
/proc/meminfo: memFree=1706280/2055920 swapFree=4176924/4192956
[pid=6480] ppid=6478 vsize=20208 CPUtime=24.98
/proc/6480/stat : 6480 (satake) S 6478 6480 5981 0 -1 4194304 4793 0 0 0 2219 279 0 0 18 0 4 0 1149222758 20692992 4558 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6480/statm: 5052 4558 70 163 0 4887 0
[pid=6480/tid=6481] ppid=6478 vsize=20208 CPUtime=1.66
/proc/6480/task/6481/stat : 6481 (satake) S 6478 6480 5981 0 -1 4194368 364 0 0 0 33 133 0 0 16 0 4 0 1149222759 20692992 4558 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6480/tid=6482] ppid=6478 vsize=20208 CPUtime=11.73
/proc/6480/task/6482/stat : 6482 (satake) R 6478 6480 5981 0 -1 4194368 2386 0 0 0 1105 68 0 0 17 0 4 0 1149222759 20692992 4558 1992294400 134512640 135180984 4294956208 18446744073709551615 134518214 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6480/tid=6483] ppid=6478 vsize=20208 CPUtime=11.56
/proc/6480/task/6483/stat : 6483 (satake) R 6478 6480 5981 0 -1 4194368 1960 0 0 0 1079 77 0 0 17 0 4 0 1149222759 20692992 4558 1992294400 134512640 135180984 4294956208 18446744073709551615 134528214 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.98
Current children cumulated vsize (KiB) 20208

[startup+25.5017 s]
/proc/loadavg: 1.35 1.07 1.02 3/68 6484
/proc/meminfo: memFree=1695080/2055920 swapFree=4176924/4192956
[pid=6480] ppid=6478 vsize=31012 CPUtime=50.44
/proc/6480/stat : 6480 (satake) S 6478 6480 5981 0 -1 4194304 7710 0 0 0 4646 398 0 0 18 0 4 0 1149222758 31756288 7475 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6480/statm: 7753 7475 70 163 0 7588 0
[pid=6480/tid=6481] ppid=6478 vsize=31012 CPUtime=2.36
/proc/6480/task/6481/stat : 6481 (satake) S 6478 6480 5981 0 -1 4194368 486 0 0 0 48 188 0 0 16 0 4 0 1149222759 31756288 7475 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6480/tid=6482] ppid=6478 vsize=31012 CPUtime=24.09
/proc/6480/task/6482/stat : 6482 (satake) R 6478 6480 5981 0 -1 4194368 3600 0 0 0 2303 106 0 0 16 0 4 0 1149222759 31756288 7475 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6480/tid=6483] ppid=6478 vsize=31012 CPUtime=23.98
/proc/6480/task/6483/stat : 6483 (satake) R 6478 6480 5981 0 -1 4194368 3541 0 0 0 2295 103 0 0 17 0 4 0 1149222759 31756288 7475 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.44
Current children cumulated vsize (KiB) 31012

[startup+51.1015 s]
/proc/loadavg: 1.57 1.14 1.05 3/68 6484
/proc/meminfo: memFree=1691048/2055920 swapFree=4176924/4192956
[pid=6480] ppid=6478 vsize=35312 CPUtime=101.35
/proc/6480/stat : 6480 (satake) S 6478 6480 5981 0 -1 4194304 8643 0 0 0 9464 671 0 0 18 0 4 0 1149222758 36159488 8408 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6480/statm: 8828 8408 70 163 0 8663 0
[pid=6480/tid=6481] ppid=6478 vsize=35312 CPUtime=3.97
/proc/6480/task/6481/stat : 6481 (satake) S 6478 6480 5981 0 -1 4194368 632 0 0 0 85 312 0 0 16 0 4 0 1149222759 36159488 8408 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6480/tid=6482] ppid=6478 vsize=35312 CPUtime=48.79
/proc/6480/task/6482/stat : 6482 (satake) R 6478 6480 5981 0 -1 4194368 4175 0 0 0 4707 172 0 0 17 0 4 0 1149222759 36159488 8408 1992294400 134512640 135180984 4294956208 18446744073709551615 134522620 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6480/tid=6483] ppid=6478 vsize=35312 CPUtime=48.57
/proc/6480/task/6483/stat : 6483 (satake) R 6478 6480 5981 0 -1 4194368 3753 0 0 0 4671 186 0 0 17 0 4 0 1149222759 36159488 8408 1992294400 134512640 135180984 4294956208 18446744073709551615 134525183 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.35
Current children cumulated vsize (KiB) 35312

[startup+102.305 s]
/proc/loadavg: 1.87 1.29 1.10 4/68 6484
/proc/meminfo: memFree=1674152/2055920 swapFree=4176924/4192956
[pid=6480] ppid=6478 vsize=51460 CPUtime=203.39
/proc/6480/stat : 6480 (satake) S 6478 6480 5981 0 -1 4194304 12825 0 0 0 19296 1043 0 0 18 0 4 0 1149222758 52695040 12590 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6480/statm: 12865 12590 70 163 0 12700 0
[pid=6480/tid=6481] ppid=6478 vsize=51460 CPUtime=6.14
/proc/6480/task/6481/stat : 6481 (satake) S 6478 6480 5981 0 -1 4194368 781 0 0 0 135 479 0 0 16 0 4 0 1149222759 52695040 12590 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6480/tid=6482] ppid=6478 vsize=51460 CPUtime=98.84
/proc/6480/task/6482/stat : 6482 (satake) R 6478 6480 5981 0 -1 4194368 6228 0 0 0 9613 271 0 0 17 0 4 0 1149222759 52695040 12590 1992294400 134512640 135180984 4294956208 18446744073709551615 134528473 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6480/tid=6483] ppid=6478 vsize=51460 CPUtime=98.38
/proc/6480/task/6483/stat : 6483 (satake) R 6478 6480 5981 0 -1 4194368 5733 0 0 0 9547 291 0 0 19 0 4 0 1149222759 52695040 12590 1992294400 134512640 135180984 4294956208 18446744073709551615 134528465 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.39
Current children cumulated vsize (KiB) 51460

[startup+162.302 s]
/proc/loadavg: 1.99 1.43 1.16 3/68 6484
/proc/meminfo: memFree=1664872/2055920 swapFree=4176924/4192956
[pid=6480] ppid=6478 vsize=60956 CPUtime=322.99
/proc/6480/stat : 6480 (satake) S 6478 6480 5981 0 -1 4194304 15082 0 0 0 30869 1430 0 0 18 0 4 0 1149222758 62418944 14847 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6480/statm: 15239 14847 70 163 0 15074 0
[pid=6480/tid=6481] ppid=6478 vsize=60956 CPUtime=8.42
/proc/6480/task/6481/stat : 6481 (satake) S 6478 6480 5981 0 -1 4194368 927 0 0 0 185 657 0 0 16 0 4 0 1149222759 62418944 14847 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6480/tid=6482] ppid=6478 vsize=60956 CPUtime=157.52
/proc/6480/task/6482/stat : 6482 (satake) R 6478 6480 5981 0 -1 4194368 7344 0 0 0 15374 378 0 0 17 0 4 0 1149222759 62418944 14847 1992294400 134512640 135180984 4294956208 18446744073709551615 134532595 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6480/tid=6483] ppid=6478 vsize=60956 CPUtime=157.02
/proc/6480/task/6483/stat : 6483 (satake) R 6478 6480 5981 0 -1 4194368 6728 0 0 0 15308 394 0 0 17 0 4 0 1149222759 62418944 14847 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 322.99
Current children cumulated vsize (KiB) 60956

[startup+222.302 s]
/proc/loadavg: 1.99 1.53 1.21 3/68 6484
/proc/meminfo: memFree=1647144/2055920 swapFree=4176924/4192956
[pid=6480] ppid=6478 vsize=79320 CPUtime=442.65
/proc/6480/stat : 6480 (satake) S 6478 6480 5981 0 -1 4194304 19536 0 0 0 42600 1665 0 0 18 0 4 0 1149222758 81223680 19301 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6480/statm: 19830 19301 70 163 0 19665 0
[pid=6480/tid=6481] ppid=6478 vsize=79320 CPUtime=9.83
/proc/6480/task/6481/stat : 6481 (satake) S 6478 6480 5981 0 -1 4194368 1037 0 0 0 218 765 0 0 16 0 4 0 1149222759 81223680 19301 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6480/tid=6482] ppid=6478 vsize=79320 CPUtime=216.68
/proc/6480/task/6482/stat : 6482 (satake) R 6478 6480 5981 0 -1 4194368 10148 0 0 0 21230 438 0 0 17 0 4 0 1149222759 81223680 19301 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6480/tid=6483] ppid=6478 vsize=79320 CPUtime=216.11
/proc/6480/task/6483/stat : 6483 (satake) R 6478 6480 5981 0 -1 4194368 8268 0 0 0 21150 461 0 0 21 0 4 0 1149222759 81223680 19301 1992294400 134512640 135180984 4294956208 18446744073709551615 134526286 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 442.65
Current children cumulated vsize (KiB) 79320

[startup+282.301 s]
/proc/loadavg: 1.99 1.61 1.26 3/68 6484
/proc/meminfo: memFree=1631400/2055920 swapFree=4176924/4192956
[pid=6480] ppid=6478 vsize=95176 CPUtime=562.38
/proc/6480/stat : 6480 (satake) S 6478 6480 5981 0 -1 4194304 23481 0 0 0 54509 1729 0 0 18 0 4 0 1149222758 97460224 23246 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6480/statm: 23794 23246 70 163 0 23629 0
[pid=6480/tid=6481] ppid=6478 vsize=95176 CPUtime=10.19
/proc/6480/task/6481/stat : 6481 (satake) S 6478 6480 5981 0 -1 4194368 1064 0 0 0 226 793 0 0 15 0 4 0 1149222759 97460224 23246 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6480/tid=6482] ppid=6478 vsize=95176 CPUtime=276.49
/proc/6480/task/6482/stat : 6482 (satake) R 6478 6480 5981 0 -1 4194368 11011 0 0 0 27194 455 0 0 25 0 4 0 1149222759 97460224 23246 1992294400 134512640 135180984 4294956208 18446744073709551615 134528674 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6480/tid=6483] ppid=6478 vsize=95176 CPUtime=275.68
/proc/6480/task/6483/stat : 6483 (satake) R 6478 6480 5981 0 -1 4194368 11323 0 0 0 27088 480 0 0 20 0 4 0 1149222759 97460224 23246 1992294400 134512640 135180984 4294956208 18446744073709551615 134518214 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.38
Current children cumulated vsize (KiB) 95176

[startup+342.302 s]
/proc/loadavg: 1.99 1.68 1.30 3/68 6484
/proc/meminfo: memFree=1619368/2055920 swapFree=4176924/4192956
[pid=6480] ppid=6478 vsize=107532 CPUtime=682.12
/proc/6480/stat : 6480 (satake) S 6478 6480 5981 0 -1 4194304 26510 0 0 0 66450 1762 0 0 18 0 4 0 1149222758 110112768 26275 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6480/statm: 26883 26275 70 163 0 26718 0
[pid=6480/tid=6481] ppid=6478 vsize=107532 CPUtime=10.37
/proc/6480/task/6481/stat : 6481 (satake) S 6478 6480 5981 0 -1 4194368 1089 0 0 0 231 806 0 0 15 0 4 0 1149222759 110112768 26275 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6480/tid=6482] ppid=6478 vsize=107532 CPUtime=336.4
/proc/6480/task/6482/stat : 6482 (satake) R 6478 6480 5981 0 -1 4194368 12702 0 0 0 33178 462 0 0 21 0 4 0 1149222759 110112768 26275 1992294400 134512640 135180984 4294956208 18446744073709551615 134528763 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6480/tid=6483] ppid=6478 vsize=107532 CPUtime=335.34
/proc/6480/task/6483/stat : 6483 (satake) R 6478 6480 5981 0 -1 4194368 12636 0 0 0 33041 493 0 0 25 0 4 0 1149222759 110112768 26275 1992294400 134512640 135180984 4294956208 18446744073709551615 134528661 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.12
Current children cumulated vsize (KiB) 107532

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

[startup+345.502 s]
/proc/loadavg: 1.99 1.68 1.30 3/68 6484
/proc/meminfo: memFree=1618856/2055920 swapFree=4176924/4192956
[pid=6480] ppid=6478 vsize=107532 CPUtime=688.51
/proc/6480/stat : 6480 (satake) S 6478 6480 5981 0 -1 4194304 26576 0 0 0 67087 1764 0 0 18 0 4 0 1149222758 110112768 26341 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6480/statm: 26883 26341 70 163 0 26718 0
[pid=6480/tid=6481] ppid=6478 vsize=107532 CPUtime=10.38
/proc/6480/task/6481/stat : 6481 (satake) S 6478 6480 5981 0 -1 4194368 1089 0 0 0 231 807 0 0 15 0 4 0 1149222759 110112768 26341 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6480/tid=6482] ppid=6478 vsize=107532 CPUtime=339.59
/proc/6480/task/6482/stat : 6482 (satake) R 6478 6480 5981 0 -1 4194368 12702 0 0 0 33497 462 0 0 25 0 4 0 1149222759 110112768 26341 1992294400 134512640 135180984 4294956208 18446744073709551615 134528756 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6480/tid=6483] ppid=6478 vsize=107532 CPUtime=338.52
/proc/6480/task/6483/stat : 6483 (satake) R 6478 6480 5981 0 -1 4194368 12702 0 0 0 33358 494 0 0 25 0 4 0 1149222759 110112768 26341 1992294400 134512640 135180984 4294956208 18446744073709551615 134526788 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 688.51
Current children cumulated vsize (KiB) 107532

[startup+351.902 s]
/proc/loadavg: 1.99 1.69 1.31 3/68 6484
/proc/meminfo: memFree=1618856/2055920 swapFree=4176924/4192956
[pid=6480] ppid=6478 vsize=107532 CPUtime=701.3
/proc/6480/stat : 6480 (satake) S 6478 6480 5981 0 -1 4194304 26576 0 0 0 68363 1767 0 0 18 0 4 0 1149222758 110112768 26341 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6480/statm: 26883 26341 70 163 0 26718 0
[pid=6480/tid=6481] ppid=6478 vsize=107532 CPUtime=10.4
/proc/6480/task/6481/stat : 6481 (satake) S 6478 6480 5981 0 -1 4194368 1089 0 0 0 232 808 0 0 15 0 4 0 1149222759 110112768 26341 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6480/tid=6482] ppid=6478 vsize=107532 CPUtime=345.99
/proc/6480/task/6482/stat : 6482 (satake) R 6478 6480 5981 0 -1 4194368 12702 0 0 0 34136 463 0 0 25 0 4 0 1149222759 110112768 26341 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6480/tid=6483] ppid=6478 vsize=107532 CPUtime=344.9
/proc/6480/task/6483/stat : 6483 (satake) R 6478 6480 5981 0 -1 4194368 12702 0 0 0 33995 495 0 0 25 0 4 0 1149222759 110112768 26341 1992294400 134512640 135180984 4294956208 18446744073709551615 134528709 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 701.3
Current children cumulated vsize (KiB) 107532

[startup+358.302 s]
/proc/loadavg: 1.99 1.69 1.31 3/68 6484
/proc/meminfo: memFree=1618856/2055920 swapFree=4176924/4192956
[pid=6480] ppid=6478 vsize=107532 CPUtime=714.06
/proc/6480/stat : 6480 (satake) S 6478 6480 5981 0 -1 4194304 26577 0 0 0 69637 1769 0 0 18 0 4 0 1149222758 110112768 26342 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6480/statm: 26883 26342 70 163 0 26718 0
[pid=6480/tid=6481] ppid=6478 vsize=107532 CPUtime=10.41
/proc/6480/task/6481/stat : 6481 (satake) S 6478 6480 5981 0 -1 4194368 1090 0 0 0 232 809 0 0 16 0 4 0 1149222759 110112768 26342 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6480/tid=6482] ppid=6478 vsize=107532 CPUtime=352.38
/proc/6480/task/6482/stat : 6482 (satake) R 6478 6480 5981 0 -1 4194368 12702 0 0 0 34774 464 0 0 17 0 4 0 1149222759 110112768 26342 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6480/tid=6483] ppid=6478 vsize=107532 CPUtime=351.25
/proc/6480/task/6483/stat : 6483 (satake) R 6478 6480 5981 0 -1 4194368 12702 0 0 0 34630 495 0 0 25 0 4 0 1149222759 110112768 26342 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 714.06
Current children cumulated vsize (KiB) 107532

[startup+359.902 s]
/proc/loadavg: 1.99 1.70 1.31 3/68 6484
/proc/meminfo: memFree=1618856/2055920 swapFree=4176924/4192956
[pid=6480] ppid=6478 vsize=107532 CPUtime=717.25
/proc/6480/stat : 6480 (satake) S 6478 6480 5981 0 -1 4194304 26577 0 0 0 69955 1770 0 0 18 0 4 0 1149222758 110112768 26342 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6480/statm: 26883 26342 70 163 0 26718 0
[pid=6480/tid=6481] ppid=6478 vsize=107532 CPUtime=10.42
/proc/6480/task/6481/stat : 6481 (satake) S 6478 6480 5981 0 -1 4194368 1090 0 0 0 232 810 0 0 15 0 4 0 1149222759 110112768 26342 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6480/tid=6482] ppid=6478 vsize=107532 CPUtime=353.98
/proc/6480/task/6482/stat : 6482 (satake) R 6478 6480 5981 0 -1 4194368 12702 0 0 0 34934 464 0 0 20 0 4 0 1149222759 110112768 26342 1992294400 134512640 135180984 4294956208 18446744073709551615 134528763 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6480/tid=6483] ppid=6478 vsize=107532 CPUtime=352.85
/proc/6480/task/6483/stat : 6483 (satake) R 6478 6480 5981 0 -1 4194368 12702 0 0 0 34789 496 0 0 25 0 4 0 1149222759 110112768 26342 1992294400 134512640 135180984 4294956208 18446744073709551615 134528631 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 717.25
Current children cumulated vsize (KiB) 107532

[startup+360.702 s]
/proc/loadavg: 1.99 1.70 1.31 3/68 6484
/proc/meminfo: memFree=1618856/2055920 swapFree=4176924/4192956
[pid=6480] ppid=6478 vsize=107532 CPUtime=718.85
/proc/6480/stat : 6480 (satake) S 6478 6480 5981 0 -1 4194304 26577 0 0 0 70115 1770 0 0 18 0 4 0 1149222758 110112768 26342 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6480/statm: 26883 26342 70 163 0 26718 0
[pid=6480/tid=6481] ppid=6478 vsize=107532 CPUtime=10.42
/proc/6480/task/6481/stat : 6481 (satake) S 6478 6480 5981 0 -1 4194368 1090 0 0 0 232 810 0 0 16 0 4 0 1149222759 110112768 26342 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6480/tid=6482] ppid=6478 vsize=107532 CPUtime=354.78
/proc/6480/task/6482/stat : 6482 (satake) R 6478 6480 5981 0 -1 4194368 12702 0 0 0 35014 464 0 0 21 0 4 0 1149222759 110112768 26342 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6480/tid=6483] ppid=6478 vsize=107532 CPUtime=353.65
/proc/6480/task/6483/stat : 6483 (satake) R 6478 6480 5981 0 -1 4194368 12702 0 0 0 34869 496 0 0 25 0 4 0 1149222759 110112768 26342 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 718.85
Current children cumulated vsize (KiB) 107532

[startup+361.102 s]
/proc/loadavg: 1.99 1.70 1.31 3/68 6484
/proc/meminfo: memFree=1618856/2055920 swapFree=4176924/4192956
[pid=6480] ppid=6478 vsize=107532 CPUtime=719.64
/proc/6480/stat : 6480 (satake) S 6478 6480 5981 0 -1 4194304 26577 0 0 0 70194 1770 0 0 18 0 4 0 1149222758 110112768 26342 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6480/statm: 26883 26342 70 163 0 26718 0
[pid=6480/tid=6481] ppid=6478 vsize=107532 CPUtime=10.42
/proc/6480/task/6481/stat : 6481 (satake) S 6478 6480 5981 0 -1 4194368 1090 0 0 0 232 810 0 0 15 0 4 0 1149222759 110112768 26342 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6480/tid=6482] ppid=6478 vsize=107532 CPUtime=355.17
/proc/6480/task/6482/stat : 6482 (satake) R 6478 6480 5981 0 -1 4194368 12702 0 0 0 35053 464 0 0 23 0 4 0 1149222759 110112768 26342 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6480/tid=6483] ppid=6478 vsize=107532 CPUtime=354.04
/proc/6480/task/6483/stat : 6483 (satake) R 6478 6480 5981 0 -1 4194368 12702 0 0 0 34908 496 0 0 25 0 4 0 1149222759 110112768 26342 1992294400 134512640 135180984 4294956208 18446744073709551615 134518227 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 719.64
Current children cumulated vsize (KiB) 107532

[startup+361.502 s]
/proc/loadavg: 1.99 1.70 1.31 3/68 6484
/proc/meminfo: memFree=1618856/2055920 swapFree=4176924/4192956
[pid=6480] ppid=6478 vsize=101768 CPUtime=720.23
/proc/6480/stat : 6480 (satake) S 6478 6480 5981 0 -1 4194304 26586 0 0 0 70253 1770 0 0 16 0 2 0 1149222758 104210432 25027 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/6480/statm: 25442 25027 79 163 0 25277 0
[pid=6480/tid=6482] ppid=6478 vsize=101768 CPUtime=355.57
/proc/6480/task/6482/stat : 6482 (satake) R 6478 6480 5981 0 -1 4194368 12702 0 0 0 35093 464 0 0 25 0 2 0 1149222759 104210432 25027 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 720.23
Current children cumulated vsize (KiB) 101768

Child status: 3
Real time (s): 361.602
CPU time (s): 720.342
CPU user time (s): 702.616
CPU system time (s): 17.7263
CPU usage (%): 199.209
Max. virtual memory (cumulated for all children) (KiB): 107532


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 702.616
system time used= 17.7263
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26586
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= 1290406
involuntary context switches= 1266597

runsolver used 0.300954 second user time and 1.02184 second system time

The end

Launcher Data 

Begin job on node35 at 2009-04-03 15:32:59
IDJOB=1561360
IDBENCH=70913
IDSOLVER=553
FILE ID=node35/1561360-1238765578
PBS_JOBID= 9085502
Free space on /tmp= 66480 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/APPLICATIONS/edgematching/compact/em_8_4_5_cmp.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1561360-1238765578/watcher-1561360-1238765578 -o /tmp/evaluation-result-1561360-1238765578/solver-1561360-1238765578 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1561360-1238765578.cnf 3 1200

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 3

MD5SUM BENCH= 0b9eae71c375cb5515f5dd7953424584
RANDOM SEED=187642036

node35.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.229
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.229
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1725032 kB
Buffers:         44552 kB
Cached:         199968 kB
SwapCached:      10140 kB
Active:          86480 kB
Inactive:       169820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1725032 kB
SwapTotal:     4192956 kB
SwapFree:      4176924 kB
Dirty:            1188 kB
Writeback:           0 kB
Mapped:          17584 kB
Slab:            60620 kB
Committed_AS:  3033212 kB
PageTables:       1404 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66480 MiB
End job on node35 at 2009-04-03 15:39:00