Trace number 3480946

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 33.4519 33.4542

General information on the benchmark

Namemus/marques-silva/abstraction-refinement-intel/
edn_24095_8.cnf_0.21000000.unsat.cnf
MD5SUM9d8f20e570c5d1f2908e9bfb81a67c3d
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4.28835
Satisfiable
(Un)Satisfiability was proved
Number of variables685510
Number of clauses2003124
Sum of the clauses size4649048
Maximum clause length3
Minimum clause length1
Number of clauses of size 11774
Number of clauses of size 21356776
Number of clauses of size 3644574
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.01	c *** MUSer: a MUS extractor ***
0.00/0.01	c *** release date: 2011210 ***
0.00/0.01	c *** release ref: f95464aa99ac ***
0.00/0.01	c *** built: 2011-Feb-10 00:59 ***
0.00/0.01	c *** author: Joao Marques-Silva (jpms@ucd.ie) ***
0.00/0.01	c 
0.00/0.01	c *** instance: HOME/instance-3480946-1307606634.cnf ***
0.00/0.01	c 
3.09/3.14	c Parsing CPU Time: 2.96855
3.09/3.14	c Running MUSer ...
6.71/6.75	c 0.00% completed ... 
7.09/7.13	c 6.67% completed ... 
7.81/7.87	c 15.06% completed ... 
9.29/9.33	c 33.09% completed ... 
11.11/11.13	c 49.14% completed ... 
13.59/13.69	c 54.81% completed ... 
19.09/19.11	c 73.58% completed ... 
29.89/29.93	c 88.64% completed ... 
33.39/33.43	c 100.00% completed ... 
33.39/33.43	c MUS size: 405
33.39/33.43	s UNSATISFIABLE
33.39/33.43	v 1974483 1974479 1428485 1962940 1653802 1962936 1428477 1962932 1558414 903226 903222 903218 1825241 1319227 1974411 1319219 1319215 1823679 1319211 905485 905481 1786751 905477 1971299 914681 1557553 1974343 1974339 1557541 1557537 1653658 1697491 1697483 1653646 1697479 1697475 1654403 1654399 1653622 1697435 916127 1752799 1654363 916880 822285 1065289 916091 1317485 916055 916019 1064428 910624 1653478 1064416 1653466 1064412 1820331 1654223 1654219 1653442 915967 1789551 1787989 1654183 1963309 1963305 1963281 1963277 1963273 908161 1318795 1963217 1963213 1318787 1318783 1653298 1318779 1653286 1747873 1654043 1654039 1653262 1762444 1963141 1654003 1557109 1963137 912679 1963133 1557085 1823131 1699306 1699298 1821569 1699294 1945374 1699290 1175601 1784641 1697744 914113 914109 1939186 914105 1653863 1756909 1653859 1962969 1962965 1653823 1063984 1789916 1428482 1063960 903235 1558423 1558411 1558407 905494 1653683 1653679 1818221 1653643 1318355 1787441 1785879 1697440 1654372 916132 1697432 1654368 1697428 1697424 1065298 1065286 822282 1654336 1065282 1654332 1823496 1317490 1317482 1317478 1317474 1653503 1791154 1653499 916012 910621 1653463 910609 1738045 915976 915964 915960 1654192 1654188 1654156 1654152 1821021 1819459 1557979 1742539 1653323 908158 1653319 908146 1653283 1974693 1824734 1974689 1654012 1557118 1654008 1557106 1787806 1557102 912676 1765493 1557094 912664 1557082 1653976 1557078 1653972 1793918 1974621 1962309 1175602 1697749 1963046 1697741 1064854 1963042 1697737 914122 1697733 1974553 1974549 1317050 1559281 1317026 1785331 1653832 1653828 1063993 1974481 1063981 1962938 1063977 1428479 1962934 1653796 1063969 1653792 1063957 903232 1063953 600234 903220 1821386 1974413 1974409 905491 1790606 1699091 905479 1971301 1971297 1789044 914683 600150 1066156 1974341 1653652 1653648 1318360 1318352 1318348 1318344 1653616 1653612 1698194 916882 822291 1818911 822279 916093 916057 916021 910618 1653472 1653468 1824186 1822624 1993342 1653436 1558849 1653432 1785696 1963311 1963307 1963303 1963279 1963275 1557988 1557976 1557972 1790971 908155 1963219 1963215 1963211 1653292 1653288 1653256 1653252 1065724 1963139 1963135 912673 1317920 1793923 1819276 1175607 1788496 1064863 1064851 1064847 1698503 914119 1786934 1939196 914107 1939180 1317055 1559290 1317047 1559278 1317043 1559274 1749986 1317039 1317031 1317023 1317019 1317015 1962971 1824551 1962967 1962963 1945232 903229 1754504 1319222 905488 1699096 1699088 1699084 1699080 1066165 600147 1759795 600143 1557544 1066153 600139 1822076 1066149 1697486 1820514 916162 1654378 916130 1654366 1698199 1698191 1698187 1698183 916875 822288 1654342 822276 1788861 916010 1064419 910615 910611 910607 1993343 1558858 915974 1558846 1654198 1558842 1654186 1764902 1654162 1786386 1784824 908152 908148 908144 1318790 1758614 1822441 1654018 1974691 1065733 1791661 1654006 1740134 1065721 1065717 1790099 912670 912666 1653982 912662 1317925 1317917 1317913 1317909 1974623 1974619 1699301 1175596 1963048 1744652 1698508 1963044 1963040 1698500 1939193 914116 1698496 1698492 1939181 1974551 1939173 1939169 1819966 1818404 1653838 1653826 0
33.39/33.43	c Terminating MUSer ...
33.39/33.43	c CPU Time: 33.12

Verifier Data 

OK	405

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-3480946-1307606634/watcher-3480946-1307606634 -o /tmp/evaluation-result-3480946-1307606634/solver-3480946-1307606634 -C 1800 -W 1850 -M 7680 ./muser -comp HOME/instance-3480946-1307606634.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.32 3.57 2.40 5/505 19873
/proc/meminfo: memFree=9356176/32951124 swapFree=43324008/67111528
[pid=19873] ppid=19871 vsize=6656 CPUtime=0.01 cores=0,2
/proc/19873/stat : 19873 (muser) R 19871 19873 18646 0 -1 4202496 1142 0 0 0 1 0 0 0 22 0 1 0 872263978 6815744 1097 33554432000 4194304 5696331 140734214527536 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/19873/statm: 1664 1098 114 367 0 1294 0

[startup+0.117213 s]
/proc/loadavg: 4.32 3.57 2.40 5/505 19873
/proc/meminfo: memFree=9356176/32951124 swapFree=43324008/67111528
[pid=19873] ppid=19871 vsize=25104 CPUtime=0.11 cores=0,2
/proc/19873/stat : 19873 (muser) R 19871 19873 18646 0 -1 4202496 6193 0 0 0 10 1 0 0 23 0 1 0 872263978 25706496 5710 33554432000 4194304 5696331 140734214527536 18446744073709551615 4208097 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/19873/statm: 6276 5710 114 367 0 5906 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 25104

[startup+0.201201 s]
/proc/loadavg: 4.32 3.57 2.40 5/505 19873
/proc/meminfo: memFree=9356176/32951124 swapFree=43324008/67111528
[pid=19873] ppid=19871 vsize=37748 CPUtime=0.19 cores=0,2
/proc/19873/stat : 19873 (muser) R 19871 19873 18646 0 -1 4202496 9942 0 0 0 18 1 0 0 23 0 1 0 872263978 38653952 8880 33554432000 4194304 5696331 140734214527536 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/19873/statm: 9437 8882 114 367 0 9067 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 37748

[startup+0.301195 s]
/proc/loadavg: 4.32 3.57 2.40 5/505 19873
/proc/meminfo: memFree=9356176/32951124 swapFree=43324008/67111528
[pid=19873] ppid=19871 vsize=50496 CPUtime=0.29 cores=0,2
/proc/19873/stat : 19873 (muser) R 19871 19873 18646 0 -1 4202496 13877 0 0 0 27 2 0 0 23 0 1 0 872263978 51707904 12045 33554432000 4194304 5696331 140734214527536 18446744073709551615 4210980 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/19873/statm: 12624 12045 114 367 0 12254 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50496

[startup+0.701104 s]
/proc/loadavg: 4.32 3.57 2.40 5/505 19873
/proc/meminfo: memFree=9356176/32951124 swapFree=43324008/67111528
[pid=19873] ppid=19871 vsize=102260 CPUtime=0.69 cores=0,2
/proc/19873/stat : 19873 (muser) R 19871 19873 18646 0 -1 4202496 29533 0 0 0 65 4 0 0 25 0 1 0 872263978 104714240 25009 33554432000 4194304 5696331 140734214527536 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/19873/statm: 25565 25011 114 367 0 25195 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 102260

[startup+1.50097 s]
/proc/loadavg: 4.32 3.57 2.40 5/506 19874
/proc/meminfo: memFree=9185788/32951124 swapFree=43324008/67111528
[pid=19873] ppid=19871 vsize=213356 CPUtime=1.49 cores=0,2
/proc/19873/stat : 19873 (muser) R 19871 19873 18646 0 -1 4202496 61910 0 0 0 141 8 0 0 25 0 1 0 872263978 218476544 52775 33554432000 4194304 5696331 140734214527536 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/19873/statm: 53339 52777 114 367 0 52969 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 213356

[startup+3.10063 s]
/proc/loadavg: 4.32 3.57 2.40 5/506 19874
/proc/meminfo: memFree=9006624/32951124 swapFree=43324008/67111528
[pid=19873] ppid=19871 vsize=443072 CPUtime=3.09 cores=0,2
/proc/19873/stat : 19873 (muser) R 19871 19873 18646 0 -1 4202496 128563 0 0 0 293 16 0 0 25 0 1 0 872263978 453705728 110209 33554432000 4194304 5696331 140734214527536 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/19873/statm: 110768 110211 114 367 0 110398 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 443072

[startup+6.30107 s]
/proc/loadavg: 4.38 3.59 2.42 5/506 19874
/proc/meminfo: memFree=8689656/32951124 swapFree=43324008/67111528
[pid=19873] ppid=19871 vsize=660996 CPUtime=6.29 cores=0,2
/proc/19873/stat : 19873 (muser) R 19871 19873 18646 0 -1 4202496 190226 0 0 0 605 24 0 0 25 0 1 0 872263978 676859904 164044 33554432000 4194304 5696331 140734214527536 18446744073709551615 4948784 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/19873/statm: 165249 164044 143 367 0 164879 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 660996

[startup+12.7009 s]
/proc/loadavg: 4.35 3.60 2.42 5/506 19902
/proc/meminfo: memFree=9248900/32951124 swapFree=43324008/67111528
[pid=19873] ppid=19871 vsize=556752 CPUtime=12.69 cores=0,2
/proc/19873/stat : 19873 (muser) R 19871 19873 18646 0 -1 4202496 239213 0 0 0 1238 31 0 0 25 0 1 0 872263978 570114048 138652 33554432000 4194304 5696331 140734214527536 18446744073709551615 4381288 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/19873/statm: 139188 138652 149 367 0 138818 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 556752

[startup+25.5005 s]
/proc/loadavg: 4.27 3.62 2.45 5/506 19929
/proc/meminfo: memFree=8843460/32951124 swapFree=43324008/67111528
[pid=19873] ppid=19871 vsize=556752 CPUtime=25.49 cores=0,2
/proc/19873/stat : 19873 (muser) R 19871 19873 18646 0 -1 4202496 239213 0 0 0 2518 31 0 0 25 0 1 0 872263978 570114048 138652 33554432000 4194304 5696331 140734214527536 18446744073709551615 4416959 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/19873/statm: 139188 138652 149 367 0 138818 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 556752

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

[startup+25.6005 s]
/proc/loadavg: 4.27 3.62 2.45 5/506 19929
/proc/meminfo: memFree=8843460/32951124 swapFree=43324008/67111528
[pid=19873] ppid=19871 vsize=556752 CPUtime=25.59 cores=0,2
/proc/19873/stat : 19873 (muser) R 19871 19873 18646 0 -1 4202496 239213 0 0 0 2528 31 0 0 25 0 1 0 872263978 570114048 138652 33554432000 4194304 5696331 140734214527536 18446744073709551615 4370048 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/19873/statm: 139188 138652 149 367 0 138818 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 556752

[startup+28.8009 s]
/proc/loadavg: 4.25 3.62 2.46 5/506 19929
/proc/meminfo: memFree=8843004/32951124 swapFree=43324008/67111528
[pid=19873] ppid=19871 vsize=556752 CPUtime=28.79 cores=0,2
/proc/19873/stat : 19873 (muser) R 19871 19873 18646 0 -1 4202496 239213 0 0 0 2848 31 0 0 25 0 1 0 872263978 570114048 138652 33554432000 4194304 5696331 140734214527536 18446744073709551615 4416844 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/19873/statm: 139188 138652 149 367 0 138818 0
Current children cumulated CPU time (s) 28.79
Current children cumulated vsize (KiB) 556752

[startup+32.0183 s]
/proc/loadavg: 4.25 3.62 2.46 5/506 19929
/proc/meminfo: memFree=8843128/32951124 swapFree=43324008/67111528
[pid=19873] ppid=19871 vsize=556752 CPUtime=32.01 cores=0,2
/proc/19873/stat : 19873 (muser) R 19871 19873 18646 0 -1 4202496 239213 0 0 0 3170 31 0 0 25 0 1 0 872263978 570114048 138652 33554432000 4194304 5696331 140734214527536 18446744073709551615 4417633 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/19873/statm: 139188 138652 149 367 0 138818 0
Current children cumulated CPU time (s) 32.01
Current children cumulated vsize (KiB) 556752

[startup+32.8012 s]
/proc/loadavg: 4.25 3.62 2.46 5/506 19929
/proc/meminfo: memFree=8843128/32951124 swapFree=43324008/67111528
[pid=19873] ppid=19871 vsize=556752 CPUtime=32.79 cores=0,2
/proc/19873/stat : 19873 (muser) R 19871 19873 18646 0 -1 4202496 239213 0 0 0 3248 31 0 0 25 0 1 0 872263978 570114048 138652 33554432000 4194304 5696331 140734214527536 18446744073709551615 4381134 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/19873/statm: 139188 138652 149 367 0 138818 0
Current children cumulated CPU time (s) 32.79
Current children cumulated vsize (KiB) 556752

[startup+33.2011 s]
/proc/loadavg: 4.25 3.62 2.46 5/506 19929
/proc/meminfo: memFree=8843128/32951124 swapFree=43324008/67111528
[pid=19873] ppid=19871 vsize=556752 CPUtime=33.19 cores=0,2
/proc/19873/stat : 19873 (muser) R 19871 19873 18646 0 -1 4202496 239213 0 0 0 3288 31 0 0 25 0 1 0 872263978 570114048 138652 33554432000 4194304 5696331 140734214527536 18446744073709551615 4416848 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/19873/statm: 139188 138652 149 367 0 138818 0
Current children cumulated CPU time (s) 33.19
Current children cumulated vsize (KiB) 556752

[startup+33.401 s]
/proc/loadavg: 4.25 3.62 2.46 5/506 19929
/proc/meminfo: memFree=8843128/32951124 swapFree=43324008/67111528
[pid=19873] ppid=19871 vsize=556752 CPUtime=33.39 cores=0,2
/proc/19873/stat : 19873 (muser) R 19871 19873 18646 0 -1 4202496 239213 0 0 0 3308 31 0 0 25 0 1 0 872263978 570114048 138652 33554432000 4194304 5696331 140734214527536 18446744073709551615 4380898 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/19873/statm: 139188 138652 149 367 0 138818 0
Current children cumulated CPU time (s) 33.39
Current children cumulated vsize (KiB) 556752

Child status: 20
Real time (s): 33.4542
CPU time (s): 33.4519
CPU user time (s): 33.119
CPU system time (s): 0.332949
CPU usage (%): 99.9932
Max. virtual memory (cumulated for all children) (KiB): 693036

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

runsolver used 0.156976 second user time and 0.371943 second system time

The end

Launcher Data 

Begin job on node105 at 2011-06-09 10:03:55
IDJOB=3480946
IDBENCH=89289
IDSOLVER=1969
FILE ID=node105/3480946-1307606634
RUNJOBID= node105-1307606208-18890
PBS_JOBID= 13547790
Free space on /tmp= 73192 MiB

SOLVER NAME= MUSer 2011-02-10
BENCH NAME= SAT11/mus/marques-silva/abstraction-refinement-intel/edn_24095_8.cnf_0.21000000.unsat.cnf
COMMAND LINE= ./muser -comp BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3480946-1307606634/watcher-3480946-1307606634 -o /tmp/evaluation-result-3480946-1307606634/solver-3480946-1307606634 -C 1800 -W 1850 -M 7680  ./muser -comp HOME/instance-3480946-1307606634.cnf

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

MD5SUM BENCH= 9d8f20e570c5d1f2908e9bfb81a67c3d
RANDOM SEED=1761186757

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:       9356324 kB
Buffers:        199884 kB
Cached:        1237288 kB
SwapCached:      20580 kB
Active:       22915100 kB
Inactive:       322496 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       9356324 kB
SwapTotal:    67111528 kB
SwapFree:     43324008 kB
Dirty:          133364 kB
Writeback:           4 kB
AnonPages:    21797636 kB
Mapped:          68096 kB
Slab:           167192 kB
PageTables:     121548 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 135776724 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= 73156 MiB
End job on node105 at 2011-06-09 10:04:29