| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3602.06 | 3613.02 |
| 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.39/1.44 c #variables 2556 #constraints 238560 7.66/7.72 c bounds - >= -2160 @ 1.09071 7.66/7.72 c bounds 0 >= -2160 @ 7.18233 7.66/7.72 c bounds 0 >= -2159 @ 7.18331 7.66/7.72 c bounds 0 >= -2158 @ 7.18405 7.66/7.72 c bounds 0 >= -2157 @ 7.18479 7.66/7.72 c bounds 0 >= -2156 @ 7.18559 7.66/7.72 c bounds 0 >= -2155 @ 7.18638 7.66/7.72 c bounds 0 >= -2154 @ 7.18712 7.66/7.72 c bounds 0 >= -2153 @ 7.18785 7.66/7.72 c bounds 0 >= -2152 @ 7.18857 7.66/7.72 c bounds 0 >= -2151 @ 7.18928 7.66/7.72 c bounds 0 >= -2150 @ 7.19 7.66/7.72 c bounds 0 >= -2149 @ 7.1907 7.66/7.72 c bounds 0 >= -2148 @ 7.19141 7.66/7.72 c bounds 0 >= -2147 @ 7.19231 7.66/7.72 c bounds 0 >= -2146 @ 7.19305 7.66/7.72 c bounds 0 >= -2145 @ 7.19379 7.66/7.72 c bounds 0 >= -2144 @ 7.19452 7.66/7.72 c bounds 0 >= -2143 @ 7.19525 7.66/7.72 c bounds 0 >= -2142 @ 7.19598 7.66/7.72 c bounds 0 >= -2141 @ 7.19671 7.66/7.72 c bounds 0 >= -2140 @ 7.19743 7.66/7.72 c bounds 0 >= -2139 @ 7.19814 7.66/7.72 c bounds 0 >= -2138 @ 7.19886 7.66/7.72 c bounds 0 >= -2137 @ 7.19957 7.66/7.72 c bounds 0 >= -2136 @ 7.20027 7.66/7.72 c bounds 0 >= -2135 @ 7.20134 7.66/7.72 c bounds 0 >= -2134 @ 7.2021 7.66/7.72 c bounds 0 >= -2133 @ 7.20285 7.66/7.72 c bounds 0 >= -2132 @ 7.2036 7.66/7.72 c bounds 0 >= -2131 @ 7.20434 7.66/7.72 c bounds 0 >= -2130 @ 7.20508 7.66/7.72 c bounds 0 >= -2129 @ 7.20582 7.66/7.72 c bounds 0 >= -2128 @ 7.20657 7.66/7.72 c bounds 0 >= -2127 @ 7.2073 7.66/7.72 c bounds 0 >= -2126 @ 7.20803 7.66/7.72 c bounds 0 >= -2125 @ 7.20812 7.66/7.72 c bounds 0 >= -2124 @ 7.20854 7.66/7.72 c bounds 0 >= -2123 @ 7.20934 7.66/7.72 c bounds 0 >= -2122 @ 7.21008 7.66/7.72 c bounds 0 >= -2121 @ 7.21083 7.66/7.72 c bounds 0 >= -2120 @ 7.21158 7.66/7.72 c bounds 0 >= -2119 @ 7.21232 7.66/7.72 c bounds 0 >= -2118 @ 7.21306 7.66/7.72 c bounds 0 >= -2117 @ 7.21379 7.66/7.72 c bounds 0 >= -2116 @ 7.21453 7.66/7.72 c bounds 0 >= -2115 @ 7.21527 7.66/7.72 c bounds 0 >= -2114 @ 7.21601 7.66/7.72 c bounds 0 >= -2113 @ 7.21674 7.66/7.72 c bounds 0 >= -2112 @ 7.21748 7.66/7.72 c bounds 0 >= -2111 @ 7.21835 7.66/7.72 c bounds 0 >= -2110 @ 7.21912 7.66/7.72 c bounds 0 >= -2109 @ 7.21988 7.66/7.72 c bounds 0 >= -2108 @ 7.22063 7.66/7.72 c bounds 0 >= -2107 @ 7.22079 7.66/7.72 c bounds 0 >= -2106 @ 7.22113 7.66/7.72 c bounds 0 >= -2105 @ 7.22188 7.66/7.72 c bounds 0 >= -2104 @ 7.22262 7.66/7.72 c bounds 0 >= -2103 @ 7.22336 7.66/7.72 c bounds 0 >= -2102 @ 7.2241 7.66/7.72 c bounds 0 >= -2101 @ 7.22484 7.66/7.72 c bounds 0 >= -2100 @ 7.22557 7.66/7.72 c bounds 0 >= -2099 @ 7.22638 7.66/7.72 c bounds 0 >= -2098 @ 7.22713 7.66/7.72 c bounds 0 >= -2097 @ 7.22796 7.66/7.72 c bounds 0 >= -2096 @ 7.22871 7.66/7.72 c bounds 0 >= -2095 @ 7.22946 7.66/7.72 c bounds 0 >= -2094 @ 7.23021 7.66/7.72 c bounds 0 >= -2093 @ 7.23096 7.66/7.72 c bounds 0 >= -2092 @ 7.2317 7.66/7.72 c bounds 0 >= -2091 @ 7.23244 7.66/7.72 c bounds 0 >= -2090 @ 7.23317 7.66/7.72 c bounds 0 >= -2089 @ 7.23391 7.66/7.72 c bounds 0 >= -2088 @ 7.23464 7.66/7.72 c bounds 0 >= -2087 @ 7.23555 7.66/7.72 c bounds 0 >= -2086 @ 7.23632 7.66/7.72 c bounds 0 >= -2085 @ 7.23707 7.66/7.72 c bounds 0 >= -2084 @ 7.23783 7.66/7.72 c bounds 0 >= -2083 @ 7.23858 7.66/7.72 c bounds 0 >= -2082 @ 7.23933 7.66/7.72 c bounds 0 >= -2081 @ 7.24008 7.66/7.72 c bounds 0 >= -2080 @ 7.24083 7.66/7.72 c bounds 0 >= -2079 @ 7.24097 7.66/7.72 c bounds 0 >= -2078 @ 7.24097 7.66/7.72 c bounds 0 >= -2077 @ 7.24104 7.66/7.72 c bounds 0 >= -2076 @ 7.24178 7.66/7.72 c bounds 0 >= -2075 @ 7.24262 7.66/7.72 c bounds 0 >= -2074 @ 7.24338 7.66/7.72 c bounds 0 >= -2073 @ 7.24416 7.66/7.72 c bounds 0 >= -2072 @ 7.24493 7.66/7.72 c bounds 0 >= -2071 @ 7.24572 7.66/7.72 c bounds 0 >= -2070 @ 7.24651 7.66/7.72 c bounds 0 >= -2069 @ 7.24733 7.66/7.72 c bounds 0 >= -2068 @ 7.24811 7.66/7.72 c bounds 0 >= -2067 @ 7.24887 7.66/7.72 c bounds 0 >= -2066 @ 7.24965 7.66/7.72 c bounds 0 >= -2065 @ 7.25039 7.66/7.72 c bounds 0 >= -2064 @ 7.25113 7.66/7.72 c bounds 0 >= -2063 @ 7.25147 7.66/7.72 c bounds 0 >= -2062 @ 7.25185 7.66/7.72 c bounds 0 >= -2061 @ 7.25261 7.66/7.72 c bounds 0 >= -2060 @ 7.25337 7.66/7.72 c bounds 0 >= -2059 @ 7.25413 7.66/7.72 c bounds 0 >= -2058 @ 7.25488 7.66/7.72 c bounds 0 >= -2057 @ 7.25564 7.66/7.72 c bounds 0 >= -2056 @ 7.25639 7.66/7.72 c bounds 0 >= -2055 @ 7.25723 7.66/7.72 c bounds 0 >= -2054 @ 7.258 7.66/7.72 c bounds 0 >= -2053 @ 7.25876 7.66/7.72 c bounds 0 >= -2052 @ 7.25952 7.66/7.72 c bounds 0 >= -2051 @ 7.2603 7.66/7.72 c bounds 0 >= -2050 @ 7.26107 7.66/7.72 c bounds 0 >= -2049 @ 7.26186 7.66/7.72 c bounds 0 >= -2048 @ 7.26263 7.66/7.72 c bounds 0 >= -2047 @ 7.26355 7.66/7.72 c bounds 0 >= -2046 @ 7.26436 7.66/7.72 c bounds 0 >= -2045 @ 7.26514 7.66/7.72 c bounds 0 >= -2044 @ 7.26592 7.66/7.72 c bounds 0 >= -2043 @ 7.26714 7.66/7.72 c bounds 0 >= -2042 @ 7.26793 7.66/7.72 c bounds 0 >= -2041 @ 7.26872 7.66/7.72 c bounds 0 >= -2040 @ 7.26947 7.66/7.72 c bounds 0 >= -2039 @ 7.27022 7.66/7.72 c bounds 0 >= -2038 @ 7.27097 7.66/7.72 c bounds 0 >= -2037 @ 7.27171 7.66/7.72 c bounds 0 >= -2036 @ 7.27244 7.66/7.72 c bounds 0 >= -2035 @ 7.27332 7.66/7.72 c bounds 0 >= -2034 @ 7.27409 7.66/7.72 c bounds 0 >= -2033 @ 7.27486 7.66/7.72 c bounds 0 >= -2032 @ 7.27496 7.66/7.72 c bounds 0 >= -2031 @ 7.27543 7.66/7.72 c bounds 0 >= -2030 @ 7.27618 7.66/7.72 c bounds 0 >= -2029 @ 7.27691 7.66/7.72 c bounds 0 >= -2028 @ 7.27766 7.66/7.72 c bounds 0 >= -2027 @ 7.27846 7.66/7.72 c bounds 0 >= -2026 @ 7.27923 7.66/7.72 c bounds 0 >= -2025 @ 7.27998 7.76/7.83 c bounds 0 >= -2024 @ 7.28078 7.76/7.83 c bounds 0 >= -2023 @ 7.28156 7.76/7.83 c bounds 0 >= -2022 @ 7.28231 7.76/7.83 c bounds 0 >= -2021 @ 7.28305 7.76/7.83 c bounds 0 >= -2020 @ 7.28379 7.76/7.83 c bounds 0 >= -2019 @ 7.28461 7.76/7.83 c bounds 0 >= -2018 @ 7.28538 7.76/7.83 c bounds 0 >= -2017 @ 7.2862 7.76/7.83 c bounds 0 >= -2016 @ 7.28698 7.76/7.83 c bounds 0 >= -2015 @ 7.28786 7.76/7.83 c bounds 0 >= -2014 @ 7.28793 7.76/7.83 c bounds 0 >= -2013 @ 7.28842 7.76/7.83 c bounds 0 >= -2012 @ 7.28917 7.76/7.83 c bounds 0 >= -2011 @ 7.2899 7.76/7.83 c bounds 0 >= -2010 @ 7.29065 7.76/7.83 c bounds 0 >= -2009 @ 7.29139 7.76/7.83 c bounds 0 >= -2008 @ 7.29213 7.76/7.83 c bounds 0 >= -2007 @ 7.29303 7.76/7.83 c bounds 0 >= -2006 @ 7.29382 7.76/7.83 c bounds 0 >= -2005 @ 7.29391 7.76/7.83 c bounds 0 >= -2004 @ 7.29439 7.76/7.83 c bounds 0 >= -2003 @ 7.29514 7.76/7.83 c bounds 0 >= -2002 @ 7.29589 7.76/7.83 c bounds 0 >= -2001 @ 7.29664 7.76/7.83 c bounds 0 >= -2000 @ 7.2974 7.76/7.83 c bounds 0 >= -1999 @ 7.29821 7.76/7.83 c bounds 0 >= -1998 @ 7.29897 7.76/7.83 c bounds 0 >= -1997 @ 7.29974 7.76/7.83 c bounds 0 >= -1996 @ 7.3005 7.76/7.83 c bounds 0 >= -1995 @ 7.30125 7.76/7.83 c bounds 0 >= -1994 @ 7.302 7.76/7.83 c bounds 0 >= -1993 @ 7.30275 7.76/7.83 c bounds 0 >= -1992 @ 7.3035 7.76/7.83 c bounds 0 >= -1991 @ 7.30432 7.76/7.83 c bounds 0 >= -1990 @ 7.30509 7.76/7.83 c bounds 0 >= -1989 @ 7.30588 7.76/7.83 c bounds 0 >= -1988 @ 7.30663 7.76/7.83 c bounds 0 >= -1987 @ 7.30753 7.76/7.83 c bounds 0 >= -1986 @ 7.30831 7.76/7.83 c bounds 0 >= -1985 @ 7.30848 7.76/7.83 c bounds 0 >= -1984 @ 7.30884 7.76/7.83 c bounds 0 >= -1983 @ 7.30959 7.76/7.83 c bounds 0 >= -1982 @ 7.31035 7.76/7.83 c bounds 0 >= -1981 @ 7.3111 7.76/7.83 c bounds 0 >= -1980 @ 7.31184 7.76/7.83 c bounds 0 >= -1979 @ 7.31275 7.76/7.83 c bounds 0 >= -1978 @ 7.31352 7.76/7.83 c bounds 0 >= -1977 @ 7.31429 7.76/7.83 c bounds 0 >= -1976 @ 7.31507 7.76/7.83 c bounds 0 >= -1975 @ 7.31584 7.76/7.83 c bounds 0 >= -1974 @ 7.3166 7.76/7.83 c bounds 0 >= -1973 @ 7.31736 7.76/7.83 c bounds 0 >= -1972 @ 7.31813 7.76/7.83 c bounds 0 >= -1971 @ 7.31833 7.76/7.83 c bounds 0 >= -1970 @ 7.31876 7.76/7.83 c bounds 0 >= -1969 @ 7.31952 7.76/7.83 c bounds 0 >= -1968 @ 7.32029 7.76/7.83 c bounds 0 >= -1967 @ 7.32104 7.76/7.83 c bounds 0 >= -1966 @ 7.32181 7.76/7.83 c bounds 0 >= -1965 @ 7.32256 7.76/7.83 c bounds 0 >= -1964 @ 7.32331 7.76/7.83 c bounds 0 >= -1963 @ 7.32415 7.76/7.83 c bounds 0 >= -1962 @ 7.32492 7.76/7.83 c bounds 0 >= -1961 @ 7.32568 7.76/7.83 c bounds 0 >= -1960 @ 7.32645 7.76/7.83 c bounds 0 >= -1959 @ 7.32742 7.76/7.83 c bounds 0 >= -1958 @ 7.3282 7.76/7.83 c bounds 0 >= -1957 @ 7.32897 7.76/7.83 c bounds 0 >= -1956 @ 7.32974 7.76/7.83 c bounds 0 >= -1955 @ 7.33054 7.76/7.83 c bounds 0 >= -1954 @ 7.33131 7.76/7.83 c bounds 0 >= -1953 @ 7.33207 7.76/7.83 c bounds 0 >= -1952 @ 7.33281 7.76/7.83 c bounds 0 >= -1951 @ 7.33373 7.76/7.83 c bounds 0 >= -1950 @ 7.33452 7.76/7.83 c bounds 0 >= -1949 @ 7.33532 7.76/7.83 c bounds 0 >= -1948 @ 7.3361 7.76/7.83 c bounds 0 >= -1947 @ 7.33699 7.76/7.83 c bounds 0 >= -1946 @ 7.33782 7.76/7.83 c bounds 0 >= -1945 @ 7.33864 7.76/7.83 c bounds 0 >= -1944 @ 7.33947 7.76/7.83 c bounds 0 >= -1943 @ 7.34031 7.76/7.83 c bounds 0 >= -1942 @ 7.34113 7.76/7.83 c bounds 0 >= -1941 @ 7.34194 7.76/7.83 c bounds 0 >= -1940 @ 7.34273 7.76/7.83 c bounds 0 >= -1939 @ 7.34354 7.76/7.83 c bounds 0 >= -1938 @ 7.34435 7.76/7.83 c bounds 0 >= -1937 @ 7.34511 7.76/7.83 c bounds 0 >= -1936 @ 7.34587 7.76/7.83 c bounds 0 >= -1935 @ 7.34682 7.76/7.83 c bounds 0 >= -1934 @ 7.34763 7.76/7.83 c bounds 0 >= -1933 @ 7.34844 7.76/7.83 c bounds 0 >= -1932 @ 7.34923 7.76/7.83 c bounds 0 >= -1931 @ 7.35026 7.76/7.83 c bounds 0 >= -1930 @ 7.35104 7.76/7.83 c bounds 0 >= -1929 @ 7.35183 7.76/7.83 c bounds 0 >= -1928 @ 7.35261 7.76/7.83 c bounds 0 >= -1927 @ 7.35343 7.76/7.83 c bounds 0 >= -1926 @ 7.35422 7.76/7.83 c bounds 0 >= -1925 @ 7.35504 7.76/7.83 c bounds -60 >= -1925 @ 7.36058 7.76/7.83 c bounds -60 >= -1924 @ 7.36175 7.76/7.83 c bounds -60 >= -1923 @ 7.36271 7.76/7.83 c bounds -60 >= -1922 @ 7.36351 7.76/7.83 c bounds -60 >= -1921 @ 7.36431 7.76/7.83 c bounds -60 >= -1920 @ 7.3651 7.76/7.83 c bounds -60 >= -1919 @ 7.36597 7.76/7.83 c bounds -60 >= -1918 @ 7.36677 7.76/7.83 c bounds -60 >= -1917 @ 7.36757 7.76/7.83 c bounds -60 >= -1916 @ 7.36768 7.76/7.83 c bounds -60 >= -1915 @ 7.36817 7.76/7.83 c bounds -60 >= -1914 @ 7.36895 7.76/7.83 c bounds -60 >= -1913 @ 7.36971 7.76/7.83 c bounds -60 >= -1912 @ 7.37048 7.76/7.83 c bounds -60 >= -1911 @ 7.37124 7.76/7.83 c bounds -60 >= -1910 @ 7.372 7.76/7.83 c bounds -60 >= -1909 @ 7.37276 7.76/7.83 c bounds -60 >= -1908 @ 7.37351 7.76/7.83 c bounds -60 >= -1907 @ 7.37454 7.76/7.83 c bounds -60 >= -1906 @ 7.37536 7.76/7.83 c bounds -60 >= -1905 @ 7.37617 7.76/7.83 c bounds -60 >= -1904 @ 7.37697 7.76/7.83 c bounds -60 >= -1903 @ 7.37818 7.76/7.83 c bounds -60 >= -1902 @ 7.37898 7.76/7.83 c bounds -60 >= -1901 @ 7.37976 7.76/7.83 c bounds -60 >= -1900 @ 7.38055 7.76/7.83 c bounds -60 >= -1899 @ 7.38065 7.76/7.83 c bounds -60 >= -1898 @ 7.38117 7.76/7.83 c bounds -60 >= -1897 @ 7.38201 7.76/7.83 c bounds -60 >= -1896 @ 7.38278 7.76/7.83 c bounds -60 >= -1895 @ 7.38366 7.76/7.83 c bounds -60 >= -1894 @ 7.38445 7.76/7.83 c bounds -60 >= -1893 @ 7.38523 7.76/7.83 c bounds -60 >= -1892 @ 7.386 7.76/7.83 c bounds -60 >= -1891 @ 7.38684 7.86/7.95 c bounds -120 >= -1891 @ 7.39192 7.86/7.95 c bounds -120 >= -1890 @ 7.39317 7.86/7.95 c bounds -120 >= -1889 @ 7.39397 7.86/7.95 c bounds -120 >= -1888 @ 7.39475 7.86/7.95 c bounds -120 >= -1887 @ 7.39552 7.86/7.95 c bounds -120 >= -1886 @ 7.3963 7.86/7.95 c bounds -120 >= -1885 @ 7.39707 7.86/7.95 c bounds -120 >= -1884 @ 7.39785 7.86/7.95 c bounds -120 >= -1883 @ 7.39861 7.86/7.95 c bounds -120 >= -1882 @ 7.39937 7.86/7.95 c bounds -120 >= -1881 @ 7.40012 7.86/7.95 c bounds -120 >= -1880 @ 7.40087 7.86/7.95 c bounds -120 >= -1879 @ 7.40174 7.86/7.95 c bounds -120 >= -1878 @ 7.40257 7.86/7.95 c bounds -120 >= -1877 @ 7.40334 7.86/7.95 c bounds -120 >= -1876 @ 7.40411 7.86/7.95 c bounds -120 >= -1875 @ 7.40488 7.86/7.95 c bounds -120 >= -1874 @ 7.40503 7.86/7.95 c bounds -120 >= -1873 @ 7.40574 7.86/7.95 c bounds -120 >= -1872 @ 7.4065 7.86/7.95 c bounds -120 >= -1871 @ 7.40729 7.86/7.95 c bounds -120 >= -1870 @ 7.40807 7.86/7.95 c bounds -120 >= -1869 @ 7.40883 7.86/7.95 c bounds -120 >= -1868 @ 7.409 7.86/7.95 c bounds -120 >= -1867 @ 7.40958 7.86/7.95 c bounds -120 >= -1866 @ 7.41037 7.86/7.95 c bounds -120 >= -1865 @ 7.41118 7.86/7.95 c bounds -120 >= -1864 @ 7.41198 7.86/7.95 c bounds -120 >= -1863 @ 7.41283 7.86/7.95 c bounds -120 >= -1862 @ 7.41362 7.86/7.95 c bounds -120 >= -1861 @ 7.41439 7.86/7.95 c bounds -120 >= -1860 @ 7.41518 7.86/7.95 c bounds -120 >= -1859 @ 7.41595 7.86/7.95 c bounds -120 >= -1858 @ 7.41672 7.86/7.95 c bounds -120 >= -1857 @ 7.41748 7.86/7.95 c bounds -120 >= -1856 @ 7.41825 7.86/7.95 c bounds -120 >= -1855 @ 7.4194 7.86/7.95 c bounds -120 >= -1854 @ 7.42018 7.86/7.95 c bounds -180 >= -1854 @ 7.4254 7.86/7.95 c bounds -180 >= -1853 @ 7.42655 7.86/7.95 c bounds -180 >= -1852 @ 7.4273 7.86/7.95 c bounds -180 >= -1851 @ 7.42821 7.86/7.95 c bounds -180 >= -1850 @ 7.429 7.86/7.95 c bounds -180 >= -1849 @ 7.42978 7.86/7.95 c bounds -180 >= -1848 @ 7.43055 7.86/7.95 c bounds -180 >= -1847 @ 7.43133 7.86/7.95 c bounds -180 >= -1846 @ 7.43216 7.86/7.95 c bounds -180 >= -1845 @ 7.43323 7.86/7.95 c bounds -180 >= -1844 @ 7.43404 7.86/7.95 c bounds -180 >= -1843 @ 7.43486 7.86/7.95 c bounds -180 >= -1842 @ 7.43567 7.86/7.95 c bounds -180 >= -1841 @ 7.43649 7.86/7.95 c bounds -180 >= -1840 @ 7.43724 7.86/7.95 c bounds -180 >= -1839 @ 7.43819 7.86/7.95 c bounds -180 >= -1838 @ 7.43896 7.86/7.95 c bounds -180 >= -1837 @ 7.43971 7.86/7.95 c bounds -180 >= -1836 @ 7.44047 7.86/7.95 c bounds -180 >= -1835 @ 7.44122 7.86/7.95 c bounds -180 >= -1834 @ 7.44196 7.86/7.95 c bounds -180 >= -1833 @ 7.44271 7.86/7.95 c bounds -180 >= -1832 @ 7.44344 7.86/7.95 c bounds -180 >= -1831 @ 7.44476 7.86/7.95 c bounds -180 >= -1830 @ 7.44582 7.86/7.95 c bounds -180 >= -1829 @ 7.4466 7.86/7.95 c bounds -180 >= -1828 @ 7.44737 7.86/7.95 c bounds -180 >= -1827 @ 7.44818 7.86/7.95 c bounds -180 >= -1826 @ 7.44898 7.86/7.95 c bounds -180 >= -1825 @ 7.44974 7.86/7.95 c bounds -180 >= -1824 @ 7.4505 7.86/7.95 c bounds -180 >= -1823 @ 7.45136 7.86/7.95 c bounds -240 >= -1823 @ 7.45634 7.86/7.95 c bounds -240 >= -1822 @ 7.45696 7.86/7.95 c bounds -240 >= -1821 @ 7.45772 7.86/7.95 c bounds -240 >= -1820 @ 7.45848 7.86/7.95 c bounds -240 >= -1819 @ 7.45923 7.86/7.95 c bounds -240 >= -1818 @ 7.45999 7.86/7.95 c bounds -240 >= -1817 @ 7.46073 7.86/7.95 c bounds -240 >= -1816 @ 7.46148 7.86/7.95 c bounds -240 >= -1815 @ 7.46257 7.86/7.95 c bounds -240 >= -1814 @ 7.46337 7.86/7.95 c bounds -240 >= -1813 @ 7.46419 7.86/7.95 c bounds -240 >= -1812 @ 7.46501 7.86/7.95 c bounds -240 >= -1811 @ 7.46591 7.86/7.95 c bounds -240 >= -1810 @ 7.46673 7.86/7.95 c bounds -240 >= -1809 @ 7.46755 7.86/7.95 c bounds -240 >= -1808 @ 7.46834 7.86/7.95 c bounds -240 >= -1807 @ 7.46834 7.86/7.95 c bounds -240 >= -1806 @ 7.46912 7.86/7.95 c bounds -240 >= -1805 @ 7.46994 7.86/7.95 c bounds -240 >= -1804 @ 7.47075 7.86/7.95 c bounds -240 >= -1803 @ 7.47155 7.86/7.95 c bounds -240 >= -1802 @ 7.47236 7.86/7.95 c bounds -240 >= -1801 @ 7.47316 7.86/7.95 c bounds -240 >= -1800 @ 7.47392 7.86/7.95 c bounds -240 >= -1799 @ 7.47487 7.86/7.95 c bounds -240 >= -1798 @ 7.47566 7.86/7.95 c bounds -240 >= -1797 @ 7.47641 7.86/7.95 c bounds -240 >= -1796 @ 7.47717 7.86/7.95 c bounds -240 >= -1795 @ 7.47792 7.86/7.95 c bounds -240 >= -1794 @ 7.47871 7.86/7.95 c bounds -240 >= -1793 @ 7.47948 7.86/7.95 c bounds -240 >= -1792 @ 7.48023 7.86/7.95 c bounds -300 >= -1792 @ 7.48567 7.86/7.95 c bounds -300 >= -1791 @ 7.48703 7.86/7.95 c bounds -300 >= -1790 @ 7.48786 7.86/7.95 c bounds -300 >= -1789 @ 7.48868 7.86/7.95 c bounds -300 >= -1788 @ 7.48951 7.86/7.95 c bounds -300 >= -1787 @ 7.49032 7.86/7.95 c bounds -300 >= -1786 @ 7.49113 7.86/7.95 c bounds -300 >= -1785 @ 7.49194 7.86/7.95 c bounds -300 >= -1784 @ 7.49275 7.86/7.95 c bounds -300 >= -1783 @ 7.49405 7.86/7.95 c bounds -300 >= -1782 @ 7.49494 7.86/7.95 c bounds -300 >= -1781 @ 7.49579 7.86/7.95 c bounds -300 >= -1780 @ 7.49662 7.86/7.95 c bounds -300 >= -1779 @ 7.49744 7.86/7.95 c bounds -300 >= -1778 @ 7.49833 7.86/7.95 c bounds -300 >= -1777 @ 7.49915 7.86/7.95 c bounds -300 >= -1776 @ 7.49997 7.86/7.95 c bounds -300 >= -1775 @ 7.5009 7.86/7.95 c bounds -300 >= -1774 @ 7.50172 7.86/7.95 c bounds -300 >= -1773 @ 7.50254 7.86/7.95 c bounds -300 >= -1772 @ 7.50335 7.86/7.95 c bounds -300 >= -1771 @ 7.50425 7.86/7.95 c bounds -300 >= -1770 @ 7.50509 7.98/8.10 c bounds -300 >= -1769 @ 7.50591 7.98/8.10 c bounds -300 >= -1768 @ 7.50671 7.98/8.10 c bounds -300 >= -1767 @ 7.50799 7.98/8.10 c bounds -300 >= -1766 @ 7.50878 7.98/8.10 c bounds -300 >= -1765 @ 7.50957 7.98/8.10 c bounds -300 >= -1764 @ 7.51035 7.98/8.10 c bounds -300 >= -1763 @ 7.51136 7.98/8.10 c bounds -360 >= -1763 @ 7.51622 7.98/8.10 c bounds -360 >= -1762 @ 7.51767 7.98/8.10 c bounds -360 >= -1761 @ 7.51847 7.98/8.10 c bounds -360 >= -1760 @ 7.51924 7.98/8.10 c bounds -360 >= -1759 @ 7.52011 7.98/8.10 c bounds -360 >= -1758 @ 7.5202 7.98/8.10 c bounds -360 >= -1757 @ 7.52068 7.98/8.10 c bounds -360 >= -1756 @ 7.52143 7.98/8.10 c bounds -360 >= -1755 @ 7.52227 7.98/8.10 c bounds -360 >= -1754 @ 7.52303 7.98/8.10 c bounds -360 >= -1753 @ 7.52379 7.98/8.10 c bounds -360 >= -1752 @ 7.52455 7.98/8.10 c bounds -360 >= -1751 @ 7.5255 7.98/8.10 c bounds -360 >= -1750 @ 7.52659 7.98/8.10 c bounds -360 >= -1749 @ 7.52746 7.98/8.10 c bounds -360 >= -1748 @ 7.52851 7.98/8.10 c bounds -360 >= -1747 @ 7.52869 7.98/8.10 c bounds -360 >= -1746 @ 7.52914 7.98/8.10 c bounds -360 >= -1745 @ 7.52993 7.98/8.10 c bounds -360 >= -1744 @ 7.53078 7.98/8.10 c bounds -360 >= -1743 @ 7.53155 7.98/8.10 c bounds -420 >= -1743 @ 7.5371 7.98/8.10 c bounds -420 >= -1742 @ 7.53835 7.98/8.10 c bounds -420 >= -1741 @ 7.53919 7.98/8.10 c bounds -420 >= -1740 @ 7.54026 7.98/8.10 c bounds -420 >= -1739 @ 7.54109 7.98/8.10 c bounds -420 >= -1738 @ 7.54187 7.98/8.10 c bounds -420 >= -1737 @ 7.542 7.98/8.10 c bounds -420 >= -1736 @ 7.54246 7.98/8.10 c bounds -420 >= -1735 @ 7.54353 7.98/8.10 c bounds -420 >= -1734 @ 7.54487 7.98/8.10 c bounds -420 >= -1733 @ 7.54571 7.98/8.10 c bounds -420 >= -1732 @ 7.54657 7.98/8.10 c bounds -420 >= -1731 @ 7.54743 7.98/8.10 c bounds -420 >= -1730 @ 7.54839 7.98/8.10 c bounds -420 >= -1729 @ 7.54923 7.98/8.10 c bounds -420 >= -1728 @ 7.55007 7.98/8.10 c bounds -420 >= -1727 @ 7.55089 7.98/8.10 c bounds -420 >= -1726 @ 7.55194 7.98/8.10 c bounds -420 >= -1725 @ 7.5528 7.98/8.10 c bounds -420 >= -1724 @ 7.55362 7.98/8.10 c bounds -420 >= -1723 @ 7.55445 7.98/8.10 c bounds -420 >= -1722 @ 7.55589 7.98/8.10 c bounds -420 >= -1721 @ 7.55682 7.98/8.10 c bounds -420 >= -1720 @ 7.55774 7.98/8.10 c bounds -480 >= -1720 @ 7.56344 7.98/8.10 c bounds -480 >= -1719 @ 7.56503 7.98/8.10 c bounds -480 >= -1718 @ 7.56508 7.98/8.10 c bounds -480 >= -1717 @ 7.56563 7.98/8.10 c bounds -480 >= -1716 @ 7.56646 7.98/8.10 c bounds -480 >= -1715 @ 7.56728 7.98/8.10 c bounds -480 >= -1714 @ 7.56818 7.98/8.10 c bounds -480 >= -1713 @ 7.56916 7.98/8.10 c bounds -480 >= -1712 @ 7.57022 7.98/8.10 c bounds -480 >= -1711 @ 7.57103 7.98/8.10 c bounds -480 >= -1710 @ 7.57187 7.98/8.10 c bounds -480 >= -1709 @ 7.57271 7.98/8.10 c bounds -480 >= -1708 @ 7.57352 7.98/8.10 c bounds -480 >= -1707 @ 7.57434 7.98/8.10 c bounds -480 >= -1706 @ 7.57512 7.98/8.10 c bounds -480 >= -1705 @ 7.5759 7.98/8.10 c bounds -480 >= -1704 @ 7.57686 7.98/8.10 c bounds -540 >= -1704 @ 7.58248 7.98/8.10 c bounds -540 >= -1703 @ 7.58443 7.98/8.10 c bounds -540 >= -1702 @ 7.58529 7.98/8.10 c bounds -540 >= -1701 @ 7.58608 7.98/8.10 c bounds -540 >= -1700 @ 7.58689 7.98/8.10 c bounds -540 >= -1699 @ 7.58739 7.98/8.10 c bounds -540 >= -1698 @ 7.58823 7.98/8.10 c bounds -540 >= -1697 @ 7.58904 7.98/8.10 c bounds -540 >= -1696 @ 7.59 7.98/8.10 c bounds -540 >= -1695 @ 7.59079 7.98/8.10 c bounds -540 >= -1694 @ 7.59157 7.98/8.10 c bounds -540 >= -1693 @ 7.59233 7.98/8.10 c bounds -540 >= -1692 @ 7.59309 7.98/8.10 c bounds -540 >= -1691 @ 7.59385 7.98/8.10 c bounds -540 >= -1690 @ 7.5946 7.98/8.10 c bounds -540 >= -1689 @ 7.59534 7.98/8.10 c bounds -540 >= -1688 @ 7.59609 7.98/8.10 c bounds -540 >= -1687 @ 7.59682 7.98/8.10 c bounds -540 >= -1686 @ 7.59784 7.98/8.10 c bounds -600 >= -1686 @ 7.60311 7.98/8.10 c bounds -600 >= -1685 @ 7.60471 7.98/8.10 c bounds -600 >= -1684 @ 7.60557 7.98/8.10 c bounds -600 >= -1683 @ 7.60641 7.98/8.10 c bounds -600 >= -1682 @ 7.60757 7.98/8.10 c bounds -600 >= -1681 @ 7.60848 7.98/8.10 c bounds -600 >= -1680 @ 7.60936 7.98/8.10 c bounds -600 >= -1679 @ 7.61024 7.98/8.10 c bounds -600 >= -1678 @ 7.61108 7.98/8.10 c bounds -600 >= -1677 @ 7.61196 7.98/8.10 c bounds -600 >= -1676 @ 7.61281 7.98/8.10 c bounds -600 >= -1675 @ 7.61365 7.98/8.10 c bounds -600 >= -1674 @ 7.61475 7.98/8.10 c bounds -600 >= -1673 @ 7.61557 7.98/8.10 c bounds -600 >= -1672 @ 7.61633 7.98/8.10 c bounds -600 >= -1671 @ 7.61708 7.98/8.10 c bounds -600 >= -1670 @ 7.61822 7.98/8.10 c bounds -600 >= -1669 @ 7.61901 7.98/8.10 c bounds -660 >= -1669 @ 7.62391 7.98/8.10 c bounds -660 >= -1668 @ 7.62519 7.98/8.10 c bounds -660 >= -1667 @ 7.62624 7.98/8.10 c bounds -660 >= -1666 @ 7.62745 7.98/8.10 c bounds -660 >= -1665 @ 7.62835 7.98/8.10 c bounds -660 >= -1664 @ 7.62925 7.98/8.10 c bounds -660 >= -1663 @ 7.63014 7.98/8.10 c bounds -660 >= -1662 @ 7.63099 7.98/8.10 c bounds -660 >= -1661 @ 7.63188 7.98/8.10 c bounds -660 >= -1660 @ 7.63273 7.98/8.10 c bounds -660 >= -1659 @ 7.63359 7.98/8.10 c bounds -660 >= -1658 @ 7.63467 7.98/8.10 c bounds -660 >= -1657 @ 7.63549 7.98/8.10 c bounds -660 >= -1656 @ 7.63631 7.98/8.10 c bounds -660 >= -1655 @ 7.6376 7.98/8.10 c bounds -720 >= -1655 @ 7.64367 7.98/8.10 c bounds -720 >= -1654 @ 7.64544 7.98/8.10 c bounds -720 >= -1653 @ 7.64573 8.26/8.34 c bounds -720 >= -1652 @ 7.64707 8.26/8.34 c bounds -720 >= -1651 @ 7.64796 8.26/8.34 c bounds -720 >= -1650 @ 7.64872 8.26/8.34 c bounds -720 >= -1649 @ 7.6495 8.26/8.34 c bounds -720 >= -1648 @ 7.65027 8.26/8.34 c bounds -720 >= -1647 @ 7.65122 8.26/8.34 c bounds -720 >= -1646 @ 7.652 8.26/8.34 c bounds -720 >= -1645 @ 7.65277 8.26/8.34 c bounds -720 >= -1644 @ 7.65356 8.26/8.34 c bounds -720 >= -1643 @ 7.65432 8.26/8.34 c bounds -720 >= -1642 @ 7.65566 8.26/8.34 c bounds -720 >= -1641 @ 7.65649 8.26/8.34 c bounds -720 >= -1640 @ 7.65801 8.26/8.34 c bounds -756 >= -1640 @ 7.66303 8.26/8.34 c bounds -756 >= -1639 @ 7.66456 8.26/8.34 c bounds -756 >= -1638 @ 7.66536 8.26/8.34 c bounds -756 >= -1637 @ 7.66671 8.26/8.34 c bounds -756 >= -1636 @ 7.66747 8.26/8.34 c bounds -756 >= -1635 @ 7.66822 8.26/8.34 c bounds -756 >= -1634 @ 7.66896 8.26/8.34 c bounds -756 >= -1633 @ 7.6701 8.26/8.34 c bounds -756 >= -1632 @ 7.67085 8.26/8.34 c bounds -756 >= -1631 @ 7.6716 8.26/8.34 c bounds -756 >= -1630 @ 7.67233 8.26/8.34 c bounds -756 >= -1629 @ 7.67306 8.26/8.34 c bounds -756 >= -1628 @ 7.67379 8.26/8.34 c bounds -756 >= -1627 @ 7.67452 8.26/8.34 c bounds -756 >= -1626 @ 7.67523 8.26/8.34 c bounds -756 >= -1625 @ 7.67593 8.26/8.34 c bounds -756 >= -1624 @ 7.67675 8.26/8.34 c bounds -756 >= -1623 @ 7.67796 8.26/8.34 c bounds -756 >= -1622 @ 7.67875 8.26/8.34 c bounds -792 >= -1622 @ 7.68792 8.26/8.34 c bounds -792 >= -1621 @ 7.68947 8.26/8.34 c bounds -792 >= -1620 @ 7.69029 8.26/8.34 c bounds -792 >= -1619 @ 7.69146 8.26/8.34 c bounds -792 >= -1618 @ 7.69225 8.26/8.34 c bounds -792 >= -1617 @ 7.69305 8.26/8.34 c bounds -792 >= -1616 @ 7.69386 8.26/8.34 c bounds -792 >= -1615 @ 7.69463 8.26/8.34 c bounds -792 >= -1614 @ 7.69538 8.26/8.34 c bounds -792 >= -1613 @ 7.69617 8.26/8.34 c bounds -792 >= -1612 @ 7.6969 8.26/8.34 c bounds -792 >= -1611 @ 7.69798 8.26/8.34 c bounds -792 >= -1610 @ 7.6993 8.26/8.34 c bounds -792 >= -1609 @ 7.70018 8.26/8.34 c bounds -792 >= -1608 @ 7.70099 8.26/8.34 c bounds -792 >= -1607 @ 7.70194 8.26/8.34 c bounds -792 >= -1606 @ 7.70273 8.26/8.34 c bounds -792 >= -1605 @ 7.70357 8.26/8.34 c bounds -792 >= -1604 @ 7.70436 8.26/8.34 c bounds -792 >= -1603 @ 7.70524 8.26/8.34 c bounds -792 >= -1602 @ 7.70608 8.26/8.34 c bounds -792 >= -1601 @ 7.70688 8.26/8.34 c bounds -792 >= -1600 @ 7.70767 8.26/8.34 c bounds -792 >= -1599 @ 7.70845 8.26/8.34 c bounds -792 >= -1598 @ 7.70926 8.26/8.34 c bounds -792 >= -1597 @ 7.71013 8.26/8.34 c bounds -792 >= -1596 @ 7.7113 8.26/8.34 c bounds -792 >= -1595 @ 7.7121 8.26/8.34 c bounds -792 >= -1594 @ 7.71289 8.26/8.34 c bounds -792 >= -1593 @ 7.71366 8.26/8.34 c bounds -792 >= -1592 @ 7.71561 8.26/8.34 c bounds -828 >= -1592 @ 7.72592 8.26/8.34 c bounds -828 >= -1591 @ 7.72764 8.26/8.34 c bounds -828 >= -1590 @ 7.72847 8.26/8.34 c bounds -828 >= -1589 @ 7.72924 8.26/8.34 c bounds -828 >= -1588 @ 7.73082 8.26/8.34 c bounds -828 >= -1587 @ 7.73174 8.26/8.34 c bounds -828 >= -1586 @ 7.73264 8.26/8.34 c bounds -828 >= -1585 @ 7.73351 8.26/8.34 c bounds -828 >= -1584 @ 7.73465 8.26/8.34 c bounds -828 >= -1583 @ 7.73553 8.26/8.34 c bounds -828 >= -1582 @ 7.73643 8.26/8.34 c bounds -828 >= -1581 @ 7.73725 8.26/8.34 c bounds -828 >= -1580 @ 7.73848 8.26/8.34 c bounds -828 >= -1579 @ 7.7386 8.26/8.34 c bounds -828 >= -1578 @ 7.73922 8.26/8.34 c bounds -864 >= -1578 @ 7.75292 8.26/8.34 c bounds -864 >= -1577 @ 7.75483 8.26/8.34 c bounds -864 >= -1576 @ 7.75575 8.26/8.34 c bounds -864 >= -1575 @ 7.75701 8.26/8.34 c bounds -864 >= -1574 @ 7.75786 8.26/8.34 c bounds -864 >= -1573 @ 7.7587 8.26/8.34 c bounds -864 >= -1572 @ 7.75952 8.26/8.34 c bounds -864 >= -1571 @ 7.75981 8.26/8.34 c bounds -864 >= -1570 @ 7.76069 8.26/8.34 c bounds -864 >= -1569 @ 7.76153 8.26/8.34 c bounds -864 >= -1568 @ 7.76239 8.26/8.34 c bounds -864 >= -1567 @ 7.76342 8.26/8.34 c bounds -864 >= -1566 @ 7.76437 8.26/8.34 c bounds -864 >= -1565 @ 7.76525 8.26/8.34 c bounds -864 >= -1564 @ 7.76614 8.26/8.34 c bounds -864 >= -1563 @ 7.76814 8.26/8.34 c bounds -864 >= -1562 @ 7.7692 8.26/8.34 c bounds -864 >= -1561 @ 7.7702 8.26/8.34 c bounds -864 >= -1560 @ 7.77189 8.26/8.34 c bounds -864 >= -1559 @ 7.77305 8.26/8.34 c bounds -864 >= -1558 @ 7.77418 8.26/8.34 c bounds -864 >= -1557 @ 7.77449 8.26/8.34 c bounds -900 >= -1557 @ 7.7826 8.26/8.34 c bounds -900 >= -1556 @ 7.78509 8.26/8.34 c bounds -900 >= -1555 @ 7.78546 8.26/8.34 c bounds -900 >= -1554 @ 7.78546 8.26/8.34 c bounds -900 >= -1553 @ 7.78658 8.26/8.34 c bounds -900 >= -1552 @ 7.7877 8.26/8.34 c bounds -900 >= -1551 @ 7.78879 8.26/8.34 c bounds -900 >= -1550 @ 7.79077 8.26/8.34 c bounds -900 >= -1549 @ 7.7923 8.26/8.34 c bounds -900 >= -1548 @ 7.79426 8.26/8.34 c bounds -936 >= -1548 @ 7.8009 8.26/8.34 c bounds -936 >= -1547 @ 7.80312 8.26/8.34 c bounds -936 >= -1546 @ 7.80613 8.26/8.34 c bounds -936 >= -1545 @ 7.80792 8.26/8.34 c bounds -936 >= -1544 @ 7.81117 8.26/8.34 c bounds -960 >= -1544 @ 7.82381 8.26/8.34 c bounds -960 >= -1543 @ 7.82649 8.26/8.34 c bounds -960 >= -1542 @ 7.83053 8.26/8.34 c bounds -960 >= -1541 @ 7.83392 8.26/8.34 c bounds -960 >= -1540 @ 7.83689 8.26/8.34 c bounds -984 >= -1540 @ 7.8451 8.26/8.34 c bounds -984 >= -1539 @ 7.84977 8.26/8.34 c bounds -984 >= -1538 @ 7.85125 8.26/8.34 c bounds -984 >= -1537 @ 7.85562 8.26/8.34 c bounds -1008 >= -1537 @ 7.86217 14.06/14.18 c bounds -1008 >= -1536 @ 7.86624 14.06/14.18 c bounds -1008 >= -1535 @ 7.87026 14.06/14.18 c bounds -1032 >= -1535 @ 7.87778 14.06/14.18 c bounds -1032 >= -1534 @ 7.88237 14.06/14.18 c bounds -1032 >= -1533 @ 7.89305 14.06/14.18 c bounds -1048 >= -1533 @ 7.94203 14.06/14.18 c bounds -1048 >= -1532 @ 7.94503 14.06/14.18 c bounds -1048 >= -1531 @ 7.94905 14.06/14.18 c bounds -1048 >= -1530 @ 7.95659 14.06/14.18 c bounds -1048 >= -1529 @ 7.96111 14.06/14.18 c bounds -1048 >= -1528 @ 7.967 14.06/14.18 c bounds -1064 >= -1528 @ 7.98201 14.06/14.18 c bounds -1064 >= -1527 @ 7.99371 14.06/14.18 c bounds -1080 >= -1527 @ 8.0024 14.06/14.18 c bounds -1080 >= -1526 @ 8.01051 14.06/14.18 c bounds -1090 >= -1526 @ 8.02379 14.06/14.18 c bounds -1090 >= -1525 @ 8.03394 14.06/14.18 c bounds -1100 >= -1525 @ 8.0549 14.06/14.18 c bounds -1100 >= -1524 @ 8.07191 14.06/14.18 c bounds -1112 >= -1524 @ 8.09257 14.06/14.18 c bounds -1116 >= -1524 @ 8.16056 14.06/14.18 c bounds -1116 >= -1523 @ 8.17545 14.06/14.18 c bounds -1116 >= -1522 @ 8.18045 14.06/14.18 c bounds -1116 >= -1521 @ 8.19335 14.06/14.18 c bounds -1126 >= -1521 @ 8.20781 14.06/14.18 c bounds -1126 >= -1520 @ 8.21629 14.06/14.18 c #Conflicts: 1000 | #Constraints: 243636 14.06/14.18 c bounds -1136 >= -1520 @ 8.258 14.06/14.18 c bounds -1136 >= -1519 @ 8.27719 14.06/14.18 c bounds -1146 >= -1519 @ 8.2858 14.06/14.18 c bounds -1156 >= -1519 @ 8.39451 14.06/14.18 c bounds -1156 >= -1518 @ 8.43376 14.06/14.18 c bounds -1158 >= -1518 @ 8.44467 14.06/14.18 c #Conflicts: 2000 | #Constraints: 244775 14.06/14.18 c INPROCESSING 14.06/14.18 c GARBAGE COLLECT 14.06/14.18 WSVECS04 Frhs2[17]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[20]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[21]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[23]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[24]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[25]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[26]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[32]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[34]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[35]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[36]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[37]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[38]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[39]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[40]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[41]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[42]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[47]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[48]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[65]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[68]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[156]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[159]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[160]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[162]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[163]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[164]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[165]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[171]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[173]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[174]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[175]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[176]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[177]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[178]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[179]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[180]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[181]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[186]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[187]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[204]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[207]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[224]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[227]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[228]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[230]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[231]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[232]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[233]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[239]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[241]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[242]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[243]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[244]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[245]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[246]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[247]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[248]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[249]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[254]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[255]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[272]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[275]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[352]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[353]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[354]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[355]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[356]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[358]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[359]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[362]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[367]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[368]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[369]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[370]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[371]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[373]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[383]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[384]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[385]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[386]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[389]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[390]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[391]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[392]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[393]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[394]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[395]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[396]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[397]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[398]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[399]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[400]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[401]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[402]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[403]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[404]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[406]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[407]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[409]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[410]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[411]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[422]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[425]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[426]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[428]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[429]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[430]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[431]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[437]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[439]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[440]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[441]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[442]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[443]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[444]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[445]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[446]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[447]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[452]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[453]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[470]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[473]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[486]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[489]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[490]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[492]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[493]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[494]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[495]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[501]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[503]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[504]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[505]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[506]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[507]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[508]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[509]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[510]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[511]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[516]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[517]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[534]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[537]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[549]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[552]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[553]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[555]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[556]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[557]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[558]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[564]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[566]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[567]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[568]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[569]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[570]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[571]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[572]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[573]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[574]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[579]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[580]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[597]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[600]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[606]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[607]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[608]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[609]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[610]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[612]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[613]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[616]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[621]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[622]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[623]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[624]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[625]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[627]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[637]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[638]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[639]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[640]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[643]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[644]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[645]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[646]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[647]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[648]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[649]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[650]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[651]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[652]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[653]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[654]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[655]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[656]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[657]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[658]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[660]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[661]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[663]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[664]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[665]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[672]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[675]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[676]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[678]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[679]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[680]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[681]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[687]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[689]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[690]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[691]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[692]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[693]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[694]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[695]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[696]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[697]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[702]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[703]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[720]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[723]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[732]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[735]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[736]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[738]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[739]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[740]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[741]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[747]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[749]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[750]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[751]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[752]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[753]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[754]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[755]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[756]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[757]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[762]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[763]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[780]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[783]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[801]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[802]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[803]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[804]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[805]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[807]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[817]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[818]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[819]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[820]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[823]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[824]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[825]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[826]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[827]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[828]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[829]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[830]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[831]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[832]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[833]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[834]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[835]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[836]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[837]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[838]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[840]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[841]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[843]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[844]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[845]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[859]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[860]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[861]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[862]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[863]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[865]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[875]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[876]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[877]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[878]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[881]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[882]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[883]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[884]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[885]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[886]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[887]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[888]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[889]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[890]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[891]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[892]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[893]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[894]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[895]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[896]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[898]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[899]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[901]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[902]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[903]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[916]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[917]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[918]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[919]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[920]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[922]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[932]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[933]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[934]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[935]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[938]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[939]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[940]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[941]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[942]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[943]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[944]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[945]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[946]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[947]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[948]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[949]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[950]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[951]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[952]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[953]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[955]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[956]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[958]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[959]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[960]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[972]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[973]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[974]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[975]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[976]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[978]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[988]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[989]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[990]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[991]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[994]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[995]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[996]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[997]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[998]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[999]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1000]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1001]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1002]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1003]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1004]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1005]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1006]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1007]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1008]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1009]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1011]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1012]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1014]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1015]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1016]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1027]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1028]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1029]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1030]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1031]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1033]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1043]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1044]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1045]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1046]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1049]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1050]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1051]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1052]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1053]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1054]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1055]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1056]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1057]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1058]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1059]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1060]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1061]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1062]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1063]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1064]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1066]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1067]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1069]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1070]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1071]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1078]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1079]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1080]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1086]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1088]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1089]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1090]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1091]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1092]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1093]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1094]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1095]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1096]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1101]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1102]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1119]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1122]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1134]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1135]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1136]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1137]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1138]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1140]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1150]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1151]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1152]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1153]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1156]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1157]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1158]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1159]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1160]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1161]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1162]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1163]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1164]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1165]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1166]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1167]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1168]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1169]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1170]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1171]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1173]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1174]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1176]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1177]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1178]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1186]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1187]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1188]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1189]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1190]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1192]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1202]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1203]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1204]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1205]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1208]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1209]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1210]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1211]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1212]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1213]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1214]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1215]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1216]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1217]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1218]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1219]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1220]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1221]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1222]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1223]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1225]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1226]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1228]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1229]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1230]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1234]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1235]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1236]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1242]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1244]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1245]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1246]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1247]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1248]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1249]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1250]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1251]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1252]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1257]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1258]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1275]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1278]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1284]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1285]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1286]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1292]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1294]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1295]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1296]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1297]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1298]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1299]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1300]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1301]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1302]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1307]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1308]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1325]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1328]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1336]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1337]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1338]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1339]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1340]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1342]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1352]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1353]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1354]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1355]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1358]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1359]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1360]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1361]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1362]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1363]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1364]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1365]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1366]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1367]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1368]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1369]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1370]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1371]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1372]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1373]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1375]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1376]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1378]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1379]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1380]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1381]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1382]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1383]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1389]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1391]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1392]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1393]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1394]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1395]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1396]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1397]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1398]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1399]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1404]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1405]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1422]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1425]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1440]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1441]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1442]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1443]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1444]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1445]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1446]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1451]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1452]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1469]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1472]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1486]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1487]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1488]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1489]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1490]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1491]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1492]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1497]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1498]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1515]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1518]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1531]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1532]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1533]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1534]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1535]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1536]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1537]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1542]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1543]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1560]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1563]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1582]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1583]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1584]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1585]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1588]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1589]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1590]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1591]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1592]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1593]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1594]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1595]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1596]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1597]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1598]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1599]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1600]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1601]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1602]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1603]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1605]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1606]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1608]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1609]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1625]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1626]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1627]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1628]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1631]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1632]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1633]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1634]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1635]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1636]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1637]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1638]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1639]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1640]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1641]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1642]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1643]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1644]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1645]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1646]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1648]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1649]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1651]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1652]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1653]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1667]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1668]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1669]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1670]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1673]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1674]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1675]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1676]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1677]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1678]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1679]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1680]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1681]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1682]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1683]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1684]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1685]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1686]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1687]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1688]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1690]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1691]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1693]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1694]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1695]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1708]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1709]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1710]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1711]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1714]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1715]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1716]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1717]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1718]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1719]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1720]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1721]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1722]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1723]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1724]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1725]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1726]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1727]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1728]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1729]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1731]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1732]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1734]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1735]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1736]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1748]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1749]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1750]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1751]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1754]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1755]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1756]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1757]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1758]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1759]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1760]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1761]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1762]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1763]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1764]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1765]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1766]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1767]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1768]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1769]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1771]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1772]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1774]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1775]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1776]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1780]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1781]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1782]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1783]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1784]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1785]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1786]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1791]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1792]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1809]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1812]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1825]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1826]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1827]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1828]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1831]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1832]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1833]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1834]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1835]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1836]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1837]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1838]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1839]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1840]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1841]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1842]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1843]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1844]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1845]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1846]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1848]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1849]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1851]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1852]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1853]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1855]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1856]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1857]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1858]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1859]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1860]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1861]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1866]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1867]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1884]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1887]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1891]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1892]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1893]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1894]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1895]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1896]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1897]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1902]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1903]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1920]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1923]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1938]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1955]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1958]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1972]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1989]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[1992]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2005]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2022]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2025]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2037]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2054]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2057]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2068]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2085]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2088]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2098]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2115]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2118]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2127]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2144]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2147]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2156]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2157]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2158]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2159]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2160]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2161]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2162]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2163]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2164]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2165]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2166]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2167]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2168]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2169]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2170]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2171]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2173]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2174]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2176]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2177]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2178]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2183]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2184]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2185]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2186]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2187]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2188]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2189]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2190]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2191]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2192]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2193]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2194]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2195]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2196]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2197]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2198]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2200]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2201]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2203]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2204]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2205]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2209]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2210]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2211]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2212]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2213]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2214]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2215]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2216]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2217]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2218]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2219]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2220]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2221]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2222]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2223]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2224]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2226]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2227]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2229]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2230]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2231]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2234]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2235]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2236]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2237]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2238]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2239]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2240]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2241]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2242]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2243]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2244]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2245]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2246]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2247]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2248]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2249]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2251]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2252]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2254]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2255]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2256]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2257]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2274]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2277]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2297]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2300]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2314]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2315]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2316]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2317]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2318]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2320]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2321]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2323]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2324]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2325]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2335]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2336]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2337]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2338]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2339]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2341]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2342]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2344]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2345]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2346]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2355]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2356]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2357]: 6 0 1.00004 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2358]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2359]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2361]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2362]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2364]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2365]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2366]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2374]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2375]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2376]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2377]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2378]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2380]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2381]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2383]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2384]: 6 0 1.00002 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2385]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2392]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2393]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2394]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2395]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2396]: 6 0 1.0001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2398]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2399]: 6 0 1.00005 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2401]: 6 0 1.00007 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2402]: 6 0 1.00003 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2403]: 6 0 1.00001 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2409]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2410]: 6 0 1.00009 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2411]: 6 0 1.00006 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2412]: 6 0 1.00008 shouldn't be 14.06/14.18 WSVECS04 Frhs2[2413]: 6 0 1.00008 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2415]: 6 0 1.00005 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2416]: 6 0 1.00005 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2418]: 6 0 1.00007 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2419]: 6 0 1.00008 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2420]: 6 0 1.00003 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2425]: 6 0 1.00009 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2426]: 6 0 1.00005 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2427]: 6 0 1.00007 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2428]: 6 0 1.0001 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2429]: 6 0 1.00004 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2431]: 6 0 1.00002 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2432]: 6 0 1.00003 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2434]: 6 0 1.00007 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2435]: 6 0 1.00001 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2436]: 6 0 1.00008 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2440]: 6 0 1.00005 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2441]: 6 0 1.00002 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2442]: 6 0 1.00009 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2443]: 6 0 1.00008 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2444]: 6 0 1.00009 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2446]: 6 0 1.00008 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2447]: 6 0 1.00005 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2449]: 6 0 1.00006 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2450]: 6 0 1.00005 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2451]: 6 0 1.00003 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2454]: 6 0 1.00002 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2455]: 6 0 1.00002 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2456]: 6 0 1.00003 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2457]: 6 0 1.0001 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2458]: 6 0 1.00009 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2460]: 6 0 1.00006 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2461]: 6 0 1.00002 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2463]: 6 0 1.00001 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2464]: 6 0 1.0001 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2465]: 6 0 1.00006 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2467]: 6 0 1.00003 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2468]: 6 0 1.00006 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2469]: 6 0 1.00002 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2470]: 6 0 1.00007 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2471]: 6 0 1.00001 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2473]: 6 0 1.00003 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2474]: 6 0 1.0001 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2476]: 6 0 1.00005 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2477]: 6 0 1.00007 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2478]: 6 0 1.00009 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2479]: 6 0 1.00008 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2480]: 6 0 1.00007 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2481]: 6 0 1.0001 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2482]: 6 0 1.00004 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2483]: 6 0 1.00002 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2485]: 6 0 1.00004 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2486]: 6 0 1.00007 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2488]: 6 0 1.00007 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2490]: 6 0 1.00008 shouldn't be 14.06/14.19 WSVECS04 Frhs2[2553]: 6 -1.00008 0 shouldn't be 213.08/213.87 c bounds -1158 >= -1517 @ 91.961 213.08/213.87 c bounds -1158 >= -1516 @ 92.0117 213.08/213.87 c #Conflicts: 3000 | #Constraints: 244137 213.08/213.87 c bounds -1158 >= -1515 @ 92.1056 213.08/213.87 c bounds -1158 >= -1514 @ 92.1379 213.08/213.87 c bounds -1158 >= -1513 @ 92.227 213.08/213.87 c #Conflicts: 4000 | #Constraints: 245242 213.08/213.87 c INPROCESSING 213.08/213.87 c bounds -1162 >= -1513 @ 92.3567 213.08/213.87 c bounds -1172 >= -1513 @ 92.5198 213.08/213.87 c bounds -1176 >= -1513 @ 92.5288 213.08/213.87 c bounds -1180 >= -1513 @ 92.5343 213.08/213.87 c bounds -1184 >= -1513 @ 92.5379 213.08/213.87 c bounds -1188 >= -1513 @ 92.5415 213.08/213.87 c bounds -1192 >= -1513 @ 92.545 213.08/213.87 c bounds -1192 >= -1512 @ 92.6191 213.08/213.87 c #Conflicts: 5000 | #Constraints: 244679 213.08/213.87 c #Conflicts: 6000 | #Constraints: 245679 213.08/213.87 c bounds -1208 >= -1512 @ 95.976 213.08/213.87 c #Conflicts: 7000 | #Constraints: 246680 213.08/213.87 c bounds -1208 >= -1511 @ 96.1284 213.08/213.87 c #Conflicts: 8000 | #Constraints: 247740 213.08/213.87 c bounds -1208 >= -1510 @ 96.3441 213.08/213.87 c bounds -1210 >= -1510 @ 96.3632 213.08/213.87 c bounds -1212 >= -1510 @ 96.3713 213.08/213.87 c bounds -1222 >= -1510 @ 96.3764 213.08/213.87 c bounds -1232 >= -1510 @ 96.3836 213.08/213.87 c bounds -1238 >= -1510 @ 96.3889 213.08/213.87 c bounds -1250 >= -1510 @ 96.3946 213.08/213.87 c bounds -1262 >= -1510 @ 96.4009 213.08/213.87 c #Conflicts: 9000 | #Constraints: 248792 213.08/213.87 c INPROCESSING 213.08/213.87 c GARBAGE COLLECT 213.08/213.87 WSVECS04 Frhs2[2145]: 6 0 1.0001 shouldn't be 628.72/630.89 c bounds -1274 >= -1510 @ 218.789 628.72/630.89 c #Conflicts: 10000 | #Constraints: 246452 628.72/630.89 c bounds -1284 >= -1510 @ 220.045 628.72/630.89 c bounds -1284 >= -1509 @ 503.218 628.72/630.89 c #Conflicts: 11000 | #Constraints: 247498 628.72/630.89 c #Conflicts: 12000 | #Constraints: 248498 628.72/630.89 c INPROCESSING 628.72/630.89 c GARBAGE COLLECT 628.72/630.89 c #Conflicts: 13000 | #Constraints: 246080 628.72/630.89 c #Conflicts: 14000 | #Constraints: 247080 628.72/630.89 c #Conflicts: 15000 | #Constraints: 248080 628.72/630.89 c #Conflicts: 16000 | #Constraints: 249080 628.72/630.89 c bounds -1284 >= -1508 @ 508.453 628.72/630.89 c INPROCESSING 628.72/630.89 c #Conflicts: 17000 | #Constraints: 246622 628.72/630.89 c #Conflicts: 18000 | #Constraints: 247622 628.72/630.89 c bounds -1284 >= -1507 @ 509.034 628.72/630.89 c #Conflicts: 19000 | #Constraints: 248676 628.72/630.89 c #Conflicts: 20000 | #Constraints: 249676 628.72/630.89 c #Conflicts: 21000 | #Constraints: 250676 628.72/630.89 c bounds -1296 >= -1507 @ 514.99 628.72/630.89 c #Conflicts: 22000 | #Constraints: 251677 628.72/630.89 c #Conflicts: 23000 | #Constraints: 252677 628.72/630.89 c #Conflicts: 24000 | #Constraints: 253677 628.72/630.89 c #Conflicts: 25000 | #Constraints: 254677 628.72/630.89 c INPROCESSING 628.72/630.89 c GARBAGE COLLECT 628.72/630.89 WSVECS04 Frhs2[894]: 6 0 1.00003 shouldn't be 628.72/630.89 WSVECS04 Frhs2[1159]: 6 0 1.00001 shouldn't be 654.44/656.66 WSVECS04 Frhs2[24]: 6 0 1.00009 shouldn't be 654.44/656.66 WSVECS04 Frhs2[884]: 6 0 1.0001 shouldn't be 654.44/656.66 WSVECS04 Frhs2[895]: 6 0 1.00005 shouldn't be 654.44/656.66 WSVECS04 Frhs2[900]: 6 0 1.00003 shouldn't be 654.44/656.66 WSVECS04 Frhs2[1170]: 6 0 1.00004 shouldn't be 654.44/656.66 WSVECS04 Frhs2[1175]: 6 0 1.00004 shouldn't be 654.44/656.66 WSVECS04 Frhs2[1178]: 6 0 1.00008 shouldn't be 654.44/656.66 WSVECS04 Frhs2[1441]: 6 0 1.0001 shouldn't be 654.44/656.66 WSVECS04 Frhs2[2377]: 6 0 1.00008 shouldn't be 654.44/656.66 WSVECS04 Frhs2[2382]: 6 0 1.00009 shouldn't be 679.78/682.04 WSVECS04 Frhs2[1169]: 6 0 1.00005 shouldn't be 679.78/682.04 WSVECS04 Frhs2[2376]: 6 0 1.0001 shouldn't be 679.78/682.04 WSVECS04 Frhs2[2385]: 6 0 1.00005 shouldn't be 704.60/706.98 WSVECS04 Frhs2[37]: 6 0 1.00004 shouldn't be 704.60/706.98 WSVECS04 Frhs2[2374]: 6 0 1.00009 shouldn't be 730.03/732.45 WSVECS04 Frhs2[1167]: 6 0 1.00009 shouldn't be 757.16/759.62 WSVECS04 Frhs2[892]: 6 0 1.0001 shouldn't be 807.54/810.15 WSVECS04 Frhs2[903]: 6 0 1.00007 shouldn't be 2688.42/2696.42 c #Conflicts: 26000 | #Constraints: 249272 2688.42/2696.42 c #Conflicts: 27000 | #Constraints: 250272 2688.42/2696.42 c #Conflicts: 28000 | #Constraints: 251272 2688.42/2696.42 c #Conflicts: 29000 | #Constraints: 252272 2688.42/2696.42 c #Conflicts: 30000 | #Constraints: 253272 2688.42/2696.42 c INPROCESSING 2688.42/2696.42 c GARBAGE COLLECT 2688.42/2696.42 c #Conflicts: 31000 | #Constraints: 248549 2688.42/2696.42 c #Conflicts: 32000 | #Constraints: 249549 2688.42/2696.42 c #Conflicts: 33000 | #Constraints: 250549 2688.42/2696.42 c bounds -1296 >= -1506 @ 1115.46 2688.42/2696.42 c #Conflicts: 34000 | #Constraints: 251633 2688.42/2696.42 c #Conflicts: 35000 | #Constraints: 252633 2688.42/2696.42 c #Conflicts: 36000 | #Constraints: 253633 2688.42/2696.42 c bounds -1296 >= -1505 @ 1116.39 2688.42/2696.42 c #Conflicts: 37000 | #Constraints: 254684 2688.42/2696.42 c #Conflicts: 38000 | #Constraints: 255684 2688.42/2696.42 c #Conflicts: 39000 | #Constraints: 256684 2688.42/2696.42 c #Conflicts: 40000 | #Constraints: 257684 2688.42/2696.42 c #Conflicts: 41000 | #Constraints: 258684 2688.42/2696.42 c #Conflicts: 42000 | #Constraints: 259684 2688.42/2696.42 c #Conflicts: 43000 | #Constraints: 260687 2688.42/2696.42 c INPROCESSING 2688.42/2696.42 c GARBAGE COLLECT 2688.42/2696.42 c #Conflicts: 44000 | #Constraints: 252648 2688.42/2696.42 c #Conflicts: 45000 | #Constraints: 253648 2688.42/2696.42 c #Conflicts: 46000 | #Constraints: 254648 2688.42/2696.42 c #Conflicts: 47000 | #Constraints: 255648 2688.42/2696.42 c bounds -1296 >= -1504 @ 2350.08 2688.42/2696.42 c #Conflicts: 48000 | #Constraints: 256741 2688.42/2696.42 c #Conflicts: 49000 | #Constraints: 257741 2688.42/2696.42 c INPROCESSING 2688.42/2696.42 c #Conflicts: 50000 | #Constraints: 252378 2688.42/2696.42 c #Conflicts: 51000 | #Constraints: 253378 2688.42/2696.42 c bounds -1296 >= -1503 @ 2351.38 2688.42/2696.42 c #Conflicts: 52000 | #Constraints: 254453 2688.42/2696.42 c #Conflicts: 53000 | #Constraints: 255453 2688.42/2696.42 c #Conflicts: 54000 | #Constraints: 256453 2688.42/2696.42 c #Conflicts: 55000 | #Constraints: 257453 2688.42/2696.42 c #Conflicts: 56000 | #Constraints: 258453 2688.42/2696.42 c #Conflicts: 57000 | #Constraints: 259453 2688.42/2696.42 c #Conflicts: 58000 | #Constraints: 260453 2688.42/2696.42 c #Conflicts: 59000 | #Constraints: 261453 2688.42/2696.42 c #Conflicts: 60000 | #Constraints: 262453 2688.42/2696.42 c #Conflicts: 61000 | #Constraints: 263453 2688.42/2696.42 c #Conflicts: 62000 | #Constraints: 264453 2688.42/2696.42 c #Conflicts: 63000 | #Constraints: 265453 2688.42/2696.42 c #Conflicts: 64000 | #Constraints: 266453 2688.42/2696.42 c #Conflicts: 65000 | #Constraints: 267453 2688.42/2696.42 c INPROCESSING 2688.42/2696.42 c GARBAGE COLLECT 2688.42/2696.42 c #Conflicts: 66000 | #Constraints: 256197 2688.42/2696.42 c #Conflicts: 67000 | #Constraints: 257197 2688.42/2696.42 c #Conflicts: 68000 | #Constraints: 258197 2688.42/2696.42 c #Conflicts: 69000 | #Constraints: 259197 2688.42/2696.42 c #Conflicts: 70000 | #Constraints: 260197 2688.42/2696.42 c #Conflicts: 71000 | #Constraints: 261197 2688.42/2696.42 c bounds -1296 >= -1502 @ 2381.46 2688.42/2696.42 c #Conflicts: 72000 | #Constraints: 262260 2688.42/2696.42 c INPROCESSING 2688.42/2696.42 c GARBAGE COLLECT 2688.42/2696.42 c #Conflicts: 73000 | #Constraints: 255296 2688.42/2696.42 c #Conflicts: 74000 | #Constraints: 256296 2688.42/2696.42 c #Conflicts: 75000 | #Constraints: 257296 2688.42/2696.42 c #Conflicts: 76000 | #Constraints: 258296 2688.42/2696.42 c #Conflicts: 77000 | #Constraints: 259296 2688.42/2696.42 c #Conflicts: 78000 | #Constraints: 260296 2688.42/2696.42 c bounds -1296 >= -1501 @ 2384.33 2688.42/2696.42 c #Conflicts: 79000 | #Constraints: 261380 2688.42/2696.42 c #Conflicts: 80000 | #Constraints: 262380 2688.42/2696.42 c #Conflicts: 81000 | #Constraints: 263380 2688.42/2696.42 c #Conflicts: 82000 | #Constraints: 264380 2688.42/2696.42 c bounds -1296 >= -1500 @ 2385.54 2688.42/2696.42 c #Conflicts: 83000 | #Constraints: 265407 2688.42/2696.42 c #Conflicts: 84000 | #Constraints: 266407 2688.42/2696.42 c #Conflicts: 85000 | #Constraints: 267407 2688.42/2696.42 c #Conflicts: 86000 | #Constraints: 268407 2688.42/2696.42 c #Conflicts: 87000 | #Constraints: 269407 2688.42/2696.42 c #Conflicts: 88000 | #Constraints: 270407 2688.42/2696.42 c #Conflicts: 89000 | #Constraints: 271407 2688.42/2696.42 c #Conflicts: 90000 | #Constraints: 272407 2688.42/2696.42 c #Conflicts: 91000 | #Constraints: 273407 2688.42/2696.42 c INPROCESSING 2688.42/2696.42 c GARBAGE COLLECT 2688.42/2696.42 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 (55560 MiB free)
memory of node 1: 64473 MiB (50944 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460953-1722073162/watcher-4460953-1722073162 -o /tmp/evaluation-result-4460953-1722073162/solver-4460953-1722073162 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722064837-302422 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460953-1722073162 --lp-cut-gomory=0 HOME/instance-4460953-1722073162.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=308503, runsolver pid=308500
[startup+0.100056 s]*
/proc/loadavg: 4.12 4.15 4.18 5/246 308504
/proc/meminfo: memFree=109055636/131655788 swapFree=131056320/131071996
[pid=308503] ppid=308500 vsize=38424 memory=8900 CPUtime=0.09 cores=1,3
/proc/308503/stat : 308503 (roundingsat) R 308500 308503 302410 0 -1 4194304 613 0 0 0 7 2 0 0 20 0 1 0 43305497 39346176 2225 134679101440 4194304 8254357 140726767944256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24801280 140726767948635 140726767948897 140726767948897 140726767955913 0
/proc/308503/statm: 9606 2225 1369 992 0 1464 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38424 KiB
Current children cumulated memory: 8900 KiB
[startup+0.205646 s]*
/proc/loadavg: 4.12 4.15 4.18 6/246 308504
/proc/meminfo: memFree=109054628/131655788 swapFree=131056320/131071996
[pid=308503] ppid=308500 vsize=38812 memory=9160 CPUtime=0.2 cores=1,3
/proc/308503/stat : 308503 (roundingsat) R 308500 308503 302410 0 -1 4194304 682 0 0 0 15 5 0 0 20 0 1 0 43305497 39743488 2290 134679101440 4194304 8254357 140726767944256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24801280 140726767948635 140726767948897 140726767948897 140726767955913 0
/proc/308503/statm: 9703 2290 1369 992 0 1561 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38812 KiB
Current children cumulated memory: 9160 KiB
[startup+0.305512 s]*
/proc/loadavg: 4.12 4.15 4.18 5/246 308504
/proc/meminfo: memFree=109051432/131655788 swapFree=131056320/131071996
[pid=308503] ppid=308500 vsize=39300 memory=9688 CPUtime=0.29 cores=1,3
/proc/308503/stat : 308503 (roundingsat) R 308500 308503 302410 0 -1 4194304 782 0 0 0 22 7 0 0 20 0 1 0 43305497 40243200 2422 134679101440 4194304 8254357 140726767944256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24801280 140726767948635 140726767948897 140726767948897 140726767955913 0
/proc/308503/statm: 9825 2422 1369 992 0 1683 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 39300 KiB
Current children cumulated memory: 9688 KiB
[startup+0.700293 s]
/proc/loadavg: 4.12 4.15 4.18 5/246 308504
/proc/meminfo: memFree=109046700/131655788 swapFree=131056320/131071996
[pid=308503] ppid=308500 vsize=43988 memory=14248 CPUtime=0.69 cores=1,3
/proc/308503/stat : 308503 (roundingsat) R 308500 308503 302410 0 -1 4194304 1388 0 0 0 51 18 0 0 20 0 1 0 43305497 45043712 3562 134679101440 4194304 8254357 140726767944256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24801280 140726767948635 140726767948897 140726767948897 140726767955913 0
/proc/308503/statm: 10997 3562 1369 992 0 2855 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43988 KiB
Current children cumulated memory: 14248 KiB
[startup+1.50033 s]
/proc/loadavg: 4.12 4.15 4.18 5/246 308504
/proc/meminfo: memFree=109036476/131655788 swapFree=131056320/131071996
[pid=308503] ppid=308500 vsize=187276 memory=158132 CPUtime=1.48 cores=1,3
/proc/308503/stat : 308503 (roundingsat) R 308500 308503 302410 0 -1 4194304 23863 0 0 0 112 36 0 0 20 0 1 0 43305497 191770624 39533 134679101440 4194304 8254357 140726767944256 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24801280 140726767948635 140726767948897 140726767948897 140726767955913 0
/proc/308503/statm: 46819 39533 1735 992 0 38677 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 187276 KiB
Current children cumulated memory: 158132 KiB
[startup+3.11319 s]
/proc/loadavg: 4.11 4.15 4.18 5/246 308505
/proc/meminfo: memFree=108900196/131655788 swapFree=131056320/131071996
[pid=308503] ppid=308500 vsize=165516 memory=138476 CPUtime=3.09 cores=1,3
/proc/308503/stat : 308503 (roundingsat) R 308500 308503 302410 0 -1 4194304 30757 0 0 0 270 39 0 0 20 0 1 0 43305497 169488384 34619 134679101440 4194304 8254357 140726767944256 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24801280 140726767948635 140726767948897 140726767948897 140726767955913 0
/proc/308503/statm: 41379 34619 1735 992 0 33237 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 165516 KiB
Current children cumulated memory: 138476 KiB
[startup+6.30029 s]
/proc/loadavg: 4.11 4.15 4.18 5/246 308505
/proc/meminfo: memFree=108880396/131655788 swapFree=131056320/131071996
[pid=308503] ppid=308500 vsize=165516 memory=138476 CPUtime=6.27 cores=1,3
/proc/308503/stat : 308503 (roundingsat) R 308500 308503 302410 0 -1 4194304 30770 0 0 0 587 40 0 0 20 0 1 0 43305497 169488384 34619 134679101440 4194304 8254357 140726767944256 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24801280 140726767948635 140726767948897 140726767948897 140726767955913 0
/proc/308503/statm: 41379 34619 1735 992 0 33237 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 165516 KiB
Current children cumulated memory: 138476 KiB
[startup+12.7003 s]
/proc/loadavg: 4.16 4.16 4.18 5/246 308507
/proc/meminfo: memFree=108773996/131655788 swapFree=131056320/131071996
[pid=308503] ppid=308500 vsize=200760 memory=166068 CPUtime=12.65 cores=1,3
/proc/308503/stat : 308503 (roundingsat) R 308500 308503 302410 0 -1 4194304 33877 0 0 0 1210 55 0 0 20 0 1 0 43305497 205578240 41517 134679101440 4194304 8254357 140726767944256 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24801280 140726767948635 140726767948897 140726767948897 140726767955913 0
/proc/308503/statm: 50190 41517 1910 992 0 42048 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 200760 KiB
Current children cumulated memory: 166068 KiB
[startup+25.5003 s]
/proc/loadavg: 4.14 4.16 4.18 5/246 308508
/proc/meminfo: memFree=108689536/131655788 swapFree=131056320/131071996
[pid=308503] ppid=308500 vsize=212592 memory=172308 CPUtime=25.41 cores=1,3
/proc/308503/stat : 308503 (roundingsat) R 308500 308503 302410 0 -1 4194304 34449 0 0 0 2484 57 0 0 20 0 1 0 43305497 217694208 43077 134679101440 4194304 8254357 140726767944256 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24801280 140726767948635 140726767948897 140726767948897 140726767955913 0
/proc/308503/statm: 53148 43077 1910 992 0 45006 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 212592 KiB
Current children cumulated memory: 172308 KiB
[startup+51.1135 s]
/proc/loadavg: 4.23 4.18 4.18 5/250 308519
/proc/meminfo: memFree=109499520/131655788 swapFree=131056320/131071996
[pid=308503] ppid=308500 vsize=212592 memory=176404 CPUtime=50.93 cores=1,3
/proc/308503/stat : 308503 (roundingsat) R 308500 308503 302410 0 -1 4194304 34494 0 0 0 5034 59 0 0 20 0 1 0 43305497 217694208 44101 134679101440 4194304 8254357 140726767944256 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24801280 140726767948635 140726767948897 140726767948897 140726767955913 0
/proc/308503/statm: 53148 44101 1910 992 0 45006 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 212592 KiB
Current children cumulated memory: 176404 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.17 4.18 5/250 308529
/proc/meminfo: memFree=109305676/131655788 swapFree=131056320/131071996
[pid=308503] ppid=308500 vsize=212592 memory=177512 CPUtime=101.97 cores=1,3
/proc/308503/stat : 308503 (roundingsat) R 308500 308503 302410 0 -1 4194304 34891 0 0 0 10115 82 0 0 20 0 1 0 43305497 217694208 44378 134679101440 4194304 8254357 140726767944256 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24801280 140726767948635 140726767948897 140726767948897 140726767955913 0
/proc/308503/statm: 53148 44378 1910 992 0 45006 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 212592 KiB
Current children cumulated memory: 177512 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.16 4.18 5/249 308541
/proc/meminfo: memFree=109041588/131655788 swapFree=131056320/131071996
[pid=308503] ppid=308500 vsize=232892 memory=194804 CPUtime=161.78 cores=1,3
/proc/308503/stat : 308503 (roundingsat) R 308500 308503 302410 0 -1 4194304 35648 0 0 0 16090 88 0 0 20 0 1 0 43305497 238481408 48701 134679101440 4194304 8254357 140726767944256 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24801280 140726767948635 140726767948897 140726767948897 140726767955913 0
/proc/308503/statm: 58223 48701 1910 992 0 50081 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 232892 KiB
Current children cumulated memory: 194804 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.13 4.16 5/250 308599
/proc/meminfo: memFree=113984228/131655788 swapFree=131056320/131071996
[pid=308503] ppid=308500 vsize=290744 memory=230408 CPUtime=221.54 cores=1,3
/proc/308503/stat : 308503 (roundingsat) R 308500 308503 302410 0 -1 4194304 36386 0 0 0 22057 97 0 0 20 0 1 0 43305497 297721856 57602 134679101440 4194304 8254357 140726767944256 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24801280 140726767948635 140726767948897 140726767948897 140726767955913 0
/proc/308503/statm: 72686 57602 1910 992 0 64544 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 290744 KiB
Current children cumulated memory: 230408 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.12 4.16 5/250 308609
/proc/meminfo: memFree=113509488/131655788 swapFree=131056320/131071996
[pid=308503] ppid=308500 vsize=290744 memory=230408 CPUtime=281.29 cores=1,3
/proc/308503/stat : 308503 (roundingsat) R 308500 308503 302410 0 -1 4194304 36411 0 0 0 28021 108 0 0 20 0 1 0 43305497 297721856 57602 134679101440 4194304 8254357 140726767944256 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24801280 140726767948635 140726767948897 140726767948897 140726767955913 0
/proc/308503/statm: 72686 57602 1910 992 0 64544 0
Current children cumulated CPU time: 281.29 s
Current children cumulated vsize: 290744 KiB
Current children cumulated memory: 230408 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.13 4.16 5/250 308619
/proc/meminfo: memFree=113024544/131655788 swapFree=131056320/131071996
[pid=308503] ppid=308500 vsize=290744 memory=246076 CPUtime=341.05 cores=1,3
/proc/308503/stat : 308503 (roundingsat) R 308500 308503 302410 0 -1 4194304 36799 0 0 0 33990 115 0 0 20 0 1 0 43305497 297721856 61519 134679101440 4194304 8254357 140726767944256 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24801280 140726767948635 140726767948897 140726767948897 140726767955913 0
/proc/308503/statm: 72686 61519 1910 992 0 64544 0
Current children cumulated CPU time: 341.05 s
Current children cumulated vsize: 290744 KiB
Current children cumulated memory: 246076 KiB
[startup+402.3 s]
/proc/loadavg: 4.33 4.16 4.17 7/251 308634
/proc/meminfo: memFree=112424788/131655788 swapFree=131056320/131071996
[pid=308503] ppid=308500 vsize=290744 memory=246260 CPUtime=400.87 cores=1,3
/proc/308503/stat : 308503 (roundingsat) R 308500 308503 302410 0 -1 4194304 36857 0 0 0 39964 123 0 0 20 0 1 0 43305497 297721856 61565 134679101440 4194304 8254357 140726767944256 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24801280 140726767948635 140726767948897 140726767948897 140726767955913 0
/proc/308503/statm: 72686 61565 1910 992 0 64544 0
Current children cumulated CPU time: 400.87 s
Current children cumulated vsize: 290744 KiB
Current children cumulated memory: 246260 KiB
[startup+462.3 s]
/proc/loadavg: 4.21 4.16 4.17 5/251 308644
/proc/meminfo: memFree=111914752/131655788 swapFree=131056320/131071996
[pid=308503] ppid=308500 vsize=290744 memory=246260 CPUtime=460.7 cores=1,3
/proc/308503/stat : 308503 (roundingsat) R 308500 308503 302410 0 -1 4194304 36926 0 0 0 45941 129 0 0 20 0 1 0 43305497 297721856 61565 134679101440 4194304 8254357 140726767944256 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24801280 140726767948635 140726767948897 140726767948897 140726767955913 0
/proc/308503/statm: 72686 61565 1910 992 0 64544 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 3.22 3.28 3.44 4/246 310366
/proc/meminfo: memFree=105350232/131655788 swapFree=131056320/131071996
[pid=308503] ppid=308500 vsize=431144 memory=370732 CPUtime=3092.97 cores=1,3
/proc/308503/stat : 308503 (roundingsat) R 308500 308503 302410 0 -1 4194304 42392 0 0 0 308786 511 0 0 20 0 1 0 43305497 441491456 92683 134679101440 4194304 8254357 140726767944256 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24801280 140726767948635 140726767948897 140726767948897 140726767955913 0
/proc/308503/statm: 107786 92683 2006 992 0 99644 0
Current children cumulated CPU time: 3092.97 s
Current children cumulated vsize: 431144 KiB
Current children cumulated memory: 370732 KiB
[startup+3162.3 s]
/proc/loadavg: 3.19 3.26 3.42 4/247 310379
/proc/meminfo: memFree=105044960/131655788 swapFree=131056320/131071996
[pid=308503] ppid=308500 vsize=431144 memory=370732 CPUtime=3152.78 cores=1,3
/proc/308503/stat : 308503 (roundingsat) R 308500 308503 302410 0 -1 4194304 42456 0 0 0 314761 517 0 0 20 0 1 0 43305497 441491456 92683 134679101440 4194304 8254357 140726767944256 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24801280 140726767948635 140726767948897 140726767948897 140726767955913 0
/proc/308503/statm: 107786 92683 2006 992 0 99644 0
Current children cumulated CPU time: 3152.78 s
Current children cumulated vsize: 431144 KiB
Current children cumulated memory: 370732 KiB
[startup+3222.3 s]
/proc/loadavg: 3.12 3.22 3.40 4/249 310391
/proc/meminfo: memFree=104689400/131655788 swapFree=131056320/131071996
[pid=308503] ppid=308500 vsize=431144 memory=370732 CPUtime=3212.58 cores=1,3
/proc/308503/stat : 308503 (roundingsat) R 308500 308503 302410 0 -1 4194304 42512 0 0 0 320736 522 0 0 20 0 1 0 43305497 441491456 92683 134679101440 4194304 8254357 140726767944256 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24801280 140726767948635 140726767948897 140726767948897 140726767955913 0
/proc/308503/statm: 107786 92683 2006 992 0 99644 0
Current children cumulated CPU time: 3212.58 s
Current children cumulated vsize: 431144 KiB
Current children cumulated memory: 370732 KiB
[startup+3282.3 s]
/proc/loadavg: 3.12 3.20 3.37 4/249 310401
/proc/meminfo: memFree=104323672/131655788 swapFree=131056320/131071996
[pid=308503] ppid=308500 vsize=431144 memory=370732 CPUtime=3272.37 cores=1,3
/proc/308503/stat : 308503 (roundingsat) R 308500 308503 302410 0 -1 4194304 42570 0 0 0 326712 525 0 0 20 0 1 0 43305497 441491456 92683 134679101440 4194304 8254357 140726767944256 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24801280 140726767948635 140726767948897 140726767948897 140726767955913 0
/proc/308503/statm: 107786 92683 2006 992 0 99644 0
Current children cumulated CPU time: 3272.37 s
Current children cumulated vsize: 431144 KiB
Current children cumulated memory: 370732 KiB
[startup+3342.3 s]
/proc/loadavg: 3.11 3.18 3.35 4/249 310411
/proc/meminfo: memFree=103880244/131655788 swapFree=131056320/131071996
[pid=308503] ppid=308500 vsize=431144 memory=370732 CPUtime=3332.18 cores=1,3
/proc/308503/stat : 308503 (roundingsat) R 308500 308503 302410 0 -1 4194304 42627 0 0 0 332689 529 0 0 20 0 1 0 43305497 441491456 92683 134679101440 4194304 8254357 140726767944256 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24801280 140726767948635 140726767948897 140726767948897 140726767955913 0
/proc/308503/statm: 107786 92683 2006 992 0 99644 0
Current children cumulated CPU time: 3332.18 s
Current children cumulated vsize: 431144 KiB
Current children cumulated memory: 370732 KiB
[startup+3402.3 s]
/proc/loadavg: 3.01 3.14 3.33 3/237 310453
/proc/meminfo: memFree=104469736/131655788 swapFree=131056320/131071996
[pid=308503] ppid=308500 vsize=431144 memory=370732 CPUtime=3391.98 cores=1,3
/proc/308503/stat : 308503 (roundingsat) R 308500 308503 302410 0 -1 4194304 42686 0 0 0 338664 534 0 0 20 0 1 0 43305497 441491456 92683 134679101440 4194304 8254357 140726767944256 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24801280 140726767948635 140726767948897 140726767948897 140726767955913 0
/proc/308503/statm: 107786 92683 2006 992 0 99644 0
Current children cumulated CPU time: 3391.98 s
Current children cumulated vsize: 431144 KiB
Current children cumulated memory: 370732 KiB
[startup+3462.3 s]
/proc/loadavg: 2.41 2.94 3.25 3/236 310463
/proc/meminfo: memFree=104117488/131655788 swapFree=131056320/131071996
[pid=308503] ppid=308500 vsize=431144 memory=370732 CPUtime=3451.79 cores=1,3
/proc/308503/stat : 308503 (roundingsat) R 308500 308503 302410 0 -1 4194304 42748 0 0 0 344638 541 0 0 20 0 1 0 43305497 441491456 92683 134679101440 4194304 8254357 140726767944256 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24801280 140726767948635 140726767948897 140726767948897 140726767955913 0
/proc/308503/statm: 107786 92683 2006 992 0 99644 0
Current children cumulated CPU time: 3451.79 s
Current children cumulated vsize: 431144 KiB
Current children cumulated memory: 370732 KiB
[startup+3522.3 s]
/proc/loadavg: 2.23 2.80 3.18 3/235 310475
/proc/meminfo: memFree=103811716/131655788 swapFree=131056320/131071996
[pid=308503] ppid=308500 vsize=431144 memory=370732 CPUtime=3511.61 cores=1,3
/proc/308503/stat : 308503 (roundingsat) R 308500 308503 302410 0 -1 4194304 42818 0 0 0 350612 549 0 0 20 0 1 0 43305497 441491456 92683 134679101440 4194304 8254357 140726767944256 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24801280 140726767948635 140726767948897 140726767948897 140726767955913 0
/proc/308503/statm: 107786 92683 2006 992 0 99644 0
Current children cumulated CPU time: 3511.61 s
Current children cumulated vsize: 431144 KiB
Current children cumulated memory: 370732 KiB
[startup+3582.3 s]
/proc/loadavg: 2.12 2.67 3.11 3/235 310486
/proc/meminfo: memFree=103436268/131655788 swapFree=131056320/131071996
[pid=308503] ppid=308500 vsize=431144 memory=370732 CPUtime=3571.43 cores=1,3
/proc/308503/stat : 308503 (roundingsat) R 308500 308503 302410 0 -1 4194304 42888 0 0 0 356590 553 0 0 20 0 1 0 43305497 441491456 92683 134679101440 4194304 8254357 140726767944256 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24801280 140726767948635 140726767948897 140726767948897 140726767955913 0
/proc/308503/statm: 107786 92683 2006 992 0 99644 0
Current children cumulated CPU time: 3571.43 s
Current children cumulated vsize: 431144 KiB
Current children cumulated memory: 370732 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611 s]*
/proc/loadavg: 2.13 2.62 3.07 3/235 310489
/proc/meminfo: memFree=103299636/131655788 swapFree=131056320/131071996
[pid=308503] ppid=308500 vsize=431144 memory=370732 CPUtime=3600.06 cores=1,3
/proc/308503/stat : 308503 (roundingsat) R 308500 308503 302410 0 -1 4194304 42896 0 0 0 359448 558 0 0 20 0 1 0 43305497 441491456 92683 134679101440 4194304 8254357 140726767944256 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24801280 140726767948635 140726767948897 140726767948897 140726767955913 0
/proc/308503/statm: 107786 92683 2006 992 0 99644 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 431144 KiB
Current children cumulated memory: 370732 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3613.02 s]
# the end of solver process 308503 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3596.48 s, system=5.58547 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.62 3.07 3/235 310489
/proc/meminfo: memFree=103299636/131655788 swapFree=131056320/131071996
[pid=308503] ppid=308500 vsize=431144 memory=370732 CPUtime=3600.25 cores=1,3
/proc/308503/stat : 308503 (roundingsat) R 308500 308503 302410 0 -1 4194304 42896 0 0 0 359467 558 0 0 20 0 1 0 43305497 441491456 92683 134679101440 4194304 8254357 140726767944256 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24801280 140726767948635 140726767948897 140726767948897 140726767955913 0
/proc/308503/statm: 107786 92683 2006 992 0 99644 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 431144 KiB
Current children cumulated memory: 370732 KiB
[startup+3612 s]*
/proc/loadavg: 2.13 2.62 3.07 3/235 310491
/proc/meminfo: memFree=103299680/131655788 swapFree=131056320/131071996
[pid=308503] ppid=308500 vsize=431144 memory=370732 CPUtime=3601.05 cores=1,3
/proc/308503/stat : 308503 (roundingsat) R 308500 308503 302410 0 -1 4194304 42896 0 0 0 359547 558 0 0 20 0 1 0 43305497 441491456 92683 134679101440 4194304 8254357 140726767944256 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24801280 140726767948635 140726767948897 140726767948897 140726767955913 0
/proc/308503/statm: 107786 92683 2006 992 0 99644 0
Current children cumulated CPU time: 3601.05 s
Current children cumulated vsize: 431144 KiB
Current children cumulated memory: 370732 KiB
[startup+3612.8 s]
/proc/loadavg: 2.13 2.62 3.07 3/235 310491
/proc/meminfo: memFree=103299680/131655788 swapFree=131056320/131071996
[pid=308503] ppid=308500 vsize=431144 memory=370732 CPUtime=3601.84 cores=1,3
/proc/308503/stat : 308503 (roundingsat) R 308500 308503 302410 0 -1 4194304 42896 0 0 0 359626 558 0 0 20 0 1 0 43305497 441491456 92683 134679101440 4194304 8254357 140726767944256 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24801280 140726767948635 140726767948897 140726767948897 140726767955913 0
/proc/308503/statm: 107786 92683 2006 992 0 99644 0
Current children cumulated CPU time: 3601.84 s
Current children cumulated vsize: 431144 KiB
Current children cumulated memory: 370732 KiB
[startup+3613 s]*
/proc/loadavg: 2.12 2.61 3.07 3/235 310491
/proc/meminfo: memFree=103299700/131655788 swapFree=131056320/131071996
[pid=308503] ppid=308500 vsize=431144 memory=370732 CPUtime=3602.05 cores=1,3
/proc/308503/stat : 308503 (roundingsat) R 308500 308503 302410 0 -1 4194304 42896 0 0 0 359647 558 0 0 20 0 1 0 43305497 441491456 92683 134679101440 4194304 8254357 140726767944256 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24801280 140726767948635 140726767948897 140726767948897 140726767955913 0
/proc/308503/statm: 107786 92683 2006 992 0 99644 0
Current children cumulated CPU time: 3602.05 s
Current children cumulated vsize: 431144 KiB
Current children cumulated memory: 370732 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3613.02
CPU time (s): 3602.06
CPU user time (s): 3596.48
CPU system time (s): 5.58547
CPU usage (%): 99.6969
Max. virtual memory (cumulated for all children) (KiB): 431144
Max. memory (cumulated for all children) (KiB): 370732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.48
system time used= 5.58547
maximum resident set size= 370732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42896
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= 1580
# summary of solver processes directly reported to runsolver:
# pid: 308503
# total CPU time (s): 3602.06
# total CPU user time (s): 3596.48
# total CPU system time (s): 5.58547
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.774 second user time and 35.1047 second system time
The end
Begin job on nodeC006 at 2024-07-27 11:39:22 IDJOB=4460953 IDBENCH=178200 IDSOLVER=3086 FILE ID=nodeC006/4460953-1722073162 RUNJOBID= nodeC006-1722064837-302422 SLURM_JOB_ID= 8248108 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-4460953-1722073162/watcher-4460953-1722073162 -o /tmp/evaluation-result-4460953-1722073162/solver-4460953-1722073162 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722064837-302422 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460953-1722073162 --lp-cut-gomory=0 HOME/instance-4460953-1722073162.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ba01a5d98b16d8ee23010d930c3d525f RANDOM SEED=107886715 nodeC006.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 : 3669.558 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 : 6983.06 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.096 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.40 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.285 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 : 6983.06 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 : 3526.142 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.40 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 : 3591.744 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 : 6983.06 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 : 3668.681 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.40 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.261 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 : 6983.06 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.286 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.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 109061276 kB MemAvailable: 128935428 kB Buffers: 384384 kB Cached: 20054624 kB SwapCached: 244 kB Active: 2111804 kB Inactive: 19499204 kB Active(anon): 1752 kB Inactive(anon): 1223792 kB Active(file): 2110052 kB Inactive(file): 18275412 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131056320 kB Dirty: 91424 kB Writeback: 0 kB AnonPages: 1168448 kB Mapped: 104180 kB Shmem: 53436 kB KReclaimable: 550596 kB Slab: 665928 kB SReclaimable: 550596 kB SUnreclaim: 115332 kB KernelStack: 3984 kB PageTables: 11776 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1679688 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 16576 kB HardwareCorrupted: 0 kB AnonHugePages: 958464 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: 424776 kB DirectMap2M: 57151488 kB DirectMap1G: 78643200 kB Free space on /tmp at the end= 723764 MiB End job on nodeC006 at 2024-07-27 12:39:35