Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | OPT | -70 | 185.528 | 185.599 |
Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-5000opt.opb |
MD5SUM | b413d11d214e81d6bb556d5c8775428f |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -70 |
Best CPU time to get the best result obtained on this benchmark | 4.00939 |
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 | 30912 |
Number of constraints which are clauses | 30912 |
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 | 317 |
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 | 317 |
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-1879219-1245249071.opb 0.00/0.00 c File size is 1025005 bytes. 0.09/0.14 c Highest Coefficient sum: 317 0.09/0.14 c Parsing was ok!! 0.09/0.14 c Total parsing time: 0.14 s 0.09/0.15 c Var: 2025 Constr: 30912 30912/0/0 Lit: 91566 Watch. Lit: 61824 0.09/0.15 c Obj. Vars: 135 (6.66667 % of total variables) 0.29/0.32 c Pre-processing Time: 0.323 s 0.29/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.32 c 0 1999 30834 91410 2 61668 10277 0 0 0.32 0.29/0.32 c Switching off lower bounding mode. 0.29/0.34 o -19 0.29/0.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.35 c 0 1999 30835 91519 2 61679 10495 1 0 0.34 0.29/0.35 o -21 0.29/0.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.36 c 26 1999 30888 97219 3 61892 10495 54 73 0.35 0.29/0.36 o -47 0.29/0.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.38 c 66 1999 30969 97608 3 62001 10495 135 178 0.37 0.29/0.38 o -48 0.39/0.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.40 c 79 1999 30996 98571 3 62130 10495 162 207 0.38 0.39/0.40 o -50 0.39/0.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.41 c 155 1999 31148 101426 3 62579 10495 314 378 0.41 0.39/0.41 o -52 0.39/0.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.45 c 157 1999 31153 101916 3 62644 10495 319 376 0.42 0.39/0.45 o -53 0.79/0.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.81 c 253 1999 31344 107214 3 63196 10495 510 556 0.46 0.79/0.81 c 353 1999 31539 112484 3 63879 11545 705 724 0.49 0.79/0.81 c 603 1999 32032 131919 4 65594 12700 1198 1030 0.58 0.79/0.81 o -56 1.09/1.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.11 c 946 1999 32713 169554 5 67788 10495 1879 1153 0.82 1.09/1.11 c 1046 1999 32913 179277 5 68410 11545 2079 1181 0.89 1.09/1.11 c 1296 1999 33409 197718 5 69794 12700 2575 1236 1.05 1.09/1.11 o -57 1.19/1.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.26 c 1371 1999 33559 201297 5 70233 10495 2725 1229 1.11 1.19/1.26 c 1471 1999 33758 211613 6 71002 11545 2924 1222 1.20 1.19/1.26 o -59 1.99/2.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.01 c 1542 1999 33900 216078 6 71483 10495 3066 1217 1.27 1.99/2.01 c 1642 1999 34099 224744 6 72367 11545 3265 1227 1.34 1.99/2.01 c 1892 1999 34594 251685 7 75082 12700 3760 1172 1.61 1.99/2.01 o -60 2.59/2.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.62 c 2195 1999 35197 285635 8 77006 10495 4363 1088 2.02 2.59/2.62 c 2295 1999 35397 297657 8 78243 11545 4563 1043 2.20 2.59/2.62 c 2545 1999 35892 328631 9 80158 12700 5058 983 2.59 2.59/2.62 o -62 4.49/4.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.49/4.57 c 2553 1999 35909 328794 9 79402 10495 5075 973 2.62 4.49/4.57 c 2654 1999 36111 339368 9 82041 11545 5277 944 2.81 4.49/4.57 c 2904 1999 36607 375225 10 84869 12700 5773 873 3.33 4.49/4.57 c 3379 1999 37543 441892 11 91201 13971 6709 771 4.38 4.49/4.57 o -63 12.08/12.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.08/12.18 c 3447 1999 37680 450997 11 88635 10495 6846 754 4.57 12.08/12.18 c 3547 1999 37879 462868 12 88726 11545 7045 728 4.87 12.08/12.18 c 3797 1999 38374 498403 12 92577 12700 7540 667 5.69 12.08/12.18 c 4272 1999 39319 562299 14 97170 13971 8485 588 7.26 12.08/12.18 c 5085 1998 40935 685327 16 106125 15369 10101 453 11.21 12.08/12.18 o -64 12.49/12.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.49/12.56 c 5277 1998 41318 712997 17 106232 10493 10484 433 12.18 12.49/12.56 o -65 16.69/16.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.69/16.78 c 5359 1998 36238 412181 11 85905 10493 5404 418 12.80 16.69/16.78 c 5459 1998 36436 424199 11 91096 11543 5602 415 13.14 16.69/16.78 c 5709 1998 36934 461469 12 90460 12698 6100 407 14.01 16.69/16.78 c 6185 1998 37869 530836 14 94721 13968 7035 388 15.90 16.69/16.78 o -67 27.98/28.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 27.98/28.09 c 6371 1998 38242 555701 14 99019 10493 7408 379 16.78 27.98/28.09 c 6472 1998 38443 568261 14 101534 11543 7609 374 17.26 27.98/28.09 c 6722 1998 38937 606971 15 103148 12698 8103 361 18.59 27.98/28.09 c 7197 1997 39873 678646 17 108932 13968 9039 344 20.89 27.98/28.09 c 8010 1996 41472 797461 19 119360 15365 10638 301 26.56 27.98/28.09 o -68 33.78/33.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 33.78/33.80 c 8230 1995 41901 831550 19 115967 10487 11067 293 28.08 33.78/33.80 c 8330 1995 36484 439832 12 91645 11536 5650 286 29.04 33.78/33.80 c 8580 1995 36983 474088 12 95195 12690 6149 284 30.14 33.78/33.80 c 9056 1995 37907 540239 14 101922 13960 7073 278 32.50 33.78/33.80 o -70 185.42/185.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 185.42/185.59 c 9276 1995 38338 570891 14 102668 10487 7504 274 33.79 185.42/185.59 c 9376 1995 38536 584392 15 104563 11536 7702 271 34.48 185.42/185.59 c 9626 1994 39032 620385 15 106348 12690 8198 266 36.13 185.42/185.59 c 10101 1994 39957 685375 17 108390 13960 9123 255 39.59 185.42/185.59 c 10915 1992 41548 798434 19 122436 15357 10714 239 45.62 185.42/185.59 c 12236 1988 44096 982933 22 129962 16893 13262 212 57.66 185.42/185.59 c 14317 1984 39836 646672 16 111133 18583 9002 176 81.12 185.42/185.59 c 17540 1978 45906 1059341 23 137459 20442 15072 159 109.99 185.42/185.59 c 22476 1958 45086 918740 20 135861 22487 14252 133 167.83 185.42/185.59 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 185.42/185.59 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 185.42/185.59 c 52 24069 2020 52381 47911 1065897 17077 129 185.52 185.42/185.59 c Objective: -70 185.42/185.59 s OPTIMUM FOUND 185.42/185.59 c Total time: 185.521 s
OK -70
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879219-1245249071/watcher-1879219-1245249071 -o /tmp/evaluation-result-1879219-1245249071/solver-1879219-1245249071 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879219-1245249071.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.93 3/64 12326 /proc/meminfo: memFree=1746096/2055920 swapFree=4191900/4192956 [pid=12326] ppid=12324 vsize=11712 CPUtime=0 /proc/12326/stat : 12326 (bsolo) R 12324 12326 11807 0 -1 4194304 254 0 0 0 0 0 0 0 18 0 1 0 77640089 11993088 238 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12326/statm: 2928 239 175 640 0 2033 0 [startup+0.0985569 s] /proc/loadavg: 1.00 1.00 0.93 3/64 12326 /proc/meminfo: memFree=1746096/2055920 swapFree=4191900/4192956 [pid=12326] ppid=12324 vsize=14044 CPUtime=0.09 /proc/12326/stat : 12326 (bsolo) R 12324 12326 11807 0 -1 4194304 1017 0 0 0 9 0 0 0 18 0 1 0 77640089 14381056 1001 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12326/statm: 3511 1002 341 640 0 2616 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14044 [startup+0.102557 s] /proc/loadavg: 1.00 1.00 0.93 3/64 12326 /proc/meminfo: memFree=1746096/2055920 swapFree=4191900/4192956 [pid=12326] ppid=12324 vsize=14180 CPUtime=0.09 /proc/12326/stat : 12326 (bsolo) R 12324 12326 11807 0 -1 4194304 1049 0 0 0 9 0 0 0 18 0 1 0 77640089 14520320 1033 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12326/statm: 3545 1033 348 640 0 2650 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14180 [startup+0.302596 s] /proc/loadavg: 1.00 1.00 0.93 3/64 12326 /proc/meminfo: memFree=1746096/2055920 swapFree=4191900/4192956 [pid=12326] ppid=12324 vsize=17356 CPUtime=0.29 /proc/12326/stat : 12326 (bsolo) R 12324 12326 11807 0 -1 4194304 2167 0 0 0 26 3 0 0 19 0 1 0 77640089 17772544 1900 1992294400 134512640 137136520 4294956256 18446744073709551615 136498512 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12326/statm: 4339 1900 191 640 0 3695 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17356 [startup+0.701675 s] /proc/loadavg: 1.00 1.00 0.93 3/64 12326 /proc/meminfo: memFree=1746096/2055920 swapFree=4191900/4192956 [pid=12326] ppid=12324 vsize=17228 CPUtime=0.69 /proc/12326/stat : 12326 (bsolo) R 12324 12326 11807 0 -1 4194304 2498 0 0 0 65 4 0 0 22 0 1 0 77640089 17641472 1895 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12326/statm: 4307 1895 197 640 0 3663 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17228 [startup+1.50183 s] /proc/loadavg: 1.00 1.00 0.93 2/65 12327 /proc/meminfo: memFree=1739048/2055920 swapFree=4191900/4192956 [pid=12326] ppid=12324 vsize=18228 CPUtime=1.49 /proc/12326/stat : 12326 (bsolo) R 12324 12326 11807 0 -1 4194304 2752 0 0 0 145 4 0 0 25 0 1 0 77640089 18665472 2149 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12326/statm: 4557 2149 197 640 0 3913 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18228 [startup+3.10115 s] /proc/loadavg: 1.00 1.00 0.93 2/65 12327 /proc/meminfo: memFree=1737320/2055920 swapFree=4191900/4192956 [pid=12326] ppid=12324 vsize=20108 CPUtime=3.08 /proc/12326/stat : 12326 (bsolo) R 12324 12326 11807 0 -1 4194304 3217 0 0 0 303 5 0 0 25 0 1 0 77640089 20590592 2614 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12326/statm: 5027 2614 197 640 0 4383 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 20108 [startup+6.30179 s] /proc/loadavg: 1.00 1.00 0.93 2/65 12327 /proc/meminfo: memFree=1734064/2055920 swapFree=4191900/4192956 [pid=12326] ppid=12324 vsize=22596 CPUtime=6.28 /proc/12326/stat : 12326 (bsolo) R 12324 12326 11807 0 -1 4194304 3843 0 0 0 622 6 0 0 25 0 1 0 77640089 23138304 3240 1992294400 134512640 137136520 4294956256 18446744073709551615 134544004 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12326/statm: 5649 3240 197 640 0 5005 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 22596 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 0.93 2/65 12327 /proc/meminfo: memFree=1730672/2055920 swapFree=4191900/4192956 [pid=12326] ppid=12324 vsize=25704 CPUtime=12.69 /proc/12326/stat : 12326 (bsolo) R 12324 12326 11807 0 -1 4194304 4627 0 0 0 1261 8 0 0 25 0 1 0 77640089 26320896 4024 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12326/statm: 6426 4024 198 640 0 5782 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25704 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 0.93 2/65 12327 /proc/meminfo: memFree=1729712/2055920 swapFree=4191900/4192956 [pid=12326] ppid=12324 vsize=26592 CPUtime=25.48 /proc/12326/stat : 12326 (bsolo) R 12324 12326 11807 0 -1 4194304 4839 0 0 0 2539 9 0 0 25 0 1 0 77640089 27230208 4236 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12326/statm: 6648 4236 198 640 0 6004 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 26592 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 0.93 2/65 12327 /proc/meminfo: memFree=1728176/2055920 swapFree=4191900/4192956 [pid=12326] ppid=12324 vsize=28256 CPUtime=51.07 /proc/12326/stat : 12326 (bsolo) R 12324 12326 11807 0 -1 4194304 5246 0 0 0 5095 12 0 0 25 0 1 0 77640089 28934144 4643 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12326/statm: 7064 4643 198 640 0 6420 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 28256 [startup+102.305 s] /proc/loadavg: 1.00 1.00 0.93 2/65 12327 /proc/meminfo: memFree=1722416/2055920 swapFree=4191900/4192956 [pid=12326] ppid=12324 vsize=33840 CPUtime=102.25 /proc/12326/stat : 12326 (bsolo) R 12324 12326 11807 0 -1 4194304 6651 0 0 0 10211 14 0 0 25 0 1 0 77640089 34652160 6048 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12326/statm: 8460 6048 198 640 0 7816 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 33840 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 12327 /proc/meminfo: memFree=1719664/2055920 swapFree=4191900/4192956 [pid=12326] ppid=12324 vsize=36592 CPUtime=162.23 /proc/12326/stat : 12326 (bsolo) R 12324 12326 11807 0 -1 4194304 7337 0 0 0 16207 16 0 0 25 0 1 0 77640089 37470208 6734 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12326/statm: 9148 6734 198 640 0 8504 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 36592 Solver just ended. Dumping a history of the last processes samples [startup+166.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 12327 /proc/meminfo: memFree=1719600/2055920 swapFree=4191900/4192956 [pid=12326] ppid=12324 vsize=36592 CPUtime=166.22 /proc/12326/stat : 12326 (bsolo) R 12324 12326 11807 0 -1 4194304 7337 0 0 0 16606 16 0 0 25 0 1 0 77640089 37470208 6734 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12326/statm: 9148 6734 198 640 0 8504 0 Current children cumulated CPU time (s) 166.22 Current children cumulated vsize (KiB) 36592 [startup+179.101 s] /proc/loadavg: 1.00 1.00 0.93 2/65 12327 /proc/meminfo: memFree=1719600/2055920 swapFree=4191900/4192956 [pid=12326] ppid=12324 vsize=36592 CPUtime=179.02 /proc/12326/stat : 12326 (bsolo) R 12324 12326 11807 0 -1 4194304 7337 0 0 0 17886 16 0 0 25 0 1 0 77640089 37470208 6734 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12326/statm: 9148 6734 198 640 0 8504 0 Current children cumulated CPU time (s) 179.02 Current children cumulated vsize (KiB) 36592 [startup+182.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 12327 /proc/meminfo: memFree=1719600/2055920 swapFree=4191900/4192956 [pid=12326] ppid=12324 vsize=36592 CPUtime=182.22 /proc/12326/stat : 12326 (bsolo) R 12324 12326 11807 0 -1 4194304 7337 0 0 0 18206 16 0 0 25 0 1 0 77640089 37470208 6734 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12326/statm: 9148 6734 198 640 0 8504 0 Current children cumulated CPU time (s) 182.22 Current children cumulated vsize (KiB) 36592 [startup+183.901 s] /proc/loadavg: 1.00 1.00 0.93 2/65 12327 /proc/meminfo: memFree=1719600/2055920 swapFree=4191900/4192956 [pid=12326] ppid=12324 vsize=36592 CPUtime=183.82 /proc/12326/stat : 12326 (bsolo) R 12324 12326 11807 0 -1 4194304 7337 0 0 0 18366 16 0 0 25 0 1 0 77640089 37470208 6734 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12326/statm: 9148 6734 198 640 0 8504 0 Current children cumulated CPU time (s) 183.82 Current children cumulated vsize (KiB) 36592 [startup+184.701 s] /proc/loadavg: 1.00 1.00 0.93 2/65 12327 /proc/meminfo: memFree=1719600/2055920 swapFree=4191900/4192956 [pid=12326] ppid=12324 vsize=36592 CPUtime=184.62 /proc/12326/stat : 12326 (bsolo) R 12324 12326 11807 0 -1 4194304 7337 0 0 0 18446 16 0 0 25 0 1 0 77640089 37470208 6734 1992294400 134512640 137136520 4294956256 18446744073709551615 136501981 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12326/statm: 9148 6734 198 640 0 8504 0 Current children cumulated CPU time (s) 184.62 Current children cumulated vsize (KiB) 36592 [startup+185.101 s] /proc/loadavg: 1.00 1.00 0.93 2/65 12327 /proc/meminfo: memFree=1719600/2055920 swapFree=4191900/4192956 [pid=12326] ppid=12324 vsize=36592 CPUtime=185.02 /proc/12326/stat : 12326 (bsolo) R 12324 12326 11807 0 -1 4194304 7337 0 0 0 18486 16 0 0 25 0 1 0 77640089 37470208 6734 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12326/statm: 9148 6734 198 640 0 8504 0 Current children cumulated CPU time (s) 185.02 Current children cumulated vsize (KiB) 36592 [startup+185.501 s] /proc/loadavg: 1.00 1.00 0.93 2/65 12327 /proc/meminfo: memFree=1719600/2055920 swapFree=4191900/4192956 [pid=12326] ppid=12324 vsize=36592 CPUtime=185.42 /proc/12326/stat : 12326 (bsolo) R 12324 12326 11807 0 -1 4194304 7337 0 0 0 18526 16 0 0 25 0 1 0 77640089 37470208 6734 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12326/statm: 9148 6734 198 640 0 8504 0 Current children cumulated CPU time (s) 185.42 Current children cumulated vsize (KiB) 36592 Child status: 0 Real time (s): 185.599 CPU time (s): 185.528 CPU user time (s): 185.354 CPU system time (s): 0.173973 CPU usage (%): 99.9616 Max. virtual memory (cumulated for all children) (KiB): 36672 getrusage(RUSAGE_CHILDREN,...) data: user time used= 185.354 system time used= 0.173973 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7339 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= 411 runsolver used 0.155976 second user time and 0.440932 second system time The end
Begin job on node33 at 2009-06-17 16:31:11 IDJOB=1879219 IDBENCH=71840 IDSOLVER=701 FILE ID=node33/1879219-1245249071 PBS_JOBID= 9372305 Free space on /tmp= 65952 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-5000opt.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879219-1245249071/watcher-1879219-1245249071 -o /tmp/evaluation-result-1879219-1245249071/solver-1879219-1245249071 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879219-1245249071.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b413d11d214e81d6bb556d5c8775428f RANDOM SEED=1089784551 node33.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.261 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.261 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: 1746512 kB Buffers: 65600 kB Cached: 159300 kB SwapCached: 384 kB Active: 109936 kB Inactive: 128376 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1746512 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 4944 kB Writeback: 0 kB Mapped: 21808 kB Slab: 57100 kB Committed_AS: 155676 kB PageTables: 1392 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-1879219-1245249071.opb Free space on /tmp at the end= 65948 MiB End job on node33 at 2009-06-17 16:34:17