Trace number 3371689

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 587f (fixed)SAT 17.0704 17.0714

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 

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

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-3371689-1305434574/watcher-3371689-1305434574 -o /tmp/evaluation-result-3371689-1305434574/solver-3371689-1305434574 -C 2400 -W 1300 -M 7680 lingeling HOME/instance-3371689-1305434574.cnf 

running on 2 cores: 0,2

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: 1.00 2.31 3.42 2/350 20009
/proc/meminfo: memFree=17667680/32950928 swapFree=67111200/67111528
[pid=20009] ppid=20005 vsize=7348 CPUtime=0 cores=0,2
/proc/20009/stat : 20009 (lingeling) R 20005 20009 19312 0 -1 4202496 489 0 0 0 0 0 0 0 24 0 1 0 733688078 7524352 344 33554432000 4194304 4409284 140735247225056 18446744073709551615 256415085549 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/20009/statm: 1837 344 127 53 0 260 0

[startup+0.025624 s]
/proc/loadavg: 1.00 2.31 3.42 2/350 20009
/proc/meminfo: memFree=17667680/32950928 swapFree=67111200/67111528
[pid=20009] ppid=20005 vsize=7172 CPUtime=0.02 cores=0,2
/proc/20009/stat : 20009 (lingeling) R 20005 20009 19312 0 -1 4202496 550 0 0 0 2 0 0 0 24 0 1 0 733688078 7344128 333 33554432000 4194304 4409284 140735247225056 18446744073709551615 4269680 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/20009/statm: 1793 333 128 53 0 216 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 7172

[startup+0.100614 s]
/proc/loadavg: 1.00 2.31 3.42 2/350 20009
/proc/meminfo: memFree=17667680/32950928 swapFree=67111200/67111528
[pid=20009] ppid=20005 vsize=7320 CPUtime=0.09 cores=0,2
/proc/20009/stat : 20009 (lingeling) R 20005 20009 19312 0 -1 4202496 641 0 0 0 9 0 0 0 24 0 1 0 733688078 7495680 353 33554432000 4194304 4409284 140735247225056 18446744073709551615 4246944 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/20009/statm: 1830 353 135 53 0 253 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7320

[startup+0.30057 s]
/proc/loadavg: 1.00 2.31 3.42 2/350 20009
/proc/meminfo: memFree=17667680/32950928 swapFree=67111200/67111528
[pid=20009] ppid=20005 vsize=8104 CPUtime=0.29 cores=0,2
/proc/20009/stat : 20009 (lingeling) R 20005 20009 19312 0 -1 4202496 809 0 0 0 29 0 0 0 25 0 1 0 733688078 8298496 521 33554432000 4194304 4409284 140735247225056 18446744073709551615 256415416215 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/20009/statm: 2026 521 139 53 0 449 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8104

[startup+0.700512 s]
/proc/loadavg: 1.00 2.31 3.42 2/350 20009
/proc/meminfo: memFree=17667680/32950928 swapFree=67111200/67111528
[pid=20009] ppid=20005 vsize=8484 CPUtime=0.68 cores=0,2
/proc/20009/stat : 20009 (lingeling) R 20005 20009 19312 0 -1 4202496 1193 0 0 0 68 0 0 0 25 0 1 0 733688078 8687616 649 33554432000 4194304 4409284 140735247225056 18446744073709551615 256415416215 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/20009/statm: 2121 649 141 53 0 544 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 8484

[startup+1.50034 s]
/proc/loadavg: 1.00 2.31 3.42 5/364 20036
/proc/meminfo: memFree=17638948/32950928 swapFree=67111200/67111528
[pid=20009] ppid=20005 vsize=9008 CPUtime=1.49 cores=0,2
/proc/20009/stat : 20009 (lingeling) R 20005 20009 19312 0 -1 4202496 1785 0 0 0 148 1 0 0 25 0 1 0 733688078 9224192 780 33554432000 4194304 4409284 140735247225056 18446744073709551615 4226265 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/20009/statm: 2252 780 141 53 0 675 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9008

[startup+3.10104 s]
/proc/loadavg: 1.32 2.35 3.43 5/364 20036
/proc/meminfo: memFree=17631612/32950928 swapFree=67111200/67111528
[pid=20009] ppid=20005 vsize=9560 CPUtime=3.09 cores=0,2
/proc/20009/stat : 20009 (lingeling) R 20005 20009 19312 0 -1 4202496 3112 0 0 0 307 2 0 0 25 0 1 0 733688078 9789440 946 33554432000 4194304 4409284 140735247225056 18446744073709551615 256415416215 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/20009/statm: 2390 946 141 53 0 813 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9560

[startup+6.30044 s]
/proc/loadavg: 1.32 2.35 3.43 5/364 20063
/proc/meminfo: memFree=17615360/32950928 swapFree=67111200/67111528
[pid=20009] ppid=20005 vsize=11012 CPUtime=6.29 cores=0,2
/proc/20009/stat : 20009 (lingeling) R 20005 20009 19312 0 -1 4202496 5778 0 0 0 624 5 0 0 25 0 1 0 733688078 11276288 1307 33554432000 4194304 4409284 140735247225056 18446744073709551615 256415416215 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/20009/statm: 2753 1307 141 53 0 1176 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11012

[startup+12.7002 s]
/proc/loadavg: 1.73 2.41 3.43 5/364 20064
/proc/meminfo: memFree=17594384/32950928 swapFree=67111200/67111528
[pid=20009] ppid=20005 vsize=12244 CPUtime=12.69 cores=0,2
/proc/20009/stat : 20009 (lingeling) R 20005 20009 19312 0 -1 4202496 9229 0 0 0 1259 10 0 0 25 0 1 0 733688078 12537856 1620 33554432000 4194304 4409284 140735247225056 18446744073709551615 256415416215 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/20009/statm: 3061 1620 141 53 0 1484 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12244

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

[startup+14.3139 s]
/proc/loadavg: 1.73 2.41 3.43 5/364 20064
/proc/meminfo: memFree=17593144/32950928 swapFree=67111200/67111528
[pid=20009] ppid=20005 vsize=12488 CPUtime=14.3 cores=0,2
/proc/20009/stat : 20009 (lingeling) R 20005 20009 19312 0 -1 4202496 10686 0 0 0 1418 12 0 0 25 0 1 0 733688078 12787712 1681 33554432000 4194304 4409284 140735247225056 18446744073709551615 256415416215 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/20009/statm: 3122 1681 141 53 0 1545 0
Current children cumulated CPU time (s) 14.3
Current children cumulated vsize (KiB) 12488

[startup+15.9006 s]
/proc/loadavg: 1.73 2.41 3.43 5/364 20064
/proc/meminfo: memFree=17593268/32950928 swapFree=67111200/67111528
[pid=20009] ppid=20005 vsize=11916 CPUtime=15.89 cores=0,2
/proc/20009/stat : 20009 (lingeling) R 20005 20009 19312 0 -1 4202496 12666 0 0 0 1575 14 0 0 25 0 1 0 733688078 12201984 1538 33554432000 4194304 4409284 140735247225056 18446744073709551615 256415416215 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/20009/statm: 2979 1538 141 53 0 1402 0
Current children cumulated CPU time (s) 15.89
Current children cumulated vsize (KiB) 11916

[startup+16.7005 s]
/proc/loadavg: 1.91 2.43 3.44 5/364 20064
/proc/meminfo: memFree=17592536/32950928 swapFree=67111200/67111528
[pid=20009] ppid=20005 vsize=13372 CPUtime=16.69 cores=0,2
/proc/20009/stat : 20009 (lingeling) R 20005 20009 19312 0 -1 4202496 13030 0 0 0 1655 14 0 0 25 0 1 0 733688078 13692928 1902 33554432000 4194304 4409284 140735247225056 18446744073709551615 256415416215 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/20009/statm: 3343 1902 141 53 0 1766 0
Current children cumulated CPU time (s) 16.69
Current children cumulated vsize (KiB) 13372

[startup+16.9004 s]
/proc/loadavg: 1.91 2.43 3.44 5/364 20064
/proc/meminfo: memFree=17592536/32950928 swapFree=67111200/67111528
[pid=20009] ppid=20005 vsize=13372 CPUtime=16.89 cores=0,2
/proc/20009/stat : 20009 (lingeling) R 20005 20009 19312 0 -1 4202496 13030 0 0 0 1675 14 0 0 25 0 1 0 733688078 13692928 1902 33554432000 4194304 4409284 140735247225056 18446744073709551615 4358442 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/20009/statm: 3343 1902 141 53 0 1766 0
Current children cumulated CPU time (s) 16.89
Current children cumulated vsize (KiB) 13372

[startup+17.0004 s]
/proc/loadavg: 1.91 2.43 3.44 5/364 20064
/proc/meminfo: memFree=17592536/32950928 swapFree=67111200/67111528
[pid=20009] ppid=20005 vsize=13372 CPUtime=16.99 cores=0,2
/proc/20009/stat : 20009 (lingeling) R 20005 20009 19312 0 -1 4202496 13030 0 0 0 1685 14 0 0 25 0 1 0 733688078 13692928 1902 33554432000 4194304 4409284 140735247225056 18446744073709551615 4358533 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/20009/statm: 3343 1902 141 53 0 1766 0
Current children cumulated CPU time (s) 16.99
Current children cumulated vsize (KiB) 13372

Child status: 10
Real time (s): 17.0714
CPU time (s): 17.0704
CPU user time (s): 16.9204
CPU system time (s): 0.149977
CPU usage (%): 99.994
Max. virtual memory (cumulated for all children) (KiB): 14536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.9204
system time used= 0.149977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13045
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= 10
involuntary context switches= 48

runsolver used 0.057991 second user time and 0.144977 second system time

The end

Launcher Data 

Begin job on node115 at 2011-05-15 06:42:54
IDJOB=3371689
IDBENCH=83197
IDSOLVER=1849
FILE ID=node115/3371689-1305434574
RUNJOBID= node115-1305434574-19993
PBS_JOBID= 13324623
Free space on /tmp= 73296 MiB

SOLVER NAME= Lingeling 587f (fixed)
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-3371689-1305434574/watcher-3371689-1305434574 -o /tmp/evaluation-result-3371689-1305434574/solver-3371689-1305434574 -C 2400 -W 1300 -M 7680  lingeling HOME/instance-3371689-1305434574.cnf

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

MD5SUM BENCH= d21f62eebe8299bb166c60204a4db57a
RANDOM SEED=1229701197

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
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.75
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.811
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.811
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.77
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.811
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.74
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.811
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.75
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.811
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:     32950928 kB
MemFree:      17667960 kB
Buffers:        299780 kB
Cached:        4640956 kB
SwapCached:          0 kB
Active:       11993708 kB
Inactive:      2972068 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      17667960 kB
SwapTotal:    67111528 kB
SwapFree:     67111200 kB
Dirty:             496 kB
Writeback:           0 kB
AnonPages:    10025628 kB
Mapped:          27632 kB
Slab:           210176 kB
PageTables:      41380 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 69653688 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= 73292 MiB
End job on node115 at 2011-05-15 06:43:11