Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| pb_picat 2025-07-11 | OPT | 813 | 64.6977 | 64.9002 |
| 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.02 c solving HOME/instance-4528367-1752237828.opb (Picat 3.9b11, 7/10/2025) 3.37/3.45 o 16591 7.66/7.79 o 2710 15.63/15.72 o 1245 20.11/20.20 o 831 43.15/43.39 o 813 64.59/64.89 s OPTIMUM FOUND 64.59/64.89 v x223 ~x235 x1857 ~x1358 ~x2211 ~x2140 x1551 ~x238 ~x146 ~x1553 64.59/64.89 v ~x292 ~x2143 ~x2136 ~x246 ~x510 ~x44 ~x656 ~x2144 x42 ~x247 64.59/64.89 v x692 ~x408 ~x1432 ~x2149 ~x406 ~x251 x1273 ~x1164 ~x1627 ~x2154 64.59/64.89 v x772 ~x259 ~x2248 ~x45 ~x1822 ~x2158 ~x967 ~x262 x1469 ~x409 64.59/64.89 v ~x2017 ~x2159 ~x1162 ~x268 ~x1859 ~x591 ~x2212 ~x2167 ~x2137 x269 64.59/64.89 v x1470 ~x1165 ~x111 ~x2174 x589 ~x276 ~x1860 ~x1360 ~x475 ~x2175 64.59/64.89 v x1943 ~x280 x1471 ~x1555 ~x657 ~x2178 x590 ~x281 ~x147 ~x46 64.59/64.89 v ~x848 ~x2194 ~x774 ~x303 x511 ~x410 ~x1043 ~x2206 x969 x307 64.59/64.89 v ~x1277 ~x1166 x1238 ~x2217 ~x1359 ~x310 x1862 ~x1946 ~x1433 ~x2226 64.59/64.89 v ~x1749 ~x311 x330 ~x229 ~x1628 ~x2227 x227 ~x324 x1863 ~x593 64.59/64.89 v ~x1823 ~x2229 ~x775 ~x327 x695 ~x777 ~x2018 ~x2230 x970 ~x328 64.59/64.89 v x1669 ~x972 ~x2213 ~x2233 x228 ~x329 ~x2254 ~x1362 ~x658 ~x2235 64.59/64.89 v x1556 ~x334 x696 ~x1557 ~x1434 ~x2244 ~x1751 x335 ~x1475 ~x1947 64.59/64.89 v ~x1629 ~x2247 ~x2141 ~x337 x1670 ~x2142 ~x2214 ~x2252 x47 ~x339 64.59/64.89 v ~x151 ~x230 ~x295 ~x2253 ~x411 x341 x515 ~x1363 ~x659 ~x2272 64.59/64.89 v ~x1167 ~x347 x891 ~x595 ~x850 ~x2276 x1752 ~x349 ~x1086 ~x50 64.59/64.89 v ~x1045 ~x2282 x1558 x353 ~x1281 ~x232 ~x1630 ~x2288 ~x1753 ~x355 64.59/64.89 v x152 ~x414 ~x1825 ~x49 ~x356 ~x516 ~x780 ~x2020 ~x231 ~x357 64.59/64.89 v ~x892 ~x975 ~x2215 x413 ~x358 ~x1087 ~x1170 ~x114 x779 ~x372 64.59/64.89 v ~x1282 ~x1365 ~x296 ~x974 x377 ~x1477 ~x1560 ~x478 ~x1169 ~x384 64.59/64.89 v ~x1672 ~x2145 ~x851 ~x1364 ~x396 x2062 ~x233 ~x1046 x596 ~x404 64.59/64.89 v x893 ~x597 x1241 x1755 ~x405 ~x1088 ~x1366 ~x1436 ~x51 x412 64.59/64.89 v ~x1478 ~x1561 ~x1631 x415 ~x447 ~x1673 ~x1756 ~x1826 x781 ~x458 64.59/64.89 v ~x336 ~x52 ~x2021 ~x976 ~x488 x700 ~x416 ~x2216 ~x1171 ~x489 64.59/64.89 v ~x894 ~x598 ~x297 ~x1951 ~x491 ~x1089 ~x1172 ~x1632 ~x2146 ~x496 64.59/64.89 v ~x1479 ~x1367 ~x116 x234 ~x505 x1674 ~x1562 ~x480 x977 ~x506 64.59/64.89 v ~x2259 ~x1952 ~x662 ~x1757 ~x512 ~x155 ~x236 ~x853 ~x2147 ~x521 64.59/64.89 v x519 ~x1565 ~x1048 x1758 ~x530 x895 ~x1760 x1243 ~x2148 ~x531 64.59/64.89 v ~x1090 ~x2150 ~x1438 x53 ~x535 ~x1285 ~x237 ~x1633 ~x417 ~x538 64.59/64.89 v ~x1480 ~x786 ~x1828 ~x1174 ~x548 ~x1675 ~x981 ~x2023 x1954 ~x551 64.59/64.89 v ~x1870 ~x1371 ~x2218 x418 ~x552 ~x156 ~x1566 ~x299 ~x600 ~x553 64.59/64.89 v x520 ~x1761 ~x663 ~x785 ~x558 ~x896 ~x1956 ~x854 ~x980 ~x559 64.59/64.89 v ~x1091 ~x239 ~x1049 x1370 ~x565 ~x1286 ~x603 ~x1634 ~x55 ~x566 64.59/64.89 v x1676 ~x788 ~x1829 x419 ~x570 x1677 ~x983 ~x2024 ~x1176 ~x576 64.59/64.89 v ~x158 ~x1373 ~x2219 x2151 x578 x340 ~x1568 ~x118 x56 ~x580 64.59/64.89 v ~x522 ~x1958 ~x482 ~x420 ~x581 ~x898 ~x2153 ~x855 ~x1177 ~x585 64.59/64.89 v ~x1093 ~x240 ~x1050 x2152 x586 ~x1288 ~x1374 x1245 ~x57 ~x587 64.59/64.89 v x1678 ~x1569 ~x1440 x421 ~x592 ~x1873 ~x241 ~x1635 ~x1178 ~x594 64.59/64.89 v ~x160 ~x605 ~x1830 x1763 ~x599 ~x342 ~x790 ~x2025 x422 ~x601 64.59/64.89 v ~x524 ~x985 ~x2220 ~x604 ~x602 x706 ~x1375 ~x119 x1764 ~x608 64.59/64.89 v x900 ~x1570 ~x483 x59 x615 ~x1095 ~x60 ~x665 ~x423 ~x624 64.59/64.89 v ~x1290 ~x424 ~x856 ~x1180 ~x640 ~x1680 ~x791 ~x1051 x2155 ~x648 64.59/64.89 v ~x2070 ~x986 ~x1246 ~x242 ~x650 x343 ~x1181 ~x1441 x606 ~x670 64.59/64.89 v x2266 ~x607 ~x1831 x1766 ~x671 ~x162 ~x792 ~x2026 ~x2156 ~x678 64.59/64.89 v x526 ~x987 ~x2221 x61 ~x680 ~x1292 ~x1377 ~x302 ~x243 ~x683 64.59/64.89 v x2267 ~x1572 ~x666 ~x425 ~x687 x345 ~x1962 ~x857 ~x1182 ~x712 64.59/64.89 v x2268 ~x2157 ~x1052 x1767 x713 ~x164 ~x63 ~x1442 x62 x741 64.59/64.89 v ~x346 ~x245 ~x1637 ~x244 x747 x528 ~x427 ~x2222 ~x426 ~x750 64.59/64.89 v x1099 ~x794 ~x667 x793 ~x753 ~x1294 ~x989 ~x858 ~x988 ~x759 64.59/64.89 v ~x1684 ~x1184 ~x1053 ~x1183 ~x761 ~x1879 ~x1964 ~x1638 x609 ~x762 64.59/64.89 v x529 ~x1575 ~x2223 x1769 ~x765 ~x711 ~x2160 ~x122 ~x64 ~x769 64.59/64.89 v x905 ~x611 ~x486 ~x428 ~x770 ~x1100 ~x1381 ~x668 x610 ~x771 64.59/64.89 v ~x1295 ~x1576 ~x859 x1185 ~x776 ~x1685 ~x248 ~x1054 x65 ~x778 64.59/64.89 v ~x1880 ~x612 ~x1249 ~x429 ~x782 ~x2075 ~x1382 ~x1444 ~x1186 ~x783 64.59/64.89 v ~x2270 ~x1577 ~x1639 ~x2161 ~x784 x348 ~x1772 ~x1834 ~x66 ~x787 64.59/64.89 v x1686 ~x1967 ~x2029 x430 ~x789 ~x2271 ~x2162 ~x305 x797 ~x795 64.59/64.89 v x168 ~x67 ~x669 ~x992 ~x796 ~x532 ~x431 ~x1445 ~x1187 x810 64.59/64.89 v ~x1298 ~x613 ~x1640 x249 ~x817 x1883 ~x798 ~x1835 x1383 ~x834 64.59/64.89 v ~x169 ~x993 ~x2030 ~x2163 ~x837 x351 ~x1188 ~x672 x614 ~x839 64.59/64.89 v ~x533 ~x1578 ~x863 x1384 ~x841 x1299 ~x1773 ~x1058 ~x2164 ~x852 64.59/64.89 v ~x2274 ~x1968 ~x1448 x2165 ~x860 ~x170 ~x68 ~x1643 x252 x861 64.59/64.89 v x352 ~x250 ~x2033 x2166 ~x862 ~x534 ~x432 ~x309 ~x253 ~x865 64.59/64.89 v ~x716 ~x799 ~x1449 x617 ~x870 ~x910 ~x994 ~x1644 x1387 ~x877 64.59/64.89 v ~x1105 ~x1189 ~x1839 x254 ~x882 ~x1300 ~x1579 ~x2034 x2168 ~x883 64.59/64.89 v x1495 ~x1774 ~x1645 ~x2169 ~x884 ~x2275 ~x1969 ~x129 x255 ~x885 64.59/64.89 v x1301 ~x69 ~x493 x1585 ~x886 ~x1496 ~x433 ~x312 ~x2170 ~x888 64.59/64.89 v ~x1691 ~x800 ~x676 x74 ~x897 x1107 ~x995 ~x1451 ~x438 ~x904 64.59/64.89 v ~x2277 ~x1190 ~x1646 ~x906 ~x1196 x172 ~x1385 ~x131 ~x907 x1586 64.59/64.89 v ~x354 ~x1775 ~x495 ~x911 ~x2171 ~x536 ~x1970 ~x677 ~x76 ~x912 64.59/64.89 v ~x1303 ~x70 ~x867 ~x440 ~x914 x1693 ~x434 ~x1062 x622 x915 64.59/64.89 v ~x2083 ~x616 ~x1257 x1198 ~x923 ~x173 ~x801 ~x1452 ~x2173 ~x936 64.59/64.89 v x537 ~x996 ~x1647 x623 ~x942 ~x719 ~x1191 ~x1842 x1394 ~x945 64.59/64.89 v ~x1304 ~x1386 ~x2037 ~x1589 ~x948 x2084 ~x1581 ~x133 x78 ~x954 64.59/64.89 v ~x2279 ~x1776 ~x497 ~x442 ~x956 x175 ~x1971 ~x679 ~x1200 ~x957 64.59/64.89 v ~x539 ~x71 ~x869 x261 ~x966 ~x916 ~x435 ~x1064 x1396 ~x971 64.59/64.89 v x1111 ~x802 ~x1259 x812 ~x973 ~x1306 ~x997 ~x1649 ~x1007 ~x978 64.59/64.89 v ~x1696 ~x1192 ~x1844 ~x1787 ~x979 x540 ~x1972 ~x2039 x444 ~x982 64.59/64.89 v x917 ~x72 ~x2234 ~x626 ~x984 ~x1502 ~x436 ~x135 x1788 ~x990 64.59/64.89 v x359 ~x618 ~x317 x627 x991 ~x723 ~x803 ~x499 x814 ~x1005 64.59/64.89 v ~x1503 ~x998 ~x1261 ~x1009 ~x1012 ~x1698 ~x1193 ~x1456 ~x1789 ~x1034 64.59/64.89 v ~x1893 ~x1388 ~x1651 ~x1984 ~x1036 x2088 ~x1583 ~x2236 ~x2179 ~x1047 64.59/64.89 v x360 ~x1778 ~x318 x1790 ~x1055 x1699 ~x1973 ~x682 ~x2180 ~x1056 64.59/64.89 v ~x2284 ~x804 ~x1652 x628 ~x1057 ~x179 ~x999 ~x1847 x816 ~x1060 64.59/64.89 v ~x361 ~x1194 ~x2042 ~x1011 ~x1061 x543 ~x1389 ~x2237 x629 ~x1063 64.59/64.89 v ~x920 ~x1584 ~x138 ~x1597 ~x1065 x1115 ~x1779 ~x320 x1792 ~x1072 64.59/64.89 v ~x1310 ~x73 ~x502 ~x2182 ~x1077 ~x2285 ~x437 ~x874 x266 ~x1078 64.59/64.89 v ~x180 ~x619 ~x1069 ~x630 ~x1079 x544 ~x805 ~x1264 x1403 ~x1080 64.59/64.89 v ~x1311 ~x1000 ~x1459 ~x2183 ~x1081 x1701 ~x1195 ~x1654 ~x85 ~x1083 64.59/64.89 v ~x2286 ~x1390 ~x1849 ~x449 ~x1092 ~x181 ~x1780 ~x2044 x631 ~x1101 64.59/64.89 v x545 ~x1975 ~x139 ~x819 ~x1102 ~x1312 ~x256 ~x503 ~x1014 ~x1106 64.59/64.89 v x1702 ~x620 ~x685 x1209 ~x1109 ~x2287 ~x806 ~x1265 ~x2184 ~x1110 64.59/64.89 v ~x182 ~x1001 ~x1460 x632 ~x1112 x546 ~x1391 ~x1655 ~x2185 ~x1118 64.59/64.89 v ~x728 ~x1781 ~x1850 x821 ~x1126 ~x1313 ~x1976 ~x2240 ~x1016 ~x1131 64.59/64.89 v ~x1898 ~x75 ~x322 ~x2186 x1138 x2093 x257 ~x686 x1797 ~x1151 64.59/64.89 v ~x365 ~x439 ~x876 x634 ~x1152 x729 ~x621 ~x1071 x2188 ~x1160 64.59/64.89 v ~x1509 ~x807 ~x1656 x2189 ~x1161 ~x1704 ~x1002 ~x2046 x636 ~x1168 64.59/64.89 v x2094 x1197 ~x1268 ~x825 ~x1173 ~x1315 ~x1392 ~x2048 x1020 ~x1175 64.59/64.89 v ~x1510 ~x1587 ~x2049 ~x1800 ~x1179 ~x185 ~x1782 ~x325 x637 ~x1203 64.59/64.89 v ~x549 ~x1977 ~x881 x1801 ~x1207 ~x731 ~x2172 ~x1076 ~x2191 ~x1219 64.59/64.89 v ~x926 ~x258 ~x1661 x92 ~x1224 ~x1316 ~x808 ~x1856 ~x456 ~x1226 64.59/64.89 v ~x1706 ~x1003 ~x2051 ~x827 ~x1251 ~x1901 ~x1393 ~x1662 x1022 x1252 64.59/64.89 v ~x550 ~x1588 ~x2249 ~x1217 ~x1254 ~x732 ~x77 ~x2250 x93 ~x1258 64.59/64.89 v ~x927 ~x441 ~x1666 ~x457 ~x1267 ~x1317 ~x809 ~x2251 ~x828 ~x1269 64.59/64.89 v ~x1512 ~x1004 ~x693 x1023 ~x1272 ~x2097 ~x1199 ~x887 ~x1218 ~x1274 64.59/64.89 v ~x733 ~x1979 ~x1082 ~x829 ~x1275 ~x928 ~x260 ~x694 x1024 ~x1276 64.59/64.89 v ~x2098 ~x1395 ~x149 ~x95 ~x1278 ~x734 ~x1590 ~x331 x459 ~x1287 64.59/64.89 v ~x929 ~x1980 ~x513 ~x830 ~x1296 ~x2099 ~x79 ~x889 x1025 ~x1297 64.59/64.89 v ~x2100 ~x443 ~x1084 ~x1220 ~x1302 ~x554 ~x625 ~x1279 ~x96 ~x1305 64.59/64.89 v ~x736 ~x811 ~x1864 x460 ~x1307 ~x931 ~x1006 ~x2059 ~x1221 ~x1322 64.59/64.89 v ~x1321 ~x1201 ~x150 ~x2196 ~x1326 ~x1711 ~x1591 ~x332 x279 ~x1328 64.59/64.89 v ~x9 ~x1786 ~x514 x1417 ~x1332 ~x373 ~x1981 ~x890 ~x2197 ~x1333 64.59/64.89 v ~x737 ~x2176 ~x1085 x2198 ~x1348 ~x932 ~x1202 ~x1280 x462 ~x1355 64.59/64.89 v ~x1127 ~x1397 ~x1865 ~x644 ~x1356 ~x1517 ~x1592 ~x2060 x1029 ~x1361 64.59/64.89 v ~x1907 ~x1982 ~x2255 ~x2199 ~x1368 ~x10 ~x2177 ~x333 x1225 ~x1369 64.59/64.89 v ~x192 ~x813 ~x697 x463 ~x1372 ~x374 ~x1008 ~x1476 ~x645 ~x1376 64.59/64.89 v x556 ~x1593 ~x1671 ~x836 ~x1378 ~x738 ~x81 ~x1866 ~x1031 ~x1379 64.59/64.89 v ~x933 ~x263 ~x2061 x1421 ~x1380 ~x1128 ~x445 ~x2256 ~x1616 ~x1398 64.59/64.89 v ~x1323 ~x1204 ~x698 x646 ~x1402 ~x1713 ~x1399 ~x1867 x1032 ~x1405 64.59/64.89 v ~x1908 ~x1594 ~x2257 ~x2202 ~x1414 ~x557 ~x815 ~x153 x101 ~x1419 64.59/64.89 v ~x1519 ~x1010 ~x517 ~x465 ~x1422 ~x1714 ~x1205 ~x699 ~x838 ~x1424 64.59/64.89 v ~x1909 ~x1400 ~x1283 ~x1033 ~x1437 ~x2104 ~x1595 ~x1868 ~x1228 ~x1443 64.59/64.89 v ~x12 ~x1985 ~x2063 x1423 ~x1446 ~x376 ~x82 ~x2258 ~x2203 ~x1447 64.59/64.89 v ~x740 ~x264 ~x154 x102 ~x1450 ~x935 ~x446 ~x518 ~x466 ~x1455 64.59/64.89 v ~x1130 ~x1206 ~x1284 ~x1229 ~x1458 ~x195 ~x1401 ~x1869 x2204 ~x1462 64.59/64.89 v ~x14 ~x1596 ~x2064 x103 ~x1463 ~x196 ~x1791 ~x701 ~x467 ~x1464 64.59/64.89 v ~x378 ~x1986 ~x2065 ~x840 ~x1467 ~x742 ~x2181 ~x2260 x1035 ~x1468 64.59/64.89 v ~x937 ~x265 ~x338 ~x1230 ~x1472 ~x1132 ~x84 ~x702 ~x1620 ~x1473 64.59/64.89 v ~x1327 ~x448 ~x1481 x104 ~x1474 ~x1522 ~x818 ~x1871 ~x468 ~x1482 64.59/64.89 v ~x1717 ~x1013 ~x2066 ~x1231 ~x1484 ~x1912 ~x1208 ~x2261 ~x1621 ~x1490 64.59/64.89 v ~x198 ~x1598 ~x703 ~x1816 ~x1491 ~x562 ~x1793 ~x1872 x2011 ~x1492 64.59/64.89 v ~x744 ~x1988 ~x2262 x105 ~x1497 ~x939 ~x267 ~x704 ~x287 ~x1499 64.59/64.89 v ~x1329 ~x1404 ~x1483 ~x469 ~x1500 ~x1524 ~x1599 ~x2068 ~x842 ~x1501 64.59/64.89 v ~x1719 ~x1794 ~x2263 x1037 ~x1504 ~x1914 ~x1989 ~x159 ~x1232 x1518 64.59/64.89 v ~x199 ~x86 ~x523 ~x1427 ~x1521 ~x563 ~x450 ~x705 x106 ~x1523 64.59/64.89 v ~x745 ~x820 ~x899 ~x470 ~x1530 ~x940 ~x1015 ~x1094 ~x1233 ~x1534 64.59/64.89 v ~x1330 ~x1210 ~x1289 ~x1428 ~x1539 ~x1525 ~x1795 ~x1679 x2 x1623 64.59/64.89 v ~x1550 ~x1720 ~x1990 ~x2264 ~x366 ~x1818 ~x1554 ~x1915 ~x1211 ~x1485 64.59/64.89 v ~x730 x107 ~x1559 ~x18 ~x1406 ~x1875 ~x925 ~x471 ~x1563 ~x200 64.59/64.89 v ~x1601 ~x2265 ~x1120 ~x844 ~x1564 ~x382 ~x1796 ~x161 ~x1705 x1039 64.59/64.89 v ~x1567 ~x746 ~x1991 ~x525 x1900 ~x1234 ~x1571 ~x941 ~x87 ~x707 64.59/64.89 v ~x3 x290 ~x1573 ~x1136 ~x451 ~x901 x367 x109 ~x1574 ~x1721 64.59/64.89 v ~x633 ~x1096 ~x1121 ~x473 ~x1580 ~x1916 ~x822 ~x1291 x1511 ~x846 64.59/64.89 v ~x1582 ~x19 ~x1017 ~x1486 ~x2096 x1041 x1600 ~x383 ~x1212 ~x1681 64.59/64.89 v x4 ~x1236 ~x1609 ~x1137 ~x1407 ~x1876 ~x368 x110 ~x1612 ~x1527 64.59/64.89 v ~x1602 ~x2071 ~x1122 ~x474 ~x1617 ~x1722 ~x2187 ~x344 x1707 ~x847 64.59/64.89 v ~x1618 ~x1917 ~x88 ~x708 ~x5 x1042 ~x1622 ~x748 ~x270 ~x902 64.59/64.89 v ~x187 ~x1237 ~x1641 ~x943 ~x452 ~x1097 x369 x293 ~x1642 ~x1528 64.59/64.89 v ~x823 ~x1487 ~x1123 x112 ~x1653 ~x1723 ~x1018 ~x1877 ~x1318 ~x294 64.59/64.89 v ~x1657 ~x1918 ~x1213 ~x2072 ~x1513 ~x476 ~x1658 ~x2113 ~x1408 ~x163 64.59/64.89 v ~x1708 ~x849 ~x1663 ~x21 ~x1603 ~x527 x1903 ~x1044 ~x1664 ~x203 64.59/64.89 v ~x1798 ~x709 x6 ~x1239 ~x1665 ~x385 ~x1993 ~x903 ~x188 x2019 64.59/64.89 v ~x1667 ~x749 x89 ~x1098 ~x370 ~x113 ~x1668 ~x944 ~x271 ~x1293 64.59/64.89 v ~x1124 x477 ~x1682 ~x1139 ~x453 ~x1488 ~x1319 ~x1240 ~x1683 ~x1334 64.59/64.89 v ~x635 ~x1878 x1514 x1435 ~x1687 ~x1529 ~x824 ~x2073 ~x1709 x660 64.59/64.89 v ~x1688 ~x22 ~x1019 ~x710 ~x1904 ~x115 ~x1689 ~x386 ~x1214 ~x1489 64.59/64.89 v ~x7 x479 ~x1690 ~x1140 ~x1409 ~x2074 x189 ~x661 ~x1692 ~x23 64.59/64.89 v ~x1604 ~x2269 ~x371 ~x1242 ~x1695 ~x387 ~x1799 ~x1882 ~x735 x1827 64.59/64.89 v ~x1697 ~x569 ~x1994 ~x350 ~x930 x298 ~x1700 ~x751 ~x90 ~x714 64.59/64.89 v x1125 x117 ~x946 ~x272 ~x908 ~x1320 ~x481 ~x1141 ~x454 ~x1716 64.59/64.89 v ~x1103 ~x1515 ~x1244 ~x1336 ~x1215 ~x1718 ~x1493 ~x1710 x1439 ~x1531 64.59/64.89 v ~x1410 ~x1725 ~x2078 ~x1905 ~x300 ~x2116 ~x1605 ~x1734 ~x2273 x1516 64.59/64.89 v x664 ~x1337 ~x2190 ~x1736 ~x715 ~x2101 x301 ~x1532 ~x91 ~x1737 64.59/64.89 v ~x909 x555 x1636 ~x25 ~x273 ~x1743 ~x1104 x1712 ~x120 ~x207 64.59/64.89 v ~x455 ~x1745 ~x1494 ~x11 x484 ~x389 ~x826 ~x1746 ~x1884 x193 64.59/64.89 v ~x1247 ~x1143 ~x1021 ~x1747 ~x2079 ~x375 x1832 ~x1338 ~x1216 ~x1748 64.59/64.89 v ~x1885 x739 ~x2027 ~x1923 ~x1411 ~x1750 ~x2080 ~x934 ~x121 ~x26 64.59/64.89 v ~x1606 ~x1754 ~x717 ~x1129 x485 ~x208 ~x1996 ~x1759 ~x718 ~x1324 64.59/64.89 v ~x1248 ~x390 ~x274 ~x1762 ~x913 x194 x1833 ~x754 ~x638 ~x1765 64.59/64.89 v ~x1108 ~x1325 x304 ~x949 ~x1412 ~x1768 ~x1498 ~x1520 x2224 ~x1144 64.59/64.89 v ~x1607 ~x1770 ~x2278 x1715 ~x123 ~x1339 ~x1802 ~x1771 ~x1694 ~x2105 64.59/64.89 v x487 ~x1729 ~x1997 ~x1777 ~x720 x560 ~x1250 ~x1924 ~x2192 ~x1783 64.59/64.89 v ~x1890 x2107 x2225 ~x27 ~x275 ~x1784 ~x2085 x15 x306 ~x209 64.59/64.89 v ~x639 ~x1785 ~x2280 ~x379 ~x126 ~x391 ~x1413 ~x1804 ~x721 ~x561 64.59/64.89 v x308 ~x755 ~x1608 ~x1806 ~x1891 x743 ~x490 ~x950 ~x1803 ~x1809 64.59/64.89 v ~x2086 ~x938 x1253 ~x1145 ~x1998 ~x1812 ~x2281 ~x1133 ~x1838 ~x1730 64.59/64.89 v ~x2193 ~x1815 ~x722 ~x2108 ~x2228 ~x1925 ~x277 x1820 ~x177 x16 64.59/64.89 v x673 ~x756 ~x641 ~x1824 ~x541 ~x380 ~x864 ~x951 ~x1415 ~x1836 64.59/64.89 v ~x918 ~x1134 x1059 ~x1146 ~x1610 ~x1837 ~x1113 x2109 x128 ~x1341 64.59/64.89 v ~x1805 ~x1841 ~x1308 x17 ~x492 ~x1536 ~x2000 ~x1843 ~x2283 ~x381 64.59/64.89 v ~x674 ~x1731 ~x2195 ~x1846 ~x178 ~x1135 ~x1255 ~x1926 ~x278 ~x1851 64.59/64.89 v ~x542 x2110 x1840 ~x28 ~x642 ~x1853 ~x724 x564 x675 ~x210 64.59/64.89 v ~x831 ~x1858 ~x919 x1331 ~x130 ~x392 ~x1026 ~x1861 ~x1114 ~x1526 64.59/64.89 v x494 ~x1147 ~x1416 ~x1874 ~x1309 ~x2111 x866 ~x1342 ~x1611 ~x1881 64.59/64.89 v ~x1894 x567 ~x1256 ~x1537 ~x97 ~x1886 ~x2089 ~x1724 ~x2231 ~x1732 64.59/64.89 v ~x461 ~x1887 ~x725 x1919 x313 ~x1927 ~x643 ~x1888 ~x1505 ~x2114 64.59/64.89 v x2232 ~x2122 ~x832 ~x1889 ~x1895 x568 x132 ~x211 ~x1027 ~x1892 64.59/64.89 v ~x362 x1335 ~x314 ~x575 ~x1222 ~x1896 ~x726 ~x2115 ~x868 ~x758 64.59/64.89 v ~x1807 ~x1902 ~x921 x205 ~x1453 ~x953 ~x2002 ~x1906 ~x1116 ~x1726 64.59/64.89 v x1648 ~x1343 ~x833 ~x1910 ~x1506 x1921 x315 ~x1538 ~x1028 ~x1911 64.59/64.89 v ~x363 ~x24 x1454 ~x1733 ~x1223 ~x1913 ~x727 x206 ~x134 ~x2123 64.59/64.89 v ~x1418 ~x1920 ~x922 ~x388 x316 ~x1929 ~x1613 ~x1931 ~x1117 ~x752 64.59/64.89 v ~x498 ~x31 ~x1808 ~x1932 ~x1507 x947 x1260 ~x213 ~x2003 ~x1933 64.59/64.89 v ~x1897 ~x1142 ~x1650 ~x395 ~x1614 ~x1938 ~x2092 ~x1727 ~x1845 ~x760 64.59/64.89 v ~x2004 ~x1940 ~x364 ~x1922 ~x2040 ~x955 ~x835 ~x1941 ~x1508 ~x2117 64.59/64.89 v x681 ~x1150 ~x1030 ~x1944 ~x1703 x571 ~x871 ~x1735 ~x1420 ~x1945 64.59/64.89 v ~x183 x1533 x1066 ~x1930 ~x1615 ~x1948 ~x547 ~x1728 ~x136 ~x1541 64.59/64.89 v ~x1810 ~x1949 ~x924 ~x2118 x500 ~x2126 ~x2005 ~x1950 ~x1119 x572 64.59/64.89 v ~x872 ~x1542 ~x2200 ~x1953 ~x1314 x2119 ~x1067 ~x579 ~x1811 ~x1955 64.59/64.89 v ~x1899 x573 ~x1262 ~x763 ~x2201 ~x1957 ~x2289 x1340 x1457 ~x958 64.59/64.89 v ~x100 ~x1959 x1 ~x1535 ~x137 ~x1543 ~x282 ~x1960 ~x2120 ~x319 64.59/64.89 v ~x1738 ~x464 ~x1961 x2121 x501 ~x216 ~x1227 ~x1963 x574 ~x873 64.59/64.89 v ~x764 ~x2007 ~x1965 x757 ~x1068 ~x959 ~x283 ~x1966 ~x952 ~x1263 64.59/64.89 v ~x1349 ~x647 x1974 x29 ~x1848 ~x1544 ~x1813 ~x1978 ~x393 x2043 64.59/64.89 v ~x1739 ~x2008 ~x1983 ~x1148 ~x2238 ~x1934 ~x284 ~x1987 x1928 x684 64.59/64.89 v ~x217 ~x1619 ~x1992 x30 ~x8 x2239 ~x1350 ~x1814 ~x1995 ~x394 64.59/64.89 v ~x13 x321 ~x1545 ~x2009 ~x1999 ~x1149 ~x20 x875 ~x1740 ~x285 64.59/64.89 v x2001 x1344 ~x32 ~x1070 ~x1935 ~x649 ~x2006 x577 ~x40 ~x140 64.59/64.89 v ~x218 ~x1425 ~x2010 x1345 ~x41 x504 ~x582 ~x2205 ~x2022 ~x1540 64.59/64.89 v ~x48 ~x1266 ~x766 ~x286 ~x2028 ~x2125 ~x54 x1461 ~x961 ~x1426 64.59/64.89 v ~x2031 x1346 ~x58 ~x2241 ~x1351 ~x651 ~x2032 x1347 ~x80 ~x141 64.59/64.89 v ~x1546 ~x1817 ~x2035 ~x33 ~x83 x323 ~x1741 ~x2012 ~x2036 ~x397 64.59/64.89 v x94 x1852 ~x1936 ~x2207 ~x2038 x1153 ~x98 ~x2242 ~x219 ~x288 64.59/64.89 v ~x2041 x34 ~x99 x878 ~x583 ~x652 ~x2045 ~x398 ~x124 ~x1073 64.59/64.89 v ~x767 ~x843 ~x2047 ~x1154 ~x125 ~x2243 ~x962 ~x1038 ~x2052 x2129 64.59/64.89 v ~x127 x688 ~x1352 ~x2013 ~x2053 x35 ~x142 ~x879 ~x1547 ~x2208 64.59/64.89 v ~x2054 ~x399 ~x145 ~x1074 ~x1742 ~x289 ~x2055 x960 ~x148 x1659 64.59/64.89 v ~x1937 ~x653 ~x2056 ~x1155 x157 ~x1854 ~x220 ~x1429 ~x2057 ~x2130 64.59/64.89 v ~x165 ~x143 ~x584 ~x1624 ~x2058 x36 ~x166 ~x507 ~x768 ~x1819 64.59/64.89 v ~x2067 ~x400 ~x167 x689 ~x963 ~x2014 x2069 ~x1156 ~x171 ~x880 64.59/64.89 v ~x1353 ~x2209 ~x2076 x2131 x174 ~x1075 ~x1548 ~x108 x2077 x37 64.59/64.89 v ~x176 ~x1270 ~x221 ~x472 ~x2081 ~x401 ~x184 ~x1465 ~x1354 ~x654 64.59/64.89 v ~x2082 ~x1157 ~x186 ~x1660 ~x1549 ~x845 ~x2087 x2132 x190 ~x1855 64.59/64.89 v ~x1744 ~x1040 ~x2090 x38 ~x191 x2050 ~x1939 ~x1235 ~x2091 ~x402 64.59/64.89 v ~x197 ~x2245 ~x224 ~x1430 ~x2095 ~x1158 x201 ~x144 ~x588 ~x1625 64.59/64.89 v ~x2102 x2133 x202 ~x326 ~x1357 ~x2015 ~x2103 x39 ~x204 ~x508 64.59/64.89 v ~x1552 ~x2210 ~x2106 ~x403 ~x212 x690 ~x1942 ~x291 ~x2112 x964 64.59/64.89 v ~x214 x1271 ~x43 ~x655 ~x2124 ~x1159 x215 ~x1466 ~x407 ~x1431 64.59/64.89 v ~x2127 ~x2134 ~x222 ~x2246 ~x773 ~x1626 ~x2128 x965 ~x225 x509 64.59/64.89 v ~x968 ~x1821 ~x2138 ~x2135 ~x226 ~x691 ~x1163 ~x2016 ~x2139
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: 63837 MiB (62990 MiB free)
memory of node 1: 64465 MiB (62687 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528367-1752237828/watcher-4528367-1752237828 -o /tmp/evaluation-result-4528367-1752237828/solver-4528367-1752237828 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1752237828-124951 --watchdog 3760 pb_picat HOME/instance-4528367-1752237828.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=124996, runsolver pid=124988
Current StackSize limit: 8192 KiB
[startup+0.100072 s]*
/proc/loadavg: 2.15 2.38 3.90 5/251 125011
/proc/meminfo: memFree=128661244/131382116 swapFree=33009904/33010684
[pid=124996] ppid=124988 vsize=2034964 memory=24172 CPUtime=0.09 cores=0,2
/proc/124996/stat : 124996 (pb_picat) R 124988 124996 123405 0 -1 4194304 1039 0 0 0 8 1 0 0 20 0 1 0 139462035 2083803136 6043 18446744073709551615 94221871529984 94221872931565 140727075508048 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94221873202992 94221875077232 94221893963776 140727075514780 140727075514856 140727075514856 140727075520460 0
/proc/124996/statm: 508741 6043 1600 343 0 505805 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 24172 KiB
[startup+0.213948 s]*
/proc/loadavg: 2.15 2.38 3.90 5/251 125011
/proc/meminfo: memFree=128628224/131382116 swapFree=33009904/33010684
[pid=124996] ppid=124988 vsize=2037956 memory=35176 CPUtime=0.21 cores=0,2
/proc/124996/stat : 124996 (pb_picat) R 124988 124996 123405 0 -1 4194304 1813 0 0 0 19 2 0 0 20 0 1 0 139462035 2086866944 8794 18446744073709551615 94221871529984 94221872931565 140727075508048 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94221873202992 94221875077232 94221893963776 140727075514780 140727075514856 140727075514856 140727075520460 0
/proc/124996/statm: 509489 8794 1696 343 0 506553 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2037956 KiB
Current children cumulated memory: 35176 KiB
[startup+0.313265 s]*
/proc/loadavg: 2.15 2.38 3.90 6/251 125011
/proc/meminfo: memFree=128607744/131382116 swapFree=33009904/33010684
[pid=124996] ppid=124988 vsize=2044808 memory=40548 CPUtime=0.3 cores=0,2
/proc/124996/stat : 124996 (pb_picat) R 124988 124996 123405 0 -1 4194304 3450 0 0 0 28 2 0 0 20 0 1 0 139462035 2093883392 10137 18446744073709551615 94221871529984 94221872931565 140727075508048 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94221873202992 94221875077232 94221893963776 140727075514780 140727075514856 140727075514856 140727075520460 0
/proc/124996/statm: 511202 10137 1728 343 0 508266 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2044808 KiB
Current children cumulated memory: 40548 KiB
[startup+0.7003 s]
/proc/loadavg: 2.15 2.38 3.90 6/251 125011
/proc/meminfo: memFree=128579584/131382116 swapFree=33009904/33010684
[pid=124996] ppid=124988 vsize=2055408 memory=50464 CPUtime=0.68 cores=0,2
/proc/124996/stat : 124996 (pb_picat) R 124988 124996 123405 0 -1 4194304 6226 0 0 0 64 4 0 0 20 0 1 0 139462035 2104737792 12616 18446744073709551615 94221871529984 94221872931565 140727075508048 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94221873202992 94221875077232 94221893963776 140727075514780 140727075514856 140727075514856 140727075520460 0
/proc/124996/statm: 513852 12616 1728 343 0 510916 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2055408 KiB
Current children cumulated memory: 50464 KiB
[startup+1.50028 s]
/proc/loadavg: 2.15 2.38 3.90 5/251 125011
/proc/meminfo: memFree=128477248/131382116 swapFree=33009904/33010684
[pid=124996] ppid=124988 vsize=2050976 memory=47204 CPUtime=1.47 cores=0,2
/proc/124996/stat : 124996 (pb_picat) R 124988 124996 123405 0 -1 4194304 9092 0 0 0 142 5 0 0 20 0 1 0 139462035 2100199424 11801 18446744073709551615 94221871529984 94221872931565 140727075508048 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94221873202992 94221875077232 94221893963776 140727075514780 140727075514856 140727075514856 140727075520460 0
/proc/124996/statm: 512744 11801 1728 343 0 509808 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2050976 KiB
Current children cumulated memory: 47204 KiB
[startup+3.11277 s]
/proc/loadavg: 2.15 2.38 3.90 5/251 125011
/proc/meminfo: memFree=128045220/131382116 swapFree=33009904/33010684
[pid=124996] ppid=124988 vsize=2056876 memory=52416 CPUtime=3.08 cores=0,2
/proc/124996/stat : 124996 (pb_picat) R 124988 124996 123405 0 -1 4194304 14031 0 0 0 301 7 0 0 20 0 1 0 139462035 2106241024 13104 18446744073709551615 94221871529984 94221872931565 140727075508048 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94221873202992 94221875077232 94221893963776 140727075514780 140727075514856 140727075514856 140727075520460 0
/proc/124996/statm: 514219 13104 1728 343 0 511283 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2056876 KiB
Current children cumulated memory: 52416 KiB
[startup+6.30031 s]
/proc/loadavg: 2.29 2.40 3.90 5/251 125011
/proc/meminfo: memFree=127990456/131382116 swapFree=33009904/33010684
[pid=124996] ppid=124988 vsize=2074692 memory=65916 CPUtime=6.25 cores=0,2
/proc/124996/stat : 124996 (pb_picat) R 124988 124996 123405 0 -1 4194304 23414 0 0 0 616 9 0 0 20 0 1 0 139462035 2124484608 16479 18446744073709551615 94221871529984 94221872931565 140727075508048 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94221873202992 94221875077232 94221893963776 140727075514780 140727075514856 140727075514856 140727075520460 0
/proc/124996/statm: 518673 16479 1728 343 0 515737 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 2074692 KiB
Current children cumulated memory: 65916 KiB
[startup+12.7003 s]
/proc/loadavg: 2.43 2.43 3.90 5/251 125011
/proc/meminfo: memFree=128029584/131382116 swapFree=33009904/33010684
[pid=124996] ppid=124988 vsize=2076356 memory=63688 CPUtime=12.64 cores=0,2
/proc/124996/stat : 124996 (pb_picat) R 124988 124996 123405 0 -1 4194304 42125 0 0 0 1250 14 0 0 20 0 1 0 139462035 2126188544 15922 18446744073709551615 94221871529984 94221872931565 140727075508048 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94221873202992 94221875077232 94221893963776 140727075514780 140727075514856 140727075514856 140727075520460 0
/proc/124996/statm: 519089 15922 1728 343 0 516153 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2076356 KiB
Current children cumulated memory: 63688 KiB
[startup+25.5003 s]
/proc/loadavg: 2.78 2.51 3.91 5/251 125012
/proc/meminfo: memFree=128008000/131382116 swapFree=33009904/33010684
[pid=124996] ppid=124988 vsize=2072772 memory=69320 CPUtime=25.4 cores=0,2
/proc/124996/stat : 124996 (pb_picat) R 124988 124996 123405 0 -1 4194304 76012 0 0 0 2516 24 0 0 20 0 1 0 139462035 2122518528 17330 18446744073709551615 94221871529984 94221872931565 140727075508048 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94221873202992 94221875077232 94221893963776 140727075514780 140727075514856 140727075514856 140727075520460 0
/proc/124996/statm: 518193 17330 1728 343 0 515257 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2072772 KiB
Current children cumulated memory: 69320 KiB
[startup+51.1128 s]
/proc/loadavg: 3.25 2.64 3.91 5/251 125012
/proc/meminfo: memFree=128020712/131382116 swapFree=33009904/33010684
[pid=124996] ppid=124988 vsize=2069444 memory=66500 CPUtime=50.94 cores=0,2
/proc/124996/stat : 124996 (pb_picat) R 124988 124996 123405 0 -1 4194304 150197 0 0 0 5048 46 0 0 20 0 1 0 139462035 2119110656 16625 18446744073709551615 94221871529984 94221872931565 140727075508048 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94221873202992 94221875077232 94221893963776 140727075514780 140727075514856 140727075514856 140727075520460 0
/proc/124996/statm: 517361 16625 1728 343 0 514425 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2069444 KiB
Current children cumulated memory: 66500 KiB
[startup+64.9001 s]
# the end of solver process 124996 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=64.1305 s, system=0.567228 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2003 s]
/proc/loadavg: 3.25 2.64 3.91 5/251 125012
/proc/meminfo: memFree=128020712/131382116 swapFree=33009904/33010684
[pid=124996] ppid=124988 vsize=2069444 memory=66628 CPUtime=51.03 cores=0,2
/proc/124996/stat : 124996 (pb_picat) R 124988 124996 123405 0 -1 4194304 150215 0 0 0 5057 46 0 0 20 0 1 0 139462035 2119110656 16657 18446744073709551615 94221871529984 94221872931565 140727075508048 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94221873202992 94221875077232 94221893963776 140727075514780 140727075514856 140727075514856 140727075520460 0
/proc/124996/statm: 517361 16657 1728 343 0 514425 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 2069444 KiB
Current children cumulated memory: 66628 KiB
[startup+57.6003 s]
/proc/loadavg: 3.31 2.67 3.91 5/251 125012
/proc/meminfo: memFree=128019900/131382116 swapFree=33009904/33010684
[pid=124996] ppid=124988 vsize=2077636 memory=67780 CPUtime=57.41 cores=0,2
/proc/124996/stat : 124996 (pb_picat) R 124988 124996 123405 0 -1 4194304 171211 0 0 0 5690 51 0 0 20 0 1 0 139462035 2127499264 16945 18446744073709551615 94221871529984 94221872931565 140727075508048 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94221873202992 94221875077232 94221893963776 140727075514780 140727075514856 140727075514856 140727075520460 0
/proc/124996/statm: 519409 16945 1728 343 0 516473 0
Current children cumulated CPU time: 57.41 s
Current children cumulated vsize: 2077636 KiB
Current children cumulated memory: 67780 KiB
[startup+60.8002 s]
/proc/loadavg: 3.37 2.69 3.91 5/251 125013
/proc/meminfo: memFree=128018484/131382116 swapFree=33009904/33010684
[pid=124996] ppid=124988 vsize=2077636 memory=67524 CPUtime=60.6 cores=0,2
/proc/124996/stat : 124996 (pb_picat) R 124988 124996 123405 0 -1 4194304 179940 0 0 0 6006 54 0 0 20 0 1 0 139462035 2127499264 16881 18446744073709551615 94221871529984 94221872931565 140727075508048 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94221873202992 94221875077232 94221893963776 140727075514780 140727075514856 140727075514856 140727075520460 0
/proc/124996/statm: 519409 16881 1728 343 0 516473 0
Current children cumulated CPU time: 60.6 s
Current children cumulated vsize: 2077636 KiB
Current children cumulated memory: 67524 KiB
[startup+62.4003 s]
/proc/loadavg: 3.37 2.69 3.91 5/251 125013
/proc/meminfo: memFree=128015460/131382116 swapFree=33009904/33010684
[pid=124996] ppid=124988 vsize=2069444 memory=66628 CPUtime=62.2 cores=0,2
/proc/124996/stat : 124996 (pb_picat) R 124988 124996 123405 0 -1 4194304 183769 0 0 0 6165 55 0 0 20 0 1 0 139462035 2119110656 16657 18446744073709551615 94221871529984 94221872931565 140727075508048 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94221873202992 94221875077232 94221893963776 140727075514780 140727075514856 140727075514856 140727075520460 0
/proc/124996/statm: 517361 16657 1728 343 0 514425 0
Current children cumulated CPU time: 62.2 s
Current children cumulated vsize: 2069444 KiB
Current children cumulated memory: 66628 KiB
[startup+64.0002 s]*
/proc/loadavg: 3.42 2.71 3.91 5/251 125013
/proc/meminfo: memFree=128021604/131382116 swapFree=33009904/33010684
[pid=124996] ppid=124988 vsize=2069444 memory=65988 CPUtime=63.8 cores=0,2
/proc/124996/stat : 124996 (pb_picat) R 124988 124996 123405 0 -1 4194304 186652 0 0 0 6324 56 0 0 20 0 1 0 139462035 2119110656 16497 18446744073709551615 94221871529984 94221872931565 140727075508048 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94221873202992 94221875077232 94221893963776 140727075514780 140727075514856 140727075514856 140727075520460 0
/proc/124996/statm: 517361 16497 1728 343 0 514425 0
Current children cumulated CPU time: 63.8 s
Current children cumulated vsize: 2069444 KiB
Current children cumulated memory: 65988 KiB
[startup+64.4002 s]
/proc/loadavg: 3.42 2.71 3.91 5/251 125013
/proc/meminfo: memFree=128021604/131382116 swapFree=33009904/33010684
[pid=124996] ppid=124988 vsize=2069444 memory=66372 CPUtime=64.19 cores=0,2
/proc/124996/stat : 124996 (pb_picat) R 124988 124996 123405 0 -1 4194304 186753 0 0 0 6363 56 0 0 20 0 1 0 139462035 2119110656 16593 18446744073709551615 94221871529984 94221872931565 140727075508048 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94221873202992 94221875077232 94221893963776 140727075514780 140727075514856 140727075514856 140727075520460 0
/proc/124996/statm: 517361 16593 1728 343 0 514425 0
Current children cumulated CPU time: 64.19 s
Current children cumulated vsize: 2069444 KiB
Current children cumulated memory: 66372 KiB
[startup+64.8002 s]
/proc/loadavg: 3.42 2.71 3.91 5/251 125013
/proc/meminfo: memFree=128021604/131382116 swapFree=33009904/33010684
[pid=124996] ppid=124988 vsize=2069444 memory=66500 CPUtime=64.59 cores=0,2
/proc/124996/stat : 124996 (pb_picat) R 124988 124996 123405 0 -1 4194304 186787 0 0 0 6403 56 0 0 20 0 1 0 139462035 2119110656 16625 18446744073709551615 94221871529984 94221872931565 140727075508048 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94221873202992 94221875077232 94221893963776 140727075514780 140727075514856 140727075514856 140727075520460 0
/proc/124996/statm: 517361 16625 1728 343 0 514425 0
Current children cumulated CPU time: 64.59 s
Current children cumulated vsize: 2069444 KiB
Current children cumulated memory: 66500 KiB
Child status: 0
Real time (s): 64.9002
CPU time (s): 64.6977
CPU user time (s): 64.1305
CPU system time (s): 0.567228
CPU usage (%): 99.688
Max. virtual memory (cumulated for all children) (KiB): 2083780
Max. memory (cumulated for all children) (KiB): 74312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 64.1305
system time used= 0.567228
maximum resident set size= 74312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186810
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= 75
involuntary context switches= 153
# summary of solver processes directly reported to runsolver:
# pid: 124996
# total CPU time (s): 64.6977
# total CPU user time (s): 64.1305
# total CPU system time (s): 0.567228
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.330031 second user time and 0.692685 second system time
The end
Begin job on nodeC004 at 2025-07-11 14:43:49 IDJOB=4528367 IDBENCH=146648 IDSOLVER=3385 FILE ID=nodeC004/4528367-1752237828 RUNJOBID= nodeC004-1752237828-124951 SLURM_JOB_ID= 9682515 Free space on /tmp= 431676 MiB SOLVER NAME= pb_picat 2025-07-11 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-4528367-1752237828/watcher-4528367-1752237828 -o /tmp/evaluation-result-4528367-1752237828/solver-4528367-1752237828 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1752237828-124951 --watchdog 3760 pb_picat HOME/instance-4528367-1752237828.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a0ea3bcd614a437876ff794ba0a9b553 RANDOM SEED=788685420 nodeC004 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 : 0xb00001f cpu MHz : 1197.351 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74 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 : 0xb00001f cpu MHz : 1197.141 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74 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 : 0xb00001f cpu MHz : 1197.724 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74 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 : 0xb00001f cpu MHz : 1197.186 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74 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 : 0xb00001f cpu MHz : 1197.246 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74 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 : 0xb00001f cpu MHz : 1197.183 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74 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 : 0xb00001f cpu MHz : 1197.217 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74 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 : 0xb00001f cpu MHz : 1197.237 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 128703116 kB MemAvailable: 129781660 kB Buffers: 2128 kB Cached: 1824276 kB SwapCached: 32 kB Active: 677384 kB Inactive: 1218188 kB Active(anon): 76376 kB Inactive(anon): 10724 kB Active(file): 601008 kB Inactive(file): 1207464 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33009904 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 14356 kB Writeback: 8 kB AnonPages: 72004 kB Mapped: 105848 kB Shmem: 17932 kB KReclaimable: 219396 kB Slab: 309216 kB SReclaimable: 219396 kB SUnreclaim: 89820 kB KernelStack: 3776 kB PageTables: 2656 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 342072 kB VmallocTotal: 34359738367 kB VmallocUsed: 149272 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 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: 197448 kB DirectMap2M: 10190848 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 431656 MiB End job on nodeC004 at 2025-07-11 14:44:54