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

OK	19643295490

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: 63837 MiB (62858 MiB free)
  memory of node 1: 64465 MiB (63503 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512567-1751527802/watcher-4512567-1751527802 -o /tmp/evaluation-result-4512567-1751527802/solver-4512567-1751527802 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751527802-71826 --watchdog 3760 pb_picat HOME/instance-4512567-1751527802.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
Current StackSize limit: 8192 KiB

solver pid=71873, runsolver pid=71864

[startup+0.100075 s]*
/proc/loadavg: 1.51 3.24 3.82 6/253 71883
/proc/meminfo: memFree=129353056/131382120 swapFree=33010416/33010684
[pid=71873] ppid=71864 vsize=2027148 memory=24188 CPUtime=0.09 cores=5,7
/proc/71873/stat : 71873 (pb_picat) R 71864 71873 71813 0 -1 4194304 1109 0 0 0 8 1 0 0 20 0 1 0 68459047 2075799552 6047 18446744073709551615 93920278007808 93920279409389 140734991932384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93920279680816 93920281555120 93920314310656 140734991939998 140734991940074 140734991940074 140734991945676 0
/proc/71873/statm: 506787 6047 1536 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 24188 KiB

[startup+0.214311 s]*
/proc/loadavg: 1.51 3.24 3.82 6/253 71883
/proc/meminfo: memFree=129340976/131382120 swapFree=33010416/33010684
[pid=71873] ppid=71864 vsize=2027148 memory=30368 CPUtime=0.2 cores=5,7
/proc/71873/stat : 71873 (pb_picat) R 71864 71873 71813 0 -1 4194304 1120 0 0 0 19 1 0 0 20 0 1 0 68459047 2075799552 7592 18446744073709551615 93920278007808 93920279409389 140734991932384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93920279680816 93920281555120 93920314310656 140734991939998 140734991940074 140734991940074 140734991945676 0
/proc/71873/statm: 506787 7592 1536 343 0 503851 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 30368 KiB

[startup+0.31401 s]*
/proc/loadavg: 1.51 3.24 3.82 6/253 71883
/proc/meminfo: memFree=129328688/131382120 swapFree=33010416/33010684
[pid=71873] ppid=71864 vsize=2034964 memory=36640 CPUtime=0.31 cores=5,7
/proc/71873/stat : 71873 (pb_picat) R 71864 71873 71813 0 -1 4194304 1145 0 0 0 29 2 0 0 20 0 1 0 68459047 2083803136 9160 18446744073709551615 93920278007808 93920279409389 140734991932384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93920279680816 93920281555120 93920314310656 140734991939998 140734991940074 140734991940074 140734991945676 0
/proc/71873/statm: 508741 9160 1568 343 0 505805 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 36640 KiB

[startup+0.70028 s]
/proc/loadavg: 1.51 3.24 3.82 6/253 71883
/proc/meminfo: memFree=129296476/131382120 swapFree=33010416/33010684
[pid=71873] ppid=71864 vsize=2038240 memory=48504 CPUtime=0.67 cores=5,7
/proc/71873/stat : 71873 (pb_picat) R 71864 71873 71813 0 -1 4194304 2229 0 0 0 65 2 0 0 20 0 1 0 68459047 2087157760 12126 18446744073709551615 93920278007808 93920279409389 140734991932384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93920279680816 93920281555120 93920314310656 140734991939998 140734991940074 140734991940074 140734991945676 0
/proc/71873/statm: 509560 12126 1696 343 0 506624 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 2038240 KiB
Current children cumulated memory: 48504 KiB

[startup+1.50033 s]
/proc/loadavg: 1.51 3.24 3.82 6/253 71883
/proc/meminfo: memFree=129243228/131382120 swapFree=33010416/33010684
[pid=71873] ppid=71864 vsize=2039932 memory=50600 CPUtime=1.47 cores=5,7
/proc/71873/stat : 71873 (pb_picat) R 71864 71873 71813 0 -1 4194304 3854 0 0 0 143 4 0 0 20 0 1 0 68459047 2088890368 12650 18446744073709551615 93920278007808 93920279409389 140734991932384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93920279680816 93920281555120 93920314310656 140734991939998 140734991940074 140734991940074 140734991945676 0
/proc/71873/statm: 509983 12650 1696 343 0 507047 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2039932 KiB
Current children cumulated memory: 50600 KiB

[startup+3.11328 s]
/proc/loadavg: 1.71 3.25 3.82 4/251 71897
/proc/meminfo: memFree=129206424/131382120 swapFree=33010416/33010684
[pid=71873] ppid=71864 vsize=2041504 memory=50212 CPUtime=3.06 cores=5,7
/proc/71873/stat : 71873 (pb_picat) R 71864 71873 71813 0 -1 4194304 6516 0 0 0 299 7 0 0 20 0 1 0 68459047 2090500096 12553 18446744073709551615 93920278007808 93920279409389 140734991932384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93920279680816 93920281555120 93920314310656 140734991939998 140734991940074 140734991940074 140734991945676 0
/proc/71873/statm: 510376 12553 1696 343 0 507440 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 2041504 KiB
Current children cumulated memory: 50212 KiB

[startup+6.3003 s]
/proc/loadavg: 1.71 3.25 3.82 5/253 71928
/proc/meminfo: memFree=129195372/131382120 swapFree=33010416/33010684
[pid=71873] ppid=71864 vsize=2038632 memory=49088 CPUtime=6.24 cores=5,7
/proc/71873/stat : 71873 (pb_picat) R 71864 71873 71813 0 -1 4194304 9998 0 0 0 615 9 0 0 20 0 1 0 68459047 2087559168 12272 18446744073709551615 93920278007808 93920279409389 140734991932384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93920279680816 93920281555120 93920314310656 140734991939998 140734991940074 140734991940074 140734991945676 0
/proc/71873/statm: 509658 12272 1696 343 0 506722 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 2038632 KiB
Current children cumulated memory: 49088 KiB

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

# cumulated CPU time of all completed processes:  user=8.72467 s, system=0.202116 s

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

[startup+6.40035 s]
/proc/loadavg: 1.71 3.25 3.82 5/253 71928
/proc/meminfo: memFree=129195372/131382120 swapFree=33010416/33010684
[pid=71873] ppid=71864 vsize=2038632 memory=49088 CPUtime=6.33 cores=5,7
/proc/71873/stat : 71873 (pb_picat) R 71864 71873 71813 0 -1 4194304 9998 0 0 0 624 9 0 0 20 0 1 0 68459047 2087559168 12272 18446744073709551615 93920278007808 93920279409389 140734991932384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93920279680816 93920281555120 93920314310656 140734991939998 140734991940074 140734991940074 140734991945676 0
/proc/71873/statm: 509658 12272 1696 343 0 506722 0
Current children cumulated CPU time: 6.33 s
Current children cumulated vsize: 2038632 KiB
Current children cumulated memory: 49088 KiB

[startup+8.00021 s]*
/proc/loadavg: 1.90 3.26 3.82 5/251 71963
/proc/meminfo: memFree=129255856/131382120 swapFree=33010416/33010684
[pid=71873] ppid=71864 vsize=2040648 memory=50596 CPUtime=7.92 cores=5,7
/proc/71873/stat : 71873 (pb_picat) R 71864 71873 71813 0 -1 4194304 17836 0 0 0 777 15 0 0 20 0 1 0 68459047 2089623552 12649 18446744073709551615 93920278007808 93920279409389 140734991932384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93920279680816 93920281555120 93920314310656 140734991939998 140734991940074 140734991940074 140734991945676 0
/proc/71873/statm: 510162 12649 1696 343 0 507226 0
Current children cumulated CPU time: 7.92 s
Current children cumulated vsize: 2040648 KiB
Current children cumulated memory: 50596 KiB

[startup+8.80027 s]
/proc/loadavg: 1.90 3.26 3.82 5/251 71963
/proc/meminfo: memFree=129255856/131382120 swapFree=33010416/33010684
[pid=71873] ppid=71864 vsize=2038504 memory=49220 CPUtime=8.69 cores=5,7
/proc/71873/stat : 71873 (pb_picat) R 71864 71873 71813 0 -1 4194304 23234 0 0 0 850 19 0 0 20 0 1 0 68459047 2087428096 12305 18446744073709551615 93920278007808 93920279409389 140734991932384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93920279680816 93920281555120 93920314310656 140734991939998 140734991940074 140734991940074 140734991945676 0
/proc/71873/statm: 509626 12305 1696 343 0 506690 0
Current children cumulated CPU time: 8.69 s
Current children cumulated vsize: 2038504 KiB
Current children cumulated memory: 49220 KiB

[startup+9.00028 s]*
/proc/loadavg: 1.90 3.26 3.82 5/254 72019
/proc/meminfo: memFree=129242816/131382120 swapFree=33010416/33010684
[pid=71873] ppid=71864 vsize=2038504 memory=49220 CPUtime=8.89 cores=5,7
/proc/71873/stat : 71873 (pb_picat) R 71864 71873 71813 0 -1 4194304 23248 0 0 0 870 19 0 0 20 0 1 0 68459047 2087428096 12305 18446744073709551615 93920278007808 93920279409389 140734991932384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93920279680816 93920281555120 93920314310656 140734991939998 140734991940074 140734991940074 140734991945676 0
/proc/71873/statm: 509626 12305 1696 343 0 506690 0
Current children cumulated CPU time: 8.89 s
Current children cumulated vsize: 2038504 KiB
Current children cumulated memory: 49220 KiB

Child status: 0

Real time (s): 9.0329
CPU time (s): 8.92678
CPU user time (s): 8.72467
CPU system time (s): 0.202116
CPU usage (%): 98.8252
Max. virtual memory (cumulated for all children) (KiB): 2042528
Max. memory (cumulated for all children) (KiB): 52164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.72467
system time used= 0.202116
maximum resident set size= 52164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23252
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= 87
involuntary context switches= 14


# summary of solver processes directly reported to runsolver:
#   pid: 71873
#   total CPU time (s): 8.92678
#   total CPU user time (s): 8.72467
#   total CPU system time (s): 0.202116

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.071665 second user time and 0.177687 second system time

The end

Begin job on nodeC002 at 2025-07-03 09:30:02
IDJOB=4512567
IDBENCH=161731
IDSOLVER=3346
FILE ID=nodeC002/4512567-1751527802
RUNJOBID= nodeC002-1751527802-71826
SLURM_JOB_ID= 9598663
Free space on /tmp= 432744 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB16/OPT-LIN/lion9-single-obj/normalized-single-obj-f47-DC_Side1.seq-B-2-2-irabcde.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4512567-1751527802/watcher-4512567-1751527802 -o /tmp/evaluation-result-4512567-1751527802/solver-4512567-1751527802 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751527802-71826 --watchdog 3760  pb_picat HOME/instance-4512567-1751527802.opb

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

MD5SUM BENCH= d91ba83663c391c99ea180af3689db47
RANDOM SEED=2054875345

nodeC002 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		: 1197.475
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.81
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		: 1197.209
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.81
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.228
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.81
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.213
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.81
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		: 1197.210
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.81
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.220
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.81
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.415
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.81
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.515
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.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        129378536 kB
MemAvailable:   129893824 kB
Buffers:            2128 kB
Cached:          1321260 kB
SwapCached:           28 kB
Active:           368884 kB
Inactive:        1018188 kB
Active(anon):      75212 kB
Inactive(anon):     6404 kB
Active(file):     293672 kB
Inactive(file):  1011784 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             13944 kB
Writeback:             0 kB
AnonPages:         66796 kB
Mapped:           102684 kB
Shmem:             17932 kB
KReclaimable:      98916 kB
Slab:             182484 kB
SReclaimable:      98916 kB
SUnreclaim:        83568 kB
KernelStack:        3940 kB
PageTables:         2576 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     330988 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149288 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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:      181064 kB
DirectMap2M:     8110080 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432732 MiB
End job on nodeC002 at 2025-07-03 09:30:12