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 /var/tmp/evaluation-result-3497647-1307927731/watcher-3497647-1307927731 -o /var/tmp/evaluation-result-3497647-1307927731/solver-3497647-1307927731 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3497647-1307927731.opb --verbosity=0 --format=opb --randomseed=1018082319
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 1.98 1.93 2/174 32206
/proc/meminfo: memFree=2108796/32951124 swapFree=67062556/67111528
[pid=32206] ppid=32204 vsize=7812 CPUtime=0 cores=0,2,4,6
/proc/32206/stat : 32206 (minisatid-gmp) R 32204 32206 31308 0 -1 4202496 440 0 0 0 0 0 0 0 24 0 1 0 983004149 7999488 393 33554432000 4194304 6957856 140736945315408 18446744073709551615 6006344 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32206/statm: 1953 393 251 675 0 1269 0
[startup+0.075124 s]
/proc/loadavg: 2.00 1.98 1.93 2/174 32206
/proc/meminfo: memFree=2108796/32951124 swapFree=67062556/67111528
[pid=32206] ppid=32204 vsize=9520 CPUtime=0.07 cores=0,2,4,6
/proc/32206/stat : 32206 (minisatid-gmp) R 32204 32206 31308 0 -1 4202496 857 0 0 0 7 0 0 0 24 0 1 0 983004149 9748480 810 33554432000 4194304 6957856 140736945315408 18446744073709551615 6085472 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32206/statm: 2380 810 251 675 0 1696 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9520
[startup+0.101081 s]
/proc/loadavg: 2.00 1.98 1.93 2/174 32206
/proc/meminfo: memFree=2108796/32951124 swapFree=67062556/67111528
[pid=32206] ppid=32204 vsize=10180 CPUtime=0.09 cores=0,2,4,6
/proc/32206/stat : 32206 (minisatid-gmp) R 32204 32206 31308 0 -1 4202496 1013 0 0 0 9 0 0 0 24 0 1 0 983004149 10424320 966 33554432000 4194304 6957856 140736945315408 18446744073709551615 5385223 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32206/statm: 2545 966 251 675 0 1861 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10180
[startup+0.301101 s]
/proc/loadavg: 2.00 1.98 1.93 2/174 32206
/proc/meminfo: memFree=2108796/32951124 swapFree=67062556/67111528
[pid=32206] ppid=32204 vsize=14796 CPUtime=0.29 cores=0,2,4,6
/proc/32206/stat : 32206 (minisatid-gmp) R 32204 32206 31308 0 -1 4202496 2188 0 0 0 29 0 0 0 25 0 1 0 983004149 15151104 2141 33554432000 4194304 6957856 140736945315408 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32206/statm: 3699 2141 251 675 0 3015 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14796
[startup+0.701013 s]
/proc/loadavg: 2.00 1.98 1.93 2/174 32206
/proc/meminfo: memFree=2108796/32951124 swapFree=67062556/67111528
[pid=32206] ppid=32204 vsize=24108 CPUtime=0.69 cores=0,2,4,6
/proc/32206/stat : 32206 (minisatid-gmp) R 32204 32206 31308 0 -1 4202496 4521 0 0 0 69 0 0 0 25 0 1 0 983004149 24686592 4474 33554432000 4194304 6957856 140736945315408 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32206/statm: 6027 4474 251 675 0 5343 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24108
[startup+1.50086 s]
/proc/loadavg: 2.00 1.98 1.93 3/175 32207
/proc/meminfo: memFree=2084896/32951124 swapFree=67062556/67111528
[pid=32206] ppid=32204 vsize=42864 CPUtime=1.49 cores=0,2,4,6
/proc/32206/stat : 32206 (minisatid-gmp) R 32204 32206 31308 0 -1 4202496 9204 0 0 0 148 1 0 0 25 0 1 0 983004149 43892736 9157 33554432000 4194304 6957856 140736945315408 18446744073709551615 5923685 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32206/statm: 10716 9157 251 675 0 10032 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42864
[startup+3.10055 s]
/proc/loadavg: 2.00 1.98 1.93 3/175 32207
/proc/meminfo: memFree=2058732/32951124 swapFree=67062556/67111528
[pid=32206] ppid=32204 vsize=80892 CPUtime=3.09 cores=0,2,4,6
/proc/32206/stat : 32206 (minisatid-gmp) R 32204 32206 31308 0 -1 4202496 18706 0 0 0 306 3 0 0 25 0 1 0 983004149 82833408 18659 33554432000 4194304 6957856 140736945315408 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32206/statm: 20223 18660 251 675 0 19539 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 80892
[startup+6.30095 s]
/proc/loadavg: 2.08 2.00 1.94 3/175 32207
/proc/meminfo: memFree=1978836/32951124 swapFree=67062556/67111528
[pid=32206] ppid=32204 vsize=160716 CPUtime=6.29 cores=0,2,4,6
/proc/32206/stat : 32206 (minisatid-gmp) R 32204 32206 31308 0 -1 4202496 38657 0 0 0 623 6 0 0 25 0 1 0 983004149 164573184 38610 33554432000 4194304 6957856 140736945315408 18446744073709551615 5460018 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32206/statm: 40179 38610 251 675 0 39495 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 160716
[startup+12.7007 s]
/proc/loadavg: 2.07 2.00 1.94 3/175 32207
/proc/meminfo: memFree=1822596/32951124 swapFree=67062556/67111528
[pid=32206] ppid=32204 vsize=310856 CPUtime=12.69 cores=0,2,4,6
/proc/32206/stat : 32206 (minisatid-gmp) R 32204 32206 31308 0 -1 4202496 76191 0 0 0 1256 13 0 0 25 0 1 0 983004149 318316544 76144 33554432000 4194304 6957856 140736945315408 18446744073709551615 5497182 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32206/statm: 77714 76144 251 675 0 77030 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 310856
[startup+25.5004 s]
/proc/loadavg: 2.06 2.00 1.94 3/175 32208
/proc/meminfo: memFree=1513192/32951124 swapFree=67062556/67111528
[pid=32206] ppid=32204 vsize=610220 CPUtime=25.49 cores=0,2,4,6
/proc/32206/stat : 32206 (minisatid-gmp) R 32204 32206 31308 0 -1 4202496 151029 0 0 0 2519 30 0 0 25 0 1 0 983004149 624865280 150982 33554432000 4194304 6957856 140736945315408 18446744073709551615 5460018 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32206/statm: 152555 150982 251 675 0 151871 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 610220
[startup+51.1006 s]
/proc/loadavg: 2.04 2.00 1.94 3/175 32208
/proc/meminfo: memFree=92448/32951124 swapFree=67062556/67111528
[pid=32206] ppid=32204 vsize=2890444 CPUtime=51.09 cores=0,2,4,6
/proc/32206/stat : 32206 (minisatid-gmp) R 32204 32206 31308 0 -1 4202496 721487 0 0 0 4989 120 0 0 25 0 1 0 983004149 2959814656 720961 33554432000 4194304 6957856 140736945315408 18446744073709551615 5925415 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32206/statm: 722611 720961 268 675 0 721927 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 2890444
Solver just ended. Dumping a history of the last processes samples
[startup+57.5004 s]
/proc/loadavg: 2.03 2.00 1.94 3/175 32208
/proc/meminfo: memFree=92484/32951124 swapFree=67062556/67111528
[pid=32206] ppid=32204 vsize=4046624 CPUtime=57.49 cores=0,2,4,6
/proc/32206/stat : 32206 (minisatid-gmp) R 32204 32206 31308 0 -1 4202496 1008221 0 0 0 5594 155 0 0 25 0 1 0 983004149 4143742976 1007695 33554432000 4194304 6957856 140736945315408 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32206/statm: 1011656 1007698 268 675 0 1010972 0
Current children cumulated CPU time (s) 57.49
Current children cumulated vsize (KiB) 4046624
[startup+63.9002 s]
/proc/loadavg: 2.03 2.00 1.94 3/175 32209
/proc/meminfo: memFree=93292/32951124 swapFree=67062556/67111528
[pid=32206] ppid=32204 vsize=5245348 CPUtime=63.89 cores=0,2,4,6
/proc/32206/stat : 32206 (minisatid-gmp) R 32204 32206 31308 0 -1 4202496 1308111 0 0 0 6192 197 0 0 25 0 1 0 983004149 5371236352 1307585 33554432000 4194304 6957856 140736945315408 18446744073709551615 4761771 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32206/statm: 1311337 1307585 268 675 0 1310653 0
Current children cumulated CPU time (s) 63.89
Current children cumulated vsize (KiB) 5245348
[startup+67.1067 s]
/proc/loadavg: 2.03 2.00 1.94 3/175 32209
/proc/meminfo: memFree=93352/32951124 swapFree=67062556/67111528
[pid=32206] ppid=32204 vsize=5245348 CPUtime=67.1 cores=0,2,4,6
/proc/32206/stat : 32206 (minisatid-gmp) R 32204 32206 31308 0 -1 4202496 1308112 0 0 0 6513 197 0 0 25 0 1 0 983004149 5371236352 1307586 33554432000 4194304 6957856 140736945315408 18446744073709551615 5918214 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32206/statm: 1311337 1307586 269 675 0 1310653 0
Current children cumulated CPU time (s) 67.1
Current children cumulated vsize (KiB) 5245348
[startup+67.9005 s]
/proc/loadavg: 2.03 2.00 1.94 3/175 32209
/proc/meminfo: memFree=93352/32951124 swapFree=67062556/67111528
[pid=32206] ppid=32204 vsize=5245348 CPUtime=67.89 cores=0,2,4,6
/proc/32206/stat : 32206 (minisatid-gmp) R 32204 32206 31308 0 -1 4202496 1308112 0 0 0 6592 197 0 0 25 0 1 0 983004149 5371236352 1307586 33554432000 4194304 6957856 140736945315408 18446744073709551615 5307675 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32206/statm: 1311337 1307586 269 675 0 1310653 0
Current children cumulated CPU time (s) 67.89
Current children cumulated vsize (KiB) 5245348
[startup+68.3004 s]
/proc/loadavg: 2.02 2.00 1.94 3/175 32209
/proc/meminfo: memFree=93352/32951124 swapFree=67062556/67111528
[pid=32206] ppid=32204 vsize=5245348 CPUtime=68.29 cores=0,2,4,6
/proc/32206/stat : 32206 (minisatid-gmp) R 32204 32206 31308 0 -1 4202496 1308112 0 0 0 6632 197 0 0 25 0 1 0 983004149 5371236352 1307586 33554432000 4194304 6957856 140736945315408 18446744073709551615 5918148 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32206/statm: 1311337 1307586 269 675 0 1310653 0
Current children cumulated CPU time (s) 68.29
Current children cumulated vsize (KiB) 5245348
[startup+68.7004 s]
/proc/loadavg: 2.02 2.00 1.94 3/175 32209
/proc/meminfo: memFree=93352/32951124 swapFree=67062556/67111528
[pid=32206] ppid=32204 vsize=0 CPUtime=68.69 cores=0,2,4,6
/proc/32206/stat : 32206 (minisatid-gmp) R 32204 32206 31308 0 -1 4202500 1308117 0 0 0 6665 204 0 0 25 0 1 0 983004149 0 0 33554432000 0 0 0 0 0 0 0 4096 17571 18446744073709551615 0 0 17 0 0 0 0
/proc/32206/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 68.69
Current children cumulated vsize (KiB) 0
[startup+68.8003 s]
/proc/loadavg: 2.02 2.00 1.94 3/175 32209
/proc/meminfo: memFree=93352/32951124 swapFree=67062556/67111528
[pid=32206] ppid=32204 vsize=0 CPUtime=68.79 cores=0,2,4,6
/proc/32206/stat : 32206 (minisatid-gmp) R 32204 32206 31308 0 -1 4202500 1308117 0 0 0 6665 214 0 0 25 0 1 0 983004149 0 0 33554432000 0 0 0 0 0 0 0 4096 17571 18446744073709551615 0 0 17 0 0 0 0
/proc/32206/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 68.79
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 68.8655
CPU time (s): 68.8635
CPU user time (s): 66.6549
CPU system time (s): 2.20866
CPU usage (%): 99.9971
Max. virtual memory (cumulated for all children) (KiB): 5245348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 66.6549
system time used= 2.20866
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1308117
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= 167
runsolver used 0.100984 second user time and 0.215967 second system time
The end
Begin job on node111 at 2011-06-13 03:15:37
IDJOB=3497647
IDBENCH=2515
IDSOLVER=1990
FILE ID=node111/3497647-1307927731
RUNJOBID= node111-1307919798-31326
PBS_JOBID= 13559668
Free space on /var/tmp= 2700 MiB
SOLVER NAME= MinisatID 2.5.2-gmp
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-rd-rplusc-21.opb
COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3497647-1307927731/watcher-3497647-1307927731 -o /var/tmp/evaluation-result-3497647-1307927731/solver-3497647-1307927731 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3497647-1307927731.opb --verbosity=0 --format=opb --randomseed=1018082319
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 7576b3c58d39cddc5f29deda8f59e316
RANDOM SEED=1018082319
node111.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.849
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.69
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.849
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 : 5428.12
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.849
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.849
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.849
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.849
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.83
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.849
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.67
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.849
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.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 2109348 kB
Buffers: 76796 kB
Cached: 29742900 kB
SwapCached: 11248 kB
Active: 14892308 kB
Inactive: 15012584 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 2109348 kB
SwapTotal: 67111528 kB
SwapFree: 67062556 kB
Dirty: 186536 kB
Writeback: 0 kB
AnonPages: 82956 kB
Mapped: 11492 kB
Slab: 872468 kB
PageTables: 4356 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 246972 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 /var/tmp at the end= 2696 MiB
End job on node111 at 2011-06-13 03:16:46