Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 1621 | 1782.74 | 1783.27 |
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 | 1621 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
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 c Pueblo version 1.4 (September 2005) 0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini 0.04 c starting to Solve 0.04 c #variables read: 1996 - #constraints read: 135 94.09 o 36450 94.13 o 36330 94.13 o 36270 94.14 o 36256 94.14 o 36252 94.29 o 36150 94.29 o 36090 94.29 o 36060 94.29 o 36053 94.30 o 36049 94.30 o 36047 94.30 o 36046 94.30 o 36039 94.31 o 36035 94.31 o 36033 94.31 o 36031 94.31 o 36029 94.82 o 34136 94.82 o 33174 94.82 o 32693 94.82 o 32453 94.82 o 32333 94.83 o 32273 94.83 o 32266 94.83 o 32262 94.83 o 32260 94.84 o 32259 94.84 o 32252 94.84 o 32248 94.84 o 32246 94.85 o 32244 94.85 o 32242 95.90 o 30409 95.91 o 29447 95.91 o 28966 95.91 o 28726 95.91 o 28606 95.91 o 28546 95.92 o 28516 95.92 o 28501 95.92 o 28493 95.92 o 28489 95.93 o 28487 95.93 o 28486 95.93 o 28482 95.94 o 28478 95.94 o 28476 95.95 o 28475 95.95 o 28474 95.96 o 28473 95.96 o 28472 95.97 o 28471 95.97 o 28469 95.98 o 28468 95.98 o 28464 95.98 o 28462 95.98 o 28461 95.98 o 28460 95.99 o 28459 95.99 o 28458 96.00 o 28457 96.01 o 28456 96.01 o 28455 96.02 o 28427 96.02 o 28426 96.02 o 28420 96.02 o 28416 96.02 o 28415 96.03 o 28414 96.03 o 28413 96.03 o 28412 96.04 o 28409 96.04 o 28408 96.05 o 28406 96.05 o 28402 96.05 o 28401 96.05 o 28400 96.05 o 28399 96.06 o 28398 96.07 o 28397 96.08 o 28396 96.09 o 28395 97.84 o 26655 97.84 o 25693 97.85 o 25212 97.85 o 24972 97.85 o 24852 97.86 o 24792 97.87 o 24786 97.88 o 24784 97.88 o 24783 97.89 o 24782 97.90 o 24781 97.90 o 24780 97.90 o 24732 97.91 o 24729 97.91 o 24726 97.92 o 24724 97.93 o 24723 97.93 o 24721 97.94 o 24720 97.94 o 24702 97.94 o 24700 97.94 o 24699 97.95 o 24694 97.96 o 24693 97.96 o 24692 97.97 o 24691 97.97 o 24690 97.98 o 24658 98.03 o 24650 98.04 o 24649 98.05 o 24648 98.06 o 24647 98.06 o 24646 98.06 o 24620 98.09 o 24619 98.09 o 24618 98.10 o 24617 98.11 o 24616 98.12 o 24613 98.13 o 24611 98.14 o 24609 98.14 o 24608 98.15 o 24607 98.16 o 24605 98.17 o 24604 98.19 o 24602 98.20 o 24601 98.21 o 24600 98.22 o 24599 101.09 o 23022 101.09 o 22060 101.09 o 21579 101.10 o 21339 101.10 o 21219 101.11 o 21159 101.11 o 21129 101.12 o 21114 101.13 o 21110 101.13 o 21108 101.14 o 21107 101.15 o 21106 101.16 o 21104 101.17 o 21103 101.18 o 21102 101.19 o 21101 101.19 o 20990 101.21 o 20900 101.22 o 20898 101.23 o 20897 101.23 o 20896 101.24 o 20894 101.25 o 20893 101.26 o 20892 101.27 o 20891 101.30 o 20890 101.31 o 20870 101.32 o 20868 101.33 o 20867 101.34 o 20866 101.34 o 20864 101.35 o 20863 101.36 o 20862 101.37 o 20861 101.38 o 20860 101.39 o 20857 101.40 o 20856 101.41 o 20853 101.42 o 20852 101.43 o 20851 101.44 o 20850 101.45 o 20849 101.46 o 20848 101.47 o 20847 101.50 o 20846 101.51 o 20845 101.52 o 20844 101.53 o 20843 101.54 o 20842 101.55 o 20841 101.58 o 20840 101.60 o 20839 101.62 o 20838 101.65 o 20837 101.66 o 20836 101.67 o 20835 101.67 o 20833 101.68 o 20832 101.69 o 20831 101.70 o 20829 101.75 o 20826 101.76 o 20825 101.76 o 20824 101.79 o 20823 101.81 o 20822 101.84 o 20821 101.85 o 20820 101.86 o 20810 101.86 o 20808 101.86 o 20807 101.87 o 20806 101.87 o 20804 101.88 o 20803 101.88 o 20801 101.88 o 20800 101.89 o 20796 101.89 o 20794 101.89 o 20793 101.91 o 20792 101.91 o 20790 101.92 o 20789 101.92 o 20788 101.93 o 20787 101.94 o 20786 101.96 o 20785 101.97 o 20783 101.98 o 20782 102.05 o 20781 102.06 o 20778 102.06 o 20776 102.06 o 20774 102.06 o 20773 102.07 o 20772 102.08 o 20771 102.09 o 20770 102.11 o 20769 102.18 o 20768 102.18 o 20767 102.18 o 20766 102.19 o 20765 102.19 o 20764 102.21 o 20763 102.23 o 20762 102.25 o 20761 102.27 o 20760 155.38 o 19273 155.38 o 18313 155.39 o 17832 155.40 o 17592 155.41 o 17472 155.42 o 17412 155.43 o 17382 155.43 o 17367 155.45 o 17363 155.45 o 17361 155.47 o 17360 155.48 o 17352 155.49 o 17292 155.50 o 17262 155.51 o 17217 155.51 o 17187 155.53 o 17180 155.54 o 17150 155.57 o 17142 155.58 o 17138 155.60 o 17136 155.61 o 17135 155.64 o 17134 155.65 o 17132 155.66 o 17131 155.67 o 17130 155.69 o 17129 155.71 o 17128 155.72 o 17127 155.73 o 17126 155.75 o 17125 155.76 o 17124 155.78 o 17123 155.79 o 17122 155.81 o 17121 155.81 o 17112 155.82 o 17105 155.83 o 17101 155.83 o 17099 155.83 o 17090 155.84 o 17086 155.84 o 17084 155.84 o 17075 155.85 o 17071 155.85 o 17069 155.86 o 17068 155.88 o 17067 155.89 o 17065 155.91 o 17064 155.92 o 17063 155.93 o 17062 155.96 o 17061 155.96 o 17059 155.97 o 17057 155.97 o 17056 155.98 o 17054 155.98 o 17044 155.98 o 17042 155.99 o 17041 155.99 o 17039 156.00 o 17026 156.01 o 17022 156.02 o 17020 156.03 o 17019 156.04 o 17018 156.06 o 17017 156.10 o 17014 156.12 o 17013 156.15 o 17012 156.18 o 17011 156.19 o 17010 156.21 o 17009 156.21 o 17007 156.22 o 17006 156.24 o 17005 156.26 o 17004 156.27 o 17002 156.27 o 17001 156.28 o 16999 156.29 o 16998 156.30 o 16997 156.31 o 16996 156.34 o 16995 156.34 o 16994 156.36 o 16993 156.37 o 16992 156.42 o 16991 156.44 o 16990 156.51 o 16989 156.54 o 16988 156.56 o 16987 156.61 o 16986 156.66 o 16985 156.70 o 16984 156.77 o 16983 378.91 o 1904 536.90 o 1795 536.94 o 1793 536.98 o 1792 537.27 o 1791 537.37 o 1790 537.42 o 1789 537.42 o 1787 537.47 o 1786 537.52 o 1785 537.53 o 1782 537.53 o 1780 537.64 o 1778 537.70 o 1777 537.74 o 1775 537.74 o 1774 537.74 o 1772 537.79 o 1771 537.96 o 1765 538.03 o 1764 538.09 o 1762 538.21 o 1760 538.21 o 1759 538.22 o 1757 538.24 o 1755 538.25 o 1754 538.27 o 1753 539.67 o 1748 539.67 o 1747 539.67 o 1745 539.69 o 1742 539.82 o 1741 539.88 o 1735 539.88 o 1728 539.90 o 1725 539.91 o 1723 539.93 o 1722 539.97 o 1720 540.05 o 1699 540.05 o 1691 540.05 o 1684 540.05 o 1682 540.07 o 1681 540.08 o 1679 540.10 o 1676 540.11 o 1675 540.12 o 1670 540.13 o 1668 540.17 o 1667 540.20 o 1665 540.20 o 1663 540.21 o 1661 540.21 o 1660 540.21 o 1658 540.22 o 1650 540.22 o 1649 540.24 o 1647 540.28 o 1646 540.35 o 1645 540.49 o 1643 540.59 o 1642 540.59 o 1639 540.60 o 1637 540.61 o 1631 540.61 o 1629 540.62 o 1628 540.62 o 1626 540.63 o 1624 540.67 o 1622 734.03 o 1621 1783.26 c total time : 1783 s 1783.26 s SATISFIABLE 1783.26 v -x1160 -x1167 -x1168 -x1169 -x1170 x1171 -x1172 -x1173 -x1174 -x1161 -x1162 -x1163 x1164 -x1165 -x1166 -x1811 -x1812 -x1813 1783.26 v -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1885 -x1886 -x1887 -x1888 x1889 -x1890 1783.26 v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 1783.26 v -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 1783.26 v -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 1783.26 v -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 x1957 -x1958 1783.26 v -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 1783.26 v -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 1783.26 v -x1993 -x1994 -x1995 -x1996 x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 1783.26 v -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 x1845 x1846 x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 1783.26 v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 1783.26 v -x1873 -x1874 -x1875 -x1876 x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1625 -x1626 -x1627 -x1628 -x1629 1783.26 v -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1699 -x1700 x1701 x1702 -x1703 x1704 -x1705 x1706 x1707 1783.26 v -x1708 -x1709 -x1710 -x1711 -x1712 x1713 x1714 -x1715 x1716 -x1717 x1718 -x1719 -x1720 x1721 -x1722 -x1723 -x1724 -x1725 1783.26 v -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 1783.26 v -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 x1757 -x1758 -x1759 -x1760 1783.26 v -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 x1769 -x1770 -x1771 x1772 -x1773 x1774 x1775 -x1776 -x1777 -x1778 1783.26 v -x1779 -x1780 -x1781 -x1782 -x1783 x1784 -x1785 x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 1783.26 v -x1797 -x1798 -x1799 x1800 x1801 x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1639 -x1640 -x1641 -x1642 1783.26 v -x1643 -x1644 -x1645 x1646 -x1647 -x1648 x1649 x1650 -x1651 x1652 -x1653 -x1654 x1655 -x1656 -x1657 -x1658 -x1659 -x1660 1783.26 v x1661 x1662 -x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 x1670 x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 1783.26 v -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 x1686 x1687 -x1688 -x1689 -x1690 -x1691 -x1692 x1693 -x1694 x1695 x1696 1783.26 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 1783.26 v -x26 -x27 -x28 -x29 -x30 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 1783.26 v -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 1783.26 v -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 1783.26 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 1783.26 v -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 1783.26 v -x435 -x436 x437 x438 -x439 x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 1783.26 v -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 1783.26 v -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 1783.26 v -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 x517 x518 1783.26 v x519 x520 -x521 x522 x523 -x524 x525 x526 x527 x528 -x529 x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 1783.26 v x542 x543 x544 -x545 x546 x547 x548 x549 x550 x551 x552 x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 1783.26 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 1783.26 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 1783.26 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 1783.26 v x104 x105 x106 x107 -x108 x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1783.26 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1783.26 v -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 x165 x166 x167 -x168 1783.26 v x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1783.26 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1783.26 v -x211 x212 x213 x214 x215 x216 x217 -x218 x219 x220 x221 x222 x223 x224 x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 1783.26 v -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 x247 x248 x249 x250 x251 x252 x253 x254 -x255 1783.26 v x256 -x257 x258 x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 1783.26 v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 1783.26 v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 1783.26 v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 1783.26 v -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 1783.26 v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 1783.26 v -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 x933 x934 x935 x936 x937 x938 x939 x940 x941 x942 x943 x944 1783.26 v x945 x946 x947 -x948 x949 -x950 -x951 x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 1783.26 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 1783.26 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1783.26 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 1783.26 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1783.26 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 1783.26 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 1783.26 v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 1783.26 v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 1783.26 v -x1110 -x1111 -x1112 x1113 -x1114 x1115 x1116 -x1117 x1118 x1119 x1120 x1121 -x1122 -x1123 x1124 x1125 x1126 -x1127 -x1128 1783.26 v -x1129 -x1130 x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x601 -x602 -x603 -x604 -x605 -x606 1783.26 v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 1783.26 v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 1783.26 v -x649 -x650 x651 x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 x663 -x664 x665 x666 -x667 -x668 -x669 -x670 1783.26 v -x671 x672 -x673 x674 -x675 x676 x677 x678 x679 x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1783.26 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1783.26 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 1783.26 v x738 x739 x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 1783.26 v -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 x771 -x772 -x773 x774 -x775 -x776 -x777 -x778 -x779 1783.26 v -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 1783.26 v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 1783.26 v -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 1783.26 v -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 1783.26 v -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 1783.26 v -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x1141 x1152 x1155 x1143 x1144 1783.26 v x1145 -x1146 -x1147 -x1148 x1149 x1150 x1151 x1153 x1154 x1156 x1157 -x1158 -x1159 x1142 -x1175 -x1176 -x1177 -x1178 -x1179 1783.26 v -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 1783.26 v -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 1783.26 v -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 1783.26 v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 1783.26 v -x1248 -x1249 -x1250 -x1251 -x1252 x1253 x1254 x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 x1265 1783.26 v x1266 x1267 x1268 x1269 x1270 x1271 x1272 x1273 x1274 x1275 x1276 x1277 x1278 x1279 x1280 x1281 x1282 x1283 x1284 -x1285 1783.26 v -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 1783.26 v -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 1783.26 v -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 1783.26 v -x1337 -x1338 -x1339 x1340 -x1341 x1342 x1343 x1344 -x1345 -x1346 -x1347 x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 1783.26 v x1355 x1356 x1357 -x1358 x1359 x1360 x1361 x1362 -x1363 x1364 -x1365 x1366 x1367 -x1368 -x1369 x1370 x1371 -x1372 x1373 1783.26 v x1374 -x1375 -x1376 x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 1783.26 v -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 x1406 -x1407 x1408 -x1409 1783.26 v -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 1783.26 v -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 x1435 x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 1783.26 v x1445 x1446 x1447 x1448 x1449 -x1450 x1451 x1452 x1453 -x1454 x1455 x1456 x1457 -x1458 -x1459 -x1460 x1461 x1462 x1463 -x1464 1783.26 v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 1783.26 v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 x1494 -x1495 -x1496 -x1497 -x1498 1783.26 v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 x1505 x1506 x1507 x1508 x1509 x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 1783.26 v -x1517 x1518 x1519 x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 1783.26 v x1535 -x1536 x1537 x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 x1546 x1547 -x1548 -x1549 -x1550 x1551 x1552 1783.26 v x1553 -x1554 -x1555 x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 x1565 x1566 x1567 x1568 x1569 x1570 x1571 1783.26 v x1572 x1573 x1574 x1575 x1576 x1577 x1578 -x1579 x1580 -x1581 x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 1783.26 v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 x1597 x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 1783.26 v x1609 x1610 -x1611 -x1612 x1613 -x1614 x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624
OK 1621
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node72/watcher-36526-1149345378 -o ROOT/results/node72/solver-36526-1149345378 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node72/36526-1149345378/instance-36526-1149345378.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/64 29611 /proc/meminfo: memFree=1658168/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=916 CPUtime=0 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 44 0 0 0 0 0 0 0 18 0 1 0 200202251 937984 28 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 2536228 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 229 28 20 16 0 8 0 [startup+10.0023 s] /proc/loadavg: 0.93 0.98 0.99 2/64 29611 /proc/meminfo: memFree=1656256/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=4416 CPUtime=9.99 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 750 0 0 0 999 0 0 0 25 0 1 0 200202251 4521984 721 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527993 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 1104 721 205 16 0 545 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 4416 [startup+20.0082 s] /proc/loadavg: 0.94 0.98 0.99 2/64 29611 /proc/meminfo: memFree=1655552/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=5240 CPUtime=20 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 948 0 0 0 2000 0 0 0 25 0 1 0 200202251 5365760 919 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557745 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 1310 919 205 16 0 751 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 5240 [startup+30.0141 s] /proc/loadavg: 0.95 0.98 0.99 2/64 29611 /proc/meminfo: memFree=1655040/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=5752 CPUtime=30 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 1095 0 0 0 3000 0 0 0 25 0 1 0 200202251 5890048 1066 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 1438 1066 205 16 0 879 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 5752 [startup+40.02 s] /proc/loadavg: 0.96 0.98 0.99 2/64 29611 /proc/meminfo: memFree=1654848/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=6008 CPUtime=40 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 1141 0 0 0 4000 0 0 0 25 0 1 0 200202251 6152192 1112 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517605 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 1502 1112 205 16 0 943 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 6008 [startup+50.0259 s] /proc/loadavg: 0.96 0.98 0.99 2/64 29611 /proc/meminfo: memFree=1654848/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=6008 CPUtime=50 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 1142 0 0 0 5000 0 0 0 25 0 1 0 200202251 6152192 1113 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520565 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 1502 1113 205 16 0 943 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 6008 [startup+60.0318 s] /proc/loadavg: 0.97 0.98 0.99 2/64 29611 /proc/meminfo: memFree=1654528/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=6188 CPUtime=60.01 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 1206 0 0 0 6001 0 0 0 25 0 1 0 200202251 6336512 1175 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528572 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 1547 1175 205 16 0 988 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 6188 [startup+70.0377 s] /proc/loadavg: 0.97 0.98 0.99 2/64 29611 /proc/meminfo: memFree=1654528/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=6188 CPUtime=70.01 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 1206 0 0 0 7001 0 0 0 25 0 1 0 200202251 6336512 1175 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 1547 1175 205 16 0 988 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 6188 [startup+80.0436 s] /proc/loadavg: 0.98 0.98 0.99 2/64 29611 /proc/meminfo: memFree=1654528/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=6320 CPUtime=80.01 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 1227 0 0 0 8001 0 0 0 25 0 1 0 200202251 6471680 1196 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528577 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 1580 1196 205 16 0 1021 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 6320 [startup+90.0496 s] /proc/loadavg: 0.98 0.98 0.99 2/64 29611 /proc/meminfo: memFree=1654080/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=6840 CPUtime=90.02 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 1346 0 0 0 9002 0 0 0 25 0 1 0 200202251 7004160 1315 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 1710 1315 205 16 0 1151 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 6840 [startup+100.055 s] /proc/loadavg: 0.98 0.98 0.99 2/64 29611 /proc/meminfo: memFree=1648640/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=12240 CPUtime=100.02 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 2698 0 0 0 9999 3 0 0 25 0 1 0 200202251 12533760 2667 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 3060 2667 205 16 0 2501 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 12240 [startup+110.061 s] /proc/loadavg: 0.98 0.98 0.99 2/64 29611 /proc/meminfo: memFree=1648320/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=12552 CPUtime=110.02 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 2788 0 0 0 10990 12 0 0 25 0 1 0 200202251 12853248 2751 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 3138 2751 205 16 0 2579 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 12552 [startup+120.067 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29611 /proc/meminfo: memFree=1648192/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=12668 CPUtime=120.03 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 2817 0 0 0 11978 25 0 0 25 0 1 0 200202251 12972032 2780 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 3167 2780 205 16 0 2608 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 12668 [startup+130.073 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29611 /proc/meminfo: memFree=1648192/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=12668 CPUtime=130.03 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 2817 0 0 0 12971 32 0 0 25 0 1 0 200202251 12972032 2780 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 3167 2780 205 16 0 2608 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 12668 [startup+140.078 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29611 /proc/meminfo: memFree=1648192/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=12668 CPUtime=140.03 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 2817 0 0 0 13961 42 0 0 25 0 1 0 200202251 12972032 2780 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 3167 2780 205 16 0 2608 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 12668 [startup+150.084 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29611 /proc/meminfo: memFree=1648128/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=12668 CPUtime=150.03 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 2817 0 0 0 14951 52 0 0 25 0 1 0 200202251 12972032 2780 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 2974669 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 3167 2780 205 16 0 2608 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 12668 [startup+160.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29611 /proc/meminfo: memFree=1645568/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=15248 CPUtime=160.04 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 3460 0 0 0 15943 61 0 0 25 0 1 0 200202251 15613952 3423 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 3812 3423 205 16 0 3253 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 15248 [startup+170.096 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29611 /proc/meminfo: memFree=1645568/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=15224 CPUtime=170.04 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 3460 0 0 0 16934 70 0 0 25 0 1 0 200202251 15589376 3423 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528066 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 3806 3423 205 16 0 3247 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 15224 [startup+180.102 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29611 /proc/meminfo: memFree=1645568/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=15224 CPUtime=180.04 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 3460 0 0 0 17929 75 0 0 25 0 1 0 200202251 15589376 3423 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 3806 3423 205 16 0 3247 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 15224 [startup+190.108 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29611 /proc/meminfo: memFree=1645504/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=15288 CPUtime=190.05 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 3474 0 0 0 18913 92 0 0 25 0 1 0 200202251 15654912 3437 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 3822 3437 205 16 0 3263 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 15288 [startup+200.114 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29611 /proc/meminfo: memFree=1645504/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=15224 CPUtime=200.05 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 3474 0 0 0 19888 117 0 0 25 0 1 0 200202251 15589376 3432 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 3806 3432 205 16 0 3247 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 15224 [startup+210.119 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29611 /proc/meminfo: memFree=1645504/2055920 swapFree=4182268/4192956 ################ # More data... # ################ /proc/29611/statm: 4255 3881 205 16 0 3696 0 Current children cumulated CPU time (s) 1590.43 Current children cumulated vsize (Kb) 17020 [startup+1600.93 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29806 /proc/meminfo: memFree=1643136/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=17020 CPUtime=1600.43 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 157754 2289 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528322 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 4255 3881 205 16 0 3696 0 Current children cumulated CPU time (s) 1600.43 Current children cumulated vsize (Kb) 17020 [startup+1610.93 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29806 /proc/meminfo: memFree=1643136/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=17020 CPUtime=1610.44 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 158740 2304 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517879 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 4255 3881 205 16 0 3696 0 Current children cumulated CPU time (s) 1610.44 Current children cumulated vsize (Kb) 17020 [startup+1620.94 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29806 /proc/meminfo: memFree=1643136/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=17020 CPUtime=1620.44 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 159726 2318 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 4255 3881 205 16 0 3696 0 Current children cumulated CPU time (s) 1620.44 Current children cumulated vsize (Kb) 17020 [startup+1630.94 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29806 /proc/meminfo: memFree=1643136/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=17020 CPUtime=1630.44 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 160710 2334 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 4255 3881 205 16 0 3696 0 Current children cumulated CPU time (s) 1630.44 Current children cumulated vsize (Kb) 17020 [startup+1640.95 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29806 /proc/meminfo: memFree=1643136/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=17020 CPUtime=1640.44 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 161698 2346 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 4255 3881 205 16 0 3696 0 Current children cumulated CPU time (s) 1640.44 Current children cumulated vsize (Kb) 17020 [startup+1650.95 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29806 /proc/meminfo: memFree=1643136/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=17020 CPUtime=1650.44 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 162683 2361 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 4255 3881 205 16 0 3696 0 Current children cumulated CPU time (s) 1650.44 Current children cumulated vsize (Kb) 17020 [startup+1660.96 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29806 /proc/meminfo: memFree=1643200/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=17020 CPUtime=1660.45 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 163670 2375 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 4255 3881 205 16 0 3696 0 Current children cumulated CPU time (s) 1660.45 Current children cumulated vsize (Kb) 17020 [startup+1670.97 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29806 /proc/meminfo: memFree=1643200/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=17020 CPUtime=1670.45 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 164656 2389 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 4255 3881 205 16 0 3696 0 Current children cumulated CPU time (s) 1670.45 Current children cumulated vsize (Kb) 17020 [startup+1680.97 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29806 /proc/meminfo: memFree=1643264/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=17020 CPUtime=1680.46 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 165647 2399 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 4255 3881 205 16 0 3696 0 Current children cumulated CPU time (s) 1680.46 Current children cumulated vsize (Kb) 17020 [startup+1690.98 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29806 /proc/meminfo: memFree=1643328/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=17020 CPUtime=1690.46 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 166637 2409 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 4255 3881 205 16 0 3696 0 Current children cumulated CPU time (s) 1690.46 Current children cumulated vsize (Kb) 17020 [startup+1700.98 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29806 /proc/meminfo: memFree=1643328/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=17020 CPUtime=1700.47 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 167633 2414 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 4255 3881 205 16 0 3696 0 Current children cumulated CPU time (s) 1700.47 Current children cumulated vsize (Kb) 17020 [startup+1710.99 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29806 /proc/meminfo: memFree=1643328/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=17020 CPUtime=1710.47 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 168630 2417 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 4255 3881 205 16 0 3696 0 Current children cumulated CPU time (s) 1710.47 Current children cumulated vsize (Kb) 17020 [startup+1720.99 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29806 /proc/meminfo: memFree=1643328/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=17020 CPUtime=1720.47 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 169627 2420 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 4255 3881 205 16 0 3696 0 Current children cumulated CPU time (s) 1720.47 Current children cumulated vsize (Kb) 17020 [startup+1731 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29806 /proc/meminfo: memFree=1643328/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=17020 CPUtime=1730.48 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 170621 2427 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 4255 3881 205 16 0 3696 0 Current children cumulated CPU time (s) 1730.48 Current children cumulated vsize (Kb) 17020 [startup+1741.01 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29806 /proc/meminfo: memFree=1643328/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=17020 CPUtime=1740.48 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 171607 2441 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 4255 3881 205 16 0 3696 0 Current children cumulated CPU time (s) 1740.48 Current children cumulated vsize (Kb) 17020 [startup+1751.01 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29806 /proc/meminfo: memFree=1643328/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=17020 CPUtime=1750.48 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 172595 2453 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 4255 3881 205 16 0 3696 0 Current children cumulated CPU time (s) 1750.48 Current children cumulated vsize (Kb) 17020 [startup+1761.02 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29806 /proc/meminfo: memFree=1643328/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=17020 CPUtime=1760.48 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 173580 2468 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 4255 3881 205 16 0 3696 0 Current children cumulated CPU time (s) 1760.48 Current children cumulated vsize (Kb) 17020 [startup+1771.02 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29806 /proc/meminfo: memFree=1643328/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=17020 CPUtime=1770.48 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 174560 2488 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 4255 3881 205 16 0 3696 0 Current children cumulated CPU time (s) 1770.48 Current children cumulated vsize (Kb) 17020 [startup+1781.03 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29806 /proc/meminfo: memFree=1643328/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=17020 CPUtime=1780.49 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 175549 2500 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 4255 3881 205 16 0 3696 0 Current children cumulated CPU time (s) 1780.49 Current children cumulated vsize (Kb) 17020 [startup+1782.04 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29806 /proc/meminfo: memFree=1643328/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=17020 CPUtime=1781.49 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 175648 2501 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 4255 3881 205 16 0 3696 0 Current children cumulated CPU time (s) 1781.49 Current children cumulated vsize (Kb) 17020 [startup+1783.04 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29806 /proc/meminfo: memFree=1643328/2055920 swapFree=4182268/4192956 [pid=29611] ppid=29609 vsize=17020 CPUtime=1782.49 /proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 175747 2502 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29611/statm: 4255 3881 205 16 0 3696 0 Current children cumulated CPU time (s) 1782.49 Current children cumulated vsize (Kb) 17020 Child status: 10 Real time (s): 1783.27 CPU time (s): 1782.74 CPU user time (s): 1757.7 CPU system time (s): 25.0332 CPU usage (%): 99.9699 Max. virtual memory (cumulated for all children) (Kb): 17020
Begin job on node72 on Sat Jun 3 14:36:18 UTC 2006 FILE ID= 36526-1149345378 PBS_JOBID= 310639 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= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node72/36526-1149345378/instance-36526-1149345378.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-36526-1149345378 -o ROOT/results/node72/solver-36526-1149345378 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node72/36526-1149345378/instance-36526-1149345378.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= 51e821dd343df6d9e97b4cdfcd83ec3f RANDOM SEED= 908556951 /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.227 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.227 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: 1658568 kB Buffers: 29240 kB Cached: 295040 kB SwapCached: 2460 kB Active: 49840 kB Inactive: 283220 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1658568 kB SwapTotal: 4192956 kB SwapFree: 4182268 kB Dirty: 180 kB Writeback: 0 kB Mapped: 15632 kB Slab: 50364 kB Committed_AS: 309660 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node72 on Sat Jun 3 15:06:02 UTC 2006