Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 2.14067 | 2.14071 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-langford-3-9_wcsp.wbo |
MD5SUM | 5add7de3ccff8290bd0d3a32154c6477 |
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 | 0 |
Best CPU time to get the best result obtained on this benchmark | 2.14067 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 729 |
Total number of constraints | 22248 |
Number of soft constraints | 22221 |
Number of constraints which are clauses | 22221 |
Number of constraints which are cardinality constraints (but not clauses) | 27 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 27 |
Top cost | 1 |
Min constraint cost | 1 |
Max constraint cost | 1 |
Sum of constraints costs | 22221 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 28 |
Number of bits of the biggest sum of numbers | 5 |
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.09/0.11 c constraints 27/0 clauses 0/22221 units 0 0.09/0.11 c vars 729 0.09/0.11 c Setting top cost 1 1.89/1.91 c 1.73574 130.207 12120 75914 1.89/1.91 o 0 1.89/1.91 c 1.73974 133.551 12120 75914 1.89/1.91 s OPTIMUM FOUND 1.89/1.91 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 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 x728 -x729
OK 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699571-1278533791/watcher-2699571-1278533791 -o /tmp/evaluation-result-2699571-1278533791/solver-2699571-1278533791 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699571-1278533791.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: 0.00 0.00 0.00 2/173 17949 /proc/meminfo: memFree=29928480/32950928 swapFree=67111528/67111528 [pid=17949] ppid=17947 vsize=2296 CPUtime=0 /proc/17949/stat : 17949 (pbct) R 17947 17949 17905 0 -1 4202496 277 0 0 0 0 0 0 0 21 0 1 0 21592656 2351104 197 4089446400 134512640 136422188 4290014192 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/17949/statm: 574 197 144 467 0 105 0 [startup+0.0848649 s] /proc/loadavg: 0.00 0.00 0.00 2/173 17949 /proc/meminfo: memFree=29928480/32950928 swapFree=67111528/67111528 [pid=17949] ppid=17947 vsize=3736 CPUtime=0.08 /proc/17949/stat : 17949 (pbct) R 17947 17949 17905 0 -1 4202496 671 0 0 0 8 0 0 0 22 0 1 0 21592656 3825664 493 4089446400 134512640 136422188 4290014192 18446744073709551615 135717695 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/17949/statm: 934 494 144 467 0 465 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3736 [startup+0.100853 s] /proc/loadavg: 0.00 0.00 0.00 2/173 17949 /proc/meminfo: memFree=29928480/32950928 swapFree=67111528/67111528 [pid=17949] ppid=17947 vsize=3736 CPUtime=0.09 /proc/17949/stat : 17949 (pbct) R 17947 17949 17905 0 -1 4202496 684 0 0 0 9 0 0 0 22 0 1 0 21592656 3825664 506 4089446400 134512640 136422188 4290014192 18446744073709551615 135717680 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/17949/statm: 934 507 144 467 0 465 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3736 [startup+0.300821 s] /proc/loadavg: 0.00 0.00 0.00 2/173 17949 /proc/meminfo: memFree=29928480/32950928 swapFree=67111528/67111528 [pid=17949] ppid=17947 vsize=52544 CPUtime=0.29 /proc/17949/stat : 17949 (pbct) R 17947 17949 17905 0 -1 4202496 12825 0 0 0 27 2 0 0 22 0 1 0 21592656 53805056 12549 4089446400 134512640 136422188 4290014192 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/17949/statm: 13136 12551 195 467 0 12667 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 52544 [startup+0.700747 s] /proc/loadavg: 0.00 0.00 0.00 2/173 17949 /proc/meminfo: memFree=29928480/32950928 swapFree=67111528/67111528 [pid=17949] ppid=17947 vsize=129856 CPUtime=0.69 /proc/17949/stat : 17949 (pbct) R 17947 17949 17905 0 -1 4202496 33077 0 0 0 59 10 0 0 24 0 1 0 21592656 132972544 31672 4089446400 134512640 136422188 4290014192 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/17949/statm: 32464 31672 217 467 0 31995 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 129856 [startup+1.50066 s] /proc/loadavg: 0.08 0.02 0.01 2/174 17977 /proc/meminfo: memFree=29795128/32950928 swapFree=67111528/67111528 [pid=17949] ppid=17947 vsize=132800 CPUtime=1.49 /proc/17949/stat : 17949 (pbct) R 17947 17949 17905 0 -1 4202496 33813 0 0 0 133 16 0 0 25 0 1 0 21592656 135987200 32408 4089446400 134512640 136422188 4290014192 18446744073709551615 134862222 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/17949/statm: 33200 32408 217 467 0 32731 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 132800 Solver just ended. Dumping a history of the last processes samples [startup+1.90064 s] /proc/loadavg: 0.08 0.02 0.01 2/174 17977 /proc/meminfo: memFree=29795128/32950928 swapFree=67111528/67111528 [pid=17949] ppid=17947 vsize=133328 CPUtime=1.89 /proc/17949/stat : 17949 (pbct) R 17947 17949 17905 0 -1 4202496 33936 0 0 0 172 17 0 0 25 0 1 0 21592656 136527872 32531 4089446400 134512640 136422188 4290014192 18446744073709551615 134862395 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/17949/statm: 33332 32531 217 467 0 32863 0 Current children cumulated CPU time (s) 1.89 Current children cumulated vsize (KiB) 133328 [startup+2.10062 s] /proc/loadavg: 0.08 0.02 0.01 2/174 17977 /proc/meminfo: memFree=29799832/32950928 swapFree=67111528/67111528 [pid=17949] ppid=17947 vsize=128156 CPUtime=2.1 /proc/17949/stat : 17949 (pbct) R 17947 17949 17905 0 -1 4202496 34883 0 0 0 193 17 0 0 25 0 1 0 21592656 131231744 30963 4089446400 134512640 136422188 4290014192 18446744073709551615 135806212 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/17949/statm: 32039 30963 241 467 0 31570 0 Current children cumulated CPU time (s) 2.1 Current children cumulated vsize (KiB) 128156 Child status: 0 Real time (s): 2.14071 CPU time (s): 2.14067 CPU user time (s): 1.9597 CPU system time (s): 0.180972 CPU usage (%): 99.9983 Max. virtual memory (cumulated for all children) (KiB): 133328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.9597 system time used= 0.180972 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34884 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= 2 runsolver used 0.004999 second user time and 0.013997 second system time The end
Begin job on node120 at 2010-07-07 22:16:31 IDJOB=2699571 IDBENCH=79355 IDSOLVER=1212 FILE ID=node120/2699571-1278533791 PBS_JOBID= 11239237 Free space on /tmp= 73464 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/academics/normalized-langford-3-9_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699571-1278533791/watcher-2699571-1278533791 -o /tmp/evaluation-result-2699571-1278533791/solver-2699571-1278533791 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699571-1278533791.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5add7de3ccff8290bd0d3a32154c6477 RANDOM SEED=1986898797 node120.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.813 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.62 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.813 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.82 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.813 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.813 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.813 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.78 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.813 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 : 5363.42 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.813 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.76 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.813 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 29929008 kB Buffers: 134176 kB Cached: 2679136 kB SwapCached: 0 kB Active: 1535460 kB Inactive: 1340336 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29929008 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2356 kB Writeback: 0 kB AnonPages: 62812 kB Mapped: 14572 kB Slab: 84244 kB PageTables: 4528 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 179936 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= 73460 MiB End job on node120 at 2010-07-07 22:16:34