runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3467226-1307392491/watcher-3467226-1307392491 -o /tmp/evaluation-result-3467226-1307392491/solver-3467226-1307392491 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3467226-1307392491.opb --verbosity=0 --format=opb
running on 4 cores: 0,2,4,6
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Using a pseudo terminal to collect output from the solver
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.11 2.06 2.01 2/424 21512
/proc/meminfo: memFree=25477368/32951124 swapFree=44043516/67111528
[pid=21512] ppid=21510 vsize=7864 CPUtime=0 cores=0,2,4,6
/proc/21512/stat : 21512 (minisatid-gmp) R 21510 21512 20454 0 -1 4202496 489 0 0 0 0 0 0 0 25 0 1 0 850847323 8052736 437 33554432000 4194304 6736272 140736198849840 18446744073709551615 5911552 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21512/statm: 1966 437 248 621 0 1336 0
[startup+0.0376049 s]
/proc/loadavg: 2.11 2.06 2.01 2/424 21512
/proc/meminfo: memFree=25477368/32951124 swapFree=44043516/67111528
[pid=21512] ppid=21510 vsize=8920 CPUtime=0.03 cores=0,2,4,6
/proc/21512/stat : 21512 (minisatid-gmp) R 21510 21512 20454 0 -1 4202496 756 0 0 0 3 0 0 0 25 0 1 0 850847323 9134080 704 33554432000 4194304 6736272 140736198849840 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21512/statm: 2230 704 248 621 0 1600 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8920
[startup+0.100578 s]
/proc/loadavg: 2.11 2.06 2.01 2/424 21512
/proc/meminfo: memFree=25477368/32951124 swapFree=44043516/67111528
[pid=21512] ppid=21510 vsize=12516 CPUtime=0.09 cores=0,2,4,6
/proc/21512/stat : 21512 (minisatid-gmp) R 21510 21512 20454 0 -1 4202496 1709 0 0 0 9 0 0 0 25 0 1 0 850847323 12816384 1657 33554432000 4194304 6736272 140736198849840 18446744073709551615 5601872 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21512/statm: 3129 1657 266 621 0 2499 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12516
[startup+0.300559 s]
/proc/loadavg: 2.11 2.06 2.01 2/424 21512
/proc/meminfo: memFree=25477368/32951124 swapFree=44043516/67111528
[pid=21512] ppid=21510 vsize=13332 CPUtime=0.29 cores=0,2,4,6
/proc/21512/stat : 21512 (minisatid-gmp) R 21510 21512 20454 0 -1 4202496 2006 0 0 0 29 0 0 0 25 0 1 0 850847323 13651968 1949 33554432000 4194304 6736272 140736198849840 18446744073709551615 5803381 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21512/statm: 3333 1949 284 621 0 2703 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13332
[startup+0.700468 s]
/proc/loadavg: 2.11 2.06 2.01 2/424 21512
/proc/meminfo: memFree=25477368/32951124 swapFree=44043516/67111528
[pid=21512] ppid=21510 vsize=13332 CPUtime=0.69 cores=0,2,4,6
/proc/21512/stat : 21512 (minisatid-gmp) R 21510 21512 20454 0 -1 4202496 2249 0 0 0 69 0 0 0 25 0 1 0 850847323 13651968 2189 33554432000 4194304 6736272 140736198849840 18446744073709551615 4733036 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21512/statm: 3333 2189 284 621 0 2703 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13332
[startup+1.50032 s]
/proc/loadavg: 2.11 2.06 2.01 3/425 21513
/proc/meminfo: memFree=25465704/32951124 swapFree=44043516/67111528
[pid=21512] ppid=21510 vsize=13332 CPUtime=1.49 cores=0,2,4,6
/proc/21512/stat : 21512 (minisatid-gmp) R 21510 21512 20454 0 -1 4202496 2864 0 0 0 149 0 0 0 25 0 1 0 850847323 13651968 2803 33554432000 4194304 6736272 140736198849840 18446744073709551615 5803324 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21512/statm: 3333 2803 284 621 0 2703 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13332
[startup+3.10103 s]
/proc/loadavg: 2.11 2.06 2.01 3/425 21513
/proc/meminfo: memFree=25463720/32951124 swapFree=44043516/67111528
[pid=21512] ppid=21510 vsize=16100 CPUtime=3.09 cores=0,2,4,6
/proc/21512/stat : 21512 (minisatid-gmp) R 21510 21512 20454 0 -1 4202496 3975 0 0 0 309 0 0 0 25 0 1 0 850847323 16486400 2729 33554432000 4194304 6736272 140736198849840 18446744073709551615 5803329 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21512/statm: 4025 2729 285 621 0 3395 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16100
[startup+6.30045 s]
/proc/loadavg: 2.10 2.05 2.01 3/425 21513
/proc/meminfo: memFree=25449736/32951124 swapFree=44043516/67111528
[pid=21512] ppid=21510 vsize=24848 CPUtime=6.29 cores=0,2,4,6
/proc/21512/stat : 21512 (minisatid-gmp) R 21510 21512 20454 0 -1 4202496 6725 0 0 0 629 0 0 0 25 0 1 0 850847323 25444352 4176 33554432000 4194304 6736272 140736198849840 18446744073709551615 4732805 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21512/statm: 6212 4176 285 621 0 5582 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24848
[startup+12.7002 s]
/proc/loadavg: 2.09 2.05 2.01 3/425 21513
/proc/meminfo: memFree=25431780/32951124 swapFree=44043516/67111528
[pid=21512] ppid=21510 vsize=24848 CPUtime=12.68 cores=0,2,4,6
/proc/21512/stat : 21512 (minisatid-gmp) R 21510 21512 20454 0 -1 4202496 7045 0 0 0 1268 0 0 0 25 0 1 0 850847323 25444352 4494 33554432000 4194304 6736272 140736198849840 18446744073709551615 5219603 0 0 4096 17571 0 0 0 17 6 0 0 0
/proc/21512/statm: 6212 4494 287 621 0 5582 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 24848
[startup+25.5009 s]
/proc/loadavg: 2.07 2.05 2.01 3/425 21514
/proc/meminfo: memFree=25400564/32951124 swapFree=44043516/67111528
[pid=21512] ppid=21510 vsize=24848 CPUtime=25.48 cores=0,2,4,6
/proc/21512/stat : 21512 (minisatid-gmp) R 21510 21512 20454 0 -1 4202496 7671 0 0 0 2547 1 0 0 25 0 1 0 850847323 25444352 5120 33554432000 4194304 6736272 140736198849840 18446744073709551615 5806398 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21512/statm: 6212 5120 287 621 0 5582 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 24848
[startup+51.1003 s]
/proc/loadavg: 2.05 2.05 2.00 3/425 21514
/proc/meminfo: memFree=25500200/32951124 swapFree=44043516/67111528
[pid=21512] ppid=21510 vsize=24848 CPUtime=51.08 cores=0,2,4,6
/proc/21512/stat : 21512 (minisatid-gmp) R 21510 21512 20454 0 -1 4202496 8127 0 0 0 5107 1 0 0 25 0 1 0 850847323 25444352 5573 33554432000 4194304 6736272 140736198849840 18446744073709551615 5806460 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21512/statm: 6212 5573 287 621 0 5582 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 24848
[startup+102.316 s]
/proc/loadavg: 2.02 2.04 2.00 3/425 21516
/proc/meminfo: memFree=25353992/32951124 swapFree=44043516/67111528
[pid=21512] ppid=21510 vsize=34780 CPUtime=102.3 cores=0,2,4,6
/proc/21512/stat : 21512 (minisatid-gmp) R 21510 21512 20454 0 -1 4202496 16116 0 0 0 10228 2 0 0 25 0 1 0 850847323 35614720 8261 33554432000 4194304 6736272 140736198849840 18446744073709551615 5146800 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21512/statm: 8695 8261 287 621 0 8065 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 34780
[startup+162.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/425 21517
/proc/meminfo: memFree=25377916/32951124 swapFree=44043516/67111528
[pid=21512] ppid=21510 vsize=34780 CPUtime=162.28 cores=0,2,4,6
/proc/21512/stat : 21512 (minisatid-gmp) R 21510 21512 20454 0 -1 4202496 16124 0 0 0 16226 2 0 0 25 0 1 0 850847323 35614720 8269 33554432000 4194304 6736272 140736198849840 18446744073709551615 5155021 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21512/statm: 8695 8269 287 621 0 8065 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 34780
Solver just ended. Dumping a history of the last processes samples
[startup+179.101 s]
/proc/loadavg: 2.00 2.03 2.00 3/425 21518
/proc/meminfo: memFree=25488028/32951124 swapFree=44043516/67111528
[pid=21512] ppid=21510 vsize=34780 CPUtime=179.08 cores=0,2,4,6
/proc/21512/stat : 21512 (minisatid-gmp) R 21510 21512 20454 0 -1 4202496 16124 0 0 0 17906 2 0 0 25 0 1 0 850847323 35614720 8269 33554432000 4194304 6736272 140736198849840 18446744073709551615 4731124 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21512/statm: 8695 8269 287 621 0 8065 0
Current children cumulated CPU time (s) 179.08
Current children cumulated vsize (KiB) 34780
[startup+204.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 21518
/proc/meminfo: memFree=25424656/32951124 swapFree=44043516/67111528
[pid=21512] ppid=21510 vsize=31992 CPUtime=204.69 cores=0,2,4,6
/proc/21512/stat : 21512 (minisatid-gmp) R 21510 21512 20454 0 -1 4202496 22792 0 0 0 20465 4 0 0 25 0 1 0 850847323 32759808 6292 33554432000 4194304 6736272 140736198849840 18446744073709551615 5219634 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21512/statm: 7998 6292 287 621 0 7368 0
Current children cumulated CPU time (s) 204.69
Current children cumulated vsize (KiB) 31992
[startup+211.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 21519
/proc/meminfo: memFree=25404308/32951124 swapFree=44043516/67111528
[pid=21512] ppid=21510 vsize=34780 CPUtime=211.09 cores=0,2,4,6
/proc/21512/stat : 21512 (minisatid-gmp) R 21510 21512 20454 0 -1 4202496 24768 0 0 0 21105 4 0 0 25 0 1 0 850847323 35614720 8261 33554432000 4194304 6736272 140736198849840 18446744073709551615 5818797 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21512/statm: 8695 8261 287 621 0 8065 0
Current children cumulated CPU time (s) 211.09
Current children cumulated vsize (KiB) 34780
[startup+214.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 21519
/proc/meminfo: memFree=25398852/32951124 swapFree=44043516/67111528
[pid=21512] ppid=21510 vsize=36452 CPUtime=214.28 cores=0,2,4,6
/proc/21512/stat : 21512 (minisatid-gmp) R 21510 21512 20454 0 -1 4202496 25191 0 0 0 21424 4 0 0 25 0 1 0 850847323 37326848 8679 33554432000 4194304 6736272 140736198849840 18446744073709551615 5146832 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21512/statm: 9113 8679 287 621 0 8483 0
Current children cumulated CPU time (s) 214.28
Current children cumulated vsize (KiB) 36452
[startup+215.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 21519
/proc/meminfo: memFree=25394388/32951124 swapFree=44043516/67111528
[pid=21512] ppid=21510 vsize=36452 CPUtime=215.88 cores=0,2,4,6
/proc/21512/stat : 21512 (minisatid-gmp) R 21510 21512 20454 0 -1 4202496 25191 0 0 0 21584 4 0 0 25 0 1 0 850847323 37326848 8679 33554432000 4194304 6736272 140736198849840 18446744073709551615 5149298 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21512/statm: 9113 8679 287 621 0 8483 0
Current children cumulated CPU time (s) 215.88
Current children cumulated vsize (KiB) 36452
[startup+216.715 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 21519
/proc/meminfo: memFree=25392032/32951124 swapFree=44043516/67111528
[pid=21512] ppid=21510 vsize=36452 CPUtime=216.7 cores=0,2,4,6
/proc/21512/stat : 21512 (minisatid-gmp) R 21510 21512 20454 0 -1 4202496 25191 0 0 0 21666 4 0 0 25 0 1 0 850847323 37326848 8679 33554432000 4194304 6736272 140736198849840 18446744073709551615 5812017 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21512/statm: 9113 8679 287 621 0 8483 0
Current children cumulated CPU time (s) 216.7
Current children cumulated vsize (KiB) 36452
[startup+217.101 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 21519
/proc/meminfo: memFree=25392032/32951124 swapFree=44043516/67111528
[pid=21512] ppid=21510 vsize=36452 CPUtime=217.09 cores=0,2,4,6
/proc/21512/stat : 21512 (minisatid-gmp) R 21510 21512 20454 0 -1 4202496 25191 0 0 0 21705 4 0 0 25 0 1 0 850847323 37326848 8679 33554432000 4194304 6736272 140736198849840 18446744073709551615 5806877 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21512/statm: 9113 8679 287 621 0 8483 0
Current children cumulated CPU time (s) 217.09
Current children cumulated vsize (KiB) 36452
[startup+217.501 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 21519
/proc/meminfo: memFree=25392032/32951124 swapFree=44043516/67111528
[pid=21512] ppid=21510 vsize=36452 CPUtime=217.48 cores=0,2,4,6
/proc/21512/stat : 21512 (minisatid-gmp) R 21510 21512 20454 0 -1 4202496 25191 0 0 0 21744 4 0 0 25 0 1 0 850847323 37326848 8679 33554432000 4194304 6736272 140736198849840 18446744073709551615 5150727 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21512/statm: 9113 8679 287 621 0 8483 0
Current children cumulated CPU time (s) 217.48
Current children cumulated vsize (KiB) 36452
Child status: 10
Real time (s): 217.598
CPU time (s): 217.594
CPU user time (s): 217.544
CPU system time (s): 0.049992
CPU usage (%): 99.9982
Max. virtual memory (cumulated for all children) (KiB): 36468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 217.544
system time used= 0.049992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25196
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= 4
involuntary context switches= 391
runsolver used 0.98085 second user time and 1.9497 second system time
The end
Begin job on node134 at 2011-06-06 22:34:51
IDJOB=3467226
IDBENCH=2132
IDSOLVER=1957
FILE ID=node134/3467226-1307392491
RUNJOBID= node134-1307381321-20472
PBS_JOBID= 13514173
Free space on /tmp= 74056 MiB
SOLVER NAME= MinisatID 2.4.8-gmp
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32b3.opb
COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3467226-1307392491/watcher-3467226-1307392491 -o /tmp/evaluation-result-3467226-1307392491/solver-3467226-1307392491 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3467226-1307392491.opb --verbosity=0 --format=opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= d05350720de072f0b95120d8d7545610
RANDOM SEED=945639354
node134.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.831
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.831
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.67
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.831
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.83
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.831
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 : 7186.06
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.831
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.80
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.831
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.831
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.831
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.84
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 25477648 kB
Buffers: 329644 kB
Cached: 917128 kB
SwapCached: 9536 kB
Active: 6352976 kB
Inactive: 826312 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 25477648 kB
SwapTotal: 67111528 kB
SwapFree: 44043516 kB
Dirty: 3088 kB
Writeback: 0 kB
AnonPages: 5930160 kB
Mapped: 22320 kB
Slab: 139752 kB
PageTables: 89008 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 110887688 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74052 MiB
End job on node134 at 2011-06-06 22:38:29