Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
borg pb-opt-11.04.03 | OPT | 25 | 30.3954 | 30.3335 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_008_area_delay.opb |
MD5SUM | 6e9753dce198ef5ddba763a137b390c4 |
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 | 25 |
Best CPU time to get the best result obtained on this benchmark | 28.5777 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | YES |
Number of variables | 3973 |
Total number of constraints | 11097 |
Number of constraints which are clauses | 11097 |
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 | 63 |
Number of terms in the objective function | 1906 |
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 | 1906 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 1906 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.30/0.47 c INFO: loaded portfolio from HOME/etc/borg-mix+class.opt.pickle 0.30/0.47 c INFO: solving HOME/instance-3481641-1307577652.opb 0.39/0.53 c INFO: parsing took 0.06 s 0.49/0.63 c INFO: features took 0.10 CPU seconds 0.49/0.66 c INFO: running scip-2.0.1-spx@0 for 45 with 1799 remaining (b = 0.48) 30.32/30.31 s OPTIMUM FOUND 30.32/30.31 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 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 x2879 x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 x2911 x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 x3345 x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 x3512 x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 x3790 x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 x3878 x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 x3914 x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 x3934 x3935 -x3936 -x3937 x3938 x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 x3956 x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 x3970 x3971 x3972 x3973
OK 25
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-3481641-1307577652/watcher-3481641-1307577652 -o /tmp/evaluation-result-3481641-1307577652/solver-3481641-1307577652 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481641-1307577652.opb -seed 907331787 -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: 2.02 2.05 1.55 2/750 20635 /proc/meminfo: memFree=21904208/32950928 swapFree=26914392/67111528 [pid=20635] ppid=20633 vsize=16244 CPUtime=0 cores=0,2,4,6 /proc/20635/stat : 20635 (python) R 20633 20635 19061 0 -1 4202496 1051 0 0 0 0 0 0 0 25 0 1 0 869361955 16633856 922 33554432000 4194304 5683644 140736645977072 18446744073709551615 5293775 0 0 16781312 2 0 0 0 17 4 0 0 0 /proc/20635/statm: 4061 922 381 364 0 548 0 [startup+0.0475409 s] /proc/loadavg: 2.02 2.05 1.55 2/750 20635 /proc/meminfo: memFree=21904208/32950928 swapFree=26914392/67111528 [pid=20635] ppid=20633 vsize=29792 CPUtime=0.03 cores=0,2,4,6 /proc/20635/stat : 20635 (python) S 20633 20635 19061 0 -1 4202496 1415 0 0 0 3 0 0 0 25 0 1 0 869361955 30507008 1258 33554432000 4194304 5683644 140736645977072 18446744073709551615 254500689920 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0 /proc/20635/statm: 7448 1258 443 364 0 818 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 29792 [startup+0.107804 s] /proc/loadavg: 2.02 2.05 1.55 2/750 20635 /proc/meminfo: memFree=21904208/32950928 swapFree=26914392/67111528 [pid=20635] ppid=20633 vsize=96128 CPUtime=0.07 cores=0,2,4,6 /proc/20635/stat : 20635 (python) R 20633 20635 19061 0 -1 4202496 3169 929 1 0 6 1 0 0 18 0 1 0 869361955 98435072 2483 33554432000 4194304 5683644 140736645977072 18446744073709551615 5170261 0 0 16781312 2 0 0 0 17 4 0 0 0 /proc/20635/statm: 24032 2483 792 364 0 1627 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 96128 [startup+0.300713 s] /proc/loadavg: 2.02 2.05 1.55 2/750 20635 /proc/meminfo: memFree=21904208/32950928 swapFree=26914392/67111528 [pid=20635] ppid=20633 vsize=202860 CPUtime=0.22 cores=0,2,4,6 /proc/20635/stat : 20635 (python) S 20633 20635 19061 0 -1 4202496 6657 929 1 0 17 5 0 0 17 0 1 0 869361955 207728640 4944 33554432000 4194304 5683644 140736645977072 18446744073709551615 254500689920 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0 /proc/20635/statm: 50749 4957 1472 364 0 3711 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 202860 [startup+0.700661 s] /proc/loadavg: 2.02 2.05 1.55 2/750 20635 /proc/meminfo: memFree=21904208/32950928 swapFree=26914392/67111528 [pid=20635] ppid=20633 vsize=295256 CPUtime=0.55 cores=0,2,4,6 /proc/20635/stat : 20635 (python) S 20633 20635 19061 0 -1 4202496 10230 929 1 0 48 7 0 0 19 0 2 0 869361955 302342144 7652 33554432000 4194304 5683644 140736645977072 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0 /proc/20635/statm: 73814 7652 1870 364 0 8701 0 Current children cumulated CPU time (s) 0.55 Current children cumulated vsize (KiB) 295256 [startup+1.50049 s] /proc/loadavg: 2.02 2.05 1.55 3/754 20643 /proc/meminfo: memFree=21833932/32950928 swapFree=26914392/67111528 [pid=20635] ppid=20633 vsize=295256 CPUtime=0.55 cores=0,2,4,6 /proc/20635/stat : 20635 (python) S 20633 20635 19061 0 -1 4202496 10230 929 1 0 48 7 0 0 19 0 2 0 869361955 302342144 7652 33554432000 4194304 5683644 140736645977072 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0 /proc/20635/statm: 73814 7652 1870 364 0 8701 0 [pid=20641] ppid=20635 vsize=285012 CPUtime=0 cores=0,2,4,6 /proc/20641/stat : 20641 (python) S 20635 20635 19061 0 -1 4202560 761 0 0 0 0 0 0 0 15 0 1 0 869362022 291852288 6130 33554432000 4194304 5683644 140736645977072 18446744073709551615 254500711951 0 0 16781312 33554946 2996254226042060800 0 0 17 6 0 0 0 /proc/20641/statm: 71253 6130 352 364 0 6140 0 [pid=20643] ppid=20641 vsize=62724 CPUtime=0.82 cores=0,2,4,6 /proc/20643/stat : 20643 (scip-2.0.1.linu) R 20641 20643 20643 0 -1 4202496 14191 0 0 0 80 2 0 0 18 0 1 0 869362022 64229376 13456 33554432000 4194304 13684479 140735881543728 18446744073709551615 5070449 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/20643/statm: 15681 13456 783 2317 0 13359 0 [pid=20635/tid=20642] ppid=20633 vsize=295256 CPUtime=0 cores=0,2,4,6 /proc/20635/task/20642/stat : 20642 (python) S 20633 20635 19061 0 -1 4202560 29 929 0 0 0 0 0 0 19 0 2 0 869362022 302342144 7652 33554432000 4194304 5683644 140736645977072 18446744073709551615 254512515505 0 0 16781312 33554434 18446604444179291200 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1.37 Current children cumulated vsize (KiB) 642992 [startup+3.10117 s] /proc/loadavg: 2.02 2.05 1.55 3/754 20643 /proc/meminfo: memFree=21811984/32950928 swapFree=26914392/67111528 [pid=20635] ppid=20633 vsize=295256 CPUtime=0.55 cores=0,2,4,6 /proc/20635/stat : 20635 (python) S 20633 20635 19061 0 -1 4202496 10230 929 1 0 48 7 0 0 19 0 2 0 869361955 302342144 7652 33554432000 4194304 5683644 140736645977072 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0 /proc/20635/statm: 73814 7652 1870 364 0 8701 0 [pid=20641] ppid=20635 vsize=285012 CPUtime=0 cores=0,2,4,6 /proc/20641/stat : 20641 (python) S 20635 20635 19061 0 -1 4202560 762 0 0 0 0 0 0 0 15 0 1 0 869362022 291852288 6130 33554432000 4194304 5683644 140736645977072 18446744073709551615 254500711951 0 0 16781312 33554946 637072361576726528 0 0 17 6 0 0 0 /proc/20641/statm: 71253 6130 352 364 0 6140 0 [pid=20643] ppid=20641 vsize=77712 CPUtime=2.42 cores=0,2,4,6 /proc/20643/stat : 20643 (scip-2.0.1.linu) R 20641 20643 20643 0 -1 4202496 17886 0 0 0 238 4 0 0 18 0 1 0 869362022 79577088 17132 33554432000 4194304 13684479 140735881543728 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/20643/statm: 19428 17132 775 2317 0 17106 0 [pid=20635/tid=20642] ppid=20633 vsize=295256 CPUtime=0 cores=0,2,4,6 /proc/20635/task/20642/stat : 20642 (python) S 20633 20635 19061 0 -1 4202560 29 929 0 0 0 0 0 0 19 0 2 0 869362022 302342144 7652 33554432000 4194304 5683644 140736645977072 18446744073709551615 254512515505 0 0 16781312 33554434 18446604444179291200 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.97 Current children cumulated vsize (KiB) 657980 [startup+6.30054 s] /proc/loadavg: 2.17 2.08 1.56 3/754 20643 /proc/meminfo: memFree=21801780/32950928 swapFree=26914392/67111528 [pid=20635] ppid=20633 vsize=295256 CPUtime=0.55 cores=0,2,4,6 /proc/20635/stat : 20635 (python) S 20633 20635 19061 0 -1 4202496 10230 929 1 0 48 7 0 0 19 0 2 0 869361955 302342144 7652 33554432000 4194304 5683644 140736645977072 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0 /proc/20635/statm: 73814 7652 1870 364 0 8701 0 [pid=20641] ppid=20635 vsize=285012 CPUtime=0.01 cores=0,2,4,6 /proc/20641/stat : 20641 (python) S 20635 20635 19061 0 -1 4202560 900 0 0 0 0 1 0 0 15 0 1 0 869362022 291852288 6154 33554432000 4194304 5683644 140736645977072 18446744073709551615 254500711951 0 0 16781312 33554946 4289643645381902336 0 0 17 6 0 0 0 /proc/20641/statm: 71253 6154 376 364 0 6140 0 [pid=20643] ppid=20641 vsize=82572 CPUtime=5.62 cores=0,2,4,6 /proc/20643/stat : 20643 (scip-2.0.1.linu) R 20641 20643 20643 0 -1 4202496 19137 0 0 0 555 7 0 0 25 0 1 0 869362022 84553728 18383 33554432000 4194304 13684479 140735881543728 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/20643/statm: 20643 18383 786 2317 0 18321 0 [pid=20635/tid=20642] ppid=20633 vsize=295256 CPUtime=0 cores=0,2,4,6 /proc/20635/task/20642/stat : 20642 (python) S 20633 20635 19061 0 -1 4202560 29 929 0 0 0 0 0 0 19 0 2 0 869362022 302342144 7652 33554432000 4194304 5683644 140736645977072 18446744073709551615 254512515505 0 0 16781312 33554434 18446604444179291200 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 6.18 Current children cumulated vsize (KiB) 662840 [startup+12.7013 s] /proc/loadavg: 2.16 2.08 1.57 3/754 20652 /proc/meminfo: memFree=21775256/32950928 swapFree=26914392/67111528 [pid=20635] ppid=20633 vsize=295256 CPUtime=0.55 cores=0,2,4,6 /proc/20635/stat : 20635 (python) S 20633 20635 19061 0 -1 4202496 10230 929 1 0 48 7 0 0 19 0 2 0 869361955 302342144 7652 33554432000 4194304 5683644 140736645977072 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0 /proc/20635/statm: 73814 7652 1870 364 0 8701 0 [pid=20641] ppid=20635 vsize=285012 CPUtime=0.06 cores=0,2,4,6 /proc/20641/stat : 20641 (python) S 20635 20635 19061 0 -1 4202560 907 0 0 0 3 3 0 0 16 0 1 0 869362022 291852288 6154 33554432000 4194304 5683644 140736645977072 18446744073709551615 254500711951 0 0 16781312 33554946 72556772316949369 0 0 17 6 0 0 0 /proc/20641/statm: 71253 6154 376 364 0 6140 0 [pid=20643] ppid=20641 vsize=105496 CPUtime=12.03 cores=0,2,4,6 /proc/20643/stat : 20643 (scip-2.0.1.linu) R 20641 20643 20643 0 -1 4202496 24590 0 0 0 1189 14 0 0 25 0 1 0 869362022 108027904 23819 33554432000 4194304 13684479 140735881543728 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/20643/statm: 26374 23819 821 2317 0 24052 0 [pid=20635/tid=20642] ppid=20633 vsize=295256 CPUtime=0 cores=0,2,4,6 /proc/20635/task/20642/stat : 20642 (python) S 20633 20635 19061 0 -1 4202560 29 929 0 0 0 0 0 0 19 0 2 0 869362022 302342144 7652 33554432000 4194304 5683644 140736645977072 18446744073709551615 254512515505 0 0 16781312 33554434 18446604444179291200 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 12.64 Current children cumulated vsize (KiB) 685764 [startup+25.5007 s] /proc/loadavg: 2.13 2.08 1.57 3/754 20653 /proc/meminfo: memFree=21768252/32950928 swapFree=26914392/67111528 [pid=20635] ppid=20633 vsize=295256 CPUtime=0.55 cores=0,2,4,6 /proc/20635/stat : 20635 (python) S 20633 20635 19061 0 -1 4202496 10230 929 1 0 48 7 0 0 19 0 2 0 869361955 302342144 7652 33554432000 4194304 5683644 140736645977072 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0 /proc/20635/statm: 73814 7652 1870 364 0 8701 0 [pid=20641] ppid=20635 vsize=285012 CPUtime=0.11 cores=0,2,4,6 /proc/20641/stat : 20641 (python) S 20635 20635 19061 0 -1 4202560 912 0 0 0 5 6 0 0 15 0 1 0 869362022 291852288 6154 33554432000 4194304 5683644 140736645977072 18446744073709551615 254500711951 0 0 16781312 33554946 1065643731882868736 0 0 17 6 0 0 0 /proc/20641/statm: 71253 6154 376 364 0 6140 0 [pid=20643] ppid=20641 vsize=105496 CPUtime=24.83 cores=0,2,4,6 /proc/20643/stat : 20643 (scip-2.0.1.linu) R 20641 20643 20643 0 -1 4202496 24691 0 0 0 2458 25 0 0 25 0 1 0 869362022 108027904 23920 33554432000 4194304 13684479 140735881543728 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/20643/statm: 26374 23920 829 2317 0 24052 0 [pid=20635/tid=20642] ppid=20633 vsize=295256 CPUtime=0 cores=0,2,4,6 /proc/20635/task/20642/stat : 20642 (python) S 20633 20635 19061 0 -1 4202560 29 929 0 0 0 0 0 0 19 0 2 0 869362022 302342144 7652 33554432000 4194304 5683644 140736645977072 18446744073709551615 254512515505 0 0 16781312 33554434 18446604444179291200 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 685764 Solver just ended. Dumping a history of the last processes samples [startup+25.9006 s] /proc/loadavg: 2.28 2.11 1.58 3/754 20653 /proc/meminfo: memFree=21767632/32950928 swapFree=26914392/67111528 [pid=20635] ppid=20633 vsize=295256 CPUtime=0.55 cores=0,2,4,6 /proc/20635/stat : 20635 (python) S 20633 20635 19061 0 -1 4202496 10230 929 1 0 48 7 0 0 19 0 2 0 869361955 302342144 7652 33554432000 4194304 5683644 140736645977072 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0 /proc/20635/statm: 73814 7652 1870 364 0 8701 0 [pid=20641] ppid=20635 vsize=285012 CPUtime=0.11 cores=0,2,4,6 /proc/20641/stat : 20641 (python) S 20635 20635 19061 0 -1 4202560 912 0 0 0 5 6 0 0 15 0 1 0 869362022 291852288 6154 33554432000 4194304 5683644 140736645977072 18446744073709551615 254500711951 0 0 16781312 33554946 1065643731882868736 0 0 17 6 0 0 0 /proc/20641/statm: 71253 6154 376 364 0 6140 0 [pid=20643] ppid=20641 vsize=105496 CPUtime=25.22 cores=0,2,4,6 /proc/20643/stat : 20643 (scip-2.0.1.linu) R 20641 20643 20643 0 -1 4202496 24691 0 0 0 2497 25 0 0 25 0 1 0 869362022 108027904 23920 33554432000 4194304 13684479 140735881543728 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/20643/statm: 26374 23920 829 2317 0 24052 0 [pid=20635/tid=20642] ppid=20633 vsize=295256 CPUtime=0 cores=0,2,4,6 /proc/20635/task/20642/stat : 20642 (python) S 20633 20635 19061 0 -1 4202560 29 929 0 0 0 0 0 0 19 0 2 0 869362022 302342144 7652 33554432000 4194304 5683644 140736645977072 18446744073709551615 254512515505 0 0 16781312 33554434 18446604444179291200 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 25.88 Current children cumulated vsize (KiB) 685764 [startup+27.5003 s] /proc/loadavg: 2.28 2.11 1.58 3/754 20653 /proc/meminfo: memFree=21767260/32950928 swapFree=26914392/67111528 [pid=20635] ppid=20633 vsize=295256 CPUtime=0.55 cores=0,2,4,6 /proc/20635/stat : 20635 (python) S 20633 20635 19061 0 -1 4202496 10230 929 1 0 48 7 0 0 19 0 2 0 869361955 302342144 7652 33554432000 4194304 5683644 140736645977072 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0 /proc/20635/statm: 73814 7652 1870 364 0 8701 0 [pid=20641] ppid=20635 vsize=285012 CPUtime=0.13 cores=0,2,4,6 /proc/20641/stat : 20641 (python) S 20635 20635 19061 0 -1 4202560 914 0 0 0 6 7 0 0 16 0 1 0 869362022 291852288 6154 33554432000 4194304 5683644 140736645977072 18446744073709551615 254500711951 0 0 16781312 33554946 1230540282429177856 0 0 17 6 0 0 0 /proc/20641/statm: 71253 6154 376 364 0 6140 0 [pid=20643] ppid=20641 vsize=105496 CPUtime=26.82 cores=0,2,4,6 /proc/20643/stat : 20643 (scip-2.0.1.linu) R 20641 20643 20643 0 -1 4202496 24691 0 0 0 2655 27 0 0 25 0 1 0 869362022 108027904 23920 33554432000 4194304 13684479 140735881543728 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/20643/statm: 26374 23920 829 2317 0 24052 0 [pid=20635/tid=20642] ppid=20633 vsize=295256 CPUtime=0 cores=0,2,4,6 /proc/20635/task/20642/stat : 20642 (python) S 20633 20635 19061 0 -1 4202560 29 929 0 0 0 0 0 0 19 0 2 0 869362022 302342144 7652 33554432000 4194304 5683644 140736645977072 18446744073709551615 254512515505 0 0 16781312 33554434 18446604444179291200 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 27.5 Current children cumulated vsize (KiB) 685764 [startup+29.101 s] /proc/loadavg: 2.28 2.11 1.58 3/754 20653 /proc/meminfo: memFree=21766020/32950928 swapFree=26914392/67111528 [pid=20635] ppid=20633 vsize=295256 CPUtime=0.55 cores=0,2,4,6 /proc/20635/stat : 20635 (python) S 20633 20635 19061 0 -1 4202496 10230 929 1 0 48 7 0 0 19 0 2 0 869361955 302342144 7652 33554432000 4194304 5683644 140736645977072 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0 /proc/20635/statm: 73814 7652 1870 364 0 8701 0 [pid=20641] ppid=20635 vsize=285012 CPUtime=0.13 cores=0,2,4,6 /proc/20641/stat : 20641 (python) S 20635 20635 19061 0 -1 4202560 914 0 0 0 6 7 0 0 15 0 1 0 869362022 291852288 6154 33554432000 4194304 5683644 140736645977072 18446744073709551615 254500711951 0 0 16781312 33554946 700649018702692352 0 0 17 6 0 0 0 /proc/20641/statm: 71253 6154 376 364 0 6140 0 [pid=20643] ppid=20641 vsize=105496 CPUtime=28.43 cores=0,2,4,6 /proc/20643/stat : 20643 (scip-2.0.1.linu) R 20641 20643 20643 0 -1 4202496 24691 0 0 0 2815 28 0 0 18 0 1 0 869362022 108027904 23920 33554432000 4194304 13684479 140735881543728 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/20643/statm: 26374 23920 829 2317 0 24052 0 [pid=20635/tid=20642] ppid=20633 vsize=295256 CPUtime=0 cores=0,2,4,6 /proc/20635/task/20642/stat : 20642 (python) S 20633 20635 19061 0 -1 4202560 29 929 0 0 0 0 0 0 19 0 2 0 869362022 302342144 7652 33554432000 4194304 5683644 140736645977072 18446744073709551615 254512515505 0 0 16781312 33554434 18446604444179291200 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 29.11 Current children cumulated vsize (KiB) 685764 [startup+29.9008 s] /proc/loadavg: 2.28 2.11 1.58 3/754 20653 /proc/meminfo: memFree=21766020/32950928 swapFree=26914392/67111528 [pid=20635] ppid=20633 vsize=295256 CPUtime=0.55 cores=0,2,4,6 /proc/20635/stat : 20635 (python) S 20633 20635 19061 0 -1 4202496 10230 929 1 0 48 7 0 0 19 0 2 0 869361955 302342144 7652 33554432000 4194304 5683644 140736645977072 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0 /proc/20635/statm: 73814 7652 1870 364 0 8701 0 [pid=20641] ppid=20635 vsize=285012 CPUtime=0.13 cores=0,2,4,6 /proc/20641/stat : 20641 (python) S 20635 20635 19061 0 -1 4202560 915 0 0 0 6 7 0 0 15 0 1 0 869362022 291852288 6154 33554432000 4194304 5683644 140736645977072 18446744073709551615 254500711951 0 0 16781312 33554946 167321549211172864 0 0 17 6 0 0 0 /proc/20641/statm: 71253 6154 376 364 0 6140 0 [pid=20643] ppid=20641 vsize=105496 CPUtime=29.22 cores=0,2,4,6 /proc/20643/stat : 20643 (scip-2.0.1.linu) R 20641 20643 20643 0 -1 4202496 24691 0 0 0 2894 28 0 0 18 0 1 0 869362022 108027904 23920 33554432000 4194304 13684479 140735881543728 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/20643/statm: 26374 23920 829 2317 0 24052 0 [pid=20635/tid=20642] ppid=20633 vsize=295256 CPUtime=0 cores=0,2,4,6 /proc/20635/task/20642/stat : 20642 (python) S 20633 20635 19061 0 -1 4202560 29 929 0 0 0 0 0 0 19 0 2 0 869362022 302342144 7652 33554432000 4194304 5683644 140736645977072 18446744073709551615 254512515505 0 0 16781312 33554434 18446604444179291200 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 29.9 Current children cumulated vsize (KiB) 685764 [startup+30.3007 s] /proc/loadavg: 2.26 2.11 1.58 3/754 20653 /proc/meminfo: memFree=21765400/32950928 swapFree=26914392/67111528 [pid=20635] ppid=20633 vsize=295256 CPUtime=0.55 cores=0,2,4,6 /proc/20635/stat : 20635 (python) S 20633 20635 19061 0 -1 4202496 10230 929 1 0 48 7 0 0 19 0 2 0 869361955 302342144 7652 33554432000 4194304 5683644 140736645977072 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0 /proc/20635/statm: 73814 7652 1870 364 0 8701 0 [pid=20641] ppid=20635 vsize=295512 CPUtime=0.15 cores=0,2,4,6 /proc/20641/stat : 20641 (python) R 20635 20635 19061 0 -1 4202560 1199 0 0 0 8 7 0 0 16 0 2 0 869362022 302604288 6239 33554432000 4194304 5683644 140736645977072 18446744073709551615 4510893 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0 /proc/20641/statm: 73878 6239 423 364 0 8765 0 [pid=20643] ppid=20641 vsize=0 CPUtime=29.62 cores=0,2,4,6 /proc/20643/stat : 20643 (scip-2.0.1.linu) Z 20641 20643 20643 0 -1 4202524 24696 0 0 0 2933 29 0 0 18 0 1 0 869362022 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0 /proc/20643/statm: 0 0 0 0 0 0 0 [pid=20635/tid=20642] ppid=20633 vsize=295256 CPUtime=0 cores=0,2,4,6 /proc/20635/task/20642/stat : 20642 (python) S 20633 20635 19061 0 -1 4202560 29 929 0 0 0 0 0 0 19 0 2 0 869362022 302342144 7652 33554432000 4194304 5683644 140736645977072 18446744073709551615 254512515505 0 0 16781312 33554434 18446604444179291200 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 30.32 Current children cumulated vsize (KiB) 590768 Child status: 0 Real time (s): 30.3335 CPU time (s): 30.3954 CPU user time (s): 29.9334 CPU system time (s): 0.461929 CPU usage (%): 100.204 Max. virtual memory (cumulated for all children) (KiB): 685764 getrusage(RUSAGE_CHILDREN,...) data: user time used= 29.9334 system time used= 0.461929 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42389 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1103 involuntary context switches= 83 runsolver used 0.19697 second user time and 0.367944 second system time The end
Begin job on node149 at 2011-06-09 02:00:52 IDJOB=3481641 IDBENCH=24990 IDSOLVER=1970 FILE ID=node149/3481641-1307577652 RUNJOBID= node149-1307576353-19079 PBS_JOBID= 13547650 Free space on /tmp= 73376 MiB SOLVER NAME= borg pb-opt-11.04.03 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_008_area_delay.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-3481641-1307577652/watcher-3481641-1307577652 -o /tmp/evaluation-result-3481641-1307577652/solver-3481641-1307577652 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481641-1307577652.opb -seed 907331787 -budget 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6e9753dce198ef5ddba763a137b390c4 RANDOM SEED=907331787 node149.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.806 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.61 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.806 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.83 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.806 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.83 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.806 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.73 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.806 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.82 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.806 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.75 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.806 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.806 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: 32950928 kB MemFree: 21904496 kB Buffers: 171992 kB Cached: 859360 kB SwapCached: 27136 kB Active: 10440912 kB Inactive: 250412 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 21904496 kB SwapTotal: 67111528 kB SwapFree: 26914392 kB Dirty: 104652 kB Writeback: 0 kB AnonPages: 9657248 kB Mapped: 84224 kB Slab: 138948 kB PageTables: 142872 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 187334688 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73276 MiB End job on node149 at 2011-06-09 02:01:23