Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | OPT | -70 | 47.7097 | 47.7232 |
Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-2000opt.opb |
MD5SUM | d2e31bd1942364d9129e439b3449a3af |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -70 |
Best CPU time to get the best result obtained on this benchmark | 9.55055 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 2025 |
Total number of constraints | 29788 |
Number of constraints which are clauses | 29788 |
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 | 2 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 135 |
Biggest coefficient in the objective function | 4 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 326 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 4 |
Number of bits of the biggest number in a constraint | 3 |
Biggest sum of numbers in a constraint | 326 |
Number of bits of the biggest sum of numbers | 9 |
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 bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2657217-1276685768.opb 0.00/0.00 c File size is 985937 bytes. 0.09/0.16 c Highest Coefficient sum: 326 0.09/0.16 c Parsing was ok!! 0.09/0.16 c Total parsing time: 0.164 s 0.09/0.17 c Var: 2025 Constr: 29788 29788/0/0 Lit: 88194 Watch. Lit: 59576 0.09/0.17 c Obj. Vars: 135 (6.66667 % of total variables) 0.29/0.34 c Pre-processing Time: 0.345 s 0.29/0.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.34 c 0 2001 29716 88050 2 59432 9905 0 0 0.34 0.29/0.34 c Switching off lower bounding mode. 0.29/0.36 o -9 0.29/0.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.36 c 0 2001 29717 88161 2 59439 10127 1 0 0.36 0.29/0.36 o -11 0.29/0.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.37 c 0 2001 29718 88272 2 59445 10349 2 0 0.37 0.29/0.37 o -14 0.29/0.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.37 c 0 2001 29719 88383 2 59450 10571 3 0 0.37 0.29/0.37 o -17 0.29/0.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.38 c 0 2001 29720 88494 2 59459 10793 4 0 0.38 0.29/0.38 o -19 0.29/0.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.38 c 0 2001 29721 88605 2 59467 11015 5 0 0.38 0.29/0.38 o -21 0.29/0.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.39 c 1 2001 29723 88820 2 59479 11015 7 2 0.39 0.29/0.39 o -35 0.39/0.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.40 c 31 2001 29754 89040 2 59542 11015 38 78 0.40 0.39/0.40 o -38 0.39/0.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.41 c 31 2001 29755 89151 2 59558 11015 39 77 0.40 0.39/0.41 o -41 0.39/0.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.42 c 71 2001 29796 89870 3 59660 11015 80 170 0.42 0.39/0.42 o -42 0.39/0.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.45 c 76 2001 29802 90083 3 59691 11015 86 179 0.42 0.39/0.45 c 176 2001 29902 92077 3 59886 12117 186 396 0.44 0.39/0.45 o -46 0.39/0.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.49 c 201 2001 29928 92275 3 59963 11015 212 438 0.46 0.39/0.49 c 302 2001 30029 96205 3 60163 12117 313 631 0.48 0.39/0.49 o -58 0.49/0.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.54 c 330 2001 30058 96419 3 60220 11015 342 666 0.49 0.49/0.54 c 430 2001 30158 99884 3 60411 12117 442 831 0.52 0.49/0.54 o -59 0.79/0.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.81 c 516 2001 30245 102167 3 60609 11015 529 946 0.55 0.79/0.81 c 616 2001 30345 106641 3 60803 12117 629 1080 0.57 0.79/0.81 c 866 2001 30595 114741 3 61332 13329 879 1383 0.63 0.79/0.81 c 1341 2001 31070 142632 4 62266 14662 1354 1814 0.74 0.79/0.81 o -60 0.79/0.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.88 c 1568 2001 31298 151478 4 62736 11015 1582 1933 0.81 0.79/0.88 c 1668 2001 31398 155713 4 62955 12117 1682 1990 0.84 0.79/0.88 o -61 1.29/1.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.37 c 1806 2001 31537 162558 5 63256 11015 1821 2031 0.89 1.29/1.37 c 1906 2001 31637 166180 5 63441 12117 1921 2062 0.92 1.29/1.37 c 2156 2001 31887 179161 5 63951 13329 2171 2160 1.00 1.29/1.37 c 2631 2001 32362 206927 6 64904 14662 2646 2359 1.11 1.29/1.37 c 3444 2001 33175 258806 7 66530 16129 3459 2549 1.35 1.29/1.37 o -63 3.69/3.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.76 c 3470 2001 33202 259860 7 66596 11015 3486 2521 1.38 3.69/3.76 c 3570 2001 33302 263787 7 66805 12117 3586 2515 1.42 3.69/3.76 c 3820 2001 33552 280644 8 67307 13329 3836 2544 1.50 3.69/3.76 c 4296 2001 34028 311492 9 68247 14662 4312 2606 1.65 3.69/3.76 c 5109 2001 34841 368931 10 69901 16129 5125 2658 1.92 3.69/3.76 c 6429 2001 36161 462966 12 72527 17742 6445 2698 2.38 3.69/3.76 c 8511 2000 38243 612487 16 76691 19517 8527 2533 3.36 3.69/3.76 o -65 8.39/8.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.39/8.46 c 9234 2000 38967 665670 17 78176 11013 9251 2453 3.76 8.39/8.46 c 9334 2000 39067 672880 17 78356 12115 9351 2440 3.83 8.39/8.46 c 9584 2000 39317 690530 17 78867 13327 9601 2408 3.98 8.39/8.46 c 10060 2000 39793 724544 18 79815 14660 10077 2360 4.26 8.39/8.46 c 10873 2000 40606 786257 19 81416 16127 10890 2254 4.82 8.39/8.46 c 12194 2000 41927 882570 21 84089 17740 12211 2104 5.79 8.39/8.46 c 14275 2000 44008 1037611 23 88244 19515 14292 1916 7.45 8.39/8.46 o -70 47.67/47.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 47.67/47.71 c 15333 2000 45067 1117574 24 90357 11013 15351 1812 8.46 47.67/47.71 c 15433 2000 35339 417618 11 70703 12115 5623 1777 8.68 47.67/47.71 c 15684 2000 35590 435323 12 71206 13327 5874 1786 8.78 47.67/47.71 c 16159 2000 36065 469366 13 72154 14660 6349 1801 8.97 47.67/47.71 c 16972 2000 36878 527272 14 73782 16127 7162 1825 9.30 47.67/47.71 c 18292 2000 38198 621543 16 76427 17740 8482 1831 9.99 47.67/47.71 c 20373 1999 40279 779309 19 80586 19515 10563 1826 11.15 47.67/47.71 c 23596 1997 43502 1009628 23 87028 21467 13786 1771 13.32 47.67/47.71 c 28532 1994 48438 1352605 27 96896 23614 18722 1510 18.89 47.67/47.71 c 36038 1987 44085 963179 21 88185 25976 14369 1299 27.73 47.67/47.71 c 47399 1966 55446 1556226 28 110889 28574 25730 1172 40.43 47.67/47.71 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 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 x1045 -x1046 -x1047 -x1048 x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 x1089 -x1090 -x1091 -x1092 x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 x1110 -x1111 -x1112 x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x1210 -x1211 x1212 -x1213 x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 x1230 -x1231 -x1232 -x1233 -x1234 x1235 -x1236 -x1237 -x1238 x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 x1259 -x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 x1471 -x1472 -x1473 x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 x1680 -x1681 -x1682 x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 x1771 -x1772 -x1773 x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 x1790 -x1791 -x1792 -x1793 -x1794 x1795 -x1796 -x1797 -x1798 -x1799 x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 x1909 -x1910 -x1911 -x1912 -x1913 x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 x2002 -x2003 -x2004 -x2005 x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 x2021 -x2022 -x2023 -x2024 -x2025 47.67/47.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 47.67/47.71 c 51 53412 3053 86201 45397 692180 15681 1119 47.70 47.67/47.71 c Objective: -70 47.67/47.71 s OPTIMUM FOUND 47.67/47.71 c Total time: 47.704 s
OK -70
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657217-1276685768/watcher-2657217-1276685768 -o /tmp/evaluation-result-2657217-1276685768/solver-2657217-1276685768 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657217-1276685768.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.05 1.22 1.12 3/106 8523 /proc/meminfo: memFree=1733768/2059040 swapFree=4140468/4192956 [pid=8523] ppid=8521 vsize=11896 CPUtime=0 /proc/8523/stat : 8523 (bsolo_pb10) R 8521 8523 7974 0 -1 4202496 352 0 0 0 0 0 0 0 18 0 1 0 44180551 12181504 271 1992294400 134512640 137138936 4293687472 18446744073709551615 134531237 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8523/statm: 2974 271 175 642 0 2089 0 [startup+0.0298091 s] /proc/loadavg: 1.05 1.22 1.12 3/106 8523 /proc/meminfo: memFree=1733768/2059040 swapFree=4140468/4192956 [pid=8523] ppid=8521 vsize=12312 CPUtime=0.02 /proc/8523/stat : 8523 (bsolo_pb10) R 8521 8523 7974 0 -1 4202496 500 0 0 0 2 0 0 0 20 0 1 0 44180551 12607488 419 1992294400 134512640 137138936 4293687472 18446744073709551615 136505161 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8523/statm: 3078 419 207 642 0 2193 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 12312 [startup+0.100816 s] /proc/loadavg: 1.05 1.22 1.12 3/106 8523 /proc/meminfo: memFree=1733768/2059040 swapFree=4140468/4192956 [pid=8523] ppid=8521 vsize=13812 CPUtime=0.09 /proc/8523/stat : 8523 (bsolo_pb10) R 8521 8523 7974 0 -1 4202496 962 0 0 0 9 0 0 0 20 0 1 0 44180551 14143488 881 1992294400 134512640 137138936 4293687472 18446744073709551615 134520931 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8523/statm: 3453 881 310 642 0 2568 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13812 [startup+0.300839 s] /proc/loadavg: 1.05 1.22 1.12 3/106 8523 /proc/meminfo: memFree=1733768/2059040 swapFree=4140468/4192956 [pid=8523] ppid=8521 vsize=17168 CPUtime=0.29 /proc/8523/stat : 8523 (bsolo_pb10) R 8521 8523 7974 0 -1 4202496 2159 0 0 0 26 3 0 0 20 0 1 0 44180551 17580032 1837 1992294400 134512640 137138936 4293687472 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8523/statm: 4292 1837 185 642 0 3648 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17168 [startup+0.700883 s] /proc/loadavg: 1.05 1.22 1.12 3/106 8523 /proc/meminfo: memFree=1733768/2059040 swapFree=4140468/4192956 [pid=8523] ppid=8521 vsize=17080 CPUtime=0.69 /proc/8523/stat : 8523 (bsolo_pb10) R 8521 8523 7974 0 -1 4202496 2476 0 0 0 65 4 0 0 21 0 1 0 44180551 17489920 1832 1992294400 134512640 137138936 4293687472 18446744073709551615 136502620 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8523/statm: 4270 1832 191 642 0 3626 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17080 [startup+1.50097 s] /proc/loadavg: 1.05 1.22 1.12 2/107 8524 /proc/meminfo: memFree=1727064/2059040 swapFree=4140468/4192956 [pid=8523] ppid=8521 vsize=18632 CPUtime=1.49 /proc/8523/stat : 8523 (bsolo_pb10) R 8521 8523 7974 0 -1 4202496 2856 0 0 0 144 5 0 0 23 0 1 0 44180551 19079168 2212 1992294400 134512640 137138936 4293687472 18446744073709551615 134576060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8523/statm: 4658 2212 191 642 0 4014 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18632 [startup+3.10115 s] /proc/loadavg: 1.05 1.22 1.12 2/107 8524 /proc/meminfo: memFree=1723468/2059040 swapFree=4140468/4192956 [pid=8523] ppid=8521 vsize=22764 CPUtime=3.09 /proc/8523/stat : 8523 (bsolo_pb10) R 8521 8523 7974 0 -1 4202496 3908 0 0 0 303 6 0 0 25 0 1 0 44180551 23310336 3264 1992294400 134512640 137138936 4293687472 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8523/statm: 5691 3264 191 642 0 5047 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22764 [startup+6.30051 s] /proc/loadavg: 1.05 1.22 1.12 2/107 8526 /proc/meminfo: memFree=1717144/2059040 swapFree=4140468/4192956 [pid=8523] ppid=8521 vsize=27936 CPUtime=6.29 /proc/8523/stat : 8523 (bsolo_pb10) R 8521 8523 7974 0 -1 4202496 5196 0 0 0 621 8 0 0 25 0 1 0 44180551 28606464 4552 1992294400 134512640 137138936 4293687472 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8523/statm: 6984 4552 191 642 0 6340 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27936 [startup+12.7012 s] /proc/loadavg: 1.04 1.21 1.11 2/107 8526 /proc/meminfo: memFree=1713052/2059040 swapFree=4140468/4192956 [pid=8523] ppid=8521 vsize=30632 CPUtime=12.69 /proc/8523/stat : 8523 (bsolo_pb10) R 8521 8523 7974 0 -1 4202496 5870 0 0 0 1258 11 0 0 25 0 1 0 44180551 31367168 5226 1992294400 134512640 137138936 4293687472 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8523/statm: 7658 5226 191 642 0 7014 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30632 [startup+25.5006 s] /proc/loadavg: 1.03 1.20 1.11 2/107 8526 /proc/meminfo: memFree=1705372/2059040 swapFree=4140468/4192956 [pid=8523] ppid=8521 vsize=38712 CPUtime=25.48 /proc/8523/stat : 8523 (bsolo_pb10) R 8521 8523 7974 0 -1 4202496 7882 0 0 0 2532 16 0 0 25 0 1 0 44180551 39641088 7238 1992294400 134512640 137138936 4293687472 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8523/statm: 9678 7238 191 642 0 9034 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 38712 Solver just ended. Dumping a history of the last processes samples [startup+38.3011 s] /proc/loadavg: 1.02 1.19 1.11 2/107 8526 /proc/meminfo: memFree=1705000/2059040 swapFree=4140468/4192956 [pid=8523] ppid=8521 vsize=38892 CPUtime=38.28 /proc/8523/stat : 8523 (bsolo_pb10) R 8521 8523 7974 0 -1 4202496 7935 0 0 0 3809 19 0 0 25 0 1 0 44180551 39825408 7291 1992294400 134512640 137138936 4293687472 18446744073709551615 134542857 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8523/statm: 9723 7291 191 642 0 9079 0 Current children cumulated CPU time (s) 38.28 Current children cumulated vsize (KiB) 38892 [startup+44.7008 s] /proc/loadavg: 1.02 1.19 1.11 2/107 8526 /proc/meminfo: memFree=1705000/2059040 swapFree=4140468/4192956 [pid=8523] ppid=8521 vsize=39136 CPUtime=44.68 /proc/8523/stat : 8523 (bsolo_pb10) R 8521 8523 7974 0 -1 4202496 7986 0 0 0 4447 21 0 0 25 0 1 0 44180551 40075264 7342 1992294400 134512640 137138936 4293687472 18446744073709551615 134542802 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8523/statm: 9784 7342 191 642 0 9140 0 Current children cumulated CPU time (s) 44.68 Current children cumulated vsize (KiB) 39136 [startup+46.3009 s] /proc/loadavg: 1.02 1.19 1.11 2/107 8526 /proc/meminfo: memFree=1704628/2059040 swapFree=4140468/4192956 [pid=8523] ppid=8521 vsize=39272 CPUtime=46.28 /proc/8523/stat : 8523 (bsolo_pb10) R 8521 8523 7974 0 -1 4202496 8035 0 0 0 4607 21 0 0 25 0 1 0 44180551 40214528 7391 1992294400 134512640 137138936 4293687472 18446744073709551615 134542378 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8523/statm: 9818 7391 191 642 0 9174 0 Current children cumulated CPU time (s) 46.28 Current children cumulated vsize (KiB) 39272 [startup+47.101 s] /proc/loadavg: 1.02 1.19 1.11 2/107 8526 /proc/meminfo: memFree=1704628/2059040 swapFree=4140468/4192956 [pid=8523] ppid=8521 vsize=39272 CPUtime=47.08 /proc/8523/stat : 8523 (bsolo_pb10) R 8521 8523 7974 0 -1 4202496 8035 0 0 0 4687 21 0 0 25 0 1 0 44180551 40214528 7391 1992294400 134512640 137138936 4293687472 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8523/statm: 9818 7391 191 642 0 9174 0 Current children cumulated CPU time (s) 47.08 Current children cumulated vsize (KiB) 39272 [startup+47.5011 s] /proc/loadavg: 1.02 1.18 1.11 2/107 8526 /proc/meminfo: memFree=1704504/2059040 swapFree=4140468/4192956 [pid=8523] ppid=8521 vsize=39272 CPUtime=47.47 /proc/8523/stat : 8523 (bsolo_pb10) R 8521 8523 7974 0 -1 4202496 8035 0 0 0 4726 21 0 0 25 0 1 0 44180551 40214528 7391 1992294400 134512640 137138936 4293687472 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8523/statm: 9818 7391 191 642 0 9174 0 Current children cumulated CPU time (s) 47.47 Current children cumulated vsize (KiB) 39272 [startup+47.7011 s] /proc/loadavg: 1.02 1.18 1.11 2/107 8526 /proc/meminfo: memFree=1704504/2059040 swapFree=4140468/4192956 [pid=8523] ppid=8521 vsize=39272 CPUtime=47.67 /proc/8523/stat : 8523 (bsolo_pb10) R 8521 8523 7974 0 -1 4202496 8035 0 0 0 4746 21 0 0 25 0 1 0 44180551 40214528 7391 1992294400 134512640 137138936 4293687472 18446744073709551615 135984587 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8523/statm: 9818 7391 191 642 0 9174 0 Current children cumulated CPU time (s) 47.67 Current children cumulated vsize (KiB) 39272 Child status: 0 Real time (s): 47.7232 CPU time (s): 47.7097 CPU user time (s): 47.4878 CPU system time (s): 0.221966 CPU usage (%): 99.9718 Max. virtual memory (cumulated for all children) (KiB): 39384 getrusage(RUSAGE_CHILDREN,...) data: user time used= 47.4878 system time used= 0.221966 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8036 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= 102 runsolver used 0.080987 second user time and 0.234964 second system time The end
Begin job on node005 at 2010-06-16 12:56:08 IDJOB=2657217 IDBENCH=71827 IDSOLVER=1163 FILE ID=node005/2657217-1276685768 PBS_JOBID= 11172568 Free space on /tmp= 62564 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-2000opt.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657217-1276685768/watcher-2657217-1276685768 -o /tmp/evaluation-result-2657217-1276685768/solver-2657217-1276685768 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657217-1276685768.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d2e31bd1942364d9129e439b3449a3af RANDOM SEED=881239180 node005.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.246 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.49 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.246 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: 1734296 kB Buffers: 97600 kB Cached: 131840 kB SwapCached: 6352 kB Active: 93900 kB Inactive: 149380 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1734296 kB SwapTotal: 4192956 kB SwapFree: 4140468 kB Dirty: 4884 kB Writeback: 0 kB AnonPages: 11656 kB Mapped: 13064 kB Slab: 59680 kB PageTables: 4036 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181236 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= 62560 MiB End job on node005 at 2010-06-16 12:56:56