Trace number 3493495

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 8.40572 8.40661

General information on the benchmark

Namemus/marques-silva/software-verification/
hsat_vc11813.cnf
MD5SUMcb55c707d7835abb5285d9fcb25c72ee
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3.18751
Satisfiable
(Un)Satisfiability was proved
Number of variables312579
Number of clauses905106
Sum of the clauses size2361159
Maximum clause length3
Minimum clause length1
Number of clauses of size 135218
Number of clauses of size 2283723
Number of clauses of size 3586165
Number of clauses of size 40
Number of clauses of size 50
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-3493495-1307798887.cnf ***
0.00/0.00	c 
1.29/1.30	c Parsing CPU Time: 1.20482
1.29/1.30	c Running MUSer ...
2.89/2.98	c 0.00% completed ... 
3.09/3.12	c 5.34% completed ... 
3.79/3.84	c 10.94% completed ... 
4.09/4.16	c 29.01% completed ... 
4.30/4.37	c 47.33% completed ... 
5.09/5.11	c 53.44% completed ... 
6.19/6.26	c 70.99% completed ... 
6.69/6.75	c 78.12% completed ... 
7.79/7.88	c 93.89% completed ... 
8.19/8.26	c 99.49% completed ... 
8.29/8.39	c 100.00% completed ... 
8.29/8.39	c MUS size: 328
8.29/8.39	s UNSATISFIABLE
8.29/8.39	v 536052 536441 536830 536050 536048 536125 536202 536046 536435 536279 536123 536356 536200 536433 536044 536277 536121 536354 536198 536042 536275 536352 536040 536583 536038 536660 536737 691170 536036 536814 536113 536190 536579 536034 536267 536656 536889 536344 536733 691166 536577 536032 536421 536810 536654 536887 536731 536030 536808 536028 536883 536026 536103 536180 536257 536101 536879 538824 536334 536178 536411 536255 536099 536877 537110 905104 536332 536176 536409 536253 536875 538820 536330 536407 537106 536561 536638 536715 536792 536869 537102 536168 536557 536245 536634 536322 536711 536555 536399 536788 536632 536865 536709 536786 536085 536863 536158 536235 536312 536156 536389 536233 536466 536310 536154 536387 536231 536464 536308 536541 536385 536462 536616 536460 536693 536537 536770 536458 536847 536146 536535 536223 536612 536456 536300 536689 536533 536377 536766 536610 536454 536843 536687 536764 536452 536841 536529 536450 536527 536448 536136 536525 536213 536290 536134 536912 536523 536367 536211 536444 536288 536132 536521 536910 536365 536209 536286 536519 536908 536363 536517 536906 536594 536671 536515 536904 536748 536825 536124 536513 536902 536201 536590 536278 536667 536511 536900 536355 536744 536588 536432 536821 536665 536509 536898 536742 536819 536507 536896 536428 536505 536894 536114 536503 536191 536268 536112 536501 536890 536345 536189 536422 536266 536110 536499 536888 536343 536187 536420 536264 536497 536886 536341 536418 536495 536884 536572 536649 536493 536882 536726 536803 536491 536880 536179 536568 536256 536645 536489 536333 536722 536566 536410 536799 536643 536487 536876 536720 536797 536485 537107 35218 536483 536481 536169 536246 536479 536323 536167 536400 536244 536477 536321 536165 536398 536242 536475 536319 536396 536473 536084 536550 536627 536471 536082 536704 536781 536080 536858 536157 536546 536234 536623 536078 536467 536311 536700 536544 536388 536777 536621 536076 536854 536698 536775 536074 536852 536540 536072 536070 536147 536224 536068 536301 536145 536378 536222 536066 536299 536143 536532 536376 536220 536064 536297 536374 536062 536605 536060 536682 536915 536759 536058 536836 536135 536913 536212 536601 536056 536289 536678 536366 536755 536599 536054 536832 536676 536753 0
8.29/8.39	c Terminating MUSer ...
8.29/8.39	c CPU Time: 8.24

Verifier Data 

OK	328

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-3493495-1307798887/watcher-3493495-1307798887 -o /tmp/evaluation-result-3493495-1307798887/solver-3493495-1307798887 -C 1800 -W 1850 -M 7680 ./muser -comp HOME/instance-3493495-1307798887.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: 2.35 0.69 0.66 4/189 17368
/proc/meminfo: memFree=30479060/32951124 swapFree=67054524/67111528
[pid=17368] ppid=17366 vsize=5996 CPUtime=0 cores=0,2
/proc/17368/stat : 17368 (muser) R 17366 17368 16678 0 -1 4202496 978 0 0 0 0 0 0 0 24 0 1 0 891487302 6139904 932 33554432000 4194304 5696331 140736009713680 18446744073709551615 4210886 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/17368/statm: 1499 932 114 367 0 1129 0

[startup+0.0495291 s]
/proc/loadavg: 2.35 0.69 0.66 4/189 17368
/proc/meminfo: memFree=30479060/32951124 swapFree=67054524/67111528
[pid=17368] ppid=17366 vsize=14984 CPUtime=0.04 cores=0,2
/proc/17368/stat : 17368 (muser) R 17366 17368 16678 0 -1 4202496 3664 0 0 0 4 0 0 0 24 0 1 0 891487302 15343616 3181 33554432000 4194304 5696331 140736009713680 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/17368/statm: 3746 3183 114 367 0 3376 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 14984

[startup+0.100519 s]
/proc/loadavg: 2.35 0.69 0.66 4/189 17368
/proc/meminfo: memFree=30479060/32951124 swapFree=67054524/67111528
[pid=17368] ppid=17366 vsize=25872 CPUtime=0.09 cores=0,2
/proc/17368/stat : 17368 (muser) R 17366 17368 16678 0 -1 4202496 6579 0 0 0 9 0 0 0 24 0 1 0 891487302 26492928 5902 33554432000 4194304 5696331 140736009713680 18446744073709551615 4210533 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/17368/statm: 6468 5902 114 367 0 6098 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25872

[startup+0.30049 s]
/proc/loadavg: 2.35 0.69 0.66 4/189 17368
/proc/meminfo: memFree=30479060/32951124 swapFree=67054524/67111528
[pid=17368] ppid=17366 vsize=57668 CPUtime=0.29 cores=0,2
/proc/17368/stat : 17368 (muser) R 17366 17368 16678 0 -1 4202496 16081 0 0 0 27 2 0 0 25 0 1 0 891487302 59052032 13863 33554432000 4194304 5696331 140736009713680 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/17368/statm: 14417 13866 114 367 0 14047 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 57668

[startup+0.700436 s]
/proc/loadavg: 2.35 0.69 0.66 4/189 17368
/proc/meminfo: memFree=30479060/32951124 swapFree=67054524/67111528
[pid=17368] ppid=17366 vsize=124700 CPUtime=0.69 cores=0,2
/proc/17368/stat : 17368 (muser) R 17366 17368 16678 0 -1 4202496 35145 0 0 0 64 5 0 0 25 0 1 0 891487302 127692800 30620 33554432000 4194304 5696331 140736009713680 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/17368/statm: 31175 30622 114 367 0 30805 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 124700

[startup+1.5003 s]
/proc/loadavg: 2.35 0.69 0.66 5/190 17369
/proc/meminfo: memFree=30288168/32951124 swapFree=67054524/67111528
[pid=17368] ppid=17366 vsize=273756 CPUtime=1.49 cores=0,2
/proc/17368/stat : 17368 (muser) R 17366 17368 16678 0 -1 4202496 76043 0 0 0 138 11 0 0 25 0 1 0 891487302 280326144 66905 33554432000 4194304 5696331 140736009713680 18446744073709551615 4393197 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/17368/statm: 68439 66907 140 367 0 68069 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 273756

[startup+3.10102 s]
/proc/loadavg: 2.35 0.69 0.66 5/190 17369
/proc/meminfo: memFree=30146808/32951124 swapFree=67054524/67111528
[pid=17368] ppid=17366 vsize=257532 CPUtime=3.09 cores=0,2
/proc/17368/stat : 17368 (muser) R 17366 17368 16678 0 -1 4202496 108457 0 0 0 294 15 0 0 25 0 1 0 891487302 263712768 63671 33554432000 4194304 5696331 140736009713680 18446744073709551615 4380796 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/17368/statm: 64383 63671 148 367 0 64013 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 257532

[startup+6.30049 s]
/proc/loadavg: 2.48 0.74 0.68 5/190 17369
/proc/meminfo: memFree=30177972/32951124 swapFree=67054524/67111528
[pid=17368] ppid=17366 vsize=257532 CPUtime=6.29 cores=0,2
/proc/17368/stat : 17368 (muser) R 17366 17368 16678 0 -1 4202496 108459 0 0 0 614 15 0 0 25 0 1 0 891487302 263712768 63673 33554432000 4194304 5696331 140736009713680 18446744073709551615 4417453 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/17368/statm: 64383 63673 150 367 0 64013 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 257532

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

[startup+7.10036 s]
/proc/loadavg: 2.48 0.74 0.68 5/190 17369
/proc/meminfo: memFree=30162424/32951124 swapFree=67054524/67111528
[pid=17368] ppid=17366 vsize=257532 CPUtime=7.09 cores=0,2
/proc/17368/stat : 17368 (muser) R 17366 17368 16678 0 -1 4202496 108459 0 0 0 694 15 0 0 25 0 1 0 891487302 263712768 63673 33554432000 4194304 5696331 140736009713680 18446744073709551615 4381149 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/17368/statm: 64383 63673 150 367 0 64013 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 257532

[startup+7.9012 s]
/proc/loadavg: 2.53 0.78 0.69 4/184 17393
/proc/meminfo: memFree=30254224/32951124 swapFree=67054524/67111528
[pid=17368] ppid=17366 vsize=257532 CPUtime=7.89 cores=0,2
/proc/17368/stat : 17368 (muser) R 17366 17368 16678 0 -1 4202496 108459 0 0 0 774 15 0 0 25 0 1 0 891487302 263712768 63673 33554432000 4194304 5696331 140736009713680 18446744073709551615 4370152 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/17368/statm: 64383 63673 150 367 0 64013 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 257532

[startup+8.30118 s]
/proc/loadavg: 2.53 0.78 0.69 4/184 17393
/proc/meminfo: memFree=30254224/32951124 swapFree=67054524/67111528
[pid=17368] ppid=17366 vsize=257532 CPUtime=8.29 cores=0,2
/proc/17368/stat : 17368 (muser) R 17366 17368 16678 0 -1 4202496 108459 0 0 0 814 15 0 0 25 0 1 0 891487302 263712768 63673 33554432000 4194304 5696331 140736009713680 18446744073709551615 4414791 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/17368/statm: 64383 63673 150 367 0 64013 0
Current children cumulated CPU time (s) 8.29
Current children cumulated vsize (KiB) 257532

[startup+8.4011 s]
/proc/loadavg: 2.53 0.78 0.69 4/184 17393
/proc/meminfo: memFree=30254224/32951124 swapFree=67054524/67111528
[pid=17368] ppid=17366 vsize=0 CPUtime=8.39 cores=0,2
/proc/17368/stat : 17368 (muser) R 17366 17368 16678 0 -1 4202500 108460 0 0 0 824 15 0 0 25 0 1 0 891487302 0 0 33554432000 0 0 0 0 0 0 0 4096 24615 18446744073709551615 0 0 17 0 0 0 0
/proc/17368/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.39
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 8.40661
CPU time (s): 8.40572
CPU user time (s): 8.24275
CPU system time (s): 0.162975
CPU usage (%): 99.9894
Max. virtual memory (cumulated for all children) (KiB): 316820

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

runsolver used 0.016997 second user time and 0.031995 second system time

The end

Launcher Data 

Begin job on node130 at 2011-06-11 15:28:08
IDJOB=3493495
IDBENCH=89574
IDSOLVER=1969
FILE ID=node130/3493495-1307798887
RUNJOBID= node130-1307798837-17157
PBS_JOBID= 13551018
Free space on /tmp= 73900 MiB

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

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

MD5SUM BENCH= cb55c707d7835abb5285d9fcb25c72ee
RANDOM SEED=691166016

node130.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.838
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.67
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.838
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.83
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.838
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.75
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.838
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.81
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.838
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.75
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.838
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.83
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.838
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.75
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.838
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.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30479984 kB
Buffers:        272412 kB
Cached:        1040648 kB
SwapCached:      10548 kB
Active:        1496128 kB
Inactive:       778704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30479984 kB
SwapTotal:    67111528 kB
SwapFree:     67054524 kB
Dirty:           40544 kB
Writeback:           0 kB
AnonPages:      958908 kB
Mapped:          14760 kB
Slab:           130132 kB
PageTables:       6772 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1198956 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= 73904 MiB
End job on node130 at 2011-06-11 15:28:17