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

OK	20

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (54545 MiB free)
  memory of node 1: 64465 MiB (52350 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528396-1752240158/watcher-4528396-1752240158 -o /tmp/evaluation-result-4528396-1752240158/solver-4528396-1752240158 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1752238557-112279 --watchdog 3760 pb_picat HOME/instance-4528396-1752240158.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=112650, runsolver pid=112647

[startup+0.100066 s]*
/proc/loadavg: 4.07 4.09 4.01 5/264 112651
/proc/meminfo: memFree=109432420/131249996 swapFree=33010160/33010684
[pid=112650] ppid=112647 vsize=2027148 memory=36520 CPUtime=0.09 cores=0,2
/proc/112650/stat : 112650 (pb_picat) R 112647 112650 110812 0 -1 4194304 1121 0 0 0 9 0 0 0 20 0 1 0 139694441 2075799552 9130 18446744073709551615 94157617393664 94157618795245 140731497199008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94157619066672 94157620940912 94157633294336 140731497204124 140731497204200 140731497204200 140731497209804 0
/proc/112650/statm: 506787 9130 1536 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36520 KiB

[startup+0.205509 s]*
/proc/loadavg: 4.07 4.09 4.01 5/264 112651
/proc/meminfo: memFree=109420132/131249996 swapFree=33010160/33010684
[pid=112650] ppid=112647 vsize=2040516 memory=55348 CPUtime=0.2 cores=0,2
/proc/112650/stat : 112650 (pb_picat) R 112647 112650 110812 0 -1 4194304 2356 0 0 0 18 2 0 0 20 0 1 0 139694441 2089488384 13837 18446744073709551615 94157617393664 94157618795245 140731497199008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94157619066672 94157620940912 94157633294336 140731497204124 140731497204200 140731497204200 140731497209804 0
/proc/112650/statm: 510129 13837 1696 343 0 507193 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2040516 KiB
Current children cumulated memory: 55348 KiB

[startup+0.305431 s]*
/proc/loadavg: 4.07 4.09 4.01 5/264 112651
/proc/meminfo: memFree=109418368/131249996 swapFree=33010160/33010684
[pid=112650] ppid=112647 vsize=2043304 memory=57300 CPUtime=0.3 cores=0,2
/proc/112650/stat : 112650 (pb_picat) R 112647 112650 110812 0 -1 4194304 3181 0 0 0 28 2 0 0 20 0 1 0 139694441 2092343296 14325 18446744073709551615 94157617393664 94157618795245 140731497199008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94157619066672 94157620940912 94157633294336 140731497204124 140731497204200 140731497204200 140731497209804 0
/proc/112650/statm: 510826 14325 1696 343 0 507890 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2043304 KiB
Current children cumulated memory: 57300 KiB

[startup+0.700207 s]
/proc/loadavg: 4.07 4.09 4.01 5/264 112651
/proc/meminfo: memFree=109417624/131249996 swapFree=33010160/33010684
[pid=112650] ppid=112647 vsize=2043304 memory=58124 CPUtime=0.69 cores=0,2
/proc/112650/stat : 112650 (pb_picat) R 112647 112650 110812 0 -1 4194304 3868 0 0 0 67 2 0 0 20 0 1 0 139694441 2092343296 14531 18446744073709551615 94157617393664 94157618795245 140731497199008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94157619066672 94157620940912 94157633294336 140731497204124 140731497204200 140731497204200 140731497209804 0
/proc/112650/statm: 510826 14531 1696 343 0 507890 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2043304 KiB
Current children cumulated memory: 58124 KiB

[startup+1.50018 s]
/proc/loadavg: 4.07 4.09 4.01 5/264 112651
/proc/meminfo: memFree=109411764/131249996 swapFree=33010160/33010684
[pid=112650] ppid=112647 vsize=2046816 memory=62488 CPUtime=1.47 cores=0,2
/proc/112650/stat : 112650 (pb_picat) R 112647 112650 110812 0 -1 4194304 6512 0 0 0 145 2 0 0 20 0 1 0 139694441 2095939584 15622 18446744073709551615 94157617393664 94157618795245 140731497199008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94157619066672 94157620940912 94157633294336 140731497204124 140731497204200 140731497204200 140731497209804 0
/proc/112650/statm: 511704 15622 1696 343 0 508768 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2046816 KiB
Current children cumulated memory: 62488 KiB

[startup+3.10531 s]
/proc/loadavg: 4.07 4.09 4.01 5/264 112651
/proc/meminfo: memFree=109407984/131249996 swapFree=33010160/33010684
[pid=112650] ppid=112647 vsize=2048868 memory=64000 CPUtime=3.08 cores=0,2
/proc/112650/stat : 112650 (pb_picat) R 112647 112650 110812 0 -1 4194304 8749 0 0 0 305 3 0 0 20 0 1 0 139694441 2098040832 16000 18446744073709551615 94157617393664 94157618795245 140731497199008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94157619066672 94157620940912 94157633294336 140731497204124 140731497204200 140731497204200 140731497209804 0
/proc/112650/statm: 512217 16000 1696 343 0 509281 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2048868 KiB
Current children cumulated memory: 64000 KiB

[startup+6.30017 s]
/proc/loadavg: 4.06 4.09 4.01 5/264 112651
/proc/meminfo: memFree=109403928/131249996 swapFree=33010160/33010684
[pid=112650] ppid=112647 vsize=2052668 memory=67140 CPUtime=6.27 cores=0,2
/proc/112650/stat : 112650 (pb_picat) R 112647 112650 110812 0 -1 4194304 10787 0 0 0 623 4 0 0 20 0 1 0 139694441 2101932032 16785 18446744073709551615 94157617393664 94157618795245 140731497199008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94157619066672 94157620940912 94157633294336 140731497204124 140731497204200 140731497204200 140731497209804 0
/proc/112650/statm: 513167 16785 1696 343 0 510231 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2052668 KiB
Current children cumulated memory: 67140 KiB

[startup+12.7002 s]
/proc/loadavg: 4.06 4.09 4.01 5/264 112651
/proc/meminfo: memFree=109396052/131249996 swapFree=33010160/33010684
[pid=112650] ppid=112647 vsize=2056768 memory=72880 CPUtime=12.65 cores=0,2
/proc/112650/stat : 112650 (pb_picat) R 112647 112650 110812 0 -1 4194304 13690 0 0 0 1260 5 0 0 20 0 1 0 139694441 2106130432 18220 18446744073709551615 94157617393664 94157618795245 140731497199008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94157619066672 94157620940912 94157633294336 140731497204124 140731497204200 140731497204200 140731497209804 0
/proc/112650/statm: 514192 18220 1696 343 0 511256 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2056768 KiB
Current children cumulated memory: 72880 KiB

[startup+25.5002 s]
/proc/loadavg: 4.05 4.09 4.00 5/264 112651
/proc/meminfo: memFree=109389916/131249996 swapFree=33010160/33010684
[pid=112650] ppid=112647 vsize=2052388 memory=67424 CPUtime=25.42 cores=0,2
/proc/112650/stat : 112650 (pb_picat) R 112647 112650 110812 0 -1 4194304 15307 0 0 0 2536 6 0 0 20 0 1 0 139694441 2101645312 16856 18446744073709551615 94157617393664 94157618795245 140731497199008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94157619066672 94157620940912 94157633294336 140731497204124 140731497204200 140731497204200 140731497209804 0
/proc/112650/statm: 513097 16856 1696 343 0 510161 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2052388 KiB
Current children cumulated memory: 67424 KiB

[startup+51.1053 s]
/proc/loadavg: 4.09 4.09 4.01 5/264 112652
/proc/meminfo: memFree=109388152/131249996 swapFree=33010160/33010684
[pid=112650] ppid=112647 vsize=2056488 memory=70052 CPUtime=50.95 cores=0,2
/proc/112650/stat : 112650 (pb_picat) R 112647 112650 110812 0 -1 4194304 39680 0 0 0 5084 11 0 0 20 0 1 0 139694441 2105843712 17513 18446744073709551615 94157617393664 94157618795245 140731497199008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94157619066672 94157620940912 94157633294336 140731497204124 140731497204200 140731497204200 140731497209804 0
/proc/112650/statm: 514122 17513 1696 343 0 511186 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2056488 KiB
Current children cumulated memory: 70052 KiB

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

# cumulated CPU time of all completed processes:  user=80.9926 s, system=0.216319 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.09 4.01 5/264 112652
/proc/meminfo: memFree=109388152/131249996 swapFree=33010160/33010684
[pid=112650] ppid=112647 vsize=2056488 memory=70820 CPUtime=51.04 cores=0,2
/proc/112650/stat : 112650 (pb_picat) R 112647 112650 110812 0 -1 4194304 39880 0 0 0 5093 11 0 0 20 0 1 0 139694441 2105843712 17705 18446744073709551615 94157617393664 94157618795245 140731497199008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94157619066672 94157620940912 94157633294336 140731497204124 140731497204200 140731497204200 140731497209804 0
/proc/112650/statm: 514122 17705 1696 343 0 511186 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 2056488 KiB
Current children cumulated memory: 70820 KiB

[startup+64.0002 s]*
/proc/loadavg: 4.16 4.11 4.01 5/264 112653
/proc/meminfo: memFree=109388044/131249996 swapFree=33010160/33010684
[pid=112650] ppid=112647 vsize=2056488 memory=70940 CPUtime=63.81 cores=0,2
/proc/112650/stat : 112650 (pb_picat) R 112647 112650 110812 0 -1 4194304 52087 0 0 0 6366 15 0 0 20 0 1 0 139694441 2105843712 17735 18446744073709551615 94157617393664 94157618795245 140731497199008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94157619066672 94157620940912 94157633294336 140731497204124 140731497204200 140731497204200 140731497209804 0
/proc/112650/statm: 514122 17735 1696 343 0 511186 0
Current children cumulated CPU time: 63.81 s
Current children cumulated vsize: 2056488 KiB
Current children cumulated memory: 70940 KiB

[startup+70.4002 s]
/proc/loadavg: 4.22 4.12 4.02 5/264 112653
/proc/meminfo: memFree=109388044/131249996 swapFree=33010160/33010684
[pid=112650] ppid=112647 vsize=2056488 memory=71544 CPUtime=70.18 cores=0,2
/proc/112650/stat : 112650 (pb_picat) R 112647 112650 110812 0 -1 4194304 59264 0 0 0 7001 17 0 0 20 0 1 0 139694441 2105843712 17886 18446744073709551615 94157617393664 94157618795245 140731497199008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94157619066672 94157620940912 94157633294336 140731497204124 140731497204200 140731497204200 140731497209804 0
/proc/112650/statm: 514122 17886 1696 343 0 511186 0
Current children cumulated CPU time: 70.18 s
Current children cumulated vsize: 2056488 KiB
Current children cumulated memory: 71544 KiB

[startup+76.8002 s]
/proc/loadavg: 4.34 4.15 4.03 5/264 112653
/proc/meminfo: memFree=109388044/131249996 swapFree=33010160/33010684
[pid=112650] ppid=112647 vsize=2056488 memory=72440 CPUtime=76.57 cores=0,2
/proc/112650/stat : 112650 (pb_picat) R 112647 112650 110812 0 -1 4194304 66628 0 0 0 7637 20 0 0 20 0 1 0 139694441 2105843712 18110 18446744073709551615 94157617393664 94157618795245 140731497199008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94157619066672 94157620940912 94157633294336 140731497204124 140731497204200 140731497204200 140731497209804 0
/proc/112650/statm: 514122 18110 1696 343 0 511186 0
Current children cumulated CPU time: 76.57 s
Current children cumulated vsize: 2056488 KiB
Current children cumulated memory: 72440 KiB

[startup+80.0002 s]*
/proc/loadavg: 4.34 4.15 4.03 5/264 112653
/proc/meminfo: memFree=109388044/131249996 swapFree=33010160/33010684
[pid=112650] ppid=112647 vsize=2048636 memory=63872 CPUtime=79.77 cores=0,2
/proc/112650/stat : 112650 (pb_picat) R 112647 112650 110812 0 -1 4194304 68517 0 0 0 7956 21 0 0 20 0 1 0 139694441 2097803264 15968 18446744073709551615 94157617393664 94157618795245 140731497199008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94157619066672 94157620940912 94157633294336 140731497204124 140731497204200 140731497204200 140731497209804 0
/proc/112650/statm: 512159 15968 1696 343 0 509223 0
Current children cumulated CPU time: 79.77 s
Current children cumulated vsize: 2048636 KiB
Current children cumulated memory: 63872 KiB

[startup+80.8002 s]
/proc/loadavg: 4.34 4.15 4.03 5/264 112653
/proc/meminfo: memFree=109388044/131249996 swapFree=33010160/33010684
[pid=112650] ppid=112647 vsize=2048636 memory=64256 CPUtime=80.56 cores=0,2
/proc/112650/stat : 112650 (pb_picat) R 112647 112650 110812 0 -1 4194304 68618 0 0 0 8035 21 0 0 20 0 1 0 139694441 2097803264 16064 18446744073709551615 94157617393664 94157618795245 140731497199008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94157619066672 94157620940912 94157633294336 140731497204124 140731497204200 140731497204200 140731497209804 0
/proc/112650/statm: 512159 16064 1696 343 0 509223 0
Current children cumulated CPU time: 80.56 s
Current children cumulated vsize: 2048636 KiB
Current children cumulated memory: 64256 KiB

[startup+81.2002 s]
/proc/loadavg: 4.48 4.18 4.04 5/264 112653
/proc/meminfo: memFree=109388044/131249996 swapFree=33010160/33010684
[pid=112650] ppid=112647 vsize=2048636 memory=64256 CPUtime=80.96 cores=0,2
/proc/112650/stat : 112650 (pb_picat) R 112647 112650 110812 0 -1 4194304 68618 0 0 0 8075 21 0 0 20 0 1 0 139694441 2097803264 16064 18446744073709551615 94157617393664 94157618795245 140731497199008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94157619066672 94157620940912 94157633294336 140731497204124 140731497204200 140731497204200 140731497209804 0
/proc/112650/statm: 512159 16064 1696 343 0 509223 0
Current children cumulated CPU time: 80.96 s
Current children cumulated vsize: 2048636 KiB
Current children cumulated memory: 64256 KiB

[startup+81.4002 s]
/proc/loadavg: 4.48 4.18 4.04 5/264 112653
/proc/meminfo: memFree=109388044/131249996 swapFree=33010160/33010684
[pid=112650] ppid=112647 vsize=2048636 memory=64256 CPUtime=81.16 cores=0,2
/proc/112650/stat : 112650 (pb_picat) R 112647 112650 110812 0 -1 4194304 68618 0 0 0 8095 21 0 0 20 0 1 0 139694441 2097803264 16064 18446744073709551615 94157617393664 94157618795245 140731497199008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94157619066672 94157620940912 94157633294336 140731497204124 140731497204200 140731497204200 140731497209804 0
/proc/112650/statm: 512159 16064 1696 343 0 509223 0
Current children cumulated CPU time: 81.16 s
Current children cumulated vsize: 2048636 KiB
Current children cumulated memory: 64256 KiB

Child status: 0

Real time (s): 81.4445
CPU time (s): 81.2089
CPU user time (s): 80.9926
CPU system time (s): 0.216319
CPU usage (%): 99.7107
Max. virtual memory (cumulated for all children) (KiB): 2064680
Max. memory (cumulated for all children) (KiB): 76268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 80.9926
system time used= 0.216319
maximum resident set size= 76524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68622
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= 187


# summary of solver processes directly reported to runsolver:
#   pid: 112650
#   total CPU time (s): 81.2089
#   total CPU user time (s): 80.9926
#   total CPU system time (s): 0.216319

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.159961 second user time and 0.392686 second system time

The end

Begin job on nodeC032 at 2025-07-11 15:22:38
IDJOB=4528396
IDBENCH=148192
IDSOLVER=3385
FILE ID=nodeC032/4528396-1752240158
RUNJOBID= nodeC032-1752238557-112279
SLURM_JOB_ID= 9682543
Free space on /tmp= 429040 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528396-1752240158/watcher-4528396-1752240158 -o /tmp/evaluation-result-4528396-1752240158/solver-4528396-1752240158 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1752238557-112279 --watchdog 3760  pb_picat HOME/instance-4528396-1752240158.opb

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

MD5SUM BENCH= 2f5de9b63d0a2988dce846045b262c40
RANDOM SEED=1197473272

nodeC032 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		: 3622.315
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.69
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.850
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.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.813
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.69
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		: 3481.247
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.69
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.760
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.69
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.850
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.69
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		: 3608.700
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.69
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.706
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.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        109461844 kB
MemAvailable:   129390704 kB
Buffers:            2728 kB
Cached:         20604584 kB
SwapCached:           20 kB
Active:           715668 kB
Inactive:       20231376 kB
Active(anon):     354676 kB
Inactive(anon):     3124 kB
Active(file):     360992 kB
Inactive(file): 20228252 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4324 kB
Writeback:            20 kB
AnonPages:        340108 kB
Mapped:           116408 kB
Shmem:             18048 kB
KReclaimable:     357712 kB
Slab:             454616 kB
SReclaimable:     357712 kB
SUnreclaim:        96904 kB
KernelStack:        4268 kB
PageTables:         3844 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    6693652 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    188416 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 429036 MiB
End job on nodeC032 at 2025-07-11 15:24:00