Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Picat 2025-06-16 | OPT | 813 | 65.2448 | 65.4364 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-4.opb |
| MD5SUM | a0ea3bcd614a437876ff794ba0a9b553 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 813 |
| Best CPU time to get the best result obtained on this benchmark | 0.1198 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 2289 |
| Total number of constraints | 764 |
| Number of constraints which are clauses | 360 |
| Number of constraints which are cardinality constraints (but not clauses) | 404 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 195 |
| Number of terms in the objective function | 1798 |
| Biggest coefficient in the objective function | 349 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 104116 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 349 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 104116 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c solving HOME/instance-4484029-1751277676.opb (Picat 3.9b6) 2.57/2.64 o 16591 6.86/6.99 o 2710 14.64/14.74 o 1245 19.13/19.29 o 831 42.67/42.87 o 813 65.20/65.43 s OPTIMUM FOUND 65.20/65.43 v x421 ~x592 ~x1873 ~x241 ~x1635 ~x1178 ~x594 ~x160 ~x605 ~x1830 65.20/65.43 v x1763 ~x599 ~x342 ~x790 ~x2025 x422 ~x601 ~x524 ~x985 ~x2220 65.20/65.43 v ~x604 ~x602 x706 ~x1375 ~x119 x1764 ~x608 x900 ~x1570 ~x483 65.20/65.43 v x59 x615 ~x1095 ~x60 ~x665 ~x423 ~x624 ~x1290 ~x424 ~x856 65.20/65.43 v ~x1180 ~x640 ~x1680 ~x791 ~x1051 x2155 ~x648 ~x2070 ~x986 ~x1246 65.20/65.43 v ~x242 ~x650 x343 ~x1181 ~x1441 x606 ~x670 x2266 ~x607 ~x1831 65.20/65.43 v x1766 ~x671 ~x162 ~x792 ~x2026 ~x2156 ~x678 x526 ~x987 ~x2221 65.20/65.43 v x61 ~x680 ~x1292 ~x1377 ~x302 ~x243 ~x683 x2267 ~x1572 ~x666 65.20/65.43 v ~x425 ~x687 x345 ~x1962 ~x857 ~x1182 ~x712 x2268 ~x2157 ~x1052 65.20/65.43 v x1767 x713 ~x164 ~x63 ~x1442 x62 x741 ~x346 ~x245 ~x1637 65.20/65.43 v ~x244 x747 x528 ~x427 ~x2222 ~x426 ~x750 x1099 ~x794 ~x667 65.20/65.43 v x793 ~x753 ~x1294 ~x989 ~x858 ~x988 ~x759 ~x1684 ~x1184 ~x1053 65.20/65.43 v ~x1183 ~x761 ~x1879 ~x1964 ~x1638 x609 ~x762 x529 ~x1575 ~x2223 65.20/65.43 v x1769 ~x765 ~x711 ~x2160 ~x122 ~x64 ~x769 x905 ~x611 ~x486 65.20/65.43 v ~x428 ~x770 ~x1100 ~x1381 ~x668 x610 ~x771 ~x1295 ~x1576 ~x859 65.20/65.43 v x1185 ~x776 ~x1685 ~x248 ~x1054 x65 ~x778 ~x1880 ~x612 ~x1249 65.20/65.43 v ~x429 ~x782 ~x2075 ~x1382 ~x1444 ~x1186 ~x783 ~x2270 ~x1577 ~x1639 65.20/65.43 v ~x2161 ~x784 x348 ~x1772 ~x1834 ~x66 ~x787 x1686 ~x1967 ~x2029 65.20/65.43 v x430 ~x789 ~x2271 ~x2162 ~x305 x797 ~x795 x168 ~x67 ~x669 65.20/65.43 v ~x992 ~x796 ~x532 ~x431 ~x1445 ~x1187 x810 ~x1298 ~x613 ~x1640 65.20/65.43 v x249 ~x817 x1883 ~x798 ~x1835 x1383 ~x834 ~x169 ~x993 ~x2030 65.20/65.43 v ~x2163 ~x837 x351 ~x1188 ~x672 x614 ~x839 ~x533 ~x1578 ~x863 65.20/65.43 v x1384 ~x841 x1299 ~x1773 ~x1058 ~x2164 ~x852 ~x2274 ~x1968 ~x1448 65.20/65.43 v x2165 ~x860 ~x170 ~x68 ~x1643 x252 x861 x352 ~x250 ~x2033 65.20/65.43 v x2166 ~x862 ~x534 ~x432 ~x309 ~x253 ~x865 ~x716 ~x799 ~x1449 65.20/65.43 v x617 ~x870 ~x910 ~x994 ~x1644 x1387 ~x877 ~x1105 ~x1189 ~x1839 65.20/65.43 v x254 ~x882 ~x1300 ~x1579 ~x2034 x2168 ~x883 x1495 ~x1774 ~x1645 65.20/65.43 v ~x2169 ~x884 ~x2275 ~x1969 ~x129 x255 ~x885 x1301 ~x69 ~x493 65.20/65.43 v x1585 ~x886 ~x1496 ~x433 ~x312 ~x2170 ~x888 ~x1691 ~x800 ~x676 65.20/65.43 v x74 ~x897 x1107 ~x995 ~x1451 ~x438 ~x904 ~x2277 ~x1190 ~x1646 65.20/65.43 v ~x1196 ~x906 x172 ~x1385 ~x131 x1586 ~x907 ~x354 ~x1775 ~x495 65.20/65.43 v ~x911 ~x2171 ~x536 ~x1970 ~x677 ~x912 ~x76 ~x1303 ~x70 ~x867 65.20/65.43 v ~x440 ~x914 x1693 ~x434 ~x1062 x622 x915 ~x2083 ~x616 ~x1257 65.20/65.43 v x1198 ~x923 ~x173 ~x801 ~x1452 ~x2173 ~x936 x537 ~x996 ~x1647 65.20/65.43 v x623 ~x942 ~x719 ~x1191 ~x1842 x1394 ~x945 ~x1304 ~x1386 ~x2037 65.20/65.43 v ~x1589 ~x948 x2084 ~x1581 ~x133 x78 ~x954 ~x2279 ~x1776 ~x497 65.20/65.43 v ~x442 ~x956 x175 ~x1971 ~x679 ~x1200 ~x957 ~x539 ~x71 ~x869 65.20/65.43 v x261 ~x966 ~x916 ~x435 ~x1064 x1396 ~x971 x1111 ~x802 ~x1259 65.20/65.43 v x812 ~x973 ~x1306 ~x997 ~x1649 ~x1007 ~x978 ~x1696 ~x1192 ~x1844 65.20/65.43 v ~x1787 ~x979 x540 ~x1972 ~x2039 x444 ~x982 x917 ~x72 ~x2234 65.20/65.43 v ~x626 ~x984 ~x1502 ~x436 ~x135 x1788 ~x990 x359 ~x618 ~x317 65.20/65.43 v x627 x991 ~x723 ~x803 ~x499 x814 ~x1005 ~x1503 ~x998 ~x1261 65.20/65.43 v ~x1009 ~x1012 ~x1698 ~x1193 ~x1456 ~x1789 ~x1034 ~x1893 ~x1388 ~x1651 65.20/65.43 v ~x1984 ~x1036 x2088 ~x1583 ~x2236 ~x2179 ~x1047 x360 ~x1778 ~x318 65.20/65.43 v x1790 ~x1055 x1699 ~x1973 ~x682 ~x2180 ~x1056 ~x2284 ~x804 ~x1652 65.20/65.43 v x628 ~x1057 ~x179 ~x999 ~x1847 x816 ~x1060 ~x361 ~x1194 ~x2042 65.20/65.43 v ~x1011 ~x1061 x543 ~x1389 ~x2237 x629 ~x1063 ~x920 ~x1584 ~x138 65.20/65.43 v ~x1597 ~x1065 x1115 ~x1779 ~x320 x1792 ~x1072 ~x1310 ~x73 ~x502 65.20/65.43 v ~x2182 ~x1077 ~x2285 ~x437 ~x874 x266 ~x1078 ~x180 ~x619 ~x1069 65.20/65.43 v ~x630 ~x1079 x544 ~x805 ~x1264 x1403 ~x1080 ~x1311 ~x1000 ~x1459 65.20/65.43 v ~x2183 ~x1081 x1701 ~x1195 ~x1654 ~x85 ~x1083 ~x2286 ~x1390 ~x1849 65.20/65.43 v ~x449 ~x1092 ~x181 ~x1780 ~x2044 x631 ~x1101 x545 ~x1975 ~x139 65.20/65.43 v ~x819 ~x1102 ~x1312 ~x256 ~x503 ~x1014 ~x1106 x1702 ~x620 ~x685 65.20/65.43 v x1209 ~x1109 ~x2287 ~x806 ~x1265 ~x2184 ~x1110 ~x182 ~x1001 ~x1460 65.20/65.43 v x632 ~x1112 x546 ~x1391 ~x1655 ~x2185 ~x1118 ~x728 ~x1781 ~x1850 65.20/65.43 v x821 ~x1126 ~x1313 ~x1976 ~x2240 ~x1016 ~x1131 ~x1898 ~x75 ~x322 65.20/65.43 v ~x2186 x1138 x2093 x257 ~x686 x1797 ~x1151 ~x365 ~x439 ~x876 65.20/65.43 v x634 ~x1152 x729 ~x621 ~x1071 x2188 ~x1160 ~x1509 ~x807 ~x1656 65.20/65.43 v x2189 ~x1161 ~x1704 ~x1002 ~x2046 x636 ~x1168 x2094 x1197 ~x1268 65.20/65.43 v ~x825 ~x1173 ~x1315 ~x1392 ~x2048 x1020 ~x1175 ~x1510 ~x1587 ~x2049 65.20/65.43 v ~x1800 ~x1179 ~x185 ~x1782 ~x325 x637 ~x1203 ~x549 ~x1977 ~x881 65.20/65.43 v x1801 ~x1207 ~x731 ~x2172 ~x1076 ~x2191 ~x1219 ~x926 ~x258 ~x1661 65.20/65.43 v x92 ~x1224 ~x1316 ~x808 ~x1856 ~x456 ~x1226 ~x1706 ~x1003 ~x2051 65.20/65.43 v ~x827 ~x1251 ~x1901 ~x1393 ~x1662 x1022 x1252 ~x550 ~x1588 ~x2249 65.20/65.43 v ~x1217 ~x1254 ~x732 ~x77 ~x2250 x93 ~x1258 ~x927 ~x441 ~x1666 65.20/65.43 v ~x457 ~x1267 ~x1317 ~x809 ~x2251 ~x828 ~x1269 ~x1512 ~x1004 ~x693 65.20/65.43 v x1023 ~x1272 ~x2097 ~x1199 ~x887 ~x1218 ~x1274 ~x733 ~x1979 ~x1082 65.20/65.43 v ~x829 ~x1275 ~x928 ~x260 ~x694 x1024 ~x1276 ~x2098 ~x1395 ~x149 65.20/65.43 v ~x95 ~x1278 ~x734 ~x1590 ~x331 x459 ~x1287 ~x929 ~x1980 ~x513 65.20/65.43 v ~x830 ~x1296 ~x2099 ~x79 ~x889 x1025 ~x1297 ~x2100 ~x443 ~x1084 65.20/65.43 v ~x1220 ~x1302 ~x554 ~x625 ~x1279 ~x96 ~x1305 ~x736 ~x811 ~x1864 65.20/65.43 v x460 ~x1307 ~x931 ~x1006 ~x2059 ~x1221 ~x1322 ~x1321 ~x1201 ~x150 65.20/65.43 v ~x2196 ~x1326 ~x1711 ~x1591 ~x332 x279 ~x1328 ~x9 ~x1786 ~x514 65.20/65.43 v x1417 ~x1332 ~x373 ~x1981 ~x890 ~x2197 ~x1333 ~x737 ~x2176 ~x1085 65.20/65.43 v x2198 ~x1348 ~x932 ~x1202 ~x1280 x462 ~x1355 ~x1127 ~x1397 ~x1865 65.20/65.43 v ~x644 ~x1356 ~x1517 ~x1592 ~x2060 x1029 ~x1361 ~x1907 ~x1982 ~x2255 65.20/65.43 v ~x2199 ~x1368 ~x10 ~x2177 ~x333 x1225 ~x1369 ~x192 ~x813 ~x697 65.20/65.43 v x463 ~x1372 ~x374 ~x1008 ~x1476 ~x645 ~x1376 x556 ~x1593 ~x1671 65.20/65.43 v ~x836 ~x1378 ~x738 ~x81 ~x1866 ~x1031 ~x1379 ~x933 ~x263 ~x2061 65.20/65.43 v x1421 ~x1380 ~x1128 ~x445 ~x2256 ~x1616 ~x1398 ~x1323 ~x1204 ~x698 65.20/65.43 v x646 ~x1402 ~x1713 ~x1399 ~x1867 x1032 ~x1405 ~x1908 ~x1594 ~x2257 65.20/65.43 v ~x2202 ~x1414 ~x557 ~x815 ~x153 x101 ~x1419 ~x1519 ~x1010 ~x517 65.20/65.43 v ~x465 ~x1422 ~x1714 ~x1205 ~x699 ~x838 ~x1424 ~x1909 ~x1400 ~x1283 65.20/65.43 v ~x1033 ~x1437 ~x2104 ~x1595 ~x1868 ~x1228 ~x1443 ~x12 ~x1985 ~x2063 65.20/65.43 v x1423 ~x1446 ~x376 ~x82 ~x2258 ~x2203 ~x1447 ~x740 ~x264 ~x154 65.20/65.43 v x102 ~x1450 ~x935 ~x446 ~x518 ~x466 ~x1455 ~x1130 ~x1206 ~x1284 65.20/65.43 v ~x1229 ~x1458 ~x195 ~x1401 ~x1869 x2204 ~x1462 ~x14 ~x1596 ~x2064 65.20/65.43 v x103 ~x1463 ~x196 ~x1791 ~x701 ~x467 ~x1464 ~x378 ~x1986 ~x2065 65.20/65.43 v ~x840 ~x1467 ~x742 ~x2181 ~x2260 x1035 ~x1468 ~x937 ~x265 ~x338 65.20/65.43 v ~x1230 ~x1472 ~x1132 ~x84 ~x702 ~x1620 ~x1473 ~x1327 ~x448 ~x1481 65.20/65.43 v x104 ~x1474 ~x1522 ~x818 ~x1871 ~x468 ~x1482 ~x1717 ~x1013 ~x2066 65.20/65.43 v ~x1231 ~x1484 ~x1912 ~x1208 ~x2261 ~x1621 ~x1490 ~x198 ~x1598 ~x703 65.20/65.43 v ~x1816 ~x1491 ~x562 ~x1793 ~x1872 x2011 ~x1492 ~x744 ~x1988 ~x2262 65.20/65.43 v x105 ~x1497 ~x939 ~x267 ~x704 ~x287 ~x1499 ~x1329 ~x1404 ~x1483 65.20/65.43 v ~x469 ~x1500 ~x1524 ~x1599 ~x2068 ~x842 ~x1501 ~x1719 ~x1794 ~x2263 65.20/65.43 v x1037 ~x1504 ~x1914 ~x1989 ~x159 ~x1232 x1518 ~x199 ~x86 ~x523 65.20/65.43 v ~x1427 ~x1521 ~x563 ~x450 ~x705 x106 ~x1523 ~x745 ~x820 ~x899 65.20/65.43 v ~x470 ~x1530 ~x940 ~x1015 ~x1094 ~x1233 ~x1534 ~x1330 ~x1210 ~x1289 65.20/65.43 v ~x1428 ~x1539 ~x1525 ~x1795 ~x1679 x2 x1623 ~x1550 ~x1720 ~x1990 65.20/65.43 v ~x2264 ~x366 ~x1818 ~x1554 ~x1915 ~x1211 ~x1485 ~x730 x107 ~x1559 65.20/65.43 v ~x18 ~x1406 ~x1875 ~x925 ~x471 ~x1563 ~x200 ~x1601 ~x2265 ~x1120 65.20/65.43 v ~x844 ~x1564 ~x382 ~x1796 ~x161 ~x1705 x1039 ~x1567 ~x746 ~x1991 65.20/65.43 v ~x525 x1900 ~x1234 ~x1571 ~x941 ~x87 ~x707 ~x3 x290 ~x1573 65.20/65.43 v ~x1136 ~x451 ~x901 x367 x109 ~x1574 ~x1721 ~x633 ~x1096 ~x1121 65.20/65.43 v ~x473 ~x1580 ~x1916 ~x822 ~x1291 x1511 ~x846 ~x1582 ~x19 ~x1017 65.20/65.43 v ~x1486 ~x2096 x1041 x1600 ~x383 ~x1212 ~x1681 x4 ~x1236 ~x1609 65.20/65.43 v ~x1137 ~x1407 ~x1876 ~x368 x110 ~x1612 ~x1527 ~x1602 ~x2071 ~x1122 65.20/65.43 v ~x474 ~x1617 ~x1722 ~x2187 ~x344 x1707 ~x847 ~x1618 ~x1917 ~x88 65.20/65.43 v ~x708 ~x5 x1042 ~x1622 ~x748 ~x270 ~x902 ~x187 ~x1237 ~x1641 65.20/65.43 v ~x943 ~x452 ~x1097 x369 x293 ~x1642 ~x1528 ~x823 ~x1487 ~x1123 65.20/65.43 v x112 ~x1653 ~x1723 ~x1018 ~x1877 ~x1318 ~x294 ~x1657 ~x1918 ~x1213 65.20/65.43 v ~x2072 ~x1513 ~x476 ~x1658 ~x2113 ~x1408 ~x163 ~x1708 ~x849 ~x1663 65.20/65.43 v ~x21 ~x1603 ~x527 x1903 ~x1044 ~x1664 ~x203 ~x1798 ~x709 x6 65.20/65.43 v ~x1239 ~x1665 ~x385 ~x1993 ~x903 ~x188 x2019 ~x1667 ~x749 x89 65.20/65.43 v ~x1098 ~x370 ~x113 ~x1668 ~x944 ~x271 ~x1293 ~x1124 x477 ~x1682 65.20/65.43 v ~x1139 ~x453 ~x1488 ~x1319 ~x1240 ~x1683 ~x1334 ~x635 ~x1878 x1514 65.20/65.43 v x1435 ~x1687 ~x1529 ~x824 ~x2073 ~x1709 x660 ~x1688 ~x22 ~x1019 65.20/65.43 v ~x710 ~x1904 ~x115 ~x1689 ~x386 ~x1214 ~x1489 ~x7 x479 ~x1690 65.20/65.43 v ~x1140 ~x1409 ~x2074 x189 ~x661 ~x1692 ~x23 ~x1604 ~x2269 ~x371 65.20/65.43 v ~x1242 ~x1695 ~x387 ~x1799 ~x1882 ~x735 x1827 ~x1697 ~x569 ~x1994 65.20/65.43 v ~x350 ~x930 x298 ~x1700 ~x751 ~x90 ~x714 x1125 x117 ~x946 65.20/65.43 v ~x272 ~x908 ~x1320 ~x481 ~x1141 ~x454 ~x1716 ~x1103 ~x1515 ~x1244 65.20/65.43 v ~x1336 ~x1215 ~x1718 ~x1493 ~x1710 x1439 ~x1531 ~x1410 ~x1725 ~x2078 65.20/65.43 v ~x1905 ~x300 ~x2116 ~x1605 ~x1734 ~x2273 x1516 x664 ~x1337 ~x2190 65.20/65.43 v ~x1736 ~x715 ~x2101 x301 ~x1532 ~x91 ~x1737 ~x909 x555 x1636 65.20/65.43 v ~x25 ~x273 ~x1743 ~x1104 x1712 ~x120 ~x207 ~x455 ~x1745 ~x1494 65.20/65.43 v ~x11 x484 ~x389 ~x826 ~x1746 ~x1884 x193 ~x1247 ~x1143 ~x1021 65.20/65.43 v ~x1747 ~x2079 ~x375 x1832 ~x1338 ~x1216 ~x1748 ~x1885 x739 ~x2027 65.20/65.43 v ~x1923 ~x1411 ~x1750 ~x2080 ~x934 ~x121 ~x26 ~x1606 ~x1754 ~x717 65.20/65.43 v ~x1129 x485 ~x208 ~x1996 ~x1759 ~x718 ~x1324 ~x1248 ~x390 ~x274 65.20/65.43 v ~x1762 ~x913 x194 x1833 ~x754 ~x638 ~x1765 ~x1108 ~x1325 x304 65.20/65.43 v ~x949 ~x1412 ~x1768 ~x1498 ~x1520 x2224 ~x1144 ~x1607 ~x1770 ~x2278 65.20/65.43 v x1715 ~x123 ~x1339 ~x1802 ~x1771 ~x1694 ~x2105 x487 ~x1729 ~x1997 65.20/65.43 v ~x1777 ~x720 x560 ~x1250 ~x1924 ~x2192 ~x1783 ~x1890 x2107 x2225 65.20/65.43 v ~x27 ~x275 ~x1784 ~x2085 x15 x306 ~x209 ~x639 ~x1785 ~x2280 65.20/65.43 v ~x379 ~x126 ~x391 ~x1413 ~x1804 ~x721 ~x561 x308 ~x755 ~x1608 65.20/65.43 v ~x1806 ~x1891 x743 ~x490 ~x950 ~x1803 ~x1809 ~x2086 ~x938 x1253 65.20/65.43 v ~x1145 ~x1998 ~x1812 ~x2281 ~x1133 ~x1838 ~x1730 ~x2193 ~x1815 ~x722 65.20/65.43 v ~x2108 ~x2228 ~x1925 ~x277 x1820 ~x177 x16 x673 ~x756 ~x641 65.20/65.43 v ~x1824 ~x541 ~x380 ~x864 ~x951 ~x1415 ~x1836 ~x918 ~x1134 x1059 65.20/65.43 v ~x1146 ~x1610 ~x1837 ~x1113 x2109 x128 ~x1341 ~x1805 ~x1841 ~x1308 65.20/65.43 v x17 ~x492 ~x1536 ~x2000 ~x1843 ~x2283 ~x381 ~x674 ~x1731 ~x2195 65.20/65.43 v ~x1846 ~x178 ~x1135 ~x1255 ~x1926 ~x278 ~x1851 ~x542 x2110 x1840 65.20/65.43 v ~x28 ~x642 ~x1853 ~x724 x564 x675 ~x210 ~x831 ~x1858 ~x919 65.20/65.43 v x1331 ~x130 ~x392 ~x1026 ~x1861 ~x1114 ~x1526 x494 ~x1147 ~x1416 65.20/65.43 v ~x1874 ~x1309 ~x2111 x866 ~x1342 ~x1611 ~x1881 ~x1894 x567 ~x1256 65.20/65.43 v ~x1537 ~x97 ~x1886 ~x2089 ~x1724 ~x2231 ~x1732 ~x461 ~x1887 ~x725 65.20/65.43 v x1919 x313 ~x1927 ~x643 ~x1888 ~x1505 ~x2114 x2232 ~x2122 ~x832 65.20/65.43 v ~x1889 ~x1895 x568 x132 ~x211 ~x1027 ~x1892 ~x362 x1335 ~x314 65.20/65.43 v ~x575 ~x1222 ~x1896 ~x726 ~x2115 ~x868 ~x758 ~x1807 ~x1902 ~x921 65.20/65.43 v x205 ~x1453 ~x953 ~x2002 ~x1906 ~x1116 ~x1726 x1648 ~x1343 ~x833 65.20/65.43 v ~x1910 ~x1506 x1921 x315 ~x1538 ~x1028 ~x1911 ~x363 ~x24 x1454 65.20/65.43 v ~x1733 ~x1223 ~x1913 ~x727 x206 ~x134 ~x2123 ~x1418 ~x1920 ~x922 65.20/65.43 v ~x388 x316 ~x1929 ~x1613 ~x1931 ~x1117 ~x752 ~x498 ~x31 ~x1808 65.20/65.43 v ~x1932 ~x1507 x947 x1260 ~x213 ~x2003 ~x1933 ~x1897 ~x1142 ~x1650 65.20/65.43 v ~x395 ~x1614 ~x1938 ~x2092 ~x1727 ~x1845 ~x760 ~x2004 ~x1940 ~x364 65.20/65.43 v ~x1922 ~x2040 ~x955 ~x835 ~x1941 ~x1508 ~x2117 x681 ~x1150 ~x1030 65.20/65.43 v ~x1944 ~x1703 x571 ~x871 ~x1735 ~x1420 ~x1945 ~x183 x1533 x1066 65.20/65.43 v ~x1930 ~x1615 ~x1948 ~x547 ~x1728 ~x136 ~x1541 ~x1810 ~x1949 ~x924 65.20/65.43 v ~x2118 x500 ~x2126 ~x2005 ~x1950 ~x1119 x572 ~x872 ~x1542 ~x2200 65.20/65.43 v ~x1953 ~x1314 x2119 ~x1067 ~x579 ~x1811 ~x1955 ~x1899 x573 ~x1262 65.20/65.43 v ~x763 ~x2201 ~x1957 ~x2289 x1340 x1457 ~x958 ~x100 ~x1959 x1 65.20/65.43 v ~x1535 ~x137 ~x1543 ~x282 ~x1960 ~x2120 ~x319 ~x1738 ~x464 ~x1961 65.20/65.43 v x2121 x501 ~x216 ~x1227 ~x1963 x574 ~x873 ~x764 ~x2007 ~x1965 65.20/65.43 v x757 ~x1068 ~x959 ~x283 ~x1966 ~x952 ~x1263 ~x1349 ~x647 x1974 65.20/65.43 v x29 ~x1848 ~x1544 ~x1813 ~x1978 ~x393 x2043 ~x1739 ~x2008 ~x1983 65.20/65.43 v ~x1148 ~x2238 ~x1934 ~x284 ~x1987 x1928 x684 ~x217 ~x1619 ~x1992 65.20/65.43 v x30 ~x8 x2239 ~x1350 ~x1814 ~x1995 ~x394 ~x13 x321 ~x1545 65.20/65.43 v ~x2009 ~x1999 ~x1149 ~x20 x875 ~x1740 ~x285 x2001 x1344 ~x32 65.20/65.43 v ~x1070 ~x1935 ~x649 ~x2006 x577 ~x40 ~x140 ~x218 ~x1425 ~x2010 65.20/65.43 v x1345 ~x41 x504 ~x582 ~x2205 ~x2022 ~x1540 ~x48 ~x1266 ~x766 65.20/65.43 v ~x286 ~x2028 ~x2125 ~x54 x1461 ~x961 ~x1426 ~x2031 x1346 ~x58 65.20/65.43 v ~x2241 ~x1351 ~x651 ~x2032 x1347 ~x80 ~x141 ~x1546 ~x1817 ~x2035 65.20/65.43 v ~x33 ~x83 x323 ~x1741 ~x2012 ~x2036 ~x397 x94 x1852 ~x1936 65.20/65.43 v ~x2207 ~x2038 x1153 ~x98 ~x2242 ~x219 ~x288 ~x2041 x34 ~x99 65.20/65.43 v x878 ~x583 ~x652 ~x2045 ~x398 ~x124 ~x1073 ~x767 ~x843 ~x2047 65.20/65.43 v ~x1154 ~x125 ~x2243 ~x962 ~x1038 ~x2052 x2129 ~x127 x688 ~x1352 65.20/65.43 v ~x2013 ~x2053 x35 ~x142 ~x879 ~x1547 ~x2208 ~x2054 ~x399 ~x145 65.20/65.43 v ~x1074 ~x1742 ~x289 ~x2055 x960 ~x148 x1659 ~x1937 ~x653 ~x2056 65.20/65.43 v ~x1155 x157 ~x1854 ~x220 ~x1429 ~x2057 ~x2130 ~x165 ~x143 ~x584 65.20/65.43 v ~x1624 ~x2058 x36 ~x166 ~x507 ~x768 ~x1819 ~x2067 ~x400 ~x167 65.20/65.43 v x689 ~x963 ~x2014 x2069 ~x1156 ~x171 ~x880 ~x1353 ~x2209 ~x2076 65.20/65.43 v x2131 x174 ~x1075 ~x1548 ~x108 x2077 x37 ~x176 ~x1270 ~x221 65.20/65.43 v ~x472 ~x2081 ~x401 ~x184 ~x1465 ~x1354 ~x654 ~x2082 ~x1157 ~x186 65.20/65.43 v ~x1660 ~x1549 ~x845 ~x2087 x2132 x190 ~x1855 ~x1744 ~x1040 ~x2090 65.20/65.43 v x38 ~x191 x2050 ~x1939 ~x1235 ~x2091 ~x402 ~x197 ~x2245 ~x224 65.20/65.43 v ~x1430 ~x2095 ~x1158 x201 ~x144 ~x588 ~x1625 ~x2102 x2133 x202 65.20/65.43 v ~x326 ~x1357 ~x2015 ~x2103 x39 ~x204 ~x508 ~x1552 ~x2210 ~x2106 65.20/65.43 v ~x403 ~x212 x690 ~x1942 ~x291 ~x2112 x964 ~x214 x1271 ~x43 65.20/65.43 v ~x655 ~x2124 ~x1159 x215 ~x1466 ~x407 ~x1431 ~x2127 ~x2134 ~x222 65.20/65.43 v ~x2246 ~x773 ~x1626 ~x2128 x965 ~x225 x509 ~x968 ~x1821 ~x2138 65.20/65.43 v ~x2135 ~x226 ~x691 ~x1163 ~x2016 ~x2139 x223 ~x235 x1857 ~x1358 65.20/65.43 v ~x2211 ~x2140 x1551 ~x238 ~x146 ~x1553 ~x292 ~x2143 ~x2136 ~x246 65.20/65.43 v ~x510 ~x44 ~x656 ~x2144 x42 ~x247 x692 ~x408 ~x1432 ~x2149 65.20/65.43 v ~x406 ~x251 x1273 ~x1164 ~x1627 ~x2154 x772 ~x259 ~x2248 ~x45 65.20/65.43 v ~x1822 ~x2158 ~x967 ~x262 x1469 ~x409 ~x2017 ~x2159 ~x1162 ~x268 65.20/65.43 v ~x1859 ~x591 ~x2212 ~x2167 ~x2137 x269 x1470 ~x1165 ~x111 ~x2174 65.20/65.43 v x589 ~x276 ~x1860 ~x1360 ~x475 ~x2175 x1943 ~x280 x1471 ~x1555 65.20/65.43 v ~x657 ~x2178 x590 ~x281 ~x147 ~x46 ~x848 ~x2194 ~x774 ~x303 65.20/65.43 v x511 ~x410 ~x1043 ~x2206 x969 x307 ~x1277 ~x1166 x1238 ~x2217 65.20/65.43 v ~x1359 ~x310 x1862 ~x1946 ~x1433 ~x2226 ~x1749 ~x311 x330 ~x229 65.20/65.43 v ~x1628 ~x2227 x227 ~x324 x1863 ~x593 ~x1823 ~x2229 ~x775 ~x327 65.20/65.43 v x695 ~x777 ~x2018 ~x2230 x970 ~x328 x1669 ~x972 ~x2213 ~x2233 65.20/65.43 v x228 ~x329 ~x2254 ~x1362 ~x658 ~x2235 x1556 ~x334 x696 ~x1557 65.20/65.43 v ~x1434 ~x2244 ~x1751 x335 ~x1475 ~x1947 ~x1629 ~x2247 ~x2141 ~x337 65.20/65.43 v x1670 ~x2142 ~x2214 ~x2252 x47 ~x339 ~x151 ~x230 ~x295 ~x2253 65.20/65.43 v ~x411 x341 x515 ~x1363 ~x659 ~x2272 ~x1167 ~x347 x891 ~x595 65.20/65.43 v ~x850 ~x2276 x1752 ~x349 ~x1086 ~x50 ~x1045 ~x2282 x1558 x353 65.20/65.43 v ~x1281 ~x232 ~x1630 ~x2288 ~x1753 ~x355 x152 ~x414 ~x1825 ~x49 65.20/65.43 v ~x356 ~x516 ~x780 ~x2020 ~x231 ~x357 ~x892 ~x975 ~x2215 x413 65.20/65.43 v ~x358 ~x1087 ~x1170 ~x114 x779 ~x372 ~x1282 ~x1365 ~x296 ~x974 65.20/65.43 v x377 ~x1477 ~x1560 ~x478 ~x1169 ~x384 ~x1672 ~x2145 ~x851 ~x1364 65.20/65.43 v ~x396 x2062 ~x233 ~x1046 x596 ~x404 x893 ~x597 x1241 x1755 65.20/65.43 v ~x405 ~x1088 ~x1366 ~x1436 ~x51 x412 ~x1478 ~x1561 ~x1631 x415 65.20/65.43 v ~x447 ~x1673 ~x1756 ~x1826 x781 ~x458 ~x336 ~x52 ~x2021 ~x976 65.20/65.43 v ~x488 x700 ~x416 ~x2216 ~x1171 ~x489 ~x894 ~x598 ~x297 ~x1951 65.20/65.43 v ~x491 ~x1089 ~x1172 ~x1632 ~x2146 ~x496 ~x1479 ~x1367 ~x116 x234 65.20/65.43 v ~x505 x1674 ~x1562 ~x480 x977 ~x506 ~x2259 ~x1952 ~x662 ~x1757 65.20/65.43 v ~x512 ~x155 ~x236 ~x853 ~x2147 ~x521 x519 ~x1565 ~x1048 x1758 65.20/65.43 v ~x530 x895 ~x1760 x1243 ~x2148 ~x531 ~x1090 ~x2150 ~x1438 x53 65.20/65.43 v ~x535 ~x1285 ~x237 ~x1633 ~x417 ~x538 ~x1480 ~x786 ~x1828 ~x1174 65.20/65.43 v ~x548 ~x1675 ~x981 ~x2023 x1954 ~x551 ~x1870 ~x1371 ~x2218 x418 65.20/65.43 v ~x552 ~x156 ~x1566 ~x299 ~x600 ~x553 x520 ~x1761 ~x663 ~x785 65.20/65.43 v ~x558 ~x896 ~x1956 ~x854 ~x980 ~x559 ~x1091 ~x239 ~x1049 x1370 65.20/65.43 v ~x565 ~x1286 ~x603 ~x1634 ~x55 ~x566 x1676 ~x788 ~x1829 x419 65.20/65.43 v ~x570 x1677 ~x983 ~x2024 ~x1176 ~x576 ~x158 ~x1373 ~x2219 x2151 65.20/65.43 v x578 x340 ~x1568 ~x118 x56 ~x580 ~x522 ~x1958 ~x482 ~x420 65.20/65.43 v ~x581 ~x898 ~x2153 ~x855 ~x1177 ~x585 ~x1093 ~x240 ~x1050 x2152 65.20/65.43 v x586 ~x1288 ~x1374 x1245 ~x57 ~x587 x1678 ~x1569 ~x1440
OK 813
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62679 MiB free)
memory of node 1: 64465 MiB (63804 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484029-1751277676/watcher-4484029-1751277676 -o /tmp/evaluation-result-4484029-1751277676/solver-4484029-1751277676 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751275451-40593 --watchdog 3760 pb_picat HOME/instance-4484029-1751277676.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=40820, runsolver pid=40817
[startup+0.100063 s]*
/proc/loadavg: 4.14 4.11 4.05 5/264 40821
/proc/meminfo: memFree=129498984/131250000 swapFree=33009904/33010684
[pid=40820] ppid=40817 vsize=2044808 memory=38824 CPUtime=0.08 cores=5,7
/proc/40820/stat : 40820 (pb_picat) R 40817 40820 39644 0 -1 4194304 2981 0 0 0 8 0 0 0 20 0 1 0 43446998 2093883392 9706 18446744073709551615 94213785272320 94213786673901 140724122674896 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94213786945328 94213788819632 94213821677568 140724122679710 140724122679786 140724122679786 140724122685388 0
/proc/40820/statm: 511202 9706 1696 343 0 508266 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2044808 KiB
Current children cumulated memory: 38824 KiB
[startup+0.205493 s]*
/proc/loadavg: 4.14 4.11 4.05 5/264 40821
/proc/meminfo: memFree=129494700/131250000 swapFree=33009904/33010684
[pid=40820] ppid=40817 vsize=2054732 memory=47688 CPUtime=0.19 cores=5,7
/proc/40820/stat : 40820 (pb_picat) R 40817 40820 39644 0 -1 4194304 5047 0 0 0 18 1 0 0 20 0 1 0 43446998 2104045568 11922 18446744073709551615 94213785272320 94213786673901 140724122674896 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94213786945328 94213788819632 94213821677568 140724122679710 140724122679786 140724122679786 140724122685388 0
/proc/40820/statm: 513683 11922 1728 343 0 510747 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2054732 KiB
Current children cumulated memory: 47688 KiB
[startup+0.305489 s]*
/proc/loadavg: 4.14 4.11 4.05 5/264 40821
/proc/meminfo: memFree=129492180/131250000 swapFree=33009904/33010684
[pid=40820] ppid=40817 vsize=2056436 memory=49240 CPUtime=0.29 cores=5,7
/proc/40820/stat : 40820 (pb_picat) R 40817 40820 39644 0 -1 4194304 6406 0 0 0 28 1 0 0 20 0 1 0 43446998 2105790464 12310 18446744073709551615 94213785272320 94213786673901 140724122674896 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94213786945328 94213788819632 94213821677568 140724122679710 140724122679786 140724122679786 140724122685388 0
/proc/40820/statm: 514109 12310 1728 343 0 511173 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2056436 KiB
Current children cumulated memory: 49240 KiB
[startup+0.700175 s]
/proc/loadavg: 4.14 4.11 4.05 5/264 40821
/proc/meminfo: memFree=129490416/131250000 swapFree=33009904/33010684
[pid=40820] ppid=40817 vsize=2064640 memory=53028 CPUtime=0.68 cores=5,7
/proc/40820/stat : 40820 (pb_picat) R 40817 40820 39644 0 -1 4194304 8529 0 0 0 66 2 0 0 20 0 1 0 43446998 2114191360 13257 18446744073709551615 94213785272320 94213786673901 140724122674896 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94213786945328 94213788819632 94213821677568 140724122679710 140724122679786 140724122679786 140724122685388 0
/proc/40820/statm: 516160 13257 1728 343 0 513224 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2064640 KiB
Current children cumulated memory: 53028 KiB
[startup+1.50017 s]
/proc/loadavg: 4.14 4.11 4.05 5/264 40821
/proc/meminfo: memFree=129484556/131250000 swapFree=33009904/33010684
[pid=40820] ppid=40817 vsize=2056400 memory=49748 CPUtime=1.47 cores=5,7
/proc/40820/stat : 40820 (pb_picat) R 40817 40820 39644 0 -1 4194304 12112 0 0 0 145 2 0 0 20 0 1 0 43446998 2105753600 12437 18446744073709551615 94213785272320 94213786673901 140724122674896 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94213786945328 94213788819632 94213821677568 140724122679710 140724122679786 140724122679786 140724122685388 0
/proc/40820/statm: 514100 12437 1728 343 0 511164 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2056400 KiB
Current children cumulated memory: 49748 KiB
[startup+3.10532 s]
/proc/loadavg: 4.13 4.11 4.04 5/264 40821
/proc/meminfo: memFree=129472016/131250000 swapFree=33009904/33010684
[pid=40820] ppid=40817 vsize=2074692 memory=68728 CPUtime=3.08 cores=5,7
/proc/40820/stat : 40820 (pb_picat) R 40817 40820 39644 0 -1 4194304 18460 0 0 0 303 5 0 0 20 0 1 0 43446998 2124484608 17182 18446744073709551615 94213785272320 94213786673901 140724122674896 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94213786945328 94213788819632 94213821677568 140724122679710 140724122679786 140724122679786 140724122685388 0
/proc/40820/statm: 518673 17182 1728 343 0 515737 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2074692 KiB
Current children cumulated memory: 68728 KiB
[startup+6.30017 s]
/proc/loadavg: 4.13 4.11 4.04 5/264 40821
/proc/meminfo: memFree=129462408/131250000 swapFree=33009904/33010684
[pid=40820] ppid=40817 vsize=2074692 memory=70008 CPUtime=6.26 cores=5,7
/proc/40820/stat : 40820 (pb_picat) R 40817 40820 39644 0 -1 4194304 24352 0 0 0 619 7 0 0 20 0 1 0 43446998 2124484608 17502 18446744073709551615 94213785272320 94213786673901 140724122674896 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94213786945328 94213788819632 94213821677568 140724122679710 140724122679786 140724122679786 140724122685388 0
/proc/40820/statm: 518673 17502 1728 343 0 515737 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2074692 KiB
Current children cumulated memory: 70008 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.11 4.04 5/263 40821
/proc/meminfo: memFree=129453168/131250000 swapFree=33009904/33010684
[pid=40820] ppid=40817 vsize=2068164 memory=62584 CPUtime=12.64 cores=5,7
/proc/40820/stat : 40820 (pb_picat) R 40817 40820 39644 0 -1 4194304 45146 0 0 0 1252 12 0 0 20 0 1 0 43446998 2117799936 15646 18446744073709551615 94213785272320 94213786673901 140724122674896 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94213786945328 94213788819632 94213821677568 140724122679710 140724122679786 140724122679786 140724122685388 0
/proc/40820/statm: 517041 15646 1728 343 0 514105 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2068164 KiB
Current children cumulated memory: 62584 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.10 4.04 5/263 40821
/proc/meminfo: memFree=129445048/131250000 swapFree=33009904/33010684
[pid=40820] ppid=40817 vsize=2072772 memory=67704 CPUtime=25.41 cores=5,7
/proc/40820/stat : 40820 (pb_picat) R 40817 40820 39644 0 -1 4194304 80341 0 0 0 2519 22 0 0 20 0 1 0 43446998 2122518528 16926 18446744073709551615 94213785272320 94213786673901 140724122674896 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94213786945328 94213788819632 94213821677568 140724122679710 140724122679786 140724122679786 140724122685388 0
/proc/40820/statm: 518193 16926 1728 343 0 515257 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2072772 KiB
Current children cumulated memory: 67704 KiB
[startup+51.1054 s]
/proc/loadavg: 4.06 4.09 4.04 5/263 40821
/proc/meminfo: memFree=129450708/131250000 swapFree=33009904/33010684
[pid=40820] ppid=40817 vsize=2069444 memory=66848 CPUtime=50.94 cores=5,7
/proc/40820/stat : 40820 (pb_picat) R 40817 40820 39644 0 -1 4194304 153300 0 0 0 5053 41 0 0 20 0 1 0 43446998 2119110656 16712 18446744073709551615 94213785272320 94213786673901 140724122674896 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94213786945328 94213788819632 94213821677568 140724122679710 140724122679786 140724122679786 140724122685388 0
/proc/40820/statm: 517361 16712 1728 343 0 514425 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2069444 KiB
Current children cumulated memory: 66848 KiB
[startup+65.4364 s]
# the end of solver process 40820 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=64.7193 s, system=0.525506 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 4.06 4.09 4.04 5/263 40821
/proc/meminfo: memFree=129450708/131250000 swapFree=33009904/33010684
[pid=40820] ppid=40817 vsize=2069444 memory=66976 CPUtime=51.03 cores=5,7
/proc/40820/stat : 40820 (pb_picat) R 40817 40820 39644 0 -1 4194304 153329 0 0 0 5062 41 0 0 20 0 1 0 43446998 2119110656 16744 18446744073709551615 94213785272320 94213786673901 140724122674896 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94213786945328 94213788819632 94213821677568 140724122679710 140724122679786 140724122679786 140724122685388 0
/proc/40820/statm: 517361 16744 1728 343 0 514425 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 2069444 KiB
Current children cumulated memory: 66976 KiB
[startup+57.6002 s]
/proc/loadavg: 4.12 4.11 4.05 5/263 40822
/proc/meminfo: memFree=129497564/131250000 swapFree=33009904/33010684
[pid=40820] ppid=40817 vsize=2069444 memory=67488 CPUtime=57.42 cores=5,7
/proc/40820/stat : 40820 (pb_picat) R 40817 40820 39644 0 -1 4194304 174181 0 0 0 5695 47 0 0 20 0 1 0 43446998 2119110656 16872 18446744073709551615 94213785272320 94213786673901 140724122674896 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94213786945328 94213788819632 94213821677568 140724122679710 140724122679786 140724122679786 140724122685388 0
/proc/40820/statm: 517361 16872 1728 343 0 514425 0
Current children cumulated CPU time: 57.42 s
Current children cumulated vsize: 2069444 KiB
Current children cumulated memory: 67488 KiB
[startup+60.8002 s]
/proc/loadavg: 4.12 4.11 4.05 5/263 40823
/proc/meminfo: memFree=129506864/131250000 swapFree=33009904/33010684
[pid=40820] ppid=40817 vsize=2069444 memory=66080 CPUtime=60.61 cores=5,7
/proc/40820/stat : 40820 (pb_picat) R 40817 40820 39644 0 -1 4194304 181588 0 0 0 6011 50 0 0 20 0 1 0 43446998 2119110656 16520 18446744073709551615 94213785272320 94213786673901 140724122674896 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94213786945328 94213788819632 94213821677568 140724122679710 140724122679786 140724122679786 140724122685388 0
/proc/40820/statm: 517361 16520 1728 343 0 514425 0
Current children cumulated CPU time: 60.61 s
Current children cumulated vsize: 2069444 KiB
Current children cumulated memory: 66080 KiB
[startup+64.0002 s]*
/proc/loadavg: 4.11 4.10 4.04 5/263 40823
/proc/meminfo: memFree=129483868/131250000 swapFree=33009904/33010684
[pid=40820] ppid=40817 vsize=2069444 memory=66080 CPUtime=63.8 cores=5,7
/proc/40820/stat : 40820 (pb_picat) R 40817 40820 39644 0 -1 4194304 188815 0 0 0 6329 51 0 0 20 0 1 0 43446998 2119110656 16520 18446744073709551615 94213785272320 94213786673901 140724122674896 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94213786945328 94213788819632 94213821677568 140724122679710 140724122679786 140724122679786 140724122685388 0
/proc/40820/statm: 517361 16520 1728 343 0 514425 0
Current children cumulated CPU time: 63.8 s
Current children cumulated vsize: 2069444 KiB
Current children cumulated memory: 66080 KiB
[startup+64.8002 s]
/proc/loadavg: 4.11 4.10 4.04 5/263 40823
/proc/meminfo: memFree=129483868/131250000 swapFree=33009904/33010684
[pid=40820] ppid=40817 vsize=2069444 memory=66464 CPUtime=64.6 cores=5,7
/proc/40820/stat : 40820 (pb_picat) R 40817 40820 39644 0 -1 4194304 189813 0 0 0 6408 52 0 0 20 0 1 0 43446998 2119110656 16616 18446744073709551615 94213785272320 94213786673901 140724122674896 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94213786945328 94213788819632 94213821677568 140724122679710 140724122679786 140724122679786 140724122685388 0
/proc/40820/statm: 517361 16616 1728 343 0 514425 0
Current children cumulated CPU time: 64.6 s
Current children cumulated vsize: 2069444 KiB
Current children cumulated memory: 66464 KiB
[startup+65.2001 s]
/proc/loadavg: 4.11 4.10 4.04 5/263 40823
/proc/meminfo: memFree=129483868/131250000 swapFree=33009904/33010684
[pid=40820] ppid=40817 vsize=2069444 memory=66720 CPUtime=65 cores=5,7
/proc/40820/stat : 40820 (pb_picat) R 40817 40820 39644 0 -1 4194304 189855 0 0 0 6448 52 0 0 20 0 1 0 43446998 2119110656 16680 18446744073709551615 94213785272320 94213786673901 140724122674896 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94213786945328 94213788819632 94213821677568 140724122679710 140724122679786 140724122679786 140724122685388 0
/proc/40820/statm: 517361 16680 1728 343 0 514425 0
Current children cumulated CPU time: 65 s
Current children cumulated vsize: 2069444 KiB
Current children cumulated memory: 66720 KiB
[startup+65.4001 s]
/proc/loadavg: 4.11 4.10 4.04 5/263 40823
/proc/meminfo: memFree=129483868/131250000 swapFree=33009904/33010684
[pid=40820] ppid=40817 vsize=2069444 memory=66720 CPUtime=65.2 cores=5,7
/proc/40820/stat : 40820 (pb_picat) R 40817 40820 39644 0 -1 4194304 189870 0 0 0 6468 52 0 0 20 0 1 0 43446998 2119110656 16680 18446744073709551615 94213785272320 94213786673901 140724122674896 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94213786945328 94213788819632 94213821677568 140724122679710 140724122679786 140724122679786 140724122685388 0
/proc/40820/statm: 517361 16680 1728 343 0 514425 0
Current children cumulated CPU time: 65.2 s
Current children cumulated vsize: 2069444 KiB
Current children cumulated memory: 66720 KiB
Child status: 0
Real time (s): 65.4364
CPU time (s): 65.2448
CPU user time (s): 64.7193
CPU system time (s): 0.525506
CPU usage (%): 99.7071
Max. virtual memory (cumulated for all children) (KiB): 2083780
Max. memory (cumulated for all children) (KiB): 74872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 64.7193
system time used= 0.525506
maximum resident set size= 74872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189885
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= 67
involuntary context switches= 91
# summary of solver processes directly reported to runsolver:
# pid: 40820
# total CPU time (s): 65.2448
# total CPU user time (s): 64.7193
# total CPU system time (s): 0.525506
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.14645 second user time and 0.297219 second system time
The end
Begin job on nodeC033 at 2025-06-30 12:01:16 IDJOB=4484029 IDBENCH=146648 IDSOLVER=3346 FILE ID=nodeC033/4484029-1751277676 RUNJOBID= nodeC033-1751275451-40593 SLURM_JOB_ID= 9594200 Free space on /tmp= 432768 MiB SOLVER NAME= Picat 2025-06-16 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-4.opb COMMAND LINE= pb_picat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484029-1751277676/watcher-4484029-1751277676 -o /tmp/evaluation-result-4484029-1751277676/solver-4484029-1751277676 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751275451-40593 --watchdog 3760 pb_picat HOME/instance-4484029-1751277676.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a0ea3bcd614a437876ff794ba0a9b553 RANDOM SEED=1614792331 nodeC033 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.989 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.067 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3646.424 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.507 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.121 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.239 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.196 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.066 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 129519588 kB MemAvailable: 129217452 kB Buffers: 2128 kB Cached: 497580 kB SwapCached: 68 kB Active: 797560 kB Inactive: 320624 kB Active(anon): 611696 kB Inactive(anon): 24808 kB Active(file): 185864 kB Inactive(file): 295816 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33009904 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 3576 kB Writeback: 0 kB AnonPages: 616560 kB Mapped: 114436 kB Shmem: 18028 kB KReclaimable: 110848 kB Slab: 198548 kB SReclaimable: 110848 kB SUnreclaim: 87700 kB KernelStack: 4272 kB PageTables: 4296 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 6928492 kB VmallocTotal: 34359738367 kB VmallocUsed: 150584 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 405504 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 221908 kB DirectMap2M: 11083776 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 432764 MiB End job on nodeC033 at 2025-06-30 12:02:21