Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | OPT | -76 | 168.434 | 168.483 |
Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-8000opt.opb |
MD5SUM | c18c3db09a696b172987b81aa567120d |
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 | -76 |
Best CPU time to get the best result obtained on this benchmark | 3.99039 |
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 | 29096 |
Number of constraints which are clauses | 29096 |
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 | 341 |
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 | 341 |
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-1879205-1245248963.opb 0.00/0.00 c File size is 961931 bytes. 0.09/0.13 c Highest Coefficient sum: 341 0.09/0.13 c Parsing was ok!! 0.09/0.13 c Total parsing time: 0.132 s 0.09/0.14 c Var: 2025 Constr: 29096 29096/0/0 Lit: 86118 Watch. Lit: 58192 0.09/0.14 c Obj. Vars: 135 (6.66667 % of total variables) 0.29/0.30 c Pre-processing Time: 0.302 s 0.29/0.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.30 c 0 1996 29009 85944 2 58018 9669 0 0 0.30 0.29/0.30 c Switching off lower bounding mode. 0.29/0.31 o -18 0.29/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.32 c 0 1996 29010 86050 2 58028 9881 1 0 0.32 0.29/0.32 o -19 0.29/0.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.33 c 6 1996 29023 87394 3 58085 9881 14 18 0.32 0.29/0.33 o -40 0.29/0.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.34 c 46 1996 29096 87754 3 58235 9881 87 136 0.34 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 58 1996 29121 88144 3 58311 9881 112 167 0.35 0.29/0.35 o -45 0.29/0.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.36 c 63 1996 29132 88470 3 58355 9881 123 177 0.35 0.29/0.36 o -46 0.29/0.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.39 c 70 1996 29147 88998 3 58419 9881 138 193 0.36 0.29/0.39 o -47 0.39/0.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.41 c 151 1996 29307 92073 3 58861 9881 298 385 0.39 0.39/0.41 o -48 0.49/0.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.54 c 204 1996 29414 97030 3 59236 9881 405 488 0.42 0.49/0.54 c 304 1996 29613 102938 3 59904 10870 604 684 0.44 0.49/0.54 c 554 1996 30109 118330 3 61225 11958 1100 1041 0.53 0.49/0.54 o -53 0.49/0.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.55 c 561 1996 30124 118484 3 61184 9881 1115 1029 0.55 0.49/0.55 o -54 0.49/0.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.58 c 569 1996 30140 118816 3 61244 9881 1131 1023 0.56 0.49/0.58 o -55 0.59/0.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.66 c 636 1996 30272 122568 4 61531 9881 1263 1081 0.59 0.59/0.66 c 738 1996 30474 127740 4 62393 10870 1465 1178 0.63 0.59/0.66 o -56 0.69/0.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.79 c 803 1996 30604 133637 4 62838 9881 1595 1200 0.67 0.69/0.79 c 903 1996 30801 138825 4 63461 10870 1792 1264 0.71 0.69/0.79 o -58 0.79/0.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.82 c 1015 1996 31024 147887 4 64093 9881 2015 1275 0.80 0.79/0.82 o -61 1.29/1.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.35 c 1036 1996 31066 149440 4 63984 9881 2057 1263 0.82 1.29/1.35 c 1136 1996 31265 157100 5 64837 10870 2256 1286 0.88 1.29/1.35 c 1386 1996 31762 184077 5 66820 11958 2753 1269 1.09 1.29/1.35 o -64 2.59/2.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.61 c 1717 1996 32417 211624 6 69121 9881 3408 1266 1.36 2.59/2.61 c 1817 1996 32615 219891 6 70407 10870 3606 1236 1.47 2.59/2.61 c 2067 1996 33112 252415 7 73127 11958 4103 1154 1.79 2.59/2.61 c 2542 1996 34049 317059 9 77737 13154 5040 1028 2.47 2.59/2.61 o -65 2.69/2.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.74 c 2634 1996 34232 325358 9 77965 9881 5223 1006 2.62 2.69/2.74 o -66 4.99/5.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.99/5.03 c 2690 1996 34341 329059 9 77382 9881 5332 979 2.75 4.99/5.03 c 2790 1996 34541 340689 9 78850 10870 5532 955 2.92 4.99/5.03 c 3041 1996 35041 372678 10 83072 11958 6032 883 3.44 4.99/5.03 c 3517 1996 35992 442079 12 88425 13154 6983 748 4.70 4.99/5.03 o -68 11.38/11.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.38/11.41 c 3600 1996 36157 449743 12 87008 9881 7148 715 5.03 11.38/11.41 c 3700 1996 36355 463014 12 87208 10870 7346 696 5.31 11.38/11.41 c 3950 1996 36854 500928 13 90019 11958 7845 648 6.09 11.38/11.41 c 4425 1996 37801 565376 14 96245 13154 8792 564 7.84 11.38/11.41 o -69 16.28/16.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.28/16.37 c 5233 1996 39406 680858 17 104212 9881 10397 458 11.41 16.28/16.37 c 5334 1996 34307 398867 11 84322 10870 5298 442 12.06 16.28/16.37 c 5584 1996 34803 435873 12 87404 11958 5794 434 12.85 16.28/16.37 c 6059 1996 35749 502532 14 92977 13154 6740 405 14.95 16.28/16.37 o -71 16.89/16.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.89/16.93 c 6397 1995 36423 556165 15 94518 9879 7414 390 16.37 16.89/16.93 c 6497 1995 36622 568190 15 96789 10867 7613 386 16.80 16.89/16.93 o -76 168.34/168.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 168.34/168.47 c 6518 1995 36663 570395 15 95467 9879 7654 385 16.93 168.34/168.47 c 6618 1995 36861 582527 15 97096 10867 7852 379 17.42 168.34/168.47 c 6868 1995 37358 616453 16 101274 11954 8349 368 18.65 168.34/168.47 c 7343 1995 38305 681924 17 107435 13150 9296 344 21.34 168.34/168.47 c 8156 1994 39916 800407 20 113029 14466 10907 309 26.37 168.34/168.47 c 9476 1991 42519 984909 23 131546 15913 13510 248 38.07 168.34/168.47 c 11558 1989 38750 692791 17 116311 17505 9741 193 59.76 168.34/168.47 c 14781 1983 45019 1122099 24 150402 19256 16010 166 88.95 168.34/168.47 c 19717 1957 44823 1023596 22 142731 21182 15814 130 151.66 168.34/168.47 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 168.34/168.47 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 168.34/168.47 c 48 21115 1855 54268 47382 1153273 18373 125 168.43 168.34/168.47 c Objective: -76 168.34/168.47 s OPTIMUM FOUND 168.34/168.47 c Total time: 168.428 s
OK -76
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879205-1245248963/watcher-1879205-1245248963 -o /tmp/evaluation-result-1879205-1245248963/solver-1879205-1245248963 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879205-1245248963.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 0.96 3/64 10125 /proc/meminfo: memFree=1775608/2055920 swapFree=4192956/4192956 [pid=10125] ppid=10123 vsize=11648 CPUtime=0 /proc/10125/stat : 10125 (bsolo) R 10123 10125 9726 0 -1 4194304 254 0 0 0 0 0 0 0 18 0 1 0 9225726 11927552 238 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10125/statm: 2912 238 175 640 0 2033 0 [startup+0.031806 s] /proc/loadavg: 1.00 1.00 0.96 3/64 10125 /proc/meminfo: memFree=1775608/2055920 swapFree=4192956/4192956 [pid=10125] ppid=10123 vsize=12340 CPUtime=0.02 /proc/10125/stat : 10125 (bsolo) R 10123 10125 9726 0 -1 4194304 487 0 0 0 2 0 0 0 18 0 1 0 9225726 12636160 471 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10125/statm: 3085 472 222 640 0 2206 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 12340 [startup+0.101815 s] /proc/loadavg: 1.00 1.00 0.96 3/64 10125 /proc/meminfo: memFree=1775608/2055920 swapFree=4192956/4192956 [pid=10125] ppid=10123 vsize=14116 CPUtime=0.09 /proc/10125/stat : 10125 (bsolo) R 10123 10125 9726 0 -1 4194304 1042 0 0 0 9 0 0 0 18 0 1 0 9225726 14454784 1026 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10125/statm: 3529 1027 346 640 0 2650 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14116 [startup+0.301842 s] /proc/loadavg: 1.00 1.00 0.96 3/64 10125 /proc/meminfo: memFree=1775608/2055920 swapFree=4192956/4192956 [pid=10125] ppid=10123 vsize=16932 CPUtime=0.29 /proc/10125/stat : 10125 (bsolo) R 10123 10125 9726 0 -1 4194304 2355 0 0 0 26 3 0 0 19 0 1 0 9225726 17338368 1790 1992294400 134512640 137136520 4294956256 18446744073709551615 134548260 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10125/statm: 4233 1790 191 640 0 3589 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16932 [startup+0.701897 s] /proc/loadavg: 1.00 1.00 0.96 3/64 10125 /proc/meminfo: memFree=1775608/2055920 swapFree=4192956/4192956 [pid=10125] ppid=10123 vsize=16936 CPUtime=0.69 /proc/10125/stat : 10125 (bsolo) R 10123 10125 9726 0 -1 4194304 2366 0 0 0 65 4 0 0 22 0 1 0 9225726 17342464 1801 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10125/statm: 4234 1801 197 640 0 3590 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16936 [startup+1.50201 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10126 /proc/meminfo: memFree=1769008/2055920 swapFree=4192956/4192956 [pid=10125] ppid=10123 vsize=17816 CPUtime=1.49 /proc/10125/stat : 10125 (bsolo) R 10123 10125 9726 0 -1 4194304 2606 0 0 0 144 5 0 0 25 0 1 0 9225726 18243584 2041 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10125/statm: 4454 2045 197 640 0 3810 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17816 [startup+3.10123 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10126 /proc/meminfo: memFree=1767152/2055920 swapFree=4192956/4192956 [pid=10125] ppid=10123 vsize=19832 CPUtime=3.09 /proc/10125/stat : 10125 (bsolo) R 10123 10125 9726 0 -1 4194304 3092 0 0 0 303 6 0 0 25 0 1 0 9225726 20307968 2527 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10125/statm: 4958 2527 197 640 0 4314 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19832 [startup+6.30167 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10126 /proc/meminfo: memFree=1764144/2055920 swapFree=4192956/4192956 [pid=10125] ppid=10123 vsize=22332 CPUtime=6.29 /proc/10125/stat : 10125 (bsolo) R 10123 10125 9726 0 -1 4194304 3717 0 0 0 622 7 0 0 25 0 1 0 9225726 22867968 3152 1992294400 134512640 137136520 4294956256 18446744073709551615 134543834 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10125/statm: 5583 3152 197 640 0 4939 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22332 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10126 /proc/meminfo: memFree=1760704/2055920 swapFree=4192956/4192956 [pid=10125] ppid=10123 vsize=24968 CPUtime=12.68 /proc/10125/stat : 10125 (bsolo) R 10123 10125 9726 0 -1 4194304 4392 0 0 0 1260 8 0 0 25 0 1 0 9225726 25567232 3827 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10125/statm: 6242 3827 198 640 0 5598 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 24968 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10126 /proc/meminfo: memFree=1759360/2055920 swapFree=4192956/4192956 [pid=10125] ppid=10123 vsize=26448 CPUtime=25.48 /proc/10125/stat : 10125 (bsolo) R 10123 10125 9726 0 -1 4194304 4768 0 0 0 2538 10 0 0 25 0 1 0 9225726 27082752 4203 1992294400 134512640 137136520 4294956256 18446744073709551615 136518911 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10125/statm: 6612 4203 198 640 0 5968 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 26448 [startup+51.1019 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10126 /proc/meminfo: memFree=1753600/2055920 swapFree=4192956/4192956 [pid=10125] ppid=10123 vsize=32292 CPUtime=51.08 /proc/10125/stat : 10125 (bsolo) R 10123 10125 9726 0 -1 4194304 6208 0 0 0 5096 12 0 0 25 0 1 0 9225726 33067008 5643 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10125/statm: 8073 5643 198 640 0 7429 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 32292 [startup+102.306 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10126 /proc/meminfo: memFree=1751808/2055920 swapFree=4192956/4192956 [pid=10125] ppid=10123 vsize=33944 CPUtime=102.26 /proc/10125/stat : 10125 (bsolo) R 10123 10125 9726 0 -1 4194304 6633 0 0 0 10212 14 0 0 25 0 1 0 9225726 34758656 6068 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10125/statm: 8486 6068 198 640 0 7842 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 33944 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10126 /proc/meminfo: memFree=1750336/2055920 swapFree=4192956/4192956 [pid=10125] ppid=10123 vsize=35420 CPUtime=162.24 /proc/10125/stat : 10125 (bsolo) R 10123 10125 9726 0 -1 4194304 7005 0 0 0 16207 17 0 0 25 0 1 0 9225726 36270080 6440 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10125/statm: 8855 6440 198 640 0 8211 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 35420 Solver just ended. Dumping a history of the last processes samples [startup+163.101 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10126 /proc/meminfo: memFree=1750336/2055920 swapFree=4192956/4192956 [pid=10125] ppid=10123 vsize=35420 CPUtime=163.04 /proc/10125/stat : 10125 (bsolo) R 10123 10125 9726 0 -1 4194304 7005 0 0 0 16287 17 0 0 25 0 1 0 9225726 36270080 6440 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10125/statm: 8855 6440 198 640 0 8211 0 Current children cumulated CPU time (s) 163.04 Current children cumulated vsize (KiB) 35420 [startup+166.303 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10126 /proc/meminfo: memFree=1750336/2055920 swapFree=4192956/4192956 [pid=10125] ppid=10123 vsize=35420 CPUtime=166.24 /proc/10125/stat : 10125 (bsolo) R 10123 10125 9726 0 -1 4194304 7005 0 0 0 16607 17 0 0 25 0 1 0 9225726 36270080 6440 1992294400 134512640 137136520 4294956256 18446744073709551615 135982505 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10125/statm: 8855 6440 198 640 0 8211 0 Current children cumulated CPU time (s) 166.24 Current children cumulated vsize (KiB) 35420 [startup+167.102 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10126 /proc/meminfo: memFree=1750336/2055920 swapFree=4192956/4192956 [pid=10125] ppid=10123 vsize=35420 CPUtime=167.04 /proc/10125/stat : 10125 (bsolo) R 10123 10125 9726 0 -1 4194304 7005 0 0 0 16687 17 0 0 25 0 1 0 9225726 36270080 6440 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10125/statm: 8855 6440 198 640 0 8211 0 Current children cumulated CPU time (s) 167.04 Current children cumulated vsize (KiB) 35420 [startup+167.902 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10126 /proc/meminfo: memFree=1750336/2055920 swapFree=4192956/4192956 [pid=10125] ppid=10123 vsize=35420 CPUtime=167.84 /proc/10125/stat : 10125 (bsolo) R 10123 10125 9726 0 -1 4194304 7005 0 0 0 16767 17 0 0 25 0 1 0 9225726 36270080 6440 1992294400 134512640 137136520 4294956256 18446744073709551615 134543884 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10125/statm: 8855 6440 198 640 0 8211 0 Current children cumulated CPU time (s) 167.84 Current children cumulated vsize (KiB) 35420 [startup+168.305 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10126 /proc/meminfo: memFree=1750336/2055920 swapFree=4192956/4192956 [pid=10125] ppid=10123 vsize=35420 CPUtime=168.24 /proc/10125/stat : 10125 (bsolo) R 10123 10125 9726 0 -1 4194304 7005 0 0 0 16807 17 0 0 25 0 1 0 9225726 36270080 6440 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10125/statm: 8855 6440 198 640 0 8211 0 Current children cumulated CPU time (s) 168.24 Current children cumulated vsize (KiB) 35420 [startup+168.401 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10126 /proc/meminfo: memFree=1750336/2055920 swapFree=4192956/4192956 [pid=10125] ppid=10123 vsize=35420 CPUtime=168.34 /proc/10125/stat : 10125 (bsolo) R 10123 10125 9726 0 -1 4194304 7005 0 0 0 16817 17 0 0 25 0 1 0 9225726 36270080 6440 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10125/statm: 8855 6440 198 640 0 8211 0 Current children cumulated CPU time (s) 168.34 Current children cumulated vsize (KiB) 35420 Child status: 0 Real time (s): 168.483 CPU time (s): 168.434 CPU user time (s): 168.25 CPU system time (s): 0.183972 CPU usage (%): 99.9709 Max. virtual memory (cumulated for all children) (KiB): 35420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 168.25 system time used= 0.183972 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7007 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= 4 involuntary context switches= 241 runsolver used 0.13098 second user time and 0.350946 second system time The end
Begin job on node30 at 2009-06-17 16:29:23 IDJOB=1879205 IDBENCH=71826 IDSOLVER=701 FILE ID=node30/1879205-1245248963 PBS_JOBID= 9372308 Free space on /tmp= 66220 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-8000opt.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879205-1245248963/watcher-1879205-1245248963 -o /tmp/evaluation-result-1879205-1245248963/solver-1879205-1245248963 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879205-1245248963.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c18c3db09a696b172987b81aa567120d RANDOM SEED=1275827131 node30.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.273 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.273 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: 1776032 kB Buffers: 40236 kB Cached: 181988 kB SwapCached: 0 kB Active: 24784 kB Inactive: 210448 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1776032 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4964 kB Writeback: 0 kB Mapped: 22748 kB Slab: 30680 kB Committed_AS: 78612 kB PageTables: 1360 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-1879205-1245248963.opb Free space on /tmp at the end= 66216 MiB End job on node30 at 2009-06-17 16:32:11