0.00/0.00 c solving HOME/instance-4494341-1751153592.opb (Picat 3.9b6)
80.69/81.00 s SATISFIABLE
80.69/81.00 v ~x2775 ~x4465 ~x1706 ~x3619 ~x860 x2776 ~x4466 ~x1707 ~x3620 ~x861
80.69/81.00 v ~x2777 ~x4467 ~x1708 ~x3621 ~x862 ~x2778 ~x4468 ~x1709 ~x3622 ~x863
80.69/81.00 v ~x2779 ~x4469 ~x1710 ~x3623 ~x864 ~x2780 ~x4470 ~x1711 ~x3624 ~x865
80.69/81.00 v ~x2781 ~x4471 ~x1712 ~x3625 ~x866 ~x2782 ~x4472 ~x1713 ~x3626 ~x867
80.69/81.00 v ~x2783 ~x4473 ~x1714 ~x3627 ~x868 ~x2784 ~x4474 ~x1715 ~x3628 ~x869
80.69/81.00 v ~x2785 ~x4475 ~x1716 ~x3629 ~x870 ~x2786 ~x4476 ~x1717 ~x3630 ~x871
80.69/81.00 v ~x2787 ~x4477 ~x1718 ~x3631 ~x872 ~x2788 ~x4478 ~x1719 ~x3632 ~x873
80.69/81.00 v ~x2789 ~x4479 ~x1720 ~x3633 x874 ~x2790 ~x4480 ~x1721 ~x3634 ~x875
80.69/81.00 v ~x2791 ~x4481 ~x1722 ~x3635 ~x876 ~x2792 ~x4482 ~x1723 ~x3636 ~x877
80.69/81.00 v ~x2793 ~x4483 ~x1724 ~x3637 ~x878 ~x2794 ~x4484 ~x1725 ~x3638 ~x879
80.69/81.00 v ~x2795 ~x4485 ~x1726 ~x3639 ~x880 ~x2796 ~x4486 ~x1727 ~x3640 ~x881
80.69/81.00 v ~x2797 ~x4487 ~x1728 ~x3641 ~x882 ~x2798 ~x4488 ~x1729 ~x3642 ~x883
80.69/81.00 v ~x2799 ~x4489 ~x1730 ~x3643 ~x884 ~x2800 ~x4490 ~x1731 ~x3644 ~x885
80.69/81.00 v ~x2801 ~x4491 ~x1732 ~x3645 ~x886 ~x2802 ~x4492 ~x1733 ~x3646 ~x887
80.69/81.00 v ~x2803 ~x4493 ~x1734 ~x3647 ~x888 ~x2804 ~x4494 x1735 ~x3648 ~x889
80.69/81.00 v ~x2805 ~x4495 ~x1736 ~x3649 ~x890 ~x2806 ~x4496 ~x1737 ~x3650 ~x891
80.69/81.00 v ~x2807 ~x4497 ~x1738 ~x3651 ~x892 x2808 ~x4498 ~x1739 ~x3652 ~x893
80.69/81.00 v ~x2809 ~x4499 ~x1740 ~x3653 ~x894 ~x2810 ~x4500 ~x1741 ~x3654 ~x895
80.69/81.00 v ~x2811 ~x51 ~x1742 ~x3655 ~x896 ~x2812 ~x52 ~x1743 ~x3656 ~x897
80.69/81.00 v ~x2813 ~x53 ~x1744 ~x3657 ~x898 ~x2814 ~x54 ~x1745 ~x3658 ~x899
80.69/81.00 v ~x2815 ~x55 ~x1746 ~x3659 ~x900 ~x2816 ~x56 ~x1747 ~x3660 ~x901
80.69/81.00 v ~x2817 ~x57 ~x1748 ~x3661 ~x902 ~x2818 ~x58 ~x1749 ~x3662 ~x903
80.69/81.00 v ~x2819 ~x59 ~x1750 ~x3663 ~x904 ~x2820 ~x60 ~x1751 ~x3664 ~x905
80.69/81.00 v ~x2821 ~x61 ~x1752 ~x3665 ~x906 ~x2822 ~x62 ~x1753 ~x3666 ~x907
80.69/81.00 v ~x2823 ~x63 ~x1754 ~x3667 ~x908 ~x2824 ~x64 ~x1755 ~x3668 ~x909
80.69/81.00 v ~x2825 ~x65 ~x1756 ~x3669 ~x910 ~x2826 ~x66 ~x1757 ~x3670 ~x911
80.69/81.00 v ~x2827 ~x67 ~x1758 ~x3671 ~x912 ~x2828 ~x68 ~x1759 ~x3672 ~x913
80.69/81.00 v ~x2829 ~x69 ~x1760 ~x3673 ~x914 ~x2830 ~x70 ~x1761 ~x3674 ~x915
80.69/81.00 v ~x2831 ~x71 ~x1762 ~x3675 x916 ~x2832 ~x72 ~x1763 ~x3676 ~x917
80.69/81.00 v ~x2833 ~x73 ~x1764 ~x3677 ~x918 ~x2834 ~x74 ~x1765 ~x3678 ~x919
80.69/81.00 v ~x2835 ~x75 ~x1766 ~x3679 ~x920 ~x2836 ~x76 ~x1767 ~x3680 ~x921
80.69/81.00 v ~x2837 ~x77 ~x1768 ~x3681 ~x922 ~x2838 ~x78 ~x1769 ~x3682 ~x923
80.69/81.00 v ~x2839 ~x79 ~x1770 ~x3683 ~x924 ~x2840 ~x80 ~x1771 ~x3684 ~x925
80.69/81.00 v ~x2841 ~x81 ~x1772 ~x3685 ~x926 ~x2842 ~x82 x1773 ~x3686 ~x927
80.69/81.00 v ~x2843 ~x83 ~x1774 ~x3687 ~x928 ~x2844 ~x84 ~x1775 ~x3688 ~x929
80.69/81.00 v ~x2845 ~x85 ~x1776 ~x3689 ~x930 ~x2846 ~x86 ~x1777 ~x3690 ~x931
80.69/81.00 v ~x2847 ~x87 ~x1778 ~x3691 ~x932 ~x2848 ~x88 ~x1779 ~x3692 ~x933
80.69/81.00 v ~x2849 ~x89 ~x1780 ~x3693 ~x934 ~x2850 ~x90 ~x1781 ~x3694 ~x935
80.69/81.00 v ~x2851 ~x91 ~x1782 ~x3695 ~x936 ~x2852 ~x92 ~x1783 ~x3696 ~x937
80.69/81.00 v ~x2853 ~x93 ~x1784 ~x3697 ~x938 ~x2854 ~x94 ~x1785 ~x3698 ~x939
80.69/81.00 v ~x2855 ~x95 ~x1786 ~x3699 ~x940 ~x2856 ~x96 ~x1787 ~x3700 ~x941
80.69/81.00 v ~x2857 ~x97 ~x1788 ~x3701 ~x942 ~x2858 ~x98 ~x1789 ~x3702 ~x943
80.69/81.00 v ~x2859 x99 ~x1790 ~x3703 ~x944 ~x2860 ~x100 ~x1791 ~x3704 ~x945
80.69/81.00 v ~x2861 ~x101 ~x1792 ~x3705 ~x946 ~x2862 ~x102 ~x1793 ~x3706 ~x947
80.69/81.00 v ~x2863 ~x103 ~x1794 ~x3707 ~x948 ~x2864 ~x104 ~x1795 ~x3708 ~x949
80.69/81.00 v ~x2865 ~x105 ~x1796 ~x3709 ~x950 ~x2866 ~x106 ~x1797 ~x3710 ~x951
80.69/81.00 v ~x2867 ~x107 ~x1798 ~x3711 ~x952 ~x2868 ~x108 ~x1799 ~x3712 ~x953
80.69/81.00 v ~x2869 ~x109 ~x1800 ~x3713 ~x954 ~x2870 ~x110 ~x1801 ~x3714 ~x955
80.69/81.00 v ~x2871 ~x111 ~x1802 ~x3715 ~x956 ~x2872 ~x112 ~x1803 ~x3716 ~x957
80.69/81.00 v ~x2873 ~x113 ~x1804 ~x3717 ~x958 ~x2874 ~x1805 ~x3718 ~x959 ~x2875
80.69/81.00 v ~x1806 ~x3719 ~x960 ~x114 ~x2876 ~x1807 ~x3720 ~x961 ~x115 ~x2877
80.69/81.00 v ~x1808 ~x3721 ~x962 ~x116 ~x2878 ~x1809 ~x3722 ~x963 ~x117 ~x2879
80.69/81.00 v ~x1810 ~x3723 ~x964 ~x118 ~x2880 ~x1811 ~x3724 ~x965 ~x119 ~x2881
80.69/81.00 v ~x1812 ~x3725 ~x966 ~x120 ~x2882 ~x1813 ~x3726 ~x967 ~x121 ~x2883
80.69/81.00 v ~x1814 ~x3727 ~x968 x122 ~x2884 ~x1815 ~x3728 ~x969 ~x123 ~x2885
80.69/81.00 v ~x1816 ~x3729 ~x970 ~x124 ~x2886 ~x1817 ~x3730 ~x971 ~x125 ~x2887
80.69/81.00 v ~x1818 ~x3731 ~x972 ~x126 ~x2888 ~x1819 ~x3732 ~x973 ~x127 ~x2889
80.69/81.00 v ~x1820 ~x3733 ~x974 ~x128 ~x2890 ~x1821 ~x3734 ~x975 ~x129 ~x2891
80.69/81.00 v ~x1822 ~x3735 ~x976 ~x130 ~x2892 ~x1823 ~x3736 ~x977 ~x131 ~x2893
80.69/81.00 v ~x1824 ~x3737 ~x978 ~x132 ~x2894 ~x1825 ~x3738 ~x979 ~x133 ~x2895
80.69/81.00 v ~x1826 ~x3739 ~x980 ~x134 ~x2896 ~x1827 ~x3740 ~x981 ~x135 ~x2897
80.69/81.00 v ~x1828 ~x3741 ~x982 ~x136 ~x2898 ~x1829 ~x3742 ~x983 ~x137 ~x2899
80.69/81.00 v ~x1830 ~x3743 ~x984 ~x138 ~x2900 x1831 ~x3744 ~x985 ~x139 ~x2901
80.69/81.00 v ~x1832 ~x3745 ~x986 ~x140 ~x2902 ~x1833 ~x3746 ~x987 ~x141 ~x2903
80.69/81.00 v ~x1834 ~x3747 ~x988 ~x142 ~x2904 ~x1835 ~x3748 ~x989 ~x143 ~x2905
80.69/81.00 v ~x1836 ~x3749 ~x990 ~x144 ~x2906 ~x1837 ~x3750 ~x991 ~x145 ~x2907
80.69/81.00 v ~x1838 ~x3751 ~x992 ~x146 ~x2908 ~x1839 ~x3752 ~x993 ~x147 ~x2909
80.69/81.00 v ~x1840 ~x3753 ~x994 ~x148 ~x2910 ~x1841 ~x3754 ~x995 ~x149 ~x2911
80.69/81.00 v ~x1842 ~x3755 ~x996 ~x150 ~x2912 ~x1843 ~x3756 x997 ~x151 ~x2913
80.69/81.00 v ~x1844 ~x3757 ~x998 ~x152 ~x2914 ~x1845 ~x3758 ~x999 ~x153 ~x2915
80.69/81.00 v ~x1846 ~x3759 ~x1000 ~x154 ~x2916 ~x1847 ~x3760 ~x1001 ~x155 ~x2917
80.69/81.00 v ~x1848 ~x3761 ~x1002 ~x156 ~x2918 ~x1849 ~x3762 ~x1003 x157 ~x2919
80.69/81.00 v ~x1850 ~x3763 ~x1004 ~x158 ~x2920 ~x1851 ~x3764 ~x1005 ~x159 ~x2921
80.69/81.00 v ~x1852 ~x3765 ~x1006 ~x160 ~x2922 ~x1853 ~x3766 ~x1007 ~x161 ~x2923
80.69/81.00 v ~x1854 ~x3767 ~x1008 ~x162 ~x2924 ~x1855 ~x3768 ~x1009 ~x163 ~x2925
80.69/81.00 v ~x1856 ~x3769 ~x1010 ~x164 ~x2926 ~x1857 ~x3770 ~x1011 ~x165 ~x2927
80.69/81.00 v ~x1858 ~x3771 ~x1012 ~x166 ~x2928 ~x1859 ~x3772 ~x1013 ~x167 ~x2929
80.69/81.00 v ~x1860 ~x3773 ~x1014 ~x168 ~x2930 ~x1861 ~x3774 ~x1015 ~x169 ~x2931
80.69/81.00 v ~x1862 ~x3775 ~x1016 ~x170 ~x2932 ~x1863 ~x3776 ~x1017 ~x171 ~x2933
80.69/81.00 v ~x1864 ~x3777 ~x1018 ~x172 ~x2934 x1865 ~x3778 ~x1019 ~x173 ~x2935
80.69/81.00 v ~x1866 ~x3779 ~x1020 ~x174 ~x2936 ~x1867 ~x3780 ~x1021 ~x175 ~x2937
80.69/81.00 v ~x1868 ~x3781 ~x1022 ~x176 ~x2938 ~x1869 ~x3782 ~x1023 ~x177 ~x2939
80.69/81.00 v ~x1870 ~x3783 ~x1024 ~x178 ~x2940 ~x1871 ~x3784 ~x1025 ~x179 ~x2941
80.69/81.00 v ~x1872 ~x3785 x1026 ~x180 ~x2942 ~x1873 ~x3786 ~x1027 ~x181 ~x2943
80.69/81.00 v ~x1874 ~x3787 ~x1028 ~x182 ~x2944 ~x1875 ~x3788 ~x1029 ~x183 ~x2945
80.69/81.00 v ~x1876 ~x3789 ~x1030 ~x184 ~x2946 ~x1877 ~x3790 ~x1031 ~x185 ~x2947
80.69/81.00 v ~x1878 ~x3791 ~x1032 ~x186 ~x2948 ~x1879 ~x3792 ~x1033 ~x187 ~x2949
80.69/81.00 v ~x1880 ~x3793 ~x1034 ~x188 ~x2950 ~x1881 ~x3794 ~x1035 ~x189 ~x2951
80.69/81.00 v ~x1882 ~x3795 ~x1036 ~x190 ~x2952 ~x1883 ~x3796 ~x1037 ~x191 ~x2953
80.69/81.00 v ~x1884 ~x3797 ~x1038 ~x192 ~x2954 ~x1885 ~x3798 ~x1039 ~x193 ~x2955
80.69/81.00 v ~x1886 ~x3799 ~x1040 ~x194 ~x2956 ~x1887 ~x3800 ~x1041 ~x195 ~x2957
80.69/81.00 v ~x1888 ~x3801 ~x1042 ~x196 ~x2958 ~x1889 ~x3802 ~x1043 ~x197 ~x2959
80.69/81.00 v ~x1890 ~x3803 ~x1044 ~x198 ~x2960 ~x1891 ~x3804 ~x1045 ~x199 ~x2961
80.69/81.00 v ~x1892 ~x3805 ~x1046 ~x200 ~x2962 ~x1893 ~x3806 ~x1047 ~x201 ~x2963
80.69/81.00 v ~x1894 ~x3807 ~x1048 ~x202 ~x2964 ~x1895 ~x3808 ~x1049 ~x203 ~x2965
80.69/81.00 v ~x1896 ~x3809 ~x1050 ~x204 ~x2966 ~x1897 ~x3810 ~x1051 ~x205 ~x2967
80.69/81.00 v ~x1898 ~x3811 ~x1052 ~x206 ~x2968 ~x1899 ~x3812 ~x1053 ~x207 ~x2969
80.69/81.00 v ~x1900 ~x3813 ~x1054 ~x208 ~x2970 ~x1901 ~x3814 ~x1055 ~x209 ~x2971
80.69/81.00 v ~x1902 ~x3815 ~x1056 ~x210 ~x2972 ~x1903 x3816 ~x1057 ~x211 ~x2973
80.69/81.00 v ~x1904 ~x3817 ~x1058 ~x212 ~x1905 ~x3818 ~x1059 ~x213 ~x2974 ~x1906
80.69/81.00 v ~x3819 ~x1060 ~x214 ~x2975 ~x1907 ~x3820 ~x1061 ~x215 ~x2976 ~x1908
80.69/81.00 v ~x3821 x1062 ~x216 ~x2977 ~x1909 ~x3822 ~x1063 ~x217 ~x2978 ~x1910
80.69/81.00 v ~x3823 ~x1064 ~x218 ~x2979 ~x1911 ~x3824 ~x1065 ~x219 ~x2980 ~x1912
80.69/81.00 v ~x3825 ~x1066 ~x220 ~x2981 ~x1913 ~x3826 ~x1067 ~x221 ~x2982 ~x1914
80.69/81.00 v ~x3827 ~x1068 ~x222 ~x2983 ~x1915 ~x3828 ~x1069 ~x223 ~x2984 ~x1916
80.69/81.00 v ~x3829 ~x1070 ~x224 ~x2985 ~x1917 ~x3830 ~x1071 ~x225 ~x2986 ~x1918
80.69/81.00 v ~x3831 ~x1072 ~x226 ~x1919 ~x2987 ~x1073 ~x3832 ~x227 ~x2988 ~x1920
80.69/81.00 v ~x3833 ~x1074 ~x228 ~x2989 ~x1921 ~x3834 ~x1075 ~x229 ~x2990 ~x1922
80.69/81.00 v ~x3835 ~x1076 ~x230 ~x2991 ~x1923 ~x3836 ~x1077 ~x231 ~x2992 ~x1924
80.69/81.00 v ~x3837 ~x1078 ~x232 ~x2993 ~x1925 ~x3838 ~x1079 ~x233 ~x2994 ~x1926
80.69/81.00 v ~x3839 ~x1080 ~x234 ~x2995 ~x1927 ~x3840 ~x1081 ~x235 ~x2996 ~x1928
80.69/81.00 v ~x3841 ~x1082 ~x236 ~x2997 ~x1929 x3842 ~x1083 ~x237 ~x2998 ~x1930
80.69/81.00 v ~x3843 ~x1084 ~x238 ~x2999 ~x1931 ~x3844 ~x1085 ~x239 ~x3000 ~x1932
80.69/81.00 v ~x3845 ~x1086 ~x240 ~x3001 ~x1933 ~x3846 ~x1087 ~x241 ~x3002 ~x1934
80.69/81.00 v ~x3847 ~x1088 x242 ~x3003 ~x1935 ~x3848 ~x1089 ~x243 ~x3004 ~x1936
80.69/81.00 v ~x3849 ~x1090 ~x244 ~x3005 ~x1937 ~x3850 ~x1091 ~x245 ~x3006 x1938
80.69/81.00 v ~x3851 ~x1092 ~x246 ~x3007 ~x1939 ~x3852 ~x1093 ~x247 ~x3008 ~x1940
80.69/81.00 v ~x3853 ~x1094 ~x248 ~x3009 ~x1941 ~x3854 ~x1095 ~x249 ~x3010 ~x1942
80.69/81.00 v ~x3855 ~x1096 ~x250 ~x3011 ~x1943 x3856 ~x1097 ~x251 ~x3012 ~x1944
80.69/81.00 v x3857 ~x1098 ~x252 ~x3013 ~x1945 ~x3858 ~x1099 ~x253 ~x3014 ~x1946
80.69/81.00 v ~x3859 ~x1100 ~x254 ~x3015 ~x1947 ~x3860 ~x1101 ~x255 ~x3016 ~x1948
80.69/81.00 v ~x3861 ~x1102 ~x256 ~x3017 ~x1949 ~x3862 ~x1103 ~x257 ~x3018 ~x1950
80.69/81.00 v ~x3863 ~x1104 ~x258 ~x3019 ~x1951 ~x3864 ~x1105 ~x259 ~x3020 ~x1952
80.69/81.00 v ~x3865 ~x1106 ~x260 ~x3021 ~x1953 ~x3866 ~x1107 ~x261 ~x3022 ~x1954
80.69/81.00 v ~x3867 ~x1108 ~x262 ~x3023 ~x1955 ~x3868 ~x1109 ~x263 ~x3024 ~x1956
80.69/81.00 v ~x3869 ~x1110 x264 ~x3025 ~x1957 ~x3870 ~x1111 ~x265 ~x3026 ~x1958
80.69/81.00 v ~x3871 ~x1112 ~x266 ~x3027 ~x1959 ~x3872 ~x1113 ~x267 ~x3028 ~x1960
80.69/81.00 v ~x3873 ~x1114 ~x268 ~x3029 ~x1961 ~x3874 ~x1115 ~x269 ~x3030 ~x1962
80.69/81.00 v ~x3875 ~x1116 ~x270 ~x3031 ~x1963 ~x3876 ~x1117 ~x271 ~x3032 ~x1964
80.69/81.00 v ~x3877 ~x1118 ~x272 ~x3033 ~x1965 ~x3878 ~x1119 ~x273 ~x3034 ~x1966
80.69/81.00 v ~x3879 ~x1120 ~x274 ~x3035 ~x1967 ~x3880 ~x1121 ~x275 ~x3036 x1968
80.69/81.00 v ~x3881 ~x1122 ~x276 ~x3037 ~x1969 ~x3882 ~x1123 ~x277 x3038 ~x1970
80.69/81.00 v ~x3883 ~x1124 ~x278 ~x3039 ~x1971 ~x3884 ~x1125 ~x279 ~x3040 ~x1972
80.69/81.00 v ~x3885 ~x1126 ~x280 x3041 ~x1973 ~x3886 x1127 ~x281 ~x3042 ~x1974
80.69/81.00 v ~x3887 ~x1128 ~x282 ~x3043 ~x1975 ~x3888 ~x1129 ~x283 ~x3044 ~x1976
80.69/81.00 v ~x3889 ~x1130 ~x284 ~x3045 ~x1977 ~x3890 ~x1131 ~x285 ~x3046 ~x1978
80.69/81.00 v ~x3891 ~x1132 ~x286 ~x3047 ~x1979 ~x3892 ~x1133 ~x287 ~x3048 ~x1980
80.69/81.00 v ~x3893 ~x1134 ~x288 ~x3049 ~x1981 ~x3894 ~x1135 ~x289 ~x3050 ~x1982
80.69/81.00 v ~x3895 ~x1136 ~x290 ~x3051 ~x1983 ~x3896 ~x1137 ~x291 ~x3052 ~x1984
80.69/81.00 v ~x3897 ~x1138 ~x292 ~x3053 ~x1985 ~x3898 ~x1139 ~x293 ~x3054 ~x1986
80.69/81.00 v ~x3899 ~x1140 ~x294 ~x3055 ~x1987 ~x3900 ~x1141 ~x295 ~x3056 ~x1988
80.69/81.00 v ~x3901 ~x1142 ~x296 ~x3057 ~x1989 ~x3902 ~x1143 ~x297 ~x3058 ~x1990
80.69/81.00 v ~x3903 ~x1144 ~x298 ~x3059 ~x1991 ~x3904 ~x1145 ~x299 ~x3060 ~x1992
80.69/81.00 v ~x3905 ~x1146 ~x300 ~x3061 ~x1993 ~x3906 ~x1147 ~x301 ~x3062 ~x1994
80.69/81.00 v ~x3907 ~x1148 ~x302 ~x3063 ~x1995 ~x3908 ~x1149 ~x303 ~x3064 ~x1996
80.69/81.00 v ~x3909 ~x1150 ~x304 ~x3065 ~x1997 ~x3910 ~x1151 x305 ~x3066 ~x1998
80.69/81.00 v ~x3911 ~x1152 ~x306 ~x3067 ~x1999 ~x3912 ~x1153 ~x307 ~x3068 ~x2000
80.69/81.00 v ~x3913 ~x1154 ~x308 ~x3069 ~x2001 ~x3914 ~x1155 ~x309 ~x3070 ~x2002
80.69/81.00 v ~x3915 ~x1156 ~x310 ~x3071 ~x2003 ~x3916 ~x1157 ~x311 ~x3072 ~x2004
80.69/81.00 v ~x3917 ~x1158 ~x312 ~x3073 ~x2005 ~x3918 ~x1159 ~x313 ~x3074 ~x2006
80.69/81.00 v ~x3919 ~x1160 ~x314 ~x3075 ~x2007 ~x3920 ~x1161 ~x315 ~x3076 ~x2008
80.69/81.00 v ~x3921 ~x1162 ~x316 ~x3077 ~x2009 ~x3922 ~x1163 ~x317 ~x3078 ~x2010
80.69/81.00 v ~x3923 ~x1164 ~x318 ~x3079 ~x2011 ~x3924 ~x1165 ~x319 ~x3080 ~x2012
80.69/81.00 v ~x3925 ~x1166 ~x320 ~x3081 ~x2013 ~x3926 ~x1167 ~x321 ~x3082 ~x2014
80.69/81.00 v ~x3927 ~x1168 ~x322 ~x3083 ~x2015 ~x3928 ~x1169 ~x323 ~x3084 ~x2016
80.69/81.00 v ~x3929 ~x1170 ~x324 ~x3085 ~x2017 ~x3930 ~x1171 ~x325 ~x3086 ~x2018
80.69/81.00 v ~x3931 ~x1172 ~x326 ~x3087 ~x2019 ~x3932 ~x1173 ~x327 ~x3088 ~x2020
80.69/81.00 v ~x3933 ~x1174 ~x328 ~x3089 ~x2021 ~x3934 ~x1175 ~x329 ~x3090 ~x2022
80.69/81.00 v ~x3935 ~x1176 ~x330 ~x3091 ~x2023 ~x3936 ~x1177 ~x331 ~x3092 ~x2024
80.69/81.00 v ~x3937 ~x1178 ~x332 ~x3093 ~x2025 ~x3938 ~x1179 ~x333 ~x3094 ~x2026
80.69/81.00 v ~x3939 ~x1180 ~x334 ~x3095 ~x2027 ~x3940 ~x1181 ~x335 ~x3096 ~x2028
80.69/81.00 v ~x3941 ~x1182 ~x336 ~x3097 ~x2029 ~x3942 ~x1183 ~x337 ~x3098 ~x2030
80.69/81.00 v ~x3943 ~x1184 ~x338 ~x3099 ~x2031 ~x3944 ~x1185 ~x339 ~x3100 ~x2032
80.69/81.00 v ~x3945 ~x1186 ~x340 x3101 ~x2033 ~x3946 ~x1187 ~x341 ~x3102 ~x2034
80.69/81.00 v ~x3947 ~x1188 ~x342 ~x3103 ~x2035 ~x3948 ~x1189 ~x343 ~x3104 ~x2036
80.69/81.00 v ~x3949 ~x1190 ~x344 ~x3105 ~x2037 ~x3950 ~x1191 ~x345 ~x3106 ~x2038
80.69/81.00 v ~x3951 ~x1192 ~x346 ~x3107 ~x2039 ~x3952 ~x1193 ~x347 ~x3108 ~x2040
80.69/81.00 v ~x3953 x1194 ~x348 ~x3109 ~x2041 ~x3954 ~x1195 ~x349 ~x3110 ~x2042
80.69/81.00 v ~x3955 ~x1196 ~x350 ~x3111 x2043 ~x3956 ~x1197 ~x351 ~x3112 ~x2044
80.69/81.00 v ~x3957 ~x1198 ~x352 ~x3113 ~x2045 ~x3958 ~x1199 ~x353 ~x3114 ~x2046
80.69/81.00 v ~x3959 ~x1200 ~x354 ~x3115 ~x2047 ~x3960 ~x1201 ~x355 ~x3116 ~x2048
80.69/81.00 v ~x3961 ~x1202 ~x356 ~x3117 ~x2049 ~x3962 ~x1203 ~x357 ~x3118 ~x2050
80.69/81.00 v ~x3963 ~x1204 ~x358 ~x3119 ~x2051 ~x3964 ~x1205 ~x359 ~x3120 ~x2052
80.69/81.00 v ~x3965 ~x1206 ~x360 ~x3121 ~x2053 ~x3966 ~x1207 ~x361 ~x3122 ~x2054
80.69/81.00 v ~x3967 ~x1208 ~x362 ~x3123 ~x2055 ~x3968 ~x1209 ~x363 ~x3124 ~x2056
80.69/81.00 v ~x3969 ~x1210 ~x364 ~x3125 ~x2057 ~x3970 ~x1211 ~x365 ~x3126 ~x2058
80.69/81.00 v ~x3971 ~x1212 ~x366 ~x3127 ~x2059 ~x3972 ~x1213 ~x367 ~x3128 ~x2060
80.69/81.00 v ~x3973 ~x1214 ~x368 ~x3129 ~x2061 ~x3974 ~x1215 ~x369 ~x3130 ~x2062
80.69/81.00 v ~x3975 ~x1216 ~x370 ~x3131 ~x2063 ~x3976 ~x1217 ~x371 ~x3132 ~x2064
80.69/81.00 v ~x3977 ~x1218 ~x372 ~x3133 ~x2065 ~x3978 ~x1219 ~x373 ~x3134 ~x2066
80.69/81.00 v ~x3979 ~x1220 ~x374 ~x3135 ~x2067 ~x3980 ~x1221 ~x375 ~x3136 ~x2068
80.69/81.00 v ~x3981 ~x1222 ~x376 ~x3137 ~x2069 ~x3982 ~x1223 ~x377 ~x3138 ~x2070
80.69/81.00 v ~x3983 ~x1224 ~x378 ~x3139 ~x2071 ~x3984 ~x1225 ~x379 ~x3140 ~x2072
80.69/81.00 v ~x3985 ~x1226 ~x380 ~x3141 ~x2073 ~x3986 ~x1227 ~x381 ~x3142 ~x2074
80.69/81.00 v ~x3987 ~x1228 ~x382 ~x3143 ~x2075 ~x3988 ~x1229 ~x383 ~x3144 ~x2076
80.69/81.00 v ~x3989 ~x1230 x384 ~x3145 ~x2077 ~x3990 ~x1231 ~x385 ~x3146 ~x2078
80.69/81.00 v ~x3991 ~x1232 ~x386 ~x3147 ~x2079 ~x3992 ~x1233 ~x387 ~x3148 ~x2080
80.69/81.00 v ~x3993 ~x1234 ~x388 ~x3149 ~x2081 ~x3994 ~x1235 ~x389 ~x3150 ~x2082
80.69/81.00 v ~x3995 ~x1236 ~x390 ~x3151 ~x2083 ~x3996 ~x1237 ~x391 ~x3152 ~x2084
80.69/81.00 v ~x3997 ~x1238 ~x392 ~x3153 ~x2085 ~x3998 x1239 ~x393 ~x3154 ~x2086
80.69/81.00 v ~x3999 ~x1240 ~x394 ~x3155 ~x2087 ~x4000 ~x1241 ~x395 ~x3156 ~x2088
80.69/81.00 v ~x4001 ~x1242 ~x396 ~x3157 ~x2089 ~x4002 ~x1243 ~x397 ~x3158 x2090
80.69/81.00 v ~x4003 ~x1244 ~x398 x3159 ~x2091 ~x4004 ~x1245 ~x399 ~x3160 ~x2092
80.69/81.00 v ~x4005 ~x1246 ~x400 ~x3161 ~x2093 ~x4006 ~x1247 ~x401 ~x3162 ~x2094
80.69/81.00 v ~x4007 ~x1248 ~x402 ~x3163 ~x2095 ~x4008 ~x1249 ~x403 ~x3164 ~x2096
80.69/81.00 v ~x4009 ~x1250 ~x404 ~x3165 ~x2097 ~x4010 ~x1251 ~x405 ~x3166 ~x2098
80.69/81.00 v ~x4011 ~x1252 ~x406 ~x3167 ~x2099 ~x4012 ~x1253 ~x407 ~x3168 ~x2100
80.69/81.00 v ~x4013 ~x1254 ~x408 ~x3169 ~x2101 ~x4014 ~x1255 ~x409 ~x3170 x2102
80.69/81.00 v ~x4015 ~x1256 ~x410 ~x3171 ~x2103 ~x4016 ~x1257 ~x411 ~x3172 ~x2104
80.69/81.00 v ~x4017 ~x1258 ~x412 ~x3173 ~x2105 ~x4018 ~x1259 ~x413 ~x3174 ~x2106
80.69/81.00 v ~x4019 ~x1260 ~x414 ~x3175 ~x2107 ~x4020 ~x1261 ~x415 ~x3176 ~x2108
80.69/81.00 v ~x4021 ~x1262 ~x416 ~x3177 ~x2109 ~x4022 ~x1263 x417 ~x3178 ~x2110
80.69/81.00 v ~x4023 ~x1264 ~x418 ~x3179 ~x2111 ~x4024 ~x1265 ~x419 ~x3180 ~x2112
80.69/81.00 v ~x4025 ~x1266 ~x420 ~x3181 ~x2113 ~x4026 ~x1267 ~x421 ~x3182 ~x2114
80.69/81.00 v ~x4027 ~x1268 ~x422 ~x3183 ~x2115 ~x4028 ~x1269 ~x423 ~x3184 ~x2116
80.69/81.00 v ~x4029 ~x1270 ~x424 ~x3185 ~x2117 ~x4030 ~x1271 ~x425 ~x3186 ~x2118
80.69/81.00 v ~x4031 ~x1272 ~x426 ~x3187 ~x2119 ~x4032 ~x1273 ~x427 ~x3188 ~x2120
80.69/81.00 v ~x4033 ~x1274 ~x428 ~x3189 ~x2121 ~x4034 ~x1275 ~x429 ~x3190 ~x2122
80.69/81.00 v ~x4035 ~x1276 ~x430 ~x3191 ~x2123 ~x4036 ~x1277 ~x431 ~x3192 ~x2124
80.69/81.00 v ~x4037 ~x1278 ~x432 ~x3193 ~x2125 ~x4038 ~x1279 ~x433 ~x3194 ~x2126
80.69/81.00 v ~x4039 ~x1280 ~x434 ~x3195 ~x2127 ~x4040 ~x1281 ~x435 ~x3196 ~x2128
80.69/81.00 v ~x4041 ~x1282 ~x436 ~x3197 ~x2129 ~x4042 ~x1283 ~x437 ~x3198 ~x2130
80.69/81.00 v ~x4043 ~x1284 ~x438 ~x3199 ~x2131 ~x4044 ~x1285 ~x439 ~x3200 ~x2132
80.69/81.00 v ~x4045 x1286 ~x440 ~x3201 ~x2133 ~x4046 ~x1287 ~x441 ~x3202 ~x2134
80.69/81.00 v ~x4047 ~x1288 ~x442 ~x3203 ~x2135 ~x4048 ~x1289 ~x443 ~x3204 ~x2136
80.69/81.00 v ~x4049 ~x1290 ~x444 ~x3205 ~x2137 ~x4050 ~x1291 ~x445 ~x3206 ~x2138
80.69/81.00 v ~x4051 ~x1292 ~x446 ~x3207 ~x2139 ~x4052 ~x1293 ~x447 ~x3208 ~x2140
80.69/81.00 v ~x4053 ~x1294 ~x448 ~x3209 ~x2141 ~x4054 ~x1295 ~x449 ~x3210 ~x2142
80.69/81.00 v ~x4055 ~x1296 ~x450 ~x3211 ~x2143 ~x4056 ~x1297 ~x451 ~x3212 ~x2144
80.69/81.00 v ~x4057 ~x1298 ~x452 ~x3213 ~x2145 ~x4058 ~x1299 ~x453 ~x3214 ~x2146
80.69/81.00 v ~x4059 ~x1300 ~x454 ~x3215 ~x2147 ~x4060 ~x1301 ~x455 ~x3216 ~x2148
80.69/81.00 v ~x4061 ~x1302 ~x456 ~x3217 ~x2149 ~x4062 x1303 ~x457 ~x3218 ~x2150
80.69/81.00 v ~x4063 ~x1304 ~x458 ~x3219 ~x2151 ~x4064 ~x1305 ~x459 ~x3220 ~x2152
80.69/81.00 v ~x4065 ~x1306 ~x460 ~x3221 ~x2153 ~x4066 ~x1307 ~x461 ~x3222 ~x2154
80.69/81.00 v ~x4067 ~x1308 ~x462 ~x3223 ~x2155 ~x4068 ~x1309 ~x463 x3224 ~x2156
80.69/81.00 v ~x4069 ~x1310 ~x464 ~x3225 ~x2157 ~x4070 ~x1311 ~x465 ~x3226 ~x2158
80.69/81.00 v ~x4071 ~x1312 ~x466 ~x3227 ~x2159 ~x4072 ~x1313 ~x467 ~x3228 ~x2160
80.69/81.00 v ~x4073 ~x1314 ~x468 ~x3229 ~x2161 ~x4074 ~x1315 ~x469 x3230 ~x2162
80.69/81.00 v ~x4075 ~x1316 ~x470 ~x3231 ~x2163 ~x4076 ~x1317 ~x471 ~x3232 ~x2164
80.69/81.00 v ~x4077 ~x1318 ~x472 ~x3233 ~x2165 ~x4078 ~x1319 ~x473 ~x3234 ~x2166
80.69/81.00 v ~x4079 ~x1320 ~x474 ~x3235 ~x2167 ~x4080 ~x1321 ~x475 ~x3236 ~x2168
80.69/81.00 v ~x4081 ~x1322 ~x476 ~x3237 ~x2169 ~x4082 ~x1323 ~x477 ~x3238 ~x2170
80.69/81.00 v ~x4083 ~x1324 ~x478 ~x3239 x2171 ~x4084 ~x1325 ~x479 ~x3240 ~x2172
80.69/81.00 v ~x4085 ~x1326 ~x480 ~x3241 ~x2173 ~x4086 ~x1327 ~x481 ~x3242 ~x2174
80.69/81.00 v ~x4087 ~x1328 ~x482 ~x3243 ~x2175 ~x4088 ~x1329 ~x483 ~x3244 ~x2176
80.69/81.00 v ~x4089 ~x1330 ~x484 ~x3245 ~x2177 ~x4090 ~x1331 ~x485 ~x3246 ~x2178
80.69/81.00 v ~x4091 ~x1332 ~x486 ~x3247 ~x2179 ~x4092 ~x1333 x487 x3248 ~x2180
80.69/81.00 v ~x4093 ~x1334 ~x488 ~x3249 ~x2181 ~x4094 ~x1335 ~x489 ~x3250 ~x2182
80.69/81.00 v ~x4095 ~x1336 ~x490 ~x3251 ~x2183 ~x4096 ~x1337 ~x491 ~x3252 ~x2184
80.69/81.00 v ~x4097 ~x1338 ~x492 ~x3253 ~x2185 ~x4098 ~x1339 ~x493 ~x3254 ~x2186
80.69/81.00 v ~x4099 ~x1340 ~x494 ~x3255 ~x2187 ~x4100 ~x1341 ~x495 ~x3256 ~x2188
80.69/81.00 v ~x4101 ~x1342 ~x496 x3257 ~x2189 ~x4102 ~x1343 ~x497 ~x3258 ~x2190
80.69/81.00 v ~x4103 ~x1344 ~x498 ~x3259 ~x2191 ~x4104 ~x1345 ~x499 ~x3260 ~x2192
80.69/81.00 v ~x4105 ~x1346 ~x500 ~x3261 ~x2193 ~x4106 ~x1347 ~x501 ~x3262 ~x2194
80.69/81.00 v ~x4107 ~x1348 ~x502 ~x3263 ~x2195 ~x4108 ~x1349 ~x503 ~x3264 ~x2196
80.69/81.00 v ~x4109 ~x1350 ~x504 ~x3265 ~x2197 ~x4110 ~x1351 ~x505 ~x3266 ~x2198
80.69/81.00 v ~x4111 ~x1352 ~x506 ~x3267 ~x2199 ~x4112 ~x1353 ~x507 x3268 ~x2200
80.69/81.00 v ~x4113 ~x1354 ~x508 ~x3269 ~x2201 ~x4114 ~x1355 ~x509 ~x3270 ~x2202
80.69/81.00 v ~x4115 ~x1356 ~x510 ~x3271 ~x2203 ~x4116 ~x1357 ~x511 ~x3272 ~x2204
80.69/81.00 v ~x4117 ~x1358 ~x512 ~x3273 ~x2205 ~x4118 ~x1359 ~x513 ~x3274 ~x2206
80.69/81.00 v ~x4119 ~x1360 ~x514 ~x3275 ~x2207 ~x4120 ~x1361 ~x515 ~x3276 ~x2208
80.69/81.00 v ~x4121 ~x1362 ~x516 ~x3277 ~x2209 ~x4122 ~x1363 ~x517 ~x3278 ~x2210
80.69/81.00 v ~x4123 ~x1364 ~x518 ~x3279 ~x2211 ~x4124 ~x1365 ~x519 ~x3280 ~x2212
80.69/81.00 v ~x4125 ~x1366 ~x520 ~x3281 ~x2213 ~x4126 ~x1367 ~x521 ~x3282 ~x2214
80.69/81.00 v ~x4127 ~x1368 ~x522 ~x3283 ~x2215 ~x4128 ~x1369 ~x523 ~x3284 ~x2216
80.69/81.00 v ~x4129 x1370 ~x524 ~x3285 ~x2217 ~x4130 ~x1371 ~x525 ~x3286 ~x2218
80.69/81.00 v ~x4131 ~x1372 ~x526 ~x3287 ~x2219 ~x4132 ~x1373 ~x527 ~x3288 ~x2220
80.69/81.00 v ~x4133 ~x1374 ~x528 ~x2 ~x3289 ~x2221 ~x4134 ~x1375 ~x529 ~x2501
80.69/81.00 v ~x3290 ~x2222 ~x4135 ~x1376 ~x530 ~x3291 ~x2223 ~x4136 ~x1377 ~x531
80.69/81.00 v ~x3 ~x3292 ~x2224 ~x4137 ~x1378 ~x532 ~x2502 ~x3293 ~x2225 ~x4138
80.69/81.00 v ~x1379 ~x533 ~x5 ~x3294 ~x2226 ~x4139 ~x1380 ~x534 ~x2503 x3295
80.69/81.00 v ~x2227 ~x4140 ~x1381 ~x535 ~x6 ~x3296 x2228 ~x4141 ~x1382 ~x536
80.69/81.00 v ~x2504 ~x3297 ~x2229 ~x4142 ~x1383 ~x537 ~x7 ~x3298 ~x2230 ~x4143
80.69/81.00 v ~x1384 ~x538 ~x2505 ~x3299 ~x2231 ~x4144 ~x1385 ~x539 ~x9 ~x3300
80.69/81.00 v ~x4145 ~x1386 ~x540 ~x2506 ~x3301 ~x4146 ~x1387 ~x541 ~x2232 ~x11
80.69/81.00 v ~x3302 ~x4147 ~x1388 ~x542 ~x2233 ~x2507 ~x3303 ~x4148 ~x1389 ~x543
80.69/81.00 v ~x2234 ~x3304 ~x4149 ~x1390 ~x544 ~x2235 ~x3305 ~x12 ~x4150 ~x1391
80.69/81.00 v ~x545 ~x2236 ~x3306 ~x2508 ~x4151 ~x1392 ~x546 ~x2237 ~x3307 ~x13
80.69/81.00 v ~x4152 ~x1393 ~x547 ~x2238 ~x3308 ~x2509 ~x4153 ~x1394 ~x548 ~x2239
80.69/81.00 v ~x3309 ~x14 ~x4154 ~x1395 ~x549 ~x2240 ~x3310 ~x2510 ~x4155 ~x1396
80.69/81.00 v x550 ~x2241 ~x3311 ~x15 ~x4156 ~x1397 ~x551 ~x2242 ~x3312 ~x2511
80.69/81.00 v x4157 ~x1398 ~x552 ~x2243 ~x3313 ~x16 x4158 ~x1399 ~x553 ~x2244
80.69/81.00 v ~x3314 ~x2512 ~x4159 ~x1400 ~x554 ~x2245 ~x3315 ~x17 x4160 ~x1401
80.69/81.00 v ~x555 ~x2246 ~x3316 ~x2513 ~x4161 ~x1402 ~x556 ~x2247 ~x3317 ~x18
80.69/81.00 v ~x4162 ~x1403 ~x557 ~x2248 ~x3318 ~x2514 x4163 ~x1404 x558 ~x2249
80.69/81.00 v ~x3319 x19 x4164 ~x1405 ~x559 ~x2250 ~x3320 ~x2515 ~x4165 ~x1406
80.69/81.00 v ~x560 ~x2251 ~x3321 ~x21 ~x4166 ~x1407 ~x561 ~x2252 ~x3322 ~x2516
80.69/81.00 v ~x4167 ~x1408 ~x562 ~x2253 ~x3323 ~x4168 ~x1409 ~x563 ~x2254 ~x3324
80.69/81.00 v ~x4169 x1410 ~x564 ~x2255 ~x22 ~x3325 ~x4170 ~x1411 ~x565 ~x2256
80.69/81.00 v ~x2517 ~x3326 ~x4171 ~x1412 ~x566 ~x2257 ~x23 ~x3327 ~x4172 ~x1413
80.69/81.00 v ~x567 ~x2258 ~x2518 ~x3328 ~x4173 ~x1414 ~x568 ~x2259 ~x24 ~x3329
80.69/81.00 v ~x4174 ~x1415 ~x569 ~x2260 ~x2519 ~x3330 ~x4175 ~x1416 ~x570 ~x2261
80.69/81.00 v ~x26 ~x3331 ~x4176 ~x1417 ~x571 ~x2262 ~x2520 ~x3332 ~x4177 ~x1418
80.69/81.00 v ~x572 ~x2263 ~x29 ~x3333 ~x4178 ~x1419 ~x573 ~x2264 ~x2521 ~x3334
80.69/81.00 v ~x4179 ~x1420 ~x574 ~x2265 ~x30 ~x3335 ~x4180 ~x1421 ~x575 ~x2266
80.69/81.00 v ~x2522 ~x3336 ~x4181 ~x1422 ~x576 ~x2267 ~x31 ~x3337 ~x4182 ~x1423
80.69/81.00 v ~x577 ~x2268 ~x2523 ~x3338 ~x4183 ~x1424 ~x578 ~x2269 ~x32 ~x3339
80.69/81.00 v ~x4184 ~x1425 ~x579 ~x2270 ~x2524 ~x3340 ~x4185 ~x1426 ~x580 ~x2271
80.69/81.00 v ~x33 ~x3341 ~x4186 ~x1427 ~x581 ~x2272 ~x2525 ~x3342 ~x4187 ~x1428
80.69/81.00 v ~x582 ~x2273 ~x34 ~x3343 ~x4188 ~x1429 ~x583 ~x2274 ~x2526 ~x3344
80.69/81.00 v ~x4189 ~x1430 ~x584 ~x2275 ~x35 ~x3345 ~x4190 ~x1431 ~x585 ~x2276
80.69/81.00 v ~x2527 ~x3346 ~x4191 ~x1432 ~x586 ~x2277 ~x36 ~x3347 ~x4192 ~x1433
80.69/81.00 v ~x587 ~x2278 ~x2528 ~x3348 ~x4193 ~x1434 ~x588 ~x2279 ~x37 ~x3349
80.69/81.00 v ~x4194 ~x1435 ~x589 ~x2280 ~x2529 ~x3350 ~x4195 ~x1436 ~x590 ~x2281
80.69/81.00 v ~x38 ~x3351 ~x4196 ~x1437 ~x591 ~x2282 ~x2530 ~x3352 ~x4197 ~x1438
80.69/81.00 v ~x592 ~x2283 ~x39 x3353 ~x4198 ~x1439 ~x593 ~x2284 ~x2531 ~x3354
80.69/81.00 v ~x4199 ~x1440 ~x594 ~x2285 ~x40 ~x3355 ~x4200 ~x1441 ~x595 ~x2286
80.69/81.00 v ~x2532 ~x3356 ~x4201 ~x1442 ~x596 ~x2287 ~x3357 ~x4202 ~x1443 ~x597
80.69/81.00 v ~x2288 ~x41 ~x3358 ~x4203 ~x1444 ~x598 ~x2289 ~x2533 ~x3359 ~x4204
80.69/81.00 v ~x1445 ~x599 ~x2290 ~x42 ~x3360 ~x4205 ~x1446 ~x600 ~x2291 ~x2534
80.69/81.00 v ~x3361 ~x4206 ~x1447 ~x601 ~x2292 ~x43 ~x3362 ~x4207 ~x1448 ~x602
80.69/81.00 v ~x2293 ~x2535 ~x3363 ~x4208 ~x1449 ~x603 ~x2294 ~x44 ~x3364 ~x4209
80.69/81.00 v ~x1450 ~x604 ~x2295 ~x2536 ~x3365 ~x4210 ~x1451 ~x605 ~x2296 ~x45
80.69/81.00 v ~x3366 ~x4211 ~x1452 ~x606 ~x2297 ~x2537 ~x3367 ~x4212 ~x1453 ~x607
80.69/81.00 v x2298 ~x46 ~x3368 ~x4213 ~x1454 ~x608 ~x2299 ~x2538 ~x3369 ~x4214
80.69/81.00 v ~x1455 ~x609 ~x2300 ~x47 ~x3370 ~x4215 ~x1456 ~x610 ~x2301 ~x2539
80.69/81.00 v ~x3371 ~x4216 ~x1457 ~x611 ~x2302 ~x48 ~x3372 ~x4217 ~x1458 ~x612
80.69/81.00 v ~x2303 ~x2540 ~x3373 ~x4218 ~x1459 ~x613 ~x2304 ~x49 ~x3374 ~x4219
80.69/81.00 v ~x1460 ~x614 ~x2305 ~x2541 ~x3375 ~x4220 x1461 ~x615 ~x2306 ~x1
80.69/81.00 v ~x3376 ~x4221 ~x1462 ~x616 ~x2307 ~x2542 ~x3377 ~x4222 ~x1463 ~x617
80.69/81.00 v ~x2308 ~x2543 ~x3378 ~x4223 ~x1464 ~x618 ~x2309 ~x4 ~x3379 ~x4224
80.69/81.00 v ~x1465 ~x619 ~x2310 ~x2544 ~x3380 ~x4225 ~x1466 ~x620 ~x2311 ~x2545
80.69/81.00 v ~x3381 ~x4226 ~x1467 ~x621 ~x2312 ~x2546 ~x3382 ~x4227 ~x1468 ~x622
80.69/81.00 v ~x2313 ~x2547 ~x3383 ~x4228 ~x1469 ~x623 ~x2314 ~x8 ~x3384 ~x4229
80.69/81.00 v ~x1470 ~x624 ~x2315 ~x2548 ~x3385 ~x4230 ~x1471 x625 ~x2316 ~x2549
80.69/81.00 v ~x3386 ~x4231 ~x1472 ~x626 ~x2317 ~x2550 ~x3387 ~x4232 ~x1473 ~x627
80.69/81.00 v ~x2318 ~x2551 ~x3388 ~x4233 ~x1474 ~x628 ~x2319 ~x2552 ~x3389 ~x4234
80.69/81.00 v ~x1475 ~x629 ~x2320 ~x2553 ~x3390 ~x4235 ~x1476 ~x630 ~x2321 ~x2554
80.69/81.00 v ~x3391 ~x4236 ~x1477 ~x631 ~x2322 ~x2555 ~x3392 ~x4237 ~x1478 ~x632
80.69/81.00 v ~x2323 ~x2556 ~x3393 ~x4238 ~x1479 ~x633 ~x2324 ~x2557 ~x3394 ~x4239
80.69/81.00 v ~x1480 ~x634 ~x2325 ~x20 ~x3395 ~x4240 ~x1481 ~x635 ~x2326 ~x2558
80.69/81.00 v ~x3396 ~x4241 ~x1482 ~x636 ~x2327 ~x2559 ~x3397 ~x4242 ~x1483 ~x637
80.69/81.00 v ~x2328 ~x2560 ~x3398 ~x4243 ~x1484 ~x638 ~x2329 ~x2561 ~x3399 ~x4244
80.69/81.00 v ~x1485 ~x639 ~x2330 ~x2562 ~x3400 ~x4245 ~x1486 ~x640 ~x2331 ~x25
80.69/81.00 v ~x3401 ~x4246 ~x1487 ~x641 ~x2332 ~x2563 ~x3402 ~x4247 ~x1488 ~x642
80.69/81.00 v ~x2333 ~x2564 ~x3403 ~x4248 ~x1489 ~x643 ~x2334 ~x27 ~x3404 ~x4249
80.69/81.00 v ~x1490 ~x644 ~x2335 ~x2565 ~x3405 ~x4250 ~x1491 ~x645 ~x2336 ~x2566
80.69/81.00 v ~x3406 ~x4251 ~x1492 ~x646 ~x2337 ~x2567 ~x3407 ~x4252 ~x1493 ~x647
80.69/81.00 v ~x2338 ~x2568 ~x3408 ~x4253 ~x1494 ~x648 ~x2339 ~x2569 ~x3409 ~x4254
80.69/81.00 v ~x1495 ~x649 ~x2340 ~x2570 ~x3410 ~x1496 ~x4255 ~x650 x2341 ~x2571
80.69/81.00 v ~x3411 ~x4256 ~x1497 x651 ~x2342 ~x2572 ~x3412 ~x4257 ~x1498 ~x652
80.69/81.00 v ~x2343 ~x2573 ~x3413 ~x4258 ~x1499 ~x653 ~x2344 ~x2574 ~x3414 ~x4259
80.69/81.00 v ~x1500 ~x654 ~x2345 ~x2575 ~x3415 ~x4260 ~x1501 ~x655 ~x2346 ~x2576
80.69/81.00 v ~x3416 ~x4261 ~x1502 ~x656 ~x2347 ~x2577 ~x3417 ~x4262 ~x1503 ~x657
80.69/81.00 v ~x2348 ~x2578 ~x3418 ~x4263 ~x1504 ~x658 ~x2349 ~x2579 ~x3419 ~x4264
80.69/81.00 v ~x1505 ~x659 ~x2350 ~x50 ~x3420 ~x4265 ~x1506 ~x660 ~x2351 ~x2580
80.69/81.00 v ~x3421 ~x4266 ~x1507 ~x661 ~x2352 ~x2581 ~x3422 ~x4267 ~x1508 ~x662
80.69/81.00 v ~x2353 ~x3423 ~x4268 ~x1509 ~x663 x2354 ~x2582 ~x3424 ~x4269 ~x1510
80.69/81.00 v ~x664 ~x2355 ~x2583 ~x3425 ~x4270 ~x1511 ~x665 ~x2356 ~x2584 ~x3426
80.69/81.00 v ~x4271 ~x1512 ~x666 ~x2357 ~x2585 ~x3427 ~x4272 ~x1513 ~x667 ~x2358
80.69/81.00 v ~x2586 ~x3428 ~x4273 ~x1514 ~x668 ~x2359 ~x2587 ~x3429 ~x4274 ~x1515
80.69/81.00 v ~x669 ~x2360 ~x2588 ~x3430 ~x4275 ~x1516 ~x670 ~x2361 ~x10 ~x3431
80.69/81.00 v ~x4276 ~x1517 ~x671 ~x2362 ~x2589 ~x3432 ~x4277 ~x1518 ~x672 ~x2363
80.69/81.00 v ~x2590 ~x3433 ~x4278 ~x1519 ~x673 ~x2364 ~x2591 ~x3434 ~x4279 ~x1520
80.69/81.00 v ~x674 ~x2365 ~x2592 x3435 ~x4280 ~x1521 ~x675 ~x2366 ~x2593 ~x3436
80.69/81.00 v ~x4281 ~x1522 ~x676 ~x2367 ~x2594 ~x3437 ~x4282 ~x1523 ~x677 ~x2368
80.69/81.00 v ~x2595 ~x3438 ~x4283 ~x1524 ~x678 ~x2369 ~x2596 ~x3439 ~x4284 ~x1525
80.69/81.00 v ~x679 ~x2370 ~x2597 ~x3440 ~x4285 ~x1526 ~x680 ~x2371 ~x2598 ~x3441
80.69/81.00 v ~x4286 ~x1527 ~x681 ~x2372 ~x2599 ~x3442 ~x4287 ~x1528 ~x682 ~x2373
80.69/81.00 v ~x2600 ~x3443 ~x4288 ~x1529 ~x683 ~x2374 ~x2601 ~x3444 ~x4289 ~x1530
80.69/81.00 v ~x684 ~x2375 ~x28 ~x3445 ~x4290 ~x1531 ~x685 ~x2376 ~x2602 ~x3446
80.69/81.00 v ~x4291 ~x1532 ~x686 ~x2377 ~x2603 ~x3447 ~x4292 ~x1533 ~x687 ~x2378
80.69/81.00 v ~x2604 ~x3448 ~x4293 ~x1534 ~x688 ~x2379 ~x2605 ~x3449 ~x4294 ~x1535
80.69/81.00 v ~x689 ~x2380 ~x2606 ~x3450 ~x4295 ~x1536 ~x690 ~x2381 ~x2607 ~x3451
80.69/81.00 v ~x4296 ~x1537 ~x691 ~x2382 ~x2608 ~x3452 ~x4297 ~x1538 ~x692 ~x2383
80.69/81.00 v ~x2609 ~x3453 ~x4298 ~x1539 ~x693 ~x2384 ~x2610 ~x3454 ~x4299 ~x1540
80.69/81.00 v ~x694 ~x2385 ~x2611 ~x3455 ~x4300 ~x1541 ~x695 ~x2386 ~x2612 ~x3456
80.69/81.00 v ~x4301 ~x1542 ~x696 ~x2387 ~x2613 ~x3457 ~x4302 ~x1543 ~x697 ~x2388
80.69/81.00 v ~x2614 ~x3458 ~x4303 ~x1544 ~x698 ~x2389 ~x2615 ~x3459 ~x4304 x1545
80.69/81.00 v ~x699 ~x2390 ~x2616 ~x3460 ~x4305 ~x1546 ~x700 ~x2391 ~x2617 ~x3461
80.69/81.00 v ~x4306 ~x1547 ~x701 ~x2392 ~x2618 ~x3462 ~x4307 ~x1548 ~x702 ~x2393
80.69/81.00 v ~x2619 ~x3463 ~x4308 ~x1549 ~x703 ~x2394 ~x2620 ~x3464 ~x4309 ~x1550
80.69/81.00 v ~x704 ~x2395 ~x2621 ~x3465 ~x4310 ~x1551 ~x705 ~x2396 ~x2622 ~x3466
80.69/81.00 v ~x4311 ~x1552 ~x706 ~x2397 ~x2623 ~x3467 ~x4312 ~x1553 ~x707 ~x2398
80.69/81.00 v ~x2624 ~x3468 ~x4313 ~x1554 ~x708 ~x2399 ~x2625 ~x3469 ~x4314 ~x1555
80.69/81.00 v ~x709 ~x2400 ~x2626 ~x3470 ~x4315 ~x1556 ~x710 ~x2401 ~x2627 ~x3471
80.69/81.00 v ~x4316 ~x1557 ~x711 ~x2402 ~x2628 ~x3472 ~x4317 ~x1558 ~x712 ~x2403
80.69/81.00 v ~x2629 ~x3473 ~x4318 x1559 ~x713 ~x2404 ~x2630 ~x3474 ~x4319 ~x1560
80.69/81.00 v ~x714 ~x2405 ~x2631 ~x3475 ~x4320 ~x1561 ~x715 ~x2406 ~x2632 ~x3476
80.69/81.00 v ~x4321 ~x1562 ~x716 ~x2407 ~x2633 ~x3477 ~x4322 ~x1563 ~x717 ~x2408
80.69/81.00 v ~x2634 ~x3478 ~x4323 ~x1564 ~x718 ~x2409 ~x2635 ~x3479 ~x4324 ~x1565
80.69/81.00 v ~x719 ~x2410 ~x2636 ~x3480 ~x4325 ~x1566 ~x720 ~x2411 ~x2637 ~x3481
80.69/81.00 v ~x4326 ~x1567 ~x721 ~x2412 ~x2638 ~x3482 ~x4327 ~x1568 ~x722 ~x2413
80.69/81.00 v ~x2639 ~x3483 ~x4328 ~x1569 ~x723 ~x2414 ~x2640 ~x3484 ~x4329 ~x1570
80.69/81.00 v ~x724 ~x2415 ~x2641 ~x3485 ~x4330 ~x1571 ~x725 ~x2416 ~x2642 ~x3486
80.69/81.00 v ~x4331 ~x1572 ~x726 ~x2417 ~x2643 ~x3487 ~x4332 ~x1573 ~x727 ~x2418
80.69/81.00 v ~x2644 ~x3488 ~x4333 ~x1574 ~x728 ~x2419 ~x2645 ~x3489 ~x4334 ~x1575
80.69/81.00 v ~x729 ~x2420 ~x2646 ~x3490 ~x4335 ~x1576 ~x730 ~x2421 ~x2647 x3491
80.69/81.00 v ~x4336 ~x1577 ~x731 ~x2422 ~x2648 ~x3492 ~x4337 ~x1578 ~x732 ~x2423
80.69/81.00 v ~x2649 ~x3493 ~x4338 ~x1579 x733 ~x2424 ~x2650 ~x3494 ~x4339 ~x1580
80.69/81.00 v ~x734 ~x2425 ~x2651 ~x3495 ~x4340 ~x1581 ~x735 ~x2426 ~x2652 ~x3496
80.69/81.00 v ~x4341 ~x1582 ~x736 ~x2427 ~x2653 ~x3497 ~x4342 ~x1583 ~x737 ~x2428
80.69/81.00 v ~x2654 ~x3498 ~x4343 ~x1584 ~x738 ~x2429 ~x2655 ~x3499 ~x4344 ~x1585
80.69/81.00 v ~x739 ~x2430 ~x2656 ~x3500 ~x4345 ~x1586 ~x740 ~x2431 ~x2657 ~x3501
80.69/81.00 v ~x4346 ~x1587 ~x741 ~x2432 ~x2658 ~x4347 ~x1588 ~x742 ~x2433 ~x2659
80.69/81.00 v ~x4348 ~x1589 ~x3502 ~x743 ~x2434 ~x2660 ~x4349 ~x1590 ~x3503 ~x744
80.69/81.00 v ~x2435 ~x2661 ~x4350 ~x1591 ~x3504 ~x745 ~x2436 ~x2662 x4351 ~x1592
80.69/81.00 v ~x3505 ~x746 ~x2437 ~x2663 ~x4352 ~x1593 ~x3506 ~x747 ~x2438 ~x2664
80.69/81.00 v ~x4353 ~x1594 ~x3507 ~x748 ~x2439 ~x2665 ~x4354 ~x1595 ~x3508 ~x749
80.69/81.00 v ~x2440 ~x2666 ~x4355 ~x1596 ~x3509 ~x750 ~x2441 ~x2667 ~x4356 ~x1597
80.69/81.00 v ~x3510 ~x751 ~x2442 x2668 ~x4357 ~x1598 ~x3511 ~x752 ~x2443 ~x2669
80.69/81.00 v ~x4358 ~x1599 x3512 ~x753 ~x2444 ~x2670 ~x4359 ~x1600 ~x3513 ~x754
80.69/81.00 v ~x2445 ~x2671 ~x4360 ~x1601 ~x3514 ~x755 x2446 ~x2672 ~x4361 ~x1602
80.69/81.00 v ~x3515 ~x756 ~x2447 ~x2673 ~x4362 ~x1603 ~x3516 ~x757 ~x2448 ~x2674
80.69/81.00 v ~x4363 ~x1604 x3517 ~x758 ~x2449 ~x2675 ~x4364 ~x1605 ~x3518 ~x759
80.69/81.00 v ~x2450 ~x2676 ~x4365 ~x1606 ~x3519 ~x760 ~x2451 ~x2677 ~x4366 ~x1607
80.69/81.00 v ~x3520 ~x761 ~x2452 ~x2678 ~x4367 ~x1608 ~x3521 ~x762 ~x2453 ~x2679
80.69/81.00 v ~x4368 ~x1609 ~x3522 ~x763 ~x2454 ~x2680 ~x4369 ~x1610 ~x3523 ~x764
80.69/81.00 v ~x2455 ~x2681 ~x4370 ~x1611 ~x3524 ~x765 x2456 ~x2682 ~x4371 ~x1612
80.69/81.00 v ~x3525 ~x766 ~x2457 ~x2683 ~x4372 x1613 ~x3526 ~x767 ~x2458 ~x2684
80.69/81.00 v ~x4373 ~x1614 ~x3527 ~x768 ~x2459 x2685 ~x4374 ~x1615 ~x3528 ~x769
80.69/81.00 v ~x2460 ~x2686 ~x4375 ~x1616 ~x3529 ~x770 ~x2461 x2687 ~x4376 ~x1617
80.69/81.00 v ~x3530 ~x771 ~x2462 ~x2688 x4377 ~x1618 ~x3531 ~x772 ~x2463 ~x2689
80.69/81.00 v ~x4378 ~x1619 ~x3532 ~x773 ~x2464 x2690 x4379 ~x1620 ~x3533 ~x774
80.69/81.00 v ~x2465 ~x2691 ~x4380 ~x1621 ~x3534 ~x775 ~x2466 ~x2692 ~x4381 ~x1622
80.69/81.00 v ~x3535 ~x776 ~x2467 ~x2693 ~x4382 ~x1623 ~x3536 ~x777 ~x2468 x2694
80.69/81.00 v ~x4383 ~x1624 ~x3537 ~x778 ~x2469 ~x2695 ~x4384 ~x1625 ~x3538 ~x779
80.69/81.00 v ~x2470 ~x2696 ~x4385 ~x1626 x3539 ~x780 ~x2471 ~x2697 ~x4386 ~x1627
80.69/81.00 v ~x3540 ~x781 ~x2472 ~x2698 ~x4387 ~x1628 ~x3541 x782 ~x2473 ~x2699
80.69/81.00 v ~x4388 ~x1629 ~x3542 ~x783 ~x2474 x2700 ~x4389 ~x1630 x3543 ~x784
80.69/81.00 v ~x2475 ~x2701 ~x4390 ~x1631 ~x3544 ~x785 ~x2476 ~x2702 ~x4391 ~x1632
80.69/81.00 v ~x3545 ~x786 ~x2477 ~x2703 ~x4392 ~x1633 ~x3546 ~x787 ~x2478 ~x2704
80.69/81.00 v ~x4393 ~x1634 ~x3547 ~x788 ~x2479 ~x2705 ~x4394 ~x1635 ~x3548 ~x789
80.69/81.00 v ~x2480 ~x2706 ~x4395 ~x1636 ~x3549 ~x790 ~x2481 ~x2707 ~x4396 ~x1637
80.69/81.00 v ~x3550 ~x791 ~x2482 ~x2708 ~x4397 ~x1638 ~x3551 ~x792 ~x2483 ~x2709
80.69/81.00 v ~x4398 ~x1639 ~x3552 ~x793 ~x2484 ~x4399 ~x1640 ~x3553 ~x794 ~x2485
80.69/81.00 v ~x2710 ~x4400 ~x1641 ~x3554 ~x795 ~x2486 ~x2711 ~x4401 ~x1642 ~x3555
80.69/81.00 v ~x796 ~x2487 ~x2712 ~x4402 ~x1643 ~x3556 ~x797 ~x2488 ~x2713 ~x4403
80.69/81.00 v ~x1644 ~x3557 ~x798 ~x2489 ~x2714 ~x4404 ~x1645 ~x3558 ~x799 ~x2490
80.69/81.00 v ~x2715 ~x4405 ~x1646 ~x3559 ~x800 ~x2491 ~x2716 ~x4406 ~x1647 ~x3560
80.69/81.00 v ~x801 ~x2492 ~x2717 ~x4407 ~x1648 ~x3561 ~x802 ~x2493 ~x2718 ~x4408
80.69/81.00 v ~x1649 ~x3562 ~x803 ~x2494 ~x2719 ~x4409 ~x1650 ~x3563 ~x804 ~x2495
80.69/81.00 v ~x2720 ~x4410 ~x1651 ~x3564 ~x805 ~x2496 ~x2721 ~x4411 ~x1652 ~x3565
80.69/81.00 v ~x806 ~x2497 ~x2722 ~x4412 ~x1653 ~x3566 ~x807 ~x2498 ~x2723 ~x4413
80.69/81.00 v ~x1654 ~x3567 ~x808 ~x2499 ~x2724 ~x4414 ~x1655 ~x3568 ~x809 ~x2500
80.69/81.00 v ~x2725 ~x4415 ~x1656 ~x3569 ~x810 ~x2726 ~x4416 ~x1657 ~x3570 ~x811
80.69/81.00 v ~x2727 x4417 ~x1658 x3571 ~x812 ~x2728 ~x4418 ~x1659 ~x3572 ~x813
80.69/81.00 v ~x2729 ~x4419 ~x1660 ~x3573 ~x814 ~x2730 ~x4420 ~x1661 ~x3574 ~x815
80.69/81.00 v ~x2731 ~x4421 ~x1662 ~x3575 ~x816 ~x2732 ~x4422 ~x1663 ~x3576 ~x817
80.69/81.00 v ~x2733 ~x4423 ~x1664 ~x3577 ~x818 ~x2734 ~x4424 ~x1665 ~x3578 ~x819
80.69/81.00 v ~x2735 ~x4425 ~x1666 ~x3579 ~x820 ~x2736 ~x4426 ~x1667 ~x3580 ~x821
80.69/81.00 v ~x2737 ~x4427 ~x1668 x3581 ~x822 ~x2738 ~x4428 ~x1669 x3582 ~x823
80.69/81.00 v ~x2739 ~x4429 ~x1670 ~x3583 ~x824 ~x2740 ~x4430 ~x1671 ~x3584 ~x825
80.69/81.00 v ~x2741 ~x4431 ~x1672 ~x3585 ~x826 ~x2742 ~x4432 ~x1673 x3586 ~x827
80.69/81.00 v ~x2743 ~x4433 ~x1674 ~x3587 ~x828 ~x2744 ~x4434 ~x1675 ~x3588 x829
80.69/81.00 v ~x2745 ~x4435 ~x1676 ~x3589 ~x830 ~x2746 ~x4436 ~x1677 ~x3590 ~x831
80.69/81.00 v ~x2747 x4437 ~x1678 ~x3591 ~x832 x2748 x4438 ~x1679 ~x3592 ~x833
80.69/81.00 v ~x2749 ~x4439 x1680 ~x3593 ~x834 ~x2750 ~x4440 ~x1681 ~x3594 ~x835
80.69/81.00 v ~x2751 ~x4441 ~x1682 ~x3595 ~x836 ~x2752 ~x4442 ~x1683 ~x3596 ~x837
80.69/81.00 v ~x2753 ~x4443 ~x1684 ~x3597 ~x838 ~x2754 x4444 ~x1685 ~x3598 ~x839
80.69/81.00 v ~x2755 ~x4445 ~x1686 ~x3599 ~x840 ~x2756 ~x4446 ~x1687 ~x3600 ~x841
80.69/81.00 v ~x2757 ~x4447 ~x1688 ~x3601 ~x842 ~x2758 ~x4448 ~x1689 ~x3602 ~x843
80.69/81.00 v ~x2759 ~x4449 ~x1690 ~x3603 ~x844 ~x2760 ~x4450 ~x1691 ~x3604 ~x845
80.69/81.00 v x2761 ~x4451 ~x1692 ~x3605 ~x846 ~x2762 ~x4452 ~x1693 ~x3606 ~x847
80.69/81.00 v ~x2763 ~x4453 ~x1694 ~x3607 ~x848 ~x2764 ~x4454 ~x1695 ~x3608 ~x849
80.69/81.00 v ~x2765 ~x4455 ~x1696 ~x3609 ~x850 x2766 ~x4456 ~x1697 ~x3610 ~x851
80.69/81.00 v ~x2767 ~x4457 ~x1698 ~x3611 ~x852 ~x2768 ~x4458 ~x1699 ~x3612 ~x853
80.69/81.00 v ~x2769 ~x4459 ~x1700 ~x3613 ~x854 ~x2770 x4460 ~x1701 ~x3614 ~x855
80.69/81.00 v ~x2771 ~x4461 ~x1702 ~x3615 ~x856 ~x2772 ~x4462 ~x1703 ~x3616 ~x857
80.69/81.00 v ~x2773 ~x4463 ~x1704 ~x3617 ~x858 ~x2774 ~x4464 ~x1705 ~x3618 ~x859
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: 63665 MiB (59966 MiB free)
memory of node 1: 64507 MiB (58784 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494341-1751153592/watcher-4494341-1751153592 -o /tmp/evaluation-result-4494341-1751153592/solver-4494341-1751153592 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751146126-15229 --watchdog 3760 pb_picat HOME/instance-4494341-1751153592.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=17488, runsolver pid=17485
[startup+0.10006 s]*
/proc/loadavg: 4.04 4.10 4.08 5/264 17489
/proc/meminfo: memFree=121510408/131250000 swapFree=33010684/33010684
[pid=17488] ppid=17485 vsize=2027148 memory=36608 CPUtime=0.09 cores=4,6
/proc/17488/stat : 17488 (pb_picat) R 17485 17488 15215 0 -1 4194304 1112 0 0 0 9 0 0 0 20 0 1 0 31039537 2075799552 9152 18446744073709551615 93935473709056 93935475110637 140720878664880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93935475382064 93935477256368 93935494914048 140720878672286 140720878672362 140720878672362 140720878677964 0
/proc/17488/statm: 506787 9152 1568 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36608 KiB
[startup+0.205764 s]*
/proc/loadavg: 4.04 4.10 4.08 5/264 17489
/proc/meminfo: memFree=121444872/131250000 swapFree=33010684/33010684
[pid=17488] ppid=17485 vsize=2027148 memory=55044 CPUtime=0.19 cores=4,6
/proc/17488/stat : 17488 (pb_picat) R 17485 17488 15215 0 -1 4194304 1122 0 0 0 19 0 0 0 20 0 1 0 31039537 2075799552 13761 18446744073709551615 93935473709056 93935475110637 140720878664880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93935475382064 93935477256368 93935494914048 140720878672286 140720878672362 140720878672362 140720878677964 0
/proc/17488/statm: 506787 13761 1568 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 55044 KiB
[startup+0.305706 s]*
/proc/loadavg: 4.04 4.10 4.08 5/264 17489
/proc/meminfo: memFree=121379336/131250000 swapFree=33010684/33010684
[pid=17488] ppid=17485 vsize=2027148 memory=71428 CPUtime=0.3 cores=4,6
/proc/17488/stat : 17488 (pb_picat) R 17485 17488 15215 0 -1 4194304 1130 0 0 0 29 1 0 0 20 0 1 0 31039537 2075799552 17857 18446744073709551615 93935473709056 93935475110637 140720878664880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93935475382064 93935477256368 93935494914048 140720878672286 140720878672362 140720878672362 140720878677964 0
/proc/17488/statm: 506787 17857 1568 343 0 503851 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 71428 KiB
[startup+0.700183 s]
/proc/loadavg: 4.04 4.10 4.08 5/264 17489
/proc/meminfo: memFree=121214740/131250000 swapFree=33010684/33010684
[pid=17488] ppid=17485 vsize=2027148 memory=143112 CPUtime=0.68 cores=4,6
/proc/17488/stat : 17488 (pb_picat) R 17485 17488 15215 0 -1 4194304 1166 0 0 0 66 2 0 0 20 0 1 0 31039537 2075799552 35778 18446744073709551615 93935473709056 93935475110637 140720878664880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93935475382064 93935477256368 93935494914048 140720878672286 140720878672362 140720878672362 140720878677964 0
/proc/17488/statm: 506787 35778 1568 343 0 503851 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 143112 KiB
[startup+1.50013 s]
/proc/loadavg: 4.04 4.10 4.08 5/264 17489
/proc/meminfo: memFree=121084740/131250000 swapFree=33010684/33010684
[pid=17488] ppid=17485 vsize=2027148 memory=284428 CPUtime=1.48 cores=4,6
/proc/17488/stat : 17488 (pb_picat) R 17485 17488 15215 0 -1 4194304 1236 0 0 0 143 5 0 0 20 0 1 0 31039537 2075799552 71107 18446744073709551615 93935473709056 93935475110637 140720878664880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93935475382064 93935477256368 93935494914048 140720878672286 140720878672362 140720878672362 140720878677964 0
/proc/17488/statm: 506787 71107 1568 343 0 503851 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 284428 KiB
[startup+3.1056 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 17489
/proc/meminfo: memFree=121080944/131250000 swapFree=33010684/33010684
[pid=17488] ppid=17485 vsize=2027148 memory=573200 CPUtime=3.09 cores=4,6
/proc/17488/stat : 17488 (pb_picat) R 17485 17488 15215 0 -1 4194304 1410 0 0 0 298 11 0 0 20 0 1 0 31039537 2075799552 143300 18446744073709551615 93935473709056 93935475110637 140720878664880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93935475382064 93935477256368 93935494914048 140720878672286 140720878672362 140720878672362 140720878677964 0
/proc/17488/statm: 506787 143300 1568 343 0 503851 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 573200 KiB
[startup+6.30012 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 17489
/proc/meminfo: memFree=119520224/131250000 swapFree=33010684/33010684
[pid=17488] ppid=17485 vsize=2027148 memory=1154840 CPUtime=6.27 cores=4,6
/proc/17488/stat : 17488 (pb_picat) R 17485 17488 15215 0 -1 4194304 1706 0 0 0 605 22 0 0 20 0 1 0 31039537 2075799552 288710 18446744073709551615 93935473709056 93935475110637 140720878664880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93935475382064 93935477256368 93935494914048 140720878672286 140720878672362 140720878672362 140720878677964 0
/proc/17488/statm: 506787 288710 1568 343 0 503851 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 1154840 KiB
[startup+12.7001 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 17489
/proc/meminfo: memFree=117898744/131250000 swapFree=33010684/33010684
[pid=17488] ppid=17485 vsize=2027148 memory=1902368 CPUtime=12.66 cores=4,6
/proc/17488/stat : 17488 (pb_picat) R 17485 17488 15215 0 -1 4194304 2267 0 0 0 1229 37 0 0 20 0 1 0 31039537 2075799552 475592 18446744073709551615 93935473709056 93935475110637 140720878664880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93935475382064 93935477256368 93935494914048 140720878672286 140720878672362 140720878672362 140720878677964 0
/proc/17488/statm: 506787 475592 1568 343 0 503851 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 1902368 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 17489
/proc/meminfo: memFree=114948568/131250000 swapFree=33010684/33010684
[pid=17488] ppid=17485 vsize=8224004 memory=4568856 CPUtime=25.43 cores=4,6
/proc/17488/stat : 17488 (pb_picat) R 17485 17488 15215 0 -1 4194304 7193 0 0 0 2445 98 0 0 20 0 1 0 31039537 8421380096 1142214 18446744073709551615 93935473709056 93935475110637 140720878664880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93935475382064 93935477256368 93935494914048 140720878672286 140720878672362 140720878672362 140720878677964 0
/proc/17488/statm: 2056001 1142214 1600 343 0 2053065 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 8224004 KiB
Current children cumulated memory: 4568856 KiB
[startup+51.1056 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 17504
/proc/meminfo: memFree=119506020/131250000 swapFree=33010684/33010684
[pid=17488] ppid=17485 vsize=7528668 memory=4340280 CPUtime=50.97 cores=4,6
/proc/17488/stat : 17488 (pb_picat) R 17485 17488 15215 0 -1 4194304 46555 0 0 0 4856 241 0 0 20 0 1 0 31039537 7709356032 1085070 18446744073709551615 93935473709056 93935475110637 140720878664880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93935475382064 93935477256368 93935494914048 140720878672286 140720878672362 140720878672362 140720878677964 0
/proc/17488/statm: 1882167 1085070 1728 343 0 1879231 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 7528668 KiB
Current children cumulated memory: 4340280 KiB
[startup+81.026 s]
# the end of solver process 17488 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=78.0958 s, system=2.72742 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 17504
/proc/meminfo: memFree=119506020/131250000 swapFree=33010684/33010684
[pid=17488] ppid=17485 vsize=7528668 memory=4348472 CPUtime=51.07 cores=4,6
/proc/17488/stat : 17488 (pb_picat) R 17485 17488 15215 0 -1 4194304 46614 0 0 0 4865 242 0 0 20 0 1 0 31039537 7709356032 1087118 18446744073709551615 93935473709056 93935475110637 140720878664880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93935475382064 93935477256368 93935494914048 140720878672286 140720878672362 140720878672362 140720878677964 0
/proc/17488/statm: 1882167 1087118 1728 343 0 1879231 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 7528668 KiB
Current children cumulated memory: 4348472 KiB
[startup+64.0001 s]*
/proc/loadavg: 4.17 4.12 4.09 6/263 17554
/proc/meminfo: memFree=122066296/131250000 swapFree=33010684/33010684
[pid=17488] ppid=17485 vsize=7549104 memory=4512372 CPUtime=63.85 cores=4,6
/proc/17488/stat : 17488 (pb_picat) R 17485 17488 15215 0 -1 4194304 62008 0 0 0 6128 257 0 0 20 0 1 0 31039537 7730282496 1128093 18446744073709551615 93935473709056 93935475110637 140720878664880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93935475382064 93935477256368 93935494914048 140720878672286 140720878672362 140720878672362 140720878677964 0
/proc/17488/statm: 1887276 1128093 1728 343 0 1884340 0
Current children cumulated CPU time: 63.85 s
Current children cumulated vsize: 7549104 KiB
Current children cumulated memory: 4512372 KiB
[startup+70.4001 s]
/proc/loadavg: 4.16 4.12 4.09 6/262 17554
/proc/meminfo: memFree=121322956/131250000 swapFree=33010684/33010684
[pid=17488] ppid=17485 vsize=7552908 memory=4385104 CPUtime=70.22 cores=4,6
/proc/17488/stat : 17488 (pb_picat) R 17485 17488 15215 0 -1 4194304 63964 0 0 0 6759 263 0 0 20 0 1 0 31039537 7734177792 1096276 18446744073709551615 93935473709056 93935475110637 140720878664880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93935475382064 93935477256368 93935494914048 140720878672286 140720878672362 140720878672362 140720878677964 0
/proc/17488/statm: 1888227 1096276 1728 343 0 1885291 0
Current children cumulated CPU time: 70.22 s
Current children cumulated vsize: 7552908 KiB
Current children cumulated memory: 4385104 KiB
[startup+76.8001 s]
/proc/loadavg: 4.14 4.12 4.09 6/263 17585
/proc/meminfo: memFree=120410776/131250000 swapFree=33010684/33010684
[pid=17488] ppid=17485 vsize=7552908 memory=4501840 CPUtime=76.6 cores=4,6
/proc/17488/stat : 17488 (pb_picat) R 17485 17488 15215 0 -1 4194304 65127 0 0 0 7394 266 0 0 20 0 1 0 31039537 7734177792 1125460 18446744073709551615 93935473709056 93935475110637 140720878664880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93935475382064 93935477256368 93935494914048 140720878672286 140720878672362 140720878672362 140720878677964 0
/proc/17488/statm: 1888227 1125460 1728 343 0 1885291 0
Current children cumulated CPU time: 76.6 s
Current children cumulated vsize: 7552908 KiB
Current children cumulated memory: 4501840 KiB
[startup+78.4001 s]
/proc/loadavg: 4.13 4.11 4.09 6/263 17585
/proc/meminfo: memFree=120529364/131250000 swapFree=33010684/33010684
[pid=17488] ppid=17485 vsize=7552908 memory=4501840 CPUtime=78.2 cores=4,6
/proc/17488/stat : 17488 (pb_picat) R 17485 17488 15215 0 -1 4194304 76353 0 0 0 7550 270 0 0 20 0 1 0 31039537 7734177792 1125460 18446744073709551615 93935473709056 93935475110637 140720878664880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93935475382064 93935477256368 93935494914048 140720878672286 140720878672362 140720878672362 140720878677964 0
/proc/17488/statm: 1888227 1125460 1728 343 0 1885291 0
Current children cumulated CPU time: 78.2 s
Current children cumulated vsize: 7552908 KiB
Current children cumulated memory: 4501840 KiB
[startup+80.0001 s]*
/proc/loadavg: 4.13 4.11 4.09 6/263 17585
/proc/meminfo: memFree=120219452/131250000 swapFree=33010684/33010684
[pid=17488] ppid=17485 vsize=7552908 memory=4503888 CPUtime=79.8 cores=4,6
/proc/17488/stat : 17488 (pb_picat) R 17485 17488 15215 0 -1 4194304 76437 0 0 0 7710 270 0 0 20 0 1 0 31039537 7734177792 1125972 18446744073709551615 93935473709056 93935475110637 140720878664880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93935475382064 93935477256368 93935494914048 140720878672286 140720878672362 140720878672362 140720878677964 0
/proc/17488/statm: 1888227 1125972 1728 343 0 1885291 0
Current children cumulated CPU time: 79.8 s
Current children cumulated vsize: 7552908 KiB
Current children cumulated memory: 4503888 KiB
[startup+80.8001 s]
/proc/loadavg: 4.13 4.11 4.09 6/263 17585
/proc/meminfo: memFree=120219452/131250000 swapFree=33010684/33010684
[pid=17488] ppid=17485 vsize=7552908 memory=4503888 CPUtime=80.59 cores=4,6
/proc/17488/stat : 17488 (pb_picat) R 17485 17488 15215 0 -1 4194304 76437 0 0 0 7789 270 0 0 20 0 1 0 31039537 7734177792 1125972 18446744073709551615 93935473709056 93935475110637 140720878664880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93935475382064 93935477256368 93935494914048 140720878672286 140720878672362 140720878672362 140720878677964 0
/proc/17488/statm: 1888227 1125972 1728 343 0 1885291 0
Current children cumulated CPU time: 80.59 s
Current children cumulated vsize: 7552908 KiB
Current children cumulated memory: 4503888 KiB
[startup+81.0077 s]*
/proc/loadavg: 4.13 4.11 4.09 6/263 17585
/proc/meminfo: memFree=120234164/131250000 swapFree=33010684/33010684
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): 81.0261
CPU time (s): 80.8233
CPU user time (s): 78.0958
CPU system time (s): 2.72742
CPU usage (%): 99.7497
Max. virtual memory (cumulated for all children) (KiB): 8224004
Max. memory (cumulated for all children) (KiB): 4628332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 78.0958
system time used= 2.72742
maximum resident set size= 4631684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76443
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67
involuntary context switches= 117
# summary of solver processes directly reported to runsolver:
# pid: 17488
# total CPU time (s): 80.8233
# total CPU user time (s): 78.0958
# total CPU system time (s): 2.72742
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.135103 second user time and 0.3976 second system time
The end
Begin job on nodeC013 at 2025-06-29 01:33:13
IDJOB=4494341
IDBENCH=147888
IDSOLVER=3346
FILE ID=nodeC013/4494341-1751153592
RUNJOBID= nodeC013-1751146126-15229
SLURM_JOB_ID= 9587455
Free space on /tmp= 432784 MiB
SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4494341-1751153592/watcher-4494341-1751153592 -o /tmp/evaluation-result-4494341-1751153592/solver-4494341-1751153592 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751146126-15229 --watchdog 3760 pb_picat HOME/instance-4494341-1751153592.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2365fef7cfc1138f9264574544964d48
RANDOM SEED=1162641617
nodeC013 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.863
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3599.832
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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.132
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3700.000
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3601.898
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3599.893
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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.841
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3619.871
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 121637256 kB
MemAvailable: 121439220 kB
Buffers: 3280 kB
Cached: 608180 kB
SwapCached: 0 kB
Active: 8563264 kB
Inactive: 414488 kB
Active(anon): 8379576 kB
Inactive(anon): 0 kB
Active(file): 183688 kB
Inactive(file): 414488 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 224444 kB
Writeback: 24396 kB
AnonPages: 8369704 kB
Mapped: 108060 kB
Shmem: 13284 kB
KReclaimable: 85652 kB
Slab: 167864 kB
SReclaimable: 85652 kB
SUnreclaim: 82212 kB
KernelStack: 4272 kB
PageTables: 19260 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 17562212 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 7434240 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432912 MiB
End job on nodeC013 at 2025-06-29 01:34:34