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

OK	0

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (60302 MiB free)
  memory of node 1: 64510 MiB (60157 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447132-1721334788/watcher-4447132-1721334788 -o /tmp/evaluation-result-4447132-1721334788/solver-4447132-1721334788 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721329244-992563 --watchdog 3760 pb_picat HOME/instance-4447132-1721334788.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=996386, runsolver pid=996383

[startup+0.100424 s]*
/proc/loadavg: 4.13 4.12 4.09 5/257 996387
/proc/meminfo: memFree=123312208/131524600 swapFree=131071996/131071996
[pid=996386] ppid=996383 vsize=2033608 memory=35948 CPUtime=0.09 cores=5,7
/proc/996386/stat : 996386 (pb_picat) R 996383 996386 992550 0 -1 4194304 517 0 0 0 9 0 0 0 20 0 1 0 185648529 2082414592 8987 134679101440 4194304 5989780 140720410675568 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28192768 140720410678296 140720410678372 140720410678372 140720410685388 0
/proc/996386/statm: 508402 8987 1521 439 0 503831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 35948 KiB

[startup+0.205652 s]*
/proc/loadavg: 4.13 4.12 4.09 5/257 996387
/proc/meminfo: memFree=123305592/131524600 swapFree=131071996/131071996
[pid=996386] ppid=996383 vsize=2037968 memory=43944 CPUtime=0.19 cores=5,7
/proc/996386/stat : 996386 (pb_picat) R 996383 996386 992550 0 -1 4194304 1495 0 0 0 19 0 0 0 20 0 1 0 185648529 2086879232 10986 134679101440 4194304 5989780 140720410675568 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28192768 140720410678296 140720410678372 140720410678372 140720410685388 0
/proc/996386/statm: 509492 10986 1647 439 0 504921 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2037968 KiB
Current children cumulated memory: 43944 KiB

[startup+0.30553 s]*
/proc/loadavg: 4.13 4.12 4.09 5/257 996387
/proc/meminfo: memFree=123307140/131524600 swapFree=131071996/131071996
[pid=996386] ppid=996383 vsize=2037456 memory=43960 CPUtime=0.3 cores=5,7
/proc/996386/stat : 996386 (pb_picat) R 996383 996386 992550 0 -1 4194304 2474 0 0 0 29 1 0 0 20 0 1 0 185648529 2086354944 10990 134679101440 4194304 5989780 140720410675568 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28192768 140720410678296 140720410678372 140720410678372 140720410685388 0
/proc/996386/statm: 509364 10990 1647 439 0 504793 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2037456 KiB
Current children cumulated memory: 43960 KiB

[startup+0.700246 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 996387
/proc/meminfo: memFree=123300492/131524600 swapFree=131071996/131071996
[pid=996386] ppid=996383 vsize=2041488 memory=46356 CPUtime=0.69 cores=5,7
/proc/996386/stat : 996386 (pb_picat) R 996383 996386 992550 0 -1 4194304 4298 0 0 0 68 1 0 0 20 0 1 0 185648529 2090483712 11589 134679101440 4194304 5989780 140720410675568 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28192768 140720410678296 140720410678372 140720410678372 140720410685388 0
/proc/996386/statm: 510372 11589 1647 439 0 505801 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2041488 KiB
Current children cumulated memory: 46356 KiB

[startup+1.50024 s]
/proc/loadavg: 4.12 4.12 4.09 5/257 996387
/proc/meminfo: memFree=123319960/131524600 swapFree=131071996/131071996
[pid=996386] ppid=996383 vsize=2039952 memory=45344 CPUtime=1.48 cores=5,7
/proc/996386/stat : 996386 (pb_picat) R 996383 996386 992550 0 -1 4194304 7028 0 0 0 147 1 0 0 20 0 1 0 185648529 2088910848 11336 134679101440 4194304 5989780 140720410675568 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28192768 140720410678296 140720410678372 140720410678372 140720410685388 0
/proc/996386/statm: 509988 11336 1647 439 0 505417 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2039952 KiB
Current children cumulated memory: 45344 KiB

[startup+3.10541 s]
/proc/loadavg: 4.12 4.12 4.09 5/257 996387
/proc/meminfo: memFree=123349888/131524600 swapFree=131071996/131071996
[pid=996386] ppid=996383 vsize=2044048 memory=47424 CPUtime=3.09 cores=5,7
/proc/996386/stat : 996386 (pb_picat) R 996383 996386 992550 0 -1 4194304 12868 0 0 0 306 3 0 0 20 0 1 0 185648529 2093105152 11856 134679101440 4194304 5989780 140720410675568 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28192768 140720410678296 140720410678372 140720410678372 140720410685388 0
/proc/996386/statm: 511012 11856 1647 439 0 506441 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2044048 KiB
Current children cumulated memory: 47424 KiB

[startup+6.30022 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 996389
/proc/meminfo: memFree=123309828/131524600 swapFree=131071996/131071996
[pid=996386] ppid=996383 vsize=2049168 memory=53688 CPUtime=6.27 cores=5,7
/proc/996386/stat : 996386 (pb_picat) R 996383 996386 992550 0 -1 4194304 22044 0 0 0 622 5 0 0 20 0 1 0 185648529 2098348032 13422 134679101440 4194304 5989780 140720410675568 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28192768 140720410678296 140720410678372 140720410678372 140720410685388 0
/proc/996386/statm: 512292 13422 1647 439 0 507721 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2049168 KiB
Current children cumulated memory: 53688 KiB

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

# cumulated CPU time of all completed processes:  user=7.35509 s, system=0.075801 s

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

[startup+6.40023 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 996389
/proc/meminfo: memFree=123309828/131524600 swapFree=131071996/131071996
[pid=996386] ppid=996383 vsize=2043024 memory=47616 CPUtime=6.37 cores=5,7
/proc/996386/stat : 996386 (pb_picat) R 996383 996386 992550 0 -1 4194304 22272 0 0 0 632 5 0 0 20 0 1 0 185648529 2092056576 11904 134679101440 4194304 5989780 140720410675568 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28192768 140720410678296 140720410678372 140720410678372 140720410685388 0
/proc/996386/statm: 510756 11904 1647 439 0 506185 0
Current children cumulated CPU time: 6.37 s
Current children cumulated vsize: 2043024 KiB
Current children cumulated memory: 47616 KiB

[startup+7.20021 s]
/proc/loadavg: 4.11 4.12 4.09 6/257 996389
/proc/meminfo: memFree=123328068/131524600 swapFree=131071996/131071996
[pid=996386] ppid=996383 vsize=2044048 memory=47172 CPUtime=7.17 cores=5,7
/proc/996386/stat : 996386 (pb_picat) R 996383 996386 992550 0 -1 4194304 25049 0 0 0 711 6 0 0 20 0 1 0 185648529 2093105152 11793 134679101440 4194304 5989780 140720410675568 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28192768 140720410678296 140720410678372 140720410678372 140720410685388 0
/proc/996386/statm: 511012 11793 1647 439 0 506441 0
Current children cumulated CPU time: 7.17 s
Current children cumulated vsize: 2044048 KiB
Current children cumulated memory: 47172 KiB

[startup+7.40021 s]
/proc/loadavg: 4.11 4.12 4.09 6/257 996389
/proc/meminfo: memFree=123328068/131524600 swapFree=131071996/131071996
[pid=996386] ppid=996383 vsize=2048144 memory=50852 CPUtime=7.37 cores=5,7
/proc/996386/stat : 996386 (pb_picat) R 996383 996386 992550 0 -1 4194304 26014 0 0 0 730 7 0 0 20 0 1 0 185648529 2097299456 12713 134679101440 4194304 5989780 140720410675568 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 28192768 140720410678296 140720410678372 140720410678372 140720410685388 0
/proc/996386/statm: 512036 12713 1647 439 0 507465 0
Current children cumulated CPU time: 7.37 s
Current children cumulated vsize: 2048144 KiB
Current children cumulated memory: 50852 KiB

Child status: 0

Real time (s): 7.4509
CPU time (s): 7.43089
CPU user time (s): 7.35509
CPU system time (s): 0.075801
CPU usage (%): 99.7314
Max. virtual memory (cumulated for all children) (KiB): 2059408
Max. memory (cumulated for all children) (KiB): 59848

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


# summary of solver processes directly reported to runsolver:
#   pid: 996386
#   total CPU time (s): 7.43089
#   total CPU user time (s): 7.35509
#   total CPU system time (s): 0.075801

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.027374 second user time and 0.070098 second system time

The end

Begin job on nodeC033 at 2024-07-18 22:33:20
IDJOB=4447132
IDBENCH=158362
IDSOLVER=3068
FILE ID=nodeC033/4447132-1721334788
RUNJOBID= nodeC033-1721329244-992563
SLURM_JOB_ID= 7542695
Free space on /tmp= 890072 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K106.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447132-1721334788/watcher-4447132-1721334788 -o /tmp/evaluation-result-4447132-1721334788/solver-4447132-1721334788 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721329244-992563 --watchdog 3760  pb_picat HOME/instance-4447132-1721334788.opb

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

MD5SUM BENCH= 24ba6b7b7d8e9ae68244a11b7fe894d2
RANDOM SEED=1735743107

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123352684 kB
MemAvailable:   129279956 kB
Buffers:          534380 kB
Cached:          6163860 kB
SwapCached:            0 kB
Active:           979276 kB
Inactive:        6421140 kB
Active(anon):       1580 kB
Inactive(anon):   746496 kB
Active(file):     977696 kB
Inactive(file):  5674644 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              3664 kB
Writeback:            12 kB
AnonPages:        699404 kB
Mapped:           115996 kB
Shmem:             45908 kB
KReclaimable:     229156 kB
Slab:             355992 kB
SReclaimable:     229156 kB
SUnreclaim:       126836 kB
KernelStack:        4144 kB
PageTables:        11084 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7109100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            68768 kB
HardwareCorrupted:     0 kB
AnonHugePages:    477184 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      273108 kB
DirectMap2M:    28860416 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC033 at 2024-07-18 22:33:28