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

OK	19

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (62491 MiB free)
  memory of node 1: 64507 MiB (62706 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528393-1752240170/watcher-4528393-1752240170 -o /tmp/evaluation-result-4528393-1752240170/solver-4528393-1752240170 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1752238731-113184 --watchdog 3760 pb_picat HOME/instance-4528393-1752240170.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=114348, runsolver pid=114345

[startup+0.100067 s]*
/proc/loadavg: 4.10 4.14 4.02 5/249 114349
/proc/meminfo: memFree=128205268/131382112 swapFree=33009904/33010684
[pid=114348] ppid=114345 vsize=2027148 memory=25860 CPUtime=0.09 cores=5,7
/proc/114348/stat : 114348 (pb_picat) R 114345 114348 111409 0 -1 4194304 985 0 0 0 9 0 0 0 20 0 1 0 139695937 2075799552 6465 18446744073709551615 94045327994880 94045329396461 140727593108336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94045329667888 94045331542128 94045338660864 140727593114012 140727593114088 140727593114088 140727593119692 0
/proc/114348/statm: 506787 6465 1568 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 25860 KiB

[startup+0.213371 s]*
/proc/loadavg: 4.10 4.14 4.02 5/249 114349
/proc/meminfo: memFree=128196320/131382112 swapFree=33009904/33010684
[pid=114348] ppid=114345 vsize=2027148 memory=40240 CPUtime=0.21 cores=5,7
/proc/114348/stat : 114348 (pb_picat) R 114345 114348 111409 0 -1 4194304 1003 0 0 0 20 1 0 0 20 0 1 0 139695937 2075799552 10060 18446744073709551615 94045327994880 94045329396461 140727593108336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94045329667888 94045331542128 94045338660864 140727593114012 140727593114088 140727593114088 140727593119692 0
/proc/114348/statm: 506787 10060 1568 343 0 503851 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 40240 KiB

[startup+0.313406 s]*
/proc/loadavg: 4.10 4.14 4.02 5/249 114349
/proc/meminfo: memFree=128188128/131382112 swapFree=33009904/33010684
[pid=114348] ppid=114345 vsize=2027148 memory=50516 CPUtime=0.31 cores=5,7
/proc/114348/stat : 114348 (pb_picat) R 114345 114348 111409 0 -1 4194304 1015 0 0 0 30 1 0 0 20 0 1 0 139695937 2075799552 12629 18446744073709551615 94045327994880 94045329396461 140727593108336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94045329667888 94045331542128 94045338660864 140727593114012 140727593114088 140727593114088 140727593119692 0
/proc/114348/statm: 506787 12629 1568 343 0 503851 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 50516 KiB

[startup+0.700276 s]
/proc/loadavg: 4.10 4.14 4.02 5/249 114349
/proc/meminfo: memFree=128171828/131382112 swapFree=33009904/33010684
[pid=114348] ppid=114345 vsize=2041396 memory=77716 CPUtime=0.68 cores=5,7
/proc/114348/stat : 114348 (pb_picat) R 114345 114348 111409 0 -1 4194304 3338 0 0 0 66 2 0 0 20 0 1 0 139695937 2090389504 19429 18446744073709551615 94045327994880 94045329396461 140727593108336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94045329667888 94045331542128 94045338660864 140727593114012 140727593114088 140727593114088 140727593119692 0
/proc/114348/statm: 510349 19429 1728 343 0 507413 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2041396 KiB
Current children cumulated memory: 77716 KiB

[startup+1.50027 s]
/proc/loadavg: 4.10 4.14 4.02 5/249 114349
/proc/meminfo: memFree=128164204/131382112 swapFree=33009904/33010684
[pid=114348] ppid=114345 vsize=2046096 memory=79404 CPUtime=1.48 cores=5,7
/proc/114348/stat : 114348 (pb_picat) R 114345 114348 111409 0 -1 4194304 5133 0 0 0 146 2 0 0 20 0 1 0 139695937 2095202304 19851 18446744073709551615 94045327994880 94045329396461 140727593108336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94045329667888 94045331542128 94045338660864 140727593114012 140727593114088 140727593114088 140727593119692 0
/proc/114348/statm: 511524 19851 1728 343 0 508588 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2046096 KiB
Current children cumulated memory: 79404 KiB

[startup+3.11293 s]
/proc/loadavg: 4.10 4.14 4.02 5/249 114349
/proc/meminfo: memFree=128180620/131382112 swapFree=33009904/33010684
[pid=114348] ppid=114345 vsize=2049692 memory=86504 CPUtime=3.09 cores=5,7
/proc/114348/stat : 114348 (pb_picat) R 114345 114348 111409 0 -1 4194304 8262 0 0 0 306 3 0 0 20 0 1 0 139695937 2098884608 21626 18446744073709551615 94045327994880 94045329396461 140727593108336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94045329667888 94045331542128 94045338660864 140727593114012 140727593114088 140727593114088 140727593119692 0
/proc/114348/statm: 512423 21626 1728 343 0 509487 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2049692 KiB
Current children cumulated memory: 86504 KiB

[startup+6.30031 s]
/proc/loadavg: 4.09 4.14 4.02 5/249 114349
/proc/meminfo: memFree=128168332/131382112 swapFree=33009904/33010684
[pid=114348] ppid=114345 vsize=2049692 memory=86504 CPUtime=6.26 cores=5,7
/proc/114348/stat : 114348 (pb_picat) R 114345 114348 111409 0 -1 4194304 8293 0 0 0 623 3 0 0 20 0 1 0 139695937 2098884608 21626 18446744073709551615 94045327994880 94045329396461 140727593108336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94045329667888 94045331542128 94045338660864 140727593114012 140727593114088 140727593114088 140727593119692 0
/proc/114348/statm: 512423 21626 1728 343 0 509487 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2049692 KiB
Current children cumulated memory: 86504 KiB

[startup+12.7003 s]
/proc/loadavg: 4.09 4.13 4.02 5/249 114349
/proc/meminfo: memFree=128169372/131382112 swapFree=33009904/33010684
[pid=114348] ppid=114345 vsize=2057888 memory=93396 CPUtime=12.65 cores=5,7
/proc/114348/stat : 114348 (pb_picat) R 114345 114348 111409 0 -1 4194304 8477 0 0 0 1261 4 0 0 20 0 1 0 139695937 2107277312 23349 18446744073709551615 94045327994880 94045329396461 140727593108336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94045329667888 94045331542128 94045338660864 140727593114012 140727593114088 140727593114088 140727593119692 0
/proc/114348/statm: 514472 23349 1728 343 0 511536 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2057888 KiB
Current children cumulated memory: 93396 KiB

[startup+25.5003 s]
/proc/loadavg: 4.07 4.13 4.02 5/249 114349
/proc/meminfo: memFree=128147948/131382112 swapFree=33009904/33010684
[pid=114348] ppid=114345 vsize=2061980 memory=96188 CPUtime=25.41 cores=5,7
/proc/114348/stat : 114348 (pb_picat) R 114345 114348 111409 0 -1 4194304 11200 0 0 0 2536 5 0 0 20 0 1 0 139695937 2111467520 24047 18446744073709551615 94045327994880 94045329396461 140727593108336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94045329667888 94045331542128 94045338660864 140727593114012 140727593114088 140727593114088 140727593119692 0
/proc/114348/statm: 515495 24047 1728 343 0 512559 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2061980 KiB
Current children cumulated memory: 96188 KiB

[startup+51.1132 s]
/proc/loadavg: 4.04 4.12 4.02 5/249 114350
/proc/meminfo: memFree=128104776/131382112 swapFree=33009904/33010684
[pid=114348] ppid=114345 vsize=2065308 memory=96524 CPUtime=50.96 cores=5,7
/proc/114348/stat : 114348 (pb_picat) R 114345 114348 111409 0 -1 4194304 14283 0 0 0 5090 6 0 0 20 0 1 0 139695937 2114875392 24131 18446744073709551615 94045327994880 94045329396461 140727593108336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94045329667888 94045331542128 94045338660864 140727593114012 140727593114088 140727593114088 140727593119692 0
/proc/114348/statm: 516327 24131 1728 343 0 513391 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2065308 KiB
Current children cumulated memory: 96524 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.13 4.03 5/249 114352
/proc/meminfo: memFree=128141936/131382112 swapFree=33009904/33010684
[pid=114348] ppid=114345 vsize=2062212 memory=95600 CPUtime=102.01 cores=5,7
/proc/114348/stat : 114348 (pb_picat) R 114345 114348 111409 0 -1 4194304 17553 0 0 0 10194 7 0 0 20 0 1 0 139695937 2111705088 23900 18446744073709551615 94045327994880 94045329396461 140727593108336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94045329667888 94045331542128 94045338660864 140727593114012 140727593114088 140727593114088 140727593119692 0
/proc/114348/statm: 515553 23900 1728 343 0 512617 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 2062212 KiB
Current children cumulated memory: 95600 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.13 4.03 5/249 114354
/proc/meminfo: memFree=128020520/131382112 swapFree=33009904/33010684
[pid=114348] ppid=114345 vsize=2058116 memory=89260 CPUtime=161.85 cores=5,7
/proc/114348/stat : 114348 (pb_picat) R 114345 114348 111409 0 -1 4194304 25660 0 0 0 16175 10 0 0 20 0 1 0 139695937 2107510784 22315 18446744073709551615 94045327994880 94045329396461 140727593108336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94045329667888 94045331542128 94045338660864 140727593114012 140727593114088 140727593114088 140727593119692 0
/proc/114348/statm: 514529 22315 1728 343 0 511593 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 2058116 KiB
Current children cumulated memory: 89260 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.12 4.03 5/250 114361
/proc/meminfo: memFree=127944708/131382112 swapFree=33009904/33010684
[pid=114348] ppid=114345 vsize=2070408 memory=104260 CPUtime=221.68 cores=5,7
/proc/114348/stat : 114348 (pb_picat) R 114345 114348 111409 0 -1 4194304 36350 0 0 0 22155 13 0 0 20 0 1 0 139695937 2120097792 26065 18446744073709551615 94045327994880 94045329396461 140727593108336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94045329667888 94045331542128 94045338660864 140727593114012 140727593114088 140727593114088 140727593119692 0
/proc/114348/statm: 517602 26065 1728 343 0 514666 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 2070408 KiB
Current children cumulated memory: 104260 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.03 5/250 114365
/proc/meminfo: memFree=128110300/131382112 swapFree=33009904/33010684
[pid=114348] ppid=114345 vsize=2078600 memory=111700 CPUtime=281.52 cores=5,7
/proc/114348/stat : 114348 (pb_picat) R 114345 114348 111409 0 -1 4194304 49036 0 0 0 28133 19 0 0 20 0 1 0 139695937 2128486400 27925 18446744073709551615 94045327994880 94045329396461 140727593108336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94045329667888 94045331542128 94045338660864 140727593114012 140727593114088 140727593114088 140727593119692 0
/proc/114348/statm: 519650 27925 1728 343 0 516714 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 2078600 KiB
Current children cumulated memory: 111700 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 4.12 4.04 5/250 114367
/proc/meminfo: memFree=128012100/131382112 swapFree=33009904/33010684
[pid=114348] ppid=114345 vsize=2078600 memory=113748 CPUtime=341.34 cores=5,7
/proc/114348/stat : 114348 (pb_picat) R 114345 114348 111409 0 -1 4194304 54610 0 0 0 34112 22 0 0 20 0 1 0 139695937 2128486400 28437 18446744073709551615 94045327994880 94045329396461 140727593108336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94045329667888 94045331542128 94045338660864 140727593114012 140727593114088 140727593114088 140727593119692 0
/proc/114348/statm: 519650 28437 1728 343 0 516714 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 2078600 KiB
Current children cumulated memory: 113748 KiB

[startup+402.3 s]
/proc/loadavg: 4.74 4.30 4.11 5/250 114369
/proc/meminfo: memFree=127944876/131382112 swapFree=33009904/33010684
[pid=114348] ppid=114345 vsize=2078600 memory=114776 CPUtime=401.16 cores=5,7
/proc/114348/stat : 114348 (pb_picat) R 114345 114348 111409 0 -1 4194304 56766 0 0 0 40093 23 0 0 20 0 1 0 139695937 2128486400 28694 18446744073709551615 94045327994880 94045329396461 140727593108336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94045329667888 94045331542128 94045338660864 140727593114012 140727593114088 140727593114088 140727593119692 0
/proc/114348/statm: 519650 28694 1728 343 0 516714 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 2078600 KiB
Current children cumulated memory: 114776 KiB

[startup+462.3 s]
/proc/loadavg: 4.30 4.26 4.10 5/250 114371
/proc/meminfo: memFree=127926280/131382112 swapFree=33009904/33010684
[pid=114348] ppid=114345 vsize=2070408 memory=106116 CPUtime=460.96 cores=5,7
/proc/114348/stat : 114348 (pb_picat) R 114345 114348 111409 0 -1 4194304 62615 0 0 0 46070 26 0 0 20 0 1 0 139695937 2120097792 26529 18446744073709551615 94045327994880 94045329396461 140727593108336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94045329667888 94045331542128 94045338660864 140727593114012 140727593114088 140727593114088 140727593119692 0
/proc/114348/statm: 517602 26529 1728 343 0 514666 0
Current children cumulated CPU time: 460.96 s

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

/proc/loadavg: 4.23 4.24 4.10 5/251 114374
/proc/meminfo: memFree=128095160/131382112 swapFree=33009904/33010684
[pid=114348] ppid=114345 vsize=2078600 memory=111748 CPUtime=520.76 cores=5,7
/proc/114348/stat : 114348 (pb_picat) R 114345 114348 111409 0 -1 4194304 68036 0 0 0 52048 28 0 0 20 0 1 0 139695937 2128486400 27937 18446744073709551615 94045327994880 94045329396461 140727593108336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94045329667888 94045331542128 94045338660864 140727593114012 140727593114088 140727593114088 140727593119692 0
/proc/114348/statm: 519650 27937 1728 343 0 516714 0
Current children cumulated CPU time: 520.76 s
Current children cumulated vsize: 2078600 KiB
Current children cumulated memory: 111748 KiB

[startup+582.3 s]
/proc/loadavg: 4.19 4.22 4.10 5/251 114376
/proc/meminfo: memFree=127923224/131382112 swapFree=33009904/33010684
[pid=114348] ppid=114345 vsize=2078596 memory=105144 CPUtime=580.56 cores=5,7
/proc/114348/stat : 114348 (pb_picat) R 114345 114348 111409 0 -1 4194304 71689 0 0 0 58027 29 0 0 20 0 1 0 139695937 2128482304 26286 18446744073709551615 94045327994880 94045329396461 140727593108336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94045329667888 94045331542128 94045338660864 140727593114012 140727593114088 140727593114088 140727593119692 0
/proc/114348/statm: 519649 26286 1728 343 0 516713 0
Current children cumulated CPU time: 580.56 s
Current children cumulated vsize: 2078596 KiB
Current children cumulated memory: 105144 KiB

[startup+642.3 s]
/proc/loadavg: 4.13 4.20 4.10 5/251 114378
/proc/meminfo: memFree=128146464/131382112 swapFree=33009904/33010684
[pid=114348] ppid=114345 vsize=2068296 memory=97368 CPUtime=640.37 cores=5,7
/proc/114348/stat : 114348 (pb_picat) R 114345 114348 111409 0 -1 4194304 75079 0 0 0 64005 32 0 0 20 0 1 0 139695937 2117935104 24342 18446744073709551615 94045327994880 94045329396461 140727593108336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94045329667888 94045331542128 94045338660864 140727593114012 140727593114088 140727593114088 140727593119692 0
/proc/114348/statm: 517074 24342 1728 343 0 514138 0
Current children cumulated CPU time: 640.37 s
Current children cumulated vsize: 2068296 KiB
Current children cumulated memory: 97368 KiB

[startup+702.3 s]
/proc/loadavg: 4.12 4.18 4.09 5/251 114379
/proc/meminfo: memFree=128019060/131382112 swapFree=33009904/33010684
[pid=114348] ppid=114345 vsize=2068296 memory=103620 CPUtime=700.16 cores=5,7
/proc/114348/stat : 114348 (pb_picat) R 114345 114348 111409 0 -1 4194304 81189 0 0 0 69982 34 0 0 20 0 1 0 139695937 2117935104 25905 18446744073709551615 94045327994880 94045329396461 140727593108336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94045329667888 94045331542128 94045338660864 140727593114012 140727593114088 140727593114088 140727593119692 0
/proc/114348/statm: 517074 25905 1728 343 0 514138 0
Current children cumulated CPU time: 700.16 s
Current children cumulated vsize: 2068296 KiB
Current children cumulated memory: 103620 KiB

[startup+762.3 s]
/proc/loadavg: 4.11 4.16 4.09 5/251 114426
/proc/meminfo: memFree=128026420/131382112 swapFree=33009904/33010684
[pid=114348] ppid=114345 vsize=2068296 memory=104092 CPUtime=759.97 cores=5,7
/proc/114348/stat : 114348 (pb_picat) R 114345 114348 111409 0 -1 4194304 82070 0 0 0 75962 35 0 0 20 0 1 0 139695937 2117935104 26023 18446744073709551615 94045327994880 94045329396461 140727593108336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94045329667888 94045331542128 94045338660864 140727593114012 140727593114088 140727593114088 140727593119692 0
/proc/114348/statm: 517074 26023 1728 343 0 514138 0
Current children cumulated CPU time: 759.97 s
Current children cumulated vsize: 2068296 KiB
Current children cumulated memory: 104092 KiB

[startup+822.3 s]
/proc/loadavg: 4.09 4.14 4.09 5/250 114432
/proc/meminfo: memFree=128032356/131382112 swapFree=33009904/33010684
[pid=114348] ppid=114345 vsize=2068296 memory=99484 CPUtime=819.78 cores=5,7
/proc/114348/stat : 114348 (pb_picat) R 114345 114348 111409 0 -1 4194304 82696 0 0 0 81942 36 0 0 20 0 1 0 139695937 2117935104 24871 18446744073709551615 94045327994880 94045329396461 140727593108336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94045329667888 94045331542128 94045338660864 140727593114012 140727593114088 140727593114088 140727593119692 0
/proc/114348/statm: 517074 24871 1728 343 0 514138 0
Current children cumulated CPU time: 819.78 s
Current children cumulated vsize: 2068296 KiB
Current children cumulated memory: 99484 KiB

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

# cumulated CPU time of all completed processes:  user=868.468 s, system=0.392554 s

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

[startup+844.8 s]
/proc/loadavg: 4.13 4.15 4.09 5/250 114433
/proc/meminfo: memFree=128005236/131382112 swapFree=33009904/33010684
[pid=114348] ppid=114345 vsize=2060104 memory=95772 CPUtime=842.2 cores=5,7
/proc/114348/stat : 114348 (pb_picat) R 114345 114348 111409 0 -1 4194304 85321 0 0 0 84183 37 0 0 20 0 1 0 139695937 2109546496 23943 18446744073709551615 94045327994880 94045329396461 140727593108336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94045329667888 94045331542128 94045338660864 140727593114012 140727593114088 140727593114088 140727593119692 0
/proc/114348/statm: 515026 23943 1728 343 0 512090 0
Current children cumulated CPU time: 842.2 s
Current children cumulated vsize: 2060104 KiB
Current children cumulated memory: 95772 KiB

[startup+857.6 s]
/proc/loadavg: 4.10 4.14 4.09 5/250 114433
/proc/meminfo: memFree=128108240/131382112 swapFree=33009904/33010684
[pid=114348] ppid=114345 vsize=2068296 memory=99484 CPUtime=854.96 cores=5,7
/proc/114348/stat : 114348 (pb_picat) R 114345 114348 111409 0 -1 4194304 86374 0 0 0 85458 38 0 0 20 0 1 0 139695937 2117935104 24871 18446744073709551615 94045327994880 94045329396461 140727593108336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94045329667888 94045331542128 94045338660864 140727593114012 140727593114088 140727593114088 140727593119692 0
/proc/114348/statm: 517074 24871 1728 343 0 514138 0
Current children cumulated CPU time: 854.96 s
Current children cumulated vsize: 2068296 KiB
Current children cumulated memory: 99484 KiB

[startup+864 s]*
/proc/loadavg: 4.10 4.14 4.09 5/250 114433
/proc/meminfo: memFree=128009748/131382112 swapFree=33009904/33010684
[pid=114348] ppid=114345 vsize=2068296 memory=99484 CPUtime=861.35 cores=5,7
/proc/114348/stat : 114348 (pb_picat) R 114345 114348 111409 0 -1 4194304 86374 0 0 0 86097 38 0 0 20 0 1 0 139695937 2117935104 24871 18446744073709551615 94045327994880 94045329396461 140727593108336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94045329667888 94045331542128 94045338660864 140727593114012 140727593114088 140727593114088 140727593119692 0
/proc/114348/statm: 517074 24871 1728 343 0 514138 0
Current children cumulated CPU time: 861.35 s
Current children cumulated vsize: 2068296 KiB
Current children cumulated memory: 99484 KiB

[startup+867.2 s]
/proc/loadavg: 4.09 4.14 4.09 5/250 114433
/proc/meminfo: memFree=127980320/131382112 swapFree=33009904/33010684
[pid=114348] ppid=114345 vsize=2068296 memory=99484 CPUtime=864.53 cores=5,7
/proc/114348/stat : 114348 (pb_picat) R 114345 114348 111409 0 -1 4194304 86374 0 0 0 86415 38 0 0 20 0 1 0 139695937 2117935104 24871 18446744073709551615 94045327994880 94045329396461 140727593108336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94045329667888 94045331542128 94045338660864 140727593114012 140727593114088 140727593114088 140727593119692 0
/proc/114348/statm: 517074 24871 1728 343 0 514138 0
Current children cumulated CPU time: 864.53 s
Current children cumulated vsize: 2068296 KiB
Current children cumulated memory: 99484 KiB

[startup+868.8 s]
/proc/loadavg: 4.09 4.14 4.09 5/250 114436
/proc/meminfo: memFree=127976224/131382112 swapFree=33009904/33010684
[pid=114348] ppid=114345 vsize=2068296 memory=99484 CPUtime=866.12 cores=5,7
/proc/114348/stat : 114348 (pb_picat) R 114345 114348 111409 0 -1 4194304 86374 0 0 0 86574 38 0 0 20 0 1 0 139695937 2117935104 24871 18446744073709551615 94045327994880 94045329396461 140727593108336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94045329667888 94045331542128 94045338660864 140727593114012 140727593114088 140727593114088 140727593119692 0
/proc/114348/statm: 517074 24871 1728 343 0 514138 0
Current children cumulated CPU time: 866.12 s
Current children cumulated vsize: 2068296 KiB
Current children cumulated memory: 99484 KiB

[startup+870.4 s]
/proc/loadavg: 4.09 4.14 4.09 5/250 114436
/proc/meminfo: memFree=128002856/131382112 swapFree=33009904/33010684
[pid=114348] ppid=114345 vsize=2068296 memory=99484 CPUtime=867.72 cores=5,7
/proc/114348/stat : 114348 (pb_picat) R 114345 114348 111409 0 -1 4194304 86374 0 0 0 86734 38 0 0 20 0 1 0 139695937 2117935104 24871 18446744073709551615 94045327994880 94045329396461 140727593108336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94045329667888 94045331542128 94045338660864 140727593114012 140727593114088 140727593114088 140727593119692 0
/proc/114348/statm: 517074 24871 1728 343 0 514138 0
Current children cumulated CPU time: 867.72 s
Current children cumulated vsize: 2068296 KiB
Current children cumulated memory: 99484 KiB

[startup+871.2 s]
/proc/loadavg: 4.08 4.13 4.09 5/250 114436
/proc/meminfo: memFree=127986220/131382112 swapFree=33009904/33010684
[pid=114348] ppid=114345 vsize=2068296 memory=99484 CPUtime=868.52 cores=5,7
/proc/114348/stat : 114348 (pb_picat) R 114345 114348 111409 0 -1 4194304 86374 0 0 0 86814 38 0 0 20 0 1 0 139695937 2117935104 24871 18446744073709551615 94045327994880 94045329396461 140727593108336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94045329667888 94045331542128 94045338660864 140727593114012 140727593114088 140727593114088 140727593119692 0
/proc/114348/statm: 517074 24871 1728 343 0 514138 0
Current children cumulated CPU time: 868.52 s
Current children cumulated vsize: 2068296 KiB
Current children cumulated memory: 99484 KiB

[startup+871.4 s]
/proc/loadavg: 4.08 4.13 4.09 5/250 114436
/proc/meminfo: memFree=127986220/131382112 swapFree=33009904/33010684
[pid=114348] ppid=114345 vsize=2068296 memory=99484 CPUtime=868.72 cores=5,7
/proc/114348/stat : 114348 (pb_picat) R 114345 114348 111409 0 -1 4194304 86374 0 0 0 86834 38 0 0 20 0 1 0 139695937 2117935104 24871 18446744073709551615 94045327994880 94045329396461 140727593108336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94045329667888 94045331542128 94045338660864 140727593114012 140727593114088 140727593114088 140727593119692 0
/proc/114348/statm: 517074 24871 1728 343 0 514138 0
Current children cumulated CPU time: 868.72 s
Current children cumulated vsize: 2068296 KiB
Current children cumulated memory: 99484 KiB

[startup+871.5 s]
/proc/loadavg: 4.08 4.13 4.09 5/250 114436
/proc/meminfo: memFree=127986220/131382112 swapFree=33009904/33010684
[pid=114348] ppid=114345 vsize=2068296 memory=99484 CPUtime=868.82 cores=5,7
/proc/114348/stat : 114348 (pb_picat) R 114345 114348 111409 0 -1 4194304 86374 0 0 0 86844 38 0 0 20 0 1 0 139695937 2117935104 24871 18446744073709551615 94045327994880 94045329396461 140727593108336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94045329667888 94045331542128 94045338660864 140727593114012 140727593114088 140727593114088 140727593119692 0
/proc/114348/statm: 517074 24871 1728 343 0 514138 0
Current children cumulated CPU time: 868.82 s
Current children cumulated vsize: 2068296 KiB
Current children cumulated memory: 99484 KiB

Child status: 0

Real time (s): 871.535
CPU time (s): 868.861
CPU user time (s): 868.468
CPU system time (s): 0.392554
CPU usage (%): 99.6931
Max. virtual memory (cumulated for all children) (KiB): 2111368
Max. memory (cumulated for all children) (KiB): 126036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 868.468
system time used= 0.392554
maximum resident set size= 128084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86399
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= 67
involuntary context switches= 724


# summary of solver processes directly reported to runsolver:
#   pid: 114348
#   total CPU time (s): 868.861
#   total CPU user time (s): 868.468
#   total CPU system time (s): 0.392554

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.17809 second user time and 8.70739 second system time

The end

Begin job on nodeC001 at 2025-07-11 15:22:51
IDJOB=4528393
IDBENCH=148193
IDSOLVER=3385
FILE ID=nodeC001/4528393-1752240170
RUNJOBID= nodeC001-1752238731-113184
SLURM_JOB_ID= 9682512
Free space on /tmp= 432496 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528393-1752240170/watcher-4528393-1752240170 -o /tmp/evaluation-result-4528393-1752240170/solver-4528393-1752240170 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1752238731-113184 --watchdog 3760  pb_picat HOME/instance-4528393-1752240170.opb

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

MD5SUM BENCH= a7d8f923a6cdb36d5c6f2d05cbd48ec7
RANDOM SEED=357569166

nodeC001 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3591.510
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.49
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		: 3662.121
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.49
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.169
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.49
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.063
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.49
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		: 3591.500
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.49
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		: 3491.745
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.49
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.553
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.49
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.162
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        128202360 kB
MemAvailable:   129722008 kB
Buffers:            1668 kB
Cached:          2301568 kB
SwapCached:          128 kB
Active:           534736 kB
Inactive:        2051908 kB
Active(anon):     273348 kB
Inactive(anon):    27836 kB
Active(file):     261388 kB
Inactive(file):  2024072 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4556 kB
Writeback:             0 kB
AnonPages:        285616 kB
Mapped:           115468 kB
Shmem:             17776 kB
KReclaimable:     147248 kB
Slab:             235632 kB
SReclaimable:     147248 kB
SUnreclaim:        88384 kB
KernelStack:        4048 kB
PageTables:         3608 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    6655036 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149400 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      195400 kB
DirectMap2M:     9144320 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432492 MiB
End job on nodeC001 at 2025-07-11 15:37:22