Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -15 | 182.737 | 182.802 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb |
MD5SUM | 7f40f8d513f22fc9adca96d8fdf626e2 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -25 |
Best CPU time to get the best result obtained on this benchmark | 1800.24 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -24 |
Optimality of the best value was proved | NO |
Number of variables | 1835 |
Total number of constraints | 2112 |
Number of constraints which are clauses | 1906 |
Number of constraints which are cardinality constraints (but not clauses) | 86 |
Number of constraints which are nor clauses,nor cardinality constraints | 120 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 882 |
Number of terms in the objective function | 120 |
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 | 120 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 18 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 900 |
Number of bits of the biggest sum of numbers | 10 |
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 wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2655963-1276356818.opb. 0.00/0.00 c Instance file HOME/instance-2655963-1276356818.opb 0.00/0.00 c File size is 214268 bytes. 0.00/0.03 c Highest Coefficient sum: 900 0.00/0.03 c ============================[ Problem Statistics ]============================= 0.00/0.03 c | | 0.00/0.03 c | Parsing time: 0.03 s | 0.00/0.03 c | Number Variables: 1835 | 0.00/0.03 c | Number Clauses: 1941 | 0.00/0.03 c | Number Cardinality: 208 | 0.00/0.03 c | Number PB Constraints: 0 | 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 1835 2149 26921 | 5000 0 nan | 0.000 % | 0.00/0.06 c | 100 | 1835 2149 26921 | 5500 100 210 | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: 107 0.00/0.07 o 107 0.00/0.07 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 142 | 1835 2150 27041 | 5000 142 167 | 0.000 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c New solution: 106 0.00/0.08 o 106 0.00/0.08 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s 0.00/0.08 c =============================================================================== 0.00/0.08 c | 199 | 1835 2151 27161 | 5000 199 151 | 0.000 % | 0.09/0.10 c | 300 | 1835 2151 27161 | 5500 300 133 | 0.000 % | 0.09/0.13 c | 450 | 1835 2151 27161 | 6050 450 107 | 0.000 % | 0.09/0.15 c | 680 | 1835 2151 27161 | 6655 680 119 | 0.000 % | 0.09/0.19 c | 1017 | 1835 2151 27161 | 7320 1017 98 | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c New solution: 105 0.19/0.22 o 105 0.19/0.22 c Elapsed CPU time: 0.216967 s Remaining CPU time: 179.783 s 0.19/0.22 c =============================================================================== 0.19/0.22 c | 1122 | 1835 2152 27281 | 5000 1122 102 | 0.000 % | 0.19/0.24 c | 1222 | 1835 2152 27281 | 5500 1222 109 | 0.000 % | 0.19/0.25 c | 1374 | 1835 2152 27281 | 6050 1374 104 | 0.000 % | 0.19/0.27 c | 1599 | 1835 2152 27281 | 6655 1599 99 | 0.000 % | 0.19/0.30 c | 1936 | 1835 2152 27281 | 7320 1936 93 | 0.000 % | 0.29/0.33 c | 2443 | 1835 2152 27281 | 8052 2443 81 | 0.000 % | 0.29/0.40 c | 3204 | 1835 2152 27281 | 8857 3204 71 | 0.000 % | 0.59/0.62 c | 4346 | 1835 2152 27281 | 9743 4346 107 | 0.000 % | 0.79/0.88 c | 6054 | 1835 2152 27281 | 10717 6054 106 | 0.000 % | 1.09/1.11 c | 8620 | 1835 2152 27281 | 11789 8620 92 | 0.000 % | 1.49/1.54 c | 12464 | 1835 2152 27281 | 12968 6498 74 | 0.000 % | 2.49/2.50 c | 18230 | 1835 2152 27281 | 14265 12264 85 | 0.000 % | 3.99/4.09 c | 26879 | 1835 2152 27281 | 15692 13520 104 | 0.000 % | 6.29/6.38 c | 39853 | 1835 2152 27281 | 17261 10590 81 | 0.000 % | 11.79/11.83 c | 59316 | 1835 2152 27281 | 18987 12271 116 | 0.000 % | 17.08/17.14 c | 88508 | 1835 2152 27281 | 20886 12704 88 | 0.000 % | 53.67/53.73 c | 132297 | 1835 2152 27281 | 22974 12247 336 | 0.000 % | 69.76/69.86 c | 197982 | 1835 2152 27281 | 25272 19761 91 | 0.000 % | 99.46/99.60 c | 296508 | 1835 2152 27281 | 27799 19719 100 | 0.000 % | 145.15/145.25 c | 444299 | 1835 2152 27281 | 30579 16691 106 | 0.000 % | 182.02/182.16 c There are 0 assigned variables. 0 in cost function. 182.53/182.66 c ============================[ Search Statistics ]============================== 182.53/182.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.53/182.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.53/182.66 c =============================================================================== 182.53/182.66 c | 0 | 1714 2386 26946 | 5000 0 nan | 0.000 % | 182.62/182.76 c | 100 | 1712 2386 26946 | 5500 100 19 | 6.703 % | 182.62/182.77 c =============================================================================== 182.62/182.77 c core #1 182.62/182.77 c #cores: 1 182.62/182.77 c Final Weight: 105 182.62/182.77 o 105 182.62/182.77 s OPTIMUM FOUND 182.62/182.77 v x1 x33 -x63 -x94 -x110 -x113 -x117 -x118 -x4 -x7 -x10 -x13 -x17 -x20 -x23 -x26 x29 -x35 -x39 -x42 -x45 -x48 -x51 -x54 -x58 -x64 -x67 -x70 -x73 -x76 -x80 -x83 -x86 x89 x95 x98 -x102 -x103 -x104 -x105 -x106 -x107 -x2 -x34 -x61 -x92 x108 -x111 -x114 -x115 -x119 -x5 -x8 x11 -x14 -x16 -x18 -x21 -x24 -x27 -x30 x36 -x38 -x40 -x43 -x46 -x49 -x52 -x55 -x57 -x59 -x65 -x68 -x71 x74 -x77 x79 -x81 -x84 -x87 -x90 -x96 -x99 -x101 -x3 -x32 -x62 -x93 -x109 -x112 -x116 -x120 -x6 -x9 x12 -x15 -x19 -x22 -x25 -x28 x31 -x37 -x41 -x44 -x47 -x50 -x53 x56 -x60 -x66 -x69 -x72 x75 -x78 -x82 -x85 -x88 -x91 -x97 -x100 -x148 -x146 -x144 -x142 -x140 -x139 -x136 -x133 -x130 -x128 -x125 -x123 -x155 -x154 x152 -x143 -x121 -x218 -x216 -x214 -x212 -x210 -x209 -x206 -x203 -x200 -x198 -x195 -x193 -x225 -x224 -x222 -x213 -x191 -x463 -x461 -x459 -x457 -x455 -x454 -x451 -x448 -x445 -x443 -x440 -x438 -x470 -x469 -x467 -x458 -x436 x498 -x496 -x494 -x492 -x490 -x489 -x486 -x483 -x480 -x478 -x475 -x473 -x505 -x504 -x502 -x493 -x471 -x568 -x566 x564 -x562 -x560 -x559 -x556 -x553 -x550 -x548 -x545 -x543 -x575 -x574 -x572 -x563 -x541 -x638 -x636 -x634 -x632 -x630 -x629 -x626 -x623 -x620 -x618 -x615 -x613 -x645 -x644 -x642 -x633 -x611 -x673 -x671 -x669 -x667 -x665 -x664 -x661 -x658 -x655 -x653 -x650 -x648 -x680 -x679 -x677 -x668 x646 -x708 -x706 -x704 -x702 -x700 -x699 -x696 -x693 -x690 -x688 -x685 -x683 -x715 -x714 -x712 -x703 -x681 -x743 -x741 -x739 -x737 -x735 -x734 -x731 -x728 -x725 -x723 -x720 -x718 -x750 -x749 -x747 -x738 -x716 -x778 -x776 -x774 -x772 -x770 -x769 -x766 -x763 -x760 -x758 -x755 -x753 -x785 -x784 -x782 -x773 -x751 -x813 -x811 -x809 x807 -x805 -x804 -x801 -x798 -x795 -x793 -x790 -x788 -x820 -x819 -x817 -x808 -x786 -x883 -x881 -x879 -x877 -x875 -x874 -x871 -x868 -x865 -x863 -x860 -x858 -x890 -x889 -x887 -x878 -x856 -x253 x251 -x249 -x247 -x245 -x244 -x241 -x238 -x235 -x233 -x230 -x228 -x260 -x259 -x257 -x248 -x226 -x953 -x951 -x949 -x947 -x945 -x944 -x941 -x938 -x935 -x933 -x930 -x928 -x960 -x959 -x957 -x948 -x926 -x988 -x986 -x984 -x982 -x980 -x979 -x976 -x973 -x970 -x968 -x965 -x963 -x995 -x994 -x992 -x983 -x961 -x1023 -x1021 -x1019 -x1017 -x1015 -x1014 -x1011 -x1008 -x1005 -x1003 -x1000 -x998 -x1030 -x1029 -x1027 -x1018 -x996 -x1058 -x1056 -x1054 -x1052 x1050 -x1049 -x1046 -x1043 -x1040 -x1038 -x1035 -x1033 -x1065 -x1064 -x1062 -x1053 -x1031 -x1093 -x1091 -x1089 -x1087 -x1085 -x1084 -x1081 -x1078 -x1075 -x1073 -x1070 -x1068 -x1100 -x1099 -x1097 -x1088 -x1066 -x1163 -x1161 -x1159 -x1157 -x1155 -x1154 -x1151 -x1148 -x1145 -x1143 -x1140 -x1138 -x1170 -x1169 -x1167 -x1158 -x1136 -x1198 -x1196 -x1194 -x1192 -x1190 -x1189 -x1186 -x1183 -x1180 -x1178 -x1175 -x1173 -x1205 -x1204 -x1202 -x1193 -x1171 -x1233 -x1231 -x1229 -x1227 -x1225 -x1224 -x1221 -x1218 -x1215 -x1213 -x1210 -x1208 -x1240 -x1239 -x1237 -x1228 -x1206 -x1268 -x1266 -x1264 -x1262 -x1260 -x1259 x1256 -x1253 -x1250 -x1248 -x1245 -x1243 -x1275 -x1274 -x1272 -x1263 -x1241 -x1338 -x1336 -x1334 -x1332 -x1330 x1329 -x1326 -x1323 -x1320 -x1318 -x1315 -x1313 -x1345 -x1344 -x1342 -x1333 -x1311 -x288 -x286 -x284 -x282 -x280 -x279 -x276 -x273 -x270 -x268 -x265 -x263 -x295 -x294 -x292 -x283 -x261 -x1373 -x1371 -x1369 -x1367 -x1365 -x1364 -x1361 x1358 -x1355 -x1353 -x1350 -x1348 -x1380 -x1379 -x1377 -x1368 -x1346 -x358 -x356 -x354 -x352 -x350 -x349 -x346 -x343 -x340 -x338 -x335 -x333 -x365 -x364 -x362 -x353 -x331 -x393 -x391 -x389 -x387 -x385 -x384 -x381 -x378 -x375 -x373 -x370 -x368 -x400 -x399 -x397 -x388 -x366 -x428 -x426 -x424 -x422 -x420 -x419 -x416 -x413 -x410 -x408 -x405 -x403 -x435 -x434 -x432 x423 -x401 -x533 -x531 -x529 -x527 -x525 -x524 -x521 -x518 -x515 -x513 -x510 -x508 -x540 x539 -x537 -x528 -x506 -x918 -x916 -x914 -x912 -x910 -x909 -x906 -x903 -x900 -x898 -x895 -x893 x925 -x924 -x922 -x913 -x891 -x1443 -x1441 -x1439 -x1437 -x1435 -x1434 -x1431 -x1428 -x1425 -x1423 -x1420 -x1418 -x1450 -x1449 -x1447 -x1438 -x1416 -x1478 -x1476 -x1474 -x1472 -x1470 -x1469 -x1466 -x1463 -x1460 -x1458 -x1455 -x1453 -x1485 -x1484 -x1482 -x1473 -x1451 -x1513 -x1511 -x1509 -x1507 -x1505 -x1504 -x1501 -x1498 -x1495 -x1493 -x1490 -x1488 -x1520 -x1519 -x1517 -x1508 -x1486 -x1303 -x1301 -x1299 -x1297 -x1295 -x1294 -x1291 -x1288 -x1285 -x1283 -x1280 -x1278 -x1310 -x1309 -x1307 -x1298 -x1276 -x1548 -x1546 -x1544 -x1542 -x1540 -x1539 -x1536 -x1533 -x1530 -x1528 -x1525 -x1523 -x1555 -x1554 -x1552 -x1543 -x1521 -x1583 -x1581 -x1579 -x1577 -x1575 -x1574 -x1571 -x1568 -x1565 -x1563 -x1560 -x1558 -x1590 -x1589 -x1587 -x1578 -x1556 -x1618 -x1616 -x1614 -x1612 -x1610 -x1609 -x1606 -x1603 -x1600 -x1598 -x1595 -x1593 -x1625 -x1624 -x1622 -x1613 -x1591 -x1688 -x1686 -x1684 -x1682 -x1680 -x1679 -x1676 -x1673 -x1670 -x1668 -x1665 x1663 -x1695 -x1694 -x1692 -x1683 -x1661 -x1723 -x1721 -x1719 -x1717 -x1715 -x1714 -x1711 -x1708 -x1705 -x1703 -x1700 -x1698 -x1730 -x1729 -x1727 -x1718 -x1696 -x1758 -x1756 -x1754 -x1752 -x1750 -x1749 -x1746 -x1743 -x1740 -x1738 -x1735 -x1733 -x1765 -x1764 -x1762 -x1753 -x1731 -x1793 -x1791 -x1789 -x1787 -x1785 -x1784 -x1781 -x1778 -x1775 -x1773 -x1770 -x1768 -x1800 -x1799 -x1797 -x1788 -x1766 -x1828 -x1826 -x1824 -x1822 -x1820 -x1819 -x1816 -x1813 -x1810 -x1808 -x1805 -x1803 -x1835 -x1834 -x1832 -x1823 -x1801 -x183 -x181 -x179 -x177 -x175 -x174 -x171 -x168 -x165 -x163 -x160 -x158 -x190 -x189 -x187 -x178 -x156 -x323 -x321 -x319 -x317 -x315 -x314 -x311 -x308 -x305 -x303 x300 -x298 -x330 -x329 -x327 -x318 -x296 -x603 -x601 -x599 -x597 -x595 -x594 -x591 -x588 -x585 -x583 -x580 -x578 -x610 -x609 -x607 -x598 -x576 -x848 -x846 -x844 -x842 -x840 -x839 -x836 -x833 -x830 -x828 -x825 -x823 -x855 -x854 -x852 -x843 -x821 -x1128 -x1126 -x1124 -x1122 -x1120 -x1119 -x1116 -x1113 -x1110 x1108 -x1105 -x1103 -x1135 -x1134 -x1132 -x1123 -x1101 -x1408 -x1406 -x1404 -x1402 -x1400 -x1399 -x1396 -x1393 x1390 -x1388 -x1385 -x1383 -x1415 -x1414 -x1412 -x1403 -x1381 -x1653 -x1651 -x1649 -x1647 -x1645 -x1644 -x1641 -x1638 -x1635 -x1633 -x1630 -x1628 -x1660 -x1659 -x1657 -x1648 -x1626 -x1654 -x1652 -x1650 -x1646 -x1643 -x1642 -x1640 -x1639 x1636 -x1634 -x1632 -x1631 -x1629 -x1627 -x1658 -x1656 -x1655 -x1637 -x1619 -x1617 -x1615 -x1611 -x1608 -x1607 -x1605 x1604 -x1601 -x1599 -x1597 -x1596 -x1594 -x1592 -x1623 -x1621 -x1620 -x1602 -x1584 -x1582 -x1580 -x1576 -x1573 -x1572 x1570 -x1569 -x1566 -x1564 -x1562 -x1561 -x1559 -x1557 -x1588 -x1586 -x1585 -x1567 -x1549 -x1547 -x1545 -x1541 -x1538 -x1537 -x1535 -x1534 -x1531 -x1529 -x1527 -x1526 -x1524 -x1522 -x1553 -x1551 -x1550 -x1532 -x1514 -x1512 -x1510 -x1506 -x1503 -x1502 -x1500 -x1499 -x1496 -x1494 -x1492 -x1491 -x1489 -x1487 -x1518 -x1516 -x1515 -x1497 -x1479 -x1477 -x1475 -x1471 -x1468 -x1467 -x1465 -x1464 -x1461 -x1459 -x1457 -x1456 -x1454 -x1452 -x1483 -x1481 -x1480 -x1462 -x1444 -x1442 -x1440 -x1436 -x1433 -x1432 -x1430 -x1429 -x1426 -x1424 -x1422 -x1421 -x1419 -x1417 -x1448 -x1446 -x1445 -x1427 -x1409 -x1407 -x1405 -x1401 -x1398 -x1397 -x1395 -x1394 -x1391 -x1389 -x1387 -x1386 -x1384 -x1382 -x1413 -x1411 -x1410 -x1392 -x1374 -x1372 -x1370 -x1366 -x1363 -x1362 -x1360 -x1359 -x1356 -x1354 -x1352 -x1351 -x1349 -x1347 -x1378 -x1376 -x1375 -x1357 -x1339 -x1337 -x1335 -x1331 -x1328 -x1327 -x1325 -x1324 -x1321 -x1319 -x1317 -x1316 -x1314 -x1312 -x1343 -x1341 -x1340 -x1322 -x1269 -x1267 -x1265 -x1261 -x1258 -x1257 -x1255 -x1254 -x1251 -x1249 -x1247 -x1246 -x1244 -x1242 -x1273 -x1271 -x1270 -x1252 -x1234 -x1232 -x1230 -x1226 -x1223 -x1222 -x1220 -x1219 -x1216 -x1214 -x1212 -x1211 -x1209 -x1207 -x1238 -x1236 -x1235 -x1217 -x1199 -x1197 -x1195 -x1191 -x1188 -x1187 -x1185 -x1184 -x1181 -x1179 -x1177 -x1176 -x1174 -x1172 -x1203 -x1201 -x1200 -x1182 -x1164 -x1162 -x1160 -x1156 -x1153 -x1152 -x1150 -x1149 -x1146 -x1144 -x1142 -x1141 -x1139 -x1137 -x1168 -x1166 -x1165 -x1147 -x1129 -x1127 -x1125 -x1121 -x1118 -x1117 -x1115 -x1114 -x1111 -x1109 -x1107 -x1106 -x1104 -x1102 -x1133 -x1131 -x1130 -x1112 -x1094 -x1092 -x1090 -x1086 -x1083 -x1082 -x1080 -x1079 -x1076 x1074 -x1072 -x1071 -x1069 -x1067 -x1098 -x1096 -x1095 -x1077 -x1059 -x1057 -x1055 -x1051 -x1048 -x1047 -x1045 -x1044 -x1041 -x1039 -x1037 -x1036 -x1034 -x1032 -x1063 -x1061 -x1060 -x1042 -x1024 -x1022 -x1020 -x1016 x1013 -x1012 -x1010 -x1009 -x1006 -x1004 -x1002 -x1001 -x999 -x997 -x1028 -x1026 -x1025 -x1007 -x989 -x987 -x985 -x981 -x978 x977 -x975 -x974 -x971 -x969 -x967 -x966 -x964 -x962 -x993 -x991 -x990 -x972 -x954 -x952 -x950 -x946 -x943 -x942 -x940 -x939 -x936 -x934 -x932 -x931 -x929 -x927 -x958 -x956 -x955 -x937 -x884 -x882 -x880 -x876 -x873 -x872 -x870 -x869 -x866 -x864 -x862 -x861 -x859 -x857 -x888 -x886 -x885 -x867 -x849 -x847 -x845 -x841 -x838 -x837 -x835 -x834 -x831 -x829 x827 -x826 -x824 -x822 -x853 -x851 -x850 -x832 -x814 -x812 -x810 -x806 -x803 -x802 -x800 -x799 -x796 -x794 -x792 -x791 -x789 -x787 -x818 -x816 -x815 -x797 -x779 -x777 -x775 x771 -x768 -x767 -x765 -x764 -x761 -x759 -x757 -x756 -x754 -x752 -x783 -x781 -x780 -x762 -x744 -x742 -x740 -x736 -x733 -x732 -x730 -x729 -x726 -x724 -x722 -x721 -x719 -x717 -x748 -x746 -x745 -x727 -x709 -x707 -x705 -x701 -x698 -x697 -x695 -x694 -x691 -x689 -x687 -x686 -x684 -x682 -x713 -x711 -x710 x692 -x674 -x672 -x670 -x666 -x663 -x662 -x660 -x659 -x656 -x654 -x652 -x651 -x649 -x647 -x678 -x676 -x675 -x657 -x639 -x637 -x635 -x631 -x628 -x627 -x625 -x624 -x621 -x619 -x617 -x616 -x614 -x612 -x643 -x641 -x640 -x622 -x604 -x602 -x600 -x596 -x593 -x592 -x590 -x589 -x586 -x584 -x582 x581 -x579 -x577 -x608 -x606 -x605 -x587 -x569 -x567 -x565 -x561 -x558 -x557 -x555 -x554 -x551 -x549 -x547 -x546 -x544 -x542 -x573 -x571 -x570 -x552 -x499 -x497 -x495 -x491 -x488 -x487 -x485 -x484 -x481 -x479 -x477 -x476 -x474 -x472 -x503 -x501 -x500 -x482 x464 -x462 -x460 -x456 -x453 -x452 -x450 -x449 -x446 -x444 -x442 -x441 -x439 -x437 -x468 -x466 -x465 -x447 -x429 -x427 -x425 -x421 -x418 -x417 -x415 -x414 -x411 -x409 -x407 -x406 -x404 -x402 -x433 -x431 -x430 -x412 -x394 -x392 -x390 -x386 -x383 -x382 -x380 -x379 -x376 -x374 -x372 -x371 -x369 -x367 -x398 -x396 x395 -x377 -x359 -x357 -x355 -x351 -x348 -x347 -x345 -x344 -x341 -x339 -x337 -x336 -x334 -x332 -x363 -x361 -x360 -x342 -x324 -x322 -x320 -x316 -x313 -x312 -x310 -x309 -x306 -x304 -x302 -x301 -x299 -x297 -x328 -x326 -x325 -x307 -x289 -x287 x285 -x281 -x278 -x277 -x275 -x274 -x271 -x269 -x267 -x266 -x264 -x262 -x293 -x291 -x290 -x272 -x254 -x252 -x250 -x246 -x243 -x242 -x240 -x239 -x236 -x234 -x232 -x231 -x229 -x227 -x258 -x256 -x255 -x237 -x219 x217 -x215 -x211 -x208 -x207 -x205 -x204 -x201 -x199 -x197 -x196 -x194 -x192 -x223 -x221 -x220 -x202 -x184 -x182 -x180 -x176 -x173 -x172 -x170 -x169 -x166 -x164 -x162 -x161 -x159 -x157 -x188 -x186 -x185 -x167 -x1829 -x1827 -x1825 -x1821 -x1818 -x1817 -x1815 -x1814 -x1811 -x1809 -x1807 -x1806 -x1804 -x1802 x1833 -x1831 -x1830 -x1812 -x1794 -x1792 -x1790 -x1786 -x1783 -x1782 -x1780 -x1779 -x1776 -x1774 -x1772 -x1771 -x1769 -x1767 -x1798 x1796 -x1795 -x1777 -x1759 -x1757 -x1755 -x1751 -x1748 -x1747 -x1745 -x1744 -x1741 -x1739 -x1737 -x1736 -x1734 -x1732 -x1763 -x1761 -x1760 -x1742 -x1724 -x1722 -x1720 -x1716 -x1713 -x1712 -x1710 -x1709 -x1706 -x1704 -x1702 -x1701 x1699 -x1697 -x1728 -x1726 -x1725 -x1707 -x1689 -x1687 -x1685 -x1681 -x1678 -x1677 -x1675 -x1674 -x1671 -x1669 -x1667 -x1666 -x1664 -x1662 -x1693 -x1691 -x1690 -x1672 -x1304 -x1302 -x1300 -x1296 -x1293 -x1292 -x1290 -x1289 -x1286 -x1284 -x1282 -x1281 -x1279 x1277 -x1308 -x1306 -x1305 -x1287 -x919 -x917 -x915 -x911 -x908 -x907 -x905 -x904 -x901 -x899 -x897 -x896 -x894 -x892 -x923 -x921 -x920 -x902 -x534 -x532 -x530 -x526 -x523 -x522 -x520 -x519 -x516 -x514 -x512 -x511 -x509 -x507 -x538 -x536 -x535 -x517 -x149 -x147 -x145 -x141 -x138 -x137 -x135 -x134 -x131 -x129 -x127 -x126 -x124 -x122 -x153 -x151 -x150 -x132 182.62/182.77 c Total CPU time: 180.607 s
OK -15
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655963-1276356818/watcher-2655963-1276356818 -o /tmp/evaluation-result-2655963-1276356818/solver-2655963-1276356818 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655963-1276356818.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.96 0.99 0.99 3/106 13221 /proc/meminfo: memFree=1365416/2059040 swapFree=4192956/4192956 [pid=13221] ppid=13219 vsize=2920 CPUtime=0 /proc/13221/stat : 13221 (wbo1.4b) R 13219 13221 12500 0 -1 4202496 310 0 0 0 0 0 0 0 20 0 1 0 11283186 2990080 228 1992294400 134512640 135751879 4289721952 18446744073709551615 135206572 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13221/statm: 730 228 147 303 0 372 0 [startup+0.090466 s] /proc/loadavg: 0.96 0.99 0.99 3/106 13221 /proc/meminfo: memFree=1365416/2059040 swapFree=4192956/4192956 [pid=13221] ppid=13219 vsize=3508 CPUtime=0.08 /proc/13221/stat : 13221 (wbo1.4b) R 13219 13221 12500 0 -1 4202496 604 0 0 0 8 0 0 0 20 0 1 0 11283186 3592192 439 1992294400 134512640 135751879 4289721952 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13221/statm: 877 439 147 303 0 572 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3508 [startup+0.101468 s] /proc/loadavg: 0.96 0.99 0.99 3/106 13221 /proc/meminfo: memFree=1365416/2059040 swapFree=4192956/4192956 [pid=13221] ppid=13219 vsize=3508 CPUtime=0.09 /proc/13221/stat : 13221 (wbo1.4b) R 13219 13221 12500 0 -1 4202496 613 0 0 0 9 0 0 0 20 0 1 0 11283186 3592192 448 1992294400 134512640 135751879 4289721952 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13221/statm: 877 448 147 303 0 572 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3508 [startup+0.301503 s] /proc/loadavg: 0.96 0.99 0.99 3/106 13221 /proc/meminfo: memFree=1365416/2059040 swapFree=4192956/4192956 [pid=13221] ppid=13219 vsize=4300 CPUtime=0.29 /proc/13221/stat : 13221 (wbo1.4b) R 13219 13221 12500 0 -1 4202496 798 0 0 0 28 1 0 0 20 0 1 0 11283186 4403200 633 1992294400 134512640 135751879 4289721952 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13221/statm: 1075 633 147 303 0 770 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4300 [startup+0.70157 s] /proc/loadavg: 0.96 0.99 0.99 3/106 13221 /proc/meminfo: memFree=1365416/2059040 swapFree=4192956/4192956 [pid=13221] ppid=13219 vsize=5868 CPUtime=0.7 /proc/13221/stat : 13221 (wbo1.4b) R 13219 13221 12500 0 -1 4202496 1208 0 0 0 67 3 0 0 20 0 1 0 11283186 6008832 1043 1992294400 134512640 135751879 4289721952 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13221/statm: 1467 1043 147 303 0 1162 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 5868 [startup+1.50171 s] /proc/loadavg: 0.96 0.99 0.99 2/107 13222 /proc/meminfo: memFree=1360696/2059040 swapFree=4192956/4192956 [pid=13221] ppid=13219 vsize=9000 CPUtime=1.49 /proc/13221/stat : 13221 (wbo1.4b) R 13219 13221 12500 0 -1 4202496 1965 0 0 0 143 6 0 0 23 0 1 0 11283186 9216000 1800 1992294400 134512640 135751879 4289721952 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13221/statm: 2250 1800 148 303 0 1945 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9000 [startup+3.10098 s] /proc/loadavg: 0.96 0.99 0.99 2/107 13222 /proc/meminfo: memFree=1356232/2059040 swapFree=4192956/4192956 [pid=13221] ppid=13219 vsize=13728 CPUtime=3.08 /proc/13221/stat : 13221 (wbo1.4b) R 13219 13221 12500 0 -1 4202496 3143 0 0 0 297 11 0 0 25 0 1 0 11283186 14057472 2978 1992294400 134512640 135751879 4289721952 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13221/statm: 3432 2978 148 303 0 3127 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 13728 [startup+6.30153 s] /proc/loadavg: 0.97 0.99 0.99 2/107 13222 /proc/meminfo: memFree=1346808/2059040 swapFree=4192956/4192956 [pid=13221] ppid=13219 vsize=22440 CPUtime=6.29 /proc/13221/stat : 13221 (wbo1.4b) R 13219 13221 12500 0 -1 4202496 5316 0 0 0 611 18 0 0 25 0 1 0 11283186 22978560 5151 1992294400 134512640 135751879 4289721952 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13221/statm: 5610 5151 148 303 0 5305 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22440 [startup+12.7006 s] /proc/loadavg: 0.97 0.99 0.99 2/107 13222 /proc/meminfo: memFree=1333788/2059040 swapFree=4192956/4192956 [pid=13221] ppid=13219 vsize=34840 CPUtime=12.68 /proc/13221/stat : 13221 (wbo1.4b) R 13219 13221 12500 0 -1 4202496 8434 0 0 0 1238 30 0 0 25 0 1 0 11283186 35676160 8269 1992294400 134512640 135751879 4289721952 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13221/statm: 8710 8269 148 303 0 8405 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 34840 [startup+25.5008 s] /proc/loadavg: 0.97 0.99 0.99 2/107 13222 /proc/meminfo: memFree=1305392/2059040 swapFree=4192956/4192956 [pid=13221] ppid=13219 vsize=62168 CPUtime=25.48 /proc/13221/stat : 13221 (wbo1.4b) R 13219 13221 12500 0 -1 4202496 15232 0 0 0 2500 48 0 0 25 0 1 0 11283186 63660032 15067 1992294400 134512640 135751879 4289721952 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13221/statm: 15542 15067 148 303 0 15237 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 62168 [startup+51.1012 s] /proc/loadavg: 0.98 0.99 0.99 2/107 13224 /proc/meminfo: memFree=1272036/2059040 swapFree=4192956/4192956 [pid=13221] ppid=13219 vsize=95844 CPUtime=51.07 /proc/13221/stat : 13221 (wbo1.4b) R 13219 13221 12500 0 -1 4202496 23644 0 0 0 5045 62 0 0 25 0 1 0 11283186 98144256 23479 1992294400 134512640 135751879 4289721952 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13221/statm: 23961 23479 148 303 0 23656 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 95844 [startup+102.309 s] /proc/loadavg: 0.99 0.99 0.99 2/107 13224 /proc/meminfo: memFree=1185856/2059040 swapFree=4192956/4192956 [pid=13221] ppid=13219 vsize=181064 CPUtime=102.26 /proc/13221/stat : 13221 (wbo1.4b) R 13219 13221 12500 0 -1 4202496 44948 0 0 0 10099 127 0 0 25 0 1 0 11283186 185409536 44783 1992294400 134512640 135751879 4289721952 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13221/statm: 45266 44783 148 303 0 44961 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 181064 [startup+162.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 13226 /proc/meminfo: memFree=1093724/2059040 swapFree=4192956/4192956 [pid=13221] ppid=13219 vsize=273428 CPUtime=162.23 /proc/13221/stat : 13221 (wbo1.4b) R 13219 13221 12500 0 -1 4202496 67947 0 0 0 16031 192 0 0 25 0 1 0 11283186 279990272 67782 1992294400 134512640 135751879 4289721952 18446744073709551615 134602463 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13221/statm: 68357 67782 148 303 0 68052 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 273428 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 13226 /proc/meminfo: memFree=1087896/2059040 swapFree=4192956/4192956 [pid=13221] ppid=13219 vsize=279124 CPUtime=166.23 /proc/13221/stat : 13221 (wbo1.4b) R 13219 13221 12500 0 -1 4202496 69384 0 0 0 16426 197 0 0 25 0 1 0 11283186 285822976 69219 1992294400 134512640 135751879 4289721952 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13221/statm: 69781 69219 148 303 0 69476 0 Current children cumulated CPU time (s) 166.23 Current children cumulated vsize (KiB) 279124 [startup+172.709 s] /proc/loadavg: 0.99 0.99 0.99 2/107 13226 /proc/meminfo: memFree=1078100/2059040 swapFree=4192956/4192956 [pid=13221] ppid=13219 vsize=288984 CPUtime=172.63 /proc/13221/stat : 13221 (wbo1.4b) R 13219 13221 12500 0 -1 4202496 71835 0 0 0 17059 204 0 0 25 0 1 0 11283186 295919616 71670 1992294400 134512640 135751879 4289721952 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13221/statm: 72246 71670 148 303 0 71941 0 Current children cumulated CPU time (s) 172.63 Current children cumulated vsize (KiB) 288984 [startup+179.101 s] /proc/loadavg: 0.99 0.99 0.99 2/107 13226 /proc/meminfo: memFree=1070908/2059040 swapFree=4192956/4192956 [pid=13221] ppid=13219 vsize=296696 CPUtime=179.02 /proc/13221/stat : 13221 (wbo1.4b) R 13219 13221 12500 0 -1 4202496 73780 0 0 0 17694 208 0 0 25 0 1 0 11283186 303816704 73615 1992294400 134512640 135751879 4289721952 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13221/statm: 74174 73615 148 303 0 73869 0 Current children cumulated CPU time (s) 179.02 Current children cumulated vsize (KiB) 296696 [startup+180.7 s] /proc/loadavg: 0.99 0.99 0.99 2/107 13226 /proc/meminfo: memFree=1069296/2059040 swapFree=4192956/4192956 [pid=13221] ppid=13219 vsize=297732 CPUtime=180.63 /proc/13221/stat : 13221 (wbo1.4b) R 13219 13221 12500 0 -1 4202496 74041 0 0 0 17854 209 0 0 25 0 1 0 11283186 304877568 73876 1992294400 134512640 135751879 4289721952 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13221/statm: 74433 73876 148 303 0 74128 0 Current children cumulated CPU time (s) 180.63 Current children cumulated vsize (KiB) 297732 [startup+181.509 s] /proc/loadavg: 0.99 0.99 0.99 2/107 13226 /proc/meminfo: memFree=1068676/2059040 swapFree=4192956/4192956 [pid=13221] ppid=13219 vsize=298384 CPUtime=181.43 /proc/13221/stat : 13221 (wbo1.4b) R 13219 13221 12500 0 -1 4202496 74188 0 0 0 17934 209 0 0 25 0 1 0 11283186 305545216 74023 1992294400 134512640 135751879 4289721952 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13221/statm: 74596 74023 148 303 0 74291 0 Current children cumulated CPU time (s) 181.43 Current children cumulated vsize (KiB) 298384 [startup+182.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 13226 /proc/meminfo: memFree=1068676/2059040 swapFree=4192956/4192956 [pid=13221] ppid=13219 vsize=299980 CPUtime=182.22 /proc/13221/stat : 13221 (wbo1.4b) R 13219 13221 12500 0 -1 4202496 74578 0 0 0 18013 209 0 0 25 0 1 0 11283186 307179520 74413 1992294400 134512640 135751879 4289721952 18446744073709551615 135220911 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13221/statm: 74995 74413 149 303 0 74690 0 Current children cumulated CPU time (s) 182.22 Current children cumulated vsize (KiB) 299980 [startup+182.701 s] /proc/loadavg: 0.99 0.99 0.99 2/107 13226 /proc/meminfo: memFree=1066940/2059040 swapFree=4192956/4192956 [pid=13221] ppid=13219 vsize=299816 CPUtime=182.62 /proc/13221/stat : 13221 (wbo1.4b) R 13219 13221 12500 0 -1 4202496 74579 0 0 0 18053 209 0 0 18 0 1 0 11283186 307011584 74383 1992294400 134512640 135751879 4289721952 18446744073709551615 135204385 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13221/statm: 74954 74383 150 303 0 74649 0 Current children cumulated CPU time (s) 182.62 Current children cumulated vsize (KiB) 299816 [startup+182.801 s] /proc/loadavg: 0.99 0.99 0.99 2/107 13226 /proc/meminfo: memFree=1066940/2059040 swapFree=4192956/4192956 [pid=13221] ppid=13219 vsize=0 CPUtime=182.72 /proc/13221/stat : 13221 (wbo1.4b) R 13219 13221 12500 0 -1 4202500 74579 0 0 0 18060 212 0 0 18 0 1 0 11283186 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/13221/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 182.72 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 182.802 CPU time (s): 182.737 CPU user time (s): 180.607 CPU system time (s): 2.13068 CPU usage (%): 99.9644 Max. virtual memory (cumulated for all children) (KiB): 299980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.607 system time used= 2.13068 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 74579 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 703 runsolver used 0.294955 second user time and 0.881865 second system time The end
Begin job on node014 at 2010-06-12 17:33:38 IDJOB=2655963 IDBENCH=1870 IDSOLVER=1161 FILE ID=node014/2655963-1276356818 PBS_JOBID= 11173193 Free space on /tmp= 62464 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655963-1276356818/watcher-2655963-1276356818 -o /tmp/evaluation-result-2655963-1276356818/solver-2655963-1276356818 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655963-1276356818.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7f40f8d513f22fc9adca96d8fdf626e2 RANDOM SEED=295643530 node014.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.258 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.51 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.258 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1365820 kB Buffers: 134012 kB Cached: 414352 kB SwapCached: 0 kB Active: 195220 kB Inactive: 413068 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1365820 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2848 kB Writeback: 0 kB AnonPages: 59968 kB Mapped: 15356 kB Slab: 63200 kB PageTables: 3960 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183340 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62460 MiB End job on node014 at 2010-06-12 17:36:41