0.00/0.02 c RoundingSat 2
0.00/0.02 c branch
0.00/0.02 c commit
0.00/0.02 c with Papilo
0.00/0.02 c with SCIP
0.00/0.02 c [STEP] parsing instance
1.16/1.22 c [STEP] preprocessing with Papilo
1.36/1.46 c Papilo could not simplify the problem
1.36/1.46 c [STEP] solving with SCIP
300.81/301.87 c [STEP] preprocessing done, loading into solver
301.21/302.22 c [STEP] solving
301.21/302.22 c #variables 2347 #constraints 209576
301.21/302.22 c SMALL=int, LARGE=long long
301.21/302.22 d SCIPUB -1179
301.21/302.22 c bounds - >= -1983 @ 300.644
301.21/302.22 c stratification level: 0
301.21/302.27 c bounds - >= -1982 @ 300.655
301.21/302.27 c bounds - >= -1981 @ 300.655
301.21/302.27 c bounds - >= -1980 @ 300.655
301.21/302.27 c bounds - >= -1979 @ 300.655
301.21/302.27 c bounds - >= -1978 @ 300.656
301.21/302.27 c bounds - >= -1977 @ 300.656
301.21/302.27 c bounds - >= -1976 @ 300.656
301.21/302.27 c bounds - >= -1975 @ 300.656
301.21/302.27 c bounds - >= -1974 @ 300.657
301.21/302.27 c bounds - >= -1973 @ 300.657
301.21/302.27 c bounds - >= -1972 @ 300.657
301.21/302.27 c bounds - >= -1971 @ 300.657
301.21/302.27 c bounds - >= -1970 @ 300.658
301.21/302.27 c bounds - >= -1969 @ 300.658
301.21/302.27 c bounds - >= -1968 @ 300.658
301.21/302.27 c bounds - >= -1967 @ 300.658
301.21/302.27 c bounds - >= -1966 @ 300.658
301.21/302.27 c bounds - >= -1965 @ 300.659
301.21/302.27 c bounds - >= -1964 @ 300.659
301.21/302.27 c bounds - >= -1963 @ 300.659
301.21/302.27 c bounds - >= -1962 @ 300.659
301.21/302.27 c bounds - >= -1961 @ 300.66
301.21/302.27 c bounds - >= -1960 @ 300.66
301.21/302.27 c bounds - >= -1959 @ 300.66
301.21/302.27 c bounds - >= -1958 @ 300.66
301.21/302.27 c bounds - >= -1957 @ 300.66
301.21/302.27 c bounds - >= -1956 @ 300.661
301.21/302.27 c bounds - >= -1955 @ 300.661
301.21/302.27 c bounds - >= -1954 @ 300.661
301.21/302.27 c bounds - >= -1953 @ 300.661
301.21/302.27 c bounds - >= -1952 @ 300.662
301.21/302.27 c bounds - >= -1951 @ 300.662
301.21/302.27 c bounds - >= -1950 @ 300.662
301.21/302.27 c bounds - >= -1949 @ 300.662
301.21/302.27 c bounds - >= -1948 @ 300.662
301.21/302.27 c bounds - >= -1947 @ 300.663
301.21/302.27 c bounds - >= -1946 @ 300.663
301.21/302.27 c bounds - >= -1945 @ 300.663
301.21/302.27 c bounds - >= -1944 @ 300.663
301.21/302.27 c bounds - >= -1943 @ 300.663
301.21/302.27 c bounds - >= -1942 @ 300.663
301.21/302.27 c bounds - >= -1941 @ 300.663
301.21/302.27 c bounds - >= -1940 @ 300.663
301.21/302.27 c bounds - >= -1939 @ 300.664
301.21/302.27 c bounds - >= -1938 @ 300.664
301.21/302.27 c bounds - >= -1937 @ 300.664
301.21/302.27 c bounds - >= -1936 @ 300.664
301.21/302.27 c bounds - >= -1935 @ 300.664
301.21/302.27 c bounds - >= -1934 @ 300.665
301.21/302.27 c bounds - >= -1933 @ 300.665
301.21/302.27 c bounds - >= -1932 @ 300.665
301.21/302.27 c bounds - >= -1931 @ 300.665
301.21/302.27 c bounds - >= -1930 @ 300.666
301.21/302.27 c bounds - >= -1929 @ 300.666
301.21/302.27 c bounds - >= -1928 @ 300.666
301.21/302.27 c bounds - >= -1927 @ 300.666
301.21/302.27 c bounds - >= -1926 @ 300.666
301.21/302.27 c bounds - >= -1925 @ 300.667
301.21/302.27 c bounds - >= -1924 @ 300.667
301.21/302.27 c bounds - >= -1923 @ 300.667
301.21/302.27 c bounds - >= -1922 @ 300.667
301.21/302.27 c bounds - >= -1921 @ 300.668
301.21/302.27 c bounds - >= -1920 @ 300.668
301.21/302.27 c bounds - >= -1919 @ 300.668
301.21/302.27 c bounds - >= -1918 @ 300.668
301.21/302.27 c bounds - >= -1917 @ 300.668
301.21/302.27 c bounds - >= -1916 @ 300.669
301.21/302.27 c bounds - >= -1915 @ 300.669
301.21/302.27 c bounds - >= -1914 @ 300.669
301.21/302.27 c bounds - >= -1913 @ 300.669
301.21/302.27 c bounds - >= -1912 @ 300.67
301.21/302.27 c bounds - >= -1911 @ 300.67
301.21/302.27 c bounds - >= -1910 @ 300.67
301.21/302.27 c bounds - >= -1909 @ 300.67
301.21/302.27 c bounds - >= -1908 @ 300.67
301.21/302.27 c bounds - >= -1907 @ 300.671
301.21/302.27 c bounds - >= -1906 @ 300.671
301.21/302.27 c bounds - >= -1905 @ 300.671
301.21/302.27 c bounds - >= -1904 @ 300.671
301.21/302.27 c bounds - >= -1903 @ 300.671
301.21/302.27 c bounds - >= -1902 @ 300.672
301.21/302.27 c bounds - >= -1901 @ 300.672
301.21/302.27 c bounds - >= -1900 @ 300.672
301.21/302.27 c bounds - >= -1899 @ 300.672
301.21/302.27 c bounds - >= -1898 @ 300.673
301.21/302.27 c bounds - >= -1897 @ 300.673
301.21/302.27 c bounds - >= -1896 @ 300.673
301.21/302.27 c bounds - >= -1895 @ 300.673
301.21/302.27 c bounds - >= -1894 @ 300.673
301.21/302.27 c bounds - >= -1893 @ 300.674
301.21/302.27 c bounds - >= -1892 @ 300.674
301.21/302.27 c bounds - >= -1891 @ 300.674
301.21/302.27 c bounds - >= -1890 @ 300.674
301.21/302.27 c bounds - >= -1889 @ 300.675
301.21/302.27 c bounds - >= -1888 @ 300.675
301.21/302.27 c bounds - >= -1887 @ 300.675
301.21/302.27 c bounds - >= -1886 @ 300.675
301.21/302.27 c bounds - >= -1885 @ 300.675
301.21/302.27 c bounds - >= -1884 @ 300.676
301.21/302.27 c bounds - >= -1883 @ 300.676
301.21/302.27 c bounds - >= -1882 @ 300.676
301.21/302.27 c bounds - >= -1881 @ 300.676
301.21/302.27 c bounds - >= -1880 @ 300.677
301.21/302.27 c bounds - >= -1879 @ 300.677
301.21/302.27 c bounds - >= -1878 @ 300.677
301.21/302.27 c bounds - >= -1877 @ 300.677
301.21/302.27 c bounds - >= -1876 @ 300.677
301.21/302.27 c bounds - >= -1875 @ 300.678
301.21/302.27 c bounds - >= -1874 @ 300.678
301.21/302.27 c bounds - >= -1873 @ 300.678
301.21/302.27 c bounds - >= -1872 @ 300.678
301.21/302.27 c bounds - >= -1871 @ 300.679
301.21/302.27 c bounds - >= -1870 @ 300.679
301.21/302.27 c bounds - >= -1869 @ 300.679
301.21/302.27 c bounds - >= -1868 @ 300.679
301.21/302.27 c bounds - >= -1867 @ 300.68
301.21/302.27 c bounds - >= -1866 @ 300.68
301.21/302.27 c bounds - >= -1865 @ 300.68
301.21/302.27 c bounds - >= -1864 @ 300.68
301.21/302.27 c bounds - >= -1863 @ 300.68
301.21/302.27 c bounds - >= -1862 @ 300.681
301.21/302.27 c bounds - >= -1861 @ 300.681
301.21/302.27 c bounds - >= -1860 @ 300.681
301.21/302.27 c bounds - >= -1859 @ 300.681
301.21/302.27 c bounds - >= -1858 @ 300.681
301.21/302.27 c bounds - >= -1857 @ 300.682
301.21/302.27 c bounds - >= -1856 @ 300.682
301.21/302.27 c bounds - >= -1855 @ 300.682
301.21/302.27 c bounds - >= -1854 @ 300.682
301.21/302.27 c bounds - >= -1853 @ 300.683
301.21/302.27 c bounds - >= -1852 @ 300.683
301.21/302.27 c bounds - >= -1851 @ 300.683
301.21/302.27 c bounds - >= -1850 @ 300.683
301.21/302.27 c bounds - >= -1849 @ 300.683
301.21/302.27 c bounds - >= -1848 @ 300.684
301.21/302.27 c bounds - >= -1847 @ 300.684
301.21/302.27 c bounds - >= -1846 @ 300.684
301.21/302.27 c bounds - >= -1845 @ 300.684
301.31/302.30 c bounds - >= -1844 @ 300.685
301.31/302.30 c bounds - >= -1843 @ 300.685
301.31/302.30 c bounds - >= -1842 @ 300.685
301.31/302.30 c bounds - >= -1841 @ 300.685
301.31/302.30 c bounds - >= -1840 @ 300.685
301.31/302.30 c bounds - >= -1839 @ 300.686
301.31/302.30 c bounds - >= -1838 @ 300.686
301.31/302.30 c bounds - >= -1837 @ 300.686
301.31/302.30 c bounds - >= -1836 @ 300.686
301.31/302.30 c bounds - >= -1835 @ 300.686
301.31/302.30 c bounds - >= -1834 @ 300.687
301.31/302.30 c bounds - >= -1833 @ 300.687
301.31/302.30 c bounds - >= -1832 @ 300.687
301.31/302.30 c bounds - >= -1831 @ 300.687
301.31/302.30 c bounds - >= -1830 @ 300.688
301.31/302.30 c bounds - >= -1829 @ 300.688
301.31/302.30 c bounds - >= -1828 @ 300.688
301.31/302.30 c bounds - >= -1827 @ 300.688
301.31/302.30 c bounds - >= -1826 @ 300.688
301.31/302.30 c bounds - >= -1825 @ 300.689
301.31/302.30 c bounds - >= -1824 @ 300.689
301.31/302.30 c bounds - >= -1823 @ 300.689
301.31/302.30 c bounds - >= -1822 @ 300.689
301.31/302.30 c bounds - >= -1821 @ 300.689
301.31/302.30 c bounds - >= -1820 @ 300.69
301.31/302.30 c bounds - >= -1819 @ 300.69
301.31/302.30 c bounds - >= -1818 @ 300.69
301.31/302.30 c bounds - >= -1817 @ 300.69
301.31/302.30 c bounds - >= -1816 @ 300.691
301.31/302.30 c bounds - >= -1815 @ 300.691
301.31/302.30 c bounds - >= -1814 @ 300.691
301.31/302.30 c bounds - >= -1813 @ 300.691
301.31/302.30 c bounds - >= -1812 @ 300.691
301.31/302.30 c bounds - >= -1811 @ 300.692
301.31/302.30 c bounds - >= -1810 @ 300.692
301.31/302.30 c bounds - >= -1809 @ 300.692
301.31/302.30 c bounds - >= -1808 @ 300.692
301.31/302.30 c bounds - >= -1807 @ 300.692
301.31/302.30 c bounds - >= -1806 @ 300.693
301.31/302.30 c bounds - >= -1805 @ 300.693
301.31/302.30 c bounds - >= -1804 @ 300.693
301.31/302.30 c bounds - >= -1803 @ 300.693
301.31/302.30 c bounds - >= -1802 @ 300.694
301.31/302.30 c bounds - >= -1801 @ 300.694
301.31/302.30 c bounds - >= -1800 @ 300.694
301.31/302.30 c bounds - >= -1799 @ 300.694
301.31/302.30 c bounds - >= -1798 @ 300.694
301.31/302.30 c bounds - >= -1797 @ 300.695
301.31/302.30 c bounds - >= -1796 @ 300.695
301.31/302.30 c bounds - >= -1795 @ 300.695
301.31/302.30 c bounds - >= -1794 @ 300.695
301.31/302.30 c bounds - >= -1793 @ 300.695
301.31/302.30 c bounds - >= -1792 @ 300.696
301.31/302.30 c bounds - >= -1791 @ 300.696
301.31/302.30 c bounds - >= -1790 @ 300.696
301.31/302.30 c bounds - >= -1789 @ 300.696
301.31/302.30 c bounds - >= -1788 @ 300.697
301.31/302.30 c bounds - >= -1787 @ 300.697
301.31/302.30 c bounds - >= -1786 @ 300.697
301.31/302.30 c bounds - >= -1785 @ 300.697
301.31/302.30 c bounds - >= -1784 @ 300.697
301.31/302.30 c bounds - >= -1783 @ 300.698
301.31/302.30 c bounds - >= -1782 @ 300.698
301.31/302.30 c bounds - >= -1781 @ 300.698
301.31/302.30 c bounds - >= -1780 @ 300.698
301.31/302.30 c bounds - >= -1779 @ 300.699
301.31/302.30 c bounds - >= -1778 @ 300.699
301.31/302.30 c bounds - >= -1777 @ 300.699
301.31/302.30 c bounds - >= -1776 @ 300.699
301.31/302.30 c bounds - >= -1775 @ 300.699
301.31/302.30 c bounds - >= -1774 @ 300.7
301.31/302.30 c bounds - >= -1773 @ 300.7
301.31/302.30 c bounds - >= -1772 @ 300.7
301.31/302.30 c bounds - >= -1771 @ 300.7
301.31/302.30 c bounds - >= -1770 @ 300.701
301.31/302.30 c bounds - >= -1769 @ 300.701
301.31/302.30 c bounds - >= -1768 @ 300.701
301.31/302.30 c bounds - >= -1767 @ 300.701
301.31/302.30 c bounds - >= -1766 @ 300.701
301.31/302.30 c bounds - >= -1765 @ 300.702
301.31/302.30 c bounds - >= -1764 @ 300.702
301.31/302.30 c bounds - >= -1763 @ 300.702
301.31/302.30 c bounds - >= -1762 @ 300.702
301.31/302.30 c bounds - >= -1761 @ 300.703
301.31/302.30 c bounds - >= -1760 @ 300.703
301.31/302.30 c bounds - >= -1759 @ 300.703
301.31/302.30 c bounds - >= -1758 @ 300.703
301.31/302.30 c bounds - >= -1757 @ 300.703
301.31/302.30 c bounds - >= -1756 @ 300.704
301.31/302.30 c bounds - >= -1755 @ 300.704
301.31/302.30 c bounds - >= -1754 @ 300.704
301.31/302.30 c bounds - >= -1753 @ 300.704
301.31/302.30 c bounds - >= -1752 @ 300.705
301.31/302.30 c bounds - >= -1751 @ 300.705
301.31/302.30 c bounds - >= -1750 @ 300.705
301.31/302.30 c bounds - >= -1749 @ 300.705
301.31/302.30 c bounds - >= -1748 @ 300.705
301.31/302.30 c bounds - >= -1747 @ 300.706
301.31/302.30 c bounds - >= -1746 @ 300.706
301.31/302.30 c bounds - >= -1745 @ 300.706
301.31/302.30 c bounds - >= -1744 @ 300.706
301.31/302.30 c bounds - >= -1743 @ 300.707
301.31/302.30 c bounds - >= -1742 @ 300.707
301.31/302.30 c bounds - >= -1741 @ 300.707
301.31/302.30 c bounds - >= -1740 @ 300.707
301.31/302.30 c bounds - >= -1739 @ 300.707
301.31/302.30 c bounds - >= -1738 @ 300.708
301.31/302.30 c bounds - >= -1737 @ 300.708
301.31/302.30 c bounds - >= -1736 @ 300.708
301.31/302.30 c bounds - >= -1735 @ 300.708
301.31/302.30 c bounds - >= -1734 @ 300.709
301.31/302.30 c bounds - >= -1733 @ 300.709
301.31/302.30 c bounds - >= -1732 @ 300.709
301.31/302.30 c bounds - >= -1731 @ 300.709
301.31/302.30 c bounds - >= -1730 @ 300.709
301.31/302.30 c bounds - >= -1729 @ 300.71
301.31/302.30 c bounds - >= -1728 @ 300.71
301.31/302.30 c bounds - >= -1727 @ 300.71
301.31/302.30 c bounds - >= -1726 @ 300.71
301.31/302.30 c bounds - >= -1725 @ 300.711
301.31/302.30 c bounds - >= -1724 @ 300.711
301.31/302.30 c bounds - >= -1723 @ 300.711
301.31/302.30 c bounds - >= -1722 @ 300.711
301.31/302.30 c bounds - >= -1721 @ 300.711
301.31/302.30 c bounds - >= -1720 @ 300.712
301.31/302.30 c bounds - >= -1719 @ 300.712
301.31/302.30 c bounds - >= -1718 @ 300.712
301.31/302.30 c bounds - >= -1717 @ 300.712
301.31/302.30 c bounds - >= -1716 @ 300.712
301.31/302.30 c bounds - >= -1715 @ 300.713
301.31/302.30 c bounds - >= -1714 @ 300.713
301.31/302.30 c bounds - >= -1713 @ 300.713
301.31/302.30 c bounds - >= -1712 @ 300.713
301.31/302.30 c bounds - >= -1711 @ 300.714
301.31/302.30 c bounds - >= -1710 @ 300.714
301.31/302.30 c bounds - >= -1709 @ 300.714
301.31/302.30 c bounds - >= -1708 @ 300.714
301.31/302.33 c bounds - >= -1707 @ 300.715
301.31/302.33 c bounds - >= -1706 @ 300.715
301.31/302.33 c bounds - >= -1705 @ 300.715
301.31/302.33 c bounds - >= -1704 @ 300.715
301.31/302.33 c bounds - >= -1703 @ 300.715
301.31/302.33 c bounds - >= -1702 @ 300.716
301.31/302.33 c bounds - >= -1701 @ 300.716
301.31/302.33 c bounds - >= -1700 @ 300.716
301.31/302.33 c bounds - >= -1699 @ 300.716
301.31/302.33 c bounds - >= -1698 @ 300.716
301.31/302.33 c bounds - >= -1697 @ 300.717
301.31/302.33 c bounds - >= -1696 @ 300.717
301.31/302.33 c bounds - >= -1695 @ 300.717
301.31/302.33 c bounds - >= -1694 @ 300.717
301.31/302.33 c bounds - >= -1693 @ 300.718
301.31/302.33 c bounds - >= -1692 @ 300.718
301.31/302.33 c bounds - >= -1691 @ 300.718
301.31/302.33 c bounds - >= -1690 @ 300.718
301.31/302.33 c bounds - >= -1689 @ 300.719
301.31/302.33 c bounds - >= -1688 @ 300.719
301.31/302.33 c bounds - >= -1687 @ 300.719
301.31/302.33 c bounds - >= -1686 @ 300.719
301.31/302.33 c bounds - >= -1685 @ 300.72
301.31/302.33 c bounds - >= -1684 @ 300.72
301.31/302.33 c bounds - >= -1683 @ 300.72
301.31/302.33 c bounds - >= -1682 @ 300.72
301.31/302.33 c bounds - >= -1681 @ 300.72
301.31/302.33 c bounds - >= -1680 @ 300.721
301.31/302.33 c bounds - >= -1679 @ 300.721
301.31/302.33 c bounds - >= -1678 @ 300.721
301.31/302.33 c bounds - >= -1677 @ 300.721
301.31/302.33 c bounds - >= -1676 @ 300.722
301.31/302.33 c bounds - >= -1675 @ 300.722
301.31/302.33 c bounds - >= -1674 @ 300.722
301.31/302.33 c bounds - >= -1673 @ 300.722
301.31/302.33 c bounds - >= -1672 @ 300.722
301.31/302.33 c bounds - >= -1671 @ 300.722
301.31/302.33 c bounds - >= -1670 @ 300.722
301.31/302.33 c bounds - >= -1669 @ 300.722
301.31/302.33 c bounds - >= -1668 @ 300.722
301.31/302.33 c bounds - >= -1667 @ 300.723
301.31/302.33 c bounds - >= -1666 @ 300.723
301.31/302.33 c bounds - >= -1665 @ 300.723
301.31/302.33 c bounds - >= -1664 @ 300.723
301.31/302.33 c bounds - >= -1663 @ 300.724
301.31/302.33 c bounds - >= -1662 @ 300.724
301.31/302.33 c bounds - >= -1661 @ 300.724
301.31/302.33 c bounds - >= -1660 @ 300.724
301.31/302.33 c bounds - >= -1659 @ 300.724
301.31/302.33 c bounds - >= -1658 @ 300.725
301.31/302.33 c bounds - >= -1657 @ 300.725
301.31/302.33 c bounds - >= -1656 @ 300.725
301.31/302.33 c bounds - >= -1655 @ 300.725
301.31/302.33 c bounds - >= -1654 @ 300.726
301.31/302.33 c bounds - >= -1653 @ 300.726
301.31/302.33 c bounds - >= -1652 @ 300.726
301.31/302.33 c bounds - >= -1651 @ 300.726
301.31/302.33 c bounds - >= -1650 @ 300.726
301.31/302.33 c bounds - >= -1649 @ 300.726
301.31/302.33 c bounds - >= -1648 @ 300.726
301.31/302.33 c bounds - >= -1647 @ 300.726
301.31/302.33 c bounds - >= -1646 @ 300.727
301.31/302.33 c bounds - >= -1645 @ 300.727
301.31/302.33 c bounds - >= -1644 @ 300.727
301.31/302.33 c bounds - >= -1643 @ 300.727
301.31/302.33 c bounds - >= -1642 @ 300.727
301.31/302.33 c bounds - >= -1641 @ 300.728
301.31/302.33 c bounds - >= -1640 @ 300.728
301.31/302.33 c bounds - >= -1639 @ 300.728
301.31/302.33 c bounds - >= -1638 @ 300.728
301.31/302.33 c bounds - >= -1637 @ 300.729
301.31/302.33 c bounds - >= -1636 @ 300.729
301.31/302.33 c bounds - >= -1635 @ 300.729
301.31/302.33 c bounds - >= -1634 @ 300.729
301.31/302.33 c bounds - >= -1633 @ 300.73
301.31/302.33 c bounds - >= -1632 @ 300.73
301.31/302.33 c bounds - >= -1631 @ 300.73
301.31/302.33 c bounds - >= -1630 @ 300.73
301.31/302.33 c bounds - >= -1629 @ 300.731
301.31/302.33 c bounds - >= -1628 @ 300.731
301.31/302.33 c bounds - >= -1627 @ 300.731
301.31/302.33 c bounds - >= -1626 @ 300.731
301.31/302.33 c bounds - >= -1625 @ 300.732
301.31/302.33 c bounds - >= -1624 @ 300.732
301.31/302.33 c bounds - >= -1623 @ 300.732
301.31/302.33 c bounds - >= -1622 @ 300.732
301.31/302.33 c bounds - >= -1621 @ 300.732
301.31/302.33 c bounds - >= -1620 @ 300.732
301.31/302.33 c bounds - >= -1619 @ 300.732
301.31/302.33 c bounds - >= -1618 @ 300.732
301.31/302.33 c bounds - >= -1617 @ 300.732
301.31/302.33 c bounds - >= -1616 @ 300.732
301.31/302.33 c bounds - >= -1615 @ 300.732
301.31/302.33 c bounds - >= -1614 @ 300.732
301.31/302.33 c bounds - >= -1613 @ 300.732
301.31/302.33 c bounds - >= -1612 @ 300.733
301.31/302.33 c bounds - >= -1611 @ 300.733
301.31/302.33 c bounds - >= -1610 @ 300.733
301.31/302.33 c bounds - >= -1609 @ 300.733
301.31/302.33 c bounds - >= -1608 @ 300.734
301.31/302.33 c bounds - >= -1607 @ 300.734
301.31/302.33 c bounds - >= -1606 @ 300.734
301.31/302.33 c bounds - >= -1605 @ 300.734
301.31/302.33 c bounds - >= -1604 @ 300.735
301.31/302.33 c bounds - >= -1603 @ 300.735
301.31/302.33 c bounds - >= -1602 @ 300.735
301.31/302.33 c bounds - >= -1601 @ 300.735
301.31/302.33 c bounds - >= -1600 @ 300.735
301.31/302.33 c bounds - >= -1599 @ 300.736
301.31/302.33 c bounds - >= -1598 @ 300.736
301.31/302.33 c bounds - >= -1597 @ 300.736
301.31/302.33 c bounds - >= -1596 @ 300.736
301.31/302.33 c bounds - >= -1595 @ 300.737
301.31/302.33 c bounds - >= -1594 @ 300.737
301.31/302.33 c bounds - >= -1593 @ 300.737
301.31/302.33 c bounds - >= -1592 @ 300.737
301.31/302.33 c bounds - >= -1591 @ 300.738
301.31/302.33 c bounds - >= -1590 @ 300.738
301.31/302.33 c bounds - >= -1589 @ 300.738
301.31/302.33 c bounds - >= -1588 @ 300.738
301.31/302.33 c bounds - >= -1587 @ 300.739
301.31/302.33 c bounds - >= -1586 @ 300.739
301.31/302.33 c bounds - >= -1585 @ 300.739
301.31/302.33 c bounds - >= -1584 @ 300.739
301.31/302.33 c bounds - >= -1583 @ 300.74
301.31/302.33 c bounds - >= -1582 @ 300.74
301.31/302.33 c bounds - >= -1581 @ 300.74
301.31/302.33 c bounds - >= -1580 @ 300.74
301.31/302.33 c bounds - >= -1579 @ 300.741
301.31/302.33 c bounds - >= -1578 @ 300.741
301.31/302.33 c bounds - >= -1577 @ 300.741
301.31/302.33 c bounds - >= -1576 @ 300.741
301.31/302.33 c bounds - >= -1575 @ 300.742
301.31/302.33 c bounds - >= -1574 @ 300.742
301.31/302.33 c bounds - >= -1573 @ 300.742
301.31/302.33 c bounds - >= -1572 @ 300.742
301.31/302.33 c bounds - >= -1571 @ 300.743
301.31/302.37 c bounds - >= -1570 @ 300.743
301.31/302.37 c bounds - >= -1569 @ 300.743
301.31/302.37 c bounds - >= -1568 @ 300.744
301.31/302.37 c bounds - >= -1567 @ 300.744
301.31/302.37 c bounds - >= -1566 @ 300.744
301.31/302.37 c bounds - >= -1565 @ 300.744
301.31/302.37 c bounds - >= -1564 @ 300.745
301.31/302.37 c bounds - >= -1563 @ 300.745
301.31/302.37 c bounds - >= -1562 @ 300.745
301.31/302.37 c bounds - >= -1561 @ 300.745
301.31/302.37 c bounds - >= -1560 @ 300.746
301.31/302.37 c bounds - >= -1559 @ 300.746
301.31/302.37 c bounds - >= -1558 @ 300.746
301.31/302.37 c bounds - >= -1557 @ 300.746
301.31/302.37 c bounds - >= -1556 @ 300.747
301.31/302.37 c bounds - >= -1555 @ 300.747
301.31/302.37 c bounds - >= -1554 @ 300.747
301.31/302.37 c bounds - >= -1553 @ 300.747
301.31/302.37 c bounds - >= -1552 @ 300.748
301.31/302.37 c bounds - >= -1551 @ 300.748
301.31/302.37 c bounds - >= -1550 @ 300.748
301.31/302.37 c bounds - >= -1549 @ 300.749
301.31/302.37 c bounds - >= -1548 @ 300.749
301.31/302.37 c bounds - >= -1547 @ 300.749
301.31/302.37 c bounds - >= -1546 @ 300.75
301.31/302.37 c bounds - >= -1545 @ 300.75
301.31/302.37 c bounds - >= -1544 @ 300.75
301.31/302.37 c bounds - >= -1543 @ 300.75
301.31/302.37 c bounds - >= -1542 @ 300.75
301.31/302.37 c bounds - >= -1541 @ 300.751
301.31/302.37 c bounds - >= -1540 @ 300.751
301.31/302.37 c bounds - >= -1539 @ 300.751
301.31/302.37 c bounds - >= -1538 @ 300.751
301.31/302.37 c bounds - >= -1537 @ 300.752
301.31/302.37 c bounds - >= -1536 @ 300.752
301.31/302.37 c bounds - >= -1535 @ 300.752
301.31/302.37 c bounds - >= -1534 @ 300.752
301.31/302.37 c bounds - >= -1533 @ 300.753
301.31/302.37 c bounds - >= -1532 @ 300.753
301.31/302.37 c bounds - >= -1531 @ 300.753
301.31/302.37 c bounds - >= -1530 @ 300.753
301.31/302.37 c bounds - >= -1529 @ 300.754
301.31/302.37 c bounds - >= -1528 @ 300.754
301.31/302.37 c bounds - >= -1527 @ 300.754
301.31/302.37 c bounds - >= -1526 @ 300.754
301.31/302.37 c bounds - >= -1525 @ 300.755
301.31/302.37 c bounds - >= -1524 @ 300.755
301.31/302.37 c bounds - >= -1523 @ 300.755
301.31/302.37 c bounds - >= -1522 @ 300.755
301.31/302.37 c bounds - >= -1521 @ 300.756
301.31/302.37 c bounds - >= -1520 @ 300.756
301.31/302.37 c bounds - >= -1519 @ 300.757
301.31/302.37 c bounds - >= -1518 @ 300.757
301.31/302.37 c bounds - >= -1517 @ 300.757
301.31/302.37 c bounds - >= -1516 @ 300.757
301.31/302.37 c bounds - >= -1515 @ 300.758
301.31/302.37 c bounds - >= -1514 @ 300.758
301.31/302.37 c bounds - >= -1513 @ 300.758
301.31/302.37 c bounds - >= -1512 @ 300.758
301.31/302.37 c bounds - >= -1511 @ 300.759
301.31/302.37 c bounds - >= -1510 @ 300.759
301.31/302.37 c bounds - >= -1509 @ 300.759
301.31/302.37 c bounds - >= -1508 @ 300.76
301.31/302.37 c bounds - >= -1507 @ 300.76
301.31/302.37 c bounds - >= -1506 @ 300.76
301.31/302.37 c bounds - >= -1505 @ 300.76
301.31/302.37 c bounds - >= -1504 @ 300.76
301.31/302.37 c bounds - >= -1503 @ 300.76
301.31/302.37 c bounds - >= -1502 @ 300.76
301.31/302.37 c bounds - >= -1501 @ 300.76
301.31/302.37 c bounds - >= -1500 @ 300.761
301.31/302.37 c bounds - >= -1499 @ 300.761
301.31/302.37 c bounds - >= -1498 @ 300.761
301.31/302.37 c bounds - >= -1497 @ 300.762
301.31/302.37 c bounds - >= -1496 @ 300.762
301.31/302.37 c bounds - >= -1495 @ 300.762
301.31/302.37 c bounds - >= -1494 @ 300.763
301.31/302.37 c bounds - >= -1493 @ 300.763
301.31/302.37 c bounds - >= -1492 @ 300.763
301.31/302.37 c bounds - >= -1491 @ 300.763
301.31/302.37 c bounds - >= -1490 @ 300.763
301.31/302.37 c bounds - >= -1489 @ 300.764
301.31/302.37 c bounds - >= -1488 @ 300.764
301.31/302.37 c bounds - >= -1487 @ 300.764
301.31/302.37 c bounds - >= -1486 @ 300.764
301.31/302.37 c bounds - >= -1485 @ 300.765
301.31/302.37 c bounds - >= -1484 @ 300.765
301.31/302.37 c bounds - >= -1483 @ 300.765
301.31/302.37 c bounds - >= -1482 @ 300.766
301.31/302.37 c bounds - >= -1481 @ 300.766
301.31/302.37 c bounds - >= -1480 @ 300.767
301.31/302.37 c bounds - >= -1479 @ 300.767
301.31/302.37 c bounds - >= -1478 @ 300.767
301.31/302.37 c bounds - >= -1477 @ 300.768
301.31/302.37 c bounds - >= -1476 @ 300.768
301.31/302.37 c bounds - >= -1475 @ 300.768
301.31/302.37 c bounds - >= -1474 @ 300.768
301.31/302.37 c bounds - >= -1473 @ 300.769
301.31/302.37 c bounds - >= -1472 @ 300.769
301.31/302.37 c bounds - >= -1471 @ 300.769
301.31/302.37 c bounds - >= -1470 @ 300.77
301.31/302.37 c bounds - >= -1469 @ 300.77
301.31/302.37 c bounds - >= -1468 @ 300.771
301.31/302.37 c bounds - >= -1467 @ 300.771
301.31/302.37 c bounds - >= -1466 @ 300.771
301.31/302.37 c bounds - >= -1465 @ 300.772
301.31/302.37 c bounds - >= -1464 @ 300.772
301.31/302.37 c bounds - >= -1463 @ 300.772
301.31/302.37 c bounds - >= -1462 @ 300.773
301.31/302.37 c bounds - >= -1461 @ 300.773
301.31/302.37 c bounds - >= -1460 @ 300.773
301.31/302.37 c bounds - >= -1459 @ 300.774
301.31/302.37 c bounds - >= -1458 @ 300.775
301.31/302.37 c bounds - >= -1457 @ 300.775
301.31/302.37 c bounds - >= -1456 @ 300.775
301.31/302.37 c bounds - >= -1455 @ 300.776
301.31/302.37 c bounds - >= -1454 @ 300.776
301.31/302.37 c bounds - >= -1453 @ 300.776
301.31/302.37 c bounds - >= -1452 @ 300.777
301.31/302.37 c bounds - >= -1451 @ 300.777
301.31/302.37 c bounds - >= -1450 @ 300.777
301.31/302.37 c bounds - >= -1449 @ 300.777
301.31/302.37 c bounds - >= -1448 @ 300.778
301.31/302.37 c bounds - >= -1447 @ 300.778
301.31/302.37 c bounds - >= -1446 @ 300.779
301.31/302.37 c bounds - >= -1445 @ 300.779
301.31/302.37 c bounds - >= -1444 @ 300.78
301.31/302.37 c bounds - >= -1443 @ 300.78
301.31/302.37 c bounds - >= -1442 @ 300.78
301.31/302.37 c bounds - >= -1441 @ 300.781
301.31/302.37 c bounds - >= -1440 @ 300.781
301.31/302.37 c bounds - >= -1439 @ 300.781
301.31/302.37 c bounds - >= -1438 @ 300.782
301.31/302.37 c bounds - >= -1437 @ 300.782
301.31/302.37 c bounds - >= -1436 @ 300.782
301.31/302.37 c bounds - >= -1435 @ 300.782
301.31/302.37 c bounds - >= -1434 @ 300.782
377.29/378.50 c bounds - >= -1433 @ 300.783
377.29/378.50 c bounds - >= -1432 @ 300.783
377.29/378.50 c bounds - >= -1431 @ 300.783
377.29/378.50 c bounds - >= -1430 @ 300.784
377.29/378.50 c bounds - >= -1429 @ 300.784
377.29/378.50 c bounds - >= -1428 @ 300.784
377.29/378.50 c bounds - >= -1427 @ 300.785
377.29/378.50 c bounds - >= -1426 @ 300.785
377.29/378.50 c bounds - >= -1425 @ 300.786
377.29/378.50 c bounds - >= -1424 @ 300.786
377.29/378.50 c bounds - >= -1423 @ 300.787
377.29/378.50 c bounds - >= -1422 @ 300.787
377.29/378.50 c bounds - >= -1421 @ 300.787
377.29/378.50 c bounds - >= -1420 @ 300.788
377.29/378.50 c bounds - >= -1419 @ 300.788
377.29/378.50 c bounds - >= -1418 @ 300.788
377.29/378.50 c bounds - >= -1417 @ 300.788
377.29/378.50 c bounds - >= -1416 @ 300.789
377.29/378.50 c bounds - >= -1415 @ 300.79
377.29/378.50 c bounds - >= -1414 @ 300.79
377.29/378.50 c bounds - >= -1413 @ 300.79
377.29/378.50 c bounds - >= -1412 @ 300.791
377.29/378.50 c bounds - >= -1411 @ 300.791
377.29/378.50 c bounds - >= -1410 @ 300.791
377.29/378.50 c bounds - >= -1409 @ 300.792
377.29/378.50 c bounds - >= -1408 @ 300.792
377.29/378.50 c bounds - >= -1407 @ 300.792
377.29/378.50 c bounds - >= -1406 @ 300.793
377.29/378.50 c bounds - >= -1405 @ 300.793
377.29/378.50 c bounds - >= -1404 @ 300.794
377.29/378.50 c bounds - >= -1403 @ 300.794
377.29/378.50 c bounds - >= -1402 @ 300.795
377.29/378.50 c bounds - >= -1401 @ 300.795
377.29/378.50 c bounds - >= -1400 @ 300.796
377.29/378.50 c bounds - >= -1399 @ 301.231
377.29/378.50 c #Conflicts: 1000 | #Constraints: 211188
377.29/378.50 c #Conflicts: 2000 | #Constraints: 212188
377.29/378.50 c INPROCESSING
377.29/378.50 c GARBAGE COLLECT
377.29/378.50 c #Conflicts: 3000 | #Constraints: 211595
377.29/378.50 c #Conflicts: 4000 | #Constraints: 212595
377.29/378.50 c INPROCESSING
377.29/378.50 c GARBAGE COLLECT
377.29/378.50 c #Conflicts: 5000 | #Constraints: 211990
377.29/378.50 c #Conflicts: 6000 | #Constraints: 212990
377.29/378.50 c INPROCESSING
377.29/378.50 c GARBAGE COLLECT
377.29/378.50 c #Conflicts: 7000 | #Constraints: 211989
377.29/378.50 c #Conflicts: 8000 | #Constraints: 212989
377.29/378.50 c #Conflicts: 9000 | #Constraints: 213989
377.29/378.50 c INPROCESSING
377.29/378.50 c GARBAGE COLLECT
377.29/378.50 c #Conflicts: 10000 | #Constraints: 212687
377.29/378.50 c #Conflicts: 11000 | #Constraints: 213687
377.29/378.50 c #Conflicts: 12000 | #Constraints: 214687
377.29/378.50 c INPROCESSING
377.29/378.50 c GARBAGE COLLECT
377.29/378.50 c #Conflicts: 13000 | #Constraints: 213136
377.29/378.50 c #Conflicts: 14000 | #Constraints: 214136
377.29/378.50 c #Conflicts: 15000 | #Constraints: 215136
377.29/378.50 c INPROCESSING
377.29/378.50 c GARBAGE COLLECT
377.29/378.50 c #Conflicts: 16000 | #Constraints: 213362
377.29/378.50 c #Conflicts: 17000 | #Constraints: 214362
377.29/378.50 c #Conflicts: 18000 | #Constraints: 215362
377.29/378.50 c INPROCESSING
377.29/378.50 c GARBAGE COLLECT
377.29/378.50 c #Conflicts: 19000 | #Constraints: 213378
377.29/378.50 c #Conflicts: 20000 | #Constraints: 214378
377.29/378.50 c #Conflicts: 21000 | #Constraints: 215378
377.29/378.50 c INPROCESSING
377.29/378.50 c GARBAGE COLLECT
377.29/378.50 c #Conflicts: 22000 | #Constraints: 213183
377.29/378.50 c #Conflicts: 23000 | #Constraints: 214183
377.29/378.50 c #Conflicts: 24000 | #Constraints: 215183
377.29/378.50 c #Conflicts: 25000 | #Constraints: 216183
377.29/378.50 c INPROCESSING
377.29/378.50 c GARBAGE COLLECT
377.29/378.50 c #Conflicts: 26000 | #Constraints: 213787
377.29/378.50 c #Conflicts: 27000 | #Constraints: 214787
377.29/378.50 c #Conflicts: 28000 | #Constraints: 215787
377.29/378.50 c #Conflicts: 29000 | #Constraints: 216787
377.29/378.50 c INPROCESSING
377.29/378.50 c GARBAGE COLLECT
377.29/378.50 c #Conflicts: 30000 | #Constraints: 214188
377.29/378.50 c #Conflicts: 31000 | #Constraints: 215188
377.29/378.50 c #Conflicts: 32000 | #Constraints: 216188
377.29/378.50 c #Conflicts: 33000 | #Constraints: 217188
377.29/378.50 c INPROCESSING
377.29/378.50 c GARBAGE COLLECT
377.29/378.50 c #Conflicts: 34000 | #Constraints: 214387
377.29/378.50 c #Conflicts: 35000 | #Constraints: 215387
377.29/378.50 c #Conflicts: 36000 | #Constraints: 216387
377.29/378.50 c #Conflicts: 37000 | #Constraints: 217387
377.29/378.50 c INPROCESSING
377.29/378.50 c GARBAGE COLLECT
377.29/378.50 c #Conflicts: 38000 | #Constraints: 214389
377.29/378.50 c #Conflicts: 39000 | #Constraints: 215389
377.29/378.50 c #Conflicts: 40000 | #Constraints: 216389
377.29/378.50 c #Conflicts: 41000 | #Constraints: 217389
377.29/378.50 c INPROCESSING
377.29/378.50 c GARBAGE COLLECT
377.29/378.50 c #Conflicts: 42000 | #Constraints: 214190
377.29/378.50 c #Conflicts: 43000 | #Constraints: 215190
377.29/378.50 c #Conflicts: 44000 | #Constraints: 216190
377.29/378.50 c #Conflicts: 45000 | #Constraints: 217190
377.29/378.50 c #Conflicts: 46000 | #Constraints: 218190
377.29/378.50 c INPROCESSING
377.29/378.50 c GARBAGE COLLECT
377.29/378.50 c #Conflicts: 47000 | #Constraints: 214790
377.29/378.50 c #Conflicts: 48000 | #Constraints: 215790
377.29/378.50 c #Conflicts: 49000 | #Constraints: 216790
377.29/378.50 c #Conflicts: 50000 | #Constraints: 217790
479.98/481.54 c #Conflicts: 51000 | #Constraints: 218790
479.98/481.54 c INPROCESSING
479.98/481.54 c GARBAGE COLLECT
479.98/481.54 c #Conflicts: 52000 | #Constraints: 215194
479.98/481.54 c #Conflicts: 53000 | #Constraints: 216194
479.98/481.54 c #Conflicts: 54000 | #Constraints: 217194
479.98/481.54 c #Conflicts: 55000 | #Constraints: 218194
479.98/481.54 c #Conflicts: 56000 | #Constraints: 219194
479.98/481.54 c INPROCESSING
479.98/481.54 c GARBAGE COLLECT
479.98/481.54 c #Conflicts: 57000 | #Constraints: 215393
479.98/481.54 c #Conflicts: 58000 | #Constraints: 216393
479.98/481.54 c #Conflicts: 59000 | #Constraints: 217393
479.98/481.54 c #Conflicts: 60000 | #Constraints: 218393
479.98/481.54 c #Conflicts: 61000 | #Constraints: 219393
479.98/481.54 c INPROCESSING
479.98/481.54 c GARBAGE COLLECT
479.98/481.54 c #Conflicts: 62000 | #Constraints: 215391
479.98/481.54 c #Conflicts: 63000 | #Constraints: 216391
479.98/481.54 c #Conflicts: 64000 | #Constraints: 217391
479.98/481.54 c #Conflicts: 65000 | #Constraints: 218391
479.98/481.54 c #Conflicts: 66000 | #Constraints: 219391
479.98/481.54 c INPROCESSING
479.98/481.54 c GARBAGE COLLECT
479.98/481.54 c #Conflicts: 67000 | #Constraints: 215191
479.98/481.54 c #Conflicts: 68000 | #Constraints: 216191
479.98/481.54 c #Conflicts: 69000 | #Constraints: 217191
479.98/481.54 c #Conflicts: 70000 | #Constraints: 218191
479.98/481.54 c #Conflicts: 71000 | #Constraints: 219191
479.98/481.54 c #Conflicts: 72000 | #Constraints: 220191
479.98/481.54 c INPROCESSING
479.98/481.54 c GARBAGE COLLECT
479.98/481.54 c #Conflicts: 73000 | #Constraints: 215794
479.98/481.54 c #Conflicts: 74000 | #Constraints: 216794
479.98/481.54 c #Conflicts: 75000 | #Constraints: 217794
479.98/481.54 c #Conflicts: 76000 | #Constraints: 218794
479.98/481.54 c #Conflicts: 77000 | #Constraints: 219794
479.98/481.54 c #Conflicts: 78000 | #Constraints: 220794
479.98/481.54 c INPROCESSING
479.98/481.54 c GARBAGE COLLECT
479.98/481.54 c #Conflicts: 79000 | #Constraints: 216195
479.98/481.54 c #Conflicts: 80000 | #Constraints: 217195
479.98/481.54 c #Conflicts: 81000 | #Constraints: 218195
479.98/481.54 c #Conflicts: 82000 | #Constraints: 219195
479.98/481.54 c #Conflicts: 83000 | #Constraints: 220195
479.98/481.54 c #Conflicts: 84000 | #Constraints: 221195
479.98/481.54 c INPROCESSING
479.98/481.54 c GARBAGE COLLECT
479.98/481.54 c #Conflicts: 85000 | #Constraints: 216395
479.98/481.54 c #Conflicts: 86000 | #Constraints: 217395
479.98/481.54 c #Conflicts: 87000 | #Constraints: 218395
479.98/481.54 c #Conflicts: 88000 | #Constraints: 219395
479.98/481.54 c #Conflicts: 89000 | #Constraints: 220395
479.98/481.54 c #Conflicts: 90000 | #Constraints: 221395
479.98/481.54 c INPROCESSING
479.98/481.54 c GARBAGE COLLECT
479.98/481.54 c #Conflicts: 91000 | #Constraints: 216392
479.98/481.54 c #Conflicts: 92000 | #Constraints: 217392
479.98/481.54 c #Conflicts: 93000 | #Constraints: 218392
479.98/481.54 c #Conflicts: 94000 | #Constraints: 219392
479.98/481.54 c #Conflicts: 95000 | #Constraints: 220392
479.98/481.54 c #Conflicts: 96000 | #Constraints: 221392
479.98/481.54 c INPROCESSING
479.98/481.54 c GARBAGE COLLECT
479.98/481.54 c #Conflicts: 97000 | #Constraints: 216193
479.98/481.54 c #Conflicts: 98000 | #Constraints: 217193
479.98/481.54 c #Conflicts: 99000 | #Constraints: 218193
479.98/481.54 c #Conflicts: 100000 | #Constraints: 219193
479.98/481.54 c #Conflicts: 101000 | #Constraints: 220193
479.98/481.54 c #Conflicts: 102000 | #Constraints: 221193
479.98/481.54 c #Conflicts: 103000 | #Constraints: 222193
479.98/481.54 c INPROCESSING
479.98/481.54 c GARBAGE COLLECT
479.98/481.54 c #Conflicts: 104000 | #Constraints: 216792
479.98/481.54 c #Conflicts: 105000 | #Constraints: 217792
479.98/481.54 c #Conflicts: 106000 | #Constraints: 218792
479.98/481.54 c #Conflicts: 107000 | #Constraints: 219792
479.98/481.54 c #Conflicts: 108000 | #Constraints: 220792
479.98/481.54 c #Conflicts: 109000 | #Constraints: 221792
479.98/481.54 c #Conflicts: 110000 | #Constraints: 222792
479.98/481.54 c INPROCESSING
479.98/481.54 c GARBAGE COLLECT
479.98/481.54 c #Conflicts: 111000 | #Constraints: 217191
479.98/481.54 c #Conflicts: 112000 | #Constraints: 218191
479.98/481.54 c #Conflicts: 113000 | #Constraints: 219191
479.98/481.54 c #Conflicts: 114000 | #Constraints: 220191
479.98/481.54 c #Conflicts: 115000 | #Constraints: 221191
479.98/481.54 c #Conflicts: 116000 | #Constraints: 222191
479.98/481.54 c #Conflicts: 117000 | #Constraints: 223191
479.98/481.54 c INPROCESSING
479.98/481.54 c GARBAGE COLLECT
479.98/481.54 c #Conflicts: 118000 | #Constraints: 217394
479.98/481.54 c #Conflicts: 119000 | #Constraints: 218394
479.98/481.54 c #Conflicts: 120000 | #Constraints: 219394
479.98/481.54 c #Conflicts: 121000 | #Constraints: 220394
596.84/598.71 c #Conflicts: 122000 | #Constraints: 221394
596.84/598.71 c #Conflicts: 123000 | #Constraints: 222394
596.84/598.71 c #Conflicts: 124000 | #Constraints: 223394
596.84/598.71 c INPROCESSING
596.84/598.71 c GARBAGE COLLECT
596.84/598.71 c #Conflicts: 125000 | #Constraints: 217395
596.84/598.71 c #Conflicts: 126000 | #Constraints: 218395
596.84/598.71 c #Conflicts: 127000 | #Constraints: 219395
596.84/598.71 c #Conflicts: 128000 | #Constraints: 220395
596.84/598.71 c #Conflicts: 129000 | #Constraints: 221395
596.84/598.71 c #Conflicts: 130000 | #Constraints: 222395
596.84/598.71 c #Conflicts: 131000 | #Constraints: 223395
596.84/598.71 c INPROCESSING
596.84/598.71 c GARBAGE COLLECT
596.84/598.71 c #Conflicts: 132000 | #Constraints: 217194
596.84/598.71 c #Conflicts: 133000 | #Constraints: 218194
596.84/598.71 c #Conflicts: 134000 | #Constraints: 219194
596.84/598.71 c #Conflicts: 135000 | #Constraints: 220194
596.84/598.71 c #Conflicts: 136000 | #Constraints: 221194
596.84/598.71 c #Conflicts: 137000 | #Constraints: 222194
596.84/598.71 c #Conflicts: 138000 | #Constraints: 223194
596.84/598.71 c #Conflicts: 139000 | #Constraints: 224194
596.84/598.71 c INPROCESSING
596.84/598.71 c GARBAGE COLLECT
596.84/598.71 c #Conflicts: 140000 | #Constraints: 217792
596.84/598.71 c #Conflicts: 141000 | #Constraints: 218792
596.84/598.71 c #Conflicts: 142000 | #Constraints: 219792
596.84/598.71 c #Conflicts: 143000 | #Constraints: 220792
596.84/598.71 c #Conflicts: 144000 | #Constraints: 221792
596.84/598.71 c #Conflicts: 145000 | #Constraints: 222792
596.84/598.71 c #Conflicts: 146000 | #Constraints: 223792
596.84/598.71 c #Conflicts: 147000 | #Constraints: 224792
596.84/598.71 c INPROCESSING
596.84/598.71 c GARBAGE COLLECT
596.84/598.71 c #Conflicts: 148000 | #Constraints: 218192
596.84/598.71 c #Conflicts: 149000 | #Constraints: 219192
596.84/598.71 c #Conflicts: 150000 | #Constraints: 220192
596.84/598.71 c #Conflicts: 151000 | #Constraints: 221192
596.84/598.71 c #Conflicts: 152000 | #Constraints: 222192
596.84/598.71 c #Conflicts: 153000 | #Constraints: 223192
596.84/598.71 c #Conflicts: 154000 | #Constraints: 224192
596.84/598.71 c #Conflicts: 155000 | #Constraints: 225192
596.84/598.71 c INPROCESSING
596.84/598.71 c GARBAGE COLLECT
596.84/598.71 c #Conflicts: 156000 | #Constraints: 218392
596.84/598.71 c #Conflicts: 157000 | #Constraints: 219392
596.84/598.71 c #Conflicts: 158000 | #Constraints: 220392
596.84/598.71 c #Conflicts: 159000 | #Constraints: 221392
596.84/598.71 c #Conflicts: 160000 | #Constraints: 222392
596.84/598.71 c #Conflicts: 161000 | #Constraints: 223392
596.84/598.71 c #Conflicts: 162000 | #Constraints: 224392
596.84/598.71 c #Conflicts: 163000 | #Constraints: 225392
596.84/598.71 c INPROCESSING
596.84/598.71 c GARBAGE COLLECT
596.84/598.71 c #Conflicts: 164000 | #Constraints: 218393
596.84/598.71 c #Conflicts: 165000 | #Constraints: 219393
596.84/598.71 c #Conflicts: 166000 | #Constraints: 220393
596.84/598.71 c #Conflicts: 167000 | #Constraints: 221393
596.84/598.71 c #Conflicts: 168000 | #Constraints: 222393
596.84/598.71 c #Conflicts: 169000 | #Constraints: 223393
596.84/598.71 c #Conflicts: 170000 | #Constraints: 224393
596.84/598.71 c #Conflicts: 171000 | #Constraints: 225393
596.84/598.71 c INPROCESSING
596.84/598.71 c GARBAGE COLLECT
596.84/598.71 c #Conflicts: 172000 | #Constraints: 218191
596.84/598.71 c #Conflicts: 173000 | #Constraints: 219191
596.84/598.71 c #Conflicts: 174000 | #Constraints: 220191
596.84/598.71 c #Conflicts: 175000 | #Constraints: 221191
596.84/598.71 c #Conflicts: 176000 | #Constraints: 222191
596.84/598.71 c #Conflicts: 177000 | #Constraints: 223191
596.84/598.71 c #Conflicts: 178000 | #Constraints: 224191
596.84/598.71 c #Conflicts: 179000 | #Constraints: 225191
596.84/598.71 c #Conflicts: 180000 | #Constraints: 226191
596.84/598.71 c INPROCESSING
596.84/598.71 c GARBAGE COLLECT
596.84/598.71 c #Conflicts: 181000 | #Constraints: 218790
596.84/598.71 c #Conflicts: 182000 | #Constraints: 219790
596.84/598.71 c #Conflicts: 183000 | #Constraints: 220790
596.84/598.71 c #Conflicts: 184000 | #Constraints: 221790
596.84/598.71 c #Conflicts: 185000 | #Constraints: 222790
596.84/598.71 c #Conflicts: 186000 | #Constraints: 223790
596.84/598.71 c #Conflicts: 187000 | #Constraints: 224790
596.84/598.71 c #Conflicts: 188000 | #Constraints: 225790
596.84/598.71 c #Conflicts: 189000 | #Constraints: 226790
596.84/598.71 c INPROCESSING
596.84/598.71 c GARBAGE COLLECT
596.84/598.71 c #Conflicts: 190000 | #Constraints: 219190
596.84/598.71 c #Conflicts: 191000 | #Constraints: 220190
596.84/598.71 c #Conflicts: 192000 | #Constraints: 221190
596.84/598.71 c #Conflicts: 193000 | #Constraints: 222190
596.84/598.71 c #Conflicts: 194000 | #Constraints: 223190
731.53/733.84 c #Conflicts: 195000 | #Constraints: 224190
731.53/733.84 c #Conflicts: 196000 | #Constraints: 225190
731.53/733.84 c #Conflicts: 197000 | #Constraints: 226190
731.53/733.84 c #Conflicts: 198000 | #Constraints: 227190
731.53/733.84 c INPROCESSING
731.53/733.84 c GARBAGE COLLECT
731.53/733.84 c #Conflicts: 199000 | #Constraints: 219392
731.53/733.84 c #Conflicts: 200000 | #Constraints: 220392
731.53/733.84 c #Conflicts: 201000 | #Constraints: 221392
731.53/733.84 c #Conflicts: 202000 | #Constraints: 222392
731.53/733.84 c #Conflicts: 203000 | #Constraints: 223392
731.53/733.84 c #Conflicts: 204000 | #Constraints: 224392
731.53/733.84 c #Conflicts: 205000 | #Constraints: 225392
731.53/733.84 c #Conflicts: 206000 | #Constraints: 226392
731.53/733.84 c #Conflicts: 207000 | #Constraints: 227392
731.53/733.84 c INPROCESSING
731.53/733.84 c GARBAGE COLLECT
731.53/733.84 c #Conflicts: 208000 | #Constraints: 219391
731.53/733.84 c #Conflicts: 209000 | #Constraints: 220391
731.53/733.84 c #Conflicts: 210000 | #Constraints: 221391
731.53/733.84 c #Conflicts: 211000 | #Constraints: 222391
731.53/733.84 c #Conflicts: 212000 | #Constraints: 223391
731.53/733.84 c #Conflicts: 213000 | #Constraints: 224391
731.53/733.84 c #Conflicts: 214000 | #Constraints: 225391
731.53/733.84 c #Conflicts: 215000 | #Constraints: 226391
731.53/733.84 c #Conflicts: 216000 | #Constraints: 227391
731.53/733.84 c INPROCESSING
731.53/733.84 c GARBAGE COLLECT
731.53/733.84 c #Conflicts: 217000 | #Constraints: 219194
731.53/733.84 c #Conflicts: 218000 | #Constraints: 220194
731.53/733.84 c #Conflicts: 219000 | #Constraints: 221194
731.53/733.84 c #Conflicts: 220000 | #Constraints: 222194
731.53/733.84 c #Conflicts: 221000 | #Constraints: 223194
731.53/733.84 c #Conflicts: 222000 | #Constraints: 224194
731.53/733.84 c #Conflicts: 223000 | #Constraints: 225194
731.53/733.84 c #Conflicts: 224000 | #Constraints: 226194
731.53/733.84 c #Conflicts: 225000 | #Constraints: 227194
731.53/733.84 c #Conflicts: 226000 | #Constraints: 228194
731.53/733.84 c INPROCESSING
731.53/733.84 c GARBAGE COLLECT
731.53/733.84 c #Conflicts: 227000 | #Constraints: 219794
731.53/733.84 c #Conflicts: 228000 | #Constraints: 220794
731.53/733.84 c #Conflicts: 229000 | #Constraints: 221794
731.53/733.84 c #Conflicts: 230000 | #Constraints: 222794
731.53/733.84 c #Conflicts: 231000 | #Constraints: 223794
731.53/733.84 c #Conflicts: 232000 | #Constraints: 224794
731.53/733.84 c #Conflicts: 233000 | #Constraints: 225794
731.53/733.84 c #Conflicts: 234000 | #Constraints: 226794
731.53/733.84 c #Conflicts: 235000 | #Constraints: 227794
731.53/733.84 c #Conflicts: 236000 | #Constraints: 228794
731.53/733.84 c INPROCESSING
731.53/733.84 c GARBAGE COLLECT
731.53/733.84 c #Conflicts: 237000 | #Constraints: 220192
731.53/733.84 c #Conflicts: 238000 | #Constraints: 221192
731.53/733.84 c #Conflicts: 239000 | #Constraints: 222192
731.53/733.84 c #Conflicts: 240000 | #Constraints: 223192
731.53/733.84 c #Conflicts: 241000 | #Constraints: 224192
731.53/733.84 c #Conflicts: 242000 | #Constraints: 225192
731.53/733.84 c #Conflicts: 243000 | #Constraints: 226192
731.53/733.84 c #Conflicts: 244000 | #Constraints: 227192
731.53/733.84 c #Conflicts: 245000 | #Constraints: 228192
731.53/733.84 c #Conflicts: 246000 | #Constraints: 229192
731.53/733.84 c INPROCESSING
731.53/733.84 c GARBAGE COLLECT
731.53/733.84 c #Conflicts: 247000 | #Constraints: 220396
731.53/733.84 c #Conflicts: 248000 | #Constraints: 221396
731.53/733.84 c #Conflicts: 249000 | #Constraints: 222396
731.53/733.84 c #Conflicts: 250000 | #Constraints: 223396
731.53/733.84 c #Conflicts: 251000 | #Constraints: 224396
731.53/733.84 c #Conflicts: 252000 | #Constraints: 225396
731.53/733.84 c #Conflicts: 253000 | #Constraints: 226396
731.53/733.84 c #Conflicts: 254000 | #Constraints: 227396
731.53/733.84 c #Conflicts: 255000 | #Constraints: 228396
731.53/733.84 c #Conflicts: 256000 | #Constraints: 229396
731.53/733.84 c INPROCESSING
731.53/733.84 c GARBAGE COLLECT
731.53/733.84 c #Conflicts: 257000 | #Constraints: 220398
731.53/733.84 c #Conflicts: 258000 | #Constraints: 221398
731.53/733.84 c #Conflicts: 259000 | #Constraints: 222398
731.53/733.84 c #Conflicts: 260000 | #Constraints: 223398
731.53/733.84 c #Conflicts: 261000 | #Constraints: 224398
731.53/733.84 c #Conflicts: 262000 | #Constraints: 225398
731.53/733.84 c #Conflicts: 263000 | #Constraints: 226398
731.53/733.84 c #Conflicts: 264000 | #Constraints: 227398
731.53/733.84 c #Conflicts: 265000 | #Constraints: 228398
731.53/733.84 c #Conflicts: 266000 | #Constraints: 229398
731.53/733.84 c INPROCESSING
731.53/733.84 c GARBAGE COLLECT
731.53/733.84 c #Conflicts: 267000 | #Constraints: 220196
731.53/733.84 c #Conflicts: 268000 | #Constraints: 221196
849.67/852.37 c #Conflicts: 269000 | #Constraints: 222196
849.67/852.37 c #Conflicts: 270000 | #Constraints: 223196
849.67/852.37 c #Conflicts: 271000 | #Constraints: 224196
849.67/852.37 c #Conflicts: 272000 | #Constraints: 225196
849.67/852.37 c #Conflicts: 273000 | #Constraints: 226196
849.67/852.37 c #Conflicts: 274000 | #Constraints: 227196
849.67/852.37 c #Conflicts: 275000 | #Constraints: 228196
849.67/852.37 c #Conflicts: 276000 | #Constraints: 229196
849.67/852.37 c #Conflicts: 277000 | #Constraints: 230196
849.67/852.37 c INPROCESSING
849.67/852.37 c GARBAGE COLLECT
849.67/852.37 c #Conflicts: 278000 | #Constraints: 220796
849.67/852.37 c #Conflicts: 279000 | #Constraints: 221796
849.67/852.37 c #Conflicts: 280000 | #Constraints: 222796
849.67/852.37 c #Conflicts: 281000 | #Constraints: 223796
849.67/852.37 c #Conflicts: 282000 | #Constraints: 224796
849.67/852.37 c #Conflicts: 283000 | #Constraints: 225796
849.67/852.37 c #Conflicts: 284000 | #Constraints: 226796
849.67/852.37 c #Conflicts: 285000 | #Constraints: 227796
849.67/852.37 c #Conflicts: 286000 | #Constraints: 228796
849.67/852.37 c #Conflicts: 287000 | #Constraints: 229796
849.67/852.37 c #Conflicts: 288000 | #Constraints: 230796
849.67/852.37 c INPROCESSING
849.67/852.37 c GARBAGE COLLECT
849.67/852.37 c #Conflicts: 289000 | #Constraints: 221195
849.67/852.37 c #Conflicts: 290000 | #Constraints: 222195
849.67/852.37 c #Conflicts: 291000 | #Constraints: 223195
849.67/852.37 c #Conflicts: 292000 | #Constraints: 224195
849.67/852.37 c #Conflicts: 293000 | #Constraints: 225195
849.67/852.37 c #Conflicts: 294000 | #Constraints: 226195
849.67/852.37 c #Conflicts: 295000 | #Constraints: 227195
849.67/852.37 c #Conflicts: 296000 | #Constraints: 228195
849.67/852.37 c #Conflicts: 297000 | #Constraints: 229195
849.67/852.37 c #Conflicts: 298000 | #Constraints: 230195
849.67/852.37 c #Conflicts: 299000 | #Constraints: 231195
849.67/852.37 c INPROCESSING
849.67/852.37 c GARBAGE COLLECT
849.67/852.37 c #Conflicts: 300000 | #Constraints: 221396
849.67/852.37 c #Conflicts: 301000 | #Constraints: 222396
849.67/852.37 c #Conflicts: 302000 | #Constraints: 223396
849.67/852.37 c #Conflicts: 303000 | #Constraints: 224396
849.67/852.37 c #Conflicts: 304000 | #Constraints: 225396
849.67/852.37 c #Conflicts: 305000 | #Constraints: 226396
849.67/852.37 c #Conflicts: 306000 | #Constraints: 227396
849.67/852.37 c #Conflicts: 307000 | #Constraints: 228396
849.67/852.37 c #Conflicts: 308000 | #Constraints: 229396
849.67/852.37 c #Conflicts: 309000 | #Constraints: 230396
849.67/852.37 c #Conflicts: 310000 | #Constraints: 231396
849.67/852.37 c INPROCESSING
849.67/852.37 c GARBAGE COLLECT
849.67/852.37 c #Conflicts: 311000 | #Constraints: 221397
849.67/852.37 c #Conflicts: 312000 | #Constraints: 222397
849.67/852.37 c #Conflicts: 313000 | #Constraints: 223397
849.67/852.37 c #Conflicts: 314000 | #Constraints: 224397
849.67/852.37 c #Conflicts: 315000 | #Constraints: 225397
849.67/852.37 c #Conflicts: 316000 | #Constraints: 226397
849.67/852.37 c #Conflicts: 317000 | #Constraints: 227397
849.67/852.37 c #Conflicts: 318000 | #Constraints: 228397
849.67/852.37 c #Conflicts: 319000 | #Constraints: 229397
849.67/852.37 c #Conflicts: 320000 | #Constraints: 230397
849.67/852.37 c #Conflicts: 321000 | #Constraints: 231397
849.67/852.37 c INPROCESSING
849.67/852.37 c GARBAGE COLLECT
849.67/852.37 c #Conflicts: 322000 | #Constraints: 221193
849.67/852.37 c #Conflicts: 323000 | #Constraints: 222193
849.67/852.37 c #Conflicts: 324000 | #Constraints: 223193
849.67/852.37 c #Conflicts: 325000 | #Constraints: 224193
849.67/852.37 c #Conflicts: 326000 | #Constraints: 225193
849.67/852.37 c #Conflicts: 327000 | #Constraints: 226193
849.67/852.37 c #Conflicts: 328000 | #Constraints: 227193
849.67/852.37 c #Conflicts: 329000 | #Constraints: 228193
849.67/852.37 c #Conflicts: 330000 | #Constraints: 229193
849.67/852.37 c #Conflicts: 331000 | #Constraints: 230193
849.67/852.37 c #Conflicts: 332000 | #Constraints: 231193
849.67/852.37 c #Conflicts: 333000 | #Constraints: 232193
849.67/852.37 c INPROCESSING
849.67/852.37 c GARBAGE COLLECT
849.67/852.37 c #Conflicts: 334000 | #Constraints: 221794
849.67/852.37 c #Conflicts: 335000 | #Constraints: 222794
849.67/852.37 c #Conflicts: 336000 | #Constraints: 223794
849.67/852.37 c #Conflicts: 337000 | #Constraints: 224794
849.67/852.37 c #Conflicts: 338000 | #Constraints: 225794
849.67/852.37 c #Conflicts: 339000 | #Constraints: 226794
849.67/852.37 c #Conflicts: 340000 | #Constraints: 227794
849.67/852.37 c #Conflicts: 341000 | #Constraints: 228794
849.67/852.37 c #Conflicts: 342000 | #Constraints: 229794
849.67/852.37 c #Conflicts: 343000 | #Constraints: 230794
953.45/956.46 c #Conflicts: 344000 | #Constraints: 231794
953.45/956.46 c #Conflicts: 345000 | #Constraints: 232794
953.45/956.46 c INPROCESSING
953.45/956.46 c GARBAGE COLLECT
953.45/956.46 c #Conflicts: 346000 | #Constraints: 222192
953.45/956.46 c #Conflicts: 347000 | #Constraints: 223192
953.45/956.46 c #Conflicts: 348000 | #Constraints: 224192
953.45/956.46 c #Conflicts: 349000 | #Constraints: 225192
953.45/956.46 c #Conflicts: 350000 | #Constraints: 226192
953.45/956.46 c #Conflicts: 351000 | #Constraints: 227192
953.45/956.46 c #Conflicts: 352000 | #Constraints: 228192
953.45/956.46 c #Conflicts: 353000 | #Constraints: 229192
953.45/956.46 c #Conflicts: 354000 | #Constraints: 230192
953.45/956.46 c #Conflicts: 355000 | #Constraints: 231192
953.45/956.46 c #Conflicts: 356000 | #Constraints: 232192
953.45/956.46 c #Conflicts: 357000 | #Constraints: 233192
953.45/956.46 c INPROCESSING
953.45/956.46 c GARBAGE COLLECT
953.45/956.46 c #Conflicts: 358000 | #Constraints: 222390
953.45/956.46 c #Conflicts: 359000 | #Constraints: 223390
953.45/956.46 c #Conflicts: 360000 | #Constraints: 224390
953.45/956.46 c #Conflicts: 361000 | #Constraints: 225390
953.45/956.46 c #Conflicts: 362000 | #Constraints: 226390
953.45/956.46 c #Conflicts: 363000 | #Constraints: 227390
953.45/956.46 c #Conflicts: 364000 | #Constraints: 228390
953.45/956.46 c #Conflicts: 365000 | #Constraints: 229390
953.45/956.46 c #Conflicts: 366000 | #Constraints: 230390
953.45/956.46 c #Conflicts: 367000 | #Constraints: 231390
953.45/956.46 c #Conflicts: 368000 | #Constraints: 232390
953.45/956.46 c #Conflicts: 369000 | #Constraints: 233390
953.45/956.46 c INPROCESSING
953.45/956.46 c GARBAGE COLLECT
953.45/956.46 c #Conflicts: 370000 | #Constraints: 222395
953.45/956.46 c #Conflicts: 371000 | #Constraints: 223395
953.45/956.46 c #Conflicts: 372000 | #Constraints: 224395
953.45/956.46 c #Conflicts: 373000 | #Constraints: 225395
953.45/956.46 c #Conflicts: 374000 | #Constraints: 226395
953.45/956.46 c #Conflicts: 375000 | #Constraints: 227395
953.45/956.46 c #Conflicts: 376000 | #Constraints: 228395
953.45/956.46 c #Conflicts: 377000 | #Constraints: 229395
953.45/956.46 c #Conflicts: 378000 | #Constraints: 230395
953.45/956.46 c #Conflicts: 379000 | #Constraints: 231395
953.45/956.46 c #Conflicts: 380000 | #Constraints: 232395
953.45/956.46 c #Conflicts: 381000 | #Constraints: 233395
953.45/956.46 c INPROCESSING
953.45/956.46 c GARBAGE COLLECT
953.45/956.46 c #Conflicts: 382000 | #Constraints: 222197
953.45/956.46 c #Conflicts: 383000 | #Constraints: 223197
953.45/956.46 c #Conflicts: 384000 | #Constraints: 224197
953.45/956.46 c #Conflicts: 385000 | #Constraints: 225197
953.45/956.46 c #Conflicts: 386000 | #Constraints: 226197
953.45/956.46 c #Conflicts: 387000 | #Constraints: 227197
953.45/956.46 c #Conflicts: 388000 | #Constraints: 228197
953.45/956.46 c #Conflicts: 389000 | #Constraints: 229197
953.45/956.46 c #Conflicts: 390000 | #Constraints: 230197
953.45/956.46 c #Conflicts: 391000 | #Constraints: 231197
953.45/956.46 c #Conflicts: 392000 | #Constraints: 232197
953.45/956.46 c #Conflicts: 393000 | #Constraints: 233197
953.45/956.46 c #Conflicts: 394000 | #Constraints: 234197
953.45/956.46 c INPROCESSING
953.45/956.46 c GARBAGE COLLECT
953.45/956.46 c #Conflicts: 395000 | #Constraints: 222800
953.45/956.46 c #Conflicts: 396000 | #Constraints: 223800
953.45/956.46 c #Conflicts: 397000 | #Constraints: 224800
953.45/956.46 c #Conflicts: 398000 | #Constraints: 225800
953.45/956.46 c #Conflicts: 399000 | #Constraints: 226800
953.45/956.46 c #Conflicts: 400000 | #Constraints: 227800
953.45/956.46 c #Conflicts: 401000 | #Constraints: 228800
953.45/956.46 c #Conflicts: 402000 | #Constraints: 229800
953.45/956.46 c #Conflicts: 403000 | #Constraints: 230800
953.45/956.46 c #Conflicts: 404000 | #Constraints: 231800
953.45/956.46 c #Conflicts: 405000 | #Constraints: 232800
953.45/956.46 c #Conflicts: 406000 | #Constraints: 233800
953.45/956.46 c #Conflicts: 407000 | #Constraints: 234800
953.45/956.46 c INPROCESSING
953.45/956.46 c GARBAGE COLLECT
953.45/956.46 c #Conflicts: 408000 | #Constraints: 223197
953.45/956.46 c #Conflicts: 409000 | #Constraints: 224197
953.45/956.46 c #Conflicts: 410000 | #Constraints: 225197
953.45/956.46 c #Conflicts: 411000 | #Constraints: 226197
953.45/956.46 c #Conflicts: 412000 | #Constraints: 227197
953.45/956.46 c #Conflicts: 413000 | #Constraints: 228197
953.45/956.46 c #Conflicts: 414000 | #Constraints: 229197
953.45/956.46 c #Conflicts: 415000 | #Constraints: 230197
953.45/956.46 c #Conflicts: 416000 | #Constraints: 231197
953.45/956.46 c #Conflicts: 417000 | #Constraints: 232197
953.45/956.46 c #Conflicts: 418000 | #Constraints: 233197
1047.77/1051.06 c #Conflicts: 419000 | #Constraints: 234197
1047.77/1051.06 c #Conflicts: 420000 | #Constraints: 235197
1047.77/1051.06 c INPROCESSING
1047.77/1051.06 c GARBAGE COLLECT
1047.77/1051.06 c #Conflicts: 421000 | #Constraints: 223397
1047.77/1051.06 c #Conflicts: 422000 | #Constraints: 224397
1047.77/1051.06 c #Conflicts: 423000 | #Constraints: 225397
1047.77/1051.06 c #Conflicts: 424000 | #Constraints: 226397
1047.77/1051.06 c #Conflicts: 425000 | #Constraints: 227397
1047.77/1051.06 c #Conflicts: 426000 | #Constraints: 228397
1047.77/1051.06 c #Conflicts: 427000 | #Constraints: 229397
1047.77/1051.06 c #Conflicts: 428000 | #Constraints: 230397
1047.77/1051.06 c #Conflicts: 429000 | #Constraints: 231397
1047.77/1051.06 c #Conflicts: 430000 | #Constraints: 232397
1047.77/1051.06 c #Conflicts: 431000 | #Constraints: 233397
1047.77/1051.06 c #Conflicts: 432000 | #Constraints: 234397
1047.77/1051.06 c #Conflicts: 433000 | #Constraints: 235397
1047.77/1051.06 c INPROCESSING
1047.77/1051.06 c GARBAGE COLLECT
1047.77/1051.06 c #Conflicts: 434000 | #Constraints: 223397
1047.77/1051.06 c #Conflicts: 435000 | #Constraints: 224397
1047.77/1051.06 c #Conflicts: 436000 | #Constraints: 225397
1047.77/1051.06 c #Conflicts: 437000 | #Constraints: 226397
1047.77/1051.06 c #Conflicts: 438000 | #Constraints: 227397
1047.77/1051.06 c #Conflicts: 439000 | #Constraints: 228397
1047.77/1051.06 c #Conflicts: 440000 | #Constraints: 229397
1047.77/1051.06 c #Conflicts: 441000 | #Constraints: 230397
1047.77/1051.06 c #Conflicts: 442000 | #Constraints: 231397
1047.77/1051.06 c #Conflicts: 443000 | #Constraints: 232397
1047.77/1051.06 c #Conflicts: 444000 | #Constraints: 233397
1047.77/1051.06 c #Conflicts: 445000 | #Constraints: 234397
1047.77/1051.06 c #Conflicts: 446000 | #Constraints: 235397
1047.77/1051.06 c INPROCESSING
1047.77/1051.06 c GARBAGE COLLECT
1047.77/1051.06 c #Conflicts: 447000 | #Constraints: 223200
1047.77/1051.06 c #Conflicts: 448000 | #Constraints: 224200
1047.77/1051.06 c #Conflicts: 449000 | #Constraints: 225200
1047.77/1051.06 c #Conflicts: 450000 | #Constraints: 226200
1047.77/1051.06 c #Conflicts: 451000 | #Constraints: 227200
1047.77/1051.06 c #Conflicts: 452000 | #Constraints: 228200
1047.77/1051.06 c #Conflicts: 453000 | #Constraints: 229200
1047.77/1051.06 c #Conflicts: 454000 | #Constraints: 230200
1047.77/1051.06 c #Conflicts: 455000 | #Constraints: 231200
1047.77/1051.06 c #Conflicts: 456000 | #Constraints: 232200
1047.77/1051.06 c #Conflicts: 457000 | #Constraints: 233200
1047.77/1051.06 c #Conflicts: 458000 | #Constraints: 234200
1047.77/1051.06 c #Conflicts: 459000 | #Constraints: 235200
1047.77/1051.06 c #Conflicts: 460000 | #Constraints: 236200
1047.77/1051.06 c INPROCESSING
1047.77/1051.06 c GARBAGE COLLECT
1047.77/1051.06 c #Conflicts: 461000 | #Constraints: 223798
1047.77/1051.06 c #Conflicts: 462000 | #Constraints: 224798
1047.77/1051.06 c #Conflicts: 463000 | #Constraints: 225798
1047.77/1051.06 c #Conflicts: 464000 | #Constraints: 226798
1047.77/1051.06 c #Conflicts: 465000 | #Constraints: 227798
1047.77/1051.06 c #Conflicts: 466000 | #Constraints: 228798
1047.77/1051.06 c #Conflicts: 467000 | #Constraints: 229798
1047.77/1051.06 c #Conflicts: 468000 | #Constraints: 230798
1047.77/1051.06 c #Conflicts: 469000 | #Constraints: 231798
1047.77/1051.06 c #Conflicts: 470000 | #Constraints: 232798
1047.77/1051.06 c #Conflicts: 471000 | #Constraints: 233798
1047.77/1051.06 c #Conflicts: 472000 | #Constraints: 234798
1047.77/1051.06 c #Conflicts: 473000 | #Constraints: 235798
1047.77/1051.06 c #Conflicts: 474000 | #Constraints: 236798
1047.77/1051.06 c INPROCESSING
1047.77/1051.06 c GARBAGE COLLECT
1047.77/1051.06 c #Conflicts: 475000 | #Constraints: 224201
1047.77/1051.06 c #Conflicts: 476000 | #Constraints: 225201
1047.77/1051.06 c #Conflicts: 477000 | #Constraints: 226201
1047.77/1051.06 c #Conflicts: 478000 | #Constraints: 227201
1047.77/1051.06 c #Conflicts: 479000 | #Constraints: 228201
1047.77/1051.06 c #Conflicts: 480000 | #Constraints: 229201
1047.77/1051.06 c #Conflicts: 481000 | #Constraints: 230201
1047.77/1051.06 c #Conflicts: 482000 | #Constraints: 231201
1047.77/1051.06 c #Conflicts: 483000 | #Constraints: 232201
1047.77/1051.06 c #Conflicts: 484000 | #Constraints: 233201
1047.77/1051.06 c #Conflicts: 485000 | #Constraints: 234201
1047.77/1051.06 c #Conflicts: 486000 | #Constraints: 235201
1047.77/1051.06 c #Conflicts: 487000 | #Constraints: 236201
1047.77/1051.06 c #Conflicts: 488000 | #Constraints: 237201
1047.77/1051.06 c INPROCESSING
1047.77/1051.06 c GARBAGE COLLECT
1047.77/1051.06 c #Conflicts: 489000 | #Constraints: 224403
1047.77/1051.06 c #Conflicts: 490000 | #Constraints: 225403
1047.77/1051.06 c #Conflicts: 491000 | #Constraints: 226403
1047.77/1051.06 c #Conflicts: 492000 | #Constraints: 227403
1047.77/1051.06 c #Conflicts: 493000 | #Constraints: 228403
1147.56/1151.18 c #Conflicts: 494000 | #Constraints: 229403
1147.56/1151.18 c #Conflicts: 495000 | #Constraints: 230403
1147.56/1151.18 c #Conflicts: 496000 | #Constraints: 231403
1147.56/1151.18 c #Conflicts: 497000 | #Constraints: 232403
1147.56/1151.18 c #Conflicts: 498000 | #Constraints: 233403
1147.56/1151.18 c #Conflicts: 499000 | #Constraints: 234403
1147.56/1151.18 c #Conflicts: 500000 | #Constraints: 235403
1147.56/1151.18 c #Conflicts: 501000 | #Constraints: 236403
1147.56/1151.18 c #Conflicts: 502000 | #Constraints: 237403
1147.56/1151.18 c INPROCESSING
1147.56/1151.18 c GARBAGE COLLECT
1147.56/1151.18 c #Conflicts: 503000 | #Constraints: 224398
1147.56/1151.18 c #Conflicts: 504000 | #Constraints: 225398
1147.56/1151.18 c #Conflicts: 505000 | #Constraints: 226398
1147.56/1151.18 c #Conflicts: 506000 | #Constraints: 227398
1147.56/1151.18 c #Conflicts: 507000 | #Constraints: 228398
1147.56/1151.18 c #Conflicts: 508000 | #Constraints: 229398
1147.56/1151.18 c #Conflicts: 509000 | #Constraints: 230398
1147.56/1151.18 c #Conflicts: 510000 | #Constraints: 231398
1147.56/1151.18 c #Conflicts: 511000 | #Constraints: 232398
1147.56/1151.18 c #Conflicts: 512000 | #Constraints: 233398
1147.56/1151.18 c #Conflicts: 513000 | #Constraints: 234398
1147.56/1151.18 c #Conflicts: 514000 | #Constraints: 235398
1147.56/1151.18 c #Conflicts: 515000 | #Constraints: 236398
1147.56/1151.18 c #Conflicts: 516000 | #Constraints: 237398
1147.56/1151.18 c INPROCESSING
1147.56/1151.18 c GARBAGE COLLECT
1147.56/1151.18 c #Conflicts: 517000 | #Constraints: 224198
1147.56/1151.18 c #Conflicts: 518000 | #Constraints: 225198
1147.56/1151.18 c #Conflicts: 519000 | #Constraints: 226198
1147.56/1151.18 c #Conflicts: 520000 | #Constraints: 227198
1147.56/1151.18 c #Conflicts: 521000 | #Constraints: 228198
1147.56/1151.18 c #Conflicts: 522000 | #Constraints: 229198
1147.56/1151.18 c #Conflicts: 523000 | #Constraints: 230198
1147.56/1151.18 c #Conflicts: 524000 | #Constraints: 231198
1147.56/1151.18 c #Conflicts: 525000 | #Constraints: 232198
1147.56/1151.18 c #Conflicts: 526000 | #Constraints: 233198
1147.56/1151.18 c #Conflicts: 527000 | #Constraints: 234198
1147.56/1151.18 c #Conflicts: 528000 | #Constraints: 235198
1147.56/1151.18 c #Conflicts: 529000 | #Constraints: 236198
1147.56/1151.18 c #Conflicts: 530000 | #Constraints: 237198
1147.56/1151.18 c #Conflicts: 531000 | #Constraints: 238198
1147.56/1151.18 c INPROCESSING
1147.56/1151.18 c GARBAGE COLLECT
1147.56/1151.18 c #Conflicts: 532000 | #Constraints: 224801
1147.56/1151.18 c #Conflicts: 533000 | #Constraints: 225801
1147.56/1151.18 c #Conflicts: 534000 | #Constraints: 226801
1147.56/1151.18 c #Conflicts: 535000 | #Constraints: 227801
1147.56/1151.18 c #Conflicts: 536000 | #Constraints: 228801
1147.56/1151.18 c #Conflicts: 537000 | #Constraints: 229801
1147.56/1151.18 c #Conflicts: 538000 | #Constraints: 230801
1147.56/1151.18 c #Conflicts: 539000 | #Constraints: 231801
1147.56/1151.18 c #Conflicts: 540000 | #Constraints: 232801
1147.56/1151.18 c #Conflicts: 541000 | #Constraints: 233801
1147.56/1151.18 c #Conflicts: 542000 | #Constraints: 234801
1147.56/1151.18 c #Conflicts: 543000 | #Constraints: 235801
1147.56/1151.18 c #Conflicts: 544000 | #Constraints: 236801
1147.56/1151.18 c #Conflicts: 545000 | #Constraints: 237801
1147.56/1151.18 c #Conflicts: 546000 | #Constraints: 238801
1147.56/1151.18 c INPROCESSING
1147.56/1151.18 c GARBAGE COLLECT
1147.56/1151.18 c #Conflicts: 547000 | #Constraints: 225200
1147.56/1151.18 c #Conflicts: 548000 | #Constraints: 226200
1147.56/1151.18 c #Conflicts: 549000 | #Constraints: 227200
1147.56/1151.18 c #Conflicts: 550000 | #Constraints: 228200
1147.56/1151.18 c #Conflicts: 551000 | #Constraints: 229200
1147.56/1151.18 c #Conflicts: 552000 | #Constraints: 230200
1147.56/1151.18 c #Conflicts: 553000 | #Constraints: 231200
1147.56/1151.18 c #Conflicts: 554000 | #Constraints: 232200
1147.56/1151.18 c #Conflicts: 555000 | #Constraints: 233200
1147.56/1151.18 c #Conflicts: 556000 | #Constraints: 234200
1147.56/1151.18 c #Conflicts: 557000 | #Constraints: 235200
1147.56/1151.18 c #Conflicts: 558000 | #Constraints: 236200
1147.56/1151.18 c #Conflicts: 559000 | #Constraints: 237200
1147.56/1151.18 c #Conflicts: 560000 | #Constraints: 238200
1147.56/1151.18 c #Conflicts: 561000 | #Constraints: 239200
1147.56/1151.18 c INPROCESSING
1147.56/1151.18 c GARBAGE COLLECT
1147.56/1151.18 c #Conflicts: 562000 | #Constraints: 225398
1147.56/1151.18 c #Conflicts: 563000 | #Constraints: 226398
1147.56/1151.18 c #Conflicts: 564000 | #Constraints: 227398
1147.56/1151.18 c #Conflicts: 565000 | #Constraints: 228398
1147.56/1151.18 c #Conflicts: 566000 | #Constraints: 229398
1147.56/1151.18 c #Conflicts: 567000 | #Constraints: 230398
1147.56/1151.18 c #Conflicts: 568000 | #Constraints: 231398
1260.39/1264.32 c #Conflicts: 569000 | #Constraints: 232398
1260.39/1264.32 c #Conflicts: 570000 | #Constraints: 233398
1260.39/1264.32 c #Conflicts: 571000 | #Constraints: 234398
1260.39/1264.32 c #Conflicts: 572000 | #Constraints: 235398
1260.39/1264.32 c #Conflicts: 573000 | #Constraints: 236398
1260.39/1264.32 c #Conflicts: 574000 | #Constraints: 237398
1260.39/1264.32 c #Conflicts: 575000 | #Constraints: 238398
1260.39/1264.32 c #Conflicts: 576000 | #Constraints: 239398
1260.39/1264.32 c INPROCESSING
1260.39/1264.32 c GARBAGE COLLECT
1260.39/1264.32 c #Conflicts: 577000 | #Constraints: 225399
1260.39/1264.32 c #Conflicts: 578000 | #Constraints: 226399
1260.39/1264.32 c #Conflicts: 579000 | #Constraints: 227399
1260.39/1264.32 c #Conflicts: 580000 | #Constraints: 228399
1260.39/1264.32 c #Conflicts: 581000 | #Constraints: 229399
1260.39/1264.32 c #Conflicts: 582000 | #Constraints: 230399
1260.39/1264.32 c #Conflicts: 583000 | #Constraints: 231399
1260.39/1264.32 c #Conflicts: 584000 | #Constraints: 232399
1260.39/1264.32 c #Conflicts: 585000 | #Constraints: 233399
1260.39/1264.32 c #Conflicts: 586000 | #Constraints: 234399
1260.39/1264.32 c #Conflicts: 587000 | #Constraints: 235399
1260.39/1264.32 c #Conflicts: 588000 | #Constraints: 236399
1260.39/1264.32 c #Conflicts: 589000 | #Constraints: 237399
1260.39/1264.32 c #Conflicts: 590000 | #Constraints: 238399
1260.39/1264.32 c #Conflicts: 591000 | #Constraints: 239399
1260.39/1264.32 c INPROCESSING
1260.39/1264.32 c GARBAGE COLLECT
1260.39/1264.32 c #Conflicts: 592000 | #Constraints: 225202
1260.39/1264.32 c #Conflicts: 593000 | #Constraints: 226202
1260.39/1264.32 c #Conflicts: 594000 | #Constraints: 227202
1260.39/1264.32 c #Conflicts: 595000 | #Constraints: 228202
1260.39/1264.32 c #Conflicts: 596000 | #Constraints: 229202
1260.39/1264.32 c #Conflicts: 597000 | #Constraints: 230202
1260.39/1264.32 c #Conflicts: 598000 | #Constraints: 231202
1260.39/1264.32 c #Conflicts: 599000 | #Constraints: 232202
1260.39/1264.32 c #Conflicts: 600000 | #Constraints: 233202
1260.39/1264.32 c #Conflicts: 601000 | #Constraints: 234202
1260.39/1264.32 c #Conflicts: 602000 | #Constraints: 235202
1260.39/1264.32 c #Conflicts: 603000 | #Constraints: 236202
1260.39/1264.32 c #Conflicts: 604000 | #Constraints: 237202
1260.39/1264.32 c #Conflicts: 605000 | #Constraints: 238202
1260.39/1264.32 c #Conflicts: 606000 | #Constraints: 239202
1260.39/1264.32 c #Conflicts: 607000 | #Constraints: 240202
1260.39/1264.32 c INPROCESSING
1260.39/1264.32 c GARBAGE COLLECT
1260.39/1264.32 c #Conflicts: 608000 | #Constraints: 225797
1260.39/1264.32 c #Conflicts: 609000 | #Constraints: 226797
1260.39/1264.32 c #Conflicts: 610000 | #Constraints: 227797
1260.39/1264.32 c #Conflicts: 611000 | #Constraints: 228797
1260.39/1264.32 c #Conflicts: 612000 | #Constraints: 229797
1260.39/1264.32 c #Conflicts: 613000 | #Constraints: 230797
1260.39/1264.32 c #Conflicts: 614000 | #Constraints: 231797
1260.39/1264.32 c #Conflicts: 615000 | #Constraints: 232797
1260.39/1264.32 c #Conflicts: 616000 | #Constraints: 233797
1260.39/1264.32 c #Conflicts: 617000 | #Constraints: 234797
1260.39/1264.32 c #Conflicts: 618000 | #Constraints: 235797
1260.39/1264.32 c #Conflicts: 619000 | #Constraints: 236797
1260.39/1264.32 c #Conflicts: 620000 | #Constraints: 237797
1260.39/1264.32 c #Conflicts: 621000 | #Constraints: 238797
1260.39/1264.32 c #Conflicts: 622000 | #Constraints: 239797
1260.39/1264.32 c #Conflicts: 623000 | #Constraints: 240797
1260.39/1264.32 c INPROCESSING
1260.39/1264.32 c GARBAGE COLLECT
1260.39/1264.32 c #Conflicts: 624000 | #Constraints: 226202
1260.39/1264.32 c #Conflicts: 625000 | #Constraints: 227202
1260.39/1264.32 c #Conflicts: 626000 | #Constraints: 228202
1260.39/1264.32 c #Conflicts: 627000 | #Constraints: 229202
1260.39/1264.32 c #Conflicts: 628000 | #Constraints: 230202
1260.39/1264.32 c #Conflicts: 629000 | #Constraints: 231202
1260.39/1264.32 c #Conflicts: 630000 | #Constraints: 232202
1260.39/1264.32 c #Conflicts: 631000 | #Constraints: 233202
1260.39/1264.32 c #Conflicts: 632000 | #Constraints: 234202
1260.39/1264.32 c #Conflicts: 633000 | #Constraints: 235202
1260.39/1264.32 c #Conflicts: 634000 | #Constraints: 236202
1260.39/1264.32 c #Conflicts: 635000 | #Constraints: 237202
1260.39/1264.32 c #Conflicts: 636000 | #Constraints: 238202
1260.39/1264.32 c #Conflicts: 637000 | #Constraints: 239202
1260.39/1264.32 c #Conflicts: 638000 | #Constraints: 240202
1260.39/1264.32 c #Conflicts: 639000 | #Constraints: 241202
1260.39/1264.32 c INPROCESSING
1260.39/1264.32 c GARBAGE COLLECT
1260.39/1264.32 c #Conflicts: 640000 | #Constraints: 226403
1260.39/1264.32 c #Conflicts: 641000 | #Constraints: 227403
1260.39/1264.32 c #Conflicts: 642000 | #Constraints: 228403
1260.39/1264.32 c #Conflicts: 643000 | #Constraints: 229403
1260.39/1264.32 c #Conflicts: 644000 | #Constraints: 230403
1384.18/1388.56 c #Conflicts: 645000 | #Constraints: 231403
1384.18/1388.56 c #Conflicts: 646000 | #Constraints: 232403
1384.18/1388.56 c #Conflicts: 647000 | #Constraints: 233403
1384.18/1388.56 c #Conflicts: 648000 | #Constraints: 234403
1384.18/1388.56 c #Conflicts: 649000 | #Constraints: 235403
1384.18/1388.56 c #Conflicts: 650000 | #Constraints: 236403
1384.18/1388.56 c #Conflicts: 651000 | #Constraints: 237403
1384.18/1388.56 c #Conflicts: 652000 | #Constraints: 238403
1384.18/1388.56 c #Conflicts: 653000 | #Constraints: 239403
1384.18/1388.56 c #Conflicts: 654000 | #Constraints: 240403
1384.18/1388.56 c #Conflicts: 655000 | #Constraints: 241403
1384.18/1388.56 c INPROCESSING
1384.18/1388.56 c GARBAGE COLLECT
1384.18/1388.56 c #Conflicts: 656000 | #Constraints: 226401
1384.18/1388.56 c #Conflicts: 657000 | #Constraints: 227401
1384.18/1388.56 c #Conflicts: 658000 | #Constraints: 228401
1384.18/1388.56 c #Conflicts: 659000 | #Constraints: 229401
1384.18/1388.56 c #Conflicts: 660000 | #Constraints: 230401
1384.18/1388.56 c #Conflicts: 661000 | #Constraints: 231401
1384.18/1388.56 c #Conflicts: 662000 | #Constraints: 232401
1384.18/1388.56 c #Conflicts: 663000 | #Constraints: 233401
1384.18/1388.56 c #Conflicts: 664000 | #Constraints: 234401
1384.18/1388.56 c #Conflicts: 665000 | #Constraints: 235401
1384.18/1388.56 c #Conflicts: 666000 | #Constraints: 236401
1384.18/1388.56 c #Conflicts: 667000 | #Constraints: 237401
1384.18/1388.56 c #Conflicts: 668000 | #Constraints: 238401
1384.18/1388.56 c #Conflicts: 669000 | #Constraints: 239401
1384.18/1388.56 c #Conflicts: 670000 | #Constraints: 240401
1384.18/1388.56 c #Conflicts: 671000 | #Constraints: 241401
1384.18/1388.56 c INPROCESSING
1384.18/1388.56 c GARBAGE COLLECT
1384.18/1388.56 c #Conflicts: 672000 | #Constraints: 226193
1384.18/1388.56 c #Conflicts: 673000 | #Constraints: 227193
1384.18/1388.56 c #Conflicts: 674000 | #Constraints: 228193
1384.18/1388.56 c #Conflicts: 675000 | #Constraints: 229193
1384.18/1388.56 c #Conflicts: 676000 | #Constraints: 230193
1384.18/1388.56 c #Conflicts: 677000 | #Constraints: 231193
1384.18/1388.56 c #Conflicts: 678000 | #Constraints: 232193
1384.18/1388.56 c #Conflicts: 679000 | #Constraints: 233193
1384.18/1388.56 c #Conflicts: 680000 | #Constraints: 234193
1384.18/1388.56 c #Conflicts: 681000 | #Constraints: 235193
1384.18/1388.56 c #Conflicts: 682000 | #Constraints: 236193
1384.18/1388.56 c #Conflicts: 683000 | #Constraints: 237193
1384.18/1388.56 c #Conflicts: 684000 | #Constraints: 238193
1384.18/1388.56 c #Conflicts: 685000 | #Constraints: 239193
1384.18/1388.56 c #Conflicts: 686000 | #Constraints: 240193
1384.18/1388.56 c #Conflicts: 687000 | #Constraints: 241193
1384.18/1388.56 c #Conflicts: 688000 | #Constraints: 242193
1384.18/1388.56 c INPROCESSING
1384.18/1388.56 c GARBAGE COLLECT
1384.18/1388.56 c #Conflicts: 689000 | #Constraints: 226792
1384.18/1388.56 c #Conflicts: 690000 | #Constraints: 227792
1384.18/1388.56 c #Conflicts: 691000 | #Constraints: 228792
1384.18/1388.56 c #Conflicts: 692000 | #Constraints: 229792
1384.18/1388.56 c #Conflicts: 693000 | #Constraints: 230792
1384.18/1388.56 c #Conflicts: 694000 | #Constraints: 231792
1384.18/1388.56 c #Conflicts: 695000 | #Constraints: 232792
1384.18/1388.56 c #Conflicts: 696000 | #Constraints: 233792
1384.18/1388.56 c #Conflicts: 697000 | #Constraints: 234792
1384.18/1388.56 c #Conflicts: 698000 | #Constraints: 235792
1384.18/1388.56 c #Conflicts: 699000 | #Constraints: 236792
1384.18/1388.56 c #Conflicts: 700000 | #Constraints: 237792
1384.18/1388.56 c #Conflicts: 701000 | #Constraints: 238792
1384.18/1388.56 c #Conflicts: 702000 | #Constraints: 239792
1384.18/1388.56 c #Conflicts: 703000 | #Constraints: 240792
1384.18/1388.56 c #Conflicts: 704000 | #Constraints: 241792
1384.18/1388.56 c #Conflicts: 705000 | #Constraints: 242792
1384.18/1388.56 c INPROCESSING
1384.18/1388.56 c GARBAGE COLLECT
1384.18/1388.56 c #Conflicts: 706000 | #Constraints: 227197
1384.18/1388.56 c #Conflicts: 707000 | #Constraints: 228197
1384.18/1388.56 c #Conflicts: 708000 | #Constraints: 229197
1384.18/1388.56 c #Conflicts: 709000 | #Constraints: 230197
1384.18/1388.56 c #Conflicts: 710000 | #Constraints: 231197
1384.18/1388.56 c #Conflicts: 711000 | #Constraints: 232197
1384.18/1388.56 c #Conflicts: 712000 | #Constraints: 233197
1384.18/1388.56 c #Conflicts: 713000 | #Constraints: 234197
1384.18/1388.56 c #Conflicts: 714000 | #Constraints: 235197
1384.18/1388.56 c #Conflicts: 715000 | #Constraints: 236197
1384.18/1388.56 c #Conflicts: 716000 | #Constraints: 237197
1384.18/1388.56 c #Conflicts: 717000 | #Constraints: 238197
1384.18/1388.56 c #Conflicts: 718000 | #Constraints: 239197
1384.18/1388.56 c #Conflicts: 719000 | #Constraints: 240197
1384.18/1388.56 c #Conflicts: 720000 | #Constraints: 241197
1502.30/1507.03 c #Conflicts: 721000 | #Constraints: 242197
1502.30/1507.03 c #Conflicts: 722000 | #Constraints: 243197
1502.30/1507.03 c INPROCESSING
1502.30/1507.03 c GARBAGE COLLECT
1502.30/1507.03 c #Conflicts: 723000 | #Constraints: 227406
1502.30/1507.03 c #Conflicts: 724000 | #Constraints: 228406
1502.30/1507.03 c #Conflicts: 725000 | #Constraints: 229406
1502.30/1507.03 c #Conflicts: 726000 | #Constraints: 230406
1502.30/1507.03 c #Conflicts: 727000 | #Constraints: 231406
1502.30/1507.03 c #Conflicts: 728000 | #Constraints: 232406
1502.30/1507.03 c #Conflicts: 729000 | #Constraints: 233406
1502.30/1507.03 c #Conflicts: 730000 | #Constraints: 234406
1502.30/1507.03 c #Conflicts: 731000 | #Constraints: 235406
1502.30/1507.03 c #Conflicts: 732000 | #Constraints: 236406
1502.30/1507.03 c #Conflicts: 733000 | #Constraints: 237406
1502.30/1507.03 c #Conflicts: 734000 | #Constraints: 238406
1502.30/1507.03 c #Conflicts: 735000 | #Constraints: 239406
1502.30/1507.03 c #Conflicts: 736000 | #Constraints: 240406
1502.30/1507.03 c #Conflicts: 737000 | #Constraints: 241406
1502.30/1507.03 c #Conflicts: 738000 | #Constraints: 242406
1502.30/1507.03 c #Conflicts: 739000 | #Constraints: 243406
1502.30/1507.03 c INPROCESSING
1502.30/1507.03 c GARBAGE COLLECT
1502.30/1507.03 c #Conflicts: 740000 | #Constraints: 227407
1502.30/1507.03 c #Conflicts: 741000 | #Constraints: 228407
1502.30/1507.03 c #Conflicts: 742000 | #Constraints: 229407
1502.30/1507.03 c #Conflicts: 743000 | #Constraints: 230407
1502.30/1507.03 c #Conflicts: 744000 | #Constraints: 231407
1502.30/1507.03 c #Conflicts: 745000 | #Constraints: 232407
1502.30/1507.03 c #Conflicts: 746000 | #Constraints: 233407
1502.30/1507.03 c #Conflicts: 747000 | #Constraints: 234407
1502.30/1507.03 c #Conflicts: 748000 | #Constraints: 235407
1502.30/1507.03 c #Conflicts: 749000 | #Constraints: 236407
1502.30/1507.03 c #Conflicts: 750000 | #Constraints: 237407
1502.30/1507.03 c #Conflicts: 751000 | #Constraints: 238407
1502.30/1507.03 c #Conflicts: 752000 | #Constraints: 239407
1502.30/1507.03 c #Conflicts: 753000 | #Constraints: 240407
1502.30/1507.03 c #Conflicts: 754000 | #Constraints: 241407
1502.30/1507.03 c #Conflicts: 755000 | #Constraints: 242407
1502.30/1507.03 c #Conflicts: 756000 | #Constraints: 243407
1502.30/1507.03 c INPROCESSING
1502.30/1507.03 c GARBAGE COLLECT
1502.30/1507.03 c #Conflicts: 757000 | #Constraints: 227200
1502.30/1507.03 c #Conflicts: 758000 | #Constraints: 228200
1502.30/1507.03 c #Conflicts: 759000 | #Constraints: 229200
1502.30/1507.03 c #Conflicts: 760000 | #Constraints: 230200
1502.30/1507.03 c #Conflicts: 761000 | #Constraints: 231200
1502.30/1507.03 c #Conflicts: 762000 | #Constraints: 232200
1502.30/1507.03 c #Conflicts: 763000 | #Constraints: 233200
1502.30/1507.03 c #Conflicts: 764000 | #Constraints: 234200
1502.30/1507.03 c #Conflicts: 765000 | #Constraints: 235200
1502.30/1507.03 c #Conflicts: 766000 | #Constraints: 236200
1502.30/1507.03 c #Conflicts: 767000 | #Constraints: 237200
1502.30/1507.03 c #Conflicts: 768000 | #Constraints: 238200
1502.30/1507.03 c #Conflicts: 769000 | #Constraints: 239200
1502.30/1507.03 c #Conflicts: 770000 | #Constraints: 240200
1502.30/1507.03 c #Conflicts: 771000 | #Constraints: 241200
1502.30/1507.03 c #Conflicts: 772000 | #Constraints: 242200
1502.30/1507.03 c #Conflicts: 773000 | #Constraints: 243200
1502.30/1507.03 c #Conflicts: 774000 | #Constraints: 244200
1502.30/1507.03 c INPROCESSING
1502.30/1507.03 c GARBAGE COLLECT
1502.30/1507.03 c #Conflicts: 775000 | #Constraints: 227796
1502.30/1507.03 c #Conflicts: 776000 | #Constraints: 228796
1502.30/1507.03 c #Conflicts: 777000 | #Constraints: 229796
1502.30/1507.03 c #Conflicts: 778000 | #Constraints: 230796
1502.30/1507.03 c #Conflicts: 779000 | #Constraints: 231796
1502.30/1507.03 c #Conflicts: 780000 | #Constraints: 232796
1502.30/1507.03 c #Conflicts: 781000 | #Constraints: 233796
1502.30/1507.03 c #Conflicts: 782000 | #Constraints: 234796
1502.30/1507.03 c #Conflicts: 783000 | #Constraints: 235796
1502.30/1507.03 c #Conflicts: 784000 | #Constraints: 236796
1502.30/1507.03 c #Conflicts: 785000 | #Constraints: 237796
1502.30/1507.03 c #Conflicts: 786000 | #Constraints: 238796
1502.30/1507.03 c #Conflicts: 787000 | #Constraints: 239796
1502.30/1507.03 c #Conflicts: 788000 | #Constraints: 240796
1502.30/1507.03 c #Conflicts: 789000 | #Constraints: 241796
1502.30/1507.03 c #Conflicts: 790000 | #Constraints: 242796
1502.30/1507.03 c #Conflicts: 791000 | #Constraints: 243796
1502.30/1507.03 c #Conflicts: 792000 | #Constraints: 244796
1502.30/1507.03 c INPROCESSING
1502.30/1507.03 c GARBAGE COLLECT
1502.30/1507.03 c #Conflicts: 793000 | #Constraints: 228197
1502.30/1507.03 c #Conflicts: 794000 | #Constraints: 229197
1502.30/1507.03 c #Conflicts: 795000 | #Constraints: 230197
1502.30/1507.03 c #Conflicts: 796000 | #Constraints: 231197
1636.87/1642.06 c #Conflicts: 797000 | #Constraints: 232197
1636.87/1642.06 c #Conflicts: 798000 | #Constraints: 233197
1636.87/1642.06 c #Conflicts: 799000 | #Constraints: 234197
1636.87/1642.06 c #Conflicts: 800000 | #Constraints: 235197
1636.87/1642.06 c #Conflicts: 801000 | #Constraints: 236197
1636.87/1642.06 c #Conflicts: 802000 | #Constraints: 237197
1636.87/1642.06 c #Conflicts: 803000 | #Constraints: 238197
1636.87/1642.06 c #Conflicts: 804000 | #Constraints: 239197
1636.87/1642.06 c #Conflicts: 805000 | #Constraints: 240197
1636.87/1642.06 c #Conflicts: 806000 | #Constraints: 241197
1636.87/1642.06 c #Conflicts: 807000 | #Constraints: 242197
1636.87/1642.06 c #Conflicts: 808000 | #Constraints: 243197
1636.87/1642.06 c #Conflicts: 809000 | #Constraints: 244197
1636.87/1642.06 c #Conflicts: 810000 | #Constraints: 245197
1636.87/1642.06 c INPROCESSING
1636.87/1642.06 c GARBAGE COLLECT
1636.87/1642.06 c #Conflicts: 811000 | #Constraints: 228398
1636.87/1642.06 c #Conflicts: 812000 | #Constraints: 229398
1636.87/1642.06 c #Conflicts: 813000 | #Constraints: 230398
1636.87/1642.06 c #Conflicts: 814000 | #Constraints: 231398
1636.87/1642.06 c #Conflicts: 815000 | #Constraints: 232398
1636.87/1642.06 c #Conflicts: 816000 | #Constraints: 233398
1636.87/1642.06 c #Conflicts: 817000 | #Constraints: 234398
1636.87/1642.06 c #Conflicts: 818000 | #Constraints: 235398
1636.87/1642.06 c #Conflicts: 819000 | #Constraints: 236398
1636.87/1642.06 c #Conflicts: 820000 | #Constraints: 237398
1636.87/1642.06 c #Conflicts: 821000 | #Constraints: 238398
1636.87/1642.06 c #Conflicts: 822000 | #Constraints: 239398
1636.87/1642.06 c #Conflicts: 823000 | #Constraints: 240398
1636.87/1642.06 c #Conflicts: 824000 | #Constraints: 241398
1636.87/1642.06 c #Conflicts: 825000 | #Constraints: 242398
1636.87/1642.06 c #Conflicts: 826000 | #Constraints: 243398
1636.87/1642.06 c #Conflicts: 827000 | #Constraints: 244398
1636.87/1642.06 c #Conflicts: 828000 | #Constraints: 245398
1636.87/1642.06 c INPROCESSING
1636.87/1642.06 c GARBAGE COLLECT
1636.87/1642.06 c #Conflicts: 829000 | #Constraints: 228396
1636.87/1642.06 c #Conflicts: 830000 | #Constraints: 229396
1636.87/1642.06 c #Conflicts: 831000 | #Constraints: 230396
1636.87/1642.06 c #Conflicts: 832000 | #Constraints: 231396
1636.87/1642.06 c #Conflicts: 833000 | #Constraints: 232396
1636.87/1642.06 c #Conflicts: 834000 | #Constraints: 233396
1636.87/1642.06 c #Conflicts: 835000 | #Constraints: 234396
1636.87/1642.06 c #Conflicts: 836000 | #Constraints: 235396
1636.87/1642.06 c #Conflicts: 837000 | #Constraints: 236396
1636.87/1642.06 c #Conflicts: 838000 | #Constraints: 237396
1636.87/1642.06 c #Conflicts: 839000 | #Constraints: 238396
1636.87/1642.06 c #Conflicts: 840000 | #Constraints: 239396
1636.87/1642.06 c #Conflicts: 841000 | #Constraints: 240396
1636.87/1642.06 c #Conflicts: 842000 | #Constraints: 241396
1636.87/1642.06 c #Conflicts: 843000 | #Constraints: 242396
1636.87/1642.06 c #Conflicts: 844000 | #Constraints: 243396
1636.87/1642.06 c #Conflicts: 845000 | #Constraints: 244396
1636.87/1642.06 c #Conflicts: 846000 | #Constraints: 245396
1636.87/1642.06 c INPROCESSING
1636.87/1642.06 c GARBAGE COLLECT
1636.87/1642.06 c #Conflicts: 847000 | #Constraints: 228196
1636.87/1642.06 c #Conflicts: 848000 | #Constraints: 229196
1636.87/1642.06 c #Conflicts: 849000 | #Constraints: 230196
1636.87/1642.06 c #Conflicts: 850000 | #Constraints: 231196
1636.87/1642.06 c #Conflicts: 851000 | #Constraints: 232196
1636.87/1642.06 c #Conflicts: 852000 | #Constraints: 233196
1636.87/1642.06 c #Conflicts: 853000 | #Constraints: 234196
1636.87/1642.06 c #Conflicts: 854000 | #Constraints: 235196
1636.87/1642.06 c #Conflicts: 855000 | #Constraints: 236196
1636.87/1642.06 c #Conflicts: 856000 | #Constraints: 237196
1636.87/1642.06 c #Conflicts: 857000 | #Constraints: 238196
1636.87/1642.06 c #Conflicts: 858000 | #Constraints: 239196
1636.87/1642.06 c #Conflicts: 859000 | #Constraints: 240196
1636.87/1642.06 c #Conflicts: 860000 | #Constraints: 241196
1636.87/1642.06 c #Conflicts: 861000 | #Constraints: 242196
1636.87/1642.06 c #Conflicts: 862000 | #Constraints: 243196
1636.87/1642.06 c #Conflicts: 863000 | #Constraints: 244196
1636.87/1642.06 c #Conflicts: 864000 | #Constraints: 245196
1636.87/1642.06 c #Conflicts: 865000 | #Constraints: 246196
1636.87/1642.06 c INPROCESSING
1636.87/1642.06 c GARBAGE COLLECT
1636.87/1642.06 c #Conflicts: 866000 | #Constraints: 228799
1636.87/1642.06 c #Conflicts: 867000 | #Constraints: 229799
1636.87/1642.06 c #Conflicts: 868000 | #Constraints: 230799
1636.87/1642.06 c #Conflicts: 869000 | #Constraints: 231799
1636.87/1642.06 c #Conflicts: 870000 | #Constraints: 232799
1636.87/1642.06 c #Conflicts: 871000 | #Constraints: 233799
1636.87/1642.06 c #Conflicts: 872000 | #Constraints: 234799
1776.42/1782.06 c #Conflicts: 873000 | #Constraints: 235799
1776.42/1782.06 c #Conflicts: 874000 | #Constraints: 236799
1776.42/1782.06 c #Conflicts: 875000 | #Constraints: 237799
1776.42/1782.06 c #Conflicts: 876000 | #Constraints: 238799
1776.42/1782.06 c #Conflicts: 877000 | #Constraints: 239799
1776.42/1782.06 c #Conflicts: 878000 | #Constraints: 240799
1776.42/1782.06 c #Conflicts: 879000 | #Constraints: 241799
1776.42/1782.06 c #Conflicts: 880000 | #Constraints: 242799
1776.42/1782.06 c #Conflicts: 881000 | #Constraints: 243799
1776.42/1782.06 c #Conflicts: 882000 | #Constraints: 244799
1776.42/1782.06 c #Conflicts: 883000 | #Constraints: 245799
1776.42/1782.06 c #Conflicts: 884000 | #Constraints: 246799
1776.42/1782.06 c INPROCESSING
1776.42/1782.06 c GARBAGE COLLECT
1776.42/1782.06 c #Conflicts: 885000 | #Constraints: 229203
1776.42/1782.06 c #Conflicts: 886000 | #Constraints: 230203
1776.42/1782.06 c #Conflicts: 887000 | #Constraints: 231203
1776.42/1782.06 c #Conflicts: 888000 | #Constraints: 232203
1776.42/1782.06 c #Conflicts: 889000 | #Constraints: 233203
1776.42/1782.06 c #Conflicts: 890000 | #Constraints: 234203
1776.42/1782.06 c #Conflicts: 891000 | #Constraints: 235203
1776.42/1782.06 c #Conflicts: 892000 | #Constraints: 236203
1776.42/1782.06 c #Conflicts: 893000 | #Constraints: 237203
1776.42/1782.06 c #Conflicts: 894000 | #Constraints: 238203
1776.42/1782.06 c #Conflicts: 895000 | #Constraints: 239203
1776.42/1782.06 c #Conflicts: 896000 | #Constraints: 240203
1776.42/1782.06 c #Conflicts: 897000 | #Constraints: 241203
1776.42/1782.06 c #Conflicts: 898000 | #Constraints: 242203
1776.42/1782.06 c #Conflicts: 899000 | #Constraints: 243203
1776.42/1782.06 c #Conflicts: 900000 | #Constraints: 244203
1776.42/1782.06 c #Conflicts: 901000 | #Constraints: 245203
1776.42/1782.06 c #Conflicts: 902000 | #Constraints: 246203
1776.42/1782.06 c #Conflicts: 903000 | #Constraints: 247203
1776.42/1782.06 c INPROCESSING
1776.42/1782.06 c GARBAGE COLLECT
1776.42/1782.06 c #Conflicts: 904000 | #Constraints: 229401
1776.42/1782.06 c #Conflicts: 905000 | #Constraints: 230401
1776.42/1782.06 c #Conflicts: 906000 | #Constraints: 231401
1776.42/1782.06 c #Conflicts: 907000 | #Constraints: 232401
1776.42/1782.06 c #Conflicts: 908000 | #Constraints: 233401
1776.42/1782.06 c #Conflicts: 909000 | #Constraints: 234401
1776.42/1782.06 c #Conflicts: 910000 | #Constraints: 235401
1776.42/1782.06 c #Conflicts: 911000 | #Constraints: 236401
1776.42/1782.06 c #Conflicts: 912000 | #Constraints: 237401
1776.42/1782.06 c #Conflicts: 913000 | #Constraints: 238401
1776.42/1782.06 c #Conflicts: 914000 | #Constraints: 239401
1776.42/1782.06 c #Conflicts: 915000 | #Constraints: 240401
1776.42/1782.06 c #Conflicts: 916000 | #Constraints: 241401
1776.42/1782.06 c #Conflicts: 917000 | #Constraints: 242401
1776.42/1782.06 c #Conflicts: 918000 | #Constraints: 243401
1776.42/1782.06 c #Conflicts: 919000 | #Constraints: 244401
1776.42/1782.06 c #Conflicts: 920000 | #Constraints: 245401
1776.42/1782.06 c #Conflicts: 921000 | #Constraints: 246401
1776.42/1782.06 c #Conflicts: 922000 | #Constraints: 247401
1776.42/1782.06 c INPROCESSING
1776.42/1782.06 c GARBAGE COLLECT
1776.42/1782.06 c #Conflicts: 923000 | #Constraints: 229403
1776.42/1782.06 c #Conflicts: 924000 | #Constraints: 230403
1776.42/1782.06 c #Conflicts: 925000 | #Constraints: 231403
1776.42/1782.06 c #Conflicts: 926000 | #Constraints: 232403
1776.42/1782.06 c #Conflicts: 927000 | #Constraints: 233403
1776.42/1782.06 c #Conflicts: 928000 | #Constraints: 234403
1776.42/1782.06 c #Conflicts: 929000 | #Constraints: 235403
1776.42/1782.06 c #Conflicts: 930000 | #Constraints: 236403
1776.42/1782.06 c #Conflicts: 931000 | #Constraints: 237403
1776.42/1782.06 c #Conflicts: 932000 | #Constraints: 238403
1776.42/1782.06 c #Conflicts: 933000 | #Constraints: 239403
1776.42/1782.06 c #Conflicts: 934000 | #Constraints: 240403
1776.42/1782.06 c #Conflicts: 935000 | #Constraints: 241403
1776.42/1782.06 c #Conflicts: 936000 | #Constraints: 242403
1776.42/1782.06 c #Conflicts: 937000 | #Constraints: 243403
1776.42/1782.06 c #Conflicts: 938000 | #Constraints: 244403
1776.42/1782.06 c #Conflicts: 939000 | #Constraints: 245403
1776.42/1782.06 c #Conflicts: 940000 | #Constraints: 246403
1776.42/1782.06 c #Conflicts: 941000 | #Constraints: 247403
1776.42/1782.06 c INPROCESSING
1776.42/1782.06 c GARBAGE COLLECT
1776.42/1782.06 c #Conflicts: 942000 | #Constraints: 229203
1776.42/1782.06 c #Conflicts: 943000 | #Constraints: 230203
1776.42/1782.06 c #Conflicts: 944000 | #Constraints: 231203
1776.42/1782.06 c #Conflicts: 945000 | #Constraints: 232203
1776.42/1782.06 c #Conflicts: 946000 | #Constraints: 233203
1776.42/1782.06 c #Conflicts: 947000 | #Constraints: 234203
1776.42/1782.06 c #Conflicts: 948000 | #Constraints: 235203
1916.10/1922.17 c #Conflicts: 949000 | #Constraints: 236203
1916.10/1922.17 c #Conflicts: 950000 | #Constraints: 237203
1916.10/1922.17 c #Conflicts: 951000 | #Constraints: 238203
1916.10/1922.17 c #Conflicts: 952000 | #Constraints: 239203
1916.10/1922.17 c #Conflicts: 953000 | #Constraints: 240203
1916.10/1922.17 c #Conflicts: 954000 | #Constraints: 241203
1916.10/1922.17 c #Conflicts: 955000 | #Constraints: 242203
1916.10/1922.17 c #Conflicts: 956000 | #Constraints: 243203
1916.10/1922.17 c #Conflicts: 957000 | #Constraints: 244203
1916.10/1922.17 c #Conflicts: 958000 | #Constraints: 245203
1916.10/1922.17 c #Conflicts: 959000 | #Constraints: 246203
1916.10/1922.17 c #Conflicts: 960000 | #Constraints: 247203
1916.10/1922.17 c #Conflicts: 961000 | #Constraints: 248203
1916.10/1922.17 c INPROCESSING
1916.10/1922.17 c GARBAGE COLLECT
1916.10/1922.17 c #Conflicts: 962000 | #Constraints: 229800
1916.10/1922.17 c #Conflicts: 963000 | #Constraints: 230800
1916.10/1922.17 c #Conflicts: 964000 | #Constraints: 231800
1916.10/1922.17 c #Conflicts: 965000 | #Constraints: 232800
1916.10/1922.17 c #Conflicts: 966000 | #Constraints: 233800
1916.10/1922.17 c #Conflicts: 967000 | #Constraints: 234800
1916.10/1922.17 c #Conflicts: 968000 | #Constraints: 235800
1916.10/1922.17 c #Conflicts: 969000 | #Constraints: 236800
1916.10/1922.17 c #Conflicts: 970000 | #Constraints: 237800
1916.10/1922.17 c #Conflicts: 971000 | #Constraints: 238800
1916.10/1922.17 c #Conflicts: 972000 | #Constraints: 239800
1916.10/1922.17 c #Conflicts: 973000 | #Constraints: 240800
1916.10/1922.17 c #Conflicts: 974000 | #Constraints: 241800
1916.10/1922.17 c #Conflicts: 975000 | #Constraints: 242800
1916.10/1922.17 c #Conflicts: 976000 | #Constraints: 243800
1916.10/1922.17 c #Conflicts: 977000 | #Constraints: 244800
1916.10/1922.17 c #Conflicts: 978000 | #Constraints: 245800
1916.10/1922.17 c #Conflicts: 979000 | #Constraints: 246800
1916.10/1922.17 c #Conflicts: 980000 | #Constraints: 247800
1916.10/1922.17 c #Conflicts: 981000 | #Constraints: 248800
1916.10/1922.17 c INPROCESSING
1916.10/1922.17 c GARBAGE COLLECT
1916.10/1922.17 c #Conflicts: 982000 | #Constraints: 230198
1916.10/1922.17 c #Conflicts: 983000 | #Constraints: 231198
1916.10/1922.17 c #Conflicts: 984000 | #Constraints: 232198
1916.10/1922.17 c #Conflicts: 985000 | #Constraints: 233198
1916.10/1922.17 c #Conflicts: 986000 | #Constraints: 234198
1916.10/1922.17 c #Conflicts: 987000 | #Constraints: 235198
1916.10/1922.17 c #Conflicts: 988000 | #Constraints: 236198
1916.10/1922.17 c #Conflicts: 989000 | #Constraints: 237198
1916.10/1922.17 c #Conflicts: 990000 | #Constraints: 238198
1916.10/1922.17 c #Conflicts: 991000 | #Constraints: 239198
1916.10/1922.17 c #Conflicts: 992000 | #Constraints: 240198
1916.10/1922.17 c #Conflicts: 993000 | #Constraints: 241198
1916.10/1922.17 c #Conflicts: 994000 | #Constraints: 242198
1916.10/1922.17 c #Conflicts: 995000 | #Constraints: 243198
1916.10/1922.17 c #Conflicts: 996000 | #Constraints: 244198
1916.10/1922.17 c #Conflicts: 997000 | #Constraints: 245198
1916.10/1922.17 c #Conflicts: 998000 | #Constraints: 246198
1916.10/1922.17 c #Conflicts: 999000 | #Constraints: 247198
1916.10/1922.17 c #Conflicts: 1000000 | #Constraints: 248198
1916.10/1922.17 c #Conflicts: 1001000 | #Constraints: 249198
1916.10/1922.17 c INPROCESSING
1916.10/1922.17 c GARBAGE COLLECT
1916.10/1922.17 c #Conflicts: 1002000 | #Constraints: 230402
1916.10/1922.17 c #Conflicts: 1003000 | #Constraints: 231402
1916.10/1922.17 c #Conflicts: 1004000 | #Constraints: 232402
1916.10/1922.17 c #Conflicts: 1005000 | #Constraints: 233402
1916.10/1922.17 c #Conflicts: 1006000 | #Constraints: 234402
1916.10/1922.17 c #Conflicts: 1007000 | #Constraints: 235402
1916.10/1922.17 c #Conflicts: 1008000 | #Constraints: 236402
1916.10/1922.17 c #Conflicts: 1009000 | #Constraints: 237402
1916.10/1922.17 c #Conflicts: 1010000 | #Constraints: 238402
1916.10/1922.17 c #Conflicts: 1011000 | #Constraints: 239402
1916.10/1922.17 c #Conflicts: 1012000 | #Constraints: 240402
1916.10/1922.17 c #Conflicts: 1013000 | #Constraints: 241402
1916.10/1922.17 c #Conflicts: 1014000 | #Constraints: 242402
1916.10/1922.17 c #Conflicts: 1015000 | #Constraints: 243402
1916.10/1922.17 c #Conflicts: 1016000 | #Constraints: 244402
1916.10/1922.17 c #Conflicts: 1017000 | #Constraints: 245402
1916.10/1922.17 c #Conflicts: 1018000 | #Constraints: 246402
1916.10/1922.17 c #Conflicts: 1019000 | #Constraints: 247402
1916.10/1922.17 c #Conflicts: 1020000 | #Constraints: 248402
1916.10/1922.17 c #Conflicts: 1021000 | #Constraints: 249402
1916.10/1922.17 c INPROCESSING
1916.10/1922.17 c GARBAGE COLLECT
1916.10/1922.17 c #Conflicts: 1022000 | #Constraints: 230406
1916.10/1922.17 c #Conflicts: 1023000 | #Constraints: 231406
1916.10/1922.17 c #Conflicts: 1024000 | #Constraints: 232406
2045.62/2052.01 c #Conflicts: 1025000 | #Constraints: 233406
2045.62/2052.01 c #Conflicts: 1026000 | #Constraints: 234406
2045.62/2052.01 c #Conflicts: 1027000 | #Constraints: 235406
2045.62/2052.01 c #Conflicts: 1028000 | #Constraints: 236406
2045.62/2052.01 c #Conflicts: 1029000 | #Constraints: 237406
2045.62/2052.01 c #Conflicts: 1030000 | #Constraints: 238406
2045.62/2052.01 c #Conflicts: 1031000 | #Constraints: 239406
2045.62/2052.01 c #Conflicts: 1032000 | #Constraints: 240406
2045.62/2052.01 c #Conflicts: 1033000 | #Constraints: 241406
2045.62/2052.01 c #Conflicts: 1034000 | #Constraints: 242406
2045.62/2052.01 c #Conflicts: 1035000 | #Constraints: 243406
2045.62/2052.01 c #Conflicts: 1036000 | #Constraints: 244406
2045.62/2052.01 c #Conflicts: 1037000 | #Constraints: 245406
2045.62/2052.01 c #Conflicts: 1038000 | #Constraints: 246406
2045.62/2052.01 c #Conflicts: 1039000 | #Constraints: 247406
2045.62/2052.01 c #Conflicts: 1040000 | #Constraints: 248406
2045.62/2052.01 c #Conflicts: 1041000 | #Constraints: 249406
2045.62/2052.01 c INPROCESSING
2045.62/2052.01 c GARBAGE COLLECT
2045.62/2052.01 c #Conflicts: 1042000 | #Constraints: 230205
2045.62/2052.01 c #Conflicts: 1043000 | #Constraints: 231205
2045.62/2052.01 c #Conflicts: 1044000 | #Constraints: 232205
2045.62/2052.01 c #Conflicts: 1045000 | #Constraints: 233205
2045.62/2052.01 c #Conflicts: 1046000 | #Constraints: 234205
2045.62/2052.01 c #Conflicts: 1047000 | #Constraints: 235205
2045.62/2052.01 c #Conflicts: 1048000 | #Constraints: 236205
2045.62/2052.01 c #Conflicts: 1049000 | #Constraints: 237205
2045.62/2052.01 c #Conflicts: 1050000 | #Constraints: 238205
2045.62/2052.01 c #Conflicts: 1051000 | #Constraints: 239205
2045.62/2052.01 c #Conflicts: 1052000 | #Constraints: 240205
2045.62/2052.01 c #Conflicts: 1053000 | #Constraints: 241205
2045.62/2052.01 c #Conflicts: 1054000 | #Constraints: 242205
2045.62/2052.01 c #Conflicts: 1055000 | #Constraints: 243205
2045.62/2052.01 c #Conflicts: 1056000 | #Constraints: 244205
2045.62/2052.01 c #Conflicts: 1057000 | #Constraints: 245205
2045.62/2052.01 c #Conflicts: 1058000 | #Constraints: 246205
2045.62/2052.01 c #Conflicts: 1059000 | #Constraints: 247205
2045.62/2052.01 c #Conflicts: 1060000 | #Constraints: 248205
2045.62/2052.01 c #Conflicts: 1061000 | #Constraints: 249205
2045.62/2052.01 c #Conflicts: 1062000 | #Constraints: 250205
2045.62/2052.01 c INPROCESSING
2045.62/2052.01 c GARBAGE COLLECT
2045.62/2052.02 c #Conflicts: 1063000 | #Constraints: 230806
2045.62/2052.02 c #Conflicts: 1064000 | #Constraints: 231806
2045.62/2052.02 c #Conflicts: 1065000 | #Constraints: 232806
2045.62/2052.02 c #Conflicts: 1066000 | #Constraints: 233806
2045.62/2052.02 c #Conflicts: 1067000 | #Constraints: 234806
2045.62/2052.02 c #Conflicts: 1068000 | #Constraints: 235806
2045.62/2052.02 c #Conflicts: 1069000 | #Constraints: 236806
2045.62/2052.02 c #Conflicts: 1070000 | #Constraints: 237806
2045.62/2052.02 c #Conflicts: 1071000 | #Constraints: 238806
2045.62/2052.02 c #Conflicts: 1072000 | #Constraints: 239806
2045.62/2052.02 c #Conflicts: 1073000 | #Constraints: 240806
2045.62/2052.02 c #Conflicts: 1074000 | #Constraints: 241806
2045.62/2052.02 c #Conflicts: 1075000 | #Constraints: 242806
2045.62/2052.02 c #Conflicts: 1076000 | #Constraints: 243806
2045.62/2052.02 c #Conflicts: 1077000 | #Constraints: 244806
2045.62/2052.02 c #Conflicts: 1078000 | #Constraints: 245806
2045.62/2052.02 c #Conflicts: 1079000 | #Constraints: 246806
2045.62/2052.02 c #Conflicts: 1080000 | #Constraints: 247806
2045.62/2052.02 c #Conflicts: 1081000 | #Constraints: 248806
2045.62/2052.02 c #Conflicts: 1082000 | #Constraints: 249806
2045.62/2052.02 c #Conflicts: 1083000 | #Constraints: 250806
2045.62/2052.02 c INPROCESSING
2045.62/2052.02 c GARBAGE COLLECT
2045.62/2052.02 c #Conflicts: 1084000 | #Constraints: 231208
2045.62/2052.02 c #Conflicts: 1085000 | #Constraints: 232208
2045.62/2052.02 c #Conflicts: 1086000 | #Constraints: 233208
2045.62/2052.02 c #Conflicts: 1087000 | #Constraints: 234208
2045.62/2052.02 c #Conflicts: 1088000 | #Constraints: 235208
2045.62/2052.02 c #Conflicts: 1089000 | #Constraints: 236208
2045.62/2052.02 c #Conflicts: 1090000 | #Constraints: 237208
2045.62/2052.02 c #Conflicts: 1091000 | #Constraints: 238208
2045.62/2052.02 c #Conflicts: 1092000 | #Constraints: 239208
2045.62/2052.02 c #Conflicts: 1093000 | #Constraints: 240208
2045.62/2052.02 c #Conflicts: 1094000 | #Constraints: 241208
2045.62/2052.02 c #Conflicts: 1095000 | #Constraints: 242208
2045.62/2052.02 c #Conflicts: 1096000 | #Constraints: 243208
2045.62/2052.02 c #Conflicts: 1097000 | #Constraints: 244208
2045.62/2052.02 c #Conflicts: 1098000 | #Constraints: 245208
2045.62/2052.02 c #Conflicts: 1099000 | #Constraints: 246208
2045.62/2052.02 c #Conflicts: 1100000 | #Constraints: 247208
2045.62/2052.02 c #Conflicts: 1101000 | #Constraints: 248208
2159.88/2166.63 c #Conflicts: 1102000 | #Constraints: 249208
2159.88/2166.63 c #Conflicts: 1103000 | #Constraints: 250208
2159.88/2166.63 c #Conflicts: 1104000 | #Constraints: 251208
2159.88/2166.63 c INPROCESSING
2159.88/2166.63 c GARBAGE COLLECT
2159.88/2166.63 c #Conflicts: 1105000 | #Constraints: 231404
2159.88/2166.63 c #Conflicts: 1106000 | #Constraints: 232404
2159.88/2166.63 c #Conflicts: 1107000 | #Constraints: 233404
2159.88/2166.63 c #Conflicts: 1108000 | #Constraints: 234404
2159.88/2166.63 c #Conflicts: 1109000 | #Constraints: 235404
2159.88/2166.63 c #Conflicts: 1110000 | #Constraints: 236404
2159.88/2166.63 c #Conflicts: 1111000 | #Constraints: 237404
2159.88/2166.63 c #Conflicts: 1112000 | #Constraints: 238404
2159.88/2166.63 c #Conflicts: 1113000 | #Constraints: 239404
2159.88/2166.63 c #Conflicts: 1114000 | #Constraints: 240404
2159.88/2166.63 c #Conflicts: 1115000 | #Constraints: 241404
2159.88/2166.63 c #Conflicts: 1116000 | #Constraints: 242404
2159.88/2166.63 c #Conflicts: 1117000 | #Constraints: 243404
2159.88/2166.63 c #Conflicts: 1118000 | #Constraints: 244404
2159.88/2166.63 c #Conflicts: 1119000 | #Constraints: 245404
2159.88/2166.63 c #Conflicts: 1120000 | #Constraints: 246404
2159.88/2166.63 c #Conflicts: 1121000 | #Constraints: 247404
2159.88/2166.63 c #Conflicts: 1122000 | #Constraints: 248404
2159.88/2166.63 c #Conflicts: 1123000 | #Constraints: 249404
2159.88/2166.63 c #Conflicts: 1124000 | #Constraints: 250404
2159.88/2166.63 c #Conflicts: 1125000 | #Constraints: 251404
2159.88/2166.63 c INPROCESSING
2159.88/2166.63 c GARBAGE COLLECT
2159.88/2166.63 c #Conflicts: 1126000 | #Constraints: 231402
2159.88/2166.63 c #Conflicts: 1127000 | #Constraints: 232402
2159.88/2166.63 c #Conflicts: 1128000 | #Constraints: 233402
2159.88/2166.63 c #Conflicts: 1129000 | #Constraints: 234402
2159.88/2166.63 c #Conflicts: 1130000 | #Constraints: 235402
2159.88/2166.63 c #Conflicts: 1131000 | #Constraints: 236402
2159.88/2166.63 c #Conflicts: 1132000 | #Constraints: 237402
2159.88/2166.63 c #Conflicts: 1133000 | #Constraints: 238402
2159.88/2166.63 c #Conflicts: 1134000 | #Constraints: 239402
2159.88/2166.63 c #Conflicts: 1135000 | #Constraints: 240402
2159.88/2166.63 c #Conflicts: 1136000 | #Constraints: 241402
2159.88/2166.63 c #Conflicts: 1137000 | #Constraints: 242402
2159.88/2166.63 c #Conflicts: 1138000 | #Constraints: 243402
2159.88/2166.63 c #Conflicts: 1139000 | #Constraints: 244402
2159.88/2166.63 c #Conflicts: 1140000 | #Constraints: 245402
2159.88/2166.63 c #Conflicts: 1141000 | #Constraints: 246402
2159.88/2166.63 c #Conflicts: 1142000 | #Constraints: 247402
2159.88/2166.63 c #Conflicts: 1143000 | #Constraints: 248402
2159.88/2166.63 c #Conflicts: 1144000 | #Constraints: 249402
2159.88/2166.63 c #Conflicts: 1145000 | #Constraints: 250402
2159.88/2166.63 c #Conflicts: 1146000 | #Constraints: 251402
2159.88/2166.63 c INPROCESSING
2159.88/2166.63 c GARBAGE COLLECT
2159.88/2166.63 c #Conflicts: 1147000 | #Constraints: 231200
2159.88/2166.63 c #Conflicts: 1148000 | #Constraints: 232200
2159.88/2166.63 c #Conflicts: 1149000 | #Constraints: 233200
2159.88/2166.63 c #Conflicts: 1150000 | #Constraints: 234200
2159.88/2166.63 c #Conflicts: 1151000 | #Constraints: 235200
2159.88/2166.63 c #Conflicts: 1152000 | #Constraints: 236200
2159.88/2166.63 c #Conflicts: 1153000 | #Constraints: 237200
2159.88/2166.63 c #Conflicts: 1154000 | #Constraints: 238200
2159.88/2166.63 c #Conflicts: 1155000 | #Constraints: 239200
2159.88/2166.63 c #Conflicts: 1156000 | #Constraints: 240200
2159.88/2166.63 c #Conflicts: 1157000 | #Constraints: 241200
2159.88/2166.63 c #Conflicts: 1158000 | #Constraints: 242200
2159.88/2166.63 c #Conflicts: 1159000 | #Constraints: 243200
2159.88/2166.63 c #Conflicts: 1160000 | #Constraints: 244200
2159.88/2166.63 c #Conflicts: 1161000 | #Constraints: 245200
2159.88/2166.63 c #Conflicts: 1162000 | #Constraints: 246200
2159.88/2166.63 c #Conflicts: 1163000 | #Constraints: 247200
2159.88/2166.63 c #Conflicts: 1164000 | #Constraints: 248200
2159.88/2166.63 c #Conflicts: 1165000 | #Constraints: 249200
2159.88/2166.63 c #Conflicts: 1166000 | #Constraints: 250200
2159.88/2166.63 c #Conflicts: 1167000 | #Constraints: 251200
2159.88/2166.63 c #Conflicts: 1168000 | #Constraints: 252200
2159.88/2166.63 c INPROCESSING
2159.88/2166.63 c GARBAGE COLLECT
2159.88/2166.63 c #Conflicts: 1169000 | #Constraints: 231802
2159.88/2166.63 c #Conflicts: 1170000 | #Constraints: 232802
2159.88/2166.63 c #Conflicts: 1171000 | #Constraints: 233802
2159.88/2166.63 c #Conflicts: 1172000 | #Constraints: 234802
2159.88/2166.63 c #Conflicts: 1173000 | #Constraints: 235802
2159.88/2166.63 c #Conflicts: 1174000 | #Constraints: 236802
2159.88/2166.63 c #Conflicts: 1175000 | #Constraints: 237802
2159.88/2166.63 c #Conflicts: 1176000 | #Constraints: 238802
2159.88/2166.63 c #Conflicts: 1177000 | #Constraints: 239802
2280.95/2288.04 c #Conflicts: 1178000 | #Constraints: 240802
2280.95/2288.04 c #Conflicts: 1179000 | #Constraints: 241802
2280.95/2288.04 c #Conflicts: 1180000 | #Constraints: 242802
2280.95/2288.04 c #Conflicts: 1181000 | #Constraints: 243802
2280.95/2288.04 c #Conflicts: 1182000 | #Constraints: 244802
2280.95/2288.04 c #Conflicts: 1183000 | #Constraints: 245802
2280.95/2288.04 c #Conflicts: 1184000 | #Constraints: 246802
2280.95/2288.04 c #Conflicts: 1185000 | #Constraints: 247802
2280.95/2288.04 c #Conflicts: 1186000 | #Constraints: 248802
2280.95/2288.04 c #Conflicts: 1187000 | #Constraints: 249802
2280.95/2288.04 c #Conflicts: 1188000 | #Constraints: 250802
2280.95/2288.04 c #Conflicts: 1189000 | #Constraints: 251802
2280.95/2288.04 c #Conflicts: 1190000 | #Constraints: 252802
2280.95/2288.04 c INPROCESSING
2280.95/2288.04 c GARBAGE COLLECT
2280.95/2288.04 c #Conflicts: 1191000 | #Constraints: 232200
2280.95/2288.04 c #Conflicts: 1192000 | #Constraints: 233200
2280.95/2288.04 c #Conflicts: 1193000 | #Constraints: 234200
2280.95/2288.04 c #Conflicts: 1194000 | #Constraints: 235200
2280.95/2288.04 c #Conflicts: 1195000 | #Constraints: 236200
2280.95/2288.04 c #Conflicts: 1196000 | #Constraints: 237200
2280.95/2288.04 c #Conflicts: 1197000 | #Constraints: 238200
2280.95/2288.04 c #Conflicts: 1198000 | #Constraints: 239200
2280.95/2288.04 c #Conflicts: 1199000 | #Constraints: 240200
2280.95/2288.04 c #Conflicts: 1200000 | #Constraints: 241200
2280.95/2288.04 c #Conflicts: 1201000 | #Constraints: 242200
2280.95/2288.04 c #Conflicts: 1202000 | #Constraints: 243200
2280.95/2288.04 c #Conflicts: 1203000 | #Constraints: 244200
2280.95/2288.04 c #Conflicts: 1204000 | #Constraints: 245200
2280.95/2288.04 c #Conflicts: 1205000 | #Constraints: 246200
2280.95/2288.04 c #Conflicts: 1206000 | #Constraints: 247200
2280.95/2288.04 c #Conflicts: 1207000 | #Constraints: 248200
2280.95/2288.04 c #Conflicts: 1208000 | #Constraints: 249200
2280.95/2288.04 c #Conflicts: 1209000 | #Constraints: 250200
2280.95/2288.04 c #Conflicts: 1210000 | #Constraints: 251200
2280.95/2288.04 c #Conflicts: 1211000 | #Constraints: 252200
2280.95/2288.04 c #Conflicts: 1212000 | #Constraints: 253200
2280.95/2288.04 c INPROCESSING
2280.95/2288.04 c GARBAGE COLLECT
2280.95/2288.04 c #Conflicts: 1213000 | #Constraints: 232398
2280.95/2288.04 c #Conflicts: 1214000 | #Constraints: 233398
2280.95/2288.04 c #Conflicts: 1215000 | #Constraints: 234398
2280.95/2288.04 c #Conflicts: 1216000 | #Constraints: 235398
2280.95/2288.04 c #Conflicts: 1217000 | #Constraints: 236398
2280.95/2288.04 c #Conflicts: 1218000 | #Constraints: 237398
2280.95/2288.04 c #Conflicts: 1219000 | #Constraints: 238398
2280.95/2288.04 c #Conflicts: 1220000 | #Constraints: 239398
2280.95/2288.04 c #Conflicts: 1221000 | #Constraints: 240398
2280.95/2288.04 c #Conflicts: 1222000 | #Constraints: 241398
2280.95/2288.04 c #Conflicts: 1223000 | #Constraints: 242398
2280.95/2288.04 c #Conflicts: 1224000 | #Constraints: 243398
2280.95/2288.04 c #Conflicts: 1225000 | #Constraints: 244398
2280.95/2288.04 c #Conflicts: 1226000 | #Constraints: 245398
2280.95/2288.04 c #Conflicts: 1227000 | #Constraints: 246398
2280.95/2288.04 c #Conflicts: 1228000 | #Constraints: 247398
2280.95/2288.04 c #Conflicts: 1229000 | #Constraints: 248398
2280.95/2288.04 c #Conflicts: 1230000 | #Constraints: 249398
2280.95/2288.04 c #Conflicts: 1231000 | #Constraints: 250398
2280.95/2288.04 c #Conflicts: 1232000 | #Constraints: 251398
2280.95/2288.04 c #Conflicts: 1233000 | #Constraints: 252398
2280.95/2288.04 c #Conflicts: 1234000 | #Constraints: 253398
2280.95/2288.04 c INPROCESSING
2280.95/2288.04 c GARBAGE COLLECT
2280.95/2288.04 c #Conflicts: 1235000 | #Constraints: 232403
2280.95/2288.04 c #Conflicts: 1236000 | #Constraints: 233403
2280.95/2288.04 c #Conflicts: 1237000 | #Constraints: 234403
2280.95/2288.04 c #Conflicts: 1238000 | #Constraints: 235403
2280.95/2288.04 c #Conflicts: 1239000 | #Constraints: 236403
2280.95/2288.04 c #Conflicts: 1240000 | #Constraints: 237403
2280.95/2288.04 c #Conflicts: 1241000 | #Constraints: 238403
2280.95/2288.04 c #Conflicts: 1242000 | #Constraints: 239403
2280.95/2288.04 c #Conflicts: 1243000 | #Constraints: 240403
2280.95/2288.04 c #Conflicts: 1244000 | #Constraints: 241403
2280.95/2288.04 c #Conflicts: 1245000 | #Constraints: 242403
2280.95/2288.04 c #Conflicts: 1246000 | #Constraints: 243403
2280.95/2288.04 c #Conflicts: 1247000 | #Constraints: 244403
2280.95/2288.04 c #Conflicts: 1248000 | #Constraints: 245403
2280.95/2288.04 c #Conflicts: 1249000 | #Constraints: 246403
2280.95/2288.04 c #Conflicts: 1250000 | #Constraints: 247403
2280.95/2288.04 c #Conflicts: 1251000 | #Constraints: 248403
2280.95/2288.04 c #Conflicts: 1252000 | #Constraints: 249403
2280.95/2288.04 c #Conflicts: 1253000 | #Constraints: 250403
2280.95/2288.04 c #Conflicts: 1254000 | #Constraints: 251403
2390.47/2397.82 c #Conflicts: 1255000 | #Constraints: 252403
2390.47/2397.82 c #Conflicts: 1256000 | #Constraints: 253403
2390.47/2397.82 c INPROCESSING
2390.47/2397.82 c GARBAGE COLLECT
2390.47/2397.82 c #Conflicts: 1257000 | #Constraints: 232202
2390.47/2397.82 c #Conflicts: 1258000 | #Constraints: 233202
2390.47/2397.82 c #Conflicts: 1259000 | #Constraints: 234202
2390.47/2397.82 c #Conflicts: 1260000 | #Constraints: 235202
2390.47/2397.82 c #Conflicts: 1261000 | #Constraints: 236202
2390.47/2397.82 c #Conflicts: 1262000 | #Constraints: 237202
2390.47/2397.82 c #Conflicts: 1263000 | #Constraints: 238202
2390.47/2397.82 c #Conflicts: 1264000 | #Constraints: 239202
2390.47/2397.82 c #Conflicts: 1265000 | #Constraints: 240202
2390.47/2397.82 c #Conflicts: 1266000 | #Constraints: 241202
2390.47/2397.82 c #Conflicts: 1267000 | #Constraints: 242202
2390.47/2397.82 c #Conflicts: 1268000 | #Constraints: 243202
2390.47/2397.82 c #Conflicts: 1269000 | #Constraints: 244202
2390.47/2397.82 c #Conflicts: 1270000 | #Constraints: 245202
2390.47/2397.82 c #Conflicts: 1271000 | #Constraints: 246202
2390.47/2397.82 c #Conflicts: 1272000 | #Constraints: 247202
2390.47/2397.82 c #Conflicts: 1273000 | #Constraints: 248202
2390.47/2397.82 c #Conflicts: 1274000 | #Constraints: 249202
2390.47/2397.82 c #Conflicts: 1275000 | #Constraints: 250202
2390.47/2397.82 c #Conflicts: 1276000 | #Constraints: 251202
2390.47/2397.82 c #Conflicts: 1277000 | #Constraints: 252202
2390.47/2397.82 c #Conflicts: 1278000 | #Constraints: 253202
2390.47/2397.82 c #Conflicts: 1279000 | #Constraints: 254202
2390.47/2397.82 c INPROCESSING
2390.47/2397.82 c GARBAGE COLLECT
2390.47/2397.82 c #Conflicts: 1280000 | #Constraints: 232800
2390.47/2397.82 c #Conflicts: 1281000 | #Constraints: 233800
2390.47/2397.82 c #Conflicts: 1282000 | #Constraints: 234800
2390.47/2397.82 c #Conflicts: 1283000 | #Constraints: 235800
2390.47/2397.82 c #Conflicts: 1284000 | #Constraints: 236800
2390.47/2397.82 c #Conflicts: 1285000 | #Constraints: 237800
2390.47/2397.82 c #Conflicts: 1286000 | #Constraints: 238800
2390.47/2397.82 c #Conflicts: 1287000 | #Constraints: 239800
2390.47/2397.82 c #Conflicts: 1288000 | #Constraints: 240800
2390.47/2397.82 c #Conflicts: 1289000 | #Constraints: 241800
2390.47/2397.82 c #Conflicts: 1290000 | #Constraints: 242800
2390.47/2397.82 c #Conflicts: 1291000 | #Constraints: 243800
2390.47/2397.82 c #Conflicts: 1292000 | #Constraints: 244800
2390.47/2397.82 c #Conflicts: 1293000 | #Constraints: 245800
2390.47/2397.82 c #Conflicts: 1294000 | #Constraints: 246800
2390.47/2397.82 c #Conflicts: 1295000 | #Constraints: 247800
2390.47/2397.82 c #Conflicts: 1296000 | #Constraints: 248800
2390.47/2397.82 c #Conflicts: 1297000 | #Constraints: 249800
2390.47/2397.82 c #Conflicts: 1298000 | #Constraints: 250800
2390.47/2397.82 c #Conflicts: 1299000 | #Constraints: 251800
2390.47/2397.82 c #Conflicts: 1300000 | #Constraints: 252800
2390.47/2397.82 c #Conflicts: 1301000 | #Constraints: 253800
2390.47/2397.82 c #Conflicts: 1302000 | #Constraints: 254800
2390.47/2397.82 c INPROCESSING
2390.47/2397.82 c GARBAGE COLLECT
2390.47/2397.82 c #Conflicts: 1303000 | #Constraints: 233195
2390.47/2397.82 c #Conflicts: 1304000 | #Constraints: 234195
2390.47/2397.82 c #Conflicts: 1305000 | #Constraints: 235195
2390.47/2397.82 c #Conflicts: 1306000 | #Constraints: 236195
2390.47/2397.82 c #Conflicts: 1307000 | #Constraints: 237195
2390.47/2397.82 c #Conflicts: 1308000 | #Constraints: 238195
2390.47/2397.82 c #Conflicts: 1309000 | #Constraints: 239195
2390.47/2397.82 c #Conflicts: 1310000 | #Constraints: 240195
2390.47/2397.82 c #Conflicts: 1311000 | #Constraints: 241195
2390.47/2397.82 c #Conflicts: 1312000 | #Constraints: 242195
2390.47/2397.82 c #Conflicts: 1313000 | #Constraints: 243195
2390.47/2397.82 c #Conflicts: 1314000 | #Constraints: 244195
2390.47/2397.82 c #Conflicts: 1315000 | #Constraints: 245195
2390.47/2397.82 c #Conflicts: 1316000 | #Constraints: 246195
2390.47/2397.82 c #Conflicts: 1317000 | #Constraints: 247195
2390.47/2397.82 c #Conflicts: 1318000 | #Constraints: 248195
2390.47/2397.82 c #Conflicts: 1319000 | #Constraints: 249195
2390.47/2397.82 c #Conflicts: 1320000 | #Constraints: 250195
2390.47/2397.82 c #Conflicts: 1321000 | #Constraints: 251195
2390.47/2397.82 c #Conflicts: 1322000 | #Constraints: 252195
2390.47/2397.82 c #Conflicts: 1323000 | #Constraints: 253195
2390.47/2397.82 c #Conflicts: 1324000 | #Constraints: 254195
2390.47/2397.82 c #Conflicts: 1325000 | #Constraints: 255195
2390.47/2397.82 c INPROCESSING
2390.47/2397.82 c GARBAGE COLLECT
2390.47/2397.82 c #Conflicts: 1326000 | #Constraints: 233402
2390.47/2397.82 c #Conflicts: 1327000 | #Constraints: 234402
2390.47/2397.82 c #Conflicts: 1328000 | #Constraints: 235402
2390.47/2397.82 c #Conflicts: 1329000 | #Constraints: 236402
2390.47/2397.82 c #Conflicts: 1330000 | #Constraints: 237402
2512.26/2519.98 c #Conflicts: 1331000 | #Constraints: 238402
2512.26/2519.98 c #Conflicts: 1332000 | #Constraints: 239402
2512.26/2519.98 c #Conflicts: 1333000 | #Constraints: 240402
2512.26/2519.98 c #Conflicts: 1334000 | #Constraints: 241402
2512.26/2519.98 c #Conflicts: 1335000 | #Constraints: 242402
2512.26/2519.98 c #Conflicts: 1336000 | #Constraints: 243402
2512.26/2519.98 c #Conflicts: 1337000 | #Constraints: 244402
2512.26/2519.98 c #Conflicts: 1338000 | #Constraints: 245402
2512.26/2519.98 c #Conflicts: 1339000 | #Constraints: 246402
2512.26/2519.98 c #Conflicts: 1340000 | #Constraints: 247402
2512.26/2519.98 c #Conflicts: 1341000 | #Constraints: 248402
2512.26/2519.98 c #Conflicts: 1342000 | #Constraints: 249402
2512.26/2519.98 c #Conflicts: 1343000 | #Constraints: 250402
2512.26/2519.98 c #Conflicts: 1344000 | #Constraints: 251402
2512.26/2519.98 c #Conflicts: 1345000 | #Constraints: 252402
2512.26/2519.98 c #Conflicts: 1346000 | #Constraints: 253402
2512.26/2519.98 c #Conflicts: 1347000 | #Constraints: 254402
2512.26/2519.98 c #Conflicts: 1348000 | #Constraints: 255402
2512.26/2519.98 c INPROCESSING
2512.26/2519.98 c GARBAGE COLLECT
2512.26/2519.98 c #Conflicts: 1349000 | #Constraints: 233402
2512.26/2519.98 c #Conflicts: 1350000 | #Constraints: 234402
2512.26/2519.98 c #Conflicts: 1351000 | #Constraints: 235402
2512.26/2519.98 c #Conflicts: 1352000 | #Constraints: 236402
2512.26/2519.98 c #Conflicts: 1353000 | #Constraints: 237402
2512.26/2519.98 c #Conflicts: 1354000 | #Constraints: 238402
2512.26/2519.98 c #Conflicts: 1355000 | #Constraints: 239402
2512.26/2519.98 c #Conflicts: 1356000 | #Constraints: 240402
2512.26/2519.98 c #Conflicts: 1357000 | #Constraints: 241402
2512.26/2519.98 c #Conflicts: 1358000 | #Constraints: 242402
2512.26/2519.98 c #Conflicts: 1359000 | #Constraints: 243402
2512.26/2519.98 c #Conflicts: 1360000 | #Constraints: 244402
2512.26/2519.98 c #Conflicts: 1361000 | #Constraints: 245402
2512.26/2519.98 c #Conflicts: 1362000 | #Constraints: 246402
2512.26/2519.98 c #Conflicts: 1363000 | #Constraints: 247402
2512.26/2519.98 c #Conflicts: 1364000 | #Constraints: 248402
2512.26/2519.98 c #Conflicts: 1365000 | #Constraints: 249402
2512.26/2519.98 c #Conflicts: 1366000 | #Constraints: 250402
2512.26/2519.98 c #Conflicts: 1367000 | #Constraints: 251402
2512.26/2519.98 c #Conflicts: 1368000 | #Constraints: 252402
2512.26/2519.98 c #Conflicts: 1369000 | #Constraints: 253402
2512.26/2519.98 c #Conflicts: 1370000 | #Constraints: 254402
2512.26/2519.98 c #Conflicts: 1371000 | #Constraints: 255402
2512.26/2519.98 c INPROCESSING
2512.26/2519.98 c GARBAGE COLLECT
2512.26/2519.98 c #Conflicts: 1372000 | #Constraints: 233203
2512.26/2519.98 c #Conflicts: 1373000 | #Constraints: 234203
2512.26/2519.98 c #Conflicts: 1374000 | #Constraints: 235203
2512.26/2519.98 c #Conflicts: 1375000 | #Constraints: 236203
2512.26/2519.98 c #Conflicts: 1376000 | #Constraints: 237203
2512.26/2519.98 c #Conflicts: 1377000 | #Constraints: 238203
2512.26/2519.98 c #Conflicts: 1378000 | #Constraints: 239203
2512.26/2519.98 c #Conflicts: 1379000 | #Constraints: 240203
2512.26/2519.98 c #Conflicts: 1380000 | #Constraints: 241203
2512.26/2519.98 c #Conflicts: 1381000 | #Constraints: 242203
2512.26/2519.98 c #Conflicts: 1382000 | #Constraints: 243203
2512.26/2519.98 c #Conflicts: 1383000 | #Constraints: 244203
2512.26/2519.98 c #Conflicts: 1384000 | #Constraints: 245203
2512.26/2519.98 c #Conflicts: 1385000 | #Constraints: 246203
2512.26/2519.98 c #Conflicts: 1386000 | #Constraints: 247203
2512.26/2519.98 c #Conflicts: 1387000 | #Constraints: 248203
2512.26/2519.98 c #Conflicts: 1388000 | #Constraints: 249203
2512.26/2519.98 c #Conflicts: 1389000 | #Constraints: 250203
2512.26/2519.98 c #Conflicts: 1390000 | #Constraints: 251203
2512.26/2519.98 c #Conflicts: 1391000 | #Constraints: 252203
2512.26/2519.98 c #Conflicts: 1392000 | #Constraints: 253203
2512.26/2519.98 c #Conflicts: 1393000 | #Constraints: 254203
2512.26/2519.98 c #Conflicts: 1394000 | #Constraints: 255203
2512.26/2519.98 c #Conflicts: 1395000 | #Constraints: 256203
2512.26/2519.98 c INPROCESSING
2512.26/2519.98 c GARBAGE COLLECT
2512.26/2519.98 c #Conflicts: 1396000 | #Constraints: 233801
2512.26/2519.98 c #Conflicts: 1397000 | #Constraints: 234801
2512.26/2519.98 c #Conflicts: 1398000 | #Constraints: 235801
2512.26/2519.98 c #Conflicts: 1399000 | #Constraints: 236801
2512.26/2519.98 c #Conflicts: 1400000 | #Constraints: 237801
2512.26/2519.98 c #Conflicts: 1401000 | #Constraints: 238801
2512.26/2519.98 c #Conflicts: 1402000 | #Constraints: 239801
2512.26/2519.98 c #Conflicts: 1403000 | #Constraints: 240801
2512.26/2519.98 c #Conflicts: 1404000 | #Constraints: 241801
2512.26/2519.98 c #Conflicts: 1405000 | #Constraints: 242801
2512.26/2519.98 c #Conflicts: 1406000 | #Constraints: 243801
2512.26/2519.98 c #Conflicts: 1407000 | #Constraints: 244801
2632.36/2640.32 c #Conflicts: 1408000 | #Constraints: 245801
2632.36/2640.32 c #Conflicts: 1409000 | #Constraints: 246801
2632.36/2640.32 c #Conflicts: 1410000 | #Constraints: 247801
2632.36/2640.32 c #Conflicts: 1411000 | #Constraints: 248801
2632.36/2640.32 c #Conflicts: 1412000 | #Constraints: 249801
2632.36/2640.32 c #Conflicts: 1413000 | #Constraints: 250801
2632.36/2640.32 c #Conflicts: 1414000 | #Constraints: 251801
2632.36/2640.32 c #Conflicts: 1415000 | #Constraints: 252801
2632.36/2640.32 c #Conflicts: 1416000 | #Constraints: 253801
2632.36/2640.32 c #Conflicts: 1417000 | #Constraints: 254801
2632.36/2640.32 c #Conflicts: 1418000 | #Constraints: 255801
2632.36/2640.32 c #Conflicts: 1419000 | #Constraints: 256801
2632.36/2640.32 c INPROCESSING
2632.36/2640.32 c GARBAGE COLLECT
2632.36/2640.32 c #Conflicts: 1420000 | #Constraints: 234201
2632.36/2640.32 c #Conflicts: 1421000 | #Constraints: 235201
2632.36/2640.32 c #Conflicts: 1422000 | #Constraints: 236201
2632.36/2640.32 c #Conflicts: 1423000 | #Constraints: 237201
2632.36/2640.32 c #Conflicts: 1424000 | #Constraints: 238201
2632.36/2640.32 c #Conflicts: 1425000 | #Constraints: 239201
2632.36/2640.32 c #Conflicts: 1426000 | #Constraints: 240201
2632.36/2640.32 c #Conflicts: 1427000 | #Constraints: 241201
2632.36/2640.32 c #Conflicts: 1428000 | #Constraints: 242201
2632.36/2640.32 c #Conflicts: 1429000 | #Constraints: 243201
2632.36/2640.32 c #Conflicts: 1430000 | #Constraints: 244201
2632.36/2640.32 c #Conflicts: 1431000 | #Constraints: 245201
2632.36/2640.32 c #Conflicts: 1432000 | #Constraints: 246201
2632.36/2640.32 c #Conflicts: 1433000 | #Constraints: 247201
2632.36/2640.32 c #Conflicts: 1434000 | #Constraints: 248201
2632.36/2640.32 c #Conflicts: 1435000 | #Constraints: 249201
2632.36/2640.32 c #Conflicts: 1436000 | #Constraints: 250201
2632.36/2640.32 c #Conflicts: 1437000 | #Constraints: 251201
2632.36/2640.32 c #Conflicts: 1438000 | #Constraints: 252201
2632.36/2640.32 c #Conflicts: 1439000 | #Constraints: 253201
2632.36/2640.32 c #Conflicts: 1440000 | #Constraints: 254201
2632.36/2640.32 c #Conflicts: 1441000 | #Constraints: 255201
2632.36/2640.32 c #Conflicts: 1442000 | #Constraints: 256201
2632.36/2640.32 c #Conflicts: 1443000 | #Constraints: 257201
2632.36/2640.32 c INPROCESSING
2632.36/2640.32 c GARBAGE COLLECT
2632.36/2640.32 c #Conflicts: 1444000 | #Constraints: 234399
2632.36/2640.32 c #Conflicts: 1445000 | #Constraints: 235399
2632.36/2640.32 c #Conflicts: 1446000 | #Constraints: 236399
2632.36/2640.32 c #Conflicts: 1447000 | #Constraints: 237399
2632.36/2640.32 c #Conflicts: 1448000 | #Constraints: 238399
2632.36/2640.32 c #Conflicts: 1449000 | #Constraints: 239399
2632.36/2640.32 c #Conflicts: 1450000 | #Constraints: 240399
2632.36/2640.32 c #Conflicts: 1451000 | #Constraints: 241399
2632.36/2640.32 c #Conflicts: 1452000 | #Constraints: 242399
2632.36/2640.32 c #Conflicts: 1453000 | #Constraints: 243399
2632.36/2640.32 c #Conflicts: 1454000 | #Constraints: 244399
2632.36/2640.32 c #Conflicts: 1455000 | #Constraints: 245399
2632.36/2640.32 c #Conflicts: 1456000 | #Constraints: 246399
2632.36/2640.32 c #Conflicts: 1457000 | #Constraints: 247399
2632.36/2640.32 c #Conflicts: 1458000 | #Constraints: 248399
2632.36/2640.32 c #Conflicts: 1459000 | #Constraints: 249399
2632.36/2640.32 c #Conflicts: 1460000 | #Constraints: 250399
2632.36/2640.32 c #Conflicts: 1461000 | #Constraints: 251399
2632.36/2640.32 c #Conflicts: 1462000 | #Constraints: 252399
2632.36/2640.32 c #Conflicts: 1463000 | #Constraints: 253399
2632.36/2640.32 c #Conflicts: 1464000 | #Constraints: 254399
2632.36/2640.32 c #Conflicts: 1465000 | #Constraints: 255399
2632.36/2640.32 c #Conflicts: 1466000 | #Constraints: 256399
2632.36/2640.32 c #Conflicts: 1467000 | #Constraints: 257399
2632.36/2640.32 c INPROCESSING
2632.36/2640.32 c GARBAGE COLLECT
2632.36/2640.32 c #Conflicts: 1468000 | #Constraints: 234396
2632.36/2640.32 c #Conflicts: 1469000 | #Constraints: 235396
2632.36/2640.32 c #Conflicts: 1470000 | #Constraints: 236396
2632.36/2640.32 c #Conflicts: 1471000 | #Constraints: 237396
2632.36/2640.32 c #Conflicts: 1472000 | #Constraints: 238396
2632.36/2640.32 c #Conflicts: 1473000 | #Constraints: 239396
2632.36/2640.32 c #Conflicts: 1474000 | #Constraints: 240396
2632.36/2640.32 c #Conflicts: 1475000 | #Constraints: 241396
2632.36/2640.32 c #Conflicts: 1476000 | #Constraints: 242396
2632.36/2640.32 c #Conflicts: 1477000 | #Constraints: 243396
2632.36/2640.32 c #Conflicts: 1478000 | #Constraints: 244396
2632.36/2640.32 c #Conflicts: 1479000 | #Constraints: 245396
2632.36/2640.32 c #Conflicts: 1480000 | #Constraints: 246396
2632.36/2640.32 c #Conflicts: 1481000 | #Constraints: 247396
2632.36/2640.32 c #Conflicts: 1482000 | #Constraints: 248396
2632.36/2640.32 c #Conflicts: 1483000 | #Constraints: 249396
2632.36/2640.32 c #Conflicts: 1484000 | #Constraints: 250396
2746.92/2755.15 c #Conflicts: 1485000 | #Constraints: 251396
2746.92/2755.15 c #Conflicts: 1486000 | #Constraints: 252396
2746.92/2755.15 c #Conflicts: 1487000 | #Constraints: 253396
2746.92/2755.15 c #Conflicts: 1488000 | #Constraints: 254396
2746.92/2755.15 c #Conflicts: 1489000 | #Constraints: 255396
2746.92/2755.15 c #Conflicts: 1490000 | #Constraints: 256396
2746.92/2755.15 c #Conflicts: 1491000 | #Constraints: 257396
2746.92/2755.15 c INPROCESSING
2746.92/2755.15 c GARBAGE COLLECT
2746.92/2755.15 c #Conflicts: 1492000 | #Constraints: 234197
2746.92/2755.15 c #Conflicts: 1493000 | #Constraints: 235197
2746.92/2755.15 c #Conflicts: 1494000 | #Constraints: 236197
2746.92/2755.15 c #Conflicts: 1495000 | #Constraints: 237197
2746.92/2755.15 c #Conflicts: 1496000 | #Constraints: 238197
2746.92/2755.15 c #Conflicts: 1497000 | #Constraints: 239197
2746.92/2755.15 c #Conflicts: 1498000 | #Constraints: 240197
2746.92/2755.15 c #Conflicts: 1499000 | #Constraints: 241197
2746.92/2755.15 c #Conflicts: 1500000 | #Constraints: 242197
2746.92/2755.15 c #Conflicts: 1501000 | #Constraints: 243197
2746.92/2755.15 c #Conflicts: 1502000 | #Constraints: 244197
2746.92/2755.15 c #Conflicts: 1503000 | #Constraints: 245197
2746.92/2755.15 c #Conflicts: 1504000 | #Constraints: 246197
2746.92/2755.15 c #Conflicts: 1505000 | #Constraints: 247197
2746.92/2755.15 c #Conflicts: 1506000 | #Constraints: 248197
2746.92/2755.15 c #Conflicts: 1507000 | #Constraints: 249197
2746.92/2755.15 c #Conflicts: 1508000 | #Constraints: 250197
2746.92/2755.15 c #Conflicts: 1509000 | #Constraints: 251197
2746.92/2755.15 c #Conflicts: 1510000 | #Constraints: 252197
2746.92/2755.15 c #Conflicts: 1511000 | #Constraints: 253197
2746.92/2755.15 c #Conflicts: 1512000 | #Constraints: 254197
2746.92/2755.15 c #Conflicts: 1513000 | #Constraints: 255197
2746.92/2755.15 c #Conflicts: 1514000 | #Constraints: 256197
2746.92/2755.15 c #Conflicts: 1515000 | #Constraints: 257197
2746.92/2755.15 c #Conflicts: 1516000 | #Constraints: 258197
2746.92/2755.15 c INPROCESSING
2746.92/2755.15 c GARBAGE COLLECT
2746.92/2755.15 c #Conflicts: 1517000 | #Constraints: 234799
2746.92/2755.15 c #Conflicts: 1518000 | #Constraints: 235799
2746.92/2755.15 c #Conflicts: 1519000 | #Constraints: 236799
2746.92/2755.15 c #Conflicts: 1520000 | #Constraints: 237799
2746.92/2755.15 c #Conflicts: 1521000 | #Constraints: 238799
2746.92/2755.15 c #Conflicts: 1522000 | #Constraints: 239799
2746.92/2755.15 c #Conflicts: 1523000 | #Constraints: 240799
2746.92/2755.15 c #Conflicts: 1524000 | #Constraints: 241799
2746.92/2755.15 c #Conflicts: 1525000 | #Constraints: 242799
2746.92/2755.15 c #Conflicts: 1526000 | #Constraints: 243799
2746.92/2755.15 c #Conflicts: 1527000 | #Constraints: 244799
2746.92/2755.15 c #Conflicts: 1528000 | #Constraints: 245799
2746.92/2755.15 c #Conflicts: 1529000 | #Constraints: 246799
2746.92/2755.15 c #Conflicts: 1530000 | #Constraints: 247799
2746.92/2755.15 c #Conflicts: 1531000 | #Constraints: 248799
2746.92/2755.15 c #Conflicts: 1532000 | #Constraints: 249799
2746.92/2755.15 c #Conflicts: 1533000 | #Constraints: 250799
2746.92/2755.15 c #Conflicts: 1534000 | #Constraints: 251799
2746.92/2755.15 c #Conflicts: 1535000 | #Constraints: 252799
2746.92/2755.15 c #Conflicts: 1536000 | #Constraints: 253799
2746.92/2755.15 c #Conflicts: 1537000 | #Constraints: 254799
2746.92/2755.15 c #Conflicts: 1538000 | #Constraints: 255799
2746.92/2755.15 c #Conflicts: 1539000 | #Constraints: 256799
2746.92/2755.15 c #Conflicts: 1540000 | #Constraints: 257799
2746.92/2755.15 c #Conflicts: 1541000 | #Constraints: 258799
2746.92/2755.15 c INPROCESSING
2746.92/2755.15 c GARBAGE COLLECT
2746.92/2755.15 c #Conflicts: 1542000 | #Constraints: 235198
2746.92/2755.15 c #Conflicts: 1543000 | #Constraints: 236198
2746.92/2755.15 c #Conflicts: 1544000 | #Constraints: 237198
2746.92/2755.15 c #Conflicts: 1545000 | #Constraints: 238198
2746.92/2755.15 c #Conflicts: 1546000 | #Constraints: 239198
2746.92/2755.15 c #Conflicts: 1547000 | #Constraints: 240198
2746.92/2755.15 c #Conflicts: 1548000 | #Constraints: 241198
2746.92/2755.15 c #Conflicts: 1549000 | #Constraints: 242198
2746.92/2755.15 c #Conflicts: 1550000 | #Constraints: 243198
2746.92/2755.15 c #Conflicts: 1551000 | #Constraints: 244198
2746.92/2755.15 c #Conflicts: 1552000 | #Constraints: 245198
2746.92/2755.15 c #Conflicts: 1553000 | #Constraints: 246198
2746.92/2755.15 c #Conflicts: 1554000 | #Constraints: 247198
2746.92/2755.15 c #Conflicts: 1555000 | #Constraints: 248198
2746.92/2755.15 c #Conflicts: 1556000 | #Constraints: 249198
2746.92/2755.15 c #Conflicts: 1557000 | #Constraints: 250198
2746.92/2755.15 c #Conflicts: 1558000 | #Constraints: 251198
2746.92/2755.15 c #Conflicts: 1559000 | #Constraints: 252198
2746.92/2755.15 c #Conflicts: 1560000 | #Constraints: 253198
2746.92/2755.15 c #Conflicts: 1561000 | #Constraints: 254198
2858.07/2866.50 c #Conflicts: 1562000 | #Constraints: 255198
2858.07/2866.50 c #Conflicts: 1563000 | #Constraints: 256198
2858.07/2866.50 c #Conflicts: 1564000 | #Constraints: 257198
2858.07/2866.50 c #Conflicts: 1565000 | #Constraints: 258198
2858.07/2866.50 c #Conflicts: 1566000 | #Constraints: 259198
2858.07/2866.50 c INPROCESSING
2858.07/2866.50 c GARBAGE COLLECT
2858.07/2866.50 c #Conflicts: 1567000 | #Constraints: 235405
2858.07/2866.50 c #Conflicts: 1568000 | #Constraints: 236405
2858.07/2866.50 c #Conflicts: 1569000 | #Constraints: 237405
2858.07/2866.50 c #Conflicts: 1570000 | #Constraints: 238405
2858.07/2866.50 c #Conflicts: 1571000 | #Constraints: 239405
2858.07/2866.50 c #Conflicts: 1572000 | #Constraints: 240405
2858.07/2866.50 c #Conflicts: 1573000 | #Constraints: 241405
2858.07/2866.50 c #Conflicts: 1574000 | #Constraints: 242405
2858.07/2866.50 c #Conflicts: 1575000 | #Constraints: 243405
2858.07/2866.50 c #Conflicts: 1576000 | #Constraints: 244405
2858.07/2866.50 c #Conflicts: 1577000 | #Constraints: 245405
2858.07/2866.50 c #Conflicts: 1578000 | #Constraints: 246405
2858.07/2866.50 c #Conflicts: 1579000 | #Constraints: 247405
2858.07/2866.50 c #Conflicts: 1580000 | #Constraints: 248405
2858.07/2866.50 c #Conflicts: 1581000 | #Constraints: 249405
2858.07/2866.50 c #Conflicts: 1582000 | #Constraints: 250405
2858.07/2866.50 c #Conflicts: 1583000 | #Constraints: 251405
2858.07/2866.50 c #Conflicts: 1584000 | #Constraints: 252405
2858.07/2866.50 c #Conflicts: 1585000 | #Constraints: 253405
2858.07/2866.50 c #Conflicts: 1586000 | #Constraints: 254405
2858.07/2866.50 c #Conflicts: 1587000 | #Constraints: 255405
2858.07/2866.50 c #Conflicts: 1588000 | #Constraints: 256405
2858.07/2866.50 c #Conflicts: 1589000 | #Constraints: 257405
2858.07/2866.50 c #Conflicts: 1590000 | #Constraints: 258405
2858.07/2866.50 c #Conflicts: 1591000 | #Constraints: 259405
2858.07/2866.50 c INPROCESSING
2858.07/2866.50 c GARBAGE COLLECT
2858.07/2866.50 c #Conflicts: 1592000 | #Constraints: 235405
2858.07/2866.50 c #Conflicts: 1593000 | #Constraints: 236405
2858.07/2866.50 c #Conflicts: 1594000 | #Constraints: 237405
2858.07/2866.50 c #Conflicts: 1595000 | #Constraints: 238405
2858.07/2866.50 c #Conflicts: 1596000 | #Constraints: 239405
2858.07/2866.50 c #Conflicts: 1597000 | #Constraints: 240405
2858.07/2866.50 c #Conflicts: 1598000 | #Constraints: 241405
2858.07/2866.50 c #Conflicts: 1599000 | #Constraints: 242405
2858.07/2866.50 c #Conflicts: 1600000 | #Constraints: 243405
2858.07/2866.50 c #Conflicts: 1601000 | #Constraints: 244405
2858.07/2866.50 c #Conflicts: 1602000 | #Constraints: 245405
2858.07/2866.50 c #Conflicts: 1603000 | #Constraints: 246405
2858.07/2866.50 c #Conflicts: 1604000 | #Constraints: 247405
2858.07/2866.50 c #Conflicts: 1605000 | #Constraints: 248405
2858.07/2866.50 c #Conflicts: 1606000 | #Constraints: 249405
2858.07/2866.50 c #Conflicts: 1607000 | #Constraints: 250405
2858.07/2866.50 c #Conflicts: 1608000 | #Constraints: 251405
2858.07/2866.50 c #Conflicts: 1609000 | #Constraints: 252405
2858.07/2866.50 c #Conflicts: 1610000 | #Constraints: 253405
2858.07/2866.50 c #Conflicts: 1611000 | #Constraints: 254405
2858.07/2866.50 c #Conflicts: 1612000 | #Constraints: 255405
2858.07/2866.50 c #Conflicts: 1613000 | #Constraints: 256405
2858.07/2866.50 c #Conflicts: 1614000 | #Constraints: 257405
2858.07/2866.50 c #Conflicts: 1615000 | #Constraints: 258405
2858.07/2866.50 c #Conflicts: 1616000 | #Constraints: 259405
2858.07/2866.50 c INPROCESSING
2858.07/2866.50 c GARBAGE COLLECT
2858.07/2866.50 c #Conflicts: 1617000 | #Constraints: 235208
2858.07/2866.50 c #Conflicts: 1618000 | #Constraints: 236208
2858.07/2866.50 c #Conflicts: 1619000 | #Constraints: 237208
2858.07/2866.50 c #Conflicts: 1620000 | #Constraints: 238208
2858.07/2866.50 c #Conflicts: 1621000 | #Constraints: 239208
2858.07/2866.50 c #Conflicts: 1622000 | #Constraints: 240208
2858.07/2866.50 c #Conflicts: 1623000 | #Constraints: 241208
2858.07/2866.50 c #Conflicts: 1624000 | #Constraints: 242208
2858.07/2866.50 c #Conflicts: 1625000 | #Constraints: 243208
2858.07/2866.50 c #Conflicts: 1626000 | #Constraints: 244208
2858.07/2866.50 c #Conflicts: 1627000 | #Constraints: 245208
2858.07/2866.50 c #Conflicts: 1628000 | #Constraints: 246208
2858.07/2866.50 c #Conflicts: 1629000 | #Constraints: 247208
2858.07/2866.50 c #Conflicts: 1630000 | #Constraints: 248208
2858.07/2866.50 c #Conflicts: 1631000 | #Constraints: 249208
2858.07/2866.50 c #Conflicts: 1632000 | #Constraints: 250208
2858.07/2866.50 c #Conflicts: 1633000 | #Constraints: 251208
2858.07/2866.50 c #Conflicts: 1634000 | #Constraints: 252208
2858.07/2866.50 c #Conflicts: 1635000 | #Constraints: 253208
2858.07/2866.50 c #Conflicts: 1636000 | #Constraints: 254208
2858.07/2866.50 c #Conflicts: 1637000 | #Constraints: 255208
2858.07/2866.50 c #Conflicts: 1638000 | #Constraints: 256208
2973.02/2981.77 c #Conflicts: 1639000 | #Constraints: 257208
2973.02/2981.77 c #Conflicts: 1640000 | #Constraints: 258208
2973.02/2981.77 c #Conflicts: 1641000 | #Constraints: 259208
2973.02/2981.77 c #Conflicts: 1642000 | #Constraints: 260208
2973.02/2981.77 c INPROCESSING
2973.02/2981.77 c GARBAGE COLLECT
2973.02/2981.77 c #Conflicts: 1643000 | #Constraints: 235810
2973.02/2981.77 c #Conflicts: 1644000 | #Constraints: 236810
2973.02/2981.77 c #Conflicts: 1645000 | #Constraints: 237810
2973.02/2981.77 c #Conflicts: 1646000 | #Constraints: 238810
2973.02/2981.77 c #Conflicts: 1647000 | #Constraints: 239810
2973.02/2981.77 c #Conflicts: 1648000 | #Constraints: 240810
2973.02/2981.77 c #Conflicts: 1649000 | #Constraints: 241810
2973.02/2981.77 c #Conflicts: 1650000 | #Constraints: 242810
2973.02/2981.77 c #Conflicts: 1651000 | #Constraints: 243810
2973.02/2981.77 c #Conflicts: 1652000 | #Constraints: 244810
2973.02/2981.77 c #Conflicts: 1653000 | #Constraints: 245810
2973.02/2981.77 c #Conflicts: 1654000 | #Constraints: 246810
2973.02/2981.77 c #Conflicts: 1655000 | #Constraints: 247810
2973.02/2981.77 c #Conflicts: 1656000 | #Constraints: 248810
2973.02/2981.77 c #Conflicts: 1657000 | #Constraints: 249810
2973.02/2981.77 c #Conflicts: 1658000 | #Constraints: 250810
2973.02/2981.77 c #Conflicts: 1659000 | #Constraints: 251810
2973.02/2981.77 c #Conflicts: 1660000 | #Constraints: 252810
2973.02/2981.77 c #Conflicts: 1661000 | #Constraints: 253810
2973.02/2981.77 c #Conflicts: 1662000 | #Constraints: 254810
2973.02/2981.77 c #Conflicts: 1663000 | #Constraints: 255810
2973.02/2981.77 c #Conflicts: 1664000 | #Constraints: 256810
2973.02/2981.77 c #Conflicts: 1665000 | #Constraints: 257810
2973.02/2981.77 c #Conflicts: 1666000 | #Constraints: 258810
2973.02/2981.77 c #Conflicts: 1667000 | #Constraints: 259810
2973.02/2981.77 c #Conflicts: 1668000 | #Constraints: 260810
2973.02/2981.77 c INPROCESSING
2973.02/2981.77 c GARBAGE COLLECT
2973.02/2981.77 c #Conflicts: 1669000 | #Constraints: 236205
2973.02/2981.77 c #Conflicts: 1670000 | #Constraints: 237205
2973.02/2981.77 c #Conflicts: 1671000 | #Constraints: 238205
2973.02/2981.77 c #Conflicts: 1672000 | #Constraints: 239205
2973.02/2981.77 c #Conflicts: 1673000 | #Constraints: 240205
2973.02/2981.77 c #Conflicts: 1674000 | #Constraints: 241205
2973.02/2981.77 c #Conflicts: 1675000 | #Constraints: 242205
2973.02/2981.77 c #Conflicts: 1676000 | #Constraints: 243205
2973.02/2981.77 c #Conflicts: 1677000 | #Constraints: 244205
2973.02/2981.77 c #Conflicts: 1678000 | #Constraints: 245205
2973.02/2981.77 c #Conflicts: 1679000 | #Constraints: 246205
2973.02/2981.77 c #Conflicts: 1680000 | #Constraints: 247205
2973.02/2981.77 c #Conflicts: 1681000 | #Constraints: 248205
2973.02/2981.77 c #Conflicts: 1682000 | #Constraints: 249205
2973.02/2981.77 c #Conflicts: 1683000 | #Constraints: 250205
2973.02/2981.77 c #Conflicts: 1684000 | #Constraints: 251205
2973.02/2981.77 c #Conflicts: 1685000 | #Constraints: 252205
2973.02/2981.77 c #Conflicts: 1686000 | #Constraints: 253205
2973.02/2981.77 c #Conflicts: 1687000 | #Constraints: 254205
2973.02/2981.77 c #Conflicts: 1688000 | #Constraints: 255205
2973.02/2981.77 c #Conflicts: 1689000 | #Constraints: 256205
2973.02/2981.77 c #Conflicts: 1690000 | #Constraints: 257205
2973.02/2981.77 c #Conflicts: 1691000 | #Constraints: 258205
2973.02/2981.77 c #Conflicts: 1692000 | #Constraints: 259205
2973.02/2981.77 c #Conflicts: 1693000 | #Constraints: 260205
2973.02/2981.77 c #Conflicts: 1694000 | #Constraints: 261205
2973.02/2981.77 c INPROCESSING
2973.02/2981.77 c GARBAGE COLLECT
2973.02/2981.77 c #Conflicts: 1695000 | #Constraints: 236402
2973.02/2981.77 c #Conflicts: 1696000 | #Constraints: 237402
2973.02/2981.77 c #Conflicts: 1697000 | #Constraints: 238402
2973.02/2981.77 c #Conflicts: 1698000 | #Constraints: 239402
2973.02/2981.77 c #Conflicts: 1699000 | #Constraints: 240402
2973.02/2981.77 c #Conflicts: 1700000 | #Constraints: 241402
2973.02/2981.77 c #Conflicts: 1701000 | #Constraints: 242402
2973.02/2981.77 c #Conflicts: 1702000 | #Constraints: 243402
2973.02/2981.77 c #Conflicts: 1703000 | #Constraints: 244402
2973.02/2981.77 c #Conflicts: 1704000 | #Constraints: 245402
2973.02/2981.77 c #Conflicts: 1705000 | #Constraints: 246402
2973.02/2981.77 c #Conflicts: 1706000 | #Constraints: 247402
2973.02/2981.77 c #Conflicts: 1707000 | #Constraints: 248402
2973.02/2981.77 c #Conflicts: 1708000 | #Constraints: 249402
2973.02/2981.77 c #Conflicts: 1709000 | #Constraints: 250402
2973.02/2981.77 c #Conflicts: 1710000 | #Constraints: 251402
2973.02/2981.77 c #Conflicts: 1711000 | #Constraints: 252402
2973.02/2981.77 c #Conflicts: 1712000 | #Constraints: 253402
2973.02/2981.77 c #Conflicts: 1713000 | #Constraints: 254402
2973.02/2981.77 c #Conflicts: 1714000 | #Constraints: 255402
2973.02/2981.77 c #Conflicts: 1715000 | #Constraints: 256402
3086.87/3095.82 c #Conflicts: 1716000 | #Constraints: 257402
3086.87/3095.82 c #Conflicts: 1717000 | #Constraints: 258402
3086.87/3095.82 c #Conflicts: 1718000 | #Constraints: 259402
3086.87/3095.82 c #Conflicts: 1719000 | #Constraints: 260402
3086.87/3095.82 c #Conflicts: 1720000 | #Constraints: 261402
3086.87/3095.82 c INPROCESSING
3086.87/3095.82 c GARBAGE COLLECT
3086.87/3095.82 c #Conflicts: 1721000 | #Constraints: 236407
3086.87/3095.82 c #Conflicts: 1722000 | #Constraints: 237407
3086.87/3095.82 c #Conflicts: 1723000 | #Constraints: 238407
3086.87/3095.82 c #Conflicts: 1724000 | #Constraints: 239407
3086.87/3095.82 c #Conflicts: 1725000 | #Constraints: 240407
3086.87/3095.82 c #Conflicts: 1726000 | #Constraints: 241407
3086.87/3095.82 c #Conflicts: 1727000 | #Constraints: 242407
3086.87/3095.82 c #Conflicts: 1728000 | #Constraints: 243407
3086.87/3095.82 c #Conflicts: 1729000 | #Constraints: 244407
3086.87/3095.82 c #Conflicts: 1730000 | #Constraints: 245407
3086.87/3095.82 c #Conflicts: 1731000 | #Constraints: 246407
3086.87/3095.82 c #Conflicts: 1732000 | #Constraints: 247407
3086.87/3095.82 c #Conflicts: 1733000 | #Constraints: 248407
3086.87/3095.82 c #Conflicts: 1734000 | #Constraints: 249407
3086.87/3095.82 c #Conflicts: 1735000 | #Constraints: 250407
3086.87/3095.82 c #Conflicts: 1736000 | #Constraints: 251407
3086.87/3095.82 c #Conflicts: 1737000 | #Constraints: 252407
3086.87/3095.82 c #Conflicts: 1738000 | #Constraints: 253407
3086.87/3095.82 c #Conflicts: 1739000 | #Constraints: 254407
3086.87/3095.82 c #Conflicts: 1740000 | #Constraints: 255407
3086.87/3095.82 c #Conflicts: 1741000 | #Constraints: 256407
3086.87/3095.82 c #Conflicts: 1742000 | #Constraints: 257407
3086.87/3095.82 c #Conflicts: 1743000 | #Constraints: 258407
3086.87/3095.82 c #Conflicts: 1744000 | #Constraints: 259407
3086.87/3095.82 c #Conflicts: 1745000 | #Constraints: 260407
3086.87/3095.82 c #Conflicts: 1746000 | #Constraints: 261407
3086.87/3095.82 c INPROCESSING
3086.87/3095.82 c GARBAGE COLLECT
3086.87/3095.82 c #Conflicts: 1747000 | #Constraints: 236201
3086.87/3095.82 c #Conflicts: 1748000 | #Constraints: 237201
3086.87/3095.82 c #Conflicts: 1749000 | #Constraints: 238201
3086.87/3095.82 c #Conflicts: 1750000 | #Constraints: 239201
3086.87/3095.82 c #Conflicts: 1751000 | #Constraints: 240201
3086.87/3095.82 c #Conflicts: 1752000 | #Constraints: 241201
3086.87/3095.82 c #Conflicts: 1753000 | #Constraints: 242201
3086.87/3095.82 c #Conflicts: 1754000 | #Constraints: 243201
3086.87/3095.82 c #Conflicts: 1755000 | #Constraints: 244201
3086.87/3095.82 c #Conflicts: 1756000 | #Constraints: 245201
3086.87/3095.82 c #Conflicts: 1757000 | #Constraints: 246201
3086.87/3095.82 c #Conflicts: 1758000 | #Constraints: 247201
3086.87/3095.82 c #Conflicts: 1759000 | #Constraints: 248201
3086.87/3095.82 c #Conflicts: 1760000 | #Constraints: 249201
3086.87/3095.82 c #Conflicts: 1761000 | #Constraints: 250201
3086.87/3095.82 c #Conflicts: 1762000 | #Constraints: 251201
3086.87/3095.82 c #Conflicts: 1763000 | #Constraints: 252201
3086.87/3095.82 c #Conflicts: 1764000 | #Constraints: 253201
3086.87/3095.82 c #Conflicts: 1765000 | #Constraints: 254201
3086.87/3095.82 c #Conflicts: 1766000 | #Constraints: 255201
3086.87/3095.82 c #Conflicts: 1767000 | #Constraints: 256201
3086.87/3095.82 c #Conflicts: 1768000 | #Constraints: 257201
3086.87/3095.82 c #Conflicts: 1769000 | #Constraints: 258201
3086.87/3095.82 c #Conflicts: 1770000 | #Constraints: 259201
3086.87/3095.82 c #Conflicts: 1771000 | #Constraints: 260201
3086.87/3095.82 c #Conflicts: 1772000 | #Constraints: 261201
3086.87/3095.82 c #Conflicts: 1773000 | #Constraints: 262201
3086.87/3095.82 c INPROCESSING
3086.87/3095.82 c GARBAGE COLLECT
3086.87/3095.82 c #Conflicts: 1774000 | #Constraints: 236802
3086.87/3095.82 c #Conflicts: 1775000 | #Constraints: 237802
3086.87/3095.82 c #Conflicts: 1776000 | #Constraints: 238802
3086.87/3095.82 c #Conflicts: 1777000 | #Constraints: 239802
3086.87/3095.82 c #Conflicts: 1778000 | #Constraints: 240802
3086.87/3095.82 c #Conflicts: 1779000 | #Constraints: 241802
3086.87/3095.82 c #Conflicts: 1780000 | #Constraints: 242802
3086.87/3095.82 c #Conflicts: 1781000 | #Constraints: 243802
3086.87/3095.82 c #Conflicts: 1782000 | #Constraints: 244802
3086.87/3095.82 c #Conflicts: 1783000 | #Constraints: 245802
3086.87/3095.82 c #Conflicts: 1784000 | #Constraints: 246802
3086.87/3095.82 c #Conflicts: 1785000 | #Constraints: 247802
3086.87/3095.82 c #Conflicts: 1786000 | #Constraints: 248802
3086.87/3095.82 c #Conflicts: 1787000 | #Constraints: 249802
3086.87/3095.82 c #Conflicts: 1788000 | #Constraints: 250802
3086.87/3095.82 c #Conflicts: 1789000 | #Constraints: 251802
3086.87/3095.82 c #Conflicts: 1790000 | #Constraints: 252802
3086.87/3095.82 c #Conflicts: 1791000 | #Constraints: 253802
3086.87/3095.82 c #Conflicts: 1792000 | #Constraints: 254802
3203.46/3212.79 c #Conflicts: 1793000 | #Constraints: 255802
3203.46/3212.79 c #Conflicts: 1794000 | #Constraints: 256802
3203.46/3212.79 c #Conflicts: 1795000 | #Constraints: 257802
3203.46/3212.79 c #Conflicts: 1796000 | #Constraints: 258802
3203.46/3212.79 c #Conflicts: 1797000 | #Constraints: 259802
3203.46/3212.79 c #Conflicts: 1798000 | #Constraints: 260802
3203.46/3212.79 c #Conflicts: 1799000 | #Constraints: 261802
3203.46/3212.79 c #Conflicts: 1800000 | #Constraints: 262802
3203.46/3212.79 c INPROCESSING
3203.46/3212.79 c GARBAGE COLLECT
3203.46/3212.79 c #Conflicts: 1801000 | #Constraints: 237201
3203.46/3212.79 c #Conflicts: 1802000 | #Constraints: 238201
3203.46/3212.79 c #Conflicts: 1803000 | #Constraints: 239201
3203.46/3212.79 c #Conflicts: 1804000 | #Constraints: 240201
3203.46/3212.79 c #Conflicts: 1805000 | #Constraints: 241201
3203.46/3212.79 c #Conflicts: 1806000 | #Constraints: 242201
3203.46/3212.79 c #Conflicts: 1807000 | #Constraints: 243201
3203.46/3212.79 c #Conflicts: 1808000 | #Constraints: 244201
3203.46/3212.79 c #Conflicts: 1809000 | #Constraints: 245201
3203.46/3212.79 c #Conflicts: 1810000 | #Constraints: 246201
3203.46/3212.79 c #Conflicts: 1811000 | #Constraints: 247201
3203.46/3212.79 c #Conflicts: 1812000 | #Constraints: 248201
3203.46/3212.79 c #Conflicts: 1813000 | #Constraints: 249201
3203.46/3212.79 c #Conflicts: 1814000 | #Constraints: 250201
3203.46/3212.79 c #Conflicts: 1815000 | #Constraints: 251201
3203.46/3212.79 c #Conflicts: 1816000 | #Constraints: 252201
3203.46/3212.79 c #Conflicts: 1817000 | #Constraints: 253201
3203.46/3212.79 c #Conflicts: 1818000 | #Constraints: 254201
3203.46/3212.79 c #Conflicts: 1819000 | #Constraints: 255201
3203.46/3212.79 c #Conflicts: 1820000 | #Constraints: 256201
3203.46/3212.79 c #Conflicts: 1821000 | #Constraints: 257201
3203.46/3212.79 c #Conflicts: 1822000 | #Constraints: 258201
3203.46/3212.79 c #Conflicts: 1823000 | #Constraints: 259201
3203.46/3212.79 c #Conflicts: 1824000 | #Constraints: 260201
3203.46/3212.79 c #Conflicts: 1825000 | #Constraints: 261201
3203.46/3212.79 c #Conflicts: 1826000 | #Constraints: 262201
3203.46/3212.79 c #Conflicts: 1827000 | #Constraints: 263201
3203.46/3212.79 c INPROCESSING
3203.46/3212.79 c GARBAGE COLLECT
3203.46/3212.79 c #Conflicts: 1828000 | #Constraints: 237406
3203.46/3212.79 c #Conflicts: 1829000 | #Constraints: 238406
3203.46/3212.79 c #Conflicts: 1830000 | #Constraints: 239406
3203.46/3212.79 c #Conflicts: 1831000 | #Constraints: 240406
3203.46/3212.79 c #Conflicts: 1832000 | #Constraints: 241406
3203.46/3212.79 c #Conflicts: 1833000 | #Constraints: 242406
3203.46/3212.79 c #Conflicts: 1834000 | #Constraints: 243406
3203.46/3212.79 c #Conflicts: 1835000 | #Constraints: 244406
3203.46/3212.79 c #Conflicts: 1836000 | #Constraints: 245406
3203.46/3212.79 c #Conflicts: 1837000 | #Constraints: 246406
3203.46/3212.79 c #Conflicts: 1838000 | #Constraints: 247406
3203.46/3212.79 c #Conflicts: 1839000 | #Constraints: 248406
3203.46/3212.79 c #Conflicts: 1840000 | #Constraints: 249406
3203.46/3212.79 c #Conflicts: 1841000 | #Constraints: 250406
3203.46/3212.79 c #Conflicts: 1842000 | #Constraints: 251406
3203.46/3212.79 c #Conflicts: 1843000 | #Constraints: 252406
3203.46/3212.79 c #Conflicts: 1844000 | #Constraints: 253406
3203.46/3212.79 c #Conflicts: 1845000 | #Constraints: 254406
3203.46/3212.79 c #Conflicts: 1846000 | #Constraints: 255406
3203.46/3212.79 c #Conflicts: 1847000 | #Constraints: 256406
3203.46/3212.79 c #Conflicts: 1848000 | #Constraints: 257406
3203.46/3212.79 c #Conflicts: 1849000 | #Constraints: 258406
3203.46/3212.79 c #Conflicts: 1850000 | #Constraints: 259406
3203.46/3212.79 c #Conflicts: 1851000 | #Constraints: 260406
3203.46/3212.79 c #Conflicts: 1852000 | #Constraints: 261406
3203.46/3212.79 c #Conflicts: 1853000 | #Constraints: 262406
3203.46/3212.79 c #Conflicts: 1854000 | #Constraints: 263406
3203.46/3212.79 c INPROCESSING
3203.46/3212.79 c GARBAGE COLLECT
3203.46/3212.79 c #Conflicts: 1855000 | #Constraints: 237411
3203.46/3212.79 c #Conflicts: 1856000 | #Constraints: 238411
3203.46/3212.79 c #Conflicts: 1857000 | #Constraints: 239411
3203.46/3212.79 c #Conflicts: 1858000 | #Constraints: 240411
3203.46/3212.79 c #Conflicts: 1859000 | #Constraints: 241411
3203.46/3212.79 c #Conflicts: 1860000 | #Constraints: 242411
3203.46/3212.79 c #Conflicts: 1861000 | #Constraints: 243411
3203.46/3212.79 c #Conflicts: 1862000 | #Constraints: 244411
3203.46/3212.79 c #Conflicts: 1863000 | #Constraints: 245411
3203.46/3212.79 c #Conflicts: 1864000 | #Constraints: 246411
3203.46/3212.79 c #Conflicts: 1865000 | #Constraints: 247411
3203.46/3212.79 c #Conflicts: 1866000 | #Constraints: 248411
3203.46/3212.79 c #Conflicts: 1867000 | #Constraints: 249411
3203.46/3212.79 c #Conflicts: 1868000 | #Constraints: 250411
3203.46/3212.79 c #Conflicts: 1869000 | #Constraints: 251411
3322.54/3332.19 c #Conflicts: 1870000 | #Constraints: 252411
3322.54/3332.19 c #Conflicts: 1871000 | #Constraints: 253411
3322.54/3332.19 c #Conflicts: 1872000 | #Constraints: 254411
3322.54/3332.19 c #Conflicts: 1873000 | #Constraints: 255411
3322.54/3332.19 c #Conflicts: 1874000 | #Constraints: 256411
3322.54/3332.19 c #Conflicts: 1875000 | #Constraints: 257411
3322.54/3332.19 c #Conflicts: 1876000 | #Constraints: 258411
3322.54/3332.19 c #Conflicts: 1877000 | #Constraints: 259411
3322.54/3332.19 c #Conflicts: 1878000 | #Constraints: 260411
3322.54/3332.19 c #Conflicts: 1879000 | #Constraints: 261411
3322.54/3332.19 c #Conflicts: 1880000 | #Constraints: 262411
3322.54/3332.19 c #Conflicts: 1881000 | #Constraints: 263411
3322.54/3332.19 c INPROCESSING
3322.54/3332.19 c GARBAGE COLLECT
3322.54/3332.19 c #Conflicts: 1882000 | #Constraints: 237211
3322.54/3332.19 c #Conflicts: 1883000 | #Constraints: 238211
3322.54/3332.19 c #Conflicts: 1884000 | #Constraints: 239211
3322.54/3332.19 c #Conflicts: 1885000 | #Constraints: 240211
3322.54/3332.19 c #Conflicts: 1886000 | #Constraints: 241211
3322.54/3332.19 c #Conflicts: 1887000 | #Constraints: 242211
3322.54/3332.19 c #Conflicts: 1888000 | #Constraints: 243211
3322.54/3332.19 c #Conflicts: 1889000 | #Constraints: 244211
3322.54/3332.19 c #Conflicts: 1890000 | #Constraints: 245211
3322.54/3332.19 c #Conflicts: 1891000 | #Constraints: 246211
3322.54/3332.19 c #Conflicts: 1892000 | #Constraints: 247211
3322.54/3332.19 c #Conflicts: 1893000 | #Constraints: 248211
3322.54/3332.19 c #Conflicts: 1894000 | #Constraints: 249211
3322.54/3332.19 c #Conflicts: 1895000 | #Constraints: 250211
3322.54/3332.19 c #Conflicts: 1896000 | #Constraints: 251211
3322.54/3332.19 c #Conflicts: 1897000 | #Constraints: 252211
3322.54/3332.19 c #Conflicts: 1898000 | #Constraints: 253211
3322.54/3332.19 c #Conflicts: 1899000 | #Constraints: 254211
3322.54/3332.19 c #Conflicts: 1900000 | #Constraints: 255211
3322.54/3332.19 c #Conflicts: 1901000 | #Constraints: 256211
3322.54/3332.19 c #Conflicts: 1902000 | #Constraints: 257211
3322.54/3332.19 c #Conflicts: 1903000 | #Constraints: 258211
3322.54/3332.19 c #Conflicts: 1904000 | #Constraints: 259211
3322.54/3332.19 c #Conflicts: 1905000 | #Constraints: 260211
3322.54/3332.19 c #Conflicts: 1906000 | #Constraints: 261211
3322.54/3332.19 c #Conflicts: 1907000 | #Constraints: 262211
3322.54/3332.19 c #Conflicts: 1908000 | #Constraints: 263211
3322.54/3332.19 c #Conflicts: 1909000 | #Constraints: 264211
3322.54/3332.19 c INPROCESSING
3322.54/3332.19 c GARBAGE COLLECT
3322.54/3332.19 c #Conflicts: 1910000 | #Constraints: 237812
3322.54/3332.19 c #Conflicts: 1911000 | #Constraints: 238812
3322.54/3332.19 c #Conflicts: 1912000 | #Constraints: 239812
3322.54/3332.19 c #Conflicts: 1913000 | #Constraints: 240812
3322.54/3332.19 c #Conflicts: 1914000 | #Constraints: 241812
3322.54/3332.19 c #Conflicts: 1915000 | #Constraints: 242812
3322.54/3332.19 c #Conflicts: 1916000 | #Constraints: 243812
3322.54/3332.19 c #Conflicts: 1917000 | #Constraints: 244812
3322.54/3332.19 c #Conflicts: 1918000 | #Constraints: 245812
3322.54/3332.19 c #Conflicts: 1919000 | #Constraints: 246812
3322.54/3332.19 c #Conflicts: 1920000 | #Constraints: 247812
3322.54/3332.19 c #Conflicts: 1921000 | #Constraints: 248812
3322.54/3332.19 c #Conflicts: 1922000 | #Constraints: 249812
3322.54/3332.19 c #Conflicts: 1923000 | #Constraints: 250812
3322.54/3332.19 c #Conflicts: 1924000 | #Constraints: 251812
3322.54/3332.19 c #Conflicts: 1925000 | #Constraints: 252812
3322.54/3332.19 c #Conflicts: 1926000 | #Constraints: 253812
3322.54/3332.19 c #Conflicts: 1927000 | #Constraints: 254812
3322.54/3332.19 c #Conflicts: 1928000 | #Constraints: 255812
3322.54/3332.19 c #Conflicts: 1929000 | #Constraints: 256812
3322.54/3332.19 c #Conflicts: 1930000 | #Constraints: 257812
3322.54/3332.19 c #Conflicts: 1931000 | #Constraints: 258812
3322.54/3332.19 c #Conflicts: 1932000 | #Constraints: 259812
3322.54/3332.19 c #Conflicts: 1933000 | #Constraints: 260812
3322.54/3332.19 c #Conflicts: 1934000 | #Constraints: 261812
3322.54/3332.19 c #Conflicts: 1935000 | #Constraints: 262812
3322.54/3332.19 c #Conflicts: 1936000 | #Constraints: 263812
3322.54/3332.19 c #Conflicts: 1937000 | #Constraints: 264812
3322.54/3332.19 c INPROCESSING
3322.54/3332.19 c GARBAGE COLLECT
3322.54/3332.19 c #Conflicts: 1938000 | #Constraints: 238209
3322.54/3332.19 c #Conflicts: 1939000 | #Constraints: 239209
3322.54/3332.19 c #Conflicts: 1940000 | #Constraints: 240209
3322.54/3332.19 c #Conflicts: 1941000 | #Constraints: 241209
3322.54/3332.19 c #Conflicts: 1942000 | #Constraints: 242209
3322.54/3332.19 c #Conflicts: 1943000 | #Constraints: 243209
3322.54/3332.19 c #Conflicts: 1944000 | #Constraints: 244209
3322.54/3332.19 c #Conflicts: 1945000 | #Constraints: 245209
3445.12/3455.04 c #Conflicts: 1946000 | #Constraints: 246209
3445.12/3455.04 c #Conflicts: 1947000 | #Constraints: 247209
3445.12/3455.04 c #Conflicts: 1948000 | #Constraints: 248209
3445.12/3455.04 c #Conflicts: 1949000 | #Constraints: 249209
3445.12/3455.04 c #Conflicts: 1950000 | #Constraints: 250209
3445.12/3455.04 c #Conflicts: 1951000 | #Constraints: 251209
3445.12/3455.04 c #Conflicts: 1952000 | #Constraints: 252209
3445.12/3455.04 c #Conflicts: 1953000 | #Constraints: 253209
3445.12/3455.04 c #Conflicts: 1954000 | #Constraints: 254209
3445.12/3455.04 c #Conflicts: 1955000 | #Constraints: 255209
3445.12/3455.04 c #Conflicts: 1956000 | #Constraints: 256209
3445.12/3455.04 c #Conflicts: 1957000 | #Constraints: 257209
3445.12/3455.04 c #Conflicts: 1958000 | #Constraints: 258209
3445.12/3455.04 c #Conflicts: 1959000 | #Constraints: 259209
3445.12/3455.04 c #Conflicts: 1960000 | #Constraints: 260209
3445.12/3455.04 c #Conflicts: 1961000 | #Constraints: 261209
3445.12/3455.04 c #Conflicts: 1962000 | #Constraints: 262209
3445.12/3455.04 c #Conflicts: 1963000 | #Constraints: 263209
3445.12/3455.04 c #Conflicts: 1964000 | #Constraints: 264209
3445.12/3455.04 c #Conflicts: 1965000 | #Constraints: 265209
3445.12/3455.04 c INPROCESSING
3445.12/3455.04 c GARBAGE COLLECT
3445.12/3455.04 c #Conflicts: 1966000 | #Constraints: 238410
3445.12/3455.04 c #Conflicts: 1967000 | #Constraints: 239410
3445.12/3455.04 c #Conflicts: 1968000 | #Constraints: 240410
3445.12/3455.04 c #Conflicts: 1969000 | #Constraints: 241410
3445.12/3455.04 c #Conflicts: 1970000 | #Constraints: 242410
3445.12/3455.04 c #Conflicts: 1971000 | #Constraints: 243410
3445.12/3455.04 c #Conflicts: 1972000 | #Constraints: 244410
3445.12/3455.04 c #Conflicts: 1973000 | #Constraints: 245410
3445.12/3455.04 c #Conflicts: 1974000 | #Constraints: 246410
3445.12/3455.04 c #Conflicts: 1975000 | #Constraints: 247410
3445.12/3455.04 c #Conflicts: 1976000 | #Constraints: 248410
3445.12/3455.04 c #Conflicts: 1977000 | #Constraints: 249410
3445.12/3455.04 c #Conflicts: 1978000 | #Constraints: 250410
3445.12/3455.04 c #Conflicts: 1979000 | #Constraints: 251410
3445.12/3455.04 c #Conflicts: 1980000 | #Constraints: 252410
3445.12/3455.04 c #Conflicts: 1981000 | #Constraints: 253410
3445.12/3455.04 c #Conflicts: 1982000 | #Constraints: 254410
3445.12/3455.04 c #Conflicts: 1983000 | #Constraints: 255410
3445.12/3455.04 c #Conflicts: 1984000 | #Constraints: 256410
3445.12/3455.05 c #Conflicts: 1985000 | #Constraints: 257410
3445.12/3455.05 c #Conflicts: 1986000 | #Constraints: 258410
3445.12/3455.05 c #Conflicts: 1987000 | #Constraints: 259410
3445.12/3455.05 c #Conflicts: 1988000 | #Constraints: 260410
3445.12/3455.05 c #Conflicts: 1989000 | #Constraints: 261410
3445.12/3455.05 c #Conflicts: 1990000 | #Constraints: 262410
3445.12/3455.05 c #Conflicts: 1991000 | #Constraints: 263410
3445.12/3455.05 c #Conflicts: 1992000 | #Constraints: 264410
3445.12/3455.05 c #Conflicts: 1993000 | #Constraints: 265410
3445.12/3455.05 c INPROCESSING
3445.12/3455.05 c GARBAGE COLLECT
3445.12/3455.05 c #Conflicts: 1994000 | #Constraints: 238407
3445.12/3455.05 c #Conflicts: 1995000 | #Constraints: 239407
3445.12/3455.05 c #Conflicts: 1996000 | #Constraints: 240407
3445.12/3455.05 c #Conflicts: 1997000 | #Constraints: 241407
3445.12/3455.05 c #Conflicts: 1998000 | #Constraints: 242407
3445.12/3455.05 c #Conflicts: 1999000 | #Constraints: 243407
3445.12/3455.05 c #Conflicts: 2000000 | #Constraints: 244407
3445.12/3455.05 c #Conflicts: 2001000 | #Constraints: 245407
3445.12/3455.05 c #Conflicts: 2002000 | #Constraints: 246407
3445.12/3455.05 c #Conflicts: 2003000 | #Constraints: 247407
3445.12/3455.05 c #Conflicts: 2004000 | #Constraints: 248407
3445.12/3455.05 c #Conflicts: 2005000 | #Constraints: 249407
3445.12/3455.05 c #Conflicts: 2006000 | #Constraints: 250407
3445.12/3455.05 c #Conflicts: 2007000 | #Constraints: 251407
3445.12/3455.05 c #Conflicts: 2008000 | #Constraints: 252407
3445.12/3455.05 c #Conflicts: 2009000 | #Constraints: 253407
3445.12/3455.05 c #Conflicts: 2010000 | #Constraints: 254407
3445.12/3455.05 c #Conflicts: 2011000 | #Constraints: 255407
3445.12/3455.05 c #Conflicts: 2012000 | #Constraints: 256407
3445.12/3455.05 c #Conflicts: 2013000 | #Constraints: 257407
3445.12/3455.05 c #Conflicts: 2014000 | #Constraints: 258407
3445.12/3455.05 c #Conflicts: 2015000 | #Constraints: 259407
3445.12/3455.05 c #Conflicts: 2016000 | #Constraints: 260407
3445.12/3455.05 c #Conflicts: 2017000 | #Constraints: 261407
3445.12/3455.05 c #Conflicts: 2018000 | #Constraints: 262407
3445.12/3455.05 c #Conflicts: 2019000 | #Constraints: 263407
3445.12/3455.05 c #Conflicts: 2020000 | #Constraints: 264407
3445.12/3455.05 c #Conflicts: 2021000 | #Constraints: 265407
3445.12/3455.05 c INPROCESSING
3445.12/3455.05 c GARBAGE COLLECT
3445.12/3455.05 c #Conflicts: 2022000 | #Constraints: 238209
3572.95/3583.24 c #Conflicts: 2023000 | #Constraints: 239209
3572.95/3583.24 c #Conflicts: 2024000 | #Constraints: 240209
3572.95/3583.24 c #Conflicts: 2025000 | #Constraints: 241209
3572.95/3583.24 c #Conflicts: 2026000 | #Constraints: 242209
3572.95/3583.24 c #Conflicts: 2027000 | #Constraints: 243209
3572.95/3583.24 c #Conflicts: 2028000 | #Constraints: 244209
3572.95/3583.24 c #Conflicts: 2029000 | #Constraints: 245209
3572.95/3583.24 c #Conflicts: 2030000 | #Constraints: 246209
3572.95/3583.24 c #Conflicts: 2031000 | #Constraints: 247209
3572.95/3583.24 c #Conflicts: 2032000 | #Constraints: 248209
3572.95/3583.24 c #Conflicts: 2033000 | #Constraints: 249209
3572.95/3583.24 c #Conflicts: 2034000 | #Constraints: 250209
3572.95/3583.24 c #Conflicts: 2035000 | #Constraints: 251209
3572.95/3583.24 c #Conflicts: 2036000 | #Constraints: 252209
3572.95/3583.24 c #Conflicts: 2037000 | #Constraints: 253209
3572.95/3583.24 c #Conflicts: 2038000 | #Constraints: 254209
3572.95/3583.24 c #Conflicts: 2039000 | #Constraints: 255209
3572.95/3583.24 c #Conflicts: 2040000 | #Constraints: 256209
3572.95/3583.24 c #Conflicts: 2041000 | #Constraints: 257209
3572.95/3583.24 c #Conflicts: 2042000 | #Constraints: 258209
3572.95/3583.24 c #Conflicts: 2043000 | #Constraints: 259209
3572.95/3583.24 c #Conflicts: 2044000 | #Constraints: 260209
3572.95/3583.24 c #Conflicts: 2045000 | #Constraints: 261209
3572.95/3583.24 c #Conflicts: 2046000 | #Constraints: 262209
3572.95/3583.24 c #Conflicts: 2047000 | #Constraints: 263209
3572.95/3583.24 c #Conflicts: 2048000 | #Constraints: 264209
3572.95/3583.24 c #Conflicts: 2049000 | #Constraints: 265209
3572.95/3583.24 c #Conflicts: 2050000 | #Constraints: 266209
3572.95/3583.24 c INPROCESSING
3572.95/3583.24 c GARBAGE COLLECT
3572.95/3583.24 c #Conflicts: 2051000 | #Constraints: 238805
3572.95/3583.24 c #Conflicts: 2052000 | #Constraints: 239805
3572.95/3583.24 c #Conflicts: 2053000 | #Constraints: 240805
3572.95/3583.24 c #Conflicts: 2054000 | #Constraints: 241805
3572.95/3583.24 c #Conflicts: 2055000 | #Constraints: 242805
3572.95/3583.24 c #Conflicts: 2056000 | #Constraints: 243805
3572.95/3583.24 c #Conflicts: 2057000 | #Constraints: 244805
3572.95/3583.24 c #Conflicts: 2058000 | #Constraints: 245805
3572.95/3583.24 c #Conflicts: 2059000 | #Constraints: 246805
3572.95/3583.24 c #Conflicts: 2060000 | #Constraints: 247805
3572.95/3583.24 c #Conflicts: 2061000 | #Constraints: 248805
3572.95/3583.24 c #Conflicts: 2062000 | #Constraints: 249805
3572.95/3583.24 c #Conflicts: 2063000 | #Constraints: 250805
3572.95/3583.24 c #Conflicts: 2064000 | #Constraints: 251805
3572.95/3583.24 c #Conflicts: 2065000 | #Constraints: 252805
3572.95/3583.24 c #Conflicts: 2066000 | #Constraints: 253805
3572.95/3583.24 c #Conflicts: 2067000 | #Constraints: 254805
3572.95/3583.24 c #Conflicts: 2068000 | #Constraints: 255805
3572.95/3583.24 c #Conflicts: 2069000 | #Constraints: 256805
3572.95/3583.24 c #Conflicts: 2070000 | #Constraints: 257805
3572.95/3583.24 c #Conflicts: 2071000 | #Constraints: 258805
3572.95/3583.24 c #Conflicts: 2072000 | #Constraints: 259805
3572.95/3583.24 c #Conflicts: 2073000 | #Constraints: 260805
3572.95/3583.24 c #Conflicts: 2074000 | #Constraints: 261805
3572.95/3583.24 c #Conflicts: 2075000 | #Constraints: 262805
3572.95/3583.24 c #Conflicts: 2076000 | #Constraints: 263805
3572.95/3583.24 c #Conflicts: 2077000 | #Constraints: 264805
3572.95/3583.24 c #Conflicts: 2078000 | #Constraints: 265805
3572.95/3583.24 c #Conflicts: 2079000 | #Constraints: 266805
3572.95/3583.24 c INPROCESSING
3572.95/3583.24 c GARBAGE COLLECT
3572.95/3583.24 c #Conflicts: 2080000 | #Constraints: 239209
3572.95/3583.24 c #Conflicts: 2081000 | #Constraints: 240209
3572.95/3583.24 c #Conflicts: 2082000 | #Constraints: 241209
3572.95/3583.24 c #Conflicts: 2083000 | #Constraints: 242209
3572.95/3583.24 c #Conflicts: 2084000 | #Constraints: 243209
3572.95/3583.24 c #Conflicts: 2085000 | #Constraints: 244209
3572.95/3583.24 c #Conflicts: 2086000 | #Constraints: 245209
3572.95/3583.24 c #Conflicts: 2087000 | #Constraints: 246209
3572.95/3583.24 c #Conflicts: 2088000 | #Constraints: 247209
3572.95/3583.24 c #Conflicts: 2089000 | #Constraints: 248209
3572.95/3583.24 c #Conflicts: 2090000 | #Constraints: 249209
3572.95/3583.24 c #Conflicts: 2091000 | #Constraints: 250209
3572.95/3583.24 c #Conflicts: 2092000 | #Constraints: 251209
3572.95/3583.24 c #Conflicts: 2093000 | #Constraints: 252209
3572.95/3583.24 c #Conflicts: 2094000 | #Constraints: 253209
3572.95/3583.24 c #Conflicts: 2095000 | #Constraints: 254209
3572.95/3583.24 c #Conflicts: 2096000 | #Constraints: 255209
3572.95/3583.24 c #Conflicts: 2097000 | #Constraints: 256209
3572.95/3583.24 c #Conflicts: 2098000 | #Constraints: 257209
3572.95/3583.24 c #Conflicts: 2099000 | #Constraints: 258209
3572.95/3583.24 c #Conflicts: 2100000 | #Constraints: 259209
3600.07/3610.40 c #Conflicts: 2101000 | #Constraints: 260209
3600.07/3610.40 c #Conflicts: 2102000 | #Constraints: 261209
3600.07/3610.40 c #Conflicts: 2103000 | #Constraints: 262209
3600.07/3610.40 c #Conflicts: 2104000 | #Constraints: 263209
3600.07/3610.40 c #Conflicts: 2105000 | #Constraints: 264209
3600.07/3610.40 c #Conflicts: 2106000 | #Constraints: 265209
3600.07/3610.40 c #Conflicts: 2107000 | #Constraints: 266209
3600.07/3610.40 c #Conflicts: 2108000 | #Constraints: 267209
3600.07/3610.40 c INPROCESSING
3600.07/3610.40 c GARBAGE COLLECT
3600.07/3610.40 c #Conflicts: 2109000 | #Constraints: 239411
3600.07/3610.40 c #Conflicts: 2110000 | #Constraints: 240411
3600.07/3610.40 c #Conflicts: 2111000 | #Constraints: 241411
3600.07/3610.40 c #Conflicts: 2112000 | #Constraints: 242411
3600.07/3610.40 c #Conflicts: 2113000 | #Constraints: 243411
3600.07/3610.40 c #Conflicts: 2114000 | #Constraints: 244411
3600.07/3610.40 c #Conflicts: 2115000 | #Constraints: 245411
3600.07/3610.40 c #Conflicts: 2116000 | #Constraints: 246411
3600.07/3610.40 c Program interrupted by user.
3600.07/3610.40 c cpu time 3590.33 s
3600.07/3610.40 c deterministic time 152672179919 1.53e+11
3600.07/3610.40 c optimization time 14.2341 s
3600.07/3610.40 c total solve time 3275.46 s
3600.07/3610.40 c core-guided solve time 3275.46 s
3600.07/3610.40 c propagation time 1282.82 s
3600.07/3610.40 c conflict analysis time 1914.11 s
3600.07/3610.40 c propagations 375594247
3600.07/3610.40 c resolve steps 97111735
3600.07/3610.40 c decisions 2456156
3600.07/3610.40 c conflicts 2116942
3600.07/3610.40 c restarts 4092
3600.07/3610.40 c inprocessing phases 136
3600.07/3610.40 c input clauses 209577
3600.07/3610.40 c input cardinalities 584
3600.07/3610.40 c input general constraints 0
3600.07/3610.40 c input average constraint length 8.51
3600.07/3610.40 c input average constraint degree 1.82
3600.07/3610.40 c learned clauses 2041453
3600.07/3610.40 c learned cardinalities 2643
3600.07/3610.40 c learned general constraints 72873
3600.07/3610.40 c learned average constraint length 578.10
3600.07/3610.40 c learned average constraint degree 64.94
3600.07/3610.40 c watched constraints 51928
3600.07/3610.40 c counting constraints 20945
3600.07/3610.40 c gcd simplifications 685872
3600.07/3610.40 c detected cardinalities 2
3600.07/3610.40 c weakened non-implied lits 1297035147
3600.07/3610.40 c weakened non-implying lits 4432950
3600.07/3610.40 c original variables 2346
3600.07/3610.40 c clausal propagations 289136103
3600.07/3610.40 c cardinality propagations 2004923
3600.07/3610.40 c watched propagations 139010
3600.07/3610.40 c counting propagations 80139625
3600.07/3610.40 c watch lookups 60648056753
3600.07/3610.40 c watch backjump lookups 57038753317
3600.07/3610.40 c watch checks 16003925156
3600.07/3610.40 c propagation checks 13918576919
3600.07/3610.40 c constraint additions 4304651299
3600.07/3610.40 c trail pops 380166071
3600.07/3610.40 c formula constraints 209576
3600.07/3610.40 c learned constraints 2116969
3600.07/3610.40 c bound constraints 585
3600.07/3610.40 c core-guided constraints 0
3600.07/3610.40 c encountered formula constraints 94861299
3600.07/3610.40 c encountered learned constraints 4364269
3600.07/3610.40 c encountered bound constraints 3109
3600.07/3610.40 c encountered core-guided constraints 0
3600.07/3610.40 c LP total time 0 s
3600.07/3610.40 c LP solve time 0 s
3600.07/3610.40 c LP constraints added 0
3600.07/3610.40 c LP constraints removed 0
3600.07/3610.40 c LP pivots internal 0
3600.07/3610.40 c LP pivots root 0
3600.07/3610.40 c LP calls 0
3600.07/3610.40 c LP optimalities 0
3600.07/3610.40 c LP no pivot count 0
3600.07/3610.40 c LP infeasibilities 0
3600.07/3610.40 c LP valid Farkas constraints 0
3600.07/3610.40 c LP learned Farkas constraints 0
3600.07/3610.40 c LP basis resets 0
3600.07/3610.40 c LP cycling count 0
3600.07/3610.40 c LP singular count 0
3600.07/3610.40 c LP no primal count 0
3600.07/3610.40 c LP no farkas count 0
3600.07/3610.40 c LP other issue count 0
3600.07/3610.40 c LP Gomory cuts 0
3600.07/3610.40 c LP learned cuts 0
3600.07/3610.40 c LP deleted cuts 0
3600.07/3610.40 c LP encountered Gomory constraints 0
3600.07/3610.40 c LP encountered Farkas constraints 0
3600.07/3610.40 c LP encountered learned Farkas constraints 0
3600.07/3610.40 c CG auxiliary variables introduced 0
3600.07/3610.40 c CG solutions found 0
3600.07/3610.40 c CG cores constructed 584
3600.07/3610.40 c CG core cardinality constraints returned 0
3600.07/3610.40 c CG unit cores 0
3600.07/3610.40 c CG single cores 584
3600.07/3610.40 c CG blocks removed during cardinality reduction 0
3600.07/3610.40 c CG first core best 0
3600.07/3610.40 c CG decision core best 0
3600.07/3610.40 c CG core reduction tie 0
3600.07/3610.40 c CG core degree average 1.00
3600.07/3610.40 c CG core slack average 2.33
3600.07/3610.40 c CG exhausted 0
3600.07/3610.40 c CG exhaust time 0 s
3600.07/3610.40 c CG trimmed 0
3600.07/3610.40 c CG trim time 0.010356 s
3600.07/3610.40 c CG minimized 0
3600.07/3610.40 c CG minimize time 0 s
3600.07/3610.40 c CG am1 prop time 0.008448 s
3600.07/3610.40 c CG # am1s reformulated 0
3600.07/3610.40 c CG lower bound derived from am1s 0
3600.07/3610.40 c CG # clausal cores 584
3600.07/3610.40 c CG # cardinality cores 0
3600.07/3610.40 c CG # pb cores 0
3600.07/3610.40 c CG # pb reforms 0
3600.07/3610.40 c CG # cores discarded because of pb reform 0
3600.07/3610.40 d LOWERBOUND -1399
3600.07/3610.40 d NCORES 584
3600.07/3610.40 d NPBCORES 0
3600.07/3610.40 d NPBREFORM 0
3600.07/3610.40 d NTRIMMED 0
3600.07/3610.40 d NEXHAUSTED 0
3600.07/3610.40 d NAM1S 0
3600.07/3610.40 d AM1LB 0
3600.07/3610.40 c [Papilo Statistics]
3600.07/3610.40 c prepro time 0.243194s
3600.07/3610.40 c # tsx applied 0
3600.07/3610.40 c # tsx conflicts 0
3600.07/3610.40 c # bound changes 0
3600.07/3610.40 c # side changes 0
3600.07/3610.40 c # coef changes 0
3600.07/3610.40 c # rounds 1
3600.07/3610.40 c # deted vars 0
3600.07/3610.40 c # deted constrs 0
3600.07/3610.40 c # consecutive rounds of only bound changes 0
3600.07/3610.40 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (61169 MiB free)
memory of node 1: 64507 MiB (62267 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521115-1751561636/watcher-4521115-1751561636 -o /tmp/evaluation-result-4521115-1751561636/solver-4521115-1751561636 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751553490-77708 --watchdog 3760 mixed-bag HOME/instance-4521115-1751561636.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=79916, runsolver pid=79913
Current StackSize limit: 8192 KiB
[startup+0.100069 s]*
/proc/loadavg: 4.08 4.18 4.17 5/251 79917
/proc/meminfo: memFree=126397800/131382112 swapFree=33010416/33010684
[pid=79916] ppid=79913 vsize=94092 memory=11752 CPUtime=0.08 cores=1,3
/proc/79916/stat : 79916 (mixed-bag) R 79913 79916 77674 0 -1 4194304 1574 0 0 0 7 1 0 0 20 0 1 0 71843355 96350208 2938 18446744073709551615 4235264 15874749 140721109163392 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 18096864 18107984 45735936 140721109166492 140721109166569 140721109166569 140721109172171 0
/proc/79916/statm: 23523 2938 2144 2842 0 5756 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 94092 KiB
Current children cumulated memory: 11752 KiB
[startup+0.213337 s]*
/proc/loadavg: 4.16 4.20 4.18 5/251 79917
/proc/meminfo: memFree=126397044/131382112 swapFree=33010416/33010684
[pid=79916] ppid=79913 vsize=96140 memory=14352 CPUtime=0.19 cores=1,3
/proc/79916/stat : 79916 (mixed-bag) R 79913 79916 77674 0 -1 4194304 2229 0 0 0 18 1 0 0 20 0 1 0 71843355 98447360 3588 18446744073709551615 4235264 15874749 140721109163392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45735936 140721109166492 140721109166569 140721109166569 140721109172171 0
/proc/79916/statm: 24035 3588 2144 2842 0 6268 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 96140 KiB
Current children cumulated memory: 14352 KiB
[startup+0.310812 s]*
/proc/loadavg: 4.16 4.20 4.18 5/251 79917
/proc/meminfo: memFree=126397044/131382112 swapFree=33010416/33010684
[pid=79916] ppid=79913 vsize=104336 memory=19100 CPUtime=0.28 cores=1,3
/proc/79916/stat : 79916 (mixed-bag) R 79913 79916 77674 0 -1 4194304 2884 0 0 0 27 1 0 0 20 0 1 0 71843355 106840064 4775 18446744073709551615 4235264 15874749 140721109163392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45735936 140721109166492 140721109166569 140721109166569 140721109172171 0
/proc/79916/statm: 26084 4775 2144 2842 0 8317 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 104336 KiB
Current children cumulated memory: 19100 KiB
[startup+0.700309 s]
/proc/loadavg: 4.16 4.20 4.18 5/251 79917
/proc/meminfo: memFree=126397044/131382112 swapFree=33010416/33010684
[pid=79916] ppid=79913 vsize=108428 memory=26724 CPUtime=0.66 cores=1,3
/proc/79916/stat : 79916 (mixed-bag) R 79913 79916 77674 0 -1 4194304 3800 0 0 0 64 2 0 0 20 0 1 0 71843355 111030272 6681 18446744073709551615 4235264 15874749 140721109163392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45735936 140721109166492 140721109166569 140721109166569 140721109172171 0
/proc/79916/statm: 27107 6681 2144 2842 0 9340 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 108428 KiB
Current children cumulated memory: 26724 KiB
[startup+1.50032 s]
/proc/loadavg: 4.16 4.20 4.18 5/251 79917
/proc/meminfo: memFree=126372784/131382112 swapFree=33010416/33010684
[pid=79916] ppid=79913 vsize=233732 memory=147868 CPUtime=1.46 cores=1,3
/proc/79916/stat : 79916 (mixed-bag) R 79913 79916 77674 0 -1 4194304 13608 0 0 0 140 6 0 0 20 0 1 0 71843355 239341568 36967 18446744073709551615 4235264 15874749 140721109163392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45735936 140721109166492 140721109166569 140721109166569 140721109172171 0
/proc/79916/statm: 58433 36967 3680 2842 0 40127 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 233732 KiB
Current children cumulated memory: 147868 KiB
[startup+3.11308 s]
/proc/loadavg: 4.16 4.20 4.18 5/251 79917
/proc/meminfo: memFree=125883752/131382112 swapFree=33010416/33010684
[pid=79916] ppid=79913 vsize=598344 memory=509200 CPUtime=3.06 cores=1,3
/proc/79916/stat : 79916 (mixed-bag) R 79913 79916 77674 0 -1 4194304 93076 0 0 0 284 22 0 0 20 0 1 0 71843355 612704256 127300 18446744073709551615 4235264 15874749 140721109163392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45735936 140721109166492 140721109166569 140721109166569 140721109172171 0
/proc/79916/statm: 149586 127300 4032 2842 0 131280 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 598344 KiB
Current children cumulated memory: 509200 KiB
[startup+6.30031 s]
/proc/loadavg: 4.15 4.19 4.18 5/251 79917
/proc/meminfo: memFree=125400580/131382112 swapFree=33010416/33010684
[pid=79916] ppid=79913 vsize=1196768 memory=1032964 CPUtime=6.24 cores=1,3
/proc/79916/stat : 79916 (mixed-bag) R 79913 79916 77674 0 -1 4194304 124844 0 0 0 589 35 0 0 20 0 1 0 71843355 1225490432 258241 18446744073709551615 4235264 15874749 140721109163392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45735936 140721109166492 140721109166569 140721109166569 140721109172171 0
/proc/79916/statm: 299192 258241 4096 2842 0 280886 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1196768 KiB
Current children cumulated memory: 1032964 KiB
[startup+12.7003 s]
/proc/loadavg: 4.13 4.19 4.18 5/250 79917
/proc/meminfo: memFree=125331912/131382112 swapFree=33010416/33010684
[pid=79916] ppid=79913 vsize=1218852 memory=1070264 CPUtime=12.63 cores=1,3
/proc/79916/stat : 79916 (mixed-bag) R 79913 79916 77674 0 -1 4194304 146885 0 0 0 1222 41 0 0 20 0 1 0 71843355 1248104448 267566 18446744073709551615 4235264 15874749 140721109163392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45735936 140721109166492 140721109166569 140721109166569 140721109172171 0
/proc/79916/statm: 304713 267566 4256 2842 0 286407 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1218852 KiB
Current children cumulated memory: 1070264 KiB
[startup+25.5003 s]
/proc/loadavg: 4.11 4.18 4.17 5/250 80008
/proc/meminfo: memFree=125411192/131382112 swapFree=33010416/33010684
[pid=79916] ppid=79913 vsize=1218852 memory=1073004 CPUtime=25.39 cores=1,3
/proc/79916/stat : 79916 (mixed-bag) R 79913 79916 77674 0 -1 4194304 147070 0 0 0 2497 42 0 0 20 0 1 0 71843355 1248104448 268251 18446744073709551615 4235264 15874749 140721109163392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45735936 140721109166492 140721109166569 140721109166569 140721109172171 0
/proc/79916/statm: 304713 268251 4256 2842 0 286407 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1218852 KiB
Current children cumulated memory: 1073004 KiB
[startup+51.1133 s]
/proc/loadavg: 4.07 4.16 4.17 5/250 80008
/proc/meminfo: memFree=124203976/131382112 swapFree=33010416/33010684
[pid=79916] ppid=79913 vsize=1222772 memory=1076268 CPUtime=50.93 cores=1,3
/proc/79916/stat : 79916 (mixed-bag) R 79913 79916 77674 0 -1 4194304 147381 0 0 0 5051 42 0 0 20 0 1 0 71843355 1252118528 269067 18446744073709551615 4235264 15874749 140721109163392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45735936 140721109166492 140721109166569 140721109166569 140721109172171 0
/proc/79916/statm: 305693 269067 4256 2842 0 287387 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1222772 KiB
Current children cumulated memory: 1076268 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.15 4.16 5/251 80011
/proc/meminfo: memFree=124012892/131382112 swapFree=33010416/33010684
[pid=79916] ppid=79913 vsize=1224296 memory=1077420 CPUtime=101.95 cores=1,3
/proc/79916/stat : 79916 (mixed-bag) R 79913 79916 77674 0 -1 4194304 147686 0 0 0 10153 42 0 0 20 0 1 0 71843355 1253679104 269355 18446744073709551615 4235264 15874749 140721109163392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45735936 140721109166492 140721109166569 140721109166569 140721109172171 0
/proc/79916/statm: 306074 269355 4256 2842 0 287768 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1224296 KiB
Current children cumulated memory: 1077420 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.14 4.16 5/252 80014
/proc/meminfo: memFree=123984676/131382112 swapFree=33010416/33010684
[pid=79916] ppid=79913 vsize=1226952 memory=1080104 CPUtime=161.76 cores=1,3
/proc/79916/stat : 79916 (mixed-bag) R 79913 79916 77674 0 -1 4194304 147838 0 0 0 16134 42 0 0 20 0 1 0 71843355 1256398848 270026 18446744073709551615 4235264 15874749 140721109163392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45735936 140721109166492 140721109166569 140721109166569 140721109172171 0
/proc/79916/statm: 306738 270026 4256 2842 0 288432 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 1226952 KiB
Current children cumulated memory: 1080104 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/252 80020
/proc/meminfo: memFree=123977124/131382112 swapFree=33010416/33010684
[pid=79916] ppid=79913 vsize=1231864 memory=1082152 CPUtime=221.57 cores=1,3
/proc/79916/stat : 79916 (mixed-bag) R 79913 79916 77674 0 -1 4194304 148428 0 0 0 22114 43 0 0 20 0 1 0 71843355 1261428736 270538 18446744073709551615 4235264 15874749 140721109163392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45735936 140721109166492 140721109166569 140721109166569 140721109172171 0
/proc/79916/statm: 307966 270538 4256 2842 0 289660 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 1231864 KiB
Current children cumulated memory: 1082152 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 4.11 4.15 5/252 80022
/proc/meminfo: memFree=123928064/131382112 swapFree=33010416/33010684
[pid=79916] ppid=79913 vsize=1272300 memory=1107372 CPUtime=281.37 cores=1,3
/proc/79916/stat : 79916 (mixed-bag) R 79913 79916 77674 0 -1 4194304 153677 0 0 0 28094 43 0 0 20 0 1 0 71843355 1302835200 276843 18446744073709551615 4235264 15874749 140721109163392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45735936 140721109166492 140721109166569 140721109166569 140721109172171 0
/proc/79916/statm: 318075 276843 4288 2842 0 299769 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 1272300 KiB
Current children cumulated memory: 1107372 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.12 4.15 5/251 80026
/proc/meminfo: memFree=125272436/131382112 swapFree=33010416/33010684
[pid=79916] ppid=79913 vsize=711436 memory=637232 CPUtime=341.19 cores=1,3
/proc/79916/stat : 79916 (mixed-bag) R 79913 79916 77674 0 -1 4194304 155486 0 0 0 34047 72 0 0 20 0 1 0 71843355 728510464 159308 18446744073709551615 4235264 15874749 140721109163392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45735936 140721109166492 140721109166569 140721109166569 140721109172171 0
/proc/79916/statm: 177859 159308 4448 2842 0 159553 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 711436 KiB
Current children cumulated memory: 637232 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.11 4.14 5/251 80028
/proc/meminfo: memFree=125241772/131382112 swapFree=33010416/33010684
[pid=79916] ppid=79913 vsize=730404 memory=647256 CPUtime=401.01 cores=1,3
/proc/79916/stat : 79916 (mixed-bag) R 79913 79916 77674 0 -1 4194304 155918 0 0 0 40012 89 0 0 20 0 1 0 71843355 747933696 161814 18446744073709551615 4235264 15874749 140721109163392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45735936 140721109166492 140721109166569 140721109166569 140721109172171 0
/proc/79916/statm: 182601 161814 4448 2842 0 164295 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 730404 KiB
Current children cumulated memory: 647256 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.11 4.13 5/251 80042
/proc/meminfo: memFree=125221276/131382112 swapFree=33010416/33010684
[pid=79916] ppid=79913 vsize=730404 memory=655448 CPUtime=460.85 cores=1,3
/proc/79916/stat : 79916 (mixed-bag) R 79913 79916 77674 0 -1 4194304 155944 0 0 0 45975 110 0 0 20 0 1 0 71843355 747933696 163862 18446744073709551615 4235264 15874749 140721109163392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45735936 140721109166492 140721109166569 140721109166569 140721109172171 0
/proc/79916/statm: 182601 163862 4448 2842 0 164295 0
Current children cumulated CPU time: 460.85 s
################
# More data... #
################
Current children cumulated memory: 740620 KiB
[startup+2862.3 s]
/proc/loadavg: 3.16 3.67 3.92 4/246 80233
/proc/meminfo: memFree=127107368/131382112 swapFree=33010416/33010684
[pid=79916] ppid=79913 vsize=811312 memory=740620 CPUtime=2853.88 cores=1,3
/proc/79916/stat : 79916 (mixed-bag) R 79913 79916 77674 0 -1 4194304 157506 0 0 0 284588 800 0 0 20 0 1 0 71843355 830783488 185155 18446744073709551615 4235264 15874749 140721109163392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45735936 140721109166492 140721109166569 140721109166569 140721109172171 0
/proc/79916/statm: 202828 185155 4448 2842 0 184522 0
Current children cumulated CPU time: 2853.88 s
Current children cumulated vsize: 811312 KiB
Current children cumulated memory: 740620 KiB
[startup+2922.3 s]
/proc/loadavg: 3.14 3.56 3.87 4/249 80238
/proc/meminfo: memFree=127113304/131382112 swapFree=33010416/33010684
[pid=79916] ppid=79913 vsize=811312 memory=746764 CPUtime=2913.75 cores=1,3
/proc/79916/stat : 79916 (mixed-bag) R 79913 79916 77674 0 -1 4194304 157509 0 0 0 290560 815 0 0 20 0 1 0 71843355 830783488 186691 18446744073709551615 4235264 15874749 140721109163392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45735936 140721109166492 140721109166569 140721109166569 140721109172171 0
/proc/79916/statm: 202828 186691 4448 2842 0 184522 0
Current children cumulated CPU time: 2913.75 s
Current children cumulated vsize: 811312 KiB
Current children cumulated memory: 746764 KiB
[startup+2982.3 s]
/proc/loadavg: 3.15 3.49 3.82 4/249 80240
/proc/meminfo: memFree=127124108/131382112 swapFree=33010416/33010684
[pid=79916] ppid=79913 vsize=811312 memory=747404 CPUtime=2973.62 cores=1,3
/proc/79916/stat : 79916 (mixed-bag) R 79913 79916 77674 0 -1 4194304 157676 0 0 0 296534 828 0 0 20 0 1 0 71843355 830783488 186851 18446744073709551615 4235264 15874749 140721109163392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45735936 140721109166492 140721109166569 140721109166569 140721109172171 0
/proc/79916/statm: 202828 186851 4448 2842 0 184522 0
Current children cumulated CPU time: 2973.62 s
Current children cumulated vsize: 811312 KiB
Current children cumulated memory: 747404 KiB
[startup+3042.3 s]
/proc/loadavg: 3.10 3.41 3.77 4/249 80242
/proc/meminfo: memFree=127132292/131382112 swapFree=33010416/33010684
[pid=79916] ppid=79913 vsize=892700 memory=750860 CPUtime=3033.5 cores=1,3
/proc/79916/stat : 79916 (mixed-bag) R 79913 79916 77674 0 -1 4194304 158022 0 0 0 302508 842 0 0 20 0 1 0 71843355 914124800 187715 18446744073709551615 4235264 15874749 140721109163392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45735936 140721109166492 140721109166569 140721109166569 140721109172171 0
/proc/79916/statm: 223175 187715 4448 2842 0 204869 0
Current children cumulated CPU time: 3033.5 s
Current children cumulated vsize: 892700 KiB
Current children cumulated memory: 750860 KiB
[startup+3102.3 s]
/proc/loadavg: 3.07 3.35 3.73 4/248 80244
/proc/meminfo: memFree=127113708/131382112 swapFree=33010416/33010684
[pid=79916] ppid=79913 vsize=892700 memory=750860 CPUtime=3093.35 cores=1,3
/proc/79916/stat : 79916 (mixed-bag) R 79913 79916 77674 0 -1 4194304 158022 0 0 0 308479 856 0 0 20 0 1 0 71843355 914124800 187715 18446744073709551615 4235264 15874749 140721109163392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45735936 140721109166492 140721109166569 140721109166569 140721109172171 0
/proc/79916/statm: 223175 187715 4448 2842 0 204869 0
Current children cumulated CPU time: 3093.35 s
Current children cumulated vsize: 892700 KiB
Current children cumulated memory: 750860 KiB
[startup+3162.3 s]
/proc/loadavg: 3.08 3.30 3.68 4/248 80246
/proc/meminfo: memFree=127109316/131382112 swapFree=33010416/33010684
[pid=79916] ppid=79913 vsize=892700 memory=750860 CPUtime=3153.19 cores=1,3
/proc/79916/stat : 79916 (mixed-bag) R 79913 79916 77674 0 -1 4194304 158084 0 0 0 314447 872 0 0 20 0 1 0 71843355 914124800 187715 18446744073709551615 4235264 15874749 140721109163392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45735936 140721109166492 140721109166569 140721109166569 140721109172171 0
/proc/79916/statm: 223175 187715 4448 2842 0 204869 0
Current children cumulated CPU time: 3153.19 s
Current children cumulated vsize: 892700 KiB
Current children cumulated memory: 750860 KiB
[startup+3222.3 s]
/proc/loadavg: 3.07 3.26 3.64 4/244 80249
/proc/meminfo: memFree=127085068/131382112 swapFree=33010416/33010684
[pid=79916] ppid=79913 vsize=892700 memory=754956 CPUtime=3213.03 cores=1,3
/proc/79916/stat : 79916 (mixed-bag) R 79913 79916 77674 0 -1 4194304 158087 0 0 0 320418 885 0 0 20 0 1 0 71843355 914124800 188739 18446744073709551615 4235264 15874749 140721109163392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45735936 140721109166492 140721109166569 140721109166569 140721109172171 0
/proc/79916/statm: 223175 188739 4448 2842 0 204869 0
Current children cumulated CPU time: 3213.03 s
Current children cumulated vsize: 892700 KiB
Current children cumulated memory: 754956 KiB
[startup+3282.3 s]
/proc/loadavg: 3.12 3.24 3.61 4/245 80256
/proc/meminfo: memFree=127049856/131382112 swapFree=33010416/33010684
[pid=79916] ppid=79913 vsize=892700 memory=754956 CPUtime=3272.87 cores=1,3
/proc/79916/stat : 79916 (mixed-bag) R 79913 79916 77674 0 -1 4194304 158087 0 0 0 326388 899 0 0 20 0 1 0 71843355 914124800 188739 18446744073709551615 4235264 15874749 140721109163392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45735936 140721109166492 140721109166569 140721109166569 140721109172171 0
/proc/79916/statm: 223175 188739 4448 2842 0 204869 0
Current children cumulated CPU time: 3272.87 s
Current children cumulated vsize: 892700 KiB
Current children cumulated memory: 754956 KiB
[startup+3342.3 s]
/proc/loadavg: 3.04 3.19 3.57 4/245 80258
/proc/meminfo: memFree=127065972/131382112 swapFree=33010416/33010684
[pid=79916] ppid=79913 vsize=892700 memory=754956 CPUtime=3332.71 cores=1,3
/proc/79916/stat : 79916 (mixed-bag) R 79913 79916 77674 0 -1 4194304 158087 0 0 0 332358 913 0 0 20 0 1 0 71843355 914124800 188739 18446744073709551615 4235264 15874749 140721109163392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45735936 140721109166492 140721109166569 140721109166569 140721109172171 0
/proc/79916/statm: 223175 188739 4448 2842 0 204869 0
Current children cumulated CPU time: 3332.71 s
Current children cumulated vsize: 892700 KiB
Current children cumulated memory: 754956 KiB
[startup+3402.3 s]
/proc/loadavg: 3.12 3.19 3.54 4/245 80262
/proc/meminfo: memFree=127051264/131382112 swapFree=33010416/33010684
[pid=79916] ppid=79913 vsize=892700 memory=754956 CPUtime=3392.55 cores=1,3
/proc/79916/stat : 79916 (mixed-bag) R 79913 79916 77674 0 -1 4194304 158087 0 0 0 338329 926 0 0 20 0 1 0 71843355 914124800 188739 18446744073709551615 4235264 15874749 140721109163392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45735936 140721109166492 140721109166569 140721109166569 140721109172171 0
/proc/79916/statm: 223175 188739 4448 2842 0 204869 0
Current children cumulated CPU time: 3392.55 s
Current children cumulated vsize: 892700 KiB
Current children cumulated memory: 754956 KiB
[startup+3462.3 s]
/proc/loadavg: 3.10 3.17 3.51 4/245 80265
/proc/meminfo: memFree=127007456/131382112 swapFree=33010416/33010684
[pid=79916] ppid=79913 vsize=892700 memory=754956 CPUtime=3452.38 cores=1,3
/proc/79916/stat : 79916 (mixed-bag) R 79913 79916 77674 0 -1 4194304 158087 0 0 0 344297 941 0 0 20 0 1 0 71843355 914124800 188739 18446744073709551615 4235264 15874749 140721109163392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45735936 140721109166492 140721109166569 140721109166569 140721109172171 0
/proc/79916/statm: 223175 188739 4448 2842 0 204869 0
Current children cumulated CPU time: 3452.38 s
Current children cumulated vsize: 892700 KiB
Current children cumulated memory: 754956 KiB
[startup+3522.3 s]
/proc/loadavg: 3.08 3.15 3.48 4/244 80267
/proc/meminfo: memFree=127000788/131382112 swapFree=33010416/33010684
[pid=79916] ppid=79913 vsize=892700 memory=757004 CPUtime=3512.22 cores=1,3
/proc/79916/stat : 79916 (mixed-bag) R 79913 79916 77674 0 -1 4194304 158088 0 0 0 350267 955 0 0 20 0 1 0 71843355 914124800 189251 18446744073709551615 4235264 15874749 140721109163392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45735936 140721109166492 140721109166569 140721109166569 140721109172171 0
/proc/79916/statm: 223175 189251 4448 2842 0 204869 0
Current children cumulated CPU time: 3512.22 s
Current children cumulated vsize: 892700 KiB
Current children cumulated memory: 757004 KiB
[startup+3582.3 s]
/proc/loadavg: 3.09 3.13 3.45 4/244 80269
/proc/meminfo: memFree=126998864/131382112 swapFree=33010416/33010684
[pid=79916] ppid=79913 vsize=892700 memory=757004 CPUtime=3572.05 cores=1,3
/proc/79916/stat : 79916 (mixed-bag) R 79913 79916 77674 0 -1 4194304 158088 0 0 0 356237 968 0 0 20 0 1 0 71843355 914124800 189251 18446744073709551615 4235264 15874749 140721109163392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45735936 140721109166492 140721109166569 140721109166569 140721109172171 0
/proc/79916/statm: 223175 189251 4448 2842 0 204869 0
Current children cumulated CPU time: 3572.05 s
Current children cumulated vsize: 892700 KiB
Current children cumulated memory: 757004 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 3.06 3.12 3.44 4/244 80270
/proc/meminfo: memFree=126998876/131382112 swapFree=33010416/33010684
[pid=79916] ppid=79913 vsize=892700 memory=757004 CPUtime=3600.07 cores=1,3
/proc/79916/stat : 79916 (mixed-bag) R 79913 79916 77674 0 -1 4194304 158088 0 0 0 359033 974 0 0 20 0 1 0 71843355 914124800 189251 18446744073709551615 4235264 15874749 140721109163392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45735936 140721109166492 140721109166569 140721109166569 140721109172171 0
/proc/79916/statm: 223175 189251 4448 2842 0 204869 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 892700 KiB
Current children cumulated memory: 757004 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.41 s]
# the end of solver process 79916 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.34 s, system=9.75078 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.41
CPU time (s): 3600.09
CPU user time (s): 3590.34
CPU system time (s): 9.75078
CPU usage (%): 99.7143
Max. virtual memory (cumulated for all children) (KiB): 1272300
Max. memory (cumulated for all children) (KiB): 1107372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.34
system time used= 9.75078
maximum resident set size= 1107372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158120
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 198
involuntary context switches= 1317
# summary of solver processes directly reported to runsolver:
# pid: 79916
# total CPU time (s): 3600.09
# total CPU user time (s): 3590.34
# total CPU system time (s): 9.75078
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9157 second user time and 35.9067 second system time
The end
Begin job on nodeC012 at 2025-07-03 18:53:56
IDJOB=4521115
IDBENCH=178227
IDSOLVER=3340
FILE ID=nodeC012/4521115-1751561636
RUNJOBID= nodeC012-1751553490-77708
SLURM_JOB_ID= 9598739
Free space on /tmp= 431780 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/normalized-maxcut_opt_complete_6-partite_inlv_nvert_69.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4521115-1751561636/watcher-4521115-1751561636 -o /tmp/evaluation-result-4521115-1751561636/solver-4521115-1751561636 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751553490-77708 --watchdog 3760 mixed-bag HOME/instance-4521115-1751561636.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1733aa67cc51115e0f42d9b93b5f287e
RANDOM SEED=1730760945
nodeC012 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.285
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.143
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.304
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.700
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.424
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.522
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 126399564 kB
MemAvailable: 126659108 kB
Buffers: 2136 kB
Cached: 1060136 kB
SwapCached: 16 kB
Active: 3968156 kB
Inactive: 441956 kB
Active(anon): 3358788 kB
Inactive(anon): 6996 kB
Active(file): 609368 kB
Inactive(file): 434960 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 22320 kB
Writeback: 32 kB
AnonPages: 3351028 kB
Mapped: 138892 kB
Shmem: 17944 kB
KReclaimable: 109300 kB
Slab: 194712 kB
SReclaimable: 109300 kB
SUnreclaim: 85412 kB
KernelStack: 4016 kB
PageTables: 9852 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 3920272 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149432 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 929792 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 187208 kB
DirectMap2M: 8103936 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431796 MiB
End job on nodeC012 at 2025-07-03 19:54:07