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