Trace number 3495822

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
MoUsSaka 2011-03-26UNSAT 3.2465 3.24702

General information on the benchmark

Namemus/marques-silva/abstraction-refinement-intel/
edn_22134_10.cnf_0.47000000.unsat.cnf
MD5SUM7d0412758d8808750a2e0be99261969c
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3.2465
Satisfiable
(Un)Satisfiability was proved
Number of variables864437
Number of clauses2529021
Sum of the clauses size5870368
Maximum clause length3
Minimum clause length1
Number of clauses of size 11776
Number of clauses of size 21713143
Number of clauses of size 3814102
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.05	c MoUsSaka vegetarian
1.79/1.87	
1.79/1.87	s UNSATISFIABLE
3.19/3.23	c Core is minimal
3.19/3.23	
3.19/3.23	v 1657423 1657421 1656347 1492717 1555913 1555909 1492909 1492914 1239613 1239571 1239570 1239565 2528826 1492908 1492903 1492669 1239810 1431916 1431914 1430840 1239805 1239804 1239830 1492675 2476887 1239799 1492674 1492925 1239821 1657426 1657429 1755105 1755099 1755100 1808990 1745761 1808971 1745803 2528884 1745994 1755079 1808994 1755037 1755036 1808983 1752228 1755031 1752223 2528844 1752222 1752217 1752031 1751988 1745989 2474765 1751989 1808959 2475425 1755094 2528864 1751983 1808982 1808966 2476885 1657432 1808970 1746000 1745995 1808978 1745755 1745760 1909234 1909239 1909240 1908067 1746017 2528866 1741116 1741111 1741110 1741105 1740919 1431919 1431922 1431925 1239824 1239827 2528846 1685074 1685078 1740871 1740876 1740877 1746014 1555873 1492934 1910329 1907962 1907961 1907956 2457275 1910326 1937977 1937987 1909244 1937991 2457254 1909250 1910324 1555901 1555897 1746011 1809006 1809002 2528824 1808995 1492928 1492931 1555889 1555885 2528886 2478045 1555877 1983223 1983228 1983229 1983233 1755125 1752248 1910345 2478043 1746020 2457252 2474763 2476883 1741136 2475423 1431947 1239617 1657454 1492721 1492679 1657449 1431968 1431958 1431942 1239575 1751993 1908071 1755083 1910352 1910357 1740881 1910368 1983275 1983271 1910378 2426917 2426927 2426932 2089199 2089196 2089192 2434111 2434104 2456699 2456698 2456525 2456524 1755041 1752245 1752242 2426910 2426903 1809000 1808988 1808976 1808964 1755122 2448983 2448980 2448979 2448976 2448970 2448969 2448967 2448964 1752239 1752035 2448953 2448959 2448962 2448963 2089019 2089024 2435984 2435989 1755116 1755119 2100072 2100067 2163230 2100050 2100039 2100035 2100031 2100030 2100026 2100023 2100019 2298378 2430060 2430067 2430074 2430081 2430088 2430098 2430103 2099654 2088820 2088824 2088828 2088839 2088856 2088861 1657465 1657469 2089000 2089005 2434097 2294156 2294158 2294454 2294456 2294459 2294642 2300972 2301479 2301541 2301543 2301899 2301901 2302197 2302199 2522436 2522434 2522395 2302495 2302497 2320601 2320607 2323492 2323494 2323495 2295511 2295514 2295697 2296204 2296266 2296268 2236974 2242442 2242445 2434083 2434090 2249946 2252351 2254457 2266721 2268419 2268422 2268426 2269607 2272256 2274707 2274710 2099640 2099635 2099618 2099607 2099603 2099599 2089203 2522393 2522391 2521956 2521954 2521952 2521935 2289817 2275305 2275301 2275298 2275012 2275009 2274714 2244245 2244248 2244252 2247857 2249939 2249942 2298376 2298314 2297807 2163432 2163446 2163440 2163467 2163471 2163580 2163584 2296564 2296566 2296569 2296752 2297259 2297321 2163436 2297323 2297619 2297621 2297624 2100014 2100000 2099995 2163620 2163616 2163612 2163590 2179930 2179927 2179924 2179921 2179918 2179915 2179369 2179366 2164191 2100086 2100091 2100095 2100098 2295149 2295211 2295213 2295509 2231742 2234762 2234766 2236970 2163086 2163107 2164160 2164166 2164187 2299917 2299734 2299731 2299729 2299433 2264316 2264312 2264309 2262611 2259798 2259794 2259791 2257685 2254464 2254460 2528890 2522438 2522455 2522457 2522459 2522476 2330903 2528822 2528838 2528840 2528842 2528858 2528860 2528862 2528878 2528880 2528882 2528888 2163400 2299369 2163291 2163287 2163266 2299431 2163111 2163260 2163256 2100102 2163040 2163044 2163252 2163050 2163072 2163076 2163080 2300424 2300486 2300488 2300784 2300786 2300789 2521910 2521912 2521914 2521931 2521933 2298674 2298676 2163410 2163404 2298679 2298862 1909247 1910335 1910332 2435974 2435967 2435960 2435953 2435946 2434126 2434121 2448952 2448949 2448948 2445885 2445864 2445843 2445835 2445811 2437499 2330901 2330839 2330332 2330149 2330146 2330144 2329848 2329846 2456950 1685085 1657476 1657473 1302769 1889608 1889605 1889602 1889599 1889053 1889050 1937983 1937982 1910373 1910342 1910339 1302780 1302776 1302774 1907966 1889704 1889701 1889698 1889695 1889692 2163224 2163220 1049675 1049672 1049669 1049665 926227 320306 320296 320293 320291 320287 320283 1431976 1431963 1555917 1555905 1555893 1555881 1745807 1745765 1741133 1741130 1741127 1740923 2099891 2099887 2099886 2099882 2099879 2099875 2099870 2099856 2099851 2099834 2099823 2099819 2099815 2088983 2088972 2089187 2089173 2089168 2089151 2089140 2089136 2089132 2089035 2089031 2089028 1889689 1889686 1889617 1889614 1889611 2088968 2088964 2088963 2088959 2088956 2088952 2088947 2088933 2088928 2088911 2088900 2088896 2088892 2088891 2088887 2088884 2088880 2088875 2099906 2099895 2528912 2528913 2521851 2521868 2521870 2521872 2521889 2521891 2521893 2336077 2426889 2426896 2323497 2323498 2323501 2323541 2327736 2327738 2328034 2328036 2328039 2328222 2328729 2328791 2328793 2329089 2329091 2329094 2329277 2329784 2331199 2331201 2331204 2331387 2331894 2331956 2331958 2332254 2332256 2332259 2332442 2332949 2333011 2333013 2334066 2334068 2335121 2335123 2335777 2335779 2336075 2163796 2163800 2163806 2163827 2163831 2163940 2163944 2163950 2163972 2163976 2163980 2163986 2164007 2164011 2164120 2164124 2164130 2164152 2164156 2493291 2179933 2180002 2180005 2180008 2180011 2180014 2180017 2180020 2231719 2231723 2231727 2231731 2231735 2231738 2163626 2163647 2163651 2163760 2163764 2163770 2163792 2521830 2521847 2521849 2456952 2456956 2457250 2457269 2457271 2474761 2475421 2476881 2476889 2478041 2480132 2489405 2489407 2489409 2522478 2522480 2528818 2528820 2493293 2493295 2493377 2493379 2493381 2493463 2493465 2493467 2493549 2493551 2493553 2493635 2493637 2493639 2493721 2493723 2493725 2494428 2516009 2521826 2521828 2099923 2099928 2099942 2099947 2099951 2099954 2099958 2099959 2099963 2099967 2099978 2099659 2099663 2099666 2099670 2099671 2099675 2099679 2099690 2099707 2099712 2099726 2099731 2099735 2099738 2099742 2099743 2099747 2099751 2099762 2099779 2099784 2099798 2099803 2099807 2099810 2099814 1994383 1994387 1994569 1994574 1994575 1994580 1994591 1994594 1994597 1994600 1997383 1997388 1997389 1997393 1997431 1997435 1997446 1997451 1997452 1997457 1997468 1997471 1997474 1997477 2038777 2038782 1983457 1983462 1983463 1983468 1983479 1983482 1983485 1983488 1988107 1988112 1988113 1988117 1988155 1988159 1988341 1988346 1988347 1988352 1988363 1988366 1988369 1988372 1994335 1994340 1994341 1994345 2051412 2051416 2051420 2051423 2051427 2051428 2051432 2051436 2051440 2051444 2051447 2051451 2051452 2051456 2051460 2051464 2051468 2051471 2051475 2051476 2051480 2051484 2051488 2051492 2051495 2051499 2038783 2038787 2038831 2038835 2039119 2039124 2039125 2039129 2039132 2039135 2039195 2039197 2039200 2039203 2039206 2039210 2039213 2039216 2043171 2043176 2043187 2043191 2043195 2043197 2051404 2051408  0
3.19/3.23	
3.19/3.23	c Core has size 825

Verifier Data 

OK	825

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-3495822-1307808348/watcher-3495822-1307808348 -o /tmp/evaluation-result-3495822-1307808348/solver-3495822-1307808348 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495822-1307808348.cnf 

running on 2 cores: 0,2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 4.01 3.67 3.49 4/189 16616
/proc/meminfo: memFree=30246196/32951124 swapFree=67050520/67111528
[pid=16616] ppid=16614 vsize=58236 CPUtime=0 cores=0,2
/proc/16616/stat : 16616 (MoUsSaka) R 16614 16616 14141 0 -1 4202496 2060 0 0 0 0 0 0 0 24 0 1 0 892437357 59633664 1999 33554432000 4194304 4365125 140737362854880 18446744073709551615 4292364 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16616/statm: 14559 2010 245 42 0 11707 0

[startup+0.0761311 s]
/proc/loadavg: 4.01 3.67 3.49 4/189 16616
/proc/meminfo: memFree=30246196/32951124 swapFree=67050520/67111528
[pid=16616] ppid=16614 vsize=122484 CPUtime=0.06 cores=0,2
/proc/16616/stat : 16616 (MoUsSaka) R 16614 16616 14141 0 -1 4202496 25457 0 0 0 4 2 0 0 24 0 1 0 892437357 125423616 18472 33554432000 4194304 4365125 140737362854880 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16616/statm: 30621 18472 254 42 0 27769 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 122484

[startup+0.101129 s]
/proc/loadavg: 4.01 3.67 3.49 4/189 16616
/proc/meminfo: memFree=30246196/32951124 swapFree=67050520/67111528
[pid=16616] ppid=16614 vsize=122996 CPUtime=0.09 cores=0,2
/proc/16616/stat : 16616 (MoUsSaka) R 16614 16616 14141 0 -1 4202496 26268 0 0 0 7 2 0 0 25 0 1 0 892437357 125947904 19126 33554432000 4194304 4365125 140737362854880 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16616/statm: 30749 19127 254 42 0 27897 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 122996

[startup+0.30109 s]
/proc/loadavg: 4.01 3.67 3.49 4/189 16616
/proc/meminfo: memFree=30246196/32951124 swapFree=67050520/67111528
[pid=16616] ppid=16614 vsize=130164 CPUtime=0.29 cores=0,2
/proc/16616/stat : 16616 (MoUsSaka) R 16614 16616 14141 0 -1 4202496 32682 0 0 0 26 3 0 0 25 0 1 0 892437357 133287936 24385 33554432000 4194304 4365125 140737362854880 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16616/statm: 32541 24386 254 42 0 29689 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 130164

[startup+0.701008 s]
/proc/loadavg: 4.01 3.67 3.49 4/189 16616
/proc/meminfo: memFree=30246196/32951124 swapFree=67050520/67111528
[pid=16616] ppid=16614 vsize=262328 CPUtime=0.69 cores=0,2
/proc/16616/stat : 16616 (MoUsSaka) R 16614 16616 14141 0 -1 4202496 71733 0 0 0 60 9 0 0 25 0 1 0 892437357 268623872 40776 33554432000 4194304 4365125 140737362854880 18446744073709551615 4293676 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16616/statm: 65582 40800 254 42 0 62730 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 262328

[startup+1.50083 s]
/proc/loadavg: 4.01 3.67 3.49 5/190 16617
/proc/meminfo: memFree=30060088/32951124 swapFree=67050520/67111528
[pid=16616] ppid=16614 vsize=277552 CPUtime=1.49 cores=0,2
/proc/16616/stat : 16616 (MoUsSaka) R 16614 16616 14141 0 -1 4202496 115285 0 0 0 134 15 0 0 25 0 1 0 892437357 284213248 56722 33554432000 4194304 4365125 140737362854880 18446744073709551615 4262681 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16616/statm: 69388 56722 255 42 0 66536 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 277552

[startup+3.10053 s]
/proc/loadavg: 4.01 3.67 3.49 5/190 16618
/proc/meminfo: memFree=29985952/32951124 swapFree=67050520/67111528
[pid=16616] ppid=16614 vsize=277548 CPUtime=3.09 cores=0,2
/proc/16616/stat : 16616 (MoUsSaka) R 16614 16616 14141 0 -1 4202496 116466 0 0 0 294 15 0 0 25 0 1 0 892437357 284209152 57902 33554432000 4194304 4365125 140737362854880 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16616/statm: 69387 57902 263 42 0 66535 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 277548

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

[startup+3.20052 s]
/proc/loadavg: 4.01 3.67 3.49 5/190 16618
/proc/meminfo: memFree=29997360/32951124 swapFree=67050520/67111528
[pid=16616] ppid=16614 vsize=277548 CPUtime=3.19 cores=0,2
/proc/16616/stat : 16616 (MoUsSaka) R 16614 16616 14141 0 -1 4202496 116466 0 0 0 304 15 0 0 25 0 1 0 892437357 284209152 57902 33554432000 4194304 4365125 140737362854880 18446744073709551615 4260848 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16616/statm: 69387 57902 263 42 0 66535 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 277548

Child status: 20
Real time (s): 3.24702
CPU time (s): 3.2465
CPU user time (s): 3.07853
CPU system time (s): 0.167974
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 277552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.07853
system time used= 0.167974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116471
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= 7
involuntary context switches= 39

runsolver used 0.006998 second user time and 0.018997 second system time

The end

Launcher Data 

Begin job on node102 at 2011-06-11 18:05:50
IDJOB=3495822
IDBENCH=89261
IDSOLVER=1989
FILE ID=node102/3495822-1307808348
RUNJOBID= node102-1307807882-15964
PBS_JOBID= 13551074
Free space on /tmp= 74096 MiB

SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT11/mus/marques-silva/abstraction-refinement-intel/edn_22134_10.cnf_0.47000000.unsat.cnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495822-1307808348/watcher-3495822-1307808348 -o /tmp/evaluation-result-3495822-1307808348/solver-3495822-1307808348 -C 1800 -W 1850 -M 7680  MoUsSaka HOME/instance-3495822-1307808348.cnf

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

MD5SUM BENCH= 7d0412758d8808750a2e0be99261969c
RANDOM SEED=1492408733

node102.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.828
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.828
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.828
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.828
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.828
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.82
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.828
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.828
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.828
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:      30246616 kB
Buffers:        297044 kB
Cached:         993196 kB
SwapCached:      25172 kB
Active:        1737476 kB
Inactive:       753900 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30246616 kB
SwapTotal:    67111528 kB
SwapFree:     67050520 kB
Dirty:           47700 kB
Writeback:           0 kB
AnonPages:     1198548 kB
Mapped:           9684 kB
Slab:           144320 kB
PageTables:       7688 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1709264 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= 74096 MiB
End job on node102 at 2011-06-11 18:05:53