0.09/0.35 c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre
0.09/0.35 c This is free software under the dual EPL/GNU LGPL licenses.
0.09/0.35 c See www.sat4j.org for details.
0.09/0.36 c version 2.1.0.v20090228
0.09/0.37 c sun.arch.data.model 32
0.09/0.37 c java.version 1.6.0_12
0.09/0.37 c os.name Linux
0.09/0.37 c os.version 2.6.9-22.EL.rootsmp
0.09/0.37 c os.arch i386
0.09/0.37 c Free memory 1651659224
0.09/0.37 c Max memory 1654456320
0.09/0.37 c Total memory 1654456320
0.09/0.37 c Number of processors 2
0.18/0.44 c c --- Begin Solver configuration ---
0.18/0.44 c Stops conflict analysis at the first Unique Implication Point
0.18/0.44 c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@11b9fb1
0.18/0.44 c Limit learning to clauses of size smaller or equal to 10% of the number of variables
0.18/0.44 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100
0.18/0.44 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.18/0.44 c Expensive reason simplification
0.18/0.44 c Armin Biere (Picosat) restarts strategy
0.18/0.44 c timeout=2147483647s
0.18/0.44 c DB Simplification allowed=true
0.18/0.44 c --- End Solver configuration ---
0.18/0.44 c solving HOME/instance-1561415-1238766083.cnf
0.18/0.44 c reading problem ...
0.68/0.92 c ... done. Wall clock time 0.478s.
0.68/0.92 c #vars 3857
0.68/0.92 c #constraints 108164
0.68/0.92 c constraints type
0.68/0.92 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 35341
0.68/0.92 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 72823
483.64/486.61 c starts : 616
483.64/486.61 c conflicts : 242430
483.64/486.61 c decisions : 1667322
483.64/486.61 c propagations : 29250742
483.64/486.61 c inspects : 1373479673
483.64/486.61 c learnt literals : 10
483.64/486.61 c learnt binary clauses : 174
483.64/486.61 c learnt ternary clauses : 2957
483.64/486.61 c learnt clauses : 228689
483.64/486.61 c ignored clauses : 13731
483.64/486.61 c root simplifications : 626
483.64/486.61 c removed literals (reason simplification) : 4118996
483.64/486.61 c reason swapping (by a shorter reason) : 0
483.64/486.61 c Calls to reduceDB : 0
483.64/486.61 c speed (assignments/second) : 60225.00313985642
483.64/486.61 c non guided choices 7370
483.64/486.70 c learnt constraints type
483.64/486.70 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 171
483.64/486.70 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 228495
483.64/486.70 s SATISFIABLE
483.74/486.76 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 -2421 -2422 -2423 -2424 -2425 -2426 -2427 -2428 -2429 -2430 -2431 -2432 -2433 -2434 -2435 -2436 -2437 -2438 -2439 -2440 -2441 -2442 -2443 -2444 -2445 -2446 -2447 -2448 -2449 -2450 -2451 -2452 -2453 -2454 -2455 -2456 -2457 -2458 -2459 -2460 -2461 -2462 -2463 -2464 -2465 2466 -2467 -2468 -2469 -2470 -2471 -2472 -2473 -2474 -2475 -2476 -2477 -2478 -2479 -2480 -2481 -2482 -2483 -2484 -2485 -2486 -2487 -2488 -2489 -2490 -2491 -2492 -2493 -2494 -2495 -2496 -2497 -2498 -2499 -2500 -2501 -2502 -2503 -2504 -2505 -2506 -2507 -2508 2509 -2510 -2511 -2512 -2513 -2514 -2515 -2516 -2517 -2518 -2519 -2520 -2521 -2522 -2523 -2524 -2525 -2526 -2527 -2528 -2529 -2530 -2531 -2532 -2533 -2534 -2535 -2536 -2537 -2538 -2539 -2540 -2541 -2542 -2543 -2544 -2545 -2546 -2547 -2548 -2549 -2550 -2551 -2552 -2553 -2554 -2555 2556 -2557 -2558 -2559 -2560 -2561 -2562 -2563 -2564 -2565 -2566 -2567 -2568 -2569 -2570 -2571 -2572 -2573 -2574 -2575 2576 -2577 -2578 -2579 -2580 -2581 -2582 -2583 -2584 -2585 -2586 -2587 -2588 -2589 -2590 -2591 -2592 -2593 -2594 -2595 -2596 -2597 -2598 -2599 -2600 -2601 -2602 -2603 -2604 -2605 -2606 -2607 -2608 -2609 -2610 -2611 -2612 2613 -2614 -2615 -2616 -2617 -2618 -2619 -2620 -2621 -2622 -2623 -2624 -2625 -2626 -2627 -2628 -2629 -2630 -2631 -2632 -2633 -2634 -2635 -2636 -2637 -2638 -2639 -2640 -2641 -2642 -2643 -2644 -2645 -2646 -2647 -2648 -2649 -2650 -2651 -2652 -2653 -2654 -2655 -2656 -2657 -2658 -2659 -2660 -2661 2662 -2663 -2664 -2665 -2666 -2667 -2668 -2669 -2670 -2671 -2672 -2673 -2674 -2675 -2676 -2677 -2678 -2679 -2680 -2681 -2682 -2683 -2684 -2685 -2686 -2687 -2688 -2689 -2690 -2691 -2692 -2693 -2694 -2695 -2696 -2697 -2698 -2699 2700 -2701 -2702 -2703 -2704 -2705 -2706 -2707 -2708 -2709 -2710 -2711 -2712 -2713 -2714 -2715 -2716 -2717 -2718 -2719 -2720 -2721 -2722 -2723 -2724 -2725 -2726 -2727 -2728 -2729 -2730 -2731 -2732 -2733 -2734 -2735 -2736 -2737 -2738 -2739 -2740 -2741 -2742 -2743 -2744 -2745 -2746 -2747 -2748 -2749 -2750 -2751 -2752 -2753 -2754 -2755 -2756 -2757 2758 -2759 -2760 -2761 -2762 -2763 -2764 -2765 -2766 -2767 -2768 -2769 -2770 -2771 -2772 -2773 -2774 -2775 2776 -2777 -2778 -2779 -2780 -2781 -2782 -2783 -2784 -2785 -2786 -2787 -2788 -2789 -2790 -2791 -2792 -2793 -2794 -2795 -2796 -2797 -2798 -2799 -2800 -2801 -2802 -2803 -2804 -2805 -2806 -2807 -2808 -2809 -2810 -2811 -2812 -2813 -2814 -2815 -2816 -2817 -2818 -2819 -2820 -2821 -2822 -2823 -2824 -2825 -2826 -2827 -2828 -2829 -2830 -2831 -2832 -2833 -2834 -2835 -2836 -2837 -2838 -2839 -2840 -2841 -2842 -2843 -2844 -2845 -2846 -2847 -2848 -2849 -2850 -2851 -2852 2853 -2854 -2855 -2856 -2857 -2858 -2859 -2860 -2861 -2862 -2863 -2864 -2865 -2866 -2867 -2868 -2869 -2870 -2871 -2872 2873 -2874 -2875 -2876 -2877 -2878 -2879 -2880 -2881 -2882 -2883 -2884 -2885 -2886 -2887 -2888 -2889 -2890 -2891 -2892 -2893 -2894 -2895 -2896 -2897 -2898 -2899 -2900 -2901 -2902 -2903 -2904 -2905 -2906 -2907 -2908 -2909 -2910 -2911 -2912 -2913 -2914 -2915 -2916 -2917 -2918 -2919 -2920 -2921 -2922 -2923 -2924 -2925 -2926 -2927 -2928 -2929 -2930 -2931 -2932 -2933 -2934 -2935 -2936 -2937 -2938 -2939 -2940 -2941 -2942 -2943 -2944 -2945 -2946 -2947 -2948 -2949 2950 -2951 -2952 -2953 -2954 -2955 -2956 -2957 -2958 -2959 -2960 -2961 -2962 -2963 -2964 -2965 -2966 -2967 -2968 -2969 -2970 -2971 -2972 -2973 -2974 -2975 -2976 -2977 -2978 -2979 -2980 -2981 -2982 -2983 -2984 -2985 -2986 -2987 -2988 -2989 2990 -2991 -2992 -2993 -2994 -2995 -2996 -2997 -2998 -2999 3000 -3001 -3002 -3003 -3004 -3005 -3006 -3007 -3008 -3009 -3010 -3011 -3012 -3013 -3014 3015 -3016 -3017 -3018 -3019 -3020 -3021 -3022 -3023 -3024 -3025 -3026 -3027 -3028 -3029 -3030 -3031 -3032 -3033 -3034 -3035 -3036 -3037 -3038 -3039 -3040 -3041 -3042 -3043 -3044 -3045 -3046 -3047 3048 -3049 -3050 -3051 -3052 -3053 -3054 -3055 -3056 -3057 -3058 -3059 -3060 -3061 -3062 -3063 -3064 -3065 -3066 -3067 -3068 -3069 -3070 -3071 -3072 -3073 -3074 -3075 -3076 -3077 -3078 -3079 3080 -3081 -3082 -3083 -3084 -3085 -3086 -3087 -3088 -3089 -3090 -3091 -3092 -3093 -3094 -3095 -3096 -3097 -3098 -3099 -3100 -3101 -3102 -3103 -3104 -3105 -3106 3107 -3108 -3109 -3110 -3111 -3112 -3113 -3114 -3115 -3116 -3117 -3118 -3119 -3120 -3121 -3122 -3123 -3124 -3125 -3126 -3127 -3128 -3129 -3130 -3131 -3132 -3133 -3134 -3135 -3136 -3137 -3138 -3139 -3140 3141 -3142 -3143 -3144 -3145 -3146 -3147 -3148 -3149 -3150 -3151 -3152 -3153 -3154 -3155 -3156 -3157 -3158 -3159 -3160 -3161 -3162 -3163 -3164 -3165 -3166 3167 -3168 -3169 -3170 -3171 -3172 -3173 -3174 -3175 -3176 -3177 -3178 -3179 3180 -3181 -3182 -3183 -3184 -3185 -3186 -3187 -3188 -3189 -3190 -3191 -3192 -3193 -3194 -3195 -3196 -3197 -3198 -3199 -3200 3201 -3202 -3203 3204 -3205 3206 -3207 3208 -3209 -3210 3211 -3212 -3213 -3214 3215 -3216 -3217 3218 -3219 -3220 3221 -3222 3223 -3224 -3225 -3226 -3227 3228 -3229 -3230 3231 -3232 -3233 -3234 3235 -3236 -3237 -3238 -3239 3240 -3241 -3242 -3243 3244 -3245 -3246 -3247 -3248 -3249 -3250 -3251 -3252 3253 3254 -3255 -3256 -3257 -3258 -3259 -3260 -3261 -3262 3263 3264 -3265 -3266 -3267 3268 -3269 -3270 -3271 -3272 3273 -3274 -3275 -3276 -3277 -3278 -3279 3280 -3281 -3282 -3283 -3284 -3285 3286 -3287 -3288 3289 -3290 -3291 -3292 -3293 -3294 3295 -3296 -3297 3298 -3299 -3300 -3301 3302 -3303 -3304 -3305 -3306 -3307 3308 -3309 -3310 -3311 -3312 3313 -3314 -3315 -3316 3317 -3318 -3319 -3320 3321 -3322 -3323 -3324 -3325 -3326 -3327 3328 -3329 -3330 -3331 3332 -3333 -3334 -3335 -3336 -3337 3338 -3339 -3340 -3341 3342 -3343 -3344 -3345 3346 -3347 -3348 -3349 3350 -3351 -3352 -3353 -3354 3355 -3356 -3357 -3358 -3359 3360 -3361 -3362 -3363 3364 -3365 -3366 -3367 -3368 3369 -3370 -3371 -3372 -3373 -3374 3375 -3376 -3377 -3378 -3379 -3380 3381 -3382 -3383 -3384 3385 -3386 -3387 -3388 -3389 3390 3391 -3392 -3393 -3394 -3395 -3396 -3397 -3398 3399 -3400 -3401 -3402 -3403 -3404 3405 -3406 -3407 3408 -3409 -3410 -3411 -3412 -3413 3414 -3415 3416 -3417 -3418 -3419 -3420 -3421 3422 -3423 -3424 -3425 -3426 3427 -3428 -3429 -3430 3431 -3432 -3433 -3434 -3435 -3436 3437 -3438 -3439 -3440 3441 -3442 -3443 -3444 -3445 -3446 -3447 3448 3449 -3450 -3451 -3452 -3453 -3454 -3455 -3456 3457 -3458 -3459 -3460 -3461 -3462 3463 -3464 3465 -3466 -3467 -3468 -3469 3470 -3471 -3472 -3473 3474 -3475 -3476 -3477 -3478 -3479 3480 -3481 -3482 -3483 -3484 -3485 3486 -3487 -3488 -3489 3490 -3491 -3492 3493 -3494 -3495 -3496 3497 -3498 -3499 -3500 -3501 3502 -3503 -3504 -3505 -3506 -3507 -3508 3509 -3510 3511 -3512 -3513 -3514 3515 -3516 -3517 -3518 -3519 3520 -3521 -3522 -3523 -3524 -3525 -3526 -3527 -3528 3529 3530 -3531 -3532 -3533 -3534 -3535 3536 -3537 -3538 -3539 -3540 -3541 -3542 3543 -3544 -3545 -3546 -3547 3548 -3549 -3550 -3551 3552 -3553 3554 -3555 -3556 -3557 3558 -3559 -3560 -3561 -3562 -3563 -3564 -3565 3566 -3567 -3568 -3569 -3570 3571 -3572 -3573 -3574 -3575 -3576 3577 -3578 -3579 -3580 3581 -3582 -3583 -3584 -3585 3586 -3587 -3588 3589 -3590 -3591 -3592 3593 -3594 -3595 -3596 -3597 3598 -3599 -3600 -3601 3602 -3603 -3604 -3605 -3606 -3607 -3608 3609 -3610 -3611 -3612 -3613 -3614 3615 -3616 -3617 -3618 -3619 3620 -3621 -3622 -3623 3624 -3625 3626 -3627 -3628 -3629 -3630 3631 -3632 -3633 3634 -3635 -3636 -3637 -3638 -3639 3640 -3641 -3642 -3643 -3644 -3645 -3646 3647 -3648 -3649 3650 -3651 -3652 -3653 -3654 -3655 -3656 -3657 3658 -3659 -3660 -3661 -3662 3663 -3664 -3665 3666 -3667 -3668 3669 -3670 -3671 -3672 -3673 -3674 3675 -3676 3677 -3678 -3679 -3680 -3681 -3682 -3683 -3684 3685 -3686 -3687 -3688 3689 -3690 -3691 -3692 -3693 -3694 -3695 3696 -3697 3698 -3699 -3700 -3701 -3702 -3703 3704 -3705 -3706 -3707 3708 -3709 -3710 -3711 -3712 -3713 3714 -3715 -3716 -3717 3718 -3719 -3720 -3721 3722 -3723 -3724 -3725 -3726 -3727 3728 -3729 -3730 -3731 3732 -3733 -3734 -3735 3736 -3737 -3738 -3739 -3740 3741 -3742 -3743 -3744 3745 -3746 -3747 -3748 -3749 -3750 3751 -3752 -3753 -3754 -3755 3756 -3757 3758 -3759 -3760 -3761 -3762 3763 -3764 -3765 -3766 -3767 -3768 -3769 -3770 -3771 3772 -3773 -3774 -3775 3776 -3777 -3778 -3779 -3780 3781 -3782 -3783 -3784 3785 -3786 -3787 3788 -3789 -3790 -3791 -3792 3793 -3794 -3795 -3796 3797 -3798 -3799 -3800 -3801 -3802 -3803 3804 -3805 -3806 3807 -3808 -3809 -3810 -3811 -3812 -3813 -3814 3815 -3816 3817 -3818 -3819 -3820 -3821 -3822 -3823 -3824 3825 -3826 -3827 -3828 3829 -3830 -3831 -3832 3833 -3834 -3835 3836 -3837 3838 -3839 -3840 -3841 3842 -3843 3844 -3845 -3846 -3847 3848 -3849 3850 -3851 -3852 3853 -3854 -3855 -3856 3857 0
483.74/486.76 c Total wall clock time (in seconds) : 486.171
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1561415-1238766083/watcher-1561415-1238766083 -o /tmp/evaluation-result-1561415-1238766083/solver-1561415-1238766083 -C 1200 -W 1800 -M 1800 --output-limit 1,15 java6 -server -Xms1600m -Xmx1600m -jar HOME/org.sat4j.core.jar HOME/instance-1561415-1238766083.cnf
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.92 1.95 1.99 4/86 17689
/proc/meminfo: memFree=1815184/2055920 swapFree=4170308/4192956
[pid=17689] ppid=17687 vsize=18576 CPUtime=0
/proc/17689/stat : 17689 (runsolver) R 17687 17689 17410 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 1149272371 19021824 292 1992294400 4194304 4302564 548682068400 18446744073709551615 251279240487 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/17689/statm: 4644 292 257 26 0 2626 0
[startup+0.0647641 s]
/proc/loadavg: 1.92 1.95 1.99 4/86 17689
/proc/meminfo: memFree=1815184/2055920 swapFree=4170308/4192956
[pid=17689] ppid=17687 vsize=12928 CPUtime=0
/proc/17689/stat : 17689 (java) D 17687 17689 17410 0 -1 0 370 0 16 0 0 0 0 0 18 0 1 0 1149272371 13238272 193 1992294400 134512640 134550932 4294956000 18446744073709551615 4014890 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/17689/statm: 3232 193 136 9 0 1104 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12928
[startup+0.101769 s]
/proc/loadavg: 1.92 1.95 1.99 4/86 17689
/proc/meminfo: memFree=1815184/2055920 swapFree=4170308/4192956
[pid=17689] ppid=17687 vsize=13296 CPUtime=0.01
/proc/17689/stat : 17689 (java) S 17687 17689 17410 0 -1 0 756 0 35 0 0 1 0 0 18 0 2 0 1149272371 13615104 572 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/17689/statm: 3324 572 255 9 0 1198 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13296
[startup+0.301814 s]
/proc/loadavg: 1.92 1.95 1.99 4/86 17689
/proc/meminfo: memFree=1815184/2055920 swapFree=4170308/4192956
[pid=17689] ppid=17687 vsize=1780924 CPUtime=0.09
/proc/17689/stat : 17689 (java) S 17687 17689 17410 0 -1 0 3842 0 93 0 6 3 0 0 18 0 12 0 1149272371 1823666176 3677 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17689/statm: 445231 3677 1070 9 0 442578 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1780924
[startup+0.701847 s]
/proc/loadavg: 1.92 1.95 1.99 4/86 17689
/proc/meminfo: memFree=1815184/2055920 swapFree=4170308/4192956
[pid=17689] ppid=17687 vsize=1782056 CPUtime=0.48
/proc/17689/stat : 17689 (java) S 17687 17689 17410 0 -1 0 5547 0 93 0 44 4 0 0 18 0 12 0 1149272371 1824825344 5309 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17689/statm: 445514 5309 1372 9 0 442861 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 1782056
[startup+1.50295 s]
/proc/loadavg: 1.92 1.95 1.99 5/99 17702
/proc/meminfo: memFree=1781928/2055920 swapFree=4170308/4192956
[pid=17689] ppid=17687 vsize=1784104 CPUtime=1.28
/proc/17689/stat : 17689 (java) S 17687 17689 17410 0 -1 0 8975 0 93 0 122 6 0 0 18 0 13 0 1149272371 1826922496 7583 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17689/statm: 446026 7583 1404 9 0 443373 0
[pid=17689/tid=17691] ppid=17687 vsize=1784104 CPUtime=0.61
/proc/17689/task/17691/stat : 17691 (java) R 17687 17689 17410 0 -1 64 5974 0 58 0 58 3 0 0 22 0 13 0 1149272381 1826922496 7583 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17692] ppid=17687 vsize=1784104 CPUtime=0
/proc/17689/task/17692/stat : 17692 (java) S 17687 17689 17410 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 1149272389 1826922496 7583 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17693] ppid=17687 vsize=1784104 CPUtime=0
/proc/17689/task/17693/stat : 17693 (java) S 17687 17689 17410 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 1149272389 1826922496 7583 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17694] ppid=17687 vsize=1784104 CPUtime=0
/proc/17689/task/17694/stat : 17694 (java) S 17687 17689 17410 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 1149272392 1826922496 7583 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17695] ppid=17687 vsize=1784104 CPUtime=0
/proc/17689/task/17695/stat : 17695 (java) S 17687 17689 17410 0 -1 64 10 0 0 0 0 0 0 0 20 0 13 0 1149272393 1826922496 7583 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17696] ppid=17687 vsize=1784104 CPUtime=0
/proc/17689/task/17696/stat : 17696 (java) S 17687 17689 17410 0 -1 64 4 0 0 0 0 0 0 0 21 0 13 0 1149272393 1826922496 7583 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17697] ppid=17687 vsize=1784104 CPUtime=0
/proc/17689/task/17697/stat : 17697 (java) S 17687 17689 17410 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 1149272400 1826922496 7583 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17698] ppid=17687 vsize=1784104 CPUtime=0
/proc/17689/task/17698/stat : 17698 (java) S 17687 17689 17410 0 -1 64 13 0 0 0 0 0 0 0 19 0 13 0 1149272400 1826922496 7583 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17699] ppid=17687 vsize=1784104 CPUtime=0.63
/proc/17689/task/17699/stat : 17699 (java) R 17687 17689 17410 0 -1 64 2278 0 0 0 63 0 0 0 17 0 13 0 1149272400 1826922496 7583 1992294400 134512640 134550932 4294956000 18446744073709551615 105817760 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17700] ppid=17687 vsize=1784104 CPUtime=0
/proc/17689/task/17700/stat : 17700 (java) S 17687 17689 17410 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 1149272400 1826922496 7583 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17701] ppid=17687 vsize=1784104 CPUtime=0
/proc/17689/task/17701/stat : 17701 (java) S 17687 17689 17410 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 1149272400 1826922496 7583 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17702] ppid=17687 vsize=1784104 CPUtime=0
/proc/17689/task/17702/stat : 17702 (java) S 17687 17689 17410 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 1149272467 1826922496 7583 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 1784104
[startup+3.10215 s]
/proc/loadavg: 1.92 1.95 1.99 3/99 17702
/proc/meminfo: memFree=1778984/2055920 swapFree=4170308/4192956
[pid=17689] ppid=17687 vsize=1784104 CPUtime=2.86
/proc/17689/stat : 17689 (java) S 17687 17689 17410 0 -1 0 9539 0 93 0 280 6 0 0 18 0 13 0 1149272371 1826922496 8084 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17689/statm: 446026 8084 1411 9 0 443373 0
[pid=17689/tid=17691] ppid=17687 vsize=1784104 CPUtime=1.97
/proc/17689/task/17691/stat : 17691 (java) R 17687 17689 17410 0 -1 64 6451 0 58 0 193 4 0 0 25 0 13 0 1149272381 1826922496 8084 1992294400 134512640 134550932 4294956000 18446744073709551615 4109540991 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17692] ppid=17687 vsize=1784104 CPUtime=0
/proc/17689/task/17692/stat : 17692 (java) S 17687 17689 17410 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 1149272389 1826922496 8084 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17693] ppid=17687 vsize=1784104 CPUtime=0
/proc/17689/task/17693/stat : 17693 (java) S 17687 17689 17410 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 1149272389 1826922496 8084 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17694] ppid=17687 vsize=1784104 CPUtime=0
/proc/17689/task/17694/stat : 17694 (java) S 17687 17689 17410 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 1149272392 1826922496 8084 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17695] ppid=17687 vsize=1784104 CPUtime=0
/proc/17689/task/17695/stat : 17695 (java) S 17687 17689 17410 0 -1 64 10 0 0 0 0 0 0 0 20 0 13 0 1149272393 1826922496 8084 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17696] ppid=17687 vsize=1784104 CPUtime=0
/proc/17689/task/17696/stat : 17696 (java) S 17687 17689 17410 0 -1 64 4 0 0 0 0 0 0 0 21 0 13 0 1149272393 1826922496 8084 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17697] ppid=17687 vsize=1784104 CPUtime=0
/proc/17689/task/17697/stat : 17697 (java) S 17687 17689 17410 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 1149272400 1826922496 8084 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17698] ppid=17687 vsize=1784104 CPUtime=0
/proc/17689/task/17698/stat : 17698 (java) S 17687 17689 17410 0 -1 64 13 0 0 0 0 0 0 0 19 0 13 0 1149272400 1826922496 8084 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17699] ppid=17687 vsize=1784104 CPUtime=0.86
/proc/17689/task/17699/stat : 17699 (java) S 17687 17689 17410 0 -1 64 2365 0 0 0 86 0 0 0 16 0 13 0 1149272400 1826922496 8084 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17700] ppid=17687 vsize=1784104 CPUtime=0
/proc/17689/task/17700/stat : 17700 (java) S 17687 17689 17410 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 1149272400 1826922496 8084 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17701] ppid=17687 vsize=1784104 CPUtime=0
/proc/17689/task/17701/stat : 17701 (java) S 17687 17689 17410 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 1149272400 1826922496 8084 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17702] ppid=17687 vsize=1784104 CPUtime=0
/proc/17689/task/17702/stat : 17702 (java) S 17687 17689 17410 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 1149272467 1826922496 8084 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 1784104
[startup+6.30255 s]
/proc/loadavg: 1.93 1.95 1.99 3/99 17702
/proc/meminfo: memFree=1774568/2055920 swapFree=4170308/4192956
[pid=17689] ppid=17687 vsize=1783976 CPUtime=6.04
/proc/17689/stat : 17689 (java) S 17687 17689 17410 0 -1 0 10590 0 93 0 597 7 0 0 18 0 13 0 1149272371 1826791424 9025 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17689/statm: 445994 9025 1411 9 0 443341 0
[pid=17689/tid=17691] ppid=17687 vsize=1783976 CPUtime=5.06
/proc/17689/task/17691/stat : 17691 (java) R 17687 17689 17410 0 -1 64 7418 0 58 0 501 5 0 0 25 0 13 0 1149272381 1826791424 9025 1992294400 134512640 134550932 4294956000 18446744073709551615 4109535425 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17692] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17692/stat : 17692 (java) S 17687 17689 17410 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 1149272389 1826791424 9025 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17693] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17693/stat : 17693 (java) S 17687 17689 17410 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 1149272389 1826791424 9025 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17694] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17694/stat : 17694 (java) S 17687 17689 17410 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 1149272392 1826791424 9025 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17695] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17695/stat : 17695 (java) S 17687 17689 17410 0 -1 64 10 0 0 0 0 0 0 0 20 0 13 0 1149272393 1826791424 9025 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17696] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17696/stat : 17696 (java) S 17687 17689 17410 0 -1 64 4 0 0 0 0 0 0 0 21 0 13 0 1149272393 1826791424 9025 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17697] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17697/stat : 17697 (java) S 17687 17689 17410 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 1149272400 1826791424 9025 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17698] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17698/stat : 17698 (java) S 17687 17689 17410 0 -1 64 13 0 0 0 0 0 0 0 19 0 13 0 1149272400 1826791424 9025 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17699] ppid=17687 vsize=1783976 CPUtime=0.96
/proc/17689/task/17699/stat : 17699 (java) S 17687 17689 17410 0 -1 64 2449 0 0 0 96 0 0 0 16 0 13 0 1149272400 1826791424 9025 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17700] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17700/stat : 17700 (java) S 17687 17689 17410 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 1149272400 1826791424 9025 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17701] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17701/stat : 17701 (java) S 17687 17689 17410 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 1149272400 1826791424 9025 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17702] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17702/stat : 17702 (java) S 17687 17689 17410 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 1149272467 1826791424 9025 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 1783976
[startup+12.7014 s]
/proc/loadavg: 1.93 1.96 1.99 3/99 17702
/proc/meminfo: memFree=1767784/2055920 swapFree=4170308/4192956
[pid=17689] ppid=17687 vsize=1783976 CPUtime=12.4
/proc/17689/stat : 17689 (java) S 17687 17689 17410 0 -1 0 12152 0 93 0 1232 8 0 0 18 0 13 0 1149272371 1826791424 10587 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17689/statm: 445994 10587 1411 9 0 443341 0
[pid=17689/tid=17691] ppid=17687 vsize=1783976 CPUtime=11.4
/proc/17689/task/17691/stat : 17691 (java) R 17687 17689 17410 0 -1 64 8980 0 58 0 1134 6 0 0 25 0 13 0 1149272381 1826791424 10587 1992294400 134512640 134550932 4294956000 18446744073709551615 4109540991 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17692] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17692/stat : 17692 (java) S 17687 17689 17410 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 1149272389 1826791424 10587 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17693] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17693/stat : 17693 (java) S 17687 17689 17410 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 1149272389 1826791424 10587 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17694] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17694/stat : 17694 (java) S 17687 17689 17410 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 1149272392 1826791424 10587 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17695] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17695/stat : 17695 (java) S 17687 17689 17410 0 -1 64 10 0 0 0 0 0 0 0 20 0 13 0 1149272393 1826791424 10587 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17696] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17696/stat : 17696 (java) S 17687 17689 17410 0 -1 64 4 0 0 0 0 0 0 0 21 0 13 0 1149272393 1826791424 10587 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17697] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17697/stat : 17697 (java) S 17687 17689 17410 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 1149272400 1826791424 10587 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17698] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17698/stat : 17698 (java) S 17687 17689 17410 0 -1 64 13 0 0 0 0 0 0 0 19 0 13 0 1149272400 1826791424 10587 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17699] ppid=17687 vsize=1783976 CPUtime=0.97
/proc/17689/task/17699/stat : 17699 (java) S 17687 17689 17410 0 -1 64 2449 0 0 0 97 0 0 0 17 0 13 0 1149272400 1826791424 10587 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17700] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17700/stat : 17700 (java) S 17687 17689 17410 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 1149272400 1826791424 10587 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17701] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17701/stat : 17701 (java) S 17687 17689 17410 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 1149272400 1826791424 10587 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17702] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17702/stat : 17702 (java) S 17687 17689 17410 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 1149272467 1826791424 10587 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 1783976
[startup+25.503 s]
/proc/loadavg: 1.95 1.96 1.99 3/99 17702
/proc/meminfo: memFree=1757864/2055920 swapFree=4170308/4192956
[pid=17689] ppid=17687 vsize=1783976 CPUtime=25.13
/proc/17689/stat : 17689 (java) S 17687 17689 17410 0 -1 0 14641 0 93 0 2502 11 0 0 18 0 13 0 1149272371 1826791424 13075 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17689/statm: 445994 13075 1411 9 0 443341 0
[pid=17689/tid=17691] ppid=17687 vsize=1783976 CPUtime=24.12
/proc/17689/task/17691/stat : 17691 (java) R 17687 17689 17410 0 -1 64 11468 0 58 0 2404 8 0 0 25 0 13 0 1149272381 1826791424 13075 1992294400 134512640 134550932 4294956000 18446744073709551615 4109493413 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17692] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17692/stat : 17692 (java) S 17687 17689 17410 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 1149272389 1826791424 13075 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17693] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17693/stat : 17693 (java) S 17687 17689 17410 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 1149272389 1826791424 13075 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/17689/task/17699/stat : 17699 (java) S 17687 17689 17410 0 -1 64 2450 0 0 0 98 0 0 0 17 0 13 0 1149272400 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17700] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17700/stat : 17700 (java) S 17687 17689 17410 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 1149272400 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17701] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17701/stat : 17701 (java) S 17687 17689 17410 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 1149272400 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17702] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17702/stat : 17702 (java) S 17687 17689 17410 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 1149272467 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 480.16
Current children cumulated vsize (KiB) 1783976
[startup+484.701 s]
/proc/loadavg: 1.99 1.97 1.99 3/99 17704
/proc/meminfo: memFree=1555360/2055920 swapFree=4170308/4192956
[pid=17689] ppid=17687 vsize=1783976 CPUtime=481.76
/proc/17689/stat : 17689 (java) S 17687 17689 17410 0 -1 0 66134 0 93 0 48128 48 0 0 18 0 13 0 1149272371 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17689/statm: 445994 63355 1420 9 0 443341 0
[pid=17689/tid=17691] ppid=17687 vsize=1783976 CPUtime=480.37
/proc/17689/task/17691/stat : 17691 (java) R 17687 17689 17410 0 -1 64 37487 0 58 0 48001 36 0 0 25 0 13 0 1149272381 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4109540991 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17692] ppid=17687 vsize=1783976 CPUtime=0.17
/proc/17689/task/17692/stat : 17692 (java) S 17687 17689 17410 0 -1 64 10767 0 0 0 13 4 0 0 16 0 13 0 1149272389 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17689/tid=17693] ppid=17687 vsize=1783976 CPUtime=0.18
/proc/17689/task/17693/stat : 17693 (java) S 17687 17689 17410 0 -1 64 14699 0 0 0 13 5 0 0 18 0 13 0 1149272389 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17694] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17694/stat : 17694 (java) S 17687 17689 17410 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 1149272392 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17695] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17695/stat : 17695 (java) S 17687 17689 17410 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 1149272393 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17696] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17696/stat : 17696 (java) S 17687 17689 17410 0 -1 64 7 0 0 0 0 0 0 0 17 0 13 0 1149272393 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17697] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17697/stat : 17697 (java) S 17687 17689 17410 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 1149272400 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17698] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17698/stat : 17698 (java) S 17687 17689 17410 0 -1 64 13 0 0 0 0 0 0 0 19 0 13 0 1149272400 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17699] ppid=17687 vsize=1783976 CPUtime=0.98
/proc/17689/task/17699/stat : 17699 (java) S 17687 17689 17410 0 -1 64 2450 0 0 0 98 0 0 0 17 0 13 0 1149272400 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17700] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17700/stat : 17700 (java) S 17687 17689 17410 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 1149272400 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17701] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17701/stat : 17701 (java) S 17687 17689 17410 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 1149272400 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17702] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17702/stat : 17702 (java) S 17687 17689 17410 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 1149272467 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 481.76
Current children cumulated vsize (KiB) 1783976
[startup+485.502 s]
/proc/loadavg: 1.99 1.97 1.99 3/99 17704
/proc/meminfo: memFree=1555360/2055920 swapFree=4170308/4192956
[pid=17689] ppid=17687 vsize=1783976 CPUtime=482.55
/proc/17689/stat : 17689 (java) S 17687 17689 17410 0 -1 0 66134 0 93 0 48207 48 0 0 18 0 13 0 1149272371 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17689/statm: 445994 63355 1420 9 0 443341 0
[pid=17689/tid=17691] ppid=17687 vsize=1783976 CPUtime=481.16
/proc/17689/task/17691/stat : 17691 (java) R 17687 17689 17410 0 -1 64 37487 0 58 0 48080 36 0 0 25 0 13 0 1149272381 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4109534782 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17692] ppid=17687 vsize=1783976 CPUtime=0.17
/proc/17689/task/17692/stat : 17692 (java) S 17687 17689 17410 0 -1 64 10767 0 0 0 13 4 0 0 16 0 13 0 1149272389 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17689/tid=17693] ppid=17687 vsize=1783976 CPUtime=0.18
/proc/17689/task/17693/stat : 17693 (java) S 17687 17689 17410 0 -1 64 14699 0 0 0 13 5 0 0 18 0 13 0 1149272389 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17694] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17694/stat : 17694 (java) S 17687 17689 17410 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 1149272392 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17695] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17695/stat : 17695 (java) S 17687 17689 17410 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 1149272393 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17696] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17696/stat : 17696 (java) S 17687 17689 17410 0 -1 64 7 0 0 0 0 0 0 0 17 0 13 0 1149272393 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17697] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17697/stat : 17697 (java) S 17687 17689 17410 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 1149272400 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17698] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17698/stat : 17698 (java) S 17687 17689 17410 0 -1 64 13 0 0 0 0 0 0 0 19 0 13 0 1149272400 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17699] ppid=17687 vsize=1783976 CPUtime=0.98
/proc/17689/task/17699/stat : 17699 (java) S 17687 17689 17410 0 -1 64 2450 0 0 0 98 0 0 0 17 0 13 0 1149272400 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17700] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17700/stat : 17700 (java) S 17687 17689 17410 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 1149272400 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17701] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17701/stat : 17701 (java) S 17687 17689 17410 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 1149272400 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17702] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17702/stat : 17702 (java) S 17687 17689 17410 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 1149272467 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 482.55
Current children cumulated vsize (KiB) 1783976
[startup+486.303 s]
/proc/loadavg: 1.99 1.97 1.99 3/99 17704
/proc/meminfo: memFree=1555360/2055920 swapFree=4170308/4192956
[pid=17689] ppid=17687 vsize=1783976 CPUtime=483.34
/proc/17689/stat : 17689 (java) S 17687 17689 17410 0 -1 0 66134 0 93 0 48286 48 0 0 18 0 13 0 1149272371 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17689/statm: 445994 63355 1420 9 0 443341 0
[pid=17689/tid=17691] ppid=17687 vsize=1783976 CPUtime=481.96
/proc/17689/task/17691/stat : 17691 (java) R 17687 17689 17410 0 -1 64 37487 0 58 0 48160 36 0 0 25 0 13 0 1149272381 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4109534967 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17692] ppid=17687 vsize=1783976 CPUtime=0.17
/proc/17689/task/17692/stat : 17692 (java) S 17687 17689 17410 0 -1 64 10767 0 0 0 13 4 0 0 16 0 13 0 1149272389 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17689/tid=17693] ppid=17687 vsize=1783976 CPUtime=0.18
/proc/17689/task/17693/stat : 17693 (java) S 17687 17689 17410 0 -1 64 14699 0 0 0 13 5 0 0 18 0 13 0 1149272389 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17694] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17694/stat : 17694 (java) S 17687 17689 17410 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 1149272392 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17695] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17695/stat : 17695 (java) S 17687 17689 17410 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 1149272393 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17696] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17696/stat : 17696 (java) S 17687 17689 17410 0 -1 64 7 0 0 0 0 0 0 0 17 0 13 0 1149272393 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17697] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17697/stat : 17697 (java) S 17687 17689 17410 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 1149272400 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17698] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17698/stat : 17698 (java) S 17687 17689 17410 0 -1 64 13 0 0 0 0 0 0 0 19 0 13 0 1149272400 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17699] ppid=17687 vsize=1783976 CPUtime=0.98
/proc/17689/task/17699/stat : 17699 (java) S 17687 17689 17410 0 -1 64 2450 0 0 0 98 0 0 0 17 0 13 0 1149272400 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17700] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17700/stat : 17700 (java) S 17687 17689 17410 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 1149272400 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17701] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17701/stat : 17701 (java) S 17687 17689 17410 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 1149272400 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17702] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17702/stat : 17702 (java) S 17687 17689 17410 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 1149272467 1826791424 63355 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 483.34
Current children cumulated vsize (KiB) 1783976
[startup+486.703 s]
/proc/loadavg: 1.99 1.97 1.99 3/99 17704
/proc/meminfo: memFree=1555360/2055920 swapFree=4170308/4192956
[pid=17689] ppid=17687 vsize=1783976 CPUtime=483.74
/proc/17689/stat : 17689 (java) S 17687 17689 17410 0 -1 0 66144 0 93 0 48326 48 0 0 18 0 13 0 1149272371 1826791424 63364 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17689/statm: 445994 63364 1421 9 0 443341 0
[pid=17689/tid=17691] ppid=17687 vsize=1783976 CPUtime=482.26
/proc/17689/task/17691/stat : 17691 (java) S 17687 17689 17410 0 -1 64 37490 0 58 0 48190 36 0 0 25 0 13 0 1149272381 1826791424 63364 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17692] ppid=17687 vsize=1783976 CPUtime=0.17
/proc/17689/task/17692/stat : 17692 (java) S 17687 17689 17410 0 -1 64 10767 0 0 0 13 4 0 0 16 0 13 0 1149272389 1826791424 63364 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17689/tid=17693] ppid=17687 vsize=1783976 CPUtime=0.18
/proc/17689/task/17693/stat : 17693 (java) S 17687 17689 17410 0 -1 64 14699 0 0 0 13 5 0 0 18 0 13 0 1149272389 1826791424 63364 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17694] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17694/stat : 17694 (java) S 17687 17689 17410 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 1149272392 1826791424 63364 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17695] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17695/stat : 17695 (java) S 17687 17689 17410 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 1149272393 1826791424 63364 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17696] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17696/stat : 17696 (java) S 17687 17689 17410 0 -1 64 7 0 0 0 0 0 0 0 17 0 13 0 1149272393 1826791424 63364 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17697] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17697/stat : 17697 (java) S 17687 17689 17410 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 1149272400 1826791424 63364 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17698] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17698/stat : 17698 (java) S 17687 17689 17410 0 -1 64 13 0 0 0 0 0 0 0 19 0 13 0 1149272400 1826791424 63364 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17699] ppid=17687 vsize=1783976 CPUtime=1.02
/proc/17689/task/17699/stat : 17699 (java) S 17687 17689 17410 0 -1 64 2454 0 0 0 102 0 0 0 16 0 13 0 1149272400 1826791424 63364 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17700] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17700/stat : 17700 (java) S 17687 17689 17410 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 1149272400 1826791424 63364 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17701] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17701/stat : 17701 (java) S 17687 17689 17410 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 1149272400 1826791424 63364 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 483.74
Current children cumulated vsize (KiB) 1783976
[startup+486.803 s]
/proc/loadavg: 1.99 1.97 1.99 3/99 17704
/proc/meminfo: memFree=1555360/2055920 swapFree=4170308/4192956
[pid=17689] ppid=17687 vsize=1783976 CPUtime=483.81
/proc/17689/stat : 17689 (java) S 17687 17689 17410 0 -1 0 66152 0 93 0 48333 48 0 0 18 0 12 0 1149272371 1826791424 63372 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17689/statm: 445994 63372 1423 9 0 443341 0
[pid=17689/tid=17691] ppid=17687 vsize=1783976 CPUtime=482.26
/proc/17689/task/17691/stat : 17691 (java) S 17687 17689 17410 0 -1 64 37492 0 58 0 48190 36 0 0 23 0 12 0 1149272381 1826791424 63372 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17692] ppid=17687 vsize=1783976 CPUtime=0.17
/proc/17689/task/17692/stat : 17692 (java) S 17687 17689 17410 0 -1 64 10767 0 0 0 13 4 0 0 16 0 12 0 1149272389 1826791424 63372 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17689/tid=17693] ppid=17687 vsize=1783976 CPUtime=0.18
/proc/17689/task/17693/stat : 17693 (java) S 17687 17689 17410 0 -1 64 14699 0 0 0 13 5 0 0 18 0 12 0 1149272389 1826791424 63372 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17694] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17694/stat : 17694 (java) S 17687 17689 17410 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 1149272392 1826791424 63372 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17695] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17695/stat : 17695 (java) S 17687 17689 17410 0 -1 64 11 0 0 0 0 0 0 0 17 0 12 0 1149272393 1826791424 63372 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17696] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17696/stat : 17696 (java) S 17687 17689 17410 0 -1 64 7 0 0 0 0 0 0 0 17 0 12 0 1149272393 1826791424 63372 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17697] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17697/stat : 17697 (java) S 17687 17689 17410 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 1149272400 1826791424 63372 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17698] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17698/stat : 17698 (java) S 17687 17689 17410 0 -1 64 13 0 0 0 0 0 0 0 19 0 12 0 1149272400 1826791424 63372 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17699] ppid=17687 vsize=1783976 CPUtime=1.07
/proc/17689/task/17699/stat : 17699 (java) S 17687 17689 17410 0 -1 64 2459 0 0 0 107 0 0 0 16 0 12 0 1149272400 1826791424 63372 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17700] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17700/stat : 17700 (java) S 17687 17689 17410 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 1149272400 1826791424 63372 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17689/tid=17701] ppid=17687 vsize=1783976 CPUtime=0
/proc/17689/task/17701/stat : 17701 (java) S 17687 17689 17410 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 1149272400 1826791424 63372 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 483.81
Current children cumulated vsize (KiB) 1783976
Child status: 10
Real time (s): 486.862
CPU time (s): 483.857
CPU user time (s): 483.333
CPU system time (s): 0.52492
CPU usage (%): 99.3829
Max. virtual memory (cumulated for all children) (KiB): 1784260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 483.333
system time used= 0.52492
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66156
page faults= 93
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10849
involuntary context switches= 16288
runsolver used 0.716891 second user time and 1.9617 second system time
The end
Begin job on node92 at 2009-04-03 15:41:23
IDJOB=1561415
IDBENCH=70915
IDSOLVER=500
FILE ID=node92/1561415-1238766083
PBS_JOBID= 9085505
Free space on /tmp= 66552 MiB
SOLVER NAME= SAT4J CORE 2.1 RC1
BENCH NAME= SAT09/APPLICATIONS/edgematching/explicit/em_9_3_5_exp.cnf
COMMAND LINE= java6 -server -Xms1600m -Xmx1600m -jar HOME/org.sat4j.core.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1561415-1238766083/watcher-1561415-1238766083 -o /tmp/evaluation-result-1561415-1238766083/solver-1561415-1238766083 -C 1200 -W 1800 -M 1800 --output-limit 1,15 java6 -server -Xms1600m -Xmx1600m -jar HOME/org.sat4j.core.jar HOME/instance-1561415-1238766083.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8c48bd8cd24e7f61acdde18197762986
RANDOM SEED=286577972
node92.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.249
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.249
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1815600 kB
Buffers: 33328 kB
Cached: 134208 kB
SwapCached: 7632 kB
Active: 46288 kB
Inactive: 131176 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1815600 kB
SwapTotal: 4192956 kB
SwapFree: 4170308 kB
Dirty: 1852 kB
Writeback: 0 kB
Mapped: 15660 kB
Slab: 46836 kB
Committed_AS: 1962216 kB
PageTables: 2768 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= 66552 MiB
End job on node92 at 2009-04-03 15:49:30