Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | SAT | 4.84426 | 4.84566 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_10_3_15.opb |
MD5SUM | bd09cdc4b500cb737de1028eb4fdb581 |
Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 1.08383 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1502 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 15 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 12632 |
Sum of products size (including duplicates) | 25264 |
Number of different products | 6316 |
Sum of products size | 12632 |
0.00/0.00 c PB/CT 0.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.09/0.16 c constraints 7318/0 clauses 6816/0 units 0 0.09/0.16 c vars 1000 3.89/3.91 c 3.66744 197.309 446 19849 3.89/3.91 s SATISFIABLE 3.89/3.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 -x730 -x731 x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000
OK 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667735-1276679104/watcher-2667735-1276679104 -o /tmp/evaluation-result-2667735-1276679104/solver-2667735-1276679104 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2667735-1276679104.opb 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): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.13 1.11 1.03 3/106 9834 /proc/meminfo: memFree=1608436/2059040 swapFree=4140048/4192956 [pid=9834] ppid=9832 vsize=2340 CPUtime=0 /proc/9834/stat : 9834 (pbct) R 9832 9834 9353 0 -1 4202496 296 0 0 0 0 0 0 0 25 0 1 0 43514107 2396160 219 1992294400 134512640 136485738 4293310608 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9834/statm: 585 219 156 482 0 101 0 [startup+0.0490441 s] /proc/loadavg: 1.13 1.11 1.03 3/106 9834 /proc/meminfo: memFree=1608436/2059040 swapFree=4140048/4192956 [pid=9834] ppid=9832 vsize=3264 CPUtime=0.04 /proc/9834/stat : 9834 (pbct) R 9832 9834 9353 0 -1 4202496 539 0 0 0 4 0 0 0 25 0 1 0 43514107 3342336 462 1992294400 134512640 136485738 4293310608 18446744073709551615 134550677 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9834/statm: 816 462 156 482 0 332 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 3264 [startup+0.101049 s] /proc/loadavg: 1.13 1.11 1.03 3/106 9834 /proc/meminfo: memFree=1608436/2059040 swapFree=4140048/4192956 [pid=9834] ppid=9832 vsize=4460 CPUtime=0.09 /proc/9834/stat : 9834 (pbct) R 9832 9834 9353 0 -1 4202496 833 0 0 0 9 0 0 0 25 0 1 0 43514107 4567040 756 1992294400 134512640 136485738 4293310608 18446744073709551615 135177438 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9834/statm: 1115 757 156 482 0 631 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4460 [startup+0.301072 s] /proc/loadavg: 1.13 1.11 1.03 3/106 9834 /proc/meminfo: memFree=1608436/2059040 swapFree=4140048/4192956 [pid=9834] ppid=9832 vsize=20676 CPUtime=0.29 /proc/9834/stat : 9834 (pbct) R 9832 9834 9353 0 -1 4202496 4848 0 0 0 28 1 0 0 25 0 1 0 43514107 21172224 4771 1992294400 134512640 136485738 4293310608 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9834/statm: 5169 4772 191 482 0 4685 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20676 [startup+0.701119 s] /proc/loadavg: 1.13 1.11 1.03 3/106 9834 /proc/meminfo: memFree=1608436/2059040 swapFree=4140048/4192956 [pid=9834] ppid=9832 vsize=49932 CPUtime=0.69 /proc/9834/stat : 9834 (pbct) R 9832 9834 9353 0 -1 4202496 12505 0 0 0 64 5 0 0 25 0 1 0 43514107 51130368 11956 1992294400 134512640 136485738 4293310608 18446744073709551615 135688775 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9834/statm: 12483 11957 196 482 0 11999 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 49932 [startup+1.50121 s] /proc/loadavg: 1.13 1.11 1.03 2/107 9835 /proc/meminfo: memFree=1543948/2059040 swapFree=4140048/4192956 [pid=9834] ppid=9832 vsize=96740 CPUtime=1.49 /proc/9834/stat : 9834 (pbct) R 9832 9834 9353 0 -1 4202496 25115 0 0 0 138 11 0 0 25 0 1 0 43514107 99061760 23632 1992294400 134512640 136485738 4293310608 18446744073709551615 134725667 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9834/statm: 24185 23632 196 482 0 23701 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 96740 [startup+3.1014 s] /proc/loadavg: 1.13 1.11 1.03 2/107 9835 /proc/meminfo: memFree=1444376/2059040 swapFree=4140048/4192956 [pid=9834] ppid=9832 vsize=200972 CPUtime=3.09 /proc/9834/stat : 9834 (pbct) R 9832 9834 9353 0 -1 4202496 51572 0 0 0 287 22 0 0 25 0 1 0 43514107 205795328 48031 1992294400 134512640 136485738 4293310608 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9834/statm: 50243 48031 224 482 0 49759 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 200972 Solver just ended. Dumping a history of the last processes samples [startup+3.90149 s] /proc/loadavg: 1.13 1.11 1.03 2/107 9835 /proc/meminfo: memFree=1416352/2059040 swapFree=4140048/4192956 [pid=9834] ppid=9832 vsize=202040 CPUtime=3.89 /proc/9834/stat : 9834 (pbct) R 9832 9834 9353 0 -1 4202496 51846 0 0 0 365 24 0 0 25 0 1 0 43514107 206888960 48305 1992294400 134512640 136485738 4293310608 18446744073709551615 135044309 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9834/statm: 50510 48305 225 482 0 50026 0 Current children cumulated CPU time (s) 3.89 Current children cumulated vsize (KiB) 202040 [startup+4.30153 s] /proc/loadavg: 1.12 1.11 1.03 2/107 9835 /proc/meminfo: memFree=1425528/2059040 swapFree=4140048/4192956 [pid=9834] ppid=9832 vsize=188624 CPUtime=4.3 /proc/9834/stat : 9834 (pbct) R 9832 9834 9353 0 -1 4202496 51869 0 0 0 406 24 0 0 25 0 1 0 43514107 193150976 45661 1992294400 134512640 136485738 4293310608 18446744073709551615 135844748 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9834/statm: 47156 45661 247 482 0 46672 0 Current children cumulated CPU time (s) 4.3 Current children cumulated vsize (KiB) 188624 [startup+4.70158 s] /proc/loadavg: 1.12 1.11 1.03 2/107 9835 /proc/meminfo: memFree=1425528/2059040 swapFree=4140048/4192956 [pid=9834] ppid=9832 vsize=188624 CPUtime=4.69 /proc/9834/stat : 9834 (pbct) R 9832 9834 9353 0 -1 4202496 51869 0 0 0 445 24 0 0 25 0 1 0 43514107 193150976 45661 1992294400 134512640 136485738 4293310608 18446744073709551615 135856849 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9834/statm: 47156 45661 247 482 0 46672 0 Current children cumulated CPU time (s) 4.69 Current children cumulated vsize (KiB) 188624 [startup+4.80159 s] /proc/loadavg: 1.12 1.11 1.03 2/107 9835 /proc/meminfo: memFree=1425528/2059040 swapFree=4140048/4192956 [pid=9834] ppid=9832 vsize=177816 CPUtime=4.79 /proc/9834/stat : 9834 (pbct) R 9832 9834 9353 0 -1 4202496 51869 0 0 0 455 24 0 0 25 0 1 0 43514107 182083584 44024 1992294400 134512640 136485738 4293310608 18446744073709551615 135839991 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9834/statm: 44454 44024 247 482 0 43970 0 Current children cumulated CPU time (s) 4.79 Current children cumulated vsize (KiB) 177816 Child status: 0 Real time (s): 4.84566 CPU time (s): 4.84426 CPU user time (s): 4.5773 CPU system time (s): 0.266959 CPU usage (%): 99.9713 Max. virtual memory (cumulated for all children) (KiB): 202040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.5773 system time used= 0.266959 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 51870 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= 2 involuntary context switches= 26 runsolver used 0.007998 second user time and 0.032994 second system time The end
Begin job on node006 at 2010-06-16 11:05:04 IDJOB=2667735 IDBENCH=48323 IDSOLVER=1170 FILE ID=node006/2667735-1276679104 PBS_JOBID= 11172561 Free space on /tmp= 62504 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_10_3_15.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2667735-1276679104/watcher-2667735-1276679104 -o /tmp/evaluation-result-2667735-1276679104/solver-2667735-1276679104 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2667735-1276679104.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= bd09cdc4b500cb737de1028eb4fdb581 RANDOM SEED=1530825044 node006.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.204 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.204 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1608964 kB Buffers: 158932 kB Cached: 205088 kB SwapCached: 6988 kB Active: 145272 kB Inactive: 233192 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1608964 kB SwapTotal: 4192956 kB SwapFree: 4140048 kB Dirty: 2448 kB Writeback: 0 kB AnonPages: 12556 kB Mapped: 13108 kB Slab: 49840 kB PageTables: 4072 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182104 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62500 MiB End job on node006 at 2010-06-16 11:05:09