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

OK	20

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (61802 MiB free)
  memory of node 1: 64473 MiB (61793 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436363-1721109155/watcher-4436363-1721109155 -o /tmp/evaluation-result-4436363-1721109155/solver-4436363-1721109155 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721105558-879435 --watchdog 3760 pb_picat HOME/instance-4436363-1721109155.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=881807, runsolver pid=881804

[startup+0.100095 s]*
/proc/loadavg: 4.31 4.22 4.19 5/258 881808
/proc/meminfo: memFree=126534004/131524600 swapFree=131071996/131071996
[pid=881807] ppid=881804 vsize=2033608 memory=36492 CPUtime=0.09 cores=5,7
/proc/881807/stat : 881807 (pb_picat) R 881804 881807 879422 0 -1 4194304 1141 0 0 0 9 0 0 0 20 0 1 0 163083601 2082414592 9123 134679101440 4194304 5989780 140735631054032 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 16138240 140735631062041 140735631062117 140735631062117 140735631069132 0
/proc/881807/statm: 508402 9123 1506 439 0 503831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 36492 KiB

[startup+0.205706 s]*
/proc/loadavg: 4.31 4.22 4.19 5/258 881808
/proc/meminfo: memFree=126513776/131524600 swapFree=131071996/131071996
[pid=881807] ppid=881804 vsize=2044012 memory=56008 CPUtime=0.2 cores=5,7
/proc/881807/stat : 881807 (pb_picat) R 881804 881807 879422 0 -1 4194304 1747 0 0 0 20 0 0 0 20 0 1 0 163083601 2093068288 14002 134679101440 4194304 5989780 140735631054032 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 16138240 140735631062041 140735631062117 140735631062117 140735631069132 0
/proc/881807/statm: 511003 14002 1728 439 0 506432 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2044012 KiB
Current children cumulated memory: 56008 KiB

[startup+0.305621 s]*
/proc/loadavg: 4.31 4.22 4.19 5/258 881808
/proc/meminfo: memFree=126509268/131524600 swapFree=131071996/131071996
[pid=881807] ppid=881804 vsize=2049772 memory=59640 CPUtime=0.3 cores=5,7
/proc/881807/stat : 881807 (pb_picat) R 881804 881807 879422 0 -1 4194304 3182 0 0 0 29 1 0 0 20 0 1 0 163083601 2098966528 14910 134679101440 4194304 5989780 140735631054032 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 16138240 140735631062041 140735631062117 140735631062117 140735631069132 0
/proc/881807/statm: 512443 14910 1744 439 0 507872 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2049772 KiB
Current children cumulated memory: 59640 KiB

[startup+0.70023 s]
/proc/loadavg: 4.31 4.22 4.19 5/258 881808
/proc/meminfo: memFree=126508400/131524600 swapFree=131071996/131071996
[pid=881807] ppid=881804 vsize=2052780 memory=64500 CPUtime=0.69 cores=5,7
/proc/881807/stat : 881807 (pb_picat) R 881804 881807 879422 0 -1 4194304 5670 0 0 0 68 1 0 0 20 0 1 0 163083601 2102046720 16125 134679101440 4194304 5989780 140735631054032 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 16138240 140735631062041 140735631062117 140735631062117 140735631069132 0
/proc/881807/statm: 513195 16125 1744 439 0 508624 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2052780 KiB
Current children cumulated memory: 64500 KiB

[startup+1.50023 s]
/proc/loadavg: 4.31 4.22 4.19 5/258 881808
/proc/meminfo: memFree=126503636/131524600 swapFree=131071996/131071996
[pid=881807] ppid=881804 vsize=2052780 memory=64324 CPUtime=1.48 cores=5,7
/proc/881807/stat : 881807 (pb_picat) R 881804 881807 879422 0 -1 4194304 7239 0 0 0 147 1 0 0 20 0 1 0 163083601 2102046720 16081 134679101440 4194304 5989780 140735631054032 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 16138240 140735631062041 140735631062117 140735631062117 140735631069132 0
/proc/881807/statm: 513195 16081 1744 439 0 508624 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2052780 KiB
Current children cumulated memory: 64324 KiB

[startup+3.10552 s]
/proc/loadavg: 4.31 4.22 4.19 5/258 881854
/proc/meminfo: memFree=126779568/131524600 swapFree=131071996/131071996
[pid=881807] ppid=881804 vsize=2055188 memory=65968 CPUtime=3.08 cores=5,7
/proc/881807/stat : 881807 (pb_picat) R 881804 881807 879422 0 -1 4194304 10020 0 0 0 306 2 0 0 20 0 1 0 163083601 2104512512 16492 134679101440 4194304 5989780 140735631054032 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 16138240 140735631062041 140735631062117 140735631062117 140735631069132 0
/proc/881807/statm: 513797 16492 1744 439 0 509226 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2055188 KiB
Current children cumulated memory: 65968 KiB

[startup+6.30022 s]
/proc/loadavg: 4.28 4.22 4.18 5/258 881856
/proc/meminfo: memFree=126564816/131524600 swapFree=131071996/131071996
[pid=881807] ppid=881804 vsize=2055188 memory=66992 CPUtime=6.27 cores=5,7
/proc/881807/stat : 881807 (pb_picat) R 881804 881807 879422 0 -1 4194304 10240 0 0 0 625 2 0 0 20 0 1 0 163083601 2104512512 16748 134679101440 4194304 5989780 140735631054032 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 16138240 140735631062041 140735631062117 140735631062117 140735631069132 0
/proc/881807/statm: 513797 16748 1744 439 0 509226 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2055188 KiB
Current children cumulated memory: 66992 KiB

[startup+12.7002 s]
/proc/loadavg: 4.26 4.22 4.18 5/258 881856
/proc/meminfo: memFree=126584036/131524600 swapFree=131071996/131071996
[pid=881807] ppid=881804 vsize=2058340 memory=66188 CPUtime=12.65 cores=5,7
/proc/881807/stat : 881807 (pb_picat) R 881804 881807 879422 0 -1 4194304 11734 0 0 0 1263 2 0 0 20 0 1 0 163083601 2107740160 16547 134679101440 4194304 5989780 140735631054032 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 16138240 140735631062041 140735631062117 140735631062117 140735631069132 0
/proc/881807/statm: 514585 16547 1744 439 0 510014 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2058340 KiB
Current children cumulated memory: 66188 KiB

[startup+25.5002 s]
/proc/loadavg: 4.22 4.21 4.18 5/258 881857
/proc/meminfo: memFree=126528788/131524600 swapFree=131071996/131071996
[pid=881807] ppid=881804 vsize=2062612 memory=71212 CPUtime=25.43 cores=5,7
/proc/881807/stat : 881807 (pb_picat) R 881804 881807 879422 0 -1 4194304 13256 0 0 0 2540 3 0 0 20 0 1 0 163083601 2112114688 17803 134679101440 4194304 5989780 140735631054032 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 16138240 140735631062041 140735631062117 140735631062117 140735631069132 0
/proc/881807/statm: 515653 17803 1744 439 0 511082 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2062612 KiB
Current children cumulated memory: 71212 KiB

[startup+51.1055 s]
/proc/loadavg: 4.20 4.20 4.18 5/258 881864
/proc/meminfo: memFree=126540868/131524600 swapFree=131071996/131071996
[pid=881807] ppid=881804 vsize=2062612 memory=71432 CPUtime=50.96 cores=5,7
/proc/881807/stat : 881807 (pb_picat) R 881804 881807 879422 0 -1 4194304 13266 0 0 0 5093 3 0 0 20 0 1 0 163083601 2112114688 17858 134679101440 4194304 5989780 140735631054032 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 16138240 140735631062041 140735631062117 140735631062117 140735631069132 0
/proc/881807/statm: 515653 17858 1744 439 0 511082 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2062612 KiB
Current children cumulated memory: 71432 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.19 4.18 5/258 881873
/proc/meminfo: memFree=126502592/131524600 swapFree=131071996/131071996
[pid=881807] ppid=881804 vsize=2064568 memory=74000 CPUtime=102.01 cores=5,7
/proc/881807/stat : 881807 (pb_picat) R 881804 881807 879422 0 -1 4194304 27494 0 0 0 10193 8 0 0 20 0 1 0 163083601 2114117632 18500 134679101440 4194304 5989780 140735631054032 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 16138240 140735631062041 140735631062117 140735631062117 140735631069132 0
/proc/881807/statm: 516142 18500 1744 439 0 511571 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 2064568 KiB
Current children cumulated memory: 74000 KiB

[startup+162.3 s]
/proc/loadavg: 4.26 4.21 4.19 5/260 882270
/proc/meminfo: memFree=126567196/131524600 swapFree=131071996/131071996
[pid=881807] ppid=881804 vsize=2072760 memory=81576 CPUtime=161.85 cores=5,7
/proc/881807/stat : 881807 (pb_picat) R 881804 881807 879422 0 -1 4194304 34593 0 0 0 16174 11 0 0 20 0 1 0 163083601 2122506240 20394 134679101440 4194304 5989780 140735631054032 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 16138240 140735631062041 140735631062117 140735631062117 140735631069132 0
/proc/881807/statm: 518190 20394 1744 439 0 513619 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 2072760 KiB
Current children cumulated memory: 81576 KiB

[startup+222.3 s]
/proc/loadavg: 4.20 4.20 4.18 5/257 882280
/proc/meminfo: memFree=126566940/131524600 swapFree=131071996/131071996
[pid=881807] ppid=881804 vsize=2064568 memory=76488 CPUtime=221.7 cores=5,7
/proc/881807/stat : 881807 (pb_picat) R 881804 881807 879422 0 -1 4194304 38546 0 0 0 22156 14 0 0 20 0 1 0 163083601 2114117632 19122 134679101440 4194304 5989780 140735631054032 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 16138240 140735631062041 140735631062117 140735631062117 140735631069132 0
/proc/881807/statm: 516142 19122 1744 439 0 511571 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 2064568 KiB
Current children cumulated memory: 76488 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.18 4.18 5/257 882292
/proc/meminfo: memFree=126590836/131524600 swapFree=131071996/131071996
[pid=881807] ppid=881804 vsize=2072760 memory=77008 CPUtime=281.54 cores=5,7
/proc/881807/stat : 881807 (pb_picat) R 881804 881807 879422 0 -1 4194304 42414 0 0 0 28138 16 0 0 20 0 1 0 163083601 2122506240 19252 134679101440 4194304 5989780 140735631054032 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 16138240 140735631062041 140735631062117 140735631062117 140735631069132 0
/proc/881807/statm: 518190 19252 1744 439 0 513619 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 2072760 KiB
Current children cumulated memory: 77008 KiB

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

# cumulated CPU time of all completed processes:  user=308.461 s, system=0.170536 s

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

[startup+294.4 s]
/proc/loadavg: 4.10 4.17 4.17 5/257 882294
/proc/meminfo: memFree=126591788/131524600 swapFree=131071996/131071996
[pid=881807] ppid=881804 vsize=2072760 memory=79308 CPUtime=293.6 cores=5,7
/proc/881807/stat : 881807 (pb_picat) R 881804 881807 879422 0 -1 4194304 42537 0 0 0 29344 16 0 0 20 0 1 0 163083601 2122506240 19827 134679101440 4194304 5989780 140735631054032 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 16138240 140735631062041 140735631062117 140735631062117 140735631069132 0
/proc/881807/statm: 518190 19827 1744 439 0 513619 0
Current children cumulated CPU time: 293.6 s
Current children cumulated vsize: 2072760 KiB
Current children cumulated memory: 79308 KiB

[startup+300.8 s]
/proc/loadavg: 4.10 4.17 4.17 5/257 882295
/proc/meminfo: memFree=126579908/131524600 swapFree=131071996/131071996
[pid=881807] ppid=881804 vsize=2072760 memory=79308 CPUtime=299.98 cores=5,7
/proc/881807/stat : 881807 (pb_picat) R 881804 881807 879422 0 -1 4194304 42542 0 0 0 29982 16 0 0 20 0 1 0 163083601 2122506240 19827 134679101440 4194304 5989780 140735631054032 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 16138240 140735631062041 140735631062117 140735631062117 140735631069132 0
/proc/881807/statm: 518190 19827 1744 439 0 513619 0
Current children cumulated CPU time: 299.98 s
Current children cumulated vsize: 2072760 KiB
Current children cumulated memory: 79308 KiB

[startup+304 s]*
/proc/loadavg: 4.17 4.18 4.18 5/257 882296
/proc/meminfo: memFree=126591632/131524600 swapFree=131071996/131071996
[pid=881807] ppid=881804 vsize=2072760 memory=79308 CPUtime=303.18 cores=5,7
/proc/881807/stat : 881807 (pb_picat) R 881804 881807 879422 0 -1 4194304 42542 0 0 0 30302 16 0 0 20 0 1 0 163083601 2122506240 19827 134679101440 4194304 5989780 140735631054032 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 16138240 140735631062041 140735631062117 140735631062117 140735631069132 0
/proc/881807/statm: 518190 19827 1744 439 0 513619 0
Current children cumulated CPU time: 303.18 s
Current children cumulated vsize: 2072760 KiB
Current children cumulated memory: 79308 KiB

[startup+307.2 s]
/proc/loadavg: 4.15 4.18 4.18 5/257 882298
/proc/meminfo: memFree=126588052/131524600 swapFree=131071996/131071996
[pid=881807] ppid=881804 vsize=2072760 memory=79308 CPUtime=306.37 cores=5,7
/proc/881807/stat : 881807 (pb_picat) R 881804 881807 879422 0 -1 4194304 42542 0 0 0 30621 16 0 0 20 0 1 0 163083601 2122506240 19827 134679101440 4194304 5989780 140735631054032 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 16138240 140735631062041 140735631062117 140735631062117 140735631069132 0
/proc/881807/statm: 518190 19827 1744 439 0 513619 0
Current children cumulated CPU time: 306.37 s
Current children cumulated vsize: 2072760 KiB
Current children cumulated memory: 79308 KiB

[startup+308.8 s]
/proc/loadavg: 4.15 4.18 4.18 5/257 882298
/proc/meminfo: memFree=126599228/131524600 swapFree=131071996/131071996
[pid=881807] ppid=881804 vsize=2056372 memory=68560 CPUtime=307.96 cores=5,7
/proc/881807/stat : 881807 (pb_picat) R 881804 881807 879422 0 -1 4194304 42559 0 0 0 30780 16 0 0 20 0 1 0 163083601 2105724928 17140 134679101440 4194304 5989780 140735631054032 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 16138240 140735631062041 140735631062117 140735631062117 140735631069132 0
/proc/881807/statm: 514093 17140 1744 439 0 509522 0
Current children cumulated CPU time: 307.96 s
Current children cumulated vsize: 2056372 KiB
Current children cumulated memory: 68560 KiB

[startup+309.2 s]
/proc/loadavg: 4.15 4.18 4.18 5/257 882298
/proc/meminfo: memFree=126597100/131524600 swapFree=131071996/131071996
[pid=881807] ppid=881804 vsize=2056372 memory=68560 CPUtime=308.36 cores=5,7
/proc/881807/stat : 881807 (pb_picat) R 881804 881807 879422 0 -1 4194304 42559 0 0 0 30820 16 0 0 20 0 1 0 163083601 2105724928 17140 134679101440 4194304 5989780 140735631054032 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 16138240 140735631062041 140735631062117 140735631062117 140735631069132 0
/proc/881807/statm: 514093 17140 1744 439 0 509522 0
Current children cumulated CPU time: 308.36 s
Current children cumulated vsize: 2056372 KiB
Current children cumulated memory: 68560 KiB

[startup+309.4 s]
/proc/loadavg: 4.15 4.18 4.18 5/257 882298
/proc/meminfo: memFree=126597100/131524600 swapFree=131071996/131071996
[pid=881807] ppid=881804 vsize=2056372 memory=68560 CPUtime=308.56 cores=5,7
/proc/881807/stat : 881807 (pb_picat) R 881804 881807 879422 0 -1 4194304 42559 0 0 0 30840 16 0 0 20 0 1 0 163083601 2105724928 17140 134679101440 4194304 5989780 140735631054032 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 16138240 140735631062041 140735631062117 140735631062117 140735631069132 0
/proc/881807/statm: 514093 17140 1744 439 0 509522 0
Current children cumulated CPU time: 308.56 s
Current children cumulated vsize: 2056372 KiB
Current children cumulated memory: 68560 KiB

Child status: 0

Real time (s): 309.463
CPU time (s): 308.631
CPU user time (s): 308.461
CPU system time (s): 0.170536
CPU usage (%): 99.7312
Max. virtual memory (cumulated for all children) (KiB): 2079000
Max. memory (cumulated for all children) (KiB): 83624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 308.461
system time used= 0.170536
maximum resident set size= 83624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42562
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 283


# summary of solver processes directly reported to runsolver:
#   pid: 881807
#   total CPU time (s): 308.631
#   total CPU user time (s): 308.461
#   total CPU system time (s): 0.170536

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.575854 second user time and 1.48018 second system time

The end

Begin job on nodeC030 at 2024-07-16 07:52:48
IDJOB=4436363
IDBENCH=148185
IDSOLVER=3068
FILE ID=nodeC030/4436363-1721109155
RUNJOBID= nodeC030-1721105558-879435
SLURM_JOB_ID= 7505632
Free space on /tmp= 890052 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436363-1721109155/watcher-4436363-1721109155 -o /tmp/evaluation-result-4436363-1721109155/solver-4436363-1721109155 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721105558-879435 --watchdog 3760  pb_picat HOME/instance-4436363-1721109155.opb

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

MD5SUM BENCH= 9def910af6a1ee27abcf25feff61a445
RANDOM SEED=1163185988

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126563264 kB
MemAvailable:   127957032 kB
Buffers:          387872 kB
Cached:          1831608 kB
SwapCached:            0 kB
Active:           926784 kB
Inactive:        3412752 kB
Active(anon):       1540 kB
Inactive(anon):  2156212 kB
Active(file):     925244 kB
Inactive(file):  1256540 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4196 kB
Writeback:             0 kB
AnonPages:       2114156 kB
Mapped:           114320 kB
Shmem:             37720 kB
KReclaimable:     103612 kB
Slab:             210792 kB
SReclaimable:     103612 kB
SUnreclaim:       107180 kB
KernelStack:        4160 kB
PageTables:        13556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7514988 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            63200 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1857536 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      234196 kB
DirectMap2M:    18413568 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 890044 MiB
End job on nodeC030 at 2024-07-16 07:57:58