Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 3932 | 1800.12 | 1800.84 |
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 Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.04 c Initial problem consists of 1996 variables and 134 constraints. 0.05 c preprocess terminated. Elapsed time: 0.043 0.05 c After prepocess the problem consists of 1584 variables and 117 constraints. 0.05 c Initial Lower Bound: 0 0.66 c Restart #1 #Var: 1584 LB: 0 @ 0.662 1.67 c Restart #2 #Var: 1584 LB: 0 @ 1.662 3.05 c Restart #3 #Var: 1584 LB: 0 @ 3.039 4.86 c Restart #4 #Var: 1584 LB: 0 @ 4.852 6.72 c Sol. found (all assignments made)... 6.72 o 5217 6.72 c NEW SOLUTION FOUND: 5217 @ 6.716 6.72 c Sol. found (all assignments made)... 6.73 c Sol. found (all assignments made)... 6.73 o 5097 6.73 c NEW SOLUTION FOUND: 5097 @ 6.717 6.73 c Sol. found (all assignments made)... 6.73 o 5075 6.73 c NEW SOLUTION FOUND: 5075 @ 6.719 6.73 c Sol. found (all assignments made)... 6.73 c Sol. found (all assignments made)... 6.73 o 4955 6.73 c NEW SOLUTION FOUND: 4955 @ 6.719 6.73 c Sol. found (all assignments made)... 6.73 c Sol. found (all assignments made)... 6.73 c Sol. found (all assignments made)... 6.73 c Sol. found (all assignments made)... 6.73 o 4933 6.73 c NEW SOLUTION FOUND: 4933 @ 6.725 6.73 c Sol. found (all assignments made)... 6.73 c Sol. found (all assignments made)... 6.73 o 4813 6.73 c NEW SOLUTION FOUND: 4813 @ 6.726 6.74 c Sol. found (all assignments made)... 6.74 c Sol. found (all assignments made)... 6.74 c Sol. found (all assignments made)... 6.74 c Sol. found (all assignments made)... 6.74 c Sol. found (all assignments made)... 6.74 c Sol. found (all assignments made)... 6.74 c Sol. found (all assignments made)... 6.74 c Sol. found (all assignments made)... 6.74 c Sol. found (all assignments made)... 6.74 o 4693 6.74 c NEW SOLUTION FOUND: 4693 @ 6.736 6.75 c Sol. found (all assignments made)... 6.75 c Sol. found (all assignments made)... 6.75 c Sol. found (all assignments made)... 6.75 c Sol. found (all assignments made)... 6.75 o 4671 6.75 c NEW SOLUTION FOUND: 4671 @ 6.743 6.75 c Sol. found (all assignments made)... 6.77 c Sol. found (all assignments made)... 6.77 c Sol. found (all assignments made)... 6.77 c Sol. found (all assignments made)... 6.78 c Sol. found (all assignments made)... 6.79 c Sol. found (all assignments made)... 6.79 c Sol. found (all assignments made)... 6.80 c Sol. found (all assignments made)... 6.80 c Sol. found (all assignments made)... 6.81 c Sol. found (all assignments made)... 6.82 c Sol. found (all assignments made)... 6.82 c Sol. found (all assignments made)... 6.82 c Sol. found (all assignments made)... 6.82 c Sol. found (all assignments made)... 6.82 c Sol. found (all assignments made)... 6.83 c Sol. found (all assignments made)... 6.83 c Sol. found (all assignments made)... 6.83 c Sol. found (all assignments made)... 6.83 c Sol. found (all assignments made)... 6.83 c Sol. found (all assignments made)... 6.83 o 4654 6.83 c NEW SOLUTION FOUND: 4654 @ 6.822 6.83 c Sol. found (all assignments made)... 6.84 c Sol. found (all assignments made)... 6.84 c Sol. found (all assignments made)... 6.84 c Sol. found (all assignments made)... 6.84 c Sol. found (all assignments made)... 6.84 c Sol. found (all assignments made)... 6.84 c Sol. found (all assignments made)... 6.84 c Sol. found (all assignments made)... 6.84 o 4632 6.84 c NEW SOLUTION FOUND: 4632 @ 6.833 6.85 c Sol. found (all assignments made)... 6.85 c Sol. found (all assignments made)... 6.85 c Sol. found (all assignments made)... 6.85 c Sol. found (all assignments made)... 6.86 c Sol. found (all assignments made)... 6.86 c Sol. found (all assignments made)... 6.86 c Sol. found (all assignments made)... 6.86 c Sol. found (all assignments made)... 6.87 c Sol. found (all assignments made)... 6.87 c Sol. found (all assignments made)... 6.87 c Sol. found (all assignments made)... 6.87 c Sol. found (all assignments made)... 6.87 c Sol. found (all assignments made)... 6.87 o 4610 6.87 c NEW SOLUTION FOUND: 4610 @ 6.861 6.87 c Sol. found (all assignments made)... 6.91 c Sol. found (all assignments made)... 6.91 c Sol. found (all assignments made)... 6.91 c Sol. found (all assignments made)... 6.91 c Sol. found (all assignments made)... 6.95 c Sol. found (all assignments made)... 6.95 c Sol. found (all assignments made)... 6.95 c Sol. found (all assignments made)... 6.96 c Sol. found (all assignments made)... 6.96 c Sol. found (all assignments made)... 6.96 c Sol. found (all assignments made)... 6.97 c Sol. found (all assignments made)... 6.97 c Sol. found (all assignments made)... 6.97 c Sol. found (all assignments made)... 6.97 c Sol. found (all assignments made)... 6.97 c Sol. found (all assignments made)... 7.04 c Sol. found (all assignments made)... 7.04 c Sol. found (all assignments made)... 7.04 c Sol. found (all assignments made)... 7.04 c Sol. found (all assignments made)... 7.14 c Sol. found (all assignments made)... 7.14 c Sol. found (all assignments made)... 7.15 c Sol. found (all assignments made)... 7.15 c Sol. found (all assignments made)... 7.15 c Sol. found (all assignments made)... 7.16 c Sol. found (all assignments made)... 7.16 c Sol. found (all assignments made)... 7.16 c Sol. found (all assignments made)... 7.16 c Sol. found (all assignments made)... 7.16 c Sol. found (all assignments made)... 7.16 c Sol. found (all assignments made)... 7.27 c Restart #5 #Var: 1584 LB: 0 @ 7.257 7.82 c Sol. found (all assignments made)... 7.82 o 4046 7.82 c NEW SOLUTION FOUND: 4046 @ 7.813 7.82 c Sol. found (all assignments made)... 7.82 o 3987 7.82 c NEW SOLUTION FOUND: 3987 @ 7.813 7.83 c Sol. found (all assignments made)... 7.83 c Sol. found (all assignments made)... 7.83 o 3965 7.83 c NEW SOLUTION FOUND: 3965 @ 7.815 7.83 c Sol. found (all assignments made)... 7.83 c Sol. found (all assignments made)... 7.83 o 3954 7.83 c NEW SOLUTION FOUND: 3954 @ 7.819 7.83 c Sol. found (all assignments made)... 7.83 c Sol. found (all assignments made)... 7.83 c Sol. found (all assignments made)... 7.84 c Sol. found (all assignments made)... 7.84 o 3943 7.84 c NEW SOLUTION FOUND: 3943 @ 7.825 7.84 c Sol. found (all assignments made)... 7.84 o 3932 7.84 c NEW SOLUTION FOUND: 3932 @ 7.827 7.84 c Sol. found (all assignments made)... 7.86 c Sol. found (all assignments made)... 7.87 c Sol. found (all assignments made)... 7.87 c Sol. found (all assignments made)... 7.88 c Sol. found (all assignments made)... 7.89 c Sol. found (all assignments made)... 7.89 c Sol. found (all assignments made)... 7.89 c Sol. found (all assignments made)... 7.90 c Sol. found (all assignments made)... 8.09 c Sol. found (all assignments made)... 8.09 c Sol. found (all assignments made)... 8.11 c Sol. found (all assignments made)... 8.11 c Sol. found (all assignments made)... 8.12 c Sol. found (all assignments made)... 8.13 c Sol. found (all assignments made)... 8.13 c Sol. found (all assignments made)... 8.13 c Sol. found (all assignments made)... 8.14 c Sol. found (all assignments made)... 8.14 c Sol. found (all assignments made)... 8.15 c Sol. found (all assignments made)... 8.15 c Sol. found (all assignments made)... 8.17 c Sol. found (all assignments made)... 8.17 c Sol. found (all assignments made)... 8.18 c Sol. found (all assignments made)... 8.19 c Sol. found (all assignments made)... 8.19 c Sol. found (all assignments made)... 8.20 c Sol. found (all assignments made)... 8.20 c Sol. found (all assignments made)... 8.30 c Sol. found (all assignments made)... 8.31 c Sol. found (all assignments made)... 8.31 c Sol. found (all assignments made)... 8.32 c Sol. found (all assignments made)... 8.32 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.61 c Restart #6 #Var: 1584 LB: 0 @ 8.595 9.88 c Restart #7 #Var: 1584 LB: 0 @ 9.863 17.88 c Restart #8 #Var: 1584 LB: 0 @ 17.868 19.07 c Restart #9 #Var: 1568 LB: 7 @ 19.051 43.29 c CHANGE to LPR mode... UB: 3932 MIS: 11 LPR: 655 (0.027714) Diff: 0.016794 43.29 c Restart #0 #Var: 1567 LB: 10 @ 43.257 47.50 c Restart #1 #Var: 1567 LB: 655 @ 47.47 54.32 c Restart #2 #Var: 1567 LB: 655 @ 54.282 66.59 c Restart #3 #Var: 1566 LB: 656 @ 66.553 85.96 c Restart #4 #Var: 1566 LB: 656 @ 85.909 100.12 c Restart #5 #Var: 1566 LB: 656 @ 100.06 115.84 c Restart #6 #Var: 1566 LB: 656 @ 115.78 143.31 c Restart #7 #Var: 1566 LB: 656 @ 143.24 171.93 c Restart #8 #Var: 1566 LB: 656 @ 171.85 191.97 c Restart #9 #Var: 1566 LB: 656 @ 191.89 217.71 c Restart #10 #Var: 1566 LB: 656 @ 217.62 246.54 c Restart #11 #Var: 1566 LB: 656 @ 246.44 311.51 c Restart #12 #Var: 1566 LB: 656 @ 311.38 335.74 c Restart #13 #Var: 1566 LB: 656 @ 335.61 389.22 c Restart #14 #Var: 1566 LB: 656 @ 389.07 415.73 c Restart #15 #Var: 1566 LB: 656 @ 415.56 476.01 c Restart #16 #Var: 1566 LB: 656 @ 475.83 524.45 c Restart #17 #Var: 1566 LB: 656 @ 524.25 596.57 c Restart #18 #Var: 1566 LB: 656 @ 596.34 639.61 c Restart #19 #Var: 1566 LB: 656 @ 639.37 777.01 c Restart #20 #Var: 1566 LB: 656 @ 776.72 827.01 c Restart #21 #Var: 1566 LB: 656 @ 826.7 909.28 c Restart #22 #Var: 1566 LB: 656 @ 908.95 948.63 c Restart #23 #Var: 1566 LB: 656 @ 948.28 1039.09 c Restart #24 #Var: 1566 LB: 656 @ 1038.7 1092.82 c Restart #25 #Var: 1566 LB: 656 @ 1092.4 1186.27 c Restart #26 #Var: 1566 LB: 656 @ 1185.8 1245.61 c Restart #27 #Var: 1566 LB: 656 @ 1245.2 1377.38 c Restart #28 #Var: 1566 LB: 656 @ 1376.8 1466.47 c Restart #29 #Var: 1565 LB: 656 @ 1465.9 1504.53 c Restart #30 #Var: 1565 LB: 656 @ 1503.9 1621.97 c Restart #31 #Var: 1565 LB: 656 @ 1621.3 1697.03 c Restart #32 #Var: 1565 LB: 656 @ 1696.4 1800.78 s SATISFIABLE 1800.78 c Cost: 3932 1800.78 v -x1160 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1811 -x1812 1800.78 v x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1885 -x1886 x1887 x1888 -x1889 -x1890 1800.78 v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 1800.78 v -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 1800.78 v -x1925 -x1926 -x1927 -x1928 x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 1800.78 v -x1942 x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 x1957 -x1958 -x1959 1800.78 v -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 x1972 -x1973 -x1974 -x1975 -x1976 1800.78 v -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 1800.78 v -x1994 -x1995 -x1996 x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 1800.78 v x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 1800.78 v -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 1800.78 v -x1874 x1875 x1876 x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 1800.78 v -x1632 x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 1800.78 v -x1709 x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 x1721 -x1722 -x1723 -x1724 -x1725 -x1726 1800.78 v -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 1800.78 v -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 1800.78 v -x1761 -x1762 x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 x1777 -x1778 1800.78 v -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 x1791 -x1792 -x1793 -x1794 -x1795 1800.78 v -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 x1804 x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1639 -x1640 -x1641 1800.78 v -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 x1657 -x1658 1800.78 v -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 1800.78 v -x1676 x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 x1688 -x1689 -x1690 -x1691 -x1692 -x1693 1800.78 v -x1694 -x1695 -x1696 -x1697 x1698 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 x17 x18 x19 x20 -x21 -x22 1800.78 v -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 1800.78 v -x345 -x346 -x347 -x348 x349 x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 1800.78 v -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x379 x380 x381 -x382 -x383 -x384 -x385 -x386 1800.78 v -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 1800.78 v -x408 x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 1800.78 v -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 x438 x439 x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 1800.78 v -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 x470 -x471 1800.78 v -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 1800.78 v -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 1800.78 v -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 x529 x530 x531 -x532 -x533 -x534 1800.78 v -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 1800.78 v -x556 -x557 -x558 -x559 x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x31 -x32 -x33 -x34 -x35 -x36 -x37 1800.78 v -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 1800.78 v -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 1800.78 v -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 x110 x111 -x112 1800.78 v -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 1800.78 v -x134 -x135 -x136 -x137 -x138 x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 1800.78 v -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 x169 -x170 x171 -x172 -x173 -x174 -x175 1800.78 v -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 1800.78 v -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 1800.78 v -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 1800.78 v -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 x259 1800.78 v x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 1800.78 v -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 1800.78 v -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 1800.78 v -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 1800.78 v -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x901 -x902 -x903 -x904 1800.78 v -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 x922 -x923 -x924 -x925 1800.78 v -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 1800.78 v -x947 -x948 -x949 -x950 -x951 x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 1800.78 v -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 1800.78 v -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 1800.78 v -x1008 -x1009 -x1010 -x1011 x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 1800.78 v -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 1800.78 v x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 1800.78 v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 1800.78 v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 1800.78 v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 1800.78 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 1800.78 v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x601 -x602 -x603 -x604 1800.78 v -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 1800.78 v -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 1800.78 v -x647 -x648 -x649 -x650 -x651 x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 1800.78 v -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 x682 -x683 -x684 -x685 -x686 -x687 -x688 1800.78 v -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 1800.78 v -x710 -x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 1800.78 v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 x740 x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 1800.78 v -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 x770 x771 -x772 1800.78 v -x773 x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 1800.78 v -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 1800.78 v -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x830 -x831 -x832 -x833 -x834 -x835 1800.78 v -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 1800.78 v -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 1800.78 v -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 1800.78 v -x899 -x900 x1141 x1152 x1155 x1143 x1144 -x1145 -x1146 -x1147 -x1148 x1149 x1150 x1151 x1153 x1154 x1156 x1157 x1158 -x1159 1800.78 v x1142 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 1800.78 v -x1191 -x1192 -x1193 x1194 -x1195 x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 1800.78 v -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 1800.78 v -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 1800.78 v -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 x1254 x1255 -x1256 x1257 -x1258 -x1259 -x1260 1800.78 v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 1800.78 v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 x1284 x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 1800.78 v -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 1800.78 v x1313 x1314 x1315 x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 1800.78 v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 x1344 x1345 -x1346 -x1347 x1348 1800.78 v -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 1800.78 v -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 x1373 x1374 x1375 x1376 x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 1800.78 v -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 1800.78 v -x1401 -x1402 -x1403 x1404 x1405 x1406 x1407 x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 1800.78 v -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 x1434 x1435 -x1436 1800.78 v x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 1800.78 v -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 x1464 -x1465 x1466 -x1467 -x1468 -x1469 -x1470 -x1471 1800.78 v -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 x1487 x1488 -x1489 1800.78 v -x1490 -x1491 -x1492 -x1493 x1494 x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 1800.78 v -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 x1517 x1518 -x1519 -x1520 -x1521 -x1522 -x1523 x1524 x1525 1800.78 v -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 1800.78 v -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 x1554 -x1555 x1556 -x1557 -x1558 -x1559 -x1560 1800.78 v -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 1800.78 v -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 x1584 x1585 x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 1800.78 v -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 1800.78 v x1613 x1614 x1615 x1616 x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 1800.78 c Exit Code: 10 1800.78 c Total time: 1800.1 s
OK 3932
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/node88/watcher-39976-1149345532 -o ROOT/results/node88/solver-39976-1149345532 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node88/39976-1149345532/instance-39976-1149345532.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.99 3/68 4892 /proc/meminfo: memFree=1657528/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=4936 CPUtime=0 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 362 0 0 0 0 0 0 0 19 0 1 0 200192333 5054464 327 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 1234 327 223 55 0 125 0 [startup+10.0024 s] /proc/loadavg: 0.93 0.97 0.99 2/68 4892 /proc/meminfo: memFree=1645176/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=16836 CPUtime=9.98 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 3460 0 0 0 992 6 0 0 25 0 1 0 200192333 17240064 3374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 4209 3374 294 55 0 3100 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 16836 [startup+20.0084 s] /proc/loadavg: 0.94 0.97 0.99 2/68 4892 /proc/meminfo: memFree=1640504/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=21460 CPUtime=19.98 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 4623 0 0 0 1989 9 0 0 25 0 1 0 200192333 21975040 4537 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 5365 4537 294 55 0 4256 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 21460 [startup+30.0144 s] /proc/loadavg: 0.95 0.97 0.99 2/68 4892 /proc/meminfo: memFree=1640504/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=21460 CPUtime=29.98 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 4623 0 0 0 2987 11 0 0 25 0 1 0 200192333 21975040 4537 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 5365 4537 294 55 0 4256 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 21460 [startup+40.0204 s] /proc/loadavg: 0.95 0.97 0.99 2/68 4892 /proc/meminfo: memFree=1638648/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=23440 CPUtime=39.98 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 5091 0 0 0 3984 14 0 0 25 0 1 0 200192333 24002560 5005 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 5860 5005 294 55 0 4751 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 23440 [startup+50.0264 s] /proc/loadavg: 0.96 0.97 0.99 2/68 4892 /proc/meminfo: memFree=1631224/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=29628 CPUtime=49.98 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 34016 0 2 0 4973 25 0 0 25 0 1 0 200192333 30339072 6707 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684735 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 7407 6707 424 55 0 6298 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 29628 [startup+60.0324 s] /proc/loadavg: 0.97 0.97 0.99 2/68 4892 /proc/meminfo: memFree=1631352/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=29628 CPUtime=59.98 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 34018 0 2 0 5972 26 0 0 25 0 1 0 200192333 30339072 6709 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158521058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 7407 6709 426 55 0 6298 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 29628 [startup+70.0384 s] /proc/loadavg: 0.97 0.97 0.99 2/68 4892 /proc/meminfo: memFree=1631352/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=29628 CPUtime=69.98 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 34018 0 2 0 6971 27 0 0 25 0 1 0 200192333 30339072 6709 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 7407 6709 426 55 0 6298 0 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 29628 [startup+80.0445 s] /proc/loadavg: 0.98 0.97 0.99 2/68 4892 /proc/meminfo: memFree=1631416/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=29628 CPUtime=79.99 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 34018 0 2 0 7971 28 0 0 25 0 1 0 200192333 30339072 6709 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158629589 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 7407 6709 426 55 0 6298 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 29628 [startup+90.0505 s] /proc/loadavg: 0.98 0.97 0.99 2/68 4892 /proc/meminfo: memFree=1629624/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=31548 CPUtime=89.99 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 45909 0 2 0 8965 34 0 0 25 0 1 0 200192333 32305152 7177 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 7887 7177 426 55 0 6778 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 31548 [startup+100.056 s] /proc/loadavg: 0.98 0.97 0.99 2/68 4892 /proc/meminfo: memFree=1628728/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=32252 CPUtime=99.99 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 63173 0 2 0 9956 43 0 0 25 0 1 0 200192333 33026048 7366 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 8063 7366 426 55 0 6954 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 32252 [startup+110.062 s] /proc/loadavg: 0.98 0.97 0.99 2/68 4892 /proc/meminfo: memFree=1626616/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=34488 CPUtime=110 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 80107 0 2 0 10946 54 0 0 25 0 1 0 200192333 35315712 7913 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9975851 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 8622 7913 426 55 0 7513 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 34488 [startup+120.068 s] /proc/loadavg: 0.99 0.97 0.99 2/68 4892 /proc/meminfo: memFree=1624120/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=36952 CPUtime=120 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 105560 0 2 0 11932 68 0 0 25 0 1 0 200192333 37838848 8541 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 9238 8541 426 55 0 8129 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 36952 [startup+130.074 s] /proc/loadavg: 0.99 0.97 0.99 2/68 4892 /proc/meminfo: memFree=1623672/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=37380 CPUtime=130 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 111513 0 2 0 12927 73 0 0 25 0 1 0 200192333 38277120 8648 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160205568 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 9345 8648 426 55 0 8236 0 Current children cumulated CPU time (s) 130 Current children cumulated vsize (Kb) 37380 [startup+140.08 s] /proc/loadavg: 0.99 0.97 0.99 2/68 4892 /proc/meminfo: memFree=1623736/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=37308 CPUtime=140 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 111832 0 2 0 13926 74 0 0 25 0 1 0 200192333 38203392 8630 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 9327 8630 426 55 0 8218 0 Current children cumulated CPU time (s) 140 Current children cumulated vsize (Kb) 37308 [startup+150.086 s] /proc/loadavg: 0.99 0.97 0.99 2/68 4892 /proc/meminfo: memFree=1623736/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=37448 CPUtime=150 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 119188 0 2 0 14921 79 0 0 25 0 1 0 200192333 38346752 8654 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 9362 8654 426 55 0 8253 0 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 37448 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.99 2/68 4892 /proc/meminfo: memFree=1620536/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=40732 CPUtime=160.01 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 156741 0 2 0 15906 95 0 0 25 0 1 0 200192333 41709568 9472 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 10183 9472 426 55 0 9074 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 40732 [startup+170.099 s] /proc/loadavg: 0.99 0.97 0.99 2/68 4892 /proc/meminfo: memFree=1615736/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=45608 CPUtime=170.01 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 194897 0 2 0 16888 113 0 0 25 0 1 0 200192333 46702592 10662 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 11402 10662 426 55 0 10293 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 45608 [startup+180.105 s] /proc/loadavg: 0.99 0.97 0.99 2/68 4892 /proc/meminfo: memFree=1614456/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=46548 CPUtime=180.02 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 232680 0 2 0 17872 130 0 0 25 0 1 0 200192333 47665152 10941 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134683236 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 11637 10941 426 55 0 10528 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 46548 [startup+190.111 s] /proc/loadavg: 0.99 0.97 0.99 2/68 4892 /proc/meminfo: memFree=1613176/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=47760 CPUtime=190.02 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 263572 0 2 0 18858 144 0 0 25 0 1 0 200192333 48906240 11247 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 11940 11247 426 55 0 10831 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 47760 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.99 2/68 4892 /proc/meminfo: memFree=1613176/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=47760 CPUtime=200.02 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 264233 0 2 0 19857 145 0 0 25 0 1 0 200192333 48906240 11247 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 11940 11247 426 55 0 10831 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 47760 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.99 2/68 4892 /proc/meminfo: memFree=1609336/2055888 swapFree=4085336/4096564 ################ # More data... # ################ /proc/4892/statm: 84066 80880 426 55 0 82957 0 Current children cumulated CPU time (s) 1760.37 Current children cumulated vsize (Kb) 336264 [startup+1771.08 s] /proc/loadavg: 0.99 0.97 0.99 2/68 5089 /proc/meminfo: memFree=1332728/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=337464 CPUtime=1770.38 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 3549029 0 2 0 175281 1757 0 0 25 0 1 0 200192333 345563136 81131 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497284 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 84366 81131 426 55 0 83257 0 Current children cumulated CPU time (s) 1770.38 Current children cumulated vsize (Kb) 337464 [startup+1781.09 s] /proc/loadavg: 0.99 0.97 0.99 2/68 5089 /proc/meminfo: memFree=1332216/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=338132 CPUtime=1780.38 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 3575301 0 2 0 176269 1769 0 0 25 0 1 0 200192333 346247168 81282 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159213619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 84533 81282 426 55 0 83424 0 Current children cumulated CPU time (s) 1780.38 Current children cumulated vsize (Kb) 338132 [startup+1782.09 s] /proc/loadavg: 0.99 0.97 0.99 2/68 5089 /proc/meminfo: memFree=1332024/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=337724 CPUtime=1781.38 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 3577623 0 2 0 176368 1770 0 0 25 0 1 0 200192333 345829376 81258 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534790 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 84431 81258 426 55 0 83322 0 Current children cumulated CPU time (s) 1781.38 Current children cumulated vsize (Kb) 337724 [startup+1783.1 s] /proc/loadavg: 0.99 0.97 0.99 2/68 5089 /proc/meminfo: memFree=1332024/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=337724 CPUtime=1782.38 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 3579743 0 2 0 176467 1771 0 0 25 0 1 0 200192333 345829376 81260 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 84431 81260 426 55 0 83322 0 Current children cumulated CPU time (s) 1782.38 Current children cumulated vsize (Kb) 337724 [startup+1784.1 s] /proc/loadavg: 0.99 0.97 0.99 2/68 5089 /proc/meminfo: memFree=1332024/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=337724 CPUtime=1783.39 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 3582314 0 2 0 176567 1772 0 0 25 0 1 0 200192333 345829376 81260 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535944 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 84431 81260 426 55 0 83322 0 Current children cumulated CPU time (s) 1783.39 Current children cumulated vsize (Kb) 337724 [startup+1785.11 s] /proc/loadavg: 0.99 0.97 0.99 2/68 5089 /proc/meminfo: memFree=1331896/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=338100 CPUtime=1784.39 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 3585314 0 2 0 176666 1773 0 0 25 0 1 0 200192333 346214400 81289 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159985209 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 84525 81289 426 55 0 83416 0 Current children cumulated CPU time (s) 1784.39 Current children cumulated vsize (Kb) 338100 [startup+1786.11 s] /proc/loadavg: 0.99 0.97 0.99 2/68 5089 /proc/meminfo: memFree=1332024/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=338052 CPUtime=1785.4 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 3588899 0 2 0 176765 1775 0 0 25 0 1 0 200192333 346165248 81304 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160200468 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 84513 81304 426 55 0 83404 0 Current children cumulated CPU time (s) 1785.4 Current children cumulated vsize (Kb) 338052 [startup+1787.12 s] /proc/loadavg: 0.99 0.97 0.99 2/68 5089 /proc/meminfo: memFree=1331960/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=337808 CPUtime=1786.4 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 3592975 0 2 0 176864 1776 0 0 25 0 1 0 200192333 345915392 81282 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134643822 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 84452 81282 426 55 0 83343 0 Current children cumulated CPU time (s) 1786.4 Current children cumulated vsize (Kb) 337808 [startup+1788.12 s] /proc/loadavg: 0.99 0.97 0.99 2/68 5089 /proc/meminfo: memFree=1331768/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=337844 CPUtime=1787.4 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 3597245 0 2 0 176963 1777 0 0 25 0 1 0 200192333 345952256 81291 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 84461 81291 426 55 0 83352 0 Current children cumulated CPU time (s) 1787.4 Current children cumulated vsize (Kb) 337844 [startup+1789.13 s] /proc/loadavg: 0.99 0.97 0.99 2/68 5089 /proc/meminfo: memFree=1331896/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=338272 CPUtime=1788.42 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 3601415 0 2 0 177062 1780 0 0 25 0 1 0 200192333 346390528 81337 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520358 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 84568 81337 426 55 0 83459 0 Current children cumulated CPU time (s) 1788.42 Current children cumulated vsize (Kb) 338272 [startup+1790.13 s] /proc/loadavg: 0.99 0.97 0.99 2/68 5089 /proc/meminfo: memFree=1331768/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=338332 CPUtime=1789.42 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 3604740 0 2 0 177161 1781 0 0 25 0 1 0 200192333 346451968 81351 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520355 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 84583 81351 426 55 0 83474 0 Current children cumulated CPU time (s) 1789.42 Current children cumulated vsize (Kb) 338332 [startup+1791.14 s] /proc/loadavg: 0.99 0.97 0.99 2/68 5089 /proc/meminfo: memFree=1331704/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=338444 CPUtime=1790.43 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 3608419 0 2 0 177260 1783 0 0 25 0 1 0 200192333 346566656 81387 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159249552 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 84611 81387 426 55 0 83502 0 Current children cumulated CPU time (s) 1790.43 Current children cumulated vsize (Kb) 338444 [startup+1792.14 s] /proc/loadavg: 0.99 0.97 0.99 2/68 5089 /proc/meminfo: memFree=1331576/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=338772 CPUtime=1791.43 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 3612517 0 2 0 177359 1784 0 0 25 0 1 0 200192333 346902528 81409 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160205833 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 84693 81409 426 55 0 83584 0 Current children cumulated CPU time (s) 1791.43 Current children cumulated vsize (Kb) 338772 [startup+1793.15 s] /proc/loadavg: 0.99 0.97 0.99 2/68 5089 /proc/meminfo: memFree=1331512/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=338500 CPUtime=1792.43 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 3616008 0 2 0 177457 1786 0 0 25 0 1 0 200192333 346624000 81398 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541526 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 84625 81398 426 55 0 83516 0 Current children cumulated CPU time (s) 1792.43 Current children cumulated vsize (Kb) 338500 [startup+1794.15 s] /proc/loadavg: 0.99 0.97 0.99 2/68 5089 /proc/meminfo: memFree=1331384/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=338600 CPUtime=1793.43 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 3618754 0 2 0 177556 1787 0 0 25 0 1 0 200192333 346726400 81423 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535990 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 84650 81423 426 55 0 83541 0 Current children cumulated CPU time (s) 1793.43 Current children cumulated vsize (Kb) 338600 [startup+1795.16 s] /proc/loadavg: 0.99 0.97 0.99 2/68 5089 /proc/meminfo: memFree=1331384/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=339148 CPUtime=1794.44 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 3622119 0 2 0 177655 1789 0 0 25 0 1 0 200192333 347287552 81504 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10006877 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 84787 81504 426 55 0 83678 0 Current children cumulated CPU time (s) 1794.44 Current children cumulated vsize (Kb) 339148 [startup+1796.16 s] /proc/loadavg: 0.99 0.97 0.99 2/68 5089 /proc/meminfo: memFree=1331384/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=338912 CPUtime=1795.45 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 3625854 0 2 0 177755 1790 0 0 25 0 1 0 200192333 347045888 81463 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160343836 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 84728 81463 426 55 0 83619 0 Current children cumulated CPU time (s) 1795.45 Current children cumulated vsize (Kb) 338912 [startup+1797.17 s] /proc/loadavg: 0.99 0.97 0.99 2/68 5089 /proc/meminfo: memFree=1331192/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=338800 CPUtime=1796.45 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 3628855 0 2 0 177854 1791 0 0 25 0 1 0 200192333 346931200 81473 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684546 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 84700 81473 426 55 0 83591 0 Current children cumulated CPU time (s) 1796.45 Current children cumulated vsize (Kb) 338800 [startup+1798.17 s] /proc/loadavg: 0.99 0.97 0.99 2/68 5089 /proc/meminfo: memFree=1331064/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=338920 CPUtime=1797.45 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 3631411 0 2 0 177953 1792 0 0 25 0 1 0 200192333 347054080 81503 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 84730 81503 426 55 0 83621 0 Current children cumulated CPU time (s) 1797.45 Current children cumulated vsize (Kb) 338920 [startup+1799.17 s] /proc/loadavg: 0.99 0.97 0.99 2/68 5089 /proc/meminfo: memFree=1331128/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=339164 CPUtime=1798.45 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 3634105 0 2 0 178052 1793 0 0 25 0 1 0 200192333 347303936 81526 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160181905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 84791 81526 426 55 0 83682 0 Current children cumulated CPU time (s) 1798.45 Current children cumulated vsize (Kb) 339164 [startup+1800.18 s] /proc/loadavg: 0.99 0.97 0.99 2/68 5089 /proc/meminfo: memFree=1331064/2055888 swapFree=4085336/4096564 [pid=4892] ppid=4890 vsize=339020 CPUtime=1799.46 /proc/4892/stat : 4892 (bsolo) R 4890 4892 4846 0 -1 0 3637033 0 2 0 178152 1794 0 0 25 0 1 0 200192333 347156480 81523 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159298035 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 84755 81523 426 55 0 83646 0 Current children cumulated CPU time (s) 1799.46 Current children cumulated vsize (Kb) 339020 Child status: 10 Real time (s): 1800.84 CPU time (s): 1800.12 CPU user time (s): 1782.11 CPU system time (s): 18.0093 CPU usage (%): 99.9603 Max. virtual memory (cumulated for all children) (Kb): 339164
Begin job on node88 on Sat Jun 3 14:38:52 UTC 2006 FILE ID= 39976-1149345532 PBS_JOBID= 310642 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/user10/bsolo ROOT/tmp/node88/39976-1149345532/instance-39976-1149345532.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node88/watcher-39976-1149345532 -o ROOT/results/node88/solver-39976-1149345532 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node88/39976-1149345532/instance-39976-1149345532.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 51e821dd343df6d9e97b4cdfcd83ec3f RANDOM SEED= 332322254 /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.261 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.16 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.261 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.38 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1657800 kB Buffers: 18248 kB Cached: 312380 kB SwapCached: 2300 kB Active: 32824 kB Inactive: 306376 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1657800 kB SwapTotal: 4096564 kB SwapFree: 4085336 kB Dirty: 164 kB Writeback: 0 kB Mapped: 16796 kB Slab: 45448 kB Committed_AS: 335356 kB PageTables: 1280 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node88 on Sat Jun 3 15:08:53 UTC 2006