Trace number 3493513

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
MiniUnsat2 2011-02-22UNSAT 2.08268 2.08351

General information on the benchmark

Namemus/marques-silva/
bmc-default/queueinvar8.cnf
MD5SUM374c3e1861e0caa067678582c8928c5c
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.839871
Satisfiable
(Un)Satisfiability was proved
Number of variables512
Number of clauses2273
Sum of the clauses size5878
Maximum clause length23
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21681
Number of clauses of size 3271
Number of clauses of size 460
Number of clauses of size 5197
Number of clauses of size over 564

Solver Data 

1.99/2.08	s UNSATISFIABLE
1.99/2.08	v 2125 1689 2148 663 690 719 746 775 802 831 858 887 914 943 970 999 1026 1055 1082 1226 1230 1233 1686 1692 1782 1787 1792 1797 1802 1807 1812 1817 1831 1836 1841 1846 1851 1856 1861 1866 1880 1885 1890 1895 1900 1905 1910 1915 1929 1934 1939 1944 1949 1954 1959 1964 1978 1983 1988 1993 1998 2003 2008 2013 2027 2032 2037 2042 2047 2052 2057 2062 2076 2081 2086 2091 2096 2101 2106 2111 2124 2129 2134 2139 2144 2152 2157 2162 2167 2171 2147 662 689 718 745 774 801 830 857 886 913 942 969 998 1025 1054 1081 1187 1682 1685 1781 1786 1791 1796 1801 1806 1811 1816 1830 1835 1840 1845 1850 1855 1860 1865 1879 1884 1889 1894 1899 1904 1909 1914 1928 1933 1938 1943 1948 1953 1958 1963 1977 1982 1987 1992 1997 2002 2007 2012 2026 2031 2036 2041 2046 2051 2056 2061 2075 2080 2085 2090 2095 2100 2105 2110 2128 2133 2138 2143 2151 2156 2161 2166 2170 1229 2123 661 688 717 744 773 800 829 856 885 912 941 968 997 1024 1053 1080 1167 1780 1785 1790 1795 1800 1805 1810 1815 1829 1834 1839 1844 1849 1854 1859 1864 1878 1883 1888 1893 1898 1903 1908 1913 1927 1932 1937 1942 1947 1952 1957 1962 1976 1981 1986 1991 1996 2001 2006 2011 2025 2030 2035 2040 2045 2050 2055 2060 2074 2079 2084 2089 2094 2099 2104 2109 2127 2132 2137 2142 2150 2155 2160 2165 2169 107 2245 104 110 194 215 220 225 230 235 240 245 250 268 273 278 283 288 293 298 303 321 326 331 336 341 346 351 356 374 379 384 389 394 399 404 409 427 432 437 442 447 452 457 462 480 485 490 495 500 505 510 515 533 538 543 548 553 558 563 568 609 614 619 624 629 634 639 644 2246 2247 100 103 193 214 219 224 229 234 239 244 249 267 272 277 282 287 292 297 302 320 325 330 335 340 345 350 355 373 378 383 388 393 398 403 408 426 431 436 441 446 451 456 461 479 484 489 494 499 504 509 514 532 537 542 547 552 557 562 567 608 613 618 623 628 633 638 643 2248 2249 192 213 218 223 228 233 238 243 248 266 271 276 281 286 291 296 301 319 324 329 334 339 344 349 354 372 377 382 387 392 397 402 407 425 430 435 440 445 450 455 460 478 483 488 493 498 503 508 513 531 536 541 546 551 556 561 566 607 612 617 622 627 632 637 642 1779 2250 1589 1778 2200 1777 2201 2202 1766 1583 1762 2209 2210 672 677 695 728 733 751 784 789 807 840 845 863 896 901 919 952 957 975 1008 1013 1031 1064 1069 1087 1149 1152 1582 1752 1765 1751 1764 1539 1591 1761 2207 2208 671 676 694 727 732 750 783 788 806 839 844 862 895 900 918 951 956 974 1007 1012 1030 1063 1068 1086 1126 1519 1581 2205 2206 670 675 693 726 731 749 782 787 805 838 843 861 894 899 917 950 955 973 1006 1011 1029 1062 1067 1085 1108 1593 2204 1518 1538 1144 674 697 730 753 786 809 842 865 898 921 954 977 1010 1033 1066 1089 1609 1627 1690 669 725 781 837 893 949 1005 1061 1116 1134 1157 1278 1290 1303 1315 1328 1340 1353 1365 1378 1404 1417 1504 1517 1523 1687 1693 1537 1608 1253 1327 1339 1352 1527 1547 1548 1683 1694 1549 1626 1117 1135 1158 1279 1285 1302 1304 1314 1329 1335 1354 1377 1379 1389 1403 1405 1416 1427 1452 1478 1119 1137 1160 1252 1276 1301 1306 1331 1356 1381 1407 1429 1480 1526 1590 1351 1363 1376 1388 1402 1415 1525 687 743 799 855 911 967 1023 1079 1180 1200 1239 1293 1318 1343 1368 1393 1420 1439 1464 1490 2211 1511 1436 1514 1536 1401 1430 709 765 821 877 933 989 1045 1101 1145 1146 1267 1291 1316 1341 1366 1391 1418 1437 682 683 738 739 794 795 850 851 906 907 962 963 1018 1019 1074 1075 1147 1224 2241 684 740 796 852 908 964 1020 1076 1270 1578 1579 2221 108 183 207 660 716 772 828 884 940 996 1052 1249 1272 1544 1596 2223 2251 105 111 187 199 206 2222 2239 2252 101 112 182 2198 2224 2225 2237 2253 2257 2259 2261 2263 2265 2267 2269 2271 4 14 24 34 186 198 205 2185 2187 2189 2191 2193 2195 2196 2197 2220 2235 2240 2242 2254 2255 5 8 13 28 33 78 152 185 197 216 221 226 231 236 241 246 251 269 274 279 284 289 294 299 304 322 327 332 337 342 347 352 357 375 380 385 390 395 400 405 410 428 433 438 443 448 453 458 463 481 486 491 496 501 506 511 516 534 539 544 549 554 559 564 569 610 615 620 625 630 635 640 645 666 722 778 834 890 946 1002 1058 1551 1783 1788 1793 1798 1803 1808 1813 1818 1832 1837 1842 1847 1852 1857 1862 1867 1881 1886 1891 1896 1901 1906 1911 1916 1930 1935 1940 1945 1950 1955 1960 1965 1979 1984 1989 1994 1999 2004 2009 2014 2028 2033 2038 2043 2048 2053 2058 2063 2077 2082 2087 2092 2097 2102 2107 2112 2130 2135 2140 2145 2153 2158 2163 2172 2183 2194 2226 2233 2238 2256 2258 2260 2262 2264 2266 2268 2270 2272 2192 2231 2236 17 22 27 32 1111 1129 1720 1721 1722 2190 2229 2234 1179 1199 1238 1246 2188 2212 2219 2227 2232 1114 1132 1155 2186 2213 2230 2243 1107 1125 1148 1166 1177 1186 1197 1223 1225 1236 1468 1470 1494 1496 1531 1533 2214 2228 115 116 117 178 179 180 201 202 252 253 254 255 256 257 258 259 305 306 307 308 309 310 311 312 358 359 360 361 362 363 364 365 411 412 413 414 415 416 417 418 464 465 466 467 468 469 470 471 517 518 519 520 521 522 523 524 570 571 572 573 574 575 576 577 646 647 648 649 650 651 652 653 664 685 720 741 776 797 832 853 888 909 944 965 1000 1021 1056 1077 1174 1194 1218 1219 1220 1283 1294 1308 1319 1333 1344 1358 1369 1383 1394 1409 1421 1440 1456 1465 1482 1491 1566 1567 1568 1695 1696 1697 2184 2215 2244 146 191 200 678 679 703 704 708 712 713 714 734 735 759 760 764 768 769 770 790 791 815 816 820 824 825 826 846 847 871 872 876 880 881 882 902 903 927 928 932 936 937 938 958 959 983 984 988 992 993 994 1014 1015 1039 1040 1044 1048 1049 1050 1070 1071 1095 1096 1100 1104 1105 1106 1115 1120 1123 1124 1133 1138 1141 1142 1156 1161 1164 1165 1178 1181 1184 1185 1198 1201 1204 1205 1237 1240 1243 1244 1250 1258 1273 1274 1282 1297 1298 1299 1307 1322 1323 1324 1332 1347 1348 1349 1357 1372 1373 1374 1382 1397 1398 1399 1408 1424 1425 1426 1431 1443 1444 1445 1469 1471 1495 1497 1532 1534 1597 1634 1635 1636 1637 1638 1639 1640 1641 1642 1643 1644 1645 1646 1647 1648 1649 1650 1651 1652 1653 1654 1655 1656 1657 1658 1659 1660 1662 1663 1664 1665 1666 1667 1668 1821 1822 1823 1824 1825 1826 1827 1828 1870 1871 1872 1873 1874 1875 1876 1877 1919 1920 1921 1922 1923 1924 1925 1926 1968 1969 1970 1971 1972 1973 1974 1975 2017 2018 2019 2020 2021 2022 2023 2024 2066 2067 2068 2069 2070 2071 2072 2073 2115 2116 2117 2118 2119 2120 2121 2122 2175 2176 2177 2178 2179 2180 2181 2182 2216 2217 2273 10 15 20 25 30 35 79 147 153 2149 1189 1190 1191 1192 1206 1207 1208 1209 1554 1707 1708 1709 1710 1210 1211 1212 1213 1711 1712 1713 1714 1688 1214 1215 1216 1217 1669 1670 1671 1672 1715 1716 1717 1718 1673 1676 1674 1675 1681 1699 1702 1700 1701 1234 1227 1558 1559 1188 1562 1563 1168 1170 1171 1169 1730 1731 1732 1733 1763 80 83 81 82 109 132 133 158 159 160 161 88 91 89 90 102 136 137 118 121 119 120 140 141 166 167 168 169 1628 174 175 176 177 1472 1474 1484 1486 1610 1473 1475 1485 1487 1150 1153 1127 1739 1740 1109 1738 1295 1320 1448 1460 1345 1446 1370 1447 1459 1247 1395 1461 1422 1441 162 163 164 165 184 1222 38 263 316 369 1595 422 1248 475 86 87 528 581 98 99 171 172 264 657 1112 1130 128 129 156 170 173 317 370 423 1570 122 125 476 680 702 736 758 792 814 848 870 904 926 960 982 1016 1038 1072 1094 1113 1131 1154 93 94 157 203 210 529 1122 1140 1163 1175 1176 1195 1196 1235 1704 1705 92 95 123 124 189 582 1677 1680 658 1183 1203 1242 1678 1679 1703 1706 211 2126 1684 195 1691 106 1767 1776 1594 1584 1375 1275 1300 1325 1350 1251 113 1546 1553 1182 1202 1241 151 204 42 667 723 779 835 891 947 1003 1059 1423 1296 1321 1346 1371 1396 711 767 823 879 935 991 1047 1103 1442 114 1698 1719 145 181 1221 1784 1789 1794 1799 1804 1809 1814 1819 1833 1838 1843 1848 1853 1858 1863 1868 1882 1887 1892 1897 1902 1907 1912 1917 1931 1936 1941 1946 1951 1956 1961 1966 1980 1985 1990 1995 2000 2005 2010 2015 2029 2034 2039 2044 2049 2054 2059 2064 2078 2083 2088 2093 2098 2103 2108 2113 2131 2136 2141 2146 2154 2159 2164 2173 212 217 222 227 232 237 242 247 265 270 275 280 285 290 295 300 318 323 328 333 338 343 348 353 371 376 381 386 391 396 401 406 424 429 434 439 444 449 454 459 477 482 487 492 497 502 507 512 530 535 540 545 550 555 560 565 606 611 616 621 626 631 636 641 668 696 724 752 780 808 836 864 892 920 948 976 1004 1032 1060 1088 673 701 729 757 785 813 841 869 897 925 953 981 1009 1037 1065 1093 1573 1529 1535 1400 1625 1633 1602 1607 1615 1620 2218 1524 1143 1466 1492 681 737 793 849 905 961 1017 1073 47 196 1467 1493 1530 691 747 803 859 915 971 1027 1083 1121 1139 1162 1545 1438 1432 710 766 822 878 934 990 1046 1102 1260 1284 1585 1309 1334 1359 1384 1410 1269 53 1512 60 1392 1292 1317 1342 1367 1268 1505 1457 1483 68 1419 77 260 313 366 419 472 525 578 654 1820 1869 1918 1967 2016 2065 2114 2174 605 0

Verifier Data 

OK	1896

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3493513-1307810666/watcher-3493513-1307810666 -o /tmp/evaluation-result-3493513-1307810666/solver-3493513-1307810666 -C 1800 -W 1850 -M 7680 munsat2_release -rnd-seed=848881077 -verb=0 HOME/instance-3493513-1307810666.cnf 

running on 2 cores: 5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 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: 0.95 1.44 2.24 4/186 19617
/proc/meminfo: memFree=31803312/32950940 swapFree=67074964/67111528
[pid=19617] ppid=19615 vsize=19488 CPUtime=0 cores=5,7
/proc/19617/stat : 19617 (munsat2_release) R 19615 19617 17737 0 -1 4202496 467 0 0 0 0 0 0 0 25 0 1 0 971297402 19955712 404 33554432000 4194304 4258824 140734802896016 18446744073709551615 215988253381 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19617/statm: 4872 404 231 16 0 1514 0

[startup+0.014515 s]
/proc/loadavg: 0.95 1.44 2.24 4/186 19617
/proc/meminfo: memFree=31803312/32950940 swapFree=67074964/67111528
[pid=19617] ppid=19615 vsize=19592 CPUtime=0.01 cores=5,7
/proc/19617/stat : 19617 (munsat2_release) R 19615 19617 17737 0 -1 4202496 483 0 0 0 1 0 0 0 25 0 1 0 971297402 20062208 411 33554432000 4194304 4258824 140734802896016 18446744073709551615 4218808 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19617/statm: 4898 411 231 16 0 1540 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 19592

[startup+0.100503 s]
/proc/loadavg: 0.95 1.44 2.24 4/186 19617
/proc/meminfo: memFree=31803312/32950940 swapFree=67074964/67111528
[pid=19617] ppid=19615 vsize=19592 CPUtime=0.09 cores=5,7
/proc/19617/stat : 19617 (munsat2_release) R 19615 19617 17737 0 -1 4202496 497 0 0 0 9 0 0 0 25 0 1 0 971297402 20062208 425 33554432000 4194304 4258824 140734802896016 18446744073709551615 4239349 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19617/statm: 4898 425 231 16 0 1540 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19592

[startup+0.300469 s]
/proc/loadavg: 0.95 1.44 2.24 4/186 19617
/proc/meminfo: memFree=31803312/32950940 swapFree=67074964/67111528
[pid=19617] ppid=19615 vsize=19724 CPUtime=0.29 cores=5,7
/proc/19617/stat : 19617 (munsat2_release) R 19615 19617 17737 0 -1 4202496 542 0 0 0 29 0 0 0 25 0 1 0 971297402 20197376 470 33554432000 4194304 4258824 140734802896016 18446744073709551615 4225129 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19617/statm: 4931 470 238 16 0 1573 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19724

[startup+0.700399 s]
/proc/loadavg: 0.95 1.44 2.24 4/186 19617
/proc/meminfo: memFree=31803312/32950940 swapFree=67074964/67111528
[pid=19617] ppid=19615 vsize=19876 CPUtime=0.69 cores=5,7
/proc/19617/stat : 19617 (munsat2_release) R 19615 19617 17737 0 -1 4202496 584 0 0 0 69 0 0 0 25 0 1 0 971297402 20353024 509 33554432000 4194304 4258824 140734802896016 18446744073709551615 4207396 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19617/statm: 4969 509 238 16 0 1611 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19876

[startup+1.50026 s]
/proc/loadavg: 0.95 1.44 2.24 5/190 19628
/proc/meminfo: memFree=31584576/32950940 swapFree=67074964/67111528
[pid=19617] ppid=19615 vsize=20152 CPUtime=1.49 cores=5,7
/proc/19617/stat : 19617 (munsat2_release) R 19615 19617 17737 0 -1 4202496 666 0 0 0 149 0 0 0 25 0 1 0 971297402 20635648 591 33554432000 4194304 4258824 140734802896016 18446744073709551615 4225225 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19617/statm: 5038 591 238 16 0 1680 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20152

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

[startup+1.90019 s]
/proc/loadavg: 0.95 1.44 2.24 5/190 19628
/proc/meminfo: memFree=31584576/32950940 swapFree=67074964/67111528
[pid=19617] ppid=19615 vsize=20292 CPUtime=1.89 cores=5,7
/proc/19617/stat : 19617 (munsat2_release) R 19615 19617 17737 0 -1 4202496 701 0 0 0 189 0 0 0 25 0 1 0 971297402 20779008 626 33554432000 4194304 4258824 140734802896016 18446744073709551615 4225201 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19617/statm: 5073 626 238 16 0 1715 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 20292

[startup+2.00017 s]
/proc/loadavg: 0.95 1.44 2.24 5/190 19628
/proc/meminfo: memFree=31584576/32950940 swapFree=67074964/67111528
[pid=19617] ppid=19615 vsize=20424 CPUtime=1.99 cores=5,7
/proc/19617/stat : 19617 (munsat2_release) R 19615 19617 17737 0 -1 4202496 724 0 0 0 199 0 0 0 25 0 1 0 971297402 20914176 649 33554432000 4194304 4258824 140734802896016 18446744073709551615 4220921 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19617/statm: 5106 649 238 16 0 1748 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 20424

Child status: 0
Real time (s): 2.08351
CPU time (s): 2.08268
CPU user time (s): 2.08168
CPU system time (s): 0.000999
CPU usage (%): 99.9604
Max. virtual memory (cumulated for all children) (KiB): 20424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.08168
system time used= 0.000999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 759
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= 4
involuntary context switches= 17

runsolver used 0.003999 second user time and 0.013997 second system time

The end

Launcher Data 

Begin job on node117 at 2011-06-11 18:44:26
IDJOB=3493513
IDBENCH=89586
IDSOLVER=1973
FILE ID=node117/3493513-1307810666
RUNJOBID= node117-1307810666-19534
PBS_JOBID= 13551060
Free space on /tmp= 74004 MiB

SOLVER NAME= MiniUnsat2 2011-02-22
BENCH NAME= SAT11/mus/marques-silva/bmc-default/queueinvar8.cnf
COMMAND LINE= munsat2_release -rnd-seed=RANDOMSEED -verb=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493513-1307810666/watcher-3493513-1307810666 -o /tmp/evaluation-result-3493513-1307810666/solver-3493513-1307810666 -C 1800 -W 1850 -M 7680  munsat2_release -rnd-seed=848881077 -verb=0 HOME/instance-3493513-1307810666.cnf

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

MD5SUM BENCH= 374c3e1861e0caa067678582c8928c5c
RANDOM SEED=848881077

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
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.849
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.75
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.849
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.849
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.849
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	: 5267.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      31804080 kB
Buffers:        168476 kB
Cached:         729564 kB
SwapCached:       6164 kB
Active:         422596 kB
Inactive:       572820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      31804080 kB
SwapTotal:    67111528 kB
SwapFree:     67074964 kB
Dirty:           21356 kB
Writeback:           0 kB
AnonPages:       94572 kB
Mapped:          14096 kB
Slab:            85904 kB
PageTables:       4792 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:   297700 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= 73996 MiB
End job on node117 at 2011-06-11 18:44:28