Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | OPTIMUM | 26.9809 | 26.9856 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110966483--soft-66-100-0.wbo |
MD5SUM | 666d5c712f5e475011fc9b955250b39c |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 51 |
Best CPU time to get the best result obtained on this benchmark | 0.169973 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 169 |
Total number of constraints | 101 |
Number of soft constraints | 42 |
Number of constraints which are clauses | 30 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 169 |
Top cost | 1838 |
Min constraint cost | 1 |
Max constraint cost | 97 |
Sum of constraints costs | 1837 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1298 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PB/CT 0.1.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.00 c constraints 42/29 clauses 17/13 units 0 0.00/0.00 c vars 169 0.69/0.78 c 0.682896 7.62109 578 9330 0.69/0.78 o 371 0.79/0.86 c 0.756884 7.80078 871 10430 0.79/0.86 o 305 0.89/0.90 c 0.790879 7.80078 650 10801 0.89/0.90 o 300 0.89/0.94 c 0.824874 7.80078 636 11349 0.89/0.94 o 291 1.29/1.39 c 1.21681 7.80078 391 16922 1.29/1.39 o 265 1.29/1.39 c 1.21981 7.80078 300 16958 1.29/1.39 o 260 1.39/1.40 c 1.22081 7.80078 303 16984 1.39/1.40 o 251 1.39/1.40 c 1.22181 7.80078 308 17080 1.39/1.40 o 154 1.39/1.40 c 1.22281 7.80078 311 17100 1.39/1.40 o 147 1.89/1.96 c 1.72574 7.80078 1177 24909 1.89/1.96 o 134 2.69/2.71 c 2.39264 7.80078 778 34242 2.69/2.71 o 126 3.09/3.13 c 2.77058 7.80078 650 39351 3.09/3.13 o 60 3.09/3.13 c 2.77158 7.80078 650 39375 3.09/3.13 o 51 26.88/26.98 c 24.3713 8.01562 720 331909 26.88/26.98 s OPTIMUM FOUND 26.88/26.98 v -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169
OK 51
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695451-1277898728/watcher-2695451-1277898728 -o /tmp/evaluation-result-2695451-1277898728/solver-2695451-1277898728 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695451-1277898728.wbo 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.33 2.08 2.02 4/176 12356 /proc/meminfo: memFree=31114912/32951132 swapFree=67111528/67111528 [pid=12356] ppid=12354 vsize=3832 CPUtime=0 /proc/12356/stat : 12356 (pbct) R 12354 12356 11609 0 -1 4202496 658 0 0 0 0 0 0 0 25 0 1 0 131169106 3923968 577 4089446400 134512640 136421960 4294547360 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/12356/statm: 958 579 193 467 0 489 0 [startup+0.0726061 s] /proc/loadavg: 2.33 2.08 2.02 4/176 12356 /proc/meminfo: memFree=31114912/32951132 swapFree=67111528/67111528 [pid=12356] ppid=12354 vsize=7544 CPUtime=0.06 /proc/12356/stat : 12356 (pbct) R 12354 12356 11609 0 -1 4202496 1587 0 0 0 6 0 0 0 25 0 1 0 131169106 7725056 1506 4089446400 134512640 136421960 4294547360 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/12356/statm: 1886 1506 213 467 0 1417 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 7544 [startup+0.100543 s] /proc/loadavg: 2.33 2.08 2.02 4/176 12356 /proc/meminfo: memFree=31114912/32951132 swapFree=67111528/67111528 [pid=12356] ppid=12354 vsize=7544 CPUtime=0.09 /proc/12356/stat : 12356 (pbct) R 12354 12356 11609 0 -1 4202496 1596 0 0 0 8 1 0 0 25 0 1 0 131169106 7725056 1515 4089446400 134512640 136421960 4294547360 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/12356/statm: 1886 1515 213 467 0 1417 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7544 [startup+0.300508 s] /proc/loadavg: 2.33 2.08 2.02 4/176 12356 /proc/meminfo: memFree=31114912/32951132 swapFree=67111528/67111528 [pid=12356] ppid=12354 vsize=7672 CPUtime=0.29 /proc/12356/stat : 12356 (pbct) R 12354 12356 11609 0 -1 4202496 1624 0 0 0 25 4 0 0 25 0 1 0 131169106 7856128 1543 4089446400 134512640 136421960 4294547360 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/12356/statm: 1918 1543 213 467 0 1449 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7672 [startup+0.700438 s] /proc/loadavg: 2.33 2.08 2.02 4/176 12356 /proc/meminfo: memFree=31114912/32951132 swapFree=67111528/67111528 [pid=12356] ppid=12354 vsize=7800 CPUtime=0.69 /proc/12356/stat : 12356 (pbct) R 12354 12356 11609 0 -1 4202496 1648 0 0 0 61 8 0 0 25 0 1 0 131169106 7987200 1567 4089446400 134512640 136421960 4294547360 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/12356/statm: 1950 1567 213 467 0 1481 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7800 [startup+1.5003 s] /proc/loadavg: 2.33 2.08 2.02 3/177 12357 /proc/meminfo: memFree=31106104/32951132 swapFree=67111528/67111528 [pid=12356] ppid=12354 vsize=7984 CPUtime=1.49 /proc/12356/stat : 12356 (pbct) R 12354 12356 11609 0 -1 4202496 1700 0 0 0 130 19 0 0 25 0 1 0 131169106 8175616 1610 4089446400 134512640 136421960 4294547360 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/12356/statm: 1996 1610 236 467 0 1527 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7984 [startup+3.10106 s] /proc/loadavg: 2.30 2.08 2.02 3/177 12357 /proc/meminfo: memFree=31101516/32951132 swapFree=67111528/67111528 [pid=12356] ppid=12354 vsize=7984 CPUtime=3.09 /proc/12356/stat : 12356 (pbct) R 12354 12356 11609 0 -1 4202496 1715 0 0 0 273 36 0 0 25 0 1 0 131169106 8175616 1623 4089446400 134512640 136421960 4294547360 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/12356/statm: 1996 1623 236 467 0 1527 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7984 [startup+6.30046 s] /proc/loadavg: 2.30 2.08 2.02 3/177 12357 /proc/meminfo: memFree=31095796/32951132 swapFree=67111528/67111528 [pid=12356] ppid=12354 vsize=7984 CPUtime=6.29 /proc/12356/stat : 12356 (pbct) R 12354 12356 11609 0 -1 4202496 1722 0 0 0 563 66 0 0 25 0 1 0 131169106 8175616 1628 4089446400 134512640 136421960 4294547360 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12356/statm: 1996 1628 236 467 0 1527 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7984 [startup+12.7004 s] /proc/loadavg: 2.25 2.07 2.02 3/177 12357 /proc/meminfo: memFree=31083404/32951132 swapFree=67111528/67111528 [pid=12356] ppid=12354 vsize=8104 CPUtime=12.69 /proc/12356/stat : 12356 (pbct) R 12354 12356 11609 0 -1 4202496 1748 0 0 0 1138 131 0 0 25 0 1 0 131169106 8298496 1654 4089446400 134512640 136421960 4294547360 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12356/statm: 2026 1654 236 467 0 1557 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8104 [startup+25.5001 s] /proc/loadavg: 2.21 2.07 2.02 3/177 12357 /proc/meminfo: memFree=31054496/32951132 swapFree=67111528/67111528 [pid=12356] ppid=12354 vsize=8204 CPUtime=25.49 /proc/12356/stat : 12356 (pbct) R 12354 12356 11609 0 -1 4202496 1767 0 0 0 2303 246 0 0 25 0 1 0 131169106 8400896 1673 4089446400 134512640 136421960 4294547360 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12356/statm: 2051 1673 236 467 0 1582 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8204 Solver just ended. Dumping a history of the last processes samples [startup+26.301 s] /proc/loadavg: 2.21 2.07 2.02 3/177 12357 /proc/meminfo: memFree=31050776/32951132 swapFree=67111528/67111528 [pid=12356] ppid=12354 vsize=8204 CPUtime=26.29 /proc/12356/stat : 12356 (pbct) R 12354 12356 11609 0 -1 4202496 1768 0 0 0 2375 254 0 0 25 0 1 0 131169106 8400896 1674 4089446400 134512640 136421960 4294547360 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12356/statm: 2051 1674 236 467 0 1582 0 Current children cumulated CPU time (s) 26.29 Current children cumulated vsize (KiB) 8204 [startup+26.7009 s] /proc/loadavg: 2.21 2.07 2.02 3/177 12357 /proc/meminfo: memFree=31050776/32951132 swapFree=67111528/67111528 [pid=12356] ppid=12354 vsize=8204 CPUtime=26.69 /proc/12356/stat : 12356 (pbct) R 12354 12356 11609 0 -1 4202496 1768 0 0 0 2411 258 0 0 25 0 1 0 131169106 8400896 1674 4089446400 134512640 136421960 4294547360 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12356/statm: 2051 1674 236 467 0 1582 0 Current children cumulated CPU time (s) 26.69 Current children cumulated vsize (KiB) 8204 [startup+26.9009 s] /proc/loadavg: 2.21 2.07 2.02 3/177 12357 /proc/meminfo: memFree=31050776/32951132 swapFree=67111528/67111528 [pid=12356] ppid=12354 vsize=8204 CPUtime=26.88 /proc/12356/stat : 12356 (pbct) R 12354 12356 11609 0 -1 4202496 1771 0 0 0 2429 259 0 0 25 0 1 0 131169106 8400896 1677 4089446400 134512640 136421960 4294547360 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12356/statm: 2051 1677 236 467 0 1582 0 Current children cumulated CPU time (s) 26.88 Current children cumulated vsize (KiB) 8204 Child status: 0 Real time (s): 26.9856 CPU time (s): 26.9809 CPU user time (s): 24.3763 CPU system time (s): 2.6046 CPU usage (%): 99.9826 Max. virtual memory (cumulated for all children) (KiB): 8228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 24.3763 system time used= 2.6046 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1776 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= 1 involuntary context switches= 37 runsolver used 0.030995 second user time and 0.096985 second system time The end
Begin job on node128 at 2010-06-30 13:52:08 IDJOB=2695451 IDBENCH=78845 IDSOLVER=1208 FILE ID=node128/2695451-1277898728 PBS_JOBID= 11197165 Free space on /tmp= 74208 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110966483--soft-66-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695451-1277898728/watcher-2695451-1277898728 -o /tmp/evaluation-result-2695451-1277898728/solver-2695451-1277898728 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695451-1277898728.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 666d5c712f5e475011fc9b955250b39c RANDOM SEED=1437952176 node128.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.853 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.70 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.853 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.853 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.83 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.853 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.853 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.82 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.853 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.853 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.853 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: 32951132 kB MemFree: 31115556 kB Buffers: 184132 kB Cached: 1010100 kB SwapCached: 0 kB Active: 914668 kB Inactive: 780432 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 31115556 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2004 kB Writeback: 0 kB AnonPages: 501304 kB Mapped: 15280 kB Slab: 77212 kB PageTables: 5308 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 648296 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74208 MiB End job on node128 at 2010-06-30 13:52:35