0.00/0.00	c solving HOME/instance-4443022-1721309774.opb (Picat 3.6#12)
189.70/190.37	s SATISFIABLE
189.70/190.37	v ~x2442 ~x7518 ~x6672 ~x753 ~x4135 ~x5826 ~x1598 ~x3289 ~x4980 ~x2443 
189.70/190.37	v ~x7519 ~x6673 ~x754 ~x4136 ~x5827 ~x1599 ~x3290 ~x4981 ~x2444 ~x7520 
189.70/190.37	v ~x6674 ~x755 ~x4137 ~x5828 ~x1600 x3291 ~x4982 ~x2445 ~x7521 ~x6675 
189.70/190.37	v ~x756 ~x4138 ~x5829 ~x1601 ~x3292 ~x4983 ~x2446 ~x7522 ~x6676 ~x757 
189.70/190.37	v ~x4139 ~x5830 ~x1602 ~x3293 ~x4984 ~x2447 ~x7523 ~x6677 ~x758 ~x4140 
189.70/190.37	v ~x5831 ~x1603 ~x3294 ~x4985 ~x2448 ~x7524 ~x6678 ~x759 ~x4141 ~x5832 
189.70/190.37	v ~x1604 ~x3295 ~x4986 ~x2449 ~x7525 ~x6679 ~x760 ~x4142 ~x5833 ~x1605 
189.70/190.37	v ~x3296 ~x4987 ~x2450 ~x7526 ~x6680 ~x761 ~x4143 ~x5834 ~x1606 ~x3297 
189.70/190.37	v ~x4988 ~x2451 ~x7527 ~x6681 ~x762 ~x4144 ~x5835 ~x1607 ~x3298 ~x4989 
189.70/190.37	v ~x2452 ~x7528 ~x6682 ~x763 ~x4145 ~x5836 ~x1608 ~x3299 ~x4990 ~x2453 
189.70/190.37	v ~x7529 ~x6683 ~x764 ~x4146 ~x5837 ~x1609 ~x3300 ~x4991 ~x2454 ~x7530 
189.70/190.37	v ~x6684 ~x765 ~x4147 ~x5838 ~x1610 ~x3301 ~x4992 ~x2455 ~x7531 ~x6685 
189.70/190.37	v ~x766 ~x4148 ~x5839 ~x1611 ~x3302 ~x4993 ~x2456 ~x7532 ~x6686 ~x767 
189.70/190.37	v ~x4149 ~x5840 ~x1612 ~x3303 ~x4994 ~x2457 ~x7533 ~x6687 ~x768 ~x4150 
189.70/190.37	v ~x5841 ~x1613 ~x3304 ~x4995 ~x2458 ~x7534 ~x6688 ~x769 ~x4151 ~x5842 
189.70/190.37	v ~x1614 ~x3305 ~x4996 ~x2459 ~x7535 ~x6689 ~x770 ~x4152 ~x5843 ~x1615 
189.70/190.37	v ~x3306 ~x4997 ~x2460 ~x7536 ~x6690 ~x771 ~x4153 ~x5844 ~x1616 ~x3307 
189.70/190.37	v ~x4998 ~x2461 ~x7537 ~x6691 ~x772 ~x4154 ~x5845 ~x1617 ~x3308 ~x4999 
189.70/190.37	v ~x2462 ~x7538 ~x6692 ~x773 ~x4155 ~x5846 ~x1618 ~x3309 ~x5000 ~x2463 
189.70/190.37	v ~x7539 ~x6693 ~x774 ~x4156 ~x5847 ~x1619 ~x3310 ~x5001 ~x2464 ~x7540 
189.70/190.37	v ~x6694 ~x775 ~x4157 ~x5848 ~x1620 ~x3311 ~x5002 ~x2465 ~x7541 ~x6695 
189.70/190.37	v ~x776 ~x4158 ~x5849 ~x1621 ~x3312 ~x5003 ~x2466 ~x7542 ~x6696 ~x777 
189.70/190.37	v ~x4159 ~x5850 ~x1622 ~x3313 ~x5004 ~x2467 ~x7543 ~x6697 ~x778 ~x4160 
189.70/190.37	v ~x5851 ~x1623 ~x3314 ~x5005 ~x2468 ~x7544 ~x6698 ~x779 ~x4161 ~x5852 
189.70/190.37	v ~x1624 ~x3315 ~x5006 ~x2469 ~x7545 ~x6699 ~x780 ~x4162 ~x5853 ~x1625 
189.70/190.37	v ~x3316 ~x5007 ~x2470 ~x7546 ~x6700 ~x781 ~x4163 ~x5854 ~x1626 ~x3317 
189.70/190.37	v ~x5008 ~x2471 ~x7547 ~x6701 ~x782 x4164 ~x5855 ~x1627 ~x3318 ~x5009 
189.70/190.37	v ~x2472 ~x7548 ~x6702 ~x783 ~x4165 ~x5856 ~x1628 ~x3319 ~x5010 ~x2473 
189.70/190.37	v ~x7549 ~x6703 ~x784 ~x4166 ~x5857 ~x1629 ~x3320 ~x5011 ~x2474 ~x7550 
189.70/190.37	v ~x6704 ~x785 ~x4167 ~x5858 ~x1630 ~x3321 ~x5012 ~x2475 ~x7551 ~x6705 
189.70/190.37	v ~x786 ~x4168 ~x5859 ~x1631 ~x3322 ~x5013 ~x2476 ~x7552 ~x6706 ~x787 
189.70/190.37	v ~x4169 ~x5860 x1632 ~x3323 ~x5014 ~x2477 ~x7553 ~x6707 ~x788 ~x4170 
189.70/190.37	v ~x5861 ~x1633 ~x3324 ~x5015 ~x2478 ~x7554 ~x6708 ~x789 ~x4171 ~x5862 
189.70/190.37	v ~x1634 ~x3325 ~x5016 ~x2479 ~x7555 ~x6709 ~x790 ~x4172 ~x5863 ~x1635 
189.70/190.37	v ~x3326 ~x5017 ~x2480 ~x7556 ~x6710 ~x791 ~x4173 ~x5864 ~x1636 ~x3327 
189.70/190.37	v ~x5018 ~x2481 ~x7557 ~x6711 x792 ~x4174 ~x5865 ~x1637 ~x3328 ~x5019 
189.70/190.37	v ~x2482 ~x7558 ~x6712 ~x793 ~x4175 ~x5866 ~x1638 ~x3329 ~x5020 ~x2483 
189.70/190.37	v ~x7559 ~x6713 ~x794 ~x4176 ~x5867 ~x1639 ~x3330 ~x5021 ~x2484 ~x7560 
189.70/190.37	v ~x6714 ~x795 ~x4177 ~x5868 ~x1640 ~x3331 ~x5022 ~x2485 ~x7561 ~x6715 
189.70/190.37	v ~x796 ~x4178 ~x5869 ~x1641 ~x3332 ~x5023 ~x2486 ~x7562 ~x6716 ~x797 
189.70/190.37	v ~x4179 ~x5870 ~x1642 ~x3333 ~x5024 ~x2487 ~x7563 ~x6717 ~x798 ~x4180 
189.70/190.37	v ~x5871 ~x1643 ~x3334 ~x5025 ~x2488 ~x7564 ~x6718 ~x799 ~x4181 ~x5872 
189.70/190.37	v ~x1644 ~x3335 ~x5026 ~x2489 ~x7565 ~x6719 ~x800 ~x4182 ~x5873 ~x1645 
189.70/190.37	v ~x3336 ~x5027 ~x2490 ~x7566 ~x6720 ~x801 ~x4183 ~x5874 ~x1646 ~x3337 
189.70/190.37	v ~x5028 ~x2491 ~x7567 ~x6721 ~x802 ~x4184 ~x5875 ~x1647 ~x3338 ~x5029 
189.70/190.37	v ~x2492 ~x7568 ~x6722 ~x803 ~x4185 ~x5876 ~x1648 ~x3339 ~x5030 ~x2493 
189.70/190.37	v ~x7569 ~x6723 ~x804 ~x4186 ~x5877 ~x1649 ~x3340 ~x5031 ~x2494 ~x7570 
189.70/190.37	v ~x6724 ~x805 ~x4187 ~x5878 ~x1650 ~x3341 ~x5032 ~x2495 ~x7571 ~x6725 
189.70/190.37	v ~x806 ~x4188 ~x5879 ~x1651 ~x3342 ~x5033 ~x2496 ~x7572 ~x6726 ~x807 
189.70/190.37	v ~x4189 ~x5880 ~x1652 ~x3343 ~x5034 ~x2497 ~x7573 ~x6727 ~x808 ~x4190 
189.70/190.37	v x5881 ~x1653 ~x3344 ~x5035 ~x2498 ~x7574 ~x6728 ~x809 ~x4191 ~x5882 
189.70/190.37	v ~x1654 ~x3345 ~x5036 ~x2499 ~x7575 ~x6729 ~x810 ~x4192 ~x5883 ~x1655 
189.70/190.37	v ~x3346 ~x5037 ~x2500 ~x7576 ~x6730 ~x811 ~x4193 ~x5884 ~x1656 ~x3347 
189.70/190.37	v ~x5038 ~x2501 ~x7577 ~x6731 ~x812 ~x4194 ~x5885 x1657 ~x3348 ~x5039 
189.70/190.37	v ~x2502 ~x7578 ~x6732 ~x813 ~x4195 ~x5886 ~x1658 ~x3349 ~x5040 ~x2503 
189.70/190.37	v ~x7579 ~x6733 ~x814 ~x4196 ~x5887 ~x1659 ~x3350 ~x5041 ~x2504 ~x7580 
189.70/190.37	v ~x6734 ~x815 ~x4197 ~x5888 ~x1660 ~x3351 ~x5042 ~x2505 ~x7581 ~x6735 
189.70/190.37	v ~x816 ~x4198 ~x5889 ~x1661 ~x3352 ~x5043 ~x2506 ~x7582 ~x6736 ~x817 
189.70/190.37	v ~x4199 ~x5890 ~x1662 ~x3353 ~x5044 ~x2507 ~x7583 ~x6737 ~x818 ~x4200 
189.70/190.37	v ~x5891 ~x1663 ~x3354 ~x5045 ~x2508 ~x7584 ~x6738 ~x819 ~x4201 ~x5892 
189.70/190.37	v ~x1664 ~x3355 ~x5046 ~x2509 ~x7585 ~x6739 ~x820 ~x4202 ~x5893 ~x1665 
189.70/190.37	v ~x3356 ~x5047 ~x2510 ~x7586 ~x6740 ~x821 ~x4203 ~x5894 ~x1666 ~x3357 
189.70/190.37	v ~x5048 ~x2511 ~x7587 ~x6741 ~x822 ~x4204 ~x5895 ~x1667 ~x3358 ~x5049 
189.70/190.37	v ~x2512 ~x7588 ~x6742 ~x823 ~x4205 ~x5896 ~x1668 ~x3359 ~x5050 ~x2513 
189.70/190.37	v ~x7589 ~x6743 ~x824 ~x4206 ~x5897 ~x1669 ~x3360 ~x5051 ~x2514 ~x7590 
189.70/190.37	v ~x6744 ~x825 ~x4207 ~x5898 ~x1670 ~x3361 ~x5052 ~x2515 ~x7591 ~x6745 
189.70/190.37	v ~x826 ~x4208 ~x5899 ~x1671 ~x3362 ~x5053 ~x2516 ~x7592 ~x6746 ~x827 
189.70/190.37	v ~x4209 ~x5900 ~x1672 ~x3363 ~x5054 ~x2517 ~x7593 x6747 ~x828 ~x4210 
189.70/190.37	v ~x5901 ~x1673 ~x3364 ~x5055 ~x2518 ~x7594 ~x6748 ~x829 ~x4211 ~x5902 
189.70/190.37	v ~x1674 ~x3365 ~x5056 ~x2519 x7595 ~x6749 ~x830 ~x4212 ~x5903 ~x1675 
189.70/190.37	v ~x3366 ~x5057 ~x2520 ~x7596 ~x6750 ~x831 ~x4213 ~x5904 ~x1676 ~x3367 
189.70/190.37	v ~x5058 ~x2521 ~x7597 ~x6751 ~x832 ~x4214 ~x5905 ~x1677 ~x3368 ~x5059 
189.70/190.37	v ~x2522 ~x7598 ~x6752 ~x833 ~x4215 ~x5906 ~x1678 ~x3369 ~x5060 ~x2523 
189.70/190.37	v ~x7599 ~x6753 ~x834 ~x4216 ~x5907 ~x1679 ~x3370 ~x5061 ~x2524 ~x7600 
189.70/190.37	v ~x6754 ~x835 ~x4217 ~x5908 ~x1680 ~x3371 ~x5062 ~x2525 ~x7601 ~x6755 
189.70/190.37	v ~x836 ~x4218 ~x5909 ~x1681 ~x3372 ~x5063 ~x2526 ~x7602 ~x6756 ~x837 
189.70/190.37	v x4219 ~x5910 ~x1682 ~x3373 ~x5064 ~x2527 ~x7603 ~x6757 ~x838 ~x4220 
189.70/190.37	v ~x5911 ~x1683 ~x3374 ~x5065 ~x2528 ~x1 ~x7604 ~x6758 ~x839 ~x4221 
189.70/190.37	v ~x5912 ~x1684 ~x3375 ~x5066 ~x2529 ~x2 ~x7605 ~x6759 ~x840 ~x4222 
189.70/190.37	v ~x5913 ~x1685 ~x3376 x5067 x2530 ~x3 ~x7606 ~x6760 ~x841 ~x4223 
189.70/190.37	v ~x5914 ~x1686 ~x3377 ~x5068 ~x2531 ~x4 ~x7607 ~x6761 ~x842 ~x4224 
189.70/190.37	v ~x5915 ~x1687 ~x3378 ~x5069 ~x2532 ~x5 ~x7608 ~x6762 ~x843 ~x4225 
189.70/190.37	v ~x5916 ~x1688 ~x3379 ~x5070 ~x2533 ~x6 ~x7609 ~x6763 ~x844 ~x4226 
189.70/190.37	v ~x5917 ~x1689 ~x3380 ~x5071 ~x2534 ~x7 ~x7610 ~x6764 ~x845 ~x4227 
189.70/190.37	v ~x5918 ~x1690 ~x3381 ~x5072 ~x2535 ~x8 ~x7611 ~x6765 ~x846 ~x4228 
189.70/190.37	v ~x5919 ~x1691 ~x3382 ~x5073 ~x2536 ~x9 ~x7612 ~x6766 ~x847 ~x4229 
189.70/190.37	v ~x5920 ~x1692 ~x3383 ~x5074 ~x2537 ~x10 ~x7613 ~x6767 ~x848 ~x4230 
189.70/190.37	v ~x5921 ~x1693 ~x3384 ~x5075 ~x2538 ~x11 ~x7614 ~x6768 ~x849 ~x4231 
189.70/190.37	v ~x5922 ~x1694 ~x3385 ~x5076 ~x2539 ~x12 ~x7615 ~x6769 ~x850 ~x4232 
189.70/190.37	v ~x5923 ~x1695 ~x3386 ~x5077 ~x2540 ~x13 ~x7616 ~x6770 ~x851 ~x4233 
189.70/190.37	v ~x5924 ~x1696 ~x3387 ~x5078 ~x2541 ~x14 ~x7617 ~x6771 ~x852 ~x4234 
189.70/190.37	v ~x5925 ~x1697 ~x3388 ~x5079 ~x2542 ~x15 ~x7618 ~x6772 ~x853 ~x4235 
189.70/190.37	v ~x5926 ~x1698 ~x3389 ~x5080 ~x2543 ~x16 ~x7619 ~x6773 ~x854 ~x4236 
189.70/190.37	v ~x5927 ~x1699 ~x3390 ~x5081 ~x2544 ~x17 ~x7620 ~x6774 ~x855 ~x4237 
189.70/190.37	v ~x5928 ~x1700 ~x3391 ~x5082 ~x2545 ~x18 ~x7621 ~x6775 ~x856 ~x4238 
189.70/190.37	v ~x5929 ~x1701 ~x3392 ~x5083 ~x2546 ~x19 ~x7622 ~x6776 ~x857 ~x4239 
189.70/190.37	v ~x5930 ~x1702 ~x3393 ~x5084 ~x2547 ~x20 ~x7623 ~x6777 ~x858 ~x4240 
189.70/190.37	v ~x5931 ~x1703 ~x3394 ~x5085 ~x2548 ~x21 ~x7624 ~x6778 ~x859 ~x4241 
189.70/190.37	v ~x5932 ~x1704 ~x3395 ~x5086 ~x2549 ~x22 ~x7625 ~x6779 ~x860 ~x4242 
189.70/190.37	v ~x5933 ~x1705 ~x3396 ~x5087 ~x2550 ~x23 ~x7626 ~x6780 ~x861 ~x4243 
189.70/190.37	v ~x5934 ~x1706 ~x3397 ~x5088 ~x2551 ~x24 ~x7627 ~x6781 ~x862 ~x4244 
189.70/190.37	v ~x5935 ~x1707 ~x3398 ~x5089 ~x2552 ~x25 ~x7628 ~x6782 ~x863 ~x4245 
189.70/190.37	v ~x5936 ~x1708 ~x3399 ~x5090 ~x2553 ~x26 ~x7629 ~x6783 ~x864 ~x4246 
189.70/190.37	v ~x5937 ~x1709 ~x3400 ~x5091 ~x2554 ~x27 ~x7630 ~x6784 ~x865 ~x4247 
189.70/190.37	v ~x5938 ~x1710 ~x3401 ~x5092 ~x2555 ~x28 ~x7631 ~x6785 ~x866 ~x4248 
189.70/190.37	v ~x5939 ~x1711 ~x3402 ~x5093 ~x2556 ~x29 ~x7632 ~x6786 ~x867 ~x4249 
189.70/190.37	v ~x5940 ~x1712 ~x3403 ~x5094 ~x2557 ~x30 ~x7633 ~x6787 ~x868 ~x4250 
189.70/190.37	v ~x5941 ~x1713 ~x3404 ~x5095 ~x2558 ~x31 ~x7634 ~x6788 ~x869 ~x4251 
189.70/190.37	v ~x5942 ~x1714 ~x3405 ~x5096 ~x2559 ~x32 ~x7635 ~x6789 ~x870 ~x4252 
189.70/190.37	v ~x5943 ~x1715 ~x3406 ~x5097 x2560 ~x33 ~x7636 ~x6790 ~x871 ~x4253 
189.70/190.37	v ~x5944 ~x1716 ~x3407 ~x5098 ~x2561 ~x34 ~x7637 ~x6791 ~x872 ~x4254 
189.70/190.37	v ~x5945 ~x1717 ~x3408 ~x5099 ~x2562 ~x35 ~x7638 ~x6792 ~x873 ~x4255 
189.70/190.37	v ~x5946 ~x1718 ~x3409 ~x5100 ~x2563 ~x36 ~x7639 ~x6793 ~x874 ~x4256 
189.70/190.37	v ~x5947 ~x1719 ~x3410 ~x5101 ~x2564 ~x37 ~x7640 ~x6794 ~x875 ~x4257 
189.70/190.37	v ~x5948 ~x1720 ~x3411 ~x5102 ~x2565 ~x38 ~x7641 ~x6795 ~x876 ~x4258 
189.70/190.37	v ~x5949 ~x1721 ~x3412 ~x5103 ~x2566 ~x39 ~x7642 ~x6796 x877 ~x4259 
189.70/190.37	v x5950 ~x1722 ~x3413 ~x5104 ~x2567 ~x40 ~x7643 ~x6797 ~x878 ~x4260 
189.70/190.37	v ~x5951 ~x1723 ~x3414 ~x5105 ~x2568 ~x41 ~x7644 ~x6798 ~x879 ~x4261 
189.70/190.37	v ~x5952 ~x1724 ~x3415 ~x5106 ~x2569 ~x42 ~x7645 ~x6799 ~x880 ~x4262 
189.70/190.37	v ~x5953 ~x1725 ~x3416 ~x5107 ~x2570 ~x43 ~x7646 ~x6800 ~x881 ~x4263 
189.70/190.37	v ~x5954 ~x1726 ~x3417 ~x5108 ~x2571 ~x44 ~x7647 ~x6801 ~x882 ~x4264 
189.70/190.37	v ~x5955 ~x1727 ~x3418 ~x5109 ~x2572 ~x45 ~x7648 ~x6802 ~x883 ~x4265 
189.70/190.37	v ~x5956 ~x1728 ~x3419 ~x5110 ~x2573 ~x46 ~x7649 ~x6803 ~x884 ~x4266 
189.70/190.37	v ~x5957 ~x1729 ~x3420 ~x5111 ~x2574 ~x47 ~x7650 ~x6804 ~x885 ~x4267 
189.70/190.37	v ~x5958 ~x1730 ~x3421 ~x5112 ~x2575 ~x48 ~x7651 ~x6805 ~x886 ~x4268 
189.70/190.37	v ~x5959 ~x1731 ~x3422 ~x5113 ~x2576 ~x49 ~x7652 ~x6806 ~x887 ~x4269 
189.70/190.37	v ~x5960 ~x1732 ~x3423 ~x5114 ~x2577 ~x50 ~x7653 ~x6807 ~x888 ~x4270 
189.70/190.37	v ~x5961 ~x1733 ~x3424 ~x5115 ~x2578 ~x51 ~x7654 ~x6808 ~x889 ~x4271 
189.70/190.37	v ~x5962 ~x1734 ~x3425 ~x5116 ~x2579 ~x52 ~x7655 ~x6809 ~x890 ~x4272 
189.70/190.37	v ~x5963 ~x1735 ~x3426 ~x5117 ~x2580 ~x53 ~x7656 ~x6810 ~x891 ~x4273 
189.70/190.37	v ~x5964 ~x1736 ~x3427 ~x5118 ~x2581 ~x54 ~x7657 ~x6811 ~x892 ~x4274 
189.70/190.37	v ~x5965 ~x1737 ~x3428 ~x5119 ~x2582 ~x55 ~x7658 ~x6812 ~x893 ~x4275 
189.70/190.37	v ~x5966 ~x1738 ~x3429 ~x5120 ~x2583 ~x56 ~x7659 ~x6813 ~x894 ~x4276 
189.70/190.37	v ~x5967 ~x1739 ~x3430 ~x5121 ~x2584 ~x57 ~x7660 ~x6814 ~x895 ~x4277 
189.70/190.37	v ~x5968 ~x1740 ~x3431 ~x5122 ~x2585 ~x58 ~x7661 ~x6815 ~x896 ~x5969 
189.70/190.37	v ~x1741 ~x3432 ~x5123 ~x2586 ~x59 ~x7662 ~x6816 ~x897 ~x5970 ~x1742 
189.70/190.37	v x3433 ~x5124 ~x2587 ~x4278 ~x60 ~x7663 ~x6817 ~x898 ~x5971 ~x1743 
189.70/190.37	v ~x3434 ~x5125 ~x2588 ~x4279 ~x61 ~x7664 ~x6818 ~x899 ~x5972 ~x1744 
189.70/190.37	v ~x3435 ~x5126 ~x2589 ~x4280 ~x62 ~x7665 ~x6819 ~x900 ~x5973 ~x1745 
189.70/190.37	v ~x3436 ~x5127 ~x2590 ~x4281 ~x63 ~x7666 ~x6820 ~x901 ~x5974 ~x1746 
189.70/190.37	v ~x3437 ~x5128 ~x2591 ~x4282 ~x64 ~x7667 ~x6821 ~x902 ~x5975 ~x1747 
189.70/190.37	v ~x3438 ~x5129 ~x2592 ~x4283 ~x65 ~x7668 ~x6822 ~x903 ~x5976 ~x1748 
189.70/190.37	v ~x3439 ~x5130 ~x2593 ~x4284 ~x66 ~x7669 ~x6823 ~x904 ~x5977 ~x1749 
189.70/190.37	v ~x3440 ~x5131 ~x2594 ~x4285 ~x67 ~x7670 ~x6824 ~x905 ~x5978 ~x1750 
189.70/190.37	v ~x3441 ~x5132 ~x2595 ~x4286 ~x68 ~x7671 ~x6825 ~x906 ~x5979 ~x1751 
189.70/190.37	v ~x3442 ~x5133 ~x2596 ~x4287 ~x69 ~x7672 ~x6826 ~x907 ~x5980 ~x1752 
189.70/190.37	v ~x3443 ~x5134 ~x2597 ~x4288 ~x70 ~x7673 ~x6827 ~x908 ~x5981 ~x1753 
189.70/190.37	v ~x3444 ~x5135 ~x2598 ~x4289 ~x71 ~x7674 ~x6828 ~x909 ~x5982 ~x1754 
189.70/190.37	v ~x3445 ~x5136 ~x2599 ~x4290 ~x72 ~x7675 ~x6829 ~x910 ~x5983 ~x1755 
189.70/190.37	v ~x3446 ~x5137 ~x2600 ~x4291 ~x73 ~x7676 ~x6830 ~x911 ~x5984 ~x1756 
189.70/190.37	v ~x3447 ~x5138 ~x2601 ~x4292 x74 ~x7677 ~x6831 ~x912 ~x5985 ~x1757 
189.70/190.37	v ~x3448 ~x5139 ~x2602 ~x4293 ~x75 ~x7678 ~x6832 ~x913 ~x5986 x1758 
189.70/190.37	v ~x3449 ~x5140 ~x2603 ~x4294 ~x76 ~x7679 ~x6833 ~x914 ~x5987 ~x1759 
189.70/190.37	v ~x3450 ~x5141 ~x2604 ~x4295 ~x77 ~x7680 ~x6834 ~x915 ~x5988 ~x1760 
189.70/190.37	v ~x3451 ~x5142 ~x2605 ~x4296 ~x78 ~x7681 ~x6835 ~x916 ~x5989 ~x1761 
189.70/190.37	v ~x3452 ~x5143 ~x2606 ~x4297 ~x79 ~x7682 ~x6836 ~x917 ~x5990 ~x1762 
189.70/190.37	v ~x3453 ~x5144 ~x2607 ~x4298 ~x80 ~x7683 ~x6837 ~x918 ~x5991 ~x1763 
189.70/190.37	v ~x3454 ~x5145 ~x2608 ~x4299 ~x81 ~x7684 ~x6838 ~x919 ~x5992 ~x1764 
189.70/190.37	v ~x3455 ~x5146 ~x2609 ~x4300 ~x82 x7685 ~x6839 ~x920 ~x5993 ~x1765 
189.70/190.37	v ~x3456 ~x5147 ~x2610 ~x4301 ~x83 ~x7686 ~x6840 ~x921 ~x5994 ~x1766 
189.70/190.37	v ~x3457 ~x5148 ~x2611 ~x4302 ~x84 ~x7687 ~x6841 ~x922 ~x5995 ~x1767 
189.70/190.37	v ~x3458 ~x5149 ~x2612 ~x4303 ~x85 ~x7688 ~x6842 ~x923 ~x5996 ~x1768 
189.70/190.37	v ~x3459 ~x5150 ~x2613 ~x4304 ~x86 ~x7689 ~x6843 ~x924 ~x5997 ~x1769 
189.70/190.37	v ~x3460 ~x5151 ~x2614 ~x4305 ~x87 ~x7690 ~x6844 ~x925 ~x5998 ~x1770 
189.70/190.37	v ~x3461 x5152 ~x2615 ~x4306 ~x88 ~x7691 ~x6845 x926 ~x5999 ~x1771 
189.70/190.37	v ~x3462 ~x5153 ~x2616 ~x4307 ~x89 ~x7692 ~x6846 ~x927 ~x6000 ~x1772 
189.70/190.37	v ~x3463 ~x5154 ~x2617 ~x4308 ~x90 ~x7693 ~x6847 ~x928 ~x6001 ~x1773 
189.70/190.37	v ~x3464 ~x5155 ~x2618 ~x4309 ~x91 ~x7694 ~x6848 ~x929 ~x6002 ~x1774 
189.70/190.37	v ~x3465 ~x5156 ~x2619 ~x4310 ~x7695 ~x6849 ~x930 ~x6003 ~x1775 ~x3466 
189.70/190.37	v ~x5157 ~x2620 ~x4311 ~x7696 ~x6850 ~x931 ~x6004 ~x1776 ~x3467 ~x5158 
189.70/190.37	v ~x2621 ~x4312 ~x7697 ~x6851 ~x932 ~x6005 ~x1777 x3468 ~x5159 ~x2622 
189.70/190.37	v ~x4313 ~x7698 ~x6852 ~x933 ~x6006 ~x1778 ~x3469 ~x5160 ~x2623 ~x4314 
189.70/190.37	v ~x7699 ~x6853 ~x934 ~x6007 ~x1779 ~x3470 ~x5161 ~x2624 ~x4315 ~x92 
189.70/190.37	v ~x7700 ~x6854 ~x935 ~x6008 ~x1780 ~x3471 ~x5162 ~x2625 ~x4316 ~x93 
189.70/190.37	v ~x7701 ~x6855 ~x936 ~x6009 ~x1781 ~x3472 ~x5163 ~x2626 ~x4317 ~x94 
189.70/190.37	v ~x7702 ~x6856 ~x937 ~x6010 ~x1782 ~x3473 ~x5164 ~x2627 ~x4318 ~x95 
189.70/190.37	v ~x7703 ~x6857 ~x938 ~x6011 ~x1783 ~x3474 ~x5165 ~x2628 ~x4319 ~x96 
189.70/190.37	v ~x7704 ~x6858 ~x939 ~x6012 ~x1784 ~x3475 ~x5166 ~x2629 ~x4320 ~x97 
189.70/190.37	v ~x7705 ~x6859 ~x940 ~x6013 ~x1785 ~x3476 ~x5167 ~x2630 ~x4321 ~x98 
189.70/190.37	v ~x7706 ~x6860 ~x941 x6014 ~x1786 ~x3477 ~x5168 ~x2631 ~x4322 ~x99 
189.70/190.37	v ~x7707 ~x6861 ~x942 ~x6015 ~x1787 ~x3478 ~x5169 ~x2632 ~x4323 x100 
189.70/190.37	v ~x7708 ~x6862 ~x943 ~x6016 ~x1788 ~x3479 ~x5170 ~x2633 ~x4324 ~x101 
189.70/190.37	v ~x7709 ~x6863 ~x944 ~x6017 ~x1789 ~x3480 ~x5171 ~x2634 ~x4325 ~x102 
189.70/190.37	v ~x7710 ~x6864 ~x945 ~x6018 ~x1790 ~x3481 ~x5172 ~x2635 ~x4326 ~x103 
189.70/190.37	v ~x7711 ~x6865 ~x946 ~x6019 ~x1791 ~x3482 ~x5173 ~x2636 ~x4327 ~x104 
189.70/190.37	v ~x7712 ~x6866 ~x947 ~x6020 ~x1792 ~x3483 ~x5174 ~x2637 ~x4328 ~x105 
189.70/190.37	v ~x7713 ~x6867 ~x948 ~x6021 ~x1793 ~x3484 ~x5175 ~x2638 ~x4329 ~x106 
189.70/190.37	v ~x7714 ~x6868 ~x949 ~x6022 ~x1794 ~x3485 ~x5176 ~x2639 ~x4330 ~x107 
189.70/190.37	v ~x7715 ~x6869 ~x950 ~x6023 ~x1795 ~x3486 ~x5177 ~x2640 ~x4331 ~x108 
189.70/190.37	v ~x7716 ~x6870 ~x951 ~x6024 ~x1796 ~x3487 ~x5178 ~x2641 ~x4332 ~x109 
189.70/190.37	v ~x7717 ~x6871 ~x952 ~x6025 ~x1797 ~x3488 ~x5179 ~x2642 ~x4333 ~x110 
189.70/190.37	v ~x7718 ~x6872 ~x953 ~x6026 ~x1798 ~x3489 ~x5180 ~x2643 ~x4334 ~x111 
189.70/190.37	v ~x7719 ~x6873 ~x954 ~x6027 ~x1799 ~x3490 ~x5181 ~x2644 ~x4335 ~x112 
189.70/190.37	v ~x7720 ~x6874 ~x955 ~x6028 ~x1800 ~x3491 ~x5182 ~x2645 ~x4336 ~x113 
189.70/190.37	v ~x7721 ~x6875 ~x956 ~x6029 ~x1801 ~x3492 ~x5183 ~x2646 ~x4337 ~x114 
189.70/190.37	v ~x7722 ~x6876 ~x957 ~x6030 ~x1802 ~x3493 ~x5184 ~x2647 ~x4338 ~x115 
189.70/190.37	v ~x7723 ~x6877 ~x958 ~x6031 ~x1803 ~x3494 ~x5185 ~x2648 ~x4339 ~x116 
189.70/190.37	v ~x7724 ~x6878 ~x959 ~x6032 ~x1804 ~x3495 ~x5186 ~x2649 ~x4340 ~x117 
189.70/190.37	v ~x7725 ~x6879 ~x960 ~x6033 ~x1805 ~x3496 ~x5187 ~x2650 ~x4341 ~x118 
189.70/190.37	v ~x7726 ~x6880 ~x961 ~x6034 ~x1806 ~x3497 ~x5188 ~x2651 ~x4342 ~x119 
189.70/190.37	v ~x7727 ~x6881 ~x962 ~x6035 ~x1807 ~x3498 ~x5189 ~x2652 ~x4343 ~x120 
189.70/190.37	v ~x7728 ~x6882 ~x963 ~x6036 ~x1808 ~x3499 ~x5190 ~x2653 ~x4344 ~x121 
189.70/190.37	v ~x7729 ~x6883 ~x964 ~x6037 ~x1809 ~x3500 ~x5191 ~x2654 ~x4345 ~x122 
189.70/190.37	v ~x7730 ~x6884 ~x965 ~x6038 ~x1810 ~x3501 ~x5192 ~x2655 ~x4346 ~x123 
189.70/190.37	v ~x7731 ~x6885 ~x966 ~x6039 ~x1811 ~x3502 ~x5193 ~x2656 ~x4347 ~x124 
189.70/190.37	v ~x7732 ~x6886 ~x967 ~x6040 ~x1812 ~x3503 ~x5194 ~x2657 ~x4348 ~x125 
189.70/190.37	v ~x7733 ~x6887 ~x968 ~x6041 ~x1813 ~x3504 ~x5195 ~x2658 x4349 ~x126 
189.70/190.37	v ~x7734 ~x6888 ~x969 ~x6042 ~x1814 ~x3505 ~x5196 ~x2659 ~x4350 ~x127 
189.70/190.37	v ~x7735 ~x6889 ~x970 ~x6043 ~x1815 ~x3506 ~x5197 ~x2660 ~x4351 ~x128 
189.70/190.37	v ~x7736 ~x6890 ~x971 ~x6044 ~x1816 ~x3507 ~x5198 ~x2661 ~x4352 ~x129 
189.70/190.37	v ~x7737 ~x6891 ~x972 ~x6045 ~x1817 ~x3508 ~x5199 ~x2662 ~x4353 ~x130 
189.70/190.37	v ~x7738 ~x6892 ~x973 ~x6046 ~x1818 ~x3509 ~x5200 ~x2663 ~x4354 ~x131 
189.70/190.37	v ~x7739 ~x6893 ~x974 ~x6047 ~x1819 ~x3510 ~x5201 ~x2664 ~x4355 ~x132 
189.70/190.37	v ~x7740 ~x6894 ~x975 ~x6048 ~x1820 ~x3511 ~x5202 ~x2665 ~x4356 ~x133 
189.70/190.37	v ~x7741 ~x6895 ~x976 ~x6049 ~x1821 ~x3512 ~x5203 ~x2666 ~x4357 ~x134 
189.70/190.37	v ~x7742 ~x6896 ~x977 ~x6050 ~x1822 ~x3513 ~x5204 ~x2667 ~x4358 ~x135 
189.70/190.37	v ~x7743 ~x6897 ~x978 ~x6051 ~x1823 ~x3514 ~x5205 ~x2668 ~x4359 ~x136 
189.70/190.37	v ~x7744 ~x6898 ~x979 ~x6052 ~x1824 ~x3515 ~x5206 ~x2669 ~x4360 ~x137 
189.70/190.37	v ~x7745 ~x6899 ~x980 ~x6053 ~x1825 ~x3516 ~x5207 ~x2670 ~x4361 ~x138 
189.70/190.37	v ~x7746 ~x6900 ~x981 ~x6054 ~x1826 ~x3517 ~x5208 ~x2671 ~x4362 ~x139 
189.70/190.37	v ~x7747 ~x6901 ~x982 ~x6055 ~x1827 ~x3518 ~x5209 ~x2672 ~x4363 ~x140 
189.70/190.37	v ~x7748 ~x6902 ~x983 ~x6056 ~x1828 ~x3519 ~x5210 ~x2673 ~x4364 ~x141 
189.70/190.37	v ~x7749 ~x6903 ~x984 ~x6057 ~x1829 ~x3520 ~x5211 ~x2674 ~x4365 ~x142 
189.70/190.37	v ~x7750 ~x6904 ~x985 ~x6058 ~x1830 ~x3521 ~x5212 ~x2675 ~x4366 ~x143 
189.70/190.37	v ~x7751 ~x6905 ~x986 ~x6059 x1831 ~x3522 ~x5213 ~x2676 ~x4367 ~x144 
189.70/190.37	v ~x7752 ~x6906 ~x987 ~x6060 ~x1832 ~x3523 ~x5214 ~x2677 ~x4368 ~x145 
189.70/190.37	v ~x7753 ~x6907 ~x988 ~x6061 ~x1833 ~x3524 ~x5215 ~x2678 ~x4369 ~x146 
189.70/190.37	v ~x7754 ~x6908 ~x989 ~x6062 ~x1834 ~x3525 ~x5216 ~x2679 ~x4370 ~x147 
189.70/190.37	v ~x7755 x6909 ~x990 ~x6063 ~x1835 ~x3526 ~x5217 ~x2680 ~x4371 ~x148 
189.70/190.37	v ~x7756 ~x6910 ~x991 ~x6064 ~x1836 ~x3527 ~x5218 ~x2681 ~x4372 ~x149 
189.70/190.37	v ~x7757 ~x6911 ~x992 ~x6065 ~x1837 ~x3528 ~x5219 x2682 ~x4373 ~x150 
189.70/190.37	v ~x7758 ~x6912 ~x993 ~x6066 ~x1838 ~x3529 ~x5220 ~x2683 ~x4374 ~x151 
189.70/190.37	v x7759 ~x6913 ~x994 ~x6067 ~x1839 ~x3530 x5221 ~x2684 ~x4375 ~x152 
189.70/190.37	v ~x7760 ~x6914 ~x995 ~x6068 ~x1840 ~x3531 ~x5222 ~x2685 ~x4376 ~x153 
189.70/190.37	v ~x7761 ~x6915 ~x996 ~x6069 ~x1841 ~x3532 ~x5223 ~x2686 ~x4377 ~x154 
189.70/190.37	v ~x7762 ~x6916 ~x997 ~x6070 ~x1842 ~x3533 ~x5224 ~x2687 ~x4378 ~x155 
189.70/190.37	v ~x7763 ~x6917 ~x998 ~x6071 ~x1843 ~x3534 ~x5225 ~x2688 ~x4379 ~x156 
189.70/190.37	v ~x7764 ~x6918 ~x999 ~x6072 ~x1844 ~x3535 ~x5226 ~x2689 ~x4380 ~x157 
189.70/190.37	v ~x7765 ~x6919 ~x1000 ~x6073 ~x1845 ~x3536 ~x5227 ~x2690 ~x4381 ~x158 
189.70/190.37	v ~x7766 ~x6920 ~x1001 ~x6074 ~x1846 ~x3537 ~x5228 ~x2691 ~x4382 ~x159 
189.70/190.37	v ~x7767 ~x6921 ~x1002 ~x6075 ~x1847 ~x3538 ~x5229 ~x2692 ~x4383 ~x160 
189.70/190.37	v ~x7768 ~x6922 ~x1003 ~x6076 ~x1848 ~x3539 ~x5230 ~x2693 ~x4384 ~x161 
189.70/190.37	v ~x7769 ~x6923 ~x1004 ~x6077 ~x1849 ~x3540 ~x5231 ~x2694 ~x4385 ~x162 
189.70/190.37	v ~x7770 ~x6924 ~x1005 ~x6078 ~x1850 ~x3541 ~x5232 ~x2695 ~x4386 ~x163 
189.70/190.37	v ~x7771 ~x6925 ~x1006 ~x6079 ~x1851 ~x3542 ~x5233 ~x2696 ~x4387 ~x164 
189.70/190.37	v ~x7772 ~x6926 ~x1007 ~x6080 ~x1852 ~x3543 ~x5234 ~x2697 ~x4388 ~x165 
189.70/190.37	v ~x7773 ~x6927 ~x1008 ~x6081 ~x1853 ~x3544 ~x5235 ~x2698 ~x4389 ~x166 
189.70/190.37	v ~x7774 ~x6928 ~x1009 ~x6082 ~x1854 ~x3545 ~x5236 ~x2699 ~x4390 ~x167 
189.70/190.37	v ~x7775 ~x6929 ~x1010 ~x6083 ~x1855 ~x3546 ~x5237 ~x2700 ~x4391 ~x168 
189.70/190.37	v ~x7776 ~x6930 ~x1011 ~x6084 ~x1856 ~x3547 ~x5238 ~x2701 ~x4392 ~x169 
189.70/190.37	v ~x7777 ~x6931 ~x1012 ~x6085 ~x1857 ~x3548 ~x5239 ~x2702 ~x4393 ~x170 
189.70/190.37	v ~x7778 ~x6932 ~x1013 ~x6086 ~x1858 ~x3549 ~x5240 ~x2703 ~x4394 ~x171 
189.70/190.37	v ~x7779 ~x6933 ~x1014 ~x6087 ~x1859 ~x3550 ~x5241 ~x2704 ~x4395 ~x172 
189.70/190.37	v ~x7780 ~x6934 ~x1015 ~x6088 ~x1860 ~x3551 ~x5242 ~x2705 ~x4396 ~x173 
189.70/190.37	v ~x7781 ~x6935 ~x1016 ~x6089 ~x1861 ~x3552 ~x5243 ~x2706 ~x4397 ~x174 
189.70/190.37	v ~x7782 ~x6936 ~x1017 ~x6090 ~x1862 ~x3553 ~x5244 ~x2707 ~x4398 ~x175 
189.70/190.37	v ~x7783 ~x6937 ~x1018 ~x6091 ~x1863 ~x3554 ~x5245 ~x2708 ~x4399 ~x176 
189.70/190.37	v ~x7784 ~x6938 ~x1019 ~x6092 ~x1864 ~x3555 ~x5246 ~x2709 ~x4400 ~x177 
189.70/190.37	v ~x7785 ~x6939 ~x1020 ~x6093 ~x1865 ~x3556 ~x5247 ~x2710 ~x4401 ~x178 
189.70/190.37	v ~x7786 ~x6940 ~x1021 ~x6094 ~x1866 ~x3557 ~x5248 ~x2711 ~x4402 ~x179 
189.70/190.37	v ~x7787 ~x6941 ~x1022 ~x6095 ~x1867 ~x3558 ~x5249 ~x2712 ~x4403 ~x180 
189.70/190.37	v ~x7788 ~x6942 ~x1023 ~x6096 ~x1868 ~x3559 ~x5250 ~x2713 ~x4404 ~x181 
189.70/190.37	v ~x7789 x6943 ~x1024 ~x6097 ~x1869 ~x3560 ~x5251 ~x2714 ~x4405 ~x182 
189.70/190.37	v ~x7790 ~x6944 ~x1025 ~x6098 ~x1870 ~x3561 ~x5252 ~x2715 x4406 ~x7791 
189.70/190.37	v ~x6945 ~x1026 ~x6099 ~x1871 ~x3562 ~x5253 ~x2716 ~x4407 ~x183 ~x7792 
189.70/190.37	v ~x6946 ~x1027 ~x6100 ~x1872 ~x3563 ~x5254 ~x2717 ~x4408 ~x184 ~x7793 
189.70/190.37	v ~x6947 ~x1028 ~x6101 ~x1873 ~x3564 ~x5255 ~x2718 ~x4409 ~x185 ~x7794 
189.70/190.37	v ~x6948 ~x1029 ~x6102 ~x1874 ~x3565 ~x5256 ~x2719 ~x4410 ~x186 ~x7795 
189.70/190.37	v ~x6949 ~x1030 ~x6103 ~x1875 ~x3566 ~x5257 ~x2720 ~x4411 ~x187 ~x7796 
189.70/190.37	v ~x6950 ~x1031 ~x6104 ~x1876 ~x3567 ~x5258 ~x2721 ~x4412 ~x188 ~x7797 
189.70/190.37	v ~x6951 ~x1032 ~x6105 ~x1877 ~x3568 ~x5259 ~x2722 ~x4413 ~x189 ~x7798 
189.70/190.37	v ~x6952 ~x1033 ~x6106 ~x1878 ~x3569 ~x5260 ~x2723 ~x4414 ~x190 ~x7799 
189.70/190.37	v ~x6953 ~x1034 ~x6107 ~x1879 ~x3570 ~x5261 ~x2724 ~x4415 ~x191 ~x7800 
189.70/190.37	v ~x6954 ~x1035 ~x6108 ~x1880 ~x3571 ~x5262 ~x2725 ~x4416 ~x192 ~x7801 
189.70/190.37	v ~x6955 ~x1036 ~x6109 ~x1881 ~x3572 ~x5263 ~x2726 ~x4417 ~x193 ~x7802 
189.70/190.37	v ~x6956 ~x1037 ~x6110 ~x1882 ~x3573 ~x5264 ~x2727 ~x4418 ~x194 ~x7803 
189.70/190.37	v ~x6957 ~x1038 ~x6111 ~x1883 ~x3574 ~x5265 ~x2728 ~x4419 ~x195 ~x7804 
189.70/190.37	v ~x6958 ~x1039 ~x6112 ~x1884 ~x3575 ~x5266 ~x2729 ~x4420 ~x196 ~x7805 
189.70/190.37	v ~x6959 ~x1040 ~x6113 ~x1885 ~x3576 ~x5267 ~x2730 ~x4421 ~x197 ~x7806 
189.70/190.37	v ~x6960 ~x1041 ~x6114 ~x1886 ~x3577 ~x5268 ~x2731 ~x4422 ~x198 ~x7807 
189.70/190.37	v ~x6961 ~x1042 ~x6115 ~x1887 ~x3578 ~x5269 ~x2732 ~x4423 ~x199 ~x7808 
189.70/190.37	v ~x6962 ~x1043 ~x6116 ~x1888 ~x3579 ~x5270 ~x2733 ~x4424 ~x200 ~x7809 
189.70/190.37	v ~x6963 ~x1044 ~x6117 ~x1889 ~x3580 ~x5271 ~x2734 ~x4425 ~x201 ~x7810 
189.70/190.37	v ~x6964 ~x1045 ~x6118 ~x1890 ~x3581 ~x5272 ~x2735 ~x4426 ~x202 ~x7811 
189.70/190.37	v ~x6965 x1046 ~x6119 ~x1891 ~x3582 ~x5273 ~x2736 ~x4427 ~x203 ~x7812 
189.70/190.37	v ~x6966 ~x1047 ~x6120 ~x1892 ~x3583 ~x5274 ~x2737 ~x4428 ~x204 ~x7813 
189.70/190.37	v ~x6967 ~x1048 ~x6121 ~x1893 ~x3584 ~x5275 ~x2738 ~x4429 ~x205 ~x7814 
189.70/190.37	v ~x6968 ~x1049 ~x6122 ~x1894 ~x3585 ~x5276 ~x2739 ~x4430 ~x206 ~x7815 
189.70/190.37	v ~x6969 ~x1050 ~x6123 ~x1895 ~x3586 ~x5277 ~x2740 ~x4431 ~x207 ~x7816 
189.70/190.37	v ~x6970 ~x1051 ~x6124 ~x1896 ~x3587 ~x5278 ~x2741 ~x4432 ~x208 ~x7817 
189.70/190.37	v ~x6971 ~x1052 ~x6125 ~x1897 ~x3588 ~x5279 ~x2742 ~x4433 ~x209 ~x7818 
189.70/190.37	v ~x6972 ~x1053 ~x6126 ~x1898 ~x3589 ~x5280 ~x2743 ~x4434 ~x210 ~x7819 
189.70/190.37	v ~x6973 ~x1054 ~x6127 ~x1899 ~x3590 x5281 ~x2744 ~x4435 ~x211 ~x7820 
189.70/190.37	v ~x6974 ~x1055 ~x6128 ~x1900 ~x3591 ~x5282 ~x2745 ~x4436 ~x212 ~x7821 
189.70/190.37	v ~x6975 ~x1056 ~x6129 ~x1901 ~x3592 ~x5283 ~x2746 ~x4437 ~x213 ~x7822 
189.70/190.37	v ~x6976 ~x1057 ~x6130 ~x1902 ~x3593 ~x5284 ~x2747 ~x4438 ~x214 ~x7823 
189.70/190.37	v ~x6977 ~x1058 ~x6131 ~x1903 ~x3594 ~x5285 ~x2748 ~x4439 ~x215 ~x7824 
189.70/190.37	v ~x6978 ~x1059 ~x6132 ~x1904 ~x3595 ~x5286 ~x2749 ~x4440 ~x216 ~x7825 
189.70/190.37	v ~x6979 ~x1060 ~x6133 ~x1905 x3596 ~x5287 ~x2750 ~x4441 ~x217 ~x7826 
189.70/190.37	v ~x6980 ~x1061 ~x6134 ~x1906 ~x3597 ~x5288 ~x2751 ~x4442 ~x218 ~x7827 
189.70/190.37	v ~x6981 ~x1062 ~x6135 ~x1907 ~x3598 ~x5289 ~x2752 ~x4443 ~x219 ~x7828 
189.70/190.37	v ~x6982 ~x1063 ~x6136 ~x1908 ~x3599 ~x5290 ~x2753 ~x4444 ~x220 ~x7829 
189.70/190.37	v ~x6983 ~x1064 ~x6137 ~x1909 ~x3600 ~x5291 ~x2754 ~x4445 ~x221 ~x7830 
189.70/190.37	v ~x6984 ~x1065 ~x6138 ~x1910 ~x3601 ~x5292 ~x2755 ~x4446 ~x222 ~x7831 
189.70/190.37	v ~x6985 ~x1066 ~x6139 ~x1911 ~x3602 ~x5293 ~x2756 ~x4447 ~x223 x7832 
189.70/190.37	v ~x6986 ~x1067 ~x6140 ~x1912 ~x3603 ~x5294 ~x2757 ~x4448 ~x224 ~x7833 
189.70/190.37	v ~x6987 ~x1068 ~x6141 ~x1913 ~x3604 ~x5295 ~x2758 ~x4449 ~x225 ~x7834 
189.70/190.37	v ~x6988 ~x1069 ~x6142 ~x1914 ~x3605 ~x5296 ~x2759 ~x4450 ~x226 ~x7835 
189.70/190.37	v ~x6989 ~x1070 ~x6143 ~x1915 ~x3606 ~x5297 ~x2760 ~x4451 ~x227 ~x7836 
189.70/190.37	v ~x6990 ~x1071 ~x6144 ~x1916 ~x3607 ~x5298 ~x2761 ~x4452 ~x228 ~x7837 
189.70/190.37	v ~x6991 ~x1072 ~x6145 ~x1917 ~x3608 ~x5299 ~x2762 ~x4453 ~x229 ~x7838 
189.70/190.37	v ~x6992 ~x1073 ~x6146 ~x1918 ~x3609 ~x5300 ~x2763 ~x4454 ~x230 ~x7839 
189.70/190.37	v ~x6993 ~x1074 ~x6147 ~x1919 ~x3610 ~x5301 ~x2764 ~x4455 ~x231 ~x7840 
189.70/190.37	v ~x6994 ~x1075 ~x6148 ~x1920 ~x3611 ~x5302 ~x2765 ~x4456 ~x232 ~x7841 
189.70/190.37	v ~x6995 ~x1076 ~x6149 ~x1921 ~x3612 ~x5303 ~x2766 ~x4457 ~x233 ~x7842 
189.70/190.37	v ~x6996 ~x1077 ~x6150 ~x1922 ~x3613 ~x5304 ~x2767 ~x4458 ~x234 ~x7843 
189.70/190.37	v ~x6997 ~x1078 ~x6151 ~x1923 ~x3614 ~x5305 ~x2768 ~x4459 ~x235 ~x7844 
189.70/190.37	v ~x6998 ~x1079 ~x6152 ~x1924 ~x3615 ~x5306 ~x2769 ~x4460 ~x236 ~x7845 
189.70/190.37	v ~x6999 ~x1080 ~x6153 x1925 ~x3616 ~x5307 ~x2770 ~x4461 ~x237 ~x7846 
189.70/190.38	v ~x7000 ~x1081 ~x6154 ~x1926 ~x3617 ~x5308 ~x2771 ~x4462 ~x238 ~x7847 
189.70/190.38	v ~x7001 ~x1082 ~x6155 ~x1927 ~x3618 ~x5309 ~x2772 ~x4463 ~x239 ~x7848 
189.70/190.38	v ~x7002 ~x1083 ~x6156 ~x1928 ~x3619 ~x5310 ~x2773 ~x4464 ~x240 ~x7849 
189.70/190.38	v ~x7003 ~x1084 ~x6157 ~x1929 ~x3620 ~x5311 ~x2774 ~x4465 ~x241 ~x7850 
189.70/190.38	v ~x7004 ~x1085 ~x6158 ~x1930 ~x3621 ~x5312 ~x2775 ~x4466 ~x242 ~x7851 
189.70/190.38	v ~x7005 ~x1086 ~x6159 ~x1931 ~x3622 ~x5313 ~x2776 ~x4467 ~x243 ~x7852 
189.70/190.38	v ~x7006 ~x1087 ~x6160 ~x1932 ~x3623 ~x5314 ~x2777 ~x4468 ~x244 ~x7853 
189.70/190.38	v ~x7007 ~x1088 ~x6161 ~x1933 ~x3624 ~x5315 ~x2778 ~x4469 x245 ~x7854 
189.70/190.38	v ~x7008 ~x1089 ~x6162 ~x1934 ~x3625 ~x5316 x2779 ~x4470 ~x246 ~x7855 
189.70/190.38	v ~x7009 ~x1090 ~x6163 ~x1935 ~x3626 ~x5317 ~x2780 ~x4471 ~x247 ~x7856 
189.70/190.38	v ~x7010 ~x1091 ~x6164 ~x1936 ~x3627 ~x5318 ~x2781 ~x4472 ~x248 ~x7857 
189.70/190.38	v ~x7011 ~x1092 x6165 ~x1937 ~x3628 ~x5319 ~x2782 ~x4473 ~x249 ~x7858 
189.70/190.38	v ~x7012 ~x6166 ~x1938 ~x3629 ~x5320 ~x2783 ~x4474 ~x250 ~x7859 ~x7013 
189.70/190.38	v ~x6167 ~x1939 ~x3630 ~x5321 ~x1093 ~x2784 ~x4475 ~x251 ~x7860 ~x7014 
189.70/190.38	v ~x6168 ~x1940 ~x3631 ~x5322 ~x1094 ~x2785 ~x4476 ~x252 ~x7861 ~x7015 
189.70/190.38	v ~x6169 ~x1941 ~x3632 ~x5323 ~x1095 ~x2786 ~x4477 ~x253 ~x7862 ~x7016 
189.70/190.38	v ~x6170 ~x1942 ~x3633 ~x5324 ~x1096 ~x2787 ~x4478 ~x254 ~x7863 ~x7017 
189.70/190.38	v ~x6171 ~x1943 ~x3634 ~x5325 ~x1097 ~x2788 ~x4479 ~x255 ~x7864 ~x7018 
189.70/190.38	v ~x6172 ~x1944 ~x3635 ~x5326 ~x1098 ~x2789 ~x4480 ~x256 ~x7865 ~x7019 
189.70/190.38	v ~x6173 ~x1945 ~x3636 ~x5327 ~x1099 ~x2790 ~x4481 ~x257 ~x7866 ~x7020 
189.70/190.38	v ~x6174 ~x1946 ~x3637 ~x5328 ~x1100 ~x2791 ~x4482 ~x258 ~x7867 ~x7021 
189.70/190.38	v ~x6175 ~x1947 ~x3638 ~x5329 ~x1101 ~x2792 ~x4483 ~x259 ~x7868 ~x7022 
189.70/190.38	v ~x6176 ~x1948 ~x3639 ~x5330 ~x1102 ~x2793 ~x4484 ~x260 ~x7869 ~x7023 
189.70/190.38	v ~x6177 ~x1949 ~x3640 ~x5331 ~x1103 ~x2794 ~x4485 ~x261 ~x7870 ~x7024 
189.70/190.38	v ~x6178 ~x1950 ~x3641 ~x5332 ~x1104 ~x2795 ~x4486 ~x262 ~x7871 ~x7025 
189.70/190.38	v ~x6179 ~x1951 ~x3642 ~x5333 ~x1105 ~x2796 ~x4487 ~x263 ~x7872 ~x7026 
189.70/190.38	v ~x6180 ~x1952 ~x3643 ~x5334 ~x1106 ~x2797 ~x4488 ~x264 ~x7873 ~x7027 
189.70/190.38	v ~x6181 ~x1953 ~x3644 ~x5335 ~x1107 ~x2798 ~x4489 ~x265 ~x7874 ~x7028 
189.70/190.38	v ~x6182 ~x1954 ~x3645 ~x5336 ~x1108 ~x2799 ~x4490 ~x266 ~x7875 ~x7029 
189.70/190.38	v ~x6183 ~x1955 ~x3646 ~x5337 ~x1109 ~x2800 ~x4491 ~x267 ~x7876 ~x7030 
189.70/190.38	v ~x6184 ~x1956 ~x3647 ~x5338 ~x1110 ~x2801 ~x4492 ~x268 ~x7877 ~x7031 
189.70/190.38	v ~x6185 ~x1957 ~x3648 ~x5339 ~x1111 ~x2802 ~x4493 ~x269 ~x7878 ~x7032 
189.70/190.38	v ~x6186 ~x1958 ~x3649 ~x5340 ~x1112 ~x2803 ~x4494 ~x270 ~x7879 ~x7033 
189.70/190.38	v ~x6187 ~x1959 ~x3650 ~x5341 ~x1113 ~x2804 ~x4495 ~x271 ~x7880 ~x7034 
189.70/190.38	v ~x6188 ~x1960 ~x3651 ~x5342 ~x1114 ~x2805 ~x4496 ~x272 ~x7881 ~x7035 
189.70/190.38	v ~x6189 ~x1961 ~x3652 ~x5343 ~x1115 ~x2806 ~x4497 ~x273 ~x7882 ~x7036 
189.70/190.38	v ~x6190 ~x1962 ~x3653 ~x5344 ~x1116 ~x2807 ~x4498 ~x7883 ~x7037 ~x6191 
189.70/190.38	v ~x1963 ~x3654 ~x5345 ~x1117 ~x2808 ~x4499 ~x7884 ~x274 ~x7038 ~x6192 
189.70/190.38	v ~x1964 ~x3655 ~x5346 ~x1118 ~x2809 ~x4500 ~x7885 ~x275 ~x7039 ~x6193 
189.70/190.38	v ~x1965 ~x3656 ~x5347 ~x1119 ~x2810 ~x4501 ~x7886 ~x276 ~x7040 ~x6194 
189.70/190.38	v ~x1966 ~x3657 ~x5348 ~x1120 ~x2811 ~x4502 ~x7887 ~x277 ~x7041 ~x6195 
189.70/190.38	v ~x1967 ~x3658 ~x5349 ~x1121 ~x2812 ~x4503 ~x7888 ~x278 ~x7042 ~x6196 
189.70/190.38	v ~x1968 ~x3659 ~x5350 ~x1122 ~x2813 ~x4504 ~x7889 ~x279 ~x7043 ~x6197 
189.70/190.38	v ~x1969 ~x3660 ~x5351 ~x1123 ~x2814 ~x4505 ~x7890 ~x280 ~x7044 ~x6198 
189.70/190.38	v ~x1970 ~x3661 ~x5352 ~x1124 ~x2815 ~x4506 ~x7891 ~x281 ~x7045 ~x6199 
189.70/190.38	v ~x1971 ~x3662 ~x5353 ~x1125 ~x2816 x4507 ~x7892 ~x282 ~x7046 ~x6200 
189.70/190.38	v ~x1972 ~x3663 ~x5354 ~x1126 ~x2817 ~x4508 ~x7893 ~x283 ~x7047 ~x6201 
189.70/190.38	v ~x3664 ~x1973 ~x5355 ~x2818 ~x1127 ~x4509 ~x7894 ~x284 ~x7048 ~x6202 
189.70/190.38	v ~x1974 ~x3665 ~x5356 ~x1128 ~x2819 ~x4510 ~x7895 ~x285 ~x7049 ~x6203 
189.70/190.38	v ~x1975 ~x3666 ~x5357 ~x1129 ~x2820 ~x4511 ~x7896 ~x286 ~x7050 ~x6204 
189.70/190.38	v ~x1976 ~x3667 ~x5358 ~x1130 ~x2821 ~x4512 ~x7897 ~x287 ~x7051 ~x6205 
189.70/190.38	v ~x1977 ~x3668 ~x5359 ~x1131 ~x2822 ~x4513 ~x7898 ~x288 ~x7052 ~x6206 
189.70/190.38	v ~x1978 ~x3669 ~x5360 ~x1132 ~x2823 ~x4514 ~x7899 ~x289 ~x7053 ~x6207 
189.70/190.38	v ~x1979 ~x3670 ~x5361 ~x1133 ~x2824 ~x4515 ~x7900 ~x290 ~x7054 ~x6208 
189.70/190.38	v ~x1980 ~x3671 ~x5362 ~x1134 ~x2825 ~x4516 ~x7901 ~x291 ~x7055 ~x6209 
189.70/190.38	v ~x1981 ~x3672 ~x5363 ~x1135 ~x2826 ~x4517 ~x7902 ~x292 ~x7056 ~x6210 
189.70/190.38	v ~x1982 ~x3673 ~x5364 ~x1136 ~x2827 ~x4518 ~x7903 ~x293 ~x7057 ~x6211 
189.70/190.38	v ~x1983 ~x3674 ~x5365 ~x1137 ~x2828 ~x4519 ~x7904 ~x294 ~x7058 ~x6212 
189.70/190.38	v ~x1984 ~x3675 ~x5366 ~x1138 ~x2829 ~x4520 ~x7905 ~x295 ~x7059 ~x6213 
189.70/190.38	v ~x1985 ~x3676 ~x5367 ~x1139 ~x2830 ~x4521 ~x7906 ~x296 ~x7060 ~x6214 
189.70/190.38	v ~x1986 ~x3677 ~x5368 ~x1140 ~x2831 ~x4522 ~x7907 ~x297 ~x7061 ~x6215 
189.70/190.38	v ~x1987 ~x3678 ~x5369 ~x1141 ~x2832 ~x4523 ~x7908 ~x298 ~x7062 ~x6216 
189.70/190.38	v ~x1988 ~x3679 ~x5370 ~x1142 ~x2833 ~x4524 ~x7909 x299 ~x7063 ~x6217 
189.70/190.38	v ~x1989 ~x3680 ~x5371 ~x1143 ~x2834 ~x4525 ~x7910 ~x300 ~x7064 ~x6218 
189.70/190.38	v ~x1990 ~x3681 ~x5372 ~x1144 ~x2835 ~x4526 ~x7911 ~x301 ~x7065 ~x6219 
189.70/190.38	v ~x1991 ~x3682 ~x5373 ~x1145 ~x2836 ~x4527 ~x7912 ~x302 ~x7066 ~x6220 
189.70/190.38	v ~x1992 ~x3683 ~x5374 ~x1146 ~x2837 ~x4528 ~x7913 ~x303 ~x7067 ~x6221 
189.70/190.38	v ~x1993 ~x3684 ~x5375 ~x1147 ~x2838 ~x4529 ~x7914 ~x304 ~x7068 ~x6222 
189.70/190.38	v ~x1994 ~x3685 ~x5376 ~x1148 ~x2839 ~x4530 ~x7915 ~x305 ~x7069 ~x6223 
189.70/190.38	v ~x1995 ~x3686 ~x5377 ~x1149 ~x2840 ~x4531 ~x7916 ~x306 ~x7070 ~x6224 
189.70/190.38	v ~x1996 ~x3687 ~x5378 ~x1150 ~x2841 ~x4532 ~x7917 ~x307 ~x7071 ~x6225 
189.70/190.38	v ~x1997 ~x3688 ~x5379 ~x1151 ~x2842 ~x4533 ~x7918 ~x308 ~x7072 ~x6226 
189.70/190.38	v ~x1998 ~x3689 ~x5380 ~x1152 ~x2843 ~x4534 ~x7919 ~x309 ~x7073 ~x6227 
189.70/190.38	v ~x1999 ~x3690 ~x5381 ~x1153 ~x2844 ~x4535 ~x7920 ~x310 ~x7074 ~x6228 
189.70/190.38	v ~x2000 ~x3691 ~x5382 ~x1154 ~x2845 ~x4536 ~x7921 ~x311 ~x7075 ~x6229 
189.70/190.38	v ~x2001 ~x3692 ~x5383 ~x1155 ~x2846 ~x4537 ~x7922 ~x312 ~x7076 ~x6230 
189.70/190.38	v ~x2002 ~x3693 ~x5384 ~x1156 ~x2847 ~x4538 ~x7923 ~x313 ~x7077 ~x6231 
189.70/190.38	v ~x2003 ~x3694 ~x5385 ~x1157 ~x2848 ~x4539 ~x7924 ~x314 ~x7078 ~x6232 
189.70/190.38	v ~x2004 ~x3695 ~x5386 ~x1158 ~x2849 ~x4540 ~x7925 ~x315 ~x7079 ~x6233 
189.70/190.38	v ~x2005 ~x3696 ~x5387 ~x1159 ~x2850 ~x4541 ~x7926 ~x316 ~x7080 x6234 
189.70/190.38	v ~x2006 ~x3697 ~x5388 ~x1160 ~x2851 ~x4542 ~x7927 ~x317 ~x7081 ~x6235 
189.70/190.38	v ~x2007 ~x3698 ~x5389 ~x1161 x2852 ~x4543 ~x7928 ~x318 ~x7082 ~x6236 
189.70/190.38	v ~x2008 ~x3699 ~x5390 ~x1162 ~x2853 ~x4544 ~x7929 ~x319 ~x7083 ~x6237 
189.70/190.38	v ~x2009 ~x3700 ~x5391 ~x1163 ~x2854 ~x4545 ~x7930 ~x320 ~x7084 ~x6238 
189.70/190.38	v ~x2010 ~x3701 ~x5392 ~x1164 ~x2855 ~x4546 ~x7931 ~x321 ~x7085 ~x6239 
189.70/190.38	v ~x2011 ~x3702 ~x5393 ~x1165 ~x2856 ~x4547 ~x7932 ~x322 ~x7086 ~x6240 
189.70/190.38	v ~x2012 ~x3703 ~x5394 ~x1166 ~x2857 ~x4548 ~x7933 ~x323 ~x7087 ~x6241 
189.70/190.38	v ~x2013 ~x3704 ~x5395 ~x1167 ~x2858 ~x4549 ~x7934 ~x324 ~x7088 ~x6242 
189.70/190.38	v ~x2014 ~x3705 ~x5396 ~x1168 ~x2859 ~x4550 ~x7935 ~x325 ~x7089 ~x6243 
189.70/190.38	v ~x2015 ~x3706 ~x5397 ~x1169 ~x2860 ~x4551 ~x7936 ~x326 ~x7090 ~x6244 
189.70/190.38	v ~x2016 ~x3707 ~x5398 ~x1170 ~x2861 ~x4552 ~x7937 ~x327 ~x7091 ~x6245 
189.70/190.38	v ~x2017 ~x3708 ~x5399 ~x1171 ~x2862 ~x4553 ~x7938 ~x328 ~x7092 ~x6246 
189.70/190.38	v ~x2018 ~x3709 ~x5400 ~x1172 ~x2863 ~x4554 ~x7939 ~x329 ~x7093 ~x6247 
189.70/190.38	v ~x2019 ~x3710 ~x5401 ~x1173 ~x2864 ~x4555 ~x7940 ~x330 ~x7094 ~x6248 
189.70/190.38	v ~x2020 ~x3711 ~x5402 ~x1174 ~x2865 ~x4556 ~x7941 ~x331 ~x7095 ~x6249 
189.70/190.38	v ~x2021 ~x3712 ~x5403 ~x1175 ~x2866 ~x4557 ~x7942 ~x332 ~x7096 ~x6250 
189.70/190.38	v ~x2022 ~x3713 ~x5404 ~x1176 ~x2867 ~x4558 ~x7943 ~x333 ~x7097 ~x6251 
189.70/190.38	v ~x2023 ~x3714 ~x5405 ~x1177 ~x2868 ~x4559 ~x7944 ~x334 x7098 ~x6252 
189.70/190.38	v ~x2024 ~x3715 ~x5406 ~x1178 ~x2869 ~x4560 ~x7945 ~x335 ~x7099 ~x6253 
189.70/190.38	v ~x2025 ~x3716 ~x5407 ~x1179 ~x2870 ~x4561 ~x7946 ~x336 ~x7100 ~x6254 
189.70/190.38	v ~x2026 ~x3717 ~x5408 x1180 ~x2871 ~x4562 ~x7947 ~x337 ~x7101 ~x6255 
189.70/190.38	v ~x2027 ~x3718 ~x5409 ~x1181 ~x2872 ~x4563 ~x7948 ~x338 ~x7102 ~x6256 
189.70/190.38	v ~x2028 x3719 ~x5410 ~x1182 ~x2873 ~x4564 ~x7949 ~x339 ~x7103 ~x6257 
189.70/190.38	v ~x2029 ~x3720 ~x5411 ~x1183 ~x2874 ~x4565 ~x7950 ~x340 ~x7104 ~x6258 
189.70/190.38	v ~x2030 ~x3721 ~x5412 ~x1184 ~x2875 ~x4566 ~x7951 ~x341 ~x7105 ~x6259 
189.70/190.38	v ~x2031 ~x3722 ~x5413 x1185 ~x2876 ~x4567 ~x7952 ~x342 ~x7106 ~x6260 
189.70/190.38	v ~x2032 ~x3723 ~x5414 ~x1186 ~x2877 ~x4568 ~x7953 ~x343 ~x7107 ~x6261 
189.70/190.38	v ~x2033 ~x3724 ~x5415 ~x1187 ~x2878 ~x4569 ~x7954 ~x344 ~x7108 ~x6262 
189.70/190.38	v ~x2034 ~x3725 ~x5416 ~x1188 ~x2879 ~x4570 ~x7955 ~x345 ~x7109 ~x6263 
189.70/190.38	v ~x2035 ~x3726 ~x5417 ~x1189 ~x2880 ~x4571 ~x7956 ~x346 ~x7110 ~x6264 
189.70/190.38	v ~x2036 ~x3727 ~x5418 ~x1190 ~x2881 ~x4572 ~x7957 ~x347 ~x7111 ~x6265 
189.70/190.38	v ~x2037 ~x3728 ~x5419 ~x1191 ~x2882 ~x4573 ~x7958 ~x348 ~x7112 ~x6266 
189.70/190.38	v ~x2038 ~x3729 x5420 ~x1192 ~x2883 ~x4574 ~x7959 ~x349 ~x7113 ~x6267 
189.70/190.38	v ~x2039 ~x3730 ~x5421 ~x1193 ~x2884 ~x4575 ~x7960 ~x350 ~x7114 ~x6268 
189.70/190.38	v ~x2040 ~x3731 ~x5422 ~x1194 ~x2885 ~x4576 ~x7961 ~x351 ~x7115 ~x6269 
189.70/190.38	v ~x2041 ~x3732 ~x5423 ~x1195 ~x2886 ~x4577 ~x7962 ~x352 ~x7116 ~x6270 
189.70/190.38	v ~x2042 ~x3733 ~x5424 ~x1196 ~x2887 ~x4578 ~x7963 ~x353 ~x7117 ~x6271 
189.70/190.38	v ~x2043 ~x3734 ~x5425 ~x1197 ~x2888 ~x4579 ~x7964 ~x354 ~x7118 ~x6272 
189.70/190.38	v ~x2044 ~x3735 ~x5426 ~x1198 ~x2889 ~x4580 ~x7965 ~x355 ~x7119 ~x6273 
189.70/190.38	v ~x2045 ~x3736 ~x5427 ~x1199 ~x2890 ~x4581 ~x7966 ~x356 ~x7120 ~x6274 
189.70/190.38	v ~x2046 ~x3737 ~x5428 ~x1200 ~x2891 x4582 ~x7967 ~x357 ~x7121 ~x6275 
189.70/190.38	v ~x2047 ~x3738 ~x5429 ~x1201 ~x2892 ~x4583 ~x7968 ~x358 ~x7122 ~x6276 
189.70/190.38	v ~x2048 ~x3739 ~x5430 ~x1202 ~x2893 ~x4584 ~x7969 ~x359 ~x7123 ~x6277 
189.70/190.38	v ~x2049 ~x3740 ~x5431 ~x1203 ~x2894 ~x4585 ~x7970 ~x360 ~x7124 ~x6278 
189.70/190.38	v ~x2050 ~x3741 ~x5432 ~x1204 ~x2895 ~x4586 ~x7971 ~x361 ~x7125 ~x6279 
189.70/190.38	v ~x2051 ~x3742 ~x5433 ~x1205 ~x2896 ~x4587 ~x7972 ~x362 ~x7126 ~x6280 
189.70/190.38	v ~x2052 ~x3743 ~x5434 ~x1206 ~x2897 ~x4588 ~x7973 ~x363 ~x7127 ~x6281 
189.70/190.38	v ~x2053 ~x3744 ~x5435 ~x1207 ~x2898 ~x4589 ~x7974 ~x364 ~x7128 ~x6282 
189.70/190.38	v ~x2054 ~x3745 ~x5436 ~x1208 ~x2899 ~x4590 ~x7975 ~x365 ~x7129 ~x6283 
189.70/190.38	v ~x2055 ~x3746 ~x5437 ~x1209 ~x2900 ~x4591 ~x7976 ~x366 ~x7130 ~x6284 
189.70/190.38	v ~x2056 ~x3747 ~x5438 ~x1210 ~x2901 ~x4592 ~x7977 ~x367 ~x7131 ~x6285 
189.70/190.38	v x2057 ~x3748 ~x5439 ~x1211 ~x2902 ~x4593 ~x7978 ~x368 ~x7132 ~x6286 
189.70/190.38	v ~x2058 ~x3749 ~x5440 ~x1212 ~x2903 ~x4594 ~x7979 ~x369 ~x7133 ~x6287 
189.70/190.38	v ~x2059 ~x3750 ~x5441 ~x1213 ~x2904 ~x4595 ~x7980 ~x370 ~x7134 ~x6288 
189.70/190.38	v ~x2060 ~x3751 ~x5442 ~x1214 ~x2905 ~x4596 ~x7981 ~x371 ~x7135 ~x6289 
189.70/190.38	v ~x2061 ~x3752 ~x5443 ~x1215 ~x2906 ~x4597 ~x7982 ~x372 ~x7136 ~x6290 
189.70/190.38	v ~x2062 ~x3753 ~x5444 ~x1216 ~x2907 ~x4598 ~x7983 ~x373 ~x7137 ~x6291 
189.70/190.38	v ~x2063 ~x3754 ~x5445 ~x1217 ~x2908 ~x4599 ~x7984 ~x374 ~x7138 ~x6292 
189.70/190.38	v ~x2064 ~x3755 ~x5446 ~x1218 ~x2909 ~x4600 ~x7985 ~x375 ~x7139 ~x6293 
189.70/190.38	v ~x2065 ~x3756 ~x5447 ~x1219 ~x2910 ~x4601 ~x7986 ~x376 ~x7140 ~x6294 
189.70/190.38	v ~x2066 ~x3757 ~x5448 ~x1220 ~x2911 ~x4602 ~x7987 ~x377 ~x7141 ~x6295 
189.70/190.38	v ~x2067 ~x3758 ~x5449 ~x1221 ~x2912 ~x4603 ~x7988 ~x378 ~x7142 ~x6296 
189.70/190.38	v ~x2068 ~x3759 ~x5450 ~x1222 ~x2913 ~x4604 ~x7989 ~x379 ~x7143 ~x6297 
189.70/190.38	v ~x2069 ~x3760 ~x5451 ~x1223 ~x2914 ~x4605 ~x7990 ~x380 ~x7144 ~x6298 
189.70/190.38	v ~x2070 ~x3761 ~x5452 ~x1224 ~x2915 ~x4606 ~x7991 ~x381 ~x7145 ~x6299 
189.70/190.38	v ~x2071 ~x3762 ~x5453 ~x1225 ~x2916 ~x4607 ~x7992 ~x382 ~x7146 x6300 
189.70/190.38	v ~x2072 ~x3763 ~x5454 ~x1226 ~x2917 ~x4608 x7993 ~x383 ~x7147 ~x6301 
189.70/190.38	v ~x2073 ~x3764 ~x5455 ~x1227 ~x2918 ~x4609 ~x7994 ~x384 ~x7148 ~x6302 
189.70/190.38	v ~x2074 ~x3765 ~x5456 ~x1228 ~x2919 ~x4610 ~x7995 ~x385 ~x7149 ~x6303 
189.70/190.38	v ~x2075 ~x3766 ~x5457 ~x1229 ~x2920 ~x4611 ~x7996 ~x386 ~x7150 ~x6304 
189.70/190.38	v ~x2076 ~x3767 ~x5458 ~x1230 ~x2921 ~x4612 ~x7997 ~x387 ~x7151 ~x6305 
189.70/190.38	v ~x2077 ~x3768 ~x5459 ~x1231 ~x2922 ~x4613 ~x7998 ~x388 ~x7152 ~x6306 
189.70/190.38	v ~x2078 ~x3769 ~x5460 ~x1232 ~x2923 ~x4614 ~x7999 ~x389 ~x7153 ~x6307 
189.70/190.38	v ~x2079 ~x3770 ~x5461 ~x1233 ~x2924 ~x4615 ~x8000 ~x390 ~x7154 ~x6308 
189.70/190.38	v ~x2080 ~x3771 ~x5462 ~x1234 ~x2925 ~x4616 ~x8001 ~x391 ~x7155 ~x6309 
189.70/190.38	v ~x2081 ~x3772 ~x5463 ~x1235 ~x2926 ~x4617 ~x8002 ~x392 ~x7156 ~x6310 
189.70/190.38	v ~x2082 ~x3773 ~x5464 ~x1236 ~x2927 ~x4618 ~x8003 ~x393 ~x7157 ~x6311 
189.70/190.38	v ~x2083 ~x3774 ~x5465 ~x1237 ~x2928 ~x4619 ~x8004 ~x394 ~x7158 ~x6312 
189.70/190.38	v ~x2084 ~x3775 ~x5466 ~x1238 ~x2929 ~x4620 ~x8005 ~x395 x7159 ~x6313 
189.70/190.38	v ~x2085 ~x3776 ~x5467 ~x1239 ~x2930 ~x4621 ~x8006 ~x396 ~x7160 ~x6314 
189.70/190.38	v ~x2086 ~x3777 ~x5468 ~x1240 ~x2931 ~x4622 ~x8007 ~x397 ~x7161 ~x6315 
189.70/190.38	v ~x2087 ~x3778 ~x5469 ~x1241 ~x2932 ~x4623 ~x8008 ~x398 ~x7162 ~x6316 
189.70/190.38	v ~x2088 ~x3779 ~x5470 ~x1242 ~x2933 ~x4624 ~x8009 ~x399 ~x7163 ~x6317 
189.70/190.38	v ~x2089 ~x3780 ~x5471 ~x1243 ~x2934 ~x4625 ~x8010 ~x400 ~x7164 ~x6318 
189.70/190.38	v ~x2090 ~x3781 ~x5472 ~x1244 ~x2935 ~x4626 ~x8011 ~x401 ~x7165 ~x6319 
189.70/190.38	v ~x2091 ~x3782 ~x5473 ~x1245 ~x2936 ~x4627 ~x8012 ~x402 ~x7166 ~x6320 
189.70/190.38	v ~x2092 ~x3783 ~x5474 ~x1246 ~x2937 ~x4628 ~x8013 ~x403 ~x7167 ~x6321 
189.70/190.38	v ~x2093 ~x3784 ~x5475 ~x1247 ~x2938 ~x4629 ~x8014 ~x404 ~x7168 ~x6322 
189.70/190.38	v ~x2094 ~x3785 ~x5476 ~x1248 ~x2939 ~x4630 ~x8015 ~x405 ~x7169 ~x6323 
189.70/190.38	v ~x2095 ~x3786 ~x5477 ~x1249 ~x2940 ~x4631 ~x8016 ~x406 ~x7170 ~x6324 
189.70/190.38	v ~x2096 ~x3787 ~x5478 ~x1250 ~x2941 ~x4632 ~x8017 ~x407 ~x7171 ~x6325 
189.70/190.38	v ~x2097 ~x3788 ~x5479 ~x1251 ~x2942 ~x4633 ~x8018 ~x408 ~x7172 ~x6326 
189.70/190.38	v ~x2098 ~x3789 ~x5480 ~x1252 ~x2943 ~x4634 ~x8019 ~x409 ~x7173 ~x6327 
189.70/190.38	v ~x2099 ~x3790 ~x5481 ~x1253 ~x2944 ~x4635 ~x8020 ~x410 ~x7174 ~x6328 
189.70/190.38	v ~x2100 ~x3791 ~x5482 ~x1254 ~x2945 ~x4636 ~x8021 ~x411 ~x7175 ~x6329 
189.70/190.38	v ~x2101 ~x3792 ~x5483 ~x1255 ~x2946 ~x4637 ~x8022 ~x412 ~x7176 ~x6330 
189.70/190.38	v ~x2102 ~x3793 ~x5484 ~x1256 ~x2947 ~x4638 ~x8023 ~x413 ~x7177 ~x6331 
189.70/190.38	v ~x2103 ~x3794 ~x5485 ~x1257 ~x2948 ~x4639 ~x8024 ~x414 ~x7178 ~x6332 
189.70/190.38	v ~x2104 ~x3795 ~x5486 ~x1258 ~x2949 ~x4640 ~x8025 ~x415 ~x7179 ~x6333 
189.70/190.38	v ~x2105 ~x3796 ~x5487 ~x1259 ~x2950 ~x4641 ~x8026 ~x416 ~x7180 ~x6334 
189.70/190.38	v ~x2106 ~x3797 ~x5488 ~x1260 ~x2951 ~x4642 ~x8027 ~x417 ~x7181 ~x6335 
189.70/190.38	v ~x2107 ~x3798 ~x5489 ~x1261 ~x2952 ~x4643 ~x8028 x418 ~x7182 ~x6336 
189.70/190.38	v ~x2108 ~x3799 ~x5490 ~x1262 ~x2953 ~x4644 ~x8029 ~x419 ~x7183 ~x6337 
189.70/190.38	v ~x2109 ~x3800 ~x5491 ~x1263 ~x2954 ~x4645 ~x8030 ~x420 ~x7184 ~x6338 
189.70/190.38	v ~x2110 ~x3801 ~x5492 ~x1264 ~x2955 ~x4646 ~x8031 ~x421 ~x7185 ~x6339 
189.70/190.38	v ~x2111 ~x3802 ~x5493 ~x1265 ~x2956 ~x4647 ~x8032 ~x422 ~x7186 ~x6340 
189.70/190.38	v ~x2112 ~x3803 ~x5494 ~x1266 ~x2957 ~x4648 ~x8033 ~x423 ~x7187 ~x6341 
189.70/190.38	v ~x2113 ~x3804 ~x5495 ~x1267 ~x2958 ~x4649 ~x8034 ~x424 ~x7188 ~x6342 
189.70/190.38	v ~x2114 ~x3805 ~x5496 ~x1268 ~x2959 ~x4650 ~x8035 ~x425 ~x7189 ~x6343 
189.70/190.38	v ~x2115 x3806 ~x5497 ~x1269 ~x2960 ~x4651 ~x8036 ~x426 ~x7190 ~x6344 
189.70/190.38	v ~x2116 ~x3807 ~x5498 ~x1270 ~x2961 ~x4652 ~x8037 ~x427 ~x7191 ~x6345 
189.70/190.38	v ~x2117 ~x3808 ~x5499 ~x1271 ~x2962 ~x4653 ~x8038 ~x428 ~x7192 ~x6346 
189.70/190.38	v ~x2118 ~x3809 ~x5500 ~x1272 ~x2963 ~x4654 ~x8039 ~x429 ~x7193 ~x6347 
189.70/190.38	v ~x2119 ~x3810 ~x5501 ~x1273 ~x2964 ~x4655 ~x8040 ~x430 ~x7194 ~x6348 
189.70/190.38	v ~x2120 ~x3811 ~x5502 ~x1274 ~x2965 ~x4656 ~x8041 ~x431 ~x7195 ~x6349 
189.70/190.38	v ~x2121 ~x3812 ~x5503 ~x1275 ~x2966 ~x4657 ~x8042 ~x432 ~x7196 ~x6350 
189.70/190.38	v ~x2122 ~x3813 ~x5504 ~x1276 ~x2967 ~x4658 ~x8043 ~x433 ~x7197 ~x6351 
189.70/190.38	v ~x2123 ~x3814 ~x5505 ~x1277 ~x2968 ~x4659 ~x8044 ~x434 ~x7198 ~x6352 
189.70/190.38	v ~x2124 ~x3815 ~x5506 ~x1278 ~x2969 ~x4660 ~x8045 ~x435 ~x7199 ~x6353 
189.70/190.38	v ~x2125 ~x3816 ~x5507 ~x1279 ~x2970 ~x4661 ~x8046 ~x436 ~x7200 ~x6354 
189.70/190.38	v ~x2126 ~x3817 ~x5508 ~x1280 x2971 ~x4662 ~x8047 ~x437 ~x7201 ~x6355 
189.70/190.38	v ~x2127 ~x3818 ~x5509 ~x1281 ~x2972 x4663 ~x8048 ~x438 ~x7202 ~x6356 
189.70/190.38	v ~x2128 ~x3819 ~x5510 ~x1282 ~x2973 ~x4664 ~x8049 ~x439 ~x7203 ~x6357 
189.70/190.38	v ~x2129 ~x3820 ~x5511 ~x1283 ~x2974 ~x4665 ~x8050 ~x440 ~x7204 ~x6358 
189.70/190.38	v ~x2130 ~x3821 ~x5512 ~x1284 ~x2975 ~x4666 ~x8051 ~x441 ~x7205 ~x6359 
189.70/190.38	v ~x2131 ~x3822 ~x5513 ~x1285 ~x2976 ~x4667 ~x8052 ~x442 ~x7206 ~x6360 
189.70/190.38	v ~x2132 ~x3823 ~x5514 ~x1286 ~x2977 ~x4668 ~x8053 ~x443 ~x7207 ~x6361 
189.70/190.38	v ~x2133 ~x3824 ~x5515 ~x1287 ~x2978 ~x4669 ~x8054 ~x444 ~x7208 ~x6362 
189.70/190.38	v ~x2134 ~x3825 ~x5516 ~x1288 ~x2979 ~x4670 ~x8055 ~x445 ~x7209 ~x6363 
189.70/190.38	v ~x2135 ~x3826 ~x5517 ~x1289 ~x2980 ~x4671 ~x8056 ~x446 ~x7210 ~x6364 
189.70/190.38	v ~x2136 ~x3827 ~x5518 ~x1290 ~x2981 ~x4672 ~x8057 ~x447 ~x7211 ~x6365 
189.70/190.38	v ~x2137 ~x3828 ~x5519 ~x1291 ~x2982 ~x4673 ~x8058 ~x448 ~x7212 ~x6366 
189.70/190.38	v ~x2138 ~x3829 ~x5520 ~x1292 ~x2983 ~x4674 ~x8059 ~x449 ~x7213 ~x6367 
189.70/190.38	v ~x2139 ~x3830 ~x5521 ~x1293 ~x2984 ~x4675 ~x8060 ~x450 ~x7214 ~x6368 
189.70/190.38	v ~x2140 ~x3831 ~x5522 ~x1294 ~x2985 ~x4676 ~x8061 ~x451 ~x7215 ~x6369 
189.70/190.38	v ~x2141 ~x3832 ~x5523 ~x1295 ~x2986 ~x4677 ~x8062 ~x452 ~x7216 ~x6370 
189.70/190.38	v ~x2142 ~x3833 ~x5524 ~x1296 ~x2987 ~x4678 ~x8063 ~x453 ~x7217 ~x6371 
189.70/190.38	v ~x2143 ~x3834 ~x5525 ~x1297 ~x2988 ~x4679 ~x8064 ~x454 ~x7218 ~x6372 
189.70/190.38	v ~x2144 ~x3835 ~x5526 ~x1298 ~x2989 ~x4680 ~x8065 ~x455 x7219 ~x6373 
189.70/190.38	v ~x2145 ~x3836 ~x5527 ~x1299 ~x2990 ~x4681 ~x8066 ~x456 ~x7220 ~x6374 
189.70/190.38	v ~x2146 ~x3837 ~x5528 ~x1300 ~x2991 ~x4682 ~x8067 ~x457 ~x7221 ~x6375 
189.70/190.38	v ~x2147 ~x3838 ~x5529 ~x1301 ~x2992 ~x4683 ~x8068 ~x458 ~x7222 ~x6376 
189.70/190.38	v ~x2148 ~x3839 ~x5530 ~x1302 ~x2993 ~x4684 ~x8069 ~x459 ~x7223 ~x6377 
189.70/190.38	v ~x2149 ~x3840 x5531 ~x1303 ~x2994 ~x4685 ~x8070 ~x460 ~x7224 ~x6378 
189.70/190.38	v ~x2150 ~x3841 ~x5532 ~x1304 ~x2995 ~x4686 ~x8071 ~x461 ~x7225 ~x6379 
189.70/190.38	v ~x2151 x3842 ~x5533 ~x1305 ~x2996 ~x4687 ~x8072 ~x462 ~x7226 ~x6380 
189.70/190.38	v ~x2152 ~x3843 ~x5534 ~x1306 ~x2997 ~x4688 ~x8073 ~x463 ~x7227 ~x6381 
189.70/190.38	v ~x2153 ~x3844 ~x5535 ~x1307 ~x2998 ~x4689 ~x8074 ~x464 ~x7228 ~x6382 
189.70/190.38	v ~x2154 ~x3845 ~x5536 ~x1308 ~x2999 ~x4690 ~x8075 ~x465 ~x7229 ~x6383 
189.70/190.38	v ~x2155 ~x3846 ~x5537 ~x1309 ~x3000 ~x4691 ~x8076 ~x466 ~x7230 ~x6384 
189.70/190.38	v ~x2156 ~x3847 ~x5538 ~x1310 ~x3001 ~x4692 ~x8077 ~x467 ~x7231 ~x6385 
189.70/190.38	v ~x2157 ~x3848 ~x5539 ~x1311 ~x3002 ~x4693 ~x8078 ~x468 ~x7232 ~x6386 
189.70/190.38	v ~x2158 ~x3849 ~x5540 ~x1312 ~x3003 ~x4694 ~x8079 ~x469 ~x7233 ~x6387 
189.70/190.38	v ~x2159 ~x3850 ~x5541 ~x1313 ~x3004 ~x4695 ~x8080 ~x470 ~x7234 ~x6388 
189.70/190.38	v ~x2160 ~x3851 ~x5542 ~x1314 ~x3005 ~x4696 ~x8081 ~x471 ~x7235 ~x6389 
189.70/190.38	v ~x2161 ~x3852 ~x5543 ~x1315 ~x3006 ~x4697 ~x8082 ~x472 ~x7236 ~x6390 
189.70/190.38	v ~x2162 ~x3853 ~x5544 ~x1316 ~x3007 ~x4698 ~x8083 x473 ~x7237 ~x6391 
189.70/190.38	v ~x2163 ~x3854 ~x5545 ~x1317 ~x3008 ~x4699 ~x8084 ~x474 ~x7238 ~x6392 
189.70/190.38	v ~x2164 ~x3855 ~x5546 ~x1318 ~x3009 ~x4700 ~x8085 ~x475 ~x7239 ~x6393 
189.70/190.38	v ~x2165 ~x3856 ~x5547 ~x1319 ~x3010 ~x4701 ~x8086 ~x476 ~x7240 ~x6394 
189.70/190.38	v ~x2166 ~x3857 ~x5548 ~x1320 ~x3011 ~x4702 ~x8087 ~x477 ~x7241 ~x6395 
189.70/190.38	v ~x2167 ~x3858 ~x5549 ~x1321 ~x3012 ~x4703 ~x8088 ~x478 ~x7242 ~x6396 
189.70/190.38	v ~x2168 ~x3859 ~x5550 ~x1322 ~x3013 ~x4704 ~x8089 ~x479 ~x7243 ~x6397 
189.70/190.38	v ~x2169 ~x3860 ~x5551 ~x1323 ~x3014 ~x4705 x8090 ~x480 ~x7244 ~x6398 
189.70/190.38	v x2170 ~x3861 ~x5552 ~x1324 ~x3015 ~x4706 ~x8091 ~x481 ~x7245 ~x6399 
189.70/190.38	v ~x2171 ~x3862 ~x5553 ~x1325 ~x3016 ~x4707 ~x8092 ~x482 ~x7246 ~x6400 
189.70/190.38	v ~x2172 ~x3863 ~x5554 ~x1326 ~x3017 ~x4708 ~x8093 ~x483 ~x7247 ~x6401 
189.70/190.38	v ~x2173 ~x3864 ~x5555 ~x1327 ~x3018 ~x4709 ~x8094 ~x484 ~x7248 ~x6402 
189.70/190.38	v ~x2174 ~x3865 ~x5556 ~x1328 ~x3019 ~x4710 ~x8095 ~x485 ~x7249 ~x6403 
189.70/190.38	v ~x2175 ~x3866 ~x5557 ~x1329 ~x3020 ~x4711 ~x8096 ~x486 ~x7250 ~x6404 
189.70/190.38	v ~x2176 ~x3867 ~x5558 ~x1330 ~x3021 ~x4712 ~x8097 ~x487 ~x7251 ~x6405 
189.70/190.38	v ~x2177 ~x3868 ~x5559 ~x1331 ~x3022 ~x4713 ~x8098 ~x488 ~x7252 ~x6406 
189.70/190.38	v ~x2178 ~x3869 ~x5560 ~x1332 ~x3023 ~x4714 ~x8099 ~x489 ~x7253 ~x6407 
189.70/190.38	v ~x2179 ~x3870 ~x5561 ~x1333 ~x3024 ~x4715 ~x8100 ~x490 ~x7254 ~x6408 
189.70/190.38	v ~x2180 ~x3871 ~x5562 x1334 ~x3025 ~x4716 ~x8101 ~x491 ~x7255 ~x6409 
189.70/190.38	v ~x2181 ~x3872 ~x5563 ~x1335 x3026 ~x4717 ~x8102 ~x492 ~x7256 x6410 
189.70/190.38	v ~x2182 ~x3873 ~x5564 ~x1336 ~x3027 ~x4718 ~x8103 ~x493 ~x7257 ~x6411 
189.70/190.38	v ~x2183 ~x3874 ~x5565 ~x1337 ~x3028 ~x4719 ~x8104 ~x494 ~x7258 ~x6412 
189.70/190.38	v ~x2184 ~x3875 ~x5566 ~x1338 ~x3029 ~x4720 ~x8105 ~x495 ~x7259 ~x6413 
189.70/190.38	v ~x3876 ~x5567 ~x1339 ~x3030 ~x4721 ~x8106 ~x496 ~x7260 ~x6414 ~x3877 
189.70/190.38	v ~x5568 ~x1340 ~x3031 ~x4722 ~x2185 ~x8107 ~x497 ~x7261 ~x6415 ~x3878 
189.70/190.38	v ~x5569 ~x1341 ~x3032 ~x4723 ~x2186 ~x8108 ~x498 ~x7262 ~x6416 ~x3879 
189.70/190.38	v ~x5570 ~x1342 ~x3033 ~x4724 ~x2187 ~x8109 ~x499 ~x7263 ~x6417 ~x3880 
189.70/190.38	v ~x5571 ~x1343 ~x3034 ~x4725 ~x2188 ~x8110 ~x500 ~x7264 ~x6418 ~x3881 
189.70/190.38	v ~x5572 ~x1344 ~x3035 ~x4726 ~x2189 ~x8111 ~x501 ~x7265 ~x6419 ~x3882 
189.70/190.38	v ~x5573 ~x1345 ~x3036 ~x4727 ~x2190 ~x8112 ~x502 ~x7266 ~x6420 ~x3883 
189.70/190.38	v ~x5574 ~x1346 ~x3037 ~x4728 ~x2191 ~x8113 ~x503 ~x7267 ~x6421 ~x3884 
189.70/190.38	v ~x5575 ~x1347 ~x3038 ~x4729 ~x2192 ~x8114 ~x504 ~x7268 ~x6422 ~x3885 
189.70/190.38	v ~x5576 ~x1348 ~x3039 ~x4730 ~x2193 ~x8115 ~x505 ~x7269 ~x6423 ~x3886 
189.70/190.38	v ~x5577 ~x1349 ~x3040 ~x4731 ~x2194 ~x8116 ~x506 ~x7270 ~x6424 ~x3887 
189.70/190.38	v ~x5578 ~x1350 ~x3041 ~x4732 ~x2195 ~x8117 ~x507 ~x7271 ~x6425 ~x3888 
189.70/190.38	v ~x5579 ~x1351 ~x3042 ~x4733 ~x2196 ~x8118 ~x508 ~x7272 ~x6426 ~x3889 
189.70/190.38	v ~x5580 ~x1352 ~x3043 ~x4734 ~x2197 ~x8119 ~x509 ~x7273 ~x6427 ~x3890 
189.70/190.38	v ~x5581 ~x1353 ~x3044 ~x4735 ~x2198 ~x8120 ~x510 ~x7274 ~x6428 ~x3891 
189.70/190.38	v ~x5582 ~x1354 ~x3045 ~x4736 ~x2199 ~x8121 ~x511 ~x7275 ~x6429 ~x3892 
189.70/190.38	v ~x5583 ~x1355 ~x3046 ~x4737 ~x2200 ~x8122 ~x512 ~x7276 ~x6430 ~x3893 
189.70/190.38	v ~x5584 ~x1356 ~x3047 ~x4738 ~x2201 ~x8123 ~x513 ~x7277 ~x6431 ~x3894 
189.70/190.38	v ~x5585 ~x1357 ~x3048 ~x4739 ~x2202 ~x8124 ~x514 ~x7278 ~x6432 ~x3895 
189.70/190.38	v ~x5586 ~x1358 ~x3049 ~x4740 ~x2203 ~x8125 ~x515 ~x7279 ~x6433 ~x3896 
189.70/190.38	v ~x5587 ~x1359 ~x3050 ~x4741 ~x2204 ~x8126 ~x516 ~x7280 ~x6434 ~x3897 
189.70/190.38	v ~x5588 ~x1360 ~x3051 ~x4742 ~x2205 x8127 ~x517 ~x7281 ~x6435 ~x3898 
189.70/190.38	v ~x5589 ~x1361 ~x3052 ~x4743 ~x2206 ~x8128 ~x518 ~x7282 ~x6436 ~x3899 
189.70/190.38	v ~x5590 ~x1362 ~x3053 ~x4744 ~x2207 ~x8129 ~x519 ~x7283 ~x6437 ~x3900 
189.70/190.38	v ~x5591 ~x1363 ~x3054 ~x4745 ~x2208 ~x8130 ~x520 ~x7284 ~x6438 ~x3901 
189.70/190.38	v ~x5592 ~x1364 ~x3055 ~x4746 ~x2209 ~x8131 ~x521 ~x7285 ~x6439 ~x3902 
189.70/190.38	v ~x5593 ~x1365 ~x3056 ~x4747 ~x2210 ~x8132 ~x522 ~x7286 ~x6440 ~x3903 
189.70/190.38	v ~x5594 ~x1366 ~x3057 ~x4748 ~x2211 ~x8133 ~x523 ~x7287 ~x6441 ~x3904 
189.70/190.38	v ~x5595 ~x1367 ~x3058 ~x4749 ~x2212 ~x8134 ~x524 ~x7288 ~x6442 ~x3905 
189.70/190.38	v ~x5596 ~x1368 ~x3059 ~x4750 ~x2213 ~x8135 ~x525 ~x7289 ~x6443 ~x3906 
189.70/190.38	v ~x5597 ~x1369 ~x3060 ~x4751 ~x2214 ~x8136 ~x526 ~x7290 ~x6444 ~x3907 
189.70/190.38	v ~x5598 ~x1370 ~x3061 ~x4752 ~x2215 ~x8137 ~x527 ~x7291 ~x6445 ~x3908 
189.70/190.38	v ~x5599 ~x1371 ~x3062 ~x4753 ~x2216 ~x8138 ~x528 ~x7292 ~x6446 ~x3909 
189.70/190.38	v ~x5600 ~x1372 ~x3063 ~x4754 ~x2217 ~x8139 ~x529 ~x7293 ~x6447 ~x3910 
189.70/190.38	v ~x5601 ~x1373 ~x3064 ~x4755 ~x2218 ~x8140 ~x530 ~x7294 ~x6448 ~x3911 
189.70/190.38	v ~x5602 ~x1374 ~x3065 ~x4756 ~x2219 ~x8141 ~x531 ~x7295 ~x6449 ~x3912 
189.70/190.38	v ~x5603 ~x1375 ~x3066 ~x4757 ~x2220 ~x8142 ~x532 ~x7296 ~x6450 ~x3913 
189.70/190.38	v ~x5604 ~x1376 ~x3067 ~x4758 ~x2221 ~x8143 ~x533 ~x7297 ~x6451 ~x3914 
189.70/190.38	v ~x5605 ~x1377 ~x3068 ~x4759 ~x2222 ~x8144 ~x534 ~x7298 ~x6452 ~x3915 
189.70/190.38	v ~x5606 ~x1378 ~x3069 ~x4760 ~x2223 ~x8145 ~x535 ~x7299 ~x6453 ~x3916 
189.70/190.38	v ~x5607 ~x1379 ~x3070 ~x4761 ~x2224 ~x8146 ~x536 ~x7300 ~x6454 x3917 
189.70/190.38	v ~x5608 ~x1380 ~x3071 ~x4762 ~x2225 ~x8147 ~x537 ~x7301 ~x6455 ~x3918 
189.70/190.38	v ~x5609 ~x1381 ~x3072 ~x4763 ~x2226 ~x8148 ~x538 ~x7302 ~x6456 ~x3919 
189.70/190.38	v ~x5610 ~x1382 ~x3073 ~x4764 ~x2227 ~x8149 ~x539 ~x7303 ~x6457 ~x3920 
189.70/190.38	v ~x5611 ~x1383 ~x3074 ~x4765 ~x2228 ~x8150 ~x540 ~x7304 ~x6458 ~x3921 
189.70/190.38	v ~x5612 ~x1384 ~x3075 ~x4766 ~x2229 ~x8151 ~x541 ~x7305 ~x6459 ~x3922 
189.70/190.38	v ~x5613 ~x1385 ~x3076 ~x4767 ~x2230 ~x8152 ~x542 ~x7306 ~x6460 ~x3923 
189.70/190.38	v ~x5614 ~x1386 ~x3077 ~x4768 ~x2231 ~x8153 ~x543 ~x7307 ~x6461 ~x3924 
189.70/190.38	v ~x5615 ~x1387 ~x3078 ~x4769 ~x2232 ~x8154 ~x544 ~x7308 ~x6462 ~x3925 
189.70/190.38	v ~x5616 ~x1388 ~x3079 ~x4770 ~x2233 ~x8155 ~x545 ~x7309 ~x6463 ~x3926 
189.70/190.38	v ~x5617 ~x1389 ~x3080 ~x4771 ~x2234 ~x8156 ~x546 ~x7310 ~x6464 ~x3927 
189.70/190.38	v ~x5618 ~x1390 ~x3081 ~x4772 ~x2235 ~x8157 ~x7311 ~x6465 ~x3928 ~x5619 
189.70/190.38	v ~x1391 ~x3082 ~x4773 ~x2236 ~x8158 ~x7312 ~x6466 ~x547 ~x3929 ~x5620 
189.70/190.38	v ~x1392 ~x3083 ~x4774 ~x2237 ~x8159 ~x7313 ~x6467 ~x548 ~x3930 ~x5621 
189.70/190.38	v ~x1393 ~x3084 ~x4775 ~x2238 ~x8160 ~x7314 ~x6468 ~x549 ~x3931 ~x5622 
189.70/190.38	v ~x1394 ~x3085 x4776 ~x2239 ~x8161 ~x7315 ~x6469 ~x550 ~x3932 ~x5623 
189.70/190.38	v ~x1395 ~x3086 ~x4777 ~x2240 ~x8162 ~x7316 ~x6470 ~x551 ~x3933 ~x5624 
189.70/190.38	v ~x1396 ~x3087 ~x4778 ~x2241 ~x8163 ~x7317 ~x6471 ~x552 ~x3934 ~x5625 
189.70/190.38	v ~x1397 ~x3088 ~x4779 ~x2242 ~x8164 ~x7318 ~x6472 ~x553 ~x3935 ~x5626 
189.70/190.38	v ~x1398 ~x3089 ~x4780 ~x2243 ~x8165 ~x7319 ~x6473 ~x554 ~x3936 ~x5627 
189.70/190.38	v ~x1399 ~x3090 ~x4781 ~x2244 ~x8166 ~x7320 ~x6474 ~x555 ~x3937 ~x5628 
189.70/190.38	v ~x1400 ~x3091 ~x4782 ~x2245 ~x8167 ~x7321 ~x6475 ~x556 ~x3938 ~x5629 
189.70/190.38	v ~x1401 ~x3092 ~x4783 ~x2246 ~x8168 ~x7322 ~x6476 ~x557 ~x3939 ~x5630 
189.70/190.38	v ~x1402 ~x3093 ~x4784 ~x2247 ~x8169 ~x7323 ~x6477 ~x558 ~x3940 ~x5631 
189.70/190.38	v ~x1403 ~x3094 ~x4785 ~x2248 ~x8170 ~x7324 ~x6478 ~x559 ~x3941 ~x5632 
189.70/190.38	v ~x1404 ~x3095 ~x4786 ~x2249 ~x8171 ~x7325 ~x6479 ~x560 ~x3942 ~x5633 
189.70/190.38	v ~x1405 ~x3096 ~x4787 ~x2250 ~x8172 ~x7326 ~x6480 ~x561 ~x3943 ~x5634 
189.70/190.38	v ~x1406 ~x3097 ~x4788 ~x2251 ~x8173 ~x7327 ~x6481 ~x562 ~x3944 ~x5635 
189.70/190.38	v ~x1407 ~x3098 ~x4789 ~x2252 ~x8174 ~x7328 ~x6482 ~x563 ~x3945 ~x5636 
189.70/190.38	v ~x1408 ~x3099 ~x4790 ~x2253 ~x8175 ~x7329 ~x6483 ~x564 ~x3946 ~x5637 
189.70/190.38	v ~x1409 ~x3100 ~x4791 ~x2254 ~x8176 ~x7330 ~x6484 ~x565 ~x3947 x5638 
189.70/190.38	v ~x1410 ~x3101 ~x4792 ~x2255 ~x8177 ~x7331 ~x6485 ~x566 ~x3948 ~x5639 
189.70/190.38	v ~x1411 ~x3102 ~x4793 ~x2256 ~x8178 ~x7332 ~x6486 ~x567 ~x3949 ~x5640 
189.70/190.38	v ~x1412 ~x3103 ~x4794 ~x2257 ~x8179 ~x7333 ~x6487 ~x568 ~x3950 ~x5641 
189.70/190.38	v ~x1413 ~x3104 ~x4795 ~x2258 ~x8180 ~x7334 ~x6488 ~x569 ~x3951 ~x5642 
189.70/190.38	v ~x1414 ~x3105 ~x4796 ~x2259 ~x8181 ~x7335 ~x6489 ~x570 ~x3952 ~x5643 
189.70/190.38	v ~x1415 ~x3106 ~x4797 ~x2260 ~x8182 ~x7336 ~x6490 ~x571 ~x3953 ~x5644 
189.70/190.38	v ~x1416 ~x3107 ~x4798 ~x2261 ~x8183 ~x7337 ~x6491 ~x572 ~x3954 ~x5645 
189.70/190.38	v ~x1417 ~x3108 ~x4799 ~x2262 ~x8184 ~x7338 ~x6492 ~x573 ~x3955 ~x5646 
189.70/190.38	v ~x1418 ~x3109 ~x4800 ~x2263 ~x8185 ~x7339 ~x6493 ~x574 ~x3956 ~x5647 
189.70/190.38	v ~x1419 ~x3110 ~x4801 ~x2264 ~x8186 ~x7340 ~x6494 ~x575 ~x3957 ~x5648 
189.70/190.38	v ~x1420 ~x3111 ~x4802 ~x2265 ~x8187 ~x7341 ~x6495 ~x576 ~x3958 ~x5649 
189.70/190.38	v ~x1421 ~x3112 ~x4803 ~x2266 ~x8188 ~x7342 ~x6496 ~x577 ~x3959 ~x5650 
189.70/190.38	v ~x1422 ~x3113 ~x4804 ~x2267 ~x8189 ~x7343 ~x6497 ~x578 ~x3960 ~x5651 
189.70/190.38	v ~x1423 ~x3114 ~x4805 ~x2268 ~x8190 ~x7344 ~x6498 ~x579 ~x3961 ~x5652 
189.70/190.38	v ~x1424 ~x3115 ~x4806 ~x2269 ~x8191 ~x7345 ~x6499 ~x580 ~x3962 ~x5653 
189.70/190.38	v ~x1425 ~x3116 ~x4807 ~x2270 ~x8192 ~x7346 ~x6500 ~x581 ~x3963 ~x5654 
189.70/190.38	v ~x1426 ~x3117 ~x4808 ~x2271 ~x8193 x7347 ~x6501 ~x582 ~x3964 ~x5655 
189.70/190.38	v ~x1427 ~x3118 ~x4809 ~x2272 ~x8194 ~x7348 ~x6502 ~x583 ~x3965 ~x5656 
189.70/190.38	v ~x1428 ~x3119 ~x4810 x2273 ~x8195 ~x7349 ~x6503 ~x584 ~x3966 ~x5657 
189.70/190.38	v ~x1429 ~x3120 ~x4811 ~x2274 ~x8196 ~x7350 ~x6504 ~x585 ~x3967 ~x5658 
189.70/190.38	v ~x1430 ~x3121 ~x4812 ~x2275 ~x8197 ~x7351 ~x6505 ~x586 ~x3968 ~x5659 
189.70/190.38	v ~x1431 ~x3122 ~x4813 ~x2276 ~x8198 ~x7352 ~x6506 ~x587 ~x3969 ~x5660 
189.70/190.38	v ~x1432 ~x3123 ~x4814 ~x2277 ~x8199 ~x7353 ~x6507 ~x588 ~x3970 ~x5661 
189.70/190.38	v ~x1433 ~x3124 ~x4815 ~x2278 ~x8200 ~x7354 ~x6508 ~x589 ~x3971 ~x5662 
189.70/190.38	v ~x1434 ~x3125 ~x4816 ~x2279 ~x8201 ~x7355 ~x6509 ~x590 ~x3972 ~x5663 
189.70/190.38	v ~x1435 ~x3126 ~x4817 ~x2280 ~x8202 ~x7356 ~x6510 ~x591 ~x3973 ~x5664 
189.70/190.38	v ~x1436 ~x3127 ~x4818 ~x2281 ~x8203 ~x7357 ~x6511 ~x592 ~x3974 ~x5665 
189.70/190.38	v ~x1437 ~x3128 ~x4819 ~x2282 ~x8204 ~x7358 ~x6512 ~x593 ~x3975 ~x5666 
189.70/190.38	v ~x1438 ~x3129 ~x4820 ~x2283 ~x8205 ~x7359 ~x6513 ~x594 ~x3976 x5667 
189.70/190.38	v ~x1439 ~x3130 ~x4821 ~x2284 ~x8206 ~x7360 ~x6514 ~x595 ~x3977 ~x5668 
189.70/190.38	v ~x1440 ~x3131 ~x4822 ~x2285 ~x8207 ~x7361 ~x6515 ~x596 ~x3978 ~x5669 
189.70/190.38	v ~x1441 ~x3132 ~x4823 ~x2286 ~x8208 ~x7362 ~x6516 ~x597 ~x3979 ~x5670 
189.70/190.38	v ~x1442 ~x3133 ~x4824 ~x2287 ~x8209 ~x7363 ~x6517 ~x598 ~x3980 ~x5671 
189.70/190.38	v ~x1443 ~x3134 ~x4825 ~x2288 ~x8210 ~x7364 ~x6518 ~x599 ~x3981 ~x5672 
189.70/190.38	v ~x1444 ~x3135 ~x4826 ~x2289 ~x8211 ~x7365 ~x6519 ~x600 ~x3982 ~x5673 
189.70/190.38	v x1445 ~x3136 ~x4827 ~x2290 ~x8212 ~x7366 ~x6520 ~x601 ~x3983 ~x5674 
189.70/190.38	v ~x1446 ~x3137 ~x4828 ~x2291 ~x8213 ~x7367 ~x6521 ~x602 ~x3984 ~x5675 
189.70/190.38	v ~x1447 ~x3138 ~x4829 ~x2292 ~x8214 ~x7368 ~x6522 ~x603 ~x3985 ~x5676 
189.70/190.38	v ~x1448 ~x3139 ~x4830 ~x2293 ~x8215 ~x7369 ~x6523 ~x604 ~x3986 ~x5677 
189.70/190.38	v ~x1449 ~x3140 ~x4831 ~x2294 ~x8216 ~x7370 ~x6524 ~x605 ~x3987 ~x5678 
189.70/190.38	v ~x1450 ~x3141 ~x4832 ~x2295 ~x8217 ~x7371 ~x6525 ~x606 ~x3988 ~x5679 
189.70/190.38	v ~x1451 ~x3142 ~x4833 ~x2296 ~x8218 x7372 x6526 ~x607 ~x3989 ~x5680 
189.70/190.38	v ~x1452 ~x3143 ~x4834 ~x2297 ~x8219 ~x7373 ~x6527 ~x608 ~x3990 ~x5681 
189.70/190.38	v ~x1453 ~x3144 ~x4835 ~x2298 ~x8220 ~x7374 ~x6528 ~x609 ~x3991 ~x5682 
189.70/190.38	v ~x1454 ~x3145 ~x4836 ~x2299 ~x8221 ~x7375 ~x6529 ~x610 ~x3992 ~x5683 
189.70/190.38	v ~x1455 ~x3146 ~x4837 ~x2300 ~x8222 ~x7376 ~x6530 ~x611 ~x3993 ~x5684 
189.70/190.38	v ~x1456 ~x3147 ~x4838 ~x2301 ~x8223 ~x7377 ~x6531 ~x612 ~x3994 ~x5685 
189.70/190.38	v ~x1457 ~x3148 ~x4839 ~x2302 ~x8224 ~x7378 ~x6532 ~x613 ~x3995 ~x5686 
189.70/190.38	v ~x1458 ~x3149 ~x4840 ~x2303 ~x8225 ~x7379 ~x6533 ~x614 ~x3996 ~x5687 
189.70/190.38	v ~x1459 ~x3150 ~x4841 ~x2304 ~x8226 ~x7380 ~x6534 ~x615 ~x3997 ~x5688 
189.70/190.38	v ~x1460 ~x3151 ~x4842 ~x2305 ~x8227 ~x7381 ~x6535 ~x616 ~x3998 ~x5689 
189.70/190.38	v ~x1461 ~x3152 ~x4843 ~x2306 ~x8228 ~x7382 ~x6536 ~x617 ~x3999 ~x5690 
189.70/190.38	v ~x1462 ~x3153 ~x4844 ~x2307 ~x8229 ~x7383 ~x6537 ~x618 ~x4000 ~x5691 
189.70/190.38	v ~x1463 ~x3154 ~x4845 ~x2308 ~x8230 ~x7384 ~x6538 ~x619 ~x4001 ~x5692 
189.70/190.38	v ~x1464 ~x3155 ~x4846 ~x2309 ~x8231 ~x7385 ~x6539 ~x620 ~x4002 ~x5693 
189.70/190.38	v ~x1465 ~x3156 ~x4847 ~x2310 ~x8232 ~x7386 ~x6540 ~x621 ~x4003 ~x5694 
189.70/190.38	v ~x1466 ~x3157 ~x4848 ~x2311 ~x8233 ~x7387 ~x6541 ~x622 ~x4004 ~x5695 
189.70/190.38	v ~x1467 ~x3158 ~x4849 ~x2312 ~x8234 ~x7388 ~x6542 ~x623 ~x4005 ~x5696 
189.70/190.38	v ~x1468 ~x3159 ~x4850 ~x2313 ~x8235 ~x7389 ~x6543 x624 ~x4006 ~x5697 
189.70/190.38	v ~x1469 ~x3160 ~x4851 x2314 ~x8236 ~x7390 ~x6544 ~x625 ~x4007 ~x5698 
189.70/190.38	v ~x1470 ~x3161 ~x4852 ~x2315 ~x8237 ~x7391 ~x6545 ~x626 ~x4008 ~x5699 
189.70/190.38	v ~x1471 ~x3162 ~x4853 ~x2316 ~x8238 ~x7392 ~x6546 ~x627 ~x4009 ~x5700 
189.70/190.38	v ~x1472 ~x3163 ~x4854 ~x2317 ~x8239 ~x7393 ~x6547 ~x628 ~x4010 ~x5701 
189.70/190.38	v ~x1473 x3164 ~x4855 ~x2318 ~x8240 ~x7394 ~x6548 ~x629 ~x4011 ~x5702 
189.70/190.38	v ~x1474 ~x3165 ~x4856 ~x2319 ~x8241 ~x7395 ~x6549 ~x630 ~x4012 ~x5703 
189.70/190.38	v ~x1475 ~x3166 ~x4857 ~x2320 ~x8242 ~x7396 ~x6550 ~x631 ~x4013 ~x5704 
189.70/190.38	v ~x1476 ~x3167 ~x4858 ~x2321 x8243 ~x7397 ~x6551 ~x632 ~x4014 ~x5705 
189.70/190.38	v ~x1477 ~x3168 ~x4859 ~x2322 ~x8244 ~x7398 ~x6552 ~x633 ~x4015 ~x5706 
189.70/190.38	v ~x1478 ~x3169 ~x4860 ~x2323 ~x8245 ~x7399 ~x6553 ~x634 ~x4016 ~x5707 
189.70/190.38	v ~x1479 ~x3170 ~x4861 ~x2324 ~x8246 ~x7400 ~x6554 ~x635 ~x4017 ~x5708 
189.70/190.38	v ~x1480 ~x3171 ~x4862 ~x2325 ~x8247 ~x7401 ~x6555 ~x636 ~x4018 ~x5709 
189.70/190.38	v ~x1481 ~x3172 ~x4863 ~x2326 ~x8248 ~x7402 ~x6556 ~x637 ~x4019 ~x5710 
189.70/190.38	v ~x1482 ~x3173 ~x4864 ~x2327 ~x8249 ~x7403 ~x6557 ~x638 ~x4020 ~x5711 
189.70/190.38	v ~x1483 ~x3174 ~x4865 ~x2328 ~x8250 ~x7404 ~x6558 ~x639 ~x4021 ~x5712 
189.70/190.38	v ~x1484 ~x3175 ~x4866 ~x2329 ~x8251 ~x7405 ~x6559 ~x640 ~x4022 ~x5713 
189.70/190.38	v ~x1485 ~x3176 ~x4867 ~x2330 ~x8252 ~x7406 ~x6560 ~x641 ~x4023 ~x5714 
189.70/190.38	v ~x1486 ~x3177 ~x4868 ~x2331 ~x8253 ~x7407 ~x6561 ~x642 ~x4024 ~x5715 
189.70/190.38	v ~x1487 ~x3178 ~x4869 ~x2332 ~x8254 ~x7408 ~x6562 ~x643 ~x4025 ~x5716 
189.70/190.38	v ~x1488 ~x3179 ~x4870 ~x2333 ~x8255 ~x7409 ~x6563 ~x644 ~x4026 ~x5717 
189.70/190.38	v ~x1489 ~x3180 ~x4871 ~x2334 ~x8256 ~x7410 ~x6564 ~x645 ~x4027 ~x5718 
189.70/190.38	v ~x1490 ~x3181 ~x4872 ~x2335 ~x8257 ~x7411 ~x6565 ~x646 ~x4028 ~x5719 
189.70/190.38	v ~x1491 ~x3182 ~x4873 ~x2336 ~x8258 ~x7412 ~x6566 ~x647 ~x4029 ~x5720 
189.70/190.38	v ~x1492 ~x3183 ~x4874 ~x2337 ~x8259 ~x7413 ~x6567 ~x648 ~x4030 ~x5721 
189.70/190.38	v x1493 ~x3184 ~x4875 ~x2338 ~x8260 ~x7414 ~x6568 ~x649 ~x4031 ~x5722 
189.70/190.38	v ~x1494 ~x3185 ~x4876 ~x2339 ~x8261 ~x7415 ~x6569 ~x650 ~x4032 ~x5723 
189.70/190.38	v ~x1495 ~x3186 ~x4877 ~x2340 ~x8262 ~x7416 ~x6570 ~x651 ~x4033 ~x5724 
189.70/190.38	v ~x1496 ~x3187 ~x4878 ~x2341 ~x8263 ~x7417 ~x6571 ~x652 ~x4034 ~x5725 
189.70/190.38	v ~x1497 ~x3188 ~x4879 ~x2342 ~x8264 ~x7418 ~x6572 ~x653 ~x4035 ~x5726 
189.70/190.38	v ~x1498 ~x3189 ~x4880 ~x2343 ~x8265 ~x7419 ~x6573 ~x654 ~x4036 ~x5727 
189.70/190.38	v ~x1499 ~x3190 ~x4881 ~x2344 ~x8266 ~x7420 ~x6574 ~x655 ~x4037 ~x5728 
189.70/190.38	v ~x1500 ~x3191 ~x4882 ~x2345 ~x8267 ~x7421 ~x6575 ~x656 ~x4038 ~x5729 
189.70/190.38	v ~x1501 ~x3192 ~x4883 ~x2346 ~x8268 ~x7422 ~x6576 ~x657 ~x4039 ~x5730 
189.70/190.38	v ~x1502 ~x3193 ~x4884 ~x2347 ~x8269 ~x7423 ~x6577 ~x658 ~x4040 ~x5731 
189.70/190.38	v ~x1503 ~x3194 ~x4885 ~x2348 ~x8270 ~x7424 ~x6578 ~x659 ~x4041 ~x5732 
189.70/190.38	v ~x1504 ~x3195 ~x4886 ~x2349 ~x8271 ~x7425 ~x6579 ~x660 ~x4042 ~x5733 
189.70/190.38	v ~x1505 ~x3196 ~x4887 ~x2350 ~x8272 ~x7426 ~x6580 ~x661 ~x4043 ~x5734 
189.70/190.38	v ~x1506 ~x3197 ~x4888 ~x2351 ~x8273 ~x7427 ~x6581 ~x662 ~x4044 ~x5735 
189.70/190.38	v ~x1507 ~x3198 ~x4889 ~x2352 ~x8274 ~x7428 ~x6582 ~x663 ~x4045 ~x5736 
189.70/190.38	v ~x1508 ~x3199 ~x4890 ~x2353 ~x8275 ~x7429 ~x6583 ~x664 ~x4046 ~x5737 
189.70/190.38	v ~x1509 ~x3200 ~x4891 ~x2354 ~x8276 ~x7430 ~x6584 ~x665 ~x4047 ~x5738 
189.70/190.38	v ~x1510 ~x3201 ~x4892 ~x2355 ~x8277 ~x7431 ~x6585 ~x666 ~x4048 ~x5739 
189.70/190.38	v ~x1511 ~x3202 ~x4893 ~x2356 ~x8278 ~x7432 ~x6586 ~x667 ~x4049 ~x5740 
189.70/190.38	v ~x1512 ~x3203 ~x4894 ~x2357 ~x8279 ~x7433 ~x6587 ~x668 ~x4050 ~x5741 
189.70/190.38	v ~x1513 ~x3204 ~x4895 ~x2358 ~x8280 ~x7434 ~x6588 ~x669 ~x4051 ~x5742 
189.70/190.38	v ~x1514 ~x3205 ~x4896 ~x2359 ~x8281 ~x7435 ~x6589 ~x670 ~x4052 ~x5743 
189.70/190.38	v ~x1515 ~x3206 ~x4897 ~x2360 ~x7436 ~x6590 ~x671 ~x4053 ~x5744 ~x1516 
189.70/190.38	v ~x3207 ~x4898 ~x2361 ~x7437 ~x6591 ~x672 ~x4054 ~x5745 ~x1517 ~x3208 
189.70/190.38	v ~x4899 ~x2362 ~x7438 ~x6592 ~x673 ~x4055 ~x5746 ~x1518 ~x3209 ~x4900 
189.70/190.38	v ~x2363 ~x7439 ~x6593 ~x674 ~x4056 ~x5747 ~x1519 ~x3210 ~x4901 ~x2364 
189.70/190.38	v ~x7440 ~x6594 ~x675 ~x4057 ~x5748 ~x1520 ~x3211 ~x4902 ~x2365 ~x7441 
189.70/190.38	v ~x6595 ~x676 ~x4058 ~x5749 ~x1521 ~x3212 ~x4903 ~x2366 ~x7442 ~x6596 
189.70/190.38	v ~x677 ~x4059 ~x5750 ~x1522 ~x3213 x4904 ~x2367 ~x7443 ~x6597 ~x678 
189.70/190.38	v ~x4060 ~x5751 ~x1523 ~x3214 ~x4905 ~x2368 ~x7444 ~x6598 ~x679 ~x4061 
189.70/190.38	v ~x5752 ~x1524 ~x3215 ~x4906 ~x2369 ~x7445 ~x6599 ~x680 ~x4062 ~x5753 
189.70/190.38	v ~x1525 ~x3216 ~x4907 ~x2370 ~x7446 ~x6600 ~x681 ~x4063 ~x5754 ~x1526 
189.70/190.38	v ~x3217 ~x4908 x2371 ~x7447 ~x6601 ~x682 ~x4064 ~x5755 ~x1527 ~x3218 
189.70/190.38	v ~x4909 ~x2372 ~x7448 ~x6602 ~x683 ~x4065 ~x5756 ~x1528 ~x3219 ~x4910 
189.70/190.38	v ~x2373 ~x7449 ~x6603 ~x684 ~x4066 ~x5757 ~x1529 ~x3220 ~x4911 ~x2374 
189.70/190.38	v ~x7450 ~x6604 ~x685 ~x4067 ~x5758 ~x1530 x3221 ~x4912 ~x2375 ~x7451 
189.70/190.38	v ~x6605 ~x686 ~x4068 ~x5759 ~x1531 ~x3222 ~x4913 ~x2376 ~x7452 ~x6606 
189.70/190.38	v ~x687 ~x4069 ~x5760 ~x1532 ~x3223 ~x4914 ~x2377 ~x7453 ~x6607 ~x688 
189.70/190.38	v ~x4070 ~x5761 ~x1533 ~x3224 ~x4915 ~x2378 ~x7454 ~x6608 ~x689 ~x4071 
189.70/190.38	v ~x5762 ~x1534 ~x3225 ~x4916 ~x2379 ~x7455 ~x6609 ~x690 ~x4072 ~x5763 
189.70/190.38	v ~x1535 ~x3226 ~x4917 ~x2380 ~x7456 ~x6610 ~x691 ~x4073 ~x5764 ~x1536 
189.70/190.38	v ~x3227 ~x4918 ~x2381 ~x7457 ~x6611 ~x692 ~x4074 ~x5765 ~x1537 ~x3228 
189.70/190.38	v ~x4919 ~x2382 ~x7458 ~x6612 ~x693 ~x4075 ~x5766 ~x1538 ~x3229 ~x4920 
189.70/190.38	v ~x2383 ~x7459 ~x6613 ~x694 ~x4076 ~x5767 ~x1539 ~x3230 x4921 ~x2384 
189.70/190.38	v ~x7460 ~x6614 ~x695 ~x4077 ~x5768 ~x1540 ~x3231 ~x4922 ~x2385 ~x7461 
189.70/190.38	v ~x6615 ~x696 ~x4078 ~x5769 ~x1541 ~x3232 ~x4923 ~x2386 ~x7462 ~x6616 
189.70/190.38	v ~x697 ~x4079 ~x5770 ~x1542 ~x3233 ~x4924 ~x2387 ~x7463 ~x6617 ~x698 
189.70/190.38	v ~x4080 ~x5771 ~x1543 ~x3234 ~x4925 ~x2388 ~x7464 ~x6618 ~x699 ~x4081 
189.70/190.38	v ~x5772 ~x1544 ~x3235 ~x4926 ~x2389 ~x7465 ~x6619 ~x700 ~x4082 ~x5773 
189.70/190.38	v ~x1545 ~x3236 ~x4927 ~x2390 ~x7466 ~x6620 ~x701 ~x4083 ~x5774 ~x1546 
189.70/190.38	v ~x3237 ~x4928 ~x2391 ~x7467 ~x6621 ~x702 ~x4084 ~x5775 ~x1547 ~x3238 
189.70/190.38	v ~x4929 ~x2392 ~x7468 ~x6622 ~x703 ~x4085 ~x5776 ~x1548 ~x3239 ~x4930 
189.70/190.38	v ~x2393 ~x7469 ~x6623 ~x704 ~x4086 ~x5777 ~x1549 ~x3240 ~x4931 ~x2394 
189.70/190.38	v ~x7470 ~x6624 ~x4087 ~x705 ~x5778 ~x3241 ~x1550 ~x4932 ~x2395 ~x7471 
189.70/190.38	v ~x6625 ~x706 ~x4088 ~x5779 ~x1551 ~x3242 ~x4933 ~x2396 ~x7472 ~x6626 
189.70/190.38	v ~x707 ~x4089 ~x5780 ~x1552 ~x3243 ~x4934 ~x2397 ~x7473 ~x6627 ~x708 
189.70/190.38	v ~x4090 ~x5781 ~x1553 ~x3244 ~x4935 ~x2398 ~x7474 ~x6628 ~x709 ~x4091 
189.70/190.38	v ~x5782 ~x1554 ~x3245 ~x4936 ~x2399 ~x7475 ~x6629 ~x710 ~x4092 ~x5783 
189.70/190.38	v ~x1555 ~x3246 ~x4937 ~x2400 ~x7476 ~x6630 ~x711 ~x4093 ~x5784 ~x1556 
189.70/190.38	v ~x3247 ~x4938 ~x2401 ~x7477 ~x6631 ~x712 x4094 x5785 ~x1557 ~x3248 
189.70/190.38	v ~x4939 ~x2402 ~x7478 ~x6632 ~x713 ~x4095 ~x5786 ~x1558 ~x3249 ~x4940 
189.70/190.38	v ~x2403 ~x7479 ~x6633 ~x714 ~x4096 ~x5787 ~x1559 ~x3250 ~x4941 ~x2404 
189.70/190.38	v ~x7480 ~x6634 ~x715 ~x4097 ~x5788 ~x1560 ~x3251 ~x4942 ~x2405 ~x7481 
189.70/190.38	v ~x6635 ~x716 ~x4098 ~x5789 ~x1561 ~x3252 ~x4943 ~x2406 ~x7482 ~x6636 
189.70/190.38	v ~x717 ~x4099 ~x5790 ~x1562 ~x3253 ~x4944 ~x2407 ~x7483 ~x6637 ~x718 
189.70/190.38	v ~x4100 ~x5791 ~x1563 ~x3254 ~x4945 ~x2408 ~x7484 x6638 ~x719 ~x4101 
189.70/190.38	v ~x5792 ~x1564 ~x3255 ~x4946 ~x2409 ~x7485 ~x6639 x720 ~x4102 ~x5793 
189.70/190.38	v ~x1565 ~x3256 ~x4947 ~x2410 ~x7486 ~x6640 ~x721 ~x4103 ~x5794 ~x1566 
189.70/190.38	v ~x3257 ~x4948 ~x2411 ~x7487 ~x6641 ~x722 ~x4104 ~x5795 ~x1567 ~x3258 
189.70/190.38	v ~x4949 ~x2412 ~x7488 ~x6642 ~x723 ~x4105 ~x5796 ~x1568 ~x3259 ~x4950 
189.70/190.38	v ~x2413 ~x7489 ~x6643 ~x724 ~x4106 ~x5797 ~x1569 ~x3260 ~x4951 ~x2414 
189.70/190.38	v ~x7490 ~x6644 ~x725 ~x4107 ~x5798 ~x1570 ~x3261 ~x4952 ~x2415 ~x7491 
189.70/190.38	v ~x6645 ~x726 ~x4108 ~x5799 ~x1571 ~x3262 ~x4953 ~x2416 ~x7492 ~x6646 
189.70/190.38	v ~x727 ~x4109 ~x5800 ~x1572 ~x3263 ~x4954 ~x2417 ~x7493 ~x6647 ~x728 
189.70/190.38	v ~x4110 ~x5801 ~x1573 ~x3264 ~x4955 ~x2418 ~x7494 ~x6648 ~x729 ~x4111 
189.70/190.38	v ~x5802 ~x1574 ~x3265 ~x4956 ~x2419 ~x7495 ~x6649 ~x730 ~x4112 ~x5803 
189.70/190.38	v ~x1575 ~x3266 ~x4957 ~x2420 ~x7496 ~x6650 ~x731 ~x4113 ~x5804 ~x1576 
189.70/190.38	v ~x3267 ~x4958 ~x2421 ~x7497 ~x6651 ~x732 ~x4114 ~x5805 ~x1577 ~x3268 
189.70/190.38	v ~x4959 ~x2422 ~x7498 ~x6652 ~x733 ~x4115 ~x5806 ~x1578 ~x3269 ~x4960 
189.70/190.38	v ~x2423 ~x7499 ~x6653 ~x734 ~x4116 ~x5807 ~x1579 ~x3270 ~x4961 ~x2424 
189.70/190.38	v ~x7500 ~x6654 ~x735 ~x4117 ~x5808 ~x1580 ~x3271 ~x4962 ~x2425 ~x7501 
189.70/190.38	v ~x6655 ~x736 ~x4118 ~x5809 ~x1581 ~x3272 ~x4963 ~x2426 ~x7502 ~x6656 
189.70/190.38	v ~x737 ~x4119 ~x5810 ~x1582 ~x3273 ~x4964 ~x2427 ~x7503 ~x6657 ~x738 
189.70/190.38	v ~x4120 ~x5811 ~x1583 ~x3274 ~x4965 ~x2428 ~x7504 ~x6658 ~x739 ~x4121 
189.70/190.38	v ~x5812 ~x1584 ~x3275 ~x4966 ~x2429 ~x7505 ~x6659 ~x740 ~x4122 ~x5813 
189.70/190.38	v ~x1585 ~x3276 ~x4967 ~x2430 ~x7506 x6660 ~x741 ~x4123 ~x5814 ~x1586 
189.70/190.38	v ~x3277 ~x4968 ~x2431 ~x7507 ~x6661 ~x742 ~x4124 ~x5815 ~x1587 ~x3278 
189.70/190.38	v ~x4969 ~x2432 ~x7508 ~x6662 ~x743 ~x4125 ~x5816 ~x1588 ~x3279 ~x4970 
189.70/190.38	v ~x2433 ~x7509 ~x6663 ~x744 ~x4126 ~x5817 ~x1589 ~x3280 ~x4971 ~x2434 
189.70/190.38	v ~x7510 ~x6664 ~x745 ~x4127 ~x5818 ~x1590 ~x3281 ~x4972 ~x2435 ~x7511 
189.70/190.38	v ~x6665 ~x746 ~x4128 ~x5819 ~x1591 ~x3282 ~x4973 ~x2436 x7512 ~x6666 
189.70/190.38	v ~x747 ~x4129 ~x5820 ~x1592 ~x3283 ~x4974 ~x2437 ~x7513 ~x6667 ~x748 
189.70/190.38	v ~x4130 ~x5821 ~x1593 ~x3284 ~x4975 ~x2438 ~x7514 ~x6668 ~x749 ~x4131 
189.70/190.38	v ~x5822 ~x1594 ~x3285 ~x4976 ~x2439 ~x7515 ~x6669 ~x750 ~x4132 ~x5823 
189.70/190.38	v ~x1595 ~x3286 ~x4977 ~x2440 ~x7516 ~x6670 ~x751 ~x4133 ~x5824 ~x1596 
189.70/190.38	v ~x3287 ~x4978 ~x2441 ~x7517 ~x6671 ~x752 ~x4134 ~x5825 ~x1597 ~x3288 
189.70/190.38	v ~x4979 

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: 63931 MiB (59187 MiB free)
  memory of node 1: 64510 MiB (60674 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443022-1721309774/watcher-4443022-1721309774 -o /tmp/evaluation-result-4443022-1721309774/solver-4443022-1721309774 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721306176-984428 --watchdog 3760 pb_picat HOME/instance-4443022-1721309774.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100095 s]*
/proc/loadavg: 4.14 4.15 4.06 5/255 986534
/proc/meminfo: memFree=122682264/131524600 swapFree=131071996/131071996
[pid=986533] ppid=986530 vsize=2033608 memory=41612 CPUtime=0.09 cores=1,3
/proc/986533/stat : 986533 (pb_picat) R 986530 986533 984416 0 -1 4194304 894 0 0 0 9 0 0 0 20 0 1 0 183142755 2082414592 10403 134679101440 4194304 5989780 140736998777856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47038464 140736998786072 140736998786148 140736998786148 140736998793164 0
/proc/986533/statm: 508402 10403 1513 439 0 503831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 41612 KiB

[startup+0.205536 s]*
/proc/loadavg: 4.14 4.15 4.06 5/255 986534
/proc/meminfo: memFree=122614432/131524600 swapFree=131071996/131071996
[pid=986533] ppid=986530 vsize=2061276 memory=82040 CPUtime=0.2 cores=1,3
/proc/986533/stat : 986533 (pb_picat) R 986530 986533 984416 0 -1 4194304 5238 0 0 0 19 1 0 0 20 0 1 0 183142755 2110746624 20510 134679101440 4194304 5989780 140736998777856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47038464 140736998786072 140736998786148 140736998786148 140736998793164 0
/proc/986533/statm: 515319 20510 1561 439 0 510748 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2061276 KiB
Current children cumulated memory: 82040 KiB

[startup+0.305541 s]*
/proc/loadavg: 4.14 4.15 4.06 5/255 986534
/proc/meminfo: memFree=122547292/131524600 swapFree=131071996/131071996
[pid=986533] ppid=986530 vsize=2105692 memory=120492 CPUtime=0.3 cores=1,3
/proc/986533/stat : 986533 (pb_picat) R 986530 986533 984416 0 -1 4194304 8340 0 0 0 28 2 0 0 20 0 1 0 183142755 2156228608 30123 134679101440 4194304 5989780 140736998777856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47038464 140736998786072 140736998786148 140736998786148 140736998793164 0
/proc/986533/statm: 526423 30123 1561 439 0 521852 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2105692 KiB
Current children cumulated memory: 120492 KiB

[startup+0.700203 s]
/proc/loadavg: 4.14 4.15 4.06 5/255 986534
/proc/meminfo: memFree=122362112/131524600 swapFree=131071996/131071996
[pid=986533] ppid=986530 vsize=2318940 memory=280096 CPUtime=0.69 cores=1,3
/proc/986533/stat : 986533 (pb_picat) R 986530 986533 984416 0 -1 4194304 14596 0 0 0 63 6 0 0 20 0 1 0 183142755 2374594560 70024 134679101440 4194304 5989780 140736998777856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47038464 140736998786072 140736998786148 140736998786148 140736998793164 0
/proc/986533/statm: 579735 70024 1561 439 0 575164 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2318940 KiB
Current children cumulated memory: 280096 KiB

[startup+1.50025 s]
/proc/loadavg: 4.14 4.15 4.06 5/255 986534
/proc/meminfo: memFree=121940012/131524600 swapFree=131071996/131071996
[pid=986533] ppid=986530 vsize=2865124 memory=536480 CPUtime=1.48 cores=1,3
/proc/986533/stat : 986533 (pb_picat) R 986530 986533 984416 0 -1 4194304 21325 0 0 0 137 11 0 0 20 0 1 0 183142755 2933886976 134120 134679101440 4194304 5989780 140736998777856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47038464 140736998786072 140736998786148 140736998786148 140736998793164 0
/proc/986533/statm: 716281 134120 1653 439 0 711710 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2865124 KiB
Current children cumulated memory: 536480 KiB

[startup+3.10544 s]
/proc/loadavg: 4.14 4.15 4.06 5/255 986626
/proc/meminfo: memFree=121179716/131524600 swapFree=131071996/131071996
[pid=986533] ppid=986530 vsize=2868872 memory=581988 CPUtime=3.08 cores=1,3
/proc/986533/stat : 986533 (pb_picat) R 986530 986533 984416 0 -1 4194304 22703 0 0 0 296 12 0 0 20 0 1 0 183142755 2937724928 145497 134679101440 4194304 5989780 140736998777856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47038464 140736998786072 140736998786148 140736998786148 140736998793164 0
/proc/986533/statm: 717218 145497 1668 439 0 712647 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2868872 KiB
Current children cumulated memory: 581988 KiB

[startup+6.30024 s]
/proc/loadavg: 4.13 4.14 4.06 5/255 986626
/proc/meminfo: memFree=119604708/131524600 swapFree=131071996/131071996
[pid=986533] ppid=986530 vsize=2876372 memory=671572 CPUtime=6.28 cores=1,3
/proc/986533/stat : 986533 (pb_picat) R 986530 986533 984416 0 -1 4194304 34643 0 0 0 611 17 0 0 20 0 1 0 183142755 2945404928 167893 134679101440 4194304 5989780 140736998777856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47038464 140736998786072 140736998786148 140736998786148 140736998793164 0
/proc/986533/statm: 719093 167893 1668 439 0 714522 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2876372 KiB
Current children cumulated memory: 671572 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.14 4.06 5/255 986674
/proc/meminfo: memFree=118940952/131524600 swapFree=131071996/131071996
[pid=986533] ppid=986530 vsize=2500236 memory=468636 CPUtime=12.65 cores=1,3
/proc/986533/stat : 986533 (pb_picat) R 986530 986533 984416 0 -1 4194304 36904 0 0 0 1246 19 0 0 20 0 1 0 183142755 2560241664 117159 134679101440 4194304 5989780 140736998777856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47038464 140736998786072 140736998786148 140736998786148 140736998793164 0
/proc/986533/statm: 625059 117159 1668 439 0 620488 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2500236 KiB
Current children cumulated memory: 468636 KiB

[startup+25.5003 s]
/proc/loadavg: 4.09 4.13 4.06 5/255 986675
/proc/meminfo: memFree=117932668/131524600 swapFree=131071996/131071996
[pid=986533] ppid=986530 vsize=2894468 memory=624452 CPUtime=25.42 cores=1,3
/proc/986533/stat : 986533 (pb_picat) R 986530 986533 984416 0 -1 4194304 41743 0 0 0 2511 31 0 0 20 0 1 0 183142755 2963935232 156113 134679101440 4194304 5989780 140736998777856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47038464 140736998786072 140736998786148 140736998786148 140736998793164 0
/proc/986533/statm: 723617 156113 1668 439 0 719046 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2894468 KiB
Current children cumulated memory: 624452 KiB

[startup+51.1054 s]
/proc/loadavg: 4.12 4.14 4.06 5/255 986680
/proc/meminfo: memFree=117605024/131524600 swapFree=131071996/131071996
[pid=986533] ppid=986530 vsize=2894468 memory=768596 CPUtime=50.94 cores=1,3
/proc/986533/stat : 986533 (pb_picat) R 986530 986533 984416 0 -1 4194304 45923 0 0 0 5048 46 0 0 20 0 1 0 183142755 2963935232 192149 134679101440 4194304 5989780 140736998777856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47038464 140736998786072 140736998786148 140736998786148 140736998793164 0
/proc/986533/statm: 723617 192149 1668 439 0 719046 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2894468 KiB
Current children cumulated memory: 768596 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.13 4.06 5/256 987149
/proc/meminfo: memFree=117944144/131524600 swapFree=131071996/131071996
[pid=986533] ppid=986530 vsize=2927240 memory=661952 CPUtime=101.98 cores=1,3
/proc/986533/stat : 986533 (pb_picat) R 986530 986533 984416 0 -1 4194304 52194 0 0 0 10129 69 0 0 20 0 1 0 183142755 2997493760 165488 134679101440 4194304 5989780 140736998777856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47038464 140736998786072 140736998786148 140736998786148 140736998793164 0
/proc/986533/statm: 731810 165488 1668 439 0 727239 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 2927240 KiB
Current children cumulated memory: 661952 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.14 4.07 5/256 987296
/proc/meminfo: memFree=115705568/131524600 swapFree=131071996/131071996
[pid=986533] ppid=986530 vsize=2894468 memory=827988 CPUtime=161.78 cores=1,3
/proc/986533/stat : 986533 (pb_picat) R 986530 986533 984416 0 -1 4194304 57769 0 0 0 16087 91 0 0 20 0 1 0 183142755 2963935232 206997 134679101440 4194304 5989780 140736998777856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47038464 140736998786072 140736998786148 140736998786148 140736998793164 0
/proc/986533/statm: 723617 206997 1668 439 0 719046 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 2894468 KiB
Current children cumulated memory: 827988 KiB

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

# cumulated CPU time of all completed processes:  user=188.744 s, system=1.05796 s

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

[startup+166.4 s]
/proc/loadavg: 4.14 4.13 4.07 5/256 987296
/proc/meminfo: memFree=116578460/131524600 swapFree=131071996/131071996
[pid=986533] ppid=986530 vsize=2632324 memory=588372 CPUtime=165.87 cores=1,3
/proc/986533/stat : 986533 (pb_picat) R 986530 986533 984416 0 -1 4194304 58308 0 0 0 16495 92 0 0 20 0 1 0 183142755 2695499776 147093 134679101440 4194304 5989780 140736998777856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47038464 140736998786072 140736998786148 140736998786148 140736998793164 0
/proc/986533/statm: 658081 147093 1668 439 0 653510 0
Current children cumulated CPU time: 165.87 s
Current children cumulated vsize: 2632324 KiB
Current children cumulated memory: 588372 KiB

[startup+179.2 s]
/proc/loadavg: 4.11 4.13 4.07 5/256 987344
/proc/meminfo: memFree=116878916/131524600 swapFree=131071996/131071996
[pid=986533] ppid=986530 vsize=2894468 memory=754260 CPUtime=178.63 cores=1,3
/proc/986533/stat : 986533 (pb_picat) R 986530 986533 984416 0 -1 4194304 59623 0 0 0 17765 98 0 0 20 0 1 0 183142755 2963935232 188565 134679101440 4194304 5989780 140736998777856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47038464 140736998786072 140736998786148 140736998786148 140736998793164 0
/proc/986533/statm: 723617 188565 1668 439 0 719046 0
Current children cumulated CPU time: 178.63 s
Current children cumulated vsize: 2894468 KiB
Current children cumulated memory: 754260 KiB

[startup+185.6 s]
/proc/loadavg: 4.10 4.12 4.06 5/256 987345
/proc/meminfo: memFree=116033100/131524600 swapFree=131071996/131071996
[pid=986533] ppid=986530 vsize=2894468 memory=754260 CPUtime=185.01 cores=1,3
/proc/986533/stat : 986533 (pb_picat) R 986530 986533 984416 0 -1 4194304 59623 0 0 0 18403 98 0 0 20 0 1 0 183142755 2963935232 188565 134679101440 4194304 5989780 140736998777856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47038464 140736998786072 140736998786148 140736998786148 140736998793164 0
/proc/986533/statm: 723617 188565 1668 439 0 719046 0
Current children cumulated CPU time: 185.01 s
Current children cumulated vsize: 2894468 KiB
Current children cumulated memory: 754260 KiB

[startup+188.8 s]
/proc/loadavg: 4.10 4.12 4.06 5/256 987345
/proc/meminfo: memFree=115607156/131524600 swapFree=131071996/131071996
[pid=986533] ppid=986530 vsize=2927240 memory=741012 CPUtime=188.2 cores=1,3
/proc/986533/stat : 986533 (pb_picat) R 986530 986533 984416 0 -1 4194304 60972 0 0 0 18718 102 0 0 20 0 1 0 183142755 2997493760 185253 134679101440 4194304 5989780 140736998777856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47038464 140736998786072 140736998786148 140736998786148 140736998793164 0
/proc/986533/statm: 731810 185253 1668 439 0 727239 0
Current children cumulated CPU time: 188.2 s
Current children cumulated vsize: 2927240 KiB
Current children cumulated memory: 741012 KiB

[startup+189.6 s]
/proc/loadavg: 4.09 4.12 4.06 5/256 987345
/proc/meminfo: memFree=115537392/131524600 swapFree=131071996/131071996
[pid=986533] ppid=986530 vsize=2927240 memory=769684 CPUtime=189 cores=1,3
/proc/986533/stat : 986533 (pb_picat) R 986530 986533 984416 0 -1 4194304 60986 0 0 0 18797 103 0 0 20 0 1 0 183142755 2997493760 192421 134679101440 4194304 5989780 140736998777856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47038464 140736998786072 140736998786148 140736998786148 140736998793164 0
/proc/986533/statm: 731810 192421 1668 439 0 727239 0
Current children cumulated CPU time: 189 s
Current children cumulated vsize: 2927240 KiB
Current children cumulated memory: 769684 KiB

[startup+190 s]*
/proc/loadavg: 4.09 4.12 4.06 5/256 987347
/proc/meminfo: memFree=115455800/131524600 swapFree=131071996/131071996
[pid=986533] ppid=986530 vsize=2894468 memory=782932 CPUtime=189.41 cores=1,3
/proc/986533/stat : 986533 (pb_picat) R 986530 986533 984416 0 -1 4194304 61007 0 0 0 18837 104 0 0 20 0 1 0 183142755 2963935232 195733 134679101440 4194304 5989780 140736998777856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47038464 140736998786072 140736998786148 140736998786148 140736998793164 0
/proc/986533/statm: 723617 195733 1668 439 0 719046 0
Current children cumulated CPU time: 189.41 s
Current children cumulated vsize: 2894468 KiB
Current children cumulated memory: 782932 KiB

[startup+190.2 s]
/proc/loadavg: 4.09 4.12 4.06 5/256 987347
/proc/meminfo: memFree=115455800/131524600 swapFree=131071996/131071996
[pid=986533] ppid=986530 vsize=2894468 memory=782932 CPUtime=189.6 cores=1,3
/proc/986533/stat : 986533 (pb_picat) R 986530 986533 984416 0 -1 4194304 61007 0 0 0 18856 104 0 0 20 0 1 0 183142755 2963935232 195733 134679101440 4194304 5989780 140736998777856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47038464 140736998786072 140736998786148 140736998786148 140736998793164 0
/proc/986533/statm: 723617 195733 1668 439 0 719046 0
Current children cumulated CPU time: 189.6 s
Current children cumulated vsize: 2894468 KiB
Current children cumulated memory: 782932 KiB

[startup+190.3 s]
/proc/loadavg: 4.09 4.12 4.06 5/256 987347
/proc/meminfo: memFree=115455800/131524600 swapFree=131071996/131071996
[pid=986533] ppid=986530 vsize=2894468 memory=782932 CPUtime=189.7 cores=1,3
/proc/986533/stat : 986533 (pb_picat) R 986530 986533 984416 0 -1 4194304 61007 0 0 0 18866 104 0 0 20 0 1 0 183142755 2963935232 195733 134679101440 4194304 5989780 140736998777856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47038464 140736998786072 140736998786148 140736998786148 140736998793164 0
/proc/986533/statm: 723617 195733 1668 439 0 719046 0
Current children cumulated CPU time: 189.7 s
Current children cumulated vsize: 2894468 KiB
Current children cumulated memory: 782932 KiB

Child status: 0

Real time (s): 190.398
CPU time (s): 189.802
CPU user time (s): 188.744
CPU system time (s): 1.05796
CPU usage (%): 99.6873
Max. virtual memory (cumulated for all children) (KiB): 2954144
Max. memory (cumulated for all children) (KiB): 869972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 188.744
system time used= 1.05796
maximum resident set size= 876256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61024
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 221


# summary of solver processes directly reported to runsolver:
#   pid: 986533
#   total CPU time (s): 189.802
#   total CPU user time (s): 188.744
#   total CPU system time (s): 1.05796

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.30365 second user time and 0.974262 second system time

The end

Begin job on nodeC025 at 2024-07-18 15:36:27
IDJOB=4443022
IDBENCH=147860
IDSOLVER=3068
FILE ID=nodeC025/4443022-1721309774
RUNJOBID= nodeC025-1721306176-984428
SLURM_JOB_ID= 7542640
Free space on /tmp= 890008 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/robin/normalized-robin14.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443022-1721309774/watcher-4443022-1721309774 -o /tmp/evaluation-result-4443022-1721309774/solver-4443022-1721309774 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721306176-984428 --watchdog 3760  pb_picat HOME/instance-4443022-1721309774.opb

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

MD5SUM BENCH= 946fa793c8e40fdbe884453e390b9fbe
RANDOM SEED=1884198716

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3666.768
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.72
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		: 3655.041
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.09
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.106
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.72
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		: 3657.493
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.09
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		: 3666.708
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.72
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.893
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.09
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		: 3600.034
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.72
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		: 3666.565
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        122747888 kB
MemAvailable:   128746884 kB
Buffers:          512604 kB
Cached:          6249204 kB
SwapCached:            0 kB
Active:          1057648 kB
Inactive:        6947192 kB
Active(anon):       1504 kB
Inactive(anon):  1278596 kB
Active(file):    1056144 kB
Inactive(file):  5668596 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              9916 kB
Writeback:             0 kB
AnonPages:       1238032 kB
Mapped:           115000 kB
Shmem:             37720 kB
KReclaimable:     227804 kB
Slab:             355432 kB
SReclaimable:     227804 kB
SUnreclaim:       127628 kB
KernelStack:        4224 kB
PageTables:        11212 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7171980 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            69472 kB
HardwareCorrupted:     0 kB
AnonHugePages:    964608 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      318164 kB
DirectMap2M:    43495424 kB
DirectMap1G:    92274688 kB

Free space on /tmp at the end= 889980 MiB
End job on nodeC025 at 2024-07-18 15:39:37