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

OK	394243446

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: 63968 MiB (61613 MiB free)
  memory of node 1: 64473 MiB (62017 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436438-1721115030/watcher-4436438-1721115030 -o /tmp/evaluation-result-4436438-1721115030/solver-4436438-1721115030 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721105558-879433 --watchdog 3760 pb_picat HOME/instance-4436438-1721115030.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100091 s]*
/proc/loadavg: 4.08 4.08 4.09 5/259 886639
/proc/meminfo: memFree=126566716/131524600 swapFree=131071996/131071996
[pid=886638] ppid=886635 vsize=2033608 memory=37852 CPUtime=0.09 cores=4,6
/proc/886638/stat : 886638 (pb_picat) R 886635 886638 879422 0 -1 4194304 936 0 0 0 9 0 0 0 20 0 1 0 163671126 2082414592 9463 134679101440 4194304 5989780 140735978638512 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 21610496 140735978644505 140735978644581 140735978644581 140735978651596 0
/proc/886638/statm: 508402 9463 1535 439 0 503831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 37852 KiB

[startup+0.205531 s]*
/proc/loadavg: 4.08 4.08 4.09 5/259 886639
/proc/meminfo: memFree=126548812/131524600 swapFree=131071996/131071996
[pid=886638] ppid=886635 vsize=2041424 memory=54620 CPUtime=0.2 cores=4,6
/proc/886638/stat : 886638 (pb_picat) R 886635 886638 879422 0 -1 4194304 1006 0 0 0 20 0 0 0 20 0 1 0 163671126 2090418176 13655 134679101440 4194304 5989780 140735978638512 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 21610496 140735978644505 140735978644581 140735978644581 140735978651596 0
/proc/886638/statm: 510356 13655 1583 439 0 505785 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 54620 KiB

[startup+0.305454 s]*
/proc/loadavg: 4.08 4.08 4.09 5/259 886639
/proc/meminfo: memFree=126529468/131524600 swapFree=131071996/131071996
[pid=886638] ppid=886635 vsize=2051208 memory=72384 CPUtime=0.3 cores=4,6
/proc/886638/stat : 886638 (pb_picat) R 886635 886638 879422 0 -1 4194304 2912 0 0 0 29 1 0 0 20 0 1 0 163671126 2100436992 18096 134679101440 4194304 5989780 140735978638512 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 21610496 140735978644505 140735978644581 140735978644581 140735978651596 0
/proc/886638/statm: 512802 18096 1740 439 0 508231 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2051208 KiB
Current children cumulated memory: 72384 KiB

[startup+0.700194 s]
/proc/loadavg: 4.08 4.08 4.09 5/259 886641
/proc/meminfo: memFree=126523456/131524600 swapFree=131071996/131071996
[pid=886638] ppid=886635 vsize=2053288 memory=77736 CPUtime=0.69 cores=4,6
/proc/886638/stat : 886638 (pb_picat) R 886635 886638 879422 0 -1 4194304 4293 0 0 0 67 2 0 0 20 0 1 0 163671126 2102566912 19434 134679101440 4194304 5989780 140735978638512 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 21610496 140735978644505 140735978644581 140735978644581 140735978651596 0
/proc/886638/statm: 513322 19434 1740 439 0 508751 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2053288 KiB
Current children cumulated memory: 77736 KiB

[startup+1.50023 s]
/proc/loadavg: 4.08 4.08 4.09 5/259 886641
/proc/meminfo: memFree=126528460/131524600 swapFree=131071996/131071996
[pid=886638] ppid=886635 vsize=2053324 memory=77796 CPUtime=1.48 cores=4,6
/proc/886638/stat : 886638 (pb_picat) R 886635 886638 879422 0 -1 4194304 5802 0 0 0 146 2 0 0 20 0 1 0 163671126 2102603776 19449 134679101440 4194304 5989780 140735978638512 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 21610496 140735978644505 140735978644581 140735978644581 140735978651596 0
/proc/886638/statm: 513331 19449 1756 439 0 508760 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2053324 KiB
Current children cumulated memory: 77796 KiB

[startup+3.10545 s]
/proc/loadavg: 4.07 4.08 4.09 5/259 886688
/proc/meminfo: memFree=126975676/131524600 swapFree=131071996/131071996
[pid=886638] ppid=886635 vsize=2053356 memory=75740 CPUtime=3.09 cores=4,6
/proc/886638/stat : 886638 (pb_picat) R 886635 886638 879422 0 -1 4194304 12050 0 0 0 305 4 0 0 20 0 1 0 163671126 2102636544 18935 134679101440 4194304 5989780 140735978638512 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 21610496 140735978644505 140735978644581 140735978644581 140735978651596 0
/proc/886638/statm: 513339 18935 1756 439 0 508768 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2053356 KiB
Current children cumulated memory: 75740 KiB

[startup+6.30022 s]
/proc/loadavg: 4.07 4.08 4.09 5/259 886688
/proc/meminfo: memFree=126769580/131524600 swapFree=131071996/131071996
[pid=886638] ppid=886635 vsize=2052888 memory=75440 CPUtime=6.28 cores=4,6
/proc/886638/stat : 886638 (pb_picat) R 886635 886638 879422 0 -1 4194304 19925 0 0 0 622 6 0 0 20 0 1 0 163671126 2102157312 18860 134679101440 4194304 5989780 140735978638512 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 21610496 140735978644505 140735978644581 140735978644581 140735978651596 0
/proc/886638/statm: 513222 18860 1756 439 0 508651 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2052888 KiB
Current children cumulated memory: 75440 KiB

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

# cumulated CPU time of all completed processes:  user=11.6647 s, system=0.085815 s

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

[startup+6.40024 s]
/proc/loadavg: 4.07 4.08 4.09 5/259 886688
/proc/meminfo: memFree=126769580/131524600 swapFree=131071996/131071996
[pid=886638] ppid=886635 vsize=2052888 memory=75440 CPUtime=6.38 cores=4,6
/proc/886638/stat : 886638 (pb_picat) R 886635 886638 879422 0 -1 4194304 19925 0 0 0 632 6 0 0 20 0 1 0 163671126 2102157312 18860 134679101440 4194304 5989780 140735978638512 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 21610496 140735978644505 140735978644581 140735978644581 140735978651596 0
/proc/886638/statm: 513222 18860 1756 439 0 508651 0
Current children cumulated CPU time: 6.38 s
Current children cumulated vsize: 2052888 KiB
Current children cumulated memory: 75440 KiB

[startup+9.6002 s]
/proc/loadavg: 4.06 4.08 4.09 5/259 886688
/proc/meminfo: memFree=126767168/131524600 swapFree=131071996/131071996
[pid=886638] ppid=886635 vsize=2052888 memory=75416 CPUtime=9.56 cores=4,6
/proc/886638/stat : 886638 (pb_picat) R 886635 886638 879422 0 -1 4194304 23204 0 0 0 950 6 0 0 20 0 1 0 163671126 2102157312 18854 134679101440 4194304 5989780 140735978638512 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 21610496 140735978644505 140735978644581 140735978644581 140735978651596 0
/proc/886638/statm: 513222 18854 1756 439 0 508651 0
Current children cumulated CPU time: 9.56 s
Current children cumulated vsize: 2052888 KiB
Current children cumulated memory: 75416 KiB

[startup+10.4002 s]
/proc/loadavg: 4.06 4.08 4.09 5/259 886688
/proc/meminfo: memFree=126767028/131524600 swapFree=131071996/131071996
[pid=886638] ppid=886635 vsize=2052888 memory=75360 CPUtime=10.37 cores=4,6
/proc/886638/stat : 886638 (pb_picat) R 886635 886638 879422 0 -1 4194304 24290 0 0 0 1030 7 0 0 20 0 1 0 163671126 2102157312 18840 134679101440 4194304 5989780 140735978638512 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 21610496 140735978644505 140735978644581 140735978644581 140735978651596 0
/proc/886638/statm: 513222 18840 1756 439 0 508651 0
Current children cumulated CPU time: 10.37 s
Current children cumulated vsize: 2052888 KiB
Current children cumulated memory: 75360 KiB

[startup+11.2002 s]
/proc/loadavg: 4.06 4.08 4.09 5/259 886689
/proc/meminfo: memFree=126767012/131524600 swapFree=131071996/131071996
[pid=886638] ppid=886635 vsize=2048792 memory=72608 CPUtime=11.16 cores=4,6
/proc/886638/stat : 886638 (pb_picat) R 886635 886638 879422 0 -1 4194304 26315 0 0 0 1109 7 0 0 20 0 1 0 163671126 2097963008 18152 134679101440 4194304 5989780 140735978638512 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 21610496 140735978644505 140735978644581 140735978644581 140735978651596 0
/proc/886638/statm: 512198 18152 1756 439 0 507627 0
Current children cumulated CPU time: 11.16 s
Current children cumulated vsize: 2048792 KiB
Current children cumulated memory: 72608 KiB

[startup+11.6002 s]
/proc/loadavg: 4.06 4.08 4.09 5/259 886689
/proc/meminfo: memFree=126767012/131524600 swapFree=131071996/131071996
[pid=886638] ppid=886635 vsize=2052888 memory=75440 CPUtime=11.56 cores=4,6
/proc/886638/stat : 886638 (pb_picat) R 886635 886638 879422 0 -1 4194304 26489 0 0 0 1149 7 0 0 20 0 1 0 163671126 2102157312 18860 134679101440 4194304 5989780 140735978638512 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 21610496 140735978644505 140735978644581 140735978644581 140735978651596 0
/proc/886638/statm: 513222 18860 1756 439 0 508651 0
Current children cumulated CPU time: 11.56 s
Current children cumulated vsize: 2052888 KiB
Current children cumulated memory: 75440 KiB

[startup+11.7002 s]
/proc/loadavg: 4.06 4.08 4.09 5/259 886689
/proc/meminfo: memFree=126767012/131524600 swapFree=131071996/131071996
[pid=886638] ppid=886635 vsize=2052888 memory=75440 CPUtime=11.66 cores=4,6
/proc/886638/stat : 886638 (pb_picat) R 886635 886638 879422 0 -1 4194304 26489 0 0 0 1159 7 0 0 20 0 1 0 163671126 2102157312 18860 134679101440 4194304 5989780 140735978638512 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 21610496 140735978644505 140735978644581 140735978644581 140735978651596 0
/proc/886638/statm: 513222 18860 1756 439 0 508651 0
Current children cumulated CPU time: 11.66 s
Current children cumulated vsize: 2052888 KiB
Current children cumulated memory: 75440 KiB

Child status: 0

Real time (s): 11.7768
CPU time (s): 11.7505
CPU user time (s): 11.6647
CPU system time (s): 0.085815
CPU usage (%): 99.7765
Max. virtual memory (cumulated for all children) (KiB): 2053356
Max. memory (cumulated for all children) (KiB): 77804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.6647
system time used= 0.085815
maximum resident set size= 77804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26494
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= 20


# summary of solver processes directly reported to runsolver:
#   pid: 886638
#   total CPU time (s): 11.7505
#   total CPU user time (s): 11.6647
#   total CPU system time (s): 0.085815

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.036178 second user time and 0.084017 second system time

The end

Begin job on nodeC030 at 2024-07-16 09:30:43
IDJOB=4436438
IDBENCH=150897
IDSOLVER=3068
FILE ID=nodeC030/4436438-1721115030
RUNJOBID= nodeC030-1721105558-879433
SLURM_JOB_ID= 7505632
Free space on /tmp= 890052 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-randaefc7c.cudf.trendy.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436438-1721115030/watcher-4436438-1721115030 -o /tmp/evaluation-result-4436438-1721115030/solver-4436438-1721115030 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721105558-879433 --watchdog 3760  pb_picat HOME/instance-4436438-1721115030.opb

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

MD5SUM BENCH= 9a5cd1d57fdd32c0069a9cebc068fbf4
RANDOM SEED=1157103373

nodeC030.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		: 3669.902
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.28
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		: 3693.047
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	: 7005.11
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		: 3612.475
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.28
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126598252 kB
MemAvailable:   127966812 kB
Buffers:          391768 kB
Cached:          1802772 kB
SwapCached:            0 kB
Active:           931028 kB
Inactive:        3373640 kB
Active(anon):       1540 kB
Inactive(anon):  2146312 kB
Active(file):     929488 kB
Inactive(file):  1227328 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4472 kB
Writeback:             0 kB
AnonPages:       2102308 kB
Mapped:           114360 kB
Shmem:             37720 kB
KReclaimable:     103136 kB
Slab:             210220 kB
SReclaimable:     103136 kB
SUnreclaim:       107084 kB
KernelStack:        4176 kB
PageTables:        13548 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7467188 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            63456 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1849344 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:      234196 kB
DirectMap2M:    18413568 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 890052 MiB
End job on nodeC030 at 2024-07-16 09:30:55