Trace number 4497833

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Picat 2025-06-16OPT21 528.709 530.122

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_3.opb
MD5SUM529ae296d86301d65a8fd4e36abb4ed9
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark21
Best CPU time to get the best result obtained on this benchmark24.4815
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6076
Total number of constraints21401
Number of constraints which are clauses21392
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint1
Maximum length of a constraint666
Number of terms in the objective function 666
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 666
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 697
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

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

Verifier Data 

OK	21

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497833-1751395002/watcher-4497833-1751395002 -o /tmp/evaluation-result-4497833-1751395002/solver-4497833-1751395002 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751394922-57653 --watchdog 3760 pb_picat HOME/instance-4497833-1751395002.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=57807, runsolver pid=57804
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 3.28 2.32 2.71 5/266 57808
/proc/meminfo: memFree=128740008/131249996 swapFree=33010416/33010684
[pid=57807] ppid=57804 vsize=2027148 memory=36396 CPUtime=0.08 cores=4,6
/proc/57807/stat : 57807 (pb_picat) R 57804 57807 57642 0 -1 4194304 1121 0 0 0 8 0 0 0 20 0 1 0 55177989 2075799552 9099 18446744073709551615 93894830563328 93894831964909 140723053868608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93894832236336 93894834110640 93894867013632 140723053877662 140723053877738 140723053877738 140723053883340 0
/proc/57807/statm: 506787 9099 1504 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36396 KiB

[startup+0.205566 s]*
/proc/loadavg: 3.28 2.32 2.71 5/266 57808
/proc/meminfo: memFree=128719528/131249996 swapFree=33010416/33010684
[pid=57807] ppid=57804 vsize=2037040 memory=57600 CPUtime=0.19 cores=4,6
/proc/57807/stat : 57807 (pb_picat) R 57804 57807 57642 0 -1 4194304 1679 0 0 0 18 1 0 0 20 0 1 0 55177989 2085928960 14400 18446744073709551615 93894830563328 93894831964909 140723053868608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93894832236336 93894834110640 93894867013632 140723053877662 140723053877738 140723053877738 140723053883340 0
/proc/57807/statm: 509260 14400 1696 343 0 506324 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2037040 KiB
Current children cumulated memory: 57600 KiB

[startup+0.305399 s]*
/proc/loadavg: 3.28 2.32 2.71 5/266 57808
/proc/meminfo: memFree=128719528/131249996 swapFree=33010416/33010684
[pid=57807] ppid=57804 vsize=2043308 memory=61636 CPUtime=0.29 cores=4,6
/proc/57807/stat : 57807 (pb_picat) R 57804 57807 57642 0 -1 4194304 3327 0 0 0 28 1 0 0 20 0 1 0 55177989 2092347392 15409 18446744073709551615 93894830563328 93894831964909 140723053868608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93894832236336 93894834110640 93894867013632 140723053877662 140723053877738 140723053877738 140723053883340 0
/proc/57807/statm: 510827 15409 1696 343 0 507891 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2043308 KiB
Current children cumulated memory: 61636 KiB

[startup+0.700135 s]
/proc/loadavg: 3.28 2.32 2.71 5/266 57808
/proc/meminfo: memFree=128719528/131249996 swapFree=33010416/33010684
[pid=57807] ppid=57804 vsize=2041056 memory=62196 CPUtime=0.68 cores=4,6
/proc/57807/stat : 57807 (pb_picat) R 57804 57807 57642 0 -1 4194304 4910 0 0 0 67 1 0 0 20 0 1 0 55177989 2090041344 15549 18446744073709551615 93894830563328 93894831964909 140723053868608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93894832236336 93894834110640 93894867013632 140723053877662 140723053877738 140723053877738 140723053883340 0
/proc/57807/statm: 510264 15549 1696 343 0 507328 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2041056 KiB
Current children cumulated memory: 62196 KiB

[startup+1.50012 s]
/proc/loadavg: 3.34 2.35 2.72 5/266 57808
/proc/meminfo: memFree=128718520/131249996 swapFree=33010416/33010684
[pid=57807] ppid=57804 vsize=2045360 memory=63492 CPUtime=1.48 cores=4,6
/proc/57807/stat : 57807 (pb_picat) R 57804 57807 57642 0 -1 4194304 7756 0 0 0 146 2 0 0 20 0 1 0 55177989 2094448640 15873 18446744073709551615 93894830563328 93894831964909 140723053868608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93894832236336 93894834110640 93894867013632 140723053877662 140723053877738 140723053877738 140723053883340 0
/proc/57807/statm: 511340 15873 1696 343 0 508404 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2045360 KiB
Current children cumulated memory: 63492 KiB

[startup+3.10527 s]
/proc/loadavg: 3.34 2.35 2.72 5/266 57808
/proc/meminfo: memFree=128710928/131249996 swapFree=33010416/33010684
[pid=57807] ppid=57804 vsize=2044040 memory=63652 CPUtime=3.08 cores=4,6
/proc/57807/stat : 57807 (pb_picat) R 57804 57807 57642 0 -1 4194304 9970 0 0 0 306 2 0 0 20 0 1 0 55177989 2093096960 15913 18446744073709551615 93894830563328 93894831964909 140723053868608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93894832236336 93894834110640 93894867013632 140723053877662 140723053877738 140723053877738 140723053883340 0
/proc/57807/statm: 511010 15913 1696 343 0 508074 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2044040 KiB
Current children cumulated memory: 63652 KiB

[startup+6.30011 s]
/proc/loadavg: 3.39 2.38 2.73 5/266 57808
/proc/meminfo: memFree=128703240/131249996 swapFree=33010416/33010684
[pid=57807] ppid=57804 vsize=2048616 memory=67928 CPUtime=6.27 cores=4,6
/proc/57807/stat : 57807 (pb_picat) R 57804 57807 57642 0 -1 4194304 13938 0 0 0 624 3 0 0 20 0 1 0 55177989 2097782784 16982 18446744073709551615 93894830563328 93894831964909 140723053868608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93894832236336 93894834110640 93894867013632 140723053877662 140723053877738 140723053877738 140723053883340 0
/proc/57807/statm: 512154 16982 1696 343 0 509218 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2048616 KiB
Current children cumulated memory: 67928 KiB

[startup+12.7002 s]
/proc/loadavg: 3.44 2.41 2.73 5/266 57808
/proc/meminfo: memFree=128699144/131249996 swapFree=33010416/33010684
[pid=57807] ppid=57804 vsize=2047788 memory=63292 CPUtime=12.65 cores=4,6
/proc/57807/stat : 57807 (pb_picat) R 57804 57807 57642 0 -1 4194304 15475 0 0 0 1262 3 0 0 20 0 1 0 55177989 2096934912 15823 18446744073709551615 93894830563328 93894831964909 140723053868608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93894832236336 93894834110640 93894867013632 140723053877662 140723053877738 140723053877738 140723053883340 0
/proc/57807/statm: 511947 15823 1696 343 0 509011 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2047788 KiB
Current children cumulated memory: 63292 KiB

[startup+25.5002 s]
/proc/loadavg: 3.53 2.46 2.75 5/266 57808
/proc/meminfo: memFree=128673484/131249996 swapFree=33010416/33010684
[pid=57807] ppid=57804 vsize=2051884 memory=71772 CPUtime=25.42 cores=4,6
/proc/57807/stat : 57807 (pb_picat) R 57804 57807 57642 0 -1 4194304 18341 0 0 0 2538 4 0 0 20 0 1 0 55177989 2101129216 17943 18446744073709551615 93894830563328 93894831964909 140723053868608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93894832236336 93894834110640 93894867013632 140723053877662 140723053877738 140723053877738 140723053883340 0
/proc/57807/statm: 512971 17943 1696 343 0 510035 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2051884 KiB
Current children cumulated memory: 71772 KiB

[startup+51.1053 s]
/proc/loadavg: 3.78 2.62 2.79 5/266 57809
/proc/meminfo: memFree=128681924/131249996 swapFree=33010416/33010684
[pid=57807] ppid=57804 vsize=2055984 memory=75948 CPUtime=50.95 cores=4,6
/proc/57807/stat : 57807 (pb_picat) R 57804 57807 57642 0 -1 4194304 36747 0 0 0 5085 10 0 0 20 0 1 0 55177989 2105327616 18987 18446744073709551615 93894830563328 93894831964909 140723053868608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93894832236336 93894834110640 93894867013632 140723053877662 140723053877738 140723053877738 140723053883340 0
/proc/57807/statm: 513996 18987 1696 343 0 511060 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2055984 KiB
Current children cumulated memory: 75948 KiB

[startup+102.3 s]
/proc/loadavg: 3.97 2.85 2.86 5/266 57811
/proc/meminfo: memFree=128666164/131249996 swapFree=33010416/33010684
[pid=57807] ppid=57804 vsize=2068272 memory=81400 CPUtime=102.02 cores=4,6
/proc/57807/stat : 57807 (pb_picat) R 57804 57807 57642 0 -1 4194304 91195 0 0 0 10174 28 0 0 20 0 1 0 55177989 2117910528 20350 18446744073709551615 93894830563328 93894831964909 140723053868608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93894832236336 93894834110640 93894867013632 140723053877662 140723053877738 140723053877738 140723053883340 0
/proc/57807/statm: 517068 20350 1696 343 0 514132 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2068272 KiB
Current children cumulated memory: 81400 KiB

[startup+162.3 s]
/proc/loadavg: 3.99 3.07 2.94 5/267 57814
/proc/meminfo: memFree=128665248/131249996 swapFree=33010416/33010684
[pid=57807] ppid=57804 vsize=2068272 memory=81812 CPUtime=161.85 cores=4,6
/proc/57807/stat : 57807 (pb_picat) R 57804 57807 57642 0 -1 4194304 146909 0 0 0 16141 44 0 0 20 0 1 0 55177989 2117910528 20453 18446744073709551615 93894830563328 93894831964909 140723053868608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93894832236336 93894834110640 93894867013632 140723053877662 140723053877738 140723053877738 140723053883340 0
/proc/57807/statm: 517068 20453 1696 343 0 514132 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 2068272 KiB
Current children cumulated memory: 81812 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 3.27 3.02 5/265 57816
/proc/meminfo: memFree=128663588/131249996 swapFree=33010416/33010684
[pid=57807] ppid=57804 vsize=2060080 memory=79148 CPUtime=221.69 cores=4,6
/proc/57807/stat : 57807 (pb_picat) R 57804 57807 57642 0 -1 4194304 203017 0 0 0 22109 60 0 0 20 0 1 0 55177989 2109521920 19787 18446744073709551615 93894830563328 93894831964909 140723053868608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93894832236336 93894834110640 93894867013632 140723053877662 140723053877738 140723053877738 140723053883340 0
/proc/57807/statm: 515020 19787 1696 343 0 512084 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 2060080 KiB
Current children cumulated memory: 79148 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 3.42 3.09 5/265 57818
/proc/meminfo: memFree=128666052/131249996 swapFree=33010416/33010684
[pid=57807] ppid=57804 vsize=2075752 memory=92156 CPUtime=281.54 cores=4,6
/proc/57807/stat : 57807 (pb_picat) R 57804 57807 57642 0 -1 4194304 210190 0 0 0 28091 63 0 0 20 0 1 0 55177989 2125570048 23039 18446744073709551615 93894830563328 93894831964909 140723053868608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93894832236336 93894834110640 93894867013632 140723053877662 140723053877738 140723053877738 140723053883340 0
/proc/57807/statm: 518938 23039 1696 343 0 516002 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 2075752 KiB
Current children cumulated memory: 92156 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 3.54 3.15 5/263 57820
/proc/meminfo: memFree=128640008/131249996 swapFree=33010416/33010684
[pid=57807] ppid=57804 vsize=2075752 memory=96252 CPUtime=341.37 cores=4,6
/proc/57807/stat : 57807 (pb_picat) R 57804 57807 57642 0 -1 4194304 210197 0 0 0 34074 63 0 0 20 0 1 0 55177989 2125570048 24063 18446744073709551615 93894830563328 93894831964909 140723053868608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93894832236336 93894834110640 93894867013632 140723053877662 140723053877738 140723053877738 140723053883340 0
/proc/57807/statm: 518938 24063 1696 343 0 516002 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 2075752 KiB
Current children cumulated memory: 96252 KiB

[startup+402.3 s]
/proc/loadavg: 4.34 3.73 3.25 5/263 57821
/proc/meminfo: memFree=128658404/131249996 swapFree=33010416/33010684
[pid=57807] ppid=57804 vsize=2075752 memory=96252 CPUtime=401.21 cores=4,6
/proc/57807/stat : 57807 (pb_picat) R 57804 57807 57642 0 -1 4194304 210203 0 0 0 40058 63 0 0 20 0 1 0 55177989 2125570048 24063 18446744073709551615 93894830563328 93894831964909 140723053868608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93894832236336 93894834110640 93894867013632 140723053877662 140723053877738 140723053877738 140723053883340 0
/proc/57807/statm: 518938 24063 1696 343 0 516002 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 2075752 KiB
Current children cumulated memory: 96252 KiB

[startup+462.3 s]
/proc/loadavg: 4.17 3.80 3.30 5/264 57827
/proc/meminfo: memFree=128650700/131249996 swapFree=33010416/33010684
[pid=57807] ppid=57804 vsize=2075752 memory=96252 CPUtime=461.06 cores=4,6
/proc/57807/stat : 57807 (pb_picat) R 57804 57807 57642 0 -1 4194304 210203 0 0 0 46042 64 0 0 20 0 1 0 55177989 2125570048 24063 18446744073709551615 93894830563328 93894831964909 140723053868608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93894832236336 93894834110640 93894867013632 140723053877662 140723053877738 140723053877738 140723053883340 0
/proc/57807/statm: 518938 24063 1696 343 0 516002 0
Current children cumulated CPU time: 461.06 s
Current children cumulated vsize: 2075752 KiB
Current children cumulated memory: 96252 KiB

[startup+522.3 s]
/proc/loadavg: 4.17 3.87 3.36 5/265 57830
/proc/meminfo: memFree=128692120/131249996 swapFree=33010416/33010684
[pid=57807] ppid=57804 vsize=2070632 memory=79712 CPUtime=520.9 cores=4,6
/proc/57807/stat : 57807 (pb_picat) R 57804 57807 57642 0 -1 4194304 212554 0 0 0 52025 65 0 0 20 0 1 0 55177989 2120327168 19928 18446744073709551615 93894830563328 93894831964909 140723053868608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93894832236336 93894834110640 93894867013632 140723053877662 140723053877738 140723053877738 140723053883340 0
/proc/57807/statm: 517658 19928 1696 343 0 514722 0
Current children cumulated CPU time: 520.9 s
Current children cumulated vsize: 2070632 KiB
Current children cumulated memory: 79712 KiB

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

# cumulated CPU time of all completed processes:  user=528.047 s, system=0.661959 s

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

[startup+524.8 s]
/proc/loadavg: 4.17 3.87 3.36 5/265 57830
/proc/meminfo: memFree=128682292/131249996 swapFree=33010416/33010684
[pid=57807] ppid=57804 vsize=2070632 memory=83964 CPUtime=523.39 cores=4,6
/proc/57807/stat : 57807 (pb_picat) R 57804 57807 57642 0 -1 4194304 213106 0 0 0 52274 65 0 0 20 0 1 0 55177989 2120327168 20991 18446744073709551615 93894830563328 93894831964909 140723053868608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93894832236336 93894834110640 93894867013632 140723053877662 140723053877738 140723053877738 140723053883340 0
/proc/57807/statm: 517658 20991 1696 343 0 514722 0
Current children cumulated CPU time: 523.39 s
Current children cumulated vsize: 2070632 KiB
Current children cumulated memory: 83964 KiB

[startup+528 s]*
/proc/loadavg: 4.16 3.87 3.36 5/265 57831
/proc/meminfo: memFree=128670004/131249996 swapFree=33010416/33010684
[pid=57807] ppid=57804 vsize=2070632 memory=83964 CPUtime=526.59 cores=4,6
/proc/57807/stat : 57807 (pb_picat) R 57804 57807 57642 0 -1 4194304 213106 0 0 0 52594 65 0 0 20 0 1 0 55177989 2120327168 20991 18446744073709551615 93894830563328 93894831964909 140723053868608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93894832236336 93894834110640 93894867013632 140723053877662 140723053877738 140723053877738 140723053883340 0
/proc/57807/statm: 517658 20991 1696 343 0 514722 0
Current children cumulated CPU time: 526.59 s
Current children cumulated vsize: 2070632 KiB
Current children cumulated memory: 83964 KiB

[startup+528.8 s]
/proc/loadavg: 4.16 3.87 3.36 5/265 57831
/proc/meminfo: memFree=128670004/131249996 swapFree=33010416/33010684
[pid=57807] ppid=57804 vsize=2070632 memory=83964 CPUtime=527.38 cores=4,6
/proc/57807/stat : 57807 (pb_picat) R 57804 57807 57642 0 -1 4194304 213106 0 0 0 52673 65 0 0 20 0 1 0 55177989 2120327168 20991 18446744073709551615 93894830563328 93894831964909 140723053868608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93894832236336 93894834110640 93894867013632 140723053877662 140723053877738 140723053877738 140723053883340 0
/proc/57807/statm: 517658 20991 1696 343 0 514722 0
Current children cumulated CPU time: 527.38 s
Current children cumulated vsize: 2070632 KiB
Current children cumulated memory: 83964 KiB

[startup+529.6 s]
/proc/loadavg: 4.16 3.87 3.36 5/265 57831
/proc/meminfo: memFree=128665924/131249996 swapFree=33010416/33010684
[pid=57807] ppid=57804 vsize=2070632 memory=83964 CPUtime=528.18 cores=4,6
/proc/57807/stat : 57807 (pb_picat) R 57804 57807 57642 0 -1 4194304 213106 0 0 0 52753 65 0 0 20 0 1 0 55177989 2120327168 20991 18446744073709551615 93894830563328 93894831964909 140723053868608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93894832236336 93894834110640 93894867013632 140723053877662 140723053877738 140723053877738 140723053883340 0
/proc/57807/statm: 517658 20991 1696 343 0 514722 0
Current children cumulated CPU time: 528.18 s
Current children cumulated vsize: 2070632 KiB
Current children cumulated memory: 83964 KiB

[startup+530 s]*
/proc/loadavg: 4.16 3.87 3.36 5/265 57831
/proc/meminfo: memFree=128661828/131249996 swapFree=33010416/33010684
[pid=57807] ppid=57804 vsize=2070632 memory=83964 CPUtime=528.58 cores=4,6
/proc/57807/stat : 57807 (pb_picat) R 57804 57807 57642 0 -1 4194304 213106 0 0 0 52793 65 0 0 20 0 1 0 55177989 2120327168 20991 18446744073709551615 93894830563328 93894831964909 140723053868608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93894832236336 93894834110640 93894867013632 140723053877662 140723053877738 140723053877738 140723053883340 0
/proc/57807/statm: 517658 20991 1696 343 0 514722 0
Current children cumulated CPU time: 528.58 s
Current children cumulated vsize: 2070632 KiB
Current children cumulated memory: 83964 KiB

[startup+530.105 s]
/proc/loadavg: 4.16 3.87 3.36 5/265 57831
/proc/meminfo: memFree=128661828/131249996 swapFree=33010416/33010684
[pid=57807] ppid=57804 vsize=2070632 memory=83964 CPUtime=528.68 cores=4,6
/proc/57807/stat : 57807 (pb_picat) R 57804 57807 57642 0 -1 4194304 213106 0 0 0 52803 65 0 0 20 0 1 0 55177989 2120327168 20991 18446744073709551615 93894830563328 93894831964909 140723053868608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93894832236336 93894834110640 93894867013632 140723053877662 140723053877738 140723053877738 140723053883340 0
/proc/57807/statm: 517658 20991 1696 343 0 514722 0
Current children cumulated CPU time: 528.68 s
Current children cumulated vsize: 2070632 KiB
Current children cumulated memory: 83964 KiB

Child status: 0

Real time (s): 530.122
CPU time (s): 528.709
CPU user time (s): 528.047
CPU system time (s): 0.661959
CPU usage (%): 99.7334
Max. virtual memory (cumulated for all children) (KiB): 2075752
Max. memory (cumulated for all children) (KiB): 96252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 528.047
system time used= 0.661959
maximum resident set size= 96252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 213129
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66
involuntary context switches= 436


# summary of solver processes directly reported to runsolver:
#   pid: 57807
#   total CPU time (s): 528.709
#   total CPU user time (s): 528.047
#   total CPU system time (s): 0.661959

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.973971 second user time and 2.19137 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2025-07-01 20:36:42
IDJOB=4497833
IDBENCH=148194
IDSOLVER=3346
FILE ID=nodeC022/4497833-1751395002
RUNJOBID= nodeC022-1751394922-57653
SLURM_JOB_ID= 9598265
Free space on /tmp= 433036 MiB

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

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

MD5SUM BENCH= 529ae296d86301d65a8fd4e36abb4ed9
RANDOM SEED=1774537198

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.711
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.709
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		: 3599.141
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		: 3700.000
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		: 3599.668
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		: 3599.712
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		: 3673.848
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		: 3602.032
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:        128752264 kB
MemAvailable:   128687188 kB
Buffers:            2128 kB
Cached:           737516 kB
SwapCached:           32 kB
Active:          1512424 kB
Inactive:         349528 kB
Active(anon):    1136140 kB
Inactive(anon):     4196 kB
Active(file):     376284 kB
Inactive(file):   345332 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4180 kB
Writeback:             0 kB
AnonPages:       1122324 kB
Mapped:           113288 kB
Shmem:             18028 kB
KReclaimable:     104692 kB
Slab:             191840 kB
SReclaimable:     104692 kB
SUnreclaim:        87148 kB
KernelStack:        4304 kB
PageTables:         5276 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    6768624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    980992 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:45:33