0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.49/0.55 c [STEP] preprocessing with Papilo
0.68/0.74 c Papilo could not simplify the problem
0.68/0.74 c [STEP] solving with SCIP
300.24/301.12 c [STEP] preprocessing done, loading into solver
300.54/301.47 c [STEP] solving
300.54/301.47 c #variables 2347 #constraints 209576
300.54/301.47 c SMALL=int, LARGE=long long
300.54/301.47 d SCIPUB -1179
300.54/301.47 c bounds - >= -1983 @ 300.095
300.54/301.47 c stratification level: 0
300.64/301.52 c bounds - >= -1982 @ 300.106
300.64/301.52 c bounds - >= -1981 @ 300.107
300.64/301.52 c bounds - >= -1980 @ 300.107
300.64/301.52 c bounds - >= -1979 @ 300.107
300.64/301.52 c bounds - >= -1978 @ 300.107
300.64/301.52 c bounds - >= -1977 @ 300.108
300.64/301.52 c bounds - >= -1976 @ 300.108
300.64/301.52 c bounds - >= -1975 @ 300.108
300.64/301.52 c bounds - >= -1974 @ 300.108
300.64/301.52 c bounds - >= -1973 @ 300.109
300.64/301.52 c bounds - >= -1972 @ 300.109
300.64/301.52 c bounds - >= -1971 @ 300.109
300.64/301.52 c bounds - >= -1970 @ 300.109
300.64/301.52 c bounds - >= -1969 @ 300.109
300.64/301.52 c bounds - >= -1968 @ 300.11
300.64/301.52 c bounds - >= -1967 @ 300.11
300.64/301.52 c bounds - >= -1966 @ 300.11
300.64/301.52 c bounds - >= -1965 @ 300.11
300.64/301.52 c bounds - >= -1964 @ 300.11
300.64/301.52 c bounds - >= -1963 @ 300.111
300.64/301.52 c bounds - >= -1962 @ 300.111
300.64/301.52 c bounds - >= -1961 @ 300.111
300.64/301.52 c bounds - >= -1960 @ 300.111
300.64/301.52 c bounds - >= -1959 @ 300.112
300.64/301.52 c bounds - >= -1958 @ 300.112
300.64/301.52 c bounds - >= -1957 @ 300.112
300.64/301.52 c bounds - >= -1956 @ 300.112
300.64/301.52 c bounds - >= -1955 @ 300.112
300.64/301.52 c bounds - >= -1954 @ 300.113
300.64/301.52 c bounds - >= -1953 @ 300.113
300.64/301.52 c bounds - >= -1952 @ 300.113
300.64/301.52 c bounds - >= -1951 @ 300.113
300.64/301.52 c bounds - >= -1950 @ 300.114
300.64/301.52 c bounds - >= -1949 @ 300.114
300.64/301.52 c bounds - >= -1948 @ 300.114
300.64/301.52 c bounds - >= -1947 @ 300.114
300.64/301.52 c bounds - >= -1946 @ 300.114
300.64/301.52 c bounds - >= -1945 @ 300.115
300.64/301.52 c bounds - >= -1944 @ 300.115
300.64/301.52 c bounds - >= -1943 @ 300.115
300.64/301.52 c bounds - >= -1942 @ 300.115
300.64/301.52 c bounds - >= -1941 @ 300.116
300.64/301.52 c bounds - >= -1940 @ 300.116
300.64/301.52 c bounds - >= -1939 @ 300.116
300.64/301.52 c bounds - >= -1938 @ 300.116
300.64/301.52 c bounds - >= -1937 @ 300.116
300.64/301.52 c bounds - >= -1936 @ 300.117
300.64/301.52 c bounds - >= -1935 @ 300.117
300.64/301.52 c bounds - >= -1934 @ 300.117
300.64/301.52 c bounds - >= -1933 @ 300.117
300.64/301.52 c bounds - >= -1932 @ 300.118
300.64/301.52 c bounds - >= -1931 @ 300.118
300.64/301.52 c bounds - >= -1930 @ 300.118
300.64/301.52 c bounds - >= -1929 @ 300.118
300.64/301.52 c bounds - >= -1928 @ 300.118
300.64/301.52 c bounds - >= -1927 @ 300.119
300.64/301.52 c bounds - >= -1926 @ 300.119
300.64/301.52 c bounds - >= -1925 @ 300.119
300.64/301.52 c bounds - >= -1924 @ 300.119
300.64/301.52 c bounds - >= -1923 @ 300.12
300.64/301.52 c bounds - >= -1922 @ 300.12
300.64/301.52 c bounds - >= -1921 @ 300.12
300.64/301.52 c bounds - >= -1920 @ 300.12
300.64/301.52 c bounds - >= -1919 @ 300.12
300.64/301.52 c bounds - >= -1918 @ 300.121
300.64/301.52 c bounds - >= -1917 @ 300.121
300.64/301.52 c bounds - >= -1916 @ 300.121
300.64/301.52 c bounds - >= -1915 @ 300.121
300.64/301.52 c bounds - >= -1914 @ 300.122
300.64/301.52 c bounds - >= -1913 @ 300.122
300.64/301.52 c bounds - >= -1912 @ 300.122
300.64/301.52 c bounds - >= -1911 @ 300.122
300.64/301.52 c bounds - >= -1910 @ 300.122
300.64/301.52 c bounds - >= -1909 @ 300.123
300.64/301.52 c bounds - >= -1908 @ 300.123
300.64/301.52 c bounds - >= -1907 @ 300.123
300.64/301.52 c bounds - >= -1906 @ 300.123
300.64/301.52 c bounds - >= -1905 @ 300.124
300.64/301.52 c bounds - >= -1904 @ 300.124
300.64/301.52 c bounds - >= -1903 @ 300.124
300.64/301.52 c bounds - >= -1902 @ 300.124
300.64/301.52 c bounds - >= -1901 @ 300.124
300.64/301.52 c bounds - >= -1900 @ 300.125
300.64/301.52 c bounds - >= -1899 @ 300.125
300.64/301.52 c bounds - >= -1898 @ 300.125
300.64/301.52 c bounds - >= -1897 @ 300.125
300.64/301.52 c bounds - >= -1896 @ 300.126
300.64/301.52 c bounds - >= -1895 @ 300.126
300.64/301.52 c bounds - >= -1894 @ 300.126
300.64/301.52 c bounds - >= -1893 @ 300.126
300.64/301.52 c bounds - >= -1892 @ 300.126
300.64/301.52 c bounds - >= -1891 @ 300.127
300.64/301.52 c bounds - >= -1890 @ 300.127
300.64/301.52 c bounds - >= -1889 @ 300.127
300.64/301.52 c bounds - >= -1888 @ 300.127
300.64/301.52 c bounds - >= -1887 @ 300.128
300.64/301.52 c bounds - >= -1886 @ 300.128
300.64/301.52 c bounds - >= -1885 @ 300.128
300.64/301.52 c bounds - >= -1884 @ 300.128
300.64/301.52 c bounds - >= -1883 @ 300.128
300.64/301.52 c bounds - >= -1882 @ 300.129
300.64/301.52 c bounds - >= -1881 @ 300.129
300.64/301.52 c bounds - >= -1880 @ 300.129
300.64/301.52 c bounds - >= -1879 @ 300.129
300.64/301.52 c bounds - >= -1878 @ 300.13
300.64/301.52 c bounds - >= -1877 @ 300.13
300.64/301.52 c bounds - >= -1876 @ 300.13
300.64/301.52 c bounds - >= -1875 @ 300.13
300.64/301.52 c bounds - >= -1874 @ 300.13
300.64/301.52 c bounds - >= -1873 @ 300.131
300.64/301.52 c bounds - >= -1872 @ 300.131
300.64/301.52 c bounds - >= -1871 @ 300.131
300.64/301.52 c bounds - >= -1870 @ 300.131
300.64/301.52 c bounds - >= -1869 @ 300.132
300.64/301.52 c bounds - >= -1868 @ 300.132
300.64/301.52 c bounds - >= -1867 @ 300.132
300.64/301.52 c bounds - >= -1866 @ 300.132
300.64/301.52 c bounds - >= -1865 @ 300.132
300.64/301.52 c bounds - >= -1864 @ 300.133
300.64/301.52 c bounds - >= -1863 @ 300.133
300.64/301.52 c bounds - >= -1862 @ 300.133
300.64/301.52 c bounds - >= -1861 @ 300.133
300.64/301.52 c bounds - >= -1860 @ 300.134
300.64/301.52 c bounds - >= -1859 @ 300.134
300.64/301.52 c bounds - >= -1858 @ 300.134
300.64/301.52 c bounds - >= -1857 @ 300.134
300.64/301.52 c bounds - >= -1856 @ 300.134
300.64/301.52 c bounds - >= -1855 @ 300.135
300.64/301.52 c bounds - >= -1854 @ 300.135
300.64/301.52 c bounds - >= -1853 @ 300.135
300.64/301.52 c bounds - >= -1852 @ 300.135
300.64/301.52 c bounds - >= -1851 @ 300.136
300.64/301.52 c bounds - >= -1850 @ 300.136
300.64/301.52 c bounds - >= -1849 @ 300.136
300.64/301.52 c bounds - >= -1848 @ 300.136
300.64/301.52 c bounds - >= -1847 @ 300.136
300.64/301.52 c bounds - >= -1846 @ 300.137
300.64/301.52 c bounds - >= -1845 @ 300.137
300.64/301.55 c bounds - >= -1844 @ 300.137
300.64/301.55 c bounds - >= -1843 @ 300.137
300.64/301.55 c bounds - >= -1842 @ 300.137
300.64/301.55 c bounds - >= -1841 @ 300.138
300.64/301.55 c bounds - >= -1840 @ 300.138
300.64/301.55 c bounds - >= -1839 @ 300.138
300.64/301.55 c bounds - >= -1838 @ 300.138
300.64/301.55 c bounds - >= -1837 @ 300.139
300.64/301.55 c bounds - >= -1836 @ 300.139
300.64/301.55 c bounds - >= -1835 @ 300.139
300.64/301.55 c bounds - >= -1834 @ 300.139
300.64/301.55 c bounds - >= -1833 @ 300.139
300.64/301.55 c bounds - >= -1832 @ 300.14
300.64/301.55 c bounds - >= -1831 @ 300.14
300.64/301.55 c bounds - >= -1830 @ 300.14
300.64/301.55 c bounds - >= -1829 @ 300.14
300.64/301.55 c bounds - >= -1828 @ 300.141
300.64/301.55 c bounds - >= -1827 @ 300.141
300.64/301.55 c bounds - >= -1826 @ 300.141
300.64/301.55 c bounds - >= -1825 @ 300.141
300.64/301.55 c bounds - >= -1824 @ 300.141
300.64/301.55 c bounds - >= -1823 @ 300.142
300.64/301.55 c bounds - >= -1822 @ 300.142
300.64/301.55 c bounds - >= -1821 @ 300.142
300.64/301.55 c bounds - >= -1820 @ 300.142
300.64/301.55 c bounds - >= -1819 @ 300.142
300.64/301.55 c bounds - >= -1818 @ 300.143
300.64/301.55 c bounds - >= -1817 @ 300.143
300.64/301.55 c bounds - >= -1816 @ 300.143
300.64/301.55 c bounds - >= -1815 @ 300.143
300.64/301.55 c bounds - >= -1814 @ 300.144
300.64/301.55 c bounds - >= -1813 @ 300.144
300.64/301.55 c bounds - >= -1812 @ 300.144
300.64/301.55 c bounds - >= -1811 @ 300.144
300.64/301.55 c bounds - >= -1810 @ 300.144
300.64/301.55 c bounds - >= -1809 @ 300.145
300.64/301.55 c bounds - >= -1808 @ 300.145
300.64/301.55 c bounds - >= -1807 @ 300.145
300.64/301.55 c bounds - >= -1806 @ 300.145
300.64/301.55 c bounds - >= -1805 @ 300.145
300.64/301.55 c bounds - >= -1804 @ 300.146
300.64/301.55 c bounds - >= -1803 @ 300.146
300.64/301.55 c bounds - >= -1802 @ 300.146
300.64/301.55 c bounds - >= -1801 @ 300.146
300.64/301.55 c bounds - >= -1800 @ 300.146
300.64/301.55 c bounds - >= -1799 @ 300.147
300.64/301.55 c bounds - >= -1798 @ 300.147
300.64/301.55 c bounds - >= -1797 @ 300.147
300.64/301.55 c bounds - >= -1796 @ 300.147
300.64/301.55 c bounds - >= -1795 @ 300.148
300.64/301.55 c bounds - >= -1794 @ 300.148
300.64/301.55 c bounds - >= -1793 @ 300.148
300.64/301.55 c bounds - >= -1792 @ 300.148
300.64/301.55 c bounds - >= -1791 @ 300.148
300.64/301.55 c bounds - >= -1790 @ 300.149
300.64/301.55 c bounds - >= -1789 @ 300.149
300.64/301.55 c bounds - >= -1788 @ 300.149
300.64/301.55 c bounds - >= -1787 @ 300.149
300.64/301.55 c bounds - >= -1786 @ 300.149
300.64/301.55 c bounds - >= -1785 @ 300.149
300.64/301.55 c bounds - >= -1784 @ 300.149
300.64/301.55 c bounds - >= -1783 @ 300.149
300.64/301.55 c bounds - >= -1782 @ 300.149
300.64/301.55 c bounds - >= -1781 @ 300.15
300.64/301.55 c bounds - >= -1780 @ 300.15
300.64/301.55 c bounds - >= -1779 @ 300.15
300.64/301.55 c bounds - >= -1778 @ 300.15
300.64/301.55 c bounds - >= -1777 @ 300.15
300.64/301.55 c bounds - >= -1776 @ 300.151
300.64/301.55 c bounds - >= -1775 @ 300.151
300.64/301.55 c bounds - >= -1774 @ 300.151
300.64/301.55 c bounds - >= -1773 @ 300.151
300.64/301.55 c bounds - >= -1772 @ 300.152
300.64/301.55 c bounds - >= -1771 @ 300.152
300.64/301.55 c bounds - >= -1770 @ 300.152
300.64/301.55 c bounds - >= -1769 @ 300.152
300.64/301.55 c bounds - >= -1768 @ 300.152
300.64/301.55 c bounds - >= -1767 @ 300.153
300.64/301.55 c bounds - >= -1766 @ 300.153
300.64/301.55 c bounds - >= -1765 @ 300.153
300.64/301.55 c bounds - >= -1764 @ 300.153
300.64/301.55 c bounds - >= -1763 @ 300.154
300.64/301.55 c bounds - >= -1762 @ 300.154
300.64/301.55 c bounds - >= -1761 @ 300.154
300.64/301.55 c bounds - >= -1760 @ 300.154
300.64/301.55 c bounds - >= -1759 @ 300.154
300.64/301.55 c bounds - >= -1758 @ 300.155
300.64/301.55 c bounds - >= -1757 @ 300.155
300.64/301.55 c bounds - >= -1756 @ 300.155
300.64/301.55 c bounds - >= -1755 @ 300.155
300.64/301.55 c bounds - >= -1754 @ 300.156
300.64/301.55 c bounds - >= -1753 @ 300.156
300.64/301.55 c bounds - >= -1752 @ 300.156
300.64/301.55 c bounds - >= -1751 @ 300.156
300.64/301.55 c bounds - >= -1750 @ 300.157
300.64/301.55 c bounds - >= -1749 @ 300.157
300.64/301.55 c bounds - >= -1748 @ 300.157
300.64/301.55 c bounds - >= -1747 @ 300.157
300.64/301.55 c bounds - >= -1746 @ 300.157
300.64/301.55 c bounds - >= -1745 @ 300.158
300.64/301.55 c bounds - >= -1744 @ 300.158
300.64/301.55 c bounds - >= -1743 @ 300.158
300.64/301.55 c bounds - >= -1742 @ 300.158
300.64/301.55 c bounds - >= -1741 @ 300.158
300.64/301.55 c bounds - >= -1740 @ 300.159
300.64/301.55 c bounds - >= -1739 @ 300.159
300.64/301.55 c bounds - >= -1738 @ 300.159
300.64/301.55 c bounds - >= -1737 @ 300.159
300.64/301.55 c bounds - >= -1736 @ 300.16
300.64/301.55 c bounds - >= -1735 @ 300.16
300.64/301.55 c bounds - >= -1734 @ 300.16
300.64/301.55 c bounds - >= -1733 @ 300.16
300.64/301.55 c bounds - >= -1732 @ 300.161
300.64/301.55 c bounds - >= -1731 @ 300.161
300.64/301.55 c bounds - >= -1730 @ 300.161
300.64/301.55 c bounds - >= -1729 @ 300.161
300.64/301.55 c bounds - >= -1728 @ 300.161
300.64/301.55 c bounds - >= -1727 @ 300.162
300.64/301.55 c bounds - >= -1726 @ 300.162
300.64/301.55 c bounds - >= -1725 @ 300.162
300.64/301.55 c bounds - >= -1724 @ 300.162
300.64/301.55 c bounds - >= -1723 @ 300.163
300.64/301.55 c bounds - >= -1722 @ 300.163
300.64/301.55 c bounds - >= -1721 @ 300.163
300.64/301.55 c bounds - >= -1720 @ 300.163
300.64/301.55 c bounds - >= -1719 @ 300.163
300.64/301.55 c bounds - >= -1718 @ 300.163
300.64/301.55 c bounds - >= -1717 @ 300.163
300.64/301.55 c bounds - >= -1716 @ 300.163
300.64/301.55 c bounds - >= -1715 @ 300.163
300.64/301.55 c bounds - >= -1714 @ 300.163
300.64/301.55 c bounds - >= -1713 @ 300.164
300.64/301.55 c bounds - >= -1712 @ 300.164
300.64/301.55 c bounds - >= -1711 @ 300.164
300.64/301.55 c bounds - >= -1710 @ 300.164
300.64/301.55 c bounds - >= -1709 @ 300.165
300.64/301.58 c bounds - >= -1708 @ 300.165
300.64/301.58 c bounds - >= -1707 @ 300.165
300.64/301.58 c bounds - >= -1706 @ 300.165
300.64/301.58 c bounds - >= -1705 @ 300.165
300.64/301.58 c bounds - >= -1704 @ 300.166
300.64/301.58 c bounds - >= -1703 @ 300.166
300.64/301.58 c bounds - >= -1702 @ 300.166
300.64/301.58 c bounds - >= -1701 @ 300.166
300.64/301.58 c bounds - >= -1700 @ 300.167
300.64/301.58 c bounds - >= -1699 @ 300.167
300.64/301.58 c bounds - >= -1698 @ 300.167
300.64/301.58 c bounds - >= -1697 @ 300.167
300.64/301.58 c bounds - >= -1696 @ 300.167
300.64/301.58 c bounds - >= -1695 @ 300.168
300.64/301.58 c bounds - >= -1694 @ 300.168
300.64/301.58 c bounds - >= -1693 @ 300.168
300.64/301.58 c bounds - >= -1692 @ 300.168
300.64/301.58 c bounds - >= -1691 @ 300.169
300.64/301.58 c bounds - >= -1690 @ 300.169
300.64/301.58 c bounds - >= -1689 @ 300.169
300.64/301.58 c bounds - >= -1688 @ 300.169
300.64/301.58 c bounds - >= -1687 @ 300.169
300.64/301.58 c bounds - >= -1686 @ 300.17
300.64/301.58 c bounds - >= -1685 @ 300.17
300.64/301.58 c bounds - >= -1684 @ 300.17
300.64/301.58 c bounds - >= -1683 @ 300.17
300.64/301.58 c bounds - >= -1682 @ 300.171
300.64/301.58 c bounds - >= -1681 @ 300.171
300.64/301.58 c bounds - >= -1680 @ 300.171
300.64/301.58 c bounds - >= -1679 @ 300.171
300.64/301.58 c bounds - >= -1678 @ 300.171
300.64/301.58 c bounds - >= -1677 @ 300.172
300.64/301.58 c bounds - >= -1676 @ 300.172
300.64/301.58 c bounds - >= -1675 @ 300.172
300.64/301.58 c bounds - >= -1674 @ 300.172
300.64/301.58 c bounds - >= -1673 @ 300.173
300.64/301.58 c bounds - >= -1672 @ 300.173
300.64/301.58 c bounds - >= -1671 @ 300.173
300.64/301.58 c bounds - >= -1670 @ 300.173
300.64/301.58 c bounds - >= -1669 @ 300.173
300.64/301.58 c bounds - >= -1668 @ 300.174
300.64/301.58 c bounds - >= -1667 @ 300.174
300.64/301.58 c bounds - >= -1666 @ 300.174
300.64/301.58 c bounds - >= -1665 @ 300.174
300.64/301.58 c bounds - >= -1664 @ 300.175
300.64/301.58 c bounds - >= -1663 @ 300.175
300.64/301.58 c bounds - >= -1662 @ 300.175
300.64/301.58 c bounds - >= -1661 @ 300.175
300.64/301.58 c bounds - >= -1660 @ 300.176
300.64/301.58 c bounds - >= -1659 @ 300.176
300.64/301.58 c bounds - >= -1658 @ 300.176
300.64/301.58 c bounds - >= -1657 @ 300.176
300.64/301.58 c bounds - >= -1656 @ 300.176
300.64/301.58 c bounds - >= -1655 @ 300.177
300.64/301.58 c bounds - >= -1654 @ 300.177
300.64/301.58 c bounds - >= -1653 @ 300.177
300.64/301.58 c bounds - >= -1652 @ 300.177
300.64/301.58 c bounds - >= -1651 @ 300.178
300.64/301.58 c bounds - >= -1650 @ 300.178
300.64/301.58 c bounds - >= -1649 @ 300.178
300.64/301.58 c bounds - >= -1648 @ 300.178
300.64/301.58 c bounds - >= -1647 @ 300.178
300.64/301.58 c bounds - >= -1646 @ 300.179
300.64/301.58 c bounds - >= -1645 @ 300.179
300.64/301.58 c bounds - >= -1644 @ 300.179
300.64/301.58 c bounds - >= -1643 @ 300.179
300.64/301.58 c bounds - >= -1642 @ 300.18
300.64/301.58 c bounds - >= -1641 @ 300.18
300.64/301.58 c bounds - >= -1640 @ 300.18
300.64/301.58 c bounds - >= -1639 @ 300.18
300.64/301.58 c bounds - >= -1638 @ 300.18
300.64/301.58 c bounds - >= -1637 @ 300.18
300.64/301.58 c bounds - >= -1636 @ 300.18
300.64/301.58 c bounds - >= -1635 @ 300.18
300.64/301.58 c bounds - >= -1634 @ 300.18
300.64/301.58 c bounds - >= -1633 @ 300.181
300.64/301.58 c bounds - >= -1632 @ 300.181
300.64/301.58 c bounds - >= -1631 @ 300.181
300.64/301.58 c bounds - >= -1630 @ 300.181
300.64/301.58 c bounds - >= -1629 @ 300.181
300.64/301.58 c bounds - >= -1628 @ 300.181
300.64/301.58 c bounds - >= -1627 @ 300.181
300.64/301.58 c bounds - >= -1626 @ 300.181
300.64/301.58 c bounds - >= -1625 @ 300.182
300.64/301.58 c bounds - >= -1624 @ 300.182
300.64/301.58 c bounds - >= -1623 @ 300.182
300.64/301.58 c bounds - >= -1622 @ 300.182
300.64/301.58 c bounds - >= -1621 @ 300.182
300.64/301.58 c bounds - >= -1620 @ 300.183
300.64/301.58 c bounds - >= -1619 @ 300.183
300.64/301.58 c bounds - >= -1618 @ 300.183
300.64/301.58 c bounds - >= -1617 @ 300.183
300.64/301.58 c bounds - >= -1616 @ 300.184
300.64/301.58 c bounds - >= -1615 @ 300.184
300.64/301.58 c bounds - >= -1614 @ 300.184
300.64/301.58 c bounds - >= -1613 @ 300.184
300.64/301.58 c bounds - >= -1612 @ 300.185
300.64/301.58 c bounds - >= -1611 @ 300.185
300.64/301.58 c bounds - >= -1610 @ 300.185
300.64/301.58 c bounds - >= -1609 @ 300.185
300.64/301.58 c bounds - >= -1608 @ 300.186
300.64/301.58 c bounds - >= -1607 @ 300.186
300.64/301.58 c bounds - >= -1606 @ 300.186
300.64/301.58 c bounds - >= -1605 @ 300.186
300.64/301.58 c bounds - >= -1604 @ 300.186
300.64/301.58 c bounds - >= -1603 @ 300.187
300.64/301.58 c bounds - >= -1602 @ 300.187
300.64/301.58 c bounds - >= -1601 @ 300.187
300.64/301.58 c bounds - >= -1600 @ 300.187
300.64/301.58 c bounds - >= -1599 @ 300.188
300.64/301.58 c bounds - >= -1598 @ 300.188
300.64/301.58 c bounds - >= -1597 @ 300.188
300.64/301.58 c bounds - >= -1596 @ 300.188
300.64/301.58 c bounds - >= -1595 @ 300.188
300.64/301.58 c bounds - >= -1594 @ 300.189
300.64/301.58 c bounds - >= -1593 @ 300.189
300.64/301.58 c bounds - >= -1592 @ 300.189
300.64/301.58 c bounds - >= -1591 @ 300.189
300.64/301.58 c bounds - >= -1590 @ 300.19
300.64/301.58 c bounds - >= -1589 @ 300.19
300.64/301.58 c bounds - >= -1588 @ 300.19
300.64/301.58 c bounds - >= -1587 @ 300.19
300.64/301.58 c bounds - >= -1586 @ 300.191
300.64/301.58 c bounds - >= -1585 @ 300.191
300.64/301.58 c bounds - >= -1584 @ 300.191
300.64/301.58 c bounds - >= -1583 @ 300.191
300.64/301.58 c bounds - >= -1582 @ 300.192
300.64/301.58 c bounds - >= -1581 @ 300.192
300.64/301.58 c bounds - >= -1580 @ 300.192
300.64/301.58 c bounds - >= -1579 @ 300.192
300.64/301.58 c bounds - >= -1578 @ 300.193
300.64/301.58 c bounds - >= -1577 @ 300.193
300.64/301.58 c bounds - >= -1576 @ 300.193
300.64/301.58 c bounds - >= -1575 @ 300.193
300.64/301.58 c bounds - >= -1574 @ 300.194
300.64/301.58 c bounds - >= -1573 @ 300.194
300.64/301.58 c bounds - >= -1572 @ 300.194
300.64/301.58 c bounds - >= -1571 @ 300.194
300.74/301.62 c bounds - >= -1570 @ 300.195
300.74/301.62 c bounds - >= -1569 @ 300.195
300.74/301.62 c bounds - >= -1568 @ 300.195
300.74/301.62 c bounds - >= -1567 @ 300.196
300.74/301.62 c bounds - >= -1566 @ 300.196
300.74/301.62 c bounds - >= -1565 @ 300.196
300.74/301.62 c bounds - >= -1564 @ 300.196
300.74/301.62 c bounds - >= -1563 @ 300.197
300.74/301.62 c bounds - >= -1562 @ 300.197
300.74/301.62 c bounds - >= -1561 @ 300.197
300.74/301.62 c bounds - >= -1560 @ 300.197
300.74/301.62 c bounds - >= -1559 @ 300.198
300.74/301.62 c bounds - >= -1558 @ 300.198
300.74/301.62 c bounds - >= -1557 @ 300.198
300.74/301.62 c bounds - >= -1556 @ 300.198
300.74/301.62 c bounds - >= -1555 @ 300.199
300.74/301.62 c bounds - >= -1554 @ 300.199
300.74/301.62 c bounds - >= -1553 @ 300.199
300.74/301.62 c bounds - >= -1552 @ 300.2
300.74/301.62 c bounds - >= -1551 @ 300.2
300.74/301.62 c bounds - >= -1550 @ 300.2
300.74/301.62 c bounds - >= -1549 @ 300.2
300.74/301.62 c bounds - >= -1548 @ 300.201
300.74/301.62 c bounds - >= -1547 @ 300.201
300.74/301.62 c bounds - >= -1546 @ 300.201
300.74/301.62 c bounds - >= -1545 @ 300.202
300.74/301.62 c bounds - >= -1544 @ 300.202
300.74/301.62 c bounds - >= -1543 @ 300.202
300.74/301.62 c bounds - >= -1542 @ 300.202
300.74/301.62 c bounds - >= -1541 @ 300.202
300.74/301.62 c bounds - >= -1540 @ 300.202
300.74/301.62 c bounds - >= -1539 @ 300.202
300.74/301.62 c bounds - >= -1538 @ 300.203
300.74/301.62 c bounds - >= -1537 @ 300.203
300.74/301.62 c bounds - >= -1536 @ 300.204
300.74/301.62 c bounds - >= -1535 @ 300.204
300.74/301.62 c bounds - >= -1534 @ 300.204
300.74/301.62 c bounds - >= -1533 @ 300.204
300.74/301.62 c bounds - >= -1532 @ 300.205
300.74/301.62 c bounds - >= -1531 @ 300.205
300.74/301.62 c bounds - >= -1530 @ 300.205
300.74/301.62 c bounds - >= -1529 @ 300.205
300.74/301.62 c bounds - >= -1528 @ 300.206
300.74/301.62 c bounds - >= -1527 @ 300.206
300.74/301.62 c bounds - >= -1526 @ 300.206
300.74/301.62 c bounds - >= -1525 @ 300.206
300.74/301.62 c bounds - >= -1524 @ 300.207
300.74/301.62 c bounds - >= -1523 @ 300.207
300.74/301.62 c bounds - >= -1522 @ 300.207
300.74/301.62 c bounds - >= -1521 @ 300.208
300.74/301.62 c bounds - >= -1520 @ 300.208
300.74/301.62 c bounds - >= -1519 @ 300.208
300.74/301.62 c bounds - >= -1518 @ 300.209
300.74/301.62 c bounds - >= -1517 @ 300.209
300.74/301.62 c bounds - >= -1516 @ 300.209
300.74/301.62 c bounds - >= -1515 @ 300.209
300.74/301.62 c bounds - >= -1514 @ 300.21
300.74/301.62 c bounds - >= -1513 @ 300.21
300.74/301.62 c bounds - >= -1512 @ 300.21
300.74/301.62 c bounds - >= -1511 @ 300.21
300.74/301.62 c bounds - >= -1510 @ 300.211
300.74/301.62 c bounds - >= -1509 @ 300.211
300.74/301.62 c bounds - >= -1508 @ 300.211
300.74/301.62 c bounds - >= -1507 @ 300.212
300.74/301.62 c bounds - >= -1506 @ 300.212
300.74/301.62 c bounds - >= -1505 @ 300.212
300.74/301.62 c bounds - >= -1504 @ 300.213
300.74/301.62 c bounds - >= -1503 @ 300.213
300.74/301.62 c bounds - >= -1502 @ 300.213
300.74/301.62 c bounds - >= -1501 @ 300.213
300.74/301.62 c bounds - >= -1500 @ 300.214
300.74/301.62 c bounds - >= -1499 @ 300.214
300.74/301.62 c bounds - >= -1498 @ 300.214
300.74/301.62 c bounds - >= -1497 @ 300.215
300.74/301.62 c bounds - >= -1496 @ 300.215
300.74/301.62 c bounds - >= -1495 @ 300.215
300.74/301.62 c bounds - >= -1494 @ 300.216
300.74/301.62 c bounds - >= -1493 @ 300.216
300.74/301.62 c bounds - >= -1492 @ 300.216
300.74/301.62 c bounds - >= -1491 @ 300.217
300.74/301.62 c bounds - >= -1490 @ 300.217
300.74/301.62 c bounds - >= -1489 @ 300.217
300.74/301.62 c bounds - >= -1488 @ 300.217
300.74/301.62 c bounds - >= -1487 @ 300.217
300.74/301.62 c bounds - >= -1486 @ 300.217
300.74/301.62 c bounds - >= -1485 @ 300.218
300.74/301.62 c bounds - >= -1484 @ 300.218
300.74/301.62 c bounds - >= -1483 @ 300.218
300.74/301.62 c bounds - >= -1482 @ 300.219
300.74/301.62 c bounds - >= -1481 @ 300.22
300.74/301.62 c bounds - >= -1480 @ 300.22
300.74/301.62 c bounds - >= -1479 @ 300.22
300.74/301.62 c bounds - >= -1478 @ 300.221
300.74/301.62 c bounds - >= -1477 @ 300.221
300.74/301.62 c bounds - >= -1476 @ 300.221
300.74/301.62 c bounds - >= -1475 @ 300.222
300.74/301.62 c bounds - >= -1474 @ 300.222
300.74/301.62 c bounds - >= -1473 @ 300.222
300.74/301.62 c bounds - >= -1472 @ 300.223
300.74/301.62 c bounds - >= -1471 @ 300.223
300.74/301.62 c bounds - >= -1470 @ 300.223
300.74/301.62 c bounds - >= -1469 @ 300.224
300.74/301.62 c bounds - >= -1468 @ 300.225
300.74/301.62 c bounds - >= -1467 @ 300.225
300.74/301.62 c bounds - >= -1466 @ 300.225
300.74/301.62 c bounds - >= -1465 @ 300.226
300.74/301.62 c bounds - >= -1464 @ 300.226
300.74/301.62 c bounds - >= -1463 @ 300.226
300.74/301.62 c bounds - >= -1462 @ 300.226
300.74/301.62 c bounds - >= -1461 @ 300.227
300.74/301.62 c bounds - >= -1460 @ 300.227
300.74/301.62 c bounds - >= -1459 @ 300.228
300.74/301.62 c bounds - >= -1458 @ 300.229
300.74/301.62 c bounds - >= -1457 @ 300.229
300.74/301.62 c bounds - >= -1456 @ 300.229
300.74/301.62 c bounds - >= -1455 @ 300.23
300.74/301.62 c bounds - >= -1454 @ 300.23
300.74/301.62 c bounds - >= -1453 @ 300.23
300.74/301.62 c bounds - >= -1452 @ 300.231
300.74/301.62 c bounds - >= -1451 @ 300.231
300.74/301.62 c bounds - >= -1450 @ 300.231
300.74/301.62 c bounds - >= -1449 @ 300.232
300.74/301.62 c bounds - >= -1448 @ 300.232
300.74/301.62 c bounds - >= -1447 @ 300.233
300.74/301.62 c bounds - >= -1446 @ 300.233
300.74/301.62 c bounds - >= -1445 @ 300.234
300.74/301.62 c bounds - >= -1444 @ 300.234
300.74/301.62 c bounds - >= -1443 @ 300.234
300.74/301.62 c bounds - >= -1442 @ 300.234
300.74/301.62 c bounds - >= -1441 @ 300.234
300.74/301.62 c bounds - >= -1440 @ 300.234
300.74/301.62 c bounds - >= -1439 @ 300.234
300.74/301.62 c bounds - >= -1438 @ 300.234
300.74/301.62 c bounds - >= -1437 @ 300.234
300.74/301.62 c bounds - >= -1436 @ 300.235
300.74/301.62 c bounds - >= -1435 @ 300.235
300.74/301.62 c bounds - >= -1434 @ 300.236
380.83/381.90 c bounds - >= -1433 @ 300.236
380.83/381.90 c bounds - >= -1432 @ 300.237
380.83/381.90 c bounds - >= -1431 @ 300.237
380.83/381.90 c bounds - >= -1430 @ 300.237
380.83/381.90 c bounds - >= -1429 @ 300.238
380.83/381.90 c bounds - >= -1428 @ 300.238
380.83/381.90 c bounds - >= -1427 @ 300.239
380.83/381.90 c bounds - >= -1426 @ 300.239
380.83/381.90 c bounds - >= -1425 @ 300.24
380.83/381.90 c bounds - >= -1424 @ 300.24
380.83/381.90 c bounds - >= -1423 @ 300.24
380.83/381.90 c bounds - >= -1422 @ 300.241
380.83/381.90 c bounds - >= -1421 @ 300.241
380.83/381.90 c bounds - >= -1420 @ 300.241
380.83/381.90 c bounds - >= -1419 @ 300.242
380.83/381.90 c bounds - >= -1418 @ 300.242
380.83/381.90 c bounds - >= -1417 @ 300.242
380.83/381.90 c bounds - >= -1416 @ 300.243
380.83/381.90 c bounds - >= -1415 @ 300.244
380.83/381.90 c bounds - >= -1414 @ 300.244
380.83/381.90 c bounds - >= -1413 @ 300.245
380.83/381.90 c bounds - >= -1412 @ 300.245
380.83/381.90 c bounds - >= -1411 @ 300.245
380.83/381.90 c bounds - >= -1410 @ 300.246
380.83/381.90 c bounds - >= -1409 @ 300.246
380.83/381.90 c bounds - >= -1408 @ 300.246
380.83/381.90 c bounds - >= -1407 @ 300.247
380.83/381.90 c bounds - >= -1406 @ 300.247
380.83/381.90 c bounds - >= -1405 @ 300.248
380.83/381.90 c bounds - >= -1404 @ 300.248
380.83/381.90 c bounds - >= -1403 @ 300.248
380.83/381.90 c bounds - >= -1402 @ 300.248
380.83/381.90 c bounds - >= -1401 @ 300.248
380.83/381.90 c bounds - >= -1400 @ 300.249
380.83/381.90 c bounds - >= -1399 @ 300.702
380.83/381.90 c #Conflicts: 1000 | #Constraints: 211188
380.83/381.90 c #Conflicts: 2000 | #Constraints: 212188
380.83/381.90 c INPROCESSING
380.83/381.90 c GARBAGE COLLECT
380.83/381.90 c #Conflicts: 3000 | #Constraints: 211595
380.83/381.90 c #Conflicts: 4000 | #Constraints: 212595
380.83/381.90 c INPROCESSING
380.83/381.90 c GARBAGE COLLECT
380.83/381.90 c #Conflicts: 5000 | #Constraints: 211990
380.83/381.90 c #Conflicts: 6000 | #Constraints: 212990
380.83/381.90 c INPROCESSING
380.83/381.90 c GARBAGE COLLECT
380.83/381.90 c #Conflicts: 7000 | #Constraints: 211989
380.83/381.90 c #Conflicts: 8000 | #Constraints: 212989
380.83/381.90 c #Conflicts: 9000 | #Constraints: 213989
380.83/381.90 c INPROCESSING
380.83/381.90 c GARBAGE COLLECT
380.83/381.90 c #Conflicts: 10000 | #Constraints: 212687
380.83/381.90 c #Conflicts: 11000 | #Constraints: 213687
380.83/381.90 c #Conflicts: 12000 | #Constraints: 214687
380.83/381.90 c INPROCESSING
380.83/381.90 c GARBAGE COLLECT
380.83/381.90 c #Conflicts: 13000 | #Constraints: 213136
380.83/381.90 c #Conflicts: 14000 | #Constraints: 214136
380.83/381.90 c #Conflicts: 15000 | #Constraints: 215136
380.83/381.90 c INPROCESSING
380.83/381.90 c GARBAGE COLLECT
380.83/381.90 c #Conflicts: 16000 | #Constraints: 213362
380.83/381.90 c #Conflicts: 17000 | #Constraints: 214362
380.83/381.90 c #Conflicts: 18000 | #Constraints: 215362
380.83/381.90 c INPROCESSING
380.83/381.90 c GARBAGE COLLECT
380.83/381.90 c #Conflicts: 19000 | #Constraints: 213378
380.83/381.90 c #Conflicts: 20000 | #Constraints: 214378
380.83/381.90 c #Conflicts: 21000 | #Constraints: 215378
380.83/381.90 c INPROCESSING
380.83/381.90 c GARBAGE COLLECT
380.83/381.90 c #Conflicts: 22000 | #Constraints: 213183
380.83/381.90 c #Conflicts: 23000 | #Constraints: 214183
380.83/381.90 c #Conflicts: 24000 | #Constraints: 215183
380.83/381.90 c #Conflicts: 25000 | #Constraints: 216183
380.83/381.90 c INPROCESSING
380.83/381.90 c GARBAGE COLLECT
380.83/381.90 c #Conflicts: 26000 | #Constraints: 213787
380.83/381.90 c #Conflicts: 27000 | #Constraints: 214787
380.83/381.90 c #Conflicts: 28000 | #Constraints: 215787
380.83/381.90 c #Conflicts: 29000 | #Constraints: 216787
380.83/381.90 c INPROCESSING
380.83/381.90 c GARBAGE COLLECT
380.83/381.90 c #Conflicts: 30000 | #Constraints: 214188
380.83/381.90 c #Conflicts: 31000 | #Constraints: 215188
380.83/381.90 c #Conflicts: 32000 | #Constraints: 216188
380.83/381.90 c #Conflicts: 33000 | #Constraints: 217188
380.83/381.90 c INPROCESSING
380.83/381.90 c GARBAGE COLLECT
380.83/381.90 c #Conflicts: 34000 | #Constraints: 214387
380.83/381.90 c #Conflicts: 35000 | #Constraints: 215387
380.83/381.90 c #Conflicts: 36000 | #Constraints: 216387
380.83/381.90 c #Conflicts: 37000 | #Constraints: 217387
380.83/381.90 c INPROCESSING
380.83/381.90 c GARBAGE COLLECT
380.83/381.90 c #Conflicts: 38000 | #Constraints: 214389
380.83/381.90 c #Conflicts: 39000 | #Constraints: 215389
380.83/381.90 c #Conflicts: 40000 | #Constraints: 216389
380.83/381.90 c #Conflicts: 41000 | #Constraints: 217389
380.83/381.90 c INPROCESSING
380.83/381.90 c GARBAGE COLLECT
380.83/381.90 c #Conflicts: 42000 | #Constraints: 214190
380.83/381.90 c #Conflicts: 43000 | #Constraints: 215190
380.83/381.90 c #Conflicts: 44000 | #Constraints: 216190
380.83/381.90 c #Conflicts: 45000 | #Constraints: 217190
380.83/381.90 c #Conflicts: 46000 | #Constraints: 218190
380.83/381.90 c INPROCESSING
380.83/381.90 c GARBAGE COLLECT
380.83/381.90 c #Conflicts: 47000 | #Constraints: 214790
380.83/381.90 c #Conflicts: 48000 | #Constraints: 215790
380.83/381.90 c #Conflicts: 49000 | #Constraints: 216790
380.83/381.90 c #Conflicts: 50000 | #Constraints: 217790
488.86/490.29 c #Conflicts: 51000 | #Constraints: 218790
488.86/490.29 c INPROCESSING
488.86/490.29 c GARBAGE COLLECT
488.86/490.29 c #Conflicts: 52000 | #Constraints: 215194
488.86/490.29 c #Conflicts: 53000 | #Constraints: 216194
488.86/490.29 c #Conflicts: 54000 | #Constraints: 217194
488.86/490.29 c #Conflicts: 55000 | #Constraints: 218194
488.86/490.29 c #Conflicts: 56000 | #Constraints: 219194
488.86/490.29 c INPROCESSING
488.86/490.29 c GARBAGE COLLECT
488.86/490.29 c #Conflicts: 57000 | #Constraints: 215393
488.86/490.29 c #Conflicts: 58000 | #Constraints: 216393
488.86/490.29 c #Conflicts: 59000 | #Constraints: 217393
488.86/490.29 c #Conflicts: 60000 | #Constraints: 218393
488.86/490.29 c #Conflicts: 61000 | #Constraints: 219393
488.86/490.29 c INPROCESSING
488.86/490.29 c GARBAGE COLLECT
488.86/490.29 c #Conflicts: 62000 | #Constraints: 215391
488.86/490.29 c #Conflicts: 63000 | #Constraints: 216391
488.86/490.29 c #Conflicts: 64000 | #Constraints: 217391
488.86/490.29 c #Conflicts: 65000 | #Constraints: 218391
488.86/490.29 c #Conflicts: 66000 | #Constraints: 219391
488.86/490.29 c INPROCESSING
488.86/490.29 c GARBAGE COLLECT
488.86/490.29 c #Conflicts: 67000 | #Constraints: 215191
488.86/490.29 c #Conflicts: 68000 | #Constraints: 216191
488.86/490.29 c #Conflicts: 69000 | #Constraints: 217191
488.86/490.29 c #Conflicts: 70000 | #Constraints: 218191
488.86/490.29 c #Conflicts: 71000 | #Constraints: 219191
488.86/490.29 c #Conflicts: 72000 | #Constraints: 220191
488.86/490.29 c INPROCESSING
488.86/490.29 c GARBAGE COLLECT
488.86/490.29 c #Conflicts: 73000 | #Constraints: 215794
488.86/490.29 c #Conflicts: 74000 | #Constraints: 216794
488.86/490.29 c #Conflicts: 75000 | #Constraints: 217794
488.86/490.29 c #Conflicts: 76000 | #Constraints: 218794
488.86/490.29 c #Conflicts: 77000 | #Constraints: 219794
488.86/490.29 c #Conflicts: 78000 | #Constraints: 220794
488.86/490.29 c INPROCESSING
488.86/490.29 c GARBAGE COLLECT
488.86/490.29 c #Conflicts: 79000 | #Constraints: 216195
488.86/490.29 c #Conflicts: 80000 | #Constraints: 217195
488.86/490.29 c #Conflicts: 81000 | #Constraints: 218195
488.86/490.29 c #Conflicts: 82000 | #Constraints: 219195
488.86/490.29 c #Conflicts: 83000 | #Constraints: 220195
488.86/490.29 c #Conflicts: 84000 | #Constraints: 221195
488.86/490.29 c INPROCESSING
488.86/490.29 c GARBAGE COLLECT
488.86/490.29 c #Conflicts: 85000 | #Constraints: 216395
488.86/490.29 c #Conflicts: 86000 | #Constraints: 217395
488.86/490.29 c #Conflicts: 87000 | #Constraints: 218395
488.86/490.29 c #Conflicts: 88000 | #Constraints: 219395
488.86/490.29 c #Conflicts: 89000 | #Constraints: 220395
488.86/490.29 c #Conflicts: 90000 | #Constraints: 221395
488.86/490.29 c INPROCESSING
488.86/490.29 c GARBAGE COLLECT
488.86/490.29 c #Conflicts: 91000 | #Constraints: 216392
488.86/490.29 c #Conflicts: 92000 | #Constraints: 217392
488.86/490.29 c #Conflicts: 93000 | #Constraints: 218392
488.86/490.29 c #Conflicts: 94000 | #Constraints: 219392
488.86/490.29 c #Conflicts: 95000 | #Constraints: 220392
488.86/490.29 c #Conflicts: 96000 | #Constraints: 221392
488.86/490.29 c INPROCESSING
488.86/490.29 c GARBAGE COLLECT
488.86/490.29 c #Conflicts: 97000 | #Constraints: 216193
488.86/490.29 c #Conflicts: 98000 | #Constraints: 217193
488.86/490.29 c #Conflicts: 99000 | #Constraints: 218193
488.86/490.29 c #Conflicts: 100000 | #Constraints: 219193
488.86/490.29 c #Conflicts: 101000 | #Constraints: 220193
488.86/490.29 c #Conflicts: 102000 | #Constraints: 221193
488.86/490.29 c #Conflicts: 103000 | #Constraints: 222193
488.86/490.29 c INPROCESSING
488.86/490.29 c GARBAGE COLLECT
488.86/490.29 c #Conflicts: 104000 | #Constraints: 216792
488.86/490.29 c #Conflicts: 105000 | #Constraints: 217792
488.86/490.29 c #Conflicts: 106000 | #Constraints: 218792
488.86/490.29 c #Conflicts: 107000 | #Constraints: 219792
488.86/490.29 c #Conflicts: 108000 | #Constraints: 220792
488.86/490.29 c #Conflicts: 109000 | #Constraints: 221792
488.86/490.29 c #Conflicts: 110000 | #Constraints: 222792
488.86/490.29 c INPROCESSING
488.86/490.29 c GARBAGE COLLECT
488.86/490.29 c #Conflicts: 111000 | #Constraints: 217191
488.86/490.29 c #Conflicts: 112000 | #Constraints: 218191
488.86/490.29 c #Conflicts: 113000 | #Constraints: 219191
488.86/490.29 c #Conflicts: 114000 | #Constraints: 220191
488.86/490.29 c #Conflicts: 115000 | #Constraints: 221191
488.86/490.29 c #Conflicts: 116000 | #Constraints: 222191
488.86/490.29 c #Conflicts: 117000 | #Constraints: 223191
488.86/490.29 c INPROCESSING
488.86/490.29 c GARBAGE COLLECT
488.86/490.29 c #Conflicts: 118000 | #Constraints: 217394
488.86/490.29 c #Conflicts: 119000 | #Constraints: 218394
488.86/490.29 c #Conflicts: 120000 | #Constraints: 219394
488.86/490.29 c #Conflicts: 121000 | #Constraints: 220394
612.04/613.71 c #Conflicts: 122000 | #Constraints: 221394
612.04/613.71 c #Conflicts: 123000 | #Constraints: 222394
612.04/613.71 c #Conflicts: 124000 | #Constraints: 223394
612.04/613.71 c INPROCESSING
612.04/613.71 c GARBAGE COLLECT
612.04/613.71 c #Conflicts: 125000 | #Constraints: 217395
612.04/613.71 c #Conflicts: 126000 | #Constraints: 218395
612.04/613.71 c #Conflicts: 127000 | #Constraints: 219395
612.04/613.71 c #Conflicts: 128000 | #Constraints: 220395
612.04/613.71 c #Conflicts: 129000 | #Constraints: 221395
612.04/613.71 c #Conflicts: 130000 | #Constraints: 222395
612.04/613.71 c #Conflicts: 131000 | #Constraints: 223395
612.04/613.71 c INPROCESSING
612.04/613.71 c GARBAGE COLLECT
612.04/613.71 c #Conflicts: 132000 | #Constraints: 217194
612.04/613.71 c #Conflicts: 133000 | #Constraints: 218194
612.04/613.71 c #Conflicts: 134000 | #Constraints: 219194
612.04/613.71 c #Conflicts: 135000 | #Constraints: 220194
612.04/613.71 c #Conflicts: 136000 | #Constraints: 221194
612.04/613.71 c #Conflicts: 137000 | #Constraints: 222194
612.04/613.71 c #Conflicts: 138000 | #Constraints: 223194
612.04/613.71 c #Conflicts: 139000 | #Constraints: 224194
612.04/613.71 c INPROCESSING
612.04/613.71 c GARBAGE COLLECT
612.04/613.71 c #Conflicts: 140000 | #Constraints: 217792
612.04/613.71 c #Conflicts: 141000 | #Constraints: 218792
612.04/613.71 c #Conflicts: 142000 | #Constraints: 219792
612.04/613.71 c #Conflicts: 143000 | #Constraints: 220792
612.04/613.71 c #Conflicts: 144000 | #Constraints: 221792
612.04/613.71 c #Conflicts: 145000 | #Constraints: 222792
612.04/613.71 c #Conflicts: 146000 | #Constraints: 223792
612.04/613.71 c #Conflicts: 147000 | #Constraints: 224792
612.04/613.71 c INPROCESSING
612.04/613.71 c GARBAGE COLLECT
612.04/613.71 c #Conflicts: 148000 | #Constraints: 218192
612.04/613.71 c #Conflicts: 149000 | #Constraints: 219192
612.04/613.71 c #Conflicts: 150000 | #Constraints: 220192
612.04/613.71 c #Conflicts: 151000 | #Constraints: 221192
612.04/613.71 c #Conflicts: 152000 | #Constraints: 222192
612.04/613.71 c #Conflicts: 153000 | #Constraints: 223192
612.04/613.71 c #Conflicts: 154000 | #Constraints: 224192
612.04/613.71 c #Conflicts: 155000 | #Constraints: 225192
612.04/613.71 c INPROCESSING
612.04/613.71 c GARBAGE COLLECT
612.04/613.71 c #Conflicts: 156000 | #Constraints: 218392
612.04/613.71 c #Conflicts: 157000 | #Constraints: 219392
612.04/613.71 c #Conflicts: 158000 | #Constraints: 220392
612.04/613.71 c #Conflicts: 159000 | #Constraints: 221392
612.04/613.71 c #Conflicts: 160000 | #Constraints: 222392
612.04/613.71 c #Conflicts: 161000 | #Constraints: 223392
612.04/613.71 c #Conflicts: 162000 | #Constraints: 224392
612.04/613.71 c #Conflicts: 163000 | #Constraints: 225392
612.04/613.71 c INPROCESSING
612.04/613.71 c GARBAGE COLLECT
612.04/613.71 c #Conflicts: 164000 | #Constraints: 218393
612.04/613.71 c #Conflicts: 165000 | #Constraints: 219393
612.04/613.71 c #Conflicts: 166000 | #Constraints: 220393
612.04/613.71 c #Conflicts: 167000 | #Constraints: 221393
612.04/613.71 c #Conflicts: 168000 | #Constraints: 222393
612.04/613.71 c #Conflicts: 169000 | #Constraints: 223393
612.04/613.71 c #Conflicts: 170000 | #Constraints: 224393
612.04/613.71 c #Conflicts: 171000 | #Constraints: 225393
612.04/613.71 c INPROCESSING
612.04/613.71 c GARBAGE COLLECT
612.04/613.71 c #Conflicts: 172000 | #Constraints: 218191
612.04/613.71 c #Conflicts: 173000 | #Constraints: 219191
612.04/613.71 c #Conflicts: 174000 | #Constraints: 220191
612.04/613.71 c #Conflicts: 175000 | #Constraints: 221191
612.04/613.71 c #Conflicts: 176000 | #Constraints: 222191
612.04/613.71 c #Conflicts: 177000 | #Constraints: 223191
612.04/613.71 c #Conflicts: 178000 | #Constraints: 224191
612.04/613.71 c #Conflicts: 179000 | #Constraints: 225191
612.04/613.71 c #Conflicts: 180000 | #Constraints: 226191
612.04/613.71 c INPROCESSING
612.04/613.71 c GARBAGE COLLECT
612.04/613.71 c #Conflicts: 181000 | #Constraints: 218790
612.04/613.71 c #Conflicts: 182000 | #Constraints: 219790
612.04/613.71 c #Conflicts: 183000 | #Constraints: 220790
612.04/613.71 c #Conflicts: 184000 | #Constraints: 221790
612.04/613.71 c #Conflicts: 185000 | #Constraints: 222790
612.04/613.71 c #Conflicts: 186000 | #Constraints: 223790
612.04/613.71 c #Conflicts: 187000 | #Constraints: 224790
612.04/613.71 c #Conflicts: 188000 | #Constraints: 225790
612.04/613.71 c #Conflicts: 189000 | #Constraints: 226790
612.04/613.71 c INPROCESSING
612.04/613.71 c GARBAGE COLLECT
612.04/613.71 c #Conflicts: 190000 | #Constraints: 219190
612.04/613.71 c #Conflicts: 191000 | #Constraints: 220190
612.04/613.71 c #Conflicts: 192000 | #Constraints: 221190
612.04/613.71 c #Conflicts: 193000 | #Constraints: 222190
612.04/613.71 c #Conflicts: 194000 | #Constraints: 223190
752.27/754.36 c #Conflicts: 195000 | #Constraints: 224190
752.27/754.36 c #Conflicts: 196000 | #Constraints: 225190
752.27/754.36 c #Conflicts: 197000 | #Constraints: 226190
752.27/754.36 c #Conflicts: 198000 | #Constraints: 227190
752.27/754.36 c INPROCESSING
752.27/754.36 c GARBAGE COLLECT
752.27/754.36 c #Conflicts: 199000 | #Constraints: 219392
752.27/754.36 c #Conflicts: 200000 | #Constraints: 220392
752.27/754.36 c #Conflicts: 201000 | #Constraints: 221392
752.27/754.36 c #Conflicts: 202000 | #Constraints: 222392
752.27/754.36 c #Conflicts: 203000 | #Constraints: 223392
752.27/754.36 c #Conflicts: 204000 | #Constraints: 224392
752.27/754.36 c #Conflicts: 205000 | #Constraints: 225392
752.27/754.36 c #Conflicts: 206000 | #Constraints: 226392
752.27/754.36 c #Conflicts: 207000 | #Constraints: 227392
752.27/754.36 c INPROCESSING
752.27/754.36 c GARBAGE COLLECT
752.27/754.36 c #Conflicts: 208000 | #Constraints: 219391
752.27/754.36 c #Conflicts: 209000 | #Constraints: 220391
752.27/754.36 c #Conflicts: 210000 | #Constraints: 221391
752.27/754.36 c #Conflicts: 211000 | #Constraints: 222391
752.27/754.36 c #Conflicts: 212000 | #Constraints: 223391
752.27/754.36 c #Conflicts: 213000 | #Constraints: 224391
752.27/754.36 c #Conflicts: 214000 | #Constraints: 225391
752.27/754.36 c #Conflicts: 215000 | #Constraints: 226391
752.27/754.36 c #Conflicts: 216000 | #Constraints: 227391
752.27/754.36 c INPROCESSING
752.27/754.36 c GARBAGE COLLECT
752.27/754.36 c #Conflicts: 217000 | #Constraints: 219194
752.27/754.36 c #Conflicts: 218000 | #Constraints: 220194
752.27/754.36 c #Conflicts: 219000 | #Constraints: 221194
752.27/754.36 c #Conflicts: 220000 | #Constraints: 222194
752.27/754.36 c #Conflicts: 221000 | #Constraints: 223194
752.27/754.36 c #Conflicts: 222000 | #Constraints: 224194
752.27/754.36 c #Conflicts: 223000 | #Constraints: 225194
752.27/754.36 c #Conflicts: 224000 | #Constraints: 226194
752.27/754.36 c #Conflicts: 225000 | #Constraints: 227194
752.27/754.36 c #Conflicts: 226000 | #Constraints: 228194
752.27/754.36 c INPROCESSING
752.27/754.36 c GARBAGE COLLECT
752.27/754.36 c #Conflicts: 227000 | #Constraints: 219794
752.27/754.36 c #Conflicts: 228000 | #Constraints: 220794
752.27/754.36 c #Conflicts: 229000 | #Constraints: 221794
752.27/754.36 c #Conflicts: 230000 | #Constraints: 222794
752.27/754.36 c #Conflicts: 231000 | #Constraints: 223794
752.27/754.36 c #Conflicts: 232000 | #Constraints: 224794
752.27/754.36 c #Conflicts: 233000 | #Constraints: 225794
752.27/754.36 c #Conflicts: 234000 | #Constraints: 226794
752.27/754.36 c #Conflicts: 235000 | #Constraints: 227794
752.27/754.36 c #Conflicts: 236000 | #Constraints: 228794
752.27/754.36 c INPROCESSING
752.27/754.36 c GARBAGE COLLECT
752.27/754.36 c #Conflicts: 237000 | #Constraints: 220192
752.27/754.36 c #Conflicts: 238000 | #Constraints: 221192
752.27/754.36 c #Conflicts: 239000 | #Constraints: 222192
752.27/754.36 c #Conflicts: 240000 | #Constraints: 223192
752.27/754.36 c #Conflicts: 241000 | #Constraints: 224192
752.27/754.36 c #Conflicts: 242000 | #Constraints: 225192
752.27/754.36 c #Conflicts: 243000 | #Constraints: 226192
752.27/754.36 c #Conflicts: 244000 | #Constraints: 227192
752.27/754.36 c #Conflicts: 245000 | #Constraints: 228192
752.27/754.36 c #Conflicts: 246000 | #Constraints: 229192
752.27/754.36 c INPROCESSING
752.27/754.36 c GARBAGE COLLECT
752.27/754.36 c #Conflicts: 247000 | #Constraints: 220396
752.27/754.36 c #Conflicts: 248000 | #Constraints: 221396
752.27/754.36 c #Conflicts: 249000 | #Constraints: 222396
752.27/754.36 c #Conflicts: 250000 | #Constraints: 223396
752.27/754.36 c #Conflicts: 251000 | #Constraints: 224396
752.27/754.36 c #Conflicts: 252000 | #Constraints: 225396
752.27/754.36 c #Conflicts: 253000 | #Constraints: 226396
752.27/754.36 c #Conflicts: 254000 | #Constraints: 227396
752.27/754.36 c #Conflicts: 255000 | #Constraints: 228396
752.27/754.36 c #Conflicts: 256000 | #Constraints: 229396
752.27/754.36 c INPROCESSING
752.27/754.36 c GARBAGE COLLECT
752.27/754.36 c #Conflicts: 257000 | #Constraints: 220398
752.27/754.36 c #Conflicts: 258000 | #Constraints: 221398
752.27/754.36 c #Conflicts: 259000 | #Constraints: 222398
752.27/754.36 c #Conflicts: 260000 | #Constraints: 223398
752.27/754.36 c #Conflicts: 261000 | #Constraints: 224398
752.27/754.36 c #Conflicts: 262000 | #Constraints: 225398
752.27/754.36 c #Conflicts: 263000 | #Constraints: 226398
752.27/754.36 c #Conflicts: 264000 | #Constraints: 227398
752.27/754.36 c #Conflicts: 265000 | #Constraints: 228398
752.27/754.36 c #Conflicts: 266000 | #Constraints: 229398
752.27/754.36 c INPROCESSING
752.27/754.36 c GARBAGE COLLECT
752.27/754.36 c #Conflicts: 267000 | #Constraints: 220196
752.27/754.36 c #Conflicts: 268000 | #Constraints: 221196
878.04/880.48 c #Conflicts: 269000 | #Constraints: 222196
878.04/880.48 c #Conflicts: 270000 | #Constraints: 223196
878.04/880.48 c #Conflicts: 271000 | #Constraints: 224196
878.04/880.48 c #Conflicts: 272000 | #Constraints: 225196
878.04/880.48 c #Conflicts: 273000 | #Constraints: 226196
878.04/880.48 c #Conflicts: 274000 | #Constraints: 227196
878.04/880.48 c #Conflicts: 275000 | #Constraints: 228196
878.04/880.48 c #Conflicts: 276000 | #Constraints: 229196
878.04/880.48 c #Conflicts: 277000 | #Constraints: 230196
878.04/880.48 c INPROCESSING
878.04/880.48 c GARBAGE COLLECT
878.04/880.48 c #Conflicts: 278000 | #Constraints: 220796
878.04/880.48 c #Conflicts: 279000 | #Constraints: 221796
878.04/880.48 c #Conflicts: 280000 | #Constraints: 222796
878.04/880.48 c #Conflicts: 281000 | #Constraints: 223796
878.04/880.48 c #Conflicts: 282000 | #Constraints: 224796
878.04/880.48 c #Conflicts: 283000 | #Constraints: 225796
878.04/880.48 c #Conflicts: 284000 | #Constraints: 226796
878.04/880.48 c #Conflicts: 285000 | #Constraints: 227796
878.04/880.48 c #Conflicts: 286000 | #Constraints: 228796
878.04/880.48 c #Conflicts: 287000 | #Constraints: 229796
878.04/880.48 c #Conflicts: 288000 | #Constraints: 230796
878.04/880.48 c INPROCESSING
878.04/880.48 c GARBAGE COLLECT
878.04/880.48 c #Conflicts: 289000 | #Constraints: 221195
878.04/880.48 c #Conflicts: 290000 | #Constraints: 222195
878.04/880.48 c #Conflicts: 291000 | #Constraints: 223195
878.04/880.48 c #Conflicts: 292000 | #Constraints: 224195
878.04/880.48 c #Conflicts: 293000 | #Constraints: 225195
878.04/880.48 c #Conflicts: 294000 | #Constraints: 226195
878.04/880.48 c #Conflicts: 295000 | #Constraints: 227195
878.04/880.48 c #Conflicts: 296000 | #Constraints: 228195
878.04/880.48 c #Conflicts: 297000 | #Constraints: 229195
878.04/880.48 c #Conflicts: 298000 | #Constraints: 230195
878.04/880.48 c #Conflicts: 299000 | #Constraints: 231195
878.04/880.48 c INPROCESSING
878.04/880.48 c GARBAGE COLLECT
878.04/880.48 c #Conflicts: 300000 | #Constraints: 221396
878.04/880.48 c #Conflicts: 301000 | #Constraints: 222396
878.04/880.48 c #Conflicts: 302000 | #Constraints: 223396
878.04/880.48 c #Conflicts: 303000 | #Constraints: 224396
878.04/880.48 c #Conflicts: 304000 | #Constraints: 225396
878.04/880.48 c #Conflicts: 305000 | #Constraints: 226396
878.04/880.48 c #Conflicts: 306000 | #Constraints: 227396
878.04/880.48 c #Conflicts: 307000 | #Constraints: 228396
878.04/880.48 c #Conflicts: 308000 | #Constraints: 229396
878.04/880.48 c #Conflicts: 309000 | #Constraints: 230396
878.04/880.48 c #Conflicts: 310000 | #Constraints: 231396
878.04/880.48 c INPROCESSING
878.04/880.48 c GARBAGE COLLECT
878.04/880.48 c #Conflicts: 311000 | #Constraints: 221397
878.04/880.48 c #Conflicts: 312000 | #Constraints: 222397
878.04/880.48 c #Conflicts: 313000 | #Constraints: 223397
878.04/880.48 c #Conflicts: 314000 | #Constraints: 224397
878.04/880.48 c #Conflicts: 315000 | #Constraints: 225397
878.04/880.48 c #Conflicts: 316000 | #Constraints: 226397
878.04/880.48 c #Conflicts: 317000 | #Constraints: 227397
878.04/880.48 c #Conflicts: 318000 | #Constraints: 228397
878.04/880.48 c #Conflicts: 319000 | #Constraints: 229397
878.04/880.48 c #Conflicts: 320000 | #Constraints: 230397
878.04/880.48 c #Conflicts: 321000 | #Constraints: 231397
878.04/880.48 c INPROCESSING
878.04/880.48 c GARBAGE COLLECT
878.04/880.48 c #Conflicts: 322000 | #Constraints: 221193
878.04/880.48 c #Conflicts: 323000 | #Constraints: 222193
878.04/880.48 c #Conflicts: 324000 | #Constraints: 223193
878.04/880.48 c #Conflicts: 325000 | #Constraints: 224193
878.04/880.48 c #Conflicts: 326000 | #Constraints: 225193
878.04/880.48 c #Conflicts: 327000 | #Constraints: 226193
878.04/880.48 c #Conflicts: 328000 | #Constraints: 227193
878.04/880.48 c #Conflicts: 329000 | #Constraints: 228193
878.04/880.48 c #Conflicts: 330000 | #Constraints: 229193
878.04/880.48 c #Conflicts: 331000 | #Constraints: 230193
878.04/880.48 c #Conflicts: 332000 | #Constraints: 231193
878.04/880.48 c #Conflicts: 333000 | #Constraints: 232193
878.04/880.48 c INPROCESSING
878.04/880.48 c GARBAGE COLLECT
878.04/880.48 c #Conflicts: 334000 | #Constraints: 221794
878.04/880.48 c #Conflicts: 335000 | #Constraints: 222794
878.04/880.48 c #Conflicts: 336000 | #Constraints: 223794
878.04/880.48 c #Conflicts: 337000 | #Constraints: 224794
878.04/880.48 c #Conflicts: 338000 | #Constraints: 225794
878.04/880.48 c #Conflicts: 339000 | #Constraints: 226794
878.04/880.48 c #Conflicts: 340000 | #Constraints: 227794
878.04/880.48 c #Conflicts: 341000 | #Constraints: 228794
878.04/880.48 c #Conflicts: 342000 | #Constraints: 229794
878.04/880.48 c #Conflicts: 343000 | #Constraints: 230794
989.53/992.24 c #Conflicts: 344000 | #Constraints: 231794
989.53/992.24 c #Conflicts: 345000 | #Constraints: 232794
989.53/992.24 c INPROCESSING
989.53/992.24 c GARBAGE COLLECT
989.53/992.24 c #Conflicts: 346000 | #Constraints: 222192
989.53/992.24 c #Conflicts: 347000 | #Constraints: 223192
989.53/992.24 c #Conflicts: 348000 | #Constraints: 224192
989.53/992.24 c #Conflicts: 349000 | #Constraints: 225192
989.53/992.24 c #Conflicts: 350000 | #Constraints: 226192
989.53/992.24 c #Conflicts: 351000 | #Constraints: 227192
989.53/992.24 c #Conflicts: 352000 | #Constraints: 228192
989.53/992.24 c #Conflicts: 353000 | #Constraints: 229192
989.53/992.24 c #Conflicts: 354000 | #Constraints: 230192
989.53/992.24 c #Conflicts: 355000 | #Constraints: 231192
989.53/992.24 c #Conflicts: 356000 | #Constraints: 232192
989.53/992.24 c #Conflicts: 357000 | #Constraints: 233192
989.53/992.24 c INPROCESSING
989.53/992.24 c GARBAGE COLLECT
989.53/992.24 c #Conflicts: 358000 | #Constraints: 222390
989.53/992.24 c #Conflicts: 359000 | #Constraints: 223390
989.53/992.24 c #Conflicts: 360000 | #Constraints: 224390
989.53/992.24 c #Conflicts: 361000 | #Constraints: 225390
989.53/992.24 c #Conflicts: 362000 | #Constraints: 226390
989.53/992.24 c #Conflicts: 363000 | #Constraints: 227390
989.53/992.24 c #Conflicts: 364000 | #Constraints: 228390
989.53/992.24 c #Conflicts: 365000 | #Constraints: 229390
989.53/992.24 c #Conflicts: 366000 | #Constraints: 230390
989.53/992.24 c #Conflicts: 367000 | #Constraints: 231390
989.53/992.24 c #Conflicts: 368000 | #Constraints: 232390
989.53/992.24 c #Conflicts: 369000 | #Constraints: 233390
989.53/992.24 c INPROCESSING
989.53/992.24 c GARBAGE COLLECT
989.53/992.24 c #Conflicts: 370000 | #Constraints: 222395
989.53/992.24 c #Conflicts: 371000 | #Constraints: 223395
989.53/992.24 c #Conflicts: 372000 | #Constraints: 224395
989.53/992.24 c #Conflicts: 373000 | #Constraints: 225395
989.53/992.24 c #Conflicts: 374000 | #Constraints: 226395
989.53/992.24 c #Conflicts: 375000 | #Constraints: 227395
989.53/992.24 c #Conflicts: 376000 | #Constraints: 228395
989.53/992.24 c #Conflicts: 377000 | #Constraints: 229395
989.53/992.24 c #Conflicts: 378000 | #Constraints: 230395
989.53/992.24 c #Conflicts: 379000 | #Constraints: 231395
989.53/992.24 c #Conflicts: 380000 | #Constraints: 232395
989.53/992.24 c #Conflicts: 381000 | #Constraints: 233395
989.53/992.24 c INPROCESSING
989.53/992.24 c GARBAGE COLLECT
989.53/992.24 c #Conflicts: 382000 | #Constraints: 222197
989.53/992.24 c #Conflicts: 383000 | #Constraints: 223197
989.53/992.24 c #Conflicts: 384000 | #Constraints: 224197
989.53/992.24 c #Conflicts: 385000 | #Constraints: 225197
989.53/992.24 c #Conflicts: 386000 | #Constraints: 226197
989.53/992.24 c #Conflicts: 387000 | #Constraints: 227197
989.53/992.24 c #Conflicts: 388000 | #Constraints: 228197
989.53/992.24 c #Conflicts: 389000 | #Constraints: 229197
989.53/992.24 c #Conflicts: 390000 | #Constraints: 230197
989.53/992.24 c #Conflicts: 391000 | #Constraints: 231197
989.53/992.24 c #Conflicts: 392000 | #Constraints: 232197
989.53/992.24 c #Conflicts: 393000 | #Constraints: 233197
989.53/992.24 c #Conflicts: 394000 | #Constraints: 234197
989.53/992.24 c INPROCESSING
989.53/992.24 c GARBAGE COLLECT
989.53/992.24 c #Conflicts: 395000 | #Constraints: 222800
989.53/992.24 c #Conflicts: 396000 | #Constraints: 223800
989.53/992.24 c #Conflicts: 397000 | #Constraints: 224800
989.53/992.24 c #Conflicts: 398000 | #Constraints: 225800
989.53/992.24 c #Conflicts: 399000 | #Constraints: 226800
989.53/992.24 c #Conflicts: 400000 | #Constraints: 227800
989.53/992.24 c #Conflicts: 401000 | #Constraints: 228800
989.53/992.24 c #Conflicts: 402000 | #Constraints: 229800
989.53/992.24 c #Conflicts: 403000 | #Constraints: 230800
989.53/992.24 c #Conflicts: 404000 | #Constraints: 231800
989.53/992.24 c #Conflicts: 405000 | #Constraints: 232800
989.53/992.24 c #Conflicts: 406000 | #Constraints: 233800
989.53/992.24 c #Conflicts: 407000 | #Constraints: 234800
989.53/992.24 c INPROCESSING
989.53/992.24 c GARBAGE COLLECT
989.53/992.24 c #Conflicts: 408000 | #Constraints: 223197
989.53/992.24 c #Conflicts: 409000 | #Constraints: 224197
989.53/992.24 c #Conflicts: 410000 | #Constraints: 225197
989.53/992.24 c #Conflicts: 411000 | #Constraints: 226197
989.53/992.24 c #Conflicts: 412000 | #Constraints: 227197
989.53/992.24 c #Conflicts: 413000 | #Constraints: 228197
989.53/992.24 c #Conflicts: 414000 | #Constraints: 229197
989.53/992.24 c #Conflicts: 415000 | #Constraints: 230197
989.53/992.24 c #Conflicts: 416000 | #Constraints: 231197
989.53/992.24 c #Conflicts: 417000 | #Constraints: 232197
989.53/992.24 c #Conflicts: 418000 | #Constraints: 233197
1089.68/1092.60 c #Conflicts: 419000 | #Constraints: 234197
1089.68/1092.60 c #Conflicts: 420000 | #Constraints: 235197
1089.68/1092.60 c INPROCESSING
1089.68/1092.60 c GARBAGE COLLECT
1089.68/1092.60 c #Conflicts: 421000 | #Constraints: 223397
1089.68/1092.60 c #Conflicts: 422000 | #Constraints: 224397
1089.68/1092.60 c #Conflicts: 423000 | #Constraints: 225397
1089.68/1092.60 c #Conflicts: 424000 | #Constraints: 226397
1089.68/1092.60 c #Conflicts: 425000 | #Constraints: 227397
1089.68/1092.60 c #Conflicts: 426000 | #Constraints: 228397
1089.68/1092.60 c #Conflicts: 427000 | #Constraints: 229397
1089.68/1092.60 c #Conflicts: 428000 | #Constraints: 230397
1089.68/1092.60 c #Conflicts: 429000 | #Constraints: 231397
1089.68/1092.60 c #Conflicts: 430000 | #Constraints: 232397
1089.68/1092.60 c #Conflicts: 431000 | #Constraints: 233397
1089.68/1092.60 c #Conflicts: 432000 | #Constraints: 234397
1089.68/1092.60 c #Conflicts: 433000 | #Constraints: 235397
1089.68/1092.60 c INPROCESSING
1089.68/1092.60 c GARBAGE COLLECT
1089.68/1092.60 c #Conflicts: 434000 | #Constraints: 223397
1089.68/1092.60 c #Conflicts: 435000 | #Constraints: 224397
1089.68/1092.60 c #Conflicts: 436000 | #Constraints: 225397
1089.68/1092.60 c #Conflicts: 437000 | #Constraints: 226397
1089.68/1092.60 c #Conflicts: 438000 | #Constraints: 227397
1089.68/1092.60 c #Conflicts: 439000 | #Constraints: 228397
1089.68/1092.60 c #Conflicts: 440000 | #Constraints: 229397
1089.68/1092.60 c #Conflicts: 441000 | #Constraints: 230397
1089.68/1092.60 c #Conflicts: 442000 | #Constraints: 231397
1089.68/1092.60 c #Conflicts: 443000 | #Constraints: 232397
1089.68/1092.60 c #Conflicts: 444000 | #Constraints: 233397
1089.68/1092.60 c #Conflicts: 445000 | #Constraints: 234397
1089.68/1092.60 c #Conflicts: 446000 | #Constraints: 235397
1089.68/1092.60 c INPROCESSING
1089.68/1092.60 c GARBAGE COLLECT
1089.68/1092.60 c #Conflicts: 447000 | #Constraints: 223200
1089.68/1092.60 c #Conflicts: 448000 | #Constraints: 224200
1089.68/1092.60 c #Conflicts: 449000 | #Constraints: 225200
1089.68/1092.60 c #Conflicts: 450000 | #Constraints: 226200
1089.68/1092.60 c #Conflicts: 451000 | #Constraints: 227200
1089.68/1092.60 c #Conflicts: 452000 | #Constraints: 228200
1089.68/1092.60 c #Conflicts: 453000 | #Constraints: 229200
1089.68/1092.60 c #Conflicts: 454000 | #Constraints: 230200
1089.68/1092.60 c #Conflicts: 455000 | #Constraints: 231200
1089.68/1092.60 c #Conflicts: 456000 | #Constraints: 232200
1089.68/1092.60 c #Conflicts: 457000 | #Constraints: 233200
1089.68/1092.60 c #Conflicts: 458000 | #Constraints: 234200
1089.68/1092.60 c #Conflicts: 459000 | #Constraints: 235200
1089.68/1092.60 c #Conflicts: 460000 | #Constraints: 236200
1089.68/1092.60 c INPROCESSING
1089.68/1092.60 c GARBAGE COLLECT
1089.68/1092.60 c #Conflicts: 461000 | #Constraints: 223798
1089.68/1092.60 c #Conflicts: 462000 | #Constraints: 224798
1089.68/1092.60 c #Conflicts: 463000 | #Constraints: 225798
1089.68/1092.60 c #Conflicts: 464000 | #Constraints: 226798
1089.68/1092.60 c #Conflicts: 465000 | #Constraints: 227798
1089.68/1092.60 c #Conflicts: 466000 | #Constraints: 228798
1089.68/1092.60 c #Conflicts: 467000 | #Constraints: 229798
1089.68/1092.60 c #Conflicts: 468000 | #Constraints: 230798
1089.68/1092.60 c #Conflicts: 469000 | #Constraints: 231798
1089.68/1092.60 c #Conflicts: 470000 | #Constraints: 232798
1089.68/1092.60 c #Conflicts: 471000 | #Constraints: 233798
1089.68/1092.60 c #Conflicts: 472000 | #Constraints: 234798
1089.68/1092.60 c #Conflicts: 473000 | #Constraints: 235798
1089.68/1092.60 c #Conflicts: 474000 | #Constraints: 236798
1089.68/1092.60 c INPROCESSING
1089.68/1092.60 c GARBAGE COLLECT
1089.68/1092.60 c #Conflicts: 475000 | #Constraints: 224201
1089.68/1092.60 c #Conflicts: 476000 | #Constraints: 225201
1089.68/1092.60 c #Conflicts: 477000 | #Constraints: 226201
1089.68/1092.60 c #Conflicts: 478000 | #Constraints: 227201
1089.68/1092.60 c #Conflicts: 479000 | #Constraints: 228201
1089.68/1092.60 c #Conflicts: 480000 | #Constraints: 229201
1089.68/1092.60 c #Conflicts: 481000 | #Constraints: 230201
1089.68/1092.60 c #Conflicts: 482000 | #Constraints: 231201
1089.68/1092.60 c #Conflicts: 483000 | #Constraints: 232201
1089.68/1092.60 c #Conflicts: 484000 | #Constraints: 233201
1089.68/1092.60 c #Conflicts: 485000 | #Constraints: 234201
1089.68/1092.60 c #Conflicts: 486000 | #Constraints: 235201
1089.68/1092.60 c #Conflicts: 487000 | #Constraints: 236201
1089.68/1092.60 c #Conflicts: 488000 | #Constraints: 237201
1089.68/1092.60 c INPROCESSING
1089.68/1092.60 c GARBAGE COLLECT
1089.68/1092.60 c #Conflicts: 489000 | #Constraints: 224403
1089.68/1092.60 c #Conflicts: 490000 | #Constraints: 225403
1089.68/1092.60 c #Conflicts: 491000 | #Constraints: 226403
1089.68/1092.60 c #Conflicts: 492000 | #Constraints: 227403
1089.68/1092.60 c #Conflicts: 493000 | #Constraints: 228403
1196.40/1199.62 c #Conflicts: 494000 | #Constraints: 229403
1196.40/1199.62 c #Conflicts: 495000 | #Constraints: 230403
1196.40/1199.62 c #Conflicts: 496000 | #Constraints: 231403
1196.40/1199.62 c #Conflicts: 497000 | #Constraints: 232403
1196.40/1199.62 c #Conflicts: 498000 | #Constraints: 233403
1196.40/1199.62 c #Conflicts: 499000 | #Constraints: 234403
1196.40/1199.62 c #Conflicts: 500000 | #Constraints: 235403
1196.40/1199.62 c #Conflicts: 501000 | #Constraints: 236403
1196.40/1199.62 c #Conflicts: 502000 | #Constraints: 237403
1196.40/1199.62 c INPROCESSING
1196.40/1199.62 c GARBAGE COLLECT
1196.40/1199.62 c #Conflicts: 503000 | #Constraints: 224398
1196.40/1199.62 c #Conflicts: 504000 | #Constraints: 225398
1196.40/1199.62 c #Conflicts: 505000 | #Constraints: 226398
1196.40/1199.62 c #Conflicts: 506000 | #Constraints: 227398
1196.40/1199.62 c #Conflicts: 507000 | #Constraints: 228398
1196.40/1199.62 c #Conflicts: 508000 | #Constraints: 229398
1196.40/1199.62 c #Conflicts: 509000 | #Constraints: 230398
1196.40/1199.62 c #Conflicts: 510000 | #Constraints: 231398
1196.40/1199.62 c #Conflicts: 511000 | #Constraints: 232398
1196.40/1199.62 c #Conflicts: 512000 | #Constraints: 233398
1196.40/1199.62 c #Conflicts: 513000 | #Constraints: 234398
1196.40/1199.62 c #Conflicts: 514000 | #Constraints: 235398
1196.40/1199.62 c #Conflicts: 515000 | #Constraints: 236398
1196.40/1199.62 c #Conflicts: 516000 | #Constraints: 237398
1196.40/1199.62 c INPROCESSING
1196.40/1199.62 c GARBAGE COLLECT
1196.40/1199.62 c #Conflicts: 517000 | #Constraints: 224198
1196.40/1199.62 c #Conflicts: 518000 | #Constraints: 225198
1196.40/1199.62 c #Conflicts: 519000 | #Constraints: 226198
1196.40/1199.62 c #Conflicts: 520000 | #Constraints: 227198
1196.40/1199.62 c #Conflicts: 521000 | #Constraints: 228198
1196.40/1199.62 c #Conflicts: 522000 | #Constraints: 229198
1196.40/1199.62 c #Conflicts: 523000 | #Constraints: 230198
1196.40/1199.62 c #Conflicts: 524000 | #Constraints: 231198
1196.40/1199.62 c #Conflicts: 525000 | #Constraints: 232198
1196.40/1199.62 c #Conflicts: 526000 | #Constraints: 233198
1196.40/1199.62 c #Conflicts: 527000 | #Constraints: 234198
1196.40/1199.62 c #Conflicts: 528000 | #Constraints: 235198
1196.40/1199.62 c #Conflicts: 529000 | #Constraints: 236198
1196.40/1199.62 c #Conflicts: 530000 | #Constraints: 237198
1196.40/1199.62 c #Conflicts: 531000 | #Constraints: 238198
1196.40/1199.62 c INPROCESSING
1196.40/1199.62 c GARBAGE COLLECT
1196.40/1199.62 c #Conflicts: 532000 | #Constraints: 224801
1196.40/1199.62 c #Conflicts: 533000 | #Constraints: 225801
1196.40/1199.62 c #Conflicts: 534000 | #Constraints: 226801
1196.40/1199.62 c #Conflicts: 535000 | #Constraints: 227801
1196.40/1199.62 c #Conflicts: 536000 | #Constraints: 228801
1196.40/1199.62 c #Conflicts: 537000 | #Constraints: 229801
1196.40/1199.62 c #Conflicts: 538000 | #Constraints: 230801
1196.40/1199.62 c #Conflicts: 539000 | #Constraints: 231801
1196.40/1199.62 c #Conflicts: 540000 | #Constraints: 232801
1196.40/1199.62 c #Conflicts: 541000 | #Constraints: 233801
1196.40/1199.62 c #Conflicts: 542000 | #Constraints: 234801
1196.40/1199.62 c #Conflicts: 543000 | #Constraints: 235801
1196.40/1199.62 c #Conflicts: 544000 | #Constraints: 236801
1196.40/1199.62 c #Conflicts: 545000 | #Constraints: 237801
1196.40/1199.62 c #Conflicts: 546000 | #Constraints: 238801
1196.40/1199.62 c INPROCESSING
1196.40/1199.62 c GARBAGE COLLECT
1196.40/1199.62 c #Conflicts: 547000 | #Constraints: 225200
1196.40/1199.62 c #Conflicts: 548000 | #Constraints: 226200
1196.40/1199.62 c #Conflicts: 549000 | #Constraints: 227200
1196.40/1199.62 c #Conflicts: 550000 | #Constraints: 228200
1196.40/1199.62 c #Conflicts: 551000 | #Constraints: 229200
1196.40/1199.62 c #Conflicts: 552000 | #Constraints: 230200
1196.40/1199.62 c #Conflicts: 553000 | #Constraints: 231200
1196.40/1199.62 c #Conflicts: 554000 | #Constraints: 232200
1196.40/1199.62 c #Conflicts: 555000 | #Constraints: 233200
1196.40/1199.62 c #Conflicts: 556000 | #Constraints: 234200
1196.40/1199.62 c #Conflicts: 557000 | #Constraints: 235200
1196.40/1199.62 c #Conflicts: 558000 | #Constraints: 236200
1196.40/1199.62 c #Conflicts: 559000 | #Constraints: 237200
1196.40/1199.62 c #Conflicts: 560000 | #Constraints: 238200
1196.40/1199.62 c #Conflicts: 561000 | #Constraints: 239200
1196.40/1199.62 c INPROCESSING
1196.40/1199.62 c GARBAGE COLLECT
1196.40/1199.62 c #Conflicts: 562000 | #Constraints: 225398
1196.40/1199.62 c #Conflicts: 563000 | #Constraints: 226398
1196.40/1199.62 c #Conflicts: 564000 | #Constraints: 227398
1196.40/1199.62 c #Conflicts: 565000 | #Constraints: 228398
1196.40/1199.62 c #Conflicts: 566000 | #Constraints: 229398
1196.40/1199.62 c #Conflicts: 567000 | #Constraints: 230398
1196.40/1199.62 c #Conflicts: 568000 | #Constraints: 231398
1319.56/1323.11 c #Conflicts: 569000 | #Constraints: 232398
1319.56/1323.11 c #Conflicts: 570000 | #Constraints: 233398
1319.56/1323.11 c #Conflicts: 571000 | #Constraints: 234398
1319.56/1323.11 c #Conflicts: 572000 | #Constraints: 235398
1319.56/1323.11 c #Conflicts: 573000 | #Constraints: 236398
1319.56/1323.11 c #Conflicts: 574000 | #Constraints: 237398
1319.56/1323.11 c #Conflicts: 575000 | #Constraints: 238398
1319.56/1323.11 c #Conflicts: 576000 | #Constraints: 239398
1319.56/1323.11 c INPROCESSING
1319.56/1323.11 c GARBAGE COLLECT
1319.56/1323.11 c #Conflicts: 577000 | #Constraints: 225399
1319.56/1323.11 c #Conflicts: 578000 | #Constraints: 226399
1319.56/1323.11 c #Conflicts: 579000 | #Constraints: 227399
1319.56/1323.11 c #Conflicts: 580000 | #Constraints: 228399
1319.56/1323.11 c #Conflicts: 581000 | #Constraints: 229399
1319.56/1323.11 c #Conflicts: 582000 | #Constraints: 230399
1319.56/1323.11 c #Conflicts: 583000 | #Constraints: 231399
1319.56/1323.11 c #Conflicts: 584000 | #Constraints: 232399
1319.56/1323.11 c #Conflicts: 585000 | #Constraints: 233399
1319.56/1323.11 c #Conflicts: 586000 | #Constraints: 234399
1319.56/1323.11 c #Conflicts: 587000 | #Constraints: 235399
1319.56/1323.11 c #Conflicts: 588000 | #Constraints: 236399
1319.56/1323.11 c #Conflicts: 589000 | #Constraints: 237399
1319.56/1323.11 c #Conflicts: 590000 | #Constraints: 238399
1319.56/1323.11 c #Conflicts: 591000 | #Constraints: 239399
1319.56/1323.11 c INPROCESSING
1319.56/1323.11 c GARBAGE COLLECT
1319.56/1323.11 c #Conflicts: 592000 | #Constraints: 225202
1319.56/1323.11 c #Conflicts: 593000 | #Constraints: 226202
1319.56/1323.11 c #Conflicts: 594000 | #Constraints: 227202
1319.56/1323.11 c #Conflicts: 595000 | #Constraints: 228202
1319.56/1323.11 c #Conflicts: 596000 | #Constraints: 229202
1319.56/1323.11 c #Conflicts: 597000 | #Constraints: 230202
1319.56/1323.11 c #Conflicts: 598000 | #Constraints: 231202
1319.56/1323.11 c #Conflicts: 599000 | #Constraints: 232202
1319.56/1323.11 c #Conflicts: 600000 | #Constraints: 233202
1319.56/1323.11 c #Conflicts: 601000 | #Constraints: 234202
1319.56/1323.11 c #Conflicts: 602000 | #Constraints: 235202
1319.56/1323.11 c #Conflicts: 603000 | #Constraints: 236202
1319.56/1323.11 c #Conflicts: 604000 | #Constraints: 237202
1319.56/1323.11 c #Conflicts: 605000 | #Constraints: 238202
1319.56/1323.11 c #Conflicts: 606000 | #Constraints: 239202
1319.56/1323.11 c #Conflicts: 607000 | #Constraints: 240202
1319.56/1323.11 c INPROCESSING
1319.56/1323.11 c GARBAGE COLLECT
1319.56/1323.11 c #Conflicts: 608000 | #Constraints: 225797
1319.56/1323.11 c #Conflicts: 609000 | #Constraints: 226797
1319.56/1323.11 c #Conflicts: 610000 | #Constraints: 227797
1319.56/1323.11 c #Conflicts: 611000 | #Constraints: 228797
1319.56/1323.11 c #Conflicts: 612000 | #Constraints: 229797
1319.56/1323.11 c #Conflicts: 613000 | #Constraints: 230797
1319.56/1323.11 c #Conflicts: 614000 | #Constraints: 231797
1319.56/1323.11 c #Conflicts: 615000 | #Constraints: 232797
1319.56/1323.11 c #Conflicts: 616000 | #Constraints: 233797
1319.56/1323.11 c #Conflicts: 617000 | #Constraints: 234797
1319.56/1323.11 c #Conflicts: 618000 | #Constraints: 235797
1319.56/1323.11 c #Conflicts: 619000 | #Constraints: 236797
1319.56/1323.11 c #Conflicts: 620000 | #Constraints: 237797
1319.56/1323.11 c #Conflicts: 621000 | #Constraints: 238797
1319.56/1323.11 c #Conflicts: 622000 | #Constraints: 239797
1319.56/1323.11 c #Conflicts: 623000 | #Constraints: 240797
1319.56/1323.11 c INPROCESSING
1319.56/1323.11 c GARBAGE COLLECT
1319.56/1323.11 c #Conflicts: 624000 | #Constraints: 226202
1319.56/1323.11 c #Conflicts: 625000 | #Constraints: 227202
1319.56/1323.11 c #Conflicts: 626000 | #Constraints: 228202
1319.56/1323.11 c #Conflicts: 627000 | #Constraints: 229202
1319.56/1323.11 c #Conflicts: 628000 | #Constraints: 230202
1319.56/1323.11 c #Conflicts: 629000 | #Constraints: 231202
1319.56/1323.11 c #Conflicts: 630000 | #Constraints: 232202
1319.56/1323.11 c #Conflicts: 631000 | #Constraints: 233202
1319.56/1323.11 c #Conflicts: 632000 | #Constraints: 234202
1319.56/1323.11 c #Conflicts: 633000 | #Constraints: 235202
1319.56/1323.11 c #Conflicts: 634000 | #Constraints: 236202
1319.56/1323.11 c #Conflicts: 635000 | #Constraints: 237202
1319.56/1323.11 c #Conflicts: 636000 | #Constraints: 238202
1319.56/1323.11 c #Conflicts: 637000 | #Constraints: 239202
1319.56/1323.11 c #Conflicts: 638000 | #Constraints: 240202
1319.56/1323.11 c #Conflicts: 639000 | #Constraints: 241202
1319.56/1323.11 c INPROCESSING
1319.56/1323.11 c GARBAGE COLLECT
1319.56/1323.11 c #Conflicts: 640000 | #Constraints: 226403
1319.56/1323.11 c #Conflicts: 641000 | #Constraints: 227403
1319.56/1323.11 c #Conflicts: 642000 | #Constraints: 228403
1319.56/1323.11 c #Conflicts: 643000 | #Constraints: 229403
1319.56/1323.11 c #Conflicts: 644000 | #Constraints: 230403
1450.61/1454.58 c #Conflicts: 645000 | #Constraints: 231403
1450.61/1454.58 c #Conflicts: 646000 | #Constraints: 232403
1450.61/1454.58 c #Conflicts: 647000 | #Constraints: 233403
1450.61/1454.58 c #Conflicts: 648000 | #Constraints: 234403
1450.61/1454.58 c #Conflicts: 649000 | #Constraints: 235403
1450.61/1454.58 c #Conflicts: 650000 | #Constraints: 236403
1450.61/1454.58 c #Conflicts: 651000 | #Constraints: 237403
1450.61/1454.58 c #Conflicts: 652000 | #Constraints: 238403
1450.61/1454.58 c #Conflicts: 653000 | #Constraints: 239403
1450.61/1454.58 c #Conflicts: 654000 | #Constraints: 240403
1450.61/1454.58 c #Conflicts: 655000 | #Constraints: 241403
1450.61/1454.58 c INPROCESSING
1450.61/1454.58 c GARBAGE COLLECT
1450.61/1454.58 c #Conflicts: 656000 | #Constraints: 226401
1450.61/1454.58 c #Conflicts: 657000 | #Constraints: 227401
1450.61/1454.58 c #Conflicts: 658000 | #Constraints: 228401
1450.61/1454.58 c #Conflicts: 659000 | #Constraints: 229401
1450.61/1454.58 c #Conflicts: 660000 | #Constraints: 230401
1450.61/1454.58 c #Conflicts: 661000 | #Constraints: 231401
1450.61/1454.58 c #Conflicts: 662000 | #Constraints: 232401
1450.61/1454.58 c #Conflicts: 663000 | #Constraints: 233401
1450.61/1454.58 c #Conflicts: 664000 | #Constraints: 234401
1450.61/1454.58 c #Conflicts: 665000 | #Constraints: 235401
1450.61/1454.58 c #Conflicts: 666000 | #Constraints: 236401
1450.61/1454.58 c #Conflicts: 667000 | #Constraints: 237401
1450.61/1454.58 c #Conflicts: 668000 | #Constraints: 238401
1450.61/1454.58 c #Conflicts: 669000 | #Constraints: 239401
1450.61/1454.58 c #Conflicts: 670000 | #Constraints: 240401
1450.61/1454.58 c #Conflicts: 671000 | #Constraints: 241401
1450.61/1454.58 c INPROCESSING
1450.61/1454.58 c GARBAGE COLLECT
1450.61/1454.58 c #Conflicts: 672000 | #Constraints: 226193
1450.61/1454.58 c #Conflicts: 673000 | #Constraints: 227193
1450.61/1454.58 c #Conflicts: 674000 | #Constraints: 228193
1450.61/1454.58 c #Conflicts: 675000 | #Constraints: 229193
1450.61/1454.58 c #Conflicts: 676000 | #Constraints: 230193
1450.61/1454.58 c #Conflicts: 677000 | #Constraints: 231193
1450.61/1454.58 c #Conflicts: 678000 | #Constraints: 232193
1450.61/1454.58 c #Conflicts: 679000 | #Constraints: 233193
1450.61/1454.58 c #Conflicts: 680000 | #Constraints: 234193
1450.61/1454.58 c #Conflicts: 681000 | #Constraints: 235193
1450.61/1454.58 c #Conflicts: 682000 | #Constraints: 236193
1450.61/1454.58 c #Conflicts: 683000 | #Constraints: 237193
1450.61/1454.58 c #Conflicts: 684000 | #Constraints: 238193
1450.61/1454.58 c #Conflicts: 685000 | #Constraints: 239193
1450.61/1454.58 c #Conflicts: 686000 | #Constraints: 240193
1450.61/1454.58 c #Conflicts: 687000 | #Constraints: 241193
1450.61/1454.58 c #Conflicts: 688000 | #Constraints: 242193
1450.61/1454.58 c INPROCESSING
1450.61/1454.58 c GARBAGE COLLECT
1450.61/1454.58 c #Conflicts: 689000 | #Constraints: 226792
1450.61/1454.58 c #Conflicts: 690000 | #Constraints: 227792
1450.61/1454.58 c #Conflicts: 691000 | #Constraints: 228792
1450.61/1454.58 c #Conflicts: 692000 | #Constraints: 229792
1450.61/1454.58 c #Conflicts: 693000 | #Constraints: 230792
1450.61/1454.58 c #Conflicts: 694000 | #Constraints: 231792
1450.61/1454.58 c #Conflicts: 695000 | #Constraints: 232792
1450.61/1454.58 c #Conflicts: 696000 | #Constraints: 233792
1450.61/1454.58 c #Conflicts: 697000 | #Constraints: 234792
1450.61/1454.58 c #Conflicts: 698000 | #Constraints: 235792
1450.61/1454.58 c #Conflicts: 699000 | #Constraints: 236792
1450.61/1454.58 c #Conflicts: 700000 | #Constraints: 237792
1450.61/1454.58 c #Conflicts: 701000 | #Constraints: 238792
1450.61/1454.58 c #Conflicts: 702000 | #Constraints: 239792
1450.61/1454.58 c #Conflicts: 703000 | #Constraints: 240792
1450.61/1454.58 c #Conflicts: 704000 | #Constraints: 241792
1450.61/1454.58 c #Conflicts: 705000 | #Constraints: 242792
1450.61/1454.58 c INPROCESSING
1450.61/1454.58 c GARBAGE COLLECT
1450.61/1454.58 c #Conflicts: 706000 | #Constraints: 227197
1450.61/1454.58 c #Conflicts: 707000 | #Constraints: 228197
1450.61/1454.58 c #Conflicts: 708000 | #Constraints: 229197
1450.61/1454.58 c #Conflicts: 709000 | #Constraints: 230197
1450.61/1454.58 c #Conflicts: 710000 | #Constraints: 231197
1450.61/1454.58 c #Conflicts: 711000 | #Constraints: 232197
1450.61/1454.58 c #Conflicts: 712000 | #Constraints: 233197
1450.61/1454.58 c #Conflicts: 713000 | #Constraints: 234197
1450.61/1454.58 c #Conflicts: 714000 | #Constraints: 235197
1450.61/1454.58 c #Conflicts: 715000 | #Constraints: 236197
1450.61/1454.58 c #Conflicts: 716000 | #Constraints: 237197
1450.61/1454.58 c #Conflicts: 717000 | #Constraints: 238197
1450.61/1454.58 c #Conflicts: 718000 | #Constraints: 239197
1450.61/1454.58 c #Conflicts: 719000 | #Constraints: 240197
1450.61/1454.58 c #Conflicts: 720000 | #Constraints: 241197
1575.78/1580.03 c #Conflicts: 721000 | #Constraints: 242197
1575.78/1580.03 c #Conflicts: 722000 | #Constraints: 243197
1575.78/1580.03 c INPROCESSING
1575.78/1580.03 c GARBAGE COLLECT
1575.78/1580.03 c #Conflicts: 723000 | #Constraints: 227406
1575.78/1580.03 c #Conflicts: 724000 | #Constraints: 228406
1575.78/1580.03 c #Conflicts: 725000 | #Constraints: 229406
1575.78/1580.03 c #Conflicts: 726000 | #Constraints: 230406
1575.78/1580.03 c #Conflicts: 727000 | #Constraints: 231406
1575.78/1580.03 c #Conflicts: 728000 | #Constraints: 232406
1575.78/1580.03 c #Conflicts: 729000 | #Constraints: 233406
1575.78/1580.03 c #Conflicts: 730000 | #Constraints: 234406
1575.78/1580.03 c #Conflicts: 731000 | #Constraints: 235406
1575.78/1580.03 c #Conflicts: 732000 | #Constraints: 236406
1575.78/1580.03 c #Conflicts: 733000 | #Constraints: 237406
1575.78/1580.03 c #Conflicts: 734000 | #Constraints: 238406
1575.78/1580.03 c #Conflicts: 735000 | #Constraints: 239406
1575.78/1580.03 c #Conflicts: 736000 | #Constraints: 240406
1575.78/1580.03 c #Conflicts: 737000 | #Constraints: 241406
1575.78/1580.03 c #Conflicts: 738000 | #Constraints: 242406
1575.78/1580.03 c #Conflicts: 739000 | #Constraints: 243406
1575.78/1580.03 c INPROCESSING
1575.78/1580.03 c GARBAGE COLLECT
1575.78/1580.03 c #Conflicts: 740000 | #Constraints: 227407
1575.78/1580.03 c #Conflicts: 741000 | #Constraints: 228407
1575.78/1580.03 c #Conflicts: 742000 | #Constraints: 229407
1575.78/1580.03 c #Conflicts: 743000 | #Constraints: 230407
1575.78/1580.03 c #Conflicts: 744000 | #Constraints: 231407
1575.78/1580.03 c #Conflicts: 745000 | #Constraints: 232407
1575.78/1580.03 c #Conflicts: 746000 | #Constraints: 233407
1575.78/1580.03 c #Conflicts: 747000 | #Constraints: 234407
1575.78/1580.03 c #Conflicts: 748000 | #Constraints: 235407
1575.78/1580.03 c #Conflicts: 749000 | #Constraints: 236407
1575.78/1580.03 c #Conflicts: 750000 | #Constraints: 237407
1575.78/1580.03 c #Conflicts: 751000 | #Constraints: 238407
1575.78/1580.03 c #Conflicts: 752000 | #Constraints: 239407
1575.78/1580.03 c #Conflicts: 753000 | #Constraints: 240407
1575.78/1580.03 c #Conflicts: 754000 | #Constraints: 241407
1575.78/1580.03 c #Conflicts: 755000 | #Constraints: 242407
1575.78/1580.03 c #Conflicts: 756000 | #Constraints: 243407
1575.78/1580.03 c INPROCESSING
1575.78/1580.03 c GARBAGE COLLECT
1575.78/1580.03 c #Conflicts: 757000 | #Constraints: 227200
1575.78/1580.03 c #Conflicts: 758000 | #Constraints: 228200
1575.78/1580.03 c #Conflicts: 759000 | #Constraints: 229200
1575.78/1580.03 c #Conflicts: 760000 | #Constraints: 230200
1575.78/1580.03 c #Conflicts: 761000 | #Constraints: 231200
1575.78/1580.03 c #Conflicts: 762000 | #Constraints: 232200
1575.78/1580.03 c #Conflicts: 763000 | #Constraints: 233200
1575.78/1580.03 c #Conflicts: 764000 | #Constraints: 234200
1575.78/1580.03 c #Conflicts: 765000 | #Constraints: 235200
1575.78/1580.03 c #Conflicts: 766000 | #Constraints: 236200
1575.78/1580.03 c #Conflicts: 767000 | #Constraints: 237200
1575.78/1580.03 c #Conflicts: 768000 | #Constraints: 238200
1575.78/1580.03 c #Conflicts: 769000 | #Constraints: 239200
1575.78/1580.03 c #Conflicts: 770000 | #Constraints: 240200
1575.78/1580.03 c #Conflicts: 771000 | #Constraints: 241200
1575.78/1580.03 c #Conflicts: 772000 | #Constraints: 242200
1575.78/1580.03 c #Conflicts: 773000 | #Constraints: 243200
1575.78/1580.03 c #Conflicts: 774000 | #Constraints: 244200
1575.78/1580.03 c INPROCESSING
1575.78/1580.03 c GARBAGE COLLECT
1575.78/1580.03 c #Conflicts: 775000 | #Constraints: 227796
1575.78/1580.03 c #Conflicts: 776000 | #Constraints: 228796
1575.78/1580.03 c #Conflicts: 777000 | #Constraints: 229796
1575.78/1580.03 c #Conflicts: 778000 | #Constraints: 230796
1575.78/1580.03 c #Conflicts: 779000 | #Constraints: 231796
1575.78/1580.03 c #Conflicts: 780000 | #Constraints: 232796
1575.78/1580.03 c #Conflicts: 781000 | #Constraints: 233796
1575.78/1580.03 c #Conflicts: 782000 | #Constraints: 234796
1575.78/1580.03 c #Conflicts: 783000 | #Constraints: 235796
1575.78/1580.03 c #Conflicts: 784000 | #Constraints: 236796
1575.78/1580.03 c #Conflicts: 785000 | #Constraints: 237796
1575.78/1580.03 c #Conflicts: 786000 | #Constraints: 238796
1575.78/1580.03 c #Conflicts: 787000 | #Constraints: 239796
1575.78/1580.03 c #Conflicts: 788000 | #Constraints: 240796
1575.78/1580.03 c #Conflicts: 789000 | #Constraints: 241796
1575.78/1580.03 c #Conflicts: 790000 | #Constraints: 242796
1575.78/1580.03 c #Conflicts: 791000 | #Constraints: 243796
1575.78/1580.03 c #Conflicts: 792000 | #Constraints: 244796
1575.78/1580.03 c INPROCESSING
1575.78/1580.03 c GARBAGE COLLECT
1575.78/1580.03 c #Conflicts: 793000 | #Constraints: 228197
1575.78/1580.03 c #Conflicts: 794000 | #Constraints: 229197
1575.78/1580.03 c #Conflicts: 795000 | #Constraints: 230197
1575.78/1580.03 c #Conflicts: 796000 | #Constraints: 231197
1718.09/1722.75 c #Conflicts: 797000 | #Constraints: 232197
1718.09/1722.75 c #Conflicts: 798000 | #Constraints: 233197
1718.09/1722.75 c #Conflicts: 799000 | #Constraints: 234197
1718.09/1722.75 c #Conflicts: 800000 | #Constraints: 235197
1718.09/1722.75 c #Conflicts: 801000 | #Constraints: 236197
1718.09/1722.75 c #Conflicts: 802000 | #Constraints: 237197
1718.09/1722.75 c #Conflicts: 803000 | #Constraints: 238197
1718.09/1722.75 c #Conflicts: 804000 | #Constraints: 239197
1718.09/1722.75 c #Conflicts: 805000 | #Constraints: 240197
1718.09/1722.75 c #Conflicts: 806000 | #Constraints: 241197
1718.09/1722.75 c #Conflicts: 807000 | #Constraints: 242197
1718.09/1722.75 c #Conflicts: 808000 | #Constraints: 243197
1718.09/1722.75 c #Conflicts: 809000 | #Constraints: 244197
1718.09/1722.75 c #Conflicts: 810000 | #Constraints: 245197
1718.09/1722.75 c INPROCESSING
1718.09/1722.75 c GARBAGE COLLECT
1718.09/1722.75 c #Conflicts: 811000 | #Constraints: 228398
1718.09/1722.75 c #Conflicts: 812000 | #Constraints: 229398
1718.09/1722.75 c #Conflicts: 813000 | #Constraints: 230398
1718.09/1722.75 c #Conflicts: 814000 | #Constraints: 231398
1718.09/1722.75 c #Conflicts: 815000 | #Constraints: 232398
1718.09/1722.75 c #Conflicts: 816000 | #Constraints: 233398
1718.09/1722.75 c #Conflicts: 817000 | #Constraints: 234398
1718.09/1722.75 c #Conflicts: 818000 | #Constraints: 235398
1718.09/1722.75 c #Conflicts: 819000 | #Constraints: 236398
1718.09/1722.75 c #Conflicts: 820000 | #Constraints: 237398
1718.09/1722.75 c #Conflicts: 821000 | #Constraints: 238398
1718.09/1722.75 c #Conflicts: 822000 | #Constraints: 239398
1718.09/1722.75 c #Conflicts: 823000 | #Constraints: 240398
1718.09/1722.75 c #Conflicts: 824000 | #Constraints: 241398
1718.09/1722.75 c #Conflicts: 825000 | #Constraints: 242398
1718.09/1722.75 c #Conflicts: 826000 | #Constraints: 243398
1718.09/1722.75 c #Conflicts: 827000 | #Constraints: 244398
1718.09/1722.75 c #Conflicts: 828000 | #Constraints: 245398
1718.09/1722.75 c INPROCESSING
1718.09/1722.75 c GARBAGE COLLECT
1718.09/1722.75 c #Conflicts: 829000 | #Constraints: 228396
1718.09/1722.75 c #Conflicts: 830000 | #Constraints: 229396
1718.09/1722.75 c #Conflicts: 831000 | #Constraints: 230396
1718.09/1722.75 c #Conflicts: 832000 | #Constraints: 231396
1718.09/1722.75 c #Conflicts: 833000 | #Constraints: 232396
1718.09/1722.75 c #Conflicts: 834000 | #Constraints: 233396
1718.09/1722.75 c #Conflicts: 835000 | #Constraints: 234396
1718.09/1722.75 c #Conflicts: 836000 | #Constraints: 235396
1718.09/1722.75 c #Conflicts: 837000 | #Constraints: 236396
1718.09/1722.75 c #Conflicts: 838000 | #Constraints: 237396
1718.09/1722.75 c #Conflicts: 839000 | #Constraints: 238396
1718.09/1722.75 c #Conflicts: 840000 | #Constraints: 239396
1718.09/1722.75 c #Conflicts: 841000 | #Constraints: 240396
1718.09/1722.75 c #Conflicts: 842000 | #Constraints: 241396
1718.09/1722.75 c #Conflicts: 843000 | #Constraints: 242396
1718.09/1722.75 c #Conflicts: 844000 | #Constraints: 243396
1718.09/1722.75 c #Conflicts: 845000 | #Constraints: 244396
1718.09/1722.75 c #Conflicts: 846000 | #Constraints: 245396
1718.09/1722.75 c INPROCESSING
1718.09/1722.75 c GARBAGE COLLECT
1718.09/1722.75 c #Conflicts: 847000 | #Constraints: 228196
1718.09/1722.75 c #Conflicts: 848000 | #Constraints: 229196
1718.09/1722.75 c #Conflicts: 849000 | #Constraints: 230196
1718.09/1722.75 c #Conflicts: 850000 | #Constraints: 231196
1718.09/1722.75 c #Conflicts: 851000 | #Constraints: 232196
1718.09/1722.75 c #Conflicts: 852000 | #Constraints: 233196
1718.09/1722.75 c #Conflicts: 853000 | #Constraints: 234196
1718.09/1722.75 c #Conflicts: 854000 | #Constraints: 235196
1718.09/1722.75 c #Conflicts: 855000 | #Constraints: 236196
1718.09/1722.75 c #Conflicts: 856000 | #Constraints: 237196
1718.09/1722.75 c #Conflicts: 857000 | #Constraints: 238196
1718.09/1722.75 c #Conflicts: 858000 | #Constraints: 239196
1718.09/1722.75 c #Conflicts: 859000 | #Constraints: 240196
1718.09/1722.75 c #Conflicts: 860000 | #Constraints: 241196
1718.09/1722.75 c #Conflicts: 861000 | #Constraints: 242196
1718.09/1722.75 c #Conflicts: 862000 | #Constraints: 243196
1718.09/1722.75 c #Conflicts: 863000 | #Constraints: 244196
1718.09/1722.75 c #Conflicts: 864000 | #Constraints: 245196
1718.09/1722.75 c #Conflicts: 865000 | #Constraints: 246196
1718.09/1722.75 c INPROCESSING
1718.09/1722.75 c GARBAGE COLLECT
1718.09/1722.75 c #Conflicts: 866000 | #Constraints: 228799
1718.09/1722.75 c #Conflicts: 867000 | #Constraints: 229799
1718.09/1722.75 c #Conflicts: 868000 | #Constraints: 230799
1718.09/1722.75 c #Conflicts: 869000 | #Constraints: 231799
1718.09/1722.75 c #Conflicts: 870000 | #Constraints: 232799
1718.09/1722.75 c #Conflicts: 871000 | #Constraints: 233799
1718.09/1722.75 c #Conflicts: 872000 | #Constraints: 234799
1864.31/1869.40 c #Conflicts: 873000 | #Constraints: 235799
1864.31/1869.40 c #Conflicts: 874000 | #Constraints: 236799
1864.31/1869.40 c #Conflicts: 875000 | #Constraints: 237799
1864.31/1869.40 c #Conflicts: 876000 | #Constraints: 238799
1864.31/1869.40 c #Conflicts: 877000 | #Constraints: 239799
1864.31/1869.40 c #Conflicts: 878000 | #Constraints: 240799
1864.31/1869.40 c #Conflicts: 879000 | #Constraints: 241799
1864.31/1869.40 c #Conflicts: 880000 | #Constraints: 242799
1864.31/1869.40 c #Conflicts: 881000 | #Constraints: 243799
1864.31/1869.40 c #Conflicts: 882000 | #Constraints: 244799
1864.31/1869.40 c #Conflicts: 883000 | #Constraints: 245799
1864.31/1869.40 c #Conflicts: 884000 | #Constraints: 246799
1864.31/1869.40 c INPROCESSING
1864.31/1869.40 c GARBAGE COLLECT
1864.31/1869.40 c #Conflicts: 885000 | #Constraints: 229203
1864.31/1869.40 c #Conflicts: 886000 | #Constraints: 230203
1864.31/1869.40 c #Conflicts: 887000 | #Constraints: 231203
1864.31/1869.40 c #Conflicts: 888000 | #Constraints: 232203
1864.31/1869.40 c #Conflicts: 889000 | #Constraints: 233203
1864.31/1869.40 c #Conflicts: 890000 | #Constraints: 234203
1864.31/1869.40 c #Conflicts: 891000 | #Constraints: 235203
1864.31/1869.40 c #Conflicts: 892000 | #Constraints: 236203
1864.31/1869.40 c #Conflicts: 893000 | #Constraints: 237203
1864.31/1869.40 c #Conflicts: 894000 | #Constraints: 238203
1864.31/1869.40 c #Conflicts: 895000 | #Constraints: 239203
1864.31/1869.40 c #Conflicts: 896000 | #Constraints: 240203
1864.31/1869.40 c #Conflicts: 897000 | #Constraints: 241203
1864.31/1869.40 c #Conflicts: 898000 | #Constraints: 242203
1864.31/1869.40 c #Conflicts: 899000 | #Constraints: 243203
1864.31/1869.40 c #Conflicts: 900000 | #Constraints: 244203
1864.31/1869.40 c #Conflicts: 901000 | #Constraints: 245203
1864.31/1869.40 c #Conflicts: 902000 | #Constraints: 246203
1864.31/1869.40 c #Conflicts: 903000 | #Constraints: 247203
1864.31/1869.40 c INPROCESSING
1864.31/1869.40 c GARBAGE COLLECT
1864.31/1869.40 c #Conflicts: 904000 | #Constraints: 229401
1864.31/1869.40 c #Conflicts: 905000 | #Constraints: 230401
1864.31/1869.40 c #Conflicts: 906000 | #Constraints: 231401
1864.31/1869.40 c #Conflicts: 907000 | #Constraints: 232401
1864.31/1869.40 c #Conflicts: 908000 | #Constraints: 233401
1864.31/1869.40 c #Conflicts: 909000 | #Constraints: 234401
1864.31/1869.40 c #Conflicts: 910000 | #Constraints: 235401
1864.31/1869.40 c #Conflicts: 911000 | #Constraints: 236401
1864.31/1869.40 c #Conflicts: 912000 | #Constraints: 237401
1864.31/1869.40 c #Conflicts: 913000 | #Constraints: 238401
1864.31/1869.40 c #Conflicts: 914000 | #Constraints: 239401
1864.31/1869.40 c #Conflicts: 915000 | #Constraints: 240401
1864.31/1869.40 c #Conflicts: 916000 | #Constraints: 241401
1864.31/1869.40 c #Conflicts: 917000 | #Constraints: 242401
1864.31/1869.40 c #Conflicts: 918000 | #Constraints: 243401
1864.31/1869.40 c #Conflicts: 919000 | #Constraints: 244401
1864.31/1869.40 c #Conflicts: 920000 | #Constraints: 245401
1864.31/1869.40 c #Conflicts: 921000 | #Constraints: 246401
1864.31/1869.40 c #Conflicts: 922000 | #Constraints: 247401
1864.31/1869.40 c INPROCESSING
1864.31/1869.40 c GARBAGE COLLECT
1864.31/1869.40 c #Conflicts: 923000 | #Constraints: 229403
1864.31/1869.40 c #Conflicts: 924000 | #Constraints: 230403
1864.31/1869.40 c #Conflicts: 925000 | #Constraints: 231403
1864.31/1869.40 c #Conflicts: 926000 | #Constraints: 232403
1864.31/1869.40 c #Conflicts: 927000 | #Constraints: 233403
1864.31/1869.40 c #Conflicts: 928000 | #Constraints: 234403
1864.31/1869.40 c #Conflicts: 929000 | #Constraints: 235403
1864.31/1869.40 c #Conflicts: 930000 | #Constraints: 236403
1864.31/1869.40 c #Conflicts: 931000 | #Constraints: 237403
1864.31/1869.40 c #Conflicts: 932000 | #Constraints: 238403
1864.31/1869.40 c #Conflicts: 933000 | #Constraints: 239403
1864.31/1869.40 c #Conflicts: 934000 | #Constraints: 240403
1864.31/1869.40 c #Conflicts: 935000 | #Constraints: 241403
1864.31/1869.40 c #Conflicts: 936000 | #Constraints: 242403
1864.31/1869.40 c #Conflicts: 937000 | #Constraints: 243403
1864.31/1869.40 c #Conflicts: 938000 | #Constraints: 244403
1864.31/1869.40 c #Conflicts: 939000 | #Constraints: 245403
1864.31/1869.40 c #Conflicts: 940000 | #Constraints: 246403
1864.31/1869.40 c #Conflicts: 941000 | #Constraints: 247403
1864.31/1869.40 c INPROCESSING
1864.31/1869.40 c GARBAGE COLLECT
1864.31/1869.40 c #Conflicts: 942000 | #Constraints: 229203
1864.31/1869.40 c #Conflicts: 943000 | #Constraints: 230203
1864.31/1869.40 c #Conflicts: 944000 | #Constraints: 231203
1864.31/1869.40 c #Conflicts: 945000 | #Constraints: 232203
1864.31/1869.40 c #Conflicts: 946000 | #Constraints: 233203
1864.31/1869.40 c #Conflicts: 947000 | #Constraints: 234203
1864.31/1869.40 c #Conflicts: 948000 | #Constraints: 235203
2011.02/2016.48 c #Conflicts: 949000 | #Constraints: 236203
2011.02/2016.48 c #Conflicts: 950000 | #Constraints: 237203
2011.02/2016.48 c #Conflicts: 951000 | #Constraints: 238203
2011.02/2016.48 c #Conflicts: 952000 | #Constraints: 239203
2011.02/2016.48 c #Conflicts: 953000 | #Constraints: 240203
2011.02/2016.48 c #Conflicts: 954000 | #Constraints: 241203
2011.02/2016.48 c #Conflicts: 955000 | #Constraints: 242203
2011.02/2016.48 c #Conflicts: 956000 | #Constraints: 243203
2011.02/2016.48 c #Conflicts: 957000 | #Constraints: 244203
2011.02/2016.48 c #Conflicts: 958000 | #Constraints: 245203
2011.02/2016.48 c #Conflicts: 959000 | #Constraints: 246203
2011.02/2016.48 c #Conflicts: 960000 | #Constraints: 247203
2011.02/2016.48 c #Conflicts: 961000 | #Constraints: 248203
2011.02/2016.48 c INPROCESSING
2011.02/2016.48 c GARBAGE COLLECT
2011.02/2016.48 c #Conflicts: 962000 | #Constraints: 229800
2011.02/2016.48 c #Conflicts: 963000 | #Constraints: 230800
2011.02/2016.48 c #Conflicts: 964000 | #Constraints: 231800
2011.02/2016.48 c #Conflicts: 965000 | #Constraints: 232800
2011.02/2016.48 c #Conflicts: 966000 | #Constraints: 233800
2011.02/2016.48 c #Conflicts: 967000 | #Constraints: 234800
2011.02/2016.48 c #Conflicts: 968000 | #Constraints: 235800
2011.02/2016.48 c #Conflicts: 969000 | #Constraints: 236800
2011.02/2016.48 c #Conflicts: 970000 | #Constraints: 237800
2011.02/2016.48 c #Conflicts: 971000 | #Constraints: 238800
2011.02/2016.48 c #Conflicts: 972000 | #Constraints: 239800
2011.02/2016.48 c #Conflicts: 973000 | #Constraints: 240800
2011.02/2016.48 c #Conflicts: 974000 | #Constraints: 241800
2011.02/2016.48 c #Conflicts: 975000 | #Constraints: 242800
2011.02/2016.48 c #Conflicts: 976000 | #Constraints: 243800
2011.02/2016.48 c #Conflicts: 977000 | #Constraints: 244800
2011.02/2016.48 c #Conflicts: 978000 | #Constraints: 245800
2011.02/2016.48 c #Conflicts: 979000 | #Constraints: 246800
2011.02/2016.48 c #Conflicts: 980000 | #Constraints: 247800
2011.02/2016.48 c #Conflicts: 981000 | #Constraints: 248800
2011.02/2016.48 c INPROCESSING
2011.02/2016.48 c GARBAGE COLLECT
2011.02/2016.48 c #Conflicts: 982000 | #Constraints: 230198
2011.02/2016.48 c #Conflicts: 983000 | #Constraints: 231198
2011.02/2016.48 c #Conflicts: 984000 | #Constraints: 232198
2011.02/2016.48 c #Conflicts: 985000 | #Constraints: 233198
2011.02/2016.48 c #Conflicts: 986000 | #Constraints: 234198
2011.02/2016.48 c #Conflicts: 987000 | #Constraints: 235198
2011.02/2016.48 c #Conflicts: 988000 | #Constraints: 236198
2011.02/2016.48 c #Conflicts: 989000 | #Constraints: 237198
2011.02/2016.48 c #Conflicts: 990000 | #Constraints: 238198
2011.02/2016.48 c #Conflicts: 991000 | #Constraints: 239198
2011.02/2016.48 c #Conflicts: 992000 | #Constraints: 240198
2011.02/2016.48 c #Conflicts: 993000 | #Constraints: 241198
2011.02/2016.48 c #Conflicts: 994000 | #Constraints: 242198
2011.02/2016.48 c #Conflicts: 995000 | #Constraints: 243198
2011.02/2016.48 c #Conflicts: 996000 | #Constraints: 244198
2011.02/2016.48 c #Conflicts: 997000 | #Constraints: 245198
2011.02/2016.48 c #Conflicts: 998000 | #Constraints: 246198
2011.02/2016.48 c #Conflicts: 999000 | #Constraints: 247198
2011.02/2016.48 c #Conflicts: 1000000 | #Constraints: 248198
2011.02/2016.48 c #Conflicts: 1001000 | #Constraints: 249198
2011.02/2016.48 c INPROCESSING
2011.02/2016.48 c GARBAGE COLLECT
2011.02/2016.48 c #Conflicts: 1002000 | #Constraints: 230402
2011.02/2016.48 c #Conflicts: 1003000 | #Constraints: 231402
2011.02/2016.48 c #Conflicts: 1004000 | #Constraints: 232402
2011.02/2016.48 c #Conflicts: 1005000 | #Constraints: 233402
2011.02/2016.48 c #Conflicts: 1006000 | #Constraints: 234402
2011.02/2016.48 c #Conflicts: 1007000 | #Constraints: 235402
2011.02/2016.48 c #Conflicts: 1008000 | #Constraints: 236402
2011.02/2016.48 c #Conflicts: 1009000 | #Constraints: 237402
2011.02/2016.48 c #Conflicts: 1010000 | #Constraints: 238402
2011.02/2016.48 c #Conflicts: 1011000 | #Constraints: 239402
2011.02/2016.48 c #Conflicts: 1012000 | #Constraints: 240402
2011.02/2016.48 c #Conflicts: 1013000 | #Constraints: 241402
2011.02/2016.48 c #Conflicts: 1014000 | #Constraints: 242402
2011.02/2016.48 c #Conflicts: 1015000 | #Constraints: 243402
2011.02/2016.48 c #Conflicts: 1016000 | #Constraints: 244402
2011.02/2016.48 c #Conflicts: 1017000 | #Constraints: 245402
2011.02/2016.48 c #Conflicts: 1018000 | #Constraints: 246402
2011.02/2016.48 c #Conflicts: 1019000 | #Constraints: 247402
2011.02/2016.48 c #Conflicts: 1020000 | #Constraints: 248402
2011.02/2016.48 c #Conflicts: 1021000 | #Constraints: 249402
2011.02/2016.48 c INPROCESSING
2011.02/2016.48 c GARBAGE COLLECT
2011.02/2016.48 c #Conflicts: 1022000 | #Constraints: 230406
2011.02/2016.48 c #Conflicts: 1023000 | #Constraints: 231406
2011.02/2016.48 c #Conflicts: 1024000 | #Constraints: 232406
2151.34/2157.11 c #Conflicts: 1025000 | #Constraints: 233406
2151.34/2157.11 c #Conflicts: 1026000 | #Constraints: 234406
2151.34/2157.11 c #Conflicts: 1027000 | #Constraints: 235406
2151.34/2157.11 c #Conflicts: 1028000 | #Constraints: 236406
2151.34/2157.11 c #Conflicts: 1029000 | #Constraints: 237406
2151.34/2157.11 c #Conflicts: 1030000 | #Constraints: 238406
2151.34/2157.11 c #Conflicts: 1031000 | #Constraints: 239406
2151.34/2157.11 c #Conflicts: 1032000 | #Constraints: 240406
2151.34/2157.11 c #Conflicts: 1033000 | #Constraints: 241406
2151.34/2157.11 c #Conflicts: 1034000 | #Constraints: 242406
2151.34/2157.11 c #Conflicts: 1035000 | #Constraints: 243406
2151.34/2157.11 c #Conflicts: 1036000 | #Constraints: 244406
2151.34/2157.11 c #Conflicts: 1037000 | #Constraints: 245406
2151.34/2157.11 c #Conflicts: 1038000 | #Constraints: 246406
2151.34/2157.11 c #Conflicts: 1039000 | #Constraints: 247406
2151.34/2157.11 c #Conflicts: 1040000 | #Constraints: 248406
2151.34/2157.11 c #Conflicts: 1041000 | #Constraints: 249406
2151.34/2157.11 c INPROCESSING
2151.34/2157.11 c GARBAGE COLLECT
2151.34/2157.11 c #Conflicts: 1042000 | #Constraints: 230205
2151.34/2157.11 c #Conflicts: 1043000 | #Constraints: 231205
2151.34/2157.11 c #Conflicts: 1044000 | #Constraints: 232205
2151.34/2157.11 c #Conflicts: 1045000 | #Constraints: 233205
2151.34/2157.11 c #Conflicts: 1046000 | #Constraints: 234205
2151.34/2157.11 c #Conflicts: 1047000 | #Constraints: 235205
2151.34/2157.11 c #Conflicts: 1048000 | #Constraints: 236205
2151.34/2157.11 c #Conflicts: 1049000 | #Constraints: 237205
2151.34/2157.11 c #Conflicts: 1050000 | #Constraints: 238205
2151.34/2157.11 c #Conflicts: 1051000 | #Constraints: 239205
2151.34/2157.11 c #Conflicts: 1052000 | #Constraints: 240205
2151.34/2157.11 c #Conflicts: 1053000 | #Constraints: 241205
2151.34/2157.11 c #Conflicts: 1054000 | #Constraints: 242205
2151.34/2157.11 c #Conflicts: 1055000 | #Constraints: 243205
2151.34/2157.11 c #Conflicts: 1056000 | #Constraints: 244205
2151.34/2157.11 c #Conflicts: 1057000 | #Constraints: 245205
2151.34/2157.11 c #Conflicts: 1058000 | #Constraints: 246205
2151.34/2157.11 c #Conflicts: 1059000 | #Constraints: 247205
2151.34/2157.11 c #Conflicts: 1060000 | #Constraints: 248205
2151.34/2157.11 c #Conflicts: 1061000 | #Constraints: 249205
2151.34/2157.11 c #Conflicts: 1062000 | #Constraints: 250205
2151.34/2157.11 c INPROCESSING
2151.34/2157.11 c GARBAGE COLLECT
2151.34/2157.11 c #Conflicts: 1063000 | #Constraints: 230806
2151.34/2157.11 c #Conflicts: 1064000 | #Constraints: 231806
2151.34/2157.11 c #Conflicts: 1065000 | #Constraints: 232806
2151.34/2157.11 c #Conflicts: 1066000 | #Constraints: 233806
2151.34/2157.11 c #Conflicts: 1067000 | #Constraints: 234806
2151.34/2157.11 c #Conflicts: 1068000 | #Constraints: 235806
2151.34/2157.11 c #Conflicts: 1069000 | #Constraints: 236806
2151.34/2157.11 c #Conflicts: 1070000 | #Constraints: 237806
2151.34/2157.11 c #Conflicts: 1071000 | #Constraints: 238806
2151.34/2157.11 c #Conflicts: 1072000 | #Constraints: 239806
2151.34/2157.11 c #Conflicts: 1073000 | #Constraints: 240806
2151.34/2157.11 c #Conflicts: 1074000 | #Constraints: 241806
2151.34/2157.11 c #Conflicts: 1075000 | #Constraints: 242806
2151.34/2157.11 c #Conflicts: 1076000 | #Constraints: 243806
2151.34/2157.11 c #Conflicts: 1077000 | #Constraints: 244806
2151.34/2157.11 c #Conflicts: 1078000 | #Constraints: 245806
2151.34/2157.11 c #Conflicts: 1079000 | #Constraints: 246806
2151.34/2157.11 c #Conflicts: 1080000 | #Constraints: 247806
2151.34/2157.11 c #Conflicts: 1081000 | #Constraints: 248806
2151.34/2157.11 c #Conflicts: 1082000 | #Constraints: 249806
2151.34/2157.11 c #Conflicts: 1083000 | #Constraints: 250806
2151.34/2157.11 c INPROCESSING
2151.34/2157.11 c GARBAGE COLLECT
2151.34/2157.11 c #Conflicts: 1084000 | #Constraints: 231208
2151.34/2157.11 c #Conflicts: 1085000 | #Constraints: 232208
2151.34/2157.11 c #Conflicts: 1086000 | #Constraints: 233208
2151.34/2157.11 c #Conflicts: 1087000 | #Constraints: 234208
2151.34/2157.11 c #Conflicts: 1088000 | #Constraints: 235208
2151.34/2157.11 c #Conflicts: 1089000 | #Constraints: 236208
2151.34/2157.11 c #Conflicts: 1090000 | #Constraints: 237208
2151.34/2157.11 c #Conflicts: 1091000 | #Constraints: 238208
2151.34/2157.11 c #Conflicts: 1092000 | #Constraints: 239208
2151.34/2157.11 c #Conflicts: 1093000 | #Constraints: 240208
2151.34/2157.11 c #Conflicts: 1094000 | #Constraints: 241208
2151.34/2157.11 c #Conflicts: 1095000 | #Constraints: 242208
2151.34/2157.11 c #Conflicts: 1096000 | #Constraints: 243208
2151.34/2157.11 c #Conflicts: 1097000 | #Constraints: 244208
2151.34/2157.11 c #Conflicts: 1098000 | #Constraints: 245208
2151.34/2157.11 c #Conflicts: 1099000 | #Constraints: 246208
2151.34/2157.11 c #Conflicts: 1100000 | #Constraints: 247208
2151.34/2157.11 c #Conflicts: 1101000 | #Constraints: 248208
2274.88/2281.03 c #Conflicts: 1102000 | #Constraints: 249208
2274.88/2281.03 c #Conflicts: 1103000 | #Constraints: 250208
2274.88/2281.03 c #Conflicts: 1104000 | #Constraints: 251208
2274.88/2281.03 c INPROCESSING
2274.88/2281.03 c GARBAGE COLLECT
2274.88/2281.03 c #Conflicts: 1105000 | #Constraints: 231404
2274.88/2281.03 c #Conflicts: 1106000 | #Constraints: 232404
2274.88/2281.03 c #Conflicts: 1107000 | #Constraints: 233404
2274.88/2281.03 c #Conflicts: 1108000 | #Constraints: 234404
2274.88/2281.03 c #Conflicts: 1109000 | #Constraints: 235404
2274.88/2281.03 c #Conflicts: 1110000 | #Constraints: 236404
2274.88/2281.03 c #Conflicts: 1111000 | #Constraints: 237404
2274.88/2281.03 c #Conflicts: 1112000 | #Constraints: 238404
2274.88/2281.03 c #Conflicts: 1113000 | #Constraints: 239404
2274.88/2281.03 c #Conflicts: 1114000 | #Constraints: 240404
2274.88/2281.03 c #Conflicts: 1115000 | #Constraints: 241404
2274.88/2281.03 c #Conflicts: 1116000 | #Constraints: 242404
2274.88/2281.03 c #Conflicts: 1117000 | #Constraints: 243404
2274.88/2281.03 c #Conflicts: 1118000 | #Constraints: 244404
2274.88/2281.03 c #Conflicts: 1119000 | #Constraints: 245404
2274.88/2281.03 c #Conflicts: 1120000 | #Constraints: 246404
2274.88/2281.03 c #Conflicts: 1121000 | #Constraints: 247404
2274.88/2281.03 c #Conflicts: 1122000 | #Constraints: 248404
2274.88/2281.03 c #Conflicts: 1123000 | #Constraints: 249404
2274.88/2281.03 c #Conflicts: 1124000 | #Constraints: 250404
2274.88/2281.03 c #Conflicts: 1125000 | #Constraints: 251404
2274.88/2281.03 c INPROCESSING
2274.88/2281.03 c GARBAGE COLLECT
2274.88/2281.03 c #Conflicts: 1126000 | #Constraints: 231402
2274.88/2281.03 c #Conflicts: 1127000 | #Constraints: 232402
2274.88/2281.03 c #Conflicts: 1128000 | #Constraints: 233402
2274.88/2281.03 c #Conflicts: 1129000 | #Constraints: 234402
2274.88/2281.03 c #Conflicts: 1130000 | #Constraints: 235402
2274.88/2281.03 c #Conflicts: 1131000 | #Constraints: 236402
2274.88/2281.03 c #Conflicts: 1132000 | #Constraints: 237402
2274.88/2281.03 c #Conflicts: 1133000 | #Constraints: 238402
2274.88/2281.03 c #Conflicts: 1134000 | #Constraints: 239402
2274.88/2281.03 c #Conflicts: 1135000 | #Constraints: 240402
2274.88/2281.03 c #Conflicts: 1136000 | #Constraints: 241402
2274.88/2281.03 c #Conflicts: 1137000 | #Constraints: 242402
2274.88/2281.03 c #Conflicts: 1138000 | #Constraints: 243402
2274.88/2281.03 c #Conflicts: 1139000 | #Constraints: 244402
2274.88/2281.03 c #Conflicts: 1140000 | #Constraints: 245402
2274.88/2281.03 c #Conflicts: 1141000 | #Constraints: 246402
2274.88/2281.03 c #Conflicts: 1142000 | #Constraints: 247402
2274.88/2281.03 c #Conflicts: 1143000 | #Constraints: 248402
2274.88/2281.03 c #Conflicts: 1144000 | #Constraints: 249402
2274.88/2281.03 c #Conflicts: 1145000 | #Constraints: 250402
2274.88/2281.03 c #Conflicts: 1146000 | #Constraints: 251402
2274.88/2281.03 c INPROCESSING
2274.88/2281.03 c GARBAGE COLLECT
2274.88/2281.03 c #Conflicts: 1147000 | #Constraints: 231200
2274.88/2281.03 c #Conflicts: 1148000 | #Constraints: 232200
2274.88/2281.03 c #Conflicts: 1149000 | #Constraints: 233200
2274.88/2281.03 c #Conflicts: 1150000 | #Constraints: 234200
2274.88/2281.03 c #Conflicts: 1151000 | #Constraints: 235200
2274.88/2281.03 c #Conflicts: 1152000 | #Constraints: 236200
2274.88/2281.03 c #Conflicts: 1153000 | #Constraints: 237200
2274.88/2281.03 c #Conflicts: 1154000 | #Constraints: 238200
2274.88/2281.03 c #Conflicts: 1155000 | #Constraints: 239200
2274.88/2281.03 c #Conflicts: 1156000 | #Constraints: 240200
2274.88/2281.03 c #Conflicts: 1157000 | #Constraints: 241200
2274.88/2281.03 c #Conflicts: 1158000 | #Constraints: 242200
2274.88/2281.03 c #Conflicts: 1159000 | #Constraints: 243200
2274.88/2281.03 c #Conflicts: 1160000 | #Constraints: 244200
2274.88/2281.03 c #Conflicts: 1161000 | #Constraints: 245200
2274.88/2281.03 c #Conflicts: 1162000 | #Constraints: 246200
2274.88/2281.03 c #Conflicts: 1163000 | #Constraints: 247200
2274.88/2281.03 c #Conflicts: 1164000 | #Constraints: 248200
2274.88/2281.03 c #Conflicts: 1165000 | #Constraints: 249200
2274.88/2281.03 c #Conflicts: 1166000 | #Constraints: 250200
2274.88/2281.03 c #Conflicts: 1167000 | #Constraints: 251200
2274.88/2281.03 c #Conflicts: 1168000 | #Constraints: 252200
2274.88/2281.03 c INPROCESSING
2274.88/2281.03 c GARBAGE COLLECT
2274.88/2281.03 c #Conflicts: 1169000 | #Constraints: 231802
2274.88/2281.03 c #Conflicts: 1170000 | #Constraints: 232802
2274.88/2281.03 c #Conflicts: 1171000 | #Constraints: 233802
2274.88/2281.03 c #Conflicts: 1172000 | #Constraints: 234802
2274.88/2281.03 c #Conflicts: 1173000 | #Constraints: 235802
2274.88/2281.03 c #Conflicts: 1174000 | #Constraints: 236802
2274.88/2281.03 c #Conflicts: 1175000 | #Constraints: 237802
2274.88/2281.03 c #Conflicts: 1176000 | #Constraints: 238802
2274.88/2281.03 c #Conflicts: 1177000 | #Constraints: 239802
2416.46/2423.09 c #Conflicts: 1178000 | #Constraints: 240802
2416.46/2423.09 c #Conflicts: 1179000 | #Constraints: 241802
2416.46/2423.09 c #Conflicts: 1180000 | #Constraints: 242802
2416.46/2423.09 c #Conflicts: 1181000 | #Constraints: 243802
2416.46/2423.09 c #Conflicts: 1182000 | #Constraints: 244802
2416.46/2423.09 c #Conflicts: 1183000 | #Constraints: 245802
2416.46/2423.09 c #Conflicts: 1184000 | #Constraints: 246802
2416.46/2423.09 c #Conflicts: 1185000 | #Constraints: 247802
2416.46/2423.09 c #Conflicts: 1186000 | #Constraints: 248802
2416.46/2423.09 c #Conflicts: 1187000 | #Constraints: 249802
2416.46/2423.09 c #Conflicts: 1188000 | #Constraints: 250802
2416.46/2423.09 c #Conflicts: 1189000 | #Constraints: 251802
2416.46/2423.09 c #Conflicts: 1190000 | #Constraints: 252802
2416.46/2423.09 c INPROCESSING
2416.46/2423.09 c GARBAGE COLLECT
2416.46/2423.09 c #Conflicts: 1191000 | #Constraints: 232200
2416.46/2423.09 c #Conflicts: 1192000 | #Constraints: 233200
2416.46/2423.09 c #Conflicts: 1193000 | #Constraints: 234200
2416.46/2423.09 c #Conflicts: 1194000 | #Constraints: 235200
2416.46/2423.09 c #Conflicts: 1195000 | #Constraints: 236200
2416.46/2423.09 c #Conflicts: 1196000 | #Constraints: 237200
2416.46/2423.09 c #Conflicts: 1197000 | #Constraints: 238200
2416.46/2423.09 c #Conflicts: 1198000 | #Constraints: 239200
2416.46/2423.09 c #Conflicts: 1199000 | #Constraints: 240200
2416.46/2423.09 c #Conflicts: 1200000 | #Constraints: 241200
2416.46/2423.09 c #Conflicts: 1201000 | #Constraints: 242200
2416.46/2423.09 c #Conflicts: 1202000 | #Constraints: 243200
2416.46/2423.09 c #Conflicts: 1203000 | #Constraints: 244200
2416.46/2423.09 c #Conflicts: 1204000 | #Constraints: 245200
2416.46/2423.09 c #Conflicts: 1205000 | #Constraints: 246200
2416.46/2423.09 c #Conflicts: 1206000 | #Constraints: 247200
2416.46/2423.09 c #Conflicts: 1207000 | #Constraints: 248200
2416.46/2423.09 c #Conflicts: 1208000 | #Constraints: 249200
2416.46/2423.09 c #Conflicts: 1209000 | #Constraints: 250200
2416.46/2423.09 c #Conflicts: 1210000 | #Constraints: 251200
2416.46/2423.09 c #Conflicts: 1211000 | #Constraints: 252200
2416.46/2423.09 c #Conflicts: 1212000 | #Constraints: 253200
2416.46/2423.09 c INPROCESSING
2416.46/2423.09 c GARBAGE COLLECT
2416.46/2423.09 c #Conflicts: 1213000 | #Constraints: 232398
2416.46/2423.09 c #Conflicts: 1214000 | #Constraints: 233398
2416.46/2423.09 c #Conflicts: 1215000 | #Constraints: 234398
2416.46/2423.09 c #Conflicts: 1216000 | #Constraints: 235398
2416.46/2423.09 c #Conflicts: 1217000 | #Constraints: 236398
2416.46/2423.09 c #Conflicts: 1218000 | #Constraints: 237398
2416.46/2423.09 c #Conflicts: 1219000 | #Constraints: 238398
2416.46/2423.09 c #Conflicts: 1220000 | #Constraints: 239398
2416.46/2423.09 c #Conflicts: 1221000 | #Constraints: 240398
2416.46/2423.09 c #Conflicts: 1222000 | #Constraints: 241398
2416.46/2423.09 c #Conflicts: 1223000 | #Constraints: 242398
2416.46/2423.09 c #Conflicts: 1224000 | #Constraints: 243398
2416.46/2423.09 c #Conflicts: 1225000 | #Constraints: 244398
2416.46/2423.09 c #Conflicts: 1226000 | #Constraints: 245398
2416.46/2423.09 c #Conflicts: 1227000 | #Constraints: 246398
2416.46/2423.09 c #Conflicts: 1228000 | #Constraints: 247398
2416.46/2423.09 c #Conflicts: 1229000 | #Constraints: 248398
2416.46/2423.09 c #Conflicts: 1230000 | #Constraints: 249398
2416.46/2423.09 c #Conflicts: 1231000 | #Constraints: 250398
2416.46/2423.09 c #Conflicts: 1232000 | #Constraints: 251398
2416.46/2423.09 c #Conflicts: 1233000 | #Constraints: 252398
2416.46/2423.09 c #Conflicts: 1234000 | #Constraints: 253398
2416.46/2423.09 c INPROCESSING
2416.46/2423.09 c GARBAGE COLLECT
2416.46/2423.09 c #Conflicts: 1235000 | #Constraints: 232403
2416.46/2423.09 c #Conflicts: 1236000 | #Constraints: 233403
2416.46/2423.09 c #Conflicts: 1237000 | #Constraints: 234403
2416.46/2423.09 c #Conflicts: 1238000 | #Constraints: 235403
2416.46/2423.09 c #Conflicts: 1239000 | #Constraints: 236403
2416.46/2423.09 c #Conflicts: 1240000 | #Constraints: 237403
2416.46/2423.09 c #Conflicts: 1241000 | #Constraints: 238403
2416.46/2423.09 c #Conflicts: 1242000 | #Constraints: 239403
2416.46/2423.09 c #Conflicts: 1243000 | #Constraints: 240403
2416.46/2423.09 c #Conflicts: 1244000 | #Constraints: 241403
2416.46/2423.09 c #Conflicts: 1245000 | #Constraints: 242403
2416.46/2423.09 c #Conflicts: 1246000 | #Constraints: 243403
2416.46/2423.09 c #Conflicts: 1247000 | #Constraints: 244403
2416.46/2423.09 c #Conflicts: 1248000 | #Constraints: 245403
2416.46/2423.09 c #Conflicts: 1249000 | #Constraints: 246403
2416.46/2423.09 c #Conflicts: 1250000 | #Constraints: 247403
2416.46/2423.09 c #Conflicts: 1251000 | #Constraints: 248403
2416.46/2423.09 c #Conflicts: 1252000 | #Constraints: 249403
2416.46/2423.09 c #Conflicts: 1253000 | #Constraints: 250403
2416.46/2423.09 c #Conflicts: 1254000 | #Constraints: 251403
2558.35/2565.32 c #Conflicts: 1255000 | #Constraints: 252403
2558.35/2565.32 c #Conflicts: 1256000 | #Constraints: 253403
2558.35/2565.32 c INPROCESSING
2558.35/2565.32 c GARBAGE COLLECT
2558.35/2565.32 c #Conflicts: 1257000 | #Constraints: 232202
2558.35/2565.32 c #Conflicts: 1258000 | #Constraints: 233202
2558.35/2565.32 c #Conflicts: 1259000 | #Constraints: 234202
2558.35/2565.32 c #Conflicts: 1260000 | #Constraints: 235202
2558.35/2565.32 c #Conflicts: 1261000 | #Constraints: 236202
2558.35/2565.32 c #Conflicts: 1262000 | #Constraints: 237202
2558.35/2565.32 c #Conflicts: 1263000 | #Constraints: 238202
2558.35/2565.32 c #Conflicts: 1264000 | #Constraints: 239202
2558.35/2565.32 c #Conflicts: 1265000 | #Constraints: 240202
2558.35/2565.32 c #Conflicts: 1266000 | #Constraints: 241202
2558.35/2565.32 c #Conflicts: 1267000 | #Constraints: 242202
2558.35/2565.32 c #Conflicts: 1268000 | #Constraints: 243202
2558.35/2565.32 c #Conflicts: 1269000 | #Constraints: 244202
2558.35/2565.32 c #Conflicts: 1270000 | #Constraints: 245202
2558.35/2565.32 c #Conflicts: 1271000 | #Constraints: 246202
2558.35/2565.32 c #Conflicts: 1272000 | #Constraints: 247202
2558.35/2565.32 c #Conflicts: 1273000 | #Constraints: 248202
2558.35/2565.32 c #Conflicts: 1274000 | #Constraints: 249202
2558.35/2565.32 c #Conflicts: 1275000 | #Constraints: 250202
2558.35/2565.32 c #Conflicts: 1276000 | #Constraints: 251202
2558.35/2565.32 c #Conflicts: 1277000 | #Constraints: 252202
2558.35/2565.32 c #Conflicts: 1278000 | #Constraints: 253202
2558.35/2565.32 c #Conflicts: 1279000 | #Constraints: 254202
2558.35/2565.32 c INPROCESSING
2558.35/2565.32 c GARBAGE COLLECT
2558.35/2565.32 c #Conflicts: 1280000 | #Constraints: 232800
2558.35/2565.32 c #Conflicts: 1281000 | #Constraints: 233800
2558.35/2565.32 c #Conflicts: 1282000 | #Constraints: 234800
2558.35/2565.32 c #Conflicts: 1283000 | #Constraints: 235800
2558.35/2565.32 c #Conflicts: 1284000 | #Constraints: 236800
2558.35/2565.32 c #Conflicts: 1285000 | #Constraints: 237800
2558.35/2565.32 c #Conflicts: 1286000 | #Constraints: 238800
2558.35/2565.32 c #Conflicts: 1287000 | #Constraints: 239800
2558.35/2565.32 c #Conflicts: 1288000 | #Constraints: 240800
2558.35/2565.32 c #Conflicts: 1289000 | #Constraints: 241800
2558.35/2565.32 c #Conflicts: 1290000 | #Constraints: 242800
2558.35/2565.32 c #Conflicts: 1291000 | #Constraints: 243800
2558.35/2565.32 c #Conflicts: 1292000 | #Constraints: 244800
2558.35/2565.32 c #Conflicts: 1293000 | #Constraints: 245800
2558.35/2565.32 c #Conflicts: 1294000 | #Constraints: 246800
2558.35/2565.32 c #Conflicts: 1295000 | #Constraints: 247800
2558.35/2565.32 c #Conflicts: 1296000 | #Constraints: 248800
2558.35/2565.32 c #Conflicts: 1297000 | #Constraints: 249800
2558.35/2565.32 c #Conflicts: 1298000 | #Constraints: 250800
2558.35/2565.32 c #Conflicts: 1299000 | #Constraints: 251800
2558.35/2565.32 c #Conflicts: 1300000 | #Constraints: 252800
2558.35/2565.32 c #Conflicts: 1301000 | #Constraints: 253800
2558.35/2565.32 c #Conflicts: 1302000 | #Constraints: 254800
2558.35/2565.32 c INPROCESSING
2558.35/2565.32 c GARBAGE COLLECT
2558.35/2565.32 c #Conflicts: 1303000 | #Constraints: 233195
2558.35/2565.32 c #Conflicts: 1304000 | #Constraints: 234195
2558.35/2565.32 c #Conflicts: 1305000 | #Constraints: 235195
2558.35/2565.32 c #Conflicts: 1306000 | #Constraints: 236195
2558.35/2565.32 c #Conflicts: 1307000 | #Constraints: 237195
2558.35/2565.32 c #Conflicts: 1308000 | #Constraints: 238195
2558.35/2565.32 c #Conflicts: 1309000 | #Constraints: 239195
2558.35/2565.32 c #Conflicts: 1310000 | #Constraints: 240195
2558.35/2565.32 c #Conflicts: 1311000 | #Constraints: 241195
2558.35/2565.32 c #Conflicts: 1312000 | #Constraints: 242195
2558.35/2565.32 c #Conflicts: 1313000 | #Constraints: 243195
2558.35/2565.32 c #Conflicts: 1314000 | #Constraints: 244195
2558.35/2565.32 c #Conflicts: 1315000 | #Constraints: 245195
2558.35/2565.32 c #Conflicts: 1316000 | #Constraints: 246195
2558.35/2565.32 c #Conflicts: 1317000 | #Constraints: 247195
2558.35/2565.32 c #Conflicts: 1318000 | #Constraints: 248195
2558.35/2565.32 c #Conflicts: 1319000 | #Constraints: 249195
2558.35/2565.32 c #Conflicts: 1320000 | #Constraints: 250195
2558.35/2565.32 c #Conflicts: 1321000 | #Constraints: 251195
2558.35/2565.32 c #Conflicts: 1322000 | #Constraints: 252195
2558.35/2565.32 c #Conflicts: 1323000 | #Constraints: 253195
2558.35/2565.32 c #Conflicts: 1324000 | #Constraints: 254195
2558.35/2565.32 c #Conflicts: 1325000 | #Constraints: 255195
2558.35/2565.32 c INPROCESSING
2558.35/2565.32 c GARBAGE COLLECT
2558.35/2565.32 c #Conflicts: 1326000 | #Constraints: 233402
2558.35/2565.32 c #Conflicts: 1327000 | #Constraints: 234402
2558.35/2565.32 c #Conflicts: 1328000 | #Constraints: 235402
2558.35/2565.32 c #Conflicts: 1329000 | #Constraints: 236402
2558.35/2565.32 c #Conflicts: 1330000 | #Constraints: 237402
2711.21/2718.63 c #Conflicts: 1331000 | #Constraints: 238402
2711.21/2718.63 c #Conflicts: 1332000 | #Constraints: 239402
2711.21/2718.63 c #Conflicts: 1333000 | #Constraints: 240402
2711.21/2718.63 c #Conflicts: 1334000 | #Constraints: 241402
2711.21/2718.63 c #Conflicts: 1335000 | #Constraints: 242402
2711.21/2718.63 c #Conflicts: 1336000 | #Constraints: 243402
2711.21/2718.63 c #Conflicts: 1337000 | #Constraints: 244402
2711.21/2718.63 c #Conflicts: 1338000 | #Constraints: 245402
2711.21/2718.63 c #Conflicts: 1339000 | #Constraints: 246402
2711.21/2718.63 c #Conflicts: 1340000 | #Constraints: 247402
2711.21/2718.63 c #Conflicts: 1341000 | #Constraints: 248402
2711.21/2718.63 c #Conflicts: 1342000 | #Constraints: 249402
2711.21/2718.63 c #Conflicts: 1343000 | #Constraints: 250402
2711.21/2718.63 c #Conflicts: 1344000 | #Constraints: 251402
2711.21/2718.63 c #Conflicts: 1345000 | #Constraints: 252402
2711.21/2718.63 c #Conflicts: 1346000 | #Constraints: 253402
2711.21/2718.63 c #Conflicts: 1347000 | #Constraints: 254402
2711.21/2718.63 c #Conflicts: 1348000 | #Constraints: 255402
2711.21/2718.63 c INPROCESSING
2711.21/2718.63 c GARBAGE COLLECT
2711.21/2718.63 c #Conflicts: 1349000 | #Constraints: 233402
2711.21/2718.63 c #Conflicts: 1350000 | #Constraints: 234402
2711.21/2718.63 c #Conflicts: 1351000 | #Constraints: 235402
2711.21/2718.63 c #Conflicts: 1352000 | #Constraints: 236402
2711.21/2718.63 c #Conflicts: 1353000 | #Constraints: 237402
2711.21/2718.63 c #Conflicts: 1354000 | #Constraints: 238402
2711.21/2718.63 c #Conflicts: 1355000 | #Constraints: 239402
2711.21/2718.63 c #Conflicts: 1356000 | #Constraints: 240402
2711.21/2718.63 c #Conflicts: 1357000 | #Constraints: 241402
2711.21/2718.63 c #Conflicts: 1358000 | #Constraints: 242402
2711.21/2718.63 c #Conflicts: 1359000 | #Constraints: 243402
2711.21/2718.63 c #Conflicts: 1360000 | #Constraints: 244402
2711.21/2718.63 c #Conflicts: 1361000 | #Constraints: 245402
2711.21/2718.63 c #Conflicts: 1362000 | #Constraints: 246402
2711.21/2718.63 c #Conflicts: 1363000 | #Constraints: 247402
2711.21/2718.63 c #Conflicts: 1364000 | #Constraints: 248402
2711.21/2718.63 c #Conflicts: 1365000 | #Constraints: 249402
2711.21/2718.63 c #Conflicts: 1366000 | #Constraints: 250402
2711.21/2718.63 c #Conflicts: 1367000 | #Constraints: 251402
2711.21/2718.63 c #Conflicts: 1368000 | #Constraints: 252402
2711.21/2718.63 c #Conflicts: 1369000 | #Constraints: 253402
2711.21/2718.63 c #Conflicts: 1370000 | #Constraints: 254402
2711.21/2718.63 c #Conflicts: 1371000 | #Constraints: 255402
2711.21/2718.63 c INPROCESSING
2711.21/2718.63 c GARBAGE COLLECT
2711.21/2718.63 c #Conflicts: 1372000 | #Constraints: 233203
2711.21/2718.63 c #Conflicts: 1373000 | #Constraints: 234203
2711.21/2718.63 c #Conflicts: 1374000 | #Constraints: 235203
2711.21/2718.63 c #Conflicts: 1375000 | #Constraints: 236203
2711.21/2718.63 c #Conflicts: 1376000 | #Constraints: 237203
2711.21/2718.63 c #Conflicts: 1377000 | #Constraints: 238203
2711.21/2718.63 c #Conflicts: 1378000 | #Constraints: 239203
2711.21/2718.63 c #Conflicts: 1379000 | #Constraints: 240203
2711.21/2718.63 c #Conflicts: 1380000 | #Constraints: 241203
2711.21/2718.63 c #Conflicts: 1381000 | #Constraints: 242203
2711.21/2718.63 c #Conflicts: 1382000 | #Constraints: 243203
2711.21/2718.63 c #Conflicts: 1383000 | #Constraints: 244203
2711.21/2718.63 c #Conflicts: 1384000 | #Constraints: 245203
2711.21/2718.63 c #Conflicts: 1385000 | #Constraints: 246203
2711.21/2718.63 c #Conflicts: 1386000 | #Constraints: 247203
2711.21/2718.63 c #Conflicts: 1387000 | #Constraints: 248203
2711.21/2718.63 c #Conflicts: 1388000 | #Constraints: 249203
2711.21/2718.63 c #Conflicts: 1389000 | #Constraints: 250203
2711.21/2718.63 c #Conflicts: 1390000 | #Constraints: 251203
2711.21/2718.63 c #Conflicts: 1391000 | #Constraints: 252203
2711.21/2718.63 c #Conflicts: 1392000 | #Constraints: 253203
2711.21/2718.63 c #Conflicts: 1393000 | #Constraints: 254203
2711.21/2718.63 c #Conflicts: 1394000 | #Constraints: 255203
2711.21/2718.63 c #Conflicts: 1395000 | #Constraints: 256203
2711.21/2718.63 c INPROCESSING
2711.21/2718.63 c GARBAGE COLLECT
2711.21/2718.63 c #Conflicts: 1396000 | #Constraints: 233801
2711.21/2718.63 c #Conflicts: 1397000 | #Constraints: 234801
2711.21/2718.63 c #Conflicts: 1398000 | #Constraints: 235801
2711.21/2718.63 c #Conflicts: 1399000 | #Constraints: 236801
2711.21/2718.63 c #Conflicts: 1400000 | #Constraints: 237801
2711.21/2718.63 c #Conflicts: 1401000 | #Constraints: 238801
2711.21/2718.63 c #Conflicts: 1402000 | #Constraints: 239801
2711.21/2718.63 c #Conflicts: 1403000 | #Constraints: 240801
2711.21/2718.63 c #Conflicts: 1404000 | #Constraints: 241801
2711.21/2718.63 c #Conflicts: 1405000 | #Constraints: 242801
2711.21/2718.63 c #Conflicts: 1406000 | #Constraints: 243801
2711.21/2718.63 c #Conflicts: 1407000 | #Constraints: 244801
2868.16/2876.04 c #Conflicts: 1408000 | #Constraints: 245801
2868.16/2876.04 c #Conflicts: 1409000 | #Constraints: 246801
2868.16/2876.04 c #Conflicts: 1410000 | #Constraints: 247801
2868.16/2876.04 c #Conflicts: 1411000 | #Constraints: 248801
2868.16/2876.04 c #Conflicts: 1412000 | #Constraints: 249801
2868.16/2876.04 c #Conflicts: 1413000 | #Constraints: 250801
2868.16/2876.04 c #Conflicts: 1414000 | #Constraints: 251801
2868.16/2876.04 c #Conflicts: 1415000 | #Constraints: 252801
2868.16/2876.04 c #Conflicts: 1416000 | #Constraints: 253801
2868.16/2876.04 c #Conflicts: 1417000 | #Constraints: 254801
2868.16/2876.04 c #Conflicts: 1418000 | #Constraints: 255801
2868.16/2876.04 c #Conflicts: 1419000 | #Constraints: 256801
2868.16/2876.04 c INPROCESSING
2868.16/2876.04 c GARBAGE COLLECT
2868.16/2876.04 c #Conflicts: 1420000 | #Constraints: 234201
2868.16/2876.04 c #Conflicts: 1421000 | #Constraints: 235201
2868.16/2876.04 c #Conflicts: 1422000 | #Constraints: 236201
2868.16/2876.04 c #Conflicts: 1423000 | #Constraints: 237201
2868.16/2876.04 c #Conflicts: 1424000 | #Constraints: 238201
2868.16/2876.04 c #Conflicts: 1425000 | #Constraints: 239201
2868.16/2876.04 c #Conflicts: 1426000 | #Constraints: 240201
2868.16/2876.04 c #Conflicts: 1427000 | #Constraints: 241201
2868.16/2876.04 c #Conflicts: 1428000 | #Constraints: 242201
2868.16/2876.04 c #Conflicts: 1429000 | #Constraints: 243201
2868.16/2876.04 c #Conflicts: 1430000 | #Constraints: 244201
2868.16/2876.04 c #Conflicts: 1431000 | #Constraints: 245201
2868.16/2876.04 c #Conflicts: 1432000 | #Constraints: 246201
2868.16/2876.04 c #Conflicts: 1433000 | #Constraints: 247201
2868.16/2876.04 c #Conflicts: 1434000 | #Constraints: 248201
2868.16/2876.04 c #Conflicts: 1435000 | #Constraints: 249201
2868.16/2876.04 c #Conflicts: 1436000 | #Constraints: 250201
2868.16/2876.04 c #Conflicts: 1437000 | #Constraints: 251201
2868.16/2876.04 c #Conflicts: 1438000 | #Constraints: 252201
2868.16/2876.04 c #Conflicts: 1439000 | #Constraints: 253201
2868.16/2876.04 c #Conflicts: 1440000 | #Constraints: 254201
2868.16/2876.04 c #Conflicts: 1441000 | #Constraints: 255201
2868.16/2876.04 c #Conflicts: 1442000 | #Constraints: 256201
2868.16/2876.04 c #Conflicts: 1443000 | #Constraints: 257201
2868.16/2876.04 c INPROCESSING
2868.16/2876.04 c GARBAGE COLLECT
2868.16/2876.04 c #Conflicts: 1444000 | #Constraints: 234399
2868.16/2876.04 c #Conflicts: 1445000 | #Constraints: 235399
2868.16/2876.04 c #Conflicts: 1446000 | #Constraints: 236399
2868.16/2876.04 c #Conflicts: 1447000 | #Constraints: 237399
2868.16/2876.04 c #Conflicts: 1448000 | #Constraints: 238399
2868.16/2876.04 c #Conflicts: 1449000 | #Constraints: 239399
2868.16/2876.04 c #Conflicts: 1450000 | #Constraints: 240399
2868.16/2876.04 c #Conflicts: 1451000 | #Constraints: 241399
2868.16/2876.04 c #Conflicts: 1452000 | #Constraints: 242399
2868.16/2876.04 c #Conflicts: 1453000 | #Constraints: 243399
2868.16/2876.04 c #Conflicts: 1454000 | #Constraints: 244399
2868.16/2876.04 c #Conflicts: 1455000 | #Constraints: 245399
2868.16/2876.04 c #Conflicts: 1456000 | #Constraints: 246399
2868.16/2876.04 c #Conflicts: 1457000 | #Constraints: 247399
2868.16/2876.04 c #Conflicts: 1458000 | #Constraints: 248399
2868.16/2876.04 c #Conflicts: 1459000 | #Constraints: 249399
2868.16/2876.04 c #Conflicts: 1460000 | #Constraints: 250399
2868.16/2876.04 c #Conflicts: 1461000 | #Constraints: 251399
2868.16/2876.04 c #Conflicts: 1462000 | #Constraints: 252399
2868.16/2876.04 c #Conflicts: 1463000 | #Constraints: 253399
2868.16/2876.04 c #Conflicts: 1464000 | #Constraints: 254399
2868.16/2876.04 c #Conflicts: 1465000 | #Constraints: 255399
2868.16/2876.04 c #Conflicts: 1466000 | #Constraints: 256399
2868.16/2876.04 c #Conflicts: 1467000 | #Constraints: 257399
2868.16/2876.04 c INPROCESSING
2868.16/2876.04 c GARBAGE COLLECT
2868.16/2876.04 c #Conflicts: 1468000 | #Constraints: 234396
2868.16/2876.04 c #Conflicts: 1469000 | #Constraints: 235396
2868.16/2876.04 c #Conflicts: 1470000 | #Constraints: 236396
2868.16/2876.04 c #Conflicts: 1471000 | #Constraints: 237396
2868.16/2876.04 c #Conflicts: 1472000 | #Constraints: 238396
2868.16/2876.04 c #Conflicts: 1473000 | #Constraints: 239396
2868.16/2876.04 c #Conflicts: 1474000 | #Constraints: 240396
2868.16/2876.04 c #Conflicts: 1475000 | #Constraints: 241396
2868.16/2876.04 c #Conflicts: 1476000 | #Constraints: 242396
2868.16/2876.04 c #Conflicts: 1477000 | #Constraints: 243396
2868.16/2876.04 c #Conflicts: 1478000 | #Constraints: 244396
2868.16/2876.04 c #Conflicts: 1479000 | #Constraints: 245396
2868.16/2876.04 c #Conflicts: 1480000 | #Constraints: 246396
2868.16/2876.04 c #Conflicts: 1481000 | #Constraints: 247396
2868.16/2876.04 c #Conflicts: 1482000 | #Constraints: 248396
2868.16/2876.04 c #Conflicts: 1483000 | #Constraints: 249396
2868.16/2876.04 c #Conflicts: 1484000 | #Constraints: 250396
3006.56/3014.88 c #Conflicts: 1485000 | #Constraints: 251396
3006.56/3014.88 c #Conflicts: 1486000 | #Constraints: 252396
3006.56/3014.88 c #Conflicts: 1487000 | #Constraints: 253396
3006.56/3014.88 c #Conflicts: 1488000 | #Constraints: 254396
3006.56/3014.88 c #Conflicts: 1489000 | #Constraints: 255396
3006.56/3014.88 c #Conflicts: 1490000 | #Constraints: 256396
3006.56/3014.88 c #Conflicts: 1491000 | #Constraints: 257396
3006.56/3014.88 c INPROCESSING
3006.56/3014.88 c GARBAGE COLLECT
3006.56/3014.88 c #Conflicts: 1492000 | #Constraints: 234197
3006.56/3014.88 c #Conflicts: 1493000 | #Constraints: 235197
3006.56/3014.88 c #Conflicts: 1494000 | #Constraints: 236197
3006.56/3014.88 c #Conflicts: 1495000 | #Constraints: 237197
3006.56/3014.88 c #Conflicts: 1496000 | #Constraints: 238197
3006.56/3014.88 c #Conflicts: 1497000 | #Constraints: 239197
3006.56/3014.88 c #Conflicts: 1498000 | #Constraints: 240197
3006.56/3014.88 c #Conflicts: 1499000 | #Constraints: 241197
3006.56/3014.88 c #Conflicts: 1500000 | #Constraints: 242197
3006.56/3014.88 c #Conflicts: 1501000 | #Constraints: 243197
3006.56/3014.88 c #Conflicts: 1502000 | #Constraints: 244197
3006.56/3014.88 c #Conflicts: 1503000 | #Constraints: 245197
3006.56/3014.88 c #Conflicts: 1504000 | #Constraints: 246197
3006.56/3014.88 c #Conflicts: 1505000 | #Constraints: 247197
3006.56/3014.88 c #Conflicts: 1506000 | #Constraints: 248197
3006.56/3014.88 c #Conflicts: 1507000 | #Constraints: 249197
3006.56/3014.88 c #Conflicts: 1508000 | #Constraints: 250197
3006.56/3014.88 c #Conflicts: 1509000 | #Constraints: 251197
3006.56/3014.88 c #Conflicts: 1510000 | #Constraints: 252197
3006.56/3014.88 c #Conflicts: 1511000 | #Constraints: 253197
3006.56/3014.88 c #Conflicts: 1512000 | #Constraints: 254197
3006.56/3014.88 c #Conflicts: 1513000 | #Constraints: 255197
3006.56/3014.88 c #Conflicts: 1514000 | #Constraints: 256197
3006.56/3014.88 c #Conflicts: 1515000 | #Constraints: 257197
3006.56/3014.88 c #Conflicts: 1516000 | #Constraints: 258197
3006.56/3014.88 c INPROCESSING
3006.56/3014.88 c GARBAGE COLLECT
3006.56/3014.88 c #Conflicts: 1517000 | #Constraints: 234799
3006.56/3014.88 c #Conflicts: 1518000 | #Constraints: 235799
3006.56/3014.88 c #Conflicts: 1519000 | #Constraints: 236799
3006.56/3014.88 c #Conflicts: 1520000 | #Constraints: 237799
3006.56/3014.88 c #Conflicts: 1521000 | #Constraints: 238799
3006.56/3014.88 c #Conflicts: 1522000 | #Constraints: 239799
3006.56/3014.88 c #Conflicts: 1523000 | #Constraints: 240799
3006.56/3014.88 c #Conflicts: 1524000 | #Constraints: 241799
3006.56/3014.88 c #Conflicts: 1525000 | #Constraints: 242799
3006.56/3014.88 c #Conflicts: 1526000 | #Constraints: 243799
3006.56/3014.88 c #Conflicts: 1527000 | #Constraints: 244799
3006.56/3014.88 c #Conflicts: 1528000 | #Constraints: 245799
3006.56/3014.88 c #Conflicts: 1529000 | #Constraints: 246799
3006.56/3014.88 c #Conflicts: 1530000 | #Constraints: 247799
3006.56/3014.88 c #Conflicts: 1531000 | #Constraints: 248799
3006.56/3014.88 c #Conflicts: 1532000 | #Constraints: 249799
3006.56/3014.88 c #Conflicts: 1533000 | #Constraints: 250799
3006.56/3014.88 c #Conflicts: 1534000 | #Constraints: 251799
3006.56/3014.88 c #Conflicts: 1535000 | #Constraints: 252799
3006.56/3014.88 c #Conflicts: 1536000 | #Constraints: 253799
3006.56/3014.88 c #Conflicts: 1537000 | #Constraints: 254799
3006.56/3014.88 c #Conflicts: 1538000 | #Constraints: 255799
3006.56/3014.88 c #Conflicts: 1539000 | #Constraints: 256799
3006.56/3014.88 c #Conflicts: 1540000 | #Constraints: 257799
3006.56/3014.88 c #Conflicts: 1541000 | #Constraints: 258799
3006.56/3014.88 c INPROCESSING
3006.56/3014.88 c GARBAGE COLLECT
3006.56/3014.88 c #Conflicts: 1542000 | #Constraints: 235198
3006.56/3014.88 c #Conflicts: 1543000 | #Constraints: 236198
3006.56/3014.88 c #Conflicts: 1544000 | #Constraints: 237198
3006.56/3014.88 c #Conflicts: 1545000 | #Constraints: 238198
3006.56/3014.88 c #Conflicts: 1546000 | #Constraints: 239198
3006.56/3014.88 c #Conflicts: 1547000 | #Constraints: 240198
3006.56/3014.88 c #Conflicts: 1548000 | #Constraints: 241198
3006.56/3014.88 c #Conflicts: 1549000 | #Constraints: 242198
3006.56/3014.88 c #Conflicts: 1550000 | #Constraints: 243198
3006.56/3014.88 c #Conflicts: 1551000 | #Constraints: 244198
3006.56/3014.88 c #Conflicts: 1552000 | #Constraints: 245198
3006.56/3014.88 c #Conflicts: 1553000 | #Constraints: 246198
3006.56/3014.88 c #Conflicts: 1554000 | #Constraints: 247198
3006.56/3014.88 c #Conflicts: 1555000 | #Constraints: 248198
3006.56/3014.88 c #Conflicts: 1556000 | #Constraints: 249198
3006.56/3014.88 c #Conflicts: 1557000 | #Constraints: 250198
3006.56/3014.88 c #Conflicts: 1558000 | #Constraints: 251198
3006.56/3014.88 c #Conflicts: 1559000 | #Constraints: 252198
3006.56/3014.88 c #Conflicts: 1560000 | #Constraints: 253198
3006.56/3014.88 c #Conflicts: 1561000 | #Constraints: 254198
3138.18/3146.88 c #Conflicts: 1562000 | #Constraints: 255198
3138.18/3146.88 c #Conflicts: 1563000 | #Constraints: 256198
3138.18/3146.88 c #Conflicts: 1564000 | #Constraints: 257198
3138.18/3146.88 c #Conflicts: 1565000 | #Constraints: 258198
3138.18/3146.88 c #Conflicts: 1566000 | #Constraints: 259198
3138.18/3146.88 c INPROCESSING
3138.18/3146.88 c GARBAGE COLLECT
3138.18/3146.88 c #Conflicts: 1567000 | #Constraints: 235405
3138.18/3146.88 c #Conflicts: 1568000 | #Constraints: 236405
3138.18/3146.88 c #Conflicts: 1569000 | #Constraints: 237405
3138.18/3146.88 c #Conflicts: 1570000 | #Constraints: 238405
3138.18/3146.88 c #Conflicts: 1571000 | #Constraints: 239405
3138.18/3146.88 c #Conflicts: 1572000 | #Constraints: 240405
3138.18/3146.88 c #Conflicts: 1573000 | #Constraints: 241405
3138.18/3146.88 c #Conflicts: 1574000 | #Constraints: 242405
3138.18/3146.88 c #Conflicts: 1575000 | #Constraints: 243405
3138.18/3146.88 c #Conflicts: 1576000 | #Constraints: 244405
3138.18/3146.88 c #Conflicts: 1577000 | #Constraints: 245405
3138.18/3146.88 c #Conflicts: 1578000 | #Constraints: 246405
3138.18/3146.88 c #Conflicts: 1579000 | #Constraints: 247405
3138.18/3146.88 c #Conflicts: 1580000 | #Constraints: 248405
3138.18/3146.88 c #Conflicts: 1581000 | #Constraints: 249405
3138.18/3146.88 c #Conflicts: 1582000 | #Constraints: 250405
3138.18/3146.88 c #Conflicts: 1583000 | #Constraints: 251405
3138.18/3146.88 c #Conflicts: 1584000 | #Constraints: 252405
3138.18/3146.88 c #Conflicts: 1585000 | #Constraints: 253405
3138.18/3146.88 c #Conflicts: 1586000 | #Constraints: 254405
3138.18/3146.88 c #Conflicts: 1587000 | #Constraints: 255405
3138.18/3146.88 c #Conflicts: 1588000 | #Constraints: 256405
3138.18/3146.88 c #Conflicts: 1589000 | #Constraints: 257405
3138.18/3146.88 c #Conflicts: 1590000 | #Constraints: 258405
3138.18/3146.88 c #Conflicts: 1591000 | #Constraints: 259405
3138.18/3146.88 c INPROCESSING
3138.18/3146.88 c GARBAGE COLLECT
3138.18/3146.88 c #Conflicts: 1592000 | #Constraints: 235405
3138.18/3146.88 c #Conflicts: 1593000 | #Constraints: 236405
3138.18/3146.88 c #Conflicts: 1594000 | #Constraints: 237405
3138.18/3146.88 c #Conflicts: 1595000 | #Constraints: 238405
3138.18/3146.88 c #Conflicts: 1596000 | #Constraints: 239405
3138.18/3146.88 c #Conflicts: 1597000 | #Constraints: 240405
3138.18/3146.88 c #Conflicts: 1598000 | #Constraints: 241405
3138.18/3146.88 c #Conflicts: 1599000 | #Constraints: 242405
3138.18/3146.88 c #Conflicts: 1600000 | #Constraints: 243405
3138.18/3146.88 c #Conflicts: 1601000 | #Constraints: 244405
3138.18/3146.88 c #Conflicts: 1602000 | #Constraints: 245405
3138.18/3146.88 c #Conflicts: 1603000 | #Constraints: 246405
3138.18/3146.88 c #Conflicts: 1604000 | #Constraints: 247405
3138.18/3146.88 c #Conflicts: 1605000 | #Constraints: 248405
3138.18/3146.88 c #Conflicts: 1606000 | #Constraints: 249405
3138.18/3146.88 c #Conflicts: 1607000 | #Constraints: 250405
3138.18/3146.88 c #Conflicts: 1608000 | #Constraints: 251405
3138.18/3146.88 c #Conflicts: 1609000 | #Constraints: 252405
3138.18/3146.88 c #Conflicts: 1610000 | #Constraints: 253405
3138.18/3146.88 c #Conflicts: 1611000 | #Constraints: 254405
3138.18/3146.88 c #Conflicts: 1612000 | #Constraints: 255405
3138.18/3146.88 c #Conflicts: 1613000 | #Constraints: 256405
3138.18/3146.88 c #Conflicts: 1614000 | #Constraints: 257405
3138.18/3146.88 c #Conflicts: 1615000 | #Constraints: 258405
3138.18/3146.88 c #Conflicts: 1616000 | #Constraints: 259405
3138.18/3146.88 c INPROCESSING
3138.18/3146.88 c GARBAGE COLLECT
3138.18/3146.88 c #Conflicts: 1617000 | #Constraints: 235208
3138.18/3146.88 c #Conflicts: 1618000 | #Constraints: 236208
3138.18/3146.88 c #Conflicts: 1619000 | #Constraints: 237208
3138.18/3146.88 c #Conflicts: 1620000 | #Constraints: 238208
3138.18/3146.88 c #Conflicts: 1621000 | #Constraints: 239208
3138.18/3146.88 c #Conflicts: 1622000 | #Constraints: 240208
3138.18/3146.88 c #Conflicts: 1623000 | #Constraints: 241208
3138.18/3146.88 c #Conflicts: 1624000 | #Constraints: 242208
3138.18/3146.88 c #Conflicts: 1625000 | #Constraints: 243208
3138.18/3146.88 c #Conflicts: 1626000 | #Constraints: 244208
3138.18/3146.88 c #Conflicts: 1627000 | #Constraints: 245208
3138.18/3146.88 c #Conflicts: 1628000 | #Constraints: 246208
3138.18/3146.88 c #Conflicts: 1629000 | #Constraints: 247208
3138.18/3146.88 c #Conflicts: 1630000 | #Constraints: 248208
3138.18/3146.88 c #Conflicts: 1631000 | #Constraints: 249208
3138.18/3146.88 c #Conflicts: 1632000 | #Constraints: 250208
3138.18/3146.88 c #Conflicts: 1633000 | #Constraints: 251208
3138.18/3146.88 c #Conflicts: 1634000 | #Constraints: 252208
3138.18/3146.88 c #Conflicts: 1635000 | #Constraints: 253208
3138.18/3146.88 c #Conflicts: 1636000 | #Constraints: 254208
3138.18/3146.88 c #Conflicts: 1637000 | #Constraints: 255208
3138.18/3146.88 c #Conflicts: 1638000 | #Constraints: 256208
3275.72/3284.76 c #Conflicts: 1639000 | #Constraints: 257208
3275.72/3284.76 c #Conflicts: 1640000 | #Constraints: 258208
3275.72/3284.76 c #Conflicts: 1641000 | #Constraints: 259208
3275.72/3284.76 c #Conflicts: 1642000 | #Constraints: 260208
3275.72/3284.76 c INPROCESSING
3275.72/3284.76 c GARBAGE COLLECT
3275.72/3284.76 c #Conflicts: 1643000 | #Constraints: 235810
3275.72/3284.76 c #Conflicts: 1644000 | #Constraints: 236810
3275.72/3284.76 c #Conflicts: 1645000 | #Constraints: 237810
3275.72/3284.76 c #Conflicts: 1646000 | #Constraints: 238810
3275.72/3284.76 c #Conflicts: 1647000 | #Constraints: 239810
3275.72/3284.76 c #Conflicts: 1648000 | #Constraints: 240810
3275.72/3284.76 c #Conflicts: 1649000 | #Constraints: 241810
3275.72/3284.76 c #Conflicts: 1650000 | #Constraints: 242810
3275.72/3284.76 c #Conflicts: 1651000 | #Constraints: 243810
3275.72/3284.76 c #Conflicts: 1652000 | #Constraints: 244810
3275.72/3284.76 c #Conflicts: 1653000 | #Constraints: 245810
3275.72/3284.76 c #Conflicts: 1654000 | #Constraints: 246810
3275.72/3284.76 c #Conflicts: 1655000 | #Constraints: 247810
3275.72/3284.76 c #Conflicts: 1656000 | #Constraints: 248810
3275.72/3284.76 c #Conflicts: 1657000 | #Constraints: 249810
3275.72/3284.76 c #Conflicts: 1658000 | #Constraints: 250810
3275.72/3284.76 c #Conflicts: 1659000 | #Constraints: 251810
3275.72/3284.76 c #Conflicts: 1660000 | #Constraints: 252810
3275.72/3284.76 c #Conflicts: 1661000 | #Constraints: 253810
3275.72/3284.76 c #Conflicts: 1662000 | #Constraints: 254810
3275.72/3284.76 c #Conflicts: 1663000 | #Constraints: 255810
3275.72/3284.76 c #Conflicts: 1664000 | #Constraints: 256810
3275.72/3284.76 c #Conflicts: 1665000 | #Constraints: 257810
3275.72/3284.76 c #Conflicts: 1666000 | #Constraints: 258810
3275.72/3284.76 c #Conflicts: 1667000 | #Constraints: 259810
3275.72/3284.76 c #Conflicts: 1668000 | #Constraints: 260810
3275.72/3284.76 c INPROCESSING
3275.72/3284.76 c GARBAGE COLLECT
3275.72/3284.76 c #Conflicts: 1669000 | #Constraints: 236205
3275.72/3284.76 c #Conflicts: 1670000 | #Constraints: 237205
3275.72/3284.76 c #Conflicts: 1671000 | #Constraints: 238205
3275.72/3284.76 c #Conflicts: 1672000 | #Constraints: 239205
3275.72/3284.76 c #Conflicts: 1673000 | #Constraints: 240205
3275.72/3284.76 c #Conflicts: 1674000 | #Constraints: 241205
3275.72/3284.76 c #Conflicts: 1675000 | #Constraints: 242205
3275.72/3284.76 c #Conflicts: 1676000 | #Constraints: 243205
3275.72/3284.76 c #Conflicts: 1677000 | #Constraints: 244205
3275.72/3284.76 c #Conflicts: 1678000 | #Constraints: 245205
3275.72/3284.76 c #Conflicts: 1679000 | #Constraints: 246205
3275.72/3284.76 c #Conflicts: 1680000 | #Constraints: 247205
3275.72/3284.76 c #Conflicts: 1681000 | #Constraints: 248205
3275.72/3284.76 c #Conflicts: 1682000 | #Constraints: 249205
3275.72/3284.76 c #Conflicts: 1683000 | #Constraints: 250205
3275.72/3284.76 c #Conflicts: 1684000 | #Constraints: 251205
3275.72/3284.76 c #Conflicts: 1685000 | #Constraints: 252205
3275.72/3284.76 c #Conflicts: 1686000 | #Constraints: 253205
3275.72/3284.76 c #Conflicts: 1687000 | #Constraints: 254205
3275.72/3284.76 c #Conflicts: 1688000 | #Constraints: 255205
3275.72/3284.76 c #Conflicts: 1689000 | #Constraints: 256205
3275.72/3284.76 c #Conflicts: 1690000 | #Constraints: 257205
3275.72/3284.76 c #Conflicts: 1691000 | #Constraints: 258205
3275.72/3284.76 c #Conflicts: 1692000 | #Constraints: 259205
3275.72/3284.76 c #Conflicts: 1693000 | #Constraints: 260205
3275.72/3284.76 c #Conflicts: 1694000 | #Constraints: 261205
3275.72/3284.76 c INPROCESSING
3275.72/3284.76 c GARBAGE COLLECT
3275.72/3284.76 c #Conflicts: 1695000 | #Constraints: 236402
3275.72/3284.76 c #Conflicts: 1696000 | #Constraints: 237402
3275.72/3284.76 c #Conflicts: 1697000 | #Constraints: 238402
3275.72/3284.76 c #Conflicts: 1698000 | #Constraints: 239402
3275.72/3284.76 c #Conflicts: 1699000 | #Constraints: 240402
3275.72/3284.76 c #Conflicts: 1700000 | #Constraints: 241402
3275.72/3284.76 c #Conflicts: 1701000 | #Constraints: 242402
3275.72/3284.76 c #Conflicts: 1702000 | #Constraints: 243402
3275.72/3284.76 c #Conflicts: 1703000 | #Constraints: 244402
3275.72/3284.76 c #Conflicts: 1704000 | #Constraints: 245402
3275.72/3284.76 c #Conflicts: 1705000 | #Constraints: 246402
3275.72/3284.76 c #Conflicts: 1706000 | #Constraints: 247402
3275.72/3284.76 c #Conflicts: 1707000 | #Constraints: 248402
3275.72/3284.76 c #Conflicts: 1708000 | #Constraints: 249402
3275.72/3284.76 c #Conflicts: 1709000 | #Constraints: 250402
3275.72/3284.76 c #Conflicts: 1710000 | #Constraints: 251402
3275.72/3284.76 c #Conflicts: 1711000 | #Constraints: 252402
3275.72/3284.76 c #Conflicts: 1712000 | #Constraints: 253402
3275.72/3284.76 c #Conflicts: 1713000 | #Constraints: 254402
3275.72/3284.76 c #Conflicts: 1714000 | #Constraints: 255402
3275.72/3284.76 c #Conflicts: 1715000 | #Constraints: 256402
3401.19/3410.57 c #Conflicts: 1716000 | #Constraints: 257402
3401.19/3410.57 c #Conflicts: 1717000 | #Constraints: 258402
3401.19/3410.57 c #Conflicts: 1718000 | #Constraints: 259402
3401.19/3410.57 c #Conflicts: 1719000 | #Constraints: 260402
3401.19/3410.57 c #Conflicts: 1720000 | #Constraints: 261402
3401.19/3410.57 c INPROCESSING
3401.19/3410.57 c GARBAGE COLLECT
3401.19/3410.57 c #Conflicts: 1721000 | #Constraints: 236407
3401.19/3410.57 c #Conflicts: 1722000 | #Constraints: 237407
3401.19/3410.57 c #Conflicts: 1723000 | #Constraints: 238407
3401.19/3410.57 c #Conflicts: 1724000 | #Constraints: 239407
3401.19/3410.57 c #Conflicts: 1725000 | #Constraints: 240407
3401.19/3410.57 c #Conflicts: 1726000 | #Constraints: 241407
3401.19/3410.57 c #Conflicts: 1727000 | #Constraints: 242407
3401.19/3410.57 c #Conflicts: 1728000 | #Constraints: 243407
3401.19/3410.57 c #Conflicts: 1729000 | #Constraints: 244407
3401.19/3410.57 c #Conflicts: 1730000 | #Constraints: 245407
3401.19/3410.57 c #Conflicts: 1731000 | #Constraints: 246407
3401.19/3410.57 c #Conflicts: 1732000 | #Constraints: 247407
3401.19/3410.57 c #Conflicts: 1733000 | #Constraints: 248407
3401.19/3410.57 c #Conflicts: 1734000 | #Constraints: 249407
3401.19/3410.57 c #Conflicts: 1735000 | #Constraints: 250407
3401.19/3410.57 c #Conflicts: 1736000 | #Constraints: 251407
3401.19/3410.57 c #Conflicts: 1737000 | #Constraints: 252407
3401.19/3410.57 c #Conflicts: 1738000 | #Constraints: 253407
3401.19/3410.57 c #Conflicts: 1739000 | #Constraints: 254407
3401.19/3410.57 c #Conflicts: 1740000 | #Constraints: 255407
3401.19/3410.57 c #Conflicts: 1741000 | #Constraints: 256407
3401.19/3410.57 c #Conflicts: 1742000 | #Constraints: 257407
3401.19/3410.57 c #Conflicts: 1743000 | #Constraints: 258407
3401.19/3410.57 c #Conflicts: 1744000 | #Constraints: 259407
3401.19/3410.57 c #Conflicts: 1745000 | #Constraints: 260407
3401.19/3410.57 c #Conflicts: 1746000 | #Constraints: 261407
3401.19/3410.57 c INPROCESSING
3401.19/3410.57 c GARBAGE COLLECT
3401.19/3410.57 c #Conflicts: 1747000 | #Constraints: 236201
3401.19/3410.57 c #Conflicts: 1748000 | #Constraints: 237201
3401.19/3410.57 c #Conflicts: 1749000 | #Constraints: 238201
3401.19/3410.57 c #Conflicts: 1750000 | #Constraints: 239201
3401.19/3410.57 c #Conflicts: 1751000 | #Constraints: 240201
3401.19/3410.57 c #Conflicts: 1752000 | #Constraints: 241201
3401.19/3410.57 c #Conflicts: 1753000 | #Constraints: 242201
3401.19/3410.57 c #Conflicts: 1754000 | #Constraints: 243201
3401.19/3410.57 c #Conflicts: 1755000 | #Constraints: 244201
3401.19/3410.57 c #Conflicts: 1756000 | #Constraints: 245201
3401.19/3410.57 c #Conflicts: 1757000 | #Constraints: 246201
3401.19/3410.57 c #Conflicts: 1758000 | #Constraints: 247201
3401.19/3410.57 c #Conflicts: 1759000 | #Constraints: 248201
3401.19/3410.57 c #Conflicts: 1760000 | #Constraints: 249201
3401.19/3410.57 c #Conflicts: 1761000 | #Constraints: 250201
3401.19/3410.57 c #Conflicts: 1762000 | #Constraints: 251201
3401.19/3410.57 c #Conflicts: 1763000 | #Constraints: 252201
3401.19/3410.57 c #Conflicts: 1764000 | #Constraints: 253201
3401.19/3410.57 c #Conflicts: 1765000 | #Constraints: 254201
3401.19/3410.57 c #Conflicts: 1766000 | #Constraints: 255201
3401.19/3410.57 c #Conflicts: 1767000 | #Constraints: 256201
3401.19/3410.57 c #Conflicts: 1768000 | #Constraints: 257201
3401.19/3410.57 c #Conflicts: 1769000 | #Constraints: 258201
3401.19/3410.57 c #Conflicts: 1770000 | #Constraints: 259201
3401.19/3410.57 c #Conflicts: 1771000 | #Constraints: 260201
3401.19/3410.57 c #Conflicts: 1772000 | #Constraints: 261201
3401.19/3410.57 c #Conflicts: 1773000 | #Constraints: 262201
3401.19/3410.57 c INPROCESSING
3401.19/3410.57 c GARBAGE COLLECT
3401.19/3410.57 c #Conflicts: 1774000 | #Constraints: 236802
3401.19/3410.57 c #Conflicts: 1775000 | #Constraints: 237802
3401.19/3410.57 c #Conflicts: 1776000 | #Constraints: 238802
3401.19/3410.57 c #Conflicts: 1777000 | #Constraints: 239802
3401.19/3410.57 c #Conflicts: 1778000 | #Constraints: 240802
3401.19/3410.57 c #Conflicts: 1779000 | #Constraints: 241802
3401.19/3410.57 c #Conflicts: 1780000 | #Constraints: 242802
3401.19/3410.57 c #Conflicts: 1781000 | #Constraints: 243802
3401.19/3410.57 c #Conflicts: 1782000 | #Constraints: 244802
3401.19/3410.57 c #Conflicts: 1783000 | #Constraints: 245802
3401.19/3410.57 c #Conflicts: 1784000 | #Constraints: 246802
3401.19/3410.57 c #Conflicts: 1785000 | #Constraints: 247802
3401.19/3410.57 c #Conflicts: 1786000 | #Constraints: 248802
3401.19/3410.57 c #Conflicts: 1787000 | #Constraints: 249802
3401.19/3410.57 c #Conflicts: 1788000 | #Constraints: 250802
3401.19/3410.57 c #Conflicts: 1789000 | #Constraints: 251802
3401.19/3410.57 c #Conflicts: 1790000 | #Constraints: 252802
3401.19/3410.57 c #Conflicts: 1791000 | #Constraints: 253802
3401.19/3410.57 c #Conflicts: 1792000 | #Constraints: 254802
3520.30/3529.95 c #Conflicts: 1793000 | #Constraints: 255802
3520.30/3529.95 c #Conflicts: 1794000 | #Constraints: 256802
3520.30/3529.95 c #Conflicts: 1795000 | #Constraints: 257802
3520.30/3529.95 c #Conflicts: 1796000 | #Constraints: 258802
3520.30/3529.95 c #Conflicts: 1797000 | #Constraints: 259802
3520.30/3529.95 c #Conflicts: 1798000 | #Constraints: 260802
3520.30/3529.95 c #Conflicts: 1799000 | #Constraints: 261802
3520.30/3529.95 c #Conflicts: 1800000 | #Constraints: 262802
3520.30/3529.95 c INPROCESSING
3520.30/3529.95 c GARBAGE COLLECT
3520.30/3529.95 c #Conflicts: 1801000 | #Constraints: 237201
3520.30/3529.95 c #Conflicts: 1802000 | #Constraints: 238201
3520.30/3529.95 c #Conflicts: 1803000 | #Constraints: 239201
3520.30/3529.95 c #Conflicts: 1804000 | #Constraints: 240201
3520.30/3529.95 c #Conflicts: 1805000 | #Constraints: 241201
3520.30/3529.95 c #Conflicts: 1806000 | #Constraints: 242201
3520.30/3529.95 c #Conflicts: 1807000 | #Constraints: 243201
3520.30/3529.95 c #Conflicts: 1808000 | #Constraints: 244201
3520.30/3529.95 c #Conflicts: 1809000 | #Constraints: 245201
3520.30/3529.95 c #Conflicts: 1810000 | #Constraints: 246201
3520.30/3529.95 c #Conflicts: 1811000 | #Constraints: 247201
3520.30/3529.95 c #Conflicts: 1812000 | #Constraints: 248201
3520.30/3529.95 c #Conflicts: 1813000 | #Constraints: 249201
3520.30/3529.95 c #Conflicts: 1814000 | #Constraints: 250201
3520.30/3529.95 c #Conflicts: 1815000 | #Constraints: 251201
3520.30/3529.95 c #Conflicts: 1816000 | #Constraints: 252201
3520.30/3529.95 c #Conflicts: 1817000 | #Constraints: 253201
3520.30/3529.95 c #Conflicts: 1818000 | #Constraints: 254201
3520.30/3529.95 c #Conflicts: 1819000 | #Constraints: 255201
3520.30/3529.95 c #Conflicts: 1820000 | #Constraints: 256201
3520.30/3529.95 c #Conflicts: 1821000 | #Constraints: 257201
3520.30/3529.95 c #Conflicts: 1822000 | #Constraints: 258201
3520.30/3529.95 c #Conflicts: 1823000 | #Constraints: 259201
3520.30/3529.95 c #Conflicts: 1824000 | #Constraints: 260201
3520.30/3529.95 c #Conflicts: 1825000 | #Constraints: 261201
3520.30/3529.95 c #Conflicts: 1826000 | #Constraints: 262201
3520.30/3529.95 c #Conflicts: 1827000 | #Constraints: 263201
3520.30/3529.95 c INPROCESSING
3520.30/3529.95 c GARBAGE COLLECT
3520.30/3529.95 c #Conflicts: 1828000 | #Constraints: 237406
3520.30/3529.95 c #Conflicts: 1829000 | #Constraints: 238406
3520.30/3529.95 c #Conflicts: 1830000 | #Constraints: 239406
3520.30/3529.95 c #Conflicts: 1831000 | #Constraints: 240406
3520.30/3529.95 c #Conflicts: 1832000 | #Constraints: 241406
3520.30/3529.95 c #Conflicts: 1833000 | #Constraints: 242406
3520.30/3529.95 c #Conflicts: 1834000 | #Constraints: 243406
3520.30/3529.95 c #Conflicts: 1835000 | #Constraints: 244406
3520.30/3529.95 c #Conflicts: 1836000 | #Constraints: 245406
3520.30/3529.95 c #Conflicts: 1837000 | #Constraints: 246406
3520.30/3529.95 c #Conflicts: 1838000 | #Constraints: 247406
3520.30/3529.95 c #Conflicts: 1839000 | #Constraints: 248406
3520.30/3529.95 c #Conflicts: 1840000 | #Constraints: 249406
3520.30/3529.95 c #Conflicts: 1841000 | #Constraints: 250406
3520.30/3529.95 c #Conflicts: 1842000 | #Constraints: 251406
3520.30/3529.95 c #Conflicts: 1843000 | #Constraints: 252406
3520.30/3529.95 c #Conflicts: 1844000 | #Constraints: 253406
3520.30/3529.95 c #Conflicts: 1845000 | #Constraints: 254406
3520.30/3529.95 c #Conflicts: 1846000 | #Constraints: 255406
3520.30/3529.95 c #Conflicts: 1847000 | #Constraints: 256406
3520.30/3529.95 c #Conflicts: 1848000 | #Constraints: 257406
3520.30/3529.95 c #Conflicts: 1849000 | #Constraints: 258406
3520.30/3529.95 c #Conflicts: 1850000 | #Constraints: 259406
3520.30/3529.95 c #Conflicts: 1851000 | #Constraints: 260406
3520.30/3529.95 c #Conflicts: 1852000 | #Constraints: 261406
3520.30/3529.95 c #Conflicts: 1853000 | #Constraints: 262406
3520.30/3529.95 c #Conflicts: 1854000 | #Constraints: 263406
3520.30/3529.95 c INPROCESSING
3520.30/3529.95 c GARBAGE COLLECT
3520.30/3529.95 c #Conflicts: 1855000 | #Constraints: 237411
3520.30/3529.95 c #Conflicts: 1856000 | #Constraints: 238411
3520.30/3529.95 c #Conflicts: 1857000 | #Constraints: 239411
3520.30/3529.95 c #Conflicts: 1858000 | #Constraints: 240411
3520.30/3529.95 c #Conflicts: 1859000 | #Constraints: 241411
3520.30/3529.95 c #Conflicts: 1860000 | #Constraints: 242411
3520.30/3529.95 c #Conflicts: 1861000 | #Constraints: 243411
3520.30/3529.95 c #Conflicts: 1862000 | #Constraints: 244411
3520.30/3529.95 c #Conflicts: 1863000 | #Constraints: 245411
3520.30/3529.95 c #Conflicts: 1864000 | #Constraints: 246411
3520.30/3529.95 c #Conflicts: 1865000 | #Constraints: 247411
3520.30/3529.95 c #Conflicts: 1866000 | #Constraints: 248411
3520.30/3529.95 c #Conflicts: 1867000 | #Constraints: 249411
3520.30/3529.95 c #Conflicts: 1868000 | #Constraints: 250411
3520.30/3529.95 c #Conflicts: 1869000 | #Constraints: 251411
3600.01/3609.80 c #Conflicts: 1870000 | #Constraints: 252411
3600.01/3609.80 c #Conflicts: 1871000 | #Constraints: 253411
3600.01/3609.80 c #Conflicts: 1872000 | #Constraints: 254411
3600.01/3609.80 c #Conflicts: 1873000 | #Constraints: 255411
3600.01/3609.80 c #Conflicts: 1874000 | #Constraints: 256411
3600.01/3609.80 c #Conflicts: 1875000 | #Constraints: 257411
3600.01/3609.80 c #Conflicts: 1876000 | #Constraints: 258411
3600.01/3609.80 c #Conflicts: 1877000 | #Constraints: 259411
3600.01/3609.80 c #Conflicts: 1878000 | #Constraints: 260411
3600.01/3609.80 c #Conflicts: 1879000 | #Constraints: 261411
3600.01/3609.80 c #Conflicts: 1880000 | #Constraints: 262411
3600.01/3609.80 c #Conflicts: 1881000 | #Constraints: 263411
3600.01/3609.80 c INPROCESSING
3600.01/3609.80 c GARBAGE COLLECT
3600.01/3609.80 c #Conflicts: 1882000 | #Constraints: 237211
3600.01/3609.80 c #Conflicts: 1883000 | #Constraints: 238211
3600.01/3609.80 c #Conflicts: 1884000 | #Constraints: 239211
3600.01/3609.80 c #Conflicts: 1885000 | #Constraints: 240211
3600.01/3609.80 c #Conflicts: 1886000 | #Constraints: 241211
3600.01/3609.80 c #Conflicts: 1887000 | #Constraints: 242211
3600.01/3609.80 c #Conflicts: 1888000 | #Constraints: 243211
3600.01/3609.80 c #Conflicts: 1889000 | #Constraints: 244211
3600.01/3609.80 c #Conflicts: 1890000 | #Constraints: 245211
3600.01/3609.80 c #Conflicts: 1891000 | #Constraints: 246211
3600.01/3609.80 c #Conflicts: 1892000 | #Constraints: 247211
3600.01/3609.80 c #Conflicts: 1893000 | #Constraints: 248211
3600.01/3609.80 c #Conflicts: 1894000 | #Constraints: 249211
3600.01/3609.80 c #Conflicts: 1895000 | #Constraints: 250211
3600.01/3609.80 c #Conflicts: 1896000 | #Constraints: 251211
3600.01/3609.80 c #Conflicts: 1897000 | #Constraints: 252211
3600.01/3609.80 c #Conflicts: 1898000 | #Constraints: 253211
3600.01/3609.80 c #Conflicts: 1899000 | #Constraints: 254211
3600.01/3609.80 c #Conflicts: 1900000 | #Constraints: 255211
3600.01/3609.80 c #Conflicts: 1901000 | #Constraints: 256211
3600.01/3609.80 c #Conflicts: 1902000 | #Constraints: 257211
3600.01/3609.80 c #Conflicts: 1903000 | #Constraints: 258211
3600.01/3609.80 c #Conflicts: 1904000 | #Constraints: 259211
3600.01/3609.80 c #Conflicts: 1905000 | #Constraints: 260211
3600.01/3609.80 c #Conflicts: 1906000 | #Constraints: 261211
3600.01/3609.80 c #Conflicts: 1907000 | #Constraints: 262211
3600.01/3609.80 c #Conflicts: 1908000 | #Constraints: 263211
3600.01/3609.80 c #Conflicts: 1909000 | #Constraints: 264211
3600.01/3609.80 c INPROCESSING
3600.01/3609.80 c GARBAGE COLLECT
3600.01/3609.80 c #Conflicts: 1910000 | #Constraints: 237812
3600.01/3609.80 c #Conflicts: 1911000 | #Constraints: 238812
3600.01/3609.80 c #Conflicts: 1912000 | #Constraints: 239812
3600.01/3609.80 c #Conflicts: 1913000 | #Constraints: 240812
3600.01/3609.80 c #Conflicts: 1914000 | #Constraints: 241812
3600.01/3609.80 c #Conflicts: 1915000 | #Constraints: 242812
3600.01/3609.80 c #Conflicts: 1916000 | #Constraints: 243812
3600.01/3609.80 c #Conflicts: 1917000 | #Constraints: 244812
3600.01/3609.80 c #Conflicts: 1918000 | #Constraints: 245812
3600.01/3609.80 c #Conflicts: 1919000 | #Constraints: 246812
3600.01/3609.80 c Program interrupted by user.
3600.01/3609.80 c cpu time 3590 s
3600.01/3609.80 c deterministic time 132301661289 1.32e+11
3600.01/3609.80 c optimization time 16.0222 s
3600.01/3609.80 c total solve time 3273.89 s
3600.01/3609.80 c core-guided solve time 3273.89 s
3600.01/3609.80 c propagation time 1300.65 s
3600.01/3609.80 c conflict analysis time 1901.53 s
3600.01/3609.80 c propagations 344176884
3600.01/3609.80 c resolve steps 88496777
3600.01/3609.80 c decisions 2231937
3600.01/3609.80 c conflicts 1919948
3600.01/3609.80 c restarts 3729
3600.01/3609.80 c inprocessing phases 129
3600.01/3609.80 c input clauses 209577
3600.01/3609.80 c input cardinalities 584
3600.01/3609.80 c input general constraints 0
3600.01/3609.80 c input average constraint length 8.51
3600.01/3609.80 c input average constraint degree 1.82
3600.01/3609.80 c learned clauses 1850934
3600.01/3609.80 c learned cardinalities 2635
3600.01/3609.80 c learned general constraints 66406
3600.01/3609.80 c learned average constraint length 582.67
3600.01/3609.80 c learned average constraint degree 66.48
3600.01/3609.80 c watched constraints 47468
3600.01/3609.80 c counting constraints 18938
3600.01/3609.80 c gcd simplifications 626309
3600.01/3609.80 c detected cardinalities 1
3600.01/3609.80 c weakened non-implied lits 1196402574
3600.01/3609.80 c weakened non-implying lits 4066472
3600.01/3609.80 c original variables 2346
3600.01/3609.80 c clausal propagations 262889028
3600.01/3609.80 c cardinality propagations 2001572
3600.01/3609.80 c watched propagations 132817
3600.01/3609.80 c counting propagations 75247993
3600.01/3609.80 c watch lookups 51698675699
3600.01/3609.80 c watch backjump lookups 48362893239
3600.01/3609.80 c watch checks 15111949139
3600.01/3609.80 c propagation checks 12485680150
3600.01/3609.80 c constraint additions 3947726908
3600.01/3609.80 c trail pops 348327332
3600.01/3609.80 c formula constraints 209576
3600.01/3609.80 c learned constraints 1919975
3600.01/3609.80 c bound constraints 585
3600.01/3609.80 c core-guided constraints 0
3600.01/3609.80 c encountered formula constraints 86456290
3600.01/3609.80 c encountered learned constraints 3957370
3600.01/3609.80 c encountered bound constraints 3065
3600.01/3609.80 c encountered core-guided constraints 0
3600.01/3609.80 c LP total time 0 s
3600.01/3609.80 c LP solve time 0 s
3600.01/3609.80 c LP constraints added 0
3600.01/3609.80 c LP constraints removed 0
3600.01/3609.80 c LP pivots internal 0
3600.01/3609.80 c LP pivots root 0
3600.01/3609.80 c LP calls 0
3600.01/3609.80 c LP optimalities 0
3600.01/3609.80 c LP no pivot count 0
3600.01/3609.80 c LP infeasibilities 0
3600.01/3609.80 c LP valid Farkas constraints 0
3600.01/3609.80 c LP learned Farkas constraints 0
3600.01/3609.80 c LP basis resets 0
3600.01/3609.80 c LP cycling count 0
3600.01/3609.80 c LP singular count 0
3600.01/3609.80 c LP no primal count 0
3600.01/3609.80 c LP no farkas count 0
3600.01/3609.80 c LP other issue count 0
3600.01/3609.80 c LP Gomory cuts 0
3600.01/3609.80 c LP learned cuts 0
3600.01/3609.80 c LP deleted cuts 0
3600.01/3609.80 c LP encountered Gomory constraints 0
3600.01/3609.80 c LP encountered Farkas constraints 0
3600.01/3609.80 c LP encountered learned Farkas constraints 0
3600.01/3609.80 c CG auxiliary variables introduced 0
3600.01/3609.80 c CG solutions found 0
3600.01/3609.80 c CG cores constructed 584
3600.01/3609.80 c CG core cardinality constraints returned 0
3600.01/3609.80 c CG unit cores 0
3600.01/3609.80 c CG single cores 584
3600.01/3609.80 c CG blocks removed during cardinality reduction 0
3600.01/3609.80 c CG first core best 0
3600.01/3609.80 c CG decision core best 0
3600.01/3609.80 c CG core reduction tie 0
3600.01/3609.80 c CG core degree average 1.00
3600.01/3609.80 c CG core slack average 2.33
3600.01/3609.80 c CG exhausted 0
3600.01/3609.80 c CG exhaust time 0 s
3600.01/3609.80 c CG trimmed 0
3600.01/3609.80 c CG trim time 0.009878 s
3600.01/3609.80 c CG minimized 0
3600.01/3609.80 c CG minimize time 0 s
3600.01/3609.80 c CG am1 prop time 0.008804 s
3600.01/3609.80 c CG # am1s reformulated 0
3600.01/3609.80 c CG lower bound derived from am1s 0
3600.01/3609.80 c CG # clausal cores 584
3600.01/3609.80 c CG # cardinality cores 0
3600.01/3609.80 c CG # pb cores 0
3600.01/3609.80 c CG # pb reforms 0
3600.01/3609.80 c CG # cores discarded because of pb reform 0
3600.01/3609.80 d LOWERBOUND -1399
3600.01/3609.80 d NCORES 584
3600.01/3609.80 d NPBCORES 0
3600.01/3609.80 d NPBREFORM 0
3600.01/3609.80 d NTRIMMED 0
3600.01/3609.80 d NEXHAUSTED 0
3600.01/3609.80 d NAM1S 0
3600.01/3609.80 d AM1LB 0
3600.01/3609.80 c [Papilo Statistics]
3600.01/3609.80 c prepro time 0.191694s
3600.01/3609.80 c # tsx applied 0
3600.01/3609.80 c # tsx conflicts 0
3600.01/3609.80 c # bound changes 0
3600.01/3609.80 c # side changes 0
3600.01/3609.80 c # coef changes 0
3600.01/3609.80 c # rounds 1
3600.01/3609.80 c # deted vars 0
3600.01/3609.80 c # deted constrs 0
3600.01/3609.80 c # consecutive rounds of only bound changes 0
3600.01/3609.80 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: 63665 MiB (60100 MiB free)
memory of node 1: 64507 MiB (60983 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529301-1752264054/watcher-4529301-1752264054 -o /tmp/evaluation-result-4529301-1752264054/solver-4529301-1752264054 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1752256148-121310 --watchdog 3760 mixed-bag HOME/instance-4529301-1752264054.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=122422, runsolver pid=122419
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.13 4.12 4.11 5/265 122423
/proc/meminfo: memFree=123987496/131250000 swapFree=33010416/33010684
[pid=122422] ppid=122419 vsize=93976 memory=16084 CPUtime=0.09 cores=1,3
/proc/122422/stat : 122422 (mixed-bag) R 122419 122422 121298 0 -1 4194304 2649 0 0 0 9 0 0 0 20 0 1 0 142083221 96231424 4021 18446744073709551615 4235264 15840557 140723070135104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48234496 140723070138778 140723070138855 140723070138855 140723070144459 0
/proc/122422/statm: 23494 4021 2144 2834 0 6246 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 93976 KiB
Current children cumulated memory: 16084 KiB
[startup+0.205607 s]*
/proc/loadavg: 4.13 4.12 4.11 5/265 122423
/proc/meminfo: memFree=123986740/131250000 swapFree=33010416/33010684
[pid=122422] ppid=122419 vsize=106264 memory=24456 CPUtime=0.2 cores=1,3
/proc/122422/stat : 122422 (mixed-bag) R 122419 122422 121298 0 -1 4194304 3710 0 0 0 19 1 0 0 20 0 1 0 142083221 108814336 6114 18446744073709551615 4235264 15840557 140723070135104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48234496 140723070138778 140723070138855 140723070138855 140723070144459 0
/proc/122422/statm: 26566 6114 2144 2834 0 9318 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 106264 KiB
Current children cumulated memory: 24456 KiB
[startup+0.305615 s]*
/proc/loadavg: 4.13 4.12 4.11 5/265 122423
/proc/meminfo: memFree=123976784/131250000 swapFree=33010416/33010684
[pid=122422] ppid=122419 vsize=106264 memory=31332 CPUtime=0.3 cores=1,3
/proc/122422/stat : 122422 (mixed-bag) R 122419 122422 121298 0 -1 4194304 3900 0 0 0 29 1 0 0 20 0 1 0 142083221 108814336 7833 18446744073709551615 4235264 15840557 140723070135104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48234496 140723070138778 140723070138855 140723070138855 140723070144459 0
/proc/122422/statm: 26566 7833 2144 2834 0 9318 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 106264 KiB
Current children cumulated memory: 31332 KiB
[startup+0.700198 s]
/proc/loadavg: 4.13 4.12 4.11 5/265 122423
/proc/meminfo: memFree=123931352/131250000 swapFree=33010416/33010684
[pid=122422] ppid=122419 vsize=232428 memory=143196 CPUtime=0.68 cores=1,3
/proc/122422/stat : 122422 (mixed-bag) R 122419 122422 121298 0 -1 4194304 13705 0 0 0 64 4 0 0 20 0 1 0 142083221 238006272 35799 18446744073709551615 4235264 15840557 140723070135104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48234496 140723070138778 140723070138855 140723070138855 140723070144459 0
/proc/122422/statm: 58107 35799 2304 2834 0 40312 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 232428 KiB
Current children cumulated memory: 143196 KiB
[startup+1.5002 s]
/proc/loadavg: 4.13 4.12 4.11 5/265 122423
/proc/meminfo: memFree=123664868/131250000 swapFree=33010416/33010684
[pid=122422] ppid=122419 vsize=601268 memory=514240 CPUtime=1.48 cores=1,3
/proc/122422/stat : 122422 (mixed-bag) R 122419 122422 121298 0 -1 4194304 84760 0 0 0 132 16 0 0 20 0 1 0 142083221 615698432 128560 18446744073709551615 4235264 15840557 140723070135104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48234496 140723070138778 140723070138855 140723070138855 140723070144459 0
/proc/122422/statm: 150317 128560 4000 2834 0 132522 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 601268 KiB
Current children cumulated memory: 514240 KiB
[startup+3.10543 s]
/proc/loadavg: 4.12 4.12 4.11 5/265 122423
/proc/meminfo: memFree=123434112/131250000 swapFree=33010416/33010684
[pid=122422] ppid=122419 vsize=598412 memory=511148 CPUtime=3.08 cores=1,3
/proc/122422/stat : 122422 (mixed-bag) R 122419 122422 121298 0 -1 4194304 103039 0 0 0 289 19 0 0 20 0 1 0 142083221 612773888 127787 18446744073709551615 4235264 15840557 140723070135104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48234496 140723070138778 140723070138855 140723070138855 140723070144459 0
/proc/122422/statm: 149603 127787 4032 2834 0 131808 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 598412 KiB
Current children cumulated memory: 511148 KiB
[startup+6.30018 s]
/proc/loadavg: 4.12 4.12 4.11 5/265 122423
/proc/meminfo: memFree=122978604/131250000 swapFree=33010416/33010684
[pid=122422] ppid=122419 vsize=1194944 memory=1032696 CPUtime=6.27 cores=1,3
/proc/122422/stat : 122422 (mixed-bag) R 122419 122422 121298 0 -1 4194304 135296 0 0 0 596 31 0 0 20 0 1 0 142083221 1223622656 258174 18446744073709551615 4235264 15840557 140723070135104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48234496 140723070138778 140723070138855 140723070138855 140723070144459 0
/proc/122422/statm: 298736 258174 4096 2834 0 280941 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1194944 KiB
Current children cumulated memory: 1032696 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.11 4.11 5/265 122434
/proc/meminfo: memFree=122922228/131250000 swapFree=33010416/33010684
[pid=122422] ppid=122419 vsize=1216672 memory=1068528 CPUtime=12.64 cores=1,3
/proc/122422/stat : 122422 (mixed-bag) R 122419 122422 121298 0 -1 4194304 157404 0 0 0 1229 35 0 0 20 0 1 0 142083221 1245872128 267132 18446744073709551615 4235264 15840557 140723070135104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48234496 140723070138778 140723070138855 140723070138855 140723070144459 0
/proc/122422/statm: 304168 267132 4256 2834 0 286373 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1216672 KiB
Current children cumulated memory: 1068528 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.11 4.11 5/265 122434
/proc/meminfo: memFree=122924844/131250000 swapFree=33010416/33010684
[pid=122422] ppid=122419 vsize=1216672 memory=1071016 CPUtime=25.41 cores=1,3
/proc/122422/stat : 122422 (mixed-bag) R 122419 122422 121298 0 -1 4194304 157522 0 0 0 2506 35 0 0 20 0 1 0 142083221 1245872128 267754 18446744073709551615 4235264 15840557 140723070135104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48234496 140723070138778 140723070138855 140723070138855 140723070144459 0
/proc/122422/statm: 304168 267754 4256 2834 0 286373 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1216672 KiB
Current children cumulated memory: 1071016 KiB
[startup+51.1055 s]
/proc/loadavg: 4.19 4.13 4.12 5/265 122435
/proc/meminfo: memFree=122878380/131250000 swapFree=33010416/33010684
[pid=122422] ppid=122419 vsize=1219772 memory=1074472 CPUtime=50.94 cores=1,3
/proc/122422/stat : 122422 (mixed-bag) R 122419 122422 121298 0 -1 4194304 158383 0 0 0 5059 35 0 0 20 0 1 0 142083221 1249046528 268618 18446744073709551615 4235264 15840557 140723070135104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48234496 140723070138778 140723070138855 140723070138855 140723070144459 0
/proc/122422/statm: 304943 268618 4256 2834 0 287148 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1219772 KiB
Current children cumulated memory: 1074472 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.11 4.10 5/264 122437
/proc/meminfo: memFree=122828480/131250000 swapFree=33010416/33010684
[pid=122422] ppid=122419 vsize=1221864 memory=1076392 CPUtime=102.01 cores=1,3
/proc/122422/stat : 122422 (mixed-bag) R 122419 122422 121298 0 -1 4194304 158908 0 0 0 10165 36 0 0 20 0 1 0 142083221 1251188736 269098 18446744073709551615 4235264 15840557 140723070135104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48234496 140723070138778 140723070138855 140723070138855 140723070144459 0
/proc/122422/statm: 305466 269098 4256 2834 0 287671 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 1221864 KiB
Current children cumulated memory: 1076392 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/264 122439
/proc/meminfo: memFree=122746220/131250000 swapFree=33010416/33010684
[pid=122422] ppid=122419 vsize=1224660 memory=1078184 CPUtime=161.83 cores=1,3
/proc/122422/stat : 122422 (mixed-bag) R 122419 122422 121298 0 -1 4194304 159363 0 0 0 16147 36 0 0 20 0 1 0 142083221 1254051840 269546 18446744073709551615 4235264 15840557 140723070135104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48234496 140723070138778 140723070138855 140723070138855 140723070144459 0
/proc/122422/statm: 306165 269546 4256 2834 0 288370 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 1224660 KiB
Current children cumulated memory: 1078184 KiB
[startup+222.3 s]
/proc/loadavg: 4.34 4.20 4.13 5/264 122440
/proc/meminfo: memFree=122682148/131250000 swapFree=33010416/33010684
[pid=122422] ppid=122419 vsize=1229572 memory=1081640 CPUtime=221.66 cores=1,3
/proc/122422/stat : 122422 (mixed-bag) R 122419 122422 121298 0 -1 4194304 160249 0 0 0 22130 36 0 0 20 0 1 0 142083221 1259081728 270410 18446744073709551615 4235264 15840557 140723070135104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48234496 140723070138778 140723070138855 140723070138855 140723070144459 0
/proc/122422/statm: 307393 270410 4256 2834 0 289598 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 1229572 KiB
Current children cumulated memory: 1081640 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.18 4.13 5/264 122442
/proc/meminfo: memFree=122551948/131250000 swapFree=33010416/33010684
[pid=122422] ppid=122419 vsize=1269912 memory=1104040 CPUtime=281.49 cores=1,3
/proc/122422/stat : 122422 (mixed-bag) R 122419 122422 121298 0 -1 4194304 165891 0 0 0 28112 37 0 0 20 0 1 0 142083221 1300389888 276010 18446744073709551615 4235264 15840557 140723070135104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48234496 140723070138778 140723070138855 140723070138855 140723070144459 0
/proc/122422/statm: 317478 276010 4256 2834 0 299683 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 1269912 KiB
Current children cumulated memory: 1104040 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.16 4.12 5/264 122445
/proc/meminfo: memFree=122962652/131250000 swapFree=33010416/33010684
[pid=122422] ppid=122419 vsize=720092 memory=647336 CPUtime=341.34 cores=1,3
/proc/122422/stat : 122422 (mixed-bag) R 122419 122422 121298 0 -1 4194304 167660 0 0 0 34068 66 0 0 20 0 1 0 142083221 737374208 161834 18446744073709551615 4235264 15840557 140723070135104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48234496 140723070138778 140723070138855 140723070138855 140723070144459 0
/proc/122422/statm: 180023 161834 4448 2834 0 162228 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 720092 KiB
Current children cumulated memory: 647336 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.14 4.12 5/264 122454
/proc/meminfo: memFree=122894084/131250000 swapFree=33010416/33010684
[pid=122422] ppid=122419 vsize=739060 memory=657360 CPUtime=401.19 cores=1,3
/proc/122422/stat : 122422 (mixed-bag) R 122419 122422 121298 0 -1 4194304 168092 0 0 0 40039 80 0 0 20 0 1 0 142083221 756797440 164340 18446744073709551615 4235264 15840557 140723070135104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48234496 140723070138778 140723070138855 140723070138855 140723070144459 0
/proc/122422/statm: 184765 164340 4448 2834 0 166970 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 739060 KiB
Current children cumulated memory: 657360 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.13 4.11 5/264 122456
/proc/meminfo: memFree=122798676/131250000 swapFree=33010416/33010684
[pid=122422] ppid=122419 vsize=739060 memory=663504 CPUtime=461.03 cores=1,3
/proc/122422/stat : 122422 (mixed-bag) R 122419 122422 121298 0 -1 4194304 168097 0 0 0 46007 96 0 0 20 0 1 0 142083221 756797440 165876 18446744073709551615 4235264 15840557 140723070135104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48234496 140723070138778 140723070138855 140723070138855 140723070144459 0
/proc/122422/statm: 184765 165876 4448 2834 0 166970 0
Current children cumulated CPU time: 461.03 s
################
# More data... #
################
Current children cumulated memory: 734340 KiB
[startup+2862.3 s]
/proc/loadavg: 3.10 3.18 3.52 4/258 122607
/proc/meminfo: memFree=115067968/131250000 swapFree=33010416/33010684
[pid=122422] ppid=122419 vsize=819968 memory=736388 CPUtime=2854.49 cores=1,3
/proc/122422/stat : 122422 (mixed-bag) R 122419 122422 121298 0 -1 4194304 169606 0 0 0 284658 791 0 0 20 0 1 0 142083221 839647232 184097 18446744073709551615 4235264 15840557 140723070135104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48234496 140723070138778 140723070138855 140723070138855 140723070144459 0
/proc/122422/statm: 204992 184097 4448 2834 0 187197 0
Current children cumulated CPU time: 2854.49 s
Current children cumulated vsize: 819968 KiB
Current children cumulated memory: 736388 KiB
[startup+2922.3 s]
/proc/loadavg: 3.08 3.16 3.50 4/258 122609
/proc/meminfo: memFree=114963556/131250000 swapFree=33010416/33010684
[pid=122422] ppid=122419 vsize=819968 memory=738436 CPUtime=2914.31 cores=1,3
/proc/122422/stat : 122422 (mixed-bag) R 122419 122422 121298 0 -1 4194304 169607 0 0 0 290626 805 0 0 20 0 1 0 142083221 839647232 184609 18446744073709551615 4235264 15840557 140723070135104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48234496 140723070138778 140723070138855 140723070138855 140723070144459 0
/proc/122422/statm: 204992 184609 4448 2834 0 187197 0
Current children cumulated CPU time: 2914.31 s
Current children cumulated vsize: 819968 KiB
Current children cumulated memory: 738436 KiB
[startup+2982.3 s]
/proc/loadavg: 1.99 2.85 3.37 2/247 122674
/proc/meminfo: memFree=128037684/131250000 swapFree=33010416/33010684
[pid=122422] ppid=122419 vsize=819968 memory=738436 CPUtime=2974.15 cores=1,3
/proc/122422/stat : 122422 (mixed-bag) R 122419 122422 121298 0 -1 4194304 169609 0 0 0 296592 823 0 0 20 0 1 0 142083221 839647232 184609 18446744073709551615 4235264 15840557 140723070135104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48234496 140723070138778 140723070138855 140723070138855 140723070144459 0
/proc/122422/statm: 204992 184609 4448 2834 0 187197 0
Current children cumulated CPU time: 2974.15 s
Current children cumulated vsize: 819968 KiB
Current children cumulated memory: 738436 KiB
[startup+3042.3 s]
/proc/loadavg: 1.41 2.53 3.22 2/247 122676
/proc/meminfo: memFree=128022240/131250000 swapFree=33010416/33010684
[pid=122422] ppid=122419 vsize=819968 memory=740484 CPUtime=3033.98 cores=1,3
/proc/122422/stat : 122422 (mixed-bag) R 122419 122422 121298 0 -1 4194304 169615 0 0 0 302556 842 0 0 20 0 1 0 142083221 839647232 185121 18446744073709551615 4235264 15840557 140723070135104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48234496 140723070138778 140723070138855 140723070138855 140723070144459 0
/proc/122422/statm: 204992 185121 4448 2834 0 187197 0
Current children cumulated CPU time: 3033.98 s
Current children cumulated vsize: 819968 KiB
Current children cumulated memory: 740484 KiB
[startup+3102.3 s]
/proc/loadavg: 1.26 2.28 3.09 2/247 122678
/proc/meminfo: memFree=128023348/131250000 swapFree=33010416/33010684
[pid=122422] ppid=122419 vsize=819968 memory=740612 CPUtime=3093.81 cores=1,3
/proc/122422/stat : 122422 (mixed-bag) R 122419 122422 121298 0 -1 4194304 169629 0 0 0 308521 860 0 0 20 0 1 0 142083221 839647232 185153 18446744073709551615 4235264 15840557 140723070135104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48234496 140723070138778 140723070138855 140723070138855 140723070144459 0
/proc/122422/statm: 204992 185153 4448 2834 0 187197 0
Current children cumulated CPU time: 3093.81 s
Current children cumulated vsize: 819968 KiB
Current children cumulated memory: 740612 KiB
[startup+3162.3 s]
/proc/loadavg: 1.17 2.06 2.96 2/246 122680
/proc/meminfo: memFree=127988292/131250000 swapFree=33010416/33010684
[pid=122422] ppid=122419 vsize=819968 memory=748420 CPUtime=3153.64 cores=1,3
/proc/122422/stat : 122422 (mixed-bag) R 122419 122422 121298 0 -1 4194304 169641 0 0 0 314486 878 0 0 20 0 1 0 142083221 839647232 187105 18446744073709551615 4235264 15840557 140723070135104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48234496 140723070138778 140723070138855 140723070138855 140723070144459 0
/proc/122422/statm: 204992 187105 4448 2834 0 187197 0
Current children cumulated CPU time: 3153.64 s
Current children cumulated vsize: 819968 KiB
Current children cumulated memory: 748420 KiB
[startup+3222.3 s]
/proc/loadavg: 1.18 1.89 2.85 2/246 122682
/proc/meminfo: memFree=127982508/131250000 swapFree=33010416/33010684
[pid=122422] ppid=122419 vsize=819968 memory=751108 CPUtime=3213.48 cores=1,3
/proc/122422/stat : 122422 (mixed-bag) R 122419 122422 121298 0 -1 4194304 169645 0 0 0 320452 896 0 0 20 0 1 0 142083221 839647232 187777 18446744073709551615 4235264 15840557 140723070135104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48234496 140723070138778 140723070138855 140723070138855 140723070144459 0
/proc/122422/statm: 204992 187777 4448 2834 0 187197 0
Current children cumulated CPU time: 3213.48 s
Current children cumulated vsize: 819968 KiB
Current children cumulated memory: 751108 KiB
[startup+3282.3 s]
/proc/loadavg: 1.13 1.75 2.73 2/245 122685
/proc/meminfo: memFree=127983820/131250000 swapFree=33010416/33010684
[pid=122422] ppid=122419 vsize=819968 memory=752132 CPUtime=3273.32 cores=1,3
/proc/122422/stat : 122422 (mixed-bag) R 122419 122422 121298 0 -1 4194304 169812 0 0 0 326421 911 0 0 20 0 1 0 142083221 839647232 188033 18446744073709551615 4235264 15840557 140723070135104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48234496 140723070138778 140723070138855 140723070138855 140723070144459 0
/proc/122422/statm: 204992 188033 4448 2834 0 187197 0
Current children cumulated CPU time: 3273.32 s
Current children cumulated vsize: 819968 KiB
Current children cumulated memory: 752132 KiB
[startup+3342.3 s]
/proc/loadavg: 1.09 1.62 2.63 2/245 122687
/proc/meminfo: memFree=127978492/131250000 swapFree=33010416/33010684
[pid=122422] ppid=122419 vsize=901356 memory=757636 CPUtime=3333.16 cores=1,3
/proc/122422/stat : 122422 (mixed-bag) R 122419 122422 121298 0 -1 4194304 170185 0 0 0 332385 931 0 0 20 0 1 0 142083221 922988544 189409 18446744073709551615 4235264 15840557 140723070135104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48234496 140723070138778 140723070138855 140723070138855 140723070144459 0
/proc/122422/statm: 225339 189409 4448 2834 0 207544 0
Current children cumulated CPU time: 3333.16 s
Current children cumulated vsize: 901356 KiB
Current children cumulated memory: 757636 KiB
[startup+3402.3 s]
/proc/loadavg: 1.10 1.52 2.53 2/245 122689
/proc/meminfo: memFree=127981508/131250000 swapFree=33010416/33010684
[pid=122422] ppid=122419 vsize=901356 memory=757636 CPUtime=3393 cores=1,3
/proc/122422/stat : 122422 (mixed-bag) R 122419 122422 121298 0 -1 4194304 170217 0 0 0 338351 949 0 0 20 0 1 0 142083221 922988544 189409 18446744073709551615 4235264 15840557 140723070135104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48234496 140723070138778 140723070138855 140723070138855 140723070144459 0
/proc/122422/statm: 225339 189409 4448 2834 0 207544 0
Current children cumulated CPU time: 3393 s
Current children cumulated vsize: 901356 KiB
Current children cumulated memory: 757636 KiB
[startup+3462.3 s]
/proc/loadavg: 1.09 1.44 2.43 2/248 122701
/proc/meminfo: memFree=128014140/131250000 swapFree=33010416/33010684
[pid=122422] ppid=122419 vsize=901356 memory=757636 CPUtime=3452.86 cores=1,3
/proc/122422/stat : 122422 (mixed-bag) R 122419 122422 121298 0 -1 4194304 170217 0 0 0 344322 964 0 0 20 0 1 0 142083221 922988544 189409 18446744073709551615 4235264 15840557 140723070135104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48234496 140723070138778 140723070138855 140723070138855 140723070144459 0
/proc/122422/statm: 225339 189409 4448 2834 0 207544 0
Current children cumulated CPU time: 3452.86 s
Current children cumulated vsize: 901356 KiB
Current children cumulated memory: 757636 KiB
[startup+3522.3 s]
/proc/loadavg: 1.07 1.37 2.35 2/249 122704
/proc/meminfo: memFree=128027964/131250000 swapFree=33010416/33010684
[pid=122422] ppid=122419 vsize=901356 memory=765700 CPUtime=3512.72 cores=1,3
/proc/122422/stat : 122422 (mixed-bag) R 122419 122422 121298 0 -1 4194304 170219 0 0 0 350293 979 0 0 20 0 1 0 142083221 922988544 191425 18446744073709551615 4235264 15840557 140723070135104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48234496 140723070138778 140723070138855 140723070138855 140723070144459 0
/proc/122422/statm: 225339 191425 4448 2834 0 207544 0
Current children cumulated CPU time: 3512.72 s
Current children cumulated vsize: 901356 KiB
Current children cumulated memory: 765700 KiB
[startup+3582.3 s]
/proc/loadavg: 1.06 1.32 2.27 2/250 122707
/proc/meminfo: memFree=128029232/131250000 swapFree=33010416/33010684
[pid=122422] ppid=122419 vsize=901356 memory=765700 CPUtime=3572.58 cores=1,3
/proc/122422/stat : 122422 (mixed-bag) R 122419 122422 121298 0 -1 4194304 170219 0 0 0 356263 995 0 0 20 0 1 0 142083221 922988544 191425 18446744073709551615 4235264 15840557 140723070135104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48234496 140723070138778 140723070138855 140723070138855 140723070144459 0
/proc/122422/statm: 225339 191425 4448 2834 0 207544 0
Current children cumulated CPU time: 3572.58 s
Current children cumulated vsize: 901356 KiB
Current children cumulated memory: 765700 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 1.11 1.30 2.23 2/250 122721
/proc/meminfo: memFree=128036740/131250000 swapFree=33010416/33010684
[pid=122422] ppid=122419 vsize=901356 memory=765700 CPUtime=3600.01 cores=1,3
/proc/122422/stat : 122422 (mixed-bag) R 122419 122422 121298 0 -1 4194304 170219 0 0 0 359000 1001 0 0 20 0 1 0 142083221 922988544 191425 18446744073709551615 4235264 15840557 140723070135104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48234496 140723070138778 140723070138855 140723070138855 140723070144459 0
/proc/122422/statm: 225339 191425 4448 2834 0 207544 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 901356 KiB
Current children cumulated memory: 765700 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.81 s]
# the end of solver process 122422 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.01 s, system=10.022 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.81
CPU time (s): 3600.03
CPU user time (s): 3590.01
CPU system time (s): 10.022
CPU usage (%): 99.7292
Max. virtual memory (cumulated for all children) (KiB): 1269912
Max. memory (cumulated for all children) (KiB): 1104168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.01
system time used= 10.022
maximum resident set size= 1104168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170253
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= 177
involuntary context switches= 6272
# summary of solver processes directly reported to runsolver:
# pid: 122422
# total CPU time (s): 3600.03
# total CPU user time (s): 3590.01
# total CPU system time (s): 10.022
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.7453 second user time and 11.5839 second system time
The end
Begin job on nodeC018 at 2025-07-11 22:00:54
IDJOB=4529301
IDBENCH=178227
IDSOLVER=3386
FILE ID=nodeC018/4529301-1752264054
RUNJOBID= nodeC018-1752256148-121310
SLURM_JOB_ID= 9682594
Free space on /tmp= 432516 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
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-4529301-1752264054/watcher-4529301-1752264054 -o /tmp/evaluation-result-4529301-1752264054/solver-4529301-1752264054 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1752256148-121310 --watchdog 3760 mixed-bag HOME/instance-4529301-1752264054.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1733aa67cc51115e0f42d9b93b5f287e
RANDOM SEED=1183258946
nodeC018 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 : 0xb00002a
cpu MHz : 3599.832
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.66
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 : 0xb00002a
cpu MHz : 3599.882
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.66
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 : 0xb00002a
cpu MHz : 3630.900
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.66
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 : 0xb00002a
cpu MHz : 3648.295
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.66
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 : 0xb00002a
cpu MHz : 3599.825
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.66
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 : 0xb00002a
cpu MHz : 3599.830
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.66
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 : 0xb00002a
cpu MHz : 3599.865
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.66
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 : 0xb00002a
cpu MHz : 3599.818
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 123989600 kB
MemAvailable: 124971252 kB
Buffers: 2128 kB
Cached: 1742864 kB
SwapCached: 32 kB
Active: 5336328 kB
Inactive: 1214008 kB
Active(anon): 4823104 kB
Inactive(anon): 288 kB
Active(file): 513224 kB
Inactive(file): 1213720 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 21716 kB
Writeback: 0 kB
AnonPages: 4805452 kB
Mapped: 140748 kB
Shmem: 18044 kB
KReclaimable: 187492 kB
Slab: 281244 kB
SReclaimable: 187492 kB
SUnreclaim: 93752 kB
KernelStack: 4288 kB
PageTables: 12788 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 5553572 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 937984 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432556 MiB
End job on nodeC018 at 2025-07-11 23:01:04