Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | OPT | -70 | 37.6063 | 37.6221 |
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: Cardinality Constraint 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-1876359-1245220459.opb 0.00/0.00 c File size is 1025005 bytes. 0.09/0.13 c Highest Coefficient sum: 317 0.09/0.13 c Parsing was ok!! 0.09/0.13 c Total parsing time: 0.131 s 0.09/0.14 c Var: 2025 Constr: 30912 30912/0/0 Lit: 91566 Watch. Lit: 61824 0.09/0.14 c Obj. Vars: 135 (6.66667 % of total variables) 0.29/0.30 c Pre-processing Time: 0.306 s 0.29/0.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.30 c 0 1999 30834 91410 2 61668 10277 0 0 0.31 0.29/0.30 c Switching off lower bounding mode. 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 0 1999 30835 91519 2 61679 10495 1 0 0.32 0.29/0.33 o -21 0.29/0.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.34 c 29 1999 30884 96581 3 61786 10495 50 86 0.33 0.29/0.34 o -36 0.29/0.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.35 c 71 1999 30968 96996 3 61966 10495 134 203 0.35 0.29/0.35 o -38 0.29/0.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.36 c 73 1999 30972 97204 3 61992 10495 138 205 0.36 0.29/0.36 o -40 0.29/0.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.38 c 85 1999 30992 98174 3 62051 10495 158 232 0.37 0.29/0.38 o -41 0.29/0.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.39 c 136 1999 31090 99214 3 62269 10495 256 351 0.39 0.29/0.39 o -42 0.39/0.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.43 c 147 1999 31108 99820 3 62322 10495 274 370 0.40 0.39/0.43 c 247 1999 31287 102842 3 62705 11545 453 586 0.42 0.39/0.43 o -43 0.39/0.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.44 c 274 1999 31337 103126 3 62786 10495 503 625 0.44 0.39/0.44 o -45 0.39/0.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.46 c 284 1999 31357 103386 3 62869 10495 523 632 0.45 0.39/0.46 o -47 0.49/0.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.59 c 298 1999 31380 103741 3 62921 10495 546 646 0.46 0.49/0.59 c 398 1999 31564 106479 3 63255 11545 730 822 0.48 0.49/0.59 c 648 1999 32005 115290 3 64161 12700 1171 1178 0.55 0.49/0.59 o -49 0.59/0.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.61 c 776 1999 32227 120439 3 64630 10495 1393 1299 0.60 0.59/0.61 o -50 0.59/0.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.62 c 799 1999 32271 120790 3 64679 10495 1437 1303 0.61 0.59/0.62 o -59 0.79/0.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.86 c 829 1999 32327 121519 3 64804 10495 1493 1317 0.63 0.79/0.86 c 929 1999 32486 126319 3 65161 11545 1652 1416 0.66 0.79/0.86 c 1179 1999 32894 138042 4 65949 12700 2060 1610 0.73 0.79/0.86 o -60 0.89/0.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.97 c 1523 1999 33392 159653 4 66964 10495 2558 1756 0.87 0.89/0.97 c 1623 1999 33541 165904 4 67281 11545 2707 1799 0.90 0.89/0.97 o -61 1.59/1.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.65 c 1826 1999 33835 179442 5 67873 10495 3001 1863 0.98 1.59/1.65 c 1926 1999 34001 183698 5 68235 11545 3167 1890 1.02 1.59/1.65 c 2176 1999 34336 201293 5 68891 12700 3502 1946 1.12 1.59/1.65 c 2651 1999 35003 235600 6 70244 13971 4169 2020 1.31 1.59/1.65 c 3465 1999 36064 299583 8 72348 15369 5230 2120 1.63 1.59/1.65 o -68 2.39/2.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.47 c 3477 1999 36089 299776 8 72399 10495 5255 2098 1.66 2.39/2.47 c 3577 1999 36239 305676 8 72708 11545 5405 2082 1.72 2.39/2.47 c 3827 1999 36569 323919 8 73406 12700 5735 2098 1.82 2.39/2.47 c 4302 1999 37200 360228 9 74641 13971 6366 2105 2.04 2.39/2.47 c 5115 1998 38188 421727 11 76584 15369 7354 2088 2.45 2.39/2.47 o -70 37.57/37.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.57/37.61 c 5119 1998 38196 421940 11 76648 10493 7362 2072 2.47 37.57/37.61 c 5219 1998 38330 429417 11 76916 11543 7496 2065 2.53 37.57/37.61 c 5470 1998 38646 447602 11 77530 12698 7812 2057 2.66 37.57/37.61 c 5945 1998 39251 483983 12 78768 13968 8417 2029 2.93 37.57/37.61 c 6758 1998 40274 545105 13 80813 15365 9440 1958 3.45 37.57/37.61 c 8078 1997 41844 649207 15 83925 16902 11010 1835 4.40 37.57/37.61 c 10160 1995 44202 799976 18 88657 18593 13368 1697 5.98 37.57/37.61 c 13383 1993 47696 1020211 21 95661 20453 16862 1446 9.25 37.57/37.61 c 18320 1988 42823 766660 17 85661 22499 11989 1248 14.67 37.57/37.61 c 25826 1977 50735 1194252 23 101469 24749 19901 1135 22.74 37.57/37.61 c 37187 1942 50336 904545 17 100645 27224 19502 1004 37.02 37.57/37.61 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 37.57/37.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 37.57/37.61 c 41 37761 2455 66113 50916 913272 20082 1004 37.60 37.57/37.61 c Objective: -70 37.57/37.61 s OPTIMUM FOUND 37.57/37.61 c Total time: 37.6 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-1876359-1245220459/watcher-1876359-1245220459 -o /tmp/evaluation-result-1876359-1245220459/solver-1876359-1245220459 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876359-1245220459.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: 0.89 0.97 0.99 3/64 2147 /proc/meminfo: memFree=1854216/2055920 swapFree=4181640/4192956 [pid=2147] ppid=2145 vsize=11712 CPUtime=0 /proc/2147/stat : 2147 (bsolo) R 2145 2147 2100 0 -1 4194304 256 0 0 0 0 0 0 0 20 0 1 0 189640197 11993088 240 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2147/statm: 2928 240 175 640 0 2033 0 [startup+0.0575561 s] /proc/loadavg: 0.89 0.97 0.99 3/64 2147 /proc/meminfo: memFree=1854216/2055920 swapFree=4181640/4192956 [pid=2147] ppid=2145 vsize=13220 CPUtime=0.05 /proc/2147/stat : 2147 (bsolo) R 2145 2147 2100 0 -1 4194304 722 0 0 0 5 0 0 0 20 0 1 0 189640197 13537280 706 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2147/statm: 3305 706 275 640 0 2410 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 13220 [startup+0.10156 s] /proc/loadavg: 0.89 0.97 0.99 3/64 2147 /proc/meminfo: memFree=1854216/2055920 swapFree=4181640/4192956 [pid=2147] ppid=2145 vsize=14320 CPUtime=0.09 /proc/2147/stat : 2147 (bsolo) R 2145 2147 2100 0 -1 4194304 1098 0 0 0 9 0 0 0 20 0 1 0 189640197 14663680 1082 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2147/statm: 3580 1082 359 640 0 2685 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14320 [startup+0.301582 s] /proc/loadavg: 0.89 0.97 0.99 3/64 2147 /proc/meminfo: memFree=1854216/2055920 swapFree=4181640/4192956 [pid=2147] ppid=2145 vsize=17224 CPUtime=0.29 /proc/2147/stat : 2147 (bsolo) R 2145 2147 2100 0 -1 4194304 2488 0 0 0 27 2 0 0 22 0 1 0 189640197 17637376 1885 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2147/statm: 4306 1885 191 640 0 3662 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17224 [startup+0.701628 s] /proc/loadavg: 0.89 0.97 0.99 3/64 2147 /proc/meminfo: memFree=1854216/2055920 swapFree=4181640/4192956 [pid=2147] ppid=2145 vsize=17232 CPUtime=0.69 /proc/2147/stat : 2147 (bsolo) R 2145 2147 2100 0 -1 4194304 2498 0 0 0 66 3 0 0 25 0 1 0 189640197 17645568 1895 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2147/statm: 4308 1895 197 640 0 3664 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17232 [startup+1.50172 s] /proc/loadavg: 0.89 0.97 0.99 2/65 2148 /proc/meminfo: memFree=1847360/2055920 swapFree=4181640/4192956 [pid=2147] ppid=2145 vsize=18700 CPUtime=1.49 /proc/2147/stat : 2147 (bsolo) R 2145 2147 2100 0 -1 4194304 2866 0 0 0 145 4 0 0 25 0 1 0 189640197 19148800 2263 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2147/statm: 4675 2263 198 640 0 4031 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18700 [startup+3.1019 s] /proc/loadavg: 0.89 0.97 0.99 2/65 2148 /proc/meminfo: memFree=1844480/2055920 swapFree=4181640/4192956 [pid=2147] ppid=2145 vsize=22056 CPUtime=3.09 /proc/2147/stat : 2147 (bsolo) R 2145 2147 2100 0 -1 4194304 3703 0 0 0 303 6 0 0 25 0 1 0 189640197 22585344 3100 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2147/statm: 5514 3100 198 640 0 4870 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22056 [startup+6.30126 s] /proc/loadavg: 0.90 0.97 0.99 2/65 2148 /proc/meminfo: memFree=1838720/2055920 swapFree=4181640/4192956 [pid=2147] ppid=2145 vsize=26672 CPUtime=6.29 /proc/2147/stat : 2147 (bsolo) R 2145 2147 2100 0 -1 4194304 4867 0 0 0 621 8 0 0 25 0 1 0 189640197 27312128 4264 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2147/statm: 6668 4264 198 640 0 6024 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26672 [startup+12.702 s] /proc/loadavg: 0.91 0.97 0.99 2/65 2148 /proc/meminfo: memFree=1832464/2055920 swapFree=4181640/4192956 [pid=2147] ppid=2145 vsize=32500 CPUtime=12.68 /proc/2147/stat : 2147 (bsolo) R 2145 2147 2100 0 -1 4194304 6313 0 0 0 1259 9 0 0 25 0 1 0 189640197 33280000 5710 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2147/statm: 8125 5710 198 640 0 7481 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 32500 [startup+25.5014 s] /proc/loadavg: 0.93 0.97 0.99 2/65 2148 /proc/meminfo: memFree=1830672/2055920 swapFree=4181640/4192956 [pid=2147] ppid=2145 vsize=33964 CPUtime=25.48 /proc/2147/stat : 2147 (bsolo) R 2145 2147 2100 0 -1 4194304 6670 0 0 0 2537 11 0 0 25 0 1 0 189640197 34779136 6067 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2147/statm: 8491 6067 198 640 0 7847 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 33964 Solver just ended. Dumping a history of the last processes samples [startup+31.9052 s] /proc/loadavg: 0.93 0.97 0.99 2/65 2148 /proc/meminfo: memFree=1828560/2055920 swapFree=4181640/4192956 [pid=2147] ppid=2145 vsize=35832 CPUtime=31.89 /proc/2147/stat : 2147 (bsolo) R 2145 2147 2100 0 -1 4194304 7152 0 0 0 3177 12 0 0 25 0 1 0 189640197 36691968 6549 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2147/statm: 8958 6549 198 640 0 8314 0 Current children cumulated CPU time (s) 31.89 Current children cumulated vsize (KiB) 35832 [startup+35.1015 s] /proc/loadavg: 0.94 0.97 0.99 2/65 2148 /proc/meminfo: memFree=1828560/2055920 swapFree=4181640/4192956 [pid=2147] ppid=2145 vsize=35832 CPUtime=35.08 /proc/2147/stat : 2147 (bsolo) R 2145 2147 2100 0 -1 4194304 7152 0 0 0 3495 13 0 0 25 0 1 0 189640197 36691968 6549 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2147/statm: 8958 6549 198 640 0 8314 0 Current children cumulated CPU time (s) 35.08 Current children cumulated vsize (KiB) 35832 [startup+36.7017 s] /proc/loadavg: 0.94 0.97 0.99 2/65 2148 /proc/meminfo: memFree=1828560/2055920 swapFree=4181640/4192956 [pid=2147] ppid=2145 vsize=35832 CPUtime=36.67 /proc/2147/stat : 2147 (bsolo) R 2145 2147 2100 0 -1 4194304 7152 0 0 0 3654 13 0 0 25 0 1 0 189640197 36691968 6549 1992294400 134512640 137136520 4294956256 18446744073709551615 134543822 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2147/statm: 8958 6549 198 640 0 8314 0 Current children cumulated CPU time (s) 36.67 Current children cumulated vsize (KiB) 35832 [startup+37.1017 s] /proc/loadavg: 0.94 0.97 0.99 2/65 2148 /proc/meminfo: memFree=1828560/2055920 swapFree=4181640/4192956 [pid=2147] ppid=2145 vsize=35832 CPUtime=37.07 /proc/2147/stat : 2147 (bsolo) R 2145 2147 2100 0 -1 4194304 7152 0 0 0 3694 13 0 0 25 0 1 0 189640197 36691968 6549 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2147/statm: 8958 6549 198 640 0 8314 0 Current children cumulated CPU time (s) 37.07 Current children cumulated vsize (KiB) 35832 [startup+37.5028 s] /proc/loadavg: 0.94 0.97 0.99 2/65 2148 /proc/meminfo: memFree=1828560/2055920 swapFree=4181640/4192956 [pid=2147] ppid=2145 vsize=35832 CPUtime=37.47 /proc/2147/stat : 2147 (bsolo) R 2145 2147 2100 0 -1 4194304 7152 0 0 0 3734 13 0 0 25 0 1 0 189640197 36691968 6549 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2147/statm: 8958 6549 198 640 0 8314 0 Current children cumulated CPU time (s) 37.47 Current children cumulated vsize (KiB) 35832 [startup+37.6028 s] /proc/loadavg: 0.94 0.97 0.99 2/65 2148 /proc/meminfo: memFree=1828560/2055920 swapFree=4181640/4192956 [pid=2147] ppid=2145 vsize=35832 CPUtime=37.57 /proc/2147/stat : 2147 (bsolo) R 2145 2147 2100 0 -1 4194304 7152 0 0 0 3744 13 0 0 25 0 1 0 189640197 36691968 6549 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2147/statm: 8958 6549 198 640 0 8314 0 Current children cumulated CPU time (s) 37.57 Current children cumulated vsize (KiB) 35832 Child status: 0 Real time (s): 37.6221 CPU time (s): 37.6063 CPU user time (s): 37.4633 CPU system time (s): 0.142978 CPU usage (%): 99.9579 Max. virtual memory (cumulated for all children) (KiB): 35832 getrusage(RUSAGE_CHILDREN,...) data: user time used= 37.4633 system time used= 0.142978 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7154 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= 5 involuntary context switches= 42 runsolver used 0.043993 second user time and 0.095985 second system time The end
Begin job on node63 at 2009-06-17 08:34:20 IDJOB=1876359 IDBENCH=71840 IDSOLVER=699 FILE ID=node63/1876359-1245220459 PBS_JOBID= 9368462 Free space on /tmp= 66468 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-5000opt.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876359-1245220459/watcher-1876359-1245220459 -o /tmp/evaluation-result-1876359-1245220459/solver-1876359-1245220459 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876359-1245220459.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b413d11d214e81d6bb556d5c8775428f RANDOM SEED=868521846 node63.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.240 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.240 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1854760 kB Buffers: 26888 kB Cached: 102332 kB SwapCached: 4604 kB Active: 43144 kB Inactive: 93860 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1854760 kB SwapTotal: 4192956 kB SwapFree: 4181640 kB Dirty: 5136 kB Writeback: 0 kB Mapped: 13564 kB Slab: 49976 kB Committed_AS: 96020 kB PageTables: 1452 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876359-1245220459.opb Free space on /tmp at the end= 66464 MiB End job on node63 at 2009-06-17 08:34:57