runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3495973-1307934227/watcher-3495973-1307934227 -o /tmp/evaluation-result-3495973-1307934227/solver-3495973-1307934227 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3495973-1307934227.opb --verbosity=0 --format=opb --randomseed=1992040561
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.00 2.00 2.00 2/177 8059
/proc/meminfo: memFree=4051576/32951124 swapFree=67050916/67111528
[pid=8059] ppid=8057 vsize=7804 CPUtime=0 cores=0,2,4,6
/proc/8059/stat : 8059 (minisatid-gmp) R 8057 8059 4419 0 -1 4202496 441 0 0 0 0 0 0 0 25 0 1 0 885838932 7991296 394 33554432000 4194304 6957856 140736798784192 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/8059/statm: 1951 394 250 675 0 1267 0
[startup+0.029479 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 8059
/proc/meminfo: memFree=4051576/32951124 swapFree=67050916/67111528
[pid=8059] ppid=8057 vsize=10060 CPUtime=0.02 cores=0,2,4,6
/proc/8059/stat : 8059 (minisatid-gmp) R 8057 8059 4419 0 -1 4202496 993 0 0 0 2 0 0 0 25 0 1 0 885838932 10301440 946 33554432000 4194304 6957856 140736798784192 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/8059/statm: 2515 947 250 675 0 1831 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10060
[startup+0.100461 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 8059
/proc/meminfo: memFree=4051576/32951124 swapFree=67050916/67111528
[pid=8059] ppid=8057 vsize=15316 CPUtime=0.09 cores=0,2,4,6
/proc/8059/stat : 8059 (minisatid-gmp) R 8057 8059 4419 0 -1 4202496 2299 0 0 0 9 0 0 0 25 0 1 0 885838932 15683584 2252 33554432000 4194304 6957856 140736798784192 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/8059/statm: 3829 2253 250 675 0 3145 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15316
[startup+0.300442 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 8059
/proc/meminfo: memFree=4051576/32951124 swapFree=67050916/67111528
[pid=8059] ppid=8057 vsize=30772 CPUtime=0.29 cores=0,2,4,6
/proc/8059/stat : 8059 (minisatid-gmp) R 8057 8059 4419 0 -1 4202496 6201 0 0 0 29 0 0 0 25 0 1 0 885838932 31510528 6124 33554432000 4194304 6957856 140736798784192 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/8059/statm: 7693 6125 266 675 0 7009 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30772
[startup+0.700393 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 8059
/proc/meminfo: memFree=4051576/32951124 swapFree=67050916/67111528
[pid=8059] ppid=8057 vsize=72216 CPUtime=0.69 cores=0,2,4,6
/proc/8059/stat : 8059 (minisatid-gmp) R 8057 8059 4419 0 -1 4202496 16622 0 0 0 68 1 0 0 25 0 1 0 885838932 73949184 16480 33554432000 4194304 6957856 140736798784192 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/8059/statm: 18054 16482 266 675 0 17370 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 72216
[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8060
/proc/meminfo: memFree=3964924/32951124 swapFree=67050916/67111528
[pid=8059] ppid=8057 vsize=94080 CPUtime=1.49 cores=0,2,4,6
/proc/8059/stat : 8059 (minisatid-gmp) R 8057 8059 4419 0 -1 4202496 22098 0 0 0 147 2 0 0 25 0 1 0 885838932 96337920 21955 33554432000 4194304 6957856 140736798784192 18446744073709551615 5312973 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/8059/statm: 23520 21955 276 675 0 22836 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 94080
[startup+3.10096 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8060
/proc/meminfo: memFree=3963936/32951124 swapFree=67050916/67111528
[pid=8059] ppid=8057 vsize=94080 CPUtime=3.09 cores=0,2,4,6
/proc/8059/stat : 8059 (minisatid-gmp) R 8057 8059 4419 0 -1 4202496 22540 0 0 0 307 2 0 0 25 0 1 0 885838932 96337920 22389 33554432000 4194304 6957856 140736798784192 18446744073709551615 5918143 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/8059/statm: 23520 22389 283 675 0 22836 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 94080
[startup+6.30036 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8060
/proc/meminfo: memFree=3960392/32951124 swapFree=67050916/67111528
[pid=8059] ppid=8057 vsize=95188 CPUtime=6.29 cores=0,2,4,6
/proc/8059/stat : 8059 (minisatid-gmp) R 8057 8059 4419 0 -1 4202496 24231 0 0 0 627 2 0 0 25 0 1 0 885838932 97472512 23219 33554432000 4194304 6957856 140736798784192 18446744073709551615 4638387 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/8059/statm: 23797 23219 286 675 0 23113 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 95188
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8060
/proc/meminfo: memFree=3956676/32951124 swapFree=67050916/67111528
[pid=8059] ppid=8057 vsize=97024 CPUtime=12.69 cores=0,2,4,6
/proc/8059/stat : 8059 (minisatid-gmp) R 8057 8059 4419 0 -1 4202496 24782 0 0 0 1267 2 0 0 25 0 1 0 885838932 99352576 23767 33554432000 4194304 6957856 140736798784192 18446744073709551615 4632183 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/8059/statm: 24256 23767 286 675 0 23572 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 97024
[startup+25.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8060
/proc/meminfo: memFree=3955176/32951124 swapFree=67050916/67111528
[pid=8059] ppid=8057 vsize=99728 CPUtime=25.49 cores=0,2,4,6
/proc/8059/stat : 8059 (minisatid-gmp) R 8057 8059 4419 0 -1 4202496 25178 0 0 0 2547 2 0 0 25 0 1 0 885838932 102121472 24161 33554432000 4194304 6957856 140736798784192 18446744073709551615 5387580 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/8059/statm: 24932 24161 286 675 0 24248 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 99728
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8061
/proc/meminfo: memFree=3950172/32951124 swapFree=67050916/67111528
[pid=8059] ppid=8057 vsize=105128 CPUtime=51.09 cores=0,2,4,6
/proc/8059/stat : 8059 (minisatid-gmp) R 8057 8059 4419 0 -1 4202496 29948 0 0 0 5106 3 0 0 25 0 1 0 885838932 107651072 25297 33554432000 4194304 6957856 140736798784192 18446744073709551615 5922313 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/8059/statm: 26282 25297 286 675 0 25598 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 105128
Solver just ended. Dumping a history of the last processes samples
[startup+76.7008 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8062
/proc/meminfo: memFree=3946304/32951124 swapFree=67050916/67111528
[pid=8059] ppid=8057 vsize=111136 CPUtime=76.69 cores=0,2,4,6
/proc/8059/stat : 8059 (minisatid-gmp) R 8057 8059 4419 0 -1 4202496 30981 0 0 0 7666 3 0 0 25 0 1 0 885838932 113803264 26316 33554432000 4194304 6957856 140736798784192 18446744073709551615 5314037 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/8059/statm: 27784 26316 286 675 0 27100 0
Current children cumulated CPU time (s) 76.69
Current children cumulated vsize (KiB) 111136
[startup+83.1007 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8062
/proc/meminfo: memFree=3945556/32951124 swapFree=67050916/67111528
[pid=8059] ppid=8057 vsize=111136 CPUtime=83.09 cores=0,2,4,6
/proc/8059/stat : 8059 (minisatid-gmp) R 8057 8059 4419 0 -1 4202496 31080 0 0 0 8306 3 0 0 25 0 1 0 885838932 113803264 26415 33554432000 4194304 6957856 140736798784192 18446744073709551615 4452896 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/8059/statm: 27784 26415 286 675 0 27100 0
Current children cumulated CPU time (s) 83.09
Current children cumulated vsize (KiB) 111136
[startup+86.3011 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8062
/proc/meminfo: memFree=3955720/32951124 swapFree=67050916/67111528
[pid=8059] ppid=8057 vsize=99688 CPUtime=86.29 cores=0,2,4,6
/proc/8059/stat : 8059 (minisatid-gmp) R 8057 8059 4419 0 -1 4202496 31774 0 0 0 8626 3 0 0 25 0 1 0 885838932 102080512 24085 33554432000 4194304 6957856 140736798784192 18446744073709551615 5314160 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/8059/statm: 24922 24085 286 675 0 24238 0
Current children cumulated CPU time (s) 86.29
Current children cumulated vsize (KiB) 99688
[startup+89.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8062
/proc/meminfo: memFree=3948900/32951124 swapFree=67050916/67111528
[pid=8059] ppid=8057 vsize=106784 CPUtime=89.5 cores=0,2,4,6
/proc/8059/stat : 8059 (minisatid-gmp) R 8057 8059 4419 0 -1 4202496 33469 0 0 0 8946 4 0 0 25 0 1 0 885838932 109346816 25758 33554432000 4194304 6957856 140736798784192 18446744073709551615 5311741 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/8059/statm: 26696 25758 286 675 0 26012 0
Current children cumulated CPU time (s) 89.5
Current children cumulated vsize (KiB) 106784
[startup+90.3004 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8062
/proc/meminfo: memFree=3948156/32951124 swapFree=67050916/67111528
[pid=8059] ppid=8057 vsize=106784 CPUtime=90.3 cores=0,2,4,6
/proc/8059/stat : 8059 (minisatid-gmp) R 8057 8059 4419 0 -1 4202496 33469 0 0 0 9026 4 0 0 25 0 1 0 885838932 109346816 25758 33554432000 4194304 6957856 140736798784192 18446744073709551615 5929002 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/8059/statm: 26696 25758 286 675 0 26012 0
Current children cumulated CPU time (s) 90.3
Current children cumulated vsize (KiB) 106784
[startup+90.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8062
/proc/meminfo: memFree=3948156/32951124 swapFree=67050916/67111528
[pid=8059] ppid=8057 vsize=106784 CPUtime=90.7 cores=0,2,4,6
/proc/8059/stat : 8059 (minisatid-gmp) R 8057 8059 4419 0 -1 4202496 33469 0 0 0 9066 4 0 0 25 0 1 0 885838932 109346816 25758 33554432000 4194304 6957856 140736798784192 18446744073709551615 5922165 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/8059/statm: 26696 25758 286 675 0 26012 0
Current children cumulated CPU time (s) 90.7
Current children cumulated vsize (KiB) 106784
[startup+91.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8062
/proc/meminfo: memFree=3948156/32951124 swapFree=67050916/67111528
[pid=8059] ppid=8057 vsize=106784 CPUtime=91.1 cores=0,2,4,6
/proc/8059/stat : 8059 (minisatid-gmp) R 8057 8059 4419 0 -1 4202496 33469 0 0 0 9106 4 0 0 25 0 1 0 885838932 109346816 25758 33554432000 4194304 6957856 140736798784192 18446744073709551615 5929248 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/8059/statm: 26696 25758 286 675 0 26012 0
Current children cumulated CPU time (s) 91.1
Current children cumulated vsize (KiB) 106784
Child status: 10
Real time (s): 91.1564
CPU time (s): 91.1571
CPU user time (s): 91.1111
CPU system time (s): 0.045993
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 111136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 91.1111
system time used= 0.045993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33472
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= 126
runsolver used 0.12898 second user time and 0.294955 second system time
The end
Begin job on node146 at 2011-06-13 05:03:47
IDJOB=3495973
IDBENCH=71827
IDSOLVER=1990
FILE ID=node146/3495973-1307934227
RUNJOBID= node146-1307919791-4437
PBS_JOBID= 13559633
Free space on /tmp= 6548 MiB
SOLVER NAME= MinisatID 2.5.2-gmp
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-2000opt.opb
COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495973-1307934227/watcher-3495973-1307934227 -o /tmp/evaluation-result-3495973-1307934227/solver-3495973-1307934227 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3495973-1307934227.opb --verbosity=0 --format=opb --randomseed=1992040561
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= d2e31bd1942364d9129e439b3449a3af
RANDOM SEED=1992040561
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: 4052012 kB
Buffers: 115272 kB
Cached: 27683296 kB
SwapCached: 13448 kB
Active: 12889952 kB
Inactive: 15105588 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 4052012 kB
SwapTotal: 67111528 kB
SwapFree: 67050916 kB
Dirty: 4280 kB
Writeback: 0 kB
AnonPages: 195144 kB
Mapped: 10384 kB
Slab: 839700 kB
PageTables: 5424 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 396200 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= 6544 MiB
End job on node146 at 2011-06-13 05:05:18