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

OK	18

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: 63794 MiB (62466 MiB free)
  memory of node 1: 64507 MiB (62696 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528399-1752240138/watcher-4528399-1752240138 -o /tmp/evaluation-result-4528399-1752240138/solver-4528399-1752240138 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1752238731-113184 --watchdog 3760 pb_picat HOME/instance-4528399-1752240138.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=114303, runsolver pid=114300
Current StackSize limit: 8192 KiB


[startup+0.100075 s]*
/proc/loadavg: 4.09 4.14 4.02 5/250 114304
/proc/meminfo: memFree=128153168/131382112 swapFree=33009904/33010684
[pid=114303] ppid=114300 vsize=2027148 memory=23684 CPUtime=0.08 cores=5,7
/proc/114303/stat : 114303 (pb_picat) R 114300 114303 111409 0 -1 4194304 976 0 0 0 8 0 0 0 20 0 1 0 139692696 2075799552 5921 18446744073709551615 93923819429888 93923820831469 140732880196768 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 93923821102896 93923822977136 93923831963648 140732880198044 140732880198120 140732880198120 140732880203724 0
/proc/114303/statm: 506787 5921 1536 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 23684 KiB

[startup+0.214789 s]*
/proc/loadavg: 4.09 4.14 4.02 5/250 114304
/proc/meminfo: memFree=128144976/131382112 swapFree=33009904/33010684
[pid=114303] ppid=114300 vsize=2027148 memory=29844 CPUtime=0.18 cores=5,7
/proc/114303/stat : 114303 (pb_picat) R 114300 114303 111409 0 -1 4194304 984 0 0 0 18 0 0 0 20 0 1 0 139692696 2075799552 7461 18446744073709551615 93923819429888 93923820831469 140732880196768 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 93923821102896 93923822977136 93923831963648 140732880198044 140732880198120 140732880198120 140732880203724 0
/proc/114303/statm: 506787 7461 1536 343 0 503851 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 29844 KiB

[startup+0.313785 s]*
/proc/loadavg: 4.09 4.14 4.02 5/250 114304
/proc/meminfo: memFree=128136784/131382112 swapFree=33009904/33010684
[pid=114303] ppid=114300 vsize=2027148 memory=36004 CPUtime=0.27 cores=5,7
/proc/114303/stat : 114303 (pb_picat) R 114300 114303 111409 0 -1 4194304 991 0 0 0 27 0 0 0 20 0 1 0 139692696 2075799552 9001 18446744073709551615 93923819429888 93923820831469 140732880196768 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 93923821102896 93923822977136 93923831963648 140732880198044 140732880198120 140732880198120 140732880203724 0
/proc/114303/statm: 506787 9001 1536 343 0 503851 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36004 KiB

[startup+0.700237 s]
/proc/loadavg: 4.09 4.14 4.02 6/250 114304
/proc/meminfo: memFree=128125064/131382112 swapFree=33009904/33010684
[pid=114303] ppid=114300 vsize=2039440 memory=47888 CPUtime=0.62 cores=5,7
/proc/114303/stat : 114303 (pb_picat) R 114300 114303 111409 0 -1 4194304 2746 0 0 0 61 1 0 0 20 0 1 0 139692696 2088386560 11972 18446744073709551615 93923819429888 93923820831469 140732880196768 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 93923821102896 93923822977136 93923831963648 140732880198044 140732880198120 140732880198120 140732880203724 0
/proc/114303/statm: 509860 11972 1728 343 0 506924 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 2039440 KiB
Current children cumulated memory: 47888 KiB

[startup+1.50023 s]
/proc/loadavg: 4.09 4.14 4.02 5/250 114304
/proc/meminfo: memFree=128110004/131382112 swapFree=33009904/33010684
[pid=114303] ppid=114300 vsize=2046812 memory=54848 CPUtime=1.4 cores=5,7
/proc/114303/stat : 114303 (pb_picat) R 114300 114303 111409 0 -1 4194304 5700 0 0 0 138 2 0 0 20 0 1 0 139692696 2095935488 13712 18446744073709551615 93923819429888 93923820831469 140732880196768 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 93923821102896 93923822977136 93923831963648 140732880198044 140732880198120 140732880198120 140732880203724 0
/proc/114303/statm: 511703 13712 1728 343 0 508767 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 2046812 KiB
Current children cumulated memory: 54848 KiB

[startup+3.10599 s]
/proc/loadavg: 4.08 4.14 4.02 5/250 114304
/proc/meminfo: memFree=128181332/131382112 swapFree=33009904/33010684
[pid=114303] ppid=114300 vsize=2047704 memory=56280 CPUtime=2.98 cores=5,7
/proc/114303/stat : 114303 (pb_picat) R 114300 114303 111409 0 -1 4194304 7924 0 0 0 296 2 0 0 20 0 1 0 139692696 2096848896 14070 18446744073709551615 93923819429888 93923820831469 140732880196768 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 93923821102896 93923822977136 93923831963648 140732880198044 140732880198120 140732880198120 140732880203724 0
/proc/114303/statm: 511926 14070 1728 343 0 508990 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 2047704 KiB
Current children cumulated memory: 56280 KiB

[startup+6.30013 s]
/proc/loadavg: 4.08 4.14 4.02 5/250 114304
/proc/meminfo: memFree=128129912/131382112 swapFree=33009904/33010684
[pid=114303] ppid=114300 vsize=2049752 memory=58712 CPUtime=6.15 cores=5,7
/proc/114303/stat : 114303 (pb_picat) R 114300 114303 111409 0 -1 4194304 8550 0 0 0 612 3 0 0 20 0 1 0 139692696 2098946048 14678 18446744073709551615 93923819429888 93923820831469 140732880196768 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 93923821102896 93923822977136 93923831963648 140732880198044 140732880198120 140732880198120 140732880203724 0
/proc/114303/statm: 512438 14678 1728 343 0 509502 0
Current children cumulated CPU time: 6.15 s
Current children cumulated vsize: 2049752 KiB
Current children cumulated memory: 58712 KiB

[startup+12.7001 s]
/proc/loadavg: 4.16 4.15 4.03 5/249 114304
/proc/meminfo: memFree=128072640/131382112 swapFree=33009904/33010684
[pid=114303] ppid=114300 vsize=2053852 memory=63636 CPUtime=12.49 cores=5,7
/proc/114303/stat : 114303 (pb_picat) R 114300 114303 111409 0 -1 4194304 10591 0 0 0 1246 3 0 0 20 0 1 0 139692696 2103144448 15909 18446744073709551615 93923819429888 93923820831469 140732880196768 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 93923821102896 93923822977136 93923831963648 140732880198044 140732880198120 140732880198120 140732880203724 0
/proc/114303/statm: 513463 15909 1728 343 0 510527 0
Current children cumulated CPU time: 12.49 s
Current children cumulated vsize: 2053852 KiB
Current children cumulated memory: 63636 KiB

[startup+25.5003 s]
/proc/loadavg: 4.12 4.14 4.03 5/249 114304
/proc/meminfo: memFree=128169664/131382112 swapFree=33009904/33010684
[pid=114303] ppid=114300 vsize=2057948 memory=66244 CPUtime=25.21 cores=5,7
/proc/114303/stat : 114303 (pb_picat) R 114300 114303 111409 0 -1 4194304 11386 0 0 0 2518 3 0 0 20 0 1 0 139692696 2107338752 16561 18446744073709551615 93923819429888 93923820831469 140732880196768 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93923821102896 93923822977136 93923831963648 140732880198044 140732880198120 140732880198120 140732880203724 0
/proc/114303/statm: 514487 16561 1728 343 0 511551 0
Current children cumulated CPU time: 25.21 s
Current children cumulated vsize: 2057948 KiB
Current children cumulated memory: 66244 KiB

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

# cumulated CPU time of all completed processes:  user=31.3735 s, system=0.049721 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+25.6004 s]
/proc/loadavg: 4.12 4.14 4.03 5/249 114304
/proc/meminfo: memFree=128169664/131382112 swapFree=33009904/33010684
[pid=114303] ppid=114300 vsize=2057948 memory=66244 CPUtime=25.31 cores=5,7
/proc/114303/stat : 114303 (pb_picat) R 114300 114303 111409 0 -1 4194304 11386 0 0 0 2528 3 0 0 20 0 1 0 139692696 2107338752 16561 18446744073709551615 93923819429888 93923820831469 140732880196768 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93923821102896 93923822977136 93923831963648 140732880198044 140732880198120 140732880198120 140732880203724 0
/proc/114303/statm: 514487 16561 1728 343 0 511551 0
Current children cumulated CPU time: 25.31 s
Current children cumulated vsize: 2057948 KiB
Current children cumulated memory: 66244 KiB

[startup+28.8003 s]
/proc/loadavg: 4.11 4.14 4.03 5/249 114304
/proc/meminfo: memFree=128143828/131382112 swapFree=33009904/33010684
[pid=114303] ppid=114300 vsize=2040676 memory=50056 CPUtime=28.51 cores=5,7
/proc/114303/stat : 114303 (pb_picat) R 114300 114303 111409 0 -1 4194304 12008 0 0 0 2847 4 0 0 20 0 1 0 139692696 2089652224 12514 18446744073709551615 93923819429888 93923820831469 140732880196768 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93923821102896 93923822977136 93923831963648 140732880198044 140732880198120 140732880198120 140732880203724 0
/proc/114303/statm: 510169 12514 1728 343 0 507233 0
Current children cumulated CPU time: 28.51 s
Current children cumulated vsize: 2040676 KiB
Current children cumulated memory: 50056 KiB

[startup+30.4003 s]
/proc/loadavg: 4.11 4.14 4.03 5/249 114304
/proc/meminfo: memFree=128169928/131382112 swapFree=33009904/33010684
[pid=114303] ppid=114300 vsize=2046820 memory=55636 CPUtime=30.1 cores=5,7
/proc/114303/stat : 114303 (pb_picat) R 114300 114303 111409 0 -1 4194304 12932 0 0 0 3006 4 0 0 20 0 1 0 139692696 2095943680 13909 18446744073709551615 93923819429888 93923820831469 140732880196768 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93923821102896 93923822977136 93923831963648 140732880198044 140732880198120 140732880198120 140732880203724 0
/proc/114303/statm: 511705 13909 1728 343 0 508769 0
Current children cumulated CPU time: 30.1 s
Current children cumulated vsize: 2046820 KiB
Current children cumulated memory: 55636 KiB

[startup+31.2003 s]
/proc/loadavg: 4.11 4.14 4.03 5/249 114304
/proc/meminfo: memFree=128168164/131382112 swapFree=33009904/33010684
[pid=114303] ppid=114300 vsize=2047332 memory=56276 CPUtime=30.9 cores=5,7
/proc/114303/stat : 114303 (pb_picat) R 114300 114303 111409 0 -1 4194304 13082 0 0 0 3086 4 0 0 20 0 1 0 139692696 2096467968 14069 18446744073709551615 93923819429888 93923820831469 140732880196768 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93923821102896 93923822977136 93923831963648 140732880198044 140732880198120 140732880198120 140732880203724 0
/proc/114303/statm: 511833 14069 1728 343 0 508897 0
Current children cumulated CPU time: 30.9 s
Current children cumulated vsize: 2047332 KiB
Current children cumulated memory: 56276 KiB

[startup+31.6002 s]
/proc/loadavg: 4.11 4.14 4.03 5/249 114304
/proc/meminfo: memFree=128168164/131382112 swapFree=33009904/33010684
[pid=114303] ppid=114300 vsize=2047332 memory=56404 CPUtime=31.3 cores=5,7
/proc/114303/stat : 114303 (pb_picat) R 114300 114303 111409 0 -1 4194304 13122 0 0 0 3126 4 0 0 20 0 1 0 139692696 2096467968 14101 18446744073709551615 93923819429888 93923820831469 140732880196768 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93923821102896 93923822977136 93923831963648 140732880198044 140732880198120 140732880198120 140732880203724 0
/proc/114303/statm: 511833 14101 1728 343 0 508897 0
Current children cumulated CPU time: 31.3 s
Current children cumulated vsize: 2047332 KiB
Current children cumulated memory: 56404 KiB

[startup+31.7002 s]
/proc/loadavg: 4.11 4.14 4.03 5/249 114304
/proc/meminfo: memFree=128168164/131382112 swapFree=33009904/33010684
[pid=114303] ppid=114300 vsize=2047332 memory=56404 CPUtime=31.4 cores=5,7
/proc/114303/stat : 114303 (pb_picat) R 114300 114303 111409 0 -1 4194304 13122 0 0 0 3136 4 0 0 20 0 1 0 139692696 2096467968 14101 18446744073709551615 93923819429888 93923820831469 140732880196768 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93923821102896 93923822977136 93923831963648 140732880198044 140732880198120 140732880198120 140732880203724 0
/proc/114303/statm: 511833 14101 1728 343 0 508897 0
Current children cumulated CPU time: 31.4 s
Current children cumulated vsize: 2047332 KiB
Current children cumulated memory: 56404 KiB

Child status: 0

Real time (s): 31.7191
CPU time (s): 31.4232
CPU user time (s): 31.3735
CPU system time (s): 0.049721
CPU usage (%): 99.0671
Max. virtual memory (cumulated for all children) (KiB): 2057948
Max. memory (cumulated for all children) (KiB): 66348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.3735
system time used= 0.049721
maximum resident set size= 66348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13127
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67
involuntary context switches= 368


# summary of solver processes directly reported to runsolver:
#   pid: 114303
#   total CPU time (s): 31.4232
#   total CPU user time (s): 31.3735
#   total CPU system time (s): 0.049721

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.140968 second user time and 0.270496 second system time

The end

Begin job on nodeC001 at 2025-07-11 15:22:18
IDJOB=4528399
IDBENCH=148191
IDSOLVER=3385
FILE ID=nodeC001/4528399-1752240138
RUNJOBID= nodeC001-1752238731-113184
SLURM_JOB_ID= 9682512
Free space on /tmp= 432496 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528399-1752240138/watcher-4528399-1752240138 -o /tmp/evaluation-result-4528399-1752240138/solver-4528399-1752240138 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1752238731-113184 --watchdog 3760  pb_picat HOME/instance-4528399-1752240138.opb

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

MD5SUM BENCH= beae51edba02eeda3c8007d8306fd545
RANDOM SEED=1192709220

nodeC001 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	: 0xb00001f
cpu MHz		: 3662.187
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 3661.653
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 1197.877
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 1197.566
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 3661.856
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 1197.163
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 1197.590
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 1197.489
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        128171316 kB
MemAvailable:   129690576 kB
Buffers:            1668 kB
Cached:          2301180 kB
SwapCached:          128 kB
Active:           540444 kB
Inactive:        2051520 kB
Active(anon):     279056 kB
Inactive(anon):    27836 kB
Active(file):     261388 kB
Inactive(file):  2023684 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4228 kB
Writeback:             0 kB
AnonPages:        291072 kB
Mapped:           115496 kB
Shmem:             17776 kB
KReclaimable:     147244 kB
Slab:             235640 kB
SReclaimable:     147244 kB
SUnreclaim:        88396 kB
KernelStack:        4080 kB
PageTables:         3664 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    6657076 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149400 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    163840 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:      195400 kB
DirectMap2M:     9144320 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432492 MiB
End job on nodeC001 at 2025-07-11 15:22:50