Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 1621 | 1782.74 | 1783.35 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell4.opb |
MD5SUM | 51e821dd343df6d9e97b4cdfcd83ec3f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1496 |
Best CPU time to get the best result obtained on this benchmark | 1800.25 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1496 |
Optimality of the best value was proved | NO |
Number of variables | 1996 |
Total number of constraints | 134 |
Number of constraints which are clauses | 18 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 116 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 135 |
Number of terms in the objective function | 1527 |
Biggest coefficient in the objective function | 22700 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 525423 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262125 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 525423 |
Number of bits of the biggest sum of numbers | 20 |
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.03 c starting to Solve 0.00/0.03 c #variables read: 1996 - #constraints read: 135 94.65/94.74 o 36450 94.65/94.79 o 36330 94.65/94.79 o 36270 94.65/94.79 o 36256 94.65/94.79 o 36252 94.86/94.94 o 36150 94.86/94.94 o 36090 94.86/94.94 o 36060 94.86/94.95 o 36053 94.86/94.95 o 36049 94.86/94.95 o 36047 94.86/94.95 o 36046 94.86/94.95 o 36039 94.86/94.96 o 36035 94.86/94.96 o 36033 94.86/94.96 o 36031 94.86/94.97 o 36029 95.35/95.47 o 34136 95.35/95.47 o 33174 95.35/95.47 o 32693 95.35/95.47 o 32453 95.35/95.47 o 32333 95.35/95.48 o 32273 95.35/95.48 o 32266 95.35/95.48 o 32262 95.35/95.48 o 32260 95.35/95.49 o 32259 95.35/95.49 o 32252 95.35/95.49 o 32248 95.35/95.49 o 32246 95.45/95.50 o 32244 95.45/95.50 o 32242 96.45/96.55 o 30409 96.45/96.55 o 29447 96.45/96.56 o 28966 96.45/96.56 o 28726 96.45/96.56 o 28606 96.45/96.56 o 28546 96.45/96.56 o 28516 96.45/96.57 o 28501 96.45/96.57 o 28493 96.45/96.57 o 28489 96.45/96.57 o 28487 96.45/96.58 o 28486 96.45/96.58 o 28482 96.45/96.59 o 28478 96.45/96.59 o 28476 96.45/96.59 o 28475 96.55/96.60 o 28474 96.55/96.60 o 28473 96.55/96.61 o 28472 96.55/96.62 o 28471 96.55/96.62 o 28469 96.55/96.62 o 28468 96.55/96.63 o 28464 96.55/96.63 o 28462 96.55/96.63 o 28461 96.55/96.63 o 28460 96.55/96.63 o 28459 96.55/96.64 o 28458 96.55/96.65 o 28457 96.55/96.65 o 28456 96.55/96.66 o 28455 96.55/96.66 o 28427 96.55/96.67 o 28426 96.55/96.67 o 28420 96.55/96.67 o 28416 96.55/96.67 o 28415 96.55/96.67 o 28414 96.55/96.68 o 28413 96.55/96.68 o 28412 96.55/96.68 o 28409 96.55/96.69 o 28408 96.55/96.70 o 28406 96.66/96.70 o 28402 96.66/96.70 o 28401 96.66/96.70 o 28400 96.66/96.70 o 28399 96.66/96.71 o 28398 96.66/96.72 o 28397 96.66/96.73 o 28396 96.66/96.73 o 28395 98.35/98.49 o 26655 98.35/98.49 o 25693 98.35/98.49 o 25212 98.35/98.50 o 24972 98.45/98.50 o 24852 98.45/98.50 o 24792 98.45/98.51 o 24786 98.45/98.52 o 24784 98.45/98.53 o 24783 98.45/98.54 o 24782 98.45/98.54 o 24781 98.45/98.55 o 24780 98.45/98.55 o 24732 98.45/98.55 o 24729 98.45/98.56 o 24726 98.45/98.57 o 24724 98.45/98.57 o 24723 98.45/98.58 o 24721 98.45/98.59 o 24720 98.45/98.59 o 24702 98.45/98.59 o 24700 98.45/98.59 o 24699 98.45/98.60 o 24694 98.55/98.60 o 24693 98.55/98.61 o 24692 98.55/98.61 o 24691 98.55/98.62 o 24690 98.55/98.62 o 24658 98.55/98.67 o 24650 98.55/98.69 o 24649 98.55/98.70 o 24648 98.65/98.70 o 24647 98.65/98.71 o 24646 98.65/98.71 o 24620 98.65/98.73 o 24619 98.65/98.74 o 24618 98.65/98.75 o 24617 98.65/98.76 o 24616 98.65/98.77 o 24613 98.65/98.77 o 24611 98.65/98.78 o 24609 98.65/98.79 o 24608 98.75/98.80 o 24607 98.75/98.81 o 24605 98.75/98.82 o 24604 98.75/98.84 o 24602 98.75/98.85 o 24601 98.75/98.86 o 24600 98.75/98.87 o 24599 101.66/101.78 o 23022 101.66/101.79 o 22060 101.66/101.79 o 21579 101.76/101.80 o 21339 101.76/101.80 o 21219 101.76/101.81 o 21159 101.76/101.81 o 21129 101.76/101.82 o 21114 101.76/101.83 o 21110 101.76/101.83 o 21108 101.76/101.84 o 21107 101.76/101.85 o 21106 101.76/101.86 o 21104 101.76/101.87 o 21103 101.76/101.88 o 21102 101.76/101.88 o 21101 101.76/101.89 o 20990 101.86/101.91 o 20900 101.86/101.92 o 20898 101.86/101.92 o 20897 101.86/101.93 o 20896 101.86/101.94 o 20894 101.86/101.95 o 20893 101.86/101.96 o 20892 101.86/101.97 o 20891 101.86/102.00 o 20890 101.96/102.01 o 20870 101.96/102.02 o 20868 101.96/102.02 o 20867 101.96/102.03 o 20866 101.96/102.04 o 20864 101.96/102.05 o 20863 101.96/102.06 o 20862 101.96/102.07 o 20861 101.96/102.08 o 20860 101.96/102.09 o 20857 101.96/102.10 o 20856 102.06/102.10 o 20853 102.06/102.11 o 20852 102.06/102.13 o 20851 102.06/102.14 o 20850 102.06/102.15 o 20849 102.06/102.16 o 20848 102.06/102.17 o 20847 102.06/102.20 o 20846 102.16/102.21 o 20845 102.16/102.22 o 20844 102.16/102.23 o 20843 102.16/102.24 o 20842 102.16/102.25 o 20841 102.16/102.28 o 20840 102.16/102.29 o 20839 102.26/102.31 o 20838 102.26/102.35 o 20837 102.26/102.36 o 20836 102.26/102.37 o 20835 102.26/102.37 o 20833 102.26/102.39 o 20832 102.26/102.39 o 20831 102.36/102.40 o 20829 102.36/102.46 o 20826 102.36/102.46 o 20825 102.36/102.46 o 20824 102.36/102.49 o 20823 102.45/102.52 o 20822 102.45/102.54 o 20821 102.45/102.55 o 20820 102.45/102.57 o 20810 102.45/102.57 o 20808 102.45/102.57 o 20807 102.45/102.57 o 20806 102.45/102.57 o 20804 102.45/102.58 o 20803 102.45/102.59 o 20801 102.45/102.59 o 20800 102.55/102.60 o 20796 102.55/102.60 o 20794 102.55/102.60 o 20793 102.55/102.61 o 20792 102.55/102.62 o 20790 102.55/102.63 o 20789 102.55/102.63 o 20788 102.55/102.64 o 20787 102.55/102.65 o 20786 102.55/102.67 o 20785 102.55/102.68 o 20783 102.55/102.69 o 20782 102.65/102.76 o 20781 102.65/102.77 o 20778 102.65/102.77 o 20776 102.65/102.77 o 20774 102.65/102.77 o 20773 102.65/102.78 o 20772 102.65/102.79 o 20771 102.75/102.81 o 20770 102.75/102.82 o 20769 102.75/102.89 o 20768 102.85/102.90 o 20767 102.85/102.90 o 20766 102.85/102.90 o 20765 102.85/102.90 o 20764 102.85/102.92 o 20763 102.85/102.94 o 20762 102.85/102.96 o 20761 102.85/102.99 o 20760 156.54/156.62 o 19273 156.54/156.63 o 18313 156.54/156.64 o 17832 156.54/156.65 o 17592 156.54/156.66 o 17472 156.54/156.66 o 17412 156.54/156.67 o 17382 156.54/156.68 o 17367 156.54/156.69 o 17363 156.64/156.70 o 17361 156.64/156.71 o 17360 156.64/156.73 o 17352 156.64/156.74 o 17292 156.64/156.75 o 17262 156.64/156.76 o 17217 156.64/156.76 o 17187 156.64/156.78 o 17180 156.64/156.79 o 17150 156.74/156.81 o 17142 156.74/156.83 o 17138 156.74/156.85 o 17136 156.74/156.86 o 17135 156.74/156.89 o 17134 156.84/156.90 o 17132 156.84/156.91 o 17131 156.84/156.93 o 17130 156.84/156.94 o 17129 156.84/156.96 o 17128 156.84/156.97 o 17127 156.84/156.98 o 17126 156.94/157.00 o 17125 156.94/157.02 o 17124 156.94/157.03 o 17123 156.94/157.04 o 17122 156.94/157.06 o 17121 156.94/157.07 o 17112 156.94/157.08 o 17105 156.94/157.08 o 17101 156.94/157.09 o 17099 156.94/157.09 o 17090 156.94/157.09 o 17086 156.94/157.10 o 17084 157.03/157.10 o 17075 157.03/157.10 o 17071 157.03/157.10 o 17069 157.03/157.12 o 17068 157.03/157.13 o 17067 157.03/157.14 o 17065 157.03/157.16 o 17064 157.03/157.18 o 17063 157.03/157.19 o 17062 157.14/157.22 o 17061 157.14/157.22 o 17059 157.14/157.22 o 17057 157.14/157.23 o 17056 157.14/157.23 o 17054 157.14/157.24 o 17044 157.14/157.24 o 17042 157.14/157.24 o 17041 157.14/157.25 o 17039 157.14/157.25 o 17026 157.14/157.26 o 17022 157.14/157.27 o 17020 157.14/157.29 o 17019 157.14/157.30 o 17018 157.24/157.31 o 17017 157.24/157.35 o 17014 157.24/157.37 o 17013 157.33/157.40 o 17012 157.33/157.44 o 17011 157.33/157.45 o 17010 157.33/157.46 o 17009 157.33/157.47 o 17007 157.33/157.48 o 17006 157.43/157.50 o 17005 157.43/157.52 o 17004 157.43/157.52 o 17002 157.43/157.53 o 17001 157.43/157.53 o 16999 157.43/157.54 o 16998 157.43/157.56 o 16997 157.43/157.57 o 16996 157.43/157.59 o 16995 157.53/157.60 o 16994 157.53/157.61 o 16993 157.53/157.63 o 16992 157.53/157.68 o 16991 157.53/157.69 o 16990 157.63/157.76 o 16989 157.63/157.79 o 16988 157.73/157.82 o 16987 157.73/157.86 o 16986 157.83/157.92 o 16985 157.83/157.95 o 16984 157.93/158.02 o 16983 380.86/381.01 o 1904 539.30/539.54 o 1795 539.30/539.59 o 1793 539.40/539.62 o 1792 539.70/539.91 o 1791 539.81/540.01 o 1790 539.81/540.06 o 1789 539.81/540.07 o 1787 539.91/540.11 o 1786 539.91/540.16 o 1785 539.91/540.17 o 1782 539.91/540.17 o 1780 540.00/540.28 o 1778 540.10/540.35 o 1777 540.10/540.39 o 1775 540.10/540.39 o 1774 540.10/540.39 o 1772 540.20/540.44 o 1771 540.40/540.61 o 1765 540.40/540.68 o 1764 540.50/540.74 o 1762 540.60/540.86 o 1760 540.60/540.86 o 1759 540.60/540.87 o 1757 540.60/540.89 o 1755 540.70/540.90 o 1754 540.70/540.92 o 1753 542.10/542.34 o 1748 542.10/542.34 o 1747 542.10/542.34 o 1745 542.10/542.36 o 1742 542.21/542.49 o 1741 542.31/542.55 o 1735 542.31/542.56 o 1728 542.31/542.57 o 1725 542.31/542.58 o 1723 542.41/542.61 o 1722 542.41/542.65 o 1720 542.51/542.72 o 1699 542.51/542.72 o 1691 542.51/542.72 o 1684 542.51/542.72 o 1682 542.51/542.74 o 1681 542.51/542.75 o 1679 542.51/542.77 o 1676 542.51/542.79 o 1675 542.51/542.79 o 1670 542.61/542.80 o 1668 542.61/542.85 o 1667 542.61/542.88 o 1665 542.61/542.88 o 1663 542.61/542.88 o 1661 542.61/542.88 o 1660 542.61/542.89 o 1658 542.61/542.89 o 1650 542.71/542.90 o 1649 542.71/542.92 o 1647 542.71/542.95 o 1646 542.81/543.02 o 1645 542.91/543.17 o 1643 543.01/543.27 o 1642 543.01/543.27 o 1639 543.01/543.28 o 1637 543.01/543.29 o 1631 543.01/543.29 o 1629 543.01/543.30 o 1628 543.11/543.30 o 1626 543.11/543.31 o 1624 543.11/543.35 o 1622 738.14/738.41 o 1621 1782.68/1783.34 c total time : 1783 s 1782.68/1783.34 s SATISFIABLE 1782.68/1783.34 v -x1160 -x1167 -x1168 -x1169 -x1170 x1171 -x1172 -x1173 -x1174 -x1161 -x1162 -x1163 x1164 -x1165 -x1166 -x1811 -x1812 -x1813 1782.68/1783.34 v -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1885 -x1886 -x1887 -x1888 x1889 -x1890 1782.68/1783.34 v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 1782.68/1783.34 v -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 1782.68/1783.34 v -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 1782.68/1783.34 v -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 x1957 -x1958 1782.68/1783.34 v -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 1782.68/1783.34 v -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 1782.68/1783.34 v -x1993 -x1994 -x1995 -x1996 x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 1782.68/1783.34 v -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 x1845 x1846 x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 1782.68/1783.34 v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 1782.68/1783.34 v -x1873 -x1874 -x1875 -x1876 x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1625 -x1626 -x1627 -x1628 -x1629 1782.68/1783.34 v -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1699 -x1700 x1701 x1702 -x1703 x1704 -x1705 x1706 x1707 1782.68/1783.34 v -x1708 -x1709 -x1710 -x1711 -x1712 x1713 x1714 -x1715 x1716 -x1717 x1718 -x1719 -x1720 x1721 -x1722 -x1723 -x1724 -x1725 1782.68/1783.34 v -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 1782.68/1783.34 v -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 x1757 -x1758 -x1759 -x1760 1782.68/1783.34 v -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 x1769 -x1770 -x1771 x1772 -x1773 x1774 x1775 -x1776 -x1777 -x1778 1782.68/1783.34 v -x1779 -x1780 -x1781 -x1782 -x1783 x1784 -x1785 x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 1782.68/1783.34 v -x1797 -x1798 -x1799 x1800 x1801 x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1639 -x1640 -x1641 -x1642 1782.68/1783.34 v -x1643 -x1644 -x1645 x1646 -x1647 -x1648 x1649 x1650 -x1651 x1652 -x1653 -x1654 x1655 -x1656 -x1657 -x1658 -x1659 -x1660 1782.68/1783.34 v x1661 x1662 -x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 x1670 x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 1782.68/1783.34 v -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 x1686 x1687 -x1688 -x1689 -x1690 -x1691 -x1692 x1693 -x1694 x1695 x1696 1782.68/1783.34 v -x1697 -x1698 -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 1782.68/1783.34 v -x26 -x27 -x28 -x29 -x30 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 1782.68/1783.34 v -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 1782.68/1783.34 v -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 1782.68/1783.34 v -x390 x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 x401 x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 x411 -x412 -x413 1782.68/1783.34 v -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 1782.68/1783.34 v -x435 -x436 x437 x438 -x439 x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 1782.68/1783.34 v -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 1782.68/1783.34 v -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 1782.68/1783.34 v -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 x517 x518 1782.68/1783.34 v x519 x520 -x521 x522 x523 -x524 x525 x526 x527 x528 -x529 x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 1782.68/1783.34 v x542 x543 x544 -x545 x546 x547 x548 x549 x550 x551 x552 x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 1782.68/1783.34 v -x565 -x566 -x567 -x568 -x569 -x570 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 1782.68/1783.34 v -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 1782.68/1783.34 v -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 1782.68/1783.34 v x104 x105 x106 x107 -x108 x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1782.68/1783.34 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1782.68/1783.34 v -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 x165 x166 x167 -x168 1782.68/1783.34 v x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1782.68/1783.34 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1782.68/1783.34 v -x211 x212 x213 x214 x215 x216 x217 -x218 x219 x220 x221 x222 x223 x224 x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 1782.68/1783.34 v -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 x247 x248 x249 x250 x251 x252 x253 x254 -x255 1782.68/1783.34 v x256 -x257 x258 x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 1782.68/1783.34 v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 1782.68/1783.34 v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 1782.68/1783.34 v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 1782.68/1783.34 v -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 1782.68/1783.34 v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 1782.68/1783.34 v -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 x933 x934 x935 x936 x937 x938 x939 x940 x941 x942 x943 x944 1782.68/1783.34 v x945 x946 x947 -x948 x949 -x950 -x951 x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 1782.68/1783.34 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 1782.68/1783.34 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1782.68/1783.34 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 1782.68/1783.34 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1782.68/1783.34 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 1782.68/1783.34 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 1782.68/1783.34 v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 1782.68/1783.34 v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 1782.68/1783.34 v -x1110 -x1111 -x1112 x1113 -x1114 x1115 x1116 -x1117 x1118 x1119 x1120 x1121 -x1122 -x1123 x1124 x1125 x1126 -x1127 -x1128 1782.68/1783.34 v -x1129 -x1130 x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x601 -x602 -x603 -x604 -x605 -x606 1782.68/1783.34 v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 1782.68/1783.34 v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 1782.68/1783.34 v -x649 -x650 x651 x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 x663 -x664 x665 x666 -x667 -x668 -x669 -x670 1782.68/1783.34 v -x671 x672 -x673 x674 -x675 x676 x677 x678 x679 x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1782.68/1783.34 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1782.68/1783.34 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 x722 x723 x724 x725 x726 -x727 x728 x729 x730 x731 x732 x733 x734 x735 x736 -x737 1782.68/1783.34 v x738 x739 x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 1782.68/1783.34 v -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 x771 -x772 -x773 x774 -x775 -x776 -x777 -x778 -x779 1782.68/1783.34 v -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 1782.68/1783.34 v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 1782.68/1783.34 v -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 1782.68/1783.34 v -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 1782.68/1783.34 v -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 1782.68/1783.34 v -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x1141 x1152 x1155 x1143 x1144 1782.68/1783.34 v x1145 -x1146 -x1147 -x1148 x1149 x1150 x1151 x1153 x1154 x1156 x1157 -x1158 -x1159 x1142 -x1175 -x1176 -x1177 -x1178 -x1179 1782.68/1783.34 v -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 1782.68/1783.34 v -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 1782.68/1783.34 v -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 1782.68/1783.34 v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 1782.68/1783.34 v -x1248 -x1249 -x1250 -x1251 -x1252 x1253 x1254 x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 x1265 1782.68/1783.34 v x1266 x1267 x1268 x1269 x1270 x1271 x1272 x1273 x1274 x1275 x1276 x1277 x1278 x1279 x1280 x1281 x1282 x1283 x1284 -x1285 1782.68/1783.34 v -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 1782.68/1783.34 v -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 1782.68/1783.34 v -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 1782.68/1783.34 v -x1337 -x1338 -x1339 x1340 -x1341 x1342 x1343 x1344 -x1345 -x1346 -x1347 x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 1782.68/1783.34 v x1355 x1356 x1357 -x1358 x1359 x1360 x1361 x1362 -x1363 x1364 -x1365 x1366 x1367 -x1368 -x1369 x1370 x1371 -x1372 x1373 1782.68/1783.34 v x1374 -x1375 -x1376 x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 1782.68/1783.34 v -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 x1406 -x1407 x1408 -x1409 1782.68/1783.34 v -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 1782.68/1783.34 v -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 x1435 x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 1782.68/1783.34 v x1445 x1446 x1447 x1448 x1449 -x1450 x1451 x1452 x1453 -x1454 x1455 x1456 x1457 -x1458 -x1459 -x1460 x1461 x1462 x1463 -x1464 1782.68/1783.34 v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 1782.68/1783.34 v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 x1494 -x1495 -x1496 -x1497 -x1498 1782.68/1783.34 v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 x1505 x1506 x1507 x1508 x1509 x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 1782.68/1783.34 v -x1517 x1518 x1519 x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 1782.68/1783.34 v x1535 -x1536 x1537 x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 x1546 x1547 -x1548 -x1549 -x1550 x1551 x1552 1782.68/1783.34 v x1553 -x1554 -x1555 x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 x1565 x1566 x1567 x1568 x1569 x1570 x1571 1782.68/1783.34 v x1572 x1573 x1574 x1575 x1576 x1577 x1578 -x1579 x1580 -x1581 x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 1782.68/1783.34 v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 x1597 x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 1782.68/1783.34 v x1609 x1610 -x1611 -x1612 x1613 -x1614 x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624
OK 1621
/tmp/evaluation/351358-1176596840/instance-351358-1176596840.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node67/watcher-351358-1176596840 -o ROOT/results/node67/solver-351358-1176596840 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/351358-1176596840/instance-351358-1176596840.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.00 0.99 0.98 3/64 3511 /proc/meminfo: memFree=1432720/2055920 swapFree=4183904/4192956 [pid=3511] ppid=3509 vsize=2552 CPUtime=0 /proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 135673485 2613248 230 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7356119 0 0 4096 0 0 0 0 17 1 0 0 /proc/3511/statm: 638 230 193 16 0 77 0 [startup+0.0415831 s] /proc/loadavg: 1.00 0.99 0.98 3/64 3511 /proc/meminfo: memFree=1432720/2055920 swapFree=4183904/4192956 [pid=3511] ppid=3509 vsize=3380 CPUtime=0.03 /proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 496 0 0 0 3 0 0 0 18 0 1 0 135673485 3461120 466 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0 /proc/3511/statm: 845 466 205 16 0 284 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 3380 [startup+0.101593 s] /proc/loadavg: 1.00 0.99 0.98 3/64 3511 /proc/meminfo: memFree=1432720/2055920 swapFree=4183904/4192956 [pid=3511] ppid=3509 vsize=3636 CPUtime=0.09 /proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 559 0 0 0 9 0 0 0 18 0 1 0 135673485 3723264 529 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7325307 0 0 4096 0 0 0 0 17 1 0 0 /proc/3511/statm: 909 529 205 16 0 348 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3636 [startup+0.301631 s] /proc/loadavg: 1.00 0.99 0.98 3/64 3511 /proc/meminfo: memFree=1432720/2055920 swapFree=4183904/4192956 [pid=3511] ppid=3509 vsize=3892 CPUtime=0.29 /proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 606 0 0 0 29 0 0 0 19 0 1 0 135673485 3985408 576 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7325307 0 0 4096 0 0 0 0 17 1 0 0 /proc/3511/statm: 973 576 205 16 0 412 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3892 [startup+0.701704 s] /proc/loadavg: 1.00 0.99 0.98 3/64 3511 /proc/meminfo: memFree=1432720/2055920 swapFree=4183904/4192956 [pid=3511] ppid=3509 vsize=3892 CPUtime=0.69 /proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 608 0 0 0 69 0 0 0 22 0 1 0 135673485 3985408 578 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527742 0 0 4096 0 0 0 0 17 1 0 0 /proc/3511/statm: 973 578 205 16 0 412 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3892 [startup+1.50185 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3512 /proc/meminfo: memFree=1431240/2055920 swapFree=4183904/4192956 [pid=3511] ppid=3509 vsize=3892 CPUtime=1.49 /proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 608 0 0 0 149 0 0 0 25 0 1 0 135673485 3985408 578 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0 /proc/3511/statm: 973 578 205 16 0 412 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3892 [startup+3.10114 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3512 /proc/meminfo: memFree=1430984/2055920 swapFree=4183904/4192956 [pid=3511] ppid=3509 vsize=3892 CPUtime=3.09 /proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 608 0 0 0 309 0 0 0 25 0 1 0 135673485 3985408 578 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0 /proc/3511/statm: 973 578 205 16 0 412 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 3892 [startup+6.30173 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3512 /proc/meminfo: memFree=1430792/2055920 swapFree=4183904/4192956 [pid=3511] ppid=3509 vsize=4020 CPUtime=6.29 /proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 655 0 0 0 629 0 0 0 25 0 1 0 135673485 4116480 625 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528622 0 0 4096 0 0 0 0 17 1 0 0 /proc/3511/statm: 1005 625 205 16 0 444 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 4020 [startup+12.7019 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3512 /proc/meminfo: memFree=1430360/2055920 swapFree=4183904/4192956 [pid=3511] ppid=3509 vsize=4524 CPUtime=12.69 /proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 758 0 0 0 1269 0 0 0 25 0 1 0 135673485 4632576 728 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0 /proc/3511/statm: 1131 728 205 16 0 570 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 4524 [startup+25.5013 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3512 /proc/meminfo: memFree=1429592/2055920 swapFree=4183904/4192956 [pid=3511] ppid=3509 vsize=5220 CPUtime=25.48 /proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 952 0 0 0 2548 0 0 0 25 0 1 0 135673485 5345280 922 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528560 0 0 4096 0 0 0 0 17 1 0 0 /proc/3511/statm: 1305 922 205 16 0 744 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 5220 [startup+51.102 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3512 /proc/meminfo: memFree=1428824/2055920 swapFree=4183904/4192956 [pid=3511] ppid=3509 vsize=5988 CPUtime=51.07 /proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 1140 0 0 0 5107 0 0 0 25 0 1 0 135673485 6131712 1110 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0 /proc/3511/statm: 1497 1110 205 16 0 936 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 5988 [startup+102.305 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3512 /proc/meminfo: memFree=1422552/2055920 swapFree=4183904/4192956 [pid=3511] ppid=3509 vsize=12220 CPUtime=102.26 /proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 2705 0 0 0 10221 5 0 0 25 0 1 0 135673485 12513280 2673 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527989 0 0 4096 0 0 0 0 17 1 0 0 /proc/3511/statm: 3055 2673 205 16 0 2494 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 12220 [startup+162.301 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3512 /proc/meminfo: memFree=1419544/2055920 swapFree=4183904/4192956 [pid=3511] ppid=3509 vsize=15204 CPUtime=162.23 /proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3454 0 0 0 16157 66 0 0 25 0 1 0 135673485 15568896 3416 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3511/statm: 3801 3416 205 16 0 3240 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 15204 [startup+222.301 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3512 /proc/meminfo: memFree=1419608/2055920 swapFree=4183904/4192956 [pid=3511] ppid=3509 vsize=15204 CPUtime=222.21 /proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3468 0 0 0 22053 168 0 0 25 0 1 0 135673485 15568896 3425 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3511/statm: 3801 3425 205 16 0 3240 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 15204 [startup+282.301 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3512 /proc/meminfo: memFree=1419608/2055920 swapFree=4183904/4192956 [pid=3511] ppid=3509 vsize=15204 CPUtime=282.19 /proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3468 0 0 0 28006 213 0 0 25 0 1 0 135673485 15568896 3425 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3511/statm: 3801 3425 205 16 0 3240 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 15204 [startup+342.302 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3512 /proc/meminfo: memFree=1419544/2055920 swapFree=4183904/4192956 [pid=3511] ppid=3509 vsize=15204 CPUtime=342.17 /proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3468 0 0 0 33953 264 0 0 25 0 1 0 135673485 15568896 3425 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3511/statm: 3801 3425 205 16 0 3240 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 15204 [startup+402.303 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3512 /proc/meminfo: memFree=1419544/2055920 swapFree=4183904/4192956 [pid=3511] ppid=3509 vsize=15204 CPUtime=402.15 /proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3468 0 0 0 39875 340 0 0 25 0 1 0 135673485 15568896 3425 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3511/statm: 3801 3425 205 16 0 3240 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 15204 [startup+462.302 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3512 /proc/meminfo: memFree=1419608/2055920 swapFree=4183904/4192956 [pid=3511] ppid=3509 vsize=15204 CPUtime=462.13 /proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3468 0 0 0 45787 426 0 0 25 0 1 0 135673485 15568896 3425 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3511/statm: 3801 3425 205 16 0 3240 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 15204 [startup+522.302 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3512 /proc/meminfo: memFree=1419608/2055920 swapFree=4183904/4192956 [pid=3511] ppid=3509 vsize=15204 CPUtime=522.11 /proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3468 0 0 0 51714 497 0 0 25 0 1 0 135673485 15568896 3425 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3511/statm: 3801 3425 205 16 0 3240 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 15204 [startup+582.302 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3512 /proc/meminfo: memFree=1419416/2055920 swapFree=4183904/4192956 [pid=3511] ppid=3509 vsize=15204 CPUtime=582.09 /proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3522 0 0 0 57672 537 0 0 25 0 1 0 135673485 15568896 3425 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3511/statm: 3801 3425 205 16 0 3240 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 15204 [startup+642.302 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3512 /proc/meminfo: memFree=1419416/2055920 swapFree=4183904/4192956 [pid=3511] ppid=3509 vsize=15204 CPUtime=642.07 /proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3522 0 0 0 63582 625 0 0 25 0 1 0 135673485 15568896 3425 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3511/statm: 3801 3425 205 16 0 3240 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 15204 ################ # More data... # ################ /proc/meminfo: memFree=1419416/2055920 swapFree=4183904/4192956 [pid=3511] ppid=3509 vsize=15204 CPUtime=822.01 /proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3522 0 0 0 81413 788 0 0 25 0 1 0 135673485 15568896 3425 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3511/statm: 3801 3425 205 16 0 3240 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 15204 [startup+882.302 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3514 /proc/meminfo: memFree=1419480/2055920 swapFree=4183904/4192956 [pid=3511] ppid=3509 vsize=15204 CPUtime=881.98 /proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3522 0 0 0 87366 832 0 0 25 0 1 0 135673485 15568896 3425 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3511/statm: 3801 3425 205 16 0 3240 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 15204 [startup+942.302 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3514 /proc/meminfo: memFree=1419480/2055920 swapFree=4183904/4192956 [pid=3511] ppid=3509 vsize=15204 CPUtime=941.97 /proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3522 0 0 0 93330 867 0 0 25 0 1 0 135673485 15568896 3425 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3511/statm: 3801 3425 205 16 0 3240 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 15204 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3514 /proc/meminfo: memFree=1419608/2055920 swapFree=4183904/4192956 [pid=3511] ppid=3509 vsize=15204 CPUtime=1001.95 /proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3522 0 0 0 99294 901 0 0 25 0 1 0 135673485 15568896 3425 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527656 0 0 4096 0 0 0 0 17 1 0 0 /proc/3511/statm: 3801 3425 205 16 0 3240 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 15204 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3514 /proc/meminfo: memFree=1419672/2055920 swapFree=4183904/4192956 [pid=3511] ppid=3509 vsize=15204 CPUtime=1061.93 /proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3522 0 0 0 105115 1078 0 0 25 0 1 0 135673485 15568896 3425 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3511/statm: 3801 3425 205 16 0 3240 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 15204 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3514 /proc/meminfo: memFree=1419672/2055920 swapFree=4183904/4192956 [pid=3511] ppid=3509 vsize=15204 CPUtime=1121.91 /proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3522 0 0 0 110961 1230 0 0 25 0 1 0 135673485 15568896 3425 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3511/statm: 3801 3425 205 16 0 3240 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 15204 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3514 /proc/meminfo: memFree=1419608/2055920 swapFree=4183904/4192956 [pid=3511] ppid=3509 vsize=15204 CPUtime=1181.88 /proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3522 0 0 0 116828 1360 0 0 25 0 1 0 135673485 15568896 3425 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3511/statm: 3801 3425 205 16 0 3240 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 15204 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3514 /proc/meminfo: memFree=1419544/2055920 swapFree=4183904/4192956 [pid=3511] ppid=3509 vsize=15204 CPUtime=1241.86 /proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3522 0 0 0 122814 1372 0 0 25 0 1 0 135673485 15568896 3425 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3511/statm: 3801 3425 205 16 0 3240 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 15204 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3514 /proc/meminfo: memFree=1419544/2055920 swapFree=4183904/4192956 [pid=3511] ppid=3509 vsize=15204 CPUtime=1301.84 /proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3522 0 0 0 128636 1548 0 0 25 0 1 0 135673485 15568896 3425 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3511/statm: 3801 3425 205 16 0 3240 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 15204 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3514 /proc/meminfo: memFree=1419416/2055920 swapFree=4183904/4192956 [pid=3511] ppid=3509 vsize=15332 CPUtime=1361.83 /proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3554 0 0 0 134467 1716 0 0 25 0 1 0 135673485 15699968 3457 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3511/statm: 3833 3457 205 16 0 3272 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 15332 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3514 /proc/meminfo: memFree=1419416/2055920 swapFree=4183904/4192956 [pid=3511] ppid=3509 vsize=15332 CPUtime=1421.81 /proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3554 0 0 0 140262 1919 0 0 25 0 1 0 135673485 15699968 3457 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3511/statm: 3833 3457 205 16 0 3272 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 15332 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3514 /proc/meminfo: memFree=1418840/2055920 swapFree=4183904/4192956 [pid=3511] ppid=3509 vsize=16012 CPUtime=1481.78 /proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3742 0 0 0 146094 2084 0 0 25 0 1 0 135673485 16396288 3599 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3511/statm: 4003 3599 205 16 0 3442 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 16012 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3514 /proc/meminfo: memFree=1417624/2055920 swapFree=4183904/4192956 [pid=3511] ppid=3509 vsize=17000 CPUtime=1541.76 /proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 4081 0 0 0 152018 2158 0 0 25 0 1 0 135673485 17408000 3874 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3511/statm: 4250 3874 205 16 0 3689 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 17000 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3514 /proc/meminfo: memFree=1417688/2055920 swapFree=4183904/4192956 [pid=3511] ppid=3509 vsize=17000 CPUtime=1601.75 /proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 4081 0 0 0 157943 2232 0 0 25 0 1 0 135673485 17408000 3874 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/3511/statm: 4250 3874 205 16 0 3689 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 17000 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3514 /proc/meminfo: memFree=1417752/2055920 swapFree=4183904/4192956 [pid=3511] ppid=3509 vsize=17000 CPUtime=1661.72 /proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 4081 0 0 0 163859 2313 0 0 25 0 1 0 135673485 17408000 3874 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3511/statm: 4250 3874 205 16 0 3689 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 17000 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3514 /proc/meminfo: memFree=1417752/2055920 swapFree=4183904/4192956 [pid=3511] ppid=3509 vsize=17000 CPUtime=1721.7 /proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 4081 0 0 0 169804 2366 0 0 25 0 1 0 135673485 17408000 3874 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3511/statm: 4250 3874 205 16 0 3689 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 17000 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3514 /proc/meminfo: memFree=1417752/2055920 swapFree=4183904/4192956 [pid=3511] ppid=3509 vsize=17000 CPUtime=1781.68 /proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 4081 0 0 0 175734 2434 0 0 25 0 1 0 135673485 17408000 3874 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3511/statm: 4250 3874 205 16 0 3689 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 17000 Solver just ended. Dumping a history of the last processes samples [startup+1783.11 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3514 /proc/meminfo: memFree=1417752/2055920 swapFree=4183904/4192956 [pid=3511] ppid=3509 vsize=17000 CPUtime=1782.49 /proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 4081 0 0 0 175813 2436 0 0 25 0 1 0 135673485 17408000 3874 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3511/statm: 4250 3874 205 16 0 3689 0 Current children cumulated CPU time (s) 1782.49 Current children cumulated vsize (KiB) 17000 [startup+1783.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3514 /proc/meminfo: memFree=1417752/2055920 swapFree=4183904/4192956 [pid=3511] ppid=3509 vsize=17000 CPUtime=1782.68 /proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 4081 0 0 0 175832 2436 0 0 25 0 1 0 135673485 17408000 3874 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3511/statm: 4250 3874 205 16 0 3689 0 Current children cumulated CPU time (s) 1782.68 Current children cumulated vsize (KiB) 17000 Child status: 10 Real time (s): 1783.35 CPU time (s): 1782.74 CPU user time (s): 1758.37 CPU system time (s): 24.3693 CPU usage (%): 99.9659 Max. virtual memory (cumulated for all children) (KiB): 17248 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1758.37 system time used= 24.3693 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4088 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= 15 involuntary context switches= 2877 runsolver used 1.2848 second user time and 3.59645 second system time The end
Begin job on node67 on Sun Apr 15 00:27:20 UTC 2007 IDJOB= 351358 IDBENCH= 1728 IDSOLVER= 165 FILE ID= node67/351358-1176596840 PBS_JOBID= 4556991 Free space on /tmp= 66562 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell4.opb COMMAND LINE= Pueblo /tmp/evaluation/351358-1176596840/instance-351358-1176596840.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node67/convwatcher-351358-1176596840 -o ROOT/results/node67/conversion-351358-1176596840 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351358-1176596840/instance-351358-1176596840.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node67/watcher-351358-1176596840 -o ROOT/results/node67/solver-351358-1176596840 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/351358-1176596840/instance-351358-1176596840.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 51e821dd343df6d9e97b4cdfcd83ec3f RANDOM SEED= 610694936 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node67.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.263 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.263 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: 1433128 kB Buffers: 42576 kB Cached: 451040 kB SwapCached: 3192 kB Active: 182432 kB Inactive: 321040 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1433128 kB SwapTotal: 4192956 kB SwapFree: 4183904 kB Dirty: 2348 kB Writeback: 0 kB Mapped: 15836 kB Slab: 105240 kB Committed_AS: 134352 kB PageTables: 1452 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 node67 on Sun Apr 15 00:57:03 UTC 2007