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

OK	939

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: 63931 MiB (59026 MiB free)
  memory of node 1: 64510 MiB (63148 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436332-1721056020/watcher-4436332-1721056020 -o /tmp/evaluation-result-4436332-1721056020/solver-4436332-1721056020 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721056033-825492 --watchdog 3760 pb_picat HOME/instance-4436332-1721056020.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=825551, runsolver pid=825546

[startup+0.100088 s]*
/proc/loadavg: 2.64 3.00 3.20 8/257 825554
/proc/meminfo: memFree=125021160/131524600 swapFree=131071996/131071996
[pid=825551] ppid=825546 vsize=2033608 memory=39820 CPUtime=0.09 cores=4,6
/proc/825551/stat : 825551 (pb_picat) R 825546 825551 802551 0 -1 4194304 938 0 0 0 9 0 0 0 20 0 1 0 157769450 2082414592 9955 134679101440 4194304 5989780 140730652943856 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 17870848 140730652947481 140730652947557 140730652947557 140730652954572 0
/proc/825551/statm: 508402 9955 1512 439 0 503831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 39820 KiB

[startup+0.20578 s]*
/proc/loadavg: 2.64 3.00 3.20 8/257 825554
/proc/meminfo: memFree=124981068/131524600 swapFree=131071996/131071996
[pid=825551] ppid=825546 vsize=2041424 memory=56596 CPUtime=0.2 cores=4,6
/proc/825551/stat : 825551 (pb_picat) R 825546 825551 802551 0 -1 4194304 1031 0 0 0 19 1 0 0 20 0 1 0 157769450 2090418176 14149 134679101440 4194304 5989780 140730652943856 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 17870848 140730652947481 140730652947557 140730652947557 140730652954572 0
/proc/825551/statm: 510356 14149 1560 439 0 505785 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 56596 KiB

[startup+0.305385 s]*
/proc/loadavg: 2.64 3.00 3.20 8/257 825554
/proc/meminfo: memFree=124947116/131524600 swapFree=131071996/131071996
[pid=825551] ppid=825546 vsize=2046864 memory=83896 CPUtime=0.3 cores=4,6
/proc/825551/stat : 825551 (pb_picat) R 825546 825551 802551 0 -1 4194304 2184 0 0 0 28 2 0 0 20 0 1 0 157769450 2095988736 20974 134679101440 4194304 5989780 140730652943856 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 17870848 140730652947481 140730652947557 140730652947557 140730652954572 0
/proc/825551/statm: 511716 20974 1700 439 0 507145 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2046864 KiB
Current children cumulated memory: 83896 KiB

[startup+0.700192 s]
/proc/loadavg: 2.64 3.00 3.20 7/257 825556
/proc/meminfo: memFree=124905272/131524600 swapFree=131071996/131071996
[pid=825551] ppid=825546 vsize=2118736 memory=131300 CPUtime=0.69 cores=4,6
/proc/825551/stat : 825551 (pb_picat) R 825546 825551 802551 0 -1 4194304 9624 0 0 0 65 4 0 0 20 0 1 0 157769450 2169585664 32825 134679101440 4194304 5989780 140730652943856 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 17870848 140730652947481 140730652947557 140730652947557 140730652954572 0
/proc/825551/statm: 529684 32825 1764 439 0 525113 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2118736 KiB
Current children cumulated memory: 131300 KiB

[startup+1.50022 s]
/proc/loadavg: 2.75 3.02 3.20 7/257 825602
/proc/meminfo: memFree=124891972/131524600 swapFree=131071996/131071996
[pid=825551] ppid=825546 vsize=2121460 memory=142764 CPUtime=1.48 cores=4,6
/proc/825551/stat : 825551 (pb_picat) R 825546 825551 802551 0 -1 4194304 15425 0 0 0 143 5 0 0 20 0 1 0 157769450 2172375040 35691 134679101440 4194304 5989780 140730652943856 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 17870848 140730652947481 140730652947557 140730652947557 140730652954572 0
/proc/825551/statm: 530365 35691 1779 439 0 525794 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2121460 KiB
Current children cumulated memory: 142764 KiB

[startup+3.10592 s]
/proc/loadavg: 2.75 3.02 3.20 7/257 825602
/proc/meminfo: memFree=124773820/131524600 swapFree=131071996/131071996
[pid=825551] ppid=825546 vsize=2124884 memory=131548 CPUtime=3.09 cores=4,6
/proc/825551/stat : 825551 (pb_picat) R 825546 825551 802551 0 -1 4194304 18786 0 0 0 302 7 0 0 20 0 1 0 157769450 2175881216 32887 134679101440 4194304 5989780 140730652943856 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 17870848 140730652947481 140730652947557 140730652947557 140730652954572 0
/proc/825551/statm: 531221 32887 1779 439 0 526650 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2124884 KiB
Current children cumulated memory: 131548 KiB

[startup+6.3002 s]
/proc/loadavg: 2.85 3.03 3.21 7/257 825602
/proc/meminfo: memFree=124742184/131524600 swapFree=131071996/131071996
[pid=825551] ppid=825546 vsize=2124368 memory=146144 CPUtime=6.27 cores=4,6
/proc/825551/stat : 825551 (pb_picat) R 825546 825551 802551 0 -1 4194304 22514 0 0 0 620 7 0 0 20 0 1 0 157769450 2175352832 36536 134679101440 4194304 5989780 140730652943856 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 17870848 140730652947481 140730652947557 140730652947557 140730652954572 0
/proc/825551/statm: 531092 36536 1779 439 0 526521 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2124368 KiB
Current children cumulated memory: 146144 KiB

[startup+12.7002 s]
/proc/loadavg: 2.94 3.05 3.21 7/257 825605
/proc/meminfo: memFree=124735776/131524600 swapFree=131071996/131071996
[pid=825551] ppid=825546 vsize=2124500 memory=144184 CPUtime=12.65 cores=4,6
/proc/825551/stat : 825551 (pb_picat) R 825546 825551 802551 0 -1 4194304 29664 0 0 0 1255 10 0 0 20 0 1 0 157769450 2175488000 36046 134679101440 4194304 5989780 140730652943856 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 17870848 140730652947481 140730652947557 140730652947557 140730652954572 0
/proc/825551/statm: 531125 36046 1779 439 0 526554 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2124500 KiB
Current children cumulated memory: 144184 KiB

[startup+25.5002 s]
/proc/loadavg: 3.18 3.10 3.23 7/257 825606
/proc/meminfo: memFree=124722132/131524600 swapFree=131071996/131071996
[pid=825551] ppid=825546 vsize=2128432 memory=141348 CPUtime=25.41 cores=4,6
/proc/825551/stat : 825551 (pb_picat) R 825546 825551 802551 0 -1 4194304 44535 0 0 0 2526 15 0 0 20 0 1 0 157769450 2179514368 35337 134679101440 4194304 5989780 140730652943856 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 17870848 140730652947481 140730652947557 140730652947557 140730652954572 0
/proc/825551/statm: 532108 35337 1795 439 0 527537 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2128432 KiB
Current children cumulated memory: 141348 KiB

[startup+51.106 s]
/proc/loadavg: 3.51 3.19 3.25 7/259 825615
/proc/meminfo: memFree=124688332/131524600 swapFree=131071996/131071996
[pid=825551] ppid=825546 vsize=2099768 memory=126192 CPUtime=50.94 cores=4,6
/proc/825551/stat : 825551 (pb_picat) R 825546 825551 802551 0 -1 4194304 71808 0 0 0 5067 27 0 0 20 0 1 0 157769450 2150162432 31548 134679101440 4194304 5989780 140730652943856 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 17870848 140730652947481 140730652947557 140730652947557 140730652954572 0
/proc/825551/statm: 524942 31548 1795 439 0 520371 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2099768 KiB
Current children cumulated memory: 126192 KiB

[startup+102.3 s]
/proc/loadavg: 3.83 3.33 3.30 7/259 825623
/proc/meminfo: memFree=124669432/131524600 swapFree=131071996/131071996
[pid=825551] ppid=825546 vsize=2128440 memory=153656 CPUtime=101.98 cores=4,6
/proc/825551/stat : 825551 (pb_picat) R 825546 825551 802551 0 -1 4194304 90989 0 0 0 10162 36 0 0 20 0 1 0 157769450 2179522560 38414 134679101440 4194304 5989780 140730652943856 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 17870848 140730652947481 140730652947557 140730652947557 140730652954572 0
/proc/825551/statm: 532110 38414 1795 439 0 527539 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 2128440 KiB
Current children cumulated memory: 153656 KiB

[startup+162.3 s]
/proc/loadavg: 4.43 3.60 3.40 7/259 825633
/proc/meminfo: memFree=124662336/131524600 swapFree=131071996/131071996
[pid=825551] ppid=825546 vsize=2128420 memory=147492 CPUtime=161.8 cores=4,6
/proc/825551/stat : 825551 (pb_picat) R 825546 825551 802551 0 -1 4194304 126001 0 0 0 16129 51 0 0 20 0 1 0 157769450 2179502080 36873 134679101440 4194304 5989780 140730652943856 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 17870848 140730652947481 140730652947557 140730652947557 140730652954572 0
/proc/825551/statm: 532105 36873 1795 439 0 527534 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 2128420 KiB
Current children cumulated memory: 147492 KiB

[startup+222.3 s]
/proc/loadavg: 4.75 3.89 3.52 7/260 825647
/proc/meminfo: memFree=124653288/131524600 swapFree=131071996/131071996
[pid=825551] ppid=825546 vsize=2112056 memory=137424 CPUtime=221.62 cores=4,6
/proc/825551/stat : 825551 (pb_picat) R 825546 825551 802551 0 -1 4194304 157615 0 0 0 22096 66 0 0 20 0 1 0 157769450 2162745344 34356 134679101440 4194304 5989780 140730652943856 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 17870848 140730652947481 140730652947557 140730652947557 140730652954572 0
/proc/825551/statm: 528014 34356 1795 439 0 523443 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 2112056 KiB
Current children cumulated memory: 137424 KiB

[startup+282.3 s]
/proc/loadavg: 4.39 3.94 3.56 7/258 825657
/proc/meminfo: memFree=124641028/131524600 swapFree=131071996/131071996
[pid=825551] ppid=825546 vsize=2129972 memory=149044 CPUtime=281.43 cores=4,6
/proc/825551/stat : 825551 (pb_picat) R 825546 825551 802551 0 -1 4194304 185499 0 0 0 28065 78 0 0 20 0 1 0 157769450 2181091328 37261 134679101440 4194304 5989780 140730652943856 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 17870848 140730652947481 140730652947557 140730652947557 140730652954572 0
/proc/825551/statm: 532493 37261 1795 439 0 527922 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 2129972 KiB
Current children cumulated memory: 149044 KiB

[startup+342.3 s]
/proc/loadavg: 4.25 3.99 3.60 7/257 825667
/proc/meminfo: memFree=124662652/131524600 swapFree=131071996/131071996
[pid=825551] ppid=825546 vsize=2129972 memory=163624 CPUtime=341.25 cores=4,6
/proc/825551/stat : 825551 (pb_picat) R 825546 825551 802551 0 -1 4194304 194642 0 0 0 34042 83 0 0 20 0 1 0 157769450 2181091328 40906 134679101440 4194304 5989780 140730652943856 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 17870848 140730652947481 140730652947557 140730652947557 140730652954572 0
/proc/825551/statm: 532493 40906 1795 439 0 527922 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 2129972 KiB
Current children cumulated memory: 163624 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 3.99 3.63 7/255 825679
/proc/meminfo: memFree=124652412/131524600 swapFree=131071996/131071996
[pid=825551] ppid=825546 vsize=2128424 memory=146024 CPUtime=401.07 cores=4,6
/proc/825551/stat : 825551 (pb_picat) R 825546 825551 802551 0 -1 4194304 224475 0 0 0 40010 97 0 0 20 0 1 0 157769450 2179506176 36506 134679101440 4194304 5989780 140730652943856 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 17870848 140730652947481 140730652947557 140730652947557 140730652954572 0
/proc/825551/statm: 532106 36506 1795 439 0 527535 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 2128424 KiB
Current children cumulated memory: 146024 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.02 3.66 7/255 825690
/proc/meminfo: memFree=124651596/131524600 swapFree=131071996/131071996
[pid=825551] ppid=825546 vsize=2128860 memory=150032 CPUtime=460.89 cores=4,6
/proc/825551/stat : 825551 (pb_picat) R 825546 825551 802551 0 -1 4194304 267077 0 0 0 45972 117 0 0 20 0 1 0 157769450 2179952640 37508 134679101440 4194304 5989780 140730652943856 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 17870848 140730652947481 140730652947557 140730652947557 140730652954572 0

################
# More data... #
################

/proc/loadavg: 4.13 4.07 3.84 7/257 825768
/proc/meminfo: memFree=124602788/131524600 swapFree=131071996/131071996
[pid=825551] ppid=825546 vsize=2134852 memory=158136 CPUtime=879.62 cores=4,6
/proc/825551/stat : 825551 (pb_picat) R 825546 825551 802551 0 -1 4194304 436464 0 0 0 87763 199 0 0 20 0 1 0 157769450 2186088448 39534 134679101440 4194304 5989780 140730652943856 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 17870848 140730652947481 140730652947557 140730652947557 140730652954572 0
/proc/825551/statm: 533713 39534 1795 439 0 529142 0
Current children cumulated CPU time: 879.62 s
Current children cumulated vsize: 2134852 KiB
Current children cumulated memory: 158136 KiB

[startup+942.3 s]
/proc/loadavg: 4.11 4.07 3.86 7/257 825778
/proc/meminfo: memFree=124615940/131524600 swapFree=131071996/131071996
[pid=825551] ppid=825546 vsize=2134852 memory=154512 CPUtime=939.43 cores=4,6
/proc/825551/stat : 825551 (pb_picat) R 825546 825551 802551 0 -1 4194304 463900 0 0 0 93729 214 0 0 20 0 1 0 157769450 2186088448 38628 134679101440 4194304 5989780 140730652943856 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 17870848 140730652947481 140730652947557 140730652947557 140730652954572 0
/proc/825551/statm: 533713 38628 1795 439 0 529142 0
Current children cumulated CPU time: 939.43 s
Current children cumulated vsize: 2134852 KiB
Current children cumulated memory: 154512 KiB

[startup+1002.3 s]
/proc/loadavg: 4.09 4.07 3.87 7/257 825789
/proc/meminfo: memFree=124605536/131524600 swapFree=131071996/131071996
[pid=825551] ppid=825546 vsize=2134852 memory=162232 CPUtime=999.24 cores=4,6
/proc/825551/stat : 825551 (pb_picat) R 825546 825551 802551 0 -1 4194304 490551 0 0 0 99697 227 0 0 20 0 1 0 157769450 2186088448 40558 134679101440 4194304 5989780 140730652943856 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 17870848 140730652947481 140730652947557 140730652947557 140730652954572 0
/proc/825551/statm: 533713 40558 1795 439 0 529142 0
Current children cumulated CPU time: 999.24 s
Current children cumulated vsize: 2134852 KiB
Current children cumulated memory: 162232 KiB

[startup+1062.3 s]
/proc/loadavg: 4.10 4.07 3.89 7/257 825800
/proc/meminfo: memFree=124558132/131524600 swapFree=131071996/131071996
[pid=825551] ppid=825546 vsize=2134852 memory=158916 CPUtime=1059.06 cores=4,6
/proc/825551/stat : 825551 (pb_picat) R 825546 825551 802551 0 -1 4194304 518228 0 0 0 105666 240 0 0 20 0 1 0 157769450 2186088448 39729 134679101440 4194304 5989780 140730652943856 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 17870848 140730652947481 140730652947557 140730652947557 140730652954572 0
/proc/825551/statm: 533713 39729 1795 439 0 529142 0
Current children cumulated CPU time: 1059.06 s
Current children cumulated vsize: 2134852 KiB
Current children cumulated memory: 158916 KiB

[startup+1122.3 s]
/proc/loadavg: 4.09 4.07 3.91 7/257 826195
/proc/meminfo: memFree=124575572/131524600 swapFree=131071996/131071996
[pid=825551] ppid=825546 vsize=2102084 memory=135868 CPUtime=1118.88 cores=4,6
/proc/825551/stat : 825551 (pb_picat) R 825546 825551 802551 0 -1 4194304 541490 0 0 0 111637 251 0 0 20 0 1 0 157769450 2152534016 33967 134679101440 4194304 5989780 140730652943856 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 17870848 140730652947481 140730652947557 140730652947557 140730652954572 0
/proc/825551/statm: 525521 33967 1795 439 0 520950 0
Current children cumulated CPU time: 1118.88 s
Current children cumulated vsize: 2102084 KiB
Current children cumulated memory: 135868 KiB

[startup+1182.3 s]
/proc/loadavg: 4.11 4.08 3.92 7/257 826205
/proc/meminfo: memFree=124553884/131524600 swapFree=131071996/131071996
[pid=825551] ppid=825546 vsize=2134852 memory=160248 CPUtime=1178.69 cores=4,6
/proc/825551/stat : 825551 (pb_picat) R 825546 825551 802551 0 -1 4194304 571388 0 0 0 117607 262 0 0 20 0 1 0 157769450 2186088448 40062 134679101440 4194304 5989780 140730652943856 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 17870848 140730652947481 140730652947557 140730652947557 140730652954572 0
/proc/825551/statm: 533713 40062 1795 439 0 529142 0
Current children cumulated CPU time: 1178.69 s
Current children cumulated vsize: 2134852 KiB
Current children cumulated memory: 160248 KiB

[startup+1242.3 s]
/proc/loadavg: 4.07 4.08 3.94 7/257 826216
/proc/meminfo: memFree=124553984/131524600 swapFree=131071996/131071996
[pid=825551] ppid=825546 vsize=2134852 memory=164280 CPUtime=1238.51 cores=4,6
/proc/825551/stat : 825551 (pb_picat) R 825546 825551 802551 0 -1 4194304 590218 0 0 0 123579 272 0 0 20 0 1 0 157769450 2186088448 41070 134679101440 4194304 5989780 140730652943856 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 17870848 140730652947481 140730652947557 140730652947557 140730652954572 0
/proc/825551/statm: 533713 41070 1795 439 0 529142 0
Current children cumulated CPU time: 1238.51 s
Current children cumulated vsize: 2134852 KiB
Current children cumulated memory: 164280 KiB

[startup+1302.3 s]
/proc/loadavg: 4.07 4.08 3.95 7/259 826396
/proc/meminfo: memFree=124578408/131524600 swapFree=131071996/131071996
[pid=825551] ppid=825546 vsize=2093892 memory=127568 CPUtime=1298.33 cores=4,6
/proc/825551/stat : 825551 (pb_picat) R 825546 825551 802551 0 -1 4194304 610549 0 0 0 129555 278 0 0 20 0 1 0 157769450 2144145408 31892 134679101440 4194304 5989780 140730652943856 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 17870848 140730652947481 140730652947557 140730652947557 140730652954572 0
/proc/825551/statm: 523473 31892 1795 439 0 518902 0
Current children cumulated CPU time: 1298.33 s
Current children cumulated vsize: 2093892 KiB
Current children cumulated memory: 127568 KiB

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

# cumulated CPU time of all completed processes:  user=1318.8 s, system=2.82477 s

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

[startup+1305.6 s]
/proc/loadavg: 4.07 4.08 3.95 7/259 826396
/proc/meminfo: memFree=124590360/131524600 swapFree=131071996/131071996
[pid=825551] ppid=825546 vsize=2093892 memory=127828 CPUtime=1301.63 cores=4,6
/proc/825551/stat : 825551 (pb_picat) R 825546 825551 802551 0 -1 4194304 611843 0 0 0 129884 279 0 0 20 0 1 0 157769450 2144145408 31957 134679101440 4194304 5989780 140730652943856 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 17870848 140730652947481 140730652947557 140730652947557 140730652954572 0
/proc/825551/statm: 523473 31957 1795 439 0 518902 0
Current children cumulated CPU time: 1301.63 s
Current children cumulated vsize: 2093892 KiB
Current children cumulated memory: 127828 KiB

[startup+1318.4 s]
/proc/loadavg: 4.33 4.14 3.97 7/259 826397
/proc/meminfo: memFree=124570940/131524600 swapFree=131071996/131071996
[pid=825551] ppid=825546 vsize=2093892 memory=127568 CPUtime=1314.39 cores=4,6
/proc/825551/stat : 825551 (pb_picat) R 825546 825551 802551 0 -1 4194304 616506 0 0 0 131158 281 0 0 20 0 1 0 157769450 2144145408 31892 134679101440 4194304 5989780 140730652943856 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 17870848 140730652947481 140730652947557 140730652947557 140730652954572 0
/proc/825551/statm: 523473 31892 1795 439 0 518902 0
Current children cumulated CPU time: 1314.39 s
Current children cumulated vsize: 2093892 KiB
Current children cumulated memory: 127568 KiB

[startup+1321.6 s]
/proc/loadavg: 4.33 4.14 3.97 7/259 826399
/proc/meminfo: memFree=124593956/131524600 swapFree=131071996/131071996
[pid=825551] ppid=825546 vsize=2102084 memory=133604 CPUtime=1317.58 cores=4,6
/proc/825551/stat : 825551 (pb_picat) R 825546 825551 802551 0 -1 4194304 617878 0 0 0 131477 281 0 0 20 0 1 0 157769450 2152534016 33401 134679101440 4194304 5989780 140730652943856 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 17870848 140730652947481 140730652947557 140730652947557 140730652954572 0
/proc/825551/statm: 525521 33401 1795 439 0 520950 0
Current children cumulated CPU time: 1317.58 s
Current children cumulated vsize: 2102084 KiB
Current children cumulated memory: 133604 KiB

[startup+1323.2 s]
/proc/loadavg: 4.30 4.14 3.97 8/259 826400
/proc/meminfo: memFree=124582668/131524600 swapFree=131071996/131071996
[pid=825551] ppid=825546 vsize=2093892 memory=127568 CPUtime=1319.17 cores=4,6
/proc/825551/stat : 825551 (pb_picat) R 825546 825551 802551 0 -1 4194304 617964 0 0 0 131636 281 0 0 20 0 1 0 157769450 2144145408 31892 134679101440 4194304 5989780 140730652943856 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 17870848 140730652947481 140730652947557 140730652947557 140730652954572 0
/proc/825551/statm: 523473 31892 1795 439 0 518902 0
Current children cumulated CPU time: 1319.17 s
Current children cumulated vsize: 2093892 KiB
Current children cumulated memory: 127568 KiB

[startup+1324.8 s]
/proc/loadavg: 4.30 4.14 3.97 7/259 826400
/proc/meminfo: memFree=124570652/131524600 swapFree=131071996/131071996
[pid=825551] ppid=825546 vsize=2093892 memory=128092 CPUtime=1320.77 cores=4,6
/proc/825551/stat : 825551 (pb_picat) R 825546 825551 802551 0 -1 4194304 618095 0 0 0 131796 281 0 0 20 0 1 0 157769450 2144145408 32023 134679101440 4194304 5989780 140730652943856 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 17870848 140730652947481 140730652947557 140730652947557 140730652954572 0
/proc/825551/statm: 523473 32023 1795 439 0 518902 0
Current children cumulated CPU time: 1320.77 s
Current children cumulated vsize: 2093892 KiB
Current children cumulated memory: 128092 KiB

[startup+1325.2 s]
/proc/loadavg: 4.30 4.14 3.97 7/259 826400
/proc/meminfo: memFree=124561852/131524600 swapFree=131071996/131071996
[pid=825551] ppid=825546 vsize=2093892 memory=128092 CPUtime=1321.17 cores=4,6
/proc/825551/stat : 825551 (pb_picat) R 825546 825551 802551 0 -1 4194304 618108 0 0 0 131836 281 0 0 20 0 1 0 157769450 2144145408 32023 134679101440 4194304 5989780 140730652943856 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 17870848 140730652947481 140730652947557 140730652947557 140730652954572 0
/proc/825551/statm: 523473 32023 1795 439 0 518902 0
Current children cumulated CPU time: 1321.17 s
Current children cumulated vsize: 2093892 KiB
Current children cumulated memory: 128092 KiB

[startup+1325.6 s]
/proc/loadavg: 4.30 4.14 3.97 7/259 826400
/proc/meminfo: memFree=124561852/131524600 swapFree=131071996/131071996
[pid=825551] ppid=825546 vsize=2093892 memory=128356 CPUtime=1321.57 cores=4,6
/proc/825551/stat : 825551 (pb_picat) R 825546 825551 802551 0 -1 4194304 618154 0 0 0 131876 281 0 0 20 0 1 0 157769450 2144145408 32089 134679101440 4194304 5989780 140730652943856 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 17870848 140730652947481 140730652947557 140730652947557 140730652954572 0
/proc/825551/statm: 523473 32089 1795 439 0 518902 0
Current children cumulated CPU time: 1321.57 s
Current children cumulated vsize: 2093892 KiB
Current children cumulated memory: 128356 KiB

Child status: 0

Real time (s): 1325.65
CPU time (s): 1321.62
CPU user time (s): 1318.8
CPU system time (s): 2.82477
CPU usage (%): 99.6963
Max. virtual memory (cumulated for all children) (KiB): 2159940
Max. memory (cumulated for all children) (KiB): 191288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1318.8
system time used= 2.82477
maximum resident set size= 191288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 618189
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= 5
involuntary context switches= 1441


# summary of solver processes directly reported to runsolver:
#   pid: 825551
#   total CPU time (s): 1321.62
#   total CPU user time (s): 1318.8
#   total CPU system time (s): 2.82477

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.13326 second user time and 6.79114 second system time

The end

Begin job on nodeC029 at 2024-07-15 17:07:14
IDJOB=4436332
IDBENCH=146652
IDSOLVER=3068
FILE ID=nodeC029/4436332-1721056020
RUNJOBID= nodeC029-1721056033-825492
SLURM_JOB_ID= 7505470
Free space on /tmp= 890064 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436332-1721056020/watcher-4436332-1721056020 -o /tmp/evaluation-result-4436332-1721056020/solver-4436332-1721056020 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721056033-825492 --watchdog 3760  pb_picat HOME/instance-4436332-1721056020.opb

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

MD5SUM BENCH= b97b9bf3767749854a32fccedb37d823
RANDOM SEED=1086311047

nodeC029.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		: 3468.891
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	: 7000.09
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		: 3521.571
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	: 7006.98
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		: 3613.156
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	: 7000.09
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		: 3636.090
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	: 7006.98
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		: 3524.534
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	: 7000.09
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		: 3518.044
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	: 7006.98
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		: 3568.385
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	: 7000.09
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		: 3624.642
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	: 7006.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125122324 kB
MemAvailable:   129695676 kB
Buffers:          363388 kB
Cached:          4993632 kB
SwapCached:            0 kB
Active:           663032 kB
Inactive:        5030544 kB
Active(anon):       1368 kB
Inactive(anon):   372924 kB
Active(file):     661664 kB
Inactive(file):  4657620 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             32996 kB
Writeback:             0 kB
AnonPages:        336000 kB
Mapped:           103572 kB
Shmem:             37720 kB
KReclaimable:     187432 kB
Slab:             303676 kB
SReclaimable:     187432 kB
SUnreclaim:       116244 kB
KernelStack:        3936 kB
PageTables:         9732 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     753060 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            60032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    219136 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:      262868 kB
DirectMap2M:    35162112 kB
DirectMap1G:    100663296 kB

Free space on /tmp at the end= 890052 MiB
End job on nodeC029 at 2024-07-15 17:29:19