Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 52.9989 | 52.9975 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968094--soft-66-100-0.wbo |
MD5SUM | 3614e30d545cc7450a6dcbc158864418 |
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 | 17 |
Best CPU time to get the best result obtained on this benchmark | 0.162974 |
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 | 29 |
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 | 1556 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 1555 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1242 |
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 22/8 units 0 0.00/0.00 c vars 169 0.29/0.31 c 0.216967 7.57031 1002 4074 0.29/0.31 o 350 0.29/0.31 c 0.219966 7.70312 530 4165 0.29/0.31 o 334 0.29/0.32 c 0.221966 7.70312 541 4240 0.29/0.32 o 260 0.29/0.35 c 0.245962 7.70312 787 4674 0.29/0.35 o 162 1.39/1.41 c 0.971852 7.70312 911 17735 1.39/1.41 o 102 1.39/1.43 c 0.98485 7.70312 604 18006 1.39/1.43 o 99 3.09/3.10 c 2.14167 7.82812 808 39533 3.09/3.10 o 77 25.39/25.41 c 17.9443 8.07812 966 312993 25.39/25.41 o 71 48.40/48.41 c 34.2598 8.07812 985 604518 48.40/48.41 o 17 52.90/52.99 c 37.6623 8.07812 516 661733 52.90/52.99 s OPTIMUM FOUND 52.90/52.99 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 17
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699279-1278459606/watcher-2699279-1278459606 -o /tmp/evaluation-result-2699279-1278459606/solver-2699279-1278459606 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699279-1278459606.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.96 1.75 3/178 12854 /proc/meminfo: memFree=30286256/32950928 swapFree=67111528/67111528 [pid=12854] ppid=12852 vsize=3832 CPUtime=0 /proc/12854/stat : 12854 (pbct) R 12852 12854 12496 0 -1 4202496 656 0 0 0 0 0 0 0 21 0 1 0 14175343 3923968 576 4089446400 134512640 136422188 4287530880 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12854/statm: 958 577 193 467 0 489 0 [startup+0.0985179 s] /proc/loadavg: 1.97 1.96 1.75 3/178 12854 /proc/meminfo: memFree=30286256/32950928 swapFree=67111528/67111528 [pid=12854] ppid=12852 vsize=7620 CPUtime=0.09 /proc/12854/stat : 12854 (pbct) R 12852 12854 12496 0 -1 4202496 1584 0 0 0 7 2 0 0 21 0 1 0 14175343 7802880 1504 4089446400 134512640 136422188 4287530880 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12854/statm: 1905 1504 213 467 0 1436 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7620 [startup+0.100518 s] /proc/loadavg: 1.97 1.96 1.75 3/178 12854 /proc/meminfo: memFree=30286256/32950928 swapFree=67111528/67111528 [pid=12854] ppid=12852 vsize=7620 CPUtime=0.09 /proc/12854/stat : 12854 (pbct) R 12852 12854 12496 0 -1 4202496 1584 0 0 0 7 2 0 0 21 0 1 0 14175343 7802880 1504 4089446400 134512640 136422188 4287530880 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12854/statm: 1905 1504 213 467 0 1436 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7620 [startup+0.300474 s] /proc/loadavg: 1.97 1.96 1.75 3/178 12854 /proc/meminfo: memFree=30286256/32950928 swapFree=67111528/67111528 [pid=12854] ppid=12852 vsize=7748 CPUtime=0.29 /proc/12854/stat : 12854 (pbct) R 12852 12854 12496 0 -1 4202496 1620 0 0 0 20 9 0 0 21 0 1 0 14175343 7933952 1540 4089446400 134512640 136422188 4287530880 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12854/statm: 1937 1540 213 467 0 1468 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7748 [startup+0.700399 s] /proc/loadavg: 1.97 1.96 1.75 3/178 12854 /proc/meminfo: memFree=30286256/32950928 swapFree=67111528/67111528 [pid=12854] ppid=12852 vsize=7884 CPUtime=0.69 /proc/12854/stat : 12854 (pbct) R 12852 12854 12496 0 -1 4202496 1673 0 0 0 48 21 0 0 22 0 1 0 14175343 8073216 1589 4089446400 134512640 136422188 4287530880 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12854/statm: 1971 1589 236 467 0 1502 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7884 [startup+1.50025 s] /proc/loadavg: 1.97 1.96 1.75 3/179 12855 /proc/meminfo: memFree=30280800/32950928 swapFree=67111528/67111528 [pid=12854] ppid=12852 vsize=7884 CPUtime=1.49 /proc/12854/stat : 12854 (pbct) R 12852 12854 12496 0 -1 4202496 1688 0 0 0 102 47 0 0 18 0 1 0 14175343 8073216 1602 4089446400 134512640 136422188 4287530880 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12854/statm: 1971 1602 236 467 0 1502 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7884 [startup+3.10096 s] /proc/loadavg: 1.97 1.96 1.75 3/179 12855 /proc/meminfo: memFree=30280056/32950928 swapFree=67111528/67111528 [pid=12854] ppid=12852 vsize=8012 CPUtime=3.09 /proc/12854/stat : 12854 (pbct) R 12852 12854 12496 0 -1 4202496 1720 0 0 0 214 95 0 0 20 0 1 0 14175343 8204288 1634 4089446400 134512640 136422188 4287530880 18446744073709551615 134853483 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12854/statm: 2003 1634 236 467 0 1534 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8012 [startup+6.30037 s] /proc/loadavg: 1.97 1.96 1.75 3/179 12855 /proc/meminfo: memFree=30280216/32950928 swapFree=67111528/67111528 [pid=12854] ppid=12852 vsize=8012 CPUtime=6.29 /proc/12854/stat : 12854 (pbct) R 12852 12854 12496 0 -1 4202496 1727 0 0 0 443 186 0 0 25 0 1 0 14175343 8204288 1640 4089446400 134512640 136422188 4287530880 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12854/statm: 2003 1640 236 467 0 1534 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8012 [startup+12.7002 s] /proc/loadavg: 1.90 1.94 1.75 3/179 12883 /proc/meminfo: memFree=30280480/32950928 swapFree=67111528/67111528 [pid=12854] ppid=12852 vsize=8140 CPUtime=12.69 /proc/12854/stat : 12854 (pbct) R 12852 12854 12496 0 -1 4202496 1756 0 0 0 902 367 0 0 25 0 1 0 14175343 8335360 1669 4089446400 134512640 136422188 4287530880 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12854/statm: 2035 1669 236 467 0 1566 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8140 [startup+25.5008 s] /proc/loadavg: 1.92 1.94 1.75 3/179 12883 /proc/meminfo: memFree=30280928/32950928 swapFree=67111528/67111528 [pid=12854] ppid=12852 vsize=8268 CPUtime=25.49 /proc/12854/stat : 12854 (pbct) R 12852 12854 12496 0 -1 4202496 1781 0 0 0 1800 749 0 0 25 0 1 0 14175343 8466432 1693 4089446400 134512640 136422188 4287530880 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12854/statm: 2067 1693 236 467 0 1598 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8268 [startup+51.101 s] /proc/loadavg: 1.94 1.95 1.75 3/179 12884 /proc/meminfo: memFree=30280920/32950928 swapFree=67111528/67111528 [pid=12854] ppid=12852 vsize=8268 CPUtime=51.09 /proc/12854/stat : 12854 (pbct) R 12852 12854 12496 0 -1 4202496 1785 0 0 0 3627 1482 0 0 25 0 1 0 14175343 8466432 1696 4089446400 134512640 136422188 4287530880 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12854/statm: 2067 1696 236 467 0 1598 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 8268 Solver just ended. Dumping a history of the last processes samples [startup+51.9009 s] /proc/loadavg: 1.95 1.95 1.76 3/179 12884 /proc/meminfo: memFree=30280796/32950928 swapFree=67111528/67111528 [pid=12854] ppid=12852 vsize=8268 CPUtime=51.89 /proc/12854/stat : 12854 (pbct) R 12852 12854 12496 0 -1 4202496 1785 0 0 0 3685 1504 0 0 25 0 1 0 14175343 8466432 1696 4089446400 134512640 136422188 4287530880 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12854/statm: 2067 1696 236 467 0 1598 0 Current children cumulated CPU time (s) 51.89 Current children cumulated vsize (KiB) 8268 [startup+52.7007 s] /proc/loadavg: 1.95 1.95 1.76 3/179 12884 /proc/meminfo: memFree=30280792/32950928 swapFree=67111528/67111528 [pid=12854] ppid=12852 vsize=8268 CPUtime=52.7 /proc/12854/stat : 12854 (pbct) R 12852 12854 12496 0 -1 4202496 1785 0 0 0 3746 1524 0 0 25 0 1 0 14175343 8466432 1696 4089446400 134512640 136422188 4287530880 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12854/statm: 2067 1696 236 467 0 1598 0 Current children cumulated CPU time (s) 52.7 Current children cumulated vsize (KiB) 8268 [startup+52.9007 s] /proc/loadavg: 1.95 1.95 1.76 3/179 12884 /proc/meminfo: memFree=30280792/32950928 swapFree=67111528/67111528 [pid=12854] ppid=12852 vsize=8268 CPUtime=52.9 /proc/12854/stat : 12854 (pbct) R 12852 12854 12496 0 -1 4202496 1785 0 0 0 3759 1531 0 0 25 0 1 0 14175343 8466432 1696 4089446400 134512640 136422188 4287530880 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12854/statm: 2067 1696 236 467 0 1598 0 Current children cumulated CPU time (s) 52.9 Current children cumulated vsize (KiB) 8268 Child status: 0 Real time (s): 52.9975 CPU time (s): 52.9989 CPU user time (s): 37.6663 CPU system time (s): 15.3327 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 8268 getrusage(RUSAGE_CHILDREN,...) data: user time used= 37.6663 system time used= 15.3327 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1790 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= 3 involuntary context switches= 121 runsolver used 0.074988 second user time and 0.171973 second system time The end
Begin job on node112 at 2010-07-07 01:40:06 IDJOB=2699279 IDBENCH=78871 IDSOLVER=1212 FILE ID=node112/2699279-1278459606 PBS_JOBID= 11233768 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.1110968094--soft-66-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699279-1278459606/watcher-2699279-1278459606 -o /tmp/evaluation-result-2699279-1278459606/solver-2699279-1278459606 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699279-1278459606.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3614e30d545cc7450a6dcbc158864418 RANDOM SEED=761296443 node112.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.820 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.64 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.820 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.820 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.820 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.84 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.820 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.820 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.83 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.820 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.820 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: 30287032 kB Buffers: 100784 kB Cached: 2351668 kB SwapCached: 0 kB Active: 808416 kB Inactive: 1713368 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30287032 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1972 kB Writeback: 0 kB AnonPages: 69368 kB Mapped: 15452 kB Slab: 78920 kB PageTables: 4668 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 213688 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= 73584 MiB End job on node112 at 2010-07-07 01:40:59