Trace number 3495889

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
MoUsSaka 2011-03-26UNSAT 0.84787 0.8505

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.01	c MoUsSaka vegetarian
0.09/0.11	
0.09/0.11	s UNSATISFIABLE
0.79/0.84	c Core is minimal
0.79/0.84	
0.79/0.84	v 112622 112627 112633 94637 88148 94553 94715 87874 88178 88175 87896 88166 87901 124761 129549 124736 124741 124749 124754 129594 129538 129584 105800 105803 105807 107057 100393 106616 100126 100123 100119 119731 107067 106609 107141 137 112604 111688 3229 105798 107144 107219 3232 124784 124772 124781 3358 124460 118684 124715 92924 123239 2476 112 100101 98916 96682 96678 162 2417 119591 119495 92926 97491 109556 109552 4047 4240 93735 122426 122430 110365 118686 100411 110358 100146 100141 122423 109547 123232 2473 100423 82124 82204 82036 75935 75665 75690 75685 75955 87893 94632 88163 94712 94546 96675 92917 92921 93730 4046 96673 100420 97484 3355 122421 109549 4237 88172 82208 75918 82128 82042 75648 75673 75668 187 80047 80043 80041 80037 86144 80856 80850 4862 4864 75981 75972 75707 75702 75984 75961 88200 100428 100445 100474 100471 100462 2480 88183 88192 88195 112639 112645 112647 124844 124835 124847 124826 124823 124814 124802 124793 124805 82199 82121 75951 75681 82031 94541 87909 94707 88179 94629 107137 100137 100407 107215 107051 100457 100454 100197 100192 100180 80843 92914 88226 84592 88217 5113 80034 80032 97466 88189 75938 83781 112630 88206 87913 92912 4859 87952 93723 96655 100158 100163 87947 87935 87930 112662 96657 88229 100434 100451 75944 100175 112650 4043 112656 4231 109529 100417 2467 87918 4233 63707 63437 73372 71724 100440 100437 4235 112668 112665 63690 63420 69700 38964 100496 100505 100508 100479 100491 100488 124898 124910 124907 124889 124877 124886 124865 124856 124868 63453 63723 71718 71730 71736 71743 71749 71755 72202 72946 72948 73001 5109 33886 8637 34612 22313 22309 34614 4225 4227 4229 22052 8633 26773 26778 28512 28514 28517 75741 75753 75758 87 4242 4244 4467 7017 7307 3362 71706 71712 29323 29330 29336 31993 32000 32006 32088 32091 32095 33133 33127 33121 33114 22342 22348 22354 21965 32279 32275 21969 7770 2459 22307 22303 22301 8635 22150 22144 35202 26753 26756 26761 26769 22137 22058 8647 26736 22430 7768 7765 7867 28521 28523 28527 4223 3617 287 262 237 212 6001 5999 62 5997 5995 5122 5119 5117 5115 5111 9571 96633 9567 96669 97503 88003 87998 87986 87981 87969 87964 97746 98502 96639 96637 8650 32318 32314 32312 32308 32305 32303 32299 97460 97472 94761 32320 7310 35056 8645 7312 7751 32324 33072 97454 8639 33078 33084 33090 33096 7753 7755 8717 8654 8652 33108 8641 33102 8643 97478 97497 32291 32287 32261 32263 32267 32269 32273 22045 32281 70883 69950 69947 69944 69938 2073 2072 1937 1907 21959 21963 7759 2471 2469 2465 2463 7761 7763 2461 94766 94946 94952 94955 32297 94958 96631 98504 32293 9574 9576 9604 7772 9606 9608 21834 21836 21889 21954 21956 8123 7757 8126 8128 32285 32238 32243 75736 75724 83777 83775 83771 76001 75998 75995 75989 75978 75967 75964 75719 73518 85779 76018 76015 76012 76006 5107 5105 83769 83765 83763 83759 83757 82454 82451 82448 82442 82262 82257 86290 84586 84580 84574 84568 83820 83816 83814 83810 98557 88251 88246 88243 88240 88234 129642 129640 104668 104666 100502 100485 100468 109525 109523 109519 109517 109513 109511 109507 109505 97448 97442 96694 96690 96688 96684 88223 88212 88209 85726 85724 84974 84629 84623 84617 84610 84604 84598 88263 88260 88257 99062 96651 96649 96645 96643 6890 6888 6886 6883 6881 6879 6877 6875 6873 6871 6869 6496 6494 6491 6167 6008 6006 6004 107462 107459 107456 107450 107270 107265 129678 129672 100248 100243 100231 100226 100214 100209 75950 75947 109562 109558 109543 96667 96663 96661 70885 70889 70891 70895 70897 70901 303 304 305 311 312 318 63733 63736 63739 63744 58047 58051 58053 58056 58060 58062 58066 58068 58072 58820 58826 58832 69753 69758 2478 2767 2933 3227 3341 3343 3345 3347 3349 3351 3353 3360 7 8 9 16 18 319 320 1151 1154 1156 1169 1174 1888 1891 1904 1906 5675 5678 5680 5987 5989 5991 5993 58023 58027 58029 58033 58035 58039 58041 58045 5124 5126 5317 58838 58844 58850 58856 58862 58869 34667 22297 63496 63508 63513 63710 63716 57249 57254 57434 57440 57443 57446 58009 58011 58015 58017 58021 70913 70915 70919 70921 70925 70927 70930 70934 70936 70940 70942 70946 71694 71700 63719 63722 63727 58875 58881 59430 60168 60170 60223 60600 60746 63440 63445 63457 63462 63474 63479 63491 70903 70907 70909 109531 109535 109537 109541 112753 117485 117489 117492 117494 117818 117823 109564 109568 110316 110322 110328 110334 110340 110346 110352 110371 110377 110518 111280 111282 111335 111834 104997 105792 105794 106603 112673 112679 112682 112685 112690 112696 112699 112702 112707 112713 112716 112719 112724 112730 112733 112736 112741 112747 112750 119963 119966 122379 122381 122385 122387 122391 122393 122397 122399 122403 122405 122409 122411 122415 122417 122432 122436 122438 122442 123190 123196 123202 83783 83787 83789 83793 83795 83799 83801 83804 83808 123220 123226 123245 123251 124058 124060 124113 124606 124777 124798 124819 124840 119954 119960 149214 149219 149262 149273 149312 149318 149323 149366 149377 150150 124861 124882 124903 129451 129455 129464 129466 129496 129507 129627 129631 129633 129637 123208 123214 129683 129935 129941 129944 129947 136890 136894 136898 137232 137378 149103 149107 149109 149113 149116 149118 149157 149161 149170 149172 149208 63750 63753 63756 63761 63767 63770 63773 67152 67154 67157 67161 67163 67167 67963 67970 67976 69521 69526 69532 69613 69616 69620 69691 69696 44600 44604 44675 44680 44684 44745 44750 44929 44935 44938 44941 45135 45137 45141 45143 45147 45149 45153 45155 45159 45161 45165 45167 45171 45173 45177 45179 45182 45186 45188 45192 38981 38984 38989 38997 39001 39006 39018 39023 39234 39251 39254 39260 39263 39266 39267 39271 39277 39280 39283 41392 41394 41397 41401 41403 41407 42203 42210 42216 44501 44506 44512 44597 51482 51488 51491 51494 51495 51499 51505 51508 51511 51516 51522 51525 51528 54272 54274 54277 54281 54283 54287 55083 55090 55096 57011 57016 57022 57105 57108 57112 57183 57188 57192 45194 45198 45946 45952 45958 45964 45970 45976 45982 45988 45995 46001 46007 46658 47390 47392 47445 47828 47974 51192 51209 51212 51217 51225 51229 51234 51246 51251 51263 51268 51462 51479  0
0.79/0.84	
0.79/0.84	c Core has size 1004

Verifier Data 

OK	1004

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-3495889-1307808451/watcher-3495889-1307808451 -o /tmp/evaluation-result-3495889-1307808451/solver-3495889-1307808451 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495889-1307808451.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: 4.00 3.84 3.12 4/189 17716
/proc/meminfo: memFree=30225204/32951124 swapFree=67056684/67111528
[pid=17716] ppid=17714 vsize=18464 CPUtime=0 cores=0,2
/proc/17716/stat : 17716 (MoUsSaka) R 17714 17716 13546 0 -1 4202496 1761 0 0 0 0 0 0 0 25 0 1 0 892445898 18907136 1344 33554432000 4194304 4365125 140736355951680 18446744073709551615 4316944 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17716/statm: 4616 1344 253 42 0 1764 0

[startup+0.030014 s]
/proc/loadavg: 4.00 3.84 3.12 4/189 17716
/proc/meminfo: memFree=30225204/32951124 swapFree=67056684/67111528
[pid=17716] ppid=17714 vsize=19660 CPUtime=0.02 cores=0,2
/proc/17716/stat : 17716 (MoUsSaka) R 17714 17716 13546 0 -1 4202496 2874 0 0 0 2 0 0 0 25 0 1 0 892445898 20131840 1977 33554432000 4194304 4365125 140736355951680 18446744073709551615 4266084 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17716/statm: 4915 1978 254 42 0 2063 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19660

[startup+0.101021 s]
/proc/loadavg: 4.00 3.84 3.12 4/189 17716
/proc/meminfo: memFree=30225204/32951124 swapFree=67056684/67111528
[pid=17716] ppid=17714 vsize=28188 CPUtime=0.09 cores=0,2
/proc/17716/stat : 17716 (MoUsSaka) R 17714 17716 13546 0 -1 4202496 7409 0 0 0 8 1 0 0 25 0 1 0 892445898 28864512 3699 33554432000 4194304 4365125 140736355951680 18446744073709551615 4263856 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17716/statm: 7047 3699 255 42 0 4195 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28188

[startup+0.300985 s]
/proc/loadavg: 4.00 3.84 3.12 4/189 17716
/proc/meminfo: memFree=30225204/32951124 swapFree=67056684/67111528
[pid=17716] ppid=17714 vsize=28184 CPUtime=0.29 cores=0,2
/proc/17716/stat : 17716 (MoUsSaka) R 17714 17716 13546 0 -1 4202496 7512 0 0 0 28 1 0 0 25 0 1 0 892445898 28860416 3801 33554432000 4194304 4365125 140736355951680 18446744073709551615 4242767 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17716/statm: 7046 3801 263 42 0 4194 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28184

[startup+0.70092 s]
/proc/loadavg: 4.00 3.84 3.12 4/189 17716
/proc/meminfo: memFree=30225204/32951124 swapFree=67056684/67111528
[pid=17716] ppid=17714 vsize=28184 CPUtime=0.69 cores=0,2
/proc/17716/stat : 17716 (MoUsSaka) R 17714 17716 13546 0 -1 4202496 7512 0 0 0 68 1 0 0 25 0 1 0 892445898 28860416 3801 33554432000 4194304 4365125 140736355951680 18446744073709551615 4263164 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17716/statm: 7046 3801 263 42 0 4194 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28184

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

[startup+0.800871 s]
/proc/loadavg: 4.00 3.84 3.12 4/189 17716
/proc/meminfo: memFree=30225204/32951124 swapFree=67056684/67111528
[pid=17716] ppid=17714 vsize=28184 CPUtime=0.79 cores=0,2
/proc/17716/stat : 17716 (MoUsSaka) R 17714 17716 13546 0 -1 4202496 7512 0 0 0 78 1 0 0 25 0 1 0 892445898 28860416 3801 33554432000 4194304 4365125 140736355951680 18446744073709551615 4260918 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17716/statm: 7046 3801 263 42 0 4194 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 28184

Child status: 20
Real time (s): 0.8505
CPU time (s): 0.84787
CPU user time (s): 0.833873
CPU system time (s): 0.013997
CPU usage (%): 99.6908
Max. virtual memory (cumulated for all children) (KiB): 28188

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

runsolver used 0.002999 second user time and 0.003999 second system time

The end

Launcher Data 

Begin job on node109 at 2011-06-11 18:07:32
IDJOB=3495889
IDBENCH=89373
IDSOLVER=1989
FILE ID=node109/3495889-1307808451
RUNJOBID= node109-1307807601-16673
PBS_JOBID= 13551065
Free space on /tmp= 74012 MiB

SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT11/mus/marques-silva/design-debugging/dividers9.dimacs.filtered.cnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495889-1307808451/watcher-3495889-1307808451 -o /tmp/evaluation-result-3495889-1307808451/solver-3495889-1307808451 -C 1800 -W 1850 -M 7680  MoUsSaka HOME/instance-3495889-1307808451.cnf

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

MD5SUM BENCH= f3b99c9a149e2d774d82fa6686eb20fe
RANDOM SEED=1125332051

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30225748 kB
Buffers:        311092 kB
Cached:        1147352 kB
SwapCached:       8608 kB
Active:        1666812 kB
Inactive:       825424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30225748 kB
SwapTotal:    67111528 kB
SwapFree:     67056684 kB
Dirty:            3144 kB
Writeback:           0 kB
AnonPages:     1031100 kB
Mapped:          13756 kB
Slab:           165048 kB
PageTables:       7396 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1638816 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= 74012 MiB
End job on node109 at 2011-06-11 18:07:32