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