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

OK	51029

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (55143 MiB free)
  memory of node 1: 64507 MiB (63941 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497207-1751386924/watcher-4497207-1751386924 -o /tmp/evaluation-result-4497207-1751386924/solver-4497207-1751386924 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751379671-56039 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4497207-1751386924.opb -mem-lim=31000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=58008, runsolver pid=58005

[startup+0.100061 s]*
/proc/loadavg: 4.07 4.09 4.09 5/265 58009
/proc/meminfo: memFree=121940840/131250000 swapFree=33010416/33010684
[pid=58008] ppid=58005 vsize=11696 memory=10880 CPUtime=0.1 cores=4,6
/proc/58008/stat : 58008 (uwrmaxsat) R 58005 58008 56028 0 -1 4194304 2340 0 0 0 10 0 0 0 20 0 1 0 54370247 11976704 2720 18446744073709551615 4198400 6176925 140725823115584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15122432 140725823117674 140725823117801 140725823117801 140725823123403 0
/proc/58008/statm: 2924 2720 512 484 0 2335 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 11696 KiB
Current children cumulated memory: 10880 KiB

[startup+0.205353 s]*
/proc/loadavg: 4.07 4.09 4.09 5/265 58009
/proc/meminfo: memFree=121940840/131250000 swapFree=33010416/33010684
[pid=58008] ppid=58005 vsize=11696 memory=10880 CPUtime=0.2 cores=4,6
/proc/58008/stat : 58008 (uwrmaxsat) R 58005 58008 56028 0 -1 4194304 2367 0 0 0 20 0 0 0 20 0 1 0 54370247 11976704 2720 18446744073709551615 4198400 6176925 140725823115584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15122432 140725823117674 140725823117801 140725823117801 140725823123403 0
/proc/58008/statm: 2924 2720 512 484 0 2335 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 11696 KiB
Current children cumulated memory: 10880 KiB

[startup+0.304849 s]*
/proc/loadavg: 4.07 4.09 4.09 5/265 58009
/proc/meminfo: memFree=121940840/131250000 swapFree=33010416/33010684
[pid=58008] ppid=58005 vsize=11940 memory=11136 CPUtime=0.3 cores=4,6
/proc/58008/stat : 58008 (uwrmaxsat) R 58005 58008 56028 0 -1 4194304 2432 0 0 0 30 0 0 0 20 0 1 0 54370247 12226560 2784 18446744073709551615 4198400 6176925 140725823115584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15122432 140725823117674 140725823117801 140725823117801 140725823123403 0
/proc/58008/statm: 2985 2784 512 484 0 2396 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 11940 KiB
Current children cumulated memory: 11136 KiB

[startup+0.70013 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 58009
/proc/meminfo: memFree=121940656/131250000 swapFree=33010416/33010684
[pid=58008] ppid=58005 vsize=14240 memory=13492 CPUtime=0.68 cores=4,6
/proc/58008/stat : 58008 (uwrmaxsat) R 58005 58008 56028 0 -1 4194304 3450 0 0 0 68 0 0 0 20 0 1 0 54370247 14581760 3373 18446744073709551615 4198400 6176925 140725823115584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15122432 140725823117674 140725823117801 140725823117801 140725823123403 0
/proc/58008/statm: 3560 3373 512 484 0 2971 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 14240 KiB
Current children cumulated memory: 13492 KiB

[startup+1.50014 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 58009
/proc/meminfo: memFree=121936876/131250000 swapFree=33010416/33010684
[pid=58008] ppid=58005 vsize=17692 memory=16908 CPUtime=1.48 cores=4,6
/proc/58008/stat : 58008 (uwrmaxsat) R 58005 58008 56028 0 -1 4194304 5286 0 0 0 148 0 0 0 20 0 1 0 54370247 18116608 4227 18446744073709551615 4198400 6176925 140725823115584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15122432 140725823117674 140725823117801 140725823117801 140725823123403 0
/proc/58008/statm: 4423 4227 512 484 0 3834 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 17692 KiB
Current children cumulated memory: 16908 KiB

[startup+3.1051 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 58009
/proc/meminfo: memFree=121921944/131250000 swapFree=33010416/33010684
[pid=58008] ppid=58005 vsize=21116 memory=20412 CPUtime=3.08 cores=4,6
/proc/58008/stat : 58008 (uwrmaxsat) R 58005 58008 56028 0 -1 4194304 8156 0 0 0 307 1 0 0 20 0 1 0 54370247 21622784 5103 18446744073709551615 4198400 6176925 140725823115584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15122432 140725823117674 140725823117801 140725823117801 140725823123403 0
/proc/58008/statm: 5279 5103 512 484 0 4690 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 21116 KiB
Current children cumulated memory: 20412 KiB

[startup+6.30011 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 58009
/proc/meminfo: memFree=121895560/131250000 swapFree=33010416/33010684
[pid=58008] ppid=58005 vsize=34772 memory=34060 CPUtime=6.27 cores=4,6
/proc/58008/stat : 58008 (uwrmaxsat) R 58005 58008 56028 0 -1 4194304 12676 0 0 0 625 2 0 0 20 0 1 0 54370247 35606528 8515 18446744073709551615 4198400 6176925 140725823115584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15122432 140725823117674 140725823117801 140725823117801 140725823123403 0
/proc/58008/statm: 8693 8515 512 484 0 8104 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 34772 KiB
Current children cumulated memory: 34060 KiB

[startup+12.7001 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 58009
/proc/meminfo: memFree=121818500/131250000 swapFree=33010416/33010684
[pid=58008] ppid=58005 vsize=45476 memory=44716 CPUtime=12.65 cores=4,6
/proc/58008/stat : 58008 (uwrmaxsat) R 58005 58008 56028 0 -1 4194304 14423 0 0 0 1262 3 0 0 20 0 1 0 54370247 46567424 11179 18446744073709551615 4198400 6176925 140725823115584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15122432 140725823117674 140725823117801 140725823117801 140725823123403 0
/proc/58008/statm: 11369 11179 512 484 0 10780 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 45476 KiB
Current children cumulated memory: 44716 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 58009
/proc/meminfo: memFree=121691336/131250000 swapFree=33010416/33010684
[pid=58008] ppid=58005 vsize=45720 memory=44388 CPUtime=25.41 cores=4,6
/proc/58008/stat : 58008 (uwrmaxsat) R 58005 58008 56028 0 -1 4194304 17752 0 0 0 2537 4 0 0 20 0 1 0 54370247 46817280 11097 18446744073709551615 4198400 6176925 140725823115584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15122432 140725823117674 140725823117801 140725823117801 140725823123403 0
/proc/58008/statm: 11430 11097 512 484 0 10841 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 45720 KiB
Current children cumulated memory: 44388 KiB

[startup+51.1054 s]
/proc/loadavg: 4.00 4.07 4.08 5/265 58190
/proc/meminfo: memFree=121068452/131250000 swapFree=33010416/33010684
[pid=58008] ppid=58005 vsize=62964 memory=62204 CPUtime=50.93 cores=4,6
/proc/58008/stat : 58008 (uwrmaxsat) R 58005 58008 56028 0 -1 4194304 24444 0 0 0 5087 6 0 0 20 0 1 0 54370247 64475136 15551 18446744073709551615 4198400 6176925 140725823115584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15122432 140725823117674 140725823117801 140725823117801 140725823123403 0
/proc/58008/statm: 15741 15551 512 484 0 15152 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 62964 KiB
Current children cumulated memory: 62204 KiB

[startup+102.3 s]
/proc/loadavg: 4.03 4.07 4.08 5/265 58191
/proc/meminfo: memFree=120918136/131250000 swapFree=33010416/33010684
[pid=58008] ppid=58005 vsize=79848 memory=79020 CPUtime=101.95 cores=4,6
/proc/58008/stat : 58008 (uwrmaxsat) R 58005 58008 56028 0 -1 4194304 29383 0 0 0 10187 8 0 0 20 0 1 0 54370247 81764352 19755 18446744073709551615 4198400 6176925 140725823115584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15122432 140725823117674 140725823117801 140725823117801 140725823123403 0
/proc/58008/statm: 19962 19755 512 484 0 19373 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 79848 KiB
Current children cumulated memory: 79020 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.09 4.09 5/265 58237
/proc/meminfo: memFree=121294432/131250000 swapFree=33010416/33010684
[pid=58008] ppid=58005 vsize=86808 memory=86060 CPUtime=161.74 cores=4,6
/proc/58008/stat : 58008 (uwrmaxsat) R 58005 58008 56028 0 -1 4194304 29627 0 0 0 16166 8 0 0 20 0 1 0 54370247 88891392 21515 18446744073709551615 4198400 6176925 140725823115584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15122432 140725823117674 140725823117801 140725823117801 140725823123403 0
/proc/58008/statm: 21702 21515 512 484 0 21113 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 86808 KiB
Current children cumulated memory: 86060 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.10 4.09 5/264 58286
/proc/meminfo: memFree=121124032/131250000 swapFree=33010416/33010684
[pid=58008] ppid=58005 vsize=89360 memory=88620 CPUtime=221.54 cores=4,6
/proc/58008/stat : 58008 (uwrmaxsat) R 58005 58008 56028 0 -1 4194304 30284 0 0 0 22146 8 0 0 20 0 1 0 54370247 91504640 22155 18446744073709551615 4198400 6176925 140725823115584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15122432 140725823117674 140725823117801 140725823117801 140725823123403 0
/proc/58008/statm: 22340 22155 512 484 0 21751 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 89360 KiB
Current children cumulated memory: 88620 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 58294
/proc/meminfo: memFree=121091056/131250000 swapFree=33010416/33010684
[pid=58008] ppid=58005 vsize=73316 memory=72740 CPUtime=281.34 cores=4,6
/proc/58008/stat : 58008 (uwrmaxsat) R 58005 58008 56028 0 -1 4194304 32135 0 0 0 28125 9 0 0 20 0 1 0 54370247 75075584 18185 18446744073709551615 4198400 6176925 140725823115584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15122432 140725823117674 140725823117801 140725823117801 140725823123403 0
/proc/58008/statm: 18329 18185 512 484 0 17740 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 73316 KiB
Current children cumulated memory: 72740 KiB

[startup+342.3 s]
/proc/loadavg: 4.27 4.13 4.10 5/264 58296
/proc/meminfo: memFree=121065212/131250000 swapFree=33010416/33010684
[pid=58008] ppid=58005 vsize=87640 memory=86828 CPUtime=341.14 cores=4,6
/proc/58008/stat : 58008 (uwrmaxsat) R 58005 58008 56028 0 -1 4194304 35377 0 0 0 34103 11 0 0 20 0 1 0 54370247 89743360 21707 18446744073709551615 4198400 6176925 140725823115584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15122432 140725823117674 140725823117801 140725823117801 140725823123403 0
/proc/58008/statm: 21910 21707 512 484 0 21321 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 87640 KiB
Current children cumulated memory: 86828 KiB

[startup+402.3 s]
/proc/loadavg: 4.30 4.17 4.12 5/264 58298
/proc/meminfo: memFree=121017784/131250000 swapFree=33010416/33010684
[pid=58008] ppid=58005 vsize=104232 memory=103468 CPUtime=400.94 cores=4,6
/proc/58008/stat : 58008 (uwrmaxsat) R 58005 58008 56028 0 -1 4194304 36899 0 0 0 40082 12 0 0 20 0 1 0 54370247 106733568 25867 18446744073709551615 4198400 6176925 140725823115584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15122432 140725823117674 140725823117801 140725823117801 140725823123403 0
/proc/58008/statm: 26058 25867 512 484 0 25469 0
Current children cumulated CPU time: 400.94 s
Current children cumulated vsize: 104232 KiB
Current children cumulated memory: 103468 KiB

[startup+462.3 s]
/proc/loadavg: 4.21 4.17 4.12 5/264 58300
/proc/meminfo: memFree=120997900/131250000 swapFree=33010416/33010684
[pid=58008] ppid=58005 vsize=100112 memory=99372 CPUtime=460.75 cores=4,6
/proc/58008/stat : 58008 (uwrmaxsat) R 58005 58008 56028 0 -1 4194304 40242 0 0 0 46062 13 0 0 20 0 1 0 54370247 102514688 24843 18446744073709551615 4198400 6176925 140725823115584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15122432 140725823117674 140725823117801 140725823117801 140725823123403 0
/proc/58008/statm: 25028 24843 512 484 0 24439 0
Current children cumulated CPU time: 460.75 s

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

Current children cumulated memory: 484064 KiB

[startup+2922.3 s]
/proc/loadavg: 3.10 3.47 3.81 4/258 58556
/proc/meminfo: memFree=120803636/131250000 swapFree=33010416/33010684
[pid=58008] ppid=58005 vsize=490156 memory=485228 CPUtime=2914.02 cores=4,6
/proc/58008/stat : 58008 (uwrmaxsat) R 58005 58008 56028 0 -1 4194304 101033 0 0 0 291337 65 0 0 20 0 1 0 54370247 501919744 121307 18446744073709551615 4198400 6176925 140725823115584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15122432 140725823117674 140725823117801 140725823117801 140725823123403 0
/proc/58008/statm: 122539 121307 512 484 0 121950 0
Current children cumulated CPU time: 2914.02 s
Current children cumulated vsize: 490156 KiB
Current children cumulated memory: 485228 KiB

[startup+2982.3 s]
/proc/loadavg: 3.14 3.41 3.77 4/257 58558
/proc/meminfo: memFree=120785900/131250000 swapFree=33010416/33010684
[pid=58008] ppid=58005 vsize=488916 memory=488016 CPUtime=2973.88 cores=4,6
/proc/58008/stat : 58008 (uwrmaxsat) R 58005 58008 56028 0 -1 4194304 102975 0 0 0 297319 69 0 0 20 0 1 0 54370247 500649984 122004 18446744073709551615 4198400 6176925 140725823115584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15122432 140725823117674 140725823117801 140725823117801 140725823123403 0
/proc/58008/statm: 122229 122004 512 484 0 121640 0
Current children cumulated CPU time: 2973.88 s
Current children cumulated vsize: 488916 KiB
Current children cumulated memory: 488016 KiB

[startup+3042.3 s]
/proc/loadavg: 3.10 3.35 3.72 4/257 58560
/proc/meminfo: memFree=120780592/131250000 swapFree=33010416/33010684
[pid=58008] ppid=58005 vsize=537080 memory=503992 CPUtime=3033.74 cores=4,6
/proc/58008/stat : 58008 (uwrmaxsat) R 58005 58008 56028 0 -1 4194304 104147 0 0 0 303302 72 0 0 20 0 1 0 54370247 549969920 125998 18446744073709551615 4198400 6176925 140725823115584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15122432 140725823117674 140725823117801 140725823117801 140725823123403 0
/proc/58008/statm: 134270 125998 512 484 0 133681 0
Current children cumulated CPU time: 3033.74 s
Current children cumulated vsize: 537080 KiB
Current children cumulated memory: 503992 KiB

[startup+3102.3 s]
/proc/loadavg: 3.08 3.30 3.68 4/257 58562
/proc/meminfo: memFree=120790772/131250000 swapFree=33010416/33010684
[pid=58008] ppid=58005 vsize=536660 memory=503572 CPUtime=3093.6 cores=4,6
/proc/58008/stat : 58008 (uwrmaxsat) R 58005 58008 56028 0 -1 4194304 104875 0 0 0 309287 73 0 0 20 0 1 0 54370247 549539840 125893 18446744073709551615 4198400 6176925 140725823115584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15122432 140725823117674 140725823117801 140725823117801 140725823123403 0
/proc/58008/statm: 134165 125893 512 484 0 133576 0
Current children cumulated CPU time: 3093.6 s
Current children cumulated vsize: 536660 KiB
Current children cumulated memory: 503572 KiB

[startup+3162.3 s]
/proc/loadavg: 3.06 3.26 3.64 4/257 58564
/proc/meminfo: memFree=120784296/131250000 swapFree=33010416/33010684
[pid=58008] ppid=58005 vsize=536660 memory=503572 CPUtime=3153.46 cores=4,6
/proc/58008/stat : 58008 (uwrmaxsat) R 58005 58008 56028 0 -1 4194304 105035 0 0 0 315273 73 0 0 20 0 1 0 54370247 549539840 125893 18446744073709551615 4198400 6176925 140725823115584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15122432 140725823117674 140725823117801 140725823117801 140725823123403 0
/proc/58008/statm: 134165 125893 512 484 0 133576 0
Current children cumulated CPU time: 3153.46 s
Current children cumulated vsize: 536660 KiB
Current children cumulated memory: 503572 KiB

[startup+3222.3 s]
/proc/loadavg: 3.06 3.22 3.61 4/257 58567
/proc/meminfo: memFree=120808504/131250000 swapFree=33010416/33010684
[pid=58008] ppid=58005 vsize=526492 memory=493404 CPUtime=3213.32 cores=4,6
/proc/58008/stat : 58008 (uwrmaxsat) R 58005 58008 56028 0 -1 4194304 105723 0 0 0 321257 75 0 0 20 0 1 0 54370247 539127808 123351 18446744073709551615 4198400 6176925 140725823115584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15122432 140725823117674 140725823117801 140725823117801 140725823123403 0
/proc/58008/statm: 131623 123351 512 484 0 131034 0
Current children cumulated CPU time: 3213.32 s
Current children cumulated vsize: 526492 KiB
Current children cumulated memory: 493404 KiB

[startup+3282.3 s]
/proc/loadavg: 3.13 3.21 3.58 4/258 58572
/proc/meminfo: memFree=120801744/131250000 swapFree=33010416/33010684
[pid=58008] ppid=58005 vsize=530228 memory=497140 CPUtime=3273.18 cores=4,6
/proc/58008/stat : 58008 (uwrmaxsat) R 58005 58008 56028 0 -1 4194304 106427 0 0 0 327242 76 0 0 20 0 1 0 54370247 542953472 124285 18446744073709551615 4198400 6176925 140725823115584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15122432 140725823117674 140725823117801 140725823117801 140725823123403 0
/proc/58008/statm: 132557 124285 512 484 0 131968 0
Current children cumulated CPU time: 3273.18 s
Current children cumulated vsize: 530228 KiB
Current children cumulated memory: 497140 KiB

[startup+3342.3 s]
/proc/loadavg: 3.10 3.19 3.54 4/258 58578
/proc/meminfo: memFree=120787120/131250000 swapFree=33010416/33010684
[pid=58008] ppid=58005 vsize=535268 memory=502180 CPUtime=3333.04 cores=4,6
/proc/58008/stat : 58008 (uwrmaxsat) R 58005 58008 56028 0 -1 4194304 106844 0 0 0 333226 78 0 0 20 0 1 0 54370247 548114432 125545 18446744073709551615 4198400 6176925 140725823115584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15122432 140725823117674 140725823117801 140725823117801 140725823123403 0
/proc/58008/statm: 133817 125545 512 484 0 133228 0
Current children cumulated CPU time: 3333.04 s
Current children cumulated vsize: 535268 KiB
Current children cumulated memory: 502180 KiB

[startup+3402.3 s]
/proc/loadavg: 3.04 3.15 3.51 4/258 58580
/proc/meminfo: memFree=120733404/131250000 swapFree=33010416/33010684
[pid=58008] ppid=58005 vsize=531856 memory=498768 CPUtime=3392.9 cores=4,6
/proc/58008/stat : 58008 (uwrmaxsat) R 58005 58008 56028 0 -1 4194304 107914 0 0 0 339211 79 0 0 20 0 1 0 54370247 544620544 124692 18446744073709551615 4198400 6176925 140725823115584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15122432 140725823117674 140725823117801 140725823117801 140725823123403 0
/proc/58008/statm: 132964 124692 512 484 0 132375 0
Current children cumulated CPU time: 3392.9 s
Current children cumulated vsize: 531856 KiB
Current children cumulated memory: 498768 KiB

[startup+3462.3 s]
/proc/loadavg: 3.51 3.25 3.52 4/258 58582
/proc/meminfo: memFree=120742384/131250000 swapFree=33010416/33010684
[pid=58008] ppid=58005 vsize=537668 memory=504580 CPUtime=3452.76 cores=4,6
/proc/58008/stat : 58008 (uwrmaxsat) R 58005 58008 56028 0 -1 4194304 109372 0 0 0 345194 82 0 0 20 0 1 0 54370247 550572032 126145 18446744073709551615 4198400 6176925 140725823115584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15122432 140725823117674 140725823117801 140725823117801 140725823123403 0
/proc/58008/statm: 134417 126145 512 484 0 133828 0
Current children cumulated CPU time: 3452.76 s
Current children cumulated vsize: 537668 KiB
Current children cumulated memory: 504580 KiB

[startup+3522.3 s]
/proc/loadavg: 3.24 3.22 3.49 4/258 58584
/proc/meminfo: memFree=120736676/131250000 swapFree=33010416/33010684
[pid=58008] ppid=58005 vsize=538664 memory=505576 CPUtime=3512.62 cores=4,6
/proc/58008/stat : 58008 (uwrmaxsat) R 58005 58008 56028 0 -1 4194304 109517 0 0 0 351178 84 0 0 20 0 1 0 54370247 551591936 126394 18446744073709551615 4198400 6176925 140725823115584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15122432 140725823117674 140725823117801 140725823117801 140725823123403 0
/proc/58008/statm: 134666 126394 512 484 0 134077 0
Current children cumulated CPU time: 3512.62 s
Current children cumulated vsize: 538664 KiB
Current children cumulated memory: 505576 KiB

[startup+3582.3 s]
/proc/loadavg: 3.13 3.19 3.46 4/257 58587
/proc/meminfo: memFree=120740584/131250000 swapFree=33010416/33010684
[pid=58008] ppid=58005 vsize=537360 memory=504272 CPUtime=3572.48 cores=4,6
/proc/58008/stat : 58008 (uwrmaxsat) R 58005 58008 56028 0 -1 4194304 110015 0 0 0 357163 85 0 0 20 0 1 0 54370247 550256640 126068 18446744073709551615 4198400 6176925 140725823115584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15122432 140725823117674 140725823117801 140725823117801 140725823123403 0
/proc/58008/statm: 134340 126068 512 484 0 133751 0
Current children cumulated CPU time: 3572.48 s
Current children cumulated vsize: 537360 KiB
Current children cumulated memory: 504272 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 3.00 3.15 3.44 3/251 58619
/proc/meminfo: memFree=121173300/131250000 swapFree=33010416/33010684
[pid=58008] ppid=58005 vsize=535596 memory=502508 CPUtime=3600.01 cores=4,6
/proc/58008/stat : 58008 (uwrmaxsat) R 58005 58008 56028 0 -1 4194304 110926 0 0 0 359914 87 0 0 20 0 1 0 54370247 548450304 125627 18446744073709551615 4198400 6176925 140725823115584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15122432 140725823117674 140725823117801 140725823117801 140725823123403 0
/proc/58008/statm: 133899 125627 512 484 0 133310 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 535596 KiB
Current children cumulated memory: 502508 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.14 s, system=0.872795 s

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

[startup+3609.9 s]
/proc/loadavg: 3.00 3.15 3.44 3/251 58619
/proc/meminfo: memFree=121173300/131250000 swapFree=33010416/33010684
[pid=58008] ppid=58005 vsize=535596 memory=502508 CPUtime=3600.01 cores=4,6
/proc/58008/stat : 58008 (uwrmaxsat) R 58005 58008 56028 0 -1 4194304 110926 0 0 0 359914 87 0 0 20 0 1 0 54370247 548450304 125627 18446744073709551615 4198400 6176925 140725823115584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15122432 140725823117674 140725823117801 140725823117801 140725823123403 0
/proc/58008/statm: 133899 125627 512 484 0 133310 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 535596 KiB
Current children cumulated memory: 502508 KiB

Child status: 10

Real time (s): 3609.9
CPU time (s): 3600.02
CPU user time (s): 3599.14
CPU system time (s): 0.872795
CPU usage (%): 99.7261
Max. virtual memory (cumulated for all children) (KiB): 622052
Max. memory (cumulated for all children) (KiB): 588844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.14
system time used= 0.872795
maximum resident set size= 588844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110933
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66
involuntary context switches= 1924


# summary of solver processes directly reported to runsolver:
#   pid: 58008
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3599.14
#   total CPU system time (s): 0.872795

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.59291 second user time and 14.4236 second system time

The end

Begin job on nodeC018 at 2025-07-01 18:22:04
IDJOB=4497207
IDBENCH=148155
IDSOLVER=3372
FILE ID=nodeC018/4497207-1751386924
RUNJOBID= nodeC018-1751379671-56039
SLURM_JOB_ID= 9598219
Free space on /tmp= 432924 MiB

SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir09_trarea_ac.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497207-1751386924/watcher-4497207-1751386924 -o /tmp/evaluation-result-4497207-1751386924/solver-4497207-1751386924 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751379671-56039 --watchdog 3760  HOME/uwrmaxsat HOME/instance-4497207-1751386924.opb -mem-lim=31000

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

MD5SUM BENCH= ec773b047bf21dab87650e27deaa6768
RANDOM SEED=585728590

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.807
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.66
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.840
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.66
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		: 3549.175
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.66
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		: 3700.000
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.66
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		: 3589.246
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.66
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.756
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.66
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		: 3599.797
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.66
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.044
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.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        121942604 kB
MemAvailable:   129600648 kB
Buffers:            2128 kB
Cached:          8425116 kB
SwapCached:           32 kB
Active:           545788 kB
Inactive:        8088644 kB
Active(anon):     224952 kB
Inactive(anon):      288 kB
Active(file):     320836 kB
Inactive(file):  8088356 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             12120 kB
Writeback:             0 kB
AnonPages:        210288 kB
Mapped:           110408 kB
Shmem:             18044 kB
KReclaimable:     175784 kB
Slab:             265284 kB
SReclaimable:     175784 kB
SUnreclaim:        89500 kB
KernelStack:        4292 kB
PageTables:         3244 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     544896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 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= 432924 MiB
End job on nodeC018 at 2025-07-01 19:22:14