0.00/0.00	c solving HOME/instance-4436362-1721110467.opb (Picat 3.6#12)
0.68/0.79	o 30
1.58/1.64	o 29
4.28/4.37	o 21
100.83/101.16	o 20
100.83/101.17	s OPTIMUM FOUND
100.83/101.17	v ~x56 ~x3750 ~x949 ~x2847 ~x4746 ~x1907 ~x57 ~x3751 ~x950 ~x2848 
100.83/101.17	v ~x4747 ~x1908 ~x59 ~x3752 ~x951 ~x2849 ~x4748 ~x1910 ~x60 ~x3753 
100.83/101.17	v ~x952 ~x2850 ~x4749 ~x1911 ~x62 ~x3755 x954 ~x2851 ~x4750 ~x1912 
100.83/101.17	v ~x63 ~x3757 ~x955 ~x2852 ~x4751 ~x1913 ~x65 ~x3758 ~x956 ~x2853 
100.83/101.17	v ~x4752 ~x1914 ~x66 ~x3759 ~x957 ~x2854 ~x4753 ~x1915 ~x68 ~x3760 
100.83/101.17	v ~x958 ~x2855 ~x4754 ~x1916 ~x69 ~x3761 ~x959 ~x2856 ~x4755 ~x1917 
100.83/101.17	v ~x71 ~x3762 ~x960 ~x2857 ~x4757 ~x1918 ~x73 ~x3763 ~x961 ~x2858 
100.83/101.17	v ~x4758 ~x1919 ~x72 ~x3764 x962 ~x2859 ~x4759 ~x1920 ~x74 ~x3765 
100.83/101.17	v ~x963 ~x2860 ~x4760 ~x1922 ~x76 ~x3766 ~x964 ~x2861 ~x4761 ~x1923 
100.83/101.17	v ~x75 ~x3767 ~x965 ~x2862 ~x4762 ~x1924 ~x77 ~x3769 ~x966 ~x2863 
100.83/101.17	v ~x4763 ~x1925 ~x79 ~x3771 ~x967 ~x2864 ~x4764 ~x1926 ~x78 ~x3772 
100.83/101.17	v ~x968 ~x2865 ~x4765 ~x1927 ~x80 ~x3773 ~x969 ~x2866 ~x4766 ~x1928 
100.83/101.17	v ~x82 ~x3774 ~x970 ~x2867 ~x4767 ~x1929 ~x81 ~x3775 ~x971 ~x2868 
100.83/101.17	v ~x4768 ~x1930 ~x83 ~x3776 ~x972 ~x2869 ~x4769 ~x1931 ~x85 ~x3777 
100.83/101.17	v ~x973 ~x2871 ~x4770 ~x1932 ~x84 ~x3778 ~x974 ~x2872 ~x4771 ~x1934 
100.83/101.17	v ~x86 ~x3779 ~x975 ~x2873 ~x4772 ~x1935 ~x88 ~x3780 ~x976 ~x2874 
100.83/101.17	v ~x4773 ~x1936 ~x87 ~x3781 ~x977 ~x2875 ~x4774 ~x1937 ~x89 x3783 
100.83/101.17	v ~x978 ~x2876 ~x4775 ~x1938 ~x91 ~x3785 ~x979 ~x2877 ~x4776 ~x1939 
100.83/101.17	v ~x90 ~x3786 x981 ~x2878 ~x4777 ~x1940 ~x92 ~x3787 ~x982 ~x2879 
100.83/101.17	v ~x4778 ~x1941 ~x94 ~x3788 ~x983 ~x2880 ~x4779 ~x1942 ~x93 ~x3789 
100.83/101.17	v ~x984 ~x2881 ~x4780 ~x1943 ~x95 ~x3790 ~x985 ~x2882 ~x4781 ~x1944 
100.83/101.17	v ~x97 ~x3791 ~x986 ~x2883 ~x4782 ~x1946 ~x96 ~x3792 ~x987 ~x2884 
100.83/101.17	v ~x4784 ~x1947 ~x98 ~x3793 ~x988 ~x2885 ~x4785 ~x1948 ~x100 ~x3794 
100.83/101.17	v ~x989 ~x2886 ~x4786 ~x1949 ~x99 ~x3795 ~x990 ~x2887 ~x4787 ~x1950 
100.83/101.17	v ~x101 ~x3797 ~x991 ~x2888 ~x4788 ~x1951 ~x103 ~x3799 ~x992 ~x2889 
100.83/101.17	v ~x4789 ~x1952 ~x102 ~x3800 ~x993 ~x2890 ~x4790 ~x1953 ~x104 ~x3801 
100.83/101.17	v ~x994 ~x2891 ~x4791 ~x1954 ~x106 ~x3802 ~x995 ~x2892 ~x4792 ~x1955 
100.83/101.17	v ~x105 ~x3803 ~x996 ~x2893 ~x4793 ~x1956 ~x107 ~x3804 ~x997 ~x2894 
100.83/101.17	v ~x4794 ~x1958 ~x109 ~x3805 ~x998 ~x2895 ~x4795 ~x1959 ~x108 ~x3806 
100.83/101.17	v ~x999 ~x2896 ~x4796 ~x1960 ~x110 ~x3807 ~x1000 ~x2898 ~x4797 ~x1961 
100.83/101.17	v x112 ~x3808 ~x1001 ~x2899 ~x4798 ~x1962 ~x111 ~x3809 ~x1002 ~x2900 
100.83/101.17	v ~x4799 ~x1963 ~x113 x3811 ~x1003 ~x2901 ~x4800 ~x1964 ~x115 ~x3813 
100.83/101.17	v ~x1004 ~x2902 ~x4801 ~x1965 ~x114 ~x3814 ~x1005 ~x2903 ~x4802 ~x1966 
100.83/101.17	v ~x116 ~x3815 ~x1006 ~x2904 ~x4803 ~x1967 ~x118 ~x3816 ~x1008 ~x2905 
100.83/101.17	v ~x4804 ~x1968 ~x117 ~x3817 ~x1009 ~x2906 ~x4805 x1970 ~x119 ~x3818 
100.83/101.17	v ~x1010 ~x2907 ~x4806 ~x1971 ~x121 ~x3819 ~x1011 ~x2908 ~x4807 ~x1972 
100.83/101.17	v ~x120 ~x3820 ~x1012 ~x2909 ~x4808 ~x1973 ~x122 ~x3821 ~x1013 ~x2910 
100.83/101.17	v ~x4809 ~x1974 ~x124 ~x3822 ~x1014 ~x2911 ~x4811 ~x1975 ~x123 ~x3823 
100.83/101.17	v ~x1015 ~x2912 ~x4812 ~x1976 x125 x3825 ~x1016 ~x2913 ~x4813 ~x1977 
100.83/101.17	v ~x127 ~x3827 ~x1017 ~x2914 ~x4814 ~x1978 ~x126 ~x3828 ~x1018 ~x2915 
100.83/101.17	v ~x4815 x1979 ~x128 ~x3829 ~x1019 ~x2916 ~x4816 ~x1980 ~x130 ~x3830 
100.83/101.17	v ~x1020 ~x2917 ~x4817 ~x1982 ~x129 ~x3831 ~x1021 ~x2918 ~x4818 ~x1983 
100.83/101.17	v ~x131 ~x3832 ~x1022 ~x2919 ~x4819 ~x1984 ~x133 ~x3833 ~x1023 ~x2920 
100.83/101.17	v ~x4820 ~x1985 ~x132 ~x3834 ~x1024 ~x2921 ~x4821 ~x1986 ~x134 ~x3835 
100.83/101.17	v ~x1025 ~x2922 ~x4822 ~x1987 ~x136 ~x3836 ~x1026 ~x2923 ~x4823 ~x1988 
100.83/101.17	v ~x135 ~x3837 ~x1027 ~x2925 ~x4824 ~x1989 ~x137 ~x3839 ~x1028 ~x2926 
100.83/101.17	v ~x4825 ~x1990 ~x139 ~x3841 ~x1029 ~x2927 ~x4826 ~x1991 ~x138 ~x3842 
100.83/101.17	v ~x1030 ~x2928 ~x4827 ~x1992 ~x140 ~x3843 ~x1031 ~x2929 ~x4828 ~x1994 
100.83/101.17	v ~x142 ~x3844 ~x1032 ~x2930 ~x4829 ~x1995 ~x141 ~x3845 ~x1033 ~x2931 
100.83/101.17	v ~x4830 ~x1996 ~x143 ~x3846 ~x1035 ~x2932 ~x4831 ~x1997 ~x145 ~x3847 
100.83/101.17	v ~x1036 ~x2933 ~x4832 ~x1998 ~x144 ~x3848 ~x1037 ~x2934 ~x4833 ~x1999 
100.83/101.17	v ~x146 ~x3849 ~x1038 ~x2935 ~x4834 ~x2000 ~x148 ~x3850 ~x1039 ~x2936 
100.83/101.17	v ~x4835 ~x2001 ~x147 ~x3851 ~x1040 ~x2937 ~x4836 ~x2002 ~x149 ~x3853 
100.83/101.17	v ~x1041 ~x2938 ~x4838 ~x2003 ~x151 ~x3855 ~x1042 ~x2939 ~x4839 ~x2004 
100.83/101.17	v ~x150 ~x3856 ~x1043 ~x2940 ~x4840 ~x2006 ~x152 ~x3857 ~x1044 ~x2941 
100.83/101.17	v ~x4841 ~x2007 ~x154 ~x3858 ~x1045 ~x2942 ~x4842 ~x2008 ~x153 ~x3859 
100.83/101.17	v ~x1046 ~x2943 ~x4843 ~x2009 ~x155 ~x3860 ~x1047 ~x2944 ~x4844 ~x2010 
100.83/101.17	v ~x157 ~x3861 ~x1048 ~x2945 ~x4845 ~x2011 ~x156 ~x3862 ~x1049 ~x2946 
100.83/101.17	v ~x4846 ~x2012 ~x158 ~x3863 ~x1050 ~x2947 ~x4847 ~x2013 ~x160 ~x3864 
100.83/101.17	v ~x1051 ~x2948 ~x4848 ~x2014 ~x159 ~x3865 ~x1052 ~x2949 ~x4850 ~x2015 
100.83/101.17	v ~x161 ~x3867 ~x1053 ~x2950 ~x4851 ~x2016 ~x163 ~x3869 ~x1054 ~x2952 
100.83/101.17	v ~x4852 ~x2018 ~x162 ~x3870 ~x1055 ~x2953 ~x4853 ~x2019 ~x164 ~x3871 
100.83/101.17	v ~x1056 ~x2954 ~x4854 ~x2020 ~x166 ~x3872 ~x1057 ~x2955 ~x4855 ~x2021 
100.83/101.17	v ~x165 ~x3873 ~x1058 ~x2956 ~x4856 ~x2022 ~x167 ~x3874 ~x1059 ~x2957 
100.83/101.17	v ~x4857 ~x2023 ~x169 ~x3875 ~x1060 ~x2958 ~x4858 ~x2024 ~x168 ~x3876 
100.83/101.17	v x1062 ~x2959 ~x4859 ~x2025 ~x170 ~x3877 ~x1063 ~x2960 ~x4860 ~x2026 
100.83/101.17	v ~x172 ~x3878 ~x1064 ~x2961 ~x4862 ~x2027 ~x171 ~x3879 ~x1065 ~x2962 
100.83/101.17	v ~x4863 ~x2028 ~x173 x3881 ~x1066 ~x2963 ~x4864 ~x2030 ~x175 ~x3883 
100.83/101.17	v ~x1067 ~x2964 ~x4865 ~x2031 ~x174 ~x3884 ~x1068 ~x2965 ~x4866 ~x2032 
100.83/101.17	v ~x176 ~x3885 ~x1069 ~x2966 ~x4867 ~x2033 ~x2 ~x3886 ~x1070 ~x2967 
100.83/101.17	v ~x4868 ~x2034 ~x3 ~x3887 ~x1071 ~x2968 ~x4869 ~x2035 ~x4 ~x3888 
100.83/101.17	v ~x1072 ~x2969 ~x4870 ~x2036 ~x5 ~x3889 ~x1073 ~x2970 ~x4871 ~x2037 
100.83/101.17	v ~x6 ~x3890 ~x1074 ~x2971 ~x4872 ~x2038 ~x7 ~x3891 ~x1075 ~x2972 
100.83/101.17	v x4874 ~x2039 ~x8 ~x3892 ~x1076 ~x2973 ~x4875 ~x2040 ~x185 ~x3893 
100.83/101.17	v ~x1077 ~x2974 ~x4876 ~x2042 ~x187 x3895 ~x1078 ~x2975 ~x4877 ~x2043 
100.83/101.17	v ~x188 x3897 ~x1079 ~x2976 ~x4878 ~x2044 ~x190 ~x3898 ~x1080 ~x2977 
100.83/101.17	v ~x4879 ~x2045 ~x191 ~x3899 ~x1081 x2979 ~x4880 ~x2046 ~x193 ~x3900 
100.83/101.17	v ~x1082 ~x2980 ~x4881 ~x2047 ~x194 ~x3901 ~x1083 ~x2981 ~x4882 ~x2048 
100.83/101.17	v ~x196 ~x3902 ~x1084 ~x2982 x4883 ~x2049 ~x197 ~x3903 ~x1085 ~x2983 
100.83/101.17	v ~x4884 ~x2050 ~x199 ~x3904 ~x1086 ~x2984 ~x4886 ~x2051 ~x200 ~x3905 
100.83/101.17	v ~x1087 ~x2985 ~x4887 ~x2052 ~x202 ~x3906 ~x1089 ~x2986 ~x4888 ~x2054 
100.83/101.17	v ~x203 ~x3907 ~x1090 ~x2987 ~x4889 ~x2056 ~x205 x3909 ~x1091 ~x2988 
100.83/101.17	v ~x4890 ~x2057 ~x206 ~x3911 ~x1092 ~x2989 ~x4891 ~x2058 ~x208 ~x3912 
100.83/101.17	v ~x1093 ~x2990 ~x4892 ~x2059 ~x209 ~x3913 ~x1094 ~x2991 ~x4893 ~x2061 
100.83/101.17	v ~x210 ~x3914 ~x1095 ~x2992 ~x4894 ~x2063 ~x211 ~x3915 ~x1096 x2993 
100.83/101.17	v ~x4895 ~x2064 ~x213 ~x3916 ~x1097 ~x2994 ~x4896 ~x2065 ~x214 ~x3917 
100.83/101.17	v ~x1098 ~x2995 ~x4898 ~x2066 ~x216 ~x3918 ~x1099 ~x2996 ~x4899 x2068 
100.83/101.17	v ~x217 ~x3919 ~x1100 ~x2997 ~x4900 ~x2070 ~x218 ~x3920 ~x1101 ~x2998 
100.83/101.17	v ~x4901 ~x2071 ~x219 ~x3921 ~x1102 ~x2999 ~x4902 ~x2072 ~x221 x3923 
100.83/101.17	v ~x1103 ~x3000 ~x4903 ~x2073 ~x222 x3925 ~x1104 ~x3001 ~x4904 ~x2075 
100.83/101.17	v ~x224 ~x3926 ~x1105 ~x3002 ~x4905 ~x2077 ~x225 ~x3927 ~x1106 ~x3003 
100.83/101.17	v ~x4906 ~x2078 x227 ~x3928 ~x1107 ~x3004 ~x4907 ~x2079 ~x228 ~x3929 
100.83/101.17	v ~x1108 ~x3006 ~x4908 ~x2080 ~x230 ~x3930 ~x1109 ~x3007 x4910 ~x2082 
100.83/101.17	v ~x231 ~x3931 ~x1110 ~x3008 ~x4911 ~x2084 ~x233 ~x3932 ~x1111 ~x3009 
100.83/101.17	v ~x4912 ~x2085 ~x234 ~x3933 ~x1112 ~x3010 ~x4913 ~x2086 ~x235 ~x3934 
100.83/101.17	v ~x1113 ~x3011 ~x4914 ~x2087 ~x236 ~x3935 ~x1114 ~x3012 ~x4915 ~x2089 
100.83/101.17	v ~x238 x3937 ~x1116 ~x3013 ~x4916 ~x2091 ~x239 ~x3939 ~x1117 ~x3014 
100.83/101.17	v ~x4917 ~x2092 ~x241 ~x3940 ~x1118 ~x3015 ~x4918 ~x2093 ~x242 ~x3941 
100.83/101.17	v ~x1119 ~x3016 ~x4919 ~x2094 ~x244 ~x3942 ~x1120 ~x3017 ~x4920 ~x2096 
100.83/101.17	v ~x246 ~x3943 ~x1121 ~x3018 ~x4922 ~x2098 ~x245 ~x3944 ~x1122 ~x3019 
100.83/101.17	v ~x4923 ~x2099 ~x247 ~x3945 ~x1123 ~x3020 ~x4924 ~x2100 ~x249 ~x3946 
100.83/101.17	v ~x1124 ~x3021 ~x4925 ~x2101 ~x248 ~x3947 ~x1125 ~x3022 ~x4926 ~x2103 
100.83/101.17	v ~x250 ~x3948 ~x1126 ~x3023 ~x4927 ~x2105 x252 ~x3949 ~x1128 ~x3024 
100.83/101.17	v ~x4928 ~x2106 ~x251 x3951 ~x1129 ~x3025 ~x4929 ~x2107 ~x253 ~x3953 
100.83/101.17	v ~x1130 ~x3026 ~x4930 ~x2108 ~x255 ~x3954 ~x1131 ~x3027 ~x4931 ~x2110 
100.83/101.17	v ~x254 ~x3955 ~x1132 ~x3028 ~x4932 x2112 ~x256 ~x3956 ~x1133 ~x3029 
100.83/101.17	v ~x4934 ~x2113 ~x258 ~x3957 ~x1134 ~x3030 ~x4935 x2114 ~x257 ~x3958 
100.83/101.17	v ~x1135 ~x3031 ~x4936 ~x2115 ~x259 ~x3959 ~x1136 ~x3033 ~x4937 ~x2117 
100.83/101.17	v ~x261 ~x3960 ~x1137 ~x3034 ~x4938 ~x2119 ~x260 ~x3961 ~x1138 ~x3035 
100.83/101.17	v ~x4939 ~x2120 ~x262 ~x3962 ~x1140 ~x3036 ~x4940 ~x2121 ~x264 ~x3963 
100.83/101.17	v ~x1141 ~x3037 ~x4941 ~x2122 ~x263 x3965 ~x1142 ~x3038 ~x4942 x2124 
100.83/101.17	v ~x265 ~x3967 ~x1143 ~x3039 ~x4943 ~x2126 ~x267 ~x3968 ~x1144 ~x3040 
100.83/101.17	v ~x4944 ~x2127 ~x266 ~x3969 ~x1145 ~x3041 x4946 ~x2128 ~x268 ~x3970 
100.83/101.17	v ~x1146 ~x3042 ~x4947 ~x2129 ~x270 ~x3971 ~x1147 ~x3043 ~x4948 ~x2131 
100.83/101.17	v ~x269 ~x3972 ~x1148 ~x3044 ~x4949 ~x2133 ~x271 ~x3973 ~x1149 ~x3045 
100.83/101.17	v ~x4950 ~x2134 ~x273 ~x3974 ~x1150 ~x3046 ~x4951 ~x2135 ~x272 ~x3975 
100.83/101.17	v ~x1152 ~x3047 ~x4952 ~x2136 x1 ~x274 ~x3976 ~x1153 ~x3048 ~x4953 
100.83/101.17	v ~x2138 x177 ~x276 ~x3977 ~x1154 ~x3049 ~x4954 ~x2140 x350 ~x275 
100.83/101.17	v ~x3979 ~x1155 ~x3050 ~x4955 ~x2141 x700 ~x277 ~x3981 ~x1156 ~x3051 
100.83/101.17	v ~x4956 ~x2142 x857 ~x279 ~x3982 ~x1157 ~x3052 ~x4958 ~x2143 ~x926 
100.83/101.17	v ~x278 ~x3983 ~x1158 ~x3053 ~x4959 ~x2145 ~x953 ~x280 ~x3984 ~x1159 
100.83/101.17	v ~x3054 ~x4960 ~x2147 ~x980 ~x282 ~x3985 ~x1160 ~x3055 ~x4961 ~x2148 
100.83/101.17	v ~x1007 ~x281 ~x3986 ~x1161 ~x3056 ~x4962 ~x2149 ~x1034 ~x283 ~x3987 
100.83/101.17	v ~x1162 ~x3057 ~x4963 ~x2150 ~x1061 ~x285 ~x3988 ~x1164 ~x3058 ~x4964 
100.83/101.17	v ~x2152 ~x1088 ~x284 ~x1165 ~x3060 ~x4965 ~x2154 ~x10 ~x286 ~x1166 
100.83/101.17	v ~x3061 ~x4966 ~x2155 ~x3989 ~x1115 ~x288 ~x1167 ~x3062 ~x4967 ~x2156 
100.83/101.17	v ~x3990 ~x13 ~x287 ~x1168 ~x3063 ~x4968 ~x2157 ~x3991 ~x1127 ~x289 
100.83/101.17	v ~x1169 ~x3064 ~x4970 ~x2159 x3993 ~x16 ~x291 ~x1170 ~x3065 ~x4971 
100.83/101.17	v ~x2161 x3995 ~x1139 ~x290 ~x1171 ~x3066 ~x4972 ~x2162 ~x3996 ~x19 
100.83/101.17	v ~x292 ~x1172 ~x3067 ~x4973 ~x2163 ~x3997 ~x1151 ~x294 ~x1173 ~x3068 
100.83/101.17	v ~x4974 ~x2164 ~x3998 ~x22 ~x293 ~x1174 ~x3069 ~x4975 x2166 ~x3999 
100.83/101.17	v ~x1163 ~x295 ~x1176 ~x3070 ~x4976 ~x2168 ~x4000 ~x25 ~x297 ~x1177 
100.83/101.17	v ~x3071 ~x4977 ~x2169 ~x4001 ~x1175 ~x296 ~x1178 ~x3072 ~x4978 ~x2170 
100.83/101.17	v ~x4002 ~x28 ~x298 ~x1179 ~x3073 ~x4979 ~x2171 ~x4003 ~x1187 ~x300 
100.83/101.17	v ~x1180 ~x3074 ~x4980 ~x2173 ~x4004 ~x31 ~x299 ~x1181 ~x3075 ~x4982 
100.83/101.17	v ~x2175 ~x4005 ~x1199 ~x301 ~x1182 ~x3076 ~x4983 ~x2176 ~x4007 ~x34 
100.83/101.17	v ~x303 ~x1183 ~x3077 ~x4984 ~x2177 ~x4009 ~x1211 ~x302 ~x1184 ~x3078 
100.83/101.17	v ~x4985 ~x2178 ~x4010 ~x37 ~x304 ~x1185 ~x3079 ~x4986 ~x2180 ~x4011 
100.83/101.17	v ~x1223 ~x306 ~x1186 ~x3080 ~x4987 ~x2182 ~x4012 x40 ~x305 x1188 
100.83/101.17	v ~x3081 ~x4988 ~x2183 ~x4013 ~x1235 ~x307 ~x1189 ~x3082 ~x4989 ~x2184 
100.83/101.17	v ~x4014 ~x43 ~x309 ~x1190 ~x3083 ~x4990 ~x2185 ~x4015 ~x1247 ~x308 
100.83/101.17	v ~x1191 ~x3084 ~x4991 x2187 ~x4016 ~x46 ~x310 ~x1192 ~x3085 ~x4992 
100.83/101.17	v ~x2189 ~x4017 ~x1259 ~x312 ~x1193 ~x3087 x4994 ~x2190 ~x4018 x49 
100.83/101.17	v ~x311 ~x1194 ~x3088 ~x4995 ~x2191 ~x4019 x1271 ~x313 ~x1195 ~x3089 
100.83/101.17	v ~x4996 ~x2192 ~x4021 ~x52 ~x315 ~x1196 ~x3090 ~x4997 x2194 ~x4023 
100.83/101.17	v ~x1283 ~x314 ~x1197 ~x3091 ~x4998 ~x2196 ~x4024 ~x55 ~x316 ~x1198 
100.83/101.17	v ~x3092 ~x4999 ~x2197 ~x4025 ~x1295 ~x318 x1200 ~x3093 ~x5000 ~x2198 
100.83/101.17	v ~x4026 ~x58 ~x317 ~x1201 ~x3094 ~x5001 ~x2199 ~x4027 ~x1307 ~x319 
100.83/101.17	v ~x1202 ~x3095 ~x5002 ~x2201 ~x4028 ~x61 ~x321 ~x1203 ~x3096 ~x5003 
100.83/101.17	v ~x2203 ~x4029 ~x1319 ~x320 ~x1204 ~x3097 ~x5004 ~x2204 ~x4030 ~x64 
100.83/101.17	v ~x322 ~x1205 ~x3098 ~x5006 ~x2205 ~x4031 ~x1331 ~x324 x1206 ~x3099 
100.83/101.17	v ~x5007 ~x2206 ~x4032 x67 ~x323 ~x1207 ~x3100 ~x5008 x2208 ~x4033 
100.83/101.17	v ~x1343 ~x325 ~x1208 ~x3101 ~x5009 ~x2210 ~x4035 ~x70 ~x327 ~x1209 
100.83/101.17	v ~x3102 ~x5010 ~x2211 ~x4036 ~x1355 ~x326 ~x1210 ~x3103 ~x5011 ~x2212 
100.83/101.17	v ~x4037 ~x1367 ~x328 ~x1212 ~x3104 ~x5012 ~x2213 ~x4038 ~x1369 ~x330 
100.83/101.17	v ~x1213 ~x3105 ~x5013 x2215 ~x4039 ~x1374 ~x329 ~x1214 ~x3106 ~x5014 
100.83/101.17	v ~x2217 ~x4040 ~x1376 ~x331 ~x1215 ~x3107 ~x5015 ~x2218 ~x4041 ~x1381 
100.83/101.17	v ~x333 ~x1216 ~x3108 ~x5016 ~x2219 ~x4042 ~x1383 ~x332 ~x1217 ~x3109 
100.83/101.17	v ~x5018 ~x2220 ~x4043 ~x1388 ~x334 ~x1218 ~x3110 ~x5019 ~x2222 ~x4044 
100.83/101.17	v ~x1390 ~x336 ~x1219 ~x3111 ~x5020 ~x2224 ~x4045 ~x1395 ~x335 ~x1220 
100.83/101.17	v ~x3112 ~x5021 ~x2225 ~x4047 ~x1397 ~x337 ~x1221 ~x3114 ~x5022 ~x2226 
100.83/101.17	v ~x4049 ~x1402 ~x339 ~x1222 ~x3115 ~x5023 ~x2227 ~x4050 ~x1404 ~x338 
100.83/101.17	v x1224 ~x3116 ~x5024 ~x2229 ~x4051 ~x1409 ~x340 ~x1225 ~x3117 ~x5025 
100.83/101.17	v ~x2231 ~x4052 ~x1411 ~x342 ~x1226 ~x3118 ~x5026 ~x2232 ~x4053 ~x1416 
100.83/101.17	v ~x341 ~x1227 ~x3119 ~x5027 ~x2233 ~x4054 ~x1418 ~x343 ~x1228 ~x3120 
100.83/101.17	v ~x5028 ~x2234 ~x4055 ~x1423 ~x345 ~x1229 ~x3121 ~x5030 x2236 ~x4056 
100.83/101.17	v ~x1425 ~x344 ~x1230 ~x3122 ~x5031 x2238 ~x4057 ~x1430 ~x346 ~x1231 
100.83/101.17	v ~x3123 ~x5032 ~x2239 ~x4058 ~x1432 ~x348 ~x1232 ~x3124 ~x5033 ~x2240 
100.83/101.17	v ~x4059 ~x1437 ~x347 ~x1233 ~x3125 ~x5034 ~x2241 ~x4061 ~x1439 ~x349 
100.83/101.17	v ~x1234 ~x3126 ~x5035 ~x2243 ~x4063 ~x1444 ~x178 ~x1236 ~x3127 ~x5036 
100.83/101.17	v x2245 ~x4064 ~x1446 ~x179 ~x1237 ~x3128 ~x5037 ~x2246 ~x4065 ~x1451 
100.83/101.17	v ~x180 ~x1238 ~x3129 ~x5038 ~x2247 ~x4066 ~x1453 ~x181 ~x1239 ~x3130 
100.83/101.17	v ~x5039 ~x2248 ~x4067 x1458 ~x182 ~x1240 ~x3131 ~x5040 ~x2250 ~x4068 
100.83/101.17	v ~x1460 ~x183 ~x1241 ~x3132 x5042 ~x2252 ~x4069 ~x1465 x184 ~x1242 
100.83/101.17	v ~x3133 ~x5043 ~x2253 ~x4070 ~x1467 ~x359 ~x1243 ~x3134 ~x5044 ~x2254 
100.83/101.17	v ~x4071 ~x1472 ~x360 ~x1244 ~x3135 x5045 ~x2255 ~x4072 ~x1474 ~x361 
100.83/101.17	v ~x1245 ~x3136 ~x5046 ~x2257 ~x4073 ~x1479 ~x363 ~x1246 ~x3137 ~x5047 
100.83/101.17	v ~x2259 ~x4075 ~x1481 ~x364 ~x1248 ~x3138 ~x5048 ~x2260 ~x4077 ~x1486 
100.83/101.17	v ~x366 ~x1249 ~x3139 ~x5049 ~x2261 ~x4078 x1488 ~x367 ~x1250 ~x3141 
100.83/101.17	v ~x5050 ~x2262 ~x4079 ~x1493 ~x369 ~x1251 ~x3142 ~x5051 ~x2264 ~x4080 
100.83/101.17	v ~x1495 ~x370 ~x1252 ~x3143 ~x5052 x2266 ~x4081 ~x1500 ~x371 ~x1253 
100.83/101.17	v ~x3144 ~x5054 ~x2267 ~x4082 ~x1502 ~x372 ~x1254 ~x3145 ~x5055 ~x2268 
100.83/101.17	v ~x4083 ~x1507 ~x374 ~x1255 ~x3146 ~x5056 ~x2269 ~x4084 ~x1509 ~x375 
100.83/101.17	v ~x1256 ~x3147 ~x5057 x2271 ~x4085 ~x1514 ~x376 ~x1257 ~x3148 ~x5058 
100.83/101.17	v ~x2273 ~x4086 ~x1516 ~x377 ~x1258 ~x3149 ~x5059 ~x2274 ~x4087 ~x1521 
100.83/101.17	v ~x379 ~x1260 ~x3150 ~x5060 ~x2275 x4089 ~x1523 ~x380 ~x1261 ~x3151 
100.83/101.17	v ~x5061 ~x2276 x4091 ~x1528 ~x381 ~x1262 ~x3152 ~x5062 ~x2278 ~x4092 
100.83/101.17	v ~x1530 ~x382 ~x1263 ~x3153 ~x5063 ~x2280 ~x4093 ~x1535 ~x383 ~x1264 
100.83/101.17	v ~x3154 ~x5064 ~x2281 ~x4094 ~x1537 ~x384 ~x1265 ~x3155 ~x5066 ~x2282 
100.83/101.17	v ~x4095 ~x1542 ~x385 ~x1266 ~x3156 ~x5067 ~x2283 ~x4096 ~x1544 ~x386 
100.83/101.17	v ~x1267 ~x3157 ~x5068 x2285 ~x4097 ~x1549 ~x388 ~x1268 ~x3158 ~x5069 
100.83/101.17	v x2287 ~x4098 ~x1551 ~x389 ~x1269 ~x3159 ~x5070 ~x2288 ~x4099 ~x1556 
100.83/101.17	v ~x391 ~x1270 ~x3160 ~x5071 ~x2289 ~x4100 ~x1558 ~x392 x1272 ~x3161 
100.83/101.17	v ~x5072 ~x2290 ~x4101 ~x1563 ~x393 ~x1273 ~x3162 ~x5073 ~x2292 ~x4103 
100.83/101.17	v ~x1565 ~x394 ~x1274 ~x3163 ~x5074 ~x2294 ~x4105 ~x1570 ~x396 ~x1275 
100.83/101.17	v ~x3164 ~x5075 ~x2295 ~x4106 ~x1572 ~x397 ~x1276 ~x3165 ~x5076 ~x2296 
100.83/101.17	v ~x4107 ~x1577 ~x398 ~x1277 ~x3166 ~x5078 ~x2297 ~x4108 ~x1579 ~x399 
100.83/101.17	v ~x1278 ~x3168 ~x5079 ~x2299 ~x4109 ~x1584 ~x401 ~x1279 ~x3169 ~x5080 
100.83/101.17	v ~x2300 ~x4110 ~x1586 ~x402 ~x1280 ~x3170 ~x5081 ~x2301 ~x4111 ~x1591 
100.83/101.17	v ~x403 ~x1281 ~x3171 ~x5082 ~x2302 ~x4112 ~x1593 ~x404 ~x1282 ~x3172 
100.83/101.17	v ~x5083 ~x2303 ~x4113 ~x1598 ~x405 ~x1284 ~x3173 ~x5084 ~x2304 ~x4114 
100.83/101.17	v ~x1600 ~x406 ~x1285 ~x3174 ~x5085 ~x2305 ~x4115 ~x1605 ~x407 ~x1286 
100.83/101.17	v ~x3175 ~x5086 ~x2306 ~x4117 ~x1607 ~x408 ~x1287 ~x3176 ~x5087 ~x2307 
100.83/101.17	v ~x4119 ~x1612 ~x410 ~x1288 ~x3177 ~x5088 ~x2308 ~x4120 ~x1639 ~x411 
100.83/101.17	v ~x1289 ~x3178 ~x5090 ~x2309 ~x4121 ~x1666 ~x413 ~x1290 ~x3179 ~x5092 
100.83/101.17	v ~x2310 ~x4122 ~x1693 ~x414 ~x1291 ~x3180 ~x5093 ~x2311 ~x4123 ~x1720 
100.83/101.17	v ~x415 ~x1292 ~x3181 ~x5094 ~x2312 ~x4124 ~x1747 ~x416 ~x1293 ~x3182 
100.83/101.17	v ~x5095 ~x2313 ~x4125 x1774 ~x417 ~x1294 ~x3183 x5097 ~x2314 ~x4126 
100.83/101.17	v ~x186 ~x418 ~x1296 ~x3184 ~x5099 ~x2315 ~x4127 ~x1801 ~x420 ~x1297 
100.83/101.17	v ~x3185 ~x5100 ~x2316 ~x4128 ~x189 ~x421 ~x1298 ~x3186 ~x5101 ~x2317 
100.83/101.17	v ~x4129 ~x1813 ~x423 ~x1299 ~x3187 ~x5102 ~x2318 x4131 ~x192 ~x424 
100.83/101.17	v ~x1300 ~x3188 x5104 ~x2319 ~x4133 ~x1825 ~x425 ~x1301 ~x3189 x5106 
100.83/101.17	v ~x2320 ~x4134 ~x195 ~x426 ~x1302 ~x3190 ~x5107 ~x2321 ~x4135 ~x1837 
100.83/101.17	v ~x428 ~x1303 ~x3191 x5108 ~x2322 ~x4136 ~x198 ~x430 ~x1304 ~x3192 
100.83/101.17	v ~x5109 ~x2323 ~x4137 ~x1849 ~x429 ~x1305 ~x3193 ~x5111 ~x2324 ~x4138 
100.83/101.17	v ~x201 ~x431 ~x1306 ~x3195 ~x5113 ~x2325 ~x4139 ~x1861 ~x433 ~x1308 
100.83/101.17	v ~x3196 ~x5114 ~x2326 ~x4140 ~x204 ~x432 ~x1309 ~x3197 ~x5115 ~x2327 
100.83/101.17	v ~x4141 ~x1873 ~x434 ~x1310 ~x3198 ~x5116 ~x2328 ~x4142 ~x207 ~x436 
100.83/101.17	v ~x1311 ~x3199 ~x5118 ~x2329 ~x4143 ~x1885 ~x435 ~x1312 ~x3200 ~x5120 
100.83/101.17	v ~x2330 ~x4145 ~x1897 ~x437 ~x1313 ~x3201 ~x5121 ~x2331 ~x4147 ~x212 
100.83/101.17	v ~x438 ~x1314 ~x3202 ~x5122 ~x2332 ~x4148 ~x1909 ~x439 ~x1315 ~x3203 
100.83/101.17	v ~x5123 ~x2333 ~x4149 ~x215 ~x441 ~x1316 ~x3204 ~x5125 ~x2334 ~x4150 
100.83/101.17	v ~x1921 ~x440 ~x3205 ~x1317 ~x5127 ~x2335 ~x4151 ~x1933 ~x442 ~x1318 
100.83/101.17	v ~x3206 ~x5128 ~x2336 ~x4152 ~x220 ~x444 ~x1320 ~x3207 ~x5129 ~x2337 
100.83/101.17	v ~x4153 ~x1945 ~x443 ~x1321 ~x3208 ~x5130 ~x2338 ~x4154 ~x223 ~x445 
100.83/101.17	v ~x1322 ~x3209 x5132 ~x2339 ~x4155 ~x1957 ~x447 ~x1323 ~x3210 ~x5134 
100.83/101.17	v ~x2340 ~x4156 ~x226 ~x446 ~x1324 ~x3211 ~x5135 ~x2341 ~x4157 x1969 
100.83/101.17	v ~x448 ~x1325 ~x3212 ~x5136 ~x2342 ~x4159 ~x229 ~x450 ~x1326 ~x3213 
100.83/101.17	v ~x5137 ~x2343 ~x4161 ~x1981 ~x449 ~x1327 ~x3214 x5139 ~x2344 ~x4162 
100.83/101.17	v x232 ~x451 ~x1328 ~x3215 ~x5141 ~x2345 ~x4163 ~x1993 ~x453 ~x1329 
100.83/101.17	v ~x3216 ~x5142 ~x2346 ~x4164 ~x2005 ~x452 ~x1330 ~x3217 ~x5143 ~x2347 
100.83/101.17	v ~x4165 ~x237 ~x454 ~x1332 ~x3218 ~x5144 ~x2348 ~x4166 ~x2017 ~x456 
100.83/101.17	v ~x1333 ~x3219 ~x5146 ~x2349 ~x4167 ~x240 ~x455 ~x1334 ~x3220 ~x5148 
100.83/101.17	v ~x2350 ~x4168 ~x2029 ~x457 ~x1335 ~x3222 ~x5149 ~x2351 ~x4169 ~x243 
100.83/101.17	v ~x459 ~x1336 ~x3223 ~x5150 ~x2352 ~x4170 ~x2041 ~x458 ~x1337 ~x3224 
100.83/101.17	v ~x5151 ~x2353 ~x4171 ~x2053 ~x460 ~x1338 ~x3225 x5153 ~x2354 x4173 
100.83/101.17	v ~x2055 ~x462 ~x1339 ~x3226 ~x5155 ~x2355 ~x4175 ~x2060 ~x461 ~x1340 
100.83/101.17	v ~x3227 ~x5157 ~x2357 ~x4176 ~x2062 ~x463 ~x1341 ~x3228 ~x5158 ~x2358 
100.83/101.17	v ~x4177 x2067 ~x465 ~x1342 ~x3229 ~x5159 ~x2359 ~x4178 ~x2069 ~x464 
100.83/101.17	v ~x1344 ~x3230 ~x5160 ~x2360 ~x4179 ~x2074 ~x466 ~x1345 ~x3231 x5162 
100.83/101.17	v ~x2361 ~x4180 ~x2076 ~x468 ~x1346 ~x3232 x5164 ~x2362 ~x4181 ~x2081 
100.83/101.17	v ~x467 ~x1347 ~x3233 ~x5165 ~x2363 ~x4182 ~x2083 ~x469 ~x1348 ~x3234 
100.83/101.17	v ~x5166 ~x2364 ~x4183 ~x2088 ~x471 ~x1349 ~x3235 ~x5167 ~x2365 ~x4184 
100.83/101.17	v ~x2090 ~x470 ~x1350 ~x3236 x5169 ~x2366 ~x4185 ~x2095 ~x472 ~x1351 
100.83/101.17	v ~x3237 ~x5171 ~x2367 ~x4187 ~x2097 ~x474 ~x1352 ~x3238 ~x5172 ~x2368 
100.83/101.17	v ~x4189 ~x2102 ~x473 ~x1353 ~x3239 ~x5173 ~x2369 ~x4190 ~x2104 ~x475 
100.83/101.17	v ~x1354 ~x3240 ~x5174 ~x2370 ~x4191 ~x2109 ~x477 ~x1356 ~x3241 x5176 
100.83/101.17	v ~x2371 ~x4192 ~x2111 ~x476 ~x1357 ~x3242 x5178 ~x2372 ~x4193 ~x2116 
100.83/101.17	v ~x478 ~x1358 ~x3243 ~x5179 ~x2373 ~x4194 ~x2118 ~x480 ~x1359 ~x3244 
100.83/101.17	v x5180 ~x2374 ~x4195 ~x2123 ~x479 ~x1360 ~x3245 ~x5181 ~x2375 ~x4196 
100.83/101.17	v ~x2125 ~x481 ~x1361 ~x3246 ~x5183 ~x2376 ~x4197 ~x2130 ~x483 ~x1362 
100.83/101.17	v ~x3247 ~x5185 ~x2377 ~x4198 ~x2132 ~x482 ~x1363 ~x3249 ~x5186 ~x2378 
100.83/101.17	v ~x4199 ~x2137 ~x484 ~x1364 ~x3250 ~x5187 ~x2379 ~x4201 ~x2139 ~x486 
100.83/101.17	v ~x1365 ~x3251 ~x5188 ~x2380 ~x4203 ~x2144 ~x485 ~x1366 ~x3252 x5190 
100.83/101.17	v ~x2381 ~x4204 ~x2146 ~x487 ~x1368 ~x3253 ~x5192 ~x2382 ~x4205 ~x2151 
100.83/101.17	v ~x489 ~x1370 ~x3254 ~x5193 ~x2383 ~x4206 ~x2153 ~x488 ~x1371 ~x3255 
100.83/101.17	v ~x5194 ~x2384 ~x4207 ~x2158 ~x490 ~x1372 ~x3256 ~x5195 ~x2385 ~x4208 
100.83/101.17	v ~x2160 ~x492 ~x1373 ~x3257 ~x5197 ~x2386 ~x4209 ~x2165 ~x491 ~x1375 
100.83/101.17	v ~x3258 ~x5199 ~x2387 ~x4210 ~x2167 ~x493 x1377 ~x3259 ~x5200 ~x2388 
100.83/101.17	v ~x4211 ~x2172 ~x495 ~x1378 ~x3260 ~x5201 ~x2389 ~x4212 ~x2174 ~x494 
100.83/101.17	v x1379 ~x3261 ~x5202 ~x2390 ~x4213 ~x2179 ~x496 ~x1380 ~x3262 x5204 
100.83/101.17	v ~x2391 x4215 ~x2181 ~x498 ~x1382 ~x3263 ~x5205 ~x2392 x4217 ~x2186 
100.83/101.17	v ~x497 ~x1384 ~x3264 x5206 ~x2393 ~x4218 ~x2188 ~x499 ~x1385 ~x3265 
100.83/101.17	v ~x5207 ~x2394 ~x4219 ~x2193 ~x501 ~x1386 ~x3266 ~x5209 ~x2395 ~x4220 
100.83/101.17	v ~x2195 ~x500 ~x1387 ~x3267 ~x5210 ~x2396 ~x4221 ~x2200 ~x502 ~x1389 
100.83/101.17	v ~x3268 ~x5211 ~x2397 ~x4222 ~x2202 ~x1391 ~x3269 ~x5212 ~x2398 ~x4223 
100.83/101.17	v ~x2207 ~x1392 ~x3270 x5214 ~x504 ~x2399 ~x4224 ~x2209 ~x1393 ~x3271 
100.83/101.17	v ~x5216 ~x503 ~x2400 ~x4225 ~x2214 ~x1394 ~x3272 ~x5217 ~x505 ~x2401 
100.83/101.17	v ~x4226 ~x2216 x1396 ~x3273 ~x5218 ~x507 ~x2402 ~x4227 ~x2221 ~x1398 
100.83/101.17	v ~x3274 ~x5219 ~x506 ~x2403 ~x4229 ~x2223 ~x1399 ~x3276 x5221 ~x508 
100.83/101.17	v ~x2404 ~x4231 ~x2228 ~x1400 ~x3277 ~x5223 ~x510 ~x2405 ~x4232 ~x2230 
100.83/101.17	v ~x1401 ~x3278 ~x5224 ~x509 ~x2406 ~x4233 ~x2235 ~x1403 ~x3279 ~x5225 
100.83/101.17	v ~x511 ~x2407 ~x4234 ~x2237 ~x1405 ~x3280 ~x5226 ~x513 ~x2408 ~x4235 
100.83/101.17	v ~x2242 ~x1406 ~x3281 x5228 ~x512 ~x2409 ~x4236 ~x2244 ~x1407 ~x3282 
100.83/101.17	v x5230 ~x514 ~x2410 ~x4237 ~x2249 ~x1408 ~x3283 ~x5231 ~x516 ~x2411 
100.83/101.17	v ~x4238 ~x2251 ~x1410 ~x3284 x5232 ~x515 ~x2412 ~x4239 ~x2256 ~x1412 
100.83/101.17	v ~x3285 ~x5233 ~x517 ~x2413 ~x4240 ~x2258 ~x1413 ~x3286 ~x5235 ~x519 
100.83/101.17	v ~x2415 ~x4241 ~x2263 ~x1414 ~x3287 ~x5236 ~x518 ~x2416 x4243 ~x2265 
100.83/101.17	v ~x1415 ~x3288 ~x5237 ~x520 ~x2417 ~x4245 ~x2270 x1417 ~x3289 ~x5238 
100.83/101.17	v ~x522 ~x2418 ~x4246 ~x2272 ~x1419 ~x3290 ~x5240 ~x521 ~x2419 ~x4247 
100.83/101.17	v ~x2277 ~x1420 ~x3291 ~x5242 ~x523 ~x2420 ~x4248 ~x2279 ~x1421 ~x3292 
100.83/101.17	v ~x5243 ~x525 ~x2421 ~x4249 ~x2284 ~x1422 ~x3293 ~x5244 ~x524 ~x2422 
100.83/101.17	v ~x4250 ~x2286 ~x1424 ~x3294 ~x5245 ~x526 ~x2423 ~x4251 ~x2291 ~x1426 
100.83/101.17	v ~x3295 ~x5247 ~x528 ~x2424 ~x4252 ~x2293 ~x1427 ~x3296 ~x5248 ~x527 
100.83/101.17	v ~x2425 ~x4253 ~x2298 ~x1428 ~x3297 ~x5249 ~x529 ~x2426 ~x4254 ~x2356 
100.83/101.17	v ~x1429 ~x3298 ~x5250 ~x531 ~x2427 ~x4255 ~x2414 ~x1431 ~x3299 ~x5252 
100.83/101.17	v ~x530 ~x2428 x4257 ~x2472 x1433 ~x3300 ~x5254 ~x532 ~x2429 ~x4259 
100.83/101.17	v ~x2530 ~x1434 ~x3301 ~x5255 ~x534 ~x2430 ~x4260 ~x2588 ~x1435 ~x3303 
100.83/101.17	v ~x5256 ~x533 ~x2431 ~x4261 ~x2646 x1436 ~x3304 ~x5257 ~x535 ~x2432 
100.83/101.17	v ~x4262 ~x2704 ~x1438 ~x3305 x5259 ~x537 ~x2433 ~x4263 ~x2762 ~x1440 
100.83/101.17	v ~x3306 ~x5261 ~x536 ~x2434 ~x4264 x362 ~x1441 ~x3307 ~x5262 ~x538 
100.83/101.17	v ~x2435 ~x4265 ~x2789 ~x1442 ~x3308 ~x5263 ~x539 ~x2436 ~x4266 ~x365 
100.83/101.17	v ~x1443 ~x3309 ~x5264 ~x540 ~x2437 ~x4267 ~x2816 ~x1445 ~x3310 x5266 
100.83/101.17	v ~x542 ~x2438 ~x4268 ~x368 ~x1447 ~x3311 ~x5268 ~x541 ~x2439 ~x4269 
100.83/101.17	v ~x2843 ~x1448 ~x3312 ~x5269 ~x543 ~x2440 x4271 ~x2870 ~x1449 ~x3313 
100.83/101.17	v ~x5270 ~x545 ~x2441 ~x4273 ~x373 ~x1450 ~x3314 ~x5271 ~x544 ~x2442 
100.83/101.17	v ~x4274 ~x2897 ~x1452 ~x3315 x5273 ~x546 ~x2443 ~x4275 ~x2924 ~x1454 
100.83/101.17	v ~x3316 ~x5275 ~x548 ~x2444 ~x4276 ~x378 ~x1455 ~x3317 ~x5276 ~x547 
100.83/101.17	v ~x2445 ~x4277 ~x2951 ~x1456 ~x3318 ~x5277 ~x549 ~x2446 ~x4278 ~x2978 
100.83/101.17	v ~x1457 ~x3319 ~x5278 ~x551 ~x2447 ~x4279 ~x3005 x1459 ~x3320 ~x5280 
100.83/101.17	v ~x550 ~x2448 ~x4280 ~x3032 ~x1461 ~x3321 ~x5282 ~x552 ~x2449 ~x4281 
100.83/101.17	v ~x387 ~x1462 ~x3322 ~x5283 ~x554 ~x2450 ~x4282 ~x3059 ~x1463 ~x3323 
100.83/101.17	v ~x5284 ~x553 ~x2451 ~x4283 ~x390 ~x1464 ~x3324 ~x5285 ~x555 ~x2452 
100.83/101.17	v x4285 ~x3086 ~x1466 ~x3325 x5287 ~x557 ~x2453 ~x4287 ~x3113 ~x1468 
100.83/101.17	v ~x3326 ~x5288 ~x556 ~x2454 ~x4288 ~x395 ~x1469 ~x3327 ~x5289 ~x558 
100.83/101.17	v ~x2455 ~x4289 ~x3140 ~x1470 ~x3328 x5290 ~x560 ~x2456 ~x4290 ~x3167 
100.83/101.17	v ~x1471 ~x3330 ~x5292 ~x559 ~x2457 ~x4291 ~x400 ~x1473 ~x3331 ~x5294 
100.83/101.17	v ~x561 ~x2458 ~x4292 ~x3194 x1475 ~x3332 ~x5295 ~x563 ~x2459 ~x4293 
100.83/101.17	v ~x3221 ~x1476 ~x3333 ~x5296 ~x562 ~x2460 ~x4294 ~x3248 ~x1477 ~x3334 
100.83/101.17	v ~x5297 ~x564 ~x2461 ~x4295 ~x3275 ~x1478 ~x3335 x5299 ~x566 ~x2462 
100.83/101.17	v ~x4296 ~x409 ~x1480 ~x3336 x5301 ~x565 ~x2463 ~x4297 ~x3302 ~x1482 
100.83/101.17	v ~x3337 ~x5302 ~x567 ~x2464 x4299 ~x412 ~x1483 ~x3338 ~x5303 ~x569 
100.83/101.17	v ~x2465 ~x4300 ~x3329 ~x1484 ~x3339 ~x5304 ~x568 ~x2466 x4301 ~x3356 
100.83/101.17	v ~x1485 ~x3340 x5306 ~x570 ~x2467 ~x4302 ~x3383 x1487 ~x3341 ~x5308 
100.83/101.17	v ~x572 ~x2468 x4304 ~x419 x1489 ~x3342 ~x5309 ~x571 ~x2469 ~x4305 
100.83/101.17	v ~x3410 ~x1490 ~x3343 ~x5310 ~x573 ~x2470 x4306 ~x422 ~x1491 ~x3344 
100.83/101.17	v ~x5311 ~x575 ~x2471 ~x4307 ~x3437 ~x1492 ~x3345 ~x5313 ~x574 ~x2473 
100.83/101.17	v x4309 ~x3464 x1494 ~x3346 ~x5315 ~x576 ~x2474 ~x4310 ~x427 ~x1496 
100.83/101.17	v ~x3347 ~x5316 ~x578 ~x2475 x4311 ~x3491 ~x1497 ~x3348 ~x5317 ~x577 
100.83/101.17	v ~x2476 ~x4312 ~x3518 ~x1498 ~x3349 ~x5318 ~x579 ~x2477 ~x4314 ~x3520 
100.83/101.17	v ~x1499 ~x3350 x5320 ~x581 ~x2478 ~x4315 ~x3532 ~x1501 ~x3351 ~x5321 
100.83/101.17	v ~x580 ~x2479 ~x4316 ~x3534 ~x1503 ~x3352 ~x5322 ~x582 ~x2480 ~x4317 
100.83/101.17	v ~x3546 ~x1504 ~x3353 ~x5323 ~x584 ~x2481 ~x4319 ~x3548 ~x1505 ~x3354 
100.83/101.17	v ~x5324 ~x583 ~x2482 ~x4320 ~x3560 ~x1506 ~x3355 ~x5325 ~x585 ~x2483 
100.83/101.17	v ~x4321 ~x3572 ~x1508 ~x3357 ~x5326 ~x587 ~x2484 ~x4322 ~x3574 x1510 
100.83/101.17	v ~x3358 ~x5327 ~x586 ~x2485 ~x4324 ~x3586 ~x1511 ~x3359 ~x5328 ~x588 
100.83/101.17	v ~x2486 ~x4325 ~x3588 ~x1512 ~x3360 ~x5329 ~x590 ~x2487 ~x4326 ~x3600 
100.83/101.17	v ~x1513 ~x3361 ~x5330 ~x589 ~x2488 ~x4327 ~x3602 x1515 ~x3362 ~x5332 
100.83/101.17	v ~x591 ~x2489 ~x4329 ~x3614 ~x1517 ~x3363 ~x5333 ~x593 ~x2490 ~x4330 
100.83/101.17	v ~x3616 ~x1518 ~x3364 ~x5334 ~x592 ~x2491 ~x4331 ~x3628 ~x1519 ~x3365 
100.83/101.17	v ~x5335 ~x594 ~x2492 ~x4332 ~x3630 ~x1520 ~x3366 ~x5336 ~x596 ~x2493 
100.83/101.17	v ~x4334 ~x3642 ~x1522 ~x3367 ~x5337 ~x595 ~x2494 ~x4335 ~x3644 ~x1524 
100.83/101.17	v ~x3368 ~x5338 ~x597 ~x2495 ~x4336 ~x3656 ~x1525 ~x3369 ~x5339 ~x599 
100.83/101.17	v ~x2496 ~x4337 ~x3658 ~x1526 ~x3370 ~x5340 ~x598 ~x2497 ~x4339 ~x3670 
100.83/101.17	v ~x1527 ~x3371 ~x5341 ~x600 ~x2498 ~x4340 ~x3672 x1529 ~x3372 ~x5342 
100.83/101.17	v ~x602 ~x2499 ~x4341 ~x3684 ~x1531 ~x3373 x5344 ~x601 ~x2500 ~x4342 
100.83/101.17	v ~x3686 ~x1532 ~x3374 ~x5345 ~x603 ~x2501 ~x4344 ~x3698 ~x1533 ~x3375 
100.83/101.17	v ~x5346 ~x605 ~x2502 ~x4345 ~x3700 ~x1534 ~x3376 ~x5347 ~x604 ~x2503 
100.83/101.17	v ~x4346 ~x3712 x1536 ~x3377 ~x5348 ~x606 ~x2504 ~x4347 ~x3714 ~x1538 
100.83/101.17	v ~x3378 ~x5349 ~x608 ~x2505 ~x4349 ~x3726 ~x1539 ~x3379 ~x5350 ~x607 
100.83/101.17	v ~x2506 ~x4350 ~x3728 ~x1540 ~x3380 ~x5351 ~x609 ~x2507 ~x4351 ~x3740 
100.83/101.17	v ~x1541 ~x3381 ~x5352 ~x611 ~x2508 ~x4352 ~x3742 ~x1543 ~x3382 ~x5353 
100.83/101.17	v ~x610 ~x2509 ~x4354 ~x3754 ~x1545 x3384 ~x5354 ~x612 ~x2510 ~x4355 
100.83/101.17	v ~x3756 ~x1546 ~x3385 ~x5356 ~x614 ~x2511 ~x4356 ~x3768 ~x1547 x3386 
100.83/101.17	v ~x5357 ~x613 ~x2512 ~x4357 ~x3770 ~x1548 ~x3387 ~x5358 ~x615 ~x2513 
100.83/101.17	v ~x4359 ~x3782 x1550 ~x3388 ~x5359 ~x617 ~x2514 ~x4360 ~x3784 x1552 
100.83/101.17	v ~x3389 ~x5360 ~x616 ~x2515 ~x4361 ~x3796 ~x1553 ~x3390 ~x5361 ~x618 
100.83/101.17	v ~x2516 ~x4362 ~x3798 ~x1554 ~x3391 ~x5362 ~x620 ~x2517 ~x4364 ~x3810 
100.83/101.17	v ~x1555 ~x3392 ~x5363 ~x619 ~x2518 ~x4365 ~x3812 ~x1557 ~x3393 ~x5364 
100.83/101.17	v ~x621 ~x2519 ~x4366 ~x3824 ~x1559 ~x3394 ~x5365 ~x623 ~x2520 ~x4367 
100.83/101.17	v ~x3826 ~x1560 ~x3395 ~x5366 ~x622 ~x2521 ~x4369 ~x3838 ~x1561 ~x3396 
100.83/101.17	v x5368 ~x624 ~x2522 ~x4370 ~x3840 ~x1562 ~x3397 ~x5369 ~x626 ~x2523 
100.83/101.17	v ~x4371 ~x3852 x1564 ~x3398 x5370 ~x625 ~x2524 ~x4372 ~x3854 ~x1566 
100.83/101.17	v ~x3399 ~x5371 ~x627 ~x2525 ~x4374 ~x3866 ~x1567 ~x3400 ~x5372 ~x629 
100.83/101.17	v ~x2526 ~x4375 ~x3868 ~x1568 ~x3401 ~x5373 ~x628 ~x2527 ~x4376 ~x3880 
100.83/101.17	v ~x1569 ~x3402 ~x5374 ~x630 ~x2528 ~x4377 ~x3882 x1571 ~x3403 ~x5375 
100.83/101.17	v ~x632 ~x2529 ~x4379 ~x3894 ~x1573 ~x3404 ~x5376 ~x631 ~x2531 ~x4380 
100.83/101.17	v ~x3896 ~x1574 ~x3405 ~x5377 ~x633 ~x2532 ~x4381 ~x3908 ~x1575 ~x3406 
100.83/101.17	v ~x5378 ~x635 ~x2533 ~x4382 ~x3910 ~x1576 ~x3407 ~x5380 ~x634 ~x2534 
100.83/101.17	v ~x4384 ~x3922 x1578 ~x3408 ~x5381 ~x636 ~x2535 ~x4385 ~x3924 ~x1580 
100.83/101.17	v ~x3409 ~x5382 ~x638 ~x2536 ~x4386 ~x3936 ~x1581 ~x3411 ~x5383 ~x637 
100.83/101.17	v ~x2537 ~x4387 ~x3938 ~x1582 ~x3412 ~x5384 ~x639 ~x2538 ~x4389 ~x3950 
100.83/101.17	v ~x1583 ~x3413 ~x5385 ~x641 ~x2539 ~x4390 ~x3952 ~x1585 ~x3414 ~x5386 
100.83/101.17	v ~x640 ~x2540 ~x4391 ~x3964 ~x1587 ~x3415 ~x5387 ~x642 ~x2541 ~x4392 
100.83/101.17	v ~x3966 ~x1588 ~x3416 ~x5388 ~x644 ~x2542 ~x4394 ~x3978 ~x1589 ~x3417 
100.83/101.17	v ~x5389 ~x643 ~x2543 ~x4395 ~x3980 ~x1590 ~x3418 ~x5390 ~x645 ~x2544 
100.83/101.17	v ~x4396 ~x3992 x1592 ~x3419 ~x5392 ~x647 ~x2545 ~x4397 ~x3994 ~x1594 
100.83/101.17	v ~x3420 ~x5393 ~x646 ~x2546 ~x4399 ~x4006 ~x1595 ~x3421 ~x5394 ~x648 
100.83/101.17	v ~x2547 ~x4400 ~x4008 ~x1596 ~x3422 ~x5395 ~x650 ~x2548 ~x4401 ~x4020 
100.83/101.17	v ~x1597 ~x3423 x5397 ~x649 ~x2549 ~x4402 ~x4022 ~x1599 ~x3424 ~x5398 
100.83/101.17	v ~x651 ~x2550 ~x4404 ~x4034 ~x1601 ~x3425 ~x5399 ~x653 ~x2551 ~x4405 
100.83/101.17	v ~x4046 ~x1602 ~x3426 ~x5400 ~x652 ~x2552 ~x4406 ~x4048 ~x1603 ~x3427 
100.83/101.17	v ~x5402 ~x654 ~x2553 ~x4407 ~x4060 ~x1604 ~x3428 ~x5403 x656 ~x2554 
100.83/101.17	v ~x4409 ~x4062 x1606 ~x3429 ~x5404 x655 ~x2555 ~x4410 ~x4074 ~x1608 
100.83/101.17	v ~x3430 ~x5405 x657 ~x2556 ~x4411 ~x4076 ~x1609 ~x3431 x5407 ~x659 
100.83/101.17	v ~x2557 ~x4412 ~x4088 ~x1610 ~x3432 ~x5408 ~x658 ~x2558 ~x4414 ~x4090 
100.83/101.17	v ~x1611 ~x3433 ~x5409 ~x660 ~x2559 ~x4415 ~x4102 ~x1613 ~x3434 ~x5410 
100.83/101.17	v ~x662 ~x2560 ~x4416 ~x4104 ~x1614 ~x3435 ~x5412 ~x661 ~x2561 ~x4417 
100.83/101.17	v ~x4116 ~x1615 ~x3436 ~x5413 ~x663 ~x2562 ~x4419 ~x4118 ~x1616 ~x3438 
100.83/101.17	v ~x5414 ~x665 ~x2563 ~x4420 ~x4130 ~x1617 ~x3439 ~x5415 ~x664 ~x2564 
100.83/101.17	v ~x4421 ~x4132 ~x1618 ~x3440 ~x5417 ~x666 ~x2565 ~x4422 ~x4144 ~x1619 
100.83/101.17	v ~x3441 ~x5418 ~x668 ~x2566 ~x4424 ~x4146 ~x1620 ~x3442 ~x5419 ~x667 
100.83/101.17	v ~x2567 ~x4425 ~x4158 ~x1621 ~x3443 ~x5420 ~x669 ~x2568 ~x4426 ~x4160 
100.83/101.17	v ~x1622 ~x3444 ~x5422 ~x671 ~x2569 ~x4427 ~x4172 ~x1623 ~x3445 ~x5423 
100.83/101.17	v ~x670 ~x2570 ~x4429 ~x4174 ~x1624 ~x3446 ~x5424 ~x672 ~x2571 ~x4430 
100.83/101.17	v ~x4186 ~x1625 ~x3447 ~x5425 ~x674 ~x2572 ~x4431 ~x4188 ~x1626 ~x3448 
100.83/101.17	v x5427 ~x673 ~x2573 ~x4432 ~x4200 ~x1627 ~x3449 x5428 ~x675 ~x2574 
100.83/101.17	v ~x4434 ~x4202 ~x1628 ~x3450 ~x5429 ~x677 ~x2575 ~x4435 ~x4214 ~x1629 
100.83/101.17	v ~x3451 ~x5430 ~x676 ~x2576 ~x4436 ~x4216 ~x1630 ~x3452 ~x5432 ~x678 
100.83/101.17	v ~x2577 ~x4437 ~x4228 ~x1631 ~x3453 ~x5433 ~x680 ~x2578 ~x4439 ~x4230 
100.83/101.17	v ~x1632 ~x3454 ~x5434 ~x679 ~x2579 ~x4440 ~x4242 ~x1633 ~x3455 ~x5435 
100.83/101.17	v ~x681 ~x2580 ~x4441 ~x4244 ~x1634 ~x3456 ~x5437 ~x683 ~x2581 ~x4442 
100.83/101.17	v ~x4256 ~x1635 ~x3457 ~x5438 ~x682 ~x2582 ~x4444 ~x4258 ~x1636 ~x3458 
100.83/101.17	v ~x5439 ~x684 ~x2583 ~x4445 ~x4270 ~x1637 ~x3459 ~x5440 ~x686 ~x2584 
100.83/101.17	v ~x4446 ~x4272 ~x1638 ~x3460 x5442 ~x685 ~x2585 ~x4447 ~x4284 ~x1640 
100.83/101.17	v ~x3461 ~x5443 ~x687 ~x2586 ~x4449 ~x4286 ~x1641 ~x3462 ~x5444 ~x689 
100.83/101.17	v ~x2587 ~x4450 ~x4298 ~x1642 ~x3463 ~x5445 ~x688 ~x2589 ~x4451 ~x4303 
100.83/101.17	v ~x1643 x3465 ~x5447 ~x690 ~x2590 ~x4452 ~x4308 ~x1644 ~x3466 ~x5448 
100.83/101.17	v ~x692 ~x2591 ~x4454 ~x4313 ~x1645 ~x3467 ~x5449 ~x691 ~x2592 ~x4455 
100.83/101.17	v ~x4318 ~x1646 ~x3468 ~x5450 ~x693 ~x2593 ~x4456 ~x4323 ~x1647 ~x3469 
100.83/101.17	v ~x5452 ~x695 ~x2594 ~x4457 ~x4328 ~x1648 ~x3470 ~x5453 ~x694 ~x2595 
100.83/101.17	v ~x4459 ~x4333 ~x1649 ~x3471 ~x5454 ~x696 ~x2596 ~x4460 ~x4338 ~x1650 
100.83/101.17	v x3472 ~x5455 ~x698 ~x2597 ~x4461 ~x4343 ~x1651 ~x3473 ~x5457 ~x697 
100.83/101.17	v ~x2598 ~x4462 ~x4348 ~x1652 ~x3474 ~x5458 ~x699 ~x2599 ~x4464 ~x4353 
100.83/101.17	v ~x1653 ~x3475 ~x5459 ~x351 ~x2600 ~x4465 ~x4358 ~x1654 ~x3476 ~x5460 
100.83/101.17	v ~x352 ~x2601 ~x4466 ~x4363 ~x1655 ~x3477 ~x5462 ~x353 ~x2602 ~x4467 
100.83/101.17	v ~x4368 ~x1656 ~x3478 ~x5463 ~x354 ~x2603 ~x4469 ~x4373 ~x1657 ~x3479 
100.83/101.17	v ~x5464 ~x355 ~x2604 ~x4470 ~x4378 ~x1658 ~x3480 ~x5465 ~x356 ~x2605 
100.83/101.17	v ~x4471 ~x4383 ~x1659 ~x3481 x5467 ~x357 ~x2606 ~x4472 ~x4388 ~x1660 
100.83/101.17	v ~x3482 ~x5469 ~x358 ~x2607 x4474 ~x4393 ~x1661 ~x3483 ~x5471 ~x708 
100.83/101.17	v ~x2608 x4475 ~x4398 ~x1662 ~x3484 ~x5473 ~x710 ~x2609 ~x4476 ~x4403 
100.83/101.17	v ~x1663 ~x3485 x5475 ~x711 ~x2610 ~x4477 ~x4408 ~x1664 ~x3486 ~x5477 
100.83/101.17	v ~x712 ~x2611 ~x4479 ~x4413 ~x1665 ~x3487 ~x5479 ~x713 ~x2612 ~x4480 
100.83/101.17	v ~x4418 x1667 ~x3488 x5481 ~x715 ~x2613 ~x4481 ~x4423 ~x1668 ~x3489 
100.83/101.17	v ~x5483 ~x716 ~x2614 ~x4482 ~x4428 ~x1669 ~x3490 x5485 ~x717 ~x2615 
100.83/101.17	v ~x4484 ~x4433 ~x1670 ~x3492 x5487 ~x718 ~x2616 ~x4485 ~x4438 ~x1671 
100.83/101.17	v ~x3493 ~x5489 ~x720 ~x2617 ~x4486 ~x4443 ~x1672 ~x3494 ~x5491 ~x721 
100.83/101.17	v ~x2618 ~x4487 ~x4448 ~x3495 ~x5493 ~x723 ~x2619 ~x4489 ~x4453 ~x3496 
100.83/101.17	v ~x5495 ~x724 ~x2620 ~x4490 ~x1673 ~x4458 ~x3497 ~x5497 ~x725 ~x2621 
100.83/101.17	v ~x4491 ~x1674 ~x4463 ~x3498 ~x5499 ~x726 ~x2622 ~x4492 ~x1675 ~x4468 
100.83/101.17	v ~x3499 ~x727 ~x2623 ~x4494 ~x1676 ~x4473 ~x3500 ~x728 ~x2624 ~x4495 
100.83/101.17	v ~x1677 ~x4478 ~x3501 ~x729 ~x2625 ~x4496 ~x1678 ~x4483 ~x3502 ~x730 
100.83/101.17	v ~x2626 ~x4497 ~x1679 ~x4488 ~x3503 ~x731 ~x2627 x4499 ~x1680 ~x4493 
100.83/101.17	v ~x3504 ~x732 ~x2628 x4500 ~x1681 x4498 ~x3505 ~x733 ~x2629 ~x4501 
100.83/101.17	v ~x1682 x4503 ~x3506 ~x734 ~x2630 ~x4502 ~x1683 ~x4508 ~x3507 ~x736 
100.83/101.17	v ~x2631 x4504 ~x1684 ~x4513 ~x3508 ~x737 ~x2632 x4505 ~x1685 ~x4518 
100.83/101.17	v ~x3509 ~x738 ~x2633 ~x4506 ~x1686 ~x4523 ~x3510 ~x739 ~x2634 ~x4507 
100.83/101.17	v ~x1687 ~x4528 ~x3511 ~x740 ~x2635 ~x4509 ~x1688 ~x4533 ~x3512 ~x741 
100.83/101.17	v ~x2636 ~x4510 ~x1689 ~x4538 ~x3513 ~x742 ~x2637 ~x4511 ~x1690 ~x4543 
100.83/101.17	v ~x3514 ~x743 ~x2638 ~x4512 ~x1691 ~x4548 ~x3515 ~x745 ~x2639 ~x4514 
100.83/101.17	v ~x1692 ~x4553 ~x3516 ~x746 ~x2640 ~x4515 ~x1694 ~x4558 ~x3517 ~x748 
100.83/101.17	v ~x2641 ~x4516 ~x1695 ~x4563 x3519 ~x749 ~x2642 ~x4517 ~x1696 ~x4568 
100.83/101.17	v ~x3521 ~x750 ~x2643 ~x4519 ~x1697 ~x4573 ~x3522 ~x751 ~x2644 ~x4520 
100.83/101.17	v ~x1698 ~x4578 ~x3523 ~x752 ~x2645 ~x4521 ~x1699 ~x4583 ~x3524 ~x753 
100.83/101.17	v ~x2647 ~x4522 ~x1700 ~x4588 ~x3525 ~x755 ~x2648 ~x4524 ~x1701 ~x4593 
100.83/101.17	v ~x3526 ~x756 ~x2649 ~x4525 ~x1702 ~x4598 ~x3527 ~x757 ~x2650 ~x4526 
100.83/101.17	v ~x1703 ~x4603 ~x3528 ~x759 ~x2651 ~x4527 ~x1704 ~x4608 ~x3529 ~x758 
100.83/101.17	v ~x2652 x4529 ~x1705 ~x4613 ~x3530 ~x760 ~x2653 x4530 ~x1706 ~x4618 
100.83/101.17	v ~x3531 ~x762 ~x2654 ~x4531 ~x1707 ~x4623 x3533 ~x761 ~x2655 ~x4532 
100.83/101.17	v ~x1708 ~x4628 ~x3535 ~x763 ~x2656 x4534 ~x1709 ~x4633 ~x3536 ~x765 
100.83/101.17	v ~x2657 x4535 ~x1710 ~x4638 ~x3537 ~x764 ~x2658 ~x4536 ~x1711 ~x4643 
100.83/101.17	v ~x3538 ~x766 ~x2659 ~x4537 ~x1712 ~x4648 ~x3539 ~x768 ~x2660 ~x4539 
100.83/101.17	v ~x1713 ~x4675 ~x3540 ~x767 ~x2661 ~x4540 ~x1714 ~x4702 ~x3541 ~x769 
100.83/101.17	v ~x2662 ~x4541 ~x1715 ~x4729 ~x3542 ~x771 ~x2663 ~x4542 ~x1716 ~x4756 
100.83/101.17	v ~x3543 ~x770 ~x2664 ~x4544 ~x1717 ~x4783 ~x3544 ~x772 ~x2665 ~x4545 
100.83/101.17	v ~x1718 ~x4810 ~x3545 ~x774 ~x2666 ~x4546 ~x1719 ~x709 x3547 ~x773 
100.83/101.17	v ~x2667 ~x4547 ~x1721 ~x4837 ~x3549 ~x775 ~x2668 ~x4549 ~x1722 ~x4849 
100.83/101.17	v ~x3550 ~x777 ~x2669 ~x4550 ~x1723 ~x714 ~x3551 ~x776 ~x2670 ~x4551 
100.83/101.17	v ~x1724 ~x4861 ~x3552 ~x778 ~x2671 ~x4552 ~x1725 ~x4873 ~x3553 ~x780 
100.83/101.17	v ~x2672 ~x4554 ~x1726 ~x719 ~x3554 ~x779 ~x2673 ~x4555 ~x1727 ~x4885 
100.83/101.17	v ~x3555 ~x781 ~x2674 ~x4556 ~x1728 ~x722 ~x3556 ~x783 ~x2675 ~x4557 
100.83/101.17	v ~x1729 ~x4897 ~x3557 ~x782 ~x2676 ~x4559 ~x1730 ~x4909 ~x3558 ~x784 
100.83/101.17	v ~x2677 ~x4560 ~x1731 ~x4921 ~x3559 ~x786 ~x2678 ~x4561 ~x1732 ~x4933 
100.83/101.17	v ~x3561 ~x785 ~x2679 ~x4562 ~x1733 ~x4945 ~x3562 ~x788 ~x2680 ~x4564 
100.83/101.17	v ~x1734 ~x4957 ~x3563 ~x787 ~x2681 ~x4565 ~x1735 ~x735 ~x3564 ~x789 
100.83/101.17	v ~x2682 ~x4566 ~x1736 ~x4969 ~x3565 ~x791 ~x2683 ~x4567 ~x1737 ~x4981 
100.83/101.17	v ~x3566 ~x790 ~x2684 ~x4569 ~x1738 ~x4993 ~x3567 ~x792 ~x2685 ~x4570 
100.83/101.17	v ~x1739 ~x5005 ~x3568 ~x794 ~x2686 ~x4571 ~x1740 ~x744 ~x3569 ~x793 
100.83/101.17	v ~x2687 ~x4572 ~x1741 ~x5017 ~x3570 ~x795 ~x2688 ~x4574 ~x1742 ~x747 
100.83/101.17	v ~x3571 ~x797 ~x2689 ~x4575 ~x1743 ~x5029 ~x3573 ~x796 ~x2690 ~x4576 
100.83/101.17	v ~x1744 ~x5041 ~x3575 ~x798 ~x2691 ~x4577 ~x1745 ~x5053 ~x3576 ~x800 
100.83/101.17	v ~x2692 ~x4579 ~x1746 ~x754 ~x3577 ~x799 ~x2693 ~x4580 ~x1748 ~x5065 
100.83/101.17	v ~x3578 ~x801 ~x2694 ~x4581 ~x1749 ~x5077 ~x3579 ~x803 ~x2695 ~x4582 
100.83/101.17	v ~x1750 ~x5089 ~x3580 ~x802 ~x2696 ~x4584 ~x1751 ~x5091 ~x3581 ~x804 
100.83/101.17	v ~x2697 ~x4585 ~x1752 ~x5096 ~x3582 ~x806 ~x2698 ~x4586 ~x1753 ~x5098 
100.83/101.17	v ~x3583 ~x805 ~x2699 ~x4587 ~x1754 ~x5103 ~x3584 ~x807 ~x2700 ~x4589 
100.83/101.17	v ~x1755 ~x5105 ~x3585 x808 ~x2701 ~x4590 ~x1756 ~x5110 ~x3587 x809 
100.83/101.17	v ~x2702 ~x4591 ~x1757 ~x5112 ~x3589 ~x810 ~x2703 ~x4592 ~x1758 ~x5117 
100.83/101.17	v ~x3590 ~x811 ~x2705 ~x4594 ~x1759 ~x5119 ~x3591 ~x813 ~x2706 ~x4595 
100.83/101.17	v ~x1760 ~x5124 ~x3592 ~x812 ~x2707 ~x4596 ~x1761 ~x5126 ~x3593 ~x814 
100.83/101.17	v ~x2708 ~x4597 ~x1762 ~x5131 ~x3594 ~x816 ~x2709 ~x4599 ~x1763 ~x5133 
100.83/101.17	v ~x3595 ~x815 ~x2710 ~x4600 ~x1764 ~x5138 ~x3596 ~x817 ~x2711 ~x4601 
100.83/101.17	v ~x1765 ~x5140 ~x3597 ~x819 ~x2712 ~x4602 ~x1766 ~x5145 ~x3598 ~x818 
100.83/101.17	v ~x2713 ~x4604 ~x1767 ~x5147 ~x3599 ~x820 ~x2714 ~x4605 ~x1768 ~x5152 
100.83/101.17	v x3601 ~x821 ~x2715 ~x4606 ~x1769 ~x5154 ~x3603 ~x822 ~x2716 ~x4607 
100.83/101.17	v ~x1770 ~x5156 ~x3604 ~x824 ~x2717 ~x4609 ~x1771 ~x5161 ~x3605 ~x823 
100.83/101.17	v ~x2718 ~x4610 ~x1772 ~x5163 ~x3606 ~x825 ~x2719 ~x4611 ~x1773 ~x5168 
100.83/101.17	v ~x3607 ~x826 ~x2720 ~x4612 x1775 ~x5170 ~x3608 ~x827 ~x2721 ~x4614 
100.83/101.17	v ~x1776 ~x5175 ~x3609 ~x829 ~x2722 ~x4615 ~x1777 ~x5177 ~x3610 ~x828 
100.83/101.17	v ~x2723 ~x4616 ~x1778 ~x5182 ~x3611 ~x830 ~x2724 ~x4617 ~x1779 ~x5184 
100.83/101.17	v ~x3612 ~x832 ~x2725 ~x4619 ~x1780 ~x5189 ~x3613 ~x831 ~x2726 ~x4620 
100.83/101.17	v ~x1781 ~x5191 x3615 ~x833 ~x2727 ~x4621 ~x1782 ~x5196 x3617 ~x835 
100.83/101.17	v ~x2728 ~x4622 ~x1783 ~x5198 ~x3618 ~x834 ~x2729 ~x4624 ~x1784 x5203 
100.83/101.17	v ~x3619 ~x836 ~x2730 ~x4625 ~x1785 ~x5208 ~x3620 ~x838 ~x2731 ~x4626 
100.83/101.17	v ~x1786 ~x5213 ~x3621 ~x837 ~x2732 ~x4627 ~x1787 ~x5215 ~x3622 ~x839 
100.83/101.17	v ~x2733 ~x4629 ~x1788 ~x5220 ~x3623 ~x841 ~x2734 ~x4630 ~x1789 ~x5222 
100.83/101.17	v ~x3624 ~x840 ~x2735 ~x4631 ~x1790 ~x5227 ~x3625 ~x842 ~x2736 ~x4632 
100.83/101.17	v ~x1791 ~x5229 ~x3626 ~x843 ~x2737 ~x4634 ~x1792 ~x5234 ~x3627 ~x844 
100.83/101.17	v ~x2738 ~x4635 ~x1793 ~x5239 x3629 ~x846 ~x2739 ~x4636 ~x1794 ~x5241 
100.83/101.17	v ~x3631 ~x845 ~x2740 ~x4637 ~x1795 ~x5246 ~x3632 ~x847 ~x2741 ~x4639 
100.83/101.17	v ~x1796 ~x5251 ~x3633 ~x849 ~x2742 ~x4640 ~x1797 ~x5253 ~x3634 ~x848 
100.83/101.17	v ~x2743 ~x4641 ~x1798 ~x5258 ~x3635 ~x850 ~x2744 ~x4642 ~x1799 ~x5260 
100.83/101.17	v ~x3636 ~x852 ~x2745 ~x4644 ~x1800 ~x5265 ~x3637 ~x851 ~x2746 ~x4645 
100.83/101.17	v ~x1802 ~x5267 ~x3638 ~x853 ~x2747 ~x4646 ~x1803 ~x5272 ~x3639 ~x855 
100.83/101.17	v ~x2748 ~x4647 ~x1804 ~x5274 ~x3640 ~x854 ~x2749 ~x4649 ~x1805 ~x5279 
100.83/101.17	v ~x3641 ~x856 ~x2750 ~x4650 ~x1806 ~x5281 x3643 ~x701 ~x2751 ~x4651 
100.83/101.17	v ~x1807 ~x5286 x3645 ~x702 ~x2752 ~x4652 ~x1808 ~x5291 ~x3646 ~x703 
100.83/101.17	v ~x2753 ~x4653 ~x1809 ~x5293 ~x3647 ~x704 ~x2754 ~x4654 ~x1810 ~x5298 
100.83/101.17	v ~x3648 ~x705 ~x2755 ~x4655 ~x1811 ~x5300 ~x3649 ~x706 ~x2756 ~x4656 
100.83/101.17	v ~x1812 ~x5305 ~x3650 ~x707 ~x2757 ~x4657 ~x1814 ~x5307 ~x3651 ~x864 
100.83/101.17	v ~x2758 ~x4658 ~x1815 ~x5312 ~x3652 ~x865 ~x2759 ~x4659 ~x1816 ~x5314 
100.83/101.17	v ~x3653 x866 ~x2760 ~x4660 ~x1817 ~x5319 ~x3654 x867 ~x2761 ~x4661 
100.83/101.17	v ~x1818 ~x5331 ~x3655 ~x868 ~x2763 ~x4662 ~x1819 ~x5343 x3657 ~x869 
100.83/101.17	v ~x2764 ~x4663 ~x1820 ~x5355 ~x3659 ~x870 ~x2765 ~x4664 ~x1821 ~x5367 
100.83/101.17	v ~x3660 ~x2766 ~x871 ~x4665 ~x1822 ~x5379 ~x3661 ~x872 ~x2767 ~x4666 
100.83/101.17	v ~x1823 ~x5391 ~x3662 ~x873 ~x2768 ~x4667 ~x1824 x5396 ~x3663 ~x874 
100.83/101.17	v ~x2769 ~x4668 ~x1826 ~x5401 ~x3664 ~x876 ~x2770 ~x4669 ~x1827 ~x5406 
100.83/101.17	v ~x3665 ~x877 ~x2771 ~x4670 ~x1828 ~x5411 ~x3666 ~x878 ~x2772 ~x4671 
100.83/101.17	v ~x1829 ~x875 ~x3667 ~x879 ~x2773 ~x4672 ~x1830 ~x5416 ~x3668 ~x881 
100.83/101.17	v ~x2774 ~x4673 ~x1831 ~x5421 ~x3669 ~x882 ~x2775 ~x4674 ~x1832 ~x880 
100.83/101.17	v ~x3671 ~x883 ~x2776 x4676 ~x1833 ~x5426 ~x3673 ~x884 ~x2777 ~x4677 
100.83/101.17	v ~x1834 ~x5431 ~x3674 ~x886 ~x2778 ~x4678 ~x1835 ~x885 ~x3675 ~x887 
100.83/101.17	v ~x2779 ~x4679 ~x1836 ~x5436 ~x3676 ~x889 ~x2780 ~x4680 ~x1838 ~x888 
100.83/101.17	v ~x3677 ~x890 ~x2781 ~x4681 ~x1839 ~x5441 ~x3678 ~x892 ~x2782 ~x4682 
100.83/101.17	v ~x1840 ~x891 ~x3679 ~x893 ~x2783 ~x4683 ~x1841 ~x5446 ~x3680 ~x894 
100.83/101.17	v ~x2784 x4684 ~x1842 ~x5451 ~x3681 ~x895 ~x2785 ~x4685 ~x1843 ~x5456 
100.83/101.17	v ~x3682 ~x896 ~x2786 ~x4686 ~x1844 ~x5461 ~x3683 ~x897 ~x2787 ~x4687 
100.83/101.17	v ~x1845 ~x5466 ~x3685 ~x898 ~x2788 ~x4688 ~x1846 ~x5468 ~x3687 ~x900 
100.83/101.17	v x2790 ~x4689 ~x1847 ~x5470 ~x3688 ~x899 ~x2791 ~x4690 ~x1848 ~x5472 
100.83/101.17	v ~x3689 ~x902 ~x2792 ~x4691 ~x1850 ~x5474 ~x3690 ~x901 ~x2793 ~x4692 
100.83/101.17	v ~x1851 ~x5476 ~x3691 ~x903 ~x2794 ~x4693 ~x1852 ~x5478 ~x3692 ~x905 
100.83/101.17	v ~x2795 ~x4694 ~x1853 ~x5480 ~x3693 ~x904 ~x2796 ~x4695 ~x1854 ~x5482 
100.83/101.17	v ~x3694 ~x906 ~x2797 ~x4696 ~x1855 ~x5484 ~x3695 ~x908 ~x2798 ~x4697 
100.83/101.17	v ~x1856 ~x5486 ~x3696 ~x907 ~x2799 ~x4698 ~x1857 ~x5488 ~x3697 ~x909 
100.83/101.17	v ~x2800 ~x4699 ~x1858 ~x5490 ~x3699 ~x911 x2801 ~x4700 ~x1859 ~x5492 
100.83/101.17	v ~x3701 ~x910 ~x2802 ~x4701 ~x1860 ~x5494 ~x3702 ~x912 ~x2803 ~x4703 
100.83/101.17	v ~x1862 ~x5496 ~x3703 ~x914 ~x2804 ~x4704 ~x1863 ~x5498 ~x3704 ~x913 
100.83/101.17	v ~x2805 ~x4705 ~x1864 ~x3705 ~x916 ~x2806 ~x4706 ~x1865 ~x3706 ~x915 
100.83/101.17	v ~x2807 ~x4707 ~x1866 ~x3707 ~x917 ~x2808 ~x4708 ~x1867 ~x3708 ~x919 
100.83/101.17	v ~x2809 ~x4709 ~x1868 ~x3709 ~x918 ~x2810 ~x4710 ~x1869 ~x3710 ~x920 
100.83/101.17	v ~x2811 ~x4711 ~x1870 ~x3711 ~x921 ~x2812 ~x4712 ~x1871 ~x3713 ~x922 
100.83/101.17	v ~x2813 ~x4713 ~x1872 ~x9 ~x3715 ~x924 ~x2814 ~x4714 ~x1874 ~x11 
100.83/101.17	v ~x3716 ~x923 ~x2815 ~x4715 ~x1875 ~x12 ~x3717 ~x925 ~x2817 ~x4716 
100.83/101.17	v ~x1876 ~x14 ~x3718 ~x858 ~x2818 ~x4717 ~x1877 ~x15 ~x3719 ~x859 
100.83/101.17	v ~x2819 ~x4718 ~x1878 ~x17 ~x3720 ~x860 ~x2820 ~x4719 ~x1879 ~x18 
100.83/101.17	v ~x3721 ~x861 ~x2821 ~x4720 ~x1880 ~x20 ~x3722 ~x862 ~x2822 ~x4721 
100.83/101.17	v ~x1881 ~x21 ~x3723 ~x863 ~x2823 ~x4722 ~x1882 ~x23 ~x3724 ~x927 
100.83/101.18	v ~x2824 ~x4723 ~x1883 ~x24 ~x3725 ~x928 ~x2825 ~x4724 ~x1884 ~x26 
100.83/101.18	v ~x3727 ~x929 ~x2826 ~x4725 ~x1886 ~x27 ~x3729 ~x930 ~x2827 ~x4726 
100.83/101.18	v ~x1887 ~x29 ~x3730 ~x931 ~x2828 ~x4727 ~x1888 ~x30 ~x3731 ~x932 
100.83/101.18	v ~x2829 ~x4728 ~x1889 ~x32 ~x3732 ~x933 ~x2830 ~x4730 ~x1890 ~x33 
100.83/101.18	v ~x3733 ~x934 ~x2831 ~x4731 ~x1891 ~x35 ~x3734 ~x935 ~x2832 ~x4732 
100.83/101.18	v ~x1892 ~x36 ~x3735 ~x936 ~x2833 ~x4733 ~x1893 ~x38 ~x3736 ~x937 
100.83/101.18	v ~x2834 ~x4734 ~x1894 ~x39 ~x3737 ~x938 ~x2835 ~x4735 ~x1895 ~x41 
100.83/101.18	v ~x3738 ~x939 ~x2836 ~x4736 ~x1896 ~x42 ~x3739 ~x940 ~x2837 ~x4737 
100.83/101.18	v ~x1898 ~x44 x3741 ~x941 ~x2838 ~x4738 ~x1899 ~x45 x3743 ~x942 
100.83/101.18	v ~x2839 ~x4739 ~x1900 ~x47 ~x3744 ~x943 ~x2840 ~x4740 ~x1901 x48 
100.83/101.18	v ~x3745 ~x944 ~x2841 ~x4741 ~x1902 x50 ~x3746 ~x945 ~x2842 ~x4742 
100.83/101.18	v ~x1903 ~x51 ~x3747 ~x946 ~x2844 ~x4743 ~x1904 ~x53 ~x3748 ~x947 
100.83/101.18	v ~x2845 ~x4744 ~x1905 ~x54 ~x3749 ~x948 ~x2846 ~x4745 ~x1906 

OK	20

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: 63968 MiB (59634 MiB free)
  memory of node 1: 64473 MiB (60196 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436362-1721110467/watcher-4436362-1721110467 -o /tmp/evaluation-result-4436362-1721110467/solver-4436362-1721110467 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721103131-840881 --watchdog 3760 pb_picat HOME/instance-4436362-1721110467.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
solver pid=845484, runsolver pid=845481
Current StackSize limit: 8192 KiB


[startup+0.100091 s]*
/proc/loadavg: 4.08 4.09 4.09 5/256 845485
/proc/meminfo: memFree=122676788/131524596 swapFree=131071996/131071996
[pid=845484] ppid=845481 vsize=2033608 memory=35124 CPUtime=0.09 cores=1,3
/proc/845484/stat : 845484 (pb_picat) R 845481 845484 840869 0 -1 4194304 768 0 0 0 9 0 0 0 20 0 1 0 163217238 2082414592 8781 134679101440 4194304 5989780 140732710956656 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 24764416 140732710958105 140732710958181 140732710958181 140732710965196 0
/proc/845484/statm: 508402 8781 1564 439 0 503831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 35124 KiB

[startup+0.205938 s]*
/proc/loadavg: 4.08 4.09 4.09 5/256 845485
/proc/meminfo: memFree=122660012/131524596 swapFree=131071996/131071996
[pid=845484] ppid=845481 vsize=2047364 memory=53332 CPUtime=0.2 cores=1,3
/proc/845484/stat : 845484 (pb_picat) R 845481 845484 840869 0 -1 4194304 2189 0 0 0 19 1 0 0 20 0 1 0 163217238 2096500736 13333 134679101440 4194304 5989780 140732710956656 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 24764416 140732710958105 140732710958181 140732710958181 140732710965196 0
/proc/845484/statm: 511841 13333 1784 439 0 507270 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2047364 KiB
Current children cumulated memory: 53332 KiB

[startup+0.305854 s]*
/proc/loadavg: 4.08 4.09 4.09 5/256 845485
/proc/meminfo: memFree=122658304/131524596 swapFree=131071996/131071996
[pid=845484] ppid=845481 vsize=2049760 memory=54544 CPUtime=0.3 cores=1,3
/proc/845484/stat : 845484 (pb_picat) R 845481 845484 840869 0 -1 4194304 2822 0 0 0 29 1 0 0 20 0 1 0 163217238 2098954240 13636 134679101440 4194304 5989780 140732710956656 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 24764416 140732710958105 140732710958181 140732710958181 140732710965196 0
/proc/845484/statm: 512440 13636 1800 439 0 507869 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2049760 KiB
Current children cumulated memory: 54544 KiB

[startup+0.700238 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 845485
/proc/meminfo: memFree=122656908/131524596 swapFree=131071996/131071996
[pid=845484] ppid=845481 vsize=2047712 memory=53940 CPUtime=0.68 cores=1,3
/proc/845484/stat : 845484 (pb_picat) R 845481 845484 840869 0 -1 4194304 3613 0 0 0 67 1 0 0 20 0 1 0 163217238 2096857088 13485 134679101440 4194304 5989780 140732710956656 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 24764416 140732710958105 140732710958181 140732710958181 140732710965196 0
/proc/845484/statm: 511928 13485 1800 439 0 507357 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2047712 KiB
Current children cumulated memory: 53940 KiB

[startup+1.50024 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 845485
/proc/meminfo: memFree=122652928/131524596 swapFree=131071996/131071996
[pid=845484] ppid=845481 vsize=2053284 memory=60064 CPUtime=1.49 cores=1,3
/proc/845484/stat : 845484 (pb_picat) R 845481 845484 840869 0 -1 4194304 5757 0 0 0 147 2 0 0 20 0 1 0 163217238 2102562816 15016 134679101440 4194304 5989780 140732710956656 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 24764416 140732710958105 140732710958181 140732710958181 140732710965196 0
/proc/845484/statm: 513321 15016 1800 439 0 508750 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2053284 KiB
Current children cumulated memory: 60064 KiB

[startup+3.10577 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 845487
/proc/meminfo: memFree=122647128/131524596 swapFree=131071996/131071996
[pid=845484] ppid=845481 vsize=2059260 memory=64672 CPUtime=3.09 cores=1,3
/proc/845484/stat : 845484 (pb_picat) R 845481 845484 840869 0 -1 4194304 8155 0 0 0 306 3 0 0 20 0 1 0 163217238 2108682240 16168 134679101440 4194304 5989780 140732710956656 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 24764416 140732710958105 140732710958181 140732710958181 140732710965196 0
/proc/845484/statm: 514815 16168 1800 439 0 510244 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2059260 KiB
Current children cumulated memory: 64672 KiB

[startup+6.30022 s]
/proc/loadavg: 4.15 4.10 4.09 5/256 845487
/proc/meminfo: memFree=122671304/131524596 swapFree=131071996/131071996
[pid=845484] ppid=845481 vsize=2059260 memory=65216 CPUtime=6.27 cores=1,3
/proc/845484/stat : 845484 (pb_picat) R 845481 845484 840869 0 -1 4194304 10679 0 0 0 623 4 0 0 20 0 1 0 163217238 2108682240 16304 134679101440 4194304 5989780 140732710956656 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 24764416 140732710958105 140732710958181 140732710958181 140732710965196 0
/proc/845484/statm: 514815 16304 1800 439 0 510244 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2059260 KiB
Current children cumulated memory: 65216 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.10 4.09 5/256 845488
/proc/meminfo: memFree=122671484/131524596 swapFree=131071996/131071996
[pid=845484] ppid=845481 vsize=2067456 memory=72420 CPUtime=12.66 cores=1,3
/proc/845484/stat : 845484 (pb_picat) R 845481 845484 840869 0 -1 4194304 11524 0 0 0 1262 4 0 0 20 0 1 0 163217238 2117074944 18105 134679101440 4194304 5989780 140732710956656 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 24764416 140732710958105 140732710958181 140732710958181 140732710965196 0
/proc/845484/statm: 516864 18105 1800 439 0 512293 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2067456 KiB
Current children cumulated memory: 72420 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.10 4.09 5/256 845490
/proc/meminfo: memFree=122681664/131524596 swapFree=131071996/131071996
[pid=845484] ppid=845481 vsize=2065916 memory=71664 CPUtime=25.43 cores=1,3
/proc/845484/stat : 845484 (pb_picat) R 845481 845484 840869 0 -1 4194304 14128 0 0 0 2538 5 0 0 20 0 1 0 163217238 2115497984 17916 134679101440 4194304 5989780 140732710956656 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 24764416 140732710958105 140732710958181 140732710958181 140732710965196 0
/proc/845484/statm: 516479 17916 1800 439 0 511908 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2065916 KiB
Current children cumulated memory: 71664 KiB

[startup+51.1058 s]
/proc/loadavg: 4.15 4.10 4.09 5/256 845539
/proc/meminfo: memFree=122769860/131524596 swapFree=131071996/131071996
[pid=845484] ppid=845481 vsize=2063072 memory=64464 CPUtime=50.97 cores=1,3
/proc/845484/stat : 845484 (pb_picat) R 845481 845484 840869 0 -1 4194304 17418 0 0 0 5091 6 0 0 20 0 1 0 163217238 2112585728 16116 134679101440 4194304 5989780 140732710956656 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 24764416 140732710958105 140732710958181 140732710958181 140732710965196 0
/proc/845484/statm: 515768 16116 1800 439 0 511197 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 2063072 KiB
Current children cumulated memory: 64464 KiB

[startup+101.18 s]
# the end of solver process 845484 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=100.827 s, system=0.08572 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+51.2003 s]
/proc/loadavg: 4.15 4.10 4.09 5/256 845539
/proc/meminfo: memFree=122769860/131524596 swapFree=131071996/131071996
[pid=845484] ppid=845481 vsize=2063072 memory=64720 CPUtime=51.06 cores=1,3
/proc/845484/stat : 845484 (pb_picat) R 845481 845484 840869 0 -1 4194304 17495 0 0 0 5100 6 0 0 20 0 1 0 163217238 2112585728 16180 134679101440 4194304 5989780 140732710956656 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 24764416 140732710958105 140732710958181 140732710958181 140732710965196 0
/proc/845484/statm: 515768 16180 1800 439 0 511197 0
Current children cumulated CPU time: 51.06 s
Current children cumulated vsize: 2063072 KiB
Current children cumulated memory: 64720 KiB

[startup+76.8002 s]
/proc/loadavg: 4.32 4.15 4.11 5/254 845543
/proc/meminfo: memFree=122753492/131524596 swapFree=131071996/131071996
[pid=845484] ppid=845481 vsize=2067168 memory=69800 CPUtime=76.58 cores=1,3
/proc/845484/stat : 845484 (pb_picat) R 845481 845484 840869 0 -1 4194304 20758 0 0 0 7652 6 0 0 20 0 1 0 163217238 2116780032 17450 134679101440 4194304 5989780 140732710956656 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 24764416 140732710958105 140732710958181 140732710958181 140732710965196 0
/proc/845484/statm: 516792 17450 1800 439 0 512221 0
Current children cumulated CPU time: 76.58 s
Current children cumulated vsize: 2067168 KiB
Current children cumulated memory: 69800 KiB

[startup+89.6002 s]
/proc/loadavg: 4.43 4.17 4.12 5/254 845545
/proc/meminfo: memFree=122749412/131524596 swapFree=131071996/131071996
[pid=845484] ppid=845481 vsize=2067168 memory=71908 CPUtime=89.35 cores=1,3
/proc/845484/stat : 845484 (pb_picat) R 845481 845484 840869 0 -1 4194304 22685 0 0 0 8928 7 0 0 20 0 1 0 163217238 2116780032 17977 134679101440 4194304 5989780 140732710956656 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 24764416 140732710958105 140732710958181 140732710958181 140732710965196 0
/proc/845484/statm: 516792 17977 1800 439 0 512221 0
Current children cumulated CPU time: 89.35 s
Current children cumulated vsize: 2067168 KiB
Current children cumulated memory: 71908 KiB

[startup+96.0002 s]*
/proc/loadavg: 4.52 4.20 4.13 5/254 845546
/proc/meminfo: memFree=122740436/131524596 swapFree=131071996/131071996
[pid=845484] ppid=845481 vsize=2067168 memory=74532 CPUtime=95.74 cores=1,3
/proc/845484/stat : 845484 (pb_picat) R 845481 845484 840869 0 -1 4194304 23511 0 0 0 9566 8 0 0 20 0 1 0 163217238 2116780032 18633 134679101440 4194304 5989780 140732710956656 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 24764416 140732710958105 140732710958181 140732710958181 140732710965196 0
/proc/845484/statm: 516792 18633 1800 439 0 512221 0
Current children cumulated CPU time: 95.74 s
Current children cumulated vsize: 2067168 KiB
Current children cumulated memory: 74532 KiB

[startup+99.2002 s]
/proc/loadavg: 4.52 4.20 4.13 5/254 845547
/proc/meminfo: memFree=122752980/131524596 swapFree=131071996/131071996
[pid=845484] ppid=845481 vsize=2058972 memory=66356 CPUtime=98.93 cores=1,3
/proc/845484/stat : 845484 (pb_picat) R 845481 845484 840869 0 -1 4194304 23527 0 0 0 9885 8 0 0 20 0 1 0 163217238 2108387328 16589 134679101440 4194304 5989780 140732710956656 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 24764416 140732710958105 140732710958181 140732710958181 140732710965196 0
/proc/845484/statm: 514743 16589 1800 439 0 510172 0
Current children cumulated CPU time: 98.93 s
Current children cumulated vsize: 2058972 KiB
Current children cumulated memory: 66356 KiB

[startup+100 s]*
/proc/loadavg: 4.47 4.20 4.12 5/254 845547
/proc/meminfo: memFree=122756344/131524596 swapFree=131071996/131071996
[pid=845484] ppid=845481 vsize=2058972 memory=66356 CPUtime=99.73 cores=1,3
/proc/845484/stat : 845484 (pb_picat) R 845481 845484 840869 0 -1 4194304 23527 0 0 0 9965 8 0 0 20 0 1 0 163217238 2108387328 16589 134679101440 4194304 5989780 140732710956656 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 24764416 140732710958105 140732710958181 140732710958181 140732710965196 0
/proc/845484/statm: 514743 16589 1800 439 0 510172 0
Current children cumulated CPU time: 99.73 s
Current children cumulated vsize: 2058972 KiB
Current children cumulated memory: 66356 KiB

[startup+100.8 s]
/proc/loadavg: 4.47 4.20 4.12 5/254 845547
/proc/meminfo: memFree=122756344/131524596 swapFree=131071996/131071996
[pid=845484] ppid=845481 vsize=2059260 memory=66356 CPUtime=100.52 cores=1,3
/proc/845484/stat : 845484 (pb_picat) R 845481 845484 840869 0 -1 4194304 23529 0 0 0 10044 8 0 0 20 0 1 0 163217238 2108682240 16589 134679101440 4194304 5989780 140732710956656 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 24764416 140732710958105 140732710958181 140732710958181 140732710965196 0
/proc/845484/statm: 514815 16589 1800 439 0 510244 0
Current children cumulated CPU time: 100.52 s
Current children cumulated vsize: 2059260 KiB
Current children cumulated memory: 66356 KiB

[startup+101 s]*
/proc/loadavg: 4.47 4.20 4.12 5/254 845547
/proc/meminfo: memFree=122742980/131524596 swapFree=131071996/131071996
[pid=845484] ppid=845481 vsize=2059260 memory=66356 CPUtime=100.73 cores=1,3
/proc/845484/stat : 845484 (pb_picat) R 845481 845484 840869 0 -1 4194304 23529 0 0 0 10065 8 0 0 20 0 1 0 163217238 2108682240 16589 134679101440 4194304 5989780 140732710956656 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 24764416 140732710958105 140732710958181 140732710958181 140732710965196 0
/proc/845484/statm: 514815 16589 1800 439 0 510244 0
Current children cumulated CPU time: 100.73 s
Current children cumulated vsize: 2059260 KiB
Current children cumulated memory: 66356 KiB

[startup+101.106 s]
/proc/loadavg: 4.47 4.20 4.12 5/254 845547
/proc/meminfo: memFree=122742980/131524596 swapFree=131071996/131071996
[pid=845484] ppid=845481 vsize=2059260 memory=66356 CPUtime=100.83 cores=1,3
/proc/845484/stat : 845484 (pb_picat) R 845481 845484 840869 0 -1 4194304 23529 0 0 0 10075 8 0 0 20 0 1 0 163217238 2108682240 16589 134679101440 4194304 5989780 140732710956656 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 24764416 140732710958105 140732710958181 140732710958181 140732710965196 0
/proc/845484/statm: 514815 16589 1800 439 0 510244 0
Current children cumulated CPU time: 100.83 s
Current children cumulated vsize: 2059260 KiB
Current children cumulated memory: 66356 KiB

Child status: 0

Real time (s): 101.181
CPU time (s): 100.912
CPU user time (s): 100.827
CPU system time (s): 0.08572
CPU usage (%): 99.7351
Max. virtual memory (cumulated for all children) (KiB): 2082304
Max. memory (cumulated for all children) (KiB): 83988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 100.827
system time used= 0.08572
maximum resident set size= 83988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23533
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= 4
involuntary context switches= 114


# summary of solver processes directly reported to runsolver:
#   pid: 845484
#   total CPU time (s): 100.912
#   total CPU user time (s): 100.827
#   total CPU system time (s): 0.08572

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.181568 second user time and 0.536811 second system time

The end

Begin job on nodeC034 at 2024-07-16 08:14:39
IDJOB=4436362
IDBENCH=148192
IDSOLVER=3068
FILE ID=nodeC034/4436362-1721110467
RUNJOBID= nodeC034-1721103131-840881
SLURM_JOB_ID= 7505618
Free space on /tmp= 890056 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436362-1721110467/watcher-4436362-1721110467 -o /tmp/evaluation-result-4436362-1721110467/solver-4436362-1721110467 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721103131-840881 --watchdog 3760  pb_picat HOME/instance-4436362-1721110467.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 2f5de9b63d0a2988dce846045b262c40
RANDOM SEED=2117187035

nodeC034.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	: 0xb00002a
cpu MHz		: 3661.918
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3657.864
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.095
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3660.521
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3661.989
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3670.591
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.064
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.552
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524596 kB
MemFree:        122706340 kB
MemAvailable:   128447392 kB
Buffers:          387744 kB
Cached:          6120796 kB
SwapCached:            0 kB
Active:           716416 kB
Inactive:        7349192 kB
Active(anon):       1532 kB
Inactive(anon):  1593564 kB
Active(file):     714884 kB
Inactive(file):  5755628 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4152 kB
Writeback:            20 kB
AnonPages:       1554048 kB
Mapped:           114164 kB
Shmem:             37720 kB
KReclaimable:     220724 kB
Slab:             342532 kB
SReclaimable:     220724 kB
SUnreclaim:       121808 kB
KernelStack:        4128 kB
PageTables:        12244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834292 kB
Committed_AS:    7112268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            63360 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1347584 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:      250580 kB
DirectMap2M:    28882944 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890052 MiB
End job on nodeC034 at 2024-07-16 08:16:21