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-3727317-1338655379/watcher-3727317-1338655379 -o /tmp/evaluation-result-3727317-1338655379/solver-3727317-1338655379 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727317-1338655379.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.02 2.01 1.95 3/171 12711
/proc/meminfo: memFree=28189876/32873844 swapFree=7384/7384
[pid=12711] ppid=12709 vsize=3520 CPUtime=0 cores=0,2,4,6
/proc/12711/stat : 12711 (wbo1.72) R 12709 12711 9951 0 -1 4202496 367 0 0 0 0 0 0 0 20 0 1 0 331663387 3604480 320 33554432000 4194304 5964350 140733714097872 140735312593656 4344563 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/12711/statm: 880 320 170 433 0 388 0
[startup+0.00772205 s]
/proc/loadavg: 2.02 2.01 1.95 3/171 12711
/proc/meminfo: memFree=28189876/32873844 swapFree=7384/7384
[pid=12711] ppid=12709 vsize=3520 CPUtime=0 cores=0,2,4,6
/proc/12711/stat : 12711 (wbo1.72) R 12709 12711 9951 0 -1 4202496 378 0 0 0 0 0 0 0 20 0 1 0 331663387 3604480 331 33554432000 4194304 5964350 140733714097872 140735312593656 4344800 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/12711/statm: 880 331 178 433 0 388 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3520
[startup+0.100155 s]
/proc/loadavg: 2.02 2.01 1.95 3/171 12711
/proc/meminfo: memFree=28189876/32873844 swapFree=7384/7384
[pid=12711] ppid=12709 vsize=84240 CPUtime=0.09 cores=0,2,4,6
/proc/12711/stat : 12711 (wbo1.72) S 12709 12711 9951 0 -1 4202496 1542 0 0 0 9 0 0 0 20 0 2 0 331663387 86261760 1439 33554432000 4194304 5964350 140733714097872 140733714097392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12711/statm: 21060 1439 194 433 0 20624 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84240
[startup+0.300119 s]
/proc/loadavg: 2.02 2.01 1.95 3/171 12711
/proc/meminfo: memFree=28189876/32873844 swapFree=7384/7384
[pid=12711] ppid=12709 vsize=84240 CPUtime=0.29 cores=0,2,4,6
/proc/12711/stat : 12711 (wbo1.72) S 12709 12711 9951 0 -1 4202496 1983 0 0 0 29 0 0 0 20 0 2 0 331663387 86261760 1880 33554432000 4194304 5964350 140733714097872 140733714097392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12711/statm: 21060 1880 194 433 0 20624 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84240
[startup+0.700112 s]
/proc/loadavg: 2.02 2.01 1.95 3/171 12711
/proc/meminfo: memFree=28189876/32873844 swapFree=7384/7384
[pid=12711] ppid=12709 vsize=84240 CPUtime=0.69 cores=0,2,4,6
/proc/12711/stat : 12711 (wbo1.72) S 12709 12711 9951 0 -1 4202496 3154 0 0 0 68 1 0 0 20 0 2 0 331663387 86261760 3051 33554432000 4194304 5964350 140733714097872 140733714097392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12711/statm: 21060 3051 194 433 0 20624 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84240
[startup+1.50022 s]
/proc/loadavg: 2.02 2.01 1.95 3/179 12728
/proc/meminfo: memFree=28161564/32873844 swapFree=7384/7384
[pid=12711] ppid=12709 vsize=84240 CPUtime=1.48 cores=0,2,4,6
/proc/12711/stat : 12711 (wbo1.72) S 12709 12711 9951 0 -1 4202496 4722 0 0 0 147 1 0 0 20 0 2 0 331663387 86261760 4619 33554432000 4194304 5964350 140733714097872 140733714097392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12711/statm: 21060 4619 194 433 0 20624 0
[pid=12711/tid=12713] ppid=12709 vsize=84240 CPUtime=1.46 cores=0,2,4,6
/proc/12711/task/12713/stat : 12713 (wbo1.72) R 12709 12711 9951 0 -1 4202560 3821 0 0 0 146 0 0 0 20 0 2 0 331663388 86261760 4619 33554432000 4194304 5964350 140733714097872 140417361209272 4400007 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 84240
[startup+3.10023 s]
/proc/loadavg: 2.02 2.01 1.95 3/179 12728
/proc/meminfo: memFree=28152372/32873844 swapFree=7384/7384
[pid=12711] ppid=12709 vsize=84240 CPUtime=3.08 cores=0,2,4,6
/proc/12711/stat : 12711 (wbo1.72) S 12709 12711 9951 0 -1 4202496 7206 0 0 0 306 2 0 0 20 0 2 0 331663387 86261760 7103 33554432000 4194304 5964350 140733714097872 140733714097392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12711/statm: 21060 7103 194 433 0 20624 0
[pid=12711/tid=12713] ppid=12709 vsize=84240 CPUtime=3.06 cores=0,2,4,6
/proc/12711/task/12713/stat : 12713 (wbo1.72) R 12709 12711 9951 0 -1 4202560 6305 0 0 0 304 2 0 0 20 0 2 0 331663388 86261760 7103 33554432000 4194304 5964350 140733714097872 140417361209336 4399976 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 84240
[startup+6.30019 s]
/proc/loadavg: 2.02 2.01 1.95 3/179 12728
/proc/meminfo: memFree=28123836/32873844 swapFree=7384/7384
[pid=12711] ppid=12709 vsize=84384 CPUtime=6.26 cores=0,2,4,6
/proc/12711/stat : 12711 (wbo1.72) S 12709 12711 9951 0 -1 4202496 10396 0 0 0 623 3 0 0 20 0 2 0 331663387 86409216 10291 33554432000 4194304 5964350 140733714097872 140733714097392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12711/statm: 21096 10291 194 433 0 20660 0
[pid=12711/tid=12713] ppid=12709 vsize=84384 CPUtime=6.24 cores=0,2,4,6
/proc/12711/task/12713/stat : 12713 (wbo1.72) R 12709 12711 9951 0 -1 4202560 9495 0 0 0 621 3 0 0 20 0 2 0 331663388 86409216 10291 33554432000 4194304 5964350 140733714097872 140417361209336 4400007 0 0 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 84384
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 1.95 3/179 12728
/proc/meminfo: memFree=28104060/32873844 swapFree=7384/7384
[pid=12711] ppid=12709 vsize=84384 CPUtime=12.67 cores=0,2,4,6
/proc/12711/stat : 12711 (wbo1.72) S 12709 12711 9951 0 -1 4202496 11993 0 0 0 1263 4 0 0 20 0 2 0 331663387 86409216 11888 33554432000 4194304 5964350 140733714097872 140733714097392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12711/statm: 21096 11888 194 433 0 20660 0
[pid=12711/tid=12713] ppid=12709 vsize=84384 CPUtime=12.62 cores=0,2,4,6
/proc/12711/task/12713/stat : 12713 (wbo1.72) R 12709 12711 9951 0 -1 4202560 11092 0 0 0 1259 3 0 0 20 0 2 0 331663388 86409216 11888 33554432000 4194304 5964350 140733714097872 140417361209336 4400011 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 84384
Solver just ended. Dumping a history of the last processes samples
[startup+13.5002 s]
/proc/loadavg: 2.02 2.01 1.95 3/179 12728
/proc/meminfo: memFree=28101580/32873844 swapFree=7384/7384
[pid=12711] ppid=12709 vsize=84384 CPUtime=13.47 cores=0,2,4,6
/proc/12711/stat : 12711 (wbo1.72) S 12709 12711 9951 0 -1 4202496 12317 0 0 0 1343 4 0 0 20 0 2 0 331663387 86409216 12212 33554432000 4194304 5964350 140733714097872 140733714097392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12711/statm: 21096 12212 194 433 0 20660 0
[pid=12711/tid=12713] ppid=12709 vsize=84384 CPUtime=13.42 cores=0,2,4,6
/proc/12711/task/12713/stat : 12713 (wbo1.72) R 12709 12711 9951 0 -1 4202560 11416 0 0 0 1339 3 0 0 20 0 2 0 331663388 86409216 12212 33554432000 4194304 5964350 140733714097872 140417361209336 4399989 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 13.47
Current children cumulated vsize (KiB) 84384
[startup+13.9003 s]
/proc/loadavg: 2.02 2.01 1.95 3/179 12728
/proc/meminfo: memFree=28101580/32873844 swapFree=7384/7384
[pid=12711] ppid=12709 vsize=84384 CPUtime=13.86 cores=0,2,4,6
/proc/12711/stat : 12711 (wbo1.72) S 12709 12711 9951 0 -1 4202496 12806 0 0 0 1382 4 0 0 20 0 2 0 331663387 86409216 12701 33554432000 4194304 5964350 140733714097872 140733714097392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12711/statm: 21096 12701 194 433 0 20660 0
[pid=12711/tid=12713] ppid=12709 vsize=84384 CPUtime=13.82 cores=0,2,4,6
/proc/12711/task/12713/stat : 12713 (wbo1.72) R 12709 12711 9951 0 -1 4202560 11905 0 0 0 1378 4 0 0 20 0 2 0 331663388 86409216 12701 33554432000 4194304 5964350 140733714097872 140417361209336 4399998 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 13.86
Current children cumulated vsize (KiB) 84384
[startup+14.3065 s]
/proc/loadavg: 2.02 2.01 1.95 3/179 12728
/proc/meminfo: memFree=28093792/32873844 swapFree=7384/7384
[pid=12711] ppid=12709 vsize=84384 CPUtime=14.27 cores=0,2,4,6
/proc/12711/stat : 12711 (wbo1.72) S 12709 12711 9951 0 -1 4202496 13180 0 0 0 1423 4 0 0 20 0 2 0 331663387 86409216 13075 33554432000 4194304 5964350 140733714097872 140733714097392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12711/statm: 21096 13075 194 433 0 20660 0
[pid=12711/tid=12713] ppid=12709 vsize=84384 CPUtime=14.22 cores=0,2,4,6
/proc/12711/task/12713/stat : 12713 (wbo1.72) R 12709 12711 9951 0 -1 4202560 12279 0 0 0 1418 4 0 0 20 0 2 0 331663388 86409216 13075 33554432000 4194304 5964350 140733714097872 140417361209336 4400439 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 14.27
Current children cumulated vsize (KiB) 84384
Child status: 255
Real time (s): 14.3306
CPU time (s): 14.2788
CPU user time (s): 14.2228
CPU system time (s): 0.055991
CPU usage (%): 99.639
Max. virtual memory (cumulated for all children) (KiB): 84384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.2228
system time used= 0.055991
maximum resident set size= 52364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13196
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= 12
involuntary context switches= 62
runsolver used 0.027995 second user time and 0.070989 second system time
The end
Begin job on node136 at 2012-06-02 18:42:59
IDJOB=3727317
IDBENCH=2045
IDSOLVER=2313
FILE ID=node136/3727317-1338655379
RUNJOBID= node136-1338651778-12486
PBS_JOBID= 14636444
Free space on /tmp= 69824 MiB
SOLVER NAME= wbo 1.72
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-jac3.opb
COMMAND LINE= wbo1.72 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3727317-1338655379/watcher-3727317-1338655379 -o /tmp/evaluation-result-3727317-1338655379/solver-3727317-1338655379 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727317-1338655379.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 05a03b946ede4da21fcf30fd621632f5
RANDOM SEED=1021573327
node136.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 : 2667.247
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 : 5334.49
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 : 2667.247
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 : 2667.247
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.94
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 : 2667.247
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.90
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 : 2667.247
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 : 2667.247
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.90
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 : 2667.247
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.91
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 : 2667.247
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.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32873844 kB
MemFree: 28189380 kB
Buffers: 564164 kB
Cached: 3208380 kB
SwapCached: 20296 kB
Active: 1897592 kB
Inactive: 1903028 kB
Active(anon): 2968 kB
Inactive(anon): 22296 kB
Active(file): 1894624 kB
Inactive(file): 1880732 kB
Unevictable: 7384 kB
Mlocked: 7384 kB
SwapTotal: 67108856 kB
SwapFree: 67083200 kB
Dirty: 5868 kB
Writeback: 0 kB
AnonPages: 10252 kB
Mapped: 9052 kB
Shmem: 0 kB
Slab: 744892 kB
SReclaimable: 186632 kB
SUnreclaim: 558260 kB
KernelStack: 1464 kB
PageTables: 3568 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83545776 kB
Committed_AS: 104568 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 346368 kB
VmallocChunk: 34341987984 kB
HardwareCorrupted: 0 kB
AnonHugePages: 0 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= 69832 MiB
End job on node136 at 2012-06-02 18:43:14