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

OK	8228

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=59353, runsolver pid=59350

[startup+0.100062 s]*
/proc/loadavg: 4.43 4.25 4.16 5/263 59354
/proc/meminfo: memFree=128889164/131249996 swapFree=33010416/33010684
[pid=59353] ppid=59350 vsize=2027148 memory=38164 CPUtime=0.09 cores=5,7
/proc/59353/stat : 59353 (pb_picat) R 59350 59353 57642 0 -1 4194304 1024 0 0 0 9 0 0 0 20 0 1 0 55947239 2075799552 9541 18446744073709551615 94510234947584 94510236349165 140727930175808 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94510236620592 94510238494896 94510249455616 140727930177950 140727930178026 140727930178026 140727930183628 0
/proc/59353/statm: 506787 9541 1536 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 38164 KiB

[startup+0.205501 s]*
/proc/loadavg: 4.43 4.25 4.16 5/263 59354
/proc/meminfo: memFree=128876876/131249996 swapFree=33010416/33010684
[pid=59353] ppid=59350 vsize=2034964 memory=52640 CPUtime=0.19 cores=5,7
/proc/59353/stat : 59353 (pb_picat) R 59350 59353 57642 0 -1 4194304 1060 0 0 0 19 0 0 0 20 0 1 0 55947239 2083803136 13160 18446744073709551615 94510234947584 94510236349165 140727930175808 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94510236620592 94510238494896 94510249455616 140727930177950 140727930178026 140727930178026 140727930183628 0
/proc/59353/statm: 508741 13160 1568 343 0 505805 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 52640 KiB

[startup+0.305335 s]*
/proc/loadavg: 4.43 4.25 4.16 5/263 59354
/proc/meminfo: memFree=128860492/131249996 swapFree=33010416/33010684
[pid=59353] ppid=59350 vsize=2040652 memory=72936 CPUtime=0.29 cores=5,7
/proc/59353/stat : 59353 (pb_picat) R 59350 59353 57642 0 -1 4194304 2713 0 0 0 28 1 0 0 20 0 1 0 55947239 2089627648 18234 18446744073709551615 94510234947584 94510236349165 140727930175808 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94510236620592 94510238494896 94510249455616 140727930177950 140727930178026 140727930178026 140727930183628 0
/proc/59353/statm: 510163 18234 1696 343 0 507227 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2040652 KiB
Current children cumulated memory: 72936 KiB

[startup+0.700154 s]
/proc/loadavg: 4.43 4.25 4.16 5/263 59354
/proc/meminfo: memFree=128856760/131249996 swapFree=33010416/33010684
[pid=59353] ppid=59350 vsize=2049496 memory=81212 CPUtime=0.68 cores=5,7
/proc/59353/stat : 59353 (pb_picat) R 59350 59353 57642 0 -1 4194304 8789 0 0 0 66 2 0 0 20 0 1 0 55947239 2098683904 20303 18446744073709551615 94510234947584 94510236349165 140727930175808 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94510236620592 94510238494896 94510249455616 140727930177950 140727930178026 140727930178026 140727930183628 0
/proc/59353/statm: 512374 20303 1696 343 0 509438 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2049496 KiB
Current children cumulated memory: 81212 KiB

[startup+1.50013 s]
/proc/loadavg: 4.43 4.25 4.16 5/263 59354
/proc/meminfo: memFree=128856760/131249996 swapFree=33010416/33010684
[pid=59353] ppid=59350 vsize=2049496 memory=81852 CPUtime=1.48 cores=5,7
/proc/59353/stat : 59353 (pb_picat) R 59350 59353 57642 0 -1 4194304 16868 0 0 0 145 3 0 0 20 0 1 0 55947239 2098683904 20463 18446744073709551615 94510234947584 94510236349165 140727930175808 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94510236620592 94510238494896 94510249455616 140727930177950 140727930178026 140727930178026 140727930183628 0
/proc/59353/statm: 512374 20463 1696 343 0 509438 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2049496 KiB
Current children cumulated memory: 81852 KiB

[startup+3.10523 s]
/proc/loadavg: 4.43 4.25 4.16 5/263 59354
/proc/meminfo: memFree=128856636/131249996 swapFree=33010416/33010684
[pid=59353] ppid=59350 vsize=2048568 memory=79764 CPUtime=3.08 cores=5,7
/proc/59353/stat : 59353 (pb_picat) R 59350 59353 57642 0 -1 4194304 23630 0 0 0 304 4 0 0 20 0 1 0 55947239 2097733632 19941 18446744073709551615 94510234947584 94510236349165 140727930175808 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94510236620592 94510238494896 94510249455616 140727930177950 140727930178026 140727930178026 140727930183628 0
/proc/59353/statm: 512142 19941 1696 343 0 509206 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2048568 KiB
Current children cumulated memory: 79764 KiB

[startup+6.30011 s]
/proc/loadavg: 4.39 4.25 4.16 5/263 59354
/proc/meminfo: memFree=128852540/131249996 swapFree=33010416/33010684
[pid=59353] ppid=59350 vsize=2048568 memory=79892 CPUtime=6.27 cores=5,7
/proc/59353/stat : 59353 (pb_picat) R 59350 59353 57642 0 -1 4194304 29478 0 0 0 621 6 0 0 20 0 1 0 55947239 2097733632 19973 18446744073709551615 94510234947584 94510236349165 140727930175808 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94510236620592 94510238494896 94510249455616 140727930177950 140727930178026 140727930178026 140727930183628 0
/proc/59353/statm: 512142 19973 1696 343 0 509206 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2048568 KiB
Current children cumulated memory: 79892 KiB

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

# cumulated CPU time of all completed processes:  user=8.9577 s, system=0.07982 s

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

[startup+6.40016 s]
/proc/loadavg: 4.39 4.25 4.16 5/263 59354
/proc/meminfo: memFree=128852540/131249996 swapFree=33010416/33010684
[pid=59353] ppid=59350 vsize=2048568 memory=79892 CPUtime=6.37 cores=5,7
/proc/59353/stat : 59353 (pb_picat) R 59350 59353 57642 0 -1 4194304 29478 0 0 0 631 6 0 0 20 0 1 0 55947239 2097733632 19973 18446744073709551615 94510234947584 94510236349165 140727930175808 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94510236620592 94510238494896 94510249455616 140727930177950 140727930178026 140727930178026 140727930183628 0
/proc/59353/statm: 512142 19973 1696 343 0 509206 0
Current children cumulated CPU time: 6.37 s
Current children cumulated vsize: 2048568 KiB
Current children cumulated memory: 79892 KiB

[startup+8.00012 s]*
/proc/loadavg: 4.39 4.25 4.16 5/263 59354
/proc/meminfo: memFree=128854840/131249996 swapFree=33010416/33010684
[pid=59353] ppid=59350 vsize=2048568 memory=79764 CPUtime=7.96 cores=5,7
/proc/59353/stat : 59353 (pb_picat) R 59350 59353 57642 0 -1 4194304 33428 0 0 0 790 6 0 0 20 0 1 0 55947239 2097733632 19941 18446744073709551615 94510234947584 94510236349165 140727930175808 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94510236620592 94510238494896 94510249455616 140727930177950 140727930178026 140727930178026 140727930183628 0
/proc/59353/statm: 512142 19941 1696 343 0 509206 0
Current children cumulated CPU time: 7.96 s
Current children cumulated vsize: 2048568 KiB
Current children cumulated memory: 79764 KiB

[startup+8.80011 s]
/proc/loadavg: 4.39 4.25 4.16 5/263 59354
/proc/meminfo: memFree=128854840/131249996 swapFree=33010416/33010684
[pid=59353] ppid=59350 vsize=2048568 memory=79764 CPUtime=8.76 cores=5,7
/proc/59353/stat : 59353 (pb_picat) R 59350 59353 57642 0 -1 4194304 35610 0 0 0 869 7 0 0 20 0 1 0 55947239 2097733632 19941 18446744073709551615 94510234947584 94510236349165 140727930175808 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94510236620592 94510238494896 94510249455616 140727930177950 140727930178026 140727930178026 140727930183628 0
/proc/59353/statm: 512142 19941 1696 343 0 509206 0
Current children cumulated CPU time: 8.76 s
Current children cumulated vsize: 2048568 KiB
Current children cumulated memory: 79764 KiB

[startup+9.0001 s]*
/proc/loadavg: 4.39 4.25 4.16 5/263 59354
/proc/meminfo: memFree=128854840/131249996 swapFree=33010416/33010684
[pid=59353] ppid=59350 vsize=2048568 memory=79764 CPUtime=8.97 cores=5,7
/proc/59353/stat : 59353 (pb_picat) R 59350 59353 57642 0 -1 4194304 35610 0 0 0 890 7 0 0 20 0 1 0 55947239 2097733632 19941 18446744073709551615 94510234947584 94510236349165 140727930175808 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94510236620592 94510238494896 94510249455616 140727930177950 140727930178026 140727930178026 140727930183628 0
/proc/59353/statm: 512142 19941 1696 343 0 509206 0
Current children cumulated CPU time: 8.97 s
Current children cumulated vsize: 2048568 KiB
Current children cumulated memory: 79764 KiB

Child status: 0

Real time (s): 9.06569
CPU time (s): 9.03752
CPU user time (s): 8.9577
CPU system time (s): 0.07982
CPU usage (%): 99.6893
Max. virtual memory (cumulated for all children) (KiB): 2049496
Max. memory (cumulated for all children) (KiB): 81852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.9577
system time used= 0.07982
maximum resident set size= 81852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35631
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= 14


# summary of solver processes directly reported to runsolver:
#   pid: 59353
#   total CPU time (s): 9.03752
#   total CPU user time (s): 8.9577
#   total CPU system time (s): 0.07982

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.030153 second user time and 0.072556 second system time

The end

Begin job on nodeC022 at 2025-07-01 22:44:55
IDJOB=4501371
IDBENCH=151067
IDSOLVER=3346
FILE ID=nodeC022/4501371-1751402695
RUNJOBID= nodeC022-1751394922-57655
SLURM_JOB_ID= 9598265
Free space on /tmp= 433040 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randf794d2.cudf.paranoid.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4501371-1751402695/watcher-4501371-1751402695 -o /tmp/evaluation-result-4501371-1751402695/solver-4501371-1751402695 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751394922-57655 --watchdog 3760  pb_picat HOME/instance-4501371-1751402695.opb

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

MD5SUM BENCH= ea9ae9bea7028026739269ec7153cef0
RANDOM SEED=1463442949

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128913660 kB
MemAvailable:   128851140 kB
Buffers:            2128 kB
Cached:           739928 kB
SwapCached:           32 kB
Active:          1345652 kB
Inactive:         351940 kB
Active(anon):     969368 kB
Inactive(anon):     4196 kB
Active(file):     376284 kB
Inactive(file):   347744 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4220 kB
Writeback:            24 kB
AnonPages:        952688 kB
Mapped:           113416 kB
Shmem:             18028 kB
KReclaimable:     104984 kB
Slab:             192452 kB
SReclaimable:     104984 kB
SUnreclaim:        87468 kB
KernelStack:        4272 kB
PageTables:         4988 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    6671480 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    823296 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433036 MiB
End job on nodeC022 at 2025-07-01 22:45:04