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

OK	46877

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: 63931 MiB (61961 MiB free)
  memory of node 1: 64510 MiB (62060 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436389-1721111578/watcher-4436389-1721111578 -o /tmp/evaluation-result-4436389-1721111578/solver-4436389-1721111578 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721104371-842009 --watchdog 3760 pb_picat HOME/instance-4436389-1721111578.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=846054, runsolver pid=846051
Current StackSize limit: 8192 KiB


[startup+0.100088 s]*
/proc/loadavg: 4.22 4.18 4.12 5/261 846055
/proc/meminfo: memFree=126966440/131524600 swapFree=130796312/131071996
[pid=846054] ppid=846051 vsize=2052600 memory=38568 CPUtime=0.09 cores=4,6
/proc/846054/stat : 846054 (pb_picat) R 846051 846054 841998 0 -1 4194304 3420 0 0 0 9 0 0 0 20 0 1 0 163316954 2101862400 9642 134679101440 4194304 5989780 140720869162160 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43724800 140720869164057 140720869164133 140720869164133 140720869171148 0
/proc/846054/statm: 513150 9642 1679 439 0 508579 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2052600 KiB
Current children cumulated memory: 38568 KiB

[startup+0.205636 s]*
/proc/loadavg: 4.22 4.18 4.12 5/261 846055
/proc/meminfo: memFree=126963060/131524600 swapFree=130796312/131071996
[pid=846054] ppid=846051 vsize=2052600 memory=39420 CPUtime=0.2 cores=4,6
/proc/846054/stat : 846054 (pb_picat) R 846051 846054 841998 0 -1 4194304 3606 0 0 0 19 1 0 0 20 0 1 0 163316954 2101862400 9855 134679101440 4194304 5989780 140720869162160 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43724800 140720869164057 140720869164133 140720869164133 140720869171148 0
/proc/846054/statm: 513150 9855 1727 439 0 508579 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2052600 KiB
Current children cumulated memory: 39420 KiB

[startup+0.305591 s]*
/proc/loadavg: 4.22 4.18 4.12 5/261 846055
/proc/meminfo: memFree=126962268/131524600 swapFree=130796312/131071996
[pid=846054] ppid=846051 vsize=2052600 memory=39860 CPUtime=0.3 cores=4,6
/proc/846054/stat : 846054 (pb_picat) R 846051 846054 841998 0 -1 4194304 3787 0 0 0 28 2 0 0 20 0 1 0 163316954 2101862400 9965 134679101440 4194304 5989780 140720869162160 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43724800 140720869164057 140720869164133 140720869164133 140720869171148 0
/proc/846054/statm: 513150 9965 1727 439 0 508579 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2052600 KiB
Current children cumulated memory: 39860 KiB

[startup+0.700209 s]
/proc/loadavg: 4.22 4.18 4.12 5/261 846055
/proc/meminfo: memFree=126957392/131524600 swapFree=130796312/131071996
[pid=846054] ppid=846051 vsize=2056368 memory=46216 CPUtime=0.69 cores=4,6
/proc/846054/stat : 846054 (pb_picat) R 846051 846054 841998 0 -1 4194304 6787 0 0 0 65 4 0 0 20 0 1 0 163316954 2105720832 11554 134679101440 4194304 5989780 140720869162160 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43724800 140720869164057 140720869164133 140720869164133 140720869171148 0
/proc/846054/statm: 514092 11554 1727 439 0 509521 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2056368 KiB
Current children cumulated memory: 46216 KiB

[startup+1.50022 s]
/proc/loadavg: 4.22 4.18 4.12 5/261 846055
/proc/meminfo: memFree=126951404/131524600 swapFree=130796312/131071996
[pid=846054] ppid=846051 vsize=2062384 memory=50508 CPUtime=1.48 cores=4,6
/proc/846054/stat : 846054 (pb_picat) R 846051 846054 841998 0 -1 4194304 7569 0 0 0 141 7 0 0 20 0 1 0 163316954 2111881216 12627 134679101440 4194304 5989780 140720869162160 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43724800 140720869164057 140720869164133 140720869164133 140720869171148 0
/proc/846054/statm: 515596 12627 1727 439 0 511025 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2062384 KiB
Current children cumulated memory: 50508 KiB

[startup+3.10555 s]
/proc/loadavg: 4.20 4.18 4.11 5/261 846147
/proc/meminfo: memFree=126826080/131524600 swapFree=130796312/131071996
[pid=846054] ppid=846051 vsize=2062384 memory=52556 CPUtime=3.08 cores=4,6
/proc/846054/stat : 846054 (pb_picat) R 846051 846054 841998 0 -1 4194304 7576 0 0 0 301 7 0 0 20 0 1 0 163316954 2111881216 13139 134679101440 4194304 5989780 140720869162160 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43724800 140720869164057 140720869164133 140720869164133 140720869171148 0
/proc/846054/statm: 515596 13139 1727 439 0 511025 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2062384 KiB
Current children cumulated memory: 52556 KiB

[startup+6.30021 s]
/proc/loadavg: 4.20 4.18 4.11 5/261 846148
/proc/meminfo: memFree=126729328/131524600 swapFree=130796312/131071996
[pid=846054] ppid=846051 vsize=2066452 memory=54448 CPUtime=6.27 cores=4,6
/proc/846054/stat : 846054 (pb_picat) R 846051 846054 841998 0 -1 4194304 8099 0 0 0 618 9 0 0 20 0 1 0 163316954 2116046848 13612 134679101440 4194304 5989780 140720869162160 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43724800 140720869164057 140720869164133 140720869164133 140720869171148 0
/proc/846054/statm: 516613 13612 1727 439 0 512042 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2066452 KiB
Current children cumulated memory: 54448 KiB

[startup+12.7002 s]
/proc/loadavg: 4.18 4.17 4.11 5/261 846194
/proc/meminfo: memFree=126695956/131524600 swapFree=130796312/131071996
[pid=846054] ppid=846051 vsize=2064756 memory=48232 CPUtime=12.65 cores=4,6
/proc/846054/stat : 846054 (pb_picat) R 846051 846054 841998 0 -1 4194304 24667 0 0 0 1239 26 0 0 20 0 1 0 163316954 2114310144 12058 134679101440 4194304 5989780 140720869162160 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43724800 140720869164057 140720869164133 140720869164133 140720869171148 0
/proc/846054/statm: 516189 12058 1727 439 0 511618 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2064756 KiB
Current children cumulated memory: 48232 KiB

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

# cumulated CPU time of all completed processes:  user=17.276 s, system=0.399969 s

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

[startup+12.8002 s]
/proc/loadavg: 4.18 4.17 4.11 5/261 846194
/proc/meminfo: memFree=126695956/131524600 swapFree=130796312/131071996
[pid=846054] ppid=846051 vsize=2064756 memory=49284 CPUtime=12.75 cores=4,6
/proc/846054/stat : 846054 (pb_picat) R 846051 846054 841998 0 -1 4194304 24927 0 0 0 1249 26 0 0 20 0 1 0 163316954 2114310144 12321 134679101440 4194304 5989780 140720869162160 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43724800 140720869164057 140720869164133 140720869164133 140720869171148 0
/proc/846054/statm: 516189 12321 1727 439 0 511618 0
Current children cumulated CPU time: 12.75 s
Current children cumulated vsize: 2064756 KiB
Current children cumulated memory: 49284 KiB

[startup+16.0002 s]*
/proc/loadavg: 4.17 4.17 4.11 5/261 846196
/proc/meminfo: memFree=126693124/131524600 swapFree=130796312/131071996
[pid=846054] ppid=846051 vsize=2048496 memory=38308 CPUtime=15.95 cores=4,6
/proc/846054/stat : 846054 (pb_picat) R 846051 846054 841998 0 -1 4194304 33407 0 0 0 1561 34 0 0 20 0 1 0 163316954 2097659904 9577 134679101440 4194304 5989780 140720869162160 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43724800 140720869164057 140720869164133 140720869164133 140720869171148 0
/proc/846054/statm: 512124 9577 1727 439 0 507553 0
Current children cumulated CPU time: 15.95 s
Current children cumulated vsize: 2048496 KiB
Current children cumulated memory: 38308 KiB

[startup+16.8002 s]
/proc/loadavg: 4.17 4.17 4.11 5/261 846196
/proc/meminfo: memFree=126693124/131524600 swapFree=130796312/131071996
[pid=846054] ppid=846051 vsize=2064884 memory=49456 CPUtime=16.74 cores=4,6
/proc/846054/stat : 846054 (pb_picat) R 846051 846054 841998 0 -1 4194304 34657 0 0 0 1638 36 0 0 20 0 1 0 163316954 2114441216 12364 134679101440 4194304 5989780 140720869162160 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43724800 140720869164057 140720869164133 140720869164133 140720869171148 0
/proc/846054/statm: 516221 12364 1727 439 0 511650 0
Current children cumulated CPU time: 16.74 s
Current children cumulated vsize: 2064884 KiB
Current children cumulated memory: 49456 KiB

[startup+17.2002 s]
/proc/loadavg: 4.17 4.17 4.11 5/261 846196
/proc/meminfo: memFree=126684204/131524600 swapFree=130796312/131071996
[pid=846054] ppid=846051 vsize=2056692 memory=45844 CPUtime=17.14 cores=4,6
/proc/846054/stat : 846054 (pb_picat) R 846051 846054 841998 0 -1 4194304 36492 0 0 0 1676 38 0 0 20 0 1 0 163316954 2106052608 11461 134679101440 4194304 5989780 140720869162160 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43724800 140720869164057 140720869164133 140720869164133 140720869171148 0
/proc/846054/statm: 514173 11461 1727 439 0 509602 0
Current children cumulated CPU time: 17.14 s
Current children cumulated vsize: 2056692 KiB
Current children cumulated memory: 45844 KiB

[startup+17.6002 s]
/proc/loadavg: 4.17 4.17 4.11 5/261 846196
/proc/meminfo: memFree=126684204/131524600 swapFree=130796312/131071996
[pid=846054] ppid=846051 vsize=2064884 memory=49472 CPUtime=17.54 cores=4,6
/proc/846054/stat : 846054 (pb_picat) R 846051 846054 841998 0 -1 4194304 36862 0 0 0 1715 39 0 0 20 0 1 0 163316954 2114441216 12368 134679101440 4194304 5989780 140720869162160 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43724800 140720869164057 140720869164133 140720869164133 140720869171148 0
/proc/846054/statm: 516221 12368 1727 439 0 511650 0
Current children cumulated CPU time: 17.54 s
Current children cumulated vsize: 2064884 KiB
Current children cumulated memory: 49472 KiB

[startup+17.7002 s]
/proc/loadavg: 4.17 4.17 4.11 5/261 846196
/proc/meminfo: memFree=126684204/131524600 swapFree=130796312/131071996
[pid=846054] ppid=846051 vsize=2064884 memory=49472 CPUtime=17.64 cores=4,6
/proc/846054/stat : 846054 (pb_picat) R 846051 846054 841998 0 -1 4194304 36862 0 0 0 1725 39 0 0 20 0 1 0 163316954 2114441216 12368 134679101440 4194304 5989780 140720869162160 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43724800 140720869164057 140720869164133 140720869164133 140720869171148 0
/proc/846054/statm: 516221 12368 1727 439 0 511650 0
Current children cumulated CPU time: 17.64 s
Current children cumulated vsize: 2064884 KiB
Current children cumulated memory: 49472 KiB

Child status: 0

Real time (s): 17.7257
CPU time (s): 17.676
CPU user time (s): 17.276
CPU system time (s): 0.399969
CPU usage (%): 99.7197
Max. virtual memory (cumulated for all children) (KiB): 2066452
Max. memory (cumulated for all children) (KiB): 54448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.276
system time used= 0.399969
maximum resident set size= 54448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36867
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= 7
involuntary context switches= 25


# summary of solver processes directly reported to runsolver:
#   pid: 846054
#   total CPU time (s): 17.676
#   total CPU user time (s): 17.276
#   total CPU system time (s): 0.399969

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.056453 second user time and 0.098169 second system time

The end

Begin job on nodeC014 at 2024-07-16 08:33:11
IDJOB=4436389
IDBENCH=148767
IDSOLVER=3068
FILE ID=nodeC014/4436389-1721111578
RUNJOBID= nodeC014-1721104371-842009
SLURM_JOB_ID= 7505625
Free space on /tmp= 890072 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB09/OPT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__64.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436389-1721111578/watcher-4436389-1721111578 -o /tmp/evaluation-result-4436389-1721111578/solver-4436389-1721111578 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721104371-842009 --watchdog 3760  pb_picat HOME/instance-4436389-1721111578.opb

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

MD5SUM BENCH= 2bcc7e7368c0bd7cd824ad51b7e87014
RANDOM SEED=1193161519

nodeC014.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3656.816
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3683.388
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.500
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.764
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.96
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		: 3630.839
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3683.447
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.96
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		: 3655.030
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.919
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126998156 kB
MemAvailable:   129710116 kB
Buffers:          336808 kB
Cached:          3181392 kB
SwapCached:        12816 kB
Active:          1056116 kB
Inactive:        2909004 kB
Active(anon):       9460 kB
Inactive(anon):   455464 kB
Active(file):    1046656 kB
Inactive(file):  2453540 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       130796312 kB
Dirty:              3800 kB
Writeback:             0 kB
AnonPages:        431420 kB
Mapped:            57624 kB
Shmem:             18004 kB
KReclaimable:     102824 kB
Slab:             195236 kB
SReclaimable:     102824 kB
SUnreclaim:        92412 kB
KernelStack:        4288 kB
PageTables:        10424 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    6974860 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            29024 kB
HardwareCorrupted:     0 kB
AnonHugePages:    315392 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191188 kB
DirectMap2M:    14262272 kB
DirectMap1G:    121634816 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC014 at 2024-07-16 08:33:28