Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | OPT | -70 | 54.0848 | 54.1132 |
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: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656292-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.163 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.344 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.36 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.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.37 c 0 2001 29720 88494 2 59459 10793 4 0 0.38 0.29/0.37 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.38 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 29783 89148 2 59600 11015 67 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 32 2001 29786 89267 2 59620 11015 70 79 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 64 2001 29848 89894 3 59765 11015 132 153 0.42 0.39/0.42 o -55 0.49/0.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.57 c 86 2001 29890 90327 3 59868 11015 174 200 0.43 0.49/0.57 c 187 2001 30055 95392 3 60195 12117 339 403 0.46 0.49/0.57 c 437 2001 30476 105438 3 61031 13329 760 826 0.53 0.49/0.57 o -58 0.89/0.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.93 c 547 2001 30672 108851 3 61444 11015 956 952 0.57 0.89/0.93 c 647 2001 30847 112453 3 61807 12117 1131 1071 0.60 0.89/0.93 c 897 2001 31261 125121 4 62631 13329 1545 1313 0.68 0.89/0.93 c 1372 2001 32016 150017 4 64150 14662 2300 1608 0.85 0.89/0.93 o -60 0.89/0.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.99 c 1548 2001 32309 158725 4 64739 11015 2593 1659 0.93 0.89/0.99 c 1648 2001 32470 163965 5 65063 12117 2754 1691 0.97 0.89/0.99 o -61 1.29/1.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.35 c 1668 2001 32509 164528 5 65161 11015 2793 1681 0.99 1.29/1.35 c 1768 2001 32654 171689 5 65455 12117 2938 1703 1.04 1.29/1.35 c 2018 2001 33032 186928 5 66232 13329 3316 1757 1.15 1.29/1.35 o -62 1.49/1.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.56 c 2423 2001 33628 216838 6 67417 11015 3912 1793 1.35 1.49/1.56 c 2523 2001 33777 222544 6 67771 12117 4061 1793 1.41 1.49/1.56 c 2776 2001 34139 240632 7 68461 13329 4423 1820 1.52 1.49/1.56 o -63 1.69/1.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.78 c 2809 2001 34188 242839 7 68567 11015 4472 1800 1.56 1.69/1.78 c 2909 2001 34343 248158 7 68902 12117 4627 1804 1.61 1.69/1.78 c 3160 2001 34680 270736 7 69552 13329 4964 1812 1.74 1.69/1.78 o -65 2.39/2.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.43 c 3197 2001 34736 273429 7 69687 11015 5020 1794 1.78 2.39/2.43 c 3297 2001 34867 281048 8 69977 12117 5151 1793 1.84 2.39/2.43 c 3548 2001 35206 302222 8 70633 13329 5490 1795 1.98 2.39/2.43 c 4023 2001 35799 342934 9 71839 14662 6083 1804 2.23 2.39/2.43 o -66 4.78/4.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.78/4.81 c 4338 2001 36225 368750 10 72737 11015 6509 1780 2.44 4.78/4.81 c 4438 2001 36373 374931 10 73034 12117 6657 1775 2.50 4.78/4.81 c 4688 2001 36712 394808 10 73722 13329 6996 1765 2.66 4.78/4.81 c 5163 2001 37314 432343 11 74904 14662 7598 1773 2.91 4.78/4.81 c 5976 2001 38366 499524 13 77002 16129 8650 1733 3.45 4.78/4.81 c 7296 2001 40049 606296 15 80342 17742 10333 1646 4.43 4.78/4.81 o -67 18.88/18.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.88/18.90 c 7727 2001 40600 644889 15 81465 11015 10884 1606 4.81 18.88/18.90 c 7828 2001 40726 652603 16 81744 12117 11010 1597 4.90 18.88/18.90 c 8078 2001 41055 672154 16 82380 13329 11339 1572 5.14 18.88/18.90 c 8554 2001 41646 714487 17 83577 14662 11930 1544 5.54 18.88/18.90 c 9367 2000 42629 778289 18 85539 16129 12913 1484 6.31 18.88/18.90 c 10687 1999 44158 889525 20 88561 17742 14442 1386 7.71 18.88/18.90 c 12768 1998 46449 1049319 22 93145 19517 16733 1280 9.97 18.88/18.90 c 15991 1995 40327 737502 18 80674 21469 10611 1178 13.57 18.88/18.90 c 20928 1993 45574 1085136 23 91173 23616 15858 1146 18.26 18.88/18.90 o -68 24.19/24.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.19/24.29 c 21379 1993 46059 1117936 24 92159 10111 16343 1131 18.90 24.19/24.29 c 21479 1993 35203 368941 10 70426 11123 5487 1121 19.15 24.19/24.29 c 21729 1993 35501 387424 10 71020 12236 5785 1125 19.30 24.19/24.29 c 22204 1993 36067 425250 11 72151 13460 6351 1131 19.62 24.19/24.29 c 23017 1993 37080 489081 13 74181 14807 7364 1142 20.14 24.19/24.29 c 24337 1993 38653 586626 15 77329 16288 8937 1153 21.09 24.19/24.29 c 26418 1992 41096 751189 18 82208 17917 11380 1156 22.85 24.19/24.29 o -70 54.06/54.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 54.06/54.10 c 27945 1991 42796 859913 20 85629 10107 13080 1150 24.29 54.06/54.10 c 28045 1991 35198 375141 10 70417 11118 5482 1144 24.51 54.06/54.10 c 28295 1991 35500 394076 11 71017 12230 5784 1147 24.65 54.06/54.10 c 28770 1991 36057 426911 11 72131 13454 6341 1153 24.94 54.06/54.10 c 29583 1990 36994 483838 13 74008 14800 7278 1161 25.46 54.06/54.10 c 30903 1990 38438 577923 15 76895 16281 8722 1174 26.31 54.06/54.10 c 32984 1989 40658 715802 17 81332 17910 10942 1179 27.98 54.06/54.10 c 36208 1985 44053 923395 20 88118 19702 14337 1172 30.88 54.06/54.10 c 41144 1980 49188 1213738 24 98384 21673 19472 1110 37.06 54.06/54.10 c 48650 1965 46385 897097 19 92763 23841 16669 1066 45.61 54.06/54.10 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 54.06/54.11 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 54.06/54.11 c 63 55072 2997 90417 52944 1099981 23228 1018 54.08 54.06/54.11 c Objective: -70 54.06/54.11 s OPTIMUM FOUND 54.06/54.11 c Total time: 54.08 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-2656292-1276685768/watcher-2656292-1276685768 -o /tmp/evaluation-result-2656292-1276685768/solver-2656292-1276685768 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656292-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.92 1.95 1.63 3/106 10539 /proc/meminfo: memFree=1600648/2059040 swapFree=4140048/4192956 [pid=10539] ppid=10537 vsize=11896 CPUtime=0 /proc/10539/stat : 10539 (bsolo_pb10) R 10537 10539 9353 0 -1 4202496 348 0 0 0 0 0 0 0 18 0 1 0 44180488 12181504 267 1992294400 134512640 137138936 4292136608 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10539/statm: 2974 267 175 642 0 2089 0 [startup+0.0633261 s] /proc/loadavg: 1.92 1.95 1.63 3/106 10539 /proc/meminfo: memFree=1600648/2059040 swapFree=4140048/4192956 [pid=10539] ppid=10537 vsize=12996 CPUtime=0.06 /proc/10539/stat : 10539 (bsolo_pb10) R 10537 10539 9353 0 -1 4202496 720 0 0 0 6 0 0 0 21 0 1 0 44180488 13307904 639 1992294400 134512640 137138936 4292136608 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10539/statm: 3249 639 256 642 0 2364 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 12996 [startup+0.10033 s] /proc/loadavg: 1.92 1.95 1.63 3/106 10539 /proc/meminfo: memFree=1600648/2059040 swapFree=4140048/4192956 [pid=10539] ppid=10537 vsize=13812 CPUtime=0.09 /proc/10539/stat : 10539 (bsolo_pb10) R 10537 10539 9353 0 -1 4202496 963 0 0 0 9 0 0 0 21 0 1 0 44180488 14143488 882 1992294400 134512640 137138936 4292136608 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10539/statm: 3453 883 311 642 0 2568 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13812 [startup+0.300351 s] /proc/loadavg: 1.92 1.95 1.63 3/106 10539 /proc/meminfo: memFree=1600648/2059040 swapFree=4140048/4192956 [pid=10539] ppid=10537 vsize=17168 CPUtime=0.29 /proc/10539/stat : 10539 (bsolo_pb10) R 10537 10539 9353 0 -1 4202496 2159 0 0 0 28 1 0 0 21 0 1 0 44180488 17580032 1837 1992294400 134512640 137138936 4292136608 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10539/statm: 4292 1837 185 642 0 3648 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17168 [startup+0.700398 s] /proc/loadavg: 1.92 1.95 1.63 3/106 10539 /proc/meminfo: memFree=1600648/2059040 swapFree=4140048/4192956 [pid=10539] ppid=10537 vsize=17112 CPUtime=0.69 /proc/10539/stat : 10539 (bsolo_pb10) R 10537 10539 9353 0 -1 4202496 2477 0 0 0 66 3 0 0 22 0 1 0 44180488 17522688 1833 1992294400 134512640 137138936 4292136608 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10539/statm: 4278 1833 192 642 0 3634 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17112 [startup+1.50049 s] /proc/loadavg: 1.92 1.95 1.63 2/107 10540 /proc/meminfo: memFree=1593944/2059040 swapFree=4140048/4192956 [pid=10539] ppid=10537 vsize=18040 CPUtime=1.49 /proc/10539/stat : 10539 (bsolo_pb10) R 10537 10539 9353 0 -1 4202496 2731 0 0 0 145 4 0 0 25 0 1 0 44180488 18472960 2087 1992294400 134512640 137138936 4292136608 18446744073709551615 134601106 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10539/statm: 4510 2087 192 642 0 3866 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18040 [startup+3.10068 s] /proc/loadavg: 1.92 1.95 1.63 2/107 10540 /proc/meminfo: memFree=1591340/2059040 swapFree=4140048/4192956 [pid=10539] ppid=10537 vsize=21316 CPUtime=3.09 /proc/10539/stat : 10539 (bsolo_pb10) R 10537 10539 9353 0 -1 4202496 3533 0 0 0 303 6 0 0 25 0 1 0 44180488 21827584 2889 1992294400 134512640 137138936 4292136608 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10539/statm: 5329 2889 192 642 0 4685 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21316 [startup+6.30104 s] /proc/loadavg: 1.85 1.94 1.62 2/107 10540 /proc/meminfo: memFree=1585760/2059040 swapFree=4140048/4192956 [pid=10539] ppid=10537 vsize=26032 CPUtime=6.29 /proc/10539/stat : 10539 (bsolo_pb10) R 10537 10539 9353 0 -1 4202496 4704 0 0 0 621 8 0 0 25 0 1 0 44180488 26656768 4060 1992294400 134512640 137138936 4292136608 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10539/statm: 6508 4060 192 642 0 5864 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26032 [startup+12.7008 s] /proc/loadavg: 1.78 1.92 1.62 2/107 10540 /proc/meminfo: memFree=1578816/2059040 swapFree=4140048/4192956 [pid=10539] ppid=10537 vsize=32492 CPUtime=12.69 /proc/10539/stat : 10539 (bsolo_pb10) R 10537 10539 9353 0 -1 4202496 6345 0 0 0 1259 10 0 0 25 0 1 0 44180488 33271808 5701 1992294400 134512640 137138936 4292136608 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10539/statm: 8123 5701 192 642 0 7479 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32492 [startup+25.5003 s] /proc/loadavg: 1.61 1.87 1.61 2/107 10542 /proc/meminfo: memFree=1577824/2059040 swapFree=4140048/4192956 [pid=10539] ppid=10537 vsize=32720 CPUtime=25.48 /proc/10539/stat : 10539 (bsolo_pb10) R 10537 10539 9353 0 -1 4202496 6398 0 0 0 2534 14 0 0 25 0 1 0 44180488 33505280 5754 1992294400 134512640 137138936 4292136608 18446744073709551615 134542796 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10539/statm: 8180 5754 192 642 0 7536 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 32720 [startup+51.1012 s] /proc/loadavg: 1.40 1.80 1.59 2/107 10542 /proc/meminfo: memFree=1576336/2059040 swapFree=4140048/4192956 [pid=10539] ppid=10537 vsize=34244 CPUtime=51.06 /proc/10539/stat : 10539 (bsolo_pb10) R 10537 10539 9353 0 -1 4202496 6772 0 0 0 5086 20 0 0 25 0 1 0 44180488 35065856 6128 1992294400 134512640 137138936 4292136608 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10539/statm: 8561 6128 192 642 0 7917 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 34244 Solver just ended. Dumping a history of the last processes samples [startup+52.7004 s] /proc/loadavg: 1.40 1.80 1.59 2/107 10542 /proc/meminfo: memFree=1576336/2059040 swapFree=4140048/4192956 [pid=10539] ppid=10537 vsize=34244 CPUtime=52.67 /proc/10539/stat : 10539 (bsolo_pb10) R 10537 10539 9353 0 -1 4202496 6772 0 0 0 5246 21 0 0 25 0 1 0 44180488 35065856 6128 1992294400 134512640 137138936 4292136608 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10539/statm: 8561 6128 192 642 0 7917 0 Current children cumulated CPU time (s) 52.67 Current children cumulated vsize (KiB) 34244 [startup+53.5005 s] /proc/loadavg: 1.40 1.80 1.59 2/107 10542 /proc/meminfo: memFree=1576336/2059040 swapFree=4140048/4192956 [pid=10539] ppid=10537 vsize=34248 CPUtime=53.46 /proc/10539/stat : 10539 (bsolo_pb10) R 10537 10539 9353 0 -1 4202496 6773 0 0 0 5325 21 0 0 25 0 1 0 44180488 35069952 6129 1992294400 134512640 137138936 4292136608 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10539/statm: 8562 6129 192 642 0 7918 0 Current children cumulated CPU time (s) 53.46 Current children cumulated vsize (KiB) 34248 [startup+53.9086 s] /proc/loadavg: 1.40 1.80 1.59 2/107 10542 /proc/meminfo: memFree=1576336/2059040 swapFree=4140048/4192956 [pid=10539] ppid=10537 vsize=34248 CPUtime=53.87 /proc/10539/stat : 10539 (bsolo_pb10) R 10537 10539 9353 0 -1 4202496 6773 0 0 0 5366 21 0 0 25 0 1 0 44180488 35069952 6129 1992294400 134512640 137138936 4292136608 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10539/statm: 8562 6129 192 642 0 7918 0 Current children cumulated CPU time (s) 53.87 Current children cumulated vsize (KiB) 34248 [startup+54.1014 s] /proc/loadavg: 1.40 1.80 1.59 2/107 10542 /proc/meminfo: memFree=1576336/2059040 swapFree=4140048/4192956 [pid=10539] ppid=10537 vsize=34248 CPUtime=54.06 /proc/10539/stat : 10539 (bsolo_pb10) R 10537 10539 9353 0 -1 4202496 6773 0 0 0 5385 21 0 0 25 0 1 0 44180488 35069952 6129 1992294400 134512640 137138936 4292136608 18446744073709551615 134542252 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10539/statm: 8562 6129 192 642 0 7918 0 Current children cumulated CPU time (s) 54.06 Current children cumulated vsize (KiB) 34248 Child status: 0 Real time (s): 54.1132 CPU time (s): 54.0848 CPU user time (s): 53.8618 CPU system time (s): 0.222966 CPU usage (%): 99.9474 Max. virtual memory (cumulated for all children) (KiB): 34248 getrusage(RUSAGE_CHILDREN,...) data: user time used= 53.8618 system time used= 0.222966 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6774 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= 826 runsolver used 0.078987 second user time and 0.274958 second system time The end
Begin job on node006 at 2010-06-16 12:56:08 IDJOB=2656292 IDBENCH=71827 IDSOLVER=1162 FILE ID=node006/2656292-1276685768 PBS_JOBID= 11172561 Free space on /tmp= 62504 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-2000opt.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656292-1276685768/watcher-2656292-1276685768 -o /tmp/evaluation-result-2656292-1276685768/solver-2656292-1276685768 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656292-1276685768.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d2e31bd1942364d9129e439b3449a3af RANDOM SEED=244498619 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: 1601052 kB Buffers: 163068 kB Cached: 208680 kB SwapCached: 6988 kB Active: 151240 kB Inactive: 235044 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1601052 kB SwapTotal: 4192956 kB SwapFree: 4140048 kB Dirty: 4872 kB Writeback: 0 kB AnonPages: 12616 kB Mapped: 13060 kB Slab: 49816 kB PageTables: 4036 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181392 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 12:57:02