0.00/0.00 c [picomus] WARNING: no output file given
0.00/0.00 c [picomus] p cnf 15291 43408
0.10/0.17 s UNSATISFIABLE
0.10/0.17 c [picomus] extracted core 1 of size 2496 out of 43408 (6%) after 0.2 sec
0.19/0.22 c [picomus] extracted core 2 of size 2287 out of 43408 (5%) after 0.2 sec
0.19/0.27 c [picomus] extracted core 3 of size 2223 out of 43408 (5%) after 0.3 sec
0.29/0.32 c [picomus] extracted core 4 of size 2206 out of 43408 (5%) after 0.3 sec
0.29/0.38 c [picomus] extracted core 5 of size 2177 out of 43408 (5%) after 0.4 sec
0.39/0.45 c [picomus] extracted core 6 of size 2163 out of 43408 (5%) after 0.5 sec
0.49/0.50 c [picomus] extracted core 7 of size 2147 out of 43408 (5%) after 0.5 sec
0.49/0.57 c [picomus] extracted core 8 of size 2137 out of 43408 (5%) after 0.6 sec
0.59/0.64 c [picomus] extracted core 9 of size 2133 out of 43408 (5%) after 0.6 sec
0.69/0.70 c [picomus] extracted core 10 of size 2124 out of 43408 (5%) after 0.7 sec
0.69/0.76 c [picomus] extracted core 11 of size 2118 out of 43408 (5%) after 0.8 sec
0.79/0.81 c [picomus] extracted core 12 of size 2108 out of 43408 (5%) after 0.8 sec
0.79/0.86 c [picomus] extracted core 13 of size 2100 out of 43408 (5%) after 0.9 sec
1.00/1.04 c [picomus] reduction 1 to 2094 out of 43408 (5%) after 1.0 sec
11.60/11.60 c [picomus] reduction 2 to 2091 out of 43408 (5%) after 11.6 sec
11.70/11.76 c [picomus] reduction 3 to 2090 out of 43408 (5%) after 11.8 sec
11.80/11.83 c [picomus] reduction 4 to 2086 out of 43408 (5%) after 11.8 sec
12.12/12.17 c [picomus] reduction 5 to 2085 out of 43408 (5%) after 12.2 sec
12.30/12.38 c [picomus] reduction 6 to 2084 out of 43408 (5%) after 12.4 sec
12.40/12.49 c [picomus] reduction 7 to 2083 out of 43408 (5%) after 12.5 sec
12.50/12.52 c [picomus] reduction 8 to 2082 out of 43408 (5%) after 12.5 sec
12.50/12.54 c [picomus] reduction 9 to 2081 out of 43408 (5%) after 12.5 sec
12.60/12.66 c [picomus] reduction 10 to 2075 out of 43408 (5%) after 12.7 sec
12.70/12.75 c [picomus] reduction 11 to 2073 out of 43408 (5%) after 12.8 sec
12.80/12.87 c [picomus] reduction 12 to 2070 out of 43408 (5%) after 12.9 sec
12.80/12.88 c [picomus] reduction 13 to 2069 out of 43408 (5%) after 12.9 sec
13.00/13.00 c [picomus] reduction 14 to 2068 out of 43408 (5%) after 13.0 sec
13.00/13.07 c [picomus] reduction 15 to 2067 out of 43408 (5%) after 13.1 sec
13.00/13.08 c [picomus] reduction 16 to 2066 out of 43408 (5%) after 13.1 sec
13.11/13.16 c [picomus] reduction 17 to 2065 out of 43408 (5%) after 13.2 sec
14.09/14.12 c [picomus] reduction 18 to 2061 out of 43408 (5%) after 14.1 sec
14.21/14.24 c [picomus] reduction 19 to 2059 out of 43408 (5%) after 14.2 sec
14.21/14.26 c [picomus] reduction 20 to 2058 out of 43408 (5%) after 14.3 sec
14.32/14.35 c [picomus] reduction 21 to 2057 out of 43408 (5%) after 14.4 sec
14.40/14.41 c [picomus] reduction 22 to 2056 out of 43408 (5%) after 14.4 sec
14.59/14.61 c [picomus] reduction 23 to 2053 out of 43408 (5%) after 14.6 sec
14.59/14.63 c [picomus] reduction 24 to 2045 out of 43408 (5%) after 14.6 sec
14.59/14.68 c [picomus] reduction 25 to 2043 out of 43408 (5%) after 14.7 sec
14.79/14.86 c [picomus] reduction 26 to 2042 out of 43408 (5%) after 14.9 sec
14.89/14.93 c [picomus] reduction 27 to 2040 out of 43408 (5%) after 14.9 sec
15.80/15.89 c [picomus] reduction 28 to 2038 out of 43408 (5%) after 15.9 sec
15.89/15.99 c [picomus] reduction 29 to 2036 out of 43408 (5%) after 16.0 sec
15.89/15.99 c [picomus] reduction 30 to 2033 out of 43408 (5%) after 16.0 sec
15.99/16.04 c [picomus] reduction 31 to 2032 out of 43408 (5%) after 16.0 sec
15.99/16.05 c [picomus] reduction 32 to 2031 out of 43408 (5%) after 16.1 sec
15.99/16.07 c [picomus] reduction 33 to 2029 out of 43408 (5%) after 16.1 sec
16.99/17.07 c [picomus] reduction 34 to 2028 out of 43408 (5%) after 17.1 sec
16.99/17.08 c [picomus] reduction 35 to 2027 out of 43408 (5%) after 17.1 sec
17.09/17.16 c [picomus] reduction 36 to 2025 out of 43408 (5%) after 17.2 sec
17.09/17.16 c [picomus] reduction 37 to 2017 out of 43408 (5%) after 17.2 sec
17.19/17.23 c [picomus] reduction 38 to 2016 out of 43408 (5%) after 17.2 sec
17.19/17.27 c [picomus] reduction 39 to 2015 out of 43408 (5%) after 17.3 sec
17.29/17.33 c [picomus] reduction 40 to 2014 out of 43408 (5%) after 17.3 sec
17.29/17.35 c [picomus] reduction 41 to 2013 out of 43408 (5%) after 17.4 sec
17.29/17.37 c [picomus] reduction 42 to 2012 out of 43408 (5%) after 17.4 sec
17.69/17.77 c [picomus] reduction 43 to 2008 out of 43408 (5%) after 17.8 sec
17.79/17.81 c [picomus] reduction 44 to 2007 out of 43408 (5%) after 17.8 sec
17.79/17.89 c [picomus] reduction 45 to 2006 out of 43408 (5%) after 17.9 sec
17.89/17.90 c [picomus] reduction 46 to 2005 out of 43408 (5%) after 17.9 sec
17.89/17.94 c [picomus] reduction 47 to 2004 out of 43408 (5%) after 18.0 sec
18.09/18.18 c [picomus] reduction 48 to 2003 out of 43408 (5%) after 18.2 sec
18.29/18.34 c [picomus] reduction 49 to 2002 out of 43408 (5%) after 18.4 sec
18.39/18.45 c [picomus] reduction 50 to 1999 out of 43408 (5%) after 18.5 sec
18.39/18.46 c [picomus] reduction 51 to 1998 out of 43408 (5%) after 18.5 sec
18.39/18.49 c [picomus] reduction 52 to 1996 out of 43408 (5%) after 18.5 sec
18.79/18.85 c [picomus] reduction 53 to 1994 out of 43408 (5%) after 18.9 sec
18.89/18.90 c [picomus] reduction 54 to 1993 out of 43408 (5%) after 18.9 sec
18.89/18.92 c [picomus] reduction 55 to 1991 out of 43408 (5%) after 18.9 sec
19.39/19.42 c [picomus] reduction 56 to 1989 out of 43408 (5%) after 19.4 sec
19.39/19.44 c [picomus] reduction 57 to 1987 out of 43408 (5%) after 19.4 sec
19.39/19.47 c [picomus] reduction 58 to 1986 out of 43408 (5%) after 19.5 sec
19.49/19.51 c [picomus] reduction 59 to 1985 out of 43408 (5%) after 19.5 sec
19.49/19.52 c [picomus] reduction 60 to 1984 out of 43408 (5%) after 19.5 sec
19.49/19.59 c [picomus] reduction 61 to 1983 out of 43408 (5%) after 19.6 sec
20.59/20.63 c [picomus] reduction 62 to 1982 out of 43408 (5%) after 20.6 sec
20.59/20.69 c [picomus] reduction 63 to 1980 out of 43408 (5%) after 20.7 sec
20.80/20.83 c [picomus] reduction 64 to 1978 out of 43408 (5%) after 20.8 sec
20.80/20.90 c [picomus] reduction 65 to 1977 out of 43408 (5%) after 20.9 sec
20.92/20.98 c [picomus] reduction 66 to 1975 out of 43408 (5%) after 21.0 sec
20.92/21.00 c [picomus] reduction 67 to 1973 out of 43408 (5%) after 21.0 sec
20.99/21.02 c [picomus] reduction 68 to 1970 out of 43408 (5%) after 21.0 sec
20.99/21.06 c [picomus] reduction 69 to 1969 out of 43408 (5%) after 21.1 sec
20.99/21.07 c [picomus] reduction 70 to 1967 out of 43408 (5%) after 21.1 sec
21.29/21.30 c [picomus] reduction 71 to 1966 out of 43408 (5%) after 21.3 sec
21.39/21.47 c [picomus] reduction 72 to 1965 out of 43408 (5%) after 21.5 sec
21.39/21.48 c [picomus] reduction 73 to 1963 out of 43408 (5%) after 21.5 sec
21.49/21.52 c [picomus] reduction 74 to 1962 out of 43408 (5%) after 21.5 sec
21.49/21.57 c [picomus] reduction 75 to 1961 out of 43408 (5%) after 21.6 sec
21.49/21.59 c [picomus] reduction 76 to 1960 out of 43408 (5%) after 21.6 sec
21.59/21.61 c [picomus] reduction 77 to 1958 out of 43408 (5%) after 21.6 sec
21.69/21.70 c [picomus] reduction 78 to 1955 out of 43408 (5%) after 21.7 sec
22.02/22.05 c [picomus] reduction 79 to 1954 out of 43408 (5%) after 22.1 sec
22.02/22.05 c [picomus] reduction 80 to 1951 out of 43408 (4%) after 22.1 sec
22.02/22.09 c [picomus] reduction 81 to 1950 out of 43408 (4%) after 22.1 sec
22.09/22.13 c [picomus] reduction 82 to 1949 out of 43408 (4%) after 22.1 sec
22.49/22.56 c [picomus] reduction 83 to 1948 out of 43408 (4%) after 22.6 sec
22.49/22.58 c [picomus] reduction 84 to 1945 out of 43408 (4%) after 22.6 sec
22.59/22.62 c [picomus] reduction 85 to 1944 out of 43408 (4%) after 22.6 sec
22.59/22.65 c [picomus] reduction 86 to 1943 out of 43408 (4%) after 22.7 sec
22.59/22.69 c [picomus] reduction 87 to 1942 out of 43408 (4%) after 22.7 sec
23.99/24.03 c [picomus] reduction 88 to 1941 out of 43408 (4%) after 24.0 sec
23.99/24.09 c [picomus] reduction 89 to 1940 out of 43408 (4%) after 24.1 sec
24.10/24.19 c [picomus] reduction 90 to 1939 out of 43408 (4%) after 24.2 sec
24.29/24.35 c [picomus] reduction 91 to 1938 out of 43408 (4%) after 24.4 sec
24.29/24.35 c [picomus] reduction 92 to 1936 out of 43408 (4%) after 24.4 sec
24.29/24.39 c [picomus] reduction 93 to 1935 out of 43408 (4%) after 24.4 sec
24.39/24.44 c [picomus] reduction 94 to 1934 out of 43408 (4%) after 24.4 sec
24.39/24.46 c [picomus] reduction 95 to 1932 out of 43408 (4%) after 24.5 sec
24.49/24.52 c [picomus] reduction 96 to 1931 out of 43408 (4%) after 24.5 sec
24.49/24.55 c [picomus] reduction 97 to 1930 out of 43408 (4%) after 24.6 sec
24.49/24.56 c [picomus] reduction 98 to 1929 out of 43408 (4%) after 24.6 sec
24.49/24.59 c [picomus] reduction 99 to 1926 out of 43408 (4%) after 24.6 sec
24.89/24.99 c [picomus] reduction 100 to 1925 out of 43408 (4%) after 25.0 sec
24.99/25.02 c [picomus] reduction 101 to 1924 out of 43408 (4%) after 25.0 sec
24.99/25.07 c [picomus] reduction 102 to 1923 out of 43408 (4%) after 25.1 sec
25.09/25.12 c [picomus] reduction 103 to 1922 out of 43408 (4%) after 25.1 sec
25.59/25.60 c [picomus] reduction 104 to 1921 out of 43408 (4%) after 25.6 sec
25.59/25.68 c [picomus] reduction 105 to 1920 out of 43408 (4%) after 25.7 sec
25.59/25.69 c [picomus] reduction 106 to 1918 out of 43408 (4%) after 25.7 sec
25.69/25.72 c [picomus] reduction 107 to 1917 out of 43408 (4%) after 25.7 sec
25.69/25.75 c [picomus] reduction 108 to 1916 out of 43408 (4%) after 25.8 sec
25.79/25.81 c [picomus] reduction 109 to 1915 out of 43408 (4%) after 25.8 sec
25.79/25.84 c [picomus] reduction 110 to 1913 out of 43408 (4%) after 25.8 sec
25.79/25.88 c [picomus] reduction 111 to 1912 out of 43408 (4%) after 25.9 sec
25.89/25.92 c [picomus] reduction 112 to 1911 out of 43408 (4%) after 25.9 sec
25.89/25.92 c [picomus] reduction 113 to 1908 out of 43408 (4%) after 25.9 sec
25.99/26.00 c [picomus] reduction 114 to 1906 out of 43408 (4%) after 26.0 sec
27.09/27.16 c [picomus] reduction 115 to 1905 out of 43408 (4%) after 27.2 sec
27.09/27.19 c [picomus] reduction 116 to 1904 out of 43408 (4%) after 27.2 sec
27.19/27.22 c [picomus] reduction 117 to 1903 out of 43408 (4%) after 27.2 sec
27.19/27.26 c [picomus] reduction 118 to 1902 out of 43408 (4%) after 27.3 sec
27.19/27.29 c [picomus] reduction 119 to 1901 out of 43408 (4%) after 27.3 sec
28.29/28.39 c [picomus] reduction 120 to 1900 out of 43408 (4%) after 28.4 sec
29.09/29.15 c [picomus] reduction 121 to 1899 out of 43408 (4%) after 29.2 sec
29.60/29.65 c [picomus] reduction 122 to 1896 out of 43408 (4%) after 29.7 sec
36.59/36.69 c [picomus] reduction 123 to 1891 out of 43408 (4%) after 36.7 sec
41.19/41.24 c [picomus] reduction 124 to 1890 out of 43408 (4%) after 41.2 sec
42.59/42.67 c [picomus] reduction 125 to 1889 out of 43408 (4%) after 42.7 sec
43.59/43.62 c [picosat] 2015 calls
43.59/43.62 c [picosat] 0 iterations
43.59/43.62 c [picosat] 60 restarts
43.59/43.62 c [picosat] 0 failed literals
43.59/43.62 c [picosat] 21943 conflicts
43.59/43.62 c [picosat] 108006303 decisions
43.59/43.62 c [picosat] 2096 fixed variables
43.59/43.62 c [picosat] 13675666 learned literals
43.59/43.62 c [picosat] 1.7% deleted literals
43.59/43.62 c [picosat] 115762078 propagations
43.59/43.62 c [picosat] 6.2% variables used
43.59/43.62 c [picosat] 33.6 seconds in library
43.59/43.62 c [picosat] 3.4 megaprops/second
43.59/43.62 c [picosat] probing 0.7 seconds 2%
43.59/43.62 c [picosat] 59 simplifications
43.59/43.62 c [picosat] 6 reductions
43.59/43.62 c [picosat] 51.7 MB recycled
43.59/43.62 c [picosat] 9.0 MB maximally allocated
43.59/43.62 c [picomus] found 41519 redundant clauses 96%
43.59/43.62 c [picomus] computed MUS of size 1889 out of 43408 (4%)
43.59/43.62 v 3622
43.59/43.62 v 3624
43.59/43.62 v 3627
43.59/43.62 v 3629
43.59/43.62 v 6622
43.59/43.62 v 6624
43.59/43.62 v 6627
43.59/43.62 v 6629
43.59/43.62 v 9052
43.59/43.62 v 9054
43.59/43.62 v 9057
43.59/43.62 v 9059
43.59/43.62 v 10942
43.59/43.62 v 10944
43.59/43.62 v 10947
43.59/43.62 v 10949
43.59/43.62 v 12322
43.59/43.62 v 12324
43.59/43.62 v 12327
43.59/43.62 v 12329
43.59/43.62 v 13222
43.59/43.62 v 13224
43.59/43.62 v 13227
43.59/43.62 v 13229
43.59/43.62 v 13672
43.59/43.62 v 13674
43.59/43.62 v 13677
43.59/43.62 v 13679
43.59/43.62 v 13702
43.59/43.62 v 13704
43.59/43.62 v 13707
43.59/43.62 v 13709
43.59/43.62 v 13732
43.59/43.62 v 13734
43.59/43.62 v 13737
43.59/43.62 v 13739
43.59/43.62 v 13741
43.59/43.62 v 13742
43.59/43.62 v 13744
43.59/43.62 v 13745
43.59/43.62 v 13748
43.59/43.62 v 13751
43.59/43.62 v 13754
43.59/43.62 v 13757
43.59/43.62 v 13760
43.59/43.62 v 13763
43.59/43.62 v 13766
43.59/43.62 v 13769
43.59/43.62 v 13772
43.59/43.62 v 13775
43.59/43.62 v 13778
43.59/43.62 v 13781
43.59/43.62 v 13784
43.59/43.62 v 13787
43.59/43.62 v 13789
43.59/43.62 v 13790
43.59/43.62 v 13793
43.59/43.62 v 13796
43.59/43.62 v 13799
43.59/43.62 v 13802
43.59/43.62 v 13805
43.59/43.62 v 13808
43.59/43.62 v 13811
43.59/43.62 v 13814
43.59/43.62 v 13817
43.59/43.62 v 13820
43.59/43.62 v 13823
43.59/43.62 v 13826
43.59/43.62 v 13829
43.59/43.62 v 13832
43.59/43.62 v 13835
43.59/43.62 v 13838
43.59/43.62 v 13841
43.59/43.62 v 13844
43.59/43.62 v 13847
43.59/43.62 v 13850
43.59/43.62 v 13853
43.59/43.62 v 13856
43.59/43.62 v 13859
43.59/43.62 v 13862
43.59/43.62 v 13865
43.59/43.62 v 13868
43.59/43.62 v 13871
43.59/43.62 v 13874
43.59/43.62 v 13877
43.59/43.62 v 13879
43.59/43.62 v 13880
43.59/43.62 v 13883
43.59/43.62 v 13886
43.59/43.62 v 13889
43.59/43.62 v 13892
43.59/43.62 v 13895
43.59/43.62 v 13898
43.59/43.62 v 13901
43.59/43.62 v 13904
43.59/43.62 v 13907
43.59/43.62 v 13910
43.59/43.62 v 13913
43.59/43.62 v 13916
43.59/43.62 v 13919
43.59/43.62 v 13922
43.59/43.62 v 13925
43.59/43.62 v 13928
43.59/43.62 v 13931
43.59/43.62 v 13934
43.59/43.62 v 13937
43.59/43.62 v 13940
43.59/43.62 v 13943
43.59/43.62 v 13946
43.59/43.62 v 13949
43.59/43.62 v 13952
43.59/43.62 v 13955
43.59/43.62 v 13958
43.59/43.62 v 13961
43.59/43.62 v 13964
43.59/43.62 v 13967
43.59/43.62 v 13970
43.59/43.62 v 13973
43.59/43.62 v 13976
43.59/43.62 v 13979
43.59/43.62 v 13982
43.59/43.62 v 13985
43.59/43.62 v 13988
43.59/43.62 v 13991
43.59/43.62 v 13994
43.59/43.62 v 13997
43.59/43.62 v 14000
43.59/43.62 v 14003
43.59/43.62 v 14006
43.59/43.62 v 14009
43.59/43.62 v 14012
43.59/43.62 v 14015
43.59/43.62 v 14017
43.59/43.62 v 14018
43.59/43.62 v 14021
43.59/43.62 v 14024
43.59/43.62 v 14027
43.59/43.62 v 14030
43.59/43.62 v 14033
43.59/43.62 v 14036
43.59/43.62 v 14039
43.59/43.62 v 14042
43.59/43.62 v 14045
43.59/43.62 v 14048
43.59/43.62 v 14051
43.59/43.62 v 14054
43.59/43.62 v 14057
43.59/43.62 v 14060
43.59/43.62 v 14063
43.59/43.62 v 14066
43.59/43.62 v 14069
43.59/43.62 v 14072
43.59/43.62 v 14075
43.59/43.62 v 14078
43.59/43.62 v 14081
43.59/43.62 v 14084
43.59/43.62 v 14087
43.59/43.62 v 14090
43.59/43.62 v 14093
43.59/43.62 v 14096
43.59/43.62 v 14099
43.59/43.62 v 14102
43.59/43.62 v 14105
43.59/43.62 v 14108
43.59/43.62 v 14111
43.59/43.62 v 14114
43.59/43.62 v 14117
43.59/43.62 v 14120
43.59/43.62 v 14123
43.59/43.62 v 14126
43.59/43.62 v 14129
43.59/43.62 v 14132
43.59/43.62 v 14135
43.59/43.62 v 14138
43.59/43.62 v 14141
43.59/43.62 v 14144
43.59/43.62 v 14147
43.59/43.62 v 14150
43.59/43.62 v 14153
43.59/43.62 v 14156
43.59/43.62 v 14159
43.59/43.62 v 14162
43.59/43.62 v 14165
43.59/43.62 v 14168
43.59/43.62 v 14171
43.59/43.62 v 14174
43.59/43.62 v 14177
43.59/43.62 v 14180
43.59/43.62 v 14183
43.59/43.62 v 14186
43.59/43.62 v 14189
43.59/43.62 v 14192
43.59/43.62 v 14195
43.59/43.62 v 14198
43.59/43.62 v 14201
43.59/43.62 v 14204
43.59/43.62 v 14206
43.59/43.62 v 14207
43.59/43.62 v 14210
43.59/43.62 v 14213
43.59/43.62 v 14216
43.59/43.62 v 14219
43.59/43.62 v 14222
43.59/43.62 v 14225
43.59/43.62 v 14228
43.59/43.62 v 14231
43.59/43.62 v 14234
43.59/43.62 v 14237
43.59/43.62 v 14240
43.59/43.62 v 14243
43.59/43.62 v 14246
43.59/43.62 v 14249
43.59/43.62 v 14252
43.59/43.62 v 14255
43.59/43.62 v 14258
43.59/43.62 v 14261
43.59/43.62 v 14264
43.59/43.62 v 14267
43.59/43.62 v 14270
43.59/43.62 v 14273
43.59/43.62 v 14276
43.59/43.62 v 14279
43.59/43.62 v 14282
43.59/43.62 v 14285
43.59/43.62 v 14288
43.59/43.62 v 14291
43.59/43.62 v 14294
43.59/43.62 v 14297
43.59/43.62 v 14300
43.59/43.62 v 14303
43.59/43.62 v 14306
43.59/43.62 v 14309
43.59/43.62 v 14312
43.59/43.62 v 14315
43.59/43.62 v 14318
43.59/43.62 v 14321
43.59/43.62 v 14324
43.59/43.62 v 14327
43.59/43.62 v 14330
43.59/43.62 v 14333
43.59/43.62 v 14336
43.59/43.62 v 14339
43.59/43.62 v 14342
43.59/43.62 v 14345
43.59/43.62 v 14348
43.59/43.62 v 14351
43.59/43.62 v 14354
43.59/43.62 v 14357
43.59/43.62 v 14360
43.59/43.62 v 14363
43.59/43.62 v 14366
43.59/43.62 v 14369
43.59/43.62 v 14372
43.59/43.62 v 14375
43.59/43.62 v 14378
43.59/43.62 v 14381
43.59/43.62 v 14384
43.59/43.62 v 14387
43.59/43.62 v 14390
43.59/43.62 v 14393
43.59/43.62 v 14396
43.59/43.62 v 14399
43.59/43.62 v 14402
43.59/43.62 v 14405
43.59/43.62 v 14408
43.59/43.62 v 14411
43.59/43.62 v 14414
43.59/43.62 v 14417
43.59/43.62 v 14420
43.59/43.62 v 14423
43.59/43.62 v 14426
43.59/43.62 v 14429
43.59/43.62 v 14432
43.59/43.62 v 14435
43.59/43.62 v 14438
43.59/43.62 v 14441
43.59/43.62 v 14444
43.59/43.62 v 14447
43.59/43.62 v 14449
43.59/43.62 v 14450
43.59/43.62 v 14453
43.59/43.62 v 14456
43.59/43.62 v 14459
43.59/43.62 v 14462
43.59/43.62 v 14465
43.59/43.62 v 14468
43.59/43.62 v 14471
43.59/43.62 v 14474
43.59/43.62 v 14477
43.59/43.62 v 14480
43.59/43.62 v 14483
43.59/43.62 v 14486
43.59/43.62 v 14489
43.59/43.62 v 14492
43.59/43.62 v 14495
43.59/43.62 v 14498
43.59/43.62 v 14501
43.59/43.62 v 14504
43.59/43.62 v 14507
43.59/43.62 v 14510
43.59/43.62 v 14513
43.59/43.62 v 14516
43.59/43.62 v 14519
43.59/43.62 v 14522
43.59/43.62 v 14525
43.59/43.62 v 14528
43.59/43.62 v 14531
43.59/43.62 v 14534
43.59/43.62 v 14537
43.59/43.62 v 14540
43.59/43.62 v 14543
43.59/43.62 v 14546
43.59/43.62 v 14549
43.59/43.62 v 14552
43.59/43.62 v 14555
43.59/43.62 v 14558
43.59/43.62 v 14561
43.59/43.62 v 14564
43.59/43.62 v 14567
43.59/43.62 v 14570
43.59/43.62 v 14573
43.59/43.62 v 14576
43.59/43.62 v 14579
43.59/43.62 v 14582
43.59/43.62 v 14585
43.59/43.62 v 14588
43.59/43.62 v 14591
43.59/43.62 v 14594
43.59/43.62 v 14597
43.59/43.62 v 14600
43.59/43.62 v 14603
43.59/43.62 v 14606
43.59/43.62 v 14609
43.59/43.62 v 14612
43.59/43.62 v 14615
43.59/43.62 v 14618
43.59/43.62 v 14621
43.59/43.62 v 14624
43.59/43.62 v 14627
43.59/43.62 v 14630
43.59/43.62 v 14633
43.59/43.62 v 14636
43.59/43.62 v 14639
43.59/43.62 v 14642
43.59/43.62 v 14645
43.59/43.62 v 14648
43.59/43.62 v 14651
43.59/43.62 v 14654
43.59/43.62 v 14657
43.59/43.62 v 14660
43.59/43.62 v 14663
43.59/43.62 v 14666
43.59/43.62 v 14669
43.59/43.62 v 14672
43.59/43.62 v 14675
43.59/43.62 v 14678
43.59/43.62 v 14681
43.59/43.62 v 14684
43.59/43.62 v 14687
43.59/43.62 v 14690
43.59/43.62 v 14693
43.59/43.62 v 14696
43.59/43.62 v 14699
43.59/43.62 v 14702
43.59/43.62 v 14705
43.59/43.62 v 14708
43.59/43.62 v 14711
43.59/43.62 v 14714
43.59/43.62 v 14717
43.59/43.62 v 14720
43.59/43.62 v 14723
43.59/43.62 v 14726
43.59/43.62 v 14729
43.59/43.62 v 14732
43.59/43.62 v 14735
43.59/43.62 v 14738
43.59/43.62 v 14741
43.59/43.62 v 14744
43.59/43.62 v 14747
43.59/43.62 v 14749
43.59/43.62 v 14750
43.59/43.62 v 14753
43.59/43.62 v 14756
43.59/43.62 v 14759
43.59/43.62 v 14762
43.59/43.62 v 14765
43.59/43.62 v 14768
43.59/43.62 v 14771
43.59/43.62 v 14774
43.59/43.62 v 14777
43.59/43.62 v 14780
43.59/43.62 v 14783
43.59/43.62 v 14786
43.59/43.62 v 14789
43.59/43.62 v 14792
43.59/43.62 v 14795
43.59/43.62 v 14798
43.59/43.62 v 14801
43.59/43.62 v 14804
43.59/43.62 v 14807
43.59/43.62 v 14810
43.59/43.62 v 14813
43.59/43.62 v 14816
43.59/43.62 v 14819
43.59/43.62 v 14822
43.59/43.62 v 14825
43.59/43.62 v 14828
43.59/43.62 v 14831
43.59/43.62 v 14834
43.59/43.62 v 14837
43.59/43.62 v 14840
43.59/43.62 v 14843
43.59/43.62 v 14846
43.59/43.62 v 14849
43.59/43.62 v 14852
43.59/43.62 v 14855
43.59/43.62 v 14858
43.59/43.62 v 14861
43.59/43.62 v 14864
43.59/43.62 v 14867
43.59/43.62 v 14870
43.59/43.62 v 14873
43.59/43.62 v 14876
43.59/43.62 v 14879
43.59/43.62 v 14882
43.59/43.62 v 14885
43.59/43.62 v 14888
43.59/43.62 v 14891
43.59/43.62 v 14894
43.59/43.62 v 14897
43.59/43.62 v 14900
43.59/43.62 v 14903
43.59/43.62 v 14906
43.59/43.62 v 14909
43.59/43.62 v 14912
43.59/43.62 v 14915
43.59/43.62 v 14918
43.59/43.62 v 14921
43.59/43.62 v 14924
43.59/43.62 v 14927
43.59/43.62 v 14930
43.59/43.62 v 14933
43.59/43.62 v 14936
43.59/43.62 v 14939
43.59/43.62 v 14942
43.59/43.62 v 14945
43.59/43.62 v 14948
43.59/43.62 v 14951
43.59/43.62 v 14954
43.59/43.62 v 14957
43.59/43.62 v 14960
43.59/43.62 v 14963
43.59/43.62 v 14966
43.59/43.62 v 14969
43.59/43.62 v 14972
43.59/43.62 v 14975
43.59/43.62 v 14978
43.59/43.62 v 14981
43.59/43.62 v 14984
43.59/43.62 v 14987
43.59/43.62 v 14990
43.59/43.62 v 14993
43.59/43.62 v 14996
43.59/43.62 v 14999
43.59/43.62 v 15002
43.59/43.62 v 15005
43.59/43.62 v 15008
43.59/43.62 v 15011
43.59/43.62 v 15014
43.59/43.62 v 15017
43.59/43.62 v 15020
43.59/43.62 v 15023
43.59/43.62 v 15026
43.59/43.62 v 15029
43.59/43.62 v 15032
43.59/43.62 v 15035
43.59/43.62 v 15038
43.59/43.62 v 15041
43.59/43.62 v 15044
43.59/43.62 v 15047
43.59/43.62 v 15050
43.59/43.62 v 15053
43.59/43.62 v 15056
43.59/43.62 v 15059
43.59/43.62 v 15062
43.59/43.62 v 15065
43.59/43.62 v 15068
43.59/43.62 v 15071
43.59/43.62 v 15074
43.59/43.62 v 15077
43.59/43.62 v 15080
43.59/43.62 v 15083
43.59/43.62 v 15086
43.59/43.62 v 15089
43.59/43.62 v 15092
43.59/43.62 v 15095
43.59/43.62 v 15098
43.59/43.62 v 15101
43.59/43.62 v 15104
43.59/43.62 v 15107
43.59/43.62 v 15110
43.59/43.62 v 15112
43.59/43.62 v 15115
43.59/43.62 v 15122
43.59/43.62 v 15124
43.59/43.62 v 15279
43.59/43.62 v 15281
43.59/43.62 v 15282
43.59/43.62 v 15283
43.59/43.62 v 15286
43.59/43.62 v 15513
43.59/43.62 v 15520
43.59/43.62 v 15527
43.59/43.62 v 15534
43.59/43.62 v 15541
43.59/43.62 v 15548
43.59/43.62 v 15549
43.59/43.62 v 15550
43.59/43.62 v 15552
43.59/43.62 v 15553
43.59/43.62 v 15555
43.59/43.62 v 15556
43.59/43.62 v 15558
43.59/43.62 v 15559
43.59/43.62 v 15561
43.59/43.62 v 15562
43.59/43.62 v 15564
43.59/43.62 v 15565
43.59/43.62 v 15746
43.59/43.62 v 15747
43.59/43.62 v 15749
43.59/43.62 v 15750
43.59/43.62 v 15754
43.59/43.62 v 15755
43.59/43.62 v 15756
43.59/43.62 v 15758
43.59/43.62 v 15759
43.59/43.62 v 15763
43.59/43.62 v 16039
43.59/43.62 v 16040
43.59/43.62 v 16061
43.59/43.62 v 16063
43.59/43.62 v 16064
43.59/43.62 v 16066
43.59/43.62 v 16067
43.59/43.62 v 16071
43.59/43.62 v 16072
43.59/43.62 v 16073
43.59/43.62 v 16075
43.59/43.62 v 16076
43.59/43.62 v 16080
43.59/43.62 v 16081
43.59/43.62 v 16082
43.59/43.62 v 16084
43.59/43.62 v 16085
43.59/43.62 v 16089
43.59/43.62 v 16090
43.59/43.62 v 16091
43.59/43.62 v 16093
43.59/43.62 v 16094
43.59/43.62 v 16098
43.59/43.62 v 16099
43.59/43.62 v 16100
43.59/43.62 v 16103
43.59/43.62 v 16107
43.59/43.62 v 16108
43.59/43.62 v 16109
43.59/43.62 v 16113
43.59/43.62 v 16114
43.59/43.62 v 16117
43.59/43.62 v 16122
43.59/43.62 v 16130
43.59/43.62 v 16143
43.59/43.62 v 16161
43.59/43.62 v 16785
43.59/43.62 v 16786
43.59/43.62 v 16788
43.59/43.62 v 16789
43.59/43.62 v 16791
43.59/43.62 v 16792
43.59/43.62 v 16796
43.59/43.62 v 16797
43.59/43.62 v 16798
43.59/43.62 v 16802
43.59/43.62 v 17163
43.59/43.62 v 17164
43.59/43.62 v 17191
43.59/43.62 v 17193
43.59/43.62 v 17194
43.59/43.62 v 17196
43.59/43.62 v 17197
43.59/43.62 v 17199
43.59/43.62 v 17200
43.59/43.62 v 17204
43.59/43.62 v 17205
43.59/43.62 v 17206
43.59/43.62 v 17209
43.59/43.62 v 17210
43.59/43.62 v 17213
43.59/43.62 v 17218
43.59/43.62 v 17219
43.59/43.62 v 17220
43.59/43.62 v 17222
43.59/43.62 v 17223
43.59/43.62 v 17227
43.59/43.62 v 17228
43.59/43.62 v 17229
43.59/43.62 v 17232
43.59/43.62 v 17233
43.59/43.62 v 17236
43.59/43.62 v 17237
43.59/43.62 v 17241
43.59/43.62 v 17242
43.59/43.62 v 17243
43.59/43.62 v 17245
43.59/43.62 v 17246
43.59/43.62 v 17250
43.59/43.62 v 17251
43.59/43.62 v 17252
43.59/43.62 v 17255
43.59/43.62 v 17256
43.59/43.62 v 17259
43.59/43.62 v 17260
43.59/43.62 v 17264
43.59/43.62 v 17265
43.59/43.62 v 17266
43.59/43.62 v 17268
43.59/43.62 v 17269
43.59/43.62 v 17273
43.59/43.62 v 17274
43.59/43.62 v 17275
43.59/43.62 v 17278
43.59/43.62 v 17279
43.59/43.62 v 17282
43.59/43.62 v 17283
43.59/43.62 v 17287
43.59/43.62 v 17288
43.59/43.62 v 17289
43.59/43.62 v 17291
43.59/43.62 v 17292
43.59/43.62 v 17296
43.59/43.62 v 17297
43.59/43.62 v 17298
43.59/43.62 v 17301
43.59/43.62 v 17302
43.59/43.62 v 17305
43.59/43.62 v 17306
43.59/43.62 v 17310
43.59/43.62 v 17311
43.59/43.62 v 17312
43.59/43.62 v 17315
43.59/43.62 v 17319
43.59/43.62 v 17320
43.59/43.62 v 17321
43.59/43.62 v 17325
43.59/43.62 v 17328
43.59/43.62 v 17336
43.59/43.62 v 17338
43.59/43.62 v 17340
43.59/43.62 v 17343
43.59/43.62 v 17348
43.59/43.62 v 17351
43.59/43.62 v 17352
43.59/43.62 v 17353
43.59/43.62 v 17362
43.59/43.62 v 17363
43.59/43.62 v 17364
43.59/43.62 v 17381
43.59/43.62 v 17408
43.59/43.62 v 17434
43.59/43.62 v 17435
43.59/43.62 v 17438
43.59/43.62 v 19127
43.59/43.62 v 19128
43.59/43.62 v 19130
43.59/43.62 v 19131
43.59/43.62 v 19133
43.59/43.62 v 19134
43.59/43.62 v 19138
43.59/43.62 v 19139
43.59/43.62 v 19140
43.59/43.62 v 19144
43.59/43.62 v 19148
43.59/43.62 v 19149
43.59/43.62 v 19151
43.59/43.62 v 19152
43.59/43.62 v 19156
43.59/43.62 v 19548
43.59/43.62 v 19549
43.59/43.62 v 19582
43.59/43.62 v 19584
43.59/43.62 v 19585
43.59/43.62 v 19587
43.59/43.62 v 19588
43.59/43.62 v 19590
43.59/43.62 v 19591
43.59/43.62 v 19593
43.59/43.62 v 19594
43.59/43.62 v 19596
43.59/43.62 v 19597
43.59/43.62 v 19599
43.59/43.62 v 19600
43.59/43.62 v 19604
43.59/43.62 v 19605
43.59/43.62 v 19606
43.59/43.62 v 19609
43.59/43.62 v 19610
43.59/43.62 v 19613
43.59/43.62 v 19615
43.59/43.62 v 19616
43.59/43.62 v 19619
43.59/43.62 v 19621
43.59/43.62 v 19623
43.59/43.62 v 19624
43.59/43.62 v 19625
43.59/43.62 v 19626
43.59/43.62 v 19628
43.59/43.62 v 19629
43.59/43.62 v 19631
43.59/43.62 v 19632
43.59/43.62 v 19636
43.59/43.62 v 19637
43.59/43.62 v 19638
43.59/43.62 v 19641
43.59/43.62 v 19642
43.59/43.62 v 19645
43.59/43.62 v 19647
43.59/43.62 v 19648
43.59/43.62 v 19651
43.59/43.62 v 19653
43.59/43.62 v 19655
43.59/43.62 v 19656
43.59/43.62 v 19657
43.59/43.62 v 19658
43.59/43.62 v 19660
43.59/43.62 v 19661
43.59/43.62 v 19663
43.59/43.62 v 19664
43.59/43.62 v 19668
43.59/43.62 v 19669
43.59/43.62 v 19670
43.59/43.62 v 19673
43.59/43.62 v 19674
43.59/43.62 v 19677
43.59/43.62 v 19679
43.59/43.62 v 19680
43.59/43.62 v 19683
43.59/43.62 v 19685
43.59/43.62 v 19687
43.59/43.62 v 19688
43.59/43.62 v 19689
43.59/43.62 v 19690
43.59/43.62 v 19692
43.59/43.62 v 19693
43.59/43.62 v 19695
43.59/43.62 v 19696
43.59/43.62 v 19700
43.59/43.62 v 19701
43.59/43.62 v 19702
43.59/43.62 v 19705
43.59/43.62 v 19706
43.59/43.62 v 19709
43.59/43.62 v 19711
43.59/43.62 v 19712
43.59/43.62 v 19715
43.59/43.62 v 19717
43.59/43.62 v 19719
43.59/43.62 v 19720
43.59/43.62 v 19721
43.59/43.62 v 19722
43.59/43.63 v 19724
43.59/43.63 v 19725
43.59/43.63 v 19728
43.59/43.63 v 19732
43.59/43.63 v 19733
43.59/43.63 v 19734
43.59/43.63 v 19738
43.59/43.63 v 19741
43.59/43.63 v 19744
43.59/43.63 v 19758
43.59/43.63 v 19759
43.59/43.63 v 19762
43.59/43.63 v 19765
43.59/43.63 v 19768
43.59/43.63 v 19773
43.59/43.63 v 19776
43.59/43.63 v 19779
43.59/43.63 v 19780
43.59/43.63 v 19781
43.59/43.63 v 19784
43.59/43.63 v 19793
43.59/43.63 v 19794
43.59/43.63 v 19795
43.59/43.63 v 19798
43.59/43.63 v 19818
43.59/43.63 v 19854
43.59/43.63 v 19890
43.59/43.63 v 19925
43.59/43.63 v 19926
43.59/43.63 v 19929
43.59/43.63 v 23219
43.59/43.63 v 23220
43.59/43.63 v 23222
43.59/43.63 v 23223
43.59/43.63 v 23225
43.59/43.63 v 23226
43.59/43.63 v 23230
43.59/43.63 v 23231
43.59/43.63 v 23232
43.59/43.63 v 23236
43.59/43.63 v 23240
43.59/43.63 v 23241
43.59/43.63 v 23243
43.59/43.63 v 23244
43.59/43.63 v 23248
43.59/43.63 v 23252
43.59/43.63 v 23253
43.59/43.63 v 23255
43.59/43.63 v 23256
43.59/43.63 v 23260
43.59/43.63 v 23725
43.59/43.63 v 23726
43.59/43.63 v 23765
43.59/43.63 v 23767
43.59/43.63 v 23768
43.59/43.63 v 23770
43.59/43.63 v 23771
43.59/43.63 v 23773
43.59/43.63 v 23774
43.59/43.63 v 23776
43.59/43.63 v 23777
43.59/43.63 v 23779
43.59/43.63 v 23780
43.59/43.63 v 23782
43.59/43.63 v 23783
43.59/43.63 v 23785
43.59/43.63 v 23786
43.59/43.63 v 23790
43.59/43.63 v 23791
43.59/43.63 v 23792
43.59/43.63 v 23795
43.59/43.63 v 23796
43.59/43.63 v 23799
43.59/43.63 v 23802
43.59/43.63 v 23805
43.59/43.63 v 23810
43.59/43.63 v 23813
43.59/43.63 v 23816
43.59/43.63 v 23817
43.59/43.63 v 23818
43.59/43.63 v 23821
43.59/43.63 v 23823
43.59/43.63 v 23824
43.59/43.63 v 23826
43.59/43.63 v 23827
43.59/43.63 v 23831
43.59/43.63 v 23832
43.59/43.63 v 23833
43.59/43.63 v 23836
43.59/43.63 v 23837
43.59/43.63 v 23840
43.59/43.63 v 23843
43.59/43.63 v 23846
43.59/43.63 v 23851
43.59/43.63 v 23854
43.59/43.63 v 23857
43.59/43.63 v 23858
43.59/43.63 v 23859
43.59/43.63 v 23862
43.59/43.63 v 23864
43.59/43.63 v 23865
43.59/43.63 v 23867
43.59/43.63 v 23868
43.59/43.63 v 23872
43.59/43.63 v 23873
43.59/43.63 v 23874
43.59/43.63 v 23877
43.59/43.63 v 23878
43.59/43.63 v 23881
43.59/43.63 v 23884
43.59/43.63 v 23887
43.59/43.63 v 23892
43.59/43.63 v 23895
43.59/43.63 v 23898
43.59/43.63 v 23899
43.59/43.63 v 23900
43.59/43.63 v 23903
43.59/43.63 v 23905
43.59/43.63 v 23906
43.59/43.63 v 23909
43.59/43.63 v 23913
43.59/43.63 v 23914
43.59/43.63 v 23915
43.59/43.63 v 23919
43.59/43.63 v 23922
43.59/43.63 v 23925
43.59/43.63 v 23928
43.59/43.63 v 23948
43.59/43.63 v 23949
43.59/43.63 v 23952
43.59/43.63 v 23955
43.59/43.63 v 23958
43.59/43.63 v 23961
43.59/43.63 v 23966
43.59/43.63 v 23969
43.59/43.63 v 23972
43.59/43.63 v 23975
43.59/43.63 v 23976
43.59/43.63 v 23977
43.59/43.63 v 23979
43.59/43.63 v 23980
43.59/43.63 v 23983
43.59/43.63 v 23992
43.59/43.63 v 23993
43.59/43.63 v 23994
43.59/43.63 v 23996
43.59/43.63 v 23997
43.59/43.63 v 24000
43.59/43.63 v 24023
43.59/43.63 v 24068
43.59/43.63 v 24113
43.59/43.63 v 24158
43.59/43.63 v 24202
43.59/43.63 v 24203
43.59/43.63 v 24206
43.59/43.63 v 29811
43.59/43.63 v 29812
43.59/43.63 v 29814
43.59/43.63 v 29815
43.59/43.63 v 29817
43.59/43.63 v 29818
43.59/43.63 v 29822
43.59/43.63 v 29823
43.59/43.63 v 29824
43.59/43.63 v 29828
43.59/43.63 v 29832
43.59/43.63 v 29833
43.59/43.63 v 29835
43.59/43.63 v 29836
43.59/43.63 v 29840
43.59/43.63 v 29844
43.59/43.63 v 29845
43.59/43.63 v 29847
43.59/43.63 v 29848
43.59/43.63 v 29852
43.59/43.63 v 29856
43.59/43.63 v 29857
43.59/43.63 v 29859
43.59/43.63 v 29860
43.59/43.63 v 29864
43.59/43.63 v 30389
43.59/43.63 v 30390
43.59/43.63 v 30435
43.59/43.63 v 30437
43.59/43.63 v 30438
43.59/43.63 v 30440
43.59/43.63 v 30441
43.59/43.63 v 30443
43.59/43.63 v 30444
43.59/43.63 v 30446
43.59/43.63 v 30447
43.59/43.63 v 30449
43.59/43.63 v 30450
43.59/43.63 v 30452
43.59/43.63 v 30453
43.59/43.63 v 30455
43.59/43.63 v 30456
43.59/43.63 v 30458
43.59/43.63 v 30459
43.59/43.63 v 30463
43.59/43.63 v 30464
43.59/43.63 v 30465
43.59/43.63 v 30468
43.59/43.63 v 30469
43.59/43.63 v 30472
43.59/43.63 v 30475
43.59/43.63 v 30478
43.59/43.63 v 30481
43.59/43.63 v 30486
43.59/43.63 v 30489
43.59/43.63 v 30492
43.59/43.63 v 30495
43.59/43.63 v 30496
43.59/43.63 v 30497
43.59/43.63 v 30499
43.59/43.63 v 30500
43.59/43.63 v 30503
43.59/43.63 v 30505
43.59/43.63 v 30506
43.59/43.63 v 30508
43.59/43.63 v 30509
43.59/43.63 v 30513
43.59/43.63 v 30514
43.59/43.63 v 30515
43.59/43.63 v 30518
43.59/43.63 v 30519
43.59/43.63 v 30522
43.59/43.63 v 30525
43.59/43.63 v 30528
43.59/43.63 v 30531
43.59/43.63 v 30536
43.59/43.63 v 30539
43.59/43.63 v 30542
43.59/43.63 v 30545
43.59/43.63 v 30546
43.59/43.63 v 30547
43.59/43.63 v 30549
43.59/43.63 v 30550
43.59/43.63 v 30553
43.59/43.63 v 30555
43.59/43.63 v 30556
43.59/43.63 v 30559
43.59/43.63 v 30563
43.59/43.63 v 30564
43.59/43.63 v 30565
43.59/43.63 v 30569
43.59/43.63 v 30572
43.59/43.63 v 30575
43.59/43.63 v 30578
43.59/43.63 v 30581
43.59/43.63 v 30607
43.59/43.63 v 30609
43.59/43.63 v 30610
43.59/43.63 v 30611
43.59/43.63 v 30614
43.59/43.63 v 30617
43.59/43.63 v 30620
43.59/43.63 v 30623
43.59/43.63 v 30628
43.59/43.63 v 30631
43.59/43.63 v 30634
43.59/43.63 v 30637
43.59/43.63 v 30638
43.59/43.63 v 30640
43.59/43.63 v 30641
43.59/43.63 v 30642
43.59/43.63 v 30644
43.59/43.63 v 30645
43.59/43.63 v 30647
43.59/43.63 v 30648
43.59/43.63 v 30651
43.59/43.63 v 30660
43.59/43.63 v 30662
43.59/43.63 v 30665
43.59/43.63 v 30668
43.59/43.63 v 30671
43.59/43.63 v 30697
43.59/43.63 v 30751
43.59/43.63 v 30805
43.59/43.63 v 30859
43.59/43.63 v 30913
43.59/43.63 v 30966
43.59/43.63 v 30967
43.59/43.63 v 30970
43.59/43.63 v 39679
43.59/43.63 v 39680
43.59/43.63 v 39682
43.59/43.63 v 39683
43.59/43.63 v 39687
43.59/43.63 v 39808
43.59/43.63 v 39810
43.59/43.63 v 39811
43.59/43.63 v 39813
43.59/43.63 v 39814
43.59/43.63 v 39816
43.59/43.63 v 39817
43.59/43.63 v 39819
43.59/43.63 v 39820
43.59/43.63 v 39822
43.59/43.63 v 39823
43.59/43.63 v 39825
43.59/43.63 v 39826
43.59/43.63 v 39828
43.59/43.63 v 39829
43.59/43.63 v 39831
43.59/43.63 v 39832
43.59/43.63 v 39834
43.59/43.63 v 39835
43.59/43.63 v 39839
43.59/43.63 v 39840
43.59/43.63 v 39841
43.59/43.63 v 39844
43.59/43.63 v 39845
43.59/43.63 v 39848
43.59/43.63 v 39851
43.59/43.63 v 39854
43.59/43.63 v 39857
43.59/43.63 v 39860
43.59/43.63 v 39865
43.59/43.63 v 39868
43.59/43.63 v 39871
43.59/43.63 v 39874
43.59/43.63 v 39877
43.59/43.63 v 39878
43.59/43.63 v 39879
43.59/43.63 v 39881
43.59/43.63 v 39882
43.59/43.63 v 39884
43.59/43.63 v 39885
43.59/43.63 v 39888
43.59/43.63 v 39890
43.59/43.63 v 39891
43.59/43.63 v 39894
43.59/43.63 v 39898
43.59/43.63 v 39899
43.59/43.63 v 39900
43.59/43.63 v 39904
43.59/43.63 v 39907
43.59/43.63 v 39910
43.59/43.63 v 39913
43.59/43.63 v 39916
43.59/43.63 v 39919
43.59/43.63 v 39930
43.59/43.63 v 39932
43.59/43.63 v 39933
43.59/43.63 v 39935
43.59/43.63 v 39936
43.59/43.63 v 39938
43.59/43.63 v 39939
43.59/43.63 v 39941
43.59/43.63 v 39942
43.59/43.63 v 39944
43.59/43.63 v 39945
43.59/43.63 v 39947
43.59/43.63 v 39948
43.59/43.63 v 39951
43.59/43.63 v 39953
43.59/43.63 v 39954
43.59/43.63 v 39956
43.59/43.63 v 39960
43.59/43.63 v 39961
43.59/43.63 v 39964
43.59/43.63 v 39967
43.59/43.63 v 39968
43.59/43.63 v 39970
43.59/43.63 v 39971
43.59/43.63 v 39973
43.59/43.63 v 39974
43.59/43.63 v 39976
43.59/43.63 v 39977
43.59/43.63 v 39979
43.59/43.63 v 39984
43.59/43.63 v 39987
43.59/43.63 v 39990
43.59/43.63 v 39993
43.59/43.63 v 39996
43.59/43.63 v 39999
43.59/43.63 v 40001
43.59/43.63 v 40004
43.59/43.63 v 40007
43.59/43.63 v 40010
43.59/43.63 v 40013
43.59/43.63 v 40016
43.59/43.63 v 40019
43.59/43.63 v 40023
43.59/43.63 v 40024
43.59/43.63 v 40025
43.59/43.63 v 40029
43.59/43.63 v 40032
43.59/43.63 v 40035
43.59/43.63 v 40038
43.59/43.63 v 40041
43.59/43.63 v 40044
43.59/43.63 v 40047
43.59/43.63 v 40111
43.59/43.63 v 40125
43.59/43.63 v 40179
43.59/43.63 v 40191
43.59/43.63 v 40236
43.59/43.63 v 40248
43.59/43.63 v 40284
43.59/43.63 v 40296
43.59/43.63 v 40323
43.59/43.63 v 40335
43.59/43.63 v 40353
43.59/43.63 v 40365
43.59/43.63 v 40376
43.59/43.63 v 40377
43.59/43.63 v 40380
43.59/43.63 v 40383
43.59/43.63 v 40386
43.59/43.63 v 40389
43.59/43.63 v 40392
43.59/43.63 v 40395
43.59/43.63 v 40403
43.59/43.63 v 40404
43.59/43.63 v 40406
43.59/43.63 v 40407
43.59/43.63 v 40409
43.59/43.63 v 40410
43.59/43.63 v 40413
43.59/43.63 v 40415
43.59/43.63 v 40416
43.59/43.63 v 40419
43.59/43.63 v 40432
43.59/43.63 v 40435
43.59/43.63 v 40436
43.59/43.63 v 40438
43.59/43.63 v 40439
43.59/43.63 v 40441
43.59/43.63 v 40442
43.59/43.63 v 40445
43.59/43.63 v 40448
43.59/43.63 v 40451
43.59/43.63 v 40492
43.59/43.63 v 40495
43.59/43.63 v 40496
43.59/43.63 v 40498
43.59/43.63 v 40499
43.59/43.63 v 40501
43.59/43.63 v 40502
43.59/43.63 v 40504
43.59/43.63 v 40505
43.59/43.63 v 40507
43.59/43.63 v 40508
43.59/43.63 v 40510
43.59/43.63 v 40511
43.59/43.63 v 40513
43.59/43.63 v 40514
43.59/43.63 v 40518
43.59/43.63 v 40521
43.59/43.63 v 40524
43.59/43.63 v 40527
43.59/43.63 v 40530
43.59/43.63 v 40533
43.59/43.63 v 40536
43.59/43.63 v 40537
43.59/43.63 v 40538
43.59/43.63 v 40540
43.59/43.63 v 40541
43.59/43.63 v 40543
43.59/43.63 v 40545
43.59/43.63 v 40548
43.59/43.63 v 40549
43.59/43.63 v 40551
43.59/43.63 v 40552
43.59/43.63 v 40554
43.59/43.63 v 40555
43.59/43.63 v 40557
43.59/43.63 v 40558
43.59/43.63 v 40560
43.59/43.63 v 40561
43.59/43.63 v 40563
43.59/43.63 v 40564
43.59/43.63 v 40566
43.59/43.63 v 40569
43.59/43.63 v 40570
43.59/43.63 v 40574
43.59/43.63 v 40577
43.59/43.63 v 40580
43.59/43.63 v 40583
43.59/43.63 v 40586
43.59/43.63 v 40589
43.59/43.63 v 40592
43.59/43.63 v 40595
43.59/43.63 v 40596
43.59/43.63 v 40597
43.59/43.63 v 40599
43.59/43.63 v 40600
43.59/43.63 v 40603
43.59/43.63 v 40607
43.59/43.63 v 40611
43.59/43.63 v 40612
43.59/43.63 v 40614
43.59/43.63 v 40615
43.59/43.63 v 40617
43.59/43.63 v 40619
43.59/43.63 v 40622
43.59/43.63 v 40623
43.59/43.63 v 40625
43.59/43.63 v 40626
43.59/43.63 v 40628
43.59/43.63 v 40629
43.59/43.63 v 40631
43.59/43.63 v 40632
43.59/43.63 v 40634
43.59/43.63 v 40635
43.59/43.63 v 40637
43.59/43.63 v 40638
43.59/43.63 v 40642
43.59/43.63 v 40645
43.59/43.63 v 40648
43.59/43.63 v 40651
43.59/43.63 v 40654
43.59/43.63 v 40657
43.59/43.63 v 40658
43.59/43.63 v 40659
43.59/43.63 v 40661
43.59/43.63 v 40662
43.59/43.63 v 40665
43.59/43.63 v 40669
43.59/43.63 v 40671
43.59/43.63 v 40675
43.59/43.63 v 40679
43.59/43.63 v 40680
43.59/43.63 v 40682
43.59/43.63 v 40683
43.59/43.63 v 40685
43.59/43.63 v 40686
43.59/43.63 v 40688
43.59/43.63 v 40690
43.59/43.63 v 40693
43.59/43.63 v 40694
43.59/43.63 v 40696
43.59/43.63 v 40697
43.59/43.63 v 40699
43.59/43.63 v 40700
43.59/43.63 v 40702
43.59/43.63 v 40703
43.59/43.63 v 40705
43.59/43.63 v 40706
43.59/43.63 v 40710
43.59/43.63 v 40713
43.59/43.63 v 40716
43.59/43.63 v 40719
43.59/43.63 v 40722
43.59/43.63 v 40723
43.59/43.63 v 40724
43.59/43.63 v 40726
43.59/43.63 v 40727
43.59/43.63 v 40730
43.59/43.63 v 40734
43.59/43.63 v 40736
43.59/43.63 v 40740
43.59/43.63 v 40742
43.59/43.63 v 40746
43.59/43.63 v 40750
43.59/43.63 v 40751
43.59/43.63 v 40753
43.59/43.63 v 40754
43.59/43.63 v 40756
43.59/43.63 v 40757
43.59/43.63 v 40759
43.59/43.63 v 40760
43.59/43.63 v 40762
43.59/43.63 v 40764
43.59/43.63 v 40767
43.59/43.63 v 40768
43.59/43.63 v 40770
43.59/43.63 v 40771
43.59/43.63 v 40773
43.59/43.63 v 40774
43.59/43.63 v 40776
43.59/43.63 v 40777
43.59/43.63 v 40781
43.59/43.63 v 40784
43.59/43.63 v 40787
43.59/43.63 v 40790
43.59/43.63 v 40791
43.59/43.63 v 40792
43.59/43.63 v 40794
43.59/43.63 v 40795
43.59/43.63 v 40798
43.59/43.63 v 40802
43.59/43.63 v 40804
43.59/43.63 v 40808
43.59/43.63 v 40810
43.59/43.63 v 40814
43.59/43.63 v 40816
43.59/43.63 v 40820
43.59/43.63 v 40824
43.59/43.63 v 40825
43.59/43.63 v 40827
43.59/43.63 v 40828
43.59/43.63 v 40830
43.59/43.63 v 40831
43.59/43.63 v 40833
43.59/43.63 v 40834
43.59/43.63 v 40836
43.59/43.63 v 40837
43.59/43.63 v 40839
43.59/43.63 v 40841
43.59/43.63 v 40844
43.59/43.63 v 40845
43.59/43.63 v 40847
43.59/43.63 v 40848
43.59/43.63 v 40850
43.59/43.63 v 40851
43.59/43.63 v 40855
43.59/43.63 v 40858
43.59/43.63 v 40861
43.59/43.63 v 40862
43.59/43.63 v 40863
43.59/43.63 v 40865
43.59/43.63 v 40866
43.59/43.63 v 40869
43.59/43.63 v 40873
43.59/43.63 v 40875
43.59/43.63 v 40879
43.59/43.63 v 40881
43.59/43.63 v 40885
43.59/43.63 v 40887
43.59/43.63 v 40891
43.59/43.63 v 40893
43.59/43.63 v 40897
43.59/43.63 v 40901
43.59/43.63 v 40902
43.59/43.63 v 40904
43.59/43.63 v 40905
43.59/43.63 v 40907
43.59/43.63 v 40908
43.59/43.63 v 40910
43.59/43.63 v 40911
43.59/43.63 v 40913
43.59/43.63 v 40914
43.59/43.63 v 40916
43.59/43.63 v 40917
43.59/43.63 v 40919
43.59/43.63 v 40921
43.59/43.63 v 40924
43.59/43.63 v 40925
43.59/43.63 v 40927
43.59/43.63 v 40928
43.59/43.63 v 40932
43.59/43.63 v 40935
43.59/43.63 v 40936
43.59/43.63 v 40937
43.59/43.63 v 40939
43.59/43.63 v 40940
43.59/43.63 v 40943
43.59/43.63 v 40947
43.59/43.63 v 40949
43.59/43.63 v 40953
43.59/43.63 v 40955
43.59/43.63 v 40959
43.59/43.63 v 40961
43.59/43.63 v 40965
43.59/43.63 v 40967
43.59/43.63 v 40971
43.59/43.63 v 40973
43.59/43.63 v 40977
43.59/43.63 v 40982
43.59/43.63 v 40985
43.59/43.63 v 40988
43.59/43.63 v 40991
43.59/43.63 v 40994
43.59/43.63 v 40997
43.59/43.63 v 40999
43.59/43.63 v 41003
43.59/43.63 v 41004
43.59/43.63 v 41005
43.59/43.63 v 41009
43.59/43.63 v 41010
43.59/43.63 v 41011
43.59/43.63 v 41015
43.59/43.63 v 41016
43.59/43.63 v 41017
43.59/43.63 v 41021
43.59/43.63 v 41022
43.59/43.63 v 41023
43.59/43.63 v 41027
43.59/43.63 v 41028
43.59/43.63 v 41029
43.59/43.63 v 41033
43.59/43.63 v 41034
43.59/43.63 v 41035
43.59/43.63 v 41039
43.59/43.63 v 42001
43.59/43.63 v 42005
43.59/43.63 v 42009
43.59/43.63 v 42010
43.59/43.63 v 42011
43.59/43.63 v 42013
43.59/43.63 v 42017
43.59/43.63 v 42019
43.59/43.63 v 42023
43.59/43.63 v 42025
43.59/43.63 v 42029
43.59/43.63 v 42031
43.59/43.63 v 42035
43.59/43.63 v 42037
43.59/43.63 v 42041
43.59/43.63 v 42043
43.59/43.63 v 42047
43.59/43.63 v 42049
43.59/43.63 v 42053
43.59/43.63 v 42055
43.59/43.63 v 42059
43.59/43.63 v 42061
43.59/43.63 v 42062
43.59/43.63 v 42063
43.59/43.63 v 42066
43.59/43.63 v 42068
43.59/43.63 v 42130
43.59/43.63 v 42133
43.59/43.63 v 42134
43.59/43.63 v 42136
43.59/43.63 v 42137
43.59/43.63 v 42139
43.59/43.63 v 42140
43.59/43.63 v 42142
43.59/43.63 v 42143
43.59/43.63 v 42145
43.59/43.63 v 42146
43.59/43.63 v 42148
43.59/43.63 v 42149
43.59/43.63 v 42151
43.59/43.63 v 42152
43.59/43.63 v 42156
43.59/43.63 v 42159
43.59/43.63 v 42162
43.59/43.63 v 42165
43.59/43.63 v 42168
43.59/43.63 v 42171
43.59/43.63 v 42174
43.59/43.63 v 42175
43.59/43.63 v 42176
43.59/43.63 v 42178
43.59/43.63 v 42179
43.59/43.63 v 42181
43.59/43.63 v 42183
43.59/43.63 v 42186
43.59/43.63 v 42187
43.59/43.63 v 42189
43.59/43.63 v 42190
43.59/43.63 v 42192
43.59/43.63 v 42193
43.59/43.63 v 42195
43.59/43.63 v 42196
43.59/43.63 v 42198
43.59/43.63 v 42199
43.59/43.63 v 42201
43.59/43.63 v 42202
43.59/43.63 v 42204
43.59/43.63 v 42207
43.59/43.63 v 42208
43.59/43.63 v 42212
43.59/43.63 v 42215
43.59/43.63 v 42218
43.59/43.63 v 42221
43.59/43.63 v 42224
43.59/43.63 v 42227
43.59/43.63 v 42230
43.59/43.63 v 42233
43.59/43.63 v 42234
43.59/43.63 v 42235
43.59/43.63 v 42237
43.59/43.63 v 42238
43.59/43.63 v 42241
43.59/43.63 v 42245
43.59/43.63 v 42249
43.59/43.63 v 42250
43.59/43.63 v 42252
43.59/43.63 v 42253
43.59/43.63 v 42255
43.59/43.63 v 42257
43.59/43.63 v 42260
43.59/43.63 v 42261
43.59/43.63 v 42263
43.59/43.63 v 42264
43.59/43.63 v 42266
43.59/43.63 v 42267
43.59/43.63 v 42269
43.59/43.63 v 42270
43.59/43.63 v 42272
43.59/43.63 v 42273
43.59/43.63 v 42275
43.59/43.63 v 42276
43.59/43.63 v 42280
43.59/43.63 v 42283
43.59/43.63 v 42286
43.59/43.63 v 42289
43.59/43.63 v 42292
43.59/43.63 v 42295
43.59/43.63 v 42296
43.59/43.63 v 42297
43.59/43.63 v 42299
43.59/43.63 v 42300
43.59/43.63 v 42303
43.59/43.63 v 42307
43.59/43.63 v 42309
43.59/43.63 v 42313
43.59/43.63 v 42317
43.59/43.63 v 42318
43.59/43.63 v 42320
43.59/43.63 v 42321
43.59/43.63 v 42323
43.59/43.63 v 42324
43.59/43.63 v 42326
43.59/43.63 v 42328
43.59/43.63 v 42331
43.59/43.63 v 42332
43.59/43.63 v 42334
43.59/43.63 v 42335
43.59/43.63 v 42337
43.59/43.63 v 42338
43.59/43.63 v 42340
43.59/43.63 v 42341
43.59/43.63 v 42343
43.59/43.63 v 42344
43.59/43.63 v 42348
43.59/43.63 v 42351
43.59/43.63 v 42354
43.59/43.63 v 42357
43.59/43.63 v 42360
43.59/43.63 v 42361
43.59/43.63 v 42362
43.59/43.63 v 42364
43.59/43.63 v 42365
43.59/43.63 v 42368
43.59/43.63 v 42372
43.59/43.63 v 42374
43.59/43.63 v 42378
43.59/43.63 v 42380
43.59/43.63 v 42384
43.59/43.63 v 42388
43.59/43.63 v 42389
43.59/43.63 v 42391
43.59/43.63 v 42392
43.59/43.63 v 42394
43.59/43.63 v 42395
43.59/43.63 v 42397
43.59/43.63 v 42398
43.59/43.63 v 42400
43.59/43.63 v 42402
43.59/43.63 v 42405
43.59/43.63 v 42406
43.59/43.63 v 42408
43.59/43.63 v 42409
43.59/43.63 v 42411
43.59/43.63 v 42412
43.59/43.63 v 42414
43.59/43.63 v 42415
43.59/43.63 v 42419
43.59/43.63 v 42422
43.59/43.63 v 42425
43.59/43.63 v 42428
43.59/43.63 v 42429
43.59/43.63 v 42430
43.59/43.63 v 42432
43.59/43.63 v 42433
43.59/43.63 v 42436
43.59/43.63 v 42440
43.59/43.63 v 42442
43.59/43.63 v 42446
43.59/43.63 v 42448
43.59/43.63 v 42452
43.59/43.63 v 42454
43.59/43.63 v 42458
43.59/43.63 v 42462
43.59/43.63 v 42463
43.59/43.63 v 42465
43.59/43.63 v 42466
43.59/43.63 v 42468
43.59/43.63 v 42469
43.59/43.63 v 42471
43.59/43.63 v 42472
43.59/43.63 v 42474
43.59/43.63 v 42475
43.59/43.63 v 42477
43.59/43.63 v 42479
43.59/43.63 v 42482
43.59/43.63 v 42483
43.59/43.63 v 42485
43.59/43.63 v 42486
43.59/43.63 v 42488
43.59/43.63 v 42489
43.59/43.63 v 42493
43.59/43.63 v 42496
43.59/43.63 v 42499
43.59/43.63 v 42500
43.59/43.63 v 42501
43.59/43.63 v 42503
43.59/43.63 v 42504
43.59/43.63 v 42507
43.59/43.63 v 42511
43.59/43.63 v 42513
43.59/43.63 v 42517
43.59/43.63 v 42519
43.59/43.63 v 42523
43.59/43.63 v 42525
43.59/43.63 v 42529
43.59/43.63 v 42531
43.59/43.63 v 42535
43.59/43.63 v 42539
43.59/43.63 v 42540
43.59/43.63 v 42542
43.59/43.63 v 42543
43.59/43.63 v 42545
43.59/43.63 v 42546
43.59/43.63 v 42548
43.59/43.63 v 42549
43.59/43.63 v 42551
43.59/43.63 v 42552
43.59/43.63 v 42554
43.59/43.63 v 42555
43.59/43.63 v 42557
43.59/43.63 v 42559
43.59/43.63 v 42562
43.59/43.63 v 42563
43.59/43.63 v 42565
43.59/43.63 v 42566
43.59/43.63 v 42570
43.59/43.63 v 42573
43.59/43.63 v 42574
43.59/43.63 v 42575
43.59/43.63 v 42577
43.59/43.63 v 42578
43.59/43.63 v 42581
43.59/43.63 v 42585
43.59/43.63 v 42587
43.59/43.63 v 42591
43.59/43.63 v 42593
43.59/43.63 v 42597
43.59/43.63 v 42599
43.59/43.63 v 42603
43.59/43.63 v 42605
43.59/43.63 v 42609
43.59/43.63 v 42611
43.59/43.63 v 42615
43.59/43.63 v 42620
43.59/43.63 v 42623
43.59/43.63 v 42626
43.59/43.63 v 42629
43.59/43.63 v 42632
43.59/43.63 v 42635
43.59/43.63 v 42637
43.59/43.63 v 42641
43.59/43.63 v 42642
43.59/43.63 v 42643
43.59/43.63 v 42647
43.59/43.63 v 42648
43.59/43.63 v 42649
43.59/43.63 v 42653
43.59/43.63 v 42654
43.59/43.63 v 42655
43.59/43.63 v 42659
43.59/43.63 v 42660
43.59/43.63 v 42661
43.59/43.63 v 42665
43.59/43.63 v 42666
43.59/43.63 v 42667
43.59/43.63 v 42671
43.59/43.63 v 42672
43.59/43.63 v 42673
43.59/43.63 v 42677
43.59/43.63 v 43065
43.59/43.63 v 43069
43.59/43.63 v 43073
43.59/43.63 v 43074
43.59/43.63 v 43075
43.59/43.63 v 43077
43.59/43.63 v 43081
43.59/43.63 v 43083
43.59/43.63 v 43087
43.59/43.63 v 43089
43.59/43.63 v 43093
43.59/43.63 v 43095
43.59/43.63 v 43099
43.59/43.63 v 43101
43.59/43.63 v 43105
43.59/43.63 v 43107
43.59/43.63 v 43111
43.59/43.63 v 43113
43.59/43.63 v 43117
43.59/43.63 v 43119
43.59/43.63 v 43123
43.59/43.63 v 43125
43.59/43.63 v 43126
43.59/43.63 v 43127
43.59/43.63 v 43129
43.59/43.63 v 43131
43.59/43.63 v 43132
43.59/43.63 v 43137
43.59/43.63 v 43140
43.59/43.63 v 43143
43.59/43.63 v 43144
43.59/43.63 v 43147
43.59/43.63 v 43149
43.59/43.63 v 43154
43.59/43.63 v 43155
43.59/43.63 v 43156
43.59/43.63 v 43158
43.59/43.63 v 43159
43.59/43.63 v 43162
43.59/43.63 v 43166
43.59/43.63 v 43167
43.59/43.63 v 43168
43.59/43.63 v 43170
43.59/43.63 v 43171
43.59/43.63 v 43174
43.59/43.63 v 43178
43.59/43.63 v 43179
43.59/43.63 v 43180
43.59/43.63 v 43183
43.59/43.63 v 43185
43.59/43.63 v 43186
43.59/43.63 v 43190
43.59/43.63 v 43191
43.59/43.63 v 43192
43.59/43.63 v 43195
43.59/43.63 v 43199
43.59/43.63 v 43200
43.59/43.63 v 43201
43.59/43.63 v 43204
43.59/43.63 v 43208
43.59/43.63 v 43209
43.59/43.63 v 43210
43.59/43.63 v 43213
43.59/43.63 v 43215
43.59/43.63 v 43216
43.59/43.63 v 43220
43.59/43.63 v 43221
43.59/43.63 v 43222
43.59/43.63 v 43225
43.59/43.63 v 43229
43.59/43.63 v 43230
43.59/43.63 v 43231
43.59/43.63 v 43234
43.59/43.63 v 43238
43.59/43.63 v 43239
43.59/43.63 v 43240
43.59/43.63 v 43243
43.59/43.63 v 43245
43.59/43.63 v 43246
43.59/43.63 v 43250
43.59/43.63 v 43251
43.59/43.63 v 43252
43.59/43.63 v 43255
43.59/43.63 v 43259
43.59/43.63 v 43260
43.59/43.63 v 43261
43.59/43.63 v 43264
43.59/43.63 v 43268
43.59/43.63 v 43269
43.59/43.63 v 43270
43.59/43.63 v 43273
43.59/43.63 v 43275
43.59/43.63 v 43276
43.59/43.63 v 43280
43.59/43.63 v 43281
43.59/43.63 v 43282
43.59/43.63 v 43285
43.59/43.63 v 43289
43.59/43.63 v 43290
43.59/43.63 v 43291
43.59/43.63 v 43294
43.59/43.63 v 43298
43.59/43.63 v 43299
43.59/43.63 v 43300
43.59/43.63 v 43303
43.59/43.63 v 43305
43.59/43.63 v 43306
43.59/43.63 v 43310
43.59/43.63 v 43311
43.59/43.63 v 43312
43.59/43.63 v 43315
43.59/43.63 v 43319
43.59/43.63 v 43320
43.59/43.63 v 43321
43.59/43.63 v 43324
43.59/43.63 v 43328
43.59/43.63 v 43329
43.59/43.63 v 43330
43.59/43.63 v 43332
43.59/43.63 v 43333
43.59/43.63 v 43336
43.59/43.63 v 43340
43.59/43.63 v 43341
43.59/43.63 v 43342
43.59/43.63 v 43345
43.59/43.63 v 43349
43.59/43.63 v 43350
43.59/43.63 v 43351
43.59/43.63 v 43354
43.59/43.63 v 43356
43.59/43.63 v 43357
43.59/43.63 v 43361
43.59/43.63 v 43363
43.59/43.63 v 43365
43.59/43.63 v 43366
43.59/43.63 v 43370
43.59/43.63 v 43371
43.59/43.63 v 43372
43.59/43.63 v 43376
43.59/43.63 v 43379
43.59/43.63 v 43382
43.59/43.63 v 43385
43.59/43.63 v 43388
43.59/43.63 v 43391
43.59/43.63 v 43394
43.59/43.63 v 43397
43.59/43.63 v 43398
43.59/43.63 v 43400
43.59/43.63 v 43401
43.59/43.63 v 43403
43.59/43.63 v 43404
43.59/43.63 v 43407
43.59/43.63 v 43408
43.59/43.63 v 0
43.59/43.63 c [picomus] computed 1889 irredundant clauses 4%
43.59/43.63 c [picomus] 125 reductions in 43.6 seconds
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3483782-1307605164/watcher-3483782-1307605164 -o /tmp/evaluation-result-3483782-1307605164/solver-3483782-1307605164 -C 1800 -W 1850 -M 7680 picomus HOME/instance-3483782-1307605164.cnf
running on 2 cores: 1,3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.60 1.54 0.58 4/867 6021
/proc/meminfo: memFree=6993860/32950928 swapFree=41528364/67111528
[pid=6021] ppid=6019 vsize=3108 CPUtime=0.01 cores=1,3
/proc/6021/stat : 6021 (picomus) R 6019 6021 5740 0 -1 4202496 691 0 0 0 1 0 0 0 25 0 1 0 872115062 3182592 646 33554432000 134512640 135072097 4290425504 18446744073709551615 134550208 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6021/statm: 777 646 61 137 0 638 0
[startup+0.0876189 s]
/proc/loadavg: 3.60 1.54 0.58 4/867 6021
/proc/meminfo: memFree=6993860/32950928 swapFree=41528364/67111528
[pid=6021] ppid=6019 vsize=4980 CPUtime=0.08 cores=1,3
/proc/6021/stat : 6021 (picomus) R 6019 6021 5740 0 -1 4202496 1146 0 0 0 8 0 0 0 25 0 1 0 872115062 5099520 1101 33554432000 134512640 135072097 4290425504 18446744073709551615 134520266 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6021/statm: 1245 1101 69 137 0 1106 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4980
[startup+0.100614 s]
/proc/loadavg: 3.60 1.54 0.58 4/867 6021
/proc/meminfo: memFree=6993860/32950928 swapFree=41528364/67111528
[pid=6021] ppid=6019 vsize=4980 CPUtime=0.1 cores=1,3
/proc/6021/stat : 6021 (picomus) R 6019 6021 5740 0 -1 4202496 1151 0 0 0 10 0 0 0 25 0 1 0 872115062 5099520 1106 33554432000 134512640 135072097 4290425504 18446744073709551615 134543446 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6021/statm: 1245 1106 69 137 0 1106 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 4980
[startup+0.300581 s]
/proc/loadavg: 3.60 1.54 0.58 4/867 6021
/proc/meminfo: memFree=6993860/32950928 swapFree=41528364/67111528
[pid=6021] ppid=6019 vsize=3624 CPUtime=0.29 cores=1,3
/proc/6021/stat : 6021 (picomus) R 6019 6021 5740 0 -1 4202496 1898 0 0 0 29 0 0 0 25 0 1 0 872115062 3710976 774 33554432000 134512640 135072097 4290425504 18446744073709551615 134543847 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6021/statm: 906 774 76 137 0 767 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3624
[startup+0.700519 s]
/proc/loadavg: 3.60 1.54 0.58 4/867 6021
/proc/meminfo: memFree=6993860/32950928 swapFree=41528364/67111528
[pid=6021] ppid=6019 vsize=3624 CPUtime=0.69 cores=1,3
/proc/6021/stat : 6021 (picomus) R 6019 6021 5740 0 -1 4202496 3965 0 0 0 69 0 0 0 25 0 1 0 872115062 3710976 774 33554432000 134512640 135072097 4290425504 18446744073709551615 134521984 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6021/statm: 906 774 76 137 0 767 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3624
[startup+1.50038 s]
/proc/loadavg: 3.60 1.54 0.58 5/868 6022
/proc/meminfo: memFree=6986184/32950928 swapFree=41528364/67111528
[pid=6021] ppid=6019 vsize=8344 CPUtime=1.49 cores=1,3
/proc/6021/stat : 6021 (picomus) R 6019 6021 5740 0 -1 4202496 6622 0 0 0 149 0 0 0 25 0 1 0 872115062 8544256 1969 33554432000 134512640 135072097 4290425504 18446744073709551615 134549174 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6021/statm: 2086 1969 77 137 0 1947 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8344
[startup+3.10011 s]
/proc/loadavg: 3.63 1.58 0.59 5/868 6022
/proc/meminfo: memFree=6985936/32950928 swapFree=41528364/67111528
[pid=6021] ppid=6019 vsize=8476 CPUtime=3.09 cores=1,3
/proc/6021/stat : 6021 (picomus) R 6019 6021 5740 0 -1 4202496 6636 0 0 0 309 0 0 0 25 0 1 0 872115062 8679424 1983 33554432000 134512640 135072097 4290425504 18446744073709551615 134549123 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6021/statm: 2119 1983 77 137 0 1980 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8476
[startup+6.30058 s]
/proc/loadavg: 3.63 1.58 0.59 5/868 6022
/proc/meminfo: memFree=6985788/32950928 swapFree=41528364/67111528
[pid=6021] ppid=6019 vsize=8476 CPUtime=6.29 cores=1,3
/proc/6021/stat : 6021 (picomus) R 6019 6021 5740 0 -1 4202496 6641 0 0 0 629 0 0 0 25 0 1 0 872115062 8679424 1988 33554432000 134512640 135072097 4290425504 18446744073709551615 134583966 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6021/statm: 2119 1988 77 137 0 1980 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8476
[startup+12.7005 s]
/proc/loadavg: 3.68 1.66 0.63 5/868 6022
/proc/meminfo: memFree=6979120/32950928 swapFree=41528364/67111528
[pid=6021] ppid=6019 vsize=10592 CPUtime=12.7 cores=1,3
/proc/6021/stat : 6021 (picomus) R 6019 6021 5740 0 -1 4202496 7170 0 0 0 1269 1 0 0 25 0 1 0 872115062 10846208 2516 33554432000 134512640 135072097 4290425504 18446744073709551615 134518239 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6021/statm: 2648 2516 77 137 0 2509 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 10592
[startup+25.5003 s]
/proc/loadavg: 3.73 1.73 0.66 5/868 6022
/proc/meminfo: memFree=6979124/32950928 swapFree=41528364/67111528
[pid=6021] ppid=6019 vsize=11384 CPUtime=25.49 cores=1,3
/proc/6021/stat : 6021 (picomus) R 6019 6021 5740 0 -1 4202496 7354 0 0 0 2548 1 0 0 25 0 1 0 872115062 11657216 2700 33554432000 134512640 135072097 4290425504 18446744073709551615 134585038 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6021/statm: 2846 2700 77 137 0 2707 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 11384
Solver just ended. Dumping a history of the last processes samples
[startup+31.9243 s]
/proc/loadavg: 3.77 1.81 0.70 5/868 6022
/proc/meminfo: memFree=6979688/32950928 swapFree=41528364/67111528
[pid=6021] ppid=6019 vsize=11384 CPUtime=31.91 cores=1,3
/proc/6021/stat : 6021 (picomus) R 6019 6021 5740 0 -1 4202496 7354 0 0 0 3190 1 0 0 25 0 1 0 872115062 11657216 2700 33554432000 134512640 135072097 4290425504 18446744073709551615 134548955 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6021/statm: 2846 2700 77 137 0 2707 0
Current children cumulated CPU time (s) 31.91
Current children cumulated vsize (KiB) 11384
[startup+38.3002 s]
/proc/loadavg: 3.79 1.84 0.72 5/868 6022
/proc/meminfo: memFree=6977836/32950928 swapFree=41528364/67111528
[pid=6021] ppid=6019 vsize=11384 CPUtime=38.29 cores=1,3
/proc/6021/stat : 6021 (picomus) R 6019 6021 5740 0 -1 4202496 7354 0 0 0 3828 1 0 0 25 0 1 0 872115062 11657216 2700 33554432000 134512640 135072097 4290425504 18446744073709551615 134549174 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6021/statm: 2846 2700 77 137 0 2707 0
Current children cumulated CPU time (s) 38.29
Current children cumulated vsize (KiB) 11384
[startup+41.5007 s]
/proc/loadavg: 3.79 1.84 0.72 5/868 6023
/proc/meminfo: memFree=6977832/32950928 swapFree=41528364/67111528
[pid=6021] ppid=6019 vsize=11384 CPUtime=41.49 cores=1,3
/proc/6021/stat : 6021 (picomus) R 6019 6021 5740 0 -1 4202496 7354 0 0 0 4147 2 0 0 25 0 1 0 872115062 11657216 2700 33554432000 134512640 135072097 4290425504 18446744073709551615 134518179 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6021/statm: 2846 2700 77 137 0 2707 0
Current children cumulated CPU time (s) 41.49
Current children cumulated vsize (KiB) 11384
[startup+42.3005 s]
/proc/loadavg: 3.81 1.88 0.74 5/868 6023
/proc/meminfo: memFree=6977088/32950928 swapFree=41528364/67111528
[pid=6021] ppid=6019 vsize=11384 CPUtime=42.29 cores=1,3
/proc/6021/stat : 6021 (picomus) R 6019 6021 5740 0 -1 4202496 7354 0 0 0 4227 2 0 0 25 0 1 0 872115062 11657216 2700 33554432000 134512640 135072097 4290425504 18446744073709551615 134583966 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6021/statm: 2846 2700 77 137 0 2707 0
Current children cumulated CPU time (s) 42.29
Current children cumulated vsize (KiB) 11384
[startup+43.1004 s]
/proc/loadavg: 3.81 1.88 0.74 5/868 6023
/proc/meminfo: memFree=6977584/32950928 swapFree=41528364/67111528
[pid=6021] ppid=6019 vsize=11384 CPUtime=43.09 cores=1,3
/proc/6021/stat : 6021 (picomus) R 6019 6021 5740 0 -1 4202496 7354 0 0 0 4307 2 0 0 25 0 1 0 872115062 11657216 2700 33554432000 134512640 135072097 4290425504 18446744073709551615 134585057 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6021/statm: 2846 2700 77 137 0 2707 0
Current children cumulated CPU time (s) 43.09
Current children cumulated vsize (KiB) 11384
[startup+43.5003 s]
/proc/loadavg: 3.81 1.88 0.74 5/868 6023
/proc/meminfo: memFree=6977584/32950928 swapFree=41528364/67111528
[pid=6021] ppid=6019 vsize=11384 CPUtime=43.49 cores=1,3
/proc/6021/stat : 6021 (picomus) R 6019 6021 5740 0 -1 4202496 7354 0 0 0 4347 2 0 0 25 0 1 0 872115062 11657216 2700 33554432000 134512640 135072097 4290425504 18446744073709551615 134518236 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6021/statm: 2846 2700 77 137 0 2707 0
Current children cumulated CPU time (s) 43.49
Current children cumulated vsize (KiB) 11384
[startup+43.6003 s]
/proc/loadavg: 3.81 1.88 0.74 5/868 6023
/proc/meminfo: memFree=6977584/32950928 swapFree=41528364/67111528
[pid=6021] ppid=6019 vsize=11384 CPUtime=43.59 cores=1,3
/proc/6021/stat : 6021 (picomus) R 6019 6021 5740 0 -1 4202496 7354 0 0 0 4357 2 0 0 25 0 1 0 872115062 11657216 2700 33554432000 134512640 135072097 4290425504 18446744073709551615 134585038 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6021/statm: 2846 2700 77 137 0 2707 0
Current children cumulated CPU time (s) 43.59
Current children cumulated vsize (KiB) 11384
Child status: 20
Real time (s): 43.6334
CPU time (s): 43.6304
CPU user time (s): 43.6064
CPU system time (s): 0.023996
CPU usage (%): 99.9931
Max. virtual memory (cumulated for all children) (KiB): 11384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.6064
system time used= 0.023996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7355
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 102
runsolver used 0.25996 second user time and 0.676897 second system time
The end
Begin job on node126 at 2011-06-09 09:39:24
IDJOB=3483782
IDBENCH=89526
IDSOLVER=1974
FILE ID=node126/3483782-1307605164
RUNJOBID= node126-1307605010-5760
PBS_JOBID= 13547763
Free space on /tmp= 73344 MiB
SOLVER NAME= PicoMUS 941
BENCH NAME= SAT11/mus/marques-silva/hardware-verification/ooo.tag10.ucl.sat.chaff.4.1.bryant.cnf
COMMAND LINE= picomus BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3483782-1307605164/watcher-3483782-1307605164 -o /tmp/evaluation-result-3483782-1307605164/solver-3483782-1307605164 -C 1800 -W 1850 -M 7680 picomus HOME/instance-3483782-1307605164.cnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 138099e0ba7695fd1e4ae2a24d590b99
RANDOM SEED=397280931
node126.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.783
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.56
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.783
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.783
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.783
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.783
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.80
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.783
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.783
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.783
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 6994124 kB
Buffers: 176152 kB
Cached: 912992 kB
SwapCached: 15344 kB
Active: 25365828 kB
Inactive: 219672 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 6994124 kB
SwapTotal: 67111528 kB
SwapFree: 41528364 kB
Dirty: 89776 kB
Writeback: 0 kB
AnonPages: 24493904 kB
Mapped: 120184 kB
Slab: 145560 kB
PageTables: 149948 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 206782932 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73344 MiB
End job on node126 at 2011-06-09 09:40:07