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

OK	6

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499273-1751404609/watcher-4499273-1751404609 -o /tmp/evaluation-result-4499273-1751404609/solver-4499273-1751404609 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751398701-58040 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4499273-1751404609.opb -mem-lim=31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=59261, runsolver pid=59258

[startup+0.10007 s]*
/proc/loadavg: 4.12 4.10 4.09 5/262 59262
/proc/meminfo: memFree=128623720/131250000 swapFree=33009904/33010684
[pid=59261] ppid=59258 vsize=25236 memory=22640 CPUtime=0.1 cores=0,2
/proc/59261/stat : 59261 (uwrmaxsat) R 59258 59261 58030 0 -1 4194304 5039 0 0 0 9 1 0 0 20 0 1 0 56140353 25841664 5660 18446744073709551615 4198400 6176925 140720486295424 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 27422720 140720486300010 140720486300137 140720486300137 140720486305739 0
/proc/59261/statm: 6309 5660 480 484 0 5720 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 25236 KiB
Current children cumulated memory: 22640 KiB

[startup+0.20578 s]*
/proc/loadavg: 4.12 4.10 4.09 5/262 59262
/proc/meminfo: memFree=128615592/131250000 swapFree=33009904/33010684
[pid=59261] ppid=59258 vsize=51744 memory=46544 CPUtime=0.19 cores=0,2
/proc/59261/stat : 59261 (uwrmaxsat) R 59258 59261 58030 0 -1 4194304 9265 0 0 0 18 1 0 0 20 0 1 0 56140353 52985856 11636 18446744073709551615 4198400 6176925 140720486295424 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 27422720 140720486300010 140720486300137 140720486300137 140720486305739 0
/proc/59261/statm: 12936 11636 480 484 0 12347 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 51744 KiB
Current children cumulated memory: 46544 KiB

[startup+0.305565 s]*
/proc/loadavg: 4.12 4.10 4.09 5/262 59262
/proc/meminfo: memFree=128583204/131250000 swapFree=33009904/33010684
[pid=59261] ppid=59258 vsize=76676 memory=74092 CPUtime=0.3 cores=0,2
/proc/59261/stat : 59261 (uwrmaxsat) R 59258 59261 58030 0 -1 4194304 10533 0 0 0 28 2 0 0 20 0 1 0 56140353 78516224 18523 18446744073709551615 4198400 6176925 140720486295424 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 27422720 140720486300010 140720486300137 140720486300137 140720486305739 0
/proc/59261/statm: 19169 18523 480 484 0 18580 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 76676 KiB
Current children cumulated memory: 74092 KiB

[startup+0.700191 s]
/proc/loadavg: 4.12 4.10 4.09 5/262 59262
/proc/meminfo: memFree=128522972/131250000 swapFree=33009904/33010684
[pid=59261] ppid=59258 vsize=135284 memory=126236 CPUtime=0.68 cores=0,2
/proc/59261/stat : 59261 (uwrmaxsat) R 59258 59261 58030 0 -1 4194304 24856 0 0 0 64 4 0 0 20 0 1 0 56140353 138530816 31559 18446744073709551615 4198400 6176925 140720486295424 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 27422720 140720486300010 140720486300137 140720486300137 140720486305739 0
/proc/59261/statm: 33821 31559 512 484 0 33232 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 135284 KiB
Current children cumulated memory: 126236 KiB

[startup+1.50019 s]
/proc/loadavg: 4.12 4.10 4.09 5/262 59262
/proc/meminfo: memFree=128507096/131250000 swapFree=33009904/33010684
[pid=59261] ppid=59258 vsize=158176 memory=148320 CPUtime=1.48 cores=0,2
/proc/59261/stat : 59261 (uwrmaxsat) R 59258 59261 58030 0 -1 4194304 26246 0 0 0 143 5 0 0 20 0 1 0 56140353 161972224 37080 18446744073709551615 4198400 6176925 140720486295424 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 27422720 140720486300010 140720486300137 140720486300137 140720486305739 0
/proc/59261/statm: 39544 37080 544 484 0 38955 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 158176 KiB
Current children cumulated memory: 148320 KiB

[startup+3.10548 s]
/proc/loadavg: 4.12 4.10 4.09 5/262 59262
/proc/meminfo: memFree=128448864/131250000 swapFree=33009904/33010684
[pid=59261] ppid=59258 vsize=186248 memory=176364 CPUtime=3.09 cores=0,2
/proc/59261/stat : 59261 (uwrmaxsat) R 59258 59261 58030 0 -1 4194304 27156 0 0 0 303 6 0 0 20 0 1 0 56140353 190717952 44091 18446744073709551615 4198400 6176925 140720486295424 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 27422720 140720486300010 140720486300137 140720486300137 140720486305739 0
/proc/59261/statm: 46562 44091 544 484 0 45973 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 186248 KiB
Current children cumulated memory: 176364 KiB

[startup+6.30018 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 59263
/proc/meminfo: memFree=128453228/131250000 swapFree=33009904/33010684
[pid=59261] ppid=59258 vsize=186248 memory=176364 CPUtime=6.27 cores=0,2
/proc/59261/stat : 59261 (uwrmaxsat) R 59258 59261 58030 0 -1 4194304 27181 0 0 0 621 6 0 0 20 0 1 0 56140353 190717952 44091 18446744073709551615 4198400 6176925 140720486295424 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 27422720 140720486300010 140720486300137 140720486300137 140720486305739 0
/proc/59261/statm: 46562 44091 544 484 0 45973 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 186248 KiB
Current children cumulated memory: 176364 KiB

[startup+6.83227 s]
# the end of solver process 59261 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=6.74073 s, system=0.067803 s

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

[startup+6.40022 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 59263
/proc/meminfo: memFree=128453228/131250000 swapFree=33009904/33010684
[pid=59261] ppid=59258 vsize=186248 memory=176364 CPUtime=6.37 cores=0,2
/proc/59261/stat : 59261 (uwrmaxsat) R 59258 59261 58030 0 -1 4194304 27181 0 0 0 631 6 0 0 20 0 1 0 56140353 190717952 44091 18446744073709551615 4198400 6176925 140720486295424 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 27422720 140720486300010 140720486300137 140720486300137 140720486305739 0
/proc/59261/statm: 46562 44091 544 484 0 45973 0
Current children cumulated CPU time: 6.37 s
Current children cumulated vsize: 186248 KiB
Current children cumulated memory: 176364 KiB

[startup+6.80016 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 59263
/proc/meminfo: memFree=128453228/131250000 swapFree=33009904/33010684
[pid=59261] ppid=59258 vsize=186248 memory=176364 CPUtime=6.77 cores=0,2
/proc/59261/stat : 59261 (uwrmaxsat) R 59258 59261 58030 0 -1 4194304 27195 0 0 0 671 6 0 0 20 0 1 0 56140353 190717952 44091 18446744073709551615 4198400 6176925 140720486295424 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 27422720 140720486300010 140720486300137 140720486300137 140720486305739 0
/proc/59261/statm: 46562 44091 544 484 0 45973 0
Current children cumulated CPU time: 6.77 s
Current children cumulated vsize: 186248 KiB
Current children cumulated memory: 176364 KiB

Child status: 30

Real time (s): 6.83232
CPU time (s): 6.80854
CPU user time (s): 6.74073
CPU system time (s): 0.067803
CPU usage (%): 99.6518
Max. virtual memory (cumulated for all children) (KiB): 186248
Max. memory (cumulated for all children) (KiB): 176364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.74073
system time used= 0.067803
maximum resident set size= 176364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27196
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= 2
involuntary context switches= 15


# summary of solver processes directly reported to runsolver:
#   pid: 59261
#   total CPU time (s): 6.80854
#   total CPU user time (s): 6.74073
#   total CPU system time (s): 0.067803

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.027513 second user time and 0.055285 second system time

The end

Begin job on nodeC033 at 2025-07-01 23:16:49
IDJOB=4499273
IDBENCH=148774
IDSOLVER=3372
FILE ID=nodeC033/4499273-1751404609
RUNJOBID= nodeC033-1751398701-58040
SLURM_JOB_ID= 9598283
Free space on /tmp= 432468 MiB

SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx57.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4499273-1751404609/watcher-4499273-1751404609 -o /tmp/evaluation-result-4499273-1751404609/solver-4499273-1751404609 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751398701-58040 --watchdog 3760  HOME/uwrmaxsat HOME/instance-4499273-1751404609.opb -mem-lim=31000

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

MD5SUM BENCH= 27eb6e8556144c078dca5501dcfcfe75
RANDOM SEED=211162186

nodeC033 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		: 3601.393
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	: 7000.13
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		: 3600.618
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	: 7000.13
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		: 3600.072
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	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128649020 kB
MemAvailable:   128430824 kB
Buffers:            2128 kB
Cached:           579308 kB
SwapCached:           68 kB
Active:          1597412 kB
Inactive:         340032 kB
Active(anon):    1349548 kB
Inactive(anon):    24488 kB
Active(file):     247864 kB
Inactive(file):   315544 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2696 kB
Writeback:            24 kB
AnonPages:       1355948 kB
Mapped:           110772 kB
Shmem:             18028 kB
KReclaimable:     115272 kB
Slab:             204168 kB
SReclaimable:     115272 kB
SUnreclaim:        88896 kB
KernelStack:        4304 kB
PageTables:         5748 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    1749160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:    757760 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432464 MiB
End job on nodeC033 at 2025-07-01 23:16:56