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

OK	0

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (60302 MiB free)
  memory of node 1: 64510 MiB (60178 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447102-1721334783/watcher-4447102-1721334783 -o /tmp/evaluation-result-4447102-1721334783/solver-4447102-1721334783 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721329244-992563 --watchdog 3760 pb_picat HOME/instance-4447102-1721334783.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=996340, runsolver pid=996337

[startup+0.100908 s]*
/proc/loadavg: 4.14 4.12 4.09 5/257 996341
/proc/meminfo: memFree=123343640/131524600 swapFree=131071996/131071996
[pid=996340] ppid=996337 vsize=2033608 memory=37332 CPUtime=0.09 cores=5,7
/proc/996340/stat : 996340 (pb_picat) R 996337 996340 992550 0 -1 4194304 890 0 0 0 9 0 0 0 20 0 1 0 185648040 2082414592 9333 134679101440 4194304 5989780 140723618268192 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 26157056 140723618276376 140723618276452 140723618276452 140723618283468 0
/proc/996340/statm: 508402 9333 1476 439 0 503831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 37332 KiB

[startup+0.205615 s]*
/proc/loadavg: 4.14 4.12 4.09 5/257 996341
/proc/meminfo: memFree=123334812/131524600 swapFree=131071996/131071996
[pid=996340] ppid=996337 vsize=2037972 memory=45232 CPUtime=0.2 cores=5,7
/proc/996340/stat : 996340 (pb_picat) R 996337 996340 992550 0 -1 4194304 1885 0 0 0 19 1 0 0 20 0 1 0 185648040 2086883328 11308 134679101440 4194304 5989780 140723618268192 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 26157056 140723618276376 140723618276452 140723618276452 140723618283468 0
/proc/996340/statm: 509493 11308 1601 439 0 504922 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2037972 KiB
Current children cumulated memory: 45232 KiB

[startup+0.305511 s]*
/proc/loadavg: 4.14 4.12 4.09 5/257 996341
/proc/meminfo: memFree=123329860/131524600 swapFree=131071996/131071996
[pid=996340] ppid=996337 vsize=2037464 memory=45144 CPUtime=0.3 cores=5,7
/proc/996340/stat : 996340 (pb_picat) R 996337 996340 992550 0 -1 4194304 2996 0 0 0 29 1 0 0 20 0 1 0 185648040 2086363136 11286 134679101440 4194304 5989780 140723618268192 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 26157056 140723618276376 140723618276452 140723618276452 140723618283468 0
/proc/996340/statm: 509366 11286 1601 439 0 504795 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2037464 KiB
Current children cumulated memory: 45144 KiB

[startup+0.700245 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 996341
/proc/meminfo: memFree=123320924/131524600 swapFree=131071996/131071996
[pid=996340] ppid=996337 vsize=2041496 memory=47672 CPUtime=0.69 cores=5,7
/proc/996340/stat : 996340 (pb_picat) R 996337 996340 992550 0 -1 4194304 4933 0 0 0 67 2 0 0 20 0 1 0 185648040 2090491904 11918 134679101440 4194304 5989780 140723618268192 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 26157056 140723618276376 140723618276452 140723618276452 140723618283468 0
/proc/996340/statm: 510374 11918 1601 439 0 505803 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2041496 KiB
Current children cumulated memory: 47672 KiB

[startup+1.50024 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 996341
/proc/meminfo: memFree=123316496/131524600 swapFree=131071996/131071996
[pid=996340] ppid=996337 vsize=2045080 memory=50388 CPUtime=1.48 cores=5,7
/proc/996340/stat : 996340 (pb_picat) R 996337 996340 992550 0 -1 4194304 7859 0 0 0 146 2 0 0 20 0 1 0 185648040 2094161920 12597 134679101440 4194304 5989780 140723618268192 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 26157056 140723618276376 140723618276452 140723618276452 140723618283468 0
/proc/996340/statm: 511270 12597 1601 439 0 506699 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2045080 KiB
Current children cumulated memory: 50388 KiB

[startup+3.10546 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 996341
/proc/meminfo: memFree=123306104/131524600 swapFree=131071996/131071996
[pid=996340] ppid=996337 vsize=2040984 memory=47144 CPUtime=3.08 cores=5,7
/proc/996340/stat : 996340 (pb_picat) R 996337 996340 992550 0 -1 4194304 13209 0 0 0 305 3 0 0 20 0 1 0 185648040 2089967616 11786 134679101440 4194304 5989780 140723618268192 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 26157056 140723618276376 140723618276452 140723618276452 140723618283468 0
/proc/996340/statm: 510246 11786 1601 439 0 505675 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2040984 KiB
Current children cumulated memory: 47144 KiB

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

# cumulated CPU time of all completed processes:  user=4.46596 s, system=0.059855 s

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

[startup+3.20026 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 996341
/proc/meminfo: memFree=123306104/131524600 swapFree=131071996/131071996
[pid=996340] ppid=996337 vsize=2044056 memory=48708 CPUtime=3.18 cores=5,7
/proc/996340/stat : 996340 (pb_picat) R 996337 996340 992550 0 -1 4194304 13613 0 0 0 314 4 0 0 20 0 1 0 185648040 2093113344 12177 134679101440 4194304 5989780 140723618268192 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 26157056 140723618276376 140723618276452 140723618276452 140723618283468 0
/proc/996340/statm: 511014 12177 1601 439 0 506443 0
Current children cumulated CPU time: 3.18 s
Current children cumulated vsize: 2044056 KiB
Current children cumulated memory: 48708 KiB

[startup+4.00022 s]*
/proc/loadavg: 4.13 4.12 4.09 5/257 996341
/proc/meminfo: memFree=123307532/131524600 swapFree=131071996/131071996
[pid=996340] ppid=996337 vsize=2043544 memory=49700 CPUtime=3.99 cores=5,7
/proc/996340/stat : 996340 (pb_picat) R 996337 996340 992550 0 -1 4194304 16789 0 0 0 394 5 0 0 20 0 1 0 185648040 2092589056 12425 134679101440 4194304 5989780 140723618268192 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 26157056 140723618276376 140723618276452 140723618276452 140723618283468 0
/proc/996340/statm: 510886 12425 1601 439 0 506315 0
Current children cumulated CPU time: 3.99 s
Current children cumulated vsize: 2043544 KiB
Current children cumulated memory: 49700 KiB

[startup+4.40022 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 996341
/proc/meminfo: memFree=123307532/131524600 swapFree=131071996/131071996
[pid=996340] ppid=996337 vsize=2043032 memory=48112 CPUtime=4.38 cores=5,7
/proc/996340/stat : 996340 (pb_picat) R 996337 996340 992550 0 -1 4194304 17686 0 0 0 433 5 0 0 20 0 1 0 185648040 2092064768 12028 134679101440 4194304 5989780 140723618268192 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 26157056 140723618276376 140723618276452 140723618276452 140723618283468 0
/proc/996340/statm: 510758 12028 1601 439 0 506187 0
Current children cumulated CPU time: 4.38 s
Current children cumulated vsize: 2043032 KiB
Current children cumulated memory: 48112 KiB

[startup+4.50022 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 996341
/proc/meminfo: memFree=123307532/131524600 swapFree=131071996/131071996
[pid=996340] ppid=996337 vsize=2043032 memory=48896 CPUtime=4.48 cores=5,7
/proc/996340/stat : 996340 (pb_picat) R 996337 996340 992550 0 -1 4194304 17880 0 0 0 443 5 0 0 20 0 1 0 185648040 2092064768 12224 134679101440 4194304 5989780 140723618268192 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 26157056 140723618276376 140723618276452 140723618276452 140723618283468 0
/proc/996340/statm: 510758 12224 1601 439 0 506187 0
Current children cumulated CPU time: 4.48 s
Current children cumulated vsize: 2043032 KiB
Current children cumulated memory: 48896 KiB

Child status: 0

Real time (s): 4.53982
CPU time (s): 4.52581
CPU user time (s): 4.46596
CPU system time (s): 0.059855
CPU usage (%): 99.6915
Max. virtual memory (cumulated for all children) (KiB): 2057368
Max. memory (cumulated for all children) (KiB): 55708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.46596
system time used= 0.059855
maximum resident set size= 55764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17949
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= 12


# summary of solver processes directly reported to runsolver:
#   pid: 996340
#   total CPU time (s): 4.52581
#   total CPU user time (s): 4.46596
#   total CPU system time (s): 0.059855

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.025114 second user time and 0.053534 second system time

The end

Begin job on nodeC033 at 2024-07-18 22:33:15
IDJOB=4447102
IDBENCH=158360
IDSOLVER=3068
FILE ID=nodeC033/4447102-1721334783
RUNJOBID= nodeC033-1721329244-992563
SLURM_JOB_ID= 7542695
Free space on /tmp= 890072 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K107.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447102-1721334783/watcher-4447102-1721334783 -o /tmp/evaluation-result-4447102-1721334783/solver-4447102-1721334783 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721329244-992563 --watchdog 3760  pb_picat HOME/instance-4447102-1721334783.opb

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

MD5SUM BENCH= 86c4e69ec1b5c87cf6b12225bb221f99
RANDOM SEED=1660259796

nodeC033.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123372200 kB
MemAvailable:   129299548 kB
Buffers:          534368 kB
Cached:          6163644 kB
SwapCached:            0 kB
Active:           979472 kB
Inactive:        6402072 kB
Active(anon):       1564 kB
Inactive(anon):   727548 kB
Active(file):     977908 kB
Inactive(file):  5674524 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4168 kB
Writeback:            28 kB
AnonPages:        680416 kB
Mapped:           116088 kB
Shmem:             45908 kB
KReclaimable:     229128 kB
Slab:             356076 kB
SReclaimable:     229128 kB
SUnreclaim:       126948 kB
KernelStack:        4120 kB
PageTables:        10928 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7080156 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            68768 kB
HardwareCorrupted:     0 kB
AnonHugePages:    444416 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:      273108 kB
DirectMap2M:    28860416 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC033 at 2024-07-18 22:33:20