0.00/0.01	c solving HOME/instance-4509559-1751520493.opb (Picat 3.9b6)
11.15/11.22	o 10
34.40/34.50	o 7
39.09/39.25	s OPTIMUM FOUND
39.09/39.25	v ~x2622 ~x3045 ~x92 ~x933 ~x1355 ~x1778 ~x512 ~x2200 ~x2623 ~x3046 
39.09/39.25	v ~x93 ~x934 ~x1356 ~x1779 ~x513 ~x2201 x2624 ~x3047 ~x94 ~x935 
39.09/39.25	v ~x1357 ~x1780 ~x514 ~x2202 ~x2625 ~x3048 ~x95 ~x936 ~x1358 ~x1781 
39.09/39.25	v ~x515 ~x2203 ~x2626 ~x3049 ~x96 ~x937 ~x1359 ~x1782 ~x516 ~x2204 
39.09/39.25	v ~x2627 ~x3050 ~x97 ~x938 ~x1360 ~x1783 ~x517 ~x2205 ~x2628 ~x3051 
39.09/39.25	v ~x98 ~x939 ~x1361 ~x1784 ~x518 ~x2206 ~x2629 ~x3052 ~x99 ~x940 
39.09/39.25	v ~x1362 ~x1785 ~x519 ~x2207 ~x2630 ~x3053 ~x100 ~x941 ~x1363 ~x1786 
39.09/39.25	v ~x520 ~x2208 ~x2631 ~x3054 x101 ~x942 ~x1364 ~x1787 ~x521 ~x2209 
39.09/39.25	v ~x2632 ~x3055 ~x102 ~x943 ~x1365 ~x1788 ~x522 ~x2210 ~x2633 ~x3056 
39.09/39.25	v ~x103 ~x944 ~x1366 ~x1789 ~x523 ~x2211 ~x2634 ~x3057 ~x104 ~x945 
39.09/39.25	v ~x1367 ~x1790 ~x524 ~x2212 ~x2635 ~x3058 ~x105 ~x946 ~x1368 ~x1791 
39.09/39.25	v ~x525 ~x2213 ~x2636 ~x3059 ~x106 ~x947 ~x1369 ~x1792 ~x526 ~x2214 
39.09/39.25	v ~x2637 ~x3060 ~x107 ~x948 ~x1370 ~x1793 ~x527 ~x2215 ~x2638 ~x3061 
39.09/39.25	v ~x108 ~x949 ~x1371 ~x1794 ~x528 ~x2216 ~x2639 ~x3062 ~x109 ~x950 
39.09/39.25	v ~x1372 ~x1795 ~x529 ~x2217 ~x2640 ~x3063 ~x110 ~x951 ~x1373 ~x1796 
39.09/39.25	v ~x530 ~x2218 ~x2641 ~x3064 ~x111 ~x952 ~x1374 ~x1797 ~x531 ~x2219 
39.09/39.25	v ~x2642 ~x3065 x112 ~x953 ~x1375 ~x1798 ~x532 ~x2220 ~x2643 ~x3066 
39.09/39.25	v ~x113 ~x954 ~x1376 ~x1799 ~x533 ~x2221 ~x2644 ~x3067 x114 ~x955 
39.09/39.25	v ~x1377 ~x1800 ~x534 ~x2222 ~x2645 ~x3068 x115 ~x956 ~x1378 ~x1801 
39.09/39.25	v ~x535 ~x2223 ~x2646 ~x3069 ~x116 ~x957 ~x1379 ~x1802 ~x536 ~x2224 
39.09/39.25	v ~x2647 ~x3070 ~x117 ~x958 ~x1380 ~x1803 ~x537 ~x2225 ~x2648 ~x3071 
39.09/39.25	v ~x118 ~x959 ~x1381 ~x1804 ~x538 ~x2226 ~x2649 ~x3072 ~x119 ~x960 
39.09/39.25	v ~x1382 ~x1805 ~x539 ~x2227 ~x2650 ~x3073 ~x120 ~x961 ~x1383 ~x1806 
39.09/39.25	v ~x540 ~x2228 ~x2651 ~x3074 ~x121 ~x962 ~x1384 ~x1807 ~x541 ~x2229 
39.09/39.25	v ~x2652 ~x3075 x122 ~x963 ~x1385 ~x1808 ~x542 ~x2230 ~x2653 ~x3076 
39.09/39.25	v ~x123 ~x964 ~x1386 ~x1809 ~x543 ~x2231 ~x2654 ~x3077 ~x124 ~x965 
39.09/39.25	v ~x1387 ~x1810 ~x544 ~x2232 ~x2655 ~x3078 ~x125 ~x966 ~x1388 ~x1811 
39.09/39.25	v ~x545 ~x2233 ~x2656 ~x3079 ~x126 ~x967 ~x1389 ~x1812 ~x546 ~x2234 
39.09/39.25	v ~x2657 ~x3080 ~x127 ~x968 ~x1390 ~x1813 ~x547 ~x2235 ~x2658 ~x3081 
39.09/39.25	v ~x128 ~x969 ~x1391 ~x1814 ~x548 ~x2236 ~x2659 ~x3082 ~x129 ~x970 
39.09/39.25	v ~x1392 ~x1815 ~x549 ~x2237 ~x2660 ~x3083 ~x130 ~x971 ~x1393 ~x1816 
39.09/39.25	v ~x550 ~x2238 x2661 ~x3084 ~x972 ~x1394 ~x1817 ~x551 ~x2239 ~x2662 
39.09/39.25	v ~x3085 ~x973 ~x1395 ~x1818 ~x552 ~x2240 ~x2663 ~x3086 ~x974 ~x1396 
39.09/39.25	v ~x131 ~x1819 ~x553 ~x2241 ~x2664 ~x3087 ~x975 ~x1397 x132 ~x1820 
39.09/39.25	v ~x554 ~x2242 ~x2665 ~x3088 ~x976 ~x1398 x133 ~x1821 ~x555 ~x2243 
39.09/39.25	v ~x2666 ~x3089 ~x977 ~x1399 ~x134 ~x1822 ~x556 ~x2244 ~x2667 ~x3090 
39.09/39.25	v ~x978 ~x1400 x135 ~x1823 ~x557 ~x2245 ~x2668 ~x3091 ~x979 ~x1401 
39.09/39.25	v x136 ~x1824 ~x558 ~x2246 ~x2669 ~x3092 ~x980 ~x1402 ~x137 ~x1825 
39.09/39.25	v ~x559 ~x2247 ~x2670 ~x3093 ~x981 ~x1403 ~x138 ~x1826 ~x560 ~x2248 
39.09/39.25	v ~x2671 ~x3094 ~x982 ~x1404 ~x139 ~x1827 ~x561 ~x2249 ~x2672 ~x3095 
39.09/39.25	v ~x983 ~x1405 ~x140 ~x1828 ~x562 ~x2250 ~x2673 ~x3096 ~x984 ~x1406 
39.09/39.25	v ~x141 ~x1829 ~x563 ~x2251 ~x2674 ~x3097 ~x985 ~x1407 ~x142 ~x1830 
39.09/39.25	v ~x564 ~x2252 ~x2675 ~x3098 ~x986 x1408 ~x143 ~x1831 ~x565 ~x2253 
39.09/39.25	v ~x2676 ~x3099 ~x987 ~x1409 ~x144 ~x1832 ~x566 ~x2254 ~x2677 ~x3100 
39.09/39.25	v ~x988 ~x1410 ~x145 ~x1833 ~x567 ~x2255 ~x2678 ~x3101 ~x989 x1411 
39.09/39.25	v ~x146 ~x1834 ~x568 ~x2256 ~x2679 ~x3102 ~x990 ~x1412 ~x147 ~x1835 
39.09/39.25	v ~x569 ~x2257 ~x2680 ~x3103 ~x991 ~x1413 ~x148 ~x1836 ~x570 ~x2258 
39.09/39.25	v ~x2681 ~x3104 ~x992 ~x1414 ~x149 ~x1837 ~x571 ~x2259 ~x2682 ~x3105 
39.09/39.25	v ~x993 ~x1415 ~x150 ~x1838 ~x572 ~x2260 ~x2683 ~x3106 ~x994 ~x1416 
39.09/39.25	v ~x151 ~x1839 ~x573 ~x2261 ~x2684 ~x3107 ~x995 ~x1417 ~x152 ~x1840 
39.09/39.25	v ~x574 ~x2262 ~x2685 ~x3108 ~x996 x1418 ~x153 ~x1841 ~x575 ~x2263 
39.09/39.25	v ~x2686 ~x3109 ~x997 x1419 ~x154 ~x1842 ~x576 ~x2264 ~x2687 ~x3110 
39.09/39.25	v ~x998 ~x1420 ~x155 ~x1843 ~x577 ~x2265 ~x2688 ~x3111 ~x999 ~x1421 
39.09/39.25	v ~x156 ~x1844 ~x578 ~x2266 ~x2689 ~x3112 ~x1000 ~x1422 ~x157 ~x1845 
39.09/39.25	v ~x579 ~x2267 ~x2690 ~x3113 ~x1001 ~x1423 ~x158 ~x1846 ~x580 ~x2268 
39.09/39.25	v ~x2691 ~x3114 ~x1002 ~x1424 x159 ~x1847 ~x581 ~x2269 ~x2692 ~x3115 
39.09/39.25	v ~x1003 ~x1425 ~x160 ~x1848 ~x582 ~x2270 ~x2693 ~x3116 ~x1004 ~x1426 
39.09/39.25	v ~x161 ~x1849 ~x583 ~x2271 ~x2694 ~x3117 ~x1005 x1427 ~x162 ~x1850 
39.09/39.25	v ~x584 ~x2272 ~x2695 ~x3118 ~x1006 ~x1428 ~x163 ~x1851 ~x585 ~x2273 
39.09/39.25	v ~x2696 ~x3119 ~x1007 ~x1429 ~x164 ~x1852 ~x586 ~x2274 ~x2697 ~x3120 
39.09/39.25	v ~x1008 x1430 ~x165 ~x1853 ~x587 ~x2275 ~x2698 ~x3121 ~x1009 ~x1431 
39.09/39.25	v ~x166 ~x1854 ~x588 ~x2276 ~x2699 ~x3122 ~x1010 ~x1432 ~x167 ~x1855 
39.09/39.25	v ~x589 ~x2277 ~x2700 ~x3123 ~x1011 ~x1433 ~x168 ~x1856 ~x590 ~x2278 
39.09/39.25	v ~x2701 ~x3124 ~x1012 ~x1434 ~x169 ~x1857 ~x591 ~x2279 ~x2702 ~x3125 
39.09/39.25	v ~x1013 ~x1435 ~x170 ~x1858 ~x592 ~x2280 ~x2703 ~x3126 ~x1014 x1436 
39.09/39.25	v ~x171 ~x1859 ~x593 ~x2281 ~x2704 ~x3127 ~x1015 ~x1437 ~x172 ~x1860 
39.09/39.25	v ~x594 ~x2282 ~x2705 ~x3128 ~x1016 ~x1438 ~x173 ~x1861 ~x595 ~x2283 
39.09/39.25	v ~x2706 ~x3129 ~x1017 ~x1439 ~x174 ~x1862 ~x596 ~x2284 ~x2707 ~x3130 
39.09/39.25	v ~x1018 ~x1440 ~x175 ~x1863 ~x597 ~x2285 ~x2708 ~x3131 ~x1019 ~x1441 
39.09/39.25	v ~x176 ~x1864 ~x598 ~x2286 ~x2709 ~x3132 ~x1020 x1442 ~x177 ~x1865 
39.09/39.25	v ~x599 ~x2287 ~x2710 ~x3133 ~x1021 ~x1443 ~x178 ~x1866 ~x600 ~x2288 
39.09/39.25	v ~x2711 ~x3134 ~x1022 x1444 ~x179 ~x1867 ~x601 ~x2289 ~x2712 ~x3135 
39.09/39.25	v ~x1023 x1445 ~x180 ~x1868 ~x602 ~x2290 ~x2713 ~x3136 ~x1024 x1446 
39.09/39.25	v ~x181 ~x1869 ~x603 ~x2291 ~x2714 ~x3137 ~x1025 x1447 ~x182 ~x1870 
39.09/39.25	v ~x604 ~x2292 ~x2715 ~x3138 ~x1026 ~x1448 x183 ~x1871 ~x605 ~x2293 
39.09/39.25	v ~x2716 ~x3139 ~x1027 ~x1449 ~x184 ~x1872 ~x606 ~x2294 ~x2717 ~x3140 
39.09/39.25	v ~x1028 ~x1450 ~x185 ~x1873 ~x607 ~x2295 ~x2718 ~x3141 ~x1029 ~x1451 
39.09/39.25	v ~x186 ~x1874 ~x608 ~x2296 ~x2719 ~x3142 ~x1030 ~x1452 ~x187 ~x1875 
39.09/39.25	v ~x609 ~x2297 ~x2720 ~x3143 ~x1031 ~x1453 ~x188 ~x1876 ~x610 ~x2298 
39.09/39.25	v ~x2721 ~x3144 ~x1032 ~x1454 ~x189 ~x1877 ~x611 ~x2299 ~x2722 ~x3145 
39.09/39.25	v ~x1033 x1455 ~x190 ~x1878 ~x612 ~x2300 ~x2723 ~x3146 ~x1034 x1456 
39.09/39.25	v ~x191 ~x1879 ~x613 ~x2301 ~x2724 ~x3147 ~x1035 ~x1457 x192 ~x1880 
39.09/39.25	v ~x614 ~x2302 ~x2725 ~x3148 ~x1036 x1458 x193 ~x1881 ~x615 ~x2303 
39.09/39.25	v ~x2726 ~x3149 ~x1037 x1459 ~x194 ~x1882 ~x616 ~x2304 ~x2727 ~x3150 
39.09/39.25	v ~x1038 x1460 ~x195 ~x1883 ~x617 ~x2305 ~x2728 ~x3151 ~x1039 ~x1461 
39.09/39.25	v ~x196 ~x1884 ~x618 ~x2306 ~x2729 ~x3152 ~x1040 ~x1462 x197 ~x1885 
39.09/39.25	v ~x619 ~x2307 ~x2730 ~x3153 ~x1041 ~x1463 x198 ~x1886 ~x620 ~x2308 
39.09/39.25	v ~x2731 ~x3154 ~x1042 ~x1464 ~x199 ~x1887 ~x2309 ~x2732 ~x3155 ~x1043 
39.09/39.25	v x1465 ~x200 ~x1888 ~x2310 ~x2733 ~x621 ~x3156 ~x1044 ~x1466 ~x201 
39.09/39.25	v ~x1889 ~x2311 ~x2734 ~x622 ~x3157 ~x1045 ~x1467 x202 ~x1890 ~x2312 
39.09/39.25	v ~x2735 ~x623 ~x3158 ~x1046 ~x1468 ~x203 ~x1891 ~x2313 ~x2736 ~x624 
39.09/39.25	v ~x3159 ~x1047 ~x1469 ~x204 ~x1892 ~x2314 ~x2737 ~x625 ~x3160 ~x1048 
39.09/39.25	v ~x1470 ~x205 ~x1893 ~x2315 ~x2738 ~x626 ~x3161 ~x1049 ~x1471 ~x206 
39.09/39.25	v ~x1894 ~x2316 ~x2739 ~x627 ~x3162 ~x1050 ~x1472 ~x207 ~x1895 ~x2317 
39.09/39.25	v ~x2740 ~x628 ~x3163 ~x1051 ~x1473 ~x208 ~x1896 ~x2318 ~x2741 ~x629 
39.09/39.25	v ~x3164 ~x1052 ~x1474 ~x209 ~x1897 ~x2319 ~x2742 ~x630 ~x3165 ~x1053 
39.09/39.25	v ~x1475 ~x210 ~x1898 ~x2320 ~x2743 ~x631 ~x3166 ~x1054 ~x1476 ~x211 
39.09/39.25	v ~x1899 ~x2321 ~x2744 ~x632 ~x3167 ~x1055 ~x1477 ~x212 ~x1900 ~x2322 
39.09/39.25	v ~x2745 ~x633 ~x3168 ~x1056 x1478 ~x213 ~x1901 ~x2323 ~x2746 ~x634 
39.09/39.25	v ~x1057 x1479 ~x214 ~x1902 ~x2324 ~x2747 ~x635 ~x1058 x1480 ~x215 
39.09/39.25	v ~x1903 ~x2325 ~x2748 ~x636 ~x1059 x1481 ~x216 ~x1904 ~x2326 ~x2749 
39.09/39.25	v ~x637 ~x1060 x1482 ~x217 ~x1905 ~x2327 ~x2750 ~x638 ~x1061 x1483 
39.09/39.25	v ~x218 ~x1906 ~x2328 ~x2751 ~x639 ~x1062 ~x1484 x219 ~x1907 ~x2329 
39.09/39.25	v ~x2752 ~x640 ~x1063 ~x1485 ~x220 ~x1908 ~x2330 ~x2753 ~x641 ~x1064 
39.09/39.25	v ~x1486 ~x221 ~x1909 ~x2331 ~x2754 ~x642 ~x1065 ~x1487 ~x222 ~x1910 
39.09/39.25	v ~x2332 ~x2755 ~x643 ~x1066 ~x1488 ~x223 ~x1911 ~x2333 ~x2756 ~x644 
39.09/39.25	v ~x1067 ~x1489 ~x224 ~x1912 ~x2334 ~x2757 ~x645 ~x1068 ~x1490 ~x225 
39.09/39.25	v ~x1913 ~x2335 ~x2758 ~x646 ~x1069 ~x1491 ~x226 ~x1914 ~x2336 ~x2759 
39.09/39.25	v ~x647 ~x1070 x1492 ~x227 ~x1915 ~x2337 ~x2760 ~x648 ~x1071 ~x1493 
39.09/39.25	v ~x228 ~x1916 ~x2338 ~x2761 ~x649 ~x1072 ~x1494 ~x229 ~x1917 ~x2339 
39.09/39.25	v ~x2762 ~x650 ~x1073 x1495 ~x230 ~x1918 ~x2340 ~x2763 ~x651 ~x1074 
39.09/39.25	v x1496 ~x231 ~x1919 ~x2341 ~x2764 ~x652 ~x1075 ~x1497 ~x232 ~x1920 
39.09/39.25	v ~x2342 ~x2765 ~x653 ~x1076 ~x1498 ~x233 ~x1921 ~x2343 ~x2766 ~x654 
39.09/39.25	v ~x1077 ~x1499 ~x234 ~x1922 ~x2344 ~x2767 ~x655 ~x1078 x1500 ~x235 
39.09/39.25	v ~x1923 ~x2345 ~x2768 ~x656 ~x1079 ~x1501 ~x236 ~x1924 ~x2346 ~x2769 
39.09/39.25	v ~x657 ~x1080 ~x1502 ~x237 ~x1925 ~x2347 ~x2770 ~x658 ~x1081 ~x1503 
39.09/39.25	v ~x238 ~x1926 ~x2348 ~x2771 ~x659 ~x1082 ~x1504 ~x239 ~x1927 ~x2349 
39.09/39.25	v ~x2772 ~x660 ~x1083 ~x1505 ~x240 ~x1928 ~x2350 ~x2773 ~x661 ~x1084 
39.09/39.25	v ~x1506 ~x241 ~x1929 ~x2351 ~x2774 ~x662 ~x1085 ~x1507 ~x242 ~x1930 
39.09/39.25	v ~x2352 ~x2775 ~x663 ~x1086 ~x1508 ~x243 ~x1931 ~x2353 ~x2776 ~x664 
39.09/39.25	v ~x1087 ~x1509 ~x244 ~x1932 ~x2354 ~x2777 ~x665 ~x1088 ~x1510 ~x1933 
39.09/39.25	v ~x245 ~x2355 ~x2778 ~x666 ~x1089 ~x1511 ~x1934 ~x246 ~x2356 ~x2779 
39.09/39.25	v ~x667 ~x1090 ~x1512 ~x1935 ~x247 ~x2357 ~x2780 ~x668 ~x1091 ~x1513 
39.09/39.25	v ~x248 ~x1936 ~x2358 ~x2781 ~x669 ~x1092 ~x1514 ~x249 ~x1937 ~x2359 
39.09/39.25	v ~x2782 ~x670 ~x1093 ~x1515 ~x250 ~x1938 ~x2360 ~x2783 ~x671 ~x1094 
39.09/39.25	v ~x1516 ~x251 ~x1939 ~x2361 ~x2784 ~x672 ~x1095 ~x1517 ~x252 ~x1940 
39.09/39.25	v ~x2362 ~x2785 ~x673 ~x1096 ~x1518 ~x253 ~x1941 ~x2363 ~x2786 ~x674 
39.09/39.25	v ~x1097 ~x1519 ~x254 ~x1942 ~x2364 ~x2787 ~x675 ~x1098 ~x1520 ~x255 
39.09/39.25	v ~x1943 ~x2365 ~x2788 ~x676 ~x1099 ~x1521 ~x256 ~x1944 ~x2366 ~x2789 
39.09/39.25	v ~x677 ~x1100 ~x1522 ~x257 ~x1945 ~x2367 ~x2790 ~x678 ~x1101 ~x1523 
39.09/39.25	v ~x258 ~x1946 ~x2368 ~x2791 ~x679 ~x1102 ~x1524 ~x259 ~x1947 ~x2369 
39.09/39.25	v ~x2792 ~x680 ~x1103 ~x1525 ~x260 ~x1948 ~x2370 ~x2793 ~x681 ~x1104 
39.09/39.25	v ~x1526 ~x261 ~x1949 ~x2371 ~x2794 ~x682 ~x1105 ~x1527 ~x262 ~x1950 
39.09/39.25	v ~x2372 ~x2795 ~x683 ~x1106 ~x1528 ~x263 ~x1951 ~x2373 ~x2796 ~x684 
39.09/39.25	v ~x1107 ~x1529 ~x264 ~x1952 ~x2374 ~x2797 ~x685 ~x1108 ~x1530 ~x265 
39.09/39.25	v ~x1953 ~x2375 ~x2798 ~x686 ~x1109 ~x1531 ~x266 ~x1954 ~x2376 ~x2799 
39.09/39.25	v ~x687 ~x1110 ~x1532 ~x267 ~x1955 ~x2377 ~x2800 ~x688 ~x1533 ~x268 
39.09/39.25	v ~x1956 ~x2378 ~x2801 ~x689 ~x1111 ~x1534 ~x269 ~x1957 ~x2379 ~x2802 
39.09/39.25	v ~x690 ~x1112 ~x1535 ~x270 ~x1958 ~x2380 ~x2803 ~x691 ~x1113 ~x1536 
39.09/39.25	v ~x271 ~x1959 ~x2381 ~x2804 ~x692 ~x1114 ~x1537 ~x272 ~x1960 ~x2382 
39.09/39.25	v ~x2805 ~x693 ~x1115 ~x1538 ~x273 ~x1961 ~x2383 ~x2806 ~x694 ~x1116 
39.09/39.25	v ~x1539 ~x274 ~x1962 ~x2384 ~x2807 ~x695 ~x1117 ~x1540 ~x275 ~x1963 
39.09/39.25	v ~x2385 ~x2808 ~x696 ~x1118 ~x1541 ~x276 ~x1964 ~x2386 ~x2809 ~x697 
39.09/39.25	v ~x1119 ~x1542 ~x277 ~x1965 ~x2387 ~x2810 ~x698 ~x1120 ~x1543 ~x278 
39.09/39.25	v ~x1966 ~x2388 ~x2811 ~x699 ~x1121 ~x1544 ~x279 ~x1967 ~x2389 ~x2812 
39.09/39.25	v ~x700 ~x1122 ~x1545 ~x280 ~x1968 ~x2390 ~x2813 ~x701 ~x1123 ~x1546 
39.09/39.25	v ~x281 ~x1969 ~x2391 ~x2814 ~x702 ~x1124 ~x1547 ~x282 ~x1970 ~x2392 
39.09/39.25	v ~x2815 ~x703 ~x1125 ~x1548 ~x283 ~x1971 ~x2393 ~x2816 ~x704 ~x1126 
39.09/39.25	v ~x1549 ~x284 ~x1972 ~x2394 ~x2817 ~x705 ~x1127 ~x1550 ~x285 ~x1973 
39.09/39.25	v ~x2395 ~x2818 ~x706 ~x1128 ~x1551 ~x286 ~x1974 ~x2396 ~x2819 ~x707 
39.09/39.25	v ~x1129 ~x1552 ~x287 ~x1975 ~x2397 ~x2820 ~x708 ~x1130 ~x1553 ~x288 
39.09/39.25	v ~x1976 ~x2398 ~x2821 ~x709 ~x1131 ~x1554 ~x289 ~x1977 ~x2399 ~x2822 
39.09/39.25	v ~x710 ~x1132 ~x1555 ~x290 ~x1978 ~x2400 ~x2823 ~x711 ~x1133 ~x1556 
39.09/39.25	v ~x291 ~x1979 ~x2401 ~x2824 ~x712 ~x1134 ~x1557 ~x292 ~x1980 ~x2402 
39.09/39.25	v ~x2825 ~x713 ~x1135 ~x1558 ~x293 ~x1981 ~x2403 ~x2826 ~x714 ~x1136 
39.09/39.25	v ~x1559 ~x294 ~x1982 ~x2404 ~x2827 ~x715 ~x1137 ~x1560 ~x295 ~x1983 
39.09/39.25	v ~x2405 ~x2828 ~x716 ~x1138 ~x1561 ~x296 ~x1984 ~x2406 ~x2829 ~x717 
39.09/39.25	v ~x1139 ~x1562 ~x297 ~x1985 ~x2407 ~x2830 ~x718 ~x1140 ~x1563 ~x298 
39.09/39.25	v ~x1986 ~x2408 ~x2831 ~x719 ~x1141 ~x1564 ~x299 ~x1987 ~x2409 ~x2832 
39.09/39.25	v ~x720 ~x1142 ~x1565 ~x300 ~x1988 ~x2410 ~x2833 ~x721 ~x1143 ~x1566 
39.09/39.25	v ~x301 ~x1989 ~x2411 ~x2834 ~x722 ~x1144 ~x1567 ~x302 ~x1990 ~x2412 
39.09/39.25	v ~x2835 ~x723 ~x1145 ~x1568 ~x303 ~x1991 ~x2413 ~x2836 ~x724 ~x1146 
39.09/39.25	v ~x1569 ~x304 ~x1992 ~x2414 ~x2837 ~x725 ~x1147 ~x1570 ~x305 ~x1993 
39.09/39.25	v ~x2415 ~x2838 ~x726 ~x1148 ~x1571 ~x306 ~x1994 ~x2416 ~x2839 ~x727 
39.09/39.25	v ~x1149 ~x1572 ~x307 ~x1995 ~x2417 ~x2840 ~x728 ~x1150 ~x1573 ~x308 
39.09/39.25	v ~x1996 ~x2418 ~x2841 ~x729 ~x1151 ~x1574 ~x309 ~x1997 ~x2419 ~x2842 
39.09/39.25	v ~x730 ~x1152 ~x1575 ~x310 ~x1998 ~x2420 ~x2843 ~x731 ~x1153 ~x1576 
39.09/39.25	v ~x311 ~x1999 ~x2421 ~x2844 ~x732 ~x1154 ~x1577 ~x312 ~x2000 ~x2422 
39.09/39.25	v ~x2845 ~x733 ~x1155 ~x1578 ~x313 ~x2001 ~x2423 ~x2846 ~x734 ~x1156 
39.09/39.25	v ~x1579 ~x314 ~x2002 ~x2424 ~x2847 ~x735 ~x1157 ~x1580 ~x315 ~x2003 
39.09/39.25	v ~x2425 ~x2848 ~x736 ~x1158 ~x1581 ~x316 ~x2004 ~x2426 ~x2849 ~x737 
39.09/39.25	v ~x1159 ~x1582 ~x317 ~x2005 ~x2427 ~x2850 ~x738 ~x1160 ~x1583 ~x318 
39.09/39.25	v ~x2006 ~x2428 ~x2851 ~x739 ~x1161 ~x1584 ~x319 ~x2007 ~x2429 ~x2852 
39.09/39.25	v ~x740 ~x1162 ~x1585 ~x320 ~x2008 ~x2430 ~x2853 ~x741 ~x1163 ~x1586 
39.09/39.25	v ~x321 ~x2009 ~x2431 ~x2854 ~x742 ~x1164 ~x1587 ~x322 ~x2010 ~x2432 
39.09/39.25	v ~x2855 ~x743 ~x1165 ~x1588 ~x323 ~x2011 ~x2433 ~x2856 ~x744 ~x1166 
39.09/39.25	v ~x1589 ~x324 ~x2012 ~x2434 ~x2857 ~x745 ~x1167 ~x1590 ~x325 ~x2013 
39.09/39.25	v ~x2435 ~x2858 ~x746 ~x1168 ~x1591 ~x326 ~x2014 ~x2436 ~x2859 ~x747 
39.09/39.25	v ~x1169 ~x1592 ~x2015 ~x2437 ~x2860 ~x748 ~x1170 ~x1593 ~x2016 ~x327 
39.09/39.25	v ~x2438 ~x2861 ~x749 ~x1171 ~x1594 ~x2017 ~x328 ~x2439 ~x2862 ~x750 
39.09/39.25	v ~x1172 ~x1595 ~x2018 ~x329 ~x2440 ~x2863 ~x751 ~x1173 ~x1596 ~x2019 
39.09/39.25	v ~x330 ~x2441 ~x2864 ~x752 ~x1174 ~x1597 ~x2020 ~x331 ~x2442 ~x2865 
39.09/39.25	v ~x753 ~x1175 ~x1598 ~x2021 ~x332 ~x2443 ~x2866 ~x754 ~x1176 ~x1599 
39.09/39.25	v ~x2022 ~x333 ~x2444 ~x2867 ~x755 ~x1177 ~x1600 ~x2023 ~x334 ~x2445 
39.09/39.25	v ~x2868 ~x756 ~x1178 ~x1601 ~x2024 ~x335 ~x2446 ~x2869 ~x757 ~x1179 
39.09/39.25	v ~x1602 ~x2025 ~x336 ~x2447 ~x2870 ~x758 ~x1180 ~x1603 ~x2026 ~x337 
39.09/39.25	v ~x2448 ~x2871 ~x759 ~x1181 ~x1604 ~x2027 ~x338 ~x2449 ~x2872 ~x760 
39.09/39.25	v ~x1182 ~x1605 ~x2028 ~x339 ~x2450 ~x2873 ~x761 ~x1183 ~x1606 ~x2029 
39.09/39.25	v ~x340 ~x2451 ~x2874 ~x762 ~x1184 ~x1607 ~x2030 ~x341 ~x2452 ~x2875 
39.09/39.25	v ~x763 ~x1185 ~x1608 ~x2031 ~x342 ~x2453 ~x2876 ~x764 ~x1186 ~x1609 
39.09/39.25	v ~x2032 ~x343 ~x2454 ~x2877 ~x765 ~x1187 ~x1610 ~x2033 ~x344 ~x2455 
39.09/39.25	v ~x2878 ~x766 ~x1188 ~x1611 ~x2034 ~x345 ~x2456 ~x2879 ~x767 ~x1189 
39.09/39.25	v ~x1612 ~x2035 ~x346 ~x2457 ~x2880 ~x768 ~x1190 ~x1613 ~x2036 ~x347 
39.09/39.25	v ~x2458 ~x2881 ~x769 ~x1191 ~x1614 ~x2037 ~x348 ~x2459 ~x2882 ~x770 
39.09/39.25	v ~x1192 ~x1615 ~x2038 ~x349 ~x2460 ~x2883 ~x771 ~x1193 ~x1616 ~x2039 
39.09/39.25	v ~x350 ~x2461 ~x2884 ~x772 ~x1194 ~x1617 ~x2040 ~x351 ~x2462 ~x2885 
39.09/39.26	v ~x773 ~x1195 ~x1618 ~x2041 ~x352 ~x2463 ~x2886 ~x774 ~x1196 ~x1619 
39.09/39.26	v ~x2042 ~x353 ~x2464 ~x2887 ~x775 ~x1197 ~x1620 ~x2043 ~x354 ~x2465 
39.09/39.26	v ~x2888 ~x776 ~x1198 ~x1621 ~x2044 ~x355 ~x2466 ~x2889 ~x777 ~x1199 
39.09/39.26	v x1622 ~x2045 ~x356 ~x2467 ~x2890 ~x778 ~x1200 ~x1623 ~x2046 ~x357 
39.09/39.26	v ~x2468 x2891 ~x779 ~x1201 ~x1624 ~x2047 ~x358 ~x2469 x2892 ~x780 
39.09/39.26	v ~x1202 ~x1625 ~x2048 ~x359 ~x2470 ~x2893 ~x781 ~x1203 ~x1626 ~x2049 
39.09/39.26	v ~x360 ~x2471 ~x2894 ~x782 ~x1204 ~x1627 ~x2050 ~x361 ~x2472 ~x2895 
39.09/39.26	v ~x783 ~x1205 ~x1628 ~x2051 ~x362 ~x2473 ~x2896 ~x784 ~x1206 ~x1629 
39.09/39.26	v ~x2052 ~x363 ~x2474 ~x2897 ~x785 ~x1207 ~x1630 ~x2053 ~x364 ~x2475 
39.09/39.26	v ~x2898 ~x786 ~x1208 ~x1631 ~x2054 ~x365 ~x2476 ~x2899 ~x787 ~x1209 
39.09/39.26	v ~x1632 ~x2055 ~x366 ~x2477 ~x2900 ~x788 ~x1210 ~x1633 ~x2056 ~x367 
39.09/39.26	v ~x2478 ~x2901 ~x789 ~x1211 ~x1634 ~x2057 ~x368 ~x2479 ~x2902 ~x790 
39.09/39.26	v ~x1212 ~x1635 ~x2058 ~x369 ~x2480 ~x2903 ~x791 ~x1213 ~x1636 ~x2059 
39.09/39.26	v ~x370 ~x2481 ~x2904 ~x792 ~x1214 ~x1637 ~x2060 ~x371 ~x2482 ~x2905 
39.09/39.26	v ~x793 ~x1215 ~x1638 ~x2061 ~x372 ~x2483 ~x2906 ~x794 ~x1216 x1639 
39.09/39.26	v ~x2062 ~x373 ~x2484 ~x2907 ~x795 ~x1217 ~x1640 ~x2063 ~x374 ~x2485 
39.09/39.26	v x2908 ~x796 ~x1218 ~x1641 ~x2064 ~x375 ~x2486 x2909 ~x797 ~x1219 
39.09/39.26	v ~x1642 ~x2065 ~x376 ~x2487 ~x2910 ~x798 ~x1220 ~x1643 ~x2066 ~x377 
39.09/39.26	v ~x2488 ~x2911 ~x799 ~x1221 ~x1644 ~x2067 ~x378 ~x2489 ~x2912 ~x800 
39.09/39.26	v ~x1222 ~x1645 ~x2068 ~x379 ~x2490 ~x2913 ~x801 ~x1223 ~x1646 ~x2069 
39.09/39.26	v ~x380 ~x2491 ~x2914 ~x802 ~x1224 ~x1647 ~x2070 ~x381 ~x2492 ~x2915 
39.09/39.26	v ~x803 ~x1225 ~x1648 ~x2071 ~x382 ~x2493 ~x2916 ~x804 ~x1226 ~x1649 
39.09/39.26	v ~x2072 ~x383 ~x2494 ~x2917 ~x805 ~x1227 ~x1650 ~x2073 ~x384 ~x2495 
39.09/39.26	v ~x2918 ~x806 ~x1228 ~x1651 ~x2074 ~x385 ~x2496 x2919 ~x807 ~x1229 
39.09/39.26	v ~x1652 ~x2075 ~x386 ~x2497 x2920 ~x808 ~x1230 ~x1653 ~x2076 ~x387 
39.09/39.26	v ~x2498 x2921 ~x809 ~x1231 ~x1654 ~x2077 ~x388 ~x2499 x2922 ~x810 
39.09/39.26	v ~x1232 ~x1655 ~x2078 ~x389 ~x2500 x2923 ~x811 ~x1233 ~x1656 ~x2079 
39.09/39.26	v ~x390 ~x2501 ~x2924 ~x812 ~x1234 ~x1657 ~x2080 ~x391 ~x2502 ~x2925 
39.09/39.26	v ~x813 ~x1235 x1658 ~x2081 ~x392 ~x2503 ~x2926 ~x814 ~x1236 ~x1659 
39.09/39.26	v ~x2082 ~x393 ~x2504 ~x2927 ~x815 ~x1237 ~x1660 ~x2083 ~x394 ~x2505 
39.09/39.26	v ~x2928 ~x816 ~x1238 ~x1661 ~x2084 ~x395 ~x2506 ~x2929 ~x817 ~x1239 
39.09/39.26	v ~x1662 ~x2085 ~x396 ~x2507 ~x2930 ~x818 ~x1240 ~x1663 ~x2086 ~x397 
39.09/39.26	v ~x2508 x2931 ~x819 ~x1241 ~x1664 ~x2087 ~x398 ~x2509 ~x2932 ~x820 
39.09/39.26	v ~x1242 ~x1665 ~x2088 ~x399 ~x2510 x2933 ~x821 ~x1243 ~x1666 ~x2089 
39.09/39.26	v ~x400 ~x2511 x2934 ~x822 ~x1244 ~x1667 ~x2090 ~x401 ~x2512 ~x2935 
39.09/39.26	v ~x823 ~x1245 ~x1668 ~x2091 ~x402 ~x2513 ~x2936 ~x824 ~x1246 ~x1669 
39.09/39.26	v ~x2092 ~x403 ~x2514 ~x2937 ~x825 ~x1247 ~x1670 ~x2093 ~x404 ~x2515 
39.09/39.26	v x2938 ~x826 ~x1248 x1671 ~x2094 ~x405 ~x2516 ~x2939 ~x827 ~x1249 
39.09/39.26	v ~x1672 ~x2095 ~x406 ~x2517 x2940 ~x828 ~x1250 ~x1673 ~x2096 ~x407 
39.09/39.26	v ~x2518 ~x2941 ~x829 ~x1251 ~x1674 ~x2097 ~x408 ~x2519 ~x2942 ~x830 
39.09/39.26	v ~x1252 ~x1675 ~x2098 ~x409 ~x2520 ~x2943 ~x831 ~x1253 ~x1676 ~x2099 
39.09/39.26	v ~x410 ~x2521 x2944 ~x832 ~x1254 ~x1677 ~x2100 ~x411 ~x2522 ~x2945 
39.09/39.26	v ~x833 ~x1255 ~x1678 ~x2101 ~x412 ~x2523 ~x2946 ~x834 ~x1256 ~x1679 
39.09/39.26	v ~x2102 ~x413 ~x2524 x2947 ~x835 ~x1257 ~x1680 ~x2103 ~x414 ~x2525 
39.09/39.26	v ~x2948 ~x836 ~x1258 ~x1681 ~x2104 ~x415 ~x2526 ~x2949 ~x837 ~x1259 
39.09/39.26	v ~x1682 ~x2105 ~x416 ~x2527 ~x2950 ~x838 ~x1260 x1 ~x1683 ~x2106 
39.09/39.26	v ~x417 ~x2528 ~x2951 ~x839 ~x1261 x2 x1684 ~x2107 ~x418 ~x2529 
39.09/39.26	v ~x2952 ~x840 ~x1262 ~x3 ~x1685 ~x2108 ~x419 ~x2530 ~x2953 ~x841 
39.09/39.26	v ~x1263 ~x4 ~x1686 ~x2109 ~x420 ~x2531 ~x2954 ~x842 ~x1264 x5 
39.09/39.26	v ~x1687 ~x2110 ~x421 ~x2532 ~x2955 ~x843 ~x1265 ~x6 ~x1688 ~x2111 
39.09/39.26	v ~x422 ~x2533 ~x2956 ~x844 ~x1266 ~x7 ~x1689 ~x2112 ~x423 ~x2534 
39.09/39.26	v ~x2957 ~x845 ~x1267 ~x8 ~x1690 ~x2113 ~x424 ~x2535 ~x2958 ~x846 
39.09/39.26	v ~x1268 ~x9 ~x1691 ~x2114 ~x425 ~x2536 x2959 ~x847 ~x1269 ~x10 
39.09/39.26	v ~x1692 ~x2115 ~x426 ~x2537 x2960 ~x848 ~x1270 ~x11 ~x1693 ~x2116 
39.09/39.26	v ~x427 ~x2538 x2961 ~x849 ~x1271 ~x12 ~x1694 ~x2117 ~x428 ~x2539 
39.09/39.26	v ~x2962 ~x850 ~x1272 ~x13 x1695 ~x2118 ~x429 ~x2540 ~x2963 ~x851 
39.09/39.26	v ~x1273 ~x14 ~x1696 ~x2119 ~x430 ~x2541 ~x2964 ~x852 ~x1274 x15 
39.09/39.26	v x1697 ~x2120 ~x431 ~x2542 ~x2965 ~x853 ~x1275 ~x16 x1698 ~x2121 
39.09/39.26	v ~x432 ~x2543 ~x2966 ~x854 ~x1276 x17 ~x1699 ~x2122 ~x433 ~x2544 
39.09/39.26	v x2967 ~x855 ~x1277 ~x18 ~x1700 ~x2123 x434 ~x2545 x2968 ~x856 
39.09/39.26	v ~x1278 ~x19 ~x1701 ~x2124 ~x435 ~x2546 ~x2969 ~x857 ~x1279 ~x20 
39.09/39.26	v ~x1702 ~x2125 x436 ~x2547 ~x2970 ~x858 ~x1280 ~x21 ~x1703 ~x2126 
39.09/39.26	v x437 ~x2548 ~x2971 ~x859 ~x1281 ~x22 ~x1704 ~x2127 ~x438 ~x2549 
39.09/39.26	v ~x2972 ~x860 ~x1282 ~x23 ~x1705 ~x2128 ~x439 ~x2550 ~x2973 ~x861 
39.09/39.26	v ~x1283 ~x24 ~x1706 ~x2129 ~x440 ~x2551 ~x2974 ~x862 ~x1284 ~x25 
39.09/39.26	v ~x1707 ~x2130 ~x441 ~x2552 ~x2975 ~x863 ~x1285 ~x26 ~x1708 ~x2131 
39.09/39.26	v ~x442 ~x2553 ~x2976 ~x864 ~x1286 x27 ~x1709 ~x2132 x443 ~x2554 
39.09/39.26	v ~x2977 ~x865 ~x1287 ~x28 ~x1710 ~x2133 x444 ~x2555 ~x2978 ~x866 
39.09/39.26	v ~x1288 ~x29 ~x1711 ~x2134 ~x445 ~x2556 ~x2979 ~x867 ~x1289 x30 
39.09/39.26	v ~x1712 ~x2135 ~x446 ~x2557 ~x2980 ~x868 ~x1290 ~x31 ~x1713 ~x2136 
39.09/39.26	v ~x447 ~x2558 ~x2981 ~x869 ~x1291 ~x32 ~x1714 ~x2137 ~x448 ~x2559 
39.09/39.26	v ~x2982 ~x870 ~x1292 ~x1715 ~x2138 ~x449 ~x2560 ~x2983 ~x871 ~x1293 
39.09/39.26	v ~x1716 ~x2139 ~x450 ~x2561 ~x2984 ~x872 ~x1294 ~x1717 ~x2140 ~x451 
39.09/39.26	v ~x2562 ~x2985 ~x873 ~x1295 ~x1718 ~x2141 ~x452 ~x2563 ~x2986 x33 
39.09/39.26	v ~x874 ~x1296 ~x1719 ~x2142 ~x453 ~x2564 ~x2987 ~x34 ~x875 ~x1297 
39.09/39.26	v ~x1720 ~x2143 x454 ~x2565 ~x2988 ~x35 ~x876 ~x1298 ~x1721 ~x2144 
39.09/39.26	v ~x455 ~x2566 ~x2989 ~x36 ~x877 ~x1299 ~x1722 ~x2145 ~x456 ~x2567 
39.09/39.26	v ~x2990 ~x37 ~x878 ~x1300 ~x1723 ~x2146 ~x457 ~x2568 ~x2991 ~x879 
39.09/39.26	v ~x38 ~x1301 ~x1724 ~x2147 ~x458 ~x2569 ~x2992 ~x880 ~x39 ~x1302 
39.09/39.26	v ~x1725 ~x2148 ~x459 ~x2570 ~x2993 ~x40 ~x881 ~x1303 ~x1726 ~x2149 
39.09/39.26	v ~x460 ~x2571 ~x2994 x41 ~x882 ~x1304 ~x1727 ~x2150 x461 ~x2572 
39.09/39.26	v ~x2995 ~x42 ~x883 ~x1305 ~x1728 ~x2151 ~x462 ~x2573 ~x2996 ~x43 
39.09/39.26	v ~x884 ~x1306 ~x1729 ~x2152 ~x463 ~x2574 ~x2997 ~x44 ~x885 ~x1307 
39.09/39.26	v ~x1730 ~x2153 ~x464 ~x2575 ~x2998 ~x45 ~x886 ~x1308 ~x1731 ~x2154 
39.09/39.26	v ~x465 ~x2576 ~x2999 ~x46 ~x887 ~x1309 ~x1732 ~x2155 ~x466 ~x2577 
39.09/39.26	v ~x3000 ~x47 ~x888 ~x1310 ~x1733 ~x2156 ~x467 ~x2578 ~x3001 x48 
39.09/39.26	v ~x889 ~x1311 ~x1734 ~x2157 ~x468 ~x2579 ~x3002 ~x49 ~x890 ~x1312 
39.09/39.26	v ~x1735 ~x2158 ~x469 ~x2580 ~x3003 ~x50 ~x891 ~x1313 ~x1736 ~x2159 
39.09/39.26	v ~x470 ~x2581 ~x3004 ~x51 ~x892 ~x1314 ~x1737 ~x2160 ~x471 ~x2582 
39.09/39.26	v ~x3005 ~x52 ~x893 ~x1315 ~x1738 ~x2161 ~x472 ~x2583 ~x3006 x53 
39.09/39.26	v ~x894 ~x1316 ~x1739 ~x2162 ~x473 ~x2584 ~x3007 ~x54 ~x895 ~x1317 
39.09/39.26	v ~x1740 ~x2163 ~x474 ~x2585 ~x3008 ~x55 ~x896 ~x1318 ~x1741 ~x2164 
39.09/39.26	v ~x475 ~x2586 ~x3009 ~x56 ~x897 ~x1319 ~x1742 ~x2165 ~x476 ~x2587 
39.09/39.26	v ~x3010 ~x57 ~x898 ~x1320 ~x1743 ~x2166 ~x477 x2588 ~x3011 ~x58 
39.09/39.26	v ~x899 ~x1321 ~x1744 ~x2167 ~x478 ~x2589 ~x3012 x59 ~x900 ~x1322 
39.09/39.26	v ~x1745 ~x2168 ~x479 ~x2590 ~x3013 x60 ~x901 ~x1323 ~x1746 ~x2169 
39.09/39.26	v ~x480 x2591 ~x3014 ~x61 ~x902 ~x1324 ~x1747 ~x2170 ~x481 ~x2592 
39.09/39.26	v ~x3015 ~x62 ~x903 ~x1325 ~x1748 ~x2171 ~x482 ~x2593 ~x3016 ~x63 
39.09/39.26	v ~x904 ~x1326 ~x1749 ~x2172 ~x483 ~x2594 ~x3017 ~x64 ~x905 ~x1327 
39.09/39.26	v ~x1750 ~x2173 ~x484 ~x2595 ~x3018 ~x65 ~x906 ~x1328 ~x1751 ~x2174 
39.09/39.26	v ~x485 ~x2596 ~x3019 ~x66 ~x907 ~x1329 ~x1752 ~x2175 ~x486 ~x2597 
39.09/39.26	v ~x3020 ~x67 ~x908 ~x1330 ~x1753 ~x2176 ~x487 ~x2598 ~x3021 ~x68 
39.09/39.26	v ~x909 ~x1331 ~x1754 ~x2177 ~x488 ~x2599 ~x3022 ~x69 ~x910 ~x1332 
39.09/39.26	v ~x1755 ~x2178 x489 ~x2600 ~x3023 ~x70 ~x911 ~x1333 ~x1756 ~x2179 
39.09/39.26	v ~x490 ~x2601 ~x3024 ~x71 ~x912 ~x1334 ~x1757 ~x2180 ~x491 ~x2602 
39.09/39.26	v ~x3025 ~x72 ~x913 ~x1335 ~x1758 ~x2181 ~x492 ~x2603 ~x3026 ~x73 
39.09/39.26	v ~x914 ~x1336 ~x1759 ~x2182 ~x493 x2604 ~x3027 ~x74 ~x915 ~x1337 
39.09/39.26	v ~x1760 ~x2183 ~x494 x2605 ~x3028 ~x75 ~x916 ~x1338 ~x1761 ~x2184 
39.09/39.26	v ~x495 ~x2606 ~x3029 ~x76 ~x917 ~x1339 ~x1762 ~x2185 ~x496 ~x2607 
39.09/39.26	v ~x3030 ~x77 ~x918 ~x1340 ~x1763 ~x2186 ~x497 ~x2608 ~x3031 ~x78 
39.09/39.26	v ~x919 ~x1341 ~x1764 ~x2187 ~x498 ~x2609 ~x3032 ~x79 ~x920 ~x1342 
39.09/39.26	v ~x1765 ~x2188 ~x499 ~x2610 ~x3033 ~x80 ~x921 ~x1343 ~x1766 ~x500 
39.09/39.26	v x2611 ~x3034 ~x81 ~x922 ~x1344 ~x1767 ~x501 ~x2189 ~x2612 ~x3035 
39.09/39.26	v x82 ~x923 ~x1345 ~x1768 ~x502 ~x2190 x2613 ~x3036 ~x83 ~x924 
39.09/39.26	v ~x1346 ~x1769 ~x503 ~x2191 ~x2614 ~x3037 ~x84 ~x925 ~x1347 ~x1770 
39.09/39.26	v ~x504 ~x2192 ~x2615 ~x3038 ~x85 ~x926 ~x1348 ~x1771 ~x505 ~x2193 
39.09/39.26	v x2616 ~x3039 ~x86 ~x927 ~x1349 ~x1772 ~x506 ~x2194 ~x2617 ~x3040 
39.09/39.26	v ~x87 ~x928 ~x1350 ~x1773 ~x507 ~x2195 ~x2618 ~x3041 ~x88 ~x929 
39.09/39.26	v ~x1351 ~x1774 ~x508 ~x2196 ~x2619 ~x3042 ~x89 ~x930 ~x1352 ~x1775 
39.09/39.26	v ~x509 ~x2197 ~x2620 ~x3043 ~x90 ~x931 ~x1353 ~x1776 ~x510 ~x2198 
39.09/39.26	v ~x2621 ~x3044 ~x91 ~x932 ~x1354 ~x1777 ~x511 ~x2199 

OK	7

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (62647 MiB free)
  memory of node 1: 64465 MiB (61252 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509559-1751520493/watcher-4509559-1751520493 -o /tmp/evaluation-result-4509559-1751520493/solver-4509559-1751520493 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751516881-86833 --watchdog 3760 pb_picat HOME/instance-4509559-1751520493.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
Current StackSize limit: 8192 KiB

solver pid=87263, runsolver pid=87252

[startup+0.10006 s]*
/proc/loadavg: 4.10 4.09 4.04 6/264 87264
/proc/meminfo: memFree=126789856/131250000 swapFree=33010160/33010684
[pid=87263] ppid=87252 vsize=2037024 memory=42740 CPUtime=0.08 cores=5,7
/proc/87263/stat : 87263 (pb_picat) R 87252 87263 86820 0 -1 4194304 1574 0 0 0 8 0 0 0 20 0 1 0 67726821 2085912576 10685 18446744073709551615 94220729364480 94220730766061 140721456920304 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 94220731037488 94220732911792 94220764766208 140721456929182 140721456929258 140721456929258 140721456934860 0
/proc/87263/statm: 509256 10685 1696 343 0 506320 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2037024 KiB
Current children cumulated memory: 42740 KiB

[startup+0.205715 s]*
/proc/loadavg: 4.10 4.09 4.04 6/264 87264
/proc/meminfo: memFree=126768684/131250000 swapFree=33010160/33010684
[pid=87263] ppid=87252 vsize=2043044 memory=46692 CPUtime=0.19 cores=5,7
/proc/87263/stat : 87263 (pb_picat) R 87252 87263 86820 0 -1 4194304 2820 0 0 0 17 2 0 0 20 0 1 0 67726821 2092077056 11673 18446744073709551615 94220729364480 94220730766061 140721456920304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94220731037488 94220732911792 94220764766208 140721456929182 140721456929258 140721456929258 140721456934860 0
/proc/87263/statm: 510761 11673 1696 343 0 507825 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2043044 KiB
Current children cumulated memory: 46692 KiB

[startup+0.305652 s]*
/proc/loadavg: 4.10 4.09 4.04 6/264 87264
/proc/meminfo: memFree=126744108/131250000 swapFree=33010160/33010684
[pid=87263] ppid=87252 vsize=2046052 memory=50828 CPUtime=0.29 cores=5,7
/proc/87263/stat : 87263 (pb_picat) R 87252 87263 86820 0 -1 4194304 4167 0 0 0 26 3 0 0 20 0 1 0 67726821 2095157248 12707 18446744073709551615 94220729364480 94220730766061 140721456920304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94220731037488 94220732911792 94220764766208 140721456929182 140721456929258 140721456929258 140721456934860 0
/proc/87263/statm: 511513 12707 1696 343 0 508577 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2046052 KiB
Current children cumulated memory: 50828 KiB

[startup+0.700125 s]
/proc/loadavg: 4.10 4.09 4.04 6/264 87264
/proc/meminfo: memFree=126710272/131250000 swapFree=33010160/33010684
[pid=87263] ppid=87252 vsize=2057316 memory=60400 CPUtime=0.68 cores=5,7
/proc/87263/stat : 87263 (pb_picat) R 87252 87263 86820 0 -1 4194304 6577 0 0 0 63 5 0 0 20 0 1 0 67726821 2106691584 15100 18446744073709551615 94220729364480 94220730766061 140721456920304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94220731037488 94220732911792 94220764766208 140721456929182 140721456929258 140721456929258 140721456934860 0
/proc/87263/statm: 514329 15100 1696 343 0 511393 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2057316 KiB
Current children cumulated memory: 60400 KiB

[startup+1.50012 s]
/proc/loadavg: 4.10 4.09 4.04 6/264 87264
/proc/meminfo: memFree=126659192/131250000 swapFree=33010160/33010684
[pid=87263] ppid=87252 vsize=2057316 memory=60528 CPUtime=1.48 cores=5,7
/proc/87263/stat : 87263 (pb_picat) R 87252 87263 86820 0 -1 4194304 6593 0 0 0 143 5 0 0 20 0 1 0 67726821 2106691584 15132 18446744073709551615 94220729364480 94220730766061 140721456920304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94220731037488 94220732911792 94220764766208 140721456929182 140721456929258 140721456929258 140721456934860 0
/proc/87263/statm: 514329 15132 1696 343 0 511393 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2057316 KiB
Current children cumulated memory: 60528 KiB

[startup+3.10552 s]
/proc/loadavg: 4.09 4.09 4.04 6/264 87264
/proc/meminfo: memFree=127347360/131250000 swapFree=33010160/33010684
[pid=87263] ppid=87252 vsize=2057316 memory=60528 CPUtime=3.08 cores=5,7
/proc/87263/stat : 87263 (pb_picat) R 87252 87263 86820 0 -1 4194304 6635 0 0 0 303 5 0 0 20 0 1 0 67726821 2106691584 15132 18446744073709551615 94220729364480 94220730766061 140721456920304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94220731037488 94220732911792 94220764766208 140721456929182 140721456929258 140721456929258 140721456934860 0
/proc/87263/statm: 514329 15132 1696 343 0 511393 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2057316 KiB
Current children cumulated memory: 60528 KiB

[startup+6.30016 s]
/proc/loadavg: 4.09 4.09 4.04 6/264 87309
/proc/meminfo: memFree=129356556/131250000 swapFree=33010160/33010684
[pid=87263] ppid=87252 vsize=2074624 memory=65624 CPUtime=6.26 cores=5,7
/proc/87263/stat : 87263 (pb_picat) R 87252 87263 86820 0 -1 4194304 15374 0 0 0 618 8 0 0 20 0 1 0 67726821 2124414976 16406 18446744073709551615 94220729364480 94220730766061 140721456920304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94220731037488 94220732911792 94220764766208 140721456929182 140721456929258 140721456929258 140721456934860 0
/proc/87263/statm: 518656 16406 1696 343 0 515720 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2074624 KiB
Current children cumulated memory: 65624 KiB

[startup+12.7001 s]
/proc/loadavg: 4.16 4.11 4.04 6/264 87309
/proc/meminfo: memFree=129267828/131250000 swapFree=33010160/33010684
[pid=87263] ppid=87252 vsize=2066844 memory=72312 CPUtime=12.64 cores=5,7
/proc/87263/stat : 87263 (pb_picat) R 87252 87263 86820 0 -1 4194304 27311 0 0 0 1250 14 0 0 20 0 1 0 67726821 2116448256 18078 18446744073709551615 94220729364480 94220730766061 140721456920304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94220731037488 94220732911792 94220764766208 140721456929182 140721456929258 140721456929258 140721456934860 0
/proc/87263/statm: 516711 18078 1696 343 0 513775 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2066844 KiB
Current children cumulated memory: 72312 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.10 4.04 6/264 87309
/proc/meminfo: memFree=129244284/131250000 swapFree=33010160/33010684
[pid=87263] ppid=87252 vsize=2083144 memory=80836 CPUtime=25.42 cores=5,7
/proc/87263/stat : 87263 (pb_picat) R 87252 87263 86820 0 -1 4194304 33303 0 0 0 2517 25 0 0 20 0 1 0 67726821 2133139456 20209 18446744073709551615 94220729364480 94220730766061 140721456920304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94220731037488 94220732911792 94220764766208 140721456929182 140721456929258 140721456929258 140721456934860 0
/proc/87263/statm: 520786 20209 1696 343 0 517850 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2083144 KiB
Current children cumulated memory: 80836 KiB

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

# cumulated CPU time of all completed processes:  user=38.8319 s, system=0.328144 s

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

[startup+25.6002 s]
/proc/loadavg: 4.13 4.10 4.04 6/264 87309
/proc/meminfo: memFree=129244284/131250000 swapFree=33010160/33010684
[pid=87263] ppid=87252 vsize=2083144 memory=80836 CPUtime=25.52 cores=5,7
/proc/87263/stat : 87263 (pb_picat) R 87252 87263 86820 0 -1 4194304 33303 0 0 0 2527 25 0 0 20 0 1 0 67726821 2133139456 20209 18446744073709551615 94220729364480 94220730766061 140721456920304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94220731037488 94220732911792 94220764766208 140721456929182 140721456929258 140721456929258 140721456934860 0
/proc/87263/statm: 520786 20209 1696 343 0 517850 0
Current children cumulated CPU time: 25.52 s
Current children cumulated vsize: 2083144 KiB
Current children cumulated memory: 80836 KiB

[startup+32.0002 s]*
/proc/loadavg: 4.12 4.10 4.04 6/264 87309
/proc/meminfo: memFree=129266560/131250000 swapFree=33010160/33010684
[pid=87263] ppid=87252 vsize=2083144 memory=82884 CPUtime=31.91 cores=5,7
/proc/87263/stat : 87263 (pb_picat) R 87252 87263 86820 0 -1 4194304 33304 0 0 0 3165 26 0 0 20 0 1 0 67726821 2133139456 20721 18446744073709551615 94220729364480 94220730766061 140721456920304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94220731037488 94220732911792 94220764766208 140721456929182 140721456929258 140721456929258 140721456934860 0
/proc/87263/statm: 520786 20721 1696 343 0 517850 0
Current children cumulated CPU time: 31.91 s
Current children cumulated vsize: 2083144 KiB
Current children cumulated memory: 82884 KiB

[startup+35.2001 s]
/proc/loadavg: 4.11 4.10 4.04 6/264 87309
/proc/meminfo: memFree=129256404/131250000 swapFree=33010160/33010684
[pid=87263] ppid=87252 vsize=2065864 memory=70732 CPUtime=35.1 cores=5,7
/proc/87263/stat : 87263 (pb_picat) R 87252 87263 86820 0 -1 4194304 36235 0 0 0 3479 31 0 0 20 0 1 0 67726821 2115444736 17683 18446744073709551615 94220729364480 94220730766061 140721456920304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94220731037488 94220732911792 94220764766208 140721456929182 140721456929258 140721456929258 140721456934860 0
/proc/87263/statm: 516466 17683 1696 343 0 513530 0
Current children cumulated CPU time: 35.1 s
Current children cumulated vsize: 2065864 KiB
Current children cumulated memory: 70732 KiB

[startup+36.8001 s]
/proc/loadavg: 4.11 4.10 4.04 6/264 87309
/proc/meminfo: memFree=129242352/131250000 swapFree=33010160/33010684
[pid=87263] ppid=87252 vsize=2065864 memory=70860 CPUtime=36.69 cores=5,7
/proc/87263/stat : 87263 (pb_picat) R 87252 87263 86820 0 -1 4194304 36286 0 0 0 3638 31 0 0 20 0 1 0 67726821 2115444736 17715 18446744073709551615 94220729364480 94220730766061 140721456920304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94220731037488 94220732911792 94220764766208 140721456929182 140721456929258 140721456929258 140721456934860 0
/proc/87263/statm: 516466 17715 1696 343 0 513530 0
Current children cumulated CPU time: 36.69 s
Current children cumulated vsize: 2065864 KiB
Current children cumulated memory: 70860 KiB

[startup+38.4001 s]
/proc/loadavg: 4.10 4.09 4.04 6/264 87309
/proc/meminfo: memFree=129252592/131250000 swapFree=33010160/33010684
[pid=87263] ppid=87252 vsize=2065864 memory=71116 CPUtime=38.28 cores=5,7
/proc/87263/stat : 87263 (pb_picat) R 87252 87263 86820 0 -1 4194304 36357 0 0 0 3797 31 0 0 20 0 1 0 67726821 2115444736 17779 18446744073709551615 94220729364480 94220730766061 140721456920304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94220731037488 94220732911792 94220764766208 140721456929182 140721456929258 140721456929258 140721456934860 0
/proc/87263/statm: 516466 17779 1696 343 0 513530 0
Current children cumulated CPU time: 38.28 s
Current children cumulated vsize: 2065864 KiB
Current children cumulated memory: 71116 KiB

[startup+38.8001 s]
/proc/loadavg: 4.10 4.09 4.04 6/264 87309
/proc/meminfo: memFree=129252592/131250000 swapFree=33010160/33010684
[pid=87263] ppid=87252 vsize=2082248 memory=80836 CPUtime=38.69 cores=5,7
/proc/87263/stat : 87263 (pb_picat) R 87252 87263 86820 0 -1 4194304 36734 0 0 0 3837 32 0 0 20 0 1 0 67726821 2132221952 20209 18446744073709551615 94220729364480 94220730766061 140721456920304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94220731037488 94220732911792 94220764766208 140721456929182 140721456929258 140721456929258 140721456934860 0
/proc/87263/statm: 520562 20209 1696 343 0 517626 0
Current children cumulated CPU time: 38.69 s
Current children cumulated vsize: 2082248 KiB
Current children cumulated memory: 80836 KiB

[startup+39.2002 s]
/proc/loadavg: 4.10 4.09 4.04 6/264 87309
/proc/meminfo: memFree=129232112/131250000 swapFree=33010160/33010684
[pid=87263] ppid=87252 vsize=2082248 memory=80836 CPUtime=39.09 cores=5,7
/proc/87263/stat : 87263 (pb_picat) R 87252 87263 86820 0 -1 4194304 36734 0 0 0 3877 32 0 0 20 0 1 0 67726821 2132221952 20209 18446744073709551615 94220729364480 94220730766061 140721456920304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94220731037488 94220732911792 94220764766208 140721456929182 140721456929258 140721456929258 140721456934860 0
/proc/87263/statm: 520562 20209 1696 343 0 517626 0
Current children cumulated CPU time: 39.09 s
Current children cumulated vsize: 2082248 KiB
Current children cumulated memory: 80836 KiB

Child status: 0

Real time (s): 39.2639
CPU time (s): 39.1601
CPU user time (s): 38.8319
CPU system time (s): 0.328144
CPU usage (%): 99.7356
Max. virtual memory (cumulated for all children) (KiB): 2083144
Max. memory (cumulated for all children) (KiB): 82884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.8319
system time used= 0.328144
maximum resident set size= 82884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36740
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= 68
involuntary context switches= 47


# summary of solver processes directly reported to runsolver:
#   pid: 87263
#   total CPU time (s): 39.1601
#   total CPU user time (s): 38.8319
#   total CPU system time (s): 0.328144

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.089154 second user time and 0.199086 second system time

The end

Begin job on nodeC016 at 2025-07-03 07:28:13
IDJOB=4509559
IDBENCH=158624
IDSOLVER=3346
FILE ID=nodeC016/4509559-1751520493
RUNJOBID= nodeC016-1751516881-86833
SLURM_JOB_ID= 9598631
Free space on /tmp= 432884 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm25p-opt.opb.negationfix.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509559-1751520493/watcher-4509559-1751520493 -o /tmp/evaluation-result-4509559-1751520493/solver-4509559-1751520493 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751516881-86833 --watchdog 3760  pb_picat HOME/instance-4509559-1751520493.opb

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

MD5SUM BENCH= 70957a799158f998d71b00eb63ac97d0
RANDOM SEED=1346644144

nodeC016 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		: 2196.657
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.48
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.732
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.48
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		: 1910.205
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.48
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.260
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.48
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		: 2040.193
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.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        126876636 kB
MemAvailable:   126958208 kB
Buffers:            2144 kB
Cached:           850264 kB
SwapCached:           28 kB
Active:          3440992 kB
Inactive:         230484 kB
Active(anon):    2831824 kB
Inactive(anon):     5288 kB
Active(file):     609168 kB
Inactive(file):   225196 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             11820 kB
Writeback:             0 kB
AnonPages:       2822164 kB
Mapped:           107772 kB
Shmem:             18044 kB
KReclaimable:     172896 kB
Slab:             265416 kB
SReclaimable:     172896 kB
SUnreclaim:        92520 kB
KernelStack:        4176 kB
PageTables:         8392 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    4595884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2482176 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432880 MiB
End job on nodeC016 at 2025-07-03 07:28:52