Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | SAT | 1621 | 1782.74 | 1783.34 |
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.03 c starting to Solve 0.03 c #variables read: 1996 - #constraints read: 135 83.47 o 36450 83.51 o 36330 83.52 o 36270 83.52 o 36256 83.52 o 36252 83.65 o 36150 83.66 o 36090 83.66 o 36060 83.66 o 36053 83.66 o 36049 83.66 o 36047 83.66 o 36046 83.67 o 36039 83.67 o 36035 83.67 o 36033 83.67 o 36031 83.67 o 36029 84.14 o 34136 84.14 o 33174 84.14 o 32693 84.14 o 32453 84.14 o 32333 84.14 o 32273 84.15 o 32266 84.15 o 32262 84.15 o 32260 84.15 o 32259 84.16 o 32252 84.16 o 32248 84.16 o 32246 84.16 o 32244 84.17 o 32242 85.14 o 30409 85.14 o 29447 85.14 o 28966 85.14 o 28726 85.14 o 28606 85.15 o 28546 85.15 o 28516 85.15 o 28501 85.15 o 28493 85.15 o 28489 85.16 o 28487 85.16 o 28486 85.16 o 28482 85.17 o 28478 85.17 o 28476 85.18 o 28475 85.18 o 28474 85.18 o 28473 85.19 o 28472 85.19 o 28471 85.20 o 28469 85.20 o 28468 85.21 o 28464 85.21 o 28462 85.21 o 28461 85.21 o 28460 85.21 o 28459 85.22 o 28458 85.23 o 28457 85.23 o 28456 85.23 o 28455 85.24 o 28427 85.24 o 28426 85.24 o 28420 85.25 o 28416 85.25 o 28415 85.25 o 28414 85.25 o 28413 85.25 o 28412 85.26 o 28409 85.26 o 28408 85.27 o 28406 85.27 o 28402 85.27 o 28401 85.27 o 28400 85.27 o 28399 85.28 o 28398 85.29 o 28397 85.30 o 28396 85.30 o 28395 86.91 o 26655 86.92 o 25693 86.92 o 25212 86.92 o 24972 86.93 o 24852 86.93 o 24792 86.94 o 24786 86.95 o 24784 86.95 o 24783 86.96 o 24782 86.96 o 24781 86.97 o 24780 86.97 o 24732 86.97 o 24729 86.98 o 24726 86.99 o 24724 87.00 o 24723 87.00 o 24721 87.01 o 24720 87.01 o 24702 87.01 o 24700 87.01 o 24699 87.02 o 24694 87.02 o 24693 87.03 o 24692 87.03 o 24691 87.04 o 24690 87.04 o 24658 87.09 o 24650 87.10 o 24649 87.11 o 24648 87.11 o 24647 87.12 o 24646 87.12 o 24620 87.14 o 24619 87.15 o 24618 87.15 o 24617 87.16 o 24616 87.17 o 24613 87.18 o 24611 87.19 o 24609 87.19 o 24608 87.20 o 24607 87.21 o 24605 87.22 o 24604 87.24 o 24602 87.25 o 24601 87.26 o 24600 87.27 o 24599 89.95 o 23022 89.96 o 22060 89.96 o 21579 89.96 o 21339 89.97 o 21219 89.97 o 21159 89.98 o 21129 89.98 o 21114 89.99 o 21110 89.99 o 21108 90.00 o 21107 90.02 o 21106 90.02 o 21104 90.03 o 21103 90.04 o 21102 90.04 o 21101 90.05 o 20990 90.07 o 20900 90.08 o 20898 90.08 o 20897 90.09 o 20896 90.10 o 20894 90.11 o 20893 90.11 o 20892 90.12 o 20891 90.15 o 20890 90.16 o 20870 90.17 o 20868 90.18 o 20867 90.18 o 20866 90.19 o 20864 90.20 o 20863 90.21 o 20862 90.21 o 20861 90.22 o 20860 90.23 o 20857 90.24 o 20856 90.25 o 20853 90.26 o 20852 90.27 o 20851 90.28 o 20850 90.29 o 20849 90.30 o 20848 90.31 o 20847 90.34 o 20846 90.35 o 20845 90.36 o 20844 90.37 o 20843 90.38 o 20842 90.39 o 20841 90.41 o 20840 90.43 o 20839 90.45 o 20838 90.48 o 20837 90.49 o 20836 90.49 o 20835 90.50 o 20833 90.51 o 20832 90.52 o 20831 90.53 o 20829 90.57 o 20826 90.58 o 20825 90.58 o 20824 90.61 o 20823 90.63 o 20822 90.66 o 20821 90.67 o 20820 90.68 o 20810 90.68 o 20808 90.68 o 20807 90.68 o 20806 90.68 o 20804 90.69 o 20803 90.69 o 20801 90.70 o 20800 90.71 o 20796 90.71 o 20794 90.71 o 20793 90.72 o 20792 90.72 o 20790 90.74 o 20789 90.74 o 20788 90.74 o 20787 90.76 o 20786 90.77 o 20785 90.78 o 20783 90.79 o 20782 90.86 o 20781 90.86 o 20778 90.86 o 20776 90.86 o 20774 90.86 o 20773 90.88 o 20772 90.89 o 20771 90.90 o 20770 90.91 o 20769 90.98 o 20768 90.98 o 20767 90.98 o 20766 90.98 o 20765 90.98 o 20764 91.00 o 20763 91.02 o 20762 91.04 o 20761 91.06 o 20760 139.73 o 19273 139.74 o 18313 139.75 o 17832 139.76 o 17592 139.76 o 17472 139.77 o 17412 139.78 o 17382 139.78 o 17367 139.80 o 17363 139.80 o 17361 139.81 o 17360 139.83 o 17352 139.83 o 17292 139.84 o 17262 139.85 o 17217 139.86 o 17187 139.87 o 17180 139.88 o 17150 139.91 o 17142 139.92 o 17138 139.93 o 17136 139.94 o 17135 139.97 o 17134 139.98 o 17132 139.99 o 17131 140.01 o 17130 140.02 o 17129 140.03 o 17128 140.05 o 17127 140.06 o 17126 140.08 o 17125 140.09 o 17124 140.10 o 17123 140.11 o 17122 140.13 o 17121 140.13 o 17112 140.14 o 17105 140.15 o 17101 140.15 o 17099 140.15 o 17090 140.16 o 17086 140.16 o 17084 140.16 o 17075 140.16 o 17071 140.17 o 17069 140.18 o 17068 140.20 o 17067 140.21 o 17065 140.23 o 17064 140.24 o 17063 140.25 o 17062 140.27 o 17061 140.28 o 17059 140.28 o 17057 140.28 o 17056 140.29 o 17054 140.29 o 17044 140.29 o 17042 140.30 o 17041 140.30 o 17039 140.31 o 17026 140.31 o 17022 140.32 o 17020 140.33 o 17019 140.35 o 17018 140.36 o 17017 140.40 o 17014 140.42 o 17013 140.44 o 17012 140.47 o 17011 140.48 o 17010 140.50 o 17009 140.50 o 17007 140.51 o 17006 140.53 o 17005 140.55 o 17004 140.56 o 17002 140.56 o 17001 140.56 o 16999 140.57 o 16998 140.58 o 16997 140.60 o 16996 140.62 o 16995 140.63 o 16994 140.64 o 16993 140.65 o 16992 140.70 o 16991 140.71 o 16990 140.77 o 16989 140.80 o 16988 140.83 o 16987 140.87 o 16986 140.92 o 16985 140.95 o 16984 141.01 o 16983 339.93 o 1904 480.51 o 1795 480.55 o 1793 480.59 o 1792 480.85 o 1791 480.95 o 1790 480.99 o 1789 481.00 o 1787 481.04 o 1786 481.08 o 1785 481.09 o 1782 481.10 o 1780 481.20 o 1778 481.26 o 1777 481.29 o 1775 481.29 o 1774 481.29 o 1772 481.34 o 1771 481.50 o 1765 481.56 o 1764 481.62 o 1762 481.72 o 1760 481.73 o 1759 481.74 o 1757 481.75 o 1755 481.76 o 1754 481.78 o 1753 483.08 o 1748 483.08 o 1747 483.08 o 1745 483.09 o 1742 483.21 o 1741 483.27 o 1735 483.28 o 1728 483.29 o 1725 483.30 o 1723 483.32 o 1722 483.36 o 1720 483.43 o 1699 483.43 o 1691 483.43 o 1684 483.43 o 1682 483.45 o 1681 483.46 o 1679 483.47 o 1676 483.49 o 1675 483.49 o 1670 483.50 o 1668 483.54 o 1667 483.57 o 1665 483.57 o 1663 483.58 o 1661 483.58 o 1660 483.58 o 1658 483.59 o 1650 483.59 o 1649 483.61 o 1647 483.64 o 1646 483.71 o 1645 483.85 o 1643 483.94 o 1642 483.94 o 1639 483.94 o 1637 483.95 o 1631 483.95 o 1629 483.96 o 1628 483.96 o 1626 483.97 o 1624 484.01 o 1622 660.12 o 1621 1783.33 c total time : 1783 s 1783.33 s SATISFIABLE 1783.33 v -x1160 -x1167 -x1168 -x1169 -x1170 x1171 -x1172 -x1173 -x1174 -x1161 -x1162 -x1163 x1164 -x1165 -x1166 -x1811 -x1812 -x1813 1783.33 v -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1885 -x1886 -x1887 -x1888 x1889 -x1890 1783.33 v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 1783.33 v -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 1783.33 v -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 1783.33 v -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 x1957 -x1958 1783.33 v -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 1783.33 v -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 1783.33 v -x1993 -x1994 -x1995 -x1996 x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 1783.33 v -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 x1845 x1846 x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 1783.33 v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 1783.33 v -x1873 -x1874 -x1875 -x1876 x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1625 -x1626 -x1627 -x1628 -x1629 1783.33 v -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1699 -x1700 x1701 x1702 -x1703 x1704 -x1705 x1706 x1707 1783.33 v -x1708 -x1709 -x1710 -x1711 -x1712 x1713 x1714 -x1715 x1716 -x1717 x1718 -x1719 -x1720 x1721 -x1722 -x1723 -x1724 -x1725 1783.33 v -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 1783.33 v -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 x1757 -x1758 -x1759 -x1760 1783.33 v -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 x1769 -x1770 -x1771 x1772 -x1773 x1774 x1775 -x1776 -x1777 -x1778 1783.33 v -x1779 -x1780 -x1781 -x1782 -x1783 x1784 -x1785 x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 1783.33 v -x1797 -x1798 -x1799 x1800 x1801 x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1639 -x1640 -x1641 -x1642 1783.33 v -x1643 -x1644 -x1645 x1646 -x1647 -x1648 x1649 x1650 -x1651 x1652 -x1653 -x1654 x1655 -x1656 -x1657 -x1658 -x1659 -x1660 1783.33 v x1661 x1662 -x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 x1670 x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 1783.33 v -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 x1686 x1687 -x1688 -x1689 -x1690 -x1691 -x1692 x1693 -x1694 x1695 x1696 1783.33 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.33 v -x26 -x27 -x28 -x29 -x30 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 1783.33 v -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 1783.33 v -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 1783.33 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.33 v -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 1783.33 v -x435 -x436 x437 x438 -x439 x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 1783.33 v -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 1783.33 v -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 1783.33 v -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 x517 x518 1783.33 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.33 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.33 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.33 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.33 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.33 v x104 x105 x106 x107 -x108 x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1783.33 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1783.33 v -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 x165 x166 x167 -x168 1783.33 v x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1783.33 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1783.33 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.33 v -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 x247 x248 x249 x250 x251 x252 x253 x254 -x255 1783.33 v x256 -x257 x258 x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 1783.33 v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 1783.33 v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 1783.33 v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 1783.33 v -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 1783.33 v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 1783.33 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.33 v x945 x946 x947 -x948 x949 -x950 -x951 x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 1783.33 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 1783.33 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1783.33 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 1783.33 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1783.33 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 1783.33 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 1783.33 v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 1783.33 v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 1783.33 v -x1110 -x1111 -x1112 x1113 -x1114 x1115 x1116 -x1117 x1118 x1119 x1120 x1121 -x1122 -x1123 x1124 x1125 x1126 -x1127 -x1128 1783.33 v -x1129 -x1130 x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x601 -x602 -x603 -x604 -x605 -x606 1783.33 v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 1783.33 v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 1783.33 v -x649 -x650 x651 x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 x663 -x664 x665 x666 -x667 -x668 -x669 -x670 1783.33 v -x671 x672 -x673 x674 -x675 x676 x677 x678 x679 x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1783.33 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1783.33 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.33 v x738 x739 x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 1783.33 v -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 x771 -x772 -x773 x774 -x775 -x776 -x777 -x778 -x779 1783.33 v -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 1783.33 v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 1783.33 v -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 1783.33 v -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 1783.33 v -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 1783.33 v -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x1141 x1152 x1155 x1143 x1144 1783.33 v x1145 -x1146 -x1147 -x1148 x1149 x1150 x1151 x1153 x1154 x1156 x1157 -x1158 -x1159 x1142 -x1175 -x1176 -x1177 -x1178 -x1179 1783.33 v -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 1783.33 v -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 1783.33 v -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 1783.33 v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 1783.33 v -x1248 -x1249 -x1250 -x1251 -x1252 x1253 x1254 x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 x1265 1783.33 v x1266 x1267 x1268 x1269 x1270 x1271 x1272 x1273 x1274 x1275 x1276 x1277 x1278 x1279 x1280 x1281 x1282 x1283 x1284 -x1285 1783.33 v -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 1783.33 v -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 1783.33 v -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 1783.33 v -x1337 -x1338 -x1339 x1340 -x1341 x1342 x1343 x1344 -x1345 -x1346 -x1347 x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 1783.33 v x1355 x1356 x1357 -x1358 x1359 x1360 x1361 x1362 -x1363 x1364 -x1365 x1366 x1367 -x1368 -x1369 x1370 x1371 -x1372 x1373 1783.33 v x1374 -x1375 -x1376 x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 1783.33 v -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 x1406 -x1407 x1408 -x1409 1783.33 v -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 1783.33 v -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 x1435 x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 1783.33 v x1445 x1446 x1447 x1448 x1449 -x1450 x1451 x1452 x1453 -x1454 x1455 x1456 x1457 -x1458 -x1459 -x1460 x1461 x1462 x1463 -x1464 1783.33 v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 1783.33 v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 x1494 -x1495 -x1496 -x1497 -x1498 1783.33 v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 x1505 x1506 x1507 x1508 x1509 x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 1783.33 v -x1517 x1518 x1519 x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 1783.33 v x1535 -x1536 x1537 x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 x1546 x1547 -x1548 -x1549 -x1550 x1551 x1552 1783.33 v x1553 -x1554 -x1555 x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 x1565 x1566 x1567 x1568 x1569 x1570 x1571 1783.33 v x1572 x1573 x1574 x1575 x1576 x1577 x1578 -x1579 x1580 -x1581 x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 1783.33 v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 x1597 x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 1783.33 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/node79/watcher-37676-1149345370 -o ROOT/results/node79/solver-37676-1149345370 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node79/37676-1149345370/instance-37676-1149345370.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.98 0.99 4/67 4301 /proc/meminfo: memFree=1756720/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=18544 CPUtime=0 /proc/4301/stat : 4301 (runsolver) R 4299 4255 4255 0 -1 4194368 14 0 0 0 0 0 0 0 19 0 1 0 200175632 18989056 278 18446744073709551615 4194304 4262084 548682069056 18446744073709551615 241049294169 0 0 4096 24578 0 0 0 17 1 0 0 /proc/4301/statm: 4636 278 242 16 0 2626 0 [startup+10.0024 s] /proc/loadavg: 0.93 0.98 0.99 2/67 4301 /proc/meminfo: memFree=1754552/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=4552 CPUtime=9.99 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 764 0 0 0 999 0 0 0 25 0 1 0 200175632 4661248 736 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528545 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 1138 736 205 16 0 578 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 4552 [startup+20.0085 s] /proc/loadavg: 0.94 0.98 0.99 2/67 4301 /proc/meminfo: memFree=1753848/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=5244 CPUtime=19.99 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 944 0 0 0 1999 0 0 0 25 0 1 0 200175632 5369856 916 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557256 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 1311 916 205 16 0 751 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 5244 [startup+30.0146 s] /proc/loadavg: 0.95 0.98 0.99 2/67 4301 /proc/meminfo: memFree=1753080/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=5880 CPUtime=29.99 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 1121 0 0 0 2999 0 0 0 25 0 1 0 200175632 6021120 1093 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134518204 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 1470 1093 205 16 0 910 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 5880 [startup+40.0206 s] /proc/loadavg: 0.95 0.98 0.99 2/67 4301 /proc/meminfo: memFree=1753016/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=6008 CPUtime=39.99 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 1141 0 0 0 3999 0 0 0 25 0 1 0 200175632 6152192 1113 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528314 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 1502 1113 205 16 0 942 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 6008 [startup+50.0267 s] /proc/loadavg: 0.96 0.98 0.99 2/67 4301 /proc/meminfo: memFree=1752952/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=6136 CPUtime=50 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 1173 0 0 0 5000 0 0 0 25 0 1 0 200175632 6283264 1145 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557897 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 1534 1145 205 16 0 974 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 6136 [startup+60.0318 s] /proc/loadavg: 0.97 0.98 0.99 2/67 4301 /proc/meminfo: memFree=1752824/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=6188 CPUtime=60 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 1205 0 0 0 6000 0 0 0 25 0 1 0 200175632 6336512 1174 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557247 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 1547 1174 205 16 0 987 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 6188 [startup+70.0379 s] /proc/loadavg: 0.97 0.98 0.99 2/67 4301 /proc/meminfo: memFree=1752760/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=6320 CPUtime=70 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 1226 0 0 0 7000 0 0 0 25 0 1 0 200175632 6471680 1195 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557740 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 1580 1195 205 16 0 1020 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 6320 [startup+80.044 s] /proc/loadavg: 0.98 0.98 0.99 2/67 4301 /proc/meminfo: memFree=1752248/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=6836 CPUtime=80.01 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 1346 0 0 0 8000 1 0 0 25 0 1 0 200175632 7000064 1315 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 1709 1315 205 16 0 1149 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 6836 [startup+90.0501 s] /proc/loadavg: 0.98 0.98 0.99 2/67 4301 /proc/meminfo: memFree=1746744/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=12372 CPUtime=90.01 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 2723 0 0 0 8998 3 0 0 25 0 1 0 200175632 12668928 2692 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 3093 2692 205 16 0 2533 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 12372 [startup+100.056 s] /proc/loadavg: 0.98 0.98 0.99 2/67 4301 /proc/meminfo: memFree=1746488/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=12532 CPUtime=100.01 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 2784 0 0 0 9989 12 0 0 25 0 1 0 200175632 12832768 2753 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 3133 2753 205 16 0 2573 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 12532 [startup+110.062 s] /proc/loadavg: 0.98 0.98 0.99 2/67 4301 /proc/meminfo: memFree=1746360/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=12644 CPUtime=110.02 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 2817 0 0 0 10977 25 0 0 25 0 1 0 200175632 12947456 2782 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 3161 2782 205 16 0 2601 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 12644 [startup+120.067 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4301 /proc/meminfo: memFree=1746360/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=12644 CPUtime=120.02 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 2817 0 0 0 11967 35 0 0 25 0 1 0 200175632 12947456 2782 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 3161 2782 205 16 0 2601 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 12644 [startup+130.073 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4301 /proc/meminfo: memFree=1746360/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=12644 CPUtime=130.02 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 2817 0 0 0 12957 45 0 0 25 0 1 0 200175632 12947456 2782 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 3161 2782 205 16 0 2601 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 12644 [startup+140.079 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4301 /proc/meminfo: memFree=1744120/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=15020 CPUtime=140.03 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 3392 0 0 0 13950 53 0 0 25 0 1 0 200175632 15380480 3357 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527981 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 3755 3357 205 16 0 3195 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 15020 [startup+150.086 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4301 /proc/meminfo: memFree=1743800/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=15108 CPUtime=150.03 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 3462 0 0 0 14937 66 0 0 25 0 1 0 200175632 15470592 3403 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527993 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 3777 3403 205 16 0 3217 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 15108 [startup+160.092 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4301 /proc/meminfo: memFree=1743800/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=15108 CPUtime=160.03 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 3462 0 0 0 15933 70 0 0 25 0 1 0 200175632 15470592 3403 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 3777 3403 205 16 0 3217 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 15108 [startup+170.098 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4301 /proc/meminfo: memFree=1743736/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=15332 CPUtime=170.04 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 3496 0 0 0 16921 83 0 0 25 0 1 0 200175632 15699968 3437 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 3833 3437 205 16 0 3273 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 15332 [startup+180.103 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4301 /proc/meminfo: memFree=1743736/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=15236 CPUtime=180.04 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 3496 0 0 0 17899 105 0 0 25 0 1 0 200175632 15601664 3435 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 3809 3435 205 16 0 3249 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 15236 [startup+190.109 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4301 /proc/meminfo: memFree=1743736/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=15168 CPUtime=190.04 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 3496 0 0 0 18876 128 0 0 25 0 1 0 200175632 15532032 3418 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 3792 3418 205 16 0 3232 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 15168 [startup+200.115 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4301 /proc/meminfo: memFree=1743736/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=15168 CPUtime=200.04 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 3496 0 0 0 19845 159 0 0 25 0 1 0 200175632 15532032 3418 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 3792 3418 205 16 0 3232 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 15168 [startup+210.121 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4301 /proc/meminfo: memFree=1743736/2055892 swapFree=4085416/4096564 ################ # More data... # ################ /proc/4301/statm: 4287 3913 205 16 0 3727 0 Current children cumulated CPU time (s) 1590.38 Current children cumulated vsize (Kb) 17148 [startup+1600.94 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4498 /proc/meminfo: memFree=1741368/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=17148 CPUtime=1600.38 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 4149 0 0 0 157812 2226 0 0 25 0 1 0 200175632 17559552 3913 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 4287 3913 205 16 0 3727 0 Current children cumulated CPU time (s) 1600.38 Current children cumulated vsize (Kb) 17148 [startup+1610.95 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4498 /proc/meminfo: memFree=1741368/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=17148 CPUtime=1610.39 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 4149 0 0 0 158792 2247 0 0 25 0 1 0 200175632 17559552 3913 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 4287 3913 205 16 0 3727 0 Current children cumulated CPU time (s) 1610.39 Current children cumulated vsize (Kb) 17148 [startup+1620.95 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4498 /proc/meminfo: memFree=1741368/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=17148 CPUtime=1620.4 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 4149 0 0 0 159784 2256 0 0 25 0 1 0 200175632 17559552 3913 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 4287 3913 205 16 0 3727 0 Current children cumulated CPU time (s) 1620.4 Current children cumulated vsize (Kb) 17148 [startup+1630.96 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4498 /proc/meminfo: memFree=1741432/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=17148 CPUtime=1630.4 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 4149 0 0 0 160774 2266 0 0 25 0 1 0 200175632 17559552 3913 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 4287 3913 205 16 0 3727 0 Current children cumulated CPU time (s) 1630.4 Current children cumulated vsize (Kb) 17148 [startup+1640.96 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4498 /proc/meminfo: memFree=1741432/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=17148 CPUtime=1640.4 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 4149 0 0 0 161765 2275 0 0 25 0 1 0 200175632 17559552 3913 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 4287 3913 205 16 0 3727 0 Current children cumulated CPU time (s) 1640.4 Current children cumulated vsize (Kb) 17148 [startup+1650.97 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4498 /proc/meminfo: memFree=1741368/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=17148 CPUtime=1650.4 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 4149 0 0 0 162756 2284 0 0 25 0 1 0 200175632 17559552 3913 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 4287 3913 205 16 0 3727 0 Current children cumulated CPU time (s) 1650.4 Current children cumulated vsize (Kb) 17148 [startup+1660.98 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4498 /proc/meminfo: memFree=1741368/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=17148 CPUtime=1660.4 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 4149 0 0 0 163745 2295 0 0 25 0 1 0 200175632 17559552 3913 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527742 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 4287 3913 205 16 0 3727 0 Current children cumulated CPU time (s) 1660.4 Current children cumulated vsize (Kb) 17148 [startup+1670.98 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4498 /proc/meminfo: memFree=1741368/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=17148 CPUtime=1670.4 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 4149 0 0 0 164745 2295 0 0 25 0 1 0 200175632 17559552 3913 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 4287 3913 205 16 0 3727 0 Current children cumulated CPU time (s) 1670.4 Current children cumulated vsize (Kb) 17148 [startup+1680.99 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4498 /proc/meminfo: memFree=1741368/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=17148 CPUtime=1680.41 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 4149 0 0 0 165736 2305 0 0 25 0 1 0 200175632 17559552 3913 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 4287 3913 205 16 0 3727 0 Current children cumulated CPU time (s) 1680.41 Current children cumulated vsize (Kb) 17148 [startup+1690.99 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4498 /proc/meminfo: memFree=1741368/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=17148 CPUtime=1690.41 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 4149 0 0 0 166727 2314 0 0 25 0 1 0 200175632 17559552 3913 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 4287 3913 205 16 0 3727 0 Current children cumulated CPU time (s) 1690.41 Current children cumulated vsize (Kb) 17148 [startup+1701 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4498 /proc/meminfo: memFree=1741368/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=17148 CPUtime=1700.41 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 4149 0 0 0 167713 2328 0 0 25 0 1 0 200175632 17559552 3913 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 4287 3913 205 16 0 3727 0 Current children cumulated CPU time (s) 1700.41 Current children cumulated vsize (Kb) 17148 [startup+1711 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4498 /proc/meminfo: memFree=1741368/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=17148 CPUtime=1710.42 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 4149 0 0 0 168705 2337 0 0 25 0 1 0 200175632 17559552 3913 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 4287 3913 205 16 0 3727 0 Current children cumulated CPU time (s) 1710.42 Current children cumulated vsize (Kb) 17148 [startup+1721.01 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4498 /proc/meminfo: memFree=1741368/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=17148 CPUtime=1720.42 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 4149 0 0 0 169698 2344 0 0 25 0 1 0 200175632 17559552 3913 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 4287 3913 205 16 0 3727 0 Current children cumulated CPU time (s) 1720.42 Current children cumulated vsize (Kb) 17148 [startup+1731.02 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4498 /proc/meminfo: memFree=1741304/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=17148 CPUtime=1730.42 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 4149 0 0 0 170688 2354 0 0 25 0 1 0 200175632 17559552 3913 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 4287 3913 205 16 0 3727 0 Current children cumulated CPU time (s) 1730.42 Current children cumulated vsize (Kb) 17148 [startup+1741.02 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4498 /proc/meminfo: memFree=1741304/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=17148 CPUtime=1740.43 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 4149 0 0 0 171681 2362 0 0 25 0 1 0 200175632 17559552 3913 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 4287 3913 205 16 0 3727 0 Current children cumulated CPU time (s) 1740.43 Current children cumulated vsize (Kb) 17148 [startup+1751.03 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4498 /proc/meminfo: memFree=1741304/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=17148 CPUtime=1750.43 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 4149 0 0 0 172671 2372 0 0 25 0 1 0 200175632 17559552 3913 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 4287 3913 205 16 0 3727 0 Current children cumulated CPU time (s) 1750.43 Current children cumulated vsize (Kb) 17148 [startup+1761.03 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4498 /proc/meminfo: memFree=1741304/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=17148 CPUtime=1760.44 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 4149 0 0 0 173665 2379 0 0 25 0 1 0 200175632 17559552 3913 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 4287 3913 205 16 0 3727 0 Current children cumulated CPU time (s) 1760.44 Current children cumulated vsize (Kb) 17148 [startup+1771.04 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4498 /proc/meminfo: memFree=1741112/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=17404 CPUtime=1770.43 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 4205 0 0 0 174657 2386 0 0 25 0 1 0 200175632 17821696 3969 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 4351 3969 205 16 0 3791 0 Current children cumulated CPU time (s) 1770.43 Current children cumulated vsize (Kb) 17404 [startup+1781.05 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4498 /proc/meminfo: memFree=1741176/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=17404 CPUtime=1780.44 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 4205 0 0 0 175647 2397 0 0 25 0 1 0 200175632 17821696 3969 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 4351 3969 205 16 0 3791 0 Current children cumulated CPU time (s) 1780.44 Current children cumulated vsize (Kb) 17404 [startup+1782.05 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4498 /proc/meminfo: memFree=1741176/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=17404 CPUtime=1781.44 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 4205 0 0 0 175746 2398 0 0 25 0 1 0 200175632 17821696 3969 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 4351 3969 205 16 0 3791 0 Current children cumulated CPU time (s) 1781.44 Current children cumulated vsize (Kb) 17404 [startup+1783.06 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4498 /proc/meminfo: memFree=1741176/2055892 swapFree=4085416/4096564 [pid=4301] ppid=4299 vsize=17404 CPUtime=1782.45 /proc/4301/stat : 4301 (Pueblo13) R 4299 4301 4255 0 -1 4194304 4205 0 0 0 175846 2399 0 0 25 0 1 0 200175632 17821696 3969 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4301/statm: 4351 3969 205 16 0 3791 0 Current children cumulated CPU time (s) 1782.45 Current children cumulated vsize (Kb) 17404 Child status: 10 Real time (s): 1783.34 CPU time (s): 1782.74 CPU user time (s): 1758.73 CPU system time (s): 24.0073 CPU usage (%): 99.9662 Max. virtual memory (cumulated for all children) (Kb): 17404
Begin job on node79 on Sat Jun 3 14:36:10 UTC 2006 FILE ID= 37676-1149345370 PBS_JOBID= 310638 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/Pueblo13 ROOT/tmp/node79/37676-1149345370/instance-37676-1149345370.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node79/watcher-37676-1149345370 -o ROOT/results/node79/solver-37676-1149345370 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node79/37676-1149345370/instance-37676-1149345370.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 51e821dd343df6d9e97b4cdfcd83ec3f RANDOM SEED= 972823565 /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.234 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 : 6006.18 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.234 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 : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1756928 kB Buffers: 27832 kB Cached: 209876 kB SwapCached: 2400 kB Active: 42248 kB Inactive: 204196 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1756928 kB SwapTotal: 4096564 kB SwapFree: 4085416 kB Dirty: 152 kB Writeback: 0 kB Mapped: 16668 kB Slab: 39152 kB Committed_AS: 314572 kB PageTables: 1304 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node79 on Sat Jun 3 15:05:54 UTC 2006