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-3743869-1338798383/watcher-3743869-1338798383 -o /tmp/evaluation-result-3743869-1338798383/solver-3743869-1338798383 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3743869-1338798383.opb
running on 4 cores: 1,3,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): 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.08 2.06 1.98 3/174 30977
/proc/meminfo: memFree=25312372/32873852 swapFree=6856/6856
[pid=30977] ppid=30975 vsize=234512 CPUtime=0 cores=1,3,5,7
/proc/30977/stat : 30977 (bsolo3.0.17) R 30975 30977 30817 0 -1 4202496 460 0 0 0 0 0 0 0 20 0 1 0 345964295 240140288 397 33554432000 134512640 135840783 4293674432 4293673088 3245351 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30977/statm: 58628 397 327 325 0 2062 0
[startup+0.095978 s]
/proc/loadavg: 2.08 2.06 1.98 3/174 30977
/proc/meminfo: memFree=25312372/32873852 swapFree=6856/6856
[pid=30977] ppid=30975 vsize=241812 CPUtime=0.08 cores=1,3,5,7
/proc/30977/stat : 30977 (bsolo3.0.17) R 30975 30977 30817 0 -1 4202496 3007 0 0 0 8 0 0 0 20 0 1 0 345964295 247615488 2522 33554432000 134512640 135840783 4293674432 4293673088 3245351 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30977/statm: 60454 2522 708 325 0 3888 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 241812
[startup+0.100295 s]
/proc/loadavg: 2.08 2.06 1.98 3/174 30977
/proc/meminfo: memFree=25312372/32873852 swapFree=6856/6856
[pid=30977] ppid=30975 vsize=242096 CPUtime=0.08 cores=1,3,5,7
/proc/30977/stat : 30977 (bsolo3.0.17) R 30975 30977 30817 0 -1 4202496 3095 0 0 0 8 0 0 0 20 0 1 0 345964295 247906304 2610 33554432000 134512640 135840783 4293674432 4293673152 3245351 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30977/statm: 60524 2611 727 325 0 3958 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 242096
[startup+0.300283 s]
/proc/loadavg: 2.08 2.06 1.98 3/174 30977
/proc/meminfo: memFree=25312372/32873852 swapFree=6856/6856
[pid=30977] ppid=30975 vsize=254632 CPUtime=0.29 cores=1,3,5,7
/proc/30977/stat : 30977 (bsolo3.0.17) R 30975 30977 30817 0 -1 4202496 7485 0 0 0 28 1 0 0 20 0 1 0 345964295 260743168 6494 33554432000 134512640 135840783 4293674432 4293673360 3245351 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30977/statm: 63658 6494 1430 325 0 7092 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 254632
[startup+0.700287 s]
/proc/loadavg: 2.08 2.06 1.98 3/174 30977
/proc/meminfo: memFree=25312372/32873852 swapFree=6856/6856
[pid=30977] ppid=30975 vsize=275300 CPUtime=0.69 cores=1,3,5,7
/proc/30977/stat : 30977 (bsolo3.0.17) R 30975 30977 30817 0 -1 4202496 13778 0 0 0 67 2 0 0 20 0 1 0 345964295 281907200 12798 33554432000 134512640 135840783 4293674432 4293673136 3245351 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30977/statm: 68825 12798 2581 325 0 12259 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 275300
[startup+1.50031 s]
/proc/loadavg: 2.08 2.06 1.98 3/175 30978
/proc/meminfo: memFree=25212772/32873852 swapFree=6856/6856
[pid=30977] ppid=30975 vsize=329096 CPUtime=1.48 cores=1,3,5,7
/proc/30977/stat : 30977 (bsolo3.0.17) R 30975 30977 30817 0 -1 4202496 23933 0 0 0 144 4 0 0 20 0 1 0 345964295 336994304 28087 33554432000 134512640 135840783 4293674432 4293552224 134586849 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30977/statm: 82274 28087 4721 325 0 25708 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 329096
[startup+3.10029 s]
/proc/loadavg: 2.08 2.06 1.98 3/175 30978
/proc/meminfo: memFree=25129360/32873852 swapFree=6856/6856
[pid=30977] ppid=30975 vsize=349296 CPUtime=3.09 cores=1,3,5,7
/proc/30977/stat : 30977 (bsolo3.0.17) R 30975 30977 30817 0 -1 4202496 34417 0 0 0 303 6 0 0 20 0 1 0 345964295 357679104 38571 33554432000 134512640 135840783 4293674432 4293673136 3245351 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30977/statm: 87324 38571 8092 325 0 30758 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 349296
[startup+6.3003 s]
/proc/loadavg: 2.15 2.08 1.98 3/175 30978
/proc/meminfo: memFree=24911324/32873852 swapFree=6856/6856
[pid=30977] ppid=30975 vsize=507928 CPUtime=6.29 cores=1,3,5,7
/proc/30977/stat : 30977 (bsolo3.0.17) R 30975 30977 30817 0 -1 4202496 78979 0 0 0 615 14 0 0 20 0 1 0 345964295 520118272 85227 33554432000 134512640 135840783 4293674432 4293673136 3245351 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30977/statm: 126982 85227 15755 325 0 70416 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 507928
[startup+12.7003 s]
/proc/loadavg: 2.14 2.08 1.98 3/175 30978
/proc/meminfo: memFree=24433088/32873852 swapFree=6856/6856
[pid=30977] ppid=30975 vsize=684748 CPUtime=12.69 cores=1,3,5,7
/proc/30977/stat : 30977 (bsolo3.0.17) R 30975 30977 30817 0 -1 4202496 137334 0 0 0 1246 23 0 0 20 0 1 0 345964295 701181952 143582 33554432000 134512640 135840783 4293674432 4293671968 3245351 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30977/statm: 171187 143582 29916 325 0 114621 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 684748
[startup+25.5003 s]
/proc/loadavg: 2.11 2.07 1.98 3/175 30978
/proc/meminfo: memFree=24095732/32873852 swapFree=6856/6856
[pid=30977] ppid=30975 vsize=897004 CPUtime=25.48 cores=1,3,5,7
/proc/30977/stat : 30977 (bsolo3.0.17) R 30975 30977 30817 0 -1 4202496 242379 0 0 0 2460 88 0 0 20 0 1 0 345964295 918532096 218675 33554432000 134512640 135840783 4293674432 4293673520 3245351 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30977/statm: 224251 218679 340 325 0 223187 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 897004
[startup+51.1003 s]
/proc/loadavg: 2.84 2.24 2.04 2/177 30980
/proc/meminfo: memFree=21468060/32873852 swapFree=6856/6856
[pid=30977] ppid=30975 vsize=1163100 CPUtime=27.74 cores=1,3,5,7
/proc/30977/stat : 30977 (bsolo3.0.17) S 30975 30977 30817 0 -1 4204032 307335 0 0 0 2546 228 0 0 20 0 1 0 345964295 1191014400 285216 33554432000 134512640 135840783 4293674432 4269668816 134566874 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/30977/statm: 290775 285216 344 325 0 289711 0
Current children cumulated CPU time (s) 27.74
Current children cumulated vsize (KiB) 1163100
heavy processes:
%CPU=17 pid=30979 uid=0 cmd=
Solver just ended. Dumping a history of the last processes samples
[startup+57.5003 s]
/proc/loadavg: 2.94 2.27 2.05 3/177 30980
/proc/meminfo: memFree=21468432/32873852 swapFree=6856/6856
[pid=30977] ppid=30975 vsize=1163100 CPUtime=27.74 cores=1,3,5,7
/proc/30977/stat : 30977 (bsolo3.0.17) S 30975 30977 30817 0 -1 4204032 307335 0 0 0 2546 228 0 0 20 0 1 0 345964295 1191014400 285216 33554432000 134512640 135840783 4293674432 4269668816 134566874 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/30977/statm: 290775 285216 344 325 0 289711 0
Current children cumulated CPU time (s) 27.74
Current children cumulated vsize (KiB) 1163100
[startup+59.1003 s]
/proc/loadavg: 2.94 2.27 2.05 2/177 30980
/proc/meminfo: memFree=21468432/32873852 swapFree=6856/6856
[pid=30977] ppid=30975 vsize=1163100 CPUtime=27.74 cores=1,3,5,7
/proc/30977/stat : 30977 (bsolo3.0.17) S 30975 30977 30817 0 -1 4204032 307335 0 0 0 2546 228 0 0 20 0 1 0 345964295 1191014400 285216 33554432000 134512640 135840783 4293674432 4269668816 134566874 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/30977/statm: 290775 285216 344 325 0 289711 0
Current children cumulated CPU time (s) 27.74
Current children cumulated vsize (KiB) 1163100
[startup+60.7003 s]
/proc/loadavg: 3.10 2.32 2.07 2/177 30980
/proc/meminfo: memFree=21468664/32873852 swapFree=6856/6856
[pid=30977] ppid=30975 vsize=1163100 CPUtime=27.74 cores=1,3,5,7
/proc/30977/stat : 30977 (bsolo3.0.17) S 30975 30977 30817 0 -1 4204032 307335 0 0 0 2546 228 0 0 20 0 1 0 345964295 1191014400 285216 33554432000 134512640 135840783 4293674432 4269668816 134566874 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/30977/statm: 290775 285216 344 325 0 289711 0
Current children cumulated CPU time (s) 27.74
Current children cumulated vsize (KiB) 1163100
[startup+61.1003 s]
/proc/loadavg: 3.10 2.32 2.07 2/177 30980
/proc/meminfo: memFree=21468664/32873852 swapFree=6856/6856
[pid=30977] ppid=30975 vsize=1163100 CPUtime=27.74 cores=1,3,5,7
/proc/30977/stat : 30977 (bsolo3.0.17) S 30975 30977 30817 0 -1 4204032 307335 0 0 0 2546 228 0 0 20 0 1 0 345964295 1191014400 285216 33554432000 134512640 135840783 4293674432 4269668816 134566874 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/30977/statm: 290775 285216 344 325 0 289711 0
Current children cumulated CPU time (s) 27.74
Current children cumulated vsize (KiB) 1163100
[startup+61.3003 s]
/proc/loadavg: 3.10 2.32 2.07 2/177 30980
/proc/meminfo: memFree=21468664/32873852 swapFree=6856/6856
[pid=30977] ppid=30975 vsize=1163100 CPUtime=27.74 cores=1,3,5,7
/proc/30977/stat : 30977 (bsolo3.0.17) S 30975 30977 30817 0 -1 4204032 307335 0 0 0 2546 228 0 0 20 0 1 0 345964295 1191014400 285216 33554432000 134512640 135840783 4293674432 4269668816 134566874 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/30977/statm: 290775 285216 344 325 0 289711 0
Current children cumulated CPU time (s) 27.74
Current children cumulated vsize (KiB) 1163100
Child ended because it received signal 11 (SIGSEGV)
Child dumped core
Real time (s): 61.3752
CPU time (s): 27.8138
CPU user time (s): 25.4661
CPU system time (s): 2.34764
CPU usage (%): 45.3176
Max. virtual memory (cumulated for all children) (KiB): 1163100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.4661
system time used= 2.34764
maximum resident set size= 1148816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 307335
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= 252998
involuntary context switches= 30
runsolver used 0.109983 second user time and 0.239963 second system time
The end
Begin job on node129 at 2012-06-04 10:26:28
IDJOB=3743869
IDBENCH=92640
IDSOLVER=2318
FILE ID=node129/3743869-1338798383
RUNJOBID= node129-1338796573-30834
PBS_JOBID= 14636860
Free space on /tmp= 70164 MiB
SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_1_mh.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3743869-1338798383/watcher-3743869-1338798383 -o /tmp/evaluation-result-3743869-1338798383/solver-3743869-1338798383 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3743869-1338798383.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 1ab6633942d0dec66d4a4598d6fd88a7
RANDOM SEED=656625233
node129.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011
/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.957
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
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.957
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
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.957
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
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.957
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
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.957
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.90
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
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.957
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.92
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
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.957
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.90
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
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.957
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.90
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32873852 kB
MemFree: 25313504 kB
Buffers: 480292 kB
Cached: 6074644 kB
SwapCached: 0 kB
Active: 3082452 kB
Inactive: 3575128 kB
Active(anon): 94428 kB
Inactive(anon): 10748 kB
Active(file): 2988024 kB
Inactive(file): 3564380 kB
Unevictable: 6856 kB
Mlocked: 6856 kB
SwapTotal: 67108856 kB
SwapFree: 67108856 kB
Dirty: 335108 kB
Writeback: 0 kB
AnonPages: 109704 kB
Mapped: 34116 kB
Shmem: 204 kB
Slab: 764040 kB
SReclaimable: 202172 kB
SUnreclaim: 561868 kB
KernelStack: 1416 kB
PageTables: 4020 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83545780 kB
Committed_AS: 218468 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 346360 kB
VmallocChunk: 34341988004 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4096 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 7872 kB
DirectMap2M: 33538048 kB
Free space on /tmp at the end= 69104 MiB
End job on node129 at 2012-06-04 10:27:30