Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 21.9067 | 21.9071 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222257--soft-66-100-0.wbo |
MD5SUM | 71325e7cac253fc5c21b0ac5c0e624a3 |
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 | 78 |
Best CPU time to get the best result obtained on this benchmark | 0.171973 |
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 | 26 |
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 | 1243 |
Min constraint cost | 1 |
Max constraint cost | 96 |
Sum of constraints costs | 1242 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1262 |
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.2 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.00 c constraints 50/21 clauses 25/5 units 0 0.00/0.00 c vars 169 2.29/2.38 c 1.67874 7.94531 282 32065 2.29/2.38 o 193 2.29/2.38 c 1.67974 8.08984 284 32099 2.29/2.38 o 168 3.39/3.42 c 2.41663 8.08984 608 44378 3.39/3.42 o 130 7.60/7.67 c 5.55915 8.08984 489 100744 7.60/7.67 o 106 20.29/20.35 c 14.8647 8.08984 1191 280494 20.29/20.35 o 78 21.79/21.90 c 15.9976 8.08984 883 300651 21.79/21.90 s OPTIMUM FOUND 21.79/21.90 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 78
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699151-1278459382/watcher-2699151-1278459382 -o /tmp/evaluation-result-2699151-1278459382/solver-2699151-1278459382 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699151-1278459382.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: 1.97 1.95 1.70 3/178 13804 /proc/meminfo: memFree=29813184/32950928 swapFree=67111528/67111528 [pid=13804] ppid=13802 vsize=3836 CPUtime=0 /proc/13804/stat : 13804 (pbct) R 13802 13804 13614 0 -1 4202496 658 0 0 0 0 0 0 0 25 0 1 0 14151792 3928064 577 4089446400 134512640 136422188 4287299168 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13804/statm: 959 578 193 467 0 490 0 [startup+0.029092 s] /proc/loadavg: 1.97 1.95 1.70 3/178 13804 /proc/meminfo: memFree=29813184/32950928 swapFree=67111528/67111528 [pid=13804] ppid=13802 vsize=7488 CPUtime=0.02 /proc/13804/stat : 13804 (pbct) R 13802 13804 13614 0 -1 4202496 1565 0 0 0 2 0 0 0 25 0 1 0 14151792 7667712 1484 4089446400 134512640 136422188 4287299168 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13804/statm: 1872 1484 213 467 0 1403 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 7488 [startup+0.101191 s] /proc/loadavg: 1.97 1.95 1.70 3/178 13804 /proc/meminfo: memFree=29813184/32950928 swapFree=67111528/67111528 [pid=13804] ppid=13802 vsize=7620 CPUtime=0.09 /proc/13804/stat : 13804 (pbct) R 13802 13804 13614 0 -1 4202496 1593 0 0 0 7 2 0 0 25 0 1 0 14151792 7802880 1512 4089446400 134512640 136422188 4287299168 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13804/statm: 1905 1512 213 467 0 1436 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7620 [startup+0.301154 s] /proc/loadavg: 1.97 1.95 1.70 3/178 13804 /proc/meminfo: memFree=29813184/32950928 swapFree=67111528/67111528 [pid=13804] ppid=13802 vsize=7748 CPUtime=0.29 /proc/13804/stat : 13804 (pbct) R 13802 13804 13614 0 -1 4202496 1631 0 0 0 21 8 0 0 25 0 1 0 14151792 7933952 1550 4089446400 134512640 136422188 4287299168 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13804/statm: 1937 1550 213 467 0 1468 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7748 [startup+0.701077 s] /proc/loadavg: 1.97 1.95 1.70 3/178 13804 /proc/meminfo: memFree=29813184/32950928 swapFree=67111528/67111528 [pid=13804] ppid=13802 vsize=7876 CPUtime=0.7 /proc/13804/stat : 13804 (pbct) R 13802 13804 13614 0 -1 4202496 1664 0 0 0 48 22 0 0 25 0 1 0 14151792 8065024 1583 4089446400 134512640 136422188 4287299168 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13804/statm: 1969 1583 213 467 0 1500 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 7876 [startup+1.50093 s] /proc/loadavg: 1.97 1.95 1.70 3/179 13805 /proc/meminfo: memFree=29807472/32950928 swapFree=67111528/67111528 [pid=13804] ppid=13802 vsize=7876 CPUtime=1.49 /proc/13804/stat : 13804 (pbct) R 13802 13804 13614 0 -1 4202496 1668 0 0 0 104 45 0 0 25 0 1 0 14151792 8065024 1587 4089446400 134512640 136422188 4287299168 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13804/statm: 1969 1587 213 467 0 1500 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7876 [startup+3.10064 s] /proc/loadavg: 1.97 1.95 1.70 3/179 13805 /proc/meminfo: memFree=29806852/32950928 swapFree=67111528/67111528 [pid=13804] ppid=13802 vsize=8280 CPUtime=3.09 /proc/13804/stat : 13804 (pbct) R 13802 13804 13614 0 -1 4202496 1781 0 0 0 217 92 0 0 25 0 1 0 14151792 8478720 1698 4089446400 134512640 136422188 4287299168 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13804/statm: 2070 1698 236 467 0 1601 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8280 [startup+6.30094 s] /proc/loadavg: 1.97 1.95 1.70 3/179 13805 /proc/meminfo: memFree=29807016/32950928 swapFree=67111528/67111528 [pid=13804] ppid=13802 vsize=8280 CPUtime=6.29 /proc/13804/stat : 13804 (pbct) R 13802 13804 13614 0 -1 4202496 1782 0 0 0 459 170 0 0 25 0 1 0 14151792 8478720 1698 4089446400 134512640 136422188 4287299168 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13804/statm: 2070 1698 236 467 0 1601 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8280 [startup+12.7009 s] /proc/loadavg: 1.97 1.95 1.71 3/179 13806 /proc/meminfo: memFree=29807112/32950928 swapFree=67111528/67111528 [pid=13804] ppid=13802 vsize=8280 CPUtime=12.69 /proc/13804/stat : 13804 (pbct) R 13802 13804 13614 0 -1 4202496 1783 0 0 0 928 341 0 0 25 0 1 0 14151792 8478720 1698 4089446400 134512640 136422188 4287299168 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13804/statm: 2070 1698 236 467 0 1601 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8280 Solver just ended. Dumping a history of the last processes samples [startup+15.9003 s] /proc/loadavg: 1.97 1.95 1.71 3/179 13806 /proc/meminfo: memFree=29807308/32950928 swapFree=67111528/67111528 [pid=13804] ppid=13802 vsize=8280 CPUtime=15.89 /proc/13804/stat : 13804 (pbct) R 13802 13804 13614 0 -1 4202496 1783 0 0 0 1153 436 0 0 25 0 1 0 14151792 8478720 1698 4089446400 134512640 136422188 4287299168 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13804/statm: 2070 1698 236 467 0 1601 0 Current children cumulated CPU time (s) 15.89 Current children cumulated vsize (KiB) 8280 [startup+19.1006 s] /proc/loadavg: 1.98 1.95 1.71 3/179 13806 /proc/meminfo: memFree=29807184/32950928 swapFree=67111528/67111528 [pid=13804] ppid=13802 vsize=8280 CPUtime=19.09 /proc/13804/stat : 13804 (pbct) R 13802 13804 13614 0 -1 4202496 1783 0 0 0 1395 514 0 0 25 0 1 0 14151792 8478720 1698 4089446400 134512640 136422188 4287299168 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13804/statm: 2070 1698 236 467 0 1601 0 Current children cumulated CPU time (s) 19.09 Current children cumulated vsize (KiB) 8280 [startup+20.7003 s] /proc/loadavg: 1.98 1.95 1.71 3/179 13806 /proc/meminfo: memFree=29807428/32950928 swapFree=67111528/67111528 [pid=13804] ppid=13802 vsize=8280 CPUtime=20.7 /proc/13804/stat : 13804 (pbct) R 13802 13804 13614 0 -1 4202496 1784 0 0 0 1512 558 0 0 25 0 1 0 14151792 8478720 1698 4089446400 134512640 136422188 4287299168 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13804/statm: 2070 1698 236 467 0 1601 0 Current children cumulated CPU time (s) 20.7 Current children cumulated vsize (KiB) 8280 [startup+21.5003 s] /proc/loadavg: 1.98 1.95 1.71 3/179 13806 /proc/meminfo: memFree=29806560/32950928 swapFree=67111528/67111528 [pid=13804] ppid=13802 vsize=8280 CPUtime=21.49 /proc/13804/stat : 13804 (pbct) R 13802 13804 13614 0 -1 4202496 1784 0 0 0 1570 579 0 0 25 0 1 0 14151792 8478720 1698 4089446400 134512640 136422188 4287299168 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13804/statm: 2070 1698 236 467 0 1601 0 Current children cumulated CPU time (s) 21.49 Current children cumulated vsize (KiB) 8280 [startup+21.9001 s] /proc/loadavg: 1.98 1.95 1.71 3/179 13806 /proc/meminfo: memFree=29806312/32950928 swapFree=67111528/67111528 [pid=13804] ppid=13802 vsize=7500 CPUtime=21.9 /proc/13804/stat : 13804 (pbct) R 13802 13804 13614 0 -1 4202496 1788 0 0 0 1600 590 0 0 25 0 1 0 14151792 7680000 1562 4089446400 134512640 136422188 4287299168 18446744073709551615 135806221 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13804/statm: 1875 1562 239 467 0 1406 0 Current children cumulated CPU time (s) 21.9 Current children cumulated vsize (KiB) 7500 Child status: 0 Real time (s): 21.9071 CPU time (s): 21.9067 CPU user time (s): 16.0016 CPU system time (s): 5.9051 CPU usage (%): 99.9981 Max. virtual memory (cumulated for all children) (KiB): 8280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 16.0016 system time used= 5.9051 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1789 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= 36 runsolver used 0.041993 second user time and 0.06399 second system time The end
Begin job on node116 at 2010-07-07 01:36:22 IDJOB=2699151 IDBENCH=78805 IDSOLVER=1212 FILE ID=node116/2699151-1278459382 PBS_JOBID= 11233760 Free space on /tmp= 73584 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111222257--soft-66-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699151-1278459382/watcher-2699151-1278459382 -o /tmp/evaluation-result-2699151-1278459382/solver-2699151-1278459382 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699151-1278459382.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 71325e7cac253fc5c21b0ac5c0e624a3 RANDOM SEED=2013395320 node116.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.858 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.71 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.858 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.83 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.858 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.858 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.83 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.858 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.73 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.858 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.858 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.858 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: 32950928 kB MemFree: 29813580 kB Buffers: 107396 kB Cached: 2778120 kB SwapCached: 0 kB Active: 965068 kB Inactive: 2028852 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29813580 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1968 kB Writeback: 0 kB AnonPages: 108660 kB Mapped: 15820 kB Slab: 79696 kB PageTables: 4916 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 252624 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= 73580 MiB End job on node116 at 2010-07-07 01:36:44