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-3741464-1338779106/watcher-3741464-1338779106 -o /tmp/evaluation-result-3741464-1338779106/solver-3741464-1338779106 -C 1800 -W 1900 -M 15500 pbclasp instance-3741464-1338779106.opb HOME/temp
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.01 2.00 1.96 3/177 7027
/proc/meminfo: memFree=28131812/32873852 swapFree=7624/7624
[pid=7027] ppid=7025 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/7027/stat : 7027 (pbclasp) D 7025 7027 5924 0 -1 4202496 431 0 0 0 0 0 0 0 20 0 1 0 344036089 26071040 361 33554432000 4194304 4198148 140735270454768 140735270452216 252263087797 0 0 4224 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/7027/statm: 6365 361 277 1 0 160 0
[startup+0.081955 s]
/proc/loadavg: 2.01 2.00 1.96 3/177 7027
/proc/meminfo: memFree=28131812/32873852 swapFree=7624/7624
[pid=7027] ppid=7025 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/7027/stat : 7027 (pbclasp) S 7025 7027 5924 0 -1 4202496 606 0 0 0 0 0 0 0 20 0 1 0 344036089 26357760 520 33554432000 4194304 4198148 140735270454768 140735270453656 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7027/statm: 6435 520 368 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.100213 s]
/proc/loadavg: 2.01 2.00 1.96 3/177 7027
/proc/meminfo: memFree=28131812/32873852 swapFree=7624/7624
[pid=7027] ppid=7025 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/7027/stat : 7027 (pbclasp) S 7025 7027 5924 0 -1 4202496 606 0 0 0 0 0 0 0 20 0 1 0 344036089 26357760 520 33554432000 4194304 4198148 140735270454768 140735270453656 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7027/statm: 6435 520 368 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.300175 s]
/proc/loadavg: 2.01 2.00 1.96 3/177 7027
/proc/meminfo: memFree=28131812/32873852 swapFree=7624/7624
[pid=7027] ppid=7025 vsize=25740 CPUtime=0.23 cores=1,3,5,7
/proc/7027/stat : 7027 (pbclasp) S 7025 7027 5924 0 -1 4202496 686 2089 0 0 0 0 23 0 20 0 1 0 344036089 26357760 539 33554432000 4194304 4198148 140735270454768 140735270453696 252266475550 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7027/statm: 6435 539 387 1 0 230 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 25740
[startup+0.700173 s]
/proc/loadavg: 2.01 2.00 1.96 3/177 7027
/proc/meminfo: memFree=28131812/32873852 swapFree=7624/7624
[pid=7027] ppid=7025 vsize=25740 CPUtime=0.23 cores=1,3,5,7
/proc/7027/stat : 7027 (pbclasp) S 7025 7027 5924 0 -1 4202496 686 2089 0 0 0 0 23 0 20 0 1 0 344036089 26357760 539 33554432000 4194304 4198148 140735270454768 140735270453696 252266475550 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7027/statm: 6435 539 387 1 0 230 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 25740
[startup+1.50025 s]
/proc/loadavg: 2.01 2.00 1.96 3/179 7037
/proc/meminfo: memFree=28039240/32873852 swapFree=7624/7624
[pid=7027] ppid=7025 vsize=25740 CPUtime=0.23 cores=1,3,5,7
/proc/7027/stat : 7027 (pbclasp) S 7025 7027 5924 0 -1 4202496 686 2089 0 0 0 0 23 0 20 0 1 0 344036089 26357760 539 33554432000 4194304 4198148 140735270454768 140735270453696 252266475550 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7027/statm: 6435 539 387 1 0 230 0
[pid=7035] ppid=7027 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7035/stat : 7035 (sh) S 7027 7027 5924 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 344036114 9367552 264 33554432000 4194304 5064252 140733993642256 140733993640512 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7035/statm: 2287 264 223 213 0 72 0
[pid=7037] ppid=7035 vsize=7428 CPUtime=1.23 cores=1,3,5,7
/proc/7037/stat : 7037 (clasp-1.0) R 7035 7027 5924 0 -1 4202496 1473 0 0 0 123 0 0 0 20 0 1 0 344036114 7606272 1331 33554432000 134512640 134847168 4287594864 4287593504 134782662 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7037/statm: 1857 1331 270 82 0 1098 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 42316
[startup+3.10028 s]
/proc/loadavg: 2.01 2.00 1.96 3/179 7037
/proc/meminfo: memFree=27998116/32873852 swapFree=7624/7624
[pid=7027] ppid=7025 vsize=25740 CPUtime=0.23 cores=1,3,5,7
/proc/7027/stat : 7027 (pbclasp) S 7025 7027 5924 0 -1 4202496 686 2089 0 0 0 0 23 0 20 0 1 0 344036089 26357760 539 33554432000 4194304 4198148 140735270454768 140735270453696 252266475550 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7027/statm: 6435 539 387 1 0 230 0
[pid=7035] ppid=7027 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7035/stat : 7035 (sh) S 7027 7027 5924 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 344036114 9367552 264 33554432000 4194304 5064252 140733993642256 140733993640512 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7035/statm: 2287 264 223 213 0 72 0
[pid=7037] ppid=7035 vsize=7896 CPUtime=2.58 cores=1,3,5,7
/proc/7037/stat : 7037 (clasp-1.0) D 7035 7027 5924 0 -1 4202496 1594 0 0 0 258 0 0 0 20 0 1 0 344036114 8085504 1452 33554432000 134512640 134847168 4287594864 4287593456 3531824 0 0 4096 0 18446744071580543392 0 0 17 1 0 0 0 0 0
/proc/7037/statm: 1974 1452 270 82 0 1215 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 42784
Solver just ended. Dumping a history of the last processes samples
[startup+4.00025 s]
/proc/loadavg: 2.01 2.00 1.96 3/179 7045
/proc/meminfo: memFree=27998712/32873852 swapFree=7624/7624
[pid=7027] ppid=7025 vsize=25740 CPUtime=2.83 cores=1,3,5,7
/proc/7027/stat : 7027 (pbclasp) S 7025 7027 5924 0 -1 4202496 807 5640 0 0 0 0 282 1 20 0 1 0 344036089 26357760 545 33554432000 4194304 4198148 140735270454768 140735270453696 252266475550 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7027/statm: 6435 545 387 1 0 230 0
[pid=7043] ppid=7027 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7043/stat : 7043 (sh) S 7027 7027 5924 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 344036419 9367552 264 33554432000 4194304 5064252 140734206089040 140734206087296 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7043/statm: 2287 264 223 213 0 72 0
[pid=7045] ppid=7043 vsize=7428 CPUtime=0.69 cores=1,3,5,7
/proc/7045/stat : 7045 (clasp-1.0) R 7043 7027 5924 0 -1 4202496 1460 0 0 0 69 0 0 0 20 0 1 0 344036419 7606272 1318 33554432000 134512640 134847168 4291340480 4291339120 134782377 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7045/statm: 1857 1318 270 82 0 1098 0
Current children cumulated CPU time (s) 3.52
Current children cumulated vsize (KiB) 42316
[startup+4.80025 s]
/proc/loadavg: 2.01 2.00 1.96 3/179 7045
/proc/meminfo: memFree=27998208/32873852 swapFree=7624/7624
[pid=7027] ppid=7025 vsize=25740 CPUtime=2.83 cores=1,3,5,7
/proc/7027/stat : 7027 (pbclasp) S 7025 7027 5924 0 -1 4202496 807 5640 0 0 0 0 282 1 20 0 1 0 344036089 26357760 545 33554432000 4194304 4198148 140735270454768 140735270453696 252266475550 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7027/statm: 6435 545 387 1 0 230 0
[pid=7043] ppid=7027 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7043/stat : 7043 (sh) S 7027 7027 5924 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 344036419 9367552 264 33554432000 4194304 5064252 140734206089040 140734206087296 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7043/statm: 2287 264 223 213 0 72 0
[pid=7045] ppid=7043 vsize=7660 CPUtime=1.49 cores=1,3,5,7
/proc/7045/stat : 7045 (clasp-1.0) R 7043 7027 5924 0 -1 4202496 1535 0 0 0 149 0 0 0 20 0 1 0 344036419 7843840 1393 33554432000 134512640 134847168 4291340480 4291339120 134782705 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7045/statm: 1915 1393 270 82 0 1156 0
Current children cumulated CPU time (s) 4.32
Current children cumulated vsize (KiB) 42548
[startup+5.20025 s]
/proc/loadavg: 2.01 2.00 1.96 3/179 7045
/proc/meminfo: memFree=27998208/32873852 swapFree=7624/7624
[pid=7027] ppid=7025 vsize=25740 CPUtime=2.83 cores=1,3,5,7
/proc/7027/stat : 7027 (pbclasp) S 7025 7027 5924 0 -1 4202496 807 5640 0 0 0 0 282 1 20 0 1 0 344036089 26357760 545 33554432000 4194304 4198148 140735270454768 140735270453696 252266475550 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7027/statm: 6435 545 387 1 0 230 0
[pid=7043] ppid=7027 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7043/stat : 7043 (sh) S 7027 7027 5924 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 344036419 9367552 264 33554432000 4194304 5064252 140734206089040 140734206087296 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7043/statm: 2287 264 223 213 0 72 0
[pid=7045] ppid=7043 vsize=7780 CPUtime=1.89 cores=1,3,5,7
/proc/7045/stat : 7045 (clasp-1.0) R 7043 7027 5924 0 -1 4202496 1557 0 0 0 189 0 0 0 20 0 1 0 344036419 7966720 1415 33554432000 134512640 134847168 4291340480 4291339200 134741475 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7045/statm: 1945 1415 270 82 0 1186 0
Current children cumulated CPU time (s) 4.72
Current children cumulated vsize (KiB) 42668
Child status: 0
Real time (s): 5.24009
CPU time (s): 4.78727
CPU user time (s): 4.76028
CPU system time (s): 0.026995
CPU usage (%): 91.3586
Max. virtual memory (cumulated for all children) (KiB): 42784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.76028
system time used= 0.026995
maximum resident set size= 5888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8983
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 199
involuntary context switches= 32
runsolver used 0.002999 second user time and 0.032994 second system time
The end
Begin job on node131 at 2012-06-04 05:05:06
IDJOB=3741464
IDBENCH=89863
IDSOLVER=2317
FILE ID=node131/3741464-1338779106
RUNJOBID= node131-1338774007-5941
PBS_JOBID= 14636826
Free space on /tmp= 71340 MiB
SOLVER NAME= PB07: PB-clasp 2007-04-10
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-bnatt400.opb
COMMAND LINE= pbclasp BENCHNAMENOPATH TMPDIR/temp
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741464-1338779106/watcher-3741464-1338779106 -o /tmp/evaluation-result-3741464-1338779106/solver-3741464-1338779106 -C 1800 -W 1900 -M 15500 pbclasp instance-3741464-1338779106.opb HOME/temp
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 536d3737b2ccaa17327217b5dd111990
RANDOM SEED=970804372
node131.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.805
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.61
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.805
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.805
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.805
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.805
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.91
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.805
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.91
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.805
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.92
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.805
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.92
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32873852 kB
MemFree: 28132572 kB
Buffers: 569284 kB
Cached: 3215344 kB
SwapCached: 2348 kB
Active: 1595384 kB
Inactive: 2276224 kB
Active(anon): 83668 kB
Inactive(anon): 3664 kB
Active(file): 1511716 kB
Inactive(file): 2272560 kB
Unevictable: 7624 kB
Mlocked: 7624 kB
SwapTotal: 67108856 kB
SwapFree: 67099088 kB
Dirty: 24552 kB
Writeback: 0 kB
AnonPages: 91540 kB
Mapped: 16120 kB
Shmem: 0 kB
Slab: 730368 kB
SReclaimable: 172576 kB
SUnreclaim: 557792 kB
KernelStack: 1464 kB
PageTables: 4352 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83545780 kB
Committed_AS: 208400 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 346360 kB
VmallocChunk: 34341988004 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
CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3741464-1338779106.opb
Free space on /tmp at the end= 71340 MiB
End job on node131 at 2012-06-04 05:05:12