Trace number 4497419

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-16OPT20 325.34 326.468

General information on the benchmark

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

Verifier Data 

OK	20

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497419-1751393422/watcher-4497419-1751393422 -o /tmp/evaluation-result-4497419-1751393422/solver-4497419-1751393422 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751393420-59616 --watchdog 3760 pb_picat HOME/instance-4497419-1751393422.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.10006 s]*
/proc/loadavg: 0.88 2.62 4.15 5/264 59765
/proc/meminfo: memFree=129450724/131250000 swapFree=33010684/33010684
[pid=59764] ppid=59761 vsize=2027148 memory=38208 CPUtime=0.08 cores=0,2
/proc/59764/stat : 59764 (pb_picat) R 59761 59764 59606 0 -1 4194304 1037 0 0 0 8 0 0 0 20 0 1 0 55022475 2075799552 9552 18446744073709551615 94756837003264 94756838404845 140736676736320 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94756838676272 94756840550576 94756852068352 140736676739486 140736676739562 140736676739562 140736676745164 0
/proc/59764/statm: 506787 9552 1536 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 38208 KiB

[startup+0.205431 s]*
/proc/loadavg: 0.88 2.62 4.15 5/264 59765
/proc/meminfo: memFree=129408000/131250000 swapFree=33010684/33010684
[pid=59764] ppid=59761 vsize=2037040 memory=59412 CPUtime=0.19 cores=0,2
/proc/59764/stat : 59764 (pb_picat) R 59761 59764 59606 0 -1 4194304 1599 0 0 0 18 1 0 0 20 0 1 0 55022475 2085928960 14821 18446744073709551615 94756837003264 94756838404845 140736676736320 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94756838676272 94756840550576 94756852068352 140736676739486 140736676739562 140736676739562 140736676745164 0
/proc/59764/statm: 509260 14821 1728 343 0 506324 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2037040 KiB
Current children cumulated memory: 59412 KiB

[startup+0.305339 s]*
/proc/loadavg: 0.88 2.62 4.15 5/264 59765
/proc/meminfo: memFree=129387332/131250000 swapFree=33010684/33010684
[pid=59764] ppid=59761 vsize=2043304 memory=63376 CPUtime=0.29 cores=0,2
/proc/59764/stat : 59764 (pb_picat) R 59761 59764 59606 0 -1 4194304 3210 0 0 0 28 1 0 0 20 0 1 0 55022475 2092343296 15844 18446744073709551615 94756837003264 94756838404845 140736676736320 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94756838676272 94756840550576 94756852068352 140736676739486 140736676739562 140736676739562 140736676745164 0
/proc/59764/statm: 510826 15844 1728 343 0 507890 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2043304 KiB
Current children cumulated memory: 63376 KiB

[startup+0.700157 s]
/proc/loadavg: 1.21 2.66 4.16 5/264 59765
/proc/meminfo: memFree=129341836/131250000 swapFree=33010684/33010684
[pid=59764] ppid=59761 vsize=2043528 memory=64636 CPUtime=0.68 cores=0,2
/proc/59764/stat : 59764 (pb_picat) R 59761 59764 59606 0 -1 4194304 4055 0 0 0 67 1 0 0 20 0 1 0 55022475 2092572672 16159 18446744073709551615 94756837003264 94756838404845 140736676736320 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94756838676272 94756840550576 94756852068352 140736676739486 140736676739562 140736676739562 140736676745164 0
/proc/59764/statm: 510882 16159 1728 343 0 507946 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2043528 KiB
Current children cumulated memory: 64636 KiB

[startup+1.50016 s]
/proc/loadavg: 1.21 2.66 4.16 5/264 59765
/proc/meminfo: memFree=129254812/131250000 swapFree=33010684/33010684
[pid=59764] ppid=59761 vsize=2046316 memory=67632 CPUtime=1.48 cores=0,2
/proc/59764/stat : 59764 (pb_picat) R 59761 59764 59606 0 -1 4194304 5903 0 0 0 146 2 0 0 20 0 1 0 55022475 2095427584 16908 18446744073709551615 94756837003264 94756838404845 140736676736320 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94756838676272 94756840550576 94756852068352 140736676739486 140736676739562 140736676739562 140736676745164 0
/proc/59764/statm: 511579 16908 1728 343 0 508643 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2046316 KiB
Current children cumulated memory: 67632 KiB

[startup+3.10558 s]
/proc/loadavg: 1.21 2.66 4.16 5/264 59765
/proc/meminfo: memFree=128914644/131250000 swapFree=33010684/33010684
[pid=59764] ppid=59761 vsize=2046068 memory=65820 CPUtime=3.08 cores=0,2
/proc/59764/stat : 59764 (pb_picat) R 59761 59764 59606 0 -1 4194304 8059 0 0 0 306 2 0 0 20 0 1 0 55022475 2095173632 16455 18446744073709551615 94756837003264 94756838404845 140736676736320 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94756838676272 94756840550576 94756852068352 140736676739486 140736676739562 140736676739562 140736676745164 0
/proc/59764/statm: 511517 16455 1728 343 0 508581 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2046068 KiB
Current children cumulated memory: 65820 KiB

[startup+6.30015 s]
/proc/loadavg: 1.51 2.70 4.16 5/264 59810
/proc/meminfo: memFree=128040120/131250000 swapFree=33010684/33010684
[pid=59764] ppid=59761 vsize=2049000 memory=70100 CPUtime=6.24 cores=0,2
/proc/59764/stat : 59764 (pb_picat) R 59761 59764 59606 0 -1 4194304 12281 0 0 0 617 7 0 0 20 0 1 0 55022475 2098176000 17525 18446744073709551615 94756837003264 94756838404845 140736676736320 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94756838676272 94756840550576 94756852068352 140736676739486 140736676739562 140736676739562 140736676745164 0
/proc/59764/statm: 512250 17525 1728 343 0 509314 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 2049000 KiB
Current children cumulated memory: 70100 KiB

[startup+12.7002 s]
/proc/loadavg: 1.71 2.72 4.16 5/264 59810
/proc/meminfo: memFree=127877264/131250000 swapFree=33010684/33010684
[pid=59764] ppid=59761 vsize=2045740 memory=68000 CPUtime=12.62 cores=0,2
/proc/59764/stat : 59764 (pb_picat) R 59761 59764 59606 0 -1 4194304 13671 0 0 0 1255 7 0 0 20 0 1 0 55022475 2094837760 17000 18446744073709551615 94756837003264 94756838404845 140736676736320 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94756838676272 94756840550576 94756852068352 140736676739486 140736676739562 140736676739562 140736676745164 0
/proc/59764/statm: 511435 17000 1728 343 0 508499 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 2045740 KiB
Current children cumulated memory: 68000 KiB

[startup+25.5002 s]
/proc/loadavg: 2.06 2.76 4.16 5/264 59810
/proc/meminfo: memFree=127842320/131250000 swapFree=33010684/33010684
[pid=59764] ppid=59761 vsize=2051884 memory=72868 CPUtime=25.38 cores=0,2
/proc/59764/stat : 59764 (pb_picat) R 59761 59764 59606 0 -1 4194304 17629 0 0 0 2530 8 0 0 20 0 1 0 55022475 2101129216 18217 18446744073709551615 94756837003264 94756838404845 140736676736320 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94756838676272 94756840550576 94756852068352 140736676739486 140736676739562 140736676739562 140736676745164 0
/proc/59764/statm: 512971 18217 1728 343 0 510035 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 2051884 KiB
Current children cumulated memory: 72868 KiB

[startup+51.1054 s]
/proc/loadavg: 2.83 2.88 4.15 5/264 59810
/proc/meminfo: memFree=127820992/131250000 swapFree=33010684/33010684
[pid=59764] ppid=59761 vsize=2055984 memory=77276 CPUtime=50.91 cores=0,2
/proc/59764/stat : 59764 (pb_picat) R 59761 59764 59606 0 -1 4194304 36529 0 0 0 5079 12 0 0 20 0 1 0 55022475 2105327616 19319 18446744073709551615 94756837003264 94756838404845 140736676736320 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94756838676272 94756840550576 94756852068352 140736676739486 140736676739562 140736676739562 140736676745164 0
/proc/59764/statm: 513996 19319 1728 343 0 511060 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 2055984 KiB
Current children cumulated memory: 77276 KiB

[startup+102.3 s]
/proc/loadavg: 3.56 3.07 4.15 5/263 59812
/proc/meminfo: memFree=127792684/131250000 swapFree=33010684/33010684
[pid=59764] ppid=59761 vsize=2064176 memory=80960 CPUtime=101.93 cores=0,2
/proc/59764/stat : 59764 (pb_picat) R 59761 59764 59606 0 -1 4194304 91033 0 0 0 10165 28 0 0 20 0 1 0 55022475 2113716224 20240 18446744073709551615 94756837003264 94756838404845 140736676736320 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94756838676272 94756840550576 94756852068352 140736676739486 140736676739562 140736676739562 140736676745164 0
/proc/59764/statm: 516044 20240 1728 343 0 513108 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 2064176 KiB
Current children cumulated memory: 80960 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 3.26 4.14 5/263 59814
/proc/meminfo: memFree=127799432/131250000 swapFree=33010684/33010684
[pid=59764] ppid=59761 vsize=2068272 memory=85572 CPUtime=161.73 cores=0,2
/proc/59764/stat : 59764 (pb_picat) R 59761 59764 59606 0 -1 4194304 146912 0 0 0 16126 47 0 0 20 0 1 0 55022475 2117910528 21393 18446744073709551615 94756837003264 94756838404845 140736676736320 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94756838676272 94756840550576 94756852068352 140736676739486 140736676739562 140736676739562 140736676745164 0
/proc/59764/statm: 517068 21393 1728 343 0 514132 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 2068272 KiB
Current children cumulated memory: 85572 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 3.43 4.14 5/264 59817
/proc/meminfo: memFree=127784284/131250000 swapFree=33010684/33010684
[pid=59764] ppid=59761 vsize=2055984 memory=78152 CPUtime=221.52 cores=0,2
/proc/59764/stat : 59764 (pb_picat) R 59761 59764 59606 0 -1 4194304 198353 0 0 0 22089 63 0 0 20 0 1 0 55022475 2105327616 19538 18446744073709551615 94756837003264 94756838404845 140736676736320 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94756838676272 94756840550576 94756852068352 140736676739486 140736676739562 140736676739562 140736676745164 0
/proc/59764/statm: 513996 19538 1728 343 0 511060 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 2055984 KiB
Current children cumulated memory: 78152 KiB

[startup+282.3 s]
/proc/loadavg: 4.03 3.53 4.13 5/264 59822
/proc/meminfo: memFree=127803656/131250000 swapFree=33010684/33010684
[pid=59764] ppid=59761 vsize=2060080 memory=80940 CPUtime=281.31 cores=0,2
/proc/59764/stat : 59764 (pb_picat) R 59761 59764 59606 0 -1 4194304 234519 0 0 0 28056 75 0 0 20 0 1 0 55022475 2109521920 20235 18446744073709551615 94756837003264 94756838404845 140736676736320 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94756838676272 94756840550576 94756852068352 140736676739486 140736676739562 140736676739562 140736676745164 0
/proc/59764/statm: 515020 20235 1728 343 0 512084 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 2060080 KiB
Current children cumulated memory: 80940 KiB

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

# cumulated CPU time of all completed processes:  user=324.48 s, system=0.859292 s

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

[startup+307.2 s]
/proc/loadavg: 4.09 3.59 4.13 5/264 59824
/proc/meminfo: memFree=127797168/131250000 swapFree=33010684/33010684
[pid=59764] ppid=59761 vsize=2055984 memory=77956 CPUtime=306.12 cores=0,2
/proc/59764/stat : 59764 (pb_picat) R 59761 59764 59606 0 -1 4194304 250092 0 0 0 30532 80 0 0 20 0 1 0 55022475 2105327616 19489 18446744073709551615 94756837003264 94756838404845 140736676736320 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94756838676272 94756840550576 94756852068352 140736676739486 140736676739562 140736676739562 140736676745164 0
/proc/59764/statm: 513996 19489 1728 343 0 511060 0
Current children cumulated CPU time: 306.12 s
Current children cumulated vsize: 2055984 KiB
Current children cumulated memory: 77956 KiB

[startup+320 s]*
/proc/loadavg: 4.08 3.60 4.13 5/264 59824
/proc/meminfo: memFree=127781444/131250000 swapFree=33010684/33010684
[pid=59764] ppid=59761 vsize=2060080 memory=78300 CPUtime=318.89 cores=0,2
/proc/59764/stat : 59764 (pb_picat) R 59761 59764 59606 0 -1 4194304 259365 0 0 0 31805 84 0 0 20 0 1 0 55022475 2109521920 19575 18446744073709551615 94756837003264 94756838404845 140736676736320 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94756838676272 94756840550576 94756852068352 140736676739486 140736676739562 140736676739562 140736676745164 0
/proc/59764/statm: 515020 19575 1728 343 0 512084 0
Current children cumulated CPU time: 318.89 s
Current children cumulated vsize: 2060080 KiB
Current children cumulated memory: 78300 KiB

[startup+323.2 s]
/proc/loadavg: 4.07 3.61 4.13 5/264 59824
/proc/meminfo: memFree=127781444/131250000 swapFree=33010684/33010684
[pid=59764] ppid=59761 vsize=2055984 memory=76764 CPUtime=322.07 cores=0,2
/proc/59764/stat : 59764 (pb_picat) R 59761 59764 59606 0 -1 4194304 260210 0 0 0 32123 84 0 0 20 0 1 0 55022475 2105327616 19191 18446744073709551615 94756837003264 94756838404845 140736676736320 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94756838676272 94756840550576 94756852068352 140736676739486 140736676739562 140736676739562 140736676745164 0
/proc/59764/statm: 513996 19191 1728 343 0 511060 0
Current children cumulated CPU time: 322.07 s
Current children cumulated vsize: 2055984 KiB
Current children cumulated memory: 76764 KiB

[startup+324.8 s]
/proc/loadavg: 4.07 3.61 4.13 5/264 59824
/proc/meminfo: memFree=127781444/131250000 swapFree=33010684/33010684
[pid=59764] ppid=59761 vsize=2046696 memory=68488 CPUtime=323.67 cores=0,2
/proc/59764/stat : 59764 (pb_picat) R 59761 59764 59606 0 -1 4194304 261031 0 0 0 32282 85 0 0 20 0 1 0 55022475 2095816704 17122 18446744073709551615 94756837003264 94756838404845 140736676736320 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94756838676272 94756840550576 94756852068352 140736676739486 140736676739562 140736676739562 140736676745164 0
/proc/59764/statm: 511674 17122 1728 343 0 508738 0
Current children cumulated CPU time: 323.67 s
Current children cumulated vsize: 2046696 KiB
Current children cumulated memory: 68488 KiB

[startup+325.6 s]
/proc/loadavg: 4.07 3.61 4.13 5/264 59824
/proc/meminfo: memFree=127781444/131250000 swapFree=33010684/33010684
[pid=59764] ppid=59761 vsize=2048744 memory=69896 CPUtime=324.47 cores=0,2
/proc/59764/stat : 59764 (pb_picat) R 59761 59764 59606 0 -1 4194304 261373 0 0 0 32362 85 0 0 20 0 1 0 55022475 2097913856 17474 18446744073709551615 94756837003264 94756838404845 140736676736320 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94756838676272 94756840550576 94756852068352 140736676739486 140736676739562 140736676739562 140736676745164 0
/proc/59764/statm: 512186 17474 1728 343 0 509250 0
Current children cumulated CPU time: 324.47 s
Current children cumulated vsize: 2048744 KiB
Current children cumulated memory: 69896 KiB

[startup+326 s]*
/proc/loadavg: 4.06 3.62 4.13 5/264 59824
/proc/meminfo: memFree=127781444/131250000 swapFree=33010684/33010684
[pid=59764] ppid=59761 vsize=2048744 memory=70280 CPUtime=324.87 cores=0,2
/proc/59764/stat : 59764 (pb_picat) R 59761 59764 59606 0 -1 4194304 261486 0 0 0 32402 85 0 0 20 0 1 0 55022475 2097913856 17570 18446744073709551615 94756837003264 94756838404845 140736676736320 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94756838676272 94756840550576 94756852068352 140736676739486 140736676739562 140736676739562 140736676745164 0
/proc/59764/statm: 512186 17570 1728 343 0 509250 0
Current children cumulated CPU time: 324.87 s
Current children cumulated vsize: 2048744 KiB
Current children cumulated memory: 70280 KiB

[startup+326.4 s]
/proc/loadavg: 4.06 3.62 4.13 5/264 59824
/proc/meminfo: memFree=127781444/131250000 swapFree=33010684/33010684
[pid=59764] ppid=59761 vsize=2048744 memory=70280 CPUtime=325.26 cores=0,2
/proc/59764/stat : 59764 (pb_picat) R 59761 59764 59606 0 -1 4194304 261486 0 0 0 32441 85 0 0 20 0 1 0 55022475 2097913856 17570 18446744073709551615 94756837003264 94756838404845 140736676736320 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94756838676272 94756840550576 94756852068352 140736676739486 140736676739562 140736676739562 140736676745164 0
/proc/59764/statm: 512186 17570 1728 343 0 509250 0
Current children cumulated CPU time: 325.26 s
Current children cumulated vsize: 2048744 KiB
Current children cumulated memory: 70280 KiB

Child status: 0

Real time (s): 326.468
CPU time (s): 325.34
CPU user time (s): 324.48
CPU system time (s): 0.859292
CPU usage (%): 99.6543
Max. virtual memory (cumulated for all children) (KiB): 2068272
Max. memory (cumulated for all children) (KiB): 85956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 324.48
system time used= 0.859292
maximum resident set size= 86084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 261490
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= 482


# summary of solver processes directly reported to runsolver:
#   pid: 59764
#   total CPU time (s): 325.34
#   total CPU user time (s): 324.48
#   total CPU system time (s): 0.859292

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.643346 second user time and 1.39622 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-07-01 20:10:22
IDJOB=4497419
IDBENCH=148185
IDSOLVER=3346
FILE ID=nodeC013/4497419-1751393422
RUNJOBID= nodeC013-1751393420-59616
SLURM_JOB_ID= 9598258
Free space on /tmp= 433032 MiB

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

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

MD5SUM BENCH= 9def910af6a1ee27abcf25feff61a445
RANDOM SEED=826507228

nodeC013 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3679.308
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.815
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.461
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.728
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.819
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.824
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.628
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3710.480
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129545520 kB
MemAvailable:   129713036 kB
Buffers:            3280 kB
Cached:           967796 kB
SwapCached:            0 kB
Active:           426812 kB
Inactive:         723492 kB
Active(anon):     192520 kB
Inactive(anon):        0 kB
Active(file):     234292 kB
Inactive(file):   723492 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             33348 kB
Writeback:             4 kB
AnonPages:        182344 kB
Mapped:           107628 kB
Shmem:             13284 kB
KReclaimable:      97540 kB
Slab:             185160 kB
SReclaimable:      97540 kB
SUnreclaim:        87620 kB
KernelStack:        4236 kB
PageTables:         3528 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    6485232 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150488 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     96256 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433024 MiB
End job on nodeC013 at 2025-07-01 20:15:49