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

OK	20

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (62837 MiB free)
  memory of node 1: 64507 MiB (63917 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497741-1751394922/watcher-4497741-1751394922 -o /tmp/evaluation-result-4497741-1751394922/solver-4497741-1751394922 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751394922-57653 --watchdog 3760 pb_picat HOME/instance-4497741-1751394922.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100021 s]*
/proc/loadavg: 0.82 1.77 2.58 4/260 57707
/proc/meminfo: memFree=129730416/131249996 swapFree=33010416/33010684
[pid=57693] ppid=57687 vsize=2027148 memory=32544 CPUtime=0.09 cores=4,6
/proc/57693/stat : 57693 (pb_picat) R 57687 57693 57642 0 -1 4194304 1123 0 0 0 8 1 0 0 20 0 1 0 55169945 2075799552 8136 18446744073709551615 94778919493632 94778920895213 140726186975264 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94778921166640 94778923040944 94778934538240 140726186981790 140726186981866 140726186981866 140726186987468 0
/proc/57693/statm: 506787 8136 1568 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 32544 KiB

[startup+0.205869 s]*
/proc/loadavg: 0.82 1.77 2.58 5/264 57711
/proc/meminfo: memFree=129667064/131249996 swapFree=33010416/33010684
[pid=57693] ppid=57687 vsize=2040516 memory=55604 CPUtime=0.19 cores=4,6
/proc/57693/stat : 57693 (pb_picat) R 57687 57693 57642 0 -1 4194304 2339 0 0 0 18 1 0 0 20 0 1 0 55169945 2089488384 13901 18446744073709551615 94778919493632 94778920895213 140726186975264 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94778921166640 94778923040944 94778934538240 140726186981790 140726186981866 140726186981866 140726186987468 0
/proc/57693/statm: 510129 13901 1760 343 0 507193 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2040516 KiB
Current children cumulated memory: 55604 KiB

[startup+0.305536 s]*
/proc/loadavg: 0.82 1.77 2.58 5/264 57711
/proc/meminfo: memFree=129631776/131249996 swapFree=33010416/33010684
[pid=57693] ppid=57687 vsize=2043304 memory=57556 CPUtime=0.29 cores=4,6
/proc/57693/stat : 57693 (pb_picat) R 57687 57693 57642 0 -1 4194304 3188 0 0 0 28 1 0 0 20 0 1 0 55169945 2092343296 14389 18446744073709551615 94778919493632 94778920895213 140726186975264 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94778921166640 94778923040944 94778934538240 140726186981790 140726186981866 140726186981866 140726186987468 0
/proc/57693/statm: 510826 14389 1760 343 0 507890 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2043304 KiB
Current children cumulated memory: 57556 KiB

[startup+0.700168 s]
/proc/loadavg: 0.82 1.77 2.58 5/264 57711
/proc/meminfo: memFree=129556680/131249996 swapFree=33010416/33010684
[pid=57693] ppid=57687 vsize=2043304 memory=58380 CPUtime=0.68 cores=4,6
/proc/57693/stat : 57693 (pb_picat) R 57687 57693 57642 0 -1 4194304 3877 0 0 0 67 1 0 0 20 0 1 0 55169945 2092343296 14595 18446744073709551615 94778919493632 94778920895213 140726186975264 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94778921166640 94778923040944 94778934538240 140726186981790 140726186981866 140726186981866 140726186987468 0
/proc/57693/statm: 510826 14595 1760 343 0 507890 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2043304 KiB
Current children cumulated memory: 58380 KiB

[startup+1.50011 s]
/proc/loadavg: 1.08 1.80 2.59 5/264 57711
/proc/meminfo: memFree=129417168/131249996 swapFree=33010416/33010684
[pid=57693] ppid=57687 vsize=2043744 memory=61020 CPUtime=1.47 cores=4,6
/proc/57693/stat : 57693 (pb_picat) R 57687 57693 57642 0 -1 4194304 6529 0 0 0 146 1 0 0 20 0 1 0 55169945 2092793856 15255 18446744073709551615 94778919493632 94778920895213 140726186975264 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94778921166640 94778923040944 94778934538240 140726186981790 140726186981866 140726186981866 140726186987468 0
/proc/57693/statm: 510936 15255 1760 343 0 508000 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2043744 KiB
Current children cumulated memory: 61020 KiB

[startup+3.10532 s]
/proc/loadavg: 1.08 1.80 2.59 5/264 57711
/proc/meminfo: memFree=129071200/131249996 swapFree=33010416/33010684
[pid=57693] ppid=57687 vsize=2050916 memory=65024 CPUtime=3.07 cores=4,6
/proc/57693/stat : 57693 (pb_picat) R 57687 57693 57642 0 -1 4194304 8947 0 0 0 305 2 0 0 20 0 1 0 55169945 2100137984 16256 18446744073709551615 94778919493632 94778920895213 140726186975264 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94778921166640 94778923040944 94778934538240 140726186981790 140726186981866 140726186981866 140726186987468 0
/proc/57693/statm: 512729 16256 1760 343 0 509793 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2050916 KiB
Current children cumulated memory: 65024 KiB

[startup+6.30011 s]
/proc/loadavg: 1.31 1.84 2.60 5/264 57711
/proc/meminfo: memFree=128832188/131249996 swapFree=33010416/33010684
[pid=57693] ppid=57687 vsize=2052668 memory=68208 CPUtime=6.26 cores=4,6
/proc/57693/stat : 57693 (pb_picat) R 57687 57693 57642 0 -1 4194304 11490 0 0 0 623 3 0 0 20 0 1 0 55169945 2101932032 17052 18446744073709551615 94778919493632 94778920895213 140726186975264 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94778921166640 94778923040944 94778934538240 140726186981790 140726186981866 140726186981866 140726186987468 0
/proc/57693/statm: 513167 17052 1760 343 0 510231 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2052668 KiB
Current children cumulated memory: 68208 KiB

[startup+12.7001 s]
/proc/loadavg: 1.53 1.88 2.60 5/264 57711
/proc/meminfo: memFree=128786972/131249996 swapFree=33010416/33010684
[pid=57693] ppid=57687 vsize=2060864 memory=73472 CPUtime=12.64 cores=4,6
/proc/57693/stat : 57693 (pb_picat) R 57687 57693 57642 0 -1 4194304 14318 0 0 0 1261 3 0 0 20 0 1 0 55169945 2110324736 18368 18446744073709551615 94778919493632 94778920895213 140726186975264 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94778921166640 94778923040944 94778934538240 140726186981790 140726186981866 140726186981866 140726186987468 0
/proc/57693/statm: 515216 18368 1760 343 0 512280 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2060864 KiB
Current children cumulated memory: 73472 KiB

[startup+25.5002 s]
/proc/loadavg: 1.91 1.95 2.62 5/264 57711
/proc/meminfo: memFree=128774908/131249996 swapFree=33010416/33010684
[pid=57693] ppid=57687 vsize=2052388 memory=67932 CPUtime=25.41 cores=4,6
/proc/57693/stat : 57693 (pb_picat) R 57687 57693 57642 0 -1 4194304 15383 0 0 0 2537 4 0 0 20 0 1 0 55169945 2101645312 16983 18446744073709551615 94778919493632 94778920895213 140726186975264 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94778921166640 94778923040944 94778934538240 140726186981790 140726186981866 140726186981866 140726186987468 0
/proc/57693/statm: 513097 16983 1760 343 0 510161 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2052388 KiB
Current children cumulated memory: 67932 KiB

[startup+51.1054 s]
/proc/loadavg: 2.79 2.16 2.67 5/264 57756
/proc/meminfo: memFree=128706156/131249996 swapFree=33010416/33010684
[pid=57693] ppid=57687 vsize=2056488 memory=73624 CPUtime=50.9 cores=4,6
/proc/57693/stat : 57693 (pb_picat) R 57687 57693 57642 0 -1 4194304 41186 0 0 0 5078 12 0 0 20 0 1 0 55169945 2105843712 18406 18446744073709551615 94778919493632 94778920895213 140726186975264 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94778921166640 94778923040944 94778934538240 140726186981790 140726186981866 140726186981866 140726186987468 0
/proc/57693/statm: 514122 18406 1760 343 0 511186 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 2056488 KiB
Current children cumulated memory: 73624 KiB

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

# cumulated CPU time of all completed processes:  user=78.4352 s, system=0.200574 s

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

[startup+51.2002 s]
/proc/loadavg: 2.79 2.16 2.67 5/264 57756
/proc/meminfo: memFree=128706156/131249996 swapFree=33010416/33010684
[pid=57693] ppid=57687 vsize=2056488 memory=72728 CPUtime=51 cores=4,6
/proc/57693/stat : 57693 (pb_picat) R 57687 57693 57642 0 -1 4194304 41560 0 0 0 5087 13 0 0 20 0 1 0 55169945 2105843712 18182 18446744073709551615 94778919493632 94778920895213 140726186975264 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94778921166640 94778923040944 94778934538240 140726186981790 140726186981866 140726186981866 140726186987468 0
/proc/57693/statm: 514122 18182 1760 343 0 511186 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 2056488 KiB
Current children cumulated memory: 72728 KiB

[startup+64.0001 s]*
/proc/loadavg: 2.98 2.22 2.68 5/265 57758
/proc/meminfo: memFree=128699636/131249996 swapFree=33010416/33010684
[pid=57693] ppid=57687 vsize=2056488 memory=76236 CPUtime=63.77 cores=4,6
/proc/57693/stat : 57693 (pb_picat) R 57687 57693 57642 0 -1 4194304 56039 0 0 0 6362 15 0 0 20 0 1 0 55169945 2105843712 19059 18446744073709551615 94778919493632 94778920895213 140726186975264 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94778921166640 94778923040944 94778934538240 140726186981790 140726186981866 140726186981866 140726186987468 0
/proc/57693/statm: 514122 19059 1760 343 0 511186 0
Current children cumulated CPU time: 63.77 s
Current children cumulated vsize: 2056488 KiB
Current children cumulated memory: 76236 KiB

[startup+70.4002 s]
/proc/loadavg: 3.06 2.25 2.69 5/265 57758
/proc/meminfo: memFree=128692012/131249996 swapFree=33010416/33010684
[pid=57693] ppid=57687 vsize=2056488 memory=76152 CPUtime=70.14 cores=4,6
/proc/57693/stat : 57693 (pb_picat) R 57687 57693 57642 0 -1 4194304 62991 0 0 0 6997 17 0 0 20 0 1 0 55169945 2105843712 19038 18446744073709551615 94778919493632 94778920895213 140726186975264 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94778921166640 94778923040944 94778934538240 140726186981790 140726186981866 140726186981866 140726186987468 0
/proc/57693/statm: 514122 19038 1760 343 0 511186 0
Current children cumulated CPU time: 70.14 s
Current children cumulated vsize: 2056488 KiB
Current children cumulated memory: 76152 KiB

[startup+73.6001 s]
/proc/loadavg: 3.13 2.28 2.70 5/265 57758
/proc/meminfo: memFree=128692304/131249996 swapFree=33010416/33010684
[pid=57693] ppid=57687 vsize=2056488 memory=77048 CPUtime=73.34 cores=4,6
/proc/57693/stat : 57693 (pb_picat) R 57687 57693 57642 0 -1 4194304 65112 0 0 0 7316 18 0 0 20 0 1 0 55169945 2105843712 19262 18446744073709551615 94778919493632 94778920895213 140726186975264 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94778921166640 94778923040944 94778934538240 140726186981790 140726186981866 140726186981866 140726186987468 0
/proc/57693/statm: 514122 19262 1760 343 0 511186 0
Current children cumulated CPU time: 73.34 s
Current children cumulated vsize: 2056488 KiB
Current children cumulated memory: 77048 KiB

[startup+76.8001 s]
/proc/loadavg: 3.28 2.32 2.71 5/265 57758
/proc/meminfo: memFree=128692572/131249996 swapFree=33010416/33010684
[pid=57693] ppid=57687 vsize=2046780 memory=67840 CPUtime=76.54 cores=4,6
/proc/57693/stat : 57693 (pb_picat) R 57687 57693 57642 0 -1 4194304 68245 0 0 0 7635 19 0 0 20 0 1 0 55169945 2095902720 16960 18446744073709551615 94778919493632 94778920895213 140726186975264 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94778921166640 94778923040944 94778934538240 140726186981790 140726186981866 140726186981866 140726186987468 0
/proc/57693/statm: 511695 16960 1760 343 0 508759 0
Current children cumulated CPU time: 76.54 s
Current children cumulated vsize: 2046780 KiB
Current children cumulated memory: 67840 KiB

[startup+77.6001 s]
/proc/loadavg: 3.28 2.32 2.71 5/265 57758
/proc/meminfo: memFree=128692840/131249996 swapFree=33010416/33010684
[pid=57693] ppid=57687 vsize=2048636 memory=68992 CPUtime=77.33 cores=4,6
/proc/57693/stat : 57693 (pb_picat) R 57687 57693 57642 0 -1 4194304 68513 0 0 0 7714 19 0 0 20 0 1 0 55169945 2097803264 17248 18446744073709551615 94778919493632 94778920895213 140726186975264 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94778921166640 94778923040944 94778934538240 140726186981790 140726186981866 140726186981866 140726186987468 0
/proc/57693/statm: 512159 17248 1760 343 0 509223 0
Current children cumulated CPU time: 77.33 s
Current children cumulated vsize: 2048636 KiB
Current children cumulated memory: 68992 KiB

[startup+78.4001 s]
/proc/loadavg: 3.28 2.32 2.71 5/265 57758
/proc/meminfo: memFree=128692840/131249996 swapFree=33010416/33010684
[pid=57693] ppid=57687 vsize=2048636 memory=69376 CPUtime=78.13 cores=4,6
/proc/57693/stat : 57693 (pb_picat) R 57687 57693 57642 0 -1 4194304 68614 0 0 0 7794 19 0 0 20 0 1 0 55169945 2097803264 17344 18446744073709551615 94778919493632 94778920895213 140726186975264 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94778921166640 94778923040944 94778934538240 140726186981790 140726186981866 140726186981866 140726186987468 0
/proc/57693/statm: 512159 17344 1760 343 0 509223 0
Current children cumulated CPU time: 78.13 s
Current children cumulated vsize: 2048636 KiB
Current children cumulated memory: 69376 KiB

[startup+78.8001 s]
/proc/loadavg: 3.28 2.32 2.71 5/265 57758
/proc/meminfo: memFree=128692840/131249996 swapFree=33010416/33010684
[pid=57693] ppid=57687 vsize=2048636 memory=69376 CPUtime=78.53 cores=4,6
/proc/57693/stat : 57693 (pb_picat) R 57687 57693 57642 0 -1 4194304 68614 0 0 0 7834 19 0 0 20 0 1 0 55169945 2097803264 17344 18446744073709551615 94778919493632 94778920895213 140726186975264 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94778921166640 94778923040944 94778934538240 140726186981790 140726186981866 140726186981866 140726186987468 0
/proc/57693/statm: 512159 17344 1760 343 0 509223 0
Current children cumulated CPU time: 78.53 s
Current children cumulated vsize: 2048636 KiB
Current children cumulated memory: 69376 KiB

Child status: 0

Real time (s): 78.8996
CPU time (s): 78.6358
CPU user time (s): 78.4352
CPU system time (s): 0.200574
CPU usage (%): 99.6657
Max. virtual memory (cumulated for all children) (KiB): 2064680
Max. memory (cumulated for all children) (KiB): 80400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 78.4352
system time used= 0.200574
maximum resident set size= 80400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68618
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= 97
involuntary context switches= 108


# summary of solver processes directly reported to runsolver:
#   pid: 57693
#   total CPU time (s): 78.6358
#   total CPU user time (s): 78.4352
#   total CPU system time (s): 0.200574

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.151004 second user time and 0.366088 second system time

The end

Begin job on nodeC022 at 2025-07-01 20:35:22
IDJOB=4497741
IDBENCH=148192
IDSOLVER=3346
FILE ID=nodeC022/4497741-1751394922
RUNJOBID= nodeC022-1751394922-57653
SLURM_JOB_ID= 9598265
Free space on /tmp= 433060 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497741-1751394922/watcher-4497741-1751394922 -o /tmp/evaluation-result-4497741-1751394922/solver-4497741-1751394922 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751394922-57653 --watchdog 3760  pb_picat HOME/instance-4497741-1751394922.opb

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

MD5SUM BENCH= 2f5de9b63d0a2988dce846045b262c40
RANDOM SEED=989098788

nodeC022 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.796
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.44
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.908
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.44
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		: 3624.665
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.44
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		: 3599.975
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.44
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		: 3600.166
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.44
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		: 3700.000
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.44
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.737
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.44
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.711
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129807344 kB
MemAvailable:   129723136 kB
Buffers:            2128 kB
Cached:           718732 kB
SwapCached:           32 kB
Active:           463452 kB
Inactive:         330436 kB
Active(anon):      87184 kB
Inactive(anon):     4196 kB
Active(file):     376268 kB
Inactive(file):   326240 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             12328 kB
Writeback:             4 kB
AnonPages:         76452 kB
Mapped:           102996 kB
Shmem:             18028 kB
KReclaimable:     104648 kB
Slab:             191956 kB
SReclaimable:     104648 kB
SUnreclaim:        87308 kB
KernelStack:        4036 kB
PageTables:         2528 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     341276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433032 MiB
End job on nodeC022 at 2025-07-01 20:36:41