Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 | OPT | -70 | 18.1572 | 18.1575 |
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 | 1.05884 |
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 Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Instance file HOME/instance-3462340-1307185088.opb 0.00/0.00 c File size is 985937 bytes. 0.00/0.06 c Highest Coefficient sum: 326 0.00/0.06 c Parsing was ok!! 0.00/0.06 c Total parsing time: 0.063 s 0.00/0.07 c Var: 2025 Constr: 29788 29788/0/0 Lit: 88194 Watch. Lit: 59576 0.00/0.07 c Obj. Vars: 135 (6.66667 % of total variables) 0.09/0.13 c Pre-processing Time: 0.133 s 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 0 2001 29716 88050 2 59432 9905 0 0 0.13 0.09/0.13 c Switching off lower bounding mode. 0.09/0.14 o -9 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 0 2001 29717 88161 2 59439 10127 1 0 0.14 0.09/0.14 o -11 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 0 2001 29718 88272 2 59445 10349 2 0 0.14 0.09/0.14 o -14 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 0 2001 29719 88383 2 59450 10571 3 0 0.14 0.09/0.14 o -17 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 0 2001 29720 88494 2 59459 10793 4 0 0.14 0.09/0.14 o -19 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 0 2001 29721 88605 2 59467 11015 5 0 0.14 0.09/0.14 o -21 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 1 2001 29723 88820 2 59479 11015 7 6 0.15 0.09/0.15 o -35 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 31 2001 29783 89148 2 59600 11015 67 205 0.15 0.09/0.15 o -38 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 32 2001 29786 89267 2 59620 11015 70 209 0.15 0.09/0.16 o -41 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 64 2001 29848 89894 3 59765 11015 132 402 0.16 0.09/0.16 o -55 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 86 2001 29890 90327 3 59868 11015 174 527 0.16 0.19/0.22 c 187 2001 30055 95392 3 60195 12117 339 1050 0.18 0.19/0.22 c 437 2001 30476 105438 3 61031 13329 760 2111 0.21 0.19/0.22 o -58 0.29/0.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.37 c 547 2001 30672 108851 3 61444 11015 956 2431 0.23 0.29/0.37 c 647 2001 30847 112453 3 61807 12117 1131 2729 0.24 0.29/0.37 c 897 2001 31261 125121 4 62631 13329 1545 3297 0.27 0.29/0.37 c 1372 2001 32016 150017 4 64150 14662 2300 3976 0.34 0.29/0.37 o -60 0.38/0.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.38/0.40 c 1548 2001 32309 158725 4 64739 11015 2593 4106 0.38 0.38/0.40 c 1648 2001 32470 163965 5 65063 12117 2754 4182 0.39 0.38/0.40 o -61 0.48/0.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.48/0.55 c 1668 2001 32509 164528 5 65161 11015 2793 4170 0.40 0.48/0.55 c 1768 2001 32654 171689 5 65455 12117 2938 4219 0.42 0.48/0.55 c 2018 2001 33032 186928 5 66232 13329 3316 4321 0.47 0.48/0.55 o -62 0.59/0.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.63 c 2423 2001 33628 216838 6 67417 11015 3912 4397 0.55 0.59/0.63 c 2523 2001 33777 222544 6 67771 12117 4061 4403 0.57 0.59/0.63 c 2776 2001 34139 240632 7 68461 13329 4423 4448 0.62 0.59/0.63 o -63 0.69/0.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.73 c 2809 2001 34188 242839 7 68567 11015 4472 4409 0.64 0.69/0.73 c 2909 2001 34343 248158 7 68902 12117 4627 4427 0.66 0.69/0.73 c 3160 2001 34680 270736 7 69552 13329 4964 4407 0.72 0.69/0.73 o -65 0.99/1.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.00 c 3197 2001 34736 273429 7 69687 11015 5020 4373 0.73 0.99/1.00 c 3297 2001 34867 281048 8 69977 12117 5151 4372 0.75 0.99/1.00 c 3548 2001 35206 302222 8 70633 13329 5490 4364 0.81 0.99/1.00 c 4023 2001 35799 342934 9 71839 14662 6083 4353 0.92 0.99/1.00 o -66 1.89/1.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.93 c 4338 2001 36225 368750 10 72737 11015 6509 4307 1.01 1.89/1.93 c 4438 2001 36373 374931 10 73034 12117 6657 4300 1.03 1.89/1.93 c 4688 2001 36712 394808 10 73722 13329 6996 4281 1.09 1.89/1.93 c 5163 2001 37314 432343 11 74904 14662 7598 4281 1.21 1.89/1.93 c 5976 2001 38366 499524 13 77002 16129 8650 4196 1.42 1.89/1.93 c 7296 2001 40049 606296 15 80342 17742 10333 4060 1.80 1.89/1.93 o -67 6.71/6.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.71/6.72 c 7727 2001 40600 644889 15 81465 11015 10884 3989 1.94 6.71/6.72 c 7828 2001 40726 652603 16 81744 12117 11010 3975 1.97 6.71/6.72 c 8078 2001 41055 672154 16 82380 13329 11339 3932 2.05 6.71/6.72 c 8554 2001 41646 714487 17 83577 14662 11930 3884 2.20 6.71/6.72 c 9367 2000 42629 778289 18 85539 16129 12913 3770 2.48 6.71/6.72 c 10687 1999 44158 889525 20 88561 17742 14442 3598 2.97 6.71/6.72 c 12768 1998 46449 1049319 22 93145 19517 16733 3420 3.73 6.71/6.72 c 15991 1995 40327 737502 18 80674 21469 10611 3220 4.96 6.71/6.72 c 20928 1993 45574 1085136 23 91173 23616 15858 3205 6.53 6.71/6.72 o -68 8.59/8.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.59/8.62 c 21379 1993 46059 1117936 24 92159 10111 16343 3179 6.72 8.59/8.62 c 21479 1993 35203 368941 10 70426 11123 5487 3143 6.83 8.59/8.62 c 21729 1993 35501 387424 10 71020 12236 5785 3155 6.89 8.59/8.62 c 22204 1993 36067 425250 11 72151 13460 6351 3169 7.01 8.59/8.62 c 23017 1993 37080 489081 13 74181 14807 7364 3196 7.20 8.59/8.62 c 24337 1993 38653 586626 15 77329 16288 8937 3227 7.54 8.59/8.62 c 26418 1992 41096 751189 18 82208 17917 11380 3239 8.15 8.59/8.62 o -70 18.09/18.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.09/18.15 c 27945 1991 42796 859913 20 85629 10107 13080 3240 8.62 18.09/18.15 c 28045 1991 35198 375141 10 70417 11118 5482 3217 8.72 18.09/18.15 c 28295 1991 35500 394076 11 71017 12230 5784 3225 8.77 18.09/18.15 c 28770 1991 36057 426911 11 72131 13454 6341 3239 8.88 18.09/18.15 c 29583 1990 36994 483838 13 74008 14800 7278 3261 9.07 18.09/18.15 c 30903 1990 38438 577923 15 76895 16281 8722 3293 9.38 18.09/18.15 c 32984 1989 40658 715802 17 81332 17910 10942 3307 9.97 18.09/18.15 c 36208 1985 44053 923395 20 88118 19702 14337 3310 10.94 18.09/18.15 c 41144 1980 49188 1213738 24 98384 21673 19472 3194 12.88 18.09/18.15 c 48650 1965 46385 897097 19 92763 23841 16669 3119 15.59 18.09/18.15 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 18.09/18.15 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 18.09/18.15 c 63 55072 2997 90417 52944 1099981 23228 3033 18.16 18.09/18.15 c Objective: -70 18.09/18.15 s OPTIMUM FOUND 18.09/18.15 c Total time: 18.155 s
OK -70
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3462340-1307185088/watcher-3462340-1307185088 -o /tmp/evaluation-result-3462340-1307185088/solver-3462340-1307185088 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462340-1307185088.opb running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.06 2.03 2.01 2/483 25747 /proc/meminfo: memFree=24713012/32950928 swapFree=61542356/67111528 [pid=25747] ppid=25745 vsize=12308 CPUtime=0 cores=1,3,5,7 /proc/25747/stat : 25747 (bsolo) R 25745 25747 22562 0 -1 4202496 448 0 0 0 0 0 0 0 25 0 1 0 908739503 12603392 402 33554432000 134512640 137138936 4289468912 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25747/statm: 3077 402 203 642 0 2192 0 [startup+0.103305 s] /proc/loadavg: 2.06 2.03 2.01 2/483 25747 /proc/meminfo: memFree=24713012/32950928 swapFree=61542356/67111528 [pid=25747] ppid=25745 vsize=17168 CPUtime=0.09 cores=1,3,5,7 /proc/25747/stat : 25747 (bsolo) R 25745 25747 22562 0 -1 4202496 2124 0 0 0 8 1 0 0 25 0 1 0 908739503 17580032 1837 33554432000 134512640 137138936 4289468912 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25747/statm: 4292 1837 185 642 0 3648 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17168 [startup+0.200282 s] /proc/loadavg: 2.06 2.03 2.01 2/483 25747 /proc/meminfo: memFree=24713012/32950928 swapFree=61542356/67111528 [pid=25747] ppid=25745 vsize=17104 CPUtime=0.19 cores=1,3,5,7 /proc/25747/stat : 25747 (bsolo) R 25745 25747 22562 0 -1 4202496 2442 0 0 0 15 4 0 0 25 0 1 0 908739503 17514496 1832 33554432000 134512640 137138936 4289468912 18446744073709551615 136297616 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25747/statm: 4276 1832 192 642 0 3632 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 17104 [startup+0.300267 s] /proc/loadavg: 2.06 2.03 2.01 2/483 25747 /proc/meminfo: memFree=24713012/32950928 swapFree=61542356/67111528 [pid=25747] ppid=25745 vsize=17108 CPUtime=0.29 cores=1,3,5,7 /proc/25747/stat : 25747 (bsolo) R 25745 25747 22562 0 -1 4202496 2443 0 0 0 25 4 0 0 25 0 1 0 908739503 17518592 1833 33554432000 134512640 137138936 4289468912 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25747/statm: 4277 1833 192 642 0 3633 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17108 [startup+0.70019 s] /proc/loadavg: 2.06 2.03 2.01 2/483 25747 /proc/meminfo: memFree=24713012/32950928 swapFree=61542356/67111528 [pid=25747] ppid=25745 vsize=18568 CPUtime=0.69 cores=1,3,5,7 /proc/25747/stat : 25747 (bsolo) R 25745 25747 22562 0 -1 4202496 2802 0 0 0 64 5 0 0 25 0 1 0 908739503 19013632 2192 33554432000 134512640 137138936 4289468912 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25747/statm: 4642 2192 192 642 0 3998 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18568 [startup+1.50105 s] /proc/loadavg: 2.06 2.03 2.01 3/484 25748 /proc/meminfo: memFree=24702244/32950928 swapFree=61542356/67111528 [pid=25747] ppid=25745 vsize=22304 CPUtime=1.49 cores=1,3,5,7 /proc/25747/stat : 25747 (bsolo) R 25745 25747 22562 0 -1 4202496 3733 0 0 0 143 6 0 0 25 0 1 0 908739503 22839296 3123 33554432000 134512640 137138936 4289468912 18446744073709551615 134577137 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25747/statm: 5576 3123 192 642 0 4932 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22304 [startup+3.10075 s] /proc/loadavg: 2.06 2.03 2.01 3/484 25748 /proc/meminfo: memFree=24696540/32950928 swapFree=61542356/67111528 [pid=25747] ppid=25745 vsize=27944 CPUtime=3.09 cores=1,3,5,7 /proc/25747/stat : 25747 (bsolo) R 25745 25747 22562 0 -1 4202496 5165 0 0 0 302 7 0 0 25 0 1 0 908739503 28614656 4555 33554432000 134512640 137138936 4289468912 18446744073709551615 134542776 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25747/statm: 6986 4555 192 642 0 6342 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27944 [startup+6.30117 s] /proc/loadavg: 2.14 2.05 2.01 3/484 25748 /proc/meminfo: memFree=24688808/32950928 swapFree=61542356/67111528 [pid=25747] ppid=25745 vsize=32728 CPUtime=6.29 cores=1,3,5,7 /proc/25747/stat : 25747 (bsolo) R 25745 25747 22562 0 -1 4202496 6364 0 0 0 621 8 0 0 25 0 1 0 908739503 33513472 5754 33554432000 134512640 137138936 4289468912 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25747/statm: 8182 5754 192 642 0 7538 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32728 [startup+12.701 s] /proc/loadavg: 2.12 2.05 2.01 3/484 25748 /proc/meminfo: memFree=24688008/32950928 swapFree=61542356/67111528 [pid=25747] ppid=25745 vsize=32728 CPUtime=12.69 cores=1,3,5,7 /proc/25747/stat : 25747 (bsolo) R 25745 25747 22562 0 -1 4202496 6364 0 0 0 1259 10 0 0 25 0 1 0 908739503 33513472 5754 33554432000 134512640 137138936 4289468912 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25747/statm: 8182 5754 192 642 0 7538 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32728 Solver just ended. Dumping a history of the last processes samples [startup+12.8009 s] /proc/loadavg: 2.12 2.05 2.01 3/484 25748 /proc/meminfo: memFree=24688008/32950928 swapFree=61542356/67111528 [pid=25747] ppid=25745 vsize=32728 CPUtime=12.79 cores=1,3,5,7 /proc/25747/stat : 25747 (bsolo) R 25745 25747 22562 0 -1 4202496 6364 0 0 0 1269 10 0 0 25 0 1 0 908739503 33513472 5754 33554432000 134512640 137138936 4289468912 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25747/statm: 8182 5754 192 642 0 7538 0 Current children cumulated CPU time (s) 12.79 Current children cumulated vsize (KiB) 32728 [startup+16.0004 s] /proc/loadavg: 2.11 2.05 2.01 3/484 25748 /proc/meminfo: memFree=24686536/32950928 swapFree=61542356/67111528 [pid=25747] ppid=25745 vsize=34244 CPUtime=15.99 cores=1,3,5,7 /proc/25747/stat : 25747 (bsolo) R 25745 25747 22562 0 -1 4202496 6738 0 0 0 1588 11 0 0 25 0 1 0 908739503 35065856 6128 33554432000 134512640 137138936 4289468912 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25747/statm: 8561 6128 192 642 0 7917 0 Current children cumulated CPU time (s) 15.99 Current children cumulated vsize (KiB) 34244 [startup+16.8002 s] /proc/loadavg: 2.11 2.05 2.01 3/484 25748 /proc/meminfo: memFree=24686784/32950928 swapFree=61542356/67111528 [pid=25747] ppid=25745 vsize=34244 CPUtime=16.79 cores=1,3,5,7 /proc/25747/stat : 25747 (bsolo) R 25745 25747 22562 0 -1 4202496 6738 0 0 0 1668 11 0 0 25 0 1 0 908739503 35065856 6128 33554432000 134512640 137138936 4289468912 18446744073709551615 134542252 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25747/statm: 8561 6128 192 642 0 7917 0 Current children cumulated CPU time (s) 16.79 Current children cumulated vsize (KiB) 34244 [startup+17.601 s] /proc/loadavg: 2.10 2.05 2.01 3/484 25748 /proc/meminfo: memFree=24686784/32950928 swapFree=61542356/67111528 [pid=25747] ppid=25745 vsize=34244 CPUtime=17.6 cores=1,3,5,7 /proc/25747/stat : 25747 (bsolo) R 25745 25747 22562 0 -1 4202496 6738 0 0 0 1749 11 0 0 25 0 1 0 908739503 35065856 6128 33554432000 134512640 137138936 4289468912 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25747/statm: 8561 6128 192 642 0 7917 0 Current children cumulated CPU time (s) 17.6 Current children cumulated vsize (KiB) 34244 [startup+18.001 s] /proc/loadavg: 2.10 2.05 2.01 3/484 25748 /proc/meminfo: memFree=24686784/32950928 swapFree=61542356/67111528 [pid=25747] ppid=25745 vsize=34248 CPUtime=17.99 cores=1,3,5,7 /proc/25747/stat : 25747 (bsolo) R 25745 25747 22562 0 -1 4202496 6739 0 0 0 1788 11 0 0 25 0 1 0 908739503 35069952 6129 33554432000 134512640 137138936 4289468912 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25747/statm: 8562 6129 192 642 0 7918 0 Current children cumulated CPU time (s) 17.99 Current children cumulated vsize (KiB) 34248 [startup+18.101 s] /proc/loadavg: 2.10 2.05 2.01 3/484 25748 /proc/meminfo: memFree=24686784/32950928 swapFree=61542356/67111528 [pid=25747] ppid=25745 vsize=34248 CPUtime=18.09 cores=1,3,5,7 /proc/25747/stat : 25747 (bsolo) R 25745 25747 22562 0 -1 4202496 6739 0 0 0 1798 11 0 0 25 0 1 0 908739503 35069952 6129 33554432000 134512640 137138936 4289468912 18446744073709551615 136296960 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25747/statm: 8562 6129 192 642 0 7918 0 Current children cumulated CPU time (s) 18.09 Current children cumulated vsize (KiB) 34248 Child status: 0 Real time (s): 18.1575 CPU time (s): 18.1572 CPU user time (s): 18.0363 CPU system time (s): 0.120981 CPU usage (%): 99.9988 Max. virtual memory (cumulated for all children) (KiB): 34328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 18.0363 system time used= 0.120981 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6740 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= 3 involuntary context switches= 43 runsolver used 0.084987 second user time and 0.210967 second system time The end
Begin job on node116 at 2011-06-04 12:58:08 IDJOB=3462340 IDBENCH=71827 IDSOLVER=1955 FILE ID=node116/3462340-1307185088 RUNJOBID= node116-1307173957-24165 PBS_JOBID= 13508818 Free space on /tmp= 73884 MiB SOLVER NAME= bsolo 3.2 BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-2000opt.opb COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462340-1307185088/watcher-3462340-1307185088 -o /tmp/evaluation-result-3462340-1307185088/solver-3462340-1307185088 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462340-1307185088.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d2e31bd1942364d9129e439b3449a3af RANDOM SEED=1653763867 node116.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.826 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.826 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.826 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.826 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.826 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.826 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.826 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.826 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 24713292 kB Buffers: 275920 kB Cached: 509020 kB SwapCached: 12580 kB Active: 7575896 kB Inactive: 391808 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 24713292 kB SwapTotal: 67111528 kB SwapFree: 61542356 kB Dirty: 5084 kB Writeback: 0 kB AnonPages: 7180976 kB Mapped: 23372 kB Slab: 140608 kB PageTables: 62692 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 139678284 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73880 MiB End job on node116 at 2011-06-04 12:58:26