Trace number 3495832

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 9.29259 9.29319

General information on the benchmark

Namemus/marques-silva/abstraction-refinement-intel/
edn_5371_12.cnf_0.50000000.unsat.cnf
MD5SUM87d08b3bdb46c96df60f85693cb8512d
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark9.29259
Satisfiable
(Un)Satisfiability was proved
Number of variables1042190
Number of clauses3051359
Sum of the clauses size7083380
Maximum clause length3
Minimum clause length1
Number of clauses of size 11774
Number of clauses of size 22067149
Number of clauses of size 3982436
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.06	c MoUsSaka vegetarian
1.99/2.08	
1.99/2.08	s UNSATISFIABLE
9.19/9.28	c Core is minimal
9.19/9.28	
9.19/9.28	v 3051346 1177864 3051344 925244 1179098 925242 925237 1430926 673180 433939 433937 433932 1430930 1430934 1430935 2992503 2992505 1432157 1391752 1889656 1889653 1685222 1683988 1644823 1644822 1644818 1644814 1889659 1897889 2099381 2099362 1430942 1937050 1937054 1937058 1937059 2151010 2992499 2151014 2151018 2151019 1391765 1430939 1937066 1937063 2992501 2201006 2201004 1889662 2802423 2802425 1889665 1889668 1897876 2955184 2604949 2604696 2604692 2604689 2604685 2604680 2604666 2604661 2604644 2604633 2604629 2691203 2691201 2955187 2964217 2099366 2099369 2099372 2099398 2099402 2955170 2955173 2839170 2840223 2840225 2841278 2841280 2743157 2740953 2740949 2692577 2692574 2692553 2692550 2604973 2604968 2604954 2605093 2605098 2605112 2605117 2605121 2605124 2604773 2604777 2604788 2604805 2800313 2800315 2801368 2801370 2803478 2692541 2692545 2692546 2841934 2841936 2803480 2804533 2804535 2805588 2604810 2604824 2594177 2594194 2594199 2594213 2594218 2594222 2594225 2594229 2604625 2808354 2808356 2808652 2808654 2826500 2826758 2826764 2827250 2827643 2829698 2765981 2604697 2099405 2206935 2206281 2206279 2205226 2205224 2204171 2204169 2203116 2203114 2202061 2202059 1937048 1937046 1391759 1391756 1177871 1177868 1177863 2750432 2750435 2756126 2756129 2604768 2604769 2191342 2743161 2191347 2604764 2604761 2604757 2760644 2760647 2765978 2604752 2604738 2604733 2604716 2604705 2604701 2691295 2691299 2691301 2691306 2692535 2692537 2605057 2605061 2605065 2605076 2770496 2770499 2774606 2774609 2780894 2780897 2781196 2781199 2781485 2781488 2795974 1177860 1177855 673188 673185 1449033 1432162 1432161 1430924 1430922 1430917 2191350 2691265 2691269 2691273 2691274 2691277 2691280 2691283 2691286 2691289 2691292 2805590 2806643 2806645 2807698 2807700 2198894 2198896 2199949 2199951 2955179 2955180 2955183 2099273 2099290 2099294 2099297 2099300 2099309 2099326 2099330 2099333 2099336 2099345 2093867 2093870 2093873 2093882 2093983 2093987 2093990 2093993 2094002 2099218 2099222 2099225 2099228 2099237 2099254 2099258 2099261 2099264 2194555 2418111 2419211 2419215 2422847 2422850 2425694 2425697 2427953 2427956 2430620 2430623 2432879 2432882 2385705 1938281 1938285 1938286 1955157 2099408 2099417 2099434 2099438 2099441 2099444 2099453 2151024 2151028 2151033 2152262 1889671 1897881 1937041 2403899 2403902 2405117 2405121 2418107 2992497 2992513 2992532 2992534 2842232 2842234 2955144 2955145 2955148 2955149 2955152 2955158 2955159 2955162 2955163 2955164 2955167 2955169 2093827 2093831 2093834 2093837 2093846 2093863 1644828 1683979 1683984 1683987 1683992 1683995 2964218 2964423 2964424 2992489 2992491 2992493 2992495 2691197 2691193 2663972 2663954 2663952 2663948 2663944 2605128 3042868 3051349 3051348 3051342 3051340 3051338 3051336 3051334 3051332 3051330 3043538 3043536 3043534 3043532 3043530 3043513 3043511 3042785 3042768 3042766 3042764 3042762 3042760 3031205 3009807 3009805 3009803 2992695 2839168 2838115 2838113 2837060 2837058 2836005 2836003 2834950 2834948 2833895 2833893 3043509 3043507 3043505 3043437 3043435 3043433 3043431 3043429 3042918 3042916 3042914 3042912 3042910 3042893 3042891 3042889 3042887 3042885 2604912 2604908 2604905 2604901 2604896 2604882 2604877 2604860 2604849 2604845 2604841 2604840 2604836 2604833 2604829 2605056 2605052 2605049 2605045 2605040 2605026 2605021 2605004 2604993 2604989 2604985 2604984 2604980 2604977 2992693 2992691 2992544 2992542 2992540 2992538 2992536 3042866 3042864 3042862 3042860 3042843 3042841 3042839 3042837 3042835 3042818 3042816 3042814 3042812 3042810 3042793 3042791 3042789 3042787 2604932 2604921 2604917 2604913 2385710 2395648 2395651 2395654 2395657 2395660 2395663 2395666 2403769 2403774 2403779 2403871 2403876 2403884 2403886 2403890 2403894 2403895 2593906 2593910 2593913 2593917 2593918 2593922 2593926 2593937 2593954 2593959 2593973 2593978 2593982 2593985 2593989 2594158 2594162 2594166 2434934 2434937 2438078 2438081 2438369 2438372 2444197 2444200 2444204 2444470 2444475 2461077 2593846 2593850 2593854 2593865 2593882 2593887 2593901 2347046 2347051 2347055 2347058 2347062 2352262 2352267 2352281 2352286 2352290 2352293 2352297 2352298 2352303 2352317 2352322 2352326 2352329 2206937 2207233 2207235 2346871 2346876 2346890 2346895 2346899 2346902 2346906 2346907 2346912 2346926 2346931 2346935 2346938 2346942 2347027 2347032 2352434 2352437 2352441 2352442 2352447 2352461 2352466 2352470 2352473 2352477 2352478 2352483 2352497 2352502 2352506 2352509 2352513 2385700 2352333 2352334 2352339 2352353 2352358 2352362 2352365 2352369 2352370 2352375 2352389 2352394 2352398 2352401 2352405 2352406 2352411 2352425 2352430  0
9.19/9.28	
9.19/9.28	c Core has size 589

Verifier Data 

OK	589

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

running on 2 cores: 5,7

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


[startup+0 s]
/proc/loadavg: 4.02 3.80 3.04 4/189 17448
/proc/meminfo: memFree=30184824/32951124 swapFree=67056684/67111528
[pid=17448] ppid=17446 vsize=67828 CPUtime=0 cores=5,7
/proc/17448/stat : 17448 (MoUsSaka) R 17446 17448 13546 0 -1 4202496 2368 0 0 0 0 0 0 0 23 0 1 0 892438085 69455872 2306 33554432000 4194304 4365125 140733468376272 18446744073709551615 4292364 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17448/statm: 16957 2317 245 42 0 14105 0

[startup+0.100065 s]
/proc/loadavg: 4.02 3.80 3.04 4/189 17448
/proc/meminfo: memFree=30184824/32951124 swapFree=67056684/67111528
[pid=17448] ppid=17446 vsize=145724 CPUtime=0.09 cores=5,7
/proc/17448/stat : 17448 (MoUsSaka) R 17446 17448 13546 0 -1 4202496 31131 0 0 0 6 3 0 0 23 0 1 0 892438085 149221376 22626 33554432000 4194304 4365125 140733468376272 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17448/statm: 36431 22627 254 42 0 33579 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 145724

[startup+0.201046 s]
/proc/loadavg: 4.02 3.80 3.04 4/189 17448
/proc/meminfo: memFree=30184824/32951124 swapFree=67056684/67111528
[pid=17448] ppid=17446 vsize=148796 CPUtime=0.19 cores=5,7
/proc/17448/stat : 17448 (MoUsSaka) R 17446 17448 13546 0 -1 4202496 34669 0 0 0 15 4 0 0 24 0 1 0 892438085 152367104 25502 33554432000 4194304 4365125 140733468376272 18446744073709551615 4266084 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17448/statm: 37199 25503 254 42 0 34347 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 148796

[startup+0.301027 s]
/proc/loadavg: 4.02 3.80 3.04 4/189 17448
/proc/meminfo: memFree=30184824/32951124 swapFree=67056684/67111528
[pid=17448] ppid=17446 vsize=152892 CPUtime=0.29 cores=5,7
/proc/17448/stat : 17448 (MoUsSaka) R 17446 17448 13546 0 -1 4202496 38089 0 0 0 24 5 0 0 25 0 1 0 892438085 156561408 28315 33554432000 4194304 4365125 140733468376272 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17448/statm: 38223 28318 254 42 0 35371 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 152892

[startup+0.700954 s]
/proc/loadavg: 4.02 3.80 3.04 4/189 17448
/proc/meminfo: memFree=30184824/32951124 swapFree=67056684/67111528
[pid=17448] ppid=17446 vsize=190884 CPUtime=0.69 cores=5,7
/proc/17448/stat : 17448 (MoUsSaka) R 17446 17448 13546 0 -1 4202496 64603 0 0 0 62 7 0 0 25 0 1 0 892438085 195465216 37715 33554432000 4194304 4365125 140733468376272 18446744073709551615 222921776896 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17448/statm: 47721 37716 254 42 0 44869 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 190884

[startup+1.50082 s]
/proc/loadavg: 4.02 3.80 3.04 5/190 17449
/proc/meminfo: memFree=29885660/32951124 swapFree=67056684/67111528
[pid=17448] ppid=17446 vsize=325624 CPUtime=1.49 cores=5,7
/proc/17448/stat : 17448 (MoUsSaka) R 17446 17448 13546 0 -1 4202496 137660 0 0 0 132 17 0 0 25 0 1 0 892438085 333438976 67110 33554432000 4194304 4365125 140733468376272 18446744073709551615 222921776896 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17448/statm: 81406 67111 254 42 0 78554 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 325624

[startup+3.10052 s]
/proc/loadavg: 4.02 3.80 3.04 5/190 17449
/proc/meminfo: memFree=29882392/32951124 swapFree=67056684/67111528
[pid=17448] ppid=17446 vsize=325620 CPUtime=3.09 cores=5,7
/proc/17448/stat : 17448 (MoUsSaka) R 17446 17448 13546 0 -1 4202496 139512 0 0 0 291 18 0 0 25 0 1 0 892438085 333434880 68876 33554432000 4194304 4365125 140733468376272 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17448/statm: 81405 68876 263 42 0 78553 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 325620

[startup+6.30093 s]
/proc/loadavg: 4.02 3.80 3.05 5/185 17477
/proc/meminfo: memFree=30037044/32951124 swapFree=67056684/67111528
[pid=17448] ppid=17446 vsize=325620 CPUtime=6.3 cores=5,7
/proc/17448/stat : 17448 (MoUsSaka) R 17446 17448 13546 0 -1 4202496 139512 0 0 0 612 18 0 0 25 0 1 0 892438085 333434880 68876 33554432000 4194304 4365125 140733468376272 18446744073709551615 4263169 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17448/statm: 81405 68876 263 42 0 78553 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 325620

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

[startup+6.40092 s]
/proc/loadavg: 4.02 3.80 3.05 5/185 17477
/proc/meminfo: memFree=30037044/32951124 swapFree=67056684/67111528
[pid=17448] ppid=17446 vsize=325620 CPUtime=6.4 cores=5,7
/proc/17448/stat : 17448 (MoUsSaka) R 17446 17448 13546 0 -1 4202496 139512 0 0 0 622 18 0 0 25 0 1 0 892438085 333434880 68876 33554432000 4194304 4365125 140733468376272 18446744073709551615 4260871 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17448/statm: 81405 68876 263 42 0 78553 0
Current children cumulated CPU time (s) 6.4
Current children cumulated vsize (KiB) 325620

[startup+8.00062 s]
/proc/loadavg: 4.02 3.80 3.05 5/190 17487
/proc/meminfo: memFree=29806776/32951124 swapFree=67056684/67111528
[pid=17448] ppid=17446 vsize=325620 CPUtime=7.99 cores=5,7
/proc/17448/stat : 17448 (MoUsSaka) R 17446 17448 13546 0 -1 4202496 139512 0 0 0 781 18 0 0 25 0 1 0 892438085 333434880 68876 33554432000 4194304 4365125 140733468376272 18446744073709551615 4260893 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17448/statm: 81405 68876 263 42 0 78553 0
Current children cumulated CPU time (s) 7.99
Current children cumulated vsize (KiB) 325620

[startup+8.80047 s]
/proc/loadavg: 4.02 3.81 3.05 5/190 17487
/proc/meminfo: memFree=29755836/32951124 swapFree=67056684/67111528
[pid=17448] ppid=17446 vsize=325620 CPUtime=8.8 cores=5,7
/proc/17448/stat : 17448 (MoUsSaka) R 17446 17448 13546 0 -1 4202496 139512 0 0 0 862 18 0 0 25 0 1 0 892438085 333434880 68876 33554432000 4194304 4365125 140733468376272 18446744073709551615 4260915 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17448/statm: 81405 68876 263 42 0 78553 0
Current children cumulated CPU time (s) 8.8
Current children cumulated vsize (KiB) 325620

[startup+9.2004 s]
/proc/loadavg: 4.02 3.81 3.05 5/190 17487
/proc/meminfo: memFree=29755836/32951124 swapFree=67056684/67111528
[pid=17448] ppid=17446 vsize=325620 CPUtime=9.19 cores=5,7
/proc/17448/stat : 17448 (MoUsSaka) R 17446 17448 13546 0 -1 4202496 139512 0 0 0 901 18 0 0 25 0 1 0 892438085 333434880 68876 33554432000 4194304 4365125 140733468376272 18446744073709551615 4275280 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17448/statm: 81405 68876 263 42 0 78553 0
Current children cumulated CPU time (s) 9.19
Current children cumulated vsize (KiB) 325620

Child status: 20
Real time (s): 9.29319
CPU time (s): 9.29259
CPU user time (s): 9.10062
CPU system time (s): 0.19197
CPU usage (%): 99.9935
Max. virtual memory (cumulated for all children) (KiB): 325624

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

runsolver used 0.017997 second user time and 0.035994 second system time

The end

Launcher Data 

Begin job on node109 at 2011-06-11 18:06:13
IDJOB=3495832
IDBENCH=89290
IDSOLVER=1989
FILE ID=node109/3495832-1307808371
RUNJOBID= node109-1307807601-16676
PBS_JOBID= 13551065
Free space on /tmp= 73924 MiB

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

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

MD5SUM BENCH= 87d08b3bdb46c96df60f85693cb8512d
RANDOM SEED=278049256

node109.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.809
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.61
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.809
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.809
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.74
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.809
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.809
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.809
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.809
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.809
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30185740 kB
Buffers:        310584 kB
Cached:        1207256 kB
SwapCached:       8608 kB
Active:        1733004 kB
Inactive:       795440 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30185740 kB
SwapTotal:    67111528 kB
SwapFree:     67056684 kB
Dirty:           94328 kB
Writeback:           0 kB
AnonPages:     1007572 kB
Mapped:          13548 kB
Slab:           168736 kB
PageTables:       7360 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1421208 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= 73912 MiB
End job on node109 at 2011-06-11 18:06:23