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

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: 63665 MiB (61793 MiB free)
  memory of node 1: 64507 MiB (63681 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4500543-1751401157/watcher-4500543-1751401157 -o /tmp/evaluation-result-4500543-1751401157/solver-4500543-1751401157 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751393420-59619 --watchdog 3760 pb_picat HOME/instance-4500543-1751401157.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=61781, runsolver pid=61778

[startup+0.100065 s]*
/proc/loadavg: 4.12 4.18 4.13 5/264 61782
/proc/meminfo: memFree=128462236/131250000 swapFree=33010684/33010684
[pid=61781] ppid=61778 vsize=2027148 memory=38536 CPUtime=0.08 cores=5,7
/proc/61781/stat : 61781 (pb_picat) R 61778 61781 59606 0 -1 4194304 1115 0 0 0 8 0 0 0 20 0 1 0 55795924 2075799552 9634 18446744073709551615 94677965533184 94677966934765 140727579539136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94677967206192 94677969080496 94677987876864 140727579543966 140727579544042 140727579544042 140727579549644 0
/proc/61781/statm: 506787 9634 1536 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 38536 KiB

[startup+0.205503 s]*
/proc/loadavg: 4.12 4.18 4.13 5/264 61782
/proc/meminfo: memFree=128445852/131250000 swapFree=33010684/33010684
[pid=61781] ppid=61778 vsize=2034964 memory=55060 CPUtime=0.19 cores=5,7
/proc/61781/stat : 61781 (pb_picat) R 61778 61781 59606 0 -1 4194304 1151 0 0 0 18 1 0 0 20 0 1 0 55795924 2083803136 13765 18446744073709551615 94677965533184 94677966934765 140727579539136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94677967206192 94677969080496 94677987876864 140727579543966 140727579544042 140727579544042 140727579549644 0
/proc/61781/statm: 508741 13765 1568 343 0 505805 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 55060 KiB

[startup+0.305414 s]*
/proc/loadavg: 4.12 4.18 4.13 5/264 61782
/proc/meminfo: memFree=128429468/131250000 swapFree=33010684/33010684
[pid=61781] ppid=61778 vsize=2039940 memory=73484 CPUtime=0.3 cores=5,7
/proc/61781/stat : 61781 (pb_picat) R 61778 61781 59606 0 -1 4194304 2148 0 0 0 28 2 0 0 20 0 1 0 55795924 2088898560 18371 18446744073709551615 94677965533184 94677966934765 140727579539136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94677967206192 94677969080496 94677987876864 140727579543966 140727579544042 140727579544042 140727579549644 0
/proc/61781/statm: 509985 18371 1728 343 0 507049 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2039940 KiB
Current children cumulated memory: 73484 KiB

[startup+0.700114 s]
/proc/loadavg: 4.12 4.18 4.13 5/264 61782
/proc/meminfo: memFree=128421276/131250000 swapFree=33010684/33010684
[pid=61781] ppid=61778 vsize=2047808 memory=85460 CPUtime=0.68 cores=5,7
/proc/61781/stat : 61781 (pb_picat) R 61778 61781 59606 0 -1 4194304 5259 0 0 0 66 2 0 0 20 0 1 0 55795924 2096955392 21365 18446744073709551615 94677965533184 94677966934765 140727579539136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94677967206192 94677969080496 94677987876864 140727579543966 140727579544042 140727579544042 140727579549644 0
/proc/61781/statm: 511952 21365 1728 343 0 509016 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2047808 KiB
Current children cumulated memory: 85460 KiB

[startup+1.50012 s]
/proc/loadavg: 4.12 4.18 4.13 5/264 61782
/proc/meminfo: memFree=128417180/131250000 swapFree=33010684/33010684
[pid=61781] ppid=61778 vsize=2046016 memory=85808 CPUtime=1.47 cores=5,7
/proc/61781/stat : 61781 (pb_picat) R 61778 61781 59606 0 -1 4194304 7950 0 0 0 145 2 0 0 20 0 1 0 55795924 2095120384 21452 18446744073709551615 94677965533184 94677966934765 140727579539136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94677967206192 94677969080496 94677987876864 140727579543966 140727579544042 140727579544042 140727579549644 0
/proc/61781/statm: 511504 21452 1728 343 0 508568 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2046016 KiB
Current children cumulated memory: 85808 KiB

[startup+3.1056 s]
/proc/loadavg: 4.11 4.17 4.13 5/264 61782
/proc/meminfo: memFree=128400840/131250000 swapFree=33010684/33010684
[pid=61781] ppid=61778 vsize=2048544 memory=87184 CPUtime=3.08 cores=5,7
/proc/61781/stat : 61781 (pb_picat) R 61778 61781 59606 0 -1 4194304 13959 0 0 0 304 4 0 0 20 0 1 0 55795924 2097709056 21796 18446744073709551615 94677965533184 94677966934765 140727579539136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94677967206192 94677969080496 94677987876864 140727579543966 140727579544042 140727579544042 140727579549644 0
/proc/61781/statm: 512136 21796 1728 343 0 509200 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2048544 KiB
Current children cumulated memory: 87184 KiB

[startup+6.3001 s]
/proc/loadavg: 4.11 4.17 4.13 5/264 61783
/proc/meminfo: memFree=128460560/131250000 swapFree=33010684/33010684
[pid=61781] ppid=61778 vsize=2048544 memory=87176 CPUtime=6.27 cores=5,7
/proc/61781/stat : 61781 (pb_picat) R 61778 61781 59606 0 -1 4194304 21337 0 0 0 621 6 0 0 20 0 1 0 55795924 2097709056 21794 18446744073709551615 94677965533184 94677966934765 140727579539136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94677967206192 94677969080496 94677987876864 140727579543966 140727579544042 140727579544042 140727579549644 0
/proc/61781/statm: 512136 21794 1728 343 0 509200 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2048544 KiB
Current children cumulated memory: 87176 KiB

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

# cumulated CPU time of all completed processes:  user=11.1762 s, system=0.094794 s

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

[startup+6.40014 s]
/proc/loadavg: 4.11 4.17 4.13 5/264 61783
/proc/meminfo: memFree=128460560/131250000 swapFree=33010684/33010684
[pid=61781] ppid=61778 vsize=2048544 memory=87176 CPUtime=6.37 cores=5,7
/proc/61781/stat : 61781 (pb_picat) R 61778 61781 59606 0 -1 4194304 21337 0 0 0 631 6 0 0 20 0 1 0 55795924 2097709056 21794 18446744073709551615 94677965533184 94677966934765 140727579539136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94677967206192 94677969080496 94677987876864 140727579543966 140727579544042 140727579544042 140727579549644 0
/proc/61781/statm: 512136 21794 1728 343 0 509200 0
Current children cumulated CPU time: 6.37 s
Current children cumulated vsize: 2048544 KiB
Current children cumulated memory: 87176 KiB

[startup+9.6001 s]
/proc/loadavg: 4.10 4.17 4.13 5/264 61783
/proc/meminfo: memFree=128431888/131250000 swapFree=33010684/33010684
[pid=61781] ppid=61778 vsize=2048544 memory=87176 CPUtime=9.55 cores=5,7
/proc/61781/stat : 61781 (pb_picat) R 61778 61781 59606 0 -1 4194304 26862 0 0 0 948 7 0 0 20 0 1 0 55795924 2097709056 21794 18446744073709551615 94677965533184 94677966934765 140727579539136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94677967206192 94677969080496 94677987876864 140727579543966 140727579544042 140727579544042 140727579549644 0
/proc/61781/statm: 512136 21794 1728 343 0 509200 0
Current children cumulated CPU time: 9.55 s
Current children cumulated vsize: 2048544 KiB
Current children cumulated memory: 87176 KiB

[startup+10.4001 s]
/proc/loadavg: 4.10 4.17 4.13 5/264 61783
/proc/meminfo: memFree=128423696/131250000 swapFree=33010684/33010684
[pid=61781] ppid=61778 vsize=2048544 memory=87044 CPUtime=10.35 cores=5,7
/proc/61781/stat : 61781 (pb_picat) R 61778 61781 59606 0 -1 4194304 28709 0 0 0 1027 8 0 0 20 0 1 0 55795924 2097709056 21761 18446744073709551615 94677965533184 94677966934765 140727579539136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94677967206192 94677969080496 94677987876864 140727579543966 140727579544042 140727579544042 140727579549644 0
/proc/61781/statm: 512136 21761 1728 343 0 509200 0
Current children cumulated CPU time: 10.35 s
Current children cumulated vsize: 2048544 KiB
Current children cumulated memory: 87044 KiB

[startup+10.8001 s]
/proc/loadavg: 4.10 4.17 4.13 5/264 61783
/proc/meminfo: memFree=128423696/131250000 swapFree=33010684/33010684
[pid=61781] ppid=61778 vsize=2048544 memory=86276 CPUtime=10.75 cores=5,7
/proc/61781/stat : 61781 (pb_picat) R 61778 61781 59606 0 -1 4194304 30326 0 0 0 1067 8 0 0 20 0 1 0 55795924 2097709056 21569 18446744073709551615 94677965533184 94677966934765 140727579539136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94677967206192 94677969080496 94677987876864 140727579543966 140727579544042 140727579544042 140727579549644 0
/proc/61781/statm: 512136 21569 1728 343 0 509200 0
Current children cumulated CPU time: 10.75 s
Current children cumulated vsize: 2048544 KiB
Current children cumulated memory: 86276 KiB

[startup+11.2001 s]
/proc/loadavg: 4.10 4.17 4.13 5/264 61783
/proc/meminfo: memFree=128415504/131250000 swapFree=33010684/33010684
[pid=61781] ppid=61778 vsize=2048544 memory=87172 CPUtime=11.15 cores=5,7
/proc/61781/stat : 61781 (pb_picat) R 61778 61781 59606 0 -1 4194304 30545 0 0 0 1107 8 0 0 20 0 1 0 55795924 2097709056 21793 18446744073709551615 94677965533184 94677966934765 140727579539136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94677967206192 94677969080496 94677987876864 140727579543966 140727579544042 140727579544042 140727579549644 0
/proc/61781/statm: 512136 21793 1728 343 0 509200 0
Current children cumulated CPU time: 11.15 s
Current children cumulated vsize: 2048544 KiB
Current children cumulated memory: 87172 KiB

[startup+11.3056 s]
/proc/loadavg: 4.10 4.17 4.13 5/264 61783
/proc/meminfo: memFree=128415504/131250000 swapFree=33010684/33010684
[pid=61781] ppid=61778 vsize=2048544 memory=87300 CPUtime=11.26 cores=5,7
/proc/61781/stat : 61781 (pb_picat) R 61778 61781 59606 0 -1 4194304 30547 0 0 0 1117 9 0 0 20 0 1 0 55795924 2097709056 21825 18446744073709551615 94677965533184 94677966934765 140727579539136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94677967206192 94677969080496 94677987876864 140727579543966 140727579544042 140727579544042 140727579549644 0
/proc/61781/statm: 512136 21825 1760 343 0 509200 0
Current children cumulated CPU time: 11.26 s
Current children cumulated vsize: 2048544 KiB
Current children cumulated memory: 87300 KiB

Child status: 0

Real time (s): 11.3068
CPU time (s): 11.271
CPU user time (s): 11.1762
CPU system time (s): 0.094794
CPU usage (%): 99.6829
Max. virtual memory (cumulated for all children) (KiB): 2048544
Max. memory (cumulated for all children) (KiB): 87300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.1762
system time used= 0.094794
maximum resident set size= 87300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30549
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= 66
involuntary context switches= 16


# summary of solver processes directly reported to runsolver:
#   pid: 61781
#   total CPU time (s): 11.271
#   total CPU user time (s): 11.1762
#   total CPU system time (s): 0.094794

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.027549 second user time and 0.08715 second system time

The end

Begin job on nodeC013 at 2025-07-01 22:19:17
IDJOB=4500543
IDBENCH=150916
IDSOLVER=3346
FILE ID=nodeC013/4500543-1751401157
RUNJOBID= nodeC013-1751393420-59619
SLURM_JOB_ID= 9598258
Free space on /tmp= 432908 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-rand902db1.cudf.trendy.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4500543-1751401157/watcher-4500543-1751401157 -o /tmp/evaluation-result-4500543-1751401157/solver-4500543-1751401157 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751393420-59619 --watchdog 3760  pb_picat HOME/instance-4500543-1751401157.opb

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

MD5SUM BENCH= b65c3f9116d0beadc5ed0efdf405ad30
RANDOM SEED=749806305

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128486732 kB
MemAvailable:   128805912 kB
Buffers:            3280 kB
Cached:          1119076 kB
SwapCached:            0 kB
Active:          1279420 kB
Inactive:         874268 kB
Active(anon):    1044616 kB
Inactive(anon):        0 kB
Active(file):     234804 kB
Inactive(file):   874268 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4408 kB
Writeback:             0 kB
AnonPages:       1029948 kB
Mapped:           109872 kB
Shmem:             13284 kB
KReclaimable:      98296 kB
Slab:             185984 kB
SReclaimable:      98296 kB
SUnreclaim:        87688 kB
KernelStack:        4288 kB
PageTables:         5172 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    6882924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    874496 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432904 MiB
End job on nodeC013 at 2025-07-01 22:19:28