Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | OPT | -75 | 159.92 | 159.978 |
Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-10000opt.opb |
MD5SUM | 3c1368de4464ff81756c1b99158c803c |
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 | -75 |
Best CPU time to get the best result obtained on this benchmark | 2.90256 |
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 | 29711 |
Number of constraints which are clauses | 29711 |
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 | 356 |
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 | 356 |
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.1 - 13/04/2009 : 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: Generic Pseudo-Boolean Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1879218-1245249060.opb 0.00/0.00 c File size is 982467 bytes. 0.09/0.13 c Highest Coefficient sum: 356 0.09/0.13 c Parsing was ok!! 0.09/0.13 c Total parsing time: 0.134 s 0.09/0.14 c Var: 2025 Constr: 29711 29711/0/0 Lit: 87963 Watch. Lit: 59422 0.09/0.14 c Obj. Vars: 135 (6.66667 % of total variables) 0.29/0.31 c Pre-processing Time: 0.31 s 0.29/0.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.31 c 0 1995 29621 87783 2 59242 9873 0 0 0.31 0.29/0.31 c Switching off lower bounding mode. 0.29/0.32 o -23 0.29/0.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.33 c 0 1995 29622 87888 2 59251 10083 1 0 0.33 0.29/0.33 o -27 0.29/0.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.34 c 2 1995 29627 88395 2 59280 10083 6 6 0.33 0.29/0.34 o -41 0.29/0.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.35 c 45 1995 29713 88809 2 59464 10083 92 129 0.35 0.29/0.35 o -51 0.29/0.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.38 c 46 1995 29716 88920 2 59488 10083 95 130 0.35 0.29/0.38 o -52 0.29/0.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.39 c 125 1995 29874 91998 3 59954 10083 253 325 0.38 0.29/0.39 o -56 0.39/0.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.40 c 125 1995 29875 92103 3 59976 10083 254 320 0.39 0.39/0.40 o -58 0.59/0.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.65 c 155 1995 29936 94844 3 60272 10083 315 379 0.41 0.59/0.65 c 255 1995 30134 98241 3 60741 11092 513 579 0.44 0.59/0.65 c 505 1995 30628 112415 3 62229 12202 1007 967 0.52 0.59/0.65 o -62 0.89/0.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.91 c 739 1995 31093 137561 4 64164 10083 1472 1128 0.66 0.89/0.91 c 839 1995 31290 143915 4 64589 11092 1669 1180 0.71 0.89/0.91 o -63 1.59/1.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.62 c 1055 1995 31718 167193 5 66872 10083 2097 1146 0.92 1.59/1.62 c 1155 1995 31918 180279 5 67945 11092 2297 1129 1.02 1.59/1.62 c 1406 1995 32413 210635 6 70063 12202 2792 1133 1.24 1.59/1.62 o -65 2.19/2.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.23 c 1829 1995 33256 249679 7 72576 10083 3635 1128 1.62 2.19/2.23 c 1930 1995 33457 257599 7 73401 11092 3836 1117 1.73 2.19/2.23 c 2181 1995 33956 286049 8 75103 12202 4335 1070 2.04 2.19/2.23 o -66 3.98/4.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.98/4.03 c 2296 1995 34185 296201 8 76203 10083 4564 1026 2.24 3.98/4.03 c 2396 1995 34385 304032 8 77621 11092 4764 1002 2.39 3.98/4.03 c 2647 1995 34882 333880 9 79803 12202 5261 932 2.84 3.98/4.03 c 3122 1995 35818 393761 10 85669 13423 6197 780 4.00 3.98/4.03 o -67 7.19/7.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.19/7.22 c 3126 1995 35827 394395 11 82768 10083 6206 774 4.04 7.19/7.22 c 3226 1995 36022 407106 11 85316 11092 6401 751 4.29 7.19/7.22 c 3476 1995 36518 436975 11 86335 12202 6897 709 4.90 7.19/7.22 c 3951 1995 37456 494553 13 93168 13423 7835 614 6.43 7.19/7.22 o -68 7.79/7.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.79/7.86 c 4147 1995 37845 521398 13 94438 10083 8224 574 7.22 7.79/7.86 c 4247 1995 38045 535534 14 94900 11092 8424 559 7.59 7.79/7.86 o -71 19.79/19.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 19.79/19.87 c 4293 1995 38138 541548 14 94879 10083 8517 546 7.86 19.79/19.87 c 4395 1995 38342 556371 14 96964 11092 8721 531 8.27 19.79/19.87 c 4645 1995 38839 591157 15 102646 12202 9218 495 9.37 19.79/19.87 c 5120 1994 39780 659155 16 103063 13423 10159 440 11.62 19.79/19.87 c 5933 1994 41398 782637 18 117642 14766 11777 344 17.21 19.79/19.87 o -72 31.78/31.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 31.78/31.82 c 6377 1993 42279 849368 20 113462 10079 12658 320 19.87 31.78/31.82 c 6477 1993 35018 408441 11 89822 11087 5397 311 20.80 31.78/31.82 c 6727 1993 35512 440306 12 92476 12196 5891 307 21.87 31.78/31.82 c 7203 1993 36457 506842 13 97104 13416 6836 301 23.85 31.78/31.82 c 8016 1992 38076 620228 16 105741 14758 8455 284 28.19 31.78/31.82 o -75 159.83/159.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 159.83/159.97 c 8539 1991 39104 690838 17 109075 10075 9483 268 31.81 159.83/159.97 c 8639 1991 39303 705124 17 109063 11083 9682 265 32.48 159.83/159.97 c 8890 1991 39797 741537 18 113906 12192 10176 258 34.42 159.83/159.97 c 9366 1991 40746 807800 19 121657 13412 11125 245 38.13 159.83/159.97 c 10179 1990 42353 920222 21 128049 14754 12732 225 45.17 159.83/159.97 c 11499 1988 37694 580942 15 107743 16230 8073 197 58.34 159.83/159.97 c 13580 1984 41704 853321 20 122206 17854 12083 179 75.86 159.83/159.97 c 16803 1977 39057 648853 16 110532 19640 9436 147 114.21 159.83/159.97 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 159.83/159.97 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 159.83/159.97 c 45 21591 1801 47828 47953 1168633 18332 135 159.91 159.83/159.97 c Objective: -75 159.83/159.97 s OPTIMUM FOUND 159.83/159.97 c Total time: 159.914 s
OK -75
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879218-1245249060/watcher-1879218-1245249060 -o /tmp/evaluation-result-1879218-1245249060/solver-1879218-1245249060 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879218-1245249060.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 3732 /proc/meminfo: memFree=1784620/2055920 swapFree=4181368/4192956 [pid=3732] ppid=3730 vsize=11668 CPUtime=0 /proc/3732/stat : 3732 (bsolo) R 3730 3732 3324 0 -1 4194304 252 0 0 0 0 0 0 0 18 0 1 0 192503185 11948032 236 1992294400 134512640 137136520 4294956256 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 2917 236 175 640 0 2033 0 [startup+0.054814 s] /proc/loadavg: 1.00 1.00 1.00 3/64 3732 /proc/meminfo: memFree=1784620/2055920 swapFree=4181368/4192956 [pid=3732] ppid=3730 vsize=13040 CPUtime=0.05 /proc/3732/stat : 3732 (bsolo) R 3730 3732 3324 0 -1 4194304 668 0 0 0 5 0 0 0 18 0 1 0 192503185 13352960 652 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 3260 652 263 640 0 2376 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 13040 [startup+0.101821 s] /proc/loadavg: 1.00 1.00 1.00 3/64 3732 /proc/meminfo: memFree=1784620/2055920 swapFree=4181368/4192956 [pid=3732] ppid=3730 vsize=14136 CPUtime=0.09 /proc/3732/stat : 3732 (bsolo) R 3730 3732 3324 0 -1 4194304 1044 0 0 0 9 0 0 0 18 0 1 0 192503185 14475264 1028 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 3534 1029 347 640 0 2650 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14136 [startup+0.301854 s] /proc/loadavg: 1.00 1.00 1.00 3/64 3732 /proc/meminfo: memFree=1784620/2055920 swapFree=4181368/4192956 [pid=3732] ppid=3730 vsize=17036 CPUtime=0.29 /proc/3732/stat : 3732 (bsolo) R 3730 3732 3324 0 -1 4194304 2398 0 0 0 27 2 0 0 19 0 1 0 192503185 17444864 1822 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 4259 1822 191 640 0 3615 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17036 [startup+0.701922 s] /proc/loadavg: 1.00 1.00 1.00 3/64 3732 /proc/meminfo: memFree=1784620/2055920 swapFree=4181368/4192956 [pid=3732] ppid=3730 vsize=17040 CPUtime=0.69 /proc/3732/stat : 3732 (bsolo) R 3730 3732 3324 0 -1 4194304 2408 0 0 0 66 3 0 0 22 0 1 0 192503185 17448960 1832 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 4260 1832 197 640 0 3616 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17040 [startup+1.50106 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3733 /proc/meminfo: memFree=1777892/2055920 swapFree=4181368/4192956 [pid=3732] ppid=3730 vsize=18060 CPUtime=1.49 /proc/3732/stat : 3732 (bsolo) R 3730 3732 3324 0 -1 4194304 2681 0 0 0 146 3 0 0 25 0 1 0 192503185 18493440 2105 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 4515 2105 197 640 0 3871 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18060 [startup+3.10133 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3733 /proc/meminfo: memFree=1775972/2055920 swapFree=4181368/4192956 [pid=3732] ppid=3730 vsize=19816 CPUtime=3.09 /proc/3732/stat : 3732 (bsolo) R 3730 3732 3324 0 -1 4194304 3107 0 0 0 306 3 0 0 25 0 1 0 192503185 20291584 2531 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 4954 2531 197 640 0 4310 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19816 [startup+6.30187 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3733 /proc/meminfo: memFree=1773156/2055920 swapFree=4181368/4192956 [pid=3732] ppid=3730 vsize=22084 CPUtime=6.29 /proc/3732/stat : 3732 (bsolo) R 3730 3732 3324 0 -1 4194304 3676 0 0 0 625 4 0 0 25 0 1 0 192503185 22614016 3100 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 5521 3100 198 640 0 4877 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22084 [startup+12.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3733 /proc/meminfo: memFree=1769764/2055920 swapFree=4181368/4192956 [pid=3732] ppid=3730 vsize=25184 CPUtime=12.69 /proc/3732/stat : 3732 (bsolo) R 3730 3732 3324 0 -1 4194304 4442 0 0 0 1264 5 0 0 25 0 1 0 192503185 25788416 3866 1992294400 134512640 137136520 4294956256 18446744073709551615 134544143 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 6296 3866 198 640 0 5652 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25184 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3733 /proc/meminfo: memFree=1767076/2055920 swapFree=4181368/4192956 [pid=3732] ppid=3730 vsize=27656 CPUtime=25.48 /proc/3732/stat : 3732 (bsolo) R 3730 3732 3324 0 -1 4194304 5068 0 0 0 2541 7 0 0 25 0 1 0 192503185 28319744 4492 1992294400 134512640 137136520 4294956256 18446744073709551615 134543957 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 6914 4492 198 640 0 6270 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27656 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3733 /proc/meminfo: memFree=1764580/2055920 swapFree=4181368/4192956 [pid=3732] ppid=3730 vsize=30304 CPUtime=51.07 /proc/3732/stat : 3732 (bsolo) R 3730 3732 3324 0 -1 4194304 5726 0 0 0 5098 9 0 0 25 0 1 0 192503185 31031296 5150 1992294400 134512640 137136520 4294956256 18446744073709551615 134544245 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 7576 5150 198 640 0 6932 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 30304 [startup+102.305 s] /proc/loadavg: 1.04 1.01 1.00 2/65 3733 /proc/meminfo: memFree=1762212/2055920 swapFree=4181368/4192956 [pid=3732] ppid=3730 vsize=32588 CPUtime=102.26 /proc/3732/stat : 3732 (bsolo) R 3730 3732 3324 0 -1 4194304 6313 0 0 0 10216 10 0 0 25 0 1 0 192503185 33370112 5737 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 8147 5737 198 640 0 7503 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 32588 Solver just ended. Dumping a history of the last processes samples [startup+127.902 s] /proc/loadavg: 1.03 1.01 1.00 2/65 3733 /proc/meminfo: memFree=1760868/2055920 swapFree=4181368/4192956 [pid=3732] ppid=3730 vsize=33868 CPUtime=127.84 /proc/3732/stat : 3732 (bsolo) R 3730 3732 3324 0 -1 4194304 6640 0 0 0 12773 11 0 0 25 0 1 0 192503185 34680832 6064 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 8467 6064 198 640 0 7823 0 Current children cumulated CPU time (s) 127.84 Current children cumulated vsize (KiB) 33868 [startup+140.702 s] /proc/loadavg: 1.02 1.01 1.00 2/65 3733 /proc/meminfo: memFree=1760868/2055920 swapFree=4181368/4192956 [pid=3732] ppid=3730 vsize=33868 CPUtime=140.64 /proc/3732/stat : 3732 (bsolo) R 3730 3732 3324 0 -1 4194304 6640 0 0 0 14052 12 0 0 25 0 1 0 192503185 34680832 6064 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 8467 6064 198 640 0 7823 0 Current children cumulated CPU time (s) 140.64 Current children cumulated vsize (KiB) 33868 [startup+153.502 s] /proc/loadavg: 1.02 1.01 1.00 2/65 3733 /proc/meminfo: memFree=1760868/2055920 swapFree=4181368/4192956 [pid=3732] ppid=3730 vsize=33868 CPUtime=153.43 /proc/3732/stat : 3732 (bsolo) R 3730 3732 3324 0 -1 4194304 6640 0 0 0 15331 12 0 0 25 0 1 0 192503185 34680832 6064 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 8467 6064 198 640 0 7823 0 Current children cumulated CPU time (s) 153.43 Current children cumulated vsize (KiB) 33868 [startup+156.701 s] /proc/loadavg: 1.02 1.01 1.00 2/65 3733 /proc/meminfo: memFree=1760868/2055920 swapFree=4181368/4192956 [pid=3732] ppid=3730 vsize=33868 CPUtime=156.63 /proc/3732/stat : 3732 (bsolo) R 3730 3732 3324 0 -1 4194304 6640 0 0 0 15651 12 0 0 25 0 1 0 192503185 34680832 6064 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 8467 6064 198 640 0 7823 0 Current children cumulated CPU time (s) 156.63 Current children cumulated vsize (KiB) 33868 [startup+158.302 s] /proc/loadavg: 1.02 1.01 1.00 2/65 3733 /proc/meminfo: memFree=1760868/2055920 swapFree=4181368/4192956 [pid=3732] ppid=3730 vsize=33868 CPUtime=158.23 /proc/3732/stat : 3732 (bsolo) R 3730 3732 3324 0 -1 4194304 6640 0 0 0 15811 12 0 0 25 0 1 0 192503185 34680832 6064 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 8467 6064 198 640 0 7823 0 Current children cumulated CPU time (s) 158.23 Current children cumulated vsize (KiB) 33868 [startup+159.102 s] /proc/loadavg: 1.02 1.01 1.00 2/65 3733 /proc/meminfo: memFree=1760868/2055920 swapFree=4181368/4192956 [pid=3732] ppid=3730 vsize=33868 CPUtime=159.03 /proc/3732/stat : 3732 (bsolo) R 3730 3732 3324 0 -1 4194304 6640 0 0 0 15891 12 0 0 25 0 1 0 192503185 34680832 6064 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 8467 6064 198 640 0 7823 0 Current children cumulated CPU time (s) 159.03 Current children cumulated vsize (KiB) 33868 [startup+159.506 s] /proc/loadavg: 1.02 1.01 1.00 2/65 3733 /proc/meminfo: memFree=1760868/2055920 swapFree=4181368/4192956 [pid=3732] ppid=3730 vsize=33868 CPUtime=159.43 /proc/3732/stat : 3732 (bsolo) R 3730 3732 3324 0 -1 4194304 6640 0 0 0 15931 12 0 0 25 0 1 0 192503185 34680832 6064 1992294400 134512640 137136520 4294956256 18446744073709551615 134543974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 8467 6064 198 640 0 7823 0 Current children cumulated CPU time (s) 159.43 Current children cumulated vsize (KiB) 33868 [startup+159.902 s] /proc/loadavg: 1.02 1.01 1.00 2/65 3733 /proc/meminfo: memFree=1760868/2055920 swapFree=4181368/4192956 [pid=3732] ppid=3730 vsize=33868 CPUtime=159.83 /proc/3732/stat : 3732 (bsolo) R 3730 3732 3324 0 -1 4194304 6640 0 0 0 15971 12 0 0 25 0 1 0 192503185 34680832 6064 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 8467 6064 198 640 0 7823 0 Current children cumulated CPU time (s) 159.83 Current children cumulated vsize (KiB) 33868 Child status: 0 Real time (s): 159.978 CPU time (s): 159.92 CPU user time (s): 159.787 CPU system time (s): 0.132979 CPU usage (%): 99.9635 Max. virtual memory (cumulated for all children) (KiB): 33868 getrusage(RUSAGE_CHILDREN,...) data: user time used= 159.787 system time used= 0.132979 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6642 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= 283 runsolver used 0.113982 second user time and 0.342947 second system time The end
Begin job on node43 at 2009-06-17 16:31:00 IDJOB=1879218 IDBENCH=71839 IDSOLVER=701 FILE ID=node43/1879218-1245249060 PBS_JOBID= 9372296 Free space on /tmp= 66188 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-10000opt.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879218-1245249060/watcher-1879218-1245249060 -o /tmp/evaluation-result-1879218-1245249060/solver-1879218-1245249060 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879218-1245249060.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3c1368de4464ff81756c1b99158c803c RANDOM SEED=1092790661 node43.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.281 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.281 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1785100 kB Buffers: 64924 kB Cached: 144196 kB SwapCached: 5352 kB Active: 94124 kB Inactive: 122884 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1785100 kB SwapTotal: 4192956 kB SwapFree: 4181368 kB Dirty: 4900 kB Writeback: 0 kB Mapped: 13588 kB Slab: 39824 kB Committed_AS: 187788 kB PageTables: 1452 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879218-1245249060.opb Free space on /tmp at the end= 66184 MiB End job on node43 at 2009-06-17 16:33:40