Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | OPT | 5 | 26.276 | 26.3086 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-rd84.b.opb |
MD5SUM | 6560abb26f607ef952ebe1a74dd5dae1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 26.276 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5 |
Optimality of the best value was proved | YES |
Number of variables | 1009 |
Total number of constraints | 3773 |
Number of constraints which are clauses | 3773 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 5 |
Maximum length of a constraint | 446 |
Number of terms in the objective function | 1009 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1009 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1009 |
Number of bits of the biggest sum of numbers | 10 |
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 c Parsing PB file... 2.73 c Converting 3773 PB-constraints to clauses... 2.74 c -- Unit propagations: (none) 2.74 c -- Detecting intervals from adjacent constraints: (none) 2.74 c -- Clauses(.)/Splits(s): ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. 2.81 c ==================================[MINISAT+]================================== 2.81 c | Conflicts | Original | Learnt | Progress | 2.81 c | | Clauses Literals | Max Clauses Literals LPC | | 2.81 c ============================================================================== 2.81 c | 0 | 3773 262156 | 1257 0 0 nan | 0.000 % | 2.81 c ============================================================================== 2.81 c [1mFound solution: 9[0m 2.81 o 9 2.82 c ---[ 0]---> Sorter-cost:47484 Base: 3.53 c ==================================[MINISAT+]================================== 3.53 c | Conflicts | Original | Learnt | Progress | 3.53 c | | Clauses Literals | Max Clauses Literals LPC | | 3.53 c ============================================================================== 3.53 c | 0 | 51140 372651 | 17046 0 0 nan | 0.000 % | 3.64 c | 100 | 51140 372651 | 18750 100 12181 121.8 | 2.916 % | 3.72 c ============================================================================== 3.72 c [1mFound solution: 8[0m 3.72 o 8 3.73 c ---[ 0]---> Sorter-cost: 0 Base: 4.38 c ==================================[MINISAT+]================================== 4.38 c | Conflicts | Original | Learnt | Progress | 4.38 c | | Clauses Literals | Max Clauses Literals LPC | | 4.38 c ============================================================================== 4.38 c | 235 | 51150 372675 | 17050 235 34116 145.2 | 2.916 % | 4.43 c | 335 | 51132 372639 | 18755 333 49879 149.8 | 2.934 % | 4.52 c | 486 | 51132 372639 | 20630 484 93436 193.0 | 2.934 % | 4.64 c | 712 | 51132 372639 | 22693 710 158884 223.8 | 2.934 % | 4.81 c | 1049 | 51132 372639 | 24962 1047 241787 230.9 | 2.934 % | 5.34 c | 1555 | 51132 372639 | 27459 1553 373508 240.5 | 2.934 % | 5.74 c | 2314 | 51132 372639 | 30205 2312 585575 253.3 | 2.934 % | 6.42 c | 3453 | 51132 372639 | 33225 3451 868962 251.8 | 2.934 % | 7.24 c ============================================================================== 7.24 c [1mFound solution: 7[0m 7.24 o 7 7.25 c ---[ 0]---> Sorter-cost: 0 Base: 7.90 c ==================================[MINISAT+]================================== 7.90 c | Conflicts | Original | Learnt | Progress | 7.90 c | | Clauses Literals | Max Clauses Literals LPC | | 7.90 c ============================================================================== 7.90 c | 4908 | 51106 372584 | 17035 4906 1287414 262.4 | 2.934 % | 8.00 c | 5009 | 51106 372584 | 18738 5007 1313449 262.3 | 3.019 % | 8.13 c | 5161 | 51106 372584 | 20612 5159 1361333 263.9 | 3.019 % | 8.37 c | 5386 | 51106 372584 | 22673 5384 1411321 262.1 | 3.019 % | 8.65 c | 5724 | 51106 372584 | 24940 5722 1483020 259.2 | 3.019 % | 9.01 c | 6231 | 51106 372584 | 27435 6229 1651079 265.1 | 3.019 % | 9.75 c | 6993 | 51106 372584 | 30178 6991 1875766 268.3 | 3.019 % | 9.86 c ============================================================================== 9.86 c [1mFound solution: 6[0m 9.86 o 6 9.87 c ---[ 0]---> Sorter-cost: 0 Base: 10.59 c ==================================[MINISAT+]================================== 10.59 c | Conflicts | Original | Learnt | Progress | 10.59 c | | Clauses Literals | Max Clauses Literals LPC | | 10.59 c ============================================================================== 10.59 c | 7079 | 51114 372603 | 17038 7077 1905186 269.2 | 3.019 % | 10.75 c | 7179 | 51092 372559 | 18741 7168 1929538 269.2 | 3.030 % | 10.94 c | 7331 | 51092 372559 | 20615 7320 1970169 269.1 | 3.030 % | 11.18 c | 7558 | 51092 372559 | 22677 7547 2013969 266.9 | 3.030 % | 11.52 c | 7895 | 51092 372559 | 24945 7884 2092347 265.4 | 3.030 % | 12.35 c | 8401 | 51092 372559 | 27439 8390 2179710 259.8 | 3.030 % | 13.12 c | 9161 | 51092 372559 | 30183 9150 2322503 253.8 | 3.030 % | 14.51 c | 10306 | 51092 372559 | 33202 10295 2532757 246.0 | 3.030 % | 17.26 c | 12016 | 51092 372559 | 36522 12005 2741436 228.4 | 3.030 % | 21.56 c | 14578 | 51092 372559 | 40174 14567 3125037 214.5 | 3.030 % | 25.12 c ============================================================================== 25.12 c [1mFound solution: 5[0m 25.12 o 5 25.13 c ---[ 0]---> Sorter-cost: 0 Base: 25.85 c ==================================[MINISAT+]================================== 25.85 c | Conflicts | Original | Learnt | Progress | 25.85 c | | Clauses Literals | Max Clauses Literals LPC | | 25.85 c ============================================================================== 25.85 c | 16278 | 50382 370879 | 16794 16171 3295728 203.8 | 3.030 % | 26.07 c | 16381 | 50382 370879 | 18473 16274 3305088 203.1 | 4.568 % | 26.29 c ============================================================================== 26.29 c [1mOptimal solution: 5[0m 26.29 s OPTIMUM FOUND 26.29 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 26.29 v -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 26.29 v -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 26.29 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 26.29 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 26.29 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 26.29 v -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 26.29 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 26.29 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 26.29 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 -x230 26.29 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 26.29 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 26.29 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 26.29 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 26.29 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 26.29 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 26.29 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 26.29 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 26.29 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 26.29 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 26.29 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 26.29 v -x462 -x463 x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 26.29 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 26.29 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 26.29 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 26.29 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 26.29 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 26.29 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 26.29 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 26.29 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 26.29 v -x651 -x652 -x653 -x654 x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 26.29 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 26.29 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 26.29 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 26.29 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 26.29 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 26.29 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 26.29 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 26.29 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 26.29 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 26.29 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 26.29 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 26.29 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 26.29 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 26.29 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 26.29 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 26.29 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 26.29 v -x1006 -x1007 -x1008 -x1009 26.29 c _______________________________________________________________________________ 26.29 c 26.29 c restarts : 30 26.29 c conflicts : 16457 (628 /sec) 26.29 c decisions : 109077 (4165 /sec) 26.29 c propagations : 0 (0 /sec) 26.29 c inspects : 0 (0 /sec) 26.29 c CPU time : 26.189 s 26.29 c _______________________________________________________________________________
OK 5
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.1 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node60/watcher-49655-1149872856 -o ROOT/results/node60/solver-49655-1149872856 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node60/49655-1149872856/instance-49655-1149872856.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.00 0.00 0.00 2/64 10019 /proc/meminfo: memFree=1321256/2055920 swapFree=4181460/4192956 [pid=10019] ppid=10017 vsize=1048 CPUtime=0 /proc/10019/stat : 10019 (minisat+) D 10017 10019 9973 0 -1 4194304 85 0 0 0 0 0 0 0 18 0 1 0 252953456 1073152 70 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031051 0 2147483391 4096 16386 18446744072099781622 0 0 17 1 0 0 /proc/10019/statm: 262 70 58 215 0 44 0 [startup+10.0018 s] /proc/loadavg: 0.15 0.03 0.01 2/64 10019 /proc/meminfo: memFree=1295672/2055920 swapFree=4181460/4192956 [pid=10019] ppid=10017 vsize=27436 CPUtime=9.97 /proc/10019/stat : 10019 (minisat+) R 10017 10019 9973 0 -1 4194304 6683 0 0 0 991 6 0 0 25 0 1 0 252953456 28094464 6515 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005888 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10019/statm: 6859 6515 111 215 0 6641 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 27436 [startup+20.0076 s] /proc/loadavg: 0.28 0.06 0.02 2/64 10019 /proc/meminfo: memFree=1291128/2055920 swapFree=4181460/4192956 [pid=10019] ppid=10017 vsize=32024 CPUtime=19.98 /proc/10019/stat : 10019 (minisat+) R 10017 10019 9973 0 -1 4194304 7855 0 0 0 1991 7 0 0 25 0 1 0 252953456 32792576 7647 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579241 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10019/statm: 8006 7647 111 215 0 7788 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 32024 Child status: 30 Real time (s): 26.3086 CPU time (s): 26.276 CPU user time (s): 26.192 CPU system time (s): 0.083987 CPU usage (%): 99.8762 Max. virtual memory (cumulated for all children) (Kb): 32024 The end
Begin job on node60 on Fri Jun 9 17:07:36 UTC 2006 FILE ID= 49655-1149872856 PBS_JOBID= 384379 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-rd84.b.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node60/49655-1149872856/instance-49655-1149872856.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-49655-1149872856 -o ROOT/results/node60/solver-49655-1149872856 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node60/49655-1149872856/instance-49655-1149872856.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 6560abb26f607ef952ebe1a74dd5dae1 RANDOM SEED= 903025586 /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.257 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.257 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1321464 kB Buffers: 42408 kB Cached: 613936 kB SwapCached: 3188 kB Active: 135056 kB Inactive: 530068 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1321464 kB SwapTotal: 4192956 kB SwapFree: 4181460 kB Dirty: 236 kB Writeback: 0 kB Mapped: 14752 kB Slab: 55324 kB Committed_AS: 580768 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node60 on Fri Jun 9 17:08:03 UTC 2006