Trace number 3483355

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 6.40902 6.41164

General information on the benchmark

Namemus/marques-silva/
atpg/ssa2670-140.cnf
MD5SUMd3fc5dc0bd9079817cfd35d259259325
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.285955
Satisfiable
(Un)Satisfiability was proved
Number of variables1327
Number of clauses3201
Sum of the clauses size7397
Maximum clause length5
Minimum clause length1
Number of clauses of size 14
Number of clauses of size 22406
Number of clauses of size 3603
Number of clauses of size 4168
Number of clauses of size 520
Number of clauses of size over 50

Solver Data 

6.39/6.41	s UNSATISFIABLE
6.39/6.41	v 130 86 88 90 92 94 96 98 100 102 104 106 108 110 112 114 116 122 124 126 132 134 136 138 140 662 664 667 669 672 674 121 123 131 133 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 647 648 649 650 651 652 653 654 655 657 658 660 663 665 666 668 670 671 673 675 676 677 678 679 680 681 682 683 85 87 89 91 93 95 97 99 101 105 107 109 111 113 117 119 125 127 129 135 137 139 996 1000 1002 1004 1006 763 995 999 1003 1264 1266 1268 1270 1272 1274 1276 1278 1280 698 700 708 765 773 775 1095 1097 692 693 694 695 696 697 699 701 702 703 704 705 706 707 709 710 711 762 870 872 880 952 954 960 1129 1131 1263 1265 1267 1269 1271 1273 1275 1277 1279 558 560 562 566 726 764 772 774 951 953 1094 1096 1130 1245 1246 1247 1248 1249 1250 1251 1252 1253 1254 1255 1256 1257 1258 1259 1260 1261 1262 367 369 551 552 553 554 555 556 557 559 561 563 564 565 599 605 869 871 879 959 1090 1128 1421 1423 1641 58 66 788 790 792 1016 1018 1020 1053 1294 1296 1341 1343 1387 1389 1511 1513 1571 1573 1575 1577 1579 1600 1662 64 79 366 368 568 592 598 604 619 848 849 850 851 949 1035 1037 1051 1153 1154 1155 1156 1159 1160 1163 1164 1235 1287 1314 1331 1372 1379 1407 1409 1420 1422 1468 1470 1508 1525 1540 1550 1563 1570 1572 1574 1576 1578 1584 1602 1603 1604 1605 1606 1607 1608 1609 1610 1651 1653 1660 1748 1750 1752 1754 1764 1770 1787 1797 1806 1808 1816 1840 1842 1844 1856 52 53 63 65 70 71 81 570 590 617 720 721 722 723 724 725 739 741 743 787 791 833 834 835 860 861 864 910 911 912 945 1017 1021 1025 1027 1034 1036 1043 1052 1056 1058 1070 1072 1178 1221 1223 1225 1233 1289 1293 1295 1316 1321 1322 1323 1324 1333 1340 1342 1359 1360 1361 1363 1370 1377 1386 1388 1446 1448 1505 1512 1517 1523 1538 1548 1565 1587 1599 1615 1616 1619 1624 1625 1628 1642 1643 1644 1657 1661 1663 1676 1683 1684 1685 1686 1687 1688 1691 1692 1693 1700 1701 1702 1747 1749 1751 1753 1759 1760 1762 1768 1789 1795 1802 1803 1804 1805 1807 1810 1818 1831 1833 1853 1855 1857 60 78 567 576 577 578 579 591 620 684 685 686 687 712 713 714 715 716 717 718 719 731 734 738 740 742 748 749 754 756 757 760 761 793 795 805 807 822 824 831 832 842 843 844 845 862 863 899 901 908 909 915 916 917 918 946 947 979 980 981 982 983 984 1024 1026 1041 1050 1057 1059 1071 1073 1111 1113 1147 1148 1149 1150 1165 1176 1177 1179 1180 1220 1222 1224 1231 1234 1286 1310 1311 1312 1313 1315 1332 1357 1358 1362 1368 1373 1380 1406 1408 1410 1411 1412 1413 1500 1502 1526 1541 1551 1564 1588 1601 1611 1612 1613 1614 1617 1618 1626 1627 1631 1632 1633 1634 1637 1638 1652 1654 1655 1656 1658 1659 1689 1690 1698 1699 1705 1706 1707 1708 1711 1712 1763 1771 1778 1780 1788 1796 1801 1809 1815 1839 1841 1845 1846 1847 1852 1854 67 69 72 73 80 82 83 84 569 571 572 573 589 593 594 595 618 621 622 623 730 732 733 735 736 737 745 746 750 794 796 806 808 821 823 825 828 829 830 892 893 894 895 896 897 898 900 902 903 904 905 906 931 932 933 934 948 950 1040 1042 1044 1047 1048 1049 1107 1109 1110 1112 1116 1117 1167 1189 1198 1199 1211 1214 1215 1216 1217 1218 1219 1226 1227 1228 1229 1232 1236 1237 1238 1239 1240 1241 1242 1288 1290 1291 1292 1317 1318 1319 1320 1334 1335 1336 1337 1364 1365 1366 1367 1371 1374 1375 1376 1378 1381 1382 1383 1414 1415 1418 1419 1439 1440 1441 1443 1444 1445 1447 1449 1450 1451 1452 1453 1454 1455 1464 1469 1471 1472 1473 1474 1475 1489 1514 1516 1518 1519 1520 1524 1527 1528 1529 1530 1531 1534 1535 1539 1542 1543 1544 1549 1552 1553 1554 1555 1556 1559 1560 1566 1567 1568 1569 1580 1581 1582 1583 1593 1596 1645 1646 1648 1649 1650 1670 1671 1674 1675 1682 1720 1727 1728 1744 1755 1758 1761 1765 1766 1767 1769 1772 1773 1774 1777 1779 1782 1783 1785 1786 1790 1791 1792 1793 1794 1798 1799 1800 1811 1812 1813 1814 1817 1819 1820 1821 1824 1825 1827 1828 1829 1830 1832 1834 1835 1836 1858 1859 1860 1875 74 75 76 77 574 575 584 585 586 587 588 615 616 727 728 729 751 752 819 836 837 846 847 865 890 913 914 929 930 974 975 976 1108 1141 1142 1151 1152 1166 1168 1170 1172 1173 1182 1183 1184 1185 1186 1187 1188 1190 1191 1192 1193 1194 1195 1196 1197 1200 1201 1202 1203 1204 1205 1206 1207 1208 1209 1210 1212 1213 1338 1339 1384 1385 1403 1465 1466 1476 1477 1478 1479 1480 1481 1482 1483 1484 1485 1486 1487 1488 1490 1491 1492 1493 1494 1495 1496 1497 1498 1521 1522 1536 1537 1545 1546 1547 1561 1562 1586 1589 1590 1591 1592 1597 1598 1620 1621 1622 1623 1629 1639 1664 1665 1666 1667 1668 1669 1677 1679 1681 1694 1695 1696 1697 1703 1713 1715 1716 1717 1718 1719 1721 1722 1723 1724 1725 1726 1729 1730 1731 1732 1733 1734 1735 1736 1737 1738 1739 1740 1741 1742 1743 1745 1746 1775 1776 1822 1837 1838 1848 1850 1851 1861 1862 1863 1864 1865 1866 1867 1868 1869 1870 1871 1872 1873 1874 1876 1877 1878 2765 2503 2504 2565 2566 2676 2705 2574 2575 2680 2681 2686 2687 2689 2706 2707 2716 2717 2751 2480 2481 2482 2492 2541 2542 2615 2643 2704 2732 2734 2735 2758 2760 2761 2441 2512 2513 2518 2534 2535 2573 2625 2626 2628 2669 2670 2690 2691 2692 2694 2699 2713 2714 2715 2722 2727 2736 2741 2754 2435 2436 2440 2490 2491 2506 2507 2510 2511 2533 2540 2568 2569 2571 2572 2589 2590 2613 2642 2667 2675 2677 2678 2679 2749 2750 2752 2753 2755 2438 2487 2514 2515 2519 2520 2536 2537 2577 2578 2604 2638 2666 2683 2684 2695 2696 2700 2701 2709 2710 2719 2720 2737 2738 2742 2743 2764 2442 2443 2444 2484 2485 2486 2488 2489 2493 2509 2516 2517 2521 2531 2538 2539 2543 2591 2592 2602 2603 2605 2606 2607 2608 2609 2610 2611 2612 2639 2640 2653 2663 2664 2665 2671 2672 2673 2697 2698 2702 2703 2723 2724 2725 2726 2728 2729 2730 2731 2739 2740 2744 2745 2746 2747 2748 2756 2757 2762 2763 2766 3071 3114 3039 3109 3110 3111 3112 3124 3125 3095 3123 3014 3031 3033 3038 3072 3073 3075 3081 3082 3088 3089 3101 3103 3104 3106 3107 3108 3115 3116 3117 3118 3119 3120 3121 3122 3032 3055 3102 3105 3113 3126 3189 3192 3184 3185 3193 3186 3187 3188 3190 3191 3194 3195 3196 3197 3198 4 128 0

Verifier Data 

OK	1272

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-3483355-1307802747/watcher-3483355-1307802747 -o /tmp/evaluation-result-3483355-1307802747/solver-3483355-1307802747 -C 1800 -W 1850 -M 7680 munsat2_release -rnd-seed=1520549956 -verb=0 HOME/instance-3483355-1307802747.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: 4.11 4.03 3.61 4/187 21753
/proc/meminfo: memFree=31056284/32951132 swapFree=67052544/67111528
[pid=21753] ppid=21751 vsize=19756 CPUtime=0 cores=0,2
/proc/21753/stat : 21753 (munsat2_release) R 21751 21753 21227 0 -1 4202496 530 0 0 0 0 0 0 0 25 0 1 0 891873336 20230144 466 33554432000 4194304 4258824 140734434375840 18446744073709551615 242970211013 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21753/statm: 4939 466 231 16 0 1581 0

[startup+0.01135 s]
/proc/loadavg: 4.11 4.03 3.61 4/187 21753
/proc/meminfo: memFree=31056284/32951132 swapFree=67052544/67111528
[pid=21753] ppid=21751 vsize=19756 CPUtime=0.01 cores=0,2
/proc/21753/stat : 21753 (munsat2_release) R 21751 21753 21227 0 -1 4202496 547 0 0 0 1 0 0 0 25 0 1 0 891873336 20230144 482 33554432000 4194304 4258824 140734434375840 18446744073709551615 4218924 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21753/statm: 4939 482 231 16 0 1581 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 19756

[startup+0.100328 s]
/proc/loadavg: 4.11 4.03 3.61 4/187 21753
/proc/meminfo: memFree=31056284/32951132 swapFree=67052544/67111528
[pid=21753] ppid=21751 vsize=19924 CPUtime=0.09 cores=0,2
/proc/21753/stat : 21753 (munsat2_release) R 21751 21753 21227 0 -1 4202496 603 0 0 0 9 0 0 0 25 0 1 0 891873336 20402176 520 33554432000 4194304 4258824 140734434375840 18446744073709551615 4218477 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21753/statm: 4981 520 237 16 0 1623 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19924

[startup+0.300291 s]
/proc/loadavg: 4.11 4.03 3.61 4/187 21753
/proc/meminfo: memFree=31056284/32951132 swapFree=67052544/67111528
[pid=21753] ppid=21751 vsize=19924 CPUtime=0.29 cores=0,2
/proc/21753/stat : 21753 (munsat2_release) R 21751 21753 21227 0 -1 4202496 608 0 0 0 29 0 0 0 25 0 1 0 891873336 20402176 525 33554432000 4194304 4258824 140734434375840 18446744073709551615 4218734 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21753/statm: 4981 525 237 16 0 1623 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19924

[startup+0.700222 s]
/proc/loadavg: 4.11 4.03 3.61 4/187 21753
/proc/meminfo: memFree=31056284/32951132 swapFree=67052544/67111528
[pid=21753] ppid=21751 vsize=20060 CPUtime=0.69 cores=0,2
/proc/21753/stat : 21753 (munsat2_release) R 21751 21753 21227 0 -1 4202496 647 0 0 0 69 0 0 0 25 0 1 0 891873336 20541440 559 33554432000 4194304 4258824 140734434375840 18446744073709551615 4225201 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21753/statm: 5015 559 237 16 0 1657 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20060

[startup+1.50112 s]
/proc/loadavg: 4.10 4.03 3.61 5/188 21754
/proc/meminfo: memFree=31055060/32951132 swapFree=67052544/67111528
[pid=21753] ppid=21751 vsize=20332 CPUtime=1.5 cores=0,2
/proc/21753/stat : 21753 (munsat2_release) R 21751 21753 21227 0 -1 4202496 698 0 0 0 150 0 0 0 25 0 1 0 891873336 20819968 610 33554432000 4194304 4258824 140734434375840 18446744073709551615 4203888 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21753/statm: 5083 610 238 16 0 1725 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 20332

[startup+3.10083 s]
/proc/loadavg: 4.10 4.03 3.61 5/188 21754
/proc/meminfo: memFree=31054068/32951132 swapFree=67052544/67111528
[pid=21753] ppid=21751 vsize=20768 CPUtime=3.09 cores=0,2
/proc/21753/stat : 21753 (munsat2_release) R 21751 21753 21227 0 -1 4202496 808 0 0 0 309 0 0 0 25 0 1 0 891873336 21266432 717 33554432000 4194304 4258824 140734434375840 18446744073709551615 4220853 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21753/statm: 5192 717 238 16 0 1834 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20768

[startup+6.30022 s]
/proc/loadavg: 4.09 4.03 3.62 5/188 21754
/proc/meminfo: memFree=31052076/32951132 swapFree=67052544/67111528
[pid=21753] ppid=21751 vsize=21404 CPUtime=6.29 cores=0,2
/proc/21753/stat : 21753 (munsat2_release) R 21751 21753 21227 0 -1 4202496 980 0 0 0 629 0 0 0 25 0 1 0 891873336 21917696 887 33554432000 4194304 4258824 140734434375840 18446744073709551615 4220836 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/21753/statm: 5351 887 238 16 0 1993 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21404

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

[startup+6.40021 s]
/proc/loadavg: 4.09 4.03 3.62 5/188 21754
/proc/meminfo: memFree=31052076/32951132 swapFree=67052544/67111528
[pid=21753] ppid=21751 vsize=21404 CPUtime=6.39 cores=0,2
/proc/21753/stat : 21753 (munsat2_release) R 21751 21753 21227 0 -1 4202496 980 0 0 0 639 0 0 0 25 0 1 0 891873336 21917696 887 33554432000 4194304 4258824 140734434375840 18446744073709551615 242970217490 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/21753/statm: 5351 887 238 16 0 1993 0
Current children cumulated CPU time (s) 6.39
Current children cumulated vsize (KiB) 21404

Child status: 0
Real time (s): 6.41164
CPU time (s): 6.40902
CPU user time (s): 6.40802
CPU system time (s): 0.000999
CPU usage (%): 99.9592
Max. virtual memory (cumulated for all children) (KiB): 21404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.40803
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= 989
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= 82

runsolver used 0.022996 second user time and 0.06199 second system time

The end

Launcher Data 

Begin job on node128 at 2011-06-11 16:32:27
IDJOB=3483355
IDBENCH=89327
IDSOLVER=1973
FILE ID=node128/3483355-1307802747
RUNJOBID= node128-1307800697-21245
PBS_JOBID= 13551053
Free space on /tmp= 74100 MiB

SOLVER NAME= MiniUnsat2 2011-02-22
BENCH NAME= SAT11/mus/marques-silva/atpg/ssa2670-140.cnf
COMMAND LINE= munsat2_release -rnd-seed=RANDOMSEED -verb=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3483355-1307802747/watcher-3483355-1307802747 -o /tmp/evaluation-result-3483355-1307802747/solver-3483355-1307802747 -C 1800 -W 1850 -M 7680  munsat2_release -rnd-seed=1520549956 -verb=0 HOME/instance-3483355-1307802747.cnf

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

MD5SUM BENCH= d3fc5dc0bd9079817cfd35d259259325
RANDOM SEED=1520549956

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:      31056952 kB
Buffers:        273908 kB
Cached:         960628 kB
SwapCached:      11368 kB
Active:         770472 kB
Inactive:       920248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      31056952 kB
SwapTotal:    67111528 kB
SwapFree:     67052544 kB
Dirty:           11300 kB
Writeback:          16 kB
AnonPages:      454212 kB
Mapped:          10696 kB
Slab:           138364 kB
PageTables:       6168 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   700084 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= 74100 MiB
End job on node128 at 2011-06-11 16:32:33