Trace number 3480942

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 24.9642 24.9666

General information on the benchmark

Namemus/marques-silva/abstraction-refinement-intel/
edn_22134_8.cnf_0.38000000.unsat.cnf
MD5SUM413894c1cef49bd87a4e330f324d39bb
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3.71443
Satisfiable
(Un)Satisfiability was proved
Number of variables686692
Number of clauses2006678
Sum of the clauses size4657343
Maximum clause length3
Minimum clause length1
Number of clauses of size 11770
Number of clauses of size 21359151
Number of clauses of size 3645757
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-3480942-1307606650.cnf ***
0.00/0.01	c 
2.78/2.82	c Parsing CPU Time: 2.6416
2.78/2.82	c Running MUSer ...
5.99/6.09	c 0.00% completed ... 
6.61/6.67	c 11.49% completed ... 
6.89/6.95	c 17.87% completed ... 
7.49/7.50	c 34.04% completed ... 
10.01/10.03	c 51.06% completed ... 
12.29/12.36	c 67.23% completed ... 
17.39/17.45	c 83.83% completed ... 
24.89/24.94	c 100.00% completed ... 
24.89/24.94	c MUS size: 235
24.89/24.94	s UNSATISFIABLE
24.89/24.94	v 1536942 1942746 1673791 1431754 1532971 1545263 1942742 1049675 926206 1673785 1545259 1245806 1815535 1815379 1302754 1923831 1673704 1942736 1545255 1245802 1942734 1673779 1404123 1545251 1673698 1942730 1673773 1815602 1545247 1927867 1815523 1815367 1963264 1673692 1725506 1817310 1817308 1815596 1927861 1488368 1942720 1403021 1725502 1545239 320278 1673686 1246019 1817304 320276 2006591 1725498 1817302 1545235 1488362 1815511 1673137 1815355 320272 1404103 1246013 1725494 1817298 1545231 320270 1929717 1817296 1964960 1725490 1545227 320266 1404097 1931269 1817292 1404095 1817290 1965888 1545223 320262 1815499 1815343 1817286 1245999 1488346 1817284 1245764 1488111 1545215 2006569 1817280 2006567 1245760 1488340 1245993 1817278 2006565 1545211 1920673 1815487 1815331 1817274 1949378 1545207 1245754 1817272 1949376 1920667 1545203 1817268 1817266 2006553 1545199 1815475 1815319 2006551 1404144 2006549 1536947 1817260 1545270 1923844 1545191 1302765 1532974 1545266 2006541 1545187 1049678 1815463 1302761 1488158 1815307 1923838 1949123 2006539 1942743 1673788 1302759 1949121 1815305 2006537 1545183 1532968 1488154 2006535 1532966 1049672 1404128 1545179 2006533 1673782 1049668 1673701 1545175 1815451 1942731 1673776 1725513 1815605 1942729 1673695 1725509 320285 1545246 2006521 1817311 2006519 1488371 1942723 1929730 1545242 1815597 1673689 2006517 1817307 1815439 1942719 1817305 2006592 1488365 1673140 1929724 1404106 1246016 1817301 1927854 1817299 1963796 1963794 1404100 1246010 1817295 1963792 1815583 1815427 1817293 1488351 1817289 1545222 1488116 1993660 1817287 1545218 1488112 1488345 1817283 1815571 1815415 1996144 1536968 1817281 1536966 1245994 1488106 1245759 1817277 1536962 1817275 1245988 1536958 1817271 1815559 1815403 1817269 1404149 1532906 1817265 1545198 1920660 1817263 1545194 1815547 1532977 1815391 1404139 1949361 0
24.89/24.95	c Terminating MUSer ...
24.89/24.95	c CPU Time: 24.64

Verifier Data 

OK	235

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-3480942-1307606650/watcher-3480942-1307606650 -o /tmp/evaluation-result-3480942-1307606650/solver-3480942-1307606650 -C 1800 -W 1850 -M 7680 ./muser -comp HOME/instance-3480942-1307606650.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.32 3.60 2.43 5/505 19928
/proc/meminfo: memFree=9399168/32951124 swapFree=43324008/67111528
[pid=19928] ppid=19926 vsize=6920 CPUtime=0.01 cores=5,7
/proc/19928/stat : 19928 (muser) R 19926 19928 18646 0 -1 4202496 1203 0 0 0 1 0 0 0 22 0 1 0 872265578 7086080 1157 33554432000 4194304 5696331 140733681795904 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/19928/statm: 1730 1159 114 367 0 1360 0

[startup+0.114864 s]
/proc/loadavg: 4.32 3.60 2.43 5/505 19928
/proc/meminfo: memFree=9399168/32951124 swapFree=43324008/67111528
[pid=19928] ppid=19926 vsize=25104 CPUtime=0.11 cores=5,7
/proc/19928/stat : 19928 (muser) R 19926 19928 18646 0 -1 4202496 6194 0 0 0 10 1 0 0 23 0 1 0 872265578 25706496 5710 33554432000 4194304 5696331 140733681795904 18446744073709551615 4208097 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/19928/statm: 6276 5710 114 367 0 5906 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 25104

[startup+0.200845 s]
/proc/loadavg: 4.32 3.60 2.43 5/505 19928
/proc/meminfo: memFree=9399168/32951124 swapFree=43324008/67111528
[pid=19928] ppid=19926 vsize=40784 CPUtime=0.19 cores=5,7
/proc/19928/stat : 19928 (muser) R 19926 19928 18646 0 -1 4202496 10707 0 0 0 18 1 0 0 23 0 1 0 872265578 41762816 9644 33554432000 4194304 5696331 140733681795904 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/19928/statm: 10196 9646 114 367 0 9826 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 40784

[startup+0.300825 s]
/proc/loadavg: 4.32 3.60 2.43 5/505 19928
/proc/meminfo: memFree=9399168/32951124 swapFree=43324008/67111528
[pid=19928] ppid=19926 vsize=52916 CPUtime=0.28 cores=5,7
/proc/19928/stat : 19928 (muser) R 19926 19928 18646 0 -1 4202496 14881 0 0 0 27 1 0 0 23 0 1 0 872265578 54185984 12663 33554432000 4194304 5696331 140733681795904 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/19928/statm: 13229 12666 114 367 0 12859 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 52916

[startup+0.700754 s]
/proc/loadavg: 4.32 3.60 2.43 5/505 19928
/proc/meminfo: memFree=9399168/32951124 swapFree=43324008/67111528
[pid=19928] ppid=19926 vsize=120872 CPUtime=0.69 cores=5,7
/proc/19928/stat : 19928 (muser) R 19926 19928 18646 0 -1 4202496 34175 0 0 0 65 4 0 0 25 0 1 0 872265578 123772928 29650 33554432000 4194304 5696331 140733681795904 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/19928/statm: 30218 29652 114 367 0 29848 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 120872

[startup+1.50062 s]
/proc/loadavg: 4.32 3.60 2.43 5/506 19929
/proc/meminfo: memFree=9213912/32951124 swapFree=43324008/67111528
[pid=19928] ppid=19926 vsize=245828 CPUtime=1.49 cores=5,7
/proc/19928/stat : 19928 (muser) R 19926 19928 18646 0 -1 4202496 70024 0 0 0 140 9 0 0 25 0 1 0 872265578 251727872 60889 33554432000 4194304 5696331 140733681795904 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/19928/statm: 61457 60891 114 367 0 61087 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 245828

[startup+3.10031 s]
/proc/loadavg: 4.29 3.61 2.44 5/506 19929
/proc/meminfo: memFree=9041176/32951124 swapFree=43324008/67111528
[pid=19928] ppid=19926 vsize=563528 CPUtime=3.08 cores=5,7
/proc/19928/stat : 19928 (muser) R 19926 19928 18646 0 -1 4202496 158710 0 0 0 288 20 0 0 25 0 1 0 872265578 577052672 140353 33554432000 4194304 5696331 140733681795904 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/19928/statm: 140882 140355 140 367 0 140512 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 563528

[startup+6.30072 s]
/proc/loadavg: 4.29 3.61 2.44 5/506 19929
/proc/meminfo: memFree=8738500/32951124 swapFree=43324008/67111528
[pid=19928] ppid=19926 vsize=541340 CPUtime=6.29 cores=5,7
/proc/19928/stat : 19928 (muser) R 19926 19928 18646 0 -1 4202496 234789 0 0 0 600 29 0 0 25 0 1 0 872265578 554332160 134805 33554432000 4194304 5696331 140733681795904 18446744073709551615 4417489 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/19928/statm: 135335 134805 148 367 0 134965 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 541340

[startup+12.7005 s]
/proc/loadavg: 4.25 3.62 2.46 5/506 19929
/proc/meminfo: memFree=8842508/32951124 swapFree=43324008/67111528
[pid=19928] ppid=19926 vsize=557440 CPUtime=12.69 cores=5,7
/proc/19928/stat : 19928 (muser) R 19926 19928 18646 0 -1 4202496 238817 0 0 0 1239 30 0 0 25 0 1 0 872265578 570818560 138833 33554432000 4194304 5696331 140733681795904 18446744073709551615 4416909 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/19928/statm: 139360 138833 149 367 0 138990 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 557440

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

[startup+12.8005 s]
/proc/loadavg: 4.25 3.62 2.46 5/506 19929
/proc/meminfo: memFree=8842508/32951124 swapFree=43324008/67111528
[pid=19928] ppid=19926 vsize=557440 CPUtime=12.79 cores=5,7
/proc/19928/stat : 19928 (muser) R 19926 19928 18646 0 -1 4202496 238817 0 0 0 1249 30 0 0 25 0 1 0 872265578 570818560 138833 33554432000 4194304 5696331 140733681795904 18446744073709551615 4416938 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/19928/statm: 139360 138833 149 367 0 138990 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 557440

[startup+19.2003 s]
/proc/loadavg: 4.23 3.63 2.47 5/506 19956
/proc/meminfo: memFree=9433396/32951124 swapFree=43324008/67111528
[pid=19928] ppid=19926 vsize=557440 CPUtime=19.19 cores=5,7
/proc/19928/stat : 19928 (muser) R 19926 19928 18646 0 -1 4202496 238817 0 0 0 1889 30 0 0 25 0 1 0 872265578 570818560 138833 33554432000 4194304 5696331 140733681795904 18446744073709551615 4417633 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/19928/statm: 139360 138833 149 367 0 138990 0
Current children cumulated CPU time (s) 19.19
Current children cumulated vsize (KiB) 557440

[startup+22.4007 s]
/proc/loadavg: 4.23 3.63 2.47 6/506 19956
/proc/meminfo: memFree=9381324/32951124 swapFree=43324008/67111528
[pid=19928] ppid=19926 vsize=557440 CPUtime=22.39 cores=5,7
/proc/19928/stat : 19928 (muser) R 19926 19928 18646 0 -1 4202496 238817 0 0 0 2209 30 0 0 25 0 1 0 872265578 570818560 138833 33554432000 4194304 5696331 140733681795904 18446744073709551615 4381288 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/19928/statm: 139360 138833 149 367 0 138990 0
Current children cumulated CPU time (s) 22.39
Current children cumulated vsize (KiB) 557440

[startup+24.0004 s]
/proc/loadavg: 4.21 3.63 2.47 5/506 19956
/proc/meminfo: memFree=9379440/32951124 swapFree=43324008/67111528
[pid=19928] ppid=19926 vsize=557440 CPUtime=23.99 cores=5,7
/proc/19928/stat : 19928 (muser) R 19926 19928 18646 0 -1 4202496 238817 0 0 0 2369 30 0 0 25 0 1 0 872265578 570818560 138833 33554432000 4194304 5696331 140733681795904 18446744073709551615 4416909 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/19928/statm: 139360 138833 149 367 0 138990 0
Current children cumulated CPU time (s) 23.99
Current children cumulated vsize (KiB) 557440

[startup+24.4004 s]
/proc/loadavg: 4.21 3.63 2.47 5/506 19956
/proc/meminfo: memFree=9379752/32951124 swapFree=43324008/67111528
[pid=19928] ppid=19926 vsize=557440 CPUtime=24.39 cores=5,7
/proc/19928/stat : 19928 (muser) R 19926 19928 18646 0 -1 4202496 238817 0 0 0 2409 30 0 0 25 0 1 0 872265578 570818560 138833 33554432000 4194304 5696331 140733681795904 18446744073709551615 4410504 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/19928/statm: 139360 138833 149 367 0 138990 0
Current children cumulated CPU time (s) 24.39
Current children cumulated vsize (KiB) 557440

[startup+24.8003 s]
/proc/loadavg: 4.21 3.63 2.47 5/506 19956
/proc/meminfo: memFree=9379752/32951124 swapFree=43324008/67111528
[pid=19928] ppid=19926 vsize=557440 CPUtime=24.79 cores=5,7
/proc/19928/stat : 19928 (muser) R 19926 19928 18646 0 -1 4202496 238817 0 0 0 2449 30 0 0 25 0 1 0 872265578 570818560 138833 33554432000 4194304 5696331 140733681795904 18446744073709551615 4416684 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/19928/statm: 139360 138833 149 367 0 138990 0
Current children cumulated CPU time (s) 24.79
Current children cumulated vsize (KiB) 557440

[startup+24.9003 s]
/proc/loadavg: 4.21 3.63 2.47 5/506 19956
/proc/meminfo: memFree=9379752/32951124 swapFree=43324008/67111528
[pid=19928] ppid=19926 vsize=557440 CPUtime=24.89 cores=5,7
/proc/19928/stat : 19928 (muser) R 19926 19928 18646 0 -1 4202496 238817 0 0 0 2459 30 0 0 25 0 1 0 872265578 570818560 138833 33554432000 4194304 5696331 140733681795904 18446744073709551615 4381125 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/19928/statm: 139360 138833 149 367 0 138990 0
Current children cumulated CPU time (s) 24.89
Current children cumulated vsize (KiB) 557440

Child status: 20
Real time (s): 24.9666
CPU time (s): 24.9642
CPU user time (s): 24.6423
CPU system time (s): 0.321951
CPU usage (%): 99.9906
Max. virtual memory (cumulated for all children) (KiB): 695040

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

runsolver used 0.122981 second user time and 0.272958 second system time

The end

Launcher Data 

Begin job on node105 at 2011-06-09 10:04:11
IDJOB=3480942
IDBENCH=89300
IDSOLVER=1969
FILE ID=node105/3480942-1307606650
RUNJOBID= node105-1307606208-18893
PBS_JOBID= 13547790
Free space on /tmp= 73156 MiB

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

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

MD5SUM BENCH= 413894c1cef49bd87a4e330f324d39bb
RANDOM SEED=168606675

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:       9399448 kB
Buffers:        200052 kB
Cached:        1288628 kB
SwapCached:      20580 kB
Active:       22856948 kB
Inactive:       336944 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       9399448 kB
SwapTotal:    67111528 kB
SwapFree:     43324008 kB
Dirty:          163428 kB
Writeback:          16 kB
AnonPages:    21702828 kB
Mapped:          68308 kB
Slab:           167696 kB
PageTables:     121252 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 135672100 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= 73192 MiB
End job on node105 at 2011-06-09 10:04:36