| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3602.03 | 3612.5 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_block/ normalized-maxcut_opt_complete_6-partite_block_nvert_72.opb |
| MD5SUM | ba01a5d98b16d8ee23010d930c3d525f |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -1296 |
| Best CPU time to get the best result obtained on this benchmark | 3008.4 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 2556 |
| Total number of constraints | 238560 |
| Number of constraints which are clauses | 238560 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 2160 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 2160 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 2160 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 1.10/1.18 c #variables 2556 #constraints 238560 6.77/6.86 c bounds - >= -2160 @ 0.904428 6.77/6.86 c bounds 0 >= -2160 @ 6.40527 6.77/6.86 c bounds 0 >= -2159 @ 6.40626 6.77/6.86 c bounds 0 >= -2158 @ 6.407 6.77/6.86 c bounds 0 >= -2157 @ 6.40776 6.77/6.86 c bounds 0 >= -2156 @ 6.40851 6.77/6.86 c bounds 0 >= -2155 @ 6.40924 6.77/6.86 c bounds 0 >= -2154 @ 6.40996 6.77/6.86 c bounds 0 >= -2153 @ 6.41069 6.77/6.86 c bounds 0 >= -2152 @ 6.41141 6.77/6.86 c bounds 0 >= -2151 @ 6.41212 6.77/6.86 c bounds 0 >= -2150 @ 6.41284 6.77/6.86 c bounds 0 >= -2149 @ 6.41359 6.77/6.86 c bounds 0 >= -2148 @ 6.41432 6.77/6.86 c bounds 0 >= -2147 @ 6.41526 6.77/6.86 c bounds 0 >= -2146 @ 6.41605 6.77/6.86 c bounds 0 >= -2145 @ 6.41683 6.77/6.86 c bounds 0 >= -2144 @ 6.41758 6.77/6.86 c bounds 0 >= -2143 @ 6.41834 6.77/6.86 c bounds 0 >= -2142 @ 6.41909 6.77/6.86 c bounds 0 >= -2141 @ 6.41982 6.77/6.86 c bounds 0 >= -2140 @ 6.42055 6.77/6.86 c bounds 0 >= -2139 @ 6.42127 6.77/6.86 c bounds 0 >= -2138 @ 6.42198 6.77/6.86 c bounds 0 >= -2137 @ 6.4227 6.77/6.86 c bounds 0 >= -2136 @ 6.4234 6.77/6.86 c bounds 0 >= -2135 @ 6.4245 6.77/6.86 c bounds 0 >= -2134 @ 6.42526 6.77/6.86 c bounds 0 >= -2133 @ 6.42602 6.77/6.86 c bounds 0 >= -2132 @ 6.42678 6.77/6.86 c bounds 0 >= -2131 @ 6.42752 6.77/6.86 c bounds 0 >= -2130 @ 6.42828 6.77/6.86 c bounds 0 >= -2129 @ 6.42902 6.77/6.86 c bounds 0 >= -2128 @ 6.42977 6.77/6.86 c bounds 0 >= -2127 @ 6.4305 6.77/6.86 c bounds 0 >= -2126 @ 6.43124 6.77/6.86 c bounds 0 >= -2125 @ 6.43197 6.77/6.86 c bounds 0 >= -2124 @ 6.43271 6.77/6.86 c bounds 0 >= -2123 @ 6.43355 6.77/6.86 c bounds 0 >= -2122 @ 6.43437 6.77/6.86 c bounds 0 >= -2121 @ 6.43519 6.77/6.86 c bounds 0 >= -2120 @ 6.43601 6.77/6.86 c bounds 0 >= -2119 @ 6.43682 6.77/6.86 c bounds 0 >= -2118 @ 6.43763 6.77/6.86 c bounds 0 >= -2117 @ 6.43844 6.77/6.86 c bounds 0 >= -2116 @ 6.43924 6.77/6.86 c bounds 0 >= -2115 @ 6.44005 6.77/6.86 c bounds 0 >= -2114 @ 6.44086 6.77/6.86 c bounds 0 >= -2113 @ 6.441 6.77/6.86 c bounds 0 >= -2112 @ 6.4415 6.77/6.86 c bounds 0 >= -2111 @ 6.4425 6.77/6.86 c bounds 0 >= -2110 @ 6.4433 6.77/6.86 c bounds 0 >= -2109 @ 6.44413 6.77/6.86 c bounds 0 >= -2108 @ 6.44495 6.77/6.86 c bounds 0 >= -2107 @ 6.44576 6.77/6.86 c bounds 0 >= -2106 @ 6.44661 6.77/6.86 c bounds 0 >= -2105 @ 6.44739 6.77/6.86 c bounds 0 >= -2104 @ 6.44816 6.77/6.86 c bounds 0 >= -2103 @ 6.44893 6.77/6.86 c bounds 0 >= -2102 @ 6.44971 6.77/6.86 c bounds 0 >= -2101 @ 6.45052 6.77/6.86 c bounds 0 >= -2100 @ 6.45127 6.77/6.86 c bounds 0 >= -2099 @ 6.45135 6.77/6.86 c bounds 0 >= -2098 @ 6.45197 6.77/6.86 c bounds 0 >= -2097 @ 6.45214 6.77/6.86 c bounds 0 >= -2096 @ 6.45258 6.77/6.86 c bounds 0 >= -2095 @ 6.4533 6.77/6.86 c bounds 0 >= -2094 @ 6.45408 6.77/6.86 c bounds 0 >= -2093 @ 6.45488 6.77/6.86 c bounds 0 >= -2092 @ 6.45566 6.77/6.86 c bounds 0 >= -2091 @ 6.45641 6.77/6.86 c bounds 0 >= -2090 @ 6.45717 6.77/6.86 c bounds 0 >= -2089 @ 6.45794 6.77/6.86 c bounds 0 >= -2088 @ 6.45867 6.77/6.86 c bounds 0 >= -2087 @ 6.45963 6.77/6.86 c bounds 0 >= -2086 @ 6.46039 6.77/6.86 c bounds 0 >= -2085 @ 6.46115 6.77/6.86 c bounds 0 >= -2084 @ 6.4619 6.77/6.86 c bounds 0 >= -2083 @ 6.46266 6.77/6.86 c bounds 0 >= -2082 @ 6.4634 6.77/6.86 c bounds 0 >= -2081 @ 6.46415 6.77/6.86 c bounds 0 >= -2080 @ 6.4649 6.77/6.86 c bounds 0 >= -2079 @ 6.46563 6.77/6.86 c bounds 0 >= -2078 @ 6.46637 6.77/6.86 c bounds 0 >= -2077 @ 6.4671 6.77/6.86 c bounds 0 >= -2076 @ 6.46784 6.77/6.86 c bounds 0 >= -2075 @ 6.46869 6.77/6.86 c bounds 0 >= -2074 @ 6.46945 6.77/6.86 c bounds 0 >= -2073 @ 6.47021 6.77/6.86 c bounds 0 >= -2072 @ 6.47029 6.77/6.86 c bounds 0 >= -2071 @ 6.47074 6.77/6.86 c bounds 0 >= -2070 @ 6.47149 6.77/6.86 c bounds 0 >= -2069 @ 6.47222 6.77/6.86 c bounds 0 >= -2068 @ 6.47229 6.77/6.86 c bounds 0 >= -2067 @ 6.47274 6.77/6.86 c bounds 0 >= -2066 @ 6.47347 6.77/6.86 c bounds 0 >= -2065 @ 6.47418 6.77/6.86 c bounds 0 >= -2064 @ 6.47427 6.77/6.86 c bounds 0 >= -2063 @ 6.47488 6.77/6.86 c bounds 0 >= -2062 @ 6.47565 6.77/6.86 c bounds 0 >= -2061 @ 6.47582 6.77/6.86 c bounds 0 >= -2060 @ 6.47618 6.77/6.86 c bounds 0 >= -2059 @ 6.47628 6.77/6.86 c bounds 0 >= -2058 @ 6.47672 6.77/6.86 c bounds 0 >= -2057 @ 6.47747 6.77/6.86 c bounds 0 >= -2056 @ 6.4782 6.77/6.86 c bounds 0 >= -2055 @ 6.47828 6.77/6.86 c bounds 0 >= -2054 @ 6.47883 6.77/6.86 c bounds 0 >= -2053 @ 6.47958 6.77/6.86 c bounds 0 >= -2052 @ 6.48033 6.77/6.86 c bounds 0 >= -2051 @ 6.48108 6.77/6.86 c bounds 0 >= -2050 @ 6.48182 6.77/6.86 c bounds 0 >= -2049 @ 6.48256 6.77/6.86 c bounds 0 >= -2048 @ 6.4833 6.77/6.86 c bounds 0 >= -2047 @ 6.48417 6.77/6.86 c bounds 0 >= -2046 @ 6.48426 6.77/6.86 c bounds 0 >= -2045 @ 6.48473 6.77/6.86 c bounds 0 >= -2044 @ 6.48548 6.77/6.86 c bounds 0 >= -2043 @ 6.48668 6.77/6.86 c bounds 0 >= -2042 @ 6.48746 6.77/6.86 c bounds 0 >= -2041 @ 6.4882 6.77/6.86 c bounds 0 >= -2040 @ 6.48896 6.77/6.86 c bounds 0 >= -2039 @ 6.48971 6.77/6.86 c bounds 0 >= -2038 @ 6.49045 6.77/6.86 c bounds 0 >= -2037 @ 6.49119 6.77/6.86 c bounds 0 >= -2036 @ 6.49193 6.77/6.86 c bounds 0 >= -2035 @ 6.49284 6.77/6.86 c bounds 0 >= -2034 @ 6.49368 6.77/6.86 c bounds 0 >= -2033 @ 6.49446 6.77/6.86 c bounds 0 >= -2032 @ 6.49525 6.77/6.86 c bounds 0 >= -2031 @ 6.49601 6.77/6.86 c bounds 0 >= -2030 @ 6.49677 6.77/6.86 c bounds 0 >= -2029 @ 6.49753 6.77/6.86 c bounds 0 >= -2028 @ 6.49828 6.77/6.86 c bounds 0 >= -2027 @ 6.49908 6.77/6.86 c bounds 0 >= -2026 @ 6.49985 6.77/6.86 c bounds 0 >= -2025 @ 6.50061 6.77/6.86 c bounds 0 >= -2024 @ 6.50138 6.87/6.98 c bounds 0 >= -2023 @ 6.50216 6.87/6.98 c bounds 0 >= -2022 @ 6.50297 6.87/6.98 c bounds 0 >= -2021 @ 6.50374 6.87/6.98 c bounds 0 >= -2020 @ 6.50453 6.87/6.98 c bounds 0 >= -2019 @ 6.50539 6.87/6.98 c bounds 0 >= -2018 @ 6.50617 6.87/6.98 c bounds 0 >= -2017 @ 6.50703 6.87/6.98 c bounds 0 >= -2016 @ 6.50786 6.87/6.98 c bounds 0 >= -2015 @ 6.50881 6.87/6.98 c bounds 0 >= -2014 @ 6.50958 6.87/6.98 c bounds 0 >= -2013 @ 6.51034 6.87/6.98 c bounds 0 >= -2012 @ 6.51111 6.87/6.98 c bounds 0 >= -2011 @ 6.51186 6.87/6.98 c bounds 0 >= -2010 @ 6.51261 6.87/6.98 c bounds 0 >= -2009 @ 6.51381 6.87/6.98 c bounds 0 >= -2008 @ 6.51455 6.87/6.98 c bounds 0 >= -2007 @ 6.51547 6.87/6.98 c bounds 0 >= -2006 @ 6.51625 6.87/6.98 c bounds 0 >= -2005 @ 6.51702 6.87/6.98 c bounds 0 >= -2004 @ 6.51779 6.87/6.98 c bounds 0 >= -2003 @ 6.51796 6.87/6.98 c bounds 0 >= -2002 @ 6.51836 6.87/6.98 c bounds 0 >= -2001 @ 6.51909 6.87/6.98 c bounds 0 >= -2000 @ 6.51984 6.87/6.98 c bounds 0 >= -1999 @ 6.52065 6.87/6.98 c bounds 0 >= -1998 @ 6.52141 6.87/6.98 c bounds 0 >= -1997 @ 6.52218 6.87/6.98 c bounds 0 >= -1996 @ 6.52294 6.87/6.98 c bounds 0 >= -1995 @ 6.52369 6.87/6.98 c bounds 0 >= -1994 @ 6.52444 6.87/6.98 c bounds 0 >= -1993 @ 6.52519 6.87/6.98 c bounds 0 >= -1992 @ 6.52601 6.87/6.98 c bounds 0 >= -1991 @ 6.52691 6.87/6.98 c bounds 0 >= -1990 @ 6.52708 6.87/6.98 c bounds 0 >= -1989 @ 6.52761 6.87/6.98 c bounds 0 >= -1988 @ 6.52843 6.87/6.98 c bounds 0 >= -1987 @ 6.52942 6.87/6.98 c bounds 0 >= -1986 @ 6.53027 6.87/6.98 c bounds 0 >= -1985 @ 6.53108 6.87/6.98 c bounds 0 >= -1984 @ 6.5319 6.87/6.98 c bounds 0 >= -1983 @ 6.53206 6.87/6.98 c bounds 0 >= -1982 @ 6.53259 6.87/6.98 c bounds 0 >= -1981 @ 6.53339 6.87/6.98 c bounds 0 >= -1980 @ 6.53423 6.87/6.98 c bounds 0 >= -1979 @ 6.5352 6.87/6.98 c bounds 0 >= -1978 @ 6.536 6.87/6.98 c bounds 0 >= -1977 @ 6.5368 6.87/6.98 c bounds 0 >= -1976 @ 6.53761 6.87/6.98 c bounds 0 >= -1975 @ 6.53841 6.87/6.98 c bounds 0 >= -1974 @ 6.53919 6.87/6.98 c bounds 0 >= -1973 @ 6.53998 6.87/6.98 c bounds 0 >= -1972 @ 6.54008 6.87/6.98 c bounds 0 >= -1971 @ 6.54065 6.87/6.98 c bounds 0 >= -1970 @ 6.54144 6.87/6.98 c bounds 0 >= -1969 @ 6.54222 6.87/6.98 c bounds 0 >= -1968 @ 6.543 6.87/6.98 c bounds 0 >= -1967 @ 6.54379 6.87/6.98 c bounds 0 >= -1966 @ 6.54395 6.87/6.98 c bounds 0 >= -1965 @ 6.5444 6.87/6.98 c bounds 0 >= -1964 @ 6.54517 6.87/6.98 c bounds 0 >= -1963 @ 6.54602 6.87/6.98 c bounds 0 >= -1962 @ 6.54682 6.87/6.98 c bounds 0 >= -1961 @ 6.54759 6.87/6.98 c bounds 0 >= -1960 @ 6.54836 6.87/6.98 c bounds 0 >= -1959 @ 6.54929 6.87/6.98 c bounds 0 >= -1958 @ 6.55006 6.87/6.98 c bounds 0 >= -1957 @ 6.55083 6.87/6.98 c bounds 0 >= -1956 @ 6.5516 6.87/6.98 c bounds 0 >= -1955 @ 6.55237 6.87/6.98 c bounds 0 >= -1954 @ 6.55313 6.87/6.98 c bounds 0 >= -1953 @ 6.55389 6.87/6.98 c bounds 0 >= -1952 @ 6.55463 6.87/6.98 c bounds 0 >= -1951 @ 6.55555 6.87/6.98 c bounds 0 >= -1950 @ 6.55634 6.87/6.98 c bounds 0 >= -1949 @ 6.55713 6.87/6.98 c bounds 0 >= -1948 @ 6.55791 6.87/6.98 c bounds 0 >= -1947 @ 6.5588 6.87/6.98 c bounds 0 >= -1946 @ 6.5596 6.87/6.98 c bounds 0 >= -1945 @ 6.56041 6.87/6.98 c bounds 0 >= -1944 @ 6.5612 6.87/6.98 c bounds 0 >= -1943 @ 6.56199 6.87/6.98 c bounds 0 >= -1942 @ 6.56278 6.87/6.98 c bounds 0 >= -1941 @ 6.56356 6.87/6.98 c bounds 0 >= -1940 @ 6.56439 6.87/6.98 c bounds 0 >= -1939 @ 6.56523 6.87/6.98 c bounds 0 >= -1938 @ 6.56606 6.87/6.98 c bounds 0 >= -1937 @ 6.56688 6.87/6.98 c bounds 0 >= -1936 @ 6.5677 6.87/6.98 c bounds 0 >= -1935 @ 6.56875 6.87/6.98 c bounds 0 >= -1934 @ 6.56962 6.87/6.98 c bounds 0 >= -1933 @ 6.57049 6.87/6.98 c bounds 0 >= -1932 @ 6.57135 6.87/6.98 c bounds 0 >= -1931 @ 6.57247 6.87/6.98 c bounds 0 >= -1930 @ 6.57332 6.87/6.98 c bounds 0 >= -1929 @ 6.57417 6.87/6.98 c bounds 0 >= -1928 @ 6.57496 6.87/6.98 c bounds 0 >= -1927 @ 6.57574 6.87/6.98 c bounds 0 >= -1926 @ 6.57658 6.87/6.98 c bounds 0 >= -1925 @ 6.57742 6.87/6.98 c bounds -60 >= -1925 @ 6.5838 6.87/6.98 c bounds -60 >= -1924 @ 6.585 6.87/6.98 c bounds -60 >= -1923 @ 6.58599 6.87/6.98 c bounds -60 >= -1922 @ 6.58686 6.87/6.98 c bounds -60 >= -1921 @ 6.58772 6.87/6.98 c bounds -60 >= -1920 @ 6.58857 6.87/6.98 c bounds -60 >= -1919 @ 6.58951 6.87/6.98 c bounds -60 >= -1918 @ 6.59037 6.87/6.98 c bounds -60 >= -1917 @ 6.59122 6.87/6.98 c bounds -60 >= -1916 @ 6.59207 6.87/6.98 c bounds -60 >= -1915 @ 6.59291 6.87/6.98 c bounds -60 >= -1914 @ 6.59376 6.87/6.98 c bounds -60 >= -1913 @ 6.5946 6.87/6.98 c bounds -60 >= -1912 @ 6.59543 6.87/6.98 c bounds -60 >= -1911 @ 6.59625 6.87/6.98 c bounds -60 >= -1910 @ 6.59709 6.87/6.98 c bounds -60 >= -1909 @ 6.59789 6.87/6.98 c bounds -60 >= -1908 @ 6.59867 6.87/6.98 c bounds -60 >= -1907 @ 6.59975 6.87/6.98 c bounds -60 >= -1906 @ 6.60061 6.87/6.98 c bounds -60 >= -1905 @ 6.60145 6.87/6.98 c bounds -60 >= -1904 @ 6.60229 6.87/6.98 c bounds -60 >= -1903 @ 6.60291 6.87/6.98 c bounds -60 >= -1902 @ 6.60341 6.87/6.98 c bounds -60 >= -1901 @ 6.60418 6.87/6.98 c bounds -60 >= -1900 @ 6.60495 6.87/6.98 c bounds -60 >= -1899 @ 6.60572 6.87/6.98 c bounds -60 >= -1898 @ 6.60652 6.87/6.98 c bounds -60 >= -1897 @ 6.6073 6.87/6.98 c bounds -60 >= -1896 @ 6.60808 6.87/6.98 c bounds -60 >= -1895 @ 6.60901 6.87/6.98 c bounds -60 >= -1894 @ 6.6098 6.87/6.98 c bounds -60 >= -1893 @ 6.61058 6.87/6.98 c bounds -60 >= -1892 @ 6.61136 6.87/6.98 c bounds -60 >= -1891 @ 6.61218 6.99/7.10 c bounds -120 >= -1891 @ 6.61744 6.99/7.10 c bounds -120 >= -1890 @ 6.61871 6.99/7.10 c bounds -120 >= -1889 @ 6.61949 6.99/7.10 c bounds -120 >= -1888 @ 6.62027 6.99/7.10 c bounds -120 >= -1887 @ 6.62045 6.99/7.10 c bounds -120 >= -1886 @ 6.62082 6.99/7.10 c bounds -120 >= -1885 @ 6.62158 6.99/7.10 c bounds -120 >= -1884 @ 6.62235 6.99/7.10 c bounds -120 >= -1883 @ 6.62251 6.99/7.10 c bounds -120 >= -1882 @ 6.62286 6.99/7.10 c bounds -120 >= -1881 @ 6.62367 6.99/7.10 c bounds -120 >= -1880 @ 6.62448 6.99/7.10 c bounds -120 >= -1879 @ 6.62542 6.99/7.10 c bounds -120 >= -1878 @ 6.62626 6.99/7.10 c bounds -120 >= -1877 @ 6.6271 6.99/7.10 c bounds -120 >= -1876 @ 6.62793 6.99/7.10 c bounds -120 >= -1875 @ 6.62875 6.99/7.10 c bounds -120 >= -1874 @ 6.62883 6.99/7.10 c bounds -120 >= -1873 @ 6.62972 6.99/7.10 c bounds -120 >= -1872 @ 6.63053 6.99/7.10 c bounds -120 >= -1871 @ 6.63135 6.99/7.10 c bounds -120 >= -1870 @ 6.63221 6.99/7.10 c bounds -120 >= -1869 @ 6.63306 6.99/7.10 c bounds -120 >= -1868 @ 6.63393 6.99/7.10 c bounds -120 >= -1867 @ 6.63503 6.99/7.10 c bounds -120 >= -1866 @ 6.63592 6.99/7.10 c bounds -120 >= -1865 @ 6.6368 6.99/7.10 c bounds -120 >= -1864 @ 6.63768 6.99/7.10 c bounds -120 >= -1863 @ 6.63864 6.99/7.10 c bounds -120 >= -1862 @ 6.63952 6.99/7.10 c bounds -120 >= -1861 @ 6.64038 6.99/7.10 c bounds -120 >= -1860 @ 6.64127 6.99/7.10 c bounds -120 >= -1859 @ 6.64213 6.99/7.10 c bounds -120 >= -1858 @ 6.64295 6.99/7.10 c bounds -120 >= -1857 @ 6.64373 6.99/7.10 c bounds -120 >= -1856 @ 6.64453 6.99/7.10 c bounds -120 >= -1855 @ 6.64533 6.99/7.10 c bounds -120 >= -1854 @ 6.6461 6.99/7.10 c bounds -180 >= -1854 @ 6.65136 6.99/7.10 c bounds -180 >= -1853 @ 6.65245 6.99/7.10 c bounds -180 >= -1852 @ 6.65322 6.99/7.10 c bounds -180 >= -1851 @ 6.65411 6.99/7.10 c bounds -180 >= -1850 @ 6.6549 6.99/7.10 c bounds -180 >= -1849 @ 6.65575 6.99/7.10 c bounds -180 >= -1848 @ 6.65658 6.99/7.10 c bounds -180 >= -1847 @ 6.65742 6.99/7.10 c bounds -180 >= -1846 @ 6.65824 6.99/7.10 c bounds -180 >= -1845 @ 6.65935 6.99/7.10 c bounds -180 >= -1844 @ 6.6602 6.99/7.10 c bounds -180 >= -1843 @ 6.66104 6.99/7.10 c bounds -180 >= -1842 @ 6.6619 6.99/7.10 c bounds -180 >= -1841 @ 6.66275 6.99/7.10 c bounds -180 >= -1840 @ 6.66355 6.99/7.10 c bounds -180 >= -1839 @ 6.66452 6.99/7.10 c bounds -180 >= -1838 @ 6.66534 6.99/7.10 c bounds -180 >= -1837 @ 6.66616 6.99/7.10 c bounds -180 >= -1836 @ 6.66698 6.99/7.10 c bounds -180 >= -1835 @ 6.66779 6.99/7.10 c bounds -180 >= -1834 @ 6.66859 6.99/7.10 c bounds -180 >= -1833 @ 6.6694 6.99/7.10 c bounds -180 >= -1832 @ 6.67019 6.99/7.10 c bounds -180 >= -1831 @ 6.6716 6.99/7.10 c bounds -180 >= -1830 @ 6.67249 6.99/7.10 c bounds -180 >= -1829 @ 6.67332 6.99/7.10 c bounds -180 >= -1828 @ 6.67414 6.99/7.10 c bounds -180 >= -1827 @ 6.67502 6.99/7.10 c bounds -180 >= -1826 @ 6.67585 6.99/7.10 c bounds -180 >= -1825 @ 6.67667 6.99/7.10 c bounds -180 >= -1824 @ 6.67748 6.99/7.10 c bounds -180 >= -1823 @ 6.67837 6.99/7.10 c bounds -240 >= -1823 @ 6.68352 6.99/7.10 c bounds -240 >= -1822 @ 6.68473 6.99/7.10 c bounds -240 >= -1821 @ 6.6855 6.99/7.10 c bounds -240 >= -1820 @ 6.68627 6.99/7.10 c bounds -240 >= -1819 @ 6.68703 6.99/7.10 c bounds -240 >= -1818 @ 6.68778 6.99/7.10 c bounds -240 >= -1817 @ 6.68853 6.99/7.10 c bounds -240 >= -1816 @ 6.68934 6.99/7.10 c bounds -240 >= -1815 @ 6.69057 6.99/7.10 c bounds -240 >= -1814 @ 6.69144 6.99/7.10 c bounds -240 >= -1813 @ 6.69227 6.99/7.10 c bounds -240 >= -1812 @ 6.69309 6.99/7.10 c bounds -240 >= -1811 @ 6.69399 6.99/7.10 c bounds -240 >= -1810 @ 6.69415 6.99/7.10 c bounds -240 >= -1809 @ 6.69456 6.99/7.10 c bounds -240 >= -1808 @ 6.69462 6.99/7.10 c bounds -240 >= -1807 @ 6.69524 6.99/7.10 c bounds -240 >= -1806 @ 6.69602 6.99/7.10 c bounds -240 >= -1805 @ 6.69681 6.99/7.10 c bounds -240 >= -1804 @ 6.69757 6.99/7.10 c bounds -240 >= -1803 @ 6.69835 6.99/7.10 c bounds -240 >= -1802 @ 6.69912 6.99/7.10 c bounds -240 >= -1801 @ 6.69989 6.99/7.10 c bounds -240 >= -1800 @ 6.70066 6.99/7.10 c bounds -240 >= -1799 @ 6.70171 6.99/7.10 c bounds -240 >= -1798 @ 6.70253 6.99/7.10 c bounds -240 >= -1797 @ 6.70331 6.99/7.10 c bounds -240 >= -1796 @ 6.70408 6.99/7.10 c bounds -240 >= -1795 @ 6.70487 6.99/7.10 c bounds -240 >= -1794 @ 6.70571 6.99/7.10 c bounds -240 >= -1793 @ 6.7065 6.99/7.10 c bounds -240 >= -1792 @ 6.70728 6.99/7.10 c bounds -300 >= -1792 @ 6.7129 6.99/7.10 c bounds -300 >= -1791 @ 6.7142 6.99/7.10 c bounds -300 >= -1790 @ 6.71501 6.99/7.10 c bounds -300 >= -1789 @ 6.7158 6.99/7.10 c bounds -300 >= -1788 @ 6.71659 6.99/7.10 c bounds -300 >= -1787 @ 6.71737 6.99/7.10 c bounds -300 >= -1786 @ 6.71815 6.99/7.10 c bounds -300 >= -1785 @ 6.71897 6.99/7.10 c bounds -300 >= -1784 @ 6.71974 6.99/7.10 c bounds -300 >= -1783 @ 6.72108 6.99/7.10 c bounds -300 >= -1782 @ 6.72235 6.99/7.10 c bounds -300 >= -1781 @ 6.72317 6.99/7.10 c bounds -300 >= -1780 @ 6.72398 6.99/7.10 c bounds -300 >= -1779 @ 6.72477 6.99/7.10 c bounds -300 >= -1778 @ 6.72565 6.99/7.10 c bounds -300 >= -1777 @ 6.72643 6.99/7.10 c bounds -300 >= -1776 @ 6.72651 6.99/7.10 c bounds -300 >= -1775 @ 6.72716 6.99/7.10 c bounds -300 >= -1774 @ 6.72795 6.99/7.10 c bounds -300 >= -1773 @ 6.72874 6.99/7.10 c bounds -300 >= -1772 @ 6.7295 6.99/7.10 c bounds -300 >= -1771 @ 6.73038 6.99/7.10 c bounds -300 >= -1770 @ 6.73122 7.17/7.25 c bounds -300 >= -1769 @ 6.73204 7.17/7.25 c bounds -300 >= -1768 @ 6.73286 7.17/7.25 c bounds -300 >= -1767 @ 6.73419 7.17/7.25 c bounds -300 >= -1766 @ 6.73501 7.17/7.25 c bounds -300 >= -1765 @ 6.73585 7.17/7.25 c bounds -300 >= -1764 @ 6.73664 7.17/7.25 c bounds -300 >= -1763 @ 6.73773 7.17/7.25 c bounds -360 >= -1763 @ 6.74243 7.17/7.25 c bounds -360 >= -1762 @ 6.74318 7.17/7.25 c bounds -360 >= -1761 @ 6.74402 7.17/7.25 c bounds -360 >= -1760 @ 6.74483 7.17/7.25 c bounds -360 >= -1759 @ 6.74571 7.17/7.25 c bounds -360 >= -1758 @ 6.74651 7.17/7.25 c bounds -360 >= -1757 @ 6.7473 7.17/7.25 c bounds -360 >= -1756 @ 6.74745 7.17/7.25 c bounds -360 >= -1755 @ 6.74799 7.17/7.25 c bounds -360 >= -1754 @ 6.74879 7.17/7.25 c bounds -360 >= -1753 @ 6.74958 7.17/7.25 c bounds -360 >= -1752 @ 6.75035 7.17/7.25 c bounds -360 >= -1751 @ 6.75044 7.17/7.25 c bounds -360 >= -1750 @ 6.75141 7.17/7.25 c bounds -360 >= -1749 @ 6.75225 7.17/7.25 c bounds -360 >= -1748 @ 6.7533 7.17/7.25 c bounds -360 >= -1747 @ 6.75412 7.17/7.25 c bounds -360 >= -1746 @ 6.75493 7.17/7.25 c bounds -360 >= -1745 @ 6.75572 7.17/7.25 c bounds -360 >= -1744 @ 6.75658 7.17/7.25 c bounds -360 >= -1743 @ 6.75734 7.17/7.25 c bounds -420 >= -1743 @ 6.7628 7.17/7.25 c bounds -420 >= -1742 @ 6.76395 7.17/7.25 c bounds -420 >= -1741 @ 6.76478 7.17/7.25 c bounds -420 >= -1740 @ 6.76581 7.17/7.25 c bounds -420 >= -1739 @ 6.76664 7.17/7.25 c bounds -420 >= -1738 @ 6.76745 7.17/7.25 c bounds -420 >= -1737 @ 6.76825 7.17/7.25 c bounds -420 >= -1736 @ 6.76905 7.17/7.25 c bounds -420 >= -1735 @ 6.77017 7.17/7.25 c bounds -420 >= -1734 @ 6.77159 7.17/7.25 c bounds -420 >= -1733 @ 6.77246 7.17/7.25 c bounds -420 >= -1732 @ 6.77332 7.17/7.25 c bounds -420 >= -1731 @ 6.77415 7.17/7.25 c bounds -420 >= -1730 @ 6.77508 7.17/7.25 c bounds -420 >= -1729 @ 6.77591 7.17/7.25 c bounds -420 >= -1728 @ 6.77672 7.17/7.25 c bounds -420 >= -1727 @ 6.77753 7.17/7.25 c bounds -420 >= -1726 @ 6.77857 7.17/7.25 c bounds -420 >= -1725 @ 6.77939 7.17/7.25 c bounds -420 >= -1724 @ 6.7802 7.17/7.25 c bounds -420 >= -1723 @ 6.78102 7.17/7.25 c bounds -420 >= -1722 @ 6.78243 7.17/7.25 c bounds -420 >= -1721 @ 6.78334 7.17/7.25 c bounds -420 >= -1720 @ 6.78424 7.17/7.25 c bounds -480 >= -1720 @ 6.78979 7.17/7.25 c bounds -480 >= -1719 @ 6.79141 7.17/7.25 c bounds -480 >= -1718 @ 6.7931 7.17/7.25 c bounds -480 >= -1717 @ 6.79398 7.17/7.25 c bounds -480 >= -1716 @ 6.79478 7.17/7.25 c bounds -480 >= -1715 @ 6.79564 7.17/7.25 c bounds -480 >= -1714 @ 6.79657 7.17/7.25 c bounds -480 >= -1713 @ 6.79758 7.17/7.25 c bounds -480 >= -1712 @ 6.79868 7.17/7.25 c bounds -480 >= -1711 @ 6.79956 7.17/7.25 c bounds -480 >= -1710 @ 6.80043 7.17/7.25 c bounds -480 >= -1709 @ 6.80129 7.17/7.25 c bounds -480 >= -1708 @ 6.80209 7.17/7.25 c bounds -480 >= -1707 @ 6.80294 7.17/7.25 c bounds -480 >= -1706 @ 6.80375 7.17/7.25 c bounds -480 >= -1705 @ 6.80454 7.17/7.25 c bounds -480 >= -1704 @ 6.8056 7.17/7.25 c bounds -540 >= -1704 @ 6.8114 7.17/7.25 c bounds -540 >= -1703 @ 6.81335 7.17/7.25 c bounds -540 >= -1702 @ 6.81422 7.17/7.25 c bounds -540 >= -1701 @ 6.81505 7.17/7.25 c bounds -540 >= -1700 @ 6.8159 7.17/7.25 c bounds -540 >= -1699 @ 6.81748 7.17/7.25 c bounds -540 >= -1698 @ 6.81837 7.17/7.25 c bounds -540 >= -1697 @ 6.81922 7.17/7.25 c bounds -540 >= -1696 @ 6.82024 7.17/7.25 c bounds -540 >= -1695 @ 6.82107 7.17/7.25 c bounds -540 >= -1694 @ 6.82124 7.17/7.25 c bounds -540 >= -1693 @ 6.82173 7.17/7.25 c bounds -540 >= -1692 @ 6.82253 7.17/7.25 c bounds -540 >= -1691 @ 6.82332 7.17/7.25 c bounds -540 >= -1690 @ 6.82407 7.17/7.25 c bounds -540 >= -1689 @ 6.82485 7.17/7.25 c bounds -540 >= -1688 @ 6.82565 7.17/7.25 c bounds -540 >= -1687 @ 6.8264 7.17/7.25 c bounds -540 >= -1686 @ 6.82758 7.17/7.25 c bounds -600 >= -1686 @ 6.83316 7.17/7.25 c bounds -600 >= -1685 @ 6.83481 7.17/7.25 c bounds -600 >= -1684 @ 6.83566 7.17/7.25 c bounds -600 >= -1683 @ 6.83646 7.17/7.25 c bounds -600 >= -1682 @ 6.83759 7.17/7.25 c bounds -600 >= -1681 @ 6.83844 7.17/7.25 c bounds -600 >= -1680 @ 6.83933 7.17/7.25 c bounds -600 >= -1679 @ 6.84022 7.17/7.25 c bounds -600 >= -1678 @ 6.84107 7.17/7.25 c bounds -600 >= -1677 @ 6.84196 7.17/7.25 c bounds -600 >= -1676 @ 6.84281 7.17/7.25 c bounds -600 >= -1675 @ 6.84367 7.17/7.25 c bounds -600 >= -1674 @ 6.84481 7.17/7.25 c bounds -600 >= -1673 @ 6.84564 7.17/7.25 c bounds -600 >= -1672 @ 6.84579 7.17/7.25 c bounds -600 >= -1671 @ 6.84615 7.17/7.25 c bounds -600 >= -1670 @ 6.84738 7.17/7.25 c bounds -600 >= -1669 @ 6.84818 7.17/7.25 c bounds -660 >= -1669 @ 6.8533 7.17/7.25 c bounds -660 >= -1668 @ 6.85455 7.17/7.25 c bounds -660 >= -1667 @ 6.85556 7.17/7.25 c bounds -660 >= -1666 @ 6.85673 7.17/7.25 c bounds -660 >= -1665 @ 6.85758 7.17/7.25 c bounds -660 >= -1664 @ 6.85842 7.17/7.25 c bounds -660 >= -1663 @ 6.85925 7.17/7.25 c bounds -660 >= -1662 @ 6.86004 7.17/7.25 c bounds -660 >= -1661 @ 6.86088 7.17/7.25 c bounds -660 >= -1660 @ 6.86167 7.17/7.25 c bounds -660 >= -1659 @ 6.86247 7.17/7.25 c bounds -660 >= -1658 @ 6.86351 7.17/7.25 c bounds -660 >= -1657 @ 6.86428 7.17/7.25 c bounds -660 >= -1656 @ 6.86506 7.17/7.25 c bounds -660 >= -1655 @ 6.86541 7.17/7.25 c bounds -720 >= -1655 @ 6.87159 7.17/7.25 c bounds -720 >= -1654 @ 6.87332 7.17/7.25 c bounds -720 >= -1653 @ 6.87426 7.37/7.49 c bounds -720 >= -1652 @ 6.87576 7.37/7.49 c bounds -720 >= -1651 @ 6.87664 7.37/7.49 c bounds -720 >= -1650 @ 6.87742 7.37/7.49 c bounds -720 >= -1649 @ 6.87817 7.37/7.49 c bounds -720 >= -1648 @ 6.8789 7.37/7.49 c bounds -720 >= -1647 @ 6.87982 7.37/7.49 c bounds -720 >= -1646 @ 6.88059 7.37/7.49 c bounds -720 >= -1645 @ 6.88134 7.37/7.49 c bounds -720 >= -1644 @ 6.88207 7.37/7.49 c bounds -720 >= -1643 @ 6.88281 7.37/7.49 c bounds -720 >= -1642 @ 6.88417 7.37/7.49 c bounds -720 >= -1641 @ 6.88498 7.37/7.49 c bounds -720 >= -1640 @ 6.88661 7.37/7.49 c bounds -756 >= -1640 @ 6.89174 7.37/7.49 c bounds -756 >= -1639 @ 6.89324 7.37/7.49 c bounds -756 >= -1638 @ 6.89405 7.37/7.49 c bounds -756 >= -1637 @ 6.89501 7.37/7.49 c bounds -756 >= -1636 @ 6.89581 7.37/7.49 c bounds -756 >= -1635 @ 6.89656 7.37/7.49 c bounds -756 >= -1634 @ 6.8973 7.37/7.49 c bounds -756 >= -1633 @ 6.89848 7.37/7.49 c bounds -756 >= -1632 @ 6.89923 7.37/7.49 c bounds -756 >= -1631 @ 6.89998 7.37/7.49 c bounds -756 >= -1630 @ 6.90071 7.37/7.49 c bounds -756 >= -1629 @ 6.90145 7.37/7.49 c bounds -756 >= -1628 @ 6.90218 7.37/7.49 c bounds -756 >= -1627 @ 6.9029 7.37/7.49 c bounds -756 >= -1626 @ 6.9036 7.37/7.49 c bounds -756 >= -1625 @ 6.90431 7.37/7.49 c bounds -756 >= -1624 @ 6.90517 7.37/7.49 c bounds -756 >= -1623 @ 6.90649 7.37/7.49 c bounds -756 >= -1622 @ 6.9073 7.37/7.49 c bounds -792 >= -1622 @ 6.91642 7.37/7.49 c bounds -792 >= -1621 @ 6.91801 7.37/7.49 c bounds -792 >= -1620 @ 6.91887 7.37/7.49 c bounds -792 >= -1619 @ 6.92014 7.37/7.49 c bounds -792 >= -1618 @ 6.92094 7.37/7.49 c bounds -792 >= -1617 @ 6.92178 7.37/7.49 c bounds -792 >= -1616 @ 6.92264 7.37/7.49 c bounds -792 >= -1615 @ 6.92345 7.37/7.49 c bounds -792 >= -1614 @ 6.92423 7.37/7.49 c bounds -792 >= -1613 @ 6.92505 7.37/7.49 c bounds -792 >= -1612 @ 6.92581 7.37/7.49 c bounds -792 >= -1611 @ 6.92699 7.37/7.49 c bounds -792 >= -1610 @ 6.92834 7.37/7.49 c bounds -792 >= -1609 @ 6.92918 7.37/7.49 c bounds -792 >= -1608 @ 6.92996 7.37/7.49 c bounds -792 >= -1607 @ 6.9309 7.37/7.49 c bounds -792 >= -1606 @ 6.93167 7.37/7.49 c bounds -792 >= -1605 @ 6.9325 7.37/7.49 c bounds -792 >= -1604 @ 6.93326 7.37/7.49 c bounds -792 >= -1603 @ 6.93412 7.37/7.49 c bounds -792 >= -1602 @ 6.93492 7.37/7.49 c bounds -792 >= -1601 @ 6.9357 7.37/7.49 c bounds -792 >= -1600 @ 6.93647 7.37/7.49 c bounds -792 >= -1599 @ 6.93724 7.37/7.49 c bounds -792 >= -1598 @ 6.938 7.37/7.49 c bounds -792 >= -1597 @ 6.93885 7.37/7.49 c bounds -792 >= -1596 @ 6.93918 7.37/7.49 c bounds -792 >= -1595 @ 6.9399 7.37/7.49 c bounds -792 >= -1594 @ 6.9399 7.37/7.49 c bounds -792 >= -1593 @ 6.94047 7.37/7.49 c bounds -792 >= -1592 @ 6.94251 7.37/7.49 c bounds -828 >= -1592 @ 6.95305 7.37/7.49 c bounds -828 >= -1591 @ 6.95481 7.37/7.49 c bounds -828 >= -1590 @ 6.95486 7.37/7.49 c bounds -828 >= -1589 @ 6.95546 7.37/7.49 c bounds -828 >= -1588 @ 6.95701 7.37/7.49 c bounds -828 >= -1587 @ 6.9579 7.37/7.49 c bounds -828 >= -1586 @ 6.95873 7.37/7.49 c bounds -828 >= -1585 @ 6.95955 7.37/7.49 c bounds -828 >= -1584 @ 6.96064 7.37/7.49 c bounds -828 >= -1583 @ 6.96147 7.37/7.49 c bounds -828 >= -1582 @ 6.96231 7.37/7.49 c bounds -828 >= -1581 @ 6.96308 7.37/7.49 c bounds -828 >= -1580 @ 6.9647 7.37/7.49 c bounds -828 >= -1579 @ 6.96482 7.37/7.49 c bounds -828 >= -1578 @ 6.96482 7.37/7.49 c bounds -864 >= -1578 @ 6.97807 7.37/7.49 c bounds -864 >= -1577 @ 6.98012 7.37/7.49 c bounds -864 >= -1576 @ 6.98104 7.37/7.49 c bounds -864 >= -1575 @ 6.98236 7.37/7.49 c bounds -864 >= -1574 @ 6.98326 7.37/7.49 c bounds -864 >= -1573 @ 6.98412 7.37/7.49 c bounds -864 >= -1572 @ 6.98494 7.37/7.49 c bounds -864 >= -1571 @ 6.98621 7.37/7.49 c bounds -864 >= -1570 @ 6.98715 7.37/7.49 c bounds -864 >= -1569 @ 6.98801 7.37/7.49 c bounds -864 >= -1568 @ 6.98887 7.37/7.49 c bounds -864 >= -1567 @ 6.98989 7.37/7.49 c bounds -864 >= -1566 @ 6.99079 7.37/7.49 c bounds -864 >= -1565 @ 6.9916 7.37/7.49 c bounds -864 >= -1564 @ 6.99245 7.37/7.49 c bounds -864 >= -1563 @ 6.99448 7.37/7.49 c bounds -864 >= -1562 @ 6.99474 7.37/7.49 c bounds -864 >= -1561 @ 6.99559 7.37/7.49 c bounds -864 >= -1560 @ 6.99728 7.37/7.49 c bounds -864 >= -1559 @ 6.99847 7.37/7.49 c bounds -864 >= -1558 @ 6.99873 7.37/7.49 c bounds -864 >= -1557 @ 6.99981 7.37/7.49 c bounds -900 >= -1557 @ 7.00843 7.37/7.49 c bounds -900 >= -1556 @ 7.01112 7.37/7.49 c bounds -900 >= -1555 @ 7.01229 7.37/7.49 c bounds -900 >= -1554 @ 7.01341 7.37/7.49 c bounds -900 >= -1553 @ 7.01379 7.37/7.49 c bounds -900 >= -1552 @ 7.01491 7.37/7.49 c bounds -900 >= -1551 @ 7.01606 7.37/7.49 c bounds -900 >= -1550 @ 7.01813 7.37/7.49 c bounds -900 >= -1549 @ 7.01985 7.37/7.49 c bounds -900 >= -1548 @ 7.02294 7.37/7.49 c bounds -936 >= -1548 @ 7.03107 7.37/7.49 c bounds -936 >= -1547 @ 7.03339 7.37/7.49 c bounds -936 >= -1546 @ 7.03644 7.37/7.49 c bounds -936 >= -1545 @ 7.03831 7.37/7.49 c bounds -936 >= -1544 @ 7.04071 7.37/7.49 c bounds -960 >= -1544 @ 7.05342 7.37/7.49 c bounds -960 >= -1543 @ 7.05617 7.37/7.49 c bounds -960 >= -1542 @ 7.05757 7.37/7.49 c bounds -960 >= -1541 @ 7.06191 7.37/7.49 c bounds -960 >= -1540 @ 7.06508 7.37/7.49 c bounds -984 >= -1540 @ 7.07361 7.37/7.49 c bounds -984 >= -1539 @ 7.07736 7.37/7.49 c bounds -984 >= -1538 @ 7.08001 7.37/7.49 c bounds -984 >= -1537 @ 7.08372 7.37/7.49 c bounds -1008 >= -1537 @ 7.09156 12.85/12.95 c bounds -1008 >= -1536 @ 7.09781 12.85/12.95 c bounds -1008 >= -1535 @ 7.10206 12.85/12.95 c bounds -1032 >= -1535 @ 7.10901 12.85/12.95 c bounds -1032 >= -1534 @ 7.11277 12.85/12.95 c bounds -1032 >= -1533 @ 7.12448 12.85/12.95 c bounds -1048 >= -1533 @ 7.17392 12.85/12.95 c bounds -1048 >= -1532 @ 7.17785 12.85/12.95 c bounds -1048 >= -1531 @ 7.18124 12.85/12.95 c bounds -1048 >= -1530 @ 7.18811 12.85/12.95 c bounds -1048 >= -1529 @ 7.19192 12.85/12.95 c bounds -1048 >= -1528 @ 7.19828 12.85/12.95 c bounds -1064 >= -1528 @ 7.21391 12.85/12.95 c bounds -1064 >= -1527 @ 7.22277 12.85/12.95 c bounds -1080 >= -1527 @ 7.23163 12.85/12.95 c bounds -1080 >= -1526 @ 7.2409 12.85/12.95 c bounds -1090 >= -1526 @ 7.25566 12.85/12.95 c bounds -1090 >= -1525 @ 7.26725 12.85/12.95 c bounds -1100 >= -1525 @ 7.28727 12.85/12.95 c bounds -1100 >= -1524 @ 7.29992 12.85/12.95 c bounds -1112 >= -1524 @ 7.31827 12.85/12.95 c bounds -1116 >= -1524 @ 7.38621 12.85/12.95 c bounds -1116 >= -1523 @ 7.39805 12.85/12.95 c bounds -1116 >= -1522 @ 7.40318 12.85/12.95 c bounds -1116 >= -1521 @ 7.41749 12.85/12.95 c bounds -1126 >= -1521 @ 7.43067 12.85/12.95 c bounds -1126 >= -1520 @ 7.44281 12.85/12.95 c #Conflicts: 1000 | #Constraints: 243636 12.85/12.95 c bounds -1136 >= -1520 @ 7.48428 12.85/12.95 c bounds -1136 >= -1519 @ 7.50081 12.85/12.95 c bounds -1146 >= -1519 @ 7.50832 12.85/12.95 c bounds -1156 >= -1519 @ 7.61658 12.85/12.95 c bounds -1156 >= -1518 @ 7.65803 12.85/12.95 c bounds -1158 >= -1518 @ 7.66804 12.85/12.95 c #Conflicts: 2000 | #Constraints: 244775 12.85/12.95 c INPROCESSING 12.85/12.95 c GARBAGE COLLECT 12.85/12.95 WSVECS04 Frhs2[17]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[20]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[21]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[23]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[24]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[25]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[26]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[32]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[34]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[35]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[36]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[37]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[38]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[39]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[40]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[41]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[42]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[47]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[48]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[65]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[68]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[156]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[159]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[160]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[162]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[163]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[164]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[165]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[171]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[173]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[174]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[175]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[176]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[177]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[178]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[179]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[180]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[181]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[186]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[187]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[204]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[207]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[224]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[227]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[228]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[230]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[231]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[232]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[233]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[239]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[241]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[242]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[243]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[244]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[245]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[246]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[247]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[248]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[249]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[254]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[255]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[272]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[275]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[352]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[353]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[354]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[355]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[356]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[358]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[359]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[362]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[367]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[368]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[369]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[370]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[371]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[373]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[383]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[384]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[385]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[386]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[389]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[390]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[391]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[392]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[393]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[394]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[395]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[396]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[397]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[398]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[399]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[400]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[401]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[402]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[403]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[404]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[406]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[407]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[409]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[410]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[411]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[422]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[425]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[426]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[428]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[429]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[430]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[431]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[437]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[439]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[440]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[441]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[442]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[443]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[444]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[445]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[446]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[447]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[452]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[453]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[470]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[473]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[486]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[489]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[490]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[492]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[493]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[494]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[495]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[501]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[503]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[504]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[505]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[506]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[507]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[508]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[509]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[510]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[511]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[516]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[517]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[534]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[537]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[549]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[552]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[553]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[555]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[556]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[557]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[558]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[564]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[566]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[567]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[568]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[569]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[570]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[571]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[572]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[573]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[574]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[579]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[580]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[597]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[600]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[606]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[607]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[608]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[609]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[610]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[612]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[613]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[616]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[621]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[622]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[623]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[624]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[625]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[627]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[637]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[638]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[639]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[640]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[643]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[644]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[645]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[646]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[647]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[648]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[649]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[650]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[651]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[652]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[653]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[654]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[655]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[656]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[657]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[658]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[660]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[661]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[663]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[664]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[665]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[672]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[675]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[676]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[678]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[679]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[680]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[681]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[687]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[689]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[690]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[691]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[692]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[693]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[694]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[695]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[696]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[697]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[702]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[703]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[720]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[723]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[732]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[735]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[736]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[738]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[739]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[740]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[741]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[747]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[749]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[750]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[751]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[752]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[753]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[754]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[755]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[756]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[757]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[762]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[763]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[780]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[783]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[801]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[802]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[803]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[804]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[805]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[807]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[817]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[818]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[819]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[820]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[823]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[824]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[825]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[826]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[827]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[828]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[829]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[830]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[831]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[832]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[833]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[834]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[835]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[836]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[837]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[838]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[840]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[841]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[843]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[844]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[845]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[859]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[860]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[861]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[862]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[863]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[865]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[875]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[876]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[877]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[878]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[881]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[882]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[883]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[884]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[885]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[886]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[887]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[888]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[889]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[890]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[891]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[892]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[893]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[894]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[895]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[896]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[898]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[899]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[901]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[902]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[903]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[916]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[917]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[918]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[919]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[920]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[922]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[932]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[933]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[934]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[935]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[938]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[939]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[940]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[941]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[942]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[943]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[944]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[945]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[946]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[947]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[948]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[949]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[950]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[951]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[952]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[953]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[955]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[956]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[958]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[959]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[960]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[972]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[973]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[974]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[975]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[976]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[978]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[988]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[989]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[990]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[991]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[994]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[995]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[996]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[997]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[998]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[999]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1000]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1001]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1002]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1003]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1004]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1005]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1006]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1007]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1008]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1009]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1011]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1012]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1014]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1015]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1016]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1027]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1028]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1029]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1030]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1031]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1033]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1043]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1044]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1045]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1046]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1049]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1050]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1051]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1052]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1053]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1054]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1055]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1056]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1057]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1058]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1059]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1060]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1061]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1062]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1063]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1064]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1066]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1067]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1069]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1070]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1071]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1078]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1079]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1080]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1086]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1088]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1089]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1090]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1091]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1092]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1093]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1094]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1095]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1096]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1101]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1102]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1119]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1122]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1134]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1135]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1136]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1137]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1138]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1140]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1150]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1151]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1152]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1153]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1156]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1157]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1158]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1159]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1160]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1161]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1162]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1163]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1164]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1165]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1166]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1167]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1168]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1169]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1170]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1171]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1173]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1174]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1176]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1177]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1178]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1186]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1187]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1188]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1189]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1190]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1192]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1202]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1203]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1204]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1205]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1208]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1209]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1210]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1211]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1212]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1213]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1214]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1215]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1216]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1217]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1218]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1219]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1220]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1221]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1222]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1223]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1225]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1226]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1228]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1229]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1230]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1234]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1235]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1236]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1242]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1244]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1245]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1246]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1247]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1248]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1249]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1250]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1251]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1252]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1257]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1258]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1275]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1278]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1284]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1285]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1286]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1292]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1294]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1295]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1296]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1297]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1298]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1299]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1300]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1301]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1302]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1307]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1308]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1325]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1328]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1336]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1337]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1338]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1339]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1340]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1342]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1352]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1353]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1354]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1355]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1358]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1359]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1360]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1361]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1362]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1363]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1364]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1365]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1366]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1367]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1368]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1369]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1370]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1371]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1372]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1373]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1375]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1376]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1378]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1379]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1380]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1381]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1382]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1383]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1389]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1391]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1392]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1393]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1394]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1395]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1396]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1397]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1398]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1399]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1404]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1405]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1422]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1425]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1440]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1441]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1442]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1443]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1444]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1445]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1446]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1451]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1452]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1469]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1472]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1486]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1487]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1488]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1489]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1490]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1491]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1492]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1497]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1498]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1515]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1518]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1531]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1532]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1533]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1534]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1535]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1536]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1537]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1542]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1543]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1560]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1563]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1582]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1583]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1584]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1585]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1588]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1589]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1590]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1591]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1592]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1593]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1594]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1595]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1596]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1597]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1598]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1599]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1600]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1601]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1602]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1603]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1605]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1606]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1608]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1609]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1625]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1626]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1627]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1628]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1631]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1632]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1633]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1634]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1635]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1636]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1637]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1638]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1639]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1640]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1641]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1642]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1643]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1644]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1645]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1646]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1648]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1649]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1651]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1652]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1653]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1667]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1668]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1669]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1670]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1673]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1674]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1675]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1676]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1677]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1678]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1679]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1680]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1681]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1682]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1683]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1684]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1685]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1686]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1687]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1688]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1690]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1691]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1693]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1694]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1695]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1708]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1709]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1710]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1711]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1714]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1715]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1716]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1717]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1718]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1719]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1720]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1721]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1722]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1723]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1724]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1725]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1726]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1727]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1728]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1729]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1731]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1732]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1734]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1735]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1736]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1748]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1749]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1750]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1751]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1754]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1755]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1756]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1757]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1758]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1759]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1760]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1761]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1762]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1763]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1764]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1765]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1766]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1767]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1768]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1769]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1771]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1772]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1774]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1775]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1776]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1780]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1781]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1782]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1783]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1784]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1785]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1786]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1791]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1792]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1809]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1812]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1825]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1826]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1827]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1828]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1831]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1832]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1833]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1834]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1835]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1836]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1837]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1838]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1839]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1840]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1841]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1842]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1843]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1844]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1845]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1846]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1848]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1849]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1851]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1852]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1853]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1855]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1856]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1857]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1858]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1859]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1860]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1861]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1866]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1867]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1884]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1887]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1891]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1892]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1893]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1894]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1895]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1896]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1897]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1902]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1903]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1920]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1923]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1938]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1955]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1958]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1972]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1989]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[1992]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2005]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2022]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2025]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2037]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2054]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2057]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2068]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2085]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2088]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2098]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2115]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2118]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2127]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2144]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2147]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2156]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2157]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2158]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2159]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2160]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2161]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2162]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2163]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2164]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2165]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2166]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2167]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2168]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2169]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2170]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2171]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2173]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2174]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2176]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2177]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2178]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2183]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2184]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2185]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2186]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2187]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2188]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2189]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2190]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2191]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2192]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2193]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2194]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2195]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2196]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2197]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2198]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2200]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2201]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2203]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2204]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2205]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2209]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2210]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2211]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2212]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2213]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2214]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2215]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2216]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2217]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2218]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2219]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2220]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2221]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2222]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2223]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2224]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2226]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2227]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2229]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2230]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2231]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2234]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2235]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2236]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2237]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2238]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2239]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2240]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2241]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2242]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2243]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2244]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2245]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2246]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2247]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2248]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2249]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2251]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2252]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2254]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2255]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2256]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2257]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2274]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2277]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2297]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2300]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2314]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2315]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2316]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2317]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2318]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2320]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2321]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2323]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2324]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2325]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2335]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2336]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2337]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2338]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2339]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2341]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2342]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2344]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2345]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2346]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2355]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2356]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2357]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2358]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2359]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2361]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2362]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2364]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2365]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2366]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2374]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2375]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2376]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2377]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2378]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2380]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2381]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2383]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2384]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2385]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2392]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2393]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2394]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2395]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2396]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2398]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2399]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2401]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2402]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2403]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2409]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2410]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2411]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2412]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2413]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2415]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2416]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2418]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2419]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2420]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2425]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2426]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2427]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2428]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2429]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2431]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2432]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2434]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2435]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2436]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2440]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2441]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2442]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2443]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2444]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2446]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2447]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2449]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2450]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2451]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2454]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2455]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2456]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2457]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2458]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2460]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2461]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2463]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2464]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2465]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2467]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2468]: 6 0 1.00006 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2469]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2470]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2471]: 6 0 1.00001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2473]: 6 0 1.00003 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2474]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2476]: 6 0 1.00005 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2477]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2478]: 6 0 1.00009 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2479]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2480]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2481]: 6 0 1.0001 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2482]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2483]: 6 0 1.00002 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2485]: 6 0 1.00004 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2486]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2488]: 6 0 1.00007 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2490]: 6 0 1.00008 shouldn't be 12.85/12.95 WSVECS04 Frhs2[2553]: 6 -1.00008 0 shouldn't be 207.68/208.43 c bounds -1158 >= -1517 @ 88.5193 207.68/208.43 c bounds -1158 >= -1516 @ 88.571 207.68/208.43 c #Conflicts: 3000 | #Constraints: 244137 207.68/208.43 c bounds -1158 >= -1515 @ 88.6623 207.68/208.43 c bounds -1158 >= -1514 @ 88.6995 207.68/208.43 c bounds -1158 >= -1513 @ 88.7892 207.68/208.43 c #Conflicts: 4000 | #Constraints: 245242 207.68/208.43 c INPROCESSING 207.68/208.43 c bounds -1162 >= -1513 @ 88.9147 207.68/208.43 c bounds -1172 >= -1513 @ 89.0762 207.68/208.43 c bounds -1176 >= -1513 @ 89.0854 207.68/208.43 c bounds -1180 >= -1513 @ 89.0913 207.68/208.43 c bounds -1184 >= -1513 @ 89.0952 207.68/208.43 c bounds -1188 >= -1513 @ 89.099 207.68/208.43 c bounds -1192 >= -1513 @ 89.1016 207.68/208.43 c bounds -1192 >= -1512 @ 89.1817 207.68/208.43 c #Conflicts: 5000 | #Constraints: 244679 207.68/208.43 c #Conflicts: 6000 | #Constraints: 245679 207.68/208.43 c bounds -1208 >= -1512 @ 92.5266 207.68/208.43 c #Conflicts: 7000 | #Constraints: 246680 207.68/208.43 c bounds -1208 >= -1511 @ 92.6821 207.68/208.43 c #Conflicts: 8000 | #Constraints: 247740 207.68/208.43 c bounds -1208 >= -1510 @ 92.8976 207.68/208.43 c bounds -1210 >= -1510 @ 92.9174 207.68/208.43 c bounds -1212 >= -1510 @ 92.9263 207.68/208.43 c bounds -1222 >= -1510 @ 92.9309 207.68/208.43 c bounds -1232 >= -1510 @ 92.9367 207.68/208.43 c bounds -1238 >= -1510 @ 92.941 207.68/208.43 c bounds -1250 >= -1510 @ 92.9478 207.68/208.43 c bounds -1262 >= -1510 @ 92.953 207.68/208.43 c #Conflicts: 9000 | #Constraints: 248792 207.68/208.43 c INPROCESSING 207.68/208.43 c GARBAGE COLLECT 207.68/208.43 WSVECS04 Frhs2[2145]: 6 0 1.0001 shouldn't be 616.72/618.63 c bounds -1274 >= -1510 @ 213.407 616.72/618.63 c #Conflicts: 10000 | #Constraints: 246452 616.72/618.63 c bounds -1284 >= -1510 @ 214.665 616.72/618.63 c bounds -1284 >= -1509 @ 494.279 616.72/618.63 c #Conflicts: 11000 | #Constraints: 247498 616.72/618.63 c #Conflicts: 12000 | #Constraints: 248498 616.72/618.63 c INPROCESSING 616.72/618.63 c GARBAGE COLLECT 616.72/618.63 c #Conflicts: 13000 | #Constraints: 246080 616.72/618.63 c #Conflicts: 14000 | #Constraints: 247080 616.72/618.63 c #Conflicts: 15000 | #Constraints: 248080 616.72/618.63 c #Conflicts: 16000 | #Constraints: 249080 616.72/618.63 c bounds -1284 >= -1508 @ 499.233 616.72/618.63 c INPROCESSING 616.72/618.63 c #Conflicts: 17000 | #Constraints: 246622 616.72/618.63 c #Conflicts: 18000 | #Constraints: 247622 616.72/618.63 c bounds -1284 >= -1507 @ 499.731 616.72/618.63 c #Conflicts: 19000 | #Constraints: 248676 616.72/618.63 c #Conflicts: 20000 | #Constraints: 249676 616.72/618.63 c #Conflicts: 21000 | #Constraints: 250676 616.72/618.63 c bounds -1296 >= -1507 @ 505.481 616.72/618.63 c #Conflicts: 22000 | #Constraints: 251677 616.72/618.63 c #Conflicts: 23000 | #Constraints: 252677 616.72/618.63 c #Conflicts: 24000 | #Constraints: 253677 616.72/618.64 c #Conflicts: 25000 | #Constraints: 254677 616.72/618.64 c INPROCESSING 616.72/618.64 c GARBAGE COLLECT 616.72/618.64 WSVECS04 Frhs2[894]: 6 0 1.00003 shouldn't be 616.72/618.64 WSVECS04 Frhs2[1159]: 6 0 1.00001 shouldn't be 642.35/644.35 WSVECS04 Frhs2[24]: 6 0 1.00009 shouldn't be 642.35/644.35 WSVECS04 Frhs2[884]: 6 0 1.0001 shouldn't be 642.35/644.35 WSVECS04 Frhs2[895]: 6 0 1.00005 shouldn't be 642.35/644.35 WSVECS04 Frhs2[900]: 6 0 1.00003 shouldn't be 642.35/644.35 WSVECS04 Frhs2[1170]: 6 0 1.00004 shouldn't be 642.35/644.35 WSVECS04 Frhs2[1175]: 6 0 1.00004 shouldn't be 642.35/644.35 WSVECS04 Frhs2[1178]: 6 0 1.00008 shouldn't be 642.35/644.35 WSVECS04 Frhs2[1441]: 6 0 1.0001 shouldn't be 642.35/644.35 WSVECS04 Frhs2[2377]: 6 0 1.00008 shouldn't be 642.35/644.35 WSVECS04 Frhs2[2382]: 6 0 1.00009 shouldn't be 667.68/669.71 WSVECS04 Frhs2[1169]: 6 0 1.00005 shouldn't be 667.68/669.71 WSVECS04 Frhs2[2376]: 6 0 1.0001 shouldn't be 667.68/669.71 WSVECS04 Frhs2[2385]: 6 0 1.00005 shouldn't be 692.51/694.62 WSVECS04 Frhs2[37]: 6 0 1.00004 shouldn't be 692.51/694.62 WSVECS04 Frhs2[2374]: 6 0 1.00009 shouldn't be 717.85/720.05 WSVECS04 Frhs2[1167]: 6 0 1.00009 shouldn't be 744.96/747.24 WSVECS04 Frhs2[892]: 6 0 1.0001 shouldn't be 795.62/798.03 WSVECS04 Frhs2[903]: 6 0 1.00007 shouldn't be 2695.99/2703.97 c #Conflicts: 26000 | #Constraints: 249272 2695.99/2703.97 c #Conflicts: 27000 | #Constraints: 250272 2695.99/2703.97 c #Conflicts: 28000 | #Constraints: 251272 2695.99/2703.97 c #Conflicts: 29000 | #Constraints: 252272 2695.99/2703.97 c #Conflicts: 30000 | #Constraints: 253272 2695.99/2703.97 c INPROCESSING 2695.99/2703.97 c GARBAGE COLLECT 2695.99/2703.97 c #Conflicts: 31000 | #Constraints: 248549 2695.99/2703.97 c #Conflicts: 32000 | #Constraints: 249549 2695.99/2703.97 c #Conflicts: 33000 | #Constraints: 250549 2695.99/2703.97 c bounds -1296 >= -1506 @ 1106.17 2695.99/2703.97 c #Conflicts: 34000 | #Constraints: 251633 2695.99/2703.97 c #Conflicts: 35000 | #Constraints: 252633 2695.99/2703.97 c #Conflicts: 36000 | #Constraints: 253633 2695.99/2703.97 c bounds -1296 >= -1505 @ 1107.07 2695.99/2703.97 c #Conflicts: 37000 | #Constraints: 254684 2695.99/2703.97 c #Conflicts: 38000 | #Constraints: 255684 2695.99/2703.97 c #Conflicts: 39000 | #Constraints: 256684 2695.99/2703.97 c #Conflicts: 40000 | #Constraints: 257684 2695.99/2703.97 c #Conflicts: 41000 | #Constraints: 258684 2695.99/2703.97 c #Conflicts: 42000 | #Constraints: 259684 2695.99/2703.97 c #Conflicts: 43000 | #Constraints: 260687 2695.99/2703.97 c INPROCESSING 2695.99/2703.97 c GARBAGE COLLECT 2695.99/2703.97 c #Conflicts: 44000 | #Constraints: 252648 2695.99/2703.97 c #Conflicts: 45000 | #Constraints: 253648 2695.99/2703.97 c #Conflicts: 46000 | #Constraints: 254648 2695.99/2703.97 c #Conflicts: 47000 | #Constraints: 255648 2695.99/2703.97 c bounds -1296 >= -1504 @ 2358.08 2695.99/2703.97 c #Conflicts: 48000 | #Constraints: 256741 2695.99/2703.97 c #Conflicts: 49000 | #Constraints: 257741 2695.99/2703.97 c INPROCESSING 2695.99/2703.97 c #Conflicts: 50000 | #Constraints: 252378 2695.99/2703.97 c #Conflicts: 51000 | #Constraints: 253378 2695.99/2703.97 c bounds -1296 >= -1503 @ 2359.39 2695.99/2703.97 c #Conflicts: 52000 | #Constraints: 254453 2695.99/2703.97 c #Conflicts: 53000 | #Constraints: 255453 2695.99/2703.97 c #Conflicts: 54000 | #Constraints: 256453 2695.99/2703.97 c #Conflicts: 55000 | #Constraints: 257453 2695.99/2703.97 c #Conflicts: 56000 | #Constraints: 258453 2695.99/2703.97 c #Conflicts: 57000 | #Constraints: 259453 2695.99/2703.97 c #Conflicts: 58000 | #Constraints: 260453 2695.99/2703.97 c #Conflicts: 59000 | #Constraints: 261453 2695.99/2703.97 c #Conflicts: 60000 | #Constraints: 262453 2695.99/2703.97 c #Conflicts: 61000 | #Constraints: 263453 2695.99/2703.97 c #Conflicts: 62000 | #Constraints: 264453 2695.99/2703.97 c #Conflicts: 63000 | #Constraints: 265453 2695.99/2703.97 c #Conflicts: 64000 | #Constraints: 266453 2695.99/2703.97 c #Conflicts: 65000 | #Constraints: 267453 2695.99/2703.97 c INPROCESSING 2695.99/2703.97 c GARBAGE COLLECT 2695.99/2703.97 c #Conflicts: 66000 | #Constraints: 256197 2695.99/2703.97 c #Conflicts: 67000 | #Constraints: 257197 2695.99/2703.97 c #Conflicts: 68000 | #Constraints: 258197 2695.99/2703.97 c #Conflicts: 69000 | #Constraints: 259197 2695.99/2703.97 c #Conflicts: 70000 | #Constraints: 260197 2695.99/2703.97 c #Conflicts: 71000 | #Constraints: 261197 2695.99/2703.97 c bounds -1296 >= -1502 @ 2389.29 2695.99/2703.97 c #Conflicts: 72000 | #Constraints: 262260 2695.99/2703.97 c INPROCESSING 2695.99/2703.97 c GARBAGE COLLECT 2695.99/2703.97 c #Conflicts: 73000 | #Constraints: 255296 2695.99/2703.97 c #Conflicts: 74000 | #Constraints: 256296 2695.99/2703.97 c #Conflicts: 75000 | #Constraints: 257296 2695.99/2703.97 c #Conflicts: 76000 | #Constraints: 258296 2695.99/2703.97 c #Conflicts: 77000 | #Constraints: 259296 2695.99/2703.97 c #Conflicts: 78000 | #Constraints: 260296 2695.99/2703.97 c bounds -1296 >= -1501 @ 2392.14 2695.99/2703.97 c #Conflicts: 79000 | #Constraints: 261380 2695.99/2703.97 c #Conflicts: 80000 | #Constraints: 262380 2695.99/2703.97 c #Conflicts: 81000 | #Constraints: 263380 2695.99/2703.97 c #Conflicts: 82000 | #Constraints: 264380 2695.99/2703.97 c bounds -1296 >= -1500 @ 2393.37 2695.99/2703.97 c #Conflicts: 83000 | #Constraints: 265407 2695.99/2703.97 c #Conflicts: 84000 | #Constraints: 266407 2695.99/2703.97 c #Conflicts: 85000 | #Constraints: 267407 2695.99/2703.97 c #Conflicts: 86000 | #Constraints: 268407 2695.99/2703.97 c #Conflicts: 87000 | #Constraints: 269407 2695.99/2703.97 c #Conflicts: 88000 | #Constraints: 270407 2695.99/2703.97 c #Conflicts: 89000 | #Constraints: 271407 2695.99/2703.97 c #Conflicts: 90000 | #Constraints: 272407 2695.99/2703.97 c #Conflicts: 91000 | #Constraints: 273407 2695.99/2703.97 c INPROCESSING 2695.99/2703.97 c GARBAGE COLLECT 2695.99/2703.97 WSVECS04 Frhs2[136]: 6 0 1.00008 shouldn't be
ERROR: no interpretation found !
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: 64096 MiB (58843 MiB free)
memory of node 1: 64473 MiB (57950 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458831-1721884805/watcher-4458831-1721884805 -o /tmp/evaluation-result-4458831-1721884805/solver-4458831-1721884805 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721877159-216652 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4458831-1721884805 --lp-cut-gomory=0 HOME/instance-4458831-1721884805.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=221973, runsolver pid=221970
[startup+0.100096 s]*
/proc/loadavg: 4.02 4.12 4.17 5/260 221974
/proc/meminfo: memFree=119594548/131655788 swapFree=131071472/131071996
[pid=221973] ppid=221970 vsize=38680 memory=7640 CPUtime=0.1 cores=5,7
/proc/221973/stat : 221973 (roundingsat) R 221970 221973 216639 0 -1 4194304 766 0 0 0 8 2 0 0 20 0 1 0 24469475 39608320 1910 134679101440 4194304 8254037 140733410913664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140733410919260 140733410919522 140733410919522 140733410926537 0
/proc/221973/statm: 9670 1910 1367 992 0 1528 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38680 KiB
Current children cumulated memory: 7640 KiB
[startup+0.214278 s]*
/proc/loadavg: 4.02 4.12 4.17 6/260 221974
/proc/meminfo: memFree=119590540/131655788 swapFree=131071472/131071996
[pid=221973] ppid=221970 vsize=39300 memory=10212 CPUtime=0.22 cores=5,7
/proc/221973/stat : 221973 (roundingsat) R 221970 221973 216639 0 -1 4194304 951 0 0 0 16 6 0 0 20 0 1 0 24469475 40243200 2553 134679101440 4194304 8254037 140733410913664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140733410919260 140733410919522 140733410919522 140733410926537 0
/proc/221973/statm: 9825 2553 1367 992 0 1683 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 39300 KiB
Current children cumulated memory: 10212 KiB
[startup+0.314438 s]*
/proc/loadavg: 4.02 4.12 4.17 5/260 221974
/proc/meminfo: memFree=119589460/131655788 swapFree=131071472/131071996
[pid=221973] ppid=221970 vsize=39828 memory=11004 CPUtime=0.32 cores=5,7
/proc/221973/stat : 221973 (roundingsat) R 221970 221973 216639 0 -1 4194304 1106 0 0 0 24 8 0 0 20 0 1 0 24469475 40783872 2751 134679101440 4194304 8254037 140733410913664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140733410919260 140733410919522 140733410919522 140733410926537 0
/proc/221973/statm: 9957 2751 1367 992 0 1815 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 11004 KiB
[startup+0.700337 s]
/proc/loadavg: 4.02 4.12 4.17 5/260 221974
/proc/meminfo: memFree=119585288/131655788 swapFree=131071472/131071996
[pid=221973] ppid=221970 vsize=45556 memory=17140 CPUtime=0.68 cores=5,7
/proc/221973/stat : 221973 (roundingsat) R 221970 221973 216639 0 -1 4194304 2763 0 0 0 51 17 0 0 20 0 1 0 24469475 46649344 4285 134679101440 4194304 8254037 140733410913664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140733410919260 140733410919522 140733410919522 140733410926537 0
/proc/221973/statm: 11389 4285 1367 992 0 3247 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45556 KiB
Current children cumulated memory: 17140 KiB
[startup+1.50034 s]
/proc/loadavg: 4.02 4.12 4.17 5/260 221974
/proc/meminfo: memFree=119569152/131655788 swapFree=131071472/131071996
[pid=221973] ppid=221970 vsize=165516 memory=139136 CPUtime=1.48 cores=5,7
/proc/221973/stat : 221973 (roundingsat) R 221970 221973 216639 0 -1 4194304 32961 0 0 0 117 31 0 0 20 0 1 0 24469475 169488384 34784 134679101440 4194304 8254037 140733410913664 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140733410919260 140733410919522 140733410919522 140733410926537 0
/proc/221973/statm: 41379 34784 1729 992 0 33237 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 165516 KiB
Current children cumulated memory: 139136 KiB
[startup+3.11461 s]
/proc/loadavg: 4.02 4.12 4.17 6/260 221974
/proc/meminfo: memFree=119449336/131655788 swapFree=131071472/131071996
[pid=221973] ppid=221970 vsize=165516 memory=139136 CPUtime=3.1 cores=5,7
/proc/221973/stat : 221973 (roundingsat) R 221970 221973 216639 0 -1 4194304 32974 0 0 0 278 32 0 0 20 0 1 0 24469475 169488384 34784 134679101440 4194304 8254037 140733410913664 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140733410919260 140733410919522 140733410919522 140733410926537 0
/proc/221973/statm: 41379 34784 1729 992 0 33237 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 165516 KiB
Current children cumulated memory: 139136 KiB
[startup+6.3003 s]
/proc/loadavg: 4.10 4.14 4.17 5/260 221976
/proc/meminfo: memFree=119438088/131655788 swapFree=131071472/131071996
[pid=221973] ppid=221970 vsize=165516 memory=139136 CPUtime=6.27 cores=5,7
/proc/221973/stat : 221973 (roundingsat) R 221970 221973 216639 0 -1 4194304 32987 0 0 0 594 33 0 0 20 0 1 0 24469475 169488384 34784 134679101440 4194304 8254037 140733410913664 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140733410919260 140733410919522 140733410919522 140733410926537 0
/proc/221973/statm: 41379 34784 1729 992 0 33237 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 165516 KiB
Current children cumulated memory: 139136 KiB
[startup+12.7092 s]
/proc/loadavg: 4.09 4.13 4.17 5/260 221976
/proc/meminfo: memFree=119341876/131655788 swapFree=131071472/131071996
[pid=221973] ppid=221970 vsize=200760 memory=165664 CPUtime=12.66 cores=5,7
/proc/221973/stat : 221973 (roundingsat) R 221970 221973 216639 0 -1 4194304 35300 0 0 0 1219 47 0 0 20 0 1 0 24469475 205578240 41416 134679101440 4194304 8254037 140733410913664 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140733410919260 140733410919522 140733410919522 140733410926537 0
/proc/221973/statm: 50190 41416 1901 992 0 42048 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 200760 KiB
Current children cumulated memory: 165664 KiB
[startup+25.5003 s]
/proc/loadavg: 4.07 4.13 4.17 5/259 221977
/proc/meminfo: memFree=119286688/131655788 swapFree=131071472/131071996
[pid=221973] ppid=221970 vsize=212592 memory=171712 CPUtime=25.41 cores=5,7
/proc/221973/stat : 221973 (roundingsat) R 221970 221973 216639 0 -1 4194304 35852 0 0 0 2492 49 0 0 20 0 1 0 24469475 217694208 42928 134679101440 4194304 8254037 140733410913664 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140733410919260 140733410919522 140733410919522 140733410926537 0
/proc/221973/statm: 53148 42928 1901 992 0 45006 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 212592 KiB
Current children cumulated memory: 171712 KiB
[startup+51.1144 s]
/proc/loadavg: 4.13 4.13 4.17 5/260 221985
/proc/meminfo: memFree=119204408/131655788 swapFree=131071472/131071996
[pid=221973] ppid=221970 vsize=212592 memory=175940 CPUtime=50.95 cores=5,7
/proc/221973/stat : 221973 (roundingsat) R 221970 221973 216639 0 -1 4194304 35920 0 0 0 5043 52 0 0 20 0 1 0 24469475 217694208 43985 134679101440 4194304 8254037 140733410913664 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140733410919260 140733410919522 140733410919522 140733410926537 0
/proc/221973/statm: 53148 43985 1901 992 0 45006 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 212592 KiB
Current children cumulated memory: 175940 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.11 4.16 5/248 222040
/proc/meminfo: memFree=119641364/131655788 swapFree=131071472/131071996
[pid=221973] ppid=221970 vsize=212592 memory=178164 CPUtime=101.96 cores=5,7
/proc/221973/stat : 221973 (roundingsat) R 221970 221973 216639 0 -1 4194304 36069 0 0 0 10121 75 0 0 20 0 1 0 24469475 217694208 44541 134679101440 4194304 8254037 140733410913664 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140733410919260 140733410919522 140733410919522 140733410926537 0
/proc/221973/statm: 53148 44541 1901 992 0 45006 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 212592 KiB
Current children cumulated memory: 178164 KiB
[startup+162.3 s]
/proc/loadavg: 4.74 4.29 4.22 5/245 222050
/proc/meminfo: memFree=119483132/131655788 swapFree=131071472/131071996
[pid=221973] ppid=221970 vsize=290744 memory=228556 CPUtime=161.75 cores=5,7
/proc/221973/stat : 221973 (roundingsat) R 221970 221973 216639 0 -1 4194304 37985 0 0 0 16093 82 0 0 20 0 1 0 24469475 297721856 57139 134679101440 4194304 8254037 140733410913664 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140733410919260 140733410919522 140733410919522 140733410926537 0
/proc/221973/statm: 72686 57139 1901 992 0 64544 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 290744 KiB
Current children cumulated memory: 228556 KiB
[startup+222.3 s]
/proc/loadavg: 4.53 4.32 4.24 5/246 222062
/proc/meminfo: memFree=119253720/131655788 swapFree=131071472/131071996
[pid=221973] ppid=221970 vsize=290744 memory=232872 CPUtime=221.52 cores=5,7
/proc/221973/stat : 221973 (roundingsat) R 221970 221973 216639 0 -1 4194304 38019 0 0 0 22062 90 0 0 20 0 1 0 24469475 297721856 58218 134679101440 4194304 8254037 140733410913664 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140733410919260 140733410919522 140733410919522 140733410926537 0
/proc/221973/statm: 72686 58218 1901 992 0 64544 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 290744 KiB
Current children cumulated memory: 232872 KiB
[startup+282.3 s]
/proc/loadavg: 4.26 4.28 4.22 5/246 222072
/proc/meminfo: memFree=119145212/131655788 swapFree=131071472/131071996
[pid=221973] ppid=221970 vsize=290744 memory=245436 CPUtime=281.3 cores=5,7
/proc/221973/stat : 221973 (roundingsat) R 221970 221973 216639 0 -1 4194304 38177 0 0 0 28034 96 0 0 20 0 1 0 24469475 297721856 61359 134679101440 4194304 8254037 140733410913664 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140733410919260 140733410919522 140733410919522 140733410926537 0
/proc/221973/statm: 72686 61359 1901 992 0 64544 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 290744 KiB
Current children cumulated memory: 245436 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.24 4.21 5/248 222469
/proc/meminfo: memFree=118850020/131655788 swapFree=131071472/131071996
[pid=221973] ppid=221970 vsize=290744 memory=245768 CPUtime=341.15 cores=5,7
/proc/221973/stat : 221973 (roundingsat) R 221970 221973 216639 0 -1 4194304 38244 0 0 0 34015 100 0 0 20 0 1 0 24469475 297721856 61442 134679101440 4194304 8254037 140733410913664 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140733410919260 140733410919522 140733410919522 140733410926537 0
/proc/221973/statm: 72686 61442 1901 992 0 64544 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 290744 KiB
Current children cumulated memory: 245768 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.23 4.21 5/247 222480
/proc/meminfo: memFree=118650932/131655788 swapFree=131071472/131071996
[pid=221973] ppid=221970 vsize=290744 memory=245768 CPUtime=401.01 cores=5,7
/proc/221973/stat : 221973 (roundingsat) R 221970 221973 216639 0 -1 4194304 38304 0 0 0 39996 105 0 0 20 0 1 0 24469475 297721856 61442 134679101440 4194304 8254037 140733410913664 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140733410919260 140733410919522 140733410919522 140733410926537 0
/proc/221973/statm: 72686 61442 1901 992 0 64544 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 290744 KiB
Current children cumulated memory: 245768 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.20 4.19 5/242 222517
/proc/meminfo: memFree=118677716/131655788 swapFree=131071472/131071996
[pid=221973] ppid=221970 vsize=290744 memory=245768 CPUtime=460.85 cores=5,7
/proc/221973/stat : 221973 (roundingsat) R 221970 221973 216639 0 -1 4194304 38380 0 0 0 45976 109 0 0 20 0 1 0 24469475 297721856 61442 134679101440 4194304 8254037 140733410913664 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140733410919260 140733410919522 140733410919522 140733410926537 0
/proc/221973/statm: 72686 61442 1901 992 0 64544 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 3.07 3.15 3.49 4/240 224049
/proc/meminfo: memFree=114696588/131655788 swapFree=131071472/131071996
[pid=221973] ppid=221970 vsize=431144 memory=372964 CPUtime=3093.26 cores=5,7
/proc/221973/stat : 221973 (roundingsat) R 221970 221973 216639 0 -1 4194304 44662 0 0 0 308895 431 0 0 20 0 1 0 24469475 441491456 93241 134679101440 4194304 8254037 140733410913664 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140733410919260 140733410919522 140733410919522 140733410926537 0
/proc/221973/statm: 107786 93241 1996 992 0 99644 0
Current children cumulated CPU time: 3093.26 s
Current children cumulated vsize: 431144 KiB
Current children cumulated memory: 372964 KiB
[startup+3162.3 s]
/proc/loadavg: 3.60 3.28 3.52 4/240 224060
/proc/meminfo: memFree=114696224/131655788 swapFree=131071472/131071996
[pid=221973] ppid=221970 vsize=431144 memory=372964 CPUtime=3153.09 cores=5,7
/proc/221973/stat : 221973 (roundingsat) R 221970 221973 216639 0 -1 4194304 44721 0 0 0 314874 435 0 0 20 0 1 0 24469475 441491456 93241 134679101440 4194304 8254037 140733410913664 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140733410919260 140733410919522 140733410919522 140733410926537 0
/proc/221973/statm: 107786 93241 1996 992 0 99644 0
Current children cumulated CPU time: 3153.09 s
Current children cumulated vsize: 431144 KiB
Current children cumulated memory: 372964 KiB
[startup+3222.3 s]
/proc/loadavg: 3.46 3.31 3.52 4/240 224072
/proc/meminfo: memFree=114696012/131655788 swapFree=131071472/131071996
[pid=221973] ppid=221970 vsize=431144 memory=372964 CPUtime=3212.92 cores=5,7
/proc/221973/stat : 221973 (roundingsat) R 221970 221973 216639 0 -1 4194304 44777 0 0 0 320854 438 0 0 20 0 1 0 24469475 441491456 93241 134679101440 4194304 8254037 140733410913664 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140733410919260 140733410919522 140733410919522 140733410926537 0
/proc/221973/statm: 107786 93241 1996 992 0 99644 0
Current children cumulated CPU time: 3212.92 s
Current children cumulated vsize: 431144 KiB
Current children cumulated memory: 372964 KiB
[startup+3282.3 s]
/proc/loadavg: 3.27 3.28 3.49 4/240 224082
/proc/meminfo: memFree=114695692/131655788 swapFree=131071472/131071996
[pid=221973] ppid=221970 vsize=431144 memory=372964 CPUtime=3272.76 cores=5,7
/proc/221973/stat : 221973 (roundingsat) R 221970 221973 216639 0 -1 4194304 44837 0 0 0 326834 442 0 0 20 0 1 0 24469475 441491456 93241 134679101440 4194304 8254037 140733410913664 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140733410919260 140733410919522 140733410919522 140733410926537 0
/proc/221973/statm: 107786 93241 1996 992 0 99644 0
Current children cumulated CPU time: 3272.76 s
Current children cumulated vsize: 431144 KiB
Current children cumulated memory: 372964 KiB
[startup+3342.3 s]
/proc/loadavg: 3.16 3.25 3.46 4/239 224092
/proc/meminfo: memFree=114695488/131655788 swapFree=131071472/131071996
[pid=221973] ppid=221970 vsize=431144 memory=372964 CPUtime=3332.58 cores=5,7
/proc/221973/stat : 221973 (roundingsat) R 221970 221973 216639 0 -1 4194304 44894 0 0 0 332813 445 0 0 20 0 1 0 24469475 441491456 93241 134679101440 4194304 8254037 140733410913664 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140733410919260 140733410919522 140733410919522 140733410926537 0
/proc/221973/statm: 107786 93241 1996 992 0 99644 0
Current children cumulated CPU time: 3332.58 s
Current children cumulated vsize: 431144 KiB
Current children cumulated memory: 372964 KiB
[startup+3402.3 s]
/proc/loadavg: 3.14 3.22 3.44 4/234 224102
/proc/meminfo: memFree=114695136/131655788 swapFree=131071472/131071996
[pid=221973] ppid=221970 vsize=431144 memory=372964 CPUtime=3392.42 cores=5,7
/proc/221973/stat : 221973 (roundingsat) R 221970 221973 216639 0 -1 4194304 44951 0 0 0 338793 449 0 0 20 0 1 0 24469475 441491456 93241 134679101440 4194304 8254037 140733410913664 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140733410919260 140733410919522 140733410919522 140733410926537 0
/proc/221973/statm: 107786 93241 1996 992 0 99644 0
Current children cumulated CPU time: 3392.42 s
Current children cumulated vsize: 431144 KiB
Current children cumulated memory: 372964 KiB
[startup+3462.3 s]
/proc/loadavg: 3.11 3.19 3.41 4/234 224113
/proc/meminfo: memFree=114694820/131655788 swapFree=131071472/131071996
[pid=221973] ppid=221970 vsize=431144 memory=372964 CPUtime=3452.25 cores=5,7
/proc/221973/stat : 221973 (roundingsat) R 221970 221973 216639 0 -1 4194304 45015 0 0 0 344771 454 0 0 20 0 1 0 24469475 441491456 93241 134679101440 4194304 8254037 140733410913664 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140733410919260 140733410919522 140733410919522 140733410926537 0
/proc/221973/statm: 107786 93241 1996 992 0 99644 0
Current children cumulated CPU time: 3452.25 s
Current children cumulated vsize: 431144 KiB
Current children cumulated memory: 372964 KiB
[startup+3522.3 s]
/proc/loadavg: 2.49 3.00 3.33 3/228 224154
/proc/meminfo: memFree=116742532/131655788 swapFree=131071472/131071996
[pid=221973] ppid=221970 vsize=431144 memory=372964 CPUtime=3512.07 cores=5,7
/proc/221973/stat : 221973 (roundingsat) R 221970 221973 216639 0 -1 4194304 45090 0 0 0 350746 461 0 0 20 0 1 0 24469475 441491456 93241 134679101440 4194304 8254037 140733410913664 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140733410919260 140733410919522 140733410919522 140733410926537 0
/proc/221973/statm: 107786 93241 1996 992 0 99644 0
Current children cumulated CPU time: 3512.07 s
Current children cumulated vsize: 431144 KiB
Current children cumulated memory: 372964 KiB
[startup+3582.3 s]
/proc/loadavg: 2.21 2.83 3.25 3/228 224164
/proc/meminfo: memFree=116743396/131655788 swapFree=131071472/131071996
[pid=221973] ppid=221970 vsize=431144 memory=372964 CPUtime=3571.9 cores=5,7
/proc/221973/stat : 221973 (roundingsat) R 221970 221973 216639 0 -1 4194304 45157 0 0 0 356722 468 0 0 20 0 1 0 24469475 441491456 93241 134679101440 4194304 8254037 140733410913664 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140733410919260 140733410919522 140733410919522 140733410926537 0
/proc/221973/statm: 107786 93241 1996 992 0 99644 0
Current children cumulated CPU time: 3571.9 s
Current children cumulated vsize: 431144 KiB
Current children cumulated memory: 372964 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 2.13 2.75 3.21 3/228 224170
/proc/meminfo: memFree=116743220/131655788 swapFree=131071472/131071996
[pid=221973] ppid=221970 vsize=431144 memory=372964 CPUtime=3600.01 cores=5,7
/proc/221973/stat : 221973 (roundingsat) R 221970 221973 216639 0 -1 4194304 45208 0 0 0 359532 469 0 0 20 0 1 0 24469475 441491456 93241 134679101440 4194304 8254037 140733410913664 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140733410919260 140733410919522 140733410919522 140733410926537 0
/proc/221973/statm: 107786 93241 1996 992 0 99644 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 431144 KiB
Current children cumulated memory: 372964 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3612.5 s]
# the end of solver process 221973 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3597.32 s, system=4.70265 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 2.13 2.75 3.21 3/228 224170
/proc/meminfo: memFree=116743220/131655788 swapFree=131071472/131071996
[pid=221973] ppid=221970 vsize=431144 memory=372964 CPUtime=3600.72 cores=5,7
/proc/221973/stat : 221973 (roundingsat) R 221970 221973 216639 0 -1 4194304 45208 0 0 0 359602 470 0 0 20 0 1 0 24469475 441491456 93241 134679101440 4194304 8254037 140733410913664 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140733410919260 140733410919522 140733410919522 140733410926537 0
/proc/221973/statm: 107786 93241 1996 992 0 99644 0
Current children cumulated CPU time: 3600.72 s
Current children cumulated vsize: 431144 KiB
Current children cumulated memory: 372964 KiB
[startup+3612 s]*
/proc/loadavg: 2.13 2.75 3.21 3/228 224170
/proc/meminfo: memFree=116743236/131655788 swapFree=131071472/131071996
[pid=221973] ppid=221970 vsize=431144 memory=372964 CPUtime=3601.53 cores=5,7
/proc/221973/stat : 221973 (roundingsat) R 221970 221973 216639 0 -1 4194304 45208 0 0 0 359683 470 0 0 20 0 1 0 24469475 441491456 93241 134679101440 4194304 8254037 140733410913664 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140733410919260 140733410919522 140733410919522 140733410926537 0
/proc/221973/statm: 107786 93241 1996 992 0 99644 0
Current children cumulated CPU time: 3601.53 s
Current children cumulated vsize: 431144 KiB
Current children cumulated memory: 372964 KiB
[startup+3612.4 s]
/proc/loadavg: 2.13 2.75 3.21 3/228 224170
/proc/meminfo: memFree=116743236/131655788 swapFree=131071472/131071996
[pid=221973] ppid=221970 vsize=431144 memory=372964 CPUtime=3601.92 cores=5,7
/proc/221973/stat : 221973 (roundingsat) R 221970 221973 216639 0 -1 4194304 45208 0 0 0 359722 470 0 0 20 0 1 0 24469475 441491456 93241 134679101440 4194304 8254037 140733410913664 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140733410919260 140733410919522 140733410919522 140733410926537 0
/proc/221973/statm: 107786 93241 1996 992 0 99644 0
Current children cumulated CPU time: 3601.92 s
Current children cumulated vsize: 431144 KiB
Current children cumulated memory: 372964 KiB
[startup+3612.5 s]
/proc/loadavg: 2.13 2.75 3.21 3/228 224170
/proc/meminfo: memFree=116743236/131655788 swapFree=131071472/131071996
[pid=221973] ppid=221970 vsize=431144 memory=372964 CPUtime=3602.02 cores=5,7
/proc/221973/stat : 221973 (roundingsat) R 221970 221973 216639 0 -1 4194304 45208 0 0 0 359732 470 0 0 20 0 1 0 24469475 441491456 93241 134679101440 4194304 8254037 140733410913664 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140733410919260 140733410919522 140733410919522 140733410926537 0
/proc/221973/statm: 107786 93241 1996 992 0 99644 0
Current children cumulated CPU time: 3602.02 s
Current children cumulated vsize: 431144 KiB
Current children cumulated memory: 372964 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3612.5
CPU time (s): 3602.03
CPU user time (s): 3597.32
CPU system time (s): 4.70265
CPU usage (%): 99.71
Max. virtual memory (cumulated for all children) (KiB): 431144
Max. memory (cumulated for all children) (KiB): 372964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.32
system time used= 4.70265
maximum resident set size= 372964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45208
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1090544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21
involuntary context switches= 1463
# summary of solver processes directly reported to runsolver:
# pid: 221973
# total CPU time (s): 3602.03
# total CPU user time (s): 3597.32
# total CPU system time (s): 4.70265
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4537 second user time and 36.0443 second system time
The end
Begin job on nodeC004 at 2024-07-25 07:20:05 IDJOB=4458831 IDBENCH=178200 IDSOLVER=3085 FILE ID=nodeC004/4458831-1721884805 RUNJOBID= nodeC004-1721877159-216652 SLURM_JOB_ID= 8089264 Free space on /tmp= 723756 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_block/normalized-maxcut_opt_complete_6-partite_block_nvert_72.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458831-1721884805/watcher-4458831-1721884805 -o /tmp/evaluation-result-4458831-1721884805/solver-4458831-1721884805 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721877159-216652 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4458831-1721884805 --lp-cut-gomory=0 HOME/instance-4458831-1721884805.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ba01a5d98b16d8ee23010d930c3d525f RANDOM SEED=509123651 nodeC004.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3532.941 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3669.001 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.438 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.392 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3672.907 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1606.008 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.403 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.301 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 119597980 kB MemAvailable: 129437576 kB Buffers: 305868 kB Cached: 10323300 kB SwapCached: 60 kB Active: 2634532 kB Inactive: 8777168 kB Active(anon): 1436 kB Inactive(anon): 835044 kB Active(file): 2633096 kB Inactive(file): 7942124 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071472 kB Dirty: 113748 kB Writeback: 0 kB AnonPages: 779336 kB Mapped: 125208 kB Shmem: 53860 kB KReclaimable: 209152 kB Slab: 324256 kB SReclaimable: 209152 kB SUnreclaim: 115104 kB KernelStack: 4144 kB PageTables: 11116 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1280964 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20128 kB HardwareCorrupted: 0 kB AnonHugePages: 462848 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 392008 kB DirectMap2M: 50892800 kB DirectMap1G: 84934656 kB Free space on /tmp at the end= 723756 MiB End job on nodeC004 at 2024-07-25 08:20:18