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-3497754-1307931260/watcher-3497754-1307931260 -o /var/tmp/evaluation-result-3497754-1307931260/solver-3497754-1307931260 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3497754-1307931260.opb --verbosity=0 --format=opb --randomseed=459619407
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: 1.99 2.00 2.00 3/177 21169
/proc/meminfo: memFree=4145556/32951124 swapFree=67057920/67111528
[pid=21169] ppid=21167 vsize=7544 CPUtime=0 cores=0,2,4,6
/proc/21169/stat : 21169 (minisatid-gmp) R 21167 21169 17662 0 -1 4202496 370 0 0 0 0 0 0 0 25 0 1 0 885541338 7725056 323 33554432000 4194304 6957856 140733590386224 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/21169/statm: 1886 325 251 675 0 1202 0
[startup+0.0839569 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 21169
/proc/meminfo: memFree=4145556/32951124 swapFree=67057920/67111528
[pid=21169] ppid=21167 vsize=14836 CPUtime=0.07 cores=0,2,4,6
/proc/21169/stat : 21169 (minisatid-gmp) R 21167 21169 17662 0 -1 4202496 2200 0 0 0 7 0 0 0 25 0 1 0 885541338 15192064 2142 33554432000 4194304 6957856 140733590386224 18446744073709551615 5315447 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/21169/statm: 3709 2142 273 675 0 3025 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 14836
[startup+0.10096 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 21169
/proc/meminfo: memFree=4145556/32951124 swapFree=67057920/67111528
[pid=21169] ppid=21167 vsize=14836 CPUtime=0.09 cores=0,2,4,6
/proc/21169/stat : 21169 (minisatid-gmp) R 21167 21169 17662 0 -1 4202496 2204 0 0 0 9 0 0 0 25 0 1 0 885541338 15192064 2146 33554432000 4194304 6957856 140733590386224 18446744073709551615 4869991 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/21169/statm: 3709 2146 274 675 0 3025 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14836
[startup+0.300915 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 21169
/proc/meminfo: memFree=4145556/32951124 swapFree=67057920/67111528
[pid=21169] ppid=21167 vsize=14836 CPUtime=0.29 cores=0,2,4,6
/proc/21169/stat : 21169 (minisatid-gmp) R 21167 21169 17662 0 -1 4202496 2230 0 0 0 29 0 0 0 25 0 1 0 885541338 15192064 2172 33554432000 4194304 6957856 140733590386224 18446744073709551615 5918155 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/21169/statm: 3709 2172 274 675 0 3025 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14836
[startup+0.700849 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 21169
/proc/meminfo: memFree=4145556/32951124 swapFree=67057920/67111528
[pid=21169] ppid=21167 vsize=14836 CPUtime=0.69 cores=0,2,4,6
/proc/21169/stat : 21169 (minisatid-gmp) R 21167 21169 17662 0 -1 4202496 2246 0 0 0 69 0 0 0 25 0 1 0 885541338 15192064 2187 33554432000 4194304 6957856 140733590386224 18446744073709551615 5922131 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/21169/statm: 3709 2187 281 675 0 3025 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14836
[startup+1.50071 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 21171
/proc/meminfo: memFree=4138008/32951124 swapFree=67057920/67111528
[pid=21169] ppid=21167 vsize=14836 CPUtime=1.49 cores=0,2,4,6
/proc/21169/stat : 21169 (minisatid-gmp) R 21167 21169 17662 0 -1 4202496 2311 0 0 0 149 0 0 0 25 0 1 0 885541338 15192064 2252 33554432000 4194304 6957856 140733590386224 18446744073709551615 5934368 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/21169/statm: 3709 2252 281 675 0 3025 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14836
[startup+3.10039 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 21171
/proc/meminfo: memFree=4137140/32951124 swapFree=67057920/67111528
[pid=21169] ppid=21167 vsize=14900 CPUtime=3.09 cores=0,2,4,6
/proc/21169/stat : 21169 (minisatid-gmp) R 21167 21169 17662 0 -1 4202496 2495 0 0 0 309 0 0 0 25 0 1 0 885541338 15257600 2434 33554432000 4194304 6957856 140733590386224 18446744073709551615 5934463 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/21169/statm: 3725 2434 281 675 0 3041 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14900
[startup+6.30087 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 21171
/proc/meminfo: memFree=4135652/32951124 swapFree=67057920/67111528
[pid=21169] ppid=21167 vsize=15012 CPUtime=6.29 cores=0,2,4,6
/proc/21169/stat : 21169 (minisatid-gmp) R 21167 21169 17662 0 -1 4202496 2997 0 0 0 629 0 0 0 25 0 1 0 885541338 15372288 2927 33554432000 4194304 6957856 140733590386224 18446744073709551615 5918004 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/21169/statm: 3753 2927 281 675 0 3069 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15012
[startup+12.7007 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 21171
/proc/meminfo: memFree=4128664/32951124 swapFree=67057920/67111528
[pid=21169] ppid=21167 vsize=22504 CPUtime=12.68 cores=0,2,4,6
/proc/21169/stat : 21169 (minisatid-gmp) R 21167 21169 17662 0 -1 4202496 4613 0 0 0 1268 0 0 0 25 0 1 0 885541338 23044096 4530 33554432000 4194304 6957856 140733590386224 18446744073709551615 5934938 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/21169/statm: 5626 4530 285 675 0 4942 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22504
[startup+25.5005 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 21171
/proc/meminfo: memFree=4126172/32951124 swapFree=67057920/67111528
[pid=21169] ppid=21167 vsize=23464 CPUtime=25.49 cores=0,2,4,6
/proc/21169/stat : 21169 (minisatid-gmp) R 21167 21169 17662 0 -1 4202496 9712 0 0 0 2547 2 0 0 25 0 1 0 885541338 24027136 4913 33554432000 4194304 6957856 140733590386224 18446744073709551615 5314109 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/21169/statm: 5866 4913 286 675 0 5182 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 23464
[startup+51.1009 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 21172
/proc/meminfo: memFree=4112632/32951124 swapFree=67057920/67111528
[pid=21169] ppid=21167 vsize=49580 CPUtime=51.08 cores=0,2,4,6
/proc/21169/stat : 21169 (minisatid-gmp) R 21167 21169 17662 0 -1 4202496 16863 0 0 0 5105 3 0 0 25 0 1 0 885541338 50769920 8326 33554432000 4194304 6957856 140733590386224 18446744073709551615 4847240 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21169/statm: 12395 8326 289 675 0 11711 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 49580
Solver just ended. Dumping a history of the last processes samples
[startup+63.9007 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 21172
/proc/meminfo: memFree=4106056/32951124 swapFree=67057920/67111528
[pid=21169] ppid=21167 vsize=68436 CPUtime=63.89 cores=0,2,4,6
/proc/21169/stat : 21169 (minisatid-gmp) R 21167 21169 17662 0 -1 4202496 18254 0 0 0 6385 4 0 0 25 0 1 0 885541338 70078464 9707 33554432000 4194304 6957856 140733590386224 18446744073709551615 5922184 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21169/statm: 17109 9707 289 675 0 16425 0
Current children cumulated CPU time (s) 63.89
Current children cumulated vsize (KiB) 68436
[startup+67.1061 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 21172
/proc/meminfo: memFree=4105932/32951124 swapFree=67057920/67111528
[pid=21169] ppid=21167 vsize=68436 CPUtime=67.09 cores=0,2,4,6
/proc/21169/stat : 21169 (minisatid-gmp) R 21167 21169 17662 0 -1 4202496 18254 0 0 0 6705 4 0 0 25 0 1 0 885541338 70078464 9707 33554432000 4194304 6957856 140733590386224 18446744073709551615 5934386 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21169/statm: 17109 9707 289 675 0 16425 0
Current children cumulated CPU time (s) 67.09
Current children cumulated vsize (KiB) 68436
[startup+68.7008 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 21172
/proc/meminfo: memFree=4105928/32951124 swapFree=67057920/67111528
[pid=21169] ppid=21167 vsize=68436 CPUtime=68.69 cores=0,2,4,6
/proc/21169/stat : 21169 (minisatid-gmp) R 21167 21169 17662 0 -1 4202496 18254 0 0 0 6865 4 0 0 25 0 1 0 885541338 70078464 9707 33554432000 4194304 6957856 140733590386224 18446744073709551615 4838532 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21169/statm: 17109 9707 289 675 0 16425 0
Current children cumulated CPU time (s) 68.69
Current children cumulated vsize (KiB) 68436
[startup+69.5007 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 21172
/proc/meminfo: memFree=4105928/32951124 swapFree=67057920/67111528
[pid=21169] ppid=21167 vsize=68436 CPUtime=69.49 cores=0,2,4,6
/proc/21169/stat : 21169 (minisatid-gmp) R 21167 21169 17662 0 -1 4202496 18254 0 0 0 6945 4 0 0 25 0 1 0 885541338 70078464 9707 33554432000 4194304 6957856 140733590386224 18446744073709551615 5313084 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21169/statm: 17109 9707 289 675 0 16425 0
Current children cumulated CPU time (s) 69.49
Current children cumulated vsize (KiB) 68436
[startup+69.9006 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 21172
/proc/meminfo: memFree=4105928/32951124 swapFree=67057920/67111528
[pid=21169] ppid=21167 vsize=68436 CPUtime=69.89 cores=0,2,4,6
/proc/21169/stat : 21169 (minisatid-gmp) R 21167 21169 17662 0 -1 4202496 18254 0 0 0 6985 4 0 0 25 0 1 0 885541338 70078464 9707 33554432000 4194304 6957856 140733590386224 18446744073709551615 5932688 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21169/statm: 17109 9707 289 675 0 16425 0
Current children cumulated CPU time (s) 69.89
Current children cumulated vsize (KiB) 68436
[startup+70.1006 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 21172
/proc/meminfo: memFree=4105928/32951124 swapFree=67057920/67111528
[pid=21169] ppid=21167 vsize=68436 CPUtime=70.09 cores=0,2,4,6
/proc/21169/stat : 21169 (minisatid-gmp) R 21167 21169 17662 0 -1 4202496 18254 0 0 0 7005 4 0 0 25 0 1 0 885541338 70078464 9707 33554432000 4194304 6957856 140733590386224 18446744073709551615 5934062 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21169/statm: 17109 9707 289 675 0 16425 0
Current children cumulated CPU time (s) 70.09
Current children cumulated vsize (KiB) 68436
[startup+70.2006 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 21172
/proc/meminfo: memFree=4105928/32951124 swapFree=67057920/67111528
[pid=21169] ppid=21167 vsize=68436 CPUtime=70.19 cores=0,2,4,6
/proc/21169/stat : 21169 (minisatid-gmp) R 21167 21169 17662 0 -1 4202496 18254 0 0 0 7015 4 0 0 25 0 1 0 885541338 70078464 9707 33554432000 4194304 6957856 140733590386224 18446744073709551615 4871490 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21169/statm: 17109 9707 289 675 0 16425 0
Current children cumulated CPU time (s) 70.19
Current children cumulated vsize (KiB) 68436
Child status: 10
Real time (s): 70.2465
CPU time (s): 70.2423
CPU user time (s): 70.1973
CPU system time (s): 0.044993
CPU usage (%): 99.994
Max. virtual memory (cumulated for all children) (KiB): 68436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 70.1973
system time used= 0.044993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18257
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= 468
runsolver used 0.104984 second user time and 0.222966 second system time
The end
Begin job on node140 at 2011-06-13 04:14:20
IDJOB=3497754
IDBENCH=3000
IDSOLVER=1990
FILE ID=node140/3497754-1307931260
RUNJOBID= node140-1307919792-17680
PBS_JOBID= 13559639
Free space on /var/tmp= 2908 MiB
SOLVER NAME= MinisatID 2.5.2-gmp
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=40-sizeP=21-sizeQ=40-289612555.opb
COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3497754-1307931260/watcher-3497754-1307931260 -o /var/tmp/evaluation-result-3497754-1307931260/solver-3497754-1307931260 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3497754-1307931260.opb --verbosity=0 --format=opb --randomseed=459619407
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 9de41f4dfea665c07d07d26677f77e5d
RANDOM SEED=459619407
node140.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.833
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.833
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 : 5226.14
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.833
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.833
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.77
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.833
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.833
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.74
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.833
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.833
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: 4145860 kB
Buffers: 100384 kB
Cached: 27603708 kB
SwapCached: 7476 kB
Active: 13031292 kB
Inactive: 14870984 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 4145860 kB
SwapTotal: 67111528 kB
SwapFree: 67057920 kB
Dirty: 3132 kB
Writeback: 0 kB
AnonPages: 195812 kB
Mapped: 14360 kB
Slab: 838952 kB
PageTables: 5168 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 389848 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= 2904 MiB
End job on node140 at 2011-06-13 04:15:30