Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB07: bsolo 3.0.17 | OPT | -81 | 8.14276 | 8.14602 |
Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-3000opt.opb |
MD5SUM | d02d20784bc67f5ad08bddab69f126bc |
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 | -81 |
Best CPU time to get the best result obtained on this benchmark | 1.01284 |
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 | 30406 |
Number of constraints which are clauses | 30406 |
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 | 340 |
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 | 340 |
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-3738249-1338734034.opb 0.00/0.00 c File size is 1007225 bytes. 0.01/0.08 c Highest Coefficient sum: 340 0.01/0.08 c Parsing was ok!! 0.01/0.08 c Total parsing time: 0.078 s 0.01/0.08 c Var: 2025 Constr: 30406 30406/0/0 Lit: 90048 Watch. Lit: 60812 0.01/0.08 c Obj. Vars: 135 (6.66667 % of total variables) 0.09/0.15 c Pre-processing Time: 0.146 s 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 0 1997 30322 89880 2 60644 10107 0 0 0.15 0.09/0.15 c Switching off LPR mode. 0.09/0.15 o -17 0.151 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 0 1997 30323 89987 2 60653 10321 1 0 0.15 0.09/0.15 o -19 0.152 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 10 1997 30334 91132 3 60681 10321 12 65 0.15 0.09/0.15 o -48 0.155 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 42 1997 30367 91366 3 60760 10321 45 270 0.15 0.09/0.16 o -51 0.159 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 83 1997 30409 92500 3 60861 10321 87 518 0.16 0.09/0.16 o -55 0.166 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 156 1997 30483 93471 3 61029 10321 161 939 0.17 0.09/0.17 o -58 0.171 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 206 1997 30534 94186 3 61149 10321 212 1204 0.17 0.19/0.20 c 306 1997 30634 96651 3 61363 11354 312 1719 0.18 0.19/0.20 c 556 1997 30884 103113 3 61860 12490 562 2910 0.19 0.19/0.20 o -59 0.2 0.19/0.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.24 c 641 1997 30970 105172 3 62044 10321 648 3189 0.20 0.19/0.24 c 741 1997 31070 107777 3 62245 11354 748 3579 0.21 0.19/0.24 c 991 1997 31320 118380 3 62756 12490 998 4424 0.22 0.19/0.24 o -61 0.24 0.19/0.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.24 c 1173 1997 31503 124327 3 63144 10321 1181 4887 0.24 0.19/0.24 o -66 0.242 0.19/0.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.27 c 1176 1997 31507 124527 3 63170 10321 1185 4839 0.24 0.19/0.27 c 1276 1997 31607 126774 4 63365 11354 1285 5083 0.25 0.19/0.27 c 1527 1997 31858 136702 4 63866 12490 1536 5676 0.27 0.19/0.27 o -75 0.274 0.69/0.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.71 c 1550 1997 31882 137282 4 63925 10321 1560 5636 0.28 0.69/0.71 c 1651 1997 31983 141174 4 64128 11354 1661 5813 0.28 0.69/0.71 c 1901 1997 32233 150409 4 64622 12490 1911 6232 0.30 0.69/0.71 c 2376 1997 32708 175702 5 65579 13740 2386 6827 0.35 0.69/0.71 c 3190 1997 33522 221762 6 67193 15115 3200 7418 0.43 0.69/0.71 c 4510 1997 34842 302900 8 69853 16627 4520 7762 0.58 0.69/0.71 o -76 0.706 0.89/1.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/1.00 c 5450 1997 35783 363237 10 71729 10321 5461 7708 0.71 0.89/1.00 c 5550 1997 35883 368821 10 71937 11354 5561 7686 0.72 0.89/1.00 c 5801 1997 36134 385692 10 72460 12490 5812 7632 0.76 0.89/1.00 c 6276 1997 36609 416267 11 73419 13740 6287 7570 0.83 0.89/1.00 c 7089 1997 37422 468674 12 75038 15115 7100 7549 0.94 0.89/1.00 o -79 0.999 1.39/1.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.46 c 7418 1997 37752 490532 12 75700 10321 7430 7425 1.00 1.39/1.46 c 7519 1997 37853 496777 13 75917 11354 7531 7378 1.02 1.39/1.46 c 7769 1997 38103 512965 13 76406 12490 7781 7294 1.06 1.39/1.46 c 8244 1997 38578 545408 14 77357 13740 8256 7218 1.14 1.39/1.46 c 9057 1997 39391 595973 15 78987 15115 9069 7171 1.26 1.39/1.46 o -81 1.463 8.09/8.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.09/8.14 c 10084 1996 40419 662556 16 81072 10319 10097 6887 1.46 8.09/8.14 c 10184 1996 40519 668962 16 81271 11351 10197 6848 1.49 8.09/8.14 c 10434 1996 40769 685378 16 81761 12487 10447 6792 1.54 8.09/8.14 c 10909 1996 41244 717058 17 82722 13736 10922 6680 1.63 8.09/8.14 c 11723 1996 42058 775458 18 84331 15110 11736 6491 1.81 8.09/8.14 c 13043 1996 43378 867090 19 86993 16622 13056 6024 2.17 8.09/8.14 c 15125 1994 45460 1005350 22 91153 18285 15138 5606 2.70 8.09/8.14 c 18348 1991 39473 580368 14 78970 20114 9151 5000 3.67 8.09/8.14 c 23284 1985 44409 884096 19 88835 22126 14087 4988 4.67 8.09/8.14 c 30790 1963 51915 1248855 24 103827 24339 21593 4438 6.94 8.09/8.14 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 8.09/8.14 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 8.09/8.14 c 41 33795 1831 55660 42721 535833 12399 4152 8.14 8.09/8.14 c Objective: -81 8.09/8.14 s OPTIMUM FOUND 8.09/8.14 c Total time: 8.139 s
OK -81
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-3738249-1338734034/watcher-3738249-1338734034 -o /tmp/evaluation-result-3738249-1338734034/solver-3738249-1338734034 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3738249-1338734034.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.02 2.01 2.00 2/176 20288 /proc/meminfo: memFree=30421888/32873648 swapFree=6860/6860 [pid=20288] ppid=20286 vsize=5672 CPUtime=0 cores=0,2,4,6 /proc/20288/stat : 20288 (bsolo3.0.17) R 20286 20288 18429 0 -1 4202496 487 0 0 0 0 0 0 0 20 0 1 0 339529276 5808128 423 33554432000 134512640 135840783 4287540896 4287539600 1701159 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/20288/statm: 1419 423 331 325 0 109 0 [startup+0.015351 s] /proc/loadavg: 2.02 2.01 2.00 2/176 20288 /proc/meminfo: memFree=30421888/32873648 swapFree=6860/6860 [pid=20288] ppid=20286 vsize=6224 CPUtime=0.01 cores=0,2,4,6 /proc/20288/stat : 20288 (bsolo3.0.17) R 20286 20288 18429 0 -1 4202496 625 0 0 0 1 0 0 0 20 0 1 0 339529276 6373376 561 33554432000 134512640 135840783 4287540896 4287539832 2477051 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/20288/statm: 1556 561 358 325 0 246 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6224 [startup+0.100768 s] /proc/loadavg: 2.02 2.01 2.00 2/176 20288 /proc/meminfo: memFree=30421888/32873648 swapFree=6860/6860 [pid=20288] ppid=20286 vsize=9696 CPUtime=0.09 cores=0,2,4,6 /proc/20288/stat : 20288 (bsolo3.0.17) R 20286 20288 18429 0 -1 4202496 1989 0 0 0 9 0 0 0 20 0 1 0 339529276 9928704 1679 33554432000 134512640 135840783 4287540896 4287515676 5891120 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/20288/statm: 2424 1679 344 325 0 1360 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9696 [startup+0.300202 s] /proc/loadavg: 2.02 2.01 2.00 2/176 20288 /proc/meminfo: memFree=30421888/32873648 swapFree=6860/6860 [pid=20288] ppid=20286 vsize=11092 CPUtime=0.29 cores=0,2,4,6 /proc/20288/stat : 20288 (bsolo3.0.17) R 20286 20288 18429 0 -1 4202496 2676 0 0 0 29 0 0 0 20 0 1 0 339529276 11358208 2037 33554432000 134512640 135840783 4287540896 4287540256 134551330 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/20288/statm: 2773 2037 351 325 0 1709 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11092 [startup+0.700193 s] /proc/loadavg: 2.02 2.01 2.00 2/176 20288 /proc/meminfo: memFree=30421888/32873648 swapFree=6860/6860 [pid=20288] ppid=20286 vsize=13680 CPUtime=0.69 cores=0,2,4,6 /proc/20288/stat : 20288 (bsolo3.0.17) R 20286 20288 18429 0 -1 4202496 3335 0 0 0 69 0 0 0 20 0 1 0 339529276 14008320 2696 33554432000 134512640 135840783 4287540896 4287540132 1695817 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/20288/statm: 3420 2696 351 325 0 2356 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13680 [startup+1.50021 s] /proc/loadavg: 2.02 2.01 2.00 3/177 20289 /proc/meminfo: memFree=30410704/32873648 swapFree=6860/6860 [pid=20288] ppid=20286 vsize=18212 CPUtime=1.49 cores=0,2,4,6 /proc/20288/stat : 20288 (bsolo3.0.17) R 20286 20288 18429 0 -1 4202496 4466 0 0 0 149 0 0 0 20 0 1 0 339529276 18649088 3827 33554432000 134512640 135840783 4287540896 4287540192 134572659 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/20288/statm: 4553 3827 351 325 0 3489 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18212 [startup+3.10023 s] /proc/loadavg: 2.02 2.01 2.00 3/177 20289 /proc/meminfo: memFree=30405372/32873648 swapFree=6860/6860 [pid=20288] ppid=20286 vsize=24420 CPUtime=3.08 cores=0,2,4,6 /proc/20288/stat : 20288 (bsolo3.0.17) R 20286 20288 18429 0 -1 4202496 6004 0 0 0 308 0 0 0 20 0 1 0 339529276 25006080 5365 33554432000 134512640 135840783 4287540896 4287540256 134550804 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/20288/statm: 6105 5365 351 325 0 5041 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 24420 [startup+6.30024 s] /proc/loadavg: 2.02 2.01 2.00 3/177 20289 /proc/meminfo: memFree=30399668/32873648 swapFree=6860/6860 [pid=20288] ppid=20286 vsize=26112 CPUtime=6.28 cores=0,2,4,6 /proc/20288/stat : 20288 (bsolo3.0.17) R 20286 20288 18429 0 -1 4202496 6446 0 0 0 628 0 0 0 20 0 1 0 339529276 26738688 5807 33554432000 134512640 135840783 4287540896 4287539316 1695725 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/20288/statm: 6528 5807 351 325 0 5464 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 26112 Solver just ended. Dumping a history of the last processes samples [startup+7.10026 s] /proc/loadavg: 2.02 2.01 2.00 3/177 20289 /proc/meminfo: memFree=30399792/32873648 swapFree=6860/6860 [pid=20288] ppid=20286 vsize=27164 CPUtime=7.08 cores=0,2,4,6 /proc/20288/stat : 20288 (bsolo3.0.17) R 20286 20288 18429 0 -1 4202496 6695 0 0 0 708 0 0 0 20 0 1 0 339529276 27815936 6056 33554432000 134512640 135840783 4287540896 4287540256 134551330 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/20288/statm: 6791 6056 351 325 0 5727 0 Current children cumulated CPU time (s) 7.08 Current children cumulated vsize (KiB) 27164 [startup+7.90025 s] /proc/loadavg: 2.02 2.01 2.00 3/177 20289 /proc/meminfo: memFree=30398320/32873648 swapFree=6860/6860 [pid=20288] ppid=20286 vsize=28212 CPUtime=7.89 cores=0,2,4,6 /proc/20288/stat : 20288 (bsolo3.0.17) R 20286 20288 18429 0 -1 4202496 6954 0 0 0 788 1 0 0 20 0 1 0 339529276 28889088 6315 33554432000 134512640 135840783 4287540896 4287540248 10500281 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/20288/statm: 7053 6315 351 325 0 5989 0 Current children cumulated CPU time (s) 7.89 Current children cumulated vsize (KiB) 28212 [startup+8.10022 s] /proc/loadavg: 2.02 2.01 2.00 3/177 20289 /proc/meminfo: memFree=30398320/32873648 swapFree=6860/6860 [pid=20288] ppid=20286 vsize=28344 CPUtime=8.09 cores=0,2,4,6 /proc/20288/stat : 20288 (bsolo3.0.17) R 20286 20288 18429 0 -1 4202496 7001 0 0 0 808 1 0 0 20 0 1 0 339529276 29024256 6362 33554432000 134512640 135840783 4287540896 4287540320 134546112 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/20288/statm: 7086 6362 351 325 0 6022 0 Current children cumulated CPU time (s) 8.09 Current children cumulated vsize (KiB) 28344 Child status: 0 Real time (s): 8.14602 CPU time (s): 8.14276 CPU user time (s): 8.12976 CPU system time (s): 0.012998 CPU usage (%): 99.96 Max. virtual memory (cumulated for all children) (KiB): 28344 getrusage(RUSAGE_CHILDREN,...) data: user time used= 8.12976 system time used= 0.012998 maximum resident set size= 25448 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7004 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= 7 involuntary context switches= 21 runsolver used 0.014997 second user time and 0.036994 second system time The end
Begin job on node124 at 2012-06-03 16:33:54 IDJOB=3738249 IDBENCH=71837 IDSOLVER=2318 FILE ID=node124/3738249-1338734034 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-3000opt.opb COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3738249-1338734034/watcher-3738249-1338734034 -o /tmp/evaluation-result-3738249-1338734034/solver-3738249-1338734034 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3738249-1338734034.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d02d20784bc67f5ad08bddab69f126bc RANDOM SEED=1646277769 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: 30422268 kB Buffers: 202696 kB Cached: 1382604 kB SwapCached: 8268 kB Active: 497444 kB Inactive: 1186456 kB Active(anon): 92564 kB Inactive(anon): 8240 kB Active(file): 404880 kB Inactive(file): 1178216 kB Unevictable: 6860 kB Mlocked: 6860 kB SwapTotal: 67108856 kB SwapFree: 67091596 kB Dirty: 7480 kB Writeback: 0 kB AnonPages: 99428 kB Mapped: 10492 kB Shmem: 0 kB Slab: 630508 kB SReclaimable: 74644 kB SUnreclaim: 555864 kB KernelStack: 1448 kB PageTables: 4200 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 213068 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 86016 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:34:02