Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB07: bsolo 3.0.17 | OPT | -74 | 13.7999 | 13.8074 |
Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-6000opt.opb |
MD5SUM | 192cb779697d7c2a638768a8111e4eb9 |
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 | -74 |
Best CPU time to get the best result obtained on this benchmark | 2.21666 |
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 | 30070 |
Number of constraints which are clauses | 30070 |
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 | 352 |
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 | 352 |
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.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho 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 Memory Limit set to 15500 MB 0.00/0.00 c Instance file HOME/instance-3738194-1338733830.opb 0.00/0.00 c File size is 995041 bytes. 0.00/0.08 c Highest Coefficient sum: 352 0.00/0.08 c Parsing was ok!! 0.00/0.08 c Total parsing time: 0.074 s 0.00/0.08 c Var: 2025 Constr: 30070 30070/0/0 Lit: 89040 Watch. Lit: 60140 0.00/0.08 c Obj. Vars: 135 (6.66667 % of total variables) 0.09/0.14 c Pre-processing Time: 0.141 s 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 0 2001 29998 88896 2 59996 9999 0 0 0.14 0.09/0.14 c Switching off LPR mode. 0.09/0.15 o -16 0.145 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 0 2001 29999 89007 2 60004 10221 1 0 0.15 0.09/0.15 o -21 0.146 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 1 2001 30001 89220 2 60012 10221 3 6 0.15 0.09/0.15 o -42 0.149 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 35 2001 30036 89463 2 60100 10221 38 233 0.15 0.09/0.16 o -43 0.155 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 82 2001 30084 89951 2 60210 10221 86 529 0.15 0.09/0.16 o -51 0.161 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 166 2001 30169 91540 3 60396 10221 171 1024 0.16 0.09/0.17 o -54 0.169 0.18/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.20 c 236 2001 30240 94183 3 60555 10221 242 1396 0.17 0.18/0.20 c 336 2001 30340 96068 3 60753 11244 342 1909 0.18 0.18/0.20 c 586 2001 30590 101274 3 61250 12369 592 3084 0.19 0.18/0.20 o -57 0.195 0.18/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.21 c 614 2001 30619 101498 3 61328 10221 621 3148 0.20 0.18/0.21 c 714 2001 30719 103691 3 61535 11244 721 3534 0.20 0.18/0.21 o -59 0.21 0.18/0.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.25 c 817 2001 30823 105673 3 61770 10221 825 3872 0.21 0.18/0.25 c 917 2001 30923 108255 3 61959 11244 925 4206 0.22 0.18/0.25 c 1167 2001 31173 115480 3 62463 12369 1175 5008 0.23 0.18/0.25 o -60 0.248 0.38/0.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.38/0.40 c 1333 2001 31340 119831 3 62821 10221 1342 5375 0.25 0.38/0.40 c 1433 2001 31440 122909 3 63003 11244 1442 5597 0.26 0.38/0.40 c 1683 2001 31690 132445 4 63535 12369 1692 6097 0.28 0.38/0.40 c 2158 2001 32165 156292 4 64453 13606 2167 6807 0.32 0.38/0.40 c 2971 2001 32978 203687 6 66110 14967 2980 7617 0.39 0.38/0.40 o -65 0.396 0.48/0.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.48/0.59 c 2989 2001 32997 204021 6 66138 10221 2999 7547 0.40 0.48/0.59 c 3090 2001 33098 208577 6 66336 11244 3100 7629 0.41 0.48/0.59 c 3341 2001 33349 223691 6 66854 12369 3351 7787 0.43 0.48/0.59 c 3817 2001 33825 250798 7 67806 13606 3827 8002 0.48 0.48/0.59 c 4630 2001 34638 305003 8 69431 14967 4640 8180 0.57 0.48/0.59 o -67 0.584 0.78/0.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.78/0.84 c 4728 2001 34737 311346 8 69639 10221 4739 8082 0.58 0.78/0.84 c 4828 2001 34837 316857 9 69860 11244 4839 8087 0.60 0.78/0.84 c 5078 2001 35087 333390 9 70369 12369 5089 8085 0.63 0.78/0.84 c 5554 2001 35563 364623 10 71281 13606 5565 8049 0.69 0.78/0.84 c 6368 2001 36377 421142 11 72911 14967 6379 7930 0.80 0.78/0.84 o -68 0.837 1.69/1.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.74 c 6592 2001 36602 438000 11 73387 10221 6604 7866 0.84 1.69/1.74 c 6693 2001 36703 443804 12 73606 11244 6705 7828 0.85 1.69/1.74 c 6943 2001 36953 460512 12 74092 12369 6955 7792 0.89 1.69/1.74 c 7418 2001 37428 494288 13 75066 13606 7430 7679 0.97 1.69/1.74 c 8232 2001 38242 552874 14 76666 14967 8244 7476 1.10 1.69/1.74 c 9552 2001 39562 652888 16 79306 16464 9564 7187 1.33 1.69/1.74 c 11633 2001 41643 809573 19 83485 18111 11645 6822 1.71 1.69/1.74 o -73 1.741 4.18/4.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.18/4.27 c 11781 2001 41792 820361 19 83791 10221 11794 6762 1.74 4.18/4.27 c 11881 2001 35245 377041 10 70514 11244 5247 6659 1.78 4.18/4.27 c 12132 2001 35496 394636 11 71019 12369 5498 6687 1.81 4.18/4.27 c 12607 2001 35971 427226 11 71972 13606 5973 6752 1.87 4.18/4.27 c 13420 2001 36784 485289 13 73596 14967 6786 6819 1.97 4.18/4.27 c 14740 2001 38104 584432 15 76237 16464 8106 6764 2.18 4.18/4.27 c 16822 2001 40186 740002 18 80399 18111 10188 6651 2.53 4.18/4.27 c 20045 2000 43409 983065 22 86843 19923 13411 6385 3.14 4.18/4.27 o -74 4.264 13.78/13.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.78/13.80 c 24519 1997 47884 1308658 27 95814 10213 17886 5748 4.26 13.78/13.80 c 24619 1997 35234 359390 10 70489 11235 5236 5647 4.36 13.78/13.80 c 24870 1997 35485 376375 10 70996 12359 5487 5663 4.39 13.78/13.80 c 25345 1997 35960 409189 11 71941 13595 5962 5685 4.46 13.78/13.80 c 26158 1996 36773 466034 12 73566 14955 6775 5743 4.55 13.78/13.80 c 27478 1996 38093 559393 14 76208 16451 8095 5769 4.76 13.78/13.80 c 29559 1995 40174 705970 17 80370 18097 10176 5778 5.12 13.78/13.80 c 32782 1992 43397 920826 21 86813 19907 13399 5627 5.83 13.78/13.80 c 37718 1987 48333 1261665 26 96681 21898 18335 5304 7.11 13.78/13.80 c 45225 1980 44836 928366 20 89679 24088 14838 4969 9.10 13.78/13.80 c 56586 1953 44157 694059 15 88297 26497 14159 4526 12.50 13.78/13.80 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 13.78/13.80 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 13.78/13.80 c 54 61791 2953 87027 49362 826136 19364 4478 13.80 13.78/13.80 c Objective: -74 13.78/13.80 s OPTIMUM FOUND 13.78/13.80 c Total time: 13.796 s
OK -74
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-3738194-1338733830/watcher-3738194-1338733830 -o /tmp/evaluation-result-3738194-1338733830/solver-3738194-1338733830 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3738194-1338733830.opb running on 4 cores: 0,2,4,6 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 2/177 20136 /proc/meminfo: memFree=30436764/32873648 swapFree=6860/6860 [pid=20136] ppid=20134 vsize=4476 CPUtime=0 cores=0,2,4,6 /proc/20136/stat : 20136 (bsolo3.0.17) R 20134 20136 18429 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 339508855 4583424 158 33554432000 134512640 135840783 4287285264 4287284604 5768536 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/20136/statm: 1119 158 136 325 0 39 0 [startup+0.105511 s] /proc/loadavg: 2.00 2.00 2.00 2/177 20136 /proc/meminfo: memFree=30436764/32873648 swapFree=6860/6860 [pid=20136] ppid=20134 vsize=10896 CPUtime=0.09 cores=0,2,4,6 /proc/20136/stat : 20136 (bsolo3.0.17) R 20134 20136 18429 0 -1 4202496 2280 0 0 0 9 0 0 0 20 0 1 0 339508855 11157504 1973 33554432000 134512640 135840783 4287285264 4287259664 2499879 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/20136/statm: 2724 1976 345 325 0 1660 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10896 [startup+0.200253 s] /proc/loadavg: 2.00 2.00 2.00 2/177 20136 /proc/meminfo: memFree=30436764/32873648 swapFree=6860/6860 [pid=20136] ppid=20134 vsize=11032 CPUtime=0.18 cores=0,2,4,6 /proc/20136/stat : 20136 (bsolo3.0.17) R 20134 20136 18429 0 -1 4202496 2652 0 0 0 17 1 0 0 20 0 1 0 339508855 11296768 2019 33554432000 134512640 135840783 4287285264 4287284624 134550910 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/20136/statm: 2758 2019 351 325 0 1694 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 11032 [startup+0.300225 s] /proc/loadavg: 2.00 2.00 2.00 2/177 20136 /proc/meminfo: memFree=30436764/32873648 swapFree=6860/6860 [pid=20136] ppid=20134 vsize=11040 CPUtime=0.28 cores=0,2,4,6 /proc/20136/stat : 20136 (bsolo3.0.17) R 20134 20136 18429 0 -1 4202496 2654 0 0 0 27 1 0 0 20 0 1 0 339508855 11304960 2021 33554432000 134512640 135840783 4287285264 4287284500 2494484 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/20136/statm: 2760 2021 351 325 0 1696 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 11040 [startup+0.700197 s] /proc/loadavg: 2.00 2.00 2.00 2/177 20136 /proc/meminfo: memFree=30436764/32873648 swapFree=6860/6860 [pid=20136] ppid=20134 vsize=13772 CPUtime=0.68 cores=0,2,4,6 /proc/20136/stat : 20136 (bsolo3.0.17) R 20134 20136 18429 0 -1 4202496 3343 0 0 0 67 1 0 0 20 0 1 0 339508855 14102528 2710 33554432000 134512640 135840783 4287285264 4287283136 2499879 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/20136/statm: 3443 2710 351 325 0 2379 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 13772 [startup+1.50021 s] /proc/loadavg: 2.00 2.00 2.00 3/178 20137 /proc/meminfo: memFree=30424688/32873648 swapFree=6860/6860 [pid=20136] ppid=20134 vsize=18836 CPUtime=1.49 cores=0,2,4,6 /proc/20136/stat : 20136 (bsolo3.0.17) R 20134 20136 18429 0 -1 4202496 4620 0 0 0 147 2 0 0 20 0 1 0 339508855 19288064 3987 33554432000 134512640 135840783 4287285264 4287284616 1419449 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/20136/statm: 4709 3987 351 325 0 3645 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18836 [startup+3.10021 s] /proc/loadavg: 2.00 2.00 2.00 3/178 20137 /proc/meminfo: memFree=30420348/32873648 swapFree=6860/6860 [pid=20136] ppid=20134 vsize=22316 CPUtime=3.09 cores=0,2,4,6 /proc/20136/stat : 20136 (bsolo3.0.17) R 20134 20136 18429 0 -1 4202496 5468 0 0 0 307 2 0 0 20 0 1 0 339508855 22851584 4835 33554432000 134512640 135840783 4287285264 4287284576 134551058 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/20136/statm: 5579 4835 351 325 0 4515 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22316 [startup+6.30023 s] /proc/loadavg: 2.00 2.00 2.00 3/178 20137 /proc/meminfo: memFree=30413156/32873648 swapFree=6860/6860 [pid=20136] ppid=20134 vsize=27284 CPUtime=6.28 cores=0,2,4,6 /proc/20136/stat : 20136 (bsolo3.0.17) R 20134 20136 18429 0 -1 4202496 6721 0 0 0 626 2 0 0 20 0 1 0 339508855 27938816 6088 33554432000 134512640 135840783 4287285264 4287284560 134572665 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/20136/statm: 6821 6088 351 325 0 5757 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 27284 [startup+12.7011 s] /proc/loadavg: 2.00 2.00 2.00 3/178 20137 /proc/meminfo: memFree=30410196/32873648 swapFree=6860/6860 [pid=20136] ppid=20134 vsize=30108 CPUtime=12.68 cores=0,2,4,6 /proc/20136/stat : 20136 (bsolo3.0.17) R 20134 20136 18429 0 -1 4202496 7432 0 0 0 1266 2 0 0 20 0 1 0 339508855 30830592 6799 33554432000 134512640 135840783 4287285264 4287284624 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/20136/statm: 7527 6799 351 325 0 6463 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 30108 Solver just ended. Dumping a history of the last processes samples [startup+12.8011 s] /proc/loadavg: 2.00 2.00 2.00 3/178 20137 /proc/meminfo: memFree=30410196/32873648 swapFree=6860/6860 [pid=20136] ppid=20134 vsize=30108 CPUtime=12.78 cores=0,2,4,6 /proc/20136/stat : 20136 (bsolo3.0.17) R 20134 20136 18429 0 -1 4202496 7432 0 0 0 1276 2 0 0 20 0 1 0 339508855 30830592 6799 33554432000 134512640 135840783 4287285264 4287284624 134550939 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/20136/statm: 7527 6799 351 325 0 6463 0 Current children cumulated CPU time (s) 12.78 Current children cumulated vsize (KiB) 30108 [startup+13.6011 s] /proc/loadavg: 2.00 2.00 2.00 3/178 20137 /proc/meminfo: memFree=30410452/32873648 swapFree=6860/6860 [pid=20136] ppid=20134 vsize=30108 CPUtime=13.58 cores=0,2,4,6 /proc/20136/stat : 20136 (bsolo3.0.17) R 20134 20136 18429 0 -1 4202496 7432 0 0 0 1356 2 0 0 20 0 1 0 339508855 30830592 6799 33554432000 134512640 135840783 4287285264 4287284624 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/20136/statm: 7527 6799 351 325 0 6463 0 Current children cumulated CPU time (s) 13.58 Current children cumulated vsize (KiB) 30108 [startup+13.8011 s] /proc/loadavg: 2.00 2.00 2.00 3/178 20137 /proc/meminfo: memFree=30410452/32873648 swapFree=6860/6860 [pid=20136] ppid=20134 vsize=30108 CPUtime=13.78 cores=0,2,4,6 /proc/20136/stat : 20136 (bsolo3.0.17) R 20134 20136 18429 0 -1 4202496 7432 0 0 0 1376 2 0 0 20 0 1 0 339508855 30830592 6799 33554432000 134512640 135840783 4287285264 4287284624 134550899 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/20136/statm: 7527 6799 351 325 0 6463 0 Current children cumulated CPU time (s) 13.78 Current children cumulated vsize (KiB) 30108 Child status: 0 Real time (s): 13.8074 CPU time (s): 13.7999 CPU user time (s): 13.7699 CPU system time (s): 0.029995 CPU usage (%): 99.9458 Max. virtual memory (cumulated for all children) (KiB): 30108 getrusage(RUSAGE_CHILDREN,...) data: user time used= 13.7699 system time used= 0.029995 maximum resident set size= 27196 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7435 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= 12 involuntary context switches= 15 runsolver used 0.033994 second user time and 0.095985 second system time The end
Begin job on node124 at 2012-06-03 16:30:30 IDJOB=3738194 IDBENCH=71832 IDSOLVER=2318 FILE ID=node124/3738194-1338733830 RUNJOBID= node124-1338713740-18445 PBS_JOBID= 14636741 Free space on /tmp= 70700 MiB SOLVER NAME= PB07: bsolo 3.0.17 BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-6000opt.opb COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3738194-1338733830/watcher-3738194-1338733830 -o /tmp/evaluation-result-3738194-1338733830/solver-3738194-1338733830 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3738194-1338733830.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 192cb779697d7c2a638768a8111e4eb9 RANDOM SEED=1306721536 node124.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 : 2667.325 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 : 5334.65 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 : 2667.325 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 : 5385.03 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 : 2667.325 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 : 5385.04 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 : 2667.325 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 : 5357.53 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 : 2667.325 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 : 5385.03 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 : 2667.325 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 : 5385.04 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 : 2667.325 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 : 5385.03 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 : 2667.325 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 : 5385.03 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 30437144 kB Buffers: 202464 kB Cached: 1381816 kB SwapCached: 8268 kB Active: 483840 kB Inactive: 1185784 kB Active(anon): 79080 kB Inactive(anon): 8240 kB Active(file): 404760 kB Inactive(file): 1177544 kB Unevictable: 6860 kB Mlocked: 6860 kB SwapTotal: 67108856 kB SwapFree: 67091596 kB Dirty: 7420 kB Writeback: 0 kB AnonPages: 149796 kB Mapped: 10320 kB Shmem: 0 kB Slab: 630036 kB SReclaimable: 74500 kB SUnreclaim: 555536 kB KernelStack: 1480 kB PageTables: 4344 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 199584 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 120832 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= 70692 MiB End job on node124 at 2012-06-03 16:30:44