Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 938 | 1782.74 | 1783.51 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-10teams.opb |
MD5SUM | 6db31fd4066996ff4f309d723fc2c237 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 904 |
Best CPU time to get the best result obtained on this benchmark | 1800.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 904 |
Optimality of the best value was proved | YES |
Number of variables | 1800 |
Total number of constraints | 215 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 215 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 40 |
Maximum length of a constraint | 72 |
Number of terms in the objective function | 1800 |
Biggest coefficient in the objective function | 86 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 41700 |
Number of bits of the sum of numbers in the objective function | 16 |
Biggest number in a constraint | 86 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 41700 |
Number of bits of the biggest sum of numbers | 16 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Pueblo version 1.4 (September 2005) 0.00/0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00/0.00 c by Hossein Sheini 0.00/0.05 c starting to Solve 0.00/0.05 c #variables read: 1800 - #constraints read: 341 1.49/1.53 o 996 15.08/15.17 o 966 184.82/184.96 o 962 293.97/294.17 o 950 366.45/366.64 o 942 561.37/561.64 o 938 1782.72/1783.50 c total time : 1783 s 1782.72/1783.50 s SATISFIABLE 1782.72/1783.50 v -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 1782.72/1783.50 v -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 x1059 -x1060 1782.72/1783.50 v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 1782.72/1783.50 v -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 1782.72/1783.50 v -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 1782.72/1783.50 v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 1782.72/1783.50 v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 1782.72/1783.50 v -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 1782.72/1783.50 v -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 1782.72/1783.50 v -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 1782.72/1783.50 v -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 1782.72/1783.50 v -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 1782.72/1783.50 v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 1782.72/1783.50 v -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 x1263 -x1264 1782.72/1783.50 v -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 1782.72/1783.50 v -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 1782.72/1783.50 v -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 1782.72/1783.50 v x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 1782.72/1783.50 v -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 1782.72/1783.50 v -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 1782.72/1783.50 v -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 1782.72/1783.50 v -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 1782.72/1783.50 v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 1782.72/1783.50 v -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 1782.72/1783.50 v -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 1782.72/1783.50 v -x1452 x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 1782.72/1783.50 v -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 1782.72/1783.50 v -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 1782.72/1783.50 v -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 1782.72/1783.50 v -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 1782.72/1783.50 v -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 1782.72/1783.50 v -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 1782.72/1783.50 v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 1782.72/1783.50 v -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 1782.72/1783.50 v -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 1782.72/1783.50 v -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 1782.72/1783.50 v -x1639 -x1640 x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 1782.72/1783.50 v -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 1782.72/1783.50 v -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 1782.72/1783.50 v -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 1782.72/1783.50 v -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 1782.72/1783.50 v -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 1782.72/1783.50 v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 1782.72/1783.50 v -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 1782.72/1783.50 v -x1775 -x1776 -x1777 -x1778 -x1779 x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 1782.72/1783.50 v -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 1782.72/1783.50 v 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 1782.72/1783.50 v -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 1782.72/1783.50 v -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 1782.72/1783.50 v -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 1782.72/1783.50 v -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 1782.72/1783.50 v -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 1782.72/1783.50 v -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 1782.72/1783.50 v -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 1782.72/1783.50 v -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 1782.72/1783.50 v -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 1782.72/1783.50 v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 1782.72/1783.50 v -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 1782.72/1783.50 v -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 1782.72/1783.50 v -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 x323 -x324 1782.72/1783.50 v -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 1782.72/1783.50 v -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 1782.72/1783.50 v -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 1782.72/1783.50 v -x388 -x389 -x390 -x391 x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 1782.72/1783.50 v -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 1782.72/1783.50 v -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 1782.72/1783.50 v -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 1782.72/1783.50 v -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 x490 -x491 -x492 1782.72/1783.50 v -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 1782.72/1783.50 v -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 1782.72/1783.50 v -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 1782.72/1783.50 v -x556 -x557 -x558 -x559 -x560 -x561 x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 1782.72/1783.50 v -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 1782.72/1783.50 v -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 1782.72/1783.50 v -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 1782.72/1783.50 v -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 1782.72/1783.50 v -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 1782.72/1783.50 v -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 1782.72/1783.50 v -x703 -x704 -x705 -x706 -x707 -x708 x709 -x710 -x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 1782.72/1783.50 v -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 1782.72/1783.50 v -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 1782.72/1783.50 v -x766 -x767 -x768 -x769 x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 1782.72/1783.50 v -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 1782.72/1783.50 v -x808 -x809 -x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 1782.72/1783.50 v -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 1782.72/1783.50 v -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 1782.72/1783.50 v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 x890 -x891 1782.72/1783.50 v -x892 -x893 -x894 -x895 x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 1782.72/1783.50 v -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 1782.72/1783.50 v -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 1782.72/1783.50 v -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 x971 -x972 -x973 -x974 -x975 1782.72/1783.50 v -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 1782.72/1783.50 v -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 1782.72/1783.50 v -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026
OK 938
/tmp/evaluation/351995-1176619516/instance-351995-1176619516.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node20/watcher-351995-1176619516 -o ROOT/results/node20/solver-351995-1176619516 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/351995-1176619516/instance-351995-1176619516.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.05 1.10 1.08 3/77 6290 /proc/meminfo: memFree=1861944/2055920 swapFree=4121752/4192956 [pid=6290] ppid=6288 vsize=2552 CPUtime=0 /proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 109868914 2613248 228 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 8085207 0 0 4096 0 0 0 0 17 1 0 0 /proc/6290/statm: 638 228 193 16 0 77 0 [startup+0.097392 s] /proc/loadavg: 1.05 1.10 1.08 3/77 6290 /proc/meminfo: memFree=1861944/2055920 swapFree=4121752/4192956 [pid=6290] ppid=6288 vsize=3616 CPUtime=0.09 /proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 540 0 0 0 9 0 0 0 18 0 1 0 109868914 3702784 510 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528249 0 0 4096 0 0 0 0 17 1 0 0 /proc/6290/statm: 904 510 205 16 0 343 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3616 [startup+0.101392 s] /proc/loadavg: 1.05 1.10 1.08 3/77 6290 /proc/meminfo: memFree=1861944/2055920 swapFree=4121752/4192956 [pid=6290] ppid=6288 vsize=3616 CPUtime=0.09 /proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 540 0 0 0 9 0 0 0 18 0 1 0 109868914 3702784 510 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527444 0 0 4096 0 0 0 0 17 1 0 0 /proc/6290/statm: 904 510 205 16 0 343 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3616 [startup+0.301432 s] /proc/loadavg: 1.05 1.10 1.08 3/77 6290 /proc/meminfo: memFree=1861944/2055920 swapFree=4121752/4192956 [pid=6290] ppid=6288 vsize=4148 CPUtime=0.29 /proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 661 0 0 0 29 0 0 0 19 0 1 0 109868914 4247552 631 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522731 0 0 4096 0 0 0 0 17 1 0 0 /proc/6290/statm: 1037 631 205 16 0 476 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4148 [startup+0.701512 s] /proc/loadavg: 1.05 1.10 1.08 3/77 6290 /proc/meminfo: memFree=1861944/2055920 swapFree=4121752/4192956 [pid=6290] ppid=6288 vsize=4332 CPUtime=0.69 /proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 738 0 0 0 69 0 0 0 23 0 1 0 109868914 4435968 708 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522729 0 0 4096 0 0 0 0 17 1 0 0 /proc/6290/statm: 1083 708 205 16 0 522 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4332 [startup+1.50167 s] /proc/loadavg: 1.05 1.10 1.08 2/78 6291 /proc/meminfo: memFree=1859504/2055920 swapFree=4121752/4192956 [pid=6290] ppid=6288 vsize=5140 CPUtime=1.49 /proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 923 0 0 0 149 0 0 0 25 0 1 0 109868914 5263360 893 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0 /proc/6290/statm: 1285 893 205 16 0 724 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5140 [startup+3.10199 s] /proc/loadavg: 1.05 1.10 1.08 2/78 6291 /proc/meminfo: memFree=1858672/2055920 swapFree=4121752/4192956 [pid=6290] ppid=6288 vsize=5880 CPUtime=3.09 /proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 1143 0 0 0 309 0 0 0 25 0 1 0 109868914 6021120 1094 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6290/statm: 1470 1094 205 16 0 909 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5880 [startup+6.30263 s] /proc/loadavg: 1.05 1.10 1.08 2/78 6291 /proc/meminfo: memFree=1857976/2055920 swapFree=4121752/4192956 [pid=6290] ppid=6288 vsize=7208 CPUtime=6.28 /proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 1458 0 0 0 627 1 0 0 25 0 1 0 109868914 7380992 1405 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519093 0 0 4096 0 0 0 0 17 1 0 0 /proc/6290/statm: 1802 1405 205 16 0 1241 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 7208 [startup+12.7019 s] /proc/loadavg: 1.04 1.10 1.07 2/78 6291 /proc/meminfo: memFree=1855928/2055920 swapFree=4121752/4192956 [pid=6290] ppid=6288 vsize=8012 CPUtime=12.68 /proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 1701 0 0 0 1266 2 0 0 25 0 1 0 109868914 8204288 1630 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6290/statm: 2003 1630 205 16 0 1442 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 8012 [startup+25.5015 s] /proc/loadavg: 1.03 1.09 1.07 2/78 6291 /proc/meminfo: memFree=1854520/2055920 swapFree=4121752/4192956 [pid=6290] ppid=6288 vsize=9468 CPUtime=25.47 /proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 2118 0 0 0 2543 4 0 0 25 0 1 0 109868914 9695232 1994 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/6290/statm: 2367 1994 205 16 0 1806 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 9468 [startup+51.1016 s] /proc/loadavg: 1.02 1.08 1.07 2/78 6291 /proc/meminfo: memFree=1853816/2055920 swapFree=4121752/4192956 [pid=6290] ppid=6288 vsize=10236 CPUtime=51.07 /proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 2396 0 0 0 5100 7 0 0 25 0 1 0 109868914 10481664 2186 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0 /proc/6290/statm: 2559 2186 205 16 0 1998 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 10236 [startup+102.306 s] /proc/loadavg: 1.01 1.07 1.07 2/78 6291 /proc/meminfo: memFree=1852216/2055920 swapFree=4121752/4192956 [pid=6290] ppid=6288 vsize=11900 CPUtime=102.26 /proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 2790 0 0 0 10214 12 0 0 25 0 1 0 109868914 12185600 2579 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0 /proc/6290/statm: 2975 2579 205 16 0 2414 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 11900 [startup+162.302 s] /proc/loadavg: 1.00 1.05 1.06 2/78 6291 /proc/meminfo: memFree=1852088/2055920 swapFree=4121752/4192956 [pid=6290] ppid=6288 vsize=11876 CPUtime=162.22 /proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 2803 0 0 0 16206 16 0 0 25 0 1 0 109868914 12161024 2592 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0 /proc/6290/statm: 2969 2592 205 16 0 2408 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 11876 [startup+222.302 s] /proc/loadavg: 1.00 1.04 1.05 2/78 6291 /proc/meminfo: memFree=1851064/2055920 swapFree=4121752/4192956 [pid=6290] ppid=6288 vsize=12552 CPUtime=222.2 /proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 3165 0 0 0 22200 20 0 0 25 0 1 0 109868914 12853248 2765 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/6290/statm: 3138 2765 205 16 0 2577 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 12552 [startup+282.302 s] /proc/loadavg: 1.00 1.03 1.05 2/78 6291 /proc/meminfo: memFree=1851448/2055920 swapFree=4121752/4192956 [pid=6290] ppid=6288 vsize=12132 CPUtime=282.18 /proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 3211 0 0 0 28192 26 0 0 25 0 1 0 109868914 12423168 2660 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517890 0 0 4096 0 0 0 0 17 1 0 0 /proc/6290/statm: 3033 2660 205 16 0 2472 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 12132 [startup+342.302 s] /proc/loadavg: 1.00 1.02 1.04 2/78 6291 /proc/meminfo: memFree=1850616/2055920 swapFree=4121752/4192956 [pid=6290] ppid=6288 vsize=12836 CPUtime=342.15 /proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 3623 0 0 0 34184 31 0 0 25 0 1 0 109868914 13144064 2836 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/6290/statm: 3209 2836 205 16 0 2648 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 12836 [startup+402.302 s] /proc/loadavg: 1.00 1.02 1.04 2/78 6291 /proc/meminfo: memFree=1850552/2055920 swapFree=4121752/4192956 [pid=6290] ppid=6288 vsize=12936 CPUtime=402.13 /proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 3774 0 0 0 40176 37 0 0 25 0 1 0 109868914 13246464 2861 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134533509 0 0 4096 0 0 0 0 17 1 0 0 /proc/6290/statm: 3234 2861 205 16 0 2673 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 12936 [startup+462.302 s] /proc/loadavg: 1.00 1.01 1.03 2/78 6291 /proc/meminfo: memFree=1850552/2055920 swapFree=4121752/4192956 [pid=6290] ppid=6288 vsize=12932 CPUtime=462.11 /proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 3935 0 0 0 46169 42 0 0 25 0 1 0 109868914 13242368 2856 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134532937 0 0 4096 0 0 0 0 17 1 0 0 /proc/6290/statm: 3233 2856 205 16 0 2672 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 12932 [startup+522.302 s] /proc/loadavg: 1.00 1.01 1.02 2/78 6291 /proc/meminfo: memFree=1849528/2055920 swapFree=4121752/4192956 [pid=6290] ppid=6288 vsize=13448 CPUtime=522.09 /proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 4370 0 0 0 52161 48 0 0 25 0 1 0 109868914 13770752 2989 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0 /proc/6290/statm: 3362 2989 205 16 0 2801 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 13448 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.02 2/78 6291 /proc/meminfo: memFree=1849400/2055920 swapFree=4121752/4192956 [pid=6290] ppid=6288 vsize=13740 CPUtime=582.07 /proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 4624 0 0 0 58155 52 0 0 25 0 1 0 109868914 14069760 3062 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134556221 0 0 4096 0 0 0 0 17 1 0 0 /proc/6290/statm: 3435 3062 205 16 0 2874 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 13740 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.01 2/78 6291 /proc/meminfo: memFree=1849656/2055920 swapFree=4121752/4192956 [pid=6290] ppid=6288 vsize=13448 CPUtime=642.05 /proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 4731 0 0 0 64149 56 0 0 25 0 1 0 109868914 13770752 2989 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522742 0 0 4096 0 0 0 0 17 1 0 0 /proc/6290/statm: 3362 2989 205 16 0 2801 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 13448 ################ # More data... # ################ /proc/meminfo: memFree=1848440/2055920 swapFree=4121752/4192956 [pid=6290] ppid=6288 vsize=14396 CPUtime=821.98 /proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 6002 0 0 0 82129 69 0 0 25 0 1 0 109868914 14741504 3226 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/6290/statm: 3599 3226 205 16 0 3038 0 Current children cumulated CPU time (s) 821.98 Current children cumulated vsize (KiB) 14396 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6291 /proc/meminfo: memFree=1848504/2055920 swapFree=4121752/4192956 [pid=6290] ppid=6288 vsize=14520 CPUtime=881.96 /proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 6078 0 0 0 88123 73 0 0 25 0 1 0 109868914 14868480 3234 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0 /proc/6290/statm: 3630 3234 205 16 0 3069 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 14520 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6291 /proc/meminfo: memFree=1848440/2055920 swapFree=4121752/4192956 [pid=6290] ppid=6288 vsize=14340 CPUtime=941.93 /proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 6078 0 0 0 94116 77 0 0 25 0 1 0 109868914 14684160 3212 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6290/statm: 3585 3212 205 16 0 3024 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 14340 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/84 6469 /proc/meminfo: memFree=1846656/2055920 swapFree=4121752/4192956 [pid=6290] ppid=6288 vsize=14568 CPUtime=1001.82 /proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 6239 0 0 0 100101 81 0 0 25 0 1 0 109868914 14917632 3269 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134533587 0 0 4096 0 0 0 0 17 0 0 0 /proc/6290/statm: 3642 3269 205 16 0 3081 0 Current children cumulated CPU time (s) 1001.82 Current children cumulated vsize (KiB) 14568 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6489 /proc/meminfo: memFree=1847344/2055920 swapFree=4121752/4192956 [pid=6290] ppid=6288 vsize=15340 CPUtime=1061.79 /proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 6699 0 0 0 106096 83 0 0 25 0 1 0 109868914 15708160 3442 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528801 0 0 4096 0 0 0 0 17 1 0 0 /proc/6290/statm: 3835 3442 205 16 0 3274 0 Current children cumulated CPU time (s) 1061.79 Current children cumulated vsize (KiB) 15340 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6489 /proc/meminfo: memFree=1846448/2055920 swapFree=4121752/4192956 [pid=6290] ppid=6288 vsize=15924 CPUtime=1121.77 /proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 6901 0 0 0 112090 87 0 0 25 0 1 0 109868914 16306176 3604 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0 /proc/6290/statm: 3981 3604 205 16 0 3420 0 Current children cumulated CPU time (s) 1121.77 Current children cumulated vsize (KiB) 15924 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6489 /proc/meminfo: memFree=1846640/2055920 swapFree=4121752/4192956 [pid=6290] ppid=6288 vsize=15592 CPUtime=1181.75 /proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 6926 0 0 0 118084 91 0 0 25 0 1 0 109868914 15966208 3524 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6290/statm: 3898 3524 205 16 0 3337 0 Current children cumulated CPU time (s) 1181.75 Current children cumulated vsize (KiB) 15592 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6489 /proc/meminfo: memFree=1846064/2055920 swapFree=4121752/4192956 [pid=6290] ppid=6288 vsize=16196 CPUtime=1241.73 /proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 7198 0 0 0 124078 95 0 0 25 0 1 0 109868914 16584704 3668 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522731 0 0 4096 0 0 0 0 17 1 0 0 /proc/6290/statm: 4049 3668 205 16 0 3488 0 Current children cumulated CPU time (s) 1241.73 Current children cumulated vsize (KiB) 16196 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6489 /proc/meminfo: memFree=1845808/2055920 swapFree=4121752/4192956 [pid=6290] ppid=6288 vsize=16312 CPUtime=1301.71 /proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 7269 0 0 0 130073 98 0 0 25 0 1 0 109868914 16703488 3705 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6290/statm: 4078 3705 205 16 0 3517 0 Current children cumulated CPU time (s) 1301.71 Current children cumulated vsize (KiB) 16312 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6489 /proc/meminfo: memFree=1845816/2055920 swapFree=4121752/4192956 [pid=6290] ppid=6288 vsize=16312 CPUtime=1361.67 /proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 7269 0 0 0 136067 100 0 0 25 0 1 0 109868914 16703488 3705 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522546 0 0 4096 0 0 0 0 17 1 0 0 /proc/6290/statm: 4078 3705 205 16 0 3517 0 Current children cumulated CPU time (s) 1361.67 Current children cumulated vsize (KiB) 16312 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6489 /proc/meminfo: memFree=1845752/2055920 swapFree=4121752/4192956 [pid=6290] ppid=6288 vsize=16440 CPUtime=1421.66 /proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 7279 0 0 0 142062 104 0 0 25 0 1 0 109868914 16834560 3715 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517916 0 0 4096 0 0 0 0 17 1 0 0 /proc/6290/statm: 4110 3715 205 16 0 3549 0 Current children cumulated CPU time (s) 1421.66 Current children cumulated vsize (KiB) 16440 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6489 /proc/meminfo: memFree=1845752/2055920 swapFree=4121752/4192956 [pid=6290] ppid=6288 vsize=16440 CPUtime=1481.63 /proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 7279 0 0 0 148055 108 0 0 25 0 1 0 109868914 16834560 3715 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/6290/statm: 4110 3715 205 16 0 3549 0 Current children cumulated CPU time (s) 1481.63 Current children cumulated vsize (KiB) 16440 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6489 /proc/meminfo: memFree=1845368/2055920 swapFree=4121752/4192956 [pid=6290] ppid=6288 vsize=16512 CPUtime=1541.6 /proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 7345 0 0 0 154049 111 0 0 25 0 1 0 109868914 16908288 3755 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527993 0 0 4096 0 0 0 0 17 1 0 0 /proc/6290/statm: 4128 3755 205 16 0 3567 0 Current children cumulated CPU time (s) 1541.6 Current children cumulated vsize (KiB) 16512 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6489 /proc/meminfo: memFree=1845304/2055920 swapFree=4121752/4192956 [pid=6290] ppid=6288 vsize=16452 CPUtime=1601.58 /proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 7345 0 0 0 160044 114 0 0 25 0 1 0 109868914 16846848 3740 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0 /proc/6290/statm: 4113 3740 205 16 0 3552 0 Current children cumulated CPU time (s) 1601.58 Current children cumulated vsize (KiB) 16452 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6489 /proc/meminfo: memFree=1844984/2055920 swapFree=4121752/4192956 [pid=6290] ppid=6288 vsize=16840 CPUtime=1661.57 /proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 7439 0 0 0 166039 118 0 0 25 0 1 0 109868914 17244160 3834 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/6290/statm: 4210 3834 205 16 0 3649 0 Current children cumulated CPU time (s) 1661.57 Current children cumulated vsize (KiB) 16840 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6489 /proc/meminfo: memFree=1845176/2055920 swapFree=4121752/4192956 [pid=6290] ppid=6288 vsize=16452 CPUtime=1721.54 /proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 7439 0 0 0 172033 121 0 0 25 0 1 0 109868914 16846848 3740 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6290/statm: 4113 3740 205 16 0 3552 0 Current children cumulated CPU time (s) 1721.54 Current children cumulated vsize (KiB) 16452 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6489 /proc/meminfo: memFree=1844664/2055920 swapFree=4121752/4192956 [pid=6290] ppid=6288 vsize=16956 CPUtime=1781.52 /proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 7570 0 0 0 178027 125 0 0 25 0 1 0 109868914 17362944 3864 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6290/statm: 4239 3864 205 16 0 3678 0 Current children cumulated CPU time (s) 1781.52 Current children cumulated vsize (KiB) 16956 Solver just ended. Dumping a history of the last processes samples [startup+1783.11 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6489 /proc/meminfo: memFree=1844664/2055920 swapFree=4121752/4192956 [pid=6290] ppid=6288 vsize=16956 CPUtime=1782.33 /proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 7570 0 0 0 178108 125 0 0 25 0 1 0 109868914 17362944 3864 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/6290/statm: 4239 3864 205 16 0 3678 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 16956 [startup+1783.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6489 /proc/meminfo: memFree=1844664/2055920 swapFree=4121752/4192956 [pid=6290] ppid=6288 vsize=16956 CPUtime=1782.72 /proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 7570 0 0 0 178147 125 0 0 25 0 1 0 109868914 17362944 3864 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6290/statm: 4239 3864 205 16 0 3678 0 Current children cumulated CPU time (s) 1782.72 Current children cumulated vsize (KiB) 16956 Child status: 10 Real time (s): 1783.51 CPU time (s): 1782.74 CPU user time (s): 1781.49 CPU system time (s): 1.25481 CPU usage (%): 99.9566 Max. virtual memory (cumulated for all children) (KiB): 16956 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1781.49 system time used= 1.25481 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7577 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 16 involuntary context switches= 37379 runsolver used 1.72474 second user time and 3.98939 second system time The end
Begin job on node20 on Sun Apr 15 06:45:16 UTC 2007 IDJOB= 351995 IDBENCH= 1872 IDSOLVER= 165 FILE ID= node20/351995-1176619516 PBS_JOBID= 4557045 Free space on /tmp= 66562 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-10teams.opb COMMAND LINE= Pueblo /tmp/evaluation/351995-1176619516/instance-351995-1176619516.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node20/convwatcher-351995-1176619516 -o ROOT/results/node20/conversion-351995-1176619516 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351995-1176619516/instance-351995-1176619516.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-351995-1176619516 -o ROOT/results/node20/solver-351995-1176619516 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/351995-1176619516/instance-351995-1176619516.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 6db31fd4066996ff4f309d723fc2c237 RANDOM SEED= 134777948 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node20.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1862352 kB Buffers: 10332 kB Cached: 121476 kB SwapCached: 22076 kB Active: 46940 kB Inactive: 109428 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1862352 kB SwapTotal: 4192956 kB SwapFree: 4121752 kB Dirty: 2472 kB Writeback: 0 kB Mapped: 25136 kB Slab: 22732 kB Committed_AS: 727356 kB PageTables: 1768 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66562 MiB End job on node20 on Sun Apr 15 07:14:59 UTC 2007