Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 | OPT | -70 | 18.2002 | 18.2041 |
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.84572 |
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-3708196-1338186655.opb 0.00/0.00 c File size is 985937 bytes. 0.05/0.06 c Highest Coefficient sum: 326 0.05/0.06 c Parsing was ok!! 0.05/0.06 c Total parsing time: 0.064 s 0.05/0.07 c Var: 2025 Constr: 29788 29788/0/0 Lit: 88194 Watch. Lit: 59576 0.05/0.07 c Obj. Vars: 135 (6.66667 % of total variables) 0.09/0.13 c Pre-processing Time: 0.136 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.14 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.15 0.09/0.14 o -17 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 0 2001 29720 88494 2 59459 10793 4 0 0.15 0.09/0.15 o -19 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 0 2001 29721 88605 2 59467 11015 5 0 0.15 0.09/0.15 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.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 31 2001 29783 89148 2 59600 11015 67 200 0.15 0.09/0.16 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 202 0.16 0.09/0.16 o -41 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 64 2001 29848 89894 3 59765 11015 132 392 0.16 0.09/0.17 o -55 0.18/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.23 c 86 2001 29890 90327 3 59868 11015 174 511 0.17 0.18/0.23 c 187 2001 30055 95392 3 60195 12117 339 1021 0.18 0.18/0.23 c 437 2001 30476 105438 3 61031 13329 760 2061 0.21 0.18/0.23 o -58 0.28/0.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.28/0.38 c 547 2001 30672 108851 3 61444 11015 956 2378 0.23 0.28/0.38 c 647 2001 30847 112453 3 61807 12117 1131 2673 0.24 0.28/0.38 c 897 2001 31261 125121 4 62631 13329 1545 3238 0.28 0.28/0.38 c 1372 2001 32016 150017 4 64150 14662 2300 3908 0.35 0.28/0.38 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 4041 0.38 0.38/0.40 c 1648 2001 32470 163965 5 65063 12117 2754 4130 0.40 0.38/0.40 o -61 0.49/0.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.55 c 1668 2001 32509 164528 5 65161 11015 2793 4108 0.41 0.49/0.55 c 1768 2001 32654 171689 5 65455 12117 2938 4160 0.42 0.49/0.55 c 2018 2001 33032 186928 5 66232 13329 3316 4266 0.47 0.49/0.55 o -62 0.59/0.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.64 c 2423 2001 33628 216838 6 67417 11015 3912 4350 0.56 0.59/0.64 c 2523 2001 33777 222544 6 67771 12117 4061 4357 0.58 0.59/0.64 c 2776 2001 34139 240632 7 68461 13329 4423 4399 0.63 0.59/0.64 o -63 0.69/0.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.74 c 2809 2001 34188 242839 7 68567 11015 4472 4361 0.64 0.69/0.74 c 2909 2001 34343 248158 7 68902 12117 4627 4381 0.66 0.69/0.74 c 3160 2001 34680 270736 7 69552 13329 4964 4364 0.72 0.69/0.74 o -65 0.99/1.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.01 c 3197 2001 34736 273429 7 69687 11015 5020 4331 0.74 0.99/1.01 c 3297 2001 34867 281048 8 69977 12117 5151 4332 0.76 0.99/1.01 c 3548 2001 35206 302222 8 70633 13329 5490 4326 0.82 0.99/1.01 c 4023 2001 35799 342934 9 71839 14662 6083 4321 0.93 0.99/1.01 o -66 1.89/1.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.94 c 4338 2001 36225 368750 10 72737 11015 6509 4269 1.02 1.89/1.94 c 4438 2001 36373 374931 10 73034 12117 6657 4267 1.04 1.89/1.94 c 4688 2001 36712 394808 10 73722 13329 6996 4246 1.10 1.89/1.94 c 5163 2001 37314 432343 11 74904 14662 7598 4252 1.21 1.89/1.94 c 5976 2001 38366 499524 13 77002 16129 8650 4173 1.43 1.89/1.94 c 7296 2001 40049 606296 15 80342 17742 10333 4039 1.81 1.89/1.94 o -67 6.68/6.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.68/6.73 c 7727 2001 40600 644889 15 81465 11015 10884 3968 1.95 6.68/6.73 c 7828 2001 40726 652603 16 81744 12117 11010 3955 1.98 6.68/6.73 c 8078 2001 41055 672154 16 82380 13329 11339 3915 2.06 6.68/6.73 c 8554 2001 41646 714487 17 83577 14662 11930 3865 2.21 6.68/6.73 c 9367 2000 42629 778289 18 85539 16129 12913 3755 2.49 6.68/6.73 c 10687 1999 44158 889525 20 88561 17742 14442 3587 2.98 6.68/6.73 c 12768 1998 46449 1049319 22 93145 19517 16733 3412 3.74 6.68/6.73 c 15991 1995 40327 737502 18 80674 21469 10611 3212 4.98 6.68/6.73 c 20928 1993 45574 1085136 23 91173 23616 15858 3200 6.54 6.68/6.73 o -68 8.59/8.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.59/8.64 c 21379 1993 46059 1117936 24 92159 10111 16343 3173 6.74 8.59/8.64 c 21479 1993 35203 368941 10 70426 11123 5487 3139 6.84 8.59/8.64 c 21729 1993 35501 387424 10 71020 12236 5785 3150 6.90 8.59/8.64 c 22204 1993 36067 425250 11 72151 13460 6351 3164 7.02 8.59/8.64 c 23017 1993 37080 489081 13 74181 14807 7364 3191 7.21 8.59/8.64 c 24337 1993 38653 586626 15 77329 16288 8937 3222 7.55 8.59/8.64 c 26418 1992 41096 751189 18 82208 17917 11380 3235 8.17 8.59/8.64 o -70 18.19/18.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.19/18.20 c 27945 1991 42796 859913 20 85629 10107 13080 3235 8.64 18.19/18.20 c 28045 1991 35198 375141 10 70417 11118 5482 3212 8.73 18.19/18.20 c 28295 1991 35500 394076 11 71017 12230 5784 3220 8.79 18.19/18.20 c 28770 1991 36057 426911 11 72131 13454 6341 3235 8.89 18.19/18.20 c 29583 1990 36994 483838 13 74008 14800 7278 3256 9.08 18.19/18.20 c 30903 1990 38438 577923 15 76895 16281 8722 3288 9.40 18.19/18.20 c 32984 1989 40658 715802 17 81332 17910 10942 3303 9.98 18.19/18.20 c 36208 1985 44053 923395 20 88118 19702 14337 3306 10.95 18.19/18.20 c 41144 1980 49188 1213738 24 98384 21673 19472 3189 12.90 18.19/18.20 c 48650 1965 46385 897097 19 92763 23841 16669 3112 15.63 18.19/18.20 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.19/18.20 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 18.19/18.20 c 63 55072 2997 90417 52944 1099981 23228 3026 18.20 18.19/18.20 c Objective: -70 18.19/18.20 s OPTIMUM FOUND 18.19/18.20 c Total time: 18.197 s
OK -70
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3708196-1338186655/watcher-3708196-1338186655 -o /tmp/evaluation-result-3708196-1338186655/solver-3708196-1338186655 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708196-1338186655.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.00 2.00 2.00 3/177 32027 /proc/meminfo: memFree=27870980/32873648 swapFree=7104/7104 [pid=32027] ppid=32025 vsize=12040 CPUtime=0 cores=1,3,5,7 /proc/32027/stat : 32027 (bsolo) R 32025 32027 29254 0 -1 4202496 350 0 0 0 0 0 0 0 20 0 1 0 284790955 12328960 303 33554432000 134512640 137138936 4289133440 4289131688 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32027/statm: 3010 303 181 642 0 2125 0 [startup+0.0566331 s] /proc/loadavg: 2.00 2.00 2.00 3/177 32027 /proc/meminfo: memFree=27870980/32873648 swapFree=7104/7104 [pid=32027] ppid=32025 vsize=14636 CPUtime=0.05 cores=1,3,5,7 /proc/32027/stat : 32027 (bsolo) R 32025 32027 29254 0 -1 4202496 1182 0 0 0 5 0 0 0 20 0 1 0 284790955 14987264 1135 33554432000 134512640 137138936 4289133440 4289131688 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32027/statm: 3659 1136 367 642 0 2774 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 14636 [startup+0.100155 s] /proc/loadavg: 2.00 2.00 2.00 3/177 32027 /proc/meminfo: memFree=27870980/32873648 swapFree=7104/7104 [pid=32027] ppid=32025 vsize=17172 CPUtime=0.09 cores=1,3,5,7 /proc/32027/stat : 32027 (bsolo) R 32025 32027 29254 0 -1 4202496 2125 0 0 0 9 0 0 0 20 0 1 0 284790955 17584128 1837 33554432000 134512640 137138936 4289133440 4289107612 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32027/statm: 4293 1837 185 642 0 3649 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17172 [startup+0.300231 s] /proc/loadavg: 2.00 2.00 2.00 3/177 32027 /proc/meminfo: memFree=27870980/32873648 swapFree=7104/7104 [pid=32027] ppid=32025 vsize=17112 CPUtime=0.28 cores=1,3,5,7 /proc/32027/stat : 32027 (bsolo) R 32025 32027 29254 0 -1 4202496 2444 0 0 0 26 2 0 0 20 0 1 0 284790955 17522688 1833 33554432000 134512640 137138936 4289133440 4289132556 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32027/statm: 4278 1833 192 642 0 3634 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 17112 [startup+0.700188 s] /proc/loadavg: 2.00 2.00 2.00 3/177 32027 /proc/meminfo: memFree=27870980/32873648 swapFree=7104/7104 [pid=32027] ppid=32025 vsize=18448 CPUtime=0.69 cores=1,3,5,7 /proc/32027/stat : 32027 (bsolo) R 32025 32027 29254 0 -1 4202496 2792 0 0 0 66 3 0 0 20 0 1 0 284790955 18890752 2181 33554432000 134512640 137138936 4289133440 4289132556 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32027/statm: 4612 2181 192 642 0 3968 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18448 [startup+1.50013 s] /proc/loadavg: 2.00 2.00 2.00 3/178 32028 /proc/meminfo: memFree=27861812/32873648 swapFree=7104/7104 [pid=32027] ppid=32025 vsize=22180 CPUtime=1.48 cores=1,3,5,7 /proc/32027/stat : 32027 (bsolo) R 32025 32027 29254 0 -1 4202496 3727 0 0 0 145 3 0 0 20 0 1 0 284790955 22712320 3116 33554432000 134512640 137138936 4289133440 4289132556 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32027/statm: 5545 3116 192 642 0 4901 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 22180 [startup+3.10021 s] /proc/loadavg: 2.00 2.00 2.00 3/178 32028 /proc/meminfo: memFree=27857216/32873648 swapFree=7104/7104 [pid=32027] ppid=32025 vsize=27948 CPUtime=3.09 cores=1,3,5,7 /proc/32027/stat : 32027 (bsolo) R 32025 32027 29254 0 -1 4202496 5160 0 0 0 305 4 0 0 20 0 1 0 284790955 28618752 4549 33554432000 134512640 137138936 4289133440 4289132556 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32027/statm: 6987 4549 192 642 0 6343 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27948 [startup+6.30022 s] /proc/loadavg: 2.00 2.00 2.00 3/178 32028 /proc/meminfo: memFree=27848964/32873648 swapFree=7104/7104 [pid=32027] ppid=32025 vsize=32732 CPUtime=6.28 cores=1,3,5,7 /proc/32027/stat : 32027 (bsolo) R 32025 32027 29254 0 -1 4202496 6365 0 0 0 623 5 0 0 20 0 1 0 284790955 33517568 5754 33554432000 134512640 137138936 4289133440 4289132556 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32027/statm: 8183 5754 192 642 0 7539 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 32732 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 32028 /proc/meminfo: memFree=27848616/32873648 swapFree=7104/7104 [pid=32027] ppid=32025 vsize=32732 CPUtime=12.69 cores=1,3,5,7 /proc/32027/stat : 32027 (bsolo) R 32025 32027 29254 0 -1 4202496 6365 0 0 0 1262 7 0 0 20 0 1 0 284790955 33517568 5754 33554432000 134512640 137138936 4289133440 4289132556 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32027/statm: 8183 5754 192 642 0 7539 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32732 Solver just ended. Dumping a history of the last processes samples [startup+15.9003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 32028 /proc/meminfo: memFree=27847384/32873648 swapFree=7104/7104 [pid=32027] ppid=32025 vsize=34248 CPUtime=15.88 cores=1,3,5,7 /proc/32027/stat : 32027 (bsolo) R 32025 32027 29254 0 -1 4202496 6739 0 0 0 1581 7 0 0 20 0 1 0 284790955 35069952 6128 33554432000 134512640 137138936 4289133440 4289132556 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32027/statm: 8562 6128 192 642 0 7918 0 Current children cumulated CPU time (s) 15.88 Current children cumulated vsize (KiB) 34248 [startup+17.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 32028 /proc/meminfo: memFree=27847308/32873648 swapFree=7104/7104 [pid=32027] ppid=32025 vsize=34248 CPUtime=17.49 cores=1,3,5,7 /proc/32027/stat : 32027 (bsolo) R 32025 32027 29254 0 -1 4202496 6739 0 0 0 1741 8 0 0 20 0 1 0 284790955 35069952 6128 33554432000 134512640 137138936 4289133440 4289132336 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32027/statm: 8562 6128 192 642 0 7918 0 Current children cumulated CPU time (s) 17.49 Current children cumulated vsize (KiB) 34248 [startup+17.9003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 32028 /proc/meminfo: memFree=27847308/32873648 swapFree=7104/7104 [pid=32027] ppid=32025 vsize=34248 CPUtime=17.89 cores=1,3,5,7 /proc/32027/stat : 32027 (bsolo) R 32025 32027 29254 0 -1 4202496 6739 0 0 0 1781 8 0 0 20 0 1 0 284790955 35069952 6128 33554432000 134512640 137138936 4289133440 4289132556 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32027/statm: 8562 6128 192 642 0 7918 0 Current children cumulated CPU time (s) 17.89 Current children cumulated vsize (KiB) 34248 [startup+18.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 32028 /proc/meminfo: memFree=27847308/32873648 swapFree=7104/7104 [pid=32027] ppid=32025 vsize=34252 CPUtime=18.09 cores=1,3,5,7 /proc/32027/stat : 32027 (bsolo) R 32025 32027 29254 0 -1 4202496 6740 0 0 0 1801 8 0 0 20 0 1 0 284790955 35074048 6129 33554432000 134512640 137138936 4289133440 4289132556 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32027/statm: 8563 6129 192 642 0 7919 0 Current children cumulated CPU time (s) 18.09 Current children cumulated vsize (KiB) 34252 [startup+18.2002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 32028 /proc/meminfo: memFree=27847308/32873648 swapFree=7104/7104 [pid=32027] ppid=32025 vsize=34252 CPUtime=18.19 cores=1,3,5,7 /proc/32027/stat : 32027 (bsolo) R 32025 32027 29254 0 -1 4202496 6740 0 0 0 1811 8 0 0 20 0 1 0 284790955 35074048 6129 33554432000 134512640 137138936 4289133440 4289132556 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32027/statm: 8563 6129 192 642 0 7919 0 Current children cumulated CPU time (s) 18.19 Current children cumulated vsize (KiB) 34252 Child status: 0 Real time (s): 18.2041 CPU time (s): 18.2002 CPU user time (s): 18.1132 CPU system time (s): 0.086986 CPU usage (%): 99.979 Max. virtual memory (cumulated for all children) (KiB): 34252 getrusage(RUSAGE_CHILDREN,...) data: user time used= 18.1132 system time used= 0.086986 maximum resident set size= 24520 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6741 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= 20 runsolver used 0.031995 second user time and 0.091986 second system time The end
Begin job on node127 at 2012-05-28 08:30:55 IDJOB=3708196 IDBENCH=71827 IDSOLVER=2286 FILE ID=node127/3708196-1338186655 RUNJOBID= node127-1338157754-29271 PBS_JOBID= 14624533 Free space on /tmp= 71164 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-3708196-1338186655/watcher-3708196-1338186655 -o /tmp/evaluation-result-3708196-1338186655/solver-3708196-1338186655 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708196-1338186655.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d2e31bd1942364d9129e439b3449a3af RANDOM SEED=365100451 node127.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.94 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 27871516 kB Buffers: 482172 kB Cached: 3539924 kB SwapCached: 0 kB Active: 1317356 kB Inactive: 2801736 kB Active(anon): 98948 kB Inactive(anon): 0 kB Active(file): 1218408 kB Inactive(file): 2801736 kB Unevictable: 7104 kB Mlocked: 7104 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 4540 kB Writeback: 0 kB AnonPages: 102916 kB Mapped: 15128 kB Shmem: 200 kB Slab: 744372 kB SReclaimable: 188400 kB SUnreclaim: 555972 kB KernelStack: 1488 kB PageTables: 4356 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 218340 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 65536 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71160 MiB End job on node127 at 2012-05-28 08:31:13