Trace number 3493555

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 16.9694 16.9703

General information on the benchmark

Nameindustrial/babic/dspam/
dspam_dump_vc972.cnf
MD5SUM7acb9e43e2272e8576b22c3fa49ba888
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark16.9694
Satisfiable
(Un)Satisfiability was proved
Number of variables274379
Number of clauses908255
Sum of the clauses size2423196
Maximum clause length3
Minimum clause length1
Number of clauses of size 15285
Number of clauses of size 2290999
Number of clauses of size 3611971
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-3493555-1307800705.cnf ***
0.00/0.00	c 
1.39/1.40	c Parsing CPU Time: 1.3248
1.39/1.40	c Running MUSer ...
2.79/2.82	c 0.00% completed ... 
3.09/3.15	c 9.86% completed ... 
3.39/3.49	c 16.20% completed ... 
5.19/5.28	c 32.04% completed ... 
6.69/6.74	c 47.89% completed ... 
7.39/7.41	c 53.17% completed ... 
7.79/7.86	c 58.98% completed ... 
10.79/10.85	c 74.30% completed ... 
14.69/14.76	c 91.55% completed ... 
16.89/16.95	c 100.00% completed ... 
16.89/16.95	c MUS size: 568
16.89/16.95	s UNSATISFIABLE
16.89/16.95	v 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 31143 22684 31139 22680 31135 22676 22672 36510 22668 22664 22660 22656 22652 22648 22644 22640 22636 22632 22628 22624 22620 34135 16444 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 39819 17518 37512 21359 37508 5847 6870 17506 5835 6858 17494 5823 6846 17482 5811 6834 17470 5799 17458 36679 17450 5787 5775 42038 42034 35113 22801 17382 22765 22753 22741 22729 22717 31172 31168 31164 22705 31156 22693 31152 31148 31128 29574 33419 22617 22613 22609 34132 40280 37969 37172 21792 17114 36327 20903 20895 20891 20879 20867 20855 20843 20831 16217 35442 908253 6088 6084 20819 6080 6076 6072 20807 6068 6064 40797 20799 6060 40793 6056 20795 20791 6052 20787 6048 7071 20783 6044 20779 6040 20775 6036 7059 20771 6032 20767 6028 20763 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 16762 17531 5868 6891 17527 5856 6879 39816 17515 5844 6867 17503 5832 6855 17491 5820 6843 17479 5808 6831 17467 5796 29763 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 30108 17035 20876 20864 37005 20852 32387 20840 17756 16218 20828 20816 40806 40802 20804 7084 40790 7080 40786 29247 40782 40778 40774 7068 7056 7044 7032 16122 16891 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 17532 15994 16763 5865 6888 17524 37514 5853 37510 37506 6876 17512 5841 6864 17500 5829 6852 17488 5817 6840 17476 5805 6828 17464 5793 29760 17452 5781 29740 33585 16667 17436 42044 5769 42040 42036 22807 42032 42028 22795 15866 22783 22771 22759 35824 22747 22735 22723 16571 31174 31170 22711 31162 22699 31154 22687 31146 31130 31126 31122 22615 22603 40274 21786 16379 20897 16283 20885 30105 20873 20861 20849 32384 34687 20837 17757 20825 0
16.89/16.96	c Terminating MUSer ...
16.89/16.96	c CPU Time: 16.80

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-3493555-1307800705/watcher-3493555-1307800705 -o /tmp/evaluation-result-3493555-1307800705/solver-3493555-1307800705 -C 1800 -W 1850 -M 7680 ./muser -comp HOME/instance-3493555-1307800705.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: 0.00 0.00 0.01 5/186 8536
/proc/meminfo: memFree=30688296/32951124 swapFree=67062556/67111528
[pid=8536] ppid=8534 vsize=4616 CPUtime=0 cores=0,2
/proc/8536/stat : 8536 (muser) R 8534 8536 8460 0 -1 4202496 641 0 0 0 0 0 0 0 22 0 1 0 970301111 4726784 595 33554432000 4194304 5696331 140735755731312 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/8536/statm: 1154 596 114 367 0 784 0

[startup+0.096485 s]
/proc/loadavg: 0.00 0.00 0.01 5/186 8536
/proc/meminfo: memFree=30688296/32951124 swapFree=67062556/67111528
[pid=8536] ppid=8534 vsize=21980 CPUtime=0.08 cores=0,2
/proc/8536/stat : 8536 (muser) R 8534 8536 8460 0 -1 4202496 5432 0 0 0 8 0 0 0 22 0 1 0 970301111 22507520 4948 33554432000 4194304 5696331 140735755731312 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/8536/statm: 5528 4950 114 367 0 5158 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 21980

[startup+0.100497 s]
/proc/loadavg: 0.00 0.00 0.01 5/186 8536
/proc/meminfo: memFree=30688296/32951124 swapFree=67062556/67111528
[pid=8536] ppid=8534 vsize=22772 CPUtime=0.09 cores=0,2
/proc/8536/stat : 8536 (muser) R 8534 8536 8460 0 -1 4202496 5624 0 0 0 9 0 0 0 22 0 1 0 970301111 23318528 5140 33554432000 4194304 5696331 140735755731312 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/8536/statm: 5693 5142 114 367 0 5323 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22772

[startup+0.300448 s]
/proc/loadavg: 0.00 0.00 0.01 5/186 8536
/proc/meminfo: memFree=30688296/32951124 swapFree=67062556/67111528
[pid=8536] ppid=8534 vsize=50540 CPUtime=0.29 cores=0,2
/proc/8536/stat : 8536 (muser) R 8534 8536 8460 0 -1 4202496 14294 0 0 0 28 1 0 0 23 0 1 0 970301111 51752960 12076 33554432000 4194304 5696331 140735755731312 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/8536/statm: 12635 12079 114 367 0 12265 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50540

[startup+0.700394 s]
/proc/loadavg: 0.00 0.00 0.01 5/186 8536
/proc/meminfo: memFree=30688296/32951124 swapFree=67062556/67111528
[pid=8536] ppid=8534 vsize=112820 CPUtime=0.69 cores=0,2
/proc/8536/stat : 8536 (muser) R 8534 8536 8460 0 -1 4202496 32175 0 0 0 65 4 0 0 25 0 1 0 970301111 115527680 27650 33554432000 4194304 5696331 140735755731312 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/8536/statm: 28205 27653 114 367 0 27835 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 112820

[startup+1.50022 s]
/proc/loadavg: 0.00 0.00 0.01 5/187 8537
/proc/meminfo: memFree=30110852/32951124 swapFree=67062556/67111528
[pid=8536] ppid=8534 vsize=251808 CPUtime=1.49 cores=0,2
/proc/8536/stat : 8536 (muser) R 8534 8536 8460 0 -1 4202496 71321 0 0 0 140 9 0 0 25 0 1 0 970301111 257851392 62183 33554432000 4194304 5696331 140735755731312 18446744073709551615 5009355 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/8536/statm: 62952 62184 140 367 0 62582 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 251808

[startup+3.1009 s]
/proc/loadavg: 0.32 0.07 0.03 5/187 8537
/proc/meminfo: memFree=30080596/32951124 swapFree=67062556/67111528
[pid=8536] ppid=8534 vsize=248780 CPUtime=3.09 cores=0,2
/proc/8536/stat : 8536 (muser) R 8534 8536 8460 0 -1 4202496 110229 0 0 0 294 15 0 0 25 0 1 0 970301111 254750720 61688 33554432000 4194304 5696331 140735755731312 18446744073709551615 4416681 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/8536/statm: 62195 61688 148 367 0 61825 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 248780

[startup+6.30033 s]
/proc/loadavg: 0.32 0.07 0.03 5/187 8614
/proc/meminfo: memFree=30242348/32951124 swapFree=67062556/67111528
[pid=8536] ppid=8534 vsize=248780 CPUtime=6.29 cores=0,2
/proc/8536/stat : 8536 (muser) R 8534 8536 8460 0 -1 4202496 110231 0 0 0 614 15 0 0 25 0 1 0 970301111 254750720 61690 33554432000 4194304 5696331 140735755731312 18446744073709551615 4399822 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/8536/statm: 62195 61690 149 367 0 61825 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 248780

[startup+12.7011 s]
/proc/loadavg: 0.89 0.20 0.07 5/187 8690
/proc/meminfo: memFree=30535604/32951124 swapFree=67062556/67111528
[pid=8536] ppid=8534 vsize=248780 CPUtime=12.69 cores=0,2
/proc/8536/stat : 8536 (muser) R 8534 8536 8460 0 -1 4202496 110233 0 0 0 1254 15 0 0 25 0 1 0 970301111 254750720 61692 33554432000 4194304 5696331 140735755731312 18446744073709551615 4416916 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/8536/statm: 62195 61692 149 367 0 61825 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 248780

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

[startup+14.3068 s]
/proc/loadavg: 0.89 0.20 0.07 5/187 8690
/proc/meminfo: memFree=30556312/32951124 swapFree=67062556/67111528
[pid=8536] ppid=8534 vsize=248780 CPUtime=14.29 cores=0,2
/proc/8536/stat : 8536 (muser) R 8534 8536 8460 0 -1 4202496 110234 0 0 0 1414 15 0 0 25 0 1 0 970301111 254750720 61693 33554432000 4194304 5696331 140735755731312 18446744073709551615 4381177 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/8536/statm: 62195 61693 149 367 0 61825 0
Current children cumulated CPU time (s) 14.29
Current children cumulated vsize (KiB) 248780

[startup+15.9006 s]
/proc/loadavg: 0.89 0.20 0.07 5/187 8690
/proc/meminfo: memFree=30541168/32951124 swapFree=67062556/67111528
[pid=8536] ppid=8534 vsize=248780 CPUtime=15.89 cores=0,2
/proc/8536/stat : 8536 (muser) R 8534 8536 8460 0 -1 4202496 110234 0 0 0 1574 15 0 0 25 0 1 0 970301111 254750720 61693 33554432000 4194304 5696331 140735755731312 18446744073709551615 4417436 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/8536/statm: 62195 61693 149 367 0 61825 0
Current children cumulated CPU time (s) 15.89
Current children cumulated vsize (KiB) 248780

[startup+16.7004 s]
/proc/loadavg: 0.89 0.20 0.07 5/187 8690
/proc/meminfo: memFree=30526784/32951124 swapFree=67062556/67111528
[pid=8536] ppid=8534 vsize=248780 CPUtime=16.69 cores=0,2
/proc/8536/stat : 8536 (muser) R 8534 8536 8460 0 -1 4202496 110234 0 0 0 1654 15 0 0 25 0 1 0 970301111 254750720 61693 33554432000 4194304 5696331 140735755731312 18446744073709551615 4416833 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/8536/statm: 62195 61693 149 367 0 61825 0
Current children cumulated CPU time (s) 16.69
Current children cumulated vsize (KiB) 248780

[startup+16.9003 s]
/proc/loadavg: 0.89 0.20 0.07 5/187 8690
/proc/meminfo: memFree=30526784/32951124 swapFree=67062556/67111528
[pid=8536] ppid=8534 vsize=248780 CPUtime=16.89 cores=0,2
/proc/8536/stat : 8536 (muser) R 8534 8536 8460 0 -1 4202496 110234 0 0 0 1674 15 0 0 25 0 1 0 970301111 254750720 61693 33554432000 4194304 5696331 140735755731312 18446744073709551615 4417074 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/8536/statm: 62195 61693 149 367 0 61825 0
Current children cumulated CPU time (s) 16.89
Current children cumulated vsize (KiB) 248780

Child status: 20
Real time (s): 16.9703
CPU time (s): 16.9694
CPU user time (s): 16.8014
CPU system time (s): 0.167974
CPU usage (%): 99.995
Max. virtual memory (cumulated for all children) (KiB): 308956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.8014
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= 110235
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= 53

runsolver used 0.032994 second user time and 0.06299 second system time

The end

Launcher Data

Begin job on node111 at 2011-06-11 15:58:26
IDJOB=3493555
IDBENCH=20451
IDSOLVER=1969
FILE ID=node111/3493555-1307800705
RUNJOBID= node111-1307800705-8478
PBS_JOBID= 13551063
Free space on /tmp= 73832 MiB

SOLVER NAME= MUSer 2011-02-10
BENCH NAME= SAT07/industrial/babic/dspam/dspam_dump_vc972.cnf
COMMAND LINE= ./muser -comp BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493555-1307800705/watcher-3493555-1307800705 -o /tmp/evaluation-result-3493555-1307800705/solver-3493555-1307800705 -C 1800 -W 1850 -M 7680  ./muser -comp HOME/instance-3493555-1307800705.cnf

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

MD5SUM BENCH= 7acb9e43e2272e8576b22c3fa49ba888
RANDOM SEED=1978546455

node111.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.849
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.69
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.849
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	: 5428.12
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.849
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.849
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.86
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.849
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.849
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.849
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.67
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.849
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30697900 kB
Buffers:        311632 kB
Cached:        1569136 kB
SwapCached:      11232 kB
Active:         710400 kB
Inactive:      1319624 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30697900 kB
SwapTotal:    67111528 kB
SwapFree:     67062556 kB
Dirty:           56304 kB
Writeback:           0 kB
AnonPages:      146508 kB
Mapped:          11484 kB
Slab:           157352 kB
PageTables:       4916 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   352820 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= 73860 MiB
End job on node111 at 2011-06-11 15:58:43