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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528439-1752241688/watcher-4528439-1752241688 -o /tmp/evaluation-result-4528439-1752241688/solver-4528439-1752241688 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1752238059-119926 --watchdog 3760 pb_picat HOME/instance-4528439-1752241688.opb 

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=120483, runsolver pid=120480
Current StackSize limit: 8192 KiB


[startup+0.100065 s]*
/proc/loadavg: 4.17 4.10 4.10 5/264 120484
/proc/meminfo: memFree=126165324/131249996 swapFree=33005016/33010684
[pid=120483] ppid=120480 vsize=2034964 memory=40168 CPUtime=0.09 cores=0,2
/proc/120483/stat : 120483 (pb_picat) R 120480 120483 117758 0 -1 4194304 1000 0 0 0 8 1 0 0 20 0 1 0 139848423 2083803136 10042 18446744073709551615 93863530045440 93863531447021 140732514841888 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93863531718448 93863533592688 93863546855424 140732514851228 140732514851304 140732514851304 140732514856908 0
/proc/120483/statm: 508741 10042 1568 343 0 505805 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 40168 KiB

[startup+0.205653 s]*
/proc/loadavg: 4.17 4.10 4.10 5/264 120484
/proc/meminfo: memFree=126144844/131249996 swapFree=33005016/33010684
[pid=120483] ppid=120480 vsize=2035676 memory=66360 CPUtime=0.19 cores=0,2
/proc/120483/stat : 120483 (pb_picat) R 120480 120483 117758 0 -1 4194304 1288 0 0 0 18 1 0 0 20 0 1 0 139848423 2084532224 16590 18446744073709551615 93863530045440 93863531447021 140732514841888 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93863531718448 93863533592688 93863546855424 140732514851228 140732514851304 140732514851304 140732514856908 0
/proc/120483/statm: 508919 16590 1696 343 0 505983 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2035676 KiB
Current children cumulated memory: 66360 KiB

[startup+0.305567 s]*
/proc/loadavg: 4.17 4.10 4.10 5/264 120484
/proc/meminfo: memFree=126144844/131249996 swapFree=33005016/33010684
[pid=120483] ppid=120480 vsize=2044828 memory=73512 CPUtime=0.29 cores=0,2
/proc/120483/stat : 120483 (pb_picat) R 120480 120483 117758 0 -1 4194304 3456 0 0 0 26 3 0 0 20 0 1 0 139848423 2093903872 18378 18446744073709551615 93863530045440 93863531447021 140732514841888 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93863531718448 93863533592688 93863546855424 140732514851228 140732514851304 140732514851304 140732514856908 0
/proc/120483/statm: 511207 18378 1696 343 0 508271 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2044828 KiB
Current children cumulated memory: 73512 KiB

[startup+0.700183 s]
/proc/loadavg: 4.16 4.10 4.10 5/264 120484
/proc/meminfo: memFree=126131172/131249996 swapFree=33005016/33010684
[pid=120483] ppid=120480 vsize=2073756 memory=101476 CPUtime=0.68 cores=0,2
/proc/120483/stat : 120483 (pb_picat) R 120480 120483 117758 0 -1 4194304 8615 0 0 0 59 9 0 0 20 0 1 0 139848423 2123526144 25369 18446744073709551615 93863530045440 93863531447021 140732514841888 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93863531718448 93863533592688 93863546855424 140732514851228 140732514851304 140732514851304 140732514856908 0
/proc/120483/statm: 518439 25369 1696 343 0 515503 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2073756 KiB
Current children cumulated memory: 101476 KiB

[startup+1.50017 s]
/proc/loadavg: 4.16 4.10 4.10 5/264 120484
/proc/meminfo: memFree=126123076/131249996 swapFree=33005016/33010684
[pid=120483] ppid=120480 vsize=2075804 memory=105012 CPUtime=1.48 cores=0,2
/proc/120483/stat : 120483 (pb_picat) R 120480 120483 117758 0 -1 4194304 11625 0 0 0 135 13 0 0 20 0 1 0 139848423 2125623296 26253 18446744073709551615 93863530045440 93863531447021 140732514841888 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93863531718448 93863533592688 93863546855424 140732514851228 140732514851304 140732514851304 140732514856908 0
/proc/120483/statm: 518951 26253 1696 343 0 516015 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2075804 KiB
Current children cumulated memory: 105012 KiB

[startup+3.10547 s]
/proc/loadavg: 4.16 4.10 4.10 5/264 120484
/proc/meminfo: memFree=126145900/131249996 swapFree=33005016/33010684
[pid=120483] ppid=120480 vsize=2094076 memory=118336 CPUtime=3.08 cores=0,2
/proc/120483/stat : 120483 (pb_picat) R 120480 120483 117758 0 -1 4194304 15357 0 0 0 294 14 0 0 20 0 1 0 139848423 2144333824 29584 18446744073709551615 93863530045440 93863531447021 140732514841888 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93863531718448 93863533592688 93863546855424 140732514851228 140732514851304 140732514851304 140732514856908 0
/proc/120483/statm: 523519 29584 1696 343 0 520583 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2094076 KiB
Current children cumulated memory: 118336 KiB

[startup+6.30017 s]
/proc/loadavg: 4.15 4.10 4.10 5/264 120484
/proc/meminfo: memFree=126101128/131249996 swapFree=33005016/33010684
[pid=120483] ppid=120480 vsize=2093672 memory=107860 CPUtime=6.26 cores=0,2
/proc/120483/stat : 120483 (pb_picat) R 120480 120483 117758 0 -1 4194304 19963 0 0 0 611 15 0 0 20 0 1 0 139848423 2143920128 26965 18446744073709551615 93863530045440 93863531447021 140732514841888 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93863531718448 93863533592688 93863546855424 140732514851228 140732514851304 140732514851304 140732514856908 0
/proc/120483/statm: 523418 26965 1696 343 0 520482 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2093672 KiB
Current children cumulated memory: 107860 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.10 4.10 5/264 120484
/proc/meminfo: memFree=126084932/131249996 swapFree=33005016/33010684
[pid=120483] ppid=120480 vsize=2096152 memory=119824 CPUtime=12.64 cores=0,2
/proc/120483/stat : 120483 (pb_picat) R 120480 120483 117758 0 -1 4194304 23393 0 0 0 1248 16 0 0 20 0 1 0 139848423 2146459648 29956 18446744073709551615 93863530045440 93863531447021 140732514841888 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93863531718448 93863533592688 93863546855424 140732514851228 140732514851304 140732514851304 140732514856908 0
/proc/120483/statm: 524038 29956 1696 343 0 521102 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2096152 KiB
Current children cumulated memory: 119824 KiB

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

# cumulated CPU time of all completed processes:  user=13.1747 s, system=0.174498 s

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

[startup+12.8002 s]
/proc/loadavg: 4.14 4.10 4.10 5/264 120484
/proc/meminfo: memFree=126084932/131249996 swapFree=33005016/33010684
[pid=120483] ppid=120480 vsize=2096152 memory=119824 CPUtime=12.74 cores=0,2
/proc/120483/stat : 120483 (pb_picat) R 120480 120483 117758 0 -1 4194304 23393 0 0 0 1258 16 0 0 20 0 1 0 139848423 2146459648 29956 18446744073709551615 93863530045440 93863531447021 140732514841888 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93863531718448 93863533592688 93863546855424 140732514851228 140732514851304 140732514851304 140732514856908 0
/proc/120483/statm: 524038 29956 1696 343 0 521102 0
Current children cumulated CPU time: 12.74 s
Current children cumulated vsize: 2096152 KiB
Current children cumulated memory: 119824 KiB

[startup+13.2002 s]
/proc/loadavg: 4.14 4.10 4.10 5/264 120484
/proc/meminfo: memFree=126076740/131249996 swapFree=33005016/33010684
[pid=120483] ppid=120480 vsize=2096152 memory=119824 CPUtime=13.14 cores=0,2
/proc/120483/stat : 120483 (pb_picat) R 120480 120483 117758 0 -1 4194304 23393 0 0 0 1298 16 0 0 20 0 1 0 139848423 2146459648 29956 18446744073709551615 93863530045440 93863531447021 140732514841888 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93863531718448 93863533592688 93863546855424 140732514851228 140732514851304 140732514851304 140732514856908 0
/proc/120483/statm: 524038 29956 1696 343 0 521102 0
Current children cumulated CPU time: 13.14 s
Current children cumulated vsize: 2096152 KiB
Current children cumulated memory: 119824 KiB

[startup+13.3001 s]
/proc/loadavg: 4.14 4.10 4.10 5/264 120484
/proc/meminfo: memFree=126076740/131249996 swapFree=33005016/33010684
[pid=120483] ppid=120480 vsize=2096152 memory=121872 CPUtime=13.24 cores=0,2
/proc/120483/stat : 120483 (pb_picat) R 120480 120483 117758 0 -1 4194304 23394 0 0 0 1308 16 0 0 20 0 1 0 139848423 2146459648 30468 18446744073709551615 93863530045440 93863531447021 140732514841888 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93863531718448 93863533592688 93863546855424 140732514851228 140732514851304 140732514851304 140732514856908 0
/proc/120483/statm: 524038 30468 1696 343 0 521102 0
Current children cumulated CPU time: 13.24 s
Current children cumulated vsize: 2096152 KiB
Current children cumulated memory: 121872 KiB

Child status: 0

Real time (s): 13.3936
CPU time (s): 13.3492
CPU user time (s): 13.1747
CPU system time (s): 0.174498
CPU usage (%): 99.6685
Max. virtual memory (cumulated for all children) (KiB): 2097816
Max. memory (cumulated for all children) (KiB): 121872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.1747
system time used= 0.174498
maximum resident set size= 122128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23412
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= 30


# summary of solver processes directly reported to runsolver:
#   pid: 120483
#   total CPU time (s): 13.3492
#   total CPU user time (s): 13.1747
#   total CPU system time (s): 0.174498

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.040818 second user time and 0.088454 second system time

The end

Begin job on nodeC030 at 2025-07-11 15:48:08
IDJOB=4528439
IDBENCH=148774
IDSOLVER=3385
FILE ID=nodeC030/4528439-1752241688
RUNJOBID= nodeC030-1752238059-119926
SLURM_JOB_ID= 9682541
Free space on /tmp= 432504 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx57.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528439-1752241688/watcher-4528439-1752241688 -o /tmp/evaluation-result-4528439-1752241688/solver-4528439-1752241688 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1752238059-119926 --watchdog 3760  pb_picat HOME/instance-4528439-1752241688.opb

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

MD5SUM BENCH= 27eb6e8556144c078dca5501dcfcfe75
RANDOM SEED=909843090

nodeC030 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		: 3600.300
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.62
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.416
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.62
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		: 3825.446
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.62
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		: 3598.338
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.62
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.388
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.62
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.324
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.62
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		: 3610.045
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.62
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		: 3590.075
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.62
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        126198028 kB
MemAvailable:   129150168 kB
Buffers:              16 kB
Cached:          3736980 kB
SwapCached:          216 kB
Active:           799648 kB
Inactive:        3648644 kB
Active(anon):     663752 kB
Inactive(anon):    61092 kB
Active(file):     135896 kB
Inactive(file):  3587552 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005016 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3944 kB
Writeback:             0 kB
AnonPages:        712436 kB
Mapped:           111348 kB
Shmem:             13548 kB
KReclaimable:     135460 kB
Slab:             227776 kB
SReclaimable:     135460 kB
SUnreclaim:        92316 kB
KernelStack:        4288 kB
PageTables:         4560 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    6946580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150504 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    458752 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:      189140 kB
DirectMap2M:     9019392 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432500 MiB
End job on nodeC030 at 2025-07-11 15:48:22