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

OK	6563

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: 64059 MiB (61781 MiB free)
  memory of node 1: 64510 MiB (62115 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436434-1721125184/watcher-4436434-1721125184 -o /tmp/evaluation-result-4436434-1721125184/solver-4436434-1721125184 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721124536-843384 --watchdog 3760 pb_picat HOME/instance-4436434-1721125184.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=844075, runsolver pid=844072

[startup+0.100099 s]*
/proc/loadavg: 4.11 3.96 3.81 5/241 844076
/proc/meminfo: memFree=126837800/131655788 swapFree=131071996/131071996
[pid=844075] ppid=844072 vsize=2033608 memory=39776 CPUtime=0.1 cores=0,2
/proc/844075/stat : 844075 (pb_picat) R 844072 844075 843374 0 -1 4194304 938 0 0 0 10 0 0 0 20 0 1 0 164674494 2082414592 9944 134679101440 4194304 5989780 140728240278032 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 48361472 140728240284697 140728240284773 140728240284773 140728240291788 0
/proc/844075/statm: 508402 9944 1502 439 0 503831 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 39776 KiB

[startup+0.212897 s]*
/proc/loadavg: 4.11 3.96 3.81 5/241 844076
/proc/meminfo: memFree=126816004/131655788 swapFree=131071996/131071996
[pid=844075] ppid=844072 vsize=2041424 memory=56536 CPUtime=0.21 cores=0,2
/proc/844075/stat : 844075 (pb_picat) R 844072 844075 843374 0 -1 4194304 1015 0 0 0 21 0 0 0 20 0 1 0 164674494 2090418176 14134 134679101440 4194304 5989780 140728240278032 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 48361472 140728240284697 140728240284773 140728240284773 140728240291788 0
/proc/844075/statm: 510356 14134 1550 439 0 505785 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 56536 KiB

[startup+0.312745 s]*
/proc/loadavg: 4.11 3.96 3.81 5/241 844076
/proc/meminfo: memFree=126796352/131655788 swapFree=131071996/131071996
[pid=844075] ppid=844072 vsize=2042296 memory=68584 CPUtime=0.31 cores=0,2
/proc/844075/stat : 844075 (pb_picat) R 844072 844075 843374 0 -1 4194304 2710 0 0 0 30 1 0 0 20 0 1 0 164674494 2091311104 17146 134679101440 4194304 5989780 140728240278032 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 48361472 140728240284697 140728240284773 140728240284773 140728240291788 0
/proc/844075/statm: 510574 17146 1707 439 0 506003 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2042296 KiB
Current children cumulated memory: 68584 KiB

[startup+0.700288 s]
/proc/loadavg: 4.11 3.96 3.81 5/241 844076
/proc/meminfo: memFree=126787736/131655788 swapFree=131071996/131071996
[pid=844075] ppid=844072 vsize=2053176 memory=78104 CPUtime=0.68 cores=0,2
/proc/844075/stat : 844075 (pb_picat) R 844072 844075 843374 0 -1 4194304 6187 0 0 0 66 2 0 0 20 0 1 0 164674494 2102452224 19526 134679101440 4194304 5989780 140728240278032 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 48361472 140728240284697 140728240284773 140728240284773 140728240291788 0
/proc/844075/statm: 513294 19526 1723 439 0 508723 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2053176 KiB
Current children cumulated memory: 78104 KiB

[startup+1.50031 s]
/proc/loadavg: 4.11 3.96 3.81 5/241 844076
/proc/meminfo: memFree=126793104/131655788 swapFree=131071996/131071996
[pid=844075] ppid=844072 vsize=2052360 memory=78152 CPUtime=1.49 cores=0,2
/proc/844075/stat : 844075 (pb_picat) R 844072 844075 843374 0 -1 4194304 7875 0 0 0 146 3 0 0 20 0 1 0 164674494 2101616640 19538 134679101440 4194304 5989780 140728240278032 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 48361472 140728240284697 140728240284773 140728240284773 140728240291788 0
/proc/844075/statm: 513090 19538 1723 439 0 508519 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2052360 KiB
Current children cumulated memory: 78152 KiB

[startup+3.1125 s]
/proc/loadavg: 4.11 3.96 3.81 5/241 844076
/proc/meminfo: memFree=126798764/131655788 swapFree=131071996/131071996
[pid=844075] ppid=844072 vsize=2053896 memory=79612 CPUtime=3.09 cores=0,2
/proc/844075/stat : 844075 (pb_picat) R 844072 844075 843374 0 -1 4194304 14066 0 0 0 305 4 0 0 20 0 1 0 164674494 2103189504 19903 134679101440 4194304 5989780 140728240278032 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 48361472 140728240284697 140728240284773 140728240284773 140728240291788 0
/proc/844075/statm: 513474 19903 1723 439 0 508903 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2053896 KiB
Current children cumulated memory: 79612 KiB

[startup+6.30027 s]
/proc/loadavg: 4.18 3.98 3.81 6/241 844076
/proc/meminfo: memFree=126796540/131655788 swapFree=131071996/131071996
[pid=844075] ppid=844072 vsize=2053640 memory=78204 CPUtime=6.27 cores=0,2
/proc/844075/stat : 844075 (pb_picat) R 844072 844075 843374 0 -1 4194304 18906 0 0 0 621 6 0 0 20 0 1 0 164674494 2102927360 19551 134679101440 4194304 5989780 140728240278032 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 48361472 140728240284697 140728240284773 140728240284773 140728240291788 0
/proc/844075/statm: 513410 19551 1739 439 0 508839 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2053640 KiB
Current children cumulated memory: 78204 KiB

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

# cumulated CPU time of all completed processes:  user=9.08634 s, system=0.083757 s

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

[startup+6.4003 s]
/proc/loadavg: 4.18 3.98 3.81 6/241 844076
/proc/meminfo: memFree=126796540/131655788 swapFree=131071996/131071996
[pid=844075] ppid=844072 vsize=2053640 memory=78204 CPUtime=6.37 cores=0,2
/proc/844075/stat : 844075 (pb_picat) R 844072 844075 843374 0 -1 4194304 18906 0 0 0 631 6 0 0 20 0 1 0 164674494 2102927360 19551 134679101440 4194304 5989780 140728240278032 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 48361472 140728240284697 140728240284773 140728240284773 140728240291788 0
/proc/844075/statm: 513410 19551 1739 439 0 508839 0
Current children cumulated CPU time: 6.37 s
Current children cumulated vsize: 2053640 KiB
Current children cumulated memory: 78204 KiB

[startup+8.00025 s]*
/proc/loadavg: 4.18 3.98 3.81 6/241 844076
/proc/meminfo: memFree=126783896/131655788 swapFree=131071996/131071996
[pid=844075] ppid=844072 vsize=2053640 memory=78236 CPUtime=7.98 cores=0,2
/proc/844075/stat : 844075 (pb_picat) R 844072 844075 843374 0 -1 4194304 21985 0 0 0 791 7 0 0 20 0 1 0 164674494 2102927360 19559 134679101440 4194304 5989780 140728240278032 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 48361472 140728240284697 140728240284773 140728240284773 140728240291788 0
/proc/844075/statm: 513410 19559 1739 439 0 508839 0
Current children cumulated CPU time: 7.98 s
Current children cumulated vsize: 2053640 KiB
Current children cumulated memory: 78236 KiB

[startup+8.80026 s]
/proc/loadavg: 4.18 3.98 3.81 6/241 844076
/proc/meminfo: memFree=126783896/131655788 swapFree=131071996/131071996
[pid=844075] ppid=844072 vsize=2053640 memory=78248 CPUtime=8.76 cores=0,2
/proc/844075/stat : 844075 (pb_picat) R 844072 844075 843374 0 -1 4194304 23583 0 0 0 869 7 0 0 20 0 1 0 164674494 2102927360 19562 134679101440 4194304 5989780 140728240278032 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 48361472 140728240284697 140728240284773 140728240284773 140728240291788 0
/proc/844075/statm: 513410 19562 1739 439 0 508839 0
Current children cumulated CPU time: 8.76 s
Current children cumulated vsize: 2053640 KiB
Current children cumulated memory: 78248 KiB

[startup+9.00024 s]*
/proc/loadavg: 4.18 3.98 3.81 6/241 844076
/proc/meminfo: memFree=126807172/131655788 swapFree=131071996/131071996
[pid=844075] ppid=844072 vsize=2053640 memory=78248 CPUtime=8.97 cores=0,2
/proc/844075/stat : 844075 (pb_picat) R 844072 844075 843374 0 -1 4194304 23583 0 0 0 890 7 0 0 20 0 1 0 164674494 2102927360 19562 134679101440 4194304 5989780 140728240278032 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 48361472 140728240284697 140728240284773 140728240284773 140728240291788 0
/proc/844075/statm: 513410 19562 1739 439 0 508839 0
Current children cumulated CPU time: 8.97 s
Current children cumulated vsize: 2053640 KiB
Current children cumulated memory: 78248 KiB

[startup+9.11251 s]
/proc/loadavg: 4.18 3.98 3.81 6/241 844076
/proc/meminfo: memFree=126807172/131655788 swapFree=131071996/131071996
[pid=844075] ppid=844072 vsize=2053640 memory=78248 CPUtime=9.07 cores=0,2
/proc/844075/stat : 844075 (pb_picat) R 844072 844075 843374 0 -1 4194304 23583 0 0 0 900 7 0 0 20 0 1 0 164674494 2102927360 19562 134679101440 4194304 5989780 140728240278032 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 48361472 140728240284697 140728240284773 140728240284773 140728240291788 0
/proc/844075/statm: 513410 19562 1739 439 0 508839 0
Current children cumulated CPU time: 9.07 s
Current children cumulated vsize: 2053640 KiB
Current children cumulated memory: 78248 KiB

Child status: 0

Real time (s): 9.198
CPU time (s): 9.17009
CPU user time (s): 9.08634
CPU system time (s): 0.083757
CPU usage (%): 99.6966
Max. virtual memory (cumulated for all children) (KiB): 2056968
Max. memory (cumulated for all children) (KiB): 81980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.08634
system time used= 0.083757
maximum resident set size= 81980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23605
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= 4
involuntary context switches= 66


# summary of solver processes directly reported to runsolver:
#   pid: 844075
#   total CPU time (s): 9.17009
#   total CPU user time (s): 9.08634
#   total CPU system time (s): 0.083757

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.076663 second user time and 0.151754 second system time

The end

Begin job on nodeC003 at 2024-07-16 12:19:56
IDJOB=4436434
IDBENCH=151078
IDSOLVER=3068
FILE ID=nodeC003/4436434-1721125184
RUNJOBID= nodeC003-1721124536-843384
SLURM_JOB_ID= 7505676
Free space on /tmp= 723760 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand18b530.cudf.paranoid.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436434-1721125184/watcher-4436434-1721125184 -o /tmp/evaluation-result-4436434-1721125184/solver-4436434-1721125184 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721124536-843384 --watchdog 3760  pb_picat HOME/instance-4436434-1721125184.opb

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

MD5SUM BENCH= 02c06de792e6087da1c50ba7acabe03f
RANDOM SEED=1949310932

nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3641.263
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3651.169
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.220
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.384
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3659.290
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3651.156
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.438
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.461
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126871648 kB
MemAvailable:   129092488 kB
Buffers:          415332 kB
Cached:          2622464 kB
SwapCached:            0 kB
Active:           709216 kB
Inactive:        3493384 kB
Active(anon):       1468 kB
Inactive(anon):  1201068 kB
Active(file):     707748 kB
Inactive(file):  2292316 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4472 kB
Writeback:             0 kB
AnonPages:       1161076 kB
Mapped:           114404 kB
Shmem:             37704 kB
KReclaimable:     121616 kB
Slab:             222080 kB
SReclaimable:     121616 kB
SUnreclaim:       100464 kB
KernelStack:        3920 kB
PageTables:        11620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    7056472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52384 kB
HardwareCorrupted:     0 kB
AnonHugePages:    962560 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      254792 kB
DirectMap2M:    22718464 kB
DirectMap1G:    113246208 kB

Free space on /tmp at the end= 723756 MiB
End job on nodeC003 at 2024-07-16 12:20:05