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