Trace number 3322432

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
claspmt 2.0-R4095SAT 61.6126 8.89846

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 benchmark13.8209
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 

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

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-3322432-1304385430/watcher-3322432-1304385430 -o /tmp/evaluation-result-3322432-1304385430/solver-3322432-1304385430 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3322432-1304385430.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

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


[startup+0 s]
/proc/loadavg: 9.27 9.15 9.10 2/321 8879
/proc/meminfo: memFree=10603504/32951124 swapFree=62859076/67111528
[pid=8879] ppid=8877 vsize=22552 CPUtime=0 cores=0-7
/proc/8879/stat : 8879 (claspmt) R 8877 8879 6630 0 -1 4202496 1003 0 0 0 0 0 0 0 23 0 1 0 550143433 23093248 877 33554432000 4194304 4964704 140736386961200 18446744073709551615 4607549 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8879/statm: 5638 877 402 189 0 512 0

[startup+0.0710909 s]
/proc/loadavg: 9.27 9.15 9.10 2/321 8879
/proc/meminfo: memFree=10603504/32951124 swapFree=62859076/67111528
[pid=8879] ppid=8877 vsize=319456 CPUtime=0.1 cores=0-7
/proc/8879/stat : 8879 (claspmt) R 8877 8879 6630 0 -1 4202496 2589 0 0 0 10 0 0 0 25 0 8 0 550143433 327122944 2280 33554432000 4194304 4964704 140736386961200 18446744073709551615 244446606369 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/8879/statm: 79864 2280 463 189 0 74213 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 319456

[startup+0.104031 s]
/proc/loadavg: 9.27 9.15 9.10 2/321 8879
/proc/meminfo: memFree=10603504/32951124 swapFree=62859076/67111528
[pid=8879] ppid=8877 vsize=319744 CPUtime=0.45 cores=0-7
/proc/8879/stat : 8879 (claspmt) R 8877 8879 6630 0 -1 4202496 3059 0 0 0 45 0 0 0 25 0 8 0 550143433 327417856 2750 33554432000 4194304 4964704 140736386961200 18446744073709551615 4456654 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/8879/statm: 80035 3186 464 189 0 74384 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 319744

[startup+0.336839 s]
/proc/loadavg: 9.27 9.15 9.10 2/321 8879
/proc/meminfo: memFree=10603504/32951124 swapFree=62859076/67111528
[pid=8879] ppid=8877 vsize=320272 CPUtime=1.92 cores=0-7
/proc/8879/stat : 8879 (claspmt) R 8877 8879 6630 0 -1 4202496 3730 0 0 0 191 1 0 0 25 0 8 0 550143433 327958528 3421 33554432000 4194304 4964704 140736386961200 18446744073709551615 4668609 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/8879/statm: 80233 4071 464 189 0 74582 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 320272

[startup+0.729311 s]
/proc/loadavg: 9.27 9.15 9.10 2/321 8879
/proc/meminfo: memFree=10603504/32951124 swapFree=62859076/67111528
[pid=8879] ppid=8877 vsize=320932 CPUtime=4.63 cores=0-7
/proc/8879/stat : 8879 (claspmt) R 8877 8879 6630 0 -1 4202496 4407 0 0 0 462 1 0 0 25 0 8 0 550143433 328634368 4098 33554432000 4194304 4964704 140736386961200 18446744073709551615 4660077 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/8879/statm: 80233 4098 464 189 0 74582 0
Current children cumulated CPU time (s) 4.63
Current children cumulated vsize (KiB) 320932

[startup+1.51217 s]
/proc/loadavg: 9.25 9.15 9.10 10/329 8887
/proc/meminfo: memFree=10586584/32951124 swapFree=62859076/67111528
[pid=8879] ppid=8877 vsize=321252 CPUtime=10.11 cores=0-7
/proc/8879/stat : 8879 (claspmt) R 8877 8879 6630 0 -1 4202496 5269 0 0 0 1008 3 0 0 25 0 8 0 550143433 328962048 4960 33554432000 4194304 4964704 140736386961200 18446744073709551615 4669192 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/8879/statm: 80313 4960 464 189 0 74662 0
[pid=8879/tid=8881] ppid=8877 vsize=321252 CPUtime=1.44 cores=0-7
/proc/8879/task/8881/stat : 8881 (claspmt) R 8877 8879 6630 0 -1 4202560 517 0 0 0 144 0 0 0 20 0 8 0 550143438 328962048 4960 33554432000 4194304 4964704 140736386961200 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=8879/tid=8882] ppid=8877 vsize=321252 CPUtime=0.57 cores=0-7
/proc/8879/task/8882/stat : 8882 (claspmt) R 8877 8879 6630 0 -1 4202560 507 0 0 0 57 0 0 0 18 0 8 0 550143438 328962048 4960 33554432000 4194304 4964704 140736386961200 18446744073709551615 4670145 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=8879/tid=8883] ppid=8877 vsize=321252 CPUtime=1.43 cores=0-7
/proc/8879/task/8883/stat : 8883 (claspmt) R 8877 8879 6630 0 -1 4202560 603 0 0 0 143 0 0 0 20 0 8 0 550143438 328962048 4961 33554432000 4194304 4964704 140736386961200 18446744073709551615 244446606021 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=8879/tid=8884] ppid=8877 vsize=321252 CPUtime=1.44 cores=0-7
/proc/8879/task/8884/stat : 8884 (claspmt) R 8877 8879 6630 0 -1 4202560 434 0 0 0 144 0 0 0 19 0 8 0 550143438 328962048 4961 33554432000 4194304 4964704 140736386961200 18446744073709551615 4669696 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=8879/tid=8885] ppid=8877 vsize=321252 CPUtime=1.44 cores=0-7
/proc/8879/task/8885/stat : 8885 (claspmt) R 8877 8879 6630 0 -1 4202560 445 0 0 0 144 0 0 0 20 0 8 0 550143438 328962048 4961 33554432000 4194304 4964704 140736386961200 18446744073709551615 4683872 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8879/tid=8886] ppid=8877 vsize=321252 CPUtime=1.03 cores=0-7
/proc/8879/task/8886/stat : 8886 (claspmt) R 8877 8879 6630 0 -1 4202560 421 0 0 0 103 0 0 0 18 0 8 0 550143438 328962048 4961 33554432000 4194304 4964704 140736386961200 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8879/tid=8887] ppid=8877 vsize=321252 CPUtime=1.37 cores=0-7
/proc/8879/task/8887/stat : 8887 (claspmt) R 8877 8879 6630 0 -1 4202560 713 0 0 0 137 0 0 0 20 0 8 0 550143438 328962048 4961 33554432000 4194304 4964704 140736386961200 18446744073709551615 4644800 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10.11
Current children cumulated vsize (KiB) 321252

[startup+3.10087 s]
/proc/loadavg: 9.25 9.15 9.10 10/329 8887
/proc/meminfo: memFree=10581872/32951124 swapFree=62859076/67111528
[pid=8879] ppid=8877 vsize=322500 CPUtime=21.21 cores=0-7
/proc/8879/stat : 8879 (claspmt) R 8877 8879 6630 0 -1 4202496 6339 0 0 0 2118 3 0 0 25 0 8 0 550143433 330240000 6030 33554432000 4194304 4964704 140736386961200 18446744073709551615 4320934 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/8879/statm: 80625 6030 464 189 0 74974 0
[pid=8879/tid=8881] ppid=8877 vsize=322500 CPUtime=3.03 cores=0-7
/proc/8879/task/8881/stat : 8881 (claspmt) R 8877 8879 6630 0 -1 4202560 733 0 0 0 303 0 0 0 25 0 8 0 550143438 330240000 6030 33554432000 4194304 4964704 140736386961200 18446744073709551615 4670110 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=8879/tid=8882] ppid=8877 vsize=322500 CPUtime=2.15 cores=0-7
/proc/8879/task/8882/stat : 8882 (claspmt) R 8877 8879 6630 0 -1 4202560 765 0 0 0 215 0 0 0 18 0 8 0 550143438 330240000 6030 33554432000 4194304 4964704 140736386961200 18446744073709551615 4670017 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=8879/tid=8883] ppid=8877 vsize=322500 CPUtime=3.02 cores=0-7
/proc/8879/task/8883/stat : 8883 (claspmt) R 8877 8879 6630 0 -1 4202560 661 0 0 0 302 0 0 0 25 0 8 0 550143438 330240000 6030 33554432000 4194304 4964704 140736386961200 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=8879/tid=8884] ppid=8877 vsize=322500 CPUtime=2.24 cores=0-7
/proc/8879/task/8884/stat : 8884 (claspmt) R 8877 8879 6630 0 -1 4202560 583 0 0 0 224 0 0 0 20 0 8 0 550143438 330240000 6030 33554432000 4194304 4964704 140736386961200 18446744073709551615 244447050222 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=8879/tid=8885] ppid=8877 vsize=322500 CPUtime=3.03 cores=0-7
/proc/8879/task/8885/stat : 8885 (claspmt) R 8877 8879 6630 0 -1 4202560 517 0 0 0 303 0 0 0 25 0 8 0 550143438 330240000 6030 33554432000 4194304 4964704 140736386961200 18446744073709551615 4362326 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8879/tid=8886] ppid=8877 vsize=322500 CPUtime=2.62 cores=0-7
/proc/8879/task/8886/stat : 8886 (claspmt) R 8877 8879 6630 0 -1 4202560 527 0 0 0 262 0 0 0 20 0 8 0 550143438 330240000 6030 33554432000 4194304 4964704 140736386961200 18446744073709551615 4361293 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8879/tid=8887] ppid=8877 vsize=322500 CPUtime=2.17 cores=0-7
/proc/8879/task/8887/stat : 8887 (claspmt) R 8877 8879 6630 0 -1 4202560 783 0 0 0 217 0 0 0 19 0 8 0 550143438 330240000 6030 33554432000 4194304 4964704 140736386961200 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 21.21
Current children cumulated vsize (KiB) 322500

[startup+6.30128 s]
/proc/loadavg: 9.25 9.15 9.10 10/329 8887
/proc/meminfo: memFree=10574804/32951124 swapFree=62859076/67111528
[pid=8879] ppid=8877 vsize=323792 CPUtime=43.57 cores=0-7
/proc/8879/stat : 8879 (claspmt) R 8877 8879 6630 0 -1 4202496 8083 0 0 0 4353 4 0 0 25 0 8 0 550143433 331563008 7702 33554432000 4194304 4964704 140736386961200 18446744073709551615 4321232 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/8879/statm: 80948 7702 466 189 0 75297 0
[pid=8879/tid=8881] ppid=8877 vsize=323792 CPUtime=6.23 cores=0-7
/proc/8879/task/8881/stat : 8881 (claspmt) R 8877 8879 6630 0 -1 4202560 1207 0 0 0 623 0 0 0 25 0 8 0 550143438 331563008 7702 33554432000 4194304 4964704 140736386961200 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=8879/tid=8882] ppid=8877 vsize=323792 CPUtime=4.95 cores=0-7
/proc/8879/task/8882/stat : 8882 (claspmt) R 8877 8879 6630 0 -1 4202560 1052 0 0 0 495 0 0 0 25 0 8 0 550143438 331563008 7702 33554432000 4194304 4964704 140736386961200 18446744073709551615 4670250 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=8879/tid=8883] ppid=8877 vsize=323792 CPUtime=4.1 cores=0-7
/proc/8879/task/8883/stat : 8883 (claspmt) R 8877 8879 6630 0 -1 4202560 677 0 0 0 410 0 0 0 25 0 8 0 550143438 331563008 7702 33554432000 4194304 4964704 140736386961200 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=8879/tid=8884] ppid=8877 vsize=323792 CPUtime=5.26 cores=0-7
/proc/8879/task/8884/stat : 8884 (claspmt) R 8877 8879 6630 0 -1 4202560 770 0 0 0 526 0 0 0 25 0 8 0 550143438 331563008 7702 33554432000 4194304 4964704 140736386961200 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=8879/tid=8885] ppid=8877 vsize=323792 CPUtime=6.23 cores=0-7
/proc/8879/task/8885/stat : 8885 (claspmt) R 8877 8879 6630 0 -1 4202560 628 0 0 0 623 0 0 0 25 0 8 0 550143438 331563008 7702 33554432000 4194304 4964704 140736386961200 18446744073709551615 4364621 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8879/tid=8886] ppid=8877 vsize=323792 CPUtime=5.82 cores=0-7
/proc/8879/task/8886/stat : 8886 (claspmt) R 8877 8879 6630 0 -1 4202560 741 0 0 0 582 0 0 0 25 0 8 0 550143438 331563008 7702 33554432000 4194304 4964704 140736386961200 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8879/tid=8887] ppid=8877 vsize=323792 CPUtime=4.86 cores=0-7
/proc/8879/task/8887/stat : 8887 (claspmt) R 8877 8879 6630 0 -1 4202560 1049 0 0 0 486 0 0 0 25 0 8 0 550143438 331563008 7702 33554432000 4194304 4964704 140736386961200 18446744073709551615 4670230 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 43.57
Current children cumulated vsize (KiB) 323792

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

[startup+6.7012 s]
/proc/loadavg: 9.25 9.15 9.10 10/329 8887
/proc/meminfo: memFree=10574804/32951124 swapFree=62859076/67111528
[pid=8879] ppid=8877 vsize=323792 CPUtime=46.37 cores=0-7
/proc/8879/stat : 8879 (claspmt) R 8877 8879 6630 0 -1 4202496 8182 0 0 0 4633 4 0 0 25 0 8 0 550143433 331563008 7801 33554432000 4194304 4964704 140736386961200 18446744073709551615 4670219 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/8879/statm: 80948 7801 466 189 0 75297 0
[pid=8879/tid=8881] ppid=8877 vsize=323792 CPUtime=6.63 cores=0-7
/proc/8879/task/8881/stat : 8881 (claspmt) R 8877 8879 6630 0 -1 4202560 1208 0 0 0 663 0 0 0 25 0 8 0 550143438 331563008 7801 33554432000 4194304 4964704 140736386961200 18446744073709551615 4670263 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=8879/tid=8882] ppid=8877 vsize=323792 CPUtime=5.26 cores=0-7
/proc/8879/task/8882/stat : 8882 (claspmt) R 8877 8879 6630 0 -1 4202560 1053 0 0 0 526 0 0 0 25 0 8 0 550143438 331563008 7801 33554432000 4194304 4964704 140736386961200 18446744073709551615 4670230 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=8879/tid=8883] ppid=8877 vsize=323792 CPUtime=4.19 cores=0-7
/proc/8879/task/8883/stat : 8883 (claspmt) R 8877 8879 6630 0 -1 4202560 688 0 0 0 419 0 0 0 25 0 8 0 550143438 331563008 7801 33554432000 4194304 4964704 140736386961200 18446744073709551615 244447050222 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=8879/tid=8884] ppid=8877 vsize=323792 CPUtime=5.66 cores=0-7
/proc/8879/task/8884/stat : 8884 (claspmt) R 8877 8879 6630 0 -1 4202560 808 0 0 0 566 0 0 0 25 0 8 0 550143438 331563008 7801 33554432000 4194304 4964704 140736386961200 18446744073709551615 4668635 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=8879/tid=8885] ppid=8877 vsize=323792 CPUtime=6.63 cores=0-7
/proc/8879/task/8885/stat : 8885 (claspmt) R 8877 8879 6630 0 -1 4202560 647 0 0 0 663 0 0 0 25 0 8 0 550143438 331563008 7801 33554432000 4194304 4964704 140736386961200 18446744073709551615 4668654 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8879/tid=8886] ppid=8877 vsize=323792 CPUtime=6.22 cores=0-7
/proc/8879/task/8886/stat : 8886 (claspmt) R 8877 8879 6630 0 -1 4202560 756 0 0 0 622 0 0 0 25 0 8 0 550143438 331563008 7801 33554432000 4194304 4964704 140736386961200 18446744073709551615 4321038 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8879/tid=8887] ppid=8877 vsize=323792 CPUtime=5.26 cores=0-7
/proc/8879/task/8887/stat : 8887 (claspmt) R 8877 8879 6630 0 -1 4202560 1062 0 0 0 526 0 0 0 25 0 8 0 550143438 331563008 7801 33554432000 4194304 4964704 140736386961200 18446744073709551615 4670255 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 46.37
Current children cumulated vsize (KiB) 323792

[startup+7.50105 s]
/proc/loadavg: 9.23 9.15 9.10 10/329 8887
/proc/meminfo: memFree=10573564/32951124 swapFree=62859076/67111528
[pid=8879] ppid=8877 vsize=324408 CPUtime=51.95 cores=0-7
/proc/8879/stat : 8879 (claspmt) R 8877 8879 6630 0 -1 4202496 8457 0 0 0 5191 4 0 0 25 0 8 0 550143433 332193792 8076 33554432000 4194304 4964704 140736386961200 18446744073709551615 4670100 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/8879/statm: 81102 8076 466 189 0 75451 0
[pid=8879/tid=8881] ppid=8877 vsize=324408 CPUtime=7.42 cores=0-7
/proc/8879/task/8881/stat : 8881 (claspmt) R 8877 8879 6630 0 -1 4202560 1270 0 0 0 742 0 0 0 25 0 8 0 550143438 332193792 8076 33554432000 4194304 4964704 140736386961200 18446744073709551615 4670202 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=8879/tid=8882] ppid=8877 vsize=324408 CPUtime=5.8 cores=0-7
/proc/8879/task/8882/stat : 8882 (claspmt) R 8877 8879 6630 0 -1 4202560 1059 0 0 0 580 0 0 0 25 0 8 0 550143438 332193792 8076 33554432000 4194304 4964704 140736386961200 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=8879/tid=8883] ppid=8877 vsize=324408 CPUtime=4.45 cores=0-7
/proc/8879/task/8883/stat : 8883 (claspmt) R 8877 8879 6630 0 -1 4202560 689 0 0 0 445 0 0 0 25 0 8 0 550143438 332193792 8076 33554432000 4194304 4964704 140736386961200 18446744073709551615 4324956 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=8879/tid=8884] ppid=8877 vsize=324408 CPUtime=6.46 cores=0-7
/proc/8879/task/8884/stat : 8884 (claspmt) R 8877 8879 6630 0 -1 4202560 910 0 0 0 646 0 0 0 25 0 8 0 550143438 332193792 8076 33554432000 4194304 4964704 140736386961200 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=8879/tid=8885] ppid=8877 vsize=324408 CPUtime=7.43 cores=0-7
/proc/8879/task/8885/stat : 8885 (claspmt) R 8877 8879 6630 0 -1 4202560 665 0 0 0 743 0 0 0 25 0 8 0 550143438 332193792 8076 33554432000 4194304 4964704 140736386961200 18446744073709551615 4668629 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8879/tid=8886] ppid=8877 vsize=324408 CPUtime=7.01 cores=0-7
/proc/8879/task/8886/stat : 8886 (claspmt) R 8877 8879 6630 0 -1 4202560 775 0 0 0 701 0 0 0 25 0 8 0 550143438 332193792 8076 33554432000 4194304 4964704 140736386961200 18446744073709551615 4321059 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8879/tid=8887] ppid=8877 vsize=324408 CPUtime=6.06 cores=0-7
/proc/8879/task/8887/stat : 8887 (claspmt) R 8877 8879 6630 0 -1 4202560 1103 0 0 0 606 0 0 0 25 0 8 0 550143438 332193792 8076 33554432000 4194304 4964704 140736386961200 18446744073709551615 4462613 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 51.95
Current children cumulated vsize (KiB) 324408

[startup+8.30091 s]
/proc/loadavg: 9.23 9.15 9.10 10/329 8887
/proc/meminfo: memFree=10571836/32951124 swapFree=62859076/67111528
[pid=8879] ppid=8877 vsize=324944 CPUtime=57.54 cores=0-7
/proc/8879/stat : 8879 (claspmt) R 8877 8879 6630 0 -1 4202496 8850 0 0 0 5749 5 0 0 25 0 8 0 550143433 332742656 8469 33554432000 4194304 4964704 140736386961200 18446744073709551615 4321016 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/8879/statm: 81236 8469 466 189 0 75585 0
[pid=8879/tid=8881] ppid=8877 vsize=324944 CPUtime=8.22 cores=0-7
/proc/8879/task/8881/stat : 8881 (claspmt) R 8877 8879 6630 0 -1 4202560 1364 0 0 0 822 0 0 0 25 0 8 0 550143438 332742656 8469 33554432000 4194304 4964704 140736386961200 18446744073709551615 4320942 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=8879/tid=8882] ppid=8877 vsize=324944 CPUtime=6.55 cores=0-7
/proc/8879/task/8882/stat : 8882 (claspmt) R 8877 8879 6630 0 -1 4202560 1137 0 0 0 655 0 0 0 25 0 8 0 550143438 332742656 8469 33554432000 4194304 4964704 140736386961200 18446744073709551615 4670337 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=8879/tid=8883] ppid=8877 vsize=324944 CPUtime=5.07 cores=0-7
/proc/8879/task/8883/stat : 8883 (claspmt) R 8877 8879 6630 0 -1 4202560 692 0 0 0 507 0 0 0 25 0 8 0 550143438 332742656 8469 33554432000 4194304 4964704 140736386961200 18446744073709551615 4668820 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=8879/tid=8884] ppid=8877 vsize=324944 CPUtime=6.99 cores=0-7
/proc/8879/task/8884/stat : 8884 (claspmt) R 8877 8879 6630 0 -1 4202560 966 0 0 0 699 0 0 0 25 0 8 0 550143438 332742656 8469 33554432000 4194304 4964704 140736386961200 18446744073709551615 4320984 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=8879/tid=8885] ppid=8877 vsize=324944 CPUtime=8.23 cores=0-7
/proc/8879/task/8885/stat : 8885 (claspmt) R 8877 8879 6630 0 -1 4202560 701 0 0 0 823 0 0 0 25 0 8 0 550143438 332742656 8469 33554432000 4194304 4964704 140736386961200 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8879/tid=8886] ppid=8877 vsize=324944 CPUtime=7.82 cores=0-7
/proc/8879/task/8886/stat : 8886 (claspmt) R 8877 8879 6630 0 -1 4202560 820 0 0 0 781 1 0 0 25 0 8 0 550143438 332742656 8469 33554432000 4194304 4964704 140736386961200 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8879/tid=8887] ppid=8877 vsize=324944 CPUtime=6.56 cores=0-7
/proc/8879/task/8887/stat : 8887 (claspmt) R 8877 8879 6630 0 -1 4202560 1154 0 0 0 656 0 0 0 25 0 8 0 550143438 332742656 8469 33554432000 4194304 4964704 140736386961200 18446744073709551615 244447050222 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 57.54
Current children cumulated vsize (KiB) 324944

[startup+8.70083 s]
/proc/loadavg: 9.23 9.15 9.10 10/329 8887
/proc/meminfo: memFree=10571836/32951124 swapFree=62859076/67111528
[pid=8879] ppid=8877 vsize=324944 CPUtime=60.34 cores=0-7
/proc/8879/stat : 8879 (claspmt) R 8877 8879 6630 0 -1 4202496 8925 0 0 0 6029 5 0 0 25 0 8 0 550143433 332742656 8544 33554432000 4194304 4964704 140736386961200 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/8879/statm: 81236 8544 466 189 0 75585 0
[pid=8879/tid=8881] ppid=8877 vsize=324944 CPUtime=8.62 cores=0-7
/proc/8879/task/8881/stat : 8881 (claspmt) R 8877 8879 6630 0 -1 4202560 1364 0 0 0 862 0 0 0 25 0 8 0 550143438 332742656 8544 33554432000 4194304 4964704 140736386961200 18446744073709551615 4321042 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=8879/tid=8882] ppid=8877 vsize=324944 CPUtime=6.95 cores=0-7
/proc/8879/task/8882/stat : 8882 (claspmt) R 8877 8879 6630 0 -1 4202560 1193 0 0 0 695 0 0 0 25 0 8 0 550143438 332742656 8544 33554432000 4194304 4964704 140736386961200 18446744073709551615 4687032 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=8879/tid=8883] ppid=8877 vsize=324944 CPUtime=5.47 cores=0-7
/proc/8879/task/8883/stat : 8883 (claspmt) R 8877 8879 6630 0 -1 4202560 701 0 0 0 547 0 0 0 25 0 8 0 550143438 332742656 8544 33554432000 4194304 4964704 140736386961200 18446744073709551615 4669296 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=8879/tid=8884] ppid=8877 vsize=324944 CPUtime=7.2 cores=0-7
/proc/8879/task/8884/stat : 8884 (claspmt) R 8877 8879 6630 0 -1 4202560 972 0 0 0 720 0 0 0 25 0 8 0 550143438 332742656 8544 33554432000 4194304 4964704 140736386961200 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=8879/tid=8885] ppid=8877 vsize=324944 CPUtime=8.63 cores=0-7
/proc/8879/task/8885/stat : 8885 (claspmt) R 8877 8879 6630 0 -1 4202560 701 0 0 0 863 0 0 0 25 0 8 0 550143438 332742656 8544 33554432000 4194304 4964704 140736386961200 18446744073709551615 4668683 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8879/tid=8886] ppid=8877 vsize=324944 CPUtime=8.22 cores=0-7
/proc/8879/task/8886/stat : 8886 (claspmt) R 8877 8879 6630 0 -1 4202560 821 0 0 0 821 1 0 0 25 0 8 0 550143438 332742656 8544 33554432000 4194304 4964704 140736386961200 18446744073709551615 4668618 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8879/tid=8887] ppid=8877 vsize=324944 CPUtime=6.74 cores=0-7
/proc/8879/task/8887/stat : 8887 (claspmt) R 8877 8879 6630 0 -1 4202560 1154 0 0 0 674 0 0 0 25 0 8 0 550143438 332742656 8544 33554432000 4194304 4964704 140736386961200 18446744073709551615 4668609 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 60.34
Current children cumulated vsize (KiB) 324944

[startup+8.80081 s]
/proc/loadavg: 9.23 9.15 9.10 10/329 8887
/proc/meminfo: memFree=10571836/32951124 swapFree=62859076/67111528
[pid=8879] ppid=8877 vsize=324944 CPUtime=61.04 cores=0-7
/proc/8879/stat : 8879 (claspmt) R 8877 8879 6630 0 -1 4202496 8934 0 0 0 6099 5 0 0 25 0 8 0 550143433 332742656 8553 33554432000 4194304 4964704 140736386961200 18446744073709551615 4362191 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/8879/statm: 81236 8553 466 189 0 75585 0
[pid=8879/tid=8881] ppid=8877 vsize=324944 CPUtime=8.72 cores=0-7
/proc/8879/task/8881/stat : 8881 (claspmt) R 8877 8879 6630 0 -1 4202560 1364 0 0 0 872 0 0 0 25 0 8 0 550143438 332742656 8553 33554432000 4194304 4964704 140736386961200 18446744073709551615 4669333 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=8879/tid=8882] ppid=8877 vsize=324944 CPUtime=7.05 cores=0-7
/proc/8879/task/8882/stat : 8882 (claspmt) R 8877 8879 6630 0 -1 4202560 1194 0 0 0 705 0 0 0 25 0 8 0 550143438 332742656 8553 33554432000 4194304 4964704 140736386961200 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=8879/tid=8883] ppid=8877 vsize=324944 CPUtime=5.57 cores=0-7
/proc/8879/task/8883/stat : 8883 (claspmt) R 8877 8879 6630 0 -1 4202560 701 0 0 0 557 0 0 0 25 0 8 0 550143438 332742656 8553 33554432000 4194304 4964704 140736386961200 18446744073709551615 4668505 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=8879/tid=8884] ppid=8877 vsize=324944 CPUtime=7.29 cores=0-7
/proc/8879/task/8884/stat : 8884 (claspmt) R 8877 8879 6630 0 -1 4202560 980 0 0 0 729 0 0 0 25 0 8 0 550143438 332742656 8553 33554432000 4194304 4964704 140736386961200 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=8879/tid=8885] ppid=8877 vsize=324944 CPUtime=8.73 cores=0-7
/proc/8879/task/8885/stat : 8885 (claspmt) R 8877 8879 6630 0 -1 4202560 701 0 0 0 873 0 0 0 25 0 8 0 550143438 332742656 8553 33554432000 4194304 4964704 140736386961200 18446744073709551615 4321050 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8879/tid=8886] ppid=8877 vsize=324944 CPUtime=8.32 cores=0-7
/proc/8879/task/8886/stat : 8886 (claspmt) R 8877 8879 6630 0 -1 4202560 821 0 0 0 831 1 0 0 25 0 8 0 550143438 332742656 8553 33554432000 4194304 4964704 140736386961200 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8879/tid=8887] ppid=8877 vsize=324944 CPUtime=6.75 cores=0-7
/proc/8879/task/8887/stat : 8887 (claspmt) R 8877 8879 6630 0 -1 4202560 1154 0 0 0 675 0 0 0 25 0 8 0 550143438 332742656 8553 33554432000 4194304 4964704 140736386961200 18446744073709551615 4670250 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 61.04
Current children cumulated vsize (KiB) 324944

Child status: 10
Real time (s): 8.89846
CPU time (s): 61.6126
CPU user time (s): 61.5586
CPU system time (s): 0.053991
CPU usage (%): 692.397
Max. virtual memory (cumulated for all children) (KiB): 324944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 61.5586
system time used= 0.053991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8972
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= 3575
involuntary context switches= 568

runsolver used 0.029995 second user time and 0.06099 second system time

The end

Launcher Data 

Begin job on node105 at 2011-05-03 03:17:10
IDJOB=3322432
IDBENCH=83197
IDSOLVER=1711
FILE ID=node105/3322432-1304385430
RUNJOBID= node105-1304366469-6644
PBS_JOBID= 13181765
Free space on /tmp= 73616 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT11/crafted/skvortsov/automata-synchronization/rnd_100_32_s.cnf
COMMAND LINE= HOME/claspmt -tNBCORE -p HOME/sat11-port.txt --distribute=all,2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3322432-1304385430/watcher-3322432-1304385430 -o /tmp/evaluation-result-3322432-1304385430/solver-3322432-1304385430 -C 40000 -W 5100 -M 31000  HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3322432-1304385430.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= d21f62eebe8299bb166c60204a4db57a
RANDOM SEED=1615322757

node105.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.825
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.65
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.825
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.825
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.825
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.825
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	: 5410.70
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.825
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.825
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.825
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:      10603908 kB
Buffers:         29148 kB
Cached:         220888 kB
SwapCached:      27132 kB
Active:       10563336 kB
Inactive:     11563584 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      10603908 kB
SwapTotal:    67111528 kB
SwapFree:     62859076 kB
Dirty:            1308 kB
Writeback:           0 kB
AnonPages:    21851408 kB
Mapped:          22916 kB
Slab:            82292 kB
PageTables:      70896 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 67755272 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= 73616 MiB
End job on node105 at 2011-05-03 03:17:19