Trace number 3493511

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
MUSer 2011-02-10UNSAT 1.73973 1.74176

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 

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

Verifier Data 

OK	1888

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-3493511-1307798890/watcher-3493511-1307798890 -o /tmp/evaluation-result-3493511-1307798890/solver-3493511-1307798890 -C 1800 -W 1850 -M 7680 ./muser -comp HOME/instance-3493511-1307798890.cnf 

running on 2 cores: 0,2

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: 3.79 1.19 0.97 5/187 21077
/proc/meminfo: memFree=30809916/32951132 swapFree=67052544/67111528
[pid=21077] ppid=21075 vsize=2476 CPUtime=0 cores=0,2
/proc/21077/stat : 21077 (muser) R 21075 21077 19969 0 -1 4202496 403 0 0 0 0 0 0 0 19 0 1 0 891487671 2535424 355 33554432000 4194304 5696331 140736520629872 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21077/statm: 619 355 143 367 0 249 0

[startup+0.0575399 s]
/proc/loadavg: 3.79 1.19 0.97 5/187 21077
/proc/meminfo: memFree=30809916/32951132 swapFree=67052544/67111528
[pid=21077] ppid=21075 vsize=3004 CPUtime=0.05 cores=0,2
/proc/21077/stat : 21077 (muser) R 21075 21077 19969 0 -1 4202496 530 0 0 0 5 0 0 0 19 0 1 0 891487671 3076096 482 33554432000 4194304 5696331 140736520629872 18446744073709551615 4396987 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21077/statm: 751 482 143 367 0 381 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 3004

[startup+0.100525 s]
/proc/loadavg: 3.79 1.19 0.97 5/187 21077
/proc/meminfo: memFree=30809916/32951132 swapFree=67052544/67111528
[pid=21077] ppid=21075 vsize=3532 CPUtime=0.09 cores=0,2
/proc/21077/stat : 21077 (muser) R 21075 21077 19969 0 -1 4202496 646 0 0 0 9 0 0 0 19 0 1 0 891487671 3616768 598 33554432000 4194304 5696331 140736520629872 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21077/statm: 883 598 143 367 0 513 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3532

[startup+0.30047 s]
/proc/loadavg: 3.79 1.19 0.97 5/187 21077
/proc/meminfo: memFree=30809916/32951132 swapFree=67052544/67111528
[pid=21077] ppid=21075 vsize=4160 CPUtime=0.29 cores=0,2
/proc/21077/stat : 21077 (muser) R 21075 21077 19969 0 -1 4202496 775 0 0 0 29 0 0 0 20 0 1 0 891487671 4259840 727 33554432000 4194304 5696331 140736520629872 18446744073709551615 4416018 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21077/statm: 1040 727 149 367 0 670 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4160

[startup+0.7004 s]
/proc/loadavg: 3.79 1.19 0.97 5/187 21077
/proc/meminfo: memFree=30809916/32951132 swapFree=67052544/67111528
[pid=21077] ppid=21075 vsize=5860 CPUtime=0.69 cores=0,2
/proc/21077/stat : 21077 (muser) R 21075 21077 19969 0 -1 4202496 1243 0 0 0 69 0 0 0 20 0 1 0 891487671 6000640 1195 33554432000 4194304 5696331 140736520629872 18446744073709551615 4380800 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21077/statm: 1465 1195 150 367 0 1095 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5860

[startup+1.50029 s]
/proc/loadavg: 3.79 1.19 0.97 5/188 21078
/proc/meminfo: memFree=30804352/32951132 swapFree=67052544/67111528
[pid=21077] ppid=21075 vsize=7392 CPUtime=1.49 cores=0,2
/proc/21077/stat : 21077 (muser) R 21075 21077 19969 0 -1 4202496 1607 0 0 0 149 0 0 0 23 0 1 0 891487671 7569408 1559 33554432000 4194304 5696331 140736520629872 18446744073709551615 4400214 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21077/statm: 1848 1559 150 367 0 1478 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7392

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

[startup+1.70025 s]
/proc/loadavg: 3.79 1.19 0.97 5/188 21078
/proc/meminfo: memFree=30804352/32951132 swapFree=67052544/67111528
[pid=21077] ppid=21075 vsize=7392 CPUtime=1.69 cores=0,2
/proc/21077/stat : 21077 (muser) R 21075 21077 19969 0 -1 4202496 1620 0 0 0 169 0 0 0 24 0 1 0 891487671 7569408 1572 33554432000 4194304 5696331 140736520629872 18446744073709551615 4380981 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/21077/statm: 1848 1572 150 367 0 1478 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 7392

Child status: 20
Real time (s): 1.74176
CPU time (s): 1.73973
CPU user time (s): 1.73474
CPU system time (s): 0.004999
CPU usage (%): 99.8836
Max. virtual memory (cumulated for all children) (KiB): 7392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.73474
system time used= 0.004999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1621
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 3

runsolver used 0.003999 second user time and 0.007998 second system time

The end

Launcher Data 

Begin job on node128 at 2011-06-11 15:28:10
IDJOB=3493511
IDBENCH=89586
IDSOLVER=1969
FILE ID=node128/3493511-1307798890
RUNJOBID= node128-1307798835-20447
PBS_JOBID= 13551022
Free space on /tmp= 74092 MiB

SOLVER NAME= MUSer 2011-02-10
BENCH NAME= SAT11/mus/marques-silva/bmc-default/queueinvar8.cnf
COMMAND LINE= ./muser -comp BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493511-1307798890/watcher-3493511-1307798890 -o /tmp/evaluation-result-3493511-1307798890/solver-3493511-1307798890 -C 1800 -W 1850 -M 7680  ./muser -comp HOME/instance-3493511-1307798890.cnf

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

MD5SUM BENCH= 374c3e1861e0caa067678582c8928c5c
RANDOM SEED=2119941405

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      30810584 kB
Buffers:        272420 kB
Cached:         958664 kB
SwapCached:      11368 kB
Active:        1016772 kB
Inactive:       918136 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      30810584 kB
SwapTotal:    67111528 kB
SwapFree:     67052544 kB
Dirty:           37512 kB
Writeback:           0 kB
AnonPages:      701904 kB
Mapped:          11988 kB
Slab:           140188 kB
PageTables:       6544 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   940456 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74092 MiB
End job on node128 at 2011-06-11 15:28:12