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