18.78/18.82	c SATzilla is building models for class 2
18.78/18.82	c run presolver march_dl2004 for 5 seconds ... 
18.78/18.82	c Bin: Executing march_dl2004
18.78/18.82	c spawning binary file with 5 seconds ...
18.78/18.82	c child exit by a signal
18.78/18.82	c march_dl2004 returned code 137.
18.78/18.82	c run presolver mxc-sr08 for 5 seconds ... 
18.78/18.82	c Bin: Executing mxc-sr08
18.78/18.82	c spawning binary file with 5 seconds ...
18.78/18.82	c child exit by a signal
18.78/18.82	c mxc-sr08 returned code 137.
18.78/18.82	c Orignal number of varibales is 2420, number of clauses is 62900 
18.78/18.82	c predicted feature computation time is 8.656343 
18.78/18.82	c Bin: Executing satelite
18.78/18.82	c spawning binary file with 240 seconds ...
18.78/18.82	c child exited successfully
18.78/18.82	c satzilla computing base features
18.78/18.82	c Number of variabe is: 2416, Number of clause is : 62900 
18.78/18.82	c Initializing...
18.78/18.82	c satzilla compute diameter ...
18.78/18.82	c start diameter features ...
18.78/18.82	c satzilla doing clause learning
18.78/18.82	c start clause learning features ...
18.78/18.82	c Bin: Executing zchaff07
18.78/18.82	c spawning binary file with 2 seconds ...
18.78/18.82	c child exit by a signal
18.78/18.82	c satzilla doing survey propogation probe
18.78/18.82	c do survay propogation for 2 second ...
18.78/18.82	c satzilla doing local search probe
18.78/18.82	c satzilla doing lobjois search-space size estimate
18.78/18.82	c features are:2420 62900 2416 62900 0.00165563 0 0.0384102 0.788293 0.397374 0.957264 0.0010262 0.598971 0.000827815 0.0149007 0.860506 0.694817 0.916884 0.0010262 0.639799 0.000111288 0.00310016 2.85574 0.753103 0.308036 0.0326797 0.9375 2.01101 0.000813969 0.476826 6.3593e-05 0.0017806 2.59193 0.873386 0.00121353 0.316663 9.53895e-05 0.00168521 5.74049 0.0783534 5 7 0.60809 451 0.317811 295 918 633 316 540 347 416 28.8574 0.107285 25.8527 41.3442 30.1838 26.7436 29.1374 27.4327 27.9851 0.849583 0.2756 0.015314 0.977596 0.97737 0.460104 0.9771 0.934314 0.974728 0.0143796 1.34613 3.92237e-06 0.0826496 0.0425115 3.42993e-05 0.0248571 7.5747e-05 0.000250567 40 0.155286 1033.7 0.0234688 1032 1002 1066 8.6229 0.133789 0.996254 0.000734917 0.36078 0.788729 
18.78/18.82	c satzilla's ranking:
18.78/18.82	c 1) mxc-sr08: 3.593418
18.78/18.82	c 2) minisat20SAT07: 2.482887
18.78/18.82	c 3) march_dl2004: 2.068757
18.78/18.82	c 4) zchaff_rand: 2.009390
18.78/18.82	c 5) minisat20: 1.970455
18.78/18.82	c 6) vallst: 1.321087
18.78/18.82	c 7) tts-4-0: -0.000757
18.78/18.82	c 8) SATenstein: -10000.000000
18.78/18.82	c 9) gnovelty+: -10000.000000
18.78/18.82	c 10) adaptg2wsat+: -10000.000000
18.78/18.82	c 11) adaptg2wsat0: -10000.000000
18.78/18.82	c 12) picosat846: -10000.000000
18.78/18.82	c 13) kcnfs04SAT07: -10000.000000
18.78/18.82	c satzilla running mxc-sr08 ... 
46.98/47.09	c Bin: Executing mxc-sr08
46.98/47.09	c spawning binary file with 4981 seconds ...
46.98/47.09	c child exited successfully
46.98/47.09	c mxc-sr08 returned code 10.
46.98/47.09	s SATISFIABLE
46.98/47.09	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
46.98/47.09	c SATZILLA_TIME=47.090000

OK

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3499154-1308506607/watcher-3499154-1308506607 -o /tmp/evaluation-result-3499154-1308506607/solver-3499154-1308506607 -C 5000 -W 5100 -M 15500 HOME/SATzilla2009_C HOME/instance-3499154-1308506607.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.35 1.83 1.92 3/176 25908
/proc/meminfo: memFree=27312864/32951124 swapFree=67076892/67111528
[pid=25908] ppid=25903 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/25908/stat : 25908 (SATzilla2009_C) S 25903 25908 24776 0 -1 4202496 163 0 0 0 0 0 0 0 22 0 1 0 962258408 2187264 114 33554432000 134512640 136149437 4289383056 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 4 0 0 0
/proc/25908/statm: 534 114 97 400 0 131 0

[startup+0.0718291 s]
/proc/loadavg: 1.35 1.83 1.92 3/176 25908
/proc/meminfo: memFree=27312864/32951124 swapFree=67076892/67111528
[pid=25908] ppid=25903 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/25908/stat : 25908 (SATzilla2009_C) S 25903 25908 24776 0 -1 4202496 163 0 0 0 0 0 0 0 22 0 1 0 962258408 2187264 114 33554432000 134512640 136149437 4289383056 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 4 0 0 0
/proc/25908/statm: 534 114 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136

[startup+0.100781 s]
/proc/loadavg: 1.35 1.83 1.92 3/176 25908
/proc/meminfo: memFree=27312864/32951124 swapFree=67076892/67111528
[pid=25908] ppid=25903 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/25908/stat : 25908 (SATzilla2009_C) S 25903 25908 24776 0 -1 4202496 163 0 0 0 0 0 0 0 22 0 1 0 962258408 2187264 114 33554432000 134512640 136149437 4289383056 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 4 0 0 0
/proc/25908/statm: 534 114 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136

[startup+0.300793 s]
/proc/loadavg: 1.35 1.83 1.92 3/176 25908
/proc/meminfo: memFree=27312864/32951124 swapFree=67076892/67111528
[pid=25908] ppid=25903 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/25908/stat : 25908 (SATzilla2009_C) S 25903 25908 24776 0 -1 4202496 163 0 0 0 0 0 0 0 22 0 1 0 962258408 2187264 114 33554432000 134512640 136149437 4289383056 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 4 0 0 0
/proc/25908/statm: 534 114 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136

[startup+0.700715 s]
/proc/loadavg: 1.35 1.83 1.92 3/176 25908
/proc/meminfo: memFree=27312864/32951124 swapFree=67076892/67111528
[pid=25908] ppid=25903 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/25908/stat : 25908 (SATzilla2009_C) S 25903 25908 24776 0 -1 4202496 163 0 0 0 0 0 0 0 22 0 1 0 962258408 2187264 114 33554432000 134512640 136149437 4289383056 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 4 0 0 0
/proc/25908/statm: 534 114 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136

[startup+1.50058 s]
/proc/loadavg: 1.35 1.83 1.92 4/180 25912
/proc/meminfo: memFree=27288072/32951124 swapFree=67076892/67111528
[pid=25908] ppid=25903 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/25908/stat : 25908 (SATzilla2009_C) S 25903 25908 24776 0 -1 4202496 163 0 0 0 0 0 0 0 22 0 1 0 962258408 2187264 114 33554432000 134512640 136149437 4289383056 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 4 0 0 0
/proc/25908/statm: 534 114 97 400 0 131 0
[pid=25909] ppid=25908 vsize=15784 CPUtime=1.49 cores=0,2,4,6
/proc/25909/stat : 25909 (march_dl2004) R 25908 25908 24776 0 -1 4202496 19261 0 0 0 133 16 0 0 25 0 1 0 962258408 16162816 3606 33554432000 134512640 134996440 4291605536 18446744073709551615 134542891 0 0 8392704 0 0 0 0 17 0 0 0 0
/proc/25909/statm: 3946 3606 73 119 0 3825 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17920

[startup+3.10026 s]
/proc/loadavg: 1.35 1.83 1.92 4/180 25912
/proc/meminfo: memFree=27285460/32951124 swapFree=67076892/67111528
[pid=25908] ppid=25903 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/25908/stat : 25908 (SATzilla2009_C) S 25903 25908 24776 0 -1 4202496 163 0 0 0 0 0 0 0 22 0 1 0 962258408 2187264 114 33554432000 134512640 136149437 4289383056 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 4 0 0 0
/proc/25908/statm: 534 114 97 400 0 131 0
[pid=25909] ppid=25908 vsize=21940 CPUtime=3.09 cores=0,2,4,6
/proc/25909/stat : 25909 (march_dl2004) R 25908 25908 24776 0 -1 4202496 24999 0 0 0 293 16 0 0 25 0 1 0 962258408 22466560 3824 33554432000 134512640 134996440 4291605536 18446744073709551615 134514015 0 0 8392704 0 0 0 0 17 0 0 0 0
/proc/25909/statm: 5485 3824 75 119 0 5364 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24076

[startup+6.30065 s]
/proc/loadavg: 1.40 1.83 1.92 4/180 25914
/proc/meminfo: memFree=27302592/32951124 swapFree=67076892/67111528
[pid=25908] ppid=25903 vsize=2136 CPUtime=4.99 cores=0,2,4,6
/proc/25908/stat : 25908 (SATzilla2009_C) S 25903 25908 24776 0 -1 4202496 187 25087 0 0 0 0 483 16 18 0 1 0 962258408 2187264 127 33554432000 134512640 136149437 4289383056 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/25908/statm: 534 127 108 400 0 131 0
[pid=25914] ppid=25908 vsize=8180 CPUtime=1.29 cores=0,2,4,6
/proc/25914/stat : 25914 (mxc-sr08) R 25908 25908 24776 0 -1 4202496 2262 0 0 0 129 0 0 0 22 0 1 0 962258908 8376320 1876 33554432000 134512640 135078026 4294484864 18446744073709551615 134523872 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/25914/statm: 2045 1876 73 139 0 1904 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 10316

[startup+12.7005 s]
/proc/loadavg: 1.45 1.83 1.92 4/178 25916
/proc/meminfo: memFree=27302580/32951124 swapFree=67076892/67111528
[pid=25908] ppid=25903 vsize=5360 CPUtime=12.24 cores=0,2,4,6
/proc/25908/stat : 25908 (SATzilla2009_C) S 25903 25908 24776 0 -1 4202496 1687 30575 0 0 207 0 999 18 19 0 1 0 962258408 5488640 955 33554432000 134512640 136149437 4289383056 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/25908/statm: 1340 955 137 400 0 937 0
Current children cumulated CPU time (s) 12.24
Current children cumulated vsize (KiB) 5360

[startup+25.5012 s]
/proc/loadavg: 1.57 1.84 1.92 4/180 25921
/proc/meminfo: memFree=27267976/32951124 swapFree=67076892/67111528
[pid=25908] ppid=25903 vsize=8872 CPUtime=18.81 cores=0,2,4,6
/proc/25908/stat : 25908 (SATzilla2009_C) S 25903 25908 24776 0 -1 4202496 3694 32947 0 0 656 8 1196 21 25 0 1 0 962258408 9084928 1977 33554432000 134512640 136149437 4289383056 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 2 0 0 0
/proc/25908/statm: 2218 1977 221 400 0 1815 0
[pid=25920] ppid=25908 vsize=18212 CPUtime=6.66 cores=0,2,4,6
/proc/25920/stat : 25920 (mxc-sr08) R 25908 25908 24776 0 -1 4202496 4788 0 0 0 666 0 0 0 25 0 1 0 962260290 18649088 4402 33554432000 134512640 135078026 4289554128 18446744073709551615 134534338 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/25920/statm: 4553 4402 73 139 0 4412 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 27084

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

[startup+38.3008 s]
/proc/loadavg: 1.64 1.84 1.92 4/180 25921
/proc/meminfo: memFree=27240344/32951124 swapFree=67076892/67111528
[pid=25908] ppid=25903 vsize=8872 CPUtime=18.81 cores=0,2,4,6
/proc/25908/stat : 25908 (SATzilla2009_C) S 25903 25908 24776 0 -1 4202496 3694 32947 0 0 656 8 1196 21 25 0 1 0 962258408 9084928 1977 33554432000 134512640 136149437 4289383056 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 2 0 0 0
/proc/25908/statm: 2218 1977 221 400 0 1815 0
[pid=25920] ppid=25908 vsize=38932 CPUtime=19.47 cores=0,2,4,6
/proc/25920/stat : 25920 (mxc-sr08) R 25908 25908 24776 0 -1 4202496 9955 0 0 0 1946 1 0 0 25 0 1 0 962260290 39866368 9569 33554432000 134512640 135078026 4289554128 18446744073709551615 134534613 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/25920/statm: 9733 9569 73 139 0 9592 0
Current children cumulated CPU time (s) 38.28
Current children cumulated vsize (KiB) 47804

[startup+41.5003 s]
/proc/loadavg: 1.67 1.85 1.92 4/180 25921
/proc/meminfo: memFree=27234888/32951124 swapFree=67076892/67111528
[pid=25908] ppid=25903 vsize=8872 CPUtime=18.81 cores=0,2,4,6
/proc/25908/stat : 25908 (SATzilla2009_C) S 25903 25908 24776 0 -1 4202496 3694 32947 0 0 656 8 1196 21 25 0 1 0 962258408 9084928 1977 33554432000 134512640 136149437 4289383056 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 2 0 0 0
/proc/25908/statm: 2218 1977 221 400 0 1815 0
[pid=25920] ppid=25908 vsize=41564 CPUtime=22.67 cores=0,2,4,6
/proc/25920/stat : 25920 (mxc-sr08) R 25908 25908 24776 0 -1 4202496 10573 0 0 0 2265 2 0 0 25 0 1 0 962260290 42561536 10187 33554432000 134512640 135078026 4289554128 18446744073709551615 134534215 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/25920/statm: 10391 10187 73 139 0 10250 0
Current children cumulated CPU time (s) 41.48
Current children cumulated vsize (KiB) 50436

[startup+44.7007 s]
/proc/loadavg: 1.67 1.85 1.92 4/180 25921
/proc/meminfo: memFree=27235012/32951124 swapFree=67076892/67111528
[pid=25908] ppid=25903 vsize=8872 CPUtime=18.81 cores=0,2,4,6
/proc/25908/stat : 25908 (SATzilla2009_C) S 25903 25908 24776 0 -1 4202496 3694 32947 0 0 656 8 1196 21 25 0 1 0 962258408 9084928 1977 33554432000 134512640 136149437 4289383056 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 2 0 0 0
/proc/25908/statm: 2218 1977 221 400 0 1815 0
[pid=25920] ppid=25908 vsize=41564 CPUtime=25.87 cores=0,2,4,6
/proc/25920/stat : 25920 (mxc-sr08) R 25908 25908 24776 0 -1 4202496 10573 0 0 0 2585 2 0 0 25 0 1 0 962260290 42561536 10187 33554432000 134512640 135078026 4289554128 18446744073709551615 134534660 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/25920/statm: 10391 10187 73 139 0 10250 0
Current children cumulated CPU time (s) 44.68
Current children cumulated vsize (KiB) 50436

[startup+46.3004 s]
/proc/loadavg: 1.69 1.85 1.92 4/180 25921
/proc/meminfo: memFree=27233152/32951124 swapFree=67076892/67111528
[pid=25908] ppid=25903 vsize=8872 CPUtime=18.81 cores=0,2,4,6
/proc/25908/stat : 25908 (SATzilla2009_C) S 25903 25908 24776 0 -1 4202496 3694 32947 0 0 656 8 1196 21 25 0 1 0 962258408 9084928 1977 33554432000 134512640 136149437 4289383056 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 2 0 0 0
/proc/25908/statm: 2218 1977 221 400 0 1815 0
[pid=25920] ppid=25908 vsize=41564 CPUtime=27.47 cores=0,2,4,6
/proc/25920/stat : 25920 (mxc-sr08) R 25908 25908 24776 0 -1 4202496 10573 0 0 0 2745 2 0 0 25 0 1 0 962260290 42561536 10187 33554432000 134512640 135078026 4289554128 18446744073709551615 134534660 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/25920/statm: 10391 10187 73 139 0 10250 0
Current children cumulated CPU time (s) 46.28
Current children cumulated vsize (KiB) 50436

[startup+46.7003 s]
/proc/loadavg: 1.69 1.85 1.92 4/180 25921
/proc/meminfo: memFree=27233152/32951124 swapFree=67076892/67111528
[pid=25908] ppid=25903 vsize=8872 CPUtime=18.81 cores=0,2,4,6
/proc/25908/stat : 25908 (SATzilla2009_C) S 25903 25908 24776 0 -1 4202496 3694 32947 0 0 656 8 1196 21 25 0 1 0 962258408 9084928 1977 33554432000 134512640 136149437 4289383056 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 2 0 0 0
/proc/25908/statm: 2218 1977 221 400 0 1815 0
[pid=25920] ppid=25908 vsize=41564 CPUtime=27.87 cores=0,2,4,6
/proc/25920/stat : 25920 (mxc-sr08) R 25908 25908 24776 0 -1 4202496 10573 0 0 0 2785 2 0 0 25 0 1 0 962260290 42561536 10187 33554432000 134512640 135078026 4289554128 18446744073709551615 134534332 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/25920/statm: 10391 10187 73 139 0 10250 0
Current children cumulated CPU time (s) 46.68
Current children cumulated vsize (KiB) 50436

[startup+46.9003 s]
/proc/loadavg: 1.69 1.85 1.92 4/180 25921
/proc/meminfo: memFree=27233152/32951124 swapFree=67076892/67111528
[pid=25908] ppid=25903 vsize=8872 CPUtime=18.81 cores=0,2,4,6
/proc/25908/stat : 25908 (SATzilla2009_C) S 25903 25908 24776 0 -1 4202496 3694 32947 0 0 656 8 1196 21 25 0 1 0 962258408 9084928 1977 33554432000 134512640 136149437 4289383056 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 2 0 0 0
/proc/25908/statm: 2218 1977 221 400 0 1815 0
[pid=25920] ppid=25908 vsize=41564 CPUtime=28.07 cores=0,2,4,6
/proc/25920/stat : 25920 (mxc-sr08) R 25908 25908 24776 0 -1 4202496 10573 0 0 0 2805 2 0 0 25 0 1 0 962260290 42561536 10187 33554432000 134512640 135078026 4289554128 18446744073709551615 134522108 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/25920/statm: 10391 10187 73 139 0 10250 0
Current children cumulated CPU time (s) 46.88
Current children cumulated vsize (KiB) 50436

[startup+47.0002 s]
/proc/loadavg: 1.69 1.85 1.92 4/180 25921
/proc/meminfo: memFree=27233152/32951124 swapFree=67076892/67111528
[pid=25908] ppid=25903 vsize=8872 CPUtime=18.81 cores=0,2,4,6
/proc/25908/stat : 25908 (SATzilla2009_C) S 25903 25908 24776 0 -1 4202496 3694 32947 0 0 656 8 1196 21 25 0 1 0 962258408 9084928 1977 33554432000 134512640 136149437 4289383056 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 2 0 0 0
/proc/25908/statm: 2218 1977 221 400 0 1815 0
[pid=25920] ppid=25908 vsize=41564 CPUtime=28.17 cores=0,2,4,6
/proc/25920/stat : 25920 (mxc-sr08) R 25908 25908 24776 0 -1 4202496 10573 0 0 0 2815 2 0 0 25 0 1 0 962260290 42561536 10187 33554432000 134512640 135078026 4289554128 18446744073709551615 134534255 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/25920/statm: 10391 10187 73 139 0 10250 0
Current children cumulated CPU time (s) 46.98
Current children cumulated vsize (KiB) 50436

Child status: 10
Real time (s): 47.0998
CPU time (s): 47.0988
CPU user time (s): 46.7819
CPU system time (s): 0.316951
CPU usage (%): 99.9979
Max. virtual memory (cumulated for all children) (KiB): 50436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 46.7819
system time used= 0.316951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47234
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= 16
involuntary context switches= 153

runsolver used 0.089986 second user time and 0.164974 second system time

The end

Begin job on node139 at 2011-06-19 20:03:27
IDJOB=3499154
IDBENCH=70922
IDSOLVER=1995
FILE ID=node139/3499154-1308506607
RUNJOBID= node139-1308506606-25881
PBS_JOBID= 13608167
Free space on /tmp= 73292 MiB

SOLVER NAME= SAT09 reference solver: SATzilla2009_C 2009-03-22
BENCH NAME= SAT09/CRAFTED/edgematching/all/em_8_4_5_all.cnf
COMMAND LINE= HOME/SATzilla2009_C BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3499154-1308506607/watcher-3499154-1308506607 -o /tmp/evaluation-result-3499154-1308506607/solver-3499154-1308506607 -C 5000 -W 5100 -M 15500  HOME/SATzilla2009_C HOME/instance-3499154-1308506607.cnf

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= bcbe82a00b39f246e1dc1a85b2c8371e
RANDOM SEED=25128740

node139.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5321.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27313604 kB
Buffers:        577548 kB
Cached:        4639200 kB
SwapCached:       3512 kB
Active:        1449676 kB
Inactive:      3801160 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27313604 kB
SwapTotal:    67111528 kB
SwapFree:     67076892 kB
Dirty:           64424 kB
Writeback:           0 kB
AnonPages:       32072 kB
Mapped:          13604 kB
Slab:           321888 kB
PageTables:       4796 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186648 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73228 MiB
End job on node139 at 2011-06-19 20:04:14