0.00/0.01	c solving HOME/instance-4497787-1751394954.opb (Picat 3.9b6)
1.46/1.52	o 30
30.88/31.01	o 19
899.92/902.62	s OPTIMUM FOUND
899.92/902.62	v ~x5899 ~x2117 ~x7721 ~x375 ~x4009 ~x5900 ~x2118 ~x7722 ~x376 ~x4010 
899.92/902.62	v ~x5901 ~x2119 ~x7723 ~x377 ~x4011 ~x5902 ~x2120 ~x7724 ~x379 ~x4012 
899.92/902.62	v ~x5903 ~x2121 ~x7725 ~x380 ~x4013 ~x5904 ~x2122 ~x7726 ~x381 ~x4014 
899.92/902.62	v ~x5905 ~x2123 ~x7727 ~x382 ~x4015 ~x5906 ~x2124 ~x7728 ~x384 ~x4016 
899.92/902.62	v ~x5907 ~x2125 ~x7730 x385 ~x4017 ~x5909 ~x2126 ~x7731 x386 ~x4018 
899.92/902.62	v ~x5910 ~x2127 ~x7732 ~x387 ~x4019 ~x5911 ~x2128 ~x7733 ~x388 ~x4020 
899.92/902.62	v ~x5912 ~x2129 ~x7734 ~x389 ~x4021 ~x5913 ~x2131 ~x7735 ~x390 ~x4022 
899.92/902.62	v ~x5914 ~x2132 ~x7736 ~x391 ~x4024 ~x5915 ~x2133 ~x7737 ~x392 ~x4025 
899.92/902.62	v ~x5916 ~x2134 ~x7738 ~x393 ~x4026 ~x5917 ~x2135 ~x7739 ~x394 ~x4027 
899.92/902.62	v ~x5918 ~x2136 ~x7740 ~x395 ~x4028 ~x5919 ~x2137 ~x7741 ~x396 ~x4029 
899.92/902.62	v ~x5920 ~x2138 ~x7742 ~x397 ~x4030 ~x5921 ~x2139 ~x7743 ~x398 ~x4031 
899.92/902.62	v ~x5922 ~x2140 ~x7744 ~x399 ~x4032 ~x5923 ~x2141 ~x7745 ~x401 ~x4033 
899.92/902.62	v ~x5924 ~x2142 ~x7746 ~x402 ~x4034 ~x5925 ~x2143 ~x7747 ~x404 ~x4035 
899.92/902.62	v ~x5926 ~x2144 ~x7748 ~x405 ~x4036 ~x5927 ~x2145 ~x7749 ~x406 ~x4037 
899.92/902.62	v ~x5928 ~x2146 ~x7750 ~x407 ~x4038 ~x5929 ~x2147 ~x7751 ~x408 ~x4039 
899.92/902.62	v ~x5930 ~x2148 ~x7752 ~x409 ~x4040 ~x5931 ~x2149 ~x7753 ~x411 ~x4041 
899.92/902.62	v ~x5932 ~x2150 ~x7754 ~x412 ~x4042 ~x5933 ~x2151 ~x7755 ~x414 ~x4043 
899.92/902.62	v ~x5934 ~x2152 ~x7757 ~x415 ~x4044 ~x5936 ~x2153 ~x7758 ~x417 ~x4045 
899.92/902.62	v ~x5937 ~x2154 ~x7759 ~x418 ~x4046 ~x5938 ~x2155 ~x7760 ~x420 ~x4047 
899.92/902.62	v ~x5939 ~x2156 ~x7761 ~x421 ~x4048 ~x5940 ~x2158 ~x7762 ~x422 ~x4049 
899.92/902.62	v ~x5941 ~x2159 ~x7763 ~x423 ~x4051 ~x5942 ~x2160 ~x7764 ~x425 ~x4052 
899.92/902.62	v ~x5943 ~x2161 ~x7765 ~x426 ~x4053 ~x5944 ~x2162 ~x7766 ~x427 ~x4054 
899.92/902.62	v ~x5945 ~x2163 ~x7767 ~x428 ~x4055 ~x5946 ~x2164 ~x7768 ~x430 ~x4056 
899.92/902.62	v ~x5947 ~x2165 ~x7769 ~x431 ~x4057 ~x5948 ~x2166 ~x7770 ~x432 ~x4058 
899.92/902.62	v ~x5949 ~x2167 ~x7771 ~x433 ~x4059 ~x5950 ~x2168 ~x7772 ~x435 ~x4060 
899.92/902.62	v ~x5951 ~x2169 ~x7773 ~x436 ~x4061 ~x5952 ~x2170 ~x7774 ~x438 ~x4062 
899.92/902.62	v ~x5953 ~x2171 ~x7775 ~x439 ~x4063 ~x5954 ~x2172 ~x7776 ~x440 ~x4064 
899.92/902.62	v ~x5955 ~x2173 ~x7777 ~x441 ~x4065 ~x5956 ~x2174 ~x7778 ~x442 ~x4066 
899.92/902.62	v ~x5957 ~x2175 ~x7779 ~x444 ~x4067 ~x5958 ~x2176 ~x7780 ~x443 ~x4068 
899.92/902.62	v ~x5959 ~x2177 ~x7781 ~x445 ~x4069 ~x5960 ~x2178 ~x7782 ~x446 ~x4070 
899.92/902.62	v ~x5961 ~x2179 ~x7784 ~x447 ~x4071 x5963 ~x2180 ~x7785 ~x449 ~x4072 
899.92/902.62	v ~x5964 ~x2181 ~x7786 ~x448 ~x4073 ~x5965 ~x2182 ~x7787 ~x450 ~x4074 
899.92/902.62	v ~x5966 ~x2183 ~x7788 ~x451 ~x4075 ~x5967 ~x2185 ~x7789 ~x452 ~x4076 
899.92/902.62	v ~x5968 ~x2186 ~x7790 ~x454 ~x4078 ~x5969 ~x2187 ~x7791 ~x453 ~x4079 
899.92/902.62	v ~x5970 ~x2188 ~x7792 ~x455 ~x4080 ~x5971 ~x2189 ~x7793 ~x457 ~x4081 
899.92/902.62	v ~x5972 ~x2190 ~x7794 ~x456 ~x4082 ~x5973 ~x2191 ~x7796 ~x458 ~x4083 
899.92/902.62	v ~x5974 ~x2192 ~x7798 ~x459 ~x4084 ~x5975 ~x2193 ~x7799 ~x460 ~x4085 
899.92/902.62	v ~x5976 ~x2194 ~x7800 ~x462 ~x4086 x5977 ~x2195 ~x7801 ~x461 ~x4087 
899.92/902.62	v ~x5978 ~x2196 ~x7802 ~x463 ~x4088 ~x5979 ~x2197 ~x7803 ~x465 ~x4089 
899.92/902.62	v ~x5980 ~x2198 ~x7804 ~x464 ~x4090 ~x5981 ~x2199 ~x7805 ~x466 ~x4091 
899.92/902.62	v ~x5982 ~x2200 ~x7806 ~x468 ~x4092 ~x5983 ~x2201 ~x7807 ~x467 ~x4093 
899.92/902.62	v ~x5984 ~x2202 ~x7808 ~x469 ~x4094 ~x5985 ~x2203 ~x7810 ~x471 ~x4095 
899.92/902.62	v ~x5986 ~x2204 ~x7812 ~x470 ~x4096 ~x5987 ~x2205 ~x7813 ~x472 ~x4097 
899.92/902.62	v ~x5988 ~x2206 ~x7814 ~x474 ~x4098 x5990 ~x2207 ~x7815 ~x473 ~x4099 
899.92/902.62	v ~x5991 ~x2208 ~x7816 ~x475 ~x4100 ~x5992 ~x2209 ~x7817 ~x476 ~x4101 
899.92/902.62	v ~x5993 ~x2210 ~x7818 ~x477 ~x4102 ~x5994 ~x2212 ~x7819 ~x479 ~x4103 
899.92/902.62	v ~x5995 ~x2213 ~x7820 ~x478 ~x4105 ~x5996 ~x2214 ~x7821 ~x480 ~x4106 
899.92/902.62	v ~x5997 ~x2215 ~x7822 ~x482 ~x4107 ~x5998 ~x2216 ~x7824 ~x481 ~x4108 
899.92/902.62	v ~x5999 ~x2217 ~x7826 ~x483 ~x4109 ~x6000 ~x2218 ~x7827 ~x485 ~x4110 
899.92/902.62	v ~x6001 ~x2219 ~x7828 ~x484 ~x4111 ~x6002 ~x2220 ~x7829 ~x486 ~x4112 
899.92/902.62	v ~x6003 ~x2221 ~x7830 ~x488 ~x4113 ~x6004 ~x2222 ~x7831 ~x487 ~x4114 
899.92/902.62	v ~x6005 ~x2223 ~x7832 ~x489 ~x4115 ~x6006 ~x2224 ~x7833 ~x491 ~x4116 
899.92/902.62	v ~x6007 ~x2225 ~x7834 ~x490 ~x4117 ~x6008 ~x2226 ~x7835 ~x492 ~x4118 
899.92/902.62	v ~x6009 ~x2227 ~x7836 ~x494 ~x4119 ~x6010 ~x2228 x7838 ~x493 ~x4120 
899.92/902.62	v ~x6011 ~x2229 ~x7840 ~x495 ~x4121 ~x6012 ~x2230 ~x7841 ~x497 ~x4122 
899.92/902.62	v ~x6013 ~x2231 ~x7842 ~x496 ~x4123 ~x6014 ~x2232 ~x7843 ~x498 ~x4124 
899.92/902.62	v ~x6015 ~x2233 ~x7844 ~x500 ~x4125 ~x6017 ~x2234 ~x7845 ~x499 ~x4126 
899.92/902.62	v ~x6018 ~x2235 ~x7846 ~x501 ~x4127 ~x6019 ~x2236 ~x7847 ~x502 ~x4128 
899.92/902.62	v ~x6020 ~x2237 ~x7848 ~x503 ~x4129 ~x6021 ~x2239 ~x7849 ~x504 ~x4130 
899.92/902.62	v ~x6022 ~x2240 ~x7850 ~x505 ~x4132 ~x6023 ~x2241 x7852 ~x507 ~x4133 
899.92/902.62	v ~x6024 ~x2242 ~x7854 ~x506 ~x4134 ~x6025 ~x2243 ~x7855 ~x508 ~x4135 
899.92/902.62	v ~x6026 ~x2244 ~x7856 ~x510 ~x4136 ~x6027 ~x2245 ~x7857 ~x509 ~x4137 
899.92/902.62	v ~x6028 ~x2246 ~x7858 ~x511 ~x4138 ~x6029 ~x2247 ~x7859 ~x513 ~x4139 
899.92/902.62	v ~x6030 ~x2248 ~x7860 ~x512 ~x4140 ~x6031 ~x2249 ~x7861 ~x514 ~x4141 
899.92/902.62	v ~x6032 ~x2250 ~x7862 ~x516 ~x4142 ~x6033 ~x2251 ~x7863 ~x515 ~x4143 
899.92/902.62	v ~x6034 ~x2252 ~x7864 ~x517 ~x4144 ~x6035 ~x2253 ~x7866 ~x518 ~x4145 
899.92/902.62	v ~x6036 ~x2254 ~x7867 ~x519 ~x4146 ~x6037 ~x2255 ~x7868 ~x521 ~x4147 
899.92/902.62	v ~x6038 ~x2256 ~x7869 ~x520 ~x4148 ~x6039 ~x2257 ~x7870 ~x522 ~x4149 
899.92/902.62	v ~x6040 ~x2258 ~x7871 ~x523 ~x4150 ~x6041 ~x2259 ~x7872 ~x524 ~x4151 
899.92/902.62	v ~x6042 ~x2260 ~x7873 ~x526 ~x4152 x6044 ~x2261 ~x7874 ~x525 ~x4153 
899.92/902.62	v ~x6045 ~x2262 ~x7875 ~x527 ~x4154 ~x6046 ~x2263 ~x7876 ~x529 ~x4155 
899.92/902.62	v ~x6047 ~x2264 x7878 ~x528 ~x4156 ~x6048 ~x2266 ~x7880 ~x530 ~x4157 
899.92/902.62	v ~x6049 ~x2267 ~x7881 ~x532 ~x4159 ~x6050 ~x2268 ~x7882 ~x531 ~x4160 
899.92/902.62	v ~x6051 ~x2269 ~x7883 ~x533 ~x4161 ~x6052 ~x2270 ~x7884 ~x535 ~x4162 
899.92/902.62	v ~x6053 ~x2271 ~x7885 ~x534 ~x4163 ~x6054 ~x2272 ~x7886 ~x536 ~x4164 
899.92/902.62	v ~x6055 ~x2273 ~x7887 ~x538 ~x4165 ~x6056 ~x2274 ~x7888 ~x537 ~x4166 
899.92/902.62	v ~x6057 ~x2275 ~x7889 ~x539 ~x4167 ~x6058 ~x2276 ~x7890 ~x541 ~x4168 
899.92/902.62	v ~x6059 ~x2277 x7892 ~x540 ~x4169 ~x6060 ~x2278 ~x7894 ~x542 ~x4170 
899.92/902.62	v ~x6061 ~x2279 ~x7895 ~x544 ~x4171 ~x6062 ~x2280 ~x7896 ~x543 ~x4172 
899.92/902.62	v ~x6063 ~x2281 ~x7897 ~x545 ~x4173 ~x6064 ~x2282 ~x7898 ~x547 ~x4174 
899.92/902.62	v ~x6065 ~x2283 ~x7899 ~x546 ~x4175 ~x6066 ~x2284 ~x7900 ~x548 ~x4176 
899.92/902.62	v ~x6067 ~x2285 ~x7901 ~x550 ~x4177 ~x6068 ~x2286 ~x7902 ~x549 ~x4178 
899.92/902.62	v ~x6069 ~x2287 ~x7903 ~x551 ~x4179 ~x6071 ~x2288 ~x7904 ~x553 ~x4180 
899.92/902.62	v ~x6072 ~x2289 x7906 ~x552 ~x4181 ~x6073 ~x2290 ~x7907 ~x554 ~x4182 
899.92/902.62	v ~x6074 ~x2291 ~x7908 ~x556 ~x4183 ~x6075 ~x2293 ~x7909 ~x555 ~x4184 
899.92/902.62	v ~x6076 ~x2294 x7910 ~x557 x4186 ~x6077 ~x2295 ~x7911 ~x558 ~x4187 
899.92/902.62	v ~x6078 ~x2296 ~x7912 ~x559 ~x4188 ~x6079 ~x2297 ~x7913 ~x561 ~x4189 
899.92/902.62	v ~x6080 ~x2298 ~x7914 ~x560 ~x4190 ~x6081 ~x2299 ~x7915 ~x562 ~x4191 
899.92/902.62	v ~x6083 ~x2300 ~x7916 ~x564 ~x4192 ~x6084 ~x2301 ~x7918 ~x563 ~x4193 
899.92/902.62	v ~x6085 ~x2302 ~x7919 ~x565 ~x4194 ~x6086 ~x2303 ~x7920 ~x567 ~x4195 
899.92/902.62	v ~x6087 ~x2304 ~x7921 ~x566 ~x4196 ~x6088 ~x2305 ~x7922 ~x568 ~x4197 
899.92/902.62	v ~x6089 ~x2306 ~x7923 x570 ~x4198 ~x6090 ~x2307 ~x7924 ~x569 ~x4199 
899.92/902.62	v ~x6091 ~x2308 ~x7925 ~x571 ~x4200 ~x6092 ~x2309 ~x7926 ~x573 ~x4201 
899.92/902.62	v ~x6093 ~x2310 ~x7927 ~x572 ~x4202 ~x6095 ~x2311 ~x7928 ~x574 ~x4203 
899.92/902.62	v ~x6096 ~x2312 ~x7930 ~x576 x4204 ~x6097 ~x2313 ~x7931 ~x575 ~x4205 
899.92/902.62	v ~x6098 ~x2314 ~x7932 ~x577 ~x4206 ~x6099 ~x2315 ~x7933 ~x579 ~x4207 
899.92/902.62	v ~x6100 ~x2316 ~x7934 ~x578 ~x4208 ~x6101 ~x2317 ~x7935 ~x580 ~x4209 
899.92/902.62	v ~x6102 ~x2318 ~x7936 ~x582 ~x4210 ~x6103 ~x2320 ~x7937 ~x581 ~x4211 
899.92/902.62	v ~x6104 ~x2321 ~x7938 ~x583 ~x4213 ~x6105 ~x2322 ~x7939 ~x585 ~x4214 
899.92/902.62	v ~x6107 ~x2323 ~x7940 ~x584 ~x4215 ~x6108 ~x2324 ~x7942 ~x586 ~x4216 
899.92/902.62	v ~x6109 ~x2325 ~x7943 ~x588 ~x4217 ~x6110 ~x2326 ~x7944 ~x587 ~x4218 
899.92/902.62	v ~x6111 ~x2327 ~x7945 ~x589 ~x4219 ~x6112 ~x2328 ~x7946 ~x591 ~x4220 
899.92/902.62	v ~x6113 ~x2329 ~x7947 ~x590 ~x4221 ~x6114 ~x2330 ~x7948 ~x592 ~x4222 
899.92/902.62	v ~x6115 ~x2331 ~x7949 ~x594 ~x4223 ~x6116 ~x2332 ~x7950 ~x593 ~x4224 
899.92/902.62	v ~x6117 ~x2333 ~x7951 ~x595 ~x4225 ~x6119 ~x2334 ~x7952 ~x597 ~x4226 
899.92/902.62	v ~x6120 ~x2335 x7954 ~x596 ~x4227 ~x6121 ~x2336 ~x7956 ~x598 ~x4228 
899.92/902.62	v ~x6122 ~x2337 ~x7957 ~x600 ~x4229 ~x6123 ~x2338 ~x7958 ~x599 ~x4230 
899.92/902.62	v ~x6124 ~x2339 ~x7959 ~x601 ~x4231 ~x6125 ~x2340 ~x7960 ~x602 ~x4232 
899.92/902.62	v ~x6126 ~x2341 ~x7961 ~x603 ~x4233 ~x6127 ~x2342 ~x7962 ~x605 ~x4234 
899.92/902.62	v ~x6128 ~x2343 ~x7963 ~x604 ~x4235 ~x6129 ~x2344 ~x7964 ~x606 ~x4236 
899.92/902.62	v ~x6131 ~x2345 ~x7965 ~x608 ~x4237 ~x6132 ~x2347 ~x7966 ~x607 ~x4238 
899.92/902.62	v ~x6133 ~x2348 ~x7968 ~x609 ~x4240 ~x6134 ~x2349 ~x7970 ~x611 ~x4241 
899.92/902.62	v ~x6135 ~x2350 ~x7971 ~x610 ~x4242 ~x6136 ~x2351 ~x7972 ~x612 ~x4243 
899.92/902.62	v ~x6137 ~x2352 ~x7973 ~x614 ~x4244 ~x6138 ~x2353 ~x7974 ~x613 ~x4245 
899.92/902.62	v ~x6139 ~x2354 ~x7975 ~x615 ~x4246 ~x6140 ~x2355 ~x7976 ~x617 ~x4247 
899.92/902.62	v ~x6141 ~x2356 ~x7977 ~x616 ~x4248 ~x6143 ~x2357 ~x7978 ~x618 ~x4249 
899.92/902.62	v ~x6144 ~x2358 ~x7979 ~x619 ~x4250 ~x6145 ~x2359 ~x7980 ~x620 ~x4251 
899.92/902.62	v ~x6146 ~x2360 ~x7982 ~x622 ~x4252 ~x6147 ~x2361 ~x7983 ~x621 ~x4253 
899.92/902.62	v ~x6148 ~x2362 ~x7984 ~x623 ~x4254 ~x6149 ~x2363 ~x7985 ~x625 ~x4255 
899.92/902.62	v ~x6150 ~x2364 ~x7986 ~x624 ~x4256 ~x6151 ~x2365 ~x7987 ~x626 ~x4257 
899.92/902.62	v ~x6152 ~x2366 ~x7988 ~x628 ~x4258 ~x6153 ~x2367 ~x7989 ~x627 ~x4259 
899.92/902.62	v ~x6155 ~x2368 ~x7990 ~x629 ~x4260 ~x6156 ~x2369 ~x7991 ~x631 ~x4261 
899.92/902.62	v ~x6157 ~x2370 ~x7992 ~x630 ~x4262 ~x6158 ~x2371 x7994 ~x632 ~x4263 
899.92/902.62	v ~x6159 ~x2372 ~x7996 ~x634 ~x4264 ~x6160 x2374 ~x7997 ~x633 ~x4265 
899.92/902.62	v ~x6161 ~x2375 ~x7998 ~x635 ~x4267 ~x6162 ~x2376 ~x7999 ~x637 ~x4268 
899.92/902.62	v ~x6163 ~x2377 ~x8000 ~x636 ~x4269 ~x6164 ~x2378 ~x8001 ~x638 ~x4270 
899.92/902.62	v ~x6165 ~x2379 ~x8002 ~x640 ~x4271 ~x6167 ~x2380 ~x8003 ~x639 ~x4272 
899.92/902.62	v ~x6168 ~x2381 ~x8004 ~x641 ~x4273 ~x6169 ~x2382 ~x8005 ~x643 ~x4274 
899.92/902.62	v ~x6170 ~x2383 ~x8006 ~x642 ~x4275 ~x6171 ~x2384 ~x8008 ~x644 ~x4276 
899.92/902.62	v ~x6172 ~x2385 ~x8010 ~x646 ~x4277 ~x6173 ~x2386 ~x8011 ~x645 ~x4278 
899.92/902.62	v ~x6174 ~x2387 ~x8012 ~x647 ~x4279 ~x6175 ~x2388 ~x8013 ~x649 ~x4280 
899.92/902.62	v ~x6176 ~x2389 ~x8014 ~x648 ~x4281 ~x6177 ~x2390 ~x8015 ~x650 ~x4282 
899.92/902.62	v ~x6179 ~x2391 ~x8016 ~x652 ~x4283 ~x6180 ~x2392 ~x8017 ~x651 ~x4284 
899.92/902.62	v ~x6181 ~x2393 ~x8018 ~x653 ~x4285 ~x6182 ~x2394 ~x8019 ~x655 ~x4286 
899.92/902.62	v ~x6183 ~x2395 ~x8020 ~x654 ~x4287 ~x6184 x2396 x8022 ~x656 ~x4288 
899.92/902.62	v ~x6185 ~x2397 ~x8024 ~x658 ~x4289 ~x6186 ~x2398 ~x8025 ~x657 ~x4290 
899.92/902.62	v ~x6187 ~x2399 ~x8026 ~x659 ~x4291 ~x6188 ~x2401 ~x8027 ~x661 ~x4292 
899.92/902.62	v ~x6189 ~x2402 ~x8028 ~x660 ~x4294 ~x6191 ~x2403 ~x8029 ~x662 ~x4295 
899.92/902.62	v ~x6192 ~x2404 ~x8030 ~x664 ~x4296 ~x6193 ~x2405 ~x8031 ~x663 ~x4297 
899.92/902.62	v ~x6194 ~x2406 ~x8032 ~x665 ~x4298 ~x6195 ~x2407 ~x8033 ~x667 ~x4299 
899.92/902.62	v ~x6196 ~x2408 ~x8034 ~x666 ~x4300 ~x6197 ~x2409 ~x8036 ~x668 ~x4301 
899.92/902.62	v ~x6198 ~x2410 ~x8038 ~x670 ~x4302 ~x6199 ~x2411 ~x8039 ~x669 ~x4303 
899.92/902.62	v ~x6200 ~x2412 ~x8040 ~x671 ~x4304 ~x6201 ~x2413 ~x8041 ~x673 ~x4305 
899.92/902.62	v ~x6203 ~x2414 ~x8042 ~x672 ~x4306 ~x6204 ~x2415 ~x8043 ~x674 ~x4307 
899.92/902.62	v ~x6205 ~x2416 ~x8044 ~x676 ~x4308 ~x6206 ~x2417 ~x8045 ~x675 ~x4309 
899.92/902.62	v ~x6207 ~x2418 ~x8046 ~x677 ~x4310 ~x6208 ~x2419 ~x8047 ~x679 ~x4311 
899.92/902.62	v ~x6209 ~x2420 ~x8048 ~x678 ~x4312 ~x6210 ~x2421 x8050 ~x680 ~x4313 
899.92/902.62	v ~x6211 ~x2422 ~x8052 ~x682 ~x4314 ~x6212 ~x2423 ~x8053 ~x681 ~x4315 
899.92/902.62	v ~x6213 ~x2424 ~x8054 ~x683 ~x4316 ~x6215 ~x2425 ~x8055 ~x685 ~x4317 
899.92/902.62	v ~x6216 ~x2426 ~x8056 ~x684 ~x4318 ~x6217 x2428 ~x8057 ~x686 ~x4319 
899.92/902.62	v ~x6218 ~x2430 ~x8058 ~x688 ~x4321 ~x6219 ~x2431 ~x8059 ~x687 ~x4322 
899.92/902.62	v ~x6220 ~x2432 ~x8060 ~x689 ~x4323 ~x6221 ~x2433 ~x8061 ~x691 ~x4324 
899.92/902.62	v ~x6222 ~x2434 ~x8062 ~x690 ~x4325 ~x6223 ~x2435 ~x8064 ~x692 ~x4326 
899.92/902.62	v ~x6224 ~x2436 ~x8066 ~x694 ~x4327 ~x6225 ~x2437 ~x8067 ~x693 ~x4328 
899.92/902.62	v ~x6227 ~x2438 ~x8068 ~x695 ~x4329 ~x6228 ~x2439 ~x8069 ~x697 ~x4330 
899.92/902.62	v ~x6229 ~x2440 ~x8070 ~x696 ~x4331 ~x6230 x2442 ~x8071 ~x698 ~x4332 
899.92/902.62	v ~x6231 ~x2444 ~x8072 ~x363 ~x4333 ~x6232 ~x2445 ~x8073 ~x364 ~x4334 
899.92/902.62	v ~x6233 ~x2446 ~x8074 ~x365 ~x4335 ~x6234 ~x2447 ~x8075 ~x366 ~x4336 
899.92/902.62	v ~x6235 ~x2448 ~x8076 ~x367 ~x4337 ~x6236 ~x2449 ~x8078 ~x368 ~x4338 
899.92/902.62	v ~x6237 ~x2450 ~x8080 ~x369 ~x4339 ~x6239 ~x2451 ~x8081 ~x370 ~x4340 
899.92/902.62	v ~x6240 ~x2452 ~x8082 ~x707 ~x4341 ~x6241 ~x2453 ~x8083 ~x708 ~x4342 
899.92/902.62	v ~x6242 ~x2454 ~x8084 ~x709 ~x4343 ~x6243 ~x2456 ~x8085 ~x710 ~x4344 
899.92/902.62	v ~x6244 ~x2458 ~x8086 ~x711 ~x4345 ~x6245 ~x2459 ~x8087 ~x713 ~x4346 
899.92/902.62	v ~x6246 ~x2460 ~x8088 ~x714 ~x4348 ~x6247 ~x2461 ~x8089 ~x716 ~x4349 
899.92/902.62	v ~x6248 ~x2462 ~x8090 ~x717 ~x4350 ~x6249 ~x2463 ~x8092 ~x719 ~x4351 
899.92/902.62	v x6251 ~x2464 ~x8094 ~x720 ~x4352 ~x6252 ~x2465 ~x8095 ~x722 ~x4353 
899.92/902.62	v ~x6253 ~x2466 ~x8096 ~x723 ~x4354 ~x6254 ~x2467 ~x8097 ~x724 ~x4355 
899.92/902.62	v ~x6255 ~x2468 ~x8098 ~x725 ~x4356 ~x6256 ~x2470 ~x8099 ~x727 ~x4357 
899.92/902.62	v ~x6257 ~x2472 ~x8100 ~x728 ~x4358 ~x6258 ~x2473 ~x8101 ~x730 ~x4359 
899.92/902.62	v ~x6259 ~x2474 ~x8102 ~x731 ~x4360 ~x6260 ~x2475 ~x8103 ~x732 ~x4361 
899.92/902.62	v ~x6261 ~x2476 ~x8104 ~x733 ~x4362 x6263 ~x2477 ~x8106 ~x734 ~x4363 
899.92/902.62	v ~x6264 ~x2478 ~x8108 ~x735 ~x4364 ~x6265 ~x2479 ~x8109 ~x736 ~x4365 
899.92/902.62	v ~x6266 ~x2480 ~x8110 ~x737 ~x4366 ~x6267 ~x2481 ~x8111 ~x739 ~x4367 
899.92/902.62	v ~x6268 ~x2482 ~x8112 ~x740 ~x4368 ~x6269 x2484 ~x8113 ~x742 ~x4369 
899.92/902.62	v ~x6270 ~x2486 ~x8114 ~x743 ~x4370 ~x6271 ~x2487 ~x8115 ~x745 ~x4371 
899.92/902.62	v ~x6272 ~x2488 ~x8116 ~x746 ~x4372 x6273 ~x2489 ~x8117 ~x747 ~x4373 
899.92/902.62	v x6275 ~x2490 ~x8118 ~x748 ~x4375 ~x6276 ~x2491 x8120 ~x749 ~x4376 
899.92/902.62	v ~x6277 ~x2492 ~x8121 ~x750 ~x4377 ~x6278 ~x2493 ~x8122 ~x752 ~x4378 
899.92/902.62	v ~x6279 ~x2494 ~x8123 ~x753 ~x4379 ~x6280 ~x2495 x8124 ~x754 ~x4380 
899.92/902.62	v ~x6281 ~x2496 ~x8125 x755 ~x4381 ~x6282 ~x2498 ~x8126 x756 ~x4382 
899.92/902.62	v ~x6283 ~x2500 ~x8127 ~x757 ~x4383 ~x6284 ~x2501 ~x8128 ~x758 ~x4384 
899.92/902.62	v ~x6285 ~x2502 ~x8129 ~x759 ~x4385 ~x6287 ~x2503 ~x8130 ~x760 ~x4386 
899.92/902.62	v ~x6288 ~x2504 ~x8132 ~x762 ~x4387 ~x6289 ~x2505 ~x8134 ~x761 ~x4388 
899.92/902.62	v ~x6290 ~x2506 ~x8135 ~x763 ~x4389 ~x6291 ~x2507 ~x8136 ~x765 ~x4390 
899.92/902.62	v ~x6292 ~x2508 ~x8137 ~x764 ~x4391 ~x6293 ~x2509 ~x8138 ~x766 ~x4392 
899.92/902.62	v ~x6294 ~x2510 ~x8139 ~x768 ~x4393 ~x6295 x2512 ~x8140 ~x767 ~x4394 
899.92/902.62	v ~x6296 ~x2514 ~x8141 ~x769 ~x4395 ~x6297 ~x2515 ~x8142 ~x771 ~x4396 
899.92/902.62	v x6299 ~x2516 ~x8143 ~x770 ~x4397 ~x6300 ~x2517 ~x8144 ~x772 ~x4398 
899.92/902.62	v ~x6301 ~x2518 x8146 ~x774 ~x4399 ~x6302 ~x2519 ~x8148 ~x773 ~x4400 
899.92/902.62	v ~x6303 ~x2520 ~x8149 ~x775 ~x4402 ~x6304 ~x2521 ~x8150 ~x777 ~x4403 
899.92/902.62	v ~x6305 ~x2522 ~x8151 ~x776 ~x4404 ~x6306 ~x2523 ~x8152 ~x778 ~x4405 
899.92/902.62	v ~x6307 ~x2524 ~x8153 ~x780 ~x4406 ~x6308 x2526 ~x8154 ~x779 ~x4407 
899.92/902.62	v ~x6309 ~x2528 ~x8155 ~x781 ~x4408 ~x6311 ~x2529 ~x8156 ~x783 ~x4409 
899.92/902.62	v ~x6312 ~x2530 ~x8157 ~x782 ~x4410 ~x6313 ~x2531 ~x8158 ~x784 ~x4411 
899.92/902.62	v ~x6314 ~x2532 ~x8160 ~x786 ~x4412 ~x6315 ~x2533 ~x8162 ~x785 ~x4413 
899.92/902.62	v ~x6316 ~x2534 ~x8163 ~x787 ~x4414 ~x6317 ~x2535 ~x8164 ~x789 ~x4415 
899.92/902.62	v ~x6318 ~x2536 ~x8165 ~x788 ~x4416 ~x6319 ~x2537 ~x8166 ~x790 ~x4417 
899.92/902.62	v ~x6320 ~x2538 ~x8167 ~x792 ~x4418 ~x6321 x2540 ~x8168 ~x791 ~x4419 
899.92/902.62	v ~x6323 ~x2542 ~x8169 ~x793 ~x4420 ~x6324 ~x2543 ~x8170 ~x795 ~x4421 
899.92/902.62	v ~x6325 ~x2544 ~x8171 ~x794 ~x4422 ~x6326 ~x2545 ~x8172 ~x796 ~x4423 
899.92/902.62	v x6328 ~x2546 x8174 ~x798 ~x4424 ~x6330 ~x2547 ~x8176 ~x797 ~x4425 
899.92/902.62	v ~x6331 ~x2548 ~x8177 ~x799 ~x4426 ~x6332 ~x2549 ~x8178 ~x801 ~x4427 
899.92/902.62	v ~x6333 ~x2550 ~x8179 ~x800 ~x4429 x6335 ~x2551 ~x8180 ~x802 ~x4430 
899.92/902.62	v ~x6337 ~x2552 ~x8181 ~x804 ~x4431 ~x6338 x2554 ~x8182 ~x803 ~x4432 
899.92/902.62	v ~x6339 x2556 ~x8183 ~x805 ~x4433 ~x6340 ~x2557 ~x8184 ~x807 ~x4434 
899.92/902.62	v x6342 ~x2558 ~x8185 ~x806 ~x4435 x6344 ~x2559 ~x8186 ~x808 ~x4436 
899.92/902.62	v x6345 ~x2560 ~x8188 ~x810 ~x4437 ~x6346 ~x2561 ~x8190 ~x809 ~x4438 
899.92/902.62	v ~x6347 ~x2562 ~x8191 ~x811 ~x4439 x6349 ~x2563 ~x8192 ~x813 ~x4440 
899.92/902.62	v ~x6351 ~x2564 ~x8193 ~x812 ~x4441 ~x6352 ~x2565 ~x8194 ~x814 ~x4442 
899.92/902.62	v ~x6353 x2566 ~x8195 ~x816 ~x4443 ~x6354 x2568 ~x8196 ~x815 ~x4444 
899.92/902.62	v x6356 ~x2570 ~x8197 ~x817 ~x4445 ~x6358 ~x2571 ~x8198 ~x819 ~x4446 
899.92/902.62	v ~x6359 ~x2572 ~x8199 ~x818 ~x4447 ~x6360 ~x2573 ~x8200 ~x820 ~x4448 
899.92/902.62	v ~x6361 ~x2574 ~x8202 ~x822 ~x4449 ~x6363 ~x2575 ~x8204 ~x821 ~x4450 
899.92/902.62	v ~x6365 ~x2576 ~x8205 ~x823 ~x4451 ~x6366 ~x2577 ~x8206 ~x825 ~x4452 
899.92/902.62	v ~x6367 ~x2578 ~x8207 ~x824 ~x4453 ~x6368 ~x2579 ~x8208 ~x826 ~x4454 
899.92/902.62	v ~x6370 ~x2580 ~x8209 ~x828 ~x4456 ~x6372 ~x2582 ~x8210 ~x827 ~x4457 
899.92/902.62	v ~x6373 ~x2584 ~x8211 ~x829 ~x4458 ~x6374 ~x2585 ~x8212 ~x830 ~x4459 
899.92/902.62	v ~x6375 ~x2586 ~x8213 ~x831 ~x4460 ~x6377 ~x2587 ~x8214 ~x833 ~x4461 
899.92/902.62	v ~x6379 ~x2588 x8216 ~x832 ~x4462 ~x6380 ~x2589 x8218 ~x834 ~x4463 
899.92/902.62	v ~x6381 ~x2590 ~x8219 ~x836 ~x4464 ~x6382 ~x2591 ~x8220 ~x835 ~x4465 
899.92/902.62	v ~x6384 ~x2592 ~x8221 ~x837 ~x4466 ~x6386 ~x2593 ~x8222 ~x839 ~x4467 
899.92/902.62	v ~x6387 ~x2594 ~x8223 ~x838 ~x4468 ~x6388 ~x2596 ~x8224 ~x840 ~x4469 
899.92/902.62	v ~x6389 ~x2598 ~x8225 ~x842 ~x4470 ~x6391 ~x2599 x8226 ~x841 ~x4471 
899.92/902.62	v ~x6393 ~x2600 ~x8227 ~x843 ~x4472 ~x6394 ~x2601 ~x8228 ~x845 ~x4473 
899.92/902.62	v ~x6395 ~x2602 ~x8230 ~x844 ~x4474 ~x6396 ~x2603 ~x8232 ~x846 ~x4475 
899.92/902.62	v ~x6398 ~x2604 ~x8233 ~x848 ~x4476 ~x6400 ~x2605 ~x8234 ~x847 ~x4477 
899.92/902.62	v ~x6401 ~x2606 ~x8235 ~x849 ~x4478 ~x6402 ~x2607 ~x8236 ~x851 ~x4479 
899.92/902.62	v ~x6403 ~x2608 ~x8237 ~x850 ~x4480 ~x6405 x2610 ~x8238 ~x852 ~x4481 
899.92/902.62	v ~x6407 ~x2612 ~x8239 ~x854 ~x4483 ~x6408 ~x2613 ~x8240 ~x853 ~x4484 
899.92/902.62	v ~x6409 ~x2614 ~x8241 x855 ~x4485 ~x6410 ~x2615 ~x8242 ~x857 ~x4486 
899.92/902.62	v x6412 ~x2616 x8244 ~x856 ~x4487 ~x6414 ~x2617 ~x8246 ~x858 ~x4488 
899.92/902.62	v ~x6415 ~x2618 ~x8247 ~x860 ~x4489 ~x6416 ~x2619 ~x8248 ~x859 ~x4490 
899.92/902.62	v ~x6417 ~x2620 ~x8249 ~x861 ~x4491 ~x6419 ~x2621 ~x8250 ~x700 ~x4492 
899.92/902.62	v ~x6421 ~x2622 ~x8251 ~x701 ~x4493 ~x6422 ~x2624 ~x8252 ~x702 ~x4494 
899.92/902.62	v ~x6423 ~x2626 ~x8253 ~x703 ~x4495 ~x6424 ~x2627 ~x8254 ~x704 ~x4496 
899.92/902.62	v x6426 ~x2628 ~x8255 ~x705 ~x4497 ~x6428 ~x2629 ~x8256 ~x706 ~x4498 
899.92/902.62	v ~x6429 ~x2630 x8258 ~x871 ~x4499 ~x6430 ~x2631 x8260 ~x872 ~x4500 
899.92/902.62	v ~x6431 ~x2632 x8261 ~x873 ~x4501 ~x6433 ~x2633 ~x8262 ~x874 ~x4502 
899.92/902.62	v ~x6435 ~x2634 ~x8263 ~x875 ~x4503 ~x6436 ~x2635 ~x8264 ~x876 ~x4504 
899.92/902.62	v ~x6437 ~x2636 ~x8265 ~x877 ~x4505 ~x6438 ~x2638 ~x8266 ~x878 ~x4506 
899.92/902.62	v ~x6440 ~x2640 ~x8267 ~x879 ~x4507 ~x6442 ~x2641 ~x8268 ~x880 ~x4508 
899.92/902.62	v ~x6443 ~x2642 ~x8269 ~x881 ~x4510 ~x6444 ~x2643 ~x8270 ~x882 ~x4511 
899.92/902.62	v ~x6445 ~x2644 ~x8272 ~x883 ~x4512 ~x6447 ~x2645 ~x8274 ~x884 ~x4513 
899.92/902.62	v ~x6449 ~x2646 ~x8275 ~x885 ~x4514 ~x6450 ~x2647 ~x8276 ~x886 ~x4515 
899.92/902.62	v ~x6451 ~x2648 ~x8277 ~x887 ~x4516 ~x6452 ~x2649 ~x8278 ~x889 ~x4517 
899.92/902.62	v ~x6454 ~x2650 ~x8279 ~x890 ~x4518 ~x6456 x2652 ~x8280 ~x891 ~x4519 
899.92/902.62	v ~x6457 ~x2654 ~x8281 ~x892 ~x4520 ~x6458 ~x2655 ~x8282 ~x893 ~x4521 
899.92/902.62	v ~x6459 ~x2656 ~x8283 ~x894 ~x4522 ~x6461 ~x2657 ~x8284 ~x896 ~x4523 
899.92/902.62	v ~x6463 ~x2658 x8286 ~x897 ~x4524 ~x6464 ~x2659 ~x8288 ~x898 ~x4525 
899.92/902.62	v ~x6465 ~x2660 ~x8289 ~x899 ~x4526 ~x6466 ~x2661 ~x8290 ~x900 ~x4527 
899.92/902.62	v ~x6468 ~x2662 ~x8291 ~x901 ~x4528 ~x6470 ~x2663 ~x8292 ~x902 ~x4529 
899.92/902.62	v ~x6471 ~x2664 ~x8293 ~x903 ~x4530 ~x6472 ~x2666 ~x8294 ~x904 ~x4531 
899.92/902.62	v ~x6473 ~x2668 ~x8295 ~x905 ~x4532 ~x6475 ~x2669 ~x8296 ~x906 ~x4533 
899.92/902.62	v ~x6477 ~x2670 ~x8297 ~x907 ~x4534 ~x6478 ~x2671 ~x8298 ~x908 ~x4535 
899.92/902.62	v ~x6479 ~x2672 ~x8300 ~x909 ~x4537 ~x6480 ~x2673 ~x8302 ~x910 ~x4538 
899.92/902.62	v x6482 ~x2674 ~x8303 ~x911 ~x4539 ~x6484 ~x2675 ~x8304 ~x912 ~x4540 
899.92/902.62	v ~x6485 ~x2676 ~x8305 ~x913 ~x4541 ~x6486 ~x2677 ~x8306 ~x914 ~x4542 
899.92/902.62	v ~x6487 ~x2678 ~x8307 ~x915 ~x4543 ~x6489 x2680 ~x8308 ~x917 ~x4544 
899.92/902.62	v ~x6490 x2682 ~x8309 ~x918 ~x4545 ~x6491 ~x2683 ~x8310 ~x919 ~x4546 
899.92/902.62	v ~x6492 ~x2684 ~x8311 ~x920 ~x4547 x6494 ~x2685 ~x8312 ~x921 ~x4548 
899.92/902.62	v ~x6496 ~x2686 ~x8314 ~x922 ~x4549 ~x6497 ~x2687 ~x8316 ~x924 ~x4550 
899.92/902.62	v ~x6498 ~x2688 ~x8317 ~x925 ~x4551 ~x6499 x2689 ~x8318 ~x926 ~x4552 
899.92/902.62	v x6501 ~x2690 ~x8319 ~x927 ~x4553 x6503 ~x2691 ~x8320 ~x929 ~x4554 
899.92/902.62	v x6504 ~x2692 ~x8321 ~x930 ~x4555 ~x6505 x2694 ~x8322 ~x932 ~x4556 
899.92/902.62	v ~x6506 ~x2696 ~x8323 ~x933 ~x4557 x6508 ~x2697 ~x8324 ~x934 ~x4558 
899.92/902.62	v ~x6510 ~x2698 ~x8325 ~x936 ~x4559 ~x6511 ~x2699 ~x8326 ~x935 ~x4560 
899.92/902.62	v ~x6512 ~x2700 ~x8328 ~x937 ~x4561 ~x6513 ~x2701 ~x8330 ~x939 ~x4562 
899.92/902.62	v ~x6515 ~x2702 ~x8331 ~x938 ~x4564 ~x6517 ~x2703 ~x8332 ~x940 ~x4565 
899.92/902.62	v ~x6518 ~x2704 ~x8333 ~x942 ~x4566 ~x6519 ~x2705 ~x8334 ~x941 ~x4567 
899.92/902.62	v ~x6520 ~x2706 ~x8335 ~x943 ~x4568 x6522 x2708 ~x8336 ~x945 ~x4569 
899.92/902.62	v ~x6524 ~x2710 ~x8337 ~x944 ~x4570 ~x6525 ~x2711 ~x8338 ~x946 ~x4571 
899.92/902.62	v ~x6526 ~x2712 ~x8339 ~x948 ~x4572 ~x6527 ~x2713 ~x8340 ~x947 ~x4573 
899.92/902.62	v ~x6529 ~x2714 ~x8342 ~x949 ~x4574 ~x6531 ~x2715 ~x8344 ~x950 ~x4575 
899.92/902.62	v ~x6532 ~x2716 ~x8345 ~x951 ~x4576 ~x6533 ~x2717 ~x8346 ~x953 ~x4577 
899.92/902.62	v ~x6534 ~x2718 ~x8347 ~x952 ~x4578 ~x6536 ~x2719 ~x8348 ~x954 ~x4579 
899.92/902.62	v x6538 ~x2720 ~x8349 ~x956 ~x4580 ~x6539 x2722 ~x8350 ~x955 ~x4581 
899.92/902.62	v ~x6540 ~x2724 ~x8351 ~x957 ~x4582 ~x6541 ~x2725 ~x8352 ~x958 ~x4583 
899.92/902.62	v x1 x6543 ~x2726 ~x8353 ~x959 ~x4584 x362 x6545 ~x2727 ~x8354 
899.92/902.62	v ~x960 ~x4585 x699 ~x6546 ~x2728 ~x8356 ~x961 ~x4586 x862 ~x6547 
899.92/902.62	v ~x2729 ~x8358 ~x962 ~x4587 x1196 ~x6548 ~x2730 ~x8359 ~x963 ~x4588 
899.92/902.62	v ~x1207 ~x6550 ~x2731 ~x8360 ~x964 ~x4589 ~x1265 x6552 ~x2732 ~x8361 
899.92/902.62	v ~x965 ~x4591 ~x1323 ~x6553 ~x2733 ~x8362 ~x967 ~x4592 ~x1381 ~x6554 
899.92/902.62	v ~x2734 ~x8363 ~x966 ~x4593 ~x1439 ~x6555 ~x2736 ~x8364 ~x968 ~x4594 
899.92/902.62	v ~x1497 x6557 ~x2738 ~x8365 ~x970 ~x4595 ~x1555 x6559 ~x2739 ~x969 
899.92/902.62	v ~x4596 ~x1613 x6560 ~x2740 ~x8366 ~x971 ~x4597 ~x11 ~x6561 ~x2741 
899.92/902.62	v ~x8367 ~x972 ~x4598 ~x1671 ~x6562 ~x2742 ~x8368 ~x973 ~x4599 x14 
899.92/902.62	v ~x6564 ~x2743 ~x8370 ~x975 ~x4600 ~x1698 ~x6565 ~x2744 ~x8372 ~x974 
899.92/902.62	v ~x4601 ~x17 ~x6566 ~x2745 ~x8373 ~x976 ~x4602 ~x1725 ~x6567 ~x2746 
899.92/902.62	v ~x8374 ~x978 ~x4603 ~x20 ~x6568 ~x2747 ~x8375 ~x977 ~x4604 ~x1752 
899.92/902.62	v ~x6569 ~x2748 ~x8376 ~x979 ~x4605 ~x23 ~x6570 ~x2750 ~x8377 ~x981 
899.92/902.62	v ~x4606 ~x1779 ~x6571 ~x2752 ~x8378 ~x980 ~x4607 x26 ~x6572 ~x2753 
899.92/902.62	v ~x8379 ~x982 ~x4608 ~x1806 ~x6573 ~x2754 ~x8380 ~x984 ~x4609 ~x29 
899.92/902.62	v ~x6574 ~x2755 ~x8381 ~x983 ~x4610 ~x1833 ~x6575 ~x2756 ~x8382 ~x985 
899.92/902.62	v ~x4611 ~x32 ~x6576 ~x2757 ~x8384 ~x987 ~x4612 ~x1860 ~x6577 ~x2758 
899.92/902.62	v ~x8386 ~x986 ~x4613 ~x1887 ~x6578 ~x2759 ~x8387 ~x988 ~x4614 ~x37 
899.92/902.62	v ~x6579 ~x2760 ~x8388 ~x990 ~x4615 ~x1914 ~x6580 ~x2761 ~x8389 ~x989 
899.92/902.62	v ~x4616 ~x40 ~x6581 ~x2762 ~x8390 ~x991 ~x4618 ~x1941 ~x6582 ~x2764 
899.92/902.62	v ~x8391 ~x993 ~x4619 ~x1968 ~x6583 ~x2766 ~x8392 ~x992 ~x4620 ~x45 
899.92/902.62	v ~x6584 ~x2767 ~x8393 ~x994 ~x4621 ~x1995 ~x6585 ~x2768 ~x8394 ~x996 
899.92/902.62	v ~x4622 ~x2022 ~x6586 ~x2769 ~x8395 ~x995 ~x4623 ~x50 ~x6587 ~x2770 
899.92/902.62	v ~x8396 ~x997 ~x4624 ~x2049 ~x6588 ~x2771 ~x8398 ~x999 ~x4625 ~x53 
899.92/902.62	v ~x6589 ~x2772 ~x8400 ~x998 ~x4626 ~x2076 ~x6590 ~x2773 ~x8401 ~x1000 
899.92/902.62	v ~x4627 ~x56 ~x6591 ~x2774 ~x8402 ~x1001 ~x4628 ~x2103 ~x6592 ~x2775 
899.92/902.62	v ~x8403 ~x1002 ~x4629 x59 ~x6593 ~x2776 ~x8404 ~x1004 ~x4630 ~x2130 
899.92/902.62	v ~x6594 x2778 ~x8405 ~x1003 ~x4631 ~x62 ~x6595 ~x2780 ~x8406 ~x1005 
899.92/902.62	v ~x4632 ~x2157 ~x6596 ~x2781 ~x8407 ~x1007 ~x4633 ~x65 ~x6597 ~x2782 
899.92/902.62	v ~x8408 ~x1006 ~x4634 ~x2184 ~x6598 ~x2783 ~x8409 ~x1008 ~x4635 ~x2211 
899.92/902.62	v ~x6599 ~x2784 ~x8410 ~x1010 ~x4636 ~x70 ~x6600 ~x2785 x8412 ~x1009 
899.92/902.62	v ~x4637 ~x2238 ~x6601 ~x2786 ~x8413 ~x1011 ~x4638 ~x73 ~x6602 ~x2787 
899.92/902.62	v ~x8414 ~x1013 ~x4639 ~x2265 ~x6603 ~x2788 ~x8415 ~x1012 ~x4640 ~x76 
899.92/902.62	v ~x6604 ~x2789 ~x8416 ~x1014 ~x4641 ~x2292 ~x6605 ~x2790 ~x8417 ~x1016 
899.92/902.62	v ~x4642 ~x79 ~x6606 x2792 ~x8418 ~x1015 ~x4643 ~x2319 ~x6607 x2794 
899.92/902.62	v x8419 ~x1017 ~x4645 ~x82 ~x6608 ~x2795 ~x8420 ~x1019 ~x4646 ~x2346 
899.92/902.62	v ~x6609 ~x2796 ~x8421 ~x1018 ~x4647 x85 ~x6610 ~x2797 ~x8422 ~x1020 
899.92/902.62	v ~x4648 x2373 ~x6611 ~x2798 ~x8424 ~x1022 ~x4649 ~x88 ~x6612 ~x2799 
899.92/902.62	v ~x8426 ~x1021 ~x4650 ~x2400 ~x6613 ~x2800 ~x8427 ~x1023 ~x4651 ~x2427 
899.92/902.62	v ~x6614 ~x2801 ~x8428 ~x1025 ~x4652 ~x2429 ~x6615 ~x2802 ~x8429 ~x1024 
899.92/902.62	v ~x4653 ~x2441 ~x6616 x2803 ~x8430 ~x1026 ~x4654 ~x2443 ~x6617 ~x2804 
899.92/902.62	v ~x8431 ~x1028 ~x4655 ~x2455 ~x6618 x2806 ~x8432 ~x1027 ~x4656 ~x2457 
899.92/902.62	v ~x6619 ~x2808 ~x8433 ~x1029 ~x4657 ~x2469 ~x6620 ~x2809 ~x8434 ~x1031 
899.92/902.62	v ~x4658 ~x2471 ~x6622 ~x2810 ~x8435 ~x1030 ~x4659 ~x2483 ~x6623 ~x2811 
899.92/902.62	v ~x8436 ~x1032 ~x4660 ~x2485 ~x6624 ~x2812 ~x8438 ~x1034 ~x4661 ~x2497 
899.92/902.62	v ~x6625 ~x2813 ~x8440 ~x1033 ~x4662 ~x2499 ~x6626 ~x2814 ~x8441 ~x1035 
899.92/902.62	v ~x4663 ~x2511 ~x6627 ~x2815 ~x8442 ~x1037 ~x4664 ~x2513 ~x6628 ~x2816 
899.92/902.62	v ~x8443 ~x1036 ~x4665 ~x2525 ~x6629 ~x2817 ~x8444 ~x1038 ~x4666 ~x2527 
899.92/902.62	v ~x6630 ~x2818 ~x8445 ~x1040 ~x4667 ~x2539 ~x6631 ~x2820 ~x8446 ~x1039 
899.92/902.62	v ~x4668 ~x2541 ~x6632 ~x2821 ~x8447 ~x1041 ~x4669 x2553 ~x6633 ~x2822 
899.92/902.62	v ~x8448 ~x1043 ~x4670 ~x2555 ~x6634 ~x2823 ~x8449 ~x1042 ~x4672 ~x2567 
899.92/902.62	v ~x6635 ~x2824 ~x8450 ~x1044 ~x4673 ~x2569 ~x6636 ~x2825 x8452 ~x1046 
899.92/902.62	v ~x4674 ~x2581 ~x6637 ~x2826 ~x8454 ~x1045 ~x4675 ~x2583 ~x6638 ~x2827 
899.92/902.62	v ~x8455 ~x1047 ~x4676 ~x2595 ~x6639 ~x2828 ~x8456 ~x1049 ~x4677 ~x2597 
899.92/902.62	v ~x6640 ~x2829 ~x8457 ~x1048 ~x4678 ~x2609 ~x6641 ~x2830 ~x8458 ~x1050 
899.92/902.62	v ~x4679 ~x2611 ~x6642 x2832 ~x8459 ~x1052 ~x4680 ~x2623 ~x6643 ~x2834 
899.92/902.62	v ~x8460 ~x1051 ~x4681 ~x2625 ~x6644 ~x2835 ~x8461 ~x1053 ~x4682 ~x2637 
899.92/902.62	v ~x6645 ~x2836 ~x8462 ~x1055 ~x4683 ~x2639 ~x6646 ~x2837 ~x8463 ~x1054 
899.92/902.62	v ~x4684 ~x2651 ~x6647 ~x2838 ~x8464 ~x1056 ~x4685 ~x2653 ~x6648 ~x2839 
899.92/902.62	v x8466 ~x1058 ~x4686 ~x2665 ~x6649 ~x2840 ~x8468 ~x1057 ~x4687 ~x2667 
899.92/902.62	v ~x6650 ~x2841 ~x8469 ~x1059 ~x4688 ~x2679 ~x6651 ~x2842 ~x8470 ~x1061 
899.92/902.62	v ~x4689 ~x2681 ~x6652 ~x2843 ~x8471 ~x1060 ~x4690 ~x2693 ~x6653 ~x2844 
899.92/902.62	v ~x8472 ~x1062 ~x4691 ~x2695 ~x6654 ~x2846 ~x8473 x1063 ~x4692 ~x2707 
899.92/902.62	v ~x6655 ~x2848 ~x8474 x1064 ~x4693 ~x2709 ~x6656 ~x2849 ~x8475 ~x1066 
899.92/902.62	v ~x4694 ~x2721 ~x6657 ~x2850 ~x8476 ~x1065 ~x4695 ~x2723 ~x6658 ~x2851 
899.92/902.62	v ~x8477 ~x1067 ~x4696 ~x2735 ~x6659 ~x2852 ~x8478 ~x1069 ~x4697 ~x2737 
899.92/902.62	v ~x6660 ~x2853 ~x8480 ~x1068 ~x4699 ~x2749 ~x6661 ~x2854 ~x8482 ~x1070 
899.92/902.62	v ~x4700 ~x2751 ~x6662 ~x2855 ~x8483 ~x1072 ~x4701 ~x2763 ~x6663 ~x2856 
899.92/902.62	v ~x8484 ~x1071 ~x4702 ~x2765 ~x6664 ~x2857 ~x8485 ~x1073 ~x4703 ~x2777 
899.92/902.62	v ~x6665 ~x2858 ~x8486 ~x1075 ~x4704 ~x2779 ~x6666 ~x2860 ~x8487 ~x1074 
899.92/902.62	v ~x4705 x2791 ~x6667 ~x2862 ~x8488 ~x1076 ~x4706 ~x2793 ~x6668 ~x2863 
899.92/902.62	v ~x8489 ~x1078 ~x4707 ~x2805 ~x6669 ~x2864 ~x8490 ~x1077 ~x4708 ~x2807 
899.92/902.62	v ~x6670 ~x2865 ~x8491 ~x1079 ~x4709 ~x2819 ~x6671 ~x2866 ~x8492 ~x1081 
899.92/902.62	v ~x4710 ~x2831 ~x6672 ~x2867 ~x8494 ~x1080 ~x4711 ~x2833 ~x6673 ~x2868 
899.92/902.62	v ~x8496 ~x1082 ~x4712 ~x2845 ~x6674 ~x2869 ~x8497 ~x1084 ~x4713 ~x2847 
899.92/902.62	v ~x6675 ~x2870 ~x8498 ~x1083 ~x4714 ~x2859 ~x6676 ~x2871 ~x8499 ~x1085 
899.92/902.62	v ~x4715 ~x2861 ~x6677 ~x2872 ~x8500 ~x1087 ~x4716 ~x2873 ~x6678 ~x2874 
899.92/902.62	v ~x8501 ~x1086 ~x4717 ~x2875 ~x6680 ~x2876 ~x8502 ~x1088 ~x4718 ~x2887 
899.92/902.62	v ~x6681 ~x2877 ~x8503 ~x1090 ~x4719 ~x2889 ~x6682 ~x2878 ~x8504 ~x1089 
899.92/902.62	v ~x4720 ~x2901 ~x6683 ~x2879 ~x8505 ~x1091 ~x4721 ~x2903 ~x6684 ~x2880 
899.92/902.63	v ~x8506 ~x1093 ~x4722 ~x2915 ~x6685 ~x2881 ~x8508 ~x1092 ~x4723 ~x2917 
899.92/902.63	v ~x6686 ~x2882 ~x8510 ~x1094 ~x4724 ~x2929 ~x6687 ~x2883 ~x8511 ~x1096 
899.92/902.63	v ~x4726 ~x2931 ~x6688 ~x2884 ~x8512 ~x1095 ~x4727 ~x2943 ~x6689 ~x2885 
899.92/902.63	v ~x8513 ~x1097 ~x4728 ~x2945 ~x6690 ~x2886 ~x8514 ~x1099 ~x4729 ~x2957 
899.92/902.63	v ~x6691 ~x2888 ~x8515 ~x1098 ~x4730 ~x2959 ~x6692 ~x2890 ~x8516 ~x1100 
899.92/902.63	v ~x4731 ~x2971 ~x6693 ~x2891 ~x8517 ~x1102 ~x4732 ~x2973 ~x6694 ~x2892 
899.92/902.63	v ~x8518 ~x1101 ~x4733 ~x2985 ~x6695 ~x2893 ~x8519 ~x1103 ~x4734 ~x2987 
899.92/902.63	v ~x6696 ~x2894 ~x8520 ~x1105 ~x4735 ~x2999 ~x6697 ~x2895 ~x8522 ~x1104 
899.92/902.63	v ~x4736 ~x3001 ~x6698 ~x2896 ~x8524 ~x1106 ~x4737 ~x3013 ~x6699 ~x2897 
899.92/902.63	v ~x8525 ~x1108 ~x4738 ~x3015 ~x6700 ~x2898 ~x8526 ~x1107 ~x4739 ~x3027 
899.92/902.63	v ~x6701 ~x2899 ~x8527 ~x1109 ~x4740 ~x3029 ~x6702 ~x2900 ~x8528 ~x1111 
899.92/902.63	v ~x4741 ~x3041 ~x6703 x2902 ~x8529 ~x1110 ~x4742 ~x3043 ~x6704 ~x2904 
899.92/902.63	v ~x8530 ~x1112 ~x4743 ~x3055 ~x6705 ~x2905 ~x8531 ~x1114 ~x4744 ~x3057 
899.92/902.63	v ~x6706 ~x2906 ~x8532 ~x1113 ~x4745 ~x3069 ~x6707 ~x2907 ~x8533 ~x1115 
899.92/902.63	v ~x4746 ~x3071 ~x6708 ~x2908 ~x8534 ~x1117 ~x4747 ~x3083 ~x6709 ~x2909 
899.92/902.63	v ~x8536 ~x1116 ~x4748 ~x3085 ~x6710 ~x2910 ~x8538 ~x1118 ~x4749 ~x3097 
899.92/902.63	v ~x6711 ~x2911 ~x8539 ~x1120 ~x4750 ~x3099 ~x6712 ~x2912 ~x8540 ~x1119 
899.92/902.63	v ~x4751 ~x3111 ~x6713 ~x2913 ~x8541 ~x1121 ~x4753 ~x3113 ~x6714 ~x2914 
899.92/902.63	v ~x8542 ~x1123 ~x4754 ~x3125 ~x6715 ~x2916 ~x8543 ~x1122 ~x4755 ~x3127 
899.92/902.63	v ~x6716 ~x2918 ~x8544 ~x1124 ~x4756 ~x3139 ~x6717 ~x2919 ~x8545 ~x1126 
899.92/902.63	v ~x4757 ~x3141 ~x6718 ~x2920 ~x8546 ~x1125 ~x4758 ~x3153 ~x6719 ~x2921 
899.92/902.63	v ~x8547 ~x1127 ~x4759 ~x3155 ~x6720 ~x2922 ~x8548 ~x1129 ~x4760 ~x3167 
899.92/902.63	v ~x6721 ~x2923 ~x8550 ~x1128 ~x4761 ~x3169 ~x6722 ~x2924 ~x8551 ~x1130 
899.92/902.63	v ~x4762 ~x3181 ~x6723 ~x2925 ~x8552 ~x1132 ~x4763 ~x3183 ~x6724 ~x2926 
899.92/902.63	v ~x8553 ~x1131 ~x4764 ~x3195 ~x6725 ~x2927 ~x8555 ~x1133 ~x4765 ~x3197 
899.92/902.63	v ~x6726 ~x2928 ~x8556 ~x1135 ~x4766 ~x3209 ~x6727 ~x2930 ~x8557 ~x1134 
899.92/902.63	v ~x4767 ~x3214 ~x6728 ~x2932 ~x8558 ~x1136 ~x4768 ~x3219 ~x6729 ~x2933 
899.92/902.63	v ~x8560 ~x1138 ~x4769 ~x3224 ~x6730 ~x2934 ~x8561 ~x1137 ~x4770 ~x3229 
899.92/902.63	v ~x6731 ~x2935 ~x8562 ~x1139 ~x4771 ~x3234 ~x6732 ~x2936 ~x8563 ~x1141 
899.92/902.63	v ~x4772 ~x3239 ~x6733 ~x2937 ~x8565 ~x1140 ~x4773 ~x3244 ~x6734 ~x2938 
899.92/902.63	v ~x8566 ~x1142 ~x4774 ~x3249 ~x6735 ~x2939 ~x8567 ~x1144 ~x4775 ~x3254 
899.92/902.63	v ~x6736 ~x2940 ~x8568 ~x1143 ~x4776 ~x3259 ~x6738 ~x2941 ~x8570 ~x1145 
899.92/902.63	v ~x4777 ~x3264 ~x6739 ~x2942 ~x8571 ~x1147 ~x4778 ~x3269 ~x6740 ~x2944 
899.92/902.63	v ~x8572 ~x1146 ~x4780 ~x3274 ~x6741 ~x2946 ~x8573 ~x1148 ~x4781 ~x3279 
899.92/902.63	v ~x6742 ~x2947 ~x8575 ~x1150 ~x4782 ~x3284 ~x6743 ~x2948 ~x8576 ~x1149 
899.92/902.63	v ~x4783 ~x3289 ~x6744 ~x2949 ~x8577 ~x1151 ~x4784 ~x3294 ~x6745 ~x2950 
899.92/902.63	v ~x8578 ~x1153 ~x4785 ~x3299 ~x6746 ~x2951 x8580 ~x1152 ~x4786 ~x3304 
899.92/902.63	v ~x6747 ~x2952 ~x8581 ~x1154 ~x4787 ~x3309 ~x6748 ~x2953 ~x8582 ~x1156 
899.92/902.63	v ~x4788 ~x3314 ~x6749 ~x2954 ~x8583 ~x1155 ~x4789 ~x3319 ~x6750 ~x2955 
899.92/902.63	v x8585 ~x1157 ~x4790 ~x3324 ~x6751 ~x2956 ~x8586 ~x1159 ~x4792 ~x3329 
899.92/902.63	v ~x6752 ~x2958 ~x8587 ~x1158 ~x4793 ~x3334 ~x6753 ~x2960 ~x8588 ~x1160 
899.92/902.63	v ~x4794 ~x3339 ~x6754 ~x2961 x8590 ~x1162 ~x4795 ~x3344 ~x6755 ~x2962 
899.92/902.63	v ~x8591 ~x1161 ~x4796 ~x3349 ~x6756 ~x2963 x8592 ~x1163 ~x4797 ~x3354 
899.92/902.63	v ~x6757 ~x2964 ~x8593 ~x1165 ~x4798 ~x3359 ~x6758 ~x2965 x8595 ~x1164 
899.92/902.63	v ~x4799 ~x3364 ~x6759 ~x2966 ~x8596 ~x1166 ~x4800 ~x3369 ~x6760 ~x2967 
899.92/902.63	v ~x8597 ~x1167 ~x4801 ~x3374 ~x6761 ~x2968 ~x8598 ~x1168 ~x4802 ~x3379 
899.92/902.63	v ~x6762 ~x2969 ~x8600 ~x1170 ~x4804 ~x3384 ~x6763 ~x2970 ~x8601 ~x1169 
899.92/902.63	v ~x4806 ~x3389 ~x6764 x2972 ~x8602 ~x1171 ~x4807 ~x3394 ~x6765 ~x2974 
899.92/902.63	v ~x8603 ~x1173 ~x4808 ~x3399 ~x6766 ~x2975 ~x8605 ~x1172 ~x4809 ~x3404 
899.92/902.63	v ~x6767 ~x2976 ~x8606 ~x1174 ~x4810 ~x3409 ~x6768 ~x2977 ~x8607 ~x1176 
899.92/902.63	v ~x4811 ~x3414 ~x6769 ~x2978 ~x8608 ~x1175 ~x4812 ~x3419 ~x6770 ~x2979 
899.92/902.63	v ~x8610 ~x1177 ~x4813 ~x3424 ~x6771 ~x2980 ~x8611 ~x1179 ~x4814 ~x3429 
899.92/902.63	v ~x6772 ~x2981 ~x8612 ~x1178 ~x4815 ~x3434 ~x6773 ~x2982 ~x8613 ~x1180 
899.92/902.63	v ~x4816 ~x3439 ~x6774 ~x2983 ~x8615 ~x1182 ~x4818 ~x3444 ~x6775 ~x2984 
899.92/902.63	v ~x8616 ~x4819 ~x1181 ~x3449 ~x6776 ~x2986 ~x8617 ~x1183 ~x4820 ~x3454 
899.92/902.63	v ~x6777 ~x2988 ~x8618 ~x1185 ~x4821 ~x3459 ~x6778 ~x2989 ~x8620 ~x1184 
899.92/902.63	v ~x4822 ~x3464 ~x6779 ~x2990 ~x8621 ~x1186 ~x4823 ~x3469 ~x6780 ~x2991 
899.92/902.63	v ~x8622 ~x1188 ~x4824 ~x3474 ~x6781 ~x2992 ~x8623 ~x1187 ~x4825 ~x3479 
899.92/902.63	v ~x6782 ~x2993 ~x8625 ~x1189 ~x4826 ~x3484 ~x6783 ~x2994 ~x8626 ~x1191 
899.92/902.63	v ~x4827 ~x3489 ~x6784 ~x2995 ~x8627 ~x1190 ~x4828 ~x3494 ~x6785 ~x2996 
899.92/902.63	v ~x8628 ~x1192 ~x4830 ~x3499 ~x6786 ~x2997 ~x8630 ~x1194 ~x4832 ~x3504 
899.92/902.63	v ~x6787 ~x2998 ~x8631 ~x1193 ~x4833 ~x3509 ~x6788 ~x3000 ~x8632 ~x1195 
899.92/902.63	v ~x4834 ~x3514 ~x6789 ~x3002 ~x8633 ~x863 ~x4835 ~x3519 ~x6790 ~x3003 
899.92/902.63	v ~x8635 ~x864 ~x4836 ~x3524 ~x6791 ~x3004 ~x8636 ~x865 ~x4837 ~x3529 
899.92/902.63	v ~x6792 ~x3005 ~x8637 ~x866 ~x4838 ~x3534 ~x6793 ~x3006 ~x8638 ~x867 
899.92/902.63	v ~x4839 ~x3539 ~x6794 ~x3007 ~x8640 ~x868 ~x4840 ~x3544 x6796 ~x3008 
899.92/902.63	v ~x8641 ~x869 ~x4841 ~x3549 ~x6797 ~x3009 ~x8642 ~x870 ~x4842 ~x3554 
899.92/902.63	v ~x6798 ~x3010 ~x8643 ~x1201 ~x4844 ~x3559 ~x6799 ~x3011 ~x8645 ~x1203 
899.92/902.63	v ~x4845 ~x3617 ~x6800 ~x3012 ~x8646 x1206 ~x4846 ~x3675 ~x6801 x3014 
899.92/902.63	v ~x8647 ~x1197 ~x4847 ~x3733 ~x6802 ~x3016 ~x8648 ~x1198 ~x4848 ~x3791 
899.92/902.63	v ~x6803 ~x3017 ~x8650 ~x1199 ~x4849 ~x3849 ~x6804 ~x3018 ~x8651 ~x1200 
899.92/902.63	v ~x4850 ~x3907 ~x6805 ~x3019 ~x8652 ~x1208 ~x4851 ~x3965 ~x6806 ~x3020 
899.92/902.63	v ~x8653 ~x1209 ~x4852 ~x4023 ~x6807 ~x3021 ~x8655 ~x1210 ~x4853 ~x4050 
899.92/902.63	v ~x6808 ~x3022 ~x8656 ~x1211 ~x4854 ~x4077 ~x6809 ~x3023 ~x8657 ~x1212 
899.92/902.63	v ~x4856 ~x378 ~x6810 ~x3024 ~x8658 ~x1213 ~x4858 ~x4104 ~x6811 ~x3025 
899.92/902.63	v ~x8660 ~x1214 ~x4859 ~x4131 x6812 ~x3026 ~x8661 ~x1215 ~x4860 ~x383 
899.92/902.63	v ~x6813 ~x3028 ~x8662 ~x1216 ~x4861 ~x4158 ~x6814 ~x3030 ~x8663 ~x1217 
899.92/902.63	v ~x4862 x4185 ~x6815 ~x3031 ~x8665 ~x1218 ~x4863 ~x4212 ~x6816 ~x3032 
899.92/902.63	v ~x8666 ~x1219 ~x4864 ~x4239 ~x6817 ~x3033 ~x8667 ~x1220 ~x4865 ~x4266 
899.92/902.63	v ~x6818 ~x3034 ~x8668 ~x1221 ~x4866 ~x4293 ~x6819 ~x3035 ~x8670 ~x1222 
899.92/902.63	v ~x4867 ~x4320 ~x6820 ~x3036 ~x8671 ~x1223 ~x4868 ~x4347 ~x6821 ~x3037 
899.92/902.63	v ~x8672 ~x1224 ~x4870 ~x400 ~x6822 ~x3038 ~x8673 ~x1225 ~x4872 ~x4374 
899.92/902.63	v ~x6823 ~x3039 ~x8675 ~x1226 ~x4873 ~x403 ~x6824 ~x3040 ~x8676 ~x1227 
899.92/902.63	v ~x4874 ~x4401 ~x6825 x3042 ~x8677 ~x1228 ~x4875 ~x4428 ~x6826 x3044 
899.92/902.63	v ~x8678 ~x1229 ~x4876 ~x4455 ~x6827 ~x3045 ~x8680 ~x1230 ~x4877 ~x410 
899.92/902.63	v ~x6828 ~x3046 ~x8681 ~x1231 ~x4878 ~x4482 ~x6829 ~x3047 ~x8682 ~x1232 
899.92/902.63	v ~x4879 ~x413 ~x6830 x3048 ~x8683 ~x1233 ~x4880 ~x4509 ~x6831 ~x3049 
899.92/902.63	v ~x8685 ~x1234 ~x4881 ~x416 ~x6832 ~x3050 ~x8686 ~x1235 ~x4882 ~x4536 
899.92/902.63	v ~x6833 ~x3051 ~x8687 ~x1236 ~x4884 x419 ~x6834 ~x3052 ~x8688 ~x1237 
899.92/902.63	v ~x4885 ~x4563 ~x6835 ~x3053 x8690 ~x1238 ~x4886 ~x4590 ~x6836 ~x3054 
899.92/902.63	v ~x8691 ~x1239 ~x4887 x424 ~x6837 x3056 x8692 ~x1240 ~x4888 ~x4617 
899.92/902.63	v ~x6838 ~x3058 ~x8693 ~x1241 ~x4889 ~x4644 ~x6839 ~x3059 x8695 ~x1242 
899.92/902.63	v ~x4890 ~x429 ~x6840 ~x3060 ~x8696 ~x1243 ~x4891 ~x4671 ~x6841 ~x3061 
899.92/902.63	v ~x8697 ~x1244 ~x4892 ~x4698 ~x6842 ~x3062 ~x8698 ~x1245 ~x4893 ~x434 
899.92/902.63	v ~x6843 ~x3063 ~x8700 ~x1246 ~x4894 ~x4725 ~x6844 ~x3064 ~x8701 ~x1247 
899.92/902.63	v ~x4896 ~x437 ~x6845 ~x3065 ~x8702 ~x1248 ~x4898 ~x4752 ~x6846 ~x3066 
899.92/902.63	v ~x8703 ~x1249 ~x4899 ~x4779 ~x6847 ~x3067 ~x8705 ~x1250 ~x4900 ~x4791 
899.92/902.63	v ~x6848 ~x3068 ~x8706 ~x1251 ~x4901 ~x4803 ~x6849 ~x3070 ~x8707 ~x1252 
899.92/902.63	v ~x4902 ~x4805 ~x6850 ~x3072 ~x8708 ~x1253 ~x4903 ~x4817 ~x6851 ~x3073 
899.92/902.63	v x8710 ~x1254 ~x4904 ~x4829 ~x6852 ~x3074 x8711 ~x1255 ~x4905 ~x4831 
899.92/902.63	v ~x6854 ~x3075 ~x8712 ~x1256 ~x4906 ~x4843 ~x6855 ~x3076 ~x8713 ~x1257 
899.92/902.63	v ~x4907 ~x4855 ~x6856 ~x3077 ~x8715 ~x1258 ~x4908 ~x4857 ~x6857 ~x3078 
899.92/902.63	v ~x8716 ~x1259 x4910 ~x4869 ~x6858 ~x3079 ~x8717 ~x1260 ~x4912 ~x4871 
899.92/902.63	v ~x6859 ~x3080 ~x8718 ~x1261 ~x4913 ~x4883 ~x6860 ~x3081 x8720 ~x1262 
899.92/902.63	v ~x4914 ~x4895 ~x6861 ~x3082 ~x8721 ~x1263 ~x4915 ~x4897 ~x6862 ~x3084 
899.92/902.63	v ~x8722 ~x1264 ~x4916 ~x4909 ~x6863 ~x3086 ~x8723 ~x1266 ~x4917 ~x4911 
899.92/902.63	v ~x6864 ~x3087 ~x8725 ~x1267 ~x4918 ~x4923 ~x6865 ~x3088 ~x8726 ~x1268 
899.92/902.63	v ~x4919 ~x4925 ~x6866 ~x3089 ~x8727 ~x1269 ~x4920 ~x4937 ~x6867 ~x3090 
899.92/902.63	v ~x8728 ~x1270 ~x4921 ~x4939 ~x6868 ~x3091 ~x8730 ~x1271 ~x4922 ~x4951 
899.92/902.63	v ~x6869 ~x3092 ~x8731 ~x1272 ~x4924 ~x4953 ~x6870 ~x3093 ~x8732 ~x1273 
899.92/902.63	v ~x4926 ~x4965 ~x6871 ~x3094 ~x8733 ~x1274 ~x4927 ~x4977 ~x6872 ~x3095 
899.92/902.63	v ~x8735 ~x1275 ~x4928 ~x4979 ~x6873 ~x3096 ~x8736 ~x1276 ~x4929 ~x4991 
899.92/902.63	v ~x6874 ~x3098 ~x8737 ~x1277 ~x4930 ~x4993 ~x6875 ~x3100 ~x8738 ~x1278 
899.92/902.63	v ~x4931 ~x5005 ~x6876 ~x3101 ~x8740 ~x1279 ~x4932 ~x5007 ~x6877 ~x3102 
899.92/902.63	v ~x8741 ~x1280 ~x4933 ~x5019 ~x6878 ~x3103 ~x8742 ~x1281 ~x4934 ~x5021 
899.92/902.63	v ~x6879 ~x3104 ~x8743 ~x1282 ~x4935 ~x5033 ~x6880 ~x3105 ~x8745 ~x1283 
899.92/902.63	v ~x4936 ~x5035 ~x6881 ~x3106 ~x8746 ~x1284 ~x4938 ~x5047 ~x6882 ~x3107 
899.92/902.63	v ~x8747 ~x1285 ~x4940 ~x5049 ~x6883 ~x3108 ~x8748 ~x1286 ~x4941 ~x5061 
899.92/902.63	v ~x6884 ~x3109 x8750 ~x1287 ~x4942 ~x5063 ~x6885 ~x3110 ~x8751 ~x1288 
899.92/902.63	v ~x4943 ~x5075 ~x6886 ~x3112 ~x8752 ~x1289 ~x4944 ~x5077 ~x6887 ~x3114 
899.92/902.63	v ~x8753 ~x1290 ~x4945 ~x5089 ~x6888 ~x3115 x8755 ~x1291 ~x4946 ~x5101 
899.92/902.63	v ~x6889 ~x3116 ~x8756 ~x1292 ~x4947 ~x5113 ~x6890 ~x3117 ~x8757 ~x1293 
899.92/902.63	v ~x4948 ~x5115 ~x6891 ~x3118 x8758 ~x1294 ~x4949 ~x5127 ~x6892 ~x3119 
899.92/902.63	v ~x8760 ~x1295 ~x4950 ~x5129 ~x6893 ~x3120 ~x8761 ~x1296 x4952 ~x5141 
899.92/902.63	v ~x6894 ~x3121 ~x8762 ~x1297 ~x4954 ~x5143 ~x6895 ~x3122 ~x8763 ~x1298 
899.92/902.63	v ~x4955 ~x5155 ~x6896 ~x3123 ~x8765 ~x1299 ~x4956 ~x5157 ~x6897 ~x3124 
899.92/902.63	v ~x8766 ~x1300 ~x4957 ~x5169 ~x6898 x3126 ~x8767 ~x1301 ~x4958 ~x5181 
899.92/902.63	v ~x6899 ~x3128 ~x8768 ~x1302 ~x4959 ~x5183 ~x6900 ~x3129 x8770 ~x1303 
899.92/902.63	v ~x4960 ~x5195 ~x6901 ~x3130 ~x8771 ~x1304 ~x4961 ~x5207 ~x6902 ~x3131 
899.92/902.63	v ~x8772 ~x1305 ~x4962 ~x5209 ~x6903 ~x3132 ~x8773 ~x1306 ~x4963 ~x5221 
899.92/902.63	v ~x6904 ~x3133 ~x8775 ~x1307 ~x4964 ~x5223 ~x6905 ~x3134 ~x8776 ~x1308 
899.92/902.63	v ~x4966 ~x5235 ~x6906 ~x3135 ~x8777 ~x1309 ~x4967 ~x5237 ~x6907 ~x3136 
899.92/902.63	v ~x8778 ~x1310 ~x4968 ~x5249 ~x6908 ~x3137 ~x8780 ~x1311 ~x4969 ~x5251 
899.92/902.63	v ~x6909 ~x3138 ~x8781 ~x1312 ~x4970 ~x5263 ~x6910 ~x3140 ~x8782 ~x1313 
899.92/902.63	v ~x4971 ~x5265 ~x6912 ~x3142 ~x8783 ~x1314 ~x4972 ~x5277 ~x6913 ~x3143 
899.92/902.63	v ~x8785 ~x1315 ~x4973 ~x5279 ~x6914 ~x3144 ~x8786 ~x1316 ~x4974 ~x5291 
899.92/902.63	v ~x6915 ~x3145 ~x8787 ~x1317 ~x4975 ~x5293 ~x6916 ~x3146 ~x8788 ~x1318 
899.92/902.63	v ~x4976 ~x5305 ~x6917 ~x3147 x8790 ~x1319 x4978 ~x5307 ~x6918 ~x3148 
899.92/902.63	v ~x8791 ~x1320 ~x4980 ~x5319 ~x6919 ~x3149 ~x8792 ~x1321 ~x4981 ~x5321 
899.92/902.63	v ~x6920 ~x3150 ~x8793 ~x1322 ~x4982 ~x5333 ~x6921 ~x3151 x8795 ~x1324 
899.92/902.63	v ~x4983 ~x5335 ~x6922 ~x3152 ~x8796 ~x1325 ~x4984 ~x5347 ~x6923 ~x3154 
899.92/902.63	v ~x8797 ~x1326 ~x4985 ~x5349 ~x6924 ~x3156 ~x8798 ~x1327 ~x4986 ~x5361 
899.92/902.63	v ~x6925 ~x3157 ~x8800 ~x1328 ~x4987 ~x5373 ~x6926 ~x3158 ~x8801 ~x1329 
899.92/902.63	v ~x4988 ~x5375 ~x6927 ~x3159 ~x8802 ~x1330 ~x4989 ~x5387 ~x6928 ~x3160 
899.92/902.63	v ~x8803 ~x1331 ~x4990 ~x5389 ~x6929 ~x3161 ~x8805 ~x1332 ~x4992 ~x5401 
899.92/902.63	v ~x6930 ~x3162 ~x8806 ~x1333 ~x4994 ~x5403 ~x6931 ~x3163 ~x8807 ~x1334 
899.92/902.63	v ~x4995 x5415 ~x6932 ~x3164 ~x8808 ~x1335 ~x4996 ~x5417 ~x6933 ~x3165 
899.92/902.63	v ~x8810 ~x1336 ~x4997 ~x5429 ~x6934 ~x3166 ~x8811 ~x1337 ~x4998 ~x5431 
899.92/902.63	v ~x6935 x3168 ~x8812 ~x1338 ~x4999 ~x5443 ~x6936 x3170 ~x8813 ~x1339 
899.92/902.63	v ~x5000 ~x5445 ~x6937 ~x3171 ~x8815 ~x1340 ~x5001 ~x5457 ~x6938 ~x3172 
899.92/902.63	v ~x8816 ~x1341 ~x5002 ~x5459 ~x6939 ~x3173 ~x8817 ~x1342 ~x5003 ~x5471 
899.92/902.63	v ~x6940 ~x3174 ~x8818 ~x1343 ~x5004 ~x5473 ~x6941 ~x3175 ~x8820 ~x1344 
899.92/902.63	v x5006 ~x5485 ~x6942 x3176 ~x8821 ~x1345 x5008 ~x5487 ~x6943 ~x3177 
899.92/902.63	v ~x8822 ~x1346 ~x5009 ~x5499 ~x6944 ~x3178 ~x8823 ~x1347 ~x5010 ~x5501 
899.92/902.63	v ~x6945 ~x3179 x8825 ~x1348 ~x5011 ~x5513 ~x6946 ~x3180 ~x8826 ~x1349 
899.92/902.63	v ~x5012 ~x5515 ~x6947 ~x3182 ~x8827 ~x1350 ~x5013 ~x5527 ~x6948 ~x3184 
899.92/902.63	v x8828 ~x1351 ~x5014 ~x5529 ~x6949 ~x3185 ~x8830 ~x1352 ~x5015 ~x5541 
899.92/902.63	v ~x6950 ~x3186 ~x8831 ~x1353 ~x5016 ~x5546 ~x6951 ~x3187 ~x8832 ~x1354 
899.92/902.63	v x5017 ~x5551 ~x6952 ~x3188 ~x8833 ~x1355 ~x5018 ~x5556 ~x6953 ~x3189 
899.92/902.63	v ~x8835 ~x1356 ~x5020 ~x5561 ~x6954 ~x3190 ~x8836 ~x1357 ~x5022 ~x5566 
899.92/902.63	v ~x6955 ~x3191 ~x8837 ~x1358 ~x5023 ~x5571 ~x6956 ~x3192 ~x8838 ~x1359 
899.92/902.63	v ~x5024 ~x5576 ~x6957 ~x3193 ~x8840 ~x1360 ~x5025 ~x5581 ~x6958 ~x3194 
899.92/902.63	v ~x8841 ~x1361 ~x5026 ~x5586 ~x6959 x3196 ~x8842 ~x1362 ~x5027 ~x5591 
899.92/902.63	v ~x6960 x3198 ~x8843 ~x1363 ~x5028 ~x5596 ~x6961 ~x3199 ~x8845 ~x1364 
899.92/902.63	v ~x5029 ~x5601 ~x6962 x3200 ~x8846 ~x1365 ~x5030 ~x5606 ~x6963 ~x3201 
899.92/902.63	v ~x8847 ~x1366 ~x5031 ~x5611 ~x6964 ~x3202 ~x8848 ~x1367 ~x5032 ~x5616 
899.92/902.63	v ~x6965 ~x3203 ~x8850 ~x1368 x5034 ~x5621 ~x6966 ~x3204 ~x8851 ~x1369 
899.92/902.63	v x5036 ~x5626 ~x6967 ~x3205 ~x8852 ~x1370 x5037 ~x5631 ~x6968 ~x3206 
899.92/902.63	v ~x8853 ~x1371 ~x5038 ~x5636 ~x6970 ~x3207 ~x8855 ~x1372 ~x5039 ~x5641 
899.92/902.63	v ~x6971 ~x3208 ~x8856 ~x1373 ~x5040 ~x5646 ~x6972 x3210 ~x8857 ~x1374 
899.92/902.63	v ~x5041 ~x5651 ~x6973 ~x3211 ~x8858 ~x1375 ~x5042 ~x5656 ~x6974 x3212 
899.92/902.63	v ~x8860 ~x1376 ~x5043 ~x5661 ~x6975 ~x3213 ~x8861 ~x1377 ~x5044 ~x5666 
899.92/902.63	v ~x6976 ~x3215 ~x8862 ~x1378 ~x5045 ~x5671 ~x6977 ~x3216 ~x8863 ~x1379 
899.92/902.63	v ~x5046 ~x5676 ~x6978 ~x3217 ~x8865 ~x1380 x5048 ~x5681 ~x6979 ~x3218 
899.92/902.63	v ~x8866 ~x1382 ~x5050 ~x5686 ~x6980 ~x3220 ~x8867 ~x1383 ~x5051 ~x5691 
899.92/902.63	v ~x6981 ~x3221 ~x8868 ~x1384 ~x5052 ~x5696 ~x6982 ~x3222 ~x8870 ~x1385 
899.92/902.63	v ~x5053 ~x5701 ~x6983 ~x3223 ~x8871 ~x1386 ~x5054 ~x5706 ~x6984 ~x3225 
899.92/902.63	v ~x8872 ~x1387 ~x5055 ~x5711 ~x6985 ~x3226 ~x8873 ~x5056 ~x5716 ~x6986 
899.92/902.63	v ~x3227 ~x8875 ~x5057 ~x5721 ~x1388 ~x6987 ~x3228 ~x8876 ~x5058 ~x5726 
899.92/902.63	v ~x1389 ~x6988 ~x3230 ~x8877 ~x5059 ~x5731 ~x1390 ~x6989 ~x3231 ~x8878 
899.92/902.63	v ~x5060 ~x5736 ~x1391 ~x6990 ~x3232 ~x8880 x5062 ~x5741 ~x1392 ~x6991 
899.92/902.63	v ~x3233 ~x8881 ~x5064 ~x5746 ~x1393 ~x6992 ~x3235 ~x8882 ~x5065 ~x5751 
899.92/902.63	v ~x1394 ~x6993 ~x3236 ~x8883 ~x5066 ~x5756 ~x1395 ~x6994 ~x3237 ~x8885 
899.92/902.63	v ~x5067 ~x5761 ~x1396 ~x6995 ~x3238 ~x8886 ~x5068 ~x5766 ~x1397 ~x6996 
899.92/902.63	v x3240 ~x8887 ~x5069 ~x5771 ~x1398 ~x6997 ~x3241 ~x8888 ~x5070 ~x5776 
899.92/902.63	v ~x1399 ~x6998 ~x3242 ~x8890 ~x5071 ~x5781 ~x1400 ~x6999 ~x3243 ~x8891 
899.92/902.63	v ~x5072 ~x5786 ~x1401 ~x7000 ~x3245 ~x8892 ~x5073 ~x5791 ~x1402 ~x7001 
899.92/902.63	v ~x3246 ~x8893 ~x5074 ~x5796 ~x1403 ~x7002 ~x3247 x8895 x5076 ~x5801 
899.92/902.63	v ~x1404 ~x7003 ~x3248 x8897 ~x5078 ~x5806 ~x1405 ~x7004 ~x3250 x8899 
899.92/902.63	v ~x5079 ~x5811 ~x1406 ~x7005 ~x3251 x8901 ~x5080 ~x5816 ~x1407 ~x7006 
899.92/902.63	v ~x3252 ~x5081 ~x5821 ~x1408 ~x7007 ~x3253 ~x5082 ~x5826 ~x1409 ~x7008 
899.92/902.63	v ~x3255 ~x5083 ~x5831 ~x1410 ~x7009 ~x3256 ~x5084 ~x5836 ~x1411 ~x7010 
899.92/902.63	v ~x3257 ~x5085 ~x5841 ~x1412 ~x7011 ~x3258 ~x5086 ~x5846 ~x1413 ~x7012 
899.92/902.63	v x3260 ~x5087 ~x5851 ~x1414 ~x7013 ~x3261 ~x5088 ~x5856 ~x1415 ~x7014 
899.92/902.63	v ~x3262 x5090 ~x5861 ~x1416 ~x7015 ~x3263 ~x5091 ~x5866 ~x1417 ~x7016 
899.92/902.63	v ~x3265 ~x5092 ~x5871 ~x1418 ~x7017 ~x3266 ~x5093 ~x5876 ~x1419 ~x7018 
899.92/902.63	v ~x3267 x5094 ~x5881 ~x1420 ~x7019 ~x3268 ~x5095 ~x5908 ~x1421 ~x7020 
899.92/902.63	v ~x3270 ~x5096 ~x5935 ~x1422 ~x7021 ~x3271 ~x5097 ~x5962 ~x1423 ~x7022 
899.92/902.63	v ~x3272 ~x5098 ~x5989 ~x1424 ~x7023 ~x3273 ~x5099 ~x6016 ~x1425 ~x7024 
899.92/902.63	v ~x3275 ~x5100 ~x6043 ~x1426 ~x7025 ~x3276 ~x5102 ~x6070 ~x1427 ~x7026 
899.92/902.63	v ~x3277 ~x5103 ~x6082 ~x1428 ~x7028 ~x3278 ~x5104 ~x712 ~x1429 ~x7029 
899.92/902.63	v x3280 ~x5105 ~x6094 ~x1430 ~x7030 ~x3281 ~x5106 ~x715 ~x1431 ~x7031 
899.92/902.63	v ~x3282 ~x5107 ~x6106 ~x1432 ~x7032 x3283 ~x5108 ~x718 ~x1433 ~x7033 
899.92/902.63	v ~x3285 ~x5109 ~x6118 ~x1434 ~x7034 ~x3286 ~x5110 ~x721 ~x1435 ~x7035 
899.92/902.63	v ~x3287 ~x5111 ~x6130 ~x1436 ~x7036 ~x3288 ~x5112 ~x6142 ~x1437 ~x7037 
899.92/902.63	v ~x3290 x5114 ~x726 ~x1438 ~x7038 ~x3291 ~x5116 ~x6154 ~x1440 ~x7039 
899.92/902.63	v ~x3292 ~x5117 ~x729 ~x1441 ~x7040 ~x3293 ~x5118 ~x6166 ~x1442 ~x7041 
899.92/902.63	v ~x3295 ~x5119 ~x6178 ~x1443 ~x7042 ~x3296 ~x5120 ~x6190 ~x1444 ~x7043 
899.92/902.63	v ~x3297 ~x5121 ~x6202 ~x1445 ~x7044 ~x3298 ~x5122 ~x738 ~x1446 ~x7045 
899.92/902.63	v ~x3300 ~x5123 ~x6214 ~x1447 ~x7046 ~x3301 ~x5124 ~x741 ~x1448 ~x7047 
899.92/902.63	v ~x3302 ~x5125 ~x6226 ~x1449 ~x7048 ~x3303 ~x5126 ~x744 ~x1450 ~x7049 
899.92/902.63	v ~x3305 ~x5128 ~x6238 ~x1451 ~x7050 ~x3306 ~x5130 ~x6250 ~x1452 ~x7051 
899.92/902.63	v ~x3307 ~x5131 ~x6262 ~x1453 ~x7052 ~x3308 ~x5132 ~x751 ~x1454 ~x7053 
899.92/902.63	v ~x3310 ~x5133 ~x6274 ~x1455 ~x7055 ~x3311 ~x5134 ~x6286 ~x1456 ~x7056 
899.92/902.63	v ~x3312 ~x5135 x6298 ~x1457 ~x7057 ~x3313 ~x5136 ~x6310 ~x1458 ~x7058 
899.92/902.63	v ~x3315 ~x5137 ~x6322 ~x1459 ~x7059 ~x3316 ~x5138 ~x6327 ~x1460 ~x7060 
899.92/902.63	v ~x3317 ~x5139 ~x6329 ~x1461 ~x7061 ~x3318 ~x5140 ~x6334 ~x1462 ~x7062 
899.92/902.63	v ~x3320 ~x5142 ~x6336 ~x1463 ~x7063 ~x3321 ~x5144 ~x6341 ~x1464 ~x7064 
899.92/902.63	v ~x3322 ~x5145 ~x6343 ~x1465 ~x7065 ~x3323 ~x5146 ~x6348 ~x1466 ~x7066 
899.92/902.63	v ~x3325 ~x5147 ~x6350 ~x1467 ~x7067 ~x3326 ~x5148 ~x6355 ~x1468 ~x7068 
899.92/902.63	v ~x3327 ~x5149 ~x6357 ~x1469 ~x7069 ~x3328 ~x5150 ~x6362 ~x1470 ~x7070 
899.92/902.63	v ~x3330 ~x5151 ~x6364 ~x1471 ~x7071 ~x3331 ~x5152 ~x6369 ~x1472 ~x7072 
899.92/902.63	v ~x3332 ~x5153 ~x6371 ~x1473 ~x7073 ~x3333 ~x5154 ~x6376 ~x1474 ~x7074 
899.92/902.63	v ~x3335 x5156 ~x6378 ~x1475 ~x7075 ~x3336 ~x5158 ~x6383 ~x1476 ~x7076 
899.92/902.63	v ~x3337 ~x5159 ~x6385 ~x1477 ~x7077 ~x3338 ~x5160 ~x6390 ~x1478 ~x7078 
899.92/902.63	v ~x3340 ~x5161 ~x6392 ~x1479 ~x7079 ~x3341 ~x5162 ~x6397 ~x1480 ~x7080 
899.92/902.63	v ~x3342 ~x5163 ~x6399 ~x1481 ~x7082 ~x3343 ~x5164 ~x6404 ~x1482 ~x7083 
899.92/902.63	v ~x3345 ~x5165 ~x6406 ~x1483 ~x7084 ~x3346 ~x5166 ~x6411 ~x1484 ~x7085 
899.92/902.63	v ~x3347 ~x5167 ~x6413 ~x1485 ~x7086 ~x3348 ~x5168 ~x6418 ~x1486 ~x7087 
899.92/902.63	v ~x3350 ~x5170 ~x6420 ~x1487 ~x7088 ~x3351 ~x5171 ~x6425 ~x1488 ~x7089 
899.92/902.63	v ~x3352 ~x5172 ~x6427 ~x1489 ~x7090 ~x3353 ~x5173 ~x6432 ~x1490 ~x7091 
899.92/902.63	v ~x3355 ~x5174 ~x6434 ~x1491 ~x7092 ~x3356 ~x5175 ~x6439 ~x1492 ~x7093 
899.92/902.63	v ~x3357 ~x5176 ~x6441 ~x1493 ~x7094 ~x3358 ~x5177 ~x6446 ~x1494 ~x7095 
899.92/902.63	v ~x3360 ~x5178 ~x6448 ~x1495 ~x7096 ~x3361 ~x5179 ~x6453 ~x1496 ~x7097 
899.92/902.63	v ~x3362 ~x5180 ~x6455 x1498 ~x7098 ~x3363 x5182 ~x6460 ~x1499 ~x7099 
899.92/902.63	v ~x3365 ~x5184 ~x6462 ~x1500 ~x7100 ~x3366 ~x5185 ~x6467 ~x1501 ~x7101 
899.92/902.63	v ~x3367 ~x5186 ~x6469 ~x1502 ~x7102 ~x3368 ~x5187 ~x6474 ~x1503 ~x7103 
899.92/902.63	v ~x3370 ~x5188 ~x6476 ~x1504 ~x7104 ~x3371 ~x5189 ~x6481 ~x1505 ~x7105 
899.92/902.63	v ~x3372 ~x5190 ~x6483 ~x1506 ~x7106 ~x3373 ~x5191 ~x6488 ~x1507 ~x7107 
899.92/902.63	v ~x3375 ~x5192 ~x6493 ~x1508 ~x7109 ~x3376 ~x5193 ~x6495 ~x1509 ~x7110 
899.92/902.63	v ~x3377 ~x5194 ~x6500 ~x1510 ~x7111 ~x3378 ~x5196 ~x6502 ~x1511 ~x7112 
899.92/902.63	v x3380 ~x5197 ~x6507 ~x1512 ~x7113 ~x3381 ~x5198 ~x6509 ~x1513 ~x7114 
899.92/902.63	v ~x3382 ~x5199 ~x6514 ~x1514 ~x7115 ~x3383 ~x5200 ~x6516 ~x1515 ~x7116 
899.92/902.63	v ~x3385 ~x5201 ~x6521 ~x1516 ~x7117 ~x3386 ~x5202 ~x6523 ~x1517 ~x7118 
899.92/902.63	v ~x3387 ~x5203 ~x6528 ~x1518 ~x7119 ~x3388 ~x5204 ~x6530 ~x1519 ~x7120 
899.92/902.63	v ~x3390 ~x5205 ~x6535 ~x1520 ~x7121 ~x3391 ~x5206 ~x6537 ~x1521 ~x7122 
899.92/902.63	v ~x3392 ~x5208 ~x6542 ~x1522 ~x7123 ~x3393 ~x5210 x6544 ~x1523 ~x7124 
899.92/902.63	v ~x3395 ~x5211 ~x6549 ~x1524 ~x7125 ~x3396 ~x5212 ~x6551 ~x1525 ~x7126 
899.92/902.63	v ~x3397 ~x5213 ~x6556 ~x1526 ~x7127 ~x3398 ~x5214 ~x6558 ~x1527 ~x7128 
899.92/902.63	v ~x3400 ~x5215 ~x6563 ~x1528 ~x7129 ~x3401 ~x5216 ~x6621 ~x1529 ~x7130 
899.92/902.63	v ~x3402 ~x5217 ~x6679 ~x1530 ~x7131 ~x3403 ~x5218 ~x6737 ~x1531 ~x7132 
899.92/902.63	v ~x3405 ~x5219 ~x6795 ~x1532 ~x7133 ~x3406 ~x5220 ~x6853 ~x1533 ~x7134 
899.92/902.63	v ~x3407 ~x5222 ~x6911 ~x1534 ~x7136 ~x3408 ~x5224 ~x6969 ~x1535 ~x7137 
899.92/902.63	v x3410 ~x5225 ~x7027 ~x1536 ~x7138 ~x3411 ~x5226 ~x7054 ~x1537 ~x7139 
899.92/902.63	v ~x3412 ~x5227 ~x7081 ~x1538 ~x7140 ~x3413 ~x5228 ~x7108 ~x1539 ~x7141 
899.92/902.63	v x3415 ~x5229 ~x7135 ~x1540 ~x7142 x3416 ~x5230 ~x7162 ~x1541 ~x7143 
899.92/902.63	v ~x3417 ~x5231 ~x7189 ~x1542 ~x7144 ~x3418 ~x5232 ~x7216 ~x1543 ~x7145 
899.92/902.63	v ~x3420 ~x5233 ~x888 ~x1544 ~x7146 ~x3421 ~x5234 ~x7243 ~x1545 ~x7147 
899.92/902.63	v ~x3422 ~x5236 ~x7270 ~x1546 ~x7148 ~x3423 ~x5238 ~x7297 ~x1547 ~x7149 
899.92/902.63	v ~x3425 ~x5239 ~x895 ~x1548 ~x7150 ~x3426 ~x5240 ~x7324 ~x1549 ~x7151 
899.92/902.63	v ~x3427 ~x5241 ~x7351 ~x1550 ~x7152 ~x3428 ~x5242 ~x7378 ~x1551 ~x7153 
899.92/902.63	v x3430 ~x5243 ~x7405 ~x1552 ~x7154 ~x3431 ~x5244 ~x7432 ~x1553 ~x7155 
899.92/902.63	v ~x3432 ~x5245 ~x7459 ~x1554 ~x7156 ~x3433 ~x5246 ~x7486 ~x1556 ~x7157 
899.92/902.63	v x3435 ~x5247 ~x7513 ~x1557 ~x7158 ~x3436 ~x5248 ~x7540 ~x1558 ~x7159 
899.92/902.63	v ~x3437 ~x5250 ~x7567 ~x1559 ~x7160 ~x3438 ~x5252 ~x916 ~x1560 ~x7161 
899.92/902.63	v x3440 ~x5253 ~x7594 ~x1561 ~x7163 x3441 ~x5254 ~x7621 ~x1562 ~x7164 
899.92/902.63	v ~x3442 ~x5255 ~x7648 ~x1563 ~x7165 ~x3443 ~x5256 ~x923 ~x1564 ~x7166 
899.92/902.63	v x3445 ~x5257 ~x7675 ~x1565 ~x7167 ~x3446 ~x5258 ~x7702 ~x1566 ~x7168 
899.92/902.63	v ~x3447 ~x5259 ~x928 ~x1567 ~x7169 ~x3448 ~x5260 ~x7729 ~x1568 ~x7170 
899.92/902.63	v x3450 ~x5261 ~x931 ~x1569 ~x7171 ~x3451 ~x5262 ~x7756 ~x1570 ~x7172 
899.92/902.63	v x3452 ~x5264 ~x7783 ~x1571 ~x7173 ~x3453 ~x5266 ~x7795 ~x1572 ~x7174 
899.92/902.63	v x3455 ~x5267 ~x7797 ~x1573 ~x7175 ~x3456 ~x5268 ~x7809 ~x1574 ~x7176 
899.92/902.63	v ~x3457 ~x5269 ~x7811 ~x1575 ~x7177 ~x3458 ~x5270 ~x7823 ~x1576 ~x7178 
899.92/902.63	v ~x3460 ~x5271 ~x7825 ~x1577 ~x7179 ~x3461 ~x5272 ~x7837 ~x1578 ~x7180 
899.92/902.63	v ~x3462 ~x5273 ~x7839 ~x1579 ~x7181 ~x3463 ~x5274 ~x7851 ~x1580 ~x7182 
899.92/902.63	v ~x3465 ~x5275 ~x7853 ~x1581 ~x7183 ~x3466 ~x5276 ~x7865 ~x1582 ~x7184 
899.92/902.63	v ~x3467 ~x5278 ~x7877 ~x1583 ~x7185 ~x3468 ~x5280 ~x7879 ~x1584 ~x7186 
899.92/902.63	v ~x3470 ~x5281 ~x7891 ~x1585 ~x7187 ~x3471 ~x5282 ~x7893 ~x1586 ~x7188 
899.92/902.63	v ~x3472 ~x5283 ~x7905 ~x1587 ~x7190 ~x3473 ~x5284 ~x7917 ~x1588 ~x7191 
899.92/902.63	v ~x3475 ~x5285 ~x7929 ~x1589 ~x7192 ~x3476 ~x5286 ~x7941 ~x1590 ~x7193 
899.92/902.63	v ~x3477 ~x5287 ~x7953 ~x1591 ~x7194 ~x3478 ~x5288 ~x7955 ~x1592 ~x7195 
899.92/902.63	v ~x3480 ~x5289 ~x7967 ~x1593 ~x7196 ~x3481 ~x5290 ~x7969 ~x1594 ~x7197 
899.92/902.63	v ~x3482 x5292 ~x7981 ~x1595 ~x7198 ~x3483 ~x5294 ~x7993 ~x1596 ~x7199 
899.92/902.63	v ~x3485 ~x5295 ~x7995 ~x1597 ~x7200 ~x3486 ~x5296 ~x8007 ~x1598 ~x7201 
899.92/902.63	v ~x3487 ~x5297 ~x8009 ~x1599 ~x7202 ~x3488 ~x5298 ~x8021 ~x1600 ~x7203 
899.92/902.63	v ~x3490 ~x5299 ~x8023 ~x1601 ~x7204 ~x3491 ~x5300 ~x8035 ~x1602 ~x7205 
899.92/902.63	v ~x3492 ~x5301 ~x8037 ~x1603 ~x7206 ~x3493 ~x5302 ~x8049 ~x1604 ~x7207 
899.92/902.63	v ~x3495 ~x5303 ~x8051 ~x1605 ~x7208 ~x3496 ~x5304 ~x8063 ~x1606 ~x7209 
899.92/902.63	v ~x3497 ~x5306 ~x8065 ~x1607 ~x7210 ~x3498 ~x5308 ~x8077 ~x1608 ~x7211 
899.92/902.63	v ~x3500 ~x5309 ~x8079 ~x1609 ~x7212 ~x3501 ~x5310 ~x8091 ~x1610 ~x7213 
899.92/902.63	v ~x3502 ~x5311 ~x8093 ~x1611 ~x7214 ~x3503 ~x5312 ~x8105 ~x1612 ~x7215 
899.92/902.63	v ~x3505 ~x5313 ~x8107 x1614 ~x7217 ~x3506 ~x5314 ~x8119 ~x1615 ~x7218 
899.92/902.63	v ~x3507 ~x5315 ~x8131 ~x1616 ~x7219 ~x3508 ~x5316 ~x8133 ~x1617 ~x7220 
899.92/902.63	v ~x3510 ~x5317 ~x8145 ~x1618 ~x7221 ~x3511 ~x5318 ~x8147 ~x1619 ~x7222 
899.92/902.63	v ~x3512 x5320 ~x8159 ~x1620 ~x7223 ~x3513 ~x5322 ~x8161 ~x1621 ~x7224 
899.92/902.63	v ~x3515 ~x5323 ~x8173 ~x1622 ~x7225 ~x3516 ~x5324 ~x8175 ~x1623 ~x7226 
899.92/902.63	v ~x3517 ~x5325 ~x8187 ~x1624 ~x7227 ~x3518 ~x5326 ~x8189 ~x1625 ~x7228 
899.92/902.63	v ~x3520 ~x5327 ~x8201 ~x1626 ~x7229 ~x3521 ~x5328 ~x8203 ~x1627 ~x7230 
899.92/902.63	v ~x3522 ~x5329 ~x8215 ~x1628 ~x7231 ~x3523 ~x5330 ~x8217 ~x1629 ~x7232 
899.92/902.63	v x3525 ~x5331 ~x8229 ~x1630 ~x7233 ~x3526 ~x5332 ~x8231 ~x1631 ~x7234 
899.92/902.63	v x3527 ~x5334 ~x8243 ~x1632 ~x7235 ~x3528 ~x5336 ~x8245 ~x1633 ~x7236 
899.92/902.63	v ~x3530 ~x5337 ~x8257 ~x1634 ~x7237 ~x3531 ~x5338 ~x8259 ~x1635 ~x7238 
899.92/902.63	v ~x3532 ~x5339 ~x8271 ~x1636 ~x7239 ~x3533 ~x5340 ~x8273 ~x1637 ~x7240 
899.92/902.63	v ~x3535 ~x5341 ~x8285 ~x1638 ~x7241 ~x3536 ~x5342 ~x8287 ~x1639 ~x7242 
899.92/902.63	v ~x3537 ~x5343 ~x8299 ~x1640 ~x7244 ~x3538 ~x5344 ~x8301 ~x1641 ~x7245 
899.92/902.63	v ~x3540 ~x5345 ~x8313 ~x1642 ~x7246 ~x3541 ~x5346 ~x8315 ~x1643 ~x7247 
899.92/902.63	v ~x3542 ~x5348 ~x8327 ~x1644 ~x7248 ~x3543 ~x5350 ~x8329 ~x1645 ~x7249 
899.92/902.63	v ~x3545 ~x5351 ~x8341 ~x1646 ~x7250 ~x3546 ~x5352 ~x8343 ~x1647 ~x7251 
899.92/902.63	v ~x3547 ~x5353 ~x8355 ~x1648 ~x7252 ~x3548 ~x5354 ~x8357 ~x1649 ~x7253 
899.92/902.63	v x3550 ~x5355 ~x8369 ~x1650 ~x7254 ~x3551 ~x5356 ~x8371 ~x1651 ~x7255 
899.92/902.63	v x3552 ~x5357 ~x8383 ~x1652 ~x7256 ~x3553 ~x5358 ~x8385 ~x1653 ~x7257 
899.92/902.63	v x3555 ~x5359 ~x8397 ~x1654 ~x7258 ~x3556 ~x5360 ~x8399 ~x1655 ~x7259 
899.92/902.63	v ~x3557 ~x5362 x8411 ~x1656 ~x7260 ~x3558 ~x5363 ~x8423 ~x1657 ~x7261 
899.92/902.63	v x3560 ~x5364 ~x8425 ~x1658 ~x7262 ~x3561 ~x5365 ~x8437 ~x1659 ~x7263 
899.92/902.63	v ~x3562 ~x5366 ~x8439 ~x1660 ~x7264 ~x3563 ~x5367 ~x8451 ~x1661 ~x7265 
899.92/902.63	v ~x3564 ~x5368 ~x8453 ~x1662 ~x7266 ~x3565 ~x5369 ~x8465 ~x1663 ~x7267 
899.92/902.63	v ~x3566 ~x5370 ~x8467 ~x1664 ~x7268 ~x3567 ~x5371 ~x8479 ~x1665 ~x7269 
899.92/902.63	v ~x3568 ~x5372 ~x8481 ~x1666 ~x7271 ~x3569 ~x5374 ~x8493 ~x1667 ~x7272 
899.92/902.63	v ~x3570 ~x5376 ~x8495 ~x1668 ~x7273 ~x3571 ~x5377 ~x8507 ~x1669 ~x7274 
899.92/902.63	v ~x3572 ~x5378 ~x8509 ~x1670 ~x7275 ~x3573 ~x5379 ~x8521 ~x1672 ~x7276 
899.92/902.63	v ~x3574 ~x5380 ~x8523 ~x1673 ~x7277 ~x3575 ~x5381 ~x8535 ~x1674 ~x7278 
899.92/902.63	v ~x3576 ~x5382 ~x8537 ~x1675 ~x7279 ~x3577 ~x5383 ~x8549 ~x1676 ~x7280 
899.92/902.63	v ~x3578 ~x5384 ~x8554 ~x1677 ~x7281 ~x3579 ~x5385 ~x8559 ~x1678 ~x7282 
899.92/902.63	v ~x3580 ~x5386 ~x8564 ~x1679 ~x7283 ~x3581 ~x5388 ~x8569 ~x1680 ~x7284 
899.92/902.63	v ~x3582 ~x5390 ~x8574 ~x1681 ~x7285 ~x3583 ~x5391 ~x8579 ~x1682 ~x7286 
899.92/902.63	v ~x3584 ~x5392 ~x8584 ~x1683 ~x7287 ~x3585 ~x5393 ~x8589 ~x1684 ~x7288 
899.92/902.63	v ~x3586 ~x5394 ~x8594 ~x1685 ~x7289 ~x3587 ~x5395 ~x8599 ~x1686 ~x7290 
899.92/902.63	v ~x3588 ~x5396 ~x8604 ~x1687 ~x7291 ~x3589 ~x5397 ~x8609 ~x1688 ~x7292 
899.92/902.63	v ~x3590 ~x5398 ~x8614 ~x1689 ~x7293 ~x3591 ~x5399 ~x8619 ~x1690 ~x7294 
899.92/902.63	v ~x3592 ~x5400 ~x8624 ~x1691 ~x7295 ~x3593 x5402 ~x8629 ~x1692 ~x7296 
899.92/902.63	v ~x3594 ~x5404 ~x8634 ~x1693 ~x7298 ~x3595 ~x5405 ~x8639 ~x1694 ~x7299 
899.92/902.63	v ~x3596 ~x5406 ~x8644 ~x1695 ~x7300 ~x3597 ~x5407 ~x8649 ~x1696 ~x7301 
899.92/902.63	v ~x3598 ~x5408 ~x8654 ~x1697 ~x7302 ~x3599 ~x5409 ~x8659 ~x1699 ~x7303 
899.92/902.63	v ~x3600 ~x5410 ~x8664 ~x1700 ~x7304 ~x3601 ~x5411 ~x8669 ~x1701 ~x7305 
899.92/902.63	v ~x3602 ~x5412 ~x8674 ~x1702 ~x7306 ~x3603 ~x5413 ~x8679 ~x1703 ~x7307 
899.92/902.63	v ~x3604 ~x5414 ~x8684 ~x1704 ~x7308 ~x3605 x5416 ~x8689 ~x1705 ~x7309 
899.92/902.63	v ~x3606 x5418 ~x8694 ~x1706 ~x7310 ~x3607 ~x5419 ~x8699 ~x1707 ~x7311 
899.92/902.63	v ~x3608 ~x5420 ~x8704 ~x1708 ~x7312 ~x3609 ~x5421 ~x8709 ~x1709 ~x7313 
899.92/902.63	v ~x3610 x5422 ~x8714 ~x1710 ~x7314 ~x3611 ~x5423 ~x8719 ~x1711 ~x7315 
899.92/902.63	v ~x3612 ~x5424 ~x8724 ~x1712 ~x7316 ~x3613 ~x5425 ~x8729 ~x1713 ~x7317 
899.92/902.63	v ~x3614 ~x5426 ~x8734 ~x1714 ~x7318 ~x3615 ~x5427 ~x8739 ~x1715 ~x7319 
899.92/902.63	v ~x3616 ~x5428 ~x8744 ~x1716 ~x7320 ~x3618 ~x5430 ~x8749 ~x1717 ~x7321 
899.92/902.63	v ~x3619 ~x5432 ~x8754 ~x1718 ~x7322 ~x3620 ~x5433 ~x8759 ~x1719 ~x7323 
899.92/902.63	v ~x3621 ~x5434 ~x8764 ~x1720 ~x7325 ~x3622 ~x5435 ~x8769 ~x1721 ~x7326 
899.92/902.63	v ~x3623 ~x5436 ~x8774 ~x1722 ~x7327 ~x3624 ~x5437 ~x8779 ~x1723 ~x7328 
899.92/902.63	v ~x3625 ~x5438 ~x8784 ~x1724 ~x7329 ~x3626 ~x5439 ~x8789 ~x1726 ~x7330 
899.92/902.63	v ~x3627 ~x5440 ~x8794 ~x1727 ~x7331 ~x3628 ~x5441 ~x8799 ~x1728 ~x7332 
899.92/902.63	v ~x3629 ~x5442 ~x8804 ~x1729 ~x7333 ~x3630 x5444 ~x8809 ~x1730 ~x7334 
899.92/902.63	v ~x3631 ~x5446 ~x8814 ~x1731 ~x7335 ~x3632 ~x5447 ~x8819 ~x1732 ~x7336 
899.92/902.63	v ~x3633 ~x5448 ~x8824 ~x1733 ~x7337 ~x3634 ~x5449 ~x8829 ~x1734 ~x7338 
899.92/902.63	v ~x3635 ~x5450 ~x8834 ~x1735 ~x7339 ~x3636 ~x5451 ~x8839 ~x1736 ~x7340 
899.92/902.63	v ~x3637 ~x5452 ~x8844 ~x1737 ~x7341 ~x3638 ~x5453 ~x8849 ~x1738 ~x7342 
899.92/902.63	v ~x3639 ~x5454 ~x8854 ~x1739 ~x7343 ~x3640 ~x5455 ~x8859 ~x1740 ~x7344 
899.92/902.63	v ~x3641 ~x5456 ~x8864 ~x1741 ~x7345 ~x3642 ~x5458 ~x8869 ~x1742 ~x7346 
899.92/902.63	v ~x3643 ~x5460 ~x8874 ~x1743 ~x7347 ~x3644 ~x5461 ~x8879 ~x1744 ~x7348 
899.92/902.63	v ~x3645 ~x5462 ~x8884 ~x1745 ~x7349 ~x3646 ~x5463 ~x8889 ~x1746 ~x7350 
899.92/902.63	v ~x3647 ~x5464 ~x8894 ~x1747 x7352 ~x3648 ~x5465 ~x8896 ~x1748 ~x7353 
899.92/902.63	v ~x3649 ~x5466 ~x8898 ~x1749 ~x7354 ~x3650 ~x5467 ~x8900 ~x1750 ~x7355 
899.92/902.63	v ~x3651 ~x5468 ~x1202 ~x1751 ~x7356 ~x3652 ~x5469 ~x1204 ~x1753 ~x7357 
899.92/902.63	v ~x3653 ~x5470 ~x1205 ~x1754 ~x7358 ~x3654 x5472 ~x1755 ~x7359 ~x3655 
899.92/902.63	v ~x5474 ~x1756 ~x7360 ~x3656 ~x5475 ~x1757 ~x7361 ~x3657 ~x5476 ~x1758 
899.92/902.63	v ~x7362 ~x3658 ~x5477 ~x1759 ~x7363 ~x3659 ~x5478 ~x1760 ~x7364 ~x3660 
899.92/902.63	v ~x5479 ~x1761 ~x7365 ~x3661 ~x5480 ~x1762 ~x7366 ~x3662 ~x5481 ~x1763 
899.92/902.63	v ~x7367 ~x10 ~x3663 ~x5482 ~x1764 ~x7368 ~x12 ~x3664 ~x5483 ~x1765 
899.92/902.63	v ~x7369 ~x13 ~x3665 ~x5484 ~x1766 ~x7370 ~x15 ~x3666 x5486 ~x1767 
899.92/902.63	v x7371 ~x16 ~x3667 ~x5488 ~x1768 ~x7372 ~x18 ~x3668 ~x5489 ~x1769 
899.92/902.63	v ~x7373 ~x19 ~x3669 ~x5490 ~x1770 ~x7374 ~x21 ~x3670 ~x5491 ~x1771 
899.92/902.63	v ~x7375 ~x22 ~x3671 ~x5492 ~x1772 ~x7376 ~x24 ~x3672 ~x5493 ~x1773 
899.92/902.63	v ~x7377 ~x25 ~x3673 ~x5494 ~x1774 ~x7379 ~x27 ~x3674 ~x5495 ~x1775 
899.92/902.63	v ~x7380 ~x28 ~x3676 ~x5496 ~x1776 ~x7381 ~x30 ~x3677 ~x5497 ~x1777 
899.92/902.63	v ~x7382 ~x31 ~x3678 ~x5498 ~x1778 ~x7383 ~x33 ~x3679 x5500 ~x1780 
899.92/902.63	v ~x7384 ~x34 ~x3680 ~x5502 ~x1781 ~x7385 ~x35 ~x3681 ~x5503 ~x1782 
899.92/902.63	v ~x7386 ~x36 ~x3682 ~x5504 ~x1783 ~x7387 ~x38 ~x3683 ~x5505 ~x1784 
899.92/902.63	v ~x7388 ~x39 ~x3684 ~x5506 ~x1785 ~x7389 ~x41 ~x3685 ~x5507 ~x1786 
899.92/902.63	v ~x7390 ~x42 ~x3686 ~x5508 ~x1787 ~x7391 ~x43 ~x3687 ~x5509 ~x1788 
899.92/902.63	v ~x7392 ~x44 ~x3688 ~x5510 ~x1789 ~x7393 ~x46 ~x3689 ~x5511 ~x1790 
899.92/902.63	v ~x7394 ~x47 ~x3690 ~x5512 ~x1791 ~x7395 ~x48 ~x3691 ~x5514 ~x1792 
899.92/902.63	v ~x7396 ~x49 ~x3692 ~x5516 ~x1793 ~x7397 ~x51 ~x3693 ~x5517 ~x1794 
899.92/902.63	v ~x7398 ~x52 ~x3694 ~x5518 ~x1795 ~x7399 ~x54 ~x3695 ~x5519 ~x1796 
899.92/902.63	v ~x7400 ~x55 ~x3696 ~x5520 ~x1797 ~x7401 ~x57 ~x3697 ~x5521 ~x1798 
899.92/902.63	v ~x7402 ~x58 ~x3698 ~x5522 ~x1799 ~x7403 ~x60 ~x3699 ~x5523 ~x1800 
899.92/902.63	v ~x7404 ~x61 ~x3700 ~x5524 ~x1801 ~x7406 ~x63 ~x3701 ~x5525 ~x1802 
899.92/902.63	v ~x7407 ~x64 ~x3702 ~x5526 ~x1803 ~x7408 ~x66 ~x3703 ~x5528 ~x1804 
899.92/902.63	v ~x7409 ~x67 ~x3704 ~x5530 ~x1805 ~x7410 ~x68 ~x3705 ~x5531 ~x1807 
899.92/902.63	v ~x7411 ~x69 ~x3706 ~x5532 ~x1808 ~x7412 ~x71 ~x3707 ~x5533 ~x1809 
899.92/902.63	v ~x7413 ~x72 ~x3708 ~x5534 ~x1810 ~x7414 ~x74 ~x3709 ~x5535 ~x1811 
899.92/902.63	v ~x7415 ~x75 ~x3710 ~x5536 ~x1812 ~x7416 ~x77 ~x3711 ~x5537 ~x1813 
899.92/902.63	v ~x7417 ~x78 ~x3712 ~x5538 ~x1814 ~x7418 ~x80 ~x3713 ~x5539 ~x1815 
899.92/902.63	v ~x7419 ~x81 ~x3714 ~x5540 ~x1816 ~x7420 ~x83 ~x3715 ~x5542 ~x1817 
899.92/902.63	v ~x7421 x84 ~x3716 ~x5543 ~x1818 ~x7422 x86 ~x3717 ~x5544 ~x1819 
899.92/902.63	v ~x7423 ~x87 ~x3718 ~x5545 ~x1820 ~x7424 ~x89 ~x3719 ~x5547 ~x1821 
899.92/902.63	v ~x7425 ~x91 ~x3720 ~x5548 ~x1822 ~x7426 ~x90 ~x3721 ~x5549 ~x1823 
899.92/902.63	v ~x7427 ~x92 ~x5550 ~x1824 ~x7428 ~x94 ~x3722 ~x5552 ~x1825 ~x7429 
899.92/902.63	v ~x93 ~x3723 ~x5553 ~x1826 ~x7430 ~x95 ~x3724 ~x5554 ~x1827 ~x7431 
899.92/902.63	v ~x97 ~x3725 ~x5555 ~x1828 ~x7433 ~x96 ~x3726 ~x5557 ~x1829 ~x7434 
899.92/902.63	v ~x98 ~x3727 ~x5558 ~x1830 ~x7435 ~x100 ~x3728 ~x5559 ~x1831 ~x7436 
899.92/902.63	v ~x99 ~x3729 ~x5560 ~x1832 ~x7437 ~x101 ~x3730 x5562 ~x1834 ~x7438 
899.92/902.63	v ~x103 ~x3731 ~x5563 ~x1835 ~x7439 ~x102 ~x3732 ~x5564 ~x1836 ~x7440 
899.92/902.63	v ~x104 ~x3734 ~x5565 ~x1837 ~x7441 ~x106 ~x3735 ~x5567 ~x1838 ~x7442 
899.92/902.63	v ~x105 ~x3736 ~x5568 ~x1839 ~x7443 ~x107 ~x3737 ~x5569 ~x1840 ~x7444 
899.92/902.63	v ~x109 ~x3738 ~x5570 ~x1841 ~x7445 ~x108 ~x3739 ~x5572 ~x1842 ~x7446 
899.92/902.63	v ~x110 ~x3740 ~x5573 ~x1843 ~x7447 ~x112 ~x3741 ~x5574 ~x1844 ~x7448 
899.92/902.63	v ~x111 ~x3742 ~x5575 ~x1845 ~x7449 ~x113 ~x3743 x5577 ~x1846 ~x7450 
899.92/902.63	v ~x115 ~x3744 ~x5578 ~x1847 ~x7451 ~x114 ~x3745 ~x5579 ~x1848 ~x7452 
899.92/902.63	v ~x116 ~x3746 x5580 ~x1849 ~x7453 x118 ~x3747 x5582 ~x1850 ~x7454 
899.92/902.63	v ~x117 ~x3748 ~x5583 ~x1851 ~x7455 ~x119 ~x3749 ~x5584 ~x1852 ~x7456 
899.92/902.63	v ~x121 ~x3750 x5585 ~x1853 ~x7457 ~x120 ~x3751 ~x5587 ~x1854 ~x7458 
899.92/902.63	v ~x122 ~x3752 ~x5588 ~x1855 ~x7460 ~x124 ~x3753 ~x5589 ~x1856 ~x7461 
899.92/902.63	v ~x123 ~x3754 ~x5590 ~x1857 ~x7462 ~x125 ~x3755 ~x5592 ~x1858 ~x7463 
899.92/902.63	v ~x127 ~x3756 ~x5593 ~x1859 ~x7464 ~x126 ~x3757 ~x5594 ~x1861 ~x7465 
899.92/902.63	v ~x128 ~x3758 ~x5595 ~x1862 ~x7466 ~x130 ~x3759 ~x5597 ~x1863 ~x7467 
899.92/902.63	v ~x129 ~x3760 ~x5598 ~x1864 ~x7468 ~x131 ~x3761 ~x5599 ~x1865 ~x7469 
899.92/902.63	v ~x133 ~x3762 ~x5600 ~x1866 ~x7470 ~x132 ~x3763 ~x5602 ~x1867 ~x7471 
899.92/902.63	v ~x134 ~x3764 ~x5603 ~x1868 ~x7472 ~x136 ~x3765 ~x5604 ~x1869 ~x7473 
899.92/902.63	v ~x135 ~x3766 ~x5605 ~x1870 ~x7474 ~x137 ~x3767 ~x5607 ~x1871 ~x7475 
899.92/902.63	v ~x139 ~x3768 ~x5608 ~x1872 ~x7476 ~x138 ~x3769 ~x5609 ~x1873 ~x7477 
899.92/902.63	v ~x140 ~x3770 ~x5610 ~x1874 ~x7478 ~x142 ~x3771 ~x5612 ~x1875 ~x7479 
899.92/902.63	v ~x141 ~x3772 ~x5613 ~x1876 ~x7480 ~x143 ~x3773 ~x5614 ~x1877 ~x7481 
899.92/902.63	v ~x145 ~x3774 ~x5615 ~x1878 ~x7482 ~x144 ~x3775 ~x5617 ~x1879 ~x7483 
899.92/902.63	v ~x146 ~x3776 ~x5618 ~x1880 ~x7484 ~x148 ~x3777 ~x5619 ~x1881 ~x7485 
899.92/902.63	v ~x147 ~x3778 ~x5620 ~x1882 ~x7487 ~x149 ~x3779 ~x5622 ~x1883 ~x7488 
899.92/902.63	v ~x151 ~x3780 ~x5623 ~x1884 ~x7489 ~x150 ~x3781 ~x5624 ~x1885 ~x7490 
899.92/902.63	v ~x152 ~x3782 ~x5625 ~x1886 ~x7491 ~x154 ~x3783 ~x5627 ~x1888 ~x7492 
899.92/902.63	v ~x153 ~x3784 ~x5628 ~x1889 ~x7493 ~x155 ~x3785 ~x5629 ~x1890 ~x7494 
899.92/902.63	v ~x157 ~x3786 ~x5630 ~x1891 ~x7495 ~x156 ~x3787 ~x5632 ~x1892 ~x7496 
899.92/902.63	v ~x158 ~x3788 ~x5633 ~x1893 ~x7497 ~x160 ~x3789 ~x5634 ~x1894 ~x7498 
899.92/902.63	v ~x159 ~x3790 ~x5635 ~x1895 ~x7499 ~x161 ~x3792 ~x5637 ~x1896 ~x7500 
899.92/902.63	v ~x163 ~x3793 ~x5638 ~x1897 ~x7501 ~x162 ~x3794 ~x5639 ~x1898 ~x7502 
899.92/902.63	v ~x164 ~x3795 ~x5640 ~x1899 ~x7503 ~x166 ~x3796 ~x5642 ~x1900 ~x7504 
899.92/902.63	v ~x165 ~x3797 ~x5643 ~x1901 ~x7505 ~x167 ~x3798 ~x5644 ~x1902 ~x7506 
899.92/902.63	v x169 ~x3799 ~x5645 ~x1903 ~x7507 ~x168 ~x3800 ~x5647 ~x1904 ~x7508 
899.92/902.63	v ~x170 ~x3801 ~x5648 ~x1905 ~x7509 ~x172 ~x3802 ~x5649 ~x1906 ~x7510 
899.92/902.63	v ~x171 ~x3803 ~x5650 ~x1907 ~x7511 ~x173 ~x3804 ~x5652 ~x1908 ~x7512 
899.92/902.63	v ~x174 ~x3805 ~x5653 ~x1909 x7514 ~x175 ~x3806 ~x5654 ~x1910 ~x7515 
899.92/902.63	v ~x177 ~x3807 ~x5655 ~x1911 ~x7516 ~x176 ~x3808 ~x5657 ~x1912 ~x7517 
899.92/902.63	v ~x178 ~x3809 ~x5658 ~x1913 ~x7518 ~x180 ~x3810 ~x5659 ~x1915 ~x7519 
899.92/902.63	v ~x179 ~x3811 ~x5660 ~x1916 ~x7520 ~x181 ~x3812 ~x5662 ~x1917 ~x7521 
899.92/902.63	v ~x183 ~x3813 ~x5663 ~x1918 ~x7522 ~x182 ~x3814 ~x5664 ~x1919 ~x7523 
899.92/902.63	v ~x184 ~x3815 ~x5665 ~x1920 ~x7524 ~x186 ~x3816 x5667 ~x1921 ~x7525 
899.92/902.63	v ~x185 ~x3817 ~x5668 ~x1922 ~x7526 ~x187 ~x3818 ~x5669 ~x1923 ~x7527 
899.92/902.63	v ~x189 ~x3819 ~x5670 ~x1924 ~x7528 ~x188 ~x3820 ~x5672 ~x1925 ~x7529 
899.92/902.63	v ~x190 ~x3821 ~x5673 ~x1926 ~x7530 ~x192 ~x3822 ~x5674 ~x1927 ~x7531 
899.92/902.63	v ~x191 ~x3823 ~x5675 ~x1928 ~x7532 ~x193 ~x3824 ~x5677 ~x1929 ~x7533 
899.92/902.63	v ~x195 ~x3825 ~x5678 ~x1930 ~x7534 ~x194 ~x3826 ~x5679 ~x1931 ~x7535 
899.92/902.63	v ~x196 ~x3827 ~x5680 ~x1932 ~x7536 ~x198 ~x3828 ~x5682 ~x1933 ~x7537 
899.92/902.63	v ~x197 ~x3829 ~x5683 ~x1934 ~x7538 ~x199 ~x3830 ~x5684 ~x1935 ~x7539 
899.92/902.63	v ~x201 ~x3831 ~x5685 ~x1936 x7541 ~x200 ~x3832 ~x5687 ~x1937 ~x7542 
899.92/902.63	v ~x202 ~x3833 ~x5688 ~x1938 ~x7543 ~x204 ~x3834 ~x5689 ~x1939 ~x7544 
899.92/902.63	v ~x203 ~x3835 ~x5690 ~x1940 ~x7545 ~x205 ~x3836 ~x5692 ~x1942 ~x7546 
899.92/902.63	v ~x207 ~x3837 ~x5693 ~x1943 ~x7547 ~x206 ~x3838 ~x5694 ~x1944 ~x7548 
899.92/902.63	v ~x208 ~x3839 ~x5695 ~x1945 ~x7549 ~x210 ~x3840 ~x5697 ~x1946 ~x7550 
899.92/902.63	v ~x209 ~x3841 ~x5698 ~x1947 ~x7551 ~x211 ~x3842 ~x5699 ~x1948 ~x7552 
899.92/902.63	v ~x213 ~x3843 ~x5700 ~x1949 ~x7553 ~x212 ~x3844 ~x5702 ~x1950 ~x7554 
899.92/902.63	v ~x214 ~x3845 ~x5703 ~x1951 ~x7555 ~x216 ~x3846 ~x5704 ~x1952 ~x7556 
899.92/902.63	v ~x215 ~x3847 ~x5705 ~x1953 ~x7557 ~x217 ~x3848 ~x5707 ~x1954 ~x7558 
899.92/902.63	v ~x219 ~x3850 ~x5708 ~x1955 ~x7559 ~x218 ~x3851 ~x5709 ~x1956 ~x7560 
899.92/902.63	v ~x220 ~x3852 ~x5710 ~x1957 ~x7561 ~x222 ~x3853 ~x5712 ~x1958 ~x7562 
899.92/902.63	v ~x221 ~x3854 ~x5713 ~x1959 ~x7563 ~x223 ~x3855 ~x5714 ~x1960 ~x7564 
899.92/902.63	v ~x225 ~x3856 ~x5715 ~x1961 ~x7565 ~x224 ~x3857 ~x5717 ~x1962 ~x7566 
899.92/902.63	v ~x226 ~x3858 ~x5718 ~x1963 ~x7568 ~x228 ~x3859 ~x5719 ~x1964 ~x7569 
899.92/902.63	v ~x227 ~x3860 ~x5720 ~x1965 ~x7570 ~x229 ~x3861 ~x5722 ~x1966 ~x7571 
899.92/902.63	v ~x231 ~x3862 ~x5723 ~x1967 ~x7572 ~x230 ~x3863 ~x5724 ~x1969 ~x7573 
899.92/902.63	v ~x232 ~x3864 ~x5725 ~x1970 ~x7574 ~x234 ~x3865 ~x5727 ~x1971 ~x7575 
899.92/902.63	v ~x233 ~x3866 ~x5728 ~x1972 ~x7576 ~x235 ~x3867 ~x5729 ~x1973 ~x7577 
899.92/902.63	v ~x237 ~x3868 ~x5730 ~x1974 ~x7578 ~x236 ~x3869 ~x5732 ~x1975 ~x7579 
899.92/902.63	v ~x238 ~x3870 ~x5733 ~x1976 ~x7580 ~x240 ~x3871 ~x5734 ~x1977 ~x7581 
899.92/902.63	v ~x239 ~x3872 ~x5735 ~x1978 ~x7582 ~x241 ~x3873 ~x5737 ~x1979 ~x7583 
899.92/902.63	v ~x243 ~x3874 ~x5738 ~x1980 ~x7584 ~x242 ~x3875 ~x5739 ~x1981 ~x7585 
899.92/902.63	v ~x244 ~x3876 ~x5740 ~x1982 ~x7586 ~x246 ~x3877 ~x5742 ~x1983 ~x7587 
899.92/902.63	v ~x245 ~x3878 ~x5743 ~x1984 ~x7588 ~x247 ~x3879 ~x5744 ~x1985 ~x7589 
899.92/902.63	v ~x249 ~x3880 ~x5745 ~x1986 ~x7590 ~x248 ~x3881 ~x5747 ~x1987 ~x7591 
899.92/902.63	v ~x250 ~x3882 ~x5748 ~x1988 ~x7592 ~x252 ~x3883 ~x5749 ~x1989 ~x7593 
899.92/902.63	v ~x251 ~x3884 ~x5750 ~x1990 ~x7595 ~x253 ~x3885 ~x5752 ~x1991 ~x7596 
899.92/902.63	v ~x255 ~x3886 ~x5753 ~x1992 ~x7597 ~x254 ~x3887 ~x5754 ~x1993 ~x7598 
899.92/902.63	v ~x256 ~x3888 ~x5755 ~x1994 ~x7599 ~x258 ~x3889 ~x5757 ~x1996 ~x7600 
899.92/902.63	v ~x257 ~x3890 ~x5758 ~x1997 ~x7601 ~x259 ~x3891 ~x5759 ~x1998 ~x7602 
899.92/902.63	v ~x261 ~x3892 ~x5760 ~x1999 ~x7603 ~x260 ~x3893 ~x5762 ~x2000 ~x7604 
899.92/902.63	v ~x262 ~x3894 ~x5763 ~x2001 ~x7605 ~x264 ~x3895 ~x5764 ~x2002 ~x7606 
899.92/902.63	v ~x263 ~x3896 ~x5765 ~x2003 ~x7607 ~x265 ~x3897 x5767 ~x2004 ~x7608 
899.92/902.63	v ~x267 ~x3898 ~x5768 ~x2005 ~x7609 ~x266 ~x3899 ~x5769 ~x2006 ~x7610 
899.92/902.63	v ~x268 ~x3900 ~x5770 ~x2007 ~x7611 ~x270 ~x3901 ~x5772 ~x2008 ~x7612 
899.92/902.63	v ~x269 ~x3902 ~x5773 ~x2009 ~x7613 ~x271 ~x3903 ~x5774 ~x2010 ~x7614 
899.92/902.63	v ~x273 ~x3904 ~x5775 ~x2011 ~x7615 ~x272 ~x3905 ~x5777 ~x2012 ~x7616 
899.92/902.63	v ~x274 ~x3906 ~x5778 ~x2013 ~x7617 ~x276 ~x3908 ~x5779 ~x2014 ~x7618 
899.92/902.63	v ~x275 ~x3909 ~x5780 ~x2015 ~x7619 ~x277 ~x3910 ~x5782 ~x2016 ~x7620 
899.92/902.63	v ~x279 ~x3911 ~x5783 ~x2017 x7622 ~x278 ~x3912 ~x5784 ~x2018 ~x7623 
899.92/902.63	v ~x280 ~x3913 ~x5785 ~x2019 ~x7624 ~x282 ~x3914 ~x5787 ~x2020 ~x7625 
899.92/902.63	v ~x281 ~x3915 ~x5788 ~x2021 ~x7626 ~x283 ~x3916 ~x5789 ~x2023 ~x7627 
899.92/902.63	v ~x285 ~x3917 ~x5790 ~x2024 ~x7628 ~x284 ~x3918 x5792 ~x2025 ~x7629 
899.92/902.63	v ~x286 ~x3919 ~x5793 ~x2026 ~x7630 ~x288 ~x3920 ~x5794 ~x2027 ~x7631 
899.92/902.63	v ~x287 ~x3921 ~x5795 ~x2028 ~x7632 ~x289 ~x3922 x5797 ~x2029 ~x7633 
899.92/902.63	v ~x291 ~x3923 ~x5798 ~x2030 ~x7634 ~x290 ~x3924 ~x5799 ~x2031 ~x7635 
899.92/902.63	v ~x292 ~x3925 ~x5800 ~x2032 ~x7636 ~x294 ~x3926 ~x5802 ~x2033 ~x7637 
899.92/902.63	v ~x293 ~x3927 ~x5803 ~x2034 ~x7638 ~x3928 ~x5804 ~x2035 ~x7639 ~x295 
899.92/902.63	v ~x3929 ~x5805 ~x2036 ~x7640 ~x297 ~x3930 x5807 ~x2037 ~x7641 ~x296 
899.92/902.63	v ~x3931 ~x5808 ~x2038 ~x7642 ~x298 ~x3932 ~x5809 ~x2039 ~x7643 ~x300 
899.92/902.63	v ~x3933 ~x5810 ~x2040 ~x7644 ~x299 ~x3934 ~x5812 ~x2041 ~x7645 ~x301 
899.92/902.63	v ~x3935 ~x5813 ~x2042 ~x7646 ~x303 ~x3936 ~x5814 ~x2043 ~x7647 ~x302 
899.92/902.63	v ~x3937 ~x5815 ~x2044 ~x7649 ~x304 ~x3938 ~x5817 ~x2045 ~x7650 ~x3939 
899.92/902.63	v ~x306 ~x5818 ~x2046 ~x7651 ~x305 ~x3940 ~x5819 ~x2047 ~x7652 ~x307 
899.92/902.63	v ~x3941 ~x5820 ~x2048 ~x7653 ~x309 ~x3942 ~x5822 ~x2050 ~x7654 ~x308 
899.92/902.63	v ~x3943 ~x5823 ~x2051 ~x7655 ~x310 ~x3944 ~x5824 ~x2052 ~x7656 ~x312 
899.92/902.63	v ~x3945 ~x5825 ~x2053 ~x7657 ~x311 ~x3946 ~x5827 ~x2054 ~x7658 ~x313 
899.92/902.63	v ~x3947 ~x5828 ~x2055 ~x7659 ~x315 ~x3948 ~x5829 ~x2056 ~x7660 ~x314 
899.92/902.63	v ~x3949 ~x5830 ~x2057 ~x7661 ~x316 ~x3950 x5832 ~x2058 ~x7662 ~x318 
899.92/902.63	v ~x3951 ~x5833 ~x2059 ~x7663 ~x317 ~x3952 ~x5834 ~x2060 ~x7664 ~x319 
899.92/902.63	v ~x3953 x5835 ~x2061 ~x7665 ~x321 ~x3954 x5837 ~x2062 ~x7666 ~x320 
899.92/902.63	v ~x3955 x5838 ~x2063 ~x7667 ~x322 ~x3956 ~x5839 ~x2064 ~x7668 ~x324 
899.92/902.63	v ~x3957 ~x5840 ~x2065 ~x7669 ~x323 ~x3958 ~x5842 ~x2066 ~x7670 ~x325 
899.92/902.63	v ~x3959 ~x5843 ~x2067 ~x7671 ~x327 ~x3960 ~x5844 ~x2068 ~x7672 ~x326 
899.92/902.63	v ~x3961 ~x5845 ~x2069 ~x7673 ~x328 ~x3962 ~x5847 ~x2070 ~x7674 ~x330 
899.92/902.63	v ~x3963 ~x5848 ~x2071 ~x7676 ~x329 ~x3964 ~x5849 ~x2072 ~x7677 ~x331 
899.92/902.63	v x3966 ~x5850 ~x2073 ~x7678 ~x333 ~x3967 x5852 ~x2074 ~x7679 ~x332 
899.92/902.63	v ~x3968 ~x5853 ~x2075 ~x7680 ~x334 ~x3969 ~x5854 ~x2077 ~x7681 ~x336 
899.92/902.63	v ~x3970 x5855 ~x2078 ~x7682 ~x335 ~x3971 x5857 ~x2079 ~x7683 ~x337 
899.92/902.63	v ~x3972 x5858 ~x2080 ~x7684 ~x339 ~x3973 ~x5859 ~x2081 ~x7685 ~x338 
899.92/902.63	v ~x3974 ~x5860 ~x2082 ~x7686 ~x340 ~x3975 ~x5862 ~x2083 ~x7687 ~x342 
899.92/902.63	v ~x3976 ~x5863 ~x2084 ~x7688 ~x341 ~x3977 ~x5864 ~x2085 ~x7689 ~x343 
899.92/902.63	v ~x3978 ~x5865 ~x2086 ~x7690 ~x345 ~x3979 x5867 ~x2087 ~x7691 ~x344 
899.92/902.63	v ~x3980 ~x5868 ~x2088 ~x7692 ~x346 ~x3981 ~x5869 ~x2089 ~x7693 ~x348 
899.92/902.63	v ~x3982 ~x5870 ~x2090 ~x7694 ~x347 ~x3983 ~x5872 ~x2091 ~x7695 ~x349 
899.92/902.63	v ~x3984 ~x5873 ~x2092 ~x7696 ~x351 ~x3985 ~x5874 ~x2093 ~x7697 ~x350 
899.92/902.63	v ~x3986 ~x5875 ~x2094 ~x7698 ~x352 ~x3987 ~x5877 ~x2095 ~x7699 ~x354 
899.92/902.63	v ~x3988 ~x5878 ~x2096 ~x7700 ~x353 ~x3989 ~x5879 ~x2097 ~x7701 ~x355 
899.92/902.63	v ~x3990 ~x5880 ~x2098 ~x7703 ~x357 ~x3991 ~x5882 ~x2099 ~x7704 ~x356 
899.92/902.63	v ~x3992 ~x5883 ~x2100 ~x7705 ~x358 ~x3993 ~x5884 ~x2101 ~x7706 ~x360 
899.92/902.63	v ~x3994 ~x5885 ~x2102 ~x7707 ~x359 ~x3995 ~x5886 ~x2104 ~x7708 ~x361 
899.92/902.63	v ~x3996 ~x5887 ~x2105 ~x7709 ~x2 ~x3997 ~x5888 ~x2106 ~x7710 ~x3 
899.92/902.63	v ~x3998 ~x5889 ~x2107 ~x7711 ~x4 ~x3999 ~x5890 ~x2108 ~x7712 ~x5 
899.92/902.63	v ~x4000 ~x5891 ~x2109 ~x7713 ~x6 ~x4001 ~x5892 ~x2110 ~x7714 ~x7 
899.92/902.63	v ~x4002 ~x5893 ~x2111 ~x7715 ~x8 ~x4003 ~x5894 ~x2112 ~x7716 ~x9 
899.92/902.63	v ~x4004 ~x5895 ~x2113 ~x7717 ~x371 ~x4005 ~x5896 ~x2114 ~x7718 ~x372 
899.92/902.63	v ~x4006 ~x5897 ~x2115 ~x7719 ~x373 ~x4007 ~x5898 ~x2116 ~x7720 ~x374 
899.92/902.63	v ~x4008 

OK	19

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: 63665 MiB (62618 MiB free)
  memory of node 1: 64507 MiB (63159 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497787-1751394954/watcher-4497787-1751394954 -o /tmp/evaluation-result-4497787-1751394954/solver-4497787-1751394954 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751394922-57654 --watchdog 3760 pb_picat HOME/instance-4497787-1751394954.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
Current StackSize limit: 8192 KiB

solver pid=57755, runsolver pid=57752

[startup+0.100061 s]*
/proc/loadavg: 2.31 2.03 2.64 5/264 57756
/proc/meminfo: memFree=128775868/131249996 swapFree=33010416/33010684
[pid=57755] ppid=57752 vsize=2027148 memory=33960 CPUtime=0.08 cores=1,3
/proc/57755/stat : 57755 (pb_picat) R 57752 57755 57642 0 -1 4194304 993 0 0 0 8 0 0 0 20 0 1 0 55173156 2075799552 8490 18446744073709551615 94835710738432 94835712140013 140721264355280 0 0 0 0 0 8389634 0 0 0 17 3 0 0 0 0 0 94835712411440 94835714285744 94835736600576 140721264359838 140721264359914 140721264359914 140721264365516 0
/proc/57755/statm: 506787 8490 1536 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 33960 KiB

[startup+0.205608 s]*
/proc/loadavg: 2.31 2.03 2.64 5/264 57756
/proc/meminfo: memFree=128755388/131249996 swapFree=33010416/33010684
[pid=57755] ppid=57752 vsize=2027148 memory=54504 CPUtime=0.18 cores=1,3
/proc/57755/stat : 57755 (pb_picat) R 57752 57755 57642 0 -1 4194304 1017 0 0 0 18 0 0 0 20 0 1 0 55173156 2075799552 13626 18446744073709551615 94835710738432 94835712140013 140721264355280 0 0 0 0 0 8389634 0 0 0 17 3 0 0 0 0 0 94835712411440 94835714285744 94835736600576 140721264359838 140721264359914 140721264359914 140721264365516 0
/proc/57755/statm: 506787 13626 1536 343 0 503851 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 54504 KiB

[startup+0.305564 s]*
/proc/loadavg: 2.31 2.03 2.64 5/264 57756
/proc/meminfo: memFree=128739052/131249996 swapFree=33010416/33010684
[pid=57755] ppid=57752 vsize=2034964 memory=71680 CPUtime=0.28 cores=1,3
/proc/57755/stat : 57755 (pb_picat) R 57752 57755 57642 0 -1 4194304 1164 0 0 0 27 1 0 0 20 0 1 0 55173156 2083803136 17920 18446744073709551615 94835710738432 94835712140013 140721264355280 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94835712411440 94835714285744 94835736600576 140721264359838 140721264359914 140721264359914 140721264365516 0
/proc/57755/statm: 508741 17920 1600 343 0 505805 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 71680 KiB

[startup+0.700163 s]
/proc/loadavg: 2.31 2.03 2.64 5/264 57756
/proc/meminfo: memFree=128739052/131249996 swapFree=33010416/33010684
[pid=57755] ppid=57752 vsize=2043440 memory=79556 CPUtime=0.66 cores=1,3
/proc/57755/stat : 57755 (pb_picat) R 57752 57755 57642 0 -1 4194304 4338 0 0 0 65 1 0 0 20 0 1 0 55173156 2092482560 19889 18446744073709551615 94835710738432 94835712140013 140721264355280 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94835712411440 94835714285744 94835736600576 140721264359838 140721264359914 140721264359914 140721264365516 0
/proc/57755/statm: 510860 19889 1696 343 0 507924 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 2043440 KiB
Current children cumulated memory: 79556 KiB

[startup+1.50015 s]
/proc/loadavg: 2.31 2.03 2.64 5/264 57756
/proc/meminfo: memFree=128726764/131249996 swapFree=33010416/33010684
[pid=57755] ppid=57752 vsize=2046796 memory=81764 CPUtime=1.46 cores=1,3
/proc/57755/stat : 57755 (pb_picat) R 57752 57755 57642 0 -1 4194304 6252 0 0 0 144 2 0 0 20 0 1 0 55173156 2095919104 20441 18446744073709551615 94835710738432 94835712140013 140721264355280 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94835712411440 94835714285744 94835736600576 140721264359838 140721264359914 140721264359914 140721264365516 0
/proc/57755/statm: 511699 20441 1696 343 0 508763 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 2046796 KiB
Current children cumulated memory: 81764 KiB

[startup+3.1055 s]
/proc/loadavg: 2.31 2.03 2.64 5/264 57756
/proc/meminfo: memFree=128722920/131249996 swapFree=33010416/33010684
[pid=57755] ppid=57752 vsize=2049688 memory=86076 CPUtime=3.06 cores=1,3
/proc/57755/stat : 57755 (pb_picat) R 57752 57755 57642 0 -1 4194304 8182 0 0 0 304 2 0 0 20 0 1 0 55173156 2098880512 21519 18446744073709551615 94835710738432 94835712140013 140721264355280 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94835712411440 94835714285744 94835736600576 140721264359838 140721264359914 140721264359914 140721264365516 0
/proc/57755/statm: 512422 21519 1696 343 0 509486 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 2049688 KiB
Current children cumulated memory: 86076 KiB

[startup+6.30012 s]
/proc/loadavg: 2.45 2.06 2.65 5/264 57756
/proc/meminfo: memFree=128721520/131249996 swapFree=33010416/33010684
[pid=57755] ppid=57752 vsize=2049688 memory=86460 CPUtime=6.25 cores=1,3
/proc/57755/stat : 57755 (pb_picat) R 57752 57755 57642 0 -1 4194304 8268 0 0 0 623 2 0 0 20 0 1 0 55173156 2098880512 21615 18446744073709551615 94835710738432 94835712140013 140721264355280 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94835712411440 94835714285744 94835736600576 140721264359838 140721264359914 140721264359914 140721264365516 0
/proc/57755/statm: 512422 21615 1696 343 0 509486 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 2049688 KiB
Current children cumulated memory: 86460 KiB

[startup+12.7002 s]
/proc/loadavg: 2.57 2.10 2.66 5/264 57756
/proc/meminfo: memFree=128712232/131249996 swapFree=33010416/33010684
[pid=57755] ppid=57752 vsize=2057884 memory=93276 CPUtime=12.63 cores=1,3
/proc/57755/stat : 57755 (pb_picat) R 57752 57755 57642 0 -1 4194304 8454 0 0 0 1261 2 0 0 20 0 1 0 55173156 2107273216 23319 18446744073709551615 94835710738432 94835712140013 140721264355280 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94835712411440 94835714285744 94835736600576 140721264359838 140721264359914 140721264359914 140721264365516 0
/proc/57755/statm: 514471 23319 1696 343 0 511535 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 2057884 KiB
Current children cumulated memory: 93276 KiB

[startup+25.5002 s]
/proc/loadavg: 2.89 2.19 2.68 5/265 57758
/proc/meminfo: memFree=128700556/131249996 swapFree=33010416/33010684
[pid=57755] ppid=57752 vsize=2061976 memory=95980 CPUtime=25.39 cores=1,3
/proc/57755/stat : 57755 (pb_picat) R 57752 57755 57642 0 -1 4194304 11177 0 0 0 2536 3 0 0 20 0 1 0 55173156 2111463424 23995 18446744073709551615 94835710738432 94835712140013 140721264355280 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94835712411440 94835714285744 94835736600576 140721264359838 140721264359914 140721264359914 140721264365516 0
/proc/57755/statm: 515494 23995 1696 343 0 512558 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 2061976 KiB
Current children cumulated memory: 95980 KiB

[startup+51.1051 s]
/proc/loadavg: 3.34 2.35 2.72 5/266 57808
/proc/meminfo: memFree=128710676/131249996 swapFree=33010416/33010684
[pid=57755] ppid=57752 vsize=2065304 memory=96408 CPUtime=50.93 cores=1,3
/proc/57755/stat : 57755 (pb_picat) R 57752 57755 57642 0 -1 4194304 14225 0 0 0 5089 4 0 0 20 0 1 0 55173156 2114871296 24102 18446744073709551615 94835710738432 94835712140013 140721264355280 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94835712411440 94835714285744 94835736600576 140721264359838 140721264359914 140721264359914 140721264365516 0
/proc/57755/statm: 516326 24102 1696 343 0 513390 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 2065304 KiB
Current children cumulated memory: 96408 KiB

[startup+102.3 s]
/proc/loadavg: 3.78 2.62 2.79 5/266 57809
/proc/meminfo: memFree=128683156/131249996 swapFree=33010416/33010684
[pid=57755] ppid=57752 vsize=2062208 memory=95444 CPUtime=101.98 cores=1,3
/proc/57755/stat : 57755 (pb_picat) R 57752 57755 57642 0 -1 4194304 17482 0 0 0 10192 6 0 0 20 0 1 0 55173156 2111700992 23861 18446744073709551615 94835710738432 94835712140013 140721264355280 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94835712411440 94835714285744 94835736600576 140721264359838 140721264359914 140721264359914 140721264365516 0
/proc/57755/statm: 515552 23861 1696 343 0 512616 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 2062208 KiB
Current children cumulated memory: 95444 KiB

[startup+162.3 s]
/proc/loadavg: 3.97 2.89 2.88 5/266 57811
/proc/meminfo: memFree=128668152/131249996 swapFree=33010416/33010684
[pid=57755] ppid=57752 vsize=2070404 memory=105220 CPUtime=161.81 cores=1,3
/proc/57755/stat : 57755 (pb_picat) R 57752 57755 57642 0 -1 4194304 24014 0 0 0 16173 8 0 0 20 0 1 0 55173156 2120093696 26305 18446744073709551615 94835710738432 94835712140013 140721264355280 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94835712411440 94835714285744 94835736600576 140721264359838 140721264359914 140721264359914 140721264365516 0
/proc/57755/statm: 517601 26305 1696 343 0 514665 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 2070404 KiB
Current children cumulated memory: 105220 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 3.11 2.96 5/267 57814
/proc/meminfo: memFree=128676324/131249996 swapFree=33010416/33010684
[pid=57755] ppid=57752 vsize=2070404 memory=102632 CPUtime=221.64 cores=1,3
/proc/57755/stat : 57755 (pb_picat) R 57752 57755 57642 0 -1 4194304 34576 0 0 0 22151 13 0 0 20 0 1 0 55173156 2120093696 25658 18446744073709551615 94835710738432 94835712140013 140721264355280 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94835712411440 94835714285744 94835736600576 140721264359838 140721264359914 140721264359914 140721264365516 0
/proc/57755/statm: 517601 25658 1696 343 0 514665 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 2070404 KiB
Current children cumulated memory: 102632 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 3.29 3.03 5/265 57816
/proc/meminfo: memFree=128676168/131249996 swapFree=33010416/33010684
[pid=57755] ppid=57752 vsize=2078596 memory=113412 CPUtime=281.47 cores=1,3
/proc/57755/stat : 57755 (pb_picat) R 57752 57755 57642 0 -1 4194304 47605 0 0 0 28127 20 0 0 20 0 1 0 55173156 2128482304 28353 18446744073709551615 94835710738432 94835712140013 140721264355280 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94835712411440 94835714285744 94835736600576 140721264359838 140721264359914 140721264359914 140721264365516 0
/proc/57755/statm: 519649 28353 1696 343 0 516713 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 2078596 KiB
Current children cumulated memory: 113412 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 3.44 3.10 5/265 57818
/proc/meminfo: memFree=128666052/131249996 swapFree=33010416/33010684
[pid=57755] ppid=57752 vsize=2078596 memory=113412 CPUtime=341.29 cores=1,3
/proc/57755/stat : 57755 (pb_picat) R 57752 57755 57642 0 -1 4194304 54434 0 0 0 34106 23 0 0 20 0 1 0 55173156 2128482304 28353 18446744073709551615 94835710738432 94835712140013 140721264355280 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94835712411440 94835714285744 94835736600576 140721264359838 140721264359914 140721264359914 140721264365516 0
/proc/57755/statm: 519649 28353 1696 343 0 516713 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 2078596 KiB
Current children cumulated memory: 113412 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 3.57 3.17 5/263 57820
/proc/meminfo: memFree=128641096/131249996 swapFree=33010416/33010684
[pid=57755] ppid=57752 vsize=2078596 memory=113736 CPUtime=401.1 cores=1,3
/proc/57755/stat : 57755 (pb_picat) R 57752 57755 57642 0 -1 4194304 56416 0 0 0 40086 24 0 0 20 0 1 0 55173156 2128482304 28434 18446744073709551615 94835710738432 94835712140013 140721264355280 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94835712411440 94835714285744 94835736600576 140721264359838 140721264359914 140721264359914 140721264365516 0
/proc/57755/statm: 519649 28434 1696 343 0 516713 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 2078596 KiB
Current children cumulated memory: 113736 KiB

[startup+462.3 s]
/proc/loadavg: 4.29 3.74 3.25 5/264 57823
/proc/meminfo: memFree=128666032/131249996 swapFree=33010416/33010684
[pid=57755] ppid=57752 vsize=2070404 memory=105488 CPUtime=460.93 cores=1,3
/proc/57755/stat : 57755 (pb_picat) R 57752 57755 57642 0 -1 4194304 59263 0 0 0 46067 26 0 0 20 0 1 0 55173156 2120093696 26372 18446744073709551615 94835710738432 94835712140013 140721264355280 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94835712411440 94835714285744 94835736600576 140721264359838 140721264359914 140721264359914 140721264365516 0
/proc/57755/statm: 517601 26372 1696 343 0 514665 0
Current children cumulated CPU time: 460.93 s
Current children cumulated vsize: 2070404 KiB
Current children cumulated memory: 105488 KiB

[startup+522.3 s]
/proc/loadavg: 4.22 3.82 3.31 5/264 57828
/proc/meminfo: memFree=128671816/131249996 swapFree=33010416/33010684
[pid=57755] ppid=57752 vsize=2078596 memory=109584 CPUtime=520.75 cores=1,3
/proc/57755/stat : 57755 (pb_picat) R 57752 57755 57642 0 -1 4194304 67910 0 0 0 52045 30 0 0 20 0 1 0 55173156 2128482304 27396 18446744073709551615 94835710738432 94835712140013 140721264355280 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94835712411440 94835714285744 94835736600576 140721264359838 140721264359914 140721264359914 140721264365516 0
/proc/57755/statm: 519649 27396 1696 343 0 516713 0
Current children cumulated CPU time: 520.75 s
Current children cumulated vsize: 2078596 KiB
Current children cumulated memory: 109584 KiB

[startup+582.3 s]
/proc/loadavg: 4.14 3.87 3.37 5/265 57876
/proc/meminfo: memFree=128546972/131249996 swapFree=33010416/33010684
[pid=57755] ppid=57752 vsize=2062208 memory=98664 CPUtime=580.58 cores=1,3
/proc/57755/stat : 57755 (pb_picat) R 57752 57755 57642 0 -1 4194304 70988 0 0 0 58027 31 0 0 20 0 1 0 55173156 2111700992 24666 18446744073709551615 94835710738432 94835712140013 140721264355280 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94835712411440 94835714285744 94835736600576 140721264359838 140721264359914 140721264359914 140721264365516 0
/proc/57755/statm: 515552 24666 1696 343 0 512616 0
Current children cumulated CPU time: 580.58 s
Current children cumulated vsize: 2062208 KiB
Current children cumulated memory: 98664 KiB

[startup+642.3 s]
/proc/loadavg: 4.08 3.91 3.41 5/265 57878
/proc/meminfo: memFree=128104100/131249996 swapFree=33010416/33010684
[pid=57755] ppid=57752 vsize=2078592 memory=106856 CPUtime=640.4 cores=1,3
/proc/57755/stat : 57755 (pb_picat) R 57752 57755 57642 0 -1 4194304 71509 0 0 0 64009 31 0 0 20 0 1 0 55173156 2128478208 26714 18446744073709551615 94835710738432 94835712140013 140721264355280 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94835712411440 94835714285744 94835736600576 140721264359838 140721264359914 140721264359914 140721264365516 0
/proc/57755/statm: 519648 26714 1696 343 0 516712 0
Current children cumulated CPU time: 640.4 s
Current children cumulated vsize: 2078592 KiB
Current children cumulated memory: 106856 KiB

[startup+702.3 s]
/proc/loadavg: 4.21 3.98 3.47 5/265 57884
/proc/meminfo: memFree=128098960/131249996 swapFree=33010416/33010684
[pid=57755] ppid=57752 vsize=2068292 memory=98768 CPUtime=700.22 cores=1,3
/proc/57755/stat : 57755 (pb_picat) R 57752 57755 57642 0 -1 4194304 80815 0 0 0 69985 37 0 0 20 0 1 0 55173156 2117931008 24692 18446744073709551615 94835710738432 94835712140013 140721264355280 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94835712411440 94835714285744 94835736600576 140721264359838 140721264359914 140721264359914 140721264365516 0
/proc/57755/statm: 517073 24692 1696 343 0 514137 0
Current children cumulated CPU time: 700.22 s
Current children cumulated vsize: 2068292 KiB
Current children cumulated memory: 98768 KiB

[startup+762.3 s]
/proc/loadavg: 4.13 4.00 3.51 5/265 57886
/proc/meminfo: memFree=128183120/131249996 swapFree=33010416/33010684
[pid=57755] ppid=57752 vsize=2068292 memory=103464 CPUtime=760.04 cores=1,3
/proc/57755/stat : 57755 (pb_picat) R 57752 57755 57642 0 -1 4194304 81738 0 0 0 75967 37 0 0 20 0 1 0 55173156 2117931008 25866 18446744073709551615 94835710738432 94835712140013 140721264355280 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94835712411440 94835714285744 94835736600576 140721264359838 140721264359914 140721264359914 140721264365516 0
/proc/57755/statm: 517073 25866 1696 343 0 514137 0
Current children cumulated CPU time: 760.04 s
Current children cumulated vsize: 2068292 KiB
Current children cumulated memory: 103464 KiB

[startup+822.3 s]
/proc/loadavg: 4.17 4.03 3.55 5/263 57888
/proc/meminfo: memFree=128109064/131249996 swapFree=33010416/33010684
[pid=57755] ppid=57752 vsize=2068292 memory=103976 CPUtime=819.86 cores=1,3
/proc/57755/stat : 57755 (pb_picat) R 57752 57755 57642 0 -1 4194304 81884 0 0 0 81949 37 0 0 20 0 1 0 55173156 2117931008 25994 18446744073709551615 94835710738432 94835712140013 140721264355280 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94835712411440 94835714285744 94835736600576 140721264359838 140721264359914 140721264359914 140721264365516 0
/proc/57755/statm: 517073 25994 1696 343 0 514137 0
Current children cumulated CPU time: 819.86 s
Current children cumulated vsize: 2068292 KiB
Current children cumulated memory: 103976 KiB

[startup+882.3 s]
/proc/loadavg: 4.61 4.19 3.64 5/262 57890
/proc/meminfo: memFree=128109200/131249996 swapFree=33010416/33010684
[pid=57755] ppid=57752 vsize=2068292 memory=99368 CPUtime=879.69 cores=1,3
/proc/57755/stat : 57755 (pb_picat) R 57752 57755 57642 0 -1 4194304 86188 0 0 0 87930 39 0 0 20 0 1 0 55173156 2117931008 24842 18446744073709551615 94835710738432 94835712140013 140721264355280 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94835712411440 94835714285744 94835736600576 140721264359838 140721264359914 140721264359914 140721264365516 0
/proc/57755/statm: 517073 24842 1696 343 0 514137 0
Current children cumulated CPU time: 879.69 s
Current children cumulated vsize: 2068292 KiB
Current children cumulated memory: 99368 KiB

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

# cumulated CPU time of all completed processes:  user=899.573 s, system=0.40581 s

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

[startup+883.2 s]
/proc/loadavg: 4.61 4.19 3.64 5/262 57890
/proc/meminfo: memFree=128152540/131249996 swapFree=33010416/33010684
[pid=57755] ppid=57752 vsize=2068292 memory=99368 CPUtime=880.58 cores=1,3
/proc/57755/stat : 57755 (pb_picat) R 57752 57755 57642 0 -1 4194304 86188 0 0 0 88019 39 0 0 20 0 1 0 55173156 2117931008 24842 18446744073709551615 94835710738432 94835712140013 140721264355280 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94835712411440 94835714285744 94835736600576 140721264359838 140721264359914 140721264359914 140721264365516 0
/proc/57755/statm: 517073 24842 1696 343 0 514137 0
Current children cumulated CPU time: 880.58 s
Current children cumulated vsize: 2068292 KiB
Current children cumulated memory: 99368 KiB

[startup+896 s]*
/proc/loadavg: 4.47 4.18 3.65 5/262 57890
/proc/meminfo: memFree=128093592/131249996 swapFree=33010416/33010684
[pid=57755] ppid=57752 vsize=2068292 memory=99368 CPUtime=893.35 cores=1,3
/proc/57755/stat : 57755 (pb_picat) R 57752 57755 57642 0 -1 4194304 86188 0 0 0 89296 39 0 0 20 0 1 0 55173156 2117931008 24842 18446744073709551615 94835710738432 94835712140013 140721264355280 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94835712411440 94835714285744 94835736600576 140721264359838 140721264359914 140721264359914 140721264365516 0
/proc/57755/statm: 517073 24842 1696 343 0 514137 0
Current children cumulated CPU time: 893.35 s
Current children cumulated vsize: 2068292 KiB
Current children cumulated memory: 99368 KiB

[startup+899.2 s]
/proc/loadavg: 4.47 4.18 3.65 5/262 57890
/proc/meminfo: memFree=128091544/131249996 swapFree=33010416/33010684
[pid=57755] ppid=57752 vsize=2068292 memory=99368 CPUtime=896.53 cores=1,3
/proc/57755/stat : 57755 (pb_picat) R 57752 57755 57642 0 -1 4194304 86188 0 0 0 89614 39 0 0 20 0 1 0 55173156 2117931008 24842 18446744073709551615 94835710738432 94835712140013 140721264355280 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94835712411440 94835714285744 94835736600576 140721264359838 140721264359914 140721264359914 140721264365516 0
/proc/57755/statm: 517073 24842 1696 343 0 514137 0
Current children cumulated CPU time: 896.53 s
Current children cumulated vsize: 2068292 KiB
Current children cumulated memory: 99368 KiB

[startup+900.8 s]
/proc/loadavg: 4.44 4.18 3.65 5/262 57890
/proc/meminfo: memFree=128087448/131249996 swapFree=33010416/33010684
[pid=57755] ppid=57752 vsize=2068292 memory=99368 CPUtime=898.13 cores=1,3
/proc/57755/stat : 57755 (pb_picat) R 57752 57755 57642 0 -1 4194304 86188 0 0 0 89774 39 0 0 20 0 1 0 55173156 2117931008 24842 18446744073709551615 94835710738432 94835712140013 140721264355280 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94835712411440 94835714285744 94835736600576 140721264359838 140721264359914 140721264359914 140721264365516 0
/proc/57755/statm: 517073 24842 1696 343 0 514137 0
Current children cumulated CPU time: 898.13 s
Current children cumulated vsize: 2068292 KiB
Current children cumulated memory: 99368 KiB

[startup+901.6 s]
/proc/loadavg: 4.44 4.18 3.65 5/262 57890
/proc/meminfo: memFree=128201892/131249996 swapFree=33010416/33010684
[pid=57755] ppid=57752 vsize=2068292 memory=99368 CPUtime=898.93 cores=1,3
/proc/57755/stat : 57755 (pb_picat) R 57752 57755 57642 0 -1 4194304 86188 0 0 0 89854 39 0 0 20 0 1 0 55173156 2117931008 24842 18446744073709551615 94835710738432 94835712140013 140721264355280 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94835712411440 94835714285744 94835736600576 140721264359838 140721264359914 140721264359914 140721264365516 0
/proc/57755/statm: 517073 24842 1696 343 0 514137 0
Current children cumulated CPU time: 898.93 s
Current children cumulated vsize: 2068292 KiB
Current children cumulated memory: 99368 KiB

[startup+902.4 s]
/proc/loadavg: 4.44 4.18 3.65 5/262 57890
/proc/meminfo: memFree=128148708/131249996 swapFree=33010416/33010684
[pid=57755] ppid=57752 vsize=2068292 memory=99368 CPUtime=899.73 cores=1,3
/proc/57755/stat : 57755 (pb_picat) R 57752 57755 57642 0 -1 4194304 86188 0 0 0 89934 39 0 0 20 0 1 0 55173156 2117931008 24842 18446744073709551615 94835710738432 94835712140013 140721264355280 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94835712411440 94835714285744 94835736600576 140721264359838 140721264359914 140721264359914 140721264365516 0
/proc/57755/statm: 517073 24842 1696 343 0 514137 0
Current children cumulated CPU time: 899.73 s
Current children cumulated vsize: 2068292 KiB
Current children cumulated memory: 99368 KiB

[startup+902.6 s]
/proc/loadavg: 4.44 4.18 3.65 5/262 57890
/proc/meminfo: memFree=128148708/131249996 swapFree=33010416/33010684
[pid=57755] ppid=57752 vsize=2068292 memory=99368 CPUtime=899.92 cores=1,3
/proc/57755/stat : 57755 (pb_picat) R 57752 57755 57642 0 -1 4194304 86188 0 0 0 89953 39 0 0 20 0 1 0 55173156 2117931008 24842 18446744073709551615 94835710738432 94835712140013 140721264355280 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94835712411440 94835714285744 94835736600576 140721264359838 140721264359914 140721264359914 140721264365516 0
/proc/57755/statm: 517073 24842 1696 343 0 514137 0
Current children cumulated CPU time: 899.92 s
Current children cumulated vsize: 2068292 KiB
Current children cumulated memory: 99368 KiB

Child status: 0

Real time (s): 902.641
CPU time (s): 899.979
CPU user time (s): 899.573
CPU system time (s): 0.40581
CPU usage (%): 99.7051
Max. virtual memory (cumulated for all children) (KiB): 2111364
Max. memory (cumulated for all children) (KiB): 127748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 899.573
system time used= 0.40581
maximum resident set size= 127748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86213
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= 749


# summary of solver processes directly reported to runsolver:
#   pid: 57755
#   total CPU time (s): 899.979
#   total CPU user time (s): 899.573
#   total CPU system time (s): 0.40581

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.7433 second user time and 3.66928 second system time

The end

Begin job on nodeC022 at 2025-07-01 20:35:54
IDJOB=4497787
IDBENCH=148193
IDSOLVER=3346
FILE ID=nodeC022/4497787-1751394954
RUNJOBID= nodeC022-1751394922-57654
SLURM_JOB_ID= 9598265
Free space on /tmp= 433036 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497787-1751394954/watcher-4497787-1751394954 -o /tmp/evaluation-result-4497787-1751394954/solver-4497787-1751394954 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751394922-57654 --watchdog 3760  pb_picat HOME/instance-4497787-1751394954.opb

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

MD5SUM BENCH= a7d8f923a6cdb36d5c6f2d05cbd48ec7
RANDOM SEED=1774537198

nodeC022 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		: 3599.714
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	: 6999.44
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		: 3599.531
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	: 6999.44
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.538
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	: 6999.44
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		: 3599.696
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	: 6999.44
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		: 3599.697
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	: 6999.44
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		: 3599.712
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	: 6999.44
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		: 3599.207
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	: 6999.44
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.857
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	: 6999.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128796060 kB
MemAvailable:   128730896 kB
Buffers:            2128 kB
Cached:           737440 kB
SwapCached:           32 kB
Active:          1463848 kB
Inactive:         349448 kB
Active(anon):    1087564 kB
Inactive(anon):     4196 kB
Active(file):     376284 kB
Inactive(file):   345252 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4316 kB
Writeback:             0 kB
AnonPages:       1071476 kB
Mapped:           113116 kB
Shmem:             18028 kB
KReclaimable:     104680 kB
Slab:             191960 kB
SReclaimable:     104680 kB
SUnreclaim:        87280 kB
KernelStack:        4272 kB
PageTables:         5192 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    6738208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    935936 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433032 MiB
End job on nodeC022 at 2025-07-01 20:50:57