runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3463720-1307179050/watcher-3463720-1307179050 -o /tmp/evaluation-result-3463720-1307179050/solver-3463720-1307179050 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463720-1307179050.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.02 2.04 2.00 2/561 5229
/proc/meminfo: memFree=30063728/32950928 swapFree=41528364/67111528
[pid=5229] ppid=5227 vsize=19204 CPUtime=0 cores=1,3,5,7
/proc/5229/stat : 5229 (bsolo) R 5227 5229 3716 0 -1 4202496 454 0 0 0 0 0 0 0 25 0 1 0 829503704 19664896 404 33554432000 134512640 137138936 4287761024 18446744073709551615 135445280 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5229/statm: 4801 404 275 642 0 4157 0
[startup+0.105741 s]
/proc/loadavg: 2.02 2.04 2.00 2/561 5229
/proc/meminfo: memFree=30063728/32950928 swapFree=41528364/67111528
[pid=5229] ppid=5227 vsize=11436 CPUtime=0.1 cores=1,3,5,7
/proc/5229/stat : 5229 (bsolo) R 5227 5229 3716 0 -1 4202496 3104 0 0 0 10 0 0 0 25 0 1 0 829503704 11710464 388 33554432000 134512640 137138936 4287761024 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5229/statm: 2859 389 282 642 0 2215 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11436
[startup+0.200723 s]
/proc/loadavg: 2.02 2.04 2.00 2/561 5229
/proc/meminfo: memFree=30063728/32950928 swapFree=41528364/67111528
[pid=5229] ppid=5227 vsize=11584 CPUtime=0.19 cores=1,3,5,7
/proc/5229/stat : 5229 (bsolo) R 5227 5229 3716 0 -1 4202496 5576 0 0 0 19 0 0 0 25 0 1 0 829503704 11862016 416 33554432000 134512640 137138936 4287761024 18446744073709551615 134769589 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5229/statm: 2896 416 283 642 0 2252 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11584
[startup+0.300707 s]
/proc/loadavg: 2.02 2.04 2.00 2/561 5229
/proc/meminfo: memFree=30063728/32950928 swapFree=41528364/67111528
[pid=5229] ppid=5227 vsize=10900 CPUtime=0.29 cores=1,3,5,7
/proc/5229/stat : 5229 (bsolo) R 5227 5229 3716 0 -1 4202496 8455 0 0 0 28 1 0 0 25 0 1 0 829503704 11161600 392 33554432000 134512640 137138936 4287761024 18446744073709551615 135782995 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5229/statm: 2725 392 287 642 0 2081 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10900
[startup+0.700639 s]
/proc/loadavg: 2.02 2.04 2.00 2/561 5229
/proc/meminfo: memFree=30063728/32950928 swapFree=41528364/67111528
[pid=5229] ppid=5227 vsize=12052 CPUtime=0.69 cores=1,3,5,7
/proc/5229/stat : 5229 (bsolo) R 5227 5229 3716 0 -1 4202496 15840 0 0 0 67 2 0 0 25 0 1 0 829503704 12341248 521 33554432000 134512640 137138936 4287761024 18446744073709551615 135469201 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5229/statm: 3013 521 287 642 0 2369 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12052
[startup+1.5005 s]
/proc/loadavg: 2.02 2.04 2.00 3/562 5230
/proc/meminfo: memFree=30059876/32950928 swapFree=41528364/67111528
[pid=5229] ppid=5227 vsize=12688 CPUtime=1.49 cores=1,3,5,7
/proc/5229/stat : 5229 (bsolo) R 5227 5229 3716 0 -1 4202496 29797 0 0 0 145 4 0 0 25 0 1 0 829503704 12992512 695 33554432000 134512640 137138936 4287761024 18446744073709551615 134731559 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5229/statm: 3172 695 287 642 0 2528 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12688
[startup+3.10024 s]
/proc/loadavg: 2.02 2.04 2.00 3/562 5230
/proc/meminfo: memFree=30057596/32950928 swapFree=41528364/67111528
[pid=5229] ppid=5227 vsize=14724 CPUtime=3.09 cores=1,3,5,7
/proc/5229/stat : 5229 (bsolo) R 5227 5229 3716 0 -1 4202496 58706 0 0 0 302 7 0 0 25 0 1 0 829503704 15077376 1176 33554432000 134512640 137138936 4287761024 18446744073709551615 134721078 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5229/statm: 3681 1176 287 642 0 3037 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14724
[startup+6.3007 s]
/proc/loadavg: 2.02 2.04 2.00 3/562 5230
/proc/meminfo: memFree=30054976/32950928 swapFree=41528364/67111528
[pid=5229] ppid=5227 vsize=15420 CPUtime=6.29 cores=1,3,5,7
/proc/5229/stat : 5229 (bsolo) R 5227 5229 3716 0 -1 4202496 102926 0 0 0 615 14 0 0 25 0 1 0 829503704 15790080 1390 33554432000 134512640 137138936 4287761024 18446744073709551615 135358736 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5229/statm: 3855 1390 287 642 0 3211 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15420
[startup+12.7006 s]
/proc/loadavg: 2.02 2.04 2.00 3/562 5230
/proc/meminfo: memFree=30053564/32950928 swapFree=41528364/67111528
[pid=5229] ppid=5227 vsize=15496 CPUtime=12.69 cores=1,3,5,7
/proc/5229/stat : 5229 (bsolo) R 5227 5229 3716 0 -1 4202496 180371 0 0 0 1242 27 0 0 25 0 1 0 829503704 15867904 1438 33554432000 134512640 137138936 4287761024 18446744073709551615 134734957 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5229/statm: 3874 1438 287 642 0 3230 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15496
[startup+25.5005 s]
/proc/loadavg: 2.01 2.04 2.00 3/562 5230
/proc/meminfo: memFree=30053732/32950928 swapFree=41528364/67111528
[pid=5229] ppid=5227 vsize=15544 CPUtime=25.49 cores=1,3,5,7
/proc/5229/stat : 5229 (bsolo) R 5227 5229 3716 0 -1 4202496 299518 0 0 0 2500 49 0 0 25 0 1 0 829503704 15917056 1414 33554432000 134512640 137138936 4287761024 18446744073709551615 135445280 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5229/statm: 3886 1414 287 642 0 3242 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15544
[startup+51.1002 s]
/proc/loadavg: 2.01 2.03 2.00 3/562 5231
/proc/meminfo: memFree=30053920/32950928 swapFree=41528364/67111528
[pid=5229] ppid=5227 vsize=15196 CPUtime=51.09 cores=1,3,5,7
/proc/5229/stat : 5229 (bsolo) R 5227 5229 3716 0 -1 4202496 391179 0 0 0 5046 63 0 0 25 0 1 0 829503704 15560704 1413 33554432000 134512640 137138936 4287761024 18446744073709551615 134769610 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5229/statm: 3799 1413 287 642 0 3155 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 15196
[startup+102.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 5232
/proc/meminfo: memFree=30051928/32950928 swapFree=41528364/67111528
[pid=5229] ppid=5227 vsize=15076 CPUtime=102.3 cores=1,3,5,7
/proc/5229/stat : 5229 (bsolo) R 5227 5229 3716 0 -1 4202496 457183 0 0 0 10155 75 0 0 25 0 1 0 829503704 15437824 1329 33554432000 134512640 137138936 4287761024 18446744073709551615 135449769 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5229/statm: 3769 1329 287 642 0 3125 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 15076
Solver just ended. Dumping a history of the last processes samples
[startup+102.421 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 5232
/proc/meminfo: memFree=30051928/32950928 swapFree=41528364/67111528
[pid=5229] ppid=5227 vsize=14544 CPUtime=102.41 cores=1,3,5,7
/proc/5229/stat : 5229 (bsolo) R 5227 5229 3716 0 -1 4202496 457815 0 0 0 10166 75 0 0 25 0 1 0 829503704 14893056 1306 33554432000 134512640 137138936 4287761024 18446744073709551615 134551018 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5229/statm: 3636 1306 287 642 0 2992 0
Current children cumulated CPU time (s) 102.41
Current children cumulated vsize (KiB) 14544
[startup+115.2 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 5233
/proc/meminfo: memFree=30051924/32950928 swapFree=41528364/67111528
[pid=5229] ppid=5227 vsize=14940 CPUtime=115.19 cores=1,3,5,7
/proc/5229/stat : 5229 (bsolo) R 5227 5229 3716 0 -1 4202496 471727 0 0 0 11441 78 0 0 25 0 1 0 829503704 15298560 1311 33554432000 134512640 137138936 4287761024 18446744073709551615 135441490 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5229/statm: 3735 1311 287 642 0 3091 0
Current children cumulated CPU time (s) 115.19
Current children cumulated vsize (KiB) 14940
[startup+121.6 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 5233
/proc/meminfo: memFree=30051924/32950928 swapFree=41528364/67111528
[pid=5229] ppid=5227 vsize=14940 CPUtime=121.6 cores=1,3,5,7
/proc/5229/stat : 5229 (bsolo) R 5227 5229 3716 0 -1 4202496 472080 0 0 0 12081 79 0 0 25 0 1 0 829503704 15298560 1310 33554432000 134512640 137138936 4287761024 18446744073709551615 135451439 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5229/statm: 3735 1310 287 642 0 3091 0
Current children cumulated CPU time (s) 121.6
Current children cumulated vsize (KiB) 14940
[startup+123.2 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 5233
/proc/meminfo: memFree=30051676/32950928 swapFree=41528364/67111528
[pid=5229] ppid=5227 vsize=14940 CPUtime=123.2 cores=1,3,5,7
/proc/5229/stat : 5229 (bsolo) R 5227 5229 3716 0 -1 4202496 472093 0 0 0 12241 79 0 0 25 0 1 0 829503704 15298560 1309 33554432000 134512640 137138936 4287761024 18446744073709551615 135451753 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5229/statm: 3735 1309 287 642 0 3091 0
Current children cumulated CPU time (s) 123.2
Current children cumulated vsize (KiB) 14940
[startup+124.801 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 5233
/proc/meminfo: memFree=30051676/32950928 swapFree=41528364/67111528
[pid=5229] ppid=5227 vsize=14804 CPUtime=124.8 cores=1,3,5,7
/proc/5229/stat : 5229 (bsolo) R 5227 5229 3716 0 -1 4202496 472276 0 0 0 12401 79 0 0 25 0 1 0 829503704 15159296 1306 33554432000 134512640 137138936 4287761024 18446744073709551615 135080982 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5229/statm: 3701 1306 287 642 0 3057 0
Current children cumulated CPU time (s) 124.8
Current children cumulated vsize (KiB) 14804
[startup+125.601 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 5233
/proc/meminfo: memFree=30051676/32950928 swapFree=41528364/67111528
[pid=5229] ppid=5227 vsize=14940 CPUtime=125.6 cores=1,3,5,7
/proc/5229/stat : 5229 (bsolo) R 5227 5229 3716 0 -1 4202496 472452 0 0 0 12481 79 0 0 25 0 1 0 829503704 15298560 1312 33554432000 134512640 137138936 4287761024 18446744073709551615 135456368 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5229/statm: 3735 1312 287 642 0 3091 0
Current children cumulated CPU time (s) 125.6
Current children cumulated vsize (KiB) 14940
[startup+126.001 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 5233
/proc/meminfo: memFree=30051676/32950928 swapFree=41528364/67111528
[pid=5229] ppid=5227 vsize=14940 CPUtime=126 cores=1,3,5,7
/proc/5229/stat : 5229 (bsolo) R 5227 5229 3716 0 -1 4202496 472457 0 0 0 12521 79 0 0 25 0 1 0 829503704 15298560 1309 33554432000 134512640 137138936 4287761024 18446744073709551615 135469957 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5229/statm: 3735 1309 287 642 0 3091 0
Current children cumulated CPU time (s) 126
Current children cumulated vsize (KiB) 14940
Child status: 0
Real time (s): 126.072
CPU time (s): 126.073
CPU user time (s): 125.281
CPU system time (s): 0.791879
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 15644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 125.281
system time used= 0.791879
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 472459
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= 5
involuntary context switches= 79
runsolver used 0.696894 second user time and 1.50077 second system time
The end
Begin job on node126 at 2011-06-04 11:17:30
IDJOB=3463720
IDBENCH=2851
IDSOLVER=1955
FILE ID=node126/3463720-1307179050
RUNJOBID= node126-1307175452-4913
PBS_JOBID= 13508841
Free space on /tmp= 73792 MiB
SOLVER NAME= bsolo 3.2
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_300_10_15.r.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3463720-1307179050/watcher-3463720-1307179050 -o /tmp/evaluation-result-3463720-1307179050/solver-3463720-1307179050 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463720-1307179050.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 34bb25320bcbfa536bfc14194ca6ac66
RANDOM SEED=991452068
node126.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.783
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.56
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.783
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 : 5332.75
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.783
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.74
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.783
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.74
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.783
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.80
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.783
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.75
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.783
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.82
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.783
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.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 30064008 kB
Buffers: 312208 kB
Cached: 488848 kB
SwapCached: 15388 kB
Active: 2128656 kB
Inactive: 439756 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 30064008 kB
SwapTotal: 67111528 kB
SwapFree: 41528364 kB
Dirty: 12300 kB
Writeback: 0 kB
AnonPages: 1764996 kB
Mapped: 24408 kB
Slab: 148400 kB
PageTables: 100020 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 176415636 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 /tmp at the end= 73788 MiB
End job on node126 at 2011-06-04 11:19:36