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-3463601-1307177119/watcher-3463601-1307177119 -o /tmp/evaluation-result-3463601-1307177119/solver-3463601-1307177119 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463601-1307177119.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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.03 2.00 2/477 29996
/proc/meminfo: memFree=21395400/32951124 swapFree=67057928/67111528
[pid=29996] ppid=29994 vsize=11456 CPUtime=0.01 cores=0,2,4,6
/proc/29996/stat : 29996 (bsolo) R 29994 29996 28116 0 -1 4202496 490 0 0 0 1 0 0 0 25 0 1 0 810127187 11730944 403 33554432000 134512640 137138936 4291463056 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29996/statm: 2864 403 184 642 0 2220 0
[startup+0.094897 s]
/proc/loadavg: 2.01 2.03 2.00 2/477 29996
/proc/meminfo: memFree=21395400/32951124 swapFree=67057928/67111528
[pid=29996] ppid=29994 vsize=11852 CPUtime=0.09 cores=0,2,4,6
/proc/29996/stat : 29996 (bsolo) R 29994 29996 28116 0 -1 4202496 619 0 0 0 9 0 0 0 25 0 1 0 810127187 12136448 532 33554432000 134512640 137138936 4291463056 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29996/statm: 2963 532 192 642 0 2319 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11852
[startup+0.100902 s]
/proc/loadavg: 2.01 2.03 2.00 2/477 29996
/proc/meminfo: memFree=21395400/32951124 swapFree=67057928/67111528
[pid=29996] ppid=29994 vsize=11980 CPUtime=0.09 cores=0,2,4,6
/proc/29996/stat : 29996 (bsolo) R 29994 29996 28116 0 -1 4202496 627 0 0 0 9 0 0 0 25 0 1 0 810127187 12267520 540 33554432000 134512640 137138936 4291463056 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29996/statm: 2995 540 192 642 0 2351 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11980
[startup+0.300855 s]
/proc/loadavg: 2.01 2.03 2.00 2/477 29996
/proc/meminfo: memFree=21395400/32951124 swapFree=67057928/67111528
[pid=29996] ppid=29994 vsize=12992 CPUtime=0.29 cores=0,2,4,6
/proc/29996/stat : 29996 (bsolo) R 29994 29996 28116 0 -1 4202496 893 0 0 0 29 0 0 0 25 0 1 0 810127187 13303808 806 33554432000 134512640 137138936 4291463056 18446744073709551615 134603180 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29996/statm: 3248 806 192 642 0 2604 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12992
[startup+0.700801 s]
/proc/loadavg: 2.01 2.03 2.00 2/477 29996
/proc/meminfo: memFree=21395400/32951124 swapFree=67057928/67111528
[pid=29996] ppid=29994 vsize=15280 CPUtime=0.69 cores=0,2,4,6
/proc/29996/stat : 29996 (bsolo) R 29994 29996 28116 0 -1 4202496 1453 0 0 0 69 0 0 0 25 0 1 0 810127187 15646720 1366 33554432000 134512640 137138936 4291463056 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29996/statm: 3820 1366 192 642 0 3176 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15280
[startup+1.50064 s]
/proc/loadavg: 2.01 2.03 2.00 3/478 29997
/proc/meminfo: memFree=21382000/32951124 swapFree=67057928/67111528
[pid=29996] ppid=29994 vsize=17288 CPUtime=1.49 cores=0,2,4,6
/proc/29996/stat : 29996 (bsolo) R 29994 29996 28116 0 -1 4202496 1980 0 0 0 149 0 0 0 25 0 1 0 810127187 17702912 1893 33554432000 134512640 137138936 4291463056 18446744073709551615 134542787 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29996/statm: 4322 1893 192 642 0 3678 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17288
[startup+3.10037 s]
/proc/loadavg: 2.01 2.03 2.00 3/478 29997
/proc/meminfo: memFree=21372460/32951124 swapFree=67057928/67111528
[pid=29996] ppid=29994 vsize=19908 CPUtime=3.09 cores=0,2,4,6
/proc/29996/stat : 29996 (bsolo) R 29994 29996 28116 0 -1 4202496 2636 0 0 0 309 0 0 0 25 0 1 0 810127187 20385792 2549 33554432000 134512640 137138936 4291463056 18446744073709551615 134575213 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29996/statm: 4977 2549 192 642 0 4333 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19908
[startup+6.3008 s]
/proc/loadavg: 2.01 2.03 2.00 3/478 29997
/proc/meminfo: memFree=21350392/32951124 swapFree=67057928/67111528
[pid=29996] ppid=29994 vsize=22528 CPUtime=6.29 cores=0,2,4,6
/proc/29996/stat : 29996 (bsolo) R 29994 29996 28116 0 -1 4202496 3279 0 0 0 628 1 0 0 25 0 1 0 810127187 23068672 3192 33554432000 134512640 137138936 4291463056 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29996/statm: 5632 3192 192 642 0 4988 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22528
[startup+12.7007 s]
/proc/loadavg: 2.01 2.03 2.00 3/478 29998
/proc/meminfo: memFree=21312832/32951124 swapFree=67057928/67111528
[pid=29996] ppid=29994 vsize=25636 CPUtime=12.69 cores=0,2,4,6
/proc/29996/stat : 29996 (bsolo) R 29994 29996 28116 0 -1 4202496 4074 0 0 0 1267 2 0 0 25 0 1 0 810127187 26251264 3985 33554432000 134512640 137138936 4291463056 18446744073709551615 136521014 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29996/statm: 6409 3985 192 642 0 5765 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25636
[startup+25.5004 s]
/proc/loadavg: 2.01 2.03 2.00 3/478 29998
/proc/meminfo: memFree=21264348/32951124 swapFree=67057928/67111528
[pid=29996] ppid=29994 vsize=26620 CPUtime=25.48 cores=0,2,4,6
/proc/29996/stat : 29996 (bsolo) R 29994 29996 28116 0 -1 4202496 4316 0 0 0 2544 4 0 0 25 0 1 0 810127187 27258880 4227 33554432000 134512640 137138936 4291463056 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29996/statm: 6655 4227 192 642 0 6011 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 26620
[startup+51.1009 s]
/proc/loadavg: 2.14 2.06 2.01 3/478 29999
/proc/meminfo: memFree=21234184/32951124 swapFree=67057928/67111528
[pid=29996] ppid=29994 vsize=32020 CPUtime=51.08 cores=0,2,4,6
/proc/29996/stat : 29996 (bsolo) R 29994 29996 28116 0 -1 4202496 5689 0 0 0 5101 7 0 0 25 0 1 0 810127187 32788480 5581 33554432000 134512640 137138936 4291463056 18446744073709551615 136504154 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29996/statm: 8005 5581 192 642 0 7361 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 32020
[startup+102.318 s]
/proc/loadavg: 2.13 2.06 2.01 3/478 30000
/proc/meminfo: memFree=21134940/32951124 swapFree=67057928/67111528
[pid=29996] ppid=29994 vsize=36668 CPUtime=102.29 cores=0,2,4,6
/proc/29996/stat : 29996 (bsolo) R 29994 29996 28116 0 -1 4202496 6921 0 0 0 10218 11 0 0 25 0 1 0 810127187 37548032 6743 33554432000 134512640 137138936 4291463056 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29996/statm: 9167 6743 192 642 0 8523 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 36668
Solver just ended. Dumping a history of the last processes samples
[startup+127.9 s]
/proc/loadavg: 2.08 2.05 2.01 3/478 30001
/proc/meminfo: memFree=21115448/32951124 swapFree=67057928/67111528
[pid=29996] ppid=29994 vsize=36664 CPUtime=127.88 cores=0,2,4,6
/proc/29996/stat : 29996 (bsolo) R 29994 29996 28116 0 -1 4202496 6922 0 0 0 12774 14 0 0 25 0 1 0 810127187 37543936 6742 33554432000 134512640 137138936 4291463056 18446744073709551615 136502620 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29996/statm: 9166 6742 192 642 0 8522 0
Current children cumulated CPU time (s) 127.88
Current children cumulated vsize (KiB) 36664
[startup+134.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/478 30001
/proc/meminfo: memFree=21116192/32951124 swapFree=67057928/67111528
[pid=29996] ppid=29994 vsize=36648 CPUtime=134.29 cores=0,2,4,6
/proc/29996/stat : 29996 (bsolo) R 29994 29996 28116 0 -1 4202496 6922 0 0 0 13414 15 0 0 25 0 1 0 810127187 37527552 6738 33554432000 134512640 137138936 4291463056 18446744073709551615 134607571 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29996/statm: 9162 6738 192 642 0 8518 0
Current children cumulated CPU time (s) 134.29
Current children cumulated vsize (KiB) 36648
[startup+140.701 s]
/proc/loadavg: 2.07 2.05 2.01 3/478 30001
/proc/meminfo: memFree=21116312/32951124 swapFree=67057928/67111528
[pid=29996] ppid=29994 vsize=36968 CPUtime=140.7 cores=0,2,4,6
/proc/29996/stat : 29996 (bsolo) R 29994 29996 28116 0 -1 4202496 7001 0 0 0 14055 15 0 0 25 0 1 0 810127187 37855232 6817 33554432000 134512640 137138936 4291463056 18446744073709551615 136296998 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29996/statm: 9242 6817 192 642 0 8598 0
Current children cumulated CPU time (s) 140.7
Current children cumulated vsize (KiB) 36968
[startup+143.9 s]
/proc/loadavg: 2.06 2.05 2.01 3/478 30001
/proc/meminfo: memFree=21115816/32951124 swapFree=67057928/67111528
[pid=29996] ppid=29994 vsize=39484 CPUtime=143.89 cores=0,2,4,6
/proc/29996/stat : 29996 (bsolo) R 29994 29996 28116 0 -1 4202496 7608 0 0 0 14373 16 0 0 25 0 1 0 810127187 40431616 7424 33554432000 134512640 137138936 4291463056 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29996/statm: 9871 7424 192 642 0 9227 0
Current children cumulated CPU time (s) 143.89
Current children cumulated vsize (KiB) 39484
[startup+144.7 s]
/proc/loadavg: 2.06 2.05 2.01 3/478 30001
/proc/meminfo: memFree=21113696/32951124 swapFree=67057928/67111528
[pid=29996] ppid=29994 vsize=39484 CPUtime=144.69 cores=0,2,4,6
/proc/29996/stat : 29996 (bsolo) R 29994 29996 28116 0 -1 4202496 7608 0 0 0 14453 16 0 0 25 0 1 0 810127187 40431616 7424 33554432000 134512640 137138936 4291463056 18446744073709551615 134542776 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29996/statm: 9871 7424 192 642 0 9227 0
Current children cumulated CPU time (s) 144.69
Current children cumulated vsize (KiB) 39484
[startup+145.1 s]
/proc/loadavg: 2.06 2.05 2.01 3/478 30001
/proc/meminfo: memFree=21113944/32951124 swapFree=67057928/67111528
[pid=29996] ppid=29994 vsize=39484 CPUtime=145.1 cores=0,2,4,6
/proc/29996/stat : 29996 (bsolo) R 29994 29996 28116 0 -1 4202496 7608 0 0 0 14494 16 0 0 25 0 1 0 810127187 40431616 7424 33554432000 134512640 137138936 4291463056 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29996/statm: 9871 7424 192 642 0 9227 0
Current children cumulated CPU time (s) 145.1
Current children cumulated vsize (KiB) 39484
[startup+145.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/478 30001
/proc/meminfo: memFree=21113944/32951124 swapFree=67057928/67111528
[pid=29996] ppid=29994 vsize=39484 CPUtime=145.28 cores=0,2,4,6
/proc/29996/stat : 29996 (bsolo) R 29994 29996 28116 0 -1 4202496 7608 0 0 0 14512 16 0 0 25 0 1 0 810127187 40431616 7424 33554432000 134512640 137138936 4291463056 18446744073709551615 134542460 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29996/statm: 9871 7424 192 642 0 9227 0
Current children cumulated CPU time (s) 145.28
Current children cumulated vsize (KiB) 39484
Child status: 0
Real time (s): 145.318
CPU time (s): 145.31
CPU user time (s): 145.146
CPU system time (s): 0.163975
CPU usage (%): 99.9941
Max. virtual memory (cumulated for all children) (KiB): 39484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 145.146
system time used= 0.163975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7609
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= 273
runsolver used 0.743886 second user time and 1.51777 second system time
The end
Begin job on node140 at 2011-06-04 10:45:19
IDJOB=3463601
IDBENCH=2084
IDSOLVER=1955
FILE ID=node140/3463601-1307177119
RUNJOBID= node140-1307175312-29220
PBS_JOBID= 13508839
Free space on /tmp= 73640 MiB
SOLVER NAME= bsolo 3.2
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32c3.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3463601-1307177119/watcher-3463601-1307177119 -o /tmp/evaluation-result-3463601-1307177119/solver-3463601-1307177119 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463601-1307177119.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= c4cc2d9119cd599cce3a69b5023baf39
RANDOM SEED=2096804055
node140.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.833
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.833
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 : 5226.14
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.833
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.833
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.77
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.833
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.833
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.74
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.833
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.833
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: 21395556 kB
Buffers: 313084 kB
Cached: 3986820 kB
SwapCached: 6932 kB
Active: 7417060 kB
Inactive: 3803216 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 21395556 kB
SwapTotal: 67111528 kB
SwapFree: 67057928 kB
Dirty: 8412 kB
Writeback: 32 kB
AnonPages: 6918136 kB
Mapped: 38644 kB
Slab: 215220 kB
PageTables: 52152 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 141414324 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= 73636 MiB
End job on node140 at 2011-06-04 10:47:44