Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 52 | 50.9413 | 50.9546 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir10_area_partials.opb |
MD5SUM | 8e58fdc516472c37b974ebbf77c2a4fa |
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 | 52 |
Best CPU time to get the best result obtained on this benchmark | 7.08492 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 52 |
Optimality of the best value was proved | YES |
Number of variables | 2091 |
Total number of constraints | 7288 |
Number of constraints which are clauses | 7288 |
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 | 1 |
Maximum length of a constraint | 124 |
Number of terms in the objective function | 486 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 486 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 486 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/373240-1177365102/instance-373240-1177365102.opb 0.00/0.00 c File size is 217380 bytes. 0.00/0.04 c Highest Coefficient sum: 486 0.00/0.04 c Parsing was ok!! 0.00/0.04 c Total parsing time: 0.039 s 0.00/0.04 c Var: 2091 Constr: 7288 7288/0/0 Lit: 19014 Watch. Lit: 14530 0.00/0.04 c Obj. Vars: 486 (23.2425 % of total variables) 0.09/0.14 c Formula reductions applied at preprocessing 0.09/0.14 c Pre-processing Time: 0.145 s 1.49/1.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.57 c 0 2027 7242 18968 2 14484 2413 0 0 0.14 1.49/1.57 c Initial Lower Bound: 51 1.49/1.57 c Initial Path Cost: 46 1.49/1.57 o 55 1.573 15.29/15.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.29/15.40 c 0 2027 7243 19390 2 14899 3413 1 0 1.57 15.29/15.40 o 52 15.393 * 50.88/50.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 50.88/50.95 c 0 2027 7244 19812 2 15317 4413 2 0 15.39 50.88/50.95 v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x33 x34 x35 x36 x37 x38 x39 x40 x131 x132 x133 x134 x135 x136 x137 50.88/50.95 v x152 x191 x227 x228 x229 x246 x290 x291 x292 x338 x341 -x343 -x346 -x348 -x353 -x359 -x361 -x362 -x363 -x364 -x365 -x366 -x367 50.88/50.95 v -x368 -x369 -x371 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x388 -x391 -x393 -x395 -x397 x399 x400 -x401 -x402 50.88/50.95 v -x403 -x404 -x405 -x407 -x409 -x410 -x412 -x415 -x421 -x422 -x423 -x424 -x425 -x426 -x428 -x431 -x433 -x434 -x436 -x456 -x457 50.88/50.95 v -x459 -x502 -x503 -x505 -x519 -x539 -x541 -x542 -x543 -x544 -x545 x547 -x565 -x568 -x575 -x592 -x593 -x595 -x597 -x599 -x606 50.88/50.95 v -x608 -x609 -x611 -x617 -x619 -x624 -x626 -x630 -x631 -x633 -x637 -x639 -x649 -x650 -x652 -x654 -x655 -x657 -x673 -x675 -x693 50.88/50.95 v -x702 -x704 -x706 -x725 -x728 -x729 -x731 x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x745 -x761 x774 -x775 50.88/50.95 v -x776 -x777 -x778 -x780 -x784 -x785 -x786 -x788 -x795 -x796 -x797 -x799 -x806 -x808 -x814 -x816 -x828 -x833 -x834 -x835 -x837 50.88/50.95 v -x840 -x842 -x846 -x847 -x849 -x868 -x873 -x876 -x878 -x882 -x923 -x927 -x929 -x930 -x931 -x932 -x933 -x934 -x936 -x944 -x951 50.88/50.95 v -x952 -x953 -x955 -x974 -x991 -x992 -x994 -x1001 -x1019 -x1021 -x1026 -x1028 -x1031 -x1032 -x1033 -x1034 -x1036 -x1081 50.88/50.95 v -x1083 -x1085 -x1086 -x1087 -x1089 -x1132 -x1133 -x1135 -x1138 -x1139 -x1141 -x1145 -x1147 -x1148 -x1149 -x1150 -x1151 50.88/50.95 v -x1152 -x1153 -x1155 -x1157 -x1159 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 50.88/50.95 v -x1174 -x1175 -x1177 -x1182 -x1185 -x1186 -x1187 -x1188 -x1190 -x1196 -x1198 -x1204 -x1206 -x1208 -x1215 -x1221 -x1223 50.88/50.95 v -x1228 -x1229 -x1230 -x1232 -x1234 -x1235 -x1237 -x1239 -x1240 -x1241 -x1243 -x1245 -x1246 -x1247 -x1248 -x1249 -x1251 50.88/50.95 v -x1253 -x1254 -x1256 -x1272 -x1273 -x1274 -x1276 -x1279 -x1280 -x1282 -x1284 -x1285 x1287 -x1292 -x1294 -x1299 -x1305 50.88/50.95 v -x1308 -x1326 -x1334 -x1349 -x1350 -x1351 -x1353 -x1371 -x1376 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1402 -x1410 50.88/50.95 v -x1411 -x1412 -x1413 -x1415 -x1417 -x1418 -x1420 -x1436 -x1438 -x1442 -x1456 -x1462 -x1463 -x1465 -x1467 -x1469 -x1475 50.88/50.95 v -x1477 -x1479 -x1480 -x1482 -x1488 -x1489 -x1491 -x1505 -x1506 -x1507 -x1509 -x1520 -x1522 -x1526 -x1532 -x1534 -x1536 50.88/50.95 v -x1537 -x1538 -x1540 -x1543 -x1547 -x1549 -x1553 -x1556 -x1558 -x1561 -x1568 -x1570 -x1577 -x1580 -x1582 -x1583 -x1585 50.88/50.95 v -x1589 -x1592 -x1598 -x1601 -x1604 -x1607 -x1609 -x1622 -x1624 -x1628 -x1630 -x1632 -x1636 -x1641 -x1659 -x1665 -x1668 50.88/50.95 v -x1670 -x1672 -x1677 -x1684 -x1691 -x1709 -x1715 -x1717 -x1719 -x1727 -x1729 -x1730 -x1731 -x1733 -x1751 -x1754 -x1757 50.88/50.95 v -x1764 -x1768 -x1773 -x1789 -x1791 -x1793 -x1797 -x1819 -x1821 -x1824 -x1826 -x1828 -x1832 -x1833 -x1835 -x1838 -x1840 50.88/50.95 v -x1850 -x1852 -x1855 -x1875 -x1877 -x1880 -x1882 -x1883 -x1885 -x1891 -x1900 -x1902 -x1904 -x1905 -x1907 -x1914 -x1917 50.88/50.95 v -x1919 -x1921 -x1923 -x1925 -x1929 -x1936 -x1950 -x1952 -x1954 -x1956 -x1958 -x1967 -x1968 -x1969 -x1971 -x1976 -x1977 50.88/50.95 v -x1978 -x1980 -x1984 -x1993 -x1995 -x1998 -x2004 -x2009 -x2017 -x2020 -x2022 -x2027 -x2028 -x2030 -x2039 -x2059 -x2061 50.88/50.95 v -x2063 -x2065 -x2083 -x2085 -x2086 -x2088 -x2090 -x2091 -x342 -x347 -x352 -x21 -x22 -x23 -x24 -x370 -x25 -x26 -x27 -x28 -x387 50.88/50.95 v -x29 -x396 -x30 -x31 -x406 -x32 -x411 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x458 -x49 -x504 -x50 -x51 -x52 -x53 x546 -x54 50.88/50.95 v -x55 -x594 -x56 -x57 -x58 -x59 -x610 -x60 -x61 -x62 -x63 -x632 -x64 -x65 -x66 -x67 -x68 -x656 -x69 -x70 -x71 -x72 -x705 -x73 50.88/50.95 v -x74 -x75 -x76 -x77 -x78 -x79 -x744 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x815 -x92 -x93 -x94 -x95 -x96 50.88/50.95 v -x97 -x98 -x99 -x881 -x100 -x101 -x102 -x103 -x104 -x105 -x935 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 50.88/50.95 v -x116 -x117 -x1035 -x118 -x119 -x120 -x1088 -x121 -x1134 -x122 -x1140 -x123 -x124 -x125 -x126 -x127 -x128 -x1158 -x129 -x130 50.88/50.95 v -x692 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x427 -x1176 -x150 -x151 -x153 -x154 -x155 50.88/50.95 v -x156 -x157 -x1197 -x158 -x159 -x1214 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x1255 50.88/50.95 v -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 -x1307 -x1325 -x1333 -x183 -x184 -x185 -x186 -x1352 -x187 -x188 50.88/50.95 v -x1375 -x189 -x190 -x192 -x193 -x1401 -x194 -x195 -x196 -x197 -x198 -x199 -x1419 -x200 -x1437 -x201 -x1441 -x202 -x1455 50.88/50.95 v -x1464 -x203 -x204 -x1476 -x205 -x206 -x1481 -x207 -x208 -x209 -x1490 -x210 -x211 -x212 -x1508 -x213 -x214 -x1525 -x215 50.88/50.95 v -x216 -x217 -x218 -x219 -x220 -x1533 -x221 -x222 -x223 -x224 -x225 -x1539 -x226 -x230 -x1548 -x231 -x232 -x1304 -x233 -x234 50.88/50.95 v x1286 -x235 -x236 -x1560 -x237 -x238 -x1569 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x1584 -x1588 -x1591 -x1154 -x247 50.88/50.95 v -x1597 -x248 -x249 -x250 -x251 -x252 -x1608 -x253 -x254 -x255 -x256 -x1623 -x1627 -x257 -x258 -x1635 -x259 -x1640 -x260 50.88/50.95 v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x1676 -x270 -x271 -x1690 -x1708 -x272 -x273 -x1718 -x274 -x275 -x276 50.88/50.95 v -x277 -x278 -x618 -x279 -x280 -x281 -x282 -x283 -x1732 -x284 -x285 -x286 -x287 -x1756 -x288 -x289 -x1767 -x1772 -x293 -x294 50.88/50.95 v -x295 -x1796 -x296 -x297 -x298 -x1827 -x299 -x300 -x301 -x302 -x303 -x304 -x1854 -x305 -x306 -x307 -x308 -x309 -x310 -x311 50.88/50.95 v -x312 -x313 -x314 -x315 -x316 -x317 -x1928 -x1935 -x318 -x319 -x1957 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 50.88/50.95 v -x329 -x330 -x331 -x332 -x2029 -x2038 -x333 -x334 -x2064 -x335 -x336 -x337 -x2087 -x339 -x340 -x344 -x345 x349 -x350 -x351 50.88/50.95 v -x358 x354 -x355 -x356 -x357 -x360 -x372 -x373 -x374 -x375 -x392 -x376 -x377 -x389 -x390 -x394 -x398 -x408 -x413 -x414 -x416 50.88/50.95 v -x564 -x538 -x417 -x1082 -x418 -x419 -x420 x429 -x430 -x432 -x435 -x437 -x438 -x926 -x439 -x440 -x441 -x638 -x442 -x787 -x443 50.88/50.95 v -x444 -x445 -x446 -x447 -x867 -x730 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x567 x460 -x461 -x462 -x518 -x463 -x464 50.88/50.95 v -x465 -x466 -x467 -x468 -x469 -x470 -x724 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 50.88/50.95 v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x674 -x598 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x506 -x507 50.88/50.95 v -x836 -x508 -x943 -x509 -x510 -x1144 -x511 -x512 -x841 -x513 -x1027 -x514 -x515 -x701 -x516 -x517 -x520 -x521 -x522 -x523 50.88/50.95 v -x524 -x525 -x526 -x527 -x528 -x529 -x1020 -x827 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 x540 x548 -x549 -x550 -x551 50.88/50.95 v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 x566 -x569 -x872 -x570 -x571 -x572 -x573 -x574 -x576 50.88/50.95 v -x577 -x807 -x578 -x579 -x651 -x580 -x581 -x582 -x583 -x779 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x596 -x600 -x601 50.88/50.95 v -x602 -x603 -x604 -x605 -x607 x612 -x613 -x614 -x615 -x616 x620 -x621 -x622 -x623 -x625 x627 -x628 -x629 -x634 -x635 -x636 50.88/50.95 v -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 x653 -x658 -x659 -x660 -x993 -x661 -x662 -x663 -x664 -x665 -x666 -x667 50.88/50.95 v -x668 -x669 -x670 -x671 -x672 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 50.88/50.95 v x694 -x695 -x696 -x697 -x698 -x699 -x700 x703 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 50.88/50.95 v -x720 -x721 -x722 -x723 -x726 -x727 -x732 -x733 x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 50.88/50.95 v -x759 -x760 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x781 -x782 -x783 -x789 -x790 -x791 -x792 50.88/50.95 v -x793 -x794 -x798 -x800 -x801 -x922 -x802 -x803 -x804 -x805 x809 -x810 -x811 -x812 -x813 -x817 -x818 -x819 -x820 -x821 -x877 50.88/50.95 v -x822 -x823 -x824 -x825 -x826 -x829 -x830 -x831 -x832 -x838 -x839 -x843 -x844 -x845 -x848 x850 -x851 -x852 -x853 -x854 -x855 50.88/50.95 v -x856 -x857 -x858 -x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 -x869 -x870 -x871 -x874 -x875 -x879 -x880 -x883 -x884 -x885 50.88/50.95 v -x886 -x887 -x888 -x889 -x890 -x891 -x1000 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 50.88/50.95 v -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x924 -x925 -x928 -x937 50.88/50.95 v -x938 -x939 -x940 -x941 -x942 -x945 -x946 -x947 -x948 -x949 -x950 -x954 x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 50.88/50.95 v -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 50.88/50.95 v -x987 -x988 -x989 -x990 -x995 -x996 -x997 -x998 -x999 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 50.88/50.95 v -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 x1022 -x1023 -x1024 -x1025 -x1029 -x1030 x1037 -x1038 -x1039 -x1040 -x1041 50.88/50.95 v -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 50.88/50.95 v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 50.88/50.95 v -x1076 -x1077 -x1078 -x1079 -x1080 -x1084 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 50.88/50.95 v -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 50.88/50.95 v -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1136 -x1137 -x1142 50.88/50.95 v -x1143 -x1146 x1156 -x1160 -x1161 -x1178 -x1179 -x1180 -x1181 -x1183 -x1184 -x1203 -x1388 -x1189 -x1191 -x1192 -x1193 50.88/50.95 v -x1250 -x1194 -x1195 -x1199 -x1236 -x1200 -x1231 -x1201 -x1202 -x1205 -x1207 x1209 -x1210 -x1211 -x1212 -x1213 -x1281 50.88/50.95 v -x1216 -x1217 -x1218 -x1219 -x1220 -x1370 -x1222 -x1224 -x1392 -x1225 -x1275 -x1226 -x1227 -x1233 x1238 -x1242 -x1244 50.88/50.95 v x1252 x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1298 -x1269 -x1270 -x1271 -x1277 50.88/50.95 v -x1278 -x1283 x1288 -x1289 -x1290 -x1291 -x1293 -x1295 -x1296 -x1297 -x1300 -x1301 -x1302 -x1303 x1306 x1309 -x1310 -x1311 50.88/50.95 v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1327 -x1328 -x1329 -x1330 50.88/50.95 v -x1331 -x1332 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1354 50.88/50.95 v -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1372 -x1373 50.88/50.95 v -x1374 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 x1390 -x1394 -x1396 -x1398 -x1399 -x1400 50.88/50.95 v -x1403 -x1404 -x1405 -x1406 -x1521 -x1407 -x1408 -x1409 -x1414 -x1416 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 50.88/50.95 v -x1468 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1439 -x1440 x1443 -x1444 -x1445 -x1446 -x1447 -x1448 50.88/50.95 v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 x1457 -x1458 -x1459 -x1460 -x1461 -x1466 -x1470 -x1471 -x1472 -x1473 -x1474 50.88/50.95 v -x1478 -x1483 -x1484 -x1485 -x1486 -x1487 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 50.88/50.95 v -x1503 -x1504 -x1542 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1523 -x1524 -x1527 -x1528 50.88/50.95 v -x1529 -x1530 -x1531 -x1535 -x1541 -x1544 -x1545 -x1546 -x1550 -x1551 -x1576 -x1552 -x1554 -x1579 -x1555 -x1557 -x1559 50.88/50.95 v -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 x1571 -x1572 -x1573 -x1574 -x1575 -x1578 -x1581 x1586 -x1587 x1590 x1593 -x1594 50.88/50.95 v -x1595 -x1596 x1599 -x1750 -x1667 -x1763 -x1664 -x1600 -x1602 -x1726 -x1603 -x1605 -x1606 -x1610 -x1658 -x1611 -x1612 50.88/50.95 v -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 x1625 -x1626 -x1629 -x1631 -x1633 -x1634 x1637 -x1638 -x1639 50.88/50.95 v x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1660 50.88/50.95 v -x1661 -x1662 -x1663 x1666 -x1669 -x1671 -x1673 -x1674 -x1753 -x1675 -x1714 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 50.88/50.95 v -x1685 -x1686 -x1687 -x1688 -x1689 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 50.88/50.95 v -x1704 -x1705 -x1706 -x1707 -x1710 -x1711 -x1712 -x1713 -x1716 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1728 -x1734 50.88/50.95 v -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 x1752 -x1755 50.88/50.95 v x1758 -x1759 -x1760 -x1761 -x1762 -x1765 -x1766 -x1769 -x1770 -x1771 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 50.88/50.95 v -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1790 -x1792 -x1794 -x1795 -x1823 x1798 -x1799 -x1800 -x1839 50.88/50.95 v -x1890 -x1801 -x1802 -x1803 -x1834 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1997 -x1812 -x1813 -x1814 50.88/50.95 v -x2008 -x1815 -x1816 -x1817 -x1818 -x1820 -x1822 -x1825 -x1829 -x1920 -x1830 -x1831 -x1836 -x1876 -x1837 -x1841 -x1842 50.88/50.95 v -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1949 -x1849 -x1851 -x1853 -x1856 -x1857 -x1858 -x1859 -x1906 -x1860 -x1861 50.88/50.95 v -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1979 -x1871 -x1872 -x1873 -x1874 -x1878 -x1879 -x1881 50.88/50.95 v -x1884 -x1886 -x1913 -x1887 -x1901 -x1994 -x1924 -x1888 -x1889 -x1892 -x1916 -x2003 -x1893 -x1894 -x1895 -x1896 -x1897 50.88/50.95 v -x1898 -x1899 x1903 -x1908 -x1909 -x2016 -x1910 -x1911 -x1912 x1915 -x1918 -x1922 x1926 -x1927 -x1930 -x1931 -x1932 -x2060 50.88/50.95 v -x1933 -x1934 -x1953 -x1937 -x1938 -x1939 -x2021 -x1940 -x1941 -x1942 -x1943 -x2082 -x1944 -x1970 -x1945 -x1946 -x1947 50.88/50.95 v -x1948 -x1951 -x1955 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1972 -x1973 -x1974 -x1975 -x1981 -x1982 50.88/50.95 v -x1983 x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 x1996 x1999 -x2000 -x2001 -x2002 -x2005 -x2006 -x2007 x2010 50.88/50.95 v -x2011 -x2012 -x2013 -x2014 -x2015 -x2018 -x2019 -x2023 -x2024 -x2025 -x2026 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 50.88/50.95 v -x2037 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 50.88/50.95 v -x2056 -x2057 -x2058 -x2062 x2066 -x2067 -x2068 -x2069 -x2070 -x2071 x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 50.88/50.95 v -x2080 -x2081 -x2084 -x2089 50.88/50.95 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 50.88/50.95 c 2 45 1 384 7328 26506 86 0 50.94 50.88/50.95 c Objective: 52 50.88/50.95 s OPTIMUM FOUND 50.88/50.95 c Total time: 50.935 s
OK 52
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node14/watcher-373240-1177365102 -o ROOT/results/node14/solver-373240-1177365102 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/373240-1177365102/instance-373240-1177365102.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.44 0.85 0.90 3/77 16905 /proc/meminfo: memFree=1505600/2055920 swapFree=4148784/4192956 [pid=16905] ppid=16903 vsize=11952 CPUtime=0 /proc/16905/stat : 16905 (bsolo3.0.16) R 16903 16905 16404 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 184428015 12238848 336 18446744073709551615 134512640 135841103 4294956560 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16905/statm: 2988 336 281 324 0 2003 0 [startup+0.0612901 s] /proc/loadavg: 0.44 0.85 0.90 3/77 16905 /proc/meminfo: memFree=1505600/2055920 swapFree=4148784/4192956 [pid=16905] ppid=16903 vsize=5316 CPUtime=0.05 /proc/16905/stat : 16905 (bsolo3.0.16) R 16903 16905 16404 0 -1 4194304 794 0 0 0 5 0 0 0 18 0 1 0 184428015 5443584 710 18446744073709551615 134512640 135841103 4294956560 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16905/statm: 1329 710 305 324 0 398 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 5316 [startup+0.101293 s] /proc/loadavg: 0.44 0.85 0.90 3/77 16905 /proc/meminfo: memFree=1505600/2055920 swapFree=4148784/4192956 [pid=16905] ppid=16903 vsize=5316 CPUtime=0.09 /proc/16905/stat : 16905 (bsolo3.0.16) R 16903 16905 16404 0 -1 4194304 795 0 0 0 9 0 0 0 18 0 1 0 184428015 5443584 711 18446744073709551615 134512640 135841103 4294956560 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16905/statm: 1329 711 305 324 0 398 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5316 [startup+0.301313 s] /proc/loadavg: 0.44 0.85 0.90 3/77 16905 /proc/meminfo: memFree=1505600/2055920 swapFree=4148784/4192956 [pid=16905] ppid=16903 vsize=6108 CPUtime=0.29 /proc/16905/stat : 16905 (bsolo3.0.16) R 16903 16905 16404 0 -1 4194304 1223 0 0 0 28 1 0 0 19 0 1 0 184428015 6254592 938 18446744073709551615 134512640 135841103 4294956560 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16905/statm: 1527 938 333 324 0 596 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6108 [startup+0.701351 s] /proc/loadavg: 0.44 0.85 0.90 3/77 16905 /proc/meminfo: memFree=1505600/2055920 swapFree=4148784/4192956 [pid=16905] ppid=16903 vsize=6464 CPUtime=0.69 /proc/16905/stat : 16905 (bsolo3.0.16) R 16903 16905 16404 0 -1 4194304 19599 0 0 0 63 6 0 0 22 0 1 0 184428015 6619136 1005 18446744073709551615 134512640 135841103 4294956560 18446744073709551615 135468242 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16905/statm: 1616 1012 333 324 0 685 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6464 [startup+1.50142 s] /proc/loadavg: 0.44 0.85 0.90 2/78 16906 /proc/meminfo: memFree=1499768/2055920 swapFree=4148784/4192956 [pid=16905] ppid=16903 vsize=14084 CPUtime=1.49 /proc/16905/stat : 16905 (bsolo3.0.16) R 16903 16905 16404 0 -1 4194304 46343 0 0 0 136 13 0 0 25 0 1 0 184428015 14422016 1830 18446744073709551615 134512640 135841103 4294956560 18446744073709551615 135306705 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16905/statm: 3521 1830 391 324 0 2590 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14084 [startup+3.10158 s] /proc/loadavg: 0.44 0.85 0.90 2/78 16906 /proc/meminfo: memFree=1500024/2055920 swapFree=4148784/4192956 [pid=16905] ppid=16903 vsize=14368 CPUtime=3.09 /proc/16905/stat : 16905 (bsolo3.0.16) R 16903 16905 16404 0 -1 4194304 52374 0 0 0 293 16 0 0 25 0 1 0 184428015 14712832 1843 18446744073709551615 134512640 135841103 4294956560 18446744073709551615 135346067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16905/statm: 3592 1843 393 324 0 2661 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14368 [startup+6.30188 s] /proc/loadavg: 0.49 0.85 0.90 2/78 16906 /proc/meminfo: memFree=1499128/2055920 swapFree=4148784/4192956 [pid=16905] ppid=16903 vsize=14456 CPUtime=6.29 /proc/16905/stat : 16905 (bsolo3.0.16) R 16903 16905 16404 0 -1 4194304 58261 0 0 0 609 20 0 0 25 0 1 0 184428015 14802944 1848 18446744073709551615 134512640 135841103 4294956560 18446744073709551615 134941390 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16905/statm: 3614 1848 393 324 0 2683 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14456 [startup+12.7015 s] /proc/loadavg: 0.53 0.86 0.90 2/78 16906 /proc/meminfo: memFree=1499328/2055920 swapFree=4148784/4192956 [pid=16905] ppid=16903 vsize=14428 CPUtime=12.69 /proc/16905/stat : 16905 (bsolo3.0.16) R 16903 16905 16404 0 -1 4194304 73739 0 0 0 1242 27 0 0 25 0 1 0 184428015 14774272 1968 18446744073709551615 134512640 135841103 4294956560 18446744073709551615 135315846 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16905/statm: 3607 1968 393 324 0 2676 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14428 [startup+25.5017 s] /proc/loadavg: 0.63 0.86 0.91 2/78 16906 /proc/meminfo: memFree=1499200/2055920 swapFree=4148784/4192956 [pid=16905] ppid=16903 vsize=12712 CPUtime=25.49 /proc/16905/stat : 16905 (bsolo3.0.16) R 16903 16905 16404 0 -1 4194304 100641 0 0 0 2508 41 0 0 25 0 1 0 184428015 13017088 1809 18446744073709551615 134512640 135841103 4294956560 18446744073709551615 135253502 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16905/statm: 3178 1810 394 324 0 2247 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 12712 Solver just ended. Dumping a history of the last processes samples [startup+38.3019 s] /proc/loadavg: 0.69 0.87 0.91 2/78 16906 /proc/meminfo: memFree=1499392/2055920 swapFree=4148784/4192956 [pid=16905] ppid=16903 vsize=14348 CPUtime=38.28 /proc/16905/stat : 16905 (bsolo3.0.16) R 16903 16905 16404 0 -1 4194304 126599 0 0 0 3776 52 0 0 25 0 1 0 184428015 14692352 1943 18446744073709551615 134512640 135841103 4294956560 18446744073709551615 135315846 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16905/statm: 3587 1943 394 324 0 2656 0 Current children cumulated CPU time (s) 38.28 Current children cumulated vsize (KiB) 14348 [startup+44.7015 s] /proc/loadavg: 0.73 0.87 0.91 2/78 16906 /proc/meminfo: memFree=1499328/2055920 swapFree=4148784/4192956 [pid=16905] ppid=16903 vsize=14124 CPUtime=44.68 /proc/16905/stat : 16905 (bsolo3.0.16) R 16903 16905 16404 0 -1 4194304 140388 0 0 0 4410 58 0 0 25 0 1 0 184428015 14462976 1841 18446744073709551615 134512640 135841103 4294956560 18446744073709551615 134694899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16905/statm: 3531 1841 394 324 0 2600 0 Current children cumulated CPU time (s) 44.68 Current children cumulated vsize (KiB) 14124 [startup+47.9018 s] /proc/loadavg: 0.73 0.87 0.91 2/78 16906 /proc/meminfo: memFree=1499520/2055920 swapFree=4148784/4192956 [pid=16905] ppid=16903 vsize=13900 CPUtime=47.88 /proc/16905/stat : 16905 (bsolo3.0.16) R 16903 16905 16404 0 -1 4194304 149219 0 0 0 4726 62 0 0 25 0 1 0 184428015 14233600 1824 18446744073709551615 134512640 135841103 4294956560 18446744073709551615 135330395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16905/statm: 3475 1824 394 324 0 2544 0 Current children cumulated CPU time (s) 47.88 Current children cumulated vsize (KiB) 13900 [startup+49.5059 s] /proc/loadavg: 0.76 0.87 0.91 2/78 16906 /proc/meminfo: memFree=1499264/2055920 swapFree=4148784/4192956 [pid=16905] ppid=16903 vsize=13716 CPUtime=49.48 /proc/16905/stat : 16905 (bsolo3.0.16) R 16903 16905 16404 0 -1 4194304 153956 0 0 0 4883 65 0 0 25 0 1 0 184428015 14045184 1822 18446744073709551615 134512640 135841103 4294956560 18446744073709551615 135244606 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16905/statm: 3429 1822 394 324 0 2498 0 Current children cumulated CPU time (s) 49.48 Current children cumulated vsize (KiB) 13716 [startup+50.302 s] /proc/loadavg: 0.76 0.87 0.91 2/78 16906 /proc/meminfo: memFree=1499264/2055920 swapFree=4148784/4192956 [pid=16905] ppid=16903 vsize=13688 CPUtime=50.27 /proc/16905/stat : 16905 (bsolo3.0.16) R 16903 16905 16404 0 -1 4194304 156508 0 0 0 4961 66 0 0 25 0 1 0 184428015 14016512 1821 18446744073709551615 134512640 135841103 4294956560 18446744073709551615 135315846 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16905/statm: 3422 1821 394 324 0 2491 0 Current children cumulated CPU time (s) 50.27 Current children cumulated vsize (KiB) 13688 [startup+50.7011 s] /proc/loadavg: 0.76 0.87 0.91 2/78 16906 /proc/meminfo: memFree=1499584/2055920 swapFree=4148784/4192956 [pid=16905] ppid=16903 vsize=13684 CPUtime=50.68 /proc/16905/stat : 16905 (bsolo3.0.16) R 16903 16905 16404 0 -1 4194304 157744 0 0 0 5001 67 0 0 25 0 1 0 184428015 14012416 1843 18446744073709551615 134512640 135841103 4294956560 18446744073709551615 134700653 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16905/statm: 3421 1843 394 324 0 2490 0 Current children cumulated CPU time (s) 50.68 Current children cumulated vsize (KiB) 13684 [startup+50.9011 s] /proc/loadavg: 0.76 0.87 0.91 2/78 16906 /proc/meminfo: memFree=1499584/2055920 swapFree=4148784/4192956 [pid=16905] ppid=16903 vsize=6588 CPUtime=50.88 /proc/16905/stat : 16905 (bsolo3.0.16) R 16903 16905 16404 0 -1 4194304 158840 0 0 0 5021 67 0 0 25 0 1 0 184428015 6746112 1120 18446744073709551615 134512640 135841103 4294956560 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16905/statm: 1647 1120 394 324 0 716 0 Current children cumulated CPU time (s) 50.88 Current children cumulated vsize (KiB) 6588 Child status: 0 Real time (s): 50.9546 CPU time (s): 50.9413 CPU user time (s): 50.2574 CPU system time (s): 0.683896 CPU usage (%): 99.9739 Max. virtual memory (cumulated for all children) (KiB): 14700 getrusage(RUSAGE_CHILDREN,...) data: user time used= 50.2574 system time used= 0.683896 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 159661 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= 14 involuntary context switches= 123 runsolver used 0.051992 second user time and 0.112982 second system time The end
Begin job on node14 on Mon Apr 23 21:51:43 UTC 2007 IDJOB= 373240 IDBENCH= 25029 IDSOLVER= 163 FILE ID= node14/373240-1177365102 PBS_JOBID= 4675271 Free space on /tmp= 66205 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir10_area_partials.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/373240-1177365102/instance-373240-1177365102.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-373240-1177365102 -o ROOT/results/node14/solver-373240-1177365102 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/373240-1177365102/instance-373240-1177365102.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 8e58fdc516472c37b974ebbf77c2a4fa RANDOM SEED= 624624999 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node14.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.227 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.227 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: 1505952 kB Buffers: 82420 kB Cached: 366528 kB SwapCached: 11820 kB Active: 227324 kB Inactive: 245356 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1505952 kB SwapTotal: 4192956 kB SwapFree: 4148784 kB Dirty: 4612 kB Writeback: 0 kB Mapped: 30368 kB Slab: 62716 kB Committed_AS: 7777960 kB PageTables: 1784 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66205 MiB End job on node14 on Mon Apr 23 21:52:34 UTC 2007