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