MINTO, a Mixed INTeger Optimizer -- version 3.1.0 (LINUX/CPLEX 8.1) Copyright (C) 1992-2004 -- M.W.P. Savelsbergh ILOG CPLEX 9.000, licensed to "arizona-tempe, az ", options: e m b q p=4 MINTO: Solving problem ampl_mod MINTO: Problem statistics: Number of constraints: 5020 Number of variables: 2112 (0) Number of nonzero's: 21312 Number of continuous variables: 0 Number of binary variables: 2112 Number of integer variables: 0 MINTO: Presolve eliminated 0 constraints and 0 variables Presolve made 1008 coefficient changes MINTO: Row structure analysis (after preprocessing): Number of constraints of type ALLBINUB: 4164 Number of constraints of type ALLBINEQ: 100 Number of constraints of type BINSUMVARUB: 288 Number of constraints of type BINSUM1UB: 468 MINTO control parameters: Objective sense : minimization Output level : 1 Maximum cpu time : 1000001 Maximum #nodes : 1000000 MINTO system function activity levels: Bound improvement : active Branching type : 3 Node selection type : 5 Preprocessing level : 2 Primal heuristic : active Clique cuts : active Implication cuts : active Knapsack covers : active GUB covers : active Flow covers : active Row management : active Restarts : active Force branching : 1 Advanced basis : not active Names mode level : 0 MINTO: Updating primal (MINTO heuristic) Value: -22.00 Elapsed time: 0.19 Node: 1 MINTO: Updating primal (MINTO heuristic) Value: -19.00 Elapsed time: 0.71 Node: 1 MINTO: Value of solution: 19.000000 MINTO: Non-zero variables in the solution: xopt[1] = 1.000000 (C0002) xopt[5] = 1.000000 (C0006) xopt[141] = 1.000000 (C0142) xopt[161] = 1.000000 (C0162) xopt[162] = 1.000000 (C0163) xopt[165] = 1.000000 (C0166) xopt[253] = 1.000000 (C0254) xopt[254] = 1.000000 (C0255) xopt[353] = 1.000000 (C0354) xopt[495] = 1.000000 (C0496) xopt[497] = 1.000000 (C0498) xopt[498] = 1.000000 (C0499) xopt[707] = 1.000000 (C0708) xopt[708] = 1.000000 (C0709) xopt[785] = 1.000000 (C0786) xopt[787] = 1.000000 (C0788) xopt[788] = 1.000000 (C0789) xopt[812] = 1.000000 (C0813) xopt[813] = 1.000000 (C0814) xopt[894] = 1.000000 (C0895) xopt[943] = 1.000000 (C0944) xopt[944] = 1.000000 (C0945) xopt[1059] = 1.000000 (C1060) xopt[1161] = 1.000000 (C1162) xopt[1162] = 1.000000 (C1163) xopt[1163] = 1.000000 (C1164) xopt[1165] = 1.000000 (C1166) xopt[1221] = 1.000000 (C1222) xopt[1400] = 1.000000 (C1401) xopt[1416] = 1.000000 (C1417) xopt[1440] = 1.000000 (C1441) xopt[1441] = 1.000000 (C1442) xopt[1442] = 1.000000 (C1443) xopt[1443] = 1.000000 (C1444) xopt[1444] = 1.000000 (C1445) xopt[1445] = 1.000000 (C1446) xopt[1446] = 1.000000 (C1447) xopt[1447] = 1.000000 (C1448) xopt[1448] = 1.000000 (C1449) xopt[1449] = 1.000000 (C1450) xopt[1450] = 1.000000 (C1451) xopt[1451] = 1.000000 (C1452) xopt[1452] = 1.000000 (C1453) xopt[1453] = 1.000000 (C1454) xopt[1454] = 1.000000 (C1455) xopt[1455] = 1.000000 (C1456) xopt[1456] = 1.000000 (C1457) xopt[1457] = 1.000000 (C1458) xopt[1458] = 1.000000 (C1459) xopt[1459] = 1.000000 (C1460) xopt[1460] = 1.000000 (C1461) xopt[1461] = 1.000000 (C1462) xopt[1462] = 1.000000 (C1463) xopt[1463] = 1.000000 (C1464) xopt[1464] = 1.000000 (C1465) xopt[1465] = 1.000000 (C1466) xopt[1466] = 1.000000 (C1467) xopt[1467] = 1.000000 (C1468) xopt[1468] = 1.000000 (C1469) xopt[1469] = 1.000000 (C1470) xopt[1470] = 1.000000 (C1471) xopt[1471] = 1.000000 (C1472) xopt[1472] = 1.000000 (C1473) xopt[1473] = 1.000000 (C1474) xopt[1474] = 1.000000 (C1475) xopt[1475] = 1.000000 (C1476) xopt[1476] = 1.000000 (C1477) xopt[1477] = 1.000000 (C1478) xopt[1478] = 1.000000 (C1479) xopt[1479] = 1.000000 (C1480) xopt[1480] = 1.000000 (C1481) xopt[1481] = 1.000000 (C1482) xopt[1482] = 1.000000 (C1483) xopt[1483] = 1.000000 (C1484) xopt[1484] = 1.000000 (C1485) xopt[1485] = 1.000000 (C1486) xopt[1486] = 1.000000 (C1487) xopt[1487] = 1.000000 (C1488) xopt[1488] = 1.000000 (C1489) xopt[1489] = 1.000000 (C1490) xopt[1490] = 1.000000 (C1491) xopt[1491] = 1.000000 (C1492) xopt[1492] = 1.000000 (C1493) xopt[1493] = 1.000000 (C1494) xopt[1494] = 1.000000 (C1495) xopt[1495] = 1.000000 (C1496) xopt[1496] = 1.000000 (C1497) xopt[1497] = 1.000000 (C1498) xopt[1498] = 1.000000 (C1499) xopt[1499] = 1.000000 (C1500) xopt[1500] = 1.000000 (C1501) xopt[1501] = 1.000000 (C1502) xopt[1502] = 1.000000 (C1503) xopt[1503] = 1.000000 (C1504) xopt[1504] = 1.000000 (C1505) xopt[1505] = 1.000000 (C1506) xopt[1506] = 1.000000 (C1507) xopt[1507] = 1.000000 (C1508) xopt[1508] = 1.000000 (C1509) xopt[1509] = 1.000000 (C1510) xopt[1510] = 1.000000 (C1511) xopt[1511] = 1.000000 (C1512) xopt[1512] = 1.000000 (C1513) xopt[1513] = 1.000000 (C1514) xopt[1514] = 1.000000 (C1515) xopt[1515] = 1.000000 (C1516) xopt[1516] = 1.000000 (C1517) xopt[1517] = 1.000000 (C1518) xopt[1518] = 1.000000 (C1519) xopt[1519] = 1.000000 (C1520) xopt[1520] = 1.000000 (C1521) xopt[1521] = 1.000000 (C1522) xopt[1522] = 1.000000 (C1523) xopt[1523] = 1.000000 (C1524) xopt[1524] = 1.000000 (C1525) xopt[1525] = 1.000000 (C1526) xopt[1526] = 1.000000 (C1527) xopt[1527] = 1.000000 (C1528) xopt[1528] = 1.000000 (C1529) xopt[1529] = 1.000000 (C1530) xopt[1530] = 1.000000 (C1531) xopt[1531] = 1.000000 (C1532) xopt[1532] = 1.000000 (C1533) xopt[1533] = 1.000000 (C1534) xopt[1534] = 1.000000 (C1535) xopt[1535] = 1.000000 (C1536) xopt[1536] = 1.000000 (C1537) xopt[1537] = 1.000000 (C1538) xopt[1538] = 1.000000 (C1539) xopt[1539] = 1.000000 (C1540) xopt[1540] = 1.000000 (C1541) xopt[1541] = 1.000000 (C1542) xopt[1542] = 1.000000 (C1543) xopt[1543] = 1.000000 (C1544) xopt[1544] = 1.000000 (C1545) xopt[1545] = 1.000000 (C1546) xopt[1546] = 1.000000 (C1547) xopt[1547] = 1.000000 (C1548) xopt[1548] = 1.000000 (C1549) xopt[1549] = 1.000000 (C1550) xopt[1550] = 1.000000 (C1551) xopt[1551] = 1.000000 (C1552) xopt[1552] = 1.000000 (C1553) xopt[1553] = 1.000000 (C1554) xopt[1554] = 1.000000 (C1555) xopt[1555] = 1.000000 (C1556) xopt[1556] = 1.000000 (C1557) xopt[1557] = 1.000000 (C1558) xopt[1558] = 1.000000 (C1559) xopt[1559] = 1.000000 (C1560) xopt[1560] = 1.000000 (C1561) xopt[1561] = 1.000000 (C1562) xopt[1562] = 1.000000 (C1563) xopt[1563] = 1.000000 (C1564) xopt[1564] = 1.000000 (C1565) xopt[1565] = 1.000000 (C1566) xopt[1566] = 1.000000 (C1567) xopt[1567] = 1.000000 (C1568) xopt[1568] = 1.000000 (C1569) xopt[1569] = 1.000000 (C1570) xopt[1570] = 1.000000 (C1571) xopt[1571] = 1.000000 (C1572) xopt[1572] = 1.000000 (C1573) xopt[1573] = 1.000000 (C1574) xopt[1574] = 1.000000 (C1575) xopt[1575] = 1.000000 (C1576) xopt[1576] = 1.000000 (C1577) xopt[1577] = 1.000000 (C1578) xopt[1578] = 1.000000 (C1579) xopt[1579] = 1.000000 (C1580) xopt[1580] = 1.000000 (C1581) xopt[1581] = 1.000000 (C1582) xopt[1582] = 1.000000 (C1583) xopt[1583] = 1.000000 (C1584) xopt[1584] = 1.000000 (C1585) xopt[1585] = 1.000000 (C1586) xopt[1586] = 1.000000 (C1587) xopt[1587] = 1.000000 (C1588) xopt[1588] = 1.000000 (C1589) xopt[1589] = 1.000000 (C1590) xopt[1590] = 1.000000 (C1591) xopt[1591] = 1.000000 (C1592) xopt[1592] = 1.000000 (C1593) xopt[1593] = 1.000000 (C1594) xopt[1594] = 1.000000 (C1595) xopt[1595] = 1.000000 (C1596) xopt[1596] = 1.000000 (C1597) xopt[1597] = 1.000000 (C1598) xopt[1598] = 1.000000 (C1599) xopt[1599] = 1.000000 (C1600) xopt[1600] = 1.000000 (C1601) xopt[1601] = 1.000000 (C1602) xopt[1602] = 1.000000 (C1603) xopt[1603] = 1.000000 (C1604) xopt[1604] = 1.000000 (C1605) xopt[1605] = 1.000000 (C1606) xopt[1606] = 1.000000 (C1607) xopt[1607] = 1.000000 (C1608) xopt[1608] = 1.000000 (C1609) xopt[1609] = 1.000000 (C1610) xopt[1610] = 1.000000 (C1611) xopt[1611] = 1.000000 (C1612) xopt[1612] = 1.000000 (C1613) xopt[1613] = 1.000000 (C1614) xopt[1614] = 1.000000 (C1615) xopt[1615] = 1.000000 (C1616) xopt[1616] = 1.000000 (C1617) xopt[1617] = 1.000000 (C1618) xopt[1618] = 1.000000 (C1619) xopt[1619] = 1.000000 (C1620) xopt[1620] = 1.000000 (C1621) xopt[1621] = 1.000000 (C1622) xopt[1622] = 1.000000 (C1623) xopt[1623] = 1.000000 (C1624) xopt[1624] = 1.000000 (C1625) xopt[1625] = 1.000000 (C1626) xopt[1626] = 1.000000 (C1627) xopt[1627] = 1.000000 (C1628) xopt[1628] = 1.000000 (C1629) xopt[1629] = 1.000000 (C1630) xopt[1630] = 1.000000 (C1631) xopt[1631] = 1.000000 (C1632) xopt[1632] = 1.000000 (C1633) xopt[1633] = 1.000000 (C1634) xopt[1634] = 1.000000 (C1635) xopt[1635] = 1.000000 (C1636) xopt[1636] = 1.000000 (C1637) xopt[1637] = 1.000000 (C1638) xopt[1638] = 1.000000 (C1639) xopt[1639] = 1.000000 (C1640) xopt[1640] = 1.000000 (C1641) xopt[1641] = 1.000000 (C1642) xopt[1642] = 1.000000 (C1643) xopt[1643] = 1.000000 (C1644) xopt[1644] = 1.000000 (C1645) xopt[1645] = 1.000000 (C1646) xopt[1646] = 1.000000 (C1647) xopt[1647] = 1.000000 (C1648) xopt[1648] = 1.000000 (C1649) xopt[1649] = 1.000000 (C1650) xopt[1650] = 1.000000 (C1651) xopt[1651] = 1.000000 (C1652) xopt[1652] = 1.000000 (C1653) xopt[1653] = 1.000000 (C1654) xopt[1654] = 1.000000 (C1655) xopt[1655] = 1.000000 (C1656) xopt[1656] = 1.000000 (C1657) xopt[1657] = 1.000000 (C1658) xopt[1658] = 1.000000 (C1659) xopt[1659] = 1.000000 (C1660) xopt[1660] = 1.000000 (C1661) xopt[1661] = 1.000000 (C1662) xopt[1662] = 1.000000 (C1663) xopt[1663] = 1.000000 (C1664) xopt[1664] = 1.000000 (C1665) xopt[1665] = 1.000000 (C1666) xopt[1666] = 1.000000 (C1667) xopt[1667] = 1.000000 (C1668) xopt[1668] = 1.000000 (C1669) xopt[1669] = 1.000000 (C1670) xopt[1670] = 1.000000 (C1671) xopt[1671] = 1.000000 (C1672) xopt[1672] = 1.000000 (C1673) xopt[1673] = 1.000000 (C1674) xopt[1674] = 1.000000 (C1675) xopt[1675] = 1.000000 (C1676) xopt[1676] = 1.000000 (C1677) xopt[1677] = 1.000000 (C1678) xopt[1678] = 1.000000 (C1679) xopt[1679] = 1.000000 (C1680) xopt[1680] = 1.000000 (C1681) xopt[1681] = 1.000000 (C1682) xopt[1682] = 1.000000 (C1683) xopt[1683] = 1.000000 (C1684) xopt[1684] = 1.000000 (C1685) xopt[1685] = 1.000000 (C1686) xopt[1686] = 1.000000 (C1687) xopt[1687] = 1.000000 (C1688) xopt[1688] = 1.000000 (C1689) xopt[1689] = 1.000000 (C1690) xopt[1690] = 1.000000 (C1691) xopt[1691] = 1.000000 (C1692) xopt[1692] = 1.000000 (C1693) xopt[1693] = 1.000000 (C1694) xopt[1694] = 1.000000 (C1695) xopt[1695] = 1.000000 (C1696) xopt[1696] = 1.000000 (C1697) xopt[1697] = 1.000000 (C1698) xopt[1698] = 1.000000 (C1699) xopt[1699] = 1.000000 (C1700) xopt[1700] = 1.000000 (C1701) xopt[1701] = 1.000000 (C1702) xopt[1702] = 1.000000 (C1703) xopt[1703] = 1.000000 (C1704) xopt[1704] = 1.000000 (C1705) xopt[1705] = 1.000000 (C1706) xopt[1706] = 1.000000 (C1707) xopt[1707] = 1.000000 (C1708) xopt[1708] = 1.000000 (C1709) xopt[1709] = 1.000000 (C1710) xopt[1710] = 1.000000 (C1711) xopt[1711] = 1.000000 (C1712) xopt[1712] = 1.000000 (C1713) xopt[1713] = 1.000000 (C1714) xopt[1714] = 1.000000 (C1715) xopt[1715] = 1.000000 (C1716) xopt[1716] = 1.000000 (C1717) xopt[1717] = 1.000000 (C1718) xopt[1718] = 1.000000 (C1719) xopt[1719] = 1.000000 (C1720) xopt[1720] = 1.000000 (C1721) xopt[1721] = 1.000000 (C1722) xopt[1722] = 1.000000 (C1723) xopt[1723] = 1.000000 (C1724) xopt[1724] = 1.000000 (C1725) xopt[1725] = 1.000000 (C1726) xopt[1726] = 1.000000 (C1727) xopt[1727] = 1.000000 (C1728) xopt[1728] = 1.000000 (C1729) xopt[1729] = 1.000000 (C1730) xopt[1730] = 1.000000 (C1731) xopt[1731] = 1.000000 (C1732) xopt[1732] = 1.000000 (C1733) xopt[1733] = 1.000000 (C1734) xopt[1734] = 1.000000 (C1735) xopt[1735] = 1.000000 (C1736) xopt[1736] = 1.000000 (C1737) xopt[1737] = 1.000000 (C1738) xopt[1738] = 1.000000 (C1739) xopt[1739] = 1.000000 (C1740) xopt[1740] = 1.000000 (C1741) xopt[1741] = 1.000000 (C1742) xopt[1742] = 1.000000 (C1743) xopt[1743] = 1.000000 (C1744) xopt[1744] = 1.000000 (C1745) xopt[1745] = 1.000000 (C1746) xopt[1746] = 1.000000 (C1747) xopt[1747] = 1.000000 (C1748) xopt[1748] = 1.000000 (C1749) xopt[1749] = 1.000000 (C1750) xopt[1750] = 1.000000 (C1751) xopt[1751] = 1.000000 (C1752) xopt[1752] = 1.000000 (C1753) xopt[1753] = 1.000000 (C1754) xopt[1754] = 1.000000 (C1755) xopt[1755] = 1.000000 (C1756) xopt[1756] = 1.000000 (C1757) xopt[1757] = 1.000000 (C1758) xopt[1758] = 1.000000 (C1759) xopt[1759] = 1.000000 (C1760) xopt[1760] = 1.000000 (C1761) xopt[1761] = 1.000000 (C1762) xopt[1762] = 1.000000 (C1763) xopt[1763] = 1.000000 (C1764) xopt[1764] = 1.000000 (C1765) xopt[1765] = 1.000000 (C1766) xopt[1766] = 1.000000 (C1767) xopt[1767] = 1.000000 (C1768) xopt[1768] = 1.000000 (C1769) xopt[1769] = 1.000000 (C1770) xopt[1770] = 1.000000 (C1771) xopt[1771] = 1.000000 (C1772) xopt[1772] = 1.000000 (C1773) xopt[1773] = 1.000000 (C1774) xopt[1774] = 1.000000 (C1775) xopt[1775] = 1.000000 (C1776) xopt[1776] = 1.000000 (C1777) xopt[1777] = 1.000000 (C1778) xopt[1778] = 1.000000 (C1779) xopt[1779] = 1.000000 (C1780) xopt[1780] = 1.000000 (C1781) xopt[1781] = 1.000000 (C1782) xopt[1782] = 1.000000 (C1783) xopt[1783] = 1.000000 (C1784) xopt[1784] = 1.000000 (C1785) xopt[1785] = 1.000000 (C1786) xopt[1786] = 1.000000 (C1787) xopt[1787] = 1.000000 (C1788) xopt[1788] = 1.000000 (C1789) xopt[1789] = 1.000000 (C1790) xopt[1790] = 1.000000 (C1791) xopt[1791] = 1.000000 (C1792) xopt[1792] = 1.000000 (C1793) xopt[1793] = 1.000000 (C1794) xopt[1794] = 1.000000 (C1795) xopt[1795] = 1.000000 (C1796) xopt[1796] = 1.000000 (C1797) xopt[1797] = 1.000000 (C1798) xopt[1798] = 1.000000 (C1799) xopt[1799] = 1.000000 (C1800) xopt[1800] = 1.000000 (C1801) xopt[1801] = 1.000000 (C1802) xopt[1802] = 1.000000 (C1803) xopt[1803] = 1.000000 (C1804) xopt[1804] = 1.000000 (C1805) xopt[1805] = 1.000000 (C1806) xopt[1806] = 1.000000 (C1807) xopt[1807] = 1.000000 (C1808) xopt[1808] = 1.000000 (C1809) xopt[1809] = 1.000000 (C1810) xopt[1810] = 1.000000 (C1811) xopt[1811] = 1.000000 (C1812) xopt[1812] = 1.000000 (C1813) xopt[1813] = 1.000000 (C1814) xopt[1814] = 1.000000 (C1815) xopt[1815] = 1.000000 (C1816) xopt[1816] = 1.000000 (C1817) xopt[1817] = 1.000000 (C1818) xopt[1818] = 1.000000 (C1819) xopt[1819] = 1.000000 (C1820) xopt[1820] = 1.000000 (C1821) xopt[1821] = 1.000000 (C1822) xopt[1822] = 1.000000 (C1823) xopt[1823] = 1.000000 (C1824) xopt[1824] = 1.000000 (C1825) xopt[1825] = 1.000000 (C1826) xopt[1852] = 1.000000 (C1853) xopt[1856] = 1.000000 (C1857) xopt[1857] = 1.000000 (C1858) xopt[1874] = 1.000000 (C1875) xopt[1894] = 1.000000 (C1895) xopt[1923] = 1.000000 (C1924) xopt[1965] = 1.000000 (C1966) xopt[1981] = 1.000000 (C1982) xopt[1986] = 1.000000 (C1987) xopt[2002] = 1.000000 (C2003) xopt[2012] = 1.000000 (C2013) xopt[2035] = 1.000000 (C2036) xopt[2056] = 1.000000 (C2057) xopt[2057] = 1.000000 (C2058) xopt[2068] = 1.000000 (C2069) xopt[2104] = 1.000000 (C2105) xopt[2107] = 1.000000 (C2108) zopt = 19.000000 zroot = 18.000000 zinit = 12.000000 MINTO: Branch and bound statistics Maximum number of unevaluated nodes = 3 Number of evaluated nodes = 43 Depth of the tree = 15 Number of linear programs solved = 98 Maximum number of rows in active LP = 5582 (5020) MINTO: Cut generation statistics Number of generated clique inequalities = 298 Number of generated implication inequalities = 0 Number of generated lifted knapsack covers = 275 Knapsack covers = 275 Knapsack covers with GUBs = 0 Surrogate knapsack covers = 0 Number of generated generalized flow covers = 0 APPL: Timing statistics (in seconds) appl_bounds: 0.00 appl_constraints: 0.00 appl_delconstraints: 0.00 appl_divide: 0.00 appl_exit: 0.00 appl_fathom: 0.00 appl_feasible: 0.00 appl_init: 0.00 appl_initlp: 0.00 appl_mps: 0.00 appl_node: 0.00 appl_preprocessing: 0.00 appl_primal: 0.00 appl_rank: 0.00 appl_terminatelp: 0.00 appl_terminatenode: 0.00 appl_variables: 0.00 MINTO: Timing statistics (in seconds) Reading MPS file: 0.00 Restart: 0.04 Preprocessing and probing: 0.09 Primal heuristic: 0.18 Bound improvement: 0.48 Clique cut generation: 0.12 Implication cut generation: 0.00 Knapsack cover generation: 0.05 GUB cover generation: 0.06 Surrogate knapsack cover generation: 0.00 Flow cover generation: 0.00 Cut pool search: 0.00 Cut Management: 0.00 Branching: 0.29 Time LP solving: 0.00 Total elapsed time: 1.37 Command exited with non-zero status 161 1.32user 0.06system 0:01.38elapsed 99%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+0outputs (0major+10638minor)pagefaults 0swaps