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

OK	6943

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: 64059 MiB (61786 MiB free)
  memory of node 1: 64510 MiB (62105 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436433-1721125172/watcher-4436433-1721125172 -o /tmp/evaluation-result-4436433-1721125172/solver-4436433-1721125172 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721124536-843384 --watchdog 3760 pb_picat HOME/instance-4436433-1721125172.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=844026, runsolver pid=844023

[startup+0.101031 s]*
/proc/loadavg: 4.14 3.96 3.80 5/241 844027
/proc/meminfo: memFree=126843080/131655788 swapFree=131071996/131071996
[pid=844026] ppid=844023 vsize=2033608 memory=27480 CPUtime=0.1 cores=0,2
/proc/844026/stat : 844026 (pb_picat) R 844023 844026 843374 0 -1 4194304 868 0 0 0 10 0 0 0 20 0 1 0 164673307 2082414592 6870 134679101440 4194304 5989780 140736714864096 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 18608128 140736714871833 140736714871909 140736714871909 140736714878924 0
/proc/844026/statm: 508402 6870 1568 439 0 503831 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 27480 KiB

[startup+0.212647 s]*
/proc/loadavg: 4.14 3.96 3.80 5/241 844027
/proc/meminfo: memFree=126825828/131655788 swapFree=131071996/131071996
[pid=844026] ppid=844023 vsize=2033608 memory=47960 CPUtime=0.21 cores=0,2
/proc/844026/stat : 844026 (pb_picat) R 844023 844026 843374 0 -1 4194304 878 0 0 0 21 0 0 0 20 0 1 0 164673307 2082414592 11990 134679101440 4194304 5989780 140736714864096 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 18608128 140736714871833 140736714871909 140736714871909 140736714878924 0
/proc/844026/statm: 508402 11990 1568 439 0 503831 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 47960 KiB

[startup+0.312566 s]*
/proc/loadavg: 4.14 3.96 3.80 5/241 844027
/proc/meminfo: memFree=126806500/131655788 swapFree=131071996/131071996
[pid=844026] ppid=844023 vsize=2041424 memory=60248 CPUtime=0.31 cores=0,2
/proc/844026/stat : 844026 (pb_picat) R 844023 844026 843374 0 -1 4194304 909 0 0 0 30 1 0 0 20 0 1 0 164673307 2090418176 15062 134679101440 4194304 5989780 140736714864096 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 18608128 140736714871833 140736714871909 140736714871909 140736714878924 0
/proc/844026/statm: 510356 15062 1568 439 0 505785 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 60248 KiB

[startup+0.700296 s]
/proc/loadavg: 4.14 3.96 3.80 5/241 844027
/proc/meminfo: memFree=126789468/131655788 swapFree=131071996/131071996
[pid=844026] ppid=844023 vsize=2053804 memory=75896 CPUtime=0.68 cores=0,2
/proc/844026/stat : 844026 (pb_picat) R 844023 844026 843374 0 -1 4194304 6489 0 0 0 66 2 0 0 20 0 1 0 164673307 2103095296 18974 134679101440 4194304 5989780 140736714864096 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 18608128 140736714871833 140736714871909 140736714871909 140736714878924 0
/proc/844026/statm: 513451 18974 1772 439 0 508880 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2053804 KiB
Current children cumulated memory: 75896 KiB

[startup+1.50028 s]
/proc/loadavg: 4.14 3.96 3.80 5/241 844027
/proc/meminfo: memFree=126802868/131655788 swapFree=131071996/131071996
[pid=844026] ppid=844023 vsize=2053980 memory=75916 CPUtime=1.48 cores=0,2
/proc/844026/stat : 844026 (pb_picat) R 844023 844026 843374 0 -1 4194304 9895 0 0 0 145 3 0 0 20 0 1 0 164673307 2103275520 18979 134679101440 4194304 5989780 140736714864096 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 18608128 140736714871833 140736714871909 140736714871909 140736714878924 0
/proc/844026/statm: 513495 18979 1772 439 0 508924 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2053980 KiB
Current children cumulated memory: 75916 KiB

[startup+3.11237 s]
/proc/loadavg: 4.13 3.96 3.81 5/241 844029
/proc/meminfo: memFree=126799276/131655788 swapFree=131071996/131071996
[pid=844026] ppid=844023 vsize=2053468 memory=76072 CPUtime=3.09 cores=0,2
/proc/844026/stat : 844026 (pb_picat) R 844023 844026 843374 0 -1 4194304 15401 0 0 0 304 5 0 0 20 0 1 0 164673307 2102751232 19018 134679101440 4194304 5989780 140736714864096 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 18608128 140736714871833 140736714871909 140736714871909 140736714878924 0
/proc/844026/statm: 513367 19018 1772 439 0 508796 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2053468 KiB
Current children cumulated memory: 76072 KiB

[startup+6.30025 s]
/proc/loadavg: 4.13 3.96 3.81 5/241 844029
/proc/meminfo: memFree=126788360/131655788 swapFree=131071996/131071996
[pid=844026] ppid=844023 vsize=2053980 memory=75988 CPUtime=6.27 cores=0,2
/proc/844026/stat : 844026 (pb_picat) R 844023 844026 843374 0 -1 4194304 20622 0 0 0 621 6 0 0 20 0 1 0 164673307 2103275520 18997 134679101440 4194304 5989780 140736714864096 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 18608128 140736714871833 140736714871909 140736714871909 140736714878924 0
/proc/844026/statm: 513495 18997 1772 439 0 508924 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2053980 KiB
Current children cumulated memory: 75988 KiB

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

# cumulated CPU time of all completed processes:  user=11.3302 s, system=0.09971 s

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

[startup+6.40029 s]
/proc/loadavg: 4.13 3.96 3.81 5/241 844029
/proc/meminfo: memFree=126788360/131655788 swapFree=131071996/131071996
[pid=844026] ppid=844023 vsize=2053980 memory=75988 CPUtime=6.36 cores=0,2
/proc/844026/stat : 844026 (pb_picat) R 844023 844026 843374 0 -1 4194304 20622 0 0 0 630 6 0 0 20 0 1 0 164673307 2103275520 18997 134679101440 4194304 5989780 140736714864096 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 18608128 140736714871833 140736714871909 140736714871909 140736714878924 0
/proc/844026/statm: 513495 18997 1772 439 0 508924 0
Current children cumulated CPU time: 6.36 s
Current children cumulated vsize: 2053980 KiB
Current children cumulated memory: 75988 KiB

[startup+9.60023 s]
/proc/loadavg: 4.12 3.96 3.81 5/241 844029
/proc/meminfo: memFree=126777500/131655788 swapFree=131071996/131071996
[pid=844026] ppid=844023 vsize=2053980 memory=75844 CPUtime=9.56 cores=0,2
/proc/844026/stat : 844026 (pb_picat) R 844023 844026 843374 0 -1 4194304 28093 0 0 0 947 9 0 0 20 0 1 0 164673307 2103275520 18961 134679101440 4194304 5989780 140736714864096 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 18608128 140736714871833 140736714871909 140736714871909 140736714878924 0
/proc/844026/statm: 513495 18961 1772 439 0 508924 0
Current children cumulated CPU time: 9.56 s
Current children cumulated vsize: 2053980 KiB
Current children cumulated memory: 75844 KiB

[startup+10.4002 s]
/proc/loadavg: 4.12 3.96 3.81 5/241 844029
/proc/meminfo: memFree=126780728/131655788 swapFree=131071996/131071996
[pid=844026] ppid=844023 vsize=2053980 memory=75844 CPUtime=10.36 cores=0,2
/proc/844026/stat : 844026 (pb_picat) R 844023 844026 843374 0 -1 4194304 28093 0 0 0 1027 9 0 0 20 0 1 0 164673307 2103275520 18961 134679101440 4194304 5989780 140736714864096 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 18608128 140736714871833 140736714871909 140736714871909 140736714878924 0
/proc/844026/statm: 513495 18961 1772 439 0 508924 0
Current children cumulated CPU time: 10.36 s
Current children cumulated vsize: 2053980 KiB
Current children cumulated memory: 75844 KiB

[startup+11.2002 s]
/proc/loadavg: 4.12 3.96 3.81 5/241 844029
/proc/meminfo: memFree=126809996/131655788 swapFree=131071996/131071996
[pid=844026] ppid=844023 vsize=2053980 memory=75856 CPUtime=11.15 cores=0,2
/proc/844026/stat : 844026 (pb_picat) R 844023 844026 843374 0 -1 4194304 29859 0 0 0 1106 9 0 0 20 0 1 0 164673307 2103275520 18964 134679101440 4194304 5989780 140736714864096 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 18608128 140736714871833 140736714871909 140736714871909 140736714878924 0
/proc/844026/statm: 513495 18964 1772 439 0 508924 0
Current children cumulated CPU time: 11.15 s
Current children cumulated vsize: 2053980 KiB
Current children cumulated memory: 75856 KiB

[startup+11.4002 s]
/proc/loadavg: 4.12 3.96 3.81 5/241 844029
/proc/meminfo: memFree=126809996/131655788 swapFree=131071996/131071996
[pid=844026] ppid=844023 vsize=2053980 memory=75856 CPUtime=11.35 cores=0,2
/proc/844026/stat : 844026 (pb_picat) R 844023 844026 843374 0 -1 4194304 29859 0 0 0 1126 9 0 0 20 0 1 0 164673307 2103275520 18964 134679101440 4194304 5989780 140736714864096 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 18608128 140736714871833 140736714871909 140736714871909 140736714878924 0
/proc/844026/statm: 513495 18964 1772 439 0 508924 0
Current children cumulated CPU time: 11.35 s
Current children cumulated vsize: 2053980 KiB
Current children cumulated memory: 75856 KiB

Child status: 0

Real time (s): 11.4668
CPU time (s): 11.4299
CPU user time (s): 11.3302
CPU system time (s): 0.09971
CPU usage (%): 99.6782
Max. virtual memory (cumulated for all children) (KiB): 2057052
Max. memory (cumulated for all children) (KiB): 79436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.3302
system time used= 0.09971
maximum resident set size= 79436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29879
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= 3
involuntary context switches= 86


# summary of solver processes directly reported to runsolver:
#   pid: 844026
#   total CPU time (s): 11.4299
#   total CPU user time (s): 11.3302
#   total CPU system time (s): 0.09971

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.085571 second user time and 0.166943 second system time

The end

Begin job on nodeC003 at 2024-07-16 12:19:44
IDJOB=4436433
IDBENCH=151072
IDSOLVER=3068
FILE ID=nodeC003/4436433-1721125172
RUNJOBID= nodeC003-1721124536-843384
SLURM_JOB_ID= 7505676
Free space on /tmp= 723760 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand0a62b6.cudf.paranoid.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436433-1721125172/watcher-4436433-1721125172 -o /tmp/evaluation-result-4436433-1721125172/solver-4436433-1721125172 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721124536-843384 --watchdog 3760  pb_picat HOME/instance-4436433-1721125172.opb

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

MD5SUM BENCH= 1a324295edb31ad3651123fa569340c1
RANDOM SEED=59145435

nodeC003.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	: 0xb00001f
cpu MHz		: 3540.680
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.76
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	: 0xb00001f
cpu MHz		: 3656.864
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.30
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	: 0xb00001f
cpu MHz		: 1197.219
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.76
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	: 0xb00001f
cpu MHz		: 1197.340
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.30
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	: 0xb00001f
cpu MHz		: 3660.630
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.76
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	: 0xb00001f
cpu MHz		: 3657.055
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.30
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	: 0xb00001f
cpu MHz		: 1197.413
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.76
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	: 0xb00001f
cpu MHz		: 1197.451
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126866220 kB
MemAvailable:   129087160 kB
Buffers:          415312 kB
Cached:          2622560 kB
SwapCached:            0 kB
Active:           709112 kB
Inactive:        3499304 kB
Active(anon):       1452 kB
Inactive(anon):  1206800 kB
Active(file):     707660 kB
Inactive(file):  2292504 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4704 kB
Writeback:             0 kB
AnonPages:       1166704 kB
Mapped:           114404 kB
Shmem:             37704 kB
KReclaimable:     121612 kB
Slab:             222088 kB
SReclaimable:     121612 kB
SUnreclaim:       100476 kB
KernelStack:        3888 kB
PageTables:        11660 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    7056472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52384 kB
HardwareCorrupted:     0 kB
AnonHugePages:    964608 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      254792 kB
DirectMap2M:    22718464 kB
DirectMap1G:    113246208 kB

Free space on /tmp at the end= 723756 MiB
End job on nodeC003 at 2024-07-16 12:19:56