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

OK	19643295490

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: 63708 MiB (46578 MiB free)
  memory of node 1: 64465 MiB (62935 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528608-1752245831/watcher-4528608-1752245831 -o /tmp/evaluation-result-4528608-1752245831/solver-4528608-1752245831 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1752245528-119932 --watchdog 3760 pb_picat HOME/instance-4528608-1752245831.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=120230, runsolver pid=120227
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 4.12 3.25 2.60 5/265 120231
/proc/meminfo: memFree=112130156/131250000 swapFree=33008356/33010684
[pid=120230] ppid=120227 vsize=2027148 memory=36532 CPUtime=0.09 cores=1,3
/proc/120230/stat : 120230 (pb_picat) R 120227 120230 119920 0 -1 4194304 1124 0 0 0 9 0 0 0 20 0 1 0 140259651 2075799552 9133 18446744073709551615 94591532806144 94591534207725 140737328216240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94591534479152 94591536353392 94591547478016 140737328224668 140737328224744 140737328224744 140737328230348 0
/proc/120230/statm: 506787 9133 1536 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36532 KiB

[startup+0.205608 s]*
/proc/loadavg: 4.12 3.25 2.60 5/265 120231
/proc/meminfo: memFree=112117868/131250000 swapFree=33008356/33010684
[pid=120230] ppid=120227 vsize=2038428 memory=48940 CPUtime=0.2 cores=1,3
/proc/120230/stat : 120230 (pb_picat) R 120227 120230 119920 0 -1 4194304 2087 0 0 0 19 1 0 0 20 0 1 0 140259651 2087350272 12235 18446744073709551615 94591532806144 94591534207725 140737328216240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94591534479152 94591536353392 94591547478016 140737328224668 140737328224744 140737328224744 140737328230348 0
/proc/120230/statm: 509607 12235 1728 343 0 506671 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2038428 KiB
Current children cumulated memory: 48940 KiB

[startup+0.305445 s]*
/proc/loadavg: 4.12 3.25 2.60 5/265 120231
/proc/meminfo: memFree=112118120/131250000 swapFree=33008356/33010684
[pid=120230] ppid=120227 vsize=2039416 memory=49716 CPUtime=0.3 cores=1,3
/proc/120230/stat : 120230 (pb_picat) R 120227 120230 119920 0 -1 4194304 2990 0 0 0 29 1 0 0 20 0 1 0 140259651 2088361984 12429 18446744073709551615 94591532806144 94591534207725 140737328216240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94591534479152 94591536353392 94591547478016 140737328224668 140737328224744 140737328224744 140737328230348 0
/proc/120230/statm: 509854 12429 1728 343 0 506918 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2039416 KiB
Current children cumulated memory: 49716 KiB

[startup+0.700104 s]
/proc/loadavg: 4.12 3.25 2.60 5/265 120231
/proc/meminfo: memFree=112118152/131250000 swapFree=33008356/33010684
[pid=120230] ppid=120227 vsize=2039932 memory=50748 CPUtime=0.68 cores=1,3
/proc/120230/stat : 120230 (pb_picat) R 120227 120230 119920 0 -1 4194304 3878 0 0 0 67 1 0 0 20 0 1 0 140259651 2088890368 12687 18446744073709551615 94591532806144 94591534207725 140737328216240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94591534479152 94591536353392 94591547478016 140737328224668 140737328224744 140737328224744 140737328230348 0
/proc/120230/statm: 509983 12687 1728 343 0 507047 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2039932 KiB
Current children cumulated memory: 50748 KiB

[startup+1.50016 s]
/proc/loadavg: 4.12 3.25 2.60 5/265 120231
/proc/meminfo: memFree=112118152/131250000 swapFree=33008356/33010684
[pid=120230] ppid=120227 vsize=2041632 memory=50668 CPUtime=1.48 cores=1,3
/proc/120230/stat : 120230 (pb_picat) R 120227 120230 119920 0 -1 4194304 5587 0 0 0 147 1 0 0 20 0 1 0 140259651 2090631168 12667 18446744073709551615 94591532806144 94591534207725 140737328216240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94591534479152 94591536353392 94591547478016 140737328224668 140737328224744 140737328224744 140737328230348 0
/proc/120230/statm: 510408 12667 1728 343 0 507472 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2041632 KiB
Current children cumulated memory: 50668 KiB

[startup+3.10531 s]
/proc/loadavg: 4.12 3.25 2.60 5/265 120231
/proc/meminfo: memFree=112118152/131250000 swapFree=33008356/33010684
[pid=120230] ppid=120227 vsize=2042528 memory=52112 CPUtime=3.08 cores=1,3
/proc/120230/stat : 120230 (pb_picat) R 120227 120230 119920 0 -1 4194304 6972 0 0 0 307 1 0 0 20 0 1 0 140259651 2091548672 13028 18446744073709551615 94591532806144 94591534207725 140737328216240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94591534479152 94591536353392 94591547478016 140737328224668 140737328224744 140737328224744 140737328230348 0
/proc/120230/statm: 510632 13028 1728 343 0 507696 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2042528 KiB
Current children cumulated memory: 52112 KiB

[startup+6.30014 s]
/proc/loadavg: 4.11 3.26 2.60 5/265 120231
/proc/meminfo: memFree=112118152/131250000 swapFree=33008356/33010684
[pid=120230] ppid=120227 vsize=2041192 memory=51028 CPUtime=6.27 cores=1,3
/proc/120230/stat : 120230 (pb_picat) R 120227 120230 119920 0 -1 4194304 14241 0 0 0 622 5 0 0 20 0 1 0 140259651 2090180608 12757 18446744073709551615 94591532806144 94591534207725 140737328216240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94591534479152 94591536353392 94591547478016 140737328224668 140737328224744 140737328224744 140737328230348 0
/proc/120230/statm: 510298 12757 1728 343 0 507362 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2041192 KiB
Current children cumulated memory: 51028 KiB

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

# cumulated CPU time of all completed processes:  user=7.67926 s, system=0.092762 s

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

[startup+6.40018 s]
/proc/loadavg: 4.11 3.26 2.60 5/265 120231
/proc/meminfo: memFree=112118152/131250000 swapFree=33008356/33010684
[pid=120230] ppid=120227 vsize=2036068 memory=47316 CPUtime=6.37 cores=1,3
/proc/120230/stat : 120230 (pb_picat) R 120227 120230 119920 0 -1 4194304 15184 0 0 0 632 5 0 0 20 0 1 0 140259651 2084933632 11829 18446744073709551615 94591532806144 94591534207725 140737328216240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94591534479152 94591536353392 94591547478016 140737328224668 140737328224744 140737328224744 140737328230348 0
/proc/120230/statm: 509017 11829 1728 343 0 506081 0
Current children cumulated CPU time: 6.37 s
Current children cumulated vsize: 2036068 KiB
Current children cumulated memory: 47316 KiB

[startup+7.20011 s]
/proc/loadavg: 4.11 3.26 2.60 5/265 120231
/proc/meminfo: memFree=112118404/131250000 swapFree=33008356/33010684
[pid=120230] ppid=120227 vsize=2036068 memory=47320 CPUtime=7.17 cores=1,3
/proc/120230/stat : 120230 (pb_picat) R 120227 120230 119920 0 -1 4194304 20494 0 0 0 710 7 0 0 20 0 1 0 140259651 2084933632 11830 18446744073709551615 94591532806144 94591534207725 140737328216240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94591534479152 94591536353392 94591547478016 140737328224668 140737328224744 140737328224744 140737328230348 0
/proc/120230/statm: 509017 11830 1728 343 0 506081 0
Current children cumulated CPU time: 7.17 s
Current children cumulated vsize: 2036068 KiB
Current children cumulated memory: 47320 KiB

[startup+7.60012 s]
/proc/loadavg: 4.11 3.26 2.60 5/265 120231
/proc/meminfo: memFree=112118404/131250000 swapFree=33008356/33010684
[pid=120230] ppid=120227 vsize=2038504 memory=49356 CPUtime=7.56 cores=1,3
/proc/120230/stat : 120230 (pb_picat) R 120227 120230 119920 0 -1 4194304 23234 0 0 0 749 7 0 0 20 0 1 0 140259651 2087428096 12339 18446744073709551615 94591532806144 94591534207725 140737328216240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94591534479152 94591536353392 94591547478016 140737328224668 140737328224744 140737328224744 140737328230348 0
/proc/120230/statm: 509626 12339 1728 343 0 506690 0
Current children cumulated CPU time: 7.56 s
Current children cumulated vsize: 2038504 KiB
Current children cumulated memory: 49356 KiB

[startup+7.70012 s]
/proc/loadavg: 4.11 3.26 2.60 5/265 120231
/proc/meminfo: memFree=112118404/131250000 swapFree=33008356/33010684
[pid=120230] ppid=120227 vsize=2038504 memory=49356 CPUtime=7.67 cores=1,3
/proc/120230/stat : 120230 (pb_picat) R 120227 120230 119920 0 -1 4194304 23248 0 0 0 759 8 0 0 20 0 1 0 140259651 2087428096 12339 18446744073709551615 94591532806144 94591534207725 140737328216240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94591534479152 94591536353392 94591547478016 140737328224668 140737328224744 140737328224744 140737328230348 0
/proc/120230/statm: 509626 12339 1728 343 0 506690 0
Current children cumulated CPU time: 7.67 s
Current children cumulated vsize: 2038504 KiB
Current children cumulated memory: 49356 KiB

Child status: 0

Real time (s): 7.79585
CPU time (s): 7.77203
CPU user time (s): 7.67926
CPU system time (s): 0.092762
CPU usage (%): 99.6944
Max. virtual memory (cumulated for all children) (KiB): 2042528
Max. memory (cumulated for all children) (KiB): 52312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.67926
system time used= 0.092762
maximum resident set size= 52312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23252
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= 66
involuntary context switches= 21


# summary of solver processes directly reported to runsolver:
#   pid: 120230
#   total CPU time (s): 7.77203
#   total CPU user time (s): 7.67926
#   total CPU system time (s): 0.092762

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.028608 second user time and 0.061579 second system time

The end

Begin job on nodeC014 at 2025-07-11 16:57:11
IDJOB=4528608
IDBENCH=161731
IDSOLVER=3385
FILE ID=nodeC014/4528608-1752245831
RUNJOBID= nodeC014-1752245528-119932
SLURM_JOB_ID= 9682574
Free space on /tmp= 430504 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB16/OPT-LIN/lion9-single-obj/normalized-single-obj-f47-DC_Side1.seq-B-2-2-irabcde.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528608-1752245831/watcher-4528608-1752245831 -o /tmp/evaluation-result-4528608-1752245831/solver-4528608-1752245831 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1752245528-119932 --watchdog 3760  pb_picat HOME/instance-4528608-1752245831.opb

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

MD5SUM BENCH= d91ba83663c391c99ea180af3689db47
RANDOM SEED=1758685062

nodeC014 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.133
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
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		: 3600.134
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
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.633
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
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		: 3604.513
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
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		: 3600.115
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
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		: 3600.133
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
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		: 3603.470
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.861
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        112142536 kB
MemAvailable:   129578740 kB
Buffers:             696 kB
Cached:         18186308 kB
SwapCached:         1628 kB
Active:           580364 kB
Inactive:       17816056 kB
Active(anon):     203000 kB
Inactive(anon):    31012 kB
Active(file):     377364 kB
Inactive(file): 17785044 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008356 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3980 kB
Writeback:             0 kB
AnonPages:        209252 kB
Mapped:           115220 kB
Shmem:             24596 kB
KReclaimable:     226072 kB
Slab:             320260 kB
SReclaimable:     226072 kB
SUnreclaim:        94188 kB
KernelStack:        4288 kB
PageTables:         3452 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    6580700 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     94208 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430500 MiB
End job on nodeC014 at 2025-07-11 16:57:19