Trace number 3480984

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 0.526919 0.526705

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 

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

Verifier Data 

OK	1245

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3480984-1307606678/watcher-3480984-1307606678 -o /tmp/evaluation-result-3480984-1307606678/solver-3480984-1307606678 -C 1800 -W 1850 -M 7680 ./muser -comp HOME/instance-3480984-1307606678.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: 4.21 3.63 2.47 4/505 20145
/proc/meminfo: memFree=9974864/32951124 swapFree=43324008/67111528
[pid=20145] ppid=20143 vsize=3016 CPUtime=0.01 cores=5,7
/proc/20145/stat : 20145 (muser) R 20143 20145 18646 0 -1 4202496 527 0 0 0 1 0 0 0 25 0 1 0 872268237 3088384 479 33554432000 4194304 5696331 140733991597168 18446744073709551615 5009696 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/20145/statm: 754 479 147 367 0 384 0

[startup+0.107649 s]
/proc/loadavg: 4.21 3.63 2.47 4/505 20145
/proc/meminfo: memFree=9974864/32951124 swapFree=43324008/67111528
[pid=20145] ppid=20143 vsize=3320 CPUtime=0.1 cores=5,7
/proc/20145/stat : 20145 (muser) R 20143 20145 18646 0 -1 4202496 616 0 0 0 10 0 0 0 25 0 1 0 872268237 3399680 568 33554432000 4194304 5696331 140733991597168 18446744073709551615 5069383 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/20145/statm: 830 568 150 367 0 460 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3320

[startup+0.200633 s]
/proc/loadavg: 4.21 3.63 2.47 4/505 20145
/proc/meminfo: memFree=9974864/32951124 swapFree=43324008/67111528
[pid=20145] ppid=20143 vsize=3596 CPUtime=0.2 cores=5,7
/proc/20145/stat : 20145 (muser) R 20143 20145 18646 0 -1 4202496 687 0 0 0 20 0 0 0 25 0 1 0 872268237 3682304 639 33554432000 4194304 5696331 140733991597168 18446744073709551615 4400136 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/20145/statm: 899 639 150 367 0 529 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 3596

[startup+0.300624 s]
/proc/loadavg: 4.21 3.63 2.47 4/505 20145
/proc/meminfo: memFree=9974864/32951124 swapFree=43324008/67111528
[pid=20145] ppid=20143 vsize=3868 CPUtime=0.3 cores=5,7
/proc/20145/stat : 20145 (muser) R 20143 20145 18646 0 -1 4202496 730 0 0 0 30 0 0 0 25 0 1 0 872268237 3960832 682 33554432000 4194304 5696331 140733991597168 18446744073709551615 4416821 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/20145/statm: 967 682 150 367 0 597 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 3868

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

[startup+0.400596 s]
/proc/loadavg: 4.21 3.63 2.47 4/505 20145
/proc/meminfo: memFree=9974864/32951124 swapFree=43324008/67111528
[pid=20145] ppid=20143 vsize=4008 CPUtime=0.4 cores=5,7
/proc/20145/stat : 20145 (muser) R 20143 20145 18646 0 -1 4202496 761 0 0 0 40 0 0 0 25 0 1 0 872268237 4104192 713 33554432000 4194304 5696331 140733991597168 18446744073709551615 4381210 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/20145/statm: 1002 713 150 367 0 632 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 4008

[startup+0.500587 s]
/proc/loadavg: 4.21 3.63 2.47 4/505 20145
/proc/meminfo: memFree=9974864/32951124 swapFree=43324008/67111528
[pid=20145] ppid=20143 vsize=4008 CPUtime=0.5 cores=5,7
/proc/20145/stat : 20145 (muser) R 20143 20145 18646 0 -1 4202496 778 0 0 0 50 0 0 0 25 0 1 0 872268237 4104192 730 33554432000 4194304 5696331 140733991597168 18446744073709551615 4416959 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/20145/statm: 1002 730 150 367 0 632 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 4008

Child status: 20
Real time (s): 0.526705
CPU time (s): 0.526919
CPU user time (s): 0.52592
CPU system time (s): 0.000999
CPU usage (%): 100.041
Max. virtual memory (cumulated for all children) (KiB): 4008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.52592
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= 779
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= 1

runsolver used 0.005999 second user time and 0.012998 second system time

The end

Launcher Data 

Begin job on node105 at 2011-06-09 10:04:38
IDJOB=3480984
IDBENCH=89327
IDSOLVER=1969
FILE ID=node105/3480984-1307606678
RUNJOBID= node105-1307606208-18893
PBS_JOBID= 13547790
Free space on /tmp= 73228 MiB

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

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

MD5SUM BENCH= d3fc5dc0bd9079817cfd35d259259325
RANDOM SEED=851947409

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       9975020 kB
Buffers:        200324 kB
Cached:        1215116 kB
SwapCached:      20580 kB
Active:       22283940 kB
Inactive:       337260 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       9975020 kB
SwapTotal:    67111528 kB
SwapFree:     43324008 kB
Dirty:           85708 kB
Writeback:           8 kB
AnonPages:    21203212 kB
Mapped:          68120 kB
Slab:           166508 kB
PageTables:     120584 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 135171252 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= 73228 MiB
End job on node105 at 2011-06-09 10:04:39