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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499255-1751399470/watcher-4499255-1751399470 -o /tmp/evaluation-result-4499255-1751399470/solver-4499255-1751399470 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751394922-57654 --watchdog 3760 pb_picat HOME/instance-4499255-1751399470.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=58479, runsolver pid=58476

[startup+0.100063 s]*
/proc/loadavg: 4.08 4.11 4.09 5/263 58480
/proc/meminfo: memFree=129209356/131249996 swapFree=33010416/33010684
[pid=58479] ppid=58476 vsize=2034964 memory=38980 CPUtime=0.08 cores=1,3
/proc/58479/stat : 58479 (pb_picat) R 58476 58479 57642 0 -1 4194304 1134 0 0 0 8 0 0 0 20 0 1 0 55624758 2083803136 9745 18446744073709551615 94514392166400 94514393567981 140733998931392 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94514393839408 94514395713712 94514432208896 140733998938526 140733998938602 140733998938602 140733998944204 0
/proc/58479/statm: 508741 9745 1632 343 0 505805 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 38980 KiB

[startup+0.205405 s]*
/proc/loadavg: 4.08 4.11 4.09 5/263 58480
/proc/meminfo: memFree=129192972/131249996 swapFree=33010416/33010684
[pid=58479] ppid=58476 vsize=2036444 memory=65476 CPUtime=0.19 cores=1,3
/proc/58479/stat : 58479 (pb_picat) R 58476 58479 57642 0 -1 4194304 1574 0 0 0 18 1 0 0 20 0 1 0 55624758 2085318656 16369 18446744073709551615 94514392166400 94514393567981 140733998931392 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94514393839408 94514395713712 94514432208896 140733998938526 140733998938602 140733998938602 140733998944204 0
/proc/58479/statm: 509111 16369 1728 343 0 506175 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2036444 KiB
Current children cumulated memory: 65476 KiB

[startup+0.305324 s]*
/proc/loadavg: 4.08 4.11 4.09 5/263 58480
/proc/meminfo: memFree=129186672/131249996 swapFree=33010416/33010684
[pid=58479] ppid=58476 vsize=2044828 memory=72756 CPUtime=0.29 cores=1,3
/proc/58479/stat : 58479 (pb_picat) R 58476 58479 57642 0 -1 4194304 3770 0 0 0 26 3 0 0 20 0 1 0 55624758 2093903872 18189 18446744073709551615 94514392166400 94514393567981 140733998931392 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94514393839408 94514395713712 94514432208896 140733998938526 140733998938602 140733998938602 140733998944204 0
/proc/58479/statm: 511207 18189 1728 343 0 508271 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2044828 KiB
Current children cumulated memory: 72756 KiB

[startup+0.700145 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 58480
/proc/meminfo: memFree=129171992/131249996 swapFree=33010416/33010684
[pid=58479] ppid=58476 vsize=2073756 memory=99472 CPUtime=0.68 cores=1,3
/proc/58479/stat : 58479 (pb_picat) R 58476 58479 57642 0 -1 4194304 8075 0 0 0 60 8 0 0 20 0 1 0 55624758 2123526144 24868 18446744073709551615 94514392166400 94514393567981 140733998931392 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94514393839408 94514395713712 94514432208896 140733998938526 140733998938602 140733998938602 140733998944204 0
/proc/58479/statm: 518439 24868 1728 343 0 515503 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2073756 KiB
Current children cumulated memory: 99472 KiB

[startup+1.50016 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 58480
/proc/meminfo: memFree=129156680/131249996 swapFree=33010416/33010684
[pid=58479] ppid=58476 vsize=2092184 memory=104012 CPUtime=1.48 cores=1,3
/proc/58479/stat : 58479 (pb_picat) R 58476 58479 57642 0 -1 4194304 11160 0 0 0 135 13 0 0 20 0 1 0 55624758 2142396416 26003 18446744073709551615 94514392166400 94514393567981 140733998931392 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94514393839408 94514395713712 94514432208896 140733998938526 140733998938602 140733998938602 140733998944204 0
/proc/58479/statm: 523046 26003 1760 343 0 520110 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2092184 KiB
Current children cumulated memory: 104012 KiB

[startup+3.10534 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 58480
/proc/meminfo: memFree=129157340/131249996 swapFree=33010416/33010684
[pid=58479] ppid=58476 vsize=2094072 memory=116568 CPUtime=3.08 cores=1,3
/proc/58479/stat : 58479 (pb_picat) R 58476 58479 57642 0 -1 4194304 14568 0 0 0 293 15 0 0 20 0 1 0 55624758 2144329728 29142 18446744073709551615 94514392166400 94514393567981 140733998931392 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94514393839408 94514395713712 94514432208896 140733998938526 140733998938602 140733998938602 140733998944204 0
/proc/58479/statm: 523518 29142 1760 343 0 520582 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2094072 KiB
Current children cumulated memory: 116568 KiB

[startup+6.30016 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 58480
/proc/meminfo: memFree=129145480/131249996 swapFree=33010416/33010684
[pid=58479] ppid=58476 vsize=2093668 memory=115564 CPUtime=6.27 cores=1,3
/proc/58479/stat : 58479 (pb_picat) R 58476 58479 57642 0 -1 4194304 19117 0 0 0 611 16 0 0 20 0 1 0 55624758 2143916032 28891 18446744073709551615 94514392166400 94514393567981 140733998931392 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94514393839408 94514395713712 94514432208896 140733998938526 140733998938602 140733998938602 140733998944204 0
/proc/58479/statm: 523417 28891 1760 343 0 520481 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2093668 KiB
Current children cumulated memory: 115564 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 58480
/proc/meminfo: memFree=129123404/131249996 swapFree=33010416/33010684
[pid=58479] ppid=58476 vsize=2096148 memory=120104 CPUtime=12.65 cores=1,3
/proc/58479/stat : 58479 (pb_picat) R 58476 58479 57642 0 -1 4194304 22108 0 0 0 1248 17 0 0 20 0 1 0 55624758 2146455552 30026 18446744073709551615 94514392166400 94514393567981 140733998931392 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94514393839408 94514395713712 94514432208896 140733998938526 140733998938602 140733998938602 140733998944204 0
/proc/58479/statm: 524037 30026 1760 343 0 521101 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2096148 KiB
Current children cumulated memory: 120104 KiB

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

# cumulated CPU time of all completed processes:  user=12.521 s, system=0.182539 s

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

[startup+12.7002 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 58480
/proc/meminfo: memFree=129123404/131249996 swapFree=33010416/33010684
[pid=58479] ppid=58476 vsize=2096148 memory=120104 CPUtime=12.65 cores=1,3
/proc/58479/stat : 58479 (pb_picat) R 58476 58479 57642 0 -1 4194304 22108 0 0 0 1248 17 0 0 20 0 1 0 55624758 2146455552 30026 18446744073709551615 94514392166400 94514393567981 140733998931392 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94514393839408 94514395713712 94514432208896 140733998938526 140733998938602 140733998938602 140733998944204 0
/proc/58479/statm: 524037 30026 1760 343 0 521101 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2096148 KiB
Current children cumulated memory: 120104 KiB

Child status: 0

Real time (s): 12.7455
CPU time (s): 12.7035
CPU user time (s): 12.521
CPU system time (s): 0.182539
CPU usage (%): 99.6711
Max. virtual memory (cumulated for all children) (KiB): 2096148
Max. memory (cumulated for all children) (KiB): 120104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.521
system time used= 0.182539
maximum resident set size= 120360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22125
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= 21


# summary of solver processes directly reported to runsolver:
#   pid: 58479
#   total CPU time (s): 12.7035
#   total CPU user time (s): 12.521
#   total CPU system time (s): 0.182539

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.030378 second user time and 0.08792 second system time

The end

Begin job on nodeC022 at 2025-07-01 21:51:10
IDJOB=4499255
IDBENCH=148774
IDSOLVER=3346
FILE ID=nodeC022/4499255-1751399470
RUNJOBID= nodeC022-1751394922-57654
SLURM_JOB_ID= 9598265
Free space on /tmp= 433052 MiB

SOLVER NAME= Picat 2025-06-16
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-4499255-1751399470/watcher-4499255-1751399470 -o /tmp/evaluation-result-4499255-1751399470/solver-4499255-1751399470 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751394922-57654 --watchdog 3760  pb_picat HOME/instance-4499255-1751399470.opb

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

MD5SUM BENCH= 27eb6e8556144c078dca5501dcfcfe75
RANDOM SEED=885435776

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.736
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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		: 3594.611
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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		: 3599.128
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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.699
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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		: 3599.689
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.679
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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		: 3698.840
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.586
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129233612 kB
MemAvailable:   129157292 kB
Buffers:            2128 kB
Cached:           726212 kB
SwapCached:           32 kB
Active:          1064280 kB
Inactive:         338212 kB
Active(anon):     687996 kB
Inactive(anon):     4196 kB
Active(file):     376284 kB
Inactive(file):   334016 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3604 kB
Writeback:             0 kB
AnonPages:        676148 kB
Mapped:           113280 kB
Shmem:             18028 kB
KReclaimable:     104836 kB
Slab:             191972 kB
SReclaimable:     104836 kB
SUnreclaim:        87136 kB
KernelStack:        4272 kB
PageTables:         4512 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    6912748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    415744 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433048 MiB
End job on nodeC022 at 2025-07-01 21:51:23