Trace number 3493503

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 15.7026 15.7027

General information on the benchmark

Namemus/marques-silva/software-verification/
dspam_dump_vc973.cnf
MD5SUM19ac61e267a932a9e32ff81f40d22d1d
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark6.47102
Satisfiable
(Un)Satisfiability was proved
Number of variables274379
Number of clauses908191
Sum of the clauses size2423004
Maximum clause length3
Minimum clause length1
Number of clauses of size 15285
Number of clauses of size 2290999
Number of clauses of size 3611907
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c *** MUSer: a MUS extractor ***
0.00/0.00	c *** release date: 2011210 ***
0.00/0.00	c *** release ref: f95464aa99ac ***
0.00/0.00	c *** built: 2011-Feb-10 00:59 ***
0.00/0.00	c *** author: Joao Marques-Silva (jpms@ucd.ie) ***
0.00/0.00	c 
0.00/0.00	c *** instance: HOME/instance-3493503-1307798889.cnf ***
0.00/0.00	c 
1.19/1.26	c Parsing CPU Time: 1.17082
1.19/1.26	c Running MUSer ...
2.49/2.55	c 0.00% completed ... 
2.79/2.86	c 9.86% completed ... 
3.09/3.18	c 16.20% completed ... 
4.79/4.84	c 32.04% completed ... 
6.09/6.19	c 47.89% completed ... 
6.79/6.81	c 53.17% completed ... 
7.19/7.22	c 58.98% completed ... 
9.99/10.02	c 74.30% completed ... 
13.59/13.64	c 91.55% completed ... 
15.59/15.69	c 100.00% completed ... 
15.59/15.69	c MUS size: 568
15.59/15.69	s UNSATISFIABLE
15.59/15.69	v 39482 36342 36338 36334 36330 20906 20882 20870 17017 20858 20846 20834 20822 20810 40804 40784 7074 40780 7062 7050 7038 7026 7014 7002 29934 6990 6986 6982 5955 6978 5951 6974 6970 5943 6966 5939 6962 6958 5931 6954 5927 6950 6946 5919 6942 5915 6938 6934 5907 6930 5903 6926 5895 5891 6918 5883 6906 5879 35990 5871 5867 6894 17530 5859 6882 37512 39819 17518 37508 21359 5847 6870 17506 5835 6858 17494 5823 6846 17482 5811 6834 17470 5799 17458 36679 17450 5787 5775 42038 42034 35113 22801 22765 17382 22753 22741 22729 22717 31172 31168 31164 22705 31156 31152 22693 31148 31128 29574 33419 22617 22613 22609 34132 40280 37969 37172 21792 17114 36327 20903 20895 20891 20879 20867 20855 20843 20831 16217 35442 6088 6084 20819 6080 6076 6072 20807 6068 6064 40797 20799 6060 40793 20795 6056 20791 6052 20787 6048 7071 20783 6044 20779 6040 20775 6036 7059 20771 6032 20767 6028 20763 908189 6024 7047 20759 6020 20755 6016 20751 6012 7035 20747 6008 20743 6004 20739 6000 20735 7023 5996 5992 5988 7011 5984 5980 5976 6999 5972 5968 5964 5960 5952 5948 5940 5936 5928 5924 5916 5912 5904 5900 5892 5888 6915 5880 35995 6903 5876 17531 5868 16762 6891 17527 5856 6879 39816 17515 5844 6867 17503 5832 6855 17491 5820 6843 17479 5808 6831 17467 29763 5796 17455 36676 29755 5784 29751 29747 29743 5772 22814 22810 35110 22798 22794 22786 22782 22778 22774 22762 40445 17371 22750 22738 41959 41955 37337 22726 41947 41943 22714 41939 22702 22690 22682 31141 22678 31133 22674 22670 22666 22662 22658 22654 22650 17263 22646 22642 22638 22634 22630 17243 22626 22622 22618 34137 40277 35659 35655 39484 21789 16378 17135 36344 30957 36340 30953 36336 36332 20900 20888 17035 30108 20876 20864 37005 20852 32387 20840 17756 16218 20828 20816 40806 40802 20804 40790 7084 40786 7080 40782 29247 40778 40774 7068 7056 7044 7032 16891 16122 7020 7008 29940 6996 29932 6988 29928 6984 5957 6980 6976 5949 6972 5945 6968 6964 5937 6960 5933 6956 6952 5925 6948 5921 6944 6940 5913 6936 5909 6932 6928 5901 6924 5897 5889 6912 5885 5877 6900 5873 15994 16763 17532 5865 6888 17524 37514 37510 5853 37506 6876 17512 5841 6864 17500 5829 6852 17488 5817 6840 17476 5805 6828 17464 5793 29760 17452 5781 29740 33585 17436 42044 16667 5769 42040 42036 22807 42032 42028 22795 15866 22783 22771 22759 35824 22747 22735 16571 22723 31174 31170 22711 31162 22699 31154 31146 22687 31130 31126 31122 22615 22603 40274 21786 16379 20897 16283 20885 30105 20873 20861 20849 32384 34687 20837 17757 20825 20813 40799 20801 40795 20797 5285 20793 7077 20789 20785 36161 20781 40771 7065 20777 20773 20769 7053 20765 20761 20757 7041 20753 20749 20745 7029 20741 20737 17661 7017 7005 29937 6993 5958 5954 5946 5942 17597 5934 5930 5922 5918 5910 5906 5898 5894 6921 5886 6909 5882 5874 6897 5870 5862 6885 17521 5850 37503 6873 17509 5838 6861 17497 5826 6849 17485 5814 6837 17473 5802 17461 5790 29757 29753 29749 5778 29745 42041 22816 22812 35116 22804 22792 22788 22780 22768 22756 22744 41961 39650 22732 41957 41953 41949 22720 41945 22708 31159 22696 22684 31143 31139 22680 31135 22676 22672 36510 22668 22664 22660 22656 22652 22648 22644 22640 22636 22632 22628 22624 22620 34135 16444 0
15.59/15.69	c Terminating MUSer ...
15.59/15.69	c CPU Time: 15.54

Verifier Data 

OK	568

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

running on 2 cores: 1,3

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: 3.11 1.04 0.59 5/189 30710
/proc/meminfo: memFree=30755584/32951124 swapFree=67076880/67111528
[pid=30710] ppid=30708 vsize=7052 CPUtime=0 cores=1,3
/proc/30710/stat : 30710 (muser) R 30708 30710 30365 0 -1 4202496 1231 0 0 0 0 0 0 0 25 0 1 0 891486693 7221248 1185 33554432000 4194304 5696331 140736754324224 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/30710/statm: 1763 1187 114 367 0 1393 0

[startup+0.0379231 s]
/proc/loadavg: 3.11 1.04 0.59 5/189 30710
/proc/meminfo: memFree=30755584/32951124 swapFree=67076880/67111528
[pid=30710] ppid=30708 vsize=13944 CPUtime=0.03 cores=1,3
/proc/30710/stat : 30710 (muser) R 30708 30710 30365 0 -1 4202496 3118 0 0 0 3 0 0 0 25 0 1 0 891486693 14278656 2925 33554432000 4194304 5696331 140736754324224 18446744073709551615 4208092 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/30710/statm: 3486 2925 114 367 0 3116 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13944

[startup+0.100853 s]
/proc/loadavg: 3.11 1.04 0.59 5/189 30710
/proc/meminfo: memFree=30755584/32951124 swapFree=67076880/67111528
[pid=30710] ppid=30708 vsize=25104 CPUtime=0.09 cores=1,3
/proc/30710/stat : 30710 (muser) R 30708 30710 30365 0 -1 4202496 6194 0 0 0 9 0 0 0 25 0 1 0 891486693 25706496 5710 33554432000 4194304 5696331 140736754324224 18446744073709551615 4208097 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/30710/statm: 6276 5710 114 367 0 5906 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25104

[startup+0.300823 s]
/proc/loadavg: 3.11 1.04 0.59 5/189 30710
/proc/meminfo: memFree=30755584/32951124 swapFree=67076880/67111528
[pid=30710] ppid=30708 vsize=58592 CPUtime=0.29 cores=1,3
/proc/30710/stat : 30710 (muser) R 30708 30710 30365 0 -1 4202496 16294 0 0 0 28 1 0 0 25 0 1 0 891486693 59998208 14076 33554432000 4194304 5696331 140736754324224 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/30710/statm: 14648 14078 114 367 0 14278 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 58592

[startup+0.70074 s]
/proc/loadavg: 3.11 1.04 0.59 5/189 30710
/proc/meminfo: memFree=30755584/32951124 swapFree=67076880/67111528
[pid=30710] ppid=30708 vsize=129584 CPUtime=0.69 cores=1,3
/proc/30710/stat : 30710 (muser) R 30708 30710 30365 0 -1 4202496 36369 0 0 0 65 4 0 0 25 0 1 0 891486693 132694016 31844 33554432000 4194304 5696331 140736754324224 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/30710/statm: 32396 31846 114 367 0 32026 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 129584

[startup+1.50059 s]
/proc/loadavg: 3.18 1.09 0.60 5/190 30711
/proc/meminfo: memFree=30561912/32951124 swapFree=67076880/67111528
[pid=30710] ppid=30708 vsize=278780 CPUtime=1.49 cores=1,3
/proc/30710/stat : 30710 (muser) R 30708 30710 30365 0 -1 4202496 78028 0 0 0 138 11 0 0 25 0 1 0 891486693 285470720 68890 33554432000 4194304 5696331 140736754324224 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/30710/statm: 69728 68891 140 367 0 69358 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 278780

[startup+3.1003 s]
/proc/loadavg: 3.18 1.09 0.60 4/185 30773
/proc/meminfo: memFree=30476928/32951124 swapFree=67076880/67111528
[pid=30710] ppid=30708 vsize=248768 CPUtime=3.09 cores=1,3
/proc/30710/stat : 30710 (muser) R 30708 30710 30365 0 -1 4202496 110280 0 0 0 294 15 0 0 25 0 1 0 891486693 254738432 61684 33554432000 4194304 5696331 140736754324224 18446744073709551615 4416821 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/30710/statm: 62192 61684 149 367 0 61822 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 248768

[startup+6.30072 s]
/proc/loadavg: 3.18 1.09 0.60 4/184 30773
/proc/meminfo: memFree=30452012/32951124 swapFree=67076880/67111528
[pid=30710] ppid=30708 vsize=248768 CPUtime=6.29 cores=1,3
/proc/30710/stat : 30710 (muser) R 30708 30710 30365 0 -1 4202496 110282 0 0 0 614 15 0 0 25 0 1 0 891486693 254738432 61686 33554432000 4194304 5696331 140736754324224 18446744073709551615 4411156 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/30710/statm: 62192 61686 149 367 0 61822 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 248768

[startup+12.7006 s]
/proc/loadavg: 3.07 1.13 0.62 3/178 30797
/proc/meminfo: memFree=30648548/32951124 swapFree=67076880/67111528
[pid=30710] ppid=30708 vsize=248768 CPUtime=12.69 cores=1,3
/proc/30710/stat : 30710 (muser) R 30708 30710 30365 0 -1 4202496 110283 0 0 0 1254 15 0 0 25 0 1 0 891486693 254738432 61687 33554432000 4194304 5696331 140736754324224 18446744073709551615 4381177 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/30710/statm: 62192 61687 149 367 0 61822 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 248768

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

[startup+14.3063 s]
/proc/loadavg: 3.07 1.13 0.62 3/178 30797
/proc/meminfo: memFree=30648796/32951124 swapFree=67076880/67111528
[pid=30710] ppid=30708 vsize=248768 CPUtime=14.3 cores=1,3
/proc/30710/stat : 30710 (muser) R 30708 30710 30365 0 -1 4202496 110284 0 0 0 1415 15 0 0 25 0 1 0 891486693 254738432 61688 33554432000 4194304 5696331 140736754324224 18446744073709551615 4416874 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/30710/statm: 62192 61688 149 367 0 61822 0
Current children cumulated CPU time (s) 14.3
Current children cumulated vsize (KiB) 248768

[startup+15.1011 s]
/proc/loadavg: 3.07 1.13 0.62 3/178 30797
/proc/meminfo: memFree=30648796/32951124 swapFree=67076880/67111528
[pid=30710] ppid=30708 vsize=248768 CPUtime=15.09 cores=1,3
/proc/30710/stat : 30710 (muser) R 30708 30710 30365 0 -1 4202496 110284 0 0 0 1494 15 0 0 25 0 1 0 891486693 254738432 61688 33554432000 4194304 5696331 140736754324224 18446744073709551615 4416848 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/30710/statm: 62192 61688 149 367 0 61822 0
Current children cumulated CPU time (s) 15.09
Current children cumulated vsize (KiB) 248768

[startup+15.501 s]
/proc/loadavg: 3.07 1.13 0.62 3/178 30797
/proc/meminfo: memFree=30648936/32951124 swapFree=67076880/67111528
[pid=30710] ppid=30708 vsize=248768 CPUtime=15.49 cores=1,3
/proc/30710/stat : 30710 (muser) R 30708 30710 30365 0 -1 4202496 110284 0 0 0 1534 15 0 0 25 0 1 0 891486693 254738432 61688 33554432000 4194304 5696331 140736754324224 18446744073709551615 4416947 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/30710/statm: 62192 61688 149 367 0 61822 0
Current children cumulated CPU time (s) 15.49
Current children cumulated vsize (KiB) 248768

[startup+15.701 s]
/proc/loadavg: 3.07 1.13 0.62 3/178 30797
/proc/meminfo: memFree=30648936/32951124 swapFree=67076880/67111528
[pid=30710] ppid=30708 vsize=0 CPUtime=15.69 cores=1,3
/proc/30710/stat : 30710 (muser) R 30708 30710 30365 0 -1 4202500 110285 0 0 0 1553 16 0 0 25 0 1 0 891486693 0 0 33554432000 0 0 0 0 0 0 0 4096 24615 18446744073709551615 0 0 17 1 0 0 0
/proc/30710/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 15.69
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 15.7027
CPU time (s): 15.7026
CPU user time (s): 15.5396
CPU system time (s): 0.162975
CPU usage (%): 99.9994
Max. virtual memory (cumulated for all children) (KiB): 309496

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

runsolver used 0.024996 second user time and 0.05999 second system time

The end

Launcher Data 

Begin job on node139 at 2011-06-11 15:28:10
IDJOB=3493503
IDBENCH=89579
IDSOLVER=1969
FILE ID=node139/3493503-1307798889
RUNJOBID= node139-1307798795-30385
PBS_JOBID= 13551009
Free space on /tmp= 74096 MiB

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

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

MD5SUM BENCH= 19ac61e267a932a9e32ff81f40d22d1d
RANDOM SEED=233015125

node139.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.852
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.852
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.852
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.852
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.852
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	: 5321.49
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.852
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.852
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.852
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:      30756252 kB
Buffers:        287664 kB
Cached:        1087968 kB
SwapCached:       3520 kB
Active:        1181712 kB
Inactive:       799060 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30756252 kB
SwapTotal:    67111528 kB
SwapFree:     67076880 kB
Dirty:           36860 kB
Writeback:           0 kB
AnonPages:      603048 kB
Mapped:          16132 kB
Slab:           148320 kB
PageTables:       6220 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   819008 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= 74112 MiB
End job on node139 at 2011-06-11 15:28:25