runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3491717-1307767129/watcher-3491717-1307767129 -o /tmp/evaluation-result-3491717-1307767129/solver-3491717-1307767129 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491717-1307767129.opb --solu --heu=VSIDS
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.65 1.31 1.55 2/177 10565
/proc/meminfo: memFree=31610776/32950928 swapFree=67051096/67111528
[pid=10565] ppid=10563 vsize=2736 CPUtime=0 cores=0,2,4,6
/proc/10565/stat : 10565 (clasp) R 10563 10565 6496 0 -1 4202496 421 0 0 0 0 0 0 0 25 0 1 0 966943607 2801664 363 33554432000 4194304 6245536 140733245297808 18446744073709551615 4610906 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/10565/statm: 684 363 220 501 0 180 0
[startup+0.092578 s]
/proc/loadavg: 1.65 1.31 1.55 2/177 10565
/proc/meminfo: memFree=31610776/32950928 swapFree=67051096/67111528
[pid=10565] ppid=10563 vsize=3012 CPUtime=0.09 cores=0,2,4,6
/proc/10565/stat : 10565 (clasp) R 10563 10565 6496 0 -1 4202496 486 0 0 0 9 0 0 0 25 0 1 0 966943607 3084288 428 33554432000 4194304 6245536 140733245297808 18446744073709551615 4700960 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/10565/statm: 753 428 227 501 0 249 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3012
[startup+0.100576 s]
/proc/loadavg: 1.65 1.31 1.55 2/177 10565
/proc/meminfo: memFree=31610776/32950928 swapFree=67051096/67111528
[pid=10565] ppid=10563 vsize=3012 CPUtime=0.09 cores=0,2,4,6
/proc/10565/stat : 10565 (clasp) R 10563 10565 6496 0 -1 4202496 486 0 0 0 9 0 0 0 25 0 1 0 966943607 3084288 428 33554432000 4194304 6245536 140733245297808 18446744073709551615 4315322 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/10565/statm: 753 428 227 501 0 249 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3012
[startup+0.300539 s]
/proc/loadavg: 1.65 1.31 1.55 2/177 10565
/proc/meminfo: memFree=31610776/32950928 swapFree=67051096/67111528
[pid=10565] ppid=10563 vsize=3276 CPUtime=0.29 cores=0,2,4,6
/proc/10565/stat : 10565 (clasp) R 10563 10565 6496 0 -1 4202496 565 0 0 0 29 0 0 0 25 0 1 0 966943607 3354624 507 33554432000 4194304 6245536 140733245297808 18446744073709551615 4700384 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/10565/statm: 819 507 227 501 0 315 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3276
[startup+0.700466 s]
/proc/loadavg: 1.65 1.31 1.55 2/177 10565
/proc/meminfo: memFree=31610776/32950928 swapFree=67051096/67111528
[pid=10565] ppid=10563 vsize=3540 CPUtime=0.69 cores=0,2,4,6
/proc/10565/stat : 10565 (clasp) R 10563 10565 6496 0 -1 4202496 623 0 0 0 69 0 0 0 25 0 1 0 966943607 3624960 565 33554432000 4194304 6245536 140733245297808 18446744073709551615 4304733 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/10565/statm: 885 565 227 501 0 381 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3540
[startup+1.50032 s]
/proc/loadavg: 1.65 1.31 1.55 3/178 10566
/proc/meminfo: memFree=31609056/32950928 swapFree=67051096/67111528
[pid=10565] ppid=10563 vsize=4064 CPUtime=1.49 cores=0,2,4,6
/proc/10565/stat : 10565 (clasp) R 10563 10565 6496 0 -1 4202496 736 0 0 0 149 0 0 0 25 0 1 0 966943607 4161536 678 33554432000 4194304 6245536 140733245297808 18446744073709551615 4633864 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/10565/statm: 1016 678 231 501 0 512 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4064
[startup+3.10102 s]
/proc/loadavg: 1.68 1.32 1.56 3/178 10566
/proc/meminfo: memFree=31608248/32950928 swapFree=67051096/67111528
[pid=10565] ppid=10563 vsize=4320 CPUtime=3.09 cores=0,2,4,6
/proc/10565/stat : 10565 (clasp) R 10563 10565 6496 0 -1 4202496 831 0 0 0 309 0 0 0 25 0 1 0 966943607 4423680 773 33554432000 4194304 6245536 140733245297808 18446744073709551615 4342693 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/10565/statm: 1080 773 231 501 0 576 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4320
[startup+6.30042 s]
/proc/loadavg: 1.68 1.32 1.56 3/178 10566
/proc/meminfo: memFree=31607132/32950928 swapFree=67051096/67111528
[pid=10565] ppid=10563 vsize=5380 CPUtime=6.29 cores=0,2,4,6
/proc/10565/stat : 10565 (clasp) R 10563 10565 6496 0 -1 4202496 1086 0 0 0 629 0 0 0 25 0 1 0 966943607 5509120 1028 33554432000 4194304 6245536 140733245297808 18446744073709551615 4646429 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/10565/statm: 1345 1028 231 501 0 841 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 5380
[startup+12.7002 s]
/proc/loadavg: 1.73 1.35 1.56 3/178 10566
/proc/meminfo: memFree=31605408/32950928 swapFree=67051096/67111528
[pid=10565] ppid=10563 vsize=6436 CPUtime=12.69 cores=0,2,4,6
/proc/10565/stat : 10565 (clasp) R 10563 10565 6496 0 -1 4202496 1355 0 0 0 1269 0 0 0 25 0 1 0 966943607 6590464 1297 33554432000 4194304 6245536 140733245297808 18446744073709551615 4629051 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/10565/statm: 1609 1297 231 501 0 1105 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 6436
[startup+25.5009 s]
/proc/loadavg: 1.77 1.37 1.56 3/178 10568
/proc/meminfo: memFree=31602532/32950928 swapFree=67051096/67111528
[pid=10565] ppid=10563 vsize=8568 CPUtime=25.49 cores=0,2,4,6
/proc/10565/stat : 10565 (clasp) R 10563 10565 6496 0 -1 4202496 1867 0 0 0 2549 0 0 0 25 0 1 0 966943607 8773632 1809 33554432000 4194304 6245536 140733245297808 18446744073709551615 4701971 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/10565/statm: 2142 1809 231 501 0 1638 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 8568
[startup+51.1011 s]
/proc/loadavg: 1.85 1.42 1.57 3/178 10568
/proc/meminfo: memFree=31599348/32950928 swapFree=67051096/67111528
[pid=10565] ppid=10563 vsize=10600 CPUtime=51.09 cores=0,2,4,6
/proc/10565/stat : 10565 (clasp) R 10563 10565 6496 0 -1 4202496 2398 0 0 0 5109 0 0 0 25 0 1 0 966943607 10854400 2340 33554432000 4194304 6245536 140733245297808 18446744073709551615 4635131 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/10565/statm: 2650 2340 231 501 0 2146 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 10600
Solver just ended. Dumping a history of the last processes samples
[startup+76.7004 s]
/proc/loadavg: 1.90 1.46 1.58 3/178 10569
/proc/meminfo: memFree=31597732/32950928 swapFree=67051096/67111528
[pid=10565] ppid=10563 vsize=11696 CPUtime=76.69 cores=0,2,4,6
/proc/10565/stat : 10565 (clasp) R 10563 10565 6496 0 -1 4202496 2650 0 0 0 7669 0 0 0 25 0 1 0 966943607 11976704 2592 33554432000 4194304 6245536 140733245297808 18446744073709551615 5367642 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/10565/statm: 2924 2592 231 501 0 2420 0
Current children cumulated CPU time (s) 76.69
Current children cumulated vsize (KiB) 11696
[startup+83.1012 s]
/proc/loadavg: 1.91 1.48 1.59 3/178 10569
/proc/meminfo: memFree=31597480/32950928 swapFree=67051096/67111528
[pid=10565] ppid=10563 vsize=11828 CPUtime=83.09 cores=0,2,4,6
/proc/10565/stat : 10565 (clasp) R 10563 10565 6496 0 -1 4202496 2683 0 0 0 8309 0 0 0 25 0 1 0 966943607 12111872 2625 33554432000 4194304 6245536 140733245297808 18446744073709551615 4633923 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/10565/statm: 2957 2625 231 501 0 2453 0
Current children cumulated CPU time (s) 83.09
Current children cumulated vsize (KiB) 11828
[startup+89.501 s]
/proc/loadavg: 1.92 1.49 1.59 3/178 10569
/proc/meminfo: memFree=31597352/32950928 swapFree=67051096/67111528
[pid=10565] ppid=10563 vsize=11828 CPUtime=89.49 cores=0,2,4,6
/proc/10565/stat : 10565 (clasp) R 10563 10565 6496 0 -1 4202496 2692 0 0 0 8949 0 0 0 25 0 1 0 966943607 12111872 2634 33554432000 4194304 6245536 140733245297808 18446744073709551615 4700320 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/10565/statm: 2957 2634 231 501 0 2453 0
Current children cumulated CPU time (s) 89.49
Current children cumulated vsize (KiB) 11828
[startup+92.7004 s]
/proc/loadavg: 1.93 1.50 1.59 3/178 10569
/proc/meminfo: memFree=31596972/32950928 swapFree=67051096/67111528
[pid=10565] ppid=10563 vsize=12104 CPUtime=92.69 cores=0,2,4,6
/proc/10565/stat : 10565 (clasp) R 10563 10565 6496 0 -1 4202496 2747 0 0 0 9269 0 0 0 25 0 1 0 966943607 12394496 2689 33554432000 4194304 6245536 140733245297808 18446744073709551615 4702496 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/10565/statm: 3026 2689 231 501 0 2522 0
Current children cumulated CPU time (s) 92.69
Current children cumulated vsize (KiB) 12104
[startup+94.3011 s]
/proc/loadavg: 1.93 1.50 1.59 3/178 10569
/proc/meminfo: memFree=31596848/32950928 swapFree=67051096/67111528
[pid=10565] ppid=10563 vsize=12104 CPUtime=94.29 cores=0,2,4,6
/proc/10565/stat : 10565 (clasp) R 10563 10565 6496 0 -1 4202496 2751 0 0 0 9429 0 0 0 25 0 1 0 966943607 12394496 2693 33554432000 4194304 6245536 140733245297808 18446744073709551615 4635135 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/10565/statm: 3026 2693 231 501 0 2522 0
Current children cumulated CPU time (s) 94.29
Current children cumulated vsize (KiB) 12104
[startup+95.101 s]
/proc/loadavg: 1.93 1.50 1.59 3/178 10569
/proc/meminfo: memFree=31596848/32950928 swapFree=67051096/67111528
[pid=10565] ppid=10563 vsize=12104 CPUtime=95.09 cores=0,2,4,6
/proc/10565/stat : 10565 (clasp) R 10563 10565 6496 0 -1 4202496 2751 0 0 0 9509 0 0 0 25 0 1 0 966943607 12394496 2693 33554432000 4194304 6245536 140733245297808 18446744073709551615 4627959 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/10565/statm: 3026 2693 231 501 0 2522 0
Current children cumulated CPU time (s) 95.09
Current children cumulated vsize (KiB) 12104
[startup+95.3009 s]
/proc/loadavg: 1.93 1.50 1.59 3/178 10569
/proc/meminfo: memFree=31596848/32950928 swapFree=67051096/67111528
[pid=10565] ppid=10563 vsize=12104 CPUtime=95.29 cores=0,2,4,6
/proc/10565/stat : 10565 (clasp) R 10563 10565 6496 0 -1 4202496 2751 0 0 0 9529 0 0 0 25 0 1 0 966943607 12394496 2693 33554432000 4194304 6245536 140733245297808 18446744073709551615 4628835 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/10565/statm: 3026 2693 231 501 0 2522 0
Current children cumulated CPU time (s) 95.29
Current children cumulated vsize (KiB) 12104
Child status: 10
Real time (s): 95.3785
CPU time (s): 95.3815
CPU user time (s): 95.3735
CPU system time (s): 0.007998
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 12104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 95.3735
system time used= 0.007998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2763
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= 165
runsolver used 0.134979 second user time and 0.300954 second system time
The end
Begin job on node113 at 2011-06-11 06:38:49
IDJOB=3491717
IDBENCH=48008
IDSOLVER=1981
FILE ID=node113/3491717-1307767129
RUNJOBID= node113-1307767053-9963
PBS_JOBID= 13550849
Free space on /tmp= 74108 MiB
SOLVER NAME= clasp 2.0-R4191-patched (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=37-P1=223-P2=197-P3=97-P4=11-P5=157-P6=97-P7=127-P8=79-P9=11-B.opb
COMMAND LINE= HOME/clasp BENCHNAME --solu --heu=VSIDS
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3491717-1307767129/watcher-3491717-1307767129 -o /tmp/evaluation-result-3491717-1307767129/solver-3491717-1307767129 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491717-1307767129.opb --solu --heu=VSIDS
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= cdc1e49bcf2e6b6913c93a683c821b72
RANDOM SEED=1560624965
node113.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.846
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.846
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.76
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.846
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.846
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.75
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.846
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.74
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.846
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.846
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.83
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.846
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.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 31611320 kB
Buffers: 249040 kB
Cached: 858228 kB
SwapCached: 14384 kB
Active: 472916 kB
Inactive: 664716 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 31611320 kB
SwapTotal: 67111528 kB
SwapFree: 67051096 kB
Dirty: 2260 kB
Writeback: 4 kB
AnonPages: 27436 kB
Mapped: 10364 kB
Slab: 138296 kB
PageTables: 4832 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 221572 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= 74108 MiB
End job on node113 at 2011-06-11 06:40:25