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

OK	5950590

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4504293-1751431266/watcher-4504293-1751431266 -o /tmp/evaluation-result-4504293-1751431266/solver-4504293-1751431266 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751424042-61370 --watchdog 3760 pb_picat HOME/instance-4504293-1751431266.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=62059, runsolver pid=62055

[startup+0.10006 s]*
/proc/loadavg: 4.09 4.11 4.09 4/261 62064
/proc/meminfo: memFree=128572908/131249996 swapFree=33005272/33010684
[pid=62059] ppid=62055 vsize=2027148 memory=36808 CPUtime=0.08 cores=5,7
/proc/62059/stat : 62059 (pb_picat) R 62055 62059 61352 0 -1 4194304 1134 0 0 0 8 0 0 0 20 0 1 0 58804480 2075799552 9202 18446744073709551615 94350294376448 94350295778029 140733115500976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94350296049456 94350297923760 94350310772736 140733115509150 140733115509226 140733115509226 140733115514828 0
/proc/62059/statm: 506787 9202 1600 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36808 KiB

[startup+0.205446 s]*
/proc/loadavg: 4.09 4.11 4.09 4/259 62065
/proc/meminfo: memFree=128566764/131249996 swapFree=33005272/33010684
[pid=62059] ppid=62055 vsize=2034964 memory=60020 CPUtime=0.19 cores=5,7
/proc/62059/stat : 62059 (pb_picat) R 62055 62059 61352 0 -1 4194304 1287 0 0 0 18 1 0 0 20 0 1 0 58804480 2083803136 15005 18446744073709551615 94350294376448 94350295778029 140733115500976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94350296049456 94350297923760 94350310772736 140733115509150 140733115509226 140733115509226 140733115514828 0
/proc/62059/statm: 508741 15005 1632 343 0 505805 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 60020 KiB

[startup+0.305204 s]*
/proc/loadavg: 4.09 4.11 4.09 4/259 62072
/proc/meminfo: memFree=128541012/131249996 swapFree=33005272/33010684
[pid=62059] ppid=62055 vsize=2038164 memory=70944 CPUtime=0.29 cores=5,7
/proc/62059/stat : 62059 (pb_picat) R 62055 62059 61352 0 -1 4194304 2071 0 0 0 27 2 0 0 20 0 1 0 58804480 2087079936 17736 18446744073709551615 94350294376448 94350295778029 140733115500976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94350296049456 94350297923760 94350310772736 140733115509150 140733115509226 140733115509226 140733115514828 0
/proc/62059/statm: 509541 17736 1696 343 0 506605 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2038164 KiB
Current children cumulated memory: 70944 KiB

[startup+0.700164 s]
/proc/loadavg: 4.09 4.11 4.09 5/259 62072
/proc/meminfo: memFree=128507996/131249996 swapFree=33005272/33010684
[pid=62059] ppid=62055 vsize=2057176 memory=87084 CPUtime=0.68 cores=5,7
/proc/62059/stat : 62059 (pb_picat) R 62055 62059 61352 0 -1 4194304 6122 0 0 0 60 8 0 0 20 0 1 0 58804480 2106548224 21771 18446744073709551615 94350294376448 94350295778029 140733115500976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94350296049456 94350297923760 94350310772736 140733115509150 140733115509226 140733115509226 140733115514828 0
/proc/62059/statm: 514294 21771 1696 343 0 511358 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2057176 KiB
Current children cumulated memory: 87084 KiB

[startup+1.50017 s]
/proc/loadavg: 4.09 4.11 4.09 3/258 62080
/proc/meminfo: memFree=128593192/131249996 swapFree=33005272/33010684
[pid=62059] ppid=62055 vsize=2075680 memory=92616 CPUtime=1.48 cores=5,7
/proc/62059/stat : 62059 (pb_picat) R 62055 62059 61352 0 -1 4194304 9019 0 0 0 138 10 0 0 20 0 1 0 58804480 2125496320 23154 18446744073709551615 94350294376448 94350295778029 140733115500976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94350296049456 94350297923760 94350310772736 140733115509150 140733115509226 140733115509226 140733115514828 0
/proc/62059/statm: 518920 23154 1728 343 0 515984 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2075680 KiB
Current children cumulated memory: 92616 KiB

[startup+3.10527 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 62154
/proc/meminfo: memFree=127974428/131249996 swapFree=33005272/33010684
[pid=62059] ppid=62055 vsize=2064252 memory=96128 CPUtime=3.08 cores=5,7
/proc/62059/stat : 62059 (pb_picat) R 62055 62059 61352 0 -1 4194304 12001 0 0 0 293 15 0 0 20 0 1 0 58804480 2113794048 24032 18446744073709551615 94350294376448 94350295778029 140733115500976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94350296049456 94350297923760 94350310772736 140733115509150 140733115509226 140733115509226 140733115514828 0
/proc/62059/statm: 516063 24032 1728 343 0 513127 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2064252 KiB
Current children cumulated memory: 96128 KiB

[startup+6.30016 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 62154
/proc/meminfo: memFree=126892152/131249996 swapFree=33005272/33010684
[pid=62059] ppid=62055 vsize=2090876 memory=119924 CPUtime=6.26 cores=5,7
/proc/62059/stat : 62059 (pb_picat) R 62055 62059 61352 0 -1 4194304 13387 0 0 0 609 17 0 0 20 0 1 0 58804480 2141057024 29981 18446744073709551615 94350294376448 94350295778029 140733115500976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94350296049456 94350297923760 94350310772736 140733115509150 140733115509226 140733115509226 140733115514828 0
/proc/62059/statm: 522719 29981 1728 343 0 519783 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2090876 KiB
Current children cumulated memory: 119924 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 62154
/proc/meminfo: memFree=124570392/131249996 swapFree=33005272/33010684
[pid=62059] ppid=62055 vsize=2090876 memory=119924 CPUtime=12.64 cores=5,7
/proc/62059/stat : 62059 (pb_picat) R 62055 62059 61352 0 -1 4194304 13398 0 0 0 1247 17 0 0 20 0 1 0 58804480 2141057024 29981 18446744073709551615 94350294376448 94350295778029 140733115500976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94350296049456 94350297923760 94350310772736 140733115509150 140733115509226 140733115509226 140733115514828 0
/proc/62059/statm: 522719 29981 1728 343 0 519783 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2090876 KiB
Current children cumulated memory: 119924 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 62155
/proc/meminfo: memFree=122579536/131249996 swapFree=33005272/33010684
[pid=62059] ppid=62055 vsize=2090876 memory=121972 CPUtime=25.4 cores=5,7
/proc/62059/stat : 62059 (pb_picat) R 62055 62059 61352 0 -1 4194304 13399 0 0 0 2523 17 0 0 20 0 1 0 58804480 2141057024 30493 18446744073709551615 94350294376448 94350295778029 140733115500976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94350296049456 94350297923760 94350310772736 140733115509150 140733115509226 140733115509226 140733115514828 0
/proc/62059/statm: 522719 30493 1728 343 0 519783 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2090876 KiB
Current children cumulated memory: 121972 KiB

[startup+51.1055 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 62155
/proc/meminfo: memFree=121968676/131249996 swapFree=33005272/33010684
[pid=62059] ppid=62055 vsize=2090876 memory=125940 CPUtime=50.92 cores=5,7
/proc/62059/stat : 62059 (pb_picat) R 62055 62059 61352 0 -1 4194304 13422 0 0 0 5075 17 0 0 20 0 1 0 58804480 2141057024 31485 18446744073709551615 94350294376448 94350295778029 140733115500976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94350296049456 94350297923760 94350310772736 140733115509150 140733115509226 140733115509226 140733115514828 0
/proc/62059/statm: 522719 31485 1728 343 0 519783 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 2090876 KiB
Current children cumulated memory: 125940 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 62157
/proc/meminfo: memFree=122291340/131249996 swapFree=33005272/33010684
[pid=62059] ppid=62055 vsize=2084892 memory=120632 CPUtime=101.98 cores=5,7
/proc/62059/stat : 62059 (pb_picat) R 62055 62059 61352 0 -1 4194304 20599 0 0 0 10163 35 0 0 20 0 1 0 58804480 2134929408 30158 18446744073709551615 94350294376448 94350295778029 140733115500976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94350296049456 94350297923760 94350310772736 140733115509150 140733115509226 140733115509226 140733115514828 0
/proc/62059/statm: 521223 30158 1728 343 0 518287 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 2084892 KiB
Current children cumulated memory: 120632 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 62160
/proc/meminfo: memFree=122322488/131249996 swapFree=33005272/33010684
[pid=62059] ppid=62055 vsize=2052124 memory=91296 CPUtime=161.81 cores=5,7
/proc/62059/stat : 62059 (pb_picat) R 62055 62059 61352 0 -1 4194304 28620 0 0 0 16119 62 0 0 20 0 1 0 58804480 2101374976 22824 18446744073709551615 94350294376448 94350295778029 140733115500976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94350296049456 94350297923760 94350310772736 140733115509150 140733115509226 140733115509226 140733115514828 0
/proc/62059/statm: 513031 22824 1728 343 0 510095 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 2052124 KiB
Current children cumulated memory: 91296 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 62164
/proc/meminfo: memFree=121980544/131249996 swapFree=33005272/33010684
[pid=62059] ppid=62055 vsize=2068508 memory=107680 CPUtime=221.65 cores=5,7
/proc/62059/stat : 62059 (pb_picat) R 62055 62059 61352 0 -1 4194304 37885 0 0 0 22072 93 0 0 20 0 1 0 58804480 2118152192 26920 18446744073709551615 94350294376448 94350295778029 140733115500976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94350296049456 94350297923760 94350310772736 140733115509150 140733115509226 140733115509226 140733115514828 0
/proc/62059/statm: 517127 26920 1728 343 0 514191 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 2068508 KiB
Current children cumulated memory: 107680 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 62166
/proc/meminfo: memFree=122080524/131249996 swapFree=33005272/33010684
[pid=62059] ppid=62055 vsize=2084892 memory=118456 CPUtime=281.48 cores=5,7
/proc/62059/stat : 62059 (pb_picat) R 62055 62059 61352 0 -1 4194304 41444 0 0 0 28047 101 0 0 20 0 1 0 58804480 2134929408 29614 18446744073709551615 94350294376448 94350295778029 140733115500976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94350296049456 94350297923760 94350310772736 140733115509150 140733115509226 140733115509226 140733115514828 0
/proc/62059/statm: 521223 29614 1728 343 0 518287 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 2084892 KiB
Current children cumulated memory: 118456 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 62168
/proc/meminfo: memFree=122066796/131249996 swapFree=33005272/33010684
[pid=62059] ppid=62055 vsize=2084892 memory=120632 CPUtime=341.31 cores=5,7
/proc/62059/stat : 62059 (pb_picat) R 62055 62059 61352 0 -1 4194304 41495 0 0 0 34030 101 0 0 20 0 1 0 58804480 2134929408 30158 18446744073709551615 94350294376448 94350295778029 140733115500976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94350296049456 94350297923760 94350310772736 140733115509150 140733115509226 140733115509226 140733115514828 0
/proc/62059/statm: 521223 30158 1728 343 0 518287 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 2084892 KiB
Current children cumulated memory: 120632 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 62170
/proc/meminfo: memFree=121989168/131249996 swapFree=33005272/33010684
[pid=62059] ppid=62055 vsize=2093084 memory=126140 CPUtime=401.14 cores=5,7
/proc/62059/stat : 62059 (pb_picat) R 62055 62059 61352 0 -1 4194304 44359 0 0 0 40006 108 0 0 20 0 1 0 58804480 2143318016 31535 18446744073709551615 94350294376448 94350295778029 140733115500976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94350296049456 94350297923760 94350310772736 140733115509150 140733115509226 140733115509226 140733115514828 0
/proc/62059/statm: 523271 31535 1728 343 0 520335 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 2093084 KiB
Current children cumulated memory: 126140 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 62172
/proc/meminfo: memFree=121949216/131249996 swapFree=33005272/33010684
[pid=62059] ppid=62055 vsize=2093084 memory=125372 CPUtime=460.98 cores=5,7
/proc/62059/stat : 62059 (pb_picat) R 62055 62059 61352 0 -1 4194304 47553 0 0 0 45982 116 0 0 20 0 1 0 58804480 2143318016 31343 18446744073709551615 94350294376448 94350295778029 140733115500976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94350296049456 94350297923760 94350310772736 140733115509150 140733115509226 140733115509226 140733115514828 0
/proc/62059/statm: 523271 31343 1728 343 0 520335 0
Current children cumulated CPU time: 460.98 s

################
# More data... #
################

/proc/loadavg: 4.12 4.11 4.09 5/264 62310
/proc/meminfo: memFree=121617960/131249996 swapFree=33005272/33010684
[pid=62059] ppid=62055 vsize=2086940 memory=122680 CPUtime=3033.93 cores=5,7
/proc/62059/stat : 62059 (pb_picat) R 62055 62059 61352 0 -1 4194304 90664 0 0 0 303162 231 0 0 20 0 1 0 58804480 2137026560 30670 18446744073709551615 94350294376448 94350295778029 140733115500976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94350296049456 94350297923760 94350310772736 140733115509150 140733115509226 140733115509226 140733115514828 0
/proc/62059/statm: 521735 30670 1728 343 0 518799 0
Current children cumulated CPU time: 3033.93 s
Current children cumulated vsize: 2086940 KiB
Current children cumulated memory: 122680 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 62313
/proc/meminfo: memFree=121957596/131249996 swapFree=33005272/33010684
[pid=62059] ppid=62055 vsize=2078748 memory=112440 CPUtime=3093.78 cores=5,7
/proc/62059/stat : 62059 (pb_picat) R 62055 62059 61352 0 -1 4194304 93174 0 0 0 309138 240 0 0 20 0 1 0 58804480 2128637952 28110 18446744073709551615 94350294376448 94350295778029 140733115500976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94350296049456 94350297923760 94350310772736 140733115509150 140733115509226 140733115509226 140733115514828 0
/proc/62059/statm: 519687 28110 1728 343 0 516751 0
Current children cumulated CPU time: 3093.78 s
Current children cumulated vsize: 2078748 KiB
Current children cumulated memory: 112440 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/265 62315
/proc/meminfo: memFree=121532256/131249996 swapFree=33005272/33010684
[pid=62059] ppid=62055 vsize=2086940 memory=120508 CPUtime=3153.61 cores=5,7
/proc/62059/stat : 62059 (pb_picat) R 62055 62059 61352 0 -1 4194304 93670 0 0 0 315121 240 0 0 20 0 1 0 58804480 2137026560 30127 18446744073709551615 94350294376448 94350295778029 140733115500976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94350296049456 94350297923760 94350310772736 140733115509150 140733115509226 140733115509226 140733115514828 0
/proc/62059/statm: 521735 30127 1728 343 0 518799 0
Current children cumulated CPU time: 3153.61 s
Current children cumulated vsize: 2086940 KiB
Current children cumulated memory: 120508 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 62319
/proc/meminfo: memFree=121578220/131249996 swapFree=33005272/33010684
[pid=62059] ppid=62055 vsize=2086940 memory=122680 CPUtime=3213.45 cores=5,7
/proc/62059/stat : 62059 (pb_picat) R 62055 62059 61352 0 -1 4194304 93698 0 0 0 321105 240 0 0 20 0 1 0 58804480 2137026560 30670 18446744073709551615 94350294376448 94350295778029 140733115500976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94350296049456 94350297923760 94350310772736 140733115509150 140733115509226 140733115509226 140733115514828 0
/proc/62059/statm: 521735 30670 1728 343 0 518799 0
Current children cumulated CPU time: 3213.45 s
Current children cumulated vsize: 2086940 KiB
Current children cumulated memory: 122680 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 62321
/proc/meminfo: memFree=121590200/131249996 swapFree=33005272/33010684
[pid=62059] ppid=62055 vsize=2086940 memory=122680 CPUtime=3273.28 cores=5,7
/proc/62059/stat : 62059 (pb_picat) R 62055 62059 61352 0 -1 4194304 93698 0 0 0 327088 240 0 0 20 0 1 0 58804480 2137026560 30670 18446744073709551615 94350294376448 94350295778029 140733115500976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94350296049456 94350297923760 94350310772736 140733115509150 140733115509226 140733115509226 140733115514828 0
/proc/62059/statm: 521735 30670 1728 343 0 518799 0
Current children cumulated CPU time: 3273.28 s
Current children cumulated vsize: 2086940 KiB
Current children cumulated memory: 122680 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/263 62323
/proc/meminfo: memFree=121590244/131249996 swapFree=33005272/33010684
[pid=62059] ppid=62055 vsize=2094944 memory=125500 CPUtime=3333.13 cores=5,7
/proc/62059/stat : 62059 (pb_picat) R 62055 62059 61352 0 -1 4194304 96848 0 0 0 333064 249 0 0 20 0 1 0 58804480 2145222656 31375 18446744073709551615 94350294376448 94350295778029 140733115500976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94350296049456 94350297923760 94350310772736 140733115509150 140733115509226 140733115509226 140733115514828 0
/proc/62059/statm: 523736 31375 1728 343 0 520800 0
Current children cumulated CPU time: 3333.13 s
Current children cumulated vsize: 2094944 KiB
Current children cumulated memory: 125500 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/263 62325
/proc/meminfo: memFree=121706020/131249996 swapFree=33005272/33010684
[pid=62059] ppid=62055 vsize=2094944 memory=125500 CPUtime=3392.96 cores=5,7
/proc/62059/stat : 62059 (pb_picat) R 62055 62059 61352 0 -1 4194304 96848 0 0 0 339047 249 0 0 20 0 1 0 58804480 2145222656 31375 18446744073709551615 94350294376448 94350295778029 140733115500976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94350296049456 94350297923760 94350310772736 140733115509150 140733115509226 140733115509226 140733115514828 0
/proc/62059/statm: 523736 31375 1728 343 0 520800 0
Current children cumulated CPU time: 3392.96 s
Current children cumulated vsize: 2094944 KiB
Current children cumulated memory: 125500 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/262 62327
/proc/meminfo: memFree=121495204/131249996 swapFree=33005272/33010684
[pid=62059] ppid=62055 vsize=2094944 memory=125500 CPUtime=3452.8 cores=5,7
/proc/62059/stat : 62059 (pb_picat) R 62055 62059 61352 0 -1 4194304 96870 0 0 0 345031 249 0 0 20 0 1 0 58804480 2145222656 31375 18446744073709551615 94350294376448 94350295778029 140733115500976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94350296049456 94350297923760 94350310772736 140733115509150 140733115509226 140733115509226 140733115514828 0
/proc/62059/statm: 523736 31375 1728 343 0 520800 0
Current children cumulated CPU time: 3452.8 s
Current children cumulated vsize: 2094944 KiB
Current children cumulated memory: 125500 KiB

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

# cumulated CPU time of all completed processes:  user=3483.82 s, system=2.50132 s

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

[startup+3481.6 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 62328
/proc/meminfo: memFree=122076904/131249996 swapFree=33005272/33010684
[pid=62059] ppid=62055 vsize=2094944 memory=126012 CPUtime=3472.05 cores=5,7
/proc/62059/stat : 62059 (pb_picat) R 62055 62059 61352 0 -1 4194304 97008 0 0 0 346956 249 0 0 20 0 1 0 58804480 2145222656 31503 18446744073709551615 94350294376448 94350295778029 140733115500976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94350296049456 94350297923760 94350310772736 140733115509150 140733115509226 140733115509226 140733115514828 0
/proc/62059/statm: 523736 31503 1728 343 0 520800 0
Current children cumulated CPU time: 3472.05 s
Current children cumulated vsize: 2094944 KiB
Current children cumulated memory: 126012 KiB

[startup+3488 s]*
/proc/loadavg: 4.08 4.09 4.09 5/263 62329
/proc/meminfo: memFree=121785388/131249996 swapFree=33005272/33010684
[pid=62059] ppid=62055 vsize=2094944 memory=126012 CPUtime=3478.44 cores=5,7
/proc/62059/stat : 62059 (pb_picat) R 62055 62059 61352 0 -1 4194304 97008 0 0 0 347595 249 0 0 20 0 1 0 58804480 2145222656 31503 18446744073709551615 94350294376448 94350295778029 140733115500976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94350296049456 94350297923760 94350310772736 140733115509150 140733115509226 140733115509226 140733115514828 0
/proc/62059/statm: 523736 31503 1728 343 0 520800 0
Current children cumulated CPU time: 3478.44 s
Current children cumulated vsize: 2094944 KiB
Current children cumulated memory: 126012 KiB

[startup+3491.2 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 62329
/proc/meminfo: memFree=121764948/131249996 swapFree=33005272/33010684
[pid=62059] ppid=62055 vsize=2094944 memory=126012 CPUtime=3481.62 cores=5,7
/proc/62059/stat : 62059 (pb_picat) R 62055 62059 61352 0 -1 4194304 97008 0 0 0 347913 249 0 0 20 0 1 0 58804480 2145222656 31503 18446744073709551615 94350294376448 94350295778029 140733115500976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94350296049456 94350297923760 94350310772736 140733115509150 140733115509226 140733115509226 140733115514828 0
/proc/62059/statm: 523736 31503 1728 343 0 520800 0
Current children cumulated CPU time: 3481.62 s
Current children cumulated vsize: 2094944 KiB
Current children cumulated memory: 126012 KiB

[startup+3494.4 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 62329
/proc/meminfo: memFree=121744532/131249996 swapFree=33005272/33010684
[pid=62059] ppid=62055 vsize=2094944 memory=126012 CPUtime=3484.81 cores=5,7
/proc/62059/stat : 62059 (pb_picat) R 62055 62059 61352 0 -1 4194304 97008 0 0 0 348232 249 0 0 20 0 1 0 58804480 2145222656 31503 18446744073709551615 94350294376448 94350295778029 140733115500976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94350296049456 94350297923760 94350310772736 140733115509150 140733115509226 140733115509226 140733115514828 0
/proc/62059/statm: 523736 31503 1728 343 0 520800 0
Current children cumulated CPU time: 3484.81 s
Current children cumulated vsize: 2094944 KiB
Current children cumulated memory: 126012 KiB

[startup+3495.2 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 62329
/proc/meminfo: memFree=121740436/131249996 swapFree=33005272/33010684
[pid=62059] ppid=62055 vsize=2094944 memory=126012 CPUtime=3485.61 cores=5,7
/proc/62059/stat : 62059 (pb_picat) R 62055 62059 61352 0 -1 4194304 97008 0 0 0 348312 249 0 0 20 0 1 0 58804480 2145222656 31503 18446744073709551615 94350294376448 94350295778029 140733115500976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94350296049456 94350297923760 94350310772736 140733115509150 140733115509226 140733115509226 140733115514828 0
/proc/62059/statm: 523736 31503 1728 343 0 520800 0
Current children cumulated CPU time: 3485.61 s
Current children cumulated vsize: 2094944 KiB
Current children cumulated memory: 126012 KiB

[startup+3495.6 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 62329
/proc/meminfo: memFree=121740436/131249996 swapFree=33005272/33010684
[pid=62059] ppid=62055 vsize=2094944 memory=126012 CPUtime=3486.01 cores=5,7
/proc/62059/stat : 62059 (pb_picat) R 62055 62059 61352 0 -1 4194304 97008 0 0 0 348352 249 0 0 20 0 1 0 58804480 2145222656 31503 18446744073709551615 94350294376448 94350295778029 140733115500976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94350296049456 94350297923760 94350310772736 140733115509150 140733115509226 140733115509226 140733115514828 0
/proc/62059/statm: 523736 31503 1728 343 0 520800 0
Current children cumulated CPU time: 3486.01 s
Current children cumulated vsize: 2094944 KiB
Current children cumulated memory: 126012 KiB

[startup+3495.8 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 62329
/proc/meminfo: memFree=121740436/131249996 swapFree=33005272/33010684
[pid=62059] ppid=62055 vsize=2094944 memory=126012 CPUtime=3486.21 cores=5,7
/proc/62059/stat : 62059 (pb_picat) R 62055 62059 61352 0 -1 4194304 97008 0 0 0 348372 249 0 0 20 0 1 0 58804480 2145222656 31503 18446744073709551615 94350294376448 94350295778029 140733115500976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94350296049456 94350297923760 94350310772736 140733115509150 140733115509226 140733115509226 140733115514828 0
/proc/62059/statm: 523736 31503 1728 343 0 520800 0
Current children cumulated CPU time: 3486.21 s
Current children cumulated vsize: 2094944 KiB
Current children cumulated memory: 126012 KiB

Child status: 0

Real time (s): 3495.9
CPU time (s): 3486.32
CPU user time (s): 3483.82
CPU system time (s): 2.50132
CPU usage (%): 99.7259
Max. virtual memory (cumulated for all children) (KiB): 2107264
Max. memory (cumulated for all children) (KiB): 138640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3483.82
system time used= 2.50132
maximum resident set size= 142736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97012
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= 77
involuntary context switches= 18074


# summary of solver processes directly reported to runsolver:
#   pid: 62059
#   total CPU time (s): 3486.32
#   total CPU user time (s): 3483.82
#   total CPU system time (s): 2.50132

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.58029 second user time and 15.1162 second system time

The end

Begin job on nodeC023 at 2025-07-02 06:41:06
IDJOB=4504293
IDBENCH=155651
IDSOLVER=3346
FILE ID=nodeC023/4504293-1751431266
RUNJOBID= nodeC023-1751424042-61370
SLURM_JOB_ID= 9598355
Free space on /tmp= 432080 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Multihop/normalized-minisat15_5_3_2_mh.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4504293-1751431266/watcher-4504293-1751431266 -o /tmp/evaluation-result-4504293-1751431266/solver-4504293-1751431266 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751424042-61370 --watchdog 3760  pb_picat HOME/instance-4504293-1751431266.opb

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

MD5SUM BENCH= 1542385ac037132e9cf985b37fe6e57c
RANDOM SEED=598644840

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.931
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.78
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.853
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.78
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		: 3601.847
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3597.496
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.78
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.022
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.78
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.855
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.78
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		: 3599.869
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.78
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		: 3619.153
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128535992 kB
MemAvailable:   129424252 kB
Buffers:            1328 kB
Cached:          1685936 kB
SwapCached:          372 kB
Active:           607312 kB
Inactive:        1516964 kB
Active(anon):     395896 kB
Inactive(anon):    54560 kB
Active(file):     211416 kB
Inactive(file):  1462404 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005272 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             10448 kB
Writeback:             0 kB
AnonPages:        432876 kB
Mapped:           106336 kB
Shmem:             13440 kB
KReclaimable:     107360 kB
Slab:             195716 kB
SReclaimable:     107360 kB
SUnreclaim:        88356 kB
KernelStack:        4240 kB
PageTables:         3696 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    4706580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150472 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    305152 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:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432024 MiB
End job on nodeC023 at 2025-07-02 07:39:22