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

OK	34

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: 63708 MiB (54637 MiB free)
  memory of node 1: 64465 MiB (52368 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528334-1752238557/watcher-4528334-1752238557 -o /tmp/evaluation-result-4528334-1752238557/solver-4528334-1752238557 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1752238557-112280 --watchdog 3760 pb_picat HOME/instance-4528334-1752238557.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=112323, runsolver pid=112319

[startup+0.10006 s]*
/proc/loadavg: 1.16 2.08 3.42 5/259 112328
/proc/meminfo: memFree=109533272/131249996 swapFree=33010160/33010684
[pid=112323] ppid=112319 vsize=2027148 memory=32752 CPUtime=0.09 cores=4,6
/proc/112323/stat : 112323 (pb_picat) R 112319 112323 110812 0 -1 4194304 1110 0 0 0 9 0 0 0 20 0 1 0 139534338 2075799552 8188 18446744073709551615 94890492096512 94890493498093 140727644284432 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94890493769520 94890495643760 94890502926336 140727644289436 140727644289512 140727644289512 140727644295116 0
/proc/112323/statm: 506787 8188 1632 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 32752 KiB

[startup+0.205332 s]*
/proc/loadavg: 1.16 2.08 3.42 5/264 112338
/proc/meminfo: memFree=109523912/131249996 swapFree=33010160/33010684
[pid=112323] ppid=112319 vsize=2027148 memory=49140 CPUtime=0.2 cores=4,6
/proc/112323/stat : 112323 (pb_picat) R 112319 112323 110812 0 -1 4194304 1119 0 0 0 19 1 0 0 20 0 1 0 139534338 2075799552 12285 18446744073709551615 94890492096512 94890493498093 140727644284432 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94890493769520 94890495643760 94890502926336 140727644289436 140727644289512 140727644289512 140727644295116 0
/proc/112323/statm: 506787 12285 1632 343 0 503851 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 49140 KiB

[startup+0.305339 s]*
/proc/loadavg: 1.16 2.08 3.42 5/264 112338
/proc/meminfo: memFree=109481944/131249996 swapFree=33010160/33010684
[pid=112323] ppid=112319 vsize=2027148 memory=63480 CPUtime=0.29 cores=4,6
/proc/112323/stat : 112323 (pb_picat) R 112319 112323 110812 0 -1 4194304 1127 0 0 0 28 1 0 0 20 0 1 0 139534338 2075799552 15870 18446744073709551615 94890492096512 94890493498093 140727644284432 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94890493769520 94890495643760 94890502926336 140727644289436 140727644289512 140727644289512 140727644295116 0
/proc/112323/statm: 506787 15870 1632 343 0 503851 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 63480 KiB

[startup+0.700154 s]
/proc/loadavg: 1.16 2.08 3.42 5/264 112338
/proc/meminfo: memFree=109388108/131249996 swapFree=33010160/33010684
[pid=112323] ppid=112319 vsize=2027148 memory=120836 CPUtime=0.68 cores=4,6
/proc/112323/stat : 112323 (pb_picat) R 112319 112323 110812 0 -1 4194304 1158 0 0 0 66 2 0 0 20 0 1 0 139534338 2075799552 30209 18446744073709551615 94890492096512 94890493498093 140727644284432 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94890493769520 94890495643760 94890502926336 140727644289436 140727644289512 140727644289512 140727644295116 0
/proc/112323/statm: 506787 30209 1632 343 0 503851 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 120836 KiB

[startup+1.50016 s]
/proc/loadavg: 1.47 2.13 3.43 5/264 112338
/proc/meminfo: memFree=109166924/131249996 swapFree=33010160/33010684
[pid=112323] ppid=112319 vsize=2027148 memory=241692 CPUtime=1.48 cores=4,6
/proc/112323/stat : 112323 (pb_picat) R 112319 112323 110812 0 -1 4194304 1223 0 0 0 144 4 0 0 20 0 1 0 139534338 2075799552 60423 18446744073709551615 94890492096512 94890493498093 140727644284432 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94890493769520 94890495643760 94890502926336 140727644289436 140727644289512 140727644289512 140727644295116 0
/proc/112323/statm: 506787 60423 1632 343 0 503851 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 241692 KiB

[startup+3.10524 s]
/proc/loadavg: 1.47 2.13 3.43 5/264 112338
/proc/meminfo: memFree=108397108/131249996 swapFree=33010160/33010684
[pid=112323] ppid=112319 vsize=2040208 memory=378500 CPUtime=3.08 cores=4,6
/proc/112323/stat : 112323 (pb_picat) R 112319 112323 110812 0 -1 4194304 5533 0 0 0 301 7 0 0 20 0 1 0 139534338 2089172992 94625 18446744073709551615 94890492096512 94890493498093 140727644284432 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94890493769520 94890495643760 94890502926336 140727644289436 140727644289512 140727644289512 140727644295116 0
/proc/112323/statm: 510052 94625 1728 343 0 507116 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2040208 KiB
Current children cumulated memory: 378500 KiB

[startup+6.3001 s]
/proc/loadavg: 1.75 2.18 3.43 5/264 112338
/proc/meminfo: memFree=107943488/131249996 swapFree=33010160/33010684
[pid=112323] ppid=112319 vsize=2042324 memory=380772 CPUtime=6.27 cores=4,6
/proc/112323/stat : 112323 (pb_picat) R 112319 112323 110812 0 -1 4194304 8496 0 0 0 619 8 0 0 20 0 1 0 139534338 2091339776 95193 18446744073709551615 94890492096512 94890493498093 140727644284432 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94890493769520 94890495643760 94890502926336 140727644289436 140727644289512 140727644289512 140727644295116 0
/proc/112323/statm: 510581 95193 1728 343 0 507645 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2042324 KiB
Current children cumulated memory: 380772 KiB

[startup+12.7001 s]
/proc/loadavg: 1.93 2.21 3.44 5/264 112338
/proc/meminfo: memFree=107582224/131249996 swapFree=33010160/33010684
[pid=112323] ppid=112319 vsize=2044368 memory=382512 CPUtime=12.65 cores=4,6
/proc/112323/stat : 112323 (pb_picat) R 112319 112323 110812 0 -1 4194304 15897 0 0 0 1256 9 0 0 20 0 1 0 139534338 2093432832 95628 18446744073709551615 94890492096512 94890493498093 140727644284432 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94890493769520 94890495643760 94890502926336 140727644289436 140727644289512 140727644289512 140727644295116 0
/proc/112323/statm: 511092 95628 1728 343 0 508156 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2044368 KiB
Current children cumulated memory: 382512 KiB

[startup+25.5001 s]
/proc/loadavg: 2.33 2.28 3.45 5/264 112428
/proc/meminfo: memFree=109240548/131249996 swapFree=33010160/33010684
[pid=112323] ppid=112319 vsize=2052564 memory=389568 CPUtime=25.41 cores=4,6
/proc/112323/stat : 112323 (pb_picat) R 112319 112323 110812 0 -1 4194304 20066 0 0 0 2530 11 0 0 20 0 1 0 139534338 2101825536 97392 18446744073709551615 94890492096512 94890493498093 140727644284432 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94890493769520 94890495643760 94890502926336 140727644289436 140727644289512 140727644289512 140727644295116 0
/proc/112323/statm: 513141 97392 1728 343 0 510205 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2052564 KiB
Current children cumulated memory: 389568 KiB

[startup+51.1047 s]
/proc/loadavg: 3.38 2.54 3.50 5/264 112429
/proc/meminfo: memFree=109224272/131249996 swapFree=33010160/33010684
[pid=112323] ppid=112319 vsize=2054608 memory=390844 CPUtime=50.94 cores=4,6
/proc/112323/stat : 112323 (pb_picat) R 112319 112323 110812 0 -1 4194304 27344 0 0 0 5082 12 0 0 20 0 1 0 139534338 2103918592 97711 18446744073709551615 94890492096512 94890493498093 140727644284432 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94890493769520 94890495643760 94890502926336 140727644289436 140727644289512 140727644289512 140727644295116 0
/proc/112323/statm: 513652 97711 1728 343 0 510716 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2054608 KiB
Current children cumulated memory: 390844 KiB

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

# cumulated CPU time of all completed processes:  user=51.8515 s, system=0.131821 s

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

[startup+51.2001 s]
/proc/loadavg: 3.38 2.54 3.50 5/264 112429
/proc/meminfo: memFree=109224272/131249996 swapFree=33010160/33010684
[pid=112323] ppid=112319 vsize=2054608 memory=390844 CPUtime=51.03 cores=4,6
/proc/112323/stat : 112323 (pb_picat) R 112319 112323 110812 0 -1 4194304 27344 0 0 0 5091 12 0 0 20 0 1 0 139534338 2103918592 97711 18446744073709551615 94890492096512 94890493498093 140727644284432 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94890493769520 94890495643760 94890502926336 140727644289436 140727644289512 140727644289512 140727644295116 0
/proc/112323/statm: 513652 97711 1728 343 0 510716 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 2054608 KiB
Current children cumulated memory: 390844 KiB

[startup+51.6001 s]
/proc/loadavg: 3.38 2.54 3.50 5/264 112429
/proc/meminfo: memFree=109224272/131249996 swapFree=33010160/33010684
[pid=112323] ppid=112319 vsize=2054608 memory=392892 CPUtime=51.43 cores=4,6
/proc/112323/stat : 112323 (pb_picat) R 112319 112323 110812 0 -1 4194304 27345 0 0 0 5131 12 0 0 20 0 1 0 139534338 2103918592 98223 18446744073709551615 94890492096512 94890493498093 140727644284432 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94890493769520 94890495643760 94890502926336 140727644289436 140727644289512 140727644289512 140727644295116 0
/proc/112323/statm: 513652 98223 1728 343 0 510716 0
Current children cumulated CPU time: 51.43 s
Current children cumulated vsize: 2054608 KiB
Current children cumulated memory: 392892 KiB

[startup+52.0001 s]*
/proc/loadavg: 3.38 2.54 3.50 5/264 112429
/proc/meminfo: memFree=109224272/131249996 swapFree=33010160/33010684
[pid=112323] ppid=112319 vsize=2054608 memory=392892 CPUtime=51.84 cores=4,6
/proc/112323/stat : 112323 (pb_picat) R 112319 112323 110812 0 -1 4194304 27345 0 0 0 5172 12 0 0 20 0 1 0 139534338 2103918592 98223 18446744073709551615 94890492096512 94890493498093 140727644284432 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94890493769520 94890495643760 94890502926336 140727644289436 140727644289512 140727644289512 140727644295116 0
/proc/112323/statm: 513652 98223 1728 343 0 510716 0
Current children cumulated CPU time: 51.84 s
Current children cumulated vsize: 2054608 KiB
Current children cumulated memory: 392892 KiB

[startup+52.105 s]
/proc/loadavg: 3.38 2.54 3.50 5/264 112429
/proc/meminfo: memFree=109224272/131249996 swapFree=33010160/33010684
[pid=112323] ppid=112319 vsize=2054608 memory=392892 CPUtime=51.94 cores=4,6
/proc/112323/stat : 112323 (pb_picat) R 112319 112323 110812 0 -1 4194304 27345 0 0 0 5182 12 0 0 20 0 1 0 139534338 2103918592 98223 18446744073709551615 94890492096512 94890493498093 140727644284432 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94890493769520 94890495643760 94890502926336 140727644289436 140727644289512 140727644289512 140727644295116 0
/proc/112323/statm: 513652 98223 1728 343 0 510716 0
Current children cumulated CPU time: 51.94 s
Current children cumulated vsize: 2054608 KiB
Current children cumulated memory: 392892 KiB

Child status: 0

Real time (s): 52.1427
CPU time (s): 51.9833
CPU user time (s): 51.8515
CPU system time (s): 0.131821
CPU usage (%): 99.6944
Max. virtual memory (cumulated for all children) (KiB): 2056660
Max. memory (cumulated for all children) (KiB): 393304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 51.8515
system time used= 0.131821
maximum resident set size= 393304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27480
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= 67
involuntary context switches= 62


# summary of solver processes directly reported to runsolver:
#   pid: 112323
#   total CPU time (s): 51.9833
#   total CPU user time (s): 51.8515
#   total CPU system time (s): 0.131821

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.128351 second user time and 0.184246 second system time

The end

Begin job on nodeC032 at 2025-07-11 14:55:57
IDJOB=4528334
IDBENCH=147573
IDSOLVER=3385
FILE ID=nodeC032/4528334-1752238557
RUNJOBID= nodeC032-1752238557-112280
SLURM_JOB_ID= 9682543
Free space on /tmp= 428988 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/haplotype/normalized-simp-unif-100_100.00.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528334-1752238557/watcher-4528334-1752238557 -o /tmp/evaluation-result-4528334-1752238557/solver-4528334-1752238557 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1752238557-112280 --watchdog 3760  pb_picat HOME/instance-4528334-1752238557.opb

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

MD5SUM BENCH= 9be73b05d343999548eaad0214200c86
RANDOM SEED=266731120

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        109589596 kB
MemAvailable:   129567648 kB
Buffers:            2728 kB
Cached:         20653824 kB
SwapCached:           20 kB
Active:           464160 kB
Inactive:       20280652 kB
Active(anon):     103184 kB
Inactive(anon):     3124 kB
Active(file):     360976 kB
Inactive(file): 20277528 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             66672 kB
Writeback:            28 kB
AnonPages:         91692 kB
Mapped:           109240 kB
Shmem:             18048 kB
KReclaimable:     357576 kB
Slab:             454620 kB
SReclaimable:     357576 kB
SUnreclaim:        97044 kB
KernelStack:        4068 kB
PageTables:         2576 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    2398660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     28672 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 429024 MiB
End job on nodeC032 at 2025-07-11 14:56:49