Trace number 3493255

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 40.3599 40.3757

General information on the benchmark

Namemus/marques-silva/abstraction-refinement-intel/
edn_5371_10.cnf_0.46000000.unsat.cnf
MD5SUM50f5ff504c1e52e56f4f1f592a1be4bc
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2.57661
Satisfiable
(Un)Satisfiability was proved
Number of variables864485
Number of clauses2529138
Sum of the clauses size5870641
Maximum clause length3
Minimum clause length1
Number of clauses of size 11768
Number of clauses of size 21713237
Number of clauses of size 3814133
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-3493255-1307798837.cnf ***
0.00/0.01	c 
3.28/3.35	c Parsing CPU Time: 3.16252
3.28/3.35	c Running MUSer ...
7.58/7.66	c 0.00% completed ... 
7.97/8.04	c 10.82% completed ... 
11.57/11.62	c 24.27% completed ... 
14.08/14.11	c 34.04% completed ... 
17.59/17.67	c 49.60% completed ... 
18.69/18.74	c 56.99% completed ... 
27.18/27.28	c 75.99% completed ... 
28.59/28.68	c 83.38% completed ... 
40.28/40.34	c 100.00% completed ... 
40.28/40.34	c MUS size: 379
40.28/40.34	s UNSATISFIABLE
40.28/40.34	v 1889551 2288276 2087862 1685247 1938097 2288197 2088095 2185189 2087783 2288118 2287962 2259875 2288272 673221 2087858 2088091 1889545 2327792 2087779 1954974 1897791 2288191 2323590 2185183 2327790 2268506 1685239 2521978 2513264 2320397 1897787 2521976 2288264 2335177 2316349 2288185 2323584 1391773 2185177 2288262 2335175 2288106 2287950 2316347 1897783 2529130 2449073 2288260 1897781 2288179 2323578 2449069 2185171 2513096 1177892 1644925 2522041 2288252 1897773 925273 2288173 2323572 2237058 2098574 2274791 2449063 2522039 2288250 2288094 1644921 2287938 2288248 2098649 2237054 1177884 2330957 2288167 2323566 2449057 2312129 1644915 2330955 2449055 2312127 1646159 2098643 1430963 434967 2516117 2288240 2098641 2480094 1644911 2513159 2098718 2323560 2098562 2288238 1177876 2288082 2287926 2289871 2186474 2098793 2288236 2098637 1644907 2098558 1430955 2323554 2449045 2480086 2098787 2480240 2480084 1430951 2254541 2319115 2449041 2098785 2288228 2098862 2480082 2098706 2323548 2319113 2288226 2288070 2480080 1430947 2287914 2521936 2323546 2098937 2513222 2098781 2288224 1430945 2480078 2250023 2521934 2098702 2275385 1430943 2480076 2234850 2334122 2315294 2480074 2098931 2334120 2315292 2234846 2098929 1432183 2288216 2099006 2098850 2319413 2288214 2288058 2319411 2287902 2186450 2098925 2288212 2088110 2244332 2098846 2087798 2522544 2521999 2513285 2522542 2521997 1889560 2088104 2185198 1449054 2087792 2186442 2288204 2088102 2098994 2185196 2288281 2087790 2264396 2087867 2288202 2288046 1889554 2329902 2287890 2311074 2186438 2288200 2088098 2098990 2329900 2185192 2087786 2311072 1391786 2259878 2513117 2288275 673224 1897796 2186434 1889548 2318459 2186432 1685244 1938094 2323593 2185186 2318457 1897792 2288192 2288269 2087855 2288190 1391778 2288034 2287878 673216 2288188 2323587 2185180 2268503 2087851 2449076 2288263 2289819 2480117 2480115 2513180 2529129 2323581 2449072 2185174 925280 1644930 2480113 2529127 2288180 2288257 925278 2480111 2529125 2288178 2288022 2185170 2287866 2480109 2529123 2333067 2288176 2314239 2323575 2098577 2274794 2287864 2529121 2333065 2314237 1899018 2185166 2288251 1177889 2529119 2449062 2529117 434974 2323569 2098571 2449060 1899014 2185162 1177885 2529115 1897768 434972 2288168 2521957 2098569 2513243 2288245 2098646 1644916 2288166 2521955 2449056 2288010 1177881 2098721 2323563 2098565 2449052 2288239 1430960 2098715 2323557 1179119 2328847 1430956 2098713 2186471 2449046 2328845 2098790 2288233 2098634 2288154 2254544 2522565 2287998 2522020 2098865 2098709 2323551 2522563 2449042 2317404 2522018 2098630 2288227 2317402 2250026 2098859 2522480 2098857 2522478 2098934 2098778 2288221 2494468 2288142 2287986 2275382 2099009 2098853 2513138 2098774 1430938 1432182 2288215 2099003 1432178 2099001 2332012 2185203 1889563 2313184 2186447 2098922 2288209 2088107 2332010 2244329 2313182 2087795 2288130 2287974 2098997 2288284 2186443 2098918 2087870 1889557 2521915 2513201 2288203 2521913 1938101 2264393 1897799 2087864 0
40.28/40.35	c Terminating MUSer ...
40.28/40.35	c CPU Time: 40.01

Verifier Data 

OK	379

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-3493255-1307798837/watcher-3493255-1307798837 -o /tmp/evaluation-result-3493255-1307798837/solver-3493255-1307798837 -C 1800 -W 1850 -M 7680 ./muser -comp HOME/instance-3493255-1307798837.cnf 

running on 2 cores: 4,6

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: 0.21 0.09 0.48 3/184 17201
/proc/meminfo: memFree=31147460/32951124 swapFree=67054524/67111528
[pid=17201] ppid=17199 vsize=11804 CPUtime=0 cores=4,6
/proc/17201/stat : 17201 (runsolver) S 17199 17201 16678 0 -1 4202560 41 0 0 0 0 0 0 0 21 0 1 0 891482414 12087296 50 33554432000 4194304 5436572 140733236267920 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699968823 0 0 17 4 0 0 0
/proc/17201/statm: 2951 50 31 304 0 2643 0

[startup+0.0620739 s]
/proc/loadavg: 0.21 0.09 0.48 3/184 17201
/proc/meminfo: memFree=31147460/32951124 swapFree=67054524/67111528
[pid=17201] ppid=17199 vsize=13944 CPUtime=0.04 cores=4,6
/proc/17201/stat : 17201 (muser) R 17199 17201 16678 0 -1 4202496 3118 0 0 0 4 0 0 0 22 0 1 0 891482414 14278656 2925 33554432000 4194304 5696331 140734106872704 18446744073709551615 4208097 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/17201/statm: 3486 2925 114 367 0 3116 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13944

[startup+0.101068 s]
/proc/loadavg: 0.21 0.09 0.48 3/184 17201
/proc/meminfo: memFree=31147460/32951124 swapFree=67054524/67111528
[pid=17201] ppid=17199 vsize=20000 CPUtime=0.07 cores=4,6
/proc/17201/stat : 17201 (muser) R 17199 17201 16678 0 -1 4202496 4937 0 0 0 7 0 0 0 22 0 1 0 891482414 20480000 4453 33554432000 4194304 5696331 140734106872704 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/17201/statm: 5033 4456 114 367 0 4663 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 20000

[startup+0.301046 s]
/proc/loadavg: 0.21 0.09 0.48 3/184 17201
/proc/meminfo: memFree=31147460/32951124 swapFree=67054524/67111528
[pid=17201] ppid=17199 vsize=50496 CPUtime=0.27 cores=4,6
/proc/17201/stat : 17201 (muser) R 17199 17201 16678 0 -1 4202496 13878 0 0 0 26 1 0 0 23 0 1 0 891482414 51707904 12045 33554432000 4194304 5696331 140734106872704 18446744073709551615 4210980 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/17201/statm: 12624 12045 114 367 0 12254 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 50496

[startup+0.700968 s]
/proc/loadavg: 0.21 0.09 0.48 3/184 17201
/proc/meminfo: memFree=31147460/32951124 swapFree=67054524/67111528
[pid=17201] ppid=17199 vsize=115460 CPUtime=0.68 cores=4,6
/proc/17201/stat : 17201 (muser) R 17199 17201 16678 0 -1 4202496 32826 0 0 0 65 3 0 0 25 0 1 0 891482414 118231040 28301 33554432000 4194304 5696331 140734106872704 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/17201/statm: 28865 28303 114 367 0 28495 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 115460

[startup+1.50079 s]
/proc/loadavg: 0.21 0.09 0.48 5/190 17216
/proc/meminfo: memFree=30584108/32951124 swapFree=67054524/67111528
[pid=17201] ppid=17199 vsize=238964 CPUtime=1.47 cores=4,6
/proc/17201/stat : 17201 (muser) R 17199 17201 16678 0 -1 4202496 68313 0 0 0 141 6 0 0 25 0 1 0 891482414 244699136 59177 33554432000 4194304 5696331 140734106872704 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/17201/statm: 59741 59179 114 367 0 59371 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 238964

[startup+3.10054 s]
/proc/loadavg: 0.51 0.15 0.50 5/190 17216
/proc/meminfo: memFree=30180860/32951124 swapFree=67054524/67111528
[pid=17201] ppid=17199 vsize=495476 CPUtime=3.08 cores=4,6
/proc/17201/stat : 17201 (muser) R 17199 17201 16678 0 -1 4202496 141658 0 0 0 292 16 0 0 25 0 1 0 891482414 507367424 123303 33554432000 4194304 5696331 140734106872704 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/17201/statm: 123869 123305 114 367 0 123499 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 495476

[startup+6.30103 s]
/proc/loadavg: 0.51 0.15 0.50 5/190 17216
/proc/meminfo: memFree=29351572/32951124 swapFree=67054524/67111528
[pid=17201] ppid=17199 vsize=781064 CPUtime=6.28 cores=4,6
/proc/17201/stat : 17201 (muser) R 17199 17201 16678 0 -1 4202496 229583 0 0 0 604 24 0 0 25 0 1 0 891482414 799809536 194592 33554432000 4194304 5696331 140734106872704 18446744073709551615 4948827 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/17201/statm: 195266 194592 143 367 0 194896 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 781064

[startup+12.701 s]
/proc/loadavg: 1.05 0.28 0.54 5/190 17216
/proc/meminfo: memFree=29618588/32951124 swapFree=67054524/67111528
[pid=17201] ppid=17199 vsize=681388 CPUtime=12.68 cores=4,6
/proc/17201/stat : 17201 (muser) R 17199 17201 16678 0 -1 4202496 287782 0 0 0 1236 32 0 0 25 0 1 0 891482414 697741312 169677 33554432000 4194304 5696331 140734106872704 18446744073709551615 4411131 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/17201/statm: 170347 169677 149 367 0 169977 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 681388

[startup+25.5008 s]
/proc/loadavg: 1.50 0.40 0.57 5/190 17217
/proc/meminfo: memFree=29410144/32951124 swapFree=67054524/67111528
[pid=17201] ppid=17199 vsize=681388 CPUtime=25.48 cores=4,6
/proc/17201/stat : 17201 (muser) R 17199 17201 16678 0 -1 4202496 287782 0 0 0 2516 32 0 0 25 0 1 0 891482414 697741312 169677 33554432000 4194304 5696331 140734106872704 18446744073709551615 4381194 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/17201/statm: 170347 169677 149 367 0 169977 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 681388

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

[startup+31.9067 s]
/proc/loadavg: 1.89 0.52 0.61 5/190 17217
/proc/meminfo: memFree=29357884/32951124 swapFree=67054524/67111528
[pid=17201] ppid=17199 vsize=681388 CPUtime=31.89 cores=4,6
/proc/17201/stat : 17201 (muser) R 17199 17201 16678 0 -1 4202496 287782 0 0 0 3157 32 0 0 25 0 1 0 891482414 697741312 169677 33554432000 4194304 5696331 140734106872704 18446744073709551615 4417453 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/17201/statm: 170347 169677 149 367 0 169977 0
Current children cumulated CPU time (s) 31.89
Current children cumulated vsize (KiB) 681388

[startup+35.1012 s]
/proc/loadavg: 1.89 0.52 0.61 5/190 17217
/proc/meminfo: memFree=29316084/32951124 swapFree=67054524/67111528
[pid=17201] ppid=17199 vsize=681388 CPUtime=35.08 cores=4,6
/proc/17201/stat : 17201 (muser) R 17199 17201 16678 0 -1 4202496 287784 0 0 0 3476 32 0 0 25 0 1 0 891482414 697741312 169679 33554432000 4194304 5696331 140734106872704 18446744073709551615 4417510 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/17201/statm: 170347 169679 149 367 0 169977 0
Current children cumulated CPU time (s) 35.08
Current children cumulated vsize (KiB) 681388

[startup+38.3007 s]
/proc/loadavg: 2.05 0.57 0.63 5/190 17217
/proc/meminfo: memFree=29315712/32951124 swapFree=67054524/67111528
[pid=17201] ppid=17199 vsize=681388 CPUtime=38.28 cores=4,6
/proc/17201/stat : 17201 (muser) R 17199 17201 16678 0 -1 4202496 287785 0 0 0 3796 32 0 0 25 0 1 0 891482414 697741312 169680 33554432000 4194304 5696331 140734106872704 18446744073709551615 4416848 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/17201/statm: 170347 169680 149 367 0 169977 0
Current children cumulated CPU time (s) 38.28
Current children cumulated vsize (KiB) 681388

[startup+39.1005 s]
/proc/loadavg: 2.05 0.57 0.63 5/190 17217
/proc/meminfo: memFree=29315340/32951124 swapFree=67054524/67111528
[pid=17201] ppid=17199 vsize=681388 CPUtime=39.08 cores=4,6
/proc/17201/stat : 17201 (muser) R 17199 17201 16678 0 -1 4202496 287785 0 0 0 3876 32 0 0 25 0 1 0 891482414 697741312 169680 33554432000 4194304 5696331 140734106872704 18446744073709551615 4370154 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/17201/statm: 170347 169680 149 367 0 169977 0
Current children cumulated CPU time (s) 39.08
Current children cumulated vsize (KiB) 681388

[startup+39.9004 s]
/proc/loadavg: 2.05 0.57 0.63 5/190 17217
/proc/meminfo: memFree=29304676/32951124 swapFree=67054524/67111528
[pid=17201] ppid=17199 vsize=681388 CPUtime=39.88 cores=4,6
/proc/17201/stat : 17201 (muser) R 17199 17201 16678 0 -1 4202496 287785 0 0 0 3956 32 0 0 25 0 1 0 891482414 697741312 169680 33554432000 4194304 5696331 140734106872704 18446744073709551615 4371248 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/17201/statm: 170347 169680 149 367 0 169977 0
Current children cumulated CPU time (s) 39.88
Current children cumulated vsize (KiB) 681388

[startup+40.3003 s]
/proc/loadavg: 2.05 0.57 0.63 5/190 17217
/proc/meminfo: memFree=29304676/32951124 swapFree=67054524/67111528
[pid=17201] ppid=17199 vsize=681388 CPUtime=40.28 cores=4,6
/proc/17201/stat : 17201 (muser) R 17199 17201 16678 0 -1 4202496 287785 0 0 0 3996 32 0 0 25 0 1 0 891482414 697741312 169680 33554432000 4194304 5696331 140734106872704 18446744073709551615 4380930 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/17201/statm: 170347 169680 149 367 0 169977 0
Current children cumulated CPU time (s) 40.28
Current children cumulated vsize (KiB) 681388

Child status: 20
Real time (s): 40.3757
CPU time (s): 40.3599
CPU user time (s): 40.0109
CPU system time (s): 0.348946
CPU usage (%): 99.9606
Max. virtual memory (cumulated for all children) (KiB): 861652

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

runsolver used 0.075988 second user time and 0.145977 second system time

The end

Launcher Data 

Begin job on node130 at 2011-06-11 15:27:19
IDJOB=3493255
IDBENCH=89286
IDSOLVER=1969
FILE ID=node130/3493255-1307798837
RUNJOBID= node130-1307798837-17158
PBS_JOBID= 13551018
Free space on /tmp= 73836 MiB

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

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

MD5SUM BENCH= 50f5ff504c1e52e56f4f1f592a1be4bc
RANDOM SEED=2077693128

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:      31150616 kB
Buffers:        272128 kB
Cached:        1101348 kB
SwapCached:      10548 kB
Active:         829600 kB
Inactive:       773320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31150616 kB
SwapTotal:    67111528 kB
SwapFree:     67054524 kB
Dirty:          124012 kB
Writeback:           0 kB
AnonPages:      226552 kB
Mapped:          13676 kB
Slab:           133180 kB
PageTables:       5196 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   446460 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= 73828 MiB
End job on node130 at 2011-06-11 15:28:00