Trace number 3493251

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 41.1367 41.1363

General information on the benchmark

Namemus/marques-silva/abstraction-refinement-intel/
edn_20259_10.cnf_0.48000000.unsat.cnf
MD5SUM7d84d9ba8c0371564469bdee41cdd8a0
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2.77658
Satisfiable
(Un)Satisfiability was proved
Number of variables864479
Number of clauses2529120
Sum of the clauses size5870599
Maximum clause length3
Minimum clause length1
Number of clauses of size 11768
Number of clauses of size 21713225
Number of clauses of size 3814127
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-3493251-1307798837.cnf ***
0.00/0.00	c 
3.09/3.62	c Parsing CPU Time: 3.40748
3.09/3.62	c Running MUSer ...
8.19/8.29	c 0.00% completed ... 
9.39/9.47	c 5.05% completed ... 
10.19/10.25	c 11.36% completed ... 
10.59/10.64	c 21.77% completed ... 
10.99/11.03	c 26.81% completed ... 
11.79/11.80	c 33.12% completed ... 
12.89/12.97	c 39.75% completed ... 
15.19/15.28	c 56.15% completed ... 
22.19/22.23	c 71.61% completed ... 
35.29/35.39	c 86.75% completed ... 
41.09/41.10	c 100.00% completed ... 
41.09/41.10	c MUS size: 317
41.09/41.10	s UNSATISFIABLE
41.09/41.10	v 2180786 2180630 1771013 1432115 2449038 2180705 1432113 2180626 2479844 2180780 2449034 1898988 2180624 1938354 2479996 1402310 1179101 2180776 1898984 2303777 2180774 2186453 2449028 1402306 1898980 2180849 2205978 1500020 2180770 2181548 2449024 2180146 2181546 2477575 1770995 2180612 2180766 1500016 2477573 2186445 2180843 2180687 2181854 2477571 1770991 1646122 2181852 2180140 2180606 2186441 2180839 2479901 2182160 2180837 2180681 2181536 2180602 2182158 2186437 2180134 1432164 2180600 2186435 2180833 2011073 2180132 2182466 2180831 1517975 2182464 2181530 674388 1753085 1402517 1753083 2182772 2180126 2181526 1909848 2182770 2180825 2465650 1753079 2465648 2183078 2479806 2465646 2183076 2186421 1753075 926450 1938083 1771202 2180663 2465644 1753073 926448 2479958 2183384 2465642 2180738 1685229 1938079 2011055 2183382 1753069 1517957 2011053 2180657 1179059 2180734 2183690 1517955 2180110 2180732 1954956 2183688 436144 2011049 1179055 1432138 2180807 1685221 436142 1517951 2183996 2320379 2011045 2183994 1179051 2180726 1517947 2184614 2529112 2180801 2184302 2449055 2479863 2184612 1432130 2184300 2180797 2449051 2480015 2184608 1432126 2180795 2180639 2184606 2180870 1402325 2180791 1500041 2184914 2449045 2180789 2180633 2184912 1402321 2477049 2180864 1402319 2180708 1500035 1898993 2449039 2180783 2479768 2449037 1771010 1646141 2180860 2011256 1500031 1898989 1518158 2180858 1402313 2180702 2479920 1500029 2477041 1771006 1432108 2186456 2477039 1771004 2180854 2180698 2477037 2180852 2180696 1938349 1500023 2477035 2449027 2205979 1770998 2186450 2477033 2180615 2303772 2180769 1646127 2477031 2449023 2180846 2477029 2186446 2465669 2180143 2181543 2180609 2465667 2180684 2479825 2465665 2181849 2465663 2180137 2180759 2479977 2465661 1432165 2180678 2181533 2180755 674391 2182155 2011070 2180674 2180129 2477558 2180828 1517972 2011068 2180672 2182461 2477556 1909849 1517970 2477554 674383 2011064 2180123 1449036 2182767 2180822 1517966 2011060 2180119 2479882 2180818 1517962 2011058 2180117 2183073 2180816 1517960 2180660 1179062 2186416 2180891 2180113 926443 1753068 2180812 1685226 1938076 2183379 2180889 2180810 2180654 1753064 1179054 2180729 1432137 2183685 2180650 1753060 2180804 2449058 2180648 1432133 2181191 436137 2479787 2183991 2180723 2529111 2181189 2449054 1179046 2529109 2479939 2180719 2529107 2184297 1402328 2180717 1432125 2529105 2529103 1899000 2180636 2184603 1432121 2529101 2449044 2180867 2180711 2529099 1500038 2449042 1898996 2529097 1432117 0
41.09/41.11	c Terminating MUSer ...
41.09/41.11	c CPU Time: 40.75

Verifier Data 

OK	317

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-3493251-1307798837/watcher-3493251-1307798837 -o /tmp/evaluation-result-3493251-1307798837/solver-3493251-1307798837 -C 1800 -W 1850 -M 7680 ./muser -comp HOME/instance-3493251-1307798837.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.21 0.09 0.48 3/181 17191
/proc/meminfo: memFree=31179864/32951124 swapFree=67054524/67111528
[pid=17191] ppid=17189 vsize=4352 CPUtime=0 cores=0,2
/proc/17191/stat : 17191 (muser) R 17189 17191 16678 0 -1 4202496 555 0 0 0 0 0 0 0 20 0 1 0 891482397 4456448 510 33554432000 4194304 5696331 140734262699456 18446744073709551615 4210980 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/17191/statm: 1088 510 114 367 0 718 0

[startup+0.0958909 s]
/proc/loadavg: 0.21 0.09 0.48 3/181 17191
/proc/meminfo: memFree=31179864/32951124 swapFree=67054524/67111528
[pid=17191] ppid=17189 vsize=21584 CPUtime=0.08 cores=0,2
/proc/17191/stat : 17191 (muser) R 17189 17191 16678 0 -1 4202496 5310 0 0 0 8 0 0 0 20 0 1 0 891482397 22102016 4827 33554432000 4194304 5696331 140734262699456 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/17191/statm: 5396 4830 114 367 0 5026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 21584

[startup+0.10089 s]
/proc/loadavg: 0.21 0.09 0.48 3/181 17191
/proc/meminfo: memFree=31179864/32951124 swapFree=67054524/67111528
[pid=17191] ppid=17189 vsize=22508 CPUtime=0.09 cores=0,2
/proc/17191/stat : 17191 (muser) R 17189 17191 16678 0 -1 4202496 5555 0 0 0 9 0 0 0 20 0 1 0 891482397 23048192 5072 33554432000 4194304 5696331 140734262699456 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/17191/statm: 5627 5073 114 367 0 5257 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22508

[startup+0.300862 s]
/proc/loadavg: 0.21 0.09 0.48 3/181 17191
/proc/meminfo: memFree=31179864/32951124 swapFree=67054524/67111528
[pid=17191] ppid=17189 vsize=50496 CPUtime=0.29 cores=0,2
/proc/17191/stat : 17191 (muser) R 17189 17191 16678 0 -1 4202496 13878 0 0 0 27 2 0 0 21 0 1 0 891482397 51707904 12046 33554432000 4194304 5696331 140734262699456 18446744073709551615 4210980 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/17191/statm: 12624 12046 114 367 0 12254 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50496

[startup+0.700791 s]
/proc/loadavg: 0.21 0.09 0.48 3/181 17191
/proc/meminfo: memFree=31179864/32951124 swapFree=67054524/67111528
[pid=17191] ppid=17189 vsize=105296 CPUtime=0.69 cores=0,2
/proc/17191/stat : 17191 (muser) R 17189 17191 16678 0 -1 4202496 30270 0 0 0 65 4 0 0 22 0 1 0 891482397 107823104 25746 33554432000 4194304 5696331 140734262699456 18446744073709551615 4965734 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/17191/statm: 26324 25748 114 367 0 25954 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 105296

[startup+1.50062 s]
/proc/loadavg: 0.21 0.09 0.48 4/185 17202
/proc/meminfo: memFree=30670076/32951124 swapFree=67054524/67111528
[pid=17191] ppid=17189 vsize=215204 CPUtime=1.49 cores=0,2
/proc/17191/stat : 17191 (muser) R 17189 17191 16678 0 -1 4202496 62369 0 0 0 141 8 0 0 25 0 1 0 891482397 220368896 53234 33554432000 4194304 5696331 140734262699456 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/17191/statm: 53801 53236 114 367 0 53431 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 215204

[startup+3.10035 s]
/proc/loadavg: 0.51 0.15 0.50 5/190 17216
/proc/meminfo: memFree=30238396/32951124 swapFree=67054524/67111528
[pid=17191] ppid=17189 vsize=446900 CPUtime=3.09 cores=0,2
/proc/17191/stat : 17191 (muser) R 17189 17191 16678 0 -1 4202496 129516 0 0 0 292 17 0 0 25 0 1 0 891482397 457625600 111162 33554432000 4194304 5696331 140734262699456 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/17191/statm: 111725 111164 114 367 0 111355 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 446900

[startup+6.30084 s]
/proc/loadavg: 0.51 0.15 0.50 5/190 17216
/proc/meminfo: memFree=29350580/32951124 swapFree=67054524/67111528
[pid=17191] ppid=17189 vsize=799072 CPUtime=6.29 cores=0,2
/proc/17191/stat : 17191 (muser) R 17189 17191 16678 0 -1 4202496 229033 0 0 0 600 29 0 0 25 0 1 0 891482397 818249728 198983 33554432000 4194304 5696331 140734262699456 18446744073709551615 4208415 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/17191/statm: 199768 198983 143 367 0 199398 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 799072

[startup+12.7008 s]
/proc/loadavg: 1.05 0.28 0.54 5/190 17216
/proc/meminfo: memFree=29617720/32951124 swapFree=67054524/67111528
[pid=17191] ppid=17189 vsize=681384 CPUtime=12.69 cores=0,2
/proc/17191/stat : 17191 (muser) R 17189 17191 16678 0 -1 4202496 282340 0 0 0 1234 35 0 0 25 0 1 0 891482397 697737216 169676 33554432000 4194304 5696331 140734262699456 18446744073709551615 4417436 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/17191/statm: 170346 169676 149 367 0 169976 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 681384

[startup+25.5006 s]
/proc/loadavg: 1.50 0.40 0.57 5/190 17217
/proc/meminfo: memFree=29410144/32951124 swapFree=67054524/67111528
[pid=17191] ppid=17189 vsize=681384 CPUtime=25.49 cores=0,2
/proc/17191/stat : 17191 (muser) R 17189 17191 16678 0 -1 4202496 282340 0 0 0 2514 35 0 0 25 0 1 0 891482397 697737216 169676 33554432000 4194304 5696331 140734262699456 18446744073709551615 4416909 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/17191/statm: 170346 169676 149 367 0 169976 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 681384

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

[startup+26.9004 s]
/proc/loadavg: 1.70 0.46 0.59 5/190 17217
/proc/meminfo: memFree=29410144/32951124 swapFree=67054524/67111528
[pid=17191] ppid=17189 vsize=681384 CPUtime=26.89 cores=0,2
/proc/17191/stat : 17191 (muser) R 17189 17191 16678 0 -1 4202496 282340 0 0 0 2654 35 0 0 25 0 1 0 891482397 697737216 169676 33554432000 4194304 5696331 140734262699456 18446744073709551615 4381177 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/17191/statm: 170346 169676 149 367 0 169976 0
Current children cumulated CPU time (s) 26.89
Current children cumulated vsize (KiB) 681384

[startup+33.3063 s]
/proc/loadavg: 1.89 0.52 0.61 5/190 17217
/proc/meminfo: memFree=29322532/32951124 swapFree=67054524/67111528
[pid=17191] ppid=17189 vsize=681384 CPUtime=33.29 cores=0,2
/proc/17191/stat : 17191 (muser) R 17189 17191 16678 0 -1 4202496 282340 0 0 0 3294 35 0 0 25 0 1 0 891482397 697737216 169676 33554432000 4194304 5696331 140734262699456 18446744073709551615 4416913 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/17191/statm: 170346 169676 149 367 0 169976 0
Current children cumulated CPU time (s) 33.29
Current children cumulated vsize (KiB) 681384

[startup+36.5008 s]
/proc/loadavg: 1.89 0.52 0.61 5/190 17217
/proc/meminfo: memFree=29315836/32951124 swapFree=67054524/67111528
[pid=17191] ppid=17189 vsize=681384 CPUtime=36.49 cores=0,2
/proc/17191/stat : 17191 (muser) R 17189 17191 16678 0 -1 4202496 282340 0 0 0 3614 35 0 0 25 0 1 0 891482397 697737216 169676 33554432000 4194304 5696331 140734262699456 18446744073709551615 4381161 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/17191/statm: 170346 169676 149 367 0 169976 0
Current children cumulated CPU time (s) 36.49
Current children cumulated vsize (KiB) 681384

[startup+39.7002 s]
/proc/loadavg: 2.05 0.57 0.63 5/190 17217
/proc/meminfo: memFree=29315340/32951124 swapFree=67054524/67111528
[pid=17191] ppid=17189 vsize=681384 CPUtime=39.69 cores=0,2
/proc/17191/stat : 17191 (muser) R 17189 17191 16678 0 -1 4202496 282340 0 0 0 3934 35 0 0 25 0 1 0 891482397 697737216 169676 33554432000 4194304 5696331 140734262699456 18446744073709551615 4417628 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/17191/statm: 170346 169676 149 367 0 169976 0
Current children cumulated CPU time (s) 39.69
Current children cumulated vsize (KiB) 681384

[startup+40.5011 s]
/proc/loadavg: 2.05 0.57 0.63 5/190 17217
/proc/meminfo: memFree=29301080/32951124 swapFree=67054524/67111528
[pid=17191] ppid=17189 vsize=681384 CPUtime=40.49 cores=0,2
/proc/17191/stat : 17191 (muser) R 17189 17191 16678 0 -1 4202496 282340 0 0 0 4014 35 0 0 25 0 1 0 891482397 697737216 169676 33554432000 4194304 5696331 140734262699456 18446744073709551615 4416830 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/17191/statm: 170346 169676 149 367 0 169976 0
Current children cumulated CPU time (s) 40.49
Current children cumulated vsize (KiB) 681384

[startup+40.901 s]
/proc/loadavg: 2.05 0.57 0.63 5/187 17245
/proc/meminfo: memFree=30008820/32951124 swapFree=67054524/67111528
[pid=17191] ppid=17189 vsize=681384 CPUtime=40.89 cores=0,2
/proc/17191/stat : 17191 (muser) R 17189 17191 16678 0 -1 4202496 282340 0 0 0 4054 35 0 0 25 0 1 0 891482397 697737216 169676 33554432000 4194304 5696331 140734262699456 18446744073709551615 4416660 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/17191/statm: 170346 169676 149 367 0 169976 0
Current children cumulated CPU time (s) 40.89
Current children cumulated vsize (KiB) 681384

[startup+41.101 s]
/proc/loadavg: 2.05 0.57 0.63 5/187 17245
/proc/meminfo: memFree=30008820/32951124 swapFree=67054524/67111528
[pid=17191] ppid=17189 vsize=681384 CPUtime=41.09 cores=0,2
/proc/17191/stat : 17191 (muser) R 17189 17191 16678 0 -1 4202496 282340 0 0 0 4074 35 0 0 25 0 1 0 891482397 697737216 169676 33554432000 4194304 5696331 140734262699456 18446744073709551615 4380796 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/17191/statm: 170346 169676 149 367 0 169976 0
Current children cumulated CPU time (s) 41.09
Current children cumulated vsize (KiB) 681384

Child status: 20
Real time (s): 41.1363
CPU time (s): 41.1367
CPU user time (s): 40.7468
CPU system time (s): 0.38994
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 859900

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

runsolver used 0.087986 second user time and 0.134979 second system time

The end

Launcher Data 

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

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

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

MD5SUM BENCH= 7d84d9ba8c0371564469bdee41cdd8a0
RANDOM SEED=2077693128

node130.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31180672 kB
Buffers:        272124 kB
Cached:        1098636 kB
SwapCached:      10548 kB
Active:         753768 kB
Inactive:       818972 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31180672 kB
SwapTotal:    67111528 kB
SwapFree:     67054524 kB
Dirty:          121684 kB
Writeback:           0 kB
AnonPages:      199004 kB
Mapped:          13288 kB
Slab:           132920 kB
PageTables:       5196 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   397976 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= 73868 MiB
End job on node130 at 2011-06-11 15:28:00