Trace number 3493315

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 3.49447 3.49978

General information on the benchmark

Namemus/marques-silva/design-debugging/
dividers9.dimacs.filtered.cnf
MD5SUMf3b99c9a149e2d774d82fa6686eb20fe
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.84787
Satisfiable
(Un)Satisfiability was proved
Number of variables45552
Number of clauses162922
Sum of the clauses size428066
Maximum clause length4
Minimum clause length1
Number of clauses of size 1378
Number of clauses of size 263700
Number of clauses of size 395088
Number of clauses of size 43756
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-3493315-1307798843.cnf ***
0.00/0.00	c 
0.09/0.18	c Parsing CPU Time: 0.171973
0.09/0.18	c Running MUSer ...
0.39/0.44	c 0.00% completed ... 
0.48/0.53	c 6.04% completed ... 
0.58/0.60	c 12.08% completed ... 
0.58/0.65	c 19.49% completed ... 
0.58/0.68	c 25.64% completed ... 
0.78/0.84	c 40.89% completed ... 
0.99/1.01	c 45.97% completed ... 
0.99/1.10	c 51.06% completed ... 
1.09/1.18	c 57.52% completed ... 
1.48/1.51	c 72.56% completed ... 
1.58/1.61	c 78.39% completed ... 
1.78/1.88	c 86.12% completed ... 
3.38/3.49	c 100.00% completed ... 
3.38/3.49	c MUS size: 944
3.38/3.49	s UNSATISFIABLE
3.38/3.49	v 29336 6888 187 51499 4047 51491 83799 33121 129543 123226 109564 83783 6008 39001 5124 4240 109556 3798 83775 57254 41407 110424 123202 112622 83759 58862 112638 4658 5317 112630 45192 112702 21965 117842 112662 112750 58838 100180 44935 35202 117818 7017 129696 22150 118686 70925 129455 118678 86290 105016 129672 69944 82208 110352 124856 96690 88234 70909 88178 96682 88226 70901 124840 67976 124784 94946 137378 97550 110328 129640 70885 45988 124736 32318 92190 149127 119731 75984 75944 122423 119723 149336 45964 117513 122415 80047 149103 63710 117497 122399 149312 117489 109613 47828 122391 63750 129584 2471 58051 79364 2463 51268 97478 51212 83816 58035 104687 123251 51516 7765 83808 6881 58027 98916 8641 51508 7757 6873 104671 32238 8633 84676 57022 97454 33114 58011 44750 69535 66538 39018 39234 6001 5117 2415 39266 4233 109549 3349 5993 33090 5109 91861 26736 8601 4225 109541 3341 112639 106616 149232 123195 112647 91845 112719 109525 112679 100101 129496 96739 109517 45177 149208 100197 100141 3309 84604 70942 119579 45161 79035 110377 57440 70934 45153 129464 71802 84580 45137 82442 124889 88251 88195 124793 129657 124865 149377 33886 88243 96675 5680 129649 66209 124761 124777 96667 9606 94955 129633 1169 2078 22313 122432 96651 84974 76001 75961 83865 96643 54283 6496 32303 22297 2938 4 71730 58068 119483 63727 32287 97503 2480 58060 63719 32279 63767 58928 71706 32006 32263 105797 6890 51229 8650 83801 51525 149273 83793 4467 5126 4242 123220 109558 3800 3358 83777 39283 70991 83769 94554 112656 4660 237 26761 58856 45194 107067 112736 84629 45186 44929 112696 100118 117836 82250 5520 129947 100126 8128 46054 100214 100158 58832 82001 57192 47974 129690 1910 69938 70927 118680 70919 22354 124898 118672 105010 88148 99062 32095 124906 149161 110346 88212 96684 82451 70903 124882 88172 94715 124826 88260 58117 124802 70895 129642 28527 150150 124754 57112 149137 110322 75938 45982 32320 93735 71755 3230 32312 76018 92184 149121 75978 1154 122417 149113 1146 149330 33180 45958 117507 119966 122409 5 9567 63744 129594 318 109615 63736 122393 2473 58053 122385 60600 2465 58045 107140 79358 51246 97472 83810 51462 6883 58029 104681 51494 8643 123245 7759 6875 45243 58021 38964 8635 111688 55096 7751 97448 129538 33108 262 58881 2417 5119 4235 3351 5995 5111 4227 39260 109543 57249 3343 7719 5987 20306 33084 91855 112673 109535 112633 26778 149226 106610 112665 67167 112753 112713 96741 109519 45179 44938 80813 109511 5955 100231 45171 100175 57434 92924 84598 70936 79029 129466 45155 110371 129683 32369 129458 45147 69947 149170 84574 124835 62 88229 46007 88189 124715 129651 149371 124819 46658 136898 96669 9608 94957 122442 136890 96661 1171 2080 75955 129627 2072 75947 22307 122426 83867 96645 75995 32305 2940 96637 9576 32297 6 149323 71724 63761 58062 319 117492 32281 97497 63753 19495 32273 105807 303 71700 3617 8652 51263 7768 33133 287 44512 51511 80002 83795 149267 104666 109568 38989 83787 4244 44745 3360 6004 123214 109552 70993 83771 39277 41403 83763 112690 21969 129507 112650 123190 112682 58850 45188 149219 107061 84623 112730 117830 129941 212 100248 100192 58826 57443 60746 87 1912 1904 70921 129451 118674 107270 96694 88166 70913 22348 105004 1888 111834 124868 88246 124772 124844 110340 88206 96678 58119 124732 70897 21889 34667 47445 60223 73001 85779 70889 98557 111335 124113 8717 149131 75972 110316 2073 45976 3232 32314 75964 119727 71749 1156 76012 92178 1148 117509 149107 122411 7 2933 45952 117501 22284 119960 80043 122403 63690 22058 320 63722 63770 312 51192 117485 122387 2467 58047 122379 83820 73372 2459 58039 104683 8645 7761 97466 83804 51528 6877 45245 58023 104675 123239 51488 8637 7753 6869 58015 124460 39006 97442 33102 39254 4237 3353 58875 5997 5113 4229 3345 5989 6837 5105 91857 109537 112707 33078 91849 109529 26756 112699 82253 4864 112747 112 1937 109513 119591 45173 5073 117823 92926 109505 70946 100209 45165 79031 84592 69700 70930 32371 45149 129460 110365 45141 149172 42216 124877 88183 149164 1889 129661 84568 82454 88175 104997 88263 124861 46001 88223 124805 124749 124781 129645 66205 124741 59430 96663 129637 122436 75989 96655 22309 75981 54287 6167 22301 4985 149116 16 96639 110518 119495 32299 8 96631 58072 32291 117494 21834 63739 34612 47390 71718 60168 2476 72946 58056 85724 19497 32275 98502 111280 124058 97491 305 32267 105801 51217 8654 7770 71694 6886 80004 33127 32243 51505 7312 129549 104668 123232 83789 39023 109562 3362 6006 83781 5122 80856 39271 3796 82045 39263 123208 83765 112604 137 83757 45198 112724 112668 112628 129501 26773 112716 129935 58844 45182 44941 22430 84617 100146 129702 100226 58820 1914 73518 118684 1906 129678 69950 110358 70915 88200 124910 7867 96688 70907 124814 124886 22342 88192 149157 124606 88240 110334 149366 124798 70891 1174 28523 70883 94952 32324 149133 75918 76006 75950 149125 149342 75998 45970 32308 122421 17 71743 1150 119954 149109 9 117503 122405 149318 45946 35056 122397 63756 129590 63716 2469 107144 122381 97484 51234 2461 58041 83814 58033 86144 51482 8647 7763 6879 104677 8639 97460 7755 51522 6871 58017 58009 149262 162 137232 38984 3355 5999 2413 33096 5115 4231 109547 39280 3347 58869 5991 149238 9483 5107 4223 112621 91851 112741 109531 112685 112645 33072 112733 109523 67163 149214 44684 100163 129944 100123 4191 109507 84610 119585 45167 100243 57446 70940 45159 79025 1907 84586 45143 45135 149166 107265 1891 88217 2767 124903 124847 129655 88209 82448 124823 44604 88257 96673 45995 136894 9604 122438 129631 96657 2076 75967 122430 96649 22303 76015 149118 18 1151 71736 2936 96633 119489 32293 119963 58066 32285 21836 34614 47392 60170 72948 2478 63773 85726 98504 111282 63733 124060 71712 32269 105803 51251 32261 7772 0
3.38/3.49	c Terminating MUSer ...
3.38/3.49	c CPU Time: 3.46

Verifier Data 

OK	944

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-3493315-1307798843/watcher-3493315-1307798843 -o /tmp/evaluation-result-3493315-1307798843/solver-3493315-1307798843 -C 1800 -W 1850 -M 7680 ./muser -comp HOME/instance-3493315-1307798843.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: 0.77 0.34 0.89 5/189 9107
/proc/meminfo: memFree=29437124/32951124 swapFree=67050916/67111528
[pid=9107] ppid=9105 vsize=3368 CPUtime=0 cores=5,7
/proc/9107/stat : 9107 (muser) R 9105 9107 7848 0 -1 4202496 311 0 0 0 0 0 0 0 23 0 1 0 872300626 3448832 265 33554432000 4194304 5696331 140734937103936 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/9107/statm: 842 266 114 367 0 472 0

[startup+0.0635691 s]
/proc/loadavg: 0.77 0.34 0.89 5/189 9107
/proc/meminfo: memFree=29437124/32951124 swapFree=67050916/67111528
[pid=9107] ppid=9105 vsize=15512 CPUtime=0.05 cores=5,7
/proc/9107/stat : 9107 (muser) R 9105 9107 7848 0 -1 4202496 3787 0 0 0 5 0 0 0 23 0 1 0 872300626 15884288 3303 33554432000 4194304 5696331 140734937103936 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/9107/statm: 3878 3305 114 367 0 3508 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15512

[startup+0.10056 s]
/proc/loadavg: 0.77 0.34 0.89 5/189 9107
/proc/meminfo: memFree=29437124/32951124 swapFree=67050916/67111528
[pid=9107] ppid=9105 vsize=25104 CPUtime=0.09 cores=5,7
/proc/9107/stat : 9107 (muser) R 9105 9107 7848 0 -1 4202496 6203 0 0 0 9 0 0 0 23 0 1 0 872300626 25706496 5719 33554432000 4194304 5696331 140734937103936 18446744073709551615 4208092 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/9107/statm: 6276 5719 114 367 0 5906 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25104

[startup+0.300527 s]
/proc/loadavg: 0.77 0.34 0.89 5/189 9107
/proc/meminfo: memFree=29437124/32951124 swapFree=67050916/67111528
[pid=9107] ppid=9105 vsize=56944 CPUtime=0.29 cores=5,7
/proc/9107/stat : 9107 (muser) R 9105 9107 7848 0 -1 4202496 15180 0 0 0 27 2 0 0 25 0 1 0 872300626 58310656 13796 33554432000 4194304 5696331 140734937103936 18446744073709551615 4208347 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/9107/statm: 14236 13796 143 367 0 13866 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56944

[startup+0.700454 s]
/proc/loadavg: 0.77 0.34 0.89 5/189 9107
/proc/meminfo: memFree=29437124/32951124 swapFree=67050916/67111528
[pid=9107] ppid=9105 vsize=43952 CPUtime=0.68 cores=5,7
/proc/9107/stat : 9107 (muser) R 9105 9107 7848 0 -1 4202496 18141 0 0 0 66 2 0 0 25 0 1 0 872300626 45006848 10683 33554432000 4194304 5696331 140734937103936 18446744073709551615 4381194 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/9107/statm: 10988 10683 149 367 0 10618 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 43952

[startup+1.50033 s]
/proc/loadavg: 0.77 0.34 0.89 5/190 9108
/proc/meminfo: memFree=29050304/32951124 swapFree=67050916/67111528
[pid=9107] ppid=9105 vsize=43952 CPUtime=1.48 cores=5,7
/proc/9107/stat : 9107 (muser) R 9105 9107 7848 0 -1 4202496 18142 0 0 0 146 2 0 0 25 0 1 0 872300626 45006848 10684 33554432000 4194304 5696331 140734937103936 18446744073709551615 4416862 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/9107/statm: 10988 10684 149 367 0 10618 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 43952

[startup+3.10102 s]
/proc/loadavg: 0.77 0.34 0.89 4/185 9172
/proc/meminfo: memFree=29348556/32951124 swapFree=67050916/67111528
[pid=9107] ppid=9105 vsize=43952 CPUtime=3.08 cores=5,7
/proc/9107/stat : 9107 (muser) R 9105 9107 7848 0 -1 4202496 18144 0 0 0 306 2 0 0 25 0 1 0 872300626 45006848 10686 33554432000 4194304 5696331 140734937103936 18446744073709551615 4381210 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/9107/statm: 10988 10686 149 367 0 10618 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 43952

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

[startup+3.30699 s]
/proc/loadavg: 0.77 0.34 0.89 5/187 9174
/proc/meminfo: memFree=29222124/32951124 swapFree=67050916/67111528
[pid=9107] ppid=9105 vsize=43952 CPUtime=3.29 cores=5,7
/proc/9107/stat : 9107 (muser) R 9105 9107 7848 0 -1 4202496 18144 0 0 0 327 2 0 0 25 0 1 0 872300626 45006848 10686 33554432000 4194304 5696331 140734937103936 18446744073709551615 4416848 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/9107/statm: 10988 10686 149 367 0 10618 0
Current children cumulated CPU time (s) 3.29
Current children cumulated vsize (KiB) 43952

[startup+3.401 s]
/proc/loadavg: 0.77 0.34 0.89 5/187 9174
/proc/meminfo: memFree=29222124/32951124 swapFree=67050916/67111528
[pid=9107] ppid=9105 vsize=43952 CPUtime=3.38 cores=5,7
/proc/9107/stat : 9107 (muser) R 9105 9107 7848 0 -1 4202496 18144 0 0 0 336 2 0 0 25 0 1 0 872300626 45006848 10686 33554432000 4194304 5696331 140734937103936 18446744073709551615 4416674 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/9107/statm: 10988 10686 149 367 0 10618 0
Current children cumulated CPU time (s) 3.38
Current children cumulated vsize (KiB) 43952

Child status: 20
Real time (s): 3.49978
CPU time (s): 3.49447
CPU user time (s): 3.46447
CPU system time (s): 0.029995
CPU usage (%): 99.8483
Max. virtual memory (cumulated for all children) (KiB): 56944

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

runsolver used 0.009998 second user time and 0.013997 second system time

The end

Launcher Data 

Begin job on node146 at 2011-06-11 15:27:24
IDJOB=3493315
IDBENCH=89373
IDSOLVER=1969
FILE ID=node146/3493315-1307798843
RUNJOBID= node146-1307798837-8976
PBS_JOBID= 13551002
Free space on /tmp= 73912 MiB

SOLVER NAME= MUSer 2011-02-10
BENCH NAME= SAT11/mus/marques-silva/design-debugging/dividers9.dimacs.filtered.cnf
COMMAND LINE= ./muser -comp BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493315-1307798843/watcher-3493315-1307798843 -o /tmp/evaluation-result-3493315-1307798843/solver-3493315-1307798843 -C 1800 -W 1850 -M 7680  ./muser -comp HOME/instance-3493315-1307798843.cnf

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

MD5SUM BENCH= f3b99c9a149e2d774d82fa6686eb20fe
RANDOM SEED=691166016

node146.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.830
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.66
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.830
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.830
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.830
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.830
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.830
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.830
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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29440644 kB
Buffers:        309404 kB
Cached:        1370220 kB
SwapCached:      14576 kB
Active:        2359816 kB
Inactive:       932332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29440644 kB
SwapTotal:    67111528 kB
SwapFree:     67050916 kB
Dirty:          184488 kB
Writeback:           0 kB
AnonPages:     1609468 kB
Mapped:          10712 kB
Slab:           151136 kB
PageTables:       8620 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1847648 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= 73924 MiB
End job on node146 at 2011-06-11 15:27:27