Trace number 3260847

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Lingeling 587SAT 15.2867 15.2874

General information on the benchmark

Namecrafted/skvortsov/
automata-synchronization/rnd_100_32_s.cnf
MD5SUMd21f62eebe8299bb166c60204a4db57a
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark15.2867
Satisfiable
(Un)Satisfiability was proved
Number of variables3264
Number of clauses11382
Sum of the clauses size28964
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 25182
Number of clauses of size 36200
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

15.19/15.28	s SATISFIABLE
15.19/15.28	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
15.19/15.28	v 27 28 -29 -30 31 -32 -33 34 -35 36 37 -38 39 40 41 -42 -43 44 45 -46 47 48 49
15.19/15.28	v -50 51 52 53 -54 55 56 57 -58 59 -60 61 -62 -63 64 65 -66 67 68 69 -70 71 72
15.19/15.28	v -73 -74 -75 76 77 -78 -79 80 81 -82 83 84 -85 86 87 88 89 -90 91 -92 93 -94 95
15.19/15.28	v 96 97 98 -99 -100 -101 -102 103 104 -105 106 107 -108 109 -110 111 -112 113
15.19/15.28	v 114 -115 116 117 -118 119 -120 -121 122 123 124 125 126 -127 -128 -129 -130
15.19/15.28	v 131 -132 -133 134 -135 -136 -137 -138 139 140 141 142 -143 144 -145 -146 147
15.19/15.28	v 148 149 -150 151 152 153 -154 155 -156 157 -158 159 -160 -161 -162 -163 164
15.19/15.28	v 165 -166 167 168 169 -170 171 172 -173 -174 -175 176 177 -178 -179 180 -181
15.19/15.28	v -182 183 -184 -185 186 -187 188 189 -190 -191 -192 193 -194 195 196 -197 198
15.19/15.28	v -199 -200 -201 -202 203 204 -205 206 207 -208 -209 -210 211 -212 213 214 -215
15.19/15.28	v -216 217 -218 219 -220 -221 222 223 -224 225 226 227 -228 -229 -230 231 -232
15.19/15.28	v -233 234 -235 236 -237 -238 239 240 -241 -242 -243 -244 245 -246 247 248 -249
15.19/15.28	v -250 251 252 253 -254 255 -256 257 -258 259 -260 -261 -262 -263 -264 265 -266
15.19/15.28	v 267 268 269 -270 271 272 -273 -274 -275 -276 277 -278 -279 280 -281 -282 283
15.19/15.28	v -284 -285 286 -287 288 289 -290 -291 -292 293 294 295 296 297 298 -299 -300
15.19/15.28	v -301 -302 303 -304 -305 -306 -307 308 -309 -310 -311 -312 313 -314 -315 316
15.19/15.28	v -317 -318 319 320 -321 322 -323 -324 325 326 327 -328 329 -330 331 -332 -333
15.19/15.28	v 334 335 336 337 -338 -339 340 -341 -342 343 -344 345 -346 347 348 349 -350 351
15.19/15.28	v -352 -353 354 -355 -356 -357 358 359 -360 -361 362 363 364 365 366 367 -368
15.19/15.28	v -369 370 371 372 373 -374 -375 376 -377 -378 -379 -380 381 -382 383 -384 -385
15.19/15.28	v 386 -387 -388 -389 -390 -391 -392 393 394 395 396 -397 398 -399 -400 -401 -402
15.19/15.28	v -403 -404 -405 -406 -407 -408 -409 -410 -411 412 413 -414 -415 416 -417 -418
15.19/15.28	v -419 -420 -421 422 423 -424 425 426 427 -428 429 -430 431 -432 -433 -434 435
15.19/15.28	v 436 437 438 -439 -440 -441 442 443 444 445 -446 -447 -448 449 -450 -451 -452
15.19/15.28	v -453 -454 -455 -456 -457 458 -459 -460 461 462 -463 -464 -465 466 -467 -468
15.19/15.28	v -469 -470 471 -472 473 -474 -475 476 -477 -478 -479 -480 481 482 483 -484 -485
15.19/15.28	v 486 487 -488 -489 -490 -491 -492 493 -494 495 496 497 -498 -499 500 -501 -502
15.19/15.28	v 503 -504 -505 506 -507 -508 -509 -510 -511 512 513 -514 -515 516 -517 -518
15.19/15.28	v -519 -520 -521 -522 523 524 525 -526 527 -528 529 -530 -531 -532 -533 -534 535
15.19/15.28	v -536 -537 538 -539 -540 -541 -542 543 544 -545 -546 -547 -548 -549 -550 -551
15.19/15.28	v -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 562 -563 564 -565 566 567
15.19/15.28	v -568 569 -570 571 -572 -573 -574 -575 576 -577 -578 -579 -580 581 582 583 584
15.19/15.28	v 585 -586 587 -588 -589 -590 -591 592 -593 594 -595 596 -597 598 -599 600 -601
15.19/15.28	v -602 603 -604 -605 606 -607 -608 -609 -610 611 612 -613 -614 -615 -616 -617
15.19/15.28	v -618 -619 -620 -621 -622 -623 624 625 626 -627 -628 629 -630 -631 -632 -633
15.19/15.28	v -634 -635 -636 -637 638 -639 640 -641 -642 643 -644 -645 -646 647 -648 -649
15.19/15.28	v 650 651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 664 -665
15.19/15.28	v 666 -667 -668 669 -670 671 672 673 -674 -675 676 677 -678 679 -680 681 682 683
15.19/15.28	v 684 -685 686 -687 -688 -689 -690 -691 692 693 694 695 -696 697 698 -699 700
15.19/15.28	v 701 -702 703 704 705 706 707 -708 709 -710 711 -712 713 714 -715 716 717 -718
15.19/15.28	v 719 -720 -721 -722 723 724 -725 726 727 728 -729 -730 -731 -732 -733 -734 -735
15.19/15.28	v -736 -737 -738 -739 740 -741 -742 -743 -744 745 -746 -747 -748 -749 -750 -751
15.19/15.28	v 752 -753 -754 -755 -756 757 -758 759 -760 -761 -762 -763 -764 -765 -766 767
15.19/15.28	v 768 -769 -770 771 772 -773 -774 -775 776 777 -778 -779 -780 -781 -782 -783 784
15.19/15.28	v -785 -786 -787 788 789 -790 -791 -792 -793 -794 -795 796 -797 -798 -799 -800
15.19/15.28	v -801 -802 -803 -804 -805 806 -807 -808 -809 -810 811 -812 -813 -814 -815 -816
15.19/15.28	v -817 -818 819 -820 -821 -822 823 824 -825 -826 -827 -828 -829 -830 -831 -832
15.19/15.28	v -833 -834 -835 -836 -837 -838 839 -840 841 -842 -843 -844 -845 -846 847 848
15.19/15.28	v 849 -850 851 852 853 -854 -855 -856 857 -858 -859 -860 -861 -862 -863 864 -865
15.19/15.28	v -866 -867 868 869 -870 -871 872 -873 -874 -875 -876 877 -878 -879 880 -881
15.19/15.28	v -882 -883 -884 -885 -886 -887 -888 -889 -890 -891 -892 893 -894 895 -896 -897
15.19/15.28	v -898 -899 -900 -901 -902 -903 -904 -905 -906 -907 908 -909 -910 -911 -912 913
15.19/15.28	v -914 -915 -916 -917 -918 -919 920 -921 922 -923 -924 -925 926 -927 -928 -929
15.19/15.28	v -930 931 -932 -933 -934 -935 936 -937 -938 -939 940 -941 -942 -943 944 -945
15.19/15.28	v -946 947 -948 949 -950 951 -952 -953 -954 -955 -956 -957 -958 -959 -960 -961
15.19/15.28	v 962 963 964 965 -966 -967 -968 -969 -970 -971 -972 -973 -974 -975 -976 -977
15.19/15.28	v -978 979 -980 -981 -982 -983 -984 -985 -986 -987 -988 -989 -990 -991 -992 -993
15.19/15.28	v -994 995 -996 997 998 -999 -1000 -1001 -1002 -1003 -1004 -1005 -1006 1007
15.19/15.28	v -1008 -1009 -1010 -1011 -1012 -1013 1014 -1015 -1016 1017 -1018 1019 -1020
15.19/15.28	v -1021 -1022 -1023 -1024 1025 -1026 -1027 -1028 -1029 -1030 -1031 -1032 -1033
15.19/15.28	v -1034 -1035 -1036 1037 -1038 -1039 -1040 -1041 -1042 -1043 -1044 -1045 -1046
15.19/15.28	v 1047 -1048 -1049 -1050 -1051 -1052 -1053 -1054 -1055 -1056 -1057 -1058 1059
15.19/15.28	v -1060 -1061 1062 -1063 -1064 -1065 -1066 1067 1068 1069 -1070 1071 1072 -1073
15.19/15.28	v -1074 -1075 1076 -1077 -1078 -1079 -1080 -1081 -1082 1083 -1084 -1085 1086
15.19/15.28	v -1087 -1088 -1089 -1090 -1091 -1092 -1093 -1094 1095 1096 1097 1098 -1099
15.19/15.28	v -1100 -1101 -1102 -1103 -1104 -1105 -1106 -1107 -1108 -1109 -1110 -1111 -1112
15.19/15.28	v 1113 -1114 -1115 -1116 -1117 -1118 1119 1120 -1121 1122 -1123 -1124 1125 -1126
15.19/15.28	v -1127 -1128 -1129 -1130 1131 -1132 -1133 -1134 -1135 -1136 -1137 1138 -1139
15.19/15.28	v -1140 -1141 -1142 1143 -1144 -1145 -1146 -1147 1148 -1149 -1150 1151 -1152
15.19/15.28	v -1153 -1154 -1155 -1156 -1157 1158 -1159 -1160 -1161 -1162 -1163 -1164 -1165
15.19/15.28	v -1166 -1167 -1168 -1169 -1170 1171 -1172 1173 -1174 -1175 1176 -1177 -1178
15.19/15.28	v -1179 -1180 1181 -1182 -1183 -1184 -1185 -1186 1187 -1188 -1189 -1190 -1191
15.19/15.28	v -1192 1193 1194 -1195 -1196 -1197 -1198 -1199 1200 1201 -1202 -1203 1204 -1205
15.19/15.28	v 1206 -1207 -1208 1209 -1210 -1211 -1212 -1213 1214 -1215 -1216 -1217 -1218
15.19/15.28	v -1219 -1220 -1221 1222 -1223 1224 1225 -1226 -1227 -1228 -1229 -1230 -1231
15.19/15.28	v -1232 -1233 -1234 -1235 -1236 1237 -1238 1239 -1240 -1241 -1242 -1243 -1244
15.19/15.28	v 1245 -1246 -1247 -1248 1249 -1250 -1251 -1252 -1253 -1254 -1255 -1256 1257
15.19/15.28	v -1258 -1259 -1260 -1261 -1262 -1263 -1264 -1265 -1266 -1267 -1268 -1269 -1270
15.19/15.28	v -1271 -1272 -1273 -1274 -1275 -1276 -1277 -1278 -1279 -1280 -1281 -1282 1283
15.19/15.28	v 1284 -1285 -1286 -1287 -1288 1289 -1290 -1291 -1292 -1293 -1294 1295 -1296
15.19/15.28	v -1297 -1298 -1299 -1300 -1301 -1302 -1303 -1304 -1305 -1306 1307 -1308 -1309
15.19/15.28	v -1310 1311 -1312 1313 -1314 -1315 -1316 -1317 -1318 -1319 -1320 -1321 -1322
15.19/15.28	v 1323 1324 1325 -1326 -1327 -1328 -1329 -1330 -1331 -1332 -1333 -1334 -1335
15.19/15.28	v -1336 -1337 -1338 1339 -1340 -1341 -1342 -1343 -1344 -1345 -1346 -1347 1348
15.19/15.28	v -1349 -1350 -1351 1352 -1353 -1354 -1355 -1356 -1357 -1358 1359 -1360 -1361
15.19/15.28	v -1362 -1363 1364 1365 -1366 1367 1368 -1369 -1370 -1371 -1372 -1373 -1374
15.19/15.28	v -1375 -1376 -1377 -1378 -1379 -1380 -1381 -1382 -1383 -1384 -1385 -1386 -1387
15.19/15.28	v -1388 1389 -1390 -1391 -1392 -1393 -1394 -1395 -1396 -1397 -1398 -1399 -1400
15.19/15.28	v -1401 -1402 -1403 -1404 -1405 -1406 -1407 -1408 -1409 -1410 -1411 -1412 -1413
15.19/15.28	v -1414 -1415 -1416 -1417 -1418 -1419 1420 -1421 -1422 1423 -1424 -1425 1426
15.19/15.28	v -1427 -1428 1429 -1430 -1431 -1432 -1433 -1434 -1435 1436 1437 -1438 1439
15.19/15.28	v -1440 -1441 -1442 -1443 -1444 -1445 -1446 -1447 -1448 1449 -1450 -1451 -1452
15.19/15.28	v -1453 -1454 -1455 -1456 1457 1458 -1459 -1460 -1461 -1462 -1463 1464 -1465
15.19/15.28	v -1466 -1467 -1468 -1469 1470 1471 -1472 -1473 -1474 -1475 -1476 -1477 -1478
15.19/15.28	v 1479 -1480 -1481 -1482 -1483 -1484 -1485 -1486 -1487 -1488 -1489 -1490 -1491
15.19/15.28	v -1492 1493 -1494 1495 -1496 1497 1498 -1499 -1500 -1501 -1502 1503 1504 1505
15.19/15.28	v -1506 1507 -1508 -1509 -1510 -1511 -1512 -1513 -1514 -1515 -1516 1517 -1518
15.19/15.28	v -1519 -1520 -1521 -1522 1523 -1524 -1525 -1526 1527 -1528 -1529 -1530 -1531
15.19/15.28	v -1532 -1533 -1534 -1535 -1536 1537 -1538 -1539 -1540 -1541 -1542 -1543 -1544
15.19/15.28	v -1545 -1546 -1547 -1548 -1549 -1550 -1551 -1552 1553 -1554 -1555 -1556 1557
15.19/15.28	v -1558 1559 -1560 -1561 -1562 -1563 -1564 1565 -1566 1567 1568 -1569 -1570
15.19/15.28	v -1571 1572 -1573 -1574 -1575 1576 -1577 -1578 -1579 -1580 -1581 -1582 -1583
15.19/15.28	v -1584 -1585 -1586 -1587 -1588 -1589 -1590 -1591 -1592 -1593 -1594 1595 1596
15.19/15.28	v -1597 -1598 -1599 -1600 -1601 -1602 1603 -1604 -1605 1606 1607 -1608 -1609
15.19/15.28	v -1610 -1611 -1612 -1613 -1614 -1615 -1616 -1617 -1618 -1619 -1620 -1621 -1622
15.19/15.28	v 1623 -1624 -1625 -1626 -1627 -1628 -1629 -1630 -1631 -1632 -1633 -1634 -1635
15.19/15.28	v -1636 -1637 -1638 -1639 -1640 -1641 -1642 -1643 -1644 -1645 -1646 1647 1648
15.19/15.28	v 1649 -1650 1651 -1652 1653 -1654 -1655 -1656 1657 -1658 -1659 -1660 -1661
15.19/15.28	v -1662 -1663 -1664 -1665 -1666 1667 -1668 1669 -1670 -1671 -1672 -1673 -1674
15.19/15.28	v -1675 -1676 1677 -1678 -1679 -1680 -1681 -1682 1683 -1684 -1685 -1686 -1687
15.19/15.28	v -1688 -1689 -1690 -1691 -1692 -1693 -1694 -1695 -1696 -1697 -1698 -1699 -1700
15.19/15.28	v -1701 -1702 -1703 -1704 -1705 -1706 -1707 -1708 -1709 -1710 -1711 -1712 -1713
15.19/15.28	v -1714 -1715 -1716 -1717 -1718 -1719 -1720 -1721 -1722 -1723 -1724 -1725 -1726
15.19/15.28	v -1727 -1728 -1729 -1730 1731 -1732 -1733 -1734 -1735 1736 -1737 -1738 -1739
15.19/15.28	v 1740 -1741 -1742 -1743 1744 -1745 -1746 1747 -1748 -1749 -1750 1751 -1752
15.19/15.28	v -1753 -1754 -1755 -1756 -1757 -1758 -1759 -1760 -1761 -1762 1763 1764 1765
15.19/15.28	v -1766 1767 -1768 -1769 -1770 -1771 -1772 -1773 -1774 -1775 -1776 -1777 -1778
15.19/15.28	v -1779 -1780 1781 -1782 -1783 -1784 -1785 -1786 -1787 -1788 -1789 -1790 -1791
15.19/15.28	v -1792 1793 -1794 1795 -1796 -1797 -1798 -1799 -1800 -1801 -1802 -1803 1804
15.19/15.28	v -1805 -1806 1807 -1808 1809 -1810 -1811 -1812 -1813 1814 -1815 -1816 -1817
15.19/15.28	v -1818 1819 -1820 -1821 -1822 -1823 -1824 -1825 -1826 -1827 -1828 -1829 -1830
15.19/15.28	v -1831 -1832 -1833 -1834 -1835 -1836 -1837 -1838 -1839 -1840 -1841 -1842 -1843
15.19/15.28	v -1844 -1845 -1846 1847 -1848 -1849 -1850 -1851 -1852 -1853 -1854 -1855 -1856
15.19/15.28	v -1857 -1858 -1859 -1860 -1861 -1862 -1863 -1864 -1865 -1866 -1867 -1868 -1869
15.19/15.28	v -1870 1871 1872 -1873 -1874 -1875 -1876 -1877 -1878 -1879 -1880 -1881 -1882
15.19/15.28	v 1883 -1884 -1885 1886 -1887 -1888 -1889 -1890 -1891 -1892 -1893 -1894 -1895
15.19/15.28	v 1896 1897 -1898 -1899 -1900 -1901 -1902 -1903 -1904 -1905 -1906 -1907 -1908
15.19/15.28	v -1909 -1910 -1911 -1912 -1913 -1914 -1915 -1916 -1917 -1918 1919 -1920 -1921
15.19/15.28	v 1922 -1923 -1924 1925 -1926 -1927 -1928 -1929 -1930 1931 -1932 -1933 1934
15.19/15.28	v -1935 -1936 -1937 -1938 -1939 -1940 -1941 -1942 1943 -1944 -1945 -1946 -1947
15.19/15.28	v -1948 -1949 -1950 -1951 -1952 -1953 -1954 -1955 -1956 -1957 -1958 -1959 -1960
15.19/15.28	v -1961 -1962 -1963 -1964 -1965 -1966 -1967 -1968 -1969 -1970 -1971 1972 -1973
15.19/15.28	v -1974 -1975 1976 -1977 -1978 -1979 -1980 1981 -1982 -1983 -1984 -1985 -1986
15.19/15.28	v -1987 -1988 -1989 -1990 -1991 -1992 1993 1994 -1995 -1996 -1997 -1998 -1999
15.19/15.28	v -2000 -2001 -2002 -2003 2004 -2005 2006 -2007 -2008 2009 -2010 -2011 -2012
15.19/15.28	v -2013 -2014 -2015 -2016 -2017 -2018 -2019 -2020 -2021 -2022 -2023 -2024 2025
15.19/15.28	v -2026 -2027 -2028 -2029 -2030 -2031 -2032 -2033 -2034 -2035 -2036 -2037 -2038
15.19/15.28	v 2039 2040 -2041 -2042 -2043 -2044 2045 -2046 -2047 -2048 -2049 -2050 -2051
15.19/15.28	v -2052 -2053 -2054 -2055 -2056 -2057 -2058 -2059 -2060 -2061 -2062 -2063 -2064
15.19/15.28	v -2065 -2066 -2067 -2068 -2069 -2070 -2071 -2072 -2073 -2074 -2075 -2076 2077
15.19/15.28	v -2078 -2079 -2080 -2081 -2082 2083 -2084 -2085 -2086 -2087 -2088 2089 -2090
15.19/15.28	v -2091 -2092 -2093 -2094 -2095 -2096 -2097 -2098 -2099 -2100 -2101 -2102 -2103
15.19/15.28	v -2104 -2105 -2106 -2107 -2108 -2109 -2110 -2111 -2112 -2113 -2114 -2115 -2116
15.19/15.28	v -2117 -2118 -2119 -2120 -2121 -2122 -2123 -2124 -2125 -2126 2127 -2128 -2129
15.19/15.28	v -2130 -2131 -2132 -2133 2134 -2135 -2136 -2137 -2138 -2139 2140 -2141 -2142
15.19/15.28	v -2143 -2144 2145 -2146 -2147 -2148 2149 -2150 -2151 -2152 -2153 -2154 -2155
15.19/15.28	v -2156 -2157 -2158 -2159 -2160 -2161 -2162 -2163 -2164 2165 -2166 -2167 -2168
15.19/15.28	v -2169 2170 2171 2172 -2173 -2174 -2175 -2176 -2177 -2178 -2179 -2180 2181
15.19/15.28	v -2182 -2183 -2184 -2185 -2186 -2187 -2188 -2189 -2190 -2191 -2192 -2193 -2194
15.19/15.28	v -2195 -2196 -2197 -2198 -2199 -2200 -2201 -2202 -2203 -2204 -2205 -2206 -2207
15.19/15.28	v -2208 -2209 -2210 -2211 -2212 -2213 -2214 -2215 -2216 -2217 -2218 -2219 -2220
15.19/15.28	v -2221 -2222 -2223 -2224 -2225 -2226 2227 -2228 -2229 -2230 2231 -2232 -2233
15.19/15.28	v -2234 -2235 -2236 2237 -2238 -2239 -2240 -2241 -2242 2243 2244 2245 -2246
15.19/15.28	v -2247 -2248 -2249 -2250 -2251 -2252 -2253 -2254 -2255 -2256 -2257 -2258 -2259
15.19/15.28	v -2260 -2261 -2262 -2263 -2264 -2265 2266 -2267 -2268 -2269 -2270 -2271 -2272
15.19/15.28	v -2273 -2274 -2275 2276 -2277 -2278 -2279 -2280 -2281 -2282 -2283 -2284 -2285
15.19/15.28	v -2286 -2287 -2288 -2289 -2290 -2291 -2292 -2293 -2294 -2295 -2296 -2297 -2298
15.19/15.28	v -2299 -2300 -2301 -2302 -2303 -2304 -2305 -2306 -2307 -2308 -2309 -2310 -2311
15.19/15.28	v -2312 -2313 -2314 -2315 -2316 -2317 -2318 -2319 -2320 -2321 -2322 -2323 -2324
15.19/15.28	v -2325 -2326 2327 -2328 -2329 -2330 -2331 -2332 -2333 -2334 2335 -2336 -2337
15.19/15.28	v 2338 -2339 -2340 -2341 -2342 -2343 -2344 -2345 -2346 -2347 -2348 -2349 -2350
15.19/15.28	v -2351 -2352 -2353 -2354 -2355 -2356 -2357 -2358 -2359 -2360 -2361 -2362 -2363
15.19/15.28	v -2364 -2365 2366 -2367 -2368 -2369 -2370 -2371 -2372 -2373 -2374 -2375 -2376
15.19/15.28	v -2377 -2378 -2379 -2380 -2381 -2382 -2383 -2384 -2385 -2386 2387 -2388 -2389
15.19/15.28	v -2390 -2391 2392 -2393 -2394 -2395 -2396 -2397 -2398 -2399 -2400 -2401 -2402
15.19/15.28	v -2403 -2404 -2405 -2406 -2407 -2408 -2409 -2410 -2411 -2412 -2413 -2414 -2415
15.19/15.28	v -2416 -2417 -2418 -2419 -2420 -2421 -2422 -2423 -2424 -2425 -2426 -2427 -2428
15.19/15.28	v -2429 -2430 -2431 -2432 -2433 -2434 -2435 -2436 -2437 -2438 -2439 -2440 -2441
15.19/15.28	v -2442 -2443 -2444 -2445 -2446 -2447 -2448 -2449 -2450 2451 -2452 -2453 -2454
15.19/15.28	v -2455 -2456 -2457 -2458 -2459 -2460 -2461 -2462 -2463 -2464 -2465 2466 -2467
15.19/15.28	v -2468 -2469 -2470 -2471 -2472 -2473 -2474 -2475 -2476 -2477 -2478 -2479 -2480
15.19/15.28	v -2481 2482 -2483 2484 -2485 -2486 -2487 -2488 -2489 -2490 -2491 -2492 -2493
15.19/15.28	v -2494 -2495 -2496 -2497 2498 -2499 -2500 -2501 -2502 -2503 -2504 -2505 -2506
15.19/15.28	v -2507 -2508 -2509 -2510 -2511 -2512 -2513 -2514 -2515 -2516 -2517 -2518 -2519
15.19/15.28	v -2520 -2521 -2522 -2523 2524 -2525 -2526 -2527 -2528 -2529 -2530 -2531 -2532
15.19/15.28	v -2533 -2534 -2535 -2536 -2537 -2538 -2539 -2540 -2541 -2542 -2543 -2544 -2545
15.19/15.28	v -2546 -2547 -2548 -2549 2550 -2551 -2552 -2553 -2554 -2555 -2556 -2557 -2558
15.19/15.28	v -2559 -2560 -2561 -2562 -2563 -2564 -2565 2566 -2567 -2568 -2569 -2570 -2571
15.19/15.28	v -2572 2573 -2574 -2575 -2576 -2577 -2578 -2579 -2580 -2581 -2582 -2583 -2584
15.19/15.28	v -2585 -2586 -2587 -2588 -2589 -2590 -2591 -2592 -2593 -2594 2595 -2596 -2597
15.19/15.28	v -2598 -2599 -2600 -2601 -2602 2603 -2604 -2605 -2606 2607 -2608 -2609 -2610
15.19/15.28	v -2611 -2612 -2613 -2614 -2615 -2616 -2617 -2618 -2619 -2620 -2621 -2622 2623
15.19/15.28	v -2624 -2625 -2626 -2627 -2628 -2629 -2630 -2631 -2632 -2633 -2634 -2635 -2636
15.19/15.28	v -2637 -2638 -2639 -2640 -2641 -2642 -2643 -2644 -2645 -2646 -2647 -2648 -2649
15.19/15.28	v -2650 -2651 -2652 -2653 -2654 -2655 -2656 -2657 -2658 -2659 -2660 -2661 -2662
15.19/15.28	v -2663 -2664 -2665 -2666 -2667 -2668 -2669 -2670 -2671 -2672 -2673 -2674 -2675
15.19/15.28	v -2676 -2677 -2678 -2679 -2680 -2681 -2682 -2683 2684 -2685 -2686 -2687 -2688
15.19/15.28	v -2689 -2690 -2691 -2692 -2693 -2694 -2695 -2696 -2697 -2698 -2699 -2700 -2701
15.19/15.28	v -2702 -2703 -2704 -2705 -2706 -2707 -2708 -2709 -2710 -2711 -2712 -2713 -2714
15.19/15.28	v -2715 -2716 -2717 -2718 -2719 -2720 -2721 -2722 -2723 2724 -2725 -2726 -2727
15.19/15.28	v -2728 -2729 -2730 -2731 -2732 -2733 -2734 -2735 -2736 -2737 -2738 -2739 -2740
15.19/15.28	v -2741 -2742 -2743 -2744 -2745 -2746 -2747 -2748 -2749 -2750 -2751 -2752 2753
15.19/15.28	v -2754 -2755 -2756 2757 -2758 -2759 -2760 -2761 -2762 -2763 -2764 -2765 -2766
15.19/15.28	v -2767 -2768 -2769 -2770 -2771 -2772 -2773 -2774 -2775 -2776 2777 -2778 -2779
15.19/15.28	v -2780 -2781 -2782 -2783 -2784 -2785 -2786 -2787 -2788 -2789 -2790 -2791 -2792
15.19/15.28	v -2793 -2794 -2795 -2796 -2797 -2798 -2799 -2800 -2801 -2802 2803 -2804 -2805
15.19/15.28	v -2806 -2807 -2808 -2809 -2810 -2811 -2812 -2813 -2814 -2815 -2816 -2817 -2818
15.19/15.28	v -2819 -2820 -2821 -2822 2823 -2824 -2825 -2826 -2827 -2828 -2829 -2830 -2831
15.19/15.28	v -2832 -2833 -2834 -2835 -2836 -2837 -2838 -2839 -2840 -2841 -2842 -2843 -2844
15.19/15.28	v -2845 -2846 -2847 -2848 -2849 -2850 -2851 -2852 -2853 -2854 -2855 -2856 -2857
15.19/15.28	v -2858 -2859 -2860 -2861 -2862 -2863 -2864 -2865 -2866 -2867 -2868 -2869 -2870
15.19/15.28	v -2871 2872 -2873 -2874 -2875 -2876 -2877 -2878 -2879 -2880 -2881 -2882 -2883
15.19/15.28	v -2884 -2885 -2886 -2887 -2888 -2889 -2890 -2891 -2892 -2893 -2894 -2895 -2896
15.19/15.28	v -2897 -2898 -2899 -2900 -2901 -2902 -2903 -2904 -2905 -2906 -2907 -2908 -2909
15.19/15.28	v -2910 -2911 -2912 -2913 -2914 -2915 -2916 -2917 -2918 -2919 -2920 -2921 -2922
15.19/15.28	v -2923 -2924 -2925 -2926 -2927 -2928 -2929 -2930 -2931 -2932 -2933 -2934 -2935
15.19/15.28	v -2936 -2937 -2938 -2939 -2940 -2941 -2942 -2943 -2944 -2945 -2946 -2947 -2948
15.19/15.28	v -2949 -2950 -2951 -2952 2953 -2954 -2955 -2956 -2957 -2958 -2959 -2960 -2961
15.19/15.28	v -2962 -2963 -2964 -2965 -2966 -2967 -2968 -2969 -2970 -2971 -2972 -2973 -2974
15.19/15.28	v -2975 -2976 2977 -2978 -2979 -2980 -2981 -2982 -2983 -2984 -2985 -2986 -2987
15.19/15.28	v -2988 -2989 -2990 -2991 -2992 -2993 -2994 -2995 -2996 -2997 -2998 -2999 -3000
15.19/15.28	v -3001 -3002 3003 -3004 -3005 -3006 -3007 -3008 -3009 -3010 -3011 -3012 -3013
15.19/15.28	v -3014 -3015 -3016 -3017 -3018 -3019 -3020 -3021 -3022 -3023 -3024 -3025 -3026
15.19/15.28	v -3027 -3028 -3029 -3030 -3031 -3032 -3033 -3034 -3035 -3036 -3037 -3038 -3039
15.19/15.28	v -3040 -3041 -3042 -3043 -3044 -3045 -3046 -3047 -3048 -3049 -3050 -3051 -3052
15.19/15.28	v -3053 -3054 -3055 -3056 -3057 -3058 -3059 -3060 -3061 -3062 -3063 -3064 -3065
15.19/15.28	v -3066 -3067 -3068 -3069 -3070 -3071 3072 -3073 -3074 -3075 -3076 -3077 -3078
15.19/15.28	v -3079 -3080 -3081 -3082 -3083 -3084 -3085 -3086 -3087 -3088 -3089 -3090 -3091
15.19/15.28	v -3092 -3093 -3094 -3095 -3096 -3097 -3098 -3099 -3100 -3101 -3102 -3103 -3104
15.19/15.28	v -3105 -3106 -3107 -3108 -3109 -3110 -3111 -3112 -3113 -3114 -3115 -3116 -3117
15.19/15.28	v -3118 -3119 -3120 -3121 -3122 -3123 -3124 -3125 -3126 -3127 -3128 -3129 -3130
15.19/15.28	v -3131 -3132 -3133 -3134 -3135 -3136 -3137 -3138 -3139 -3140 -3141 -3142 -3143
15.19/15.28	v -3144 -3145 -3146 -3147 -3148 -3149 -3150 -3151 -3152 -3153 -3154 -3155 -3156
15.19/15.28	v -3157 -3158 -3159 -3160 -3161 -3162 -3163 -3164 -3165 -3166 -3167 -3168 -3169
15.19/15.28	v -3170 -3171 -3172 -3173 -3174 -3175 -3176 3177 -3178 -3179 -3180 -3181 -3182
15.19/15.28	v -3183 -3184 -3185 -3186 -3187 -3188 -3189 -3190 -3191 -3192 -3193 -3194 -3195
15.19/15.28	v -3196 -3197 -3198 -3199 -3200 3201 -3202 3203 -3204 3205 -3206 -3207 3208
15.19/15.28	v -3209 3210 -3211 3212 -3213 3214 3215 -3216 3217 -3218 -3219 3220 3221 -3222
15.19/15.28	v -3223 3224 3225 -3226 3227 -3228 -3229 3230 3231 -3232 3233 -3234 -3235 3236
15.19/15.28	v 3237 -3238 -3239 3240 3241 -3242 -3243 3244 -3245 3246 -3247 3248 -3249 3250
15.19/15.28	v -3251 3252 3253 -3254 3255 -3256 3257 -3258 3259 -3260 3261 -3262 3263 -3264 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3260847-1303513062/watcher-3260847-1303513062 -o /tmp/evaluation-result-3260847-1303513062/solver-3260847-1303513062 -C 2400 -W 1300 -M 7680 lingeling HOME/instance-3260847-1303513062.cnf 

running on 2 cores: 5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.99 3.91 3.65 4/189 29056
/proc/meminfo: memFree=17333572/32951124 swapFree=67111528/67111528
[pid=29056] ppid=29054 vsize=7128 CPUtime=0 cores=5,7
/proc/29056/stat : 29056 (lingeling) R 29054 29056 27428 0 -1 4202496 410 0 0 0 0 0 0 0 25 0 1 0 443722077 7299072 314 33554432000 4194304 4409164 140734319255536 18446744073709551615 4277296 0 0 4096 17506 0 0 0 17 5 0 0 0
/proc/29056/statm: 1782 314 120 53 0 205 0

[startup+0.0520821 s]
/proc/loadavg: 3.99 3.91 3.65 4/189 29056
/proc/meminfo: memFree=17333572/32951124 swapFree=67111528/67111528
[pid=29056] ppid=29054 vsize=7320 CPUtime=0.04 cores=5,7
/proc/29056/stat : 29056 (lingeling) R 29054 29056 27428 0 -1 4202496 630 0 0 0 4 0 0 0 25 0 1 0 443722077 7495680 341 33554432000 4194304 4409164 140734319255536 18446744073709551615 4259160 0 0 4096 17506 0 0 0 17 5 0 0 0
/proc/29056/statm: 1830 341 131 53 0 253 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7320

[startup+0.101084 s]
/proc/loadavg: 3.99 3.91 3.65 4/189 29056
/proc/meminfo: memFree=17333572/32951124 swapFree=67111528/67111528
[pid=29056] ppid=29054 vsize=7576 CPUtime=0.09 cores=5,7
/proc/29056/stat : 29056 (lingeling) R 29054 29056 27428 0 -1 4202496 708 0 0 0 9 0 0 0 25 0 1 0 443722077 7757824 419 33554432000 4194304 4409164 140734319255536 18446744073709551615 4245996 0 0 4096 17506 0 0 0 17 5 0 0 0
/proc/29056/statm: 1894 419 135 53 0 317 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7576

[startup+0.301046 s]
/proc/loadavg: 3.99 3.91 3.65 4/189 29056
/proc/meminfo: memFree=17333572/32951124 swapFree=67111528/67111528
[pid=29056] ppid=29054 vsize=8104 CPUtime=0.29 cores=5,7
/proc/29056/stat : 29056 (lingeling) R 29054 29056 27428 0 -1 4202496 811 0 0 0 29 0 0 0 25 0 1 0 443722077 8298496 522 33554432000 4194304 4409164 140734319255536 18446744073709551615 220816261015 0 0 4096 17506 0 0 0 17 5 0 0 0
/proc/29056/statm: 2026 522 140 53 0 449 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8104

[startup+0.700975 s]
/proc/loadavg: 3.99 3.91 3.65 4/189 29056
/proc/meminfo: memFree=17333572/32951124 swapFree=67111528/67111528
[pid=29056] ppid=29054 vsize=8996 CPUtime=0.69 cores=5,7
/proc/29056/stat : 29056 (lingeling) R 29054 29056 27428 0 -1 4202496 1322 0 0 0 68 1 0 0 25 0 1 0 443722077 9211904 777 33554432000 4194304 4409164 140734319255536 18446744073709551615 220816261015 0 0 4096 17506 0 0 0 17 5 0 0 0
/proc/29056/statm: 2249 777 141 53 0 672 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8996

[startup+1.50081 s]
/proc/loadavg: 3.99 3.91 3.65 5/190 29057
/proc/meminfo: memFree=17333324/32951124 swapFree=67111528/67111528
[pid=29056] ppid=29054 vsize=9472 CPUtime=1.49 cores=5,7
/proc/29056/stat : 29056 (lingeling) R 29054 29056 27428 0 -1 4202496 1902 0 0 0 145 4 0 0 25 0 1 0 443722077 9699328 896 33554432000 4194304 4409164 140734319255536 18446744073709551615 220816261015 0 0 4096 17506 0 0 0 17 5 0 0 0
/proc/29056/statm: 2368 896 141 53 0 791 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9472

[startup+3.10052 s]
/proc/loadavg: 3.99 3.91 3.65 5/190 29057
/proc/meminfo: memFree=17329860/32951124 swapFree=67111528/67111528
[pid=29056] ppid=29054 vsize=11488 CPUtime=3.09 cores=5,7
/proc/29056/stat : 29056 (lingeling) R 29054 29056 27428 0 -1 4202496 3717 0 0 0 302 7 0 0 25 0 1 0 443722077 11763712 1428 33554432000 4194304 4409164 140734319255536 18446744073709551615 220816261015 0 0 4096 17506 0 0 0 17 5 0 0 0
/proc/29056/statm: 2872 1428 141 53 0 1295 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11488

[startup+6.30093 s]
/proc/loadavg: 3.99 3.91 3.65 5/190 29058
/proc/meminfo: memFree=17328516/32951124 swapFree=67111528/67111528
[pid=29056] ppid=29054 vsize=10544 CPUtime=6.29 cores=5,7
/proc/29056/stat : 29056 (lingeling) R 29054 29056 27428 0 -1 4202496 6033 0 0 0 614 15 0 0 25 0 1 0 443722077 10797056 1195 33554432000 4194304 4409164 140734319255536 18446744073709551615 220816294314 0 0 4096 17506 0 0 0 17 5 0 0 0
/proc/29056/statm: 2636 1195 141 53 0 1059 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10544

[startup+12.7008 s]
/proc/loadavg: 3.99 3.92 3.65 5/190 29058
/proc/meminfo: memFree=17346464/32951124 swapFree=67111528/67111528
[pid=29056] ppid=29054 vsize=11788 CPUtime=12.69 cores=5,7
/proc/29056/stat : 29056 (lingeling) R 29054 29056 27428 0 -1 4202496 10512 0 0 0 1239 30 0 0 25 0 1 0 443722077 12070912 1506 33554432000 4194304 4409164 140734319255536 18446744073709551615 220816261015 0 0 4096 17506 0 0 0 17 5 0 0 0
/proc/29056/statm: 2947 1506 141 53 0 1370 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 11788

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

[startup+14.3065 s]
/proc/loadavg: 3.99 3.92 3.65 5/190 29058
/proc/meminfo: memFree=17338404/32951124 swapFree=67111528/67111528
[pid=29056] ppid=29054 vsize=11972 CPUtime=14.29 cores=5,7
/proc/29056/stat : 29056 (lingeling) R 29054 29056 27428 0 -1 4202496 12681 0 0 0 1397 32 0 0 25 0 1 0 443722077 12259328 1552 33554432000 4194304 4409164 140734319255536 18446744073709551615 220816261015 0 0 4096 17506 0 0 0 17 5 0 0 0
/proc/29056/statm: 2993 1552 141 53 0 1416 0
Current children cumulated CPU time (s) 14.29
Current children cumulated vsize (KiB) 11972

[startup+14.7004 s]
/proc/loadavg: 3.99 3.92 3.65 5/190 29058
/proc/meminfo: memFree=17338404/32951124 swapFree=67111528/67111528
[pid=29056] ppid=29054 vsize=12244 CPUtime=14.69 cores=5,7
/proc/29056/stat : 29056 (lingeling) R 29054 29056 27428 0 -1 4202496 12749 0 0 0 1437 32 0 0 25 0 1 0 443722077 12537856 1620 33554432000 4194304 4409164 140734319255536 18446744073709551615 220816261015 0 0 4096 17506 0 0 0 17 5 0 0 0
/proc/29056/statm: 3061 1620 141 53 0 1484 0
Current children cumulated CPU time (s) 14.69
Current children cumulated vsize (KiB) 12244

[startup+15.1003 s]
/proc/loadavg: 3.99 3.92 3.65 5/190 29058
/proc/meminfo: memFree=17338404/32951124 swapFree=67111528/67111528
[pid=29056] ppid=29054 vsize=13372 CPUtime=15.09 cores=5,7
/proc/29056/stat : 29056 (lingeling) R 29054 29056 27428 0 -1 4202496 13031 0 0 0 1475 34 0 0 25 0 1 0 443722077 13692928 1902 33554432000 4194304 4409164 140734319255536 18446744073709551615 220816261015 0 0 4096 17506 0 0 0 17 5 0 0 0
/proc/29056/statm: 3343 1902 141 53 0 1766 0
Current children cumulated CPU time (s) 15.09
Current children cumulated vsize (KiB) 13372

[startup+15.2003 s]
/proc/loadavg: 3.99 3.92 3.65 5/190 29058
/proc/meminfo: memFree=17338404/32951124 swapFree=67111528/67111528
[pid=29056] ppid=29054 vsize=13372 CPUtime=15.19 cores=5,7
/proc/29056/stat : 29056 (lingeling) R 29054 29056 27428 0 -1 4202496 13031 0 0 0 1485 34 0 0 25 0 1 0 443722077 13692928 1902 33554432000 4194304 4409164 140734319255536 18446744073709551615 220816261015 0 0 4096 17506 0 0 0 17 5 0 0 0
/proc/29056/statm: 3343 1902 141 53 0 1766 0
Current children cumulated CPU time (s) 15.19
Current children cumulated vsize (KiB) 13372

Child status: 10
Real time (s): 15.2874
CPU time (s): 15.2867
CPU user time (s): 14.9407
CPU system time (s): 0.345947
CPU usage (%): 99.9951
Max. virtual memory (cumulated for all children) (KiB): 13924

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

runsolver used 0.031995 second user time and 0.057991 second system time

The end

Launcher Data 

Begin job on node147 at 2011-04-23 00:57:42
IDJOB=3260847
IDBENCH=83197
IDSOLVER=1606
FILE ID=node147/3260847-1303513062
RUNJOBID= node147-1303512899-28770
PBS_JOBID= 13134275
Free space on /tmp= 71880 MiB

SOLVER NAME= Lingeling 587
BENCH NAME= SAT11/crafted/skvortsov/automata-synchronization/rnd_100_32_s.cnf
COMMAND LINE= lingeling BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3260847-1303513062/watcher-3260847-1303513062 -o /tmp/evaluation-result-3260847-1303513062/solver-3260847-1303513062 -C 2400 -W 1300 -M 7680  lingeling HOME/instance-3260847-1303513062.cnf

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

MD5SUM BENCH= d21f62eebe8299bb166c60204a4db57a
RANDOM SEED=1187818833

node147.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.836
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.67
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.836
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.836
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.82
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.836
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.836
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
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.836
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.76
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.836
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.836
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17333604 kB
Buffers:       1297576 kB
Cached:       13530288 kB
SwapCached:          0 kB
Active:        7547380 kB
Inactive:      7532892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17333604 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:              16 kB
Writeback:           0 kB
AnonPages:      251740 kB
Mapped:          15820 kB
Slab:           473864 kB
PageTables:       5748 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   435452 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= 71880 MiB
End job on node147 at 2011-04-23 00:57:57