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