0.00/0.00	c Using cadical-2.1.3-f13d744 SAT solver by Armin Biere et al. (2016 - )
0.00/0.00	c Setting memory limit to 31000MB.
0.00/0.00	c Parsing PB file...
0.10/0.15	c Converting 374 PB-constraints to clauses...
1.28/1.37	o 180405197656
1.28/1.39	c ============================[  Problem Statistics ]============================
1.28/1.39	c |  Number of variables:         47626                                         |
1.28/1.39	c |  Number of clauses:          169507 (incl.         3368 soft in queue)      |
1.28/1.39	c ===============================================================================
3.09/3.17	o 88520055640
3.09/3.18	o 44228205400
6.17/6.25	o 16745194147
8.66/8.72	o 7890237049
40.87/41.05	o 2562243150
42.76/42.95	o 2202761414
42.76/42.97	o 1203992774
52.52/52.78	o 344058236
55.51/55.74	o 221351953
55.51/55.75	o 125407249
56.11/56.37	o 62647288
57.69/57.93	o 40057875
59.19/59.45	o 39685827
63.48/63.73	o 34988441
70.05/70.35	o 20501216
76.04/76.36	o 15503573
77.63/77.90	o 12861984
85.51/85.86	o 12133143
120.91/121.34	o 12115972
1387.67/1391.55	c Switching to binary search ... (after 1386.49 s and 5000001 conflicts) with 2584 goal literals and 0 assumptions
1530.32/1534.59	o 11305712
3600.05/3610.40	c *** TERMINATED by signal 15 ***
3600.05/3610.40	c _______________________________________________________________________________
3600.05/3610.40	c 
3600.05/3610.40	c _______________________________________________________________________________
3600.05/3610.40	c 
3600.05/3610.40	c =======================[ UWrMaxSat resources usage ]===========================
3600.05/3610.40	c Memory used            : 478.00 MB
3600.05/3610.40	c CPU time               : 3597.45 s
3600.05/3610.40	c Constr Enc: Srt/BDD/Add: 310 0 0
3600.05/3610.40	c OptExp Enc: Srt/BDD/Add: 141 0 0
3600.05/3610.40	c _______________________________________________________________________________
3600.05/3610.40	c _______________________________________________________________________________
3600.05/3610.40	
3600.05/3610.40	v x1 -x2 x3 -x4 x5 x6 x7 x8 x9 x10 x11 -x12 x13 x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x1920 -x1921 x1922 x1923 x1924 x1925 x1926 x1927 x1928 x1929 -x1930 -x1931 -x1932 -x1933 x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x2291 x2292 x2293 -x2294 x2295 x2296 -x2297 -x2298 -x2299 -x2300 x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2621 x2622 -x2623 x2624 x2625 x2626 -x2627 -x2628 -x2629 -x2630 x2631 x2632 x2633 x2634 x2635 x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 x2951 x2952 x2953 -x2954 -x2955 x2956 -x2957 -x2958 -x2959 x2960 -x2961 -x2962 x2963 x2964 x2965 x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x3281 -x3282 -x3283 x3284 x3285 x3286 x3287 x3288 -x3289 -x3290 -x3291 -x3292 -x3293 x3294 -x3295 x3296 x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 x3617 -x3618 x3619 -x3620 -x3621 -x3622 x3623 -x3624 -x3625 x3626 x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 x3953 x3954 x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 x4271 x4272 x4273 -x4274 x4275 x4276 x4277 -x4278 -x4279 x4280 -x4281 x4282 -x4283 x4284 -x4285 x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x31 -x32 -x33 x34 x35 x36 x37 -x38 x39 -x40 -x41 -x42 x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x361 -x362 x363 -x364 -x365 x366 -x367 x368 x369 x370 -x371 x372 x373 x374 -x375 x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 x841 x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1261 -x1262 -x1263 x1264 x1265 x1266 x1267 x1268 x1269 x1270 x1271 x1272 x1273 -x1274 x1275 x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1478 -x1479 -x1480 -x1481 x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 x1489 x1490 -x1491 -x1492 -x1493 x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1688 -x1689 -x1690 x1691 -x1692 -x1693 x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1840 -x1841 -x1842 -x1843 x1844 x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 x1889 -x1890 -x1891 x1892 x1893 -x1894 x1895 x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 x1959 -x1960 -x1961 -x1962 x1963 -x1964 x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1990 x1991 -x1992 -x1993 -x1994 -x1995 -x1996 x1997 x1998 x1999 x2000 -x2001 -x2002 -x2003 -x2004 x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2110 -x2111 -x2112 -x2113 x2114 -x2115 -x2116 -x2117 -x2118 x2119 -x2120 -x2121 x2122 x2123 x2124 x2125 x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 x2141 -x2142 -x2143 -x2144 -x2145 -x2146 x2147 -x2148 -x2149 x2150 -x2151 x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 x2177 -x2178 -x2179 x2180 x2181 -x2182 x2183 -x2184 -x2185 -x2186 x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 x2208 -x2209 x2210 x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 x2244 -x2245 x2246 x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 x2272 x2273 x2274 -x2275 x2276 x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 x2335 x2336 x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 x2366 x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 x2392 -x2393 -x2394 -x2395 -x2396 x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 x2424 -x2425 x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 x2452 -x2453 -x2454 -x2455 x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 x2482 -x2483 x2484 x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 x2531 x2532 x2533 x2534 x2535 x2536 -x2537 -x2538 x2539 x2540 -x2541 x2542 -x2543 x2544 -x2545 -x2546 -x2547 x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 x2561 x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 x2569 x2570 x2571 -x2572 -x2573 -x2574 -x2575 x2576 x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 x2591 x2592 -x2593 -x2594 -x2595 x2596 -x2597 -x2598 -x2599 -x2600 x2601 -x2602 -x2603 -x2604 -x2605 -x2606 x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2651 x2652 x2653 -x2654 -x2655 -x2656 -x2657 x2658 x2659 -x2660 x2661 -x2662 -x2663 -x2664 x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 x2682 x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 x2711 -x2712 -x2713 -x2714 -x2715 -x2716 x2717 -x2718 x2719 x2720 x2721 -x2722 x2723 -x2724 x2725 x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 x2935 x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 x2992 x2993 -x2994 -x2995 x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 x3172 x3173 x3174 -x3175 x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 x3194 x3195 x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 x3205 x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 x3227 -x3228 -x3229 -x3230 x3231 -x3232 -x3233 x3234 x3235 x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 x3254 -x3255 -x3256 x3257 x3258 -x3259 x3260 -x3261 x3262 x3263 x3264 x3265 x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3311 -x3312 x3313 x3314 -x3315 -x3316 x3317 x3318 -x3319 x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 x3344 x3345 x3346 -x3347 x3348 -x3349 -x3350 -x3351 x3352 -x3353 -x3354 x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 x3374 x3375 x3376 x3377 x3378 -x3379 -x3380 -x3381 -x3382 x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 x3407 -x3408 x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 x3445 x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 x3468 x3469 -x3470 -x3471 -x3472 -x3473 x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 x3498 -x3499 -x3500 -x3501 -x3502 x3503 x3504 x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 x3527 -x3528 x3529 x3530 -x3531 -x3532 -x3533 x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 x3551 x3552 -x3553 x3554 x3555 -x3556 -x3557 x3558 x3559 x3560 x3561 x3562 x3563 -x3564 x3565 x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 x3592 x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 x3652 x3653 x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 x3704 -x3705 x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 x3736 x3737 -x3738 -x3739 -x3740 -x3741 x3742 -x3743 x3744 x3745 x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 x3764 -x3765 -x3766 x3767 -x3768 -x3769 -x3770 -x3771 x3772 x3773 -x3774 -x3775 x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 x3792 x3793 x3794 x3795 x3796 x3797 -x3798 -x3799 x3800 -x3801 x3802 -x3803 x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 x3822 x3823 x3824 x3825 x3826 x3827 -x3828 -x3829 x3830 -x3831 x3832 x3833 -x3834 x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 x3862 -x3863 x3864 -x3865 x3866 x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 x3923 -x3924 -x3925 x3926 x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 x3971 x3972 x3973 x3974 x3975 -x3976 x3977 x3978 x3979 x3980 x3981 x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 x4042 x4043 -x4044 -x4045 x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 x4067 -x4068 -x4069 -x4070 -x4071 -x4072 x4073 x4074 x4075 x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 x4192 x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 x4372 x4373 -x4374 -x4375 -x4376 x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 x4394 x4395 x4396 x4397 -x4398 -x4399 -x4400 -x4401 x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 x4423 x4424 x4425 x4426 x4427 x4428 x4429 x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 x4453 x4454 x4455 -x4456 -x4457 -x4458 x4459 -x4460 -x4461 -x4462 -x4463 x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 x4481 x4482 x4483 x4484 x4485 x4486 x4487 -x4488 -x4489 x4490 -x4491 -x4492 x4493 x4494 x4495 x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 x4511 x4512 x4513 x4514 x4515 x4516 x4517 x4518 -x4519 -x4520 x4521 x4522 x4523 x4524 x4525 x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 x4542 -x4543 x4544 x4545 x4546 -x4547 -x4548 -x4549 -x4550 x4551 -x4552 x4553 x4554 x4555 -x4556 -x4557 x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 x102 x103 -x104 -x105 -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 x166 x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 x283 x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 x313 x314 x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 x343 x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x1837 -x1838 x1839 x1870 x1871 x1872 -x1873 -x1874 -x1875 x1876 -x1877 x1878 -x1879 x1910 -x1911 -x1912 x1913 -x1914 -x1915 -x1916 x1917 -x1918 -x1919 x1980 -x1981 -x1982 x1983 -x1984 x1985 -x1986 x1987 -x1988 x1989 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 x2028 x2029 -x2060 -x2061 -x2062 -x2063 x2064 -x2065 -x2066 -x2067 -x2068 -x2069 x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 x2109 -x2140 x481 -x482 x483 x484 x485 x486 -x487 x488 x489 x490 x491 -x492 x493 x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 x523 x524 -x525 x526 x527 -x528 -x529 -x530 x531 x532 x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 x553 x554 x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 x580 -x581 -x582 x583 -x584 x585 x586 -x587 -x588 x589 -x590 -x591 -x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 x681 x682 x683 -x684 x685 x686 x687 x688 -x689 -x690 -x691 x692 x693 x694 x695 -x696 x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 x718 x719 x720 -x721 x722 x723 -x724 x725 x726 x727 x728 x729 x730 x731 x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 x753 x754 -x755 x756 x757 -x758 -x759 x760 x761 x762 x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 x810 -x811 x812 x813 x814 x815 x816 x817 x818 x819 x820 x821 -x822 -x823 x824 -x825 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 x914 -x915 x916 x917 -x918 -x919 x920 x921 x922 x923 x924 x925 -x926 -x927 x928 -x929 x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 x971 x972 x973 x974 x975 x976 -x977 -x978 -x979 -x980 -x981 -x982 x983 -x984 x985 x986 x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 x1027 -x1028 -x1029 -x1030 x1031 x1032 -x1033 -x1034 -x1035 x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 x1043 -x1044 x1045 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 x1095 x1096 x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 x1105 -x1106 x1107 x1108 x1109 -x1110 x1111 x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 x1139 x1140 x1141 -x1142 -x1143 x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 x1186 -x1187 x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 x1364 x1365 x1366 -x1367 -x1368 -x1369 x1370 x1371 -x1372 x1373 -x1374 x1375 x1376 -x1377 x1378 x1379 x1380 x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 x1508 -x1509 -x1510 x1511 x1512 x1513 x1514 x1515 -x1516 -x1517 x1518 -x1519 -x1520 x1521 x1522 -x1523 -x1524 x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 x1631 x1632 x1633 x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 x1815 -x1816 -x1817 x1818 x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836
3600.05/3610.40	s SATISFIABLE

OK	11305712

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: 63794 MiB (60672 MiB free)
  memory of node 1: 64507 MiB (62545 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486163-1751290915/watcher-4486163-1751290915 -o /tmp/evaluation-result-4486163-1751290915/solver-4486163-1751290915 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751281373-39354 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4486163-1751290915.opb -mem-lim=31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Linux 5.14.0-503.14.1.el
Current StackSize limit: 8192 KiB

solver pid=40655, runsolver pid=40652

[startup+0.100072 s]*
/proc/loadavg: 4.12 4.22 4.18 5/252 40656
/proc/meminfo: memFree=126168952/131382120 swapFree=33010416/33010684
[pid=40655] ppid=40652 vsize=8044 memory=6528 CPUtime=0.1 cores=1,3
/proc/40655/stat : 40655 (uwrmaxsat) R 40652 40655 39342 0 -1 4194304 1359 0 0 0 10 0 0 0 20 0 1 0 44770838 8237056 1632 18446744073709551615 4198400 6176925 140722735284720 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 19861504 140722735286634 140722735286761 140722735286761 140722735292363 0
/proc/40655/statm: 2011 1632 448 484 0 1422 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 8044 KiB
Current children cumulated memory: 6528 KiB

[startup+0.213497 s]*
/proc/loadavg: 4.12 4.22 4.18 5/252 40656
/proc/meminfo: memFree=126168952/131382120 swapFree=33010416/33010684
[pid=40655] ppid=40652 vsize=10692 memory=8832 CPUtime=0.21 cores=1,3
/proc/40655/stat : 40655 (uwrmaxsat) R 40652 40655 39342 0 -1 4194304 1951 0 0 0 21 0 0 0 20 0 1 0 44770838 10948608 2208 18446744073709551615 4198400 6176925 140722735284720 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 19861504 140722735286634 140722735286761 140722735286761 140722735292363 0
/proc/40655/statm: 2673 2208 448 484 0 2084 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 10692 KiB
Current children cumulated memory: 8832 KiB

[startup+0.313178 s]*
/proc/loadavg: 4.12 4.22 4.18 5/252 40656
/proc/meminfo: memFree=126168952/131382120 swapFree=33010416/33010684
[pid=40655] ppid=40652 vsize=11296 memory=9472 CPUtime=0.31 cores=1,3
/proc/40655/stat : 40655 (uwrmaxsat) R 40652 40655 39342 0 -1 4194304 2091 0 0 0 31 0 0 0 20 0 1 0 44770838 11567104 2368 18446744073709551615 4198400 6176925 140722735284720 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 19861504 140722735286634 140722735286761 140722735286761 140722735292363 0
/proc/40655/statm: 2824 2368 448 484 0 2235 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 11296 KiB
Current children cumulated memory: 9472 KiB

[startup+0.700326 s]
/proc/loadavg: 4.12 4.22 4.18 5/252 40656
/proc/meminfo: memFree=126169204/131382120 swapFree=33010416/33010684
[pid=40655] ppid=40652 vsize=12860 memory=10668 CPUtime=0.69 cores=1,3
/proc/40655/stat : 40655 (uwrmaxsat) R 40652 40655 39342 0 -1 4194304 2547 0 0 0 68 1 0 0 20 0 1 0 44770838 13168640 2667 18446744073709551615 4198400 6176925 140722735284720 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 19861504 140722735286634 140722735286761 140722735286761 140722735292363 0
/proc/40655/statm: 3215 2667 448 484 0 2626 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 12860 KiB
Current children cumulated memory: 10668 KiB

[startup+1.50034 s]
/proc/loadavg: 4.12 4.22 4.18 5/252 40656
/proc/meminfo: memFree=126169204/131382120 swapFree=33010416/33010684
[pid=40655] ppid=40652 vsize=68820 memory=63640 CPUtime=1.48 cores=1,3
/proc/40655/stat : 40655 (uwrmaxsat) R 40652 40655 39342 0 -1 4194304 15233 0 0 0 144 4 0 0 20 0 1 0 44770838 70471680 15910 18446744073709551615 4198400 6176925 140722735284720 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 19861504 140722735286634 140722735286761 140722735286761 140722735292363 0
/proc/40655/statm: 17205 15910 512 484 0 16616 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 68820 KiB
Current children cumulated memory: 63640 KiB

[startup+3.11302 s]
/proc/loadavg: 4.11 4.22 4.18 5/252 40656
/proc/meminfo: memFree=126125572/131382120 swapFree=33010416/33010684
[pid=40655] ppid=40652 vsize=77296 memory=72816 CPUtime=3.09 cores=1,3
/proc/40655/stat : 40655 (uwrmaxsat) R 40652 40655 39342 0 -1 4194304 19512 0 0 0 303 6 0 0 20 0 1 0 44770838 79151104 18204 18446744073709551615 4198400 6176925 140722735284720 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 19861504 140722735286634 140722735286761 140722735286761 140722735292363 0
/proc/40655/statm: 19324 18204 512 484 0 18735 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 77296 KiB
Current children cumulated memory: 72816 KiB

[startup+6.30035 s]
/proc/loadavg: 4.11 4.22 4.18 5/252 40656
/proc/meminfo: memFree=126121512/131382120 swapFree=33010416/33010684
[pid=40655] ppid=40652 vsize=76928 memory=72408 CPUtime=6.27 cores=1,3
/proc/40655/stat : 40655 (uwrmaxsat) R 40652 40655 39342 0 -1 4194304 21039 0 0 0 621 6 0 0 20 0 1 0 44770838 78774272 18102 18446744073709551615 4198400 6176925 140722735284720 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 19861504 140722735286634 140722735286761 140722735286761 140722735292363 0
/proc/40655/statm: 19232 18102 512 484 0 18643 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 76928 KiB
Current children cumulated memory: 72408 KiB

[startup+12.7003 s]
/proc/loadavg: 4.09 4.21 4.18 5/252 40656
/proc/meminfo: memFree=126107504/131382120 swapFree=33010416/33010684
[pid=40655] ppid=40652 vsize=70516 memory=66060 CPUtime=12.64 cores=1,3
/proc/40655/stat : 40655 (uwrmaxsat) R 40652 40655 39342 0 -1 4194304 23551 0 0 0 1257 7 0 0 20 0 1 0 44770838 72208384 16515 18446744073709551615 4198400 6176925 140722735284720 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 19861504 140722735286634 140722735286761 140722735286761 140722735292363 0
/proc/40655/statm: 17629 16515 512 484 0 17040 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 70516 KiB
Current children cumulated memory: 66060 KiB

[startup+25.5004 s]
/proc/loadavg: 4.15 4.22 4.18 5/252 40656
/proc/meminfo: memFree=126140276/131382120 swapFree=33010416/33010684
[pid=40655] ppid=40652 vsize=92096 memory=87640 CPUtime=25.41 cores=1,3
/proc/40655/stat : 40655 (uwrmaxsat) R 40652 40655 39342 0 -1 4194304 29136 0 0 0 2531 10 0 0 20 0 1 0 44770838 94306304 21910 18446744073709551615 4198400 6176925 140722735284720 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 19861504 140722735286634 140722735286761 140722735286761 140722735292363 0
/proc/40655/statm: 23024 21910 512 484 0 22435 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 92096 KiB
Current children cumulated memory: 87640 KiB

[startup+51.1131 s]
/proc/loadavg: 4.10 4.20 4.17 5/252 40657
/proc/meminfo: memFree=126021704/131382120 swapFree=33010416/33010684
[pid=40655] ppid=40652 vsize=78180 memory=73724 CPUtime=50.93 cores=1,3
/proc/40655/stat : 40655 (uwrmaxsat) R 40652 40655 39342 0 -1 4194304 34926 0 0 0 5079 14 0 0 20 0 1 0 44770838 80056320 18431 18446744073709551615 4198400 6176925 140722735284720 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 19861504 140722735286634 140722735286761 140722735286761 140722735292363 0
/proc/40655/statm: 19545 18431 512 484 0 18956 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 78180 KiB
Current children cumulated memory: 73724 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.20 4.18 5/251 40659
/proc/meminfo: memFree=126020708/131382120 swapFree=33010416/33010684
[pid=40655] ppid=40652 vsize=143880 memory=141208 CPUtime=101.97 cores=1,3
/proc/40655/stat : 40655 (uwrmaxsat) R 40652 40655 39342 0 -1 4194304 43104 0 0 0 10176 21 0 0 20 0 1 0 44770838 147333120 35302 18446744073709551615 4198400 6176925 140722735284720 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 19861504 140722735286634 140722735286761 140722735286761 140722735292363 0
/proc/40655/statm: 35970 35302 512 484 0 35381 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 143880 KiB
Current children cumulated memory: 141208 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.17 4.17 5/251 40661
/proc/meminfo: memFree=125921704/131382120 swapFree=33010416/33010684
[pid=40655] ppid=40652 vsize=204892 memory=201152 CPUtime=161.8 cores=1,3
/proc/40655/stat : 40655 (uwrmaxsat) R 40652 40655 39342 0 -1 4194304 46811 0 0 0 16156 24 0 0 20 0 1 0 44770838 209809408 50288 18446744073709551615 4198400 6176925 140722735284720 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 19861504 140722735286634 140722735286761 140722735286761 140722735292363 0
/proc/40655/statm: 51223 50288 512 484 0 50634 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 204892 KiB
Current children cumulated memory: 201152 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.16 4.16 5/250 40662
/proc/meminfo: memFree=125845828/131382120 swapFree=33010416/33010684
[pid=40655] ppid=40652 vsize=207204 memory=204720 CPUtime=221.65 cores=1,3
/proc/40655/stat : 40655 (uwrmaxsat) R 40652 40655 39342 0 -1 4194304 50760 0 0 0 22130 35 0 0 20 0 1 0 44770838 212176896 51180 18446744073709551615 4198400 6176925 140722735284720 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 19861504 140722735286634 140722735286761 140722735286761 140722735292363 0
/proc/40655/statm: 51801 51180 512 484 0 51212 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 207204 KiB
Current children cumulated memory: 204720 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.14 4.16 5/249 40664
/proc/meminfo: memFree=125834144/131382120 swapFree=33010416/33010684
[pid=40655] ppid=40652 vsize=211648 memory=209164 CPUtime=281.48 cores=1,3
/proc/40655/stat : 40655 (uwrmaxsat) R 40652 40655 39342 0 -1 4194304 53419 0 0 0 28108 40 0 0 20 0 1 0 44770838 216727552 52291 18446744073709551615 4198400 6176925 140722735284720 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 19861504 140722735286634 140722735286761 140722735286761 140722735292363 0
/proc/40655/statm: 52912 52291 512 484 0 52323 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 211648 KiB
Current children cumulated memory: 209164 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/249 40666
/proc/meminfo: memFree=125849184/131382120 swapFree=33010416/33010684
[pid=40655] ppid=40652 vsize=214032 memory=211548 CPUtime=341.32 cores=1,3
/proc/40655/stat : 40655 (uwrmaxsat) R 40652 40655 39342 0 -1 4194304 55899 0 0 0 34086 46 0 0 20 0 1 0 44770838 219168768 52887 18446744073709551615 4198400 6176925 140722735284720 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 19861504 140722735286634 140722735286761 140722735286761 140722735292363 0
/proc/40655/statm: 53508 52887 512 484 0 52919 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 214032 KiB
Current children cumulated memory: 211548 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.14 4.16 5/250 40669
/proc/meminfo: memFree=125861868/131382120 swapFree=33010416/33010684
[pid=40655] ppid=40652 vsize=205748 memory=203152 CPUtime=401.16 cores=1,3
/proc/40655/stat : 40655 (uwrmaxsat) R 40652 40655 39342 0 -1 4194304 58826 0 0 0 40065 51 0 0 20 0 1 0 44770838 210685952 50788 18446744073709551615 4198400 6176925 140722735284720 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 19861504 140722735286634 140722735286761 140722735286761 140722735292363 0
/proc/40655/statm: 51437 50788 512 484 0 50848 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 205748 KiB
Current children cumulated memory: 203152 KiB

[startup+462.3 s]
/proc/loadavg: 4.24 4.16 4.16 5/250 40671
/proc/meminfo: memFree=125786880/131382120 swapFree=33010416/33010684
[pid=40655] ppid=40652 vsize=213464 memory=210992 CPUtime=461 cores=1,3
/proc/40655/stat : 40655 (uwrmaxsat) R 40652 40655 39342 0 -1 4194304 60890 0 0 0 46045 55 0 0 20 0 1 0 44770838 218587136 52748 18446744073709551615 4198400 6176925 140722735284720 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 19861504 140722735286634 140722735286761 140722735286761 140722735292363 0
/proc/40655/statm: 53366 52748 512 484 0 52777 0
Current children cumulated CPU time: 461 s

################
# More data... #
################

Current children cumulated memory: 332672 KiB

[startup+2862.3 s]
/proc/loadavg: 2.14 2.12 2.46 3/238 40857
/proc/meminfo: memFree=127247772/131382120 swapFree=33010416/33010684
[pid=40655] ppid=40652 vsize=336880 memory=333544 CPUtime=2854.51 cores=1,3
/proc/40655/stat : 40655 (uwrmaxsat) R 40652 40655 39342 0 -1 4194304 123518 0 0 0 285237 214 0 0 20 0 1 0 44770838 344965120 83386 18446744073709551615 4198400 6176925 140722735284720 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 19861504 140722735286634 140722735286761 140722735286761 140722735292363 0
/proc/40655/statm: 84220 83386 512 484 0 83631 0
Current children cumulated CPU time: 2854.51 s
Current children cumulated vsize: 336880 KiB
Current children cumulated memory: 333544 KiB

[startup+2922.3 s]
/proc/loadavg: 2.10 2.11 2.44 3/238 40859
/proc/meminfo: memFree=127209364/131382120 swapFree=33010416/33010684
[pid=40655] ppid=40652 vsize=337096 memory=333884 CPUtime=2914.34 cores=1,3
/proc/40655/stat : 40655 (uwrmaxsat) R 40652 40655 39342 0 -1 4194304 124009 0 0 0 291218 216 0 0 20 0 1 0 44770838 345186304 83471 18446744073709551615 4198400 6176925 140722735284720 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 19861504 140722735286634 140722735286761 140722735286761 140722735292363 0
/proc/40655/statm: 84274 83471 512 484 0 83685 0
Current children cumulated CPU time: 2914.34 s
Current children cumulated vsize: 337096 KiB
Current children cumulated memory: 333884 KiB

[startup+2982.3 s]
/proc/loadavg: 1.68 2.00 2.38 2/232 40892
/proc/meminfo: memFree=128365728/131382120 swapFree=33010416/33010684
[pid=40655] ppid=40652 vsize=338028 memory=334692 CPUtime=2974.14 cores=1,3
/proc/40655/stat : 40655 (uwrmaxsat) R 40652 40655 39342 0 -1 4194304 124670 0 0 0 297196 218 0 0 20 0 1 0 44770838 346140672 83673 18446744073709551615 4198400 6176925 140722735284720 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 19861504 140722735286634 140722735286761 140722735286761 140722735292363 0
/proc/40655/statm: 84507 83673 512 484 0 83918 0
Current children cumulated CPU time: 2974.14 s
Current children cumulated vsize: 338028 KiB
Current children cumulated memory: 334692 KiB

[startup+3042.3 s]
/proc/loadavg: 1.31 1.83 2.29 2/233 40901
/proc/meminfo: memFree=128367868/131382120 swapFree=33010416/33010684
[pid=40655] ppid=40652 vsize=349932 memory=341532 CPUtime=3033.93 cores=1,3
/proc/40655/stat : 40655 (uwrmaxsat) R 40652 40655 39342 0 -1 4194304 125046 0 0 0 303173 220 0 0 20 0 1 0 44770838 358330368 85383 18446744073709551615 4198400 6176925 140722735284720 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 19861504 140722735286634 140722735286761 140722735286761 140722735292363 0
/proc/40655/statm: 87483 85383 512 484 0 86894 0
Current children cumulated CPU time: 3033.93 s
Current children cumulated vsize: 349932 KiB
Current children cumulated memory: 341532 KiB

[startup+3102.3 s]
/proc/loadavg: 1.16 1.69 2.22 2/233 40903
/proc/meminfo: memFree=128407908/131382120 swapFree=33010416/33010684
[pid=40655] ppid=40652 vsize=280364 memory=277260 CPUtime=3093.73 cores=1,3
/proc/40655/stat : 40655 (uwrmaxsat) R 40652 40655 39342 0 -1 4194304 126400 0 0 0 309149 224 0 0 20 0 1 0 44770838 287092736 69315 18446744073709551615 4198400 6176925 140722735284720 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 19861504 140722735286634 140722735286761 140722735286761 140722735292363 0
/proc/40655/statm: 70091 69315 512 484 0 69502 0
Current children cumulated CPU time: 3093.73 s
Current children cumulated vsize: 280364 KiB
Current children cumulated memory: 277260 KiB

[startup+3162.3 s]
/proc/loadavg: 1.16 1.59 2.15 2/232 40905
/proc/meminfo: memFree=128405268/131382120 swapFree=33010416/33010684
[pid=40655] ppid=40652 vsize=280812 memory=277704 CPUtime=3153.51 cores=1,3
/proc/40655/stat : 40655 (uwrmaxsat) R 40652 40655 39342 0 -1 4194304 127452 0 0 0 315123 228 0 0 20 0 1 0 44770838 287551488 69426 18446744073709551615 4198400 6176925 140722735284720 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 19861504 140722735286634 140722735286761 140722735286761 140722735292363 0
/proc/40655/statm: 70203 69426 512 484 0 69614 0
Current children cumulated CPU time: 3153.51 s
Current children cumulated vsize: 280812 KiB
Current children cumulated memory: 277704 KiB

[startup+3222.3 s]
/proc/loadavg: 1.11 1.50 2.08 2/232 40907
/proc/meminfo: memFree=128404436/131382120 swapFree=33010416/33010684
[pid=40655] ppid=40652 vsize=280856 memory=277748 CPUtime=3213.3 cores=1,3
/proc/40655/stat : 40655 (uwrmaxsat) R 40652 40655 39342 0 -1 4194304 128768 0 0 0 321098 232 0 0 20 0 1 0 44770838 287596544 69437 18446744073709551615 4198400 6176925 140722735284720 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 19861504 140722735286634 140722735286761 140722735286761 140722735292363 0
/proc/40655/statm: 70214 69437 512 484 0 69625 0
Current children cumulated CPU time: 3213.3 s
Current children cumulated vsize: 280856 KiB
Current children cumulated memory: 277748 KiB

[startup+3282.3 s]
/proc/loadavg: 1.08 1.42 2.01 2/232 40909
/proc/meminfo: memFree=128403412/131382120 swapFree=33010416/33010684
[pid=40655] ppid=40652 vsize=281752 memory=278644 CPUtime=3273.09 cores=1,3
/proc/40655/stat : 40655 (uwrmaxsat) R 40652 40655 39342 0 -1 4194304 129068 0 0 0 327075 234 0 0 20 0 1 0 44770838 288514048 69661 18446744073709551615 4198400 6176925 140722735284720 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 19861504 140722735286634 140722735286761 140722735286761 140722735292363 0
/proc/40655/statm: 70438 69661 512 484 0 69849 0
Current children cumulated CPU time: 3273.09 s
Current children cumulated vsize: 281752 KiB
Current children cumulated memory: 278644 KiB

[startup+3342.3 s]
/proc/loadavg: 1.12 1.37 1.96 2/231 40911
/proc/meminfo: memFree=128403988/131382120 swapFree=33010416/33010684
[pid=40655] ppid=40652 vsize=282580 memory=279472 CPUtime=3332.87 cores=1,3
/proc/40655/stat : 40655 (uwrmaxsat) R 40652 40655 39342 0 -1 4194304 130499 0 0 0 333050 237 0 0 20 0 1 0 44770838 289361920 69868 18446744073709551615 4198400 6176925 140722735284720 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 19861504 140722735286634 140722735286761 140722735286761 140722735292363 0
/proc/40655/statm: 70645 69868 512 484 0 70056 0
Current children cumulated CPU time: 3332.87 s
Current children cumulated vsize: 282580 KiB
Current children cumulated memory: 279472 KiB

[startup+3402.3 s]
/proc/loadavg: 1.09 1.32 1.90 2/232 40914
/proc/meminfo: memFree=128405368/131382120 swapFree=33010416/33010684
[pid=40655] ppid=40652 vsize=282408 memory=279300 CPUtime=3392.67 cores=1,3
/proc/40655/stat : 40655 (uwrmaxsat) R 40652 40655 39342 0 -1 4194304 131505 0 0 0 339026 241 0 0 20 0 1 0 44770838 289185792 69825 18446744073709551615 4198400 6176925 140722735284720 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 19861504 140722735286634 140722735286761 140722735286761 140722735292363 0
/proc/40655/statm: 70602 69825 512 484 0 70013 0
Current children cumulated CPU time: 3392.67 s
Current children cumulated vsize: 282408 KiB
Current children cumulated memory: 279300 KiB

[startup+3462.3 s]
/proc/loadavg: 1.22 1.30 1.86 2/232 40916
/proc/meminfo: memFree=128389428/131382120 swapFree=33010416/33010684
[pid=40655] ppid=40652 vsize=297824 memory=294716 CPUtime=3452.47 cores=1,3
/proc/40655/stat : 40655 (uwrmaxsat) R 40652 40655 39342 0 -1 4194304 132734 0 0 0 345002 245 0 0 20 0 1 0 44770838 304971776 73679 18446744073709551615 4198400 6176925 140722735284720 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 19861504 140722735286634 140722735286761 140722735286761 140722735292363 0
/proc/40655/statm: 74456 73679 512 484 0 73867 0
Current children cumulated CPU time: 3452.47 s
Current children cumulated vsize: 297824 KiB
Current children cumulated memory: 294716 KiB

[startup+3522.3 s]
/proc/loadavg: 1.14 1.26 1.81 2/232 40918
/proc/meminfo: memFree=128351408/131382120 swapFree=33010416/33010684
[pid=40655] ppid=40652 vsize=334644 memory=331408 CPUtime=3512.26 cores=1,3
/proc/40655/stat : 40655 (uwrmaxsat) R 40652 40655 39342 0 -1 4194304 136490 0 0 0 350975 251 0 0 20 0 1 0 44770838 342675456 82852 18446744073709551615 4198400 6176925 140722735284720 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 19861504 140722735286634 140722735286761 140722735286761 140722735292363 0
/proc/40655/statm: 83661 82852 512 484 0 83072 0
Current children cumulated CPU time: 3512.26 s
Current children cumulated vsize: 334644 KiB
Current children cumulated memory: 331408 KiB

[startup+3582.3 s]
/proc/loadavg: 1.24 1.26 1.77 2/235 40924
/proc/meminfo: memFree=128347876/131382120 swapFree=33010416/33010684
[pid=40655] ppid=40652 vsize=334960 memory=331724 CPUtime=3572.05 cores=1,3
/proc/40655/stat : 40655 (uwrmaxsat) R 40652 40655 39342 0 -1 4194304 137569 0 0 0 356949 256 0 0 20 0 1 0 44770838 342999040 82931 18446744073709551615 4198400 6176925 140722735284720 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 19861504 140722735286634 140722735286761 140722735286761 140722735292363 0
/proc/40655/statm: 83740 82931 512 484 0 83151 0
Current children cumulated CPU time: 3572.05 s
Current children cumulated vsize: 334960 KiB
Current children cumulated memory: 331724 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 1.16 1.24 1.75 2/235 40932
/proc/meminfo: memFree=128285944/131382120 swapFree=33010416/33010684
[pid=40655] ppid=40652 vsize=397484 memory=393672 CPUtime=3600.05 cores=1,3
/proc/40655/stat : 40655 (uwrmaxsat) R 40652 40655 39342 0 -1 4194304 143599 0 0 0 359744 261 0 0 20 0 1 0 44770838 407023616 98418 18446744073709551615 4198400 6176925 140722735284720 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 19861504 140722735286634 140722735286761 140722735286761 140722735292363 0
/proc/40655/statm: 99371 98418 512 484 0 98782 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 397484 KiB
Current children cumulated memory: 393672 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3610.4 s]
# the end of solver process 40655 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3597.45 s, system=2.62043 s

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

Child status: 10

Real time (s): 3610.4
CPU time (s): 3600.07
CPU user time (s): 3597.45
CPU system time (s): 2.62043
CPU usage (%): 99.7137
Max. virtual memory (cumulated for all children) (KiB): 490472
Max. memory (cumulated for all children) (KiB): 483368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.45
system time used= 2.62043
maximum resident set size= 486568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143607
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= 29
involuntary context switches= 1560


# summary of solver processes directly reported to runsolver:
#   pid: 40655
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3597.45
#   total CPU system time (s): 2.62043

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.8627 second user time and 32.8944 second system time

The end

Begin job on nodeC006 at 2025-06-30 15:41:55
IDJOB=4486163
IDBENCH=146985
IDSOLVER=3372
FILE ID=nodeC006/4486163-1751290915
RUNJOBID= nodeC006-1751281373-39354
SLURM_JOB_ID= 9594234
Free space on /tmp= 433048 MiB

SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08aCUTS.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486163-1751290915/watcher-4486163-1751290915 -o /tmp/evaluation-result-4486163-1751290915/solver-4486163-1751290915 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751281373-39354 --watchdog 3760  HOME/uwrmaxsat HOME/instance-4486163-1751290915.opb -mem-lim=31000

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

MD5SUM BENCH= 68d3283fc4d6e87aa4e5381bdb1e8107
RANDOM SEED=998334934

nodeC006 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	: 0xb00001f
cpu MHz		: 3491.682
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1196.945
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.134
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.137
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3659.665
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.887
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3700.000
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3700.000
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        126175264 kB
MemAvailable:   127412796 kB
Buffers:            2128 kB
Cached:          2041056 kB
SwapCached:           12 kB
Active:          2779944 kB
Inactive:        1770144 kB
Active(anon):    2512132 kB
Inactive(anon):    12736 kB
Active(file):     267812 kB
Inactive(file):  1757408 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2360 kB
Writeback:             0 kB
AnonPages:       2504928 kB
Mapped:           109376 kB
Shmem:             17948 kB
KReclaimable:     103492 kB
Slab:             188260 kB
SReclaimable:     103492 kB
SUnreclaim:        84768 kB
KernelStack:        4144 kB
PageTables:         8036 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    2960416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149448 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2369536 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:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC006 at 2025-06-30 16:42:05