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

OK	0

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507585-1751190586/watcher-4507585-1751190586 -o /tmp/evaluation-result-4507585-1751190586/solver-4507585-1751190586 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751190586-22005 --watchdog 3760 pb_picat HOME/instance-4507585-1751190586.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=22050, runsolver pid=22044

[startup+0.100066 s]*
/proc/loadavg: 0.65 1.67 2.68 5/265 22063
/proc/meminfo: memFree=129981180/131249988 swapFree=33010684/33010684
[pid=22050] ppid=22044 vsize=2027148 memory=36552 CPUtime=0.08 cores=5,7
/proc/22050/stat : 22050 (pb_picat) R 22044 22050 21992 0 -1 4194304 1128 0 0 0 7 1 0 0 20 0 1 0 34737497 2075799552 9138 18446744073709551615 94090742382592 94090743784173 140728578232000 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 94090744055600 94090745929904 94090772770816 140728578238878 140728578238954 140728578238954 140728578244556 0
/proc/22050/statm: 506787 9138 1536 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36552 KiB

[startup+0.205674 s]*
/proc/loadavg: 0.65 1.67 2.68 5/265 22063
/proc/meminfo: memFree=129969020/131249988 swapFree=33010684/33010684
[pid=22050] ppid=22044 vsize=2029940 memory=44020 CPUtime=0.18 cores=5,7
/proc/22050/stat : 22050 (pb_picat) R 22044 22050 21992 0 -1 4194304 2022 0 0 0 17 1 0 0 20 0 1 0 34737497 2078658560 11005 18446744073709551615 94090742382592 94090743784173 140728578232000 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94090744055600 94090745929904 94090772770816 140728578238878 140728578238954 140728578238954 140728578244556 0
/proc/22050/statm: 507485 11005 1632 343 0 504549 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 2029940 KiB
Current children cumulated memory: 44020 KiB

[startup+0.305397 s]*
/proc/loadavg: 0.65 1.67 2.68 5/265 22063
/proc/meminfo: memFree=129965240/131249988 swapFree=33010684/33010684
[pid=22050] ppid=22044 vsize=2029940 memory=44004 CPUtime=0.28 cores=5,7
/proc/22050/stat : 22050 (pb_picat) R 22044 22050 21992 0 -1 4194304 3180 0 0 0 27 1 0 0 20 0 1 0 34737497 2078658560 11001 18446744073709551615 94090742382592 94090743784173 140728578232000 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94090744055600 94090745929904 94090772770816 140728578238878 140728578238954 140728578238954 140728578244556 0
/proc/22050/statm: 507485 11001 1632 343 0 504549 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 2029940 KiB
Current children cumulated memory: 44004 KiB

[startup+0.700114 s]
/proc/loadavg: 0.65 1.67 2.68 5/265 22063
/proc/meminfo: memFree=129964484/131249988 swapFree=33010684/33010684
[pid=22050] ppid=22044 vsize=2033028 memory=45024 CPUtime=0.68 cores=5,7
/proc/22050/stat : 22050 (pb_picat) R 22044 22050 21992 0 -1 4194304 4487 0 0 0 66 2 0 0 20 0 1 0 34737497 2081820672 11256 18446744073709551615 94090742382592 94090743784173 140728578232000 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94090744055600 94090745929904 94090772770816 140728578238878 140728578238954 140728578238954 140728578244556 0
/proc/22050/statm: 508257 11256 1632 343 0 505321 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2033028 KiB
Current children cumulated memory: 45024 KiB

[startup+1.50012 s]
/proc/loadavg: 0.65 1.67 2.68 5/265 22063
/proc/meminfo: memFree=129962732/131249988 swapFree=33010684/33010684
[pid=22050] ppid=22044 vsize=2036100 memory=47820 CPUtime=1.47 cores=5,7
/proc/22050/stat : 22050 (pb_picat) R 22044 22050 21992 0 -1 4194304 7719 0 0 0 145 2 0 0 20 0 1 0 34737497 2084966400 11955 18446744073709551615 94090742382592 94090743784173 140728578232000 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94090744055600 94090745929904 94090772770816 140728578238878 140728578238954 140728578238954 140728578244556 0
/proc/22050/statm: 509025 11955 1632 343 0 506089 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2036100 KiB
Current children cumulated memory: 47820 KiB

[startup+3.10456 s]
/proc/loadavg: 0.65 1.67 2.68 4/261 22091
/proc/meminfo: memFree=129995776/131249988 swapFree=33010684/33010684
[pid=22050] ppid=22044 vsize=2033028 memory=45644 CPUtime=3.07 cores=5,7
/proc/22050/stat : 22050 (pb_picat) R 22044 22050 21992 0 -1 4194304 13142 0 0 0 303 4 0 0 20 0 1 0 34737497 2081820672 11411 18446744073709551615 94090742382592 94090743784173 140728578232000 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94090744055600 94090745929904 94090772770816 140728578238878 140728578238954 140728578238954 140728578244556 0
/proc/22050/statm: 508257 11411 1632 343 0 505321 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2033028 KiB
Current children cumulated memory: 45644 KiB

[startup+6.30011 s]
/proc/loadavg: 0.92 1.71 2.69 4/261 22161
/proc/meminfo: memFree=129980884/131249988 swapFree=33010684/33010684
[pid=22050] ppid=22044 vsize=2041732 memory=52176 CPUtime=6.26 cores=5,7
/proc/22050/stat : 22050 (pb_picat) R 22044 22050 21992 0 -1 4194304 21903 0 0 0 620 6 0 0 20 0 1 0 34737497 2090733568 13044 18446744073709551615 94090742382592 94090743784173 140728578232000 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94090744055600 94090745929904 94090772770816 140728578238878 140728578238954 140728578238954 140728578244556 0
/proc/22050/statm: 510433 13044 1632 343 0 507497 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2041732 KiB
Current children cumulated memory: 52176 KiB

[startup+12.7001 s]
/proc/loadavg: 1.17 1.75 2.70 4/261 22341
/proc/meminfo: memFree=130022096/131249988 swapFree=33010684/33010684
[pid=22050] ppid=22044 vsize=2041732 memory=52468 CPUtime=12.64 cores=5,7
/proc/22050/stat : 22050 (pb_picat) R 22044 22050 21992 0 -1 4194304 35107 0 0 0 1255 9 0 0 20 0 1 0 34737497 2090733568 13117 18446744073709551615 94090742382592 94090743784173 140728578232000 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94090744055600 94090745929904 94090772770816 140728578238878 140728578238954 140728578238954 140728578244556 0
/proc/22050/statm: 510433 13117 1632 343 0 507497 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2041732 KiB
Current children cumulated memory: 52468 KiB

[startup+25.5001 s]
/proc/loadavg: 1.88 1.87 2.73 5/265 22423
/proc/meminfo: memFree=130003564/131249988 swapFree=33010684/33010684
[pid=22050] ppid=22044 vsize=2037636 memory=47948 CPUtime=25.4 cores=5,7
/proc/22050/stat : 22050 (pb_picat) R 22044 22050 21992 0 -1 4194304 56890 0 0 0 2525 15 0 0 20 0 1 0 34737497 2086539264 11987 18446744073709551615 94090742382592 94090743784173 140728578232000 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94090744055600 94090745929904 94090772770816 140728578238878 140728578238954 140728578238954 140728578244556 0
/proc/22050/statm: 509409 11987 1632 343 0 506473 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2037636 KiB
Current children cumulated memory: 47948 KiB

[startup+51.1054 s]
/proc/loadavg: 2.60 2.05 2.76 5/266 22425
/proc/meminfo: memFree=129988304/131249988 swapFree=33010684/33010684
[pid=22050] ppid=22044 vsize=2047876 memory=59016 CPUtime=50.93 cores=5,7
/proc/22050/stat : 22050 (pb_picat) R 22044 22050 21992 0 -1 4194304 92988 0 0 0 5066 27 0 0 20 0 1 0 34737497 2097025024 14754 18446744073709551615 94090742382592 94090743784173 140728578232000 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94090744055600 94090745929904 94090772770816 140728578238878 140728578238954 140728578238954 140728578244556 0
/proc/22050/statm: 511969 14754 1632 343 0 509033 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 2047876 KiB
Current children cumulated memory: 59016 KiB

[startup+102.3 s]
/proc/loadavg: 3.44 2.37 2.83 5/267 22432
/proc/meminfo: memFree=129948800/131249988 swapFree=33010684/33010684
[pid=22050] ppid=22044 vsize=2105220 memory=106796 CPUtime=102 cores=5,7
/proc/22050/stat : 22050 (pb_picat) R 22044 22050 21992 0 -1 4194304 146568 0 0 0 10151 49 0 0 20 0 1 0 34737497 2155745280 26699 18446744073709551615 94090742382592 94090743784173 140728578232000 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94090744055600 94090745929904 94090772770816 140728578238878 140728578238954 140728578238954 140728578244556 0
/proc/22050/statm: 526305 26699 1632 343 0 523369 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 2105220 KiB
Current children cumulated memory: 106796 KiB

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

# cumulated CPU time of all completed processes:  user=158.256 s, system=0.72605 s

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

[startup+102.4 s]
/proc/loadavg: 3.44 2.37 2.83 5/267 22432
/proc/meminfo: memFree=129948800/131249988 swapFree=33010684/33010684
[pid=22050] ppid=22044 vsize=2041732 memory=57300 CPUtime=102.1 cores=5,7
/proc/22050/stat : 22050 (pb_picat) R 22044 22050 21992 0 -1 4194304 146633 0 0 0 10161 49 0 0 20 0 1 0 34737497 2090733568 14325 18446744073709551615 94090742382592 94090743784173 140728578232000 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94090744055600 94090745929904 94090772770816 140728578238878 140728578238954 140728578238954 140728578244556 0
/proc/22050/statm: 510433 14325 1632 343 0 507497 0
Current children cumulated CPU time: 102.1 s
Current children cumulated vsize: 2041732 KiB
Current children cumulated memory: 57300 KiB

[startup+128 s]*
/proc/loadavg: 3.70 2.51 2.87 5/267 22432
/proc/meminfo: memFree=129963736/131249988 swapFree=33010684/33010684
[pid=22050] ppid=22044 vsize=2071864 memory=83108 CPUtime=127.64 cores=5,7
/proc/22050/stat : 22050 (pb_picat) R 22044 22050 21992 0 -1 4194304 165637 0 0 0 12705 59 0 0 20 0 1 0 34737497 2121588736 20777 18446744073709551615 94090742382592 94090743784173 140728578232000 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94090744055600 94090745929904 94090772770816 140728578238878 140728578238954 140728578238954 140728578244556 0
/proc/22050/statm: 517966 20777 1632 343 0 515030 0
Current children cumulated CPU time: 127.64 s
Current children cumulated vsize: 2071864 KiB
Current children cumulated memory: 83108 KiB

[startup+140.8 s]
/proc/loadavg: 3.77 2.59 2.89 5/267 22433
/proc/meminfo: memFree=129979512/131249988 swapFree=33010684/33010684
[pid=22050] ppid=22044 vsize=2084152 memory=82800 CPUtime=140.4 cores=5,7
/proc/22050/stat : 22050 (pb_picat) R 22044 22050 21992 0 -1 4194304 177906 0 0 0 13976 64 0 0 20 0 1 0 34737497 2134171648 20700 18446744073709551615 94090742382592 94090743784173 140728578232000 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94090744055600 94090745929904 94090772770816 140728578238878 140728578238954 140728578238954 140728578244556 0
/proc/22050/statm: 521038 20700 1632 343 0 518102 0
Current children cumulated CPU time: 140.4 s
Current children cumulated vsize: 2084152 KiB
Current children cumulated memory: 82800 KiB

[startup+147.2 s]
/proc/loadavg: 3.79 2.61 2.90 5/267 22433
/proc/meminfo: memFree=129979544/131249988 swapFree=33010684/33010684
[pid=22050] ppid=22044 vsize=2055480 memory=72072 CPUtime=146.79 cores=5,7
/proc/22050/stat : 22050 (pb_picat) R 22044 22050 21992 0 -1 4194304 182378 0 0 0 14612 67 0 0 20 0 1 0 34737497 2104811520 18018 18446744073709551615 94090742382592 94090743784173 140728578232000 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94090744055600 94090745929904 94090772770816 140728578238878 140728578238954 140728578238954 140728578244556 0
/proc/22050/statm: 513870 18018 1632 343 0 510934 0
Current children cumulated CPU time: 146.79 s
Current children cumulated vsize: 2055480 KiB
Current children cumulated memory: 72072 KiB

[startup+153.6 s]
/proc/loadavg: 3.80 2.63 2.90 5/267 22434
/proc/meminfo: memFree=129975732/131249988 swapFree=33010684/33010684
[pid=22050] ppid=22044 vsize=2084152 memory=93240 CPUtime=153.17 cores=5,7
/proc/22050/stat : 22050 (pb_picat) R 22044 22050 21992 0 -1 4194304 189975 0 0 0 15248 69 0 0 20 0 1 0 34737497 2134171648 23310 18446744073709551615 94090742382592 94090743784173 140728578232000 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94090744055600 94090745929904 94090772770816 140728578238878 140728578238954 140728578238954 140728578244556 0
/proc/22050/statm: 521038 23310 1632 343 0 518102 0
Current children cumulated CPU time: 153.17 s
Current children cumulated vsize: 2084152 KiB
Current children cumulated memory: 93240 KiB

[startup+156.8 s]
/proc/loadavg: 3.82 2.66 2.91 5/267 22434
/proc/meminfo: memFree=129979844/131249988 swapFree=33010684/33010684
[pid=22050] ppid=22044 vsize=2075960 memory=91192 CPUtime=156.37 cores=5,7
/proc/22050/stat : 22050 (pb_picat) R 22044 22050 21992 0 -1 4194304 191226 0 0 0 15567 70 0 0 20 0 1 0 34737497 2125783040 22798 18446744073709551615 94090742382592 94090743784173 140728578232000 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94090744055600 94090745929904 94090772770816 140728578238878 140728578238954 140728578238954 140728578244556 0
/proc/22050/statm: 518990 22798 1632 343 0 516054 0
Current children cumulated CPU time: 156.37 s
Current children cumulated vsize: 2075960 KiB
Current children cumulated memory: 91192 KiB

[startup+158.4 s]
/proc/loadavg: 3.82 2.66 2.91 5/267 22434
/proc/meminfo: memFree=129975496/131249988 swapFree=33010684/33010684
[pid=22050] ppid=22044 vsize=2059576 memory=70540 CPUtime=157.96 cores=5,7
/proc/22050/stat : 22050 (pb_picat) R 22044 22050 21992 0 -1 4194304 192578 0 0 0 15725 71 0 0 20 0 1 0 34737497 2109005824 17635 18446744073709551615 94090742382592 94090743784173 140728578232000 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94090744055600 94090745929904 94090772770816 140728578238878 140728578238954 140728578238954 140728578244556 0
/proc/22050/statm: 514894 17635 1632 343 0 511958 0
Current children cumulated CPU time: 157.96 s
Current children cumulated vsize: 2059576 KiB
Current children cumulated memory: 70540 KiB

[startup+158.8 s]
/proc/loadavg: 3.82 2.66 2.91 5/267 22434
/proc/meminfo: memFree=129975496/131249988 swapFree=33010684/33010684
[pid=22050] ppid=22044 vsize=2075960 memory=78904 CPUtime=158.36 cores=5,7
/proc/22050/stat : 22050 (pb_picat) R 22044 22050 21992 0 -1 4194304 193127 0 0 0 15765 71 0 0 20 0 1 0 34737497 2125783040 19726 18446744073709551615 94090742382592 94090743784173 140728578232000 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94090744055600 94090745929904 94090772770816 140728578238878 140728578238954 140728578238954 140728578244556 0
/proc/22050/statm: 518990 19726 1632 343 0 516054 0
Current children cumulated CPU time: 158.36 s
Current children cumulated vsize: 2075960 KiB
Current children cumulated memory: 78904 KiB

[startup+159.2 s]
/proc/loadavg: 3.82 2.66 2.91 5/267 22434
/proc/meminfo: memFree=129975748/131249988 swapFree=33010684/33010684
[pid=22050] ppid=22044 vsize=2075960 memory=85048 CPUtime=158.76 cores=5,7
/proc/22050/stat : 22050 (pb_picat) R 22044 22050 21992 0 -1 4194304 193130 0 0 0 15805 71 0 0 20 0 1 0 34737497 2125783040 21262 18446744073709551615 94090742382592 94090743784173 140728578232000 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94090744055600 94090745929904 94090772770816 140728578238878 140728578238954 140728578238954 140728578244556 0
/proc/22050/statm: 518990 21262 1632 343 0 516054 0
Current children cumulated CPU time: 158.76 s
Current children cumulated vsize: 2075960 KiB
Current children cumulated memory: 85048 KiB

[startup+159.3 s]
/proc/loadavg: 3.82 2.66 2.91 5/267 22434
/proc/meminfo: memFree=129975748/131249988 swapFree=33010684/33010684
[pid=22050] ppid=22044 vsize=2075960 memory=87096 CPUtime=158.86 cores=5,7
/proc/22050/stat : 22050 (pb_picat) R 22044 22050 21992 0 -1 4194304 193131 0 0 0 15815 71 0 0 20 0 1 0 34737497 2125783040 21774 18446744073709551615 94090742382592 94090743784173 140728578232000 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94090744055600 94090745929904 94090772770816 140728578238878 140728578238954 140728578238954 140728578244556 0
/proc/22050/statm: 518990 21774 1632 343 0 516054 0
Current children cumulated CPU time: 158.86 s
Current children cumulated vsize: 2075960 KiB
Current children cumulated memory: 87096 KiB

Child status: 0

Real time (s): 159.413
CPU time (s): 158.982
CPU user time (s): 158.256
CPU system time (s): 0.72605
CPU usage (%): 99.7298
Max. virtual memory (cumulated for all children) (KiB): 2178948
Max. memory (cumulated for all children) (KiB): 143404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 158.256
system time used= 0.72605
maximum resident set size= 145452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193148
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= 106
involuntary context switches= 249


# summary of solver processes directly reported to runsolver:
#   pid: 22050
#   total CPU time (s): 158.982
#   total CPU user time (s): 158.256
#   total CPU system time (s): 0.72605

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.354872 second user time and 0.658239 second system time

The end

Begin job on nodeC034 at 2025-06-29 11:49:46
IDJOB=4507585
IDBENCH=158367
IDSOLVER=3346
FILE ID=nodeC034/4507585-1751190586
RUNJOBID= nodeC034-1751190586-22005
SLURM_JOB_ID= 9587576
Free space on /tmp= 433060 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K96.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507585-1751190586/watcher-4507585-1751190586 -o /tmp/evaluation-result-4507585-1751190586/solver-4507585-1751190586 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751190586-22005 --watchdog 3760  pb_picat HOME/instance-4507585-1751190586.opb

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

MD5SUM BENCH= 85449da570d8e9c3bf031cd447953d83
RANDOM SEED=1248123674

nodeC034 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		: 3683.515
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.53
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		: 3601.362
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.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.757
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.53
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		: 3599.762
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.53
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.760
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.53
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		: 3601.222
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.53
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		: 3458.883
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.53
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.737
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.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        130077692 kB
MemAvailable:   129732976 kB
Buffers:            3280 kB
Cached:           465712 kB
SwapCached:            0 kB
Active:           303420 kB
Inactive:         244620 kB
Active(anon):      97152 kB
Inactive(anon):        0 kB
Active(file):     206268 kB
Inactive(file):   244620 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15552 kB
Writeback:             0 kB
AnonPages:         82148 kB
Mapped:           102324 kB
Shmem:             18104 kB
KReclaimable:      86872 kB
Slab:             172756 kB
SReclaimable:      86872 kB
SUnreclaim:        85884 kB
KernelStack:        3924 kB
PageTables:         2352 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     339804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 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:      189140 kB
DirectMap2M:     7970816 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433048 MiB
End job on nodeC034 at 2025-06-29 11:52:26