Trace number 3495870

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
MoUsSaka 2011-03-26UNSAT 2.77858 2.77911

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

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-3495870-1307808906/watcher-3495870-1307808906 -o /tmp/evaluation-result-3495870-1307808906/solver-3495870-1307808906 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495870-1307808906.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: 2.02 1.98 2.94 4/189 29349
/proc/meminfo: memFree=30344304/32951124 swapFree=67053176/67111528
[pid=29349] ppid=29347 vsize=12212 CPUtime=0 cores=5,7
/proc/29349/stat : 29349 (MoUsSaka) R 29347 29349 27623 0 -1 4202496 509 0 0 0 0 0 0 0 25 0 1 0 892488298 12505088 430 33554432000 4194304 4365125 140737420746016 18446744073709551615 4266165 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/29349/statm: 3053 430 261 42 0 201 0

[startup+0.079929 s]
/proc/loadavg: 2.02 1.98 2.94 4/189 29349
/proc/meminfo: memFree=30344304/32951124 swapFree=67053176/67111528
[pid=29349] ppid=29347 vsize=15908 CPUtime=0.07 cores=5,7
/proc/29349/stat : 29349 (MoUsSaka) R 29347 29349 27623 0 -1 4202496 2903 0 0 0 7 0 0 0 25 0 1 0 892488298 16289792 1105 33554432000 4194304 4365125 140737420746016 18446744073709551615 4266165 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/29349/statm: 3977 1105 264 42 0 1125 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15908

[startup+0.100935 s]
/proc/loadavg: 2.02 1.98 2.94 4/189 29349
/proc/meminfo: memFree=30344304/32951124 swapFree=67053176/67111528
[pid=29349] ppid=29347 vsize=15908 CPUtime=0.09 cores=5,7
/proc/29349/stat : 29349 (MoUsSaka) R 29347 29349 27623 0 -1 4202496 3007 0 0 0 9 0 0 0 25 0 1 0 892488298 16289792 1157 33554432000 4194304 4365125 140737420746016 18446744073709551615 4262681 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/29349/statm: 3977 1157 264 42 0 1125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15908

[startup+0.300887 s]
/proc/loadavg: 2.02 1.98 2.94 4/189 29349
/proc/meminfo: memFree=30344304/32951124 swapFree=67053176/67111528
[pid=29349] ppid=29347 vsize=17068 CPUtime=0.29 cores=5,7
/proc/29349/stat : 29349 (MoUsSaka) R 29347 29349 27623 0 -1 4202496 3783 0 0 0 29 0 0 0 25 0 1 0 892488298 17477632 1583 33554432000 4194304 4365125 140737420746016 18446744073709551615 4264062 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/29349/statm: 4267 1583 264 42 0 1415 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17068

[startup+0.700821 s]
/proc/loadavg: 2.02 1.98 2.94 4/189 29349
/proc/meminfo: memFree=30344304/32951124 swapFree=67053176/67111528
[pid=29349] ppid=29347 vsize=20456 CPUtime=0.69 cores=5,7
/proc/29349/stat : 29349 (MoUsSaka) R 29347 29349 27623 0 -1 4202496 4946 0 0 0 69 0 0 0 25 0 1 0 892488298 20946944 1960 33554432000 4194304 4365125 140737420746016 18446744073709551615 4261505 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/29349/statm: 5114 1960 264 42 0 2262 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20456

[startup+1.50068 s]
/proc/loadavg: 2.02 1.98 2.94 5/190 29350
/proc/meminfo: memFree=30312892/32951124 swapFree=67053176/67111528
[pid=29349] ppid=29347 vsize=22536 CPUtime=1.49 cores=5,7
/proc/29349/stat : 29349 (MoUsSaka) R 29347 29349 27623 0 -1 4202496 8471 0 0 0 149 0 0 0 25 0 1 0 892488298 23076864 2348 33554432000 4194304 4365125 140737420746016 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/29349/statm: 5634 2348 264 42 0 2782 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22536

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

[startup+2.30053 s]
/proc/loadavg: 2.18 2.02 2.94 5/190 29350
/proc/meminfo: memFree=30195588/32951124 swapFree=67053176/67111528
[pid=29349] ppid=29347 vsize=20504 CPUtime=2.29 cores=5,7
/proc/29349/stat : 29349 (MoUsSaka) R 29347 29349 27623 0 -1 4202496 9426 0 0 0 228 1 0 0 25 0 1 0 892488298 20996096 2198 33554432000 4194304 4365125 140737420746016 18446744073709551615 4262567 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/29349/statm: 5126 2198 264 42 0 2274 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 20504

[startup+2.70046 s]
/proc/loadavg: 2.18 2.02 2.94 5/190 29350
/proc/meminfo: memFree=30195588/32951124 swapFree=67053176/67111528
[pid=29349] ppid=29347 vsize=20504 CPUtime=2.69 cores=5,7
/proc/29349/stat : 29349 (MoUsSaka) R 29347 29349 27623 0 -1 4202496 9426 0 0 0 268 1 0 0 25 0 1 0 892488298 20996096 2198 33554432000 4194304 4365125 140737420746016 18446744073709551615 4247085 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/29349/statm: 5126 2198 264 42 0 2274 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 20504

Child status: 20
Real time (s): 2.77911
CPU time (s): 2.77858
CPU user time (s): 2.76458
CPU system time (s): 0.013997
CPU usage (%): 99.9807
Max. virtual memory (cumulated for all children) (KiB): 22536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.76458
system time used= 0.013997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9431
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= 4

runsolver used 0.006998 second user time and 0.012998 second system time

The end

Launcher Data 

Begin job on node137 at 2011-06-11 18:15:06
IDJOB=3495870
IDBENCH=89586
IDSOLVER=1989
FILE ID=node137/3495870-1307808906
RUNJOBID= node137-1307808879-28913
PBS_JOBID= 13551049
Free space on /tmp= 73948 MiB

SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT11/mus/marques-silva/bmc-default/queueinvar8.cnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495870-1307808906/watcher-3495870-1307808906 -o /tmp/evaluation-result-3495870-1307808906/solver-3495870-1307808906 -C 1800 -W 1850 -M 7680  MoUsSaka HOME/instance-3495870-1307808906.cnf

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

MD5SUM BENCH= 374c3e1861e0caa067678582c8928c5c
RANDOM SEED=330308202

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30345204 kB
Buffers:        280800 kB
Cached:         921876 kB
SwapCached:      12188 kB
Active:        1799496 kB
Inactive:       623464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30345204 kB
SwapTotal:    67111528 kB
SwapFree:     67053176 kB
Dirty:           14632 kB
Writeback:           0 kB
AnonPages:     1217976 kB
Mapped:           9776 kB
Slab:           115208 kB
PageTables:       8104 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1920040 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= 73948 MiB
End job on node137 at 2011-06-11 18:15:09