Trace number 3481129

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.05677 8.07672

General information on the benchmark

Namemus/marques-silva/
software-verification/itox_vc1216.cnf
MD5SUM5989776b4ffba911abbb4fbca4e657bd
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.61475
Satisfiable
(Un)Satisfiability was proved
Number of variables151619
Number of clauses440151
Sum of the clauses size1138189
Maximum clause length3
Minimum clause length1
Number of clauses of size 110189
Number of clauses of size 2161886
Number of clauses of size 3268076
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-3481129-1307606892.cnf ***
0.00/0.01	c 
0.47/0.58	c Parsing CPU Time: 0.527919
0.47/0.58	c Running MUSer ...
1.27/1.39	c 0.00% completed ... 
1.47/1.54	c 17.12% completed ... 
1.47/1.59	c 27.05% completed ... 
1.67/1.70	c 48.63% completed ... 
2.07/2.19	c 73.80% completed ... 
7.97/8.07	c 100.00% completed ... 
7.97/8.07	c MUS size: 584
7.97/8.07	s UNSATISFIABLE
7.97/8.07	v 351962 351193 351189 351934 351165 351161 381905 351137 351906 351133 366513 366501 366489 351109 351878 351105 366477 366465 351081 351850 351077 366453 366441 351822 351053 351049 366429 366421 351794 351025 351021 351782 350997 350993 350969 350965 366325 366321 350941 350937 366317 349391 351690 351686 349379 366297 350913 366293 350909 366289 349367 349355 351662 351658 366269 366265 366261 349343 349331 351634 351630 366241 366237 349319 366233 351606 351602 366213 366209 366205 350817 350813 350809 351578 351574 350805 366185 350801 366181 366177 350797 350793 350789 350785 350781 351550 351546 350777 366157 350773 366153 350769 366149 351522 351518 366129 350745 366125 366121 350737 351494 351490 366101 366097 366093 351466 349924 351462 366073 366069 382218 366065 349147 349912 382206 351438 351434 366045 382194 349892 366041 366037 382182 349884 349880 382170 351410 349872 351406 366017 366013 349864 366009 382158 382146 351382 351378 365989 382134 365985 365981 382122 352131 352127 365969 349051 351354 351350 382110 382098 352103 352099 382086 382074 352075 352071 382062 350529 370523 350525 382050 382038 352047 439713 352043 439705 350489 348951 350485 352019 348943 352015 350477 348939 348927 351234 348923 348919 366606 351991 351987 351206 351963 351959 351178 351935 351931 351150 351907 351903 366510 366506 351122 366498 351879 351875 366486 366474 351094 351851 366462 351847 366450 351066 366438 351823 351819 366426 351038 351795 351791 351010 350982 366354 366346 380953 350954 440150 440146 349400 350926 349388 349376 351675 349364 350898 350125 381650 349352 349340 351647 350101 349328 349316 351619 349308 351591 351563 349244 350766 351535 350762 350754 350750 350742 351507 10189 351479 382223 349921 349148 382215 351451 382203 382191 351423 382179 382167 351395 437523 382155 382143 382131 351367 382119 372887 382107 352116 365950 351339 382095 382083 366703 352088 382071 382059 439726 352060 382047 439718 382035 439702 352032 348952 348948 348940 351235 352004 351231 351976 351207 351203 351948 351179 351175 351920 351151 351147 381907 351123 351892 351119 366495 366483 351095 351864 351091 366471 366459 351067 351836 366447 351063 366435 366423 351808 351039 351035 351780 351011 351007 350983 350979 366339 366335 350955 380946 350951 366331 349397 366311 366307 350927 350923 366303 349385 349373 351676 351672 366283 349361 366279 366275 350895 349349 351648 351644 366255 349337 366251 366247 349325 351620 349313 351616 350078 366227 366223 366219 350070 351592 351588 366199 350815 350046 366195 366191 350811 350807 350038 350803 350799 350795 351564 351560 350791 366171 350787 366167 350783 366163 350779 350775 350771 350767 351536 351532 350763 366143 366139 366135 351508 351504 366115 366111 366107 351480 351476 366087 366083 380694 366079 349926 349918 351452 382212 349910 351448 366059 366055 366051 382200 382188 351424 351420 366031 366027 382176 366023 382164 437524 351396 351392 382152 366003 365999 365995 382140 382128 351368 351364 349053 382116 372884 365963 365959 352117 352113 365955 382104 351336 382092 365943 366700 382080 352089 352085 382068 350527 382056 352061 352057 439723 382044 382036 439711 350503 352033 348957 352029 348953 348949 351256 348945 351248 348937 352005 348929 352001 348925 348921 366608 351220 351977 351973 351192 351949 351945 351164 351921 351917 351136 351893 366504 351889 366492 351108 366480 351865 351861 366468 351080 366456 351837 351833 366444 366432 351052 351809 351805 351024 351777 350996 350968 350940 349402 349394 351697 351689 349382 350912 349370 350900 350127 349358 350123 381652 351661 349346 349334 351633 349322 350087 350083 349310 350075 351605 350055 350051 350043 351577 351549 351521 351493 380691 351465 382221 349915 382209 382197 351437 382185 349875 382173 351409 349867 382161 437521 382149 437517 351381 382137 352138 382125 365976 365972 352130 382113 351353 382101 351341 352102 382089 382077 382065 352074 370526 382053 439720 382041 439716 352046 382033 439708 348946 351249 352018 350480 348942 351245 350472 351221 351990 351217 0
7.97/8.07	c Terminating MUSer ...
7.97/8.07	c CPU Time: 7.98

Verifier Data 

OK	584

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-3481129-1307606892/watcher-3481129-1307606892 -o /tmp/evaluation-result-3481129-1307606892/solver-3481129-1307606892 -C 1800 -W 1850 -M 7680 ./muser -comp HOME/instance-3481129-1307606892.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: 1.68 1.86 1.81 5/693 2541
/proc/meminfo: memFree=14638596/32951124 swapFree=41082008/67111528
[pid=2541] ppid=2539 vsize=11796 CPUtime=0 cores=5,7
/proc/2541/stat : 2541 (runsolver) R 2539 2541 2185 0 -1 4202560 42 0 0 0 0 0 0 0 25 0 1 0 872287233 12079104 50 33554432000 4194304 5432328 140733396607120 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 7 0 0 0
/proc/2541/statm: 2949 50 31 303 0 2643 0

[startup+0.0392479 s]
/proc/loadavg: 1.68 1.86 1.81 5/693 2541
/proc/meminfo: memFree=14638596/32951124 swapFree=41082008/67111528
[pid=2541] ppid=2539 vsize=8816 CPUtime=0.01 cores=5,7
/proc/2541/stat : 2541 (muser) R 2539 2541 2185 0 -1 4202496 1851 0 0 0 1 0 0 0 25 0 1 0 872287233 9027584 1658 33554432000 4194304 5696331 140735464776704 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/2541/statm: 2237 1661 114 367 0 1867 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8816

[startup+0.100248 s]
/proc/loadavg: 1.68 1.86 1.81 5/693 2541
/proc/meminfo: memFree=14638596/32951124 swapFree=41082008/67111528
[pid=2541] ppid=2539 vsize=22508 CPUtime=0.07 cores=5,7
/proc/2541/stat : 2541 (muser) R 2539 2541 2185 0 -1 4202496 5553 0 0 0 7 0 0 0 25 0 1 0 872287233 23048192 5069 33554432000 4194304 5696331 140735464776704 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/2541/statm: 5627 5071 114 367 0 5257 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 22508

[startup+0.300201 s]
/proc/loadavg: 1.68 1.86 1.81 5/693 2541
/proc/meminfo: memFree=14638596/32951124 swapFree=41082008/67111528
[pid=2541] ppid=2539 vsize=55820 CPUtime=0.27 cores=5,7
/proc/2541/stat : 2541 (muser) R 2539 2541 2185 0 -1 4202496 15617 0 0 0 26 1 0 0 25 0 1 0 872287233 57159680 13399 33554432000 4194304 5696331 140735464776704 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/2541/statm: 13955 13402 114 367 0 13585 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 55820

[startup+0.70113 s]
/proc/loadavg: 1.68 1.86 1.81 5/693 2541
/proc/meminfo: memFree=14638596/32951124 swapFree=41082008/67111528
[pid=2541] ppid=2539 vsize=139220 CPUtime=0.67 cores=5,7
/proc/2541/stat : 2541 (muser) R 2539 2541 2185 0 -1 4202496 38309 0 0 0 62 5 0 0 25 0 1 0 872287233 142561280 33782 33554432000 4194304 5696331 140735464776704 18446744073709551615 4398111 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/2541/statm: 34805 33782 140 367 0 34435 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 139220

[startup+1.50098 s]
/proc/loadavg: 1.68 1.86 1.81 5/694 2570
/proc/meminfo: memFree=14479304/32951124 swapFree=41082008/67111528
[pid=2541] ppid=2539 vsize=126848 CPUtime=1.47 cores=5,7
/proc/2541/stat : 2541 (muser) R 2539 2541 2185 0 -1 4202496 54582 0 0 0 141 6 0 0 25 0 1 0 872287233 129892352 31071 33554432000 4194304 5696331 140735464776704 18446744073709551615 4417500 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/2541/statm: 31712 31071 148 367 0 31342 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 126848

[startup+3.10069 s]
/proc/loadavg: 1.68 1.86 1.81 5/694 2570
/proc/meminfo: memFree=14484016/32951124 swapFree=41082008/67111528
[pid=2541] ppid=2539 vsize=128036 CPUtime=3.07 cores=5,7
/proc/2541/stat : 2541 (muser) R 2539 2541 2185 0 -1 4202496 54881 0 0 0 301 6 0 0 25 0 1 0 872287233 131108864 31370 33554432000 4194304 5696331 140735464776704 18446744073709551615 4381177 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/2541/statm: 32009 31370 149 367 0 31639 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 128036

[startup+6.30111 s]
/proc/loadavg: 1.87 1.89 1.82 5/694 2571
/proc/meminfo: memFree=14439492/32951124 swapFree=41082008/67111528
[pid=2541] ppid=2539 vsize=128036 CPUtime=6.27 cores=5,7
/proc/2541/stat : 2541 (muser) R 2539 2541 2185 0 -1 4202496 54884 0 0 0 621 6 0 0 25 0 1 0 872287233 131108864 31373 33554432000 4194304 5696331 140735464776704 18446744073709551615 4416830 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/2541/statm: 32009 31373 149 367 0 31639 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 128036

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

[startup+7.10096 s]
/proc/loadavg: 1.87 1.89 1.82 5/694 2571
/proc/meminfo: memFree=14422892/32951124 swapFree=41082008/67111528
[pid=2541] ppid=2539 vsize=128036 CPUtime=7.07 cores=5,7
/proc/2541/stat : 2541 (muser) R 2539 2541 2185 0 -1 4202496 54884 0 0 0 701 6 0 0 25 0 1 0 872287233 131108864 31373 33554432000 4194304 5696331 140735464776704 18446744073709551615 4381210 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/2541/statm: 32009 31373 149 367 0 31639 0
Current children cumulated CPU time (s) 7.07
Current children cumulated vsize (KiB) 128036

[startup+7.5009 s]
/proc/loadavg: 1.87 1.89 1.82 5/694 2571
/proc/meminfo: memFree=14422892/32951124 swapFree=41082008/67111528
[pid=2541] ppid=2539 vsize=128036 CPUtime=7.47 cores=5,7
/proc/2541/stat : 2541 (muser) R 2539 2541 2185 0 -1 4202496 54884 0 0 0 741 6 0 0 25 0 1 0 872287233 131108864 31373 33554432000 4194304 5696331 140735464776704 18446744073709551615 4417491 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/2541/statm: 32009 31373 149 367 0 31639 0
Current children cumulated CPU time (s) 7.47
Current children cumulated vsize (KiB) 128036

[startup+7.90082 s]
/proc/loadavg: 1.87 1.89 1.82 5/694 2571
/proc/meminfo: memFree=14410956/32951124 swapFree=41082008/67111528
[pid=2541] ppid=2539 vsize=128036 CPUtime=7.87 cores=5,7
/proc/2541/stat : 2541 (muser) R 2539 2541 2185 0 -1 4202496 54884 0 0 0 781 6 0 0 25 0 1 0 872287233 131108864 31373 33554432000 4194304 5696331 140735464776704 18446744073709551615 4371241 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/2541/statm: 32009 31373 149 367 0 31639 0
Current children cumulated CPU time (s) 7.87
Current children cumulated vsize (KiB) 128036

[startup+8.0008 s]
/proc/loadavg: 1.87 1.89 1.82 5/694 2571
/proc/meminfo: memFree=14410956/32951124 swapFree=41082008/67111528
[pid=2541] ppid=2539 vsize=128036 CPUtime=7.97 cores=5,7
/proc/2541/stat : 2541 (muser) R 2539 2541 2185 0 -1 4202496 54884 0 0 0 791 6 0 0 25 0 1 0 872287233 131108864 31373 33554432000 4194304 5696331 140735464776704 18446744073709551615 4417521 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/2541/statm: 32009 31373 149 367 0 31639 0
Current children cumulated CPU time (s) 7.97
Current children cumulated vsize (KiB) 128036

Child status: 20
Real time (s): 8.07672
CPU time (s): 8.05677
CPU user time (s): 7.98479
CPU system time (s): 0.071989
CPU usage (%): 99.7531
Max. virtual memory (cumulated for all children) (KiB): 154824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.98479
system time used= 0.071989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54885
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 91

runsolver used 0.044993 second user time and 0.107983 second system time

The end

Launcher Data 

Begin job on node138 at 2011-06-09 10:08:13
IDJOB=3481129
IDBENCH=89558
IDSOLVER=1969
FILE ID=node138/3481129-1307606892
RUNJOBID= node138-1307606884-2448
PBS_JOBID= 13547751
Free space on /tmp= 73468 MiB

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

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

MD5SUM BENCH= 5989776b4ffba911abbb4fbca4e657bd
RANDOM SEED=1470175

node138.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.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
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.854
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:      14638868 kB
Buffers:        177716 kB
Cached:         722880 kB
SwapCached:      13788 kB
Active:       17802128 kB
Inactive:       178688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14638868 kB
SwapTotal:    67111528 kB
SwapFree:     41082008 kB
Dirty:           19824 kB
Writeback:           0 kB
AnonPages:    17077972 kB
Mapped:          98192 kB
Slab:           133668 kB
PageTables:     127116 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 150667624 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= 73468 MiB
End job on node138 at 2011-06-09 10:08:21