Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
borg pb-opt-11.04.03 | OPT | 3124 | 3.23051 | 16.4218 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-p2756.opb |
MD5SUM | 54b9b4de78a7992fd69d0caeed32daef |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3124 |
Best CPU time to get the best result obtained on this benchmark | 1.77673 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3695 |
Optimality of the best value was proved | NO |
Number of variables | 2756 |
Total number of constraints | 749 |
Number of constraints which are clauses | 132 |
Number of constraints which are cardinality constraints (but not clauses) | 220 |
Number of constraints which are nor clauses,nor cardinality constraints | 397 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 546 |
Number of terms in the objective function | 2166 |
Biggest coefficient in the objective function | 11000 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 321831 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 11000 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 321831 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.60/13.81 c INFO: loaded portfolio from HOME/etc/borg-mix+class.opt.pickle 0.60/13.81 c INFO: solving HOME/instance-3481730-1307576356.opb 0.60/13.83 c INFO: parsing took 0.02 s 0.60/13.86 c INFO: features took 0.03 CPU seconds 0.60/13.90 c INFO: running scip-2.0.1-spx@0 for 45 with 1799 remaining (b = 0.51) 3.09/16.40 s OPTIMUM FOUND 3.09/16.40 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 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 x2092 x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 x2161 -x2162 -x2163 x2164 -x2165 -x2166 -x2167 x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 x2301 -x2302 -x2303 x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 x2530 -x2531 -x2532 -x2533 -x2534 x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 x2639 -x2640 x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 x2754 -x2755 x2756
OK 3124
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3481730-1307576356/watcher-3481730-1307576356 -o /tmp/evaluation-result-3481730-1307576356/solver-3481730-1307576356 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481730-1307576356.opb -seed 611056974 -budget 1800 running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.80 0.18 0.06 2/457 14975 /proc/meminfo: memFree=32155600/32951124 swapFree=57654872/67111528 [pid=14975] ppid=14970 vsize=11796 CPUtime=0 cores=0,2,4,6 /proc/14975/stat : 14975 (runsolver) D 14970 14975 14938 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 1 0 869236870 12079104 53 33554432000 4194304 5432328 140737315972416 18446744073709551615 5055479 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/14975/statm: 2949 53 34 303 0 2643 0 [startup+0.029155 s] /proc/loadavg: 0.80 0.18 0.06 2/457 14975 /proc/meminfo: memFree=32155600/32951124 swapFree=57654872/67111528 [pid=14975] ppid=14970 vsize=11796 CPUtime=0 cores=0,2,4,6 /proc/14975/stat : 14975 (runsolver) D 14970 14975 14938 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 1 0 869236870 12079104 53 33554432000 4194304 5432328 140737315972416 18446744073709551615 5055479 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/14975/statm: 2949 53 34 303 0 2643 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 11796 [startup+0.101149 s] /proc/loadavg: 0.80 0.18 0.06 2/457 14975 /proc/meminfo: memFree=32155600/32951124 swapFree=57654872/67111528 [pid=14975] ppid=14970 vsize=14384 CPUtime=0 cores=0,2,4,6 /proc/14975/stat : 14975 (python) D 14970 14975 14938 0 -1 4194304 232 0 5 0 0 0 0 0 19 0 1 0 869236870 14729216 169 33554432000 4194304 5683644 140733443787440 18446744073709551615 4689677 0 0 4096 0 18446744071562234166 0 0 17 2 0 0 3 /proc/14975/statm: 3596 169 135 364 0 83 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 14384 [startup+0.301105 s] /proc/loadavg: 0.80 0.18 0.06 2/457 14975 /proc/meminfo: memFree=32155600/32951124 swapFree=57654872/67111528 [pid=14975] ppid=14970 vsize=15184 CPUtime=0 cores=0,2,4,6 /proc/14975/stat : 14975 (python) S 14970 14975 14938 0 -1 4202496 705 0 6 0 0 0 0 0 17 0 1 0 869236870 15548416 603 33554432000 4194304 5683644 140733443787440 18446744073709551615 232335890432 0 2147483391 16781312 2 18446744071699453118 0 0 17 2 0 0 5 /proc/14975/statm: 3796 603 319 364 0 283 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 15184 [startup+0.701034 s] /proc/loadavg: 0.80 0.18 0.06 2/457 14975 /proc/meminfo: memFree=32155600/32951124 swapFree=57654872/67111528 [pid=14975] ppid=14970 vsize=15756 CPUtime=0 cores=0,2,4,6 /proc/14975/stat : 14975 (python) S 14970 14975 14938 0 -1 4202496 833 0 6 0 0 0 0 0 16 0 1 0 869236870 16134144 723 33554432000 4194304 5683644 140733443787440 18446744073709551615 232335890432 0 2147483391 16781312 2 18446744071699453118 0 0 17 2 0 0 7 /proc/14975/statm: 3939 723 334 364 0 426 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 15756 [startup+1.5009 s] /proc/loadavg: 0.80 0.18 0.06 2/459 14978 /proc/meminfo: memFree=32149484/32951124 swapFree=57654872/67111528 [pid=14975] ppid=14970 vsize=16396 CPUtime=0.01 cores=0,2,4,6 /proc/14975/stat : 14975 (python) S 14970 14975 14938 0 -1 4202496 1114 0 6 0 1 0 0 0 15 0 1 0 869236870 16789504 988 33554432000 4194304 5683644 140733443787440 18446744073709551615 232335890432 0 2147483391 16781312 2 18446744071699453118 0 0 17 2 0 0 13 /proc/14975/statm: 4099 988 413 364 0 586 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 16396 [startup+3.10068 s] /proc/loadavg: 0.80 0.18 0.06 2/459 14978 /proc/meminfo: memFree=32146320/32951124 swapFree=57654872/67111528 [pid=14975] ppid=14970 vsize=29792 CPUtime=0.06 cores=0,2,4,6 /proc/14975/stat : 14975 (python) D 14970 14975 14938 0 -1 4202496 1450 0 11 0 4 2 0 0 16 0 1 0 869236870 30507008 1301 33554432000 4194304 5683644 140733443787440 18446744073709551615 232335890432 0 0 16781312 2 0 0 0 17 2 0 0 52 /proc/14975/statm: 7448 1301 443 364 0 818 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 29792 heavy processes: [startup+6.30104 s] /proc/loadavg: 0.98 0.22 0.07 2/463 14982 /proc/meminfo: memFree=32131084/32951124 swapFree=57654872/67111528 [pid=14975] ppid=14970 vsize=94068 CPUtime=0.13 cores=0,2,4,6 /proc/14975/stat : 14975 (python) S 14970 14975 14938 0 -1 4202496 2773 0 24 0 7 6 0 0 16 0 1 0 869236870 96325632 2468 33554432000 4194304 5683644 140733443787440 18446744073709551615 232335892224 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 59 /proc/14975/statm: 23517 2468 788 364 0 1628 0 [pid=14980] ppid=14975 vsize=8700 CPUtime=0 cores=0,2,4,6 /proc/14980/stat : 14980 (sh) S 14975 14975 14938 0 -1 4202496 307 0 0 0 0 0 0 0 18 0 1 0 869237305 8908800 246 33554432000 4194304 4922060 140735105012352 18446744073709551615 232335711365 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/14980/statm: 2175 246 206 178 0 68 0 [pid=14981] ppid=14980 vsize=788 CPUtime=0 cores=0,2,4,6 /proc/14981/stat : 14981 (ldconfig) D 14980 14975 14938 0 -1 4194304 65 0 0 0 0 0 0 0 18 0 1 0 869237305 806912 1 33554432000 0 0 140735375173577 18446744073709551615 232335713271 0 0 16781312 0 18446744071562154983 0 0 17 6 0 0 67 /proc/14981/statm: 197 1 0 0 0 24 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 103556 heavy processes: [startup+12.7009 s] /proc/loadavg: 0.90 0.22 0.07 3/459 14986 /proc/meminfo: memFree=32102164/32951124 swapFree=57654872/67111528 [pid=14975] ppid=14970 vsize=217788 CPUtime=0.45 cores=0,2,4,6 /proc/14975/stat : 14975 (python) D 14970 14975 14938 0 -1 4202496 7004 925 85 9 26 19 0 0 15 0 1 0 869236870 223014912 5306 33554432000 4194304 5683644 140733443787440 18446744073709551615 232330972694 0 0 16781312 2 18446744071562234166 0 0 17 2 0 0 198 /proc/14975/statm: 54447 5306 1523 364 0 3950 0 Current children cumulated CPU time (s) 0.45 Current children cumulated vsize (KiB) 217788 heavy processes: Solver just ended. Dumping a history of the last processes samples [startup+12.8179 s] /proc/loadavg: 0.90 0.22 0.07 3/459 14986 /proc/meminfo: memFree=32089764/32951124 swapFree=57654872/67111528 [pid=14975] ppid=14970 vsize=234180 CPUtime=0.48 cores=0,2,4,6 /proc/14975/stat : 14975 (python) R 14970 14975 14938 0 -1 4202496 7332 925 97 9 29 19 0 0 15 0 1 0 869236870 239800320 5623 33554432000 4194304 5683644 140733443787440 18446744073709551615 4571656 0 0 16781312 2 0 0 0 17 2 0 0 201 /proc/14975/statm: 58545 5624 1578 364 0 4193 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 234180 [startup+14.4186 s] /proc/loadavg: 0.90 0.22 0.07 4/465 14992 /proc/meminfo: memFree=32019344/32951124 swapFree=57654872/67111528 [pid=14975] ppid=14970 vsize=293772 CPUtime=0.7 cores=0,2,4,6 /proc/14975/stat : 14975 (python) S 14970 14975 14938 0 -1 4202496 9682 925 111 9 46 24 0 0 17 0 2 0 869236870 300822528 7293 33554432000 4194304 5683644 140733443787440 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 240 /proc/14975/statm: 73443 7293 1870 364 0 8330 0 [pid=14987] ppid=14975 vsize=283528 CPUtime=0 cores=0,2,4,6 /proc/14987/stat : 14987 (python) S 14975 14975 14938 0 -1 4202560 853 0 0 0 0 0 0 0 16 0 1 0 869238260 290332672 5777 33554432000 4194304 5683644 140733443787440 18446744073709551615 232335912463 0 0 16781312 33554946 4199834745351176192 0 0 17 2 0 0 0 /proc/14987/statm: 70882 5777 358 364 0 5769 0 [pid=14991] ppid=14987 vsize=39016 CPUtime=0.51 cores=0,2,4,6 /proc/14991/stat : 14991 (scip-2.0.1.linu) R 14987 14991 14991 0 -1 4202496 8206 0 0 0 49 2 0 0 18 0 1 0 869238260 39952384 7538 33554432000 4194304 13684479 140733815727248 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0 /proc/14991/statm: 9754 7538 804 2317 0 7432 0 [pid=14975/tid=14989] ppid=14970 vsize=293772 CPUtime=0 cores=0,2,4,6 /proc/14975/task/14989/stat : 14989 (python) S 14970 14975 14938 0 -1 4202560 27 925 0 9 0 0 0 0 18 0 2 0 869238260 300822528 7293 33554432000 4194304 5683644 140733443787440 18446744073709551615 232347716017 0 0 16781312 33554434 18446604446615713856 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1.21 Current children cumulated vsize (KiB) 616316 [startup+15.2005 s] /proc/loadavg: 0.90 0.22 0.07 4/465 14992 /proc/meminfo: memFree=32019344/32951124 swapFree=57654872/67111528 [pid=14975] ppid=14970 vsize=293772 CPUtime=0.7 cores=0,2,4,6 /proc/14975/stat : 14975 (python) S 14970 14975 14938 0 -1 4202496 9682 925 111 9 46 24 0 0 17 0 2 0 869236870 300822528 7293 33554432000 4194304 5683644 140733443787440 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 240 /proc/14975/statm: 73443 7293 1870 364 0 8330 0 [pid=14987] ppid=14975 vsize=283528 CPUtime=0 cores=0,2,4,6 /proc/14987/stat : 14987 (python) S 14975 14975 14938 0 -1 4202560 865 0 0 0 0 0 0 0 15 0 1 0 869238260 290332672 5777 33554432000 4194304 5683644 140733443787440 18446744073709551615 232335912463 0 0 16781312 33554946 3353112050665521152 0 0 17 2 0 0 0 /proc/14987/statm: 70882 5777 358 364 0 5769 0 [pid=14991] ppid=14987 vsize=52060 CPUtime=1.28 cores=0,2,4,6 /proc/14991/stat : 14991 (scip-2.0.1.linu) R 14987 14991 14991 0 -1 4202496 12046 0 0 0 125 3 0 0 18 0 1 0 869238260 53309440 10802 33554432000 4194304 13684479 140733815727248 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0 /proc/14991/statm: 13015 10802 822 2317 0 10693 0 [pid=14975/tid=14989] ppid=14970 vsize=293772 CPUtime=0 cores=0,2,4,6 /proc/14975/task/14989/stat : 14989 (python) S 14970 14975 14938 0 -1 4202560 27 925 0 9 0 0 0 0 18 0 2 0 869238260 300822528 7293 33554432000 4194304 5683644 140733443787440 18446744073709551615 232347716017 0 0 16781312 33554434 18446604446615713856 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1.98 Current children cumulated vsize (KiB) 629360 [startup+16.0003 s] /proc/loadavg: 0.99 0.25 0.08 4/465 14992 /proc/meminfo: memFree=31991808/32951124 swapFree=57654872/67111528 [pid=14975] ppid=14970 vsize=293772 CPUtime=0.7 cores=0,2,4,6 /proc/14975/stat : 14975 (python) S 14970 14975 14938 0 -1 4202496 9682 925 111 9 46 24 0 0 17 0 2 0 869236870 300822528 7293 33554432000 4194304 5683644 140733443787440 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 240 /proc/14975/statm: 73443 7293 1870 364 0 8330 0 [pid=14987] ppid=14975 vsize=283528 CPUtime=0 cores=0,2,4,6 /proc/14987/stat : 14987 (python) S 14975 14975 14938 0 -1 4202560 867 0 0 0 0 0 0 0 15 0 1 0 869238260 290332672 5777 33554432000 4194304 5683644 140733443787440 18446744073709551615 232335912463 0 0 16781312 33554946 2540742982609403904 0 0 17 2 0 0 0 /proc/14987/statm: 70882 5777 358 364 0 5769 0 [pid=14991] ppid=14987 vsize=52060 CPUtime=2.09 cores=0,2,4,6 /proc/14991/stat : 14991 (scip-2.0.1.linu) R 14987 14991 14991 0 -1 4202496 12049 0 0 0 203 6 0 0 18 0 1 0 869238260 53309440 10805 33554432000 4194304 13684479 140733815727248 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0 /proc/14991/statm: 13015 10805 825 2317 0 10693 0 [pid=14975/tid=14989] ppid=14970 vsize=293772 CPUtime=0 cores=0,2,4,6 /proc/14975/task/14989/stat : 14989 (python) S 14970 14975 14938 0 -1 4202560 27 925 0 9 0 0 0 0 18 0 2 0 869238260 300822528 7293 33554432000 4194304 5683644 140733443787440 18446744073709551615 232347716017 0 0 16781312 33554434 18446604446615713856 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 2.79 Current children cumulated vsize (KiB) 629360 [startup+16.4013 s] /proc/loadavg: 0.99 0.25 0.08 4/465 14992 /proc/meminfo: memFree=31991808/32951124 swapFree=57654872/67111528 [pid=14975] ppid=14970 vsize=294168 CPUtime=0.7 cores=0,2,4,6 /proc/14975/stat : 14975 (python) R 14970 14975 14938 0 -1 4202496 10192 925 111 9 46 24 0 0 17 0 2 0 869236870 301228032 7360 33554432000 4194304 5683644 140733443787440 18446744073709551615 4868525 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 240 /proc/14975/statm: 73542 7360 1871 364 0 8429 0 [pid=14987] ppid=14975 vsize=0 CPUtime=2.48 cores=0,2,4,6 /proc/14987/stat : 14987 (python) Z 14975 14975 14938 0 -1 4202588 1535 12060 0 0 1 0 241 6 15 0 1 0 869238260 0 0 33554432000 0 0 0 0 0 0 0 16781824 33554434 18446744073709551615 0 0 17 2 0 0 0 /proc/14987/statm: 0 0 0 0 0 0 0 [pid=14975/tid=14989] ppid=14970 vsize=294168 CPUtime=0 cores=0,2,4,6 /proc/14975/task/14989/stat : 14989 (python) S 14970 14975 14938 0 -1 4202560 27 925 0 9 0 0 0 0 18 0 2 0 869238260 301228032 7360 33554432000 4194304 5683644 140733443787440 18446744073709551615 232347716017 0 0 16781312 33554434 18446604446615713856 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3.18 Current children cumulated vsize (KiB) 294168 Child status: 0 Real time (s): 16.4218 CPU time (s): 3.23051 CPU user time (s): 2.91156 CPU system time (s): 0.318951 CPU usage (%): 19.6721 Max. virtual memory (cumulated for all children) (KiB): 629360 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2.91156 system time used= 0.318951 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28873 page faults= 120 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 19856 involuntary context switches= 21 runsolver used 0.086986 second user time and 0.239963 second system time The end
Begin job on node132 at 2011-06-09 01:39:17 IDJOB=3481730 IDBENCH=1871 IDSOLVER=1970 FILE ID=node132/3481730-1307576356 RUNJOBID= node132-1307576356-14956 PBS_JOBID= 13547667 Free space on /tmp= 74036 MiB SOLVER NAME= borg pb-opt-11.04.03 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.opt.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3481730-1307576356/watcher-3481730-1307576356 -o /tmp/evaluation-result-3481730-1307576356/solver-3481730-1307576356 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481730-1307576356.opb -seed 611056974 -budget 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 54b9b4de78a7992fd69d0caeed32daef RANDOM SEED=611056974 node132.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 32158076 kB Buffers: 129856 kB Cached: 388032 kB SwapCached: 10184 kB Active: 413772 kB Inactive: 122780 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 32158076 kB SwapTotal: 67111528 kB SwapFree: 57654872 kB Dirty: 205464 kB Writeback: 0 kB AnonPages: 16868 kB Mapped: 8860 kB Slab: 138464 kB PageTables: 50100 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 109204380 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73836 MiB End job on node132 at 2011-06-09 01:40:04